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 | -46 | 1797.08 | 1797.36 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
| MD5SUM | 1a88750537364c45876077f809191628 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -50 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -52 |
| Optimality of the best value was proved | NO |
| Number of variables | 1272 |
| Total number of constraints | 94308 |
| Number of constraints which are clauses | 94308 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1272 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1272 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1272 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-3733185-1338708353.opb>
0.39/0.46 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94308 constraints
0.39/0.46 c problem read
0.39/0.46 c presolving settings loaded
0.49/0.57 o 0
0.49/0.57 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.57 c presolving:
0.99/1.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94308 upgd conss, 188616 impls, 0 clqs
2.38/2.49 c (2.5s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.38/2.49 c (2.5s) probing aborted: 100/100 successive totally useless probings
2.38/2.49 c presolving (2 rounds):
2.38/2.49 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.38/2.49 c 188616 implications, 0 cliques
2.38/2.49 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94308 constraints
2.38/2.49 c 94308 constraints of type <setppc>
2.38/2.49 c transformed objective value is always integral (scale: 1)
2.38/2.49 c Presolving Time: 1.94
2.38/2.49 c - non default parameters ----------------------------------------------------------------------
2.38/2.49 c # SCIP version 2.0.1.5
2.38/2.49 c
2.38/2.49 c # frequency for displaying node information lines
2.38/2.49 c # [type: int, range: [-1,2147483647], default: 100]
2.38/2.49 c display/freq = 10000
2.38/2.49 c
2.38/2.49 c # maximal time in seconds to run
2.38/2.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.38/2.49 c limits/time = 1797
2.38/2.49 c
2.38/2.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.38/2.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.38/2.49 c limits/memory = 13950
2.38/2.49 c
2.38/2.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.38/2.49 c # [type: int, range: [1,2], default: 1]
2.38/2.49 c timing/clocktype = 2
2.38/2.49 c
2.38/2.49 c # belongs reading time to solving time?
2.38/2.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.38/2.49 c timing/reading = TRUE
2.38/2.49 c
2.38/2.49 c # should presolving try to simplify inequalities
2.38/2.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.38/2.49 c constraints/linear/simplifyinequalities = TRUE
2.38/2.49 c
2.38/2.49 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.38/2.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.38/2.49 c constraints/indicator/addCouplingCons = TRUE
2.38/2.49 c
2.38/2.49 c # should presolving try to simplify knapsacks
2.38/2.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.38/2.49 c constraints/knapsack/simplifyinequalities = TRUE
2.38/2.49 c
2.38/2.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.38/2.49 c # [type: int, range: [-1,2147483647], default: -1]
2.38/2.49 c separating/rapidlearning/freq = 0
2.38/2.49 c
2.38/2.49 c -----------------------------------------------------------------------------------------------
2.38/2.49 c start solving
2.48/2.50 c
4.39/4.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.68/4.74 c t 4.4s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 | 0.000000e+00 | 100.00%
4.68/4.74 o -1
4.68/4.74 c R 4.5s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-1.000000e+00 | 99.84%
6.29/6.30 c 6.3s| 1 | 0 | 1601 | - | 116M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-1.000000e+00 | 99.83%
6.29/6.33 o -38
6.29/6.33 c b 6.3s| 1 | 0 | 1601 | - | 116M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-3.800000e+01 | 93.69%
8.79/8.89 c 8.9s| 1 | 0 | 1720 | - | 116M| 0 |1139 |1272 | 94k|1272 | 94k| 31 | 0 | 0 |-5.695000e+02 |-3.800000e+01 | 93.33%
12.78/12.83 c 12.8s| 1 | 0 | 1990 | - | 116M| 0 |1054 |1272 | 94k|1272 | 94k| 61 | 0 | 0 |-5.260000e+02 |-3.800000e+01 | 92.78%
17.68/17.79 c 17.8s| 1 | 0 | 2141 | - | 116M| 0 |1004 |1272 | 94k|1272 | 94k| 73 | 0 | 0 |-5.010000e+02 |-3.800000e+01 | 92.42%
22.69/22.76 c 22.8s| 1 | 0 | 2304 | - | 116M| 0 | 964 |1272 | 94k|1272 | 94k| 80 | 0 | 0 |-4.810000e+02 |-3.800000e+01 | 92.10%
28.29/28.35 c 28.3s| 1 | 0 | 2400 | - | 116M| 0 | 942 |1272 | 94k|1272 | 94k| 88 | 0 | 0 |-4.700000e+02 |-3.800000e+01 | 91.91%
34.59/34.64 c 34.6s| 1 | 0 | 2683 | - | 116M| 0 | 902 |1272 | 94k|1272 | 94k| 98 | 0 | 0 |-4.510000e+02 |-3.800000e+01 | 91.57%
40.89/40.94 c 40.9s| 1 | 0 | 3127 | - | 116M| 0 | 856 |1272 | 94k|1272 | 94k| 107 | 0 | 0 |-4.262500e+02 |-3.800000e+01 | 91.09%
46.98/47.05 c 47.0s| 1 | 0 | 3390 | - | 116M| 0 | 810 |1272 | 94k|1272 | 94k| 119 | 0 | 0 |-4.032500e+02 |-3.800000e+01 | 90.58%
52.98/53.02 c 53.0s| 1 | 0 | 3656 | - | 116M| 0 | 761 |1272 | 94k|1272 | 94k| 130 | 0 | 0 |-3.792500e+02 |-3.800000e+01 | 89.98%
54.08/54.11 c 54.1s| 1 | 0 | 3883 | - | 116M| 0 | 719 |1272 | 94k|1272 | 94k| 141 | 0 | 0 |-3.587500e+02 |-3.800000e+01 | 89.41%
54.99/55.05 c 55.0s| 1 | 0 | 4037 | - | 116M| 0 | 670 |1272 | 94k|1272 | 94k| 156 | 0 | 0 |-3.350000e+02 |-3.800000e+01 | 88.66%
56.48/56.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.48/56.50 c 56.5s| 1 | 0 | 4743 | - | 116M| 0 | 624 |1272 | 94k|1272 | 94k| 168 | 0 | 0 |-3.120000e+02 |-3.800000e+01 | 87.82%
57.58/57.62 c 57.6s| 1 | 0 | 5070 | - | 116M| 0 | 560 |1272 | 94k|1272 | 94k| 188 | 0 | 0 |-2.790000e+02 |-3.800000e+01 | 86.38%
59.88/59.91 c 59.9s| 1 | 0 | 6802 | - | 116M| 0 | 514 |1272 | 94k|1272 | 94k| 204 | 0 | 0 |-2.570000e+02 |-3.800000e+01 | 85.21%
61.18/61.20 c 61.2s| 1 | 0 | 7497 | - | 116M| 0 | 463 |1272 | 94k|1272 | 94k| 219 | 0 | 0 |-2.315000e+02 |-3.800000e+01 | 83.59%
62.59/62.69 c 62.7s| 1 | 0 | 8386 | - | 116M| 0 | 422 |1272 | 94k|1272 | 94k| 232 | 0 | 0 |-2.110000e+02 |-3.800000e+01 | 81.99%
65.08/65.18 c 65.2s| 1 | 0 | 9738 | - | 116M| 0 | 398 |1272 | 94k|1272 | 94k| 242 | 0 | 0 |-1.988333e+02 |-3.800000e+01 | 80.89%
70.07/70.14 c 70.1s| 1 | 0 | 13634 | - | 117M| 0 | 375 |1272 | 94k|1272 | 94k| 256 | 0 | 0 |-1.867500e+02 |-3.800000e+01 | 79.65%
71.67/71.71 c 71.7s| 1 | 0 | 14534 | - | 117M| 0 | 339 |1272 | 94k|1272 | 94k| 263 | 0 | 0 |-1.687500e+02 |-3.800000e+01 | 77.48%
72.28/72.31 c 72.3s| 1 | 0 | 14730 | - | 117M| 0 | 318 |1272 | 94k|1272 | 94k| 274 | 0 | 0 |-1.582500e+02 |-3.800000e+01 | 75.99%
74.48/74.58 c 74.6s| 1 | 0 | 16605 | - | 117M| 0 | 280 |1272 | 94k|1272 | 94k| 286 | 0 | 0 |-1.385000e+02 |-3.800000e+01 | 72.56%
78.18/78.25 c 78.3s| 1 | 0 | 19605 | - | 117M| 0 | 243 |1272 | 94k|1272 | 94k| 298 | 0 | 0 |-1.200000e+02 |-3.800000e+01 | 68.33%
78.68/78.73 c 78.7s| 1 | 0 | 19708 | - | 117M| 0 | 226 |1272 | 94k|1272 | 94k| 307 | 0 | 0 |-1.105000e+02 |-3.800000e+01 | 65.61%
79.97/80.02 c 80.0s| 1 | 0 | 21128 | - | 117M| 0 | 190 |1272 | 94k|1272 | 94k| 318 | 0 | 0 |-9.500000e+01 |-3.800000e+01 | 60.00%
80.47/80.53 c 80.5s| 1 | 0 | 21290 | - | 117M| 0 | 198 |1272 | 94k|1272 | 94k| 328 | 0 | 0 |-8.600000e+01 |-3.800000e+01 | 55.81%
81.07/81.18 c 81.2s| 1 | 0 | 21616 | - | 117M| 0 | 195 |1272 | 94k|1272 | 94k| 337 | 0 | 0 |-7.860000e+01 |-3.800000e+01 | 51.65%
81.68/81.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.68/81.78 c 81.8s| 1 | 0 | 21871 | - | 117M| 0 | 153 |1272 | 94k|1272 | 94k| 348 | 0 | 0 |-6.400000e+01 |-3.800000e+01 | 40.62%
82.38/82.46 c 82.5s| 1 | 0 | 22116 | - | 117M| 0 | 134 |1272 | 94k|1272 | 94k| 358 | 0 | 0 |-5.700000e+01 |-3.800000e+01 | 33.33%
82.98/83.00 c 83.0s| 1 | 0 | 22217 | - | 117M| 0 | 180 |1272 | 94k|1272 | 94k| 364 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
87.47/87.57 c 87.6s| 1 | 0 | 23152 | - | 117M| 0 | 195 |1272 | 94k|1272 | 94k| 378 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
88.27/88.38 c 88.4s| 1 | 0 | 23338 | - | 117M| 0 | 165 |1272 | 94k|1272 | 94k| 390 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
89.27/89.38 c 89.4s| 1 | 0 | 23489 | - | 117M| 0 | 203 |1272 | 94k|1272 | 94k| 402 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
90.38/90.46 c 90.5s| 1 | 0 | 23756 | - | 117M| 0 | 211 |1272 | 94k|1272 | 94k| 411 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
109.47/109.55 c 110s| 1 | 0 | 24214 | - | 117M| 0 | 188 |1272 | 94k|1272 | 94k| 426 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
130.37/130.45 c 130s| 1 | 2 | 24214 | - | 117M| 0 | 188 |1272 | 94k|1272 | 94k| 426 | 0 | 26 |-5.300000e+01 |-3.800000e+01 | 28.30%
216.45/216.54 o -41
216.45/216.54 c c 217s| 16 | 17 | 27940 | 248.4 | 120M| 15 | - |1272 | 94k|1272 | 94k| 426 | 0 | 385 |-5.300000e+01 |-4.100000e+01 | 22.64%
243.55/243.63 o -42
243.55/243.63 c p 244s| 28 | 29 | 28960 | 175.8 | 122M| 15 | - |1272 | 94k|1272 | 94k| 426 | 0 | 577 |-5.300000e+01 |-4.200000e+01 | 20.75%
320.63/320.78 o -43
320.63/320.78 c l 321s| 93 | 94 | 38332 | 153.5 | 126M| 24 | - |1272 | 94k|1272 | 94k| 426 | 0 | 950 |-5.300000e+01 |-4.300000e+01 | 18.87%
326.93/327.05 o -44
326.93/327.05 c p 327s| 132 | 129 | 42401 | 138.8 | 128M| 24 | - |1272 | 94k|1272 | 94k| 426 | 0 | 950 |-5.300000e+01 |-4.400000e+01 | 16.98%
695.48/695.63 o -45
695.48/695.63 c l 696s| 1556 | 1381 |208830 | 118.7 | 177M| 45 | - |1272 | 94k|1272 | 94k| 426 | 0 |1457 |-5.300000e+01 |-4.500000e+01 | 15.09%
1721.82/1722.14 o -46
1721.82/1722.14 c p1722s| 4299 | 3930 |698292 | 156.8 | 279M| 49 | - |1272 | 94k|1272 | 94k| 426 | 0 |2712 |-5.300000e+01 |-4.600000e+01 | 13.21%
1796.70/1797.02 c
1796.70/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.02 c Solving Time (sec) : 1797.02
1796.70/1797.02 c Solving Nodes : 4547
1796.70/1797.02 c Primal Bound : -4.60000000000000e+01 (550 solutions)
1796.70/1797.02 c Dual Bound : -5.29999999999999e+01
1796.70/1797.02 c Gap : 13.21 %
1796.70/1797.04 s SATISFIABLE
1796.70/1797.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1796.70/1797.04 v -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53
1796.70/1797.04 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1796.70/1797.04 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1796.70/1797.04 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.70/1797.04 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.70/1797.04 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166
1796.70/1797.04 v -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1796.70/1797.04 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208
1796.70/1797.04 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229
1796.70/1797.04 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250
1796.70/1797.04 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.70/1797.04 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1796.70/1797.04 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1796.70/1797.04 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1796.70/1797.04 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1796.70/1797.04 v -x355 -x356 x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1796.70/1797.04 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1796.70/1797.04 v -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1796.70/1797.04 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1796.70/1797.04 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459
1796.70/1797.04 v x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1796.70/1797.04 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1796.70/1797.04 v x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1796.70/1797.04 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1796.70/1797.04 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1796.70/1797.04 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585
1796.70/1797.04 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1796.70/1797.04 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627
1796.70/1797.04 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1796.70/1797.04 v -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1796.70/1797.04 v -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1796.70/1797.04 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1796.70/1797.04 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1796.70/1797.04 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1796.70/1797.04 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1796.70/1797.04 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1796.70/1797.04 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1796.70/1797.04 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836
1796.70/1797.04 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1796.70/1797.04 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878
1796.70/1797.04 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1796.70/1797.04 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920
1796.70/1797.04 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1796.70/1797.04 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
1796.70/1797.04 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
1796.70/1797.04 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003
1796.70/1797.04 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
1796.70/1797.04 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039
1796.70/1797.04 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1796.70/1797.04 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1796.70/1797.04 v -x1076 -x1077 x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1796.70/1797.04 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1796.70/1797.04 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1796.70/1797.04 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1796.70/1797.04 v -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165
1796.70/1797.04 v -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1796.70/1797.04 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201
1796.70/1797.04 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1796.70/1797.04 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237
1796.70/1797.04 v -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255
1796.70/1797.04 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1796.70/1797.04 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.04 c Total Time : 1797.02
1796.70/1797.04 c solving : 1797.02
1796.70/1797.04 c presolving : 1.94 (included in solving)
1796.70/1797.04 c reading : 0.46 (included in solving)
1796.70/1797.04 c Original Problem :
1796.70/1797.04 c Problem name : HOME/instance-3733185-1338708353.opb
1796.70/1797.04 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.04 c Constraints : 94308 initial, 94308 maximal
1796.70/1797.04 c Presolved Problem :
1796.70/1797.04 c Problem name : t_HOME/instance-3733185-1338708353.opb
1796.70/1797.04 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.04 c Constraints : 94308 initial, 94308 maximal
1796.70/1797.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.04 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c probing : 1.42 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c setppc : 0.07 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c linear : 0.39 0 0 0 0 0 0 0 0 0
1796.70/1797.04 c root node : - 0 - - 0 - - - - -
1796.70/1797.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.70/1797.04 c integral : 0 0 0 4462 0 555 0 1 28 0 0 8894
1796.70/1797.04 c setppc : 94308 35 30891 0 0 550 0 0 166524 0 0 0
1796.70/1797.04 c countsols : 0 0 0 0 0 553 0 0 0 0 0 0
1796.70/1797.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.70/1797.04 c integral : 428.67 0.00 0.00 428.66 0.00 0.01 0.00
1796.70/1797.04 c setppc : 10.66 0.28 8.94 0.00 0.00 1.44 0.00
1796.70/1797.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.04 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.70/1797.04 c vbounds : 0 0 0 0
1796.70/1797.04 c rootredcost : 6 0 0 0
1796.70/1797.04 c pseudoobj : 30822 0 0 0
1796.70/1797.04 c Propagator Timings : TotalTime Propagate Resprop
1796.70/1797.04 c vbounds : 0.02 0.02 0.00
1796.70/1797.04 c rootredcost : 0.01 0.01 0.00
1796.70/1797.04 c pseudoobj : 0.86 0.86 0.00
1796.70/1797.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.04 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.04 c applied globally : - - - 0 0.0 - - -
1796.70/1797.04 c applied locally : - - - 0 0.0 - - -
1796.70/1797.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.70/1797.04 c cut pool : 0.00 34 - - 82 - (maximal pool size: 1112)
1796.70/1797.04 c redcost : 0.18 4496 0 0 0 0
1796.70/1797.04 c impliedbounds : 0.04 35 0 0 0 0
1796.70/1797.04 c intobj : 0.00 0 0 0 0 0
1796.70/1797.04 c gomory : 32.96 35 0 0 17110 0
1796.70/1797.04 c cgmip : 0.00 0 0 0 0 0
1796.70/1797.04 c closecuts : 0.00 0 0 0 0 0
1796.70/1797.04 c strongcg : 5.61 20 0 0 10000 0
1796.70/1797.04 c cmir : 16.67 10 0 0 0 0
1796.70/1797.04 c flowcover : 19.82 10 0 0 0 0
1796.70/1797.04 c clique : 2.05 35 0 0 302 0
1796.70/1797.04 c zerohalf : 0.00 0 0 0 0 0
1796.70/1797.04 c mcf : 0.06 1 0 0 0 0
1796.70/1797.04 c oddcycle : 0.00 0 0 0 0 0
1796.70/1797.04 c rapidlearning : 0.00 0 0 0 0 0
1796.70/1797.04 c Pricers : Time Calls Vars
1796.70/1797.04 c problem variables: 0.00 0 0
1796.70/1797.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.04 c relpscost : 428.66 4462 1 28 0 0 8894
1796.70/1797.04 c pscost : 0.00 0 0 0 0 0 0
1796.70/1797.04 c inference : 0.00 0 0 0 0 0 0
1796.70/1797.04 c mostinf : 0.00 0 0 0 0 0 0
1796.70/1797.04 c leastinf : 0.00 0 0 0 0 0 0
1796.70/1797.04 c fullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.04 c allfullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.04 c random : 0.00 0 0 0 0 0 0
1796.70/1797.04 c Primal Heuristics : Time Calls Found
1796.70/1797.04 c LP solutions : 0.00 - 0
1796.70/1797.04 c pseudo solutions : 0.00 - 0
1796.70/1797.04 c oneopt : 0.10 8 1
1796.70/1797.04 c pscostdiving : 97.38 152 55
1796.70/1797.04 c trivial : 0.02 2 1
1796.70/1797.04 c shiftandpropagate: 0.00 0 0
1796.70/1797.04 c simplerounding : 0.24 4497 60
1796.70/1797.04 c zirounding : 26.06 4447 136
1796.70/1797.04 c rounding : 12.16 2698 1
1796.70/1797.04 c shifting : 2.11 336 1
1796.70/1797.04 c intshifting : 0.00 0 0
1796.70/1797.04 c twoopt : 0.00 0 0
1796.70/1797.04 c fixandinfer : 0.00 0 0
1796.70/1797.04 c feaspump : 0.00 0 0
1796.70/1797.04 c clique : 0.00 0 0
1796.70/1797.04 c coefdiving : 95.79 100 19
1796.70/1797.04 c fracdiving : 52.16 44 7
1796.70/1797.04 c veclendiving : 175.24 74 4
1796.70/1797.04 c intdiving : 0.00 0 0
1796.70/1797.04 c actconsdiving : 0.00 0 0
1796.70/1797.04 c objpscostdiving : 74.14 36 137
1796.70/1797.04 c rootsoldiving : 49.88 77 97
1796.70/1797.04 c linesearchdiving : 91.46 151 22
1796.70/1797.04 c guideddiving : 54.97 48 6
1796.70/1797.04 c octane : 0.00 0 0
1796.70/1797.04 c rens : 1.13 1 1
1796.70/1797.04 c rins : 0.00 0 0
1796.70/1797.04 c localbranching : 0.00 0 0
1796.70/1797.04 c mutation : 0.00 0 0
1796.70/1797.04 c crossover : 1.42 2 2
1796.70/1797.04 c dins : 0.00 0 0
1796.70/1797.04 c vbounds : 0.00 0 0
1796.70/1797.04 c undercover : 0.00 0 0
1796.70/1797.04 c subnlp : 0.00 0 0
1796.70/1797.04 c trysol : 0.00 0 0
1796.70/1797.04 c LP : Time Calls Iterations Iter/call Iter/sec
1796.70/1797.04 c primal LP : 0.13 0 0 0.00 0.00
1796.70/1797.04 c dual LP : 492.48 4596 415926 90.50 844.56
1796.70/1797.04 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.04 c barrier LP : 0.00 0 0 0.00 -
1796.70/1797.04 c diving/probing LP: 565.10 17709 319021 18.01 564.54
1796.70/1797.04 c strong branching : 427.18 2832 282875 99.89 662.19
1796.70/1797.04 c (at root node) : - 26 15097 580.65 -
1796.70/1797.04 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.04 c B&B Tree :
1796.70/1797.04 c number of runs : 1
1796.70/1797.04 c nodes : 4547
1796.70/1797.04 c nodes (total) : 4547
1796.70/1797.04 c nodes left : 4158
1796.70/1797.04 c max depth : 49
1796.70/1797.04 c max depth (total): 49
1796.70/1797.04 c backtracks : 730 (16.1%)
1796.70/1797.04 c delayed cutoffs : 0
1796.70/1797.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.04 c avg switch length: 5.72
1796.70/1797.04 c switching time : 13.16
1796.70/1797.04 c Solution :
1796.70/1797.04 c Solutions found : 550 (9 improvements)
1796.70/1797.04 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.55 seconds, depth 0, found by <trivial>)
1796.70/1797.04 c Primal Bound : -4.60000000000000e+01 (in run 1, after 4299 nodes, 1722.14 seconds, depth 35, found by <pscostdiving>)
1796.70/1797.04 c Dual Bound : -5.29999999999999e+01
1796.70/1797.04 c Gap : 13.21 %
1796.70/1797.04 c Root Dual Bound : -5.29999999999999e+01
1796.70/1797.04 c Root Iterations : 24214
1797.01/1797.36 c Time complete: 1797.06.
OK -46
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-3733185-1338708353/watcher-3733185-1338708353 -o /tmp/evaluation-result-3733185-1338708353/solver-3733185-1338708353 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3733185-1338708353.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: 2.07 2.02 2.00 3/174 31980 /proc/meminfo: memFree=27286052/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=10952 CPUtime=0 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 1605 0 0 0 0 0 0 0 20 0 1 0 336961235 11214848 1559 33554432000 4194304 9016284 140736496516064 140733412744968 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 2738 1570 340 1178 0 1556 0 [startup+0.0982799 s] /proc/loadavg: 2.07 2.02 2.00 3/174 31980 /proc/meminfo: memFree=27286052/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=21940 CPUtime=0.09 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 4480 0 0 0 9 0 0 0 20 0 1 0 336961235 22466560 4434 33554432000 4194304 9016284 140736496516064 140733412744968 7937002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 5485 4434 360 1178 0 4303 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21940 [startup+0.100351 s] /proc/loadavg: 2.07 2.02 2.00 3/174 31980 /proc/meminfo: memFree=27286052/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=21940 CPUtime=0.09 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 4481 0 0 0 9 0 0 0 20 0 1 0 336961235 22466560 4435 33554432000 4194304 9016284 140736496516064 140733412744968 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 5485 4435 360 1178 0 4303 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21940 [startup+0.300259 s] /proc/loadavg: 2.07 2.02 2.00 3/174 31980 /proc/meminfo: memFree=27286052/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=37324 CPUtime=0.28 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 8322 0 0 0 28 0 0 0 20 0 1 0 336961235 38219776 8276 33554432000 4194304 9016284 140736496516064 140733412744968 7870493 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 9331 8276 360 1178 0 8149 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 37324 [startup+0.700272 s] /proc/loadavg: 2.07 2.02 2.00 3/174 31980 /proc/meminfo: memFree=27286052/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=111836 CPUtime=0.68 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 26440 0 0 0 65 3 0 0 20 0 1 0 336961235 114520064 26393 33554432000 4194304 9016284 140736496516064 140736496379960 5244928 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 27959 26393 478 1178 0 26777 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 111836 [startup+1.5003 s] /proc/loadavg: 2.07 2.02 2.00 3/175 31981 /proc/meminfo: memFree=27149512/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=150872 CPUtime=1.48 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 38529 0 0 0 143 5 0 0 20 0 1 0 336961235 154492928 36014 33554432000 4194304 9016284 140736496516064 140736496512920 6469615 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 37718 36014 507 1178 0 36536 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 150872 [startup+3.10028 s] /proc/loadavg: 2.07 2.02 2.00 3/175 31981 /proc/meminfo: memFree=27142904/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=257108 CPUtime=3.09 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 57340 0 0 0 300 9 0 0 20 0 1 0 336961235 263278592 60052 33554432000 4194304 9016284 140736496516064 140736496512920 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 64277 60052 602 1178 0 63095 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 257108 [startup+6.30031 s] /proc/loadavg: 2.07 2.02 2.00 3/175 31981 /proc/meminfo: memFree=27021904/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=283236 CPUtime=6.29 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 64091 0 0 0 619 10 0 0 20 0 1 0 336961235 290033664 67488 33554432000 4194304 9016284 140736496516064 140736496511224 6523992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 70809 67488 643 1178 0 69627 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 283236 [startup+12.7003 s] /proc/loadavg: 2.06 2.01 2.00 3/175 31981 /proc/meminfo: memFree=27015844/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=285224 CPUtime=12.68 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 64925 0 0 0 1258 10 0 0 20 0 1 0 336961235 292069376 68322 33554432000 4194304 9016284 140736496516064 140736496511224 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 71306 68322 647 1178 0 70124 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 285224 [startup+25.5002 s] /proc/loadavg: 2.05 2.01 2.00 3/175 31981 /proc/meminfo: memFree=27013116/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=286556 CPUtime=25.49 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 65137 0 0 0 2538 11 0 0 20 0 1 0 336961235 293433344 68534 33554432000 4194304 9016284 140736496516064 140736496511224 6578056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 71639 68534 647 1178 0 70457 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 286556 [startup+51.1002 s] /proc/loadavg: 2.03 2.01 2.00 3/175 31981 /proc/meminfo: memFree=27012248/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=286556 CPUtime=51.08 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 65362 0 0 0 5097 11 0 0 20 0 1 0 336961235 293433344 68759 33554432000 4194304 9016284 140736496516064 140736496511224 6270514 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 71639 68759 648 1178 0 70457 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 286556 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.00 3/175 31981 /proc/meminfo: memFree=27003132/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=292640 CPUtime=102.28 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 66999 0 0 0 10210 18 0 0 20 0 1 0 336961235 299663360 70856 33554432000 4194304 9016284 140736496516064 140736496511176 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 73160 70856 649 1178 0 71978 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 292640 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31982 /proc/meminfo: memFree=26937164/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=357236 CPUtime=162.26 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 83547 0 0 0 16196 30 0 0 20 0 1 0 336961235 365809664 87373 33554432000 4194304 9016284 140736496516064 140736496509816 7214028 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 89309 87373 682 1178 0 88127 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 357236 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31982 /proc/meminfo: memFree=26937144/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=357236 CPUtime=222.26 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 83548 0 0 0 22186 40 0 0 20 0 1 0 336961235 365809664 87407 33554432000 4194304 9016284 140736496516064 140736496510232 7065592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 89309 87407 682 1178 0 88127 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 357236 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 31985 /proc/meminfo: memFree=26936132/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=357236 CPUtime=282.24 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 83555 0 0 0 28175 49 0 0 20 0 1 0 336961235 365809664 87703 33554432000 4194304 9016284 140736496516064 140736496510152 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 89309 87703 682 1178 0 88127 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 357236 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31985 /proc/meminfo: memFree=26935764/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=357236 CPUtime=342.23 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 83569 0 0 0 34164 59 0 0 20 0 1 0 336961235 365809664 87803 33554432000 4194304 9016284 140736496516064 140736496510232 7213539 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 89309 87803 683 1178 0 88127 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 357236 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31985 /proc/meminfo: memFree=26941076/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=348604 CPUtime=402.21 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 88841 0 0 0 40151 70 0 0 20 0 1 0 336961235 356970496 86370 33554432000 4194304 9016284 140736496516064 140736496509816 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 87151 86370 686 1178 0 85969 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 348604 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31986 /proc/meminfo: memFree=26941324/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=348604 CPUtime=462.21 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 88841 0 0 0 46143 78 0 0 20 0 1 0 336961235 356970496 86370 33554432000 4194304 9016284 140736496516064 140736496510232 7214084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 87151 86370 686 1178 0 85969 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 348604 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31986 /proc/meminfo: memFree=26941076/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=348604 CPUtime=522.2 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 88841 0 0 0 52132 88 0 0 20 0 1 0 336961235 356970496 86370 33554432000 4194304 9016284 140736496516064 140736496509208 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 87151 86370 686 1178 0 85969 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 348604 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31986 /proc/meminfo: memFree=26940952/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=348604 CPUtime=582.19 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 88841 0 0 0 58123 96 0 0 20 0 1 0 336961235 356970496 86370 33554432000 4194304 9016284 140736496516064 140736496509736 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 87151 86370 686 1178 0 85969 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 348604 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27070572/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=378180 CPUtime=1062.12 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 92594 0 0 0 106052 160 0 0 20 0 1 0 336961235 387256320 92167 33554432000 4194304 9016284 140736496516064 140736496510184 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 94545 92167 686 1178 0 93363 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 378180 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 32029 /proc/meminfo: memFree=27056312/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=380048 CPUtime=1122.12 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 93478 0 0 0 112043 169 0 0 20 0 1 0 336961235 389169152 93051 33554432000 4194304 9016284 140736496516064 140736496509832 7227736 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 95012 93051 686 1178 0 93830 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 380048 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 32029 /proc/meminfo: memFree=27042032/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=386952 CPUtime=1182.11 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 94893 0 0 0 118033 178 0 0 20 0 1 0 336961235 396238848 94971 33554432000 4194304 9016284 140736496516064 140736496510120 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 96738 94971 686 1178 0 95556 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 386952 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 32029 /proc/meminfo: memFree=27028700/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=391008 CPUtime=1242.1 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 95826 0 0 0 124023 187 0 0 20 0 1 0 336961235 400392192 95904 33554432000 4194304 9016284 140736496516064 140736496510232 6918322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 97752 95904 686 1178 0 96570 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 391008 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 32029 /proc/meminfo: memFree=27012556/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=403444 CPUtime=1302.09 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 98099 0 0 0 130014 195 0 0 20 0 1 0 336961235 413126656 98172 33554432000 4194304 9016284 140736496516064 140736496509608 7180656 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 100861 98172 686 1178 0 99679 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 403444 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/175 32030 /proc/meminfo: memFree=26995296/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=411308 CPUtime=1362.08 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 99885 0 0 0 136004 204 0 0 20 0 1 0 336961235 421179392 100962 33554432000 4194304 9016284 140736496516064 140736496510232 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 102827 100962 686 1178 0 101645 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 411308 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/175 32030 /proc/meminfo: memFree=26987360/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=417536 CPUtime=1422.07 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 101043 0 0 0 141994 213 0 0 20 0 1 0 336961235 427556864 102120 33554432000 4194304 9016284 140736496516064 140736496509928 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 104384 102120 686 1178 0 103202 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 417536 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 32033 /proc/meminfo: memFree=26977432/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=422716 CPUtime=1482.05 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 102332 0 0 0 147984 221 0 0 20 0 1 0 336961235 432861184 103408 33554432000 4194304 9016284 140736496516064 140736496510232 7213836 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 105679 103408 686 1178 0 104497 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 422716 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 32033 /proc/meminfo: memFree=26967392/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=430548 CPUtime=1542.05 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 126738 0 0 0 153972 233 0 0 20 0 1 0 336961235 440881152 105290 33554432000 4194304 9016284 140736496516064 140736496510232 7143455 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 107637 105290 686 1178 0 106455 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 430548 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 32033 /proc/meminfo: memFree=26948380/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=442288 CPUtime=1602.03 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 128333 0 0 0 159963 240 0 0 20 0 1 0 336961235 452902912 107987 33554432000 4194304 9016284 140736496516064 140736496510120 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 110572 107987 686 1178 0 109390 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 442288 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 3/174 32033 /proc/meminfo: memFree=26936108/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=447032 CPUtime=1662.03 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 129587 0 0 0 165954 249 0 0 20 0 1 0 336961235 457760768 109752 33554432000 4194304 9016284 140736496516064 140736496510392 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 111758 109752 686 1178 0 110576 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 447032 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.00 3/175 32034 /proc/meminfo: memFree=26926800/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=450476 CPUtime=1722.02 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 130505 0 0 0 171944 258 0 0 20 0 1 0 336961235 461287424 110670 33554432000 4194304 9016284 140736496516064 140736496510232 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 112619 110670 686 1178 0 111437 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 450476 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 2.00 3/175 32034 /proc/meminfo: memFree=26915788/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=457188 CPUtime=1782 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 131711 0 0 0 177934 266 0 0 20 0 1 0 336961235 468160512 111873 33554432000 4194304 9016284 140736496516064 140736496510120 7213833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 114297 111873 686 1178 0 113115 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 457188 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.00 2.00 3/175 32034 /proc/meminfo: memFree=26915292/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=457188 CPUtime=1785.2 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 131841 0 0 0 178253 267 0 0 20 0 1 0 336961235 468160512 112003 33554432000 4194304 9016284 140736496516064 140736496510008 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 114297 112003 686 1178 0 113115 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 457188 [startup+1791.91 s] /proc/loadavg: 2.01 2.00 2.00 3/175 32034 /proc/meminfo: memFree=26914672/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=457188 CPUtime=1791.62 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 131912 0 0 0 178893 269 0 0 20 0 1 0 336961235 468160512 112074 33554432000 4194304 9016284 140736496516064 140736496509816 7082212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 114297 112074 686 1178 0 113115 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (KiB) 457188 [startup+1795.1 s] /proc/loadavg: 2.09 2.02 2.01 3/175 32034 /proc/meminfo: memFree=26911880/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=457188 CPUtime=1794.81 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 131932 0 0 0 179212 269 0 0 20 0 1 0 336961235 468160512 112094 33554432000 4194304 9016284 140736496516064 140736496510264 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 114297 112094 686 1178 0 113115 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 457188 [startup+1796.7 s] /proc/loadavg: 2.09 2.02 2.01 3/175 32034 /proc/meminfo: memFree=26911756/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=457188 CPUtime=1796.4 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 131983 0 0 0 179371 269 0 0 20 0 1 0 336961235 468160512 112145 33554432000 4194304 9016284 140736496516064 140736496509672 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 114297 112145 686 1178 0 113115 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 457188 [startup+1797.1 s] /proc/loadavg: 2.09 2.02 2.01 3/175 32034 /proc/meminfo: memFree=26911756/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=457188 CPUtime=1796.8 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 131988 0 0 0 179411 269 0 0 20 0 1 0 336961235 468160512 112150 33554432000 4194304 9016284 140736496516064 140736496509672 4330016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 114297 112150 688 1178 0 113115 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 457188 [startup+1797.3 s] /proc/loadavg: 2.08 2.02 2.00 3/175 32034 /proc/meminfo: memFree=26918700/32873852 swapFree=6856/6856 [pid=31980] ppid=31978 vsize=449488 CPUtime=1797.01 cores=0,2,4,6 /proc/31980/stat : 31980 (scip-2.0.1.4b_2) R 31978 31980 20074 0 -1 4202496 131988 0 0 0 179432 269 0 0 20 0 1 0 336961235 460275712 110225 33554432000 4194304 9016284 140736496516064 140736496509672 6812620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31980/statm: 112372 110225 688 1178 0 111190 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 449488 Child status: 0 Real time (s): 1797.36 CPU time (s): 1797.08 CPU user time (s): 1794.37 CPU system time (s): 2.70759 CPU usage (%): 99.9842 Max. virtual memory (cumulated for all children) (KiB): 503108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.37 system time used= 2.70759 maximum resident set size= 498048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131993 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= 28 involuntary context switches= 1865 runsolver used 5.44817 second user time and 13.5609 second system time The end
Begin job on node128 at 2012-06-03 09:25:53 IDJOB=3733185 IDBENCH=2256 IDSOLVER=2329 FILE ID=node128/3733185-1338708353 RUNJOBID= node128-1338679209-28499 PBS_JOBID= 14636685 Free space on /tmp= 70416 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.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-3733185-1338708353/watcher-3733185-1338708353 -o /tmp/evaluation-result-3733185-1338708353/solver-3733185-1338708353 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3733185-1338708353.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a88750537364c45876077f809191628 RANDOM SEED=339731803 node128.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.389 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 : 5332.77 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.389 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.389 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 : 5438.56 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.389 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.389 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 : 5331.91 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.389 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.389 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.91 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.389 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 27285680 kB Buffers: 541284 kB Cached: 3736432 kB SwapCached: 744 kB Active: 2394712 kB Inactive: 2299212 kB Active(anon): 406696 kB Inactive(anon): 11420 kB Active(file): 1988016 kB Inactive(file): 2287792 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67106656 kB Dirty: 19048 kB Writeback: 0 kB AnonPages: 438292 kB Mapped: 16828 kB Shmem: 200 kB Slab: 755772 kB SReclaimable: 198116 kB SUnreclaim: 557656 kB KernelStack: 1456 kB PageTables: 4636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 530336 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 374784 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= 70400 MiB End job on node128 at 2012-06-03 09:55:51