Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | -29 | 1797.79 | 1798.15 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb |
| MD5SUM | 1b4456ec5e57b53956abc30521c99789 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -29 |
| Best CPU time to get the best result obtained on this benchmark | 1797.7 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 45 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6216 |
| Sum of products size (including duplicates) | 12432 |
| Number of different products | 3108 |
| Sum of products size | 6216 |
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-3737296-1338726312.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.08/0.18 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.08/0.19 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.18/0.22 c (0.2s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.22 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.18/0.22 c presolving (3 rounds):
0.18/0.22 c 3108 deleted vars, 400 deleted constraints, 0 added constraints, 3108 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.22 c 18646 implications, 0 cliques
0.18/0.22 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3108 constraints
0.18/0.22 c 3108 constraints of type <setppc>
0.18/0.22 c transformed objective value is always integral (scale: 1)
0.18/0.22 c Presolving Time: 0.19
0.18/0.22 c - non default parameters ----------------------------------------------------------------------
0.18/0.22 c # SCIP version 2.0.1.5
0.18/0.22 c
0.18/0.22 c # frequency for displaying node information lines
0.18/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.18/0.22 c display/freq = 10000
0.18/0.22 c
0.18/0.22 c # maximal time in seconds to run
0.18/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.22 c limits/time = 1797
0.18/0.22 c
0.18/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.22 c limits/memory = 13950
0.18/0.22 c
0.18/0.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.22 c # [type: int, range: [1,2], default: 1]
0.18/0.22 c timing/clocktype = 2
0.18/0.22 c
0.18/0.22 c # belongs reading time to solving time?
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c timing/reading = TRUE
0.18/0.22 c
0.18/0.22 c # should presolving try to simplify inequalities
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c constraints/linear/simplifyinequalities = TRUE
0.18/0.22 c
0.18/0.22 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c constraints/indicator/addCouplingCons = TRUE
0.18/0.22 c
0.18/0.22 c # should presolving try to simplify knapsacks
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.18/0.22 c
0.18/0.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.22 c separating/rapidlearning/freq = 0
0.18/0.22 c
0.18/0.22 c -----------------------------------------------------------------------------------------------
0.18/0.22 c start solving
0.18/0.22 c
0.18/0.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.18/0.24 c t 0.2s| 1 | 0 | 202 | - | 10M| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.18/0.24 o -1
0.18/0.24 c R 0.2s| 1 | 0 | 202 | - | 10M| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.29/0.33 o -18
0.29/0.33 c y 0.3s| 1 | 0 | 202 | - | 10M| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 |-1.800000e+01 | 82.00%
0.29/0.34 c 0.3s| 1 | 0 | 293 | - | 10M| 0 | 189 | 200 |3108 | 200 |3117 | 9 | 0 | 0 |-9.450000e+01 |-1.800000e+01 | 80.95%
0.39/0.41 c 0.4s| 1 | 0 | 405 | - | 10M| 0 | 183 | 200 |3108 | 200 |3125 | 17 | 0 | 0 |-9.150000e+01 |-1.800000e+01 | 80.33%
0.39/0.49 c 0.5s| 1 | 0 | 605 | - | 10M| 0 | 177 | 200 |3108 | 200 |3132 | 24 | 0 | 0 |-8.850000e+01 |-1.800000e+01 | 79.66%
0.49/0.56 c 0.6s| 1 | 0 | 741 | - | 10M| 0 | 172 | 200 |3108 | 200 |3141 | 33 | 0 | 0 |-8.600000e+01 |-1.800000e+01 | 79.07%
0.58/0.62 c 0.6s| 1 | 0 | 801 | - | 10M| 0 | 169 | 200 |3108 | 200 |3147 | 39 | 0 | 0 |-8.450000e+01 |-1.800000e+01 | 78.70%
0.58/0.69 c 0.7s| 1 | 0 | 899 | - | 10M| 0 | 165 | 200 |3108 | 200 |3156 | 48 | 0 | 0 |-8.250000e+01 |-1.800000e+01 | 78.18%
0.68/0.78 c 0.8s| 1 | 0 | 1018 | - | 10M| 0 | 168 | 200 |3108 | 200 |3163 | 55 | 0 | 0 |-8.175000e+01 |-1.800000e+01 | 77.98%
0.78/0.88 c 0.9s| 1 | 0 | 1242 | - | 10M| 0 | 157 | 200 |3108 | 200 |3172 | 64 | 0 | 0 |-7.850000e+01 |-1.800000e+01 | 77.07%
0.89/0.96 c 1.0s| 1 | 0 | 1391 | - | 10M| 0 | 152 | 200 |3108 | 200 |3180 | 72 | 0 | 0 |-7.600000e+01 |-1.800000e+01 | 76.32%
1.00/1.07 c 1.1s| 1 | 0 | 1762 | - | 10M| 0 | 160 | 200 |3108 | 200 |3188 | 80 | 0 | 0 |-7.465385e+01 |-1.800000e+01 | 75.89%
1.10/1.14 c 1.1s| 1 | 0 | 1879 | - | 10M| 0 | 162 | 200 |3108 | 200 | 486 | 91 | 0 | 0 |-7.385000e+01 |-1.800000e+01 | 75.63%
1.10/1.17 c 1.2s| 1 | 0 | 2079 | - | 11M| 0 | 142 | 200 |3108 | 200 | 496 | 101 | 0 | 0 |-7.200000e+01 |-1.800000e+01 | 75.00%
1.19/1.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.22 c 1.2s| 1 | 0 | 2519 | - | 11M| 0 | 174 | 200 |3108 | 200 | 519 | 124 | 0 | 0 |-7.008421e+01 |-1.800000e+01 | 74.32%
1.29/1.31 c 1.3s| 1 | 0 | 2955 | - | 12M| 0 | 140 | 200 |3108 | 200 | 744 | 349 | 0 | 0 |-6.775000e+01 |-1.800000e+01 | 73.43%
1.29/1.35 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.39/1.43 c 1.4s| 1 | 0 | 3324 | - | 12M| 0 | 130 | 200 |3108 | 200 | 951 | 556 | 0 | 0 |-6.500000e+01 |-1.800000e+01 | 72.31%
1.48/1.50 c 1.5s| 1 | 0 | 3700 | - | 12M| 0 | 145 | 200 |3108 | 200 | 809 | 564 | 0 | 0 |-6.337500e+01 |-1.800000e+01 | 71.60%
1.48/1.54 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.48/1.58 c 1.6s| 1 | 0 | 3852 | - | 12M| 0 | 144 | 200 |3108 | 200 | 823 | 578 | 0 | 0 |-6.278947e+01 |-1.800000e+01 | 71.33%
1.58/1.65 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.68/1.75 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.85 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.89/1.91 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.98 c 2.0s| 1 | 0 | 6246 | - | 15M| 0 | 171 | 200 |3108 | 200 | 897 | 822 | 0 | 0 |-5.947638e+01 |-1.800000e+01 | 69.74%
1.99/2.08 c 2.1s| 1 | 0 | 6875 | - | 16M| 0 | 176 | 200 |3108 | 200 | 939 | 864 | 0 | 0 |-5.821859e+01 |-1.800000e+01 | 69.08%
2.09/2.17 c 2.2s| 1 | 0 | 7291 | - | 16M| 0 | 172 | 200 |3108 | 200 | 976 | 901 | 0 | 0 |-5.709194e+01 |-1.800000e+01 | 68.47%
2.19/2.25 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.35 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.35 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.44 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.49/2.51 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.57 c 2.6s| 1 | 0 | 8630 | - | 16M| 0 | 183 | 200 |3108 | 200 | 735 |1049 | 0 | 0 |-5.413400e+01 |-1.800000e+01 | 66.75%
2.59/2.63 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.59/2.69 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.69/2.76 c 2.8s| 1 | 0 | 9168 | - | 16M| 0 | 184 | 200 |3108 | 200 | 778 |1092 | 0 | 0 |-5.326525e+01 |-1.800000e+01 | 66.21%
2.79/2.83 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.79/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.18 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.18 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.19/3.22 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.19/3.26 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.29/3.30 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.29/3.35 c 3.3s| 1 | 0 | 10904 | - | 16M| 0 | 198 | 200 |3108 | 200 | 379 |1242 | 0 | 0 |-5.089513e+01 |-1.800000e+01 | 64.63%
3.29/3.38 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.42 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.45 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.39/3.49 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.52 c 3.5s| 1 | 0 | 11277 | - | 16M| 0 | 199 | 200 |3108 | 200 | 428 |1291 | 0 | 0 |-5.046171e+01 |-1.800000e+01 | 64.33%
3.49/3.56 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.59/3.60 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.59/3.63 c 3.6s| 1 | 0 | 11541 | - | 16M| 0 | 200 | 200 |3108 | 200 | 406 |1315 | 0 | 0 |-5.019631e+01 |-1.800000e+01 | 64.14%
3.59/3.67 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.71 c 3.7s| 1 | 0 | 11753 | - | 16M| 0 | 200 | 200 |3108 | 200 | 428 |1337 | 0 | 0 |-5.005550e+01 |-1.800000e+01 | 64.04%
3.69/3.75 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.75 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.69/3.79 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.83 c 3.8s| 1 | 0 | 12083 | - | 16M| 0 | 200 | 200 |3108 | 200 | 408 |1367 | 0 | 0 |-4.986486e+01 |-1.800000e+01 | 63.90%
3.79/3.87 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.90 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.94 c 3.9s| 1 | 0 | 12347 | - | 16M| 0 | 200 | 200 |3108 | 200 | 436 |1395 | 0 | 0 |-4.978122e+01 |-1.800000e+01 | 63.84%
3.89/3.98 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.01 c 4.0s| 1 | 0 | 12436 | - | 16M| 0 | 200 | 200 |3108 | 200 | 405 |1410 | 0 | 0 |-4.976252e+01 |-1.800000e+01 | 63.83%
3.99/4.05 c 4.0s| 1 | 0 | 12493 | - | 16M| 0 | 200 | 200 |3108 | 200 | 414 |1419 | 0 | 0 |-4.975634e+01 |-1.800000e+01 | 63.82%
3.99/4.08 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.11 c 4.1s| 1 | 0 | 12523 | - | 16M| 0 | 200 | 200 |3108 | 200 | 421 |1426 | 0 | 0 |-4.975343e+01 |-1.800000e+01 | 63.82%
4.98/5.03 c 5.0s| 1 | 2 | 12523 | - | 16M| 0 | 200 | 200 |3108 | 200 | 421 |1426 | 0 | 19 |-4.975343e+01 |-1.800000e+01 | 63.82%
6.60/6.61 o -20
6.60/6.61 c z 6.6s| 55 | 56 | 16373 | 71.3 | 17M| 14 | 27 | 200 |3108 | 200 | 250 |1858 | 0 | 850 |-4.950172e+01 |-2.000000e+01 | 59.60%
6.78/6.82 o -21
6.78/6.82 c * 6.8s| 68 | 66 | 16975 | 66.4 | 17M| 15 | - | 200 |3108 | 200 | 240 |1971 | 0 | 982 |-4.950172e+01 |-2.100000e+01 | 57.58%
7.49/7.56 o -22
7.49/7.56 c r 7.6s| 104 | 100 | 19078 | 63.6 | 17M| 16 | 6 | 200 |3108 | 200 | 230 |2265 | 0 |1255 |-4.938117e+01 |-2.200000e+01 | 55.45%
7.49/7.56 o -23
7.49/7.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.49/7.56 c R 7.6s| 104 | 100 | 19078 | 63.6 | 17M| 16 | 6 | 200 |3108 | 200 | 230 |2265 | 0 |1255 |-4.938117e+01 |-2.300000e+01 | 53.42%
7.49/7.56 o -24
7.49/7.56 c g 7.6s| 104 | 94 | 19079 | 63.7 | 17M| 16 | - | 200 |3108 | 200 | 230 |2265 | 0 |1257 |-4.938117e+01 |-2.400000e+01 | 51.40%
8.19/8.22 o -25
8.19/8.22 c * 8.2s| 413 | 231 | 28048 | 37.7 | 17M| 18 | - | 200 |3108 | 200 | 235 |4563 | 0 |1426 |-4.934448e+01 |-2.500000e+01 | 49.34%
11.49/11.53 o -26
11.49/11.53 c *11.5s| 2210 | 1586 |103747 | 41.3 | 20M| 32 | - | 200 |3108 | 200 | 229 | 28k| 0 |1495 |-4.757335e+01 |-2.600000e+01 | 45.35%
20.09/20.11 c 20.1s| 10000 | 6018 |326170 | 31.4 | 31M| 54 | 37 | 200 |3108 | 200 | 213 | 116k| 0 |1495 |-4.604960e+01 |-2.600000e+01 | 43.54%
28.59/28.63 c 28.6s| 20000 | 9862 |541038 | 26.4 | 41M| 56 | 12 | 200 |3108 | 200 | 217 | 219k| 0 |1962 |-4.550000e+01 |-2.600000e+01 | 42.86%
32.98/33.04 o -27
32.98/33.04 c *33.0s| 25832 | 9657 |652016 | 24.8 | 43M| 63 | - | 200 |3108 | 200 | 232 | 277k| 0 |2238 |-4.533710e+01 |-2.700000e+01 | 40.45%
35.97/36.03 c 36.0s| 30000 | 10663 |723877 | 23.7 | 46M| 63 | - | 200 |3108 | 200 | 224 | 317k| 0 |2422 |-4.527660e+01 |-2.700000e+01 | 40.37%
43.07/43.19 c 43.2s| 40000 | 13143 |901822 | 22.2 | 53M| 63 | 48 | 200 |3108 | 200 | 256 | 410k| 0 |2798 |-4.499425e+01 |-2.700000e+01 | 39.99%
49.96/50.02 c 50.0s| 50000 | 15421 | 1078k| 21.3 | 60M| 63 | - | 200 |3108 | 200 | 221 | 510k| 0 |3134 |-4.479487e+01 |-2.700000e+01 | 39.73%
56.56/56.66 c 56.7s| 60000 | 17523 | 1247k| 20.6 | 66M| 63 | - | 200 |3108 | 200 | 215 | 604k| 0 |3504 |-4.460489e+01 |-2.700000e+01 | 39.47%
63.26/63.40 c 63.4s| 70000 | 19911 | 1423k| 20.2 | 73M| 63 | 20 | 200 |3108 | 200 | 222 | 700k| 0 |3782 |-4.440851e+01 |-2.700000e+01 | 39.20%
67.16/67.20 o -28
67.16/67.20 c *67.2s| 75584 | 17173 | 1521k| 20.0 | 69M| 63 | - | 200 |3108 | 200 | 243 | 754k| 0 |3983 |-4.430292e+01 |-2.800000e+01 | 36.80%
70.15/70.24 c 70.2s| 80000 | 18113 | 1596k| 19.8 | 72M| 65 | - | 200 |3108 | 200 | 225 | 797k| 0 |4084 |-4.424597e+01 |-2.800000e+01 | 36.72%
76.75/76.86 c 76.9s| 90000 | 20075 | 1766k| 19.5 | 78M| 77 | 42 | 200 |3108 | 200 | 200 | 892k| 0 |4364 |-4.408738e+01 |-2.800000e+01 | 36.49%
83.34/83.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.34/83.42 c 83.4s|100000 | 21915 | 1934k| 19.2 | 84M| 77 | 18 | 200 |3108 | 200 | 241 | 984k| 0 |4635 |-4.391045e+01 |-2.800000e+01 | 36.23%
87.95/88.08 o -29
87.95/88.08 c *88.1s|107072 | 18925 | 2054k| 19.1 | 79M| 77 | - | 200 |3108 | 200 | 237 |1050k| 0 |4792 |-4.380357e+01 |-2.900000e+01 | 33.80%
89.95/90.08 c 90.1s|110000 | 19373 | 2102k| 19.0 | 80M| 77 | 24 | 200 |3108 | 200 | 200 |1077k| 0 |4822 |-4.375000e+01 |-2.900000e+01 | 33.71%
96.44/96.54 c 96.5s|120000 | 20861 | 2268k| 18.8 | 86M| 77 | 5 | 200 |3108 | 200 | 216 |1172k| 0 |5104 |-4.360526e+01 |-2.900000e+01 | 33.49%
102.83/102.91 c 103s|130000 | 22473 | 2434k| 18.6 | 91M| 77 | 44 | 200 |3108 | 200 | 235 |1262k| 0 |5305 |-4.345769e+01 |-2.900000e+01 | 33.27%
109.14/109.28 c 109s|140000 | 23947 | 2597k| 18.5 | 96M| 77 | 22 | 200 |3108 | 200 | 200 |1356k| 0 |5566 |-4.333333e+01 |-2.900000e+01 | 33.08%
115.53/115.67 c 116s|150000 | 25625 | 2764k| 18.3 | 102M| 77 | 36 | 200 |3108 | 200 | 222 |1447k| 0 |5753 |-4.321250e+01 |-2.900000e+01 | 32.89%
121.73/121.83 c 122s|160000 | 26991 | 2921k| 18.2 | 106M| 77 | 55 | 200 |3108 | 200 | 242 |1538k| 0 |5952 |-4.309836e+01 |-2.900000e+01 | 32.71%
127.93/128.06 c 128s|170000 | 28485 | 3083k| 18.1 | 111M| 77 | 44 | 200 |3108 | 200 | 216 |1630k| 0 |6174 |-4.300000e+01 |-2.900000e+01 | 32.56%
134.04/134.18 c 134s|180000 | 29819 | 3241k| 17.9 | 116M| 77 | - | 200 |3108 | 200 | 223 |1723k| 0 |6367 |-4.288889e+01 |-2.900000e+01 | 32.38%
140.13/140.24 c 140s|190000 | 31123 | 3397k| 17.8 | 120M| 77 | - | 200 |3108 | 200 | 214 |1816k| 0 |6531 |-4.277381e+01 |-2.900000e+01 | 32.20%
146.14/146.25 c 146s|200000 | 32439 | 3552k| 17.7 | 125M| 77 | 49 | 200 |3108 | 200 | 200 |1912k| 0 |6722 |-4.270513e+01 |-2.900000e+01 | 32.09%
152.13/152.25 c 152s|210000 | 33673 | 3706k| 17.6 | 129M| 77 | 41 | 200 |3108 | 200 | 200 |2004k| 0 |6852 |-4.262500e+01 |-2.900000e+01 | 31.96%
158.12/158.23 c 158s|220000 | 34987 | 3859k| 17.5 | 134M| 77 | - | 200 |3108 | 200 | 200 |2096k| 0 |7045 |-4.254545e+01 |-2.900000e+01 | 31.84%
164.23/164.30 c 164s|230000 | 36491 | 4015k| 17.4 | 139M| 77 | - | 200 |3108 | 200 | 200 |2186k| 0 |7220 |-4.249196e+01 |-2.900000e+01 | 31.75%
170.33/170.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.33/170.47 c 170s|240000 | 37873 | 4174k| 17.3 | 143M| 81 | - | 200 |3108 | 200 | 232 |2281k| 0 |7393 |-4.238614e+01 |-2.900000e+01 | 31.58%
176.13/176.20 c 176s|250000 | 38885 | 4321k| 17.2 | 147M| 81 | 12 | 200 |3108 | 200 | 200 |2373k| 0 |7512 |-4.233333e+01 |-2.900000e+01 | 31.50%
181.92/182.07 c 182s|260000 | 40143 | 4471k| 17.1 | 151M| 81 | 7 | 200 |3108 | 200 | 200 |2464k| 0 |7651 |-4.226316e+01 |-2.900000e+01 | 31.38%
187.94/188.03 c 188s|270000 | 41383 | 4624k| 17.1 | 155M| 85 | 57 | 200 |3108 | 200 | 251 |2557k| 0 |7821 |-4.220000e+01 |-2.900000e+01 | 31.28%
193.82/193.90 c 194s|280000 | 42567 | 4775k| 17.0 | 159M| 85 | - | 200 |3108 | 200 | 231 |2649k| 0 |7979 |-4.214286e+01 |-2.900000e+01 | 31.19%
199.62/199.75 c 200s|290000 | 43729 | 4925k| 16.9 | 164M| 85 | - | 200 |3108 | 200 | 209 |2740k| 0 |8097 |-4.208333e+01 |-2.900000e+01 | 31.09%
205.42/205.54 c 206s|300000 | 44919 | 5073k| 16.9 | 168M| 85 | 52 | 200 |3108 | 200 | 225 |2831k| 0 |8270 |-4.200000e+01 |-2.900000e+01 | 30.95%
211.32/211.47 c 211s|310000 | 46147 | 5226k| 16.8 | 172M| 85 | - | 200 |3108 | 200 | 227 |2923k| 0 |8409 |-4.200000e+01 |-2.900000e+01 | 30.95%
217.22/217.32 c 217s|320000 | 47379 | 5375k| 16.8 | 176M| 85 | 23 | 200 |3108 | 200 | 210 |3014k| 0 |8533 |-4.193103e+01 |-2.900000e+01 | 30.84%
222.92/223.03 c 223s|330000 | 48561 | 5521k| 16.7 | 180M| 85 | 71 | 200 |3108 | 200 | 200 |3107k| 0 |8714 |-4.187500e+01 |-2.900000e+01 | 30.75%
228.52/228.69 c 229s|340000 | 49777 | 5667k| 16.6 | 184M| 85 | - | 200 |3108 | 200 | 220 |3195k| 0 |8798 |-4.182353e+01 |-2.900000e+01 | 30.66%
234.22/234.30 c 234s|350000 | 50933 | 5807k| 16.6 | 188M| 85 | 39 | 200 |3108 | 200 | 209 |3286k| 0 |8965 |-4.177273e+01 |-2.900000e+01 | 30.58%
240.02/240.14 c 240s|360000 | 52217 | 5959k| 16.5 | 192M| 85 | - | 200 |3108 | 200 | 233 |3381k| 0 |9054 |-4.172222e+01 |-2.900000e+01 | 30.49%
245.71/245.87 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.42/251.57 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.11/257.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.11/257.29 c 257s|390000 | 55447 | 6396k| 16.4 | 203M| 85 | 10 | 200 |3108 | 200 | 221 |3656k| 0 |9474 |-4.160000e+01 |-2.900000e+01 | 30.29%
262.91/263.04 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.71/268.85 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.41/274.57 c 275s|420000 | 59029 | 6841k| 16.3 | 215M| 85 | - | 200 |3108 | 200 | 219 |3933k| 0 |9835 |-4.148696e+01 |-2.900000e+01 | 30.10%
280.11/280.28 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.81/285.94 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.60/291.75 c 292s|450000 | 62405 | 7281k| 16.2 | 226M| 85 | 17 | 200 |3108 | 200 | 200 |4211k| 0 | 10k|-4.133333e+01 |-2.900000e+01 | 29.84%
297.31/297.48 c 297s|460000 | 63497 | 7425k| 16.1 | 230M| 85 | - | 200 |3108 | 200 | 213 |4301k| 0 | 10k|-4.130435e+01 |-2.900000e+01 | 29.79%
303.11/303.27 c 303s|470000 | 64639 | 7571k| 16.1 | 233M| 89 | 36 | 200 |3108 | 200 | 214 |4394k| 0 | 10k|-4.125000e+01 |-2.900000e+01 | 29.70%
308.71/308.89 c 309s|480000 | 65647 | 7713k| 16.0 | 237M| 89 | - | 200 |3108 | 200 | 217 |4486k| 0 | 10k|-4.122222e+01 |-2.900000e+01 | 29.65%
314.41/314.58 c 315s|490000 | 66759 | 7857k| 16.0 | 241M| 89 | 26 | 200 |3108 | 200 | 212 |4576k| 0 | 10k|-4.119231e+01 |-2.900000e+01 | 29.60%
320.01/320.18 c 320s|500000 | 67819 | 8000k| 16.0 | 244M| 89 | 15 | 200 |3108 | 200 | 200 |4669k| 0 | 10k|-4.116129e+01 |-2.900000e+01 | 29.55%
325.71/325.82 c 326s|510000 | 68909 | 8144k| 15.9 | 248M| 93 | - | 200 |3108 | 200 | 211 |4762k| 0 | 10k|-4.111111e+01 |-2.900000e+01 | 29.46%
331.30/331.44 c 331s|520000 | 69911 | 8285k| 15.9 | 251M| 93 | - | 200 |3108 | 200 | 200 |4853k| 0 | 10k|-4.106944e+01 |-2.900000e+01 | 29.39%
336.90/337.05 c 337s|530000 | 70835 | 8426k| 15.9 | 254M| 93 | 37 | 200 |3108 | 200 | 216 |4946k| 0 | 11k|-4.101724e+01 |-2.900000e+01 | 29.30%
342.50/342.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.50/342.69 c 343s|540000 | 71859 | 8570k| 15.8 | 258M| 93 | 20 | 200 |3108 | 200 | 215 |5037k| 0 | 11k|-4.100000e+01 |-2.900000e+01 | 29.27%
348.10/348.27 c 348s|550000 | 72861 | 8714k| 15.8 | 261M| 93 | - | 200 |3108 | 200 | 238 |5130k| 0 | 11k|-4.100000e+01 |-2.900000e+01 | 29.27%
353.70/353.85 c 354s|560000 | 73909 | 8856k| 15.8 | 264M| 93 | 45 | 200 |3108 | 200 | 211 |5220k| 0 | 11k|-4.100000e+01 |-2.900000e+01 | 29.27%
359.30/359.49 c 359s|570000 | 74943 | 8998k| 15.8 | 268M| 93 | 10 | 200 |3108 | 200 | 217 |5312k| 0 | 11k|-4.094821e+01 |-2.900000e+01 | 29.18%
364.89/365.06 c 365s|580000 | 75939 | 9140k| 15.7 | 271M| 93 | - | 200 |3108 | 200 | 244 |5401k| 0 | 11k|-4.090909e+01 |-2.900000e+01 | 29.11%
370.50/370.60 c 371s|590000 | 76935 | 9281k| 15.7 | 275M| 93 | 8 | 200 |3108 | 200 | 200 |5491k| 0 | 11k|-4.087500e+01 |-2.900000e+01 | 29.05%
376.00/376.11 c 376s|600000 | 77925 | 9421k| 15.7 | 278M| 93 | - | 200 |3108 | 200 | 217 |5582k| 0 | 11k|-4.084211e+01 |-2.900000e+01 | 28.99%
381.50/381.63 c 382s|610000 | 78899 | 9560k| 15.7 | 281M| 93 | 48 | 200 |3108 | 200 | 217 |5671k| 0 | 11k|-4.080952e+01 |-2.900000e+01 | 28.94%
386.89/387.05 c 387s|620000 | 79821 | 9696k| 15.6 | 284M| 93 | - | 200 |3108 | 200 | 239 |5758k| 0 | 12k|-4.076923e+01 |-2.900000e+01 | 28.87%
392.39/392.53 c 393s|630000 | 80813 | 9834k| 15.6 | 287M| 93 | - | 200 |3108 | 200 | 216 |5848k| 0 | 12k|-4.075000e+01 |-2.900000e+01 | 28.83%
397.89/398.09 c 398s|640000 | 81773 | 9974k| 15.6 | 291M| 93 | 42 | 200 |3108 | 200 | 200 |5938k| 0 | 12k|-4.071429e+01 |-2.900000e+01 | 28.77%
403.38/403.53 c 404s|650000 | 82779 | 10111k| 15.5 | 294M| 93 | - | 200 |3108 | 200 | 218 |6028k| 0 | 12k|-4.066667e+01 |-2.900000e+01 | 28.69%
408.89/409.04 c 409s|660000 | 83727 | 10250k| 15.5 | 297M| 93 | - | 200 |3108 | 200 | 216 |6119k| 0 | 12k|-4.066667e+01 |-2.900000e+01 | 28.69%
414.38/414.51 c 415s|670000 | 84679 | 10388k| 15.5 | 300M| 93 | 47 | 200 |3108 | 200 | 225 |6208k| 0 | 12k|-4.062500e+01 |-2.900000e+01 | 28.62%
419.78/419.97 c 420s|680000 | 85569 | 10525k| 15.5 | 303M| 93 | - | 200 |3108 | 200 | 225 |6299k| 0 | 12k|-4.060000e+01 |-2.900000e+01 | 28.57%
425.18/425.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.18/425.37 c 425s|690000 | 86507 | 10660k| 15.4 | 306M| 93 | - | 200 |3108 | 200 | 240 |6389k| 0 | 12k|-4.057143e+01 |-2.900000e+01 | 28.52%
430.68/430.88 c 431s|700000 | 87499 | 10800k| 15.4 | 310M| 93 | - | 200 |3108 | 200 | 227 |6478k| 0 | 12k|-4.053333e+01 |-2.900000e+01 | 28.45%
436.17/436.39 c 436s|710000 | 88543 | 10940k| 15.4 | 313M| 99 | - | 200 |3108 | 200 | 210 |6567k| 0 | 12k|-4.050000e+01 |-2.900000e+01 | 28.40%
441.68/441.86 c 442s|720000 | 89507 | 11078k| 15.4 | 316M| 99 | 50 | 200 |3108 | 200 | 221 |6656k| 0 | 12k|-4.050000e+01 |-2.900000e+01 | 28.40%
447.08/447.27 c 447s|730000 | 90473 | 11214k| 15.3 | 319M| 99 | 7 | 200 |3108 | 200 | 220 |6744k| 0 | 13k|-4.050000e+01 |-2.900000e+01 | 28.40%
452.58/452.76 c 453s|740000 | 91361 | 11351k| 15.3 | 322M| 99 | - | 200 |3108 | 200 | 214 |6837k| 0 | 13k|-4.045652e+01 |-2.900000e+01 | 28.32%
458.17/458.34 c 458s|750000 | 92361 | 11493k| 15.3 | 326M| 99 | 15 | 200 |3108 | 200 | 200 |6930k| 0 | 13k|-4.042308e+01 |-2.900000e+01 | 28.26%
463.67/463.86 c 464s|760000 | 93391 | 11631k| 15.3 | 329M| 99 | - | 200 |3108 | 200 | 231 |7020k| 0 | 13k|-4.039474e+01 |-2.900000e+01 | 28.21%
468.97/469.19 c 469s|770000 | 94217 | 11764k| 15.3 | 332M| 99 | - | 200 |3108 | 200 | 236 |7109k| 0 | 13k|-4.036364e+01 |-2.900000e+01 | 28.15%
474.37/474.56 c 475s|780000 | 95103 | 11898k| 15.2 | 335M| 99 | 22 | 200 |3108 | 200 | 216 |7198k| 0 | 13k|-4.033333e+01 |-2.900000e+01 | 28.10%
479.76/479.99 c 480s|790000 | 96095 | 12035k| 15.2 | 338M| 99 | - | 200 |3108 | 200 | 224 |7287k| 0 | 13k|-4.033333e+01 |-2.900000e+01 | 28.10%
485.15/485.38 c 485s|800000 | 96899 | 12169k| 15.2 | 341M| 99 | 34 | 200 |3108 | 200 | 214 |7376k| 0 | 13k|-4.030000e+01 |-2.900000e+01 | 28.04%
490.56/490.77 c 491s|810000 | 97721 | 12304k| 15.2 | 343M| 99 | 61 | 200 |3108 | 200 | 240 |7465k| 0 | 13k|-4.026087e+01 |-2.900000e+01 | 27.97%
495.97/496.17 c 496s|820000 | 98609 | 12440k| 15.2 | 346M| 99 | - | 200 |3108 | 200 | 213 |7554k| 0 | 13k|-4.025000e+01 |-2.900000e+01 | 27.95%
501.26/501.49 c 501s|830000 | 99455 | 12573k| 15.1 | 349M| 99 | 7 | 200 |3108 | 200 | 200 |7643k| 0 | 13k|-4.022727e+01 |-2.900000e+01 | 27.91%
506.75/506.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.75/506.93 c 507s|840000 |100361 | 12708k| 15.1 | 352M| 99 | 42 | 200 |3108 | 200 | 214 |7732k| 0 | 13k|-4.019048e+01 |-2.900000e+01 | 27.84%
512.06/512.20 c 512s|850000 |101159 | 12839k| 15.1 | 355M| 99 | 34 | 200 |3108 | 200 | 217 |7819k| 0 | 14k|-4.016667e+01 |-2.900000e+01 | 27.80%
517.36/517.55 c 518s|860000 |101961 | 12973k| 15.1 | 358M| 99 | 47 | 200 |3108 | 200 | 235 |7910k| 0 | 14k|-4.014286e+01 |-2.900000e+01 | 27.76%
522.75/522.98 c 523s|870000 |102783 | 13109k| 15.1 | 360M| 99 | - | 200 |3108 | 200 | 227 |7999k| 0 | 14k|-4.010417e+01 |-2.900000e+01 | 27.69%
528.15/528.35 c 528s|880000 |103585 | 13244k| 15.0 | 363M| 99 | - | 200 |3108 | 200 | 220 |8089k| 0 | 14k|-4.006452e+01 |-2.900000e+01 | 27.62%
533.55/533.79 c 534s|890000 |104437 | 13379k| 15.0 | 366M| 99 | - | 200 |3108 | 200 | 211 |8178k| 0 | 14k|-4.001220e+01 |-2.900000e+01 | 27.52%
538.95/539.12 c 539s|900000 |105291 | 13513k| 15.0 | 369M| 99 | - | 200 |3108 | 200 | 227 |8267k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
544.36/544.55 c 545s|910000 |106135 | 13650k| 15.0 | 372M| 99 | - | 200 |3108 | 200 | 214 |8361k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
549.76/549.90 c 550s|920000 |106981 | 13784k| 15.0 | 375M| 99 | 14 | 200 |3108 | 200 | 200 |8451k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
555.15/555.38 c 555s|930000 |107877 | 13920k| 15.0 | 378M| 99 | 6 | 200 |3108 | 200 | 200 |8541k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
560.55/560.78 c 561s|940000 |108741 | 14055k| 14.9 | 380M| 99 | - | 200 |3108 | 200 | 233 |8631k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
566.04/566.22 c 566s|950000 |109625 | 14191k| 14.9 | 383M| 99 | 7 | 200 |3108 | 200 | 228 |8721k| 0 | 14k|-4.000000e+01 |-2.900000e+01 | 27.50%
571.45/571.68 c 572s|960000 |110551 | 14328k| 14.9 | 386M| 99 | - | 200 |3108 | 200 | 215 |8812k| 0 | 14k|-3.996875e+01 |-2.900000e+01 | 27.44%
576.75/576.97 c 577s|970000 |111303 | 14459k| 14.9 | 389M| 99 | 56 | 200 |3108 | 200 | 254 |8901k| 0 | 14k|-3.992473e+01 |-2.900000e+01 | 27.36%
582.14/582.36 c 582s|980000 |112055 | 14593k| 14.9 | 392M| 99 | 30 | 200 |3108 | 200 | 200 |8990k| 0 | 15k|-3.988889e+01 |-2.900000e+01 | 27.30%
587.44/587.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.44/587.61 c 588s|990000 |112907 | 14724k| 14.9 | 395M| 99 | - | 200 |3108 | 200 | 242 |9081k| 0 | 15k|-3.986957e+01 |-2.900000e+01 | 27.26%
592.75/592.99 c 593s| 1000k|113699 | 14858k| 14.8 | 397M| 99 | 59 | 200 |3108 | 200 | 247 |9168k| 0 | 15k|-3.983333e+01 |-2.900000e+01 | 27.20%
598.15/598.38 c 598s| 1010k|114533 | 14992k| 14.8 | 400M| 99 | 40 | 200 |3108 | 200 | 200 |9260k| 0 | 15k|-3.982143e+01 |-2.900000e+01 | 27.17%
603.54/603.77 c 604s| 1020k|115389 | 15126k| 14.8 | 403M| 99 | 11 | 200 |3108 | 200 | 216 |9349k| 0 | 15k|-3.980000e+01 |-2.900000e+01 | 27.14%
608.94/609.12 c 609s| 1030k|116191 | 15259k| 14.8 | 406M| 99 | 47 | 200 |3108 | 200 | 246 |9439k| 0 | 15k|-3.976471e+01 |-2.900000e+01 | 27.07%
614.14/614.35 c 614s| 1040k|116977 | 15389k| 14.8 | 408M| 99 | - | 200 |3108 | 200 | 227 |9526k| 0 | 15k|-3.975000e+01 |-2.900000e+01 | 27.04%
619.44/619.64 c 620s| 1050k|117757 | 15521k| 14.8 | 411M| 99 | - | 200 |3108 | 200 | 227 |9614k| 0 | 15k|-3.974000e+01 |-2.900000e+01 | 27.03%
624.74/624.90 c 625s| 1060k|118561 | 15651k| 14.8 | 414M| 99 | 25 | 200 |3108 | 200 | 227 |9702k| 0 | 15k|-3.970968e+01 |-2.900000e+01 | 26.97%
629.94/630.16 c 630s| 1070k|119323 | 15781k| 14.7 | 416M| 99 | 59 | 200 |3108 | 200 | 219 |9792k| 0 | 15k|-3.967347e+01 |-2.900000e+01 | 26.90%
635.34/635.50 c 636s| 1080k|120249 | 15914k| 14.7 | 419M| 99 | - | 200 |3108 | 200 | 223 |9885k| 0 | 15k|-3.966667e+01 |-2.900000e+01 | 26.89%
640.63/640.85 c 641s| 1090k|121081 | 16048k| 14.7 | 422M| 99 | - | 200 |3108 | 200 | 229 |9975k| 0 | 15k|-3.966667e+01 |-2.900000e+01 | 26.89%
645.94/646.18 c 646s| 1100k|121795 | 16181k| 14.7 | 424M| 99 | - | 200 |3108 | 200 | 214 | 10M| 0 | 16k|-3.963158e+01 |-2.900000e+01 | 26.83%
651.24/651.47 c 651s| 1110k|122593 | 16312k| 14.7 | 427M| 99 | - | 200 |3108 | 200 | 221 | 10M| 0 | 16k|-3.960606e+01 |-2.900000e+01 | 26.78%
656.54/656.78 c 657s| 1120k|123349 | 16444k| 14.7 | 429M| 99 | - | 200 |3108 | 200 | 244 | 10M| 0 | 16k|-3.958537e+01 |-2.900000e+01 | 26.74%
661.94/662.13 c 662s| 1130k|124185 | 16577k| 14.7 | 432M| 99 | - | 200 |3108 | 200 | 200 | 10M| 0 | 16k|-3.955556e+01 |-2.900000e+01 | 26.69%
667.24/667.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.24/667.41 c 667s| 1140k|124913 | 16707k| 14.6 | 435M| 99 | 13 | 200 |3108 | 200 | 200 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
672.53/672.70 c 673s| 1150k|125673 | 16839k| 14.6 | 437M| 99 | 16 | 200 |3108 | 200 | 200 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
677.83/678.02 c 678s| 1160k|126399 | 16970k| 14.6 | 440M| 99 | - | 200 |3108 | 200 | 223 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
683.03/683.28 c 683s| 1170k|127175 | 17100k| 14.6 | 442M| 99 | - | 200 |3108 | 200 | 219 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
688.33/688.56 c 689s| 1180k|127855 | 17230k| 14.6 | 445M| 99 | - | 200 |3108 | 200 | 234 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
693.63/693.84 c 694s| 1190k|128703 | 17361k| 14.6 | 447M| 99 | - | 200 |3108 | 200 | 230 | 10M| 0 | 16k|-3.950000e+01 |-2.900000e+01 | 26.58%
698.93/699.11 c 699s| 1200k|129407 | 17491k| 14.6 | 450M| 99 | 62 | 200 |3108 | 200 | 275 | 10M| 0 | 16k|-3.945833e+01 |-2.900000e+01 | 26.50%
704.13/704.37 c 704s| 1210k|130171 | 17620k| 14.6 | 452M| 99 | 35 | 200 |3108 | 200 | 214 | 11M| 0 | 16k|-3.942857e+01 |-2.900000e+01 | 26.45%
709.33/709.59 c 710s| 1220k|130815 | 17748k| 14.5 | 455M| 99 | - | 200 |3108 | 200 | 212 | 11M| 0 | 16k|-3.940741e+01 |-2.900000e+01 | 26.41%
714.53/714.75 c 715s| 1230k|131575 | 17875k| 14.5 | 457M| 99 | - | 200 |3108 | 200 | 241 | 11M| 0 | 16k|-3.939858e+01 |-2.900000e+01 | 26.39%
719.72/719.94 c 720s| 1240k|132287 | 18004k| 14.5 | 460M| 99 | 65 | 200 |3108 | 200 | 200 | 11M| 0 | 17k|-3.937500e+01 |-2.900000e+01 | 26.35%
724.92/725.15 c 725s| 1250k|133013 | 18133k| 14.5 | 462M| 99 | - | 200 |3108 | 200 | 228 | 11M| 0 | 17k|-3.933333e+01 |-2.900000e+01 | 26.27%
730.13/730.36 c 730s| 1260k|133661 | 18261k| 14.5 | 464M| 99 | - | 200 |3108 | 200 | 200 | 11M| 0 | 17k|-3.933333e+01 |-2.900000e+01 | 26.27%
735.42/735.60 c 736s| 1270k|134357 | 18390k| 14.5 | 467M| 99 | - | 200 |3108 | 200 | 220 | 11M| 0 | 17k|-3.933333e+01 |-2.900000e+01 | 26.27%
740.72/740.90 c 741s| 1280k|135117 | 18522k| 14.5 | 469M| 99 | 18 | 200 |3108 | 200 | 200 | 11M| 0 | 17k|-3.931250e+01 |-2.900000e+01 | 26.23%
745.91/746.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.91/746.11 c 746s| 1290k|135765 | 18649k| 14.4 | 472M| 99 | - | 200 |3108 | 200 | 215 | 11M| 0 | 17k|-3.928571e+01 |-2.900000e+01 | 26.18%
751.22/751.41 c 751s| 1300k|136463 | 18780k| 14.4 | 474M| 99 | 52 | 200 |3108 | 200 | 243 | 11M| 0 | 17k|-3.925000e+01 |-2.900000e+01 | 26.11%
756.41/756.63 c 757s| 1310k|137211 | 18910k| 14.4 | 476M| 99 | 47 | 200 |3108 | 200 | 236 | 11M| 0 | 17k|-3.925000e+01 |-2.900000e+01 | 26.11%
761.62/761.86 c 762s| 1320k|137937 | 19038k| 14.4 | 479M| 99 | - | 200 |3108 | 200 | 217 | 12M| 0 | 17k|-3.923913e+01 |-2.900000e+01 | 26.09%
766.82/767.07 c 767s| 1330k|138649 | 19166k| 14.4 | 481M| 99 | - | 200 |3108 | 200 | 227 | 12M| 0 | 17k|-3.920312e+01 |-2.900000e+01 | 26.03%
772.12/772.32 c 772s| 1340k|139347 | 19294k| 14.4 | 484M| 99 | 11 | 200 |3108 | 200 | 225 | 12M| 0 | 17k|-3.920000e+01 |-2.900000e+01 | 26.02%
777.21/777.46 c 777s| 1350k|139985 | 19421k| 14.4 | 486M| 99 | - | 200 |3108 | 200 | 229 | 12M| 0 | 17k|-3.916667e+01 |-2.900000e+01 | 25.96%
782.51/782.70 c 783s| 1360k|140691 | 19549k| 14.4 | 488M| 99 | - | 200 |3108 | 200 | 215 | 12M| 0 | 17k|-3.914545e+01 |-2.900000e+01 | 25.92%
787.71/787.91 c 788s| 1370k|141393 | 19677k| 14.4 | 490M| 99 | - | 200 |3108 | 200 | 213 | 12M| 0 | 17k|-3.912500e+01 |-2.900000e+01 | 25.88%
792.82/793.05 c 793s| 1380k|141967 | 19802k| 14.3 | 492M| 99 | - | 200 |3108 | 200 | 228 | 12M| 0 | 17k|-3.909091e+01 |-2.900000e+01 | 25.81%
798.01/798.21 c 798s| 1390k|142685 | 19929k| 14.3 | 495M| 99 | - | 200 |3108 | 200 | 213 | 12M| 0 | 18k|-3.905556e+01 |-2.900000e+01 | 25.75%
803.11/803.38 c 803s| 1400k|143375 | 20055k| 14.3 | 497M| 99 | 33 | 200 |3108 | 200 | 200 | 12M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
808.32/808.52 c 809s| 1410k|144079 | 20181k| 14.3 | 500M| 99 | - | 200 |3108 | 200 | 240 | 12M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
813.60/813.80 c 814s| 1420k|144761 | 20312k| 14.3 | 502M| 99 | 60 | 200 |3108 | 200 | 236 | 12M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
818.71/818.92 c 819s| 1430k|145469 | 20437k| 14.3 | 504M| 99 | - | 200 |3108 | 200 | 238 | 12M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
823.81/824.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.81/824.04 c 824s| 1440k|146153 | 20562k| 14.3 | 507M| 99 | - | 200 |3108 | 200 | 213 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
829.01/829.28 c 829s| 1450k|146863 | 20691k| 14.3 | 509M| 99 | - | 200 |3108 | 200 | 214 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
834.31/834.53 c 835s| 1460k|147567 | 20821k| 14.3 | 511M| 99 | 3 | 200 |3108 | 200 | 200 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
839.40/839.63 c 840s| 1470k|148203 | 20945k| 14.2 | 513M| 99 | 48 | 200 |3108 | 200 | 210 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
844.51/844.79 c 845s| 1480k|148877 | 21073k| 14.2 | 516M| 99 | 24 | 200 |3108 | 200 | 200 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
849.80/850.04 c 850s| 1490k|149615 | 21202k| 14.2 | 518M| 99 | - | 200 |3108 | 200 | 226 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
854.90/855.16 c 855s| 1500k|150261 | 21327k| 14.2 | 520M| 99 | 10 | 200 |3108 | 200 | 238 | 13M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
860.10/860.36 c 860s| 1510k|150891 | 21454k| 14.2 | 523M| 99 | - | 200 |3108 | 200 | 213 | 13M| 0 | 18k|-3.894565e+01 |-2.900000e+01 | 25.54%
865.20/865.47 c 865s| 1520k|151517 | 21577k| 14.2 | 525M| 99 | - | 200 |3108 | 200 | 216 | 13M| 0 | 18k|-3.891667e+01 |-2.900000e+01 | 25.48%
870.30/870.55 c 871s| 1530k|152007 | 21700k| 14.2 | 526M| 105 | 66 | 200 |3108 | 200 | 240 | 13M| 0 | 18k|-3.889655e+01 |-2.900000e+01 | 25.44%
875.41/875.64 c 876s| 1540k|152639 | 21824k| 14.2 | 529M| 105 | 23 | 200 |3108 | 200 | 200 | 13M| 0 | 18k|-3.887500e+01 |-2.900000e+01 | 25.40%
880.50/880.75 c 881s| 1550k|153213 | 21948k| 14.2 | 531M| 105 | 34 | 200 |3108 | 200 | 212 | 14M| 0 | 18k|-3.885714e+01 |-2.900000e+01 | 25.37%
885.60/885.89 c 886s| 1560k|153839 | 22074k| 14.1 | 533M| 105 | 57 | 200 |3108 | 200 | 219 | 14M| 0 | 19k|-3.883333e+01 |-2.900000e+01 | 25.32%
890.70/890.92 c 891s| 1570k|154441 | 22197k| 14.1 | 535M| 105 | 15 | 200 |3108 | 200 | 218 | 14M| 0 | 19k|-3.883333e+01 |-2.900000e+01 | 25.32%
895.79/896.06 c 896s| 1580k|155019 | 22321k| 14.1 | 537M| 105 | - | 200 |3108 | 200 | 243 | 14M| 0 | 19k|-3.880000e+01 |-2.900000e+01 | 25.26%
901.00/901.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.00/901.20 c 901s| 1590k|155637 | 22445k| 14.1 | 539M| 105 | - | 200 |3108 | 200 | 213 | 14M| 0 | 19k|-3.879310e+01 |-2.900000e+01 | 25.24%
905.99/906.29 c 906s| 1600k|156237 | 22569k| 14.1 | 541M| 105 | - | 200 |3108 | 200 | 226 | 14M| 0 | 19k|-3.876471e+01 |-2.900000e+01 | 25.19%
911.20/911.42 c 911s| 1610k|156747 | 22693k| 14.1 | 543M| 105 | 51 | 200 |3108 | 200 | 248 | 14M| 0 | 19k|-3.875000e+01 |-2.900000e+01 | 25.16%
916.19/916.49 c 916s| 1620k|157383 | 22815k| 14.1 | 545M| 105 | 22 | 200 |3108 | 200 | 200 | 14M| 0 | 19k|-3.875000e+01 |-2.900000e+01 | 25.16%
921.29/921.54 c 922s| 1630k|157957 | 22938k| 14.1 | 547M| 105 | 12 | 200 |3108 | 200 | 200 | 14M| 0 | 19k|-3.875000e+01 |-2.900000e+01 | 25.16%
926.49/926.72 c 927s| 1640k|158609 | 23063k| 14.1 | 549M| 105 | 32 | 200 |3108 | 200 | 230 | 14M| 0 | 19k|-3.871429e+01 |-2.900000e+01 | 25.09%
931.59/931.82 c 932s| 1650k|159191 | 23188k| 14.0 | 551M| 105 | 53 | 200 |3108 | 200 | 234 | 14M| 0 | 19k|-3.869231e+01 |-2.900000e+01 | 25.05%
936.69/936.97 c 937s| 1660k|159775 | 23313k| 14.0 | 553M| 105 | 42 | 200 |3108 | 200 | 217 | 14M| 0 | 19k|-3.866667e+01 |-2.900000e+01 | 25.00%
941.69/942.00 c 942s| 1670k|160377 | 23434k| 14.0 | 555M| 105 | - | 200 |3108 | 200 | 214 | 15M| 0 | 19k|-3.866667e+01 |-2.900000e+01 | 25.00%
946.79/947.03 c 947s| 1680k|160991 | 23556k| 14.0 | 557M| 105 | 32 | 200 |3108 | 200 | 214 | 15M| 0 | 19k|-3.866667e+01 |-2.900000e+01 | 25.00%
951.89/952.17 c 952s| 1690k|161631 | 23683k| 14.0 | 559M| 105 | 14 | 200 |3108 | 200 | 216 | 15M| 0 | 19k|-3.866667e+01 |-2.900000e+01 | 25.00%
956.98/957.29 c 957s| 1700k|162249 | 23807k| 14.0 | 561M| 105 | 65 | 200 |3108 | 200 | 245 | 15M| 0 | 19k|-3.863636e+01 |-2.900000e+01 | 24.94%
962.09/962.30 c 962s| 1710k|162779 | 23928k| 14.0 | 563M| 105 | - | 200 |3108 | 200 | 239 | 15M| 0 | 19k|-3.862500e+01 |-2.900000e+01 | 24.92%
967.09/967.35 c 967s| 1720k|163259 | 24050k| 14.0 | 565M| 105 | - | 200 |3108 | 200 | 218 | 15M| 0 | 19k|-3.860000e+01 |-2.900000e+01 | 24.87%
972.19/972.46 c 972s| 1730k|163897 | 24173k| 14.0 | 567M| 105 | 59 | 200 |3108 | 200 | 226 | 15M| 0 | 19k|-3.858333e+01 |-2.900000e+01 | 24.84%
977.38/977.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.38/977.65 c 978s| 1740k|164463 | 24298k| 14.0 | 569M| 105 | 29 | 200 |3108 | 200 | 212 | 15M| 0 | 20k|-3.855556e+01 |-2.900000e+01 | 24.78%
982.38/982.66 c 983s| 1750k|164935 | 24416k| 13.9 | 571M| 105 | 32 | 200 |3108 | 200 | 214 | 15M| 0 | 20k|-3.853846e+01 |-2.900000e+01 | 24.75%
987.48/987.74 c 988s| 1760k|165477 | 24537k| 13.9 | 573M| 105 | 20 | 200 |3108 | 200 | 200 | 15M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
992.58/992.82 c 993s| 1770k|166117 | 24661k| 13.9 | 575M| 105 | - | 200 |3108 | 200 | 237 | 15M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
997.58/997.86 c 998s| 1780k|166729 | 24782k| 13.9 | 577M| 105 | 50 | 200 |3108 | 200 | 211 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1002.57/1002.88 c 1003s| 1790k|167371 | 24903k| 13.9 | 579M| 105 | - | 200 |3108 | 200 | 212 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1007.67/1007.97 c 1008s| 1800k|168011 | 25027k| 13.9 | 581M| 105 | - | 200 |3108 | 200 | 211 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1012.66/1012.99 c 1013s| 1810k|168589 | 25147k| 13.9 | 583M| 107 | 56 | 200 |3108 | 200 | 214 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1017.67/1017.98 c 1018s| 1820k|169129 | 25268k| 13.9 | 585M| 107 | 36 | 200 |3108 | 200 | 212 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1022.66/1022.99 c 1023s| 1830k|169683 | 25389k| 13.9 | 587M| 107 | 24 | 200 |3108 | 200 | 214 | 16M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1027.76/1028.04 c 1028s| 1840k|170239 | 25508k| 13.9 | 589M| 107 | 50 | 200 |3108 | 200 | 228 | 16M| 0 | 20k|-3.846429e+01 |-2.900000e+01 | 24.61%
1032.76/1033.06 c 1033s| 1850k|170675 | 25624k| 13.8 | 590M| 107 | - | 200 |3108 | 200 | 200 | 16M| 0 | 20k|-3.844444e+01 |-2.900000e+01 | 24.57%
1037.86/1038.17 c 1038s| 1860k|171209 | 25746k| 13.8 | 592M| 107 | 36 | 200 |3108 | 200 | 239 | 16M| 0 | 20k|-3.841667e+01 |-2.900000e+01 | 24.51%
1042.96/1043.28 c 1043s| 1870k|171721 | 25870k| 13.8 | 594M| 107 | - | 200 |3108 | 200 | 226 | 16M| 0 | 20k|-3.840000e+01 |-2.900000e+01 | 24.48%
1047.96/1048.29 c 1048s| 1880k|172237 | 25989k| 13.8 | 596M| 107 | 45 | 200 |3108 | 200 | 215 | 16M| 0 | 20k|-3.838889e+01 |-2.900000e+01 | 24.46%
1052.96/1053.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.96/1053.28 c 1053s| 1890k|172719 | 26107k| 13.8 | 597M| 107 | - | 200 |3108 | 200 | 213 | 16M| 0 | 20k|-3.837500e+01 |-2.900000e+01 | 24.43%
1057.96/1058.29 c 1058s| 1900k|173151 | 26227k| 13.8 | 599M| 107 | - | 200 |3108 | 200 | 222 | 17M| 0 | 20k|-3.833333e+01 |-2.900000e+01 | 24.35%
1063.06/1063.36 c 1063s| 1910k|173715 | 26349k| 13.8 | 601M| 107 | 8 | 200 |3108 | 200 | 212 | 17M| 0 | 20k|-3.833333e+01 |-2.900000e+01 | 24.35%
1068.06/1068.35 c 1068s| 1920k|174227 | 26467k| 13.8 | 603M| 107 | - | 200 |3108 | 200 | 217 | 17M| 0 | 21k|-3.833333e+01 |-2.900000e+01 | 24.35%
1073.05/1073.38 c 1073s| 1930k|174731 | 26586k| 13.8 | 605M| 107 | - | 200 |3108 | 200 | 227 | 17M| 0 | 21k|-3.833333e+01 |-2.900000e+01 | 24.35%
1078.15/1078.47 c 1078s| 1940k|175229 | 26707k| 13.8 | 606M| 107 | 50 | 200 |3108 | 200 | 217 | 17M| 0 | 21k|-3.831250e+01 |-2.900000e+01 | 24.31%
1083.26/1083.54 c 1084s| 1950k|175705 | 26828k| 13.8 | 608M| 107 | - | 200 |3108 | 200 | 214 | 17M| 0 | 21k|-3.829412e+01 |-2.900000e+01 | 24.27%
1088.25/1088.52 c 1089s| 1960k|176249 | 26948k| 13.7 | 610M| 107 | 26 | 200 |3108 | 200 | 200 | 17M| 0 | 21k|-3.827869e+01 |-2.900000e+01 | 24.24%
1093.16/1093.49 c 1093s| 1970k|176773 | 27067k| 13.7 | 612M| 107 | 14 | 200 |3108 | 200 | 222 | 17M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1098.25/1098.50 c 1098s| 1980k|177337 | 27186k| 13.7 | 614M| 107 | - | 200 |3108 | 200 | 200 | 17M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1103.15/1103.44 c 1103s| 1990k|177835 | 27304k| 13.7 | 615M| 107 | - | 200 |3108 | 200 | 273 | 17M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1108.15/1108.43 c 1108s| 2000k|178333 | 27422k| 13.7 | 617M| 107 | - | 200 |3108 | 200 | 217 | 17M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1113.15/1113.45 c 1113s| 2010k|178815 | 27541k| 13.7 | 619M| 107 | - | 200 |3108 | 200 | 233 | 17M| 0 | 21k|-3.822222e+01 |-2.900000e+01 | 24.13%
1118.25/1118.50 c 1119s| 2020k|179271 | 27661k| 13.7 | 620M| 107 | - | 200 |3108 | 200 | 200 | 18M| 0 | 21k|-3.820000e+01 |-2.900000e+01 | 24.08%
1123.34/1123.65 c 1124s| 2030k|179823 | 27784k| 13.7 | 622M| 107 | - | 200 |3108 | 200 | 217 | 18M| 0 | 21k|-3.819444e+01 |-2.900000e+01 | 24.07%
1128.35/1128.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.35/1128.64 c 1129s| 2040k|180299 | 27902k| 13.7 | 624M| 107 | - | 200 |3108 | 200 | 233 | 18M| 0 | 21k|-3.816667e+01 |-2.900000e+01 | 24.02%
1133.34/1133.67 c 1134s| 2050k|180745 | 28020k| 13.7 | 626M| 107 | - | 200 |3108 | 200 | 241 | 18M| 0 | 21k|-3.816667e+01 |-2.900000e+01 | 24.02%
1138.35/1138.61 c 1139s| 2060k|181199 | 28136k| 13.7 | 627M| 107 | - | 200 |3108 | 200 | 222 | 18M| 0 | 21k|-3.814286e+01 |-2.900000e+01 | 23.97%
1143.34/1143.68 c 1144s| 2070k|181685 | 28257k| 13.6 | 629M| 107 | 8 | 200 |3108 | 200 | 213 | 18M| 0 | 21k|-3.812500e+01 |-2.900000e+01 | 23.93%
1148.34/1148.67 c 1149s| 2080k|182123 | 28376k| 13.6 | 631M| 107 | - | 200 |3108 | 200 | 225 | 18M| 0 | 21k|-3.811111e+01 |-2.900000e+01 | 23.91%
1153.34/1153.62 c 1154s| 2090k|182613 | 28494k| 13.6 | 632M| 107 | 36 | 200 |3108 | 200 | 200 | 18M| 0 | 21k|-3.809639e+01 |-2.900000e+01 | 23.88%
1158.24/1158.57 c 1159s| 2100k|183023 | 28611k| 13.6 | 634M| 107 | - | 200 |3108 | 200 | 247 | 18M| 0 | 21k|-3.808333e+01 |-2.900000e+01 | 23.85%
1163.34/1163.60 c 1164s| 2110k|183519 | 28730k| 13.6 | 636M| 107 | - | 200 |3108 | 200 | 216 | 18M| 0 | 21k|-3.804762e+01 |-2.900000e+01 | 23.78%
1168.33/1168.63 c 1169s| 2120k|184037 | 28848k| 13.6 | 637M| 107 | - | 200 |3108 | 200 | 247 | 18M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1173.34/1173.65 c 1174s| 2130k|184549 | 28970k| 13.6 | 639M| 107 | 18 | 200 |3108 | 200 | 214 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1178.44/1178.70 c 1179s| 2140k|185037 | 29091k| 13.6 | 641M| 107 | - | 200 |3108 | 200 | 228 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1183.34/1183.69 c 1184s| 2150k|185595 | 29210k| 13.6 | 643M| 107 | 14 | 200 |3108 | 200 | 212 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1188.33/1188.64 c 1189s| 2160k|186035 | 29327k| 13.6 | 644M| 107 | 22 | 200 |3108 | 200 | 213 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1193.33/1193.66 c 1194s| 2170k|186477 | 29446k| 13.6 | 646M| 107 | 61 | 200 |3108 | 200 | 213 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1198.23/1198.51 c 1199s| 2180k|186939 | 29560k| 13.6 | 648M| 107 | 24 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1203.14/1203.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.14/1203.43 c 1203s| 2190k|187387 | 29675k| 13.5 | 649M| 107 | 18 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1208.03/1208.34 c 1208s| 2200k|187905 | 29791k| 13.5 | 651M| 107 | - | 200 |3108 | 200 | 231 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1213.04/1213.38 c 1213s| 2210k|188399 | 29909k| 13.5 | 653M| 107 | 19 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1218.13/1218.40 c 1218s| 2220k|188815 | 30025k| 13.5 | 654M| 107 | 42 | 200 |3108 | 200 | 219 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1223.03/1223.32 c 1223s| 2230k|189231 | 30140k| 13.5 | 656M| 107 | 9 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1227.92/1228.29 c 1228s| 2240k|189645 | 30256k| 13.5 | 657M| 107 | 56 | 200 |3108 | 200 | 258 | 19M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1232.93/1233.24 c 1233s| 2250k|190047 | 30372k| 13.5 | 659M| 107 | 46 | 200 |3108 | 200 | 228 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1237.93/1238.21 c 1238s| 2260k|190485 | 30492k| 13.5 | 660M| 107 | - | 200 |3108 | 200 | 249 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1242.93/1243.26 c 1243s| 2270k|190951 | 30612k| 13.5 | 662M| 107 | 48 | 200 |3108 | 200 | 270 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1247.93/1248.25 c 1248s| 2280k|191401 | 30731k| 13.5 | 663M| 107 | 28 | 200 |3108 | 200 | 200 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1252.93/1253.20 c 1253s| 2290k|191923 | 30848k| 13.5 | 665M| 107 | - | 200 |3108 | 200 | 241 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1257.83/1258.15 c 1258s| 2300k|192363 | 30964k| 13.5 | 667M| 107 | 3 | 200 |3108 | 200 | 215 | 20M| 0 | 22k|-3.794444e+01 |-2.900000e+01 | 23.57%
1262.72/1263.05 c 1263s| 2310k|192751 | 31078k| 13.4 | 668M| 107 | - | 200 |3108 | 200 | 252 | 20M| 0 | 22k|-3.792308e+01 |-2.900000e+01 | 23.53%
1267.62/1267.95 c 1268s| 2320k|193211 | 31193k| 13.4 | 670M| 107 | 6 | 200 |3108 | 200 | 228 | 20M| 0 | 22k|-3.790000e+01 |-2.900000e+01 | 23.48%
1272.63/1272.91 c 1273s| 2330k|193677 | 31310k| 13.4 | 672M| 107 | - | 200 |3108 | 200 | 216 | 20M| 0 | 23k|-3.787500e+01 |-2.900000e+01 | 23.43%
1277.52/1277.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.52/1277.80 c 1278s| 2340k|194081 | 31424k| 13.4 | 673M| 107 | - | 200 |3108 | 200 | 212 | 20M| 0 | 23k|-3.786842e+01 |-2.900000e+01 | 23.42%
1282.32/1282.67 c 1283s| 2350k|194503 | 31537k| 13.4 | 674M| 107 | 14 | 200 |3108 | 200 | 224 | 20M| 0 | 23k|-3.785714e+01 |-2.900000e+01 | 23.40%
1287.22/1287.53 c 1288s| 2360k|194967 | 31651k| 13.4 | 676M| 107 | - | 200 |3108 | 200 | 232 | 20M| 0 | 23k|-3.783333e+01 |-2.900000e+01 | 23.35%
1292.12/1292.41 c 1292s| 2370k|195409 | 31765k| 13.4 | 678M| 107 | 59 | 200 |3108 | 200 | 235 | 21M| 0 | 23k|-3.783333e+01 |-2.900000e+01 | 23.35%
1297.02/1297.33 c 1297s| 2380k|195891 | 31879k| 13.4 | 679M| 107 | 34 | 200 |3108 | 200 | 232 | 21M| 0 | 23k|-3.781818e+01 |-2.900000e+01 | 23.32%
1301.91/1302.28 c 1302s| 2390k|196293 | 31995k| 13.4 | 681M| 107 | - | 200 |3108 | 200 | 243 | 21M| 0 | 23k|-3.780000e+01 |-2.900000e+01 | 23.28%
1306.91/1307.26 c 1307s| 2400k|196737 | 32110k| 13.4 | 682M| 107 | - | 200 |3108 | 200 | 224 | 21M| 0 | 23k|-3.780000e+01 |-2.900000e+01 | 23.28%
1311.92/1312.23 c 1312s| 2410k|197049 | 32224k| 13.4 | 684M| 107 | - | 200 |3108 | 200 | 224 | 21M| 0 | 23k|-3.777778e+01 |-2.900000e+01 | 23.24%
1316.81/1317.17 c 1317s| 2420k|197417 | 32338k| 13.4 | 685M| 107 | - | 200 |3108 | 200 | 214 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1321.71/1322.09 c 1322s| 2430k|197821 | 32452k| 13.3 | 686M| 107 | - | 200 |3108 | 200 | 248 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1326.71/1327.01 c 1327s| 2440k|198221 | 32567k| 13.3 | 688M| 108 | 46 | 200 |3108 | 200 | 200 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1331.51/1331.89 c 1332s| 2450k|198687 | 32680k| 13.3 | 689M| 108 | - | 200 |3108 | 200 | 217 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1336.42/1336.75 c 1337s| 2460k|199073 | 32793k| 13.3 | 691M| 108 | - | 200 |3108 | 200 | 246 | 21M| 0 | 23k|-3.775000e+01 |-2.900000e+01 | 23.18%
1341.32/1341.62 c 1342s| 2470k|199471 | 32906k| 13.3 | 692M| 108 | 51 | 200 |3108 | 200 | 226 | 21M| 0 | 23k|-3.772727e+01 |-2.900000e+01 | 23.13%
1346.31/1346.61 c 1347s| 2480k|199841 | 33021k| 13.3 | 694M| 108 | 21 | 200 |3108 | 200 | 200 | 21M| 0 | 23k|-3.770370e+01 |-2.900000e+01 | 23.08%
1351.21/1351.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.21/1351.52 c 1352s| 2490k|200187 | 33136k| 13.3 | 695M| 108 | 24 | 200 |3108 | 200 | 212 | 22M| 0 | 23k|-3.768750e+01 |-2.900000e+01 | 23.05%
1356.11/1356.47 c 1356s| 2500k|200575 | 33252k| 13.3 | 696M| 108 | 26 | 200 |3108 | 200 | 213 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1361.01/1361.38 c 1361s| 2510k|200975 | 33367k| 13.3 | 698M| 108 | 7 | 200 |3108 | 200 | 214 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1365.91/1366.28 c 1366s| 2520k|201369 | 33483k| 13.3 | 699M| 108 | 48 | 200 |3108 | 200 | 232 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1370.80/1371.10 c 1371s| 2530k|201713 | 33594k| 13.3 | 700M| 108 | 32 | 200 |3108 | 200 | 200 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1375.72/1376.01 c 1376s| 2540k|202191 | 33710k| 13.3 | 702M| 108 | 38 | 200 |3108 | 200 | 232 | 22M| 0 | 23k|-3.766667e+01 |-2.900000e+01 | 23.01%
1380.50/1380.83 c 1381s| 2550k|202495 | 33822k| 13.3 | 703M| 108 | - | 200 |3108 | 200 | 223 | 22M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1385.40/1385.71 c 1386s| 2560k|202781 | 33934k| 13.3 | 704M| 108 | - | 200 |3108 | 200 | 221 | 22M| 0 | 24k|-3.763636e+01 |-2.900000e+01 | 22.95%
1390.30/1390.60 c 1391s| 2570k|203073 | 34045k| 13.2 | 706M| 108 | - | 200 |3108 | 200 | 238 | 22M| 0 | 24k|-3.762500e+01 |-2.900000e+01 | 22.92%
1395.20/1395.50 c 1395s| 2580k|203401 | 34157k| 13.2 | 707M| 108 | - | 200 |3108 | 200 | 243 | 22M| 0 | 24k|-3.760526e+01 |-2.900000e+01 | 22.88%
1400.11/1400.48 c 1400s| 2590k|203709 | 34272k| 13.2 | 708M| 108 | - | 200 |3108 | 200 | 215 | 22M| 0 | 24k|-3.760000e+01 |-2.900000e+01 | 22.87%
1405.00/1405.39 c 1405s| 2600k|204027 | 34385k| 13.2 | 709M| 108 | - | 200 |3108 | 200 | 217 | 22M| 0 | 24k|-3.759091e+01 |-2.900000e+01 | 22.85%
1409.90/1410.29 c 1410s| 2610k|204323 | 34497k| 13.2 | 711M| 108 | - | 200 |3108 | 200 | 218 | 22M| 0 | 24k|-3.757143e+01 |-2.900000e+01 | 22.81%
1414.70/1415.04 c 1415s| 2620k|204647 | 34607k| 13.2 | 712M| 108 | 47 | 200 |3108 | 200 | 249 | 23M| 0 | 24k|-3.756250e+01 |-2.900000e+01 | 22.80%
1419.60/1419.90 c 1420s| 2630k|204907 | 34718k| 13.2 | 713M| 108 | - | 200 |3108 | 200 | 231 | 23M| 0 | 24k|-3.754545e+01 |-2.900000e+01 | 22.76%
1424.40/1424.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.40/1424.77 c 1425s| 2640k|205279 | 34830k| 13.2 | 714M| 108 | - | 200 |3108 | 200 | 223 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1429.30/1429.63 c 1430s| 2650k|205565 | 34942k| 13.2 | 716M| 108 | - | 200 |3108 | 200 | 242 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1434.19/1434.59 c 1435s| 2660k|205913 | 35056k| 13.2 | 717M| 108 | - | 200 |3108 | 200 | 215 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1439.10/1439.46 c 1439s| 2670k|206235 | 35168k| 13.2 | 718M| 108 | - | 200 |3108 | 200 | 224 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1443.90/1444.24 c 1444s| 2680k|206549 | 35278k| 13.2 | 719M| 108 | 41 | 200 |3108 | 200 | 238 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1448.80/1449.13 c 1449s| 2690k|206893 | 35391k| 13.2 | 721M| 108 | - | 200 |3108 | 200 | 248 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1453.70/1454.01 c 1454s| 2700k|207281 | 35503k| 13.1 | 722M| 108 | - | 200 |3108 | 200 | 216 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1458.49/1458.87 c 1459s| 2710k|207625 | 35615k| 13.1 | 723M| 108 | 12 | 200 |3108 | 200 | 200 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1463.39/1463.73 c 1464s| 2720k|207963 | 35727k| 13.1 | 725M| 108 | - | 200 |3108 | 200 | 213 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1468.20/1468.58 c 1469s| 2730k|208295 | 35839k| 13.1 | 726M| 108 | 44 | 200 |3108 | 200 | 225 | 23M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1472.99/1473.37 c 1473s| 2740k|208639 | 35951k| 13.1 | 727M| 108 | - | 200 |3108 | 200 | 200 | 24M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1477.90/1478.21 c 1478s| 2750k|209007 | 36063k| 13.1 | 729M| 108 | - | 200 |3108 | 200 | 241 | 24M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1482.79/1483.14 c 1483s| 2760k|209369 | 36176k| 13.1 | 730M| 108 | 43 | 200 |3108 | 200 | 241 | 24M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1487.59/1487.97 c 1488s| 2770k|209669 | 36286k| 13.1 | 731M| 108 | 54 | 200 |3108 | 200 | 224 | 24M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1492.49/1492.80 c 1493s| 2780k|210021 | 36397k| 13.1 | 732M| 108 | 52 | 200 |3108 | 200 | 228 | 24M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1497.28/1497.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.28/1497.67 c 1498s| 2790k|210335 | 36509k| 13.1 | 734M| 108 | - | 200 |3108 | 200 | 210 | 24M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1502.19/1502.50 c 1503s| 2800k|210647 | 36619k| 13.1 | 735M| 108 | 65 | 200 |3108 | 200 | 244 | 24M| 0 | 25k|-3.746667e+01 |-2.900000e+01 | 22.60%
1507.08/1507.45 c 1507s| 2810k|210947 | 36731k| 13.1 | 736M| 108 | - | 200 |3108 | 200 | 231 | 24M| 0 | 25k|-3.744444e+01 |-2.900000e+01 | 22.55%
1511.88/1512.26 c 1512s| 2820k|211231 | 36842k| 13.1 | 737M| 108 | - | 200 |3108 | 200 | 228 | 24M| 0 | 25k|-3.742857e+01 |-2.900000e+01 | 22.52%
1516.78/1517.10 c 1517s| 2830k|211523 | 36954k| 13.1 | 738M| 108 | 5 | 200 |3108 | 200 | 209 | 24M| 0 | 25k|-3.741667e+01 |-2.900000e+01 | 22.49%
1521.58/1521.99 c 1522s| 2840k|211813 | 37067k| 13.0 | 740M| 108 | - | 200 |3108 | 200 | 224 | 24M| 0 | 25k|-3.740000e+01 |-2.900000e+01 | 22.46%
1526.49/1526.86 c 1527s| 2850k|212109 | 37178k| 13.0 | 741M| 108 | - | 200 |3108 | 200 | 217 | 24M| 0 | 25k|-3.740000e+01 |-2.900000e+01 | 22.46%
1531.28/1531.68 c 1532s| 2860k|212365 | 37287k| 13.0 | 742M| 108 | - | 200 |3108 | 200 | 234 | 25M| 0 | 25k|-3.737500e+01 |-2.900000e+01 | 22.41%
1536.08/1536.49 c 1536s| 2870k|212711 | 37398k| 13.0 | 743M| 108 | 44 | 200 |3108 | 200 | 237 | 25M| 0 | 25k|-3.736842e+01 |-2.900000e+01 | 22.39%
1540.98/1541.37 c 1541s| 2880k|212941 | 37510k| 13.0 | 744M| 108 | 38 | 200 |3108 | 200 | 216 | 25M| 0 | 25k|-3.734615e+01 |-2.900000e+01 | 22.35%
1545.78/1546.15 c 1546s| 2890k|213203 | 37620k| 13.0 | 745M| 108 | 28 | 200 |3108 | 200 | 200 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1550.59/1550.93 c 1551s| 2900k|213487 | 37728k| 13.0 | 746M| 108 | 6 | 200 |3108 | 200 | 215 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1555.38/1555.70 c 1556s| 2910k|213839 | 37836k| 13.0 | 748M| 108 | 20 | 200 |3108 | 200 | 224 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1560.18/1560.57 c 1561s| 2920k|214183 | 37948k| 13.0 | 749M| 108 | 6 | 200 |3108 | 200 | 223 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1564.99/1565.38 c 1565s| 2930k|214523 | 38059k| 13.0 | 750M| 108 | - | 200 |3108 | 200 | 234 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1569.87/1570.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.87/1570.25 c 1570s| 2940k|214789 | 38170k| 13.0 | 751M| 108 | 40 | 200 |3108 | 200 | 225 | 25M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1574.79/1575.11 c 1575s| 2950k|215069 | 38279k| 13.0 | 752M| 108 | 20 | 200 |3108 | 200 | 215 | 25M| 0 | 25k|-3.730769e+01 |-2.900000e+01 | 22.27%
1579.47/1579.86 c 1580s| 2960k|215291 | 38387k| 13.0 | 753M| 108 | 18 | 200 |3108 | 200 | 212 | 25M| 0 | 25k|-3.728723e+01 |-2.900000e+01 | 22.23%
1584.27/1584.66 c 1585s| 2970k|215545 | 38497k| 13.0 | 754M| 108 | - | 200 |3108 | 200 | 221 | 25M| 0 | 25k|-3.727500e+01 |-2.900000e+01 | 22.20%
1589.08/1589.44 c 1589s| 2980k|215777 | 38605k| 13.0 | 755M| 108 | - | 200 |3108 | 200 | 235 | 25M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1593.87/1594.20 c 1594s| 2990k|216021 | 38714k| 12.9 | 756M| 108 | 36 | 200 |3108 | 200 | 200 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1598.67/1599.02 c 1599s| 3000k|216347 | 38824k| 12.9 | 757M| 108 | - | 200 |3108 | 200 | 226 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1603.48/1603.87 c 1604s| 3010k|216687 | 38935k| 12.9 | 759M| 108 | 14 | 200 |3108 | 200 | 200 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1608.37/1608.77 c 1609s| 3020k|216989 | 39046k| 12.9 | 760M| 108 | 17 | 200 |3108 | 200 | 218 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1613.17/1613.59 c 1614s| 3030k|217249 | 39157k| 12.9 | 761M| 108 | 25 | 200 |3108 | 200 | 235 | 26M| 0 | 25k|-3.725000e+01 |-2.900000e+01 | 22.15%
1618.07/1618.46 c 1618s| 3040k|217545 | 39267k| 12.9 | 762M| 108 | 38 | 200 |3108 | 200 | 235 | 26M| 0 | 26k|-3.722222e+01 |-2.900000e+01 | 22.09%
1622.87/1623.28 c 1623s| 3050k|217797 | 39377k| 12.9 | 763M| 108 | - | 200 |3108 | 200 | 226 | 26M| 0 | 26k|-3.720513e+01 |-2.900000e+01 | 22.05%
1627.67/1628.08 c 1628s| 3060k|218029 | 39487k| 12.9 | 764M| 108 | - | 200 |3108 | 200 | 200 | 26M| 0 | 26k|-3.720000e+01 |-2.900000e+01 | 22.04%
1632.46/1632.87 c 1633s| 3070k|218331 | 39596k| 12.9 | 765M| 108 | 9 | 200 |3108 | 200 | 214 | 26M| 0 | 26k|-3.719444e+01 |-2.900000e+01 | 22.03%
1637.27/1637.69 c 1638s| 3080k|218591 | 39705k| 12.9 | 766M| 108 | - | 200 |3108 | 200 | 231 | 26M| 0 | 26k|-3.716667e+01 |-2.900000e+01 | 21.97%
1642.06/1642.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.06/1642.42 c 1642s| 3090k|218939 | 39813k| 12.9 | 768M| 108 | 34 | 200 |3108 | 200 | 212 | 26M| 0 | 26k|-3.716667e+01 |-2.900000e+01 | 21.97%
1646.75/1647.19 c 1647s| 3100k|219219 | 39921k| 12.9 | 769M| 108 | 12 | 200 |3108 | 200 | 218 | 26M| 0 | 26k|-3.716304e+01 |-2.900000e+01 | 21.97%
1651.55/1651.95 c 1652s| 3110k|219429 | 40027k| 12.9 | 770M| 108 | 41 | 200 |3108 | 200 | 213 | 26M| 0 | 26k|-3.714286e+01 |-2.900000e+01 | 21.92%
1656.26/1656.66 c 1657s| 3120k|219701 | 40133k| 12.9 | 771M| 108 | - | 200 |3108 | 200 | 228 | 27M| 0 | 26k|-3.713103e+01 |-2.900000e+01 | 21.90%
1661.16/1661.51 c 1662s| 3130k|219969 | 40240k| 12.9 | 772M| 108 | - | 200 |3108 | 200 | 213 | 27M| 0 | 26k|-3.712500e+01 |-2.900000e+01 | 21.89%
1665.85/1666.27 c 1666s| 3140k|220229 | 40347k| 12.8 | 773M| 108 | 35 | 200 |3108 | 200 | 215 | 27M| 0 | 26k|-3.710000e+01 |-2.900000e+01 | 21.83%
1670.75/1671.10 c 1671s| 3150k|220467 | 40456k| 12.8 | 774M| 108 | - | 200 |3108 | 200 | 241 | 27M| 0 | 26k|-3.708333e+01 |-2.900000e+01 | 21.80%
1675.45/1675.85 c 1676s| 3160k|220689 | 40562k| 12.8 | 775M| 108 | - | 200 |3108 | 200 | 244 | 27M| 0 | 26k|-3.707143e+01 |-2.900000e+01 | 21.77%
1680.24/1680.64 c 1681s| 3170k|220919 | 40669k| 12.8 | 776M| 108 | 8 | 200 |3108 | 200 | 217 | 27M| 0 | 26k|-3.704545e+01 |-2.900000e+01 | 21.72%
1684.95/1685.35 c 1685s| 3180k|221183 | 40775k| 12.8 | 777M| 108 | 25 | 200 |3108 | 200 | 200 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1689.64/1690.06 c 1690s| 3190k|221429 | 40881k| 12.8 | 778M| 108 | - | 200 |3108 | 200 | 222 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1694.44/1694.82 c 1695s| 3200k|221733 | 40989k| 12.8 | 779M| 108 | - | 200 |3108 | 200 | 211 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1699.14/1699.56 c 1700s| 3210k|222053 | 41096k| 12.8 | 780M| 108 | - | 200 |3108 | 200 | 227 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1703.84/1704.27 c 1704s| 3220k|222297 | 41203k| 12.8 | 781M| 108 | - | 200 |3108 | 200 | 217 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1708.64/1709.02 c 1709s| 3230k|222483 | 41310k| 12.8 | 782M| 108 | 47 | 200 |3108 | 200 | 229 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1713.35/1713.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.35/1713.77 c 1714s| 3240k|222621 | 41414k| 12.8 | 783M| 108 | - | 200 |3108 | 200 | 231 | 27M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1718.03/1718.48 c 1718s| 3250k|222833 | 41519k| 12.8 | 783M| 108 | 48 | 200 |3108 | 200 | 221 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1722.83/1723.27 c 1723s| 3260k|223185 | 41628k| 12.8 | 785M| 108 | - | 200 |3108 | 200 | 244 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1727.54/1727.96 c 1728s| 3270k|223457 | 41733k| 12.8 | 786M| 108 | 3 | 200 |3108 | 200 | 219 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1732.23/1732.68 c 1733s| 3280k|223815 | 41839k| 12.8 | 787M| 108 | 61 | 200 |3108 | 200 | 247 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1737.03/1737.43 c 1737s| 3290k|224121 | 41947k| 12.7 | 788M| 108 | - | 200 |3108 | 200 | 228 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1741.83/1742.21 c 1742s| 3300k|224431 | 42054k| 12.7 | 789M| 108 | 34 | 200 |3108 | 200 | 226 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1746.44/1746.88 c 1747s| 3310k|224639 | 42158k| 12.7 | 790M| 108 | - | 200 |3108 | 200 | 217 | 28M| 0 | 26k|-3.700000e+01 |-2.900000e+01 | 21.62%
1751.23/1751.65 c 1752s| 3320k|224847 | 42264k| 12.7 | 791M| 108 | - | 200 |3108 | 200 | 246 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1756.04/1756.40 c 1756s| 3330k|225089 | 42371k| 12.7 | 792M| 108 | - | 200 |3108 | 200 | 200 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1760.83/1761.21 c 1761s| 3340k|225387 | 42480k| 12.7 | 793M| 108 | - | 200 |3108 | 200 | 232 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1765.63/1766.03 c 1766s| 3350k|225645 | 42589k| 12.7 | 794M| 108 | 36 | 200 |3108 | 200 | 214 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1770.33/1770.73 c 1771s| 3360k|225897 | 42693k| 12.7 | 795M| 108 | 49 | 200 |3108 | 200 | 222 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1775.03/1775.43 c 1775s| 3370k|226187 | 42799k| 12.7 | 796M| 108 | 12 | 200 |3108 | 200 | 212 | 28M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1779.73/1780.14 c 1780s| 3380k|226463 | 42903k| 12.7 | 797M| 108 | - | 200 |3108 | 200 | 238 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1784.43/1784.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1784.43/1784.86 c 1785s| 3390k|226661 | 43008k| 12.7 | 798M| 108 | - | 200 |3108 | 200 | 251 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1789.13/1789.56 c 1790s| 3400k|226865 | 43112k| 12.7 | 799M| 108 | 27 | 200 |3108 | 200 | 200 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1793.92/1794.38 c 1794s| 3410k|227141 | 43219k| 12.7 | 800M| 108 | - | 200 |3108 | 200 | 243 | 29M| 0 | 27k|-3.700000e+01 |-2.900000e+01 | 21.62%
1796.62/1797.00 c
1796.62/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.62/1797.00 c Solving Time (sec) : 1797.00
1796.62/1797.00 c Solving Nodes : 3415424
1796.62/1797.00 c Primal Bound : -2.90000000000000e+01 (524 solutions)
1796.62/1797.00 c Dual Bound : -3.70000000000000e+01
1796.62/1797.00 c Gap : 21.62 %
1796.62/1797.01 s SATISFIABLE
1796.62/1797.01 v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 x188 -x187 x186 x185 x184 -x183 -x182 -x181 -x180 -x179 -x178
1796.62/1797.01 v -x177 x176 -x175 -x174 -x173 -x172 x171 x170 x169 -x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1796.62/1797.01 v -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 x137 -x136 -x135
1796.62/1797.01 v -x134 -x133 -x132 -x131 -x130 x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1796.62/1797.01 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91
1796.62/1797.01 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
1796.62/1797.01 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
1796.62/1797.01 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
1796.62/1797.01 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1796.62/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.62/1797.01 c Total Time : 1797.00
1796.62/1797.01 c solving : 1797.00
1796.62/1797.01 c presolving : 0.19 (included in solving)
1796.62/1797.01 c reading : 0.02 (included in solving)
1796.62/1797.01 c Original Problem :
1796.62/1797.01 c Problem name : HOME/instance-3737296-1338726312.opb
1796.62/1797.01 c Variables : 3308 (3308 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.62/1797.01 c Constraints : 3508 initial, 3508 maximal
1796.62/1797.01 c Presolved Problem :
1796.62/1797.01 c Problem name : t_HOME/instance-3737296-1338726312.opb
1796.62/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.62/1797.01 c Constraints : 3108 initial, 3108 maximal
1796.62/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.62/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c probing : 0.03 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c and : 0.14 0 0 0 0 0 0 0 0 0
1796.62/1797.01 c linear : 0.01 3108 0 0 3108 0 200 0 0 0
1796.62/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1796.62/1797.01 c root node : - 0 - - 0 - - - - -
1796.62/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.62/1797.01 c integral : 0 0 0 2836889 0 724533 0 255 1699 0 0 3653268
1796.62/1797.01 c setppc : 3108 69 5522021 1009241 1 724529 0 29 19220748 29337673 0 0
1796.62/1797.01 c countsols : 0 0 0 6 1 520 0 0 0 0 0 0
1796.62/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.62/1797.01 c integral : 42.87 0.00 0.00 42.17 0.00 0.69 0.00
1796.62/1797.01 c setppc : 114.02 0.04 55.23 22.32 0.00 36.43 0.00
1796.62/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.62/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.62/1797.01 c vbounds : 0 0 0 0
1796.62/1797.01 c rootredcost : 9 0 0 0
1796.62/1797.01 c pseudoobj : 5528850 0 0 0
1796.62/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.62/1797.01 c vbounds : 4.04 4.04 0.00
1796.62/1797.01 c rootredcost : 3.99 3.99 0.00
1796.62/1797.01 c pseudoobj : 26.96 26.96 0.00
1796.62/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.62/1797.01 c propagation : 0.00 29 0 0 0.0 0 0.0 -
1796.62/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.62/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.62/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.62/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.62/1797.01 c applied globally : - - - 0 0.0 - - -
1796.62/1797.01 c applied locally : - - - 0 0.0 - - -
1796.62/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.62/1797.01 c cut pool : 0.06 68 - - 161 - (maximal pool size: 2861)
1796.62/1797.01 c redcost : 16.86 3035554 0 360379 0 0
1796.62/1797.01 c impliedbounds : 0.01 69 0 0 1661 0
1796.62/1797.01 c intobj : 0.00 0 0 0 0 0
1796.62/1797.01 c gomory : 1.84 69 0 0 11215 0
1796.62/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.62/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.62/1797.01 c strongcg : 0.34 20 0 0 9062 0
1796.62/1797.01 c cmir : 0.07 10 0 0 0 0
1796.62/1797.01 c flowcover : 0.05 10 0 0 0 0
1796.62/1797.01 c clique : 0.17 69 0 0 600 0
1796.62/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.62/1797.01 c mcf : 0.00 1 0 0 0 0
1796.62/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.62/1797.01 c rapidlearning : 0.05 1 0 0 0 0
1796.62/1797.01 c Pricers : Time Calls Vars
1796.62/1797.01 c problem variables: 0.00 0 0
1796.62/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.62/1797.01 c relpscost : 37.30 1827648 255 1699 0 0 3653268
1796.62/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.62/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.62/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.62/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.62/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.62/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.62/1797.01 c random : 0.00 0 0 0 0 0 0
1796.62/1797.01 c Primal Heuristics : Time Calls Found
1796.62/1797.01 c LP solutions : 0.02 - 6
1796.62/1797.01 c pseudo solutions : 0.00 - 0
1796.62/1797.01 c feaspump : 0.35 0 0
1796.62/1797.01 c oneopt : 2.84 9 0
1796.62/1797.01 c crossover : 3.71 37 24
1796.62/1797.01 c fracdiving : 0.63 362 6
1796.62/1797.01 c linesearchdiving : 0.61 362 6
1796.62/1797.01 c guideddiving : 0.65 362 9
1796.62/1797.01 c veclendiving : 0.62 363 8
1796.62/1797.01 c pscostdiving : 0.62 363 7
1796.62/1797.01 c coefdiving : 0.59 363 7
1796.62/1797.01 c rootsoldiving : 0.64 182 1
1796.62/1797.01 c objpscostdiving : 0.43 182 5
1796.62/1797.01 c trivial : 0.00 2 1
1796.62/1797.01 c shiftandpropagate: 0.00 0 0
1796.62/1797.01 c simplerounding : 52.77 1830149 424
1796.62/1797.01 c zirounding : 2.58 1000 16
1796.62/1797.01 c rounding : 6.97 90266 2
1796.62/1797.01 c shifting : 0.82 8429 1
1796.62/1797.01 c intshifting : 0.16 0 0
1796.62/1797.01 c twoopt : 0.00 0 0
1796.62/1797.01 c fixandinfer : 0.00 0 0
1796.62/1797.01 c clique : 0.00 0 0
1796.62/1797.01 c intdiving : 0.00 0 0
1796.62/1797.01 c actconsdiving : 0.00 0 0
1796.62/1797.01 c octane : 0.00 0 0
1796.62/1797.01 c rens : 0.01 0 0
1796.62/1797.01 c rins : 0.00 0 0
1796.62/1797.01 c localbranching : 0.00 0 0
1796.62/1797.01 c mutation : 0.00 0 0
1796.62/1797.01 c dins : 0.00 0 0
1796.62/1797.01 c vbounds : 0.00 0 0
1796.62/1797.01 c undercover : 0.01 1 0
1796.62/1797.01 c subnlp : 2.43 0 0
1796.62/1797.01 c trysol : 4.63 0 0
1796.62/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.62/1797.01 c primal LP : 35.30 0 0 0.00 0.00
1796.62/1797.01 c dual LP : 1080.30 4430748 43239050 9.76 40025.02
1796.62/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.62/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.62/1797.01 c diving/probing LP: 1.51 7153 41169 5.76 27252.51
1796.62/1797.01 c strong branching : 16.96 27413 455137 16.60 26828.32
1796.62/1797.01 c (at root node) : - 19 13686 720.32 -
1796.62/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.62/1797.01 c B&B Tree :
1796.62/1797.01 c number of runs : 1
1796.62/1797.01 c nodes : 3415424
1796.62/1797.01 c nodes (total) : 3415424
1796.62/1797.01 c nodes left : 227343
1796.62/1797.01 c max depth : 108
1796.62/1797.01 c max depth (total): 108
1796.62/1797.01 c backtracks : 394763 (11.6%)
1796.62/1797.01 c delayed cutoffs : 0
1796.62/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.62/1797.01 c avg switch length: 5.04
1796.62/1797.01 c switching time : 149.83
1796.62/1797.01 c Solution :
1796.62/1797.01 c Solutions found : 524 (13 improvements)
1796.62/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.62/1797.01 c Primal Bound : -2.90000000000000e+01 (in run 1, after 107072 nodes, 88.07 seconds, depth 45, found by <relaxation>)
1796.62/1797.01 c Dual Bound : -3.70000000000000e+01
1796.62/1797.01 c Gap : 21.62 %
1796.62/1797.01 c Root Dual Bound : -4.97534259306696e+01
1796.62/1797.01 c Root Iterations : 12523
1797.72/1798.15 c Time complete: 1797.78.
OK -29
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737296-1338726312/watcher-3737296-1338726312 -o /tmp/evaluation-result-3737296-1338726312/solver-3737296-1338726312 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737296-1338726312.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 13084 /proc/meminfo: memFree=27980012/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=9040 CPUtime=0 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 1280 0 0 0 0 0 0 0 20 0 1 0 338755561 9256960 1235 33554432000 4194304 9016284 140736128826528 140736889191288 7824814 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 2260 1238 199 1178 0 1078 0 [startup+0.0816899 s] /proc/loadavg: 2.00 2.00 2.00 3/176 13084 /proc/meminfo: memFree=27980012/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=28048 CPUtime=0.06 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 6008 0 0 0 6 0 0 0 20 0 1 0 338755561 28721152 5705 33554432000 4194304 9016284 140736128826528 140736889191288 18446744073699066235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 7012 5705 480 1178 0 5830 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 28048 [startup+0.100321 s] /proc/loadavg: 2.00 2.00 2.00 3/176 13084 /proc/meminfo: memFree=27980012/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=28048 CPUtime=0.08 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 6008 0 0 0 8 0 0 0 20 0 1 0 338755561 28721152 5705 33554432000 4194304 9016284 140736128826528 140736128823688 18446744073699066235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 7012 5705 480 1178 0 5830 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 28048 [startup+0.300276 s] /proc/loadavg: 2.00 2.00 2.00 3/176 13084 /proc/meminfo: memFree=27980012/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=44380 CPUtime=0.29 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 12705 0 0 0 27 2 0 0 20 0 1 0 338755561 45445120 9960 33554432000 4194304 9016284 140736128826528 140736128823688 6356990 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 11095 9961 673 1178 0 9913 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44380 [startup+0.700258 s] /proc/loadavg: 2.00 2.00 2.00 3/176 13084 /proc/meminfo: memFree=27980012/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=39916 CPUtime=0.68 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 15676 0 0 0 66 2 0 0 20 0 1 0 338755561 40873984 8911 33554432000 4194304 9016284 140736128826528 140736128823688 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 9979 8911 689 1178 0 8797 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 39916 [startup+1.50028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13085 /proc/meminfo: memFree=27943036/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=50040 CPUtime=1.48 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 18189 0 0 0 145 3 0 0 20 0 1 0 338755561 51240960 11405 33554432000 4194304 9016284 140736128826528 140736128821640 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 12510 11406 691 1178 0 11328 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 50040 [startup+3.10028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13085 /proc/meminfo: memFree=27931744/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=54908 CPUtime=3.09 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 19492 0 0 0 305 4 0 0 20 0 1 0 338755561 56225792 12677 33554432000 4194304 9016284 140736128826528 140736128821640 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 13727 12677 692 1178 0 12545 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54908 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13085 /proc/meminfo: memFree=27928520/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=55008 CPUtime=6.29 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 21332 0 0 0 620 9 0 0 20 0 1 0 338755561 56328192 12770 33554432000 4194304 9016284 140736128826528 140736128820744 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 13752 12770 696 1178 0 12570 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55008 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13085 /proc/meminfo: memFree=27922592/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=57968 CPUtime=12.68 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 35708 0 0 0 1241 27 0 0 20 0 1 0 338755561 59359232 13432 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 14492 13432 704 1178 0 13310 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 57968 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13123 /proc/meminfo: memFree=28687396/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=77208 CPUtime=25.48 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 54565 0 0 0 2481 67 0 0 20 0 1 0 338755561 79060992 18198 33554432000 4194304 9016284 140736128826528 140736128820392 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 19302 18198 705 1178 0 18120 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77208 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13123 /proc/meminfo: memFree=28641364/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=100128 CPUtime=51.07 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 85151 0 0 0 4961 146 0 0 20 0 1 0 338755561 102531072 24114 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 25032 24114 705 1178 0 23850 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 100128 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13123 /proc/meminfo: memFree=28558268/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=135528 CPUtime=102.24 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 143352 0 0 0 9923 301 0 0 20 0 1 0 338755561 138780672 32947 33554432000 4194304 9016284 140736128826528 140736128820696 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 33882 32947 705 1178 0 32700 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 135528 [startup+162.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 13123 /proc/meminfo: memFree=28504296/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=183264 CPUtime=162.23 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 165900 0 0 0 15750 473 0 0 20 0 1 0 338755561 187662336 44921 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 45816 44921 705 1178 0 44634 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 183264 [startup+222.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 13124 /proc/meminfo: memFree=28461300/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=222744 CPUtime=222.22 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 179374 0 0 0 21581 641 0 0 20 0 1 0 338755561 228089856 54841 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 55686 54841 705 1178 0 54504 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 222744 [startup+282.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 13124 /proc/meminfo: memFree=28422984/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=261640 CPUtime=282.21 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 189156 0 0 0 27415 806 0 0 20 0 1 0 338755561 267919360 64623 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 65410 64623 705 1178 0 64228 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 261640 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13127 /proc/meminfo: memFree=28385828/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=299948 CPUtime=342.2 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 201790 0 0 0 33267 953 0 0 20 0 1 0 338755561 307146752 73725 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 74987 73725 705 1178 0 73805 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 299948 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13127 /proc/meminfo: memFree=28348788/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=336788 CPUtime=402.18 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 211040 0 0 0 39094 1124 0 0 20 0 1 0 338755561 344870912 82973 33554432000 4194304 9016284 140736128826528 140736128819896 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 84197 82973 705 1178 0 83015 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 336788 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13127 /proc/meminfo: memFree=28313352/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=372072 CPUtime=462.17 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 219908 0 0 0 44917 1300 0 0 20 0 1 0 338755561 381001728 91834 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 93018 91834 705 1178 0 91836 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 372072 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13128 /proc/meminfo: memFree=28282804/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=403360 CPUtime=522.15 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 227820 0 0 0 50737 1478 0 0 20 0 1 0 338755561 413040640 99735 33554432000 4194304 9016284 140736128826528 140736128820632 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 100840 99735 705 1178 0 99658 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 403360 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13128 /proc/meminfo: memFree=28251680/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=433340 CPUtime=582.14 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 238817 0 0 0 56558 1656 0 0 20 0 1 0 338755561 443740160 107223 33554432000 4194304 9016284 140736128826528 140736128821112 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 108335 107223 705 1178 0 107153 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 433340 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28044672/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=639720 CPUtime=1062.05 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 294209 0 0 0 103269 2936 0 0 20 0 1 0 338755561 655073280 159062 33554432000 4194304 9016284 140736128826528 140736128820696 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 159930 159062 705 1178 0 158748 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 639720 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13133 /proc/meminfo: memFree=28024584/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=658792 CPUtime=1122.05 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 299008 0 0 0 109130 3075 0 0 20 0 1 0 338755561 674603008 163861 33554432000 4194304 9016284 140736128826528 140736128820696 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 164698 163861 705 1178 0 163516 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 658792 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13133 /proc/meminfo: memFree=28003256/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=679924 CPUtime=1182.03 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 304316 0 0 0 114989 3214 0 0 20 0 1 0 338755561 696242176 169169 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 169981 169169 705 1178 0 168799 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 679924 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13133 /proc/meminfo: memFree=27987200/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=697752 CPUtime=1242.03 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 308794 0 0 0 120847 3356 0 0 20 0 1 0 338755561 714498048 173647 33554432000 4194304 9016284 140736128826528 140736128820440 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 174438 173647 705 1178 0 173256 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 697752 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13133 /proc/meminfo: memFree=27967980/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=716696 CPUtime=1302.02 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 313557 0 0 0 126710 3492 0 0 20 0 1 0 338755561 733896704 178410 33554432000 4194304 9016284 140736128826528 140736128821112 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 179174 178410 705 1178 0 177992 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 716696 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13133 /proc/meminfo: memFree=27950496/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=738280 CPUtime=1362.01 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 317950 0 0 0 132573 3628 0 0 20 0 1 0 338755561 755998720 182803 33554432000 4194304 9016284 140736128826528 140736128820696 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 184570 182803 705 1178 0 183388 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 738280 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13134 /proc/meminfo: memFree=27935864/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=753944 CPUtime=1422.01 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 321866 0 0 0 138432 3769 0 0 20 0 1 0 338755561 772038656 186719 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 188486 186719 705 1178 0 187304 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 753944 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 13134 /proc/meminfo: memFree=27917140/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=771800 CPUtime=1481.99 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 326357 0 0 0 144293 3906 0 0 20 0 1 0 338755561 790323200 191210 33554432000 4194304 9016284 140736128826528 140736128820440 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 192950 191210 705 1178 0 191768 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 771800 [startup+1542.3 s] /proc/loadavg: 2.10 2.02 2.01 3/178 13137 /proc/meminfo: memFree=27904360/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=784536 CPUtime=1541.98 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 329552 0 0 0 150152 4046 0 0 20 0 1 0 338755561 803364864 194405 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 196134 194405 705 1178 0 194952 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 784536 [startup+1602.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 13137 /proc/meminfo: memFree=27893032/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=795480 CPUtime=1601.97 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 332304 0 0 0 156015 4182 0 0 20 0 1 0 338755561 814571520 197157 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 198870 197157 705 1178 0 197688 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 795480 [startup+1662.3 s] /proc/loadavg: 2.08 2.03 2.00 3/177 13137 /proc/meminfo: memFree=27877188/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=811480 CPUtime=1661.96 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 336318 0 0 0 161873 4323 0 0 20 0 1 0 338755561 830955520 201162 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 202870 201162 705 1178 0 201688 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 811480 [startup+1722.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 13138 /proc/meminfo: memFree=27865688/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=822680 CPUtime=1721.94 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 339142 0 0 0 167735 4459 0 0 20 0 1 0 338755561 842424320 204132 33554432000 4194304 9016284 140736128826528 140736128820392 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 205670 204132 705 1178 0 204488 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 822680 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 13138 /proc/meminfo: memFree=27849196/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=837720 CPUtime=1781.93 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 346494 0 0 0 173596 4597 0 0 20 0 1 0 338755561 857825280 207962 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 209430 207962 705 1178 0 208248 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 837720 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.02 2.02 2.00 3/177 13138 /proc/meminfo: memFree=27846964/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=840792 CPUtime=1791.53 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 347196 0 0 0 174535 4618 0 0 20 0 1 0 338755561 860971008 208664 33554432000 4194304 9016284 140736128826528 140736128820696 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 210198 208664 705 1178 0 209016 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (KiB) 840792 [startup+1795.1 s] /proc/loadavg: 2.02 2.02 2.00 3/177 13138 /proc/meminfo: memFree=27845972/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=841816 CPUtime=1794.73 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 347452 0 0 0 174848 4625 0 0 20 0 1 0 338755561 862019584 208920 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 210454 208920 705 1178 0 209272 0 Current children cumulated CPU time (s) 1794.73 Current children cumulated vsize (KiB) 841816 [startup+1796.7 s] /proc/loadavg: 2.02 2.02 2.00 3/177 13138 /proc/meminfo: memFree=27845412/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=842136 CPUtime=1796.32 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 347536 0 0 0 175003 4629 0 0 20 0 1 0 338755561 862347264 209004 33554432000 4194304 9016284 140736128826528 140736128820856 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 210534 209004 705 1178 0 209352 0 Current children cumulated CPU time (s) 1796.32 Current children cumulated vsize (KiB) 842136 [startup+1797.5 s] /proc/loadavg: 2.01 2.02 2.00 3/177 13138 /proc/meminfo: memFree=27845040/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=842392 CPUtime=1797.12 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 347606 0 0 0 175083 4629 0 0 20 0 1 0 338755561 862609408 209074 33554432000 4194304 9016284 140736128826528 140736128822328 6812677 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 210598 209074 707 1178 0 209416 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (KiB) 842392 [startup+1797.9 s] /proc/loadavg: 2.01 2.02 2.00 3/177 13138 /proc/meminfo: memFree=27845040/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=842392 CPUtime=1797.52 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 347606 0 0 0 175123 4629 0 0 20 0 1 0 338755561 862609408 209074 33554432000 4194304 9016284 140736128826528 140736128822328 6817728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 210598 209074 707 1178 0 209416 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 842392 [startup+1798.1 s] /proc/loadavg: 2.01 2.02 2.00 3/177 13138 /proc/meminfo: memFree=27845040/32873844 swapFree=7644/7644 [pid=13084] ppid=13082 vsize=842392 CPUtime=1797.72 cores=0,2,4,6 /proc/13084/stat : 13084 (scip-2.0.1.4b_2) R 13082 13084 10351 0 -1 4202496 347606 0 0 0 175143 4629 0 0 20 0 1 0 338755561 862609408 209074 33554432000 4194304 9016284 140736128826528 140736128822328 4330016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13084/statm: 210598 209074 707 1178 0 209416 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 842392 Child status: 0 Real time (s): 1798.15 CPU time (s): 1797.79 CPU user time (s): 1751.48 CPU system time (s): 46.306 CPU usage (%): 99.9796 Max. virtual memory (cumulated for all children) (KiB): 842392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1751.48 system time used= 46.306 maximum resident set size= 845916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 347611 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= 98 involuntary context switches= 2143 runsolver used 2.56261 second user time and 7.26689 second system time The end
Begin job on node147 at 2012-06-03 14:25:12 IDJOB=3737296 IDBENCH=48212 IDSOLVER=2329 FILE ID=node147/3737296-1338726312 RUNJOBID= node147-1338702405-10367 PBS_JOBID= 14636713 Free space on /tmp= 70768 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_3.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737296-1338726312/watcher-3737296-1338726312 -o /tmp/evaluation-result-3737296-1338726312/solver-3737296-1338726312 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737296-1338726312.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789 RANDOM SEED=2011233912 node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27980392 kB Buffers: 449884 kB Cached: 2591812 kB SwapCached: 3380 kB Active: 2483148 kB Inactive: 1548904 kB Active(anon): 985668 kB Inactive(anon): 5908 kB Active(file): 1497480 kB Inactive(file): 1542996 kB Unevictable: 7644 kB Mlocked: 7644 kB SwapTotal: 67108856 kB SwapFree: 67100236 kB Dirty: 16716 kB Writeback: 0 kB AnonPages: 1033024 kB Mapped: 12304 kB Shmem: 0 kB Slab: 721976 kB SReclaimable: 163212 kB SUnreclaim: 558764 kB KernelStack: 1480 kB PageTables: 5820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1113708 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 811008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70752 MiB End job on node147 at 2012-06-03 14:55:10