START probeA_o150 mode=A K=2 orient=1 N=14400 M=120 NF=120 HF=120 NS=5 NVF=20 NFC=4 NR=12 classes=174 admissible=140 root_type=-1 slice=150/780 heur=0 inadm=tables/t5333.inadm restrict=- filter=0 minrule=1 old=0 Sfresh=16,12 fresh_depth=-1
MODE-A level-2 a-priori options: 780
NODE depth=1 glued=2 dead=0 lists: F1:1 F2:12060 F3:12060 F4:12060 F5:12060 F6:12060 F7:12060 F8:12060 F11:12060 F12:12060 F15:12060 F19:12060 F9:12963 F10:12963 F13:12963 F14:12963  (inherited:)
NODE depth=2 glued=6 dead=0 lists: F4:2852 F6:2988 F12:7275 F2:7275 F3:2852 F5:8384 F8:8017 F14:3545 F7:9521 F11:9495 F15:9480 F19:9479  (inherited: F2:12060 F3:12060 F4:12060 F5:12060 F6:12060 F7:12060 F8:12060 F11:12060 F12:12060 F15:12060 F19:12060 F9:12963 F10:12963 F13:12963 F14:12963)
NODE depth=3 glued=36 dead=0 lists: F6:116 F8:1585 F15:2609  (inherited: F6:2988 F12:7275g F2:7275g F3:2852g F5:8384g F8:8017 F14:3545g F7:9521 F11:9495 F15:9480 F19:9479g F9:12963 F10:12963 F13:12963g)
NODE depth=4 glued=68 dead=1 lists: F8:0  (inherited: F8:1585 F15:2609 F11:9495 F7:9521 F9:12963g F10:12963)
NODE depth=4 glued=60 dead=1 lists: F8:0  (inherited: F8:1585 F15:2609 F11:9495 F7:9521 F9:12963g F10:12963)
NODE depth=3 glued=32 dead=0 lists: F6:110 F14:8 F8:2431  (inherited: F6:2988 F12:7275g F2:7275g F3:2852g F5:8384g F8:8017 F14:3545 F7:9521 F11:9495g F15:9480 F19:9479 F9:12963 F10:12963 F13:12963)
COUNTS defines=115045926 links=1904550559 merges=1199514453
STATS probeA_o150 maxdepth=7 complete_rejected=0 cpu_seconds=107.07 filter_tests=0 filter_power_tests=0 filter_kills=0
DEPTH 0 trials=1 survived=1 nodes=0 dead=0 fresh=0
DEPTH 1 trials=213301 survived=184513 nodes=1 dead=0 fresh=15
DEPTH 2 trials=145623 survived=81163 nodes=1 dead=0 fresh=0
DEPTH 3 trials=343815 survived=69123 nodes=28 dead=6 fresh=0
DEPTH 4 trials=9518654 survived=777368 nodes=6396 dead=5825 fresh=0
DEPTH 5 trials=10598131 survived=225760 nodes=6379 dead=6254 fresh=0
DEPTH 6 trials=8431690 survived=480 nodes=7696 dead=7599 fresh=0
DEPTH 7 trials=749333 survived=0 nodes=127 dead=127 fresh=0
SLICE probeA_o150 ABORTED-AT-NODE-LIMIT nodes=30000548 solutions=0 top-branch=0/1
