Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | 184 | 1797.08 | 1797.04 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
| MD5SUM | 008a49e8cb0d34e0becb5a5e15efaa2a |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 184 |
| Best CPU time to get the best result obtained on this benchmark | 1797.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 177 |
| Optimality of the best value was proved | NO |
| Number of variables | 465 |
| Total number of constraints | 465 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 465 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 465 |
| 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 | 465 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 465 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.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-3485486-1307757658.opb>
0.00/0.00 c original problem has 465 variables (465 bin, 0 int, 0 impl, 0 cont) and 465 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 465
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.650000e+02
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, 0 chg sides, 48 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 48 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 48 chg coeffs, 464 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 80 del conss, 177 add conss, 0 chg bounds, 237 chg sides, 554 chg coeffs, 464 upgd conss, 220 impls, 0 clqs
0.00/0.02 c (round 5) 0 del vars, 114 del conss, 194 add conss, 0 chg bounds, 313 chg sides, 701 chg coeffs, 464 upgd conss, 220 impls, 0 clqs
0.00/0.02 c (round 6) 0 del vars, 117 del conss, 197 add conss, 0 chg bounds, 327 chg sides, 735 chg coeffs, 464 upgd conss, 220 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/465 (21.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 117 deleted constraints, 197 added constraints, 0 tightened bounds, 0 added holes, 327 changed sides, 735 changed coefficients
0.00/0.03 c 220 implications, 0 cliques
0.00/0.03 c presolved problem has 465 variables (465 bin, 0 int, 0 impl, 0 cont) and 545 constraints
0.00/0.03 c 434 constraints of type <knapsack>
0.00/0.03 c 110 constraints of type <setppc>
0.00/0.03 c 1 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.4
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.97 c t 1.0s| 1 | 0 | 10349 | - |2546k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 4.650000e+02 | 221.67%
0.89/0.97 o 313
0.89/0.97 c r 1.0s| 1 | 0 | 10349 | - |2559k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 3.130000e+02 | 116.52%
0.89/0.98 o 312
0.89/0.98 c R 1.0s| 1 | 0 | 10349 | - |2572k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 3.120000e+02 | 115.83%
0.89/0.98 o 311
0.89/0.98 c s 1.0s| 1 | 0 | 10349 | - |2586k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 3.110000e+02 | 115.14%
1.09/1.17 o 212
1.09/1.17 c y 1.2s| 1 | 0 | 10349 | - |2957k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 2.120000e+02 | 46.65%
1.59/1.65 c 1.6s| 1 | 0 | 14234 | - |2884k| 0 | 369 | 465 | 545 | 465 | 748 | 203 | 0 | 0 | 1.520564e+02 | 2.120000e+02 | 39.42%
2.20/2.28 c 2.3s| 1 | 0 | 17347 | - |3131k| 0 | 386 | 465 | 545 | 465 | 918 | 373 | 0 | 0 | 1.553344e+02 | 2.120000e+02 | 36.48%
2.69/2.77 c 2.8s| 1 | 0 | 19101 | - |3317k| 0 | 409 | 465 | 545 | 465 |1055 | 510 | 0 | 0 | 1.571889e+02 | 2.120000e+02 | 34.87%
3.29/3.35 c 3.4s| 1 | 0 | 20818 | - |3456k| 0 | 412 | 465 | 545 | 465 |1155 | 610 | 0 | 0 | 1.580952e+02 | 2.120000e+02 | 34.10%
3.89/3.90 c 3.9s| 1 | 0 | 22182 | - |3524k| 0 | 418 | 465 | 545 | 465 |1227 | 682 | 0 | 0 | 1.586144e+02 | 2.120000e+02 | 33.66%
4.29/4.37 c 4.4s| 1 | 0 | 22831 | - |3566k| 0 | 410 | 465 | 545 | 465 |1267 | 722 | 0 | 0 | 1.588260e+02 | 2.120000e+02 | 33.48%
4.59/4.69 c 4.7s| 1 | 0 | 22982 | - |3576k| 0 | 412 | 465 | 545 | 465 |1275 | 730 | 0 | 0 | 1.588492e+02 | 2.120000e+02 | 33.46%
4.99/5.09 c 5.1s| 1 | 0 | 23256 | - |3595k| 0 | 411 | 465 | 545 | 465 |1288 | 743 | 0 | 0 | 1.589219e+02 | 2.120000e+02 | 33.40%
5.39/5.40 c 5.4s| 1 | 0 | 23316 | - |3602k| 0 | 410 | 465 | 545 | 465 |1290 | 745 | 0 | 0 | 1.589292e+02 | 2.120000e+02 | 33.39%
5.69/5.71 c 5.7s| 1 | 0 | 23339 | - |3609k| 0 | 410 | 465 | 545 | 465 |1292 | 747 | 0 | 0 | 1.589325e+02 | 2.120000e+02 | 33.39%
8.98/9.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.98/9.09 c 9.1s| 1 | 2 | 23339 | - |3630k| 0 | 410 | 465 | 545 | 465 |1292 | 747 | 0 | 24 | 1.589325e+02 | 2.120000e+02 | 33.39%
26.79/26.86 o 210
26.79/26.86 c c26.9s| 15 | 16 | 37809 |1033.6 |4404k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.100000e+02 | 32.00%
26.79/26.86 o 210
26.79/26.86 c c26.9s| 15 | 16 | 37810 |1033.6 |4406k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.100000e+02 | 32.00%
26.79/26.87 o 208
26.79/26.87 c c26.9s| 15 | 16 | 37827 |1034.9 |4407k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.080000e+02 | 30.74%
26.79/26.88 o 205
26.79/26.88 c c26.9s| 15 | 16 | 37952 |1043.8 |4434k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.050000e+02 | 28.85%
26.79/26.88 o 205
26.79/26.88 c c26.9s| 15 | 16 | 37963 |1044.6 |4437k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.050000e+02 | 28.85%
26.79/26.88 o 204
26.79/26.88 c c26.9s| 15 | 16 | 37977 |1045.6 |4439k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.040000e+02 | 28.23%
26.79/26.89 o 203
26.79/26.89 c c26.9s| 15 | 16 | 37981 |1045.9 |4441k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.030000e+02 | 27.60%
26.79/26.89 o 201
26.79/26.89 c c26.9s| 15 | 16 | 37986 |1046.2 |4442k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.010000e+02 | 26.34%
26.79/26.89 o 200
26.79/26.89 c b26.9s| 16 | 15 | 37990 | 976.7 |4321k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.000000e+02 | 25.71%
28.28/28.31 o 199
28.28/28.31 c p28.3s| 27 | 28 | 48982 | 986.3 |4524k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.990000e+02 | 25.01%
28.28/28.31 o 198
28.28/28.31 c p28.3s| 27 | 28 | 49002 | 987.0 |4529k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.980000e+02 | 24.38%
28.28/28.31 o 198
28.28/28.31 c p28.3s| 27 | 28 | 49012 | 987.4 |4532k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.980000e+02 | 24.38%
28.28/28.31 o 197
28.28/28.31 c p28.3s| 27 | 28 | 49016 | 987.6 |4533k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.970000e+02 | 23.76%
28.28/28.31 o 196
28.28/28.31 c p28.3s| 27 | 28 | 49024 | 987.9 |4536k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.960000e+02 | 23.13%
28.28/28.32 o 195
28.28/28.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.28/28.32 c b28.3s| 27 | 28 | 49031 | 988.2 |4385k| 14 | 368 | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.950000e+02 | 22.50%
55.29/55.39 o 186
55.29/55.39 c C55.4s| 227 | 228 |218363 | 862.9 |4614k| 27 | 332 | 465 | 545 | 465 | 935 | 747 | 0 | 321 | 1.592492e+02 | 1.860000e+02 | 16.80%
420.69/420.78 o 184
420.69/420.78 c C 421s| 9105 | 3979 | 3132k| 341.5 |7358k| 133 | - | 465 | 548 | 465 | 935 | 747 | 3 |1259 | 1.600960e+02 | 1.840000e+02 | 14.93%
443.78/443.89 c 444s| 10000 | 4264 | 3335k| 331.2 |7600k| 133 | - | 465 | 548 | 465 | 935 | 747 | 3 |1260 | 1.601320e+02 | 1.840000e+02 | 14.91%
690.39/690.41 c 690s| 20000 | 8178 | 5430k| 270.4 | 10M| 133 | - | 465 | 552 | 465 | 935 | 747 | 7 |1845 | 1.603016e+02 | 1.840000e+02 | 14.78%
919.01/919.07 c 919s| 30000 | 11020 | 7390k| 245.6 | 13M| 133 | 327 | 465 | 553 | 465 | 935 | 747 | 11 |2406 | 1.603992e+02 | 1.840000e+02 | 14.71%
1144.12/1144.12 c 1144s| 40000 | 13926 | 9328k| 232.6 | 15M| 133 | - | 465 | 552 | 465 | 935 | 747 | 11 |2827 | 1.604791e+02 | 1.840000e+02 | 14.66%
1366.33/1366.31 c 1366s| 50000 | 17212 | 11232k| 224.2 | 18M| 133 | 114 | 465 | 566 | 465 | 935 | 747 | 25 |3242 | 1.605383e+02 | 1.840000e+02 | 14.61%
1576.22/1576.30 c 1576s| 60000 | 20008 | 13055k| 217.2 | 20M| 133 | - | 465 | 568 | 465 | 935 | 747 | 31 |3572 | 1.605863e+02 | 1.840000e+02 | 14.58%
1787.03/1787.00 c 1787s| 70000 | 22890 | 14894k| 212.5 | 23M| 133 | - | 465 | 563 | 465 | 935 | 747 | 31 |3885 | 1.606308e+02 | 1.840000e+02 | 14.55%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.01
1797.03/1797.00 c Solving Nodes : 70605
1797.03/1797.00 c Primal Bound : +1.84000000000000e+02 (779 solutions)
1797.03/1797.00 c Dual Bound : +1.60632798674525e+02
1797.03/1797.00 c Gap : 14.55 %
1797.03/1797.01 s SATISFIABLE
1797.03/1797.01 v x465 x464 x463 -x462 -x461 x460 x459 -x458 -x457 -x456 x455 x454 x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
1797.03/1797.01 v -x442 -x441 -x440 -x439 x438 x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 x428 -x427 -x426 x425 -x424 x423 -x422 x421
1797.03/1797.01 v x420 -x419 -x418 -x417 -x416 x415 -x414 x413 x412 -x411 x410 x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 x399
1797.03/1797.01 v -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377
1797.03/1797.01 v x376 x375 -x374 x373 x372 -x371 x370 x369 -x368 -x367 -x366 -x365 x364 x363 x362 -x361 -x360 x359 x358 x357 -x356 x355 x354
1797.03/1797.01 v -x353 -x352 x351 x350 -x349 x348 -x347 -x346 -x345 x344 x343 x342 -x341 -x340 x339 x338 x337 x336 -x335 x334 -x333 x332 -x331
1797.03/1797.01 v -x330 x329 x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 x316 x315 x314 -x313 -x312 -x311 -x310 x309
1797.03/1797.01 v -x308 -x307 -x306 -x305 x304 x303 -x302 -x301 -x300 x299 -x298 -x297 x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287
1797.03/1797.01 v -x286 -x285 x284 -x283 -x282 x281 x280 x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 x266 -x265
1797.03/1797.01 v x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 x254 -x253 -x252 -x251 -x250 x249 -x248 x247 -x246 -x245 x244 -x243
1797.03/1797.01 v x242 -x241 x240 x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 x222 x221
1797.03/1797.01 v -x220 -x219 x218 -x217 -x216 x215 x214 x213 -x212 x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 x199
1797.03/1797.01 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 x179 x178 -x177
1797.03/1797.01 v -x176 -x175 -x174 -x173 x172 x171 x170 -x169 -x168 x167 x166 -x165 x164 x163 x162 x161 -x160 -x159 x158 -x157 x156 -x155
1797.03/1797.01 v -x154 x153 x152 x151 -x150 x149 -x148 x147 x146 x145 -x144 -x143 x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 x134 x133 x132
1797.03/1797.01 v -x131 -x130 x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 x117 x116 x115 -x114 x113 -x112 -x111 -x110
1797.03/1797.01 v x109 x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 x98 x97 -x96 -x95 x94 -x93 -x92 x91 -x90 -x89 x88 x87 -x86 x85
1797.03/1797.01 v -x84 x83 x82 x81 -x80 -x79 x78 -x77 -x76 x75 x74 x73 x72 -x71 -x70 -x69 x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 x57
1797.03/1797.01 v x56 -x55 -x54 x53 -x52 x51 x50 -x49 -x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 x30
1797.03/1797.01 v -x29 x28 x27 -x26 x25 -x24 x23 x22 -x21 x20 x19 -x18 -x17 x16 x15 -x14 -x13 x12 x11 -x10 x9 x8 x7 -x6 x5 -x4 -x3 x2 x1
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.01
1797.03/1797.01 c solving : 1797.01
1797.03/1797.01 c presolving : 0.02 (included in solving)
1797.03/1797.01 c reading : 0.01 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3485486-1307757658.opb
1797.03/1797.01 c Variables : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 465 initial, 465 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3485486-1307757658.opb
1797.03/1797.01 c Variables : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 545 initial, 568 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c knapsack : 0.01 0 0 0 0 0 28 197 326 687
1797.03/1797.01 c setppc : 0.00 0 0 0 0 0 88 0 0 0
1797.03/1797.01 c linear : 0.01 0 0 0 0 0 1 0 1 48
1797.03/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 47439 0 784 0 5 168 0 0 94658
1797.03/1797.01 c knapsack : 434 11 346810 0 6 779 0 0 251444 764 0 0
1797.03/1797.01 c setppc : 110 11 346810 0 6 778 0 0 50713 0 0 0
1797.03/1797.01 c logicor : 1+ 11 22825 0 0 778 0 0 1 0 0 0
1797.03/1797.01 c countsols : 0 0 0 0 1 782 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 103.34 0.00 0.00 103.34 0.00 0.00 0.00
1797.03/1797.01 c knapsack : 3.43 0.03 3.39 0.00 0.00 0.01 0.00
1797.03/1797.01 c setppc : 0.43 0.00 0.43 0.00 0.00 0.00 0.00
1797.03/1797.01 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 14 0 0 0
1797.03/1797.01 c pseudoobj : 347684 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.06 0.06 0.00
1797.03/1797.01 c rootredcost : 0.06 0.06 0.00
1797.03/1797.01 c pseudoobj : 2.51 2.51 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c infeasible LP : 0.00 31 31 31 3.8 0 0.0 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 31 3.8 - - -
1797.03/1797.01 c applied locally : - - - 0 0.0 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.00 10 - - 276 - (maximal pool size: 1369)
1797.03/1797.01 c redcost : 1.70 89179 0 846136 0 0
1797.03/1797.01 c impliedbounds : 0.00 11 0 0 0 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 1.37 11 0 0 0 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 1.29 11 0 0 0 0
1797.03/1797.01 c cmir : 0.18 10 0 0 846 0
1797.03/1797.01 c flowcover : 0.24 10 0 0 968 0
1797.03/1797.01 c clique : 0.00 1 0 0 0 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.06 1 0 0 0 0
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 103.31 47439 5 168 0 0 94658
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c oneopt : 0.02 7 2
1797.03/1797.01 c crossover : 1.44 5 4
1797.03/1797.01 c rootsoldiving : 13.94 15 0
1797.03/1797.01 c trivial : 0.00 2 1
1797.03/1797.01 c shiftandpropagate: 0.00 0 0
1797.03/1797.01 c simplerounding : 1.17 76066 25
1797.03/1797.01 c zirounding : 0.49 1301 26
1797.03/1797.01 c rounding : 10.42 12874 1
1797.03/1797.01 c shifting : 2.86 3662 1
1797.03/1797.01 c intshifting : 0.00 0 0
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c feaspump : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c coefdiving : 210.35 233 184
1797.03/1797.01 c pscostdiving : 205.17 302 342
1797.03/1797.01 c fracdiving : 55.34 58 0
1797.03/1797.01 c veclendiving : 86.48 137 94
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c objpscostdiving : 50.56 8 74
1797.03/1797.01 c linesearchdiving : 71.44 123 24
1797.03/1797.01 c guideddiving : 55.14 60 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.00 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.01 0 0
1797.03/1797.01 c trysol : 0.02 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.01 c dual LP : 900.87 99222 8306602 83.72 9220.69
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 724.06 129270 6678500 51.66 9223.74
1797.03/1797.01 c strong branching : 101.23 3886 772151 198.70 7627.57
1797.03/1797.01 c (at root node) : - 24 20215 842.29 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 70605
1797.03/1797.01 c nodes (total) : 70605
1797.03/1797.01 c nodes left : 23081
1797.03/1797.01 c max depth : 133
1797.03/1797.01 c max depth (total): 133
1797.03/1797.01 c backtracks : 10695 (15.1%)
1797.03/1797.01 c delayed cutoffs : 0
1797.03/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.01 c avg switch length: 6.98
1797.03/1797.01 c switching time : 2.96
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 779 (22 improvements)
1797.03/1797.01 c First Solution : +4.65000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.03/1797.01 c Primal Bound : +1.84000000000000e+02 (in run 1, after 9105 nodes, 420.78 seconds, depth 116, found by <crossover>)
1797.03/1797.01 c Dual Bound : +1.60632798674525e+02
1797.03/1797.01 c Gap : 14.55 %
1797.03/1797.01 c Root Dual Bound : +1.58932483705547e+02
1797.03/1797.01 c Root Iterations : 23339
1797.03/1797.04 c Time complete: 1797.08.
OK 184
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485486-1307757658/watcher-3485486-1307757658 -o /tmp/evaluation-result-3485486-1307757658/solver-3485486-1307757658 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485486-1307757658.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.00 2.00 1.94 2/177 1138 /proc/meminfo: memFree=31369200/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=6588 CPUtime=0 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 773 0 0 0 0 0 0 0 25 0 1 0 965996491 6746112 727 33554432000 4194304 8979876 140737063744880 18446744073709551615 7790312 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/1138/statm: 1647 728 316 1169 0 474 0 [startup+0.049996 s] /proc/loadavg: 2.00 2.00 1.94 2/177 1138 /proc/meminfo: memFree=31369200/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=20804 CPUtime=0.04 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 4377 0 0 0 4 0 0 0 25 0 1 0 965996491 21303296 4068 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 5201 4068 636 1169 0 4028 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 20804 [startup+0.100989 s] /proc/loadavg: 2.00 2.00 1.94 2/177 1138 /proc/meminfo: memFree=31369200/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=20804 CPUtime=0.09 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 4401 0 0 0 9 0 0 0 25 0 1 0 965996491 21303296 4092 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 5201 4092 636 1169 0 4028 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20804 [startup+0.300948 s] /proc/loadavg: 2.00 2.00 1.94 2/177 1138 /proc/meminfo: memFree=31369200/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=20804 CPUtime=0.28 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 4432 0 0 0 28 0 0 0 25 0 1 0 965996491 21303296 4123 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 5201 4123 637 1169 0 4028 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 20804 [startup+0.700878 s] /proc/loadavg: 2.00 2.00 1.94 2/177 1138 /proc/meminfo: memFree=31369200/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=21160 CPUtime=0.69 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 4525 0 0 0 68 1 0 0 25 0 1 0 965996491 21667840 4216 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 5290 4216 637 1169 0 4117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21160 [startup+1.50073 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1139 /proc/meminfo: memFree=31354708/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=33500 CPUtime=1.49 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 7721 0 0 0 147 2 0 0 25 0 1 0 965996491 34304000 7059 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8375 7059 704 1169 0 7202 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33500 [startup+3.10043 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1139 /proc/meminfo: memFree=31343180/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=33776 CPUtime=3.09 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 7780 0 0 0 306 3 0 0 25 0 1 0 965996491 34586624 7118 33554432000 4194304 8979876 140737063744880 18446744073709551615 6601243 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8444 7118 705 1169 0 7271 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33776 [startup+6.30083 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1149 /proc/meminfo: memFree=31341316/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34112 CPUtime=6.28 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 7936 0 0 0 624 4 0 0 25 0 1 0 965996491 34930688 7274 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8528 7274 709 1169 0 7355 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34112 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1149 /proc/meminfo: memFree=31341536/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34112 CPUtime=12.69 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 7936 0 0 0 1259 10 0 0 25 0 1 0 965996491 34930688 7274 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8528 7274 709 1169 0 7355 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34112 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1149 /proc/meminfo: memFree=31342016/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34112 CPUtime=25.48 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 7938 0 0 0 2530 18 0 0 25 0 1 0 965996491 34930688 7276 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8528 7276 711 1169 0 7355 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34112 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1150 /proc/meminfo: memFree=31341672/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34112 CPUtime=51.09 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 7939 0 0 0 5069 40 0 0 25 0 1 0 965996491 34930688 7277 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1138/statm: 8528 7277 712 1169 0 7355 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 34112 [startup+102.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1617 /proc/meminfo: memFree=31338868/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34080 CPUtime=102.27 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 9209 0 0 0 10138 89 0 0 25 0 1 0 965996491 34897920 7558 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1138/statm: 8520 7558 719 1169 0 7347 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34080 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1619 /proc/meminfo: memFree=31338564/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34080 CPUtime=162.27 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 9210 0 0 0 16083 144 0 0 25 0 1 0 965996491 34897920 7559 33554432000 4194304 8979876 140737063744880 18446744073709551615 7184653 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8520 7559 719 1169 0 7347 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 34080 [startup+222.306 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1620 /proc/meminfo: memFree=31338640/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34080 CPUtime=222.28 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 9213 0 0 0 22031 197 0 0 25 0 1 0 965996491 34897920 7562 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8520 7562 719 1169 0 7347 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 34080 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1622 /proc/meminfo: memFree=31338200/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34080 CPUtime=282.28 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 10400 0 0 0 27974 254 0 0 25 0 1 0 965996491 34897920 7569 33554432000 4194304 8979876 140737063744880 18446744073709551615 7143037 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8520 7569 721 1169 0 7347 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 34080 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1624 /proc/meminfo: memFree=31338144/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34080 CPUtime=342.28 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 10404 0 0 0 33915 313 0 0 25 0 1 0 965996491 34897920 7573 33554432000 4194304 8979876 140737063744880 18446744073709551615 7184974 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8520 7573 721 1169 0 7347 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 34080 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1625 /proc/meminfo: memFree=31335724/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34080 CPUtime=402.28 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 10408 0 0 0 39859 369 0 0 25 0 1 0 965996491 34897920 7577 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8520 7577 721 1169 0 7347 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 34080 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1627 /proc/meminfo: memFree=31335308/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34080 CPUtime=462.28 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 12710 0 0 0 45798 430 0 0 25 0 1 0 965996491 34897920 7577 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8520 7577 721 1169 0 7347 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 34080 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1628 /proc/meminfo: memFree=31335000/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=34080 CPUtime=522.28 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 14870 0 0 0 51742 486 0 0 25 0 1 0 965996491 34897920 7580 33554432000 4194304 8979876 140737063744880 18446744073709551615 7184661 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8520 7580 721 1169 0 7347 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 34080 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 1630 /proc/meminfo: memFree=31334560/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=35104 CPUtime=582.29 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 15099 0 0 0 57690 539 0 0 25 0 1 0 965996491 35946496 7809 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 8776 7809 721 1169 0 7603 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 35104 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31328408/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=37996 CPUtime=1062.31 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 16570 0 0 0 105245 986 0 0 25 0 1 0 965996491 38907904 8543 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 9499 8543 721 1169 0 8326 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 37996 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1644 /proc/meminfo: memFree=31326740/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=39520 CPUtime=1122.31 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 16955 0 0 0 111188 1043 0 0 25 0 1 0 965996491 40468480 8928 33554432000 4194304 8979876 140737063744880 18446744073709551615 7184991 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 9880 8928 721 1169 0 8707 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 39520 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1646 /proc/meminfo: memFree=31326300/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=39272 CPUtime=1182.31 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 17659 0 0 0 117123 1108 0 0 25 0 1 0 965996491 40214528 8895 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 9818 8895 721 1169 0 8645 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 39272 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1648 /proc/meminfo: memFree=31325112/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=40192 CPUtime=1242.32 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 17871 0 0 0 123071 1161 0 0 25 0 1 0 965996491 41156608 9107 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 10048 9107 721 1169 0 8875 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 40192 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1649 /proc/meminfo: memFree=31324316/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=40372 CPUtime=1302.32 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 17910 0 0 0 129015 1217 0 0 25 0 1 0 965996491 41340928 9146 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 10093 9146 721 1169 0 8920 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 40372 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1651 /proc/meminfo: memFree=31322144/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=41084 CPUtime=1362.32 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 18068 0 0 0 134959 1273 0 0 25 0 1 0 965996491 42070016 9304 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 10271 9304 721 1169 0 9098 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 41084 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1652 /proc/meminfo: memFree=31319860/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=43252 CPUtime=1422.32 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 18666 0 0 0 140901 1331 0 0 25 0 1 0 965996491 44290048 9902 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 10813 9902 721 1169 0 9640 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 43252 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1654 /proc/meminfo: memFree=31319316/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=43812 CPUtime=1482.32 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 18789 0 0 0 146840 1392 0 0 25 0 1 0 965996491 44863488 10025 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 10953 10025 721 1169 0 9780 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 43812 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1694 /proc/meminfo: memFree=29848648/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=44360 CPUtime=1542.33 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 18933 0 0 0 152786 1447 0 0 25 0 1 0 965996491 45424640 10169 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/1138/statm: 11090 10169 721 1169 0 9917 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 44360 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 1695 /proc/meminfo: memFree=29894212/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=44688 CPUtime=1602.33 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 21841 0 0 0 158730 1503 0 0 25 0 1 0 965996491 45760512 10250 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11172 10250 721 1169 0 9999 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 44688 [startup+1662.3 s] /proc/loadavg: 2.06 2.02 1.96 3/178 1697 /proc/meminfo: memFree=29913696/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=44964 CPUtime=1662.32 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 21903 0 0 0 164676 1556 0 0 25 0 1 0 965996491 46043136 10312 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11241 10312 721 1169 0 10068 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 44964 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 1.96 3/178 1698 /proc/meminfo: memFree=29769700/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=45364 CPUtime=1722.32 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 22037 0 0 0 170623 1609 0 0 25 0 1 0 965996491 46452736 10446 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11341 10446 721 1169 0 10168 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 45364 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 1.96 3/178 1700 /proc/meminfo: memFree=29733912/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=46748 CPUtime=1782.33 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 22391 0 0 0 176567 1666 0 0 25 0 1 0 965996491 47869952 10800 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11687 10800 721 1169 0 10514 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 46748 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.01 2.00 1.96 3/178 1700 /proc/meminfo: memFree=29733912/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=46748 CPUtime=1785.63 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 22391 0 0 0 176895 1668 0 0 25 0 1 0 965996491 47869952 10800 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11687 10800 721 1169 0 10514 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (KiB) 46748 [startup+1792.01 s] /proc/loadavg: 2.00 2.00 1.96 3/178 1700 /proc/meminfo: memFree=29705508/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=47340 CPUtime=1792.03 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 22506 0 0 0 177530 1673 0 0 25 0 1 0 965996491 48476160 10915 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11835 10915 721 1169 0 10662 0 Current children cumulated CPU time (s) 1792.03 Current children cumulated vsize (KiB) 47340 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 1.96 3/178 1700 /proc/meminfo: memFree=29705260/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=47660 CPUtime=1795.23 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 22584 0 0 0 177847 1676 0 0 25 0 1 0 965996491 48803840 10993 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11915 10993 721 1169 0 10742 0 Current children cumulated CPU time (s) 1795.23 Current children cumulated vsize (KiB) 47660 [startup+1796 s] /proc/loadavg: 2.00 2.00 1.96 3/178 1700 /proc/meminfo: memFree=29705260/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=47660 CPUtime=1796.03 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 22584 0 0 0 177927 1676 0 0 25 0 1 0 965996491 48803840 10993 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11915 10993 721 1169 0 10742 0 Current children cumulated CPU time (s) 1796.03 Current children cumulated vsize (KiB) 47660 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 1.96 3/178 1700 /proc/meminfo: memFree=29705260/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=47660 CPUtime=1796.83 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 22584 0 0 0 178007 1676 0 0 25 0 1 0 965996491 48803840 10993 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11915 10993 721 1169 0 10742 0 Current children cumulated CPU time (s) 1796.83 Current children cumulated vsize (KiB) 47660 [startup+1797 s] /proc/loadavg: 2.00 2.00 1.96 3/178 1700 /proc/meminfo: memFree=29705260/32950928 swapFree=67054844/67111528 [pid=1138] ppid=1136 vsize=47660 CPUtime=1797.03 cores=0,2,4,6 /proc/1138/stat : 1138 (scip-2.0.1.4_2.) R 1136 1138 32526 0 -1 4202496 22584 0 0 0 178027 1676 0 0 25 0 1 0 965996491 48803840 10993 33554432000 4194304 8979876 140737063744880 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/1138/statm: 11915 10993 721 1169 0 10742 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 47660 Child status: 0 Real time (s): 1797.04 CPU time (s): 1797.08 CPU user time (s): 1780.31 CPU system time (s): 16.7724 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 47660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.31 system time used= 16.7724 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22592 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= 6 involuntary context switches= 6135 runsolver used 2.73158 second user time and 5.45217 second system time The end
Begin job on node114 at 2011-06-11 04:00:58 IDJOB=3485486 IDBENCH=1960 IDSOLVER=1977 FILE ID=node114/3485486-1307757658 RUNJOBID= node114-1307750177-32544 PBS_JOBID= 13550848 Free space on /tmp= 74100 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485486-1307757658/watcher-3485486-1307757658 -o /tmp/evaluation-result-3485486-1307757658/solver-3485486-1307757658 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485486-1307757658.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a RANDOM SEED=1684513336 node114.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.848 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.69 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.74 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.848 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.73 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.848 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.75 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.848 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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: 31369628 kB Buffers: 245800 kB Cached: 1090796 kB SwapCached: 10540 kB Active: 439012 kB Inactive: 939148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31369628 kB SwapTotal: 67111528 kB SwapFree: 67054844 kB Dirty: 16708 kB Writeback: 0 kB AnonPages: 38644 kB Mapped: 15688 kB Slab: 138636 kB PageTables: 4588 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 231448 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= 74064 MiB End job on node114 at 2011-06-11 04:30:55