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-3737230-1338725543.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.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.03/0.07 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.03/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.08/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.10 c presolving (3 rounds):
0.08/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.08/0.10 c 18676 implications, 0 cliques
0.08/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3113 constraints
0.08/0.10 c 3113 constraints of type <setppc>
0.08/0.10 c transformed objective value is always integral (scale: 1)
0.08/0.10 c Presolving Time: 0.07
0.08/0.10 c - non default parameters ----------------------------------------------------------------------
0.08/0.10 c # SCIP version 2.0.1.5
0.08/0.10 c
0.08/0.10 c # frequency for displaying node information lines
0.08/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.10 c display/freq = 10000
0.08/0.10 c
0.08/0.10 c # maximal time in seconds to run
0.08/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.10 c limits/time = 1797
0.08/0.10 c
0.08/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.10 c limits/memory = 13950
0.08/0.10 c
0.08/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.10 c # [type: int, range: [1,2], default: 1]
0.08/0.10 c timing/clocktype = 2
0.08/0.10 c
0.08/0.10 c # belongs reading time to solving time?
0.08/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.10 c timing/reading = TRUE
0.08/0.10 c
0.08/0.10 c # should presolving try to simplify inequalities
0.08/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.10 c constraints/linear/simplifyinequalities = TRUE
0.08/0.10 c
0.08/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.08/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.10 c constraints/indicator/addCouplingCons = TRUE
0.08/0.10 c
0.08/0.10 c # should presolving try to simplify knapsacks
0.08/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.10 c
0.08/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.10 c separating/rapidlearning/freq = 0
0.08/0.10 c
0.08/0.10 c -----------------------------------------------------------------------------------------------
0.08/0.10 c start solving
0.08/0.10 c
0.08/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.12 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.08/0.12 o -1
0.08/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.19/0.20 o -18
0.19/0.20 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.21 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.27 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.33 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.39/0.40 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.47 c 0.5s| 1 | 0 | 674 | - | 10M| 0 | 167 | 200 |3113 | 200 |3155 | 42 | 0 | 0 |-8.350000e+01 |-1.800000e+01 | 78.44%
0.49/0.58 c 0.6s| 1 | 0 | 855 | - | 10M| 0 | 161 | 200 |3113 | 200 |3163 | 50 | 0 | 0 |-8.050000e+01 |-1.800000e+01 | 77.64%
0.59/0.65 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.69/0.74 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.78/0.84 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.88/0.94 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.99 c 1.0s| 1 | 0 | 1767 | - | 10M| 0 | 143 | 200 |3113 | 200 | 485 | 86 | 0 | 0 |-7.150000e+01 |-1.800000e+01 | 74.83%
0.99/1.02 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.99/1.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.06 c 1.1s| 1 | 0 | 2211 | - | 11M| 0 | 149 | 200 |3113 | 200 | 588 | 189 | 0 | 0 |-6.850000e+01 |-1.800000e+01 | 73.72%
0.99/1.10 c 1.1s| 1 | 0 | 2358 | - | 11M| 0 | 144 | 200 |3113 | 200 | 615 | 216 | 0 | 0 |-6.800000e+01 |-1.800000e+01 | 73.53%
1.09/1.16 c 1.2s| 1 | 0 | 2782 | - | 11M| 0 | 149 | 200 |3113 | 200 | 667 | 268 | 0 | 0 |-6.633333e+01 |-1.800000e+01 | 72.86%
1.18/1.25 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.29/1.34 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.39/1.44 c 1.4s| 1 | 0 | 4406 | - | 13M| 0 | 151 | 200 |3113 | 200 | 731 | 545 | 0 | 0 |-6.100000e+01 |-1.800000e+01 | 70.49%
1.49/1.52 c 1.5s| 1 | 0 | 4562 | - | 13M| 0 | 143 | 200 |3113 | 200 | 836 | 650 | 0 | 0 |-6.050000e+01 |-1.800000e+01 | 70.25%
1.49/1.58 c 1.6s| 1 | 0 | 4885 | - | 13M| 0 | 157 | 200 |3113 | 200 | 863 | 677 | 0 | 0 |-5.925000e+01 |-1.800000e+01 | 69.62%
1.59/1.64 c 1.6s| 1 | 0 | 5112 | - | 14M| 0 | 167 | 200 |3113 | 200 | 923 | 737 | 0 | 0 |-5.863492e+01 |-1.800000e+01 | 69.30%
1.69/1.71 c 1.7s| 1 | 0 | 5492 | - | 14M| 0 | 173 | 200 |3113 | 200 | 960 | 774 | 0 | 0 |-5.780121e+01 |-1.800000e+01 | 68.86%
1.79/1.80 c 1.8s| 1 | 0 | 5903 | - | 14M| 0 | 162 | 200 |3113 | 200 | 861 | 863 | 0 | 0 |-5.682821e+01 |-1.800000e+01 | 68.33%
1.79/1.86 c 1.9s| 1 | 0 | 6125 | - | 15M| 0 | 159 | 200 |3113 | 200 | 899 | 901 | 0 | 0 |-5.647578e+01 |-1.800000e+01 | 68.13%
1.88/1.94 c 1.9s| 1 | 0 | 6501 | - | 15M| 0 | 170 | 200 |3113 | 200 | 932 | 934 | 0 | 0 |-5.580530e+01 |-1.800000e+01 | 67.74%
1.99/2.03 c 2.0s| 1 | 0 | 6968 | - | 15M| 0 | 171 | 200 |3113 | 200 | 960 | 962 | 0 | 0 |-5.513565e+01 |-1.800000e+01 | 67.35%
2.10/2.11 c 2.1s| 1 | 0 | 7260 | - | 15M| 0 | 169 | 200 |3113 | 200 | 983 | 985 | 0 | 0 |-5.477456e+01 |-1.800000e+01 | 67.14%
2.10/2.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.10/2.19 c 2.2s| 1 | 0 | 7566 | - | 15M| 0 | 171 | 200 |3113 | 200 |1040 |1042 | 0 | 0 |-5.426578e+01 |-1.800000e+01 | 66.83%
2.20/2.27 c 2.3s| 1 | 0 | 7820 | - | 15M| 0 | 173 | 200 |3113 | 200 | 654 |1073 | 0 | 0 |-5.374332e+01 |-1.800000e+01 | 66.51%
2.29/2.33 c 2.3s| 1 | 0 | 7997 | - | 15M| 0 | 175 | 200 |3113 | 200 | 690 |1109 | 0 | 0 |-5.334266e+01 |-1.800000e+01 | 66.26%
2.29/2.39 c 2.4s| 1 | 0 | 8239 | - | 15M| 0 | 174 | 200 |3113 | 200 | 718 |1137 | 0 | 0 |-5.289374e+01 |-1.800000e+01 | 65.97%
2.39/2.48 c 2.5s| 1 | 0 | 8695 | - | 15M| 0 | 181 | 200 |3113 | 200 | 736 |1155 | 0 | 0 |-5.234288e+01 |-1.800000e+01 | 65.61%
2.48/2.54 c 2.5s| 1 | 0 | 8856 | - | 15M| 0 | 182 | 200 |3113 | 200 | 748 |1167 | 0 | 0 |-5.219580e+01 |-1.800000e+01 | 65.51%
2.59/2.60 c 2.6s| 1 | 0 | 8988 | - | 15M| 0 | 185 | 200 |3113 | 200 | 762 |1181 | 0 | 0 |-5.198226e+01 |-1.800000e+01 | 65.37%
2.59/2.67 c 2.7s| 1 | 0 | 9200 | - | 15M| 0 | 189 | 200 |3113 | 200 | 532 |1198 | 0 | 0 |-5.172648e+01 |-1.800000e+01 | 65.20%
2.69/2.73 c 2.7s| 1 | 0 | 9466 | - | 15M| 0 | 185 | 200 |3113 | 200 | 545 |1211 | 0 | 0 |-5.149619e+01 |-1.800000e+01 | 65.05%
2.69/2.77 c 2.8s| 1 | 0 | 9582 | - | 15M| 0 | 190 | 200 |3113 | 200 | 554 |1220 | 0 | 0 |-5.126841e+01 |-1.800000e+01 | 64.89%
2.79/2.82 c 2.8s| 1 | 0 | 9721 | - | 15M| 0 | 190 | 200 |3113 | 200 | 564 |1230 | 0 | 0 |-5.107806e+01 |-1.800000e+01 | 64.76%
2.79/2.87 c 2.9s| 1 | 0 | 9831 | - | 15M| 0 | 191 | 200 |3113 | 200 | 572 |1238 | 0 | 0 |-5.081199e+01 |-1.800000e+01 | 64.58%
2.89/2.92 c 2.9s| 1 | 0 | 9955 | - | 15M| 0 | 188 | 200 |3113 | 200 | 587 |1253 | 0 | 0 |-5.063299e+01 |-1.800000e+01 | 64.45%
2.89/2.97 c 3.0s| 1 | 0 | 10081 | - | 15M| 0 | 193 | 200 |3113 | 200 | 423 |1263 | 0 | 0 |-5.042361e+01 |-1.800000e+01 | 64.30%
2.99/3.01 c 3.0s| 1 | 0 | 10169 | - | 15M| 0 | 194 | 200 |3113 | 200 | 428 |1268 | 0 | 0 |-5.029552e+01 |-1.800000e+01 | 64.21%
2.99/3.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.05 c 3.1s| 1 | 0 | 10346 | - | 15M| 0 | 195 | 200 |3113 | 200 | 436 |1276 | 0 | 0 |-5.015616e+01 |-1.800000e+01 | 64.11%
2.99/3.09 c 3.1s| 1 | 0 | 10421 | - | 15M| 0 | 193 | 200 |3113 | 200 | 443 |1283 | 0 | 0 |-5.007024e+01 |-1.800000e+01 | 64.05%
3.09/3.14 c 3.1s| 1 | 0 | 10590 | - | 15M| 0 | 198 | 200 |3113 | 200 | 453 |1293 | 0 | 0 |-4.979209e+01 |-1.800000e+01 | 63.85%
3.09/3.17 c 3.2s| 1 | 0 | 10644 | - | 15M| 0 | 197 | 200 |3113 | 200 | 462 |1302 | 0 | 0 |-4.972064e+01 |-1.800000e+01 | 63.80%
3.19/3.22 c 3.2s| 1 | 0 | 10695 | - | 15M| 0 | 200 | 200 |3113 | 200 | 419 |1314 | 0 | 0 |-4.963895e+01 |-1.800000e+01 | 63.74%
3.19/3.26 c 3.3s| 1 | 0 | 10803 | - | 15M| 0 | 198 | 200 |3113 | 200 | 427 |1322 | 0 | 0 |-4.955191e+01 |-1.800000e+01 | 63.67%
3.19/3.29 c 3.3s| 1 | 0 | 10883 | - | 15M| 0 | 198 | 200 |3113 | 200 | 437 |1332 | 0 | 0 |-4.949605e+01 |-1.800000e+01 | 63.63%
3.29/3.33 c 3.3s| 1 | 0 | 10952 | - | 15M| 0 | 198 | 200 |3113 | 200 | 446 |1341 | 0 | 0 |-4.943335e+01 |-1.800000e+01 | 63.59%
3.29/3.37 c 3.4s| 1 | 0 | 11038 | - | 15M| 0 | 199 | 200 |3113 | 200 | 455 |1350 | 0 | 0 |-4.933955e+01 |-1.800000e+01 | 63.52%
3.39/3.41 c 3.4s| 1 | 0 | 11100 | - | 15M| 0 | 199 | 200 |3113 | 200 | 461 |1356 | 0 | 0 |-4.930489e+01 |-1.800000e+01 | 63.49%
3.39/3.45 c 3.5s| 1 | 0 | 11208 | - | 15M| 0 | 199 | 200 |3113 | 200 | 424 |1364 | 0 | 0 |-4.922556e+01 |-1.800000e+01 | 63.43%
3.39/3.49 c 3.5s| 1 | 0 | 11272 | - | 15M| 0 | 199 | 200 |3113 | 200 | 435 |1375 | 0 | 0 |-4.918257e+01 |-1.800000e+01 | 63.40%
3.68/3.73 c 3.5s| 1 | 0 | 11353 | - | 15M| 0 | 200 | 200 |3113 | 200 | 444 |1384 | 0 | 0 |-4.908972e+01 |-1.800000e+01 | 63.33%
3.68/3.73 c 3.6s| 1 | 0 | 11430 | - | 15M| 0 | 200 | 200 |3113 | 200 | 454 |1394 | 0 | 0 |-4.899682e+01 |-1.800000e+01 | 63.26%
3.68/3.73 c 3.6s| 1 | 0 | 11513 | - | 15M| 0 | 200 | 200 |3113 | 200 | 464 |1404 | 0 | 0 |-4.894859e+01 |-1.800000e+01 | 63.23%
3.68/3.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.68/3.73 c 3.6s| 1 | 0 | 11571 | - | 15M| 0 | 200 | 200 |3113 | 200 | 473 |1413 | 0 | 0 |-4.889748e+01 |-1.800000e+01 | 63.19%
3.68/3.73 c 3.7s| 1 | 0 | 11668 | - | 15M| 0 | 200 | 200 |3113 | 200 | 425 |1421 | 0 | 0 |-4.886794e+01 |-1.800000e+01 | 63.17%
3.68/3.73 c 3.7s| 1 | 0 | 11742 | - | 15M| 0 | 199 | 200 |3113 | 200 | 434 |1430 | 0 | 0 |-4.885083e+01 |-1.800000e+01 | 63.15%
3.68/3.75 c 3.7s| 1 | 0 | 11794 | - | 15M| 0 | 200 | 200 |3113 | 200 | 439 |1435 | 0 | 0 |-4.883520e+01 |-1.800000e+01 | 63.14%
3.68/3.79 c 3.8s| 1 | 0 | 11876 | - | 15M| 0 | 200 | 200 |3113 | 200 | 444 |1440 | 0 | 0 |-4.881805e+01 |-1.800000e+01 | 63.13%
3.79/3.83 c 3.8s| 1 | 0 | 11933 | - | 15M| 0 | 200 | 200 |3113 | 200 | 452 |1448 | 0 | 0 |-4.880424e+01 |-1.800000e+01 | 63.12%
3.79/3.86 c 3.9s| 1 | 0 | 11964 | - | 15M| 0 | 200 | 200 |3113 | 200 | 456 |1452 | 0 | 0 |-4.879113e+01 |-1.800000e+01 | 63.11%
3.79/3.90 c 3.9s| 1 | 0 | 11975 | - | 15M| 0 | 200 | 200 |3113 | 200 | 412 |1456 | 0 | 0 |-4.879032e+01 |-1.800000e+01 | 63.11%
4.69/4.79 c 4.8s| 1 | 2 | 11975 | - | 15M| 0 | 200 | 200 |3113 | 200 | 412 |1456 | 0 | 21 |-4.879032e+01 |-1.800000e+01 | 63.11%
5.98/6.00 o -20
5.98/6.00 c r 6.0s| 33 | 32 | 14650 | 83.6 | 15M| 13 | 5 | 200 |3113 | 200 | 238 |1643 | 0 | 576 |-4.844830e+01 |-2.000000e+01 | 58.72%
5.98/6.00 o -21
5.98/6.00 c R 6.0s| 33 | 32 | 14650 | 83.6 | 15M| 13 | 5 | 200 |3113 | 200 | 238 |1643 | 0 | 576 |-4.844830e+01 |-2.100000e+01 | 56.65%
5.98/6.00 o -22
5.98/6.00 c f 6.0s| 33 | 31 | 14651 | 83.6 | 15M| 13 | - | 200 |3113 | 200 | 238 |1643 | 0 | 580 |-4.844830e+01 |-2.200000e+01 | 54.59%
6.38/6.42 o -23
6.38/6.42 c r 6.4s| 57 | 48 | 15818 | 68.6 | 15M| 14 | 3 | 200 |3113 | 200 | 223 |1809 | 0 | 882 |-4.844830e+01 |-2.300000e+01 | 52.53%
6.38/6.42 o -24
6.38/6.42 c v 6.4s| 57 | 46 | 15819 | 68.6 | 15M| 14 | - | 200 |3113 | 200 | 223 |1809 | 0 | 882 |-4.844830e+01 |-2.400000e+01 | 50.46%
6.59/6.69 o -25
6.59/6.69 c z 6.7s| 104 | 68 | 17032 | 49.1 | 16M| 15 | - | 200 |3113 | 200 | 214 |2281 | 0 |1189 |-4.844830e+01 |-2.500000e+01 | 48.40%
12.88/12.98 o -26
12.88/12.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.88/12.98 c *13.0s| 3810 | 2225 |145281 | 35.0 | 21M| 52 | - | 200 |3113 | 200 | 240 | 44k| 0 |1538 |-4.627451e+01 |-2.600000e+01 | 43.81%
18.78/18.83 c 18.8s| 10000 | 4749 |293306 | 28.1 | 28M| 59 | 43 | 200 |3113 | 200 | 219 | 109k| 0 |1538 |-4.539858e+01 |-2.600000e+01 | 42.73%
26.77/26.83 c 26.8s| 20000 | 8291 |496238 | 24.2 | 37M| 65 | 24 | 200 |3113 | 200 | 219 | 207k| 0 |2025 |-4.484615e+01 |-2.600000e+01 | 42.02%
27.08/27.11 o -27
27.08/27.11 c *27.1s| 20397 | 6979 |503770 | 24.1 | 35M| 65 | - | 200 |3113 | 200 | 226 | 211k| 0 |2026 |-4.482176e+01 |-2.700000e+01 | 39.76%
34.08/34.17 c 34.2s| 30000 | 9498 |682602 | 22.4 | 43M| 65 | 47 | 200 |3113 | 200 | 248 | 303k| 0 |2495 |-4.453546e+01 |-2.700000e+01 | 39.37%
41.17/41.27 c 41.3s| 40000 | 12126 |869514 | 21.4 | 50M| 65 | 12 | 200 |3113 | 200 | 200 | 397k| 0 |2933 |-4.422222e+01 |-2.700000e+01 | 38.94%
47.47/47.54 o -28
47.47/47.54 c *47.5s| 49443 | 11717 | 1035k| 20.7 | 51M| 65 | - | 200 |3113 | 200 | 230 | 485k| 0 |3218 |-4.400593e+01 |-2.800000e+01 | 36.37%
47.87/47.93 c 47.9s| 50000 | 11822 | 1045k| 20.7 | 52M| 65 | 9 | 200 |3113 | 200 | 200 | 490k| 0 |3244 |-4.399813e+01 |-2.800000e+01 | 36.36%
54.46/54.55 c 54.5s| 60000 | 13846 | 1218k| 20.1 | 58M| 65 | - | 200 |3113 | 200 | 228 | 586k| 0 |3611 |-4.381009e+01 |-2.800000e+01 | 36.09%
60.66/60.73 c 60.7s| 70000 | 15754 | 1384k| 19.6 | 64M| 65 | 50 | 200 |3113 | 200 | 234 | 679k| 0 |3891 |-4.361067e+01 |-2.800000e+01 | 35.80%
67.15/67.20 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.45/73.54 c 73.5s| 90000 | 19788 | 1730k| 19.1 | 76M| 65 | - | 200 |3113 | 200 | 233 | 871k| 0 |4453 |-4.323507e+01 |-2.800000e+01 | 35.24%
79.75/79.85 c 79.8s|100000 | 21898 | 1901k| 18.9 | 82M| 65 | 42 | 200 |3113 | 200 | 237 | 963k| 0 |4721 |-4.308623e+01 |-2.800000e+01 | 35.01%
85.85/85.96 c 86.0s|110000 | 23878 | 2069k| 18.7 | 88M| 69 | 33 | 200 |3113 | 200 | 228 |1056k| 0 |4912 |-4.295952e+01 |-2.800000e+01 | 34.82%
92.05/92.15 c 92.1s|120000 | 25800 | 2237k| 18.5 | 94M| 69 | 26 | 200 |3113 | 200 | 212 |1149k| 0 |5183 |-4.283333e+01 |-2.800000e+01 | 34.63%
98.14/98.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.14/98.25 c 98.2s|130000 | 27774 | 2404k| 18.4 | 100M| 69 | 55 | 200 |3113 | 200 | 253 |1242k| 0 |5391 |-4.272981e+01 |-2.800000e+01 | 34.47%
104.35/104.43 c 104s|140000 | 29734 | 2573k| 18.3 | 106M| 69 | - | 200 |3113 | 200 | 238 |1338k| 0 |5628 |-4.263415e+01 |-2.800000e+01 | 34.32%
110.44/110.56 c 111s|150000 | 31664 | 2741k| 18.2 | 112M| 71 | 42 | 200 |3113 | 200 | 241 |1432k| 0 |5804 |-4.251852e+01 |-2.800000e+01 | 34.15%
116.63/116.70 c 117s|160000 | 33482 | 2907k| 18.1 | 117M| 71 | - | 200 |3113 | 200 | 218 |1524k| 0 |6023 |-4.240909e+01 |-2.800000e+01 | 33.98%
122.84/122.95 c 123s|170000 | 35446 | 3078k| 18.0 | 123M| 76 | 36 | 200 |3113 | 200 | 222 |1615k| 0 |6216 |-4.229167e+01 |-2.800000e+01 | 33.79%
128.93/129.01 c 129s|180000 | 37398 | 3243k| 18.0 | 129M| 76 | 25 | 200 |3113 | 200 | 216 |1704k| 0 |6429 |-4.217647e+01 |-2.800000e+01 | 33.61%
134.94/135.00 c 135s|190000 | 39192 | 3406k| 17.9 | 135M| 76 | - | 200 |3113 | 200 | 238 |1793k| 0 |6600 |-4.207692e+01 |-2.800000e+01 | 33.46%
140.93/141.06 c 141s|200000 | 41060 | 3572k| 17.8 | 141M| 76 | 31 | 200 |3113 | 200 | 232 |1888k| 0 |6782 |-4.200000e+01 |-2.800000e+01 | 33.33%
146.93/147.02 c 147s|210000 | 42792 | 3735k| 17.7 | 146M| 77 | - | 200 |3113 | 200 | 219 |1981k| 0 |6922 |-4.190566e+01 |-2.800000e+01 | 33.18%
152.84/152.91 c 153s|220000 | 44578 | 3895k| 17.7 | 151M| 77 | 17 | 200 |3113 | 200 | 200 |2070k| 0 |7074 |-4.181818e+01 |-2.800000e+01 | 33.04%
158.73/158.82 c 159s|230000 | 46290 | 4055k| 17.6 | 157M| 77 | - | 200 |3113 | 200 | 220 |2159k| 0 |7222 |-4.172727e+01 |-2.800000e+01 | 32.90%
164.63/164.76 c 165s|240000 | 48090 | 4217k| 17.5 | 162M| 77 | 39 | 200 |3113 | 200 | 226 |2249k| 0 |7407 |-4.164912e+01 |-2.800000e+01 | 32.77%
170.52/170.60 c 171s|250000 | 49822 | 4377k| 17.5 | 167M| 77 | 8 | 200 |3113 | 200 | 200 |2341k| 0 |7580 |-4.158333e+01 |-2.800000e+01 | 32.67%
176.22/176.33 c 176s|260000 | 51374 | 4532k| 17.4 | 172M| 77 | 56 | 200 |3113 | 200 | 244 |2432k| 0 |7735 |-4.152632e+01 |-2.800000e+01 | 32.57%
182.02/182.14 c 182s|270000 | 53066 | 4692k| 17.3 | 177M| 77 | 22 | 200 |3113 | 200 | 200 |2521k| 0 |7863 |-4.147887e+01 |-2.800000e+01 | 32.50%
187.62/187.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.62/187.79 c 188s|280000 | 54560 | 4844k| 17.3 | 182M| 77 | 35 | 200 |3113 | 200 | 200 |2610k| 0 |8015 |-4.141667e+01 |-2.800000e+01 | 32.39%
193.53/193.62 c 194s|290000 | 56286 | 5002k| 17.2 | 187M| 77 | 69 | 200 |3113 | 200 | 245 |2697k| 0 |8186 |-4.134545e+01 |-2.800000e+01 | 32.28%
199.32/199.43 c 199s|300000 | 57980 | 5160k| 17.2 | 192M| 77 | 29 | 200 |3113 | 200 | 214 |2788k| 0 |8335 |-4.128571e+01 |-2.800000e+01 | 32.18%
205.12/205.20 c 205s|310000 | 59712 | 5316k| 17.1 | 197M| 77 | 41 | 200 |3113 | 200 | 200 |2878k| 0 |8449 |-4.123077e+01 |-2.800000e+01 | 32.09%
210.62/210.75 c 211s|320000 | 61260 | 5466k| 17.0 | 202M| 77 | - | 200 |3113 | 200 | 227 |2967k| 0 |8626 |-4.116667e+01 |-2.800000e+01 | 31.98%
216.32/216.44 c 216s|330000 | 62868 | 5620k| 17.0 | 207M| 77 | 43 | 200 |3113 | 200 | 200 |3057k| 0 |8772 |-4.112500e+01 |-2.800000e+01 | 31.91%
222.02/222.17 c 222s|340000 | 64504 | 5776k| 17.0 | 212M| 77 | 60 | 200 |3113 | 200 | 248 |3146k| 0 |8884 |-4.105882e+01 |-2.800000e+01 | 31.81%
227.72/227.87 c 228s|350000 | 66022 | 5930k| 16.9 | 217M| 77 | 16 | 200 |3113 | 200 | 200 |3232k| 0 |9036 |-4.100000e+01 |-2.800000e+01 | 31.71%
233.31/233.46 c 233s|360000 | 67530 | 6082k| 16.9 | 221M| 77 | 18 | 200 |3113 | 200 | 211 |3323k| 0 |9138 |-4.100000e+01 |-2.800000e+01 | 31.71%
238.92/239.09 c 239s|370000 | 69084 | 6234k| 16.8 | 226M| 77 | - | 200 |3113 | 200 | 212 |3414k| 0 |9245 |-4.095455e+01 |-2.800000e+01 | 31.63%
244.71/244.81 c 245s|380000 | 70698 | 6390k| 16.8 | 231M| 77 | 6 | 200 |3113 | 200 | 215 |3503k| 0 |9388 |-4.088889e+01 |-2.800000e+01 | 31.52%
250.31/250.41 c 250s|390000 | 72276 | 6542k| 16.7 | 235M| 77 | - | 200 |3113 | 200 | 236 |3591k| 0 |9516 |-4.084211e+01 |-2.800000e+01 | 31.44%
256.01/256.12 c 256s|400000 | 73916 | 6696k| 16.7 | 240M| 78 | 46 | 200 |3113 | 200 | 219 |3680k| 0 |9635 |-4.077778e+01 |-2.800000e+01 | 31.34%
261.41/261.52 c 262s|410000 | 75336 | 6842k| 16.7 | 245M| 83 | 6 | 200 |3113 | 200 | 216 |3767k| 0 |9749 |-4.075000e+01 |-2.800000e+01 | 31.29%
266.91/267.03 c 267s|420000 | 76770 | 6990k| 16.6 | 249M| 83 | - | 200 |3113 | 200 | 238 |3855k| 0 |9882 |-4.070175e+01 |-2.800000e+01 | 31.21%
272.31/272.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.31/272.43 c 272s|430000 | 78098 | 7137k| 16.6 | 253M| 83 | - | 200 |3113 | 200 | 235 |3943k| 0 |9990 |-4.066667e+01 |-2.800000e+01 | 31.15%
277.61/277.79 c 278s|440000 | 79332 | 7280k| 16.5 | 257M| 83 | - | 200 |3113 | 200 | 246 |4029k| 0 | 10k|-4.063397e+01 |-2.800000e+01 | 31.09%
283.01/283.11 c 283s|450000 | 80646 | 7423k| 16.5 | 261M| 83 | - | 200 |3113 | 200 | 222 |4114k| 0 | 10k|-4.060000e+01 |-2.800000e+01 | 31.03%
288.30/288.49 c 288s|460000 | 81912 | 7566k| 16.4 | 265M| 92 | 9 | 200 |3113 | 200 | 224 |4200k| 0 | 10k|-4.056250e+01 |-2.800000e+01 | 30.97%
293.71/293.86 c 294s|470000 | 83082 | 7709k| 16.4 | 268M| 92 | - | 200 |3113 | 200 | 227 |4285k| 0 | 10k|-4.052857e+01 |-2.800000e+01 | 30.91%
299.20/299.31 c 299s|480000 | 84410 | 7855k| 16.3 | 272M| 92 | - | 200 |3113 | 200 | 216 |4372k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
304.61/304.75 c 305s|490000 | 85688 | 8001k| 16.3 | 276M| 92 | 44 | 200 |3113 | 200 | 213 |4458k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
310.01/310.18 c 310s|500000 | 86938 | 8146k| 16.3 | 280M| 92 | - | 200 |3113 | 200 | 219 |4544k| 0 | 10k|-4.044444e+01 |-2.800000e+01 | 30.77%
315.41/315.50 c 315s|510000 | 88070 | 8288k| 16.2 | 284M| 92 | 44 | 200 |3113 | 200 | 246 |4629k| 0 | 10k|-4.041573e+01 |-2.800000e+01 | 30.72%
320.80/320.90 c 321s|520000 | 89248 | 8434k| 16.2 | 288M| 92 | 11 | 200 |3113 | 200 | 210 |4716k| 0 | 11k|-4.037500e+01 |-2.800000e+01 | 30.65%
326.10/326.20 c 326s|530000 | 90376 | 8574k| 16.2 | 291M| 92 | - | 200 |3113 | 200 | 213 |4800k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
331.30/331.49 c 331s|540000 | 91546 | 8714k| 16.1 | 295M| 92 | 25 | 200 |3113 | 200 | 213 |4886k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
336.70/336.89 c 337s|550000 | 92740 | 8859k| 16.1 | 299M| 92 | - | 200 |3113 | 200 | 220 |4971k| 0 | 11k|-4.028571e+01 |-2.800000e+01 | 30.50%
342.10/342.21 c 342s|560000 | 93890 | 9001k| 16.1 | 302M| 92 | - | 200 |3113 | 200 | 223 |5058k| 0 | 11k|-4.025000e+01 |-2.800000e+01 | 30.43%
347.51/347.60 c 348s|570000 | 95130 | 9145k| 16.0 | 306M| 92 | 52 | 200 |3113 | 200 | 214 |5145k| 0 | 11k|-4.021429e+01 |-2.800000e+01 | 30.37%
352.79/352.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.79/352.92 c 353s|580000 | 96340 | 9286k| 16.0 | 310M| 92 | 19 | 200 |3113 | 200 | 215 |5230k| 0 | 11k|-4.018182e+01 |-2.800000e+01 | 30.32%
358.10/358.25 c 358s|590000 | 97464 | 9428k| 16.0 | 313M| 92 | - | 200 |3113 | 200 | 235 |5316k| 0 | 11k|-4.014583e+01 |-2.800000e+01 | 30.25%
363.40/363.58 c 364s|600000 | 98624 | 9569k| 15.9 | 317M| 92 | 8 | 200 |3113 | 200 | 200 |5401k| 0 | 11k|-4.012022e+01 |-2.800000e+01 | 30.21%
368.80/368.92 c 369s|610000 | 99748 | 9712k| 15.9 | 321M| 92 | - | 200 |3113 | 200 | 232 |5487k| 0 | 11k|-4.008333e+01 |-2.800000e+01 | 30.15%
374.10/374.24 c 374s|620000 |100884 | 9854k| 15.9 | 324M| 92 | - | 200 |3113 | 200 | 228 |5572k| 0 | 12k|-4.004032e+01 |-2.800000e+01 | 30.07%
379.40/379.51 c 380s|630000 |102040 | 9994k| 15.8 | 328M| 92 | - | 200 |3113 | 200 | 215 |5659k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
384.60/384.74 c 385s|640000 |103160 | 10132k| 15.8 | 331M| 92 | 31 | 200 |3113 | 200 | 200 |5746k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
389.89/390.01 c 390s|650000 |104378 | 10273k| 15.8 | 335M| 92 | - | 200 |3113 | 200 | 235 |5831k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
395.19/395.35 c 395s|660000 |105592 | 10416k| 15.8 | 338M| 92 | 40 | 200 |3113 | 200 | 211 |5918k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
400.39/400.58 c 401s|670000 |106774 | 10555k| 15.7 | 342M| 92 | - | 200 |3113 | 200 | 228 |6001k| 0 | 12k|-3.996429e+01 |-2.800000e+01 | 29.94%
405.59/405.79 c 406s|680000 |107906 | 10693k| 15.7 | 346M| 92 | 11 | 200 |3113 | 200 | 215 |6085k| 0 | 12k|-3.992308e+01 |-2.800000e+01 | 29.87%
405.89/406.07 o -29
405.89/406.07 c * 406s|680384 | 88079 | 10699k| 15.7 | 296M| 92 | - | 200 |3113 | 200 | 247 |6089k| 0 | 12k|-3.992241e+01 |-2.900000e+01 | 27.36%
411.19/411.35 c 411s|690000 | 88907 | 10836k| 15.7 | 299M| 92 | 18 | 200 |3113 | 200 | 217 |6175k| 0 | 12k|-3.988889e+01 |-2.900000e+01 | 27.30%
416.49/416.63 c 417s|700000 | 89715 | 10975k| 15.7 | 302M| 92 | 59 | 200 |3113 | 200 | 253 |6263k| 0 | 12k|-3.985714e+01 |-2.900000e+01 | 27.24%
421.78/421.91 c 422s|710000 | 90557 | 11115k| 15.6 | 305M| 92 | 33 | 200 |3113 | 200 | 200 |6352k| 0 | 12k|-3.983333e+01 |-2.900000e+01 | 27.20%
426.99/427.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.99/427.17 c 427s|720000 | 91439 | 11255k| 15.6 | 308M| 92 | - | 200 |3113 | 200 | 256 |6439k| 0 | 12k|-3.980000e+01 |-2.900000e+01 | 27.14%
432.28/432.46 c 432s|730000 | 92353 | 11395k| 15.6 | 311M| 92 | 39 | 200 |3113 | 200 | 215 |6526k| 0 | 13k|-3.976667e+01 |-2.900000e+01 | 27.07%
437.58/437.76 o -30
437.58/437.76 c * 438s|739789 | 74028 | 11534k| 15.6 | 264M| 92 | - | 200 |3113 | 200 | 224 |6611k| 0 | 13k|-3.975000e+01 |-3.000000e+01 | 24.53%
437.78/437.90 c 438s|740000 | 74043 | 11537k| 15.6 | 264M| 92 | 11 | 200 |3113 | 200 | 200 |6613k| 0 | 13k|-3.975000e+01 |-3.000000e+01 | 24.53%
443.08/443.24 c 443s|750000 | 74579 | 11675k| 15.6 | 267M| 92 | 19 | 200 |3113 | 200 | 200 |6703k| 0 | 13k|-3.971429e+01 |-3.000000e+01 | 24.46%
448.38/448.58 c 449s|760000 | 75213 | 11815k| 15.5 | 269M| 92 | - | 200 |3113 | 200 | 237 |6792k| 0 | 13k|-3.967308e+01 |-3.000000e+01 | 24.38%
453.68/453.87 c 454s|770000 | 75749 | 11954k| 15.5 | 271M| 92 | - | 200 |3113 | 200 | 255 |6883k| 0 | 13k|-3.966667e+01 |-3.000000e+01 | 24.37%
458.98/459.14 c 459s|780000 | 76285 | 12092k| 15.5 | 273M| 92 | - | 200 |3113 | 200 | 229 |6974k| 0 | 13k|-3.964706e+01 |-3.000000e+01 | 24.33%
464.18/464.38 c 464s|790000 | 76825 | 12230k| 15.5 | 275M| 92 | 12 | 200 |3113 | 200 | 209 |7066k| 0 | 13k|-3.961765e+01 |-3.000000e+01 | 24.28%
469.58/469.74 c 470s|800000 | 77385 | 12370k| 15.4 | 278M| 92 | 15 | 200 |3113 | 200 | 209 |7155k| 0 | 13k|-3.958621e+01 |-3.000000e+01 | 24.22%
474.77/474.97 c 475s|810000 | 77867 | 12507k| 15.4 | 280M| 92 | - | 200 |3113 | 200 | 218 |7246k| 0 | 13k|-3.955556e+01 |-3.000000e+01 | 24.16%
480.07/480.24 c 480s|820000 | 78347 | 12644k| 15.4 | 282M| 92 | 14 | 200 |3113 | 200 | 200 |7333k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
485.27/485.47 c 485s|830000 | 78889 | 12782k| 15.4 | 284M| 92 | 42 | 200 |3113 | 200 | 223 |7422k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
490.38/490.59 c 491s|840000 | 79377 | 12916k| 15.4 | 286M| 92 | - | 200 |3113 | 200 | 228 |7510k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
495.67/495.89 c 496s|850000 | 79969 | 13054k| 15.3 | 288M| 92 | - | 200 |3113 | 200 | 219 |7601k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
500.97/501.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.97/501.15 c 501s|860000 | 80465 | 13192k| 15.3 | 290M| 92 | - | 200 |3113 | 200 | 236 |7691k| 0 | 14k|-3.943902e+01 |-3.000000e+01 | 23.93%
506.17/506.35 c 506s|870000 | 80899 | 13328k| 15.3 | 292M| 92 | - | 200 |3113 | 200 | 232 |7783k| 0 | 14k|-3.940625e+01 |-3.000000e+01 | 23.87%
511.27/511.47 c 511s|880000 | 81415 | 13461k| 15.3 | 294M| 92 | - | 200 |3113 | 200 | 245 |7869k| 0 | 14k|-3.937500e+01 |-3.000000e+01 | 23.81%
516.47/516.62 c 517s|890000 | 81931 | 13594k| 15.3 | 296M| 92 | 24 | 200 |3113 | 200 | 200 |7956k| 0 | 14k|-3.935417e+01 |-3.000000e+01 | 23.77%
521.57/521.79 c 522s|900000 | 82435 | 13730k| 15.2 | 298M| 92 | 35 | 200 |3113 | 200 | 200 |8045k| 0 | 14k|-3.933333e+01 |-3.000000e+01 | 23.73%
526.77/526.99 c 527s|910000 | 82969 | 13866k| 15.2 | 300M| 92 | 54 | 200 |3113 | 200 | 244 |8135k| 0 | 14k|-3.932558e+01 |-3.000000e+01 | 23.71%
531.96/532.14 c 532s|920000 | 83433 | 14001k| 15.2 | 302M| 92 | - | 200 |3113 | 200 | 210 |8225k| 0 | 14k|-3.928571e+01 |-3.000000e+01 | 23.64%
537.16/537.32 c 537s|930000 | 83879 | 14136k| 15.2 | 304M| 92 | - | 200 |3113 | 200 | 237 |8314k| 0 | 14k|-3.925000e+01 |-3.000000e+01 | 23.57%
542.26/542.44 c 542s|940000 | 84251 | 14269k| 15.2 | 305M| 92 | 47 | 200 |3113 | 200 | 219 |8404k| 0 | 14k|-3.925000e+01 |-3.000000e+01 | 23.57%
547.46/547.63 c 548s|950000 | 84757 | 14404k| 15.2 | 307M| 98 | - | 200 |3113 | 200 | 244 |8493k| 0 | 14k|-3.921622e+01 |-3.000000e+01 | 23.50%
552.66/552.82 c 553s|960000 | 85265 | 14538k| 15.1 | 309M| 98 | - | 200 |3113 | 200 | 239 |8580k| 0 | 14k|-3.918519e+01 |-3.000000e+01 | 23.44%
557.86/558.03 c 558s|970000 | 85703 | 14673k| 15.1 | 311M| 98 | 22 | 200 |3113 | 200 | 209 |8671k| 0 | 14k|-3.916667e+01 |-3.000000e+01 | 23.40%
563.06/563.26 c 563s|980000 | 86189 | 14810k| 15.1 | 313M| 98 | 53 | 200 |3113 | 200 | 215 |8758k| 0 | 15k|-3.912500e+01 |-3.000000e+01 | 23.32%
568.16/568.30 c 568s|990000 | 86637 | 14940k| 15.1 | 315M| 98 | 44 | 200 |3113 | 200 | 209 |8843k| 0 | 15k|-3.910000e+01 |-3.000000e+01 | 23.27%
573.26/573.47 c 573s| 1000k| 87055 | 15074k| 15.1 | 317M| 98 | - | 200 |3113 | 200 | 251 |8931k| 0 | 15k|-3.906250e+01 |-3.000000e+01 | 23.20%
578.37/578.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.37/578.59 c 579s| 1010k| 87491 | 15207k| 15.0 | 318M| 98 | - | 200 |3113 | 200 | 215 |9020k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
583.55/583.75 c 584s| 1020k| 87983 | 15342k| 15.0 | 320M| 98 | 7 | 200 |3113 | 200 | 212 |9108k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
588.65/588.84 c 589s| 1030k| 88375 | 15475k| 15.0 | 322M| 98 | 25 | 200 |3113 | 200 | 232 |9195k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
593.76/593.93 c 594s| 1040k| 88779 | 15606k| 15.0 | 324M| 98 | 27 | 200 |3113 | 200 | 212 |9282k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
598.86/599.07 c 599s| 1050k| 89253 | 15741k| 15.0 | 326M| 98 | - | 200 |3113 | 200 | 226 |9369k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
603.95/604.19 c 604s| 1060k| 89731 | 15875k| 15.0 | 328M| 98 | 25 | 200 |3113 | 200 | 211 |9457k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
609.06/609.29 c 609s| 1070k| 90203 | 16008k| 14.9 | 329M| 98 | - | 200 |3113 | 200 | 220 |9546k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
614.15/614.38 c 614s| 1080k| 90605 | 16138k| 14.9 | 331M| 98 | 36 | 200 |3113 | 200 | 213 |9633k| 0 | 15k|-3.896154e+01 |-3.000000e+01 | 23.00%
619.35/619.50 c 620s| 1090k| 91055 | 16270k| 14.9 | 333M| 98 | - | 200 |3113 | 200 | 200 |9720k| 0 | 15k|-3.893443e+01 |-3.000000e+01 | 22.95%
624.45/624.66 c 625s| 1100k| 91421 | 16403k| 14.9 | 334M| 98 | 27 | 200 |3113 | 200 | 217 |9808k| 0 | 15k|-3.890000e+01 |-3.000000e+01 | 22.88%
629.55/629.74 c 630s| 1110k| 91835 | 16535k| 14.9 | 336M| 98 | - | 200 |3113 | 200 | 223 |9895k| 0 | 16k|-3.887500e+01 |-3.000000e+01 | 22.83%
634.65/634.84 c 635s| 1120k| 92287 | 16667k| 14.9 | 338M| 98 | 10 | 200 |3113 | 200 | 200 |9981k| 0 | 16k|-3.885000e+01 |-3.000000e+01 | 22.78%
639.74/639.91 c 640s| 1130k| 92627 | 16798k| 14.9 | 339M| 98 | 20 | 200 |3113 | 200 | 214 | 10M| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
644.85/645.03 c 645s| 1140k| 93071 | 16931k| 14.8 | 341M| 98 | 21 | 200 |3113 | 200 | 210 | 10M| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
649.86/650.05 c 650s| 1150k| 93379 | 17059k| 14.8 | 343M| 98 | 38 | 200 |3113 | 200 | 215 | 10M| 0 | 16k|-3.878125e+01 |-3.000000e+01 | 22.64%
654.84/655.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.84/655.03 c 655s| 1160k| 93765 | 17187k| 14.8 | 344M| 98 | - | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
659.85/660.09 c 660s| 1170k| 94119 | 17317k| 14.8 | 346M| 98 | 12 | 200 |3113 | 200 | 216 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
664.94/665.10 c 665s| 1180k| 94545 | 17447k| 14.8 | 347M| 98 | - | 200 |3113 | 200 | 237 | 10M| 0 | 16k|-3.872512e+01 |-3.000000e+01 | 22.53%
669.84/670.07 c 670s| 1190k| 94861 | 17573k| 14.8 | 349M| 98 | - | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.870175e+01 |-3.000000e+01 | 22.48%
674.94/675.16 c 675s| 1200k| 95177 | 17703k| 14.7 | 350M| 98 | - | 200 |3113 | 200 | 228 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
679.94/680.12 c 680s| 1210k| 95541 | 17830k| 14.7 | 352M| 98 | 64 | 200 |3113 | 200 | 240 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
684.94/685.11 c 685s| 1220k| 95963 | 17959k| 14.7 | 354M| 98 | 48 | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
690.04/690.20 c 690s| 1230k| 96417 | 18091k| 14.7 | 355M| 98 | 58 | 200 |3113 | 200 | 239 | 10M| 0 | 16k|-3.862500e+01 |-3.000000e+01 | 22.33%
695.04/695.21 c 695s| 1240k| 96717 | 18219k| 14.7 | 357M| 98 | - | 200 |3113 | 200 | 219 | 11M| 0 | 16k|-3.860000e+01 |-3.000000e+01 | 22.28%
700.04/700.23 c 700s| 1250k| 97095 | 18346k| 14.7 | 358M| 98 | 14 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.857692e+01 |-3.000000e+01 | 22.23%
704.95/705.16 c 705s| 1260k| 97439 | 18471k| 14.7 | 360M| 98 | - | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.855000e+01 |-3.000000e+01 | 22.18%
709.93/710.19 c 710s| 1270k| 97801 | 18601k| 14.6 | 361M| 98 | 14 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.851613e+01 |-3.000000e+01 | 22.11%
715.03/715.20 c 715s| 1280k| 98199 | 18730k| 14.6 | 363M| 98 | - | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
720.03/720.21 c 720s| 1290k| 98637 | 18860k| 14.6 | 365M| 98 | 15 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
725.03/725.21 c 725s| 1300k| 99075 | 18990k| 14.6 | 366M| 98 | - | 200 |3113 | 200 | 216 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
730.03/730.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.03/730.21 c 730s| 1310k| 99431 | 19119k| 14.6 | 368M| 98 | - | 200 |3113 | 200 | 220 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
734.93/735.17 c 735s| 1320k| 99829 | 19245k| 14.6 | 369M| 98 | - | 200 |3113 | 200 | 213 | 11M| 0 | 17k|-3.848718e+01 |-3.000000e+01 | 22.05%
739.93/740.13 c 740s| 1330k|100155 | 19372k| 14.6 | 371M| 98 | 55 | 200 |3113 | 200 | 251 | 11M| 0 | 17k|-3.844595e+01 |-3.000000e+01 | 21.97%
744.93/745.19 c 745s| 1340k|100523 | 19501k| 14.5 | 372M| 98 | 59 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.842308e+01 |-3.000000e+01 | 21.92%
749.94/750.19 c 750s| 1350k|100921 | 19627k| 14.5 | 374M| 98 | - | 200 |3113 | 200 | 225 | 11M| 0 | 17k|-3.840000e+01 |-3.000000e+01 | 21.87%
754.83/755.07 c 755s| 1360k|101271 | 19751k| 14.5 | 375M| 98 | 49 | 200 |3113 | 200 | 210 | 12M| 0 | 17k|-3.837500e+01 |-3.000000e+01 | 21.82%
759.83/760.08 c 760s| 1370k|101557 | 19878k| 14.5 | 377M| 98 | 41 | 200 |3113 | 200 | 213 | 12M| 0 | 17k|-3.834049e+01 |-3.000000e+01 | 21.75%
764.83/765.04 c 765s| 1380k|101915 | 20004k| 14.5 | 378M| 98 | - | 200 |3113 | 200 | 200 | 12M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
769.83/770.03 c 770s| 1390k|102213 | 20130k| 14.5 | 379M| 98 | - | 200 |3113 | 200 | 216 | 12M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
774.83/775.01 c 775s| 1400k|102553 | 20257k| 14.5 | 381M| 98 | - | 200 |3113 | 200 | 232 | 12M| 0 | 17k|-3.832243e+01 |-3.000000e+01 | 21.72%
779.73/779.97 c 780s| 1410k|102865 | 20383k| 14.4 | 382M| 98 | - | 200 |3113 | 200 | 248 | 12M| 0 | 18k|-3.828571e+01 |-3.000000e+01 | 21.64%
784.72/784.92 c 785s| 1420k|103143 | 20507k| 14.4 | 383M| 98 | 53 | 200 |3113 | 200 | 248 | 12M| 0 | 18k|-3.825439e+01 |-3.000000e+01 | 21.58%
789.72/789.97 c 790s| 1430k|103515 | 20638k| 14.4 | 385M| 98 | 54 | 200 |3113 | 200 | 217 | 12M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
794.73/794.93 c 795s| 1440k|103899 | 20766k| 14.4 | 386M| 98 | 42 | 200 |3113 | 200 | 200 | 12M| 0 | 18k|-3.824444e+01 |-3.000000e+01 | 21.56%
799.62/799.85 c 800s| 1450k|104213 | 20890k| 14.4 | 388M| 98 | - | 200 |3113 | 200 | 215 | 12M| 0 | 18k|-3.821053e+01 |-3.000000e+01 | 21.49%
804.62/804.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.62/804.85 c 805s| 1460k|104493 | 21018k| 14.4 | 389M| 98 | - | 200 |3113 | 200 | 255 | 12M| 0 | 18k|-3.818750e+01 |-3.000000e+01 | 21.44%
809.62/809.84 c 810s| 1470k|104823 | 21144k| 14.4 | 391M| 98 | 4 | 200 |3113 | 200 | 200 | 12M| 0 | 18k|-3.816667e+01 |-3.000000e+01 | 21.40%
814.52/814.75 c 815s| 1480k|105113 | 21270k| 14.4 | 392M| 102 | - | 200 |3113 | 200 | 227 | 13M| 0 | 18k|-3.814286e+01 |-3.000000e+01 | 21.35%
819.32/819.53 c 820s| 1490k|105427 | 21390k| 14.3 | 393M| 102 | 4 | 200 |3113 | 200 | 212 | 13M| 0 | 18k|-3.812500e+01 |-3.000000e+01 | 21.31%
824.12/824.37 c 824s| 1500k|105707 | 21512k| 14.3 | 394M| 102 | - | 200 |3113 | 200 | 242 | 13M| 0 | 18k|-3.810000e+01 |-3.000000e+01 | 21.26%
829.12/829.33 c 829s| 1510k|105969 | 21637k| 14.3 | 396M| 102 | 40 | 200 |3113 | 200 | 200 | 13M| 0 | 18k|-3.807143e+01 |-3.000000e+01 | 21.20%
834.02/834.21 c 834s| 1520k|106229 | 21760k| 14.3 | 397M| 102 | - | 200 |3113 | 200 | 245 | 13M| 0 | 18k|-3.802041e+01 |-3.000000e+01 | 21.10%
838.81/839.07 c 839s| 1530k|106503 | 21884k| 14.3 | 398M| 102 | 8 | 200 |3113 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
843.71/843.96 c 844s| 1540k|106789 | 22008k| 14.3 | 399M| 102 | - | 200 |3113 | 200 | 240 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
848.82/849.00 c 849s| 1550k|107067 | 22137k| 14.3 | 400M| 102 | - | 200 |3113 | 200 | 245 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
853.72/853.91 c 854s| 1560k|107319 | 22261k| 14.3 | 402M| 102 | - | 200 |3113 | 200 | 213 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
858.61/858.83 c 859s| 1570k|107645 | 22386k| 14.3 | 403M| 102 | 50 | 200 |3113 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
863.51/863.79 c 864s| 1580k|107961 | 22513k| 14.2 | 404M| 102 | - | 200 |3113 | 200 | 224 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
868.31/868.53 c 869s| 1590k|108225 | 22632k| 14.2 | 405M| 102 | 40 | 200 |3113 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
873.11/873.35 c 873s| 1600k|108495 | 22753k| 14.2 | 406M| 102 | - | 200 |3113 | 200 | 212 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
878.01/878.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
878.01/878.23 c 878s| 1610k|108731 | 22877k| 14.2 | 408M| 102 | 31 | 200 |3113 | 200 | 216 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
882.91/883.10 c 883s| 1620k|109019 | 23000k| 14.2 | 409M| 102 | 32 | 200 |3113 | 200 | 220 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
887.70/887.96 c 888s| 1630k|109277 | 23122k| 14.2 | 410M| 102 | 10 | 200 |3113 | 200 | 215 | 14M| 0 | 19k|-3.797143e+01 |-3.000000e+01 | 20.99%
892.51/892.76 c 893s| 1640k|109489 | 23242k| 14.2 | 411M| 102 | - | 200 |3113 | 200 | 241 | 14M| 0 | 19k|-3.793750e+01 |-3.000000e+01 | 20.92%
897.41/897.66 c 898s| 1650k|109721 | 23364k| 14.2 | 412M| 102 | 19 | 200 |3113 | 200 | 214 | 14M| 0 | 19k|-3.791429e+01 |-3.000000e+01 | 20.87%
902.21/902.43 c 902s| 1660k|109909 | 23483k| 14.1 | 413M| 102 | - | 200 |3113 | 200 | 215 | 14M| 0 | 19k|-3.789286e+01 |-3.000000e+01 | 20.83%
907.10/907.32 c 907s| 1670k|110165 | 23606k| 14.1 | 414M| 102 | 55 | 200 |3113 | 200 | 200 | 14M| 0 | 19k|-3.787500e+01 |-3.000000e+01 | 20.79%
911.91/912.17 c 912s| 1680k|110399 | 23728k| 14.1 | 415M| 102 | 53 | 200 |3113 | 200 | 211 | 14M| 0 | 19k|-3.785714e+01 |-3.000000e+01 | 20.75%
916.80/917.02 c 917s| 1690k|110649 | 23850k| 14.1 | 416M| 102 | 38 | 200 |3113 | 200 | 228 | 14M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
921.70/921.91 c 922s| 1700k|110965 | 23973k| 14.1 | 418M| 102 | - | 200 |3113 | 200 | 200 | 14M| 0 | 19k|-3.781818e+01 |-3.000000e+01 | 20.67%
926.50/926.73 c 927s| 1710k|111203 | 24095k| 14.1 | 419M| 102 | - | 200 |3113 | 200 | 222 | 14M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
931.30/931.53 c 932s| 1720k|111453 | 24215k| 14.1 | 420M| 102 | 18 | 200 |3113 | 200 | 200 | 15M| 0 | 19k|-3.777778e+01 |-3.000000e+01 | 20.59%
936.10/936.34 c 936s| 1730k|111673 | 24335k| 14.1 | 421M| 102 | - | 200 |3113 | 200 | 230 | 15M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
940.90/941.14 c 941s| 1740k|111861 | 24454k| 14.0 | 422M| 102 | 4 | 200 |3113 | 200 | 213 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
945.70/945.96 c 946s| 1750k|112097 | 24574k| 14.0 | 423M| 102 | - | 200 |3113 | 200 | 227 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
950.60/950.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.60/950.83 c 951s| 1760k|112341 | 24697k| 14.0 | 424M| 102 | - | 200 |3113 | 200 | 207 | 15M| 0 | 20k|-3.771429e+01 |-3.000000e+01 | 20.45%
955.40/955.66 c 956s| 1770k|112585 | 24817k| 14.0 | 425M| 102 | - | 200 |3113 | 200 | 233 | 15M| 0 | 20k|-3.768750e+01 |-3.000000e+01 | 20.40%
960.20/960.45 c 960s| 1780k|112825 | 24937k| 14.0 | 426M| 102 | - | 200 |3113 | 200 | 217 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
965.00/965.27 c 965s| 1790k|113023 | 25056k| 14.0 | 427M| 102 | 7 | 200 |3113 | 200 | 211 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
969.79/970.01 c 970s| 1800k|113215 | 25174k| 14.0 | 428M| 102 | 55 | 200 |3113 | 200 | 241 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
974.59/974.81 c 975s| 1810k|113441 | 25292k| 14.0 | 429M| 102 | 24 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.764286e+01 |-3.000000e+01 | 20.30%
979.39/979.63 c 980s| 1820k|113725 | 25413k| 14.0 | 430M| 102 | - | 200 |3113 | 200 | 246 | 15M| 0 | 20k|-3.762500e+01 |-3.000000e+01 | 20.27%
984.20/984.49 c 984s| 1830k|113973 | 25534k| 13.9 | 431M| 102 | 48 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
988.99/989.20 c 989s| 1840k|114167 | 25649k| 13.9 | 432M| 102 | 18 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.758621e+01 |-3.000000e+01 | 20.18%
993.69/993.99 c 994s| 1850k|114311 | 25768k| 13.9 | 433M| 102 | 5 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.756522e+01 |-3.000000e+01 | 20.14%
998.49/998.73 c 999s| 1860k|114497 | 25885k| 13.9 | 434M| 102 | - | 200 |3113 | 200 | 248 | 16M| 0 | 20k|-3.753846e+01 |-3.000000e+01 | 20.08%
1003.19/1003.46 c 1003s| 1870k|114665 | 26000k| 13.9 | 435M| 102 | - | 200 |3113 | 200 | 213 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1007.89/1008.14 c 1008s| 1880k|114793 | 26115k| 13.9 | 435M| 102 | - | 200 |3113 | 200 | 208 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1012.59/1012.85 c 1013s| 1890k|114937 | 26231k| 13.9 | 436M| 102 | 24 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1017.38/1017.62 c 1018s| 1900k|115115 | 26350k| 13.9 | 437M| 102 | - | 200 |3113 | 200 | 216 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1022.09/1022.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.09/1022.30 c 1022s| 1910k|115225 | 26464k| 13.8 | 438M| 102 | 60 | 200 |3113 | 200 | 215 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1026.78/1027.08 c 1027s| 1920k|115383 | 26582k| 13.8 | 439M| 102 | - | 200 |3113 | 200 | 250 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1031.49/1031.79 c 1032s| 1930k|115521 | 26697k| 13.8 | 439M| 102 | - | 200 |3113 | 200 | 228 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1036.19/1036.47 c 1036s| 1940k|115695 | 26812k| 13.8 | 440M| 102 | - | 200 |3113 | 200 | 217 | 16M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1040.88/1041.18 c 1041s| 1950k|115861 | 26928k| 13.8 | 441M| 102 | - | 200 |3113 | 200 | 217 | 16M| 0 | 21k|-3.747368e+01 |-3.000000e+01 | 19.94%
1045.68/1045.93 c 1046s| 1960k|116065 | 27044k| 13.8 | 442M| 102 | - | 200 |3113 | 200 | 216 | 17M| 0 | 21k|-3.743478e+01 |-3.000000e+01 | 19.86%
1050.28/1050.58 c 1051s| 1970k|116233 | 27158k| 13.8 | 443M| 102 | - | 200 |3113 | 200 | 213 | 17M| 0 | 21k|-3.741667e+01 |-3.000000e+01 | 19.82%
1055.08/1055.32 c 1055s| 1980k|116417 | 27274k| 13.8 | 444M| 102 | - | 200 |3113 | 200 | 230 | 17M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1059.77/1060.02 c 1060s| 1990k|116563 | 27390k| 13.8 | 445M| 102 | - | 200 |3113 | 200 | 246 | 17M| 0 | 21k|-3.737500e+01 |-3.000000e+01 | 19.73%
1064.48/1064.78 c 1065s| 2000k|116781 | 27507k| 13.7 | 446M| 102 | 34 | 200 |3113 | 200 | 225 | 17M| 0 | 21k|-3.735714e+01 |-3.000000e+01 | 19.69%
1069.18/1069.45 c 1069s| 2010k|116909 | 27620k| 13.7 | 446M| 102 | 38 | 200 |3113 | 200 | 214 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1073.88/1074.19 c 1074s| 2020k|117085 | 27736k| 13.7 | 447M| 102 | 51 | 200 |3113 | 200 | 236 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1078.67/1078.95 c 1079s| 2030k|117271 | 27853k| 13.7 | 448M| 102 | 27 | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1083.37/1083.64 c 1084s| 2040k|117413 | 27968k| 13.7 | 449M| 102 | - | 200 |3113 | 200 | 241 | 17M| 0 | 21k|-3.731579e+01 |-3.000000e+01 | 19.61%
1087.97/1088.29 c 1088s| 2050k|117503 | 28080k| 13.7 | 449M| 102 | 39 | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.729167e+01 |-3.000000e+01 | 19.55%
1092.67/1092.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.67/1092.99 c 1093s| 2060k|117655 | 28193k| 13.7 | 450M| 102 | - | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.726667e+01 |-3.000000e+01 | 19.50%
1097.37/1097.63 c 1098s| 2070k|117767 | 28306k| 13.7 | 451M| 102 | - | 200 |3113 | 200 | 230 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1102.07/1102.30 c 1102s| 2080k|117883 | 28420k| 13.7 | 452M| 102 | - | 200 |3113 | 200 | 229 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1106.57/1106.88 c 1107s| 2090k|117999 | 28532k| 13.6 | 452M| 102 | 58 | 200 |3113 | 200 | 242 | 18M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1111.26/1111.57 c 1112s| 2100k|118145 | 28646k| 13.6 | 453M| 102 | 56 | 200 |3113 | 200 | 231 | 18M| 0 | 21k|-3.722222e+01 |-3.000000e+01 | 19.40%
1115.87/1116.18 c 1116s| 2110k|118287 | 28756k| 13.6 | 454M| 102 | - | 200 |3113 | 200 | 232 | 18M| 0 | 21k|-3.720000e+01 |-3.000000e+01 | 19.35%
1120.57/1120.82 c 1121s| 2120k|118425 | 28870k| 13.6 | 454M| 102 | - | 200 |3113 | 200 | 227 | 18M| 0 | 21k|-3.718519e+01 |-3.000000e+01 | 19.32%
1125.17/1125.47 c 1125s| 2130k|118533 | 28982k| 13.6 | 455M| 102 | 31 | 200 |3113 | 200 | 200 | 18M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1129.76/1130.09 c 1130s| 2140k|118671 | 29093k| 13.6 | 456M| 102 | - | 200 |3113 | 200 | 240 | 18M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1134.56/1134.84 c 1135s| 2150k|118783 | 29209k| 13.6 | 456M| 102 | - | 200 |3113 | 200 | 241 | 18M| 0 | 22k|-3.714286e+01 |-3.000000e+01 | 19.23%
1139.16/1139.44 c 1139s| 2160k|118851 | 29319k| 13.6 | 457M| 102 | 55 | 200 |3113 | 200 | 217 | 18M| 0 | 22k|-3.712500e+01 |-3.000000e+01 | 19.19%
1143.76/1144.02 c 1144s| 2170k|118919 | 29429k| 13.6 | 458M| 102 | 27 | 200 |3113 | 200 | 215 | 18M| 0 | 22k|-3.710000e+01 |-3.000000e+01 | 19.14%
1148.36/1148.60 c 1149s| 2180k|119015 | 29538k| 13.5 | 458M| 102 | - | 200 |3113 | 200 | 212 | 18M| 0 | 22k|-3.708333e+01 |-3.000000e+01 | 19.10%
1152.96/1153.21 c 1153s| 2190k|119117 | 29648k| 13.5 | 459M| 102 | 52 | 200 |3113 | 200 | 251 | 18M| 0 | 22k|-3.704167e+01 |-3.000000e+01 | 19.01%
1157.46/1157.78 c 1158s| 2200k|119163 | 29758k| 13.5 | 459M| 102 | 36 | 200 |3113 | 200 | 200 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1162.16/1162.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.16/1162.42 c 1162s| 2210k|119319 | 29871k| 13.5 | 460M| 102 | 12 | 200 |3113 | 200 | 215 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1166.76/1167.03 c 1167s| 2220k|119437 | 29982k| 13.5 | 461M| 102 | 22 | 200 |3113 | 200 | 218 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1171.35/1171.64 c 1172s| 2230k|119505 | 30093k| 13.5 | 461M| 102 | 37 | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1175.96/1176.28 c 1176s| 2240k|119671 | 30206k| 13.5 | 462M| 102 | - | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1180.66/1180.94 c 1181s| 2250k|119799 | 30319k| 13.5 | 463M| 102 | 32 | 200 |3113 | 200 | 221 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1185.25/1185.54 c 1186s| 2260k|119907 | 30430k| 13.5 | 463M| 102 | - | 200 |3113 | 200 | 208 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1189.86/1190.12 c 1190s| 2270k|120007 | 30541k| 13.4 | 464M| 102 | - | 200 |3113 | 200 | 238 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1194.45/1194.75 c 1195s| 2280k|120091 | 30651k| 13.4 | 465M| 102 | - | 200 |3113 | 200 | 225 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1199.05/1199.33 c 1199s| 2290k|120157 | 30760k| 13.4 | 465M| 102 | - | 200 |3113 | 200 | 223 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1203.55/1203.84 c 1204s| 2300k|120227 | 30867k| 13.4 | 465M| 102 | 9 | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1208.15/1208.40 c 1208s| 2310k|120287 | 30976k| 13.4 | 466M| 102 | - | 200 |3113 | 200 | 212 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1212.65/1212.96 c 1213s| 2320k|120475 | 31087k| 13.4 | 467M| 102 | 18 | 200 |3113 | 200 | 217 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1217.35/1217.61 c 1218s| 2330k|120601 | 31200k| 13.4 | 467M| 102 | - | 200 |3113 | 200 | 214 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1221.94/1222.26 c 1222s| 2340k|120719 | 31312k| 13.4 | 468M| 103 | - | 200 |3113 | 200 | 237 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1226.65/1226.92 c 1227s| 2350k|120871 | 31425k| 13.4 | 469M| 103 | - | 200 |3113 | 200 | 236 | 20M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1231.14/1231.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.14/1231.49 c 1231s| 2360k|120931 | 31533k| 13.4 | 469M| 103 | - | 200 |3113 | 200 | 242 | 20M| 0 | 23k|-3.694915e+01 |-3.000000e+01 | 18.81%
1235.75/1236.04 c 1236s| 2370k|120943 | 31641k| 13.3 | 470M| 103 | - | 200 |3113 | 200 | 221 | 20M| 0 | 23k|-3.692857e+01 |-3.000000e+01 | 18.76%
1240.35/1240.63 c 1241s| 2380k|121037 | 31749k| 13.3 | 470M| 103 | - | 200 |3113 | 200 | 223 | 20M| 0 | 23k|-3.690909e+01 |-3.000000e+01 | 18.72%
1244.85/1245.17 c 1245s| 2390k|121107 | 31857k| 13.3 | 471M| 103 | - | 200 |3113 | 200 | 229 | 20M| 0 | 23k|-3.688889e+01 |-3.000000e+01 | 18.67%
1249.35/1249.67 c 1250s| 2400k|121177 | 31961k| 13.3 | 471M| 103 | 45 | 200 |3113 | 200 | 216 | 20M| 0 | 23k|-3.687500e+01 |-3.000000e+01 | 18.64%
1253.95/1254.23 c 1254s| 2410k|121269 | 32069k| 13.3 | 472M| 103 | - | 200 |3113 | 200 | 217 | 20M| 0 | 23k|-3.685714e+01 |-3.000000e+01 | 18.60%
1258.54/1258.80 c 1259s| 2420k|121311 | 32178k| 13.3 | 472M| 104 | - | 200 |3113 | 200 | 262 | 20M| 0 | 23k|-3.683721e+01 |-3.000000e+01 | 18.56%
1263.04/1263.33 c 1263s| 2430k|121331 | 32285k| 13.3 | 473M| 104 | - | 200 |3113 | 200 | 231 | 20M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1267.44/1267.74 c 1268s| 2440k|121429 | 32388k| 13.3 | 473M| 104 | 57 | 200 |3113 | 200 | 238 | 20M| 0 | 23k|-3.681818e+01 |-3.000000e+01 | 18.52%
1271.94/1272.24 c 1272s| 2450k|121535 | 32494k| 13.3 | 474M| 104 | 39 | 200 |3113 | 200 | 226 | 20M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1276.44/1276.73 c 1277s| 2460k|121621 | 32600k| 13.2 | 474M| 104 | 40 | 200 |3113 | 200 | 224 | 20M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1280.84/1281.17 c 1281s| 2470k|121625 | 32703k| 13.2 | 475M| 104 | 36 | 200 |3113 | 200 | 200 | 20M| 0 | 23k|-3.677778e+01 |-3.000000e+01 | 18.43%
1285.43/1285.71 c 1286s| 2480k|121685 | 32810k| 13.2 | 475M| 104 | - | 200 |3113 | 200 | 251 | 20M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1289.94/1290.23 c 1290s| 2490k|121751 | 32918k| 13.2 | 476M| 104 | - | 200 |3113 | 200 | 220 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1294.45/1294.75 c 1295s| 2500k|121799 | 33024k| 13.2 | 476M| 104 | - | 200 |3113 | 200 | 200 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1298.94/1299.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.94/1299.23 c 1299s| 2510k|121861 | 33130k| 13.2 | 477M| 104 | - | 200 |3113 | 200 | 246 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1303.43/1303.76 c 1304s| 2520k|121959 | 33236k| 13.2 | 477M| 104 | 66 | 200 |3113 | 200 | 245 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1307.94/1308.29 c 1308s| 2530k|122037 | 33343k| 13.2 | 478M| 104 | 45 | 200 |3113 | 200 | 210 | 21M| 0 | 23k|-3.672727e+01 |-3.000000e+01 | 18.32%
1312.44/1312.75 c 1313s| 2540k|122111 | 33448k| 13.2 | 478M| 104 | - | 200 |3113 | 200 | 236 | 21M| 0 | 23k|-3.671429e+01 |-3.000000e+01 | 18.29%
1316.93/1317.24 c 1317s| 2550k|122129 | 33552k| 13.2 | 478M| 104 | 38 | 200 |3113 | 200 | 218 | 21M| 0 | 23k|-3.669697e+01 |-3.000000e+01 | 18.25%
1321.44/1321.71 c 1322s| 2560k|122175 | 33658k| 13.1 | 479M| 104 | - | 200 |3113 | 200 | 244 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1325.83/1326.19 c 1326s| 2570k|122205 | 33763k| 13.1 | 479M| 104 | 22 | 200 |3113 | 200 | 215 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1330.33/1330.62 c 1331s| 2580k|122237 | 33867k| 13.1 | 480M| 104 | 14 | 200 |3113 | 200 | 200 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1334.83/1335.14 c 1335s| 2590k|122343 | 33973k| 13.1 | 480M| 104 | - | 200 |3113 | 200 | 215 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1339.33/1339.67 c 1340s| 2600k|122429 | 34080k| 13.1 | 481M| 104 | - | 200 |3113 | 200 | 222 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1343.93/1344.21 c 1344s| 2610k|122537 | 34188k| 13.1 | 481M| 104 | - | 200 |3113 | 200 | 221 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1348.42/1348.74 c 1349s| 2620k|122607 | 34294k| 13.1 | 482M| 104 | 8 | 200 |3113 | 200 | 218 | 22M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1352.83/1353.14 c 1353s| 2630k|122643 | 34397k| 13.1 | 482M| 104 | - | 200 |3113 | 200 | 217 | 22M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1357.22/1357.57 c 1358s| 2640k|122689 | 34499k| 13.1 | 483M| 104 | - | 200 |3113 | 200 | 219 | 22M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1361.72/1362.04 c 1362s| 2650k|122749 | 34604k| 13.1 | 483M| 104 | - | 200 |3113 | 200 | 245 | 22M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1366.12/1366.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.12/1366.46 c 1366s| 2660k|122689 | 34705k| 13.0 | 483M| 104 | 39 | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.657143e+01 |-3.000000e+01 | 17.97%
1370.52/1370.89 c 1371s| 2670k|122705 | 34808k| 13.0 | 483M| 104 | - | 200 |3113 | 200 | 252 | 22M| 0 | 24k|-3.655556e+01 |-3.000000e+01 | 17.93%
1375.03/1375.35 c 1375s| 2680k|122739 | 34912k| 13.0 | 484M| 104 | - | 200 |3113 | 200 | 216 | 22M| 0 | 24k|-3.653333e+01 |-3.000000e+01 | 17.88%
1379.52/1379.87 c 1380s| 2690k|122763 | 35017k| 13.0 | 484M| 104 | 33 | 200 |3113 | 200 | 222 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1383.92/1384.29 c 1384s| 2700k|122809 | 35121k| 13.0 | 485M| 104 | - | 200 |3113 | 200 | 235 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1388.42/1388.71 c 1389s| 2710k|122843 | 35224k| 13.0 | 485M| 104 | 14 | 200 |3113 | 200 | 211 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1392.82/1393.14 c 1393s| 2720k|122843 | 35329k| 13.0 | 485M| 104 | - | 200 |3113 | 200 | 241 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1397.22/1397.53 c 1398s| 2730k|122797 | 35429k| 13.0 | 485M| 104 | 38 | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1401.62/1401.92 c 1402s| 2740k|122801 | 35531k| 13.0 | 486M| 104 | - | 200 |3113 | 200 | 214 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1406.02/1406.32 c 1406s| 2750k|122783 | 35632k| 13.0 | 486M| 104 | - | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1410.41/1410.73 c 1411s| 2760k|122769 | 35734k| 12.9 | 486M| 104 | 44 | 200 |3113 | 200 | 214 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1414.82/1415.17 c 1415s| 2770k|122785 | 35836k| 12.9 | 486M| 104 | - | 200 |3113 | 200 | 212 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1419.21/1419.50 c 1419s| 2780k|122797 | 35937k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 224 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1423.52/1423.89 c 1424s| 2790k|122789 | 36037k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 251 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1427.81/1428.19 c 1428s| 2800k|122827 | 36136k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 212 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1432.32/1432.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.32/1432.64 c 1433s| 2810k|122805 | 36238k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 243 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1436.71/1437.02 c 1437s| 2820k|122825 | 36340k| 12.9 | 488M| 104 | 28 | 200 |3113 | 200 | 200 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1441.11/1441.42 c 1441s| 2830k|122909 | 36443k| 12.9 | 488M| 104 | - | 200 |3113 | 200 | 219 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1445.41/1445.77 c 1446s| 2840k|122939 | 36543k| 12.9 | 488M| 104 | 29 | 200 |3113 | 200 | 216 | 23M| 0 | 25k|-3.648077e+01 |-3.000000e+01 | 17.76%
1449.81/1450.19 c 1450s| 2850k|122977 | 36645k| 12.9 | 489M| 104 | - | 200 |3113 | 200 | 232 | 23M| 0 | 25k|-3.644898e+01 |-3.000000e+01 | 17.69%
1454.31/1454.64 c 1455s| 2860k|123005 | 36748k| 12.8 | 489M| 104 | 39 | 200 |3113 | 200 | 217 | 23M| 0 | 25k|-3.642857e+01 |-3.000000e+01 | 17.65%
1458.71/1459.09 c 1459s| 2870k|123005 | 36850k| 12.8 | 489M| 104 | 5 | 200 |3113 | 200 | 215 | 23M| 0 | 25k|-3.641667e+01 |-3.000000e+01 | 17.62%
1463.11/1463.47 c 1463s| 2880k|122965 | 36950k| 12.8 | 489M| 104 | 23 | 200 |3113 | 200 | 215 | 23M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1467.51/1467.82 c 1468s| 2890k|122977 | 37050k| 12.8 | 490M| 104 | 61 | 200 |3113 | 200 | 217 | 23M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1471.90/1472.22 c 1472s| 2900k|122957 | 37151k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 216 | 23M| 0 | 25k|-3.637714e+01 |-3.000000e+01 | 17.53%
1476.31/1476.60 c 1477s| 2910k|122985 | 37252k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 236 | 24M| 0 | 25k|-3.637500e+01 |-3.000000e+01 | 17.53%
1480.61/1480.96 c 1481s| 2920k|122983 | 37352k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 230 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1485.00/1485.34 c 1485s| 2930k|123021 | 37454k| 12.8 | 491M| 104 | - | 200 |3113 | 200 | 252 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1489.40/1489.70 c 1490s| 2940k|123003 | 37553k| 12.8 | 491M| 104 | 6 | 200 |3113 | 200 | 233 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1493.81/1494.10 c 1494s| 2950k|123009 | 37654k| 12.8 | 491M| 104 | - | 200 |3113 | 200 | 249 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1498.11/1498.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.11/1498.47 c 1498s| 2960k|123083 | 37754k| 12.8 | 492M| 104 | - | 200 |3113 | 200 | 251 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1502.51/1502.85 c 1503s| 2970k|123049 | 37855k| 12.7 | 492M| 104 | - | 200 |3113 | 200 | 243 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1506.91/1507.28 c 1507s| 2980k|123049 | 37958k| 12.7 | 492M| 104 | - | 200 |3113 | 200 | 212 | 24M| 0 | 25k|-3.630435e+01 |-3.000000e+01 | 17.37%
1511.31/1511.60 c 1512s| 2990k|123095 | 38057k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 224 | 24M| 0 | 25k|-3.628571e+01 |-3.000000e+01 | 17.32%
1515.60/1515.99 c 1516s| 3000k|123131 | 38157k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 220 | 24M| 0 | 25k|-3.627273e+01 |-3.000000e+01 | 17.29%
1520.00/1520.35 c 1520s| 3010k|123203 | 38256k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 216 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1524.31/1524.66 c 1525s| 3020k|123133 | 38355k| 12.7 | 493M| 104 | 40 | 200 |3113 | 200 | 218 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1528.61/1528.98 c 1529s| 3030k|123157 | 38453k| 12.7 | 494M| 104 | 14 | 200 |3113 | 200 | 211 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1532.80/1533.17 c 1533s| 3040k|123181 | 38549k| 12.7 | 494M| 104 | 22 | 200 |3113 | 200 | 229 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1533.11/1533.44 o -31
1533.11/1533.44 c *1533s| 3040k| 95158 | 38552k| 12.7 | 398M| 104 | - | 200 |3113 | 200 | 228 | 24M| 0 | 25k|-3.625000e+01 |-3.100000e+01 | 14.48%
1537.40/1537.74 c 1538s| 3050k| 94904 | 38641k| 12.7 | 397M| 104 | 47 | 200 |3113 | 200 | 200 | 24M| 0 | 25k|-3.625000e+01 |-3.100000e+01 | 14.48%
1541.70/1542.05 c 1542s| 3060k| 94704 | 38735k| 12.7 | 397M| 104 | 11 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.623333e+01 |-3.100000e+01 | 14.44%
1545.90/1546.27 c 1546s| 3070k| 94470 | 38824k| 12.6 | 396M| 104 | - | 200 |3113 | 200 | 200 | 25M| 0 | 25k|-3.620588e+01 |-3.100000e+01 | 14.38%
1550.20/1550.51 c 1551s| 3080k| 94228 | 38916k| 12.6 | 396M| 104 | 51 | 200 |3113 | 200 | 251 | 25M| 0 | 25k|-3.620000e+01 |-3.100000e+01 | 14.36%
1554.50/1554.80 c 1555s| 3090k| 93966 | 39009k| 12.6 | 395M| 104 | 34 | 200 |3113 | 200 | 212 | 25M| 0 | 25k|-3.619048e+01 |-3.100000e+01 | 14.34%
1558.70/1559.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.70/1559.08 c 1559s| 3100k| 93742 | 39100k| 12.6 | 395M| 104 | 36 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1562.90/1563.25 c 1563s| 3110k| 93514 | 39190k| 12.6 | 394M| 104 | - | 200 |3113 | 200 | 214 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1567.10/1567.47 c 1567s| 3120k| 93290 | 39282k| 12.6 | 394M| 104 | 26 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1571.40/1571.76 c 1572s| 3130k| 93012 | 39375k| 12.6 | 393M| 104 | 17 | 200 |3113 | 200 | 200 | 25M| 0 | 26k|-3.614286e+01 |-3.100000e+01 | 14.23%
1575.59/1575.91 c 1576s| 3140k| 92712 | 39463k| 12.6 | 392M| 104 | 24 | 200 |3113 | 200 | 210 | 25M| 0 | 26k|-3.612500e+01 |-3.100000e+01 | 14.19%
1579.79/1580.12 c 1580s| 3150k| 92442 | 39552k| 12.6 | 392M| 104 | 26 | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.611765e+01 |-3.100000e+01 | 14.17%
1583.89/1584.28 c 1584s| 3160k| 92156 | 39642k| 12.5 | 391M| 104 | - | 200 |3113 | 200 | 237 | 25M| 0 | 26k|-3.610000e+01 |-3.100000e+01 | 14.13%
1588.19/1588.55 c 1589s| 3170k| 91914 | 39733k| 12.5 | 391M| 104 | 65 | 200 |3113 | 200 | 252 | 25M| 0 | 26k|-3.608333e+01 |-3.100000e+01 | 14.09%
1592.40/1592.77 c 1593s| 3180k| 91694 | 39825k| 12.5 | 390M| 104 | - | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.607143e+01 |-3.100000e+01 | 14.06%
1596.69/1597.05 c 1597s| 3190k| 91486 | 39918k| 12.5 | 390M| 104 | 51 | 200 |3113 | 200 | 216 | 25M| 0 | 26k|-3.604167e+01 |-3.100000e+01 | 13.99%
1600.89/1601.26 c 1601s| 3200k| 91226 | 40009k| 12.5 | 389M| 104 | - | 200 |3113 | 200 | 229 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1605.19/1605.54 c 1606s| 3210k| 91060 | 40103k| 12.5 | 389M| 104 | - | 200 |3113 | 200 | 209 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1609.39/1609.76 c 1610s| 3220k| 90836 | 40195k| 12.5 | 388M| 104 | 9 | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1613.58/1613.95 c 1614s| 3230k| 90588 | 40286k| 12.5 | 388M| 104 | 27 | 200 |3113 | 200 | 214 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1617.69/1618.09 c 1618s| 3240k| 90318 | 40375k| 12.5 | 387M| 104 | 16 | 200 |3113 | 200 | 232 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1621.98/1622.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.98/1622.32 c 1622s| 3250k| 90100 | 40466k| 12.4 | 387M| 104 | - | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1626.09/1626.47 c 1626s| 3260k| 89840 | 40556k| 12.4 | 386M| 104 | - | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1630.29/1630.66 c 1631s| 3270k| 89606 | 40646k| 12.4 | 386M| 104 | 14 | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1634.48/1634.83 c 1635s| 3280k| 89342 | 40736k| 12.4 | 385M| 104 | 32 | 200 |3113 | 200 | 212 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1638.69/1639.02 c 1639s| 3290k| 89136 | 40825k| 12.4 | 385M| 104 | - | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1642.78/1643.17 c 1643s| 3300k| 88936 | 40915k| 12.4 | 384M| 104 | - | 200 |3113 | 200 | 211 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1646.98/1647.31 c 1647s| 3310k| 88698 | 41005k| 12.4 | 384M| 104 | 52 | 200 |3113 | 200 | 246 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1651.08/1651.48 c 1651s| 3320k| 88518 | 41096k| 12.4 | 383M| 104 | - | 200 |3113 | 200 | 210 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1655.28/1655.62 c 1656s| 3330k| 88244 | 41184k| 12.4 | 383M| 104 | - | 200 |3113 | 200 | 213 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1659.49/1659.86 c 1660s| 3340k| 88028 | 41277k| 12.4 | 382M| 104 | 34 | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1663.58/1663.99 c 1664s| 3350k| 87832 | 41366k| 12.3 | 382M| 104 | - | 200 |3113 | 200 | 248 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1667.78/1668.15 c 1668s| 3360k| 87630 | 41456k| 12.3 | 381M| 104 | 22 | 200 |3113 | 200 | 213 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1671.97/1672.33 c 1672s| 3370k| 87422 | 41547k| 12.3 | 381M| 104 | 45 | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1676.17/1676.57 c 1677s| 3380k| 87242 | 41639k| 12.3 | 381M| 104 | - | 200 |3113 | 200 | 243 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1680.47/1680.88 c 1681s| 3390k| 87090 | 41734k| 12.3 | 380M| 104 | - | 200 |3113 | 200 | 243 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1684.66/1685.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.66/1685.06 c 1685s| 3400k| 86888 | 41826k| 12.3 | 380M| 104 | 62 | 200 |3113 | 200 | 217 | 27M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1688.86/1689.24 c 1689s| 3410k| 86710 | 41917k| 12.3 | 380M| 104 | 39 | 200 |3113 | 200 | 214 | 27M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1692.97/1693.38 c 1693s| 3420k| 86468 | 42006k| 12.3 | 379M| 104 | 23 | 200 |3113 | 200 | 224 | 27M| 0 | 26k|-3.596296e+01 |-3.100000e+01 | 13.80%
1697.17/1697.54 c 1698s| 3430k| 86208 | 42095k| 12.3 | 378M| 104 | - | 200 |3113 | 200 | 215 | 27M| 0 | 26k|-3.592857e+01 |-3.100000e+01 | 13.72%
1701.27/1701.63 c 1702s| 3440k| 85956 | 42181k| 12.3 | 378M| 104 | 26 | 200 |3113 | 200 | 216 | 27M| 0 | 26k|-3.590909e+01 |-3.100000e+01 | 13.67%
1705.46/1705.83 c 1706s| 3450k| 85736 | 42270k| 12.2 | 377M| 104 | 35 | 200 |3113 | 200 | 216 | 27M| 0 | 26k|-3.588889e+01 |-3.100000e+01 | 13.62%
1709.57/1709.91 c 1710s| 3460k| 85502 | 42356k| 12.2 | 377M| 104 | 63 | 200 |3113 | 200 | 222 | 27M| 0 | 27k|-3.587500e+01 |-3.100000e+01 | 13.59%
1713.67/1714.06 c 1714s| 3470k| 85254 | 42445k| 12.2 | 376M| 104 | 29 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.585714e+01 |-3.100000e+01 | 13.55%
1717.77/1718.17 c 1718s| 3480k| 85020 | 42532k| 12.2 | 376M| 104 | - | 200 |3113 | 200 | 241 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1721.96/1722.34 c 1722s| 3490k| 84760 | 42622k| 12.2 | 375M| 104 | 29 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1726.06/1726.47 c 1726s| 3500k| 84498 | 42710k| 12.2 | 374M| 104 | 39 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1730.16/1730.55 c 1731s| 3510k| 84248 | 42797k| 12.2 | 374M| 104 | 40 | 200 |3113 | 200 | 223 | 27M| 0 | 27k|-3.580645e+01 |-3.100000e+01 | 13.42%
1734.37/1734.72 c 1735s| 3520k| 83958 | 42886k| 12.2 | 373M| 104 | - | 200 |3113 | 200 | 255 | 27M| 0 | 27k|-3.580000e+01 |-3.100000e+01 | 13.41%
1738.36/1738.76 c 1739s| 3530k| 83700 | 42971k| 12.2 | 372M| 104 | - | 200 |3113 | 200 | 239 | 27M| 0 | 27k|-3.580000e+01 |-3.100000e+01 | 13.41%
1742.45/1742.88 c 1743s| 3540k| 83432 | 43058k| 12.2 | 372M| 104 | - | 200 |3113 | 200 | 258 | 27M| 0 | 27k|-3.576923e+01 |-3.100000e+01 | 13.33%
1746.66/1747.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1746.66/1747.06 c 1747s| 3550k| 83166 | 43148k| 12.2 | 371M| 110 | - | 200 |3113 | 200 | 224 | 27M| 0 | 27k|-3.575000e+01 |-3.100000e+01 | 13.29%
1750.76/1751.19 c 1751s| 3560k| 82922 | 43236k| 12.1 | 371M| 110 | 49 | 200 |3113 | 200 | 217 | 27M| 0 | 27k|-3.575000e+01 |-3.100000e+01 | 13.29%
1754.96/1755.32 c 1755s| 3570k| 82694 | 43324k| 12.1 | 370M| 110 | - | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.575000e+01 |-3.100000e+01 | 13.29%
1758.95/1759.38 c 1759s| 3580k| 82446 | 43411k| 12.1 | 369M| 110 | 48 | 200 |3113 | 200 | 216 | 27M| 0 | 27k|-3.575000e+01 |-3.100000e+01 | 13.29%
1763.05/1763.48 c 1763s| 3590k| 82168 | 43499k| 12.1 | 369M| 110 | 26 | 200 |3113 | 200 | 214 | 28M| 0 | 27k|-3.575000e+01 |-3.100000e+01 | 13.29%
1767.16/1767.56 c 1768s| 3600k| 81920 | 43585k| 12.1 | 368M| 110 | - | 200 |3113 | 200 | 236 | 28M| 0 | 27k|-3.572727e+01 |-3.100000e+01 | 13.23%
1771.36/1771.72 c 1772s| 3610k| 81698 | 43674k| 12.1 | 368M| 110 | 46 | 200 |3113 | 200 | 213 | 28M| 0 | 27k|-3.571429e+01 |-3.100000e+01 | 13.20%
1775.45/1775.81 c 1776s| 3620k| 81460 | 43760k| 12.1 | 367M| 110 | 7 | 200 |3113 | 200 | 214 | 28M| 0 | 27k|-3.569231e+01 |-3.100000e+01 | 13.15%
1779.46/1779.88 c 1780s| 3630k| 81228 | 43847k| 12.1 | 367M| 110 | - | 200 |3113 | 200 | 233 | 28M| 0 | 27k|-3.566667e+01 |-3.100000e+01 | 13.08%
1783.55/1783.95 c 1784s| 3640k| 81012 | 43934k| 12.1 | 366M| 110 | 61 | 200 |3113 | 200 | 215 | 28M| 0 | 27k|-3.566667e+01 |-3.100000e+01 | 13.08%
1787.65/1788.05 c 1788s| 3650k| 80752 | 44021k| 12.1 | 366M| 110 | 49 | 200 |3113 | 200 | 214 | 28M| 0 | 27k|-3.566667e+01 |-3.100000e+01 | 13.08%
1791.75/1792.17 c 1792s| 3660k| 80520 | 44111k| 12.0 | 365M| 110 | 14 | 200 |3113 | 200 | 216 | 28M| 0 | 27k|-3.566667e+01 |-3.100000e+01 | 13.08%
1795.96/1796.32 c 1796s| 3670k| 80286 | 44200k| 12.0 | 365M| 110 | - | 200 |3113 | 200 | 223 | 28M| 0 | 27k|-3.566667e+01 |-3.100000e+01 | 13.08%
1796.65/1797.00 c
1796.65/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.00 c Solving Time (sec) : 1797.00
1796.65/1797.00 c Solving Nodes : 3671696
1796.65/1797.00 c Primal Bound : -3.10000000000000e+01 (574 solutions)
1796.65/1797.00 c Dual Bound : -3.56666666666667e+01
1796.65/1797.00 c Gap : 13.08 %
1796.65/1797.00 s SATISFIABLE
1796.65/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
1796.65/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
1796.65/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
1796.65/1797.00 v -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1796.65/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
1796.65/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
1796.65/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
1796.65/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
1796.65/1797.00 v -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.65/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.00 c Total Time : 1797.00
1796.65/1797.00 c solving : 1797.00
1796.65/1797.00 c presolving : 0.07 (included in solving)
1796.65/1797.00 c reading : 0.02 (included in solving)
1796.65/1797.00 c Original Problem :
1796.65/1797.00 c Problem name : HOME/instance-3737230-1338725543.opb
1796.65/1797.00 c Variables : 3313 (3313 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.00 c Constraints : 3513 initial, 3513 maximal
1796.65/1797.00 c Presolved Problem :
1796.65/1797.00 c Problem name : t_HOME/instance-3737230-1338725543.opb
1796.65/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.00 c Constraints : 3113 initial, 3113 maximal
1796.65/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.65/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1796.65/1797.00 c linear : 0.01 3113 0 0 3113 0 200 0 0 0
1796.65/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1796.65/1797.00 c root node : - 0 - - 0 - - - - -
1796.65/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.65/1797.00 c integral : 0 0 0 2868664 0 682708 0 269 1877 0 0 3823542
1796.65/1797.00 c setppc : 3113 66 5980338 955790 0 682704 150 27 20899859 28442411 0 0
1796.65/1797.00 c countsols : 0 0 0 6 0 570 0 0 0 0 0 0
1796.65/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.65/1797.00 c integral : 39.49 0.00 0.00 39.35 0.00 0.14 0.00
1796.65/1797.00 c setppc : 119.69 0.04 59.42 23.01 0.00 37.22 0.00
1796.65/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.65/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.65/1797.00 c vbounds : 0 0 0 0
1796.65/1797.00 c rootredcost : 11 0 0 0
1796.65/1797.00 c pseudoobj : 5987630 2 0 4
1796.65/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.65/1797.00 c vbounds : 0.88 0.88 0.00
1796.65/1797.00 c rootredcost : 1.00 1.00 0.00
1796.65/1797.00 c pseudoobj : 26.11 26.11 0.00
1796.65/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.65/1797.00 c propagation : 0.00 27 0 0 0.0 0 0.0 -
1796.65/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.00 c applied globally : - - - 0 0.0 - - -
1796.65/1797.00 c applied locally : - - - 0 0.0 - - -
1796.65/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.65/1797.00 c cut pool : 0.04 65 - - 204 - (maximal pool size: 2719)
1796.65/1797.01 c redcost : 16.12 3180291 0 581971 0 0
1796.65/1797.01 c impliedbounds : 0.01 66 0 0 1712 0
1796.65/1797.01 c intobj : 0.00 0 0 0 0 0
1796.65/1797.01 c gomory : 1.79 66 0 0 10836 0
1796.65/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.65/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.65/1797.01 c strongcg : 0.35 20 0 0 9144 0
1796.65/1797.01 c cmir : 0.07 10 0 0 0 0
1796.65/1797.01 c flowcover : 0.05 10 0 0 0 0
1796.65/1797.01 c clique : 0.17 66 0 0 566 0
1796.65/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.65/1797.01 c mcf : 0.00 1 0 0 0 0
1796.65/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.65/1797.01 c rapidlearning : 0.04 1 0 0 0 0
1796.65/1797.01 c Pricers : Time Calls Vars
1796.65/1797.01 c problem variables: 0.00 0 0
1796.65/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.65/1797.01 c relpscost : 38.19 1912874 269 1877 0 0 3823542
1796.65/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.65/1797.01 c inference : 0.00 0 0 0 0 0 0
1796.65/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.65/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.65/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.65/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.65/1797.01 c random : 0.00 0 0 0 0 0 0
1796.65/1797.01 c Primal Heuristics : Time Calls Found
1796.65/1797.01 c LP solutions : 0.30 - 6
1796.65/1797.01 c pseudo solutions : 0.00 - 0
1796.65/1797.01 c feaspump : 0.07 0 0
1796.65/1797.01 c intshifting : 0.03 0 0
1796.65/1797.01 c oneopt : 0.64 10 0
1796.65/1797.01 c crossover : 2.24 56 32
1796.65/1797.01 c guideddiving : 0.36 309 4
1796.65/1797.01 c objpscostdiving : 0.20 155 3
1796.65/1797.01 c rootsoldiving : 0.38 155 2
1796.65/1797.01 c linesearchdiving : 0.32 310 6
1796.65/1797.01 c coefdiving : 0.31 310 3
1796.65/1797.01 c fracdiving : 0.35 310 6
1796.65/1797.01 c veclendiving : 0.28 310 7
1796.65/1797.01 c pscostdiving : 0.31 310 7
1796.65/1797.01 c trivial : 0.00 2 1
1796.65/1797.01 c shiftandpropagate: 0.00 0 0
1796.65/1797.01 c simplerounding : 47.19 1916147 484
1796.65/1797.01 c zirounding : 0.65 1000 9
1796.65/1797.01 c rounding : 5.35 92791 2
1796.65/1797.01 c shifting : 0.66 8740 1
1796.65/1797.01 c twoopt : 0.00 0 0
1796.65/1797.01 c fixandinfer : 0.00 0 0
1796.65/1797.01 c clique : 0.00 0 0
1796.65/1797.01 c intdiving : 0.00 0 0
1796.65/1797.01 c actconsdiving : 0.00 0 0
1796.65/1797.01 c octane : 0.00 0 0
1796.65/1797.01 c rens : 0.01 0 0
1796.65/1797.01 c rins : 0.00 0 0
1796.65/1797.01 c localbranching : 0.00 0 0
1796.65/1797.01 c mutation : 0.00 0 0
1796.65/1797.01 c dins : 0.00 0 0
1796.65/1797.01 c vbounds : 0.00 0 0
1796.65/1797.01 c undercover : 0.01 1 0
1796.65/1797.01 c subnlp : 0.51 0 0
1796.65/1797.01 c trysol : 0.69 0 0
1796.65/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.65/1797.01 c primal LP : 28.63 0 0 0.00 0.00
1796.65/1797.01 c dual LP : 1149.15 4635132 44182178 9.53 38447.67
1796.65/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.65/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.65/1797.01 c diving/probing LP: 1.26 5873 33317 5.67 26378.36
1796.65/1797.01 c strong branching : 17.54 27679 473723 17.11 27009.53
1796.65/1797.01 c (at root node) : - 21 13100 623.81 -
1796.65/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.65/1797.01 c B&B Tree :
1796.65/1797.01 c number of runs : 1
1796.65/1797.01 c nodes : 3671696
1796.65/1797.01 c nodes (total) : 3671696
1796.65/1797.01 c nodes left : 80252
1796.65/1797.01 c max depth : 110
1796.65/1797.01 c max depth (total): 110
1796.65/1797.01 c backtracks : 441757 (12.0%)
1796.65/1797.01 c delayed cutoffs : 0
1796.65/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.65/1797.01 c avg switch length: 5.39
1796.65/1797.01 c switching time : 152.20
1796.65/1797.01 c Solution :
1796.65/1797.01 c Solutions found : 574 (15 improvements)
1796.65/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.65/1797.01 c Primal Bound : -3.10000000000000e+01 (in run 1, after 3040268 nodes, 1533.29 seconds, depth 49, found by <relaxation>)
1796.65/1797.01 c Dual Bound : -3.56666666666667e+01
1796.65/1797.01 c Gap : 13.08 %
1796.65/1797.01 c Root Dual Bound : -4.87903205214567e+01
1796.65/1797.01 c Root Iterations : 11975
1797.15/1797.55 c Time complete: 1797.2.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737230-1338725543/watcher-3737230-1338725543 -o /tmp/evaluation-result-3737230-1338725543/solver-3737230-1338725543 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737230-1338725543.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16108
/proc/meminfo: memFree=28250084/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 1504 0 0 0 0 0 0 0 20 0 1 0 338678600 9818112 1460 33554432000 4194304 9016284 140735280487296 140736301565592 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 2397 1460 311 1178 0 1215 0
[startup+0.0417421 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16108
/proc/meminfo: memFree=28250084/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=27176 CPUtime=0.03 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 5521 0 0 0 3 0 0 0 20 0 1 0 338678600 27828224 5476 33554432000 4194304 9016284 140735280487296 140736301565592 6816842 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 6794 5484 480 1178 0 5612 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27176
[startup+0.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16108
/proc/meminfo: memFree=28250084/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=31060 CPUtime=0.08 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 6792 0 0 0 8 0 0 0 20 0 1 0 338678600 31805440 6490 33554432000 4194304 9016284 140735280487296 140736301565592 4347916 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 7765 6490 521 1178 0 6583 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31060
[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16108
/proc/meminfo: memFree=28250084/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=37224 CPUtime=0.29 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 14925 0 0 0 27 2 0 0 20 0 1 0 338678600 38117376 8166 33554432000 4194304 9016284 140735280487296 140736301565592 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 9306 8166 688 1178 0 8124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37224
[startup+0.700211 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16108
/proc/meminfo: memFree=28250084/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=44016 CPUtime=0.69 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 16668 0 0 0 67 2 0 0 20 0 1 0 338678600 45072384 9909 33554432000 4194304 9016284 140735280487296 140735280482408 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 11004 9909 689 1178 0 9822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44016
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16109
/proc/meminfo: memFree=28211264/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=53644 CPUtime=1.49 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 19117 0 0 0 146 3 0 0 20 0 1 0 338678600 54931456 12344 33554432000 4194304 9016284 140735280487296 140735280482456 6235199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 13411 12344 691 1178 0 12229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53644
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16109
/proc/meminfo: memFree=28201964/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=55076 CPUtime=3.09 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 19529 0 0 0 304 5 0 0 20 0 1 0 338678600 56397824 12735 33554432000 4194304 9016284 140735280487296 140735280482408 5516146 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 13769 12735 692 1178 0 12587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55076
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16109
/proc/meminfo: memFree=28200228/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=55076 CPUtime=6.29 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 21341 0 0 0 617 12 0 0 20 0 1 0 338678600 56397824 12791 33554432000 4194304 9016284 140735280487296 140735280481432 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 13769 12791 698 1178 0 12587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55076
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16109
/proc/meminfo: memFree=28197548/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=59024 CPUtime=12.68 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 32560 0 0 0 1238 30 0 0 20 0 1 0 338678600 60440576 13724 33554432000 4194304 9016284 140735280487296 140735280481464 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16108/statm: 14756 13724 701 1178 0 13574 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59024
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16109
/proc/meminfo: memFree=28182932/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=73736 CPUtime=25.48 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 57301 0 0 0 2476 72 0 0 20 0 1 0 338678600 75505664 17346 33554432000 4194304 9016284 140735280487296 140735280481624 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 18434 17346 704 1178 0 17252 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73736
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16109
/proc/meminfo: memFree=28157492/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=97936 CPUtime=51.07 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 102193 0 0 0 4955 152 0 0 20 0 1 0 338678600 100286464 23539 33554432000 4194304 9016284 140735280487296 140735280481624 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 24484 23539 704 1178 0 23302 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97936
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16148
/proc/meminfo: memFree=28147072/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=148736 CPUtime=102.24 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 129007 0 0 0 9921 303 0 0 20 0 1 0 338678600 152305664 36232 33554432000 4194304 9016284 140735280487296 140735280481160 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 37184 36232 705 1178 0 36002 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 148736
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16148
/proc/meminfo: memFree=28030372/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=205404 CPUtime=162.23 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 146804 0 0 0 15736 487 0 0 20 0 1 0 338678600 210333696 50506 33554432000 4194304 9016284 140735280487296 140735280481160 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 51351 50506 705 1178 0 50169 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 205404
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16148
/proc/meminfo: memFree=27923636/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=254060 CPUtime=222.22 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 161128 0 0 0 21547 675 0 0 20 0 1 0 338678600 260157440 62726 33554432000 4194304 9016284 140735280487296 140735280482408 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 63515 62726 705 1178 0 62333 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 254060
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16148
/proc/meminfo: memFree=27828412/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=305960 CPUtime=282.21 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 173657 0 0 0 27368 853 0 0 20 0 1 0 338678600 313303040 75255 33554432000 4194304 9016284 140735280487296 140735280481256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 76490 75255 705 1178 0 75308 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 305960
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16148
/proc/meminfo: memFree=27738260/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=346920 CPUtime=342.2 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 187473 0 0 0 33190 1030 0 0 20 0 1 0 338678600 355246080 85553 33554432000 4194304 9016284 140735280487296 140735280482408 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 86730 85553 705 1178 0 85548 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 346920
[startup+402.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 16149
/proc/meminfo: memFree=27657264/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=384960 CPUtime=402.19 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 197034 0 0 0 39003 1216 0 0 20 0 1 0 338678600 394199040 95121 33554432000 4194304 9016284 140735280487296 140735280481464 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 96240 95121 705 1178 0 95058 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 384960
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 16152
/proc/meminfo: memFree=27611992/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=390592 CPUtime=462.17 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 249991 0 0 0 44815 1402 0 0 20 0 1 0 338678600 399966208 96617 33554432000 4194304 9016284 140735280487296 140735280481464 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 97648 96617 705 1178 0 96466 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 390592
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16152
/proc/meminfo: memFree=27565372/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=396732 CPUtime=522.17 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 258503 0 0 0 50637 1580 0 0 20 0 1 0 338678600 406253568 98072 33554432000 4194304 9016284 140735280487296 140735280482408 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 99183 98072 705 1178 0 98001 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 396732
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16152
/proc/meminfo: memFree=27517384/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=403896 CPUtime=582.16 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 263831 0 0 0 56456 1760 0 0 20 0 1 0 338678600 413589504 99871 33554432000 4194304 9016284 140735280487296 140735280481208 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 100974 99871 705 1178 0 99792 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 403896
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27381396/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=500564 CPUtime=1062.08 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 293726 0 0 0 103037 3171 0 0 20 0 1 0 338678600 512577536 124063 33554432000 4194304 9016284 140735280487296 140735280481464 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 125141 124063 705 1178 0 123959 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 500564
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16157
/proc/meminfo: memFree=27374284/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=506388 CPUtime=1122.06 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 295154 0 0 0 108863 3343 0 0 20 0 1 0 338678600 518541312 125540 33554432000 4194304 9016284 140735280487296 140735280481880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 126597 125540 705 1178 0 125415 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 506388
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16157
/proc/meminfo: memFree=27365976/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=514644 CPUtime=1182.06 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 297215 0 0 0 114692 3514 0 0 20 0 1 0 338678600 526995456 127601 33554432000 4194304 9016284 140735280487296 140735280481880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 128661 127601 705 1178 0 127479 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 514644
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16157
/proc/meminfo: memFree=27357544/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=521752 CPUtime=1242.05 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 302596 0 0 0 120512 3693 0 0 20 0 1 0 338678600 534274048 129377 33554432000 4194304 9016284 140735280487296 140735280481624 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 130438 129377 705 1178 0 129256 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 521752
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16157
/proc/meminfo: memFree=27351220/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=527960 CPUtime=1302.04 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 304156 0 0 0 126344 3860 0 0 20 0 1 0 338678600 540631040 130937 33554432000 4194304 9016284 140735280487296 140735280481464 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 131990 130937 705 1178 0 130808 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 527960
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16158
/proc/meminfo: memFree=27345692/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=533144 CPUtime=1362.03 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 305448 0 0 0 132177 4026 0 0 20 0 1 0 338678600 545939456 132229 33554432000 4194304 9016284 140735280487296 140735280482408 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 133286 132229 705 1178 0 132104 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 533144
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16158
/proc/meminfo: memFree=27341600/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=536280 CPUtime=1422.02 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 306242 0 0 0 138013 4189 0 0 20 0 1 0 338678600 549150720 133023 33554432000 4194304 9016284 140735280487296 140735280481464 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 134070 133023 705 1178 0 132888 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 536280
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16158
/proc/meminfo: memFree=27337508/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=540372 CPUtime=1482.01 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 307263 0 0 0 143844 4357 0 0 20 0 1 0 338678600 553340928 134044 33554432000 4194304 9016284 140735280487296 140735280481256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135093 134044 705 1178 0 133911 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 540372
[startup+1542.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 16158
/proc/meminfo: memFree=27334036/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1542 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 329202 0 0 0 149668 4532 0 0 20 0 1 0 338678600 556027904 134771 33554432000 4194304 9016284 140735280487296 140735280482408 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134771 705 1178 0 134567 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 542996
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 16158
/proc/meminfo: memFree=27333664/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1601.99 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 339730 0 0 0 155506 4693 0 0 20 0 1 0 338678600 556027904 134773 33554432000 4194304 9016284 140735280487296 140735280481304 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134773 705 1178 0 134567 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 542996
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 16162
/proc/meminfo: memFree=27333060/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1661.98 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 343238 0 0 0 161339 4859 0 0 20 0 1 0 338678600 556027904 134774 33554432000 4194304 9016284 140735280487296 140735280481160 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134774 705 1178 0 134567 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 542996
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 16162
/proc/meminfo: memFree=27333376/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1721.96 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 346773 0 0 0 167181 5015 0 0 20 0 1 0 338678600 556027904 134774 33554432000 4194304 9016284 140735280487296 140735280481624 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134774 705 1178 0 134567 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 542996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16162
/proc/meminfo: memFree=27333252/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1781.95 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 346773 0 0 0 173015 5180 0 0 20 0 1 0 338678600 556027904 134774 33554432000 4194304 9016284 140735280487296 140735280481256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134774 705 1178 0 134567 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 542996
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16162
/proc/meminfo: memFree=27333376/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1785.15 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 346773 0 0 0 173326 5189 0 0 20 0 1 0 338678600 556027904 134774 33554432000 4194304 9016284 140735280487296 140735280481624 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134774 705 1178 0 134567 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 542996
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16162
/proc/meminfo: memFree=27333500/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1791.56 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 346773 0 0 0 173950 5206 0 0 20 0 1 0 338678600 556027904 134774 33554432000 4194304 9016284 140735280487296 140735280480712 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134774 705 1178 0 134567 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 542996
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16162
/proc/meminfo: memFree=27333500/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1794.76 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 346773 0 0 0 174262 5214 0 0 20 0 1 0 338678600 556027904 134774 33554432000 4194304 9016284 140735280487296 140735280481624 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134774 705 1178 0 134567 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 542996
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16162
/proc/meminfo: memFree=27333500/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1796.35 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 346773 0 0 0 174417 5218 0 0 20 0 1 0 338678600 556027904 134774 33554432000 4194304 9016284 140735280487296 140735280481624 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134774 705 1178 0 134567 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 542996
[startup+1797.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16162
/proc/meminfo: memFree=27333500/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1796.75 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 346775 0 0 0 174456 5219 0 0 20 0 1 0 338678600 556027904 134776 33554432000 4194304 9016284 140735280487296 140735280483112 6817713 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134776 707 1178 0 134567 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 542996
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16162
/proc/meminfo: memFree=27333500/32873844 swapFree=7632/7632
[pid=16108] ppid=16106 vsize=542996 CPUtime=1797.15 cores=0,2,4,6
/proc/16108/stat : 16108 (scip-2.0.1.4b_2) R 16106 16108 12480 0 -1 4202496 346775 0 0 0 174496 5219 0 0 20 0 1 0 338678600 556027904 134776 33554432000 4194304 9016284 140735280487296 140735280483112 4897769 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16108/statm: 135749 134776 707 1178 0 134567 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 542996
Child status: 0
Real time (s): 1797.56
CPU time (s): 1797.22
CPU user time (s): 1745.02
CPU system time (s): 52.2001
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 553728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.02
system time used= 52.2001
maximum resident set size= 553384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346780
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= 89
involuntary context switches= 2326
runsolver used 2.6016 second user time and 7.2259 second system time
The end