START probeA_o450 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=450/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:3075 F3:3079 F4:789 F5:2733 F6:468 F7:4613 F8:4754 F11:4512 F12:4797 F15:4646 F19:4696 F9:3623  (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: F4:3 F5:169 F2:1292  (inherited: F2:3075 F3:3079 F4:789 F5:2733 F7:4613 F8:4754 F11:4512 F12:4797 F15:4646 F19:4696 F9:3623 F10:12963 F13:12963 F14:12963)
NODE depth=4 glued=20 dead=0 lists: F5:14 F2:837 F3:753  (inherited: F5:169 F2:1292 F3:3079 F9:3623 F11:4512 F7:4613 F15:4646 F19:4696 F8:4754 F12:4797 F10:12963 F13:12963 F14:12963)
NODE depth=4 glued=20 dead=0 lists: F5:13 F2:831 F3:760  (inherited: F5:169 F2:1292 F3:3079 F9:3623 F11:4512 F7:4613 F15:4646 F19:4696 F8:4754 F12:4797 F10:12963 F13:12963 F14:12963)
NODE depth=3 glued=12 dead=0 lists: F4:34 F5:174 F2:1360  (inherited: F2:3075 F3:3079 F4:789 F5:2733 F7:4613 F8:4754 F11:4512 F12:4797 F15:4646 F19:4696 F9:3623 F10:12963 F13:12963 F14:12963)
COUNTS defines=69791239 links=942281684 merges=709570135
STATS probeA_o450 maxdepth=7 complete_rejected=0 cpu_seconds=47.79 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=41785 nodes=1 dead=0 fresh=0
DEPTH 3 trials=32985 survived=12182 nodes=5 dead=0 fresh=0
DEPTH 4 trials=379568 survived=172942 nodes=116 dead=33 fresh=0
DEPTH 5 trials=28829022 survived=2324838 nodes=4903 dead=4666 fresh=0
DEPTH 6 trials=394953 survived=146 nodes=237 dead=234 fresh=0
DEPTH 7 trials=10869 survived=0 nodes=3 dead=3 fresh=0
SLICE probeA_o450 ABORTED-AT-NODE-LIMIT nodes=30006322 solutions=0 top-branch=0/1
