0 SLICE probeB_t0 ABORTED-AT-NODE-LIMIT nodes=20000046 solutions=0 top-branch=1968/5737
1 SLICE probeB_t1 ABORTED-AT-NODE-LIMIT nodes=20000001 solutions=0 top-branch=1536/6008
2 SLICE probeB_t2 ABORTED-AT-NODE-LIMIT nodes=20000433 solutions=0 top-branch=1648/6250
3 SLICE probeB_t3 ABORTED-AT-NODE-LIMIT nodes=20000107 solutions=0 top-branch=1552/6806
4 SLICE probeB_t4 ABORTED-AT-NODE-LIMIT nodes=20000177 solutions=0 top-branch=800/7056
5 SLICE probeB_t5 DONE nodes=14041 solutions=0
6 SLICE probeB_t6 ABORTED-AT-NODE-LIMIT nodes=20000414 solutions=0 top-branch=560/7506
7 SLICE probeB_t7 ABORTED-AT-NODE-LIMIT nodes=20000040 solutions=0 top-branch=1040/7566
8 SLICE probeB_t8 ABORTED-AT-NODE-LIMIT nodes=20000873 solutions=0 top-branch=1328/6847
9 SLICE probeB_t9 ABORTED-AT-NODE-LIMIT nodes=20002147 solutions=0 top-branch=1088/6561
10 SLICE probeB_t10 DONE nodes=14041 solutions=0
11 SLICE probeB_t11 DONE nodes=14041 solutions=0
12 SLICE probeB_t12 ABORTED-AT-NODE-LIMIT nodes=20001786 solutions=0 top-branch=544/6930
13 SLICE probeB_t13 ABORTED-AT-NODE-LIMIT nodes=20005540 solutions=0 top-branch=816/7384
14 SLICE probeB_t14 ABORTED-AT-NODE-LIMIT nodes=20000253 solutions=0 top-branch=1008/7425
15 SLICE probeB_t15 DONE nodes=14041 solutions=0
16 SLICE probeB_t16 ABORTED-AT-NODE-LIMIT nodes=20001747 solutions=0 top-branch=448/6624
17 SLICE probeB_t17 DONE nodes=14041 solutions=0
18 SLICE probeB_t18 ABORTED-AT-NODE-LIMIT nodes=20000416 solutions=0 top-branch=512/6216
19 SLICE probeB_t19 ABORTED-AT-NODE-LIMIT nodes=20002106 solutions=0 top-branch=1104/6740
20 SLICE probeB_t20 ABORTED-AT-NODE-LIMIT nodes=20000872 solutions=0 top-branch=352/6098
21 SLICE probeB_t21 DONE nodes=14041 solutions=0
22 SLICE probeB_t22 DONE nodes=14041 solutions=0
23 SLICE probeB_t23 ABORTED-AT-NODE-LIMIT nodes=20000653 solutions=0 top-branch=944/6414
24 SLICE probeB_t24 ABORTED-AT-NODE-LIMIT nodes=20000283 solutions=0 top-branch=352/5767
25 SLICE probeB_t25 ABORTED-AT-NODE-LIMIT nodes=20086261 solutions=0 top-branch=800/6358
26 SLICE probeB_t26 ABORTED-AT-NODE-LIMIT nodes=20001336 solutions=0 top-branch=528/5495
27 SLICE probeB_t27 DONE nodes=14041 solutions=0
28 SLICE probeB_t28 DONE nodes=14041 solutions=0
29 SLICE probeB_t29 ABORTED-AT-NODE-LIMIT nodes=20000263 solutions=0 top-branch=304/4856
30 SLICE probeB_t30 ABORTED-AT-NODE-LIMIT nodes=20000243 solutions=0 top-branch=912/5758
31 SLICE probeB_t31 ABORTED-AT-NODE-LIMIT nodes=20000039 solutions=0 top-branch=464/4931
32 SLICE probeB_t32 DONE nodes=14041 solutions=0
33 SLICE probeB_t33 ABORTED-AT-NODE-LIMIT nodes=20000429 solutions=0 top-branch=432/4339
34 SLICE probeB_t34 ABORTED-AT-NODE-LIMIT nodes=20000449 solutions=0 top-branch=432/4252
35 SLICE probeB_t35 ABORTED-AT-NODE-LIMIT nodes=20002711 solutions=0 top-branch=400/6738
36 SLICE probeB_t36 DONE nodes=14041 solutions=0
37 SLICE probeB_t37 ABORTED-AT-NODE-LIMIT nodes=20000431 solutions=0 top-branch=224/3773
38 SLICE probeB_t38 ABORTED-AT-NODE-LIMIT nodes=20005233 solutions=0 top-branch=160/3737
39 SLICE probeB_t39 ABORTED-AT-NODE-LIMIT nodes=20003849 solutions=0 top-branch=144/5017
40 SLICE probeB_t40 ABORTED-AT-NODE-LIMIT nodes=20000018 solutions=0 top-branch=576/5831
41 SLICE probeB_t41 ABORTED-AT-NODE-LIMIT nodes=20000100 solutions=0 top-branch=288/3334
42 SLICE probeB_t42 ABORTED-AT-NODE-LIMIT nodes=20002284 solutions=0 top-branch=400/5486
43 SLICE probeB_t43 ABORTED-AT-NODE-LIMIT nodes=20001148 solutions=0 top-branch=464/5479
44 SLICE probeB_t44 ABORTED-AT-NODE-LIMIT nodes=20000089 solutions=0 top-branch=368/2568
45 SLICE probeB_t45 ABORTED-AT-NODE-LIMIT nodes=20000157 solutions=0 top-branch=464/2824
46 SLICE probeB_t46 ABORTED-AT-NODE-LIMIT nodes=20000061 solutions=0 top-branch=160/2450
47 SLICE probeB_t47 ABORTED-AT-NODE-LIMIT nodes=20000007 solutions=0 top-branch=416/4045
48 SLICE probeB_t48 ABORTED-AT-NODE-LIMIT nodes=20001021 solutions=0 top-branch=32/3385
49 SLICE probeB_t49 ABORTED-AT-NODE-LIMIT nodes=20001002 solutions=0 top-branch=464/2230
50 SLICE probeB_t50 ABORTED-AT-NODE-LIMIT nodes=20000387 solutions=0 top-branch=400/4346
51 SLICE probeB_t51 ABORTED-AT-NODE-LIMIT nodes=20002271 solutions=0 top-branch=32/3650
52 SLICE probeB_t52 ABORTED-AT-NODE-LIMIT nodes=20000026 solutions=0 top-branch=448/3517
53 SLICE probeB_t53 ABORTED-AT-NODE-LIMIT nodes=20000088 solutions=0 top-branch=208/1260
54 SLICE probeB_t54 ABORTED-AT-NODE-LIMIT nodes=20000291 solutions=0 top-branch=384/1820
55 SLICE probeB_t55 ABORTED-AT-NODE-LIMIT nodes=20002468 solutions=0 top-branch=0/2469
56 SLICE probeB_t56 ABORTED-AT-NODE-LIMIT nodes=20000383 solutions=0 top-branch=160/2655
57 SLICE probeB_t57 ABORTED-AT-NODE-LIMIT nodes=20001286 solutions=0 top-branch=384/3023
58 SLICE probeB_t58 ABORTED-AT-NODE-LIMIT nodes=20000160 solutions=0 top-branch=432/966
59 SLICE probeB_t59 ABORTED-AT-NODE-LIMIT nodes=20000488 solutions=0 top-branch=224/1304
60 SLICE probeB_t60 ABORTED-AT-NODE-LIMIT nodes=20000144 solutions=0 top-branch=160/1924
61 SLICE probeB_t61 ABORTED-AT-NODE-LIMIT nodes=20000699 solutions=0 top-branch=32/1700
62 SLICE probeB_t62 DONE nodes=14805930 solutions=0
63 SLICE probeB_t63 DONE nodes=18541946 solutions=0
64 SLICE probeB_t64 DONE nodes=17949494 solutions=0
65 SLICE probeB_t65 DONE nodes=12673681 solutions=0
66 SLICE probeB_t66 ABORTED-AT-NODE-LIMIT nodes=20000247 solutions=0 top-branch=320/1477
67 SLICE probeB_t67 ABORTED-AT-NODE-LIMIT nodes=20000173 solutions=0 top-branch=1088/2206
68 SLICE probeB_t68 DONE nodes=4955700 solutions=0
69 SLICE probeB_t69 DONE nodes=2514579 solutions=0
70 SLICE probeB_t70 DONE nodes=10747185 solutions=0
71 SLICE probeB_t71 DONE nodes=928644 solutions=0
72 SLICE probeB_t72 DONE nodes=2153871 solutions=0
73 SLICE probeB_t73 DONE nodes=567419 solutions=0
74 SLICE probeB_t74 DONE nodes=934501 solutions=0
75 SLICE probeB_t75 DONE nodes=2572665 solutions=0
76 SLICE probeB_t76 DONE nodes=695636 solutions=0
77 SLICE probeB_t77 DONE nodes=1437411 solutions=0
78 SLICE probeB_t78 DONE nodes=539471 solutions=0
79 SLICE probeB_t79 DONE nodes=1733706 solutions=0
80 SLICE probeB_t80 DONE nodes=559831 solutions=0
81 SLICE probeB_t81 DONE nodes=385286 solutions=0
82 SLICE probeB_t82 DONE nodes=640408 solutions=0
83 SLICE probeB_t83 DONE nodes=344282 solutions=0
84 SLICE probeB_t84 DONE nodes=267313 solutions=0
85 SLICE probeB_t85 DONE nodes=875731 solutions=0
86 SLICE probeB_t86 DONE nodes=443931 solutions=0
87 SLICE probeB_t87 DONE nodes=262741 solutions=0
88 SLICE probeB_t88 DONE nodes=234271 solutions=0
89 SLICE probeB_t89 DONE nodes=272011 solutions=0
90 SLICE probeB_t90 DONE nodes=228915 solutions=0
91 SLICE probeB_t91 DONE nodes=224800 solutions=0
92 SLICE probeB_t92 DONE nodes=231624 solutions=0
93 SLICE probeB_t93 DONE nodes=168481 solutions=0
94 SLICE probeB_t94 DONE nodes=239139 solutions=0
95 SLICE probeB_t95 DONE nodes=224874 solutions=0
96 SLICE probeB_t96 DONE nodes=227699 solutions=0
97 SLICE probeB_t97 DONE nodes=229453 solutions=0
98 SLICE probeB_t98 DONE nodes=224675 solutions=0
99 SLICE probeB_t99 DONE nodes=224654 solutions=0
100 SLICE probeB_t100 DONE nodes=98281 solutions=0
101 SLICE probeB_t101 DONE nodes=224646 solutions=0
102 SLICE probeB_t102 DONE nodes=224670 solutions=0
103 SLICE probeB_t103 DONE nodes=98281 solutions=0
104 SLICE probeB_t104 DONE nodes=70201 solutions=0
105 SLICE probeB_t105 DONE nodes=224976 solutions=0
106 SLICE probeB_t106 DONE nodes=224657 solutions=0
107 SLICE probeB_t107 DONE nodes=70201 solutions=0
108 SLICE probeB_t108 DONE nodes=224643 solutions=0
109 SLICE probeB_t109 DONE nodes=98281 solutions=0
110 SLICE probeB_t110 DONE nodes=42121 solutions=0
111 SLICE probeB_t111 DONE nodes=224655 solutions=0
112 SLICE probeB_t112 DONE nodes=98281 solutions=0
113 SLICE probeB_t113 DONE nodes=224646 solutions=0
114 SLICE probeB_t114 DONE nodes=42121 solutions=0
115 SLICE probeB_t115 DONE nodes=56161 solutions=0
116 SLICE probeB_t116 DONE nodes=28081 solutions=0
117 SLICE probeB_t117 DONE nodes=28081 solutions=0
118 SLICE probeB_t118 DONE nodes=28081 solutions=0
119 SLICE probeB_t119 DONE nodes=56161 solutions=0
120 SLICE probeB_t120 DONE nodes=28081 solutions=0
121 SLICE probeB_t121 DONE nodes=28081 solutions=0
122 SLICE probeB_t122 DONE nodes=28081 solutions=0
123 SLICE probeB_t123 DONE nodes=14041 solutions=0
124 SLICE probeB_t124 DONE nodes=14041 solutions=0
125 SLICE probeB_t125 DONE nodes=14041 solutions=0
126 SLICE probeB_t126 DONE nodes=14041 solutions=0
127 SLICE probeB_t127 DONE nodes=14041 solutions=0
128 SLICE probeB_t128 DONE nodes=14041 solutions=0
129 SLICE probeB_t129 DONE nodes=14041 solutions=0
130 SLICE probeB_t130 DONE nodes=14041 solutions=0
131 SLICE probeB_t131 DONE nodes=14041 solutions=0
132 SLICE probeB_t132 DONE nodes=14041 solutions=0
133 SLICE probeB_t133 DONE nodes=14041 solutions=0
134 SLICE probeB_t134 DONE nodes=14041 solutions=0
135 SLICE probeB_t135 DONE nodes=14041 solutions=0
136 SLICE probeB_t136 DONE nodes=14041 solutions=0
137 SLICE probeB_t137 DONE nodes=14041 solutions=0
138 SLICE probeB_t138 DONE nodes=14041 solutions=0
139 SLICE probeB_t139 DONE nodes=14041 solutions=0
ALLDONE
