Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | 191 | 1796.75 | 1797.04 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb |
| MD5SUM | 7903a80129c7e51df900bcb9ac0a6f39 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 190 |
| Best CPU time to get the best result obtained on this benchmark | 1796.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 185 |
| Optimality of the best value was proved | NO |
| Number of variables | 475 |
| Total number of constraints | 475 |
| 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 | 475 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 475 |
| 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 | 475 |
| 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 | 475 |
| 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.5]
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-3731425-1338697161.opb>
0.00/0.01 c original problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 475 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 475
0.00/0.02 c feasible solution found by trivial heuristic, objective value 4.750000e+02
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 475 upgd conss, 2 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 88 del conss, 228 add conss, 0 chg bounds, 288 chg sides, 679 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 123 del conss, 250 add conss, 0 chg bounds, 354 chg sides, 800 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 132 del conss, 257 add conss, 0 chg bounds, 369 chg sides, 832 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 133 del conss, 258 add conss, 0 chg bounds, 381 chg sides, 855 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/475 (21.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (7 rounds):
0.00/0.04 c 0 deleted vars, 133 deleted constraints, 258 added constraints, 0 tightened bounds, 0 added holes, 381 changed sides, 855 changed coefficients
0.00/0.04 c 324 implications, 0 cliques
0.00/0.04 c presolved problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 600 constraints
0.00/0.04 c 440 constraints of type <knapsack>
0.00/0.04 c 160 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.88/1.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/1.00 c t 1.0s| 1 | 0 | 10233 | - |2674k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 4.750000e+02 | 205.61%
0.88/1.00 o 344
0.88/1.00 c r 1.0s| 1 | 0 | 10233 | - |2687k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 3.440000e+02 | 121.33%
0.88/1.00 o 343
0.88/1.00 c R 1.0s| 1 | 0 | 10233 | - |2701k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 3.430000e+02 | 120.69%
0.99/1.00 o 342
0.99/1.00 c s 1.0s| 1 | 0 | 10233 | - |2714k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 3.420000e+02 | 120.04%
1.19/1.22 o 225
1.19/1.22 c y 1.2s| 1 | 0 | 10233 | - |3064k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 2.250000e+02 | 44.76%
1.69/1.70 c 1.7s| 1 | 0 | 14193 | - |2988k| 0 | 380 | 475 | 600 | 475 | 796 | 196 | 0 | 0 | 1.616731e+02 | 2.250000e+02 | 39.17%
2.19/2.29 c 2.3s| 1 | 0 | 17035 | - |3223k| 0 | 412 | 475 | 600 | 475 | 965 | 365 | 0 | 0 | 1.644631e+02 | 2.250000e+02 | 36.81%
2.78/2.85 c 2.8s| 1 | 0 | 19323 | - |3393k| 0 | 408 | 475 | 600 | 475 |1083 | 483 | 0 | 0 | 1.659992e+02 | 2.250000e+02 | 35.54%
3.29/3.35 c 3.3s| 1 | 0 | 20791 | - |3478k| 0 | 423 | 475 | 600 | 475 |1164 | 564 | 0 | 0 | 1.668209e+02 | 2.250000e+02 | 34.88%
3.78/3.89 c 3.9s| 1 | 0 | 22172 | - |3524k| 0 | 428 | 475 | 600 | 475 |1215 | 615 | 0 | 0 | 1.671828e+02 | 2.250000e+02 | 34.58%
4.08/4.19 c 4.2s| 1 | 0 | 22298 | - |3535k| 0 | 431 | 475 | 600 | 475 |1228 | 628 | 0 | 0 | 1.672146e+02 | 2.250000e+02 | 34.56%
4.39/4.49 c 4.5s| 1 | 0 | 22349 | - |3543k| 0 | 432 | 475 | 600 | 475 |1231 | 631 | 0 | 0 | 1.672187e+02 | 2.250000e+02 | 34.55%
4.79/4.80 c 4.8s| 1 | 0 | 22428 | - |3551k| 0 | 433 | 475 | 600 | 475 |1235 | 635 | 0 | 0 | 1.672255e+02 | 2.250000e+02 | 34.55%
8.89/8.97 c 9.0s| 1 | 2 | 22428 | - |3571k| 0 | 433 | 475 | 600 | 475 |1235 | 635 | 0 | 30 | 1.672255e+02 | 2.250000e+02 | 34.55%
26.48/26.51 o 225
26.48/26.51 c c26.5s| 15 | 16 | 38333 |1136.1 |4330k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.250000e+02 | 34.36%
26.48/26.51 o 224
26.48/26.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.48/26.51 c c26.5s| 15 | 16 | 38353 |1137.5 |4332k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.240000e+02 | 33.76%
26.48/26.52 o 221
26.48/26.52 c c26.5s| 15 | 16 | 38498 |1147.9 |4341k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.210000e+02 | 31.97%
26.48/26.52 o 219
26.48/26.52 c c26.5s| 15 | 16 | 38499 |1147.9 |4343k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.190000e+02 | 30.78%
26.48/26.52 o 217
26.48/26.52 c c26.5s| 15 | 16 | 38507 |1148.5 |4344k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.170000e+02 | 29.58%
26.48/26.53 o 217
26.48/26.53 c c26.5s| 15 | 16 | 38515 |1149.1 |4347k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.170000e+02 | 29.58%
26.48/26.54 o 216
26.48/26.54 c c26.5s| 15 | 16 | 38621 |1156.6 |4370k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.160000e+02 | 28.99%
26.48/26.54 o 216
26.48/26.54 c c26.5s| 15 | 16 | 38624 |1156.9 |4372k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.160000e+02 | 28.99%
26.48/26.54 o 215
26.48/26.54 c c26.5s| 15 | 16 | 38654 |1159.0 |4379k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.150000e+02 | 28.39%
26.48/26.55 o 214
26.48/26.55 c c26.5s| 15 | 16 | 38732 |1164.6 |4396k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.140000e+02 | 27.79%
27.88/27.93 o 213
27.88/27.93 c p27.9s| 27 | 28 | 49574 |1044.1 |4468k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.130000e+02 | 27.06%
27.88/27.93 o 212
27.88/27.93 c p27.9s| 27 | 28 | 49577 |1044.2 |4469k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.120000e+02 | 26.47%
27.88/27.93 o 207
27.88/27.93 c p27.9s| 27 | 28 | 49586 |1044.5 |4470k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.070000e+02 | 23.48%
27.88/27.93 o 205
27.88/27.93 c p27.9s| 27 | 28 | 49588 |1044.6 |4471k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.050000e+02 | 22.29%
27.88/27.93 o 204
27.88/27.93 c p27.9s| 27 | 28 | 49595 |1044.9 |4473k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.040000e+02 | 21.70%
27.88/27.94 o 198
27.88/27.94 c b27.9s| 27 | 28 | 49653 |1047.1 |4338k| 14 | 385 | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 1.980000e+02 | 18.12%
179.65/179.75 o 197
179.65/179.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.65/179.75 c p 180s| 839 | 840 | 1278k|1498.8 |5121k| 31 | - | 475 | 604 | 475 | 972 | 635 | 4 | 567 | 1.680966e+02 | 1.970000e+02 | 17.19%
179.65/179.75 o 196
179.65/179.75 c p 180s| 839 | 840 | 1278k|1498.9 |5124k| 31 | - | 475 | 604 | 475 | 972 | 635 | 4 | 567 | 1.680966e+02 | 1.960000e+02 | 16.60%
206.35/206.47 o 195
206.35/206.47 c p 206s| 1071 | 1072 | 1500k|1381.5 |5263k| 31 | - | 475 | 604 | 475 | 972 | 635 | 4 | 590 | 1.680966e+02 | 1.950000e+02 | 16.00%
251.54/251.61 o 192
251.54/251.61 c C 252s| 1493 | 1494 | 1855k|1228.4 |5414k| 31 | 313 | 475 | 604 | 475 | 972 | 635 | 4 | 694 | 1.680966e+02 | 1.920000e+02 | 14.22%
251.54/251.64 o 191
251.54/251.64 c b 252s| 1494 | 1495 | 1855k|1227.8 |5421k| 31 | 316 | 475 | 604 | 475 | 972 | 635 | 4 | 694 | 1.680966e+02 | 1.910000e+02 | 13.63%
504.30/504.46 c 504s| 10000 | 4189 | 4006k| 398.5 |7551k| 117 | 126 | 475 | 608 | 475 | 972 | 635 | 9 |1235 | 1.686716e+02 | 1.910000e+02 | 13.24%
771.16/771.35 c 771s| 20000 | 6893 | 6266k| 312.2 |9616k| 117 | - | 475 | 615 | 475 | 972 | 635 | 20 |1929 | 1.688652e+02 | 1.910000e+02 | 13.11%
1037.03/1037.23 c 1037s| 30000 | 9555 | 8554k| 284.4 | 11M| 117 | 195 | 475 | 617 | 475 | 972 | 635 | 26 |2476 | 1.689633e+02 | 1.910000e+02 | 13.04%
1268.99/1269.23 c 1269s| 40000 | 12129 | 10556k| 263.4 | 13M| 117 | 163 | 475 | 619 | 475 | 972 | 635 | 29 |2873 | 1.690407e+02 | 1.910000e+02 | 12.99%
1501.95/1502.20 c 1502s| 50000 | 14757 | 12571k| 251.0 | 15M| 117 | - | 475 | 620 | 475 | 972 | 635 | 31 |3299 | 1.690944e+02 | 1.910000e+02 | 12.95%
1716.42/1716.79 c 1717s| 60000 | 17147 | 14432k| 240.2 | 17M| 117 | - | 475 | 615 | 475 | 972 | 635 | 31 |3609 | 1.691426e+02 | 1.910000e+02 | 12.92%
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 63643
1796.70/1797.01 c Primal Bound : +1.91000000000000e+02 (687 solutions)
1796.70/1797.01 c Dual Bound : +1.69155577801636e+02
1796.70/1797.01 c Gap : 12.91 %
1796.70/1797.01 s SATISFIABLE
1796.70/1797.01 v x475 -x474 -x473 x472 x471 -x470 x469 x468 -x467 -x466 x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 x453
1796.70/1797.01 v -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 x441 x440 -x439 x438 x437 -x436 -x435 -x434 -x433 -x432 -x431
1796.70/1797.01 v -x430 x429 -x428 x427 -x426 x425 x424 -x423 -x422 x421 -x420 x419 -x418 x417 -x416 x415 x414 x413 -x412 x411 x410 x409 -x408
1796.70/1797.01 v -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 x398 x397 -x396 -x395 -x394 -x393 x392 x391 x390 -x389 -x388 x387 x386
1796.70/1797.01 v x385 -x384 -x383 x382 -x381 x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 x372 x371 -x370 -x369 x368 -x367 x366 x365 -x364
1796.70/1797.01 v x363 -x362 -x361 -x360 x359 -x358 x357 -x356 -x355 x354 x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 x345 x344 -x343 -x342 -x341
1796.70/1797.01 v -x340 x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 x331 x330 -x329 x328 x327 -x326 -x325 -x324 x323 -x322 x321 x320 -x319
1796.70/1797.01 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 x305 -x304 -x303 x302 -x301 -x300 -x299 x298
1796.70/1797.01 v x297 -x296 -x295 -x294 -x293 -x292 x291 x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 x278 -x277 x276
1796.70/1797.01 v -x275 -x274 x273 x272 -x271 x270 -x269 -x268 x267 -x266 x265 x264 -x263 x262 -x261 x260 x259 -x258 x257 -x256 x255 x254 x253
1796.70/1797.01 v -x252 -x251 -x250 -x249 x248 x247 x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 x232 -x231
1796.70/1797.01 v -x230 -x229 -x228 x227 x226 x225 -x224 -x223 -x222 x221 -x220 -x219 x218 x217 -x216 x215 -x214 -x213 -x212 -x211 x210 x209 -x208
1796.70/1797.01 v -x207 -x206 x205 x204 -x203 x202 x201 x200 -x199 x198 x197 -x196 -x195 -x194 -x193 x192 x191 x190 x189 -x188 x187 -x186
1796.70/1797.01 v -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 x176 x175 -x174 -x173 x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164
1796.70/1797.01 v -x163 -x162 x161 x160 -x159 -x158 -x157 x156 -x155 x154 -x153 -x152 x151 x150 x149 x148 -x147 x146 x145 -x144 -x143 x142 -x141
1796.70/1797.01 v x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 x132 -x131 -x130 -x129 -x128 x127 x126 x125 x124 x123 x122 -x121 x120 x119 x118
1796.70/1797.01 v x117 x116 -x115 -x114 x113 x112 -x111 -x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 x100 -x99 -x98 x97 -x96 -x95
1796.70/1797.01 v -x94 -x93 -x92 x91 x90 x89 -x88 -x87 x86 x85 -x84 -x83 -x82 x81 x80 -x79 x78 -x77 -x76 x75 x74 -x73 x72 x71 -x70 -x69 -x68
1796.70/1797.01 v -x67 x66 -x65 -x64 x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 x55 x54 x53 -x52 -x51 -x50 x49 x48 x47 x46 x45 x44 x43 -x42 -x41 -x40
1796.70/1797.01 v x39 x38 x37 -x36 -x35 -x34 x33 -x32 x31 x30 -x29 -x28 x27 x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 x13
1796.70/1797.01 v -x12 x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 0.02 (included in solving)
1796.70/1797.01 c reading : 0.01 (included in solving)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3731425-1338697161.opb
1796.70/1797.01 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 475 initial, 475 maximal
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3731425-1338697161.opb
1796.70/1797.01 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 600 initial, 620 maximal
1796.70/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.01 0 0 0 0 0 34 258 381 834
1796.70/1797.01 c setppc : 0.00 0 0 0 0 0 99 0 0 0
1796.70/1797.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1796.70/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c root node : - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 40900 0 692 0 2 183 0 0 81630
1796.70/1797.01 c knapsack : 440 9 343412 0 2 687 0 0 236491 691 0 0
1796.70/1797.01 c setppc : 160 9 343412 0 2 686 0 0 52899 0 0 0
1796.70/1797.01 c logicor : 0+ 0 22430 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 2 690 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.70/1797.01 c integral : 102.88 0.00 0.00 102.87 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 3.29 0.03 3.26 0.00 0.00 0.01 0.00
1796.70/1797.01 c setppc : 0.53 0.00 0.53 0.00 0.00 0.00 0.00
1796.70/1797.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c rootredcost : 18 0 0 0
1796.70/1797.01 c pseudoobj : 344397 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.70/1797.01 c vbounds : 0.05 0.05 0.00
1796.70/1797.01 c rootredcost : 0.06 0.06 0.00
1796.70/1797.01 c pseudoobj : 2.59 2.59 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c infeasible LP : 0.00 35 35 35 3.7 0 0.0 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 35 3.7 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 8 - - 252 - (maximal pool size: 1088)
1796.70/1797.01 c redcost : 1.49 84251 0 752455 0 0
1796.70/1797.01 c impliedbounds : 0.00 9 0 0 0 0
1796.70/1797.01 c intobj : 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 1.07 9 0 0 0 0
1796.70/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.70/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 1.02 9 0 0 0 0
1796.70/1797.01 c cmir : 0.13 9 0 0 638 0
1796.70/1797.01 c flowcover : 0.14 9 0 0 807 0
1796.70/1797.01 c clique : 0.00 1 0 0 0 0
1796.70/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.00 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.07 1 0 0 0 0
1796.70/1797.01 c Pricers : Time Calls Vars
1796.70/1797.01 c problem variables: 0.00 0 0
1796.70/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 102.85 40900 2 183 0 0 81630
1796.70/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 2 0 0 0 0 4
1796.70/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : Time Calls Found
1796.70/1797.01 c LP solutions : 0.00 - 0
1796.70/1797.01 c pseudo solutions : 0.00 - 0
1796.70/1797.01 c intshifting : 0.00 0 0
1796.70/1797.01 c oneopt : 0.01 8 2
1796.70/1797.01 c crossover : 0.66 4 3
1796.70/1797.01 c fracdiving : 54.11 58 0
1796.70/1797.01 c guideddiving : 54.79 59 0
1796.70/1797.01 c veclendiving : 85.57 123 126
1796.70/1797.01 c linesearchdiving : 73.25 124 34
1796.70/1797.01 c coefdiving : 232.92 241 163
1796.70/1797.01 c pscostdiving : 215.00 315 234
1796.70/1797.01 c trivial : 0.00 2 1
1796.70/1797.01 c shiftandpropagate: 0.00 0 0
1796.70/1797.01 c simplerounding : 1.19 70860 23
1796.70/1797.01 c zirounding : 0.38 1051 21
1796.70/1797.01 c rounding : 12.10 12464 1
1796.70/1797.01 c shifting : 3.34 3344 1
1796.70/1797.01 c twoopt : 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0 0
1796.70/1797.01 c feaspump : 0.00 0 0
1796.70/1797.01 c clique : 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0 0
1796.70/1797.01 c objpscostdiving : 29.63 5 77
1796.70/1797.01 c rootsoldiving : 14.26 15 0
1796.70/1797.01 c octane : 0.00 0 0
1796.70/1797.01 c rens : 0.01 0 0
1796.70/1797.01 c rins : 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0 0
1796.70/1797.01 c dins : 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0 0
1796.70/1797.01 c subnlp : 0.01 0 0
1796.70/1797.01 c trysol : 0.02 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.70/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.70/1797.01 c dual LP : 890.67 93666 8250854 88.09 9263.70
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.70/1797.01 c diving/probing LP: 735.41 126132 6883416 54.57 9359.92
1796.70/1797.01 c strong branching : 100.82 3714 791840 213.20 7854.08
1796.70/1797.01 c (at root node) : - 30 26922 897.40 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 63643
1796.70/1797.01 c nodes (total) : 63643
1796.70/1797.01 c nodes left : 17992
1796.70/1797.01 c max depth : 117
1796.70/1797.01 c max depth (total): 117
1796.70/1797.01 c backtracks : 11763 (18.5%)
1796.70/1797.01 c delayed cutoffs : 0
1796.70/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.01 c avg switch length: 6.68
1796.70/1797.01 c switching time : 2.47
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 687 (26 improvements)
1796.70/1797.01 c First Solution : +4.75000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.01 c Primal Bound : +1.91000000000000e+02 (in run 1, after 1494 nodes, 251.64 seconds, depth 31, found by <oneopt>)
1796.70/1797.01 c Dual Bound : +1.69155577801636e+02
1796.70/1797.01 c Gap : 12.91 %
1796.70/1797.01 c Root Dual Bound : +1.67225537761668e+02
1796.70/1797.01 c Root Iterations : 22428
1796.70/1797.04 c Time complete: 1796.75.
OK 191
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731425-1338697161/watcher-3731425-1338697161 -o /tmp/evaluation-result-3731425-1338697161/solver-3731425-1338697161 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731425-1338697161.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.01 2.02 2.00 3/176 2492 /proc/meminfo: memFree=29842120/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/2492/stat : 2492 (runsolver) D 2490 2492 20657 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 335842110 12095488 51 33554432000 4194304 5436572 140734354121312 140734354117608 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/2492/statm: 2953 51 31 304 0 2645 0 [startup+0.048265 s] /proc/loadavg: 2.01 2.02 2.00 3/176 2492 /proc/meminfo: memFree=29842120/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=22112 CPUtime=0.03 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 4687 0 0 0 3 0 0 0 20 0 1 0 335842110 22642688 4385 33554432000 4194304 9016284 140734363291392 140734354117496 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 5528 4385 619 1178 0 4346 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 22112 [startup+0.100297 s] /proc/loadavg: 2.01 2.02 2.00 3/176 2492 /proc/meminfo: memFree=29842120/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=22316 CPUtime=0.08 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 4758 0 0 0 8 0 0 0 20 0 1 0 335842110 22851584 4456 33554432000 4194304 9016284 140734363291392 140734354117496 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 5579 4456 620 1178 0 4397 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22316 [startup+0.300228 s] /proc/loadavg: 2.01 2.02 2.00 3/176 2492 /proc/meminfo: memFree=29842120/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=22564 CPUtime=0.28 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 4805 0 0 0 27 1 0 0 20 0 1 0 335842110 23105536 4502 33554432000 4194304 9016284 140734363291392 140734354117496 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 5641 4502 620 1178 0 4459 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 22564 [startup+0.700221 s] /proc/loadavg: 2.01 2.02 2.00 3/176 2492 /proc/meminfo: memFree=29842120/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=22712 CPUtime=0.68 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 4874 0 0 0 67 1 0 0 20 0 1 0 335842110 23257088 4571 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 5678 4571 620 1178 0 4496 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 22712 [startup+1.50023 s] /proc/loadavg: 2.01 2.02 2.00 3/177 2493 /proc/meminfo: memFree=29826092/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=24180 CPUtime=1.48 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 8374 0 0 0 146 2 0 0 20 0 1 0 335842110 24760320 5066 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 6045 5066 694 1178 0 4863 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 24180 [startup+3.10022 s] /proc/loadavg: 2.01 2.02 2.00 3/177 2493 /proc/meminfo: memFree=29823860/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=25928 CPUtime=3.08 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 8750 0 0 0 304 4 0 0 20 0 1 0 335842110 26550272 5441 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 6482 5441 696 1178 0 5300 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 25928 [startup+6.30022 s] /proc/loadavg: 2.01 2.02 2.00 3/177 2493 /proc/meminfo: memFree=29821132/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=26064 CPUtime=6.29 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 10437 0 0 0 622 7 0 0 20 0 1 0 335842110 26689536 5511 33554432000 4194304 9016284 140734363291392 140734363285144 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 6516 5511 697 1178 0 5334 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26064 [startup+12.7002 s] /proc/loadavg: 2.01 2.01 2.00 3/177 2493 /proc/meminfo: memFree=29822032/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=26208 CPUtime=12.68 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 10443 0 0 0 1257 11 0 0 20 0 1 0 335842110 26836992 5517 33554432000 4194304 9016284 140734363291392 140734363285192 7081800 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 6552 5517 699 1178 0 5370 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26208 [startup+25.5001 s] /proc/loadavg: 2.00 2.01 2.00 3/177 2493 /proc/meminfo: memFree=29822156/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=26400 CPUtime=25.47 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 10495 0 0 0 2527 20 0 0 20 0 1 0 335842110 27033600 5569 33554432000 4194304 9016284 140734363291392 140734363285144 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 6600 5569 701 1178 0 5418 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 26400 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 2.00 3/178 2497 /proc/meminfo: memFree=29821096/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=27276 CPUtime=51.08 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 10737 0 0 0 5062 46 0 0 20 0 1 0 335842110 27930624 5811 33554432000 4194304 9016284 140734363291392 140734363285304 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 6819 5811 703 1178 0 5637 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27276 [startup+102.306 s] /proc/loadavg: 2.00 2.01 2.00 3/177 2497 /proc/meminfo: memFree=29820796/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=27376 CPUtime=102.27 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 13461 0 0 0 10137 90 0 0 20 0 1 0 335842110 28033024 5821 33554432000 4194304 9016284 140734363291392 140734363284536 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 6844 5821 708 1178 0 5662 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27376 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2497 /proc/meminfo: memFree=29820408/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=27500 CPUtime=162.26 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 15197 0 0 0 16082 144 0 0 20 0 1 0 335842110 28160000 5889 33554432000 4194304 9016284 140734363291392 140734363285352 7180555 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 6875 5889 708 1178 0 5693 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 27500 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2535 /proc/meminfo: memFree=30323724/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=28376 CPUtime=222.24 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 16999 0 0 0 22027 197 0 0 20 0 1 0 335842110 29057024 6093 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 7094 6093 708 1178 0 5912 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 28376 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2535 /proc/meminfo: memFree=30319488/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=29088 CPUtime=282.24 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 20516 0 0 0 27971 253 0 0 20 0 1 0 335842110 29786112 6275 33554432000 4194304 9016284 140734363291392 140734363285352 7180382 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 7272 6275 709 1178 0 6090 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 29088 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2535 /proc/meminfo: memFree=30318716/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=29032 CPUtime=342.23 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 24816 0 0 0 33911 312 0 0 20 0 1 0 335842110 29728768 6299 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 7258 6299 709 1178 0 6076 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 29032 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2536 /proc/meminfo: memFree=30318100/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=30372 CPUtime=402.22 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 26714 0 0 0 39854 368 0 0 20 0 1 0 335842110 31100928 6530 33554432000 4194304 9016284 140734363291392 140734363284584 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 7593 6530 709 1178 0 6411 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 30372 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2537 /proc/meminfo: memFree=30316480/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=30440 CPUtime=462.21 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 28327 0 0 0 45791 430 0 0 20 0 1 0 335842110 31170560 6655 33554432000 4194304 9016284 140734363291392 140734363285096 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 7610 6655 709 1178 0 6428 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 30440 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2537 /proc/meminfo: memFree=30315368/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=31688 CPUtime=522.2 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 31405 0 0 0 51732 488 0 0 20 0 1 0 335842110 32448512 6925 33554432000 4194304 9016284 140734363291392 140734363284984 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 7922 6925 709 1178 0 6740 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 31688 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2537 /proc/meminfo: memFree=30312828/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=33024 CPUtime=582.19 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 31754 0 0 0 57674 545 0 0 20 0 1 0 335842110 33816576 7274 33554432000 4194304 9016284 140734363291392 140734363285080 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 8256 7274 709 1178 0 7074 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 33024 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30302604/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=39084 CPUtime=1122.1 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 34990 0 0 0 111159 1051 0 0 20 0 1 0 335842110 40022016 8843 33554432000 4194304 9016284 140734363291392 140734363285352 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 9771 8843 709 1178 0 8589 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 39084 [startup+1182.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 2542 /proc/meminfo: memFree=30302604/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=39084 CPUtime=1182.1 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 34994 0 0 0 117104 1106 0 0 20 0 1 0 335842110 40022016 8847 33554432000 4194304 9016284 140734363291392 140734363285016 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 9771 8847 709 1178 0 8589 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 39084 [startup+1242.3 s] /proc/loadavg: 2.10 2.03 2.01 3/178 2545 /proc/meminfo: memFree=30301184/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=39084 CPUtime=1242.08 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 34995 0 0 0 123046 1162 0 0 20 0 1 0 335842110 40022016 8848 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 9771 8848 709 1178 0 8589 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 39084 [startup+1302.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 2546 /proc/meminfo: memFree=30301884/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=39084 CPUtime=1302.09 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 34998 0 0 0 128991 1218 0 0 20 0 1 0 335842110 40022016 8851 33554432000 4194304 9016284 140734363291392 140734363285064 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 9771 8851 709 1178 0 8589 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 39084 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 2546 /proc/meminfo: memFree=30299596/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=39788 CPUtime=1362.07 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 35131 0 0 0 134935 1272 0 0 20 0 1 0 335842110 40742912 8984 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 9947 8984 709 1178 0 8765 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 39788 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/177 2546 /proc/meminfo: memFree=30299724/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=39788 CPUtime=1422.06 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 35146 0 0 0 140876 1330 0 0 20 0 1 0 335842110 40742912 8999 33554432000 4194304 9016284 140734363291392 140734363285352 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 9947 8999 709 1178 0 8765 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 39788 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2546 /proc/meminfo: memFree=30299724/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=39788 CPUtime=1482.05 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 35158 0 0 0 146818 1387 0 0 20 0 1 0 335842110 40742912 9011 33554432000 4194304 9016284 140734363291392 140734363285352 7158208 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 9947 9011 709 1178 0 8765 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 39788 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2546 /proc/meminfo: memFree=30299228/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=40500 CPUtime=1542.04 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 35319 0 0 0 152758 1446 0 0 20 0 1 0 335842110 41472000 9172 33554432000 4194304 9016284 140734363291392 140734363285304 7158231 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 10125 9172 709 1178 0 8943 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 40500 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2547 /proc/meminfo: memFree=30299548/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=41196 CPUtime=1602.03 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 35508 0 0 0 158703 1500 0 0 20 0 1 0 335842110 42184704 9361 33554432000 4194304 9016284 140734363291392 140734363284760 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 10299 9361 709 1178 0 9117 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 41196 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30294708/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=43628 CPUtime=1662.02 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 36983 0 0 0 164644 1558 0 0 20 0 1 0 335842110 44675072 10004 33554432000 4194304 9016284 140734363291392 140734363285112 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 10907 10004 709 1178 0 9725 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 43628 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 2548 /proc/meminfo: memFree=30294712/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=43628 CPUtime=1722.01 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 36984 0 0 0 170585 1616 0 0 20 0 1 0 335842110 44675072 10005 33554432000 4194304 9016284 140734363291392 140734363285352 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 10907 10005 709 1178 0 9725 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 43628 [startup+1782.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30293600/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=44200 CPUtime=1782.01 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 37096 0 0 0 176520 1681 0 0 20 0 1 0 335842110 45260800 10117 33554432000 4194304 9016284 140734363291392 140734363285352 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 11050 10117 709 1178 0 9868 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 44200 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.04 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30293352/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=44200 CPUtime=1785.2 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 37118 0 0 0 176836 1684 0 0 20 0 1 0 335842110 45260800 10139 33554432000 4194304 9016284 140734363291392 140734363285016 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 11050 10139 709 1178 0 9868 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 44200 [startup+1791.91 s] /proc/loadavg: 2.03 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30293352/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=44200 CPUtime=1791.61 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 37119 0 0 0 177472 1689 0 0 20 0 1 0 335842110 45260800 10140 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 11050 10140 709 1178 0 9868 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 44200 [startup+1795.1 s] /proc/loadavg: 2.03 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30293352/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=44200 CPUtime=1794.81 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 37119 0 0 0 177789 1692 0 0 20 0 1 0 335842110 45260800 10140 33554432000 4194304 9016284 140734363291392 140734363285304 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 11050 10140 709 1178 0 9868 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 44200 [startup+1795.9 s] /proc/loadavg: 2.03 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30293352/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=44200 CPUtime=1795.61 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 37119 0 0 0 177868 1693 0 0 20 0 1 0 335842110 45260800 10140 33554432000 4194304 9016284 140734363291392 140734363285160 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 11050 10140 709 1178 0 9868 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (KiB) 44200 [startup+1796.7 s] /proc/loadavg: 2.03 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30293352/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=44200 CPUtime=1796.4 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 37119 0 0 0 177947 1693 0 0 20 0 1 0 335842110 45260800 10140 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 11050 10140 709 1178 0 9868 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 44200 [startup+1796.9 s] /proc/loadavg: 2.03 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30293352/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=44200 CPUtime=1796.6 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 37119 0 0 0 177967 1693 0 0 20 0 1 0 335842110 45260800 10140 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 11050 10140 709 1178 0 9868 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 44200 [startup+1797 s] /proc/loadavg: 2.03 2.02 2.00 3/177 2548 /proc/meminfo: memFree=30293352/32873648 swapFree=7628/7628 [pid=2492] ppid=2490 vsize=44200 CPUtime=1796.7 cores=0,2,4,6 /proc/2492/stat : 2492 (scip-2.0.1.4b_2) R 2490 2492 20657 0 -1 4202496 37119 0 0 0 177977 1693 0 0 20 0 1 0 335842110 45260800 10140 33554432000 4194304 9016284 140734363291392 140734363285256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2492/statm: 11050 10140 709 1178 0 9868 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (KiB) 44200 Child status: 0 Real time (s): 1797.04 CPU time (s): 1796.75 CPU user time (s): 1779.81 CPU system time (s): 16.9424 CPU usage (%): 99.984 Max. virtual memory (cumulated for all children) (KiB): 45036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.81 system time used= 16.9424 maximum resident set size= 43332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37126 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= 14 involuntary context switches= 1946 runsolver used 3.12052 second user time and 8.03078 second system time The end
Begin job on node122 at 2012-06-03 06:19:21 IDJOB=3731425 IDBENCH=1952 IDSOLVER=2329 FILE ID=node122/3731425-1338697161 RUNJOBID= node122-1338679213-29461 PBS_JOBID= 14636691 Free space on /tmp= 71168 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731425-1338697161/watcher-3731425-1338697161 -o /tmp/evaluation-result-3731425-1338697161/solver-3731425-1338697161 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731425-1338697161.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7903a80129c7e51df900bcb9ac0a6f39 RANDOM SEED=2002048101 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.04 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29842384 kB Buffers: 178296 kB Cached: 1553072 kB SwapCached: 1800 kB Active: 908952 kB Inactive: 1345076 kB Active(anon): 522916 kB Inactive(anon): 1980 kB Active(file): 386036 kB Inactive(file): 1343096 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100160 kB Dirty: 16712 kB Writeback: 0 kB AnonPages: 600196 kB Mapped: 11828 kB Shmem: 0 kB Slab: 639680 kB SReclaimable: 83956 kB SUnreclaim: 555724 kB KernelStack: 1472 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 645108 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 552960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71156 MiB End job on node122 at 2012-06-03 06:49:18