Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | 192 | 1797.11 | 1797.03 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb |
| MD5SUM | 9cfc9eabeae08d1064da7d7b87db93a4 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 192 |
| Best CPU time to get the best result obtained on this benchmark | 1797.11 |
| 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 | 473 |
| Total number of constraints | 473 |
| 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 | 473 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485367-1307757289.opb>
0.00/0.00 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 473
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.730000e+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, 1 chg sides, 43 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 43 chg coeffs, 473 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 75 del conss, 172 add conss, 0 chg bounds, 209 chg sides, 541 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 102 del conss, 190 add conss, 0 chg bounds, 272 chg sides, 648 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.00/0.02 c (round 5) 0 del vars, 107 del conss, 193 add conss, 0 chg bounds, 290 chg sides, 684 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 107 del conss, 193 add conss, 0 chg bounds, 293 chg sides, 687 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.02/0.03 c (0.0s) probing: 101/473 (21.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.03 c presolving (7 rounds):
0.02/0.03 c 0 deleted vars, 107 deleted constraints, 193 added constraints, 0 tightened bounds, 0 added holes, 293 changed sides, 687 changed coefficients
0.02/0.03 c 226 implications, 0 cliques
0.02/0.03 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 559 constraints
0.02/0.03 c 444 constraints of type <knapsack>
0.02/0.03 c 113 constraints of type <setppc>
0.02/0.03 c 2 constraints of type <logicor>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.02
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 2.0.1.4
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1797
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 13950
0.02/0.03 c
0.02/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.03 c # [type: int, range: [1,2], default: 1]
0.02/0.03 c timing/clocktype = 2
0.02/0.03 c
0.02/0.03 c # belongs reading time to solving time?
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c timing/reading = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/indicator/addCouplingCons = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
0.89/0.94 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.94 c t 0.9s| 1 | 0 | 10202 | - |2599k| 0 | 306 | 473 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510371e+02 | 4.730000e+02 | 213.17%
0.89/0.94 o 326
0.89/0.94 c r 0.9s| 1 | 0 | 10202 | - |2612k| 0 | 306 | 473 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510371e+02 | 3.260000e+02 | 115.84%
0.89/0.94 o 325
0.89/0.94 c R 0.9s| 1 | 0 | 10202 | - |2625k| 0 | 306 | 473 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510371e+02 | 3.250000e+02 | 115.18%
0.89/0.94 o 324
0.89/0.94 c s 0.9s| 1 | 0 | 10202 | - |2639k| 0 | 306 | 473 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510371e+02 | 3.240000e+02 | 114.52%
1.10/1.14 o 212
1.10/1.14 c y 1.1s| 1 | 0 | 10202 | - |2999k| 0 | 306 | 473 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510371e+02 | 2.120000e+02 | 40.36%
1.79/1.82 c 1.8s| 1 | 0 | 15382 | - |2924k| 0 | 384 | 473 | 559 | 473 | 759 | 200 | 0 | 0 | 1.569621e+02 | 2.120000e+02 | 35.06%
2.39/2.48 c 2.5s| 1 | 0 | 18462 | - |3174k| 0 | 411 | 473 | 559 | 473 | 938 | 379 | 0 | 0 | 1.602869e+02 | 2.120000e+02 | 32.26%
2.99/3.07 c 3.1s| 1 | 0 | 20590 | - |3374k| 0 | 431 | 473 | 559 | 473 |1086 | 527 | 0 | 0 | 1.623499e+02 | 2.120000e+02 | 30.58%
3.59/3.64 c 3.6s| 1 | 0 | 22306 | - |3494k| 0 | 440 | 473 | 559 | 473 |1182 | 623 | 0 | 0 | 1.631753e+02 | 2.120000e+02 | 29.92%
4.19/4.20 c 4.2s| 1 | 0 | 23587 | - |3560k| 0 | 444 | 473 | 559 | 473 |1249 | 690 | 0 | 0 | 1.638271e+02 | 2.120000e+02 | 29.40%
4.59/4.66 c 4.7s| 1 | 0 | 24085 | - |3602k| 0 | 438 | 473 | 559 | 473 |1287 | 728 | 0 | 0 | 1.640342e+02 | 2.120000e+02 | 29.24%
5.09/5.11 c 5.1s| 1 | 0 | 24488 | - |3622k| 0 | 440 | 473 | 559 | 473 |1306 | 747 | 0 | 0 | 1.641085e+02 | 2.120000e+02 | 29.18%
5.50/5.53 c 5.5s| 1 | 0 | 24700 | - |3641k| 0 | 440 | 473 | 559 | 473 |1321 | 762 | 0 | 0 | 1.641842e+02 | 2.120000e+02 | 29.12%
5.79/5.87 c 5.9s| 1 | 0 | 24781 | - |3649k| 0 | 440 | 473 | 559 | 473 |1325 | 766 | 0 | 0 | 1.641925e+02 | 2.120000e+02 | 29.12%
6.19/6.22 c 6.2s| 1 | 0 | 24810 | - |3657k| 0 | 441 | 473 | 559 | 473 |1328 | 769 | 0 | 0 | 1.641945e+02 | 2.120000e+02 | 29.12%
6.50/6.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.50/6.56 c 6.6s| 1 | 0 | 24847 | - |3665k| 0 | 440 | 473 | 559 | 473 |1285 | 771 | 0 | 0 | 1.641965e+02 | 2.120000e+02 | 29.11%
6.79/6.88 c 6.9s| 1 | 0 | 24866 | - |3672k| 0 | 438 | 473 | 559 | 473 |1286 | 772 | 0 | 0 | 1.641980e+02 | 2.120000e+02 | 29.11%
10.89/10.91 c 10.9s| 1 | 2 | 24866 | - |3692k| 0 | 438 | 473 | 559 | 473 |1286 | 772 | 0 | 27 | 1.641980e+02 | 2.120000e+02 | 29.11%
32.69/32.75 o 212
32.69/32.75 c p32.8s| 27 | 28 | 53338 |1095.1 |4565k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.120000e+02 | 28.92%
32.69/32.76 o 210
32.69/32.76 c p32.8s| 27 | 28 | 53348 |1095.5 |4566k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.100000e+02 | 27.70%
32.69/32.76 o 209
32.69/32.76 c p32.8s| 27 | 28 | 53352 |1095.6 |4567k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.090000e+02 | 27.10%
32.69/32.76 o 208
32.69/32.76 c p32.8s| 27 | 28 | 53356 |1095.8 |4568k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.080000e+02 | 26.49%
32.69/32.76 o 207
32.69/32.76 c p32.8s| 27 | 28 | 53370 |1096.3 |4573k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.070000e+02 | 25.88%
32.69/32.76 o 206
32.69/32.76 c p32.8s| 27 | 28 | 53374 |1096.5 |4575k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.060000e+02 | 25.27%
32.69/32.76 o 205
32.69/32.76 c p32.8s| 27 | 28 | 53393 |1097.2 |4580k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.050000e+02 | 24.66%
32.69/32.76 o 205
32.69/32.76 c p32.8s| 27 | 28 | 53394 |1097.2 |4581k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.050000e+02 | 24.66%
32.69/32.77 o 203
32.69/32.77 c b32.8s| 28 | 27 | 53412 |1057.3 |4430k| 14 | - | 473 | 559 | 473 | 977 | 772 | 0 | 235 | 1.644420e+02 | 2.030000e+02 | 23.45%
78.49/78.53 o 202
78.49/78.53 c p78.5s| 218 | 219 |415257 |1799.0 |4817k| 27 | - | 473 | 559 | 473 | 977 | 772 | 0 | 312 | 1.645393e+02 | 2.020000e+02 | 22.77%
78.49/78.53 o 201
78.49/78.53 c p78.5s| 218 | 219 |415259 |1799.0 |4818k| 27 | - | 473 | 559 | 473 | 977 | 772 | 0 | 312 | 1.645393e+02 | 2.010000e+02 | 22.16%
78.49/78.57 o 200
78.49/78.57 c b78.6s| 219 | 220 |415508 |1791.9 |4671k| 27 | 401 | 473 | 559 | 473 | 977 | 772 | 0 | 312 | 1.645393e+02 | 2.000000e+02 | 21.55%
114.20/114.24 o 199
114.20/114.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.20/114.24 c p 114s| 356 | 357 |659842 |1788.7 |4901k| 27 | - | 473 | 559 | 473 | 977 | 772 | 0 | 421 | 1.646867e+02 | 1.990000e+02 | 20.84%
114.20/114.24 o 196
114.20/114.24 c p 114s| 356 | 357 |659843 |1788.7 |4902k| 27 | - | 473 | 559 | 473 | 977 | 772 | 0 | 421 | 1.646867e+02 | 1.960000e+02 | 19.01%
150.49/150.56 o 195
150.49/150.56 c C 151s| 556 | 557 |928270 |1627.8 |4872k| 27 | 373 | 473 | 559 | 473 | 977 | 772 | 0 | 465 | 1.647702e+02 | 1.950000e+02 | 18.35%
382.01/382.01 o 195
382.01/382.01 c p 382s| 6063 | 2660 | 2631k| 430.0 |6581k| 121 | - | 473 | 564 | 473 | 977 | 772 | 5 |1059 | 1.652515e+02 | 1.950000e+02 | 18.00%
382.01/382.01 o 193
382.01/382.01 c p 382s| 6063 | 2394 | 2631k| 430.0 |6296k| 121 | - | 473 | 564 | 473 | 977 | 772 | 5 |1059 | 1.652515e+02 | 1.930000e+02 | 16.79%
382.01/382.01 o 192
382.01/382.01 c p 382s| 6063 | 2330 | 2631k| 430.0 |6240k| 121 | - | 473 | 564 | 473 | 977 | 772 | 5 |1059 | 1.652515e+02 | 1.920000e+02 | 16.19%
513.51/513.57 c 514s| 10000 | 3579 | 3722k| 369.8 |7078k| 121 | 133 | 473 | 564 | 473 | 977 | 772 | 5 |1191 | 1.653483e+02 | 1.920000e+02 | 16.12%
775.23/775.28 c 775s| 20000 | 6077 | 5755k| 286.6 |8961k| 121 | - | 473 | 564 | 473 | 977 | 772 | 5 |1814 | 1.655020e+02 | 1.920000e+02 | 16.01%
1021.84/1021.83 c 1022s| 30000 | 8615 | 7712k| 256.3 | 10M| 121 | - | 473 | 569 | 473 | 977 | 772 | 11 |2327 | 1.655945e+02 | 1.920000e+02 | 15.95%
1268.75/1268.74 c 1269s| 40000 | 11191 | 9645k| 240.5 | 12M| 121 | 153 | 473 | 567 | 473 | 977 | 772 | 11 |2760 | 1.656630e+02 | 1.920000e+02 | 15.90%
1523.16/1523.11 c 1523s| 50000 | 14021 | 11660k| 232.7 | 14M| 121 | - | 473 | 566 | 473 | 977 | 772 | 11 |3088 | 1.657174e+02 | 1.920000e+02 | 15.86%
1773.87/1773.84 c 1774s| 60000 | 16753 | 13645k| 227.0 | 16M| 121 | 171 | 473 | 566 | 473 | 977 | 772 | 11 |3425 | 1.657649e+02 | 1.920000e+02 | 15.83%
1797.07/1797.00 c
1797.07/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.00 c Solving Time (sec) : 1797.00
1797.07/1797.00 c Solving Nodes : 60953
1797.07/1797.00 c Primal Bound : +1.92000000000000e+02 (770 solutions)
1797.07/1797.00 c Dual Bound : +1.65768421718200e+02
1797.07/1797.00 c Gap : 15.82 %
1797.07/1797.00 s SATISFIABLE
1797.07/1797.00 v -x473 x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 x462 x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 x451
1797.07/1797.00 v -x450 -x449 -x448 x447 x446 x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 x434 x433 x432 -x431 -x430 x429
1797.07/1797.00 v x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 x420 x419 -x418 x417 x416 x415 x414 x413 x412 -x411 x410 x409 -x408 x407 x406
1797.07/1797.00 v x405 x404 -x403 x402 -x401 -x400 x399 -x398 -x397 -x396 x395 -x394 -x393 x392 -x391 x390 -x389 x388 -x387 -x386 -x385 -x384
1797.07/1797.00 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 x374 x373 -x372 -x371 x370 x369 -x368 -x367 -x366 x365 -x364 x363 -x362
1797.07/1797.00 v x361 -x360 -x359 x358 -x357 x356 -x355 -x354 x353 x352 x351 x350 -x349 -x348 x347 x346 -x345 -x344 -x343 x342 -x341 -x340 x339
1797.07/1797.00 v -x338 x337 x336 -x335 x334 x333 -x332 x331 -x330 -x329 x328 x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 x318 x317 x316
1797.07/1797.00 v -x315 x314 -x313 x312 -x311 -x310 x309 x308 x307 x306 -x305 -x304 -x303 x302 x301 -x300 -x299 x298 x297 x296 -x295 x294 -x293
1797.07/1797.00 v -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 x284 x283 -x282 -x281 x280 -x279 x278 x277 x276 -x275 -x274 -x273 -x272 x271
1797.07/1797.00 v x270 -x269 -x268 -x267 x266 x265 x264 -x263 -x262 x261 -x260 x259 -x258 -x257 x256 -x255 -x254 -x253 x252 -x251 -x250 -x249
1797.07/1797.00 v -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 x237 x236 x235 x234 x233 -x232 -x231 -x230 -x229 -x228 -x227
1797.07/1797.00 v -x226 -x225 -x224 x223 x222 x221 -x220 -x219 x218 x217 x216 -x215 -x214 x213 x212 -x211 x210 -x209 x208 -x207 x206 -x205
1797.07/1797.00 v -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 x186 x185 -x184 -x183
1797.07/1797.00 v -x182 x181 x180 -x179 -x178 -x177 x176 x175 x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161
1797.07/1797.00 v x160 x159 x158 -x157 -x156 x155 -x154 x153 -x152 -x151 x150 x149 -x148 x147 -x146 -x145 -x144 -x143 x142 x141 -x140 -x139 x138
1797.07/1797.00 v x137 -x136 -x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 x126 x125 x124 x123 x122 x121 -x120 -x119 x118 x117 x116 x115
1797.07/1797.00 v -x114 x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 x101 x100 -x99 x98 -x97 -x96 x95 -x94 -x93 -x92 -x91
1797.07/1797.00 v -x90 -x89 -x88 x87 -x86 x85 -x84 -x83 x82 x81 -x80 -x79 x78 -x77 -x76 x75 -x74 x73 -x72 -x71 x70 -x69 x68 x67 -x66 -x65 -x64
1797.07/1797.00 v x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 x51 x50 x49 -x48 x47 -x46 x45 -x44 x43 x42 x41 -x40 x39 -x38 -x37
1797.07/1797.00 v -x36 -x35 x34 -x33 -x32 -x31 x30 x29 -x28 -x27 x26 x25 -x24 -x23 -x22 -x21 -x20 x19 x18 x17 -x16 x15 -x14 -x13 -x12 -x11 -x10
1797.07/1797.00 v x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1797.07/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.00 c Total Time : 1797.00
1797.07/1797.00 c solving : 1797.00
1797.07/1797.00 c presolving : 0.02 (included in solving)
1797.07/1797.00 c reading : 0.01 (included in solving)
1797.07/1797.00 c Original Problem :
1797.07/1797.00 c Problem name : HOME/instance-3485367-1307757289.opb
1797.07/1797.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.00 c Constraints : 473 initial, 473 maximal
1797.07/1797.00 c Presolved Problem :
1797.07/1797.00 c Problem name : t_HOME/instance-3485367-1307757289.opb
1797.07/1797.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.00 c Constraints : 559 initial, 569 maximal
1797.07/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.07/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c knapsack : 0.01 0 0 0 0 0 27 193 292 644
1797.07/1797.00 c setppc : 0.00 0 0 0 0 0 80 0 0 0
1797.07/1797.00 c linear : 0.01 0 0 0 0 0 0 0 1 43
1797.07/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c root node : - 0 - - 0 - - - - -
1797.07/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.07/1797.00 c integral : 0 0 0 39173 0 775 0 1 47 0 0 78280
1797.07/1797.00 c knapsack : 444 13 323261 0 0 770 0 0 250623 789 0 0
1797.07/1797.00 c setppc : 113 13 323260 0 0 769 0 0 24865 0 0 0
1797.07/1797.00 c logicor : 2+ 13 12662 0 0 769 0 0 4 0 0 0
1797.07/1797.00 c countsols : 0 0 0 0 0 773 0 0 0 0 0 0
1797.07/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.07/1797.00 c integral : 107.34 0.00 0.00 107.34 0.00 0.00 0.00
1797.07/1797.00 c knapsack : 3.24 0.04 3.20 0.00 0.00 0.01 0.00
1797.07/1797.00 c setppc : 0.37 0.00 0.37 0.00 0.00 0.00 0.00
1797.07/1797.00 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.07/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.07/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.07/1797.00 c vbounds : 0 0 0 0
1797.07/1797.00 c rootredcost : 15 0 0 0
1797.07/1797.00 c pseudoobj : 324308 0 0 0
1797.07/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.07/1797.00 c vbounds : 0.05 0.05 0.00
1797.07/1797.00 c rootredcost : 0.06 0.06 0.00
1797.07/1797.00 c pseudoobj : 2.39 2.39 0.00
1797.07/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.07/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.07/1797.00 c infeasible LP : 0.00 11 11 11 3.9 0 0.0 0
1797.07/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.07/1797.00 c applied globally : - - - 11 3.9 - - -
1797.07/1797.00 c applied locally : - - - 0 0.0 - - -
1797.07/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.07/1797.00 c cut pool : 0.00 12 - - 313 - (maximal pool size: 1351)
1797.07/1797.00 c redcost : 1.46 80185 0 698494 0 0
1797.07/1797.00 c impliedbounds : 0.00 13 0 0 0 0
1797.07/1797.00 c intobj : 0.00 0 0 0 0 0
1797.07/1797.00 c gomory : 1.78 13 0 0 0 0
1797.07/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.07/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.07/1797.00 c strongcg : 1.68 13 0 0 0 0
1797.07/1797.00 c cmir : 0.23 10 0 0 794 0
1797.07/1797.00 c flowcover : 0.27 10 0 0 971 0
1797.07/1797.00 c clique : 0.00 1 0 0 0 0
1797.07/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.07/1797.00 c mcf : 0.00 1 0 0 0 0
1797.07/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.07/1797.00 c rapidlearning : 0.06 1 0 0 0 0
1797.07/1797.00 c Pricers : Time Calls Vars
1797.07/1797.00 c problem variables: 0.00 0 0
1797.07/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.07/1797.00 c relpscost : 107.31 39173 1 47 0 0 78280
1797.07/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.07/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.07/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.07/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.07/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.00 c random : 0.00 0 0 0 0 0 0
1797.07/1797.00 c Primal Heuristics : Time Calls Found
1797.07/1797.00 c LP solutions : 0.00 - 0
1797.07/1797.00 c pseudo solutions : 0.00 - 0
1797.07/1797.00 c oneopt : 0.02 8 2
1797.07/1797.00 c crossover : 0.35 1 1
1797.07/1797.00 c veclendiving : 89.01 101 77
1797.07/1797.00 c linesearchdiving : 98.04 132 89
1797.07/1797.00 c pscostdiving : 300.74 343 302
1797.07/1797.00 c trivial : 0.00 2 1
1797.07/1797.00 c shiftandpropagate: 0.00 0 0
1797.07/1797.00 c simplerounding : 1.16 68091 27
1797.07/1797.00 c zirounding : 0.47 1301 26
1797.07/1797.00 c rounding : 11.96 12166 1
1797.07/1797.00 c shifting : 3.36 3353 1
1797.07/1797.00 c intshifting : 0.00 0 0
1797.07/1797.00 c twoopt : 0.00 0 0
1797.07/1797.00 c fixandinfer : 0.00 0 0
1797.07/1797.00 c feaspump : 0.00 0 0
1797.07/1797.00 c clique : 0.00 0 0
1797.07/1797.00 c coefdiving : 61.83 53 150
1797.07/1797.00 c fracdiving : 55.16 49 0
1797.07/1797.00 c intdiving : 0.00 0 0
1797.07/1797.00 c actconsdiving : 0.00 0 0
1797.07/1797.00 c objpscostdiving : 36.91 5 92
1797.07/1797.00 c rootsoldiving : 15.01 14 0
1797.07/1797.00 c guideddiving : 56.28 47 0
1797.07/1797.00 c octane : 0.00 0 0
1797.07/1797.00 c rens : 0.00 0 0
1797.07/1797.00 c rins : 0.00 0 0
1797.07/1797.00 c localbranching : 0.00 0 0
1797.07/1797.00 c mutation : 0.00 0 0
1797.07/1797.00 c dins : 0.00 0 0
1797.07/1797.00 c vbounds : 0.00 0 0
1797.07/1797.00 c undercover : 0.00 0 0
1797.07/1797.00 c subnlp : 0.01 0 0
1797.07/1797.00 c trysol : 0.02 0 0
1797.07/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.07/1797.00 c primal LP : 0.01 0 0 0.00 -
1797.07/1797.00 c dual LP : 932.33 89639 7770923 86.69 8334.94
1797.07/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.07/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.07/1797.00 c diving/probing LP: 689.61 120049 6059192 50.47 8786.44
1797.07/1797.00 c strong branching : 105.32 3453 735986 213.14 6987.95
1797.07/1797.00 c (at root node) : - 27 23416 867.26 -
1797.07/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.07/1797.00 c B&B Tree :
1797.07/1797.00 c number of runs : 1
1797.07/1797.00 c nodes : 60953
1797.07/1797.00 c nodes (total) : 60953
1797.07/1797.00 c nodes left : 16998
1797.07/1797.00 c max depth : 121
1797.07/1797.00 c max depth (total): 121
1797.07/1797.00 c backtracks : 11923 (19.6%)
1797.07/1797.00 c delayed cutoffs : 0
1797.07/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.07/1797.00 c avg switch length: 7.13
1797.07/1797.00 c switching time : 2.58
1797.07/1797.00 c Solution :
1797.07/1797.00 c Solutions found : 770 (23 improvements)
1797.07/1797.00 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.07/1797.00 c Primal Bound : +1.92000000000000e+02 (in run 1, after 6063 nodes, 382.01 seconds, depth 204, found by <pscostdiving>)
1797.07/1797.00 c Dual Bound : +1.65768421718200e+02
1797.07/1797.00 c Gap : 15.82 %
1797.07/1797.00 c Root Dual Bound : +1.64197989194421e+02
1797.07/1797.00 c Root Iterations : 24866
1797.07/1797.02 c Time complete: 1797.1.
OK 192
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485367-1307757289/watcher-3485367-1307757289 -o /tmp/evaluation-result-3485367-1307757289/solver-3485367-1307757289 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485367-1307757289.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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.03 2.01 1.95 3/177 18771 /proc/meminfo: memFree=31386268/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=10252 CPUtime=0 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 1556 0 0 0 0 0 0 0 22 0 1 0 887325626 10498048 1511 33554432000 4194304 8979876 140736475262784 18446744073709551615 4329888 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18771/statm: 2563 1511 366 1169 0 1390 0 [startup+0.032058 s] /proc/loadavg: 2.03 2.01 1.95 3/177 18771 /proc/meminfo: memFree=31386268/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=19144 CPUtime=0.02 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 3877 0 0 0 2 0 0 0 22 0 1 0 887325626 19603456 3575 33554432000 4194304 8979876 140736475262784 18446744073709551615 5211706 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 4786 3575 538 1169 0 3613 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 19144 [startup+0.101052 s] /proc/loadavg: 2.03 2.01 1.95 3/177 18771 /proc/meminfo: memFree=31386268/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=20788 CPUtime=0.09 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 4394 0 0 0 9 0 0 0 22 0 1 0 887325626 21286912 4085 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 5197 4085 634 1169 0 4024 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20788 [startup+0.301004 s] /proc/loadavg: 2.03 2.01 1.95 3/177 18771 /proc/meminfo: memFree=31386268/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=20788 CPUtime=0.29 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 4426 0 0 0 28 1 0 0 23 0 1 0 887325626 21286912 4117 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 5197 4117 634 1169 0 4024 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20788 [startup+0.700927 s] /proc/loadavg: 2.03 2.01 1.95 3/177 18771 /proc/meminfo: memFree=31386268/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=21288 CPUtime=0.69 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 4534 0 0 0 66 3 0 0 25 0 1 0 887325626 21798912 4225 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 5322 4225 635 1169 0 4149 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21288 [startup+1.50077 s] /proc/loadavg: 2.03 2.01 1.95 3/178 18772 /proc/meminfo: memFree=31371156/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=22748 CPUtime=1.49 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 7733 0 0 0 144 5 0 0 25 0 1 0 887325626 23293952 4697 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 5687 4697 704 1169 0 4514 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22748 [startup+3.10045 s] /proc/loadavg: 2.03 2.01 1.95 3/178 18772 /proc/meminfo: memFree=31367808/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=24368 CPUtime=3.08 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 8141 0 0 0 300 8 0 0 25 0 1 0 887325626 24952832 5104 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6092 5104 705 1169 0 4919 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 24368 [startup+6.30081 s] /proc/loadavg: 2.03 2.01 1.95 3/178 18772 /proc/meminfo: memFree=31366512/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=25040 CPUtime=6.29 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 8285 0 0 0 616 13 0 0 25 0 1 0 887325626 25640960 5248 33554432000 4194304 8979876 140736475262784 18446744073709551615 6543882 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6260 5248 705 1169 0 5087 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25040 [startup+12.7005 s] /proc/loadavg: 2.02 2.01 1.95 3/178 18773 /proc/meminfo: memFree=31364284/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=25336 CPUtime=12.69 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 9262 0 0 0 1243 26 0 0 25 0 1 0 887325626 25944064 5349 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6334 5349 709 1169 0 5161 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25336 [startup+25.501 s] /proc/loadavg: 2.02 2.01 1.95 3/178 18773 /proc/meminfo: memFree=31362608/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=25336 CPUtime=25.49 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 9264 0 0 0 2491 58 0 0 25 0 1 0 887325626 25944064 5351 33554432000 4194304 8979876 140736475262784 18446744073709551615 7184843 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6334 5351 711 1169 0 5161 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25336 [startup+51.1009 s] /proc/loadavg: 2.01 2.01 1.95 3/178 18774 /proc/meminfo: memFree=31357080/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=26356 CPUtime=51.09 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 9488 0 0 0 4975 134 0 0 25 0 1 0 887325626 26988544 5575 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6589 5575 713 1169 0 5416 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 26356 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.95 3/178 18775 /proc/meminfo: memFree=31351536/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=26356 CPUtime=102.3 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 9488 0 0 0 9959 271 0 0 25 0 1 0 887325626 26988544 5575 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6589 5575 713 1169 0 5416 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 26356 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 18777 /proc/meminfo: memFree=31345016/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=26208 CPUtime=162.3 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 12604 0 0 0 15791 439 0 0 25 0 1 0 887325626 26836992 5582 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6552 5582 719 1169 0 5379 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 26208 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 18778 /proc/meminfo: memFree=31338244/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=27220 CPUtime=222.3 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 12829 0 0 0 21630 600 0 0 25 0 1 0 887325626 27873280 5807 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6805 5807 719 1169 0 5632 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 27220 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 18780 /proc/meminfo: memFree=31332204/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=27844 CPUtime=282.3 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 12972 0 0 0 27465 765 0 0 25 0 1 0 887325626 28512256 5950 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 6961 5950 719 1169 0 5788 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 27844 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 18781 /proc/meminfo: memFree=31325924/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=28296 CPUtime=342.3 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 14652 0 0 0 33295 935 0 0 25 0 1 0 887325626 28975104 6091 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 7074 6091 719 1169 0 5901 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 28296 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 18792 /proc/meminfo: memFree=31315996/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=28688 CPUtime=402.31 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 17365 0 0 0 39119 1112 0 0 25 0 1 0 887325626 29376512 6220 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 7172 6220 721 1169 0 5999 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 28688 [startup+462.301 s] /proc/loadavg: 2.50 2.12 1.99 3/183 20942 /proc/meminfo: memFree=31206136/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=28640 CPUtime=462.31 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 18212 0 0 0 44931 1300 0 0 25 0 1 0 887325626 29327360 6200 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 7160 6200 721 1169 0 5987 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 28640 [startup+522.301 s] /proc/loadavg: 2.23 2.12 2.00 3/178 21050 /proc/meminfo: memFree=31172796/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=28676 CPUtime=522.31 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 19047 0 0 0 50755 1476 0 0 25 0 1 0 887325626 29364224 6212 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 7169 6212 721 1169 0 5996 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 28676 [startup+582.301 s] /proc/loadavg: 2.08 2.09 2.00 3/178 21054 /proc/meminfo: memFree=31162184/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=30116 CPUtime=582.31 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 20120 0 0 0 56570 1661 0 0 25 0 1 0 887325626 30838784 6549 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 7529 6549 721 1169 0 6356 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 30116 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31536400/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=35004 CPUtime=1122.34 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 22965 0 0 0 108650 3584 0 0 25 0 1 0 887325626 35844096 7796 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 8751 7796 721 1169 0 7578 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 35004 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21109 /proc/meminfo: memFree=31535848/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=35664 CPUtime=1182.34 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23118 0 0 0 114435 3799 0 0 25 0 1 0 887325626 36519936 7949 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 8916 7949 721 1169 0 7743 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 35664 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21110 /proc/meminfo: memFree=31534816/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=35860 CPUtime=1242.35 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23179 0 0 0 120219 4016 0 0 25 0 1 0 887325626 36720640 8010 33554432000 4194304 8979876 140736475262784 18446744073709551615 7185019 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 8965 8010 721 1169 0 7792 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 35860 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21112 /proc/meminfo: memFree=31533776/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=36392 CPUtime=1302.36 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23320 0 0 0 126013 4223 0 0 25 0 1 0 887325626 37265408 8151 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9098 8151 721 1169 0 7925 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 36392 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21114 /proc/meminfo: memFree=31533752/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=36932 CPUtime=1362.35 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23440 0 0 0 131799 4436 0 0 25 0 1 0 887325626 37818368 8271 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9233 8271 721 1169 0 8060 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 36932 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21115 /proc/meminfo: memFree=31529620/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=38148 CPUtime=1422.36 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23754 0 0 0 137585 4651 0 0 25 0 1 0 887325626 39063552 8585 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9537 8585 721 1169 0 8364 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 38148 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21117 /proc/meminfo: memFree=31529080/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=38148 CPUtime=1482.36 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23762 0 0 0 143371 4865 0 0 25 0 1 0 887325626 39063552 8593 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9537 8593 721 1169 0 8364 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 38148 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21118 /proc/meminfo: memFree=31528652/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=38148 CPUtime=1542.36 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23767 0 0 0 149150 5086 0 0 25 0 1 0 887325626 39063552 8598 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9537 8598 721 1169 0 8364 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 38148 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21120 /proc/meminfo: memFree=31527736/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=38696 CPUtime=1602.37 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23920 0 0 0 154935 5302 0 0 25 0 1 0 887325626 39624704 8751 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9674 8751 721 1169 0 8501 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 38696 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21122 /proc/meminfo: memFree=31527316/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=38696 CPUtime=1662.37 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 23934 0 0 0 160725 5512 0 0 25 0 1 0 887325626 39624704 8765 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9674 8765 721 1169 0 8501 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 38696 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21123 /proc/meminfo: memFree=31526160/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39140 CPUtime=1722.37 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24782 0 0 0 166504 5733 0 0 25 0 1 0 887325626 40079360 8877 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9785 8877 721 1169 0 8612 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 39140 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21125 /proc/meminfo: memFree=31524128/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39276 CPUtime=1782.37 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24798 0 0 0 172291 5946 0 0 25 0 1 0 887325626 40218624 8893 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9819 8893 721 1169 0 8646 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 39276 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21125 /proc/meminfo: memFree=31524248/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39276 CPUtime=1785.57 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24798 0 0 0 172600 5957 0 0 25 0 1 0 887325626 40218624 8893 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9819 8893 721 1169 0 8646 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (KiB) 39276 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21125 /proc/meminfo: memFree=31524112/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39472 CPUtime=1791.98 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24847 0 0 0 173218 5980 0 0 25 0 1 0 887325626 40419328 8942 33554432000 4194304 8979876 140736475262784 18446744073709551615 7164620 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9868 8942 721 1169 0 8695 0 Current children cumulated CPU time (s) 1791.98 Current children cumulated vsize (KiB) 39472 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21125 /proc/meminfo: memFree=31524112/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39472 CPUtime=1795.18 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24847 0 0 0 173526 5992 0 0 25 0 1 0 887325626 40419328 8942 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9868 8942 721 1169 0 8695 0 Current children cumulated CPU time (s) 1795.18 Current children cumulated vsize (KiB) 39472 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21125 /proc/meminfo: memFree=31524112/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39472 CPUtime=1795.98 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24847 0 0 0 173603 5995 0 0 25 0 1 0 887325626 40419328 8942 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9868 8942 721 1169 0 8695 0 Current children cumulated CPU time (s) 1795.98 Current children cumulated vsize (KiB) 39472 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21125 /proc/meminfo: memFree=31524112/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39472 CPUtime=1796.77 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24847 0 0 0 173679 5998 0 0 25 0 1 0 887325626 40419328 8942 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9868 8942 721 1169 0 8695 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (KiB) 39472 [startup+1796.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21125 /proc/meminfo: memFree=31524112/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39472 CPUtime=1796.98 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24847 0 0 0 173698 6000 0 0 25 0 1 0 887325626 40419328 8942 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9868 8942 721 1169 0 8695 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 39472 [startup+1797 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21125 /proc/meminfo: memFree=31524112/32950928 swapFree=67053888/67111528 [pid=18771] ppid=18769 vsize=39472 CPUtime=1797.07 cores=1,3,5,7 /proc/18771/stat : 18771 (scip-2.0.1.4_2.) R 18769 18771 16800 0 -1 4202496 24847 0 0 0 173707 6000 0 0 25 0 1 0 887325626 40419328 8942 33554432000 4194304 8979876 140736475262784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/18771/statm: 9868 8942 721 1169 0 8695 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 39472 Child status: 0 Real time (s): 1797.03 CPU time (s): 1797.11 CPU user time (s): 1737.1 CPU system time (s): 60.0109 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 39660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1737.1 system time used= 60.0109 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24855 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= 2571 runsolver used 2.39364 second user time and 5.80312 second system time The end
Begin job on node149 at 2011-06-11 03:54:49 IDJOB=3485367 IDBENCH=1951 IDSOLVER=1977 FILE ID=node149/3485367-1307757289 RUNJOBID= node149-1307750177-16819 PBS_JOBID= 13550841 Free space on /tmp= 73952 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485367-1307757289/watcher-3485367-1307757289 -o /tmp/evaluation-result-3485367-1307757289/solver-3485367-1307757289 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485367-1307757289.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9cfc9eabeae08d1064da7d7b87db93a4 RANDOM SEED=1572753516 node149.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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.83 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.806 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.83 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.82 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31386944 kB Buffers: 112468 kB Cached: 949952 kB SwapCached: 23504 kB Active: 633068 kB Inactive: 789512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31386944 kB SwapTotal: 67111528 kB SwapFree: 67053888 kB Dirty: 16704 kB Writeback: 0 kB AnonPages: 356560 kB Mapped: 12640 kB Slab: 75956 kB PageTables: 4952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 536996 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73936 MiB End job on node149 at 2011-06-11 04:24:47