Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | 185 | 1800.06 | 1800.02 |
| 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.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451008-1307077431.opb>
0.00/0.01 c original problem has 465 variables (465 bin, 0 int, 0 impl, 0 cont) and 465 constraints
0.00/0.01 c problem read
0.00/0.01 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.02 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.03 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.03 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.03 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.5
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 = 1800
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 | - |2579k| 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 | - |2592k| 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 | - |2606k| 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 | - |2619k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 3.110000e+02 | 115.14%
1.10/1.17 o 212
1.10/1.17 c y 1.2s| 1 | 0 | 10349 | - |2990k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 2.120000e+02 | 46.65%
1.58/1.65 c 1.6s| 1 | 0 | 14234 | - |2917k| 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 | - |3164k| 0 | 386 | 465 | 545 | 465 | 918 | 373 | 0 | 0 | 1.553344e+02 | 2.120000e+02 | 36.48%
2.68/2.78 c 2.8s| 1 | 0 | 19101 | - |3350k| 0 | 409 | 465 | 545 | 465 |1055 | 510 | 0 | 0 | 1.571889e+02 | 2.120000e+02 | 34.87%
3.30/3.36 c 3.4s| 1 | 0 | 20818 | - |3488k| 0 | 412 | 465 | 545 | 465 |1155 | 610 | 0 | 0 | 1.580952e+02 | 2.120000e+02 | 34.10%
3.89/3.91 c 3.9s| 1 | 0 | 22182 | - |3556k| 0 | 418 | 465 | 545 | 465 |1227 | 682 | 0 | 0 | 1.586144e+02 | 2.120000e+02 | 33.66%
4.30/4.38 c 4.4s| 1 | 0 | 22831 | - |3598k| 0 | 410 | 465 | 545 | 465 |1267 | 722 | 0 | 0 | 1.588260e+02 | 2.120000e+02 | 33.48%
4.69/4.71 c 4.7s| 1 | 0 | 22982 | - |3608k| 0 | 412 | 465 | 545 | 465 |1275 | 730 | 0 | 0 | 1.588492e+02 | 2.120000e+02 | 33.46%
5.08/5.11 c 5.1s| 1 | 0 | 23256 | - |3627k| 0 | 411 | 465 | 545 | 465 |1288 | 743 | 0 | 0 | 1.589219e+02 | 2.120000e+02 | 33.40%
5.39/5.43 c 5.4s| 1 | 0 | 23316 | - |3635k| 0 | 410 | 465 | 545 | 465 |1290 | 745 | 0 | 0 | 1.589292e+02 | 2.120000e+02 | 33.39%
5.68/5.74 c 5.7s| 1 | 0 | 23339 | - |3642k| 0 | 410 | 465 | 545 | 465 |1292 | 747 | 0 | 0 | 1.589325e+02 | 2.120000e+02 | 33.39%
9.09/9.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.09/9.10 c 9.1s| 1 | 2 | 23339 | - |3662k| 0 | 410 | 465 | 545 | 465 |1292 | 747 | 0 | 24 | 1.589325e+02 | 2.120000e+02 | 33.39%
26.79/26.87 o 210
26.79/26.87 c c26.9s| 15 | 16 | 37809 |1033.6 |4437k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.100000e+02 | 32.00%
26.79/26.87 o 210
26.79/26.87 c c26.9s| 15 | 16 | 37810 |1033.6 |4438k| 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 |4439k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.080000e+02 | 30.74%
26.79/26.89 o 205
26.79/26.89 c c26.9s| 15 | 16 | 37952 |1043.8 |4466k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.050000e+02 | 28.85%
26.79/26.89 o 205
26.79/26.89 c c26.9s| 15 | 16 | 37963 |1044.6 |4469k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.050000e+02 | 28.85%
26.79/26.89 o 204
26.79/26.89 c c26.9s| 15 | 16 | 37977 |1045.6 |4472k| 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 |4473k| 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 |4475k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.010000e+02 | 26.34%
26.79/26.90 o 200
26.79/26.90 c b26.9s| 16 | 15 | 37990 | 976.7 |4353k| 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 |4557k| 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 |4562k| 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 |4565k| 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 |4565k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.970000e+02 | 23.76%
28.28/28.32 o 196
28.28/28.32 c p28.3s| 27 | 28 | 49024 | 987.9 |4568k| 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 |4417k| 14 | 368 | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.950000e+02 | 22.50%
52.89/52.93 o 185
52.89/52.93 c C52.9s| 227 | 228 |220467 | 872.2 |4648k| 27 | 333 | 465 | 545 | 465 | 935 | 747 | 0 | 331 | 1.592492e+02 | 1.850000e+02 | 16.17%
453.99/454.00 c 454s| 10000 | 5487 | 3482k| 345.9 |8787k| 125 | - | 465 | 545 | 465 | 935 | 747 | 0 |1244 | 1.601960e+02 | 1.850000e+02 | 15.48%
641.80/641.88 c 642s| 20000 | 8615 | 5051k| 251.4 | 11M| 125 | 362 | 465 | 545 | 465 | 935 | 747 | 0 |1694 | 1.603287e+02 | 1.850000e+02 | 15.39%
828.01/828.06 c 828s| 30000 | 12113 | 6653k| 221.0 | 14M| 125 | 349 | 465 | 554 | 465 | 935 | 747 | 9 |2113 | 1.604165e+02 | 1.850000e+02 | 15.32%
1033.41/1033.47 c 1033s| 40000 | 15749 | 8407k| 209.6 | 17M| 126 | 80 | 465 | 556 | 465 | 935 | 747 | 12 |2504 | 1.605051e+02 | 1.850000e+02 | 15.26%
1231.02/1231.05 c 1231s| 50000 | 18959 | 10093k| 201.4 | 20M| 126 | 151 | 465 | 561 | 465 | 935 | 747 | 19 |2805 | 1.605666e+02 | 1.850000e+02 | 15.22%
1416.63/1416.63 c 1417s| 60000 | 22099 | 11709k| 194.8 | 23M| 126 | - | 465 | 561 | 465 | 935 | 747 | 23 |3083 | 1.606105e+02 | 1.850000e+02 | 15.19%
1599.83/1599.82 c 1600s| 70000 | 25989 | 13311k| 189.8 | 26M| 126 | 120 | 465 | 560 | 465 | 935 | 747 | 23 |3374 | 1.606462e+02 | 1.850000e+02 | 15.16%
1768.85/1768.85 c 1769s| 80000 | 29187 | 14766k| 184.3 | 28M| 126 | 352 | 465 | 557 | 465 | 935 | 747 | 23 |3596 | 1.606798e+02 | 1.850000e+02 | 15.14%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 81744
1800.03/1800.00 c Primal Bound : +1.85000000000000e+02 (763 solutions)
1800.03/1800.00 c Dual Bound : +1.60685167714692e+02
1800.03/1800.00 c Gap : 15.13 %
1800.03/1800.01 s SATISFIABLE
1800.03/1800.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
1800.03/1800.01 v -x442 -x441 x440 x439 -x438 x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 x421
1800.03/1800.01 v -x420 x419 -x418 x417 x416 -x415 x414 -x413 x412 -x411 -x410 x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399
1800.03/1800.01 v -x398 x397 -x396 x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377
1800.03/1800.01 v -x376 x375 x374 -x373 x372 x371 -x370 x369 -x368 x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 x355
1800.03/1800.01 v x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 x340 x339 x338 x337 -x336 -x335 x334 -x333
1800.03/1800.01 v x332 -x331 -x330 x329 x328 -x327 -x326 x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 x316 x315 -x314 -x313 -x312 x311
1800.03/1800.01 v -x310 x309 -x308 x307 -x306 -x305 x304 x303 x302 -x301 -x300 x299 -x298 x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.03/1800.01 v x288 -x287 -x286 -x285 x284 -x283 -x282 x281 -x280 x279 x278 x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267
1800.03/1800.01 v x266 -x265 -x264 x263 -x262 -x261 x260 x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 x251 x250 x249 -x248 x247 -x246 -x245 x244
1800.03/1800.01 v -x243 x242 -x241 x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 x226 x225 x224 -x223 x222
1800.03/1800.01 v x221 -x220 -x219 x218 x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 x209 x208 -x207 -x206 -x205 x204 -x203 -x202 x201 -x200
1800.03/1800.01 v x199 -x198 -x197 -x196 -x195 x194 -x193 x192 -x191 x190 x189 x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180 -x179 x178 -x177
1800.03/1800.01 v -x176 -x175 -x174 -x173 -x172 x171 x170 x169 -x168 -x167 x166 x165 -x164 x163 x162 x161 x160 -x159 -x158 -x157 x156 -x155
1800.03/1800.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
1800.03/1800.01 v -x131 x130 x129 x128 x127 -x126 -x125 x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 x113 -x112 -x111 x110
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Total Time : 1800.00
1800.03/1800.01 c solving : 1800.00
1800.03/1800.01 c presolving : 0.02 (included in solving)
1800.03/1800.01 c reading : 0.01 (included in solving)
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-3451008-1307077431.opb
1800.03/1800.01 c Variables : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 465 initial, 465 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-3451008-1307077431.opb
1800.03/1800.01 c Variables : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 545 initial, 565 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c knapsack : 0.01 0 0 0 0 0 28 197 326 687
1800.03/1800.01 c setppc : 0.00 0 0 0 0 0 88 0 0 0
1800.03/1800.01 c linear : 0.01 0 0 0 0 0 1 0 1 48
1800.03/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 55846 0 768 0 2 134 0 0 111538
1800.03/1800.01 c knapsack : 434 11 366137 0 0 763 0 0 237014 764 0 0
1800.03/1800.01 c setppc : 110 11 366137 0 0 762 0 0 39474 0 0 0
1800.03/1800.01 c logicor : 1+ 11 25754 0 0 762 0 0 0 0 0 0
1800.03/1800.01 c countsols : 0 0 0 0 0 766 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.01 c integral : 98.99 0.00 0.00 98.99 0.00 0.00 0.00
1800.03/1800.01 c knapsack : 3.60 0.04 3.56 0.00 0.00 0.01 0.00
1800.03/1800.01 c setppc : 0.44 0.00 0.43 0.00 0.00 0.00 0.00
1800.03/1800.01 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.03/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.01 c vbounds : 0 0 0 0
1800.03/1800.01 c rootredcost : 13 0 0 0
1800.03/1800.01 c pseudoobj : 367179 0 0 0
1800.03/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.01 c vbounds : 0.07 0.07 0.00
1800.03/1800.01 c rootredcost : 0.08 0.08 0.00
1800.03/1800.01 c pseudoobj : 2.80 2.80 0.00
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c infeasible LP : 0.00 23 23 23 3.9 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 23 3.9 - - -
1800.03/1800.01 c applied locally : - - - 0 0.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 10 - - 276 - (maximal pool size: 1369)
1800.03/1800.01 c redcost : 1.89 100323 0 881968 0 0
1800.03/1800.01 c impliedbounds : 0.00 11 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 1.39 11 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.01 c strongcg : 1.30 11 0 0 0 0
1800.03/1800.01 c cmir : 0.19 10 0 0 846 0
1800.03/1800.01 c flowcover : 0.23 10 0 0 968 0
1800.03/1800.01 c clique : 0.00 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 1 0 0 0 0
1800.03/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.06 1 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 98.95 55846 2 134 0 0 111538
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c intshifting : 0.00 0 0
1800.03/1800.01 c feaspump : 0.00 0 0
1800.03/1800.01 c oneopt : 0.02 6 2
1800.03/1800.01 c crossover : 1.65 3 3
1800.03/1800.01 c guideddiving : 54.95 67 0
1800.03/1800.01 c linesearchdiving : 77.24 134 29
1800.03/1800.01 c veclendiving : 93.69 163 158
1800.03/1800.01 c coefdiving : 205.68 241 184
1800.03/1800.01 c pscostdiving : 192.62 313 304
1800.03/1800.01 c trivial : 0.00 2 1
1800.03/1800.01 c shiftandpropagate: 0.00 0 0
1800.03/1800.01 c simplerounding : 1.26 83750 25
1800.03/1800.01 c zirounding : 0.49 1301 26
1800.03/1800.01 c rounding : 11.21 13594 1
1800.03/1800.01 c shifting : 3.11 3852 1
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c clique : 0.00 0 0
1800.03/1800.01 c fracdiving : 55.44 66 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 40.25 8 28
1800.03/1800.01 c rootsoldiving : 14.30 15 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.01 0 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c vbounds : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c subnlp : 0.01 0 0
1800.03/1800.01 c trysol : 0.02 0 0
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 919.00 109681 8430544 76.86 9173.64
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 710.17 129029 6597884 51.13 9290.51
1800.03/1800.01 c strong branching : 96.59 3669 737306 200.96 7633.65
1800.03/1800.01 c (at root node) : - 24 20215 842.29 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 81744
1800.03/1800.01 c nodes (total) : 81744
1800.03/1800.01 c nodes left : 29795
1800.03/1800.01 c max depth : 126
1800.03/1800.01 c max depth (total): 126
1800.03/1800.01 c backtracks : 12378 (15.1%)
1800.03/1800.01 c delayed cutoffs : 0
1800.03/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.01 c avg switch length: 7.48
1800.03/1800.01 c switching time : 3.32
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 763 (21 improvements)
1800.03/1800.01 c First Solution : +4.65000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Primal Bound : +1.85000000000000e+02 (in run 1, after 227 nodes, 52.92 seconds, depth 25, found by <crossover>)
1800.03/1800.01 c Dual Bound : +1.60685167714692e+02
1800.03/1800.01 c Gap : 15.13 %
1800.03/1800.01 c Root Dual Bound : +1.58932483705547e+02
1800.03/1800.01 c Root Iterations : 23339
OK 185
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451008-1307077431/watcher-3451008-1307077431 -o /tmp/evaluation-result-3451008-1307077431/solver-3451008-1307077431 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451008-1307077431.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.02 1.99 2/453 14932 /proc/meminfo: memFree=31934084/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=13252 CPUtime=0 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 2309 0 0 0 0 0 0 0 25 0 1 0 819340976 13570048 2262 33554432000 4194304 9163163 140736477824608 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14932/statm: 3313 2263 395 1214 0 2095 0 [startup+0.098484 s] /proc/loadavg: 1.93 2.02 1.99 2/453 14932 /proc/meminfo: memFree=31934084/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=22488 CPUtime=0.09 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 4786 0 0 0 9 0 0 0 18 0 1 0 819340976 23027712 4473 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14932/statm: 5622 4473 644 1214 0 4404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22488 [startup+0.100471 s] /proc/loadavg: 1.93 2.02 1.99 2/453 14932 /proc/meminfo: memFree=31934084/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=22488 CPUtime=0.09 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 4787 0 0 0 9 0 0 0 18 0 1 0 819340976 23027712 4474 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14932/statm: 5622 4474 644 1214 0 4404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22488 [startup+0.300403 s] /proc/loadavg: 1.93 2.02 1.99 2/453 14932 /proc/meminfo: memFree=31934084/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=22488 CPUtime=0.29 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 4817 0 0 0 29 0 0 0 18 0 1 0 819340976 23027712 4504 33554432000 4194304 9163163 140736477824608 18446744073709551615 7412884 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14932/statm: 5622 4504 645 1214 0 4404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22488 [startup+0.700338 s] /proc/loadavg: 1.93 2.02 1.99 2/453 14932 /proc/meminfo: memFree=31934084/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=22840 CPUtime=0.68 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 4913 0 0 0 68 0 0 0 18 0 1 0 819340976 23388160 4599 33554432000 4194304 9163163 140736477824608 18446744073709551615 7416711 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14932/statm: 5710 4599 645 1214 0 4492 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 22840 [startup+1.50025 s] /proc/loadavg: 1.93 2.02 1.99 3/454 14933 /proc/meminfo: memFree=31916468/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=34956 CPUtime=1.48 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 8405 0 0 0 146 2 0 0 19 0 1 0 819340976 35794944 7385 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8739 7385 714 1214 0 7521 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34956 [startup+3.10093 s] /proc/loadavg: 1.93 2.02 1.99 3/454 14933 /proc/meminfo: memFree=31905184/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35232 CPUtime=3.08 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 8463 0 0 0 305 3 0 0 25 0 1 0 819340976 36077568 7443 33554432000 4194304 9163163 140736477824608 18446744073709551615 6274512 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8808 7443 715 1214 0 7590 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 35232 [startup+6.30038 s] /proc/loadavg: 1.94 2.02 1.99 3/454 14933 /proc/meminfo: memFree=31905056/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35568 CPUtime=6.28 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 8875 0 0 0 624 4 0 0 25 0 1 0 819340976 36421632 7855 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8892 7855 720 1214 0 7674 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 35568 [startup+12.7002 s] /proc/loadavg: 1.94 2.02 1.99 3/454 14933 /proc/meminfo: memFree=31903064/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35568 CPUtime=12.68 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 8876 0 0 0 1258 10 0 0 25 0 1 0 819340976 36421632 7856 33554432000 4194304 9163163 140736477824608 18446744073709551615 7375921 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8892 7856 721 1214 0 7674 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35568 [startup+25.5009 s] /proc/loadavg: 1.95 2.02 1.99 3/454 14933 /proc/meminfo: memFree=31902188/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35568 CPUtime=25.48 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 8877 0 0 0 2528 20 0 0 25 0 1 0 819340976 36421632 7857 33554432000 4194304 9163163 140736477824608 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8892 7857 722 1214 0 7674 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35568 [startup+51.1002 s] /proc/loadavg: 1.97 2.02 1.99 3/454 14937 /proc/meminfo: memFree=31901576/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35568 CPUtime=51.09 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 8879 0 0 0 5066 43 0 0 25 0 1 0 819340976 36421632 7859 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8892 7859 724 1214 0 7674 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 35568 [startup+102.317 s] /proc/loadavg: 2.03 2.03 2.00 3/454 14938 /proc/meminfo: memFree=31899112/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35536 CPUtime=102.3 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 9990 0 0 0 10139 91 0 0 25 0 1 0 819340976 36388864 7890 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8884 7890 731 1214 0 7666 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 35536 [startup+162.301 s] /proc/loadavg: 2.16 2.06 2.01 3/454 14940 /proc/meminfo: memFree=31897344/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35536 CPUtime=162.29 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 9991 0 0 0 16082 147 0 0 25 0 1 0 819340976 36388864 7891 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8884 7891 731 1214 0 7666 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 35536 [startup+222.301 s] /proc/loadavg: 2.12 2.07 2.02 3/454 14941 /proc/meminfo: memFree=31897184/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35536 CPUtime=222.29 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 9994 0 0 0 22029 200 0 0 25 0 1 0 819340976 36388864 7894 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8884 7894 731 1214 0 7666 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 35536 [startup+282.3 s] /proc/loadavg: 2.11 2.08 2.02 3/454 14943 /proc/meminfo: memFree=31898132/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35844 CPUtime=282.29 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 10043 0 0 0 27973 256 0 0 25 0 1 0 819340976 36704256 7943 33554432000 4194304 9163163 140736477824608 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8961 7943 731 1214 0 7743 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 35844 [startup+342.3 s] /proc/loadavg: 2.08 2.08 2.02 3/454 14945 /proc/meminfo: memFree=31897592/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=36560 CPUtime=342.29 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 10230 0 0 0 33916 313 0 0 25 0 1 0 819340976 37437440 8130 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 9140 8130 731 1214 0 7922 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 36560 [startup+402.3 s] /proc/loadavg: 2.03 2.06 2.01 3/454 14946 /proc/meminfo: memFree=31897796/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35536 CPUtime=402.29 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 12430 0 0 0 39860 369 0 0 25 0 1 0 819340976 36388864 7907 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8884 7907 731 1214 0 7666 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 35536 [startup+462.3 s] /proc/loadavg: 2.04 2.06 2.01 3/454 14948 /proc/meminfo: memFree=31897636/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35536 CPUtime=462.3 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 13266 0 0 0 45805 425 0 0 25 0 1 0 819340976 36388864 7910 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8884 7910 731 1214 0 7666 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 35536 [startup+522.301 s] /proc/loadavg: 2.01 2.05 2.01 3/454 14949 /proc/meminfo: memFree=31896716/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35536 CPUtime=522.3 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 13270 0 0 0 51753 477 0 0 25 0 1 0 819340976 36388864 7914 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8884 7914 731 1214 0 7666 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 35536 [startup+582.301 s] /proc/loadavg: 2.00 2.04 2.00 3/454 14951 /proc/meminfo: memFree=31895424/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=35536 CPUtime=582.3 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 13274 0 0 0 57697 533 0 0 25 0 1 0 819340976 36388864 7918 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 8884 7918 731 1214 0 7666 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 35536 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.06 2.04 2.00 3/454 14957 /proc/meminfo: memFree=31889432/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=39756 CPUtime=822.31 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 18820 0 0 0 81464 767 0 0 25 0 1 0 819340976 40710144 8957 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 9939 8957 734 1214 0 8721 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 39756 [startup+882.301 s] /proc/loadavg: 2.02 2.03 2.00 3/454 14959 /proc/meminfo: memFree=31888620/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=41244 CPUtime=882.31 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 19201 0 0 0 87407 824 0 0 25 0 1 0 819340976 42233856 9338 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 10311 9338 734 1214 0 9093 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 41244 [startup+942.3 s] /proc/loadavg: 2.10 2.05 2.01 3/454 14961 /proc/meminfo: memFree=31887712/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=41584 CPUtime=942.31 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 19276 0 0 0 93347 884 0 0 25 0 1 0 819340976 42582016 9413 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 10396 9413 734 1214 0 9178 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 41584 [startup+1002.3 s] /proc/loadavg: 2.08 2.05 2.01 3/454 14962 /proc/meminfo: memFree=31886288/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=42360 CPUtime=1002.31 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 19505 0 0 0 99290 941 0 0 25 0 1 0 819340976 43376640 9642 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 10590 9642 734 1214 0 9372 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 42360 [startup+1062.3 s] /proc/loadavg: 2.03 2.04 2.00 3/454 14964 /proc/meminfo: memFree=31885508/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=42836 CPUtime=1062.31 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 19611 0 0 0 105229 1002 0 0 25 0 1 0 819340976 43864064 9748 33554432000 4194304 9163163 140736477824608 18446744073709551615 7391797 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 10709 9748 734 1214 0 9491 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 42836 [startup+1122.3 s] /proc/loadavg: 2.01 2.03 2.00 3/454 14965 /proc/meminfo: memFree=31883976/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=43144 CPUtime=1122.32 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 19709 0 0 0 111174 1058 0 0 25 0 1 0 819340976 44179456 9846 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 10786 9846 734 1214 0 9568 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 43144 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 14967 /proc/meminfo: memFree=31881580/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=45316 CPUtime=1182.32 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 20242 0 0 0 117113 1119 0 0 25 0 1 0 819340976 46403584 10379 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 11329 10379 734 1214 0 10111 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 45316 [startup+1242.3 s] /proc/loadavg: 2.05 2.03 2.00 3/454 14969 /proc/meminfo: memFree=31880176/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=46612 CPUtime=1242.32 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 20566 0 0 0 123053 1179 0 0 25 0 1 0 819340976 47730688 10703 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 11653 10703 734 1214 0 10435 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 46612 [startup+1302.3 s] /proc/loadavg: 2.15 2.06 2.01 3/454 14970 /proc/meminfo: memFree=31877548/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=47056 CPUtime=1302.33 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 20674 0 0 0 128993 1240 0 0 25 0 1 0 819340976 48185344 10811 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 11764 10811 734 1214 0 10546 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 47056 [startup+1362.3 s] /proc/loadavg: 2.14 2.06 2.01 4/454 15000 /proc/meminfo: memFree=30477280/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=47056 CPUtime=1362.32 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 20679 0 0 0 134937 1295 0 0 25 0 1 0 819340976 48185344 10816 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 11764 10816 734 1214 0 10546 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 47056 [startup+1422.32 s] /proc/loadavg: 2.05 2.05 2.00 3/454 15001 /proc/meminfo: memFree=30474676/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=48564 CPUtime=1422.34 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 21070 0 0 0 140886 1348 0 0 25 0 1 0 819340976 49729536 11207 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 12141 11207 734 1214 0 10923 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 48564 [startup+1482.3 s] /proc/loadavg: 2.02 2.04 2.00 3/454 15003 /proc/meminfo: memFree=30472668/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=49120 CPUtime=1482.32 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 21210 0 0 0 146828 1404 0 0 25 0 1 0 819340976 50298880 11347 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 12280 11347 734 1214 0 11062 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 49120 [startup+1542.3 s] /proc/loadavg: 2.04 2.04 2.00 3/454 15005 /proc/meminfo: memFree=30454020/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=50488 CPUtime=1542.33 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 21575 0 0 0 152765 1468 0 0 25 0 1 0 819340976 51699712 11712 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 12622 11712 734 1214 0 11404 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 50488 [startup+1602.3 s] /proc/loadavg: 2.05 2.05 2.00 3/454 15006 /proc/meminfo: memFree=30473696/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=52244 CPUtime=1602.33 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 21990 0 0 0 158710 1523 0 0 25 0 1 0 819340976 53497856 12127 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 13061 12127 734 1214 0 11843 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 52244 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/454 15008 /proc/meminfo: memFree=30342492/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=53772 CPUtime=1662.33 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 22380 0 0 0 164654 1579 0 0 25 0 1 0 819340976 55062528 12517 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 13443 12517 734 1214 0 12225 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 53772 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/454 15009 /proc/meminfo: memFree=30341972/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=53868 CPUtime=1722.34 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 23952 0 0 0 170600 1634 0 0 25 0 1 0 819340976 55160832 12551 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 13467 12551 734 1214 0 12249 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 53868 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 15011 /proc/meminfo: memFree=30313672/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=55032 CPUtime=1782.34 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 24273 0 0 0 176545 1689 0 0 25 0 1 0 819340976 56352768 12872 33554432000 4194304 9163163 140736477824608 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14932/statm: 13758 12872 734 1214 0 12540 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 55032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 4/454 15012 /proc/meminfo: memFree=30313920/32951124 swapFree=55639044/67111528 [pid=14932] ppid=14930 vsize=55332 CPUtime=1800.04 cores=0,2,4,6 /proc/14932/stat : 14932 (scip-2.0.1.4b.l) R 14930 14932 12722 0 -1 4202496 24330 0 0 0 178297 1707 0 0 25 0 1 0 819340976 56659968 12929 33554432000 4194304 9163163 140736477824608 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/14932/statm: 13833 12929 736 1214 0 12615 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 55332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.06 CPU user time (s): 1782.98 CPU system time (s): 17.0804 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 55332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.98 system time used= 17.0804 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24331 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= 2880 runsolver used 8.47271 second user time and 17.6623 second system time The end
Begin job on node133 at 2011-06-03 07:03:51 IDJOB=3451008 IDBENCH=1960 IDSOLVER=1948 FILE ID=node133/3451008-1307077431 RUNJOBID= node133-1307066901-13751 PBS_JOBID= 13497853 Free space on /tmp= 73968 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 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.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451008-1307077431/watcher-3451008-1307077431 -o /tmp/evaluation-result-3451008-1307077431/solver-3451008-1307077431 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451008-1307077431.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a RANDOM SEED=1332997264 node133.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.834 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.66 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.834 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 : 5332.75 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 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 : 6741.12 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 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.83 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.834 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.834 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: 32951124 kB MemFree: 31934364 kB Buffers: 265000 kB Cached: 431544 kB SwapCached: 10584 kB Active: 344560 kB Inactive: 399304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31934364 kB SwapTotal: 67111528 kB SwapFree: 55639044 kB Dirty: 12148 kB Writeback: 0 kB AnonPages: 44784 kB Mapped: 15784 kB Slab: 151732 kB PageTables: 53732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 114938596 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73940 MiB End job on node133 at 2011-06-03 07:33:53