0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488608-1307784708.opb>
0.00/0.02 c original problem has 3308 variables (3308 bin, 0 int, 0 impl, 0 cont) and 3508 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.07 c (round 1) 3108 del vars, 400 del conss, 0 add conss, 3108 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12432 impls, 0 clqs
0.00/0.07 c (round 2) 3108 del vars, 400 del conss, 0 add conss, 3108 chg bounds, 0 chg sides, 0 chg coeffs, 3108 upgd conss, 12432 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (3 rounds):
0.09/0.11 c 3108 deleted vars, 400 deleted constraints, 0 added constraints, 3108 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 18646 implications, 0 cliques
0.09/0.11 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3108 constraints
0.09/0.11 c 3108 constraints of type <setppc>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.08
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 2.0.1.5
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1797
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/indicator/addCouplingCons = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/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.09/0.12 c t 0.1s| 1 | 0 | 202 | - | 10M| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.13 o -1
0.09/0.13 c R 0.1s| 1 | 0 | 202 | - | 10M| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.19/0.20 o -18
0.19/0.20 c y 0.2s| 1 | 0 | 202 | - | 10M| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 |-1.800000e+01 | 82.00%
0.19/0.22 c 0.2s| 1 | 0 | 293 | - | 10M| 0 | 189 | 200 |3108 | 200 |3117 | 9 | 0 | 0 |-9.450000e+01 |-1.800000e+01 | 80.95%
0.19/0.28 c 0.3s| 1 | 0 | 405 | - | 10M| 0 | 183 | 200 |3108 | 200 |3125 | 17 | 0 | 0 |-9.150000e+01 |-1.800000e+01 | 80.33%
0.29/0.37 c 0.4s| 1 | 0 | 605 | - | 10M| 0 | 177 | 200 |3108 | 200 |3132 | 24 | 0 | 0 |-8.850000e+01 |-1.800000e+01 | 79.66%
0.39/0.43 c 0.4s| 1 | 0 | 741 | - | 10M| 0 | 172 | 200 |3108 | 200 |3141 | 33 | 0 | 0 |-8.600000e+01 |-1.800000e+01 | 79.07%
0.49/0.50 c 0.5s| 1 | 0 | 801 | - | 10M| 0 | 169 | 200 |3108 | 200 |3147 | 39 | 0 | 0 |-8.450000e+01 |-1.800000e+01 | 78.70%
0.49/0.57 c 0.6s| 1 | 0 | 899 | - | 10M| 0 | 165 | 200 |3108 | 200 |3156 | 48 | 0 | 0 |-8.250000e+01 |-1.800000e+01 | 78.18%
0.59/0.66 c 0.7s| 1 | 0 | 1018 | - | 10M| 0 | 168 | 200 |3108 | 200 |3163 | 55 | 0 | 0 |-8.175000e+01 |-1.800000e+01 | 77.98%
0.69/0.77 c 0.8s| 1 | 0 | 1242 | - | 10M| 0 | 157 | 200 |3108 | 200 |3172 | 64 | 0 | 0 |-7.850000e+01 |-1.800000e+01 | 77.07%
0.79/0.85 c 0.9s| 1 | 0 | 1391 | - | 10M| 0 | 152 | 200 |3108 | 200 |3180 | 72 | 0 | 0 |-7.600000e+01 |-1.800000e+01 | 76.32%
0.90/0.97 c 1.0s| 1 | 0 | 1762 | - | 10M| 0 | 160 | 200 |3108 | 200 |3188 | 80 | 0 | 0 |-7.465385e+01 |-1.800000e+01 | 75.89%
1.00/1.04 c 1.0s| 1 | 0 | 1879 | - | 10M| 0 | 162 | 200 |3108 | 200 | 486 | 91 | 0 | 0 |-7.385000e+01 |-1.800000e+01 | 75.63%
1.00/1.08 c 1.1s| 1 | 0 | 2079 | - | 11M| 0 | 142 | 200 |3108 | 200 | 496 | 101 | 0 | 0 |-7.200000e+01 |-1.800000e+01 | 75.00%
1.10/1.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.12 c 1.1s| 1 | 0 | 2519 | - | 11M| 0 | 174 | 200 |3108 | 200 | 519 | 124 | 0 | 0 |-7.008421e+01 |-1.800000e+01 | 74.32%
1.19/1.23 c 1.2s| 1 | 0 | 2955 | - | 12M| 0 | 140 | 200 |3108 | 200 | 744 | 349 | 0 | 0 |-6.775000e+01 |-1.800000e+01 | 73.43%
1.19/1.27 c 1.3s| 1 | 0 | 3138 | - | 12M| 0 | 157 | 200 |3108 | 200 | 799 | 404 | 0 | 0 |-6.600000e+01 |-1.800000e+01 | 72.73%
1.29/1.35 c 1.3s| 1 | 0 | 3324 | - | 12M| 0 | 130 | 200 |3108 | 200 | 951 | 556 | 0 | 0 |-6.500000e+01 |-1.800000e+01 | 72.31%
1.39/1.42 c 1.4s| 1 | 0 | 3700 | - | 12M| 0 | 145 | 200 |3108 | 200 | 809 | 564 | 0 | 0 |-6.337500e+01 |-1.800000e+01 | 71.60%
1.39/1.46 c 1.5s| 1 | 0 | 3767 | - | 12M| 0 | 126 | 200 |3108 | 200 | 816 | 571 | 0 | 0 |-6.300000e+01 |-1.800000e+01 | 71.43%
1.49/1.51 c 1.5s| 1 | 0 | 3852 | - | 12M| 0 | 144 | 200 |3108 | 200 | 823 | 578 | 0 | 0 |-6.278947e+01 |-1.800000e+01 | 71.33%
1.49/1.58 c 1.6s| 1 | 0 | 4057 | - | 13M| 0 | 161 | 200 |3108 | 200 | 925 | 680 | 0 | 0 |-6.200000e+01 |-1.800000e+01 | 70.97%
1.60/1.69 c 1.7s| 1 | 0 | 4864 | - | 14M| 0 | 159 | 200 |3108 | 200 | 972 | 727 | 0 | 0 |-6.200000e+01 |-1.800000e+01 | 70.97%
1.79/1.80 c 1.8s| 1 | 0 | 5638 | - | 15M| 0 | 171 | 200 |3108 | 200 |1000 | 755 | 0 | 0 |-6.088235e+01 |-1.800000e+01 | 70.43%
1.79/1.86 c 1.9s| 1 | 0 | 5933 | - | 15M| 0 | 160 | 200 |3108 | 200 | 883 | 808 | 0 | 0 |-6.021565e+01 |-1.800000e+01 | 70.11%
1.89/1.93 c 1.9s| 1 | 0 | 6246 | - | 15M| 0 | 171 | 200 |3108 | 200 | 897 | 822 | 0 | 0 |-5.947638e+01 |-1.800000e+01 | 69.74%
1.99/2.04 c 2.0s| 1 | 0 | 6875 | - | 16M| 0 | 176 | 200 |3108 | 200 | 939 | 864 | 0 | 0 |-5.821859e+01 |-1.800000e+01 | 69.08%
2.10/2.13 c 2.1s| 1 | 0 | 7291 | - | 16M| 0 | 172 | 200 |3108 | 200 | 976 | 901 | 0 | 0 |-5.709194e+01 |-1.800000e+01 | 68.47%
2.20/2.22 c 2.2s| 1 | 0 | 7576 | - | 16M| 0 | 176 | 200 |3108 | 200 |1023 | 948 | 0 | 0 |-5.635405e+01 |-1.800000e+01 | 68.06%
2.29/2.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.32 c 2.3s| 1 | 0 | 7961 | - | 16M| 0 | 176 | 200 |3108 | 200 |1059 | 984 | 0 | 0 |-5.553118e+01 |-1.800000e+01 | 67.59%
2.39/2.42 c 2.4s| 1 | 0 | 8250 | - | 16M| 0 | 182 | 200 |3108 | 200 | 701 |1015 | 0 | 0 |-5.487649e+01 |-1.800000e+01 | 67.20%
2.39/2.49 c 2.5s| 1 | 0 | 8521 | - | 16M| 0 | 183 | 200 |3108 | 200 | 721 |1035 | 0 | 0 |-5.437534e+01 |-1.800000e+01 | 66.90%
2.49/2.55 c 2.5s| 1 | 0 | 8630 | - | 16M| 0 | 183 | 200 |3108 | 200 | 735 |1049 | 0 | 0 |-5.413400e+01 |-1.800000e+01 | 66.75%
2.60/2.61 c 2.6s| 1 | 0 | 8787 | - | 16M| 0 | 187 | 200 |3108 | 200 | 749 |1063 | 0 | 0 |-5.389915e+01 |-1.800000e+01 | 66.60%
2.60/2.68 c 2.7s| 1 | 0 | 8965 | - | 16M| 0 | 184 | 200 |3108 | 200 | 763 |1077 | 0 | 0 |-5.359897e+01 |-1.800000e+01 | 66.42%
2.70/2.75 c 2.7s| 1 | 0 | 9168 | - | 16M| 0 | 184 | 200 |3108 | 200 | 778 |1092 | 0 | 0 |-5.326525e+01 |-1.800000e+01 | 66.21%
2.80/2.82 c 2.8s| 1 | 0 | 9310 | - | 16M| 0 | 188 | 200 |3108 | 200 | 510 |1113 | 0 | 0 |-5.299983e+01 |-1.800000e+01 | 66.04%
2.80/2.87 c 2.9s| 1 | 0 | 9498 | - | 16M| 0 | 186 | 200 |3108 | 200 | 520 |1123 | 0 | 0 |-5.269654e+01 |-1.800000e+01 | 65.84%
2.89/2.92 c 2.9s| 1 | 0 | 9685 | - | 16M| 0 | 187 | 200 |3108 | 200 | 539 |1142 | 0 | 0 |-5.245912e+01 |-1.800000e+01 | 65.69%
2.89/2.97 c 3.0s| 1 | 0 | 9919 | - | 16M| 0 | 188 | 200 |3108 | 200 | 552 |1155 | 0 | 0 |-5.197460e+01 |-1.800000e+01 | 65.37%
2.99/3.02 c 3.0s| 1 | 0 | 10027 | - | 16M| 0 | 190 | 200 |3108 | 200 | 560 |1163 | 0 | 0 |-5.179604e+01 |-1.800000e+01 | 65.25%
2.99/3.06 c 3.1s| 1 | 0 | 10087 | - | 16M| 0 | 189 | 200 |3108 | 200 | 572 |1175 | 0 | 0 |-5.176885e+01 |-1.800000e+01 | 65.23%
3.09/3.11 c 3.1s| 1 | 0 | 10193 | - | 16M| 0 | 191 | 200 |3108 | 200 | 412 |1185 | 0 | 0 |-5.163650e+01 |-1.800000e+01 | 65.14%
3.09/3.15 c 3.1s| 1 | 0 | 10303 | - | 16M| 0 | 192 | 200 |3108 | 200 | 423 |1196 | 0 | 0 |-5.155805e+01 |-1.800000e+01 | 65.09%
3.09/3.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.19 c 3.2s| 1 | 0 | 10385 | - | 16M| 0 | 194 | 200 |3108 | 200 | 434 |1207 | 0 | 0 |-5.145303e+01 |-1.800000e+01 | 65.02%
3.20/3.23 c 3.2s| 1 | 0 | 10503 | - | 16M| 0 | 197 | 200 |3108 | 200 | 440 |1213 | 0 | 0 |-5.133848e+01 |-1.800000e+01 | 64.94%
3.20/3.27 c 3.3s| 1 | 0 | 10602 | - | 16M| 0 | 196 | 200 |3108 | 200 | 449 |1222 | 0 | 0 |-5.123126e+01 |-1.800000e+01 | 64.87%
3.30/3.32 c 3.3s| 1 | 0 | 10755 | - | 16M| 0 | 195 | 200 |3108 | 200 | 459 |1232 | 0 | 0 |-5.104982e+01 |-1.800000e+01 | 64.74%
3.30/3.37 c 3.4s| 1 | 0 | 10904 | - | 16M| 0 | 198 | 200 |3108 | 200 | 379 |1242 | 0 | 0 |-5.089513e+01 |-1.800000e+01 | 64.63%
3.39/3.40 c 3.4s| 1 | 0 | 10990 | - | 16M| 0 | 199 | 200 |3108 | 200 | 387 |1250 | 0 | 0 |-5.077677e+01 |-1.800000e+01 | 64.55%
3.39/3.44 c 3.4s| 1 | 0 | 11104 | - | 16M| 0 | 198 | 200 |3108 | 200 | 396 |1259 | 0 | 0 |-5.066366e+01 |-1.800000e+01 | 64.47%
3.39/3.48 c 3.5s| 1 | 0 | 11165 | - | 16M| 0 | 198 | 200 |3108 | 200 | 407 |1270 | 0 | 0 |-5.056055e+01 |-1.800000e+01 | 64.40%
3.49/3.51 c 3.5s| 1 | 0 | 11217 | - | 16M| 0 | 199 | 200 |3108 | 200 | 415 |1278 | 0 | 0 |-5.050492e+01 |-1.800000e+01 | 64.36%
3.49/3.55 c 3.6s| 1 | 0 | 11277 | - | 16M| 0 | 199 | 200 |3108 | 200 | 428 |1291 | 0 | 0 |-5.046171e+01 |-1.800000e+01 | 64.33%
3.49/3.59 c 3.6s| 1 | 0 | 11375 | - | 16M| 0 | 199 | 200 |3108 | 200 | 389 |1298 | 0 | 0 |-5.036028e+01 |-1.800000e+01 | 64.26%
3.60/3.63 c 3.6s| 1 | 0 | 11477 | - | 16M| 0 | 200 | 200 |3108 | 200 | 395 |1304 | 0 | 0 |-5.024592e+01 |-1.800000e+01 | 64.18%
3.60/3.67 c 3.7s| 1 | 0 | 11541 | - | 16M| 0 | 200 | 200 |3108 | 200 | 406 |1315 | 0 | 0 |-5.019631e+01 |-1.800000e+01 | 64.14%
3.69/3.71 c 3.7s| 1 | 0 | 11646 | - | 16M| 0 | 200 | 200 |3108 | 200 | 417 |1326 | 0 | 0 |-5.014074e+01 |-1.800000e+01 | 64.10%
3.69/3.75 c 3.8s| 1 | 0 | 11753 | - | 16M| 0 | 200 | 200 |3108 | 200 | 428 |1337 | 0 | 0 |-5.005550e+01 |-1.800000e+01 | 64.04%
3.69/3.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.69/3.79 c 3.8s| 1 | 0 | 11895 | - | 16M| 0 | 200 | 200 |3108 | 200 | 438 |1347 | 0 | 0 |-4.994067e+01 |-1.800000e+01 | 63.96%
3.79/3.84 c 3.8s| 1 | 0 | 11983 | - | 16M| 0 | 200 | 200 |3108 | 200 | 398 |1357 | 0 | 0 |-4.990590e+01 |-1.800000e+01 | 63.93%
3.79/3.87 c 3.9s| 1 | 0 | 12083 | - | 16M| 0 | 200 | 200 |3108 | 200 | 408 |1367 | 0 | 0 |-4.986486e+01 |-1.800000e+01 | 63.90%
3.89/3.91 c 3.9s| 1 | 0 | 12162 | - | 16M| 0 | 200 | 200 |3108 | 200 | 419 |1378 | 0 | 0 |-4.984270e+01 |-1.800000e+01 | 63.89%
3.89/3.95 c 3.9s| 1 | 0 | 12238 | - | 16M| 0 | 200 | 200 |3108 | 200 | 427 |1386 | 0 | 0 |-4.980669e+01 |-1.800000e+01 | 63.86%
3.89/3.99 c 4.0s| 1 | 0 | 12347 | - | 16M| 0 | 200 | 200 |3108 | 200 | 436 |1395 | 0 | 0 |-4.978122e+01 |-1.800000e+01 | 63.84%
3.99/4.03 c 4.0s| 1 | 0 | 12417 | - | 16M| 0 | 200 | 200 |3108 | 200 | 444 |1403 | 0 | 0 |-4.977035e+01 |-1.800000e+01 | 63.83%
3.99/4.06 c 4.1s| 1 | 0 | 12436 | - | 16M| 0 | 200 | 200 |3108 | 200 | 405 |1410 | 0 | 0 |-4.976252e+01 |-1.800000e+01 | 63.83%
4.09/4.10 c 4.1s| 1 | 0 | 12493 | - | 16M| 0 | 200 | 200 |3108 | 200 | 414 |1419 | 0 | 0 |-4.975634e+01 |-1.800000e+01 | 63.82%
4.09/4.13 c 4.1s| 1 | 0 | 12513 | - | 16M| 0 | 200 | 200 |3108 | 200 | 419 |1424 | 0 | 0 |-4.975377e+01 |-1.800000e+01 | 63.82%
4.09/4.16 c 4.2s| 1 | 0 | 12523 | - | 16M| 0 | 200 | 200 |3108 | 200 | 421 |1426 | 0 | 0 |-4.975343e+01 |-1.800000e+01 | 63.82%
5.09/5.15 c 5.1s| 1 | 2 | 12523 | - | 16M| 0 | 200 | 200 |3108 | 200 | 421 |1426 | 0 | 19 |-4.975343e+01 |-1.800000e+01 | 63.82%
6.79/6.88 o -20
6.79/6.88 c z 6.9s| 55 | 56 | 16373 | 71.3 | 17M| 14 | 27 | 200 |3108 | 200 | 250 |1858 | 0 | 850 |-4.950172e+01 |-2.000000e+01 | 59.60%
7.10/7.11 o -21
7.10/7.11 c * 7.1s| 68 | 66 | 16975 | 66.4 | 17M| 15 | - | 200 |3108 | 200 | 240 |1971 | 0 | 982 |-4.950172e+01 |-2.100000e+01 | 57.58%
7.89/7.92 o -22
7.89/7.92 c r 7.9s| 104 | 100 | 19078 | 63.6 | 17M| 16 | 6 | 200 |3108 | 200 | 230 |2265 | 0 |1255 |-4.938117e+01 |-2.200000e+01 | 55.45%
7.89/7.92 o -23
7.89/7.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.89/7.92 c R 7.9s| 104 | 100 | 19078 | 63.6 | 17M| 16 | 6 | 200 |3108 | 200 | 230 |2265 | 0 |1255 |-4.938117e+01 |-2.300000e+01 | 53.42%
7.89/7.92 o -24
7.89/7.92 c g 7.9s| 104 | 94 | 19079 | 63.7 | 17M| 16 | - | 200 |3108 | 200 | 230 |2265 | 0 |1257 |-4.938117e+01 |-2.400000e+01 | 51.40%
8.59/8.64 o -25
8.59/8.64 c * 8.6s| 413 | 231 | 28048 | 37.7 | 17M| 18 | - | 200 |3108 | 200 | 235 |4563 | 0 |1426 |-4.934448e+01 |-2.500000e+01 | 49.34%
12.10/12.16 o -26
12.10/12.16 c *12.2s| 2210 | 1586 |103747 | 41.3 | 20M| 32 | - | 200 |3108 | 200 | 229 | 28k| 0 |1495 |-4.757335e+01 |-2.600000e+01 | 45.35%
21.29/21.30 c 21.3s| 10000 | 6018 |326170 | 31.4 | 31M| 54 | 37 | 200 |3108 | 200 | 213 | 116k| 0 |1495 |-4.604960e+01 |-2.600000e+01 | 43.54%
30.29/30.36 c 30.4s| 20000 | 9862 |541038 | 26.4 | 41M| 56 | 12 | 200 |3108 | 200 | 217 | 219k| 0 |1962 |-4.550000e+01 |-2.600000e+01 | 42.86%
34.99/35.04 o -27
34.99/35.04 c *35.0s| 25832 | 9657 |652016 | 24.8 | 43M| 63 | - | 200 |3108 | 200 | 232 | 277k| 0 |2238 |-4.533710e+01 |-2.700000e+01 | 40.45%
38.08/38.19 c 38.2s| 30000 | 10663 |723877 | 23.7 | 46M| 63 | - | 200 |3108 | 200 | 224 | 317k| 0 |2422 |-4.527660e+01 |-2.700000e+01 | 40.37%
45.78/45.89 c 45.9s| 40000 | 13143 |901822 | 22.2 | 53M| 63 | 48 | 200 |3108 | 200 | 256 | 410k| 0 |2798 |-4.499425e+01 |-2.700000e+01 | 39.99%
53.19/53.26 c 53.3s| 50000 | 15421 | 1078k| 21.3 | 60M| 63 | - | 200 |3108 | 200 | 221 | 510k| 0 |3134 |-4.479487e+01 |-2.700000e+01 | 39.73%
60.40/60.42 c 60.4s| 60000 | 17523 | 1247k| 20.6 | 66M| 63 | - | 200 |3108 | 200 | 215 | 604k| 0 |3504 |-4.460489e+01 |-2.700000e+01 | 39.47%
67.68/67.70 c 67.7s| 70000 | 19911 | 1423k| 20.2 | 73M| 63 | 20 | 200 |3108 | 200 | 222 | 700k| 0 |3782 |-4.440851e+01 |-2.700000e+01 | 39.20%
71.58/71.69 o -28
71.58/71.69 c *71.7s| 75584 | 17173 | 1521k| 20.0 | 69M| 63 | - | 200 |3108 | 200 | 243 | 754k| 0 |3983 |-4.430292e+01 |-2.800000e+01 | 36.80%
74.58/74.65 c 74.6s| 80000 | 18113 | 1596k| 19.8 | 72M| 65 | - | 200 |3108 | 200 | 225 | 797k| 0 |4084 |-4.424597e+01 |-2.800000e+01 | 36.72%
81.09/81.13 c 81.1s| 90000 | 20075 | 1766k| 19.5 | 78M| 77 | 42 | 200 |3108 | 200 | 200 | 892k| 0 |4364 |-4.408738e+01 |-2.800000e+01 | 36.49%
87.48/87.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.48/87.54 c 87.5s|100000 | 21915 | 1934k| 19.2 | 84M| 77 | 18 | 200 |3108 | 200 | 241 | 984k| 0 |4635 |-4.391045e+01 |-2.800000e+01 | 36.23%
92.08/92.10 o -29
92.08/92.10 c *92.1s|107072 | 18925 | 2054k| 19.1 | 79M| 77 | - | 200 |3108 | 200 | 237 |1050k| 0 |4792 |-4.380357e+01 |-2.900000e+01 | 33.80%
93.98/94.04 c 94.0s|110000 | 19373 | 2102k| 19.0 | 80M| 77 | 24 | 200 |3108 | 200 | 200 |1077k| 0 |4822 |-4.375000e+01 |-2.900000e+01 | 33.71%
100.29/100.34 c 100s|120000 | 20861 | 2268k| 18.8 | 86M| 77 | 5 | 200 |3108 | 200 | 216 |1172k| 0 |5104 |-4.360526e+01 |-2.900000e+01 | 33.49%
106.59/106.61 c 107s|130000 | 22473 | 2434k| 18.6 | 91M| 77 | 44 | 200 |3108 | 200 | 235 |1262k| 0 |5305 |-4.345769e+01 |-2.900000e+01 | 33.27%
112.78/112.84 c 113s|140000 | 23947 | 2597k| 18.5 | 96M| 77 | 22 | 200 |3108 | 200 | 200 |1356k| 0 |5566 |-4.333333e+01 |-2.900000e+01 | 33.08%
119.08/119.12 c 119s|150000 | 25625 | 2764k| 18.3 | 102M| 77 | 36 | 200 |3108 | 200 | 222 |1447k| 0 |5753 |-4.321250e+01 |-2.900000e+01 | 32.89%
125.09/125.14 c 125s|160000 | 26991 | 2921k| 18.2 | 106M| 77 | 55 | 200 |3108 | 200 | 242 |1538k| 0 |5952 |-4.309836e+01 |-2.900000e+01 | 32.71%
131.18/131.24 c 131s|170000 | 28485 | 3083k| 18.1 | 111M| 77 | 44 | 200 |3108 | 200 | 216 |1630k| 0 |6174 |-4.300000e+01 |-2.900000e+01 | 32.56%
137.18/137.23 c 137s|180000 | 29819 | 3241k| 17.9 | 116M| 77 | - | 200 |3108 | 200 | 223 |1723k| 0 |6367 |-4.288889e+01 |-2.900000e+01 | 32.38%
143.08/143.16 c 143s|190000 | 31123 | 3397k| 17.8 | 120M| 77 | - | 200 |3108 | 200 | 214 |1816k| 0 |6531 |-4.277381e+01 |-2.900000e+01 | 32.20%
148.99/149.04 c 149s|200000 | 32439 | 3552k| 17.7 | 125M| 77 | 49 | 200 |3108 | 200 | 200 |1912k| 0 |6722 |-4.270513e+01 |-2.900000e+01 | 32.09%
154.88/154.91 c 155s|210000 | 33673 | 3706k| 17.6 | 129M| 77 | 41 | 200 |3108 | 200 | 200 |2004k| 0 |6852 |-4.262500e+01 |-2.900000e+01 | 31.96%
160.69/160.75 c 161s|220000 | 34987 | 3859k| 17.5 | 134M| 77 | - | 200 |3108 | 200 | 200 |2096k| 0 |7045 |-4.254545e+01 |-2.900000e+01 | 31.84%
166.58/166.69 c 167s|230000 | 36491 | 4015k| 17.4 | 139M| 77 | - | 200 |3108 | 200 | 200 |2186k| 0 |7220 |-4.249196e+01 |-2.900000e+01 | 31.75%
172.69/172.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.69/172.73 c 173s|240000 | 37873 | 4174k| 17.3 | 143M| 81 | - | 200 |3108 | 200 | 232 |2281k| 0 |7393 |-4.238614e+01 |-2.900000e+01 | 31.58%
178.29/178.32 c 178s|250000 | 38885 | 4321k| 17.2 | 147M| 81 | 12 | 200 |3108 | 200 | 200 |2373k| 0 |7512 |-4.233333e+01 |-2.900000e+01 | 31.50%
183.98/184.05 c 184s|260000 | 40143 | 4471k| 17.1 | 151M| 81 | 7 | 200 |3108 | 200 | 200 |2464k| 0 |7651 |-4.226316e+01 |-2.900000e+01 | 31.38%
189.78/189.89 c 190s|270000 | 41383 | 4624k| 17.1 | 155M| 85 | 57 | 200 |3108 | 200 | 251 |2557k| 0 |7821 |-4.220000e+01 |-2.900000e+01 | 31.28%
195.59/195.63 c 196s|280000 | 42567 | 4775k| 17.0 | 159M| 85 | - | 200 |3108 | 200 | 231 |2649k| 0 |7979 |-4.214286e+01 |-2.900000e+01 | 31.19%
201.29/201.34 c 201s|290000 | 43729 | 4925k| 16.9 | 164M| 85 | - | 200 |3108 | 200 | 209 |2740k| 0 |8097 |-4.208333e+01 |-2.900000e+01 | 31.09%
206.99/207.01 c 207s|300000 | 44919 | 5073k| 16.9 | 168M| 85 | 52 | 200 |3108 | 200 | 225 |2831k| 0 |8270 |-4.200000e+01 |-2.900000e+01 | 30.95%
212.78/212.80 c 213s|310000 | 46147 | 5226k| 16.8 | 172M| 85 | - | 200 |3108 | 200 | 227 |2923k| 0 |8409 |-4.200000e+01 |-2.900000e+01 | 30.95%
218.48/218.51 c 219s|320000 | 47379 | 5375k| 16.8 | 176M| 85 | 23 | 200 |3108 | 200 | 210 |3014k| 0 |8533 |-4.193103e+01 |-2.900000e+01 | 30.84%
223.99/224.09 c 224s|330000 | 48561 | 5521k| 16.7 | 180M| 85 | 71 | 200 |3108 | 200 | 200 |3107k| 0 |8714 |-4.187500e+01 |-2.900000e+01 | 30.75%
229.59/229.61 c 230s|340000 | 49777 | 5667k| 16.6 | 184M| 85 | - | 200 |3108 | 200 | 220 |3195k| 0 |8798 |-4.182353e+01 |-2.900000e+01 | 30.66%
234.99/235.09 c 235s|350000 | 50933 | 5807k| 16.6 | 188M| 85 | 39 | 200 |3108 | 200 | 209 |3286k| 0 |8965 |-4.177273e+01 |-2.900000e+01 | 30.58%
240.69/240.79 c 241s|360000 | 52217 | 5959k| 16.5 | 192M| 85 | - | 200 |3108 | 200 | 233 |3381k| 0 |9054 |-4.172222e+01 |-2.900000e+01 | 30.49%
246.29/246.38 c 246s|370000 | 53289 | 6104k| 16.5 | 195M| 85 | - | 200 |3108 | 200 | 213 |3472k| 0 |9225 |-4.168182e+01 |-2.900000e+01 | 30.43%
251.90/251.95 c 252s|380000 | 54417 | 6251k| 16.4 | 199M| 85 | - | 200 |3108 | 200 | 214 |3564k| 0 |9335 |-4.165000e+01 |-2.900000e+01 | 30.37%
257.49/257.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.49/257.53 c 258s|390000 | 55447 | 6396k| 16.4 | 203M| 85 | 10 | 200 |3108 | 200 | 221 |3656k| 0 |9474 |-4.160000e+01 |-2.900000e+01 | 30.29%
263.09/263.15 c 263s|400000 | 56551 | 6544k| 16.3 | 207M| 85 | - | 200 |3108 | 200 | 222 |3749k| 0 |9597 |-4.155556e+01 |-2.900000e+01 | 30.21%
268.79/268.82 c 269s|410000 | 57753 | 6693k| 16.3 | 211M| 85 | - | 200 |3108 | 200 | 224 |3842k| 0 |9738 |-4.150000e+01 |-2.900000e+01 | 30.12%
274.39/274.40 c 274s|420000 | 59029 | 6841k| 16.3 | 215M| 85 | - | 200 |3108 | 200 | 219 |3933k| 0 |9835 |-4.148696e+01 |-2.900000e+01 | 30.10%
279.88/279.97 c 280s|430000 | 60173 | 6987k| 16.2 | 218M| 85 | - | 200 |3108 | 200 | 222 |4024k| 0 | 10k|-4.142353e+01 |-2.900000e+01 | 29.99%
285.49/285.51 c 286s|440000 | 61275 | 7132k| 16.2 | 222M| 85 | - | 200 |3108 | 200 | 216 |4115k| 0 | 10k|-4.137833e+01 |-2.900000e+01 | 29.92%
291.09/291.15 c 291s|450000 | 62405 | 7281k| 16.2 | 226M| 85 | 17 | 200 |3108 | 200 | 200 |4211k| 0 | 10k|-4.133333e+01 |-2.900000e+01 | 29.84%
296.59/296.67 c 297s|460000 | 63497 | 7425k| 16.1 | 230M| 85 | - | 200 |3108 | 200 | 213 |4301k| 0 | 10k|-4.130435e+01 |-2.900000e+01 | 29.79%
302.19/302.26 c 302s|470000 | 64639 | 7571k| 16.1 | 233M| 89 | 36 | 200 |3108 | 200 | 214 |4394k| 0 | 10k|-4.125000e+01 |-2.900000e+01 | 29.70%
307.59/307.69 c 308s|480000 | 65647 | 7713k| 16.0 | 237M| 89 | - | 200 |3108 | 200 | 217 |4486k| 0 | 10k|-4.122222e+01 |-2.900000e+01 | 29.65%
313.19/313.22 c 313s|490000 | 66759 | 7857k| 16.0 | 241M| 89 | 26 | 200 |3108 | 200 | 212 |4576k| 0 | 10k|-4.119231e+01 |-2.900000e+01 | 29.60%
318.59/318.68 c 319s|500000 | 67819 | 8000k| 16.0 | 244M| 89 | 15 | 200 |3108 | 200 | 200 |4669k| 0 | 10k|-4.116129e+01 |-2.900000e+01 | 29.55%
324.09/324.17 c 324s|510000 | 68909 | 8144k| 15.9 | 248M| 93 | - | 200 |3108 | 200 | 211 |4762k| 0 | 10k|-4.111111e+01 |-2.900000e+01 | 29.46%
329.59/329.64 c 330s|520000 | 69911 | 8285k| 15.9 | 251M| 93 | - | 200 |3108 | 200 | 200 |4853k| 0 | 10k|-4.106944e+01 |-2.900000e+01 | 29.39%
335.09/335.11 c 335s|530000 | 70835 | 8426k| 15.9 | 254M| 93 | 37 | 200 |3108 | 200 | 216 |4946k| 0 | 11k|-4.101724e+01 |-2.900000e+01 | 29.30%
340.58/340.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.58/340.61 c 341s|540000 | 71859 | 8570k| 15.8 | 258M| 93 | 20 | 200 |3108 | 200 | 215 |5037k| 0 | 11k|-4.100000e+01 |-2.900000e+01 | 29.27%
345.99/346.04 c 346s|550000 | 72861 | 8714k| 15.8 | 261M| 93 | - | 200 |3108 | 200 | 238 |5130k| 0 | 11k|-4.100000e+01 |-2.900000e+01 | 29.27%
351.39/351.50 c 351s|560000 | 73909 | 8856k| 15.8 | 264M| 93 | 45 | 200 |3108 | 200 | 211 |5220k| 0 | 11k|-4.100000e+01 |-2.900000e+01 | 29.27%
356.88/356.99 c 357s|570000 | 74943 | 8998k| 15.8 | 268M| 93 | 10 | 200 |3108 | 200 | 217 |5312k| 0 | 11k|-4.094821e+01 |-2.900000e+01 | 29.18%
362.38/362.43 c 362s|580000 | 75939 | 9140k| 15.7 | 271M| 93 | - | 200 |3108 | 200 | 244 |5401k| 0 | 11k|-4.090909e+01 |-2.900000e+01 | 29.11%
367.79/367.83 c 368s|590000 | 76935 | 9281k| 15.7 | 275M| 93 | 8 | 200 |3108 | 200 | 200 |5491k| 0 | 11k|-4.087500e+01 |-2.900000e+01 | 29.05%
373.19/373.20 c 373s|600000 | 77925 | 9421k| 15.7 | 278M| 93 | - | 200 |3108 | 200 | 217 |5582k| 0 | 11k|-4.084211e+01 |-2.900000e+01 | 28.99%
378.49/378.59 c 379s|610000 | 78899 | 9560k| 15.7 | 281M| 93 | 48 | 200 |3108 | 200 | 217 |5671k| 0 | 11k|-4.080952e+01 |-2.900000e+01 | 28.94%
383.80/383.87 c 384s|620000 | 79821 | 9696k| 15.6 | 284M| 93 | - | 200 |3108 | 200 | 239 |5758k| 0 | 12k|-4.076923e+01 |-2.900000e+01 | 28.87%
389.19/389.22 c 389s|630000 | 80813 | 9834k| 15.6 | 287M| 93 | - | 200 |3108 | 200 | 216 |5848k| 0 | 12k|-4.075000e+01 |-2.900000e+01 | 28.83%
394.58/394.64 c 395s|640000 | 81773 | 9974k| 15.6 | 291M| 93 | 42 | 200 |3108 | 200 | 200 |5938k| 0 | 12k|-4.071429e+01 |-2.900000e+01 | 28.77%
399.89/399.95 c 400s|650000 | 82779 | 10111k| 15.5 | 294M| 93 | - | 200 |3108 | 200 | 218 |6028k| 0 | 12k|-4.066667e+01 |-2.900000e+01 | 28.69%
405.29/405.33 c 405s|660000 | 83727 | 10250k| 15.5 | 297M| 93 | - | 200 |3108 | 200 | 216 |6119k| 0 | 12k|-4.066667e+01 |-2.900000e+01 | 28.69%
410.59/410.67 c 411s|670000 | 84679 | 10388k| 15.5 | 300M| 93 | 47 | 200 |3108 | 200 | 225 |6208k| 0 | 12k|-4.062500e+01 |-2.900000e+01 | 28.62%
415.89/415.99 c 416s|680000 | 85569 | 10525k| 15.5 | 303M| 93 | - | 200 |3108 | 200 | 225 |6299k| 0 | 12k|-4.060000e+01 |-2.900000e+01 | 28.57%
421.19/421.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.19/421.26 c 421s|690000 | 86507 | 10660k| 15.4 | 306M| 93 | - | 200 |3108 | 200 | 240 |6389k| 0 | 12k|-4.057143e+01 |-2.900000e+01 | 28.52%
426.59/426.64 c 427s|700000 | 87499 | 10800k| 15.4 | 310M| 93 | - | 200 |3108 | 200 | 227 |6478k| 0 | 12k|-4.053333e+01 |-2.900000e+01 | 28.45%
431.99/432.02 c 432s|710000 | 88543 | 10940k| 15.4 | 313M| 99 | - | 200 |3108 | 200 | 210 |6567k| 0 | 12k|-4.050000e+01 |-2.900000e+01 | 28.40%
437.29/437.37 c 437s|720000 | 89507 | 11078k| 15.4 | 316M| 99 | 50 | 200 |3108 | 200 | 221 |6656k| 0 | 12k|-4.050000e+01 |-2.900000e+01 | 28.40%
442.59/442.64 c 443s|730000 | 90473 | 11214k| 15.3 | 319M| 99 | 7 | 200 |3108 | 200 | 220 |6744k| 0 | 13k|-4.050000e+01 |-2.900000e+01 | 28.40%
447.99/448.00 c 448s|740000 | 91361 | 11351k| 15.3 | 322M| 99 | - | 200 |3108 | 200 | 214 |6837k| 0 | 13k|-4.045652e+01 |-2.900000e+01 | 28.32%
453.39/453.44 c 453s|750000 | 92361 | 11493k| 15.3 | 326M| 99 | 15 | 200 |3108 | 200 | 200 |6930k| 0 | 13k|-4.042308e+01 |-2.900000e+01 | 28.26%
458.78/458.84 c 459s|760000 | 93391 | 11631k| 15.3 | 329M| 99 | - | 200 |3108 | 200 | 231 |7020k| 0 | 13k|-4.039474e+01 |-2.900000e+01 | 28.21%
463.99/464.03 c 464s|770000 | 94217 | 11764k| 15.3 | 332M| 99 | - | 200 |3108 | 200 | 236 |7109k| 0 | 13k|-4.036364e+01 |-2.900000e+01 | 28.15%
469.19/469.27 c 469s|780000 | 95103 | 11898k| 15.2 | 335M| 99 | 22 | 200 |3108 | 200 | 216 |7198k| 0 | 13k|-4.033333e+01 |-2.900000e+01 | 28.10%
474.49/474.57 c 475s|790000 | 96095 | 12035k| 15.2 | 338M| 99 | - | 200 |3108 | 200 | 224 |7287k| 0 | 13k|-4.033333e+01 |-2.900000e+01 | 28.10%
479.79/479.82 c 480s|800000 | 96899 | 12169k| 15.2 | 341M| 99 | 34 | 200 |3108 | 200 | 214 |7376k| 0 | 13k|-4.030000e+01 |-2.900000e+01 | 28.04%
484.99/485.08 c 485s|810000 | 97721 | 12304k| 15.2 | 343M| 99 | 61 | 200 |3108 | 200 | 240 |7465k| 0 | 13k|-4.026087e+01 |-2.900000e+01 | 27.97%
490.29/490.34 c 490s|820000 | 98609 | 12440k| 15.2 | 346M| 99 | - | 200 |3108 | 200 | 213 |7554k| 0 | 13k|-4.025000e+01 |-2.900000e+01 | 27.95%
495.49/495.54 c 496s|830000 | 99455 | 12573k| 15.1 | 349M| 99 | 7 | 200 |3108 | 200 | 200 |7643k| 0 | 13k|-4.022727e+01 |-2.900000e+01 | 27.91%
500.79/500.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.79/500.84 c 501s|840000 |100361 | 12708k| 15.1 | 352M| 99 | 42 | 200 |3108 | 200 | 214 |7732k| 0 | 13k|-4.019048e+01 |-2.900000e+01 | 27.84%
505.90/505.97 c 506s|850000 |101159 | 12839k| 15.1 | 355M| 99 | 34 | 200 |3108 | 200 | 217 |7819k| 0 | 14k|-4.016667e+01 |-2.900000e+01 | 27.80%
511.09/511.19 c 511s|860000 |101961 | 12973k| 15.1 | 358M| 99 | 47 | 200 |3108 | 200 | 235 |7910k| 0 | 14k|-4.014286e+01 |-2.900000e+01 | 27.76%
516.38/516.49 c 516s|870000 |102783 | 13109k| 15.1 | 360M| 99 | - | 200 |3108 | 200 | 227 |7999k| 0 | 14k|-4.010417e+01 |-2.900000e+01 | 27.69%
521.69/521.73 c 522s|880000 |103585 | 13244k| 15.0 | 363M| 99 | - | 200 |3108 | 200 | 220 |8089k| 0 | 14k|-4.006452e+01 |-2.900000e+01 | 27.62%
526.99/527.04 c 527s|890000 |104437 | 13379k| 15.0 | 366M| 99 | - | 200 |3108 | 200 | 211 |8178k| 0 | 14k|-4.001220e+01 |-2.900000e+01 | 27.52%
532.19/532.24 c 532s|900000 |105291 | 13513k| 15.0 | 369M| 99 | - | 200 |3108 | 200 | 227 |8267k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
537.48/537.53 c 538s|910000 |106135 | 13650k| 15.0 | 372M| 99 | - | 200 |3108 | 200 | 214 |8361k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
542.68/542.75 c 543s|920000 |106981 | 13784k| 15.0 | 375M| 99 | 14 | 200 |3108 | 200 | 200 |8451k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
548.09/548.10 c 548s|930000 |107877 | 13920k| 15.0 | 378M| 99 | 6 | 200 |3108 | 200 | 200 |8541k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
553.30/553.36 c 553s|940000 |108741 | 14055k| 14.9 | 380M| 99 | - | 200 |3108 | 200 | 233 |8631k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
558.59/558.68 c 559s|950000 |109625 | 14191k| 14.9 | 383M| 99 | 7 | 200 |3108 | 200 | 228 |8721k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
563.89/564.00 c 564s|960000 |110551 | 14328k| 14.9 | 386M| 99 | - | 200 |3108 | 200 | 215 |8812k| 0 | 14k|-3.996875e+01 |-2.900000e+01 | 27.44%
569.09/569.15 c 569s|970000 |111303 | 14459k| 14.9 | 389M| 99 | 56 | 200 |3108 | 200 | 254 |8901k| 0 | 14k|-3.992473e+01 |-2.900000e+01 | 27.36%
574.39/574.40 c 574s|980000 |112055 | 14593k| 14.9 | 392M| 99 | 30 | 200 |3108 | 200 | 200 |8990k| 0 | 15k|-3.988889e+01 |-2.900000e+01 | 27.30%
579.49/579.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.49/579.51 c 580s|990000 |112907 | 14724k| 14.9 | 395M| 99 | - | 200 |3108 | 200 | 242 |9081k| 0 | 15k|-3.986957e+01 |-2.900000e+01 | 27.26%
584.69/584.75 c 585s| 1000k|113699 | 14858k| 14.8 | 397M| 99 | 59 | 200 |3108 | 200 | 247 |9168k| 0 | 15k|-3.983333e+01 |-2.900000e+01 | 27.20%
589.99/590.01 c 590s| 1010k|114533 | 14992k| 14.8 | 400M| 99 | 40 | 200 |3108 | 200 | 200 |9260k| 0 | 15k|-3.982143e+01 |-2.900000e+01 | 27.17%
595.19/595.26 c 595s| 1020k|115389 | 15126k| 14.8 | 403M| 99 | 11 | 200 |3108 | 200 | 216 |9349k| 0 | 15k|-3.980000e+01 |-2.900000e+01 | 27.14%
600.39/600.47 c 600s| 1030k|116191 | 15259k| 14.8 | 406M| 99 | 47 | 200 |3108 | 200 | 246 |9439k| 0 | 15k|-3.976471e+01 |-2.900000e+01 | 27.07%
605.49/605.57 c 606s| 1040k|116977 | 15389k| 14.8 | 408M| 99 | - | 200 |3108 | 200 | 227 |9526k| 0 | 15k|-3.975000e+01 |-2.900000e+01 | 27.04%
610.69/610.73 c 611s| 1050k|117757 | 15521k| 14.8 | 411M| 99 | - | 200 |3108 | 200 | 227 |9614k| 0 | 15k|-3.974000e+01 |-2.900000e+01 | 27.03%
615.79/615.85 c 616s| 1060k|118561 | 15651k| 14.8 | 414M| 99 | 25 | 200 |3108 | 200 | 227 |9702k| 0 | 15k|-3.970968e+01 |-2.900000e+01 | 26.97%
620.89/620.98 c 621s| 1070k|119323 | 15781k| 14.7 | 416M| 99 | 59 | 200 |3108 | 200 | 219 |9792k| 0 | 15k|-3.967347e+01 |-2.900000e+01 | 26.90%
626.09/626.19 c 626s| 1080k|120249 | 15914k| 14.7 | 419M| 99 | - | 200 |3108 | 200 | 223 |9885k| 0 | 15k|-3.966667e+01 |-2.900000e+01 | 26.89%
631.40/631.41 c 631s| 1090k|121081 | 16048k| 14.7 | 422M| 99 | - | 200 |3108 | 200 | 229 |9975k| 0 | 15k|-3.966667e+01 |-2.900000e+01 | 26.89%
636.60/636.60 c 637s| 1100k|121795 | 16181k| 14.7 | 424M| 99 | - | 200 |3108 | 200 | 214 | 10M| 0 | 16k|-3.963158e+01 |-2.900000e+01 | 26.83%
641.69/641.75 c 642s| 1110k|122593 | 16312k| 14.7 | 427M| 99 | - | 200 |3108 | 200 | 221 | 10M| 0 | 16k|-3.960606e+01 |-2.900000e+01 | 26.78%
646.89/646.94 c 647s| 1120k|123349 | 16444k| 14.7 | 429M| 99 | - | 200 |3108 | 200 | 244 | 10M| 0 | 16k|-3.958537e+01 |-2.900000e+01 | 26.74%
652.09/652.15 c 652s| 1130k|124185 | 16577k| 14.7 | 432M| 99 | - | 200 |3108 | 200 | 200 | 10M| 0 | 16k|-3.955556e+01 |-2.900000e+01 | 26.69%
657.19/657.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.19/657.29 c 657s| 1140k|124913 | 16707k| 14.6 | 435M| 99 | 13 | 200 |3108 | 200 | 200 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
662.39/662.45 c 662s| 1150k|125673 | 16839k| 14.6 | 437M| 99 | 16 | 200 |3108 | 200 | 200 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
667.60/667.63 c 668s| 1160k|126399 | 16970k| 14.6 | 440M| 99 | - | 200 |3108 | 200 | 223 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
672.69/672.75 c 673s| 1170k|127175 | 17100k| 14.6 | 442M| 99 | - | 200 |3108 | 200 | 219 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
677.79/677.89 c 678s| 1180k|127855 | 17230k| 14.6 | 445M| 99 | - | 200 |3108 | 200 | 234 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
682.99/683.04 c 683s| 1190k|128703 | 17361k| 14.6 | 447M| 99 | - | 200 |3108 | 200 | 230 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
688.09/688.17 c 688s| 1200k|129407 | 17491k| 14.6 | 450M| 99 | 62 | 200 |3108 | 200 | 275 | 10M| 0 | 16k|-3.945833e+01 |-2.900000e+01 | 26.50%
693.19/693.28 c 693s| 1210k|130171 | 17620k| 14.6 | 452M| 99 | 35 | 200 |3108 | 200 | 214 | 11M| 0 | 16k|-3.942857e+01 |-2.900000e+01 | 26.45%
698.29/698.36 c 698s| 1220k|130815 | 17748k| 14.5 | 455M| 99 | - | 200 |3108 | 200 | 212 | 11M| 0 | 16k|-3.940741e+01 |-2.900000e+01 | 26.41%
703.29/703.37 c 703s| 1230k|131575 | 17875k| 14.5 | 457M| 99 | - | 200 |3108 | 200 | 241 | 11M| 0 | 16k|-3.939858e+01 |-2.900000e+01 | 26.39%
708.39/708.43 c 708s| 1240k|132287 | 18004k| 14.5 | 460M| 99 | 65 | 200 |3108 | 200 | 200 | 11M| 0 | 17k|-3.937500e+01 |-2.900000e+01 | 26.35%
713.49/713.51 c 714s| 1250k|133013 | 18133k| 14.5 | 462M| 99 | - | 200 |3108 | 200 | 228 | 11M| 0 | 17k|-3.933333e+01 |-2.900000e+01 | 26.27%
718.49/718.58 c 719s| 1260k|133661 | 18261k| 14.5 | 464M| 99 | - | 200 |3108 | 200 | 200 | 11M| 0 | 17k|-3.933333e+01 |-2.900000e+01 | 26.27%
723.59/723.68 c 724s| 1270k|134357 | 18390k| 14.5 | 467M| 99 | - | 200 |3108 | 200 | 220 | 11M| 0 | 17k|-3.933333e+01 |-2.900000e+01 | 26.27%
728.79/728.85 c 729s| 1280k|135117 | 18522k| 14.5 | 469M| 99 | 18 | 200 |3108 | 200 | 200 | 11M| 0 | 17k|-3.931250e+01 |-2.900000e+01 | 26.23%
733.89/733.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.89/733.92 c 734s| 1290k|135765 | 18649k| 14.4 | 472M| 99 | - | 200 |3108 | 200 | 215 | 11M| 0 | 17k|-3.928571e+01 |-2.900000e+01 | 26.18%
738.99/739.08 c 739s| 1300k|136463 | 18780k| 14.4 | 474M| 99 | 52 | 200 |3108 | 200 | 243 | 11M| 0 | 17k|-3.925000e+01 |-2.900000e+01 | 26.11%
744.09/744.16 c 744s| 1310k|137211 | 18910k| 14.4 | 476M| 99 | 47 | 200 |3108 | 200 | 236 | 11M| 0 | 17k|-3.925000e+01 |-2.900000e+01 | 26.11%
749.19/749.26 c 749s| 1320k|137937 | 19038k| 14.4 | 479M| 99 | - | 200 |3108 | 200 | 217 | 12M| 0 | 17k|-3.923913e+01 |-2.900000e+01 | 26.09%
754.29/754.33 c 754s| 1330k|138649 | 19166k| 14.4 | 481M| 99 | - | 200 |3108 | 200 | 227 | 12M| 0 | 17k|-3.920312e+01 |-2.900000e+01 | 26.03%
759.39/759.44 c 759s| 1340k|139347 | 19294k| 14.4 | 484M| 99 | 11 | 200 |3108 | 200 | 225 | 12M| 0 | 17k|-3.920000e+01 |-2.900000e+01 | 26.02%
764.40/764.46 c 764s| 1350k|139985 | 19421k| 14.4 | 486M| 99 | - | 200 |3108 | 200 | 229 | 12M| 0 | 17k|-3.916667e+01 |-2.900000e+01 | 25.96%
769.49/769.55 c 770s| 1360k|140691 | 19549k| 14.4 | 488M| 99 | - | 200 |3108 | 200 | 215 | 12M| 0 | 17k|-3.914545e+01 |-2.900000e+01 | 25.92%
774.59/774.63 c 775s| 1370k|141393 | 19677k| 14.4 | 490M| 99 | - | 200 |3108 | 200 | 213 | 12M| 0 | 17k|-3.912500e+01 |-2.900000e+01 | 25.88%
779.59/779.64 c 780s| 1380k|141967 | 19802k| 14.3 | 492M| 99 | - | 200 |3108 | 200 | 228 | 12M| 0 | 17k|-3.909091e+01 |-2.900000e+01 | 25.81%
784.59/784.66 c 785s| 1390k|142685 | 19929k| 14.3 | 495M| 99 | - | 200 |3108 | 200 | 213 | 12M| 0 | 18k|-3.905556e+01 |-2.900000e+01 | 25.75%
789.59/789.70 c 790s| 1400k|143375 | 20055k| 14.3 | 497M| 99 | 33 | 200 |3108 | 200 | 200 | 12M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
794.69/794.70 c 795s| 1410k|144079 | 20181k| 14.3 | 500M| 99 | - | 200 |3108 | 200 | 240 | 12M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
799.79/799.85 c 800s| 1420k|144761 | 20312k| 14.3 | 502M| 99 | 60 | 200 |3108 | 200 | 236 | 12M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
804.79/804.83 c 805s| 1430k|145469 | 20437k| 14.3 | 504M| 99 | - | 200 |3108 | 200 | 238 | 12M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
809.79/809.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.79/809.82 c 810s| 1440k|146153 | 20562k| 14.3 | 507M| 99 | - | 200 |3108 | 200 | 213 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
814.89/814.92 c 815s| 1450k|146863 | 20691k| 14.3 | 509M| 99 | - | 200 |3108 | 200 | 214 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
819.99/820.04 c 820s| 1460k|147567 | 20821k| 14.3 | 511M| 99 | 3 | 200 |3108 | 200 | 200 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
824.89/824.99 c 825s| 1470k|148203 | 20945k| 14.2 | 513M| 99 | 48 | 200 |3108 | 200 | 210 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
830.00/830.02 c 830s| 1480k|148877 | 21073k| 14.2 | 516M| 99 | 24 | 200 |3108 | 200 | 200 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
835.09/835.14 c 835s| 1490k|149615 | 21202k| 14.2 | 518M| 99 | - | 200 |3108 | 200 | 226 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
840.09/840.13 c 840s| 1500k|150261 | 21327k| 14.2 | 520M| 99 | 10 | 200 |3108 | 200 | 238 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
845.09/845.19 c 845s| 1510k|150891 | 21454k| 14.2 | 523M| 99 | - | 200 |3108 | 200 | 213 | 13M| 0 | 18k|-3.894565e+01 |-2.900000e+01 | 25.54%
850.09/850.16 c 850s| 1520k|151517 | 21577k| 14.2 | 525M| 99 | - | 200 |3108 | 200 | 216 | 13M| 0 | 18k|-3.891667e+01 |-2.900000e+01 | 25.48%
854.99/855.09 c 855s| 1530k|152007 | 21700k| 14.2 | 526M| 105 | 66 | 200 |3108 | 200 | 240 | 13M| 0 | 18k|-3.889655e+01 |-2.900000e+01 | 25.44%
859.99/860.05 c 860s| 1540k|152639 | 21824k| 14.2 | 529M| 105 | 23 | 200 |3108 | 200 | 200 | 13M| 0 | 18k|-3.887500e+01 |-2.900000e+01 | 25.40%
865.00/865.02 c 865s| 1550k|153213 | 21948k| 14.2 | 531M| 105 | 34 | 200 |3108 | 200 | 212 | 14M| 0 | 18k|-3.885714e+01 |-2.900000e+01 | 25.37%
870.00/870.02 c 870s| 1560k|153839 | 22074k| 14.1 | 533M| 105 | 57 | 200 |3108 | 200 | 219 | 14M| 0 | 19k|-3.883333e+01 |-2.900000e+01 | 25.32%
874.89/874.90 c 875s| 1570k|154441 | 22197k| 14.1 | 535M| 105 | 15 | 200 |3108 | 200 | 218 | 14M| 0 | 19k|-3.883333e+01 |-2.900000e+01 | 25.32%
879.80/879.85 c 880s| 1580k|155019 | 22321k| 14.1 | 537M| 105 | - | 200 |3108 | 200 | 243 | 14M| 0 | 19k|-3.880000e+01 |-2.900000e+01 | 25.26%
884.79/884.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.79/884.85 c 885s| 1590k|155637 | 22445k| 14.1 | 539M| 105 | - | 200 |3108 | 200 | 213 | 14M| 0 | 19k|-3.879310e+01 |-2.900000e+01 | 25.24%
889.69/889.79 c 890s| 1600k|156237 | 22569k| 14.1 | 541M| 105 | - | 200 |3108 | 200 | 226 | 14M| 0 | 19k|-3.876471e+01 |-2.900000e+01 | 25.19%
894.69/894.78 c 895s| 1610k|156747 | 22693k| 14.1 | 543M| 105 | 51 | 200 |3108 | 200 | 248 | 14M| 0 | 19k|-3.875000e+01 |-2.900000e+01 | 25.16%
899.70/899.72 c 900s| 1620k|157383 | 22815k| 14.1 | 545M| 105 | 22 | 200 |3108 | 200 | 200 | 14M| 0 | 19k|-3.875000e+01 |-2.900000e+01 | 25.16%
904.59/904.63 c 905s| 1630k|157957 | 22938k| 14.1 | 547M| 105 | 12 | 200 |3108 | 200 | 200 | 14M| 0 | 19k|-3.875000e+01 |-2.900000e+01 | 25.16%
909.60/909.66 c 910s| 1640k|158609 | 23063k| 14.1 | 549M| 105 | 32 | 200 |3108 | 200 | 230 | 14M| 0 | 19k|-3.871429e+01 |-2.900000e+01 | 25.09%
914.59/914.62 c 915s| 1650k|159191 | 23188k| 14.0 | 551M| 105 | 53 | 200 |3108 | 200 | 234 | 14M| 0 | 19k|-3.869231e+01 |-2.900000e+01 | 25.05%
919.59/919.63 c 920s| 1660k|159775 | 23313k| 14.0 | 553M| 105 | 42 | 200 |3108 | 200 | 217 | 14M| 0 | 19k|-3.866667e+01 |-2.900000e+01 | 25.00%
924.49/924.50 c 925s| 1670k|160377 | 23434k| 14.0 | 555M| 105 | - | 200 |3108 | 200 | 214 | 15M| 0 | 19k|-3.866667e+01 |-2.900000e+01 | 25.00%
929.29/929.39 c 929s| 1680k|160991 | 23556k| 14.0 | 557M| 105 | 32 | 200 |3108 | 200 | 214 | 15M| 0 | 19k|-3.866667e+01 |-2.900000e+01 | 25.00%
934.29/934.40 c 934s| 1690k|161631 | 23683k| 14.0 | 559M| 105 | 14 | 200 |3108 | 200 | 216 | 15M| 0 | 19k|-3.866667e+01 |-2.900000e+01 | 25.00%
939.30/939.36 c 939s| 1700k|162249 | 23807k| 14.0 | 561M| 105 | 65 | 200 |3108 | 200 | 245 | 15M| 0 | 19k|-3.863636e+01 |-2.900000e+01 | 24.94%
944.20/944.24 c 944s| 1710k|162779 | 23928k| 14.0 | 563M| 105 | - | 200 |3108 | 200 | 239 | 15M| 0 | 19k|-3.862500e+01 |-2.900000e+01 | 24.92%
949.09/949.12 c 949s| 1720k|163259 | 24050k| 14.0 | 565M| 105 | - | 200 |3108 | 200 | 218 | 15M| 0 | 19k|-3.860000e+01 |-2.900000e+01 | 24.87%
953.99/954.04 c 954s| 1730k|163897 | 24173k| 14.0 | 567M| 105 | 59 | 200 |3108 | 200 | 226 | 15M| 0 | 19k|-3.858333e+01 |-2.900000e+01 | 24.84%
958.99/959.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.99/959.05 c 959s| 1740k|164463 | 24298k| 14.0 | 569M| 105 | 29 | 200 |3108 | 200 | 212 | 15M| 0 | 20k|-3.855556e+01 |-2.900000e+01 | 24.78%
963.89/963.90 c 964s| 1750k|164935 | 24416k| 13.9 | 571M| 105 | 32 | 200 |3108 | 200 | 214 | 15M| 0 | 20k|-3.853846e+01 |-2.900000e+01 | 24.75%
968.80/968.82 c 969s| 1760k|165477 | 24537k| 13.9 | 573M| 105 | 20 | 200 |3108 | 200 | 200 | 15M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
973.69/973.76 c 974s| 1770k|166117 | 24661k| 13.9 | 575M| 105 | - | 200 |3108 | 200 | 237 | 15M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
978.59/978.66 c 979s| 1780k|166729 | 24782k| 13.9 | 577M| 105 | 50 | 200 |3108 | 200 | 211 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
983.49/983.53 c 984s| 1790k|167371 | 24903k| 13.9 | 579M| 105 | - | 200 |3108 | 200 | 212 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
988.39/988.48 c 988s| 1800k|168011 | 25027k| 13.9 | 581M| 105 | - | 200 |3108 | 200 | 211 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
993.30/993.36 c 993s| 1810k|168589 | 25147k| 13.9 | 583M| 107 | 56 | 200 |3108 | 200 | 214 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
998.19/998.21 c 998s| 1820k|169129 | 25268k| 13.9 | 585M| 107 | 36 | 200 |3108 | 200 | 212 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1002.99/1003.06 c 1003s| 1830k|169683 | 25389k| 13.9 | 587M| 107 | 24 | 200 |3108 | 200 | 214 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1007.89/1007.94 c 1008s| 1840k|170239 | 25508k| 13.9 | 589M| 107 | 50 | 200 |3108 | 200 | 228 | 16M| 0 | 20k|-3.846429e+01 |-2.900000e+01 | 24.61%
1012.69/1012.76 c 1013s| 1850k|170675 | 25624k| 13.8 | 590M| 107 | - | 200 |3108 | 200 | 200 | 16M| 0 | 20k|-3.844444e+01 |-2.900000e+01 | 24.57%
1017.59/1017.68 c 1018s| 1860k|171209 | 25746k| 13.8 | 592M| 107 | 36 | 200 |3108 | 200 | 239 | 16M| 0 | 20k|-3.841667e+01 |-2.900000e+01 | 24.51%
1022.60/1022.63 c 1023s| 1870k|171721 | 25870k| 13.8 | 594M| 107 | - | 200 |3108 | 200 | 226 | 16M| 0 | 20k|-3.840000e+01 |-2.900000e+01 | 24.48%
1027.40/1027.49 c 1027s| 1880k|172237 | 25989k| 13.8 | 596M| 107 | 45 | 200 |3108 | 200 | 215 | 16M| 0 | 20k|-3.838889e+01 |-2.900000e+01 | 24.46%
1032.30/1032.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.30/1032.33 c 1032s| 1890k|172719 | 26107k| 13.8 | 597M| 107 | - | 200 |3108 | 200 | 213 | 16M| 0 | 20k|-3.837500e+01 |-2.900000e+01 | 24.43%
1037.09/1037.20 c 1037s| 1900k|173151 | 26227k| 13.8 | 599M| 107 | - | 200 |3108 | 200 | 222 | 17M| 0 | 20k|-3.833333e+01 |-2.900000e+01 | 24.35%
1042.09/1042.12 c 1042s| 1910k|173715 | 26349k| 13.8 | 601M| 107 | 8 | 200 |3108 | 200 | 212 | 17M| 0 | 20k|-3.833333e+01 |-2.900000e+01 | 24.35%
1046.90/1046.95 c 1047s| 1920k|174227 | 26467k| 13.8 | 603M| 107 | - | 200 |3108 | 200 | 217 | 17M| 0 | 21k|-3.833333e+01 |-2.900000e+01 | 24.35%
1051.70/1051.79 c 1052s| 1930k|174731 | 26586k| 13.8 | 605M| 107 | - | 200 |3108 | 200 | 227 | 17M| 0 | 21k|-3.833333e+01 |-2.900000e+01 | 24.35%
1056.70/1056.74 c 1057s| 1940k|175229 | 26707k| 13.8 | 606M| 107 | 50 | 200 |3108 | 200 | 217 | 17M| 0 | 21k|-3.831250e+01 |-2.900000e+01 | 24.31%
1061.60/1061.66 c 1062s| 1950k|175705 | 26828k| 13.8 | 608M| 107 | - | 200 |3108 | 200 | 214 | 17M| 0 | 21k|-3.829412e+01 |-2.900000e+01 | 24.27%
1066.39/1066.50 c 1066s| 1960k|176249 | 26948k| 13.7 | 610M| 107 | 26 | 200 |3108 | 200 | 200 | 17M| 0 | 21k|-3.827869e+01 |-2.900000e+01 | 24.24%
1071.29/1071.33 c 1071s| 1970k|176773 | 27067k| 13.7 | 612M| 107 | 14 | 200 |3108 | 200 | 222 | 17M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1076.19/1076.20 c 1076s| 1980k|177337 | 27186k| 13.7 | 614M| 107 | - | 200 |3108 | 200 | 200 | 17M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1081.00/1081.00 c 1081s| 1990k|177835 | 27304k| 13.7 | 615M| 107 | - | 200 |3108 | 200 | 273 | 17M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1085.79/1085.81 c 1086s| 2000k|178333 | 27422k| 13.7 | 617M| 107 | - | 200 |3108 | 200 | 217 | 17M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1090.60/1090.67 c 1091s| 2010k|178815 | 27541k| 13.7 | 619M| 107 | - | 200 |3108 | 200 | 233 | 17M| 0 | 21k|-3.822222e+01 |-2.900000e+01 | 24.13%
1095.50/1095.57 c 1096s| 2020k|179271 | 27661k| 13.7 | 620M| 107 | - | 200 |3108 | 200 | 200 | 18M| 0 | 21k|-3.820000e+01 |-2.900000e+01 | 24.08%
1100.49/1100.52 c 1101s| 2030k|179823 | 27784k| 13.7 | 622M| 107 | - | 200 |3108 | 200 | 217 | 18M| 0 | 21k|-3.819444e+01 |-2.900000e+01 | 24.07%
1105.30/1105.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.30/1105.32 c 1105s| 2040k|180299 | 27902k| 13.7 | 624M| 107 | - | 200 |3108 | 200 | 233 | 18M| 0 | 21k|-3.816667e+01 |-2.900000e+01 | 24.02%
1110.10/1110.16 c 1110s| 2050k|180745 | 28020k| 13.7 | 626M| 107 | - | 200 |3108 | 200 | 241 | 18M| 0 | 21k|-3.816667e+01 |-2.900000e+01 | 24.02%
1114.90/1114.94 c 1115s| 2060k|181199 | 28136k| 13.7 | 627M| 107 | - | 200 |3108 | 200 | 222 | 18M| 0 | 21k|-3.814286e+01 |-2.900000e+01 | 23.97%
1119.80/1119.86 c 1120s| 2070k|181685 | 28257k| 13.6 | 629M| 107 | 8 | 200 |3108 | 200 | 213 | 18M| 0 | 21k|-3.812500e+01 |-2.900000e+01 | 23.93%
1124.69/1124.72 c 1125s| 2080k|182123 | 28376k| 13.6 | 631M| 107 | - | 200 |3108 | 200 | 225 | 18M| 0 | 21k|-3.811111e+01 |-2.900000e+01 | 23.91%
1129.49/1129.52 c 1130s| 2090k|182613 | 28494k| 13.6 | 632M| 107 | 36 | 200 |3108 | 200 | 200 | 18M| 0 | 21k|-3.809639e+01 |-2.900000e+01 | 23.88%
1134.30/1134.33 c 1134s| 2100k|183023 | 28611k| 13.6 | 634M| 107 | - | 200 |3108 | 200 | 247 | 18M| 0 | 21k|-3.808333e+01 |-2.900000e+01 | 23.85%
1139.19/1139.20 c 1139s| 2110k|183519 | 28730k| 13.6 | 636M| 107 | - | 200 |3108 | 200 | 216 | 18M| 0 | 21k|-3.804762e+01 |-2.900000e+01 | 23.78%
1144.00/1144.07 c 1144s| 2120k|184037 | 28848k| 13.6 | 637M| 107 | - | 200 |3108 | 200 | 247 | 18M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1148.89/1148.95 c 1149s| 2130k|184549 | 28970k| 13.6 | 639M| 107 | 18 | 200 |3108 | 200 | 214 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1153.80/1153.86 c 1154s| 2140k|185037 | 29091k| 13.6 | 641M| 107 | - | 200 |3108 | 200 | 228 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1158.70/1158.70 c 1159s| 2150k|185595 | 29210k| 13.6 | 643M| 107 | 14 | 200 |3108 | 200 | 212 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1163.39/1163.49 c 1163s| 2160k|186035 | 29327k| 13.6 | 644M| 107 | 22 | 200 |3108 | 200 | 213 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1168.29/1168.37 c 1168s| 2170k|186477 | 29446k| 13.6 | 646M| 107 | 61 | 200 |3108 | 200 | 213 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1172.99/1173.07 c 1173s| 2180k|186939 | 29560k| 13.6 | 648M| 107 | 24 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1177.80/1177.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.80/1177.85 c 1178s| 2190k|187387 | 29675k| 13.5 | 649M| 107 | 18 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1182.60/1182.60 c 1183s| 2200k|187905 | 29791k| 13.5 | 651M| 107 | - | 200 |3108 | 200 | 231 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1187.40/1187.45 c 1187s| 2210k|188399 | 29909k| 13.5 | 653M| 107 | 19 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1192.20/1192.27 c 1192s| 2220k|188815 | 30025k| 13.5 | 654M| 107 | 42 | 200 |3108 | 200 | 219 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1197.00/1197.00 c 1197s| 2230k|189231 | 30140k| 13.5 | 656M| 107 | 9 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1201.69/1201.78 c 1202s| 2240k|189645 | 30256k| 13.5 | 657M| 107 | 56 | 200 |3108 | 200 | 258 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1206.50/1206.59 c 1207s| 2250k|190047 | 30372k| 13.5 | 659M| 107 | 46 | 200 |3108 | 200 | 228 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1211.40/1211.41 c 1211s| 2260k|190485 | 30492k| 13.5 | 660M| 107 | - | 200 |3108 | 200 | 249 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1216.30/1216.32 c 1216s| 2270k|190951 | 30612k| 13.5 | 662M| 107 | 48 | 200 |3108 | 200 | 270 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1221.09/1221.16 c 1221s| 2280k|191401 | 30731k| 13.5 | 663M| 107 | 28 | 200 |3108 | 200 | 200 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1225.89/1225.96 c 1226s| 2290k|191923 | 30848k| 13.5 | 665M| 107 | - | 200 |3108 | 200 | 241 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1230.70/1230.75 c 1231s| 2300k|192363 | 30964k| 13.5 | 667M| 107 | 3 | 200 |3108 | 200 | 215 | 20M| 0 | 22k|-3.794444e+01 |-2.900000e+01 | 23.57%
1235.50/1235.51 c 1236s| 2310k|192751 | 31078k| 13.4 | 668M| 107 | - | 200 |3108 | 200 | 252 | 20M| 0 | 22k|-3.792308e+01 |-2.900000e+01 | 23.53%
1240.20/1240.27 c 1240s| 2320k|193211 | 31193k| 13.4 | 670M| 107 | 6 | 200 |3108 | 200 | 228 | 20M| 0 | 22k|-3.790000e+01 |-2.900000e+01 | 23.48%
1244.99/1245.09 c 1245s| 2330k|193677 | 31310k| 13.4 | 672M| 107 | - | 200 |3108 | 200 | 216 | 20M| 0 | 23k|-3.787500e+01 |-2.900000e+01 | 23.43%
1249.79/1249.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.79/1249.83 c 1250s| 2340k|194081 | 31424k| 13.4 | 673M| 107 | - | 200 |3108 | 200 | 212 | 20M| 0 | 23k|-3.786842e+01 |-2.900000e+01 | 23.42%
1254.50/1254.56 c 1255s| 2350k|194503 | 31537k| 13.4 | 674M| 107 | 14 | 200 |3108 | 200 | 224 | 20M| 0 | 23k|-3.785714e+01 |-2.900000e+01 | 23.40%
1259.20/1259.27 c 1259s| 2360k|194967 | 31651k| 13.4 | 676M| 107 | - | 200 |3108 | 200 | 232 | 20M| 0 | 23k|-3.783333e+01 |-2.900000e+01 | 23.35%
1264.00/1264.01 c 1264s| 2370k|195409 | 31765k| 13.4 | 678M| 107 | 59 | 200 |3108 | 200 | 235 | 21M| 0 | 23k|-3.783333e+01 |-2.900000e+01 | 23.35%
1268.70/1268.78 c 1269s| 2380k|195891 | 31879k| 13.4 | 679M| 107 | 34 | 200 |3108 | 200 | 232 | 21M| 0 | 23k|-3.781818e+01 |-2.900000e+01 | 23.32%
1273.50/1273.53 c 1274s| 2390k|196293 | 31995k| 13.4 | 681M| 107 | - | 200 |3108 | 200 | 243 | 21M| 0 | 23k|-3.780000e+01 |-2.900000e+01 | 23.28%
1278.29/1278.32 c 1278s| 2400k|196737 | 32110k| 13.4 | 682M| 107 | - | 200 |3108 | 200 | 224 | 21M| 0 | 23k|-3.780000e+01 |-2.900000e+01 | 23.28%
1282.99/1283.09 c 1283s| 2410k|197049 | 32224k| 13.4 | 684M| 107 | - | 200 |3108 | 200 | 224 | 21M| 0 | 23k|-3.777778e+01 |-2.900000e+01 | 23.24%
1287.80/1287.86 c 1288s| 2420k|197417 | 32338k| 13.4 | 685M| 107 | - | 200 |3108 | 200 | 214 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1292.59/1292.64 c 1293s| 2430k|197821 | 32452k| 13.3 | 686M| 107 | - | 200 |3108 | 200 | 248 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1297.40/1297.42 c 1297s| 2440k|198221 | 32567k| 13.3 | 688M| 108 | 46 | 200 |3108 | 200 | 200 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1302.09/1302.15 c 1302s| 2450k|198687 | 32680k| 13.3 | 689M| 108 | - | 200 |3108 | 200 | 217 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1306.80/1306.86 c 1307s| 2460k|199073 | 32793k| 13.3 | 691M| 108 | - | 200 |3108 | 200 | 246 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1311.50/1311.59 c 1312s| 2470k|199471 | 32906k| 13.3 | 692M| 108 | 51 | 200 |3108 | 200 | 226 | 21M| 0 | 23k|-3.772727e+01 |-2.900000e+01 | 23.13%
1316.30/1316.39 c 1316s| 2480k|199841 | 33021k| 13.3 | 694M| 108 | 21 | 200 |3108 | 200 | 200 | 21M| 0 | 23k|-3.770370e+01 |-2.900000e+01 | 23.08%
1321.10/1321.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.10/1321.14 c 1321s| 2490k|200187 | 33136k| 13.3 | 695M| 108 | 24 | 200 |3108 | 200 | 212 | 22M| 0 | 23k|-3.768750e+01 |-2.900000e+01 | 23.05%
1325.90/1325.95 c 1326s| 2500k|200575 | 33252k| 13.3 | 696M| 108 | 26 | 200 |3108 | 200 | 213 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1330.70/1330.72 c 1331s| 2510k|200975 | 33367k| 13.3 | 698M| 108 | 7 | 200 |3108 | 200 | 214 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1335.40/1335.47 c 1335s| 2520k|201369 | 33483k| 13.3 | 699M| 108 | 48 | 200 |3108 | 200 | 232 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1340.09/1340.15 c 1340s| 2530k|201713 | 33594k| 13.3 | 700M| 108 | 32 | 200 |3108 | 200 | 200 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1344.90/1344.91 c 1345s| 2540k|202191 | 33710k| 13.3 | 702M| 108 | 38 | 200 |3108 | 200 | 232 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1349.50/1349.59 c 1350s| 2550k|202495 | 33822k| 13.3 | 703M| 108 | - | 200 |3108 | 200 | 223 | 22M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1354.30/1354.33 c 1354s| 2560k|202781 | 33934k| 13.3 | 704M| 108 | - | 200 |3108 | 200 | 221 | 22M| 0 | 24k|-3.763636e+01 |-2.900000e+01 | 22.95%
1359.00/1359.02 c 1359s| 2570k|203073 | 34045k| 13.2 | 706M| 108 | - | 200 |3108 | 200 | 238 | 22M| 0 | 24k|-3.762500e+01 |-2.900000e+01 | 22.92%
1363.70/1363.73 c 1364s| 2580k|203401 | 34157k| 13.2 | 707M| 108 | - | 200 |3108 | 200 | 243 | 22M| 0 | 24k|-3.760526e+01 |-2.900000e+01 | 22.88%
1368.49/1368.51 c 1369s| 2590k|203709 | 34272k| 13.2 | 708M| 108 | - | 200 |3108 | 200 | 215 | 22M| 0 | 24k|-3.760000e+01 |-2.900000e+01 | 22.87%
1373.20/1373.24 c 1373s| 2600k|204027 | 34385k| 13.2 | 709M| 108 | - | 200 |3108 | 200 | 217 | 22M| 0 | 24k|-3.759091e+01 |-2.900000e+01 | 22.85%
1377.89/1377.94 c 1378s| 2610k|204323 | 34497k| 13.2 | 711M| 108 | - | 200 |3108 | 200 | 218 | 22M| 0 | 24k|-3.757143e+01 |-2.900000e+01 | 22.81%
1382.49/1382.55 c 1383s| 2620k|204647 | 34607k| 13.2 | 712M| 108 | 47 | 200 |3108 | 200 | 249 | 23M| 0 | 24k|-3.756250e+01 |-2.900000e+01 | 22.80%
1387.20/1387.27 c 1387s| 2630k|204907 | 34718k| 13.2 | 713M| 108 | - | 200 |3108 | 200 | 231 | 23M| 0 | 24k|-3.754545e+01 |-2.900000e+01 | 22.76%
1391.90/1391.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.90/1391.99 c 1392s| 2640k|205279 | 34830k| 13.2 | 714M| 108 | - | 200 |3108 | 200 | 223 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1396.60/1396.67 c 1397s| 2650k|205565 | 34942k| 13.2 | 716M| 108 | - | 200 |3108 | 200 | 242 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1401.41/1401.43 c 1401s| 2660k|205913 | 35056k| 13.2 | 717M| 108 | - | 200 |3108 | 200 | 215 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1406.10/1406.10 c 1406s| 2670k|206235 | 35168k| 13.2 | 718M| 108 | - | 200 |3108 | 200 | 224 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1410.70/1410.74 c 1411s| 2680k|206549 | 35278k| 13.2 | 719M| 108 | 41 | 200 |3108 | 200 | 238 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1415.40/1415.48 c 1415s| 2690k|206893 | 35391k| 13.2 | 721M| 108 | - | 200 |3108 | 200 | 248 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1420.19/1420.21 c 1420s| 2700k|207281 | 35503k| 13.1 | 722M| 108 | - | 200 |3108 | 200 | 216 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1424.90/1424.93 c 1425s| 2710k|207625 | 35615k| 13.1 | 723M| 108 | 12 | 200 |3108 | 200 | 200 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1429.60/1429.64 c 1430s| 2720k|207963 | 35727k| 13.1 | 725M| 108 | - | 200 |3108 | 200 | 213 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1434.31/1434.35 c 1434s| 2730k|208295 | 35839k| 13.1 | 726M| 108 | 44 | 200 |3108 | 200 | 225 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1439.00/1439.00 c 1439s| 2740k|208639 | 35951k| 13.1 | 727M| 108 | - | 200 |3108 | 200 | 200 | 24M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1443.60/1443.68 c 1444s| 2750k|209007 | 36063k| 13.1 | 729M| 108 | - | 200 |3108 | 200 | 241 | 24M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1448.40/1448.42 c 1448s| 2760k|209369 | 36176k| 13.1 | 730M| 108 | 43 | 200 |3108 | 200 | 241 | 24M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1453.00/1453.06 c 1453s| 2770k|209669 | 36286k| 13.1 | 731M| 108 | 54 | 200 |3108 | 200 | 224 | 24M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1457.70/1457.73 c 1458s| 2780k|210021 | 36397k| 13.1 | 732M| 108 | 52 | 200 |3108 | 200 | 228 | 24M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1462.40/1462.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.40/1462.42 c 1462s| 2790k|210335 | 36509k| 13.1 | 734M| 108 | - | 200 |3108 | 200 | 210 | 24M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1467.00/1467.09 c 1467s| 2800k|210647 | 36619k| 13.1 | 735M| 108 | 65 | 200 |3108 | 200 | 244 | 24M| 0 | 25k|-3.746667e+01 |-2.900000e+01 | 22.60%
1471.81/1471.87 c 1472s| 2810k|210947 | 36731k| 13.1 | 736M| 108 | - | 200 |3108 | 200 | 231 | 24M| 0 | 25k|-3.744444e+01 |-2.900000e+01 | 22.55%
1476.50/1476.54 c 1477s| 2820k|211231 | 36842k| 13.1 | 737M| 108 | - | 200 |3108 | 200 | 228 | 24M| 0 | 25k|-3.742857e+01 |-2.900000e+01 | 22.52%
1481.20/1481.23 c 1481s| 2830k|211523 | 36954k| 13.1 | 738M| 108 | 5 | 200 |3108 | 200 | 209 | 24M| 0 | 25k|-3.741667e+01 |-2.900000e+01 | 22.49%
1485.90/1485.99 c 1486s| 2840k|211813 | 37067k| 13.0 | 740M| 108 | - | 200 |3108 | 200 | 224 | 24M| 0 | 25k|-3.740000e+01 |-2.900000e+01 | 22.46%
1490.60/1490.67 c 1491s| 2850k|212109 | 37178k| 13.0 | 741M| 108 | - | 200 |3108 | 200 | 217 | 24M| 0 | 25k|-3.740000e+01 |-2.900000e+01 | 22.46%
1495.29/1495.31 c 1495s| 2860k|212365 | 37287k| 13.0 | 742M| 108 | - | 200 |3108 | 200 | 234 | 25M| 0 | 25k|-3.737500e+01 |-2.900000e+01 | 22.41%
1499.90/1499.97 c 1500s| 2870k|212711 | 37398k| 13.0 | 743M| 108 | 44 | 200 |3108 | 200 | 237 | 25M| 0 | 25k|-3.736842e+01 |-2.900000e+01 | 22.39%
1504.70/1504.71 c 1505s| 2880k|212941 | 37510k| 13.0 | 744M| 108 | 38 | 200 |3108 | 200 | 216 | 25M| 0 | 25k|-3.734615e+01 |-2.900000e+01 | 22.35%
1509.30/1509.35 c 1509s| 2890k|213203 | 37620k| 13.0 | 745M| 108 | 28 | 200 |3108 | 200 | 200 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1513.89/1513.98 c 1514s| 2900k|213487 | 37728k| 13.0 | 746M| 108 | 6 | 200 |3108 | 200 | 215 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1518.49/1518.59 c 1519s| 2910k|213839 | 37836k| 13.0 | 748M| 108 | 20 | 200 |3108 | 200 | 224 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1523.29/1523.32 c 1523s| 2920k|214183 | 37948k| 13.0 | 749M| 108 | 6 | 200 |3108 | 200 | 223 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1527.91/1527.99 c 1528s| 2930k|214523 | 38059k| 13.0 | 750M| 108 | - | 200 |3108 | 200 | 234 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1532.60/1532.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.60/1532.69 c 1533s| 2940k|214789 | 38170k| 13.0 | 751M| 108 | 40 | 200 |3108 | 200 | 225 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1537.30/1537.36 c 1537s| 2950k|215069 | 38279k| 13.0 | 752M| 108 | 20 | 200 |3108 | 200 | 215 | 25M| 0 | 25k|-3.730769e+01 |-2.900000e+01 | 22.27%
1541.90/1541.96 c 1542s| 2960k|215291 | 38387k| 13.0 | 753M| 108 | 18 | 200 |3108 | 200 | 212 | 25M| 0 | 25k|-3.728723e+01 |-2.900000e+01 | 22.23%
1546.61/1546.62 c 1547s| 2970k|215545 | 38497k| 13.0 | 754M| 108 | - | 200 |3108 | 200 | 221 | 25M| 0 | 25k|-3.727500e+01 |-2.900000e+01 | 22.20%
1551.20/1551.25 c 1551s| 2980k|215777 | 38605k| 13.0 | 755M| 108 | - | 200 |3108 | 200 | 235 | 25M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1555.80/1555.87 c 1556s| 2990k|216021 | 38714k| 12.9 | 756M| 108 | 36 | 200 |3108 | 200 | 200 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1560.49/1560.54 c 1561s| 3000k|216347 | 38824k| 12.9 | 757M| 108 | - | 200 |3108 | 200 | 226 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1565.20/1565.25 c 1565s| 3010k|216687 | 38935k| 12.9 | 759M| 108 | 14 | 200 |3108 | 200 | 200 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1570.00/1570.00 c 1570s| 3020k|216989 | 39046k| 12.9 | 760M| 108 | 17 | 200 |3108 | 200 | 218 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1574.60/1574.67 c 1575s| 3030k|217249 | 39157k| 12.9 | 761M| 108 | 25 | 200 |3108 | 200 | 235 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1579.29/1579.38 c 1579s| 3040k|217545 | 39267k| 12.9 | 762M| 108 | 38 | 200 |3108 | 200 | 235 | 26M| 0 | 26k|-3.722222e+01 |-2.900000e+01 | 22.09%
1584.00/1584.05 c 1584s| 3050k|217797 | 39377k| 12.9 | 763M| 108 | - | 200 |3108 | 200 | 226 | 26M| 0 | 26k|-3.720513e+01 |-2.900000e+01 | 22.05%
1588.70/1588.71 c 1589s| 3060k|218029 | 39487k| 12.9 | 764M| 108 | - | 200 |3108 | 200 | 200 | 26M| 0 | 26k|-3.720000e+01 |-2.900000e+01 | 22.04%
1593.30/1593.35 c 1593s| 3070k|218331 | 39596k| 12.9 | 765M| 108 | 9 | 200 |3108 | 200 | 214 | 26M| 0 | 26k|-3.719444e+01 |-2.900000e+01 | 22.03%
1598.00/1598.03 c 1598s| 3080k|218591 | 39705k| 12.9 | 766M| 108 | - | 200 |3108 | 200 | 231 | 26M| 0 | 26k|-3.716667e+01 |-2.900000e+01 | 21.97%
1602.60/1602.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.60/1602.61 c 1603s| 3090k|218939 | 39813k| 12.9 | 768M| 108 | 34 | 200 |3108 | 200 | 212 | 26M| 0 | 26k|-3.716667e+01 |-2.900000e+01 | 21.97%
1607.20/1607.24 c 1607s| 3100k|219219 | 39921k| 12.9 | 769M| 108 | 12 | 200 |3108 | 200 | 218 | 26M| 0 | 26k|-3.716304e+01 |-2.900000e+01 | 21.97%
1611.80/1611.86 c 1612s| 3110k|219429 | 40027k| 12.9 | 770M| 108 | 41 | 200 |3108 | 200 | 213 | 26M| 0 | 26k|-3.714286e+01 |-2.900000e+01 | 21.92%
1616.39/1616.42 c 1616s| 3120k|219701 | 40133k| 12.9 | 771M| 108 | - | 200 |3108 | 200 | 228 | 27M| 0 | 26k|-3.713103e+01 |-2.900000e+01 | 21.90%
1621.00/1621.07 c 1621s| 3130k|219969 | 40240k| 12.9 | 772M| 108 | - | 200 |3108 | 200 | 213 | 27M| 0 | 26k|-3.712500e+01 |-2.900000e+01 | 21.89%
1625.60/1625.64 c 1626s| 3140k|220229 | 40347k| 12.8 | 773M| 108 | 35 | 200 |3108 | 200 | 215 | 27M| 0 | 26k|-3.710000e+01 |-2.900000e+01 | 21.83%
1630.30/1630.33 c 1630s| 3150k|220467 | 40456k| 12.8 | 774M| 108 | - | 200 |3108 | 200 | 241 | 27M| 0 | 26k|-3.708333e+01 |-2.900000e+01 | 21.80%
1634.89/1634.92 c 1635s| 3160k|220689 | 40562k| 12.8 | 775M| 108 | - | 200 |3108 | 200 | 244 | 27M| 0 | 26k|-3.707143e+01 |-2.900000e+01 | 21.77%
1639.49/1639.58 c 1640s| 3170k|220919 | 40669k| 12.8 | 776M| 108 | 8 | 200 |3108 | 200 | 217 | 27M| 0 | 26k|-3.704545e+01 |-2.900000e+01 | 21.72%
1644.10/1644.14 c 1644s| 3180k|221183 | 40775k| 12.8 | 777M| 108 | 25 | 200 |3108 | 200 | 200 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1648.70/1648.71 c 1649s| 3190k|221429 | 40881k| 12.8 | 778M| 108 | - | 200 |3108 | 200 | 222 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1653.30/1653.32 c 1653s| 3200k|221733 | 40989k| 12.8 | 779M| 108 | - | 200 |3108 | 200 | 211 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1657.90/1657.92 c 1658s| 3210k|222053 | 41096k| 12.8 | 780M| 108 | - | 200 |3108 | 200 | 227 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1662.40/1662.45 c 1662s| 3220k|222297 | 41203k| 12.8 | 781M| 108 | - | 200 |3108 | 200 | 217 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1667.00/1667.02 c 1667s| 3230k|222483 | 41310k| 12.8 | 782M| 108 | 47 | 200 |3108 | 200 | 229 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1671.50/1671.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.50/1671.58 c 1672s| 3240k|222621 | 41414k| 12.8 | 783M| 108 | - | 200 |3108 | 200 | 231 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1676.10/1676.12 c 1676s| 3250k|222833 | 41519k| 12.8 | 783M| 108 | 48 | 200 |3108 | 200 | 221 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1680.71/1680.77 c 1681s| 3260k|223185 | 41628k| 12.8 | 785M| 108 | - | 200 |3108 | 200 | 244 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1685.30/1685.32 c 1685s| 3270k|223457 | 41733k| 12.8 | 786M| 108 | 3 | 200 |3108 | 200 | 219 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1689.80/1689.89 c 1690s| 3280k|223815 | 41839k| 12.8 | 787M| 108 | 61 | 200 |3108 | 200 | 247 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1694.50/1694.50 c 1694s| 3290k|224121 | 41947k| 12.7 | 788M| 108 | - | 200 |3108 | 200 | 228 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1699.10/1699.13 c 1699s| 3300k|224431 | 42054k| 12.7 | 789M| 108 | 34 | 200 |3108 | 200 | 226 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1703.60/1703.65 c 1704s| 3310k|224639 | 42158k| 12.7 | 790M| 108 | - | 200 |3108 | 200 | 217 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1708.21/1708.25 c 1708s| 3320k|224847 | 42264k| 12.7 | 791M| 108 | - | 200 |3108 | 200 | 246 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1712.80/1712.85 c 1713s| 3330k|225089 | 42371k| 12.7 | 792M| 108 | - | 200 |3108 | 200 | 200 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1717.50/1717.51 c 1718s| 3340k|225387 | 42480k| 12.7 | 793M| 108 | - | 200 |3108 | 200 | 232 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1722.20/1722.20 c 1722s| 3350k|225645 | 42589k| 12.7 | 794M| 108 | 36 | 200 |3108 | 200 | 214 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1726.70/1726.75 c 1727s| 3360k|225897 | 42693k| 12.7 | 795M| 108 | 49 | 200 |3108 | 200 | 222 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1731.31/1731.30 c 1731s| 3370k|226187 | 42799k| 12.7 | 796M| 108 | 12 | 200 |3108 | 200 | 212 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1735.80/1735.86 c 1736s| 3380k|226463 | 42903k| 12.7 | 797M| 108 | - | 200 |3108 | 200 | 238 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1740.39/1740.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.39/1740.43 c 1740s| 3390k|226661 | 43008k| 12.7 | 798M| 108 | - | 200 |3108 | 200 | 251 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1744.89/1744.94 c 1745s| 3400k|226865 | 43112k| 12.7 | 799M| 108 | 27 | 200 |3108 | 200 | 200 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1749.49/1749.57 c 1750s| 3410k|227141 | 43219k| 12.7 | 800M| 108 | - | 200 |3108 | 200 | 243 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1754.20/1754.23 c 1754s| 3420k|227481 | 43328k| 12.7 | 802M| 108 | 47 | 200 |3108 | 200 | 221 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1758.80/1758.90 c 1759s| 3430k|227789 | 43437k| 12.7 | 803M| 108 | 24 | 200 |3108 | 200 | 234 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1763.50/1763.51 c 1764s| 3440k|228057 | 43544k| 12.7 | 804M| 108 | - | 200 |3108 | 200 | 231 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1768.10/1768.15 c 1768s| 3450k|228371 | 43653k| 12.6 | 805M| 108 | - | 200 |3108 | 200 | 226 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1772.70/1772.77 c 1773s| 3460k|228665 | 43760k| 12.6 | 806M| 108 | 46 | 200 |3108 | 200 | 228 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1777.30/1777.36 c 1777s| 3470k|228939 | 43866k| 12.6 | 807M| 108 | - | 200 |3108 | 200 | 235 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1781.90/1781.93 c 1782s| 3480k|229157 | 43971k| 12.6 | 808M| 108 | - | 200 |3108 | 200 | 218 | 29M| 0 | 27k|-3.695349e+01 |-2.900000e+01 | 21.52%
1786.50/1786.53 c 1787s| 3490k|229323 | 44076k| 12.6 | 809M| 108 | 10 | 200 |3108 | 200 | 210 | 29M| 0 | 27k|-3.693333e+01 |-2.900000e+01 | 21.48%
1791.00/1791.07 c 1791s| 3500k|229515 | 44180k| 12.6 | 810M| 108 | - | 200 |3108 | 200 | 226 | 29M| 0 | 27k|-3.691781e+01 |-2.900000e+01 | 21.45%
1795.60/1795.65 c 1796s| 3510k|229777 | 44285k| 12.6 | 811M| 108 | - | 200 |3108 | 200 | 253 | 30M| 0 | 27k|-3.690323e+01 |-2.900000e+01 | 21.42%
1797.00/1797.00 c
1797.00/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.00/1797.00 c Solving Time (sec) : 1797.00
1797.00/1797.00 c Solving Nodes : 3513078
1797.00/1797.00 c Primal Bound : -2.90000000000000e+01 (524 solutions)
1797.00/1797.00 c Dual Bound : -3.69000000000000e+01
1797.00/1797.00 c Gap : 21.41 %
1797.00/1797.00 s SATISFIABLE
1797.00/1797.00 v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 x188 -x187 x186 x185 x184 -x183 -x182 -x181 -x180 -x179 -x178
1797.00/1797.00 v -x177 x176 -x175 -x174 -x173 -x172 x171 x170 x169 -x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1797.00/1797.00 v -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 x137 -x136 -x135
1797.00/1797.00 v -x134 -x133 -x132 -x131 -x130 x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1797.00/1797.00 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91
1797.00/1797.00 v -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
1797.00/1797.00 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 x44 -x43 -x42 -x41
1797.00/1797.00 v -x40 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
1797.00/1797.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1797.00/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.00/1797.00 c Total Time : 1797.00
1797.00/1797.00 c solving : 1797.00
1797.00/1797.00 c presolving : 0.08 (included in solving)
1797.00/1797.00 c reading : 0.02 (included in solving)
1797.00/1797.00 c Original Problem :
1797.00/1797.00 c Problem name : HOME/instance-3488608-1307784708.opb
1797.00/1797.00 c Variables : 3308 (3308 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.00 c Constraints : 3508 initial, 3508 maximal
1797.00/1797.00 c Presolved Problem :
1797.00/1797.00 c Problem name : t_HOME/instance-3488608-1307784708.opb
1797.00/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.00 c Constraints : 3108 initial, 3108 maximal
1797.00/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.00/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c linear : 0.01 3108 0 0 3108 0 200 0 0 0
1797.00/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.00/1797.00 c root node : - 0 - - 0 - - - - -
1797.00/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.00/1797.00 c integral : 0 0 0 2915445 0 743049 0 261 1729 0 0 3753450
1797.00/1797.00 c setppc : 3108 69 5677620 1037685 2 743045 0 29 19719557 30084894 0 0
1797.00/1797.00 c countsols : 0 0 0 6 2 520 0 0 0 0 0 0
1797.00/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.00/1797.00 c integral : 39.11 0.00 0.00 38.94 0.00 0.17 0.00
1797.00/1797.00 c setppc : 121.58 0.04 57.60 25.40 0.00 38.54 0.00
1797.00/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.00/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.00/1797.00 c vbounds : 0 0 0 0
1797.00/1797.00 c rootredcost : 9 0 0 0
1797.00/1797.00 c pseudoobj : 5684547 0 0 0
1797.00/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.00/1797.00 c vbounds : 1.03 1.03 0.00
1797.00/1797.00 c rootredcost : 1.07 1.07 0.00
1797.00/1797.00 c pseudoobj : 25.09 25.09 0.00
1797.00/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.00/1797.00 c propagation : 0.00 29 0 0 0.0 0 0.0 -
1797.00/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.00/1797.00 c applied globally : - - - 0 0.0 - - -
1797.00/1797.00 c applied locally : - - - 0 0.0 - - -
1797.00/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.00/1797.00 c cut pool : 0.06 68 - - 161 - (maximal pool size: 2861)
1797.00/1797.00 c redcost : 15.70 3119913 0 370654 0 0
1797.00/1797.00 c impliedbounds : 0.01 69 0 0 1661 0
1797.00/1797.00 c intobj : 0.00 0 0 0 0 0
1797.00/1797.00 c gomory : 1.89 69 0 0 11215 0
1797.00/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.00/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.00/1797.00 c strongcg : 0.35 20 0 0 9062 0
1797.00/1797.00 c cmir : 0.07 10 0 0 0 0
1797.00/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.00/1797.00 c clique : 0.18 69 0 0 600 0
1797.00/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.00/1797.00 c mcf : 0.00 1 0 0 0 0
1797.00/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.00/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1797.00/1797.00 c Pricers : Time Calls Vars
1797.00/1797.00 c problem variables: 0.00 0 0
1797.00/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.00/1797.00 c relpscost : 37.70 1877760 261 1729 0 0 3753450
1797.00/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.00/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.00/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.00/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.00/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.00/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.00/1797.00 c random : 0.00 0 0 0 0 0 0
1797.00/1797.00 c Primal Heuristics : Time Calls Found
1797.00/1797.00 c LP solutions : 0.03 - 6
1797.00/1797.00 c pseudo solutions : 0.00 - 0
1797.00/1797.00 c feaspump : 0.07 0 0
1797.00/1797.00 c oneopt : 0.80 9 0
1797.00/1797.00 c crossover : 1.68 37 24
1797.00/1797.00 c linesearchdiving : 0.41 363 6
1797.00/1797.00 c guideddiving : 0.44 363 9
1797.00/1797.00 c rootsoldiving : 0.44 182 1
1797.00/1797.00 c objpscostdiving : 0.22 182 5
1797.00/1797.00 c veclendiving : 0.42 364 8
1797.00/1797.00 c pscostdiving : 0.41 364 7
1797.00/1797.00 c coefdiving : 0.38 364 7
1797.00/1797.00 c fracdiving : 0.43 364 6
1797.00/1797.00 c trivial : 0.00 2 1
1797.00/1797.00 c shiftandpropagate: 0.00 0 0
1797.00/1797.00 c simplerounding : 48.39 1880308 424
1797.00/1797.00 c zirounding : 0.64 1000 16
1797.00/1797.00 c rounding : 5.35 91460 2
1797.00/1797.00 c shifting : 0.67 8544 1
1797.00/1797.00 c intshifting : 0.04 0 0
1797.00/1797.00 c twoopt : 0.00 0 0
1797.00/1797.00 c fixandinfer : 0.00 0 0
1797.00/1797.00 c clique : 0.00 0 0
1797.00/1797.00 c intdiving : 0.00 0 0
1797.00/1797.00 c actconsdiving : 0.00 0 0
1797.00/1797.00 c octane : 0.00 0 0
1797.00/1797.00 c rens : 0.01 0 0
1797.00/1797.00 c rins : 0.00 0 0
1797.00/1797.00 c localbranching : 0.00 0 0
1797.00/1797.00 c mutation : 0.00 0 0
1797.00/1797.00 c dins : 0.00 0 0
1797.00/1797.00 c vbounds : 0.00 0 0
1797.00/1797.00 c undercover : 0.01 1 0
1797.00/1797.00 c subnlp : 0.57 0 0
1797.00/1797.00 c trysol : 0.80 0 0
1797.00/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.00/1797.00 c primal LP : 36.98 0 0 0.00 0.00
1797.00/1797.00 c dual LP : 1141.11 4556990 44275051 9.72 38799.91
1797.00/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.00/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.00/1797.00 c diving/probing LP: 1.64 7167 41326 5.77 25171.18
1797.00/1797.00 c strong branching : 17.90 27759 458815 16.53 25625.82
1797.00/1797.00 c (at root node) : - 19 13686 720.32 -
1797.00/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.00/1797.00 c B&B Tree :
1797.00/1797.00 c number of runs : 1
1797.00/1797.00 c nodes : 3513078
1797.00/1797.00 c nodes (total) : 3513078
1797.00/1797.00 c nodes left : 229873
1797.00/1797.00 c max depth : 108
1797.00/1797.00 c max depth (total): 108
1797.00/1797.00 c backtracks : 406820 (11.6%)
1797.00/1797.00 c delayed cutoffs : 0
1797.00/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.00/1797.00 c avg switch length: 5.07
1797.00/1797.00 c switching time : 158.01
1797.00/1797.00 c Solution :
1797.00/1797.00 c Solutions found : 524 (13 improvements)
1797.00/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.00/1797.00 c Primal Bound : -2.90000000000000e+01 (in run 1, after 107072 nodes, 92.09 seconds, depth 45, found by <relaxation>)
1797.00/1797.00 c Dual Bound : -3.69000000000000e+01
1797.00/1797.00 c Gap : 21.41 %
1797.00/1797.00 c Root Dual Bound : -4.97534259306696e+01
1797.00/1797.00 c Root Iterations : 12523
1798.30/1798.32 c Time complete: 1798.32.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488608-1307784708/watcher-3488608-1307784708 -o /tmp/evaluation-result-3488608-1307784708/solver-3488608-1307784708 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488608-1307784708.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.36 1.65 4/176 25013
/proc/meminfo: memFree=30934204/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=12888 CPUtime=0 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 2203 0 0 0 0 0 0 0 25 0 1 0 968701472 13197312 2158 33554432000 4194304 9016284 140736500385456 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25013/statm: 3222 2163 370 1178 0 2040 0
[startup+0.007098 s]
/proc/loadavg: 1.00 1.36 1.65 4/176 25013
/proc/meminfo: memFree=30934204/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=13244 CPUtime=0 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 2291 0 0 0 0 0 0 0 25 0 1 0 968701472 13561856 2246 33554432000 4194304 9016284 140736500385456 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25013/statm: 3311 2257 380 1178 0 2129 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13244
[startup+0.101126 s]
/proc/loadavg: 1.00 1.36 1.65 4/176 25013
/proc/meminfo: memFree=30934204/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=31092 CPUtime=0.09 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 6798 0 0 0 9 0 0 0 25 0 1 0 968701472 31838208 6496 33554432000 4194304 9016284 140736500385456 18446744073709551615 4320939 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 7773 6496 521 1178 0 6591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31092
[startup+0.301079 s]
/proc/loadavg: 1.00 1.36 1.65 4/176 25013
/proc/meminfo: memFree=30934204/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=37392 CPUtime=0.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 14964 0 0 0 28 1 0 0 25 0 1 0 968701472 38289408 8200 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 9348 8200 688 1178 0 8166 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37392
[startup+0.701037 s]
/proc/loadavg: 1.00 1.36 1.65 4/176 25013
/proc/meminfo: memFree=30934204/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=42440 CPUtime=0.69 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 16389 0 0 0 68 1 0 0 25 0 1 0 968701472 43458560 9621 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 10610 9621 689 1178 0 9428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42440
[startup+1.50087 s]
/proc/loadavg: 1.08 1.37 1.65 3/178 25015
/proc/meminfo: memFree=30868524/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=50036 CPUtime=1.49 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 18192 0 0 0 147 2 0 0 25 0 1 0 968701472 51236864 11409 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 12509 11409 691 1178 0 11327 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50036
[startup+3.10059 s]
/proc/loadavg: 1.08 1.37 1.65 3/178 25015
/proc/meminfo: memFree=30851912/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=54904 CPUtime=3.09 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 19492 0 0 0 305 4 0 0 25 0 1 0 968701472 56221696 12693 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 13726 12693 707 1178 0 12544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54904
[startup+6.3011 s]
/proc/loadavg: 1.16 1.38 1.65 3/178 25015
/proc/meminfo: memFree=30851076/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=55004 CPUtime=6.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 21332 0 0 0 621 9 0 0 25 0 1 0 968701472 56324096 12771 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 13751 12771 696 1178 0 12569 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 55004
[startup+12.701 s]
/proc/loadavg: 1.22 1.39 1.65 3/178 25017
/proc/meminfo: memFree=30844948/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=57164 CPUtime=12.69 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 32069 0 0 0 1242 27 0 0 25 0 1 0 968701472 58535936 13290 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 14291 13290 704 1178 0 13109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57164
[startup+25.5009 s]
/proc/loadavg: 1.34 1.41 1.66 3/178 25017
/proc/meminfo: memFree=30815928/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=73648 CPUtime=25.5 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 50149 0 0 0 2484 66 0 0 25 0 1 0 968701472 75415552 17321 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 18412 17321 705 1178 0 17230 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 73648
[startup+51.1006 s]
/proc/loadavg: 1.60 1.47 1.67 3/178 25017
/proc/meminfo: memFree=30766608/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=98992 CPUtime=51.09 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 81230 0 0 0 4965 144 0 0 25 0 1 0 968701472 101367808 23719 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25013/statm: 24748 23719 705 1178 0 23566 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98992
[startup+102.306 s]
/proc/loadavg: 1.83 1.55 1.68 3/178 25019
/proc/meminfo: memFree=30692156/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=132456 CPUtime=102.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 142559 0 0 0 9925 304 0 0 25 0 1 0 968701472 135634944 32086 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 33114 32086 705 1178 0 31932 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 132456
[startup+162.301 s]
/proc/loadavg: 1.93 1.63 1.70 3/178 25021
/proc/meminfo: memFree=30613880/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=180528 CPUtime=162.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 165183 0 0 0 15751 478 0 0 25 0 1 0 968701472 184860672 44136 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 45132 44136 705 1178 0 43950 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 180528
[startup+222.301 s]
/proc/loadavg: 1.97 1.69 1.72 3/178 25021
/proc/meminfo: memFree=30535060/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=221716 CPUtime=222.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 179097 0 0 0 21576 653 0 0 25 0 1 0 968701472 227037184 54496 33554432000 4194304 9016284 140736500385456 18446744073709551615 7091770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 55429 54496 705 1178 0 54247 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 221716
[startup+282.301 s]
/proc/loadavg: 1.99 1.75 1.73 3/178 25023
/proc/meminfo: memFree=30462956/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=261636 CPUtime=282.28 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 189136 0 0 0 27399 829 0 0 25 0 1 0 968701472 267915264 64535 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 65409 64535 705 1178 0 64227 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 261636
[startup+342.301 s]
/proc/loadavg: 1.99 1.79 1.74 3/178 25025
/proc/meminfo: memFree=30388360/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=302504 CPUtime=342.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 202402 0 0 0 33221 1008 0 0 25 0 1 0 968701472 309764096 74269 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 75626 74269 705 1178 0 74444 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 302504
[startup+402.301 s]
/proc/loadavg: 1.99 1.83 1.75 3/178 25027
/proc/meminfo: memFree=30332484/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=337360 CPUtime=402.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 211194 0 0 0 39045 1184 0 0 25 0 1 0 968701472 345456640 83061 33554432000 4194304 9016284 140736500385456 18446744073709551615 4355296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 84340 83061 705 1178 0 83158 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 337360
[startup+462.301 s]
/proc/loadavg: 1.99 1.85 1.77 3/178 25032
/proc/meminfo: memFree=30294436/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=374228 CPUtime=462.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 220419 0 0 0 44876 1353 0 0 25 0 1 0 968701472 383209472 92285 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 93557 92285 705 1178 0 92375 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 374228
[startup+522.301 s]
/proc/loadavg: 1.99 1.88 1.78 3/178 25032
/proc/meminfo: memFree=30252900/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=406488 CPUtime=522.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 228523 0 0 0 50703 1526 0 0 25 0 1 0 968701472 416243712 100389 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 101622 100389 705 1178 0 100440 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 406488
[startup+582.301 s]
/proc/loadavg: 1.99 1.90 1.79 3/178 25034
/proc/meminfo: memFree=30198764/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=437772 CPUtime=582.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 239896 0 0 0 56522 1707 0 0 25 0 1 0 968701472 448278528 108253 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 109443 108253 705 1178 0 108261 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 437772
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=29944112/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=648996 CPUtime=1062.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 296477 0 0 0 103143 3086 0 0 25 0 1 0 968701472 664571904 161302 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 162249 161302 705 1178 0 161067 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 648996
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 25048
/proc/meminfo: memFree=29922088/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=665164 CPUtime=1122.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 300535 0 0 0 108974 3256 0 0 25 0 1 0 968701472 681127936 165360 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 166291 165360 705 1178 0 165109 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 665164
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 25050
/proc/meminfo: memFree=29894148/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=692884 CPUtime=1182.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 307495 0 0 0 114800 3429 0 0 25 0 1 0 968701472 709513216 172320 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 173221 172320 705 1178 0 172039 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 692884
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 25052
/proc/meminfo: memFree=29878344/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=708628 CPUtime=1242.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 311456 0 0 0 120634 3596 0 0 25 0 1 0 968701472 725635072 176281 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 177157 176281 705 1178 0 175975 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 708628
[startup+1302.3 s]
/proc/loadavg: 2.08 1.99 1.89 3/178 25054
/proc/meminfo: memFree=29858288/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=732372 CPUtime=1302.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 316397 0 0 0 126467 3763 0 0 25 0 1 0 968701472 749948928 181222 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 183093 181222 705 1178 0 181911 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 732372
[startup+1362.3 s]
/proc/loadavg: 2.06 2.00 1.90 3/178 25056
/proc/meminfo: memFree=29841844/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=748660 CPUtime=1362.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 320482 0 0 0 132301 3929 0 0 25 0 1 0 968701472 766627840 185307 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 187165 185307 705 1178 0 185983 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 748660
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 25056
/proc/meminfo: memFree=29826148/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=764308 CPUtime=1422.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 324409 0 0 0 138131 4099 0 0 25 0 1 0 968701472 782651392 189234 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 191077 189234 705 1178 0 189895 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 764308
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 25058
/proc/meminfo: memFree=29811332/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=778836 CPUtime=1482.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 328056 0 0 0 143961 4269 0 0 25 0 1 0 968701472 797528064 192881 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 194709 192881 705 1178 0 193527 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 778836
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25060
/proc/meminfo: memFree=29796888/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=793108 CPUtime=1542.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 331655 0 0 0 149793 4437 0 0 25 0 1 0 968701472 812142592 196480 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 198277 196480 705 1178 0 197095 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 793108
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25062
/proc/meminfo: memFree=29783944/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=806804 CPUtime=1602.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 335074 0 0 0 155633 4597 0 0 25 0 1 0 968701472 826167296 199899 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 201701 199899 705 1178 0 200519 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 806804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25064
/proc/meminfo: memFree=29772352/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=817492 CPUtime=1662.29 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 337763 0 0 0 161471 4758 0 0 25 0 1 0 968701472 837111808 202588 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 204373 202588 705 1178 0 203191 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 817492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25064
/proc/meminfo: memFree=29757672/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=832020 CPUtime=1722.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 341409 0 0 0 167303 4927 0 0 25 0 1 0 968701472 851988480 206234 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 208005 206234 705 1178 0 206823 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 832020
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25075
/proc/meminfo: memFree=29739988/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=848916 CPUtime=1782.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 349167 0 0 0 173137 5093 0 0 25 0 1 0 968701472 869289984 210470 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 212229 210470 705 1178 0 211047 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 848916
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25075
/proc/meminfo: memFree=29738736/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=849940 CPUtime=1791.91 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 349422 0 0 0 174073 5118 0 0 25 0 1 0 968701472 870338560 210725 33554432000 4194304 9016284 140736500385456 18446744073709551615 4321411 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 212485 210725 705 1178 0 211303 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 849940
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25075
/proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=850452 CPUtime=1795.1 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 349553 0 0 0 174383 5127 0 0 25 0 1 0 968701472 870862848 210856 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 212613 210856 705 1178 0 211431 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 850452
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25075
/proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=850452 CPUtime=1796.7 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 349554 0 0 0 174538 5132 0 0 25 0 1 0 968701472 870862848 210857 33554432000 4194304 9016284 140736500385456 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25013/statm: 212613 210857 705 1178 0 211431 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 850452
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25075
/proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=850452 CPUtime=1797.5 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 349556 0 0 0 174617 5133 0 0 25 0 1 0 968701472 870862848 210859 33554432000 4194304 9016284 140736500385456 18446744073709551615 6812671 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25013/statm: 212613 210859 707 1178 0 211431 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 850452
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25075
/proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=850452 CPUtime=1797.9 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 349556 0 0 0 174657 5133 0 0 25 0 1 0 968701472 870862848 210859 33554432000 4194304 9016284 140736500385456 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25013/statm: 212613 210859 707 1178 0 211431 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 850452
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25075
/proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528
[pid=25013] ppid=25011 vsize=726012 CPUtime=1798.3 cores=0,2,4,6
/proc/25013/stat : 25013 (scip-2.0.1.4b_2) R 25011 25013 24968 0 -1 4202496 349556 0 0 0 174696 5134 0 0 25 0 1 0 968701472 743436288 169188 33554432000 4194304 9016284 140736500385456 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25013/statm: 181503 169188 707 1178 0 180321 0
Current children cumulated CPU time (s) 1798.3
Current children cumulated vsize (KiB) 726012
Child status: 0
Real time (s): 1798.33
CPU time (s): 1798.33
CPU user time (s): 1746.97
CPU system time (s): 51.3662
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 850452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.97
system time used= 51.3662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349561
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= 3
involuntary context switches= 19633
runsolver used 2.69859 second user time and 5.50416 second system time
The end