START probeA_o500 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=500/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: F2:420 F3:1722 F4:464 F5:1759 F6:271 F7:3387 F8:3562 F11:3473 F12:3744 F15:3619 F19:3606 F9:3524  (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=12 dead=0 lists: F2:189 F4:28 F3:1555  (inherited: F2:420 F3:1722 F4:464 F5:1759 F7:3387 F8:3562 F11:3473 F12:3744 F15:3619 F19:3606 F9:3524 F10:12963 F13:12963 F14:12963)
NODE depth=4 glued=20 dead=1 lists: F2:0  (inherited: F2:189 F3:1555 F5:1759 F7:3387 F11:3473 F9:3524 F8:3562 F19:3606 F15:3619 F12:3744 F10:12963 F13:12963 F14:12963)
NODE depth=4 glued=20 dead=0 lists: F2:3 F3:1531 F5:433  (inherited: F2:189 F3:1555 F5:1759 F7:3387 F11:3473 F9:3524 F8:3562 F19:3606 F15:3619 F12:3744 F10:12963 F13:12963 F14:12963)
NODE depth=3 glued=12 dead=1 lists: F2:116 F4:0  (inherited: F2:420 F3:1722 F4:464 F5:1759 F7:3387 F8:3562 F11:3473 F12:3744 F15:3619 F19:3606 F9:3524 F10:12963 F13:12963 F14:12963)
COUNTS defines=51616914 links=577074569 merges=459761071
STATS probeA_o500 maxdepth=9 complete_rejected=0 cpu_seconds=29.31 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=29551 nodes=1 dead=0 fresh=0
DEPTH 3 trials=20010 survived=10951 nodes=9 dead=2 fresh=0
DEPTH 4 trials=165670 survived=93613 nodes=154 dead=95 fresh=0
DEPTH 5 trials=396772 survived=92752 nodes=145 dead=119 fresh=0
DEPTH 6 trials=15935057 survived=705150 nodes=6611 dead=3958 fresh=0
DEPTH 7 trials=12587518 survived=111433 nodes=29597 dead=27492 fresh=0
DEPTH 8 trials=532927 survived=1 nodes=2105 dead=2104 fresh=0
DEPTH 9 trials=3524 survived=0 nodes=1 dead=1 fresh=0
SLICE probeA_o500 ABORTED-AT-NODE-LIMIT nodes=30000403 solutions=0 top-branch=0/1
