Reading file d493... complete!
Building problem... complete!
Solving TSP...Lazy constraint(s) or lazy constraint callback is present.
Disabling dual reductions (CPX_PARAM_REDUCE) in presolve.
Disabling non-linear reductions (CPX_PARAM_PRELINEAR) in presolve.
Tried aggregator 1 time.
Presolve time = 0.10 sec. (61.44 ticks)
Warning: Control callbacks may disable some MIP features.
Probing time = 0.08 sec. (20.82 ticks)
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.11 sec. (90.76 ticks)
Nodes Cuts/
Node Left Objective IInf Best Integer Best Bound ItCnt Gap Variable B NodeID Parent Depth
0 0 32657.5000 90 32657.5000 804
0 0 32735.5000 72 Cuts: 29 861
0 0 32799.7500 74 Cuts: 19 892
0 0 32840.7500 93 Cuts: 19 916
0 0 32934.7500 103 Cuts: 21 954
0 0 32983.5000 87 ZeroHalf: 14 976
0 0 32998.0714 77 Cuts: 13 1005
0 0 33010.2000 103 Cuts: 7 1024
0 0 33011.7000 82 ZeroHalf: 5 1029
0 0 33011.8667 105 Cuts: 5 1033
0 0 33012.2000 93 ZeroHalf: 5 1049
0 0 33013.9222 94 Cuts: 5 1061
trivial cuts exist, found 55
0 0 34471.0833 74 User: 55 1210
trivial cuts exist, found 26
0 0 34628.8333 90 User: 26 1265
trivial cuts exist, found 22
0 0 34708.6667 110 User: 22 1323
trivial cuts exist, found 12
0 0 34714.1667 128 User: 12 1345
trivial cuts exist, found 3
0 0 34759.5000 122 User: 3 1367
trivial cuts exist, found 3
0 0 34760.0000 132 User: 3 1370
trivial cuts exist, found 4
0 0 34760.0000 121 User: 4 1374
trivial cuts exist, found 1
0 0 34760.0000 113 User: 1 1375
trivial cuts exist, found 4
0 0 34760.0000 102 User: 4 1381
trivial cuts exist, found 4
0 0 34760.0000 118 User: 4 1385
trivial cuts exist, found 3
0 0 34760.0000 111 User: 3 1392
trivial cuts exist, found 4
0 0 34760.0000 112 User: 4 1398
trivial cuts exist, found 1
0 0 34760.0000 108 User: 1 1400
looking for cut... found 6 cuts, best 0.16666666666666652
0 0 34786.8333 118 User: 6 1423
trivial cuts exist, found 1
0 0 34790.8333 118 User: 1 1425
trivial cuts exist, found 1
0 0 34790.8333 115 User: 1 1426
trivial cuts exist, found 1
0 0 34790.8333 125 User: 1 1429
looking for cut... found 6 cuts, best 0.25
0 0 34799.8333 108 User: 6 1449
trivial cuts exist, found 4
0 0 34806.3333 114 User: 4 1460
looking for cut... found 5 cuts, best 0.5
0 0 34807.5000 159 User: 5 1482
looking for cut... found 13 cuts, best 1.0
0 0 34823.5000 121 User: 13 1507
looking for cut... found 4 cuts, best 1.0
0 0 34826.5000 73 User: 4 1512
trivial cuts exist, found 1
0 0 34844.5000 73 User: 1 1516
trivial cuts exist, found 3
0 0 34859.0000 98 User: 3 1522
looking for cut... found 3 cuts, best 1.0
0 0 34862.3333 132 User: 3 1532
trivial cuts exist, found 3
0 0 34862.3333 113 User: 3 1544
trivial cuts exist, found 1
0 0 34862.3333 99 User: 1 1545
looking for cut... found 3 cuts, best 0.6666666666666667
0 0 34862.3333 109 User: 3 1554
looking for cut... found 3 cuts, best 0.6666666666666667
0 0 34862.3333 128 User: 3 1556
trivial cuts exist, found 1
0 0 34862.3333 101 User: 1 1559
trivial cuts exist, found 1
0 0 34862.3333 99 User: 1 1562
looking for cut... found 3 cuts, best 0.6666666666666666
0 0 34862.3333 103 User: 3 1565
trivial cuts exist, found 1
0 0 34862.3333 110 User: 1 1576
looking for cut... found 4 cuts, best 0.6666666666666667
0 0 34862.3333 108 User: 4 1579
looking for cut... found 5 cuts, best 0.6666666666666665
0 0 34865.5000 36 User: 5 1587
looking for cut... found 1 cuts, best 1.0
0 0 34865.5000 36 User: 1 1594
looking for cut... found 1 cuts, best 1.0
0 0 34865.5000 38 User: 1 1597
looking for cut... found 0 cuts, best 2.0
* 0+ 0 37168.0000 34865.5000 1597 6.19%
0 2 34865.5000 38 37168.0000 34866.5000 1597 6.19% 0 0
Elapsed time = 102.54 sec. (30384.55 ticks, tree = 0.00 MB, solutions = 1)
2 4 34890.0000 40 37168.0000 34888.0000 1606 6.13% x125223 U 2 1 2
trivial cuts exist, found 1
5 7 34908.5000 32 37168.0000 34896.2500 1626 6.11% x169991 D 5 2 3
7 9 34918.2500 90 37168.0000 34896.2500 1648 6.11% x225648 D 7 6 5
8 10 34924.5000 121 37168.0000 34896.2500 1659 6.11% x225648 U 8 6 5
10 12 34921.7500 49 37168.0000 34896.2500 1664 6.11% x54197 U 10 9 7
trivial cuts exist, found 1
trivial cuts exist, found 3
12 14 34970.2500 51 37168.0000 34896.2500 1686 6.11% x226800 N 12 10 8
trivial cuts exist, found 3
15 17 34937.0000 42 37168.0000 34896.2500 1709 6.11% x51598 D 15 14 11
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
18 20 34975.8333 60 37168.0000 34896.2500 1736 6.11% x122535 N 18 17 13
trivial cuts exist, found 1
20 22 34977.7500 72 37168.0000 34896.2500 1749 6.11% x51581 N 20 18 14
trivial cuts exist, found 1
trivial cuts exist, found 3
25 27 34982.0000 68 37168.0000 34896.2500 1798 6.11% x64904 U 25 23 18
Elapsed time = 106.69 sec. (35521.58 ticks, tree = 0.95 MB, solutions = 1)
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
33 35 35005.0833 85 37168.0000 34896.2500 1859 6.11% x179800 D 33 32 24
43 45 35018.7500 60 37168.0000 34896.2500 1889 6.11% x69301 D 43 42 33
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
52 54 35026.0000 18 37168.0000 34896.2500 1931 6.11% x105086 N 52 50 40
trivial cuts exist, found 3
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
* 60+ 60 36109.0000 34896.2500 1968 3.36%
61 63 35029.0000 6 36109.0000 34896.2500 1972 3.36% x189092 D 61 60 46
trivial cuts exist, found 3
73 75 35048.7500 16 36109.0000 34896.2500 2025 3.36% x113089 N 73 71 54
trivial cuts exist, found 3
80 82 35053.0000 24 36109.0000 34896.2500 2049 3.36% x13167 D 80 79 60
trivial cuts exist, found 1
trivial cuts exist, found 4
trivial cuts exist, found 1
92 94 35058.0000 8 36109.0000 34896.2500 2099 3.36% x109567 N 92 90 68
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
100 102 35069.5000 39 36109.0000 34896.2500 2187 3.36% x208390 D 100 99 73
trivial cuts exist, found 1
110 112 35078.0000 14 36109.0000 34896.2500 2250 3.36% x94432 D 110 108 79
trivial cuts exist, found 1
trivial cuts exist, found 1
122 124 35088.3333 84 36109.0000 34896.2500 2292 3.36% x208983 N 122 121 88
Elapsed time = 116.97 sec. (45830.01 ticks, tree = 5.80 MB, solutions = 2)
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
128 130 35090.8333 84 36109.0000 34896.2500 2328 3.36% x212434 U 128 126 91
* 130+ 130 35413.0000 34896.2500 2335 1.46%
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
138 140 35101.0000 12 35413.0000 34896.2500 2363 1.46% x174675 N 138 137 98
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
151 153 35127.3333 80 35413.0000 34896.2500 2455 1.46% x181764 U 151 148 105
trivial cuts exist, found 1
168 170 35135.0000 8 35413.0000 34896.2500 2512 1.46% x76501 N 168 167 119
trivial cuts exist, found 3
179 181 35147.0000 6 35413.0000 34896.2500 2546 1.46% x205832 D 179 178 129
trivial cuts exist, found 1
trivial cuts exist, found 1
190 192 35155.0000 16 35413.0000 34896.2500 2593 1.46% x180707 D 190 189 139
trivial cuts exist, found 1
trivial cuts exist, found 1
* 200+ 200 35411.0000 34896.2500 2626 1.45%
204 206 35160.5000 8 35411.0000 34896.2500 2632 1.45% x234182 D 204 203 151
trivial cuts exist, found 1
218 220 35168.0000 6 35411.0000 34896.2500 2656 1.45% x197262 N 218 217 164
trivial cuts exist, found 3
trivial cuts exist, found 1
236 238 35174.6667 53 35411.0000 34896.2500 2747 1.45% x189153 U 236 235 177
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
248 250 35207.5000 6 35411.0000 34896.2500 2857 1.45% x88282 D 248 247 185
Elapsed time = 125.68 sec. (55731.25 ticks, tree = 12.57 MB, solutions = 4)
trivial cuts exist, found 1
262 264 35224.0000 17 35411.0000 34896.2500 2914 1.45% x224701 D 262 261 196
* 272 266 integral 0 35228.0000 34896.2500 2955 0.94% x45598 D 272 271 204
trivial cuts exist, found 1
trivial cuts exist, found 1
293 287 34981.5000 56 35228.0000 34899.2500 3075 0.93% x51598 D 293 292 19
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
310 304 35007.5000 20 35228.0000 34899.2500 3130 0.93% x69256 D 310 308 32
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 4
331 325 35067.0000 36 35228.0000 34899.2500 3327 0.93% x146688 N 331 330 47
trivial cuts exist, found 1
348 342 35062.5000 30 35228.0000 34899.2500 3419 0.93% x191304 D 348 347 61
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 5
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
360 354 35094.0000 28 35228.0000 34899.2500 3520 0.93% x191485 D 360 359 69
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
* 372+ 301 35161.0000 34899.2500 3593 0.74%
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
383 314 35124.0000 12 35161.0000 34899.2500 3672 0.74% x94432 N 383 381 84
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
* 394 281 integral 0 35136.0000 34899.2500 3714 0.67% x116305 D 394 393 94
trivial cuts exist, found 1
419 306 34977.5000 36 35136.0000 34905.5000 3829 0.66% x226869 U 419 418 21
Elapsed time = 134.58 sec. (64843.99 ticks, tree = 15.65 MB, solutions = 7)
trivial cuts exist, found 1
trivial cuts exist, found 3
452 339 35079.5000 30 35136.0000 34905.5000 3988 0.66% x207558 D 452 451 54
470 356 35107.6667 103 35136.0000 34905.5000 4030 0.66% x134453 D 470 469 72
trivial cuts exist, found 1
489 371 35126.0000 54 35136.0000 34905.5000 4098 0.66% x93882 U 489 488 91
trivial cuts exist, found 1
trivial cuts exist, found 1
* 494+ 172 35041.0000 34906.0000 4131 0.39%
518 198 35017.0000 38 35041.0000 34906.0000 4227 0.39% x51881 D 518 517 29
trivial cuts exist, found 1
542 218 35003.0313 78 35041.0000 34908.0000 4384 0.38% x41130 N 542 541 16
trivial cuts exist, found 3
trivial cuts exist, found 1
567 235 34973.5000 44 35041.0000 34909.5000 4526 0.38% x74688 D 567 566 19
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
586 245 34952.0000 44 35041.0000 34910.5000 4589 0.37% x110973 D 586 4 4
621 276 34978.8810 132 35041.0000 34912.0000 4795 0.37% x235509 U 621 620 12
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 3
trivial cuts exist, found 1
654 299 34921.5000 56 35041.0000 34915.7500 5058 0.36% x38314 U 654 653 7
679 322 34991.2500 47 35041.0000 34915.7500 5198 0.36% x204302 D 679 678 28
Elapsed time = 143.53 sec. (74673.59 ticks, tree = 16.67 MB, solutions = 8)
713 346 34977.8333 76 35041.0000 34918.0000 5370 0.35% x15786 U 713 712 26
trivial cuts exist, found 1
762 386 34983.0000 34 35041.0000 34918.0500 5609 0.35% x38314 U 762 761 8
819 437 cutoff 35041.0000 34918.5000 5949 0.35% x199552 D 819 818 40
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
860 471 cutoff 35041.0000 34919.5000 6240 0.35% x202877 N 860 858 36
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
896 496 34989.2500 67 35041.0000 34919.5000 6438 0.35% x125365 U 896 895 11
945 537 34935.5000 86 35041.0000 34921.5000 6707 0.34% x239030 D 945 944 8
trivial cuts exist, found 1
1001 586 34930.7500 121 35041.0000 34923.2500 7026 0.34% x199952 U 1001 495 7
trivial cuts exist, found 1
trivial cuts exist, found 1
1042 622 35035.5000 36 35041.0000 34923.2500 7251 0.34% x47399 U 1042 1041 39
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
1091 664 35032.0000 59 35041.0000 34923.5000 7543 0.34% x207568 N 1091 1090 50
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
1130 694 34988.0000 55 35041.0000 34924.3750 7798 0.33% x198400 N 1130 1129 26
Elapsed time = 154.77 sec. (84458.45 ticks, tree = 36.97 MB, solutions = 8)
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
1179 736 35027.0000 22 35041.0000 34924.5000 8043 0.33% x26277 N 1179 1178 43
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
* 1199 727 integral 0 35038.0000 34924.5000 8193 0.32% x53349 D 1199 1198 62
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
1235 757 35009.2500 75 35038.0000 34925.5000 8516 0.32% x33066 N 1235 1234 23
trivial cuts exist, found 1
trivial cuts exist, found 1
1269 779 35002.0000 68 35038.0000 34925.7500 8760 0.32% x62266 D 1269 1268 15
1315 818 35030.5000 44 35038.0000 34926.7500 8988 0.32% x138491 D 1315 1314 37
trivial cuts exist, found 1
trivial cuts exist, found 3
1362 858 35019.6250 60 35038.0000 34927.5000 9353 0.32% x233567 U 1362 1361 16
trivial cuts exist, found 1
1401 886 34962.5000 78 35038.0000 34928.0000 9545 0.31% x130471 D 1401 1400 10
1458 931 34996.0000 62 35038.0000 34929.0000 9990 0.31% x38314 U 1458 1457 12
trivial cuts exist, found 1
1514 979 35022.0000 44 35038.0000 34929.2500 10271 0.31% x64825 N 1514 1513 36
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
1556 1013 cutoff 35038.0000 34930.7500 10503 0.31% x205875 N 1556 1555 43
Elapsed time = 166.17 sec. (94298.59 ticks, tree = 54.63 MB, solutions = 9)
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
1598 1047 35027.3333 56 35038.0000 34931.5000 10802 0.30% x226115 N 1598 1597 33
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
1639 1077 34994.5000 48 35038.0000 34932.3333 11000 0.30% x111610 D 1639 1638 22
trivial cuts exist, found 1
1680 1108 34950.2500 51 35038.0000 34932.5000 11282 0.30% x64904 U 1680 1679 14
trivial cuts exist, found 1
trivial cuts exist, found 4
1720 1142 35021.7500 82 35038.0000 34932.5000 11569 0.30% x48896 U 1720 1719 22
trivial cuts exist, found 1
1772 1175 cutoff 35038.0000 34933.2500 11929 0.30% x110973 D 1772 1771 22
trivial cuts exist, found 1
1813 1211 35008.2500 87 35038.0000 34933.5000 12200 0.30% x205811 D 1813 1811 15
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 3
1851 1238 35022.2500 74 35038.0000 34934.0000 12410 0.30% x2376 U 1851 1850 20
trivial cuts exist, found 1
1901 1276 35027.7500 74 35038.0000 34935.0000 12740 0.29% x198400 D 1901 1900 23
1948 1311 34981.7500 97 35038.0000 34935.3167 13013 0.29% x140346 U 1948 617 9
trivial cuts exist, found 1
1998 1346 35016.3333 102 35038.0000 34935.5000 13436 0.29% x54197 U 1998 1997 22
Elapsed time = 177.22 sec. (104003.94 ticks, tree = 73.04 MB, solutions = 9)
* 2000+ 1288 35033.0000 34935.5000 13441 0.28%
2025 1309 35013.0000 63 35033.0000 34935.5000 13597 0.28% x25073 U 2025 2024 28
2072 1338 cutoff 35033.0000 34936.0000 14041 0.28% x228430 D 2072 2070 15
trivial cuts exist, found 1
2121 1377 35016.5000 36 35033.0000 34936.5000 14341 0.28% x107369 D 2121 2120 23
trivial cuts exist, found 1
2163 1403 35020.0000 48 35033.0000 34936.7500 14723 0.27% x25252 U 2163 2162 13
trivial cuts exist, found 1
2205 1434 cutoff 35033.0000 34937.5000 14939 0.27% x164649 U 2205 2203 35
2265 1486 35032.0000 38 35033.0000 34937.5417 15268 0.27% x233228 D 2265 2264 33
trivial cuts exist, found 1
2316 1527 35012.1667 60 35033.0000 34938.5000 15657 0.27% x146629 U 2316 2315 26
2370 1569 35018.5000 48 35033.0000 34938.5000 16005 0.27% x48896 U 2370 2369 19
2424 1607 cutoff 35033.0000 34939.0000 16389 0.27% x136581 U 2424 2423 35
trivial cuts exist, found 1
2477 1649 34946.3333 72 35033.0000 34939.5000 16627 0.27% x228430 U 2477 734 11
Elapsed time = 188.18 sec. (113613.46 ticks, tree = 89.97 MB, solutions = 10)
trivial cuts exist, found 1
trivial cuts exist, found 1
2532 1690 34998.0000 48 35033.0000 34939.7500 16904 0.27% x226841 D 2532 2531 16
trivial cuts exist, found 1
2586 1736 35022.1667 70 35033.0000 34939.7500 17227 0.27% x70844 D 2586 2584 35
trivial cuts exist, found 1
2631 1772 35024.0000 81 35033.0000 34940.5000 17525 0.26% x51881 D 2631 2629 34
2672 1799 35020.1250 62 35033.0000 34940.5000 17757 0.26% x233567 U 2672 2671 27
trivial cuts exist, found 1
2714 1828 34998.0833 109 35033.0000 34940.7500 18071 0.26% x113089 U 2714 2713 13
2765 1865 35024.0000 58 35033.0000 34941.0000 18425 0.26% x226841 U 2765 2763 12
trivial cuts exist, found 1
2801 1893 35010.8750 114 35033.0000 34941.5000 18633 0.26% x238268 D 2801 2800 27
2850 1925 34972.0000 44 35033.0000 34941.5000 18972 0.26% x108176 D 2850 2849 13
2894 1958 35010.0000 135 35033.0000 34941.8333 19238 0.26% x69932 U 2894 2893 14
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 4
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
3050 2067 cutoff 35033.0000 34942.5000 20256 0.26% x38323 U 3050 3049 21
Elapsed time = 202.25 sec. (126117.87 ticks, tree = 113.36 MB, solutions = 10)
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
3237 2212 34965.8333 82 35033.0000 34943.2500 21527 0.26% x226841 D 3237 3236 12
trivial cuts exist, found 1
trivial cuts exist, found 1
3432 2347 34962.3333 95 35033.0000 34944.3000 22705 0.25% x153044 D 3432 3431 15
trivial cuts exist, found 1
3639 2502 34986.7500 99 35033.0000 34945.0000 23837 0.25% x184616 U 3639 3638 28
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
3802 2609 35005.3333 75 35033.0000 34945.7500 24716 0.25% x38323 U 3802 3801 14
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
3960 2717 35000.0000 46 35033.0000 34946.0000 25824 0.25% x130763 D 3960 3959 24
trivial cuts exist, found 1
4131 2842 34996.2500 119 35033.0000 34946.5000 26770 0.25% x46432 D 4131 4130 21
4326 2976 34982.2500 58 35033.0000 34947.2500 27901 0.24% x169905 U 4326 4325 19
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
4509 3102 35013.6667 134 35033.0000 34948.0000 28936 0.24% x144770 D 4509 4508 21
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
4674 3216 35009.8333 75 35033.0000 34948.5000 29983 0.24% x226115 N 4674 4673 29
trivial cuts exist, found 1
trivial cuts exist, found 1
* 4691 3225 integral 0 35031.0000 34948.5000 30102 0.24% x174151 U 4691 4690 41
Elapsed time = 241.19 sec. (161123.91 ticks, tree = 178.18 MB, solutions = 11)
Nodefile size = 51.22 MB (19.92 MB after compression)
* 4791+ 3294 35029.0000 34948.8333 30649 0.23%
trivial cuts exist, found 1
4880 3359 35007.7500 91 35029.0000 34949.5000 31357 0.23% x46239 U 4880 4877 21
trivial cuts exist, found 1
5053 3484 34986.0000 54 35029.0000 34950.0000 32398 0.23% x111476 D 5053 5052 21
trivial cuts exist, found 1
trivial cuts exist, found 1
5243 3621 35009.5000 81 35029.0000 34950.3333 33379 0.22% x146629 U 5243 5242 23
5431 3747 cutoff 35029.0000 34951.5000 34615 0.22% x54172 D 5431 5430 27
trivial cuts exist, found 1
* 5600+ 3856 35009.0000 34952.0000 35721 0.16%
5600 3858 34986.3333 64 35009.0000 34952.0000 35721 0.16% x208390 D 5600 5599 25
5780 3961 34970.0833 148 35009.0000 34952.8333 36849 0.16% x205811 U 5780 974 12
trivial cuts exist, found 3
trivial cuts exist, found 1
5960 4059 34983.2500 101 35009.0000 34953.5000 37859 0.16% x33066 D 5960 5959 14
6130 4160 cutoff 35009.0000 34954.5833 39072 0.16% x51581 U 6130 6129 22
trivial cuts exist, found 1
6336 4292 34988.5000 40 35009.0000 34955.3333 40502 0.15% x72522 D 6336 6335 21
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
6510 4383 34996.2500 63 35009.0000 34956.5000 41650 0.15% x226869 U 6510 6509 16
Elapsed time = 282.95 sec. (199362.05 ticks, tree = 243.22 MB, solutions = 13)
Nodefile size = 115.77 MB (45.03 MB after compression)
6690 4476 35007.0000 53 35009.0000 34957.2500 42627 0.15% x205875 D 6690 6689 30
6856 4543 34976.0000 65 35009.0000 34957.8636 43692 0.15% x201215 D 6856 1261 8
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
7000 4614 34998.6667 58 35009.0000 34958.1905 44552 0.15% x205875 D 7000 6999 23
trivial cuts exist, found 1
7188 4683 34978.3333 129 35009.0000 34959.0833 45793 0.14% x239030 U 7188 2227 12
trivial cuts exist, found 1
7356 4752 34990.3333 108 35009.0000 34959.5833 46867 0.14% x110846 D 7356 7355 16
7523 4827 34987.2500 54 35009.0000 34960.2500 47856 0.14% x72522 N 7523 5835 12
7698 4900 cutoff 35009.0000 34961.0000 48916 0.14% x51881 D 7698 7696 26
7871 4962 cutoff 35009.0000 34961.7500 49870 0.13% x146629 D 7871 7868 18
8017 5020 34997.5000 44 35009.0000 34962.2500 50699 0.13% x136357 D 8017 8016 22
trivial cuts exist, found 3
8180 5076 34998.5000 71 35009.0000 34962.6333 51630 0.13% x108148 U 8180 8179 24
Elapsed time = 321.40 sec. (237712.21 ticks, tree = 282.36 MB, solutions = 13)
Nodefile size = 154.82 MB (60.26 MB after compression)
trivial cuts exist, found 1
8347 5144 infeasible 35009.0000 34963.3000 52615 0.13% x130763 D 8347 8346 19
8510 5197 34993.2500 89 35009.0000 34964.0000 53631 0.13% x217908 U 8510 8509 17
trivial cuts exist, found 1
8678 5269 35005.2500 83 35009.0000 34964.5000 54748 0.13% x164483 D 8678 8677 19
trivial cuts exist, found 1
8844 5334 34978.0000 36 35009.0000 34965.0000 55616 0.13% x108148 U 8844 8843 16
9000 5375 34967.0000 38 35009.0000 34965.5000 56506 0.12% x113074 D 9000 4303 15
trivial cuts exist, found 1
trivial cuts exist, found 1
9187 5445 34989.5000 126 35009.0000 34966.0833 57553 0.12% x226841 D 9187 9186 13
trivial cuts exist, found 1
trivial cuts exist, found 1
9354 5508 cutoff 35009.0000 34966.5000 58446 0.12% x216960 D 9354 9353 20
trivial cuts exist, found 1
9530 5580 34989.7500 120 35009.0000 34967.2500 59421 0.12% x33066 U 9530 2140 13
trivial cuts exist, found 1
trivial cuts exist, found 1
9693 5628 34998.7500 80 35009.0000 34968.0000 60487 0.12% x108176 D 9693 9692 14
9857 5667 34976.0000 53 35009.0000 34968.5000 61360 0.12% x111641 U 9857 744 21
Elapsed time = 358.72 sec. (276029.09 ticks, tree = 315.83 MB, solutions = 13)
Nodefile size = 188.26 MB (73.38 MB after compression)
trivial cuts exist, found 1
10000 5706 34996.2500 51 35009.0000 34968.6429 62144 0.12% x164483 D 10000 9999 16
trivial cuts exist, found 1
trivial cuts exist, found 3
10165 5765 cutoff 35009.0000 34969.0000 62940 0.11% x72398 U 10165 10164 22
* 10226 5802 integral 0 35007.0000 34969.0000 63294 0.11% x7439 D 10226 10225 43
* 10326+ 5833 35004.0000 34969.3333 63937 0.10%
trivial cuts exist, found 1
10387 5843 34992.0000 111 35004.0000 34969.5000 64264 0.10% x108176 N 10387 10386 13
trivial cuts exist, found 1
trivial cuts exist, found 3
10529 5869 cutoff 35004.0000 34970.0000 65035 0.10% x226841 D 10529 10528 17
10688 5897 34996.6905 171 35004.0000 34970.5000 65847 0.10% x38306 U 10688 2042 9
10851 5940 34986.5000 46 35004.0000 34971.0000 66694 0.09% x72398 U 10851 10850 26
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
10998 5971 34981.0000 42 35004.0000 34971.5000 67558 0.09% x107282 D 10998 8399 21
11143 5993 34989.0000 44 35004.0000 34972.0000 68434 0.09% x114818 D 11143 11142 17
trivial cuts exist, found 1
11289 6002 cutoff 35004.0000 34972.3333 69187 0.09% x54431 N 11289 4321 15
Elapsed time = 391.76 sec. (312215.41 ticks, tree = 335.09 MB, solutions = 15)
Nodefile size = 207.49 MB (80.97 MB after compression)
trivial cuts exist, found 3
11442 6010 cutoff 35004.0000 34972.7500 70055 0.09% x228430 U 11442 11440 11
trivial cuts exist, found 1
trivial cuts exist, found 1
11590 6019 cutoff 35004.0000 34973.1667 70835 0.09% x199230 U 11590 11589 17
11744 6040 35002.0000 129 35004.0000 34973.5000 71600 0.09% x226841 U 11744 11742 11
11901 6058 infeasible 35004.0000 34974.0000 72421 0.09% x226869 U 11901 11900 14
12013 6051 infeasible 35004.0000 34974.3333 73093 0.08% x226869 D 12013 12011 13
12180 6064 35002.6667 49 35004.0000 34974.6667 74018 0.08% x130763 U 12180 12178 16
12338 6064 34993.0000 45 35004.0000 34975.0000 74874 0.08% x130763 D 12338 12337 17
trivial cuts exist, found 1
12474 6056 cutoff 35004.0000 34975.5000 75658 0.08% x165624 D 12474 12472 27
12621 6055 35002.3333 85 35004.0000 34976.0000 76492 0.08% x205811 D 12621 12620 16
trivial cuts exist, found 1
12776 6070 34976.2500 52 35004.0000 34976.2500 77290 0.08% x164460 D 12776 11616 28
Elapsed time = 424.72 sec. (350467.38 ticks, tree = 339.19 MB, solutions = 15)
Nodefile size = 211.34 MB (82.49 MB after compression)
12918 6057 cutoff 35004.0000 34976.5000 78018 0.08% x191983 U 12918 3706 21
13040 6054 34978.9167 79 35004.0000 34976.9167 78727 0.08% x111476 U 13040 5976 23
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
13186 6057 34991.0000 99 35004.0000 34977.2500 79504 0.08% x201988 U 13186 10656 15
13342 6044 cutoff 35004.0000 34977.5833 80355 0.08% x226869 U 13342 13341 7
trivial cuts exist, found 1
13480 6057 35001.2500 61 35004.0000 34977.9167 81170 0.07% x138491 D 13480 13479 32
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 4
13618 6059 34992.4167 75 35004.0000 34978.1667 81876 0.07% x65112 N 13618 13617 19
13754 6043 34996.0000 79 35004.0000 34978.5000 82571 0.07% x226841 U 13754 10227 10
13879 6021 34981.5000 52 35004.0000 34979.0000 83248 0.07% x115535 U 13879 9915 18
14031 6028 34992.7500 56 35004.0000 34979.2500 84051 0.07% x201988 N 14031 11099 13
14174 6026 cutoff 35004.0000 34979.5000 84727 0.07% x51581 D 14174 3743 14
Elapsed time = 456.66 sec. (388766.38 ticks, tree = 337.10 MB, solutions = 15)
Nodefile size = 212.30 MB (82.88 MB after compression)
14318 5991 cutoff 35004.0000 34980.0000 85521 0.07% x110973 D 14318 7566 20
14458 5979 34990.1667 65 35004.0000 34980.1667 86249 0.07% x38323 U 14458 14457 20
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
14585 5956 cutoff 35004.0000 34980.5000 86836 0.07% x146629 D 14585 14583 22
14722 5952 cutoff 35004.0000 34980.7500 87518 0.07% x208390 D 14722 14721 24
trivial cuts exist, found 1
14860 5934 34996.5000 48 35004.0000 34981.0000 88269 0.07% x51581 U 14860 14859 28
trivial cuts exist, found 1
14992 5900 34995.2500 52 35004.0000 34981.3333 89142 0.06% x164649 D 14992 14991 21
15093 5877 34998.3333 145 35004.0000 34981.5000 89678 0.06% x226869 D 15093 5404 9
15243 5850 cutoff 35004.0000 34982.0000 90573 0.06% x146629 U 15243 15242 23
15392 5841 cutoff 35004.0000 34982.2500 91316 0.06% x72398 U 15392 15390 27
15532 5814 cutoff 35004.0000 34982.5000 92065 0.06% x51581 D 15532 10964 15
Elapsed time = 486.79 sec. (427045.63 ticks, tree = 325.47 MB, solutions = 15)
Nodefile size = 212.30 MB (82.88 MB after compression)
trivial cuts exist, found 1
15653 5773 cutoff 35004.0000 34983.0000 92882 0.06% x130471 D 15653 15652 28
15785 5745 cutoff 35004.0000 34983.2500 93629 0.06% x110973 D 15785 13990 24
15905 5705 cutoff 35004.0000 34983.5000 94186 0.06% x51581 D 15905 15903 19
trivial cuts exist, found 1
16037 5673 34989.5000 34 35004.0000 34983.7500 94781 0.06% x108148 U 16037 16036 27
trivial cuts exist, found 1
16169 5652 cutoff 35004.0000 34984.1250 95535 0.06% x203203 D 16169 16168 15
16296 5591 infeasible 35004.0000 34984.5000 96275 0.06% x38323 U 16296 16295 24
trivial cuts exist, found 1
16414 5569 34989.5000 37 35004.0000 34984.7500 96850 0.05% x185880 D 16414 8231 21
16546 5530 cutoff 35004.0000 34985.0000 97576 0.05% x164483 U 16546 8716 16
16684 5492 34987.2500 50 35004.0000 34985.3333 98285 0.05% x54197 U 16684 16683 19
trivial cuts exist, found 1
trivial cuts exist, found 1
16820 5460 cutoff 35004.0000 34985.5417 98975 0.05% x154866 U 16820 6105 15
Elapsed time = 515.52 sec. (465390.60 ticks, tree = 305.81 MB, solutions = 15)
Nodefile size = 212.30 MB (82.88 MB after compression)
16950 5418 34993.4167 88 35004.0000 34985.9167 99663 0.05% x111476 U 16950 8174 19
17086 5379 34997.0833 82 35004.0000 34986.0833 100376 0.05% x33066 D 17086 17085 18
17212 5330 34986.8333 63 35004.0000 34986.5000 100979 0.05% x69256 U 17212 17211 23
17337 5274 cutoff 35004.0000 34986.7500 101529 0.05% x201988 U 17337 4403 14
trivial cuts exist, found 1
trivial cuts exist, found 1
17459 5236 cutoff 35004.0000 34987.0000 102079 0.05% x51581 D 17459 10999 23
17589 5195 cutoff 35004.0000 34987.2500 102703 0.05% x54197 D 17589 6630 26
17711 5190 cutoff 35004.0000 34987.5000 103373 0.05% x158438 U 17711 17709 29
17835 5137 cutoff 35004.0000 34987.7500 103902 0.05% x141044 D 17835 16732 27
17956 5093 cutoff 35004.0000 34988.0000 104440 0.05% x67321 D 17956 11385 18
18077 5029 35000.4167 70 35004.0000 34988.4167 105076 0.04% x38323 D 18077 7493 17
Elapsed time = 543.39 sec. (503773.03 ticks, tree = 281.75 MB, solutions = 15)
Nodefile size = 212.30 MB (82.88 MB after compression)
18200 4959 35000.6667 52 35004.0000 34988.6667 105555 0.04% x38323 D 18200 9453 23
18309 4890 cutoff 35004.0000 34989.0000 106127 0.04% x208390 D 18309 18308 23
18423 4811 cutoff 35004.0000 34989.2500 106711 0.04% x115491 D 18423 11990 25
18536 4725 cutoff 35004.0000 34989.5000 107223 0.04% x72398 U 18536 18535 22
trivial cuts exist, found 1
trivial cuts exist, found 1
18642 4635 infeasible 35004.0000 34989.9500 107706 0.04% x194675 U 18642 9464 16
trivial cuts exist, found 1
trivial cuts exist, found 1
18767 4609 cutoff 35004.0000 34990.0000 108178 0.04% x116819 U 18767 9852 19
trivial cuts exist, found 1
18866 4544 34999.3750 128 35004.0000 34990.4000 108647 0.04% x136581 N 18866 1579 20
18994 4473 cutoff 35004.0000 34990.6667 109131 0.04% x145825 U 18994 18992 31
trivial cuts exist, found 1
19081 4417 cutoff 35004.0000 34990.9167 109550 0.04% x146629 D 19081 15211 26
19196 4344 cutoff 35004.0000 34991.2500 109975 0.04% x72398 D 19196 11277 22
Elapsed time = 569.47 sec. (542162.59 ticks, tree = 237.03 MB, solutions = 15)
Nodefile size = 158.80 MB (61.89 MB after compression)
19317 4291 34995.7500 56 35004.0000 34991.5000 110567 0.04% x15848 N 19317 6926 28
trivial cuts exist, found 1
trivial cuts exist, found 1
19429 4241 cutoff 35004.0000 34991.8333 111045 0.03% x144770 D 19429 19428 16
19530 4153 35000.8333 63 35004.0000 34992.2500 111493 0.03% x208390 N 19530 16024 22
19639 4087 cutoff 35004.0000 34992.5000 111935 0.03% x169905 D 19639 16302 26
19742 4001 cutoff 35004.0000 34992.8333 112471 0.03% x111476 U 19742 14435 18
19863 3939 infeasible 35004.0000 34993.0952 113018 0.03% x111610 U 19863 8357 17
19994 3902 cutoff 35004.0000 34993.4167 113493 0.03% x110846 U 19994 6949 20
20110 3823 35001.9167 76 35004.0000 34993.6667 113921 0.03% x205875 U 20110 4806 25
20223 3754 34997.2500 46 35004.0000 34994.0000 114528 0.03% x15848 N 20223 16841 33
20325 3672 cutoff 35004.0000 34994.2500 114997 0.03% x130763 U 20325 11269 19
Elapsed time = 594.87 sec. (580537.97 ticks, tree = 197.98 MB, solutions = 15)
Nodefile size = 123.51 MB (48.07 MB after compression)
20450 3611 cutoff 35004.0000 34994.5000 115462 0.03% x69256 U 20450 20449 33
20572 3529 cutoff 35004.0000 34994.9500 115989 0.03% x169905 D 20572 15636 16
trivial cuts exist, found 1
20687 3435 cutoff 35004.0000 34995.2500 116354 0.02% x89944 U 20687 5932 23
20806 3354 cutoff 35004.0000 34995.5000 116743 0.02% x51881 D 20806 3133 27
trivial cuts exist, found 1
trivial cuts exist, found 1
20915 3270 35002.0000 12 35004.0000 34996.0000 117231 0.02% x94432 N 20915 20914 35
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
21039 3323 34997.5000 6 35004.0000 34996.0000 117833 0.02% x42702 N 21039 21031 42
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
* 21140 2983 integral 0 35002.0000 34996.0000 118310 0.02% x87622 D 21140 21139 55
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
21286 3038 35001.0000 12 35002.0000 34996.0000 118996 0.02% x177341 N 21286 21285 41
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
21446 3097 cutoff 35002.0000 34996.0000 119720 0.02% x173036 U 21446 21444 43
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
21586 3099 cutoff 35002.0000 34996.0000 120241 0.02% x153044 U 21586 12245 11
Elapsed time = 624.24 sec. (617948.25 ticks, tree = 168.34 MB, solutions = 16)
Nodefile size = 109.08 MB (42.42 MB after compression)
21696 3004 cutoff 35002.0000 34996.5000 120503 0.02% x226869 D 21696 4692 13
21801 2904 cutoff 35002.0000 34996.9167 120763 0.01% x65112 U 21801 5827 18
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
21930 2919 35000.0000 6 35002.0000 34997.0000 121394 0.01% x233397 U 21930 21929 42
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
22080 3012 35000.0000 20 35002.0000 34997.0000 121980 0.01% x233397 N 22080 22079 42
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
22200 3065 34998.0000 28 35002.0000 34997.0000 122570 0.01% x192931 D 22200 22199 38
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
22315 3113 cutoff 35002.0000 34997.0000 123118 0.01% x174707 D 22315 22314 39
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
22467 3167 cutoff 35002.0000 34997.0000 123878 0.01% x174707 U 22467 22465 39
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
22608 3214 infeasible 35002.0000 34997.0000 124721 0.01% x236286 U 22608 22607 49
22741 3235 cutoff 35002.0000 34997.0000 125618 0.01% x174707 U 22741 22739 40
22877 3261 cutoff 35002.0000 34997.0000 126476 0.01% x27983 U 22877 22875 38
Elapsed time = 656.97 sec. (656616.10 ticks, tree = 179.19 MB, solutions = 16)
Nodefile size = 104.32 MB (40.56 MB after compression)
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
23034 3313 cutoff 35002.0000 34997.0000 127271 0.01% x76292 D 23034 23033 35
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 3
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
23167 3356 infeasible 35002.0000 34997.0000 127894 0.01% x181764 U 23167 23165 51
23314 3382 cutoff 35002.0000 34997.0000 128620 0.01% x233397 D 23314 22190 35
trivial cuts exist, found 1
trivial cuts exist, found 1
23456 3415 34998.5000 32 35002.0000 34997.0000 129336 0.01% x208983 D 23456 23439 29
trivial cuts exist, found 1
23630 3489 cutoff 35002.0000 34997.0000 130096 0.01% x199567 U 23630 23629 42
trivial cuts exist, found 1
23800 3552 35000.0000 24 35002.0000 34997.0000 130748 0.01% x89222 U 23800 23799 37
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
trivial cuts exist, found 1
23968 3611 cutoff 35002.0000 34997.0000 131437 0.01% x227353 U 23968 23967 40
24097 3658 35000.0000 22 35002.0000 34997.0000 131921 0.01% x26294 D 24097 24096 42
trivial cuts exist, found 1
24219 3651 cutoff 35002.0000 34997.0000 132470 0.01% x158438 U 24219 4286 19
24323 3580 cutoff 35002.0000 34997.4167 132749 0.01% x69256 D 24323 7420 22
Elapsed time = 689.42 sec. (695185.24 ticks, tree = 199.39 MB, solutions = 16)
Nodefile size = 102.43 MB (39.82 MB after compression)
24443 3568 34997.5000 44 35002.0000 34997.5000 133184 0.01% x115535 N 24443 18125 22
24541 3495 cutoff 35002.0000 34997.7500 133447 0.01% x233073 U 24541 10699 20
trivial cuts exist, found 1
24640 3453 35001.0000 12 35002.0000 34998.0000 133869 0.01% x42702 U 24640 24639 48
trivial cuts exist, found 1
trivial cuts exist, found 1
24796 3482 cutoff 35002.0000 34998.0000 134549 0.01% x87025 U 24796 23303 41
24936 3483 cutoff 35002.0000 34998.0000 135056 0.01% x87606 D 24936 24935 52
trivial cuts exist, found 1
25066 3506 35001.0000 6 35002.0000 34998.0000 135531 0.01% x87606 D 25066 25064 42
25205 3511 35001.0000 30 35002.0000 34998.0000 136085 0.01% x181764 D 25205 25204 45
25368 3550 35001.0000 12 35002.0000 34998.0000 136680 0.01% x173031 U 25368 25367 42
trivial cuts exist, found 1
trivial cuts exist, found 1
25530 3591 34998.0000 18 35002.0000 34998.0000 137313 0.01% x212434 U 25530 25340 34
25685 3643 cutoff 35002.0000 34998.0000 137894 0.01% x173036 D 25685 25684 36
Elapsed time = 719.80 sec. (733543.70 ticks, tree = 204.48 MB, solutions = 16)
Nodefile size = 99.54 MB (38.70 MB after compression)
25821 3666 infeasible 35002.0000 34998.0000 138479 0.01% x73858 U 25821 25819 44
trivial cuts exist, found 1
25979 3703 cutoff 35002.0000 34998.0000 139264 0.01% x219573 D 25979 25977 34
26113 3760 34998.0000 22 35002.0000 34998.0000 139816 0.01% x181764 D 26113 26112 34
26309 3826 35001.0000 16 35002.0000 34998.0000 140508 0.01% x94755 D 26309 26252 40
26471 3889 35001.0000 22 35002.0000 34998.0000 141166 0.01% x27983 N 26471 26470 32
26642 3951 cutoff 35002.0000 34998.0000 141817 0.01% x173036 D 26642 26641 38
trivial cuts exist, found 1
26753 3882 cutoff 35002.0000 34998.1905 142094 0.01% x206965 U 26753 7784 19
Cover cuts applied: 1
Zero-half cuts applied: 36
User cuts applied: 825
Root node processing (before b&c):
Real time = 102.42 sec. (30310.27 ticks)
Sequential b&c:
Real time = 641.94 sec. (736916.78 ticks)
------------
Total (root+branch&cut) = 744.36 sec. (767227.04 ticks)
complete!
opt is: 35002.0
Overview
Content Tools
Activity