START probeA_o200 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=200/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: F7:7327 F8:7327 F2:7327 F3:7327 F4:7890 F5:7736 F6:7491 F11:7890 F12:7736 F15:7491 F9:10379 F10:10462  (inherited: F2:12060 F3:12060 F4:12060 F5:12060 F6:12060 F7:12060 F8:12060 F11:12060 F12:12060 F15:12060 F19:12060g F9:12963 F10:12963 F13:12963 F14:12963)
NODE depth=3 glued=44 dead=0 lists: F15:2470 F5:1116 F12:1116  (inherited: F8:7327g F2:7327g F3:7327g F4:7890g F5:7736 F6:7491g F11:7890 F12:7736 F15:7491 F9:10379 F10:10462 F13:12963g F14:12963g)
NODE depth=4 glued=72 dead=1 lists: F15:0  (inherited: F15:2470 F12:1116g F11:7890 F9:10379 F10:10462)
NODE depth=4 glued=72 dead=1 lists: F15:0  (inherited: F15:2470 F12:1116g F11:7890 F9:10379 F10:10462)
NODE depth=3 glued=30 dead=0 lists: F8:723 F2:723 F15:723  (inherited: F8:7327 F2:7327 F3:7327g F4:7890g F5:7736 F6:7491g F11:7890g F12:7736 F15:7491 F9:10379 F10:10462g F13:12963 F14:12963g)
COUNTS defines=77094064 links=1130985909 merges=743265092
STATS probeA_o200 maxdepth=6 complete_rejected=0 cpu_seconds=62.82 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=146526 survived=96383 nodes=1 dead=0 fresh=0
DEPTH 3 trials=68071 survived=13100 nodes=3 dead=0 fresh=0
DEPTH 4 trials=27652556 survived=286239 nodes=2161 dead=1081 fresh=0
DEPTH 5 trials=1924800 survived=29 nodes=17088 dead=17081 fresh=0
DEPTH 6 trials=451 survived=0 nodes=7 dead=7 fresh=0
SLICE probeA_o200 ABORTED-AT-NODE-LIMIT nodes=30005706 solutions=0 top-branch=0/1
