This repository has been archived by the owner on Dec 14, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
big_boi_registers.txt
693 lines (688 loc) · 52 KB
/
big_boi_registers.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
Presolve has eliminated 53856125 rows and 17504 columns...
Presolve has improved bounds 566 times...
Presolve has eliminated 56437001 rows and 17504 columns...
Presolve has improved bounds 566 times...
Tried aggregator 1 time.
Presolve has eliminated 58932866 rows and 17504 columns...
Presolve has improved bounds 1223 times...
MIP Presolve eliminated 58932866 rows and 17504 columns.
MIP Presolve modified 88617 coefficients.
Reduced MIP has 86926 rows, 180913 columns, and 1873589 nonzeros.
Reduced MIP has 179881 binaries, 750 generals, 0 SOSs, and 282 indicators.
Presolve time = 134.89 sec. (35983.73 ticks)
Found incumbent of value 7215877.407000 after 143.86 sec. (40353.09 ticks)
Probing fixed 0 vars, tightened 282 bounds.
Probing time = 2.64 sec. (1058.56 ticks)
Tried aggregator 1 time.
MIP Presolve modified 282 coefficients.
Reduced MIP has 86926 rows, 180913 columns, and 1873589 nonzeros.
Reduced MIP has 179881 binaries, 1032 generals, 0 SOSs, and 282 indicators.
Presolve time = 1.50 sec. (1589.14 ticks)
Probing time = 0.67 sec. (41.82 ticks)
Clique table members: 94135.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 16 threads.
Root relaxation solution time = 6.02 sec. (2779.80 ticks)
Nodes Cuts/
Node Left Objective IInf Best Integer Best Bound ItCnt Gap
* 0+ 0 7215877.4070 0.0000 10753 100.00%
* 0+ 0 6645245.8440 0.0000 10753 100.00%
* 0+ 0 6440256.1380 0.0000 10753 100.00%
* 0+ 0 6235856.3370 0.0000 10753 100.00%
* 0+ 0 6060857.5710 0.0000 10753 100.00%
* 0+ 0 5907761.2050 0.0000 10753 100.00%
* 0+ 0 5667776.9250 0.0000 10753 100.00%
* 0+ 0 5409201.3980 0.0000 10753 100.00%
0 0 281490.6910 338 5409201.3980 281490.6910 10753 94.80%
* 0+ 0 281817.7960 281490.6910 13291 0.12%
0 0 281490.6910 407 281817.7960 Cuts: 399 13291 0.12%
* 0+ 0 281716.5860 281490.6910 16685 0.08%
0 0 281490.6910 448 281716.5860 Cuts: 241 16685 0.08%
* 0+ 0 281642.0180 281490.6910 16685 0.05%
* 0+ 0 281626.7540 281490.6910 16685 0.05%
0 2 281490.6910 448 281626.7540 281490.6910 16685 0.05%
Elapsed time = 246.36 sec. (119679.37 ticks, tree = 0.01 MB, solutions = 12)
1 3 281490.6910 449 281626.7540 281490.6910 16967 0.05%
2 4 281490.6910 402 281626.7540 281490.6910 19256 0.05%
4 6 281490.6910 408 281626.7540 281490.6910 19523 0.05%
5 7 281490.6910 390 281626.7540 281490.6910 19605 0.05%
8 10 281490.8500 355 281626.7540 281490.6910 21511 0.05%
13 15 281490.8500 347 281626.7540 281490.6910 26433 0.05%
15 17 281490.6910 319 281626.7540 281490.6910 28946 0.05%
17 19 281490.6910 381 281626.7540 281490.6910 31657 0.05%
19 21 281490.6910 319 281626.7540 281490.6910 34767 0.05%
21 23 281490.8500 324 281626.7540 281490.6910 35784 0.05%
Elapsed time = 268.09 sec. (137647.96 ticks, tree = 0.08 MB, solutions = 12)
27 29 281490.6910 365 281626.7540 281490.6910 41336 0.05%
29 31 281490.6910 376 281626.7540 281490.6910 44445 0.05%
154 156 281490.8500 272 281626.7540 281490.6910 57745 0.05%
156 158 281501.7160 169 281626.7540 281490.6910 57966 0.05%
179 181 281490.8500 394 281626.7540 281490.6910 69071 0.05%
557 559 281490.8500 362 281626.7540 281490.6910 84107 0.05%
685 687 281490.8500 269 281626.7540 281490.6910 96294 0.05%
1525 1527 281514.6810 183 281626.7540 281490.6910 122649 0.05%
1778 1780 281528.9454 141 281626.7540 281490.6910 130355 0.05%
2077 2079 281540.1780 136 281626.7540 281490.6910 139811 0.05%
Elapsed time = 355.34 sec. (155249.38 ticks, tree = 66.32 MB, solutions = 12)
2422 2424 281519.4220 143 281626.7540 281490.6910 151386 0.05%
2586 2588 281528.9454 130 281626.7540 281490.6910 156817 0.05%
* 2587+ 2587 281625.8460 281490.6910 156855 0.05%
3258 3260 281518.8610 148 281625.8460 281490.6910 179741 0.05%
* 3334+ 3334 281617.7770 281490.6910 182602 0.05%
* 3338+ 3338 281614.0870 281490.6910 182661 0.04%
3418 3420 281521.3030 150 281614.0870 281490.6910 185382 0.04%
* 3454+ 3454 281613.9550 281490.6910 186319 0.04%
* 3468+ 3468 281607.6830 281490.6910 186861 0.04%
3532 3534 281532.3260 104 281607.6830 281490.6910 188853 0.04%
3852 3854 281532.8390 103 281607.6830 281490.6910 198857 0.04%
4391 4393 281582.0800 109 281607.6830 281490.6910 216135 0.04%
4653 4655 281527.6630 121 281607.6830 281490.6910 224030 0.04%
4941 4941 281527.6630 121 281607.6830 281490.6910 232036 0.04%
* 5008+ 5004 281598.9450 281490.6910 233803 0.04%
* 5008+ 5004 281593.1450 281490.6910 233803 0.04%
5008 5006 281590.7010 123 281593.1450 281490.6910 233803 0.04%
Elapsed time = 429.72 sec. (168502.58 ticks, tree = 2377.47 MB, solutions = 24)
Nodefile size = 327.15 MB (139.12 MB after compression)
* 5011+ 5007 281585.1620 281490.6910 233858 0.03%
* 5024+ 3266 281584.5370 281490.6910 267203 0.03%
5024 3267 281490.6910 537 281584.5370 281490.6910 267203 0.03%
5025 3268 281490.6910 508 281584.5370 281490.6910 267365 0.03%
5026 3269 281490.6910 484 281584.5370 281490.6910 267597 0.03%
5027 3270 281490.6910 481 281584.5370 281490.6910 269280 0.03%
5029 3271 281490.6910 446 281584.5370 281490.6910 271682 0.03%
5030 3271 281490.6910 395 281584.5370 281490.6910 272371 0.03%
5032 3272 281490.6910 388 281584.5370 281490.6910 276244 0.03%
5035 3274 281490.6910 369 281584.5370 281490.6910 280157 0.03%
5038 3276 281490.6910 407 281584.5370 281490.6910 282998 0.03%
5042 3280 281490.8580 377 281584.5370 281490.6910 287378 0.03%
Elapsed time = 651.86 sec. (371862.62 ticks, tree = 1362.39 MB, solutions = 52)
5045 3282 281490.6910 364 281584.5370 281490.6910 290292 0.03%
5049 3285 281490.8580 366 281584.5370 281490.6910 290512 0.03%
5050 3286 281490.6910 329 281584.5370 281490.6910 291756 0.03%
5051 3286 281490.6910 437 281584.5370 281490.6910 292291 0.03%
5057 3290 281490.8500 357 281584.5370 281490.6910 301827 0.03%
5062 3292 281491.5910 325 281584.5370 281490.6910 309378 0.03%
5063 3293 281490.6910 306 281584.5370 281490.6910 311577 0.03%
5064 3294 281490.6910 417 281584.5370 281490.6910 313222 0.03%
5071 3297 281490.8580 370 281584.5370 281490.6910 325418 0.03%
5073 3298 281490.8580 375 281584.5370 281490.6910 330458 0.03%
Elapsed time = 718.23 sec. (393897.04 ticks, tree = 1357.84 MB, solutions = 52)
5079 3304 281490.8580 390 281584.5370 281490.6910 337604 0.03%
5085 3309 281490.6910 286 281584.5370 281490.6910 344348 0.03%
5091 3312 281491.5910 310 281584.5370 281490.6910 345976 0.03%
5094 3313 281490.8580 385 281584.5370 281490.6910 349043 0.03%
5098 3316 281490.6910 409 281584.5370 281490.6910 352882 0.03%
5099 3317 281490.6910 452 281584.5370 281490.6910 356040 0.03%
5250 3405 281490.6910 308 281584.5370 281490.6910 365594 0.03%
5263 3413 281490.6910 376 281584.5370 281490.6910 368273 0.03%
5264 3413 281490.6910 420 281584.5370 281490.6910 370498 0.03%
5280 3422 281490.6910 415 281584.5370 281490.6910 373513 0.03%
Elapsed time = 840.66 sec. (426077.82 ticks, tree = 1333.82 MB, solutions = 52)
5644 3618 281490.6910 366 281584.5370 281490.6910 382245 0.03%
5647 3619 281490.6910 215 281584.5370 281490.6910 382508 0.03%
5660 3628 281490.6910 365 281584.5370 281490.6910 382662 0.03%
5678 3641 281490.8580 229 281584.5370 281490.6910 383195 0.03%
5687 3646 281490.6910 352 281584.5370 281490.6910 383570 0.03%
5703 3653 281490.6910 335 281584.5370 281490.6910 384051 0.03%
5719 3665 281490.6910 332 281584.5370 281490.6910 384537 0.03%
5767 3689 281490.6910 325 281584.5370 281490.6910 385687 0.03%
6220 3945 281490.6910 252 281584.5370 281490.6910 394686 0.03%
6380 4029 281490.6910 214 281584.5370 281490.6910 398654 0.03%
Elapsed time = 902.08 sec. (442421.20 ticks, tree = 1553.96 MB, solutions = 52)
6543 4109 281500.4620 170 281584.5370 281490.6910 402461 0.03%
6671 4188 281500.4620 166 281584.5370 281490.6910 405716 0.03%
6919 4320 281498.9370 163 281584.5370 281490.6910 411671 0.03%
7047 4387 281498.9370 164 281584.5370 281490.6910 414646 0.03%
7159 4457 281499.4470 157 281584.5370 281490.6910 417563 0.03%
7335 4553 281499.4470 162 281584.5370 281490.6910 421692 0.03%
7579 4684 281490.8580 178 281584.5370 281490.6910 427939 0.03%
7759 4781 281543.4380 138 281584.5370 281490.6910 432762 0.03%
7887 4849 281543.4380 150 281584.5370 281490.6910 436099 0.03%
8063 4947 281543.7170 146 281584.5370 281490.6910 440462 0.03%
Elapsed time = 969.41 sec. (453276.15 ticks, tree = 1273.27 MB, solutions = 52)
8239 5052 281543.7170 143 281584.5370 281490.6910 445840 0.03%
8367 5126 281552.9890 149 281584.5370 281490.6910 448798 0.03%
8707 5319 281534.3790 125 281584.5370 281490.6910 457070 0.03%
8866 5416 281495.0320 176 281584.5370 281490.6910 460925 0.03%
8988 5488 281552.9890 150 281584.5370 281490.6910 464362 0.03%
9116 5552 281553.0310 125 281584.5370 281490.6910 467551 0.03%
9290 5648 281541.2140 146 281584.5370 281490.6910 472050 0.03%
9586 5810 281509.1270 187 281584.5370 281490.6910 480623 0.03%
9695 5868 281525.0220 180 281584.5370 281490.6910 483217 0.03%
9886 5984 281541.2140 142 281584.5370 281490.6910 487930 0.03%
Elapsed time = 1031.11 sec. (464161.82 ticks, tree = 837.58 MB, solutions = 52)
9998 6050 281541.2140 160 281584.5370 281490.6910 491295 0.03%
10206 6163 281541.2140 157 281584.5370 281490.6910 495981 0.03%
10331 6230 281542.9690 126 281584.5370 281490.6910 499067 0.03%
10743 6463 281532.1800 141 281584.5370 281490.6910 508181 0.03%
10788 6482 281546.1160 151 281584.5370 281490.6910 509338 0.03%
* 10923+ 6326 281582.7900 281490.6910 513001 0.03%
* 10929+ 6178 281579.0180 281490.6910 513097 0.03%
10964 6198 281546.1160 143 281579.0180 281490.6910 514097 0.03%
11156 6303 281566.0270 133 281579.0180 281490.6910 518644 0.03%
* 11224+ 6259 281577.2180 281490.6910 520511 0.03%
11300 6305 281566.0270 132 281577.2180 281490.6910 522831 0.03%
11869 6627 281505.8750 162 281577.2180 281490.6910 536435 0.03%
12121 6867 281572.2970 151 281577.2180 281490.6910 542713 0.03%
Elapsed time = 1108.91 sec. (479810.75 ticks, tree = 417.92 MB, solutions = 56)
* 12143+ 6884 281574.6660 281490.6910 543279 0.03%
12751 7430 281576.1350 131 281574.6660 281490.6910 555940 0.03%
13816 8057 281527.5870 165 281574.6660 281490.6910 582619 0.03%
* 13916+ 8148 281573.4240 281490.6910 585343 0.03%
14694 8859 281514.6460 149 281573.4240 281490.6910 605169 0.03%
15892 9617 281543.1890 141 281573.4240 281490.6910 639553 0.03%
16666 10391 281496.2630 165 281573.4240 281490.6910 664451 0.03%
17876 11601 281516.0460 156 281573.4240 281490.6910 701447 0.03%
18532 12257 281516.0460 163 281573.4240 281490.6910 721728 0.03%
19838 13561 281523.6780 138 281573.4240 281490.6910 761080 0.03%
20494 14214 281536.4660 142 281573.4240 281490.6910 779251 0.03%
21726 15439 281503.5740 143 281573.4240 281490.6910 810550 0.03%
Elapsed time = 1340.45 sec. (518956.49 ticks, tree = 993.79 MB, solutions = 58)
22628 16336 281549.4480 137 281573.4240 281490.6910 829387 0.03%
24040 17704 281569.0540 97 281573.4240 281490.6910 861222 0.03%
24109 17769 281532.8610 118 281573.4240 281490.6910 862417 0.03%
* 24273+17919 281572.6240 281490.6910 865728 0.03%
24411 18047 281573.3460 113 281572.6240 281490.6910 868246 0.03%
* 24892+18518 281567.9840 281490.6910 877392 0.03%
* 25808+18252 281566.9500 281490.6910 895322 0.03%
26093 18523 281515.2050 124 281566.9500 281490.6910 901581 0.03%
26989 19355 281519.8250 114 281566.9500 281490.6910 919996 0.03%
28257 20230 281494.2330 156 281566.9500 281490.6910 944102 0.03%
29443 21376 281510.4330 171 281566.9500 281490.6910 968476 0.03%
30745 22595 281497.3450 149 281566.9500 281490.6910 999228 0.03%
31758 23523 281566.6890 99 281566.9500 281490.6910 1019514 0.03%
Elapsed time = 1597.45 sec. (568816.15 ticks, tree = 7663.02 MB, solutions = 61)
Nodefile size = 5074.28 MB (2120.38 MB after compression)
33090 24683 281498.8160 146 281566.9500 281490.6910 1047620 0.03%
33785 25240 281490.6910 168 281566.9500 281490.6910 1060752 0.03%
34888 26137 281500.5160 139 281566.9500 281490.6910 1083749 0.03%
35719 26885 281515.3190 147 281566.9500 281490.6910 1101123 0.03%
37130 28196 281503.2520 134 281566.9500 281490.6910 1128836 0.03%
38047 28985 281492.4430 162 281566.9500 281490.6910 1145315 0.03%
39279 30119 281507.8720 149 281566.9500 281490.6910 1168832 0.03%
39405 30236 281537.6220 140 281566.9500 281490.6910 1170952 0.03%
39834 30631 281507.8720 141 281566.9500 281490.6910 1178863 0.03%
40810 31544 281507.8720 143 281566.9500 281490.6910 1193929 0.03%
Elapsed time = 1876.61 sec. (620734.15 ticks, tree = 15332.11 MB, solutions = 61)
Nodefile size = 11922.38 MB (5080.76 MB after compression)
41986 32647 281548.6890 116 281566.9500 281490.6910 1215986 0.03%
43191 33785 281509.9290 132 281566.9500 281490.6910 1239385 0.03%
44448 34980 281515.2250 189 281566.9500 281490.6910 1263234 0.03%
* 45664+36077 281564.5500 281490.6910 1284009 0.03%
* 45664+36077 281563.2890 281490.6910 1284009 0.03%
* 45664+36077 281555.2890 281490.6910 1284009 0.02%
* 45664+36077 281552.5890 281490.6910 1284009 0.02%
* 45664+36077 281551.0890 281490.6910 1284009 0.02%
* 45664+36077 281550.0520 281490.6910 1284009 0.02%
45664 36079 281516.0780 130 281550.0520 281490.6910 1284009 0.02%
* 45665+36078 281544.1080 281490.6910 1284022 0.02%
* 45666+36075 281536.4910 281490.6910 1284034 0.02%
* 45669+36073 281535.1520 281490.6910 1284233 0.02%
* 45680+16533 281529.9520 281490.6910 1314420 0.01%
* 45680+11021 281526.5720 281490.6910 1327534 0.01%
45680 11022 281490.6910 541 281526.5720 281490.6910 1327534 0.01%
45681 11022 281490.6910 460 281526.5720 281490.6910 1331795 0.01%
45682 11022 281490.6910 504 281526.5720 281490.6910 1331863 0.01%
45683 11022 281490.6910 438 281526.5720 281490.6910 1333266 0.01%
* 45684+ 7348 281524.4720 281490.6910 1333281 0.01%
45684 7350 281490.6910 450 281524.4720 281490.6910 1333281 0.01%
45686 7352 281490.6910 417 281524.4720 281490.6910 1335664 0.01%
Elapsed time = 3488.02 sec. (1136872.57 ticks, tree = 911.35 MB, solutions = 173)
45688 7352 281490.6910 356 281524.4720 281490.6910 1339426 0.01%
45691 7355 281490.6910 429 281524.4720 281490.6910 1346306 0.01%
45692 7356 281490.6910 348 281524.4720 281490.6910 1348534 0.01%
45694 7357 281490.6910 346 281524.4720 281490.6910 1350413 0.01%
45698 7358 281490.6910 378 281524.4720 281490.6910 1357352 0.01%
45702 7360 281490.6910 400 281524.4720 281490.6910 1365106 0.01%
45705 7362 281490.6910 332 281524.4720 281490.6910 1368096 0.01%
* 45712+ 4920 281522.8720 281490.6910 1379842 0.01%
45712 4921 281490.6910 341 281522.8720 281490.6910 1379842 0.01%
45731 4930 281490.6910 340 281522.8720 281490.6910 1396632 0.01%
45744 4939 281490.6910 391 281522.8720 281490.6910 1416297 0.01%
Elapsed time = 3647.45 sec. (1213486.53 ticks, tree = 604.72 MB, solutions = 179)
45815 4973 281490.6910 330 281522.8720 281490.6910 1441529 0.01%
45836 4983 281490.6910 355 281522.8720 281490.6910 1457127 0.01%
45857 4995 281491.6910 359 281522.8720 281490.6910 1460698 0.01%
46129 5147 281490.6910 347 281522.8720 281490.6910 1472532 0.01%
46193 5178 281490.6910 318 281522.8720 281490.6910 1474705 0.01%
46558 5393 281492.1050 199 281522.8720 281490.6910 1481710 0.01%
46742 5507 281490.6910 256 281522.8720 281490.6910 1486177 0.01%
46907 5607 281490.7910 199 281522.8720 281490.6910 1489113 0.01%
47115 5721 281494.2910 198 281522.8720 281490.6910 1493373 0.01%
47338 5856 281492.7700 177 281522.8720 281490.6910 1497198 0.01%
Elapsed time = 3869.31 sec. (1253937.90 ticks, tree = 585.70 MB, solutions = 179)
47515 5957 281498.6600 182 281522.8720 281490.6910 1500759 0.01%
47735 6080 281497.1650 173 281522.8720 281490.6910 1505385 0.01%
47974 6222 281492.7700 177 281522.8720 281490.6910 1509837 0.01%
48171 6339 281490.9350 187 281522.8720 281490.6910 1513760 0.01%
48436 6483 281513.2860 173 281522.8720 281490.6910 1520085 0.01%
48775 6679 281513.2860 179 281522.8720 281490.6910 1526838 0.01%
49020 6798 281497.7720 177 281522.8720 281490.6910 1532308 0.01%
49341 6970 281497.3380 168 281522.8720 281490.6910 1539133 0.01%
49540 7066 281514.4880 167 281522.8720 281490.6910 1544491 0.01%
49973 7287 281500.6160 156 281522.8720 281490.6910 1554686 0.01%
Elapsed time = 4077.81 sec. (1293511.39 ticks, tree = 529.74 MB, solutions = 179)
50335 7491 281500.3280 174 281522.8720 281490.6910 1563858 0.01%
50594 7634 281499.0510 178 281522.8720 281490.6910 1570477 0.01%
51019 7815 281522.8260 128 281522.8720 281490.6910 1580300 0.01%
51238 7943 281522.5900 160 281522.8720 281490.6910 1586445 0.01%
51661 8169 281522.5900 162 281522.8720 281490.6910 1598137 0.01%
52029 8355 281522.7900 166 281522.8720 281490.6910 1606925 0.01%
52445 8511 281522.7900 154 281522.8720 281490.6910 1615127 0.01%
53251 8825 281522.8440 157 281522.8720 281490.6910 1631046 0.01%
53521 8920 281522.5090 150 281522.8720 281490.6910 1637342 0.01%
54097 9184 281522.0930 139 281522.8720 281490.6910 1648981 0.01%
Elapsed time = 4302.97 sec. (1337158.69 ticks, tree = 1103.87 MB, solutions = 179)
54395 9278 281522.8550 156 281522.8720 281490.6910 1654625 0.01%
55101 9480 281522.2670 135 281522.8720 281490.6910 1666637 0.01%
55341 9579 281522.2670 152 281522.8720 281490.6910 1671303 0.01%
56157 9932 281522.8550 134 281522.8720 281490.6910 1687135 0.01%
56569 10056 281521.8030 133 281522.8720 281490.6910 1694598 0.01%
57257 10569 281522.8440 142 281522.8720 281490.6910 1705590 0.01%
57588 10847 281522.8280 115 281522.8720 281490.6910 1711727 0.01%
58083 11236 281522.7900 133 281522.8720 281490.6910 1720708 0.01%
58554 11681 281522.8270 164 281522.8720 281490.6910 1731347 0.01%
58762 11850 281522.8270 152 281522.8720 281490.6910 1737042 0.01%
Elapsed time = 4496.30 sec. (1377954.26 ticks, tree = 3442.45 MB, solutions = 179)
Nodefile size = 1215.29 MB (516.77 MB after compression)
59760 12791 281522.8040 139 281522.8720 281490.6910 1758211 0.01%
59898 12919 281499.2700 190 281522.8720 281490.6910 1761200 0.01%
* 60263+13240 281522.7400 281490.6910 1769800 0.01%
60777 12878 281500.5010 181 281522.7400 281490.6910 1780824 0.01%
61144 13212 281522.7010 128 281522.7400 281490.6910 1788686 0.01%
62226 14227 281504.8010 169 281522.7400 281490.6910 1812931 0.01%
62646 14569 281522.4130 150 281522.7400 281490.6910 1821654 0.01%
63570 15426 281505.9040 156 281522.7400 281490.6910 1840233 0.01%
63951 15786 281522.6610 146 281522.7400 281490.6910 1847618 0.01%
65001 16795 281512.4440 141 281522.7400 281490.6910 1866437 0.01%
65438 17196 281521.9595 154 281522.7400 281490.6910 1875813 0.01%
Elapsed time = 4750.48 sec. (1427253.55 ticks, tree = 7595.06 MB, solutions = 180)
Nodefile size = 5171.56 MB (2212.12 MB after compression)
66324 18025 281517.6520 156 281522.7400 281490.6910 1891482 0.01%
66690 18341 281522.7090 140 281522.7400 281490.6910 1898118 0.01%
67569 19102 281520.7300 136 281522.7400 281490.6910 1913430 0.01%
67964 19415 281522.5830 153 281522.7400 281490.6910 1920389 0.01%
68916 20302 281522.3810 140 281522.7400 281490.6910 1935116 0.01%
69379 20714 281497.5750 179 281522.7400 281490.6910 1942065 0.01%
70599 21890 281522.5480 135 281522.7400 281490.6910 1957113 0.01%
71015 22283 281522.7150 129 281522.7400 281490.6910 1964206 0.01%
72372 23569 281519.4180 153 281522.7400 281490.6910 1981324 0.01%
72742 23875 281522.7150 142 281522.7400 281490.6910 1986930 0.01%
Elapsed time = 4973.22 sec. (1468987.06 ticks, tree = 10003.04 MB, solutions = 180)
Nodefile size = 7905.51 MB (3358.60 MB after compression)
73587 24697 281499.7450 177 281522.7400 281490.6910 1998582 0.01%
74144 25206 281491.9630 194 281522.7400 281490.6910 2007353 0.01%
74790 25833 281505.0310 171 281522.7400 281490.6910 2018291 0.01%
76018 27048 281505.0310 153 281522.7400 281490.6910 2040443 0.01%
77029 28058 281498.0140 167 281522.7400 281490.6910 2058763 0.01%
77342 28371 281504.7940 155 281522.7400 281490.6910 2063986 0.01%
78096 29125 281505.0310 181 281522.7400 281490.6910 2076535 0.01%
79330 30352 281505.4470 172 281522.7400 281490.6910 2092862 0.01%
79890 30910 281508.9470 174 281522.7400 281490.6910 2100547 0.01%
81246 32264 281508.9470 156 281522.7400 281490.6910 2120220 0.01%
Elapsed time = 5197.14 sec. (1513887.55 ticks, tree = 10644.69 MB, solutions = 180)
Nodefile size = 8556.69 MB (3593.95 MB after compression)
82579 33596 281504.0540 170 281522.7400 281490.6910 2137886 0.01%
82986 33997 281508.9470 165 281522.7400 281490.6910 2144055 0.01%
84231 35226 281522.1240 190 281522.7400 281490.6910 2161594 0.01%
85585 36556 281520.4160 175 281522.7400 281490.6910 2180193 0.01%
86033 36973 281521.8100 161 281522.7400 281490.6910 2188262 0.01%
87284 38214 281522.6100 156 281522.7400 281490.6910 2207274 0.01%
88522 39425 281497.5040 176 281522.7400 281490.6910 2225888 0.01%
89043 39929 281522.3130 145 281522.7400 281490.6910 2235417 0.01%
90303 41172 281522.3130 147 281522.7400 281490.6910 2258321 0.01%
91579 42439 281522.3130 150 281522.7400 281490.6910 2282309 0.01%
Elapsed time = 5405.16 sec. (1552801.69 ticks, tree = 11311.42 MB, solutions = 180)
Nodefile size = 9233.10 MB (3821.74 MB after compression)
92139 42979 281496.3250 189 281522.7400 281490.6910 2290604 0.01%
93509 44336 281515.8720 138 281522.7400 281490.6910 2309687 0.01%
94802 45624 281515.8720 132 281522.7400 281490.6910 2327751 0.01%
96341 47161 281493.5927 194 281522.7400 281490.6910 2345171 0.01%
97071 47890 281518.3320 129 281522.7400 281490.6910 2354256 0.01%
98427 49238 281522.6670 139 281522.7400 281490.6910 2368218 0.01%
99712 50508 281522.6670 121 281522.7400 281490.6910 2380370 0.01%
100464 51231 281490.6910 190 281522.7400 281490.6910 2388869 0.01%
102011 52778 281493.0760 195 281522.7400 281490.6910 2405693 0.01%
103270 54037 281506.6450 205 281522.7400 281490.6910 2423343 0.01%
Elapsed time = 5618.94 sec. (1592019.19 ticks, tree = 12147.60 MB, solutions = 180)
Nodefile size = 10081.31 MB (4124.08 MB after compression)
104131 54896 281498.0570 209 281522.7400 281490.6910 2439077 0.01%
105039 55796 281504.1420 165 281522.7400 281490.6910 2453155 0.01%
106160 56912 281493.8710 197 281522.7400 281490.6910 2473433 0.01%
107211 57958 281522.5300 172 281522.7400 281490.6910 2491291 0.01%
108574 59301 281522.6300 176 281522.7400 281490.6910 2510989 0.01%
109258 59981 281490.7910 179 281522.7400 281490.6910 2521257 0.01%
110380 61097 281496.7640 192 281522.7400 281490.6910 2535819 0.01%
111523 62238 281490.6910 208 281522.7400 281490.6910 2550011 0.01%
112634 63349 281490.8910 199 281522.7400 281490.6910 2562940 0.01%
113597 64312 281498.0800 186 281522.7400 281490.6910 2574677 0.01%
Elapsed time = 5850.83 sec. (1631948.61 ticks, tree = 12695.44 MB, solutions = 180)
Nodefile size = 10626.27 MB (4310.12 MB after compression)
114987 65699 281493.5910 192 281522.7400 281490.6910 2590841 0.01%
116263 66972 281494.2910 187 281522.7400 281490.6910 2605399 0.01%
117519 68220 281497.4210 184 281522.7400 281490.6910 2619598 0.01%
118301 68997 281518.4390 187 281522.7400 281490.6910 2630054 0.01%
119375 70063 281519.9390 164 281522.7400 281490.6910 2645900 0.01%
120498 71184 281502.0290 174 281522.7400 281490.6910 2664156 0.01%
121563 72241 281492.5910 190 281522.7400 281490.6910 2684969 0.01%
122121 72795 281492.0910 188 281522.7400 281490.6910 2695939 0.01%
123332 73998 281499.1510 177 281522.7400 281490.6910 2716353 0.01%
124499 75160 281491.4860 186 281522.7400 281490.6910 2733332 0.01%
Elapsed time = 6089.27 sec. (1671073.77 ticks, tree = 13395.07 MB, solutions = 180)
Nodefile size = 11330.28 MB (4530.29 MB after compression)
125803 76463 281504.6790 174 281522.7400 281490.6910 2749180 0.01%
126870 77528 281510.2860 187 281522.7400 281490.6910 2761173 0.01%
128105 78763 281497.4340 190 281522.7400 281490.6910 2774979 0.01%
129264 79922 281499.1770 178 281522.7400 281490.6910 2788908 0.01%
130282 80939 281497.3775 182 281522.7400 281490.6910 2801186 0.01%
131821 82472 281490.6910 184 281522.7400 281490.6910 2820018 0.01%
132864 83514 281491.3910 207 281522.7400 281490.6910 2832293 0.01%
134055 84705 281492.3220 193 281522.7400 281490.6910 2846860 0.01%
135397 86045 281498.4510 179 281522.7400 281490.6910 2866081 0.01%
136506 87143 281490.6910 182 281522.7400 281490.6910 2882002 0.01%
Elapsed time = 6334.75 sec. (1709967.49 ticks, tree = 14118.85 MB, solutions = 180)
Nodefile size = 12056.41 MB (4750.38 MB after compression)
137522 88159 281490.6910 207 281522.7400 281490.6910 2898759 0.01%
138226 88863 281497.3640 174 281522.7400 281490.6910 2910825 0.01%
139454 90091 281497.9320 178 281522.7400 281490.6910 2932348 0.01%
140341 90977 281499.5740 189 281522.7400 281490.6910 2945838 0.01%
140515 91150 281496.3560 210 281522.7400 281490.6910 2948256 0.01%
141750 92385 281492.6910 189 281522.7400 281490.6910 2963283 0.01%
142973 93608 281504.0660 177 281522.7400 281490.6910 2976217 0.01%
143446 94081 281494.7690 202 281522.7400 281490.6910 2980697 0.01%
144594 95228 281494.1300 188 281522.7400 281490.6910 2994426 0.01%
145490 96110 281492.5850 182 281522.7400 281490.6910 3005139 0.01%
Elapsed time = 6574.16 sec. (1754430.80 ticks, tree = 14607.82 MB, solutions = 180)
Nodefile size = 12543.12 MB (4890.85 MB after compression)
146788 97403 281497.9390 199 281522.7400 281490.6910 3018180 0.01%
147932 98531 281497.1690 187 281522.7400 281490.6910 3030188 0.01%
149198 99793 281494.2613 204 281522.7400 281490.6910 3043329 0.01%
149926 100521 281497.8280 199 281522.7400 281490.6910 3052059 0.01%
151308 101899 281500.2680 200 281522.7400 281490.6910 3068139 0.01%
152247 102823 281518.4050 185 281522.7400 281490.6910 3080269 0.01%
153532 104099 281514.2170 169 281522.7400 281490.6910 3096961 0.01%
154849 105396 281490.6910 175 281522.7400 281490.6910 3114483 0.01%
156110 106651 281500.7893 210 281522.7400 281490.6910 3131567 0.01%
156844 107383 281491.4910 184 281522.7400 281490.6910 3141873 0.01%
Elapsed time = 6829.03 sec. (1793814.80 ticks, tree = 15239.31 MB, solutions = 180)
Nodefile size = 13172.08 MB (5078.24 MB after compression)
158502 109041 281510.2440 186 281522.7400 281490.6910 3158185 0.01%
159591 110130 281493.2640 178 281522.7400 281490.6910 3170481 0.01%
160716 111255 281504.3650 171 281522.7400 281490.6910 3181097 0.01%
162252 112791 281512.9520 169 281522.7400 281490.6910 3195788 0.01%
163470 114008 281494.3930 181 281522.7400 281490.6910 3207439 0.01%
164454 114991 281504.7290 216 281522.7400 281490.6910 3218928 0.01%
165596 116133 281504.7290 195 281522.7400 281490.6910 3231637 0.01%
166678 117214 281510.5390 189 281522.7400 281490.6910 3245478 0.01%
168143 118679 281510.7221 181 281522.7400 281490.6910 3264315 0.01%
169237 119769 281495.7290 189 281522.7400 281490.6910 3277908 0.01%
Elapsed time = 7084.56 sec. (1832759.04 ticks, tree = 15984.68 MB, solutions = 180)
Nodefile size = 13924.51 MB (5298.94 MB after compression)
170254 120767 281520.7350 151 281522.7400 281490.6910 3293028 0.01%
171155 121645 281521.4350 174 281522.7400 281490.6910 3306418 0.01%
172448 122929 281522.6130 163 281522.7400 281490.6910 3324293 0.01%
173581 124055 281522.7150 165 281522.7400 281490.6910 3339000 0.01%
174908 125382 281490.6910 182 281522.7400 281490.6910 3354540 0.01%
176311 126785 281503.4110 188 281522.7400 281490.6910 3371026 0.01%
177701 128175 281491.6220 183 281522.7400 281490.6910 3385543 0.01%
178797 129270 281496.4560 189 281522.7400 281490.6910 3398338 0.01%
179839 130312 281492.7910 209 281522.7400 281490.6910 3409932 0.01%
181362 131833 281493.3640 200 281522.7400 281490.6910 3426211 0.01%
Elapsed time = 7351.45 sec. (1871616.90 ticks, tree = 16655.84 MB, solutions = 180)
Nodefile size = 14593.10 MB (5498.95 MB after compression)
182642 133113 281507.7040 175 281522.7400 281490.6910 3440020 0.01%
183972 134443 281508.3040 166 281522.7400 281490.6910 3456520 0.01%
185179 135650 281502.7750 169 281522.7400 281490.6910 3469755 0.01%
186236 136707 281494.4480 190 281522.7400 281490.6910 3484356 0.01%
187243 137712 281491.2610 171 281522.7400 281490.6910 3499290 0.01%
188516 138976 281490.6910 162 281522.7400 281490.6910 3521211 0.01%
189895 140353 281511.9020 158 281522.7400 281490.6910 3537537 0.01%
191191 141649 281495.7740 197 281522.7400 281490.6910 3552893 0.01%
192584 143042 281504.5720 162 281522.7400 281490.6910 3568506 0.01%
193542 143998 281492.0910 185 281522.7400 281490.6910 3577885 0.01%
Elapsed time = 7623.95 sec. (1910604.14 ticks, tree = 17321.21 MB, solutions = 180)
Nodefile size = 15257.51 MB (5692.34 MB after compression)
195166 145622 281491.5640 170 281522.7400 281490.6910 3595889 0.01%
*196058+146512 281522.4400 281490.6910 3605939 0.01%
196082 146538 281507.1960 181 281522.4400 281490.6910 3606243 0.01%
*196120+146574 281522.0400 281490.6910 3606807 0.01%
*196176+146630 281521.8800 281490.6910 3607569 0.01%
196728 145973 281506.1640 160 281521.8800 281490.6910 3613653 0.01%
196929 146172 281491.7910 185 281521.8800 281490.6910 3616242 0.01%
198128 147365 281506.0210 168 281521.8800 281490.6910 3629507 0.01%
200127 149338 281520.1930 157 281521.8800 281490.6910 3652861 0.01%
201569 150763 281507.8300 175 281521.8800 281490.6910 3670317 0.01%
203087 152278 281521.1490 158 281521.8800 281490.6910 3690828 0.01%
204181 153367 281499.5360 173 281521.8800 281490.6910 3707026 0.01%
205643 154824 281494.1120 176 281521.8800 281490.6910 3725076 0.01%
Elapsed time = 7912.77 sec. (1954406.23 ticks, tree = 17647.16 MB, solutions = 184)
Nodefile size = 15587.07 MB (5739.01 MB after compression)
207134 156311 281510.8650 178 281521.8800 281490.6910 3741349 0.01%
208350 157523 281518.7410 180 281521.8800 281490.6910 3755168 0.01%
209465 158633 281520.6410 178 281521.8800 281490.6910 3767679 0.01%
210855 160019 281494.6550 189 281521.8800 281490.6910 3783595 0.01%
212287 161450 281495.1550 199 281521.8800 281490.6910 3798612 0.01%
213633 162794 281510.9300 184 281521.8800 281490.6910 3813799 0.01%
215015 164165 281508.5650 162 281521.8800 281490.6910 3831385 0.01%
215194 164341 281500.1520 175 281521.8800 281490.6910 3834061 0.01%
216913 166040 281491.5910 178 281521.8800 281490.6910 3855437 0.01%
218056 167182 281491.9170 191 281521.8800 281490.6910 3870240 0.01%
Elapsed time = 8195.50 sec. (1997144.02 ticks, tree = 18318.77 MB, solutions = 184)
Nodefile size = 16255.77 MB (5944.06 MB after compression)
219294 168410 281521.5350 165 281521.8800 281490.6910 3887116 0.01%
220200 169315 281490.6910 214 281521.8800 281490.6910 3899225 0.01%
221686 170801 281497.3310 212 281521.8800 281490.6910 3917751 0.01%
223108 172221 281497.3310 205 281521.8800 281490.6910 3934495 0.01%
224603 173716 281492.5720 215 281521.8800 281490.6910 3951233 0.01%
226098 175210 281492.5720 209 281521.8800 281490.6910 3966338 0.01%
227203 176315 281492.5720 203 281521.8800 281490.6910 3977997 0.01%
228514 177626 281492.4410 194 281521.8800 281490.6910 3991646 0.01%
229641 178753 281492.7670 207 281521.8800 281490.6910 4004154 0.01%
231007 180117 281495.9660 184 281521.8800 281490.6910 4019903 0.01%
Elapsed time = 8474.98 sec. (2037434.93 ticks, tree = 19052.91 MB, solutions = 184)
Nodefile size = 16989.86 MB (6164.47 MB after compression)
232035 181145 281491.9910 201 281521.8800 281490.6910 4033554 0.01%
233452 182561 281497.2100 190 281521.8800 281490.6910 4050721 0.01%
234501 183604 281505.9440 162 281521.8800 281490.6910 4063767 0.01%
234595 183698 281493.8030 190 281521.8800 281490.6910 4064852 0.01%
235593 184696 281496.1200 179 281521.8800 281490.6910 4080257 0.01%
237076 186179 281504.6930 180 281521.8800 281490.6910 4099760 0.01%
238170 187273 281506.2790 180 281521.8800 281490.6910 4114108 0.01%
239370 188473 281505.9550 172 281521.8800 281490.6910 4130182 0.01%
240946 190049 281498.2720 173 281521.8800 281490.6910 4149361 0.01%
241856 190946 281506.9150 193 281521.8800 281490.6910 4159774 0.01%
Elapsed time = 8750.17 sec. (2077313.90 ticks, tree = 19696.07 MB, solutions = 184)
Nodefile size = 17633.90 MB (6350.97 MB after compression)
243268 192342 281509.2930 182 281521.8800 281490.6910 4176940 0.01%
244398 193472 281491.6910 205 281521.8800 281490.6910 4189715 0.01%
245623 194697 281490.6910 196 281521.8800 281490.6910 4204306 0.01%
247056 196129 281492.3170 193 281521.8800 281490.6910 4220892 0.01%
248591 197662 281506.9930 180 281521.8800 281490.6910 4237978 0.01%
249516 198587 281508.6760 162 281521.8800 281490.6910 4249109 0.01%
250819 199890 281515.6610 171 281521.8800 281490.6910 4267042 0.01%
251894 200960 281520.4970 181 281521.8800 281490.6910 4282053 0.01%
253162 202223 281521.7750 168 281521.8800 281490.6910 4297593 0.01%
254250 203289 281521.7750 168 281521.8800 281490.6910 4310995 0.01%
Elapsed time = 9051.06 sec. (2116235.81 ticks, tree = 20399.73 MB, solutions = 184)
Nodefile size = 18338.82 MB (6562.03 MB after compression)
255846 204885 281492.5910 189 281521.8800 281490.6910 4329055 0.01%
*257090+206126 281521.8440 281490.6910 4343574 0.01%
257090 206128 281496.5420 180 281521.8440 281490.6910 4343574 0.01%
257349 206387 281496.9030 187 281521.8440 281490.6910 4346505 0.01%
*257505+206541 281521.3800 281490.6910 4348153 0.01%
259206 207956 281493.6910 182 281521.3800 281490.6910 4367704 0.01%
260415 209165 281493.7170 193 281521.3800 281490.6910 4381559 0.01%
261822 210569 281496.7560 159 281521.3800 281490.6910 4396790 0.01%
263493 212240 281490.6910 197 281521.3800 281490.6910 4416555 0.01%
264778 213524 281490.6910 173 281521.3800 281490.6910 4430153 0.01%
266139 214883 281491.3170 175 281521.3800 281490.6910 4445851 0.01%
267536 216278 281492.7250 168 281521.3800 281490.6910 4462723 0.01%
Elapsed time = 9349.84 sec. (2159552.86 ticks, tree = 21041.24 MB, solutions = 186)
Nodefile size = 18981.25 MB (6730.15 MB after compression)
268793 217530 281510.9170 152 281521.3800 281490.6910 4479403 0.01%
269902 218631 281505.7500 164 281521.3800 281490.6910 4493840 0.01%
270768 219484 281492.3370 169 281521.3800 281490.6910 4504443 0.01%
272427 221143 281491.3170 188 281521.3800 281490.6910 4523778 0.01%
273815 222529 281492.5990 180 281521.3800 281490.6910 4540076 0.01%
274369 223081 281497.8570 174 281521.3800 281490.6910 4546402 0.01%
*274790+223500 281520.8500 281490.6910 4550704 0.01%
275449 223968 281496.5150 181 281520.8500 281490.6910 4558176 0.01%
276874 225392 281507.0550 167 281520.8500 281490.6910 4576449 0.01%
278320 226830 281493.7120 174 281520.8500 281490.6910 4593103 0.01%
279456 227960 281503.0100 187 281520.8500 281490.6910 4605693 0.01%
Elapsed time = 9646.80 sec. (2200052.30 ticks, tree = 21596.52 MB, solutions = 187)
Nodefile size = 19533.19 MB (6884.71 MB after compression)
280665 229163 281490.9910 164 281520.8500 281490.6910 4618443 0.01%
282086 230576 281492.3153 188 281520.8500 281490.6910 4635597 0.01%
283523 232003 281495.9340 184 281520.8500 281490.6910 4650898 0.01%
284621 233086 281511.3910 181 281520.8500 281490.6910 4664869 0.01%
285990 234453 281502.2900 191 281520.8500 281490.6910 4680769 0.01%
287301 235762 281503.8550 173 281520.8500 281490.6910 4696126 0.01%
288810 237271 281492.5430 178 281520.8500 281490.6910 4711973 0.01%
290261 238722 281512.1160 181 281520.8500 281490.6910 4728392 0.01%
291355 239815 281505.7450 168 281520.8500 281490.6910 4741446 0.01%
292681 241141 281495.1310 192 281520.8500 281490.6910 4757895 0.01%
Elapsed time = 9935.50 sec. (2239476.13 ticks, tree = 22329.39 MB, solutions = 187)
Nodefile size = 20265.09 MB (7098.19 MB after compression)
293705 242165 281506.7290 171 281520.8500 281490.6910 4769002 0.01%
295386 243846 281492.2170 179 281520.8500 281490.6910 4787946 0.01%
296434 244890 281502.1090 182 281520.8500 281490.6910 4800972 0.01%
298158 246612 281502.5460 183 281520.8500 281490.6910 4822205 0.01%
299074 247528 281502.6460 187 281520.8500 281490.6910 4834651 0.01%
300470 248924 281495.2060 207 281520.8500 281490.6910 4853002 0.01%
301916 250365 281491.5810 183 281520.8500 281490.6910 4871190 0.01%
303167 251611 281504.3290 185 281520.8500 281490.6910 4884774 0.01%
303247 251685 281504.4290 178 281520.8500 281490.6910 4885403 0.01%
304606 253037 281491.6170 198 281520.8500 281490.6910 4900509 0.01%
Elapsed time = 10220.44 sec. (2278676.68 ticks, tree = 23018.59 MB, solutions = 187)
Nodefile size = 20955.30 MB (7302.37 MB after compression)
305903 254327 281511.1350 170 281520.8500 281490.6910 4915468 0.01%
306473 254895 281501.6570 161 281520.8500 281490.6910 4921094 0.01%
*306621+255041 281520.3500 281490.6910 4922452 0.01%
*306624+255044 281520.3500 281490.6910 4922471 0.01%
307522 255682 281493.4570 187 281520.3500 281490.6910 4931882 0.01%
308534 256691 281494.4510 182 281520.3500 281490.6910 4943871 0.01%
309868 258025 281498.0940 155 281520.3500 281490.6910 4960995 0.01%
310970 259126 281505.0190 170 281520.3500 281490.6910 4974692 0.01%
311832 259977 281505.4770 159 281520.3500 281490.6910 4985133 0.01%
313122 261262 281503.0500 183 281520.3500 281490.6910 5000964 0.01%
314434 262573 281490.6910 186 281520.3500 281490.6910 5017849 0.01%
315329 263468 281497.6270 199 281520.3500 281490.6910 5028462 0.01%
Elapsed time = 10514.95 sec. (2320289.11 ticks, tree = 23567.84 MB, solutions = 191)
Nodefile size = 21507.36 MB (7451.36 MB after compression)
315338 263477 281496.6170 193 281520.3500 281490.6910 5028605 0.01%
317014 265152 281506.6750 172 281520.3500 281490.6910 5048972 0.01%
318317 266455 281518.4790 165 281520.3500 281490.6910 5065066 0.01%
319764 267900 281508.8090 180 281520.3500 281490.6910 5082050 0.01%
320870 269002 281513.4710 174 281520.3500 281490.6910 5094569 0.01%
322175 270306 281491.5920 169 281520.3500 281490.6910 5108387 0.01%
323830 271950 281504.5110 166 281520.3500 281490.6910 5126506 0.01%
324982 273090 281490.6910 175 281520.3500 281490.6910 5139798 0.01%
325982 274077 281492.8500 168 281520.3500 281490.6910 5151841 0.01%
327225 275304 281520.0710 176 281520.3500 281490.6910 5167193 0.01%
Elapsed time = 10785.89 sec. (2360768.27 ticks, tree = 24255.49 MB, solutions = 191)
Nodefile size = 22196.07 MB (7648.49 MB after compression)
328554 276595 281492.8390 193 281520.3500 281490.6910 5182507 0.01%
329771 277808 281511.4400 192 281520.3500 281490.6910 5195389 0.01%
330588 278614 281516.1390 171 281520.3500 281490.6910 5203534 0.01%
331779 279788 281491.6620 185 281520.3500 281490.6910 5215551 0.01%
333451 281446 281512.4950 167 281520.3500 281490.6910 5231052 0.01%
334635 282595 281493.7193 177 281520.3500 281490.6910 5242562 0.01%
336204 284133 281501.4430 160 281520.3500 281490.6910 5258639 0.01%
337121 285018 281512.8753 184 281520.3500 281490.6910 5268035 0.01%
337220 285115 281497.9200 178 281520.3500 281490.6910 5268901 0.01%
*337325+285218 281519.6500 281490.6910 5270038 0.01%
337947 285539 281491.8040 191 281519.6500 281490.6910 5277077 0.01%
Elapsed time = 11048.52 sec. (2400858.56 ticks, tree = 24733.51 MB, solutions = 191)
Nodefile size = 22673.78 MB (7761.31 MB after compression)
339532 287124 281490.6910 177 281519.6500 281490.6910 5293426 0.01%
341120 288701 281492.8912 174 281519.6500 281490.6910 5309438 0.01%
342733 290309 281490.6910 175 281519.6500 281490.6910 5324789 0.01%
344129 291642 281492.5171 175 281519.6500 281490.6910 5342021 0.01%
345543 293040 281506.0140 173 281519.6500 281490.6910 5360105 0.01%
346860 294279 281506.7931 183 281519.6500 281490.6910 5376575 0.01%
348166 295503 281496.0650 167 281519.6500 281490.6910 5392482 0.01%
349427 296678 281496.4650 186 281519.6500 281490.6910 5407688 0.01%
350604 297808 281496.4650 183 281519.6500 281490.6910 5421547 0.01%
352014 299183 281496.9650 183 281519.6500 281490.6910 5437884 0.01%
Elapsed time = 11355.13 sec. (2442149.90 ticks, tree = 25505.89 MB, solutions = 192)
Nodefile size = 23446.47 MB (7977.62 MB after compression)
353413 300577 281497.1493 196 281519.6500 281490.6910 5452951 0.01%
354273 301429 281512.0162 160 281519.6500 281490.6910 5463424 0.01%
355589 302696 281518.0883 199 281519.6500 281490.6910 5477518 0.01%
356601 303648 281518.2924 194 281519.6500 281490.6910 5487481 0.01%
358330 305281 281492.5040 181 281519.6500 281490.6910 5505494 0.01%
359477 306358 281492.7720 183 281519.6500 281490.6910 5517222 0.01%
360936 307801 281501.6160 175 281519.6500 281490.6910 5535441 0.01%
361912 308770 281500.7570 164 281519.6500 281490.6910 5550055 0.01%
363158 310013 281517.7320 161 281519.6500 281490.6910 5566176 0.01%
364285 311096 281499.6460 185 281519.6500 281490.6910 5578899 0.01%
Elapsed time = 11654.66 sec. (2482086.95 ticks, tree = 26178.97 MB, solutions = 192)
Nodefile size = 24118.93 MB (8161.27 MB after compression)
364529 311314 281509.6590 182 281519.6500 281490.6910 5582016 0.01%
366331 313027 281515.4270 166 281519.6500 281490.6910 5604014 0.01%
367646 314260 281503.9170 161 281519.6500 281490.6910 5621393 0.01%
368903 315488 281504.6580 157 281519.6500 281490.6910 5636353 0.01%
370334 316877 281494.0049 181 281519.6500 281490.6910 5650832 0.01%
371666 318143 281495.5610 169 281519.6500 281490.6910 5664536 0.01%
372760 319222 281515.8680 196 281519.6500 281490.6910 5675812 0.01%
373571 320025 281510.6200 172 281519.6500 281490.6910 5684312 0.01%
374918 321368 281505.6430 178 281519.6500 281490.6910 5699311 0.01%
376025 322459 281513.5540 172 281519.6500 281490.6910 5712678 0.01%
Elapsed time = 11913.70 sec. (2522212.89 ticks, tree = 26811.17 MB, solutions = 192)
Nodefile size = 24750.92 MB (8339.44 MB after compression)
377231 323559 281510.3870 187 281519.6500 281490.6910 5727672 0.01%
378064 324312 281493.2658 202 281519.6500 281490.6910 5737945 0.01%
379405 325585 281502.9740 178 281519.6500 281490.6910 5753838 0.01%
380028 326195 281505.3680 161 281519.6500 281490.6910 5761476 0.01%
381043 327174 281505.4680 144 281519.6500 281490.6910 5773724 0.01%
381858 327962 281517.4930 168 281519.6500 281490.6910 5783893 0.01%
383066 329047 281517.7419 166 281519.6500 281490.6910 5798655 0.01%
384658 330562 281502.2310 137 281519.6500 281490.6910 5816996 0.01%
385879 331750 281498.7260 160 281519.6500 281490.6910 5828209 0.01%
387458 333289 281507.3030 183 281519.6500 281490.6910 5843247 0.01%
Elapsed time = 12193.22 sec. (2560972.99 ticks, tree = 27409.05 MB, solutions = 192)
Nodefile size = 25348.04 MB (8507.94 MB after compression)
388526 334301 281493.9530 174 281519.6500 281490.6910 5854355 0.01%
389883 335620 281516.0840 152 281519.6500 281490.6910 5869164 0.01%
391053 336728 281502.8050 199 281519.6500 281490.6910 5883614 0.01%
392335 337979 281496.8130 189 281519.6500 281490.6910 5896294 0.01%
393398 339005 281499.6345 181 281519.6500 281490.6910 5907892 0.01%
*393558+339148 281519.2500 281490.6910 5909793 0.01%
394657 339970 281518.8480 178 281519.2500 281490.6910 5919916 0.01%
396369 341665 281501.3840 174 281519.2500 281490.6910 5936236 0.01%
397615 342889 281503.1800 186 281519.2500 281490.6910 5950955 0.01%
398885 344070 281516.9660 174 281519.2500 281490.6910 5965025 0.01%
400094 345238 281515.9930 186 281519.2500 281490.6910 5979955 0.01%
Elapsed time = 12493.50 sec. (2603662.43 ticks, tree = 28075.93 MB, solutions = 193)
Nodefile size = 26016.65 MB (8688.54 MB after compression)
401500 346554 281494.3480 187 281519.2500 281490.6910 5993723 0.01%
402952 347962 281494.3480 176 281519.2500 281490.6910 6006421 0.01%
404372 349328 281509.6440 192 281519.2500 281490.6910 6021307 0.01%
405859 350777 281498.8650 175 281519.2500 281490.6910 6034652 0.01%
407422 352319 281500.9070 174 281519.2500 281490.6910 6046470 0.01%
408541 353405 281502.8082 198 281519.2500 281490.6910 6056394 0.01%
410100 354899 281518.2950 176 281519.2500 281490.6910 6070334 0.01%
411621 356354 281518.2950 166 281519.2500 281490.6910 6083087 0.01%
413129 357841 281491.6450 173 281519.2500 281490.6910 6097945 0.01%
414690 359390 281493.2630 196 281519.2500 281490.6910 6114357 0.01%
Elapsed time = 12791.02 sec. (2643658.97 ticks, tree = 28879.14 MB, solutions = 193)
Nodefile size = 26819.72 MB (8910.03 MB after compression)
*414967+359663 281517.7500 281490.6910 6118340 0.01%
414989 359686 281496.1180 182 281517.7500 281490.6910 6118663 0.01%
GUB cover cuts applied: 56
Clique cuts applied: 23
Cover cuts applied: 245
Flow cuts applied: 52
Mixed integer rounding cuts applied: 122
Zero-half cuts applied: 76
Gomory fractional cuts applied: 5
Root node processing (before b&c):
Real time = 246.53 sec. (119253.51 ticks)
Parallel b&c, 16 threads:
Real time = 12594.56 sec. (2533292.30 ticks)
Sync time (average) = 1156.49 sec.
Wait time (average) = 0.27 sec.
------------
Total (root+branch&cut) = 12841.09 sec. (2652545.80 ticks)