Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -30 | 1798.1 | 1798.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_4.opb |
| MD5SUM | 85583812489e95a26f37a10baffcd23f |
| 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 | -30 |
| Best CPU time to get the best result obtained on this benchmark | 1797.48 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -29 |
| 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 | 50 |
| 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) | 6260 |
| Sum of products size (including duplicates) | 12520 |
| Number of different products | 3130 |
| Sum of products size | 6260 |
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-3488585-1307783374.opb>
0.00/0.02 c original problem has 3330 variables (3330 bin, 0 int, 0 impl, 0 cont) and 3530 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.04/0.06 c (round 1) 3130 del vars, 400 del conss, 0 add conss, 3130 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12520 impls, 0 clqs
0.04/0.07 c (round 2) 3130 del vars, 400 del conss, 0 add conss, 3130 chg bounds, 0 chg sides, 0 chg coeffs, 3130 upgd conss, 12520 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 3130 deleted vars, 400 deleted constraints, 0 added constraints, 3130 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 18778 implications, 0 cliques
0.09/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3130 constraints
0.09/0.10 c 3130 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.07
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1797
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 208 | - | 10M| 0 | 200 | 200 |3130 | 200 |3130 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.12 o -1
0.09/0.12 c R 0.1s| 1 | 0 | 208 | - | 10M| 0 | 200 | 200 |3130 | 200 |3130 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.12 o -2
0.09/0.12 c s 0.1s| 1 | 0 | 208 | - | 10M| 0 | 200 | 200 |3130 | 200 |3130 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.18 o -17
0.09/0.18 c y 0.2s| 1 | 0 | 208 | - | 10M| 0 | 200 | 200 |3130 | 200 |3130 | 0 | 0 | 0 |-1.000000e+02 |-1.700000e+01 | 83.00%
0.19/0.20 c 0.2s| 1 | 0 | 308 | - | 10M| 0 | 188 | 200 |3130 | 200 |3138 | 8 | 0 | 0 |-9.400000e+01 |-1.700000e+01 | 81.91%
0.19/0.26 c 0.3s| 1 | 0 | 356 | - | 10M| 0 | 184 | 200 |3130 | 200 |3145 | 15 | 0 | 0 |-9.200000e+01 |-1.700000e+01 | 81.52%
0.29/0.34 c 0.3s| 1 | 0 | 499 | - | 10M| 0 | 176 | 200 |3130 | 200 |3155 | 25 | 0 | 0 |-8.800000e+01 |-1.700000e+01 | 80.68%
0.39/0.41 c 0.4s| 1 | 0 | 573 | - | 10M| 0 | 169 | 200 |3130 | 200 |3162 | 32 | 0 | 0 |-8.450000e+01 |-1.700000e+01 | 79.88%
0.39/0.46 c 0.5s| 1 | 0 | 638 | - | 10M| 0 | 164 | 200 |3130 | 200 |3171 | 41 | 0 | 0 |-8.200000e+01 |-1.700000e+01 | 79.27%
0.49/0.53 c 0.5s| 1 | 0 | 758 | - | 10M| 0 | 159 | 200 |3130 | 200 |3182 | 52 | 0 | 0 |-7.950000e+01 |-1.700000e+01 | 78.62%
0.59/0.61 c 0.6s| 1 | 0 | 955 | - | 10M| 0 | 155 | 200 |3130 | 200 |3196 | 66 | 0 | 0 |-7.665000e+01 |-1.700000e+01 | 77.82%
0.69/0.70 c 0.7s| 1 | 0 | 1156 | - | 10M| 0 | 153 | 200 |3130 | 200 |3207 | 77 | 0 | 0 |-7.550000e+01 |-1.700000e+01 | 77.48%
0.79/0.80 c 0.8s| 1 | 0 | 1490 | - | 10M| 0 | 151 | 200 |3130 | 200 |3216 | 86 | 0 | 0 |-7.400000e+01 |-1.700000e+01 | 77.03%
0.79/0.89 c 0.9s| 1 | 0 | 1755 | - | 10M| 0 | 146 | 200 |3130 | 200 |3225 | 95 | 0 | 0 |-7.200000e+01 |-1.700000e+01 | 76.39%
0.89/0.96 c 1.0s| 1 | 0 | 1913 | - | 11M| 0 | 152 | 200 |3130 | 200 | 482 | 106 | 0 | 0 |-7.125000e+01 |-1.700000e+01 | 76.14%
1.00/1.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.00 c 1.0s| 1 | 0 | 2201 | - | 11M| 0 | 137 | 200 |3130 | 200 | 493 | 117 | 0 | 0 |-6.950000e+01 |-1.700000e+01 | 75.54%
1.00/1.03 c 1.0s| 1 | 0 | 2321 | - | 11M| 0 | 153 | 200 |3130 | 200 | 511 | 135 | 0 | 0 |-6.810000e+01 |-1.700000e+01 | 75.04%
1.00/1.08 c 1.1s| 1 | 0 | 2543 | - | 12M| 0 | 147 | 200 |3130 | 200 | 682 | 306 | 0 | 0 |-6.607692e+01 |-1.700000e+01 | 74.27%
1.10/1.12 c 1.1s| 1 | 0 | 2691 | - | 12M| 0 | 130 | 200 |3130 | 200 | 762 | 386 | 0 | 0 |-6.375000e+01 |-1.700000e+01 | 73.33%
1.10/1.18 c 1.2s| 1 | 0 | 3104 | - | 12M| 0 | 166 | 200 |3130 | 200 | 781 | 405 | 0 | 0 |-6.283333e+01 |-1.700000e+01 | 72.94%
1.19/1.26 c 1.3s| 1 | 0 | 3343 | - | 13M| 0 | 151 | 200 |3130 | 200 | 678 | 473 | 0 | 0 |-6.200000e+01 |-1.700000e+01 | 72.58%
1.29/1.31 c 1.3s| 1 | 0 | 3591 | - | 14M| 0 | 163 | 200 |3130 | 200 | 687 | 482 | 0 | 0 |-6.156667e+01 |-1.700000e+01 | 72.39%
1.29/1.38 c 1.4s| 1 | 0 | 3853 | - | 14M| 0 | 169 | 200 |3130 | 200 | 738 | 533 | 0 | 0 |-6.082661e+01 |-1.700000e+01 | 72.05%
1.39/1.48 c 1.5s| 1 | 0 | 4299 | - | 15M| 0 | 170 | 200 |3130 | 200 | 801 | 596 | 0 | 0 |-6.001592e+01 |-1.700000e+01 | 71.67%
1.49/1.57 c 1.6s| 1 | 0 | 4782 | - | 17M| 0 | 172 | 200 |3130 | 200 | 818 | 613 | 0 | 0 |-5.919972e+01 |-1.700000e+01 | 71.28%
1.59/1.64 c 1.6s| 1 | 0 | 5061 | - | 17M| 0 | 169 | 200 |3130 | 200 | 887 | 682 | 0 | 0 |-5.877188e+01 |-1.700000e+01 | 71.07%
1.69/1.72 c 1.7s| 1 | 0 | 5690 | - | 18M| 0 | 180 | 200 |3130 | 200 | 784 | 716 | 0 | 0 |-5.789921e+01 |-1.700000e+01 | 70.64%
1.79/1.81 c 1.8s| 1 | 0 | 6208 | - | 18M| 0 | 160 | 200 |3130 | 200 | 805 | 737 | 0 | 0 |-5.694758e+01 |-1.700000e+01 | 70.15%
1.89/1.90 c 1.9s| 1 | 0 | 6658 | - | 19M| 0 | 174 | 200 |3130 | 200 | 846 | 778 | 0 | 0 |-5.607107e+01 |-1.700000e+01 | 69.68%
1.89/1.96 c 2.0s| 1 | 0 | 6943 | - | 19M| 0 | 177 | 200 |3130 | 200 | 884 | 816 | 0 | 0 |-5.533379e+01 |-1.700000e+01 | 69.28%
1.99/2.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.05 c 2.0s| 1 | 0 | 7320 | - | 19M| 0 | 175 | 200 |3130 | 200 | 910 | 842 | 0 | 0 |-5.460578e+01 |-1.700000e+01 | 68.87%
2.09/2.13 c 2.1s| 1 | 0 | 7609 | - | 19M| 0 | 182 | 200 |3130 | 200 | 946 | 878 | 0 | 0 |-5.395956e+01 |-1.700000e+01 | 68.49%
2.09/2.20 c 2.2s| 1 | 0 | 7737 | - | 19M| 0 | 176 | 200 |3130 | 200 | 644 | 899 | 0 | 0 |-5.367362e+01 |-1.700000e+01 | 68.33%
2.20/2.25 c 2.2s| 1 | 0 | 7896 | - | 19M| 0 | 182 | 200 |3130 | 200 | 654 | 909 | 0 | 0 |-5.342104e+01 |-1.700000e+01 | 68.18%
2.29/2.30 c 2.3s| 1 | 0 | 8130 | - | 19M| 0 | 183 | 200 |3130 | 200 | 678 | 933 | 0 | 0 |-5.312398e+01 |-1.700000e+01 | 68.00%
2.29/2.37 c 2.4s| 1 | 0 | 8425 | - | 19M| 0 | 176 | 200 |3130 | 200 | 693 | 948 | 0 | 0 |-5.258159e+01 |-1.700000e+01 | 67.67%
2.39/2.43 c 2.4s| 1 | 0 | 8619 | - | 19M| 0 | 178 | 200 |3130 | 200 | 716 | 971 | 0 | 0 |-5.223709e+01 |-1.700000e+01 | 67.46%
2.39/2.49 c 2.5s| 1 | 0 | 8825 | - | 19M| 0 | 186 | 200 |3130 | 200 | 729 | 984 | 0 | 0 |-5.184772e+01 |-1.700000e+01 | 67.21%
2.49/2.55 c 2.5s| 1 | 0 | 9006 | - | 19M| 0 | 187 | 200 |3130 | 200 | 495 |1003 | 0 | 0 |-5.154599e+01 |-1.700000e+01 | 67.02%
2.49/2.59 c 2.6s| 1 | 0 | 9132 | - | 19M| 0 | 183 | 200 |3130 | 200 | 504 |1012 | 0 | 0 |-5.140281e+01 |-1.700000e+01 | 66.93%
2.59/2.64 c 2.6s| 1 | 0 | 9284 | - | 19M| 0 | 189 | 200 |3130 | 200 | 529 |1037 | 0 | 0 |-5.122472e+01 |-1.700000e+01 | 66.81%
2.59/2.68 c 2.7s| 1 | 0 | 9385 | - | 19M| 0 | 189 | 200 |3130 | 200 | 542 |1050 | 0 | 0 |-5.110165e+01 |-1.700000e+01 | 66.73%
2.69/2.72 c 2.7s| 1 | 0 | 9465 | - | 19M| 0 | 192 | 200 |3130 | 200 | 556 |1064 | 0 | 0 |-5.098583e+01 |-1.700000e+01 | 66.66%
2.69/2.77 c 2.8s| 1 | 0 | 9545 | - | 19M| 0 | 190 | 200 |3130 | 200 | 566 |1074 | 0 | 0 |-5.089204e+01 |-1.700000e+01 | 66.60%
2.79/2.82 c 2.8s| 1 | 0 | 9674 | - | 19M| 0 | 197 | 200 |3130 | 200 | 425 |1084 | 0 | 0 |-5.074281e+01 |-1.700000e+01 | 66.50%
2.79/2.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.85 c 2.9s| 1 | 0 | 9801 | - | 19M| 0 | 193 | 200 |3130 | 200 | 434 |1093 | 0 | 0 |-5.063674e+01 |-1.700000e+01 | 66.43%
2.79/2.89 c 2.9s| 1 | 0 | 9946 | - | 19M| 0 | 195 | 200 |3130 | 200 | 446 |1105 | 0 | 0 |-5.053484e+01 |-1.700000e+01 | 66.36%
2.89/2.93 c 2.9s| 1 | 0 | 10026 | - | 19M| 0 | 194 | 200 |3130 | 200 | 459 |1118 | 0 | 0 |-5.045561e+01 |-1.700000e+01 | 66.31%
2.89/2.98 c 3.0s| 1 | 0 | 10237 | - | 19M| 0 | 195 | 200 |3130 | 200 | 467 |1126 | 0 | 0 |-5.029169e+01 |-1.700000e+01 | 66.20%
2.99/3.02 c 3.0s| 1 | 0 | 10331 | - | 19M| 0 | 196 | 200 |3130 | 200 | 479 |1138 | 0 | 0 |-5.017300e+01 |-1.700000e+01 | 66.12%
2.99/3.07 c 3.1s| 1 | 0 | 10439 | - | 19M| 0 | 191 | 200 |3130 | 200 | 399 |1147 | 0 | 0 |-5.007224e+01 |-1.700000e+01 | 66.05%
3.09/3.10 c 3.1s| 1 | 0 | 10613 | - | 19M| 0 | 194 | 200 |3130 | 200 | 408 |1156 | 0 | 0 |-4.997177e+01 |-1.700000e+01 | 65.98%
3.09/3.14 c 3.1s| 1 | 0 | 10703 | - | 19M| 0 | 194 | 200 |3130 | 200 | 416 |1164 | 0 | 0 |-4.986676e+01 |-1.700000e+01 | 65.91%
3.09/3.17 c 3.2s| 1 | 0 | 10774 | - | 19M| 0 | 194 | 200 |3130 | 200 | 424 |1172 | 0 | 0 |-4.980223e+01 |-1.700000e+01 | 65.86%
3.20/3.21 c 3.2s| 1 | 0 | 10836 | - | 19M| 0 | 196 | 200 |3130 | 200 | 434 |1182 | 0 | 0 |-4.975875e+01 |-1.700000e+01 | 65.84%
3.20/3.25 c 3.2s| 1 | 0 | 10975 | - | 19M| 0 | 197 | 200 |3130 | 200 | 440 |1188 | 0 | 0 |-4.967401e+01 |-1.700000e+01 | 65.78%
3.20/3.29 c 3.3s| 1 | 0 | 11120 | - | 19M| 0 | 199 | 200 |3130 | 200 | 410 |1200 | 0 | 0 |-4.958723e+01 |-1.700000e+01 | 65.72%
3.29/3.32 c 3.3s| 1 | 0 | 11178 | - | 19M| 0 | 197 | 200 |3130 | 200 | 420 |1210 | 0 | 0 |-4.954115e+01 |-1.700000e+01 | 65.69%
3.29/3.36 c 3.4s| 1 | 0 | 11232 | - | 19M| 0 | 199 | 200 |3130 | 200 | 430 |1220 | 0 | 0 |-4.950061e+01 |-1.700000e+01 | 65.66%
3.39/3.40 c 3.4s| 1 | 0 | 11372 | - | 19M| 0 | 199 | 200 |3130 | 200 | 440 |1230 | 0 | 0 |-4.939035e+01 |-1.700000e+01 | 65.58%
3.39/3.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.44 c 3.4s| 1 | 0 | 11440 | - | 19M| 0 | 198 | 200 |3130 | 200 | 451 |1241 | 0 | 0 |-4.932151e+01 |-1.700000e+01 | 65.53%
3.39/3.47 c 3.5s| 1 | 0 | 11498 | - | 19M| 0 | 200 | 200 |3130 | 200 | 460 |1250 | 0 | 0 |-4.930109e+01 |-1.700000e+01 | 65.52%
3.49/3.51 c 3.5s| 1 | 0 | 11554 | - | 19M| 0 | 199 | 200 |3130 | 200 | 409 |1261 | 0 | 0 |-4.927533e+01 |-1.700000e+01 | 65.50%
3.49/3.55 c 3.5s| 1 | 0 | 11613 | - | 19M| 0 | 199 | 200 |3130 | 200 | 416 |1268 | 0 | 0 |-4.925590e+01 |-1.700000e+01 | 65.49%
3.49/3.58 c 3.6s| 1 | 0 | 11704 | - | 19M| 0 | 199 | 200 |3130 | 200 | 426 |1278 | 0 | 0 |-4.922655e+01 |-1.700000e+01 | 65.47%
3.59/3.62 c 3.6s| 1 | 0 | 11761 | - | 19M| 0 | 199 | 200 |3130 | 200 | 433 |1285 | 0 | 0 |-4.921172e+01 |-1.700000e+01 | 65.46%
3.59/3.66 c 3.7s| 1 | 0 | 11818 | - | 19M| 0 | 199 | 200 |3130 | 200 | 440 |1292 | 0 | 0 |-4.919479e+01 |-1.700000e+01 | 65.44%
3.59/3.69 c 3.7s| 1 | 0 | 11854 | - | 19M| 0 | 199 | 200 |3130 | 200 | 446 |1298 | 0 | 0 |-4.918006e+01 |-1.700000e+01 | 65.43%
3.70/3.73 c 3.7s| 1 | 0 | 11876 | - | 19M| 0 | 199 | 200 |3130 | 200 | 396 |1305 | 0 | 0 |-4.917640e+01 |-1.700000e+01 | 65.43%
3.70/3.76 c 3.8s| 1 | 0 | 11920 | - | 19M| 0 | 199 | 200 |3130 | 200 | 403 |1312 | 0 | 0 |-4.916908e+01 |-1.700000e+01 | 65.43%
3.70/3.79 c 3.8s| 1 | 0 | 11926 | - | 19M| 0 | 199 | 200 |3130 | 200 | 404 |1313 | 0 | 0 |-4.916896e+01 |-1.700000e+01 | 65.43%
3.79/3.82 c 3.8s| 1 | 0 | 11936 | - | 19M| 0 | 199 | 200 |3130 | 200 | 405 |1314 | 0 | 0 |-4.916829e+01 |-1.700000e+01 | 65.42%
4.59/4.61 c 4.6s| 1 | 2 | 11936 | - | 19M| 0 | 199 | 200 |3130 | 200 | 405 |1314 | 0 | 18 |-4.916829e+01 |-1.700000e+01 | 65.42%
5.30/5.37 o -18
5.30/5.37 c r 5.4s| 20 | 19 | 14191 | 118.7 | 19M| 13 | 12 | 200 |3130 | 200 | 250 |1433 | 0 | 322 |-4.893592e+01 |-1.800000e+01 | 63.22%
5.30/5.37 o -19
5.30/5.37 c R 5.4s| 20 | 19 | 14191 | 118.7 | 19M| 13 | 12 | 200 |3130 | 200 | 250 |1433 | 0 | 322 |-4.893592e+01 |-1.900000e+01 | 61.17%
5.30/5.37 o -23
5.30/5.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.30/5.37 c f 5.4s| 20 | 19 | 14195 | 118.9 | 19M| 13 | - | 200 |3130 | 200 | 250 |1433 | 0 | 333 |-4.893592e+01 |-2.300000e+01 | 53.00%
5.79/5.80 o -24
5.79/5.80 c * 5.8s| 31 | 27 | 15065 | 104.3 | 19M| 13 | - | 200 |3130 | 200 | 231 |1524 | 0 | 533 |-4.893592e+01 |-2.400000e+01 | 50.96%
7.39/7.41 o -25
7.39/7.41 c * 7.4s| 279 | 138 | 22887 | 39.4 | 20M| 16 | - | 200 |3130 | 200 | 222 |3474 | 0 |1448 |-4.886574e+01 |-2.500000e+01 | 48.84%
7.79/7.89 o -26
7.79/7.89 c * 7.9s| 682 | 257 | 31591 | 28.9 | 20M| 23 | - | 200 |3130 | 200 | 223 |6768 | 0 |1473 |-4.885571e+01 |-2.600000e+01 | 46.78%
17.39/17.48 c 17.5s| 10000 | 4889 |281520 | 27.0 | 32M| 62 | 32 | 200 |3130 | 200 | 199 | 113k| 0 |1536 |-4.621742e+01 |-2.600000e+01 | 43.74%
18.99/19.07 o -27
18.99/19.07 c *19.1s| 11969 | 4734 |323602 | 26.0 | 33M| 62 | - | 200 |3130 | 200 | 233 | 134k| 0 |1596 |-4.611004e+01 |-2.700000e+01 | 41.44%
25.59/25.62 c 25.6s| 20000 | 7313 |490416 | 23.9 | 41M| 62 | 3 | 200 |3130 | 200 | 217 | 216k| 0 |2038 |-4.560645e+01 |-2.700000e+01 | 40.80%
32.80/32.89 c 32.9s| 30000 | 10083 |678413 | 22.2 | 49M| 62 | - | 200 |3130 | 200 | 238 | 314k| 0 |2501 |-4.519907e+01 |-2.700000e+01 | 40.26%
33.89/33.99 o -28
33.89/33.99 c *34.0s| 31559 | 8615 |706320 | 22.0 | 46M| 62 | - | 200 |3130 | 200 | 255 | 330k| 0 |2594 |-4.514694e+01 |-2.800000e+01 | 37.98%
40.19/40.22 c 40.2s| 40000 | 10684 |866270 | 21.4 | 53M| 64 | 11 | 200 |3130 | 200 | 217 | 416k| 0 |2911 |-4.481026e+01 |-2.800000e+01 | 37.51%
47.20/47.30 c 47.3s| 50000 | 13130 | 1051k| 20.8 | 60M| 66 | 67 | 200 |3130 | 200 | 248 | 517k| 0 |3326 |-4.452159e+01 |-2.800000e+01 | 37.11%
54.09/54.18 c 54.2s| 60000 | 15380 | 1232k| 20.3 | 67M| 67 | 3 | 200 |3130 | 200 | 216 | 617k| 0 |3683 |-4.426389e+01 |-2.800000e+01 | 36.74%
60.89/60.96 c 61.0s| 70000 | 17544 | 1410k| 20.0 | 74M| 67 | 16 | 200 |3130 | 200 | 199 | 717k| 0 |4057 |-4.402381e+01 |-2.800000e+01 | 36.40%
67.80/67.82 c 67.8s| 80000 | 19816 | 1591k| 19.7 | 81M| 78 | 44 | 200 |3130 | 200 | 238 | 816k| 0 |4341 |-4.377551e+01 |-2.800000e+01 | 36.04%
69.20/69.23 o -29
69.20/69.23 c *69.2s| 82202 | 16450 | 1626k| 19.6 | 74M| 78 | - | 200 |3130 | 200 | 241 | 836k| 0 |4429 |-4.374427e+01 |-2.900000e+01 | 33.71%
74.49/74.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.49/74.55 c 74.6s| 90000 | 17864 | 1763k| 19.5 | 79M| 78 | - | 200 |3130 | 200 | 227 | 915k| 0 |4637 |-4.355310e+01 |-2.900000e+01 | 33.41%
80.90/80.96 c 81.0s|100000 | 19470 | 1929k| 19.2 | 85M| 78 | 25 | 200 |3130 | 200 | 199 |1013k| 0 |4916 |-4.334375e+01 |-2.900000e+01 | 33.09%
87.20/87.27 c 87.3s|110000 | 21062 | 2094k| 18.9 | 90M| 78 | - | 200 |3130 | 200 | 238 |1107k| 0 |5109 |-4.319444e+01 |-2.900000e+01 | 32.86%
93.59/93.63 c 93.6s|120000 | 22702 | 2259k| 18.7 | 96M| 78 | - | 200 |3130 | 200 | 235 |1206k| 0 |5387 |-4.305674e+01 |-2.900000e+01 | 32.65%
100.00/100.04 c 100s|130000 | 24464 | 2428k| 18.6 | 102M| 78 | 70 | 200 |3130 | 200 | 199 |1303k| 0 |5566 |-4.293750e+01 |-2.900000e+01 | 32.46%
106.39/106.49 c 106s|140000 | 26072 | 2596k| 18.5 | 107M| 78 | - | 200 |3130 | 200 | 215 |1403k| 0 |5840 |-4.281633e+01 |-2.900000e+01 | 32.27%
112.59/112.66 c 113s|150000 | 27648 | 2757k| 18.3 | 113M| 78 | 20 | 200 |3130 | 200 | 212 |1499k| 0 |6019 |-4.267500e+01 |-2.900000e+01 | 32.04%
118.70/118.76 c 119s|160000 | 29128 | 2916k| 18.2 | 118M| 78 | 69 | 200 |3130 | 200 | 253 |1596k| 0 |6194 |-4.257692e+01 |-2.900000e+01 | 31.89%
124.90/124.90 c 125s|170000 | 30714 | 3076k| 18.0 | 123M| 78 | 33 | 200 |3130 | 200 | 214 |1694k| 0 |6432 |-4.247887e+01 |-2.900000e+01 | 31.73%
130.90/130.92 c 131s|180000 | 32208 | 3232k| 17.9 | 128M| 78 | - | 200 |3130 | 200 | 222 |1789k| 0 |6612 |-4.236000e+01 |-2.900000e+01 | 31.54%
136.89/136.96 c 137s|190000 | 33864 | 3388k| 17.8 | 133M| 78 | - | 200 |3130 | 200 | 217 |1886k| 0 |6806 |-4.226087e+01 |-2.900000e+01 | 31.38%
142.90/142.97 c 143s|200000 | 35334 | 3544k| 17.7 | 138M| 78 | - | 200 |3130 | 200 | 236 |1985k| 0 |6991 |-4.215893e+01 |-2.900000e+01 | 31.21%
149.00/149.00 c 149s|210000 | 36820 | 3700k| 17.6 | 143M| 78 | 52 | 200 |3130 | 200 | 218 |2082k| 0 |7182 |-4.201684e+01 |-2.900000e+01 | 30.98%
154.90/154.93 c 155s|220000 | 38386 | 3854k| 17.5 | 148M| 78 | - | 200 |3130 | 200 | 215 |2180k| 0 |7352 |-4.200000e+01 |-2.900000e+01 | 30.95%
160.89/160.96 c 161s|230000 | 39920 | 4012k| 17.4 | 153M| 78 | - | 200 |3130 | 200 | 216 |2282k| 0 |7520 |-4.190000e+01 |-2.900000e+01 | 30.79%
166.90/166.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.90/166.96 c 167s|240000 | 41466 | 4169k| 17.3 | 158M| 78 | - | 200 |3130 | 200 | 215 |2380k| 0 |7657 |-4.181818e+01 |-2.900000e+01 | 30.65%
172.90/172.97 c 173s|250000 | 42938 | 4327k| 17.3 | 162M| 78 | - | 200 |3130 | 200 | 245 |2480k| 0 |7807 |-4.175000e+01 |-2.900000e+01 | 30.54%
178.69/178.77 c 179s|260000 | 44330 | 4477k| 17.2 | 167M| 78 | - | 200 |3130 | 200 | 215 |2574k| 0 |7983 |-4.166667e+01 |-2.900000e+01 | 30.40%
184.50/184.58 c 185s|270000 | 45732 | 4629k| 17.1 | 172M| 78 | 36 | 200 |3130 | 200 | 225 |2670k| 0 |8161 |-4.157143e+01 |-2.900000e+01 | 30.24%
190.40/190.47 c 190s|280000 | 47172 | 4782k| 17.0 | 176M| 78 | 49 | 200 |3130 | 200 | 213 |2763k| 0 |8349 |-4.150000e+01 |-2.900000e+01 | 30.12%
196.40/196.44 c 196s|290000 | 48654 | 4937k| 17.0 | 181M| 78 | 49 | 200 |3130 | 200 | 212 |2863k| 0 |8521 |-4.142466e+01 |-2.900000e+01 | 29.99%
202.09/202.16 c 202s|300000 | 49984 | 5085k| 16.9 | 185M| 78 | 57 | 200 |3130 | 200 | 199 |2958k| 0 |8649 |-4.133333e+01 |-2.900000e+01 | 29.84%
207.90/207.98 c 208s|310000 | 51360 | 5235k| 16.9 | 190M| 78 | - | 200 |3130 | 200 | 217 |3054k| 0 |8812 |-4.125926e+01 |-2.900000e+01 | 29.71%
213.70/213.77 c 214s|320000 | 52672 | 5384k| 16.8 | 194M| 78 | - | 200 |3130 | 200 | 218 |3148k| 0 |8984 |-4.120000e+01 |-2.900000e+01 | 29.61%
219.40/219.45 c 219s|330000 | 54008 | 5531k| 16.7 | 199M| 79 | 54 | 200 |3130 | 200 | 199 |3244k| 0 |9101 |-4.112500e+01 |-2.900000e+01 | 29.48%
225.10/225.14 c 225s|340000 | 55298 | 5676k| 16.7 | 203M| 79 | - | 200 |3130 | 200 | 199 |3339k| 0 |9260 |-4.104545e+01 |-2.900000e+01 | 29.35%
230.90/230.97 c 231s|350000 | 56642 | 5826k| 16.6 | 207M| 79 | - | 200 |3130 | 200 | 213 |3432k| 0 |9410 |-4.100000e+01 |-2.900000e+01 | 29.27%
236.60/236.64 c 237s|360000 | 57982 | 5973k| 16.6 | 211M| 79 | 56 | 200 |3130 | 200 | 218 |3529k| 0 |9532 |-4.100000e+01 |-2.900000e+01 | 29.27%
242.50/242.50 c 242s|370000 | 59472 | 6125k| 16.5 | 216M| 89 | 50 | 200 |3130 | 200 | 221 |3626k| 0 |9701 |-4.094444e+01 |-2.900000e+01 | 29.17%
248.00/248.01 c 248s|380000 | 60552 | 6265k| 16.5 | 220M| 89 | 30 | 200 |3130 | 200 | 219 |3719k| 0 |9802 |-4.087952e+01 |-2.900000e+01 | 29.06%
253.59/253.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.59/253.60 c 254s|390000 | 61674 | 6408k| 16.4 | 223M| 89 | 51 | 200 |3130 | 200 | 255 |3813k| 0 |9952 |-4.083333e+01 |-2.900000e+01 | 28.98%
259.09/259.17 c 259s|400000 | 62764 | 6551k| 16.3 | 227M| 89 | - | 200 |3130 | 200 | 232 |3908k| 0 | 10k|-4.075000e+01 |-2.900000e+01 | 28.83%
264.70/264.77 c 265s|410000 | 63924 | 6693k| 16.3 | 231M| 89 | 41 | 200 |3130 | 200 | 236 |4002k| 0 | 10k|-4.073333e+01 |-2.900000e+01 | 28.81%
270.20/270.26 c 270s|420000 | 65028 | 6834k| 16.2 | 234M| 89 | 7 | 200 |3130 | 200 | 217 |4096k| 0 | 10k|-4.066667e+01 |-2.900000e+01 | 28.69%
275.70/275.78 c 276s|430000 | 66308 | 6974k| 16.2 | 238M| 89 | 52 | 200 |3130 | 200 | 199 |4187k| 0 | 10k|-4.062500e+01 |-2.900000e+01 | 28.62%
281.20/281.24 c 281s|440000 | 67396 | 7112k| 16.1 | 242M| 89 | - | 200 |3130 | 200 | 234 |4281k| 0 | 10k|-4.057895e+01 |-2.900000e+01 | 28.53%
286.70/286.74 c 287s|450000 | 68482 | 7252k| 16.1 | 246M| 89 | 10 | 200 |3130 | 200 | 214 |4374k| 0 | 10k|-4.050000e+01 |-2.900000e+01 | 28.40%
292.20/292.27 c 292s|460000 | 69510 | 7392k| 16.0 | 249M| 89 | 43 | 200 |3130 | 200 | 199 |4469k| 0 | 10k|-4.050000e+01 |-2.900000e+01 | 28.40%
297.71/297.74 c 298s|470000 | 70630 | 7533k| 16.0 | 253M| 89 | 48 | 200 |3130 | 200 | 214 |4564k| 0 | 10k|-4.050000e+01 |-2.900000e+01 | 28.40%
303.10/303.17 c 303s|480000 | 71694 | 7670k| 16.0 | 256M| 89 | 35 | 200 |3130 | 200 | 226 |4657k| 0 | 10k|-4.041667e+01 |-2.900000e+01 | 28.25%
308.60/308.66 c 309s|490000 | 72686 | 7810k| 15.9 | 260M| 89 | 5 | 200 |3130 | 200 | 199 |4751k| 0 | 11k|-4.037500e+01 |-2.900000e+01 | 28.17%
314.10/314.17 c 314s|500000 | 73802 | 7949k| 15.9 | 263M| 89 | - | 200 |3130 | 200 | 246 |4844k| 0 | 11k|-4.033333e+01 |-2.900000e+01 | 28.10%
319.61/319.60 c 320s|510000 | 74954 | 8088k| 15.8 | 267M| 89 | 20 | 200 |3130 | 200 | 199 |4938k| 0 | 11k|-4.030769e+01 |-2.900000e+01 | 28.05%
324.90/324.93 c 325s|520000 | 75914 | 8221k| 15.8 | 270M| 89 | - | 200 |3130 | 200 | 216 |5029k| 0 | 11k|-4.025000e+01 |-2.900000e+01 | 27.95%
330.41/330.41 c 330s|530000 | 77042 | 8361k| 15.8 | 274M| 89 | 23 | 200 |3130 | 200 | 199 |5122k| 0 | 11k|-4.025000e+01 |-2.900000e+01 | 27.95%
335.80/335.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.80/335.82 c 336s|540000 | 78068 | 8497k| 15.7 | 277M| 89 | - | 200 |3130 | 200 | 214 |5213k| 0 | 11k|-4.018182e+01 |-2.900000e+01 | 27.83%
341.11/341.19 c 341s|550000 | 79104 | 8633k| 15.7 | 280M| 89 | - | 200 |3130 | 200 | 229 |5306k| 0 | 11k|-4.014286e+01 |-2.900000e+01 | 27.76%
346.51/346.57 c 347s|560000 | 80116 | 8768k| 15.6 | 284M| 89 | 8 | 200 |3130 | 200 | 199 |5398k| 0 | 11k|-4.010000e+01 |-2.900000e+01 | 27.68%
351.91/351.94 c 352s|570000 | 81068 | 8904k| 15.6 | 287M| 89 | 24 | 200 |3130 | 200 | 199 |5489k| 0 | 11k|-4.004167e+01 |-2.900000e+01 | 27.58%
357.20/357.25 c 357s|580000 | 82030 | 9038k| 15.6 | 290M| 89 | - | 200 |3130 | 200 | 230 |5579k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
362.60/362.66 c 363s|590000 | 83100 | 9175k| 15.5 | 294M| 89 | - | 200 |3130 | 200 | 215 |5672k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
368.01/368.06 c 368s|600000 | 84110 | 9310k| 15.5 | 297M| 89 | 46 | 200 |3130 | 200 | 217 |5764k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
373.31/373.36 c 373s|610000 | 85046 | 9444k| 15.5 | 300M| 89 | 44 | 200 |3130 | 200 | 235 |5854k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
378.81/378.87 c 379s|620000 | 86174 | 9584k| 15.4 | 304M| 89 | - | 200 |3130 | 200 | 214 |5947k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
384.10/384.16 c 384s|630000 | 87078 | 9718k| 15.4 | 307M| 89 | - | 200 |3130 | 200 | 229 |6038k| 0 | 12k|-3.993750e+01 |-2.900000e+01 | 27.39%
389.51/389.52 c 390s|640000 | 88004 | 9853k| 15.4 | 310M| 89 | - | 200 |3130 | 200 | 269 |6131k| 0 | 12k|-3.987500e+01 |-2.900000e+01 | 27.27%
394.81/394.87 c 395s|650000 | 88982 | 9988k| 15.3 | 313M| 89 | 40 | 200 |3130 | 200 | 199 |6222k| 0 | 12k|-3.983333e+01 |-2.900000e+01 | 27.20%
400.21/400.21 c 400s|660000 | 89854 | 10122k| 15.3 | 316M| 89 | - | 200 |3130 | 200 | 218 |6316k| 0 | 12k|-3.980000e+01 |-2.900000e+01 | 27.14%
405.50/405.51 c 406s|670000 | 90836 | 10257k| 15.3 | 319M| 89 | - | 200 |3130 | 200 | 229 |6405k| 0 | 12k|-3.975000e+01 |-2.900000e+01 | 27.04%
410.71/410.79 c 411s|680000 | 91802 | 10389k| 15.3 | 322M| 89 | - | 200 |3130 | 200 | 238 |6499k| 0 | 13k|-3.975000e+01 |-2.900000e+01 | 27.04%
416.11/416.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.11/416.11 c 416s|690000 | 92730 | 10523k| 15.2 | 325M| 89 | - | 200 |3130 | 200 | 247 |6592k| 0 | 13k|-3.967857e+01 |-2.900000e+01 | 26.91%
421.41/421.43 c 421s|700000 | 93680 | 10656k| 15.2 | 329M| 89 | 32 | 200 |3130 | 200 | 218 |6683k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
426.71/426.73 c 427s|710000 | 94628 | 10789k| 15.2 | 332M| 89 | 46 | 200 |3130 | 200 | 229 |6775k| 0 | 13k|-3.963636e+01 |-2.900000e+01 | 26.83%
431.90/431.97 c 432s|720000 | 95486 | 10919k| 15.1 | 335M| 89 | - | 200 |3130 | 200 | 242 |6864k| 0 | 13k|-3.960000e+01 |-2.900000e+01 | 26.77%
437.20/437.26 c 437s|730000 | 96444 | 11050k| 15.1 | 338M| 89 | 9 | 200 |3130 | 200 | 215 |6953k| 0 | 13k|-3.956250e+01 |-2.900000e+01 | 26.70%
442.51/442.58 c 443s|740000 | 97392 | 11183k| 15.1 | 341M| 89 | - | 200 |3130 | 200 | 232 |7043k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
447.81/447.87 c 448s|750000 | 98334 | 11316k| 15.1 | 344M| 89 | - | 200 |3130 | 200 | 240 |7134k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
453.01/453.08 c 453s|760000 | 99268 | 11446k| 15.0 | 347M| 89 | 45 | 200 |3130 | 200 | 210 |7223k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
458.31/458.32 c 458s|770000 |100162 | 11578k| 15.0 | 350M| 89 | - | 200 |3130 | 200 | 230 |7316k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
463.61/463.61 c 464s|780000 |101126 | 11711k| 15.0 | 353M| 89 | 42 | 200 |3130 | 200 | 243 |7409k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
468.81/468.83 c 469s|790000 |101936 | 11840k| 15.0 | 356M| 89 | - | 200 |3130 | 200 | 241 |7500k| 0 | 14k|-3.942857e+01 |-2.900000e+01 | 26.45%
474.02/474.10 c 474s|800000 |102844 | 11972k| 15.0 | 359M| 89 | 14 | 200 |3130 | 200 | 225 |7589k| 0 | 14k|-3.940000e+01 |-2.900000e+01 | 26.40%
479.30/479.34 c 479s|810000 |103718 | 12101k| 14.9 | 362M| 89 | 36 | 200 |3130 | 200 | 217 |7679k| 0 | 14k|-3.935294e+01 |-2.900000e+01 | 26.31%
484.51/484.52 c 485s|820000 |104474 | 12230k| 14.9 | 364M| 89 | - | 200 |3130 | 200 | 230 |7772k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
489.71/489.76 c 490s|830000 |105362 | 12360k| 14.9 | 367M| 89 | 25 | 200 |3130 | 200 | 199 |7863k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
494.91/494.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.91/494.90 c 495s|840000 |106182 | 12486k| 14.9 | 370M| 89 | - | 200 |3130 | 200 | 249 |7953k| 0 | 14k|-3.928571e+01 |-2.900000e+01 | 26.18%
500.11/500.15 c 500s|850000 |106968 | 12616k| 14.8 | 372M| 89 | - | 200 |3130 | 200 | 215 |8046k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
505.41/505.40 c 505s|860000 |107808 | 12746k| 14.8 | 375M| 89 | - | 200 |3130 | 200 | 261 |8138k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
510.61/510.66 c 511s|870000 |108618 | 12876k| 14.8 | 378M| 89 | - | 200 |3130 | 200 | 275 |8228k| 0 | 14k|-3.920000e+01 |-2.900000e+01 | 26.02%
515.91/515.99 c 516s|880000 |109454 | 13008k| 14.8 | 381M| 89 | 27 | 200 |3130 | 200 | 199 |8320k| 0 | 14k|-3.916667e+01 |-2.900000e+01 | 25.96%
521.11/521.19 c 521s|890000 |110268 | 13137k| 14.7 | 383M| 89 | 67 | 200 |3130 | 200 | 216 |8412k| 0 | 14k|-3.912500e+01 |-2.900000e+01 | 25.88%
526.41/526.44 c 526s|900000 |111040 | 13266k| 14.7 | 386M| 89 | - | 200 |3130 | 200 | 253 |8502k| 0 | 14k|-3.907143e+01 |-2.900000e+01 | 25.78%
531.61/531.66 c 532s|910000 |111880 | 13393k| 14.7 | 389M| 89 | 14 | 200 |3130 | 200 | 225 |8590k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
536.82/536.81 c 537s|920000 |112650 | 13519k| 14.7 | 391M| 89 | - | 200 |3130 | 200 | 245 |8679k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
541.91/541.96 c 542s|930000 |113456 | 13647k| 14.7 | 394M| 89 | 29 | 200 |3130 | 200 | 199 |8770k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
547.01/547.07 c 547s|940000 |114222 | 13772k| 14.6 | 397M| 89 | 50 | 200 |3130 | 200 | 240 |8862k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
552.22/552.27 c 552s|950000 |115016 | 13900k| 14.6 | 399M| 89 | 45 | 200 |3130 | 200 | 227 |8954k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
557.41/557.41 c 557s|960000 |115790 | 14026k| 14.6 | 402M| 89 | - | 200 |3130 | 200 | 230 |9044k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
562.61/562.66 c 563s|970000 |116608 | 14156k| 14.6 | 404M| 89 | - | 200 |3130 | 200 | 210 |9139k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
567.81/567.89 c 568s|980000 |117448 | 14284k| 14.6 | 407M| 91 | - | 200 |3130 | 200 | 240 |9229k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
573.01/573.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.01/573.01 c 573s|990000 |118222 | 14410k| 14.5 | 410M| 91 | - | 200 |3130 | 200 | 223 |9318k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
578.21/578.21 c 578s| 1000k|118926 | 14537k| 14.5 | 412M| 91 | 22 | 200 |3130 | 200 | 217 |9410k| 0 | 15k|-3.896429e+01 |-2.900000e+01 | 25.57%
583.21/583.24 c 583s| 1010k|119674 | 14658k| 14.5 | 414M| 91 | 14 | 200 |3130 | 200 | 225 |9495k| 0 | 15k|-3.890909e+01 |-2.900000e+01 | 25.47%
588.31/588.38 c 588s| 1020k|120388 | 14783k| 14.5 | 417M| 91 | 17 | 200 |3130 | 200 | 228 |9584k| 0 | 15k|-3.887500e+01 |-2.900000e+01 | 25.40%
593.42/593.48 c 593s| 1030k|121098 | 14906k| 14.5 | 419M| 91 | 33 | 200 |3130 | 200 | 234 |9671k| 0 | 16k|-3.884615e+01 |-2.900000e+01 | 25.35%
598.42/598.49 c 598s| 1040k|121804 | 15028k| 14.4 | 422M| 91 | 43 | 200 |3130 | 200 | 227 |9757k| 0 | 16k|-3.883333e+01 |-2.900000e+01 | 25.32%
603.51/603.54 c 604s| 1050k|122422 | 15150k| 14.4 | 424M| 91 | - | 200 |3130 | 200 | 256 |9844k| 0 | 16k|-3.880000e+01 |-2.900000e+01 | 25.26%
608.61/608.61 c 609s| 1060k|123132 | 15273k| 14.4 | 426M| 91 | - | 200 |3130 | 200 | 215 |9930k| 0 | 16k|-3.877778e+01 |-2.900000e+01 | 25.21%
613.72/613.71 c 614s| 1070k|123766 | 15398k| 14.4 | 429M| 91 | 18 | 200 |3130 | 200 | 199 | 10M| 0 | 16k|-3.875000e+01 |-2.900000e+01 | 25.16%
618.72/618.78 c 619s| 1080k|124432 | 15521k| 14.4 | 431M| 91 | - | 200 |3130 | 200 | 235 | 10M| 0 | 16k|-3.875000e+01 |-2.900000e+01 | 25.16%
623.91/623.90 c 624s| 1090k|125080 | 15644k| 14.3 | 433M| 91 | 55 | 200 |3130 | 200 | 248 | 10M| 0 | 16k|-3.873333e+01 |-2.900000e+01 | 25.13%
628.91/628.99 c 629s| 1100k|125696 | 15766k| 14.3 | 435M| 91 | - | 200 |3130 | 200 | 221 | 10M| 0 | 16k|-3.869231e+01 |-2.900000e+01 | 25.05%
634.01/634.09 c 634s| 1110k|126366 | 15888k| 14.3 | 437M| 91 | 40 | 200 |3130 | 200 | 218 | 10M| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
639.12/639.15 c 639s| 1120k|126996 | 16010k| 14.3 | 440M| 91 | - | 200 |3130 | 200 | 228 | 10M| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
644.21/644.24 c 644s| 1130k|127668 | 16133k| 14.3 | 442M| 91 | 33 | 200 |3130 | 200 | 231 | 10M| 0 | 16k|-3.865000e+01 |-2.900000e+01 | 24.97%
649.31/649.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.31/649.34 c 649s| 1140k|128284 | 16255k| 14.2 | 444M| 91 | 40 | 200 |3130 | 200 | 242 | 10M| 0 | 16k|-3.860000e+01 |-2.900000e+01 | 24.87%
654.31/654.36 c 654s| 1150k|128846 | 16374k| 14.2 | 446M| 91 | - | 200 |3130 | 200 | 241 | 10M| 0 | 16k|-3.857143e+01 |-2.900000e+01 | 24.81%
659.41/659.46 c 659s| 1160k|129518 | 16497k| 14.2 | 448M| 91 | - | 200 |3130 | 200 | 236 | 10M| 0 | 16k|-3.854545e+01 |-2.900000e+01 | 24.76%
664.51/664.50 c 665s| 1170k|130156 | 16618k| 14.2 | 450M| 91 | - | 200 |3130 | 200 | 232 | 10M| 0 | 16k|-3.850000e+01 |-2.900000e+01 | 24.68%
669.41/669.41 c 669s| 1180k|130768 | 16736k| 14.2 | 452M| 95 | - | 200 |3130 | 200 | 224 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
674.41/674.48 c 674s| 1190k|131414 | 16859k| 14.2 | 455M| 95 | - | 200 |3130 | 200 | 245 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
679.42/679.44 c 679s| 1200k|132140 | 16979k| 14.1 | 457M| 95 | 39 | 200 |3130 | 200 | 236 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
684.42/684.43 c 684s| 1210k|132758 | 17100k| 14.1 | 459M| 95 | - | 200 |3130 | 200 | 223 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
689.42/689.43 c 689s| 1220k|133392 | 17220k| 14.1 | 461M| 95 | - | 200 |3130 | 200 | 218 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
694.32/694.39 c 694s| 1230k|133980 | 17339k| 14.1 | 463M| 95 | - | 200 |3130 | 200 | 244 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
699.31/699.31 c 699s| 1240k|134530 | 17457k| 14.1 | 465M| 95 | 47 | 200 |3130 | 200 | 231 | 11M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
704.31/704.38 c 704s| 1250k|135154 | 17580k| 14.1 | 467M| 95 | 38 | 200 |3130 | 200 | 208 | 11M| 0 | 17k|-3.846667e+01 |-2.900000e+01 | 24.61%
709.42/709.42 c 709s| 1260k|135792 | 17701k| 14.0 | 469M| 95 | - | 200 |3130 | 200 | 228 | 11M| 0 | 17k|-3.842857e+01 |-2.900000e+01 | 24.54%
714.32/714.38 c 714s| 1270k|136332 | 17819k| 14.0 | 471M| 95 | 52 | 200 |3130 | 200 | 247 | 11M| 0 | 17k|-3.840000e+01 |-2.900000e+01 | 24.48%
719.32/719.38 c 719s| 1280k|136884 | 17939k| 14.0 | 473M| 95 | 3 | 200 |3130 | 200 | 199 | 11M| 0 | 17k|-3.837500e+01 |-2.900000e+01 | 24.43%
724.31/724.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.31/724.35 c 724s| 1290k|137338 | 18057k| 14.0 | 475M| 95 | 23 | 200 |3130 | 200 | 231 | 11M| 0 | 17k|-3.833333e+01 |-2.900000e+01 | 24.35%
729.32/729.35 c 729s| 1300k|137944 | 18177k| 14.0 | 477M| 95 | 57 | 200 |3130 | 200 | 254 | 12M| 0 | 17k|-3.833333e+01 |-2.900000e+01 | 24.35%
734.31/734.33 c 734s| 1310k|138516 | 18296k| 14.0 | 479M| 95 | 44 | 200 |3130 | 200 | 213 | 12M| 0 | 17k|-3.833333e+01 |-2.900000e+01 | 24.35%
739.32/739.34 c 739s| 1320k|139056 | 18416k| 13.9 | 481M| 95 | 24 | 200 |3130 | 200 | 228 | 12M| 0 | 17k|-3.830000e+01 |-2.900000e+01 | 24.28%
744.32/744.36 c 744s| 1330k|139522 | 18535k| 13.9 | 483M| 95 | 43 | 200 |3130 | 200 | 229 | 12M| 0 | 18k|-3.825000e+01 |-2.900000e+01 | 24.18%
749.32/749.34 c 749s| 1340k|140080 | 18653k| 13.9 | 485M| 95 | 55 | 200 |3130 | 200 | 252 | 12M| 0 | 18k|-3.825000e+01 |-2.900000e+01 | 24.18%
754.22/754.28 c 754s| 1350k|140648 | 18772k| 13.9 | 487M| 95 | - | 200 |3130 | 200 | 244 | 12M| 0 | 18k|-3.825000e+01 |-2.900000e+01 | 24.18%
759.21/759.26 c 759s| 1360k|141156 | 18891k| 13.9 | 488M| 95 | 6 | 200 |3130 | 200 | 211 | 12M| 0 | 18k|-3.822222e+01 |-2.900000e+01 | 24.13%
764.22/764.23 c 764s| 1370k|141700 | 19009k| 13.9 | 490M| 95 | 14 | 200 |3130 | 200 | 199 | 12M| 0 | 18k|-3.820000e+01 |-2.900000e+01 | 24.08%
769.22/769.21 c 769s| 1380k|142236 | 19127k| 13.9 | 492M| 95 | 18 | 200 |3130 | 200 | 231 | 12M| 0 | 18k|-3.816667e+01 |-2.900000e+01 | 24.02%
774.12/774.11 c 774s| 1390k|142842 | 19245k| 13.8 | 494M| 95 | - | 200 |3130 | 200 | 244 | 12M| 0 | 18k|-3.816667e+01 |-2.900000e+01 | 24.02%
779.02/779.05 c 779s| 1400k|143338 | 19361k| 13.8 | 496M| 95 | 43 | 200 |3130 | 200 | 227 | 12M| 0 | 18k|-3.813889e+01 |-2.900000e+01 | 23.96%
783.92/783.98 c 784s| 1410k|143860 | 19480k| 13.8 | 498M| 95 | 42 | 200 |3130 | 200 | 213 | 12M| 0 | 18k|-3.811765e+01 |-2.900000e+01 | 23.92%
788.92/788.96 c 789s| 1420k|144420 | 19599k| 13.8 | 500M| 95 | 45 | 200 |3130 | 200 | 231 | 13M| 0 | 18k|-3.807692e+01 |-2.900000e+01 | 23.84%
793.91/793.94 c 794s| 1430k|144936 | 19718k| 13.8 | 502M| 95 | - | 200 |3130 | 200 | 248 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
798.82/798.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.82/798.88 c 799s| 1440k|145508 | 19835k| 13.8 | 504M| 95 | 32 | 200 |3130 | 200 | 217 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
803.72/803.79 c 804s| 1450k|145996 | 19951k| 13.8 | 506M| 95 | 51 | 200 |3130 | 200 | 262 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
808.72/808.72 c 809s| 1460k|146554 | 20068k| 13.7 | 508M| 96 | 43 | 200 |3130 | 200 | 224 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
813.62/813.63 c 814s| 1470k|147074 | 20185k| 13.7 | 509M| 96 | 26 | 200 |3130 | 200 | 229 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
818.52/818.58 c 819s| 1480k|147534 | 20301k| 13.7 | 511M| 96 | - | 200 |3130 | 200 | 226 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
823.52/823.57 c 824s| 1490k|148060 | 20419k| 13.7 | 513M| 96 | 32 | 200 |3130 | 200 | 233 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
828.52/828.53 c 829s| 1500k|148550 | 20537k| 13.7 | 515M| 96 | - | 200 |3130 | 200 | 236 | 13M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
833.32/833.36 c 833s| 1510k|149014 | 20649k| 13.7 | 516M| 96 | 58 | 200 |3130 | 200 | 239 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
838.23/838.29 c 838s| 1520k|149468 | 20765k| 13.7 | 518M| 96 | - | 200 |3130 | 200 | 269 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
843.22/843.21 c 843s| 1530k|149868 | 20881k| 13.6 | 520M| 96 | 54 | 200 |3130 | 200 | 259 | 13M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
848.12/848.16 c 848s| 1540k|150322 | 20998k| 13.6 | 521M| 96 | - | 200 |3130 | 200 | 215 | 14M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
853.12/853.14 c 853s| 1550k|150796 | 21116k| 13.6 | 523M| 96 | - | 200 |3130 | 200 | 233 | 14M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
858.13/858.11 c 858s| 1560k|151298 | 21233k| 13.6 | 525M| 96 | - | 200 |3130 | 200 | 233 | 14M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
863.02/863.01 c 863s| 1570k|151790 | 21350k| 13.6 | 527M| 96 | - | 200 |3130 | 200 | 245 | 14M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
867.93/867.94 c 868s| 1580k|152310 | 21467k| 13.6 | 528M| 96 | 22 | 200 |3130 | 200 | 215 | 14M| 0 | 19k|-3.800000e+01 |-2.900000e+01 | 23.68%
872.82/872.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.82/872.86 c 873s| 1590k|152766 | 21582k| 13.6 | 530M| 96 | - | 200 |3130 | 200 | 250 | 14M| 0 | 19k|-3.794444e+01 |-2.900000e+01 | 23.57%
877.73/877.78 c 878s| 1600k|153236 | 21698k| 13.6 | 532M| 96 | 7 | 200 |3130 | 200 | 242 | 14M| 0 | 19k|-3.790909e+01 |-2.900000e+01 | 23.50%
882.62/882.67 c 883s| 1610k|153690 | 21814k| 13.5 | 533M| 96 | - | 200 |3130 | 200 | 217 | 14M| 0 | 19k|-3.788889e+01 |-2.900000e+01 | 23.46%
887.52/887.51 c 888s| 1620k|154130 | 21927k| 13.5 | 535M| 96 | 49 | 200 |3130 | 200 | 199 | 14M| 0 | 19k|-3.786667e+01 |-2.900000e+01 | 23.42%
892.42/892.41 c 892s| 1630k|154528 | 22041k| 13.5 | 537M| 96 | 49 | 200 |3130 | 200 | 199 | 14M| 0 | 19k|-3.785000e+01 |-2.900000e+01 | 23.38%
897.23/897.21 c 897s| 1640k|154938 | 22153k| 13.5 | 538M| 96 | - | 200 |3130 | 200 | 245 | 14M| 0 | 19k|-3.783333e+01 |-2.900000e+01 | 23.35%
902.03/902.06 c 902s| 1650k|155440 | 22268k| 13.5 | 540M| 96 | - | 200 |3130 | 200 | 214 | 14M| 0 | 19k|-3.781818e+01 |-2.900000e+01 | 23.32%
906.92/906.97 c 907s| 1660k|155904 | 22383k| 13.5 | 542M| 96 | 17 | 200 |3130 | 200 | 253 | 15M| 0 | 19k|-3.780000e+01 |-2.900000e+01 | 23.28%
911.83/911.82 c 912s| 1670k|156400 | 22497k| 13.5 | 543M| 96 | - | 200 |3130 | 200 | 213 | 15M| 0 | 19k|-3.778571e+01 |-2.900000e+01 | 23.25%
916.62/916.62 c 917s| 1680k|156806 | 22608k| 13.5 | 545M| 96 | 26 | 200 |3130 | 200 | 199 | 15M| 0 | 19k|-3.775000e+01 |-2.900000e+01 | 23.18%
921.32/921.39 c 921s| 1690k|157216 | 22720k| 13.4 | 546M| 96 | - | 200 |3130 | 200 | 242 | 15M| 0 | 19k|-3.775000e+01 |-2.900000e+01 | 23.18%
926.33/926.30 c 926s| 1700k|157650 | 22836k| 13.4 | 548M| 96 | 13 | 200 |3130 | 200 | 215 | 15M| 0 | 20k|-3.775000e+01 |-2.900000e+01 | 23.18%
931.13/931.11 c 931s| 1710k|158096 | 22947k| 13.4 | 550M| 100 | - | 200 |3130 | 200 | 233 | 15M| 0 | 20k|-3.775000e+01 |-2.900000e+01 | 23.18%
935.93/935.98 c 936s| 1720k|158526 | 23062k| 13.4 | 551M| 100 | 56 | 200 |3130 | 200 | 225 | 15M| 0 | 20k|-3.772727e+01 |-2.900000e+01 | 23.13%
940.82/940.86 c 941s| 1730k|158942 | 23176k| 13.4 | 553M| 100 | - | 200 |3130 | 200 | 245 | 15M| 0 | 20k|-3.770000e+01 |-2.900000e+01 | 23.08%
945.62/945.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.62/945.65 c 946s| 1740k|159272 | 23287k| 13.4 | 554M| 100 | - | 200 |3130 | 200 | 215 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
950.52/950.52 c 951s| 1750k|159704 | 23400k| 13.4 | 556M| 100 | 20 | 200 |3130 | 200 | 241 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
955.32/955.32 c 955s| 1760k|160104 | 23512k| 13.4 | 557M| 100 | - | 200 |3130 | 200 | 214 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
960.12/960.15 c 960s| 1770k|160598 | 23624k| 13.3 | 559M| 100 | 58 | 200 |3130 | 200 | 234 | 15M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
964.92/964.99 c 965s| 1780k|161074 | 23737k| 13.3 | 560M| 100 | - | 200 |3130 | 200 | 210 | 16M| 0 | 20k|-3.766667e+01 |-2.900000e+01 | 23.01%
969.83/969.85 c 970s| 1790k|161418 | 23850k| 13.3 | 562M| 100 | 27 | 200 |3130 | 200 | 210 | 16M| 0 | 20k|-3.764815e+01 |-2.900000e+01 | 22.97%
974.63/974.67 c 975s| 1800k|161830 | 23961k| 13.3 | 563M| 100 | - | 200 |3130 | 200 | 221 | 16M| 0 | 20k|-3.762500e+01 |-2.900000e+01 | 22.92%
979.42/979.40 c 979s| 1810k|162264 | 24071k| 13.3 | 565M| 100 | - | 200 |3130 | 200 | 275 | 16M| 0 | 20k|-3.760000e+01 |-2.900000e+01 | 22.87%
984.12/984.18 c 984s| 1820k|162704 | 24182k| 13.3 | 566M| 100 | 23 | 200 |3130 | 200 | 214 | 16M| 0 | 20k|-3.758824e+01 |-2.900000e+01 | 22.85%
988.93/988.98 c 989s| 1830k|163082 | 24293k| 13.3 | 568M| 100 | - | 200 |3130 | 200 | 220 | 16M| 0 | 20k|-3.757143e+01 |-2.900000e+01 | 22.81%
993.83/993.84 c 994s| 1840k|163410 | 24405k| 13.3 | 569M| 100 | 52 | 200 |3130 | 200 | 229 | 16M| 0 | 20k|-3.753333e+01 |-2.900000e+01 | 22.74%
998.74/998.75 c 999s| 1850k|163838 | 24519k| 13.2 | 571M| 100 | 38 | 200 |3130 | 200 | 230 | 16M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
1003.52/1003.51 c 1004s| 1860k|164224 | 24629k| 13.2 | 572M| 100 | 47 | 200 |3130 | 200 | 212 | 16M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
1008.33/1008.33 c 1008s| 1870k|164694 | 24741k| 13.2 | 574M| 100 | 14 | 200 |3130 | 200 | 216 | 16M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
1013.14/1013.13 c 1013s| 1880k|165072 | 24853k| 13.2 | 575M| 100 | - | 200 |3130 | 200 | 215 | 16M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
1017.93/1017.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.93/1017.91 c 1018s| 1890k|165460 | 24963k| 13.2 | 576M| 100 | 50 | 200 |3130 | 200 | 240 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1022.63/1022.69 c 1023s| 1900k|165844 | 25074k| 13.2 | 578M| 100 | 42 | 200 |3130 | 200 | 230 | 16M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1027.43/1027.44 c 1027s| 1910k|166186 | 25183k| 13.2 | 579M| 100 | - | 200 |3130 | 200 | 227 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1032.22/1032.27 c 1032s| 1920k|166614 | 25296k| 13.2 | 581M| 100 | - | 200 |3130 | 200 | 228 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1037.03/1037.03 c 1037s| 1930k|166986 | 25406k| 13.2 | 582M| 100 | 44 | 200 |3130 | 200 | 214 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1041.83/1041.82 c 1042s| 1940k|167480 | 25517k| 13.1 | 584M| 103 | 23 | 200 |3130 | 200 | 214 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1046.63/1046.63 c 1047s| 1950k|167836 | 25628k| 13.1 | 585M| 103 | - | 200 |3130 | 200 | 241 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1051.33/1051.37 c 1051s| 1960k|168138 | 25737k| 13.1 | 586M| 103 | - | 200 |3130 | 200 | 215 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1056.13/1056.12 c 1056s| 1970k|168490 | 25848k| 13.1 | 588M| 103 | - | 200 |3130 | 200 | 232 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1060.93/1060.91 c 1061s| 1980k|168842 | 25958k| 13.1 | 589M| 103 | - | 200 |3130 | 200 | 208 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1065.73/1065.72 c 1066s| 1990k|169280 | 26069k| 13.1 | 590M| 103 | - | 200 |3130 | 200 | 237 | 17M| 0 | 21k|-3.750000e+01 |-2.900000e+01 | 22.67%
1070.53/1070.58 c 1071s| 2000k|169672 | 26182k| 13.1 | 592M| 103 | 50 | 200 |3130 | 200 | 199 | 17M| 0 | 21k|-3.745455e+01 |-2.900000e+01 | 22.57%
1075.33/1075.37 c 1075s| 2010k|169990 | 26292k| 13.1 | 593M| 103 | - | 200 |3130 | 200 | 225 | 17M| 0 | 21k|-3.742857e+01 |-2.900000e+01 | 22.52%
1080.24/1080.20 c 1080s| 2020k|170346 | 26403k| 13.1 | 594M| 103 | - | 200 |3130 | 200 | 214 | 17M| 0 | 21k|-3.740000e+01 |-2.900000e+01 | 22.46%
1084.92/1084.94 c 1085s| 2030k|170756 | 26512k| 13.1 | 596M| 103 | - | 200 |3130 | 200 | 273 | 18M| 0 | 21k|-3.740000e+01 |-2.900000e+01 | 22.46%
1089.73/1089.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.73/1089.73 c 1090s| 2040k|171152 | 26622k| 13.0 | 597M| 103 | - | 200 |3130 | 200 | 231 | 18M| 0 | 21k|-3.737500e+01 |-2.900000e+01 | 22.41%
1094.54/1094.51 c 1095s| 2050k|171534 | 26731k| 13.0 | 599M| 103 | 59 | 200 |3130 | 200 | 237 | 18M| 0 | 21k|-3.735000e+01 |-2.900000e+01 | 22.36%
1099.33/1099.30 c 1099s| 2060k|171928 | 26843k| 13.0 | 600M| 103 | 56 | 200 |3130 | 200 | 250 | 18M| 0 | 21k|-3.733333e+01 |-2.900000e+01 | 22.32%
1104.03/1104.09 c 1104s| 2070k|172350 | 26953k| 13.0 | 602M| 103 | - | 200 |3130 | 200 | 254 | 18M| 0 | 21k|-3.733333e+01 |-2.900000e+01 | 22.32%
1108.93/1108.90 c 1109s| 2080k|172726 | 27064k| 13.0 | 603M| 103 | - | 200 |3130 | 200 | 235 | 18M| 0 | 22k|-3.733333e+01 |-2.900000e+01 | 22.32%
1113.63/1113.66 c 1114s| 2090k|173060 | 27174k| 13.0 | 605M| 103 | 38 | 200 |3130 | 200 | 229 | 18M| 0 | 22k|-3.733333e+01 |-2.900000e+01 | 22.32%
1118.43/1118.43 c 1118s| 2100k|173438 | 27282k| 13.0 | 606M| 103 | 20 | 200 |3130 | 200 | 245 | 18M| 0 | 22k|-3.731034e+01 |-2.900000e+01 | 22.27%
1123.24/1123.20 c 1123s| 2110k|173756 | 27391k| 13.0 | 607M| 103 | - | 200 |3130 | 200 | 240 | 18M| 0 | 22k|-3.729167e+01 |-2.900000e+01 | 22.23%
1127.84/1127.86 c 1128s| 2120k|174084 | 27497k| 13.0 | 608M| 103 | - | 200 |3130 | 200 | 234 | 18M| 0 | 22k|-3.727143e+01 |-2.900000e+01 | 22.19%
1132.53/1132.56 c 1133s| 2130k|174344 | 27603k| 13.0 | 609M| 103 | 56 | 200 |3130 | 200 | 241 | 18M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1137.23/1137.26 c 1137s| 2140k|174710 | 27711k| 12.9 | 611M| 103 | 7 | 200 |3130 | 200 | 213 | 18M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1142.03/1142.01 c 1142s| 2150k|175020 | 27820k| 12.9 | 612M| 103 | - | 200 |3130 | 200 | 232 | 18M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1146.83/1146.82 c 1147s| 2160k|175420 | 27931k| 12.9 | 613M| 103 | 17 | 200 |3130 | 200 | 230 | 19M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1151.43/1151.47 c 1151s| 2170k|175702 | 28037k| 12.9 | 615M| 103 | - | 200 |3130 | 200 | 215 | 19M| 0 | 22k|-3.725000e+01 |-2.900000e+01 | 22.15%
1156.24/1156.23 c 1156s| 2180k|176104 | 28146k| 12.9 | 616M| 103 | - | 200 |3130 | 200 | 250 | 19M| 0 | 22k|-3.721429e+01 |-2.900000e+01 | 22.07%
1161.03/1161.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.03/1161.01 c 1161s| 2190k|176428 | 28255k| 12.9 | 617M| 103 | 29 | 200 |3130 | 200 | 232 | 19M| 0 | 22k|-3.720000e+01 |-2.900000e+01 | 22.04%
1165.73/1165.73 c 1166s| 2200k|176768 | 28363k| 12.9 | 619M| 103 | - | 200 |3130 | 200 | 229 | 19M| 0 | 22k|-3.718750e+01 |-2.900000e+01 | 22.02%
1170.44/1170.42 c 1170s| 2210k|177086 | 28470k| 12.9 | 620M| 103 | - | 200 |3130 | 200 | 262 | 19M| 0 | 22k|-3.716667e+01 |-2.900000e+01 | 21.97%
1175.13/1175.16 c 1175s| 2220k|177438 | 28578k| 12.9 | 621M| 103 | - | 200 |3130 | 200 | 232 | 19M| 0 | 22k|-3.716667e+01 |-2.900000e+01 | 21.97%
1179.83/1179.84 c 1180s| 2230k|177762 | 28685k| 12.9 | 622M| 103 | 48 | 200 |3130 | 200 | 254 | 19M| 0 | 22k|-3.715385e+01 |-2.900000e+01 | 21.95%
1184.53/1184.59 c 1185s| 2240k|178100 | 28793k| 12.8 | 624M| 103 | - | 200 |3130 | 200 | 246 | 19M| 0 | 22k|-3.712500e+01 |-2.900000e+01 | 21.89%
1189.23/1189.25 c 1189s| 2250k|178394 | 28899k| 12.8 | 625M| 103 | 18 | 200 |3130 | 200 | 213 | 19M| 0 | 22k|-3.712500e+01 |-2.900000e+01 | 21.89%
1193.93/1193.98 c 1194s| 2260k|178696 | 29008k| 12.8 | 626M| 103 | 53 | 200 |3130 | 200 | 215 | 19M| 0 | 22k|-3.710000e+01 |-2.900000e+01 | 21.83%
1198.74/1198.74 c 1199s| 2270k|178974 | 29116k| 12.8 | 627M| 103 | 6 | 200 |3130 | 200 | 222 | 19M| 0 | 22k|-3.707273e+01 |-2.900000e+01 | 21.78%
1203.54/1203.51 c 1204s| 2280k|179306 | 29226k| 12.8 | 628M| 103 | - | 200 |3130 | 200 | 231 | 20M| 0 | 22k|-3.702198e+01 |-2.900000e+01 | 21.67%
1208.24/1208.20 c 1208s| 2290k|179642 | 29334k| 12.8 | 630M| 103 | - | 200 |3130 | 200 | 215 | 20M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1212.84/1212.89 c 1213s| 2300k|179958 | 29441k| 12.8 | 631M| 103 | 39 | 200 |3130 | 200 | 227 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1217.64/1217.62 c 1218s| 2310k|180262 | 29548k| 12.8 | 632M| 103 | - | 200 |3130 | 200 | 227 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1222.23/1222.24 c 1222s| 2320k|180486 | 29653k| 12.8 | 633M| 103 | - | 200 |3130 | 200 | 226 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1226.93/1226.97 c 1227s| 2330k|180772 | 29760k| 12.8 | 634M| 103 | 15 | 200 |3130 | 200 | 220 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1231.64/1231.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.64/1231.61 c 1232s| 2340k|181144 | 29866k| 12.8 | 636M| 103 | 29 | 200 |3130 | 200 | 224 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1236.34/1236.31 c 1236s| 2350k|181484 | 29974k| 12.7 | 637M| 104 | - | 200 |3130 | 200 | 239 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1240.93/1240.99 c 1241s| 2360k|181798 | 30079k| 12.7 | 638M| 104 | 52 | 200 |3130 | 200 | 250 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1245.74/1245.72 c 1246s| 2370k|182218 | 30188k| 12.7 | 639M| 104 | 38 | 200 |3130 | 200 | 214 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1250.44/1250.47 c 1250s| 2380k|182580 | 30298k| 12.7 | 641M| 104 | - | 200 |3130 | 200 | 247 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1255.23/1255.20 c 1255s| 2390k|182962 | 30406k| 12.7 | 642M| 104 | 49 | 200 |3130 | 200 | 211 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1259.83/1259.82 c 1260s| 2400k|183316 | 30511k| 12.7 | 643M| 104 | 47 | 200 |3130 | 200 | 240 | 20M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1264.53/1264.54 c 1265s| 2410k|183678 | 30619k| 12.7 | 645M| 104 | 23 | 200 |3130 | 200 | 210 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1269.24/1269.23 c 1269s| 2420k|183948 | 30724k| 12.7 | 646M| 104 | - | 200 |3130 | 200 | 241 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1273.84/1273.89 c 1274s| 2430k|184294 | 30830k| 12.7 | 647M| 104 | 23 | 200 |3130 | 200 | 217 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1278.54/1278.51 c 1279s| 2440k|184614 | 30935k| 12.7 | 648M| 104 | 19 | 200 |3130 | 200 | 221 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1283.23/1283.26 c 1283s| 2450k|185020 | 31043k| 12.7 | 650M| 104 | 6 | 200 |3130 | 200 | 214 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1287.84/1287.86 c 1288s| 2460k|185314 | 31147k| 12.7 | 651M| 104 | 48 | 200 |3130 | 200 | 227 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1292.55/1292.58 c 1293s| 2470k|185622 | 31254k| 12.6 | 652M| 104 | - | 200 |3130 | 200 | 216 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1297.23/1297.22 c 1297s| 2480k|185950 | 31359k| 12.6 | 653M| 104 | - | 200 |3130 | 200 | 230 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1301.93/1301.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.93/1301.92 c 1302s| 2490k|186278 | 31466k| 12.6 | 654M| 104 | 49 | 200 |3130 | 200 | 224 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1306.63/1306.60 c 1307s| 2500k|186608 | 31573k| 12.6 | 656M| 104 | 51 | 200 |3130 | 200 | 252 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1311.24/1311.26 c 1311s| 2510k|186982 | 31680k| 12.6 | 657M| 104 | 25 | 200 |3130 | 200 | 237 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1315.93/1315.93 c 1316s| 2520k|187344 | 31785k| 12.6 | 658M| 104 | 46 | 200 |3130 | 200 | 214 | 21M| 0 | 23k|-3.700000e+01 |-2.900000e+01 | 21.62%
1320.74/1320.74 c 1321s| 2530k|187728 | 31895k| 12.6 | 660M| 104 | 49 | 200 |3130 | 200 | 226 | 21M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1325.34/1325.38 c 1325s| 2540k|187986 | 32000k| 12.6 | 661M| 104 | - | 200 |3130 | 200 | 241 | 22M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1330.03/1330.06 c 1330s| 2550k|188338 | 32107k| 12.6 | 662M| 104 | - | 200 |3130 | 200 | 234 | 22M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1334.74/1334.71 c 1335s| 2560k|188658 | 32211k| 12.6 | 663M| 104 | 19 | 200 |3130 | 200 | 199 | 22M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1339.44/1339.40 c 1339s| 2570k|188974 | 32318k| 12.6 | 664M| 104 | - | 200 |3130 | 200 | 224 | 22M| 0 | 24k|-3.700000e+01 |-2.900000e+01 | 21.62%
1344.15/1344.10 c 1344s| 2580k|189250 | 32424k| 12.6 | 666M| 104 | 11 | 200 |3130 | 200 | 228 | 22M| 0 | 24k|-3.693750e+01 |-2.900000e+01 | 21.49%
1348.74/1348.70 c 1349s| 2590k|189554 | 32528k| 12.6 | 667M| 104 | 54 | 200 |3130 | 200 | 233 | 22M| 0 | 24k|-3.691304e+01 |-2.900000e+01 | 21.44%
1353.44/1353.44 c 1353s| 2600k|189874 | 32635k| 12.5 | 668M| 104 | 62 | 200 |3130 | 200 | 222 | 22M| 0 | 24k|-3.689474e+01 |-2.900000e+01 | 21.40%
1358.04/1358.09 c 1358s| 2610k|190196 | 32741k| 12.5 | 669M| 104 | - | 200 |3130 | 200 | 222 | 22M| 0 | 24k|-3.687500e+01 |-2.900000e+01 | 21.36%
1362.74/1362.75 c 1363s| 2620k|190474 | 32847k| 12.5 | 670M| 104 | - | 200 |3130 | 200 | 229 | 22M| 0 | 24k|-3.687500e+01 |-2.900000e+01 | 21.36%
1367.35/1367.38 c 1367s| 2630k|190730 | 32951k| 12.5 | 671M| 104 | 16 | 200 |3130 | 200 | 213 | 22M| 0 | 24k|-3.685714e+01 |-2.900000e+01 | 21.32%
1372.04/1372.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.04/1372.00 c 1372s| 2640k|190986 | 33054k| 12.5 | 672M| 104 | 11 | 200 |3130 | 200 | 226 | 22M| 0 | 24k|-3.683333e+01 |-2.900000e+01 | 21.27%
1376.74/1376.71 c 1377s| 2650k|191286 | 33161k| 12.5 | 673M| 104 | - | 200 |3130 | 200 | 243 | 22M| 0 | 24k|-3.683333e+01 |-2.900000e+01 | 21.27%
1381.34/1381.35 c 1381s| 2660k|191666 | 33266k| 12.5 | 675M| 104 | - | 200 |3130 | 200 | 233 | 22M| 0 | 24k|-3.683333e+01 |-2.900000e+01 | 21.27%
1386.04/1386.01 c 1386s| 2670k|191940 | 33373k| 12.5 | 676M| 104 | 55 | 200 |3130 | 200 | 239 | 23M| 0 | 24k|-3.680769e+01 |-2.900000e+01 | 21.21%
1390.64/1390.67 c 1391s| 2680k|192284 | 33478k| 12.5 | 677M| 104 | 23 | 200 |3130 | 200 | 250 | 23M| 0 | 24k|-3.680000e+01 |-2.900000e+01 | 21.20%
1395.24/1395.29 c 1395s| 2690k|192676 | 33582k| 12.5 | 678M| 104 | - | 200 |3130 | 200 | 242 | 23M| 0 | 24k|-3.680000e+01 |-2.900000e+01 | 21.20%
1400.05/1400.03 c 1400s| 2700k|193030 | 33690k| 12.5 | 680M| 104 | 46 | 200 |3130 | 200 | 223 | 23M| 0 | 24k|-3.677778e+01 |-2.900000e+01 | 21.15%
1404.65/1404.68 c 1405s| 2710k|193288 | 33794k| 12.5 | 681M| 104 | - | 200 |3130 | 200 | 231 | 23M| 0 | 24k|-3.675000e+01 |-2.900000e+01 | 21.09%
1409.24/1409.27 c 1409s| 2720k|193568 | 33899k| 12.5 | 682M| 104 | - | 200 |3130 | 200 | 243 | 23M| 0 | 24k|-3.675000e+01 |-2.900000e+01 | 21.09%
1413.84/1413.87 c 1414s| 2730k|193790 | 34001k| 12.5 | 683M| 104 | - | 200 |3130 | 200 | 223 | 23M| 0 | 24k|-3.675000e+01 |-2.900000e+01 | 21.09%
1418.44/1418.43 c 1418s| 2740k|194074 | 34104k| 12.4 | 684M| 104 | 18 | 200 |3130 | 200 | 227 | 23M| 0 | 24k|-3.675000e+01 |-2.900000e+01 | 21.09%
1423.04/1423.09 c 1423s| 2750k|194400 | 34207k| 12.4 | 685M| 105 | 44 | 200 |3130 | 200 | 227 | 23M| 0 | 25k|-3.675000e+01 |-2.900000e+01 | 21.09%
1427.64/1427.64 c 1428s| 2760k|194682 | 34309k| 12.4 | 686M| 105 | 10 | 200 |3130 | 200 | 227 | 23M| 0 | 25k|-3.675000e+01 |-2.900000e+01 | 21.09%
1432.24/1432.28 c 1432s| 2770k|195028 | 34414k| 12.4 | 687M| 105 | - | 200 |3130 | 200 | 224 | 23M| 0 | 25k|-3.675000e+01 |-2.900000e+01 | 21.09%
1436.94/1436.94 c 1437s| 2780k|195284 | 34518k| 12.4 | 688M| 105 | - | 200 |3130 | 200 | 225 | 23M| 0 | 25k|-3.673333e+01 |-2.900000e+01 | 21.05%
1441.44/1441.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.44/1441.49 c 1441s| 2790k|195552 | 34620k| 12.4 | 689M| 105 | - | 200 |3130 | 200 | 242 | 23M| 0 | 25k|-3.671429e+01 |-2.900000e+01 | 21.01%
1446.15/1446.11 c 1446s| 2800k|195848 | 34723k| 12.4 | 691M| 105 | 19 | 200 |3130 | 200 | 223 | 24M| 0 | 25k|-3.670000e+01 |-2.900000e+01 | 20.98%
1450.65/1450.68 c 1451s| 2810k|196014 | 34823k| 12.4 | 691M| 105 | - | 200 |3130 | 200 | 213 | 24M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1455.35/1455.31 c 1455s| 2820k|196300 | 34927k| 12.4 | 692M| 105 | - | 200 |3130 | 200 | 226 | 24M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1459.94/1459.90 c 1460s| 2830k|196654 | 35030k| 12.4 | 694M| 105 | 42 | 200 |3130 | 200 | 256 | 24M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1464.54/1464.54 c 1465s| 2840k|196870 | 35134k| 12.4 | 695M| 105 | 65 | 200 |3130 | 200 | 266 | 24M| 0 | 25k|-3.666667e+01 |-2.900000e+01 | 20.91%
1467.04/1467.05 o -30
1467.04/1467.05 c *1467s| 2845k|160521 | 35186k| 12.4 | 579M| 105 | - | 200 |3130 | 200 | 240 | 24M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1469.45/1469.44 c 1469s| 2850k|160562 | 35237k| 12.4 | 579M| 105 | - | 200 |3130 | 200 | 237 | 24M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1474.05/1474.06 c 1474s| 2860k|160538 | 35338k| 12.4 | 579M| 105 | 6 | 200 |3130 | 200 | 217 | 24M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1478.64/1478.69 c 1479s| 2870k|160578 | 35441k| 12.3 | 580M| 105 | - | 200 |3130 | 200 | 246 | 24M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1483.34/1483.33 c 1483s| 2880k|160654 | 35543k| 12.3 | 580M| 105 | - | 200 |3130 | 200 | 230 | 24M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1487.94/1487.96 c 1488s| 2890k|160686 | 35643k| 12.3 | 581M| 105 | - | 200 |3130 | 200 | 235 | 24M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1492.55/1492.51 c 1493s| 2900k|160686 | 35742k| 12.3 | 581M| 105 | 33 | 200 |3130 | 200 | 228 | 24M| 0 | 25k|-3.662500e+01 |-3.000000e+01 | 18.09%
1497.05/1497.03 c 1497s| 2910k|160690 | 35839k| 12.3 | 581M| 105 | - | 200 |3130 | 200 | 254 | 24M| 0 | 25k|-3.662500e+01 |-3.000000e+01 | 18.09%
1501.55/1501.50 c 1502s| 2920k|160614 | 35934k| 12.3 | 582M| 105 | 34 | 200 |3130 | 200 | 223 | 24M| 0 | 25k|-3.660000e+01 |-3.000000e+01 | 18.03%
1506.04/1506.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.04/1506.09 c 1506s| 2930k|160610 | 36034k| 12.3 | 582M| 105 | 33 | 200 |3130 | 200 | 217 | 24M| 0 | 25k|-3.660000e+01 |-3.000000e+01 | 18.03%
1510.65/1510.62 c 1511s| 2940k|160602 | 36133k| 12.3 | 582M| 105 | 29 | 200 |3130 | 200 | 214 | 25M| 0 | 25k|-3.660000e+01 |-3.000000e+01 | 18.03%
1515.15/1515.20 c 1515s| 2950k|160570 | 36232k| 12.3 | 582M| 105 | - | 200 |3130 | 200 | 222 | 25M| 0 | 25k|-3.657143e+01 |-3.000000e+01 | 17.97%
1519.74/1519.72 c 1520s| 2960k|160544 | 36329k| 12.3 | 583M| 105 | 8 | 200 |3130 | 200 | 214 | 25M| 0 | 25k|-3.656250e+01 |-3.000000e+01 | 17.95%
1524.24/1524.24 c 1524s| 2970k|160536 | 36426k| 12.3 | 583M| 105 | - | 200 |3130 | 200 | 211 | 25M| 0 | 25k|-3.653846e+01 |-3.000000e+01 | 17.89%
1528.74/1528.79 c 1529s| 2980k|160514 | 36524k| 12.3 | 583M| 105 | - | 200 |3130 | 200 | 250 | 25M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1533.36/1533.37 c 1533s| 2990k|160598 | 36625k| 12.2 | 584M| 105 | 60 | 200 |3130 | 200 | 255 | 25M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1537.85/1537.83 c 1538s| 3000k|160602 | 36723k| 12.2 | 584M| 105 | 52 | 200 |3130 | 200 | 211 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1542.34/1542.35 c 1542s| 3010k|160548 | 36821k| 12.2 | 584M| 105 | 37 | 200 |3130 | 200 | 214 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1546.84/1546.88 c 1547s| 3020k|160504 | 36919k| 12.2 | 584M| 105 | - | 200 |3130 | 200 | 252 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1551.35/1551.38 c 1551s| 3030k|160534 | 37017k| 12.2 | 585M| 105 | - | 200 |3130 | 200 | 252 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1555.85/1555.88 c 1556s| 3040k|160496 | 37113k| 12.2 | 585M| 105 | - | 200 |3130 | 200 | 247 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1560.35/1560.33 c 1560s| 3050k|160536 | 37209k| 12.2 | 585M| 105 | 72 | 200 |3130 | 200 | 211 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1564.74/1564.79 c 1565s| 3060k|160530 | 37304k| 12.2 | 586M| 105 | 6 | 200 |3130 | 200 | 217 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1569.25/1569.27 c 1569s| 3070k|160528 | 37401k| 12.2 | 586M| 105 | 39 | 200 |3130 | 200 | 214 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1573.75/1573.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.75/1573.77 c 1574s| 3080k|160538 | 37498k| 12.2 | 586M| 105 | - | 200 |3130 | 200 | 252 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1578.25/1578.25 c 1578s| 3090k|160552 | 37595k| 12.2 | 587M| 105 | - | 200 |3130 | 200 | 235 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1582.75/1582.77 c 1583s| 3100k|160558 | 37692k| 12.2 | 587M| 105 | 53 | 200 |3130 | 200 | 211 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1587.25/1587.28 c 1587s| 3110k|160564 | 37790k| 12.1 | 587M| 105 | - | 200 |3130 | 200 | 219 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1591.76/1591.72 c 1592s| 3120k|160558 | 37886k| 12.1 | 588M| 105 | - | 200 |3130 | 200 | 243 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1596.25/1596.27 c 1596s| 3130k|160564 | 37985k| 12.1 | 588M| 105 | 44 | 200 |3130 | 200 | 228 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1600.75/1600.79 c 1601s| 3140k|160608 | 38083k| 12.1 | 588M| 105 | - | 200 |3130 | 200 | 226 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1605.25/1605.24 c 1605s| 3150k|160594 | 38179k| 12.1 | 589M| 105 | 32 | 200 |3130 | 200 | 218 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1609.65/1609.69 c 1610s| 3160k|160614 | 38275k| 12.1 | 589M| 105 | 18 | 200 |3130 | 200 | 215 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1614.25/1614.29 c 1614s| 3170k|160668 | 38376k| 12.1 | 590M| 105 | 6 | 200 |3130 | 200 | 227 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1618.75/1618.79 c 1619s| 3180k|160646 | 38473k| 12.1 | 590M| 105 | - | 200 |3130 | 200 | 227 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1623.25/1623.27 c 1623s| 3190k|160582 | 38568k| 12.1 | 590M| 105 | 19 | 200 |3130 | 200 | 233 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1627.65/1627.69 c 1628s| 3200k|160524 | 38664k| 12.1 | 590M| 105 | 39 | 200 |3130 | 200 | 239 | 26M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1632.15/1632.13 c 1632s| 3210k|160478 | 38758k| 12.1 | 590M| 105 | - | 200 |3130 | 200 | 236 | 27M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1636.55/1636.58 c 1637s| 3220k|160486 | 38854k| 12.1 | 591M| 105 | - | 200 |3130 | 200 | 234 | 27M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1641.05/1641.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.05/1641.06 c 1641s| 3230k|160506 | 38951k| 12.1 | 591M| 105 | - | 200 |3130 | 200 | 225 | 27M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1645.45/1645.48 c 1645s| 3240k|160500 | 39046k| 12.0 | 591M| 105 | - | 200 |3130 | 200 | 213 | 27M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1649.96/1649.95 c 1650s| 3250k|160504 | 39142k| 12.0 | 591M| 105 | 39 | 200 |3130 | 200 | 217 | 27M| 0 | 27k|-3.646154e+01 |-3.000000e+01 | 17.72%
1654.46/1654.41 c 1654s| 3260k|160466 | 39237k| 12.0 | 592M| 105 | - | 200 |3130 | 200 | 230 | 27M| 0 | 27k|-3.642857e+01 |-3.000000e+01 | 17.65%
1658.95/1658.90 c 1659s| 3270k|160448 | 39333k| 12.0 | 592M| 105 | 20 | 200 |3130 | 200 | 234 | 27M| 0 | 27k|-3.641667e+01 |-3.000000e+01 | 17.62%
1663.45/1663.40 c 1663s| 3280k|160478 | 39431k| 12.0 | 592M| 105 | 44 | 200 |3130 | 200 | 211 | 27M| 0 | 27k|-3.640000e+01 |-3.000000e+01 | 17.58%
1667.86/1667.89 c 1668s| 3290k|160472 | 39528k| 12.0 | 593M| 105 | 44 | 200 |3130 | 200 | 224 | 27M| 0 | 27k|-3.640000e+01 |-3.000000e+01 | 17.58%
1672.36/1672.38 c 1672s| 3300k|160456 | 39625k| 12.0 | 593M| 105 | - | 200 |3130 | 200 | 229 | 27M| 0 | 27k|-3.637500e+01 |-3.000000e+01 | 17.53%
1676.85/1676.82 c 1677s| 3310k|160418 | 39720k| 12.0 | 593M| 105 | - | 200 |3130 | 200 | 224 | 27M| 0 | 27k|-3.637500e+01 |-3.000000e+01 | 17.53%
1681.35/1681.33 c 1681s| 3320k|160384 | 39818k| 12.0 | 593M| 105 | - | 200 |3130 | 200 | 230 | 27M| 0 | 27k|-3.635000e+01 |-3.000000e+01 | 17.47%
1685.75/1685.78 c 1686s| 3330k|160358 | 39912k| 12.0 | 593M| 105 | 30 | 200 |3130 | 200 | 213 | 27M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1690.15/1690.16 c 1690s| 3340k|160326 | 40005k| 12.0 | 594M| 105 | - | 200 |3130 | 200 | 213 | 27M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1694.65/1694.68 c 1695s| 3350k|160350 | 40103k| 12.0 | 594M| 105 | - | 200 |3130 | 200 | 262 | 28M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1699.15/1699.14 c 1699s| 3360k|160346 | 40199k| 12.0 | 594M| 105 | - | 200 |3130 | 200 | 227 | 28M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1703.56/1703.56 c 1704s| 3370k|160398 | 40294k| 12.0 | 595M| 105 | - | 200 |3130 | 200 | 257 | 28M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1707.95/1707.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.95/1707.96 c 1708s| 3380k|160404 | 40388k| 11.9 | 595M| 105 | - | 200 |3130 | 200 | 257 | 28M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1712.45/1712.40 c 1712s| 3390k|160422 | 40482k| 11.9 | 595M| 105 | 50 | 200 |3130 | 200 | 220 | 28M| 0 | 27k|-3.633333e+01 |-3.000000e+01 | 17.43%
1716.85/1716.80 c 1717s| 3400k|160436 | 40576k| 11.9 | 596M| 105 | 58 | 200 |3130 | 200 | 241 | 28M| 0 | 27k|-3.632143e+01 |-3.000000e+01 | 17.40%
1721.25/1721.21 c 1721s| 3410k|160374 | 40669k| 11.9 | 596M| 105 | - | 200 |3130 | 200 | 243 | 28M| 0 | 27k|-3.630000e+01 |-3.000000e+01 | 17.36%
1725.66/1725.61 c 1726s| 3420k|160374 | 40763k| 11.9 | 596M| 105 | - | 200 |3130 | 200 | 213 | 28M| 0 | 27k|-3.628571e+01 |-3.000000e+01 | 17.32%
1729.95/1729.99 c 1730s| 3430k|160356 | 40856k| 11.9 | 596M| 105 | 5 | 200 |3130 | 200 | 210 | 28M| 0 | 27k|-3.625806e+01 |-3.000000e+01 | 17.26%
1734.35/1734.36 c 1734s| 3440k|160338 | 40948k| 11.9 | 596M| 105 | 24 | 200 |3130 | 200 | 231 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1738.86/1738.80 c 1739s| 3450k|160354 | 41042k| 11.9 | 597M| 105 | - | 200 |3130 | 200 | 228 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1743.25/1743.24 c 1743s| 3460k|160410 | 41139k| 11.9 | 597M| 105 | 22 | 200 |3130 | 200 | 228 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1747.65/1747.65 c 1748s| 3470k|160382 | 41233k| 11.9 | 597M| 105 | - | 200 |3130 | 200 | 251 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1752.06/1752.01 c 1752s| 3480k|160366 | 41325k| 11.9 | 598M| 105 | - | 200 |3130 | 200 | 209 | 28M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1756.46/1756.40 c 1756s| 3490k|160288 | 41417k| 11.9 | 598M| 105 | - | 200 |3130 | 200 | 221 | 29M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1760.76/1760.77 c 1761s| 3500k|160220 | 41510k| 11.9 | 598M| 105 | - | 200 |3130 | 200 | 211 | 29M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1765.16/1765.16 c 1765s| 3510k|160228 | 41603k| 11.8 | 598M| 105 | - | 200 |3130 | 200 | 232 | 29M| 0 | 27k|-3.623077e+01 |-3.000000e+01 | 17.20%
1769.66/1769.61 c 1770s| 3520k|160164 | 41698k| 11.8 | 598M| 105 | 45 | 200 |3130 | 200 | 223 | 29M| 0 | 27k|-3.620000e+01 |-3.000000e+01 | 17.13%
1774.05/1774.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.05/1774.09 c 1774s| 3530k|160156 | 41794k| 11.8 | 598M| 105 | 43 | 200 |3130 | 200 | 212 | 29M| 0 | 27k|-3.620000e+01 |-3.000000e+01 | 17.13%
1778.55/1778.55 c 1779s| 3540k|160134 | 41889k| 11.8 | 599M| 105 | - | 200 |3130 | 200 | 269 | 29M| 0 | 28k|-3.618750e+01 |-3.000000e+01 | 17.10%
1782.95/1782.94 c 1783s| 3550k|160122 | 41982k| 11.8 | 599M| 105 | - | 200 |3130 | 200 | 243 | 29M| 0 | 28k|-3.616667e+01 |-3.000000e+01 | 17.05%
1787.35/1787.33 c 1787s| 3560k|160116 | 42076k| 11.8 | 599M| 105 | 42 | 200 |3130 | 200 | 228 | 29M| 0 | 28k|-3.616667e+01 |-3.000000e+01 | 17.05%
1791.87/1791.81 c 1792s| 3570k|160134 | 42172k| 11.8 | 599M| 105 | - | 200 |3130 | 200 | 217 | 29M| 0 | 28k|-3.616667e+01 |-3.000000e+01 | 17.05%
1796.26/1796.23 c 1796s| 3580k|160138 | 42265k| 11.8 | 600M| 105 | 14 | 200 |3130 | 200 | 214 | 29M| 0 | 28k|-3.614286e+01 |-3.000000e+01 | 17.00%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 3581788
1797.05/1797.00 c Primal Bound : -3.00000000000000e+01 (638 solutions)
1797.05/1797.00 c Dual Bound : -3.61428571428571e+01
1797.05/1797.00 c Gap : 17.00 %
1797.05/1797.00 s SATISFIABLE
1797.05/1797.00 v x200 -x199 x198 -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179
1797.05/1797.00 v -x178 -x177 -x176 -x175 x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x162 -x161 -x160 -x159 -x158 -x157
1797.05/1797.00 v x156 -x155 -x154 -x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1797.05/1797.00 v -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1797.05/1797.00 v -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1797.05/1797.00 v -x91 -x90 -x89 x88 x87 x86 x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1797.05/1797.00 v -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40
1797.05/1797.00 v -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14
1797.05/1797.00 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.07 (included in solving)
1797.05/1797.00 c reading : 0.02 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3488585-1307783374.opb
1797.05/1797.00 c Variables : 3330 (3330 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 3530 initial, 3530 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3488585-1307783374.opb
1797.05/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 3130 initial, 3130 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.01 3130 0 0 3130 0 200 0 0 0
1797.05/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 2956428 0 713743 0 228 1861 0 0 3785050
1797.05/1797.00 c setppc : 3130 69 5812233 1062860 2 713739 0 15 19738659 29707890 0 0
1797.05/1797.00 c countsols : 0 0 0 7 2 633 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 37.99 0.00 0.00 37.83 0.00 0.16 0.00
1797.05/1797.00 c setppc : 128.55 0.04 58.50 26.47 0.00 43.54 0.00
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 9 0 0 0
1797.05/1797.00 c pseudoobj : 5816851 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 1.08 1.08 0.00
1797.05/1797.00 c rootredcost : 1.07 1.07 0.00
1797.05/1797.00 c pseudoobj : 25.80 25.80 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.00 15 0 0 0.0 0 0.0 -
1797.05/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 0 0.0 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.08 68 - - 175 - (maximal pool size: 3467)
1797.05/1797.00 c redcost : 16.53 3199647 0 467526 0 0
1797.05/1797.00 c impliedbounds : 0.01 69 0 0 1289 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 1.77 69 0 0 10664 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.33 20 0 0 9054 0
1797.05/1797.00 c cmir : 0.07 10 0 0 0 0
1797.05/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.05/1797.00 c clique : 0.16 69 0 0 597 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 36.54 1893568 228 1861 0 0 3785050
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.22 - 7
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c feaspump : 0.08 0 0
1797.05/1797.00 c intshifting : 0.04 0 0
1797.05/1797.00 c oneopt : 0.80 9 0
1797.05/1797.00 c crossover : 1.82 44 32
1797.05/1797.00 c pscostdiving : 0.31 305 4
1797.05/1797.00 c guideddiving : 0.35 305 2
1797.05/1797.00 c objpscostdiving : 0.16 153 6
1797.05/1797.00 c rootsoldiving : 0.37 153 1
1797.05/1797.00 c coefdiving : 0.31 306 2
1797.05/1797.00 c fracdiving : 0.33 306 4
1797.05/1797.00 c veclendiving : 0.27 306 2
1797.05/1797.00 c linesearchdiving : 0.32 306 2
1797.05/1797.00 c trivial : 0.00 2 1
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 54.66 1895862 562
1797.05/1797.00 c zirounding : 0.65 1000 8
1797.05/1797.00 c rounding : 5.29 92037 2
1797.05/1797.00 c shifting : 1.46 21553 2
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.01 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.01 1 0
1797.05/1797.00 c subnlp : 0.56 0 0
1797.05/1797.00 c trysol : 0.84 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 36.39 0 0 0.00 0.00
1797.05/1797.00 c dual LP : 1114.88 4650486 42255943 9.09 37901.75
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 1.12 5586 26746 4.79 23783.25
1797.05/1797.00 c strong branching : 16.55 28142 428328 15.22 25884.49
1797.05/1797.00 c (at root node) : - 18 11978 665.44 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 3581788
1797.05/1797.00 c nodes (total) : 3581788
1797.05/1797.00 c nodes left : 160140
1797.05/1797.00 c max depth : 105
1797.05/1797.00 c max depth (total): 105
1797.05/1797.00 c backtracks : 428485 (12.0%)
1797.05/1797.00 c delayed cutoffs : 0
1797.05/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.00 c avg switch length: 5.51
1797.05/1797.00 c switching time : 164.64
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 638 (14 improvements)
1797.05/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.05/1797.00 c Primal Bound : -3.00000000000000e+01 (in run 1, after 2845059 nodes, 1466.85 seconds, depth 55, found by <relaxation>)
1797.05/1797.00 c Dual Bound : -3.61428571428571e+01
1797.05/1797.00 c Gap : 17.00 %
1797.05/1797.00 c Root Dual Bound : -4.91682898530533e+01
1797.05/1797.00 c Root Iterations : 11936
1798.05/1798.03 c Time complete: 1798.09.
OK -30
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488585-1307783374/watcher-3488585-1307783374 -o /tmp/evaluation-result-3488585-1307783374/solver-3488585-1307783374 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488585-1307783374.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.91 3/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=12560 CPUtime=0 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 2125 0 0 0 0 0 0 0 19 0 1 0 968568091 12861440 2079 33554432000 4194304 9016284 140735115828848 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/8743/statm: 3140 2083 353 1178 0 1958 0 [startup+0.0458181 s] /proc/loadavg: 1.92 1.98 1.91 3/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=27996 CPUtime=0.04 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 6019 0 0 0 4 0 0 0 19 0 1 0 968568091 28667904 5716 33554432000 4194304 9016284 140735115828848 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 6999 5716 480 1178 0 5817 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27996 [startup+0.100813 s] /proc/loadavg: 1.92 1.98 1.91 3/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=31228 CPUtime=0.09 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 6840 0 0 0 9 0 0 0 19 0 1 0 968568091 31977472 6537 33554432000 4194304 9016284 140735115828848 18446744073709551615 4329922 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 7807 6537 521 1178 0 6625 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31228 [startup+0.30077 s] /proc/loadavg: 1.92 1.98 1.91 3/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=38220 CPUtime=0.29 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 15375 0 0 0 27 2 0 0 20 0 1 0 968568091 39137280 8526 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 9555 8526 690 1178 0 8373 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38220 [startup+0.700692 s] /proc/loadavg: 1.92 1.98 1.91 3/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=43388 CPUtime=0.69 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 16586 0 0 0 65 4 0 0 21 0 1 0 968568091 44429312 9735 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 10847 9735 689 1178 0 9665 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43388 [startup+1.50056 s] /proc/loadavg: 1.92 1.98 1.91 4/178 8745 /proc/meminfo: memFree=31175656/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=54500 CPUtime=1.49 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 19520 0 0 0 142 7 0 0 23 0 1 0 968568091 55808000 12598 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 13625 12598 692 1178 0 12443 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 54500 [startup+3.10025 s] /proc/loadavg: 2.01 2.00 1.92 4/178 8745 /proc/meminfo: memFree=31154740/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=60376 CPUtime=3.09 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 21023 0 0 0 296 13 0 0 25 0 1 0 968568091 61825024 14085 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 15094 14085 692 1178 0 13912 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60376 [startup+6.30064 s] /proc/loadavg: 2.01 2.00 1.92 3/178 8745 /proc/meminfo: memFree=31145784/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=60240 CPUtime=6.29 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 22863 0 0 0 588 41 0 0 25 0 1 0 968568091 61685760 14092 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 15060 14092 698 1178 0 13878 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60240 [startup+12.7004 s] /proc/loadavg: 2.08 2.02 1.93 3/178 8745 /proc/meminfo: memFree=31134800/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=65036 CPUtime=12.69 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 41374 0 0 0 1149 120 0 0 25 0 1 0 968568091 66596864 15303 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 16259 15303 704 1178 0 15077 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65036 [startup+25.501 s] /proc/loadavg: 2.07 2.02 1.93 3/178 8745 /proc/meminfo: memFree=31108272/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=80328 CPUtime=25.49 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 66116 0 0 0 2261 288 0 0 25 0 1 0 968568091 82255872 19000 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 20082 19000 704 1178 0 18900 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 80328 [startup+51.1002 s] /proc/loadavg: 2.04 2.01 1.93 3/178 8746 /proc/meminfo: memFree=31083044/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=105820 CPUtime=51.09 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 97180 0 0 0 4467 642 0 0 25 0 1 0 968568091 108359680 25448 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 26455 25448 704 1178 0 25273 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 105820 [startup+102.307 s] /proc/loadavg: 2.02 2.01 1.93 3/178 8747 /proc/meminfo: memFree=31039708/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=162144 CPUtime=102.3 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 142595 0 0 0 8912 1318 0 0 25 0 1 0 968568091 166035456 39243 33554432000 4194304 9016284 140735115828848 18446744073709551615 7829200 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 40536 39243 704 1178 0 39354 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 162144 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 8749 /proc/meminfo: memFree=30990780/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=199008 CPUtime=162.29 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 159083 0 0 0 14118 2111 0 0 25 0 1 0 968568091 203784192 48765 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 49752 48765 704 1178 0 48570 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 199008 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 8751 /proc/meminfo: memFree=30938360/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=245324 CPUtime=222.3 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 174229 0 0 0 19306 2924 0 0 25 0 1 0 968568091 251211776 60401 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 61331 60401 704 1178 0 60149 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 245324 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 8752 /proc/meminfo: memFree=30886436/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=291172 CPUtime=282.3 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 185232 0 0 0 24518 3712 0 0 25 0 1 0 968568091 298160128 71404 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 72793 71404 704 1178 0 71611 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 291172 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 8754 /proc/meminfo: memFree=30833040/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=327692 CPUtime=342.31 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 197927 0 0 0 29727 4504 0 0 25 0 1 0 968568091 335556608 80578 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 81923 80578 704 1178 0 80741 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 327692 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 4/178 8755 /proc/meminfo: memFree=30779756/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=362316 CPUtime=402.3 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 206633 0 0 0 34944 5286 0 0 25 0 1 0 968568091 371011584 89284 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 90579 89284 704 1178 0 89397 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 362316 [startup+462.301 s] /proc/loadavg: 2.10 2.03 1.94 3/178 8757 /proc/meminfo: memFree=30726712/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=397388 CPUtime=462.31 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 215436 0 0 0 40183 6048 0 0 25 0 1 0 968568091 406925312 98087 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 99347 98087 704 1178 0 98165 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 397388 [startup+522.301 s] /proc/loadavg: 2.03 2.02 1.94 3/178 8759 /proc/meminfo: memFree=30673844/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=427200 CPUtime=522.31 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 222931 0 0 0 45402 6829 0 0 25 0 1 0 968568091 437452800 105582 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 106800 105582 704 1178 0 105618 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 427200 [startup+582.301 s] /proc/loadavg: 2.01 2.02 1.94 3/178 8760 /proc/meminfo: memFree=30621540/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=458096 CPUtime=582.31 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 234222 0 0 0 50630 7601 0 0 25 0 1 0 968568091 469090304 113336 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 114524 113336 704 1178 0 113342 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 458096 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30182088/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=648004 CPUtime=1122.33 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 285479 0 0 0 97909 14324 0 0 25 0 1 0 968568091 663556096 161031 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 162001 161031 704 1178 0 160819 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 648004 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8776 /proc/meminfo: memFree=30136652/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=662468 CPUtime=1182.34 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 289124 0 0 0 103191 15043 0 0 25 0 1 0 968568091 678367232 164676 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 165617 164676 704 1178 0 164435 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 662468 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8778 /proc/meminfo: memFree=30085988/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=678916 CPUtime=1242.33 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 293240 0 0 0 108458 15775 0 0 25 0 1 0 968568091 695209984 168792 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 169729 168792 704 1178 0 168547 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 678916 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 8779 /proc/meminfo: memFree=30041408/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=692756 CPUtime=1302.34 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 296724 0 0 0 113714 16520 0 0 25 0 1 0 968568091 709382144 172276 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 173189 172276 704 1178 0 172007 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 692756 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8781 /proc/meminfo: memFree=29997960/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=706628 CPUtime=1362.34 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 300204 0 0 0 118979 17255 0 0 25 0 1 0 968568091 723587072 175756 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 176657 175756 704 1178 0 175475 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 706628 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8783 /proc/meminfo: memFree=29948052/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=725380 CPUtime=1422.35 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 304901 0 0 0 124259 17976 0 0 25 0 1 0 968568091 742789120 180452 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 181345 180452 704 1178 0 180163 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 725380 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 8784 /proc/meminfo: memFree=29913896/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=738920 CPUtime=1482.34 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 332075 0 0 0 129544 18690 0 0 25 0 1 0 968568091 756654080 182900 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184730 182900 704 1178 0 183548 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 738920 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 1.95 3/178 8786 /proc/meminfo: memFree=29883448/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=738920 CPUtime=1542.34 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 339135 0 0 0 134843 19391 0 0 25 0 1 0 968568091 756654080 182867 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184730 182867 704 1178 0 183548 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 738920 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 1.95 4/178 8787 /proc/meminfo: memFree=29852400/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=738920 CPUtime=1602.35 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 342691 0 0 0 140134 20101 0 0 25 0 1 0 968568091 756654080 182903 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184730 182903 704 1178 0 183548 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 738920 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 1.95 3/178 8789 /proc/meminfo: memFree=29822820/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=738920 CPUtime=1662.35 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346248 0 0 0 145434 20801 0 0 25 0 1 0 968568091 756654080 182902 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184730 182902 704 1178 0 183548 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 738920 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.95 4/178 8791 /proc/meminfo: memFree=29792132/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=738920 CPUtime=1722.35 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346250 0 0 0 150730 21505 0 0 25 0 1 0 968568091 756654080 182904 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184730 182904 704 1178 0 183548 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 738920 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 8795 /proc/meminfo: memFree=29763652/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=739944 CPUtime=1782.35 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346437 0 0 0 156026 22209 0 0 25 0 1 0 968568091 757702656 183091 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184986 183091 704 1178 0 183804 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 739944 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.95 3/178 8795 /proc/meminfo: memFree=29762288/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=739944 CPUtime=1785.55 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346437 0 0 0 156308 22247 0 0 25 0 1 0 968568091 757702656 183091 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184986 183091 704 1178 0 183804 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 739944 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8795 /proc/meminfo: memFree=29759760/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=739944 CPUtime=1791.96 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346437 0 0 0 156874 22322 0 0 25 0 1 0 968568091 757702656 183091 33554432000 4194304 9016284 140735115828848 18446744073709551615 4347916 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184986 183091 704 1178 0 183804 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 739944 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.95 3/178 8796 /proc/meminfo: memFree=29755660/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=739944 CPUtime=1795.16 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346437 0 0 0 157157 22359 0 0 25 0 1 0 968568091 757702656 183091 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184986 183091 704 1178 0 183804 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 739944 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.95 3/178 8796 /proc/meminfo: memFree=29754544/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=739944 CPUtime=1796.75 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346437 0 0 0 157299 22376 0 0 25 0 1 0 968568091 757702656 183091 33554432000 4194304 9016284 140735115828848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/8743/statm: 184986 183091 704 1178 0 183804 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 739944 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8796 /proc/meminfo: memFree=29754420/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=739944 CPUtime=1797.55 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346439 0 0 0 157377 22378 0 0 18 0 1 0 968568091 757702656 183093 33554432000 4194304 9016284 140735115828848 18446744073709551615 4897711 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/8743/statm: 184986 183093 706 1178 0 183804 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 739944 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8796 /proc/meminfo: memFree=29754420/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=739944 CPUtime=1797.95 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346439 0 0 0 157417 22378 0 0 19 0 1 0 968568091 757702656 183093 33554432000 4194304 9016284 140735115828848 18446744073709551615 4839128 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/8743/statm: 184986 183093 706 1178 0 183804 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 739944 [startup+1798 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8796 /proc/meminfo: memFree=29754420/32950928 swapFree=67054844/67111528 [pid=8743] ppid=8739 vsize=728904 CPUtime=1798.05 cores=1,3,5,7 /proc/8743/stat : 8743 (scip-2.0.1.4b_2) R 8739 8743 8698 0 -1 4202496 346439 0 0 0 157427 22378 0 0 19 0 1 0 968568091 746397696 181367 33554432000 4194304 9016284 140735115828848 18446744073709551615 4538448 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/8743/statm: 182226 181367 706 1178 0 181044 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 728904 Child status: 0 Real time (s): 1798.03 CPU time (s): 1798.1 CPU user time (s): 1574.28 CPU system time (s): 223.821 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 739944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1574.28 system time used= 223.821 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 346444 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= 4 involuntary context switches= 4111 runsolver used 2.6506 second user time and 7.16891 second system time The end
Begin job on node114 at 2011-06-11 11:09:34 IDJOB=3488585 IDBENCH=48189 IDSOLVER=1979 FILE ID=node114/3488585-1307783374 RUNJOBID= node114-1307783374-8717 PBS_JOBID= 13550892 Free space on /tmp= 74116 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_4.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-3488585-1307783374/watcher-3488585-1307783374 -o /tmp/evaluation-result-3488585-1307783374/solver-3488585-1307783374 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488585-1307783374.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85583812489e95a26f37a10baffcd23f RANDOM SEED=1806440406 node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31320568 kB Buffers: 272812 kB Cached: 1130056 kB SwapCached: 10540 kB Active: 456868 kB Inactive: 965544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31320568 kB SwapTotal: 67111528 kB SwapFree: 67054844 kB Dirty: 33872 kB Writeback: 0 kB AnonPages: 17852 kB Mapped: 12020 kB Slab: 141284 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 189292 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74096 MiB End job on node114 at 2011-06-11 11:39:32