START probeA_o50 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=50/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=8 dead=0 lists: F2:8468 F4:8259 F3:9296 F5:9121 F6:9239 F7:9296 F12:9239 F19:9121 F9:8468 F10:9296 F13:8259 F14:9121  (inherited: F2:12060 F3:12060 F4:12060 F5:12060 F6:12060 F7:12060 F8:12060g F11:12060 F12:12060 F15:12060 F19:12060 F9:12963 F10:12963 F13:12963 F14:12963)
NODE depth=3 glued=42 dead=0 lists: F12:1001 F3:1494 F7:1001  (inherited: F2:8468g F3:9296 F5:9121g F6:9239g F7:9296 F12:9239 F19:9121g F9:8468g F10:9296 F13:8259g F14:9121g F11:12060 F15:12060)
NODE depth=4 glued=78 dead=1 lists: F3:0  (inherited: F3:1494 F7:1001g F10:9296g F11:12060 F15:12060)
NODE depth=4 glued=82 dead=1 lists: F3:0  (inherited: F3:1494 F7:1001g F10:9296g F11:12060 F15:12060g)
NODE depth=3 glued=22 dead=0 lists: F2:3599 F9:3599 F5:2302  (inherited: F2:8468 F3:9296 F5:9121 F6:9239 F7:9296 F12:9239 F19:9121 F9:8468 F10:9296 F13:8259g F14:9121 F11:12060g F15:12060)
COUNTS defines=55756404 links=748317746 merges=478816919
STATS probeA_o50 maxdepth=6 complete_rejected=0 cpu_seconds=47.94 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=148332 survived=107183 nodes=1 dead=0 fresh=0
DEPTH 3 trials=53888 survived=12996 nodes=2 dead=0 fresh=0
DEPTH 4 trials=2713403 survived=99854 nodes=1094 dead=1058 fresh=0
DEPTH 5 trials=24769516 survived=51150 nodes=8212 dead=7971 fresh=0
DEPTH 6 trials=2106708 survived=0 nodes=242 dead=242 fresh=0
SLICE probeA_o50 ABORTED-AT-NODE-LIMIT nodes=30005149 solutions=0 top-branch=0/1
