START probeA_o350 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=350/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:1858 F3:4273 F4:1500 F5:3773 F6:3813 F7:6108 F8:6193 F11:5846 F12:5980 F15:5791 F19:6037 F9:3718  (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=14 dead=1 lists: F2:1024 F9:0  (inherited: F2:1858 F3:4273 F5:3773 F6:3813 F7:6108 F8:6193 F11:5846 F12:5980 F15:5791 F19:6037 F9:3718 F10:12963 F13:12963g F14:12963)
NODE depth=3 glued=12 dead=0 lists: F2:668 F9:701 F5:1905  (inherited: F2:1858 F3:4273 F5:3773 F6:3813 F7:6108 F8:6193 F11:5846 F12:5980 F15:5791 F19:6037 F9:3718 F10:12963 F13:12963 F14:12963)
NODE depth=4 glued=20 dead=1 lists: F9:0  (inherited: F9:701 F5:1905 F6:3813 F3:4273 F15:5791 F11:5846 F12:5980 F19:6037 F7:6108 F8:6193 F10:12963 F13:12963 F14:12963)
NODE depth=4 glued=20 dead=1 lists: F9:0  (inherited: F9:701 F5:1905 F6:3813 F3:4273 F15:5791 F11:5846 F12:5980 F19:6037 F7:6108 F8:6193 F10:12963 F13:12963 F14:12963)
COUNTS defines=72896468 links=1040126782 merges=812702067
STATS probeA_o350 maxdepth=7 complete_rejected=0 cpu_seconds=50.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=54890 nodes=1 dead=0 fresh=0
DEPTH 3 trials=123340 survived=38797 nodes=14 dead=2 fresh=0
DEPTH 4 trials=20580776 survived=4831347 nodes=4574 dead=2387 fresh=0
DEPTH 5 trials=3776592 survived=188287 nodes=24401 dead=24385 fresh=0
DEPTH 6 trials=4760295 survived=31791 nodes=1177 dead=919 fresh=0
DEPTH 7 trials=400243 survived=0 nodes=2565 dead=2565 fresh=0
SLICE probeA_o350 ABORTED-AT-NODE-LIMIT nodes=30000171 solutions=0 top-branch=0/1
