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-3488601-1307784217.opb>
0.00/0.02 c original problem has 3313 variables (3313 bin, 0 int, 0 impl, 0 cont) and 3513 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) 3113 del vars, 400 del conss, 0 add conss, 3113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12452 impls, 0 clqs
0.00/0.07 c (round 2) 3113 del vars, 400 del conss, 0 add conss, 3113 chg bounds, 0 chg sides, 0 chg coeffs, 3113 upgd conss, 12452 impls, 0 clqs
0.00/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.10 c presolving (3 rounds):
0.00/0.10 c 3113 deleted vars, 400 deleted constraints, 0 added constraints, 3113 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.10 c 18676 implications, 0 cliques
0.00/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3113 constraints
0.00/0.10 c 3113 constraints of type <setppc>
0.00/0.10 c transformed objective value is always integral (scale: 1)
0.00/0.10 c Presolving Time: 0.07
0.00/0.10 c - non default parameters ----------------------------------------------------------------------
0.00/0.10 c # SCIP version 2.0.1.5
0.00/0.10 c
0.00/0.10 c # frequency for displaying node information lines
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.10 c display/freq = 10000
0.00/0.10 c
0.00/0.10 c # maximal time in seconds to run
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.10 c limits/time = 1797
0.00/0.10 c
0.00/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.10 c limits/memory = 13950
0.00/0.10 c
0.00/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.10 c # [type: int, range: [1,2], default: 1]
0.00/0.10 c timing/clocktype = 2
0.00/0.10 c
0.00/0.10 c # belongs reading time to solving time?
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c timing/reading = TRUE
0.00/0.10 c
0.00/0.10 c # should presolving try to simplify inequalities
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/linear/simplifyinequalities = TRUE
0.00/0.10 c
0.00/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/indicator/addCouplingCons = TRUE
0.00/0.10 c
0.00/0.10 c # should presolving try to simplify knapsacks
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.10 c
0.00/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.10 c separating/rapidlearning/freq = 0
0.00/0.10 c
0.00/0.10 c -----------------------------------------------------------------------------------------------
0.00/0.10 c start solving
0.00/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 | 204 | - | 10M| 0 | 200 | 200 |3113 | 200 |3113 | 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 | 204 | - | 10M| 0 | 200 | 200 |3113 | 200 |3113 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.18 o -18
0.09/0.18 c y 0.2s| 1 | 0 | 204 | - | 10M| 0 | 200 | 200 |3113 | 200 |3113 | 0 | 0 | 0 |-1.000000e+02 |-1.800000e+01 | 82.00%
0.19/0.20 c 0.2s| 1 | 0 | 289 | - | 10M| 0 | 190 | 200 |3113 | 200 |3120 | 7 | 0 | 0 |-9.500000e+01 |-1.800000e+01 | 81.05%
0.19/0.25 c 0.3s| 1 | 0 | 363 | - | 10M| 0 | 184 | 200 |3113 | 200 |3128 | 15 | 0 | 0 |-9.200000e+01 |-1.800000e+01 | 80.43%
0.29/0.31 c 0.3s| 1 | 0 | 465 | - | 10M| 0 | 176 | 200 |3113 | 200 |3137 | 24 | 0 | 0 |-8.800000e+01 |-1.800000e+01 | 79.55%
0.29/0.38 c 0.4s| 1 | 0 | 609 | - | 10M| 0 | 170 | 200 |3113 | 200 |3145 | 32 | 0 | 0 |-8.450000e+01 |-1.800000e+01 | 78.70%
0.39/0.44 c 0.4s| 1 | 0 | 674 | - | 10M| 0 | 167 | 200 |3113 | 200 |3155 | 42 | 0 | 0 |-8.350000e+01 |-1.800000e+01 | 78.44%
0.49/0.54 c 0.5s| 1 | 0 | 855 | - | 10M| 0 | 161 | 200 |3113 | 200 |3163 | 50 | 0 | 0 |-8.050000e+01 |-1.800000e+01 | 77.64%
0.59/0.61 c 0.6s| 1 | 0 | 972 | - | 10M| 0 | 156 | 200 |3113 | 200 |3173 | 60 | 0 | 0 |-7.800000e+01 |-1.800000e+01 | 76.92%
0.59/0.69 c 0.7s| 1 | 0 | 1086 | - | 10M| 0 | 155 | 200 |3113 | 200 |3178 | 65 | 0 | 0 |-7.733333e+01 |-1.800000e+01 | 76.72%
0.69/0.78 c 0.8s| 1 | 0 | 1432 | - | 10M| 0 | 148 | 200 |3113 | 200 |3186 | 73 | 0 | 0 |-7.400000e+01 |-1.800000e+01 | 75.68%
0.79/0.88 c 0.9s| 1 | 0 | 1675 | - | 10M| 0 | 145 | 200 |3113 | 200 |3194 | 81 | 0 | 0 |-7.250000e+01 |-1.800000e+01 | 75.17%
0.88/0.93 c 0.9s| 1 | 0 | 1767 | - | 10M| 0 | 143 | 200 |3113 | 200 | 485 | 86 | 0 | 0 |-7.150000e+01 |-1.800000e+01 | 74.83%
0.88/0.95 c 1.0s| 1 | 0 | 1935 | - | 10M| 0 | 156 | 200 |3113 | 200 | 495 | 96 | 0 | 0 |-7.000000e+01 |-1.800000e+01 | 74.29%
0.88/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/0.99 c 1.0s| 1 | 0 | 2211 | - | 11M| 0 | 149 | 200 |3113 | 200 | 588 | 189 | 0 | 0 |-6.850000e+01 |-1.800000e+01 | 73.72%
0.99/1.03 c 1.0s| 1 | 0 | 2358 | - | 11M| 0 | 144 | 200 |3113 | 200 | 615 | 216 | 0 | 0 |-6.800000e+01 |-1.800000e+01 | 73.53%
0.99/1.08 c 1.1s| 1 | 0 | 2782 | - | 11M| 0 | 149 | 200 |3113 | 200 | 667 | 268 | 0 | 0 |-6.633333e+01 |-1.800000e+01 | 72.86%
1.09/1.17 c 1.2s| 1 | 0 | 3387 | - | 11M| 0 | 157 | 200 |3113 | 200 | 721 | 322 | 0 | 0 |-6.483333e+01 |-1.800000e+01 | 72.24%
1.19/1.26 c 1.3s| 1 | 0 | 3887 | - | 12M| 0 | 159 | 200 |3113 | 200 | 608 | 422 | 0 | 0 |-6.380000e+01 |-1.800000e+01 | 71.79%
1.29/1.35 c 1.3s| 1 | 0 | 4406 | - | 13M| 0 | 151 | 200 |3113 | 200 | 731 | 545 | 0 | 0 |-6.100000e+01 |-1.800000e+01 | 70.49%
1.39/1.42 c 1.4s| 1 | 0 | 4562 | - | 13M| 0 | 143 | 200 |3113 | 200 | 836 | 650 | 0 | 0 |-6.050000e+01 |-1.800000e+01 | 70.25%
1.39/1.49 c 1.5s| 1 | 0 | 4885 | - | 13M| 0 | 157 | 200 |3113 | 200 | 863 | 677 | 0 | 0 |-5.925000e+01 |-1.800000e+01 | 69.62%
1.49/1.53 c 1.5s| 1 | 0 | 5112 | - | 14M| 0 | 167 | 200 |3113 | 200 | 923 | 737 | 0 | 0 |-5.863492e+01 |-1.800000e+01 | 69.30%
1.59/1.60 c 1.6s| 1 | 0 | 5492 | - | 14M| 0 | 173 | 200 |3113 | 200 | 960 | 774 | 0 | 0 |-5.780121e+01 |-1.800000e+01 | 68.86%
1.59/1.69 c 1.7s| 1 | 0 | 5903 | - | 14M| 0 | 162 | 200 |3113 | 200 | 861 | 863 | 0 | 0 |-5.682821e+01 |-1.800000e+01 | 68.33%
1.68/1.75 c 1.7s| 1 | 0 | 6125 | - | 15M| 0 | 159 | 200 |3113 | 200 | 899 | 901 | 0 | 0 |-5.647578e+01 |-1.800000e+01 | 68.13%
1.79/1.82 c 1.8s| 1 | 0 | 6501 | - | 15M| 0 | 170 | 200 |3113 | 200 | 932 | 934 | 0 | 0 |-5.580530e+01 |-1.800000e+01 | 67.74%
1.89/1.90 c 1.9s| 1 | 0 | 6968 | - | 15M| 0 | 171 | 200 |3113 | 200 | 960 | 962 | 0 | 0 |-5.513565e+01 |-1.800000e+01 | 67.35%
1.89/1.98 c 2.0s| 1 | 0 | 7260 | - | 15M| 0 | 169 | 200 |3113 | 200 | 983 | 985 | 0 | 0 |-5.477456e+01 |-1.800000e+01 | 67.14%
1.99/2.06 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.06 c 2.1s| 1 | 0 | 7566 | - | 15M| 0 | 171 | 200 |3113 | 200 |1040 |1042 | 0 | 0 |-5.426578e+01 |-1.800000e+01 | 66.83%
2.09/2.13 c 2.1s| 1 | 0 | 7820 | - | 15M| 0 | 173 | 200 |3113 | 200 | 654 |1073 | 0 | 0 |-5.374332e+01 |-1.800000e+01 | 66.51%
2.09/2.19 c 2.2s| 1 | 0 | 7997 | - | 15M| 0 | 175 | 200 |3113 | 200 | 690 |1109 | 0 | 0 |-5.334266e+01 |-1.800000e+01 | 66.26%
2.19/2.25 c 2.2s| 1 | 0 | 8239 | - | 15M| 0 | 174 | 200 |3113 | 200 | 718 |1137 | 0 | 0 |-5.289374e+01 |-1.800000e+01 | 65.97%
2.29/2.32 c 2.3s| 1 | 0 | 8695 | - | 15M| 0 | 181 | 200 |3113 | 200 | 736 |1155 | 0 | 0 |-5.234288e+01 |-1.800000e+01 | 65.61%
2.29/2.38 c 2.4s| 1 | 0 | 8856 | - | 15M| 0 | 182 | 200 |3113 | 200 | 748 |1167 | 0 | 0 |-5.219580e+01 |-1.800000e+01 | 65.51%
2.38/2.44 c 2.4s| 1 | 0 | 8988 | - | 15M| 0 | 185 | 200 |3113 | 200 | 762 |1181 | 0 | 0 |-5.198226e+01 |-1.800000e+01 | 65.37%
2.49/2.50 c 2.5s| 1 | 0 | 9200 | - | 15M| 0 | 189 | 200 |3113 | 200 | 532 |1198 | 0 | 0 |-5.172648e+01 |-1.800000e+01 | 65.20%
2.49/2.56 c 2.6s| 1 | 0 | 9466 | - | 15M| 0 | 185 | 200 |3113 | 200 | 545 |1211 | 0 | 0 |-5.149619e+01 |-1.800000e+01 | 65.05%
2.59/2.60 c 2.6s| 1 | 0 | 9582 | - | 15M| 0 | 190 | 200 |3113 | 200 | 554 |1220 | 0 | 0 |-5.126841e+01 |-1.800000e+01 | 64.89%
2.59/2.65 c 2.6s| 1 | 0 | 9721 | - | 15M| 0 | 190 | 200 |3113 | 200 | 564 |1230 | 0 | 0 |-5.107806e+01 |-1.800000e+01 | 64.76%
2.59/2.69 c 2.7s| 1 | 0 | 9831 | - | 15M| 0 | 191 | 200 |3113 | 200 | 572 |1238 | 0 | 0 |-5.081199e+01 |-1.800000e+01 | 64.58%
2.69/2.74 c 2.7s| 1 | 0 | 9955 | - | 15M| 0 | 188 | 200 |3113 | 200 | 587 |1253 | 0 | 0 |-5.063299e+01 |-1.800000e+01 | 64.45%
2.69/2.79 c 2.8s| 1 | 0 | 10081 | - | 15M| 0 | 193 | 200 |3113 | 200 | 423 |1263 | 0 | 0 |-5.042361e+01 |-1.800000e+01 | 64.30%
2.79/2.82 c 2.8s| 1 | 0 | 10169 | - | 15M| 0 | 194 | 200 |3113 | 200 | 428 |1268 | 0 | 0 |-5.029552e+01 |-1.800000e+01 | 64.21%
2.79/2.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.87 c 2.9s| 1 | 0 | 10346 | - | 15M| 0 | 195 | 200 |3113 | 200 | 436 |1276 | 0 | 0 |-5.015616e+01 |-1.800000e+01 | 64.11%
2.89/2.90 c 2.9s| 1 | 0 | 10421 | - | 15M| 0 | 193 | 200 |3113 | 200 | 443 |1283 | 0 | 0 |-5.007024e+01 |-1.800000e+01 | 64.05%
2.89/2.94 c 2.9s| 1 | 0 | 10590 | - | 15M| 0 | 198 | 200 |3113 | 200 | 453 |1293 | 0 | 0 |-4.979209e+01 |-1.800000e+01 | 63.85%
2.89/2.98 c 3.0s| 1 | 0 | 10644 | - | 15M| 0 | 197 | 200 |3113 | 200 | 462 |1302 | 0 | 0 |-4.972064e+01 |-1.800000e+01 | 63.80%
2.99/3.02 c 3.0s| 1 | 0 | 10695 | - | 15M| 0 | 200 | 200 |3113 | 200 | 419 |1314 | 0 | 0 |-4.963895e+01 |-1.800000e+01 | 63.74%
2.99/3.06 c 3.1s| 1 | 0 | 10803 | - | 15M| 0 | 198 | 200 |3113 | 200 | 427 |1322 | 0 | 0 |-4.955191e+01 |-1.800000e+01 | 63.67%
2.99/3.09 c 3.1s| 1 | 0 | 10883 | - | 15M| 0 | 198 | 200 |3113 | 200 | 437 |1332 | 0 | 0 |-4.949605e+01 |-1.800000e+01 | 63.63%
3.09/3.12 c 3.1s| 1 | 0 | 10952 | - | 15M| 0 | 198 | 200 |3113 | 200 | 446 |1341 | 0 | 0 |-4.943335e+01 |-1.800000e+01 | 63.59%
3.09/3.16 c 3.2s| 1 | 0 | 11038 | - | 15M| 0 | 199 | 200 |3113 | 200 | 455 |1350 | 0 | 0 |-4.933955e+01 |-1.800000e+01 | 63.52%
3.19/3.20 c 3.2s| 1 | 0 | 11100 | - | 15M| 0 | 199 | 200 |3113 | 200 | 461 |1356 | 0 | 0 |-4.930489e+01 |-1.800000e+01 | 63.49%
3.19/3.24 c 3.2s| 1 | 0 | 11208 | - | 15M| 0 | 199 | 200 |3113 | 200 | 424 |1364 | 0 | 0 |-4.922556e+01 |-1.800000e+01 | 63.43%
3.19/3.27 c 3.3s| 1 | 0 | 11272 | - | 15M| 0 | 199 | 200 |3113 | 200 | 435 |1375 | 0 | 0 |-4.918257e+01 |-1.800000e+01 | 63.40%
3.30/3.31 c 3.3s| 1 | 0 | 11353 | - | 15M| 0 | 200 | 200 |3113 | 200 | 444 |1384 | 0 | 0 |-4.908972e+01 |-1.800000e+01 | 63.33%
3.30/3.35 c 3.3s| 1 | 0 | 11430 | - | 15M| 0 | 200 | 200 |3113 | 200 | 454 |1394 | 0 | 0 |-4.899682e+01 |-1.800000e+01 | 63.26%
3.30/3.39 c 3.4s| 1 | 0 | 11513 | - | 15M| 0 | 200 | 200 |3113 | 200 | 464 |1404 | 0 | 0 |-4.894859e+01 |-1.800000e+01 | 63.23%
3.39/3.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.42 c 3.4s| 1 | 0 | 11571 | - | 15M| 0 | 200 | 200 |3113 | 200 | 473 |1413 | 0 | 0 |-4.889748e+01 |-1.800000e+01 | 63.19%
3.39/3.47 c 3.5s| 1 | 0 | 11668 | - | 15M| 0 | 200 | 200 |3113 | 200 | 425 |1421 | 0 | 0 |-4.886794e+01 |-1.800000e+01 | 63.17%
3.49/3.50 c 3.5s| 1 | 0 | 11742 | - | 15M| 0 | 199 | 200 |3113 | 200 | 434 |1430 | 0 | 0 |-4.885083e+01 |-1.800000e+01 | 63.15%
3.49/3.53 c 3.5s| 1 | 0 | 11794 | - | 15M| 0 | 200 | 200 |3113 | 200 | 439 |1435 | 0 | 0 |-4.883520e+01 |-1.800000e+01 | 63.14%
3.49/3.57 c 3.6s| 1 | 0 | 11876 | - | 15M| 0 | 200 | 200 |3113 | 200 | 444 |1440 | 0 | 0 |-4.881805e+01 |-1.800000e+01 | 63.13%
3.59/3.61 c 3.6s| 1 | 0 | 11933 | - | 15M| 0 | 200 | 200 |3113 | 200 | 452 |1448 | 0 | 0 |-4.880424e+01 |-1.800000e+01 | 63.12%
3.59/3.64 c 3.6s| 1 | 0 | 11964 | - | 15M| 0 | 200 | 200 |3113 | 200 | 456 |1452 | 0 | 0 |-4.879113e+01 |-1.800000e+01 | 63.11%
3.59/3.67 c 3.7s| 1 | 0 | 11975 | - | 15M| 0 | 200 | 200 |3113 | 200 | 412 |1456 | 0 | 0 |-4.879032e+01 |-1.800000e+01 | 63.11%
4.49/4.54 c 4.5s| 1 | 2 | 11975 | - | 15M| 0 | 200 | 200 |3113 | 200 | 412 |1456 | 0 | 21 |-4.879032e+01 |-1.800000e+01 | 63.11%
5.59/5.69 o -20
5.59/5.69 c r 5.7s| 33 | 32 | 14650 | 83.6 | 15M| 13 | 5 | 200 |3113 | 200 | 238 |1643 | 0 | 576 |-4.844830e+01 |-2.000000e+01 | 58.72%
5.59/5.69 o -21
5.59/5.69 c R 5.7s| 33 | 32 | 14650 | 83.6 | 15M| 13 | 5 | 200 |3113 | 200 | 238 |1643 | 0 | 576 |-4.844830e+01 |-2.100000e+01 | 56.65%
5.59/5.69 o -22
5.59/5.69 c f 5.7s| 33 | 31 | 14651 | 83.6 | 15M| 13 | - | 200 |3113 | 200 | 238 |1643 | 0 | 580 |-4.844830e+01 |-2.200000e+01 | 54.59%
5.99/6.09 o -23
5.99/6.09 c r 6.1s| 57 | 48 | 15818 | 68.6 | 15M| 14 | 3 | 200 |3113 | 200 | 223 |1809 | 0 | 882 |-4.844830e+01 |-2.300000e+01 | 52.53%
5.99/6.09 o -24
5.99/6.09 c v 6.1s| 57 | 46 | 15819 | 68.6 | 15M| 14 | - | 200 |3113 | 200 | 223 |1809 | 0 | 882 |-4.844830e+01 |-2.400000e+01 | 50.46%
6.29/6.36 o -25
6.29/6.36 c z 6.4s| 104 | 68 | 17032 | 49.1 | 16M| 15 | - | 200 |3113 | 200 | 214 |2281 | 0 |1189 |-4.844830e+01 |-2.500000e+01 | 48.40%
12.29/12.33 o -26
12.29/12.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.33 c *12.3s| 3810 | 2225 |145281 | 35.0 | 21M| 52 | - | 200 |3113 | 200 | 240 | 44k| 0 |1538 |-4.627451e+01 |-2.600000e+01 | 43.81%
17.89/17.91 c 17.9s| 10000 | 4749 |293306 | 28.1 | 28M| 59 | 43 | 200 |3113 | 200 | 219 | 109k| 0 |1538 |-4.539858e+01 |-2.600000e+01 | 42.73%
25.78/25.88 c 25.9s| 20000 | 8291 |496238 | 24.2 | 37M| 65 | 24 | 200 |3113 | 200 | 219 | 207k| 0 |2025 |-4.484615e+01 |-2.600000e+01 | 42.02%
26.09/26.17 o -27
26.09/26.17 c *26.2s| 20397 | 6979 |503770 | 24.1 | 35M| 65 | - | 200 |3113 | 200 | 226 | 211k| 0 |2026 |-4.482176e+01 |-2.700000e+01 | 39.76%
33.19/33.29 c 33.3s| 30000 | 9498 |682602 | 22.4 | 43M| 65 | 47 | 200 |3113 | 200 | 248 | 303k| 0 |2495 |-4.453546e+01 |-2.700000e+01 | 39.37%
40.39/40.49 c 40.5s| 40000 | 12126 |869514 | 21.4 | 50M| 65 | 12 | 200 |3113 | 200 | 200 | 397k| 0 |2933 |-4.422222e+01 |-2.700000e+01 | 38.94%
46.89/46.92 o -28
46.89/46.92 c *46.9s| 49443 | 11717 | 1035k| 20.7 | 51M| 65 | - | 200 |3113 | 200 | 230 | 485k| 0 |3218 |-4.400593e+01 |-2.800000e+01 | 36.37%
47.30/47.32 c 47.3s| 50000 | 11822 | 1045k| 20.7 | 52M| 65 | 9 | 200 |3113 | 200 | 200 | 490k| 0 |3244 |-4.399813e+01 |-2.800000e+01 | 36.36%
54.08/54.12 c 54.1s| 60000 | 13846 | 1218k| 20.1 | 58M| 65 | - | 200 |3113 | 200 | 228 | 586k| 0 |3611 |-4.381009e+01 |-2.800000e+01 | 36.09%
60.50/60.50 c 60.5s| 70000 | 15754 | 1384k| 19.6 | 64M| 65 | 50 | 200 |3113 | 200 | 234 | 679k| 0 |3891 |-4.361067e+01 |-2.800000e+01 | 35.80%
67.10/67.17 c 67.2s| 80000 | 17802 | 1558k| 19.3 | 70M| 65 | 49 | 200 |3113 | 200 | 246 | 775k| 0 |4179 |-4.340625e+01 |-2.800000e+01 | 35.49%
73.70/73.72 c 73.7s| 90000 | 19788 | 1730k| 19.1 | 76M| 65 | - | 200 |3113 | 200 | 233 | 871k| 0 |4453 |-4.323507e+01 |-2.800000e+01 | 35.24%
80.19/80.22 c 80.2s|100000 | 21898 | 1901k| 18.9 | 82M| 65 | 42 | 200 |3113 | 200 | 237 | 963k| 0 |4721 |-4.308623e+01 |-2.800000e+01 | 35.01%
86.49/86.54 c 86.5s|110000 | 23878 | 2069k| 18.7 | 88M| 69 | 33 | 200 |3113 | 200 | 228 |1056k| 0 |4912 |-4.295952e+01 |-2.800000e+01 | 34.82%
92.89/92.92 c 92.9s|120000 | 25800 | 2237k| 18.5 | 94M| 69 | 26 | 200 |3113 | 200 | 212 |1149k| 0 |5183 |-4.283333e+01 |-2.800000e+01 | 34.63%
99.19/99.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.19/99.21 c 99.2s|130000 | 27774 | 2404k| 18.4 | 100M| 69 | 55 | 200 |3113 | 200 | 253 |1242k| 0 |5391 |-4.272981e+01 |-2.800000e+01 | 34.47%
105.49/105.59 c 106s|140000 | 29734 | 2573k| 18.3 | 106M| 69 | - | 200 |3113 | 200 | 238 |1338k| 0 |5628 |-4.263415e+01 |-2.800000e+01 | 34.32%
111.89/111.93 c 112s|150000 | 31664 | 2741k| 18.2 | 112M| 71 | 42 | 200 |3113 | 200 | 241 |1432k| 0 |5804 |-4.251852e+01 |-2.800000e+01 | 34.15%
118.19/118.27 c 118s|160000 | 33482 | 2907k| 18.1 | 117M| 71 | - | 200 |3113 | 200 | 218 |1524k| 0 |6023 |-4.240909e+01 |-2.800000e+01 | 33.98%
124.69/124.72 c 125s|170000 | 35446 | 3078k| 18.0 | 123M| 76 | 36 | 200 |3113 | 200 | 222 |1615k| 0 |6216 |-4.229167e+01 |-2.800000e+01 | 33.79%
130.90/131.00 c 131s|180000 | 37398 | 3243k| 18.0 | 129M| 76 | 25 | 200 |3113 | 200 | 216 |1704k| 0 |6429 |-4.217647e+01 |-2.800000e+01 | 33.61%
137.19/137.21 c 137s|190000 | 39192 | 3406k| 17.9 | 135M| 76 | - | 200 |3113 | 200 | 238 |1793k| 0 |6600 |-4.207692e+01 |-2.800000e+01 | 33.46%
143.39/143.49 c 143s|200000 | 41060 | 3572k| 17.8 | 141M| 76 | 31 | 200 |3113 | 200 | 232 |1888k| 0 |6782 |-4.200000e+01 |-2.800000e+01 | 33.33%
149.59/149.66 c 150s|210000 | 42792 | 3735k| 17.7 | 146M| 77 | - | 200 |3113 | 200 | 219 |1981k| 0 |6922 |-4.190566e+01 |-2.800000e+01 | 33.18%
155.69/155.75 c 156s|220000 | 44578 | 3895k| 17.7 | 151M| 77 | 17 | 200 |3113 | 200 | 200 |2070k| 0 |7074 |-4.181818e+01 |-2.800000e+01 | 33.04%
161.79/161.86 c 162s|230000 | 46290 | 4055k| 17.6 | 157M| 77 | - | 200 |3113 | 200 | 220 |2159k| 0 |7222 |-4.172727e+01 |-2.800000e+01 | 32.90%
167.99/168.00 c 168s|240000 | 48090 | 4217k| 17.5 | 162M| 77 | 39 | 200 |3113 | 200 | 226 |2249k| 0 |7407 |-4.164912e+01 |-2.800000e+01 | 32.77%
173.99/174.05 c 174s|250000 | 49822 | 4377k| 17.5 | 167M| 77 | 8 | 200 |3113 | 200 | 200 |2341k| 0 |7580 |-4.158333e+01 |-2.800000e+01 | 32.67%
179.89/179.97 c 180s|260000 | 51374 | 4532k| 17.4 | 172M| 77 | 56 | 200 |3113 | 200 | 244 |2432k| 0 |7735 |-4.152632e+01 |-2.800000e+01 | 32.57%
185.89/186.00 c 186s|270000 | 53066 | 4692k| 17.3 | 177M| 77 | 22 | 200 |3113 | 200 | 200 |2521k| 0 |7863 |-4.147887e+01 |-2.800000e+01 | 32.50%
191.79/191.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.79/191.84 c 192s|280000 | 54560 | 4844k| 17.3 | 182M| 77 | 35 | 200 |3113 | 200 | 200 |2610k| 0 |8015 |-4.141667e+01 |-2.800000e+01 | 32.39%
197.78/197.87 c 198s|290000 | 56286 | 5002k| 17.2 | 187M| 77 | 69 | 200 |3113 | 200 | 245 |2697k| 0 |8186 |-4.134545e+01 |-2.800000e+01 | 32.28%
203.78/203.89 c 204s|300000 | 57980 | 5160k| 17.2 | 192M| 77 | 29 | 200 |3113 | 200 | 214 |2788k| 0 |8335 |-4.128571e+01 |-2.800000e+01 | 32.18%
209.79/209.85 c 210s|310000 | 59712 | 5316k| 17.1 | 197M| 77 | 41 | 200 |3113 | 200 | 200 |2878k| 0 |8449 |-4.123077e+01 |-2.800000e+01 | 32.09%
215.49/215.60 c 216s|320000 | 61260 | 5466k| 17.0 | 202M| 77 | - | 200 |3113 | 200 | 227 |2967k| 0 |8626 |-4.116667e+01 |-2.800000e+01 | 31.98%
221.39/221.49 c 221s|330000 | 62868 | 5620k| 17.0 | 207M| 77 | 43 | 200 |3113 | 200 | 200 |3057k| 0 |8772 |-4.112500e+01 |-2.800000e+01 | 31.91%
227.39/227.43 c 227s|340000 | 64504 | 5776k| 17.0 | 212M| 77 | 60 | 200 |3113 | 200 | 248 |3146k| 0 |8884 |-4.105882e+01 |-2.800000e+01 | 31.81%
233.29/233.33 c 233s|350000 | 66022 | 5930k| 16.9 | 217M| 77 | 16 | 200 |3113 | 200 | 200 |3232k| 0 |9036 |-4.100000e+01 |-2.800000e+01 | 31.71%
239.09/239.12 c 239s|360000 | 67530 | 6082k| 16.9 | 221M| 77 | 18 | 200 |3113 | 200 | 211 |3323k| 0 |9138 |-4.100000e+01 |-2.800000e+01 | 31.71%
244.89/244.95 c 245s|370000 | 69084 | 6234k| 16.8 | 226M| 77 | - | 200 |3113 | 200 | 212 |3414k| 0 |9245 |-4.095455e+01 |-2.800000e+01 | 31.63%
250.79/250.87 c 251s|380000 | 70698 | 6390k| 16.8 | 231M| 77 | 6 | 200 |3113 | 200 | 215 |3503k| 0 |9388 |-4.088889e+01 |-2.800000e+01 | 31.52%
256.58/256.68 c 257s|390000 | 72276 | 6542k| 16.7 | 235M| 77 | - | 200 |3113 | 200 | 236 |3591k| 0 |9516 |-4.084211e+01 |-2.800000e+01 | 31.44%
262.48/262.59 c 263s|400000 | 73916 | 6696k| 16.7 | 240M| 78 | 46 | 200 |3113 | 200 | 219 |3680k| 0 |9635 |-4.077778e+01 |-2.800000e+01 | 31.34%
268.09/268.19 c 268s|410000 | 75336 | 6842k| 16.7 | 245M| 83 | 6 | 200 |3113 | 200 | 216 |3767k| 0 |9749 |-4.075000e+01 |-2.800000e+01 | 31.29%
273.78/273.89 c 274s|420000 | 76770 | 6990k| 16.6 | 249M| 83 | - | 200 |3113 | 200 | 238 |3855k| 0 |9882 |-4.070175e+01 |-2.800000e+01 | 31.21%
279.40/279.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.40/279.49 c 279s|430000 | 78098 | 7137k| 16.6 | 253M| 83 | - | 200 |3113 | 200 | 235 |3943k| 0 |9990 |-4.066667e+01 |-2.800000e+01 | 31.15%
284.99/285.05 c 285s|440000 | 79332 | 7280k| 16.5 | 257M| 83 | - | 200 |3113 | 200 | 246 |4029k| 0 | 10k|-4.063397e+01 |-2.800000e+01 | 31.09%
290.50/290.56 c 291s|450000 | 80646 | 7423k| 16.5 | 261M| 83 | - | 200 |3113 | 200 | 222 |4114k| 0 | 10k|-4.060000e+01 |-2.800000e+01 | 31.03%
296.09/296.13 c 296s|460000 | 81912 | 7566k| 16.4 | 265M| 92 | 9 | 200 |3113 | 200 | 224 |4200k| 0 | 10k|-4.056250e+01 |-2.800000e+01 | 30.97%
301.69/301.70 c 302s|470000 | 83082 | 7709k| 16.4 | 268M| 92 | - | 200 |3113 | 200 | 227 |4285k| 0 | 10k|-4.052857e+01 |-2.800000e+01 | 30.91%
307.28/307.35 c 307s|480000 | 84410 | 7855k| 16.3 | 272M| 92 | - | 200 |3113 | 200 | 216 |4372k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
312.89/312.97 c 313s|490000 | 85688 | 8001k| 16.3 | 276M| 92 | 44 | 200 |3113 | 200 | 213 |4458k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
318.59/318.60 c 319s|500000 | 86938 | 8146k| 16.3 | 280M| 92 | - | 200 |3113 | 200 | 219 |4544k| 0 | 10k|-4.044444e+01 |-2.800000e+01 | 30.77%
324.09/324.11 c 324s|510000 | 88070 | 8288k| 16.2 | 284M| 92 | 44 | 200 |3113 | 200 | 246 |4629k| 0 | 10k|-4.041573e+01 |-2.800000e+01 | 30.72%
329.69/329.71 c 330s|520000 | 89248 | 8434k| 16.2 | 288M| 92 | 11 | 200 |3113 | 200 | 210 |4716k| 0 | 11k|-4.037500e+01 |-2.800000e+01 | 30.65%
335.19/335.20 c 335s|530000 | 90376 | 8574k| 16.2 | 291M| 92 | - | 200 |3113 | 200 | 213 |4800k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
340.59/340.68 c 341s|540000 | 91546 | 8714k| 16.1 | 295M| 92 | 25 | 200 |3113 | 200 | 213 |4886k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
346.19/346.27 c 346s|550000 | 92740 | 8859k| 16.1 | 299M| 92 | - | 200 |3113 | 200 | 220 |4971k| 0 | 11k|-4.028571e+01 |-2.800000e+01 | 30.50%
351.69/351.79 c 352s|560000 | 93890 | 9001k| 16.1 | 302M| 92 | - | 200 |3113 | 200 | 223 |5058k| 0 | 11k|-4.025000e+01 |-2.800000e+01 | 30.43%
357.29/357.38 c 357s|570000 | 95130 | 9145k| 16.0 | 306M| 92 | 52 | 200 |3113 | 200 | 214 |5145k| 0 | 11k|-4.021429e+01 |-2.800000e+01 | 30.37%
362.79/362.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.79/362.89 c 363s|580000 | 96340 | 9286k| 16.0 | 310M| 92 | 19 | 200 |3113 | 200 | 215 |5230k| 0 | 11k|-4.018182e+01 |-2.800000e+01 | 30.32%
368.39/368.41 c 368s|590000 | 97464 | 9428k| 16.0 | 313M| 92 | - | 200 |3113 | 200 | 235 |5316k| 0 | 11k|-4.014583e+01 |-2.800000e+01 | 30.25%
373.89/373.92 c 374s|600000 | 98624 | 9569k| 15.9 | 317M| 92 | 8 | 200 |3113 | 200 | 200 |5401k| 0 | 11k|-4.012022e+01 |-2.800000e+01 | 30.21%
379.39/379.46 c 379s|610000 | 99748 | 9712k| 15.9 | 321M| 92 | - | 200 |3113 | 200 | 232 |5487k| 0 | 11k|-4.008333e+01 |-2.800000e+01 | 30.15%
384.89/384.98 c 385s|620000 |100884 | 9854k| 15.9 | 324M| 92 | - | 200 |3113 | 200 | 228 |5572k| 0 | 12k|-4.004032e+01 |-2.800000e+01 | 30.07%
390.39/390.43 c 390s|630000 |102040 | 9994k| 15.8 | 328M| 92 | - | 200 |3113 | 200 | 215 |5659k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
395.79/395.85 c 396s|640000 |103160 | 10132k| 15.8 | 331M| 92 | 31 | 200 |3113 | 200 | 200 |5746k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
401.29/401.31 c 401s|650000 |104378 | 10273k| 15.8 | 335M| 92 | - | 200 |3113 | 200 | 235 |5831k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
406.80/406.84 c 407s|660000 |105592 | 10416k| 15.8 | 338M| 92 | 40 | 200 |3113 | 200 | 211 |5918k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
412.19/412.26 c 412s|670000 |106774 | 10555k| 15.7 | 342M| 92 | - | 200 |3113 | 200 | 228 |6001k| 0 | 12k|-3.996429e+01 |-2.800000e+01 | 29.94%
417.59/417.65 c 418s|680000 |107906 | 10693k| 15.7 | 346M| 92 | 11 | 200 |3113 | 200 | 215 |6085k| 0 | 12k|-3.992308e+01 |-2.800000e+01 | 29.87%
417.89/417.95 o -29
417.89/417.95 c * 418s|680384 | 88079 | 10699k| 15.7 | 296M| 92 | - | 200 |3113 | 200 | 247 |6089k| 0 | 12k|-3.992241e+01 |-2.900000e+01 | 27.36%
423.39/423.41 c 423s|690000 | 88907 | 10836k| 15.7 | 299M| 92 | 18 | 200 |3113 | 200 | 217 |6175k| 0 | 12k|-3.988889e+01 |-2.900000e+01 | 27.30%
428.79/428.88 c 429s|700000 | 89715 | 10975k| 15.7 | 302M| 92 | 59 | 200 |3113 | 200 | 253 |6263k| 0 | 12k|-3.985714e+01 |-2.900000e+01 | 27.24%
434.30/434.35 c 434s|710000 | 90557 | 11115k| 15.6 | 305M| 92 | 33 | 200 |3113 | 200 | 200 |6352k| 0 | 12k|-3.983333e+01 |-2.900000e+01 | 27.20%
439.80/439.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.80/439.80 c 440s|720000 | 91439 | 11255k| 15.6 | 308M| 92 | - | 200 |3113 | 200 | 256 |6439k| 0 | 12k|-3.980000e+01 |-2.900000e+01 | 27.14%
445.19/445.29 c 445s|730000 | 92353 | 11395k| 15.6 | 311M| 92 | 39 | 200 |3113 | 200 | 215 |6526k| 0 | 13k|-3.976667e+01 |-2.900000e+01 | 27.07%
450.69/450.78 o -30
450.69/450.78 c * 451s|739789 | 74028 | 11534k| 15.6 | 264M| 92 | - | 200 |3113 | 200 | 224 |6611k| 0 | 13k|-3.975000e+01 |-3.000000e+01 | 24.53%
450.89/450.92 c 451s|740000 | 74043 | 11537k| 15.6 | 264M| 92 | 11 | 200 |3113 | 200 | 200 |6613k| 0 | 13k|-3.975000e+01 |-3.000000e+01 | 24.53%
456.40/456.46 c 456s|750000 | 74579 | 11675k| 15.6 | 267M| 92 | 19 | 200 |3113 | 200 | 200 |6703k| 0 | 13k|-3.971429e+01 |-3.000000e+01 | 24.46%
461.89/461.99 c 462s|760000 | 75213 | 11815k| 15.5 | 269M| 92 | - | 200 |3113 | 200 | 237 |6792k| 0 | 13k|-3.967308e+01 |-3.000000e+01 | 24.38%
467.39/467.47 c 467s|770000 | 75749 | 11954k| 15.5 | 271M| 92 | - | 200 |3113 | 200 | 255 |6883k| 0 | 13k|-3.966667e+01 |-3.000000e+01 | 24.37%
472.90/472.92 c 473s|780000 | 76285 | 12092k| 15.5 | 273M| 92 | - | 200 |3113 | 200 | 229 |6974k| 0 | 13k|-3.964706e+01 |-3.000000e+01 | 24.33%
478.29/478.35 c 478s|790000 | 76825 | 12230k| 15.5 | 275M| 92 | 12 | 200 |3113 | 200 | 209 |7066k| 0 | 13k|-3.961765e+01 |-3.000000e+01 | 24.28%
483.90/483.91 c 484s|800000 | 77385 | 12370k| 15.4 | 278M| 92 | 15 | 200 |3113 | 200 | 209 |7155k| 0 | 13k|-3.958621e+01 |-3.000000e+01 | 24.22%
489.30/489.33 c 489s|810000 | 77867 | 12507k| 15.4 | 280M| 92 | - | 200 |3113 | 200 | 218 |7246k| 0 | 13k|-3.955556e+01 |-3.000000e+01 | 24.16%
494.69/494.79 c 495s|820000 | 78347 | 12644k| 15.4 | 282M| 92 | 14 | 200 |3113 | 200 | 200 |7333k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
500.19/500.21 c 500s|830000 | 78889 | 12782k| 15.4 | 284M| 92 | 42 | 200 |3113 | 200 | 223 |7422k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
505.49/505.53 c 506s|840000 | 79377 | 12916k| 15.4 | 286M| 92 | - | 200 |3113 | 200 | 228 |7510k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
510.99/511.02 c 511s|850000 | 79969 | 13054k| 15.3 | 288M| 92 | - | 200 |3113 | 200 | 219 |7601k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
516.39/516.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.39/516.48 c 516s|860000 | 80465 | 13192k| 15.3 | 290M| 92 | - | 200 |3113 | 200 | 236 |7691k| 0 | 14k|-3.943902e+01 |-3.000000e+01 | 23.93%
521.79/521.87 c 522s|870000 | 80899 | 13328k| 15.3 | 292M| 92 | - | 200 |3113 | 200 | 232 |7783k| 0 | 14k|-3.940625e+01 |-3.000000e+01 | 23.87%
527.09/527.19 c 527s|880000 | 81415 | 13461k| 15.3 | 294M| 92 | - | 200 |3113 | 200 | 245 |7869k| 0 | 14k|-3.937500e+01 |-3.000000e+01 | 23.81%
532.50/532.52 c 533s|890000 | 81931 | 13594k| 15.3 | 296M| 92 | 24 | 200 |3113 | 200 | 200 |7956k| 0 | 14k|-3.935417e+01 |-3.000000e+01 | 23.77%
537.80/537.89 c 538s|900000 | 82435 | 13730k| 15.2 | 298M| 92 | 35 | 200 |3113 | 200 | 200 |8045k| 0 | 14k|-3.933333e+01 |-3.000000e+01 | 23.73%
543.20/543.27 c 543s|910000 | 82969 | 13866k| 15.2 | 300M| 92 | 54 | 200 |3113 | 200 | 244 |8135k| 0 | 14k|-3.932558e+01 |-3.000000e+01 | 23.71%
548.60/548.62 c 549s|920000 | 83433 | 14001k| 15.2 | 302M| 92 | - | 200 |3113 | 200 | 210 |8225k| 0 | 14k|-3.928571e+01 |-3.000000e+01 | 23.64%
553.90/553.99 c 554s|930000 | 83879 | 14136k| 15.2 | 304M| 92 | - | 200 |3113 | 200 | 237 |8314k| 0 | 14k|-3.925000e+01 |-3.000000e+01 | 23.57%
559.19/559.30 c 559s|940000 | 84251 | 14269k| 15.2 | 305M| 92 | 47 | 200 |3113 | 200 | 219 |8404k| 0 | 14k|-3.925000e+01 |-3.000000e+01 | 23.57%
564.59/564.68 c 565s|950000 | 84757 | 14404k| 15.2 | 307M| 98 | - | 200 |3113 | 200 | 244 |8493k| 0 | 14k|-3.921622e+01 |-3.000000e+01 | 23.50%
570.00/570.06 c 570s|960000 | 85265 | 14538k| 15.1 | 309M| 98 | - | 200 |3113 | 200 | 239 |8580k| 0 | 14k|-3.918519e+01 |-3.000000e+01 | 23.44%
575.40/575.46 c 575s|970000 | 85703 | 14673k| 15.1 | 311M| 98 | 22 | 200 |3113 | 200 | 209 |8671k| 0 | 14k|-3.916667e+01 |-3.000000e+01 | 23.40%
580.80/580.89 c 581s|980000 | 86189 | 14810k| 15.1 | 313M| 98 | 53 | 200 |3113 | 200 | 215 |8758k| 0 | 15k|-3.912500e+01 |-3.000000e+01 | 23.32%
586.09/586.12 c 586s|990000 | 86637 | 14940k| 15.1 | 315M| 98 | 44 | 200 |3113 | 200 | 209 |8843k| 0 | 15k|-3.910000e+01 |-3.000000e+01 | 23.27%
591.40/591.47 c 591s| 1000k| 87055 | 15074k| 15.1 | 317M| 98 | - | 200 |3113 | 200 | 251 |8931k| 0 | 15k|-3.906250e+01 |-3.000000e+01 | 23.20%
596.69/596.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.69/596.78 c 597s| 1010k| 87491 | 15207k| 15.0 | 318M| 98 | - | 200 |3113 | 200 | 215 |9020k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
602.09/602.13 c 602s| 1020k| 87983 | 15342k| 15.0 | 320M| 98 | 7 | 200 |3113 | 200 | 212 |9108k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
607.40/607.41 c 607s| 1030k| 88375 | 15475k| 15.0 | 322M| 98 | 25 | 200 |3113 | 200 | 232 |9195k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
612.60/612.69 c 613s| 1040k| 88779 | 15606k| 15.0 | 324M| 98 | 27 | 200 |3113 | 200 | 212 |9282k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
618.00/618.01 c 618s| 1050k| 89253 | 15741k| 15.0 | 326M| 98 | - | 200 |3113 | 200 | 226 |9369k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
623.29/623.33 c 623s| 1060k| 89731 | 15875k| 15.0 | 328M| 98 | 25 | 200 |3113 | 200 | 211 |9457k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
628.60/628.62 c 629s| 1070k| 90203 | 16008k| 14.9 | 329M| 98 | - | 200 |3113 | 200 | 220 |9546k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
633.90/633.90 c 634s| 1080k| 90605 | 16138k| 14.9 | 331M| 98 | 36 | 200 |3113 | 200 | 213 |9633k| 0 | 15k|-3.896154e+01 |-3.000000e+01 | 23.00%
639.21/639.20 c 639s| 1090k| 91055 | 16270k| 14.9 | 333M| 98 | - | 200 |3113 | 200 | 200 |9720k| 0 | 15k|-3.893443e+01 |-3.000000e+01 | 22.95%
644.50/644.56 c 645s| 1100k| 91421 | 16403k| 14.9 | 334M| 98 | 27 | 200 |3113 | 200 | 217 |9808k| 0 | 15k|-3.890000e+01 |-3.000000e+01 | 22.88%
649.80/649.82 c 650s| 1110k| 91835 | 16535k| 14.9 | 336M| 98 | - | 200 |3113 | 200 | 223 |9895k| 0 | 16k|-3.887500e+01 |-3.000000e+01 | 22.83%
655.10/655.11 c 655s| 1120k| 92287 | 16667k| 14.9 | 338M| 98 | 10 | 200 |3113 | 200 | 200 |9981k| 0 | 16k|-3.885000e+01 |-3.000000e+01 | 22.78%
660.30/660.37 c 660s| 1130k| 92627 | 16798k| 14.9 | 339M| 98 | 20 | 200 |3113 | 200 | 214 | 10M| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
665.60/665.67 c 666s| 1140k| 93071 | 16931k| 14.8 | 341M| 98 | 21 | 200 |3113 | 200 | 210 | 10M| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
670.80/670.89 c 671s| 1150k| 93379 | 17059k| 14.8 | 343M| 98 | 38 | 200 |3113 | 200 | 215 | 10M| 0 | 16k|-3.878125e+01 |-3.000000e+01 | 22.64%
676.00/676.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.00/676.05 c 676s| 1160k| 93765 | 17187k| 14.8 | 344M| 98 | - | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
681.29/681.30 c 681s| 1170k| 94119 | 17317k| 14.8 | 346M| 98 | 12 | 200 |3113 | 200 | 216 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
686.40/686.49 c 686s| 1180k| 94545 | 17447k| 14.8 | 347M| 98 | - | 200 |3113 | 200 | 237 | 10M| 0 | 16k|-3.872512e+01 |-3.000000e+01 | 22.53%
691.60/691.65 c 692s| 1190k| 94861 | 17573k| 14.8 | 349M| 98 | - | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.870175e+01 |-3.000000e+01 | 22.48%
696.90/696.93 c 697s| 1200k| 95177 | 17703k| 14.7 | 350M| 98 | - | 200 |3113 | 200 | 228 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
702.00/702.08 c 702s| 1210k| 95541 | 17830k| 14.7 | 352M| 98 | 64 | 200 |3113 | 200 | 240 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
707.20/707.25 c 707s| 1220k| 95963 | 17959k| 14.7 | 354M| 98 | 48 | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
712.50/712.54 c 713s| 1230k| 96417 | 18091k| 14.7 | 355M| 98 | 58 | 200 |3113 | 200 | 239 | 10M| 0 | 16k|-3.862500e+01 |-3.000000e+01 | 22.33%
717.70/717.73 c 718s| 1240k| 96717 | 18219k| 14.7 | 357M| 98 | - | 200 |3113 | 200 | 219 | 11M| 0 | 16k|-3.860000e+01 |-3.000000e+01 | 22.28%
722.90/722.93 c 723s| 1250k| 97095 | 18346k| 14.7 | 358M| 98 | 14 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.857692e+01 |-3.000000e+01 | 22.23%
728.00/728.05 c 728s| 1260k| 97439 | 18471k| 14.7 | 360M| 98 | - | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.855000e+01 |-3.000000e+01 | 22.18%
733.20/733.26 c 733s| 1270k| 97801 | 18601k| 14.6 | 361M| 98 | 14 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.851613e+01 |-3.000000e+01 | 22.11%
738.40/738.46 c 738s| 1280k| 98199 | 18730k| 14.6 | 363M| 98 | - | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
743.60/743.66 c 744s| 1290k| 98637 | 18860k| 14.6 | 365M| 98 | 15 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
748.80/748.84 c 749s| 1300k| 99075 | 18990k| 14.6 | 366M| 98 | - | 200 |3113 | 200 | 216 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
754.00/754.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.00/754.03 c 754s| 1310k| 99431 | 19119k| 14.6 | 368M| 98 | - | 200 |3113 | 200 | 220 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
759.11/759.17 c 759s| 1320k| 99829 | 19245k| 14.6 | 369M| 98 | - | 200 |3113 | 200 | 213 | 11M| 0 | 17k|-3.848718e+01 |-3.000000e+01 | 22.05%
764.30/764.31 c 764s| 1330k|100155 | 19372k| 14.6 | 371M| 98 | 55 | 200 |3113 | 200 | 251 | 11M| 0 | 17k|-3.844595e+01 |-3.000000e+01 | 21.97%
769.50/769.56 c 770s| 1340k|100523 | 19501k| 14.5 | 372M| 98 | 59 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.842308e+01 |-3.000000e+01 | 21.92%
774.70/774.74 c 775s| 1350k|100921 | 19627k| 14.5 | 374M| 98 | - | 200 |3113 | 200 | 225 | 11M| 0 | 17k|-3.840000e+01 |-3.000000e+01 | 21.87%
779.80/779.80 c 780s| 1360k|101271 | 19751k| 14.5 | 375M| 98 | 49 | 200 |3113 | 200 | 210 | 12M| 0 | 17k|-3.837500e+01 |-3.000000e+01 | 21.82%
784.90/784.99 c 785s| 1370k|101557 | 19878k| 14.5 | 377M| 98 | 41 | 200 |3113 | 200 | 213 | 12M| 0 | 17k|-3.834049e+01 |-3.000000e+01 | 21.75%
790.10/790.14 c 790s| 1380k|101915 | 20004k| 14.5 | 378M| 98 | - | 200 |3113 | 200 | 200 | 12M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
795.30/795.30 c 795s| 1390k|102213 | 20130k| 14.5 | 379M| 98 | - | 200 |3113 | 200 | 216 | 12M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
800.40/800.47 c 800s| 1400k|102553 | 20257k| 14.5 | 381M| 98 | - | 200 |3113 | 200 | 232 | 12M| 0 | 17k|-3.832243e+01 |-3.000000e+01 | 21.72%
805.60/805.61 c 806s| 1410k|102865 | 20383k| 14.4 | 382M| 98 | - | 200 |3113 | 200 | 248 | 12M| 0 | 18k|-3.828571e+01 |-3.000000e+01 | 21.64%
810.70/810.74 c 811s| 1420k|103143 | 20507k| 14.4 | 383M| 98 | 53 | 200 |3113 | 200 | 248 | 12M| 0 | 18k|-3.825439e+01 |-3.000000e+01 | 21.58%
815.90/815.98 c 816s| 1430k|103515 | 20638k| 14.4 | 385M| 98 | 54 | 200 |3113 | 200 | 217 | 12M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
821.11/821.13 c 821s| 1440k|103899 | 20766k| 14.4 | 386M| 98 | 42 | 200 |3113 | 200 | 200 | 12M| 0 | 18k|-3.824444e+01 |-3.000000e+01 | 21.56%
826.21/826.22 c 826s| 1450k|104213 | 20890k| 14.4 | 388M| 98 | - | 200 |3113 | 200 | 215 | 12M| 0 | 18k|-3.821053e+01 |-3.000000e+01 | 21.49%
831.41/831.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.41/831.41 c 831s| 1460k|104493 | 21018k| 14.4 | 389M| 98 | - | 200 |3113 | 200 | 255 | 12M| 0 | 18k|-3.818750e+01 |-3.000000e+01 | 21.44%
836.50/836.58 c 837s| 1470k|104823 | 21144k| 14.4 | 391M| 98 | 4 | 200 |3113 | 200 | 200 | 12M| 0 | 18k|-3.816667e+01 |-3.000000e+01 | 21.40%
841.60/841.68 c 842s| 1480k|105113 | 21270k| 14.4 | 392M| 102 | - | 200 |3113 | 200 | 227 | 13M| 0 | 18k|-3.814286e+01 |-3.000000e+01 | 21.35%
846.60/846.64 c 847s| 1490k|105427 | 21390k| 14.3 | 393M| 102 | 4 | 200 |3113 | 200 | 212 | 13M| 0 | 18k|-3.812500e+01 |-3.000000e+01 | 21.31%
851.60/851.66 c 852s| 1500k|105707 | 21512k| 14.3 | 394M| 102 | - | 200 |3113 | 200 | 242 | 13M| 0 | 18k|-3.810000e+01 |-3.000000e+01 | 21.26%
856.80/856.80 c 857s| 1510k|105969 | 21637k| 14.3 | 396M| 102 | 40 | 200 |3113 | 200 | 200 | 13M| 0 | 18k|-3.807143e+01 |-3.000000e+01 | 21.20%
861.81/861.86 c 862s| 1520k|106229 | 21760k| 14.3 | 397M| 102 | - | 200 |3113 | 200 | 245 | 13M| 0 | 18k|-3.802041e+01 |-3.000000e+01 | 21.10%
866.91/866.91 c 867s| 1530k|106503 | 21884k| 14.3 | 398M| 102 | 8 | 200 |3113 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
871.90/871.98 c 872s| 1540k|106789 | 22008k| 14.3 | 399M| 102 | - | 200 |3113 | 200 | 240 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
877.20/877.21 c 877s| 1550k|107067 | 22137k| 14.3 | 400M| 102 | - | 200 |3113 | 200 | 245 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
882.21/882.29 c 882s| 1560k|107319 | 22261k| 14.3 | 402M| 102 | - | 200 |3113 | 200 | 213 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
887.30/887.39 c 887s| 1570k|107645 | 22386k| 14.3 | 403M| 102 | 50 | 200 |3113 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
892.50/892.54 c 893s| 1580k|107961 | 22513k| 14.2 | 404M| 102 | - | 200 |3113 | 200 | 224 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
897.40/897.46 c 897s| 1590k|108225 | 22632k| 14.2 | 405M| 102 | 40 | 200 |3113 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
902.41/902.45 c 902s| 1600k|108495 | 22753k| 14.2 | 406M| 102 | - | 200 |3113 | 200 | 212 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
907.51/907.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.51/907.52 c 908s| 1610k|108731 | 22877k| 14.2 | 408M| 102 | 31 | 200 |3113 | 200 | 216 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
912.51/912.57 c 913s| 1620k|109019 | 23000k| 14.2 | 409M| 102 | 32 | 200 |3113 | 200 | 220 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
917.60/917.61 c 918s| 1630k|109277 | 23122k| 14.2 | 410M| 102 | 10 | 200 |3113 | 200 | 215 | 14M| 0 | 19k|-3.797143e+01 |-3.000000e+01 | 20.99%
922.51/922.59 c 923s| 1640k|109489 | 23242k| 14.2 | 411M| 102 | - | 200 |3113 | 200 | 241 | 14M| 0 | 19k|-3.793750e+01 |-3.000000e+01 | 20.92%
927.61/927.67 c 928s| 1650k|109721 | 23364k| 14.2 | 412M| 102 | 19 | 200 |3113 | 200 | 214 | 14M| 0 | 19k|-3.791429e+01 |-3.000000e+01 | 20.87%
932.60/932.62 c 933s| 1660k|109909 | 23483k| 14.1 | 413M| 102 | - | 200 |3113 | 200 | 215 | 14M| 0 | 19k|-3.789286e+01 |-3.000000e+01 | 20.83%
937.61/937.69 c 938s| 1670k|110165 | 23606k| 14.1 | 414M| 102 | 55 | 200 |3113 | 200 | 200 | 14M| 0 | 19k|-3.787500e+01 |-3.000000e+01 | 20.79%
942.71/942.72 c 943s| 1680k|110399 | 23728k| 14.1 | 415M| 102 | 53 | 200 |3113 | 200 | 211 | 14M| 0 | 19k|-3.785714e+01 |-3.000000e+01 | 20.75%
947.71/947.75 c 948s| 1690k|110649 | 23850k| 14.1 | 416M| 102 | 38 | 200 |3113 | 200 | 228 | 14M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
952.80/952.83 c 953s| 1700k|110965 | 23973k| 14.1 | 418M| 102 | - | 200 |3113 | 200 | 200 | 14M| 0 | 19k|-3.781818e+01 |-3.000000e+01 | 20.67%
957.81/957.83 c 958s| 1710k|111203 | 24095k| 14.1 | 419M| 102 | - | 200 |3113 | 200 | 222 | 14M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
962.80/962.80 c 963s| 1720k|111453 | 24215k| 14.1 | 420M| 102 | 18 | 200 |3113 | 200 | 200 | 15M| 0 | 19k|-3.777778e+01 |-3.000000e+01 | 20.59%
967.81/967.80 c 968s| 1730k|111673 | 24335k| 14.1 | 421M| 102 | - | 200 |3113 | 200 | 230 | 15M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
972.71/972.78 c 973s| 1740k|111861 | 24454k| 14.0 | 422M| 102 | 4 | 200 |3113 | 200 | 213 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
977.71/977.77 c 978s| 1750k|112097 | 24574k| 14.0 | 423M| 102 | - | 200 |3113 | 200 | 227 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
982.80/982.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.80/982.83 c 983s| 1760k|112341 | 24697k| 14.0 | 424M| 102 | - | 200 |3113 | 200 | 207 | 15M| 0 | 20k|-3.771429e+01 |-3.000000e+01 | 20.45%
987.81/987.84 c 988s| 1770k|112585 | 24817k| 14.0 | 425M| 102 | - | 200 |3113 | 200 | 233 | 15M| 0 | 20k|-3.768750e+01 |-3.000000e+01 | 20.40%
992.81/992.81 c 993s| 1780k|112825 | 24937k| 14.0 | 426M| 102 | - | 200 |3113 | 200 | 217 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
997.81/997.81 c 998s| 1790k|113023 | 25056k| 14.0 | 427M| 102 | 7 | 200 |3113 | 200 | 211 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1002.71/1002.72 c 1003s| 1800k|113215 | 25174k| 14.0 | 428M| 102 | 55 | 200 |3113 | 200 | 241 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1007.71/1007.70 c 1008s| 1810k|113441 | 25292k| 14.0 | 429M| 102 | 24 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.764286e+01 |-3.000000e+01 | 20.30%
1012.70/1012.70 c 1013s| 1820k|113725 | 25413k| 14.0 | 430M| 102 | - | 200 |3113 | 200 | 246 | 15M| 0 | 20k|-3.762500e+01 |-3.000000e+01 | 20.27%
1017.71/1017.75 c 1018s| 1830k|113973 | 25534k| 13.9 | 431M| 102 | 48 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
1022.60/1022.63 c 1023s| 1840k|114167 | 25649k| 13.9 | 432M| 102 | 18 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.758621e+01 |-3.000000e+01 | 20.18%
1027.61/1027.60 c 1028s| 1850k|114311 | 25768k| 13.9 | 433M| 102 | 5 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.756522e+01 |-3.000000e+01 | 20.14%
1032.51/1032.52 c 1033s| 1860k|114497 | 25885k| 13.9 | 434M| 102 | - | 200 |3113 | 200 | 248 | 16M| 0 | 20k|-3.753846e+01 |-3.000000e+01 | 20.08%
1037.41/1037.43 c 1037s| 1870k|114665 | 26000k| 13.9 | 435M| 102 | - | 200 |3113 | 200 | 213 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1042.21/1042.28 c 1042s| 1880k|114793 | 26115k| 13.9 | 435M| 102 | - | 200 |3113 | 200 | 208 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1047.11/1047.16 c 1047s| 1890k|114937 | 26231k| 13.9 | 436M| 102 | 24 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1052.11/1052.11 c 1052s| 1900k|115115 | 26350k| 13.9 | 437M| 102 | - | 200 |3113 | 200 | 216 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1056.90/1056.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.90/1056.98 c 1057s| 1910k|115225 | 26464k| 13.8 | 438M| 102 | 60 | 200 |3113 | 200 | 215 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1061.90/1061.94 c 1062s| 1920k|115383 | 26582k| 13.8 | 439M| 102 | - | 200 |3113 | 200 | 250 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1066.81/1066.82 c 1067s| 1930k|115521 | 26697k| 13.8 | 439M| 102 | - | 200 |3113 | 200 | 228 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1071.61/1071.68 c 1072s| 1940k|115695 | 26812k| 13.8 | 440M| 102 | - | 200 |3113 | 200 | 217 | 16M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1076.51/1076.58 c 1077s| 1950k|115861 | 26928k| 13.8 | 441M| 102 | - | 200 |3113 | 200 | 217 | 16M| 0 | 21k|-3.747368e+01 |-3.000000e+01 | 19.94%
1081.51/1081.50 c 1081s| 1960k|116065 | 27044k| 13.8 | 442M| 102 | - | 200 |3113 | 200 | 216 | 17M| 0 | 21k|-3.743478e+01 |-3.000000e+01 | 19.86%
1086.31/1086.32 c 1086s| 1970k|116233 | 27158k| 13.8 | 443M| 102 | - | 200 |3113 | 200 | 213 | 17M| 0 | 21k|-3.741667e+01 |-3.000000e+01 | 19.82%
1091.21/1091.24 c 1091s| 1980k|116417 | 27274k| 13.8 | 444M| 102 | - | 200 |3113 | 200 | 230 | 17M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1096.11/1096.12 c 1096s| 1990k|116563 | 27390k| 13.8 | 445M| 102 | - | 200 |3113 | 200 | 246 | 17M| 0 | 21k|-3.737500e+01 |-3.000000e+01 | 19.73%
1101.01/1101.06 c 1101s| 2000k|116781 | 27507k| 13.7 | 446M| 102 | 34 | 200 |3113 | 200 | 225 | 17M| 0 | 21k|-3.735714e+01 |-3.000000e+01 | 19.69%
1105.91/1105.91 c 1106s| 2010k|116909 | 27620k| 13.7 | 446M| 102 | 38 | 200 |3113 | 200 | 214 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1110.81/1110.83 c 1111s| 2020k|117085 | 27736k| 13.7 | 447M| 102 | 51 | 200 |3113 | 200 | 236 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1115.71/1115.78 c 1116s| 2030k|117271 | 27853k| 13.7 | 448M| 102 | 27 | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1120.61/1120.66 c 1121s| 2040k|117413 | 27968k| 13.7 | 449M| 102 | - | 200 |3113 | 200 | 241 | 17M| 0 | 21k|-3.731579e+01 |-3.000000e+01 | 19.61%
1125.42/1125.48 c 1125s| 2050k|117503 | 28080k| 13.7 | 449M| 102 | 39 | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.729167e+01 |-3.000000e+01 | 19.55%
1130.31/1130.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.31/1130.37 c 1130s| 2060k|117655 | 28193k| 13.7 | 450M| 102 | - | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.726667e+01 |-3.000000e+01 | 19.50%
1135.11/1135.18 c 1135s| 2070k|117767 | 28306k| 13.7 | 451M| 102 | - | 200 |3113 | 200 | 230 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1140.01/1140.03 c 1140s| 2080k|117883 | 28420k| 13.7 | 452M| 102 | - | 200 |3113 | 200 | 229 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1144.81/1144.80 c 1145s| 2090k|117999 | 28532k| 13.6 | 452M| 102 | 58 | 200 |3113 | 200 | 242 | 18M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1149.62/1149.67 c 1150s| 2100k|118145 | 28646k| 13.6 | 453M| 102 | 56 | 200 |3113 | 200 | 231 | 18M| 0 | 21k|-3.722222e+01 |-3.000000e+01 | 19.40%
1154.41/1154.45 c 1154s| 2110k|118287 | 28756k| 13.6 | 454M| 102 | - | 200 |3113 | 200 | 232 | 18M| 0 | 21k|-3.720000e+01 |-3.000000e+01 | 19.35%
1159.21/1159.27 c 1159s| 2120k|118425 | 28870k| 13.6 | 454M| 102 | - | 200 |3113 | 200 | 227 | 18M| 0 | 21k|-3.718519e+01 |-3.000000e+01 | 19.32%
1164.11/1164.11 c 1164s| 2130k|118533 | 28982k| 13.6 | 455M| 102 | 31 | 200 |3113 | 200 | 200 | 18M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1168.91/1168.91 c 1169s| 2140k|118671 | 29093k| 13.6 | 456M| 102 | - | 200 |3113 | 200 | 240 | 18M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1173.81/1173.84 c 1174s| 2150k|118783 | 29209k| 13.6 | 456M| 102 | - | 200 |3113 | 200 | 241 | 18M| 0 | 22k|-3.714286e+01 |-3.000000e+01 | 19.23%
1178.61/1178.62 c 1179s| 2160k|118851 | 29319k| 13.6 | 457M| 102 | 55 | 200 |3113 | 200 | 217 | 18M| 0 | 22k|-3.712500e+01 |-3.000000e+01 | 19.19%
1183.31/1183.37 c 1183s| 2170k|118919 | 29429k| 13.6 | 458M| 102 | 27 | 200 |3113 | 200 | 215 | 18M| 0 | 22k|-3.710000e+01 |-3.000000e+01 | 19.14%
1188.12/1188.14 c 1188s| 2180k|119015 | 29538k| 13.5 | 458M| 102 | - | 200 |3113 | 200 | 212 | 18M| 0 | 22k|-3.708333e+01 |-3.000000e+01 | 19.10%
1192.91/1192.92 c 1193s| 2190k|119117 | 29648k| 13.5 | 459M| 102 | 52 | 200 |3113 | 200 | 251 | 18M| 0 | 22k|-3.704167e+01 |-3.000000e+01 | 19.01%
1197.61/1197.67 c 1198s| 2200k|119163 | 29758k| 13.5 | 459M| 102 | 36 | 200 |3113 | 200 | 200 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1202.42/1202.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.42/1202.49 c 1202s| 2210k|119319 | 29871k| 13.5 | 460M| 102 | 12 | 200 |3113 | 200 | 215 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1207.21/1207.28 c 1207s| 2220k|119437 | 29982k| 13.5 | 461M| 102 | 22 | 200 |3113 | 200 | 218 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1212.01/1212.07 c 1212s| 2230k|119505 | 30093k| 13.5 | 461M| 102 | 37 | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1216.82/1216.89 c 1217s| 2240k|119671 | 30206k| 13.5 | 462M| 102 | - | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1221.72/1221.73 c 1222s| 2250k|119799 | 30319k| 13.5 | 463M| 102 | 32 | 200 |3113 | 200 | 221 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1226.41/1226.50 c 1227s| 2260k|119907 | 30430k| 13.5 | 463M| 102 | - | 200 |3113 | 200 | 208 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1231.21/1231.26 c 1231s| 2270k|120007 | 30541k| 13.4 | 464M| 102 | - | 200 |3113 | 200 | 238 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1236.02/1236.07 c 1236s| 2280k|120091 | 30651k| 13.4 | 465M| 102 | - | 200 |3113 | 200 | 225 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1240.81/1240.83 c 1241s| 2290k|120157 | 30760k| 13.4 | 465M| 102 | - | 200 |3113 | 200 | 223 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1245.52/1245.52 c 1246s| 2300k|120227 | 30867k| 13.4 | 465M| 102 | 9 | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1250.22/1250.25 c 1250s| 2310k|120287 | 30976k| 13.4 | 466M| 102 | - | 200 |3113 | 200 | 212 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1254.92/1254.99 c 1255s| 2320k|120475 | 31087k| 13.4 | 467M| 102 | 18 | 200 |3113 | 200 | 217 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1259.81/1259.82 c 1260s| 2330k|120601 | 31200k| 13.4 | 467M| 102 | - | 200 |3113 | 200 | 214 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1264.62/1264.65 c 1265s| 2340k|120719 | 31312k| 13.4 | 468M| 103 | - | 200 |3113 | 200 | 237 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1269.42/1269.49 c 1269s| 2350k|120871 | 31425k| 13.4 | 469M| 103 | - | 200 |3113 | 200 | 236 | 20M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1274.22/1274.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.22/1274.24 c 1274s| 2360k|120931 | 31533k| 13.4 | 469M| 103 | - | 200 |3113 | 200 | 242 | 20M| 0 | 23k|-3.694915e+01 |-3.000000e+01 | 18.81%
1278.91/1278.97 c 1279s| 2370k|120943 | 31641k| 13.3 | 470M| 103 | - | 200 |3113 | 200 | 221 | 20M| 0 | 23k|-3.692857e+01 |-3.000000e+01 | 18.76%
1283.72/1283.74 c 1284s| 2380k|121037 | 31749k| 13.3 | 470M| 103 | - | 200 |3113 | 200 | 223 | 20M| 0 | 23k|-3.690909e+01 |-3.000000e+01 | 18.72%
1288.41/1288.46 c 1288s| 2390k|121107 | 31857k| 13.3 | 471M| 103 | - | 200 |3113 | 200 | 229 | 20M| 0 | 23k|-3.688889e+01 |-3.000000e+01 | 18.67%
1293.11/1293.14 c 1293s| 2400k|121177 | 31961k| 13.3 | 471M| 103 | 45 | 200 |3113 | 200 | 216 | 20M| 0 | 23k|-3.687500e+01 |-3.000000e+01 | 18.64%
1297.81/1297.87 c 1298s| 2410k|121269 | 32069k| 13.3 | 472M| 103 | - | 200 |3113 | 200 | 217 | 20M| 0 | 23k|-3.685714e+01 |-3.000000e+01 | 18.60%
1302.61/1302.63 c 1303s| 2420k|121311 | 32178k| 13.3 | 472M| 104 | - | 200 |3113 | 200 | 262 | 20M| 0 | 23k|-3.683721e+01 |-3.000000e+01 | 18.56%
1307.31/1307.33 c 1307s| 2430k|121331 | 32285k| 13.3 | 473M| 104 | - | 200 |3113 | 200 | 231 | 20M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1311.92/1311.91 c 1312s| 2440k|121429 | 32388k| 13.3 | 473M| 104 | 57 | 200 |3113 | 200 | 238 | 20M| 0 | 23k|-3.681818e+01 |-3.000000e+01 | 18.52%
1316.52/1316.59 c 1317s| 2450k|121535 | 32494k| 13.3 | 474M| 104 | 39 | 200 |3113 | 200 | 226 | 20M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1321.22/1321.26 c 1321s| 2460k|121621 | 32600k| 13.2 | 474M| 104 | 40 | 200 |3113 | 200 | 224 | 20M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1325.82/1325.86 c 1326s| 2470k|121625 | 32703k| 13.2 | 475M| 104 | 36 | 200 |3113 | 200 | 200 | 20M| 0 | 23k|-3.677778e+01 |-3.000000e+01 | 18.43%
1330.52/1330.59 c 1331s| 2480k|121685 | 32810k| 13.2 | 475M| 104 | - | 200 |3113 | 200 | 251 | 20M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1335.21/1335.29 c 1335s| 2490k|121751 | 32918k| 13.2 | 476M| 104 | - | 200 |3113 | 200 | 220 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1339.92/1339.98 c 1340s| 2500k|121799 | 33024k| 13.2 | 476M| 104 | - | 200 |3113 | 200 | 200 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1344.62/1344.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.62/1344.64 c 1345s| 2510k|121861 | 33130k| 13.2 | 477M| 104 | - | 200 |3113 | 200 | 246 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1349.31/1349.35 c 1349s| 2520k|121959 | 33236k| 13.2 | 477M| 104 | 66 | 200 |3113 | 200 | 245 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1354.01/1354.05 c 1354s| 2530k|122037 | 33343k| 13.2 | 478M| 104 | 45 | 200 |3113 | 200 | 210 | 21M| 0 | 23k|-3.672727e+01 |-3.000000e+01 | 18.32%
1358.62/1358.69 c 1359s| 2540k|122111 | 33448k| 13.2 | 478M| 104 | - | 200 |3113 | 200 | 236 | 21M| 0 | 23k|-3.671429e+01 |-3.000000e+01 | 18.29%
1363.31/1363.35 c 1363s| 2550k|122129 | 33552k| 13.2 | 478M| 104 | 38 | 200 |3113 | 200 | 218 | 21M| 0 | 23k|-3.669697e+01 |-3.000000e+01 | 18.25%
1367.91/1368.00 c 1368s| 2560k|122175 | 33658k| 13.1 | 479M| 104 | - | 200 |3113 | 200 | 244 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1372.62/1372.66 c 1373s| 2570k|122205 | 33763k| 13.1 | 479M| 104 | 22 | 200 |3113 | 200 | 215 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1377.22/1377.26 c 1377s| 2580k|122237 | 33867k| 13.1 | 480M| 104 | 14 | 200 |3113 | 200 | 200 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1381.92/1381.95 c 1382s| 2590k|122343 | 33973k| 13.1 | 480M| 104 | - | 200 |3113 | 200 | 215 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1386.62/1386.66 c 1387s| 2600k|122429 | 34080k| 13.1 | 481M| 104 | - | 200 |3113 | 200 | 222 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1391.32/1391.37 c 1391s| 2610k|122537 | 34188k| 13.1 | 481M| 104 | - | 200 |3113 | 200 | 221 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1396.02/1396.07 c 1396s| 2620k|122607 | 34294k| 13.1 | 482M| 104 | 8 | 200 |3113 | 200 | 218 | 22M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1400.61/1400.65 c 1401s| 2630k|122643 | 34397k| 13.1 | 482M| 104 | - | 200 |3113 | 200 | 217 | 22M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1405.21/1405.26 c 1405s| 2640k|122689 | 34499k| 13.1 | 483M| 104 | - | 200 |3113 | 200 | 219 | 22M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1409.82/1409.89 c 1410s| 2650k|122749 | 34604k| 13.1 | 483M| 104 | - | 200 |3113 | 200 | 245 | 22M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1414.42/1414.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.42/1414.49 c 1414s| 2660k|122689 | 34705k| 13.0 | 483M| 104 | 39 | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.657143e+01 |-3.000000e+01 | 17.97%
1419.02/1419.09 c 1419s| 2670k|122705 | 34808k| 13.0 | 483M| 104 | - | 200 |3113 | 200 | 252 | 22M| 0 | 24k|-3.655556e+01 |-3.000000e+01 | 17.93%
1423.72/1423.72 c 1424s| 2680k|122739 | 34912k| 13.0 | 484M| 104 | - | 200 |3113 | 200 | 216 | 22M| 0 | 24k|-3.653333e+01 |-3.000000e+01 | 17.88%
1428.41/1428.41 c 1428s| 2690k|122763 | 35017k| 13.0 | 484M| 104 | 33 | 200 |3113 | 200 | 222 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1433.02/1433.02 c 1433s| 2700k|122809 | 35121k| 13.0 | 485M| 104 | - | 200 |3113 | 200 | 235 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1437.61/1437.60 c 1438s| 2710k|122843 | 35224k| 13.0 | 485M| 104 | 14 | 200 |3113 | 200 | 211 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1442.23/1442.21 c 1442s| 2720k|122843 | 35329k| 13.0 | 485M| 104 | - | 200 |3113 | 200 | 241 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1446.71/1446.77 c 1447s| 2730k|122797 | 35429k| 13.0 | 485M| 104 | 38 | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1451.32/1451.33 c 1451s| 2740k|122801 | 35531k| 13.0 | 486M| 104 | - | 200 |3113 | 200 | 214 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1455.92/1455.91 c 1456s| 2750k|122783 | 35632k| 13.0 | 486M| 104 | - | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1460.42/1460.49 c 1460s| 2760k|122769 | 35734k| 12.9 | 486M| 104 | 44 | 200 |3113 | 200 | 214 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1465.12/1465.10 c 1465s| 2770k|122785 | 35836k| 12.9 | 486M| 104 | - | 200 |3113 | 200 | 212 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1469.62/1469.60 c 1470s| 2780k|122797 | 35937k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 224 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1474.12/1474.16 c 1474s| 2790k|122789 | 36037k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 251 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1478.61/1478.63 c 1479s| 2800k|122827 | 36136k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 212 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1483.22/1483.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.22/1483.25 c 1483s| 2810k|122805 | 36238k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 243 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1487.82/1487.80 c 1488s| 2820k|122825 | 36340k| 12.9 | 488M| 104 | 28 | 200 |3113 | 200 | 200 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1492.32/1492.38 c 1492s| 2830k|122909 | 36443k| 12.9 | 488M| 104 | - | 200 |3113 | 200 | 219 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1496.82/1496.89 c 1497s| 2840k|122939 | 36543k| 12.9 | 488M| 104 | 29 | 200 |3113 | 200 | 216 | 23M| 0 | 25k|-3.648077e+01 |-3.000000e+01 | 17.76%
1501.42/1501.48 c 1501s| 2850k|122977 | 36645k| 12.9 | 489M| 104 | - | 200 |3113 | 200 | 232 | 23M| 0 | 25k|-3.644898e+01 |-3.000000e+01 | 17.69%
1506.12/1506.11 c 1506s| 2860k|123005 | 36748k| 12.8 | 489M| 104 | 39 | 200 |3113 | 200 | 217 | 23M| 0 | 25k|-3.642857e+01 |-3.000000e+01 | 17.65%
1510.72/1510.73 c 1511s| 2870k|123005 | 36850k| 12.8 | 489M| 104 | 5 | 200 |3113 | 200 | 215 | 23M| 0 | 25k|-3.641667e+01 |-3.000000e+01 | 17.62%
1515.22/1515.28 c 1515s| 2880k|122965 | 36950k| 12.8 | 489M| 104 | 23 | 200 |3113 | 200 | 215 | 23M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1519.82/1519.81 c 1520s| 2890k|122977 | 37050k| 12.8 | 490M| 104 | 61 | 200 |3113 | 200 | 217 | 23M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1524.32/1524.37 c 1524s| 2900k|122957 | 37151k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 216 | 23M| 0 | 25k|-3.637714e+01 |-3.000000e+01 | 17.53%
1528.92/1528.93 c 1529s| 2910k|122985 | 37252k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 236 | 24M| 0 | 25k|-3.637500e+01 |-3.000000e+01 | 17.53%
1533.42/1533.46 c 1533s| 2920k|122983 | 37352k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 230 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1538.02/1538.00 c 1538s| 2930k|123021 | 37454k| 12.8 | 491M| 104 | - | 200 |3113 | 200 | 252 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1542.52/1542.53 c 1543s| 2940k|123003 | 37553k| 12.8 | 491M| 104 | 6 | 200 |3113 | 200 | 233 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1547.12/1547.11 c 1547s| 2950k|123009 | 37654k| 12.8 | 491M| 104 | - | 200 |3113 | 200 | 249 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1551.62/1551.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.62/1551.64 c 1552s| 2960k|123083 | 37754k| 12.8 | 492M| 104 | - | 200 |3113 | 200 | 251 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1556.22/1556.20 c 1556s| 2970k|123049 | 37855k| 12.7 | 492M| 104 | - | 200 |3113 | 200 | 243 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1560.82/1560.80 c 1561s| 2980k|123049 | 37958k| 12.7 | 492M| 104 | - | 200 |3113 | 200 | 212 | 24M| 0 | 25k|-3.630435e+01 |-3.000000e+01 | 17.37%
1565.22/1565.29 c 1565s| 2990k|123095 | 38057k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 224 | 24M| 0 | 25k|-3.628571e+01 |-3.000000e+01 | 17.32%
1569.82/1569.85 c 1570s| 3000k|123131 | 38157k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 220 | 24M| 0 | 25k|-3.627273e+01 |-3.000000e+01 | 17.29%
1574.32/1574.38 c 1574s| 3010k|123203 | 38256k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 216 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1578.82/1578.86 c 1579s| 3020k|123133 | 38355k| 12.7 | 493M| 104 | 40 | 200 |3113 | 200 | 218 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1583.32/1583.35 c 1583s| 3030k|123157 | 38453k| 12.7 | 494M| 104 | 14 | 200 |3113 | 200 | 211 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1587.72/1587.71 c 1588s| 3040k|123181 | 38549k| 12.7 | 494M| 104 | 22 | 200 |3113 | 200 | 229 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1587.92/1587.99 o -31
1587.92/1587.99 c *1588s| 3040k| 95158 | 38552k| 12.7 | 398M| 104 | - | 200 |3113 | 200 | 228 | 24M| 0 | 25k|-3.625000e+01 |-3.100000e+01 | 14.48%
1592.42/1592.45 c 1592s| 3050k| 94904 | 38641k| 12.7 | 397M| 104 | 47 | 200 |3113 | 200 | 200 | 24M| 0 | 25k|-3.625000e+01 |-3.100000e+01 | 14.48%
1596.92/1596.92 c 1597s| 3060k| 94704 | 38735k| 12.7 | 397M| 104 | 11 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.623333e+01 |-3.100000e+01 | 14.44%
1601.32/1601.31 c 1601s| 3070k| 94470 | 38824k| 12.6 | 396M| 104 | - | 200 |3113 | 200 | 200 | 25M| 0 | 25k|-3.620588e+01 |-3.100000e+01 | 14.38%
1605.72/1605.71 c 1606s| 3080k| 94228 | 38916k| 12.6 | 396M| 104 | 51 | 200 |3113 | 200 | 251 | 25M| 0 | 25k|-3.620000e+01 |-3.100000e+01 | 14.36%
1610.13/1610.17 c 1610s| 3090k| 93966 | 39009k| 12.6 | 395M| 104 | 34 | 200 |3113 | 200 | 212 | 25M| 0 | 25k|-3.619048e+01 |-3.100000e+01 | 14.34%
1614.62/1614.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.62/1614.62 c 1615s| 3100k| 93742 | 39100k| 12.6 | 395M| 104 | 36 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1618.92/1618.94 c 1619s| 3110k| 93514 | 39190k| 12.6 | 394M| 104 | - | 200 |3113 | 200 | 214 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1623.33/1623.33 c 1623s| 3120k| 93290 | 39282k| 12.6 | 394M| 104 | 26 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1627.73/1627.78 c 1628s| 3130k| 93012 | 39375k| 12.6 | 393M| 104 | 17 | 200 |3113 | 200 | 200 | 25M| 0 | 26k|-3.614286e+01 |-3.100000e+01 | 14.23%
1632.12/1632.10 c 1632s| 3140k| 92712 | 39463k| 12.6 | 392M| 104 | 24 | 200 |3113 | 200 | 210 | 25M| 0 | 26k|-3.612500e+01 |-3.100000e+01 | 14.19%
1636.43/1636.47 c 1636s| 3150k| 92442 | 39552k| 12.6 | 392M| 104 | 26 | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.611765e+01 |-3.100000e+01 | 14.17%
1640.82/1640.80 c 1641s| 3160k| 92156 | 39642k| 12.5 | 391M| 104 | - | 200 |3113 | 200 | 237 | 25M| 0 | 26k|-3.610000e+01 |-3.100000e+01 | 14.13%
1645.22/1645.22 c 1645s| 3170k| 91914 | 39733k| 12.5 | 391M| 104 | 65 | 200 |3113 | 200 | 252 | 25M| 0 | 26k|-3.608333e+01 |-3.100000e+01 | 14.09%
1649.62/1649.62 c 1650s| 3180k| 91694 | 39825k| 12.5 | 390M| 104 | - | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.607143e+01 |-3.100000e+01 | 14.06%
1654.02/1654.06 c 1654s| 3190k| 91486 | 39918k| 12.5 | 390M| 104 | 51 | 200 |3113 | 200 | 216 | 25M| 0 | 26k|-3.604167e+01 |-3.100000e+01 | 13.99%
1658.42/1658.44 c 1658s| 3200k| 91226 | 40009k| 12.5 | 389M| 104 | - | 200 |3113 | 200 | 229 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1662.83/1662.88 c 1663s| 3210k| 91060 | 40103k| 12.5 | 389M| 104 | - | 200 |3113 | 200 | 209 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1667.22/1667.26 c 1667s| 3220k| 90836 | 40195k| 12.5 | 388M| 104 | 9 | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1671.63/1671.62 c 1672s| 3230k| 90588 | 40286k| 12.5 | 388M| 104 | 27 | 200 |3113 | 200 | 214 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1675.93/1675.92 c 1676s| 3240k| 90318 | 40375k| 12.5 | 387M| 104 | 16 | 200 |3113 | 200 | 232 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1680.32/1680.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.32/1680.32 c 1680s| 3250k| 90100 | 40466k| 12.4 | 387M| 104 | - | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1684.63/1684.63 c 1685s| 3260k| 89840 | 40556k| 12.4 | 386M| 104 | - | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1688.93/1688.98 c 1689s| 3270k| 89606 | 40646k| 12.4 | 386M| 104 | 14 | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1693.32/1693.32 c 1693s| 3280k| 89342 | 40736k| 12.4 | 385M| 104 | 32 | 200 |3113 | 200 | 212 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1697.62/1697.67 c 1698s| 3290k| 89136 | 40825k| 12.4 | 385M| 104 | - | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1701.93/1701.99 c 1702s| 3300k| 88936 | 40915k| 12.4 | 384M| 104 | - | 200 |3113 | 200 | 211 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1706.23/1706.29 c 1706s| 3310k| 88698 | 41005k| 12.4 | 384M| 104 | 52 | 200 |3113 | 200 | 246 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1710.63/1710.62 c 1711s| 3320k| 88518 | 41096k| 12.4 | 383M| 104 | - | 200 |3113 | 200 | 210 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1714.93/1714.93 c 1715s| 3330k| 88244 | 41184k| 12.4 | 383M| 104 | - | 200 |3113 | 200 | 213 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1719.33/1719.33 c 1719s| 3340k| 88028 | 41277k| 12.4 | 382M| 104 | 34 | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1723.62/1723.62 c 1724s| 3350k| 87832 | 41366k| 12.3 | 382M| 104 | - | 200 |3113 | 200 | 248 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1727.92/1727.94 c 1728s| 3360k| 87630 | 41456k| 12.3 | 381M| 104 | 22 | 200 |3113 | 200 | 213 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1732.23/1732.29 c 1732s| 3370k| 87422 | 41547k| 12.3 | 381M| 104 | 45 | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1736.62/1736.69 c 1737s| 3380k| 87242 | 41639k| 12.3 | 381M| 104 | - | 200 |3113 | 200 | 243 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1741.12/1741.17 c 1741s| 3390k| 87090 | 41734k| 12.3 | 380M| 104 | - | 200 |3113 | 200 | 243 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1745.52/1745.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.52/1745.52 c 1746s| 3400k| 86888 | 41826k| 12.3 | 380M| 104 | 62 | 200 |3113 | 200 | 217 | 27M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1749.82/1749.87 c 1750s| 3410k| 86710 | 41917k| 12.3 | 380M| 104 | 39 | 200 |3113 | 200 | 214 | 27M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1754.13/1754.17 c 1754s| 3420k| 86468 | 42006k| 12.3 | 379M| 104 | 23 | 200 |3113 | 200 | 224 | 27M| 0 | 26k|-3.596296e+01 |-3.100000e+01 | 13.80%
1758.53/1758.50 c 1759s| 3430k| 86208 | 42095k| 12.3 | 378M| 104 | - | 200 |3113 | 200 | 215 | 27M| 0 | 26k|-3.592857e+01 |-3.100000e+01 | 13.72%
1762.73/1762.76 c 1763s| 3440k| 85956 | 42181k| 12.3 | 378M| 104 | 26 | 200 |3113 | 200 | 216 | 27M| 0 | 26k|-3.590909e+01 |-3.100000e+01 | 13.67%
1767.12/1767.13 c 1767s| 3450k| 85736 | 42270k| 12.2 | 377M| 104 | 35 | 200 |3113 | 200 | 216 | 27M| 0 | 26k|-3.588889e+01 |-3.100000e+01 | 13.62%
1771.32/1771.37 c 1771s| 3460k| 85502 | 42356k| 12.2 | 377M| 104 | 63 | 200 |3113 | 200 | 222 | 27M| 0 | 27k|-3.587500e+01 |-3.100000e+01 | 13.59%
1775.63/1775.69 c 1776s| 3470k| 85254 | 42445k| 12.2 | 376M| 104 | 29 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.585714e+01 |-3.100000e+01 | 13.55%
1779.93/1779.96 c 1780s| 3480k| 85020 | 42532k| 12.2 | 376M| 104 | - | 200 |3113 | 200 | 241 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1784.24/1784.30 c 1784s| 3490k| 84760 | 42622k| 12.2 | 375M| 104 | 29 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1788.52/1788.60 c 1789s| 3500k| 84498 | 42710k| 12.2 | 374M| 104 | 39 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1792.83/1792.84 c 1793s| 3510k| 84248 | 42797k| 12.2 | 374M| 104 | 40 | 200 |3113 | 200 | 223 | 27M| 0 | 27k|-3.580645e+01 |-3.100000e+01 | 13.42%
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 : 3519596
1797.03/1797.00 c Primal Bound : -3.10000000000000e+01 (573 solutions)
1797.03/1797.00 c Dual Bound : -3.58000000000000e+01
1797.03/1797.00 c Gap : 13.41 %
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 -x178
1797.03/1797.00 v -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 -x134
1797.03/1797.00 v -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-3488601-1307784217.opb
1797.03/1797.00 c Variables : 3313 (3313 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3513 initial, 3513 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488601-1307784217.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3113 initial, 3113 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 3113 0 0 3113 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 2767130 0 663317 0 261 1829 0 0 3675156
1797.03/1797.00 c setppc : 3113 66 5734616 928475 1 663313 150 26 20072071 27640680 0 0
1797.03/1797.00 c countsols : 0 0 0 6 1 569 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 : 38.99 0.00 0.00 38.84 0.00 0.15 0.00
1797.03/1797.00 c setppc : 124.48 0.03 62.17 24.95 0.00 37.32 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 : 11 0 0 0
1797.03/1797.00 c pseudoobj : 5741813 2 0 4
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 1.05 1.05 0.00
1797.03/1797.00 c rootredcost : 1.06 1.06 0.00
1797.03/1797.00 c pseudoobj : 25.63 25.63 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 26 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.04 65 - - 204 - (maximal pool size: 2719)
1797.03/1797.00 c redcost : 15.92 3061348 0 551103 0 0
1797.03/1797.00 c impliedbounds : 0.01 66 0 0 1712 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 1.69 66 0 0 10836 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.33 20 0 0 9144 0
1797.03/1797.00 c cmir : 0.06 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.16 66 0 0 566 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 : 37.62 1838655 261 1829 0 0 3675156
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
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.33 - 6
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c feaspump : 0.07 0 0
1797.03/1797.00 c oneopt : 0.82 10 0
1797.03/1797.00 c crossover : 2.16 56 32
1797.03/1797.00 c guideddiving : 0.37 308 4
1797.03/1797.00 c linesearchdiving : 0.33 309 6
1797.03/1797.00 c coefdiving : 0.31 309 3
1797.03/1797.00 c fracdiving : 0.35 309 6
1797.03/1797.00 c veclendiving : 0.29 309 7
1797.03/1797.00 c pscostdiving : 0.31 309 7
1797.03/1797.00 c objpscostdiving : 0.20 155 3
1797.03/1797.00 c rootsoldiving : 0.39 155 2
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 : 47.37 1841813 483
1797.03/1797.00 c zirounding : 0.64 1000 9
1797.03/1797.00 c rounding : 5.33 90933 2
1797.03/1797.00 c shifting : 0.66 8564 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.56 0 0
1797.03/1797.00 c trysol : 0.78 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 28.56 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1141.58 4455470 42849473 9.62 37535.35
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.26 5852 33121 5.66 26347.74
1797.03/1797.00 c strong branching : 17.46 27222 468497 17.21 26827.15
1797.03/1797.00 c (at root node) : - 21 13100 623.81 -
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 : 3519596
1797.03/1797.00 c nodes (total) : 3519596
1797.03/1797.00 c nodes left : 83968
1797.03/1797.00 c max depth : 104
1797.03/1797.00 c max depth (total): 104
1797.03/1797.00 c backtracks : 422990 (12.0%)
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.35
1797.03/1797.00 c switching time : 153.98
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 573 (15 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 3040268 nodes, 1587.83 seconds, depth 49, found by <relaxation>)
1797.03/1797.00 c Dual Bound : -3.58000000000000e+01
1797.03/1797.00 c Gap : 13.41 %
1797.03/1797.00 c Root Dual Bound : -4.87903205214567e+01
1797.03/1797.00 c Root Iterations : 11975
1797.63/1797.63 c Time complete: 1797.67.
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-3488601-1307784217/watcher-3488601-1307784217 -o /tmp/evaluation-result-3488601-1307784217/solver-3488601-1307784217 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488601-1307784217.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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 3/177 32571
/proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=11972 CPUtime=0 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 2009 0 0 0 0 0 0 0 25 0 1 0 890021524 12259328 1963 33554432000 4194304 9016284 140733588482352 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32571/statm: 2993 1974 340 1178 0 1811 0
[startup+0.104628 s]
/proc/loadavg: 2.00 2.02 2.26 3/177 32571
/proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=33044 CPUtime=0.09 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 7328 0 0 0 9 0 0 0 25 0 1 0 890021524 33837056 7025 33554432000 4194304 9016284 140733588482352 18446744073709551615 5435104 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 8261 7025 557 1178 0 7079 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33044
[startup+0.200609 s]
/proc/loadavg: 2.00 2.02 2.26 3/177 32571
/proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=36580 CPUtime=0.19 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 14741 0 0 0 18 1 0 0 25 0 1 0 890021524 37457920 7983 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 9145 7983 688 1178 0 7963 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36580
[startup+0.30059 s]
/proc/loadavg: 2.00 2.02 2.26 3/177 32571
/proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=37216 CPUtime=0.29 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 14927 0 0 0 28 1 0 0 25 0 1 0 890021524 38109184 8169 33554432000 4194304 9016284 140733588482352 18446744073709551615 6389957 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 9304 8169 690 1178 0 8122 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37216
[startup+0.700519 s]
/proc/loadavg: 2.00 2.02 2.26 3/177 32571
/proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=44944 CPUtime=0.69 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 16926 0 0 0 67 2 0 0 25 0 1 0 890021524 46022656 10166 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 11236 10166 689 1178 0 10054 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44944
[startup+1.50038 s]
/proc/loadavg: 2.00 2.02 2.26 3/178 32573
/proc/meminfo: memFree=31457424/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=54252 CPUtime=1.49 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 19246 0 0 0 145 4 0 0 25 0 1 0 890021524 55554048 12472 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 13563 12472 692 1178 0 12381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54252
[startup+3.1011 s]
/proc/loadavg: 2.00 2.02 2.26 3/178 32573
/proc/meminfo: memFree=31447876/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=55068 CPUtime=3.09 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 19531 0 0 0 301 8 0 0 25 0 1 0 890021524 56389632 12756 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 13767 12756 712 1178 0 12585 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55068
[startup+6.30055 s]
/proc/loadavg: 2.00 2.02 2.26 3/178 32573
/proc/meminfo: memFree=31446512/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=55068 CPUtime=6.29 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 21343 0 0 0 604 25 0 0 25 0 1 0 890021524 56389632 12798 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 13767 12798 704 1178 0 12585 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55068
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.26 3/178 32611
/proc/meminfo: memFree=31474296/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=59412 CPUtime=12.69 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 36237 0 0 0 1191 78 0 0 25 0 1 0 890021524 60837888 13864 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 14853 13864 701 1178 0 13671 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59412
[startup+25.5001 s]
/proc/loadavg: 2.00 2.02 2.26 3/178 32649
/proc/meminfo: memFree=31432364/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=75120 CPUtime=25.48 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 57648 0 0 0 2320 228 0 0 25 0 1 0 890021524 76922880 17692 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 18780 17692 704 1178 0 17598 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75120
[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 2.25 3/178 32650
/proc/meminfo: memFree=31380064/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=97928 CPUtime=51.09 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 102185 0 0 0 4576 533 0 0 25 0 1 0 890021524 100278272 23517 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 24482 23517 704 1178 0 23300 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 97928
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.23 3/178 32651
/proc/meminfo: memFree=31287616/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=144636 CPUtime=102.29 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 127948 0 0 0 9115 1114 0 0 25 0 1 0 890021524 148107264 35123 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 36159 35123 705 1178 0 34977 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 144636
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.21 3/178 32653
/proc/meminfo: memFree=31179720/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=201940 CPUtime=162.29 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 145911 0 0 0 14450 1779 0 0 25 0 1 0 890021524 206786560 49538 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32571/statm: 50485 49538 705 1178 0 49303 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 201940
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.20 3/178 32654
/proc/meminfo: memFree=31087544/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=251112 CPUtime=222.29 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 160359 0 0 0 19787 2442 0 0 25 0 1 0 890021524 257138688 61882 33554432000 4194304 9016284 140733588482352 18446744073709551615 6523304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 62778 61882 705 1178 0 61596 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 251112
[startup+282.301 s]
/proc/loadavg: 2.09 2.03 2.19 3/178 32656
/proc/meminfo: memFree=30995984/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=301552 CPUtime=282.29 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 172519 0 0 0 25115 3114 0 0 25 0 1 0 890021524 308789248 74042 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 75388 74042 705 1178 0 74206 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 301552
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.18 3/178 32658
/proc/meminfo: memFree=30918900/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=341360 CPUtime=342.29 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 186044 0 0 0 30454 3775 0 0 25 0 1 0 890021524 349552640 84040 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 85340 84040 705 1178 0 84158 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 341360
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.16 3/178 32659
/proc/meminfo: memFree=30844184/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=380616 CPUtime=402.3 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 195910 0 0 0 35797 4433 0 0 25 0 1 0 890021524 389750784 93906 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 95154 93906 705 1178 0 93972 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 380616
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.15 3/178 32661
/proc/meminfo: memFree=30797884/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=390584 CPUtime=462.3 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 247849 0 0 0 41139 5091 0 0 25 0 1 0 890021524 399958016 96486 33554432000 4194304 9016284 140733588482352 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 97646 96486 705 1178 0 96464 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 390584
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/178 32662
/proc/meminfo: memFree=30757152/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=392628 CPUtime=522.3 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 257517 0 0 0 46505 5725 0 0 25 0 1 0 890021524 402051072 97007 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 98157 97007 705 1178 0 96975 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 392628
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.13 3/178 32664
/proc/meminfo: memFree=30711700/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=401840 CPUtime=582.3 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 263270 0 0 0 51856 6374 0 0 25 0 1 0 890021524 411484160 99231 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 100460 99231 705 1178 0 99278 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 401840
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30589428/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=492496 CPUtime=1062.31 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 291656 0 0 0 94812 11419 0 0 25 0 1 0 890021524 504315904 121924 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 123124 121924 705 1178 0 121942 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 492496
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 32678
/proc/meminfo: memFree=30576476/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=503564 CPUtime=1122.31 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 294425 0 0 0 100191 12040 0 0 25 0 1 0 890021524 515649536 124693 33554432000 4194304 9016284 140733588482352 18446744073709551615 6403981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 125891 124693 705 1178 0 124709 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 503564
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 32680
/proc/meminfo: memFree=30571092/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=508684 CPUtime=1182.31 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 295716 0 0 0 105578 12653 0 0 25 0 1 0 890021524 520892416 125984 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 127171 125984 705 1178 0 125989 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 508684
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 32682
/proc/meminfo: memFree=30562976/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=516880 CPUtime=1242.31 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 297764 0 0 0 110966 13265 0 0 25 0 1 0 890021524 529285120 128032 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 129220 128032 705 1178 0 128038 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 516880
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 32683
/proc/meminfo: memFree=30555736/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=522768 CPUtime=1302.31 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 302852 0 0 0 116350 13881 0 0 25 0 1 0 890021524 535314432 129515 33554432000 4194304 9016284 140733588482352 18446744073709551615 7823669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 130692 129515 705 1178 0 129510 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 522768
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/178 32685
/proc/meminfo: memFree=30548612/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=529680 CPUtime=1362.31 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 304591 0 0 0 121732 14499 0 0 25 0 1 0 890021524 542392320 131254 33554432000 4194304 9016284 140733588482352 18446744073709551615 4347916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 132420 131254 705 1178 0 131238 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 529680
[startup+1422.3 s]
/proc/loadavg: 2.07 2.03 2.04 3/178 32686
/proc/meminfo: memFree=30543964/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=534032 CPUtime=1422.32 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 305671 0 0 0 127122 15110 0 0 25 0 1 0 890021524 546848768 132334 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 133508 132334 705 1178 0 132326 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 534032
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/178 32688
/proc/meminfo: memFree=30541292/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=536656 CPUtime=1482.32 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 306329 0 0 0 132517 15715 0 0 25 0 1 0 890021524 549535744 132992 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 134164 132992 705 1178 0 132982 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 536656
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.03 3/178 32690
/proc/meminfo: memFree=30536760/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=540364 CPUtime=1542.33 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 307262 0 0 0 137918 16315 0 0 25 0 1 0 890021524 553332736 133925 33554432000 4194304 9016284 140733588482352 18446744073709551615 6811207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135091 133925 705 1178 0 133909 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 540364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/178 32691
/proc/meminfo: memFree=30532844/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1602.32 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 332726 0 0 0 143324 16908 0 0 25 0 1 0 890021524 556019712 134651 33554432000 4194304 9016284 140733588482352 18446744073709551615 4318669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134651 705 1178 0 134565 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 542988
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 32693
/proc/meminfo: memFree=30532036/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1662.33 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 339727 0 0 0 148756 17477 0 0 25 0 1 0 890021524 556019712 134652 33554432000 4194304 9016284 140733588482352 18446744073709551615 6776629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134652 705 1178 0 134565 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 542988
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 32694
/proc/meminfo: memFree=30532100/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1722.32 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 343233 0 0 0 154174 18058 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134653 705 1178 0 134565 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 542988
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32696
/proc/meminfo: memFree=30532056/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1782.32 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 159611 18621 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134653 705 1178 0 134565 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 542988
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32696
/proc/meminfo: memFree=30532052/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1785.63 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 159907 18656 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134653 705 1178 0 134565 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 542988
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32696
/proc/meminfo: memFree=30532048/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1792.03 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 160486 18717 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 6776673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134653 705 1178 0 134565 0
Current children cumulated CPU time (s) 1792.03
Current children cumulated vsize (KiB) 542988
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32696
/proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1795.23 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 160774 18749 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134653 705 1178 0 134565 0
Current children cumulated CPU time (s) 1795.23
Current children cumulated vsize (KiB) 542988
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32696
/proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1796.82 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 160919 18763 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134653 705 1178 0 134565 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 542988
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32696
/proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1797.23 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346762 0 0 0 160957 18766 0 0 25 0 1 0 890021524 556019712 134655 33554432000 4194304 9016284 140733588482352 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134655 707 1178 0 134565 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 542988
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 32696
/proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528
[pid=32571] ppid=32569 vsize=542988 CPUtime=1797.63 cores=1,3,5,7
/proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346762 0 0 0 160997 18766 0 0 25 0 1 0 890021524 556019712 134655 33554432000 4194304 9016284 140733588482352 18446744073709551615 6812671 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32571/statm: 135747 134655 707 1178 0 134565 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 542988
Child status: 0
Real time (s): 1797.64
CPU time (s): 1797.67
CPU user time (s): 1609.99
CPU system time (s): 187.681
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 558180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1609.99
system time used= 187.681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346767
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= 7
involuntary context switches= 18993
runsolver used 2.41063 second user time and 5.78312 second system time
The end