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 | 15360 | 1798.1 | 1798.05 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb |
| MD5SUM | 687e90f40c46b53feec9c54ee9b43fa6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15360 |
| Best CPU time to get the best result obtained on this benchmark | 1798.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15360 |
| Optimality of the best value was proved | NO |
| Number of variables | 163 |
| Total number of constraints | 73 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 3 |
| Number of constraints which are nor clauses,nor cardinality constraints | 70 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 102 |
| Number of terms in the objective function | 163 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 74742 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 8192 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 74742 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-3488926-1307760690.opb>
0.00/0.00 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 73 upgd conss, 0 impls, 0 clqs
0.01/0.02 c (round 3) 0 del vars, 10 del conss, 100 add conss, 0 chg bounds, 110 chg sides, 210 chg coeffs, 73 upgd conss, 200 impls, 0 clqs
0.01/0.04 c (0.0s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.04 c presolving (4 rounds):
0.01/0.04 c 0 deleted vars, 10 deleted constraints, 100 added constraints, 0 tightened bounds, 0 added holes, 110 changed sides, 210 changed coefficients
0.01/0.04 c 200 implications, 0 cliques
0.01/0.04 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 163 constraints
0.01/0.04 c 63 constraints of type <knapsack>
0.01/0.04 c 100 constraints of type <setppc>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.03
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 2.0.1.5
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1797
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 13950
0.01/0.04 c
0.01/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.04 c # [type: int, range: [1,2], default: 1]
0.01/0.04 c timing/clocktype = 2
0.01/0.04 c
0.01/0.04 c # belongs reading time to solving time?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c timing/reading = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/indicator/addCouplingCons = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/0.04 o 20480
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c T 0.0s| 1 | 0 | 0 | - |1691k| 0 | - | 163 | 163 | 163 | 163 | 0 | 0 | 0 | -- | 2.048000e+04 | Inf
0.01/0.05 c 0.0s| 1 | 0 | 89 | - |1638k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 2.048000e+04 | 53.85%
0.01/0.05 o 19456
0.01/0.05 c R 0.0s| 1 | 0 | 89 | - |1641k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.945600e+04 | 46.15%
0.01/0.05 o 17408
0.01/0.05 c b 0.0s| 1 | 0 | 89 | - |1645k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
0.49/0.57 o 16384
0.49/0.57 c E 0.6s| 1 | 0 | 89 | - |1695k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.49/0.58 c 0.6s| 1 | 0 | 89 | - |1695k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.59/0.66 c 0.7s| 1 | 2 | 89 | - |1696k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 10 | 1.331200e+04 | 1.638400e+04 | 23.08%
2.40/2.45 o 16384
2.40/2.45 c z 2.4s| 227 | 228 | 10597 | 46.5 |2031k| 29 | 31 | 163 | 207 | 163 | 163 | 0 | 4 | 529 | 1.408000e+04 | 1.638400e+04 | 16.36%
19.09/19.17 o 15872
19.09/19.17 c p19.2s| 8038 | 7249 |430750 | 53.6 |5140k| 37 | - | 163 | 254 | 163 | 163 | 0 | 78 |2058 | 1.420800e+04 | 1.587200e+04 | 11.71%
23.59/23.69 c 23.7s| 10000 | 8863 |533930 | 53.4 |6050k| 37 | 8 | 163 | 220 | 163 | 163 | 0 | 90 |2331 | 1.420800e+04 | 1.587200e+04 | 11.71%
23.99/24.01 o 15360
23.99/24.01 c v24.0s| 10194 | 8252 |542319 | 53.2 |5765k| 37 | - | 163 | 219 | 163 | 163 | 0 | 91 |2359 | 1.420800e+04 | 1.536000e+04 | 8.11%
40.39/40.46 c 40.5s| 20000 | 14744 |955308 | 47.8 |9932k| 37 | 18 | 163 | 198 | 163 | 163 | 0 | 131 |3564 | 1.420800e+04 | 1.536000e+04 | 8.11%
56.10/56.11 c 56.1s| 30000 | 21420 | 1355k| 45.2 | 14M| 37 | 25 | 163 | 190 | 163 | 163 | 0 | 168 |4558 | 1.420800e+04 | 1.536000e+04 | 8.11%
68.99/69.09 c 69.1s| 40000 | 27638 | 1678k| 42.0 | 18M| 37 | 21 | 163 | 184 | 163 | 163 | 0 | 195 |5264 | 1.428945e+04 | 1.536000e+04 | 7.49%
80.89/80.96 c 81.0s| 50000 | 34126 | 1961k| 39.2 | 22M| 37 | 18 | 163 | 180 | 163 | 163 | 0 | 220 |5867 | 1.433600e+04 | 1.536000e+04 | 7.14%
92.19/92.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.19/92.24 c 92.2s| 60000 | 40550 | 2231k| 37.2 | 26M| 39 | 23 | 163 | 172 | 163 | 163 | 0 | 230 |6409 | 1.433600e+04 | 1.536000e+04 | 7.14%
103.80/103.82 c 104s| 70000 | 47072 | 2511k| 35.9 | 30M| 39 | 17 | 163 | 171 | 163 | 163 | 0 | 244 |6868 | 1.433600e+04 | 1.536000e+04 | 7.14%
114.30/114.33 c 114s| 80000 | 52888 | 2756k| 34.5 | 34M| 39 | 17 | 163 | 171 | 163 | 163 | 0 | 268 |7319 | 1.433600e+04 | 1.536000e+04 | 7.14%
124.80/124.82 c 125s| 90000 | 58662 | 3009k| 33.4 | 38M| 41 | - | 163 | 174 | 163 | 163 | 0 | 280 |7739 | 1.433600e+04 | 1.536000e+04 | 7.14%
134.49/134.57 c 135s|100000 | 63790 | 3243k| 32.4 | 41M| 41 | 11 | 163 | 173 | 163 | 163 | 0 | 290 |8148 | 1.433600e+04 | 1.536000e+04 | 7.14%
144.10/144.12 c 144s|110000 | 68616 | 3470k| 31.6 | 45M| 41 | 25 | 163 | 171 | 163 | 163 | 0 | 307 |8532 | 1.433600e+04 | 1.536000e+04 | 7.14%
153.79/153.88 c 154s|120000 | 74208 | 3699k| 30.8 | 48M| 41 | 21 | 163 | 179 | 163 | 163 | 0 | 322 |8953 | 1.433600e+04 | 1.536000e+04 | 7.14%
163.10/163.16 c 163s|130000 | 78922 | 3922k| 30.2 | 52M| 42 | - | 163 | 172 | 163 | 163 | 0 | 342 |9283 | 1.433600e+04 | 1.536000e+04 | 7.14%
172.09/172.14 c 172s|140000 | 83464 | 4136k| 29.5 | 55M| 42 | 22 | 163 | 173 | 163 | 163 | 0 | 353 |9645 | 1.433600e+04 | 1.536000e+04 | 7.14%
181.69/181.76 c 182s|150000 | 88764 | 4369k| 29.1 | 58M| 42 | 13 | 163 | 181 | 163 | 163 | 0 | 377 |9941 | 1.433600e+04 | 1.536000e+04 | 7.14%
191.00/191.05 c 191s|160000 | 93776 | 4589k| 28.7 | 62M| 42 | 17 | 163 | 183 | 163 | 163 | 0 | 400 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
201.20/201.29 c 201s|170000 | 99066 | 4842k| 28.5 | 65M| 42 | 18 | 163 | 179 | 163 | 163 | 0 | 411 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
210.89/210.94 c 211s|180000 |104272 | 5074k| 28.2 | 69M| 42 | 13 | 163 | 175 | 163 | 163 | 0 | 430 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
220.10/220.16 c 220s|190000 |109386 | 5293k| 27.9 | 72M| 42 | - | 163 | 173 | 163 | 163 | 0 | 439 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
229.99/230.00 c 230s|200000 |115162 | 5528k| 27.6 | 76M| 42 | 22 | 163 | 181 | 163 | 163 | 0 | 464 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
239.19/239.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.19/239.26 c 239s|210000 |120280 | 5750k| 27.4 | 79M| 42 | 22 | 163 | 174 | 163 | 163 | 0 | 474 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
248.39/248.40 c 248s|220000 |125438 | 5970k| 27.1 | 83M| 42 | 21 | 163 | 174 | 163 | 163 | 0 | 481 | 12k| 1.435927e+04 | 1.536000e+04 | 6.97%
256.40/256.47 c 256s|230000 |128804 | 6156k| 26.8 | 85M| 42 | - | 163 | 173 | 163 | 163 | 0 | 499 | 12k| 1.437867e+04 | 1.536000e+04 | 6.82%
264.50/264.50 c 265s|240000 |132330 | 6343k| 26.4 | 88M| 42 | 18 | 163 | 170 | 163 | 163 | 0 | 514 | 12k| 1.438720e+04 | 1.536000e+04 | 6.76%
272.90/272.98 c 273s|250000 |136114 | 6538k| 26.2 | 91M| 42 | - | 163 | 173 | 163 | 163 | 0 | 536 | 12k| 1.439289e+04 | 1.536000e+04 | 6.72%
280.90/280.95 c 281s|260000 |139670 | 6723k| 25.9 | 94M| 42 | 20 | 163 | 173 | 163 | 163 | 0 | 559 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
289.20/289.25 c 289s|270000 |143094 | 6915k| 25.6 | 97M| 42 | 22 | 163 | 177 | 163 | 163 | 0 | 584 | 13k| 1.440000e+04 | 1.536000e+04 | 6.67%
297.10/297.19 c 297s|280000 |146448 | 7095k| 25.3 | 99M| 43 | - | 163 | 175 | 163 | 163 | 0 | 604 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
305.19/305.28 c 305s|290000 |149736 | 7284k| 25.1 | 102M| 43 | 11 | 163 | 173 | 163 | 163 | 0 | 634 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
313.10/313.17 c 313s|300000 |152876 | 7463k| 24.9 | 105M| 43 | 16 | 163 | 177 | 163 | 163 | 0 | 653 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
320.80/320.84 c 321s|310000 |155950 | 7636k| 24.6 | 107M| 43 | 13 | 163 | 177 | 163 | 163 | 0 | 672 | 13k| 1.443200e+04 | 1.536000e+04 | 6.43%
328.60/328.67 c 329s|320000 |159074 | 7812k| 24.4 | 110M| 43 | - | 163 | 175 | 163 | 163 | 0 | 696 | 14k| 1.443840e+04 | 1.536000e+04 | 6.38%
336.10/336.17 c 336s|330000 |162090 | 7980k| 24.2 | 113M| 43 | 6 | 163 | 170 | 163 | 163 | 0 | 711 | 14k| 1.443840e+04 | 1.536000e+04 | 6.38%
343.70/343.72 c 344s|340000 |165108 | 8146k| 24.0 | 115M| 44 | 22 | 163 | 170 | 163 | 163 | 0 | 733 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
351.10/351.18 c 351s|350000 |167850 | 8311k| 23.7 | 117M| 44 | 18 | 163 | 174 | 163 | 163 | 0 | 750 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
358.51/358.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.51/358.57 c 359s|360000 |170756 | 8474k| 23.5 | 120M| 44 | 10 | 163 | 172 | 163 | 163 | 0 | 762 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
365.80/365.80 c 366s|370000 |173608 | 8632k| 23.3 | 122M| 44 | 12 | 163 | 166 | 163 | 163 | 0 | 772 | 15k| 1.446400e+04 | 1.536000e+04 | 6.19%
373.10/373.13 c 373s|380000 |176400 | 8793k| 23.1 | 125M| 44 | - | 163 | 171 | 163 | 163 | 0 | 785 | 15k| 1.446400e+04 | 1.536000e+04 | 6.19%
380.30/380.37 c 380s|390000 |179180 | 8953k| 23.0 | 127M| 44 | 11 | 163 | 168 | 163 | 163 | 0 | 808 | 15k| 1.447153e+04 | 1.536000e+04 | 6.14%
387.21/387.29 c 387s|400000 |181594 | 9106k| 22.8 | 129M| 44 | 13 | 163 | 175 | 163 | 163 | 0 | 825 | 15k| 1.448229e+04 | 1.536000e+04 | 6.06%
394.20/394.29 c 394s|410000 |184154 | 9255k| 22.6 | 132M| 44 | - | 163 | 173 | 163 | 163 | 0 | 846 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
400.90/400.95 c 401s|420000 |186348 | 9399k| 22.4 | 134M| 44 | - | 163 | 168 | 163 | 163 | 0 | 855 | 15k| 1.449600e+04 | 1.536000e+04 | 5.96%
408.01/408.06 c 408s|430000 |189040 | 9555k| 22.2 | 136M| 44 | - | 163 | 186 | 163 | 163 | 0 | 878 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
414.71/414.78 c 415s|440000 |191344 | 9703k| 22.1 | 138M| 44 | - | 163 | 171 | 163 | 163 | 0 | 892 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
421.70/421.76 c 422s|450000 |193736 | 9858k| 21.9 | 140M| 44 | - | 163 | 171 | 163 | 163 | 0 | 901 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
428.70/428.76 c 429s|460000 |196110 | 10012k| 21.8 | 143M| 44 | 7 | 163 | 177 | 163 | 163 | 0 | 921 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
435.51/435.58 c 436s|470000 |198434 | 10160k| 21.6 | 145M| 44 | - | 163 | 168 | 163 | 163 | 0 | 932 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
442.10/442.13 c 442s|480000 |200692 | 10304k| 21.5 | 147M| 44 | 16 | 163 | 171 | 163 | 163 | 0 | 952 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
448.90/448.93 c 449s|490000 |202924 | 10450k| 21.3 | 149M| 44 | - | 163 | 174 | 163 | 163 | 0 | 977 | 16k| 1.451886e+04 | 1.536000e+04 | 5.79%
455.60/455.69 c 456s|500000 |205182 | 10594k| 21.2 | 151M| 44 | - | 163 | 168 | 163 | 163 | 0 | 991 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
462.11/462.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.11/462.19 c 462s|510000 |207164 | 10733k| 21.0 | 153M| 44 | 18 | 163 | 165 | 163 | 163 | 0 | 997 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
468.90/468.93 c 469s|520000 |209352 | 10876k| 20.9 | 155M| 44 | - | 163 | 170 | 163 | 163 | 0 |1009 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
475.30/475.32 c 475s|530000 |211268 | 11013k| 20.8 | 157M| 44 | 10 | 163 | 171 | 163 | 163 | 0 |1021 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
481.71/481.74 c 482s|540000 |213212 | 11151k| 20.7 | 159M| 44 | 15 | 163 | 170 | 163 | 163 | 0 |1039 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
488.10/488.13 c 488s|550000 |215196 | 11286k| 20.5 | 161M| 44 | - | 163 | 170 | 163 | 163 | 0 |1058 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
494.50/494.59 c 495s|560000 |217254 | 11421k| 20.4 | 163M| 44 | - | 163 | 167 | 163 | 163 | 0 |1073 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
500.90/500.94 c 501s|570000 |219124 | 11553k| 20.3 | 164M| 44 | - | 163 | 168 | 163 | 163 | 0 |1089 | 17k| 1.455543e+04 | 1.536000e+04 | 5.53%
507.01/507.02 c 507s|580000 |220728 | 11683k| 20.1 | 166M| 44 | - | 163 | 165 | 163 | 163 | 0 |1092 | 17k| 1.455787e+04 | 1.536000e+04 | 5.51%
513.31/513.32 c 513s|590000 |222656 | 11815k| 20.0 | 168M| 44 | 15 | 163 | 172 | 163 | 163 | 0 |1116 | 17k| 1.457694e+04 | 1.536000e+04 | 5.37%
519.60/519.66 c 520s|600000 |224450 | 11950k| 19.9 | 170M| 44 | - | 163 | 173 | 163 | 163 | 0 |1133 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
525.90/525.94 c 526s|610000 |226306 | 12085k| 19.8 | 172M| 44 | 11 | 163 | 171 | 163 | 163 | 0 |1147 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
532.41/532.46 c 532s|620000 |228222 | 12227k| 19.7 | 174M| 44 | 11 | 163 | 175 | 163 | 163 | 0 |1168 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
539.01/539.02 c 539s|630000 |230138 | 12370k| 19.6 | 175M| 44 | - | 163 | 171 | 163 | 163 | 0 |1177 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
545.51/545.55 c 546s|640000 |232138 | 12509k| 19.5 | 177M| 44 | 12 | 163 | 171 | 163 | 163 | 0 |1194 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
552.21/552.26 c 552s|650000 |234270 | 12656k| 19.5 | 179M| 44 | 13 | 163 | 168 | 163 | 163 | 0 |1199 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
558.81/558.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.81/558.89 c 559s|660000 |236282 | 12801k| 19.4 | 181M| 44 | 21 | 163 | 172 | 163 | 163 | 0 |1213 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
565.01/565.04 c 565s|670000 |238052 | 12931k| 19.3 | 183M| 44 | 12 | 163 | 167 | 163 | 163 | 0 |1220 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
571.40/571.47 c 571s|680000 |239882 | 13065k| 19.2 | 185M| 44 | 23 | 163 | 166 | 163 | 163 | 0 |1226 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
578.00/578.07 c 578s|690000 |241844 | 13205k| 19.1 | 187M| 44 | - | 163 | 177 | 163 | 163 | 0 |1251 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
584.31/584.31 c 584s|700000 |243536 | 13338k| 19.1 | 189M| 44 | - | 163 | 168 | 163 | 163 | 0 |1258 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
590.61/590.63 c 591s|710000 |245368 | 13473k| 19.0 | 190M| 44 | - | 163 | 168 | 163 | 163 | 0 |1265 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
596.81/596.87 c 597s|720000 |247138 | 13603k| 18.9 | 192M| 44 | 19 | 163 | 167 | 163 | 163 | 0 |1271 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
603.71/603.70 c 604s|730000 |249206 | 13756k| 18.8 | 194M| 44 | - | 163 | 173 | 163 | 163 | 0 |1288 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
610.01/610.02 c 610s|740000 |250958 | 13894k| 18.8 | 196M| 45 | - | 163 | 176 | 163 | 163 | 0 |1303 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
616.30/616.36 c 616s|750000 |252696 | 14027k| 18.7 | 198M| 45 | 25 | 163 | 166 | 163 | 163 | 0 |1306 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
622.51/622.56 c 623s|760000 |254468 | 14158k| 18.6 | 199M| 45 | 20 | 163 | 164 | 163 | 163 | 0 |1307 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
629.00/629.03 c 629s|770000 |256276 | 14300k| 18.6 | 201M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |1317 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
635.31/635.38 c 635s|780000 |258044 | 14435k| 18.5 | 203M| 45 | 21 | 163 | 171 | 163 | 163 | 0 |1323 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
642.01/642.02 c 642s|790000 |260148 | 14579k| 18.5 | 205M| 45 | - | 163 | 175 | 163 | 163 | 0 |1336 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
648.61/648.66 c 649s|800000 |262288 | 14723k| 18.4 | 207M| 45 | - | 163 | 170 | 163 | 163 | 0 |1344 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
655.00/655.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.00/655.06 c 655s|810000 |264294 | 14862k| 18.3 | 209M| 45 | - | 163 | 169 | 163 | 163 | 0 |1351 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
661.61/661.64 c 662s|820000 |266192 | 15004k| 18.3 | 211M| 45 | - | 163 | 175 | 163 | 163 | 0 |1364 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
667.91/667.98 c 668s|830000 |268082 | 15141k| 18.2 | 212M| 45 | - | 163 | 175 | 163 | 163 | 0 |1381 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
674.11/674.18 c 674s|840000 |269812 | 15273k| 18.2 | 214M| 45 | - | 163 | 170 | 163 | 163 | 0 |1389 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
680.71/680.76 c 681s|850000 |271758 | 15419k| 18.1 | 216M| 45 | - | 163 | 171 | 163 | 163 | 0 |1395 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
687.21/687.21 c 687s|860000 |273702 | 15558k| 18.1 | 218M| 45 | - | 163 | 167 | 163 | 163 | 0 |1401 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
693.91/693.95 c 694s|870000 |276018 | 15705k| 18.1 | 220M| 45 | - | 163 | 171 | 163 | 163 | 0 |1420 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
700.81/700.81 c 701s|880000 |278100 | 15854k| 18.0 | 222M| 45 | - | 163 | 180 | 163 | 163 | 0 |1437 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
707.11/707.10 c 707s|890000 |279710 | 15986k| 18.0 | 223M| 45 | - | 163 | 170 | 163 | 163 | 0 |1450 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
713.91/713.91 c 714s|900000 |281794 | 16138k| 17.9 | 225M| 45 | 23 | 163 | 174 | 163 | 163 | 0 |1469 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
719.70/719.70 c 720s|910000 |283282 | 16256k| 17.9 | 227M| 45 | - | 163 | 170 | 163 | 163 | 0 |1473 | 21k| 1.461760e+04 | 1.536000e+04 | 5.08%
725.41/725.41 c 725s|920000 |284382 | 16370k| 17.8 | 228M| 45 | 7 | 163 | 164 | 163 | 163 | 0 |1474 | 21k| 1.462613e+04 | 1.536000e+04 | 5.02%
731.01/731.04 c 731s|930000 |285500 | 16483k| 17.7 | 230M| 45 | 7 | 163 | 163 | 163 | 163 | 0 |1477 | 21k| 1.462857e+04 | 1.536000e+04 | 5.00%
736.71/736.78 c 737s|940000 |286710 | 16597k| 17.7 | 231M| 45 | - | 163 | 163 | 163 | 163 | 0 |1478 | 21k| 1.463467e+04 | 1.536000e+04 | 4.96%
742.41/742.49 c 742s|950000 |287780 | 16711k| 17.6 | 232M| 45 | 15 | 163 | 165 | 163 | 163 | 0 |1481 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
748.01/748.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.01/748.08 c 748s|960000 |288830 | 16822k| 17.5 | 234M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1483 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
753.71/753.77 c 754s|970000 |290038 | 16935k| 17.5 | 235M| 45 | - | 163 | 163 | 163 | 163 | 0 |1493 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
759.51/759.50 c 759s|980000 |291176 | 17052k| 17.4 | 237M| 45 | - | 163 | 163 | 163 | 163 | 0 |1495 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
765.01/765.01 c 765s|990000 |292178 | 17162k| 17.3 | 238M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1496 | 22k| 1.464889e+04 | 1.536000e+04 | 4.85%
770.61/770.61 c 771s| 1000k|293074 | 17274k| 17.3 | 239M| 45 | 11 | 163 | 166 | 163 | 163 | 0 |1499 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
776.11/776.16 c 776s| 1010k|294226 | 17385k| 17.2 | 241M| 45 | - | 163 | 163 | 163 | 163 | 0 |1503 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
781.61/781.62 c 782s| 1020k|295100 | 17495k| 17.2 | 242M| 45 | - | 163 | 165 | 163 | 163 | 0 |1505 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
787.01/787.02 c 787s| 1030k|295980 | 17599k| 17.1 | 243M| 45 | - | 163 | 164 | 163 | 163 | 0 |1508 | 22k| 1.466514e+04 | 1.536000e+04 | 4.74%
792.51/792.56 c 793s| 1040k|297004 | 17713k| 17.0 | 244M| 45 | 17 | 163 | 163 | 163 | 163 | 0 |1516 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
798.02/798.03 c 798s| 1050k|297868 | 17823k| 17.0 | 245M| 45 | - | 163 | 163 | 163 | 163 | 0 |1518 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
803.41/803.48 c 803s| 1060k|298748 | 17930k| 16.9 | 247M| 45 | 23 | 163 | 166 | 163 | 163 | 0 |1522 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
808.91/808.99 c 809s| 1070k|299624 | 18039k| 16.9 | 248M| 45 | 14 | 163 | 164 | 163 | 163 | 0 |1528 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
814.41/814.44 c 814s| 1080k|300620 | 18145k| 16.8 | 249M| 45 | 19 | 163 | 163 | 163 | 163 | 0 |1530 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
820.02/820.02 c 820s| 1090k|301546 | 18255k| 16.7 | 250M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1531 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
825.42/825.49 c 825s| 1100k|302426 | 18363k| 16.7 | 252M| 45 | - | 163 | 163 | 163 | 163 | 0 |1531 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
831.01/831.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.01/831.09 c 831s| 1110k|303492 | 18474k| 16.6 | 253M| 45 | 35 | 163 | 167 | 163 | 163 | 0 |1541 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
836.41/836.43 c 836s| 1120k|304326 | 18579k| 16.6 | 254M| 45 | - | 163 | 163 | 163 | 163 | 0 |1542 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
841.81/841.84 c 842s| 1130k|305284 | 18685k| 16.5 | 255M| 45 | - | 163 | 163 | 163 | 163 | 0 |1542 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
847.22/847.21 c 847s| 1140k|306128 | 18792k| 16.5 | 256M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1544 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
852.81/852.80 c 853s| 1150k|307190 | 18905k| 16.4 | 258M| 45 | 16 | 163 | 164 | 163 | 163 | 0 |1547 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
858.31/858.34 c 858s| 1160k|308184 | 19014k| 16.4 | 259M| 45 | 21 | 163 | 164 | 163 | 163 | 0 |1549 | 23k| 1.468800e+04 | 1.536000e+04 | 4.58%
863.71/863.72 c 864s| 1170k|308964 | 19119k| 16.3 | 260M| 45 | 18 | 163 | 163 | 163 | 163 | 0 |1549 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
868.92/868.99 c 869s| 1180k|309554 | 19221k| 16.3 | 261M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1550 | 24k| 1.469440e+04 | 1.536000e+04 | 4.53%
874.21/874.27 c 874s| 1190k|310252 | 19322k| 16.2 | 262M| 45 | - | 163 | 165 | 163 | 163 | 0 |1552 | 24k| 1.470171e+04 | 1.536000e+04 | 4.48%
879.41/879.45 c 879s| 1200k|310968 | 19422k| 16.2 | 263M| 45 | - | 163 | 166 | 163 | 163 | 0 |1554 | 24k| 1.470171e+04 | 1.536000e+04 | 4.48%
884.72/884.70 c 885s| 1210k|311654 | 19524k| 16.1 | 264M| 45 | - | 163 | 164 | 163 | 163 | 0 |1561 | 24k| 1.471015e+04 | 1.536000e+04 | 4.42%
890.01/890.07 c 890s| 1220k|312482 | 19633k| 16.1 | 265M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1561 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
895.42/895.47 c 895s| 1230k|313276 | 19741k| 16.1 | 266M| 45 | - | 163 | 163 | 163 | 163 | 0 |1562 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
901.01/901.06 c 901s| 1240k|314270 | 19857k| 16.0 | 268M| 45 | - | 163 | 165 | 163 | 163 | 0 |1568 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
906.62/906.60 c 907s| 1250k|315192 | 19969k| 16.0 | 269M| 45 | 11 | 163 | 164 | 163 | 163 | 0 |1570 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
911.92/911.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.92/911.97 c 912s| 1260k|315976 | 20077k| 15.9 | 270M| 45 | - | 163 | 164 | 163 | 163 | 0 |1571 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
917.21/917.21 c 917s| 1270k|316704 | 20179k| 15.9 | 271M| 45 | - | 163 | 163 | 163 | 163 | 0 |1571 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
922.41/922.45 c 922s| 1280k|317346 | 20284k| 15.8 | 272M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1576 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
927.71/927.78 c 928s| 1290k|318150 | 20388k| 15.8 | 273M| 45 | - | 163 | 166 | 163 | 163 | 0 |1582 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
933.12/933.16 c 933s| 1300k|318890 | 20495k| 15.8 | 275M| 45 | 14 | 163 | 163 | 163 | 163 | 0 |1582 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
938.92/938.93 c 939s| 1310k|319922 | 20613k| 15.7 | 276M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |1592 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
944.31/944.31 c 944s| 1320k|320782 | 20719k| 15.7 | 277M| 45 | - | 163 | 165 | 163 | 163 | 0 |1596 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
949.82/949.83 c 950s| 1330k|321734 | 20829k| 15.7 | 278M| 45 | 19 | 163 | 166 | 163 | 163 | 0 |1601 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
955.31/955.30 c 955s| 1340k|322692 | 20942k| 15.6 | 279M| 45 | - | 163 | 168 | 163 | 163 | 0 |1607 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
960.52/960.59 c 961s| 1350k|323318 | 21046k| 15.6 | 280M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1607 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
965.91/965.96 c 966s| 1360k|323966 | 21153k| 15.6 | 281M| 45 | - | 163 | 164 | 163 | 163 | 0 |1610 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
971.32/971.30 c 971s| 1370k|324630 | 21259k| 15.5 | 282M| 45 | 25 | 163 | 164 | 163 | 163 | 0 |1612 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
976.62/976.66 c 977s| 1380k|325316 | 21366k| 15.5 | 283M| 45 | 16 | 163 | 166 | 163 | 163 | 0 |1617 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
981.81/981.89 c 982s| 1390k|325960 | 21472k| 15.4 | 284M| 45 | 10 | 163 | 169 | 163 | 163 | 0 |1622 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
987.21/987.23 c 987s| 1400k|326562 | 21577k| 15.4 | 286M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |1624 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
992.52/992.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.52/992.50 c 992s| 1410k|327054 | 21683k| 15.4 | 286M| 45 | - | 163 | 164 | 163 | 163 | 0 |1624 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
997.81/997.80 c 998s| 1420k|327664 | 21791k| 15.3 | 287M| 45 | 20 | 163 | 165 | 163 | 163 | 0 |1626 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1003.41/1003.43 c 1003s| 1430k|328532 | 21903k| 15.3 | 289M| 45 | - | 163 | 166 | 163 | 163 | 0 |1634 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1008.62/1008.67 c 1009s| 1440k|329192 | 22006k| 15.3 | 290M| 45 | - | 163 | 166 | 163 | 163 | 0 |1638 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1013.92/1013.91 c 1014s| 1450k|329772 | 22109k| 15.2 | 291M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |1640 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1019.22/1019.20 c 1019s| 1460k|330526 | 22214k| 15.2 | 292M| 45 | - | 163 | 167 | 163 | 163 | 0 |1643 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1024.81/1024.85 c 1025s| 1470k|331548 | 22328k| 15.2 | 293M| 45 | - | 163 | 168 | 163 | 163 | 0 |1651 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1030.42/1030.42 c 1030s| 1480k|332390 | 22440k| 15.2 | 294M| 45 | 10 | 163 | 165 | 163 | 163 | 0 |1659 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1035.92/1035.97 c 1036s| 1490k|333274 | 22550k| 15.1 | 295M| 45 | 32 | 163 | 166 | 163 | 163 | 0 |1665 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1041.31/1041.40 c 1041s| 1500k|334132 | 22657k| 15.1 | 296M| 45 | - | 163 | 167 | 163 | 163 | 0 |1667 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1046.72/1046.74 c 1047s| 1510k|335010 | 22762k| 15.1 | 297M| 45 | - | 163 | 166 | 163 | 163 | 0 |1672 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1052.22/1052.23 c 1052s| 1520k|335810 | 22873k| 15.0 | 299M| 45 | - | 163 | 171 | 163 | 163 | 0 |1685 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1057.61/1057.69 c 1058s| 1530k|336754 | 22983k| 15.0 | 300M| 45 | 14 | 163 | 167 | 163 | 163 | 0 |1691 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1063.22/1063.27 c 1063s| 1540k|337708 | 23096k| 15.0 | 301M| 45 | 13 | 163 | 164 | 163 | 163 | 0 |1697 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1068.82/1068.81 c 1069s| 1550k|338434 | 23208k| 15.0 | 302M| 45 | 23 | 163 | 164 | 163 | 163 | 0 |1701 | 27k| 1.472000e+04 | 1.536000e+04 | 4.35%
1073.82/1073.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.82/1073.87 c 1074s| 1560k|338874 | 23305k| 14.9 | 303M| 45 | - | 163 | 163 | 163 | 163 | 0 |1702 | 27k| 1.473422e+04 | 1.536000e+04 | 4.25%
1078.91/1078.97 c 1079s| 1570k|339200 | 23401k| 14.9 | 304M| 45 | - | 163 | 163 | 163 | 163 | 0 |1703 | 27k| 1.473829e+04 | 1.536000e+04 | 4.22%
1084.02/1084.09 c 1084s| 1580k|339452 | 23498k| 14.9 | 304M| 45 | - | 163 | 166 | 163 | 163 | 0 |1708 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1089.11/1089.15 c 1089s| 1590k|339728 | 23595k| 14.8 | 305M| 45 | - | 163 | 164 | 163 | 163 | 0 |1709 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1094.12/1094.19 c 1094s| 1600k|339950 | 23690k| 14.8 | 306M| 45 | - | 163 | 165 | 163 | 163 | 0 |1710 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1099.22/1099.20 c 1099s| 1610k|340198 | 23787k| 14.8 | 307M| 45 | - | 163 | 166 | 163 | 163 | 0 |1712 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1104.12/1104.14 c 1104s| 1620k|340358 | 23882k| 14.7 | 307M| 45 | 16 | 163 | 165 | 163 | 163 | 0 |1714 | 27k| 1.475048e+04 | 1.536000e+04 | 4.13%
1109.01/1109.09 c 1109s| 1630k|340460 | 23975k| 14.7 | 308M| 45 | - | 163 | 169 | 163 | 163 | 0 |1720 | 27k| 1.475840e+04 | 1.536000e+04 | 4.08%
1114.02/1114.04 c 1114s| 1640k|340726 | 24067k| 14.7 | 309M| 45 | - | 163 | 163 | 163 | 163 | 0 |1720 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1119.11/1119.14 c 1119s| 1650k|340940 | 24164k| 14.6 | 309M| 45 | 22 | 163 | 163 | 163 | 163 | 0 |1721 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1124.32/1124.34 c 1124s| 1660k|341388 | 24266k| 14.6 | 310M| 45 | - | 163 | 166 | 163 | 163 | 0 |1726 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1129.42/1129.46 c 1129s| 1670k|341548 | 24363k| 14.6 | 311M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1727 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1134.42/1134.41 c 1134s| 1680k|341808 | 24458k| 14.6 | 311M| 45 | 12 | 163 | 164 | 163 | 163 | 0 |1730 | 28k| 1.476267e+04 | 1.536000e+04 | 4.05%
1139.32/1139.31 c 1139s| 1690k|342128 | 24552k| 14.5 | 312M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1730 | 28k| 1.476267e+04 | 1.536000e+04 | 4.05%
1144.12/1144.16 c 1144s| 1700k|342174 | 24639k| 14.5 | 313M| 45 | - | 163 | 163 | 163 | 163 | 0 |1731 | 28k| 1.477486e+04 | 1.536000e+04 | 3.96%
1149.12/1149.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.12/1149.15 c 1149s| 1710k|342346 | 24734k| 14.5 | 313M| 45 | - | 163 | 163 | 163 | 163 | 0 |1734 | 28k| 1.477486e+04 | 1.536000e+04 | 3.96%
1154.22/1154.20 c 1154s| 1720k|342444 | 24828k| 14.4 | 314M| 45 | - | 163 | 163 | 163 | 163 | 0 |1736 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1159.12/1159.18 c 1159s| 1730k|342458 | 24921k| 14.4 | 314M| 45 | 20 | 163 | 163 | 163 | 163 | 0 |1740 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1164.22/1164.23 c 1164s| 1740k|342598 | 25016k| 14.4 | 315M| 45 | - | 163 | 165 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1169.12/1169.17 c 1169s| 1750k|342634 | 25108k| 14.3 | 315M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1174.02/1174.08 c 1174s| 1760k|342664 | 25201k| 14.3 | 316M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1179.02/1179.10 c 1179s| 1770k|342828 | 25295k| 14.3 | 317M| 45 | - | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.479111e+04 | 1.536000e+04 | 3.85%
1183.92/1183.90 c 1184s| 1780k|342714 | 25383k| 14.3 | 317M| 45 | 14 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.479680e+04 | 1.536000e+04 | 3.81%
1188.82/1188.84 c 1189s| 1790k|342620 | 25476k| 14.2 | 317M| 45 | - | 163 | 165 | 163 | 163 | 0 |1747 | 28k| 1.479680e+04 | 1.536000e+04 | 3.81%
1193.82/1193.83 c 1194s| 1800k|342776 | 25573k| 14.2 | 318M| 45 | - | 163 | 163 | 163 | 163 | 0 |1749 | 28k| 1.480533e+04 | 1.536000e+04 | 3.75%
1198.72/1198.74 c 1199s| 1810k|342722 | 25665k| 14.2 | 319M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1750 | 28k| 1.480862e+04 | 1.536000e+04 | 3.72%
1203.62/1203.61 c 1204s| 1820k|342748 | 25754k| 14.2 | 319M| 45 | - | 163 | 164 | 163 | 163 | 0 |1752 | 29k| 1.481600e+04 | 1.536000e+04 | 3.67%
1208.42/1208.43 c 1208s| 1830k|342612 | 25843k| 14.1 | 319M| 45 | - | 163 | 163 | 163 | 163 | 0 |1753 | 29k| 1.482667e+04 | 1.536000e+04 | 3.60%
1213.62/1213.62 c 1214s| 1840k|342960 | 25945k| 14.1 | 320M| 45 | 15 | 163 | 166 | 163 | 163 | 0 |1763 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1218.72/1218.79 c 1219s| 1850k|343460 | 26050k| 14.1 | 321M| 45 | 16 | 163 | 169 | 163 | 163 | 0 |1767 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1224.02/1224.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.02/1224.04 c 1224s| 1860k|343874 | 26157k| 14.1 | 322M| 45 | 10 | 163 | 168 | 163 | 163 | 0 |1774 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1229.02/1229.07 c 1229s| 1870k|344232 | 26258k| 14.0 | 322M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1777 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1234.13/1234.18 c 1234s| 1880k|344850 | 26361k| 14.0 | 323M| 45 | 17 | 163 | 168 | 163 | 163 | 0 |1780 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1239.42/1239.42 c 1239s| 1890k|345350 | 26468k| 14.0 | 324M| 45 | - | 163 | 163 | 163 | 163 | 0 |1784 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1244.32/1244.34 c 1244s| 1900k|345594 | 26563k| 14.0 | 324M| 45 | 23 | 163 | 163 | 163 | 163 | 0 |1785 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1249.43/1249.45 c 1249s| 1910k|346028 | 26668k| 14.0 | 325M| 45 | - | 163 | 163 | 163 | 163 | 0 |1785 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1254.62/1254.63 c 1255s| 1920k|346648 | 26777k| 13.9 | 326M| 45 | 10 | 163 | 164 | 163 | 163 | 0 |1792 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1259.62/1259.68 c 1260s| 1930k|346990 | 26880k| 13.9 | 327M| 45 | - | 163 | 165 | 163 | 163 | 0 |1796 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1264.72/1264.78 c 1265s| 1940k|347348 | 26983k| 13.9 | 327M| 45 | - | 163 | 164 | 163 | 163 | 0 |1796 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1269.82/1269.83 c 1270s| 1950k|347714 | 27084k| 13.9 | 328M| 45 | - | 163 | 163 | 163 | 163 | 0 |1803 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1274.72/1274.75 c 1275s| 1960k|347920 | 27180k| 13.9 | 329M| 45 | - | 163 | 164 | 163 | 163 | 0 |1805 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1279.83/1279.82 c 1280s| 1970k|348172 | 27280k| 13.8 | 329M| 45 | 10 | 163 | 164 | 163 | 163 | 0 |1807 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1284.92/1284.90 c 1285s| 1980k|348716 | 27386k| 13.8 | 330M| 45 | - | 163 | 164 | 163 | 163 | 0 |1812 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1289.83/1289.85 c 1290s| 1990k|348770 | 27481k| 13.8 | 330M| 45 | 14 | 163 | 167 | 163 | 163 | 0 |1817 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1295.02/1295.01 c 1295s| 2000k|349360 | 27582k| 13.8 | 331M| 45 | 15 | 163 | 167 | 163 | 163 | 0 |1820 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1300.03/1300.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.03/1300.07 c 1300s| 2010k|349582 | 27680k| 13.8 | 332M| 45 | - | 163 | 165 | 163 | 163 | 0 |1823 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1304.93/1304.94 c 1305s| 2020k|349716 | 27775k| 13.8 | 332M| 45 | - | 163 | 163 | 163 | 163 | 0 |1823 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1310.22/1310.20 c 1310s| 2030k|350264 | 27880k| 13.7 | 333M| 45 | 12 | 163 | 163 | 163 | 163 | 0 |1826 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1315.42/1315.48 c 1315s| 2040k|350706 | 27990k| 13.7 | 334M| 45 | 12 | 163 | 163 | 163 | 163 | 0 |1829 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1320.53/1320.53 c 1321s| 2050k|350926 | 28089k| 13.7 | 335M| 45 | - | 163 | 163 | 163 | 163 | 0 |1830 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1325.62/1325.64 c 1326s| 2060k|351204 | 28190k| 13.7 | 335M| 45 | 11 | 163 | 167 | 163 | 163 | 0 |1834 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1330.93/1330.92 c 1331s| 2070k|351796 | 28302k| 13.7 | 336M| 45 | - | 163 | 163 | 163 | 163 | 0 |1836 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1335.82/1335.86 c 1336s| 2080k|351808 | 28398k| 13.7 | 336M| 45 | - | 163 | 163 | 163 | 163 | 0 |1837 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1341.02/1341.01 c 1341s| 2090k|352120 | 28504k| 13.6 | 337M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1837 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1346.13/1346.17 c 1346s| 2100k|352458 | 28606k| 13.6 | 338M| 45 | 12 | 163 | 164 | 163 | 163 | 0 |1841 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1351.42/1351.48 c 1351s| 2110k|353146 | 28717k| 13.6 | 338M| 45 | 17 | 163 | 166 | 163 | 163 | 0 |1849 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1356.52/1356.55 c 1357s| 2120k|353374 | 28817k| 13.6 | 339M| 45 | 16 | 163 | 165 | 163 | 163 | 0 |1850 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1361.62/1361.63 c 1362s| 2130k|353676 | 28917k| 13.6 | 340M| 45 | - | 163 | 166 | 163 | 163 | 0 |1853 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1366.53/1366.53 c 1367s| 2140k|353912 | 29011k| 13.6 | 340M| 45 | - | 163 | 165 | 163 | 163 | 0 |1856 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1371.33/1371.36 c 1371s| 2150k|353892 | 29104k| 13.5 | 341M| 45 | 16 | 163 | 164 | 163 | 163 | 0 |1856 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1376.32/1376.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.32/1376.36 c 1376s| 2160k|354166 | 29203k| 13.5 | 341M| 45 | - | 163 | 164 | 163 | 163 | 0 |1858 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1381.43/1381.48 c 1381s| 2170k|354562 | 29303k| 13.5 | 342M| 45 | 21 | 163 | 165 | 163 | 163 | 0 |1860 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1386.52/1386.53 c 1387s| 2180k|354826 | 29405k| 13.5 | 343M| 45 | - | 163 | 165 | 163 | 163 | 0 |1865 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1391.43/1391.47 c 1391s| 2190k|355034 | 29502k| 13.5 | 343M| 45 | - | 163 | 163 | 163 | 163 | 0 |1868 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1396.32/1396.38 c 1396s| 2200k|355186 | 29597k| 13.5 | 344M| 45 | - | 163 | 163 | 163 | 163 | 0 |1868 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1401.22/1401.28 c 1401s| 2210k|355136 | 29691k| 13.4 | 344M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1875 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1406.23/1406.28 c 1406s| 2220k|355340 | 29794k| 13.4 | 345M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1876 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1411.33/1411.40 c 1411s| 2230k|355892 | 29897k| 13.4 | 345M| 45 | - | 163 | 165 | 163 | 163 | 0 |1878 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1416.63/1416.65 c 1417s| 2240k|356404 | 30004k| 13.4 | 346M| 45 | - | 163 | 167 | 163 | 163 | 0 |1885 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1421.53/1421.52 c 1422s| 2250k|356520 | 30096k| 13.4 | 347M| 45 | 25 | 163 | 163 | 163 | 163 | 0 |1889 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1426.33/1426.39 c 1426s| 2260k|356520 | 30189k| 13.4 | 347M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1890 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1431.43/1431.40 c 1431s| 2270k|356572 | 30290k| 13.3 | 348M| 45 | 19 | 163 | 165 | 163 | 163 | 0 |1896 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1436.22/1436.28 c 1436s| 2280k|356690 | 30383k| 13.3 | 348M| 45 | - | 163 | 163 | 163 | 163 | 0 |1897 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1441.33/1441.32 c 1441s| 2290k|357092 | 30481k| 13.3 | 349M| 45 | - | 163 | 164 | 163 | 163 | 0 |1902 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1446.62/1446.61 c 1447s| 2300k|357936 | 30592k| 13.3 | 350M| 45 | 11 | 163 | 164 | 163 | 163 | 0 |1902 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1451.82/1451.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.82/1451.89 c 1452s| 2310k|358680 | 30700k| 13.3 | 351M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1906 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1457.03/1457.04 c 1457s| 2320k|359326 | 30806k| 13.3 | 352M| 45 | - | 163 | 163 | 163 | 163 | 0 |1908 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1462.53/1462.55 c 1463s| 2330k|360302 | 30921k| 13.3 | 353M| 45 | 21 | 163 | 163 | 163 | 163 | 0 |1909 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1467.73/1467.72 c 1468s| 2340k|360864 | 31026k| 13.3 | 353M| 45 | - | 163 | 165 | 163 | 163 | 0 |1913 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1473.03/1473.06 c 1473s| 2350k|361790 | 31137k| 13.3 | 355M| 45 | 14 | 163 | 165 | 163 | 163 | 0 |1914 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1478.33/1478.39 c 1478s| 2360k|362644 | 31249k| 13.2 | 356M| 45 | - | 163 | 165 | 163 | 163 | 0 |1920 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1483.53/1483.53 c 1484s| 2370k|363238 | 31353k| 13.2 | 356M| 45 | - | 163 | 166 | 163 | 163 | 0 |1924 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1488.63/1488.69 c 1489s| 2380k|363862 | 31457k| 13.2 | 357M| 45 | 11 | 163 | 170 | 163 | 163 | 0 |1930 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1493.84/1493.89 c 1494s| 2390k|364566 | 31563k| 13.2 | 358M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1937 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1499.03/1499.00 c 1499s| 2400k|365180 | 31662k| 13.2 | 359M| 45 | - | 163 | 167 | 163 | 163 | 0 |1942 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1504.23/1504.20 c 1504s| 2410k|365908 | 31773k| 13.2 | 360M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1943 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1509.73/1509.77 c 1510s| 2420k|366880 | 31893k| 13.2 | 361M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1947 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1515.03/1515.08 c 1515s| 2430k|367664 | 32003k| 13.2 | 362M| 45 | 16 | 163 | 163 | 163 | 163 | 0 |1958 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1520.93/1520.90 c 1521s| 2440k|368774 | 32130k| 13.2 | 363M| 45 | - | 163 | 173 | 163 | 163 | 0 |1969 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1527.13/1527.12 c 1527s| 2450k|370218 | 32265k| 13.2 | 364M| 45 | 21 | 163 | 168 | 163 | 163 | 0 |1973 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1532.53/1532.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.53/1532.54 c 1533s| 2460k|371076 | 32380k| 13.2 | 365M| 45 | 6 | 163 | 173 | 163 | 163 | 0 |1981 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1537.93/1537.90 c 1538s| 2470k|372014 | 32495k| 13.2 | 367M| 45 | 6 | 163 | 175 | 163 | 163 | 0 |1990 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1543.63/1543.61 c 1544s| 2480k|373446 | 32618k| 13.2 | 368M| 45 | 10 | 163 | 170 | 163 | 163 | 0 |2001 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1549.33/1549.34 c 1549s| 2490k|374990 | 32740k| 13.1 | 369M| 45 | 17 | 163 | 171 | 163 | 163 | 0 |2009 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1555.13/1555.19 c 1555s| 2500k|376526 | 32864k| 13.1 | 371M| 45 | 13 | 163 | 174 | 163 | 163 | 0 |2024 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1560.63/1560.68 c 1561s| 2510k|377718 | 32978k| 13.1 | 372M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |2038 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1565.73/1565.78 c 1566s| 2520k|378476 | 33078k| 13.1 | 373M| 45 | - | 163 | 165 | 163 | 163 | 0 |2050 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1570.93/1570.91 c 1571s| 2530k|378914 | 33185k| 13.1 | 374M| 45 | - | 163 | 163 | 163 | 163 | 0 |2051 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1575.93/1575.90 c 1576s| 2540k|379276 | 33288k| 13.1 | 374M| 45 | - | 163 | 163 | 163 | 163 | 0 |2051 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1581.03/1581.02 c 1581s| 2550k|379826 | 33391k| 13.1 | 375M| 45 | 10 | 163 | 169 | 163 | 163 | 0 |2057 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1586.13/1586.17 c 1586s| 2560k|380230 | 33494k| 13.1 | 376M| 45 | 14 | 163 | 166 | 163 | 163 | 0 |2063 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1591.53/1591.53 c 1592s| 2570k|381086 | 33608k| 13.1 | 377M| 45 | - | 163 | 170 | 163 | 163 | 0 |2072 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1596.53/1596.52 c 1597s| 2580k|381346 | 33706k| 13.1 | 377M| 45 | 15 | 163 | 168 | 163 | 163 | 0 |2076 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1601.93/1601.96 c 1602s| 2590k|382202 | 33822k| 13.1 | 378M| 45 | 17 | 163 | 166 | 163 | 163 | 0 |2081 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1607.03/1607.08 c 1607s| 2600k|382680 | 33926k| 13.0 | 379M| 45 | - | 163 | 163 | 163 | 163 | 0 |2084 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1612.03/1612.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.03/1612.06 c 1612s| 2610k|382754 | 34025k| 13.0 | 380M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |2089 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1617.04/1617.07 c 1617s| 2620k|382916 | 34127k| 13.0 | 380M| 45 | - | 163 | 163 | 163 | 163 | 0 |2089 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1622.23/1622.28 c 1622s| 2630k|383478 | 34235k| 13.0 | 381M| 45 | - | 163 | 163 | 163 | 163 | 0 |2093 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1627.33/1627.36 c 1627s| 2640k|383694 | 34342k| 13.0 | 381M| 45 | - | 163 | 164 | 163 | 163 | 0 |2095 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1632.44/1632.46 c 1632s| 2650k|384080 | 34444k| 13.0 | 382M| 45 | - | 163 | 166 | 163 | 163 | 0 |2097 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1637.13/1637.12 c 1637s| 2660k|383932 | 34532k| 13.0 | 382M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |2099 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1642.04/1642.05 c 1642s| 2670k|383946 | 34629k| 13.0 | 382M| 45 | 16 | 163 | 163 | 163 | 163 | 0 |2102 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1646.93/1646.97 c 1647s| 2680k|384142 | 34726k| 13.0 | 383M| 45 | 20 | 163 | 164 | 163 | 163 | 0 |2105 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1651.73/1651.78 c 1652s| 2690k|384176 | 34821k| 12.9 | 383M| 45 | - | 163 | 163 | 163 | 163 | 0 |2105 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1656.73/1656.75 c 1657s| 2700k|384186 | 34922k| 12.9 | 384M| 45 | - | 163 | 163 | 163 | 163 | 0 |2107 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1661.83/1661.81 c 1662s| 2710k|384246 | 35023k| 12.9 | 384M| 45 | 16 | 163 | 163 | 163 | 163 | 0 |2107 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1666.73/1666.75 c 1667s| 2720k|384376 | 35120k| 12.9 | 384M| 45 | - | 163 | 163 | 163 | 163 | 0 |2108 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1671.83/1671.89 c 1672s| 2730k|384722 | 35223k| 12.9 | 385M| 45 | 19 | 163 | 164 | 163 | 163 | 0 |2110 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1677.03/1677.01 c 1677s| 2740k|384912 | 35328k| 12.9 | 386M| 45 | 21 | 163 | 165 | 163 | 163 | 0 |2112 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1682.03/1682.03 c 1682s| 2750k|385022 | 35425k| 12.9 | 386M| 45 | - | 163 | 166 | 163 | 163 | 0 |2117 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1687.23/1687.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.23/1687.29 c 1687s| 2760k|385634 | 35536k| 12.9 | 387M| 45 | 18 | 163 | 167 | 163 | 163 | 0 |2121 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1692.33/1692.36 c 1692s| 2770k|386138 | 35642k| 12.9 | 387M| 45 | - | 163 | 165 | 163 | 163 | 0 |2123 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1697.64/1697.62 c 1698s| 2780k|386684 | 35751k| 12.9 | 388M| 45 | - | 163 | 167 | 163 | 163 | 0 |2129 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1702.54/1702.53 c 1703s| 2790k|386686 | 35851k| 12.9 | 389M| 45 | - | 163 | 163 | 163 | 163 | 0 |2130 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1707.64/1707.69 c 1708s| 2800k|386750 | 35955k| 12.8 | 389M| 45 | - | 163 | 165 | 163 | 163 | 0 |2134 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1712.64/1712.67 c 1713s| 2810k|386872 | 36054k| 12.8 | 389M| 45 | 13 | 163 | 165 | 163 | 163 | 0 |2137 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1717.54/1717.56 c 1718s| 2820k|387004 | 36151k| 12.8 | 390M| 45 | - | 163 | 164 | 163 | 163 | 0 |2142 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1722.43/1722.41 c 1722s| 2830k|386936 | 36245k| 12.8 | 390M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |2143 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1727.54/1727.55 c 1728s| 2840k|387400 | 36349k| 12.8 | 391M| 45 | 14 | 163 | 163 | 163 | 163 | 0 |2145 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1733.03/1733.02 c 1733s| 2850k|388460 | 36465k| 12.8 | 392M| 45 | 15 | 163 | 165 | 163 | 163 | 0 |2153 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1738.33/1738.32 c 1738s| 2860k|388910 | 36577k| 12.8 | 393M| 45 | - | 163 | 165 | 163 | 163 | 0 |2155 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1743.54/1743.54 c 1744s| 2870k|389194 | 36685k| 12.8 | 393M| 45 | - | 163 | 164 | 163 | 163 | 0 |2163 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1748.54/1748.53 c 1749s| 2880k|389408 | 36784k| 12.8 | 394M| 45 | - | 163 | 164 | 163 | 163 | 0 |2166 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1753.54/1753.52 c 1754s| 2890k|389516 | 36886k| 12.8 | 394M| 45 | 12 | 163 | 163 | 163 | 163 | 0 |2166 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1758.54/1758.53 c 1759s| 2900k|389910 | 36985k| 12.8 | 395M| 45 | 8 | 163 | 169 | 163 | 163 | 0 |2173 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1763.73/1763.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.73/1763.76 c 1764s| 2910k|390294 | 37090k| 12.7 | 395M| 45 | 16 | 163 | 166 | 163 | 163 | 0 |2179 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1769.44/1769.40 c 1769s| 2920k|391312 | 37207k| 12.7 | 396M| 45 | - | 163 | 170 | 163 | 163 | 0 |2194 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1774.34/1774.36 c 1774s| 2930k|391100 | 37308k| 12.7 | 396M| 45 | 10 | 163 | 165 | 163 | 163 | 0 |2197 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1779.43/1779.40 c 1779s| 2940k|391198 | 37411k| 12.7 | 397M| 45 | 18 | 163 | 166 | 163 | 163 | 0 |2202 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1784.64/1784.63 c 1785s| 2950k|391720 | 37517k| 12.7 | 398M| 45 | 13 | 163 | 166 | 163 | 163 | 0 |2207 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1789.44/1789.49 c 1789s| 2960k|391824 | 37613k| 12.7 | 398M| 45 | - | 163 | 164 | 163 | 163 | 0 |2212 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1794.44/1794.49 c 1794s| 2970k|392248 | 37711k| 12.7 | 399M| 45 | 12 | 163 | 165 | 163 | 163 | 0 |2217 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 2974818
1797.04/1797.00 c Primal Bound : +1.53600000000000e+04 (352 solutions)
1797.04/1797.00 c Dual Bound : +1.48480000000000e+04
1797.04/1797.00 c Gap : 3.45 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1797.04/1797.00 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1797.04/1797.00 v -x118 -x117 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1797.04/1797.00 v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1797.04/1797.00 v x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x44
1797.04/1797.00 v -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x33 x32 x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x22 -x21 x20 -x19 x18 -x17 x16
1797.04/1797.00 v -x15 -x14 -x13 -x11 x10 -x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x163 -x162 x161 -x116 -x45 -x34 -x23 -x12 x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.03 (included in solving)
1797.04/1797.00 c reading : 0.00 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3488926-1307760690.opb
1797.04/1797.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 73 initial, 73 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488926-1307760690.opb
1797.04/1797.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 163 initial, 256 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.01 0 0 0 0 0 10 100 100 200
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 0 0 0 0 0 0 0 10 10
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 1694923 0 358 0 0 12433 0 0 3368694
1797.04/1797.00 c knapsack : 63 1 4677283 0 0 355 520 2065 8595 0 0 0
1797.04/1797.00 c setppc : 100 1 4503297 0 0 354 504 0 0 0 0 0
1797.04/1797.00 c linear : 0+ 1 13030 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c logicor : 0+ 0 372010 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 0 354 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 30.60 0.00 0.00 30.60 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 274.05 0.03 274.02 0.00 0.00 0.01 0.00
1797.04/1797.00 c setppc : 5.06 0.00 5.05 0.00 0.00 0.00 0.00
1797.04/1797.00 c linear : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 0.36 0.00 0.36 0.00 0.00 0.00 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 2 0 0 0
1797.04/1797.00 c pseudoobj : 4677778 26271 201 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.95 0.95 0.00
1797.04/1797.00 c rootredcost : 0.90 0.90 0.00
1797.04/1797.00 c pseudoobj : 17.81 17.75 0.07
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.09 2264 2219 2369 35.0 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.00 1 1 1 32.0 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 1151 27.1 - - -
1797.04/1797.00 c applied locally : - - - 1068 40.7 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.04/1797.00 c redcost : 16.39 2390362 0 3694941 0 0
1797.04/1797.00 c impliedbounds : 0.00 2 0 0 0 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.00 2 0 0 0 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.00 2 0 0 0 0
1797.04/1797.00 c cmir : 0.00 2 0 0 0 0
1797.04/1797.00 c flowcover : 0.11 2 0 0 0 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.03 1 0 0 0 40
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 29.74 1694923 0 12433 0 0 3368694
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c oneopt : 0.63 6 1
1797.04/1797.00 c crossover : 2.06 17 4
1797.04/1797.00 c rootsoldiving : 9.08 1538 2
1797.04/1797.00 c linesearchdiving : 22.15 8012 1
1797.04/1797.00 c guideddiving : 59.50 8012 0
1797.04/1797.00 c pscostdiving : 49.31 8013 24
1797.04/1797.00 c veclendiving : 29.23 8013 4
1797.04/1797.00 c coefdiving : 43.89 8013 14
1797.04/1797.00 c trivial : 0.00 2 0
1797.04/1797.00 c shiftandpropagate: 0.01 1 1
1797.04/1797.00 c simplerounding : 4.28 1694923 5
1797.04/1797.00 c zirounding : 0.94 12801 256
1797.04/1797.00 c rounding : 2.03 62937 1
1797.04/1797.00 c shifting : 1.10 28819 26
1797.04/1797.00 c intshifting : 0.04 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c feaspump : 0.05 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c fracdiving : 48.67 8013 6
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c objpscostdiving : 8.46 642 6
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.41 1 1
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.42 0 0
1797.04/1797.00 c trysol : 0.64 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.00 c dual LP : 1011.42 2985394 31978528 10.71 31617.47
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 187.95 966067 5781795 5.98 30762.52
1797.04/1797.00 c strong branching : 17.28 37431 336976 9.00 19506.21
1797.04/1797.00 c (at root node) : - 10 594 59.40 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 2974818
1797.04/1797.00 c nodes (total) : 2974818
1797.04/1797.00 c nodes left : 392340
1797.04/1797.00 c max depth : 45
1797.04/1797.00 c max depth (total): 45
1797.04/1797.00 c backtracks : 608358 (20.5%)
1797.04/1797.00 c delayed cutoffs : 0
1797.04/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.00 c avg switch length: 7.15
1797.04/1797.00 c switching time : 71.90
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 352 (7 improvements)
1797.04/1797.00 c First Solution : +2.04800000000000e+04 (in run 1, after 1 nodes, 0.04 seconds, depth 56, found by <shiftandpropagate>)
1797.04/1797.00 c Primal Bound : +1.53600000000000e+04 (in run 1, after 10194 nodes, 24.01 seconds, depth 27, found by <veclendiving>)
1797.04/1797.00 c Dual Bound : +1.48480000000000e+04
1797.04/1797.00 c Gap : 3.45 %
1797.04/1797.00 c Root Dual Bound : +1.33120000000000e+04
1797.04/1797.00 c Root Iterations : 89
1798.04/1798.05 c Time complete: 1798.09.
OK 15360
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-3488926-1307760690/watcher-3488926-1307760690 -o /tmp/evaluation-result-3488926-1307760690/solver-3488926-1307760690 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488926-1307760690.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: 3.03 3.88 4.38 3/178 30145 /proc/meminfo: memFree=31372028/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=12696 CPUtime=0 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 2168 0 0 0 0 0 0 0 25 0 1 0 887668836 13000704 2122 33554432000 4194304 9016284 140734464214032 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/30145/statm: 3174 2122 353 1178 0 1992 0 [startup+0.0213769 s] /proc/loadavg: 3.03 3.88 4.38 3/178 30145 /proc/meminfo: memFree=31372028/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=18016 CPUtime=0.01 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 3551 0 0 0 1 0 0 0 25 0 1 0 887668836 18448384 3248 33554432000 4194304 9016284 140734464214032 18446744073709551615 4935520 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 4504 3248 501 1178 0 3322 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 18016 [startup+0.100363 s] /proc/loadavg: 3.03 3.88 4.38 3/178 30145 /proc/meminfo: memFree=31372028/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=23208 CPUtime=0.09 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 5027 0 0 0 9 0 0 0 25 0 1 0 887668836 23764992 4701 33554432000 4194304 9016284 140734464214032 18446744073709551615 5174355 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 5802 4701 660 1178 0 4620 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23208 [startup+0.300327 s] /proc/loadavg: 3.03 3.88 4.38 3/178 30145 /proc/meminfo: memFree=31372028/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=38072 CPUtime=0.29 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 9114 0 0 0 28 1 0 0 25 0 1 0 887668836 38985728 8072 33554432000 4194304 9016284 140734464214032 18446744073709551615 4905897 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 9518 8072 703 1178 0 8336 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38072 [startup+0.700256 s] /proc/loadavg: 3.03 3.88 4.38 3/178 30145 /proc/meminfo: memFree=31372028/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=34744 CPUtime=0.69 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 9184 0 0 0 63 6 0 0 25 0 1 0 887668836 35577856 7594 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 8686 7594 705 1178 0 7504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34744 [startup+1.50012 s] /proc/loadavg: 3.03 3.88 4.38 4/179 30146 /proc/meminfo: memFree=31344020/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=34744 CPUtime=1.49 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 9184 0 0 0 134 15 0 0 25 0 1 0 887668836 35577856 7594 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 8686 7594 705 1178 0 7504 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34744 [startup+3.10083 s] /proc/loadavg: 3.03 3.88 4.38 4/179 30146 /proc/meminfo: memFree=31341776/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=34744 CPUtime=3.09 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 9927 0 0 0 276 33 0 0 25 0 1 0 887668836 35577856 7605 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 8686 7605 705 1178 0 7504 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34744 [startup+6.30027 s] /proc/loadavg: 3.03 3.86 4.37 4/179 30146 /proc/meminfo: memFree=31343452/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=34744 CPUtime=6.29 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 9931 0 0 0 558 71 0 0 25 0 1 0 887668836 35577856 7609 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 8686 7609 705 1178 0 7504 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34744 [startup+12.7001 s] /proc/loadavg: 3.03 3.85 4.36 4/179 30146 /proc/meminfo: memFree=31343692/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=34744 CPUtime=12.69 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 11254 0 0 0 1124 145 0 0 25 0 1 0 887668836 35577856 7621 33554432000 4194304 9016284 140734464214032 18446744073709551615 7219360 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 8686 7621 705 1178 0 7504 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34744 [startup+25.5009 s] /proc/loadavg: 3.02 3.81 4.34 4/179 30147 /proc/meminfo: memFree=31343900/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=34744 CPUtime=25.49 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 13139 0 0 0 2249 300 0 0 25 0 1 0 887668836 35577856 7637 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 8686 7637 705 1178 0 7504 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34744 [startup+51.1004 s] /proc/loadavg: 3.01 3.74 4.30 4/179 30147 /proc/meminfo: memFree=31342608/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=37456 CPUtime=51.09 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 25078 0 0 0 4506 603 0 0 25 0 1 0 887668836 38354944 8271 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 9364 8271 706 1178 0 8182 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 37456 [startup+102.306 s] /proc/loadavg: 3.00 3.62 4.23 4/179 30149 /proc/meminfo: memFree=31321380/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=56348 CPUtime=102.3 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 38584 0 0 0 9020 1210 0 0 25 0 1 0 887668836 57700352 13116 33554432000 4194304 9016284 140734464214032 18446744073709551615 6523746 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 14087 13116 706 1178 0 12905 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 56348 [startup+162.301 s] /proc/loadavg: 3.00 3.51 4.15 4/179 30150 /proc/meminfo: memFree=31296372/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=82496 CPUtime=162.3 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 47525 0 0 0 14322 1908 0 0 25 0 1 0 887668836 84475904 19239 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 20624 19239 706 1178 0 19442 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 82496 [startup+222.3 s] /proc/loadavg: 3.00 3.41 4.08 4/179 30152 /proc/meminfo: memFree=31273576/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=104724 CPUtime=222.3 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 56054 0 0 0 19629 2601 0 0 25 0 1 0 887668836 107237376 24912 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 26181 24912 706 1178 0 24999 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 104724 [startup+282.301 s] /proc/loadavg: 3.00 3.33 4.01 4/179 30154 /proc/meminfo: memFree=31248956/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=127044 CPUtime=282.3 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 61774 0 0 0 24947 3283 0 0 25 0 1 0 887668836 130093056 30630 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 31761 30630 706 1178 0 30579 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 127044 [startup+342.301 s] /proc/loadavg: 3.00 3.27 3.94 4/179 30155 /proc/meminfo: memFree=31226204/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=147144 CPUtime=342.3 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 66898 0 0 0 30269 3961 0 0 25 0 1 0 887668836 150675456 35740 33554432000 4194304 9016284 140734464214032 18446744073709551615 5155073 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 36786 35740 706 1178 0 35604 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 147144 [startup+402.3 s] /proc/loadavg: 3.00 3.22 3.88 4/179 30157 /proc/meminfo: memFree=31201072/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=167424 CPUtime=402.3 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 74904 0 0 0 35617 4613 0 0 25 0 1 0 887668836 171442176 40884 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 41856 40884 706 1178 0 40674 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 167424 [startup+462.301 s] /proc/loadavg: 3.00 3.18 3.82 4/179 30158 /proc/meminfo: memFree=31180436/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=190360 CPUtime=462.3 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 79693 0 0 0 40957 5273 0 0 25 0 1 0 887668836 194928640 45673 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 47590 45673 706 1178 0 46408 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 190360 [startup+522.3 s] /proc/loadavg: 3.00 3.14 3.77 4/179 30160 /proc/meminfo: memFree=31160536/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=206976 CPUtime=522.3 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 83953 0 0 0 46332 5898 0 0 25 0 1 0 887668836 211943424 49933 33554432000 4194304 9016284 140734464214032 18446744073709551615 6776756 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 51744 49933 706 1178 0 50562 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 206976 [startup+582.301 s] /proc/loadavg: 3.00 3.11 3.72 4/179 30171 /proc/meminfo: memFree=31139916/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=225304 CPUtime=582.31 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 88568 0 0 0 51704 6527 0 0 25 0 1 0 887668836 230711296 54548 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 56326 54548 706 1178 0 55144 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 225304 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30999868/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=346280 CPUtime=1122.32 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 124978 0 0 0 100324 11908 0 0 25 0 1 0 887668836 354590720 85191 33554432000 4194304 9016284 140734464214032 18446744073709551615 5157348 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 86570 85191 706 1178 0 85388 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 346280 [startup+1182.3 s] /proc/loadavg: 3.00 3.02 3.36 4/179 30190 /proc/meminfo: memFree=30990988/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=353068 CPUtime=1182.32 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 126700 0 0 0 105730 12502 0 0 25 0 1 0 887668836 361541632 86913 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 88267 86913 706 1178 0 87085 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 353068 [startup+1242.3 s] /proc/loadavg: 3.00 3.01 3.33 4/179 30191 /proc/meminfo: memFree=30979496/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=359788 CPUtime=1242.32 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 128370 0 0 0 111118 13114 0 0 25 0 1 0 887668836 368422912 88583 33554432000 4194304 9016284 140734464214032 18446744073709551615 5156909 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 89947 88583 706 1178 0 88765 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 359788 [startup+1302.3 s] /proc/loadavg: 3.00 3.00 3.31 4/179 30193 /proc/meminfo: memFree=30970132/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=366956 CPUtime=1302.33 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 130188 0 0 0 116494 13739 0 0 25 0 1 0 887668836 375762944 90400 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 91739 90400 706 1178 0 90557 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 366956 [startup+1362.3 s] /proc/loadavg: 3.00 3.00 3.29 4/179 30194 /proc/meminfo: memFree=30957516/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=372268 CPUtime=1362.32 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 131541 0 0 0 121870 14362 0 0 25 0 1 0 887668836 381202432 91744 33554432000 4194304 9016284 140734464214032 18446744073709551615 5156871 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 93067 91744 706 1178 0 91885 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 372268 [startup+1422.31 s] /proc/loadavg: 3.00 3.00 3.27 4/179 30196 /proc/meminfo: memFree=30945896/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=381804 CPUtime=1422.33 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 133928 0 0 0 127258 14975 0 0 25 0 1 0 887668836 390967296 94131 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 95451 94131 706 1178 0 94269 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 381804 [startup+1482.3 s] /proc/loadavg: 3.00 3.00 3.25 4/179 30198 /proc/meminfo: memFree=30937016/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=388464 CPUtime=1482.33 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 135647 0 0 0 132630 15603 0 0 25 0 1 0 887668836 397787136 95850 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 97116 95850 706 1178 0 95934 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 388464 [startup+1542.3 s] /proc/loadavg: 3.00 3.00 3.23 4/179 30199 /proc/meminfo: memFree=30920924/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=401712 CPUtime=1542.33 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 142002 0 0 0 137982 16251 0 0 25 0 1 0 887668836 411353088 99205 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 100428 99205 706 1178 0 99246 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 401712 [startup+1602.3 s] /proc/loadavg: 3.05 3.01 3.22 4/179 30239 /proc/meminfo: memFree=29712220/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=411892 CPUtime=1602.33 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 144554 0 0 0 143217 17016 0 0 25 0 1 0 887668836 421777408 101750 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 102973 101750 706 1178 0 101791 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 411892 [startup+1662.3 s] /proc/loadavg: 3.02 3.01 3.20 4/179 30240 /proc/meminfo: memFree=29706704/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=415968 CPUtime=1662.33 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 145588 0 0 0 148456 17777 0 0 25 0 1 0 887668836 425951232 102784 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 103992 102784 706 1178 0 102810 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 415968 [startup+1722.3 s] /proc/loadavg: 3.00 3.00 3.18 4/179 30242 /proc/meminfo: memFree=29698892/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=423480 CPUtime=1722.33 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 147460 0 0 0 153703 18530 0 0 25 0 1 0 887668836 433643520 104655 33554432000 4194304 9016284 140734464214032 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 105870 104655 706 1178 0 104688 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 423480 [startup+1782.3 s] /proc/loadavg: 3.00 3.00 3.17 4/179 30244 /proc/meminfo: memFree=29680856/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=428920 CPUtime=1782.33 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 148853 0 0 0 158922 19311 0 0 25 0 1 0 887668836 439214080 106048 33554432000 4194304 9016284 140734464214032 18446744073709551615 7213844 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 107230 106048 706 1178 0 106048 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 428920 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 3.00 3.00 3.17 4/179 30244 /proc/meminfo: memFree=29589468/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=430484 CPUtime=1785.53 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 149241 0 0 0 159196 19357 0 0 25 0 1 0 887668836 440815616 106436 33554432000 4194304 9016284 140734464214032 18446744073709551615 7205434 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 107621 106436 706 1178 0 106439 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 430484 [startup+1791.91 s] /proc/loadavg: 3.00 3.00 3.17 4/179 30244 /proc/meminfo: memFree=29588344/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=431172 CPUtime=1791.94 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 149404 0 0 0 159757 19437 0 0 25 0 1 0 887668836 441520128 106599 33554432000 4194304 9016284 140734464214032 18446744073709551615 18446744073699065959 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 107793 106599 706 1178 0 106611 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 431172 [startup+1795.1 s] /proc/loadavg: 3.00 3.00 3.17 4/179 30244 /proc/meminfo: memFree=29588344/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=431172 CPUtime=1795.14 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 149419 0 0 0 160043 19471 0 0 25 0 1 0 887668836 441520128 106614 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 107793 106614 706 1178 0 106611 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 431172 [startup+1796.7 s] /proc/loadavg: 3.00 3.00 3.17 4/179 30244 /proc/meminfo: memFree=29588344/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=431172 CPUtime=1796.73 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 149427 0 0 0 160184 19489 0 0 25 0 1 0 887668836 441520128 106622 33554432000 4194304 9016284 140734464214032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30145/statm: 107793 106622 706 1178 0 106611 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 431172 [startup+1797.5 s] /proc/loadavg: 3.00 3.00 3.17 4/179 30244 /proc/meminfo: memFree=29588220/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=431172 CPUtime=1797.54 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 149429 0 0 0 160260 19494 0 0 25 0 1 0 887668836 441520128 106624 33554432000 4194304 9016284 140734464214032 18446744073709551615 6779402 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/30145/statm: 107793 106624 708 1178 0 106611 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 431172 [startup+1797.9 s] /proc/loadavg: 3.00 3.00 3.17 4/179 30244 /proc/meminfo: memFree=29588220/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=431172 CPUtime=1797.94 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 149429 0 0 0 160300 19494 0 0 25 0 1 0 887668836 441520128 106624 33554432000 4194304 9016284 140734464214032 18446744073709551615 6812671 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/30145/statm: 107793 106624 708 1178 0 106611 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 431172 [startup+1798 s] /proc/loadavg: 3.00 3.00 3.17 4/179 30244 /proc/meminfo: memFree=29588220/32950928 swapFree=67055156/67111528 [pid=30145] ppid=30143 vsize=431172 CPUtime=1798.04 cores=1,3,5,7 /proc/30145/stat : 30145 (scip-2.0.1.4b_2) R 30143 30145 30017 0 -1 4202496 149429 0 0 0 160310 19494 0 0 25 0 1 0 887668836 441520128 106624 33554432000 4194304 9016284 140734464214032 18446744073709551615 6817550 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/30145/statm: 107793 106624 708 1178 0 106611 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 431172 Child status: 0 Real time (s): 1798.05 CPU time (s): 1798.1 CPU user time (s): 1603.14 CPU system time (s): 194.96 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 431172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1603.14 system time used= 194.96 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 149434 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= 9 involuntary context switches= 1638 runsolver used 2.38564 second user time and 5.80512 second system time The end
Begin job on node123 at 2011-06-11 04:51:30 IDJOB=3488926 IDBENCH=1848 IDSOLVER=1979 FILE ID=node123/3488926-1307760690 RUNJOBID= node123-1307760454-30036 PBS_JOBID= 13550870 Free space on /tmp= 74160 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.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-3488926-1307760690/watcher-3488926-1307760690 -o /tmp/evaluation-result-3488926-1307760690/solver-3488926-1307760690 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488926-1307760690.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED=1687386000 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: 31372456 kB Buffers: 259028 kB Cached: 900996 kB SwapCached: 10356 kB Active: 684248 kB Inactive: 701892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31372456 kB SwapTotal: 67111528 kB SwapFree: 67055156 kB Dirty: 16792 kB Writeback: 0 kB AnonPages: 223368 kB Mapped: 15892 kB Slab: 126524 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 832584 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= 74128 MiB End job on node123 at 2011-06-11 05:21:29