Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -31 | 1797.67 | 1797.64 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb |
| MD5SUM | cdccc05ac387e7ee9cb8ab81f53ca6f8 |
| 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 | -31 |
| Best CPU time to get the best result obtained on this benchmark | 1797.67 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -31 |
| 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 | 49 |
| 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) | 6226 |
| Sum of products size (including duplicates) | 12452 |
| Number of different products | 3113 |
| Sum of products size | 6226 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488601-1307784217.opb>
0.00/0.02 c original problem has 3313 variables (3313 bin, 0 int, 0 impl, 0 cont) and 3513 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.06 c (round 1) 3113 del vars, 400 del conss, 0 add conss, 3113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12452 impls, 0 clqs
0.00/0.07 c (round 2) 3113 del vars, 400 del conss, 0 add conss, 3113 chg bounds, 0 chg sides, 0 chg coeffs, 3113 upgd conss, 12452 impls, 0 clqs
0.00/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.10 c presolving (3 rounds):
0.00/0.10 c 3113 deleted vars, 400 deleted constraints, 0 added constraints, 3113 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.10 c 18676 implications, 0 cliques
0.00/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3113 constraints
0.00/0.10 c 3113 constraints of type <setppc>
0.00/0.10 c transformed objective value is always integral (scale: 1)
0.00/0.10 c Presolving Time: 0.07
0.00/0.10 c - non default parameters ----------------------------------------------------------------------
0.00/0.10 c # SCIP version 2.0.1.5
0.00/0.10 c
0.00/0.10 c # frequency for displaying node information lines
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.10 c display/freq = 10000
0.00/0.10 c
0.00/0.10 c # maximal time in seconds to run
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.10 c limits/time = 1797
0.00/0.10 c
0.00/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.10 c limits/memory = 13950
0.00/0.10 c
0.00/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.10 c # [type: int, range: [1,2], default: 1]
0.00/0.10 c timing/clocktype = 2
0.00/0.10 c
0.00/0.10 c # belongs reading time to solving time?
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c timing/reading = TRUE
0.00/0.10 c
0.00/0.10 c # should presolving try to simplify inequalities
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/linear/simplifyinequalities = TRUE
0.00/0.10 c
0.00/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/indicator/addCouplingCons = TRUE
0.00/0.10 c
0.00/0.10 c # should presolving try to simplify knapsacks
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.10 c
0.00/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.10 c separating/rapidlearning/freq = 0
0.00/0.10 c
0.00/0.10 c -----------------------------------------------------------------------------------------------
0.00/0.10 c start solving
0.00/0.10 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 204 | - | 10M| 0 | 200 | 200 |3113 | 200 |3113 | 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 | 204 | - | 10M| 0 | 200 | 200 |3113 | 200 |3113 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.18 o -18
0.09/0.18 c y 0.2s| 1 | 0 | 204 | - | 10M| 0 | 200 | 200 |3113 | 200 |3113 | 0 | 0 | 0 |-1.000000e+02 |-1.800000e+01 | 82.00%
0.19/0.20 c 0.2s| 1 | 0 | 289 | - | 10M| 0 | 190 | 200 |3113 | 200 |3120 | 7 | 0 | 0 |-9.500000e+01 |-1.800000e+01 | 81.05%
0.19/0.25 c 0.3s| 1 | 0 | 363 | - | 10M| 0 | 184 | 200 |3113 | 200 |3128 | 15 | 0 | 0 |-9.200000e+01 |-1.800000e+01 | 80.43%
0.29/0.31 c 0.3s| 1 | 0 | 465 | - | 10M| 0 | 176 | 200 |3113 | 200 |3137 | 24 | 0 | 0 |-8.800000e+01 |-1.800000e+01 | 79.55%
0.29/0.38 c 0.4s| 1 | 0 | 609 | - | 10M| 0 | 170 | 200 |3113 | 200 |3145 | 32 | 0 | 0 |-8.450000e+01 |-1.800000e+01 | 78.70%
0.39/0.44 c 0.4s| 1 | 0 | 674 | - | 10M| 0 | 167 | 200 |3113 | 200 |3155 | 42 | 0 | 0 |-8.350000e+01 |-1.800000e+01 | 78.44%
0.49/0.54 c 0.5s| 1 | 0 | 855 | - | 10M| 0 | 161 | 200 |3113 | 200 |3163 | 50 | 0 | 0 |-8.050000e+01 |-1.800000e+01 | 77.64%
0.59/0.61 c 0.6s| 1 | 0 | 972 | - | 10M| 0 | 156 | 200 |3113 | 200 |3173 | 60 | 0 | 0 |-7.800000e+01 |-1.800000e+01 | 76.92%
0.59/0.69 c 0.7s| 1 | 0 | 1086 | - | 10M| 0 | 155 | 200 |3113 | 200 |3178 | 65 | 0 | 0 |-7.733333e+01 |-1.800000e+01 | 76.72%
0.69/0.78 c 0.8s| 1 | 0 | 1432 | - | 10M| 0 | 148 | 200 |3113 | 200 |3186 | 73 | 0 | 0 |-7.400000e+01 |-1.800000e+01 | 75.68%
0.79/0.88 c 0.9s| 1 | 0 | 1675 | - | 10M| 0 | 145 | 200 |3113 | 200 |3194 | 81 | 0 | 0 |-7.250000e+01 |-1.800000e+01 | 75.17%
0.88/0.93 c 0.9s| 1 | 0 | 1767 | - | 10M| 0 | 143 | 200 |3113 | 200 | 485 | 86 | 0 | 0 |-7.150000e+01 |-1.800000e+01 | 74.83%
0.88/0.95 c 1.0s| 1 | 0 | 1935 | - | 10M| 0 | 156 | 200 |3113 | 200 | 495 | 96 | 0 | 0 |-7.000000e+01 |-1.800000e+01 | 74.29%
0.88/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/0.99 c 1.0s| 1 | 0 | 2211 | - | 11M| 0 | 149 | 200 |3113 | 200 | 588 | 189 | 0 | 0 |-6.850000e+01 |-1.800000e+01 | 73.72%
0.99/1.03 c 1.0s| 1 | 0 | 2358 | - | 11M| 0 | 144 | 200 |3113 | 200 | 615 | 216 | 0 | 0 |-6.800000e+01 |-1.800000e+01 | 73.53%
0.99/1.08 c 1.1s| 1 | 0 | 2782 | - | 11M| 0 | 149 | 200 |3113 | 200 | 667 | 268 | 0 | 0 |-6.633333e+01 |-1.800000e+01 | 72.86%
1.09/1.17 c 1.2s| 1 | 0 | 3387 | - | 11M| 0 | 157 | 200 |3113 | 200 | 721 | 322 | 0 | 0 |-6.483333e+01 |-1.800000e+01 | 72.24%
1.19/1.26 c 1.3s| 1 | 0 | 3887 | - | 12M| 0 | 159 | 200 |3113 | 200 | 608 | 422 | 0 | 0 |-6.380000e+01 |-1.800000e+01 | 71.79%
1.29/1.35 c 1.3s| 1 | 0 | 4406 | - | 13M| 0 | 151 | 200 |3113 | 200 | 731 | 545 | 0 | 0 |-6.100000e+01 |-1.800000e+01 | 70.49%
1.39/1.42 c 1.4s| 1 | 0 | 4562 | - | 13M| 0 | 143 | 200 |3113 | 200 | 836 | 650 | 0 | 0 |-6.050000e+01 |-1.800000e+01 | 70.25%
1.39/1.49 c 1.5s| 1 | 0 | 4885 | - | 13M| 0 | 157 | 200 |3113 | 200 | 863 | 677 | 0 | 0 |-5.925000e+01 |-1.800000e+01 | 69.62%
1.49/1.53 c 1.5s| 1 | 0 | 5112 | - | 14M| 0 | 167 | 200 |3113 | 200 | 923 | 737 | 0 | 0 |-5.863492e+01 |-1.800000e+01 | 69.30%
1.59/1.60 c 1.6s| 1 | 0 | 5492 | - | 14M| 0 | 173 | 200 |3113 | 200 | 960 | 774 | 0 | 0 |-5.780121e+01 |-1.800000e+01 | 68.86%
1.59/1.69 c 1.7s| 1 | 0 | 5903 | - | 14M| 0 | 162 | 200 |3113 | 200 | 861 | 863 | 0 | 0 |-5.682821e+01 |-1.800000e+01 | 68.33%
1.68/1.75 c 1.7s| 1 | 0 | 6125 | - | 15M| 0 | 159 | 200 |3113 | 200 | 899 | 901 | 0 | 0 |-5.647578e+01 |-1.800000e+01 | 68.13%
1.79/1.82 c 1.8s| 1 | 0 | 6501 | - | 15M| 0 | 170 | 200 |3113 | 200 | 932 | 934 | 0 | 0 |-5.580530e+01 |-1.800000e+01 | 67.74%
1.89/1.90 c 1.9s| 1 | 0 | 6968 | - | 15M| 0 | 171 | 200 |3113 | 200 | 960 | 962 | 0 | 0 |-5.513565e+01 |-1.800000e+01 | 67.35%
1.89/1.98 c 2.0s| 1 | 0 | 7260 | - | 15M| 0 | 169 | 200 |3113 | 200 | 983 | 985 | 0 | 0 |-5.477456e+01 |-1.800000e+01 | 67.14%
1.99/2.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.06 c 2.1s| 1 | 0 | 7566 | - | 15M| 0 | 171 | 200 |3113 | 200 |1040 |1042 | 0 | 0 |-5.426578e+01 |-1.800000e+01 | 66.83%
2.09/2.13 c 2.1s| 1 | 0 | 7820 | - | 15M| 0 | 173 | 200 |3113 | 200 | 654 |1073 | 0 | 0 |-5.374332e+01 |-1.800000e+01 | 66.51%
2.09/2.19 c 2.2s| 1 | 0 | 7997 | - | 15M| 0 | 175 | 200 |3113 | 200 | 690 |1109 | 0 | 0 |-5.334266e+01 |-1.800000e+01 | 66.26%
2.19/2.25 c 2.2s| 1 | 0 | 8239 | - | 15M| 0 | 174 | 200 |3113 | 200 | 718 |1137 | 0 | 0 |-5.289374e+01 |-1.800000e+01 | 65.97%
2.29/2.32 c 2.3s| 1 | 0 | 8695 | - | 15M| 0 | 181 | 200 |3113 | 200 | 736 |1155 | 0 | 0 |-5.234288e+01 |-1.800000e+01 | 65.61%
2.29/2.38 c 2.4s| 1 | 0 | 8856 | - | 15M| 0 | 182 | 200 |3113 | 200 | 748 |1167 | 0 | 0 |-5.219580e+01 |-1.800000e+01 | 65.51%
2.38/2.44 c 2.4s| 1 | 0 | 8988 | - | 15M| 0 | 185 | 200 |3113 | 200 | 762 |1181 | 0 | 0 |-5.198226e+01 |-1.800000e+01 | 65.37%
2.49/2.50 c 2.5s| 1 | 0 | 9200 | - | 15M| 0 | 189 | 200 |3113 | 200 | 532 |1198 | 0 | 0 |-5.172648e+01 |-1.800000e+01 | 65.20%
2.49/2.56 c 2.6s| 1 | 0 | 9466 | - | 15M| 0 | 185 | 200 |3113 | 200 | 545 |1211 | 0 | 0 |-5.149619e+01 |-1.800000e+01 | 65.05%
2.59/2.60 c 2.6s| 1 | 0 | 9582 | - | 15M| 0 | 190 | 200 |3113 | 200 | 554 |1220 | 0 | 0 |-5.126841e+01 |-1.800000e+01 | 64.89%
2.59/2.65 c 2.6s| 1 | 0 | 9721 | - | 15M| 0 | 190 | 200 |3113 | 200 | 564 |1230 | 0 | 0 |-5.107806e+01 |-1.800000e+01 | 64.76%
2.59/2.69 c 2.7s| 1 | 0 | 9831 | - | 15M| 0 | 191 | 200 |3113 | 200 | 572 |1238 | 0 | 0 |-5.081199e+01 |-1.800000e+01 | 64.58%
2.69/2.74 c 2.7s| 1 | 0 | 9955 | - | 15M| 0 | 188 | 200 |3113 | 200 | 587 |1253 | 0 | 0 |-5.063299e+01 |-1.800000e+01 | 64.45%
2.69/2.79 c 2.8s| 1 | 0 | 10081 | - | 15M| 0 | 193 | 200 |3113 | 200 | 423 |1263 | 0 | 0 |-5.042361e+01 |-1.800000e+01 | 64.30%
2.79/2.82 c 2.8s| 1 | 0 | 10169 | - | 15M| 0 | 194 | 200 |3113 | 200 | 428 |1268 | 0 | 0 |-5.029552e+01 |-1.800000e+01 | 64.21%
2.79/2.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.87 c 2.9s| 1 | 0 | 10346 | - | 15M| 0 | 195 | 200 |3113 | 200 | 436 |1276 | 0 | 0 |-5.015616e+01 |-1.800000e+01 | 64.11%
2.89/2.90 c 2.9s| 1 | 0 | 10421 | - | 15M| 0 | 193 | 200 |3113 | 200 | 443 |1283 | 0 | 0 |-5.007024e+01 |-1.800000e+01 | 64.05%
2.89/2.94 c 2.9s| 1 | 0 | 10590 | - | 15M| 0 | 198 | 200 |3113 | 200 | 453 |1293 | 0 | 0 |-4.979209e+01 |-1.800000e+01 | 63.85%
2.89/2.98 c 3.0s| 1 | 0 | 10644 | - | 15M| 0 | 197 | 200 |3113 | 200 | 462 |1302 | 0 | 0 |-4.972064e+01 |-1.800000e+01 | 63.80%
2.99/3.02 c 3.0s| 1 | 0 | 10695 | - | 15M| 0 | 200 | 200 |3113 | 200 | 419 |1314 | 0 | 0 |-4.963895e+01 |-1.800000e+01 | 63.74%
2.99/3.06 c 3.1s| 1 | 0 | 10803 | - | 15M| 0 | 198 | 200 |3113 | 200 | 427 |1322 | 0 | 0 |-4.955191e+01 |-1.800000e+01 | 63.67%
2.99/3.09 c 3.1s| 1 | 0 | 10883 | - | 15M| 0 | 198 | 200 |3113 | 200 | 437 |1332 | 0 | 0 |-4.949605e+01 |-1.800000e+01 | 63.63%
3.09/3.12 c 3.1s| 1 | 0 | 10952 | - | 15M| 0 | 198 | 200 |3113 | 200 | 446 |1341 | 0 | 0 |-4.943335e+01 |-1.800000e+01 | 63.59%
3.09/3.16 c 3.2s| 1 | 0 | 11038 | - | 15M| 0 | 199 | 200 |3113 | 200 | 455 |1350 | 0 | 0 |-4.933955e+01 |-1.800000e+01 | 63.52%
3.19/3.20 c 3.2s| 1 | 0 | 11100 | - | 15M| 0 | 199 | 200 |3113 | 200 | 461 |1356 | 0 | 0 |-4.930489e+01 |-1.800000e+01 | 63.49%
3.19/3.24 c 3.2s| 1 | 0 | 11208 | - | 15M| 0 | 199 | 200 |3113 | 200 | 424 |1364 | 0 | 0 |-4.922556e+01 |-1.800000e+01 | 63.43%
3.19/3.27 c 3.3s| 1 | 0 | 11272 | - | 15M| 0 | 199 | 200 |3113 | 200 | 435 |1375 | 0 | 0 |-4.918257e+01 |-1.800000e+01 | 63.40%
3.30/3.31 c 3.3s| 1 | 0 | 11353 | - | 15M| 0 | 200 | 200 |3113 | 200 | 444 |1384 | 0 | 0 |-4.908972e+01 |-1.800000e+01 | 63.33%
3.30/3.35 c 3.3s| 1 | 0 | 11430 | - | 15M| 0 | 200 | 200 |3113 | 200 | 454 |1394 | 0 | 0 |-4.899682e+01 |-1.800000e+01 | 63.26%
3.30/3.39 c 3.4s| 1 | 0 | 11513 | - | 15M| 0 | 200 | 200 |3113 | 200 | 464 |1404 | 0 | 0 |-4.894859e+01 |-1.800000e+01 | 63.23%
3.39/3.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.42 c 3.4s| 1 | 0 | 11571 | - | 15M| 0 | 200 | 200 |3113 | 200 | 473 |1413 | 0 | 0 |-4.889748e+01 |-1.800000e+01 | 63.19%
3.39/3.47 c 3.5s| 1 | 0 | 11668 | - | 15M| 0 | 200 | 200 |3113 | 200 | 425 |1421 | 0 | 0 |-4.886794e+01 |-1.800000e+01 | 63.17%
3.49/3.50 c 3.5s| 1 | 0 | 11742 | - | 15M| 0 | 199 | 200 |3113 | 200 | 434 |1430 | 0 | 0 |-4.885083e+01 |-1.800000e+01 | 63.15%
3.49/3.53 c 3.5s| 1 | 0 | 11794 | - | 15M| 0 | 200 | 200 |3113 | 200 | 439 |1435 | 0 | 0 |-4.883520e+01 |-1.800000e+01 | 63.14%
3.49/3.57 c 3.6s| 1 | 0 | 11876 | - | 15M| 0 | 200 | 200 |3113 | 200 | 444 |1440 | 0 | 0 |-4.881805e+01 |-1.800000e+01 | 63.13%
3.59/3.61 c 3.6s| 1 | 0 | 11933 | - | 15M| 0 | 200 | 200 |3113 | 200 | 452 |1448 | 0 | 0 |-4.880424e+01 |-1.800000e+01 | 63.12%
3.59/3.64 c 3.6s| 1 | 0 | 11964 | - | 15M| 0 | 200 | 200 |3113 | 200 | 456 |1452 | 0 | 0 |-4.879113e+01 |-1.800000e+01 | 63.11%
3.59/3.67 c 3.7s| 1 | 0 | 11975 | - | 15M| 0 | 200 | 200 |3113 | 200 | 412 |1456 | 0 | 0 |-4.879032e+01 |-1.800000e+01 | 63.11%
4.49/4.54 c 4.5s| 1 | 2 | 11975 | - | 15M| 0 | 200 | 200 |3113 | 200 | 412 |1456 | 0 | 21 |-4.879032e+01 |-1.800000e+01 | 63.11%
5.59/5.69 o -20
5.59/5.69 c r 5.7s| 33 | 32 | 14650 | 83.6 | 15M| 13 | 5 | 200 |3113 | 200 | 238 |1643 | 0 | 576 |-4.844830e+01 |-2.000000e+01 | 58.72%
5.59/5.69 o -21
5.59/5.69 c R 5.7s| 33 | 32 | 14650 | 83.6 | 15M| 13 | 5 | 200 |3113 | 200 | 238 |1643 | 0 | 576 |-4.844830e+01 |-2.100000e+01 | 56.65%
5.59/5.69 o -22
5.59/5.69 c f 5.7s| 33 | 31 | 14651 | 83.6 | 15M| 13 | - | 200 |3113 | 200 | 238 |1643 | 0 | 580 |-4.844830e+01 |-2.200000e+01 | 54.59%
5.99/6.09 o -23
5.99/6.09 c r 6.1s| 57 | 48 | 15818 | 68.6 | 15M| 14 | 3 | 200 |3113 | 200 | 223 |1809 | 0 | 882 |-4.844830e+01 |-2.300000e+01 | 52.53%
5.99/6.09 o -24
5.99/6.09 c v 6.1s| 57 | 46 | 15819 | 68.6 | 15M| 14 | - | 200 |3113 | 200 | 223 |1809 | 0 | 882 |-4.844830e+01 |-2.400000e+01 | 50.46%
6.29/6.36 o -25
6.29/6.36 c z 6.4s| 104 | 68 | 17032 | 49.1 | 16M| 15 | - | 200 |3113 | 200 | 214 |2281 | 0 |1189 |-4.844830e+01 |-2.500000e+01 | 48.40%
12.29/12.33 o -26
12.29/12.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.33 c *12.3s| 3810 | 2225 |145281 | 35.0 | 21M| 52 | - | 200 |3113 | 200 | 240 | 44k| 0 |1538 |-4.627451e+01 |-2.600000e+01 | 43.81%
17.89/17.91 c 17.9s| 10000 | 4749 |293306 | 28.1 | 28M| 59 | 43 | 200 |3113 | 200 | 219 | 109k| 0 |1538 |-4.539858e+01 |-2.600000e+01 | 42.73%
25.78/25.88 c 25.9s| 20000 | 8291 |496238 | 24.2 | 37M| 65 | 24 | 200 |3113 | 200 | 219 | 207k| 0 |2025 |-4.484615e+01 |-2.600000e+01 | 42.02%
26.09/26.17 o -27
26.09/26.17 c *26.2s| 20397 | 6979 |503770 | 24.1 | 35M| 65 | - | 200 |3113 | 200 | 226 | 211k| 0 |2026 |-4.482176e+01 |-2.700000e+01 | 39.76%
33.19/33.29 c 33.3s| 30000 | 9498 |682602 | 22.4 | 43M| 65 | 47 | 200 |3113 | 200 | 248 | 303k| 0 |2495 |-4.453546e+01 |-2.700000e+01 | 39.37%
40.39/40.49 c 40.5s| 40000 | 12126 |869514 | 21.4 | 50M| 65 | 12 | 200 |3113 | 200 | 200 | 397k| 0 |2933 |-4.422222e+01 |-2.700000e+01 | 38.94%
46.89/46.92 o -28
46.89/46.92 c *46.9s| 49443 | 11717 | 1035k| 20.7 | 51M| 65 | - | 200 |3113 | 200 | 230 | 485k| 0 |3218 |-4.400593e+01 |-2.800000e+01 | 36.37%
47.30/47.32 c 47.3s| 50000 | 11822 | 1045k| 20.7 | 52M| 65 | 9 | 200 |3113 | 200 | 200 | 490k| 0 |3244 |-4.399813e+01 |-2.800000e+01 | 36.36%
54.08/54.12 c 54.1s| 60000 | 13846 | 1218k| 20.1 | 58M| 65 | - | 200 |3113 | 200 | 228 | 586k| 0 |3611 |-4.381009e+01 |-2.800000e+01 | 36.09%
60.50/60.50 c 60.5s| 70000 | 15754 | 1384k| 19.6 | 64M| 65 | 50 | 200 |3113 | 200 | 234 | 679k| 0 |3891 |-4.361067e+01 |-2.800000e+01 | 35.80%
67.10/67.17 c 67.2s| 80000 | 17802 | 1558k| 19.3 | 70M| 65 | 49 | 200 |3113 | 200 | 246 | 775k| 0 |4179 |-4.340625e+01 |-2.800000e+01 | 35.49%
73.70/73.72 c 73.7s| 90000 | 19788 | 1730k| 19.1 | 76M| 65 | - | 200 |3113 | 200 | 233 | 871k| 0 |4453 |-4.323507e+01 |-2.800000e+01 | 35.24%
80.19/80.22 c 80.2s|100000 | 21898 | 1901k| 18.9 | 82M| 65 | 42 | 200 |3113 | 200 | 237 | 963k| 0 |4721 |-4.308623e+01 |-2.800000e+01 | 35.01%
86.49/86.54 c 86.5s|110000 | 23878 | 2069k| 18.7 | 88M| 69 | 33 | 200 |3113 | 200 | 228 |1056k| 0 |4912 |-4.295952e+01 |-2.800000e+01 | 34.82%
92.89/92.92 c 92.9s|120000 | 25800 | 2237k| 18.5 | 94M| 69 | 26 | 200 |3113 | 200 | 212 |1149k| 0 |5183 |-4.283333e+01 |-2.800000e+01 | 34.63%
99.19/99.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.19/99.21 c 99.2s|130000 | 27774 | 2404k| 18.4 | 100M| 69 | 55 | 200 |3113 | 200 | 253 |1242k| 0 |5391 |-4.272981e+01 |-2.800000e+01 | 34.47%
105.49/105.59 c 106s|140000 | 29734 | 2573k| 18.3 | 106M| 69 | - | 200 |3113 | 200 | 238 |1338k| 0 |5628 |-4.263415e+01 |-2.800000e+01 | 34.32%
111.89/111.93 c 112s|150000 | 31664 | 2741k| 18.2 | 112M| 71 | 42 | 200 |3113 | 200 | 241 |1432k| 0 |5804 |-4.251852e+01 |-2.800000e+01 | 34.15%
118.19/118.27 c 118s|160000 | 33482 | 2907k| 18.1 | 117M| 71 | - | 200 |3113 | 200 | 218 |1524k| 0 |6023 |-4.240909e+01 |-2.800000e+01 | 33.98%
124.69/124.72 c 125s|170000 | 35446 | 3078k| 18.0 | 123M| 76 | 36 | 200 |3113 | 200 | 222 |1615k| 0 |6216 |-4.229167e+01 |-2.800000e+01 | 33.79%
130.90/131.00 c 131s|180000 | 37398 | 3243k| 18.0 | 129M| 76 | 25 | 200 |3113 | 200 | 216 |1704k| 0 |6429 |-4.217647e+01 |-2.800000e+01 | 33.61%
137.19/137.21 c 137s|190000 | 39192 | 3406k| 17.9 | 135M| 76 | - | 200 |3113 | 200 | 238 |1793k| 0 |6600 |-4.207692e+01 |-2.800000e+01 | 33.46%
143.39/143.49 c 143s|200000 | 41060 | 3572k| 17.8 | 141M| 76 | 31 | 200 |3113 | 200 | 232 |1888k| 0 |6782 |-4.200000e+01 |-2.800000e+01 | 33.33%
149.59/149.66 c 150s|210000 | 42792 | 3735k| 17.7 | 146M| 77 | - | 200 |3113 | 200 | 219 |1981k| 0 |6922 |-4.190566e+01 |-2.800000e+01 | 33.18%
155.69/155.75 c 156s|220000 | 44578 | 3895k| 17.7 | 151M| 77 | 17 | 200 |3113 | 200 | 200 |2070k| 0 |7074 |-4.181818e+01 |-2.800000e+01 | 33.04%
161.79/161.86 c 162s|230000 | 46290 | 4055k| 17.6 | 157M| 77 | - | 200 |3113 | 200 | 220 |2159k| 0 |7222 |-4.172727e+01 |-2.800000e+01 | 32.90%
167.99/168.00 c 168s|240000 | 48090 | 4217k| 17.5 | 162M| 77 | 39 | 200 |3113 | 200 | 226 |2249k| 0 |7407 |-4.164912e+01 |-2.800000e+01 | 32.77%
173.99/174.05 c 174s|250000 | 49822 | 4377k| 17.5 | 167M| 77 | 8 | 200 |3113 | 200 | 200 |2341k| 0 |7580 |-4.158333e+01 |-2.800000e+01 | 32.67%
179.89/179.97 c 180s|260000 | 51374 | 4532k| 17.4 | 172M| 77 | 56 | 200 |3113 | 200 | 244 |2432k| 0 |7735 |-4.152632e+01 |-2.800000e+01 | 32.57%
185.89/186.00 c 186s|270000 | 53066 | 4692k| 17.3 | 177M| 77 | 22 | 200 |3113 | 200 | 200 |2521k| 0 |7863 |-4.147887e+01 |-2.800000e+01 | 32.50%
191.79/191.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.79/191.84 c 192s|280000 | 54560 | 4844k| 17.3 | 182M| 77 | 35 | 200 |3113 | 200 | 200 |2610k| 0 |8015 |-4.141667e+01 |-2.800000e+01 | 32.39%
197.78/197.87 c 198s|290000 | 56286 | 5002k| 17.2 | 187M| 77 | 69 | 200 |3113 | 200 | 245 |2697k| 0 |8186 |-4.134545e+01 |-2.800000e+01 | 32.28%
203.78/203.89 c 204s|300000 | 57980 | 5160k| 17.2 | 192M| 77 | 29 | 200 |3113 | 200 | 214 |2788k| 0 |8335 |-4.128571e+01 |-2.800000e+01 | 32.18%
209.79/209.85 c 210s|310000 | 59712 | 5316k| 17.1 | 197M| 77 | 41 | 200 |3113 | 200 | 200 |2878k| 0 |8449 |-4.123077e+01 |-2.800000e+01 | 32.09%
215.49/215.60 c 216s|320000 | 61260 | 5466k| 17.0 | 202M| 77 | - | 200 |3113 | 200 | 227 |2967k| 0 |8626 |-4.116667e+01 |-2.800000e+01 | 31.98%
221.39/221.49 c 221s|330000 | 62868 | 5620k| 17.0 | 207M| 77 | 43 | 200 |3113 | 200 | 200 |3057k| 0 |8772 |-4.112500e+01 |-2.800000e+01 | 31.91%
227.39/227.43 c 227s|340000 | 64504 | 5776k| 17.0 | 212M| 77 | 60 | 200 |3113 | 200 | 248 |3146k| 0 |8884 |-4.105882e+01 |-2.800000e+01 | 31.81%
233.29/233.33 c 233s|350000 | 66022 | 5930k| 16.9 | 217M| 77 | 16 | 200 |3113 | 200 | 200 |3232k| 0 |9036 |-4.100000e+01 |-2.800000e+01 | 31.71%
239.09/239.12 c 239s|360000 | 67530 | 6082k| 16.9 | 221M| 77 | 18 | 200 |3113 | 200 | 211 |3323k| 0 |9138 |-4.100000e+01 |-2.800000e+01 | 31.71%
244.89/244.95 c 245s|370000 | 69084 | 6234k| 16.8 | 226M| 77 | - | 200 |3113 | 200 | 212 |3414k| 0 |9245 |-4.095455e+01 |-2.800000e+01 | 31.63%
250.79/250.87 c 251s|380000 | 70698 | 6390k| 16.8 | 231M| 77 | 6 | 200 |3113 | 200 | 215 |3503k| 0 |9388 |-4.088889e+01 |-2.800000e+01 | 31.52%
256.58/256.68 c 257s|390000 | 72276 | 6542k| 16.7 | 235M| 77 | - | 200 |3113 | 200 | 236 |3591k| 0 |9516 |-4.084211e+01 |-2.800000e+01 | 31.44%
262.48/262.59 c 263s|400000 | 73916 | 6696k| 16.7 | 240M| 78 | 46 | 200 |3113 | 200 | 219 |3680k| 0 |9635 |-4.077778e+01 |-2.800000e+01 | 31.34%
268.09/268.19 c 268s|410000 | 75336 | 6842k| 16.7 | 245M| 83 | 6 | 200 |3113 | 200 | 216 |3767k| 0 |9749 |-4.075000e+01 |-2.800000e+01 | 31.29%
273.78/273.89 c 274s|420000 | 76770 | 6990k| 16.6 | 249M| 83 | - | 200 |3113 | 200 | 238 |3855k| 0 |9882 |-4.070175e+01 |-2.800000e+01 | 31.21%
279.40/279.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.40/279.49 c 279s|430000 | 78098 | 7137k| 16.6 | 253M| 83 | - | 200 |3113 | 200 | 235 |3943k| 0 |9990 |-4.066667e+01 |-2.800000e+01 | 31.15%
284.99/285.05 c 285s|440000 | 79332 | 7280k| 16.5 | 257M| 83 | - | 200 |3113 | 200 | 246 |4029k| 0 | 10k|-4.063397e+01 |-2.800000e+01 | 31.09%
290.50/290.56 c 291s|450000 | 80646 | 7423k| 16.5 | 261M| 83 | - | 200 |3113 | 200 | 222 |4114k| 0 | 10k|-4.060000e+01 |-2.800000e+01 | 31.03%
296.09/296.13 c 296s|460000 | 81912 | 7566k| 16.4 | 265M| 92 | 9 | 200 |3113 | 200 | 224 |4200k| 0 | 10k|-4.056250e+01 |-2.800000e+01 | 30.97%
301.69/301.70 c 302s|470000 | 83082 | 7709k| 16.4 | 268M| 92 | - | 200 |3113 | 200 | 227 |4285k| 0 | 10k|-4.052857e+01 |-2.800000e+01 | 30.91%
307.28/307.35 c 307s|480000 | 84410 | 7855k| 16.3 | 272M| 92 | - | 200 |3113 | 200 | 216 |4372k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
312.89/312.97 c 313s|490000 | 85688 | 8001k| 16.3 | 276M| 92 | 44 | 200 |3113 | 200 | 213 |4458k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
318.59/318.60 c 319s|500000 | 86938 | 8146k| 16.3 | 280M| 92 | - | 200 |3113 | 200 | 219 |4544k| 0 | 10k|-4.044444e+01 |-2.800000e+01 | 30.77%
324.09/324.11 c 324s|510000 | 88070 | 8288k| 16.2 | 284M| 92 | 44 | 200 |3113 | 200 | 246 |4629k| 0 | 10k|-4.041573e+01 |-2.800000e+01 | 30.72%
329.69/329.71 c 330s|520000 | 89248 | 8434k| 16.2 | 288M| 92 | 11 | 200 |3113 | 200 | 210 |4716k| 0 | 11k|-4.037500e+01 |-2.800000e+01 | 30.65%
335.19/335.20 c 335s|530000 | 90376 | 8574k| 16.2 | 291M| 92 | - | 200 |3113 | 200 | 213 |4800k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
340.59/340.68 c 341s|540000 | 91546 | 8714k| 16.1 | 295M| 92 | 25 | 200 |3113 | 200 | 213 |4886k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
346.19/346.27 c 346s|550000 | 92740 | 8859k| 16.1 | 299M| 92 | - | 200 |3113 | 200 | 220 |4971k| 0 | 11k|-4.028571e+01 |-2.800000e+01 | 30.50%
351.69/351.79 c 352s|560000 | 93890 | 9001k| 16.1 | 302M| 92 | - | 200 |3113 | 200 | 223 |5058k| 0 | 11k|-4.025000e+01 |-2.800000e+01 | 30.43%
357.29/357.38 c 357s|570000 | 95130 | 9145k| 16.0 | 306M| 92 | 52 | 200 |3113 | 200 | 214 |5145k| 0 | 11k|-4.021429e+01 |-2.800000e+01 | 30.37%
362.79/362.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.79/362.89 c 363s|580000 | 96340 | 9286k| 16.0 | 310M| 92 | 19 | 200 |3113 | 200 | 215 |5230k| 0 | 11k|-4.018182e+01 |-2.800000e+01 | 30.32%
368.39/368.41 c 368s|590000 | 97464 | 9428k| 16.0 | 313M| 92 | - | 200 |3113 | 200 | 235 |5316k| 0 | 11k|-4.014583e+01 |-2.800000e+01 | 30.25%
373.89/373.92 c 374s|600000 | 98624 | 9569k| 15.9 | 317M| 92 | 8 | 200 |3113 | 200 | 200 |5401k| 0 | 11k|-4.012022e+01 |-2.800000e+01 | 30.21%
379.39/379.46 c 379s|610000 | 99748 | 9712k| 15.9 | 321M| 92 | - | 200 |3113 | 200 | 232 |5487k| 0 | 11k|-4.008333e+01 |-2.800000e+01 | 30.15%
384.89/384.98 c 385s|620000 |100884 | 9854k| 15.9 | 324M| 92 | - | 200 |3113 | 200 | 228 |5572k| 0 | 12k|-4.004032e+01 |-2.800000e+01 | 30.07%
390.39/390.43 c 390s|630000 |102040 | 9994k| 15.8 | 328M| 92 | - | 200 |3113 | 200 | 215 |5659k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
395.79/395.85 c 396s|640000 |103160 | 10132k| 15.8 | 331M| 92 | 31 | 200 |3113 | 200 | 200 |5746k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
401.29/401.31 c 401s|650000 |104378 | 10273k| 15.8 | 335M| 92 | - | 200 |3113 | 200 | 235 |5831k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
406.80/406.84 c 407s|660000 |105592 | 10416k| 15.8 | 338M| 92 | 40 | 200 |3113 | 200 | 211 |5918k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
412.19/412.26 c 412s|670000 |106774 | 10555k| 15.7 | 342M| 92 | - | 200 |3113 | 200 | 228 |6001k| 0 | 12k|-3.996429e+01 |-2.800000e+01 | 29.94%
417.59/417.65 c 418s|680000 |107906 | 10693k| 15.7 | 346M| 92 | 11 | 200 |3113 | 200 | 215 |6085k| 0 | 12k|-3.992308e+01 |-2.800000e+01 | 29.87%
417.89/417.95 o -29
417.89/417.95 c * 418s|680384 | 88079 | 10699k| 15.7 | 296M| 92 | - | 200 |3113 | 200 | 247 |6089k| 0 | 12k|-3.992241e+01 |-2.900000e+01 | 27.36%
423.39/423.41 c 423s|690000 | 88907 | 10836k| 15.7 | 299M| 92 | 18 | 200 |3113 | 200 | 217 |6175k| 0 | 12k|-3.988889e+01 |-2.900000e+01 | 27.30%
428.79/428.88 c 429s|700000 | 89715 | 10975k| 15.7 | 302M| 92 | 59 | 200 |3113 | 200 | 253 |6263k| 0 | 12k|-3.985714e+01 |-2.900000e+01 | 27.24%
434.30/434.35 c 434s|710000 | 90557 | 11115k| 15.6 | 305M| 92 | 33 | 200 |3113 | 200 | 200 |6352k| 0 | 12k|-3.983333e+01 |-2.900000e+01 | 27.20%
439.80/439.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.80/439.80 c 440s|720000 | 91439 | 11255k| 15.6 | 308M| 92 | - | 200 |3113 | 200 | 256 |6439k| 0 | 12k|-3.980000e+01 |-2.900000e+01 | 27.14%
445.19/445.29 c 445s|730000 | 92353 | 11395k| 15.6 | 311M| 92 | 39 | 200 |3113 | 200 | 215 |6526k| 0 | 13k|-3.976667e+01 |-2.900000e+01 | 27.07%
450.69/450.78 o -30
450.69/450.78 c * 451s|739789 | 74028 | 11534k| 15.6 | 264M| 92 | - | 200 |3113 | 200 | 224 |6611k| 0 | 13k|-3.975000e+01 |-3.000000e+01 | 24.53%
450.89/450.92 c 451s|740000 | 74043 | 11537k| 15.6 | 264M| 92 | 11 | 200 |3113 | 200 | 200 |6613k| 0 | 13k|-3.975000e+01 |-3.000000e+01 | 24.53%
456.40/456.46 c 456s|750000 | 74579 | 11675k| 15.6 | 267M| 92 | 19 | 200 |3113 | 200 | 200 |6703k| 0 | 13k|-3.971429e+01 |-3.000000e+01 | 24.46%
461.89/461.99 c 462s|760000 | 75213 | 11815k| 15.5 | 269M| 92 | - | 200 |3113 | 200 | 237 |6792k| 0 | 13k|-3.967308e+01 |-3.000000e+01 | 24.38%
467.39/467.47 c 467s|770000 | 75749 | 11954k| 15.5 | 271M| 92 | - | 200 |3113 | 200 | 255 |6883k| 0 | 13k|-3.966667e+01 |-3.000000e+01 | 24.37%
472.90/472.92 c 473s|780000 | 76285 | 12092k| 15.5 | 273M| 92 | - | 200 |3113 | 200 | 229 |6974k| 0 | 13k|-3.964706e+01 |-3.000000e+01 | 24.33%
478.29/478.35 c 478s|790000 | 76825 | 12230k| 15.5 | 275M| 92 | 12 | 200 |3113 | 200 | 209 |7066k| 0 | 13k|-3.961765e+01 |-3.000000e+01 | 24.28%
483.90/483.91 c 484s|800000 | 77385 | 12370k| 15.4 | 278M| 92 | 15 | 200 |3113 | 200 | 209 |7155k| 0 | 13k|-3.958621e+01 |-3.000000e+01 | 24.22%
489.30/489.33 c 489s|810000 | 77867 | 12507k| 15.4 | 280M| 92 | - | 200 |3113 | 200 | 218 |7246k| 0 | 13k|-3.955556e+01 |-3.000000e+01 | 24.16%
494.69/494.79 c 495s|820000 | 78347 | 12644k| 15.4 | 282M| 92 | 14 | 200 |3113 | 200 | 200 |7333k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
500.19/500.21 c 500s|830000 | 78889 | 12782k| 15.4 | 284M| 92 | 42 | 200 |3113 | 200 | 223 |7422k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
505.49/505.53 c 506s|840000 | 79377 | 12916k| 15.4 | 286M| 92 | - | 200 |3113 | 200 | 228 |7510k| 0 | 13k|-3.950000e+01 |-3.000000e+01 | 24.05%
510.99/511.02 c 511s|850000 | 79969 | 13054k| 15.3 | 288M| 92 | - | 200 |3113 | 200 | 219 |7601k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
516.39/516.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.39/516.48 c 516s|860000 | 80465 | 13192k| 15.3 | 290M| 92 | - | 200 |3113 | 200 | 236 |7691k| 0 | 14k|-3.943902e+01 |-3.000000e+01 | 23.93%
521.79/521.87 c 522s|870000 | 80899 | 13328k| 15.3 | 292M| 92 | - | 200 |3113 | 200 | 232 |7783k| 0 | 14k|-3.940625e+01 |-3.000000e+01 | 23.87%
527.09/527.19 c 527s|880000 | 81415 | 13461k| 15.3 | 294M| 92 | - | 200 |3113 | 200 | 245 |7869k| 0 | 14k|-3.937500e+01 |-3.000000e+01 | 23.81%
532.50/532.52 c 533s|890000 | 81931 | 13594k| 15.3 | 296M| 92 | 24 | 200 |3113 | 200 | 200 |7956k| 0 | 14k|-3.935417e+01 |-3.000000e+01 | 23.77%
537.80/537.89 c 538s|900000 | 82435 | 13730k| 15.2 | 298M| 92 | 35 | 200 |3113 | 200 | 200 |8045k| 0 | 14k|-3.933333e+01 |-3.000000e+01 | 23.73%
543.20/543.27 c 543s|910000 | 82969 | 13866k| 15.2 | 300M| 92 | 54 | 200 |3113 | 200 | 244 |8135k| 0 | 14k|-3.932558e+01 |-3.000000e+01 | 23.71%
548.60/548.62 c 549s|920000 | 83433 | 14001k| 15.2 | 302M| 92 | - | 200 |3113 | 200 | 210 |8225k| 0 | 14k|-3.928571e+01 |-3.000000e+01 | 23.64%
553.90/553.99 c 554s|930000 | 83879 | 14136k| 15.2 | 304M| 92 | - | 200 |3113 | 200 | 237 |8314k| 0 | 14k|-3.925000e+01 |-3.000000e+01 | 23.57%
559.19/559.30 c 559s|940000 | 84251 | 14269k| 15.2 | 305M| 92 | 47 | 200 |3113 | 200 | 219 |8404k| 0 | 14k|-3.925000e+01 |-3.000000e+01 | 23.57%
564.59/564.68 c 565s|950000 | 84757 | 14404k| 15.2 | 307M| 98 | - | 200 |3113 | 200 | 244 |8493k| 0 | 14k|-3.921622e+01 |-3.000000e+01 | 23.50%
570.00/570.06 c 570s|960000 | 85265 | 14538k| 15.1 | 309M| 98 | - | 200 |3113 | 200 | 239 |8580k| 0 | 14k|-3.918519e+01 |-3.000000e+01 | 23.44%
575.40/575.46 c 575s|970000 | 85703 | 14673k| 15.1 | 311M| 98 | 22 | 200 |3113 | 200 | 209 |8671k| 0 | 14k|-3.916667e+01 |-3.000000e+01 | 23.40%
580.80/580.89 c 581s|980000 | 86189 | 14810k| 15.1 | 313M| 98 | 53 | 200 |3113 | 200 | 215 |8758k| 0 | 15k|-3.912500e+01 |-3.000000e+01 | 23.32%
586.09/586.12 c 586s|990000 | 86637 | 14940k| 15.1 | 315M| 98 | 44 | 200 |3113 | 200 | 209 |8843k| 0 | 15k|-3.910000e+01 |-3.000000e+01 | 23.27%
591.40/591.47 c 591s| 1000k| 87055 | 15074k| 15.1 | 317M| 98 | - | 200 |3113 | 200 | 251 |8931k| 0 | 15k|-3.906250e+01 |-3.000000e+01 | 23.20%
596.69/596.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.69/596.78 c 597s| 1010k| 87491 | 15207k| 15.0 | 318M| 98 | - | 200 |3113 | 200 | 215 |9020k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
602.09/602.13 c 602s| 1020k| 87983 | 15342k| 15.0 | 320M| 98 | 7 | 200 |3113 | 200 | 212 |9108k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
607.40/607.41 c 607s| 1030k| 88375 | 15475k| 15.0 | 322M| 98 | 25 | 200 |3113 | 200 | 232 |9195k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
612.60/612.69 c 613s| 1040k| 88779 | 15606k| 15.0 | 324M| 98 | 27 | 200 |3113 | 200 | 212 |9282k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
618.00/618.01 c 618s| 1050k| 89253 | 15741k| 15.0 | 326M| 98 | - | 200 |3113 | 200 | 226 |9369k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
623.29/623.33 c 623s| 1060k| 89731 | 15875k| 15.0 | 328M| 98 | 25 | 200 |3113 | 200 | 211 |9457k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
628.60/628.62 c 629s| 1070k| 90203 | 16008k| 14.9 | 329M| 98 | - | 200 |3113 | 200 | 220 |9546k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
633.90/633.90 c 634s| 1080k| 90605 | 16138k| 14.9 | 331M| 98 | 36 | 200 |3113 | 200 | 213 |9633k| 0 | 15k|-3.896154e+01 |-3.000000e+01 | 23.00%
639.21/639.20 c 639s| 1090k| 91055 | 16270k| 14.9 | 333M| 98 | - | 200 |3113 | 200 | 200 |9720k| 0 | 15k|-3.893443e+01 |-3.000000e+01 | 22.95%
644.50/644.56 c 645s| 1100k| 91421 | 16403k| 14.9 | 334M| 98 | 27 | 200 |3113 | 200 | 217 |9808k| 0 | 15k|-3.890000e+01 |-3.000000e+01 | 22.88%
649.80/649.82 c 650s| 1110k| 91835 | 16535k| 14.9 | 336M| 98 | - | 200 |3113 | 200 | 223 |9895k| 0 | 16k|-3.887500e+01 |-3.000000e+01 | 22.83%
655.10/655.11 c 655s| 1120k| 92287 | 16667k| 14.9 | 338M| 98 | 10 | 200 |3113 | 200 | 200 |9981k| 0 | 16k|-3.885000e+01 |-3.000000e+01 | 22.78%
660.30/660.37 c 660s| 1130k| 92627 | 16798k| 14.9 | 339M| 98 | 20 | 200 |3113 | 200 | 214 | 10M| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
665.60/665.67 c 666s| 1140k| 93071 | 16931k| 14.8 | 341M| 98 | 21 | 200 |3113 | 200 | 210 | 10M| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
670.80/670.89 c 671s| 1150k| 93379 | 17059k| 14.8 | 343M| 98 | 38 | 200 |3113 | 200 | 215 | 10M| 0 | 16k|-3.878125e+01 |-3.000000e+01 | 22.64%
676.00/676.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.00/676.05 c 676s| 1160k| 93765 | 17187k| 14.8 | 344M| 98 | - | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
681.29/681.30 c 681s| 1170k| 94119 | 17317k| 14.8 | 346M| 98 | 12 | 200 |3113 | 200 | 216 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
686.40/686.49 c 686s| 1180k| 94545 | 17447k| 14.8 | 347M| 98 | - | 200 |3113 | 200 | 237 | 10M| 0 | 16k|-3.872512e+01 |-3.000000e+01 | 22.53%
691.60/691.65 c 692s| 1190k| 94861 | 17573k| 14.8 | 349M| 98 | - | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.870175e+01 |-3.000000e+01 | 22.48%
696.90/696.93 c 697s| 1200k| 95177 | 17703k| 14.7 | 350M| 98 | - | 200 |3113 | 200 | 228 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
702.00/702.08 c 702s| 1210k| 95541 | 17830k| 14.7 | 352M| 98 | 64 | 200 |3113 | 200 | 240 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
707.20/707.25 c 707s| 1220k| 95963 | 17959k| 14.7 | 354M| 98 | 48 | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
712.50/712.54 c 713s| 1230k| 96417 | 18091k| 14.7 | 355M| 98 | 58 | 200 |3113 | 200 | 239 | 10M| 0 | 16k|-3.862500e+01 |-3.000000e+01 | 22.33%
717.70/717.73 c 718s| 1240k| 96717 | 18219k| 14.7 | 357M| 98 | - | 200 |3113 | 200 | 219 | 11M| 0 | 16k|-3.860000e+01 |-3.000000e+01 | 22.28%
722.90/722.93 c 723s| 1250k| 97095 | 18346k| 14.7 | 358M| 98 | 14 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.857692e+01 |-3.000000e+01 | 22.23%
728.00/728.05 c 728s| 1260k| 97439 | 18471k| 14.7 | 360M| 98 | - | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.855000e+01 |-3.000000e+01 | 22.18%
733.20/733.26 c 733s| 1270k| 97801 | 18601k| 14.6 | 361M| 98 | 14 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.851613e+01 |-3.000000e+01 | 22.11%
738.40/738.46 c 738s| 1280k| 98199 | 18730k| 14.6 | 363M| 98 | - | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
743.60/743.66 c 744s| 1290k| 98637 | 18860k| 14.6 | 365M| 98 | 15 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
748.80/748.84 c 749s| 1300k| 99075 | 18990k| 14.6 | 366M| 98 | - | 200 |3113 | 200 | 216 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
754.00/754.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.00/754.03 c 754s| 1310k| 99431 | 19119k| 14.6 | 368M| 98 | - | 200 |3113 | 200 | 220 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
759.11/759.17 c 759s| 1320k| 99829 | 19245k| 14.6 | 369M| 98 | - | 200 |3113 | 200 | 213 | 11M| 0 | 17k|-3.848718e+01 |-3.000000e+01 | 22.05%
764.30/764.31 c 764s| 1330k|100155 | 19372k| 14.6 | 371M| 98 | 55 | 200 |3113 | 200 | 251 | 11M| 0 | 17k|-3.844595e+01 |-3.000000e+01 | 21.97%
769.50/769.56 c 770s| 1340k|100523 | 19501k| 14.5 | 372M| 98 | 59 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.842308e+01 |-3.000000e+01 | 21.92%
774.70/774.74 c 775s| 1350k|100921 | 19627k| 14.5 | 374M| 98 | - | 200 |3113 | 200 | 225 | 11M| 0 | 17k|-3.840000e+01 |-3.000000e+01 | 21.87%
779.80/779.80 c 780s| 1360k|101271 | 19751k| 14.5 | 375M| 98 | 49 | 200 |3113 | 200 | 210 | 12M| 0 | 17k|-3.837500e+01 |-3.000000e+01 | 21.82%
784.90/784.99 c 785s| 1370k|101557 | 19878k| 14.5 | 377M| 98 | 41 | 200 |3113 | 200 | 213 | 12M| 0 | 17k|-3.834049e+01 |-3.000000e+01 | 21.75%
790.10/790.14 c 790s| 1380k|101915 | 20004k| 14.5 | 378M| 98 | - | 200 |3113 | 200 | 200 | 12M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
795.30/795.30 c 795s| 1390k|102213 | 20130k| 14.5 | 379M| 98 | - | 200 |3113 | 200 | 216 | 12M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
800.40/800.47 c 800s| 1400k|102553 | 20257k| 14.5 | 381M| 98 | - | 200 |3113 | 200 | 232 | 12M| 0 | 17k|-3.832243e+01 |-3.000000e+01 | 21.72%
805.60/805.61 c 806s| 1410k|102865 | 20383k| 14.4 | 382M| 98 | - | 200 |3113 | 200 | 248 | 12M| 0 | 18k|-3.828571e+01 |-3.000000e+01 | 21.64%
810.70/810.74 c 811s| 1420k|103143 | 20507k| 14.4 | 383M| 98 | 53 | 200 |3113 | 200 | 248 | 12M| 0 | 18k|-3.825439e+01 |-3.000000e+01 | 21.58%
815.90/815.98 c 816s| 1430k|103515 | 20638k| 14.4 | 385M| 98 | 54 | 200 |3113 | 200 | 217 | 12M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
821.11/821.13 c 821s| 1440k|103899 | 20766k| 14.4 | 386M| 98 | 42 | 200 |3113 | 200 | 200 | 12M| 0 | 18k|-3.824444e+01 |-3.000000e+01 | 21.56%
826.21/826.22 c 826s| 1450k|104213 | 20890k| 14.4 | 388M| 98 | - | 200 |3113 | 200 | 215 | 12M| 0 | 18k|-3.821053e+01 |-3.000000e+01 | 21.49%
831.41/831.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.41/831.41 c 831s| 1460k|104493 | 21018k| 14.4 | 389M| 98 | - | 200 |3113 | 200 | 255 | 12M| 0 | 18k|-3.818750e+01 |-3.000000e+01 | 21.44%
836.50/836.58 c 837s| 1470k|104823 | 21144k| 14.4 | 391M| 98 | 4 | 200 |3113 | 200 | 200 | 12M| 0 | 18k|-3.816667e+01 |-3.000000e+01 | 21.40%
841.60/841.68 c 842s| 1480k|105113 | 21270k| 14.4 | 392M| 102 | - | 200 |3113 | 200 | 227 | 13M| 0 | 18k|-3.814286e+01 |-3.000000e+01 | 21.35%
846.60/846.64 c 847s| 1490k|105427 | 21390k| 14.3 | 393M| 102 | 4 | 200 |3113 | 200 | 212 | 13M| 0 | 18k|-3.812500e+01 |-3.000000e+01 | 21.31%
851.60/851.66 c 852s| 1500k|105707 | 21512k| 14.3 | 394M| 102 | - | 200 |3113 | 200 | 242 | 13M| 0 | 18k|-3.810000e+01 |-3.000000e+01 | 21.26%
856.80/856.80 c 857s| 1510k|105969 | 21637k| 14.3 | 396M| 102 | 40 | 200 |3113 | 200 | 200 | 13M| 0 | 18k|-3.807143e+01 |-3.000000e+01 | 21.20%
861.81/861.86 c 862s| 1520k|106229 | 21760k| 14.3 | 397M| 102 | - | 200 |3113 | 200 | 245 | 13M| 0 | 18k|-3.802041e+01 |-3.000000e+01 | 21.10%
866.91/866.91 c 867s| 1530k|106503 | 21884k| 14.3 | 398M| 102 | 8 | 200 |3113 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
871.90/871.98 c 872s| 1540k|106789 | 22008k| 14.3 | 399M| 102 | - | 200 |3113 | 200 | 240 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
877.20/877.21 c 877s| 1550k|107067 | 22137k| 14.3 | 400M| 102 | - | 200 |3113 | 200 | 245 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
882.21/882.29 c 882s| 1560k|107319 | 22261k| 14.3 | 402M| 102 | - | 200 |3113 | 200 | 213 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
887.30/887.39 c 887s| 1570k|107645 | 22386k| 14.3 | 403M| 102 | 50 | 200 |3113 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
892.50/892.54 c 893s| 1580k|107961 | 22513k| 14.2 | 404M| 102 | - | 200 |3113 | 200 | 224 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
897.40/897.46 c 897s| 1590k|108225 | 22632k| 14.2 | 405M| 102 | 40 | 200 |3113 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
902.41/902.45 c 902s| 1600k|108495 | 22753k| 14.2 | 406M| 102 | - | 200 |3113 | 200 | 212 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
907.51/907.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.51/907.52 c 908s| 1610k|108731 | 22877k| 14.2 | 408M| 102 | 31 | 200 |3113 | 200 | 216 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
912.51/912.57 c 913s| 1620k|109019 | 23000k| 14.2 | 409M| 102 | 32 | 200 |3113 | 200 | 220 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
917.60/917.61 c 918s| 1630k|109277 | 23122k| 14.2 | 410M| 102 | 10 | 200 |3113 | 200 | 215 | 14M| 0 | 19k|-3.797143e+01 |-3.000000e+01 | 20.99%
922.51/922.59 c 923s| 1640k|109489 | 23242k| 14.2 | 411M| 102 | - | 200 |3113 | 200 | 241 | 14M| 0 | 19k|-3.793750e+01 |-3.000000e+01 | 20.92%
927.61/927.67 c 928s| 1650k|109721 | 23364k| 14.2 | 412M| 102 | 19 | 200 |3113 | 200 | 214 | 14M| 0 | 19k|-3.791429e+01 |-3.000000e+01 | 20.87%
932.60/932.62 c 933s| 1660k|109909 | 23483k| 14.1 | 413M| 102 | - | 200 |3113 | 200 | 215 | 14M| 0 | 19k|-3.789286e+01 |-3.000000e+01 | 20.83%
937.61/937.69 c 938s| 1670k|110165 | 23606k| 14.1 | 414M| 102 | 55 | 200 |3113 | 200 | 200 | 14M| 0 | 19k|-3.787500e+01 |-3.000000e+01 | 20.79%
942.71/942.72 c 943s| 1680k|110399 | 23728k| 14.1 | 415M| 102 | 53 | 200 |3113 | 200 | 211 | 14M| 0 | 19k|-3.785714e+01 |-3.000000e+01 | 20.75%
947.71/947.75 c 948s| 1690k|110649 | 23850k| 14.1 | 416M| 102 | 38 | 200 |3113 | 200 | 228 | 14M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
952.80/952.83 c 953s| 1700k|110965 | 23973k| 14.1 | 418M| 102 | - | 200 |3113 | 200 | 200 | 14M| 0 | 19k|-3.781818e+01 |-3.000000e+01 | 20.67%
957.81/957.83 c 958s| 1710k|111203 | 24095k| 14.1 | 419M| 102 | - | 200 |3113 | 200 | 222 | 14M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
962.80/962.80 c 963s| 1720k|111453 | 24215k| 14.1 | 420M| 102 | 18 | 200 |3113 | 200 | 200 | 15M| 0 | 19k|-3.777778e+01 |-3.000000e+01 | 20.59%
967.81/967.80 c 968s| 1730k|111673 | 24335k| 14.1 | 421M| 102 | - | 200 |3113 | 200 | 230 | 15M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
972.71/972.78 c 973s| 1740k|111861 | 24454k| 14.0 | 422M| 102 | 4 | 200 |3113 | 200 | 213 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
977.71/977.77 c 978s| 1750k|112097 | 24574k| 14.0 | 423M| 102 | - | 200 |3113 | 200 | 227 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
982.80/982.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.80/982.83 c 983s| 1760k|112341 | 24697k| 14.0 | 424M| 102 | - | 200 |3113 | 200 | 207 | 15M| 0 | 20k|-3.771429e+01 |-3.000000e+01 | 20.45%
987.81/987.84 c 988s| 1770k|112585 | 24817k| 14.0 | 425M| 102 | - | 200 |3113 | 200 | 233 | 15M| 0 | 20k|-3.768750e+01 |-3.000000e+01 | 20.40%
992.81/992.81 c 993s| 1780k|112825 | 24937k| 14.0 | 426M| 102 | - | 200 |3113 | 200 | 217 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
997.81/997.81 c 998s| 1790k|113023 | 25056k| 14.0 | 427M| 102 | 7 | 200 |3113 | 200 | 211 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1002.71/1002.72 c 1003s| 1800k|113215 | 25174k| 14.0 | 428M| 102 | 55 | 200 |3113 | 200 | 241 | 15M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1007.71/1007.70 c 1008s| 1810k|113441 | 25292k| 14.0 | 429M| 102 | 24 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.764286e+01 |-3.000000e+01 | 20.30%
1012.70/1012.70 c 1013s| 1820k|113725 | 25413k| 14.0 | 430M| 102 | - | 200 |3113 | 200 | 246 | 15M| 0 | 20k|-3.762500e+01 |-3.000000e+01 | 20.27%
1017.71/1017.75 c 1018s| 1830k|113973 | 25534k| 13.9 | 431M| 102 | 48 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
1022.60/1022.63 c 1023s| 1840k|114167 | 25649k| 13.9 | 432M| 102 | 18 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.758621e+01 |-3.000000e+01 | 20.18%
1027.61/1027.60 c 1028s| 1850k|114311 | 25768k| 13.9 | 433M| 102 | 5 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.756522e+01 |-3.000000e+01 | 20.14%
1032.51/1032.52 c 1033s| 1860k|114497 | 25885k| 13.9 | 434M| 102 | - | 200 |3113 | 200 | 248 | 16M| 0 | 20k|-3.753846e+01 |-3.000000e+01 | 20.08%
1037.41/1037.43 c 1037s| 1870k|114665 | 26000k| 13.9 | 435M| 102 | - | 200 |3113 | 200 | 213 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1042.21/1042.28 c 1042s| 1880k|114793 | 26115k| 13.9 | 435M| 102 | - | 200 |3113 | 200 | 208 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1047.11/1047.16 c 1047s| 1890k|114937 | 26231k| 13.9 | 436M| 102 | 24 | 200 |3113 | 200 | 200 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1052.11/1052.11 c 1052s| 1900k|115115 | 26350k| 13.9 | 437M| 102 | - | 200 |3113 | 200 | 216 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1056.90/1056.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.90/1056.98 c 1057s| 1910k|115225 | 26464k| 13.8 | 438M| 102 | 60 | 200 |3113 | 200 | 215 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1061.90/1061.94 c 1062s| 1920k|115383 | 26582k| 13.8 | 439M| 102 | - | 200 |3113 | 200 | 250 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1066.81/1066.82 c 1067s| 1930k|115521 | 26697k| 13.8 | 439M| 102 | - | 200 |3113 | 200 | 228 | 16M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1071.61/1071.68 c 1072s| 1940k|115695 | 26812k| 13.8 | 440M| 102 | - | 200 |3113 | 200 | 217 | 16M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1076.51/1076.58 c 1077s| 1950k|115861 | 26928k| 13.8 | 441M| 102 | - | 200 |3113 | 200 | 217 | 16M| 0 | 21k|-3.747368e+01 |-3.000000e+01 | 19.94%
1081.51/1081.50 c 1081s| 1960k|116065 | 27044k| 13.8 | 442M| 102 | - | 200 |3113 | 200 | 216 | 17M| 0 | 21k|-3.743478e+01 |-3.000000e+01 | 19.86%
1086.31/1086.32 c 1086s| 1970k|116233 | 27158k| 13.8 | 443M| 102 | - | 200 |3113 | 200 | 213 | 17M| 0 | 21k|-3.741667e+01 |-3.000000e+01 | 19.82%
1091.21/1091.24 c 1091s| 1980k|116417 | 27274k| 13.8 | 444M| 102 | - | 200 |3113 | 200 | 230 | 17M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1096.11/1096.12 c 1096s| 1990k|116563 | 27390k| 13.8 | 445M| 102 | - | 200 |3113 | 200 | 246 | 17M| 0 | 21k|-3.737500e+01 |-3.000000e+01 | 19.73%
1101.01/1101.06 c 1101s| 2000k|116781 | 27507k| 13.7 | 446M| 102 | 34 | 200 |3113 | 200 | 225 | 17M| 0 | 21k|-3.735714e+01 |-3.000000e+01 | 19.69%
1105.91/1105.91 c 1106s| 2010k|116909 | 27620k| 13.7 | 446M| 102 | 38 | 200 |3113 | 200 | 214 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1110.81/1110.83 c 1111s| 2020k|117085 | 27736k| 13.7 | 447M| 102 | 51 | 200 |3113 | 200 | 236 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1115.71/1115.78 c 1116s| 2030k|117271 | 27853k| 13.7 | 448M| 102 | 27 | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1120.61/1120.66 c 1121s| 2040k|117413 | 27968k| 13.7 | 449M| 102 | - | 200 |3113 | 200 | 241 | 17M| 0 | 21k|-3.731579e+01 |-3.000000e+01 | 19.61%
1125.42/1125.48 c 1125s| 2050k|117503 | 28080k| 13.7 | 449M| 102 | 39 | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.729167e+01 |-3.000000e+01 | 19.55%
1130.31/1130.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.31/1130.37 c 1130s| 2060k|117655 | 28193k| 13.7 | 450M| 102 | - | 200 |3113 | 200 | 200 | 17M| 0 | 21k|-3.726667e+01 |-3.000000e+01 | 19.50%
1135.11/1135.18 c 1135s| 2070k|117767 | 28306k| 13.7 | 451M| 102 | - | 200 |3113 | 200 | 230 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1140.01/1140.03 c 1140s| 2080k|117883 | 28420k| 13.7 | 452M| 102 | - | 200 |3113 | 200 | 229 | 17M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1144.81/1144.80 c 1145s| 2090k|117999 | 28532k| 13.6 | 452M| 102 | 58 | 200 |3113 | 200 | 242 | 18M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1149.62/1149.67 c 1150s| 2100k|118145 | 28646k| 13.6 | 453M| 102 | 56 | 200 |3113 | 200 | 231 | 18M| 0 | 21k|-3.722222e+01 |-3.000000e+01 | 19.40%
1154.41/1154.45 c 1154s| 2110k|118287 | 28756k| 13.6 | 454M| 102 | - | 200 |3113 | 200 | 232 | 18M| 0 | 21k|-3.720000e+01 |-3.000000e+01 | 19.35%
1159.21/1159.27 c 1159s| 2120k|118425 | 28870k| 13.6 | 454M| 102 | - | 200 |3113 | 200 | 227 | 18M| 0 | 21k|-3.718519e+01 |-3.000000e+01 | 19.32%
1164.11/1164.11 c 1164s| 2130k|118533 | 28982k| 13.6 | 455M| 102 | 31 | 200 |3113 | 200 | 200 | 18M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1168.91/1168.91 c 1169s| 2140k|118671 | 29093k| 13.6 | 456M| 102 | - | 200 |3113 | 200 | 240 | 18M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1173.81/1173.84 c 1174s| 2150k|118783 | 29209k| 13.6 | 456M| 102 | - | 200 |3113 | 200 | 241 | 18M| 0 | 22k|-3.714286e+01 |-3.000000e+01 | 19.23%
1178.61/1178.62 c 1179s| 2160k|118851 | 29319k| 13.6 | 457M| 102 | 55 | 200 |3113 | 200 | 217 | 18M| 0 | 22k|-3.712500e+01 |-3.000000e+01 | 19.19%
1183.31/1183.37 c 1183s| 2170k|118919 | 29429k| 13.6 | 458M| 102 | 27 | 200 |3113 | 200 | 215 | 18M| 0 | 22k|-3.710000e+01 |-3.000000e+01 | 19.14%
1188.12/1188.14 c 1188s| 2180k|119015 | 29538k| 13.5 | 458M| 102 | - | 200 |3113 | 200 | 212 | 18M| 0 | 22k|-3.708333e+01 |-3.000000e+01 | 19.10%
1192.91/1192.92 c 1193s| 2190k|119117 | 29648k| 13.5 | 459M| 102 | 52 | 200 |3113 | 200 | 251 | 18M| 0 | 22k|-3.704167e+01 |-3.000000e+01 | 19.01%
1197.61/1197.67 c 1198s| 2200k|119163 | 29758k| 13.5 | 459M| 102 | 36 | 200 |3113 | 200 | 200 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1202.42/1202.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.42/1202.49 c 1202s| 2210k|119319 | 29871k| 13.5 | 460M| 102 | 12 | 200 |3113 | 200 | 215 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1207.21/1207.28 c 1207s| 2220k|119437 | 29982k| 13.5 | 461M| 102 | 22 | 200 |3113 | 200 | 218 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1212.01/1212.07 c 1212s| 2230k|119505 | 30093k| 13.5 | 461M| 102 | 37 | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1216.82/1216.89 c 1217s| 2240k|119671 | 30206k| 13.5 | 462M| 102 | - | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1221.72/1221.73 c 1222s| 2250k|119799 | 30319k| 13.5 | 463M| 102 | 32 | 200 |3113 | 200 | 221 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1226.41/1226.50 c 1227s| 2260k|119907 | 30430k| 13.5 | 463M| 102 | - | 200 |3113 | 200 | 208 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1231.21/1231.26 c 1231s| 2270k|120007 | 30541k| 13.4 | 464M| 102 | - | 200 |3113 | 200 | 238 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1236.02/1236.07 c 1236s| 2280k|120091 | 30651k| 13.4 | 465M| 102 | - | 200 |3113 | 200 | 225 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1240.81/1240.83 c 1241s| 2290k|120157 | 30760k| 13.4 | 465M| 102 | - | 200 |3113 | 200 | 223 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1245.52/1245.52 c 1246s| 2300k|120227 | 30867k| 13.4 | 465M| 102 | 9 | 200 |3113 | 200 | 200 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1250.22/1250.25 c 1250s| 2310k|120287 | 30976k| 13.4 | 466M| 102 | - | 200 |3113 | 200 | 212 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1254.92/1254.99 c 1255s| 2320k|120475 | 31087k| 13.4 | 467M| 102 | 18 | 200 |3113 | 200 | 217 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1259.81/1259.82 c 1260s| 2330k|120601 | 31200k| 13.4 | 467M| 102 | - | 200 |3113 | 200 | 214 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1264.62/1264.65 c 1265s| 2340k|120719 | 31312k| 13.4 | 468M| 103 | - | 200 |3113 | 200 | 237 | 19M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1269.42/1269.49 c 1269s| 2350k|120871 | 31425k| 13.4 | 469M| 103 | - | 200 |3113 | 200 | 236 | 20M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1274.22/1274.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.22/1274.24 c 1274s| 2360k|120931 | 31533k| 13.4 | 469M| 103 | - | 200 |3113 | 200 | 242 | 20M| 0 | 23k|-3.694915e+01 |-3.000000e+01 | 18.81%
1278.91/1278.97 c 1279s| 2370k|120943 | 31641k| 13.3 | 470M| 103 | - | 200 |3113 | 200 | 221 | 20M| 0 | 23k|-3.692857e+01 |-3.000000e+01 | 18.76%
1283.72/1283.74 c 1284s| 2380k|121037 | 31749k| 13.3 | 470M| 103 | - | 200 |3113 | 200 | 223 | 20M| 0 | 23k|-3.690909e+01 |-3.000000e+01 | 18.72%
1288.41/1288.46 c 1288s| 2390k|121107 | 31857k| 13.3 | 471M| 103 | - | 200 |3113 | 200 | 229 | 20M| 0 | 23k|-3.688889e+01 |-3.000000e+01 | 18.67%
1293.11/1293.14 c 1293s| 2400k|121177 | 31961k| 13.3 | 471M| 103 | 45 | 200 |3113 | 200 | 216 | 20M| 0 | 23k|-3.687500e+01 |-3.000000e+01 | 18.64%
1297.81/1297.87 c 1298s| 2410k|121269 | 32069k| 13.3 | 472M| 103 | - | 200 |3113 | 200 | 217 | 20M| 0 | 23k|-3.685714e+01 |-3.000000e+01 | 18.60%
1302.61/1302.63 c 1303s| 2420k|121311 | 32178k| 13.3 | 472M| 104 | - | 200 |3113 | 200 | 262 | 20M| 0 | 23k|-3.683721e+01 |-3.000000e+01 | 18.56%
1307.31/1307.33 c 1307s| 2430k|121331 | 32285k| 13.3 | 473M| 104 | - | 200 |3113 | 200 | 231 | 20M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1311.92/1311.91 c 1312s| 2440k|121429 | 32388k| 13.3 | 473M| 104 | 57 | 200 |3113 | 200 | 238 | 20M| 0 | 23k|-3.681818e+01 |-3.000000e+01 | 18.52%
1316.52/1316.59 c 1317s| 2450k|121535 | 32494k| 13.3 | 474M| 104 | 39 | 200 |3113 | 200 | 226 | 20M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1321.22/1321.26 c 1321s| 2460k|121621 | 32600k| 13.2 | 474M| 104 | 40 | 200 |3113 | 200 | 224 | 20M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1325.82/1325.86 c 1326s| 2470k|121625 | 32703k| 13.2 | 475M| 104 | 36 | 200 |3113 | 200 | 200 | 20M| 0 | 23k|-3.677778e+01 |-3.000000e+01 | 18.43%
1330.52/1330.59 c 1331s| 2480k|121685 | 32810k| 13.2 | 475M| 104 | - | 200 |3113 | 200 | 251 | 20M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1335.21/1335.29 c 1335s| 2490k|121751 | 32918k| 13.2 | 476M| 104 | - | 200 |3113 | 200 | 220 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1339.92/1339.98 c 1340s| 2500k|121799 | 33024k| 13.2 | 476M| 104 | - | 200 |3113 | 200 | 200 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1344.62/1344.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.62/1344.64 c 1345s| 2510k|121861 | 33130k| 13.2 | 477M| 104 | - | 200 |3113 | 200 | 246 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1349.31/1349.35 c 1349s| 2520k|121959 | 33236k| 13.2 | 477M| 104 | 66 | 200 |3113 | 200 | 245 | 21M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1354.01/1354.05 c 1354s| 2530k|122037 | 33343k| 13.2 | 478M| 104 | 45 | 200 |3113 | 200 | 210 | 21M| 0 | 23k|-3.672727e+01 |-3.000000e+01 | 18.32%
1358.62/1358.69 c 1359s| 2540k|122111 | 33448k| 13.2 | 478M| 104 | - | 200 |3113 | 200 | 236 | 21M| 0 | 23k|-3.671429e+01 |-3.000000e+01 | 18.29%
1363.31/1363.35 c 1363s| 2550k|122129 | 33552k| 13.2 | 478M| 104 | 38 | 200 |3113 | 200 | 218 | 21M| 0 | 23k|-3.669697e+01 |-3.000000e+01 | 18.25%
1367.91/1368.00 c 1368s| 2560k|122175 | 33658k| 13.1 | 479M| 104 | - | 200 |3113 | 200 | 244 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1372.62/1372.66 c 1373s| 2570k|122205 | 33763k| 13.1 | 479M| 104 | 22 | 200 |3113 | 200 | 215 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1377.22/1377.26 c 1377s| 2580k|122237 | 33867k| 13.1 | 480M| 104 | 14 | 200 |3113 | 200 | 200 | 21M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1381.92/1381.95 c 1382s| 2590k|122343 | 33973k| 13.1 | 480M| 104 | - | 200 |3113 | 200 | 215 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1386.62/1386.66 c 1387s| 2600k|122429 | 34080k| 13.1 | 481M| 104 | - | 200 |3113 | 200 | 222 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1391.32/1391.37 c 1391s| 2610k|122537 | 34188k| 13.1 | 481M| 104 | - | 200 |3113 | 200 | 221 | 21M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1396.02/1396.07 c 1396s| 2620k|122607 | 34294k| 13.1 | 482M| 104 | 8 | 200 |3113 | 200 | 218 | 22M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1400.61/1400.65 c 1401s| 2630k|122643 | 34397k| 13.1 | 482M| 104 | - | 200 |3113 | 200 | 217 | 22M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1405.21/1405.26 c 1405s| 2640k|122689 | 34499k| 13.1 | 483M| 104 | - | 200 |3113 | 200 | 219 | 22M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1409.82/1409.89 c 1410s| 2650k|122749 | 34604k| 13.1 | 483M| 104 | - | 200 |3113 | 200 | 245 | 22M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1414.42/1414.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.42/1414.49 c 1414s| 2660k|122689 | 34705k| 13.0 | 483M| 104 | 39 | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.657143e+01 |-3.000000e+01 | 17.97%
1419.02/1419.09 c 1419s| 2670k|122705 | 34808k| 13.0 | 483M| 104 | - | 200 |3113 | 200 | 252 | 22M| 0 | 24k|-3.655556e+01 |-3.000000e+01 | 17.93%
1423.72/1423.72 c 1424s| 2680k|122739 | 34912k| 13.0 | 484M| 104 | - | 200 |3113 | 200 | 216 | 22M| 0 | 24k|-3.653333e+01 |-3.000000e+01 | 17.88%
1428.41/1428.41 c 1428s| 2690k|122763 | 35017k| 13.0 | 484M| 104 | 33 | 200 |3113 | 200 | 222 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1433.02/1433.02 c 1433s| 2700k|122809 | 35121k| 13.0 | 485M| 104 | - | 200 |3113 | 200 | 235 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1437.61/1437.60 c 1438s| 2710k|122843 | 35224k| 13.0 | 485M| 104 | 14 | 200 |3113 | 200 | 211 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1442.23/1442.21 c 1442s| 2720k|122843 | 35329k| 13.0 | 485M| 104 | - | 200 |3113 | 200 | 241 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1446.71/1446.77 c 1447s| 2730k|122797 | 35429k| 13.0 | 485M| 104 | 38 | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1451.32/1451.33 c 1451s| 2740k|122801 | 35531k| 13.0 | 486M| 104 | - | 200 |3113 | 200 | 214 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1455.92/1455.91 c 1456s| 2750k|122783 | 35632k| 13.0 | 486M| 104 | - | 200 |3113 | 200 | 200 | 22M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1460.42/1460.49 c 1460s| 2760k|122769 | 35734k| 12.9 | 486M| 104 | 44 | 200 |3113 | 200 | 214 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1465.12/1465.10 c 1465s| 2770k|122785 | 35836k| 12.9 | 486M| 104 | - | 200 |3113 | 200 | 212 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1469.62/1469.60 c 1470s| 2780k|122797 | 35937k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 224 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1474.12/1474.16 c 1474s| 2790k|122789 | 36037k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 251 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1478.61/1478.63 c 1479s| 2800k|122827 | 36136k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 212 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1483.22/1483.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.22/1483.25 c 1483s| 2810k|122805 | 36238k| 12.9 | 487M| 104 | - | 200 |3113 | 200 | 243 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1487.82/1487.80 c 1488s| 2820k|122825 | 36340k| 12.9 | 488M| 104 | 28 | 200 |3113 | 200 | 200 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1492.32/1492.38 c 1492s| 2830k|122909 | 36443k| 12.9 | 488M| 104 | - | 200 |3113 | 200 | 219 | 23M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1496.82/1496.89 c 1497s| 2840k|122939 | 36543k| 12.9 | 488M| 104 | 29 | 200 |3113 | 200 | 216 | 23M| 0 | 25k|-3.648077e+01 |-3.000000e+01 | 17.76%
1501.42/1501.48 c 1501s| 2850k|122977 | 36645k| 12.9 | 489M| 104 | - | 200 |3113 | 200 | 232 | 23M| 0 | 25k|-3.644898e+01 |-3.000000e+01 | 17.69%
1506.12/1506.11 c 1506s| 2860k|123005 | 36748k| 12.8 | 489M| 104 | 39 | 200 |3113 | 200 | 217 | 23M| 0 | 25k|-3.642857e+01 |-3.000000e+01 | 17.65%
1510.72/1510.73 c 1511s| 2870k|123005 | 36850k| 12.8 | 489M| 104 | 5 | 200 |3113 | 200 | 215 | 23M| 0 | 25k|-3.641667e+01 |-3.000000e+01 | 17.62%
1515.22/1515.28 c 1515s| 2880k|122965 | 36950k| 12.8 | 489M| 104 | 23 | 200 |3113 | 200 | 215 | 23M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1519.82/1519.81 c 1520s| 2890k|122977 | 37050k| 12.8 | 490M| 104 | 61 | 200 |3113 | 200 | 217 | 23M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1524.32/1524.37 c 1524s| 2900k|122957 | 37151k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 216 | 23M| 0 | 25k|-3.637714e+01 |-3.000000e+01 | 17.53%
1528.92/1528.93 c 1529s| 2910k|122985 | 37252k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 236 | 24M| 0 | 25k|-3.637500e+01 |-3.000000e+01 | 17.53%
1533.42/1533.46 c 1533s| 2920k|122983 | 37352k| 12.8 | 490M| 104 | - | 200 |3113 | 200 | 230 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1538.02/1538.00 c 1538s| 2930k|123021 | 37454k| 12.8 | 491M| 104 | - | 200 |3113 | 200 | 252 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1542.52/1542.53 c 1543s| 2940k|123003 | 37553k| 12.8 | 491M| 104 | 6 | 200 |3113 | 200 | 233 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1547.12/1547.11 c 1547s| 2950k|123009 | 37654k| 12.8 | 491M| 104 | - | 200 |3113 | 200 | 249 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1551.62/1551.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.62/1551.64 c 1552s| 2960k|123083 | 37754k| 12.8 | 492M| 104 | - | 200 |3113 | 200 | 251 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1556.22/1556.20 c 1556s| 2970k|123049 | 37855k| 12.7 | 492M| 104 | - | 200 |3113 | 200 | 243 | 24M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1560.82/1560.80 c 1561s| 2980k|123049 | 37958k| 12.7 | 492M| 104 | - | 200 |3113 | 200 | 212 | 24M| 0 | 25k|-3.630435e+01 |-3.000000e+01 | 17.37%
1565.22/1565.29 c 1565s| 2990k|123095 | 38057k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 224 | 24M| 0 | 25k|-3.628571e+01 |-3.000000e+01 | 17.32%
1569.82/1569.85 c 1570s| 3000k|123131 | 38157k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 220 | 24M| 0 | 25k|-3.627273e+01 |-3.000000e+01 | 17.29%
1574.32/1574.38 c 1574s| 3010k|123203 | 38256k| 12.7 | 493M| 104 | - | 200 |3113 | 200 | 216 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1578.82/1578.86 c 1579s| 3020k|123133 | 38355k| 12.7 | 493M| 104 | 40 | 200 |3113 | 200 | 218 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1583.32/1583.35 c 1583s| 3030k|123157 | 38453k| 12.7 | 494M| 104 | 14 | 200 |3113 | 200 | 211 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1587.72/1587.71 c 1588s| 3040k|123181 | 38549k| 12.7 | 494M| 104 | 22 | 200 |3113 | 200 | 229 | 24M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1587.92/1587.99 o -31
1587.92/1587.99 c *1588s| 3040k| 95158 | 38552k| 12.7 | 398M| 104 | - | 200 |3113 | 200 | 228 | 24M| 0 | 25k|-3.625000e+01 |-3.100000e+01 | 14.48%
1592.42/1592.45 c 1592s| 3050k| 94904 | 38641k| 12.7 | 397M| 104 | 47 | 200 |3113 | 200 | 200 | 24M| 0 | 25k|-3.625000e+01 |-3.100000e+01 | 14.48%
1596.92/1596.92 c 1597s| 3060k| 94704 | 38735k| 12.7 | 397M| 104 | 11 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.623333e+01 |-3.100000e+01 | 14.44%
1601.32/1601.31 c 1601s| 3070k| 94470 | 38824k| 12.6 | 396M| 104 | - | 200 |3113 | 200 | 200 | 25M| 0 | 25k|-3.620588e+01 |-3.100000e+01 | 14.38%
1605.72/1605.71 c 1606s| 3080k| 94228 | 38916k| 12.6 | 396M| 104 | 51 | 200 |3113 | 200 | 251 | 25M| 0 | 25k|-3.620000e+01 |-3.100000e+01 | 14.36%
1610.13/1610.17 c 1610s| 3090k| 93966 | 39009k| 12.6 | 395M| 104 | 34 | 200 |3113 | 200 | 212 | 25M| 0 | 25k|-3.619048e+01 |-3.100000e+01 | 14.34%
1614.62/1614.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.62/1614.62 c 1615s| 3100k| 93742 | 39100k| 12.6 | 395M| 104 | 36 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1618.92/1618.94 c 1619s| 3110k| 93514 | 39190k| 12.6 | 394M| 104 | - | 200 |3113 | 200 | 214 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1623.33/1623.33 c 1623s| 3120k| 93290 | 39282k| 12.6 | 394M| 104 | 26 | 200 |3113 | 200 | 216 | 25M| 0 | 25k|-3.616667e+01 |-3.100000e+01 | 14.29%
1627.73/1627.78 c 1628s| 3130k| 93012 | 39375k| 12.6 | 393M| 104 | 17 | 200 |3113 | 200 | 200 | 25M| 0 | 26k|-3.614286e+01 |-3.100000e+01 | 14.23%
1632.12/1632.10 c 1632s| 3140k| 92712 | 39463k| 12.6 | 392M| 104 | 24 | 200 |3113 | 200 | 210 | 25M| 0 | 26k|-3.612500e+01 |-3.100000e+01 | 14.19%
1636.43/1636.47 c 1636s| 3150k| 92442 | 39552k| 12.6 | 392M| 104 | 26 | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.611765e+01 |-3.100000e+01 | 14.17%
1640.82/1640.80 c 1641s| 3160k| 92156 | 39642k| 12.5 | 391M| 104 | - | 200 |3113 | 200 | 237 | 25M| 0 | 26k|-3.610000e+01 |-3.100000e+01 | 14.13%
1645.22/1645.22 c 1645s| 3170k| 91914 | 39733k| 12.5 | 391M| 104 | 65 | 200 |3113 | 200 | 252 | 25M| 0 | 26k|-3.608333e+01 |-3.100000e+01 | 14.09%
1649.62/1649.62 c 1650s| 3180k| 91694 | 39825k| 12.5 | 390M| 104 | - | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.607143e+01 |-3.100000e+01 | 14.06%
1654.02/1654.06 c 1654s| 3190k| 91486 | 39918k| 12.5 | 390M| 104 | 51 | 200 |3113 | 200 | 216 | 25M| 0 | 26k|-3.604167e+01 |-3.100000e+01 | 13.99%
1658.42/1658.44 c 1658s| 3200k| 91226 | 40009k| 12.5 | 389M| 104 | - | 200 |3113 | 200 | 229 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1662.83/1662.88 c 1663s| 3210k| 91060 | 40103k| 12.5 | 389M| 104 | - | 200 |3113 | 200 | 209 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1667.22/1667.26 c 1667s| 3220k| 90836 | 40195k| 12.5 | 388M| 104 | 9 | 200 |3113 | 200 | 221 | 25M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1671.63/1671.62 c 1672s| 3230k| 90588 | 40286k| 12.5 | 388M| 104 | 27 | 200 |3113 | 200 | 214 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1675.93/1675.92 c 1676s| 3240k| 90318 | 40375k| 12.5 | 387M| 104 | 16 | 200 |3113 | 200 | 232 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1680.32/1680.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.32/1680.32 c 1680s| 3250k| 90100 | 40466k| 12.4 | 387M| 104 | - | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1684.63/1684.63 c 1685s| 3260k| 89840 | 40556k| 12.4 | 386M| 104 | - | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1688.93/1688.98 c 1689s| 3270k| 89606 | 40646k| 12.4 | 386M| 104 | 14 | 200 |3113 | 200 | 217 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1693.32/1693.32 c 1693s| 3280k| 89342 | 40736k| 12.4 | 385M| 104 | 32 | 200 |3113 | 200 | 212 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1697.62/1697.67 c 1698s| 3290k| 89136 | 40825k| 12.4 | 385M| 104 | - | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1701.93/1701.99 c 1702s| 3300k| 88936 | 40915k| 12.4 | 384M| 104 | - | 200 |3113 | 200 | 211 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1706.23/1706.29 c 1706s| 3310k| 88698 | 41005k| 12.4 | 384M| 104 | 52 | 200 |3113 | 200 | 246 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1710.63/1710.62 c 1711s| 3320k| 88518 | 41096k| 12.4 | 383M| 104 | - | 200 |3113 | 200 | 210 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1714.93/1714.93 c 1715s| 3330k| 88244 | 41184k| 12.4 | 383M| 104 | - | 200 |3113 | 200 | 213 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1719.33/1719.33 c 1719s| 3340k| 88028 | 41277k| 12.4 | 382M| 104 | 34 | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1723.62/1723.62 c 1724s| 3350k| 87832 | 41366k| 12.3 | 382M| 104 | - | 200 |3113 | 200 | 248 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1727.92/1727.94 c 1728s| 3360k| 87630 | 41456k| 12.3 | 381M| 104 | 22 | 200 |3113 | 200 | 213 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1732.23/1732.29 c 1732s| 3370k| 87422 | 41547k| 12.3 | 381M| 104 | 45 | 200 |3113 | 200 | 216 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1736.62/1736.69 c 1737s| 3380k| 87242 | 41639k| 12.3 | 381M| 104 | - | 200 |3113 | 200 | 243 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1741.12/1741.17 c 1741s| 3390k| 87090 | 41734k| 12.3 | 380M| 104 | - | 200 |3113 | 200 | 243 | 26M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1745.52/1745.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.52/1745.52 c 1746s| 3400k| 86888 | 41826k| 12.3 | 380M| 104 | 62 | 200 |3113 | 200 | 217 | 27M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1749.82/1749.87 c 1750s| 3410k| 86710 | 41917k| 12.3 | 380M| 104 | 39 | 200 |3113 | 200 | 214 | 27M| 0 | 26k|-3.600000e+01 |-3.100000e+01 | 13.89%
1754.13/1754.17 c 1754s| 3420k| 86468 | 42006k| 12.3 | 379M| 104 | 23 | 200 |3113 | 200 | 224 | 27M| 0 | 26k|-3.596296e+01 |-3.100000e+01 | 13.80%
1758.53/1758.50 c 1759s| 3430k| 86208 | 42095k| 12.3 | 378M| 104 | - | 200 |3113 | 200 | 215 | 27M| 0 | 26k|-3.592857e+01 |-3.100000e+01 | 13.72%
1762.73/1762.76 c 1763s| 3440k| 85956 | 42181k| 12.3 | 378M| 104 | 26 | 200 |3113 | 200 | 216 | 27M| 0 | 26k|-3.590909e+01 |-3.100000e+01 | 13.67%
1767.12/1767.13 c 1767s| 3450k| 85736 | 42270k| 12.2 | 377M| 104 | 35 | 200 |3113 | 200 | 216 | 27M| 0 | 26k|-3.588889e+01 |-3.100000e+01 | 13.62%
1771.32/1771.37 c 1771s| 3460k| 85502 | 42356k| 12.2 | 377M| 104 | 63 | 200 |3113 | 200 | 222 | 27M| 0 | 27k|-3.587500e+01 |-3.100000e+01 | 13.59%
1775.63/1775.69 c 1776s| 3470k| 85254 | 42445k| 12.2 | 376M| 104 | 29 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.585714e+01 |-3.100000e+01 | 13.55%
1779.93/1779.96 c 1780s| 3480k| 85020 | 42532k| 12.2 | 376M| 104 | - | 200 |3113 | 200 | 241 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1784.24/1784.30 c 1784s| 3490k| 84760 | 42622k| 12.2 | 375M| 104 | 29 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1788.52/1788.60 c 1789s| 3500k| 84498 | 42710k| 12.2 | 374M| 104 | 39 | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.583333e+01 |-3.100000e+01 | 13.49%
1792.83/1792.84 c 1793s| 3510k| 84248 | 42797k| 12.2 | 374M| 104 | 40 | 200 |3113 | 200 | 223 | 27M| 0 | 27k|-3.580645e+01 |-3.100000e+01 | 13.42%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 3519596
1797.03/1797.00 c Primal Bound : -3.10000000000000e+01 (573 solutions)
1797.03/1797.00 c Dual Bound : -3.58000000000000e+01
1797.03/1797.00 c Gap : 13.41 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x200 -x199 x198 x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 x184 -x183 x182 x181 -x180 -x179 -x178
1797.03/1797.00 v -x177 -x176 x175 -x174 x173 x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 x159 -x158 -x157 -x156
1797.03/1797.00 v -x155 -x154 -x153 x152 x151 -x150 -x149 x148 -x147 -x146 -x145 x144 -x143 x142 -x141 -x140 x139 -x138 -x137 x136 -x135 -x134
1797.03/1797.00 v -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1797.03/1797.00 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 x91 -x90
1797.03/1797.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
1797.03/1797.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 -x39
1797.03/1797.00 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1797.03/1797.00 v -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.07 (included in solving)
1797.03/1797.00 c reading : 0.02 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488601-1307784217.opb
1797.03/1797.00 c Variables : 3313 (3313 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3513 initial, 3513 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488601-1307784217.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3113 initial, 3113 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.01 3113 0 0 3113 0 200 0 0 0
1797.03/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 2767130 0 663317 0 261 1829 0 0 3675156
1797.03/1797.00 c setppc : 3113 66 5734616 928475 1 663313 150 26 20072071 27640680 0 0
1797.03/1797.00 c countsols : 0 0 0 6 1 569 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 38.99 0.00 0.00 38.84 0.00 0.15 0.00
1797.03/1797.00 c setppc : 124.48 0.03 62.17 24.95 0.00 37.32 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 11 0 0 0
1797.03/1797.00 c pseudoobj : 5741813 2 0 4
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 1.05 1.05 0.00
1797.03/1797.00 c rootredcost : 1.06 1.06 0.00
1797.03/1797.00 c pseudoobj : 25.63 25.63 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 26 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.04 65 - - 204 - (maximal pool size: 2719)
1797.03/1797.00 c redcost : 15.92 3061348 0 551103 0 0
1797.03/1797.00 c impliedbounds : 0.01 66 0 0 1712 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 1.69 66 0 0 10836 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.33 20 0 0 9144 0
1797.03/1797.00 c cmir : 0.06 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.03/1797.00 c clique : 0.16 66 0 0 566 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 37.62 1838655 261 1829 0 0 3675156
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.33 - 6
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c feaspump : 0.07 0 0
1797.03/1797.00 c oneopt : 0.82 10 0
1797.03/1797.00 c crossover : 2.16 56 32
1797.03/1797.00 c guideddiving : 0.37 308 4
1797.03/1797.00 c linesearchdiving : 0.33 309 6
1797.03/1797.00 c coefdiving : 0.31 309 3
1797.03/1797.00 c fracdiving : 0.35 309 6
1797.03/1797.00 c veclendiving : 0.29 309 7
1797.03/1797.00 c pscostdiving : 0.31 309 7
1797.03/1797.00 c objpscostdiving : 0.20 155 3
1797.03/1797.00 c rootsoldiving : 0.39 155 2
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 47.37 1841813 483
1797.03/1797.00 c zirounding : 0.64 1000 9
1797.03/1797.00 c rounding : 5.33 90933 2
1797.03/1797.00 c shifting : 0.66 8564 1
1797.03/1797.00 c intshifting : 0.04 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.01 1 0
1797.03/1797.00 c subnlp : 0.56 0 0
1797.03/1797.00 c trysol : 0.78 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 28.56 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1141.58 4455470 42849473 9.62 37535.35
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 1.26 5852 33121 5.66 26347.74
1797.03/1797.00 c strong branching : 17.46 27222 468497 17.21 26827.15
1797.03/1797.00 c (at root node) : - 21 13100 623.81 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 3519596
1797.03/1797.00 c nodes (total) : 3519596
1797.03/1797.00 c nodes left : 83968
1797.03/1797.00 c max depth : 104
1797.03/1797.00 c max depth (total): 104
1797.03/1797.00 c backtracks : 422990 (12.0%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 5.35
1797.03/1797.00 c switching time : 153.98
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 573 (15 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -3.10000000000000e+01 (in run 1, after 3040268 nodes, 1587.83 seconds, depth 49, found by <relaxation>)
1797.03/1797.00 c Dual Bound : -3.58000000000000e+01
1797.03/1797.00 c Gap : 13.41 %
1797.03/1797.00 c Root Dual Bound : -4.87903205214567e+01
1797.03/1797.00 c Root Iterations : 11975
1797.63/1797.63 c Time complete: 1797.67.
OK -31
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488601-1307784217/watcher-3488601-1307784217 -o /tmp/evaluation-result-3488601-1307784217/solver-3488601-1307784217 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488601-1307784217.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.26 3/177 32571 /proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=11972 CPUtime=0 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 2009 0 0 0 0 0 0 0 25 0 1 0 890021524 12259328 1963 33554432000 4194304 9016284 140733588482352 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/32571/statm: 2993 1974 340 1178 0 1811 0 [startup+0.104628 s] /proc/loadavg: 2.00 2.02 2.26 3/177 32571 /proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=33044 CPUtime=0.09 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 7328 0 0 0 9 0 0 0 25 0 1 0 890021524 33837056 7025 33554432000 4194304 9016284 140733588482352 18446744073709551615 5435104 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 8261 7025 557 1178 0 7079 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33044 [startup+0.200609 s] /proc/loadavg: 2.00 2.02 2.26 3/177 32571 /proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=36580 CPUtime=0.19 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 14741 0 0 0 18 1 0 0 25 0 1 0 890021524 37457920 7983 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 9145 7983 688 1178 0 7963 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36580 [startup+0.30059 s] /proc/loadavg: 2.00 2.02 2.26 3/177 32571 /proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=37216 CPUtime=0.29 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 14927 0 0 0 28 1 0 0 25 0 1 0 890021524 38109184 8169 33554432000 4194304 9016284 140733588482352 18446744073709551615 6389957 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 9304 8169 690 1178 0 8122 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37216 [startup+0.700519 s] /proc/loadavg: 2.00 2.02 2.26 3/177 32571 /proc/meminfo: memFree=31496496/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=44944 CPUtime=0.69 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 16926 0 0 0 67 2 0 0 25 0 1 0 890021524 46022656 10166 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 11236 10166 689 1178 0 10054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44944 [startup+1.50038 s] /proc/loadavg: 2.00 2.02 2.26 3/178 32573 /proc/meminfo: memFree=31457424/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=54252 CPUtime=1.49 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 19246 0 0 0 145 4 0 0 25 0 1 0 890021524 55554048 12472 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 13563 12472 692 1178 0 12381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 54252 [startup+3.1011 s] /proc/loadavg: 2.00 2.02 2.26 3/178 32573 /proc/meminfo: memFree=31447876/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=55068 CPUtime=3.09 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 19531 0 0 0 301 8 0 0 25 0 1 0 890021524 56389632 12756 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 13767 12756 712 1178 0 12585 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55068 [startup+6.30055 s] /proc/loadavg: 2.00 2.02 2.26 3/178 32573 /proc/meminfo: memFree=31446512/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=55068 CPUtime=6.29 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 21343 0 0 0 604 25 0 0 25 0 1 0 890021524 56389632 12798 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 13767 12798 704 1178 0 12585 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55068 [startup+12.7004 s] /proc/loadavg: 2.00 2.02 2.26 3/178 32611 /proc/meminfo: memFree=31474296/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=59412 CPUtime=12.69 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 36237 0 0 0 1191 78 0 0 25 0 1 0 890021524 60837888 13864 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 14853 13864 701 1178 0 13671 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59412 [startup+25.5001 s] /proc/loadavg: 2.00 2.02 2.26 3/178 32649 /proc/meminfo: memFree=31432364/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=75120 CPUtime=25.48 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 57648 0 0 0 2320 228 0 0 25 0 1 0 890021524 76922880 17692 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 18780 17692 704 1178 0 17598 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 75120 [startup+51.1006 s] /proc/loadavg: 2.00 2.02 2.25 3/178 32650 /proc/meminfo: memFree=31380064/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=97928 CPUtime=51.09 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 102185 0 0 0 4576 533 0 0 25 0 1 0 890021524 100278272 23517 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 24482 23517 704 1178 0 23300 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 97928 [startup+102.301 s] /proc/loadavg: 2.00 2.01 2.23 3/178 32651 /proc/meminfo: memFree=31287616/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=144636 CPUtime=102.29 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 127948 0 0 0 9115 1114 0 0 25 0 1 0 890021524 148107264 35123 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 36159 35123 705 1178 0 34977 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 144636 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.21 3/178 32653 /proc/meminfo: memFree=31179720/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=201940 CPUtime=162.29 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 145911 0 0 0 14450 1779 0 0 25 0 1 0 890021524 206786560 49538 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/32571/statm: 50485 49538 705 1178 0 49303 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 201940 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.20 3/178 32654 /proc/meminfo: memFree=31087544/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=251112 CPUtime=222.29 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 160359 0 0 0 19787 2442 0 0 25 0 1 0 890021524 257138688 61882 33554432000 4194304 9016284 140733588482352 18446744073709551615 6523304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 62778 61882 705 1178 0 61596 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 251112 [startup+282.301 s] /proc/loadavg: 2.09 2.03 2.19 3/178 32656 /proc/meminfo: memFree=30995984/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=301552 CPUtime=282.29 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 172519 0 0 0 25115 3114 0 0 25 0 1 0 890021524 308789248 74042 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 75388 74042 705 1178 0 74206 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 301552 [startup+342.3 s] /proc/loadavg: 2.03 2.02 2.18 3/178 32658 /proc/meminfo: memFree=30918900/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=341360 CPUtime=342.29 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 186044 0 0 0 30454 3775 0 0 25 0 1 0 890021524 349552640 84040 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 85340 84040 705 1178 0 84158 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 341360 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.16 3/178 32659 /proc/meminfo: memFree=30844184/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=380616 CPUtime=402.3 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 195910 0 0 0 35797 4433 0 0 25 0 1 0 890021524 389750784 93906 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 95154 93906 705 1178 0 93972 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 380616 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.15 3/178 32661 /proc/meminfo: memFree=30797884/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=390584 CPUtime=462.3 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 247849 0 0 0 41139 5091 0 0 25 0 1 0 890021524 399958016 96486 33554432000 4194304 9016284 140733588482352 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 97646 96486 705 1178 0 96464 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 390584 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.14 3/178 32662 /proc/meminfo: memFree=30757152/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=392628 CPUtime=522.3 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 257517 0 0 0 46505 5725 0 0 25 0 1 0 890021524 402051072 97007 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 98157 97007 705 1178 0 96975 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 392628 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.13 3/178 32664 /proc/meminfo: memFree=30711700/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=401840 CPUtime=582.3 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 263270 0 0 0 51856 6374 0 0 25 0 1 0 890021524 411484160 99231 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 100460 99231 705 1178 0 99278 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 401840 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30589428/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=492496 CPUtime=1062.31 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 291656 0 0 0 94812 11419 0 0 25 0 1 0 890021524 504315904 121924 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 123124 121924 705 1178 0 121942 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 492496 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.06 3/178 32678 /proc/meminfo: memFree=30576476/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=503564 CPUtime=1122.31 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 294425 0 0 0 100191 12040 0 0 25 0 1 0 890021524 515649536 124693 33554432000 4194304 9016284 140733588482352 18446744073709551615 6403981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 125891 124693 705 1178 0 124709 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 503564 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.06 3/178 32680 /proc/meminfo: memFree=30571092/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=508684 CPUtime=1182.31 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 295716 0 0 0 105578 12653 0 0 25 0 1 0 890021524 520892416 125984 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 127171 125984 705 1178 0 125989 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 508684 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.05 3/178 32682 /proc/meminfo: memFree=30562976/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=516880 CPUtime=1242.31 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 297764 0 0 0 110966 13265 0 0 25 0 1 0 890021524 529285120 128032 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 129220 128032 705 1178 0 128038 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 516880 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.05 3/178 32683 /proc/meminfo: memFree=30555736/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=522768 CPUtime=1302.31 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 302852 0 0 0 116350 13881 0 0 25 0 1 0 890021524 535314432 129515 33554432000 4194304 9016284 140733588482352 18446744073709551615 7823669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 130692 129515 705 1178 0 129510 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 522768 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 2.05 3/178 32685 /proc/meminfo: memFree=30548612/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=529680 CPUtime=1362.31 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 304591 0 0 0 121732 14499 0 0 25 0 1 0 890021524 542392320 131254 33554432000 4194304 9016284 140733588482352 18446744073709551615 4347916 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 132420 131254 705 1178 0 131238 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 529680 [startup+1422.3 s] /proc/loadavg: 2.07 2.03 2.04 3/178 32686 /proc/meminfo: memFree=30543964/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=534032 CPUtime=1422.32 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 305671 0 0 0 127122 15110 0 0 25 0 1 0 890021524 546848768 132334 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 133508 132334 705 1178 0 132326 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 534032 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.04 3/178 32688 /proc/meminfo: memFree=30541292/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=536656 CPUtime=1482.32 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 306329 0 0 0 132517 15715 0 0 25 0 1 0 890021524 549535744 132992 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 134164 132992 705 1178 0 132982 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 536656 [startup+1542.31 s] /proc/loadavg: 2.01 2.01 2.03 3/178 32690 /proc/meminfo: memFree=30536760/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=540364 CPUtime=1542.33 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 307262 0 0 0 137918 16315 0 0 25 0 1 0 890021524 553332736 133925 33554432000 4194304 9016284 140733588482352 18446744073709551615 6811207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135091 133925 705 1178 0 133909 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 540364 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.03 3/178 32691 /proc/meminfo: memFree=30532844/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1602.32 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 332726 0 0 0 143324 16908 0 0 25 0 1 0 890021524 556019712 134651 33554432000 4194304 9016284 140733588482352 18446744073709551615 4318669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134651 705 1178 0 134565 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 542988 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.02 3/178 32693 /proc/meminfo: memFree=30532036/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1662.33 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 339727 0 0 0 148756 17477 0 0 25 0 1 0 890021524 556019712 134652 33554432000 4194304 9016284 140733588482352 18446744073709551615 6776629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134652 705 1178 0 134565 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 542988 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.02 3/178 32694 /proc/meminfo: memFree=30532100/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1722.32 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 343233 0 0 0 154174 18058 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134653 705 1178 0 134565 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 542988 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.01 3/178 32696 /proc/meminfo: memFree=30532056/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1782.32 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 159611 18621 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134653 705 1178 0 134565 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 542988 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 2.01 3/178 32696 /proc/meminfo: memFree=30532052/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1785.63 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 159907 18656 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134653 705 1178 0 134565 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (KiB) 542988 [startup+1792.01 s] /proc/loadavg: 2.00 2.00 2.01 3/178 32696 /proc/meminfo: memFree=30532048/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1792.03 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 160486 18717 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 6776673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134653 705 1178 0 134565 0 Current children cumulated CPU time (s) 1792.03 Current children cumulated vsize (KiB) 542988 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 2.01 3/178 32696 /proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1795.23 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 160774 18749 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134653 705 1178 0 134565 0 Current children cumulated CPU time (s) 1795.23 Current children cumulated vsize (KiB) 542988 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 2.01 3/178 32696 /proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1796.82 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346760 0 0 0 160919 18763 0 0 25 0 1 0 890021524 556019712 134653 33554432000 4194304 9016284 140733588482352 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134653 705 1178 0 134565 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 542988 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 2.01 3/178 32696 /proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1797.23 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346762 0 0 0 160957 18766 0 0 25 0 1 0 890021524 556019712 134655 33554432000 4194304 9016284 140733588482352 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134655 707 1178 0 134565 0 Current children cumulated CPU time (s) 1797.23 Current children cumulated vsize (KiB) 542988 [startup+1797.6 s] /proc/loadavg: 2.00 2.00 2.01 3/178 32696 /proc/meminfo: memFree=30532168/32950928 swapFree=67055156/67111528 [pid=32571] ppid=32569 vsize=542988 CPUtime=1797.63 cores=1,3,5,7 /proc/32571/stat : 32571 (scip-2.0.1.4b_2) R 32569 32571 30017 0 -1 4202496 346762 0 0 0 160997 18766 0 0 25 0 1 0 890021524 556019712 134655 33554432000 4194304 9016284 140733588482352 18446744073709551615 6812671 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32571/statm: 135747 134655 707 1178 0 134565 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 542988 Child status: 0 Real time (s): 1797.64 CPU time (s): 1797.67 CPU user time (s): 1609.99 CPU system time (s): 187.681 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 558180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1609.99 system time used= 187.681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 346767 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 18993 runsolver used 2.41063 second user time and 5.78312 second system time The end
Begin job on node123 at 2011-06-11 11:23:37 IDJOB=3488601 IDBENCH=48205 IDSOLVER=1979 FILE ID=node123/3488601-1307784217 RUNJOBID= node123-1307777022-31607 PBS_JOBID= 13550870 Free space on /tmp= 74164 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488601-1307784217/watcher-3488601-1307784217 -o /tmp/evaluation-result-3488601-1307784217/solver-3488601-1307784217 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488601-1307784217.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED=805752269 node123.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.75 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.838 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.82 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.838 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.74 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.838 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.80 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31497304 kB Buffers: 279720 kB Cached: 907444 kB SwapCached: 10356 kB Active: 538516 kB Inactive: 723788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31497304 kB SwapTotal: 67111528 kB SwapFree: 67055156 kB Dirty: 16828 kB Writeback: 0 kB AnonPages: 72516 kB Mapped: 15288 kB Slab: 127272 kB PageTables: 4372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 265680 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= 74148 MiB End job on node123 at 2011-06-11 11:53:35