Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 15360 | 1800.08 | 1800.04 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb |
| MD5SUM | 687e90f40c46b53feec9c54ee9b43fa6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15360 |
| Best CPU time to get the best result obtained on this benchmark | 1798.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15360 |
| Optimality of the best value was proved | NO |
| Number of variables | 163 |
| Total number of constraints | 73 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 3 |
| Number of constraints which are nor clauses,nor cardinality constraints | 70 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 102 |
| Number of terms in the objective function | 163 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 74742 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 8192 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 74742 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452666-1307075337.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.05 c (0.0s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (4 rounds):
0.00/0.05 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.05 c 200 implications, 0 cliques
0.00/0.05 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 163 constraints
0.00/0.05 c 63 constraints of type <knapsack>
0.00/0.05 c 100 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.4
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1800
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.04/0.05 o 20480
0.04/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.04/0.05 c T 0.1s| 1 | 0 | 0 | - |1687k| 0 | - | 163 | 163 | 163 | 163 | 0 | 0 | 0 | -- | 2.048000e+04 | Inf
0.04/0.06 c 0.1s| 1 | 0 | 89 | - |1634k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 2.048000e+04 | 53.85%
0.04/0.06 o 19456
0.04/0.06 c R 0.1s| 1 | 0 | 89 | - |1636k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.945600e+04 | 46.15%
0.04/0.06 o 17408
0.04/0.06 c b 0.1s| 1 | 0 | 89 | - |1640k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
0.38/0.46 o 16384
0.38/0.46 c E 0.5s| 1 | 0 | 89 | - |1690k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.38/0.47 c 0.5s| 1 | 0 | 89 | - |1690k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.49/0.54 c 0.5s| 1 | 2 | 89 | - |1691k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 10 | 1.331200e+04 | 1.638400e+04 | 23.08%
2.29/2.30 o 16384
2.29/2.30 c z 2.3s| 227 | 228 | 10597 | 46.5 |2026k| 29 | 31 | 163 | 207 | 163 | 163 | 0 | 4 | 529 | 1.408000e+04 | 1.638400e+04 | 16.36%
19.70/19.81 o 15872
19.70/19.81 c p19.8s| 8038 | 7249 |430750 | 53.6 |5136k| 37 | - | 163 | 254 | 163 | 163 | 0 | 78 |2058 | 1.420800e+04 | 1.587200e+04 | 11.71%
24.29/24.39 c 24.4s| 10000 | 8863 |533930 | 53.4 |6047k| 37 | 8 | 163 | 220 | 163 | 163 | 0 | 90 |2331 | 1.420800e+04 | 1.587200e+04 | 11.71%
24.68/24.74 o 15360
24.68/24.74 c v24.7s| 10194 | 8252 |542319 | 53.2 |5762k| 37 | - | 163 | 219 | 163 | 163 | 0 | 91 |2359 | 1.420800e+04 | 1.536000e+04 | 8.11%
42.09/42.19 c 42.2s| 20000 | 14736 |957773 | 47.9 |9910k| 37 | 13 | 163 | 199 | 163 | 163 | 0 | 130 |3574 | 1.420800e+04 | 1.536000e+04 | 8.11%
58.69/58.77 c 58.8s| 30000 | 21262 | 1352k| 45.1 | 14M| 37 | 22 | 163 | 184 | 163 | 163 | 0 | 160 |4523 | 1.425067e+04 | 1.536000e+04 | 7.78%
71.99/72.08 c 72.1s| 40000 | 27492 | 1662k| 41.6 | 18M| 37 | 12 | 163 | 180 | 163 | 163 | 0 | 178 |5265 | 1.430400e+04 | 1.536000e+04 | 7.38%
84.09/84.12 c 84.1s| 50000 | 33778 | 1938k| 38.8 | 22M| 37 | 22 | 163 | 173 | 163 | 163 | 0 | 192 |5819 | 1.433600e+04 | 1.536000e+04 | 7.14%
96.09/96.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.09/96.10 c 96.1s| 60000 | 39998 | 2213k| 36.9 | 26M| 38 | - | 163 | 172 | 163 | 163 | 0 | 206 |6409 | 1.433600e+04 | 1.536000e+04 | 7.14%
107.29/107.33 c 107s| 70000 | 46118 | 2469k| 35.3 | 30M| 39 | 18 | 163 | 174 | 163 | 163 | 0 | 219 |6836 | 1.433600e+04 | 1.536000e+04 | 7.14%
118.70/118.78 c 119s| 80000 | 52198 | 2727k| 34.1 | 34M| 41 | 13 | 163 | 172 | 163 | 163 | 0 | 233 |7325 | 1.433600e+04 | 1.536000e+04 | 7.14%
129.09/129.10 c 129s| 90000 | 57458 | 2962k| 32.9 | 37M| 41 | 5 | 163 | 174 | 163 | 163 | 0 | 247 |7708 | 1.433600e+04 | 1.536000e+04 | 7.14%
139.39/139.45 c 139s|100000 | 62818 | 3201k| 32.0 | 41M| 41 | 20 | 163 | 173 | 163 | 163 | 0 | 260 |8156 | 1.433600e+04 | 1.536000e+04 | 7.14%
149.39/149.46 c 149s|110000 | 67722 | 3424k| 31.1 | 44M| 41 | 16 | 163 | 170 | 163 | 163 | 0 | 272 |8622 | 1.433600e+04 | 1.536000e+04 | 7.14%
158.79/158.83 c 159s|120000 | 72738 | 3640k| 30.3 | 48M| 44 | 24 | 163 | 170 | 163 | 163 | 0 | 279 |8897 | 1.433600e+04 | 1.536000e+04 | 7.14%
168.79/168.86 c 169s|130000 | 77810 | 3867k| 29.7 | 51M| 44 | 19 | 163 | 173 | 163 | 163 | 0 | 295 |9349 | 1.433600e+04 | 1.536000e+04 | 7.14%
178.39/178.47 c 178s|140000 | 82708 | 4087k| 29.2 | 54M| 44 | 19 | 163 | 181 | 163 | 163 | 0 | 314 |9654 | 1.433600e+04 | 1.536000e+04 | 7.14%
188.19/188.22 c 188s|150000 | 87392 | 4306k| 28.7 | 58M| 44 | 8 | 163 | 175 | 163 | 163 | 0 | 333 |9898 | 1.433600e+04 | 1.536000e+04 | 7.14%
197.79/197.91 c 198s|160000 | 92212 | 4527k| 28.3 | 61M| 44 | - | 163 | 181 | 163 | 163 | 0 | 359 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
207.69/207.74 c 208s|170000 | 97196 | 4752k| 28.0 | 64M| 44 | 27 | 163 | 174 | 163 | 163 | 0 | 371 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
217.59/217.60 c 218s|180000 |102308 | 4976k| 27.6 | 68M| 44 | - | 163 | 167 | 163 | 163 | 0 | 378 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
227.80/227.89 c 228s|190000 |107976 | 5213k| 27.4 | 71M| 44 | 26 | 163 | 176 | 163 | 163 | 0 | 392 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
237.29/237.35 c 237s|200000 |112866 | 5426k| 27.1 | 75M| 44 | 26 | 163 | 178 | 163 | 163 | 0 | 408 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
247.00/247.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.00/247.07 c 247s|210000 |118174 | 5649k| 26.9 | 78M| 44 | - | 163 | 176 | 163 | 163 | 0 | 422 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
255.89/255.93 c 256s|220000 |122498 | 5846k| 26.6 | 81M| 44 | 24 | 163 | 167 | 163 | 163 | 0 | 435 | 11k| 1.437257e+04 | 1.536000e+04 | 6.87%
265.40/265.45 c 265s|230000 |126018 | 6029k| 26.2 | 84M| 44 | - | 163 | 169 | 163 | 163 | 0 | 455 | 12k| 1.437867e+04 | 1.536000e+04 | 6.82%
273.91/274.00 c 274s|240000 |129600 | 6216k| 25.9 | 87M| 44 | 21 | 163 | 171 | 163 | 163 | 0 | 473 | 12k| 1.438720e+04 | 1.536000e+04 | 6.76%
282.49/282.55 c 283s|250000 |133114 | 6404k| 25.6 | 90M| 44 | 18 | 163 | 182 | 163 | 163 | 0 | 498 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
290.69/290.73 c 291s|260000 |136470 | 6587k| 25.3 | 93M| 44 | - | 163 | 174 | 163 | 163 | 0 | 520 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
298.89/298.96 c 299s|270000 |139776 | 6764k| 25.1 | 95M| 44 | - | 163 | 172 | 163 | 163 | 0 | 531 | 12k| 1.440914e+04 | 1.536000e+04 | 6.60%
307.00/307.07 c 307s|280000 |142884 | 6941k| 24.8 | 98M| 44 | 7 | 163 | 178 | 163 | 163 | 0 | 557 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
315.00/315.08 c 315s|290000 |145892 | 7116k| 24.5 | 100M| 44 | - | 163 | 181 | 163 | 163 | 0 | 584 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
322.99/323.00 c 323s|300000 |149032 | 7288k| 24.3 | 103M| 44 | 7 | 163 | 176 | 163 | 163 | 0 | 610 | 13k| 1.443200e+04 | 1.536000e+04 | 6.43%
330.80/330.82 c 331s|310000 |151992 | 7456k| 24.1 | 106M| 44 | - | 163 | 169 | 163 | 163 | 0 | 628 | 13k| 1.443840e+04 | 1.536000e+04 | 6.38%
338.59/338.71 c 339s|320000 |154886 | 7630k| 23.8 | 108M| 44 | - | 163 | 168 | 163 | 163 | 0 | 638 | 13k| 1.444571e+04 | 1.536000e+04 | 6.33%
346.19/346.22 c 346s|330000 |157658 | 7789k| 23.6 | 110M| 44 | - | 163 | 169 | 163 | 163 | 0 | 649 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
353.50/353.50 c 353s|340000 |160290 | 7940k| 23.4 | 113M| 44 | 19 | 163 | 168 | 163 | 163 | 0 | 659 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
360.89/360.94 c 361s|350000 |163104 | 8095k| 23.1 | 115M| 44 | 15 | 163 | 165 | 163 | 163 | 0 | 663 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
368.19/368.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.19/368.24 c 368s|360000 |165766 | 8249k| 22.9 | 118M| 44 | - | 163 | 177 | 163 | 163 | 0 | 688 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
375.39/375.45 c 375s|370000 |168410 | 8403k| 22.7 | 120M| 44 | 21 | 163 | 169 | 163 | 163 | 0 | 703 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
382.89/382.93 c 383s|380000 |171062 | 8557k| 22.5 | 122M| 44 | 13 | 163 | 169 | 163 | 163 | 0 | 717 | 14k| 1.448229e+04 | 1.536000e+04 | 6.06%
390.09/390.13 c 390s|390000 |173522 | 8708k| 22.3 | 124M| 44 | 16 | 163 | 181 | 163 | 163 | 0 | 743 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
397.29/397.33 c 397s|400000 |175934 | 8854k| 22.1 | 126M| 44 | - | 163 | 169 | 163 | 163 | 0 | 765 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
404.49/404.51 c 405s|410000 |178334 | 9004k| 22.0 | 129M| 44 | 14 | 163 | 177 | 163 | 163 | 0 | 794 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
411.80/411.84 c 412s|420000 |180736 | 9157k| 21.8 | 131M| 44 | 22 | 163 | 166 | 163 | 163 | 0 | 802 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
419.00/419.07 c 419s|430000 |183050 | 9308k| 21.6 | 133M| 44 | - | 163 | 175 | 163 | 163 | 0 | 824 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
426.09/426.18 c 426s|440000 |185210 | 9457k| 21.5 | 135M| 44 | 13 | 163 | 171 | 163 | 163 | 0 | 841 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
433.00/433.01 c 433s|450000 |187456 | 9600k| 21.3 | 137M| 44 | - | 163 | 178 | 163 | 163 | 0 | 866 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
440.10/440.10 c 440s|460000 |189694 | 9749k| 21.2 | 139M| 44 | - | 163 | 182 | 163 | 163 | 0 | 891 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
447.20/447.22 c 447s|470000 |191904 | 9900k| 21.1 | 141M| 44 | 25 | 163 | 176 | 163 | 163 | 0 | 904 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
454.10/454.14 c 454s|480000 |194054 | 10047k| 20.9 | 143M| 44 | 13 | 163 | 172 | 163 | 163 | 0 | 917 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
460.70/460.75 c 461s|490000 |196142 | 10182k| 20.8 | 145M| 44 | - | 163 | 175 | 163 | 163 | 0 | 929 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
467.70/467.74 c 468s|500000 |198382 | 10325k| 20.7 | 147M| 44 | 11 | 163 | 169 | 163 | 163 | 0 | 940 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
474.40/474.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.40/474.45 c 474s|510000 |200446 | 10463k| 20.5 | 149M| 44 | - | 163 | 164 | 163 | 163 | 0 | 949 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
480.90/480.96 c 481s|520000 |202428 | 10596k| 20.4 | 151M| 44 | 14 | 163 | 169 | 163 | 163 | 0 | 966 | 16k| 1.454080e+04 | 1.536000e+04 | 5.63%
487.40/487.45 c 487s|530000 |204406 | 10729k| 20.2 | 153M| 44 | - | 163 | 166 | 163 | 163 | 0 | 970 | 16k| 1.454080e+04 | 1.536000e+04 | 5.63%
494.00/494.05 c 494s|540000 |206336 | 10864k| 20.1 | 155M| 44 | - | 163 | 167 | 163 | 163 | 0 | 988 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
500.30/500.41 c 500s|550000 |208124 | 10991k| 20.0 | 157M| 44 | - | 163 | 170 | 163 | 163 | 0 |1000 | 17k| 1.454933e+04 | 1.536000e+04 | 5.57%
506.90/506.91 c 507s|560000 |209984 | 11123k| 19.9 | 159M| 44 | - | 163 | 168 | 163 | 163 | 0 |1013 | 17k| 1.455543e+04 | 1.536000e+04 | 5.53%
513.19/513.26 c 513s|570000 |211834 | 11251k| 19.7 | 161M| 44 | 7 | 163 | 170 | 163 | 163 | 0 |1040 | 17k| 1.457694e+04 | 1.536000e+04 | 5.37%
520.00/520.07 c 520s|580000 |213836 | 11389k| 19.6 | 162M| 44 | 17 | 163 | 171 | 163 | 163 | 0 |1054 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
526.92/526.94 c 527s|590000 |215850 | 11532k| 19.5 | 164M| 44 | - | 163 | 176 | 163 | 163 | 0 |1070 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
533.60/533.60 c 534s|600000 |217710 | 11671k| 19.5 | 166M| 44 | 15 | 163 | 178 | 163 | 163 | 0 |1088 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
540.30/540.30 c 540s|610000 |219520 | 11813k| 19.4 | 168M| 44 | 15 | 163 | 175 | 163 | 163 | 0 |1102 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
547.00/547.01 c 547s|620000 |221444 | 11955k| 19.3 | 170M| 44 | 19 | 163 | 170 | 163 | 163 | 0 |1126 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
553.40/553.41 c 553s|630000 |223058 | 12089k| 19.2 | 172M| 44 | 29 | 163 | 171 | 163 | 163 | 0 |1136 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
560.20/560.22 c 560s|640000 |225004 | 12234k| 19.1 | 173M| 44 | - | 163 | 171 | 163 | 163 | 0 |1147 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
566.80/566.88 c 567s|650000 |226932 | 12376k| 19.0 | 175M| 44 | 22 | 163 | 169 | 163 | 163 | 0 |1165 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
573.30/573.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.30/573.31 c 573s|660000 |228806 | 12509k| 19.0 | 177M| 44 | 12 | 163 | 173 | 163 | 163 | 0 |1182 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
579.61/579.67 c 580s|670000 |230576 | 12640k| 18.9 | 179M| 44 | - | 163 | 167 | 163 | 163 | 0 |1193 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
586.21/586.24 c 586s|680000 |232426 | 12776k| 18.8 | 181M| 44 | - | 163 | 172 | 163 | 163 | 0 |1205 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
593.00/593.08 c 593s|690000 |234378 | 12925k| 18.7 | 183M| 44 | 18 | 163 | 170 | 163 | 163 | 0 |1215 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
599.80/599.89 c 600s|700000 |236360 | 13069k| 18.7 | 184M| 44 | - | 163 | 172 | 163 | 163 | 0 |1222 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
606.31/606.31 c 606s|710000 |238122 | 13201k| 18.6 | 186M| 44 | - | 163 | 165 | 163 | 163 | 0 |1224 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
612.61/612.63 c 613s|720000 |239780 | 13331k| 18.5 | 188M| 44 | 12 | 163 | 164 | 163 | 163 | 0 |1226 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
619.01/619.05 c 619s|730000 |241560 | 13462k| 18.4 | 190M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1238 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
625.40/625.47 c 625s|740000 |243348 | 13592k| 18.4 | 191M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1248 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
632.10/632.10 c 632s|750000 |245238 | 13731k| 18.3 | 193M| 44 | - | 163 | 163 | 163 | 163 | 0 |1251 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
638.80/638.88 c 639s|760000 |247180 | 13874k| 18.3 | 195M| 44 | - | 163 | 173 | 163 | 163 | 0 |1265 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
645.51/645.53 c 646s|770000 |248978 | 14011k| 18.2 | 197M| 44 | - | 163 | 172 | 163 | 163 | 0 |1275 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
652.10/652.15 c 652s|780000 |250776 | 14149k| 18.1 | 199M| 44 | 15 | 163 | 167 | 163 | 163 | 0 |1277 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
658.92/658.99 c 659s|790000 |252636 | 14293k| 18.1 | 200M| 44 | - | 163 | 172 | 163 | 163 | 0 |1287 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
665.52/665.55 c 666s|800000 |254390 | 14431k| 18.0 | 202M| 44 | 12 | 163 | 173 | 163 | 163 | 0 |1300 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
671.90/671.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.90/671.96 c 672s|810000 |256260 | 14565k| 18.0 | 204M| 44 | 13 | 163 | 175 | 163 | 163 | 0 |1310 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
678.51/678.51 c 679s|820000 |258204 | 14699k| 17.9 | 206M| 44 | - | 163 | 168 | 163 | 163 | 0 |1321 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
685.40/685.41 c 685s|830000 |260338 | 14843k| 17.9 | 208M| 44 | 14 | 163 | 169 | 163 | 163 | 0 |1327 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
692.40/692.48 c 692s|840000 |262798 | 14993k| 17.8 | 210M| 44 | 16 | 163 | 170 | 163 | 163 | 0 |1337 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
698.81/698.81 c 699s|850000 |264424 | 15121k| 17.8 | 212M| 44 | 16 | 163 | 167 | 163 | 163 | 0 |1342 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
705.70/705.77 c 706s|860000 |266520 | 15268k| 17.8 | 214M| 44 | - | 163 | 165 | 163 | 163 | 0 |1350 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
712.20/712.24 c 712s|870000 |268408 | 15403k| 17.7 | 215M| 44 | - | 163 | 167 | 163 | 163 | 0 |1358 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
718.32/718.39 c 718s|880000 |270026 | 15526k| 17.6 | 217M| 44 | 13 | 163 | 165 | 163 | 163 | 0 |1363 | 20k| 1.461760e+04 | 1.536000e+04 | 5.08%
724.21/724.21 c 724s|890000 |271142 | 15640k| 17.6 | 218M| 44 | - | 163 | 168 | 163 | 163 | 0 |1370 | 20k| 1.462400e+04 | 1.536000e+04 | 5.03%
729.90/729.94 c 730s|900000 |272352 | 15753k| 17.5 | 220M| 44 | 13 | 163 | 166 | 163 | 163 | 0 |1372 | 21k| 1.463138e+04 | 1.536000e+04 | 4.98%
735.60/735.67 c 736s|910000 |273326 | 15862k| 17.4 | 221M| 44 | 10 | 163 | 167 | 163 | 163 | 0 |1376 | 21k| 1.463467e+04 | 1.536000e+04 | 4.96%
741.21/741.31 c 741s|920000 |274316 | 15973k| 17.4 | 222M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1376 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
746.92/746.93 c 747s|930000 |275412 | 16086k| 17.3 | 224M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1377 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
752.42/752.49 c 752s|940000 |276466 | 16195k| 17.2 | 225M| 44 | - | 163 | 163 | 163 | 163 | 0 |1378 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
757.92/757.97 c 758s|950000 |277452 | 16304k| 17.2 | 226M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1380 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
763.50/763.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.50/763.50 c 763s|960000 |278414 | 16412k| 17.1 | 228M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1382 | 21k| 1.465224e+04 | 1.536000e+04 | 4.83%
769.10/769.15 c 769s|970000 |279436 | 16524k| 17.0 | 229M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1384 | 21k| 1.465600e+04 | 1.536000e+04 | 4.80%
774.81/774.82 c 775s|980000 |280494 | 16634k| 17.0 | 230M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1387 | 21k| 1.465600e+04 | 1.536000e+04 | 4.80%
780.40/780.49 c 780s|990000 |281438 | 16746k| 16.9 | 232M| 44 | - | 163 | 164 | 163 | 163 | 0 |1389 | 21k| 1.466027e+04 | 1.536000e+04 | 4.77%
786.00/786.04 c 786s| 1000k|282434 | 16854k| 16.9 | 233M| 44 | 12 | 163 | 163 | 163 | 163 | 0 |1389 | 21k| 1.466880e+04 | 1.536000e+04 | 4.71%
791.51/791.58 c 792s| 1010k|283316 | 16961k| 16.8 | 234M| 44 | - | 163 | 163 | 163 | 163 | 0 |1389 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
797.11/797.12 c 797s| 1020k|284160 | 17072k| 16.7 | 235M| 44 | - | 163 | 164 | 163 | 163 | 0 |1394 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
802.71/802.70 c 803s| 1030k|285000 | 17178k| 16.7 | 236M| 44 | - | 163 | 163 | 163 | 163 | 0 |1395 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
808.11/808.19 c 808s| 1040k|285832 | 17283k| 16.6 | 238M| 44 | - | 163 | 166 | 163 | 163 | 0 |1398 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
813.71/813.78 c 814s| 1050k|286720 | 17389k| 16.6 | 239M| 44 | 14 | 163 | 164 | 163 | 163 | 0 |1401 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
819.21/819.25 c 819s| 1060k|287534 | 17495k| 16.5 | 240M| 44 | - | 163 | 163 | 163 | 163 | 0 |1401 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
824.81/824.89 c 825s| 1070k|288522 | 17603k| 16.5 | 241M| 44 | 18 | 163 | 165 | 163 | 163 | 0 |1404 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
830.31/830.38 c 830s| 1080k|289458 | 17709k| 16.4 | 242M| 44 | - | 163 | 165 | 163 | 163 | 0 |1406 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
835.71/835.76 c 836s| 1090k|290210 | 17813k| 16.3 | 243M| 44 | - | 163 | 163 | 163 | 163 | 0 |1406 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
841.10/841.14 c 841s| 1100k|291070 | 17921k| 16.3 | 245M| 44 | 11 | 163 | 163 | 163 | 163 | 0 |1410 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
846.80/846.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.80/846.84 c 847s| 1110k|292026 | 18030k| 16.2 | 246M| 44 | 12 | 163 | 169 | 163 | 163 | 0 |1421 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
852.11/852.14 c 852s| 1120k|292836 | 18133k| 16.2 | 247M| 44 | - | 163 | 166 | 163 | 163 | 0 |1424 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
857.40/857.41 c 857s| 1130k|293452 | 18236k| 16.1 | 248M| 44 | 21 | 163 | 163 | 163 | 163 | 0 |1425 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
862.71/862.76 c 863s| 1140k|294188 | 18339k| 16.1 | 249M| 44 | 11 | 163 | 165 | 163 | 163 | 0 |1427 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
868.01/868.08 c 868s| 1150k|294822 | 18443k| 16.0 | 250M| 44 | 23 | 163 | 163 | 163 | 163 | 0 |1430 | 23k| 1.469867e+04 | 1.536000e+04 | 4.50%
873.21/873.28 c 873s| 1160k|295414 | 18543k| 16.0 | 251M| 44 | 17 | 163 | 163 | 163 | 163 | 0 |1430 | 23k| 1.470171e+04 | 1.536000e+04 | 4.48%
878.60/878.66 c 879s| 1170k|296106 | 18647k| 15.9 | 252M| 44 | 21 | 163 | 163 | 163 | 163 | 0 |1442 | 23k| 1.470836e+04 | 1.536000e+04 | 4.43%
884.10/884.14 c 884s| 1180k|296804 | 18754k| 15.9 | 253M| 44 | 20 | 163 | 163 | 163 | 163 | 0 |1444 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
889.61/889.67 c 890s| 1190k|297612 | 18862k| 15.9 | 254M| 44 | - | 163 | 163 | 163 | 163 | 0 |1444 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
895.21/895.24 c 895s| 1200k|298550 | 18976k| 15.8 | 256M| 44 | - | 163 | 167 | 163 | 163 | 0 |1448 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
900.61/900.64 c 901s| 1210k|299216 | 19081k| 15.8 | 257M| 44 | - | 163 | 163 | 163 | 163 | 0 |1451 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
906.20/906.20 c 906s| 1220k|300044 | 19187k| 15.7 | 258M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1453 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
911.31/911.38 c 911s| 1230k|300688 | 19286k| 15.7 | 259M| 44 | - | 163 | 163 | 163 | 163 | 0 |1453 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
916.81/916.81 c 917s| 1240k|301640 | 19396k| 15.6 | 260M| 44 | - | 163 | 167 | 163 | 163 | 0 |1459 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
922.41/922.49 c 922s| 1250k|302706 | 19508k| 15.6 | 261M| 44 | 21 | 163 | 168 | 163 | 163 | 0 |1466 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
927.81/927.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.81/927.87 c 928s| 1260k|303632 | 19612k| 15.6 | 263M| 44 | 17 | 163 | 166 | 163 | 163 | 0 |1469 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
933.21/933.27 c 933s| 1270k|304380 | 19719k| 15.5 | 264M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1470 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
938.61/938.62 c 939s| 1280k|304990 | 19821k| 15.5 | 265M| 44 | - | 163 | 164 | 163 | 163 | 0 |1471 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
943.83/943.88 c 944s| 1290k|305610 | 19925k| 15.4 | 266M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1476 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
949.22/949.23 c 949s| 1300k|306260 | 20027k| 15.4 | 267M| 44 | - | 163 | 164 | 163 | 163 | 0 |1476 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
954.51/954.51 c 955s| 1310k|306862 | 20128k| 15.4 | 268M| 44 | - | 163 | 165 | 163 | 163 | 0 |1480 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
960.01/960.01 c 960s| 1320k|307620 | 20233k| 15.3 | 269M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1482 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
965.41/965.44 c 965s| 1330k|308280 | 20337k| 15.3 | 270M| 44 | - | 163 | 163 | 163 | 163 | 0 |1483 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
970.91/970.95 c 971s| 1340k|309152 | 20446k| 15.3 | 271M| 44 | 13 | 163 | 167 | 163 | 163 | 0 |1487 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
976.41/976.48 c 976s| 1350k|309806 | 20552k| 15.2 | 272M| 44 | - | 163 | 165 | 163 | 163 | 0 |1487 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
982.01/982.00 c 982s| 1360k|310530 | 20660k| 15.2 | 273M| 44 | 21 | 163 | 165 | 163 | 163 | 0 |1489 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
987.51/987.55 c 988s| 1370k|311326 | 20769k| 15.2 | 274M| 44 | 34 | 163 | 165 | 163 | 163 | 0 |1490 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
992.81/992.89 c 993s| 1380k|311942 | 20873k| 15.1 | 275M| 44 | 16 | 163 | 165 | 163 | 163 | 0 |1492 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
998.31/998.37 c 998s| 1390k|312844 | 20980k| 15.1 | 276M| 44 | - | 163 | 165 | 163 | 163 | 0 |1500 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1004.11/1004.13 c 1004s| 1400k|313898 | 21093k| 15.1 | 278M| 44 | 20 | 163 | 169 | 163 | 163 | 0 |1512 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1009.31/1009.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.31/1009.39 c 1009s| 1410k|314656 | 21199k| 15.0 | 279M| 44 | 19 | 163 | 164 | 163 | 163 | 0 |1517 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1014.61/1014.68 c 1015s| 1420k|315304 | 21303k| 15.0 | 280M| 44 | - | 163 | 163 | 163 | 163 | 0 |1517 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1020.01/1020.08 c 1020s| 1430k|315968 | 21406k| 15.0 | 281M| 44 | - | 163 | 164 | 163 | 163 | 0 |1523 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1025.31/1025.38 c 1025s| 1440k|316636 | 21508k| 14.9 | 282M| 44 | - | 163 | 165 | 163 | 163 | 0 |1527 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1030.91/1030.99 c 1031s| 1450k|317402 | 21617k| 14.9 | 283M| 44 | - | 163 | 164 | 163 | 163 | 0 |1533 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1036.41/1036.49 c 1036s| 1460k|318260 | 21723k| 14.9 | 284M| 44 | 11 | 163 | 165 | 163 | 163 | 0 |1537 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1042.21/1042.24 c 1042s| 1470k|319202 | 21837k| 14.9 | 285M| 44 | 24 | 163 | 163 | 163 | 163 | 0 |1542 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1047.61/1047.68 c 1048s| 1480k|319962 | 21944k| 14.8 | 286M| 44 | 22 | 163 | 169 | 163 | 163 | 0 |1550 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1053.51/1053.52 c 1054s| 1490k|320972 | 22059k| 14.8 | 287M| 44 | 11 | 163 | 167 | 163 | 163 | 0 |1561 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1058.92/1058.93 c 1059s| 1500k|321496 | 22160k| 14.8 | 288M| 44 | - | 163 | 165 | 163 | 163 | 0 |1564 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1064.02/1064.07 c 1064s| 1510k|321938 | 22258k| 14.7 | 289M| 44 | 12 | 163 | 164 | 163 | 163 | 0 |1565 | 26k| 1.473422e+04 | 1.536000e+04 | 4.25%
1068.92/1068.99 c 1069s| 1520k|322296 | 22351k| 14.7 | 290M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1566 | 26k| 1.474133e+04 | 1.536000e+04 | 4.20%
1074.01/1074.08 c 1074s| 1530k|322488 | 22447k| 14.7 | 291M| 44 | 19 | 163 | 163 | 163 | 163 | 0 |1566 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
1079.02/1079.06 c 1079s| 1540k|322678 | 22542k| 14.6 | 291M| 44 | - | 163 | 163 | 163 | 163 | 0 |1568 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
1084.31/1084.30 c 1084s| 1550k|323006 | 22638k| 14.6 | 292M| 44 | 6 | 163 | 167 | 163 | 163 | 0 |1576 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
1089.51/1089.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.51/1089.58 c 1090s| 1560k|323288 | 22733k| 14.6 | 293M| 44 | 23 | 163 | 163 | 163 | 163 | 0 |1576 | 26k| 1.475200e+04 | 1.536000e+04 | 4.12%
1094.53/1094.58 c 1095s| 1570k|323424 | 22826k| 14.5 | 293M| 44 | - | 163 | 166 | 163 | 163 | 0 |1580 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1099.71/1099.76 c 1100s| 1580k|323696 | 22925k| 14.5 | 294M| 44 | 13 | 163 | 165 | 163 | 163 | 0 |1583 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1104.81/1104.88 c 1105s| 1590k|323824 | 23021k| 14.5 | 295M| 44 | 21 | 163 | 167 | 163 | 163 | 0 |1586 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1110.01/1110.06 c 1110s| 1600k|324038 | 23112k| 14.4 | 295M| 44 | - | 163 | 167 | 163 | 163 | 0 |1586 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1115.12/1115.15 c 1115s| 1610k|324068 | 23206k| 14.4 | 296M| 44 | 22 | 163 | 163 | 163 | 163 | 0 |1588 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1120.02/1120.09 c 1120s| 1620k|324158 | 23296k| 14.4 | 296M| 44 | - | 163 | 164 | 163 | 163 | 0 |1589 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1125.12/1125.18 c 1125s| 1630k|324444 | 23392k| 14.4 | 297M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1590 | 27k| 1.476800e+04 | 1.536000e+04 | 4.01%
1130.01/1130.03 c 1130s| 1640k|324468 | 23480k| 14.3 | 298M| 44 | - | 163 | 163 | 163 | 163 | 0 |1594 | 27k| 1.477486e+04 | 1.536000e+04 | 3.96%
1135.12/1135.12 c 1135s| 1650k|324808 | 23579k| 14.3 | 298M| 44 | - | 163 | 163 | 163 | 163 | 0 |1595 | 27k| 1.477486e+04 | 1.536000e+04 | 3.96%
1140.21/1140.23 c 1140s| 1660k|325040 | 23678k| 14.3 | 299M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1601 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1145.32/1145.31 c 1145s| 1670k|325170 | 23773k| 14.2 | 300M| 44 | - | 163 | 165 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1150.31/1150.36 c 1150s| 1680k|325314 | 23866k| 14.2 | 300M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1155.41/1155.40 c 1155s| 1690k|325362 | 23957k| 14.2 | 301M| 44 | - | 163 | 163 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1160.32/1160.40 c 1160s| 1700k|325398 | 24051k| 14.1 | 301M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1608 | 27k| 1.479111e+04 | 1.536000e+04 | 3.85%
1165.32/1165.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.32/1165.38 c 1165s| 1710k|325494 | 24145k| 14.1 | 302M| 44 | - | 163 | 163 | 163 | 163 | 0 |1608 | 27k| 1.479680e+04 | 1.536000e+04 | 3.81%
1170.33/1170.41 c 1170s| 1720k|325722 | 24241k| 14.1 | 303M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1610 | 27k| 1.479680e+04 | 1.536000e+04 | 3.81%
1175.61/1175.64 c 1176s| 1730k|325944 | 24338k| 14.1 | 303M| 44 | 10 | 163 | 163 | 163 | 163 | 0 |1612 | 28k| 1.480533e+04 | 1.536000e+04 | 3.75%
1180.71/1180.73 c 1181s| 1740k|325962 | 24433k| 14.0 | 304M| 44 | 27 | 163 | 163 | 163 | 163 | 0 |1613 | 28k| 1.480862e+04 | 1.536000e+04 | 3.72%
1185.52/1185.59 c 1186s| 1750k|325764 | 24521k| 14.0 | 304M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1618 | 28k| 1.481600e+04 | 1.536000e+04 | 3.67%
1190.51/1190.50 c 1190s| 1760k|325768 | 24611k| 14.0 | 305M| 44 | - | 163 | 164 | 163 | 163 | 0 |1619 | 28k| 1.483337e+04 | 1.536000e+04 | 3.55%
1195.81/1195.85 c 1196s| 1770k|326254 | 24713k| 14.0 | 306M| 44 | - | 163 | 166 | 163 | 163 | 0 |1621 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1201.31/1201.30 c 1201s| 1780k|326792 | 24822k| 13.9 | 306M| 44 | - | 163 | 165 | 163 | 163 | 0 |1628 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1206.52/1206.58 c 1207s| 1790k|327062 | 24928k| 13.9 | 307M| 44 | 16 | 163 | 165 | 163 | 163 | 0 |1635 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1211.61/1211.61 c 1212s| 1800k|327256 | 25025k| 13.9 | 307M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1635 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1216.92/1216.94 c 1217s| 1810k|327622 | 25136k| 13.9 | 308M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1636 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1222.13/1222.15 c 1222s| 1820k|328074 | 25239k| 13.9 | 309M| 44 | - | 163 | 163 | 163 | 163 | 0 |1641 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1227.21/1227.25 c 1227s| 1830k|328300 | 25334k| 13.8 | 309M| 44 | - | 163 | 168 | 163 | 163 | 0 |1648 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1232.32/1232.35 c 1232s| 1840k|328466 | 25436k| 13.8 | 310M| 44 | 14 | 163 | 163 | 163 | 163 | 0 |1648 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1238.02/1238.05 c 1238s| 1850k|329460 | 25554k| 13.8 | 311M| 44 | 6 | 163 | 163 | 163 | 163 | 0 |1652 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1243.12/1243.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.12/1243.16 c 1243s| 1860k|329738 | 25651k| 13.8 | 312M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1652 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1248.22/1248.22 c 1248s| 1870k|330060 | 25750k| 13.8 | 312M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1654 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1253.52/1253.55 c 1254s| 1880k|330428 | 25852k| 13.8 | 313M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1662 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1258.72/1258.70 c 1259s| 1890k|330674 | 25954k| 13.7 | 314M| 44 | - | 163 | 163 | 163 | 163 | 0 |1663 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1263.71/1263.71 c 1264s| 1900k|330930 | 26052k| 13.7 | 314M| 44 | - | 163 | 163 | 163 | 163 | 0 |1666 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1268.72/1268.76 c 1269s| 1910k|331404 | 26151k| 13.7 | 315M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1667 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1273.83/1273.84 c 1274s| 1920k|331472 | 26245k| 13.7 | 316M| 44 | - | 163 | 163 | 163 | 163 | 0 |1669 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1278.92/1278.92 c 1279s| 1930k|331712 | 26345k| 13.7 | 316M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1674 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1283.91/1283.92 c 1284s| 1940k|331916 | 26441k| 13.6 | 317M| 44 | - | 163 | 166 | 163 | 163 | 0 |1677 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1289.02/1289.00 c 1289s| 1950k|332054 | 26541k| 13.6 | 317M| 44 | - | 163 | 164 | 163 | 163 | 0 |1680 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1294.32/1294.32 c 1294s| 1960k|332534 | 26643k| 13.6 | 318M| 44 | - | 163 | 166 | 163 | 163 | 0 |1686 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1299.32/1299.34 c 1299s| 1970k|332700 | 26737k| 13.6 | 319M| 44 | - | 163 | 166 | 163 | 163 | 0 |1689 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1304.32/1304.32 c 1304s| 1980k|332788 | 26831k| 13.6 | 319M| 44 | - | 163 | 165 | 163 | 163 | 0 |1692 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1309.52/1309.59 c 1310s| 1990k|333304 | 26934k| 13.5 | 320M| 44 | 15 | 163 | 166 | 163 | 163 | 0 |1697 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1314.72/1314.70 c 1315s| 2000k|333716 | 27036k| 13.5 | 320M| 44 | 10 | 163 | 166 | 163 | 163 | 0 |1701 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1320.21/1320.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.21/1320.25 c 1320s| 2010k|334648 | 27149k| 13.5 | 322M| 44 | 19 | 163 | 164 | 163 | 163 | 0 |1703 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1325.43/1325.48 c 1325s| 2020k|335406 | 27256k| 13.5 | 322M| 44 | 7 | 163 | 163 | 163 | 163 | 0 |1706 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1330.52/1330.50 c 1330s| 2030k|335672 | 27356k| 13.5 | 323M| 44 | - | 163 | 168 | 163 | 163 | 0 |1712 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1335.44/1335.43 c 1335s| 2040k|335862 | 27450k| 13.5 | 324M| 44 | - | 163 | 164 | 163 | 163 | 0 |1713 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1340.32/1340.35 c 1340s| 2050k|336168 | 27548k| 13.4 | 324M| 44 | - | 163 | 163 | 163 | 163 | 0 |1715 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1345.23/1345.31 c 1345s| 2060k|336410 | 27643k| 13.4 | 325M| 44 | - | 163 | 163 | 163 | 163 | 0 |1715 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1350.32/1350.30 c 1350s| 2070k|336526 | 27739k| 13.4 | 325M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1718 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1355.32/1355.32 c 1355s| 2080k|336600 | 27834k| 13.4 | 326M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1722 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1360.73/1360.77 c 1361s| 2090k|337216 | 27943k| 13.4 | 327M| 44 | 11 | 163 | 166 | 163 | 163 | 0 |1726 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1366.02/1366.10 c 1366s| 2100k|337702 | 28047k| 13.4 | 327M| 44 | - | 163 | 166 | 163 | 163 | 0 |1731 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1371.22/1371.26 c 1371s| 2110k|338160 | 28147k| 13.3 | 328M| 44 | - | 163 | 165 | 163 | 163 | 0 |1733 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1376.22/1376.23 c 1376s| 2120k|338442 | 28243k| 13.3 | 329M| 44 | - | 163 | 168 | 163 | 163 | 0 |1742 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1381.32/1381.31 c 1381s| 2130k|338798 | 28341k| 13.3 | 329M| 44 | - | 163 | 166 | 163 | 163 | 0 |1744 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1386.42/1386.41 c 1386s| 2140k|339120 | 28440k| 13.3 | 330M| 44 | - | 163 | 163 | 163 | 163 | 0 |1744 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1391.62/1391.61 c 1392s| 2150k|339356 | 28541k| 13.3 | 331M| 44 | - | 163 | 163 | 163 | 163 | 0 |1746 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1396.72/1396.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.72/1396.77 c 1397s| 2160k|339664 | 28646k| 13.3 | 331M| 44 | - | 163 | 167 | 163 | 163 | 0 |1757 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1402.22/1402.20 c 1402s| 2170k|340170 | 28757k| 13.3 | 332M| 44 | - | 163 | 168 | 163 | 163 | 0 |1762 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1407.52/1407.55 c 1408s| 2180k|341022 | 28868k| 13.2 | 333M| 44 | - | 163 | 167 | 163 | 163 | 0 |1767 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1412.82/1412.87 c 1413s| 2190k|341798 | 28975k| 13.2 | 334M| 44 | - | 163 | 164 | 163 | 163 | 0 |1768 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1418.22/1418.22 c 1418s| 2200k|342678 | 29083k| 13.2 | 335M| 44 | - | 163 | 166 | 163 | 163 | 0 |1771 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1423.44/1423.42 c 1423s| 2210k|343422 | 29190k| 13.2 | 336M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1774 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1428.52/1428.53 c 1429s| 2220k|343958 | 29293k| 13.2 | 337M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1775 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1433.82/1433.85 c 1434s| 2230k|344774 | 29402k| 13.2 | 338M| 44 | - | 163 | 163 | 163 | 163 | 0 |1778 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1439.02/1439.05 c 1439s| 2240k|345624 | 29511k| 13.2 | 339M| 44 | 13 | 163 | 166 | 163 | 163 | 0 |1784 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1444.12/1444.14 c 1444s| 2250k|345884 | 29610k| 13.2 | 339M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1790 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1449.43/1449.47 c 1449s| 2260k|346280 | 29714k| 13.1 | 340M| 44 | 17 | 163 | 170 | 163 | 163 | 0 |1803 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1454.52/1454.52 c 1455s| 2270k|346620 | 29812k| 13.1 | 341M| 44 | - | 163 | 166 | 163 | 163 | 0 |1804 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1460.02/1460.02 c 1460s| 2280k|347326 | 29925k| 13.1 | 342M| 44 | - | 163 | 167 | 163 | 163 | 0 |1809 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1465.32/1465.31 c 1465s| 2290k|348094 | 30029k| 13.1 | 342M| 44 | 10 | 163 | 166 | 163 | 163 | 0 |1814 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1470.42/1470.48 c 1470s| 2300k|348454 | 30129k| 13.1 | 343M| 44 | - | 163 | 163 | 163 | 163 | 0 |1815 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1475.93/1475.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.93/1475.93 c 1476s| 2310k|349352 | 30237k| 13.1 | 344M| 44 | - | 163 | 166 | 163 | 163 | 0 |1821 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1481.12/1481.19 c 1481s| 2320k|350256 | 30346k| 13.1 | 345M| 44 | - | 163 | 165 | 163 | 163 | 0 |1825 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1486.83/1486.83 c 1487s| 2330k|351412 | 30460k| 13.1 | 346M| 44 | - | 163 | 163 | 163 | 163 | 0 |1832 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1492.12/1492.13 c 1492s| 2340k|352026 | 30567k| 13.1 | 347M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1837 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1497.52/1497.53 c 1498s| 2350k|352526 | 30677k| 13.1 | 348M| 44 | - | 163 | 169 | 163 | 163 | 0 |1843 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1502.83/1502.83 c 1503s| 2360k|353278 | 30784k| 13.0 | 349M| 44 | 11 | 163 | 167 | 163 | 163 | 0 |1848 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1508.03/1508.03 c 1508s| 2370k|353754 | 30889k| 13.0 | 350M| 44 | 17 | 163 | 166 | 163 | 163 | 0 |1855 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1514.02/1514.09 c 1514s| 2380k|355086 | 31022k| 13.0 | 351M| 44 | 9 | 163 | 174 | 163 | 163 | 0 |1867 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1519.92/1519.90 c 1520s| 2390k|356324 | 31138k| 13.0 | 352M| 44 | - | 163 | 172 | 163 | 163 | 0 |1873 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1525.23/1525.24 c 1525s| 2400k|356898 | 31249k| 13.0 | 353M| 44 | 15 | 163 | 166 | 163 | 163 | 0 |1875 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1530.62/1530.60 c 1531s| 2410k|357558 | 31361k| 13.0 | 354M| 44 | - | 163 | 165 | 163 | 163 | 0 |1876 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1536.12/1536.13 c 1536s| 2420k|358170 | 31473k| 13.0 | 355M| 44 | - | 163 | 166 | 163 | 163 | 0 |1880 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1541.22/1541.24 c 1541s| 2430k|358536 | 31574k| 13.0 | 355M| 44 | - | 163 | 166 | 163 | 163 | 0 |1884 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1546.64/1546.69 c 1547s| 2440k|359364 | 31688k| 13.0 | 356M| 44 | - | 163 | 165 | 163 | 163 | 0 |1886 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1551.92/1551.90 c 1552s| 2450k|359736 | 31796k| 13.0 | 357M| 44 | 15 | 163 | 169 | 163 | 163 | 0 |1891 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1557.13/1557.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.13/1557.16 c 1557s| 2460k|360056 | 31903k| 13.0 | 358M| 44 | 16 | 163 | 170 | 163 | 163 | 0 |1893 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1562.43/1562.42 c 1562s| 2470k|360708 | 32009k| 13.0 | 358M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1899 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1567.32/1567.33 c 1567s| 2480k|360770 | 32102k| 12.9 | 359M| 44 | - | 163 | 163 | 163 | 163 | 0 |1900 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1572.52/1572.59 c 1573s| 2490k|361298 | 32210k| 12.9 | 359M| 44 | 8 | 163 | 164 | 163 | 163 | 0 |1902 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1578.03/1578.09 c 1578s| 2500k|362072 | 32326k| 12.9 | 360M| 44 | 16 | 163 | 167 | 163 | 163 | 0 |1909 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1583.52/1583.56 c 1584s| 2510k|362896 | 32438k| 12.9 | 361M| 44 | - | 163 | 167 | 163 | 163 | 0 |1911 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1588.63/1588.60 c 1589s| 2520k|362854 | 32536k| 12.9 | 362M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1913 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1593.62/1593.63 c 1594s| 2530k|362890 | 32632k| 12.9 | 362M| 44 | - | 163 | 163 | 163 | 163 | 0 |1915 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1598.73/1598.70 c 1599s| 2540k|362884 | 32729k| 12.9 | 362M| 44 | 15 | 163 | 168 | 163 | 163 | 0 |1920 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1603.92/1603.98 c 1604s| 2550k|363428 | 32836k| 12.9 | 363M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1921 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1608.92/1608.95 c 1609s| 2560k|363378 | 32931k| 12.9 | 363M| 44 | - | 163 | 164 | 163 | 163 | 0 |1925 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1613.92/1613.95 c 1614s| 2570k|363460 | 33027k| 12.9 | 364M| 44 | - | 163 | 163 | 163 | 163 | 0 |1925 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1618.92/1618.91 c 1619s| 2580k|363464 | 33123k| 12.8 | 364M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1927 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1623.92/1623.91 c 1624s| 2590k|363610 | 33222k| 12.8 | 365M| 44 | - | 163 | 165 | 163 | 163 | 0 |1930 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1629.14/1629.14 c 1629s| 2600k|363674 | 33331k| 12.8 | 365M| 44 | - | 163 | 164 | 163 | 163 | 0 |1931 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1634.23/1634.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.23/1634.23 c 1634s| 2610k|364022 | 33431k| 12.8 | 366M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1931 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1639.33/1639.31 c 1639s| 2620k|364310 | 33531k| 12.8 | 366M| 44 | 18 | 163 | 164 | 163 | 163 | 0 |1933 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1644.43/1644.45 c 1644s| 2630k|364554 | 33634k| 12.8 | 367M| 44 | - | 163 | 164 | 163 | 163 | 0 |1934 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1649.72/1649.75 c 1650s| 2640k|365042 | 33740k| 12.8 | 367M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1937 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1654.44/1654.46 c 1654s| 2650k|364776 | 33830k| 12.8 | 368M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1939 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1659.63/1659.60 c 1660s| 2660k|365198 | 33937k| 12.8 | 368M| 44 | 11 | 163 | 166 | 163 | 163 | 0 |1943 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1664.73/1664.75 c 1665s| 2670k|365438 | 34040k| 12.7 | 369M| 44 | - | 163 | 164 | 163 | 163 | 0 |1945 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1669.53/1669.56 c 1670s| 2680k|365560 | 34136k| 12.7 | 369M| 44 | - | 163 | 164 | 163 | 163 | 0 |1946 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1674.72/1674.74 c 1675s| 2690k|365822 | 34240k| 12.7 | 370M| 44 | - | 163 | 167 | 163 | 163 | 0 |1951 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1679.83/1679.80 c 1680s| 2700k|365920 | 34337k| 12.7 | 370M| 44 | - | 163 | 164 | 163 | 163 | 0 |1951 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1684.72/1684.74 c 1685s| 2710k|365814 | 34434k| 12.7 | 371M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1954 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1689.82/1689.87 c 1690s| 2720k|366248 | 34541k| 12.7 | 371M| 44 | 12 | 163 | 165 | 163 | 163 | 0 |1957 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1695.15/1695.17 c 1695s| 2730k|366904 | 34649k| 12.7 | 372M| 44 | 10 | 163 | 167 | 163 | 163 | 0 |1962 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1700.54/1700.58 c 1701s| 2740k|367428 | 34757k| 12.7 | 373M| 44 | - | 163 | 169 | 163 | 163 | 0 |1966 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1705.73/1705.73 c 1706s| 2750k|367758 | 34860k| 12.7 | 373M| 44 | 12 | 163 | 169 | 163 | 163 | 0 |1973 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1710.63/1710.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.63/1710.67 c 1711s| 2760k|367794 | 34957k| 12.7 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1976 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1715.83/1715.82 c 1716s| 2770k|367990 | 35059k| 12.7 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1979 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1720.53/1720.55 c 1721s| 2780k|367724 | 35149k| 12.6 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1981 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1725.42/1725.50 c 1725s| 2790k|367774 | 35249k| 12.6 | 375M| 44 | - | 163 | 163 | 163 | 163 | 0 |1981 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1730.83/1730.86 c 1731s| 2800k|368278 | 35354k| 12.6 | 375M| 44 | - | 163 | 163 | 163 | 163 | 0 |1984 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1735.85/1735.87 c 1736s| 2810k|368666 | 35455k| 12.6 | 376M| 44 | 14 | 163 | 164 | 163 | 163 | 0 |1991 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1740.73/1740.78 c 1741s| 2820k|368686 | 35550k| 12.6 | 376M| 44 | - | 163 | 163 | 163 | 163 | 0 |1992 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1746.03/1746.01 c 1746s| 2830k|368986 | 35654k| 12.6 | 377M| 44 | - | 163 | 164 | 163 | 163 | 0 |1997 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1751.73/1751.76 c 1752s| 2840k|370234 | 35775k| 12.6 | 378M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1997 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1757.43/1757.47 c 1757s| 2850k|371084 | 35898k| 12.6 | 379M| 44 | - | 163 | 171 | 163 | 163 | 0 |2009 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1762.33/1762.36 c 1762s| 2860k|371108 | 35993k| 12.6 | 379M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |2009 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1767.33/1767.36 c 1767s| 2870k|371198 | 36093k| 12.6 | 380M| 44 | 22 | 163 | 164 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1772.43/1772.43 c 1772s| 2880k|370994 | 36191k| 12.6 | 380M| 44 | - | 163 | 163 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1777.33/1777.31 c 1777s| 2890k|371202 | 36288k| 12.6 | 380M| 44 | - | 163 | 163 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1782.73/1782.73 c 1783s| 2900k|371982 | 36395k| 12.6 | 381M| 44 | - | 163 | 165 | 163 | 163 | 0 |2015 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1788.23/1788.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.23/1788.27 c 1788s| 2910k|372862 | 36507k| 12.5 | 382M| 44 | - | 163 | 164 | 163 | 163 | 0 |2021 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1793.73/1793.70 c 1794s| 2920k|373760 | 36614k| 12.5 | 383M| 44 | - | 163 | 164 | 163 | 163 | 0 |2022 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1799.13/1799.15 c 1799s| 2930k|374314 | 36726k| 12.5 | 384M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |2031 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 2931626
1800.03/1800.00 c Primal Bound : +1.53600000000000e+04 (353 solutions)
1800.03/1800.00 c Dual Bound : +1.48480000000000e+04
1800.03/1800.00 c Gap : 3.45 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.03/1800.00 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1800.03/1800.00 v -x118 -x117 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.00 v -x15 -x14 -x13 -x11 x10 -x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x163 -x162 x161 -x116 -x45 -x34 -x23 -x12 x1
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.04 (included in solving)
1800.03/1800.00 c reading : 0.01 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452666-1307075337.opb
1800.03/1800.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 73 initial, 73 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452666-1307075337.opb
1800.03/1800.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 163 initial, 256 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.01 0 0 0 0 0 10 100 100 200
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 0 0 0 0 10 10
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 1664366 0 359 0 1 12468 0 0 3307606
1800.03/1800.00 c knapsack : 63 1 4578865 0 2 356 497 1867 8959 0 0 0
1800.03/1800.00 c setppc : 100 1 4407538 0 2 355 529 0 0 0 0 0
1800.03/1800.00 c linear : 0+ 1 13099 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c logicor : 0+ 0 351693 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 2 355 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 32.38 0.00 0.00 32.37 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 216.10 0.03 216.06 0.00 0.00 0.01 0.00
1800.03/1800.00 c setppc : 5.33 0.00 5.33 0.00 0.00 0.00 0.00
1800.03/1800.00 c linear : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.03/1800.00 c logicor : 0.37 0.00 0.37 0.00 0.00 0.00 0.00
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 2 0 0 0
1800.03/1800.00 c pseudoobj : 4579325 23763 207 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 1.03 1.03 0.00
1800.03/1800.00 c rootredcost : 1.13 1.13 0.00
1800.03/1800.00 c pseudoobj : 17.95 17.89 0.06
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.09 2074 2031 2174 35.0 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 1025 26.9 - - -
1800.03/1800.00 c applied locally : - - - 1006 40.6 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 16.97 2341128 0 3578576 0 0
1800.03/1800.00 c impliedbounds : 0.00 2 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 2 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 2 0 0 0 0
1800.03/1800.00 c cmir : 0.00 2 0 0 0 0
1800.03/1800.00 c flowcover : 0.10 2 0 0 0 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.03 1 0 0 0 40
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 31.47 1664366 1 12468 0 0 3307606
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c feaspump : 0.05 0 0
1800.03/1800.00 c oneopt : 0.69 6 1
1800.03/1800.00 c crossover : 3.40 17 1
1800.03/1800.00 c objpscostdiving : 8.96 672 7
1800.03/1800.00 c rootsoldiving : 9.37 1427 2
1800.03/1800.00 c linesearchdiving : 22.77 7613 1
1800.03/1800.00 c pscostdiving : 49.60 7613 24
1800.03/1800.00 c guideddiving : 58.98 7613 0
1800.03/1800.00 c fracdiving : 49.93 7613 6
1800.03/1800.00 c veclendiving : 30.17 7613 4
1800.03/1800.00 c coefdiving : 43.34 7614 14
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c shiftandpropagate: 0.01 1 1
1800.03/1800.00 c simplerounding : 4.57 1664367 5
1800.03/1800.00 c zirounding : 1.01 12801 256
1800.03/1800.00 c rounding : 2.24 62503 1
1800.03/1800.00 c shifting : 1.26 29531 29
1800.03/1800.00 c intshifting : 0.05 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.28 1 1
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.40 0 0
1800.03/1800.00 c trysol : 0.64 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 1051.85 2942188 31175190 10.60 29638.50
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 191.96 933089 5569150 5.97 29011.88
1800.03/1800.00 c strong branching : 18.19 37242 333902 8.97 18355.83
1800.03/1800.00 c (at root node) : - 10 594 59.40 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2931626
1800.03/1800.00 c nodes (total) : 2931626
1800.03/1800.00 c nodes left : 374448
1800.03/1800.00 c max depth : 44
1800.03/1800.00 c max depth (total): 44
1800.03/1800.00 c backtracks : 596222 (20.3%)
1800.03/1800.00 c delayed cutoffs : 0
1800.03/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 7.16
1800.03/1800.00 c switching time : 75.65
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 353 (7 improvements)
1800.03/1800.00 c First Solution : +2.04800000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 56, found by <shiftandpropagate>)
1800.03/1800.00 c Primal Bound : +1.53600000000000e+04 (in run 1, after 10194 nodes, 24.74 seconds, depth 27, found by <veclendiving>)
1800.03/1800.00 c Dual Bound : +1.48480000000000e+04
1800.03/1800.00 c Gap : 3.45 %
1800.03/1800.00 c Root Dual Bound : +1.33120000000000e+04
1800.03/1800.00 c Root Iterations : 89
OK 15360
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452666-1307075337/watcher-3452666-1307075337 -o /tmp/evaluation-result-3452666-1307075337/solver-3452666-1307075337 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452666-1307075337.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.95 1.99 1.99 3/446 8468 /proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=10116 CPUtime=0 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 1518 0 0 0 0 0 0 0 25 0 1 0 819132493 10358784 1472 33554432000 4194304 9128323 140735279995648 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8468/statm: 2529 1472 400 1205 0 1320 0 [startup+0.0528099 s] /proc/loadavg: 1.95 1.99 1.99 3/446 8468 /proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=17904 CPUtime=0.04 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 3582 0 0 0 4 0 0 0 25 0 1 0 819132493 18333696 3278 33554432000 4194304 9128323 140735279995648 18446744073709551615 4897569 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 4476 3280 584 1205 0 3267 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 17904 [startup+0.100816 s] /proc/loadavg: 1.95 1.99 1.99 3/446 8468 /proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=19448 CPUtime=0.09 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 4107 0 0 0 9 0 0 0 25 0 1 0 819132493 19914752 3780 33554432000 4194304 9128323 140735279995648 18446744073709551615 6286036 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 4862 3780 671 1205 0 3653 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19448 [startup+0.300768 s] /proc/loadavg: 1.95 1.99 1.99 3/446 8468 /proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=34916 CPUtime=0.29 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8073 0 0 0 28 1 0 0 25 0 1 0 819132493 35753984 7393 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 8729 7393 729 1205 0 7520 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34916 [startup+0.700583 s] /proc/loadavg: 1.95 1.99 1.99 3/446 8468 /proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=35204 CPUtime=0.68 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8104 0 0 0 65 3 0 0 25 0 1 0 819132493 36048896 7424 33554432000 4194304 9128323 140735279995648 18446744073709551615 7357675 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 8801 7424 733 1205 0 7592 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 35204 [startup+1.50044 s] /proc/loadavg: 1.95 1.99 1.99 3/447 8469 /proc/meminfo: memFree=31232836/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=35204 CPUtime=1.49 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8104 0 0 0 143 6 0 0 25 0 1 0 819132493 36048896 7424 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 8801 7424 733 1205 0 7592 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35204 [startup+3.10023 s] /proc/loadavg: 1.95 1.99 1.99 3/447 8469 /proc/meminfo: memFree=31230480/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=35976 CPUtime=3.09 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8487 0 0 0 297 12 0 0 25 0 1 0 819132493 36839424 7806 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 8994 7806 733 1205 0 7785 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35976 [startup+6.30072 s] /proc/loadavg: 1.95 1.99 1.99 3/447 8469 /proc/meminfo: memFree=31230580/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=35976 CPUtime=6.29 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8491 0 0 0 608 21 0 0 25 0 1 0 819132493 36839424 7810 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 8994 7810 733 1205 0 7785 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35976 [startup+12.7006 s] /proc/loadavg: 1.96 1.99 1.99 3/447 8469 /proc/meminfo: memFree=31230504/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=33424 CPUtime=12.68 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 9071 0 0 0 1233 35 0 0 25 0 1 0 819132493 34226176 7291 33554432000 4194304 9128323 140735279995648 18446744073709551615 6506601 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 8356 7291 733 1205 0 7147 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33424 [startup+25.5003 s] /proc/loadavg: 1.96 1.99 1.99 3/447 8469 /proc/meminfo: memFree=31230108/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=33424 CPUtime=25.48 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 10556 0 0 0 2476 72 0 0 25 0 1 0 819132493 34226176 7307 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 8356 7307 733 1205 0 7147 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33424 [startup+51.1008 s] /proc/loadavg: 1.97 1.99 1.99 3/447 8470 /proc/meminfo: memFree=31229636/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=34740 CPUtime=51.09 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 17006 0 0 0 4965 144 0 0 25 0 1 0 819132493 35573760 7578 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 8685 7578 734 1205 0 7476 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 34740 [startup+102.317 s] /proc/loadavg: 1.99 1.99 1.99 3/447 8471 /proc/meminfo: memFree=31209880/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=52732 CPUtime=102.31 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 31284 0 0 0 9942 289 0 0 25 0 1 0 819132493 53997568 12198 33554432000 4194304 9128323 140735279995648 18446744073709551615 4683772 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 13183 12198 734 1205 0 11974 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 52732 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/447 8473 /proc/meminfo: memFree=31186504/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=77492 CPUtime=162.29 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 39598 0 0 0 15785 444 0 0 25 0 1 0 819132493 79351808 18027 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 19373 18027 734 1205 0 18164 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 77492 [startup+222.301 s] /proc/loadavg: 2.09 2.02 2.00 3/447 8474 /proc/meminfo: memFree=31162860/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=99796 CPUtime=222.29 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 47695 0 0 0 21623 606 0 0 25 0 1 0 819132493 102191104 23656 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 24949 23656 734 1205 0 23740 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 99796 [startup+282.301 s] /proc/loadavg: 2.08 2.03 2.00 3/447 8476 /proc/meminfo: memFree=31139480/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=121456 CPUtime=282.3 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 55660 0 0 0 27462 768 0 0 25 0 1 0 819132493 124370944 29197 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 30364 29197 734 1205 0 29155 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 121456 [startup+342.3 s] /proc/loadavg: 2.03 2.02 2.00 3/447 8478 /proc/meminfo: memFree=31119212/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=139768 CPUtime=342.3 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 60339 0 0 0 33308 922 0 0 25 0 1 0 819132493 143122432 33873 33554432000 4194304 9128323 140735279995648 18446744073709551615 5135370 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 34942 33873 734 1205 0 33733 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 139768 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/447 8479 /proc/meminfo: memFree=31096332/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=161684 CPUtime=402.3 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 65917 0 0 0 39144 1086 0 0 25 0 1 0 819132493 165564416 39446 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 40421 39446 734 1205 0 39212 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 161684 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/447 8481 /proc/meminfo: memFree=31074688/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=181388 CPUtime=462.29 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 72153 0 0 0 44984 1245 0 0 25 0 1 0 819132493 185741312 43413 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 45347 43413 734 1205 0 44138 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 181388 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/447 8482 /proc/meminfo: memFree=31052056/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=200872 CPUtime=522.29 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 77084 0 0 0 50830 1399 0 0 25 0 1 0 819132493 205692928 48344 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 50218 48344 734 1205 0 49009 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 200872 [startup+582.3 s] /proc/loadavg: 2.03 2.02 2.00 3/447 8484 /proc/meminfo: memFree=31036000/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=214124 CPUtime=582.3 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 82956 0 0 0 56665 1565 0 0 25 0 1 0 819132493 219262976 51707 33554432000 4194304 9128323 140735279995648 18446744073709551615 5135102 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 53531 51707 734 1205 0 52322 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 214124 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.01 2.00 3/447 8517 /proc/meminfo: memFree=30937808/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=276184 CPUtime=822.31 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 101193 0 0 0 80036 2195 0 0 25 0 1 0 819132493 282812416 67468 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 69046 67468 734 1205 0 67837 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 276184 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/447 8519 /proc/meminfo: memFree=30917564/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=285204 CPUtime=882.31 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 103485 0 0 0 85888 2343 0 0 25 0 1 0 819132493 292048896 69760 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 71301 69760 734 1205 0 70092 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 285204 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/447 8575 /proc/meminfo: memFree=31136284/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=299084 CPUtime=942.31 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 106976 0 0 0 91731 2500 0 0 25 0 1 0 819132493 306262016 73251 33554432000 4194304 9128323 140735279995648 18446744073709551615 6521264 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 74771 73251 734 1205 0 73562 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 299084 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/447 8576 /proc/meminfo: memFree=31120140/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=314196 CPUtime=1002.31 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 110780 0 0 0 97581 2650 0 0 25 0 1 0 819132493 321736704 77055 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 78549 77055 734 1205 0 77340 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 314196 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/447 8578 /proc/meminfo: memFree=31110792/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=323284 CPUtime=1062.31 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 113082 0 0 0 103431 2800 0 0 25 0 1 0 819132493 331042816 79355 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 80821 79355 734 1205 0 79612 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 323284 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 2.00 3/447 8579 /proc/meminfo: memFree=31104772/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=329496 CPUtime=1122.31 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 114637 0 0 0 109287 2944 0 0 25 0 1 0 819132493 337403904 80910 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 82374 80910 734 1205 0 81165 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 329496 [startup+1182.3 s] /proc/loadavg: 2.06 2.02 2.00 3/447 8581 /proc/meminfo: memFree=31095032/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=337560 CPUtime=1182.32 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 116661 0 0 0 115143 3089 0 0 25 0 1 0 819132493 345661440 82934 33554432000 4194304 9128323 140735279995648 18446744073709551615 6889317 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 84390 82934 734 1205 0 83181 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 337560 [startup+1242.3 s] /proc/loadavg: 2.02 2.02 2.00 3/447 8583 /proc/meminfo: memFree=31086036/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=345292 CPUtime=1242.31 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 118629 0 0 0 120993 3238 0 0 25 0 1 0 819132493 353579008 84902 33554432000 4194304 9128323 140735279995648 18446744073709551615 5134050 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 86323 84902 735 1205 0 85114 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 345292 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/447 8584 /proc/meminfo: memFree=31063512/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=351748 CPUtime=1302.33 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 120256 0 0 0 126844 3389 0 0 25 0 1 0 819132493 360189952 86528 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 87937 86528 734 1205 0 86728 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 351748 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/447 8586 /proc/meminfo: memFree=31054528/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=359988 CPUtime=1362.32 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 122335 0 0 0 132694 3538 0 0 25 0 1 0 819132493 368627712 88607 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 89997 88607 734 1205 0 88788 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 359988 [startup+1422.32 s] /proc/loadavg: 2.00 2.00 2.00 3/447 8587 /proc/meminfo: memFree=31044052/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=370676 CPUtime=1422.34 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 125026 0 0 0 138550 3684 0 0 25 0 1 0 819132493 379572224 91298 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 92669 91298 734 1205 0 91460 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 370676 [startup+1482.3 s] /proc/loadavg: 2.07 2.03 2.01 3/447 8589 /proc/meminfo: memFree=31037040/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=376884 CPUtime=1482.32 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 126609 0 0 0 144386 3846 0 0 25 0 1 0 819132493 385929216 92881 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 94221 92881 734 1205 0 93012 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 376884 [startup+1542.3 s] /proc/loadavg: 2.02 2.02 2.00 3/447 8591 /proc/meminfo: memFree=31026180/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=387640 CPUtime=1542.32 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 131809 0 0 0 150224 4008 0 0 25 0 1 0 819132493 396943360 95596 33554432000 4194304 9128323 140735279995648 18446744073709551615 7342763 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 96910 95596 734 1205 0 95701 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 387640 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/447 8592 /proc/meminfo: memFree=31018420/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=393912 CPUtime=1602.32 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 133431 0 0 0 156080 4152 0 0 25 0 1 0 819132493 403365888 97218 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 98478 97218 734 1205 0 97269 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 393912 [startup+1662.3 s] /proc/loadavg: 2.14 2.04 2.01 3/447 8594 /proc/meminfo: memFree=31011912/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=402296 CPUtime=1662.33 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 135487 0 0 0 161925 4308 0 0 25 0 1 0 819132493 411951104 99274 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 100574 99274 734 1205 0 99365 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 402296 [startup+1722.3 s] /proc/loadavg: 2.11 2.05 2.01 3/447 8595 /proc/meminfo: memFree=31007384/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=407672 CPUtime=1722.33 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 136842 0 0 0 167774 4459 0 0 25 0 1 0 819132493 417456128 100629 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 101918 100629 734 1205 0 100709 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 407672 [startup+1782.3 s] /proc/loadavg: 2.04 2.03 2.00 3/447 8597 /proc/meminfo: memFree=30998528/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=414332 CPUtime=1782.33 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 138522 0 0 0 173620 4613 0 0 25 0 1 0 819132493 424275968 102309 33554432000 4194304 9128323 140735279995648 18446744073709551615 6890632 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/8468/statm: 103583 102309 734 1205 0 102374 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 414332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.03 2.00 3/447 8598 /proc/meminfo: memFree=30996156/32950928 swapFree=34365992/67111528 [pid=8468] ppid=8466 vsize=417148 CPUtime=1800.04 cores=0,2,4,6 /proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 139240 0 0 0 175344 4660 0 0 25 0 1 0 819132493 427159552 103027 33554432000 4194304 9128323 140735279995648 18446744073709551615 4745671 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8468/statm: 104287 103027 737 1205 0 103078 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 417148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.08 CPU user time (s): 1753.45 CPU system time (s): 46.6279 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 417148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.45 system time used= 46.6279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139240 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 5205 runsolver used 8.35573 second user time and 17.7833 second system time The end
Begin job on node120 at 2011-06-03 06:28:57 IDJOB=3452666 IDBENCH=1848 IDSOLVER=1949 FILE ID=node120/3452666-1307075337 RUNJOBID= node120-1307066273-7015 PBS_JOBID= 13497866 Free space on /tmp= 73800 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 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.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452666-1307075337/watcher-3452666-1307075337 -o /tmp/evaluation-result-3452666-1307075337/solver-3452666-1307075337 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452666-1307075337.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED=583494847 node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31261148 kB Buffers: 237576 kB Cached: 951084 kB SwapCached: 12852 kB Active: 490012 kB Inactive: 908512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31261148 kB SwapTotal: 67111528 kB SwapFree: 34365992 kB Dirty: 11932 kB Writeback: 4 kB AnonPages: 207060 kB Mapped: 11936 kB Slab: 131668 kB PageTables: 91520 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 105585916 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73788 MiB End job on node120 at 2011-06-03 06:58:59