Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | 15360 | 1797.89 | 1798.22 |
| 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 | 1352.86 |
| 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-3731084-1338694212.opb>
0.00/0.01 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.01 c problem read
0.00/0.01 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.00/0.03 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.00/0.04 c (0.0s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/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.00/0.04 c 200 implications, 0 cliques
0.00/0.04 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 163 constraints
0.00/0.04 c 63 constraints of type <knapsack>
0.00/0.04 c 100 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 o 20480
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c T 0.1s| 1 | 0 | 0 | - |1691k| 0 | - | 163 | 163 | 163 | 163 | 0 | 0 | 0 | -- | 2.048000e+04 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 89 | - |1638k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 2.048000e+04 | 53.85%
0.00/0.06 o 19456
0.00/0.06 c R 0.1s| 1 | 0 | 89 | - |1641k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.945600e+04 | 46.15%
0.00/0.06 o 17408
0.00/0.06 c b 0.1s| 1 | 0 | 89 | - |1645k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
0.59/0.62 o 16384
0.59/0.62 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.59/0.63 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.68/0.71 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.49/2.52 o 16384
2.49/2.52 c z 2.5s| 227 | 228 | 10597 | 46.5 |2031k| 29 | 31 | 163 | 207 | 163 | 163 | 0 | 4 | 529 | 1.408000e+04 | 1.638400e+04 | 16.36%
19.29/19.39 o 15872
19.29/19.39 c p19.4s| 8038 | 7249 |430750 | 53.6 |5140k| 37 | - | 163 | 254 | 163 | 163 | 0 | 78 |2058 | 1.420800e+04 | 1.587200e+04 | 11.71%
23.88/23.99 c 24.0s| 10000 | 8863 |533930 | 53.4 |6050k| 37 | 8 | 163 | 220 | 163 | 163 | 0 | 90 |2331 | 1.420800e+04 | 1.587200e+04 | 11.71%
24.29/24.32 o 15360
24.29/24.32 c v24.3s| 10194 | 8252 |542319 | 53.2 |5765k| 37 | - | 163 | 219 | 163 | 163 | 0 | 91 |2359 | 1.420800e+04 | 1.536000e+04 | 8.11%
40.88/40.95 c 40.9s| 20000 | 14744 |955308 | 47.8 |9932k| 37 | 18 | 163 | 198 | 163 | 163 | 0 | 131 |3564 | 1.420800e+04 | 1.536000e+04 | 8.11%
56.68/56.74 c 56.7s| 30000 | 21420 | 1355k| 45.2 | 14M| 37 | 25 | 163 | 190 | 163 | 163 | 0 | 168 |4558 | 1.420800e+04 | 1.536000e+04 | 8.11%
69.78/69.85 c 69.9s| 40000 | 27638 | 1678k| 42.0 | 18M| 37 | 21 | 163 | 184 | 163 | 163 | 0 | 195 |5264 | 1.428945e+04 | 1.536000e+04 | 7.49%
81.78/81.89 c 81.9s| 50000 | 34126 | 1961k| 39.2 | 22M| 37 | 18 | 163 | 180 | 163 | 163 | 0 | 220 |5867 | 1.433600e+04 | 1.536000e+04 | 7.14%
93.28/93.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.28/93.34 c 93.3s| 60000 | 40550 | 2231k| 37.2 | 26M| 39 | 23 | 163 | 172 | 163 | 163 | 0 | 230 |6409 | 1.433600e+04 | 1.536000e+04 | 7.14%
104.97/105.08 c 105s| 70000 | 47072 | 2511k| 35.9 | 30M| 39 | 17 | 163 | 171 | 163 | 163 | 0 | 244 |6868 | 1.433600e+04 | 1.536000e+04 | 7.14%
115.57/115.66 c 116s| 80000 | 52888 | 2756k| 34.5 | 34M| 39 | 17 | 163 | 171 | 163 | 163 | 0 | 268 |7319 | 1.433600e+04 | 1.536000e+04 | 7.14%
126.15/126.23 c 126s| 90000 | 58662 | 3009k| 33.4 | 38M| 41 | - | 163 | 174 | 163 | 163 | 0 | 280 |7739 | 1.433600e+04 | 1.536000e+04 | 7.14%
135.96/136.03 c 136s|100000 | 63790 | 3243k| 32.4 | 41M| 41 | 11 | 163 | 173 | 163 | 163 | 0 | 290 |8148 | 1.433600e+04 | 1.536000e+04 | 7.14%
145.55/145.64 c 146s|110000 | 68616 | 3470k| 31.6 | 45M| 41 | 25 | 163 | 171 | 163 | 163 | 0 | 307 |8532 | 1.433600e+04 | 1.536000e+04 | 7.14%
155.35/155.48 c 155s|120000 | 74208 | 3699k| 30.8 | 48M| 41 | 21 | 163 | 179 | 163 | 163 | 0 | 322 |8953 | 1.433600e+04 | 1.536000e+04 | 7.14%
164.75/164.82 c 165s|130000 | 78922 | 3922k| 30.2 | 52M| 42 | - | 163 | 172 | 163 | 163 | 0 | 342 |9283 | 1.433600e+04 | 1.536000e+04 | 7.14%
173.75/173.86 c 174s|140000 | 83464 | 4136k| 29.5 | 55M| 42 | 22 | 163 | 173 | 163 | 163 | 0 | 353 |9645 | 1.433600e+04 | 1.536000e+04 | 7.14%
183.45/183.54 c 184s|150000 | 88764 | 4369k| 29.1 | 58M| 42 | 13 | 163 | 181 | 163 | 163 | 0 | 377 |9941 | 1.433600e+04 | 1.536000e+04 | 7.14%
192.85/192.90 c 193s|160000 | 93776 | 4589k| 28.7 | 62M| 42 | 17 | 163 | 183 | 163 | 163 | 0 | 400 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
203.05/203.19 c 203s|170000 | 99066 | 4842k| 28.5 | 65M| 42 | 18 | 163 | 179 | 163 | 163 | 0 | 411 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
212.85/212.91 c 213s|180000 |104272 | 5074k| 28.2 | 69M| 42 | 13 | 163 | 175 | 163 | 163 | 0 | 430 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
222.05/222.20 c 222s|190000 |109386 | 5293k| 27.9 | 72M| 42 | - | 163 | 173 | 163 | 163 | 0 | 439 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
232.05/232.11 c 232s|200000 |115162 | 5528k| 27.6 | 76M| 42 | 22 | 163 | 181 | 163 | 163 | 0 | 464 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
241.34/241.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.34/241.43 c 241s|210000 |120280 | 5750k| 27.4 | 79M| 42 | 22 | 163 | 174 | 163 | 163 | 0 | 474 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
250.54/250.64 c 251s|220000 |125438 | 5970k| 27.1 | 83M| 42 | 21 | 163 | 174 | 163 | 163 | 0 | 481 | 12k| 1.435927e+04 | 1.536000e+04 | 6.97%
258.64/258.79 c 259s|230000 |128804 | 6156k| 26.8 | 85M| 42 | - | 163 | 173 | 163 | 163 | 0 | 499 | 12k| 1.437867e+04 | 1.536000e+04 | 6.82%
266.73/266.89 c 267s|240000 |132330 | 6343k| 26.4 | 88M| 42 | 18 | 163 | 170 | 163 | 163 | 0 | 514 | 12k| 1.438720e+04 | 1.536000e+04 | 6.76%
275.34/275.45 c 275s|250000 |136114 | 6538k| 26.2 | 91M| 42 | - | 163 | 173 | 163 | 163 | 0 | 536 | 12k| 1.439289e+04 | 1.536000e+04 | 6.72%
283.44/283.50 c 283s|260000 |139670 | 6723k| 25.9 | 94M| 42 | 20 | 163 | 173 | 163 | 163 | 0 | 559 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
291.73/291.87 c 292s|270000 |143094 | 6915k| 25.6 | 97M| 42 | 22 | 163 | 177 | 163 | 163 | 0 | 584 | 13k| 1.440000e+04 | 1.536000e+04 | 6.67%
299.73/299.89 c 300s|280000 |146448 | 7095k| 25.3 | 99M| 43 | - | 163 | 175 | 163 | 163 | 0 | 604 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
307.93/308.05 c 308s|290000 |149736 | 7284k| 25.1 | 102M| 43 | 11 | 163 | 173 | 163 | 163 | 0 | 634 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
315.92/316.02 c 316s|300000 |152876 | 7463k| 24.9 | 105M| 43 | 16 | 163 | 177 | 163 | 163 | 0 | 653 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
323.63/323.77 c 324s|310000 |155950 | 7636k| 24.6 | 107M| 43 | 13 | 163 | 177 | 163 | 163 | 0 | 672 | 13k| 1.443200e+04 | 1.536000e+04 | 6.43%
331.52/331.68 c 332s|320000 |159074 | 7812k| 24.4 | 110M| 43 | - | 163 | 175 | 163 | 163 | 0 | 696 | 14k| 1.443840e+04 | 1.536000e+04 | 6.38%
339.12/339.26 c 339s|330000 |162090 | 7980k| 24.2 | 113M| 43 | 6 | 163 | 170 | 163 | 163 | 0 | 711 | 14k| 1.443840e+04 | 1.536000e+04 | 6.38%
346.72/346.87 c 347s|340000 |165108 | 8146k| 24.0 | 115M| 44 | 22 | 163 | 170 | 163 | 163 | 0 | 733 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
354.31/354.41 c 354s|350000 |167850 | 8311k| 23.7 | 117M| 44 | 18 | 163 | 174 | 163 | 163 | 0 | 750 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
361.72/361.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.72/361.86 c 362s|360000 |170756 | 8474k| 23.5 | 120M| 44 | 10 | 163 | 172 | 163 | 163 | 0 | 762 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
369.01/369.17 c 369s|370000 |173608 | 8632k| 23.3 | 122M| 44 | 12 | 163 | 166 | 163 | 163 | 0 | 772 | 15k| 1.446400e+04 | 1.536000e+04 | 6.19%
376.41/376.57 c 377s|380000 |176400 | 8793k| 23.1 | 125M| 44 | - | 163 | 171 | 163 | 163 | 0 | 785 | 15k| 1.446400e+04 | 1.536000e+04 | 6.19%
383.72/383.88 c 384s|390000 |179180 | 8953k| 23.0 | 127M| 44 | 11 | 163 | 168 | 163 | 163 | 0 | 808 | 15k| 1.447153e+04 | 1.536000e+04 | 6.14%
390.71/390.86 c 391s|400000 |181594 | 9106k| 22.8 | 129M| 44 | 13 | 163 | 175 | 163 | 163 | 0 | 825 | 15k| 1.448229e+04 | 1.536000e+04 | 6.06%
397.82/397.93 c 398s|410000 |184154 | 9255k| 22.6 | 132M| 44 | - | 163 | 173 | 163 | 163 | 0 | 846 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
404.52/404.66 c 405s|420000 |186348 | 9399k| 22.4 | 134M| 44 | - | 163 | 168 | 163 | 163 | 0 | 855 | 15k| 1.449600e+04 | 1.536000e+04 | 5.96%
411.71/411.84 c 412s|430000 |189040 | 9555k| 22.2 | 136M| 44 | - | 163 | 186 | 163 | 163 | 0 | 878 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
418.51/418.62 c 419s|440000 |191344 | 9703k| 22.1 | 138M| 44 | - | 163 | 171 | 163 | 163 | 0 | 892 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
425.51/425.66 c 426s|450000 |193736 | 9858k| 21.9 | 140M| 44 | - | 163 | 171 | 163 | 163 | 0 | 901 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
432.61/432.73 c 433s|460000 |196110 | 10012k| 21.8 | 143M| 44 | 7 | 163 | 177 | 163 | 163 | 0 | 921 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
439.51/439.62 c 440s|470000 |198434 | 10160k| 21.6 | 145M| 44 | - | 163 | 168 | 163 | 163 | 0 | 932 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
446.10/446.23 c 446s|480000 |200692 | 10304k| 21.5 | 147M| 44 | 16 | 163 | 171 | 163 | 163 | 0 | 952 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
452.90/453.09 c 453s|490000 |202924 | 10450k| 21.3 | 149M| 44 | - | 163 | 174 | 163 | 163 | 0 | 977 | 16k| 1.451886e+04 | 1.536000e+04 | 5.79%
459.81/459.91 c 460s|500000 |205182 | 10594k| 21.2 | 151M| 44 | - | 163 | 168 | 163 | 163 | 0 | 991 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
466.31/466.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.31/466.48 c 466s|510000 |207164 | 10733k| 21.0 | 153M| 44 | 18 | 163 | 165 | 163 | 163 | 0 | 997 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
473.10/473.28 c 473s|520000 |209352 | 10876k| 20.9 | 155M| 44 | - | 163 | 170 | 163 | 163 | 0 |1009 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
479.60/479.73 c 480s|530000 |211268 | 11013k| 20.8 | 157M| 44 | 10 | 163 | 171 | 163 | 163 | 0 |1021 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
486.10/486.21 c 486s|540000 |213212 | 11151k| 20.7 | 159M| 44 | 15 | 163 | 170 | 163 | 163 | 0 |1039 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
492.50/492.67 c 493s|550000 |215196 | 11286k| 20.5 | 161M| 44 | - | 163 | 170 | 163 | 163 | 0 |1058 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
499.00/499.19 c 499s|560000 |217254 | 11421k| 20.4 | 163M| 44 | - | 163 | 167 | 163 | 163 | 0 |1073 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
505.49/505.61 c 506s|570000 |219124 | 11553k| 20.3 | 164M| 44 | - | 163 | 168 | 163 | 163 | 0 |1089 | 17k| 1.455543e+04 | 1.536000e+04 | 5.53%
511.59/511.74 c 512s|580000 |220728 | 11683k| 20.1 | 166M| 44 | - | 163 | 165 | 163 | 163 | 0 |1092 | 17k| 1.455787e+04 | 1.536000e+04 | 5.51%
518.00/518.11 c 518s|590000 |222656 | 11815k| 20.0 | 168M| 44 | 15 | 163 | 172 | 163 | 163 | 0 |1116 | 17k| 1.457694e+04 | 1.536000e+04 | 5.37%
524.29/524.49 c 524s|600000 |224450 | 11950k| 19.9 | 170M| 44 | - | 163 | 173 | 163 | 163 | 0 |1133 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
530.69/530.83 c 531s|610000 |226306 | 12085k| 19.8 | 172M| 44 | 11 | 163 | 171 | 163 | 163 | 0 |1147 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
537.29/537.42 c 537s|620000 |228222 | 12227k| 19.7 | 174M| 44 | 11 | 163 | 175 | 163 | 163 | 0 |1168 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
543.89/544.04 c 544s|630000 |230138 | 12370k| 19.6 | 175M| 44 | - | 163 | 171 | 163 | 163 | 0 |1177 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
550.48/550.62 c 551s|640000 |232138 | 12509k| 19.5 | 177M| 44 | 12 | 163 | 171 | 163 | 163 | 0 |1194 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
557.19/557.39 c 557s|650000 |234270 | 12656k| 19.5 | 179M| 44 | 13 | 163 | 168 | 163 | 163 | 0 |1199 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
563.88/564.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.88/564.09 c 564s|660000 |236282 | 12801k| 19.4 | 181M| 44 | 21 | 163 | 172 | 163 | 163 | 0 |1213 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
570.09/570.29 c 570s|670000 |238052 | 12931k| 19.3 | 183M| 44 | 12 | 163 | 167 | 163 | 163 | 0 |1220 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
576.59/576.79 c 577s|680000 |239882 | 13065k| 19.2 | 185M| 44 | 23 | 163 | 166 | 163 | 163 | 0 |1226 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
583.28/583.45 c 583s|690000 |241844 | 13205k| 19.1 | 187M| 44 | - | 163 | 177 | 163 | 163 | 0 |1251 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
589.58/589.74 c 590s|700000 |243536 | 13338k| 19.1 | 189M| 44 | - | 163 | 168 | 163 | 163 | 0 |1258 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
595.98/596.13 c 596s|710000 |245368 | 13473k| 19.0 | 190M| 44 | - | 163 | 168 | 163 | 163 | 0 |1265 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
602.27/602.42 c 602s|720000 |247138 | 13603k| 18.9 | 192M| 44 | 19 | 163 | 167 | 163 | 163 | 0 |1271 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
609.17/609.31 c 609s|730000 |249206 | 13756k| 18.8 | 194M| 44 | - | 163 | 173 | 163 | 163 | 0 |1288 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
615.46/615.68 c 616s|740000 |250958 | 13894k| 18.8 | 196M| 45 | - | 163 | 176 | 163 | 163 | 0 |1303 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
621.87/622.07 c 622s|750000 |252696 | 14027k| 18.7 | 198M| 45 | 25 | 163 | 166 | 163 | 163 | 0 |1306 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
628.17/628.33 c 628s|760000 |254468 | 14158k| 18.6 | 199M| 45 | 20 | 163 | 164 | 163 | 163 | 0 |1307 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
634.67/634.84 c 635s|770000 |256276 | 14300k| 18.6 | 201M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |1317 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
641.07/641.26 c 641s|780000 |258044 | 14435k| 18.5 | 203M| 45 | 21 | 163 | 171 | 163 | 163 | 0 |1323 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
647.77/647.95 c 648s|790000 |260148 | 14579k| 18.5 | 205M| 45 | - | 163 | 175 | 163 | 163 | 0 |1336 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
654.47/654.65 c 655s|800000 |262288 | 14723k| 18.4 | 207M| 45 | - | 163 | 170 | 163 | 163 | 0 |1344 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
660.86/661.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.86/661.10 c 661s|810000 |264294 | 14862k| 18.3 | 209M| 45 | - | 163 | 169 | 163 | 163 | 0 |1351 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
667.57/667.73 c 668s|820000 |266192 | 15004k| 18.3 | 211M| 45 | - | 163 | 175 | 163 | 163 | 0 |1364 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
673.96/674.12 c 674s|830000 |268082 | 15141k| 18.2 | 212M| 45 | - | 163 | 175 | 163 | 163 | 0 |1381 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
680.16/680.37 c 680s|840000 |269812 | 15273k| 18.2 | 214M| 45 | - | 163 | 170 | 163 | 163 | 0 |1389 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
686.85/687.01 c 687s|850000 |271758 | 15419k| 18.1 | 216M| 45 | - | 163 | 171 | 163 | 163 | 0 |1395 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
693.36/693.52 c 694s|860000 |273702 | 15558k| 18.1 | 218M| 45 | - | 163 | 167 | 163 | 163 | 0 |1401 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
700.15/700.31 c 700s|870000 |276018 | 15705k| 18.1 | 220M| 45 | - | 163 | 171 | 163 | 163 | 0 |1420 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
707.05/707.23 c 707s|880000 |278100 | 15854k| 18.0 | 222M| 45 | - | 163 | 180 | 163 | 163 | 0 |1437 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
713.35/713.56 c 714s|890000 |279710 | 15986k| 18.0 | 223M| 45 | - | 163 | 170 | 163 | 163 | 0 |1450 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
720.26/720.42 c 720s|900000 |281794 | 16138k| 17.9 | 225M| 45 | 23 | 163 | 174 | 163 | 163 | 0 |1469 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
726.05/726.26 c 726s|910000 |283282 | 16256k| 17.9 | 227M| 45 | - | 163 | 170 | 163 | 163 | 0 |1473 | 21k| 1.461760e+04 | 1.536000e+04 | 5.08%
731.85/732.02 c 732s|920000 |284382 | 16370k| 17.8 | 228M| 45 | 7 | 163 | 164 | 163 | 163 | 0 |1474 | 21k| 1.462613e+04 | 1.536000e+04 | 5.02%
737.45/737.69 c 738s|930000 |285500 | 16483k| 17.7 | 230M| 45 | 7 | 163 | 163 | 163 | 163 | 0 |1477 | 21k| 1.462857e+04 | 1.536000e+04 | 5.00%
743.25/743.48 c 743s|940000 |286710 | 16597k| 17.7 | 231M| 45 | - | 163 | 163 | 163 | 163 | 0 |1478 | 21k| 1.463467e+04 | 1.536000e+04 | 4.96%
749.05/749.23 c 749s|950000 |287780 | 16711k| 17.6 | 232M| 45 | 15 | 163 | 165 | 163 | 163 | 0 |1481 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
754.65/754.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.65/754.86 c 755s|960000 |288830 | 16822k| 17.5 | 234M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1483 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
760.45/760.60 c 761s|970000 |290038 | 16935k| 17.5 | 235M| 45 | - | 163 | 163 | 163 | 163 | 0 |1493 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
766.15/766.36 c 766s|980000 |291176 | 17052k| 17.4 | 237M| 45 | - | 163 | 163 | 163 | 163 | 0 |1495 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
771.75/771.92 c 772s|990000 |292178 | 17162k| 17.3 | 238M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1496 | 22k| 1.464889e+04 | 1.536000e+04 | 4.85%
777.35/777.56 c 778s| 1000k|293074 | 17274k| 17.3 | 239M| 45 | 11 | 163 | 166 | 163 | 163 | 0 |1499 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
782.94/783.15 c 783s| 1010k|294226 | 17385k| 17.2 | 241M| 45 | - | 163 | 163 | 163 | 163 | 0 |1503 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
788.44/788.65 c 789s| 1020k|295100 | 17495k| 17.2 | 242M| 45 | - | 163 | 165 | 163 | 163 | 0 |1505 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
793.85/794.09 c 794s| 1030k|295980 | 17599k| 17.1 | 243M| 45 | - | 163 | 164 | 163 | 163 | 0 |1508 | 22k| 1.466514e+04 | 1.536000e+04 | 4.74%
799.44/799.67 c 800s| 1040k|297004 | 17713k| 17.0 | 244M| 45 | 17 | 163 | 163 | 163 | 163 | 0 |1516 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
804.94/805.18 c 805s| 1050k|297868 | 17823k| 17.0 | 245M| 45 | - | 163 | 163 | 163 | 163 | 0 |1518 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
810.44/810.66 c 811s| 1060k|298748 | 17930k| 16.9 | 247M| 45 | 23 | 163 | 166 | 163 | 163 | 0 |1522 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
816.05/816.22 c 816s| 1070k|299624 | 18039k| 16.9 | 248M| 45 | 14 | 163 | 164 | 163 | 163 | 0 |1528 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
821.55/821.71 c 822s| 1080k|300620 | 18145k| 16.8 | 249M| 45 | 19 | 163 | 163 | 163 | 163 | 0 |1530 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
827.14/827.32 c 827s| 1090k|301546 | 18255k| 16.7 | 250M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1531 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
832.64/832.83 c 833s| 1100k|302426 | 18363k| 16.7 | 252M| 45 | - | 163 | 163 | 163 | 163 | 0 |1531 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
838.23/838.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.23/838.47 c 838s| 1110k|303492 | 18474k| 16.6 | 253M| 45 | 35 | 163 | 167 | 163 | 163 | 0 |1541 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
843.64/843.85 c 844s| 1120k|304326 | 18579k| 16.6 | 254M| 45 | - | 163 | 163 | 163 | 163 | 0 |1542 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
849.14/849.30 c 849s| 1130k|305284 | 18685k| 16.5 | 255M| 45 | - | 163 | 163 | 163 | 163 | 0 |1542 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
854.54/854.71 c 855s| 1140k|306128 | 18792k| 16.5 | 256M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1544 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
860.14/860.34 c 860s| 1150k|307190 | 18905k| 16.4 | 258M| 45 | 16 | 163 | 164 | 163 | 163 | 0 |1547 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
865.73/865.92 c 866s| 1160k|308184 | 19014k| 16.4 | 259M| 45 | 21 | 163 | 164 | 163 | 163 | 0 |1549 | 23k| 1.468800e+04 | 1.536000e+04 | 4.58%
871.14/871.34 c 871s| 1170k|308964 | 19119k| 16.3 | 260M| 45 | 18 | 163 | 163 | 163 | 163 | 0 |1549 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
876.43/876.64 c 877s| 1180k|309554 | 19221k| 16.3 | 261M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1550 | 24k| 1.469440e+04 | 1.536000e+04 | 4.53%
881.72/881.96 c 882s| 1190k|310252 | 19322k| 16.2 | 262M| 45 | - | 163 | 165 | 163 | 163 | 0 |1552 | 24k| 1.470171e+04 | 1.536000e+04 | 4.48%
886.93/887.17 c 887s| 1200k|310968 | 19422k| 16.2 | 263M| 45 | - | 163 | 166 | 163 | 163 | 0 |1554 | 24k| 1.470171e+04 | 1.536000e+04 | 4.48%
892.23/892.46 c 892s| 1210k|311654 | 19524k| 16.1 | 264M| 45 | - | 163 | 164 | 163 | 163 | 0 |1561 | 24k| 1.471015e+04 | 1.536000e+04 | 4.42%
897.63/897.86 c 898s| 1220k|312482 | 19633k| 16.1 | 265M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1561 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
903.03/903.29 c 903s| 1230k|313276 | 19741k| 16.1 | 266M| 45 | - | 163 | 163 | 163 | 163 | 0 |1562 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
908.72/908.91 c 909s| 1240k|314270 | 19857k| 16.0 | 268M| 45 | - | 163 | 165 | 163 | 163 | 0 |1568 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
914.21/914.49 c 914s| 1250k|315192 | 19969k| 16.0 | 269M| 45 | 11 | 163 | 164 | 163 | 163 | 0 |1570 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
919.62/919.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.62/919.90 c 920s| 1260k|315976 | 20077k| 15.9 | 270M| 45 | - | 163 | 164 | 163 | 163 | 0 |1571 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
924.91/925.17 c 925s| 1270k|316704 | 20179k| 15.9 | 271M| 45 | - | 163 | 163 | 163 | 163 | 0 |1571 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
930.21/930.43 c 930s| 1280k|317346 | 20284k| 15.8 | 272M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1576 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
935.51/935.79 c 936s| 1290k|318150 | 20388k| 15.8 | 273M| 45 | - | 163 | 166 | 163 | 163 | 0 |1582 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
941.00/941.20 c 941s| 1300k|318890 | 20495k| 15.8 | 275M| 45 | 14 | 163 | 163 | 163 | 163 | 0 |1582 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
946.81/947.01 c 947s| 1310k|319922 | 20613k| 15.7 | 276M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |1592 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
952.21/952.43 c 952s| 1320k|320782 | 20719k| 15.7 | 277M| 45 | - | 163 | 165 | 163 | 163 | 0 |1596 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
957.71/957.98 c 958s| 1330k|321734 | 20829k| 15.7 | 278M| 45 | 19 | 163 | 166 | 163 | 163 | 0 |1601 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
963.21/963.48 c 963s| 1340k|322692 | 20942k| 15.6 | 279M| 45 | - | 163 | 168 | 163 | 163 | 0 |1607 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
968.60/968.80 c 969s| 1350k|323318 | 21046k| 15.6 | 280M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1607 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
974.00/974.20 c 974s| 1360k|323966 | 21153k| 15.6 | 281M| 45 | - | 163 | 164 | 163 | 163 | 0 |1610 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
979.31/979.57 c 980s| 1370k|324630 | 21259k| 15.5 | 282M| 45 | 25 | 163 | 164 | 163 | 163 | 0 |1612 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
984.71/984.95 c 985s| 1380k|325316 | 21366k| 15.5 | 283M| 45 | 16 | 163 | 166 | 163 | 163 | 0 |1617 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
990.01/990.21 c 990s| 1390k|325960 | 21472k| 15.4 | 284M| 45 | 10 | 163 | 169 | 163 | 163 | 0 |1622 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
995.31/995.58 c 996s| 1400k|326562 | 21577k| 15.4 | 286M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |1624 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1000.60/1000.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.60/1000.86 c 1001s| 1410k|327054 | 21683k| 15.4 | 286M| 45 | - | 163 | 164 | 163 | 163 | 0 |1624 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1005.89/1006.19 c 1006s| 1420k|327664 | 21791k| 15.3 | 287M| 45 | 20 | 163 | 165 | 163 | 163 | 0 |1626 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1011.60/1011.86 c 1012s| 1430k|328532 | 21903k| 15.3 | 289M| 45 | - | 163 | 166 | 163 | 163 | 0 |1634 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1016.90/1017.13 c 1017s| 1440k|329192 | 22006k| 15.3 | 290M| 45 | - | 163 | 166 | 163 | 163 | 0 |1638 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1022.20/1022.40 c 1022s| 1450k|329772 | 22109k| 15.2 | 291M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |1640 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1027.50/1027.71 c 1028s| 1460k|330526 | 22214k| 15.2 | 292M| 45 | - | 163 | 167 | 163 | 163 | 0 |1643 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1033.10/1033.39 c 1033s| 1470k|331548 | 22328k| 15.2 | 293M| 45 | - | 163 | 168 | 163 | 163 | 0 |1651 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1038.79/1039.01 c 1039s| 1480k|332390 | 22440k| 15.2 | 294M| 45 | 10 | 163 | 165 | 163 | 163 | 0 |1659 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1044.29/1044.59 c 1045s| 1490k|333274 | 22550k| 15.1 | 295M| 45 | 32 | 163 | 166 | 163 | 163 | 0 |1665 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1049.79/1050.05 c 1050s| 1500k|334132 | 22657k| 15.1 | 296M| 45 | - | 163 | 167 | 163 | 163 | 0 |1667 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1055.19/1055.43 c 1055s| 1510k|335010 | 22762k| 15.1 | 297M| 45 | - | 163 | 166 | 163 | 163 | 0 |1672 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1060.69/1060.95 c 1061s| 1520k|335810 | 22873k| 15.0 | 299M| 45 | - | 163 | 171 | 163 | 163 | 0 |1685 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1066.19/1066.45 c 1066s| 1530k|336754 | 22983k| 15.0 | 300M| 45 | 14 | 163 | 167 | 163 | 163 | 0 |1691 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1071.79/1072.06 c 1072s| 1540k|337708 | 23096k| 15.0 | 301M| 45 | 13 | 163 | 164 | 163 | 163 | 0 |1697 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1077.39/1077.62 c 1078s| 1550k|338434 | 23208k| 15.0 | 302M| 45 | 23 | 163 | 164 | 163 | 163 | 0 |1701 | 27k| 1.472000e+04 | 1.536000e+04 | 4.35%
1082.49/1082.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.49/1082.70 c 1083s| 1560k|338874 | 23305k| 14.9 | 303M| 45 | - | 163 | 163 | 163 | 163 | 0 |1702 | 27k| 1.473422e+04 | 1.536000e+04 | 4.25%
1087.58/1087.83 c 1088s| 1570k|339200 | 23401k| 14.9 | 304M| 45 | - | 163 | 163 | 163 | 163 | 0 |1703 | 27k| 1.473829e+04 | 1.536000e+04 | 4.22%
1092.68/1092.97 c 1093s| 1580k|339452 | 23498k| 14.9 | 304M| 45 | - | 163 | 166 | 163 | 163 | 0 |1708 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1097.78/1098.06 c 1098s| 1590k|339728 | 23595k| 14.8 | 305M| 45 | - | 163 | 164 | 163 | 163 | 0 |1709 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1102.88/1103.12 c 1103s| 1600k|339950 | 23690k| 14.8 | 306M| 45 | - | 163 | 165 | 163 | 163 | 0 |1710 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1107.88/1108.17 c 1108s| 1610k|340198 | 23787k| 14.8 | 307M| 45 | - | 163 | 166 | 163 | 163 | 0 |1712 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1112.88/1113.13 c 1113s| 1620k|340358 | 23882k| 14.7 | 307M| 45 | 16 | 163 | 165 | 163 | 163 | 0 |1714 | 27k| 1.475048e+04 | 1.536000e+04 | 4.13%
1117.88/1118.10 c 1118s| 1630k|340460 | 23975k| 14.7 | 308M| 45 | - | 163 | 169 | 163 | 163 | 0 |1720 | 27k| 1.475840e+04 | 1.536000e+04 | 4.08%
1122.78/1123.08 c 1123s| 1640k|340726 | 24067k| 14.7 | 309M| 45 | - | 163 | 163 | 163 | 163 | 0 |1720 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1127.98/1128.20 c 1128s| 1650k|340940 | 24164k| 14.6 | 309M| 45 | 22 | 163 | 163 | 163 | 163 | 0 |1721 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1133.18/1133.44 c 1133s| 1660k|341388 | 24266k| 14.6 | 310M| 45 | - | 163 | 166 | 163 | 163 | 0 |1726 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1138.29/1138.58 c 1139s| 1670k|341548 | 24363k| 14.6 | 311M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1727 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1143.28/1143.55 c 1144s| 1680k|341808 | 24458k| 14.6 | 311M| 45 | 12 | 163 | 164 | 163 | 163 | 0 |1730 | 28k| 1.476267e+04 | 1.536000e+04 | 4.05%
1148.18/1148.47 c 1148s| 1690k|342128 | 24552k| 14.5 | 312M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1730 | 28k| 1.476267e+04 | 1.536000e+04 | 4.05%
1153.08/1153.35 c 1153s| 1700k|342174 | 24639k| 14.5 | 313M| 45 | - | 163 | 163 | 163 | 163 | 0 |1731 | 28k| 1.477486e+04 | 1.536000e+04 | 3.96%
1158.08/1158.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.08/1158.37 c 1158s| 1710k|342346 | 24734k| 14.5 | 313M| 45 | - | 163 | 163 | 163 | 163 | 0 |1734 | 28k| 1.477486e+04 | 1.536000e+04 | 3.96%
1163.18/1163.44 c 1163s| 1720k|342444 | 24828k| 14.4 | 314M| 45 | - | 163 | 163 | 163 | 163 | 0 |1736 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1168.17/1168.44 c 1168s| 1730k|342458 | 24921k| 14.4 | 314M| 45 | 20 | 163 | 163 | 163 | 163 | 0 |1740 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1173.27/1173.51 c 1174s| 1740k|342598 | 25016k| 14.4 | 315M| 45 | - | 163 | 165 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1178.17/1178.48 c 1178s| 1750k|342634 | 25108k| 14.3 | 315M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1183.18/1183.41 c 1183s| 1760k|342664 | 25201k| 14.3 | 316M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1188.17/1188.45 c 1188s| 1770k|342828 | 25295k| 14.3 | 317M| 45 | - | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.479111e+04 | 1.536000e+04 | 3.85%
1192.97/1193.28 c 1193s| 1780k|342714 | 25383k| 14.3 | 317M| 45 | 14 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.479680e+04 | 1.536000e+04 | 3.81%
1197.97/1198.23 c 1198s| 1790k|342620 | 25476k| 14.2 | 317M| 45 | - | 163 | 165 | 163 | 163 | 0 |1747 | 28k| 1.479680e+04 | 1.536000e+04 | 3.81%
1202.97/1203.24 c 1203s| 1800k|342776 | 25573k| 14.2 | 318M| 45 | - | 163 | 163 | 163 | 163 | 0 |1749 | 28k| 1.480533e+04 | 1.536000e+04 | 3.75%
1207.87/1208.17 c 1208s| 1810k|342722 | 25665k| 14.2 | 319M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1750 | 28k| 1.480862e+04 | 1.536000e+04 | 3.72%
1212.77/1213.07 c 1213s| 1820k|342748 | 25754k| 14.2 | 319M| 45 | - | 163 | 164 | 163 | 163 | 0 |1752 | 29k| 1.481600e+04 | 1.536000e+04 | 3.67%
1217.66/1217.90 c 1218s| 1830k|342612 | 25843k| 14.1 | 319M| 45 | - | 163 | 163 | 163 | 163 | 0 |1753 | 29k| 1.482667e+04 | 1.536000e+04 | 3.60%
1222.87/1223.13 c 1223s| 1840k|342960 | 25945k| 14.1 | 320M| 45 | 15 | 163 | 166 | 163 | 163 | 0 |1763 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1228.07/1228.34 c 1228s| 1850k|343460 | 26050k| 14.1 | 321M| 45 | 16 | 163 | 169 | 163 | 163 | 0 |1767 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1233.37/1233.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.37/1233.62 c 1234s| 1860k|343874 | 26157k| 14.1 | 322M| 45 | 10 | 163 | 168 | 163 | 163 | 0 |1774 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1238.37/1238.68 c 1239s| 1870k|344232 | 26258k| 14.0 | 322M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1777 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1243.56/1243.84 c 1244s| 1880k|344850 | 26361k| 14.0 | 323M| 45 | 17 | 163 | 168 | 163 | 163 | 0 |1780 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1248.86/1249.10 c 1249s| 1890k|345350 | 26468k| 14.0 | 324M| 45 | - | 163 | 163 | 163 | 163 | 0 |1784 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1253.77/1254.06 c 1254s| 1900k|345594 | 26563k| 14.0 | 324M| 45 | 23 | 163 | 163 | 163 | 163 | 0 |1785 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1258.96/1259.20 c 1259s| 1910k|346028 | 26668k| 14.0 | 325M| 45 | - | 163 | 163 | 163 | 163 | 0 |1785 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1264.16/1264.41 c 1264s| 1920k|346648 | 26777k| 13.9 | 326M| 45 | 10 | 163 | 164 | 163 | 163 | 0 |1792 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1269.16/1269.48 c 1269s| 1930k|346990 | 26880k| 13.9 | 327M| 45 | - | 163 | 165 | 163 | 163 | 0 |1796 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1274.35/1274.60 c 1275s| 1940k|347348 | 26983k| 13.9 | 327M| 45 | - | 163 | 164 | 163 | 163 | 0 |1796 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1279.35/1279.68 c 1280s| 1950k|347714 | 27084k| 13.9 | 328M| 45 | - | 163 | 163 | 163 | 163 | 0 |1803 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1284.36/1284.64 c 1285s| 1960k|347920 | 27180k| 13.9 | 329M| 45 | - | 163 | 164 | 163 | 163 | 0 |1805 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1289.46/1289.73 c 1290s| 1970k|348172 | 27280k| 13.8 | 329M| 45 | 10 | 163 | 164 | 163 | 163 | 0 |1807 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1294.56/1294.85 c 1295s| 1980k|348716 | 27386k| 13.8 | 330M| 45 | - | 163 | 164 | 163 | 163 | 0 |1812 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1299.55/1299.83 c 1300s| 1990k|348770 | 27481k| 13.8 | 330M| 45 | 14 | 163 | 167 | 163 | 163 | 0 |1817 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1304.75/1305.03 c 1305s| 2000k|349360 | 27582k| 13.8 | 331M| 45 | 15 | 163 | 167 | 163 | 163 | 0 |1820 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1309.86/1310.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.86/1310.13 c 1310s| 2010k|349582 | 27680k| 13.8 | 332M| 45 | - | 163 | 165 | 163 | 163 | 0 |1823 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1314.75/1315.02 c 1315s| 2020k|349716 | 27775k| 13.8 | 332M| 45 | - | 163 | 163 | 163 | 163 | 0 |1823 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1320.05/1320.32 c 1320s| 2030k|350264 | 27880k| 13.7 | 333M| 45 | 12 | 163 | 163 | 163 | 163 | 0 |1826 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1325.36/1325.63 c 1326s| 2040k|350706 | 27990k| 13.7 | 334M| 45 | 12 | 163 | 163 | 163 | 163 | 0 |1829 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1330.45/1330.71 c 1331s| 2050k|350926 | 28089k| 13.7 | 335M| 45 | - | 163 | 163 | 163 | 163 | 0 |1830 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1335.55/1335.86 c 1336s| 2060k|351204 | 28190k| 13.7 | 335M| 45 | 11 | 163 | 167 | 163 | 163 | 0 |1834 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1340.84/1341.16 c 1341s| 2070k|351796 | 28302k| 13.7 | 336M| 45 | - | 163 | 163 | 163 | 163 | 0 |1836 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1345.84/1346.12 c 1346s| 2080k|351808 | 28398k| 13.7 | 336M| 45 | - | 163 | 163 | 163 | 163 | 0 |1837 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1351.05/1351.30 c 1351s| 2090k|352120 | 28504k| 13.6 | 337M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1837 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1356.15/1356.48 c 1356s| 2100k|352458 | 28606k| 13.6 | 338M| 45 | 12 | 163 | 164 | 163 | 163 | 0 |1841 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1361.54/1361.82 c 1362s| 2110k|353146 | 28717k| 13.6 | 338M| 45 | 17 | 163 | 166 | 163 | 163 | 0 |1849 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1366.64/1366.92 c 1367s| 2120k|353374 | 28817k| 13.6 | 339M| 45 | 16 | 163 | 165 | 163 | 163 | 0 |1850 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1371.74/1372.03 c 1372s| 2130k|353676 | 28917k| 13.6 | 340M| 45 | - | 163 | 166 | 163 | 163 | 0 |1853 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1376.64/1376.95 c 1377s| 2140k|353912 | 29011k| 13.6 | 340M| 45 | - | 163 | 165 | 163 | 163 | 0 |1856 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1381.44/1381.79 c 1382s| 2150k|353892 | 29104k| 13.5 | 341M| 45 | 16 | 163 | 164 | 163 | 163 | 0 |1856 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1386.53/1386.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.53/1386.82 c 1387s| 2160k|354166 | 29203k| 13.5 | 341M| 45 | - | 163 | 164 | 163 | 163 | 0 |1858 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1391.64/1391.97 c 1392s| 2170k|354562 | 29303k| 13.5 | 342M| 45 | 21 | 163 | 165 | 163 | 163 | 0 |1860 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1396.75/1397.05 c 1397s| 2180k|354826 | 29405k| 13.5 | 343M| 45 | - | 163 | 165 | 163 | 163 | 0 |1865 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1401.74/1402.01 c 1402s| 2190k|355034 | 29502k| 13.5 | 343M| 45 | - | 163 | 163 | 163 | 163 | 0 |1868 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1406.64/1406.95 c 1407s| 2200k|355186 | 29597k| 13.5 | 344M| 45 | - | 163 | 163 | 163 | 163 | 0 |1868 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1411.54/1411.87 c 1412s| 2210k|355136 | 29691k| 13.4 | 344M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1875 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1416.54/1416.89 c 1417s| 2220k|355340 | 29794k| 13.4 | 345M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1876 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1421.73/1422.04 c 1422s| 2230k|355892 | 29897k| 13.4 | 345M| 45 | - | 163 | 165 | 163 | 163 | 0 |1878 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1427.03/1427.33 c 1427s| 2240k|356404 | 30004k| 13.4 | 346M| 45 | - | 163 | 167 | 163 | 163 | 0 |1885 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1431.93/1432.22 c 1432s| 2250k|356520 | 30096k| 13.4 | 347M| 45 | 25 | 163 | 163 | 163 | 163 | 0 |1889 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1436.83/1437.10 c 1437s| 2260k|356520 | 30189k| 13.4 | 347M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1890 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1441.84/1442.14 c 1442s| 2270k|356572 | 30290k| 13.3 | 348M| 45 | 19 | 163 | 165 | 163 | 163 | 0 |1896 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1446.73/1447.04 c 1447s| 2280k|356690 | 30383k| 13.3 | 348M| 45 | - | 163 | 163 | 163 | 163 | 0 |1897 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1451.73/1452.10 c 1452s| 2290k|357092 | 30481k| 13.3 | 349M| 45 | - | 163 | 164 | 163 | 163 | 0 |1902 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1457.12/1457.43 c 1457s| 2300k|357936 | 30592k| 13.3 | 350M| 45 | 11 | 163 | 164 | 163 | 163 | 0 |1902 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1462.43/1462.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.43/1462.75 c 1463s| 2310k|358680 | 30700k| 13.3 | 351M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1906 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1467.63/1467.93 c 1468s| 2320k|359326 | 30806k| 13.3 | 352M| 45 | - | 163 | 163 | 163 | 163 | 0 |1908 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1473.12/1473.48 c 1473s| 2330k|360302 | 30921k| 13.3 | 353M| 45 | 21 | 163 | 163 | 163 | 163 | 0 |1909 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1478.32/1478.69 c 1479s| 2340k|360864 | 31026k| 13.3 | 353M| 45 | - | 163 | 165 | 163 | 163 | 0 |1913 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1483.73/1484.08 c 1484s| 2350k|361790 | 31137k| 13.3 | 355M| 45 | 14 | 163 | 165 | 163 | 163 | 0 |1914 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1489.13/1489.45 c 1489s| 2360k|362644 | 31249k| 13.2 | 356M| 45 | - | 163 | 165 | 163 | 163 | 0 |1920 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1494.32/1494.63 c 1495s| 2370k|363238 | 31353k| 13.2 | 356M| 45 | - | 163 | 166 | 163 | 163 | 0 |1924 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1499.52/1499.83 c 1500s| 2380k|363862 | 31457k| 13.2 | 357M| 45 | 11 | 163 | 170 | 163 | 163 | 0 |1930 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1504.72/1505.08 c 1505s| 2390k|364566 | 31563k| 13.2 | 358M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1937 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1509.92/1510.22 c 1510s| 2400k|365180 | 31662k| 13.2 | 359M| 45 | - | 163 | 167 | 163 | 163 | 0 |1942 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1515.12/1515.47 c 1515s| 2410k|365908 | 31773k| 13.2 | 360M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1943 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1520.72/1521.08 c 1521s| 2420k|366880 | 31893k| 13.2 | 361M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1947 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1526.12/1526.43 c 1526s| 2430k|367664 | 32003k| 13.2 | 362M| 45 | 16 | 163 | 163 | 163 | 163 | 0 |1958 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1531.91/1532.29 c 1532s| 2440k|368774 | 32130k| 13.2 | 363M| 45 | - | 163 | 173 | 163 | 163 | 0 |1969 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1538.21/1538.58 c 1539s| 2450k|370218 | 32265k| 13.2 | 364M| 45 | 21 | 163 | 168 | 163 | 163 | 0 |1973 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1543.72/1544.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.72/1544.06 c 1544s| 2460k|371076 | 32380k| 13.2 | 365M| 45 | 6 | 163 | 173 | 163 | 163 | 0 |1981 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1549.12/1549.46 c 1549s| 2470k|372014 | 32495k| 13.2 | 367M| 45 | 6 | 163 | 175 | 163 | 163 | 0 |1990 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1554.91/1555.23 c 1555s| 2480k|373446 | 32618k| 13.2 | 368M| 45 | 10 | 163 | 170 | 163 | 163 | 0 |2001 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1560.71/1561.02 c 1561s| 2490k|374990 | 32740k| 13.1 | 369M| 45 | 17 | 163 | 171 | 163 | 163 | 0 |2009 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1566.61/1566.94 c 1567s| 2500k|376526 | 32864k| 13.1 | 371M| 45 | 13 | 163 | 174 | 163 | 163 | 0 |2024 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1572.11/1572.48 c 1572s| 2510k|377718 | 32978k| 13.1 | 372M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |2038 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1577.31/1577.63 c 1578s| 2520k|378476 | 33078k| 13.1 | 373M| 45 | - | 163 | 165 | 163 | 163 | 0 |2050 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1582.41/1582.78 c 1583s| 2530k|378914 | 33185k| 13.1 | 374M| 45 | - | 163 | 163 | 163 | 163 | 0 |2051 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1587.50/1587.80 c 1588s| 2540k|379276 | 33288k| 13.1 | 374M| 45 | - | 163 | 163 | 163 | 163 | 0 |2051 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1592.61/1592.95 c 1593s| 2550k|379826 | 33391k| 13.1 | 375M| 45 | 10 | 163 | 169 | 163 | 163 | 0 |2057 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1597.80/1598.14 c 1598s| 2560k|380230 | 33494k| 13.1 | 376M| 45 | 14 | 163 | 166 | 163 | 163 | 0 |2063 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1603.20/1603.54 c 1604s| 2570k|381086 | 33608k| 13.1 | 377M| 45 | - | 163 | 170 | 163 | 163 | 0 |2072 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1608.20/1608.55 c 1609s| 2580k|381346 | 33706k| 13.1 | 377M| 45 | 15 | 163 | 168 | 163 | 163 | 0 |2076 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1613.70/1614.03 c 1614s| 2590k|382202 | 33822k| 13.1 | 378M| 45 | 17 | 163 | 166 | 163 | 163 | 0 |2081 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1618.79/1619.19 c 1619s| 2600k|382680 | 33926k| 13.0 | 379M| 45 | - | 163 | 163 | 163 | 163 | 0 |2084 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1623.79/1624.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.79/1624.19 c 1624s| 2610k|382754 | 34025k| 13.0 | 380M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |2089 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1628.90/1629.22 c 1629s| 2620k|382916 | 34127k| 13.0 | 380M| 45 | - | 163 | 163 | 163 | 163 | 0 |2089 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1634.09/1634.45 c 1634s| 2630k|383478 | 34235k| 13.0 | 381M| 45 | - | 163 | 163 | 163 | 163 | 0 |2093 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1639.19/1639.56 c 1640s| 2640k|383694 | 34342k| 13.0 | 381M| 45 | - | 163 | 164 | 163 | 163 | 0 |2095 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1644.30/1644.68 c 1645s| 2650k|384080 | 34444k| 13.0 | 382M| 45 | - | 163 | 166 | 163 | 163 | 0 |2097 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1648.99/1649.36 c 1649s| 2660k|383932 | 34532k| 13.0 | 382M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |2099 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1653.99/1654.30 c 1654s| 2670k|383946 | 34629k| 13.0 | 382M| 45 | 16 | 163 | 163 | 163 | 163 | 0 |2102 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1658.89/1659.24 c 1659s| 2680k|384142 | 34726k| 13.0 | 383M| 45 | 20 | 163 | 164 | 163 | 163 | 0 |2105 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1663.69/1664.07 c 1664s| 2690k|384176 | 34821k| 12.9 | 383M| 45 | - | 163 | 163 | 163 | 163 | 0 |2105 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1668.69/1669.06 c 1669s| 2700k|384186 | 34922k| 12.9 | 384M| 45 | - | 163 | 163 | 163 | 163 | 0 |2107 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1673.79/1674.15 c 1674s| 2710k|384246 | 35023k| 12.9 | 384M| 45 | 16 | 163 | 163 | 163 | 163 | 0 |2107 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1678.78/1679.11 c 1679s| 2720k|384376 | 35120k| 12.9 | 384M| 45 | - | 163 | 163 | 163 | 163 | 0 |2108 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1683.89/1684.28 c 1684s| 2730k|384722 | 35223k| 12.9 | 385M| 45 | 19 | 163 | 164 | 163 | 163 | 0 |2110 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1689.08/1689.42 c 1689s| 2740k|384912 | 35328k| 12.9 | 386M| 45 | 21 | 163 | 165 | 163 | 163 | 0 |2112 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1694.08/1694.46 c 1694s| 2750k|385022 | 35425k| 12.9 | 386M| 45 | - | 163 | 166 | 163 | 163 | 0 |2117 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1699.38/1699.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.38/1699.75 c 1700s| 2760k|385634 | 35536k| 12.9 | 387M| 45 | 18 | 163 | 167 | 163 | 163 | 0 |2121 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1704.48/1704.86 c 1705s| 2770k|386138 | 35642k| 12.9 | 387M| 45 | - | 163 | 165 | 163 | 163 | 0 |2123 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1709.78/1710.15 c 1710s| 2780k|386684 | 35751k| 12.9 | 388M| 45 | - | 163 | 167 | 163 | 163 | 0 |2129 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1714.69/1715.08 c 1715s| 2790k|386686 | 35851k| 12.9 | 389M| 45 | - | 163 | 163 | 163 | 163 | 0 |2130 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1719.88/1720.26 c 1720s| 2800k|386750 | 35955k| 12.8 | 389M| 45 | - | 163 | 165 | 163 | 163 | 0 |2134 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1724.88/1725.26 c 1725s| 2810k|386872 | 36054k| 12.8 | 389M| 45 | 13 | 163 | 165 | 163 | 163 | 0 |2137 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1729.78/1730.17 c 1730s| 2820k|387004 | 36151k| 12.8 | 390M| 45 | - | 163 | 164 | 163 | 163 | 0 |2142 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1734.68/1735.04 c 1735s| 2830k|386936 | 36245k| 12.8 | 390M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |2143 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1739.78/1740.20 c 1740s| 2840k|387400 | 36349k| 12.8 | 391M| 45 | 14 | 163 | 163 | 163 | 163 | 0 |2145 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1745.28/1745.70 c 1746s| 2850k|388460 | 36465k| 12.8 | 392M| 45 | 15 | 163 | 165 | 163 | 163 | 0 |2153 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1750.67/1751.03 c 1751s| 2860k|388910 | 36577k| 12.8 | 393M| 45 | - | 163 | 165 | 163 | 163 | 0 |2155 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1755.87/1756.27 c 1756s| 2870k|389194 | 36685k| 12.8 | 393M| 45 | - | 163 | 164 | 163 | 163 | 0 |2163 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1760.88/1761.29 c 1761s| 2880k|389408 | 36784k| 12.8 | 394M| 45 | - | 163 | 164 | 163 | 163 | 0 |2166 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1765.87/1766.29 c 1766s| 2890k|389516 | 36886k| 12.8 | 394M| 45 | 12 | 163 | 163 | 163 | 163 | 0 |2166 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1770.98/1771.34 c 1771s| 2900k|389910 | 36985k| 12.8 | 395M| 45 | 8 | 163 | 169 | 163 | 163 | 0 |2173 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1776.17/1776.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.17/1776.59 c 1777s| 2910k|390294 | 37090k| 12.7 | 395M| 45 | 16 | 163 | 166 | 163 | 163 | 0 |2179 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1781.87/1782.28 c 1782s| 2920k|391312 | 37207k| 12.7 | 396M| 45 | - | 163 | 170 | 163 | 163 | 0 |2194 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1786.87/1787.26 c 1787s| 2930k|391100 | 37308k| 12.7 | 396M| 45 | 10 | 163 | 165 | 163 | 163 | 0 |2197 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1791.97/1792.31 c 1792s| 2940k|391198 | 37411k| 12.7 | 397M| 45 | 18 | 163 | 166 | 163 | 163 | 0 |2202 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1796.67/1797.00 c
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Solving Time (sec) : 1797.00
1796.67/1797.00 c Solving Nodes : 2948940
1796.67/1797.00 c Primal Bound : +1.53600000000000e+04 (352 solutions)
1796.67/1797.00 c Dual Bound : +1.48480000000000e+04
1796.67/1797.00 c Gap : 3.45 %
1796.67/1797.00 s SATISFIABLE
1796.67/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
1796.67/1797.00 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1796.67/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
1796.67/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
1796.67/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
1796.67/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
1796.67/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
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Total Time : 1797.00
1796.67/1797.00 c solving : 1797.00
1796.67/1797.00 c presolving : 0.04 (included in solving)
1796.67/1797.00 c reading : 0.00 (included in solving)
1796.67/1797.00 c Original Problem :
1796.67/1797.00 c Problem name : HOME/instance-3731084-1338694212.opb
1796.67/1797.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 73 initial, 73 maximal
1796.67/1797.00 c Presolved Problem :
1796.67/1797.00 c Problem name : t_HOME/instance-3731084-1338694212.opb
1796.67/1797.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 163 initial, 256 maximal
1796.67/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c knapsack : 0.01 0 0 0 0 0 10 100 100 200
1796.67/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c linear : 0.00 0 0 0 0 0 0 0 10 10
1796.67/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c root node : - 0 - - 0 - - - - -
1796.67/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c integral : 0 0 0 1681532 0 358 0 0 12339 0 0 3342076
1796.67/1797.00 c knapsack : 63 1 4640811 0 2 355 519 2054 8501 0 0 0
1796.67/1797.00 c setppc : 100 1 4468108 0 2 354 504 0 0 0 0 0
1796.67/1797.00 c linear : 0+ 1 13030 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c logicor : 0+ 0 369467 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c countsols : 0 0 0 0 2 354 0 0 0 0 0 0
1796.67/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.67/1797.00 c integral : 33.78 0.00 0.00 33.78 0.00 0.00 0.00
1796.67/1797.00 c knapsack : 223.30 0.03 223.26 0.00 0.00 0.01 0.00
1796.67/1797.00 c setppc : 7.40 0.00 7.40 0.00 0.00 0.00 0.00
1796.67/1797.00 c linear : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
1796.67/1797.00 c logicor : 0.54 0.00 0.54 0.00 0.00 0.00 0.00
1796.67/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.67/1797.00 c vbounds : 0 0 0 0
1796.67/1797.00 c rootredcost : 2 0 0 0
1796.67/1797.00 c pseudoobj : 4641305 26148 200 0
1796.67/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.67/1797.00 c vbounds : 3.44 3.44 0.00
1796.67/1797.00 c rootredcost : 3.38 3.38 0.00
1796.67/1797.00 c pseudoobj : 19.78 19.70 0.08
1796.67/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.00 c propagation : 0.13 2252 2207 2357 34.9 0 0.0 -
1796.67/1797.00 c infeasible LP : 0.00 1 1 1 32.0 0 0.0 0
1796.67/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c applied globally : - - - 1148 27.1 - - -
1796.67/1797.00 c applied locally : - - - 1059 40.7 - - -
1796.67/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.67/1797.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.67/1797.00 c redcost : 17.01 2371623 0 3670760 0 0
1796.67/1797.00 c impliedbounds : 0.00 2 0 0 0 0
1796.67/1797.00 c intobj : 0.00 0 0 0 0 0
1796.67/1797.00 c gomory : 0.00 2 0 0 0 0
1796.67/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.67/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.67/1797.00 c strongcg : 0.00 2 0 0 0 0
1796.67/1797.00 c cmir : 0.00 2 0 0 0 0
1796.67/1797.00 c flowcover : 0.11 2 0 0 0 0
1796.67/1797.00 c clique : 0.00 1 0 0 0 0
1796.67/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.67/1797.00 c mcf : 0.00 1 0 0 0 0
1796.67/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.67/1797.00 c rapidlearning : 0.04 1 0 0 0 40
1796.67/1797.00 c Pricers : Time Calls Vars
1796.67/1797.00 c problem variables: 0.00 0 0
1796.67/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c relpscost : 30.33 1681532 0 12339 0 0 3342076
1796.67/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.67/1797.00 c inference : 0.00 2 0 0 0 0 4
1796.67/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.67/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.67/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.67/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.67/1797.00 c random : 0.00 0 0 0 0 0 0
1796.67/1797.00 c Primal Heuristics : Time Calls Found
1796.67/1797.00 c LP solutions : 0.00 - 0
1796.67/1797.00 c pseudo solutions : 0.00 - 0
1796.67/1797.00 c feaspump : 0.20 0 0
1796.67/1797.00 c oneopt : 2.43 6 1
1796.67/1797.00 c crossover : 3.78 17 4
1796.67/1797.00 c objpscostdiving : 8.50 637 6
1796.67/1797.00 c rootsoldiving : 9.01 1526 2
1796.67/1797.00 c pscostdiving : 51.22 7974 24
1796.67/1797.00 c fracdiving : 50.22 7974 6
1796.67/1797.00 c veclendiving : 30.01 7974 4
1796.67/1797.00 c coefdiving : 44.84 7974 14
1796.67/1797.00 c linesearchdiving : 22.93 7974 1
1796.67/1797.00 c guideddiving : 61.07 7974 0
1796.67/1797.00 c trivial : 0.00 2 0
1796.67/1797.00 c shiftandpropagate: 0.01 1 1
1796.67/1797.00 c simplerounding : 8.05 1681532 5
1796.67/1797.00 c zirounding : 2.56 12801 256
1796.67/1797.00 c rounding : 3.34 62689 1
1796.67/1797.00 c shifting : 1.25 28667 26
1796.67/1797.00 c intshifting : 0.19 0 0
1796.67/1797.00 c twoopt : 0.00 0 0
1796.67/1797.00 c fixandinfer : 0.00 0 0
1796.67/1797.00 c clique : 0.00 0 0
1796.67/1797.00 c intdiving : 0.00 0 0
1796.67/1797.00 c actconsdiving : 0.00 0 0
1796.67/1797.00 c octane : 0.00 0 0
1796.67/1797.00 c rens : 0.44 1 1
1796.67/1797.00 c rins : 0.00 0 0
1796.67/1797.00 c localbranching : 0.00 0 0
1796.67/1797.00 c mutation : 0.00 0 0
1796.67/1797.00 c dins : 0.00 0 0
1796.67/1797.00 c vbounds : 0.00 0 0
1796.67/1797.00 c undercover : 0.00 0 0
1796.67/1797.00 c subnlp : 2.05 0 0
1796.67/1797.00 c trysol : 3.72 0 0
1796.67/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.67/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.67/1797.00 c dual LP : 984.06 2959433 31748941 10.73 32263.11
1796.67/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.67/1797.00 c diving/probing LP: 183.43 960917 5757006 5.99 31384.68
1796.67/1797.00 c strong branching : 16.98 37247 335715 9.01 19769.43
1796.67/1797.00 c (at root node) : - 10 594 59.40 -
1796.67/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.00 c B&B Tree :
1796.67/1797.00 c number of runs : 1
1796.67/1797.00 c nodes : 2948940
1796.67/1797.00 c nodes (total) : 2948940
1796.67/1797.00 c nodes left : 391604
1796.67/1797.00 c max depth : 45
1796.67/1797.00 c max depth (total): 45
1796.67/1797.00 c backtracks : 602168 (20.4%)
1796.67/1797.00 c delayed cutoffs : 0
1796.67/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.00 c avg switch length: 7.15
1796.67/1797.00 c switching time : 70.50
1796.67/1797.00 c Solution :
1796.67/1797.00 c Solutions found : 352 (7 improvements)
1796.67/1797.00 c First Solution : +2.04800000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 56, found by <shiftandpropagate>)
1796.67/1797.00 c Primal Bound : +1.53600000000000e+04 (in run 1, after 10194 nodes, 24.32 seconds, depth 27, found by <veclendiving>)
1796.67/1797.00 c Dual Bound : +1.48480000000000e+04
1796.67/1797.00 c Gap : 3.45 %
1796.67/1797.00 c Root Dual Bound : +1.33120000000000e+04
1796.67/1797.00 c Root Iterations : 89
1797.87/1798.21 c Time complete: 1797.88.
OK 15360
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3731084-1338694212/watcher-3731084-1338694212 -o /tmp/evaluation-result-3731084-1338694212/solver-3731084-1338694212 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731084-1338694212.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.03 2.01 3/177 3564 /proc/meminfo: memFree=27682344/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=9588 CPUtime=0 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 1519 0 0 0 0 0 0 0 20 0 1 0 335488262 9818112 1474 33554432000 4194304 9016284 140735780274352 140733486539704 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 2397 1475 311 1178 0 1215 0 [startup+0.104929 s] /proc/loadavg: 2.08 2.03 2.01 3/177 3564 /proc/meminfo: memFree=27682344/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=23216 CPUtime=0.1 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 5000 0 0 0 9 1 0 0 20 0 1 0 335488262 23773184 4675 33554432000 4194304 9016284 140735780274352 140735780267848 5174359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 5804 4675 660 1178 0 4622 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 23216 [startup+0.200311 s] /proc/loadavg: 2.08 2.03 2.01 3/177 3564 /proc/meminfo: memFree=27682344/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=36888 CPUtime=0.19 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 8874 0 0 0 18 1 0 0 20 0 1 0 335488262 37773312 7843 33554432000 4194304 9016284 140735780274352 140735780267848 7870574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 9222 7843 696 1178 0 8040 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36888 [startup+0.30033 s] /proc/loadavg: 2.08 2.03 2.01 3/177 3564 /proc/meminfo: memFree=27682344/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=37828 CPUtime=0.29 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 9111 0 0 0 27 2 0 0 20 0 1 0 335488262 38735872 8070 33554432000 4194304 9016284 140735780274352 140735780267848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 9457 8070 703 1178 0 8275 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37828 [startup+0.700235 s] /proc/loadavg: 2.08 2.03 2.01 3/177 3564 /proc/meminfo: memFree=27682344/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=34752 CPUtime=0.68 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 9183 0 0 0 65 3 0 0 20 0 1 0 335488262 35586048 7594 33554432000 4194304 9016284 140735780274352 140735780267848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 8688 7594 705 1178 0 7506 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 34752 [startup+1.50023 s] /proc/loadavg: 2.08 2.03 2.01 3/178 3565 /proc/meminfo: memFree=27654684/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=34752 CPUtime=1.49 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 9183 0 0 0 143 6 0 0 20 0 1 0 335488262 35586048 7594 33554432000 4194304 9016284 140735780274352 140735780268408 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 8688 7594 705 1178 0 7506 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34752 [startup+3.10023 s] /proc/loadavg: 2.08 2.03 2.01 3/178 3565 /proc/meminfo: memFree=27652452/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=34752 CPUtime=3.09 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 9926 0 0 0 299 10 0 0 20 0 1 0 335488262 35586048 7605 33554432000 4194304 9016284 140735780274352 140735780267928 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 8688 7605 705 1178 0 7506 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34752 [startup+6.30023 s] /proc/loadavg: 2.08 2.03 2.00 3/178 3565 /proc/meminfo: memFree=27653700/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=34752 CPUtime=6.29 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 9930 0 0 0 611 18 0 0 20 0 1 0 335488262 35586048 7609 33554432000 4194304 9016284 140735780274352 140735780268520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 8688 7609 705 1178 0 7506 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34752 [startup+12.7002 s] /proc/loadavg: 2.07 2.03 2.00 3/178 3565 /proc/meminfo: memFree=27653956/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=34752 CPUtime=12.69 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 11253 0 0 0 1234 35 0 0 20 0 1 0 335488262 35586048 7621 33554432000 4194304 9016284 140735780274352 140735780268408 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 8688 7621 705 1178 0 7506 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34752 [startup+25.5003 s] /proc/loadavg: 2.13 2.04 2.01 3/178 3565 /proc/meminfo: memFree=27653708/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=34752 CPUtime=25.49 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 13138 0 0 0 2481 68 0 0 20 0 1 0 335488262 35586048 7637 33554432000 4194304 9016284 140735780274352 140735780268408 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 8688 7637 705 1178 0 7506 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34752 [startup+51.1003 s] /proc/loadavg: 2.08 2.04 2.01 3/177 3565 /proc/meminfo: memFree=27652228/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=36660 CPUtime=51.08 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 24893 0 0 0 4969 139 0 0 20 0 1 0 335488262 37539840 8087 33554432000 4194304 9016284 140735780274352 140735780267976 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 9165 8087 706 1178 0 7983 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36660 [startup+102.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 3565 /proc/meminfo: memFree=27624180/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=55468 CPUtime=102.28 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 38319 0 0 0 9949 279 0 0 20 0 1 0 335488262 56799232 12852 33554432000 4194304 9016284 140735780274352 140735780268216 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 13867 12852 706 1178 0 12685 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 55468 [startup+162.3 s] /proc/loadavg: 2.05 2.03 2.00 3/177 3565 /proc/meminfo: memFree=27598964/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=79940 CPUtime=162.25 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 46893 0 0 0 15788 437 0 0 20 0 1 0 335488262 81858560 18607 33554432000 4194304 9016284 140735780274352 140735780268216 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 19985 18607 706 1178 0 18803 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 79940 [startup+222.307 s] /proc/loadavg: 2.13 2.06 2.01 3/177 3565 /proc/meminfo: memFree=27575032/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=103196 CPUtime=222.25 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 55694 0 0 0 21629 596 0 0 20 0 1 0 335488262 105672704 24552 33554432000 4194304 9016284 140735780274352 140735780267528 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 25799 24552 706 1178 0 24617 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 103196 [startup+282.3 s] /proc/loadavg: 2.12 2.07 2.01 3/177 3566 /proc/meminfo: memFree=27551772/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=125580 CPUtime=282.24 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 61422 0 0 0 27470 754 0 0 20 0 1 0 335488262 128593920 30278 33554432000 4194304 9016284 140735780274352 140735780268216 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 31395 30278 706 1178 0 30213 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 125580 [startup+342.3 s] /proc/loadavg: 2.08 2.07 2.01 3/177 3566 /proc/meminfo: memFree=27531484/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=144748 CPUtime=342.22 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 66321 0 0 0 33309 913 0 0 20 0 1 0 335488262 148221952 35156 33554432000 4194304 9016284 140735780274352 140735780268280 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 36187 35156 706 1178 0 35005 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 144748 [startup+402.3 s] /proc/loadavg: 2.03 2.06 2.00 3/177 3566 /proc/meminfo: memFree=27509164/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=165640 CPUtime=402.21 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 74474 0 0 0 39160 1061 0 0 20 0 1 0 335488262 169615360 40447 33554432000 4194304 9016284 140735780274352 140735780268248 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 41410 40447 706 1178 0 40228 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 165640 [startup+462.3 s] /proc/loadavg: 2.07 2.06 2.00 3/177 3566 /proc/meminfo: memFree=27490996/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=187616 CPUtime=462.2 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 79024 0 0 0 45001 1219 0 0 20 0 1 0 335488262 192118784 44997 33554432000 4194304 9016284 140735780274352 140735780268312 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 46904 44997 706 1178 0 45722 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 187616 [startup+522.3 s] /proc/loadavg: 2.02 2.05 2.00 3/177 3566 /proc/meminfo: memFree=27470784/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=206728 CPUtime=522.19 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 83895 0 0 0 50867 1352 0 0 20 0 1 0 335488262 211689472 49868 33554432000 4194304 9016284 140735780274352 140735780267768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 51682 49868 706 1178 0 50500 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 206728 [startup+582.3 s] /proc/loadavg: 2.01 2.04 2.00 3/177 3567 /proc/meminfo: memFree=27452880/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=223328 CPUtime=582.18 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 88092 0 0 0 56731 1487 0 0 20 0 1 0 335488262 228687872 54061 33554432000 4194304 9016284 140735780274352 140735780268312 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 55832 54061 706 1178 0 54650 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 223328 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27333100/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=332528 CPUtime=1062.09 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 118735 0 0 0 103524 2685 0 0 20 0 1 0 335488262 340508672 81985 33554432000 4194304 9016284 140735780274352 140735780268680 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 83132 81985 706 1178 0 81950 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 332528 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3572 /proc/meminfo: memFree=27322436/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=344240 CPUtime=1122.09 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 124443 0 0 0 109372 2837 0 0 20 0 1 0 335488262 352501760 84874 33554432000 4194304 9016284 140735780274352 140735780268360 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 86060 84874 706 1178 0 84878 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 344240 [startup+1182.3 s] /proc/loadavg: 2.10 2.03 2.01 3/177 3573 /proc/meminfo: memFree=27313632/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=351468 CPUtime=1182.08 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 126262 0 0 0 115225 2983 0 0 20 0 1 0 335488262 359903232 86691 33554432000 4194304 9016284 140735780274352 140735780268312 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 87867 86691 706 1178 0 86685 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 351468 [startup+1242.3 s] /proc/loadavg: 2.17 2.07 2.02 3/178 3652 /proc/meminfo: memFree=27396188/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=358580 CPUtime=1242.07 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 128050 0 0 0 121078 3129 0 0 20 0 1 0 335488262 367185920 88479 33554432000 4194304 9016284 140735780274352 140735780268216 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 89645 88479 706 1178 0 88463 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 358580 [startup+1302.3 s] /proc/loadavg: 2.06 2.05 2.01 3/177 3652 /proc/meminfo: memFree=27394000/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=365684 CPUtime=1302.05 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 129843 0 0 0 126927 3278 0 0 20 0 1 0 335488262 374460416 90286 33554432000 4194304 9016284 140735780274352 140735780268680 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 91421 90286 706 1178 0 90239 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 365684 [startup+1362.3 s] /proc/loadavg: 2.10 2.06 2.01 3/177 3652 /proc/meminfo: memFree=27387904/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=370228 CPUtime=1362.04 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 130999 0 0 0 132788 3416 0 0 20 0 1 0 335488262 379113472 91433 33554432000 4194304 9016284 140735780274352 140735780268680 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 92557 91433 706 1178 0 91375 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 370228 [startup+1422.3 s] /proc/loadavg: 2.04 2.04 2.00 3/177 3652 /proc/meminfo: memFree=27379844/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=378456 CPUtime=1422.04 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 133036 0 0 0 138659 3545 0 0 20 0 1 0 335488262 387538944 93470 33554432000 4194304 9016284 140735780274352 140735780268264 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 94614 93470 706 1178 0 93432 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 378456 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 3653 /proc/meminfo: memFree=27371040/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=387128 CPUtime=1482.03 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 135217 0 0 0 144528 3675 0 0 20 0 1 0 335488262 396419072 95651 33554432000 4194304 9016284 140735780274352 140735780267976 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 96782 95651 706 1178 0 95600 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 387128 [startup+1542.31 s] /proc/loadavg: 2.00 2.03 2.00 3/177 3653 /proc/meminfo: memFree=27358516/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=399736 CPUtime=1542.02 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 141420 0 0 0 150380 3822 0 0 20 0 1 0 335488262 409329664 98854 33554432000 4194304 9016284 140735780274352 140735780268344 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 99934 98854 706 1178 0 98752 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 399736 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 3653 /proc/meminfo: memFree=27348736/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=409272 CPUtime=1602 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 143774 0 0 0 156224 3976 0 0 20 0 1 0 335488262 419094528 101224 33554432000 4194304 9016284 140735780274352 140735780268680 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 102318 101224 706 1178 0 101136 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 409272 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 3653 /proc/meminfo: memFree=27342472/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=415484 CPUtime=1661.99 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 145343 0 0 0 162087 4112 0 0 20 0 1 0 335488262 425455616 102793 33554432000 4194304 9016284 140735780274352 140735780268456 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 103871 102793 706 1178 0 102689 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 415484 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 3653 /proc/meminfo: memFree=27335156/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=422812 CPUtime=1721.98 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 147190 0 0 0 167952 4246 0 0 20 0 1 0 335488262 432959488 104640 33554432000 4194304 9016284 140735780274352 140735780268680 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 105703 104640 706 1178 0 104521 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 422812 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 3654 /proc/meminfo: memFree=27328956/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=428764 CPUtime=1781.97 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 148692 0 0 0 173820 4377 0 0 20 0 1 0 335488262 439054336 106141 33554432000 4194304 9016284 140735780274352 140735780268520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 107191 106141 706 1178 0 106009 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 428764 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 2.16 2.05 2.01 3/178 3657 /proc/meminfo: memFree=27328436/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=428928 CPUtime=1791.68 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 148712 0 0 0 174765 4403 0 0 20 0 1 0 335488262 439222272 106161 33554432000 4194304 9016284 140735780274352 140735780268680 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 107232 106161 706 1178 0 106050 0 Current children cumulated CPU time (s) 1791.68 Current children cumulated vsize (KiB) 428928 [startup+1795.2 s] /proc/loadavg: 2.15 2.05 2.01 3/178 3657 /proc/meminfo: memFree=27328312/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=428928 CPUtime=1794.87 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 148712 0 0 0 175075 4412 0 0 20 0 1 0 335488262 439222272 106161 33554432000 4194304 9016284 140735780274352 140735780268680 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 107232 106161 706 1178 0 106050 0 Current children cumulated CPU time (s) 1794.87 Current children cumulated vsize (KiB) 428928 [startup+1796.8 s] /proc/loadavg: 2.15 2.05 2.01 3/178 3657 /proc/meminfo: memFree=27328188/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=429084 CPUtime=1796.47 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 148775 0 0 0 175230 4417 0 0 20 0 1 0 335488262 439382016 106224 33554432000 4194304 9016284 140735780274352 140735780268520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 107271 106224 706 1178 0 106089 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (KiB) 429084 [startup+1797.6 s] /proc/loadavg: 2.15 2.05 2.01 3/178 3657 /proc/meminfo: memFree=27328196/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=429084 CPUtime=1797.27 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 148777 0 0 0 175309 4418 0 0 20 0 1 0 335488262 439382016 106226 33554432000 4194304 9016284 140735780274352 140735780270152 6812671 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 107271 106226 708 1178 0 106089 0 Current children cumulated CPU time (s) 1797.27 Current children cumulated vsize (KiB) 429084 [startup+1798 s] /proc/loadavg: 2.15 2.05 2.01 3/178 3657 /proc/meminfo: memFree=27328196/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=429084 CPUtime=1797.67 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 148777 0 0 0 175349 4418 0 0 20 0 1 0 335488262 439382016 106226 33554432000 4194304 9016284 140735780274352 140735780270152 4897739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 107271 106226 708 1178 0 106089 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 429084 [startup+1798.2 s] /proc/loadavg: 2.15 2.05 2.01 3/178 3657 /proc/meminfo: memFree=27328196/32873844 swapFree=7128/7128 [pid=3564] ppid=3562 vsize=429084 CPUtime=1797.87 cores=1,3,5,7 /proc/3564/stat : 3564 (scip-2.0.1.4b_2) R 3562 3564 25330 0 -1 4202496 148777 0 0 0 175369 4418 0 0 20 0 1 0 335488262 439382016 106226 33554432000 4194304 9016284 140735780274352 140735780270152 4897739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/3564/statm: 107271 106226 708 1178 0 106089 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 429084 Child status: 0 Real time (s): 1798.22 CPU time (s): 1797.89 CPU user time (s): 1753.71 CPU system time (s): 44.1863 CPU usage (%): 99.9821 Max. virtual memory (cumulated for all children) (KiB): 429084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.71 system time used= 44.1863 maximum resident set size= 424904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148782 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= 62 involuntary context switches= 1846 runsolver used 3.2595 second user time and 8.17776 second system time The end
Begin job on node105 at 2012-06-03 05:30:13 IDJOB=3731084 IDBENCH=1848 IDSOLVER=2329 FILE ID=node105/3731084-1338694212 RUNJOBID= node105-1338679210-1718 PBS_JOBID= 14636708 Free space on /tmp= 71260 MiB SOLVER NAME= PB11: 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-3731084-1338694212/watcher-3731084-1338694212 -o /tmp/evaluation-result-3731084-1338694212/solver-3731084-1338694212 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731084-1338694212.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED=2111708446 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5447.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27682980 kB Buffers: 545564 kB Cached: 3544776 kB SwapCached: 1700 kB Active: 1258816 kB Inactive: 3050952 kB Active(anon): 215536 kB Inactive(anon): 4800 kB Active(file): 1043280 kB Inactive(file): 3046152 kB Unevictable: 7128 kB Mlocked: 7128 kB SwapTotal: 67108856 kB SwapFree: 67100456 kB Dirty: 16736 kB Writeback: 0 kB AnonPages: 225392 kB Mapped: 11752 kB Shmem: 0 kB Slab: 740996 kB SReclaimable: 182504 kB SUnreclaim: 558492 kB KernelStack: 1488 kB PageTables: 4456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 340732 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 169984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71244 MiB End job on node105 at 2012-06-03 06:00:11