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 SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -30 | 1800.09 | 1800.04 |
| 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.4]
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-3450665-1307105842.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.07 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.08 c (round 2) 3130 del vars, 400 del conss, 0 add conss, 3130 chg bounds, 0 chg sides, 0 chg coeffs, 3130 upgd conss, 18780 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 18780 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 <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.08
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 # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c conflict/interconss = 0
0.09/0.10 c
0.09/0.10 c # should binary conflicts be preferred?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c conflict/preferbinary = TRUE
0.09/0.10 c
0.09/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10 c constraints/agelimit = 1
0.09/0.10 c
0.09/0.10 c # should enforcement of pseudo solution be disabled?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/disableenfops = TRUE
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 = 1800
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 -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 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.13 o -2
0.09/0.13 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.17 c 0.2s| 1 | 0 | 308 | - | 10M| 0 | 188 | 200 |3130 | 200 |3138 | 8 | 0 | 0 |-9.400000e+01 |-2.000000e+00 | 97.87%
0.09/0.17 o -17
0.09/0.17 c b 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.23 c 0.2s| 1 | 0 | 356 | - | 10M| 0 | 184 | 200 |3130 | 200 |3145 | 15 | 0 | 0 |-9.200000e+01 |-1.700000e+01 | 81.52%
0.29/0.32 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.29/0.38 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.43 c 0.4s| 1 | 0 | 638 | - | 10M| 0 | 164 | 200 |3130 | 200 |3171 | 41 | 0 | 0 |-8.200000e+01 |-1.700000e+01 | 79.27%
0.49/0.50 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.49/0.59 c 0.6s| 1 | 0 | 998 | - | 10M| 0 | 157 | 200 |3130 | 200 |3195 | 65 | 0 | 0 |-7.690000e+01 |-1.700000e+01 | 77.89%
0.59/0.67 c 0.7s| 1 | 0 | 1235 | - | 11M| 0 | 153 | 200 |3130 | 200 |3209 | 79 | 0 | 0 |-7.425000e+01 |-1.700000e+01 | 77.10%
0.69/0.75 c 0.7s| 1 | 0 | 1383 | - | 11M| 0 | 145 | 200 |3130 | 200 |3217 | 87 | 0 | 0 |-7.250000e+01 |-1.700000e+01 | 76.55%
0.79/0.83 c 0.8s| 1 | 0 | 1519 | - | 11M| 0 | 143 | 200 |3130 | 200 |3225 | 95 | 0 | 0 |-7.150000e+01 |-1.700000e+01 | 76.22%
0.79/0.88 c 0.9s| 1 | 0 | 1642 | - | 11M| 0 | 141 | 200 |3130 | 200 | 495 | 108 | 0 | 0 |-6.900000e+01 |-1.700000e+01 | 75.36%
0.89/0.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.90 c 0.9s| 1 | 0 | 1834 | - | 11M| 0 | 143 | 200 |3130 | 200 | 502 | 115 | 0 | 0 |-6.750000e+01 |-1.700000e+01 | 74.81%
0.89/0.94 c 0.9s| 1 | 0 | 2089 | - | 11M| 0 | 127 | 200 |3130 | 200 | 573 | 186 | 0 | 0 |-6.550000e+01 |-1.700000e+01 | 74.05%
0.89/0.97 c 1.0s| 1 | 0 | 2264 | - | 11M| 0 | 141 | 200 |3130 | 200 | 653 | 266 | 0 | 0 |-6.425000e+01 |-1.700000e+01 | 73.54%
0.89/1.01 c 1.0s| 1 | 0 | 2483 | - | 11M| 0 | 145 | 200 |3130 | 200 | 703 | 316 | 0 | 0 |-6.300000e+01 |-1.700000e+01 | 73.02%
1.00/1.07 c 1.1s| 1 | 0 | 2618 | - | 11M| 0 | 126 | 200 |3130 | 200 | 835 | 448 | 0 | 0 |-6.300000e+01 |-1.700000e+01 | 73.02%
1.00/1.11 c 1.1s| 1 | 0 | 2731 | - | 11M| 0 | 127 | 200 |3130 | 200 | 640 | 455 | 0 | 0 |-6.250000e+01 |-1.700000e+01 | 72.80%
1.12/1.16 c 1.2s| 1 | 0 | 3048 | - | 12M| 0 | 147 | 200 |3130 | 200 | 648 | 463 | 0 | 0 |-6.150000e+01 |-1.700000e+01 | 72.36%
1.19/1.21 c 1.2s| 1 | 0 | 3258 | - | 12M| 0 | 156 | 200 |3130 | 200 | 684 | 499 | 0 | 0 |-6.100000e+01 |-1.700000e+01 | 72.13%
1.29/1.32 c 1.3s| 1 | 0 | 3960 | - | 12M| 0 | 164 | 200 |3130 | 200 | 796 | 611 | 0 | 0 |-6.000000e+01 |-1.700000e+01 | 71.67%
1.29/1.37 c 1.4s| 1 | 0 | 4138 | - | 12M| 0 | 120 | 200 |3130 | 200 | 855 | 670 | 0 | 0 |-5.900000e+01 |-1.700000e+01 | 71.19%
1.39/1.40 c 1.4s| 1 | 0 | 4266 | - | 13M| 0 | 166 | 200 |3130 | 200 | 888 | 703 | 0 | 0 |-5.849635e+01 |-1.700000e+01 | 70.94%
1.49/1.50 c 1.5s| 1 | 0 | 5005 | - | 14M| 0 | 166 | 200 |3130 | 200 | 723 | 755 | 0 | 0 |-5.763875e+01 |-1.700000e+01 | 70.51%
1.49/1.57 c 1.6s| 1 | 0 | 5345 | - | 15M| 0 | 169 | 200 |3130 | 200 | 786 | 818 | 0 | 0 |-5.660256e+01 |-1.700000e+01 | 69.97%
1.59/1.63 c 1.6s| 1 | 0 | 5606 | - | 15M| 0 | 168 | 200 |3130 | 200 | 840 | 872 | 0 | 0 |-5.589701e+01 |-1.700000e+01 | 69.59%
1.69/1.70 c 1.7s| 1 | 0 | 5934 | - | 15M| 0 | 175 | 200 |3130 | 200 | 861 | 893 | 0 | 0 |-5.550396e+01 |-1.700000e+01 | 69.37%
1.69/1.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.78 c 1.8s| 1 | 0 | 6332 | - | 15M| 0 | 169 | 200 |3130 | 200 | 905 | 937 | 0 | 0 |-5.484168e+01 |-1.700000e+01 | 69.00%
1.79/1.85 c 1.8s| 1 | 0 | 6520 | - | 15M| 0 | 174 | 200 |3130 | 200 | 937 | 969 | 0 | 0 |-5.440418e+01 |-1.700000e+01 | 68.75%
1.89/1.93 c 1.9s| 1 | 0 | 6813 | - | 15M| 0 | 176 | 200 |3130 | 200 | 689 | 985 | 0 | 0 |-5.384375e+01 |-1.700000e+01 | 68.43%
1.89/1.99 c 2.0s| 1 | 0 | 7060 | - | 15M| 0 | 176 | 200 |3130 | 200 | 698 | 994 | 0 | 0 |-5.360440e+01 |-1.700000e+01 | 68.29%
1.99/2.05 c 2.0s| 1 | 0 | 7350 | - | 15M| 0 | 180 | 200 |3130 | 200 | 714 |1010 | 0 | 0 |-5.320959e+01 |-1.700000e+01 | 68.05%
1.99/2.10 c 2.1s| 1 | 0 | 7510 | - | 15M| 0 | 178 | 200 |3130 | 200 | 738 |1034 | 0 | 0 |-5.286568e+01 |-1.700000e+01 | 67.84%
2.11/2.16 c 2.2s| 1 | 0 | 7679 | - | 15M| 0 | 183 | 200 |3130 | 200 | 751 |1047 | 0 | 0 |-5.261724e+01 |-1.700000e+01 | 67.69%
2.21/2.22 c 2.2s| 1 | 0 | 7844 | - | 15M| 0 | 184 | 200 |3130 | 200 | 766 |1062 | 0 | 0 |-5.237886e+01 |-1.700000e+01 | 67.54%
2.21/2.29 c 2.3s| 1 | 0 | 8096 | - | 15M| 0 | 192 | 200 |3130 | 200 | 507 |1077 | 0 | 0 |-5.210087e+01 |-1.700000e+01 | 67.37%
2.29/2.33 c 2.3s| 1 | 0 | 8222 | - | 15M| 0 | 190 | 200 |3130 | 200 | 518 |1088 | 0 | 0 |-5.185142e+01 |-1.700000e+01 | 67.21%
2.29/2.37 c 2.4s| 1 | 0 | 8298 | - | 15M| 0 | 189 | 200 |3130 | 200 | 533 |1103 | 0 | 0 |-5.173609e+01 |-1.700000e+01 | 67.14%
2.39/2.41 c 2.4s| 1 | 0 | 8402 | - | 15M| 0 | 190 | 200 |3130 | 200 | 546 |1116 | 0 | 0 |-5.153184e+01 |-1.700000e+01 | 67.01%
2.39/2.46 c 2.5s| 1 | 0 | 8505 | - | 15M| 0 | 188 | 200 |3130 | 200 | 554 |1124 | 0 | 0 |-5.137827e+01 |-1.700000e+01 | 66.91%
2.49/2.51 c 2.5s| 1 | 0 | 8670 | - | 15M| 0 | 190 | 200 |3130 | 200 | 566 |1136 | 0 | 0 |-5.118747e+01 |-1.700000e+01 | 66.79%
2.49/2.56 c 2.6s| 1 | 0 | 8818 | - | 15M| 0 | 190 | 200 |3130 | 200 | 447 |1145 | 0 | 0 |-5.101687e+01 |-1.700000e+01 | 66.68%
2.49/2.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.60 c 2.6s| 1 | 0 | 8886 | - | 15M| 0 | 191 | 200 |3130 | 200 | 455 |1153 | 0 | 0 |-5.094245e+01 |-1.700000e+01 | 66.63%
2.59/2.64 c 2.6s| 1 | 0 | 9076 | - | 15M| 0 | 193 | 200 |3130 | 200 | 464 |1162 | 0 | 0 |-5.073303e+01 |-1.700000e+01 | 66.49%
2.59/2.68 c 2.7s| 1 | 0 | 9231 | - | 15M| 0 | 189 | 200 |3130 | 200 | 477 |1175 | 0 | 0 |-5.057424e+01 |-1.700000e+01 | 66.39%
2.69/2.72 c 2.7s| 1 | 0 | 9362 | - | 15M| 0 | 194 | 200 |3130 | 200 | 487 |1185 | 0 | 0 |-5.040574e+01 |-1.700000e+01 | 66.27%
2.69/2.77 c 2.8s| 1 | 0 | 9507 | - | 15M| 0 | 195 | 200 |3130 | 200 | 495 |1193 | 0 | 0 |-5.022682e+01 |-1.700000e+01 | 66.15%
2.79/2.82 c 2.8s| 1 | 0 | 9695 | - | 15M| 0 | 195 | 200 |3130 | 200 | 437 |1208 | 0 | 0 |-5.003235e+01 |-1.700000e+01 | 66.02%
2.79/2.85 c 2.9s| 1 | 0 | 9789 | - | 15M| 0 | 196 | 200 |3130 | 200 | 447 |1218 | 0 | 0 |-4.997167e+01 |-1.700000e+01 | 65.98%
2.79/2.89 c 2.9s| 1 | 0 | 9860 | - | 15M| 0 | 194 | 200 |3130 | 200 | 455 |1226 | 0 | 0 |-4.989655e+01 |-1.700000e+01 | 65.93%
2.89/2.93 c 2.9s| 1 | 0 | 9947 | - | 15M| 0 | 197 | 200 |3130 | 200 | 464 |1235 | 0 | 0 |-4.979831e+01 |-1.700000e+01 | 65.86%
2.89/2.96 c 3.0s| 1 | 0 | 9999 | - | 15M| 0 | 196 | 200 |3130 | 200 | 473 |1244 | 0 | 0 |-4.976678e+01 |-1.700000e+01 | 65.84%
2.99/3.01 c 3.0s| 1 | 0 | 10146 | - | 15M| 0 | 196 | 200 |3130 | 200 | 486 |1257 | 0 | 0 |-4.961155e+01 |-1.700000e+01 | 65.73%
2.99/3.05 c 3.0s| 1 | 0 | 10222 | - | 15M| 0 | 197 | 200 |3130 | 200 | 449 |1265 | 0 | 0 |-4.957094e+01 |-1.700000e+01 | 65.71%
2.99/3.09 c 3.1s| 1 | 0 | 10366 | - | 15M| 0 | 195 | 200 |3130 | 200 | 456 |1272 | 0 | 0 |-4.951527e+01 |-1.700000e+01 | 65.67%
3.09/3.13 c 3.1s| 1 | 0 | 10450 | - | 15M| 0 | 195 | 200 |3130 | 200 | 465 |1281 | 0 | 0 |-4.949560e+01 |-1.700000e+01 | 65.65%
3.09/3.17 c 3.2s| 1 | 0 | 10529 | - | 15M| 0 | 198 | 200 |3130 | 200 | 474 |1290 | 0 | 0 |-4.940967e+01 |-1.700000e+01 | 65.59%
3.09/3.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.21 c 3.2s| 1 | 0 | 10591 | - | 15M| 0 | 197 | 200 |3130 | 200 | 484 |1300 | 0 | 0 |-4.935667e+01 |-1.700000e+01 | 65.56%
3.20/3.25 c 3.2s| 1 | 0 | 10655 | - | 15M| 0 | 198 | 200 |3130 | 200 | 493 |1309 | 0 | 0 |-4.931395e+01 |-1.700000e+01 | 65.53%
3.20/3.29 c 3.3s| 1 | 0 | 10766 | - | 15M| 0 | 197 | 200 |3130 | 200 | 445 |1318 | 0 | 0 |-4.926464e+01 |-1.700000e+01 | 65.49%
3.31/3.32 c 3.3s| 1 | 0 | 10844 | - | 15M| 0 | 198 | 200 |3130 | 200 | 455 |1328 | 0 | 0 |-4.920765e+01 |-1.700000e+01 | 65.45%
3.31/3.36 c 3.4s| 1 | 0 | 10929 | - | 15M| 0 | 198 | 200 |3130 | 200 | 463 |1336 | 0 | 0 |-4.918623e+01 |-1.700000e+01 | 65.44%
3.39/3.40 c 3.4s| 1 | 0 | 10991 | - | 15M| 0 | 198 | 200 |3130 | 200 | 472 |1345 | 0 | 0 |-4.917369e+01 |-1.700000e+01 | 65.43%
3.39/3.44 c 3.4s| 1 | 0 | 11067 | - | 15M| 0 | 199 | 200 |3130 | 200 | 480 |1353 | 0 | 0 |-4.916381e+01 |-1.700000e+01 | 65.42%
3.39/3.48 c 3.5s| 1 | 0 | 11165 | - | 15M| 0 | 199 | 200 |3130 | 200 | 486 |1359 | 0 | 0 |-4.914539e+01 |-1.700000e+01 | 65.41%
3.49/3.52 c 3.5s| 1 | 0 | 11224 | - | 15M| 0 | 199 | 200 |3130 | 200 | 442 |1365 | 0 | 0 |-4.914039e+01 |-1.700000e+01 | 65.41%
3.49/3.55 c 3.6s| 1 | 0 | 11253 | - | 15M| 0 | 200 | 200 |3130 | 200 | 446 |1369 | 0 | 0 |-4.913838e+01 |-1.700000e+01 | 65.40%
3.49/3.59 c 3.6s| 1 | 0 | 11259 | - | 15M| 0 | 200 | 200 |3130 | 200 | 447 |1370 | 0 | 0 |-4.913824e+01 |-1.700000e+01 | 65.40%
4.41/4.49 c 4.5s| 1 | 2 | 11259 | - | 15M| 0 | 200 | 200 |3130 | 200 | 447 |1370 | 0 | 18 |-4.913824e+01 |-1.700000e+01 | 65.40%
5.29/5.33 o -18
5.29/5.33 c R 5.3s| 13 | 12 | 12062 | 66.9 | 15M| 12 | 20 | 200 |3130 | 200 | 237 |1476 | 0 | 229 |-4.890265e+01 |-1.800000e+01 | 63.19%
5.29/5.34 o -19
5.29/5.34 c * 5.3s| 15 | 14 | 12071 | 58.0 | 15M| 14 | - | 200 |3130 | 200 | 234 |1478 | 0 | 258 |-4.890265e+01 |-1.900000e+01 | 61.15%
5.29/5.34 o -20
5.29/5.34 c * 5.3s| 16 | 13 | 12072 | 54.2 | 15M| 14 | - | 200 |3130 | 200 | 234 |1478 | 0 | 258 |-4.890265e+01 |-2.000000e+01 | 59.10%
5.59/5.60 o -21
5.59/5.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.59/5.60 c r 5.6s| 27 | 21 | 12727 | 56.5 | 15M| 14 | 4 | 200 |3130 | 200 | 252 |1637 | 0 | 422 |-4.890265e+01 |-2.100000e+01 | 57.06%
5.59/5.60 o -22
5.59/5.60 c z 5.6s| 27 | 23 | 12727 | 56.5 | 15M| 14 | 4 | 200 |3130 | 200 | 252 |1637 | 0 | 425 |-4.890265e+01 |-2.200000e+01 | 55.01%
5.69/5.74 o -24
5.69/5.74 c z 5.7s| 38 | 29 | 13154 | 51.2 | 15M| 15 | - | 200 |3130 | 200 | 239 |1742 | 0 | 561 |-4.890265e+01 |-2.400000e+01 | 50.92%
6.19/6.23 o -25
6.19/6.23 c * 6.2s| 186 | 86 | 16177 | 26.6 | 16M| 19 | - | 200 |3130 | 200 | 230 |3304 | 0 |1123 |-4.890265e+01 |-2.500000e+01 | 48.88%
6.19/6.24 o -26
6.19/6.24 c * 6.2s| 200 | 84 | 16460 | 26.1 | 16M| 19 | - | 200 |3130 | 200 | 240 |3442 | 0 |1129 |-4.890265e+01 |-2.600000e+01 | 46.83%
7.19/7.23 o -27
7.19/7.23 c C 7.2s| 400 | 144 | 22823 | 29.0 | 16M| 21 | - | 200 |3130 | 200 | 231 |5548 | 0 |1550 |-4.859256e+01 |-2.700000e+01 | 44.44%
18.29/18.38 c 18.4s| 10000 | 4982 |310931 | 30.0 | 21M| 48 | 30 | 200 |3130 | 200 | 200 | 122k| 0 |1648 |-4.580883e+01 |-2.700000e+01 | 41.06%
21.59/21.62 o -28
21.59/21.62 c *21.6s| 13449 | 5075 |393485 | 28.4 | 22M| 54 | - | 200 |3130 | 200 | 221 | 159k| 0 |1838 |-4.543956e+01 |-2.800000e+01 | 38.38%
27.19/27.22 c 27.2s| 20000 | 6908 |532126 | 26.0 | 24M| 55 | 61 | 200 |3130 | 200 | 241 | 228k| 0 |2240 |-4.517682e+01 |-2.800000e+01 | 38.02%
35.29/35.39 c 35.4s| 30000 | 9704 |742099 | 24.4 | 28M| 55 | 49 | 200 |3130 | 200 | 250 | 330k| 0 |2748 |-4.481250e+01 |-2.800000e+01 | 37.52%
42.99/43.03 c 43.0s| 40000 | 12234 |939607 | 23.2 | 32M| 55 | 49 | 200 |3130 | 200 | 217 | 431k| 0 |3167 |-4.449069e+01 |-2.800000e+01 | 37.07%
50.69/50.70 c 50.7s| 50000 | 14812 | 1138k| 22.5 | 35M| 58 | 54 | 200 |3130 | 200 | 264 | 535k| 0 |3552 |-4.420395e+01 |-2.800000e+01 | 36.66%
57.49/57.56 c 57.6s| 60000 | 16774 | 1314k| 21.7 | 38M| 64 | - | 200 |3130 | 200 | 229 | 633k| 0 |3843 |-4.400000e+01 |-2.800000e+01 | 36.36%
64.29/64.35 c 64.4s| 70000 | 18666 | 1488k| 21.1 | 41M| 64 | - | 200 |3130 | 200 | 242 | 730k| 0 |4125 |-4.384375e+01 |-2.800000e+01 | 36.14%
71.09/71.18 c 71.2s| 80000 | 20778 | 1666k| 20.7 | 44M| 65 | - | 200 |3130 | 200 | 220 | 824k| 0 |4409 |-4.367354e+01 |-2.800000e+01 | 35.89%
77.70/77.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.70/77.78 c 77.8s| 90000 | 22724 | 1835k| 20.3 | 46M| 65 | - | 200 |3130 | 200 | 227 | 918k| 0 |4690 |-4.350938e+01 |-2.800000e+01 | 35.65%
84.29/84.36 c 84.4s|100000 | 24610 | 2003k| 19.9 | 49M| 68 | 34 | 200 |3130 | 200 | 227 |1012k| 0 |4950 |-4.338095e+01 |-2.800000e+01 | 35.46%
87.09/87.18 o -29
87.09/87.18 c r87.2s|104258 | 19606 | 2075k| 19.8 | 43M| 69 | 3 | 200 |3130 | 200 | 231 |1053k| 0 |5070 |-4.332759e+01 |-2.900000e+01 | 33.07%
87.09/87.18 o -30
87.09/87.18 c *87.2s|104260 | 15861 | 2075k| 19.8 | 39M| 69 | - | 200 |3130 | 200 | 231 |1053k| 0 |5070 |-4.332759e+01 |-3.000000e+01 | 30.76%
91.00/91.00 c 91.0s|110000 | 16653 | 2171k| 19.6 | 40M| 69 | - | 200 |3130 | 200 | 216 |1107k| 0 |5165 |-4.324675e+01 |-3.000000e+01 | 30.63%
97.59/97.63 c 97.6s|120000 | 17955 | 2339k| 19.4 | 42M| 72 | - | 200 |3130 | 200 | 241 |1204k| 0 |5406 |-4.313226e+01 |-3.000000e+01 | 30.45%
104.09/104.10 c 104s|130000 | 19193 | 2502k| 19.2 | 44M| 72 | 53 | 200 |3130 | 200 | 215 |1299k| 0 |5661 |-4.300000e+01 |-3.000000e+01 | 30.23%
110.59/110.61 c 111s|140000 | 20543 | 2669k| 19.0 | 46M| 75 | 49 | 200 |3130 | 200 | 225 |1393k| 0 |5847 |-4.283333e+01 |-3.000000e+01 | 29.96%
116.90/116.97 c 117s|150000 | 21629 | 2830k| 18.8 | 48M| 79 | 12 | 200 |3130 | 200 | 200 |1486k| 0 |6095 |-4.270968e+01 |-3.000000e+01 | 29.76%
123.22/123.29 c 123s|160000 | 22687 | 2990k| 18.6 | 50M| 79 | - | 200 |3130 | 200 | 213 |1580k| 0 |6306 |-4.258333e+01 |-3.000000e+01 | 29.55%
129.49/129.51 c 130s|170000 | 23737 | 3148k| 18.5 | 51M| 79 | 71 | 200 |3130 | 200 | 257 |1672k| 0 |6493 |-4.250000e+01 |-3.000000e+01 | 29.41%
135.69/135.70 c 136s|180000 | 24763 | 3304k| 18.3 | 53M| 79 | - | 200 |3130 | 200 | 222 |1763k| 0 |6682 |-4.237037e+01 |-3.000000e+01 | 29.20%
141.91/141.99 c 142s|190000 | 25955 | 3464k| 18.2 | 55M| 79 | - | 200 |3130 | 200 | 219 |1856k| 0 |6869 |-4.228571e+01 |-3.000000e+01 | 29.05%
148.00/148.01 c 148s|200000 | 27005 | 3615k| 18.0 | 57M| 79 | 32 | 200 |3130 | 200 | 200 |1946k| 0 |7051 |-4.220000e+01 |-3.000000e+01 | 28.91%
154.10/154.19 c 154s|210000 | 28135 | 3771k| 17.9 | 58M| 79 | - | 200 |3130 | 200 | 218 |2037k| 0 |7232 |-4.210000e+01 |-3.000000e+01 | 28.74%
160.19/160.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.19/160.22 c 160s|220000 | 28997 | 3922k| 17.8 | 60M| 81 | - | 200 |3130 | 200 | 200 |2128k| 0 |7374 |-4.200000e+01 |-3.000000e+01 | 28.57%
166.12/166.13 c 166s|230000 | 29949 | 4072k| 17.7 | 61M| 81 | 36 | 200 |3130 | 200 | 227 |2220k| 0 |7502 |-4.200000e+01 |-3.000000e+01 | 28.57%
172.00/172.05 c 172s|240000 | 30907 | 4221k| 17.5 | 63M| 86 | 27 | 200 |3130 | 200 | 200 |2310k| 0 |7678 |-4.191489e+01 |-3.000000e+01 | 28.43%
178.00/178.05 c 178s|250000 | 31901 | 4371k| 17.4 | 64M| 86 | - | 200 |3130 | 200 | 256 |2401k| 0 |7826 |-4.181818e+01 |-3.000000e+01 | 28.26%
183.89/183.99 c 184s|260000 | 32863 | 4521k| 17.3 | 66M| 87 | 38 | 200 |3130 | 200 | 220 |2493k| 0 |7951 |-4.175000e+01 |-3.000000e+01 | 28.14%
189.90/189.95 c 190s|270000 | 33881 | 4671k| 17.3 | 68M| 89 | - | 200 |3130 | 200 | 220 |2582k| 0 |8127 |-4.168421e+01 |-3.000000e+01 | 28.03%
195.82/195.82 c 196s|280000 | 34713 | 4819k| 17.2 | 69M| 96 | 23 | 200 |3130 | 200 | 200 |2673k| 0 |8246 |-4.162500e+01 |-3.000000e+01 | 27.93%
201.59/201.60 c 202s|290000 | 35507 | 4963k| 17.1 | 70M| 96 | 49 | 200 |3130 | 200 | 237 |2760k| 0 |8412 |-4.157143e+01 |-3.000000e+01 | 27.84%
207.19/207.25 c 207s|300000 | 36273 | 5104k| 17.0 | 72M| 96 | - | 200 |3130 | 200 | 234 |2848k| 0 |8589 |-4.150000e+01 |-3.000000e+01 | 27.71%
213.10/213.11 c 213s|310000 | 37139 | 5251k| 16.9 | 73M| 96 | 46 | 200 |3130 | 200 | 213 |2937k| 0 |8678 |-4.150000e+01 |-3.000000e+01 | 27.71%
218.92/218.99 c 219s|320000 | 37973 | 5398k| 16.8 | 74M| 96 | 47 | 200 |3130 | 200 | 212 |3021k| 0 |8836 |-4.141667e+01 |-3.000000e+01 | 27.57%
224.60/224.65 c 225s|330000 | 38721 | 5540k| 16.8 | 76M| 96 | - | 200 |3130 | 200 | 243 |3110k| 0 |8920 |-4.136585e+01 |-3.000000e+01 | 27.48%
230.30/230.37 c 230s|340000 | 39551 | 5683k| 16.7 | 77M| 96 | 57 | 200 |3130 | 200 | 258 |3197k| 0 |9079 |-4.131818e+01 |-3.000000e+01 | 27.39%
236.10/236.19 c 236s|350000 | 40353 | 5828k| 16.6 | 78M| 96 | - | 200 |3130 | 200 | 248 |3286k| 0 |9187 |-4.125000e+01 |-3.000000e+01 | 27.27%
241.92/241.95 c 242s|360000 | 41143 | 5973k| 16.6 | 80M| 96 | - | 200 |3130 | 200 | 233 |3377k| 0 |9353 |-4.120000e+01 |-3.000000e+01 | 27.18%
247.60/247.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.60/247.63 c 248s|370000 | 41909 | 6115k| 16.5 | 81M| 96 | - | 200 |3130 | 200 | 218 |3461k| 0 |9461 |-4.115591e+01 |-3.000000e+01 | 27.11%
253.30/253.36 c 253s|380000 | 42613 | 6258k| 16.4 | 82M| 96 | - | 200 |3130 | 200 | 211 |3553k| 0 |9603 |-4.111111e+01 |-3.000000e+01 | 27.03%
258.89/258.92 c 259s|390000 | 43211 | 6396k| 16.4 | 83M| 96 | - | 200 |3130 | 200 | 217 |3640k| 0 |9735 |-4.104762e+01 |-3.000000e+01 | 26.91%
264.59/264.62 c 265s|400000 | 44055 | 6539k| 16.3 | 85M| 96 | - | 200 |3130 | 200 | 229 |3728k| 0 |9823 |-4.100000e+01 |-3.000000e+01 | 26.83%
270.30/270.35 c 270s|410000 | 44879 | 6683k| 16.3 | 86M| 96 | 13 | 200 |3130 | 200 | 200 |3818k| 0 |9968 |-4.100000e+01 |-3.000000e+01 | 26.83%
276.02/276.03 c 276s|420000 | 45663 | 6825k| 16.2 | 87M| 96 | - | 200 |3130 | 200 | 215 |3906k| 0 | 10k|-4.097917e+01 |-3.000000e+01 | 26.79%
281.62/281.69 c 282s|430000 | 46433 | 6966k| 16.2 | 88M| 96 | 57 | 200 |3130 | 200 | 222 |3994k| 0 | 10k|-4.091667e+01 |-3.000000e+01 | 26.68%
287.30/287.38 c 287s|440000 | 47211 | 7107k| 16.1 | 90M| 96 | 11 | 200 |3130 | 200 | 200 |4083k| 0 | 10k|-4.087500e+01 |-3.000000e+01 | 26.61%
293.00/293.06 c 293s|450000 | 47939 | 7249k| 16.1 | 91M| 96 | 36 | 200 |3130 | 200 | 200 |4170k| 0 | 10k|-4.083333e+01 |-3.000000e+01 | 26.53%
298.50/298.58 c 299s|460000 | 48549 | 7386k| 16.0 | 92M| 96 | 42 | 200 |3130 | 200 | 200 |4260k| 0 | 10k|-4.078571e+01 |-3.000000e+01 | 26.44%
304.20/304.21 c 304s|470000 | 49319 | 7526k| 16.0 | 93M| 96 | - | 200 |3130 | 200 | 215 |4348k| 0 | 10k|-4.075000e+01 |-3.000000e+01 | 26.38%
309.80/309.83 c 310s|480000 | 50069 | 7667k| 15.9 | 94M| 96 | 58 | 200 |3130 | 200 | 219 |4434k| 0 | 10k|-4.069565e+01 |-3.000000e+01 | 26.28%
315.30/315.38 c 315s|490000 | 50781 | 7804k| 15.9 | 96M| 96 | - | 200 |3130 | 200 | 241 |4520k| 0 | 10k|-4.066667e+01 |-3.000000e+01 | 26.23%
321.00/321.02 c 321s|500000 | 51597 | 7944k| 15.9 | 97M| 96 | 28 | 200 |3130 | 200 | 214 |4607k| 0 | 10k|-4.061905e+01 |-3.000000e+01 | 26.14%
326.50/326.61 c 327s|510000 | 52273 | 8082k| 15.8 | 98M| 96 | 30 | 200 |3130 | 200 | 200 |4694k| 0 | 11k|-4.057143e+01 |-3.000000e+01 | 26.06%
332.00/332.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.00/332.10 c 332s|520000 | 52883 | 8217k| 15.8 | 99M| 96 | - | 200 |3130 | 200 | 218 |4779k| 0 | 11k|-4.053205e+01 |-3.000000e+01 | 25.98%
337.72/337.74 c 338s|530000 | 53615 | 8358k| 15.7 | 100M| 96 | 9 | 200 |3130 | 200 | 215 |4866k| 0 | 11k|-4.050000e+01 |-3.000000e+01 | 25.93%
343.30/343.32 c 343s|540000 | 54375 | 8497k| 15.7 | 102M| 96 | - | 200 |3130 | 200 | 214 |4951k| 0 | 11k|-4.050000e+01 |-3.000000e+01 | 25.93%
348.80/348.88 c 349s|550000 | 55059 | 8635k| 15.7 | 103M| 96 | 20 | 200 |3130 | 200 | 200 |5038k| 0 | 11k|-4.045455e+01 |-3.000000e+01 | 25.84%
354.40/354.43 c 354s|560000 | 55697 | 8772k| 15.6 | 104M| 96 | - | 200 |3130 | 200 | 227 |5127k| 0 | 11k|-4.041579e+01 |-3.000000e+01 | 25.77%
360.00/360.08 c 360s|570000 | 56415 | 8911k| 15.6 | 105M| 96 | - | 200 |3130 | 200 | 236 |5213k| 0 | 11k|-4.034783e+01 |-3.000000e+01 | 25.65%
365.40/365.48 c 365s|580000 | 57011 | 9044k| 15.6 | 106M| 96 | 17 | 200 |3130 | 200 | 200 |5298k| 0 | 11k|-4.033333e+01 |-3.000000e+01 | 25.62%
370.90/370.91 c 371s|590000 | 57621 | 9176k| 15.5 | 107M| 96 | - | 200 |3130 | 200 | 213 |5383k| 0 | 11k|-4.027778e+01 |-3.000000e+01 | 25.52%
376.31/376.33 c 376s|600000 | 58267 | 9309k| 15.5 | 108M| 96 | - | 200 |3130 | 200 | 213 |5469k| 0 | 12k|-4.025000e+01 |-3.000000e+01 | 25.47%
381.73/381.78 c 382s|610000 | 58873 | 9443k| 15.5 | 109M| 96 | 43 | 200 |3130 | 200 | 216 |5554k| 0 | 12k|-4.020000e+01 |-3.000000e+01 | 25.37%
387.12/387.19 c 387s|620000 | 59505 | 9576k| 15.4 | 110M| 96 | - | 200 |3130 | 200 | 229 |5640k| 0 | 12k|-4.016667e+01 |-3.000000e+01 | 25.31%
392.62/392.66 c 393s|630000 | 60149 | 9710k| 15.4 | 111M| 96 | - | 200 |3130 | 200 | 236 |5727k| 0 | 12k|-4.012500e+01 |-3.000000e+01 | 25.23%
398.12/398.13 c 398s|640000 | 60777 | 9845k| 15.4 | 113M| 96 | 3 | 200 |3130 | 200 | 213 |5815k| 0 | 12k|-4.009091e+01 |-3.000000e+01 | 25.17%
403.51/403.60 c 404s|650000 | 61325 | 9979k| 15.3 | 114M| 96 | - | 200 |3130 | 200 | 226 |5905k| 0 | 12k|-4.002326e+01 |-3.000000e+01 | 25.04%
409.00/409.11 c 409s|660000 | 61963 | 10115k| 15.3 | 115M| 96 | - | 200 |3130 | 200 | 227 |5991k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
414.40/414.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.40/414.50 c 414s|670000 | 62491 | 10246k| 15.3 | 116M| 96 | - | 200 |3130 | 200 | 236 |6077k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
419.90/419.95 c 420s|680000 | 63151 | 10379k| 15.2 | 117M| 96 | - | 200 |3130 | 200 | 218 |6162k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
425.41/425.47 c 425s|690000 | 63779 | 10515k| 15.2 | 118M| 96 | 60 | 200 |3130 | 200 | 200 |6251k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
430.91/430.93 c 431s|700000 | 64471 | 10649k| 15.2 | 119M| 102 | 48 | 200 |3130 | 200 | 222 |6335k| 0 | 13k|-4.000000e+01 |-3.000000e+01 | 25.00%
436.31/436.33 c 436s|710000 | 64981 | 10780k| 15.2 | 120M| 102 | 42 | 200 |3130 | 200 | 225 |6421k| 0 | 13k|-3.991667e+01 |-3.000000e+01 | 24.84%
441.60/441.64 c 442s|720000 | 65469 | 10908k| 15.1 | 121M| 102 | 10 | 200 |3130 | 200 | 213 |6508k| 0 | 13k|-3.987500e+01 |-3.000000e+01 | 24.76%
447.10/447.11 c 447s|730000 | 66013 | 11041k| 15.1 | 121M| 102 | 11 | 200 |3130 | 200 | 200 |6594k| 0 | 13k|-3.983333e+01 |-3.000000e+01 | 24.69%
452.40/452.42 c 452s|740000 | 66453 | 11171k| 15.1 | 122M| 102 | - | 200 |3130 | 200 | 230 |6679k| 0 | 13k|-3.981250e+01 |-3.000000e+01 | 24.65%
457.70/457.73 c 458s|750000 | 66907 | 11299k| 15.1 | 123M| 102 | 30 | 200 |3130 | 200 | 227 |6765k| 0 | 13k|-3.979167e+01 |-3.000000e+01 | 24.61%
463.13/463.14 c 463s|760000 | 67421 | 11432k| 15.0 | 124M| 102 | - | 200 |3130 | 200 | 256 |6849k| 0 | 13k|-3.975000e+01 |-3.000000e+01 | 24.53%
468.51/468.58 c 469s|770000 | 67977 | 11565k| 15.0 | 125M| 102 | - | 200 |3130 | 200 | 249 |6932k| 0 | 13k|-3.972222e+01 |-3.000000e+01 | 24.48%
473.91/473.96 c 474s|780000 | 68421 | 11695k| 15.0 | 126M| 102 | 55 | 200 |3130 | 200 | 228 |7016k| 0 | 13k|-3.966667e+01 |-3.000000e+01 | 24.37%
479.21/479.27 c 479s|790000 | 68929 | 11824k| 15.0 | 127M| 102 | - | 200 |3130 | 200 | 227 |7101k| 0 | 13k|-3.966667e+01 |-3.000000e+01 | 24.37%
484.61/484.63 c 485s|800000 | 69425 | 11954k| 14.9 | 128M| 102 | - | 200 |3130 | 200 | 245 |7185k| 0 | 13k|-3.963636e+01 |-3.000000e+01 | 24.31%
490.00/490.01 c 490s|810000 | 69923 | 12085k| 14.9 | 128M| 102 | 54 | 200 |3130 | 200 | 214 |7270k| 0 | 13k|-3.960000e+01 |-3.000000e+01 | 24.24%
495.31/495.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.31/495.30 c 495s|820000 | 70463 | 12212k| 14.9 | 129M| 102 | 36 | 200 |3130 | 200 | 216 |7350k| 0 | 13k|-3.957143e+01 |-3.000000e+01 | 24.19%
500.52/500.57 c 501s|830000 | 70921 | 12339k| 14.9 | 130M| 102 | 50 | 200 |3130 | 200 | 223 |7433k| 0 | 14k|-3.952174e+01 |-3.000000e+01 | 24.09%
505.81/505.81 c 506s|840000 | 71349 | 12466k| 14.8 | 131M| 102 | - | 200 |3130 | 200 | 228 |7517k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
511.00/511.07 c 511s|850000 | 71809 | 12592k| 14.8 | 132M| 102 | - | 200 |3130 | 200 | 231 |7602k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
516.30/516.33 c 516s|860000 | 72271 | 12719k| 14.8 | 133M| 102 | - | 200 |3130 | 200 | 228 |7686k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
521.61/521.68 c 522s|870000 | 72709 | 12849k| 14.8 | 133M| 102 | - | 200 |3130 | 200 | 229 |7771k| 0 | 14k|-3.947458e+01 |-3.000000e+01 | 24.00%
526.93/526.99 c 527s|880000 | 73155 | 12977k| 14.7 | 134M| 102 | 34 | 200 |3130 | 200 | 216 |7854k| 0 | 14k|-3.941667e+01 |-3.000000e+01 | 23.89%
532.10/532.19 c 532s|890000 | 73607 | 13102k| 14.7 | 135M| 102 | - | 200 |3130 | 200 | 230 |7936k| 0 | 14k|-3.938462e+01 |-3.000000e+01 | 23.83%
537.40/537.48 c 537s|900000 | 74079 | 13230k| 14.7 | 136M| 102 | 56 | 200 |3130 | 200 | 216 |8020k| 0 | 14k|-3.934783e+01 |-3.000000e+01 | 23.76%
542.70/542.79 c 543s|910000 | 74525 | 13358k| 14.7 | 137M| 102 | 34 | 200 |3130 | 200 | 224 |8106k| 0 | 14k|-3.933333e+01 |-3.000000e+01 | 23.73%
548.01/548.00 c 548s|920000 | 74933 | 13483k| 14.6 | 137M| 102 | 47 | 200 |3130 | 200 | 213 |8191k| 0 | 14k|-3.933333e+01 |-3.000000e+01 | 23.73%
553.22/553.30 c 553s|930000 | 75367 | 13610k| 14.6 | 138M| 102 | - | 200 |3130 | 200 | 220 |8277k| 0 | 14k|-3.928571e+01 |-3.000000e+01 | 23.64%
558.50/558.57 c 559s|940000 | 75799 | 13737k| 14.6 | 139M| 102 | - | 200 |3130 | 200 | 200 |8360k| 0 | 14k|-3.925000e+01 |-3.000000e+01 | 23.57%
563.71/563.78 c 564s|950000 | 76245 | 13863k| 14.6 | 140M| 102 | 47 | 200 |3130 | 200 | 249 |8443k| 0 | 14k|-3.923529e+01 |-3.000000e+01 | 23.54%
569.00/569.02 c 569s|960000 | 76689 | 13989k| 14.6 | 141M| 102 | - | 200 |3130 | 200 | 212 |8524k| 0 | 15k|-3.920000e+01 |-3.000000e+01 | 23.47%
574.12/574.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.12/574.20 c 574s|970000 | 77167 | 14112k| 14.5 | 141M| 102 | 31 | 200 |3130 | 200 | 200 |8604k| 0 | 15k|-3.916667e+01 |-3.000000e+01 | 23.40%
579.41/579.47 c 579s|980000 | 77589 | 14238k| 14.5 | 142M| 102 | - | 200 |3130 | 200 | 226 |8688k| 0 | 15k|-3.912500e+01 |-3.000000e+01 | 23.32%
584.60/584.60 c 585s|990000 | 78023 | 14361k| 14.5 | 143M| 102 | - | 200 |3130 | 200 | 246 |8767k| 0 | 15k|-3.909756e+01 |-3.000000e+01 | 23.27%
589.80/589.82 c 590s| 1000k| 78431 | 14486k| 14.5 | 144M| 102 | 52 | 200 |3130 | 200 | 200 |8848k| 0 | 15k|-3.904545e+01 |-3.000000e+01 | 23.17%
595.03/595.10 c 595s| 1010k| 78863 | 14613k| 14.5 | 145M| 102 | - | 200 |3130 | 200 | 231 |8932k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
600.21/600.27 c 600s| 1020k| 79243 | 14736k| 14.4 | 145M| 102 | - | 200 |3130 | 200 | 225 |9015k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
605.41/605.42 c 605s| 1030k| 79625 | 14859k| 14.4 | 146M| 102 | 35 | 200 |3130 | 200 | 214 |9097k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
610.53/610.58 c 611s| 1040k| 80037 | 14983k| 14.4 | 147M| 102 | - | 200 |3130 | 200 | 238 |9179k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
615.81/615.80 c 616s| 1050k| 80411 | 15107k| 14.4 | 147M| 102 | 24 | 200 |3130 | 200 | 200 |9262k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
621.00/621.07 c 621s| 1060k| 80831 | 15234k| 14.4 | 148M| 102 | - | 200 |3130 | 200 | 220 |9349k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
626.20/626.28 c 626s| 1070k| 81289 | 15359k| 14.3 | 149M| 102 | - | 200 |3130 | 200 | 216 |9432k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
631.43/631.49 c 631s| 1080k| 81683 | 15485k| 14.3 | 150M| 102 | - | 200 |3130 | 200 | 263 |9514k| 0 | 15k|-3.895455e+01 |-3.000000e+01 | 22.99%
636.61/636.64 c 637s| 1090k| 81989 | 15606k| 14.3 | 150M| 102 | 52 | 200 |3130 | 200 | 226 |9595k| 0 | 16k|-3.890000e+01 |-3.000000e+01 | 22.88%
641.61/641.65 c 642s| 1100k| 82319 | 15725k| 14.3 | 151M| 102 | 24 | 200 |3130 | 200 | 211 |9675k| 0 | 16k|-3.887500e+01 |-3.000000e+01 | 22.83%
646.72/646.73 c 647s| 1110k| 82685 | 15845k| 14.3 | 152M| 102 | - | 200 |3130 | 200 | 222 |9755k| 0 | 16k|-3.884615e+01 |-3.000000e+01 | 22.77%
651.81/651.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.81/651.84 c 652s| 1120k| 83087 | 15968k| 14.2 | 152M| 102 | - | 200 |3130 | 200 | 228 |9838k| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
656.91/656.94 c 657s| 1130k| 83419 | 16088k| 14.2 | 153M| 102 | - | 200 |3130 | 200 | 229 |9918k| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
662.01/662.05 c 662s| 1140k| 83823 | 16211k| 14.2 | 154M| 102 | - | 200 |3130 | 200 | 234 | 10M| 0 | 16k|-3.877083e+01 |-3.000000e+01 | 22.62%
667.21/667.23 c 667s| 1150k| 84221 | 16335k| 14.2 | 154M| 102 | 45 | 200 |3130 | 200 | 216 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
672.31/672.36 c 672s| 1160k| 84563 | 16457k| 14.2 | 155M| 102 | 48 | 200 |3130 | 200 | 228 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
677.41/677.50 c 677s| 1170k| 84869 | 16579k| 14.2 | 156M| 102 | 50 | 200 |3130 | 200 | 216 | 10M| 0 | 16k|-3.870000e+01 |-3.000000e+01 | 22.48%
682.61/682.64 c 683s| 1180k| 85217 | 16701k| 14.1 | 156M| 102 | 37 | 200 |3130 | 200 | 214 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
687.71/687.72 c 688s| 1190k| 85543 | 16820k| 14.1 | 157M| 102 | - | 200 |3130 | 200 | 222 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
692.81/692.82 c 693s| 1200k| 85919 | 16942k| 14.1 | 158M| 102 | 58 | 200 |3130 | 200 | 215 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
697.81/697.87 c 698s| 1210k| 86225 | 17060k| 14.1 | 158M| 102 | 48 | 200 |3130 | 200 | 228 | 10M| 0 | 16k|-3.862500e+01 |-3.000000e+01 | 22.33%
702.94/702.98 c 703s| 1220k| 86561 | 17181k| 14.1 | 159M| 102 | 42 | 200 |3130 | 200 | 217 | 10M| 0 | 16k|-3.860000e+01 |-3.000000e+01 | 22.28%
708.02/708.02 c 708s| 1230k| 86903 | 17300k| 14.1 | 160M| 102 | - | 200 |3130 | 200 | 238 | 10M| 0 | 16k|-3.857143e+01 |-3.000000e+01 | 22.22%
713.11/713.13 c 713s| 1240k| 87247 | 17422k| 14.0 | 160M| 102 | 16 | 200 |3130 | 200 | 200 | 10M| 0 | 17k|-3.854545e+01 |-3.000000e+01 | 22.17%
718.11/718.17 c 718s| 1250k| 87541 | 17540k| 14.0 | 161M| 102 | - | 200 |3130 | 200 | 237 | 10M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
723.12/723.11 c 723s| 1260k| 87809 | 17656k| 14.0 | 161M| 102 | - | 200 |3130 | 200 | 222 | 10M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
728.12/728.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.12/728.18 c 728s| 1270k| 88147 | 17776k| 14.0 | 162M| 102 | 44 | 200 |3130 | 200 | 214 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
733.11/733.19 c 733s| 1280k| 88435 | 17894k| 14.0 | 163M| 102 | - | 200 |3130 | 200 | 220 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
738.21/738.24 c 738s| 1290k| 88693 | 18013k| 14.0 | 163M| 102 | 35 | 200 |3130 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
743.21/743.23 c 743s| 1300k| 88961 | 18131k| 13.9 | 164M| 102 | - | 200 |3130 | 200 | 225 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
748.21/748.25 c 748s| 1310k| 89307 | 18249k| 13.9 | 164M| 102 | - | 200 |3130 | 200 | 235 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
753.21/753.26 c 753s| 1320k| 89537 | 18367k| 13.9 | 165M| 102 | 53 | 200 |3130 | 200 | 216 | 11M| 0 | 17k|-3.844444e+01 |-3.000000e+01 | 21.97%
758.32/758.32 c 758s| 1330k| 89813 | 18486k| 13.9 | 165M| 102 | 22 | 200 |3130 | 200 | 200 | 11M| 0 | 17k|-3.840741e+01 |-3.000000e+01 | 21.89%
763.33/763.39 c 763s| 1340k| 90123 | 18604k| 13.9 | 166M| 102 | 22 | 200 |3130 | 200 | 215 | 11M| 0 | 17k|-3.838462e+01 |-3.000000e+01 | 21.84%
768.31/768.39 c 768s| 1350k| 90345 | 18721k| 13.9 | 166M| 102 | - | 200 |3130 | 200 | 216 | 11M| 0 | 17k|-3.836364e+01 |-3.000000e+01 | 21.80%
773.41/773.40 c 773s| 1360k| 90649 | 18838k| 13.8 | 167M| 102 | 49 | 200 |3130 | 200 | 213 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
778.32/778.40 c 778s| 1370k| 90857 | 18954k| 13.8 | 168M| 102 | - | 200 |3130 | 200 | 222 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
783.42/783.45 c 783s| 1380k| 91177 | 19074k| 13.8 | 168M| 102 | 47 | 200 |3130 | 200 | 236 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
788.42/788.49 c 788s| 1390k| 91449 | 19192k| 13.8 | 169M| 102 | - | 200 |3130 | 200 | 240 | 12M| 0 | 17k|-3.828571e+01 |-3.000000e+01 | 21.64%
793.41/793.45 c 793s| 1400k| 91693 | 19308k| 13.8 | 169M| 102 | - | 200 |3130 | 200 | 217 | 12M| 0 | 17k|-3.825000e+01 |-3.000000e+01 | 21.57%
798.42/798.41 c 798s| 1410k| 91955 | 19423k| 13.8 | 170M| 102 | 58 | 200 |3130 | 200 | 233 | 12M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
803.32/803.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.32/803.32 c 803s| 1420k| 92215 | 19537k| 13.8 | 170M| 102 | - | 200 |3130 | 200 | 236 | 12M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
808.21/808.28 c 808s| 1430k| 92435 | 19652k| 13.7 | 171M| 102 | 36 | 200 |3130 | 200 | 214 | 12M| 0 | 18k|-3.821429e+01 |-3.000000e+01 | 21.50%
813.21/813.29 c 813s| 1440k| 92749 | 19770k| 13.7 | 171M| 102 | 44 | 200 |3130 | 200 | 200 | 12M| 0 | 18k|-3.819231e+01 |-3.000000e+01 | 21.45%
818.22/818.24 c 818s| 1450k| 92983 | 19885k| 13.7 | 172M| 102 | - | 200 |3130 | 200 | 256 | 12M| 0 | 18k|-3.816667e+01 |-3.000000e+01 | 21.40%
823.21/823.27 c 823s| 1460k| 93229 | 20002k| 13.7 | 172M| 102 | - | 200 |3130 | 200 | 272 | 12M| 0 | 18k|-3.814894e+01 |-3.000000e+01 | 21.36%
828.12/828.12 c 828s| 1470k| 93389 | 20114k| 13.7 | 173M| 102 | - | 200 |3130 | 200 | 240 | 12M| 0 | 18k|-3.812500e+01 |-3.000000e+01 | 21.31%
833.11/833.12 c 833s| 1480k| 93679 | 20231k| 13.7 | 173M| 102 | - | 200 |3130 | 200 | 210 | 12M| 0 | 18k|-3.810000e+01 |-3.000000e+01 | 21.26%
837.92/837.96 c 838s| 1490k| 93845 | 20341k| 13.6 | 174M| 102 | - | 200 |3130 | 200 | 231 | 12M| 0 | 18k|-3.807692e+01 |-3.000000e+01 | 21.21%
842.81/842.88 c 843s| 1500k| 94057 | 20454k| 13.6 | 174M| 102 | 22 | 200 |3130 | 200 | 216 | 12M| 0 | 18k|-3.802778e+01 |-3.000000e+01 | 21.11%
847.81/847.80 c 848s| 1510k| 94359 | 20569k| 13.6 | 175M| 102 | - | 200 |3130 | 200 | 238 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
852.72/852.76 c 853s| 1520k| 94619 | 20685k| 13.6 | 175M| 102 | 48 | 200 |3130 | 200 | 242 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
857.62/857.64 c 858s| 1530k| 94833 | 20798k| 13.6 | 176M| 102 | - | 200 |3130 | 200 | 216 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
862.61/862.61 c 863s| 1540k| 95113 | 20914k| 13.6 | 176M| 102 | - | 200 |3130 | 200 | 232 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
867.52/867.50 c 868s| 1550k| 95289 | 21026k| 13.6 | 177M| 102 | - | 200 |3130 | 200 | 215 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
872.23/872.31 c 872s| 1560k| 95477 | 21136k| 13.5 | 177M| 102 | - | 200 |3130 | 200 | 230 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
877.12/877.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.12/877.17 c 877s| 1570k| 95681 | 21247k| 13.5 | 178M| 102 | - | 200 |3130 | 200 | 231 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
882.02/882.05 c 882s| 1580k| 95897 | 21359k| 13.5 | 178M| 102 | - | 200 |3130 | 200 | 206 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
887.02/887.03 c 887s| 1590k| 96117 | 21475k| 13.5 | 179M| 102 | 58 | 200 |3130 | 200 | 252 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
892.03/892.02 c 892s| 1600k| 96389 | 21591k| 13.5 | 179M| 102 | 54 | 200 |3130 | 200 | 233 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
897.02/897.00 c 897s| 1610k| 96675 | 21706k| 13.5 | 180M| 102 | - | 200 |3130 | 200 | 214 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
901.81/901.90 c 902s| 1620k| 96941 | 21819k| 13.5 | 180M| 102 | - | 200 |3130 | 200 | 253 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
906.81/906.80 c 907s| 1630k| 97157 | 21933k| 13.4 | 181M| 102 | - | 200 |3130 | 200 | 228 | 13M| 0 | 19k|-3.795000e+01 |-3.000000e+01 | 20.95%
911.72/911.76 c 912s| 1640k| 97317 | 22046k| 13.4 | 181M| 102 | 59 | 200 |3130 | 200 | 246 | 13M| 0 | 19k|-3.792308e+01 |-3.000000e+01 | 20.89%
916.62/916.66 c 917s| 1650k| 97567 | 22159k| 13.4 | 182M| 102 | 44 | 200 |3130 | 200 | 242 | 14M| 0 | 19k|-3.790000e+01 |-3.000000e+01 | 20.84%
921.52/921.54 c 922s| 1660k| 97687 | 22270k| 13.4 | 182M| 102 | - | 200 |3130 | 200 | 214 | 14M| 0 | 19k|-3.787500e+01 |-3.000000e+01 | 20.79%
926.32/926.34 c 926s| 1670k| 97841 | 22379k| 13.4 | 182M| 102 | - | 200 |3130 | 200 | 224 | 14M| 0 | 19k|-3.785204e+01 |-3.000000e+01 | 20.74%
931.31/931.30 c 931s| 1680k| 98125 | 22493k| 13.4 | 183M| 102 | - | 200 |3130 | 200 | 237 | 14M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
936.14/936.15 c 936s| 1690k| 98307 | 22604k| 13.4 | 183M| 102 | - | 200 |3130 | 200 | 231 | 14M| 0 | 19k|-3.781818e+01 |-3.000000e+01 | 20.67%
941.02/941.03 c 941s| 1700k| 98513 | 22716k| 13.4 | 184M| 102 | - | 200 |3130 | 200 | 231 | 14M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
945.82/945.86 c 946s| 1710k| 98675 | 22827k| 13.3 | 184M| 102 | - | 200 |3130 | 200 | 246 | 14M| 0 | 19k|-3.777778e+01 |-3.000000e+01 | 20.59%
950.72/950.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.72/950.72 c 951s| 1720k| 98833 | 22938k| 13.3 | 184M| 102 | 51 | 200 |3130 | 200 | 249 | 14M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
955.52/955.56 c 956s| 1730k| 98977 | 23047k| 13.3 | 185M| 102 | 39 | 200 |3130 | 200 | 225 | 14M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
960.34/960.35 c 960s| 1740k| 99151 | 23155k| 13.3 | 185M| 102 | - | 200 |3130 | 200 | 235 | 14M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
965.22/965.21 c 965s| 1750k| 99365 | 23265k| 13.3 | 186M| 102 | 35 | 200 |3130 | 200 | 215 | 14M| 0 | 19k|-3.773913e+01 |-3.000000e+01 | 20.51%
970.02/970.00 c 970s| 1760k| 99533 | 23374k| 13.3 | 186M| 102 | 36 | 200 |3130 | 200 | 227 | 14M| 0 | 20k|-3.771429e+01 |-3.000000e+01 | 20.45%
974.92/974.90 c 975s| 1770k| 99701 | 23485k| 13.3 | 186M| 102 | - | 200 |3130 | 200 | 218 | 14M| 0 | 20k|-3.768421e+01 |-3.000000e+01 | 20.39%
979.72/979.78 c 980s| 1780k| 99935 | 23596k| 13.3 | 187M| 102 | 47 | 200 |3130 | 200 | 235 | 14M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
984.54/984.55 c 985s| 1790k|100143 | 23705k| 13.2 | 187M| 102 | 12 | 200 |3130 | 200 | 220 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
989.32/989.37 c 989s| 1800k|100297 | 23815k| 13.2 | 188M| 102 | - | 200 |3130 | 200 | 232 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
994.22/994.22 c 994s| 1810k|100431 | 23924k| 13.2 | 188M| 102 | - | 200 |3130 | 200 | 216 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
999.02/999.04 c 999s| 1820k|100607 | 24034k| 13.2 | 188M| 102 | 64 | 200 |3130 | 200 | 243 | 15M| 0 | 20k|-3.762500e+01 |-3.000000e+01 | 20.27%
1003.82/1003.84 c 1004s| 1830k|100735 | 24141k| 13.2 | 189M| 102 | - | 200 |3130 | 200 | 232 | 15M| 0 | 20k|-3.761404e+01 |-3.000000e+01 | 20.24%
1008.64/1008.64 c 1009s| 1840k|100927 | 24249k| 13.2 | 189M| 102 | 18 | 200 |3130 | 200 | 200 | 15M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
1013.33/1013.36 c 1013s| 1850k|101071 | 24355k| 13.2 | 190M| 102 | - | 200 |3130 | 200 | 238 | 15M| 0 | 20k|-3.757143e+01 |-3.000000e+01 | 20.15%
1018.12/1018.19 c 1018s| 1860k|101293 | 24464k| 13.1 | 190M| 102 | - | 200 |3130 | 200 | 256 | 15M| 0 | 20k|-3.755556e+01 |-3.000000e+01 | 20.12%
1022.93/1022.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.93/1022.96 c 1023s| 1870k|101425 | 24571k| 13.1 | 190M| 102 | - | 200 |3130 | 200 | 240 | 15M| 0 | 20k|-3.752381e+01 |-3.000000e+01 | 20.05%
1027.62/1027.69 c 1028s| 1880k|101537 | 24677k| 13.1 | 191M| 102 | 54 | 200 |3130 | 200 | 219 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1032.32/1032.38 c 1032s| 1890k|101669 | 24781k| 13.1 | 191M| 102 | - | 200 |3130 | 200 | 213 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1037.02/1037.09 c 1037s| 1900k|101779 | 24886k| 13.1 | 191M| 102 | 45 | 200 |3130 | 200 | 248 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1041.82/1041.83 c 1042s| 1910k|101889 | 24993k| 13.1 | 192M| 102 | 20 | 200 |3130 | 200 | 217 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1046.63/1046.63 c 1047s| 1920k|102033 | 25101k| 13.1 | 192M| 102 | - | 200 |3130 | 200 | 243 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1051.32/1051.37 c 1051s| 1930k|102219 | 25208k| 13.1 | 192M| 102 | 65 | 200 |3130 | 200 | 230 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1056.12/1056.13 c 1056s| 1940k|102413 | 25315k| 13.0 | 193M| 102 | - | 200 |3130 | 200 | 232 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1060.82/1060.88 c 1061s| 1950k|102599 | 25421k| 13.0 | 193M| 102 | 58 | 200 |3130 | 200 | 232 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1065.52/1065.58 c 1066s| 1960k|102743 | 25526k| 13.0 | 193M| 102 | - | 200 |3130 | 200 | 246 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1070.35/1070.32 c 1070s| 1970k|102897 | 25632k| 13.0 | 194M| 102 | - | 200 |3130 | 200 | 213 | 16M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1075.12/1075.13 c 1075s| 1980k|103099 | 25741k| 13.0 | 194M| 102 | - | 200 |3130 | 200 | 234 | 16M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1079.92/1079.93 c 1080s| 1990k|103261 | 25850k| 13.0 | 195M| 102 | 47 | 200 |3130 | 200 | 249 | 16M| 0 | 21k|-3.745415e+01 |-3.000000e+01 | 19.90%
1084.65/1084.65 c 1085s| 2000k|103361 | 25953k| 13.0 | 195M| 102 | 59 | 200 |3130 | 200 | 260 | 16M| 0 | 21k|-3.742857e+01 |-3.000000e+01 | 19.85%
1089.32/1089.37 c 1089s| 2010k|103515 | 26059k| 13.0 | 195M| 102 | - | 200 |3130 | 200 | 235 | 16M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1094.13/1094.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.13/1094.17 c 1094s| 2020k|103709 | 26168k| 12.9 | 196M| 102 | 36 | 200 |3130 | 200 | 208 | 16M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1098.84/1098.90 c 1099s| 2030k|103799 | 26272k| 12.9 | 196M| 102 | 57 | 200 |3130 | 200 | 245 | 16M| 0 | 21k|-3.737500e+01 |-3.000000e+01 | 19.73%
1103.62/1103.60 c 1104s| 2040k|103899 | 26375k| 12.9 | 196M| 102 | - | 200 |3130 | 200 | 232 | 16M| 0 | 21k|-3.735294e+01 |-3.000000e+01 | 19.69%
1108.22/1108.25 c 1108s| 2050k|104019 | 26476k| 12.9 | 196M| 102 | 12 | 200 |3130 | 200 | 217 | 16M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1113.03/1113.00 c 1113s| 2060k|104173 | 26582k| 12.9 | 197M| 102 | 16 | 200 |3130 | 200 | 200 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1117.73/1117.75 c 1118s| 2070k|104345 | 26689k| 12.9 | 197M| 102 | 49 | 200 |3130 | 200 | 233 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1122.53/1122.54 c 1123s| 2080k|104487 | 26796k| 12.9 | 198M| 102 | - | 200 |3130 | 200 | 230 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1127.23/1127.22 c 1127s| 2090k|104597 | 26900k| 12.9 | 198M| 102 | 32 | 200 |3130 | 200 | 224 | 17M| 0 | 21k|-3.730000e+01 |-3.000000e+01 | 19.57%
1131.95/1131.98 c 1132s| 2100k|104773 | 27005k| 12.9 | 198M| 102 | - | 200 |3130 | 200 | 250 | 17M| 0 | 21k|-3.728261e+01 |-3.000000e+01 | 19.53%
1136.62/1136.66 c 1137s| 2110k|104863 | 27108k| 12.8 | 199M| 102 | 47 | 200 |3130 | 200 | 230 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1141.32/1141.37 c 1141s| 2120k|104985 | 27213k| 12.8 | 199M| 102 | 56 | 200 |3130 | 200 | 223 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1146.13/1146.12 c 1146s| 2130k|105163 | 27319k| 12.8 | 199M| 102 | 4 | 200 |3130 | 200 | 223 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1150.73/1150.79 c 1151s| 2140k|105247 | 27421k| 12.8 | 199M| 102 | - | 200 |3130 | 200 | 226 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1155.52/1155.53 c 1156s| 2150k|105347 | 27526k| 12.8 | 200M| 106 | 52 | 200 |3130 | 200 | 231 | 17M| 0 | 21k|-3.722727e+01 |-3.000000e+01 | 19.41%
1160.22/1160.25 c 1160s| 2160k|105451 | 27630k| 12.8 | 200M| 106 | 26 | 200 |3130 | 200 | 224 | 17M| 0 | 21k|-3.720000e+01 |-3.000000e+01 | 19.35%
1164.95/1164.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.95/1164.99 c 1165s| 2170k|105633 | 27737k| 12.8 | 200M| 106 | 28 | 200 |3130 | 200 | 213 | 17M| 0 | 21k|-3.720000e+01 |-3.000000e+01 | 19.35%
1169.63/1169.65 c 1170s| 2180k|105689 | 27838k| 12.8 | 201M| 106 | - | 200 |3130 | 200 | 212 | 17M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1174.33/1174.33 c 1174s| 2190k|105781 | 27942k| 12.8 | 201M| 106 | 34 | 200 |3130 | 200 | 210 | 17M| 0 | 22k|-3.716667e+01 |-3.000000e+01 | 19.28%
1179.02/1179.03 c 1179s| 2200k|105905 | 28047k| 12.7 | 201M| 106 | 15 | 200 |3130 | 200 | 222 | 17M| 0 | 22k|-3.714286e+01 |-3.000000e+01 | 19.23%
1183.73/1183.76 c 1184s| 2210k|106015 | 28150k| 12.7 | 202M| 106 | 48 | 200 |3130 | 200 | 213 | 18M| 0 | 22k|-3.712500e+01 |-3.000000e+01 | 19.19%
1188.42/1188.47 c 1188s| 2220k|106105 | 28254k| 12.7 | 202M| 106 | 36 | 200 |3130 | 200 | 256 | 18M| 0 | 22k|-3.710526e+01 |-3.000000e+01 | 19.15%
1193.22/1193.22 c 1193s| 2230k|106217 | 28360k| 12.7 | 202M| 106 | - | 200 |3130 | 200 | 235 | 18M| 0 | 22k|-3.708333e+01 |-3.000000e+01 | 19.10%
1197.84/1197.88 c 1198s| 2240k|106321 | 28463k| 12.7 | 202M| 106 | - | 200 |3130 | 200 | 244 | 18M| 0 | 22k|-3.706250e+01 |-3.000000e+01 | 19.06%
1202.52/1202.59 c 1203s| 2250k|106475 | 28567k| 12.7 | 203M| 106 | - | 200 |3130 | 200 | 234 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1207.23/1207.27 c 1207s| 2260k|106659 | 28670k| 12.7 | 203M| 106 | 29 | 200 |3130 | 200 | 256 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1211.83/1211.89 c 1212s| 2270k|106751 | 28773k| 12.7 | 203M| 106 | - | 200 |3130 | 200 | 211 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1216.42/1216.51 c 1217s| 2280k|106855 | 28874k| 12.7 | 204M| 106 | 30 | 200 |3130 | 200 | 223 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1221.05/1221.09 c 1221s| 2290k|106929 | 28974k| 12.6 | 204M| 106 | 21 | 200 |3130 | 200 | 200 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1225.73/1225.80 c 1226s| 2300k|107013 | 29079k| 12.6 | 204M| 106 | 10 | 200 |3130 | 200 | 224 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1230.43/1230.44 c 1230s| 2310k|107091 | 29181k| 12.6 | 204M| 106 | 62 | 200 |3130 | 200 | 235 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1235.02/1235.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.02/1235.06 c 1235s| 2320k|107181 | 29282k| 12.6 | 205M| 106 | 58 | 200 |3130 | 200 | 209 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1239.74/1239.79 c 1240s| 2330k|107379 | 29386k| 12.6 | 205M| 106 | 46 | 200 |3130 | 200 | 215 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1244.33/1244.35 c 1244s| 2340k|107491 | 29487k| 12.6 | 205M| 106 | 20 | 200 |3130 | 200 | 215 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1248.93/1248.96 c 1249s| 2350k|107637 | 29589k| 12.6 | 206M| 106 | 11 | 200 |3130 | 200 | 213 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1253.62/1253.60 c 1254s| 2360k|107757 | 29692k| 12.6 | 206M| 106 | 38 | 200 |3130 | 200 | 209 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1258.22/1258.25 c 1258s| 2370k|107863 | 29795k| 12.6 | 206M| 106 | - | 200 |3130 | 200 | 225 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1262.85/1262.87 c 1263s| 2380k|107987 | 29895k| 12.6 | 207M| 106 | - | 200 |3130 | 200 | 216 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1267.42/1267.49 c 1267s| 2390k|108065 | 29997k| 12.5 | 207M| 106 | 54 | 200 |3130 | 200 | 232 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1272.13/1272.12 c 1272s| 2400k|108109 | 30098k| 12.5 | 207M| 106 | - | 200 |3130 | 200 | 256 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1276.63/1276.69 c 1277s| 2410k|108231 | 30199k| 12.5 | 207M| 106 | 20 | 200 |3130 | 200 | 215 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1281.33/1281.35 c 1281s| 2420k|108353 | 30302k| 12.5 | 208M| 106 | - | 200 |3130 | 200 | 216 | 19M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1286.03/1286.02 c 1286s| 2430k|108467 | 30405k| 12.5 | 208M| 106 | 17 | 200 |3130 | 200 | 215 | 19M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1290.62/1290.66 c 1291s| 2440k|108561 | 30507k| 12.5 | 208M| 106 | - | 200 |3130 | 200 | 215 | 19M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1295.23/1295.26 c 1295s| 2450k|108655 | 30608k| 12.5 | 208M| 106 | - | 200 |3130 | 200 | 215 | 19M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1299.93/1299.93 c 1300s| 2460k|108827 | 30711k| 12.5 | 209M| 106 | - | 200 |3130 | 200 | 241 | 19M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1304.43/1304.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.43/1304.47 c 1304s| 2470k|108889 | 30810k| 12.5 | 209M| 106 | 9 | 200 |3130 | 200 | 217 | 19M| 0 | 23k|-3.694737e+01 |-3.000000e+01 | 18.80%
1309.13/1309.13 c 1309s| 2480k|108979 | 30911k| 12.5 | 209M| 106 | - | 200 |3130 | 200 | 265 | 19M| 0 | 23k|-3.692308e+01 |-3.000000e+01 | 18.75%
1313.73/1313.71 c 1314s| 2490k|109073 | 31011k| 12.5 | 209M| 106 | 37 | 200 |3130 | 200 | 213 | 19M| 0 | 23k|-3.690000e+01 |-3.000000e+01 | 18.70%
1318.23/1318.27 c 1318s| 2500k|109105 | 31109k| 12.4 | 210M| 106 | 18 | 200 |3130 | 200 | 212 | 20M| 0 | 23k|-3.688889e+01 |-3.000000e+01 | 18.67%
1322.83/1322.81 c 1323s| 2510k|109185 | 31209k| 12.4 | 210M| 106 | - | 200 |3130 | 200 | 249 | 20M| 0 | 23k|-3.687500e+01 |-3.000000e+01 | 18.64%
1327.43/1327.41 c 1327s| 2520k|109235 | 31308k| 12.4 | 210M| 106 | - | 200 |3130 | 200 | 248 | 20M| 0 | 23k|-3.685714e+01 |-3.000000e+01 | 18.60%
1332.04/1332.02 c 1332s| 2530k|109305 | 31409k| 12.4 | 210M| 106 | 45 | 200 |3130 | 200 | 200 | 20M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1336.63/1336.61 c 1337s| 2540k|109431 | 31510k| 12.4 | 211M| 106 | 4 | 200 |3130 | 200 | 217 | 20M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1341.23/1341.27 c 1341s| 2550k|109467 | 31612k| 12.4 | 211M| 106 | - | 200 |3130 | 200 | 214 | 20M| 0 | 23k|-3.682609e+01 |-3.000000e+01 | 18.54%
1345.83/1345.82 c 1346s| 2560k|109531 | 31711k| 12.4 | 211M| 106 | 28 | 200 |3130 | 200 | 200 | 20M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1350.33/1350.37 c 1350s| 2570k|109631 | 31810k| 12.4 | 211M| 106 | 14 | 200 |3130 | 200 | 213 | 20M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1354.93/1354.94 c 1355s| 2580k|109723 | 31911k| 12.4 | 212M| 106 | - | 200 |3130 | 200 | 243 | 20M| 0 | 23k|-3.677778e+01 |-3.000000e+01 | 18.43%
1359.55/1359.57 c 1360s| 2590k|109773 | 32012k| 12.4 | 212M| 106 | 25 | 200 |3130 | 200 | 217 | 20M| 0 | 23k|-3.675758e+01 |-3.000000e+01 | 18.38%
1364.13/1364.13 c 1364s| 2600k|109851 | 32112k| 12.3 | 212M| 106 | 42 | 200 |3130 | 200 | 217 | 20M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1368.63/1368.63 c 1369s| 2610k|109895 | 32210k| 12.3 | 212M| 106 | 28 | 200 |3130 | 200 | 219 | 20M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1373.24/1373.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.24/1373.22 c 1373s| 2620k|110003 | 32312k| 12.3 | 212M| 106 | - | 200 |3130 | 200 | 216 | 20M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1377.84/1377.85 c 1378s| 2630k|110067 | 32413k| 12.3 | 213M| 106 | - | 200 |3130 | 200 | 232 | 20M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1382.33/1382.39 c 1382s| 2640k|110159 | 32510k| 12.3 | 213M| 106 | - | 200 |3130 | 200 | 250 | 20M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1386.93/1386.94 c 1387s| 2650k|110237 | 32609k| 12.3 | 213M| 106 | - | 200 |3130 | 200 | 237 | 21M| 0 | 23k|-3.672727e+01 |-3.000000e+01 | 18.32%
1391.55/1391.56 c 1392s| 2660k|110295 | 32710k| 12.3 | 213M| 106 | 24 | 200 |3130 | 200 | 214 | 21M| 0 | 23k|-3.670833e+01 |-3.000000e+01 | 18.27%
1396.03/1396.06 c 1396s| 2670k|110363 | 32806k| 12.3 | 214M| 106 | - | 200 |3130 | 200 | 225 | 21M| 0 | 23k|-3.669231e+01 |-3.000000e+01 | 18.24%
1400.53/1400.59 c 1401s| 2680k|110411 | 32905k| 12.3 | 214M| 106 | 54 | 200 |3130 | 200 | 234 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1405.03/1405.09 c 1405s| 2690k|110421 | 33002k| 12.3 | 214M| 106 | - | 200 |3130 | 200 | 235 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1409.63/1409.61 c 1410s| 2700k|110431 | 33098k| 12.3 | 214M| 106 | - | 200 |3130 | 200 | 216 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1414.13/1414.15 c 1414s| 2710k|110491 | 33196k| 12.2 | 214M| 106 | - | 200 |3130 | 200 | 217 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1418.73/1418.79 c 1419s| 2720k|110603 | 33298k| 12.2 | 215M| 106 | - | 200 |3130 | 200 | 243 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1423.34/1423.32 c 1423s| 2730k|110665 | 33396k| 12.2 | 215M| 106 | 17 | 200 |3130 | 200 | 241 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1427.85/1427.85 c 1428s| 2740k|110685 | 33494k| 12.2 | 215M| 106 | 50 | 200 |3130 | 200 | 214 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1432.33/1432.37 c 1432s| 2750k|110725 | 33593k| 12.2 | 215M| 106 | - | 200 |3130 | 200 | 214 | 21M| 0 | 24k|-3.664706e+01 |-3.000000e+01 | 18.14%
1436.93/1436.95 c 1437s| 2760k|110797 | 33693k| 12.2 | 215M| 106 | - | 200 |3130 | 200 | 247 | 21M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1441.43/1441.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.43/1441.40 c 1441s| 2770k|110789 | 33787k| 12.2 | 215M| 106 | 49 | 200 |3130 | 200 | 248 | 21M| 0 | 24k|-3.661538e+01 |-3.000000e+01 | 18.07%
1445.84/1445.86 c 1446s| 2780k|110795 | 33883k| 12.2 | 216M| 106 | 38 | 200 |3130 | 200 | 230 | 21M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1450.33/1450.38 c 1450s| 2790k|110855 | 33980k| 12.2 | 216M| 106 | - | 200 |3130 | 200 | 252 | 21M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1454.83/1454.88 c 1455s| 2800k|110887 | 34077k| 12.2 | 216M| 106 | - | 200 |3130 | 200 | 219 | 22M| 0 | 24k|-3.658333e+01 |-3.000000e+01 | 18.00%
1459.34/1459.35 c 1459s| 2810k|110919 | 34172k| 12.2 | 216M| 106 | - | 200 |3130 | 200 | 217 | 22M| 0 | 24k|-3.657143e+01 |-3.000000e+01 | 17.97%
1463.84/1463.82 c 1464s| 2820k|110933 | 34268k| 12.1 | 216M| 106 | - | 200 |3130 | 200 | 241 | 22M| 0 | 24k|-3.655000e+01 |-3.000000e+01 | 17.92%
1468.33/1468.37 c 1468s| 2830k|110957 | 34365k| 12.1 | 216M| 106 | 47 | 200 |3130 | 200 | 212 | 22M| 0 | 24k|-3.652500e+01 |-3.000000e+01 | 17.86%
1472.95/1472.92 c 1473s| 2840k|111033 | 34465k| 12.1 | 217M| 106 | 9 | 200 |3130 | 200 | 225 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1477.43/1477.44 c 1477s| 2850k|111081 | 34561k| 12.1 | 217M| 106 | 33 | 200 |3130 | 200 | 215 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1481.94/1481.90 c 1482s| 2860k|111079 | 34657k| 12.1 | 217M| 106 | - | 200 |3130 | 200 | 254 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1486.33/1486.39 c 1486s| 2870k|111131 | 34754k| 12.1 | 217M| 106 | 40 | 200 |3130 | 200 | 228 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1490.83/1490.86 c 1491s| 2880k|111159 | 34850k| 12.1 | 217M| 106 | 42 | 200 |3130 | 200 | 228 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1495.34/1495.38 c 1495s| 2890k|111185 | 34948k| 12.1 | 218M| 106 | - | 200 |3130 | 200 | 239 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1499.83/1499.85 c 1500s| 2900k|111179 | 35044k| 12.1 | 218M| 106 | 50 | 200 |3130 | 200 | 225 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1504.24/1504.28 c 1504s| 2910k|111175 | 35138k| 12.1 | 218M| 106 | - | 200 |3130 | 200 | 248 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1508.74/1508.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.74/1508.73 c 1509s| 2920k|111269 | 35235k| 12.1 | 218M| 106 | 52 | 200 |3130 | 200 | 222 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1513.24/1513.29 c 1513s| 2930k|111363 | 35333k| 12.1 | 218M| 106 | - | 200 |3130 | 200 | 248 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1517.73/1517.78 c 1518s| 2940k|111427 | 35431k| 12.0 | 219M| 106 | 10 | 200 |3130 | 200 | 218 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1522.23/1522.22 c 1522s| 2950k|111473 | 35525k| 12.0 | 219M| 106 | 56 | 200 |3130 | 200 | 227 | 22M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1526.64/1526.64 c 1527s| 2960k|111489 | 35620k| 12.0 | 219M| 106 | - | 200 |3130 | 200 | 250 | 23M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1531.04/1531.09 c 1531s| 2970k|111537 | 35715k| 12.0 | 219M| 106 | 22 | 200 |3130 | 200 | 213 | 23M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1535.55/1535.53 c 1536s| 2980k|111591 | 35810k| 12.0 | 219M| 106 | 36 | 200 |3130 | 200 | 218 | 23M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1539.95/1540.00 c 1540s| 2990k|111589 | 35905k| 12.0 | 219M| 106 | 19 | 200 |3130 | 200 | 217 | 23M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1544.35/1544.40 c 1544s| 3000k|111591 | 36000k| 12.0 | 219M| 106 | - | 200 |3130 | 200 | 217 | 23M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1548.86/1548.86 c 1549s| 3010k|111585 | 36095k| 12.0 | 220M| 106 | - | 200 |3130 | 200 | 231 | 23M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1553.26/1553.29 c 1553s| 3020k|111607 | 36191k| 12.0 | 220M| 106 | 41 | 200 |3130 | 200 | 228 | 23M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1557.84/1557.83 c 1558s| 3030k|111685 | 36289k| 12.0 | 220M| 106 | - | 200 |3130 | 200 | 215 | 23M| 0 | 25k|-3.649091e+01 |-3.000000e+01 | 17.79%
1562.23/1562.28 c 1562s| 3040k|111677 | 36384k| 12.0 | 220M| 111 | - | 200 |3130 | 200 | 237 | 23M| 0 | 25k|-3.644444e+01 |-3.000000e+01 | 17.68%
1566.84/1566.84 c 1567s| 3050k|111693 | 36482k| 12.0 | 220M| 111 | - | 200 |3130 | 200 | 230 | 23M| 0 | 25k|-3.642105e+01 |-3.000000e+01 | 17.63%
1571.33/1571.32 c 1571s| 3060k|111735 | 36578k| 12.0 | 220M| 111 | - | 200 |3130 | 200 | 239 | 23M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1575.84/1575.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.84/1575.84 c 1576s| 3070k|111793 | 36675k| 11.9 | 221M| 111 | 22 | 200 |3130 | 200 | 237 | 23M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1580.24/1580.29 c 1580s| 3080k|111787 | 36770k| 11.9 | 221M| 111 | - | 200 |3130 | 200 | 226 | 23M| 0 | 25k|-3.637500e+01 |-3.000000e+01 | 17.53%
1584.74/1584.74 c 1585s| 3090k|111779 | 36864k| 11.9 | 221M| 111 | 39 | 200 |3130 | 200 | 214 | 23M| 0 | 25k|-3.637500e+01 |-3.000000e+01 | 17.53%
1589.24/1589.20 c 1589s| 3100k|111787 | 36960k| 11.9 | 221M| 111 | 55 | 200 |3130 | 200 | 238 | 23M| 0 | 25k|-3.635000e+01 |-3.000000e+01 | 17.47%
1593.64/1593.70 c 1594s| 3110k|111781 | 37056k| 11.9 | 221M| 111 | - | 200 |3130 | 200 | 213 | 23M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1598.14/1598.12 c 1598s| 3120k|111771 | 37150k| 11.9 | 221M| 111 | 34 | 200 |3130 | 200 | 217 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1602.54/1602.53 c 1603s| 3130k|111809 | 37243k| 11.9 | 221M| 111 | - | 200 |3130 | 200 | 226 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1606.94/1606.99 c 1607s| 3140k|111819 | 37338k| 11.9 | 221M| 111 | - | 200 |3130 | 200 | 252 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1611.45/1611.44 c 1611s| 3150k|111875 | 37433k| 11.9 | 222M| 111 | 12 | 200 |3130 | 200 | 227 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1615.86/1615.90 c 1616s| 3160k|111885 | 37529k| 11.9 | 222M| 111 | - | 200 |3130 | 200 | 216 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1620.36/1620.37 c 1620s| 3170k|111911 | 37624k| 11.9 | 222M| 111 | 11 | 200 |3130 | 200 | 212 | 24M| 0 | 25k|-3.630769e+01 |-3.000000e+01 | 17.37%
1624.84/1624.86 c 1625s| 3180k|111929 | 37720k| 11.9 | 222M| 111 | 41 | 200 |3130 | 200 | 211 | 24M| 0 | 25k|-3.628571e+01 |-3.000000e+01 | 17.32%
1629.34/1629.37 c 1629s| 3190k|111951 | 37816k| 11.9 | 222M| 111 | - | 200 |3130 | 200 | 213 | 24M| 0 | 25k|-3.626667e+01 |-3.000000e+01 | 17.28%
1633.84/1633.81 c 1634s| 3200k|111975 | 37911k| 11.8 | 222M| 111 | 8 | 200 |3130 | 200 | 212 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1638.24/1638.25 c 1638s| 3210k|111993 | 38005k| 11.8 | 222M| 111 | - | 200 |3130 | 200 | 216 | 24M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1642.74/1642.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.74/1642.76 c 1643s| 3220k|112007 | 38102k| 11.8 | 223M| 111 | 30 | 200 |3130 | 200 | 211 | 24M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1647.24/1647.29 c 1647s| 3230k|112081 | 38200k| 11.8 | 223M| 111 | - | 200 |3130 | 200 | 223 | 24M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1651.64/1651.67 c 1652s| 3240k|112103 | 38294k| 11.8 | 223M| 111 | 54 | 200 |3130 | 200 | 239 | 24M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1656.14/1656.13 c 1656s| 3250k|112129 | 38389k| 11.8 | 223M| 111 | 40 | 200 |3130 | 200 | 228 | 24M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1660.44/1660.49 c 1660s| 3260k|112135 | 38482k| 11.8 | 223M| 111 | 24 | 200 |3130 | 200 | 226 | 24M| 0 | 26k|-3.622222e+01 |-3.000000e+01 | 17.18%
1664.84/1664.89 c 1665s| 3270k|112109 | 38574k| 11.8 | 223M| 111 | 44 | 200 |3130 | 200 | 234 | 24M| 0 | 26k|-3.620000e+01 |-3.000000e+01 | 17.13%
1669.24/1669.27 c 1669s| 3280k|112113 | 38667k| 11.8 | 223M| 111 | - | 200 |3130 | 200 | 215 | 25M| 0 | 26k|-3.620000e+01 |-3.000000e+01 | 17.13%
1673.64/1673.68 c 1674s| 3290k|112121 | 38761k| 11.8 | 224M| 111 | 34 | 200 |3130 | 200 | 228 | 25M| 0 | 26k|-3.618750e+01 |-3.000000e+01 | 17.10%
1678.04/1678.07 c 1678s| 3300k|112085 | 38854k| 11.8 | 224M| 111 | 18 | 200 |3130 | 200 | 212 | 25M| 0 | 26k|-3.616667e+01 |-3.000000e+01 | 17.05%
1682.44/1682.49 c 1682s| 3310k|112095 | 38947k| 11.8 | 224M| 111 | - | 200 |3130 | 200 | 224 | 25M| 0 | 26k|-3.616667e+01 |-3.000000e+01 | 17.05%
1686.84/1686.84 c 1687s| 3320k|112045 | 39038k| 11.8 | 224M| 111 | - | 200 |3130 | 200 | 227 | 25M| 0 | 26k|-3.616667e+01 |-3.000000e+01 | 17.05%
1691.34/1691.30 c 1691s| 3330k|112057 | 39132k| 11.7 | 224M| 111 | 6 | 200 |3130 | 200 | 216 | 25M| 0 | 26k|-3.614286e+01 |-3.000000e+01 | 17.00%
1695.74/1695.70 c 1696s| 3340k|112065 | 39225k| 11.7 | 224M| 111 | - | 200 |3130 | 200 | 226 | 25M| 0 | 26k|-3.612500e+01 |-3.000000e+01 | 16.96%
1700.14/1700.16 c 1700s| 3350k|112067 | 39320k| 11.7 | 224M| 111 | - | 200 |3130 | 200 | 230 | 25M| 0 | 26k|-3.611404e+01 |-3.000000e+01 | 16.93%
1704.54/1704.59 c 1705s| 3360k|112095 | 39415k| 11.7 | 224M| 111 | 53 | 200 |3130 | 200 | 247 | 25M| 0 | 26k|-3.610000e+01 |-3.000000e+01 | 16.90%
1708.94/1708.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.94/1708.97 c 1709s| 3370k|112065 | 39506k| 11.7 | 224M| 111 | - | 200 |3130 | 200 | 226 | 25M| 0 | 26k|-3.607692e+01 |-3.000000e+01 | 16.84%
1713.34/1713.34 c 1713s| 3380k|112011 | 39599k| 11.7 | 224M| 111 | 54 | 200 |3130 | 200 | 223 | 25M| 0 | 26k|-3.604545e+01 |-3.000000e+01 | 16.77%
1717.84/1717.85 c 1718s| 3390k|112007 | 39694k| 11.7 | 224M| 111 | - | 200 |3130 | 200 | 226 | 25M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1722.34/1722.32 c 1722s| 3400k|112045 | 39790k| 11.7 | 225M| 111 | 13 | 200 |3130 | 200 | 215 | 25M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1726.74/1726.77 c 1727s| 3410k|112075 | 39886k| 11.7 | 225M| 111 | - | 200 |3130 | 200 | 232 | 25M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1731.15/1731.14 c 1731s| 3420k|112043 | 39978k| 11.7 | 225M| 111 | - | 200 |3130 | 200 | 231 | 25M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1735.54/1735.50 c 1735s| 3430k|112005 | 40070k| 11.7 | 225M| 111 | - | 200 |3130 | 200 | 246 | 25M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1739.94/1739.90 c 1740s| 3440k|111999 | 40163k| 11.7 | 225M| 111 | - | 200 |3130 | 200 | 218 | 26M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1744.34/1744.30 c 1744s| 3450k|111993 | 40257k| 11.7 | 225M| 111 | - | 200 |3130 | 200 | 224 | 26M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1748.74/1748.76 c 1749s| 3460k|112041 | 40352k| 11.7 | 225M| 111 | 67 | 200 |3130 | 200 | 249 | 26M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1753.04/1753.05 c 1753s| 3470k|112039 | 40441k| 11.7 | 225M| 111 | - | 200 |3130 | 200 | 249 | 26M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1757.44/1757.41 c 1757s| 3480k|112025 | 40534k| 11.6 | 226M| 111 | 14 | 200 |3130 | 200 | 213 | 26M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1761.75/1761.78 c 1762s| 3490k|112003 | 40626k| 11.6 | 226M| 111 | 24 | 200 |3130 | 200 | 224 | 26M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1766.14/1766.13 c 1766s| 3500k|112005 | 40718k| 11.6 | 226M| 111 | - | 200 |3130 | 200 | 247 | 26M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1770.55/1770.53 c 1771s| 3510k|112011 | 40811k| 11.6 | 226M| 111 | 51 | 200 |3130 | 200 | 227 | 26M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1774.95/1774.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.95/1774.91 c 1775s| 3520k|112011 | 40903k| 11.6 | 226M| 111 | 25 | 200 |3130 | 200 | 224 | 26M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1779.35/1779.32 c 1779s| 3530k|111999 | 40997k| 11.6 | 226M| 111 | 42 | 200 |3130 | 200 | 217 | 26M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1783.84/1783.84 c 1784s| 3540k|112045 | 41095k| 11.6 | 226M| 111 | - | 200 |3130 | 200 | 257 | 26M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1788.15/1788.17 c 1788s| 3550k|112059 | 41187k| 11.6 | 226M| 111 | - | 200 |3130 | 200 | 238 | 26M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1792.54/1792.52 c 1793s| 3560k|112043 | 41278k| 11.6 | 226M| 111 | - | 200 |3130 | 200 | 240 | 26M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1796.94/1796.92 c 1797s| 3570k|112065 | 41372k| 11.6 | 227M| 111 | - | 200 |3130 | 200 | 223 | 26M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 3576985
1800.04/1800.00 c Primal Bound : -3.00000000000000e+01 (561 solutions)
1800.04/1800.00 c Dual Bound : -3.60000000000000e+01
1800.04/1800.00 c Gap : 16.67 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 x190 -x189 x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.04/1800.00 v -x178 -x177 x176 -x175 -x174 x173 -x172 -x171 -x170 x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.04/1800.00 v x156 x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1800.04/1800.00 v -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114
1800.04/1800.00 v -x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1800.04/1800.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 -x65
1800.04/1800.00 v x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1800.04/1800.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
1800.04/1800.00 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.08 (included in solving)
1800.04/1800.00 c reading : 0.02 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450665-1307105842.opb
1800.04/1800.00 c Variables : 3330 (3330 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 3530 initial, 3530 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450665-1307105842.opb
1800.04/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 3130 initial, 3130 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 3130 0 0 3130 0 200 0 0 0
1800.04/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 2781998 0 688468 0 254 1694 0 0 3699804
1800.04/1800.00 c logicor : 3130 68 3588035 931089 0 688464 0 25 20545695 26875015 0 0
1800.04/1800.00 c countsols : 0 0 0 6 0 557 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 38.54 0.00 0.00 38.39 0.00 0.15 0.00
1800.04/1800.00 c logicor : 161.67 0.03 77.99 42.53 0.00 41.12 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 11 0 0 0
1800.04/1800.00 c pseudoobj : 5814153 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 1.05 1.05 0.00
1800.04/1800.00 c rootredcost : 1.17 1.17 0.00
1800.04/1800.00 c pseudoobj : 26.46 26.46 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.00 25 0 0 0.0 0 0.0 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 0 0.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.04 67 - - 195 - (maximal pool size: 2637)
1800.04/1800.00 c redcost : 15.50 3070451 0 558969 0 0
1800.04/1800.00 c impliedbounds : 0.01 68 0 0 1337 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 1.73 68 0 0 11241 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.29 20 0 0 8893 0
1800.04/1800.00 c cmir : 0.06 10 0 0 0 0
1800.04/1800.00 c flowcover : 0.05 10 0 0 0 0
1800.04/1800.00 c clique : 0.15 68 0 0 585 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 37.13 1850909 254 1694 0 0 3699804
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.01 - 6
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c feaspump : 0.07 0 0
1800.04/1800.00 c intshifting : 0.04 0 0
1800.04/1800.00 c oneopt : 0.77 14 1
1800.04/1800.00 c crossover : 1.52 28 19
1800.04/1800.00 c pscostdiving : 0.32 282 3
1800.04/1800.00 c fracdiving : 0.40 282 3
1800.04/1800.00 c coefdiving : 0.31 282 7
1800.04/1800.00 c linesearchdiving : 0.34 282 10
1800.04/1800.00 c veclendiving : 0.33 282 5
1800.04/1800.00 c guideddiving : 0.35 282 2
1800.04/1800.00 c objpscostdiving : 0.17 142 4
1800.04/1800.00 c rootsoldiving : 0.33 142 2
1800.04/1800.00 c trivial : 0.00 2 1
1800.04/1800.00 c shiftandpropagate: 0.00 0 0
1800.04/1800.00 c simplerounding : 52.54 1853647 486
1800.04/1800.00 c zirounding : 0.68 1000 9
1800.04/1800.00 c rounding : 5.60 91281 2
1800.04/1800.00 c shifting : 1.45 20479 1
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.01 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.01 1 0
1800.04/1800.00 c subnlp : 0.52 0 0
1800.04/1800.00 c trysol : 0.80 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 27.64 0 0 0.00 0.00
1800.04/1800.00 c dual LP : 1096.69 4514836 41403113 9.17 37752.72
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 1.25 5982 34781 5.81 27785.88
1800.04/1800.00 c strong branching : 16.69 27214 443362 16.29 26564.93
1800.04/1800.00 c (at root node) : - 18 13033 724.06 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 3576985
1800.04/1800.00 c nodes (total) : 3576985
1800.04/1800.00 c nodes left : 112060
1800.04/1800.00 c max depth : 111
1800.04/1800.00 c max depth (total): 111
1800.04/1800.00 c backtracks : 411635 (11.5%)
1800.04/1800.00 c delayed cutoffs : 0
1800.04/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.00 c avg switch length: 5.38
1800.04/1800.00 c switching time : 147.27
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 561 (16 improvements)
1800.04/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.00 c Primal Bound : -3.00000000000000e+01 (in run 1, after 104260 nodes, 87.18 seconds, depth 36, found by <relaxation>)
1800.04/1800.00 c Dual Bound : -3.60000000000000e+01
1800.04/1800.00 c Gap : 16.67 %
1800.04/1800.00 c Root Dual Bound : -4.91382442952396e+01
1800.04/1800.00 c Root Iterations : 11259
OK -30
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450665-1307105842/watcher-3450665-1307105842 -o /tmp/evaluation-result-3450665-1307105842/solver-3450665-1307105842 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450665-1307105842.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.95 2.03 2.00 2/575 24874 /proc/meminfo: memFree=23331216/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=16492 CPUtime=0.01 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 3134 0 0 0 1 0 0 0 25 0 1 0 822181984 16887808 3087 33554432000 4194304 9163163 140737331565552 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24874/statm: 4123 3087 415 1214 0 2905 0 [startup+0.049014 s] /proc/loadavg: 1.95 2.03 2.00 2/575 24874 /proc/meminfo: memFree=23331216/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=28148 CPUtime=0.04 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 6047 0 0 0 4 0 0 0 25 0 1 0 822181984 28823552 5742 33554432000 4194304 9163163 140737331565552 18446744073709551615 6923840 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 7037 5742 505 1214 0 5819 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 28148 [startup+0.101033 s] /proc/loadavg: 1.95 2.03 2.00 2/575 24874 /proc/meminfo: memFree=23331216/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=31760 CPUtime=0.09 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 6961 0 0 0 9 0 0 0 25 0 1 0 822181984 32522240 6656 33554432000 4194304 9163163 140737331565552 18446744073709551615 4220000 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 7940 6656 544 1214 0 6722 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31760 [startup+0.301001 s] /proc/loadavg: 1.95 2.03 2.00 2/575 24874 /proc/meminfo: memFree=23331216/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=41460 CPUtime=0.29 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 11974 0 0 0 28 1 0 0 18 0 1 0 822181984 42455040 9166 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 10365 9166 694 1214 0 9147 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41460 [startup+0.700929 s] /proc/loadavg: 1.95 2.03 2.00 2/575 24874 /proc/meminfo: memFree=23331216/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=45124 CPUtime=0.69 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 12950 0 0 0 67 2 0 0 18 0 1 0 822181984 46206976 10141 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 11281 10141 694 1214 0 10063 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45124 [startup+1.50078 s] /proc/loadavg: 1.95 2.03 2.00 3/576 24875 /proc/meminfo: memFree=23291776/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=52084 CPUtime=1.49 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 14828 0 0 0 146 3 0 0 19 0 1 0 822181984 53334016 11975 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 13021 11975 701 1214 0 11803 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 52084 [startup+3.10049 s] /proc/loadavg: 1.95 2.03 2.00 3/576 24875 /proc/meminfo: memFree=23280988/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=55308 CPUtime=3.09 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 15693 0 0 0 305 4 0 0 24 0 1 0 822181984 56635392 12802 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 13827 12802 693 1214 0 12609 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55308 [startup+6.3009 s] /proc/loadavg: 1.95 2.03 2.00 3/576 24875 /proc/meminfo: memFree=23279376/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=55232 CPUtime=6.29 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 17668 0 0 0 618 11 0 0 25 0 1 0 822181984 56557568 12833 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 13808 12833 714 1214 0 12590 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55232 [startup+12.7007 s] /proc/loadavg: 1.96 2.03 2.00 3/576 24875 /proc/meminfo: memFree=23277824/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=57624 CPUtime=12.69 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 32145 0 0 0 1239 30 0 0 25 0 1 0 822181984 59006976 13392 33554432000 4194304 9163163 140737331565552 18446744073709551615 7225292 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 14406 13392 731 1214 0 13188 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57624 [startup+25.5004 s] /proc/loadavg: 2.10 2.06 2.01 3/576 24875 /proc/meminfo: memFree=23270864/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=63852 CPUtime=25.5 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 54880 0 0 0 2481 69 0 0 25 0 1 0 822181984 65384448 14993 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 15963 14993 731 1214 0 14745 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 63852 [startup+51.1007 s] /proc/loadavg: 2.07 2.05 2.00 3/576 24876 /proc/meminfo: memFree=23258668/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=76596 CPUtime=51.1 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 68473 0 0 0 4966 144 0 0 25 0 1 0 822181984 78434304 18159 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 19149 18159 734 1214 0 17931 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 76596 [startup+102.321 s] /proc/loadavg: 2.03 2.04 2.00 3/576 24877 /proc/meminfo: memFree=23241044/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=93632 CPUtime=102.32 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 97536 0 0 0 9942 290 0 0 25 0 1 0 822181984 95879168 22540 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 23408 22540 734 1214 0 22190 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 93632 [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.00 3/576 24879 /proc/meminfo: memFree=23229460/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=106160 CPUtime=162.3 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 111071 0 0 0 15764 466 0 0 25 0 1 0 822181984 108707840 25594 33554432000 4194304 9163163 140737331565552 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 26540 25594 734 1214 0 25322 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 106160 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/576 24889 /proc/meminfo: memFree=23212300/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=121368 CPUtime=222.3 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 118445 0 0 0 21593 637 0 0 25 0 1 0 822181984 124280832 29427 33554432000 4194304 9163163 140737331565552 18446744073709551615 4793058 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 30342 29427 734 1214 0 29124 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 121368 [startup+282.301 s] /proc/loadavg: 2.07 2.05 2.01 3/576 24891 /proc/meminfo: memFree=23200388/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=133368 CPUtime=282.3 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 121482 0 0 0 27417 813 0 0 25 0 1 0 822181984 136568832 32464 33554432000 4194304 9163163 140737331565552 18446744073709551615 4794304 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 33342 32464 734 1214 0 32124 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 133368 [startup+342.301 s] /proc/loadavg: 2.06 2.05 2.01 3/576 24893 /proc/meminfo: memFree=23185832/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=147700 CPUtime=342.3 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 128580 0 0 0 33240 990 0 0 25 0 1 0 822181984 151244800 36071 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 36925 36071 734 1214 0 35707 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 147700 [startup+402.301 s] /proc/loadavg: 2.02 2.04 2.00 3/576 24894 /proc/meminfo: memFree=23176108/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=156800 CPUtime=402.3 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 130888 0 0 0 39071 1159 0 0 25 0 1 0 822181984 160563200 38379 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 39200 38379 734 1214 0 37982 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 156800 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.00 3/576 24899 /proc/meminfo: memFree=23163404/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=172480 CPUtime=462.3 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 134330 0 0 0 44905 1325 0 0 25 0 1 0 822181984 176619520 41821 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 43120 41821 734 1214 0 41902 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 172480 [startup+522.301 s] /proc/loadavg: 2.16 2.06 2.01 3/576 24900 /proc/meminfo: memFree=23155924/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=181428 CPUtime=522.3 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 136575 0 0 0 50740 1490 0 0 25 0 1 0 822181984 185782272 44066 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 45357 44066 734 1214 0 44139 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 181428 [startup+582.301 s] /proc/loadavg: 2.13 2.06 2.01 3/576 24902 /proc/meminfo: memFree=23149932/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=187272 CPUtime=582.31 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 141703 0 0 0 56572 1659 0 0 25 0 1 0 822181984 191766528 45581 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 46818 45581 736 1214 0 45600 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 187272 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.10 2.05 2.01 3/576 24908 /proc/meminfo: memFree=23119228/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=218736 CPUtime=822.31 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 149595 0 0 0 79889 2342 0 0 25 0 1 0 822181984 223985664 53473 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 54684 53473 736 1214 0 53466 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 218736 [startup+882.301 s] /proc/loadavg: 2.08 2.05 2.01 3/576 24910 /proc/meminfo: memFree=23112352/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=225332 CPUtime=882.32 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 151254 0 0 0 85728 2504 0 0 25 0 1 0 822181984 230739968 55132 33554432000 4194304 9163163 140737331565552 18446744073709551615 4840662 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 56333 55132 736 1214 0 55115 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 225332 [startup+942.301 s] /proc/loadavg: 2.03 2.04 2.00 3/576 24912 /proc/meminfo: memFree=23105488/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=231384 CPUtime=942.32 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 152784 0 0 0 91563 2669 0 0 25 0 1 0 822181984 236937216 56662 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 57846 56662 736 1214 0 56628 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 231384 [startup+1002.3 s] /proc/loadavg: 2.05 2.05 2.00 3/576 24995 /proc/meminfo: memFree=23290700/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=235096 CPUtime=1002.32 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 157245 0 0 0 97404 2828 0 0 25 0 1 0 822181984 240738304 57600 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 58774 57600 736 1214 0 57556 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 235096 [startup+1062.3 s] /proc/loadavg: 2.08 2.06 2.01 3/576 24997 /proc/meminfo: memFree=23257356/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=239000 CPUtime=1062.33 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 158233 0 0 0 103243 2990 0 0 25 0 1 0 822181984 244736000 58588 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 59750 58588 736 1214 0 58532 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 239000 [startup+1122.3 s] /proc/loadavg: 2.14 2.09 2.02 3/576 24998 /proc/meminfo: memFree=23226088/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=242840 CPUtime=1122.32 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 159195 0 0 0 109086 3146 0 0 25 0 1 0 822181984 248668160 59550 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 60710 59550 736 1214 0 59492 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 242840 [startup+1182.3 s] /proc/loadavg: 2.09 2.09 2.02 3/576 25000 /proc/meminfo: memFree=23207820/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=245160 CPUtime=1182.32 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 159789 0 0 0 114932 3300 0 0 25 0 1 0 822181984 251043840 60144 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 61290 60144 736 1214 0 60072 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 245160 [startup+1242.3 s] /proc/loadavg: 2.03 2.07 2.01 3/576 25002 /proc/meminfo: memFree=23191784/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=252180 CPUtime=1242.33 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 161550 0 0 0 120768 3465 0 0 25 0 1 0 822181984 258232320 61905 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 63045 61905 736 1214 0 61827 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 252180 [startup+1302.3 s] /proc/loadavg: 2.01 2.05 2.00 3/576 25003 /proc/meminfo: memFree=23171656/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=255204 CPUtime=1302.35 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 162312 0 0 0 126616 3619 0 0 25 0 1 0 822181984 261328896 62667 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 63801 62667 736 1214 0 62583 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 255204 [startup+1362.3 s] /proc/loadavg: 2.00 2.04 2.00 3/576 25005 /proc/meminfo: memFree=23155744/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=257748 CPUtime=1362.33 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 162955 0 0 0 132447 3786 0 0 25 0 1 0 822181984 263933952 63310 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 64437 63310 736 1214 0 63219 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 257748 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/576 25006 /proc/meminfo: memFree=23138460/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=260892 CPUtime=1422.35 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 163744 0 0 0 138295 3940 0 0 25 0 1 0 822181984 267153408 64099 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 65223 64099 736 1214 0 64005 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 260892 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/576 25008 /proc/meminfo: memFree=23115084/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=264284 CPUtime=1482.34 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 164594 0 0 0 144138 4096 0 0 25 0 1 0 822181984 270626816 64949 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 66071 64949 736 1214 0 64853 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 264284 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/576 25010 /proc/meminfo: memFree=23101496/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=267420 CPUtime=1542.34 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 165375 0 0 0 149976 4258 0 0 25 0 1 0 822181984 273838080 65730 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 66855 65730 736 1214 0 65637 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 267420 [startup+1602.3 s] /proc/loadavg: 2.05 2.03 2.00 3/576 25011 /proc/meminfo: memFree=23079516/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=268764 CPUtime=1602.33 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 165715 0 0 0 155812 4421 0 0 25 0 1 0 822181984 275214336 66070 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 67191 66070 736 1214 0 65973 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 268764 [startup+1662.3 s] /proc/loadavg: 2.12 2.05 2.01 3/576 25013 /proc/meminfo: memFree=23070664/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=271772 CPUtime=1662.34 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 166462 0 0 0 161651 4583 0 0 25 0 1 0 822181984 278294528 66817 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 67943 66817 736 1214 0 66725 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 271772 [startup+1722.3 s] /proc/loadavg: 2.09 2.06 2.01 3/576 25014 /proc/meminfo: memFree=23057232/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=273132 CPUtime=1722.34 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 170389 0 0 0 167496 4738 0 0 25 0 1 0 822181984 279687168 67196 33554432000 4194304 9163163 140737331565552 18446744073709551615 6706856 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 68283 67196 736 1214 0 67065 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 273132 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/576 25016 /proc/meminfo: memFree=23045404/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=275244 CPUtime=1782.34 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 170890 0 0 0 173338 4896 0 0 25 0 1 0 822181984 281849856 67697 33554432000 4194304 9163163 140737331565552 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24874/statm: 68811 67697 736 1214 0 67593 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 275244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.04 2.00 3/576 25017 /proc/meminfo: memFree=23043776/32951124 swapFree=58940260/67111528 [pid=24874] ppid=24872 vsize=275244 CPUtime=1800.06 cores=0,2,4,6 /proc/24874/stat : 24874 (scip-2.0.1.4b.l) R 24872 24874 23203 0 -1 4202496 170893 0 0 0 175064 4942 0 0 25 0 1 0 822181984 281849856 67700 33554432000 4194304 9163163 140737331565552 18446744073709551615 4745912 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24874/statm: 68811 67700 738 1214 0 67593 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 275244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.09 CPU user time (s): 1750.65 CPU system time (s): 49.4405 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 275244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.65 system time used= 49.4405 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 170893 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= 7 involuntary context switches= 2173 runsolver used 11.1903 second user time and 22.8855 second system time The end
Begin job on node139 at 2011-06-03 14:57:22 IDJOB=3450665 IDBENCH=48189 IDSOLVER=1948 FILE ID=node139/3450665-1307105842 RUNJOBID= node139-1307093003-23221 PBS_JOBID= 13497985 Free space on /tmp= 73452 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 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.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450665-1307105842/watcher-3450665-1307105842 -o /tmp/evaluation-result-3450665-1307105842/solver-3450665-1307105842 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450665-1307105842.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85583812489e95a26f37a10baffcd23f RANDOM SEED=1211933669 node139.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.852 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.70 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.852 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 : 5332.75 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.852 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.852 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.75 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.852 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 : 5321.49 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.852 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.852 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.82 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.852 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23331388 kB Buffers: 242240 kB Cached: 598684 kB SwapCached: 3628 kB Active: 8830212 kB Inactive: 486384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23331388 kB SwapTotal: 67111528 kB SwapFree: 58940260 kB Dirty: 12512 kB Writeback: 0 kB AnonPages: 8474024 kB Mapped: 35784 kB Slab: 152464 kB PageTables: 79284 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 171170724 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= 73440 MiB End job on node139 at 2011-06-03 15:27:25