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.06 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb |
| MD5SUM | 4a1dc018d8373d1119ec5a7a226f506e |
| 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.53 |
| 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 | 44 |
| 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) | 6220 |
| Sum of products size (including duplicates) | 12440 |
| Number of different products | 3110 |
| Sum of products size | 6220 |
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-3450673-1307106520.opb>
0.00/0.02 c original problem has 3310 variables (3310 bin, 0 int, 0 impl, 0 cont) and 3510 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.06/0.07 c (round 1) 3110 del vars, 400 del conss, 0 add conss, 3110 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12440 impls, 0 clqs
0.06/0.08 c (round 2) 3110 del vars, 400 del conss, 0 add conss, 3110 chg bounds, 0 chg sides, 0 chg coeffs, 3110 upgd conss, 18660 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 3110 deleted vars, 400 deleted constraints, 0 added constraints, 3110 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 18660 implications, 0 cliques
0.09/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3110 constraints
0.09/0.10 c 3110 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 | 205 | - | 10M| 0 | 200 | 200 |3110 | 200 |3110 | 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 | 205 | - | 10M| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.12 o -2
0.09/0.12 c s 0.1s| 1 | 0 | 205 | - | 10M| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.17 c 0.2s| 1 | 0 | 271 | - | 10M| 0 | 193 | 200 |3110 | 200 |3117 | 7 | 0 | 0 |-9.650000e+01 |-2.000000e+00 | 97.93%
0.09/0.17 o -19
0.09/0.17 c b 0.2s| 1 | 0 | 271 | - | 10M| 0 | 193 | 200 |3110 | 200 |3117 | 7 | 0 | 0 |-9.650000e+01 |-1.900000e+01 | 80.31%
0.19/0.22 c 0.2s| 1 | 0 | 345 | - | 10M| 0 | 186 | 200 |3110 | 200 |3124 | 14 | 0 | 0 |-9.300000e+01 |-1.900000e+01 | 79.57%
0.19/0.28 c 0.3s| 1 | 0 | 417 | - | 10M| 0 | 179 | 200 |3110 | 200 |3131 | 21 | 0 | 0 |-8.950000e+01 |-1.900000e+01 | 78.77%
0.29/0.35 c 0.3s| 1 | 0 | 515 | - | 10M| 0 | 173 | 200 |3110 | 200 |3139 | 29 | 0 | 0 |-8.650000e+01 |-1.900000e+01 | 78.03%
0.39/0.41 c 0.4s| 1 | 0 | 646 | - | 10M| 0 | 165 | 200 |3110 | 200 |3149 | 39 | 0 | 0 |-8.250000e+01 |-1.900000e+01 | 76.97%
0.39/0.48 c 0.5s| 1 | 0 | 865 | - | 10M| 0 | 160 | 200 |3110 | 200 |3155 | 45 | 0 | 0 |-8.000000e+01 |-1.900000e+01 | 76.25%
0.49/0.57 c 0.6s| 1 | 0 | 1060 | - | 10M| 0 | 160 | 200 |3110 | 200 |3164 | 54 | 0 | 0 |-7.875000e+01 |-1.900000e+01 | 75.87%
0.59/0.65 c 0.7s| 1 | 0 | 1258 | - | 10M| 0 | 155 | 200 |3110 | 200 |3173 | 63 | 0 | 0 |-7.650000e+01 |-1.900000e+01 | 75.16%
0.69/0.75 c 0.8s| 1 | 0 | 1578 | - | 11M| 0 | 153 | 200 |3110 | 200 |3187 | 77 | 0 | 0 |-7.425000e+01 |-1.900000e+01 | 74.41%
0.79/0.85 c 0.8s| 1 | 0 | 1868 | - | 11M| 0 | 145 | 200 |3110 | 200 |3198 | 88 | 0 | 0 |-7.100000e+01 |-1.900000e+01 | 73.24%
0.89/0.94 c 0.9s| 1 | 0 | 2165 | - | 11M| 0 | 137 | 200 |3110 | 200 | 488 | 95 | 0 | 0 |-6.850000e+01 |-1.900000e+01 | 72.26%
0.89/0.96 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.96 c 1.0s| 1 | 0 | 2343 | - | 11M| 0 | 165 | 200 |3110 | 200 | 493 | 100 | 0 | 0 |-6.770833e+01 |-1.900000e+01 | 71.94%
1.00/1.02 c 1.0s| 1 | 0 | 2675 | - | 11M| 0 | 158 | 200 |3110 | 200 | 730 | 337 | 0 | 0 |-6.600000e+01 |-1.900000e+01 | 71.21%
1.00/1.07 c 1.1s| 1 | 0 | 2964 | - | 11M| 0 | 124 | 200 |3110 | 200 | 802 | 409 | 0 | 0 |-6.400000e+01 |-1.900000e+01 | 70.31%
1.00/1.10 c 1.1s| 1 | 0 | 3120 | - | 11M| 0 | 151 | 200 |3110 | 200 | 834 | 441 | 0 | 0 |-6.300000e+01 |-1.900000e+01 | 69.84%
1.10/1.15 c 1.1s| 1 | 0 | 3247 | - | 11M| 0 | 141 | 200 |3110 | 200 | 902 | 509 | 0 | 0 |-6.200000e+01 |-1.900000e+01 | 69.35%
1.19/1.24 c 1.2s| 1 | 0 | 3616 | - | 12M| 0 | 150 | 200 |3110 | 200 | 727 | 533 | 0 | 0 |-6.190000e+01 |-1.900000e+01 | 69.31%
1.29/1.30 c 1.3s| 1 | 0 | 3960 | - | 12M| 0 | 156 | 200 |3110 | 200 | 762 | 568 | 0 | 0 |-6.063333e+01 |-1.900000e+01 | 68.66%
1.29/1.36 c 1.4s| 1 | 0 | 4291 | - | 13M| 0 | 156 | 200 |3110 | 200 | 805 | 611 | 0 | 0 |-5.977451e+01 |-1.900000e+01 | 68.21%
1.39/1.44 c 1.4s| 1 | 0 | 4616 | - | 13M| 0 | 154 | 200 |3110 | 200 | 928 | 734 | 0 | 0 |-5.897143e+01 |-1.900000e+01 | 67.78%
1.49/1.52 c 1.5s| 1 | 0 | 5198 | - | 14M| 0 | 165 | 200 |3110 | 200 | 983 | 789 | 0 | 0 |-5.783840e+01 |-1.900000e+01 | 67.15%
1.49/1.58 c 1.6s| 1 | 0 | 5339 | - | 14M| 0 | 166 | 200 |3110 | 200 |1067 | 873 | 0 | 0 |-5.763088e+01 |-1.900000e+01 | 67.03%
1.59/1.63 c 1.6s| 1 | 0 | 5544 | - | 14M| 0 | 163 | 200 |3110 | 200 | 722 | 903 | 0 | 0 |-5.738674e+01 |-1.900000e+01 | 66.89%
1.59/1.69 c 1.7s| 1 | 0 | 5918 | - | 14M| 0 | 171 | 200 |3110 | 200 | 753 | 934 | 0 | 0 |-5.664853e+01 |-1.900000e+01 | 66.46%
1.69/1.76 c 1.8s| 1 | 0 | 6332 | - | 14M| 0 | 172 | 200 |3110 | 200 | 799 | 980 | 0 | 0 |-5.543315e+01 |-1.900000e+01 | 65.72%
1.79/1.81 c 1.8s| 1 | 0 | 6495 | - | 14M| 0 | 174 | 200 |3110 | 200 | 848 |1029 | 0 | 0 |-5.525097e+01 |-1.900000e+01 | 65.61%
1.79/1.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.88 c 1.9s| 1 | 0 | 6810 | - | 14M| 0 | 179 | 200 |3110 | 200 | 882 |1063 | 0 | 0 |-5.471310e+01 |-1.900000e+01 | 65.27%
1.89/1.96 c 2.0s| 1 | 0 | 7108 | - | 14M| 0 | 181 | 200 |3110 | 200 | 917 |1098 | 0 | 0 |-5.439732e+01 |-1.900000e+01 | 65.07%
1.99/2.03 c 2.0s| 1 | 0 | 7341 | - | 14M| 0 | 178 | 200 |3110 | 200 | 718 |1119 | 0 | 0 |-5.411935e+01 |-1.900000e+01 | 64.89%
1.99/2.09 c 2.1s| 1 | 0 | 7566 | - | 14M| 0 | 176 | 200 |3110 | 200 | 738 |1139 | 0 | 0 |-5.386472e+01 |-1.900000e+01 | 64.73%
2.10/2.15 c 2.1s| 1 | 0 | 7752 | - | 14M| 0 | 180 | 200 |3110 | 200 | 755 |1156 | 0 | 0 |-5.359135e+01 |-1.900000e+01 | 64.55%
2.21/2.21 c 2.2s| 1 | 0 | 8047 | - | 14M| 0 | 181 | 200 |3110 | 200 | 782 |1183 | 0 | 0 |-5.312159e+01 |-1.900000e+01 | 64.23%
2.21/2.28 c 2.3s| 1 | 0 | 8317 | - | 14M| 0 | 179 | 200 |3110 | 200 | 800 |1201 | 0 | 0 |-5.288112e+01 |-1.900000e+01 | 64.07%
2.29/2.34 c 2.3s| 1 | 0 | 8449 | - | 14M| 0 | 187 | 200 |3110 | 200 | 813 |1214 | 0 | 0 |-5.272142e+01 |-1.900000e+01 | 63.96%
2.39/2.40 c 2.4s| 1 | 0 | 8600 | - | 14M| 0 | 192 | 200 |3110 | 200 | 511 |1227 | 0 | 0 |-5.251039e+01 |-1.900000e+01 | 63.82%
2.39/2.44 c 2.4s| 1 | 0 | 8694 | - | 14M| 0 | 188 | 200 |3110 | 200 | 521 |1237 | 0 | 0 |-5.234896e+01 |-1.900000e+01 | 63.71%
2.39/2.49 c 2.5s| 1 | 0 | 8853 | - | 14M| 0 | 188 | 200 |3110 | 200 | 536 |1252 | 0 | 0 |-5.200002e+01 |-1.900000e+01 | 63.46%
2.49/2.53 c 2.5s| 1 | 0 | 8995 | - | 14M| 0 | 190 | 200 |3110 | 200 | 553 |1269 | 0 | 0 |-5.183716e+01 |-1.900000e+01 | 63.35%
2.49/2.58 c 2.6s| 1 | 0 | 9173 | - | 14M| 0 | 188 | 200 |3110 | 200 | 569 |1285 | 0 | 0 |-5.149588e+01 |-1.900000e+01 | 63.10%
2.59/2.63 c 2.6s| 1 | 0 | 9311 | - | 14M| 0 | 189 | 200 |3110 | 200 | 580 |1296 | 0 | 0 |-5.131064e+01 |-1.900000e+01 | 62.97%
2.59/2.68 c 2.7s| 1 | 0 | 9452 | - | 14M| 0 | 190 | 200 |3110 | 200 | 447 |1306 | 0 | 0 |-5.108558e+01 |-1.900000e+01 | 62.81%
2.69/2.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.72 c 2.7s| 1 | 0 | 9535 | - | 14M| 0 | 191 | 200 |3110 | 200 | 456 |1315 | 0 | 0 |-5.099167e+01 |-1.900000e+01 | 62.74%
2.69/2.75 c 2.8s| 1 | 0 | 9628 | - | 14M| 0 | 193 | 200 |3110 | 200 | 470 |1329 | 0 | 0 |-5.092333e+01 |-1.900000e+01 | 62.69%
2.69/2.79 c 2.8s| 1 | 0 | 9751 | - | 14M| 0 | 195 | 200 |3110 | 200 | 480 |1339 | 0 | 0 |-5.084489e+01 |-1.900000e+01 | 62.63%
2.79/2.83 c 2.8s| 1 | 0 | 9851 | - | 14M| 0 | 195 | 200 |3110 | 200 | 488 |1347 | 0 | 0 |-5.066945e+01 |-1.900000e+01 | 62.50%
2.79/2.87 c 2.9s| 1 | 0 | 9905 | - | 14M| 0 | 198 | 200 |3110 | 200 | 496 |1355 | 0 | 0 |-5.060882e+01 |-1.900000e+01 | 62.46%
2.89/2.91 c 2.9s| 1 | 0 | 9992 | - | 14M| 0 | 198 | 200 |3110 | 200 | 426 |1360 | 0 | 0 |-5.054871e+01 |-1.900000e+01 | 62.41%
2.89/2.95 c 2.9s| 1 | 0 | 10062 | - | 14M| 0 | 197 | 200 |3110 | 200 | 433 |1367 | 0 | 0 |-5.049518e+01 |-1.900000e+01 | 62.37%
2.89/2.99 c 3.0s| 1 | 0 | 10193 | - | 14M| 0 | 199 | 200 |3110 | 200 | 441 |1375 | 0 | 0 |-5.030053e+01 |-1.900000e+01 | 62.23%
2.99/3.03 c 3.0s| 1 | 0 | 10380 | - | 14M| 0 | 199 | 200 |3110 | 200 | 452 |1386 | 0 | 0 |-5.011509e+01 |-1.900000e+01 | 62.09%
2.99/3.07 c 3.1s| 1 | 0 | 10535 | - | 14M| 0 | 198 | 200 |3110 | 200 | 464 |1398 | 0 | 0 |-5.001507e+01 |-1.900000e+01 | 62.01%
3.09/3.11 c 3.1s| 1 | 0 | 10613 | - | 14M| 0 | 199 | 200 |3110 | 200 | 475 |1409 | 0 | 0 |-4.992939e+01 |-1.900000e+01 | 61.95%
3.09/3.15 c 3.2s| 1 | 0 | 10734 | - | 14M| 0 | 199 | 200 |3110 | 200 | 428 |1416 | 0 | 0 |-4.980295e+01 |-1.900000e+01 | 61.85%
3.09/3.18 c 3.2s| 1 | 0 | 10784 | - | 14M| 0 | 200 | 200 |3110 | 200 | 434 |1422 | 0 | 0 |-4.976784e+01 |-1.900000e+01 | 61.82%
3.20/3.22 c 3.2s| 1 | 0 | 10865 | - | 14M| 0 | 200 | 200 |3110 | 200 | 443 |1431 | 0 | 0 |-4.969522e+01 |-1.900000e+01 | 61.77%
3.20/3.26 c 3.3s| 1 | 0 | 10957 | - | 14M| 0 | 200 | 200 |3110 | 200 | 454 |1442 | 0 | 0 |-4.962900e+01 |-1.900000e+01 | 61.72%
3.20/3.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.30 c 3.3s| 1 | 0 | 11075 | - | 14M| 0 | 199 | 200 |3110 | 200 | 461 |1449 | 0 | 0 |-4.955299e+01 |-1.900000e+01 | 61.66%
3.31/3.34 c 3.3s| 1 | 0 | 11142 | - | 14M| 0 | 199 | 200 |3110 | 200 | 469 |1457 | 0 | 0 |-4.950942e+01 |-1.900000e+01 | 61.62%
3.31/3.38 c 3.4s| 1 | 0 | 11255 | - | 14M| 0 | 198 | 200 |3110 | 200 | 441 |1465 | 0 | 0 |-4.942866e+01 |-1.900000e+01 | 61.56%
3.39/3.42 c 3.4s| 1 | 0 | 11299 | - | 14M| 0 | 199 | 200 |3110 | 200 | 451 |1475 | 0 | 0 |-4.941600e+01 |-1.900000e+01 | 61.55%
3.39/3.46 c 3.5s| 1 | 0 | 11417 | - | 14M| 0 | 199 | 200 |3110 | 200 | 457 |1481 | 0 | 0 |-4.937508e+01 |-1.900000e+01 | 61.52%
3.49/3.50 c 3.5s| 1 | 0 | 11499 | - | 14M| 0 | 199 | 200 |3110 | 200 | 469 |1493 | 0 | 0 |-4.933453e+01 |-1.900000e+01 | 61.49%
3.49/3.54 c 3.5s| 1 | 0 | 11595 | - | 14M| 0 | 199 | 200 |3110 | 200 | 477 |1501 | 0 | 0 |-4.929694e+01 |-1.900000e+01 | 61.46%
3.49/3.57 c 3.6s| 1 | 0 | 11659 | - | 14M| 0 | 200 | 200 |3110 | 200 | 486 |1510 | 0 | 0 |-4.926409e+01 |-1.900000e+01 | 61.43%
3.59/3.61 c 3.6s| 1 | 0 | 11724 | - | 14M| 0 | 200 | 200 |3110 | 200 | 435 |1517 | 0 | 0 |-4.924396e+01 |-1.900000e+01 | 61.42%
3.59/3.65 c 3.6s| 1 | 0 | 11784 | - | 14M| 0 | 200 | 200 |3110 | 200 | 443 |1525 | 0 | 0 |-4.922933e+01 |-1.900000e+01 | 61.41%
3.59/3.68 c 3.7s| 1 | 0 | 11827 | - | 14M| 0 | 200 | 200 |3110 | 200 | 450 |1532 | 0 | 0 |-4.921356e+01 |-1.900000e+01 | 61.39%
3.69/3.72 c 3.7s| 1 | 0 | 11851 | - | 14M| 0 | 200 | 200 |3110 | 200 | 456 |1538 | 0 | 0 |-4.920991e+01 |-1.900000e+01 | 61.39%
3.69/3.75 c 3.8s| 1 | 0 | 11880 | - | 14M| 0 | 200 | 200 |3110 | 200 | 462 |1544 | 0 | 0 |-4.920597e+01 |-1.900000e+01 | 61.39%
3.69/3.78 c 3.8s| 1 | 0 | 11895 | - | 14M| 0 | 200 | 200 |3110 | 200 | 464 |1546 | 0 | 0 |-4.920491e+01 |-1.900000e+01 | 61.39%
3.79/3.82 c 3.8s| 1 | 0 | 11919 | - | 14M| 0 | 200 | 200 |3110 | 200 | 410 |1548 | 0 | 0 |-4.920397e+01 |-1.900000e+01 | 61.39%
4.69/4.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.69/4.76 c 4.8s| 1 | 2 | 11919 | - | 14M| 0 | 200 | 200 |3110 | 200 | 410 |1548 | 0 | 22 |-4.920397e+01 |-1.900000e+01 | 61.39%
5.51/5.57 o -20
5.51/5.57 c R 5.6s| 16 | 15 | 13100 | 78.7 | 14M| 15 | 20 | 200 |3110 | 200 | 235 |1614 | 0 | 292 |-4.873795e+01 |-2.000000e+01 | 58.96%
5.51/5.58 o -25
5.51/5.58 c * 5.6s| 17 | 16 | 13104 | 74.1 | 14M| 16 | - | 200 |3110 | 200 | 228 |1614 | 0 | 312 |-4.873795e+01 |-2.500000e+01 | 48.71%
6.09/6.12 o -26
6.09/6.12 c * 6.1s| 59 | 41 | 14654 | 47.2 | 15M| 21 | - | 200 |3110 | 200 | 234 |1909 | 0 | 803 |-4.873795e+01 |-2.600000e+01 | 46.65%
19.49/19.54 o -27
19.49/19.54 c *19.5s| 9214 | 5113 |330558 | 34.6 | 20M| 49 | - | 200 |3110 | 200 | 237 | 114k| 0 |1650 |-4.556250e+01 |-2.700000e+01 | 40.74%
20.39/20.46 c 20.5s| 10000 | 5497 |353323 | 34.1 | 21M| 49 | 31 | 200 |3110 | 200 | 225 | 123k| 0 |1686 |-4.540533e+01 |-2.700000e+01 | 40.54%
29.30/29.30 c 29.3s| 20000 | 8963 |577613 | 28.3 | 25M| 54 | - | 200 |3110 | 200 | 234 | 230k| 0 |2325 |-4.479276e+01 |-2.700000e+01 | 39.72%
37.58/37.65 c 37.6s| 30000 | 12297 |792411 | 26.0 | 29M| 56 | 67 | 200 |3110 | 200 | 240 | 331k| 0 |2845 |-4.439286e+01 |-2.700000e+01 | 39.18%
45.67/45.78 c 45.8s| 40000 | 15583 | 1001k| 24.7 | 34M| 61 | 16 | 200 |3110 | 200 | 218 | 431k| 0 |3320 |-4.411538e+01 |-2.700000e+01 | 38.80%
51.96/52.05 o -28
51.96/52.05 c *52.0s| 48563 | 14423 | 1162k| 23.7 | 33M| 64 | - | 200 |3110 | 200 | 233 | 515k| 0 |3613 |-4.392593e+01 |-2.800000e+01 | 36.26%
53.07/53.13 c 53.1s| 50000 | 14718 | 1188k| 23.5 | 33M| 66 | - | 200 |3110 | 200 | 215 | 529k| 0 |3649 |-4.388686e+01 |-2.800000e+01 | 36.20%
60.07/60.18 c 60.2s| 60000 | 16748 | 1368k| 22.6 | 36M| 67 | 28 | 200 |3110 | 200 | 220 | 626k| 0 |3999 |-4.366667e+01 |-2.800000e+01 | 35.88%
66.98/67.11 c 67.1s| 70000 | 18838 | 1546k| 21.9 | 39M| 67 | - | 200 |3110 | 200 | 214 | 719k| 0 |4316 |-4.350444e+01 |-2.800000e+01 | 35.64%
73.68/73.78 c 73.8s| 80000 | 20694 | 1716k| 21.3 | 42M| 67 | 67 | 200 |3110 | 200 | 257 | 812k| 0 |4569 |-4.335821e+01 |-2.800000e+01 | 35.42%
80.46/80.50 c 80.5s| 90000 | 22684 | 1890k| 20.9 | 45M| 67 | - | 200 |3110 | 200 | 217 | 905k| 0 |4871 |-4.325000e+01 |-2.800000e+01 | 35.26%
87.27/87.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.27/87.34 c 87.3s|100000 | 24654 | 2066k| 20.5 | 47M| 73 | - | 200 |3110 | 200 | 228 | 999k| 0 |5157 |-4.309956e+01 |-2.800000e+01 | 35.03%
93.97/94.06 c 94.1s|110000 | 26564 | 2240k| 20.3 | 50M| 73 | - | 200 |3110 | 200 | 238 |1091k| 0 |5433 |-4.294203e+01 |-2.800000e+01 | 34.80%
100.57/100.67 c 101s|120000 | 28470 | 2410k| 20.0 | 53M| 73 | - | 200 |3110 | 200 | 234 |1182k| 0 |5675 |-4.281132e+01 |-2.800000e+01 | 34.60%
107.07/107.14 c 107s|130000 | 30186 | 2576k| 19.7 | 55M| 73 | 20 | 200 |3110 | 200 | 200 |1273k| 0 |5885 |-4.267778e+01 |-2.800000e+01 | 34.39%
113.47/113.53 c 114s|140000 | 31952 | 2740k| 19.5 | 58M| 73 | 51 | 200 |3110 | 200 | 239 |1363k| 0 |6062 |-4.253571e+01 |-2.800000e+01 | 34.17%
119.97/120.03 c 120s|150000 | 33714 | 2907k| 19.3 | 60M| 73 | 41 | 200 |3110 | 200 | 219 |1456k| 0 |6276 |-4.243608e+01 |-2.800000e+01 | 34.02%
126.27/126.35 c 126s|160000 | 35402 | 3069k| 19.1 | 63M| 73 | 51 | 200 |3110 | 200 | 241 |1544k| 0 |6483 |-4.233333e+01 |-2.800000e+01 | 33.86%
131.99/132.03 o -29
131.99/132.03 c * 132s|169038 | 29889 | 3214k| 18.9 | 56M| 73 | - | 200 |3110 | 200 | 228 |1624k| 0 |6671 |-4.225000e+01 |-2.900000e+01 | 31.36%
132.57/132.69 c 133s|170000 | 30041 | 3230k| 18.9 | 57M| 73 | 39 | 200 |3110 | 200 | 216 |1632k| 0 |6672 |-4.225000e+01 |-2.900000e+01 | 31.36%
138.87/138.95 c 139s|180000 | 31359 | 3389k| 18.8 | 59M| 73 | - | 200 |3110 | 200 | 214 |1723k| 0 |6862 |-4.216667e+01 |-2.900000e+01 | 31.23%
145.37/145.41 c 145s|190000 | 32759 | 3554k| 18.6 | 61M| 74 | - | 200 |3110 | 200 | 254 |1816k| 0 |7055 |-4.203846e+01 |-2.900000e+01 | 31.02%
151.68/151.78 c 152s|200000 | 34161 | 3716k| 18.5 | 63M| 83 | - | 200 |3110 | 200 | 213 |1907k| 0 |7251 |-4.200000e+01 |-2.900000e+01 | 30.95%
157.77/157.87 c 158s|210000 | 35427 | 3872k| 18.4 | 65M| 83 | 54 | 200 |3110 | 200 | 217 |1996k| 0 |7422 |-4.193137e+01 |-2.900000e+01 | 30.84%
163.88/163.93 c 164s|220000 | 36531 | 4026k| 18.2 | 66M| 83 | - | 200 |3110 | 200 | 235 |2083k| 0 |7600 |-4.187500e+01 |-2.900000e+01 | 30.75%
169.97/170.04 c 170s|230000 | 37717 | 4181k| 18.1 | 68M| 83 | 14 | 200 |3110 | 200 | 222 |2169k| 0 |7786 |-4.180000e+01 |-2.900000e+01 | 30.62%
175.99/176.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.99/176.02 c 176s|240000 | 38887 | 4334k| 18.0 | 70M| 83 | 44 | 200 |3110 | 200 | 227 |2255k| 0 |7944 |-4.175000e+01 |-2.900000e+01 | 30.54%
182.07/182.15 c 182s|250000 | 40213 | 4491k| 17.9 | 72M| 83 | 14 | 200 |3110 | 200 | 200 |2342k| 0 |8098 |-4.166667e+01 |-2.900000e+01 | 30.40%
188.08/188.17 c 188s|260000 | 41305 | 4645k| 17.8 | 74M| 83 | 26 | 200 |3110 | 200 | 211 |2431k| 0 |8233 |-4.160000e+01 |-2.900000e+01 | 30.29%
194.07/194.11 c 194s|270000 | 42385 | 4795k| 17.7 | 75M| 83 | - | 200 |3110 | 200 | 243 |2518k| 0 |8422 |-4.152941e+01 |-2.900000e+01 | 30.17%
199.97/200.10 c 200s|280000 | 43569 | 4946k| 17.6 | 77M| 83 | 34 | 200 |3110 | 200 | 229 |2603k| 0 |8564 |-4.150000e+01 |-2.900000e+01 | 30.12%
205.98/206.00 c 206s|290000 | 44637 | 5096k| 17.5 | 79M| 84 | 19 | 200 |3110 | 200 | 200 |2689k| 0 |8689 |-4.140625e+01 |-2.900000e+01 | 29.96%
211.87/211.91 c 212s|300000 | 45727 | 5245k| 17.4 | 81M| 84 | 43 | 200 |3110 | 200 | 217 |2776k| 0 |8861 |-4.134146e+01 |-2.900000e+01 | 29.85%
217.68/217.76 c 218s|310000 | 46803 | 5392k| 17.4 | 82M| 85 | 21 | 200 |3110 | 200 | 200 |2864k| 0 |8994 |-4.128571e+01 |-2.900000e+01 | 29.76%
223.47/223.53 c 224s|320000 | 47819 | 5538k| 17.3 | 84M| 85 | - | 200 |3110 | 200 | 214 |2951k| 0 |9138 |-4.125000e+01 |-2.900000e+01 | 29.70%
229.57/229.61 c 230s|330000 | 48955 | 5693k| 17.2 | 86M| 85 | 13 | 200 |3110 | 200 | 200 |3042k| 0 |9285 |-4.117647e+01 |-2.900000e+01 | 29.57%
235.39/235.49 c 235s|340000 | 50097 | 5843k| 17.2 | 87M| 85 | - | 200 |3110 | 200 | 215 |3128k| 0 |9403 |-4.111538e+01 |-2.900000e+01 | 29.47%
241.17/241.26 c 241s|350000 | 51049 | 5987k| 17.1 | 89M| 85 | - | 200 |3110 | 200 | 214 |3213k| 0 |9550 |-4.106977e+01 |-2.900000e+01 | 29.39%
246.97/247.08 c 247s|360000 | 52025 | 6134k| 17.0 | 90M| 85 | - | 200 |3110 | 200 | 224 |3300k| 0 |9677 |-4.100000e+01 |-2.900000e+01 | 29.27%
252.99/253.04 c 253s|370000 | 53055 | 6285k| 17.0 | 92M| 85 | - | 200 |3110 | 200 | 213 |3388k| 0 |9842 |-4.100000e+01 |-2.900000e+01 | 29.27%
258.98/259.01 c 259s|380000 | 54117 | 6436k| 16.9 | 94M| 85 | 24 | 200 |3110 | 200 | 216 |3474k| 0 |9949 |-4.097143e+01 |-2.900000e+01 | 29.22%
264.68/264.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.68/264.71 c 265s|390000 | 55037 | 6579k| 16.8 | 95M| 85 | 26 | 200 |3110 | 200 | 228 |3557k| 0 | 10k|-4.091515e+01 |-2.900000e+01 | 29.12%
270.38/270.50 c 271s|400000 | 56065 | 6725k| 16.8 | 97M| 85 | 29 | 200 |3110 | 200 | 214 |3640k| 0 | 10k|-4.086364e+01 |-2.900000e+01 | 29.03%
276.17/276.25 c 276s|410000 | 57065 | 6871k| 16.7 | 98M| 85 | 5 | 200 |3110 | 200 | 200 |3724k| 0 | 10k|-4.082143e+01 |-2.900000e+01 | 28.96%
281.97/282.02 c 282s|420000 | 58011 | 7014k| 16.7 | 100M| 85 | 27 | 200 |3110 | 200 | 200 |3808k| 0 | 10k|-4.076471e+01 |-2.900000e+01 | 28.86%
287.67/287.75 c 288s|430000 | 58991 | 7158k| 16.6 | 102M| 85 | 33 | 200 |3110 | 200 | 219 |3891k| 0 | 10k|-4.072727e+01 |-2.900000e+01 | 28.79%
293.37/293.44 c 293s|440000 | 59885 | 7300k| 16.6 | 103M| 89 | - | 200 |3110 | 200 | 218 |3976k| 0 | 10k|-4.066667e+01 |-2.900000e+01 | 28.69%
299.19/299.27 c 299s|450000 | 61033 | 7448k| 16.5 | 105M| 89 | 24 | 200 |3110 | 200 | 200 |4061k| 0 | 10k|-4.064286e+01 |-2.900000e+01 | 28.65%
304.97/305.01 c 305s|460000 | 61953 | 7593k| 16.5 | 106M| 89 | 20 | 200 |3110 | 200 | 200 |4145k| 0 | 10k|-4.060000e+01 |-2.900000e+01 | 28.57%
310.58/310.65 c 311s|470000 | 62885 | 7734k| 16.4 | 108M| 89 | 45 | 200 |3110 | 200 | 225 |4229k| 0 | 11k|-4.054545e+01 |-2.900000e+01 | 28.48%
316.28/316.34 c 316s|480000 | 63803 | 7878k| 16.4 | 109M| 89 | 43 | 200 |3110 | 200 | 256 |4312k| 0 | 11k|-4.050000e+01 |-2.900000e+01 | 28.40%
321.97/322.07 c 322s|490000 | 64761 | 8023k| 16.4 | 111M| 89 | - | 200 |3110 | 200 | 219 |4396k| 0 | 11k|-4.050000e+01 |-2.900000e+01 | 28.40%
327.79/327.82 c 328s|500000 | 65735 | 8169k| 16.3 | 112M| 89 | 59 | 200 |3110 | 200 | 241 |4483k| 0 | 11k|-4.046000e+01 |-2.900000e+01 | 28.32%
333.29/333.36 c 333s|510000 | 66595 | 8308k| 16.3 | 114M| 89 | 24 | 200 |3110 | 200 | 216 |4566k| 0 | 11k|-4.040000e+01 |-2.900000e+01 | 28.22%
338.87/338.97 c 339s|520000 | 67563 | 8449k| 16.2 | 115M| 89 | 36 | 200 |3110 | 200 | 213 |4648k| 0 | 11k|-4.034899e+01 |-2.900000e+01 | 28.13%
344.67/344.74 c 345s|530000 | 68559 | 8595k| 16.2 | 117M| 89 | - | 200 |3110 | 200 | 215 |4735k| 0 | 11k|-4.033333e+01 |-2.900000e+01 | 28.10%
350.38/350.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.38/350.41 c 350s|540000 | 69401 | 8738k| 16.2 | 118M| 89 | 41 | 200 |3110 | 200 | 232 |4822k| 0 | 11k|-4.026866e+01 |-2.900000e+01 | 27.98%
356.08/356.11 c 356s|550000 | 70305 | 8881k| 16.1 | 119M| 89 | - | 200 |3110 | 200 | 215 |4905k| 0 | 11k|-4.024000e+01 |-2.900000e+01 | 27.93%
361.79/361.81 c 362s|560000 | 71357 | 9024k| 16.1 | 121M| 89 | 14 | 200 |3110 | 200 | 200 |4990k| 0 | 12k|-4.017647e+01 |-2.900000e+01 | 27.82%
367.29/367.39 c 367s|570000 | 72171 | 9163k| 16.1 | 122M| 89 | - | 200 |3110 | 200 | 215 |5073k| 0 | 12k|-4.013333e+01 |-2.900000e+01 | 27.74%
372.89/372.98 c 373s|580000 | 72957 | 9301k| 16.0 | 124M| 89 | 22 | 200 |3110 | 200 | 215 |5157k| 0 | 12k|-4.007527e+01 |-2.900000e+01 | 27.64%
378.48/378.56 c 379s|590000 | 73869 | 9440k| 16.0 | 125M| 89 | 42 | 200 |3110 | 200 | 220 |5240k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
384.17/384.21 c 384s|600000 | 74781 | 9581k| 15.9 | 127M| 89 | - | 200 |3110 | 200 | 221 |5323k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
389.78/389.80 c 390s|610000 | 75667 | 9721k| 15.9 | 128M| 89 | 38 | 200 |3110 | 200 | 217 |5407k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
395.28/395.34 c 395s|620000 | 76667 | 9860k| 15.9 | 130M| 96 | 54 | 200 |3110 | 200 | 223 |5488k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
400.87/400.94 c 401s|630000 | 77495 | 9999k| 15.9 | 131M| 96 | - | 200 |3110 | 200 | 221 |5572k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
406.48/406.52 c 407s|640000 | 78291 | 10138k| 15.8 | 132M| 96 | - | 200 |3110 | 200 | 223 |5656k| 0 | 12k|-3.994253e+01 |-2.900000e+01 | 27.40%
411.98/412.03 c 412s|650000 | 79011 | 10275k| 15.8 | 133M| 96 | - | 200 |3110 | 200 | 232 |5740k| 0 | 12k|-3.988889e+01 |-2.900000e+01 | 27.30%
417.47/417.50 c 418s|660000 | 79801 | 10409k| 15.8 | 135M| 96 | - | 200 |3110 | 200 | 222 |5822k| 0 | 12k|-3.985714e+01 |-2.900000e+01 | 27.24%
422.88/422.98 c 423s|670000 | 80619 | 10545k| 15.7 | 136M| 96 | 46 | 200 |3110 | 200 | 229 |5904k| 0 | 13k|-3.980672e+01 |-2.900000e+01 | 27.15%
428.38/428.48 c 428s|680000 | 81361 | 10682k| 15.7 | 137M| 96 | 51 | 200 |3110 | 200 | 211 |5986k| 0 | 13k|-3.977778e+01 |-2.900000e+01 | 27.09%
433.88/433.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.88/433.98 c 434s|690000 | 82043 | 10818k| 15.7 | 138M| 96 | - | 200 |3110 | 200 | 231 |6071k| 0 | 13k|-3.975000e+01 |-2.900000e+01 | 27.04%
439.48/439.52 c 440s|700000 | 82783 | 10955k| 15.6 | 140M| 96 | - | 200 |3110 | 200 | 217 |6155k| 0 | 13k|-3.971429e+01 |-2.900000e+01 | 26.98%
444.98/445.09 c 445s|710000 | 83577 | 11093k| 15.6 | 141M| 96 | 49 | 200 |3110 | 200 | 244 |6239k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
450.38/450.49 c 450s|720000 | 84417 | 11228k| 15.6 | 142M| 96 | - | 200 |3110 | 200 | 213 |6320k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
455.88/455.99 c 456s|730000 | 85207 | 11364k| 15.6 | 143M| 96 | 57 | 200 |3110 | 200 | 227 |6401k| 0 | 13k|-3.963636e+01 |-2.900000e+01 | 26.83%
461.37/461.49 c 461s|740000 | 85941 | 11499k| 15.5 | 145M| 96 | - | 200 |3110 | 200 | 215 |6483k| 0 | 13k|-3.960000e+01 |-2.900000e+01 | 26.77%
466.98/467.05 c 467s|750000 | 86731 | 11637k| 15.5 | 146M| 96 | - | 200 |3110 | 200 | 226 |6566k| 0 | 13k|-3.956250e+01 |-2.900000e+01 | 26.70%
472.38/472.49 c 472s|760000 | 87387 | 11770k| 15.5 | 147M| 96 | - | 200 |3110 | 200 | 215 |6648k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
477.88/477.90 c 478s|770000 | 88147 | 11904k| 15.4 | 148M| 96 | - | 200 |3110 | 200 | 218 |6728k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
483.17/483.22 c 483s|780000 | 88909 | 12036k| 15.4 | 149M| 96 | - | 200 |3110 | 200 | 228 |6807k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
488.47/488.59 c 489s|790000 | 89641 | 12169k| 15.4 | 151M| 96 | - | 200 |3110 | 200 | 240 |6888k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
493.90/493.98 c 494s|800000 | 90317 | 12302k| 15.4 | 152M| 96 | - | 200 |3110 | 200 | 239 |6967k| 0 | 14k|-3.944444e+01 |-2.900000e+01 | 26.48%
499.29/499.37 c 499s|810000 | 90975 | 12435k| 15.3 | 153M| 96 | - | 200 |3110 | 200 | 219 |7047k| 0 | 14k|-3.940000e+01 |-2.900000e+01 | 26.40%
504.68/504.81 c 505s|820000 | 91601 | 12570k| 15.3 | 154M| 96 | - | 200 |3110 | 200 | 222 |7128k| 0 | 14k|-3.937056e+01 |-2.900000e+01 | 26.34%
510.08/510.13 c 510s|830000 | 92311 | 12700k| 15.3 | 155M| 96 | - | 200 |3110 | 200 | 226 |7206k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
515.38/515.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.38/515.47 c 515s|840000 | 92961 | 12831k| 15.3 | 156M| 96 | - | 200 |3110 | 200 | 226 |7288k| 0 | 14k|-3.933136e+01 |-2.900000e+01 | 26.27%
520.78/520.88 c 521s|850000 | 93587 | 12963k| 15.2 | 157M| 96 | - | 200 |3110 | 200 | 234 |7367k| 0 | 14k|-3.927473e+01 |-2.900000e+01 | 26.16%
526.18/526.27 c 526s|860000 | 94217 | 13095k| 15.2 | 158M| 96 | 12 | 200 |3110 | 200 | 200 |7448k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
531.58/531.63 c 532s|870000 | 94835 | 13226k| 15.2 | 159M| 96 | 44 | 200 |3110 | 200 | 245 |7528k| 0 | 14k|-3.923404e+01 |-2.900000e+01 | 26.08%
536.98/537.06 c 537s|880000 | 95461 | 13359k| 15.2 | 161M| 96 | 58 | 200 |3110 | 200 | 200 |7609k| 0 | 14k|-3.920000e+01 |-2.900000e+01 | 26.02%
542.38/542.44 c 542s|890000 | 96103 | 13491k| 15.1 | 162M| 96 | 6 | 200 |3110 | 200 | 218 |7688k| 0 | 15k|-3.916667e+01 |-2.900000e+01 | 25.96%
547.69/547.73 c 548s|900000 | 96649 | 13619k| 15.1 | 163M| 96 | 49 | 200 |3110 | 200 | 200 |7769k| 0 | 15k|-3.914286e+01 |-2.900000e+01 | 25.91%
552.88/552.99 c 553s|910000 | 97265 | 13747k| 15.1 | 164M| 96 | - | 200 |3110 | 200 | 218 |7847k| 0 | 15k|-3.912500e+01 |-2.900000e+01 | 25.88%
558.28/558.30 c 558s|920000 | 97921 | 13876k| 15.1 | 165M| 96 | - | 200 |3110 | 200 | 215 |7927k| 0 | 15k|-3.908333e+01 |-2.900000e+01 | 25.80%
563.48/563.57 c 564s|930000 | 98505 | 14004k| 15.0 | 166M| 96 | 40 | 200 |3110 | 200 | 216 |8006k| 0 | 15k|-3.902083e+01 |-2.900000e+01 | 25.68%
568.88/568.93 c 569s|940000 | 99175 | 14134k| 15.0 | 167M| 96 | 42 | 200 |3110 | 200 | 215 |8084k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
574.20/574.26 c 574s|950000 | 99817 | 14264k| 15.0 | 168M| 96 | 21 | 200 |3110 | 200 | 200 |8165k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
579.59/579.65 c 580s|960000 |100443 | 14396k| 15.0 | 169M| 96 | 54 | 200 |3110 | 200 | 200 |8248k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
584.98/585.03 c 585s|970000 |101123 | 14527k| 15.0 | 170M| 96 | - | 200 |3110 | 200 | 232 |8327k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
590.28/590.32 c 590s|980000 |101827 | 14656k| 14.9 | 171M| 96 | - | 200 |3110 | 200 | 214 |8407k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
595.78/595.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.78/595.81 c 596s|990000 |102491 | 14791k| 14.9 | 172M| 96 | 47 | 200 |3110 | 200 | 230 |8491k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
601.18/601.22 c 601s| 1000k|103121 | 14924k| 14.9 | 173M| 96 | 43 | 200 |3110 | 200 | 217 |8572k| 0 | 15k|-3.895455e+01 |-2.900000e+01 | 25.55%
606.48/606.57 c 607s| 1010k|103609 | 15053k| 14.9 | 174M| 96 | - | 200 |3110 | 200 | 226 |8652k| 0 | 15k|-3.890909e+01 |-2.900000e+01 | 25.47%
611.89/611.90 c 612s| 1020k|104233 | 15183k| 14.9 | 175M| 96 | - | 200 |3110 | 200 | 228 |8730k| 0 | 16k|-3.887500e+01 |-2.900000e+01 | 25.40%
617.18/617.26 c 617s| 1030k|104881 | 15313k| 14.9 | 176M| 96 | - | 200 |3110 | 200 | 229 |8809k| 0 | 16k|-3.884615e+01 |-2.900000e+01 | 25.35%
622.49/622.51 c 623s| 1040k|105417 | 15440k| 14.8 | 177M| 96 | 13 | 200 |3110 | 200 | 200 |8888k| 0 | 16k|-3.881818e+01 |-2.900000e+01 | 25.29%
627.69/627.72 c 628s| 1050k|105993 | 15566k| 14.8 | 178M| 96 | - | 200 |3110 | 200 | 213 |8966k| 0 | 16k|-3.880000e+01 |-2.900000e+01 | 25.26%
632.98/633.00 c 633s| 1060k|106575 | 15692k| 14.8 | 179M| 96 | 16 | 200 |3110 | 200 | 200 |9044k| 0 | 16k|-3.876471e+01 |-2.900000e+01 | 25.19%
638.19/638.21 c 638s| 1070k|107141 | 15818k| 14.8 | 180M| 96 | - | 200 |3110 | 200 | 211 |9121k| 0 | 16k|-3.875000e+01 |-2.900000e+01 | 25.16%
643.39/643.44 c 643s| 1080k|107733 | 15943k| 14.8 | 181M| 96 | 43 | 200 |3110 | 200 | 216 |9202k| 0 | 16k|-3.872727e+01 |-2.900000e+01 | 25.12%
648.69/648.71 c 649s| 1090k|108325 | 16071k| 14.7 | 182M| 96 | - | 200 |3110 | 200 | 219 |9280k| 0 | 16k|-3.870000e+01 |-2.900000e+01 | 25.06%
653.88/653.98 c 654s| 1100k|108887 | 16197k| 14.7 | 183M| 96 | 60 | 200 |3110 | 200 | 225 |9358k| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
659.09/659.19 c 659s| 1110k|109483 | 16323k| 14.7 | 184M| 96 | - | 200 |3110 | 200 | 226 |9435k| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
664.29/664.41 c 664s| 1120k|110059 | 16450k| 14.7 | 185M| 96 | 6 | 200 |3110 | 200 | 212 |9513k| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
669.59/669.63 c 670s| 1130k|110601 | 16575k| 14.7 | 186M| 96 | 10 | 200 |3110 | 200 | 200 |9589k| 0 | 16k|-3.862500e+01 |-2.900000e+01 | 24.92%
674.79/674.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.79/674.83 c 675s| 1140k|111163 | 16700k| 14.6 | 187M| 96 | - | 200 |3110 | 200 | 213 |9666k| 0 | 16k|-3.860000e+01 |-2.900000e+01 | 24.87%
680.08/680.13 c 680s| 1150k|111693 | 16828k| 14.6 | 188M| 96 | - | 200 |3110 | 200 | 229 |9748k| 0 | 16k|-3.858333e+01 |-2.900000e+01 | 24.84%
685.19/685.31 c 685s| 1160k|112191 | 16950k| 14.6 | 189M| 96 | 15 | 200 |3110 | 200 | 228 |9826k| 0 | 17k|-3.855000e+01 |-2.900000e+01 | 24.77%
690.49/690.56 c 691s| 1170k|112673 | 17076k| 14.6 | 190M| 96 | 4 | 200 |3110 | 200 | 200 |9904k| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
695.68/695.72 c 696s| 1180k|113169 | 17201k| 14.6 | 191M| 96 | - | 200 |3110 | 200 | 213 |9983k| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
700.78/700.88 c 701s| 1190k|113569 | 17324k| 14.5 | 191M| 96 | 10 | 200 |3110 | 200 | 223 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
705.99/706.10 c 706s| 1200k|114099 | 17449k| 14.5 | 192M| 96 | 31 | 200 |3110 | 200 | 216 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
711.19/711.27 c 711s| 1210k|114559 | 17572k| 14.5 | 193M| 96 | 30 | 200 |3110 | 200 | 218 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
716.49/716.50 c 717s| 1220k|115025 | 17697k| 14.5 | 194M| 96 | - | 200 |3110 | 200 | 224 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
721.60/721.69 c 722s| 1230k|115431 | 17820k| 14.5 | 195M| 96 | 30 | 200 |3110 | 200 | 217 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
726.78/726.81 c 727s| 1240k|115929 | 17944k| 14.5 | 196M| 96 | 49 | 200 |3110 | 200 | 217 | 10M| 0 | 17k|-3.847619e+01 |-2.900000e+01 | 24.63%
731.89/731.98 c 732s| 1250k|116369 | 18066k| 14.4 | 196M| 96 | 28 | 200 |3110 | 200 | 200 | 10M| 0 | 17k|-3.844444e+01 |-2.900000e+01 | 24.57%
737.09/737.16 c 737s| 1260k|116823 | 18190k| 14.4 | 197M| 96 | - | 200 |3110 | 200 | 244 | 10M| 0 | 17k|-3.840741e+01 |-2.900000e+01 | 24.49%
742.29/742.39 c 742s| 1270k|117381 | 18316k| 14.4 | 198M| 96 | 12 | 200 |3110 | 200 | 212 | 10M| 0 | 17k|-3.840000e+01 |-2.900000e+01 | 24.48%
747.49/747.51 c 748s| 1280k|117735 | 18436k| 14.4 | 199M| 96 | - | 200 |3110 | 200 | 243 | 10M| 0 | 17k|-3.835714e+01 |-2.900000e+01 | 24.39%
752.68/752.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.68/752.72 c 753s| 1290k|118313 | 18561k| 14.4 | 200M| 96 | 24 | 200 |3110 | 200 | 200 | 10M| 0 | 17k|-3.833333e+01 |-2.900000e+01 | 24.35%
757.90/757.95 c 758s| 1300k|118851 | 18686k| 14.4 | 201M| 96 | 46 | 200 |3110 | 200 | 236 | 10M| 0 | 17k|-3.833333e+01 |-2.900000e+01 | 24.35%
762.99/763.05 c 763s| 1310k|119277 | 18808k| 14.3 | 202M| 96 | 28 | 200 |3110 | 200 | 210 | 11M| 0 | 17k|-3.832258e+01 |-2.900000e+01 | 24.33%
768.19/768.26 c 768s| 1320k|119745 | 18931k| 14.3 | 202M| 96 | 41 | 200 |3110 | 200 | 240 | 11M| 0 | 18k|-3.827273e+01 |-2.900000e+01 | 24.23%
773.38/773.42 c 773s| 1330k|120211 | 19053k| 14.3 | 203M| 96 | 11 | 200 |3110 | 200 | 216 | 11M| 0 | 18k|-3.825000e+01 |-2.900000e+01 | 24.18%
778.48/778.53 c 779s| 1340k|120699 | 19175k| 14.3 | 204M| 96 | - | 200 |3110 | 200 | 225 | 11M| 0 | 18k|-3.825000e+01 |-2.900000e+01 | 24.18%
783.59/783.67 c 784s| 1350k|121135 | 19297k| 14.3 | 205M| 96 | - | 200 |3110 | 200 | 213 | 11M| 0 | 18k|-3.823810e+01 |-2.900000e+01 | 24.16%
788.89/788.90 c 789s| 1360k|121657 | 19423k| 14.3 | 206M| 96 | 16 | 200 |3110 | 200 | 216 | 11M| 0 | 18k|-3.820000e+01 |-2.900000e+01 | 24.08%
794.10/794.16 c 794s| 1370k|122151 | 19548k| 14.3 | 207M| 96 | 18 | 200 |3110 | 200 | 213 | 11M| 0 | 18k|-3.817722e+01 |-2.900000e+01 | 24.04%
799.18/799.23 c 799s| 1380k|122571 | 19669k| 14.2 | 207M| 96 | 42 | 200 |3110 | 200 | 215 | 11M| 0 | 18k|-3.816667e+01 |-2.900000e+01 | 24.02%
804.29/804.33 c 804s| 1390k|122981 | 19789k| 14.2 | 208M| 96 | - | 200 |3110 | 200 | 216 | 11M| 0 | 18k|-3.814286e+01 |-2.900000e+01 | 23.97%
809.39/809.47 c 809s| 1400k|123453 | 19911k| 14.2 | 209M| 96 | - | 200 |3110 | 200 | 231 | 11M| 0 | 18k|-3.812500e+01 |-2.900000e+01 | 23.93%
814.59/814.62 c 815s| 1410k|123971 | 20033k| 14.2 | 210M| 96 | - | 200 |3110 | 200 | 232 | 11M| 0 | 18k|-3.808824e+01 |-2.900000e+01 | 23.86%
819.59/819.67 c 820s| 1420k|124375 | 20150k| 14.2 | 211M| 96 | - | 200 |3110 | 200 | 212 | 11M| 0 | 18k|-3.804545e+01 |-2.900000e+01 | 23.78%
824.79/824.84 c 825s| 1430k|124917 | 20273k| 14.2 | 212M| 96 | 48 | 200 |3110 | 200 | 216 | 11M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
827.10/827.18 o -30
827.10/827.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.10/827.18 c * 827s| 1434k|102132 | 20328k| 14.2 | 175M| 96 | - | 200 |3110 | 200 | 224 | 11M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
830.09/830.18 c 830s| 1440k|102257 | 20396k| 14.2 | 175M| 96 | - | 200 |3110 | 200 | 215 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
835.29/835.31 c 835s| 1450k|102465 | 20515k| 14.1 | 176M| 96 | - | 200 |3110 | 200 | 244 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
840.30/840.37 c 840s| 1460k|102653 | 20632k| 14.1 | 176M| 96 | 19 | 200 |3110 | 200 | 200 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
845.39/845.47 c 845s| 1470k|102849 | 20750k| 14.1 | 177M| 96 | - | 200 |3110 | 200 | 222 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
850.49/850.51 c 851s| 1480k|103073 | 20868k| 14.1 | 177M| 96 | 58 | 200 |3110 | 200 | 253 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
855.59/855.71 c 856s| 1490k|103269 | 20990k| 14.1 | 178M| 96 | - | 200 |3110 | 200 | 226 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
860.69/860.77 c 861s| 1500k|103429 | 21106k| 14.1 | 178M| 96 | - | 200 |3110 | 200 | 236 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
865.79/865.80 c 866s| 1510k|103587 | 21223k| 14.0 | 178M| 96 | 20 | 200 |3110 | 200 | 231 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
870.99/871.03 c 871s| 1520k|103763 | 21345k| 14.0 | 179M| 96 | 13 | 200 |3110 | 200 | 216 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
876.09/876.12 c 876s| 1530k|104001 | 21463k| 14.0 | 179M| 96 | 10 | 200 |3110 | 200 | 200 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
881.19/881.27 c 881s| 1540k|104173 | 21584k| 14.0 | 180M| 96 | - | 200 |3110 | 200 | 228 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
886.29/886.31 c 886s| 1550k|104323 | 21701k| 14.0 | 180M| 96 | 21 | 200 |3110 | 200 | 200 | 12M| 0 | 19k|-3.796154e+01 |-3.000000e+01 | 20.97%
891.29/891.35 c 891s| 1560k|104461 | 21816k| 14.0 | 181M| 96 | - | 200 |3110 | 200 | 227 | 12M| 0 | 19k|-3.792593e+01 |-3.000000e+01 | 20.90%
896.40/896.42 c 896s| 1570k|104589 | 21933k| 14.0 | 181M| 96 | 10 | 200 |3110 | 200 | 200 | 13M| 0 | 19k|-3.790000e+01 |-3.000000e+01 | 20.84%
901.29/901.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.29/901.37 c 901s| 1580k|104709 | 22045k| 13.9 | 181M| 96 | 14 | 200 |3110 | 200 | 200 | 13M| 0 | 19k|-3.787500e+01 |-3.000000e+01 | 20.79%
906.31/906.40 c 906s| 1590k|104913 | 22163k| 13.9 | 182M| 96 | - | 200 |3110 | 200 | 213 | 13M| 0 | 19k|-3.785714e+01 |-3.000000e+01 | 20.75%
911.30/911.39 c 911s| 1600k|105049 | 22277k| 13.9 | 182M| 96 | - | 200 |3110 | 200 | 250 | 13M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
916.39/916.43 c 916s| 1610k|105223 | 22393k| 13.9 | 183M| 96 | - | 200 |3110 | 200 | 235 | 13M| 0 | 19k|-3.781818e+01 |-3.000000e+01 | 20.67%
921.39/921.42 c 921s| 1620k|105389 | 22508k| 13.9 | 183M| 96 | - | 200 |3110 | 200 | 213 | 13M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
926.39/926.46 c 926s| 1630k|105553 | 22624k| 13.9 | 184M| 96 | 20 | 200 |3110 | 200 | 214 | 13M| 0 | 19k|-3.778571e+01 |-3.000000e+01 | 20.60%
931.49/931.52 c 932s| 1640k|105667 | 22739k| 13.9 | 184M| 96 | 50 | 200 |3110 | 200 | 210 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
936.39/936.48 c 936s| 1650k|105781 | 22851k| 13.8 | 184M| 96 | - | 200 |3110 | 200 | 216 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
941.29/941.36 c 941s| 1660k|105911 | 22963k| 13.8 | 185M| 96 | - | 200 |3110 | 200 | 226 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
946.29/946.37 c 946s| 1670k|106053 | 23077k| 13.8 | 185M| 96 | 60 | 200 |3110 | 200 | 215 | 13M| 0 | 20k|-3.772727e+01 |-3.000000e+01 | 20.48%
951.30/951.40 c 951s| 1680k|106195 | 23192k| 13.8 | 185M| 96 | 9 | 200 |3110 | 200 | 218 | 13M| 0 | 20k|-3.770000e+01 |-3.000000e+01 | 20.42%
956.29/956.39 c 956s| 1690k|106311 | 23306k| 13.8 | 186M| 96 | - | 200 |3110 | 200 | 222 | 13M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
961.30/961.36 c 961s| 1700k|106445 | 23421k| 13.8 | 186M| 97 | - | 200 |3110 | 200 | 244 | 14M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
966.29/966.35 c 966s| 1710k|106555 | 23535k| 13.8 | 187M| 97 | - | 200 |3110 | 200 | 233 | 14M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
971.31/971.39 c 971s| 1720k|106801 | 23651k| 13.7 | 187M| 97 | - | 200 |3110 | 200 | 213 | 14M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
976.29/976.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.29/976.35 c 976s| 1730k|106937 | 23764k| 13.7 | 187M| 97 | 13 | 200 |3110 | 200 | 200 | 14M| 0 | 20k|-3.763636e+01 |-3.000000e+01 | 20.29%
981.21/981.28 c 981s| 1740k|107053 | 23876k| 13.7 | 188M| 97 | - | 200 |3110 | 200 | 213 | 14M| 0 | 20k|-3.761905e+01 |-3.000000e+01 | 20.25%
986.29/986.31 c 986s| 1750k|107147 | 23990k| 13.7 | 188M| 97 | 48 | 200 |3110 | 200 | 230 | 14M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
991.29/991.31 c 991s| 1760k|107329 | 24105k| 13.7 | 189M| 97 | 48 | 200 |3110 | 200 | 215 | 14M| 0 | 20k|-3.758333e+01 |-3.000000e+01 | 20.18%
996.29/996.37 c 996s| 1770k|107453 | 24221k| 13.7 | 189M| 97 | 12 | 200 |3110 | 200 | 200 | 14M| 0 | 20k|-3.755556e+01 |-3.000000e+01 | 20.12%
1001.20/1001.29 c 1001s| 1780k|107535 | 24333k| 13.7 | 189M| 97 | - | 200 |3110 | 200 | 213 | 14M| 0 | 20k|-3.752174e+01 |-3.000000e+01 | 20.05%
1006.20/1006.24 c 1006s| 1790k|107651 | 24445k| 13.6 | 190M| 97 | 10 | 200 |3110 | 200 | 200 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1011.10/1011.10 c 1011s| 1800k|107773 | 24555k| 13.6 | 190M| 97 | - | 200 |3110 | 200 | 240 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1016.00/1016.00 c 1016s| 1810k|107829 | 24665k| 13.6 | 190M| 97 | - | 200 |3110 | 200 | 218 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1020.81/1020.89 c 1021s| 1820k|108023 | 24776k| 13.6 | 191M| 101 | - | 200 |3110 | 200 | 231 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1025.79/1025.80 c 1026s| 1830k|108119 | 24887k| 13.6 | 191M| 101 | - | 200 |3110 | 200 | 237 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1030.61/1030.64 c 1031s| 1840k|108313 | 24996k| 13.6 | 191M| 101 | - | 200 |3110 | 200 | 215 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1035.49/1035.58 c 1036s| 1850k|108371 | 25107k| 13.6 | 192M| 101 | - | 200 |3110 | 200 | 251 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1040.40/1040.45 c 1040s| 1860k|108457 | 25217k| 13.6 | 192M| 101 | 22 | 200 |3110 | 200 | 218 | 15M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1045.29/1045.32 c 1045s| 1870k|108521 | 25326k| 13.5 | 192M| 101 | - | 200 |3110 | 200 | 219 | 15M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1050.19/1050.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.19/1050.23 c 1050s| 1880k|108659 | 25438k| 13.5 | 193M| 101 | 24 | 200 |3110 | 200 | 216 | 15M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1055.10/1055.18 c 1055s| 1890k|108769 | 25550k| 13.5 | 193M| 101 | - | 200 |3110 | 200 | 234 | 15M| 0 | 21k|-3.745872e+01 |-3.000000e+01 | 19.91%
1060.09/1060.12 c 1060s| 1900k|108831 | 25661k| 13.5 | 193M| 101 | 59 | 200 |3110 | 200 | 229 | 15M| 0 | 21k|-3.742857e+01 |-3.000000e+01 | 19.85%
1065.00/1065.05 c 1065s| 1910k|108881 | 25773k| 13.5 | 193M| 101 | - | 200 |3110 | 200 | 219 | 15M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1069.90/1069.92 c 1070s| 1920k|108969 | 25882k| 13.5 | 194M| 101 | 18 | 200 |3110 | 200 | 226 | 15M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1074.80/1074.82 c 1075s| 1930k|108985 | 25991k| 13.5 | 194M| 101 | 18 | 200 |3110 | 200 | 200 | 15M| 0 | 21k|-3.737500e+01 |-3.000000e+01 | 19.73%
1079.60/1079.64 c 1080s| 1940k|109075 | 26099k| 13.4 | 194M| 101 | 47 | 200 |3110 | 200 | 224 | 15M| 0 | 21k|-3.735294e+01 |-3.000000e+01 | 19.69%
1084.40/1084.51 c 1085s| 1950k|109117 | 26206k| 13.4 | 194M| 101 | - | 200 |3110 | 200 | 230 | 15M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1089.29/1089.34 c 1089s| 1960k|109215 | 26313k| 13.4 | 195M| 101 | - | 200 |3110 | 200 | 246 | 15M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1094.00/1094.08 c 1094s| 1970k|109257 | 26418k| 13.4 | 195M| 101 | - | 200 |3110 | 200 | 220 | 16M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1098.92/1098.96 c 1099s| 1980k|109363 | 26525k| 13.4 | 195M| 101 | 12 | 200 |3110 | 200 | 215 | 16M| 0 | 21k|-3.732143e+01 |-3.000000e+01 | 19.62%
1103.80/1103.82 c 1104s| 1990k|109467 | 26634k| 13.4 | 196M| 101 | - | 200 |3110 | 200 | 219 | 16M| 0 | 21k|-3.730000e+01 |-3.000000e+01 | 19.57%
1108.60/1108.63 c 1109s| 2000k|109513 | 26740k| 13.4 | 196M| 101 | - | 200 |3110 | 200 | 228 | 16M| 0 | 21k|-3.727885e+01 |-3.000000e+01 | 19.53%
1113.40/1113.45 c 1113s| 2010k|109537 | 26846k| 13.4 | 196M| 101 | - | 200 |3110 | 200 | 224 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1118.20/1118.22 c 1118s| 2020k|109611 | 26953k| 13.3 | 196M| 101 | 41 | 200 |3110 | 200 | 223 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1123.01/1123.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.01/1123.04 c 1123s| 2030k|109643 | 27059k| 13.3 | 196M| 101 | - | 200 |3110 | 200 | 229 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1127.70/1127.78 c 1128s| 2040k|109679 | 27164k| 13.3 | 197M| 101 | 21 | 200 |3110 | 200 | 215 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1132.60/1132.60 c 1133s| 2050k|109761 | 27271k| 13.3 | 197M| 101 | - | 200 |3110 | 200 | 248 | 16M| 0 | 21k|-3.721429e+01 |-3.000000e+01 | 19.39%
1137.42/1137.41 c 1137s| 2060k|109843 | 27379k| 13.3 | 197M| 101 | - | 200 |3110 | 200 | 213 | 16M| 0 | 21k|-3.720000e+01 |-3.000000e+01 | 19.35%
1142.20/1142.26 c 1142s| 2070k|109957 | 27486k| 13.3 | 198M| 101 | 34 | 200 |3110 | 200 | 215 | 16M| 0 | 22k|-3.717526e+01 |-3.000000e+01 | 19.30%
1147.00/1147.07 c 1147s| 2080k|110001 | 27592k| 13.3 | 198M| 101 | - | 200 |3110 | 200 | 248 | 16M| 0 | 22k|-3.716667e+01 |-3.000000e+01 | 19.28%
1151.80/1151.87 c 1152s| 2090k|110051 | 27698k| 13.2 | 198M| 101 | 38 | 200 |3110 | 200 | 212 | 16M| 0 | 22k|-3.715385e+01 |-3.000000e+01 | 19.25%
1156.60/1156.63 c 1157s| 2100k|110123 | 27804k| 13.2 | 198M| 101 | - | 200 |3110 | 200 | 212 | 16M| 0 | 22k|-3.712500e+01 |-3.000000e+01 | 19.19%
1161.40/1161.43 c 1161s| 2110k|110159 | 27909k| 13.2 | 198M| 101 | - | 200 |3110 | 200 | 229 | 16M| 0 | 22k|-3.711765e+01 |-3.000000e+01 | 19.18%
1166.20/1166.25 c 1166s| 2120k|110191 | 28016k| 13.2 | 199M| 101 | 38 | 200 |3110 | 200 | 220 | 17M| 0 | 22k|-3.710000e+01 |-3.000000e+01 | 19.14%
1170.90/1170.99 c 1171s| 2130k|110163 | 28120k| 13.2 | 199M| 101 | 35 | 200 |3110 | 200 | 230 | 17M| 0 | 22k|-3.707692e+01 |-3.000000e+01 | 19.09%
1175.70/1175.73 c 1176s| 2140k|110181 | 28224k| 13.2 | 199M| 101 | - | 200 |3110 | 200 | 200 | 17M| 0 | 22k|-3.705263e+01 |-3.000000e+01 | 19.03%
1180.50/1180.52 c 1181s| 2150k|110177 | 28329k| 13.2 | 199M| 101 | - | 200 |3110 | 200 | 223 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1185.30/1185.36 c 1185s| 2160k|110213 | 28437k| 13.2 | 199M| 101 | 9 | 200 |3110 | 200 | 218 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1190.22/1190.24 c 1190s| 2170k|110273 | 28546k| 13.1 | 200M| 101 | - | 200 |3110 | 200 | 200 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1195.00/1195.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.00/1195.01 c 1195s| 2180k|110319 | 28652k| 13.1 | 200M| 101 | 22 | 200 |3110 | 200 | 220 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1199.79/1199.83 c 1200s| 2190k|110353 | 28758k| 13.1 | 200M| 101 | - | 200 |3110 | 200 | 237 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1204.60/1204.65 c 1205s| 2200k|110427 | 28866k| 13.1 | 200M| 101 | - | 200 |3110 | 200 | 210 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1209.40/1209.43 c 1209s| 2210k|110485 | 28971k| 13.1 | 200M| 101 | - | 200 |3110 | 200 | 212 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1214.20/1214.20 c 1214s| 2220k|110573 | 29076k| 13.1 | 201M| 101 | 33 | 200 |3110 | 200 | 250 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1218.81/1218.90 c 1219s| 2230k|110663 | 29180k| 13.1 | 201M| 101 | 48 | 200 |3110 | 200 | 236 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1223.70/1223.73 c 1224s| 2240k|110745 | 29287k| 13.1 | 201M| 101 | - | 200 |3110 | 200 | 214 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1228.50/1228.53 c 1229s| 2250k|110833 | 29393k| 13.1 | 202M| 101 | - | 200 |3110 | 200 | 226 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1233.30/1233.30 c 1233s| 2260k|110923 | 29498k| 13.0 | 202M| 101 | - | 200 |3110 | 200 | 227 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1238.00/1238.01 c 1238s| 2270k|110989 | 29601k| 13.0 | 202M| 101 | 8 | 200 |3110 | 200 | 223 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1242.70/1242.70 c 1243s| 2280k|111035 | 29703k| 13.0 | 202M| 101 | 44 | 200 |3110 | 200 | 217 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1247.42/1247.49 c 1247s| 2290k|111087 | 29809k| 13.0 | 202M| 101 | - | 200 |3110 | 200 | 239 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1252.21/1252.23 c 1252s| 2300k|111177 | 29914k| 13.0 | 203M| 101 | - | 200 |3110 | 200 | 216 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1257.00/1257.00 c 1257s| 2310k|111289 | 30018k| 13.0 | 203M| 101 | - | 200 |3110 | 200 | 226 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1261.72/1261.76 c 1262s| 2320k|111357 | 30122k| 13.0 | 203M| 101 | 34 | 200 |3110 | 200 | 226 | 18M| 0 | 23k|-3.696154e+01 |-3.000000e+01 | 18.83%
1266.50/1266.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.50/1266.55 c 1267s| 2330k|111353 | 30227k| 13.0 | 203M| 101 | 63 | 200 |3110 | 200 | 219 | 18M| 0 | 23k|-3.692857e+01 |-3.000000e+01 | 18.76%
1271.31/1271.32 c 1271s| 2340k|111415 | 30332k| 13.0 | 204M| 101 | 42 | 200 |3110 | 200 | 220 | 18M| 0 | 23k|-3.690909e+01 |-3.000000e+01 | 18.72%
1276.02/1276.04 c 1276s| 2350k|111447 | 30435k| 12.9 | 204M| 101 | 41 | 200 |3110 | 200 | 216 | 18M| 0 | 23k|-3.688889e+01 |-3.000000e+01 | 18.67%
1280.71/1280.73 c 1281s| 2360k|111427 | 30537k| 12.9 | 204M| 101 | 14 | 200 |3110 | 200 | 216 | 18M| 0 | 23k|-3.687500e+01 |-3.000000e+01 | 18.64%
1285.41/1285.46 c 1285s| 2370k|111437 | 30640k| 12.9 | 204M| 101 | 14 | 200 |3110 | 200 | 218 | 18M| 0 | 23k|-3.685714e+01 |-3.000000e+01 | 18.60%
1290.10/1290.19 c 1290s| 2380k|111459 | 30743k| 12.9 | 204M| 102 | 18 | 200 |3110 | 200 | 213 | 18M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1294.81/1294.84 c 1295s| 2390k|111405 | 30843k| 12.9 | 204M| 102 | - | 200 |3110 | 200 | 233 | 18M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1299.50/1299.54 c 1300s| 2400k|111415 | 30946k| 12.9 | 205M| 102 | - | 200 |3110 | 200 | 235 | 18M| 0 | 23k|-3.681818e+01 |-3.000000e+01 | 18.52%
1304.20/1304.24 c 1304s| 2410k|111413 | 31048k| 12.9 | 205M| 102 | 54 | 200 |3110 | 200 | 251 | 19M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1308.91/1308.97 c 1309s| 2420k|111489 | 31151k| 12.9 | 205M| 102 | - | 200 |3110 | 200 | 251 | 19M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1313.60/1313.68 c 1314s| 2430k|111471 | 31252k| 12.9 | 205M| 102 | 35 | 200 |3110 | 200 | 200 | 19M| 0 | 23k|-3.677778e+01 |-3.000000e+01 | 18.43%
1318.41/1318.41 c 1318s| 2440k|111455 | 31355k| 12.8 | 205M| 102 | 28 | 200 |3110 | 200 | 220 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1323.01/1323.01 c 1323s| 2450k|111495 | 31454k| 12.8 | 205M| 102 | 27 | 200 |3110 | 200 | 218 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1327.61/1327.69 c 1328s| 2460k|111513 | 31555k| 12.8 | 206M| 102 | 28 | 200 |3110 | 200 | 215 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1332.31/1332.30 c 1332s| 2470k|111469 | 31655k| 12.8 | 206M| 102 | 4 | 200 |3110 | 200 | 229 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1336.91/1336.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.91/1336.92 c 1337s| 2480k|111543 | 31756k| 12.8 | 206M| 102 | - | 200 |3110 | 200 | 226 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1341.50/1341.55 c 1342s| 2490k|111535 | 31856k| 12.8 | 206M| 102 | 11 | 200 |3110 | 200 | 214 | 19M| 0 | 23k|-3.672727e+01 |-3.000000e+01 | 18.32%
1346.10/1346.14 c 1346s| 2500k|111531 | 31954k| 12.8 | 206M| 102 | - | 200 |3110 | 200 | 224 | 19M| 0 | 23k|-3.671429e+01 |-3.000000e+01 | 18.29%
1350.82/1350.86 c 1351s| 2510k|111583 | 32057k| 12.8 | 206M| 102 | 13 | 200 |3110 | 200 | 217 | 19M| 0 | 23k|-3.668750e+01 |-3.000000e+01 | 18.23%
1355.40/1355.49 c 1355s| 2520k|111617 | 32156k| 12.8 | 207M| 102 | - | 200 |3110 | 200 | 238 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1360.10/1360.14 c 1360s| 2530k|111613 | 32257k| 12.7 | 207M| 102 | 38 | 200 |3110 | 200 | 245 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1364.70/1364.79 c 1365s| 2540k|111599 | 32357k| 12.7 | 207M| 102 | 37 | 200 |3110 | 200 | 213 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1369.31/1369.35 c 1369s| 2550k|111651 | 32455k| 12.7 | 207M| 102 | - | 200 |3110 | 200 | 231 | 19M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1374.01/1374.01 c 1374s| 2560k|111663 | 32556k| 12.7 | 207M| 102 | - | 200 |3110 | 200 | 212 | 19M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1378.70/1378.71 c 1379s| 2570k|111661 | 32657k| 12.7 | 207M| 102 | - | 200 |3110 | 200 | 218 | 20M| 0 | 24k|-3.664286e+01 |-3.000000e+01 | 18.13%
1383.21/1383.27 c 1383s| 2580k|111639 | 32755k| 12.7 | 207M| 102 | - | 200 |3110 | 200 | 242 | 20M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1387.91/1387.92 c 1388s| 2590k|111681 | 32855k| 12.7 | 208M| 102 | 16 | 200 |3110 | 200 | 222 | 20M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1392.52/1392.57 c 1393s| 2600k|111701 | 32956k| 12.7 | 208M| 102 | 39 | 200 |3110 | 200 | 226 | 20M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1397.11/1397.11 c 1397s| 2610k|111665 | 33054k| 12.7 | 208M| 102 | 33 | 200 |3110 | 200 | 210 | 20M| 0 | 24k|-3.658333e+01 |-3.000000e+01 | 18.00%
1401.70/1401.75 c 1402s| 2620k|111703 | 33152k| 12.6 | 208M| 102 | 19 | 200 |3110 | 200 | 210 | 20M| 0 | 24k|-3.657143e+01 |-3.000000e+01 | 17.97%
1406.31/1406.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.31/1406.39 c 1406s| 2630k|111677 | 33251k| 12.6 | 208M| 102 | - | 200 |3110 | 200 | 246 | 20M| 0 | 24k|-3.655000e+01 |-3.000000e+01 | 17.92%
1410.90/1410.99 c 1411s| 2640k|111667 | 33349k| 12.6 | 208M| 102 | 16 | 200 |3110 | 200 | 213 | 20M| 0 | 24k|-3.652174e+01 |-3.000000e+01 | 17.86%
1415.50/1415.58 c 1416s| 2650k|111633 | 33447k| 12.6 | 208M| 102 | - | 200 |3110 | 200 | 216 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1420.20/1420.20 c 1420s| 2660k|111629 | 33546k| 12.6 | 208M| 102 | - | 200 |3110 | 200 | 218 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1424.71/1424.76 c 1425s| 2670k|111629 | 33644k| 12.6 | 209M| 102 | - | 200 |3110 | 200 | 241 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1429.20/1429.29 c 1429s| 2680k|111623 | 33740k| 12.6 | 209M| 102 | 45 | 200 |3110 | 200 | 250 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1433.91/1433.90 c 1434s| 2690k|111567 | 33839k| 12.6 | 209M| 102 | - | 200 |3110 | 200 | 200 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1438.51/1438.51 c 1439s| 2700k|111545 | 33939k| 12.6 | 209M| 102 | 49 | 200 |3110 | 200 | 228 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1443.01/1443.03 c 1443s| 2710k|111541 | 34035k| 12.6 | 209M| 102 | 16 | 200 |3110 | 200 | 222 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1447.52/1447.58 c 1448s| 2720k|111507 | 34132k| 12.5 | 209M| 102 | 52 | 200 |3110 | 200 | 233 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1452.11/1452.15 c 1452s| 2730k|111487 | 34228k| 12.5 | 209M| 102 | 58 | 200 |3110 | 200 | 242 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1456.70/1456.74 c 1457s| 2740k|111541 | 34329k| 12.5 | 209M| 102 | 20 | 200 |3110 | 200 | 236 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1461.31/1461.39 c 1461s| 2750k|111541 | 34429k| 12.5 | 209M| 102 | 31 | 200 |3110 | 200 | 216 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1465.91/1465.99 c 1466s| 2760k|111551 | 34529k| 12.5 | 210M| 102 | - | 200 |3110 | 200 | 242 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1470.50/1470.61 c 1471s| 2770k|111551 | 34628k| 12.5 | 210M| 102 | - | 200 |3110 | 200 | 260 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1475.21/1475.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.21/1475.20 c 1475s| 2780k|111569 | 34726k| 12.5 | 210M| 102 | 51 | 200 |3110 | 200 | 227 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1479.71/1479.75 c 1480s| 2790k|111573 | 34825k| 12.5 | 210M| 102 | 29 | 200 |3110 | 200 | 216 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1484.31/1484.37 c 1484s| 2800k|111585 | 34924k| 12.5 | 210M| 104 | - | 200 |3110 | 200 | 213 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1488.91/1488.95 c 1489s| 2810k|111615 | 35022k| 12.5 | 210M| 104 | 26 | 200 |3110 | 200 | 212 | 21M| 0 | 24k|-3.646429e+01 |-3.000000e+01 | 17.73%
1493.51/1493.58 c 1494s| 2820k|111631 | 35121k| 12.5 | 210M| 104 | 49 | 200 |3110 | 200 | 246 | 21M| 0 | 25k|-3.643590e+01 |-3.000000e+01 | 17.66%
1498.12/1498.15 c 1498s| 2830k|111579 | 35218k| 12.4 | 211M| 104 | - | 200 |3110 | 200 | 224 | 21M| 0 | 25k|-3.642857e+01 |-3.000000e+01 | 17.65%
1502.71/1502.78 c 1503s| 2840k|111533 | 35316k| 12.4 | 211M| 104 | - | 200 |3110 | 200 | 226 | 21M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1507.31/1507.31 c 1507s| 2850k|111575 | 35414k| 12.4 | 211M| 104 | 10 | 200 |3110 | 200 | 211 | 21M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1511.81/1511.88 c 1512s| 2860k|111519 | 35511k| 12.4 | 211M| 104 | 16 | 200 |3110 | 200 | 222 | 21M| 0 | 25k|-3.637500e+01 |-3.000000e+01 | 17.53%
1516.41/1516.42 c 1516s| 2870k|111519 | 35608k| 12.4 | 211M| 104 | - | 200 |3110 | 200 | 217 | 21M| 0 | 25k|-3.636364e+01 |-3.000000e+01 | 17.50%
1520.91/1520.99 c 1521s| 2880k|111493 | 35704k| 12.4 | 211M| 104 | - | 200 |3110 | 200 | 214 | 21M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1525.51/1525.50 c 1526s| 2890k|111509 | 35801k| 12.4 | 211M| 104 | 17 | 200 |3110 | 200 | 216 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1530.02/1530.10 c 1530s| 2900k|111527 | 35900k| 12.4 | 211M| 104 | 16 | 200 |3110 | 200 | 223 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1534.61/1534.63 c 1535s| 2910k|111529 | 35996k| 12.4 | 211M| 104 | 53 | 200 |3110 | 200 | 253 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1539.21/1539.21 c 1539s| 2920k|111517 | 36093k| 12.4 | 212M| 104 | - | 200 |3110 | 200 | 243 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1543.81/1543.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.81/1543.81 c 1544s| 2930k|111563 | 36193k| 12.3 | 212M| 104 | - | 200 |3110 | 200 | 225 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1548.31/1548.37 c 1548s| 2940k|111543 | 36289k| 12.3 | 212M| 104 | 33 | 200 |3110 | 200 | 220 | 22M| 0 | 25k|-3.630000e+01 |-3.000000e+01 | 17.36%
1552.91/1552.95 c 1553s| 2950k|111559 | 36388k| 12.3 | 212M| 104 | - | 200 |3110 | 200 | 222 | 22M| 0 | 25k|-3.628571e+01 |-3.000000e+01 | 17.32%
1557.41/1557.51 c 1558s| 2960k|111489 | 36484k| 12.3 | 212M| 104 | 28 | 200 |3110 | 200 | 215 | 22M| 0 | 25k|-3.626786e+01 |-3.000000e+01 | 17.28%
1562.03/1562.10 c 1562s| 2970k|111453 | 36582k| 12.3 | 212M| 104 | - | 200 |3110 | 200 | 211 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1566.61/1566.60 c 1567s| 2980k|111369 | 36677k| 12.3 | 212M| 104 | - | 200 |3110 | 200 | 244 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1571.11/1571.18 c 1571s| 2990k|111369 | 36775k| 12.3 | 212M| 104 | 29 | 200 |3110 | 200 | 219 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1575.71/1575.73 c 1576s| 3000k|111349 | 36872k| 12.3 | 212M| 104 | - | 200 |3110 | 200 | 218 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1580.21/1580.25 c 1580s| 3010k|111341 | 36968k| 12.3 | 213M| 104 | - | 200 |3110 | 200 | 214 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1584.82/1584.83 c 1585s| 3020k|111309 | 37066k| 12.3 | 213M| 104 | 52 | 200 |3110 | 200 | 225 | 22M| 0 | 25k|-3.622222e+01 |-3.000000e+01 | 17.18%
1589.31/1589.36 c 1589s| 3030k|111311 | 37162k| 12.3 | 213M| 104 | - | 200 |3110 | 200 | 235 | 22M| 0 | 25k|-3.620000e+01 |-3.000000e+01 | 17.13%
1593.82/1593.90 c 1594s| 3040k|111323 | 37260k| 12.3 | 213M| 104 | 36 | 200 |3110 | 200 | 213 | 22M| 0 | 25k|-3.620000e+01 |-3.000000e+01 | 17.13%
1598.33/1598.39 c 1598s| 3050k|111237 | 37354k| 12.2 | 213M| 104 | - | 200 |3110 | 200 | 213 | 22M| 0 | 25k|-3.618519e+01 |-3.000000e+01 | 17.09%
1602.81/1602.84 c 1603s| 3060k|111237 | 37448k| 12.2 | 213M| 104 | 29 | 200 |3110 | 200 | 214 | 23M| 0 | 25k|-3.616667e+01 |-3.000000e+01 | 17.05%
1607.41/1607.40 c 1607s| 3070k|111211 | 37545k| 12.2 | 213M| 104 | 47 | 200 |3110 | 200 | 229 | 23M| 0 | 25k|-3.616667e+01 |-3.000000e+01 | 17.05%
1611.82/1611.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.82/1611.88 c 1612s| 3080k|111143 | 37638k| 12.2 | 213M| 104 | 59 | 200 |3110 | 200 | 227 | 23M| 0 | 25k|-3.615789e+01 |-3.000000e+01 | 17.03%
1616.41/1616.44 c 1616s| 3090k|111081 | 37735k| 12.2 | 213M| 104 | 10 | 200 |3110 | 200 | 226 | 23M| 0 | 25k|-3.614286e+01 |-3.000000e+01 | 17.00%
1620.92/1620.99 c 1621s| 3100k|111077 | 37832k| 12.2 | 213M| 104 | - | 200 |3110 | 200 | 249 | 23M| 0 | 25k|-3.612500e+01 |-3.000000e+01 | 16.96%
1625.51/1625.50 c 1626s| 3110k|111027 | 37927k| 12.2 | 213M| 104 | 16 | 200 |3110 | 200 | 220 | 23M| 0 | 26k|-3.610714e+01 |-3.000000e+01 | 16.91%
1629.91/1629.98 c 1630s| 3120k|111011 | 38021k| 12.2 | 213M| 104 | 42 | 200 |3110 | 200 | 224 | 23M| 0 | 26k|-3.608824e+01 |-3.000000e+01 | 16.87%
1634.42/1634.46 c 1634s| 3130k|110911 | 38113k| 12.2 | 213M| 104 | - | 200 |3110 | 200 | 216 | 23M| 0 | 26k|-3.606349e+01 |-3.000000e+01 | 16.81%
1638.93/1638.92 c 1639s| 3140k|110835 | 38207k| 12.2 | 213M| 104 | 15 | 200 |3110 | 200 | 215 | 23M| 0 | 26k|-3.603333e+01 |-3.000000e+01 | 16.74%
1643.32/1643.39 c 1643s| 3150k|110801 | 38302k| 12.2 | 214M| 104 | - | 200 |3110 | 200 | 235 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1647.92/1647.97 c 1648s| 3160k|110839 | 38401k| 12.1 | 214M| 104 | 21 | 200 |3110 | 200 | 211 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1652.41/1652.48 c 1652s| 3170k|110837 | 38496k| 12.1 | 214M| 104 | 54 | 200 |3110 | 200 | 211 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1656.91/1656.97 c 1657s| 3180k|110759 | 38592k| 12.1 | 214M| 104 | - | 200 |3110 | 200 | 247 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1661.52/1661.53 c 1662s| 3190k|110757 | 38689k| 12.1 | 214M| 104 | 42 | 200 |3110 | 200 | 213 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1666.01/1666.01 c 1666s| 3200k|110691 | 38784k| 12.1 | 214M| 104 | 45 | 200 |3110 | 200 | 221 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1670.51/1670.51 c 1671s| 3210k|110695 | 38879k| 12.1 | 214M| 104 | 36 | 200 |3110 | 200 | 224 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1675.02/1675.01 c 1675s| 3220k|110599 | 38974k| 12.1 | 214M| 104 | - | 200 |3110 | 200 | 226 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1679.41/1679.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.41/1679.46 c 1679s| 3230k|110529 | 39067k| 12.1 | 214M| 104 | - | 200 |3110 | 200 | 219 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1683.91/1683.93 c 1684s| 3240k|110513 | 39161k| 12.1 | 214M| 104 | 65 | 200 |3110 | 200 | 226 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1688.32/1688.39 c 1688s| 3250k|110469 | 39255k| 12.1 | 214M| 104 | - | 200 |3110 | 200 | 224 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1692.71/1692.79 c 1693s| 3260k|110419 | 39347k| 12.1 | 214M| 104 | 48 | 200 |3110 | 200 | 217 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1697.22/1697.26 c 1697s| 3270k|110337 | 39439k| 12.1 | 214M| 104 | 7 | 200 |3110 | 200 | 215 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1701.63/1701.68 c 1702s| 3280k|110267 | 39531k| 12.0 | 214M| 104 | - | 200 |3110 | 200 | 248 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1706.21/1706.23 c 1706s| 3290k|110255 | 39628k| 12.0 | 214M| 104 | - | 200 |3110 | 200 | 220 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1710.61/1710.70 c 1711s| 3300k|110275 | 39722k| 12.0 | 215M| 104 | 35 | 200 |3110 | 200 | 214 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1715.21/1715.22 c 1715s| 3310k|110221 | 39818k| 12.0 | 215M| 104 | - | 200 |3110 | 200 | 233 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1719.61/1719.68 c 1720s| 3320k|110187 | 39913k| 12.0 | 215M| 104 | 42 | 200 |3110 | 200 | 216 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1724.01/1724.05 c 1724s| 3330k|110117 | 40003k| 12.0 | 215M| 104 | 31 | 200 |3110 | 200 | 225 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1728.42/1728.45 c 1728s| 3340k|110051 | 40094k| 12.0 | 215M| 104 | - | 200 |3110 | 200 | 225 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1732.92/1732.97 c 1733s| 3350k|109997 | 40190k| 12.0 | 215M| 104 | - | 200 |3110 | 200 | 216 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1737.41/1737.44 c 1737s| 3360k|109981 | 40284k| 12.0 | 215M| 104 | - | 200 |3110 | 200 | 239 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1741.92/1741.98 c 1742s| 3370k|109973 | 40380k| 12.0 | 215M| 104 | 45 | 200 |3110 | 200 | 241 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1746.31/1746.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1746.31/1746.38 c 1746s| 3380k|109935 | 40472k| 12.0 | 215M| 104 | 61 | 200 |3110 | 200 | 212 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1750.91/1750.91 c 1751s| 3390k|109923 | 40567k| 12.0 | 215M| 104 | - | 200 |3110 | 200 | 245 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1755.32/1755.34 c 1755s| 3400k|109853 | 40661k| 12.0 | 215M| 104 | - | 200 |3110 | 200 | 252 | 25M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1759.82/1759.82 c 1760s| 3410k|109823 | 40754k| 11.9 | 215M| 104 | 34 | 200 |3110 | 200 | 216 | 25M| 0 | 27k|-3.595000e+01 |-3.000000e+01 | 16.55%
1764.22/1764.25 c 1764s| 3420k|109789 | 40847k| 11.9 | 215M| 104 | - | 200 |3110 | 200 | 217 | 25M| 0 | 27k|-3.591667e+01 |-3.000000e+01 | 16.47%
1768.72/1768.74 c 1769s| 3430k|109709 | 40940k| 11.9 | 215M| 104 | 27 | 200 |3110 | 200 | 216 | 25M| 0 | 27k|-3.590000e+01 |-3.000000e+01 | 16.43%
1773.13/1773.11 c 1773s| 3440k|109637 | 41029k| 11.9 | 215M| 104 | 57 | 200 |3110 | 200 | 228 | 25M| 0 | 27k|-3.588889e+01 |-3.000000e+01 | 16.41%
1777.52/1777.55 c 1778s| 3450k|109573 | 41122k| 11.9 | 215M| 104 | 4 | 200 |3110 | 200 | 215 | 25M| 0 | 27k|-3.587500e+01 |-3.000000e+01 | 16.38%
1781.93/1781.96 c 1782s| 3460k|109499 | 41214k| 11.9 | 215M| 104 | 13 | 200 |3110 | 200 | 217 | 25M| 0 | 27k|-3.585714e+01 |-3.000000e+01 | 16.33%
1786.33/1786.41 c 1786s| 3470k|109409 | 41308k| 11.9 | 215M| 104 | - | 200 |3110 | 200 | 213 | 25M| 0 | 27k|-3.583333e+01 |-3.000000e+01 | 16.28%
1790.83/1790.84 c 1791s| 3480k|109329 | 41400k| 11.9 | 215M| 104 | 22 | 200 |3110 | 200 | 217 | 25M| 0 | 27k|-3.583333e+01 |-3.000000e+01 | 16.28%
1795.24/1795.23 c 1795s| 3490k|109299 | 41492k| 11.9 | 215M| 104 | - | 200 |3110 | 200 | 212 | 25M| 0 | 27k|-3.583333e+01 |-3.000000e+01 | 16.28%
1799.64/1799.64 c 1800s| 3500k|109259 | 41584k| 11.9 | 216M| 104 | - | 200 |3110 | 200 | 225 | 25M| 0 | 27k|-3.581818e+01 |-3.000000e+01 | 16.24%
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.00 c Solving Time (sec) : 1800.00
1800.02/1800.00 c Solving Nodes : 3500818
1800.02/1800.00 c Primal Bound : -3.00000000000000e+01 (648 solutions)
1800.02/1800.00 c Dual Bound : -3.58125000000000e+01
1800.02/1800.00 c Gap : 16.23 %
1800.02/1800.00 s SATISFIABLE
1800.02/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 -x178
1800.02/1800.00 v -x177 -x176 -x175 x174 x173 x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.02/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.02/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.02/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 -x91 -x90
1800.02/1800.00 v -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.02/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.02/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.02/1800.00 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.00 c Total Time : 1800.00
1800.02/1800.00 c solving : 1800.00
1800.02/1800.00 c presolving : 0.08 (included in solving)
1800.02/1800.00 c reading : 0.02 (included in solving)
1800.02/1800.00 c Original Problem :
1800.02/1800.00 c Problem name : HOME/instance-3450673-1307106520.opb
1800.02/1800.00 c Variables : 3310 (3310 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.00 c Constraints : 3510 initial, 3510 maximal
1800.02/1800.00 c Presolved Problem :
1800.02/1800.00 c Problem name : t_HOME/instance-3450673-1307106520.opb
1800.02/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.00 c Constraints : 3110 initial, 3110 maximal
1800.02/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.02/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c linear : 0.01 3110 0 0 3110 0 200 0 0 0
1800.02/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1800.02/1800.00 c root node : - 0 - - 0 - - - - -
1800.02/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.02/1800.00 c integral : 0 0 0 2751421 0 701782 0 270 1629 0 0 3644412
1800.02/1800.00 c logicor : 3110 72 3513648 928209 0 701778 0 14 20427161 25600388 0 0
1800.02/1800.00 c countsols : 0 0 0 6 0 644 0 0 0 0 0 0
1800.02/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.02/1800.00 c integral : 37.75 0.00 0.00 37.60 0.00 0.15 0.00
1800.02/1800.00 c logicor : 164.73 0.03 77.22 42.55 0.00 44.93 0.00
1800.02/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.02/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.02/1800.00 c vbounds : 0 0 0 0
1800.02/1800.00 c rootredcost : 7 0 0 0
1800.02/1800.00 c pseudoobj : 5720327 0 1 0
1800.02/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.02/1800.00 c vbounds : 1.00 1.00 0.00
1800.02/1800.00 c rootredcost : 1.16 1.16 0.00
1800.02/1800.00 c pseudoobj : 25.89 25.89 0.00
1800.02/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.00 c propagation : 0.00 14 0 0 0.0 0 0.0 -
1800.02/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.00 c applied globally : - - - 0 0.0 - - -
1800.02/1800.00 c applied locally : - - - 0 0.0 - - -
1800.02/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.00 c cut pool : 0.04 71 - - 217 - (maximal pool size: 2641)
1800.02/1800.00 c redcost : 15.65 3048882 0 585134 0 0
1800.02/1800.00 c impliedbounds : 0.01 72 0 0 1826 0
1800.02/1800.00 c intobj : 0.00 0 0 0 0 0
1800.02/1800.00 c gomory : 1.82 72 0 0 10310 0
1800.02/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.02/1800.00 c strongcg : 0.30 20 0 0 9184 0
1800.02/1800.00 c cmir : 0.06 10 0 0 0 0
1800.02/1800.00 c flowcover : 0.05 10 0 0 0 0
1800.02/1800.00 c clique : 0.18 72 0 0 603 0
1800.02/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.00 c mcf : 0.00 1 0 0 0 0
1800.02/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.02/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.00 c Pricers : Time Calls Vars
1800.02/1800.00 c problem variables: 0.00 0 0
1800.02/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.00 c relpscost : 36.34 1823212 270 1629 0 0 3644412
1800.02/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.02/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.00 c random : 0.00 0 0 0 0 0 0
1800.02/1800.00 c Primal Heuristics : Time Calls Found
1800.02/1800.00 c LP solutions : 0.09 - 6
1800.02/1800.00 c pseudo solutions : 0.00 - 0
1800.02/1800.00 c feaspump : 0.07 0 0
1800.02/1800.00 c oneopt : 0.79 9 1
1800.02/1800.00 c crossover : 1.95 45 28
1800.02/1800.00 c coefdiving : 0.39 384 8
1800.02/1800.00 c pscostdiving : 0.40 384 12
1800.02/1800.00 c fracdiving : 0.46 384 7
1800.02/1800.00 c linesearchdiving : 0.43 384 2
1800.02/1800.00 c veclendiving : 0.44 384 10
1800.02/1800.00 c guideddiving : 0.45 385 10
1800.02/1800.00 c objpscostdiving : 0.25 193 7
1800.02/1800.00 c rootsoldiving : 0.45 193 5
1800.02/1800.00 c trivial : 0.00 2 1
1800.02/1800.00 c shiftandpropagate: 0.00 0 0
1800.02/1800.00 c simplerounding : 55.34 1826300 545
1800.02/1800.00 c zirounding : 0.68 1000 3
1800.02/1800.00 c rounding : 5.64 90674 2
1800.02/1800.00 c shifting : 1.48 20535 1
1800.02/1800.00 c intshifting : 0.04 0 0
1800.02/1800.00 c twoopt : 0.00 0 0
1800.02/1800.00 c fixandinfer : 0.00 0 0
1800.02/1800.00 c clique : 0.00 0 0
1800.02/1800.00 c intdiving : 0.00 0 0
1800.02/1800.00 c actconsdiving : 0.00 0 0
1800.02/1800.00 c octane : 0.00 0 0
1800.02/1800.00 c rens : 0.01 0 0
1800.02/1800.00 c rins : 0.00 0 0
1800.02/1800.00 c localbranching : 0.00 0 0
1800.02/1800.00 c mutation : 0.00 0 0
1800.02/1800.00 c dins : 0.00 0 0
1800.02/1800.00 c vbounds : 0.00 0 0
1800.02/1800.00 c undercover : 0.01 1 0
1800.02/1800.00 c subnlp : 0.52 0 0
1800.02/1800.00 c trysol : 0.76 0 0
1800.02/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.00 c primal LP : 28.47 0 0 0.00 0.00
1800.02/1800.00 c dual LP : 1098.57 4436293 41545867 9.36 37818.16
1800.02/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.00 c diving/probing LP: 1.65 7841 45939 5.86 27773.19
1800.02/1800.00 c strong branching : 16.62 27288 438601 16.07 26385.49
1800.02/1800.00 c (at root node) : - 22 14035 637.95 -
1800.02/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.00 c B&B Tree :
1800.02/1800.00 c number of runs : 1
1800.02/1800.00 c nodes : 3500818
1800.02/1800.00 c nodes (total) : 3500818
1800.02/1800.00 c nodes left : 109269
1800.02/1800.00 c max depth : 104
1800.02/1800.00 c max depth (total): 104
1800.02/1800.00 c backtracks : 408898 (11.7%)
1800.02/1800.00 c delayed cutoffs : 0
1800.02/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.02/1800.00 c avg switch length: 5.34
1800.02/1800.00 c switching time : 148.07
1800.02/1800.00 c Solution :
1800.02/1800.00 c Solutions found : 648 (11 improvements)
1800.02/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.02/1800.00 c Primal Bound : -3.00000000000000e+01 (in run 1, after 1434267 nodes, 827.11 seconds, depth 46, found by <relaxation>)
1800.02/1800.00 c Dual Bound : -3.58125000000000e+01
1800.02/1800.00 c Gap : 16.23 %
1800.02/1800.00 c Root Dual Bound : -4.92039671812530e+01
1800.02/1800.00 c Root Iterations : 11919
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-3450673-1307106520/watcher-3450673-1307106520 -o /tmp/evaluation-result-3450673-1307106520/solver-3450673-1307106520 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450673-1307106520.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.14 1.54 1.80 2/461 13840 /proc/meminfo: memFree=28613588/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=14928 CPUtime=0 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 2727 0 0 0 0 0 0 0 25 0 1 0 822249966 15286272 2680 33554432000 4194304 9163163 140736224269648 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/13840/statm: 3732 2680 415 1214 0 2514 0 [startup+0.0689629 s] /proc/loadavg: 1.14 1.54 1.80 2/461 13840 /proc/meminfo: memFree=28613588/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=28240 CPUtime=0.06 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 6061 0 0 0 6 0 0 0 25 0 1 0 822249966 28917760 5756 33554432000 4194304 9163163 140736224269648 18446744073709551615 8017887 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 7060 5756 527 1214 0 5842 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 28240 [startup+0.100951 s] /proc/loadavg: 1.14 1.54 1.80 2/461 13840 /proc/meminfo: memFree=28613588/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=30672 CPUtime=0.09 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 6688 0 0 0 9 0 0 0 25 0 1 0 822249966 31408128 6383 33554432000 4194304 9163163 140736224269648 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 7668 6383 544 1214 0 6450 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30672 [startup+0.300922 s] /proc/loadavg: 1.14 1.54 1.80 2/461 13840 /proc/meminfo: memFree=28613588/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=37964 CPUtime=0.29 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 11123 0 0 0 29 0 0 0 18 0 1 0 822249966 38875136 8402 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 9491 8402 691 1214 0 8273 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37964 [startup+0.700813 s] /proc/loadavg: 1.14 1.54 1.80 2/461 13840 /proc/meminfo: memFree=28613588/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=42448 CPUtime=0.69 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 12167 0 0 0 68 1 0 0 18 0 1 0 822249966 43466752 9439 33554432000 4194304 9163163 140736224269648 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 10612 9439 694 1214 0 9394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42448 [startup+1.50067 s] /proc/loadavg: 1.14 1.54 1.80 3/462 13841 /proc/meminfo: memFree=28536080/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=51140 CPUtime=1.49 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 14421 0 0 0 147 2 0 0 19 0 1 0 822249966 52367360 11675 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 12785 11675 693 1214 0 11567 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51140 [startup+3.10041 s] /proc/loadavg: 1.21 1.54 1.81 3/462 13841 /proc/meminfo: memFree=28526404/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=51496 CPUtime=3.09 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 14536 0 0 0 305 4 0 0 24 0 1 0 822249966 52731904 11790 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 12874 11790 693 1214 0 11656 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51496 [startup+6.30082 s] /proc/loadavg: 1.21 1.54 1.81 3/462 13841 /proc/meminfo: memFree=28512636/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=51496 CPUtime=6.29 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 16417 0 0 0 619 10 0 0 25 0 1 0 822249966 52731904 11891 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 12874 11891 717 1214 0 11656 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51496 [startup+12.7007 s] /proc/loadavg: 1.33 1.56 1.81 3/462 13842 /proc/meminfo: memFree=28478324/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=53952 CPUtime=12.69 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 27254 0 0 0 1239 30 0 0 25 0 1 0 822249966 55246848 12508 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 13488 12508 734 1214 0 12270 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53952 [startup+25.5004 s] /proc/loadavg: 1.43 1.57 1.81 3/462 13842 /proc/meminfo: memFree=28449424/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=60544 CPUtime=25.49 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 56890 0 0 0 2477 72 0 0 25 0 1 0 822249966 61997056 14198 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 15136 14198 734 1214 0 13918 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60544 [startup+51.1007 s] /proc/loadavg: 1.62 1.60 1.81 3/462 13843 /proc/meminfo: memFree=28408676/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=76516 CPUtime=51.07 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 67851 0 0 0 4956 151 0 0 25 0 1 0 822249966 78352384 18151 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 19129 18151 734 1214 0 17911 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76516 [startup+102.317 s] /proc/loadavg: 1.85 1.67 1.82 3/462 13844 /proc/meminfo: memFree=28366348/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=95528 CPUtime=102.28 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 100833 0 0 0 9923 305 0 0 25 0 1 0 822249966 97820672 22928 33554432000 4194304 9163163 140736224269648 18446744073709551615 6555978 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 23882 22928 734 1214 0 22664 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 95528 [startup+162.301 s] /proc/loadavg: 1.94 1.73 1.83 3/462 13845 /proc/meminfo: memFree=28351072/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=109752 CPUtime=162.27 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 129817 0 0 0 15742 485 0 0 25 0 1 0 822249966 112386048 26563 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 27438 26563 734 1214 0 26220 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 109752 [startup+222.301 s] /proc/loadavg: 1.98 1.77 1.83 3/462 13847 /proc/meminfo: memFree=28334552/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=127512 CPUtime=222.27 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 141310 0 0 0 21573 654 0 0 25 0 1 0 822249966 130572288 30996 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 31878 30996 734 1214 0 30660 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 127512 [startup+282.301 s] /proc/loadavg: 2.02 1.83 1.84 3/462 13849 /proc/meminfo: memFree=28320628/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=141988 CPUtime=282.28 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 148496 0 0 0 27400 828 0 0 25 0 1 0 822249966 145395712 34659 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 35497 34659 734 1214 0 34279 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 141988 [startup+342.301 s] /proc/loadavg: 2.01 1.85 1.85 3/462 13850 /proc/meminfo: memFree=28300256/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=160908 CPUtime=342.28 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 152748 0 0 0 33235 993 0 0 25 0 1 0 822249966 164769792 38911 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 40227 38911 734 1214 0 39009 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 160908 [startup+402.301 s] /proc/loadavg: 2.00 1.88 1.86 3/462 13852 /proc/meminfo: memFree=28285332/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=175540 CPUtime=402.28 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 159962 0 0 0 39066 1162 0 0 25 0 1 0 822249966 179752960 42599 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 43885 42599 734 1214 0 42667 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 175540 [startup+462.301 s] /proc/loadavg: 2.10 1.93 1.87 3/462 13854 /proc/meminfo: memFree=28272528/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=188860 CPUtime=462.28 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 163327 0 0 0 44885 1343 0 0 25 0 1 0 822249966 193392640 45964 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 47215 45964 734 1214 0 45997 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 188860 [startup+522.3 s] /proc/loadavg: 2.04 1.94 1.88 3/462 13855 /proc/meminfo: memFree=28262812/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=199628 CPUtime=522.28 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 166082 0 0 0 50708 1520 0 0 25 0 1 0 822249966 204419072 48719 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 49907 48719 734 1214 0 48689 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 199628 [startup+582.3 s] /proc/loadavg: 2.01 1.95 1.88 3/462 13857 /proc/meminfo: memFree=28251108/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=212676 CPUtime=582.28 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 169337 0 0 0 56532 1696 0 0 25 0 1 0 822249966 217780224 51974 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 53169 51974 734 1214 0 51951 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 212676 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.08 2.01 1.92 3/462 13863 /proc/meminfo: memFree=28207564/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=256236 CPUtime=822.29 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 183826 0 0 0 79859 2370 0 0 25 0 1 0 822249966 262385664 62958 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64059 62958 734 1214 0 62841 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 256236 [startup+882.301 s] /proc/loadavg: 2.03 2.00 1.92 3/462 13865 /proc/meminfo: memFree=28203408/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=257068 CPUtime=882.3 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 215693 0 0 0 85698 2532 0 0 25 0 1 0 822249966 263237632 63239 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64267 63239 734 1214 0 63049 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 257068 [startup+942.301 s] /proc/loadavg: 2.01 2.00 1.92 3/462 13866 /proc/meminfo: memFree=28203368/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=257068 CPUtime=942.29 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 219203 0 0 0 91528 2701 0 0 25 0 1 0 822249966 263237632 63239 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64267 63239 734 1214 0 63049 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 257068 [startup+1002.3 s] /proc/loadavg: 2.08 2.03 1.93 3/462 13868 /proc/meminfo: memFree=28199000/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=257068 CPUtime=1002.3 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 219208 0 0 0 97363 2867 0 0 25 0 1 0 822249966 263237632 63244 33554432000 4194304 9163163 140736224269648 18446744073709551615 6556209 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64267 63244 734 1214 0 63049 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 257068 [startup+1062.3 s] /proc/loadavg: 2.03 2.02 1.93 3/462 13869 /proc/meminfo: memFree=28197956/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=257068 CPUtime=1062.29 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 222707 0 0 0 103202 3027 0 0 25 0 1 0 822249966 263237632 63239 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64267 63239 734 1214 0 63049 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 257068 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 1.93 3/462 13871 /proc/meminfo: memFree=28195956/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=257068 CPUtime=1122.3 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 222707 0 0 0 109042 3188 0 0 25 0 1 0 822249966 263237632 63239 33554432000 4194304 9163163 140736224269648 18446744073709551615 7238272 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64267 63239 734 1214 0 63049 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 257068 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 1.93 3/462 13873 /proc/meminfo: memFree=28190716/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=257068 CPUtime=1182.3 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 222714 0 0 0 114890 3340 0 0 25 0 1 0 822249966 263237632 63246 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64267 63246 734 1214 0 63049 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 257068 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/462 13874 /proc/meminfo: memFree=28185608/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=257452 CPUtime=1242.3 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 226309 0 0 0 120722 3508 0 0 25 0 1 0 822249966 263630848 63335 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64363 63335 734 1214 0 63145 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 257452 [startup+1302.3 s] /proc/loadavg: 2.13 2.03 1.94 3/462 13876 /proc/meminfo: memFree=28183580/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=258668 CPUtime=1302.31 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 226587 0 0 0 126560 3671 0 0 25 0 1 0 822249966 264876032 63613 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 64667 63613 734 1214 0 63449 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 258668 [startup+1362.3 s] /proc/loadavg: 2.11 2.04 1.94 3/462 13878 /proc/meminfo: memFree=28177228/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=260744 CPUtime=1362.31 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 227062 0 0 0 132395 3836 0 0 25 0 1 0 822249966 267001856 64088 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 65186 64088 734 1214 0 63968 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 260744 [startup+1422.32 s] /proc/loadavg: 2.04 2.03 1.94 3/462 13879 /proc/meminfo: memFree=28173228/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=262980 CPUtime=1422.32 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 227621 0 0 0 138236 3996 0 0 25 0 1 0 822249966 269291520 64647 33554432000 4194304 9163163 140736224269648 18446744073709551615 4347401 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 65745 64647 734 1214 0 64527 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 262980 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 1.94 3/462 13881 /proc/meminfo: memFree=28169980/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=264200 CPUtime=1482.31 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 227959 0 0 0 144081 4150 0 0 25 0 1 0 822249966 270540800 64985 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 66050 64985 734 1214 0 64832 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 264200 [startup+1542.3 s] /proc/loadavg: 2.06 2.03 1.95 3/462 13882 /proc/meminfo: memFree=28165980/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=265544 CPUtime=1542.31 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 228295 0 0 0 149922 4309 0 0 25 0 1 0 822249966 271917056 65321 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 66386 65321 734 1214 0 65168 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 265544 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 1.95 3/462 13884 /proc/meminfo: memFree=28163468/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=267016 CPUtime=1602.32 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 228630 0 0 0 155766 4466 0 0 25 0 1 0 822249966 273424384 65656 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 66754 65656 734 1214 0 65536 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 267016 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 1.95 3/462 13886 /proc/meminfo: memFree=28159976/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=268360 CPUtime=1662.32 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 232524 0 0 0 161613 4619 0 0 25 0 1 0 822249966 274800640 65994 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 67090 65994 736 1214 0 65872 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 268360 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.95 3/462 13887 /proc/meminfo: memFree=28155844/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=269576 CPUtime=1722.32 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 232862 0 0 0 167452 4780 0 0 25 0 1 0 822249966 276045824 66332 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 67394 66332 736 1214 0 66176 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 269576 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.95 3/462 13889 /proc/meminfo: memFree=28148252/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=271016 CPUtime=1782.32 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 233188 0 0 0 173302 4930 0 0 25 0 1 0 822249966 277520384 66658 33554432000 4194304 9163163 140736224269648 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13840/statm: 67754 66658 736 1214 0 66536 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 271016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 1.95 3/463 13890 /proc/meminfo: memFree=28180848/32951124 swapFree=41830676/67111528 [pid=13840] ppid=13838 vsize=271400 CPUtime=1800.03 cores=0,2,4,6 /proc/13840/stat : 13840 (scip-2.0.1.4b.l) R 13838 13840 12829 0 -1 4202496 233286 0 0 0 175029 4974 0 0 18 0 1 0 822249966 277913600 66756 33554432000 4194304 9163163 140736224269648 18446744073709551615 8034196 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/13840/statm: 67850 66756 738 1214 0 66632 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 271400 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.03 CPU time (s): 1800.06 CPU user time (s): 1750.3 CPU system time (s): 49.7564 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 272972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.3 system time used= 49.7564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233286 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= 5 involuntary context switches= 2742 runsolver used 8.47871 second user time and 17.7463 second system time The end
Begin job on node138 at 2011-06-03 15:08:40 IDJOB=3450673 IDBENCH=48197 IDSOLVER=1948 FILE ID=node138/3450673-1307106520 RUNJOBID= node138-1307106520-13793 PBS_JOBID= 13497998 Free space on /tmp= 73648 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_2.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-3450673-1307106520/watcher-3450673-1307106520 -o /tmp/evaluation-result-3450673-1307106520/solver-3450673-1307106520 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450673-1307106520.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED=1670418041 node138.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.854 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.854 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.854 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.82 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.854 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 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.854 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.854 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28613744 kB Buffers: 292204 kB Cached: 1085200 kB SwapCached: 44568 kB Active: 2258720 kB Inactive: 1790120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28613744 kB SwapTotal: 67111528 kB SwapFree: 41830676 kB Dirty: 24856 kB Writeback: 0 kB AnonPages: 2638320 kB Mapped: 17736 kB Slab: 127932 kB PageTables: 92732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 130709220 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= 73648 MiB End job on node138 at 2011-06-03 15:38:42