0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3488603-1307784232.opb>
0.00/0.02 c original problem has 3302 variables (3302 bin, 0 int, 0 impl, 0 cont) and 3502 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.06 c (round 1) 3102 del vars, 400 del conss, 0 add conss, 3102 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12408 impls, 0 clqs
0.00/0.07 c (round 2) 3102 del vars, 400 del conss, 0 add conss, 3102 chg bounds, 0 chg sides, 0 chg coeffs, 3102 upgd conss, 12408 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 3102 deleted vars, 400 deleted constraints, 0 added constraints, 3102 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 18610 implications, 0 cliques
0.09/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3102 constraints
0.09/0.10 c 3102 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.07
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1797
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.12 o -1
0.09/0.12 c R 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.12 o -2
0.09/0.12 c s 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.18 o -19
0.09/0.18 c y 0.2s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-1.900000e+01 | 81.00%
0.19/0.20 c 0.2s| 1 | 0 | 317 | - | 10M| 0 | 191 | 200 |3102 | 200 |3107 | 5 | 0 | 0 |-9.550000e+01 |-1.900000e+01 | 80.10%
0.19/0.28 c 0.3s| 1 | 0 | 522 | - | 10M| 0 | 180 | 200 |3102 | 200 |3118 | 16 | 0 | 0 |-9.000000e+01 |-1.900000e+01 | 78.89%
0.29/0.33 c 0.3s| 1 | 0 | 582 | - | 10M| 0 | 174 | 200 |3102 | 200 |3127 | 25 | 0 | 0 |-8.700000e+01 |-1.900000e+01 | 78.16%
0.39/0.41 c 0.4s| 1 | 0 | 702 | - | 10M| 0 | 168 | 200 |3102 | 200 |3140 | 38 | 0 | 0 |-8.400000e+01 |-1.900000e+01 | 77.38%
0.49/0.52 c 0.5s| 1 | 0 | 986 | - | 10M| 0 | 163 | 200 |3102 | 200 |3146 | 44 | 0 | 0 |-8.150000e+01 |-1.900000e+01 | 76.69%
0.49/0.57 c 0.6s| 1 | 0 | 1050 | - | 10M| 0 | 159 | 200 |3102 | 200 |3152 | 50 | 0 | 0 |-7.950000e+01 |-1.900000e+01 | 76.10%
0.59/0.65 c 0.6s| 1 | 0 | 1240 | - | 10M| 0 | 159 | 200 |3102 | 200 |3160 | 58 | 0 | 0 |-7.825000e+01 |-1.900000e+01 | 75.72%
0.69/0.72 c 0.7s| 1 | 0 | 1334 | - | 10M| 0 | 162 | 200 |3102 | 200 |3165 | 63 | 0 | 0 |-7.713333e+01 |-1.900000e+01 | 75.37%
0.79/0.84 c 0.8s| 1 | 0 | 1721 | - | 10M| 0 | 154 | 200 |3102 | 200 |3177 | 75 | 0 | 0 |-7.533333e+01 |-1.900000e+01 | 74.78%
0.89/0.92 c 0.9s| 1 | 0 | 1971 | - | 11M| 0 | 153 | 200 |3102 | 200 |3185 | 83 | 0 | 0 |-7.350000e+01 |-1.900000e+01 | 74.15%
0.89/0.98 c 1.0s| 1 | 0 | 2101 | - | 11M| 0 | 149 | 200 |3102 | 200 | 484 | 93 | 0 | 0 |-7.150000e+01 |-1.900000e+01 | 73.43%
1.00/1.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.01 c 1.0s| 1 | 0 | 2250 | - | 11M| 0 | 147 | 200 |3102 | 200 | 494 | 103 | 0 | 0 |-6.950000e+01 |-1.900000e+01 | 72.66%
1.00/1.04 c 1.0s| 1 | 0 | 2456 | - | 11M| 0 | 163 | 200 |3102 | 200 | 569 | 178 | 0 | 0 |-6.722222e+01 |-1.900000e+01 | 71.74%
1.09/1.10 c 1.1s| 1 | 0 | 2696 | - | 11M| 0 | 147 | 200 |3102 | 200 | 860 | 469 | 0 | 0 |-6.571429e+01 |-1.900000e+01 | 71.09%
1.09/1.17 c 1.2s| 1 | 0 | 3098 | - | 11M| 0 | 160 | 200 |3102 | 200 | 877 | 486 | 0 | 0 |-6.410000e+01 |-1.900000e+01 | 70.36%
1.19/1.26 c 1.3s| 1 | 0 | 3468 | - | 12M| 0 | 123 | 200 |3102 | 200 |1068 | 677 | 0 | 0 |-6.250000e+01 |-1.900000e+01 | 69.60%
1.29/1.30 c 1.3s| 1 | 0 | 3720 | - | 12M| 0 | 123 | 200 |3102 | 200 | 897 | 694 | 0 | 0 |-6.150000e+01 |-1.900000e+01 | 69.11%
1.29/1.34 c 1.3s| 1 | 0 | 3844 | - | 12M| 0 | 149 | 200 |3102 | 200 | 905 | 702 | 0 | 0 |-6.100000e+01 |-1.900000e+01 | 68.85%
1.39/1.45 c 1.4s| 1 | 0 | 4789 | - | 13M| 0 | 148 | 200 |3102 | 200 | 946 | 743 | 0 | 0 |-6.033333e+01 |-1.900000e+01 | 68.51%
1.49/1.51 c 1.5s| 1 | 0 | 5338 | - | 13M| 0 | 164 | 200 |3102 | 200 |1014 | 811 | 0 | 0 |-5.960000e+01 |-1.900000e+01 | 68.12%
1.59/1.60 c 1.6s| 1 | 0 | 6204 | - | 13M| 0 | 158 | 200 |3102 | 200 |1064 | 861 | 0 | 0 |-5.871644e+01 |-1.900000e+01 | 67.64%
1.69/1.70 c 1.7s| 1 | 0 | 6697 | - | 13M| 0 | 162 | 200 |3102 | 200 |1169 | 966 | 0 | 0 |-5.745455e+01 |-1.900000e+01 | 66.93%
1.79/1.80 c 1.8s| 1 | 0 | 7123 | - | 14M| 0 | 160 | 200 |3102 | 200 | 997 |1015 | 0 | 0 |-5.669492e+01 |-1.900000e+01 | 66.49%
1.79/1.86 c 1.9s| 1 | 0 | 7380 | - | 14M| 0 | 155 | 200 |3102 | 200 |1025 |1043 | 0 | 0 |-5.625000e+01 |-1.900000e+01 | 66.22%
1.89/1.92 c 1.9s| 1 | 0 | 7739 | - | 15M| 0 | 169 | 200 |3102 | 200 |1040 |1058 | 0 | 0 |-5.593050e+01 |-1.900000e+01 | 66.03%
1.99/2.00 c 2.0s| 1 | 0 | 7985 | - | 15M| 0 | 172 | 200 |3102 | 200 |1071 |1089 | 0 | 0 |-5.563387e+01 |-1.900000e+01 | 65.85%
1.99/2.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.09 c 2.1s| 1 | 0 | 8383 | - | 16M| 0 | 173 | 200 |3102 | 200 |1099 |1117 | 0 | 0 |-5.511965e+01 |-1.900000e+01 | 65.53%
2.20/2.21 c 2.2s| 1 | 0 | 8993 | - | 17M| 0 | 180 | 200 |3102 | 200 |1115 |1133 | 0 | 0 |-5.440639e+01 |-1.900000e+01 | 65.08%
2.29/2.32 c 2.3s| 1 | 0 | 9488 | - | 17M| 0 | 182 | 200 |3102 | 200 | 651 |1153 | 0 | 0 |-5.380655e+01 |-1.900000e+01 | 64.69%
2.29/2.38 c 2.4s| 1 | 0 | 9683 | - | 17M| 0 | 181 | 200 |3102 | 200 | 670 |1172 | 0 | 0 |-5.347581e+01 |-1.900000e+01 | 64.47%
2.39/2.43 c 2.4s| 1 | 0 | 9848 | - | 17M| 0 | 182 | 200 |3102 | 200 | 691 |1193 | 0 | 0 |-5.322569e+01 |-1.900000e+01 | 64.30%
2.39/2.49 c 2.5s| 1 | 0 | 10157 | - | 17M| 0 | 180 | 200 |3102 | 200 | 714 |1216 | 0 | 0 |-5.262512e+01 |-1.900000e+01 | 63.90%
2.49/2.55 c 2.6s| 1 | 0 | 10383 | - | 17M| 0 | 179 | 200 |3102 | 200 | 735 |1237 | 0 | 0 |-5.225915e+01 |-1.900000e+01 | 63.64%
2.59/2.62 c 2.6s| 1 | 0 | 10670 | - | 17M| 0 | 183 | 200 |3102 | 200 | 745 |1247 | 0 | 0 |-5.190093e+01 |-1.900000e+01 | 63.39%
2.59/2.69 c 2.7s| 1 | 0 | 10925 | - | 17M| 0 | 186 | 200 |3102 | 200 | 490 |1270 | 0 | 0 |-5.159149e+01 |-1.900000e+01 | 63.17%
2.69/2.72 c 2.7s| 1 | 0 | 11020 | - | 17M| 0 | 190 | 200 |3102 | 200 | 502 |1282 | 0 | 0 |-5.146154e+01 |-1.900000e+01 | 63.08%
2.69/2.76 c 2.8s| 1 | 0 | 11136 | - | 17M| 0 | 187 | 200 |3102 | 200 | 510 |1290 | 0 | 0 |-5.130132e+01 |-1.900000e+01 | 62.96%
2.79/2.82 c 2.8s| 1 | 0 | 11456 | - | 17M| 0 | 191 | 200 |3102 | 200 | 532 |1312 | 0 | 0 |-5.099710e+01 |-1.900000e+01 | 62.74%
2.79/2.86 c 2.9s| 1 | 0 | 11621 | - | 17M| 0 | 189 | 200 |3102 | 200 | 545 |1325 | 0 | 0 |-5.077418e+01 |-1.900000e+01 | 62.58%
2.89/2.91 c 2.9s| 1 | 0 | 11762 | - | 17M| 0 | 192 | 200 |3102 | 200 | 553 |1333 | 0 | 0 |-5.067019e+01 |-1.900000e+01 | 62.50%
2.89/2.95 c 3.0s| 1 | 0 | 11873 | - | 17M| 0 | 194 | 200 |3102 | 200 | 432 |1343 | 0 | 0 |-5.055319e+01 |-1.900000e+01 | 62.42%
2.89/2.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.99 c 3.0s| 1 | 0 | 12030 | - | 17M| 0 | 193 | 200 |3102 | 200 | 444 |1355 | 0 | 0 |-5.036074e+01 |-1.900000e+01 | 62.27%
2.99/3.03 c 3.0s| 1 | 0 | 12118 | - | 17M| 0 | 194 | 200 |3102 | 200 | 458 |1369 | 0 | 0 |-5.024503e+01 |-1.900000e+01 | 62.19%
2.99/3.07 c 3.1s| 1 | 0 | 12185 | - | 17M| 0 | 198 | 200 |3102 | 200 | 464 |1375 | 0 | 0 |-5.016920e+01 |-1.900000e+01 | 62.13%
3.09/3.11 c 3.1s| 1 | 0 | 12246 | - | 17M| 0 | 196 | 200 |3102 | 200 | 472 |1383 | 0 | 0 |-5.007681e+01 |-1.900000e+01 | 62.06%
3.09/3.14 c 3.1s| 1 | 0 | 12341 | - | 17M| 0 | 197 | 200 |3102 | 200 | 482 |1393 | 0 | 0 |-5.001726e+01 |-1.900000e+01 | 62.01%
3.09/3.19 c 3.2s| 1 | 0 | 12447 | - | 17M| 0 | 196 | 200 |3102 | 200 | 416 |1401 | 0 | 0 |-4.993332e+01 |-1.900000e+01 | 61.95%
3.20/3.23 c 3.2s| 1 | 0 | 12622 | - | 17M| 0 | 198 | 200 |3102 | 200 | 429 |1414 | 0 | 0 |-4.984512e+01 |-1.900000e+01 | 61.88%
3.20/3.27 c 3.3s| 1 | 0 | 12741 | - | 17M| 0 | 197 | 200 |3102 | 200 | 439 |1424 | 0 | 0 |-4.965693e+01 |-1.900000e+01 | 61.74%
3.30/3.31 c 3.3s| 1 | 0 | 12911 | - | 17M| 0 | 198 | 200 |3102 | 200 | 449 |1434 | 0 | 0 |-4.948977e+01 |-1.900000e+01 | 61.61%
3.30/3.35 c 3.4s| 1 | 0 | 13031 | - | 17M| 0 | 199 | 200 |3102 | 200 | 461 |1446 | 0 | 0 |-4.932855e+01 |-1.900000e+01 | 61.48%
3.30/3.39 c 3.4s| 1 | 0 | 13104 | - | 17M| 0 | 199 | 200 |3102 | 200 | 471 |1456 | 0 | 0 |-4.926214e+01 |-1.900000e+01 | 61.43%
3.39/3.43 c 3.4s| 1 | 0 | 13191 | - | 17M| 0 | 199 | 200 |3102 | 200 | 421 |1465 | 0 | 0 |-4.916925e+01 |-1.900000e+01 | 61.36%
3.39/3.47 c 3.5s| 1 | 0 | 13307 | - | 17M| 0 | 199 | 200 |3102 | 200 | 431 |1475 | 0 | 0 |-4.906189e+01 |-1.900000e+01 | 61.27%
3.49/3.51 c 3.5s| 1 | 0 | 13430 | - | 17M| 0 | 200 | 200 |3102 | 200 | 441 |1485 | 0 | 0 |-4.897384e+01 |-1.900000e+01 | 61.20%
3.49/3.55 c 3.5s| 1 | 0 | 13525 | - | 17M| 0 | 199 | 200 |3102 | 200 | 449 |1493 | 0 | 0 |-4.890134e+01 |-1.900000e+01 | 61.15%
3.49/3.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.49/3.59 c 3.6s| 1 | 0 | 13670 | - | 17M| 0 | 200 | 200 |3102 | 200 | 458 |1502 | 0 | 0 |-4.880682e+01 |-1.900000e+01 | 61.07%
3.59/3.63 c 3.6s| 1 | 0 | 13840 | - | 17M| 0 | 199 | 200 |3102 | 200 | 469 |1513 | 0 | 0 |-4.873755e+01 |-1.900000e+01 | 61.02%
3.59/3.67 c 3.7s| 1 | 0 | 13917 | - | 17M| 0 | 200 | 200 |3102 | 200 | 434 |1522 | 0 | 0 |-4.871006e+01 |-1.900000e+01 | 60.99%
3.69/3.71 c 3.7s| 1 | 0 | 13987 | - | 17M| 0 | 199 | 200 |3102 | 200 | 441 |1529 | 0 | 0 |-4.868244e+01 |-1.900000e+01 | 60.97%
3.69/3.75 c 3.7s| 1 | 0 | 14054 | - | 17M| 0 | 199 | 200 |3102 | 200 | 448 |1536 | 0 | 0 |-4.864927e+01 |-1.900000e+01 | 60.94%
3.69/3.78 c 3.8s| 1 | 0 | 14078 | - | 17M| 0 | 199 | 200 |3102 | 200 | 456 |1544 | 0 | 0 |-4.864543e+01 |-1.900000e+01 | 60.94%
3.79/3.82 c 3.8s| 1 | 0 | 14092 | - | 17M| 0 | 199 | 200 |3102 | 200 | 463 |1551 | 0 | 0 |-4.864382e+01 |-1.900000e+01 | 60.94%
3.79/3.85 c 3.9s| 1 | 0 | 14123 | - | 17M| 0 | 199 | 200 |3102 | 200 | 471 |1559 | 0 | 0 |-4.863949e+01 |-1.900000e+01 | 60.94%
3.79/3.89 c 3.9s| 1 | 0 | 14153 | - | 17M| 0 | 200 | 200 |3102 | 200 | 417 |1565 | 0 | 0 |-4.863545e+01 |-1.900000e+01 | 60.93%
3.89/3.92 c 3.9s| 1 | 0 | 14158 | - | 17M| 0 | 200 | 200 |3102 | 200 | 419 |1567 | 0 | 0 |-4.863523e+01 |-1.900000e+01 | 60.93%
4.59/4.68 c 4.7s| 1 | 2 | 14158 | - | 17M| 0 | 200 | 200 |3102 | 200 | 419 |1567 | 0 | 17 |-4.863523e+01 |-1.900000e+01 | 60.93%
6.00/6.05 o -20
6.00/6.05 c z 6.0s| 35 | 36 | 17597 | 101.1 | 17M| 13 | 14 | 200 |3102 | 200 | 254 |1807 | 0 | 641 |-4.843863e+01 |-2.000000e+01 | 58.71%
6.00/6.05 o -22
6.00/6.05 c * 6.0s| 36 | 32 | 17606 | 98.5 | 17M| 14 | - | 200 |3102 | 200 | 251 |1811 | 0 | 650 |-4.843863e+01 |-2.200000e+01 | 54.58%
6.39/6.46 o -23
6.39/6.46 c R 6.5s| 62 | 45 | 18878 | 77.4 | 17M| 15 | 5 | 200 |3102 | 200 | 224 |1932 | 0 | 913 |-4.843123e+01 |-2.300000e+01 | 52.51%
6.39/6.46 o -24
6.39/6.46 c z 6.5s| 62 | 44 | 18878 | 77.4 | 17M| 15 | - | 200 |3102 | 200 | 224 |1932 | 0 | 913 |-4.843123e+01 |-2.400000e+01 | 50.45%
6.99/7.00 o -25
6.99/7.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.99/7.00 c * 7.0s| 165 | 87 | 21894 | 47.2 | 17M| 15 | - | 200 |3102 | 200 | 235 |2872 | 0 |1372 |-4.843123e+01 |-2.500000e+01 | 48.38%
6.99/7.03 o -26
6.99/7.03 c * 7.0s| 185 | 91 | 22452 | 45.1 | 17M| 15 | - | 200 |3102 | 200 | 235 |3043 | 0 |1385 |-4.843123e+01 |-2.600000e+01 | 46.32%
18.09/18.19 o -27
18.09/18.19 c *18.2s| 9720 | 4528 |300678 | 29.5 | 30M| 51 | - | 200 |3102 | 200 | 252 | 108k| 0 |1524 |-4.538976e+01 |-2.700000e+01 | 40.52%
18.38/18.43 c 18.4s| 10000 | 4616 |306504 | 29.2 | 30M| 51 | - | 200 |3102 | 200 | 231 | 111k| 0 |1524 |-4.536471e+01 |-2.700000e+01 | 40.48%
26.59/26.60 o -28
26.59/26.60 c *26.6s| 19893 | 6604 |512535 | 25.1 | 37M| 57 | - | 200 |3102 | 200 | 222 | 214k| 0 |2014 |-4.472997e+01 |-2.800000e+01 | 37.40%
26.59/26.68 c 26.7s| 20000 | 6635 |514495 | 25.0 | 37M| 57 | - | 200 |3102 | 200 | 219 | 215k| 0 |2014 |-4.472833e+01 |-2.800000e+01 | 37.40%
34.18/34.21 c 34.2s| 30000 | 9209 |705100 | 23.0 | 44M| 63 | - | 200 |3102 | 200 | 215 | 318k| 0 |2489 |-4.433777e+01 |-2.800000e+01 | 36.85%
40.98/41.08 c 41.1s| 40000 | 11447 |880671 | 21.7 | 51M| 65 | 14 | 200 |3102 | 200 | 229 | 417k| 0 |2867 |-4.408768e+01 |-2.800000e+01 | 36.49%
47.99/48.06 c 48.1s| 50000 | 13707 | 1062k| 21.0 | 58M| 65 | 12 | 200 |3102 | 200 | 220 | 516k| 0 |3224 |-4.386011e+01 |-2.800000e+01 | 36.16%
55.18/55.20 c 55.2s| 60000 | 15685 | 1235k| 20.3 | 64M| 65 | - | 200 |3102 | 200 | 209 | 612k| 0 |3514 |-4.365000e+01 |-2.800000e+01 | 35.85%
62.28/62.38 c 62.4s| 70000 | 17725 | 1406k| 19.9 | 70M| 65 | 28 | 200 |3102 | 200 | 225 | 710k| 0 |3851 |-4.348571e+01 |-2.800000e+01 | 35.61%
69.39/69.49 c 69.5s| 80000 | 19671 | 1574k| 19.5 | 76M| 67 | - | 200 |3102 | 200 | 227 | 805k| 0 |4154 |-4.331910e+01 |-2.800000e+01 | 35.36%
76.48/76.58 c 76.6s| 90000 | 21633 | 1743k| 19.2 | 82M| 67 | 20 | 200 |3102 | 200 | 211 | 900k| 0 |4421 |-4.314570e+01 |-2.800000e+01 | 35.10%
83.60/83.67 c 83.7s|100000 | 23515 | 1913k| 19.0 | 89M| 72 | - | 200 |3102 | 200 | 224 | 994k| 0 |4684 |-4.293509e+01 |-2.800000e+01 | 34.79%
90.29/90.33 c 90.3s|110000 | 25131 | 2072k| 18.7 | 94M| 73 | 35 | 200 |3102 | 200 | 200 |1085k| 0 |4876 |-4.280000e+01 |-2.800000e+01 | 34.58%
97.19/97.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.19/97.23 c 97.2s|120000 | 26933 | 2238k| 18.5 | 100M| 75 | - | 200 |3102 | 200 | 235 |1178k| 0 |5149 |-4.266332e+01 |-2.800000e+01 | 34.37%
104.19/104.23 c 104s|130000 | 28729 | 2407k| 18.4 | 105M| 75 | - | 200 |3102 | 200 | 211 |1269k| 0 |5362 |-4.251613e+01 |-2.800000e+01 | 34.14%
110.99/111.03 c 111s|140000 | 30495 | 2570k| 18.3 | 111M| 75 | - | 200 |3102 | 200 | 233 |1360k| 0 |5606 |-4.241611e+01 |-2.800000e+01 | 33.99%
117.49/117.58 c 118s|150000 | 32045 | 2726k| 18.1 | 116M| 76 | 14 | 200 |3102 | 200 | 212 |1452k| 0 |5800 |-4.231579e+01 |-2.800000e+01 | 33.83%
124.19/124.26 c 124s|160000 | 33859 | 2886k| 18.0 | 121M| 76 | - | 200 |3102 | 200 | 229 |1542k| 0 |5981 |-4.221053e+01 |-2.800000e+01 | 33.67%
130.68/130.78 c 131s|170000 | 35605 | 3042k| 17.8 | 127M| 76 | - | 200 |3102 | 200 | 213 |1632k| 0 |6155 |-4.209750e+01 |-2.800000e+01 | 33.49%
137.29/137.32 c 137s|180000 | 37213 | 3198k| 17.7 | 132M| 76 | - | 200 |3102 | 200 | 214 |1721k| 0 |6383 |-4.200000e+01 |-2.800000e+01 | 33.33%
143.69/143.77 c 144s|190000 | 38763 | 3352k| 17.6 | 137M| 80 | 20 | 200 |3102 | 200 | 200 |1811k| 0 |6548 |-4.195283e+01 |-2.800000e+01 | 33.26%
150.19/150.27 c 150s|200000 | 40273 | 3507k| 17.5 | 142M| 80 | - | 200 |3102 | 200 | 222 |1900k| 0 |6739 |-4.186364e+01 |-2.800000e+01 | 33.12%
156.69/156.70 c 157s|210000 | 41761 | 3661k| 17.4 | 146M| 80 | 56 | 200 |3102 | 200 | 200 |1990k| 0 |6864 |-4.179904e+01 |-2.800000e+01 | 33.01%
163.08/163.10 c 163s|220000 | 43197 | 3813k| 17.3 | 151M| 80 | - | 200 |3102 | 200 | 213 |2079k| 0 |7037 |-4.172727e+01 |-2.800000e+01 | 32.90%
169.40/169.44 c 169s|230000 | 44617 | 3962k| 17.2 | 156M| 80 | 41 | 200 |3102 | 200 | 213 |2166k| 0 |7218 |-4.166667e+01 |-2.800000e+01 | 32.80%
175.79/175.80 c 176s|240000 | 46023 | 4113k| 17.1 | 160M| 80 | 56 | 200 |3102 | 200 | 237 |2256k| 0 |7400 |-4.161905e+01 |-2.800000e+01 | 32.72%
182.09/182.12 c 182s|250000 | 47365 | 4263k| 17.0 | 164M| 80 | 20 | 200 |3102 | 200 | 216 |2346k| 0 |7568 |-4.155618e+01 |-2.800000e+01 | 32.62%
188.39/188.40 c 188s|260000 | 48795 | 4413k| 16.9 | 169M| 80 | - | 200 |3102 | 200 | 245 |2436k| 0 |7733 |-4.150000e+01 |-2.800000e+01 | 32.53%
194.70/194.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.70/194.73 c 195s|270000 | 50279 | 4566k| 16.9 | 174M| 80 | - | 200 |3102 | 200 | 245 |2523k| 0 |7853 |-4.142857e+01 |-2.800000e+01 | 32.41%
200.89/200.98 c 201s|280000 | 51629 | 4714k| 16.8 | 178M| 82 | 36 | 200 |3102 | 200 | 200 |2613k| 0 |8021 |-4.137410e+01 |-2.800000e+01 | 32.32%
207.09/207.13 c 207s|290000 | 53075 | 4860k| 16.7 | 182M| 82 | 22 | 200 |3102 | 200 | 211 |2701k| 0 |8189 |-4.133333e+01 |-2.800000e+01 | 32.26%
213.29/213.32 c 213s|300000 | 54415 | 5008k| 16.6 | 187M| 82 | 27 | 200 |3102 | 200 | 215 |2789k| 0 |8280 |-4.127083e+01 |-2.800000e+01 | 32.16%
219.59/219.62 c 220s|310000 | 55843 | 5158k| 16.6 | 191M| 82 | 7 | 200 |3102 | 200 | 200 |2878k| 0 |8447 |-4.120513e+01 |-2.800000e+01 | 32.05%
225.79/225.84 c 226s|320000 | 57219 | 5306k| 16.5 | 195M| 82 | 48 | 200 |3102 | 200 | 237 |2966k| 0 |8596 |-4.116667e+01 |-2.800000e+01 | 31.98%
231.89/231.96 c 232s|330000 | 58535 | 5452k| 16.5 | 200M| 82 | 36 | 200 |3102 | 200 | 228 |3055k| 0 |8694 |-4.111538e+01 |-2.800000e+01 | 31.90%
238.09/238.19 c 238s|340000 | 59977 | 5602k| 16.4 | 204M| 82 | - | 200 |3102 | 200 | 237 |3141k| 0 |8870 |-4.104545e+01 |-2.800000e+01 | 31.78%
244.39/244.44 c 244s|350000 | 61409 | 5750k| 16.4 | 208M| 82 | 56 | 200 |3102 | 200 | 219 |3230k| 0 |9011 |-4.100000e+01 |-2.800000e+01 | 31.71%
250.39/250.47 c 250s|360000 | 62679 | 5894k| 16.3 | 212M| 82 | 63 | 200 |3102 | 200 | 264 |3317k| 0 |9141 |-4.100000e+01 |-2.800000e+01 | 31.71%
256.59/256.69 c 257s|370000 | 64059 | 6041k| 16.3 | 217M| 82 | - | 200 |3102 | 200 | 230 |3407k| 0 |9316 |-4.098165e+01 |-2.800000e+01 | 31.68%
262.79/262.84 c 263s|380000 | 65491 | 6187k| 16.2 | 221M| 82 | 42 | 200 |3102 | 200 | 228 |3497k| 0 |9397 |-4.092308e+01 |-2.800000e+01 | 31.58%
268.79/268.83 c 269s|390000 | 66795 | 6328k| 16.2 | 225M| 82 | 52 | 200 |3102 | 200 | 245 |3583k| 0 |9567 |-4.087500e+01 |-2.800000e+01 | 31.50%
274.89/274.91 c 275s|400000 | 68111 | 6472k| 16.1 | 229M| 82 | 29 | 200 |3102 | 200 | 225 |3671k| 0 |9661 |-4.083333e+01 |-2.800000e+01 | 31.43%
280.99/281.08 c 281s|410000 | 69403 | 6619k| 16.1 | 233M| 82 | 5 | 200 |3102 | 200 | 215 |3760k| 0 |9825 |-4.079167e+01 |-2.800000e+01 | 31.36%
287.10/287.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.10/287.18 c 287s|420000 | 70673 | 6763k| 16.1 | 237M| 82 | - | 200 |3102 | 200 | 221 |3848k| 0 |9913 |-4.075000e+01 |-2.800000e+01 | 31.29%
293.19/293.21 c 293s|430000 | 71913 | 6904k| 16.0 | 241M| 82 | 66 | 200 |3102 | 200 | 249 |3935k| 0 | 10k|-4.071429e+01 |-2.800000e+01 | 31.23%
299.20/299.25 c 299s|440000 | 73251 | 7049k| 16.0 | 245M| 82 | 26 | 200 |3102 | 200 | 216 |4020k| 0 | 10k|-4.066667e+01 |-2.800000e+01 | 31.15%
305.19/305.20 c 305s|450000 | 74559 | 7191k| 15.9 | 249M| 82 | 28 | 200 |3102 | 200 | 213 |4109k| 0 | 10k|-4.062500e+01 |-2.800000e+01 | 31.08%
311.09/311.13 c 311s|460000 | 75783 | 7332k| 15.9 | 253M| 91 | 16 | 200 |3102 | 200 | 200 |4199k| 0 | 10k|-4.058333e+01 |-2.800000e+01 | 31.01%
316.99/317.03 c 317s|470000 | 76999 | 7471k| 15.9 | 257M| 91 | - | 200 |3102 | 200 | 223 |4283k| 0 | 10k|-4.054545e+01 |-2.800000e+01 | 30.94%
322.99/323.01 c 323s|480000 | 78163 | 7613k| 15.8 | 261M| 91 | - | 200 |3102 | 200 | 215 |4371k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
328.80/328.82 c 329s|490000 | 79387 | 7751k| 15.8 | 264M| 91 | 43 | 200 |3102 | 200 | 229 |4457k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
334.69/334.70 c 335s|500000 | 80561 | 7889k| 15.8 | 268M| 91 | 40 | 200 |3102 | 200 | 213 |4543k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
340.59/340.64 c 341s|510000 | 81781 | 8030k| 15.7 | 272M| 91 | - | 200 |3102 | 200 | 227 |4630k| 0 | 10k|-4.044444e+01 |-2.800000e+01 | 30.77%
346.59/346.61 c 347s|520000 | 82873 | 8171k| 15.7 | 275M| 91 | - | 200 |3102 | 200 | 233 |4720k| 0 | 11k|-4.040476e+01 |-2.800000e+01 | 30.70%
352.59/352.64 c 353s|530000 | 84071 | 8311k| 15.7 | 279M| 91 | - | 200 |3102 | 200 | 224 |4807k| 0 | 11k|-4.037500e+01 |-2.800000e+01 | 30.65%
358.49/358.53 c 359s|540000 | 85237 | 8451k| 15.6 | 283M| 91 | 8 | 200 |3102 | 200 | 200 |4895k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
364.39/364.43 c 364s|550000 | 86391 | 8591k| 15.6 | 286M| 91 | - | 200 |3102 | 200 | 200 |4985k| 0 | 11k|-4.030952e+01 |-2.800000e+01 | 30.54%
370.20/370.26 c 370s|560000 | 87513 | 8728k| 15.6 | 290M| 91 | - | 200 |3102 | 200 | 218 |5070k| 0 | 11k|-4.026667e+01 |-2.800000e+01 | 30.46%
375.99/376.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.99/376.10 c 376s|570000 | 88651 | 8866k| 15.5 | 293M| 91 | - | 200 |3102 | 200 | 232 |5158k| 0 | 11k|-4.025000e+01 |-2.800000e+01 | 30.43%
381.90/381.95 c 382s|580000 | 89909 | 9004k| 15.5 | 297M| 91 | 37 | 200 |3102 | 200 | 241 |5245k| 0 | 11k|-4.021053e+01 |-2.800000e+01 | 30.37%
387.90/387.93 c 388s|590000 | 91121 | 9145k| 15.5 | 301M| 91 | 50 | 200 |3102 | 200 | 237 |5332k| 0 | 11k|-4.017647e+01 |-2.800000e+01 | 30.31%
393.70/393.77 c 394s|600000 | 92257 | 9282k| 15.4 | 305M| 91 | 44 | 200 |3102 | 200 | 229 |5418k| 0 | 11k|-4.015000e+01 |-2.800000e+01 | 30.26%
399.60/399.67 c 400s|610000 | 93353 | 9421k| 15.4 | 308M| 91 | 43 | 200 |3102 | 200 | 200 |5507k| 0 | 12k|-4.011628e+01 |-2.800000e+01 | 30.20%
405.59/405.68 c 406s|620000 | 94529 | 9561k| 15.4 | 312M| 91 | 39 | 200 |3102 | 200 | 220 |5596k| 0 | 12k|-4.007143e+01 |-2.800000e+01 | 30.12%
411.79/411.81 c 412s|630000 | 95771 | 9706k| 15.4 | 316M| 91 | 59 | 200 |3102 | 200 | 254 |5687k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
417.79/417.82 c 418s|640000 | 97051 | 9849k| 15.4 | 320M| 91 | 40 | 200 |3102 | 200 | 222 |5776k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
423.69/423.78 c 424s|650000 | 98285 | 9991k| 15.3 | 324M| 91 | 40 | 200 |3102 | 200 | 217 |5864k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
429.59/429.63 c 430s|660000 | 99453 | 10129k| 15.3 | 327M| 91 | - | 200 |3102 | 200 | 218 |5951k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
435.50/435.55 c 436s|670000 |100667 | 10269k| 15.3 | 331M| 94 | - | 200 |3102 | 200 | 214 |6039k| 0 | 12k|-3.997500e+01 |-2.800000e+01 | 29.96%
441.29/441.35 c 441s|680000 |101767 | 10404k| 15.3 | 334M| 94 | 42 | 200 |3102 | 200 | 200 |6124k| 0 | 12k|-3.992593e+01 |-2.800000e+01 | 29.87%
447.20/447.26 c 447s|690000 |102963 | 10543k| 15.3 | 338M| 98 | 48 | 200 |3102 | 200 | 224 |6211k| 0 | 12k|-3.988889e+01 |-2.800000e+01 | 29.81%
452.99/453.10 c 453s|700000 |104063 | 10679k| 15.2 | 342M| 98 | 14 | 200 |3102 | 200 | 222 |6295k| 0 | 12k|-3.985714e+01 |-2.800000e+01 | 29.75%
458.79/458.87 c 459s|710000 |105175 | 10815k| 15.2 | 345M| 98 | - | 200 |3102 | 200 | 235 |6382k| 0 | 13k|-3.983333e+01 |-2.800000e+01 | 29.71%
464.69/464.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.69/464.79 c 465s|720000 |106327 | 10953k| 15.2 | 349M| 98 | - | 200 |3102 | 200 | 228 |6469k| 0 | 13k|-3.980000e+01 |-2.800000e+01 | 29.65%
470.70/470.74 c 471s|730000 |107509 | 11092k| 15.2 | 352M| 98 | 16 | 200 |3102 | 200 | 200 |6553k| 0 | 13k|-3.976238e+01 |-2.800000e+01 | 29.58%
476.49/476.57 c 477s|740000 |108627 | 11229k| 15.2 | 356M| 98 | 14 | 200 |3102 | 200 | 213 |6640k| 0 | 13k|-3.975000e+01 |-2.800000e+01 | 29.56%
482.29/482.38 c 482s|750000 |109663 | 11365k| 15.1 | 359M| 98 | - | 200 |3102 | 200 | 222 |6726k| 0 | 13k|-3.971429e+01 |-2.800000e+01 | 29.50%
487.99/488.07 c 488s|760000 |110635 | 11499k| 15.1 | 362M| 98 | 22 | 200 |3102 | 200 | 228 |6812k| 0 | 13k|-3.968310e+01 |-2.800000e+01 | 29.44%
493.80/493.90 c 494s|770000 |111727 | 11636k| 15.1 | 366M| 98 | 48 | 200 |3102 | 200 | 236 |6899k| 0 | 13k|-3.966667e+01 |-2.800000e+01 | 29.41%
499.49/499.58 c 500s|780000 |112873 | 11769k| 15.1 | 369M| 98 | 23 | 200 |3102 | 200 | 224 |6987k| 0 | 13k|-3.965909e+01 |-2.800000e+01 | 29.40%
505.39/505.41 c 505s|790000 |113985 | 11905k| 15.1 | 372M| 98 | - | 200 |3102 | 200 | 245 |7072k| 0 | 13k|-3.961538e+01 |-2.800000e+01 | 29.32%
511.19/511.27 c 511s|800000 |115101 | 12042k| 15.0 | 376M| 98 | 47 | 200 |3102 | 200 | 219 |7159k| 0 | 13k|-3.959763e+01 |-2.800000e+01 | 29.29%
517.00/517.05 c 517s|810000 |116115 | 12175k| 15.0 | 379M| 98 | 54 | 200 |3102 | 200 | 237 |7244k| 0 | 13k|-3.955556e+01 |-2.800000e+01 | 29.21%
522.89/522.90 c 523s|820000 |117223 | 12312k| 15.0 | 382M| 98 | - | 200 |3102 | 200 | 216 |7330k| 0 | 14k|-3.950000e+01 |-2.800000e+01 | 29.11%
528.50/528.55 c 529s|830000 |118319 | 12444k| 15.0 | 386M| 98 | 28 | 200 |3102 | 200 | 216 |7413k| 0 | 14k|-3.950000e+01 |-2.800000e+01 | 29.11%
534.30/534.36 c 534s|840000 |119471 | 12581k| 15.0 | 389M| 98 | 10 | 200 |3102 | 200 | 229 |7502k| 0 | 14k|-3.950000e+01 |-2.800000e+01 | 29.11%
540.11/540.19 c 540s|850000 |120591 | 12718k| 14.9 | 393M| 98 | - | 200 |3102 | 200 | 253 |7591k| 0 | 14k|-3.950000e+01 |-2.800000e+01 | 29.11%
545.89/545.98 c 546s|860000 |121731 | 12853k| 14.9 | 396M| 98 | - | 200 |3102 | 200 | 215 |7680k| 0 | 14k|-3.945455e+01 |-2.800000e+01 | 29.03%
551.60/551.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.60/551.67 c 552s|870000 |122817 | 12984k| 14.9 | 400M| 98 | - | 200 |3102 | 200 | 227 |7763k| 0 | 14k|-3.941667e+01 |-2.800000e+01 | 28.96%
557.30/557.35 c 557s|880000 |123887 | 13117k| 14.9 | 403M| 98 | 14 | 200 |3102 | 200 | 214 |7849k| 0 | 14k|-3.939754e+01 |-2.800000e+01 | 28.93%
563.11/563.18 c 563s|890000 |124965 | 13252k| 14.9 | 406M| 98 | 38 | 200 |3102 | 200 | 213 |7936k| 0 | 14k|-3.936207e+01 |-2.800000e+01 | 28.87%
568.80/568.88 c 569s|900000 |125871 | 13383k| 14.9 | 409M| 98 | 5 | 200 |3102 | 200 | 200 |8022k| 0 | 14k|-3.933333e+01 |-2.800000e+01 | 28.81%
574.50/574.59 c 575s|910000 |126997 | 13517k| 14.8 | 412M| 98 | - | 200 |3102 | 200 | 244 |8109k| 0 | 14k|-3.933333e+01 |-2.800000e+01 | 28.81%
580.19/580.27 c 580s|920000 |128015 | 13649k| 14.8 | 416M| 98 | - | 200 |3102 | 200 | 200 |8194k| 0 | 14k|-3.930000e+01 |-2.800000e+01 | 28.75%
585.79/585.85 c 586s|930000 |129031 | 13780k| 14.8 | 419M| 98 | 30 | 200 |3102 | 200 | 215 |8278k| 0 | 14k|-3.926667e+01 |-2.800000e+01 | 28.69%
591.49/591.54 c 592s|940000 |130039 | 13913k| 14.8 | 422M| 98 | - | 200 |3102 | 200 | 230 |8364k| 0 | 14k|-3.925000e+01 |-2.800000e+01 | 28.66%
597.10/597.12 c 597s|950000 |131031 | 14042k| 14.8 | 425M| 98 | 32 | 200 |3102 | 200 | 212 |8448k| 0 | 15k|-3.923077e+01 |-2.800000e+01 | 28.63%
600.39/600.44 o -30
600.39/600.44 c * 600s|955216 | 86218 | 14112k| 14.8 | 308M| 98 | - | 200 |3102 | 200 | 233 |8492k| 0 | 15k|-3.920833e+01 |-3.000000e+01 | 23.49%
603.20/603.20 c 603s|960000 | 86444 | 14174k| 14.8 | 308M| 98 | 15 | 200 |3102 | 200 | 212 |8534k| 0 | 15k|-3.920000e+01 |-3.000000e+01 | 23.47%
608.90/608.93 c 609s|970000 | 86946 | 14301k| 14.7 | 310M| 98 | 60 | 200 |3102 | 200 | 219 |8621k| 0 | 15k|-3.916667e+01 |-3.000000e+01 | 23.40%
614.60/614.60 c 615s|980000 | 87306 | 14429k| 14.7 | 312M| 98 | 54 | 200 |3102 | 200 | 213 |8712k| 0 | 15k|-3.913514e+01 |-3.000000e+01 | 23.34%
620.30/620.33 c 620s|990000 | 87730 | 14560k| 14.7 | 314M| 98 | 12 | 200 |3102 | 200 | 200 |8803k| 0 | 15k|-3.910811e+01 |-3.000000e+01 | 23.29%
625.90/625.99 c 626s| 1000k| 88216 | 14689k| 14.7 | 316M| 98 | - | 200 |3102 | 200 | 238 |8893k| 0 | 15k|-3.906667e+01 |-3.000000e+01 | 23.21%
631.70/631.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.70/631.73 c 632s| 1010k| 88586 | 14819k| 14.7 | 317M| 98 | - | 200 |3102 | 200 | 252 |8982k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
637.40/637.43 c 637s| 1020k| 88994 | 14950k| 14.6 | 319M| 98 | - | 200 |3102 | 200 | 224 |9072k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
643.00/643.06 c 643s| 1030k| 89378 | 15079k| 14.6 | 321M| 98 | - | 200 |3102 | 200 | 216 |9160k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
648.70/648.75 c 649s| 1040k| 89852 | 15209k| 14.6 | 323M| 98 | 18 | 200 |3102 | 200 | 215 |9250k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
654.40/654.48 c 654s| 1050k| 90266 | 15339k| 14.6 | 324M| 98 | - | 200 |3102 | 200 | 238 |9342k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
660.10/660.11 c 660s| 1060k| 90702 | 15466k| 14.6 | 326M| 98 | - | 200 |3102 | 200 | 216 |9428k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
665.80/665.88 c 666s| 1070k| 91142 | 15599k| 14.6 | 328M| 98 | 44 | 200 |3102 | 200 | 218 |9519k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
671.50/671.58 c 672s| 1080k| 91492 | 15729k| 14.6 | 330M| 98 | - | 200 |3102 | 200 | 211 |9612k| 0 | 16k|-3.900000e+01 |-3.000000e+01 | 23.08%
677.30/677.31 c 677s| 1090k| 91882 | 15859k| 14.5 | 331M| 98 | - | 200 |3102 | 200 | 232 |9702k| 0 | 16k|-3.894737e+01 |-3.000000e+01 | 22.97%
682.90/682.93 c 683s| 1100k| 92208 | 15985k| 14.5 | 333M| 98 | - | 200 |3102 | 200 | 229 |9793k| 0 | 16k|-3.891176e+01 |-3.000000e+01 | 22.90%
688.51/688.59 c 689s| 1110k| 92584 | 16114k| 14.5 | 335M| 98 | 6 | 200 |3102 | 200 | 200 |9883k| 0 | 16k|-3.887500e+01 |-3.000000e+01 | 22.83%
694.20/694.28 c 694s| 1120k| 92954 | 16240k| 14.5 | 336M| 98 | - | 200 |3102 | 200 | 215 |9971k| 0 | 16k|-3.885106e+01 |-3.000000e+01 | 22.78%
699.90/699.91 c 700s| 1130k| 93368 | 16367k| 14.5 | 338M| 98 | 49 | 200 |3102 | 200 | 247 | 10M| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
705.40/705.44 c 705s| 1140k| 93728 | 16492k| 14.5 | 339M| 98 | 38 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
710.90/710.94 c 711s| 1150k| 94036 | 16617k| 14.4 | 341M| 98 | - | 200 |3102 | 200 | 241 | 10M| 0 | 16k|-3.876923e+01 |-3.000000e+01 | 22.62%
716.50/716.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.50/716.54 c 717s| 1160k| 94432 | 16745k| 14.4 | 343M| 98 | - | 200 |3102 | 200 | 215 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
722.20/722.20 c 722s| 1170k| 94846 | 16873k| 14.4 | 344M| 98 | - | 200 |3102 | 200 | 248 | 10M| 0 | 16k|-3.873333e+01 |-3.000000e+01 | 22.55%
727.81/727.89 c 728s| 1180k| 95188 | 17002k| 14.4 | 346M| 98 | - | 200 |3102 | 200 | 215 | 10M| 0 | 16k|-3.870000e+01 |-3.000000e+01 | 22.48%
733.50/733.57 c 734s| 1190k| 95528 | 17128k| 14.4 | 347M| 98 | 9 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
739.11/739.14 c 739s| 1200k| 95906 | 17253k| 14.4 | 349M| 98 | - | 200 |3102 | 200 | 236 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
744.61/744.67 c 745s| 1210k| 96314 | 17379k| 14.4 | 350M| 98 | 39 | 200 |3102 | 200 | 215 | 10M| 0 | 16k|-3.865625e+01 |-3.000000e+01 | 22.39%
750.20/750.23 c 750s| 1220k| 96646 | 17505k| 14.3 | 352M| 98 | - | 200 |3102 | 200 | 241 | 10M| 0 | 17k|-3.861538e+01 |-3.000000e+01 | 22.31%
755.80/755.82 c 756s| 1230k| 96952 | 17630k| 14.3 | 353M| 98 | - | 200 |3102 | 200 | 216 | 10M| 0 | 17k|-3.859091e+01 |-3.000000e+01 | 22.26%
761.30/761.35 c 761s| 1240k| 97244 | 17753k| 14.3 | 355M| 98 | 7 | 200 |3102 | 200 | 225 | 11M| 0 | 17k|-3.855556e+01 |-3.000000e+01 | 22.19%
766.90/766.91 c 767s| 1250k| 97554 | 17878k| 14.3 | 356M| 98 | - | 200 |3102 | 200 | 213 | 11M| 0 | 17k|-3.851250e+01 |-3.000000e+01 | 22.10%
772.50/772.59 c 773s| 1260k| 97964 | 18005k| 14.3 | 358M| 98 | 38 | 200 |3102 | 200 | 215 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
778.00/778.06 c 778s| 1270k| 98284 | 18129k| 14.3 | 359M| 98 | 7 | 200 |3102 | 200 | 230 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
783.51/783.53 c 784s| 1280k| 98588 | 18251k| 14.2 | 360M| 98 | 26 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
789.00/789.00 c 789s| 1290k| 98916 | 18376k| 14.2 | 362M| 98 | 59 | 200 |3102 | 200 | 251 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
794.60/794.66 c 795s| 1300k| 99320 | 18505k| 14.2 | 363M| 98 | 33 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.846667e+01 |-3.000000e+01 | 22.01%
800.20/800.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
800.20/800.22 c 800s| 1310k| 99694 | 18628k| 14.2 | 365M| 98 | 9 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.842857e+01 |-3.000000e+01 | 21.93%
805.70/805.75 c 806s| 1320k| 99974 | 18749k| 14.2 | 366M| 98 | 55 | 200 |3102 | 200 | 273 | 11M| 0 | 17k|-3.840000e+01 |-3.000000e+01 | 21.87%
811.20/811.28 c 811s| 1330k|100346 | 18873k| 14.2 | 368M| 98 | - | 200 |3102 | 200 | 218 | 11M| 0 | 17k|-3.836842e+01 |-3.000000e+01 | 21.81%
816.70/816.76 c 817s| 1340k|100668 | 18997k| 14.2 | 369M| 98 | - | 200 |3102 | 200 | 227 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
822.20/822.25 c 822s| 1350k|100978 | 19120k| 14.2 | 371M| 98 | 54 | 200 |3102 | 200 | 246 | 12M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
827.60/827.69 c 828s| 1360k|101242 | 19241k| 14.1 | 372M| 101 | - | 200 |3102 | 200 | 215 | 12M| 0 | 18k|-3.832000e+01 |-3.000000e+01 | 21.71%
833.20/833.22 c 833s| 1370k|101500 | 19363k| 14.1 | 373M| 101 | - | 200 |3102 | 200 | 225 | 12M| 0 | 18k|-3.828571e+01 |-3.000000e+01 | 21.64%
838.70/838.76 c 839s| 1380k|101764 | 19486k| 14.1 | 374M| 101 | 65 | 200 |3102 | 200 | 246 | 12M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
840.50/840.52 o -31
840.50/840.52 c * 841s| 1382k| 76145 | 19522k| 14.1 | 299M| 101 | - | 200 |3102 | 200 | 227 | 12M| 0 | 18k|-3.825000e+01 |-3.100000e+01 | 18.95%
844.41/844.47 c 844s| 1390k| 76205 | 19604k| 14.1 | 299M| 101 | - | 200 |3102 | 200 | 200 | 12M| 0 | 18k|-3.825000e+01 |-3.100000e+01 | 18.95%
849.80/849.89 c 850s| 1400k| 76195 | 19719k| 14.1 | 300M| 101 | - | 200 |3102 | 200 | 256 | 12M| 0 | 18k|-3.825000e+01 |-3.100000e+01 | 18.95%
855.30/855.35 c 855s| 1410k| 76199 | 19837k| 14.1 | 300M| 101 | 40 | 200 |3102 | 200 | 200 | 12M| 0 | 18k|-3.820000e+01 |-3.100000e+01 | 18.85%
860.70/860.73 c 861s| 1420k| 76165 | 19953k| 14.0 | 301M| 101 | - | 200 |3102 | 200 | 239 | 12M| 0 | 18k|-3.818182e+01 |-3.100000e+01 | 18.81%
866.11/866.11 c 866s| 1430k| 76195 | 20071k| 14.0 | 301M| 101 | 20 | 200 |3102 | 200 | 200 | 12M| 0 | 18k|-3.816667e+01 |-3.100000e+01 | 18.78%
871.51/871.58 c 872s| 1440k| 76193 | 20186k| 14.0 | 302M| 101 | - | 200 |3102 | 200 | 212 | 12M| 0 | 18k|-3.812500e+01 |-3.100000e+01 | 18.69%
877.01/877.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.01/877.01 c 877s| 1450k| 76251 | 20304k| 14.0 | 302M| 101 | - | 200 |3102 | 200 | 237 | 12M| 0 | 18k|-3.810345e+01 |-3.100000e+01 | 18.64%
882.30/882.38 c 882s| 1460k| 76273 | 20419k| 14.0 | 303M| 101 | 48 | 200 |3102 | 200 | 224 | 12M| 0 | 18k|-3.807143e+01 |-3.100000e+01 | 18.57%
887.61/887.64 c 888s| 1470k| 76255 | 20533k| 14.0 | 303M| 101 | 39 | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
893.00/893.02 c 893s| 1480k| 76307 | 20650k| 13.9 | 303M| 101 | 14 | 200 |3102 | 200 | 216 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
898.30/898.39 c 898s| 1490k| 76311 | 20766k| 13.9 | 304M| 101 | - | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
903.80/903.87 c 904s| 1500k| 76297 | 20881k| 13.9 | 304M| 101 | 49 | 200 |3102 | 200 | 253 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
909.21/909.22 c 909s| 1510k| 76409 | 20997k| 13.9 | 305M| 101 | - | 200 |3102 | 200 | 232 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
914.61/914.61 c 915s| 1520k| 76417 | 21114k| 13.9 | 305M| 101 | - | 200 |3102 | 200 | 216 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
920.01/920.02 c 920s| 1530k| 76461 | 21231k| 13.9 | 306M| 101 | 43 | 200 |3102 | 200 | 216 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
925.31/925.39 c 925s| 1540k| 76445 | 21347k| 13.9 | 306M| 101 | - | 200 |3102 | 200 | 211 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
930.71/930.77 c 931s| 1550k| 76483 | 21464k| 13.8 | 307M| 101 | 22 | 200 |3102 | 200 | 220 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
936.20/936.24 c 936s| 1560k| 76475 | 21579k| 13.8 | 307M| 101 | 54 | 200 |3102 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
941.51/941.52 c 942s| 1570k| 76443 | 21692k| 13.8 | 307M| 101 | - | 200 |3102 | 200 | 225 | 13M| 0 | 19k|-3.794737e+01 |-3.100000e+01 | 18.31%
946.71/946.77 c 947s| 1580k| 76385 | 21802k| 13.8 | 308M| 101 | 10 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.790909e+01 |-3.100000e+01 | 18.23%
952.11/952.18 c 952s| 1590k| 76341 | 21917k| 13.8 | 308M| 101 | 33 | 200 |3102 | 200 | 212 | 14M| 0 | 19k|-3.787500e+01 |-3.100000e+01 | 18.15%
957.41/957.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.41/957.45 c 957s| 1600k| 76327 | 22029k| 13.8 | 308M| 101 | 63 | 200 |3102 | 200 | 254 | 14M| 0 | 19k|-3.784783e+01 |-3.100000e+01 | 18.09%
962.71/962.79 c 963s| 1610k| 76305 | 22140k| 13.7 | 308M| 101 | - | 200 |3102 | 200 | 255 | 14M| 0 | 19k|-3.783333e+01 |-3.100000e+01 | 18.06%
968.11/968.11 c 968s| 1620k| 76259 | 22253k| 13.7 | 309M| 101 | - | 200 |3102 | 200 | 237 | 14M| 0 | 19k|-3.780000e+01 |-3.100000e+01 | 17.99%
973.30/973.37 c 973s| 1630k| 76195 | 22366k| 13.7 | 309M| 101 | - | 200 |3102 | 200 | 231 | 14M| 0 | 19k|-3.776744e+01 |-3.100000e+01 | 17.92%
978.61/978.66 c 979s| 1640k| 76201 | 22478k| 13.7 | 309M| 101 | 13 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.775000e+01 |-3.100000e+01 | 17.88%
983.81/983.88 c 984s| 1650k| 76151 | 22588k| 13.7 | 309M| 101 | - | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.775000e+01 |-3.100000e+01 | 17.88%
989.11/989.17 c 989s| 1660k| 76107 | 22699k| 13.7 | 309M| 101 | - | 200 |3102 | 200 | 218 | 14M| 0 | 19k|-3.771429e+01 |-3.100000e+01 | 17.80%
994.41/994.45 c 994s| 1670k| 76025 | 22810k| 13.7 | 310M| 101 | 15 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.768750e+01 |-3.100000e+01 | 17.74%
999.71/999.72 c 1000s| 1680k| 76051 | 22923k| 13.6 | 310M| 101 | 31 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.766667e+01 |-3.100000e+01 | 17.70%
1004.81/1004.89 c 1005s| 1690k| 76023 | 23033k| 13.6 | 310M| 101 | 29 | 200 |3102 | 200 | 219 | 14M| 0 | 20k|-3.766667e+01 |-3.100000e+01 | 17.70%
1010.01/1010.09 c 1010s| 1700k| 76015 | 23144k| 13.6 | 311M| 101 | - | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.765625e+01 |-3.100000e+01 | 17.68%
1015.41/1015.42 c 1015s| 1710k| 75987 | 23252k| 13.6 | 311M| 101 | - | 200 |3102 | 200 | 235 | 15M| 0 | 20k|-3.761538e+01 |-3.100000e+01 | 17.59%
1020.61/1020.60 c 1021s| 1720k| 75873 | 23361k| 13.6 | 311M| 101 | - | 200 |3102 | 200 | 214 | 15M| 0 | 20k|-3.760000e+01 |-3.100000e+01 | 17.55%
1025.81/1025.82 c 1026s| 1730k| 75825 | 23470k| 13.6 | 311M| 101 | - | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.756818e+01 |-3.100000e+01 | 17.48%
1031.01/1031.03 c 1031s| 1740k| 75755 | 23579k| 13.5 | 311M| 101 | - | 200 |3102 | 200 | 239 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
1036.11/1036.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.11/1036.18 c 1036s| 1750k| 75673 | 23687k| 13.5 | 311M| 101 | - | 200 |3102 | 200 | 243 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
1041.41/1041.44 c 1041s| 1760k| 75613 | 23794k| 13.5 | 311M| 101 | 22 | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
1046.51/1046.59 c 1047s| 1770k| 75553 | 23904k| 13.5 | 311M| 101 | - | 200 |3102 | 200 | 225 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
1051.62/1051.63 c 1052s| 1780k| 75457 | 24010k| 13.5 | 311M| 105 | 30 | 200 |3102 | 200 | 213 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
1056.81/1056.83 c 1057s| 1790k| 75343 | 24118k| 13.5 | 311M| 105 | 45 | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
1061.91/1061.93 c 1062s| 1800k| 75323 | 24223k| 13.4 | 311M| 105 | 16 | 200 |3102 | 200 | 229 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
1067.11/1067.15 c 1067s| 1810k| 75277 | 24332k| 13.4 | 312M| 105 | - | 200 |3102 | 200 | 214 | 15M| 0 | 20k|-3.745000e+01 |-3.100000e+01 | 17.22%
1072.21/1072.29 c 1072s| 1820k| 75201 | 24438k| 13.4 | 312M| 105 | - | 200 |3102 | 200 | 239 | 15M| 0 | 20k|-3.741667e+01 |-3.100000e+01 | 17.15%
1077.21/1077.26 c 1077s| 1830k| 75129 | 24540k| 13.4 | 312M| 105 | - | 200 |3102 | 200 | 211 | 16M| 0 | 20k|-3.740000e+01 |-3.100000e+01 | 17.11%
1082.41/1082.46 c 1082s| 1840k| 75013 | 24647k| 13.4 | 312M| 105 | - | 200 |3102 | 200 | 248 | 16M| 0 | 20k|-3.737500e+01 |-3.100000e+01 | 17.06%
1087.51/1087.58 c 1088s| 1850k| 74923 | 24751k| 13.4 | 312M| 105 | 20 | 200 |3102 | 200 | 211 | 16M| 0 | 20k|-3.733333e+01 |-3.100000e+01 | 16.96%
1092.72/1092.79 c 1093s| 1860k| 74859 | 24859k| 13.4 | 312M| 105 | 33 | 200 |3102 | 200 | 200 | 16M| 0 | 20k|-3.733333e+01 |-3.100000e+01 | 16.96%
1097.82/1097.89 c 1098s| 1870k| 74699 | 24964k| 13.3 | 312M| 105 | 26 | 200 |3102 | 200 | 213 | 16M| 0 | 20k|-3.733333e+01 |-3.100000e+01 | 16.96%
1103.02/1103.06 c 1103s| 1880k| 74675 | 25071k| 13.3 | 312M| 105 | - | 200 |3102 | 200 | 225 | 16M| 0 | 20k|-3.728926e+01 |-3.100000e+01 | 16.87%
1108.11/1108.17 c 1108s| 1890k| 74549 | 25173k| 13.3 | 312M| 105 | - | 200 |3102 | 200 | 216 | 16M| 0 | 21k|-3.725000e+01 |-3.100000e+01 | 16.78%
1113.21/1113.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.21/1113.28 c 1113s| 1900k| 74427 | 25275k| 13.3 | 311M| 105 | - | 200 |3102 | 200 | 234 | 16M| 0 | 21k|-3.725000e+01 |-3.100000e+01 | 16.78%
1118.31/1118.34 c 1118s| 1910k| 74347 | 25379k| 13.3 | 312M| 105 | - | 200 |3102 | 200 | 247 | 16M| 0 | 21k|-3.723810e+01 |-3.100000e+01 | 16.75%
1123.31/1123.33 c 1123s| 1920k| 74239 | 25482k| 13.3 | 311M| 105 | - | 200 |3102 | 200 | 223 | 16M| 0 | 21k|-3.720000e+01 |-3.100000e+01 | 16.67%
1128.31/1128.30 c 1128s| 1930k| 74123 | 25584k| 13.2 | 311M| 105 | - | 200 |3102 | 200 | 208 | 16M| 0 | 21k|-3.718000e+01 |-3.100000e+01 | 16.62%
1133.41/1133.43 c 1133s| 1940k| 73981 | 25684k| 13.2 | 311M| 105 | 33 | 200 |3102 | 200 | 228 | 16M| 0 | 21k|-3.716667e+01 |-3.100000e+01 | 16.59%
1138.42/1138.47 c 1138s| 1950k| 73897 | 25787k| 13.2 | 311M| 105 | 3 | 200 |3102 | 200 | 200 | 17M| 0 | 21k|-3.713636e+01 |-3.100000e+01 | 16.52%
1143.31/1143.35 c 1143s| 1960k| 73737 | 25886k| 13.2 | 311M| 105 | - | 200 |3102 | 200 | 218 | 17M| 0 | 21k|-3.711538e+01 |-3.100000e+01 | 16.48%
1148.31/1148.32 c 1148s| 1970k| 73631 | 25986k| 13.2 | 311M| 105 | - | 200 |3102 | 200 | 249 | 17M| 0 | 21k|-3.709091e+01 |-3.100000e+01 | 16.42%
1153.31/1153.34 c 1153s| 1980k| 73471 | 26085k| 13.2 | 311M| 105 | - | 200 |3102 | 200 | 200 | 17M| 0 | 21k|-3.705882e+01 |-3.100000e+01 | 16.35%
1158.31/1158.39 c 1158s| 1990k| 73335 | 26187k| 13.2 | 310M| 105 | - | 200 |3102 | 200 | 214 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1163.31/1163.34 c 1163s| 2000k| 73233 | 26287k| 13.1 | 310M| 105 | - | 200 |3102 | 200 | 200 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1168.21/1168.23 c 1168s| 2010k| 73105 | 26387k| 13.1 | 310M| 107 | - | 200 |3102 | 200 | 215 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1173.22/1173.26 c 1173s| 2020k| 72987 | 26486k| 13.1 | 310M| 107 | 27 | 200 |3102 | 200 | 219 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1178.21/1178.23 c 1178s| 2030k| 72905 | 26586k| 13.1 | 310M| 107 | 63 | 200 |3102 | 200 | 230 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1183.02/1183.07 c 1183s| 2040k| 72739 | 26683k| 13.1 | 310M| 107 | 59 | 200 |3102 | 200 | 245 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1187.92/1188.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.92/1188.00 c 1188s| 2050k| 72603 | 26783k| 13.1 | 310M| 107 | - | 200 |3102 | 200 | 250 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1192.91/1192.95 c 1193s| 2060k| 72513 | 26881k| 13.0 | 309M| 107 | 48 | 200 |3102 | 200 | 223 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1197.92/1197.92 c 1198s| 2070k| 72323 | 26980k| 13.0 | 309M| 107 | 45 | 200 |3102 | 200 | 200 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1202.81/1202.83 c 1203s| 2080k| 72245 | 27081k| 13.0 | 309M| 107 | 26 | 200 |3102 | 200 | 214 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1207.72/1207.75 c 1208s| 2090k| 72171 | 27179k| 13.0 | 309M| 107 | 7 | 200 |3102 | 200 | 200 | 18M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1212.71/1212.76 c 1213s| 2100k| 72067 | 27281k| 13.0 | 309M| 107 | 49 | 200 |3102 | 200 | 218 | 18M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1217.81/1217.80 c 1218s| 2110k| 71961 | 27380k| 13.0 | 309M| 107 | - | 200 |3102 | 200 | 214 | 18M| 0 | 22k|-3.693333e+01 |-3.100000e+01 | 16.06%
1222.61/1222.69 c 1223s| 2120k| 71811 | 27477k| 13.0 | 309M| 107 | - | 200 |3102 | 200 | 241 | 18M| 0 | 22k|-3.690000e+01 |-3.100000e+01 | 15.99%
1227.51/1227.55 c 1228s| 2130k| 71671 | 27574k| 12.9 | 309M| 107 | 34 | 200 |3102 | 200 | 200 | 18M| 0 | 22k|-3.687500e+01 |-3.100000e+01 | 15.93%
1232.41/1232.46 c 1232s| 2140k| 71543 | 27671k| 12.9 | 308M| 107 | 29 | 200 |3102 | 200 | 215 | 18M| 0 | 22k|-3.685714e+01 |-3.100000e+01 | 15.89%
1237.32/1237.35 c 1237s| 2150k| 71359 | 27766k| 12.9 | 308M| 107 | 38 | 200 |3102 | 200 | 212 | 18M| 0 | 22k|-3.683333e+01 |-3.100000e+01 | 15.84%
1242.11/1242.12 c 1242s| 2160k| 71211 | 27860k| 12.9 | 308M| 107 | 10 | 200 |3102 | 200 | 200 | 18M| 0 | 22k|-3.683333e+01 |-3.100000e+01 | 15.84%
1246.91/1246.94 c 1247s| 2170k| 71063 | 27957k| 12.9 | 308M| 107 | 38 | 200 |3102 | 200 | 213 | 18M| 0 | 22k|-3.680000e+01 |-3.100000e+01 | 15.76%
1252.01/1252.00 c 1252s| 2180k| 70969 | 28056k| 12.9 | 308M| 107 | - | 200 |3102 | 200 | 200 | 18M| 0 | 22k|-3.678125e+01 |-3.100000e+01 | 15.72%
1256.82/1256.83 c 1257s| 2190k| 70805 | 28150k| 12.8 | 307M| 107 | - | 200 |3102 | 200 | 222 | 18M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1261.72/1261.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1261.72/1261.70 c 1262s| 2200k| 70671 | 28246k| 12.8 | 307M| 107 | 54 | 200 |3102 | 200 | 200 | 18M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1266.41/1266.45 c 1266s| 2210k| 70529 | 28340k| 12.8 | 307M| 107 | - | 200 |3102 | 200 | 217 | 18M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1271.31/1271.39 c 1271s| 2220k| 70427 | 28434k| 12.8 | 307M| 107 | - | 200 |3102 | 200 | 244 | 18M| 0 | 22k|-3.672727e+01 |-3.100000e+01 | 15.59%
1276.31/1276.31 c 1276s| 2230k| 70299 | 28532k| 12.8 | 307M| 107 | - | 200 |3102 | 200 | 227 | 18M| 0 | 22k|-3.670000e+01 |-3.100000e+01 | 15.53%
1281.01/1281.06 c 1281s| 2240k| 70151 | 28624k| 12.8 | 306M| 107 | 22 | 200 |3102 | 200 | 214 | 19M| 0 | 22k|-3.666667e+01 |-3.100000e+01 | 15.45%
1285.82/1285.86 c 1286s| 2250k| 70017 | 28720k| 12.8 | 306M| 107 | 59 | 200 |3102 | 200 | 248 | 19M| 0 | 22k|-3.666667e+01 |-3.100000e+01 | 15.45%
1290.92/1290.91 c 1291s| 2260k| 69905 | 28817k| 12.7 | 306M| 107 | - | 200 |3102 | 200 | 243 | 19M| 0 | 22k|-3.666667e+01 |-3.100000e+01 | 15.45%
1295.62/1295.64 c 1296s| 2270k| 69745 | 28910k| 12.7 | 306M| 107 | - | 200 |3102 | 200 | 233 | 19M| 0 | 22k|-3.666667e+01 |-3.100000e+01 | 15.45%
1300.41/1300.43 c 1300s| 2280k| 69575 | 29002k| 12.7 | 305M| 107 | - | 200 |3102 | 200 | 239 | 19M| 0 | 22k|-3.662500e+01 |-3.100000e+01 | 15.36%
1305.12/1305.17 c 1305s| 2290k| 69421 | 29094k| 12.7 | 305M| 107 | - | 200 |3102 | 200 | 233 | 19M| 0 | 22k|-3.660000e+01 |-3.100000e+01 | 15.30%
1310.02/1310.03 c 1310s| 2300k| 69283 | 29187k| 12.7 | 305M| 107 | - | 200 |3102 | 200 | 235 | 19M| 0 | 22k|-3.660000e+01 |-3.100000e+01 | 15.30%
1314.81/1314.88 c 1315s| 2310k| 69219 | 29283k| 12.7 | 305M| 107 | 36 | 200 |3102 | 200 | 200 | 19M| 0 | 22k|-3.656364e+01 |-3.100000e+01 | 15.22%
1319.61/1319.64 c 1320s| 2320k| 69069 | 29376k| 12.7 | 305M| 107 | - | 200 |3102 | 200 | 212 | 19M| 0 | 22k|-3.652941e+01 |-3.100000e+01 | 15.14%
1324.42/1324.47 c 1324s| 2330k| 68897 | 29469k| 12.6 | 304M| 107 | 61 | 200 |3102 | 200 | 231 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1329.21/1329.25 c 1329s| 2340k| 68739 | 29561k| 12.6 | 304M| 107 | 22 | 200 |3102 | 200 | 211 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1334.01/1334.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.01/1334.00 c 1334s| 2350k| 68589 | 29653k| 12.6 | 304M| 107 | - | 200 |3102 | 200 | 248 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1338.72/1338.71 c 1339s| 2360k| 68523 | 29746k| 12.6 | 304M| 107 | - | 200 |3102 | 200 | 215 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1343.51/1343.55 c 1344s| 2370k| 68379 | 29838k| 12.6 | 303M| 107 | - | 200 |3102 | 200 | 213 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1348.21/1348.24 c 1348s| 2380k| 68207 | 29929k| 12.6 | 303M| 107 | 9 | 200 |3102 | 200 | 218 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1352.92/1352.94 c 1353s| 2390k| 68029 | 30020k| 12.6 | 303M| 107 | - | 200 |3102 | 200 | 223 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1357.61/1357.65 c 1358s| 2400k| 67885 | 30111k| 12.5 | 302M| 107 | 54 | 200 |3102 | 200 | 214 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1362.42/1362.47 c 1362s| 2410k| 67707 | 30202k| 12.5 | 302M| 107 | 65 | 200 |3102 | 200 | 214 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1367.22/1367.28 c 1367s| 2420k| 67573 | 30299k| 12.5 | 302M| 107 | - | 200 |3102 | 200 | 250 | 20M| 0 | 23k|-3.649351e+01 |-3.100000e+01 | 15.05%
1372.02/1372.08 c 1372s| 2430k| 67433 | 30392k| 12.5 | 302M| 107 | 61 | 200 |3102 | 200 | 217 | 20M| 0 | 23k|-3.642857e+01 |-3.100000e+01 | 14.90%
1376.81/1376.82 c 1377s| 2440k| 67253 | 30482k| 12.5 | 301M| 107 | - | 200 |3102 | 200 | 244 | 20M| 0 | 23k|-3.640909e+01 |-3.100000e+01 | 14.86%
1381.62/1381.62 c 1382s| 2450k| 67109 | 30574k| 12.5 | 301M| 107 | 43 | 200 |3102 | 200 | 218 | 20M| 0 | 23k|-3.638462e+01 |-3.100000e+01 | 14.80%
1386.21/1386.25 c 1386s| 2460k| 66973 | 30664k| 12.5 | 301M| 107 | - | 200 |3102 | 200 | 243 | 20M| 0 | 23k|-3.635714e+01 |-3.100000e+01 | 14.73%
1390.91/1390.96 c 1391s| 2470k| 66785 | 30754k| 12.4 | 300M| 107 | 67 | 200 |3102 | 200 | 256 | 20M| 0 | 23k|-3.633333e+01 |-3.100000e+01 | 14.68%
1395.72/1395.78 c 1396s| 2480k| 66603 | 30845k| 12.4 | 300M| 107 | 16 | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.633333e+01 |-3.100000e+01 | 14.68%
1400.42/1400.41 c 1400s| 2490k| 66489 | 30935k| 12.4 | 300M| 107 | - | 200 |3102 | 200 | 232 | 20M| 0 | 23k|-3.633333e+01 |-3.100000e+01 | 14.68%
1405.02/1405.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.02/1405.08 c 1405s| 2500k| 66323 | 31026k| 12.4 | 299M| 107 | 62 | 200 |3102 | 200 | 229 | 20M| 0 | 23k|-3.633036e+01 |-3.100000e+01 | 14.67%
1409.82/1409.83 c 1410s| 2510k| 66157 | 31117k| 12.4 | 299M| 107 | - | 200 |3102 | 200 | 233 | 20M| 0 | 23k|-3.628571e+01 |-3.100000e+01 | 14.57%
1414.53/1414.57 c 1415s| 2520k| 65975 | 31205k| 12.4 | 299M| 107 | - | 200 |3102 | 200 | 211 | 20M| 0 | 23k|-3.625000e+01 |-3.100000e+01 | 14.48%
1419.12/1419.18 c 1419s| 2530k| 65787 | 31294k| 12.4 | 298M| 107 | - | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.625000e+01 |-3.100000e+01 | 14.48%
1423.81/1423.82 c 1424s| 2540k| 65617 | 31384k| 12.4 | 298M| 107 | - | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.625000e+01 |-3.100000e+01 | 14.48%
1428.62/1428.61 c 1429s| 2550k| 65485 | 31474k| 12.3 | 298M| 107 | 14 | 200 |3102 | 200 | 214 | 20M| 0 | 23k|-3.623810e+01 |-3.100000e+01 | 14.45%
1433.22/1433.24 c 1433s| 2560k| 65329 | 31562k| 12.3 | 297M| 107 | 50 | 200 |3102 | 200 | 217 | 21M| 0 | 23k|-3.620000e+01 |-3.100000e+01 | 14.36%
1437.91/1437.98 c 1438s| 2570k| 65231 | 31653k| 12.3 | 297M| 107 | - | 200 |3102 | 200 | 222 | 21M| 0 | 23k|-3.618590e+01 |-3.100000e+01 | 14.33%
1442.62/1442.66 c 1443s| 2580k| 65027 | 31743k| 12.3 | 297M| 107 | - | 200 |3102 | 200 | 213 | 21M| 0 | 23k|-3.616667e+01 |-3.100000e+01 | 14.29%
1447.42/1447.42 c 1447s| 2590k| 64889 | 31832k| 12.3 | 297M| 107 | - | 200 |3102 | 200 | 237 | 21M| 0 | 23k|-3.614286e+01 |-3.100000e+01 | 14.23%
1452.02/1452.05 c 1452s| 2600k| 64741 | 31921k| 12.3 | 296M| 107 | - | 200 |3102 | 200 | 216 | 21M| 0 | 24k|-3.612500e+01 |-3.100000e+01 | 14.19%
1456.72/1456.71 c 1457s| 2610k| 64585 | 32010k| 12.3 | 296M| 107 | 69 | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.610000e+01 |-3.100000e+01 | 14.13%
1461.41/1461.45 c 1461s| 2620k| 64401 | 32098k| 12.2 | 296M| 107 | - | 200 |3102 | 200 | 219 | 21M| 0 | 24k|-3.607143e+01 |-3.100000e+01 | 14.06%
1466.02/1466.07 c 1466s| 2630k| 64207 | 32188k| 12.2 | 295M| 107 | - | 200 |3102 | 200 | 219 | 21M| 0 | 24k|-3.603226e+01 |-3.100000e+01 | 13.97%
1470.73/1470.72 c 1471s| 2640k| 64101 | 32278k| 12.2 | 295M| 107 | 38 | 200 |3102 | 200 | 219 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1475.42/1475.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.42/1475.40 c 1475s| 2650k| 63959 | 32367k| 12.2 | 295M| 107 | - | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1480.12/1480.18 c 1480s| 2660k| 63821 | 32457k| 12.2 | 295M| 107 | - | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1484.72/1484.75 c 1485s| 2670k| 63627 | 32544k| 12.2 | 294M| 107 | - | 200 |3102 | 200 | 211 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1489.33/1489.39 c 1489s| 2680k| 63453 | 32634k| 12.2 | 294M| 107 | - | 200 |3102 | 200 | 216 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1494.02/1494.08 c 1494s| 2690k| 63287 | 32722k| 12.2 | 294M| 111 | - | 200 |3102 | 200 | 212 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1498.62/1498.69 c 1499s| 2700k| 63079 | 32811k| 12.1 | 293M| 111 | 54 | 200 |3102 | 200 | 226 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1503.22/1503.27 c 1503s| 2710k| 62945 | 32900k| 12.1 | 293M| 111 | 32 | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1507.92/1507.97 c 1508s| 2720k| 62791 | 32989k| 12.1 | 293M| 111 | 18 | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1512.52/1512.59 c 1513s| 2730k| 62675 | 33077k| 12.1 | 292M| 111 | - | 200 |3102 | 200 | 225 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1517.02/1517.09 c 1517s| 2740k| 62513 | 33162k| 12.1 | 292M| 111 | 43 | 200 |3102 | 200 | 215 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1521.62/1521.67 c 1522s| 2750k| 62353 | 33251k| 12.1 | 292M| 111 | - | 200 |3102 | 200 | 248 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1526.32/1526.34 c 1526s| 2760k| 62181 | 33339k| 12.1 | 291M| 111 | 41 | 200 |3102 | 200 | 210 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1531.02/1531.02 c 1531s| 2770k| 62077 | 33430k| 12.1 | 291M| 111 | - | 200 |3102 | 200 | 222 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1535.62/1535.67 c 1536s| 2780k| 61881 | 33519k| 12.1 | 291M| 111 | - | 200 |3102 | 200 | 239 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1540.32/1540.37 c 1540s| 2790k| 61733 | 33608k| 12.0 | 290M| 111 | 25 | 200 |3102 | 200 | 215 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1544.92/1544.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.92/1544.92 c 1545s| 2800k| 61615 | 33697k| 12.0 | 290M| 111 | - | 200 |3102 | 200 | 230 | 22M| 0 | 24k|-3.596429e+01 |-3.100000e+01 | 13.80%
1549.52/1549.58 c 1550s| 2810k| 61431 | 33785k| 12.0 | 290M| 111 | - | 200 |3102 | 200 | 239 | 22M| 0 | 24k|-3.591667e+01 |-3.100000e+01 | 13.69%
1554.22/1554.20 c 1554s| 2820k| 61265 | 33873k| 12.0 | 290M| 111 | - | 200 |3102 | 200 | 212 | 22M| 0 | 24k|-3.588889e+01 |-3.100000e+01 | 13.62%
1558.73/1558.79 c 1559s| 2830k| 61075 | 33957k| 12.0 | 289M| 111 | 32 | 200 |3102 | 200 | 255 | 22M| 0 | 24k|-3.587500e+01 |-3.100000e+01 | 13.59%
1563.32/1563.38 c 1563s| 2840k| 60899 | 34044k| 12.0 | 289M| 111 | 25 | 200 |3102 | 200 | 209 | 22M| 0 | 24k|-3.583333e+01 |-3.100000e+01 | 13.49%
1567.82/1567.89 c 1568s| 2850k| 60679 | 34128k| 12.0 | 288M| 111 | 47 | 200 |3102 | 200 | 216 | 22M| 0 | 24k|-3.583333e+01 |-3.100000e+01 | 13.49%
1572.43/1572.47 c 1572s| 2860k| 60463 | 34212k| 12.0 | 288M| 111 | - | 200 |3102 | 200 | 227 | 22M| 0 | 24k|-3.580000e+01 |-3.100000e+01 | 13.41%
1577.02/1577.03 c 1577s| 2870k| 60289 | 34298k| 11.9 | 287M| 111 | - | 200 |3102 | 200 | 224 | 22M| 0 | 24k|-3.580000e+01 |-3.100000e+01 | 13.41%
1581.52/1581.51 c 1582s| 2880k| 60061 | 34382k| 11.9 | 287M| 111 | - | 200 |3102 | 200 | 236 | 22M| 0 | 24k|-3.577273e+01 |-3.100000e+01 | 13.34%
1586.13/1586.15 c 1586s| 2890k| 59895 | 34468k| 11.9 | 286M| 111 | 43 | 200 |3102 | 200 | 228 | 22M| 0 | 24k|-3.575000e+01 |-3.100000e+01 | 13.29%
1590.53/1590.56 c 1591s| 2900k| 59675 | 34552k| 11.9 | 286M| 111 | - | 200 |3102 | 200 | 249 | 22M| 0 | 25k|-3.575000e+01 |-3.100000e+01 | 13.29%
1595.03/1595.04 c 1595s| 2910k| 59443 | 34636k| 11.9 | 285M| 111 | 48 | 200 |3102 | 200 | 209 | 23M| 0 | 25k|-3.575000e+01 |-3.100000e+01 | 13.29%
1599.73/1599.70 c 1600s| 2920k| 59249 | 34722k| 11.9 | 285M| 111 | 34 | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.573684e+01 |-3.100000e+01 | 13.25%
1604.23/1604.26 c 1604s| 2930k| 59051 | 34806k| 11.9 | 285M| 111 | - | 200 |3102 | 200 | 255 | 23M| 0 | 25k|-3.571429e+01 |-3.100000e+01 | 13.20%
1608.62/1608.69 c 1609s| 2940k| 58831 | 34890k| 11.9 | 284M| 111 | - | 200 |3102 | 200 | 220 | 23M| 0 | 25k|-3.568182e+01 |-3.100000e+01 | 13.12%
1613.23/1613.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.23/1613.29 c 1613s| 2950k| 58653 | 34978k| 11.9 | 284M| 111 | - | 200 |3102 | 200 | 239 | 23M| 0 | 25k|-3.566667e+01 |-3.100000e+01 | 13.08%
1617.92/1617.93 c 1618s| 2960k| 58463 | 35064k| 11.8 | 283M| 111 | 66 | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.566667e+01 |-3.100000e+01 | 13.08%
1622.43/1622.42 c 1622s| 2970k| 58247 | 35149k| 11.8 | 283M| 111 | 37 | 200 |3102 | 200 | 216 | 23M| 0 | 25k|-3.566667e+01 |-3.100000e+01 | 13.08%
1626.93/1626.97 c 1627s| 2980k| 58025 | 35235k| 11.8 | 282M| 111 | 49 | 200 |3102 | 200 | 218 | 23M| 0 | 25k|-3.566578e+01 |-3.100000e+01 | 13.08%
1631.52/1631.58 c 1632s| 2990k| 57807 | 35318k| 11.8 | 282M| 111 | 54 | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.562500e+01 |-3.100000e+01 | 12.98%
1636.12/1636.11 c 1636s| 3000k| 57571 | 35404k| 11.8 | 281M| 111 | 12 | 200 |3102 | 200 | 215 | 23M| 0 | 25k|-3.560000e+01 |-3.100000e+01 | 12.92%
1640.52/1640.55 c 1641s| 3010k| 57347 | 35487k| 11.8 | 280M| 111 | - | 200 |3102 | 200 | 246 | 23M| 0 | 25k|-3.558621e+01 |-3.100000e+01 | 12.89%
1645.22/1645.23 c 1645s| 3020k| 57149 | 35572k| 11.8 | 280M| 114 | - | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.556250e+01 |-3.100000e+01 | 12.83%
1649.72/1649.79 c 1650s| 3030k| 56925 | 35657k| 11.8 | 279M| 114 | - | 200 |3102 | 200 | 249 | 23M| 0 | 25k|-3.552632e+01 |-3.100000e+01 | 12.74%
1654.33/1654.33 c 1654s| 3040k| 56713 | 35742k| 11.8 | 279M| 114 | 8 | 200 |3102 | 200 | 213 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1658.83/1658.82 c 1659s| 3050k| 56479 | 35826k| 11.7 | 278M| 114 | - | 200 |3102 | 200 | 221 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1663.32/1663.33 c 1663s| 3060k| 56227 | 35909k| 11.7 | 278M| 114 | - | 200 |3102 | 200 | 267 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1667.73/1667.73 c 1668s| 3070k| 56005 | 35992k| 11.7 | 277M| 114 | - | 200 |3102 | 200 | 250 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1672.22/1672.25 c 1672s| 3080k| 55789 | 36075k| 11.7 | 277M| 114 | 27 | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1676.72/1676.77 c 1677s| 3090k| 55571 | 36159k| 11.7 | 276M| 114 | - | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1681.12/1681.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.12/1681.14 c 1681s| 3100k| 55315 | 36240k| 11.7 | 275M| 114 | 45 | 200 |3102 | 200 | 216 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1685.62/1685.62 c 1686s| 3110k| 55119 | 36324k| 11.7 | 275M| 114 | - | 200 |3102 | 200 | 218 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1690.03/1690.08 c 1690s| 3120k| 54905 | 36406k| 11.7 | 274M| 114 | - | 200 |3102 | 200 | 211 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1694.52/1694.56 c 1695s| 3130k| 54697 | 36491k| 11.7 | 274M| 114 | - | 200 |3102 | 200 | 238 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1698.92/1698.94 c 1699s| 3140k| 54435 | 36571k| 11.6 | 273M| 114 | - | 200 |3102 | 200 | 210 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1703.53/1703.52 c 1704s| 3150k| 54181 | 36654k| 11.6 | 272M| 114 | - | 200 |3102 | 200 | 223 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1707.93/1707.91 c 1708s| 3160k| 53959 | 36738k| 11.6 | 272M| 114 | - | 200 |3102 | 200 | 214 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1712.33/1712.39 c 1712s| 3170k| 53729 | 36822k| 11.6 | 271M| 114 | 47 | 200 |3102 | 200 | 214 | 24M| 0 | 25k|-3.547222e+01 |-3.100000e+01 | 12.61%
1717.03/1717.04 c 1717s| 3180k| 53499 | 36906k| 11.6 | 270M| 114 | 50 | 200 |3102 | 200 | 219 | 24M| 0 | 25k|-3.542857e+01 |-3.100000e+01 | 12.50%
1721.43/1721.40 c 1721s| 3190k| 53259 | 36987k| 11.6 | 270M| 114 | 10 | 200 |3102 | 200 | 216 | 24M| 0 | 25k|-3.540000e+01 |-3.100000e+01 | 12.43%
1725.83/1725.82 c 1726s| 3200k| 53007 | 37068k| 11.6 | 269M| 114 | 6 | 200 |3102 | 200 | 214 | 24M| 0 | 25k|-3.537500e+01 |-3.100000e+01 | 12.37%
1730.33/1730.38 c 1730s| 3210k| 52735 | 37151k| 11.6 | 268M| 114 | - | 200 |3102 | 200 | 218 | 24M| 0 | 25k|-3.533333e+01 |-3.100000e+01 | 12.26%
1734.83/1734.80 c 1735s| 3220k| 52485 | 37233k| 11.6 | 268M| 114 | - | 200 |3102 | 200 | 213 | 24M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1739.13/1739.19 c 1739s| 3230k| 52243 | 37315k| 11.5 | 267M| 114 | - | 200 |3102 | 200 | 217 | 24M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1743.73/1743.73 c 1744s| 3240k| 51999 | 37398k| 11.5 | 266M| 114 | - | 200 |3102 | 200 | 239 | 24M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1748.23/1748.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.23/1748.20 c 1748s| 3250k| 51759 | 37480k| 11.5 | 266M| 114 | - | 200 |3102 | 200 | 215 | 24M| 0 | 26k|-3.528571e+01 |-3.100000e+01 | 12.15%
1752.62/1752.60 c 1753s| 3260k| 51493 | 37561k| 11.5 | 265M| 114 | - | 200 |3102 | 200 | 219 | 24M| 0 | 26k|-3.525000e+01 |-3.100000e+01 | 12.06%
1757.03/1757.07 c 1757s| 3270k| 51229 | 37642k| 11.5 | 264M| 114 | - | 200 |3102 | 200 | 212 | 24M| 0 | 26k|-3.525000e+01 |-3.100000e+01 | 12.06%
1761.43/1761.48 c 1761s| 3280k| 50973 | 37724k| 11.5 | 263M| 114 | - | 200 |3102 | 200 | 241 | 24M| 0 | 26k|-3.525000e+01 |-3.100000e+01 | 12.06%
1765.73/1765.76 c 1766s| 3290k| 50665 | 37803k| 11.5 | 262M| 114 | - | 200 |3102 | 200 | 226 | 24M| 0 | 26k|-3.522581e+01 |-3.100000e+01 | 12.00%
1770.23/1770.28 c 1770s| 3300k| 50371 | 37884k| 11.5 | 262M| 114 | - | 200 |3102 | 200 | 219 | 25M| 0 | 26k|-3.520000e+01 |-3.100000e+01 | 11.93%
1774.63/1774.69 c 1775s| 3310k| 50111 | 37965k| 11.5 | 261M| 114 | 16 | 200 |3102 | 200 | 215 | 25M| 0 | 26k|-3.516667e+01 |-3.100000e+01 | 11.85%
1779.03/1779.01 c 1779s| 3320k| 49829 | 38045k| 11.5 | 260M| 114 | 30 | 200 |3102 | 200 | 216 | 25M| 0 | 26k|-3.516667e+01 |-3.100000e+01 | 11.85%
1783.43/1783.41 c 1783s| 3330k| 49509 | 38123k| 11.4 | 259M| 114 | - | 200 |3102 | 200 | 243 | 25M| 0 | 26k|-3.513514e+01 |-3.100000e+01 | 11.77%
1787.83/1787.82 c 1788s| 3340k| 49233 | 38202k| 11.4 | 258M| 114 | 53 | 200 |3102 | 200 | 218 | 25M| 0 | 26k|-3.510714e+01 |-3.100000e+01 | 11.70%
1792.12/1792.18 c 1792s| 3350k| 48921 | 38281k| 11.4 | 257M| 114 | 34 | 200 |3102 | 200 | 222 | 25M| 0 | 26k|-3.508333e+01 |-3.100000e+01 | 11.64%
1796.63/1796.64 c 1797s| 3360k| 48635 | 38362k| 11.4 | 257M| 114 | - | 200 |3102 | 200 | 212 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 3360888
1797.03/1797.00 c Primal Bound : -3.10000000000000e+01 (620 solutions)
1797.03/1797.00 c Dual Bound : -3.50000000000000e+01
1797.03/1797.00 c Gap : 11.43 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x200 -x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179
1797.03/1797.00 v -x178 x177 -x176 x175 x174 x173 x172 x171 x170 -x169 -x168 x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156
1797.03/1797.00 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 x135
1797.03/1797.00 v -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 x115 -x114 -x113
1797.03/1797.00 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1797.03/1797.00 v -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
1797.03/1797.00 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39
1797.03/1797.00 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1797.03/1797.00 v -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.07 (included in solving)
1797.03/1797.00 c reading : 0.02 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488603-1307784232.opb
1797.03/1797.00 c Variables : 3302 (3302 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3502 initial, 3502 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488603-1307784232.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3102 initial, 3102 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.01 3102 0 0 3102 0 200 0 0 0
1797.03/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 2590281 0 645601 0 225 1735 0 0 3482950
1797.03/1797.00 c setppc : 3102 67 5489383 847848 0 645597 0 16 19073238 25302640 0 0
1797.03/1797.00 c countsols : 0 0 0 7 0 615 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 39.66 0.00 0.00 39.50 0.00 0.16 0.00
1797.03/1797.00 c setppc : 134.00 0.03 63.48 24.32 0.00 46.16 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 9 0 0 0
1797.03/1797.00 c pseudoobj : 5495941 0 1 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 1.11 1.11 0.00
1797.03/1797.00 c rootredcost : 1.09 1.09 0.00
1797.03/1797.00 c pseudoobj : 26.65 26.65 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 16 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.06 66 - - 167 - (maximal pool size: 3265)
1797.03/1797.00 c redcost : 16.55 2899774 0 608405 0 0
1797.03/1797.00 c impliedbounds : 0.01 67 0 0 1915 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 1.73 67 0 0 12410 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.30 20 0 0 9282 0
1797.03/1797.00 c cmir : 0.07 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.03/1797.00 c clique : 0.15 67 0 0 583 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 38.27 1742433 225 1735 0 0 3482950
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.35 - 7
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c feaspump : 0.08 0 0
1797.03/1797.00 c oneopt : 0.80 11 0
1797.03/1797.00 c crossover : 1.92 45 21
1797.03/1797.00 c veclendiving : 0.34 294 4
1797.03/1797.00 c guideddiving : 0.34 294 8
1797.03/1797.00 c coefdiving : 0.32 295 10
1797.03/1797.00 c pscostdiving : 0.34 295 9
1797.03/1797.00 c linesearchdiving : 0.33 295 10
1797.03/1797.00 c fracdiving : 0.36 295 5
1797.03/1797.00 c objpscostdiving : 0.24 148 12
1797.03/1797.00 c rootsoldiving : 0.36 148 5
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 55.98 1745832 521
1797.03/1797.00 c zirounding : 0.65 1000 3
1797.03/1797.00 c rounding : 5.65 88909 2
1797.03/1797.00 c shifting : 1.51 19972 1
1797.03/1797.00 c intshifting : 0.04 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.01 1 0
1797.03/1797.00 c subnlp : 0.58 0 0
1797.03/1797.00 c trysol : 0.82 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 26.90 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1123.97 4216260 38337750 9.09 34109.34
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 1.28 5839 32519 5.57 25484.41
1797.03/1797.00 c strong branching : 17.62 26425 437380 16.55 24822.78
1797.03/1797.00 c (at root node) : - 17 11209 659.35 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 3360888
1797.03/1797.00 c nodes (total) : 3360888
1797.03/1797.00 c nodes left : 48619
1797.03/1797.00 c max depth : 114
1797.03/1797.00 c max depth (total): 114
1797.03/1797.00 c backtracks : 399191 (11.9%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 5.36
1797.03/1797.00 c switching time : 154.32
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 620 (14 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -3.10000000000000e+01 (in run 1, after 1382992 nodes, 840.39 seconds, depth 51, found by <relaxation>)
1797.03/1797.00 c Dual Bound : -3.50000000000000e+01
1797.03/1797.00 c Gap : 11.43 %
1797.03/1797.00 c Root Dual Bound : -4.86352303095987e+01
1797.03/1797.00 c Root Iterations : 14158
1797.44/1797.46 c Time complete: 1797.49.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488603-1307784232/watcher-3488603-1307784232 -o /tmp/evaluation-result-3488603-1307784232/solver-3488603-1307784232 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488603-1307784232.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.02 2.26 2/177 32648
/proc/meminfo: memFree=31495844/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=10944 CPUtime=0 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 1757 0 0 0 0 0 0 0 25 0 1 0 890023003 11206656 1711 33554432000 4194304 9016284 140736758974736 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32648/statm: 2736 1723 340 1178 0 1554 0
[startup+0.0981259 s]
/proc/loadavg: 2.00 2.02 2.26 2/177 32648
/proc/meminfo: memFree=31495844/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=31156 CPUtime=0.09 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 6822 0 0 0 9 0 0 0 25 0 1 0 890023003 31903744 6519 33554432000 4194304 9016284 140736758974736 18446744073709551615 4320891 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 7789 6519 521 1178 0 6607 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31156
[startup+0.101065 s]
/proc/loadavg: 2.00 2.02 2.26 2/177 32648
/proc/meminfo: memFree=31495844/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=31156 CPUtime=0.09 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 6822 0 0 0 9 0 0 0 25 0 1 0 890023003 31903744 6519 33554432000 4194304 9016284 140736758974736 18446744073709551615 4320688 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 7789 6519 521 1178 0 6607 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31156
[startup+0.301095 s]
/proc/loadavg: 2.00 2.02 2.26 2/177 32648
/proc/meminfo: memFree=31495844/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=36716 CPUtime=0.29 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 14924 0 0 0 28 1 0 0 25 0 1 0 890023003 37597184 8123 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 9179 8123 695 1178 0 7997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36716
[startup+0.701034 s]
/proc/loadavg: 2.00 2.02 2.26 2/177 32648
/proc/meminfo: memFree=31495844/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=44832 CPUtime=0.69 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 17020 0 0 0 67 2 0 0 25 0 1 0 890023003 45907968 10211 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 11319 10276 691 1178 0 10137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44832
[startup+1.50088 s]
/proc/loadavg: 2.00 2.02 2.26 3/178 32649
/proc/meminfo: memFree=31452468/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=50264 CPUtime=1.49 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 18355 0 0 0 146 3 0 0 25 0 1 0 890023003 51470336 11541 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 12566 11541 707 1178 0 11384 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50264
[startup+3.1006 s]
/proc/loadavg: 2.00 2.02 2.26 3/178 32649
/proc/meminfo: memFree=31444992/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=56380 CPUtime=3.09 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 19862 0 0 0 304 5 0 0 25 0 1 0 890023003 57733120 13032 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 14095 13032 712 1178 0 12913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56380
[startup+6.30102 s]
/proc/loadavg: 2.00 2.02 2.26 3/178 32649
/proc/meminfo: memFree=31436940/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=56380 CPUtime=6.29 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 21525 0 0 0 614 15 0 0 25 0 1 0 890023003 57733120 13126 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 14095 13126 709 1178 0 12913 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56380
[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.25 3/178 32649
/proc/meminfo: memFree=31429140/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=59076 CPUtime=12.69 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 35597 0 0 0 1232 37 0 0 25 0 1 0 890023003 60493824 13752 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 14769 13752 704 1178 0 13587 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59076
[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.25 3/178 32650
/proc/meminfo: memFree=31399804/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=76692 CPUtime=25.49 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 61068 0 0 0 2470 79 0 0 25 0 1 0 890023003 78532608 18152 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32648/statm: 19173 18152 704 1178 0 17991 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76692
[startup+51.101 s]
/proc/loadavg: 2.00 2.01 2.24 3/178 32650
/proc/meminfo: memFree=31355616/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=99964 CPUtime=51.09 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 91575 0 0 0 4942 167 0 0 25 0 1 0 890023003 102363136 23943 33554432000 4194304 9016284 140736758974736 18446744073709551615 7081856 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 24991 23943 704 1178 0 23809 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99964
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.23 3/178 32652
/proc/meminfo: memFree=31258140/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=145672 CPUtime=102.3 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 110140 0 0 0 9916 314 0 0 25 0 1 0 890023003 149168128 35435 33554432000 4194304 9016284 140736758974736 18446744073709551615 6403948 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 36418 35435 704 1178 0 35236 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 145672
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/178 32653
/proc/meminfo: memFree=31156152/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=194056 CPUtime=162.29 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 122296 0 0 0 15743 486 0 0 25 0 1 0 890023003 198713344 47591 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 48514 47591 704 1178 0 47332 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 194056
[startup+222.301 s]
/proc/loadavg: 2.07 2.02 2.20 3/178 32655
/proc/meminfo: memFree=31067072/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=234352 CPUtime=222.29 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 135947 0 0 0 21569 660 0 0 25 0 1 0 890023003 239976448 57721 33554432000 4194304 9016284 140736758974736 18446744073709551615 4821564 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 58588 57721 704 1178 0 57406 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 234352
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.19 3/178 32656
/proc/meminfo: memFree=30976008/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=279540 CPUtime=282.29 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 146779 0 0 0 27400 829 0 0 25 0 1 0 890023003 286248960 68553 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 69885 68553 704 1178 0 68703 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 279540
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.17 3/178 32658
/proc/meminfo: memFree=30900908/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=316160 CPUtime=342.29 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 159510 0 0 0 33220 1009 0 0 25 0 1 0 890023003 323747840 77757 33554432000 4194304 9016284 140736758974736 18446744073709551615 7163651 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 79040 77757 704 1178 0 77858 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 316160
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.16 3/178 32660
/proc/meminfo: memFree=30829412/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=351496 CPUtime=402.3 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 168395 0 0 0 39044 1186 0 0 25 0 1 0 890023003 359931904 86642 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 87874 86642 704 1178 0 86692 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 351496
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.15 3/178 32661
/proc/meminfo: memFree=30786336/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=387692 CPUtime=462.29 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 177494 0 0 0 44875 1354 0 0 25 0 1 0 890023003 396996608 95741 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 96923 95741 704 1178 0 95741 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 387692
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.14 3/178 32663
/proc/meminfo: memFree=30745980/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=422616 CPUtime=522.3 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 186260 0 0 0 50709 1521 0 0 25 0 1 0 890023003 432758784 104507 33554432000 4194304 9016284 140736758974736 18446744073709551615 7081830 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 105654 104507 704 1178 0 104472 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 422616
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/178 32664
/proc/meminfo: memFree=30700152/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=460356 CPUtime=582.29 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 199237 0 0 0 56534 1695 0 0 25 0 1 0 890023003 471404544 113987 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 115089 113987 704 1178 0 113907 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 460356
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30575716/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=482416 CPUtime=1122.32 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 281082 0 0 0 109029 3203 0 0 25 0 1 0 890023003 493993984 119596 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 120604 119596 705 1178 0 119422 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 482416
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 32680
/proc/meminfo: memFree=30569828/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=483440 CPUtime=1182.31 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 281270 0 0 0 114867 3364 0 0 25 0 1 0 890023003 495042560 119784 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 120860 119784 705 1178 0 119678 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 483440
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 32682
/proc/meminfo: memFree=30561232/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=483440 CPUtime=1242.32 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 281271 0 0 0 120707 3525 0 0 25 0 1 0 890023003 495042560 119785 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 120860 119785 705 1178 0 119678 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 483440
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 32684
/proc/meminfo: memFree=30553608/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=484464 CPUtime=1302.32 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 285052 0 0 0 126555 3677 0 0 25 0 1 0 890023003 496091136 120035 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121116 120035 705 1178 0 119934 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 484464
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/178 32685
/proc/meminfo: memFree=30548228/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=484464 CPUtime=1362.31 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 285059 0 0 0 132402 3829 0 0 25 0 1 0 890023003 496091136 120042 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121116 120042 705 1178 0 119934 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 484464
[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.04 3/178 32687
/proc/meminfo: memFree=30543084/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=484464 CPUtime=1422.32 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 285060 0 0 0 138245 3987 0 0 25 0 1 0 890023003 496091136 120043 33554432000 4194304 9016284 140736758974736 18446744073709551615 7103839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121116 120043 705 1178 0 119934 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 484464
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/178 32688
/proc/meminfo: memFree=30540272/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=484464 CPUtime=1482.32 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 285060 0 0 0 144093 4139 0 0 25 0 1 0 890023003 496091136 120043 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121116 120043 705 1178 0 119934 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 484464
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/178 32690
/proc/meminfo: memFree=30534880/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1542.32 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 285313 0 0 0 149942 4290 0 0 25 0 1 0 890023003 497139712 120296 33554432000 4194304 9016284 140736758974736 18446744073709551615 6403995 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120296 705 1178 0 120190 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 485488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/178 32692
/proc/meminfo: memFree=30532948/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1602.33 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 285315 0 0 0 155794 4439 0 0 25 0 1 0 890023003 497139712 120298 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120298 705 1178 0 120190 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 485488
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 32693
/proc/meminfo: memFree=30532144/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1662.33 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288954 0 0 0 161650 4583 0 0 25 0 1 0 890023003 497139712 120362 33554432000 4194304 9016284 140736758974736 18446744073709551615 7102936 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120362 705 1178 0 120190 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 485488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32695
/proc/meminfo: memFree=30532088/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1722.32 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288956 0 0 0 167500 4732 0 0 25 0 1 0 890023003 497139712 120364 33554432000 4194304 9016284 140736758974736 18446744073709551615 6523033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120364 705 1178 0 120190 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 485488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32696
/proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1782.32 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288957 0 0 0 173344 4888 0 0 25 0 1 0 890023003 497139712 120365 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120365 705 1178 0 120190 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 485488
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.01 2/172 32720
/proc/meminfo: memFree=31087064/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1785.53 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288957 0 0 0 173656 4897 0 0 25 0 1 0 890023003 497139712 120365 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120365 705 1178 0 120190 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 485488
[startup+1791.91 s]
/proc/loadavg: 1.85 1.97 2.00 2/172 32721
/proc/meminfo: memFree=31087568/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1791.94 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288957 0 0 0 174278 4916 0 0 25 0 1 0 890023003 497139712 120365 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120365 705 1178 0 120190 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 485488
[startup+1795.1 s]
/proc/loadavg: 1.85 1.97 2.00 2/172 32721
/proc/meminfo: memFree=31087728/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1795.14 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288957 0 0 0 174589 4925 0 0 25 0 1 0 890023003 497139712 120365 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120365 705 1178 0 120190 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 485488
[startup+1796.7 s]
/proc/loadavg: 1.85 1.97 2.00 2/172 32721
/proc/meminfo: memFree=31087604/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1796.73 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288957 0 0 0 174745 4928 0 0 25 0 1 0 890023003 497139712 120365 33554432000 4194304 9016284 140736758974736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120365 705 1178 0 120190 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 485488
[startup+1797.1 s]
/proc/loadavg: 1.85 1.97 2.00 2/172 32721
/proc/meminfo: memFree=31087604/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1797.13 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288959 0 0 0 174784 4929 0 0 25 0 1 0 890023003 497139712 120367 33554432000 4194304 9016284 140736758974736 18446744073709551615 4329912 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120367 707 1178 0 120190 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 485488
[startup+1797.3 s]
/proc/loadavg: 1.78 1.95 1.99 2/172 32721
/proc/meminfo: memFree=31087480/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1797.34 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288959 0 0 0 174805 4929 0 0 25 0 1 0 890023003 497139712 120367 33554432000 4194304 9016284 140736758974736 18446744073709551615 4330208 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120367 707 1178 0 120190 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 485488
[startup+1797.41 s]
/proc/loadavg: 1.78 1.95 1.99 2/172 32721
/proc/meminfo: memFree=31087480/32950928 swapFree=67055156/67111528
[pid=32648] ppid=32646 vsize=485488 CPUtime=1797.44 cores=0,2,4,6
/proc/32648/stat : 32648 (scip-2.0.1.4b_2) R 32646 32648 30017 0 -1 4202496 288959 0 0 0 174815 4929 0 0 25 0 1 0 890023003 497139712 120367 33554432000 4194304 9016284 140736758974736 18446744073709551615 4329925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32648/statm: 121372 120367 707 1178 0 120190 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 485488
Child status: 0
Real time (s): 1797.46
CPU time (s): 1797.5
CPU user time (s): 1748.18
CPU system time (s): 49.3145
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 496200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.18
system time used= 49.3145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288964
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= 5
involuntary context switches= 3459
runsolver used 2.59361 second user time and 5.59615 second system time
The end