0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692153-1338034835.opb>
0.00/0.00 c original problem has 238 variables (238 bin, 0 int, 0 impl, 0 cont) and 399 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 41 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 165 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 41 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 1 del vars, 165 del conss, 2 add conss, 1 chg bounds, 6 chg sides, 55 chg coeffs, 70 upgd conss, 44 impls, 2 clqs
0.00/0.02 c (round 4) 1 del vars, 165 del conss, 2 add conss, 1 chg bounds, 10 chg sides, 59 chg coeffs, 70 upgd conss, 44 impls, 2 clqs
0.00/0.02 c (round 5) 1 del vars, 165 del conss, 2 add conss, 1 chg bounds, 12 chg sides, 72 chg coeffs, 70 upgd conss, 44 impls, 2 clqs
0.00/0.02 c (0.0s) probing: 51/237 (21.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c presolving (6 rounds):
0.00/0.02 c 1 deleted vars, 165 deleted constraints, 2 added constraints, 1 tightened bounds, 0 added holes, 12 changed sides, 72 changed coefficients
0.00/0.02 c 44 implications, 2 cliques
0.00/0.02 c presolved problem has 237 variables (237 bin, 0 int, 0 impl, 0 cont) and 236 constraints
0.00/0.02 c 70 constraints of type <knapsack>
0.00/0.02 c 2 constraints of type <setppc>
0.00/0.02 c 164 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.1.1.4
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1797
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 26 | - |1841k| 0 | 36 | 237 | 249 | 237 | 236 | 0 | 17 | 0 | 2.100000e+01 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 1026 | - |2818k| 0 | 103 | 237 | 710 | 237 | 268 | 32 | 17 | 0 | 2.100000e+01 | -- | Inf
0.19/0.30 c 0.3s| 1 | 0 | 1161 | - |3119k| 0 | 117 | 237 | 710 | 237 | 314 | 78 | 17 | 0 | 2.100000e+01 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 1302 | - |3441k| 0 | 121 | 237 | 710 | 237 | 364 | 128 | 17 | 0 | 2.100000e+01 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 1504 | - |3681k| 0 | 127 | 237 | 710 | 237 | 413 | 177 | 17 | 0 | 2.100000e+01 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 1811 | - |3896k| 0 | 134 | 237 | 710 | 237 | 468 | 232 | 17 | 0 | 2.100000e+01 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 2136 | - |4017k| 0 | 136 | 237 | 710 | 237 | 510 | 274 | 17 | 0 | 2.100000e+01 | -- | Inf
0.59/0.63 c 0.6s| 1 | 2 | 2136 | - |4018k| 0 | 136 | 237 | 710 | 237 | 510 | 274 | 17 | 10 | 2.100000e+01 | -- | Inf
3.20/3.24 c 3.2s| 100 | 83 | 7361 | 52.8 |4133k| 22 | 95 | 237 | 736 | 237 | 315 | 274 | 43 |1199 | 2.100000e+01 | -- | Inf
3.30/3.35 c 3.3s| 200 | 146 | 8398 | 31.5 |4203k| 38 | 81 | 237 | 759 | 237 | 315 | 274 | 66 |1224 | 2.100000e+01 | -- | Inf
3.59/3.68 c 3.7s| 300 | 209 | 11359 | 30.8 |4296k| 43 | 80 | 237 | 803 | 237 | 315 | 274 | 110 |1327 | 2.100000e+01 | -- | Inf
3.69/3.74 o 52
3.69/3.74 c o 3.7s| 349 | 244 | 12030 | 28.4 |4332k| 43 | 0 | 237 | 818 | 237 | 315 | 274 | 125 |1329 | 2.100000e+01 | 5.200000e+01 | 147.62%
3.79/3.80 c 3.8s| 400 | 276 | 12815 | 26.8 |4350k| 43 | 51 | 237 | 824 | 237 | 315 | 274 | 131 |1335 | 2.100000e+01 | 5.200000e+01 | 147.62%
3.79/3.85 o 50
3.79/3.85 c * 3.8s| 447 | 283 | 13611 | 25.7 |4367k| 43 | - | 237 | 864 | 237 | 315 | 274 | 171 |1337 | 2.100000e+01 | 5.000000e+01 | 138.10%
3.79/3.89 c 3.9s| 500 | 305 | 14159 | 24.1 |4407k| 43 | - | 237 | 881 | 0 | 0 | 274 | 188 |1337 | 2.100000e+01 | 5.000000e+01 | 138.10%
3.88/3.91 o 49
3.88/3.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.88/3.91 c R 3.9s| 516 | 301 | 14372 | 23.8 |4406k| 43 | - | 237 | 888 | 237 | 315 | 274 | 195 |1337 | 2.100000e+01 | 4.900000e+01 | 133.33%
3.88/3.99 c 4.0s| 600 | 349 | 15367 | 22.1 |4468k| 43 | 98 | 237 | 917 | 237 | 315 | 274 | 224 |1339 | 2.100000e+01 | 4.900000e+01 | 133.33%
3.99/4.08 c 4.1s| 700 | 390 | 16383 | 20.4 |4529k| 43 | 52 | 237 | 959 | 237 | 315 | 274 | 266 |1341 | 2.100000e+01 | 4.900000e+01 | 133.33%
4.09/4.17 c 4.2s| 800 | 451 | 17529 | 19.3 |4601k| 43 | 71 | 237 | 985 | 237 | 315 | 274 | 292 |1343 | 2.100000e+01 | 4.900000e+01 | 133.33%
4.19/4.28 c 4.3s| 900 | 510 | 19332 | 19.1 |4695k| 43 | 39 | 237 |1023 | 237 | 315 | 274 | 331 |1349 | 2.100000e+01 | 4.900000e+01 | 133.33%
4.29/4.37 c 4.4s| 1000 | 558 | 20300 | 18.2 |4784k| 43 | 49 | 237 |1100 | 237 | 315 | 274 | 408 |1351 | 2.100000e+01 | 4.900000e+01 | 133.33%
4.29/4.39 o 48
4.29/4.39 c S 4.4s| 1026 | 571 | 20615 | 18.0 |4814k| 43 | 0 | 237 |1120 | 237 | 315 | 274 | 428 |1351 | 2.100000e+01 | 4.800000e+01 | 128.57%
4.40/4.44 c 4.4s| 1100 | 551 | 21117 | 17.3 |4784k| 43 | - | 237 | 813 | 0 | 0 | 274 | 474 |1351 | 2.100000e+01 | 4.800000e+01 | 128.57%
4.49/4.53 c 4.5s| 1200 | 597 | 22258 | 16.8 |4748k| 43 | 39 | 237 | 865 | 237 | 315 | 274 | 527 |1356 | 2.100000e+01 | 4.800000e+01 | 128.57%
4.59/4.60 o 47
4.59/4.60 c f 4.6s| 1275 | 550 | 23053 | 16.4 |4731k| 43 | - | 237 | 941 | 237 | 315 | 274 | 604 |1356 | 2.100000e+01 | 4.700000e+01 | 123.81%
4.59/4.63 c 4.6s| 1300 | 569 | 23288 | 16.3 |4749k| 43 | 26 | 237 | 951 | 237 | 315 | 274 | 614 |1356 | 2.100000e+01 | 4.700000e+01 | 123.81%
4.69/4.73 c 4.7s| 1400 | 615 | 24549 | 16.0 |4831k| 43 | 26 | 237 | 992 | 237 | 315 | 274 | 657 |1371 | 2.100000e+01 | 4.700000e+01 | 123.81%
4.79/4.81 c 4.8s| 1500 | 670 | 25528 | 15.6 |4919k| 43 | 18 | 237 |1045 | 237 | 315 | 274 | 718 |1371 | 2.100000e+01 | 4.700000e+01 | 123.81%
4.88/4.94 c 4.9s| 1600 | 718 | 27432 | 15.8 |4984k| 43 | 56 | 237 |1102 | 237 | 315 | 274 | 777 |1391 | 2.100000e+01 | 4.700000e+01 | 123.81%
4.99/5.03 c 5.0s| 1700 | 757 | 28698 | 15.6 |5081k| 43 | 34 | 237 |1194 | 237 | 315 | 274 | 869 |1391 | 2.100000e+01 | 4.700000e+01 | 123.81%
5.09/5.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.09/5.14 c 5.1s| 1800 | 797 | 30017 | 15.5 |5152k| 43 | 48 | 237 |1254 | 237 | 315 | 274 | 932 |1408 | 2.100000e+01 | 4.700000e+01 | 123.81%
5.19/5.23 o 45
5.19/5.23 c f 5.2s| 1877 | 758 | 31015 | 15.4 |5166k| 43 | - | 237 |1333 | 237 | 315 | 274 |1012 |1411 | 2.100000e+01 | 4.500000e+01 | 114.29%
5.19/5.24 o 44
5.19/5.24 c R 5.2s| 1890 | 754 | 31167 | 15.4 |5151k| 43 | - | 237 |1332 | 237 | 315 | 274 |1012 |1411 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.19/5.26 c 5.3s| 1900 | 756 | 31442 | 15.4 |5150k| 43 | - | 237 |1334 | 237 | 315 | 274 |1014 |1412 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.29/5.35 c 5.4s| 2000 | 801 | 32566 | 15.2 |5228k| 43 | 64 | 237 |1391 | 237 | 315 | 274 |1071 |1412 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.39/5.44 c 5.4s| 2100 | 846 | 33528 | 15.0 |5274k| 43 | 82 | 237 |1426 | 237 | 315 | 274 |1106 |1414 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.50/5.54 c 5.5s| 2200 | 870 | 34574 | 14.8 |5338k| 43 | - | 237 |1499 | 237 | 315 | 274 |1179 |1414 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.59/5.63 c 5.6s| 2300 | 907 | 35822 | 14.7 |5416k| 43 | 31 | 237 |1582 | 237 | 315 | 274 |1262 |1414 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.69/5.71 c 5.7s| 2400 | 949 | 37157 | 14.6 |5480k| 43 | - | 237 |1628 | 237 | 315 | 274 |1313 |1414 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.79/5.81 c 5.8s| 2500 | 997 | 38507 | 14.6 |5557k| 43 | - | 237 |1674 | 0 | 0 | 274 |1369 |1414 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.89/5.90 c 5.9s| 2600 | 1050 | 39916 | 14.5 |5626k| 43 | - | 237 |1712 | 0 | 0 | 274 |1415 |1422 | 2.100000e+01 | 4.400000e+01 | 109.52%
5.99/6.01 c 6.0s| 2700 | 1093 | 41465 | 14.6 |5693k| 43 | - | 237 |1749 | 237 | 315 | 274 |1455 |1450 | 2.100000e+01 | 4.400000e+01 | 109.52%
6.09/6.11 c 6.1s| 2800 | 1118 | 42509 | 14.4 |5769k| 43 | 78 | 237 |1813 | 237 | 315 | 274 |1537 |1467 | 2.100000e+01 | 4.400000e+01 | 109.52%
6.18/6.21 c 6.2s| 2900 | 1164 | 43632 | 14.3 |5846k| 43 | 100 | 237 |1854 | 237 | 315 | 274 |1596 |1479 | 2.100000e+01 | 4.400000e+01 | 109.52%
6.29/6.34 c 6.3s| 3000 | 1223 | 45842 | 14.6 |5950k| 43 | - | 237 |1951 | 237 | 315 | 274 |1721 |1482 | 2.100000e+01 | 4.400000e+01 | 109.52%
6.49/6.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.49/6.52 c 6.5s| 3100 | 1285 | 48674 | 15.0 |6066k| 43 | 76 | 237 |2041 | 237 | 315 | 274 |1837 |1489 | 2.100000e+01 | 4.400000e+01 | 109.52%
6.60/6.66 c 6.7s| 3200 | 1347 | 51247 | 15.4 |6140k| 43 | 73 | 237 |2088 | 237 | 315 | 274 |1907 |1500 | 2.100000e+01 | 4.400000e+01 | 109.52%
6.78/6.86 c 6.9s| 3300 | 1401 | 54131 | 15.8 |6232k| 43 | - | 237 |2141 | 237 | 315 | 274 |2019 |1516 | 2.100000e+01 | 4.400000e+01 | 109.52%
6.99/7.00 c 7.0s| 3400 | 1435 | 56355 | 16.0 |6306k| 43 | - | 237 |2189 | 0 | 0 | 274 |2154 |1518 | 2.100000e+01 | 4.400000e+01 | 109.52%
7.09/7.12 o 43
7.09/7.12 c v 7.1s| 3462 | 1428 | 58218 | 16.2 |6326k| 43 | - | 237 |2174 | 237 | 315 | 274 |2227 |1533 | 2.100000e+01 | 4.300000e+01 | 104.76%
7.09/7.17 c 7.2s| 3500 | 1450 | 59079 | 16.3 |6324k| 43 | 82 | 237 |2155 | 237 | 315 | 274 |2239 |1534 | 2.100000e+01 | 4.300000e+01 | 104.76%
7.19/7.27 c 7.3s| 3600 | 1486 | 61000 | 16.4 |6402k| 43 | - | 237 |2226 | 237 | 315 | 274 |2339 |1534 | 2.100000e+01 | 4.300000e+01 | 104.76%
7.38/7.41 c 7.4s| 3700 | 1514 | 63136 | 16.5 |6428k| 43 | 23 | 237 |2225 | 237 | 315 | 274 |2445 |1534 | 2.100000e+01 | 4.300000e+01 | 104.76%
7.48/7.54 c 7.5s| 3800 | 1542 | 64997 | 16.5 |6424k| 43 | 34 | 237 |2060 | 237 | 315 | 274 |2551 |1535 | 2.100000e+01 | 4.300000e+01 | 104.76%
7.60/7.66 c 7.7s| 3900 | 1586 | 67119 | 16.7 |6447k| 43 | - | 237 |1960 | 0 | 0 | 274 |2621 |1535 | 2.100000e+01 | 4.300000e+01 | 104.76%
7.78/7.86 c 7.9s| 4000 | 1623 | 70623 | 17.1 |6449k| 43 | 65 | 237 |1846 | 237 | 315 | 274 |2749 |1549 | 2.100000e+01 | 4.300000e+01 | 104.76%
7.99/8.01 c 8.0s| 4100 | 1666 | 73052 | 17.3 |6446k| 43 | 119 | 237 |1635 | 237 | 315 | 274 |2801 |1549 | 2.100000e+01 | 4.300000e+01 | 104.76%
8.09/8.14 c 8.1s| 4200 | 1692 | 75478 | 17.5 |6466k| 43 | 48 | 237 |1567 | 237 | 315 | 274 |2921 |1550 | 2.100000e+01 | 4.300000e+01 | 104.76%
8.19/8.29 c 8.3s| 4300 | 1729 | 78417 | 17.7 |6518k| 43 | 60 | 237 |1514 | 237 | 315 | 274 |3047 |1559 | 2.100000e+01 | 4.300000e+01 | 104.76%
8.38/8.42 o 41
8.38/8.42 c S 8.4s| 4383 | 1749 | 80170 | 17.8 |6555k| 43 | 0 | 237 |1472 | 237 | 315 | 274 |3139 |1566 | 2.100000e+01 | 4.100000e+01 | 95.24%
8.38/8.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.38/8.44 c 8.4s| 4400 | 1624 | 80715 | 17.9 |6388k| 43 | 55 | 237 |1437 | 237 | 315 | 274 |3142 |1566 | 2.100000e+01 | 4.100000e+01 | 95.24%
8.59/8.62 c 8.6s| 4500 | 1668 | 84044 | 18.2 |6432k| 43 | 45 | 237 |1368 | 237 | 315 | 274 |3260 |1566 | 2.100000e+01 | 4.100000e+01 | 95.24%
8.69/8.75 c 8.8s| 4600 | 1696 | 85959 | 18.2 |6496k| 43 | 57 | 237 |1389 | 237 | 315 | 274 |3361 |1572 | 2.100000e+01 | 4.100000e+01 | 95.24%
8.89/8.95 c 8.9s| 4700 | 1740 | 88964 | 18.5 |6550k| 43 | - | 237 |1381 | 0 | 0 | 274 |3464 |1607 | 2.100000e+01 | 4.100000e+01 | 95.24%
8.99/9.00 o 37
8.99/9.00 c g 9.0s| 4725 | 1479 | 89949 | 18.6 |6325k| 43 | - | 237 |1411 | 237 | 315 | 274 |3507 |1614 | 2.100000e+01 | 3.700000e+01 | 76.19%
8.99/9.09 c 9.1s| 4800 | 1507 | 91382 | 18.6 |6332k| 43 | 33 | 237 |1323 | 237 | 315 | 274 |3556 |1614 | 2.100000e+01 | 3.700000e+01 | 76.19%
9.18/9.25 c 9.2s| 4900 | 1549 | 93744 | 18.7 |6368k| 43 | 43 | 237 |1223 | 237 | 315 | 274 |3642 |1641 | 2.100000e+01 | 3.700000e+01 | 76.19%
9.29/9.38 c 9.4s| 5000 | 1573 | 95921 | 18.8 |6395k| 43 | 73 | 237 |1206 | 237 | 315 | 274 |3728 |1641 | 2.100000e+01 | 3.700000e+01 | 76.19%
9.39/9.49 c 9.5s| 5100 | 1578 | 96994 | 18.6 |6438k| 43 | - | 237 |1172 | 237 | 315 | 274 |3816 |1661 | 2.100000e+01 | 3.700000e+01 | 76.19%
9.59/9.64 c 9.6s| 5200 | 1616 | 98842 | 18.6 |6480k| 43 | 53 | 237 |1175 | 237 | 315 | 274 |3902 |1705 | 2.100000e+01 | 3.700000e+01 | 76.19%
9.69/9.79 c 9.8s| 5300 | 1637 |100937 | 18.6 |6505k| 43 | - | 237 |1165 | 0 | 0 | 274 |3991 |1733 | 2.100000e+01 | 3.700000e+01 | 76.19%
9.89/9.91 c 9.9s| 5400 | 1668 |102814 | 18.6 |6576k| 43 | 86 | 237 |1226 | 237 | 315 | 274 |4108 |1740 | 2.100000e+01 | 3.700000e+01 | 76.19%
9.99/10.04 c 10.0s| 5500 | 1690 |104875 | 18.7 |6650k| 44 | 18 | 237 |1278 | 237 | 315 | 274 |4220 |1743 | 2.100000e+01 | 3.700000e+01 | 76.19%
10.09/10.15 c 10.1s| 5600 | 1733 |106604 | 18.7 |6728k| 45 | - | 237 |1313 | 237 | 315 | 274 |4297 |1743 | 2.100000e+01 | 3.700000e+01 | 76.19%
10.19/10.26 o 33
10.19/10.26 c c10.3s| 5693 | 1278 |108334 | 18.7 |6242k| 45 | - | 237 |1347 | 237 | 315 | 274 |4416 |1746 | 2.100000e+01 | 3.300000e+01 | 57.14%
10.19/10.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.19/10.27 c 10.3s| 5700 | 1281 |108379 | 18.6 |6238k| 45 | 23 | 237 |1350 | 237 | 315 | 274 |4424 |1746 | 2.100000e+01 | 3.300000e+01 | 57.14%
10.29/10.34 c 10.3s| 5800 | 1294 |109257 | 18.5 |6306k| 45 | 14 | 237 |1408 | 237 | 315 | 274 |4538 |1746 | 2.100000e+01 | 3.300000e+01 | 57.14%
10.39/10.45 c 10.4s| 5900 | 1316 |110439 | 18.4 |6357k| 45 | 9 | 237 |1505 | 237 | 315 | 274 |4668 |1746 | 2.100000e+01 | 3.300000e+01 | 57.14%
10.49/10.54 c 10.5s| 6000 | 1343 |111689 | 18.3 |6419k| 45 | 42 | 237 |1552 | 237 | 315 | 274 |4787 |1746 | 2.100000e+01 | 3.300000e+01 | 57.14%
10.59/10.62 c 10.6s| 6100 | 1380 |112893 | 18.2 |6523k| 45 | - | 237 |1647 | 237 | 315 | 274 |4907 |1747 | 2.100000e+01 | 3.300000e+01 | 57.14%
10.59/10.67 o 31
10.59/10.67 c c10.7s| 6153 | 1084 |113552 | 18.1 |6241k| 45 | - | 237 |1713 | 237 | 315 | 274 |4988 |1747 | 2.100000e+01 | 3.100000e+01 | 47.62%
10.59/10.69 o 29
10.59/10.69 c p10.7s| 6165 | 687 |113702 | 18.1 |5705k| 45 | - | 237 |1717 | 237 | 315 | 274 |5008 |1747 | 2.100000e+01 | 2.900000e+01 | 38.10%
10.69/10.72 c 10.7s| 6200 | 697 |113981 | 18.0 |5709k| 45 | - | 237 |1631 | 237 | 315 | 274 |5045 |1747 | 2.100000e+01 | 2.900000e+01 | 38.10%
10.78/10.83 c 10.8s| 6300 | 719 |115946 | 18.1 |5701k| 45 | 22 | 237 |1575 | 237 | 315 | 274 |5147 |1748 | 2.100000e+01 | 2.900000e+01 | 38.10%
10.89/10.96 c 11.0s| 6400 | 751 |116951 | 17.9 |5772k| 45 | - | 237 |1597 | 237 | 315 | 274 |5241 |1762 | 2.100000e+01 | 2.900000e+01 | 38.10%
11.00/11.00 o 28
11.00/11.00 c g11.0s| 6460 | 654 |117439 | 17.9 |5657k| 45 | - | 237 |1650 | 237 | 315 | 274 |5320 |1762 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.00/11.03 c 11.0s| 6500 | 659 |117873 | 17.8 |5649k| 45 | 7 | 237 |1627 | 237 | 315 | 274 |5343 |1762 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.09/11.14 c 11.1s| 6600 | 679 |119652 | 17.8 |5711k| 45 | - | 237 |1626 | 0 | 0 | 274 |5431 |1766 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.19/11.23 c 11.2s| 6700 | 690 |120853 | 17.7 |5728k| 45 | 6 | 237 |1629 | 237 | 315 | 274 |5520 |1768 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.28/11.32 c 11.3s| 6800 | 716 |122229 | 17.7 |5760k| 45 | 24 | 237 |1572 | 237 | 315 | 274 |5588 |1779 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.38/11.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.38/11.40 c 11.4s| 6900 | 730 |123387 | 17.6 |5795k| 45 | 25 | 237 |1525 | 237 | 315 | 274 |5658 |1780 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.38/11.48 c 11.5s| 7000 | 772 |124497 | 17.5 |5890k| 45 | 23 | 237 |1534 | 237 | 315 | 274 |5777 |1780 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.49/11.56 c 11.6s| 7100 | 769 |125422 | 17.4 |5902k| 45 | 12 | 237 |1503 | 237 | 315 | 274 |5890 |1780 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.58/11.64 c 11.6s| 7200 | 756 |126091 | 17.2 |5933k| 45 | - | 237 |1548 | 237 | 315 | 274 |5988 |1780 | 2.100000e+01 | 2.800000e+01 | 33.33%
11.58/11.66 o 27
11.58/11.66 c *11.7s| 7232 | 586 |126264 | 17.2 |5461k| 45 | - | 237 |1573 | 237 | 315 | 274 |6018 |1780 | 2.100000e+01 | 2.700000e+01 | 28.57%
11.69/11.71 c 11.7s| 7300 | 581 |127157 | 17.1 |5424k| 45 | - | 237 |1595 | 237 | 315 | 274 |6067 |1780 | 2.100000e+01 | 2.700000e+01 | 28.57%
11.69/11.79 c 11.8s| 7400 | 590 |128351 | 17.1 |5429k| 45 | 42 | 237 |1595 | 237 | 315 | 274 |6142 |1781 | 2.100000e+01 | 2.700000e+01 | 28.57%
11.79/11.88 c 11.9s| 7500 | 592 |129524 | 17.0 |5465k| 45 | - | 237 |1668 | 0 | 0 | 274 |6249 |1782 | 2.100000e+01 | 2.700000e+01 | 28.57%
11.89/11.97 c 12.0s| 7600 | 593 |130792 | 16.9 |5487k| 45 | 19 | 237 |1673 | 237 | 315 | 274 |6352 |1785 | 2.100000e+01 | 2.700000e+01 | 28.57%
11.99/12.04 c 12.0s| 7700 | 589 |131855 | 16.8 |5481k| 45 | - | 237 |1710 | 237 | 315 | 274 |6443 |1786 | 2.100000e+01 | 2.700000e+01 | 28.57%
12.09/12.14 c 12.1s| 7800 | 595 |133169 | 16.8 |5488k| 45 | 63 | 237 |1715 | 237 | 315 | 274 |6528 |1803 | 2.100000e+01 | 2.700000e+01 | 28.57%
12.19/12.26 c 12.3s| 7900 | 605 |134500 | 16.8 |5461k| 45 | - | 237 |1675 | 237 | 315 | 274 |6607 |1833 | 2.100000e+01 | 2.700000e+01 | 28.57%
12.29/12.30 o 25
12.29/12.30 c *12.3s| 7960 | 304 |134862 | 16.7 |4835k| 45 | - | 237 |1656 | 237 | 315 | 274 |6656 |1833 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.29/12.33 c 12.3s| 8000 | 303 |135318 | 16.6 |4810k| 45 | - | 237 |1576 | 237 | 315 | 274 |6683 |1833 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.39/12.44 c 12.4s| 8100 | 301 |136830 | 16.6 |4788k| 45 | 40 | 237 |1505 | 237 | 315 | 274 |6757 |1863 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.49/12.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.49/12.55 c 12.6s| 8200 | 289 |138407 | 16.6 |4781k| 45 | - | 237 |1422 | 237 | 315 | 274 |6832 |1896 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.59/12.65 c 12.7s| 8300 | 291 |140005 | 16.6 |4773k| 45 | - | 237 |1397 | 237 | 315 | 274 |6881 |1916 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.69/12.76 c 12.8s| 8400 | 292 |141546 | 16.6 |4728k| 45 | - | 237 |1233 | 237 | 315 | 274 |6920 |1936 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.79/12.82 c 12.8s| 8500 | 312 |142606 | 16.5 |4778k| 45 | 23 | 237 |1276 | 237 | 315 | 274 |6978 |1949 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.88/12.90 c 12.9s| 8600 | 305 |143702 | 16.5 |4788k| 45 | 64 | 237 |1336 | 237 | 315 | 274 |7080 |1959 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.88/12.98 c 13.0s| 8700 | 291 |145019 | 16.4 |4773k| 45 | 62 | 237 |1350 | 237 | 315 | 274 |7150 |1966 | 2.100000e+01 | 2.500000e+01 | 19.05%
12.99/13.07 c 13.1s| 8800 | 282 |146240 | 16.4 |4763k| 45 | - | 237 |1363 | 237 | 315 | 274 |7202 |1981 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.10/13.16 c 13.2s| 8900 | 292 |147964 | 16.4 |4777k| 45 | 72 | 237 |1366 | 237 | 315 | 274 |7259 |1986 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.19/13.24 c 13.2s| 9000 | 282 |149388 | 16.4 |4768k| 45 | 75 | 237 |1364 | 237 | 315 | 274 |7323 |1986 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.28/13.31 c 13.3s| 9100 | 280 |150646 | 16.3 |4772k| 45 | 53 | 237 |1366 | 237 | 315 | 274 |7368 |1986 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.28/13.38 c 13.4s| 9200 | 273 |151605 | 16.2 |4787k| 45 | - | 237 |1406 | 237 | 315 | 274 |7432 |1986 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.38/13.45 c 13.4s| 9300 | 273 |152653 | 16.2 |4810k| 45 | 45 | 237 |1458 | 237 | 315 | 274 |7504 |1986 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.49/13.51 c 13.5s| 9400 | 268 |153438 | 16.1 |4821k| 45 | - | 237 |1515 | 237 | 315 | 274 |7587 |1989 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.49/13.59 c 13.6s| 9500 | 266 |154912 | 16.1 |4840k| 45 | - | 237 |1566 | 237 | 315 | 274 |7661 |2005 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.58/13.67 c 13.7s| 9600 | 271 |156630 | 16.1 |4857k| 45 | 47 | 237 |1607 | 237 | 315 | 274 |7723 |2005 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.69/13.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.73 c 13.7s| 9700 | 265 |157590 | 16.0 |4849k| 45 | 31 | 237 |1623 | 237 | 315 | 274 |7766 |2008 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.79/13.80 c 13.8s| 9800 | 265 |158769 | 16.0 |4838k| 45 | - | 237 |1620 | 237 | 315 | 274 |7811 |2014 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.79/13.86 c 13.9s| 9900 | 264 |160035 | 16.0 |4851k| 45 | 46 | 237 |1636 | 237 | 315 | 274 |7881 |2014 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.89/13.92 c 13.9s| 10000 | 269 |161156 | 15.9 |4900k| 45 | - | 237 |1710 | 0 | 0 | 274 |7960 |2014 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.89/13.98 c 14.0s| 10100 | 273 |161869 | 15.8 |4906k| 45 | 45 | 237 |1732 | 237 | 315 | 274 |8019 |2014 | 2.100000e+01 | 2.500000e+01 | 19.05%
13.99/14.05 c 14.0s| 10200 | 264 |162899 | 15.8 |4894k| 45 | - | 237 |1759 | 0 | 0 | 274 |8095 |2014 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.09/14.12 c 14.1s| 10300 | 263 |164083 | 15.7 |4924k| 45 | - | 237 |1805 | 0 | 0 | 274 |8176 |2014 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.20/14.21 c 14.2s| 10400 | 270 |166001 | 15.8 |4939k| 45 | 32 | 237 |1801 | 237 | 315 | 274 |8247 |2017 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.20/14.27 c 14.3s| 10500 | 272 |167315 | 15.7 |4913k| 45 | 51 | 237 |1773 | 237 | 315 | 274 |8309 |2017 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.29/14.34 c 14.3s| 10600 | 268 |168448 | 15.7 |4914k| 45 | - | 237 |1798 | 237 | 315 | 274 |8373 |2017 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.38/14.40 c 14.4s| 10700 | 271 |169689 | 15.7 |4931k| 45 | 58 | 237 |1816 | 237 | 315 | 274 |8424 |2017 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.38/14.48 c 14.5s| 10800 | 258 |171007 | 15.6 |4914k| 45 | 48 | 237 |1829 | 237 | 315 | 274 |8476 |2017 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.49/14.53 c 14.5s| 10900 | 250 |171960 | 15.6 |4909k| 45 | 25 | 237 |1827 | 237 | 315 | 274 |8528 |2017 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.58/14.60 c 14.6s| 11000 | 238 |172872 | 15.5 |4895k| 45 | - | 237 |1757 | 0 | 0 | 274 |8589 |2017 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.58/14.67 c 14.7s| 11100 | 229 |174086 | 15.5 |4868k| 45 | - | 237 |1710 | 0 | 0 | 274 |8645 |2017 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.69/14.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.69/14.73 c 14.7s| 11200 | 223 |175063 | 15.4 |4863k| 45 | 60 | 237 |1717 | 237 | 315 | 274 |8712 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.69/14.79 c 14.8s| 11300 | 215 |176266 | 15.4 |4842k| 45 | 60 | 237 |1664 | 237 | 315 | 274 |8754 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.78/14.87 c 14.9s| 11400 | 222 |177863 | 15.4 |4873k| 45 | 55 | 237 |1681 | 237 | 315 | 274 |8835 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.88/14.93 c 14.9s| 11500 | 214 |179123 | 15.4 |4846k| 45 | 48 | 237 |1677 | 237 | 315 | 274 |8883 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.88/14.99 c 15.0s| 11600 | 209 |180067 | 15.3 |4858k| 45 | - | 237 |1714 | 0 | 0 | 274 |8948 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
14.99/15.06 c 15.1s| 11700 | 226 |181703 | 15.3 |4862k| 45 | 39 | 237 |1681 | 237 | 315 | 274 |9004 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.09/15.15 c 15.1s| 11800 | 227 |183213 | 15.3 |4891k| 45 | - | 237 |1728 | 0 | 0 | 274 |9117 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.19/15.21 c 15.2s| 11900 | 235 |184153 | 15.3 |4927k| 45 | 32 | 237 |1799 | 237 | 315 | 274 |9209 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.19/15.27 c 15.3s| 12000 | 230 |185262 | 15.3 |4923k| 45 | 50 | 237 |1831 | 237 | 315 | 274 |9277 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.29/15.34 c 15.3s| 12100 | 231 |186622 | 15.2 |4924k| 45 | - | 237 |1842 | 237 | 315 | 274 |9332 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.29/15.40 c 15.4s| 12200 | 221 |187646 | 15.2 |4922k| 45 | 28 | 237 |1851 | 237 | 315 | 274 |9393 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.39/15.47 c 15.5s| 12300 | 217 |188750 | 15.2 |4932k| 45 | 48 | 237 |1863 | 237 | 315 | 274 |9469 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.49/15.58 c 15.6s| 12400 | 216 |189864 | 15.1 |4935k| 45 | - | 237 |1840 | 237 | 315 | 274 |9515 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.59/15.64 c 15.6s| 12500 | 222 |191106 | 15.1 |4955k| 45 | - | 237 |1864 | 237 | 315 | 274 |9579 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.69/15.70 c 15.7s| 12600 | 236 |192173 | 15.1 |4978k| 45 | 18 | 237 |1876 | 237 | 315 | 274 |9617 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.69/15.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.69/15.77 c 15.8s| 12700 | 227 |193350 | 15.1 |4978k| 45 | - | 237 |1903 | 237 | 315 | 274 |9675 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.79/15.85 c 15.8s| 12800 | 225 |194650 | 15.0 |4985k| 45 | - | 237 |1904 | 0 | 0 | 274 |9756 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.89/15.91 c 15.9s| 12900 | 225 |196044 | 15.0 |4992k| 45 | - | 237 |1925 | 237 | 315 | 274 |9811 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.89/15.98 c 16.0s| 13000 | 227 |197360 | 15.0 |5000k| 45 | 47 | 237 |1955 | 237 | 315 | 274 |9882 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
15.98/16.04 c 16.0s| 13100 | 234 |198604 | 15.0 |5050k| 45 | - | 237 |2027 | 0 | 0 | 274 |9962 |2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.09/16.12 c 16.1s| 13200 | 226 |200233 | 15.0 |5030k| 45 | 93 | 237 |2004 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.09/16.19 c 16.2s| 13300 | 227 |201286 | 15.0 |5063k| 45 | - | 237 |2041 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.19/16.27 c 16.3s| 13400 | 216 |203036 | 15.0 |5013k| 45 | - | 237 |1941 | 0 | 0 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.29/16.35 c 16.4s| 13500 | 221 |204657 | 15.0 |5028k| 45 | - | 237 |1891 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.39/16.42 c 16.4s| 13600 | 229 |206434 | 15.0 |5044k| 45 | - | 237 |1862 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.39/16.50 c 16.5s| 13700 | 244 |207731 | 15.0 |5042k| 45 | - | 237 |1767 | 0 | 0 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.50/16.57 c 16.6s| 13800 | 236 |208961 | 15.0 |5030k| 45 | - | 237 |1755 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.59/16.64 c 16.6s| 13900 | 240 |210454 | 15.0 |5021k| 45 | - | 237 |1723 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.68/16.70 c 16.7s| 14000 | 247 |211403 | 14.9 |5025k| 45 | 42 | 237 |1735 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.68/16.76 c 16.8s| 14100 | 242 |212309 | 14.9 |5034k| 45 | 33 | 237 |1759 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.79/16.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.79/16.82 c 16.8s| 14200 | 236 |213421 | 14.9 |5051k| 45 | - | 237 |1789 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.89/16.91 c 16.9s| 14300 | 239 |215309 | 14.9 |5045k| 45 | - | 237 |1755 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.89/16.97 c 17.0s| 14400 | 243 |216521 | 14.9 |5092k| 45 | 60 | 237 |1801 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
16.98/17.03 c 17.0s| 14500 | 232 |217422 | 14.8 |5079k| 45 | - | 237 |1852 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.09/17.10 c 17.1s| 14600 | 231 |218638 | 14.8 |5078k| 45 | - | 237 |1851 | 0 | 0 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.09/17.16 c 17.2s| 14700 | 232 |219602 | 14.8 |5070k| 45 | 46 | 237 |1826 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.19/17.23 c 17.2s| 14800 | 229 |220733 | 14.8 |5063k| 45 | 78 | 237 |1796 | 237 | 315 | 274 | 10k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.28/17.31 c 17.3s| 14900 | 244 |222461 | 14.8 |5072k| 45 | - | 237 |1788 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.28/17.36 c 17.4s| 15000 | 256 |223429 | 14.8 |5088k| 45 | - | 237 |1782 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.39/17.44 c 17.4s| 15100 | 267 |225210 | 14.8 |5132k| 45 | - | 237 |1817 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.49/17.51 c 17.5s| 15200 | 274 |226287 | 14.7 |5163k| 45 | - | 237 |1857 | 0 | 0 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.49/17.56 c 17.6s| 15300 | 278 |227009 | 14.7 |5189k| 45 | 40 | 237 |1924 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.59/17.61 c 17.6s| 15400 | 280 |227826 | 14.7 |5199k| 45 | - | 237 |1963 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.59/17.67 c 17.7s| 15500 | 285 |228641 | 14.6 |5229k| 45 | 24 | 237 |1988 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.69/17.74 c 17.7s| 15600 | 287 |229472 | 14.6 |5269k| 45 | - | 237 |2037 | 0 | 0 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.69/17.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.69/17.78 c 17.8s| 15700 | 283 |230089 | 14.5 |5280k| 45 | 42 | 237 |2078 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.78/17.84 c 17.8s| 15800 | 271 |230937 | 14.5 |5260k| 45 | - | 237 |2111 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.89/17.92 c 17.9s| 15900 | 293 |232448 | 14.5 |5312k| 45 | 52 | 237 |2134 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.89/17.98 c 18.0s| 16000 | 290 |233263 | 14.4 |5336k| 45 | 25 | 237 |2175 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.99/18.04 c 18.0s| 16100 | 306 |234431 | 14.4 |5370k| 45 | 27 | 237 |2194 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
17.99/18.09 c 18.1s| 16200 | 305 |235409 | 14.4 |5404k| 45 | - | 237 |2251 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.08/18.16 c 18.2s| 16300 | 299 |236436 | 14.4 |5425k| 45 | - | 237 |2312 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.19/18.22 c 18.2s| 16400 | 311 |237497 | 14.4 |5479k| 45 | - | 237 |2355 | 237 | 315 | 274 | 11k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.19/18.28 c 18.3s| 16500 | 325 |238409 | 14.3 |5510k| 45 | - | 237 |2365 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.29/18.36 c 18.4s| 16600 | 329 |239646 | 14.3 |5538k| 45 | 38 | 237 |2432 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.39/18.42 c 18.4s| 16700 | 313 |240512 | 14.3 |5545k| 45 | 29 | 237 |2475 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.39/18.47 c 18.5s| 16800 | 296 |241128 | 14.2 |5508k| 45 | - | 237 |2514 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.49/18.53 c 18.5s| 16900 | 280 |241921 | 14.2 |5486k| 45 | - | 237 |2555 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.59/18.60 c 18.6s| 17000 | 252 |243059 | 14.2 |5341k| 45 | 44 | 237 |2455 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.59/18.67 c 18.7s| 17100 | 245 |244085 | 14.1 |5347k| 45 | 58 | 237 |2503 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.70/18.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.70/18.74 c 18.7s| 17200 | 249 |245411 | 14.1 |5355k| 45 | 89 | 237 |2475 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.78/18.81 c 18.8s| 17300 | 254 |246966 | 14.2 |5356k| 45 | - | 237 |2421 | 0 | 0 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.78/18.88 c 18.9s| 17400 | 267 |248255 | 14.1 |5374k| 45 | - | 237 |2385 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.89/18.96 c 19.0s| 17500 | 291 |249718 | 14.1 |5404k| 45 | 24 | 237 |2349 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.98/19.02 c 19.0s| 17600 | 311 |250918 | 14.1 |5443k| 45 | - | 237 |2358 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.98/19.09 c 19.1s| 17700 | 318 |251897 | 14.1 |5473k| 45 | 51 | 237 |2392 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.09/19.17 c 19.2s| 17800 | 335 |253283 | 14.1 |5553k| 45 | 35 | 237 |2502 | 237 | 315 | 274 | 12k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.19/19.22 c 19.2s| 17900 | 346 |254262 | 14.1 |5606k| 45 | 27 | 237 |2618 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.19/19.28 c 19.3s| 18000 | 357 |255005 | 14.0 |5651k| 45 | 40 | 237 |2682 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.29/19.35 c 19.4s| 18100 | 376 |255956 | 14.0 |5709k| 45 | - | 237 |2734 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.39/19.42 c 19.4s| 18200 | 385 |257016 | 14.0 |5744k| 45 | - | 237 |2766 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.39/19.48 c 19.5s| 18300 | 388 |257953 | 14.0 |5743k| 45 | 30 | 237 |2764 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.48/19.54 c 19.5s| 18400 | 386 |258912 | 14.0 |5765k| 45 | - | 237 |2771 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.59/19.61 c 19.6s| 18500 | 388 |259640 | 13.9 |5788k| 45 | 30 | 237 |2808 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.59/19.67 c 19.7s| 18600 | 415 |260727 | 13.9 |5848k| 45 | - | 237 |2832 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.69/19.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.69/19.75 c 19.8s| 18700 | 424 |261868 | 13.9 |5907k| 45 | 23 | 237 |2863 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.79/19.82 c 19.8s| 18800 | 418 |262725 | 13.9 |5938k| 45 | - | 237 |2912 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.79/19.89 c 19.9s| 18900 | 397 |263458 | 13.8 |5917k| 45 | - | 237 |2919 | 237 | 315 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.88/19.95 c 20.0s| 19000 | 404 |264348 | 13.8 |5905k| 45 | - | 237 |2820 | 0 | 0 | 274 | 13k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
19.99/20.03 c 20.0s| 19100 | 339 |264916 | 13.8 |5738k| 45 | - | 237 |2703 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.08/20.10 c 20.1s| 19200 | 321 |265626 | 13.7 |5653k| 45 | - | 237 |2645 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.08/20.17 c 20.2s| 19300 | 308 |266345 | 13.7 |5587k| 45 | - | 237 |2558 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.19/20.23 c 20.2s| 19400 | 303 |267136 | 13.7 |5553k| 45 | 40 | 237 |2508 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.28/20.30 c 20.3s| 19500 | 284 |267850 | 13.6 |5516k| 45 | 52 | 237 |2520 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.28/20.36 c 20.4s| 19600 | 306 |269158 | 13.6 |5538k| 45 | 25 | 237 |2490 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.39/20.43 c 20.4s| 19700 | 310 |270055 | 13.6 |5581k| 45 | - | 237 |2537 | 0 | 0 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.49/20.50 c 20.5s| 19800 | 312 |271286 | 13.6 |5609k| 45 | - | 237 |2568 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.49/20.58 c 20.6s| 19900 | 283 |272440 | 13.6 |5547k| 45 | - | 237 |2562 | 0 | 0 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.59/20.67 c 20.7s| 20000 | 290 |274476 | 13.6 |5492k| 45 | - | 237 |2464 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.69/20.75 c 20.8s| 20100 | 318 |275848 | 13.6 |5559k| 45 | - | 237 |2494 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.79/20.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.79/20.82 c 20.8s| 20200 | 343 |277031 | 13.6 |5607k| 45 | 18 | 237 |2537 | 237 | 315 | 274 | 14k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.79/20.88 c 20.9s| 20300 | 349 |277884 | 13.6 |5650k| 45 | - | 237 |2586 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.89/20.95 c 21.0s| 20400 | 350 |278850 | 13.6 |5681k| 45 | - | 237 |2580 | 0 | 0 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.98/21.02 c 21.0s| 20500 | 351 |279867 | 13.5 |5699k| 45 | 58 | 237 |2562 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
20.98/21.08 c 21.1s| 20600 | 358 |280765 | 13.5 |5727k| 45 | 11 | 237 |2582 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.09/21.14 c 21.1s| 20700 | 362 |281653 | 13.5 |5740k| 45 | - | 237 |2615 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.19/21.20 c 21.2s| 20800 | 358 |282662 | 13.5 |5766k| 45 | 12 | 237 |2662 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.19/21.26 c 21.3s| 20900 | 331 |283322 | 13.5 |5720k| 45 | - | 237 |2686 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.29/21.34 c 21.3s| 21000 | 327 |284323 | 13.4 |5709k| 45 | - | 237 |2680 | 0 | 0 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.39/21.42 c 21.4s| 21100 | 295 |285443 | 13.4 |5632k| 45 | - | 237 |2665 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.39/21.49 c 21.5s| 21200 | 300 |286457 | 13.4 |5640k| 45 | - | 237 |2678 | 0 | 0 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.48/21.56 c 21.6s| 21300 | 290 |287944 | 13.4 |5609k| 45 | 87 | 237 |2639 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.59/21.63 c 21.6s| 21400 | 280 |289043 | 13.4 |5568k| 45 | - | 237 |2619 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.59/21.69 c 21.7s| 21500 | 263 |289787 | 13.4 |5512k| 45 | - | 237 |2506 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.68/21.78 c 21.8s| 21600 | 253 |291474 | 13.4 |5464k| 45 | - | 237 |2447 | 237 | 315 | 274 | 15k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.79/21.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.79/21.84 c 21.8s| 21700 | 277 |292668 | 13.4 |5520k| 45 | - | 237 |2499 | 0 | 0 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.89/21.91 c 21.9s| 21800 | 290 |293843 | 13.4 |5580k| 45 | - | 237 |2589 | 0 | 0 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
21.89/21.98 c 22.0s| 21900 | 264 |294775 | 13.4 |5531k| 45 | 33 | 237 |2626 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.00/22.06 c 22.1s| 22000 | 277 |296127 | 13.4 |5559k| 45 | 40 | 237 |2644 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.09/22.14 c 22.1s| 22100 | 295 |297725 | 13.4 |5604k| 45 | - | 237 |2657 | 0 | 0 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.19/22.21 c 22.2s| 22200 | 300 |299176 | 13.4 |5619k| 45 | 32 | 237 |2671 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.19/22.28 c 22.3s| 22300 | 306 |300332 | 13.4 |5642k| 45 | - | 237 |2680 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.29/22.34 c 22.3s| 22400 | 321 |301269 | 13.4 |5667k| 45 | - | 237 |2687 | 0 | 0 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.39/22.40 c 22.4s| 22500 | 333 |302237 | 13.3 |5703k| 45 | 17 | 237 |2697 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.39/22.47 c 22.5s| 22600 | 323 |303188 | 13.3 |5712k| 45 | 18 | 237 |2692 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.49/22.54 c 22.5s| 22700 | 302 |304130 | 13.3 |5649k| 45 | - | 237 |2582 | 0 | 0 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.59/22.60 c 22.6s| 22800 | 298 |304860 | 13.3 |5627k| 45 | 38 | 237 |2581 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.59/22.68 c 22.7s| 22900 | 258 |305659 | 13.3 |5546k| 45 | 20 | 237 |2574 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.69/22.75 c 22.7s| 23000 | 270 |307151 | 13.3 |5539k| 45 | 35 | 237 |2519 | 237 | 315 | 274 | 16k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.78/22.82 c 22.8s| 23100 | 277 |308596 | 13.3 |5564k| 45 | 41 | 237 |2530 | 237 | 315 | 274 | 17k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.78/22.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.78/22.88 c 22.9s| 23200 | 287 |309704 | 13.3 |5594k| 45 | - | 237 |2569 | 0 | 0 | 274 | 17k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.88/22.95 c 23.0s| 23300 | 301 |310930 | 13.3 |5611k| 45 | 13 | 237 |2598 | 237 | 315 | 274 | 17k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.99/23.01 c 23.0s| 23400 | 296 |311699 | 13.2 |5649k| 45 | - | 237 |2673 | 237 | 315 | 274 | 17k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
22.99/23.08 c 23.1s| 23500 | 314 |312877 | 13.2 |5693k| 45 | 9 | 237 |2701 | 237 | 315 | 274 | 17k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.10/23.13 c 23.1s| 23600 | 325 |313877 | 13.2 |5713k| 45 | 52 | 237 |2683 | 237 | 315 | 274 | 17k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.19/23.20 c 23.2s| 23700 | 323 |314753 | 13.2 |5739k| 45 | 40 | 237 |2713 | 237 | 315 | 274 | 17k|2018 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.19/23.26 c 23.3s| 23800 | 348 |315958 | 13.2 |5809k| 45 | - | 237 |2754 | 0 | 0 | 274 | 17k|2019 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.28/23.31 c 23.3s| 23900 | 365 |316896 | 13.2 |5850k| 45 | 39 | 237 |2779 | 237 | 315 | 274 | 17k|2019 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.28/23.37 c 23.4s| 24000 | 388 |317911 | 13.2 |5902k| 45 | - | 237 |2797 | 237 | 315 | 274 | 17k|2019 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.39/23.44 c 23.4s| 24100 | 387 |318946 | 13.1 |5916k| 45 | 34 | 237 |2808 | 237 | 315 | 274 | 17k|2019 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.49/23.50 c 23.5s| 24200 | 376 |319629 | 13.1 |5912k| 45 | 27 | 237 |2845 | 237 | 315 | 274 | 17k|2019 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.49/23.57 c 23.6s| 24300 | 381 |320680 | 13.1 |5939k| 45 | - | 237 |2899 | 237 | 315 | 274 | 17k|2019 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.58/23.63 c 23.6s| 24400 | 383 |321457 | 13.1 |5948k| 45 | - | 237 |2899 | 237 | 315 | 274 | 18k|2019 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.58/23.69 c 23.7s| 24500 | 392 |322258 | 13.1 |5973k| 45 | 18 | 237 |2940 | 237 | 315 | 274 | 18k|2019 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.69/23.76 c 23.8s| 24600 | 402 |323166 | 13.1 |6010k| 45 | - | 237 |2961 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.78/23.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.78/23.82 c 23.8s| 24700 | 392 |324106 | 13.0 |6030k| 45 | 26 | 237 |3034 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.78/23.89 c 23.9s| 24800 | 403 |325185 | 13.0 |6082k| 45 | 14 | 237 |3095 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.89/23.97 c 24.0s| 24900 | 391 |326478 | 13.0 |6069k| 45 | 61 | 237 |3093 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
23.99/24.04 c 24.0s| 25000 | 369 |327213 | 13.0 |6054k| 45 | 56 | 237 |3057 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.10/24.10 c 24.1s| 25100 | 349 |327898 | 13.0 |6016k| 45 | 48 | 237 |3035 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.10/24.18 c 24.2s| 25200 | 331 |329015 | 13.0 |5948k| 45 | - | 237 |3030 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.19/24.25 c 24.3s| 25300 | 345 |330347 | 13.0 |5956k| 45 | 9 | 237 |2978 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.29/24.32 c 24.3s| 25400 | 345 |331469 | 13.0 |5974k| 45 | 47 | 237 |2983 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.39/24.40 c 24.4s| 25500 | 334 |333002 | 13.0 |5940k| 45 | 34 | 237 |2977 | 237 | 315 | 274 | 18k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.39/24.46 c 24.5s| 25600 | 323 |333908 | 13.0 |5919k| 45 | - | 237 |2975 | 0 | 0 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.48/24.53 c 24.5s| 25700 | 328 |335351 | 13.0 |5922k| 45 | 44 | 237 |2934 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.59/24.61 c 24.6s| 25800 | 334 |336684 | 13.0 |5962k| 45 | 40 | 237 |3007 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.59/24.67 c 24.7s| 25900 | 312 |337423 | 12.9 |5927k| 45 | 75 | 237 |3028 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.68/24.74 c 24.7s| 26000 | 322 |338840 | 13.0 |5955k| 45 | 39 | 237 |3044 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.79/24.81 c 24.8s| 26100 | 286 |339525 | 12.9 |5850k| 45 | - | 237 |3024 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.79/24.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.79/24.88 c 24.9s| 26200 | 297 |340714 | 12.9 |5852k| 45 | 56 | 237 |2975 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.89/24.94 c 24.9s| 26300 | 283 |341773 | 12.9 |5829k| 45 | 43 | 237 |2964 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.98/25.02 c 25.0s| 26400 | 237 |342379 | 12.9 |5647k| 45 | 48 | 237 |2841 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
24.98/25.09 c 25.1s| 26500 | 247 |343894 | 12.9 |5624k| 45 | - | 237 |2753 | 0 | 0 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.09/25.16 c 25.2s| 26600 | 250 |345051 | 12.9 |5614k| 45 | 63 | 237 |2695 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.19/25.23 c 25.2s| 26700 | 244 |345959 | 12.9 |5632k| 45 | - | 237 |2670 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.29/25.31 c 25.3s| 26800 | 242 |347534 | 12.9 |5573k| 45 | 80 | 237 |2521 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.29/25.37 c 25.4s| 26900 | 245 |348791 | 12.9 |5568k| 45 | 56 | 237 |2482 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.39/25.44 c 25.4s| 27000 | 243 |349853 | 12.9 |5553k| 45 | 18 | 237 |2434 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.49/25.50 c 25.5s| 27100 | 239 |351536 | 12.9 |5540k| 45 | 35 | 237 |2414 | 237 | 315 | 274 | 19k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.49/25.58 c 25.6s| 27200 | 246 |352807 | 12.9 |5591k| 45 | 32 | 237 |2489 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.59/25.64 c 25.6s| 27300 | 237 |353545 | 12.9 |5567k| 45 | 59 | 237 |2504 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.69/25.70 c 25.7s| 27400 | 236 |354798 | 12.9 |5547k| 45 | 79 | 237 |2449 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.69/25.75 c 25.8s| 27500 | 232 |355553 | 12.9 |5547k| 45 | 47 | 237 |2458 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.79/25.82 c 25.8s| 27600 | 231 |356539 | 12.8 |5521k| 45 | - | 237 |2491 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.79/25.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.79/25.88 c 25.9s| 27700 | 240 |357840 | 12.8 |5540k| 45 | - | 237 |2501 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.89/25.93 c 25.9s| 27800 | 234 |358581 | 12.8 |5549k| 45 | - | 237 |2540 | 0 | 0 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.99/26.01 c 26.0s| 27900 | 238 |360360 | 12.8 |5559k| 45 | 40 | 237 |2547 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
25.99/26.08 c 26.1s| 28000 | 256 |361523 | 12.8 |5607k| 45 | 27 | 237 |2576 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.09/26.16 c 26.2s| 28100 | 255 |363171 | 12.8 |5627k| 45 | - | 237 |2590 | 0 | 0 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.19/26.22 c 26.2s| 28200 | 268 |364509 | 12.9 |5628k| 45 | - | 237 |2561 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.19/26.27 c 26.3s| 28300 | 258 |365448 | 12.8 |5605k| 45 | - | 237 |2584 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.29/26.34 c 26.3s| 28400 | 259 |366756 | 12.8 |5622k| 45 | - | 237 |2602 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.39/26.41 c 26.4s| 28500 | 283 |368230 | 12.8 |5664k| 45 | 41 | 237 |2625 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.39/26.47 c 26.5s| 28600 | 284 |369120 | 12.8 |5681k| 45 | 57 | 237 |2638 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.49/26.54 c 26.5s| 28700 | 297 |370424 | 12.8 |5723k| 45 | 37 | 237 |2668 | 237 | 315 | 274 | 20k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.58/26.61 c 26.6s| 28800 | 286 |371611 | 12.8 |5709k| 45 | 36 | 237 |2694 | 237 | 315 | 274 | 21k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.58/26.66 c 26.7s| 28900 | 284 |372477 | 12.8 |5705k| 45 | 27 | 237 |2703 | 237 | 315 | 274 | 21k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.68/26.72 c 26.7s| 29000 | 288 |373580 | 12.8 |5736k| 45 | 33 | 237 |2752 | 237 | 315 | 274 | 21k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.68/26.78 c 26.8s| 29100 | 282 |374576 | 12.8 |5749k| 45 | - | 237 |2752 | 237 | 315 | 274 | 21k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.79/26.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.79/26.85 c 26.8s| 29200 | 290 |375772 | 12.8 |5756k| 45 | 47 | 237 |2740 | 237 | 315 | 274 | 21k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.88/26.94 c 26.9s| 29300 | 267 |377025 | 12.8 |5686k| 45 | - | 237 |2602 | 0 | 0 | 274 | 21k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
26.99/27.02 c 27.0s| 29400 | 251 |378453 | 12.8 |5652k| 45 | - | 237 |2590 | 0 | 0 | 274 | 21k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.09/27.10 c 27.1s| 29500 | 244 |379734 | 12.8 |5598k| 45 | - | 237 |2500 | 0 | 0 | 274 | 21k|2020 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.09/27.18 c 27.2s| 29600 | 229 |381103 | 12.8 |5539k| 45 | - | 237 |2435 | 237 | 315 | 274 | 21k|2021 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.18/27.25 c 27.2s| 29700 | 226 |382376 | 12.8 |5513k| 45 | - | 237 |2361 | 0 | 0 | 274 | 21k|2021 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.28/27.34 c 27.3s| 29800 | 239 |384481 | 12.8 |5543k| 45 | 81 | 237 |2398 | 237 | 315 | 274 | 21k|2021 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.39/27.44 c 27.4s| 29900 | 240 |385871 | 12.8 |5553k| 45 | 96 | 237 |2389 | 237 | 315 | 274 | 21k|2043 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.49/27.51 c 27.5s| 30000 | 251 |387345 | 12.8 |5574k| 45 | - | 237 |2391 | 237 | 315 | 274 | 21k|2043 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.49/27.58 c 27.6s| 30100 | 246 |388650 | 12.8 |5581k| 45 | - | 237 |2435 | 237 | 315 | 274 | 21k|2043 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.58/27.66 c 27.7s| 30200 | 241 |389772 | 12.8 |5598k| 45 | 49 | 237 |2483 | 237 | 315 | 274 | 22k|2059 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.69/27.74 c 27.7s| 30300 | 240 |391145 | 12.8 |5622k| 45 | - | 237 |2553 | 0 | 0 | 274 | 22k|2075 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.79/27.82 c 27.8s| 30400 | 235 |392520 | 12.8 |5638k| 45 | - | 237 |2618 | 237 | 315 | 274 | 22k|2092 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.89/27.93 c 27.9s| 30500 | 232 |394451 | 12.9 |5606k| 45 | 60 | 237 |2602 | 237 | 315 | 274 | 22k|2131 | 2.100000e+01 | 2.500000e+01 | 19.05%
27.98/28.03 c 28.0s| 30600 | 227 |395993 | 12.9 |5597k| 45 | 51 | 237 |2593 | 237 | 315 | 274 | 22k|2159 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.09/28.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.09/28.11 c 28.1s| 30700 | 217 |397000 | 12.9 |5585k| 45 | - | 237 |2606 | 0 | 0 | 274 | 22k|2180 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.18/28.20 c 28.2s| 30800 | 211 |398203 | 12.9 |5572k| 45 | - | 237 |2602 | 0 | 0 | 274 | 22k|2205 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.18/28.29 c 28.3s| 30900 | 215 |399999 | 12.9 |5581k| 45 | 41 | 237 |2605 | 237 | 315 | 274 | 22k|2211 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.29/28.37 c 28.4s| 31000 | 221 |401446 | 12.9 |5618k| 45 | - | 237 |2665 | 0 | 0 | 274 | 22k|2218 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.39/28.45 c 28.5s| 31100 | 220 |403123 | 12.9 |5616k| 45 | 48 | 237 |2696 | 237 | 315 | 274 | 22k|2232 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.49/28.51 c 28.5s| 31200 | 222 |404198 | 12.9 |5637k| 45 | 40 | 237 |2747 | 237 | 315 | 274 | 22k|2234 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.49/28.58 c 28.6s| 31300 | 213 |405798 | 12.9 |5646k| 45 | 46 | 237 |2777 | 237 | 315 | 274 | 22k|2238 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.59/28.64 c 28.6s| 31400 | 210 |406819 | 12.9 |5650k| 45 | - | 237 |2817 | 0 | 0 | 274 | 22k|2238 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.68/28.73 c 28.7s| 31500 | 211 |408447 | 12.9 |5643k| 45 | 53 | 237 |2862 | 237 | 315 | 274 | 22k|2242 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.79/28.82 c 28.8s| 31600 | 204 |410295 | 12.9 |5636k| 45 | - | 237 |2850 | 237 | 315 | 274 | 23k|2245 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.79/28.89 c 28.9s| 31700 | 208 |411664 | 12.9 |5656k| 45 | - | 237 |2872 | 0 | 0 | 274 | 23k|2249 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.89/28.96 c 29.0s| 31800 | 219 |412763 | 12.9 |5689k| 45 | 34 | 237 |2912 | 237 | 315 | 274 | 23k|2250 | 2.100000e+01 | 2.500000e+01 | 19.05%
28.98/29.02 c 29.0s| 31900 | 204 |414015 | 12.9 |5667k| 45 | - | 237 |2911 | 237 | 315 | 274 | 23k|2250 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.08/29.10 c 29.1s| 32000 | 207 |415478 | 12.9 |5692k| 45 | - | 237 |2951 | 0 | 0 | 274 | 23k|2251 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.08/29.17 c 29.2s| 32100 | 210 |416710 | 12.9 |5712k| 45 | - | 237 |2971 | 237 | 315 | 274 | 23k|2255 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.19/29.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.19/29.24 c 29.2s| 32200 | 202 |418062 | 12.9 |5679k| 45 | 48 | 237 |2925 | 237 | 315 | 274 | 23k|2256 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.29/29.33 c 29.3s| 32300 | 188 |419852 | 12.9 |5581k| 45 | 24 | 237 |2841 | 237 | 315 | 274 | 23k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.38/29.41 c 29.4s| 32400 | 181 |421361 | 12.9 |5571k| 45 | - | 237 |2829 | 237 | 315 | 274 | 23k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.38/29.47 c 29.5s| 32500 | 191 |422373 | 12.9 |5582k| 45 | 66 | 237 |2784 | 237 | 315 | 274 | 23k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.48/29.53 c 29.5s| 32600 | 207 |423512 | 12.9 |5626k| 45 | - | 237 |2831 | 237 | 315 | 274 | 23k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.48/29.58 c 29.6s| 32700 | 225 |424406 | 12.9 |5685k| 45 | 44 | 237 |2893 | 237 | 315 | 274 | 23k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.59/29.65 c 29.7s| 32800 | 239 |425765 | 12.9 |5725k| 45 | 34 | 237 |2940 | 237 | 315 | 274 | 23k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.69/29.73 c 29.7s| 32900 | 220 |426784 | 12.9 |5728k| 45 | 41 | 237 |3006 | 237 | 315 | 274 | 23k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.69/29.79 c 29.8s| 33000 | 209 |427830 | 12.9 |5710k| 45 | 23 | 237 |3030 | 237 | 315 | 274 | 23k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.78/29.87 c 29.9s| 33100 | 223 |429388 | 12.9 |5747k| 45 | 14 | 237 |3067 | 237 | 315 | 274 | 24k|2257 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.89/29.94 c 29.9s| 33200 | 245 |430600 | 12.9 |5795k| 45 | - | 237 |3114 | 237 | 315 | 274 | 24k|2258 | 2.100000e+01 | 2.500000e+01 | 19.05%
29.99/30.01 c 30.0s| 33300 | 266 |432053 | 12.9 |5832k| 45 | - | 237 |3123 | 237 | 315 | 274 | 24k|2258 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.08/30.10 c 30.1s| 33400 | 268 |433066 | 12.9 |5843k| 45 | 34 | 237 |3137 | 237 | 315 | 274 | 24k|2277 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.08/30.18 c 30.2s| 33500 | 266 |434328 | 12.9 |5852k| 45 | 43 | 237 |3154 | 237 | 315 | 274 | 24k|2297 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.18/30.25 c 30.3s| 33600 | 274 |435684 | 12.9 |5879k| 45 | - | 237 |3193 | 237 | 315 | 274 | 24k|2303 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.29/30.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.29/30.33 c 30.3s| 33700 | 284 |436685 | 12.9 |5932k| 45 | - | 237 |3274 | 0 | 0 | 274 | 24k|2321 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.39/30.44 c 30.4s| 33800 | 298 |438372 | 12.9 |5965k| 45 | 30 | 237 |3317 | 237 | 315 | 274 | 24k|2358 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.48/30.51 c 30.5s| 33900 | 309 |439506 | 12.9 |6024k| 45 | 41 | 237 |3403 | 237 | 315 | 274 | 24k|2369 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.48/30.59 c 30.6s| 34000 | 312 |440548 | 12.9 |6064k| 45 | 25 | 237 |3477 | 237 | 315 | 274 | 24k|2403 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.59/30.68 c 30.7s| 34100 | 315 |441705 | 12.9 |6096k| 45 | 20 | 237 |3528 | 237 | 315 | 274 | 24k|2423 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.69/30.77 c 30.8s| 34200 | 315 |442791 | 12.9 |6117k| 45 | - | 237 |3598 | 0 | 0 | 274 | 25k|2440 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.79/30.85 c 30.9s| 34300 | 326 |443780 | 12.9 |6157k| 45 | - | 237 |3638 | 0 | 0 | 274 | 25k|2463 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.89/30.94 c 30.9s| 34400 | 329 |444710 | 12.9 |6150k| 45 | - | 237 |3627 | 237 | 315 | 274 | 25k|2478 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.98/31.01 c 31.0s| 34500 | 341 |445616 | 12.9 |6184k| 45 | 39 | 237 |3647 | 237 | 315 | 274 | 25k|2488 | 2.100000e+01 | 2.500000e+01 | 19.05%
30.98/31.09 c 31.1s| 34600 | 335 |446542 | 12.8 |6189k| 45 | 17 | 237 |3669 | 237 | 315 | 274 | 25k|2505 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.09/31.17 c 31.2s| 34700 | 337 |447698 | 12.8 |6220k| 45 | - | 237 |3713 | 0 | 0 | 274 | 25k|2517 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.18/31.29 c 31.3s| 34800 | 349 |448755 | 12.8 |6243k| 45 | 32 | 237 |3726 | 237 | 315 | 274 | 25k|2537 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.29/31.36 c 31.4s| 34900 | 350 |449469 | 12.8 |6272k| 45 | 27 | 237 |3778 | 237 | 315 | 274 | 25k|2542 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.39/31.42 c 31.4s| 35000 | 356 |450278 | 12.8 |6296k| 45 | - | 237 |3801 | 0 | 0 | 274 | 25k|2543 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.48/31.50 c 31.5s| 35100 | 357 |451292 | 12.8 |6308k| 45 | 45 | 237 |3789 | 237 | 315 | 274 | 25k|2554 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.48/31.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.48/31.57 c 31.6s| 35200 | 367 |452401 | 12.8 |6358k| 45 | - | 237 |3842 | 0 | 0 | 274 | 25k|2555 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.58/31.63 c 31.6s| 35300 | 370 |453445 | 12.8 |6381k| 45 | 41 | 237 |3865 | 237 | 315 | 274 | 25k|2557 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.58/31.69 c 31.7s| 35400 | 373 |454237 | 12.8 |6399k| 45 | - | 237 |3893 | 237 | 315 | 274 | 25k|2557 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.69/31.75 c 31.7s| 35500 | 381 |455214 | 12.8 |6446k| 45 | - | 237 |3947 | 237 | 315 | 274 | 26k|2557 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.79/31.82 c 31.8s| 35600 | 372 |456197 | 12.8 |6437k| 45 | 27 | 237 |3954 | 237 | 315 | 274 | 26k|2577 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.79/31.89 c 31.9s| 35700 | 386 |457017 | 12.7 |6480k| 45 | - | 237 |3985 | 0 | 0 | 274 | 26k|2586 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.89/31.95 c 31.9s| 35800 | 402 |457934 | 12.7 |6522k| 45 | 30 | 237 |4036 | 237 | 315 | 274 | 26k|2587 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.99/32.03 c 32.0s| 35900 | 405 |459508 | 12.7 |6549k| 45 | 38 | 237 |4065 | 237 | 315 | 274 | 26k|2590 | 2.100000e+01 | 2.500000e+01 | 19.05%
31.99/32.09 c 32.1s| 36000 | 408 |460335 | 12.7 |6567k| 45 | 19 | 237 |4125 | 237 | 315 | 274 | 26k|2590 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.08/32.16 c 32.2s| 36100 | 416 |461719 | 12.7 |6594k| 45 | 40 | 237 |4131 | 237 | 315 | 274 | 26k|2590 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.18/32.23 c 32.2s| 36200 | 416 |462806 | 12.7 |6604k| 45 | - | 237 |4120 | 0 | 0 | 274 | 26k|2590 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.18/32.29 c 32.3s| 36300 | 419 |463954 | 12.7 |6627k| 45 | - | 237 |4144 | 237 | 315 | 274 | 26k|2594 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.28/32.35 c 32.4s| 36400 | 433 |465010 | 12.7 |6663k| 45 | 34 | 237 |4152 | 237 | 315 | 274 | 26k|2594 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.38/32.43 c 32.4s| 36500 | 401 |465759 | 12.7 |6587k| 45 | 52 | 237 |4109 | 237 | 315 | 274 | 26k|2594 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.38/32.49 c 32.5s| 36600 | 406 |466857 | 12.7 |6590k| 45 | - | 237 |4073 | 237 | 315 | 274 | 26k|2594 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.49/32.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.49/32.56 c 32.6s| 36700 | 417 |467976 | 12.7 |6597k| 45 | 46 | 237 |4042 | 237 | 315 | 274 | 26k|2594 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.58/32.62 c 32.6s| 36800 | 403 |468952 | 12.7 |6585k| 45 | 61 | 237 |4016 | 237 | 315 | 274 | 27k|2594 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.58/32.69 c 32.7s| 36900 | 407 |470253 | 12.7 |6582k| 45 | - | 237 |3952 | 237 | 315 | 274 | 27k|2594 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.69/32.75 c 32.8s| 37000 | 404 |471177 | 12.7 |6599k| 45 | - | 237 |3987 | 237 | 315 | 274 | 27k|2594 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.78/32.82 c 32.8s| 37100 | 385 |471913 | 12.7 |6551k| 45 | 9 | 237 |3922 | 237 | 315 | 274 | 27k|2595 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.78/32.89 c 32.9s| 37200 | 356 |472781 | 12.7 |6457k| 45 | 21 | 237 |3909 | 237 | 315 | 274 | 27k|2596 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.89/32.96 c 33.0s| 37300 | 371 |474015 | 12.7 |6499k| 45 | 45 | 237 |3954 | 237 | 315 | 274 | 27k|2596 | 2.100000e+01 | 2.500000e+01 | 19.05%
32.99/33.03 c 33.0s| 37400 | 370 |475332 | 12.7 |6525k| 45 | - | 237 |3999 | 0 | 0 | 274 | 27k|2598 | 2.100000e+01 | 2.500000e+01 | 19.05%
33.08/33.10 c 33.1s| 37500 | 355 |476327 | 12.6 |6546k| 45 | - | 237 |4074 | 0 | 0 | 274 | 27k|2599 | 2.100000e+01 | 2.500000e+01 | 19.05%
33.08/33.18 c 33.2s| 37600 | 340 |477363 | 12.6 |6486k| 45 | - | 237 |4072 | 237 | 315 | 274 | 27k|2600 | 2.100000e+01 | 2.500000e+01 | 19.05%
33.18/33.24 c 33.2s| 37700 | 349 |478298 | 12.6 |6508k| 45 | - | 237 |4075 | 237 | 315 | 274 | 27k|2600 | 2.100000e+01 | 2.500000e+01 | 19.05%
33.29/33.31 c 33.3s| 37800 | 356 |479693 | 12.6 |6535k| 45 | 47 | 237 |4118 | 237 | 315 | 274 | 27k|2600 | 2.100000e+01 | 2.500000e+01 | 19.05%
33.29/33.37 c 33.4s| 37900 | 356 |480584 | 12.6 |6555k| 45 | 14 | 237 |4144 | 237 | 315 | 274 | 27k|2600 | 2.100000e+01 | 2.500000e+01 | 19.05%
33.38/33.45 c 33.5s| 38000 | 353 |481863 | 12.6 |6554k| 45 | 21 | 237 |4166 | 237 | 315 | 274 | 27k|2612 | 2.100000e+01 | 2.500000e+01 | 19.05%
33.48/33.53 c 33.5s| 38100 | 332 |482614 | 12.6 |6539k| 45 | - | 237 |4178 | 237 | 315 | 274 | 28k|2623 | 2.150000e+01 | 2.500000e+01 | 16.28%
33.58/33.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.58/33.62 c 33.6s| 38200 | 286 |483260 | 12.6 |6341k| 45 | - | 237 |4036 | 237 | 315 | 274 | 28k|2626 | 2.200000e+01 | 2.500000e+01 | 13.64%
33.69/33.70 c 33.7s| 38300 | 247 |484034 | 12.6 |6178k| 45 | - | 237 |3881 | 0 | 0 | 274 | 28k|2628 | 2.200000e+01 | 2.500000e+01 | 13.64%
33.69/33.79 c 33.8s| 38400 | 215 |484713 | 12.6 |6004k| 45 | 52 | 237 |3743 | 237 | 315 | 274 | 28k|2651 | 2.200000e+01 | 2.500000e+01 | 13.64%
33.79/33.86 c 33.9s| 38500 | 199 |485590 | 12.6 |5950k| 45 | - | 237 |3640 | 0 | 0 | 274 | 28k|2664 | 2.200000e+01 | 2.500000e+01 | 13.64%
33.89/33.94 c 33.9s| 38600 | 179 |486417 | 12.5 |5891k| 45 | 31 | 237 |3540 | 237 | 315 | 274 | 28k|2682 | 2.200000e+01 | 2.500000e+01 | 13.64%
33.99/34.09 c 34.1s| 38700 | 114 |487848 | 12.6 |5535k| 45 | 35 | 237 |3018 | 237 | 315 | 274 | 28k|2730 | 2.200000e+01 | 2.500000e+01 | 13.64%
34.19/34.23 c 34.2s| 38800 | 23 |489173 | 12.6 |5004k| 45 | 34 | 237 |2570 | 237 | 315 | 274 | 28k|2762 | 2.300000e+01 | 2.500000e+01 | 8.70%
34.19/34.28 c
34.19/34.28 c SCIP Status : problem is solved [optimal solution found]
34.19/34.28 c Solving Time (sec) : 34.28
34.19/34.28 c Solving Nodes : 38850
34.19/34.28 c Primal Bound : +2.50000000000000e+01 (16 solutions)
34.19/34.28 c Dual Bound : +2.50000000000000e+01
34.19/34.28 c Gap : 0.00 %
34.19/34.28 s OPTIMUM FOUND
34.19/34.28 v x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73
34.19/34.28 v x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 -x91 x92 x93 x94 x95 x96 x97 -x98 -x99 -x100 x101 x102 x103
34.19/34.28 v x104 x105 x106 x107 x108 x109 -x110 x111 x112 -x113 -x114 -x115 x116 x117 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
34.19/34.28 v x127 x128 -x129 -x130 -x131 -x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150
34.19/34.28 v x151 -x152 x153 x154 x155 x156 x157 x158 -x159 -x160 -x161 x162 x163 x164 x165 x166 x167 -x168 x169 x170 -x171 -x172 -x173
34.19/34.28 v x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x17 -x16 -x15 -x14 -x13 -x12 -x188 x189 x190
34.19/34.28 v x191 x192 x193 x194 -x195 -x196 -x197 x198 x199 x200 -x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
34.19/34.28 v -x213 -x214 -x215 -x216 -x217 -x11 -x10 -x9 -x8 -x7 -x6 x218 x219 x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229
34.19/34.28 v -x230 -x231 -x23 -x22 -x21 x20 -x19 -x18 -x232 -x233 -x234 -x235 -x236 -x29 -x28 -x27 x26 -x25 x24 -x237 -x41 -x40 x39 -x38 -x37
34.19/34.28 v -x36 -x35 -x34 x33 -x32 x31 -x30 x238 -x5 -x4 x3 -x2 -x1
34.19/34.28 c SCIP Status : problem is solved [optimal solution found]
34.19/34.28 c Total Time : 34.28
34.19/34.28 c solving : 34.28
34.19/34.28 c presolving : 0.01 (included in solving)
34.19/34.28 c reading : 0.00 (included in solving)
34.19/34.28 c copying : 0.21 (27 #copies) (minimal 0.01, maximal 0.01, average 0.01)
34.19/34.28 c Original Problem :
34.19/34.28 c Problem name : HOME/instance-3692153-1338034835.opb
34.19/34.28 c Variables : 238 (238 binary, 0 integer, 0 implicit integer, 0 continuous)
34.19/34.28 c Constraints : 399 initial, 399 maximal
34.19/34.28 c Objective sense : minimize
34.19/34.28 c Presolved Problem :
34.19/34.28 c Problem name : t_HOME/instance-3692153-1338034835.opb
34.19/34.28 c Variables : 237 (237 binary, 0 integer, 0 implicit integer, 0 continuous)
34.19/34.28 c Constraints : 236 initial, 4212 maximal
34.19/34.28 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
34.19/34.28 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c knapsack : 0.00 0.00 0 0 0 0 0 0 2 12 31
34.19/34.28 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c linear : 0.01 0.00 1 0 0 1 0 165 0 0 41
34.19/34.28 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
34.19/34.28 c root node : - - 17 - - 17 - - - - -
34.19/34.28 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
34.19/34.28 c integral : 0 0 0 0 22546 0 19 0 58 968 0 0 44284
34.19/34.28 c knapsack : 70 70 6 144949 1 0 16 48476 1077 90826 258 0 0
34.19/34.28 c setppc : 2 2 6 9837 0 0 13 234 0 154 0 0 0
34.19/34.28 c linear : 164+ 625 7 143901 2 0 13 76469 7131 499936 0 0 0
34.19/34.28 c logicor : 0+ 3984 6 96077 0 0 0 92244 1014 99503 0 0 0
34.19/34.28 c countsols : 0 0 0 0 3 0 15 0 0 0 0 0 0
34.19/34.28 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
34.19/34.28 c integral : 4.03 0.00 0.00 0.00 4.03 0.00 0.00 0.00
34.19/34.28 c knapsack : 1.13 0.00 0.00 1.09 0.00 0.00 0.00 0.03
34.19/34.28 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
34.19/34.28 c linear : 4.15 0.00 0.00 4.07 0.00 0.00 0.00 0.08
34.19/34.28 c logicor : 1.53 0.00 0.00 1.48 0.00 0.00 0.00 0.05
34.19/34.28 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
34.19/34.28 c Propagators : #Propagate #ResProp Cutoffs DomReds
34.19/34.28 c rootredcost : 16 0 0 3
34.19/34.28 c pseudoobj : 167444 317 17 217
34.19/34.28 c vbounds : 0 0 0 0
34.19/34.28 c redcost : 23811 0 0 1648
34.19/34.28 c probing : 0 0 0 0
34.19/34.28 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
34.19/34.28 c rootredcost : 0.04 0.00 0.00 0.04 0.00
34.19/34.28 c pseudoobj : 0.13 0.00 0.00 0.13 0.00
34.19/34.28 c vbounds : 0.03 0.00 0.00 0.03 0.00
34.19/34.28 c redcost : 0.13 0.00 0.00 0.13 0.00
34.19/34.28 c probing : 0.00 0.00 0.00 0.00 0.00
34.19/34.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
34.19/34.28 c propagation : 0.30 9239 9217 49404 16.9 187 10.8 -
34.19/34.28 c infeasible LP : 0.16 3727 3727 9371 11.5 242 10.9 0
34.19/34.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
34.19/34.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
34.19/34.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
34.19/34.28 c applied globally : - - - 28849 13.7 - - -
34.19/34.28 c applied locally : - - - 4 32.8 - - -
34.19/34.28 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
34.19/34.28 c cut pool : 0.00 5 - - 274 - (maximal pool size: 1756)
34.19/34.28 c closecuts : 0.00 0.00 0 0 0 0 0
34.19/34.28 c impliedbounds : 0.00 0.00 6 0 0 3 0
34.19/34.28 c intobj : 0.00 0.00 0 0 0 0 0
34.19/34.28 c gomory : 0.02 0.00 6 0 0 138 0
34.19/34.28 c cgmip : 0.00 0.00 0 0 0 0 0
34.19/34.28 c strongcg : 0.02 0.00 6 0 0 274 0
34.19/34.28 c cmir : 0.06 0.00 6 0 0 728 0
34.19/34.28 c flowcover : 0.08 0.00 6 0 0 1064 0
34.19/34.28 c clique : 0.00 0.00 6 0 0 0 0
34.19/34.28 c zerohalf : 0.00 0.00 0 0 0 0 0
34.19/34.28 c mcf : 0.00 0.00 1 0 0 0 0
34.19/34.28 c oddcycle : 0.00 0.00 0 0 0 0 0
34.19/34.28 c rapidlearning : 0.20 0.00 1 0 0 0 461
34.19/34.28 c Pricers : ExecTime SetupTime Calls Vars
34.19/34.28 c problem variables: 0.00 - 0 0
34.19/34.28 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
34.19/34.28 c relpscost : 4.01 0.00 22543 58 968 0 0 44284
34.19/34.28 c pscost : 0.00 0.00 0 0 0 0 0 0
34.19/34.28 c inference : 0.00 0.00 0 0 0 0 0 0
34.19/34.28 c mostinf : 0.00 0.00 0 0 0 0 0 0
34.19/34.28 c leastinf : 0.00 0.00 0 0 0 0 0 0
34.19/34.28 c fullstrong : 0.00 0.00 0 0 0 0 0 0
34.19/34.28 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
34.19/34.28 c random : 0.00 0.00 0 0 0 0 0 0
34.19/34.28 c Primal Heuristics : ExecTime SetupTime Calls Found
34.19/34.28 c LP solutions : 0.00 - - 3
34.19/34.28 c pseudo solutions : 0.00 - - 0
34.19/34.28 c oneopt : 0.01 0.00 16 0
34.19/34.28 c crossover : 0.35 0.00 3 0
34.19/34.28 c fracdiving : 0.23 0.00 122 2
34.19/34.28 c coefdiving : 0.21 0.00 122 2
34.19/34.28 c pscostdiving : 0.41 0.00 122 1
34.19/34.28 c veclendiving : 0.37 0.00 122 1
34.19/34.28 c linesearchdiving : 0.27 0.00 123 0
34.19/34.28 c objpscostdiving : 0.25 0.00 62 1
34.19/34.28 c rootsoldiving : 0.23 0.00 62 2
34.19/34.28 c smallcard : 0.00 0.00 0 0
34.19/34.28 c trivial : 0.00 0.00 2 0
34.19/34.28 c shiftandpropagate: 0.01 0.00 1 0
34.19/34.28 c simplerounding : 0.01 0.00 0 0
34.19/34.28 c zirounding : 0.04 0.00 1000 0
34.19/34.28 c rounding : 0.40 0.00 9047 2
34.19/34.28 c shifting : 0.79 0.00 641 0
34.19/34.28 c intshifting : 0.00 0.00 0 0
34.19/34.28 c twoopt : 0.00 0.00 0 0
34.19/34.28 c indtwoopt : 0.00 0.00 0 0
34.19/34.28 c indoneopt : 0.02 0.00 0 0
34.19/34.28 c fixandinfer : 0.00 0.00 0 0
34.19/34.28 c feaspump : 0.02 0.00 1 0
34.19/34.28 c clique : 0.00 0.00 0 0
34.19/34.28 c indrounding : 0.00 0.00 0 0
34.19/34.28 c indcoefdiving : 0.00 0.00 0 0
34.19/34.28 c nlpdiving : 0.00 0.00 0 0
34.19/34.28 c intdiving : 0.00 0.00 0 0
34.19/34.28 c actconsdiving : 0.00 0.00 0 0
34.19/34.28 c guideddiving : 0.33 0.00 123 2
34.19/34.28 c octane : 0.00 0.00 0 0
34.19/34.28 c rens : 0.01 0.00 0 0
34.19/34.28 c rins : 0.00 0.00 0 0
34.19/34.28 c localbranching : 0.00 0.00 0 0
34.19/34.28 c mutation : 0.00 0.00 0 0
34.19/34.28 c dins : 0.00 0.00 0 0
34.19/34.28 c vbounds : 0.00 0.00 0 0
34.19/34.28 c undercover : 0.00 0.00 0 0
34.19/34.28 c subnlp : 0.01 0.00 0 0
34.19/34.28 c trysol : 0.02 0.00 0 0
34.19/34.28 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
34.19/34.28 c primal LP : 0.00 1 0 0.00 - 0.00 1
34.19/34.28 c dual LP : 12.58 34459 447778 13.67 35584.66 0.18 1707
34.19/34.28 c lex dual LP : 0.00 0 0 0.00 -
34.19/34.28 c barrier LP : 0.00 0 0 0.00 - 0.00 0
34.19/34.28 c diving/probing LP: 1.36 4262 42276 9.92 31143.57
34.19/34.28 c strong branching : 3.68 2769 98151 35.45 26646.93
34.19/34.28 c (at root node) : - 10 2661 266.10 -
34.19/34.28 c conflict analysis: 0.00 0 0 0.00 -
34.19/34.28 c B&B Tree :
34.19/34.28 c number of runs : 1
34.19/34.28 c nodes : 38850
34.19/34.28 c nodes (total) : 38850
34.19/34.28 c nodes left : 0
34.19/34.28 c max depth : 45
34.19/34.28 c max depth (total): 45
34.19/34.28 c backtracks : 9725 (25.0%)
34.19/34.28 c delayed cutoffs : 3006
34.19/34.28 c repropagations : 28784 (173838 domain reductions, 2152 cutoffs)
34.19/34.28 c avg switch length: 5.18
34.19/34.28 c switching time : 3.57
34.19/34.28 c Solution :
34.19/34.28 c Solutions found : 16 (16 improvements)
34.19/34.28 c First Solution : +5.20000000000000e+01 (in run 1, after 349 nodes, 3.74 seconds, depth 29, found by <objpscostdiving>)
34.19/34.28 c Primal Bound : +2.50000000000000e+01 (in run 1, after 7960 nodes, 12.30 seconds, depth 22, found by <relaxation>)
34.19/34.28 c Dual Bound : +2.50000000000000e+01
34.19/34.28 c Gap : 0.00 %
34.19/34.28 c Root Dual Bound : +2.10000000000000e+01
34.19/34.28 c Root Iterations : 2136
34.19/34.29 c Time complete: 34.27.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692153-1338034835/watcher-3692153-1338034835 -o /tmp/evaluation-result-3692153-1338034835/solver-3692153-1338034835 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692153-1338034835.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4427
/proc/meminfo: memFree=28389124/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=12688 CPUtime=0 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 1935 0 0 0 0 0 0 0 20 0 1 0 269608978 12992512 1890 33554432000 4194304 10219143 140734881586176 140735039702344 8844210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 3172 1890 421 1471 0 1692 0
[startup+0.0815599 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4427
/proc/meminfo: memFree=28389124/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=33716 CPUtime=0.07 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 7220 0 0 0 6 1 0 0 20 0 1 0 269608978 34525184 6918 33554432000 4194304 10219143 140734881586176 140734881449672 8891101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 8429 6918 819 1471 0 6949 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 33716
[startup+0.100318 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4427
/proc/meminfo: memFree=28389124/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=37560 CPUtime=0.09 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 8188 0 0 0 8 1 0 0 20 0 1 0 269608978 38461440 7886 33554432000 4194304 10219143 140734881586176 140734881449672 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9390 7886 825 1471 0 7910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37560
[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4427
/proc/meminfo: memFree=28389124/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=36496 CPUtime=0.29 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 8659 0 0 0 27 2 0 0 20 0 1 0 269608978 37371904 7651 33554432000 4194304 10219143 140734881586176 140734881449672 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9124 7651 842 1471 0 7644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36496
[startup+0.700302 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4427
/proc/meminfo: memFree=28389124/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=36980 CPUtime=0.69 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 9106 0 0 0 67 2 0 0 20 0 1 0 269608978 37867520 8098 33554432000 4194304 10219143 140734881586176 140734881449672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9245 8098 845 1471 0 7765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36980
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4428
/proc/meminfo: memFree=28359472/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=36980 CPUtime=1.49 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 9109 0 0 0 144 5 0 0 20 0 1 0 269608978 37867520 8101 33554432000 4194304 10219143 140734881586176 140734881579640 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9245 8101 848 1471 0 7765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36980
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4428
/proc/meminfo: memFree=28356248/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=36980 CPUtime=3.09 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 9109 0 0 0 299 10 0 0 20 0 1 0 269608978 37867520 8101 33554432000 4194304 10219143 140734881586176 140734881579624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9245 8101 848 1471 0 7765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36980
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4428
/proc/meminfo: memFree=28352528/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=36980 CPUtime=6.29 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 9114 0 0 0 611 18 0 0 20 0 1 0 269608978 37867520 8106 33554432000 4194304 10219143 140734881586176 140734881579848 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9245 8106 849 1471 0 7765 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36980
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4428
/proc/meminfo: memFree=28345780/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=37652 CPUtime=12.69 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 11180 0 0 0 1230 39 0 0 20 0 1 0 269608978 38555648 8298 33554432000 4194304 10219143 140734881586176 140734881579800 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9413 8298 853 1471 0 7933 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37652
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4428
/proc/meminfo: memFree=28332564/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=38912 CPUtime=25.49 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 14149 0 0 0 2459 90 0 0 20 0 1 0 269608978 39845888 8598 33554432000 4194304 10219143 140734881586176 140734881579480 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9728 8598 855 1471 0 8248 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38912
Solver just ended. Dumping a history of the last processes samples
[startup+28.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4428
/proc/meminfo: memFree=28328356/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=38912 CPUtime=28.68 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 14149 0 0 0 2767 101 0 0 20 0 1 0 269608978 39845888 8598 33554432000 4194304 10219143 140734881586176 140734881579896 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9728 8598 855 1471 0 8248 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 38912
[startup+31.9063 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4428
/proc/meminfo: memFree=28325496/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=37004 CPUtime=31.89 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 16708 0 0 0 3076 113 0 0 20 0 1 0 269608978 37892096 8218 33554432000 4194304 10219143 140734881586176 140734881582648 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9251 8218 855 1471 0 7771 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 37004
[startup+33.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4428
/proc/meminfo: memFree=28324504/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=37004 CPUtime=33.48 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 16708 0 0 0 3228 120 0 0 20 0 1 0 269608978 37892096 8218 33554432000 4194304 10219143 140734881586176 140734881579432 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9251 8218 855 1471 0 7771 0
Current children cumulated CPU time (s) 33.48
Current children cumulated vsize (KiB) 37004
[startup+33.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4428
/proc/meminfo: memFree=28324504/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=37004 CPUtime=33.89 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 16708 0 0 0 3268 121 0 0 20 0 1 0 269608978 37892096 8218 33554432000 4194304 10219143 140734881586176 140734881579432 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9251 8218 855 1471 0 7771 0
Current children cumulated CPU time (s) 33.89
Current children cumulated vsize (KiB) 37004
[startup+34.1063 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4428
/proc/meminfo: memFree=28323140/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=37004 CPUtime=34.09 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 16708 0 0 0 3288 121 0 0 20 0 1 0 269608978 37892096 8218 33554432000 4194304 10219143 140734881586176 140734881579816 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9251 8218 855 1471 0 7771 0
Current children cumulated CPU time (s) 34.09
Current children cumulated vsize (KiB) 37004
[startup+34.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4428
/proc/meminfo: memFree=28323140/32873852 swapFree=7616/7616
[pid=4427] ppid=4425 vsize=37004 CPUtime=34.19 cores=0,2,4,6
/proc/4427/stat : 4427 (scip-2.1.1.4exp) R 4425 4427 403 0 -1 4202496 16708 0 0 0 3297 122 0 0 20 0 1 0 269608978 37892096 8218 33554432000 4194304 10219143 140734881586176 140734881579816 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4427/statm: 9251 8218 855 1471 0 7771 0
Current children cumulated CPU time (s) 34.19
Current children cumulated vsize (KiB) 37004
Child status: 0
Real time (s): 34.2918
CPU time (s): 34.2848
CPU user time (s): 33.059
CPU system time (s): 1.22581
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 45824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.059
system time used= 1.22581
maximum resident set size= 44916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 36
runsolver used 0.079987 second user time and 0.154976 second system time
The end