0.00/0.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3450681-1307106795.opb>
0.00/0.02 c original problem has 3313 variables (3313 bin, 0 int, 0 impl, 0 cont) and 3513 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.04/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.04/0.08 c (round 2) 3113 del vars, 400 del conss, 0 add conss, 3113 chg bounds, 0 chg sides, 0 chg coeffs, 3113 upgd conss, 18678 impls, 0 clqs
0.08/0.11 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.11 c presolving (3 rounds):
0.08/0.11 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.11 c 18678 implications, 0 cliques
0.08/0.11 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3113 constraints
0.08/0.11 c 3113 constraints of type <logicor>
0.08/0.11 c transformed objective value is always integral (scale: 1)
0.08/0.11 c Presolving Time: 0.08
0.08/0.11 c - non default parameters ----------------------------------------------------------------------
0.08/0.11 c # SCIP version 2.0.1.5
0.08/0.11 c
0.08/0.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.08/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.11 c conflict/interconss = 0
0.08/0.11 c
0.08/0.11 c # should binary conflicts be preferred?
0.08/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.11 c conflict/preferbinary = TRUE
0.08/0.11 c
0.08/0.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.08/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.08/0.11 c constraints/agelimit = 1
0.08/0.11 c
0.08/0.11 c # should enforcement of pseudo solution be disabled?
0.08/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.11 c constraints/disableenfops = TRUE
0.08/0.11 c
0.08/0.11 c # frequency for displaying node information lines
0.08/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.11 c display/freq = 10000
0.08/0.11 c
0.08/0.11 c # maximal time in seconds to run
0.08/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.11 c limits/time = 1800
0.08/0.11 c
0.08/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.11 c limits/memory = 13950
0.08/0.11 c
0.08/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.11 c # [type: int, range: [1,2], default: 1]
0.08/0.11 c timing/clocktype = 2
0.08/0.11 c
0.08/0.11 c # belongs reading time to solving time?
0.08/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.11 c timing/reading = TRUE
0.08/0.11 c
0.08/0.11 c # should presolving try to simplify inequalities
0.08/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.11 c constraints/linear/simplifyinequalities = TRUE
0.08/0.11 c
0.08/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.08/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.11 c constraints/indicator/addCouplingCons = TRUE
0.08/0.11 c
0.08/0.11 c # should presolving try to simplify knapsacks
0.08/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.11 c
0.08/0.11 c -----------------------------------------------------------------------------------------------
0.08/0.11 c start solving
0.08/0.11 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.13 o -1
0.08/0.13 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.08/0.17 c 0.2s| 1 | 0 | 289 | - | 10M| 0 | 190 | 200 |3113 | 200 |3120 | 7 | 0 | 0 |-9.500000e+01 |-1.000000e+00 | 98.95%
0.08/0.17 o -21
0.08/0.17 c b 0.2s| 1 | 0 | 289 | - | 10M| 0 | 190 | 200 |3113 | 200 |3120 | 7 | 0 | 0 |-9.500000e+01 |-2.100000e+01 | 77.89%
0.19/0.22 c 0.2s| 1 | 0 | 363 | - | 10M| 0 | 184 | 200 |3113 | 200 |3128 | 15 | 0 | 0 |-9.200000e+01 |-2.100000e+01 | 77.17%
0.19/0.28 c 0.3s| 1 | 0 | 465 | - | 10M| 0 | 176 | 200 |3113 | 200 |3137 | 24 | 0 | 0 |-8.800000e+01 |-2.100000e+01 | 76.14%
0.28/0.35 c 0.3s| 1 | 0 | 609 | - | 10M| 0 | 170 | 200 |3113 | 200 |3145 | 32 | 0 | 0 |-8.450000e+01 |-2.100000e+01 | 75.15%
0.39/0.42 c 0.4s| 1 | 0 | 674 | - | 10M| 0 | 167 | 200 |3113 | 200 |3155 | 42 | 0 | 0 |-8.350000e+01 |-2.100000e+01 | 74.85%
0.49/0.52 c 0.5s| 1 | 0 | 855 | - | 10M| 0 | 161 | 200 |3113 | 200 |3163 | 50 | 0 | 0 |-8.050000e+01 |-2.100000e+01 | 73.91%
0.49/0.58 c 0.6s| 1 | 0 | 972 | - | 10M| 0 | 156 | 200 |3113 | 200 |3173 | 60 | 0 | 0 |-7.800000e+01 |-2.100000e+01 | 73.08%
0.59/0.67 c 0.7s| 1 | 0 | 1086 | - | 10M| 0 | 155 | 200 |3113 | 200 |3178 | 65 | 0 | 0 |-7.733333e+01 |-2.100000e+01 | 72.84%
0.68/0.76 c 0.8s| 1 | 0 | 1432 | - | 10M| 0 | 148 | 200 |3113 | 200 |3186 | 73 | 0 | 0 |-7.400000e+01 |-2.100000e+01 | 71.62%
0.78/0.85 c 0.8s| 1 | 0 | 1560 | - | 10M| 0 | 147 | 200 |3113 | 200 |3192 | 79 | 0 | 0 |-7.350000e+01 |-2.100000e+01 | 71.43%
0.89/0.90 c 0.9s| 1 | 0 | 1663 | - | 10M| 0 | 144 | 200 |3113 | 200 | 474 | 90 | 0 | 0 |-7.200000e+01 |-2.100000e+01 | 70.83%
0.89/0.93 c 0.9s| 1 | 0 | 1868 | - | 11M| 0 | 164 | 200 |3113 | 200 | 485 | 101 | 0 | 0 |-7.020000e+01 |-2.100000e+01 | 70.09%
0.89/0.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.98 c 1.0s| 1 | 0 | 2053 | - | 11M| 0 | 135 | 200 |3113 | 200 | 534 | 150 | 0 | 0 |-6.850000e+01 |-2.100000e+01 | 69.34%
0.89/1.01 c 1.0s| 1 | 0 | 2202 | - | 11M| 0 | 166 | 200 |3113 | 200 | 552 | 168 | 0 | 0 |-6.765789e+01 |-2.100000e+01 | 68.96%
1.00/1.07 c 1.1s| 1 | 0 | 2418 | - | 11M| 0 | 161 | 200 |3113 | 200 | 766 | 382 | 0 | 0 |-6.626471e+01 |-2.100000e+01 | 68.31%
1.11/1.14 c 1.1s| 1 | 0 | 2739 | - | 12M| 0 | 146 | 200 |3113 | 200 | 813 | 429 | 0 | 0 |-6.550000e+01 |-2.100000e+01 | 67.94%
1.19/1.22 c 1.2s| 1 | 0 | 2898 | - | 13M| 0 | 154 | 200 |3113 | 200 | 639 | 450 | 0 | 0 |-6.510500e+01 |-2.100000e+01 | 67.74%
1.19/1.27 c 1.3s| 1 | 0 | 3152 | - | 14M| 0 | 153 | 200 |3113 | 200 | 663 | 474 | 0 | 0 |-6.442857e+01 |-2.100000e+01 | 67.41%
1.29/1.35 c 1.4s| 1 | 0 | 3550 | - | 14M| 0 | 171 | 200 |3113 | 200 | 696 | 507 | 0 | 0 |-6.320584e+01 |-2.100000e+01 | 66.78%
1.38/1.47 c 1.5s| 1 | 0 | 4151 | - | 16M| 0 | 129 | 200 |3113 | 200 | 827 | 638 | 0 | 0 |-6.162500e+01 |-2.100000e+01 | 65.92%
1.48/1.51 c 1.5s| 1 | 0 | 4468 | - | 16M| 0 | 158 | 200 |3113 | 200 | 851 | 662 | 0 | 0 |-6.049621e+01 |-2.100000e+01 | 65.29%
1.48/1.58 c 1.6s| 1 | 0 | 4942 | - | 17M| 0 | 163 | 200 |3113 | 200 | 930 | 741 | 0 | 0 |-5.912207e+01 |-2.100000e+01 | 64.48%
1.58/1.66 c 1.7s| 1 | 0 | 5323 | - | 17M| 0 | 149 | 200 |3113 | 200 | 885 | 821 | 0 | 0 |-5.761538e+01 |-2.100000e+01 | 63.55%
1.69/1.72 c 1.7s| 1 | 0 | 5668 | - | 18M| 0 | 169 | 200 |3113 | 200 | 900 | 836 | 0 | 0 |-5.700784e+01 |-2.100000e+01 | 63.16%
1.79/1.80 c 1.8s| 1 | 0 | 6037 | - | 18M| 0 | 162 | 200 |3113 | 200 | 935 | 871 | 0 | 0 |-5.592521e+01 |-2.100000e+01 | 62.45%
1.79/1.86 c 1.9s| 1 | 0 | 6227 | - | 19M| 0 | 170 | 200 |3113 | 200 | 950 | 886 | 0 | 0 |-5.500000e+01 |-2.100000e+01 | 61.82%
1.89/1.95 c 1.9s| 1 | 0 | 6670 | - | 19M| 0 | 173 | 200 |3113 | 200 | 969 | 905 | 0 | 0 |-5.472709e+01 |-2.100000e+01 | 61.63%
1.98/2.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.98/2.01 c 2.0s| 1 | 0 | 6775 | - | 19M| 0 | 170 | 200 |3113 | 200 | 991 | 927 | 0 | 0 |-5.448586e+01 |-2.100000e+01 | 61.46%
1.98/2.09 c 2.1s| 1 | 0 | 7020 | - | 19M| 0 | 180 | 200 |3113 | 200 | 690 | 955 | 0 | 0 |-5.394865e+01 |-2.100000e+01 | 61.07%
2.10/2.15 c 2.1s| 1 | 0 | 7274 | - | 19M| 0 | 176 | 200 |3113 | 200 | 719 | 984 | 0 | 0 |-5.367401e+01 |-2.100000e+01 | 60.87%
2.20/2.22 c 2.2s| 1 | 0 | 7624 | - | 19M| 0 | 178 | 200 |3113 | 200 | 749 |1014 | 0 | 0 |-5.331492e+01 |-2.100000e+01 | 60.61%
2.20/2.28 c 2.3s| 1 | 0 | 7788 | - | 19M| 0 | 176 | 200 |3113 | 200 | 773 |1038 | 0 | 0 |-5.300742e+01 |-2.100000e+01 | 60.38%
2.29/2.35 c 2.3s| 1 | 0 | 8001 | - | 19M| 0 | 185 | 200 |3113 | 200 | 809 |1074 | 0 | 0 |-5.266941e+01 |-2.100000e+01 | 60.13%
2.39/2.42 c 2.4s| 1 | 0 | 8206 | - | 19M| 0 | 186 | 200 |3113 | 200 | 822 |1087 | 0 | 0 |-5.228295e+01 |-2.100000e+01 | 59.83%
2.39/2.49 c 2.5s| 1 | 0 | 8384 | - | 19M| 0 | 184 | 200 |3113 | 200 | 505 |1095 | 0 | 0 |-5.200017e+01 |-2.100000e+01 | 59.62%
2.49/2.54 c 2.5s| 1 | 0 | 8578 | - | 19M| 0 | 184 | 200 |3113 | 200 | 512 |1102 | 0 | 0 |-5.175681e+01 |-2.100000e+01 | 59.43%
2.49/2.59 c 2.6s| 1 | 0 | 8818 | - | 19M| 0 | 181 | 200 |3113 | 200 | 530 |1120 | 0 | 0 |-5.137007e+01 |-2.100000e+01 | 59.12%
2.59/2.64 c 2.6s| 1 | 0 | 9100 | - | 19M| 0 | 187 | 200 |3113 | 200 | 541 |1131 | 0 | 0 |-5.105474e+01 |-2.100000e+01 | 58.87%
2.59/2.69 c 2.7s| 1 | 0 | 9267 | - | 19M| 0 | 191 | 200 |3113 | 200 | 552 |1142 | 0 | 0 |-5.089894e+01 |-2.100000e+01 | 58.74%
2.68/2.74 c 2.7s| 1 | 0 | 9488 | - | 19M| 0 | 193 | 200 |3113 | 200 | 563 |1153 | 0 | 0 |-5.073200e+01 |-2.100000e+01 | 58.61%
2.68/2.79 c 2.8s| 1 | 0 | 9626 | - | 19M| 0 | 195 | 200 |3113 | 200 | 431 |1161 | 0 | 0 |-5.056503e+01 |-2.100000e+01 | 58.47%
2.79/2.84 c 2.8s| 1 | 0 | 9803 | - | 19M| 0 | 195 | 200 |3113 | 200 | 447 |1177 | 0 | 0 |-5.028569e+01 |-2.100000e+01 | 58.24%
2.79/2.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.88 c 2.9s| 1 | 0 | 9944 | - | 19M| 0 | 194 | 200 |3113 | 200 | 456 |1186 | 0 | 0 |-5.019103e+01 |-2.100000e+01 | 58.16%
2.89/2.92 c 2.9s| 1 | 0 | 10027 | - | 19M| 0 | 195 | 200 |3113 | 200 | 465 |1195 | 0 | 0 |-5.013436e+01 |-2.100000e+01 | 58.11%
2.89/2.96 c 3.0s| 1 | 0 | 10228 | - | 19M| 0 | 196 | 200 |3113 | 200 | 473 |1203 | 0 | 0 |-4.995754e+01 |-2.100000e+01 | 57.96%
2.99/3.00 c 3.0s| 1 | 0 | 10299 | - | 19M| 0 | 196 | 200 |3113 | 200 | 484 |1214 | 0 | 0 |-4.992225e+01 |-2.100000e+01 | 57.93%
2.99/3.04 c 3.0s| 1 | 0 | 10390 | - | 19M| 0 | 196 | 200 |3113 | 200 | 395 |1226 | 0 | 0 |-4.979782e+01 |-2.100000e+01 | 57.83%
2.99/3.08 c 3.1s| 1 | 0 | 10551 | - | 19M| 0 | 196 | 200 |3113 | 200 | 407 |1238 | 0 | 0 |-4.967390e+01 |-2.100000e+01 | 57.72%
3.09/3.12 c 3.1s| 1 | 0 | 10622 | - | 19M| 0 | 199 | 200 |3113 | 200 | 418 |1249 | 0 | 0 |-4.961353e+01 |-2.100000e+01 | 57.67%
3.09/3.15 c 3.1s| 1 | 0 | 10689 | - | 19M| 0 | 196 | 200 |3113 | 200 | 427 |1258 | 0 | 0 |-4.955257e+01 |-2.100000e+01 | 57.62%
3.09/3.19 c 3.2s| 1 | 0 | 10803 | - | 19M| 0 | 195 | 200 |3113 | 200 | 435 |1266 | 0 | 0 |-4.945917e+01 |-2.100000e+01 | 57.54%
3.20/3.23 c 3.2s| 1 | 0 | 10884 | - | 19M| 0 | 197 | 200 |3113 | 200 | 442 |1273 | 0 | 0 |-4.937685e+01 |-2.100000e+01 | 57.47%
3.20/3.27 c 3.3s| 1 | 0 | 10967 | - | 19M| 0 | 198 | 200 |3113 | 200 | 401 |1283 | 0 | 0 |-4.935253e+01 |-2.100000e+01 | 57.45%
3.20/3.30 c 3.3s| 1 | 0 | 11046 | - | 19M| 0 | 198 | 200 |3113 | 200 | 408 |1290 | 0 | 0 |-4.931608e+01 |-2.100000e+01 | 57.42%
3.31/3.34 c 3.3s| 1 | 0 | 11159 | - | 19M| 0 | 199 | 200 |3113 | 200 | 417 |1299 | 0 | 0 |-4.923904e+01 |-2.100000e+01 | 57.35%
3.31/3.38 c 3.4s| 1 | 0 | 11240 | - | 19M| 0 | 199 | 200 |3113 | 200 | 427 |1309 | 0 | 0 |-4.919528e+01 |-2.100000e+01 | 57.31%
3.39/3.42 c 3.4s| 1 | 0 | 11336 | - | 19M| 0 | 199 | 200 |3113 | 200 | 435 |1317 | 0 | 0 |-4.913374e+01 |-2.100000e+01 | 57.26%
3.39/3.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.45 c 3.4s| 1 | 0 | 11383 | - | 19M| 0 | 200 | 200 |3113 | 200 | 446 |1328 | 0 | 0 |-4.909155e+01 |-2.100000e+01 | 57.22%
3.39/3.49 c 3.5s| 1 | 0 | 11464 | - | 19M| 0 | 200 | 200 |3113 | 200 | 410 |1335 | 0 | 0 |-4.904432e+01 |-2.100000e+01 | 57.18%
3.49/3.53 c 3.5s| 1 | 0 | 11517 | - | 19M| 0 | 200 | 200 |3113 | 200 | 415 |1340 | 0 | 0 |-4.901979e+01 |-2.100000e+01 | 57.16%
3.49/3.57 c 3.6s| 1 | 0 | 11724 | - | 19M| 0 | 200 | 200 |3113 | 200 | 424 |1349 | 0 | 0 |-4.895773e+01 |-2.100000e+01 | 57.11%
3.59/3.61 c 3.6s| 1 | 0 | 11864 | - | 19M| 0 | 199 | 200 |3113 | 200 | 433 |1358 | 0 | 0 |-4.887614e+01 |-2.100000e+01 | 57.03%
3.59/3.65 c 3.6s| 1 | 0 | 11909 | - | 19M| 0 | 200 | 200 |3113 | 200 | 441 |1366 | 0 | 0 |-4.884238e+01 |-2.100000e+01 | 57.00%
3.59/3.68 c 3.7s| 1 | 0 | 11962 | - | 19M| 0 | 200 | 200 |3113 | 200 | 449 |1374 | 0 | 0 |-4.882740e+01 |-2.100000e+01 | 56.99%
3.69/3.72 c 3.7s| 1 | 0 | 12019 | - | 19M| 0 | 200 | 200 |3113 | 200 | 409 |1382 | 0 | 0 |-4.880926e+01 |-2.100000e+01 | 56.98%
3.69/3.76 c 3.8s| 1 | 0 | 12081 | - | 19M| 0 | 200 | 200 |3113 | 200 | 415 |1388 | 0 | 0 |-4.879608e+01 |-2.100000e+01 | 56.96%
3.69/3.79 c 3.8s| 1 | 0 | 12107 | - | 19M| 0 | 200 | 200 |3113 | 200 | 422 |1395 | 0 | 0 |-4.879269e+01 |-2.100000e+01 | 56.96%
3.78/3.82 c 3.8s| 1 | 0 | 12127 | - | 19M| 0 | 200 | 200 |3113 | 200 | 425 |1398 | 0 | 0 |-4.879008e+01 |-2.100000e+01 | 56.96%
3.78/3.85 c 3.9s| 1 | 0 | 12136 | - | 19M| 0 | 200 | 200 |3113 | 200 | 426 |1399 | 0 | 0 |-4.878944e+01 |-2.100000e+01 | 56.96%
4.79/4.89 c 4.9s| 1 | 2 | 12136 | - | 19M| 0 | 200 | 200 |3113 | 200 | 426 |1399 | 0 | 22 |-4.878944e+01 |-2.100000e+01 | 56.96%
5.79/5.89 o -23
5.79/5.89 c * 5.9s| 31 | 22 | 13946 | 60.3 | 19M| 17 | - | 200 |3113 | 200 | 224 |1530 | 0 | 467 |-4.818406e+01 |-2.300000e+01 | 52.27%
6.09/6.18 o -24
6.09/6.18 c * 6.2s| 67 | 40 | 14946 | 42.6 | 19M| 17 | - | 200 |3113 | 200 | 241 |1903 | 0 | 837 |-4.818406e+01 |-2.400000e+01 | 50.19%
6.69/6.77 o -25
6.69/6.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.69/6.77 c * 6.8s| 162 | 81 | 17864 | 35.6 | 19M| 17 | - | 200 |3113 | 200 | 237 |2993 | 0 |1309 |-4.810446e+01 |-2.500000e+01 | 48.03%
7.29/7.37 o -26
7.29/7.37 c * 7.4s| 316 | 135 | 22341 | 32.4 | 20M| 19 | - | 200 |3113 | 200 | 235 |4473 | 0 |1521 |-4.806367e+01 |-2.600000e+01 | 45.91%
7.71/7.75 o -27
7.71/7.75 c C 7.8s| 516 | 194 | 27137 | 29.1 | 20M| 22 | 17 | 200 |3113 | 200 | 200 |6407 | 0 |1591 |-4.782732e+01 |-2.700000e+01 | 43.55%
17.61/17.68 c 17.7s| 10000 | 4810 |288813 | 27.7 | 25M| 58 | 16 | 200 |3113 | 200 | 200 | 119k| 0 |1614 |-4.513727e+01 |-2.700000e+01 | 40.18%
23.48/23.59 o -28
23.48/23.59 c *23.6s| 16620 | 6229 |439317 | 25.7 | 27M| 58 | - | 200 |3113 | 200 | 240 | 194k| 0 |2064 |-4.467601e+01 |-2.800000e+01 | 37.33%
26.31/26.38 c 26.4s| 20000 | 7283 |508727 | 24.8 | 28M| 58 | 5 | 200 |3113 | 200 | 200 | 232k| 0 |2267 |-4.450000e+01 |-2.800000e+01 | 37.08%
34.59/34.62 c 34.6s| 30000 | 10611 |722721 | 23.7 | 32M| 59 | 47 | 200 |3113 | 200 | 219 | 345k| 0 |2779 |-4.411060e+01 |-2.800000e+01 | 36.52%
41.99/42.01 c 42.0s| 40000 | 13281 |912345 | 22.5 | 36M| 62 | - | 200 |3113 | 200 | 224 | 453k| 0 |3270 |-4.389333e+01 |-2.800000e+01 | 36.21%
49.19/49.27 c 49.3s| 50000 | 15833 | 1099k| 21.7 | 39M| 62 | - | 200 |3113 | 200 | 225 | 558k| 0 |3651 |-4.366667e+01 |-2.800000e+01 | 35.88%
56.19/56.22 c 56.2s| 60000 | 18251 | 1280k| 21.1 | 42M| 62 | 44 | 200 |3113 | 200 | 230 | 662k| 0 |3971 |-4.348701e+01 |-2.800000e+01 | 35.61%
62.98/63.08 c 63.1s| 70000 | 20447 | 1456k| 20.6 | 45M| 66 | - | 200 |3113 | 200 | 230 | 766k| 0 |4332 |-4.331111e+01 |-2.800000e+01 | 35.35%
69.89/69.93 c 69.9s| 80000 | 22759 | 1635k| 20.3 | 48M| 66 | 29 | 200 |3113 | 200 | 200 | 871k| 0 |4634 |-4.314286e+01 |-2.800000e+01 | 35.10%
76.68/76.71 c 76.7s| 90000 | 25043 | 1812k| 20.0 | 51M| 66 | - | 200 |3113 | 200 | 245 | 975k| 0 |4931 |-4.300000e+01 |-2.800000e+01 | 34.88%
83.39/83.48 c 83.5s|100000 | 27245 | 1987k| 19.8 | 54M| 66 | 10 | 200 |3113 | 200 | 225 |1077k| 0 |5217 |-4.287500e+01 |-2.800000e+01 | 34.69%
90.21/90.24 c 90.2s|110000 | 29509 | 2163k| 19.6 | 57M| 66 | - | 200 |3113 | 200 | 216 |1181k| 0 |5512 |-4.273750e+01 |-2.800000e+01 | 34.48%
96.70/96.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.70/96.79 c 96.8s|120000 | 31663 | 2334k| 19.3 | 60M| 66 | - | 200 |3113 | 200 | 229 |1284k| 0 |5739 |-4.262712e+01 |-2.800000e+01 | 34.31%
103.58/103.60 c 104s|130000 | 33875 | 2513k| 19.2 | 63M| 77 | 20 | 200 |3113 | 200 | 218 |1390k| 0 |5981 |-4.246774e+01 |-2.800000e+01 | 34.07%
110.08/110.13 c 110s|140000 | 35903 | 2683k| 19.1 | 66M| 77 | 50 | 200 |3113 | 200 | 246 |1491k| 0 |6192 |-4.234483e+01 |-2.800000e+01 | 33.88%
116.61/116.63 c 117s|150000 | 37913 | 2851k| 18.9 | 69M| 77 | 28 | 200 |3113 | 200 | 200 |1591k| 0 |6425 |-4.222222e+01 |-2.800000e+01 | 33.68%
123.10/123.20 c 123s|160000 | 39911 | 3024k| 18.8 | 72M| 77 | 54 | 200 |3113 | 200 | 249 |1692k| 0 |6635 |-4.211765e+01 |-2.800000e+01 | 33.52%
129.49/129.55 c 130s|170000 | 41763 | 3187k| 18.7 | 74M| 77 | 7 | 200 |3113 | 200 | 228 |1791k| 0 |6861 |-4.200000e+01 |-2.800000e+01 | 33.33%
135.89/135.98 c 136s|180000 | 43729 | 3356k| 18.6 | 77M| 77 | - | 200 |3113 | 200 | 232 |1893k| 0 |7073 |-4.200000e+01 |-2.800000e+01 | 33.33%
142.49/142.55 c 143s|190000 | 45783 | 3529k| 18.5 | 80M| 77 | - | 200 |3113 | 200 | 234 |1997k| 0 |7258 |-4.187500e+01 |-2.800000e+01 | 33.13%
148.79/148.83 c 149s|200000 | 47667 | 3692k| 18.4 | 82M| 77 | 76 | 200 |3113 | 200 | 270 |2096k| 0 |7449 |-4.178947e+01 |-2.800000e+01 | 33.00%
155.01/155.02 c 155s|210000 | 49315 | 3852k| 18.3 | 85M| 77 | 30 | 200 |3113 | 200 | 216 |2198k| 0 |7621 |-4.171795e+01 |-2.800000e+01 | 32.88%
161.19/161.28 c 161s|220000 | 51133 | 4016k| 18.2 | 87M| 77 | - | 200 |3113 | 200 | 231 |2298k| 0 |7806 |-4.165000e+01 |-2.800000e+01 | 32.77%
167.59/167.65 c 168s|230000 | 52987 | 4181k| 18.1 | 90M| 77 | 51 | 200 |3113 | 200 | 200 |2399k| 0 |7990 |-4.157143e+01 |-2.800000e+01 | 32.65%
173.70/173.79 c 174s|240000 | 54803 | 4341k| 18.0 | 92M| 77 | - | 200 |3113 | 200 | 214 |2497k| 0 |8167 |-4.150000e+01 |-2.800000e+01 | 32.53%
179.85/179.93 c 180s|250000 | 56639 | 4499k| 18.0 | 95M| 77 | 22 | 200 |3113 | 200 | 221 |2593k| 0 |8339 |-4.145402e+01 |-2.800000e+01 | 32.46%
186.16/186.37 c 186s|260000 | 58559 | 4666k| 17.9 | 97M| 77 | 28 | 200 |3113 | 200 | 200 |2696k| 0 |8522 |-4.138095e+01 |-2.800000e+01 | 32.34%
192.28/192.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.28/192.48 c 192s|270000 | 60403 | 4825k| 17.8 | 100M| 77 | - | 200 |3113 | 200 | 253 |2794k| 0 |8651 |-4.133333e+01 |-2.800000e+01 | 32.26%
198.57/198.72 c 199s|280000 | 62263 | 4989k| 17.8 | 102M| 77 | 5 | 200 |3113 | 200 | 215 |2892k| 0 |8832 |-4.125000e+01 |-2.800000e+01 | 32.12%
204.66/204.82 c 205s|290000 | 63979 | 5147k| 17.7 | 105M| 77 | 28 | 200 |3113 | 200 | 200 |2991k| 0 |8975 |-4.119231e+01 |-2.800000e+01 | 32.03%
210.57/210.75 o -29
210.57/210.75 c * 211s|299501 | 52776 | 5300k| 17.7 | 92M| 77 | - | 200 |3113 | 200 | 246 |3084k| 0 |9133 |-4.113333e+01 |-2.900000e+01 | 29.50%
210.86/211.07 c 211s|300000 | 52825 | 5307k| 17.7 | 92M| 77 | 14 | 200 |3113 | 200 | 200 |3090k| 0 |9137 |-4.112766e+01 |-2.900000e+01 | 29.49%
216.96/217.18 c 217s|310000 | 54097 | 5463k| 17.6 | 94M| 78 | 16 | 200 |3113 | 200 | 200 |3188k| 0 |9258 |-4.105882e+01 |-2.900000e+01 | 29.37%
222.96/223.19 c 223s|320000 | 55425 | 5616k| 17.5 | 96M| 78 | 9 | 200 |3113 | 200 | 200 |3288k| 0 |9403 |-4.100000e+01 |-2.900000e+01 | 29.27%
229.07/229.26 c 229s|330000 | 56805 | 5773k| 17.5 | 98M| 78 | - | 200 |3113 | 200 | 243 |3391k| 0 |9585 |-4.100000e+01 |-2.900000e+01 | 29.27%
235.06/235.26 c 235s|340000 | 58233 | 5929k| 17.4 | 100M| 78 | - | 200 |3113 | 200 | 217 |3492k| 0 |9667 |-4.100000e+01 |-2.900000e+01 | 29.27%
240.96/241.17 c 241s|350000 | 59571 | 6079k| 17.3 | 102M| 78 | - | 200 |3113 | 200 | 241 |3591k| 0 |9828 |-4.092989e+01 |-2.900000e+01 | 29.15%
246.67/246.87 c 247s|360000 | 60649 | 6224k| 17.3 | 103M| 81 | - | 200 |3113 | 200 | 232 |3686k| 0 |9919 |-4.087692e+01 |-2.900000e+01 | 29.06%
252.47/252.60 c 253s|370000 | 61701 | 6369k| 17.2 | 105M| 81 | 14 | 200 |3113 | 200 | 212 |3781k| 0 | 10k|-4.083333e+01 |-2.900000e+01 | 28.98%
257.96/258.18 c 258s|380000 | 62683 | 6511k| 17.1 | 107M| 81 | 19 | 200 |3113 | 200 | 217 |3878k| 0 | 10k|-4.080000e+01 |-2.900000e+01 | 28.92%
263.97/264.15 c 264s|390000 | 63905 | 6664k| 17.1 | 108M| 81 | - | 200 |3113 | 200 | 220 |3978k| 0 | 10k|-4.075000e+01 |-2.900000e+01 | 28.83%
269.76/269.93 c 270s|400000 | 65009 | 6813k| 17.0 | 110M| 81 | - | 200 |3113 | 200 | 215 |4077k| 0 | 10k|-4.070588e+01 |-2.900000e+01 | 28.76%
275.46/275.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.46/275.68 c 276s|410000 | 66097 | 6957k| 16.9 | 112M| 81 | - | 200 |3113 | 200 | 221 |4175k| 0 | 10k|-4.066667e+01 |-2.900000e+01 | 28.69%
281.27/281.46 c 281s|420000 | 67293 | 7106k| 16.9 | 114M| 83 | 57 | 200 |3113 | 200 | 200 |4273k| 0 | 10k|-4.062500e+01 |-2.900000e+01 | 28.62%
286.99/287.19 c 287s|430000 | 68361 | 7252k| 16.8 | 115M| 91 | 51 | 200 |3113 | 200 | 233 |4371k| 0 | 10k|-4.058333e+01 |-2.900000e+01 | 28.54%
292.67/292.80 c 293s|440000 | 69395 | 7396k| 16.8 | 117M| 91 | - | 200 |3113 | 200 | 224 |4464k| 0 | 10k|-4.053125e+01 |-2.900000e+01 | 28.45%
298.37/298.50 c 299s|450000 | 70473 | 7542k| 16.7 | 118M| 91 | - | 200 |3113 | 200 | 254 |4560k| 0 | 11k|-4.050000e+01 |-2.900000e+01 | 28.40%
303.97/304.18 c 304s|460000 | 71601 | 7686k| 16.7 | 120M| 91 | - | 200 |3113 | 200 | 217 |4659k| 0 | 11k|-4.050000e+01 |-2.900000e+01 | 28.40%
309.57/309.78 c 310s|470000 | 72653 | 7829k| 16.6 | 122M| 91 | - | 200 |3113 | 200 | 245 |4757k| 0 | 11k|-4.044444e+01 |-2.900000e+01 | 28.30%
315.26/315.48 c 315s|480000 | 73805 | 7974k| 16.6 | 123M| 91 | 16 | 200 |3113 | 200 | 200 |4853k| 0 | 11k|-4.040000e+01 |-2.900000e+01 | 28.22%
320.98/321.16 c 321s|490000 | 74901 | 8118k| 16.5 | 125M| 91 | 11 | 200 |3113 | 200 | 209 |4949k| 0 | 11k|-4.033333e+01 |-2.900000e+01 | 28.10%
326.67/326.80 c 327s|500000 | 75953 | 8262k| 16.5 | 126M| 91 | 38 | 200 |3113 | 200 | 234 |5045k| 0 | 11k|-4.032331e+01 |-2.900000e+01 | 28.08%
332.27/332.43 c 332s|510000 | 76907 | 8405k| 16.5 | 128M| 91 | - | 200 |3113 | 200 | 240 |5143k| 0 | 11k|-4.026667e+01 |-2.900000e+01 | 27.98%
337.87/338.03 c 338s|520000 | 77871 | 8547k| 16.4 | 129M| 91 | - | 200 |3113 | 200 | 264 |5240k| 0 | 11k|-4.025000e+01 |-2.900000e+01 | 27.95%
343.47/343.66 c 344s|530000 | 78849 | 8689k| 16.4 | 131M| 91 | - | 200 |3113 | 200 | 223 |5336k| 0 | 11k|-4.020000e+01 |-2.900000e+01 | 27.86%
349.17/349.30 c 349s|540000 | 79823 | 8831k| 16.3 | 132M| 91 | - | 200 |3113 | 200 | 214 |5433k| 0 | 12k|-4.014286e+01 |-2.900000e+01 | 27.76%
354.67/354.83 c 355s|550000 | 80795 | 8970k| 16.3 | 134M| 91 | 12 | 200 |3113 | 200 | 200 |5528k| 0 | 12k|-4.009756e+01 |-2.900000e+01 | 27.68%
360.27/360.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.27/360.40 c 360s|560000 | 81805 | 9112k| 16.3 | 135M| 91 | 24 | 200 |3113 | 200 | 213 |5621k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
365.87/366.06 c 366s|570000 | 82851 | 9255k| 16.2 | 137M| 91 | 20 | 200 |3113 | 200 | 200 |5718k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
371.47/371.67 c 372s|580000 | 83883 | 9397k| 16.2 | 139M| 91 | - | 200 |3113 | 200 | 251 |5815k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
377.19/377.32 c 377s|590000 | 84939 | 9542k| 16.2 | 140M| 91 | 4 | 200 |3113 | 200 | 220 |5914k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
382.77/382.92 c 383s|600000 | 85985 | 9684k| 16.1 | 142M| 91 | - | 200 |3113 | 200 | 214 |6010k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
388.37/388.52 c 389s|610000 | 87003 | 9827k| 16.1 | 143M| 91 | - | 200 |3113 | 200 | 228 |6105k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
393.87/394.03 c 394s|620000 | 87883 | 9965k| 16.1 | 145M| 91 | 44 | 200 |3113 | 200 | 218 |6199k| 0 | 12k|-3.990000e+01 |-2.900000e+01 | 27.32%
399.37/399.50 c 399s|630000 | 88785 | 10102k| 16.0 | 146M| 91 | - | 200 |3113 | 200 | 231 |6293k| 0 | 13k|-3.985714e+01 |-2.900000e+01 | 27.24%
404.87/405.03 c 405s|640000 | 89773 | 10243k| 16.0 | 148M| 91 | 49 | 200 |3113 | 200 | 227 |6390k| 0 | 13k|-3.983333e+01 |-2.900000e+01 | 27.20%
410.37/410.54 c 411s|650000 | 90669 | 10383k| 16.0 | 149M| 91 | - | 200 |3113 | 200 | 247 |6485k| 0 | 13k|-3.980000e+01 |-2.900000e+01 | 27.14%
415.87/416.01 c 416s|660000 | 91639 | 10521k| 15.9 | 150M| 91 | - | 200 |3113 | 200 | 217 |6580k| 0 | 13k|-3.975000e+01 |-2.900000e+01 | 27.04%
421.38/421.54 c 422s|670000 | 92547 | 10660k| 15.9 | 152M| 91 | 58 | 200 |3113 | 200 | 257 |6675k| 0 | 13k|-3.971429e+01 |-2.900000e+01 | 26.98%
426.87/427.03 c 427s|680000 | 93453 | 10798k| 15.9 | 153M| 91 | 53 | 200 |3113 | 200 | 260 |6769k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
432.27/432.43 c 432s|690000 | 94373 | 10934k| 15.8 | 155M| 91 | - | 200 |3113 | 200 | 214 |6862k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
437.77/437.96 c 438s|700000 | 95349 | 11074k| 15.8 | 156M| 91 | 32 | 200 |3113 | 200 | 226 |6959k| 0 | 13k|-3.964286e+01 |-2.900000e+01 | 26.85%
443.27/443.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.27/443.49 c 443s|710000 | 96337 | 11213k| 15.8 | 158M| 91 | - | 200 |3113 | 200 | 213 |7053k| 0 | 13k|-3.960000e+01 |-2.900000e+01 | 26.77%
449.07/449.20 c 449s|720000 | 97387 | 11358k| 15.8 | 159M| 91 | 5 | 200 |3113 | 200 | 200 |7150k| 0 | 13k|-3.954545e+01 |-2.900000e+01 | 26.67%
454.57/454.70 c 455s|730000 | 98311 | 11496k| 15.7 | 161M| 91 | - | 200 |3113 | 200 | 248 |7246k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
459.97/460.10 c 460s|740000 | 99181 | 11632k| 15.7 | 162M| 91 | - | 200 |3113 | 200 | 215 |7340k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
465.37/465.53 c 466s|750000 |100057 | 11767k| 15.7 | 163M| 91 | 32 | 200 |3113 | 200 | 200 |7437k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
470.77/470.90 c 471s|760000 |100845 | 11901k| 15.6 | 164M| 91 | - | 200 |3113 | 200 | 240 |7529k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
476.27/476.42 c 476s|770000 |101639 | 12038k| 15.6 | 166M| 91 | - | 200 |3113 | 200 | 221 |7625k| 0 | 14k|-3.942857e+01 |-2.900000e+01 | 26.45%
481.69/481.84 c 482s|780000 |102477 | 12173k| 15.6 | 167M| 91 | - | 200 |3113 | 200 | 213 |7719k| 0 | 14k|-3.940000e+01 |-2.900000e+01 | 26.40%
487.09/487.28 c 487s|790000 |103275 | 12308k| 15.6 | 168M| 91 | - | 200 |3113 | 200 | 213 |7815k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
492.47/492.66 c 493s|800000 |104049 | 12442k| 15.5 | 170M| 91 | - | 200 |3113 | 200 | 224 |7911k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
497.87/498.03 c 498s|810000 |104849 | 12576k| 15.5 | 171M| 91 | - | 200 |3113 | 200 | 233 |8007k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
503.17/503.30 c 503s|820000 |105621 | 12706k| 15.5 | 172M| 91 | 56 | 200 |3113 | 200 | 253 |8097k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
508.47/508.69 c 509s|830000 |106395 | 12841k| 15.5 | 173M| 91 | - | 200 |3113 | 200 | 215 |8192k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
513.87/514.07 c 514s|840000 |107153 | 12974k| 15.4 | 174M| 91 | - | 200 |3113 | 200 | 226 |8287k| 0 | 14k|-3.920833e+01 |-2.900000e+01 | 26.04%
519.28/519.45 c 519s|850000 |107931 | 13107k| 15.4 | 176M| 91 | 20 | 200 |3113 | 200 | 217 |8379k| 0 | 15k|-3.916667e+01 |-2.900000e+01 | 25.96%
524.60/524.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.60/524.74 c 525s|860000 |108685 | 13237k| 15.4 | 177M| 91 | 33 | 200 |3113 | 200 | 200 |8472k| 0 | 15k|-3.914019e+01 |-2.900000e+01 | 25.91%
529.88/530.09 c 530s|870000 |109451 | 13369k| 15.4 | 178M| 91 | - | 200 |3113 | 200 | 224 |8566k| 0 | 15k|-3.908333e+01 |-2.900000e+01 | 25.80%
535.27/535.44 c 535s|880000 |110129 | 13500k| 15.3 | 179M| 91 | 53 | 200 |3113 | 200 | 243 |8658k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
540.68/540.82 c 541s|890000 |110907 | 13634k| 15.3 | 180M| 91 | - | 200 |3113 | 200 | 213 |8754k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
546.08/546.25 c 546s|900000 |111721 | 13768k| 15.3 | 182M| 91 | 32 | 200 |3113 | 200 | 200 |8849k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
551.47/551.67 c 552s|910000 |112427 | 13904k| 15.3 | 183M| 91 | - | 200 |3113 | 200 | 239 |8948k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
556.88/557.03 c 557s|920000 |113147 | 14034k| 15.2 | 184M| 91 | 16 | 200 |3113 | 200 | 200 |9041k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
562.18/562.34 c 562s|930000 |113963 | 14165k| 15.2 | 185M| 91 | - | 200 |3113 | 200 | 243 |9134k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
567.50/567.69 c 568s|940000 |114747 | 14298k| 15.2 | 186M| 91 | 59 | 200 |3113 | 200 | 274 |9228k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
572.89/573.02 c 573s|950000 |115451 | 14429k| 15.2 | 188M| 91 | 52 | 200 |3113 | 200 | 217 |9322k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
578.18/578.35 c 578s|960000 |116265 | 14562k| 15.2 | 189M| 93 | - | 200 |3113 | 200 | 250 |9414k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
583.48/583.69 c 584s|970000 |117089 | 14693k| 15.1 | 190M| 93 | 47 | 200 |3113 | 200 | 264 |9505k| 0 | 16k|-3.893750e+01 |-2.900000e+01 | 25.52%
588.78/588.99 c 589s|980000 |117809 | 14824k| 15.1 | 191M| 93 | 33 | 200 |3113 | 200 | 223 |9599k| 0 | 16k|-3.888889e+01 |-2.900000e+01 | 25.43%
594.18/594.33 c 594s|990000 |118589 | 14956k| 15.1 | 193M| 93 | - | 200 |3113 | 200 | 216 |9692k| 0 | 16k|-3.885714e+01 |-2.900000e+01 | 25.37%
599.47/599.66 c 600s| 1000k|119293 | 15088k| 15.1 | 194M| 93 | 27 | 200 |3113 | 200 | 200 |9785k| 0 | 16k|-3.883333e+01 |-2.900000e+01 | 25.32%
604.79/604.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.79/604.99 c 605s| 1010k|119987 | 15218k| 15.1 | 195M| 93 | 26 | 200 |3113 | 200 | 215 |9877k| 0 | 16k|-3.880000e+01 |-2.900000e+01 | 25.26%
609.98/610.14 c 610s| 1020k|120651 | 15344k| 15.0 | 196M| 93 | - | 200 |3113 | 200 | 220 |9966k| 0 | 16k|-3.877273e+01 |-2.900000e+01 | 25.21%
615.28/615.41 c 615s| 1030k|121405 | 15474k| 15.0 | 197M| 93 | - | 200 |3113 | 200 | 242 | 10M| 0 | 16k|-3.875000e+01 |-2.900000e+01 | 25.16%
620.58/620.73 c 621s| 1040k|122151 | 15605k| 15.0 | 198M| 93 | - | 200 |3113 | 200 | 231 | 10M| 0 | 16k|-3.873913e+01 |-2.900000e+01 | 25.14%
625.79/625.96 c 626s| 1050k|122917 | 15733k| 15.0 | 199M| 93 | - | 200 |3113 | 200 | 214 | 10M| 0 | 16k|-3.870000e+01 |-2.900000e+01 | 25.06%
631.08/631.24 c 631s| 1060k|123629 | 15863k| 15.0 | 201M| 93 | - | 200 |3113 | 200 | 250 | 10M| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
636.28/636.47 c 636s| 1070k|124379 | 15993k| 14.9 | 202M| 93 | - | 200 |3113 | 200 | 227 | 10M| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
641.58/641.71 c 642s| 1080k|124957 | 16120k| 14.9 | 203M| 93 | - | 200 |3113 | 200 | 232 | 10M| 0 | 16k|-3.864286e+01 |-2.900000e+01 | 24.95%
646.78/646.97 c 647s| 1090k|125623 | 16249k| 14.9 | 204M| 93 | - | 200 |3113 | 200 | 217 | 10M| 0 | 16k|-3.860000e+01 |-2.900000e+01 | 24.87%
651.98/652.18 c 652s| 1100k|126301 | 16377k| 14.9 | 205M| 93 | 18 | 200 |3113 | 200 | 200 | 10M| 0 | 17k|-3.858333e+01 |-2.900000e+01 | 24.84%
657.28/657.45 c 657s| 1110k|126989 | 16507k| 14.9 | 206M| 93 | - | 200 |3113 | 200 | 237 | 10M| 0 | 17k|-3.853846e+01 |-2.900000e+01 | 24.75%
662.48/662.68 c 663s| 1120k|127623 | 16635k| 14.8 | 207M| 93 | - | 200 |3113 | 200 | 222 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
667.68/667.85 c 668s| 1130k|128231 | 16762k| 14.8 | 208M| 93 | - | 200 |3113 | 200 | 229 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
672.78/672.97 c 673s| 1140k|128905 | 16887k| 14.8 | 209M| 93 | 15 | 200 |3113 | 200 | 214 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
677.88/678.08 c 678s| 1150k|129461 | 17010k| 14.8 | 210M| 93 | 43 | 200 |3113 | 200 | 228 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
683.08/683.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.08/683.24 c 683s| 1160k|130031 | 17136k| 14.8 | 211M| 93 | - | 200 |3113 | 200 | 213 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
688.28/688.43 c 688s| 1170k|130609 | 17261k| 14.7 | 212M| 93 | - | 200 |3113 | 200 | 216 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
693.48/693.60 c 694s| 1180k|131163 | 17386k| 14.7 | 213M| 93 | 28 | 200 |3113 | 200 | 218 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
698.68/698.84 c 699s| 1190k|131807 | 17514k| 14.7 | 214M| 93 | 49 | 200 |3113 | 200 | 218 | 11M| 0 | 17k|-3.844030e+01 |-2.900000e+01 | 24.56%
703.80/704.01 c 704s| 1200k|132327 | 17638k| 14.7 | 215M| 93 | 60 | 200 |3113 | 200 | 238 | 11M| 0 | 17k|-3.840000e+01 |-2.900000e+01 | 24.48%
709.08/709.23 c 709s| 1210k|132901 | 17765k| 14.7 | 216M| 93 | 28 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.837500e+01 |-2.900000e+01 | 24.43%
714.18/714.37 c 714s| 1220k|133531 | 17889k| 14.7 | 217M| 93 | 50 | 200 |3113 | 200 | 229 | 11M| 0 | 17k|-3.833333e+01 |-2.900000e+01 | 24.35%
719.38/719.52 c 720s| 1230k|134197 | 18014k| 14.6 | 218M| 93 | 50 | 200 |3113 | 200 | 249 | 11M| 0 | 17k|-3.833333e+01 |-2.900000e+01 | 24.35%
724.48/724.62 c 725s| 1240k|134751 | 18138k| 14.6 | 219M| 93 | 20 | 200 |3113 | 200 | 226 | 11M| 0 | 18k|-3.833333e+01 |-2.900000e+01 | 24.35%
729.58/729.77 c 730s| 1250k|135333 | 18262k| 14.6 | 220M| 93 | 27 | 200 |3113 | 200 | 214 | 12M| 0 | 18k|-3.828571e+01 |-2.900000e+01 | 24.25%
734.78/734.95 c 735s| 1260k|135901 | 18387k| 14.6 | 221M| 93 | - | 200 |3113 | 200 | 217 | 12M| 0 | 18k|-3.825000e+01 |-2.900000e+01 | 24.18%
739.98/740.14 c 740s| 1270k|136495 | 18513k| 14.6 | 222M| 93 | - | 200 |3113 | 200 | 240 | 12M| 0 | 18k|-3.825000e+01 |-2.900000e+01 | 24.18%
745.08/745.26 c 745s| 1280k|137149 | 18637k| 14.6 | 223M| 93 | 58 | 200 |3113 | 200 | 261 | 12M| 0 | 18k|-3.823958e+01 |-2.900000e+01 | 24.16%
750.28/750.40 c 750s| 1290k|137715 | 18761k| 14.5 | 224M| 95 | 34 | 200 |3113 | 200 | 230 | 12M| 0 | 18k|-3.820000e+01 |-2.900000e+01 | 24.08%
755.38/755.54 c 756s| 1300k|138295 | 18885k| 14.5 | 225M| 95 | - | 200 |3113 | 200 | 227 | 12M| 0 | 18k|-3.818182e+01 |-2.900000e+01 | 24.05%
760.49/760.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.49/760.66 c 761s| 1310k|138889 | 19007k| 14.5 | 226M| 95 | 47 | 200 |3113 | 200 | 200 | 12M| 0 | 18k|-3.816667e+01 |-2.900000e+01 | 24.02%
765.68/765.83 c 766s| 1320k|139483 | 19132k| 14.5 | 227M| 95 | 6 | 200 |3113 | 200 | 214 | 12M| 0 | 18k|-3.814286e+01 |-2.900000e+01 | 23.97%
770.78/770.98 c 771s| 1330k|140035 | 19256k| 14.5 | 227M| 95 | - | 200 |3113 | 200 | 224 | 12M| 0 | 18k|-3.811111e+01 |-2.900000e+01 | 23.91%
775.88/776.03 c 776s| 1340k|140499 | 19375k| 14.5 | 228M| 95 | - | 200 |3113 | 200 | 236 | 12M| 0 | 18k|-3.808333e+01 |-2.900000e+01 | 23.85%
780.98/781.16 c 781s| 1350k|141149 | 19499k| 14.4 | 229M| 95 | 14 | 200 |3113 | 200 | 214 | 12M| 0 | 18k|-3.802264e+01 |-2.900000e+01 | 23.73%
786.08/786.23 c 786s| 1360k|141719 | 19621k| 14.4 | 230M| 95 | - | 200 |3113 | 200 | 246 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
791.19/791.33 c 791s| 1370k|142293 | 19745k| 14.4 | 231M| 95 | - | 200 |3113 | 200 | 232 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
796.20/796.41 c 796s| 1380k|142821 | 19866k| 14.4 | 232M| 95 | - | 200 |3113 | 200 | 215 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
801.38/801.51 c 802s| 1390k|143403 | 19989k| 14.4 | 233M| 95 | - | 200 |3113 | 200 | 216 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
806.38/806.55 c 807s| 1400k|143971 | 20110k| 14.4 | 234M| 95 | - | 200 |3113 | 200 | 222 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
811.39/811.58 c 812s| 1410k|144481 | 20230k| 14.3 | 235M| 95 | 55 | 200 |3113 | 200 | 249 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
816.48/816.60 c 817s| 1420k|144977 | 20349k| 14.3 | 236M| 95 | 26 | 200 |3113 | 200 | 213 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
821.49/821.65 c 822s| 1430k|145505 | 20471k| 14.3 | 237M| 95 | - | 200 |3113 | 200 | 227 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
826.59/826.74 c 827s| 1440k|146005 | 20593k| 14.3 | 237M| 95 | - | 200 |3113 | 200 | 213 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
831.59/831.79 c 832s| 1450k|146615 | 20713k| 14.3 | 238M| 95 | - | 200 |3113 | 200 | 232 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
836.68/836.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.68/836.84 c 837s| 1460k|147127 | 20835k| 14.3 | 239M| 95 | 39 | 200 |3113 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
841.68/841.87 c 842s| 1470k|147631 | 20955k| 14.2 | 240M| 96 | 21 | 200 |3113 | 200 | 215 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
846.80/846.95 c 847s| 1480k|148179 | 21077k| 14.2 | 241M| 96 | - | 200 |3113 | 200 | 228 | 14M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
851.79/851.95 c 852s| 1490k|148677 | 21196k| 14.2 | 242M| 96 | - | 200 |3113 | 200 | 251 | 14M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
856.89/857.06 c 857s| 1500k|149199 | 21317k| 14.2 | 243M| 96 | - | 200 |3113 | 200 | 238 | 14M| 0 | 19k|-3.792308e+01 |-2.900000e+01 | 23.53%
861.88/862.09 c 862s| 1510k|149685 | 21438k| 14.2 | 244M| 96 | - | 200 |3113 | 200 | 243 | 14M| 0 | 19k|-3.790000e+01 |-2.900000e+01 | 23.48%
866.88/867.10 c 867s| 1520k|150201 | 21557k| 14.2 | 244M| 96 | - | 200 |3113 | 200 | 228 | 14M| 0 | 19k|-3.787500e+01 |-2.900000e+01 | 23.43%
871.99/872.13 c 872s| 1530k|150711 | 21677k| 14.2 | 245M| 96 | 14 | 200 |3113 | 200 | 213 | 14M| 0 | 19k|-3.785000e+01 |-2.900000e+01 | 23.38%
876.99/877.10 c 877s| 1540k|151193 | 21795k| 14.1 | 246M| 96 | 52 | 200 |3113 | 200 | 215 | 14M| 0 | 19k|-3.783333e+01 |-2.900000e+01 | 23.35%
881.89/882.04 c 882s| 1550k|151693 | 21912k| 14.1 | 247M| 99 | 7 | 200 |3113 | 200 | 218 | 14M| 0 | 19k|-3.782353e+01 |-2.900000e+01 | 23.33%
886.89/887.05 c 887s| 1560k|152145 | 22033k| 14.1 | 248M| 99 | - | 200 |3113 | 200 | 217 | 14M| 0 | 20k|-3.780000e+01 |-2.900000e+01 | 23.28%
891.90/892.05 c 892s| 1570k|152607 | 22150k| 14.1 | 249M| 99 | 35 | 200 |3113 | 200 | 223 | 14M| 0 | 20k|-3.778571e+01 |-2.900000e+01 | 23.25%
896.89/897.06 c 897s| 1580k|153139 | 22268k| 14.1 | 249M| 99 | - | 200 |3113 | 200 | 235 | 14M| 0 | 20k|-3.775000e+01 |-2.900000e+01 | 23.18%
901.90/902.09 c 902s| 1590k|153669 | 22387k| 14.1 | 250M| 99 | - | 200 |3113 | 200 | 253 | 15M| 0 | 20k|-3.775000e+01 |-2.900000e+01 | 23.18%
906.89/907.09 c 907s| 1600k|154215 | 22505k| 14.1 | 251M| 99 | 11 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.775000e+01 |-2.900000e+01 | 23.18%
911.99/912.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.99/912.12 c 912s| 1610k|154695 | 22625k| 14.0 | 252M| 99 | 41 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.773077e+01 |-2.900000e+01 | 23.14%
916.99/917.14 c 917s| 1620k|155183 | 22743k| 14.0 | 253M| 99 | - | 200 |3113 | 200 | 255 | 15M| 0 | 20k|-3.770588e+01 |-2.900000e+01 | 23.09%
921.99/922.19 c 922s| 1630k|155683 | 22862k| 14.0 | 254M| 99 | - | 200 |3113 | 200 | 226 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
926.98/927.12 c 927s| 1640k|156127 | 22976k| 14.0 | 254M| 99 | 36 | 200 |3113 | 200 | 232 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
931.89/932.05 c 932s| 1650k|156545 | 23092k| 14.0 | 255M| 99 | 8 | 200 |3113 | 200 | 216 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
936.79/936.93 c 937s| 1660k|156957 | 23206k| 14.0 | 256M| 99 | - | 200 |3113 | 200 | 252 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
941.69/941.88 c 942s| 1670k|157453 | 23323k| 14.0 | 257M| 99 | 19 | 200 |3113 | 200 | 214 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
946.59/946.77 c 947s| 1680k|157847 | 23438k| 13.9 | 257M| 99 | - | 200 |3113 | 200 | 266 | 15M| 0 | 20k|-3.764130e+01 |-2.900000e+01 | 22.96%
951.59/951.78 c 952s| 1690k|158299 | 23556k| 13.9 | 258M| 99 | - | 200 |3113 | 200 | 243 | 15M| 0 | 20k|-3.762500e+01 |-2.900000e+01 | 22.92%
956.59/956.75 c 957s| 1700k|158677 | 23672k| 13.9 | 259M| 99 | - | 200 |3113 | 200 | 243 | 15M| 0 | 20k|-3.760000e+01 |-2.900000e+01 | 22.87%
961.58/961.73 c 962s| 1710k|159183 | 23790k| 13.9 | 260M| 99 | 45 | 200 |3113 | 200 | 233 | 16M| 0 | 20k|-3.758333e+01 |-2.900000e+01 | 22.84%
966.49/966.66 c 967s| 1720k|159617 | 23905k| 13.9 | 261M| 99 | 35 | 200 |3113 | 200 | 240 | 16M| 0 | 20k|-3.755556e+01 |-2.900000e+01 | 22.78%
971.49/971.60 c 972s| 1730k|160065 | 24021k| 13.9 | 261M| 99 | - | 200 |3113 | 200 | 217 | 16M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
976.39/976.56 c 977s| 1740k|160499 | 24137k| 13.9 | 262M| 99 | - | 200 |3113 | 200 | 228 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
981.39/981.50 c 981s| 1750k|160959 | 24253k| 13.9 | 263M| 99 | - | 200 |3113 | 200 | 230 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
986.29/986.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.29/986.48 c 986s| 1760k|161433 | 24371k| 13.8 | 264M| 99 | - | 200 |3113 | 200 | 223 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
991.29/991.47 c 991s| 1770k|161827 | 24490k| 13.8 | 264M| 99 | 35 | 200 |3113 | 200 | 225 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
996.19/996.39 c 996s| 1780k|162191 | 24605k| 13.8 | 265M| 99 | - | 200 |3113 | 200 | 225 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1001.09/1001.25 c 1001s| 1790k|162543 | 24718k| 13.8 | 266M| 99 | - | 200 |3113 | 200 | 253 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1005.99/1006.12 c 1006s| 1800k|162937 | 24832k| 13.8 | 266M| 99 | 24 | 200 |3113 | 200 | 212 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1010.99/1011.11 c 1011s| 1810k|163441 | 24949k| 13.8 | 267M| 99 | - | 200 |3113 | 200 | 218 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1015.79/1015.95 c 1016s| 1820k|163797 | 25060k| 13.8 | 268M| 99 | 5 | 200 |3113 | 200 | 216 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1020.71/1020.86 c 1021s| 1830k|164223 | 25174k| 13.8 | 269M| 99 | 24 | 200 |3113 | 200 | 223 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1025.59/1025.76 c 1026s| 1840k|164695 | 25290k| 13.7 | 269M| 99 | - | 200 |3113 | 200 | 213 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1030.61/1030.72 c 1031s| 1850k|165155 | 25407k| 13.7 | 270M| 99 | 33 | 200 |3113 | 200 | 224 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1035.39/1035.57 c 1036s| 1860k|165501 | 25520k| 13.7 | 271M| 99 | 3 | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1040.29/1040.48 c 1040s| 1870k|165903 | 25634k| 13.7 | 271M| 102 | - | 200 |3113 | 200 | 218 | 17M| 0 | 21k|-3.746154e+01 |-2.900000e+01 | 22.59%
1045.29/1045.43 c 1045s| 1880k|166297 | 25749k| 13.7 | 272M| 102 | 5 | 200 |3113 | 200 | 224 | 17M| 0 | 21k|-3.742857e+01 |-2.900000e+01 | 22.52%
1050.19/1050.36 c 1050s| 1890k|166541 | 25864k| 13.7 | 273M| 102 | 42 | 200 |3113 | 200 | 236 | 17M| 0 | 21k|-3.740000e+01 |-2.900000e+01 | 22.46%
1055.09/1055.24 c 1055s| 1900k|166863 | 25978k| 13.7 | 273M| 102 | 49 | 200 |3113 | 200 | 228 | 17M| 0 | 21k|-3.740000e+01 |-2.900000e+01 | 22.46%
1060.09/1060.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.09/1060.23 c 1060s| 1910k|167341 | 26095k| 13.7 | 274M| 102 | - | 200 |3113 | 200 | 230 | 17M| 0 | 21k|-3.737500e+01 |-2.900000e+01 | 22.41%
1064.99/1065.15 c 1065s| 1920k|167723 | 26210k| 13.6 | 275M| 102 | 12 | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.733333e+01 |-2.900000e+01 | 22.32%
1069.89/1070.00 c 1070s| 1930k|168099 | 26323k| 13.6 | 275M| 102 | 30 | 200 |3113 | 200 | 233 | 17M| 0 | 21k|-3.733333e+01 |-2.900000e+01 | 22.32%
1074.79/1074.93 c 1075s| 1940k|168491 | 26437k| 13.6 | 276M| 102 | 17 | 200 |3113 | 200 | 242 | 17M| 0 | 22k|-3.733333e+01 |-2.900000e+01 | 22.32%
1079.69/1079.82 c 1080s| 1950k|168965 | 26550k| 13.6 | 277M| 102 | 30 | 200 |3113 | 200 | 219 | 18M| 0 | 22k|-3.733333e+01 |-2.900000e+01 | 22.32%
1084.52/1084.68 c 1085s| 1960k|169351 | 26663k| 13.6 | 277M| 102 | 17 | 200 |3113 | 200 | 200 | 18M| 0 | 22k|-3.733333e+01 |-2.900000e+01 | 22.32%
1089.39/1089.55 c 1090s| 1970k|169717 | 26776k| 13.6 | 278M| 102 | - | 200 |3113 | 200 | 234 | 18M| 0 | 22k|-3.730000e+01 |-2.900000e+01 | 22.25%
1094.30/1094.50 c 1095s| 1980k|170089 | 26891k| 13.6 | 279M| 102 | 25 | 200 |3113 | 200 | 200 | 18M| 0 | 22k|-3.727273e+01 |-2.900000e+01 | 22.20%
1099.19/1099.32 c 1099s| 1990k|170359 | 27002k| 13.6 | 279M| 102 | 10 | 200 |3113 | 200 | 220 | 18M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1104.09/1104.20 c 1104s| 2000k|170723 | 27116k| 13.6 | 280M| 102 | 28 | 200 |3113 | 200 | 200 | 18M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1108.99/1109.10 c 1109s| 2010k|171205 | 27232k| 13.5 | 281M| 102 | 13 | 200 |3113 | 200 | 228 | 18M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1113.79/1113.99 c 1114s| 2020k|171655 | 27346k| 13.5 | 281M| 102 | - | 200 |3113 | 200 | 269 | 18M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1118.69/1118.87 c 1119s| 2030k|172077 | 27459k| 13.5 | 282M| 102 | 45 | 200 |3113 | 200 | 227 | 18M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1123.60/1123.75 c 1124s| 2040k|172455 | 27572k| 13.5 | 283M| 102 | - | 200 |3113 | 200 | 225 | 18M| 0 | 22k|-3.722222e+01 |-2.900000e+01 | 22.09%
1128.41/1128.55 c 1129s| 2050k|172861 | 27682k| 13.5 | 283M| 102 | 18 | 200 |3113 | 200 | 235 | 18M| 0 | 22k|-3.720000e+01 |-2.900000e+01 | 22.04%
1133.29/1133.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.29/1133.49 c 1133s| 2060k|173289 | 27797k| 13.5 | 284M| 102 | - | 200 |3113 | 200 | 239 | 18M| 0 | 22k|-3.719048e+01 |-2.900000e+01 | 22.02%
1138.20/1138.30 c 1138s| 2070k|173701 | 27908k| 13.5 | 285M| 102 | - | 200 |3113 | 200 | 212 | 19M| 0 | 22k|-3.716667e+01 |-2.900000e+01 | 21.97%
1143.00/1143.17 c 1143s| 2080k|174167 | 28022k| 13.5 | 286M| 102 | 11 | 200 |3113 | 200 | 216 | 19M| 0 | 22k|-3.716667e+01 |-2.900000e+01 | 21.97%
1147.89/1148.00 c 1148s| 2090k|174489 | 28134k| 13.5 | 286M| 102 | 12 | 200 |3113 | 200 | 229 | 19M| 0 | 22k|-3.714286e+01 |-2.900000e+01 | 21.92%
1152.61/1152.80 c 1153s| 2100k|174821 | 28244k| 13.4 | 287M| 102 | - | 200 |3113 | 200 | 231 | 19M| 0 | 22k|-3.712500e+01 |-2.900000e+01 | 21.89%
1157.40/1157.58 c 1158s| 2110k|175145 | 28355k| 13.4 | 287M| 102 | 9 | 200 |3113 | 200 | 231 | 19M| 0 | 22k|-3.711111e+01 |-2.900000e+01 | 21.86%
1162.29/1162.48 c 1162s| 2120k|175515 | 28468k| 13.4 | 288M| 102 | 44 | 200 |3113 | 200 | 224 | 19M| 0 | 22k|-3.709091e+01 |-2.900000e+01 | 21.81%
1167.19/1167.32 c 1167s| 2130k|175897 | 28580k| 13.4 | 289M| 102 | - | 200 |3113 | 200 | 241 | 19M| 0 | 23k|-3.705882e+01 |-2.900000e+01 | 21.75%
1172.00/1172.16 c 1172s| 2140k|176263 | 28692k| 13.4 | 289M| 102 | 4 | 200 |3113 | 200 | 218 | 19M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1176.81/1177.00 c 1177s| 2150k|176591 | 28804k| 13.4 | 290M| 102 | 59 | 200 |3113 | 200 | 231 | 19M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1181.69/1181.89 c 1182s| 2160k|176937 | 28916k| 13.4 | 291M| 102 | - | 200 |3113 | 200 | 238 | 19M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1186.49/1186.68 c 1187s| 2170k|177215 | 29028k| 13.4 | 291M| 102 | 9 | 200 |3113 | 200 | 218 | 19M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1191.40/1191.55 c 1192s| 2180k|177553 | 29141k| 13.4 | 292M| 102 | - | 200 |3113 | 200 | 253 | 19M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1196.30/1196.45 c 1196s| 2190k|177979 | 29256k| 13.4 | 293M| 102 | - | 200 |3113 | 200 | 229 | 19M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1201.20/1201.31 c 1201s| 2200k|178423 | 29369k| 13.3 | 293M| 102 | - | 200 |3113 | 200 | 248 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1205.99/1206.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.99/1206.17 c 1206s| 2210k|178787 | 29481k| 13.3 | 294M| 102 | 52 | 200 |3113 | 200 | 254 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1210.91/1211.02 c 1211s| 2220k|179177 | 29593k| 13.3 | 295M| 102 | 37 | 200 |3113 | 200 | 229 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1215.69/1215.84 c 1216s| 2230k|179545 | 29704k| 13.3 | 295M| 102 | 42 | 200 |3113 | 200 | 243 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1220.49/1220.65 c 1221s| 2240k|179927 | 29816k| 13.3 | 296M| 102 | - | 200 |3113 | 200 | 254 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1225.21/1225.40 c 1225s| 2250k|180229 | 29925k| 13.3 | 296M| 102 | 49 | 200 |3113 | 200 | 271 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1230.00/1230.19 c 1230s| 2260k|180561 | 30035k| 13.3 | 297M| 102 | 26 | 200 |3113 | 200 | 227 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1234.80/1234.98 c 1235s| 2270k|180907 | 30145k| 13.3 | 298M| 102 | 45 | 200 |3113 | 200 | 231 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1239.62/1239.78 c 1240s| 2280k|181247 | 30254k| 13.3 | 298M| 102 | 47 | 200 |3113 | 200 | 218 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1244.49/1244.61 c 1245s| 2290k|181599 | 30366k| 13.3 | 299M| 102 | 8 | 200 |3113 | 200 | 217 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1249.30/1249.46 c 1249s| 2300k|181991 | 30478k| 13.2 | 299M| 102 | - | 200 |3113 | 200 | 230 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1254.09/1254.20 c 1254s| 2310k|182343 | 30586k| 13.2 | 300M| 102 | - | 200 |3113 | 200 | 250 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1258.99/1259.11 c 1259s| 2320k|182689 | 30700k| 13.2 | 301M| 102 | 10 | 200 |3113 | 200 | 212 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1263.71/1263.87 c 1264s| 2330k|182937 | 30809k| 13.2 | 301M| 102 | 19 | 200 |3113 | 200 | 200 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1268.50/1268.66 c 1269s| 2340k|183195 | 30919k| 13.2 | 302M| 103 | - | 200 |3113 | 200 | 221 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1273.29/1273.42 c 1273s| 2350k|183511 | 31027k| 13.2 | 302M| 103 | - | 200 |3113 | 200 | 228 | 21M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1278.12/1278.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.12/1278.22 c 1278s| 2360k|183863 | 31138k| 13.2 | 303M| 103 | 22 | 200 |3113 | 200 | 223 | 21M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1282.90/1283.07 c 1283s| 2370k|184251 | 31251k| 13.2 | 304M| 103 | - | 200 |3113 | 200 | 213 | 21M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1287.80/1287.90 c 1288s| 2380k|184619 | 31362k| 13.2 | 304M| 107 | - | 200 |3113 | 200 | 255 | 21M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1292.50/1292.69 c 1293s| 2390k|184997 | 31473k| 13.2 | 305M| 107 | - | 200 |3113 | 200 | 251 | 21M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1297.40/1297.60 c 1298s| 2400k|185393 | 31588k| 13.2 | 306M| 107 | 56 | 200 |3113 | 200 | 242 | 21M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1302.32/1302.46 c 1302s| 2410k|185751 | 31701k| 13.1 | 306M| 107 | 24 | 200 |3113 | 200 | 229 | 21M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1307.00/1307.19 c 1307s| 2420k|185977 | 31808k| 13.1 | 307M| 107 | - | 200 |3113 | 200 | 227 | 21M| 0 | 24k|-3.694915e+01 |-2.900000e+01 | 21.51%
1311.80/1311.97 c 1312s| 2430k|186293 | 31917k| 13.1 | 307M| 107 | 36 | 200 |3113 | 200 | 226 | 21M| 0 | 24k|-3.691667e+01 |-2.900000e+01 | 21.44%
1316.62/1316.77 c 1317s| 2440k|186581 | 32027k| 13.1 | 308M| 107 | 33 | 200 |3113 | 200 | 233 | 21M| 0 | 24k|-3.690000e+01 |-2.900000e+01 | 21.41%
1321.50/1321.65 c 1322s| 2450k|186901 | 32139k| 13.1 | 308M| 107 | 46 | 200 |3113 | 200 | 239 | 22M| 0 | 24k|-3.687500e+01 |-2.900000e+01 | 21.36%
1326.20/1326.39 c 1326s| 2460k|187195 | 32247k| 13.1 | 309M| 107 | 28 | 200 |3113 | 200 | 231 | 22M| 0 | 24k|-3.687500e+01 |-2.900000e+01 | 21.36%
1331.00/1331.15 c 1331s| 2470k|187539 | 32356k| 13.1 | 310M| 107 | - | 200 |3113 | 200 | 210 | 22M| 0 | 24k|-3.685714e+01 |-2.900000e+01 | 21.32%
1335.79/1335.93 c 1336s| 2480k|187833 | 32464k| 13.1 | 310M| 107 | 43 | 200 |3113 | 200 | 237 | 22M| 0 | 24k|-3.683333e+01 |-2.900000e+01 | 21.27%
1340.50/1340.69 c 1341s| 2490k|188089 | 32572k| 13.1 | 311M| 107 | - | 200 |3113 | 200 | 225 | 22M| 0 | 24k|-3.683333e+01 |-2.900000e+01 | 21.27%
1345.30/1345.44 c 1345s| 2500k|188437 | 32681k| 13.1 | 311M| 107 | 42 | 200 |3113 | 200 | 228 | 22M| 0 | 24k|-3.683333e+01 |-2.900000e+01 | 21.27%
1350.10/1350.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.10/1350.28 c 1350s| 2510k|188697 | 32790k| 13.1 | 312M| 107 | - | 200 |3113 | 200 | 227 | 22M| 0 | 24k|-3.681250e+01 |-2.900000e+01 | 21.22%
1354.90/1355.02 c 1355s| 2520k|189057 | 32899k| 13.1 | 312M| 107 | 33 | 200 |3113 | 200 | 234 | 22M| 0 | 24k|-3.680000e+01 |-2.900000e+01 | 21.20%
1359.70/1359.82 c 1360s| 2530k|189379 | 33008k| 13.0 | 313M| 107 | - | 200 |3113 | 200 | 237 | 22M| 0 | 24k|-3.680000e+01 |-2.900000e+01 | 21.20%
1364.50/1364.61 c 1365s| 2540k|189671 | 33117k| 13.0 | 313M| 107 | 56 | 200 |3113 | 200 | 237 | 22M| 0 | 24k|-3.677551e+01 |-2.900000e+01 | 21.14%
1369.20/1369.30 c 1369s| 2550k|189917 | 33223k| 13.0 | 314M| 107 | - | 200 |3113 | 200 | 241 | 22M| 0 | 24k|-3.675000e+01 |-2.900000e+01 | 21.09%
1373.90/1374.05 c 1374s| 2560k|190177 | 33330k| 13.0 | 314M| 107 | - | 200 |3113 | 200 | 239 | 22M| 0 | 24k|-3.675000e+01 |-2.900000e+01 | 21.09%
1378.60/1378.77 c 1379s| 2570k|190501 | 33438k| 13.0 | 315M| 107 | 45 | 200 |3113 | 200 | 223 | 23M| 0 | 24k|-3.675000e+01 |-2.900000e+01 | 21.09%
1383.30/1383.48 c 1383s| 2580k|190769 | 33546k| 13.0 | 315M| 107 | 6 | 200 |3113 | 200 | 230 | 23M| 0 | 24k|-3.675000e+01 |-2.900000e+01 | 21.09%
1388.20/1388.30 c 1388s| 2590k|191067 | 33656k| 13.0 | 316M| 107 | - | 200 |3113 | 200 | 239 | 23M| 0 | 25k|-3.675000e+01 |-2.900000e+01 | 21.09%
1392.90/1393.04 c 1393s| 2600k|191401 | 33764k| 13.0 | 317M| 107 | 54 | 200 |3113 | 200 | 252 | 23M| 0 | 25k|-3.675000e+01 |-2.900000e+01 | 21.09%
1397.60/1397.76 c 1398s| 2610k|191667 | 33871k| 13.0 | 317M| 107 | 50 | 200 |3113 | 200 | 210 | 23M| 0 | 25k|-3.675000e+01 |-2.900000e+01 | 21.09%
1402.32/1402.50 c 1402s| 2620k|191933 | 33977k| 13.0 | 318M| 107 | - | 200 |3113 | 200 | 229 | 23M| 0 | 25k|-3.672727e+01 |-2.900000e+01 | 21.04%
1407.10/1407.22 c 1407s| 2630k|192217 | 34085k| 13.0 | 318M| 107 | - | 200 |3113 | 200 | 235 | 23M| 0 | 25k|-3.671429e+01 |-2.900000e+01 | 21.01%
1411.80/1411.98 c 1412s| 2640k|192535 | 34192k| 12.9 | 319M| 107 | 15 | 200 |3113 | 200 | 213 | 23M| 0 | 25k|-3.669231e+01 |-2.900000e+01 | 20.96%
1416.62/1416.73 c 1417s| 2650k|192855 | 34301k| 12.9 | 319M| 107 | - | 200 |3113 | 200 | 269 | 23M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1421.40/1421.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.40/1421.50 c 1422s| 2660k|193195 | 34411k| 12.9 | 320M| 107 | 10 | 200 |3113 | 200 | 239 | 23M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1426.20/1426.30 c 1426s| 2670k|193505 | 34521k| 12.9 | 320M| 107 | 12 | 200 |3113 | 200 | 218 | 23M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1430.92/1431.07 c 1431s| 2680k|193793 | 34629k| 12.9 | 321M| 107 | 27 | 200 |3113 | 200 | 215 | 23M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1435.70/1435.80 c 1436s| 2690k|194105 | 34737k| 12.9 | 322M| 107 | - | 200 |3113 | 200 | 243 | 23M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1440.40/1440.58 c 1441s| 2700k|194401 | 34846k| 12.9 | 322M| 107 | - | 200 |3113 | 200 | 220 | 24M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1445.22/1445.36 c 1445s| 2710k|194671 | 34955k| 12.9 | 323M| 107 | - | 200 |3113 | 200 | 250 | 24M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1449.90/1450.09 c 1450s| 2720k|194951 | 35062k| 12.9 | 323M| 107 | - | 200 |3113 | 200 | 240 | 24M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1454.70/1454.87 c 1455s| 2730k|195317 | 35172k| 12.9 | 324M| 107 | 40 | 200 |3113 | 200 | 237 | 24M| 0 | 25k|-3.664706e+01 |-2.900000e+01 | 20.87%
1459.52/1459.62 c 1460s| 2740k|195631 | 35279k| 12.9 | 324M| 107 | 28 | 200 |3113 | 200 | 219 | 24M| 0 | 25k|-3.662500e+01 |-2.900000e+01 | 20.82%
1464.20/1464.37 c 1464s| 2750k|195943 | 35386k| 12.9 | 325M| 107 | 35 | 200 |3113 | 200 | 218 | 24M| 0 | 25k|-3.662500e+01 |-2.900000e+01 | 20.82%
1468.90/1469.04 c 1469s| 2760k|196235 | 35491k| 12.9 | 325M| 107 | - | 200 |3113 | 200 | 244 | 24M| 0 | 25k|-3.660000e+01 |-2.900000e+01 | 20.77%
1473.61/1473.76 c 1474s| 2770k|196457 | 35597k| 12.8 | 326M| 107 | 47 | 200 |3113 | 200 | 265 | 24M| 0 | 25k|-3.660000e+01 |-2.900000e+01 | 20.77%
1478.32/1478.44 c 1478s| 2780k|196731 | 35701k| 12.8 | 326M| 107 | 6 | 200 |3113 | 200 | 200 | 24M| 0 | 25k|-3.658333e+01 |-2.900000e+01 | 20.73%
1483.00/1483.10 c 1483s| 2790k|196951 | 35805k| 12.8 | 327M| 107 | - | 200 |3113 | 200 | 253 | 24M| 0 | 25k|-3.657143e+01 |-2.900000e+01 | 20.70%
1487.70/1487.85 c 1488s| 2800k|197225 | 35912k| 12.8 | 327M| 107 | - | 200 |3113 | 200 | 233 | 24M| 0 | 25k|-3.655000e+01 |-2.900000e+01 | 20.66%
1492.40/1492.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.40/1492.57 c 1493s| 2810k|197479 | 36019k| 12.8 | 328M| 107 | 60 | 200 |3113 | 200 | 249 | 24M| 0 | 25k|-3.652000e+01 |-2.900000e+01 | 20.59%
1497.20/1497.37 c 1497s| 2820k|197751 | 36128k| 12.8 | 328M| 112 | 14 | 200 |3113 | 200 | 226 | 24M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1501.90/1502.08 c 1502s| 2830k|197981 | 36234k| 12.8 | 329M| 112 | - | 200 |3113 | 200 | 229 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1506.60/1506.76 c 1507s| 2840k|198209 | 36339k| 12.8 | 329M| 112 | - | 200 |3113 | 200 | 231 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1511.40/1511.51 c 1512s| 2850k|198557 | 36447k| 12.8 | 330M| 112 | - | 200 |3113 | 200 | 225 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1516.10/1516.24 c 1516s| 2860k|198823 | 36555k| 12.8 | 330M| 112 | 20 | 200 |3113 | 200 | 231 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1520.80/1520.98 c 1521s| 2870k|199083 | 36662k| 12.8 | 331M| 112 | - | 200 |3113 | 200 | 230 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1525.52/1525.70 c 1526s| 2880k|199353 | 36768k| 12.8 | 331M| 112 | - | 200 |3113 | 200 | 223 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1530.20/1530.37 c 1530s| 2890k|199603 | 36873k| 12.8 | 332M| 112 | 40 | 200 |3113 | 200 | 234 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1534.91/1535.08 c 1535s| 2900k|199927 | 36979k| 12.7 | 332M| 112 | 51 | 200 |3113 | 200 | 242 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1539.60/1539.76 c 1540s| 2910k|200225 | 37087k| 12.7 | 333M| 112 | - | 200 |3113 | 200 | 237 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1544.32/1544.45 c 1544s| 2920k|200423 | 37192k| 12.7 | 333M| 112 | 20 | 200 |3113 | 200 | 228 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1549.01/1549.14 c 1549s| 2930k|200623 | 37297k| 12.7 | 334M| 112 | - | 200 |3113 | 200 | 253 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1553.70/1553.85 c 1554s| 2940k|200897 | 37403k| 12.7 | 334M| 112 | - | 200 |3113 | 200 | 219 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1558.31/1558.46 c 1558s| 2950k|201095 | 37506k| 12.7 | 335M| 112 | 56 | 200 |3113 | 200 | 250 | 25M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1563.03/1563.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.03/1563.14 c 1563s| 2960k|201297 | 37611k| 12.7 | 335M| 112 | - | 200 |3113 | 200 | 228 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1567.61/1567.79 c 1568s| 2970k|201579 | 37716k| 12.7 | 336M| 112 | - | 200 |3113 | 200 | 232 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1572.30/1572.43 c 1572s| 2980k|201879 | 37821k| 12.7 | 336M| 112 | - | 200 |3113 | 200 | 225 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1576.90/1577.07 c 1577s| 2990k|202105 | 37924k| 12.7 | 337M| 112 | 28 | 200 |3113 | 200 | 227 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1581.62/1581.72 c 1582s| 3000k|202317 | 38027k| 12.7 | 337M| 112 | 36 | 200 |3113 | 200 | 226 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1586.20/1586.34 c 1586s| 3010k|202487 | 38129k| 12.7 | 338M| 112 | - | 200 |3113 | 200 | 230 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1590.91/1591.01 c 1591s| 3020k|202715 | 38234k| 12.7 | 338M| 112 | - | 200 |3113 | 200 | 240 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1595.51/1595.67 c 1596s| 3030k|202923 | 38338k| 12.6 | 338M| 112 | 17 | 200 |3113 | 200 | 213 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1600.20/1600.30 c 1600s| 3040k|203137 | 38441k| 12.6 | 339M| 112 | 16 | 200 |3113 | 200 | 208 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1604.91/1605.02 c 1605s| 3050k|203433 | 38549k| 12.6 | 339M| 112 | 22 | 200 |3113 | 200 | 234 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1609.51/1609.69 c 1610s| 3060k|203713 | 38654k| 12.6 | 340M| 112 | - | 200 |3113 | 200 | 231 | 26M| 0 | 26k|-3.650000e+01 |-2.900000e+01 | 20.55%
1614.21/1614.36 c 1614s| 3070k|203957 | 38759k| 12.6 | 340M| 112 | - | 200 |3113 | 200 | 231 | 26M| 0 | 26k|-3.646154e+01 |-2.900000e+01 | 20.46%
1618.91/1619.03 c 1619s| 3080k|204167 | 38864k| 12.6 | 341M| 112 | - | 200 |3113 | 200 | 227 | 26M| 0 | 27k|-3.644444e+01 |-2.900000e+01 | 20.43%
1623.61/1623.71 c 1624s| 3090k|204367 | 38969k| 12.6 | 341M| 112 | - | 200 |3113 | 200 | 234 | 27M| 0 | 27k|-3.642857e+01 |-2.900000e+01 | 20.39%
1628.31/1628.41 c 1628s| 3100k|204645 | 39074k| 12.6 | 342M| 112 | - | 200 |3113 | 200 | 233 | 27M| 0 | 27k|-3.640000e+01 |-2.900000e+01 | 20.33%
1633.00/1633.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.00/1633.11 c 1633s| 3110k|204911 | 39179k| 12.6 | 342M| 112 | 5 | 200 |3113 | 200 | 225 | 27M| 0 | 27k|-3.640000e+01 |-2.900000e+01 | 20.33%
1637.72/1637.84 c 1638s| 3120k|205173 | 39286k| 12.6 | 343M| 112 | 40 | 200 |3113 | 200 | 229 | 27M| 0 | 27k|-3.639048e+01 |-2.900000e+01 | 20.31%
1642.41/1642.55 c 1643s| 3130k|205423 | 39392k| 12.6 | 343M| 112 | 12 | 200 |3113 | 200 | 219 | 27M| 0 | 27k|-3.637500e+01 |-2.900000e+01 | 20.27%
1647.01/1647.12 c 1647s| 3140k|205607 | 39494k| 12.6 | 344M| 112 | - | 200 |3113 | 200 | 219 | 27M| 0 | 27k|-3.636364e+01 |-2.900000e+01 | 20.25%
1651.61/1651.77 c 1652s| 3150k|205855 | 39597k| 12.6 | 344M| 112 | - | 200 |3113 | 200 | 262 | 27M| 0 | 27k|-3.633333e+01 |-2.900000e+01 | 20.18%
1656.31/1656.44 c 1656s| 3160k|206127 | 39702k| 12.6 | 345M| 112 | 10 | 200 |3113 | 200 | 227 | 27M| 0 | 27k|-3.633333e+01 |-2.900000e+01 | 20.18%
1661.01/1661.13 c 1661s| 3170k|206387 | 39807k| 12.6 | 345M| 112 | - | 200 |3113 | 200 | 246 | 27M| 0 | 27k|-3.633333e+01 |-2.900000e+01 | 20.18%
1665.60/1665.72 c 1666s| 3180k|206593 | 39910k| 12.5 | 345M| 112 | 44 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.633333e+01 |-2.900000e+01 | 20.18%
1670.21/1670.37 c 1670s| 3190k|206807 | 40013k| 12.5 | 346M| 112 | - | 200 |3113 | 200 | 246 | 27M| 0 | 27k|-3.633333e+01 |-2.900000e+01 | 20.18%
1674.91/1675.03 c 1675s| 3200k|207051 | 40118k| 12.5 | 346M| 112 | - | 200 |3113 | 200 | 237 | 27M| 0 | 27k|-3.633333e+01 |-2.900000e+01 | 20.18%
1677.32/1677.46 o -30
1677.32/1677.46 c *1677s| 3204k|173060 | 40170k| 12.5 | 292M| 112 | - | 200 |3113 | 200 | 242 | 27M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1679.71/1679.88 c 1680s| 3210k|173016 | 40219k| 12.5 | 292M| 112 | 26 | 200 |3113 | 200 | 222 | 27M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1684.31/1684.49 c 1684s| 3220k|172990 | 40318k| 12.5 | 292M| 112 | 28 | 200 |3113 | 200 | 219 | 28M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1688.91/1689.07 c 1689s| 3230k|172910 | 40417k| 12.5 | 293M| 112 | - | 200 |3113 | 200 | 232 | 28M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1693.51/1693.62 c 1694s| 3240k|172852 | 40515k| 12.5 | 293M| 112 | - | 200 |3113 | 200 | 244 | 28M| 0 | 27k|-3.630000e+01 |-3.000000e+01 | 17.36%
1698.11/1698.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.11/1698.23 c 1698s| 3250k|172816 | 40615k| 12.5 | 293M| 112 | 47 | 200 |3113 | 200 | 248 | 28M| 0 | 27k|-3.628571e+01 |-3.000000e+01 | 17.32%
1702.73/1702.86 c 1703s| 3260k|172776 | 40715k| 12.5 | 293M| 112 | - | 200 |3113 | 200 | 243 | 28M| 0 | 27k|-3.627273e+01 |-3.000000e+01 | 17.29%
1707.31/1707.42 c 1707s| 3270k|172712 | 40813k| 12.5 | 293M| 112 | - | 200 |3113 | 200 | 245 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1711.81/1711.92 c 1712s| 3280k|172628 | 40911k| 12.5 | 293M| 112 | - | 200 |3113 | 200 | 218 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1716.41/1716.50 c 1716s| 3290k|172580 | 41011k| 12.5 | 293M| 112 | 32 | 200 |3113 | 200 | 220 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1721.01/1721.12 c 1721s| 3300k|172602 | 41114k| 12.5 | 293M| 112 | - | 200 |3113 | 200 | 218 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1725.51/1725.69 c 1726s| 3310k|172558 | 41213k| 12.4 | 293M| 112 | - | 200 |3113 | 200 | 245 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1730.13/1730.22 c 1730s| 3320k|172510 | 41310k| 12.4 | 293M| 112 | 34 | 200 |3113 | 200 | 232 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1734.63/1734.74 c 1735s| 3330k|172434 | 41407k| 12.4 | 294M| 112 | 35 | 200 |3113 | 200 | 210 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1739.11/1739.28 c 1739s| 3340k|172396 | 41506k| 12.4 | 294M| 112 | 26 | 200 |3113 | 200 | 225 | 28M| 0 | 27k|-3.623529e+01 |-3.000000e+01 | 17.21%
1743.61/1743.79 c 1744s| 3350k|172354 | 41604k| 12.4 | 294M| 112 | 34 | 200 |3113 | 200 | 219 | 28M| 0 | 28k|-3.621053e+01 |-3.000000e+01 | 17.15%
1748.21/1748.32 c 1748s| 3360k|172302 | 41702k| 12.4 | 294M| 112 | 6 | 200 |3113 | 200 | 214 | 29M| 0 | 28k|-3.620000e+01 |-3.000000e+01 | 17.13%
1752.71/1752.85 c 1753s| 3370k|172246 | 41800k| 12.4 | 294M| 112 | - | 200 |3113 | 200 | 227 | 29M| 0 | 28k|-3.620000e+01 |-3.000000e+01 | 17.13%
1757.31/1757.41 c 1757s| 3380k|172168 | 41898k| 12.4 | 294M| 112 | 55 | 200 |3113 | 200 | 259 | 29M| 0 | 28k|-3.618182e+01 |-3.000000e+01 | 17.09%
1761.82/1761.93 c 1762s| 3390k|172130 | 41996k| 12.4 | 294M| 112 | 6 | 200 |3113 | 200 | 225 | 29M| 0 | 28k|-3.616667e+01 |-3.000000e+01 | 17.05%
1766.31/1766.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.31/1766.48 c 1766s| 3400k|172058 | 42093k| 12.4 | 294M| 112 | - | 200 |3113 | 200 | 226 | 29M| 0 | 28k|-3.616667e+01 |-3.000000e+01 | 17.05%
1770.83/1771.00 c 1771s| 3410k|171994 | 42190k| 12.4 | 294M| 112 | - | 200 |3113 | 200 | 227 | 29M| 0 | 28k|-3.616667e+01 |-3.000000e+01 | 17.05%
1775.52/1775.61 c 1776s| 3420k|171984 | 42291k| 12.4 | 294M| 112 | 34 | 200 |3113 | 200 | 218 | 29M| 0 | 28k|-3.614286e+01 |-3.000000e+01 | 17.00%
1779.91/1780.09 c 1780s| 3430k|171940 | 42386k| 12.4 | 294M| 112 | - | 200 |3113 | 200 | 212 | 29M| 0 | 28k|-3.612500e+01 |-3.000000e+01 | 16.96%
1784.51/1784.61 c 1785s| 3440k|171870 | 42483k| 12.3 | 295M| 112 | 20 | 200 |3113 | 200 | 214 | 29M| 0 | 28k|-3.611111e+01 |-3.000000e+01 | 16.92%
1789.01/1789.10 c 1789s| 3450k|171818 | 42579k| 12.3 | 295M| 112 | - | 200 |3113 | 200 | 235 | 29M| 0 | 28k|-3.610000e+01 |-3.000000e+01 | 16.90%
1793.52/1793.70 c 1794s| 3460k|171718 | 42678k| 12.3 | 295M| 112 | - | 200 |3113 | 200 | 215 | 29M| 0 | 28k|-3.608333e+01 |-3.000000e+01 | 16.86%
1798.11/1798.20 c 1798s| 3470k|171668 | 42775k| 12.3 | 295M| 112 | 41 | 200 |3113 | 200 | 244 | 29M| 0 | 28k|-3.606897e+01 |-3.000000e+01 | 16.83%
1799.91/1800.00 c
1799.91/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.91/1800.00 c Solving Time (sec) : 1800.00
1799.91/1800.00 c Solving Nodes : 3473823
1799.91/1800.00 c Primal Bound : -3.00000000000000e+01 (542 solutions)
1799.91/1800.00 c Dual Bound : -3.60555555555556e+01
1799.91/1800.00 c Gap : 16.80 %
1799.91/1800.01 s SATISFIABLE
1799.91/1800.01 v -x200 -x199 x198 x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 x181 -x180 -x179 -x178
1799.91/1800.01 v -x177 -x176 -x175 -x174 x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 x157
1799.91/1800.01 v -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 x141 -x140 -x139 -x138 x137 x136 -x135
1799.91/1800.01 v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1799.91/1800.01 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92
1799.91/1800.01 v x91 -x90 -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
1799.91/1800.01 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
1799.91/1800.01 v -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1799.91/1800.01 v x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.91/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.91/1800.01 c Total Time : 1800.00
1799.91/1800.01 c solving : 1800.00
1799.91/1800.01 c presolving : 0.08 (included in solving)
1799.91/1800.01 c reading : 0.02 (included in solving)
1799.91/1800.01 c Original Problem :
1799.91/1800.01 c Problem name : HOME/instance-3450681-1307106795.opb
1799.91/1800.01 c Variables : 3313 (3313 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.01 c Constraints : 3513 initial, 3513 maximal
1799.91/1800.01 c Presolved Problem :
1799.91/1800.01 c Problem name : t_HOME/instance-3450681-1307106795.opb
1799.91/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.01 c Constraints : 3113 initial, 3113 maximal
1799.91/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.91/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c and : 0.03 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c linear : 0.01 3113 0 0 3113 0 200 0 0 0
1799.91/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1799.91/1800.01 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1799.91/1800.01 c root node : - 0 - - 0 - - - - -
1799.91/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.91/1800.01 c integral : 0 0 0 2898915 0 673443 0 232 1806 0 0 3693920
1799.91/1800.01 c logicor : 3113 70 3484305 1050909 0 673439 142 17 19465749 29849821 0 0
1799.91/1800.01 c countsols : 0 0 0 7 0 537 0 0 0 0 0 0
1799.91/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.91/1800.01 c integral : 38.04 0.00 0.00 37.90 0.00 0.14 0.00
1799.91/1800.01 c logicor : 153.02 0.03 73.55 48.37 0.00 31.07 0.00
1799.91/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.91/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.91/1800.01 c vbounds : 0 0 0 0
1799.91/1800.01 c rootredcost : 8 0 0 0
1799.91/1800.01 c pseudoobj : 5611654 2 0 6
1799.91/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1799.91/1800.01 c vbounds : 0.98 0.98 0.00
1799.91/1800.01 c rootredcost : 1.13 1.13 0.00
1799.91/1800.01 c pseudoobj : 25.36 25.36 0.00
1799.91/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.91/1800.01 c propagation : 0.00 17 0 0 0.0 0 0.0 -
1799.91/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.91/1800.01 c applied globally : - - - 0 0.0 - - -
1799.91/1800.01 c applied locally : - - - 0 0.0 - - -
1799.91/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.91/1800.01 c cut pool : 0.08 69 - - 183 - (maximal pool size: 3455)
1799.91/1800.01 c redcost : 15.31 3102639 0 364650 0 0
1799.91/1800.01 c impliedbounds : 0.01 70 0 0 1573 0
1799.91/1800.01 c intobj : 0.00 0 0 0 0 0
1799.91/1800.01 c gomory : 1.79 70 0 0 11474 0
1799.91/1800.01 c cgmip : 0.00 0 0 0 0 0
1799.91/1800.01 c closecuts : 0.00 0 0 0 0 0
1799.91/1800.01 c strongcg : 0.35 20 0 0 8935 0
1799.91/1800.01 c cmir : 0.06 10 0 0 0 0
1799.91/1800.01 c flowcover : 0.05 10 0 0 0 0
1799.91/1800.01 c clique : 0.18 70 0 0 584 0
1799.91/1800.01 c zerohalf : 0.00 0 0 0 0 0
1799.91/1800.01 c mcf : 0.00 1 0 0 0 0
1799.91/1800.01 c oddcycle : 0.00 0 0 0 0 0
1799.91/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1799.91/1800.01 c Pricers : Time Calls Vars
1799.91/1800.01 c problem variables: 0.00 0 0
1799.91/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.91/1800.01 c relpscost : 36.56 1848006 232 1806 0 0 3693920
1799.91/1800.01 c pscost : 0.00 0 0 0 0 0 0
1799.91/1800.01 c inference : 0.00 1 0 0 0 0 2
1799.91/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1799.91/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1799.91/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1799.91/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1799.91/1800.01 c random : 0.00 0 0 0 0 0 0
1799.91/1800.01 c Primal Heuristics : Time Calls Found
1799.91/1800.01 c LP solutions : 0.14 - 7
1799.91/1800.01 c pseudo solutions : 0.00 - 0
1799.91/1800.01 c feaspump : 0.07 0 0
1799.91/1800.01 c oneopt : 0.77 10 1
1799.91/1800.01 c crossover : 1.82 40 26
1799.91/1800.01 c linesearchdiving : 0.35 330 3
1799.91/1800.01 c coefdiving : 0.32 330 7
1799.91/1800.01 c veclendiving : 0.32 331 10
1799.91/1800.01 c pscostdiving : 0.33 331 4
1799.91/1800.01 c guideddiving : 0.38 331 5
1799.91/1800.01 c fracdiving : 0.37 331 3
1799.91/1800.01 c rootsoldiving : 0.37 166 1
1799.91/1800.01 c objpscostdiving : 0.16 166 6
1799.91/1800.01 c trivial : 0.00 2 1
1799.91/1800.01 c shiftandpropagate: 0.00 0 0
1799.91/1800.01 c simplerounding : 41.86 1850351 458
1799.91/1800.01 c zirounding : 0.68 1000 8
1799.91/1800.01 c rounding : 4.22 66029 1
1799.91/1800.01 c shifting : 0.65 8394 1
1799.91/1800.01 c intshifting : 0.04 0 0
1799.91/1800.01 c twoopt : 0.00 0 0
1799.91/1800.01 c fixandinfer : 0.00 0 0
1799.91/1800.01 c clique : 0.00 0 0
1799.91/1800.01 c intdiving : 0.00 0 0
1799.91/1800.01 c actconsdiving : 0.00 0 0
1799.91/1800.01 c octane : 0.00 0 0
1799.91/1800.01 c rens : 0.01 0 0
1799.91/1800.01 c rins : 0.00 0 0
1799.91/1800.01 c localbranching : 0.00 0 0
1799.91/1800.01 c mutation : 0.00 0 0
1799.91/1800.01 c dins : 0.00 0 0
1799.91/1800.01 c vbounds : 0.00 0 0
1799.91/1800.01 c undercover : 0.01 1 0
1799.91/1800.01 c subnlp : 0.51 0 0
1799.91/1800.01 c trysol : 0.78 0 0
1799.91/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1799.91/1800.01 c primal LP : 37.54 0 0 0.00 0.00
1799.91/1800.01 c dual LP : 1098.36 4530675 42783547 9.44 38952.14
1799.91/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1799.91/1800.01 c barrier LP : 0.00 0 0 0.00 -
1799.91/1800.01 c diving/probing LP: 1.27 6298 32281 5.13 25479.96
1799.91/1800.01 c strong branching : 16.64 28470 437898 15.38 26317.54
1799.91/1800.01 c (at root node) : - 22 15644 711.09 -
1799.91/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1799.91/1800.01 c B&B Tree :
1799.91/1800.01 c number of runs : 1
1799.91/1800.01 c nodes : 3473823
1799.91/1800.01 c nodes (total) : 3473823
1799.91/1800.01 c nodes left : 171697
1799.91/1800.01 c max depth : 112
1799.91/1800.01 c max depth (total): 112
1799.91/1800.01 c backtracks : 407950 (11.7%)
1799.91/1800.01 c delayed cutoffs : 0
1799.91/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.91/1800.01 c avg switch length: 5.33
1799.91/1800.01 c switching time : 156.65
1799.91/1800.01 c Solution :
1799.91/1800.01 c Solutions found : 542 (11 improvements)
1799.91/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1799.91/1800.01 c Primal Bound : -3.00000000000000e+01 (in run 1, after 3204958 nodes, 1677.34 seconds, depth 46, found by <relaxation>)
1799.91/1800.01 c Dual Bound : -3.60555555555556e+01
1799.91/1800.01 c Gap : 16.80 %
1799.91/1800.01 c Root Dual Bound : -4.87894434812784e+01
1799.91/1800.01 c Root Iterations : 12136
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450681-1307106795/watcher-3450681-1307106795 -o /tmp/evaluation-result-3450681-1307106795/solver-3450681-1307106795 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450681-1307106795.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 3/575 24993
/proc/meminfo: memFree=23374312/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=15076 CPUtime=0 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 2784 0 0 0 0 0 0 0 25 0 1 0 822277285 15437824 2737 33554432000 4194304 9163163 140733840589152 18446744073709551615 6137908 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24993/statm: 3769 2737 415 1214 0 2551 0
[startup+0.0595739 s]
/proc/loadavg: 2.02 2.04 2.00 3/575 24993
/proc/meminfo: memFree=23374312/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=28144 CPUtime=0.04 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 6017 0 0 0 4 0 0 0 25 0 1 0 822277285 28819456 5712 33554432000 4194304 9163163 140733840589152 18446744073709551615 18446744073699065947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 7036 5712 505 1214 0 5818 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28144
[startup+0.100567 s]
/proc/loadavg: 2.02 2.04 2.00 3/575 24993
/proc/meminfo: memFree=23374312/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=31680 CPUtime=0.08 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 6942 0 0 0 8 0 0 0 25 0 1 0 822277285 32440320 6637 33554432000 4194304 9163163 140733840589152 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 7920 6637 544 1214 0 6702 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31680
[startup+0.300535 s]
/proc/loadavg: 2.02 2.04 2.00 3/575 24993
/proc/meminfo: memFree=23374312/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=38980 CPUtime=0.28 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 11400 0 0 0 27 1 0 0 18 0 1 0 822277285 39915520 8648 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 9745 8648 691 1214 0 8527 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 38980
[startup+0.700456 s]
/proc/loadavg: 2.02 2.04 2.00 3/575 24993
/proc/meminfo: memFree=23374312/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=45448 CPUtime=0.68 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 12921 0 0 0 66 2 0 0 18 0 1 0 822277285 46538752 10169 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 11362 10169 692 1214 0 10144 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45448
[startup+1.50031 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 24994
/proc/meminfo: memFree=23332780/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=57168 CPUtime=1.48 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 15971 0 0 0 143 5 0 0 19 0 1 0 822277285 58540032 13172 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 14292 13172 700 1214 0 13074 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 57168
[startup+3.10102 s]
/proc/loadavg: 2.10 2.06 2.01 3/576 24994
/proc/meminfo: memFree=23316164/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=63032 CPUtime=3.09 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 17519 0 0 0 299 10 0 0 24 0 1 0 822277285 64544768 14713 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 15758 14713 713 1214 0 14540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63032
[startup+6.30043 s]
/proc/loadavg: 2.10 2.06 2.01 3/576 24994
/proc/meminfo: memFree=23314960/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=63032 CPUtime=6.29 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 19367 0 0 0 593 36 0 0 25 0 1 0 822277285 64544768 14770 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 15758 14770 714 1214 0 14540 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63032
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.00 3/576 24994
/proc/meminfo: memFree=23313380/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=64412 CPUtime=12.69 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 36563 0 0 0 1158 111 0 0 25 0 1 0 822277285 65957888 15106 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 16103 15106 731 1214 0 14885 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64412
[startup+25.5009 s]
/proc/loadavg: 2.07 2.05 2.00 3/576 24995
/proc/meminfo: memFree=23305332/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=71820 CPUtime=25.49 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 55905 0 0 0 2283 266 0 0 25 0 1 0 822277285 73543680 16961 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 17955 16961 731 1214 0 16737 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71820
[startup+51.1003 s]
/proc/loadavg: 2.05 2.05 2.00 3/576 24995
/proc/meminfo: memFree=23288592/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=86452 CPUtime=51.09 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 73584 0 0 0 4524 585 0 0 25 0 1 0 822277285 88526848 20613 33554432000 4194304 9163163 140733840589152 18446744073709551615 4240344 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 21613 20613 731 1214 0 20395 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86452
[startup+102.322 s]
/proc/loadavg: 2.09 2.07 2.01 3/576 24997
/proc/meminfo: memFree=23260216/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=111220 CPUtime=102.31 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 86844 0 0 0 9009 1222 0 0 25 0 1 0 822277285 113889280 26863 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 27805 26863 734 1214 0 26587 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 111220
[startup+162.301 s]
/proc/loadavg: 2.16 2.09 2.02 3/576 24998
/proc/meminfo: memFree=23230928/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=135004 CPUtime=162.29 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 96436 0 0 0 14247 1982 0 0 25 0 1 0 822277285 138244096 32983 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24993/statm: 33751 32983 734 1214 0 32533 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 135004
[startup+222.301 s]
/proc/loadavg: 2.10 2.09 2.02 3/576 25000
/proc/meminfo: memFree=23208448/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=156452 CPUtime=222.17 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 122268 0 0 0 19472 2745 0 0 25 0 1 0 822277285 160206848 37860 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 39113 37860 734 1214 0 37895 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 156452
[startup+282.301 s]
/proc/loadavg: 2.03 2.07 2.01 3/576 25001
/proc/meminfo: memFree=23193648/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=164944 CPUtime=282.17 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 134740 0 0 0 24732 3485 0 0 25 0 1 0 822277285 168902656 39914 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 41236 39914 734 1214 0 40018 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 164944
[startup+342.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/576 25003
/proc/meminfo: memFree=23173396/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=181392 CPUtime=342.17 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 142417 0 0 0 29987 4230 0 0 25 0 1 0 822277285 185745408 44080 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 45348 44080 734 1214 0 44130 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 181392
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 25005
/proc/meminfo: memFree=23159480/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=194580 CPUtime=402.17 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 145742 0 0 0 35240 4977 0 0 25 0 1 0 822277285 199249920 47405 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 48645 47405 734 1214 0 47427 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 194580
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25006
/proc/meminfo: memFree=23141820/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=208124 CPUtime=462.17 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 152623 0 0 0 40503 5714 0 0 25 0 1 0 822277285 213118976 50831 33554432000 4194304 9163163 140733840589152 18446744073709551615 5275468 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 52031 50831 734 1214 0 50813 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 208124
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25008
/proc/meminfo: memFree=23118940/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=227120 CPUtime=522.18 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 157409 0 0 0 45764 6454 0 0 25 0 1 0 822277285 232570880 55616 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 56780 55616 734 1214 0 55562 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 227120
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25009
/proc/meminfo: memFree=23103728/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=238792 CPUtime=582.18 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 160376 0 0 0 51040 7178 0 0 25 0 1 0 822277285 244523008 58583 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 59698 58583 734 1214 0 58480 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 238792
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 25072
/proc/meminfo: memFree=23203092/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=295372 CPUtime=882.19 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 178179 0 0 0 77547 10672 0 0 25 0 1 0 822277285 302460928 72846 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 73843 72846 734 1214 0 72625 0
Current children cumulated CPU time (s) 882.19
Current children cumulated vsize (KiB) 295372
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25074
/proc/meminfo: memFree=23193216/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=305176 CPUtime=942.19 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 180685 0 0 0 83023 11196 0 0 25 0 1 0 822277285 312500224 75352 33554432000 4194304 9163163 140733840589152 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 76294 75352 734 1214 0 75076 0
Current children cumulated CPU time (s) 942.19
Current children cumulated vsize (KiB) 305176
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25076
/proc/meminfo: memFree=23178276/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=313560 CPUtime=1002.19 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 182768 0 0 0 88481 11738 0 0 25 0 1 0 822277285 321085440 77435 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 78390 77435 734 1214 0 77172 0
Current children cumulated CPU time (s) 1002.19
Current children cumulated vsize (KiB) 313560
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 25077
/proc/meminfo: memFree=23157612/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=322648 CPUtime=1062.19 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 185060 0 0 0 93932 12287 0 0 25 0 1 0 822277285 330391552 79727 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 80662 79727 734 1214 0 79444 0
Current children cumulated CPU time (s) 1062.19
Current children cumulated vsize (KiB) 322648
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/576 25079
/proc/meminfo: memFree=23137564/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=329784 CPUtime=1122.2 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 190388 0 0 0 99380 12840 0 0 25 0 1 0 822277285 337698816 81530 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 82446 81530 734 1214 0 81228 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 329784
[startup+1182.3 s]
/proc/loadavg: 2.28 2.09 2.02 3/576 25080
/proc/meminfo: memFree=23120000/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=334712 CPUtime=1182.19 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 191637 0 0 0 104825 13394 0 0 25 0 1 0 822277285 342745088 82779 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 83678 82779 734 1214 0 82460 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 334712
[startup+1242.3 s]
/proc/loadavg: 2.21 2.10 2.03 3/576 25082
/proc/meminfo: memFree=23097624/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=343416 CPUtime=1242.2 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 193832 0 0 0 110278 13942 0 0 25 0 1 0 822277285 351657984 84974 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 85854 84974 734 1214 0 84636 0
Current children cumulated CPU time (s) 1242.2
Current children cumulated vsize (KiB) 343416
[startup+1302.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/576 25084
/proc/meminfo: memFree=23077964/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=353592 CPUtime=1302.21 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 196392 0 0 0 115731 14490 0 0 25 0 1 0 822277285 362078208 87534 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 88398 87534 734 1214 0 87180 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 353592
[startup+1362.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/576 25085
/proc/meminfo: memFree=23056184/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=360552 CPUtime=1362.2 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 198148 0 0 0 121177 15043 0 0 25 0 1 0 822277285 369205248 89290 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 90138 89290 734 1214 0 88920 0
Current children cumulated CPU time (s) 1362.2
Current children cumulated vsize (KiB) 360552
[startup+1422.32 s]
/proc/loadavg: 2.01 2.05 2.01 3/576 25087
/proc/meminfo: memFree=23035520/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=370408 CPUtime=1422.22 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 200625 0 0 0 126630 15592 0 0 25 0 1 0 822277285 379297792 91767 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 92602 91767 734 1214 0 91384 0
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 370408
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/576 25088
/proc/meminfo: memFree=23014484/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=382344 CPUtime=1482.21 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 202600 0 0 0 132075 16146 0 0 25 0 1 0 822277285 391520256 93742 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 95586 93742 734 1214 0 94368 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 382344
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25090
/proc/meminfo: memFree=22998552/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=387784 CPUtime=1542.21 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 204007 0 0 0 137538 16683 0 0 25 0 1 0 822277285 397090816 95149 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 96946 95149 734 1214 0 95728 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 387784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25092
/proc/meminfo: memFree=22983492/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=391564 CPUtime=1602.21 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 204930 0 0 0 142987 17234 0 0 25 0 1 0 822277285 400961536 96072 33554432000 4194304 9163163 140733840589152 18446744073709551615 4557829 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 97891 96072 734 1214 0 96673 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 391564
[startup+1662.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/576 25093
/proc/meminfo: memFree=22962364/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=398340 CPUtime=1662.21 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 206636 0 0 0 148439 17782 0 0 25 0 1 0 822277285 407900160 97778 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 99585 97778 734 1214 0 98367 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 398340
[startup+1722.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/576 25095
/proc/meminfo: memFree=22947172/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=398852 CPUtime=1722.21 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 235063 0 0 0 153907 18314 0 0 25 0 1 0 822277285 408424448 97943 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 99713 97943 736 1214 0 98495 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 398852
[startup+1782.3 s]
/proc/loadavg: 2.15 2.09 2.03 3/576 25096
/proc/meminfo: memFree=22933948/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=398852 CPUtime=1782.22 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 242117 0 0 0 159388 18834 0 0 25 0 1 0 822277285 408424448 97943 33554432000 4194304 9163163 140733840589152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24993/statm: 99713 97943 736 1214 0 98495 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 398852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.11 2.09 2.02 3/576 25097
/proc/meminfo: memFree=22931076/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=398852 CPUtime=1800.02 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 242119 0 0 0 161011 18991 0 0 25 0 1 0 822277285 408424448 97945 33554432000 4194304 9163163 140733840589152 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24993/statm: 99713 97945 738 1214 0 98495 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 398852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.11 2.09 2.02 3/576 25097
/proc/meminfo: memFree=22931076/32951124 swapFree=58940260/67111528
[pid=24993] ppid=24991 vsize=398852 CPUtime=1800.02 cores=1,3,5,7
/proc/24993/stat : 24993 (scip-2.0.1.4b.l) R 24991 24993 23203 0 -1 4202496 242119 0 0 0 161011 18991 0 0 25 0 1 0 822277285 408424448 97945 33554432000 4194304 9163163 140733840589152 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24993/statm: 99713 97945 738 1214 0 98495 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 398852
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.06
CPU user time (s): 1610.13
CPU system time (s): 189.938
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 414580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1610.13
system time used= 189.938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242119
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= 9
involuntary context switches= 20129
runsolver used 9.99948 second user time and 24.3103 second system time
The end