Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 193 | 1800.06 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 9828b7020b058ee74169951dda258843 |
| 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 | 1797.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 186 |
| Optimality of the best value was proved | NO |
| Number of variables | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| 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 | 476 |
| 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.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3452560-1307076462.opb>
0.00/0.01 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 476
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.760000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 27 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, 0 chg sides, 27 chg coeffs, 476 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 70 del conss, 162 add conss, 0 chg bounds, 224 chg sides, 571 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 97 del conss, 178 add conss, 0 chg bounds, 288 chg sides, 672 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 101 del conss, 181 add conss, 0 chg bounds, 295 chg sides, 683 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 101 del conss, 181 add conss, 0 chg bounds, 297 chg sides, 688 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/476 (21.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 101 deleted constraints, 181 added constraints, 0 tightened bounds, 0 added holes, 297 changed sides, 688 changed coefficients
0.00/0.03 c 210 implications, 0 cliques
0.00/0.03 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 556 constraints
0.00/0.03 c 449 constraints of type <knapsack>
0.00/0.03 c 105 constraints of type <setppc>
0.00/0.03 c 2 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.4
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.99/1.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.03 c t 1.0s| 1 | 0 | 10645 | - |2599k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 4.760000e+02 | 216.22%
0.99/1.03 o 342
0.99/1.03 c r 1.0s| 1 | 0 | 10645 | - |2613k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.420000e+02 | 127.20%
0.99/1.04 o 341
0.99/1.04 c R 1.0s| 1 | 0 | 10645 | - |2626k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.410000e+02 | 126.54%
0.99/1.04 o 340
0.99/1.04 c s 1.0s| 1 | 0 | 10645 | - |2639k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.400000e+02 | 125.87%
1.19/1.24 o 221
1.19/1.24 c y 1.2s| 1 | 0 | 10645 | - |3008k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 2.210000e+02 | 46.82%
1.69/1.70 c 1.7s| 1 | 0 | 14041 | - |2936k| 0 | 384 | 476 | 556 | 476 | 773 | 217 | 0 | 0 | 1.569108e+02 | 2.210000e+02 | 40.84%
2.29/2.39 c 2.4s| 1 | 0 | 17250 | - |3169k| 0 | 425 | 476 | 556 | 476 | 947 | 391 | 0 | 0 | 1.598704e+02 | 2.210000e+02 | 38.24%
3.09/3.18 c 3.2s| 1 | 0 | 20830 | - |3370k| 0 | 421 | 476 | 556 | 476 |1094 | 538 | 0 | 0 | 1.617929e+02 | 2.210000e+02 | 36.59%
3.69/3.79 c 3.8s| 1 | 0 | 22781 | - |3480k| 0 | 436 | 476 | 556 | 476 |1191 | 635 | 0 | 0 | 1.626131e+02 | 2.210000e+02 | 35.91%
4.30/4.34 c 4.3s| 1 | 0 | 23989 | - |3536k| 0 | 438 | 476 | 556 | 476 |1251 | 695 | 0 | 0 | 1.630946e+02 | 2.210000e+02 | 35.50%
4.79/4.82 c 4.8s| 1 | 0 | 24667 | - |3571k| 0 | 437 | 476 | 556 | 476 |1291 | 735 | 0 | 0 | 1.633231e+02 | 2.210000e+02 | 35.31%
5.19/5.27 c 5.3s| 1 | 0 | 25068 | - |3596k| 0 | 444 | 476 | 556 | 476 |1316 | 760 | 0 | 0 | 1.634180e+02 | 2.210000e+02 | 35.24%
5.59/5.60 c 5.6s| 1 | 0 | 25099 | - |3603k| 0 | 442 | 476 | 556 | 476 |1318 | 762 | 0 | 0 | 1.634246e+02 | 2.210000e+02 | 35.23%
8.29/8.31 c 8.3s| 1 | 2 | 25099 | - |3624k| 0 | 442 | 476 | 556 | 476 |1318 | 762 | 0 | 16 | 1.634246e+02 | 2.210000e+02 | 35.23%
28.09/28.10 o 221
28.09/28.10 c c28.1s| 15 | 16 | 44234 |1366.8 |4443k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.210000e+02 | 35.10%
28.09/28.10 o 220
28.09/28.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.09/28.10 c c28.1s| 15 | 16 | 44269 |1369.3 |4456k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.200000e+02 | 34.49%
28.09/28.10 o 220
28.09/28.10 c c28.1s| 15 | 16 | 44270 |1369.4 |4457k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.200000e+02 | 34.49%
28.09/28.11 o 219
28.09/28.11 c c28.1s| 15 | 16 | 44287 |1370.6 |4460k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.190000e+02 | 33.88%
29.49/29.53 o 218
29.49/29.53 c p29.5s| 28 | 29 | 54695 |1096.1 |4521k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.180000e+02 | 33.21%
29.49/29.53 o 218
29.49/29.53 c p29.5s| 28 | 29 | 54718 |1097.0 |4522k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.180000e+02 | 33.21%
29.49/29.53 o 217
29.49/29.53 c p29.5s| 28 | 29 | 54719 |1097.0 |4523k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.170000e+02 | 32.60%
29.49/29.53 o 217
29.49/29.53 c p29.5s| 28 | 29 | 54720 |1097.1 |4524k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.170000e+02 | 32.60%
29.49/29.53 o 214
29.49/29.53 c p29.5s| 28 | 29 | 54735 |1097.6 |4526k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.140000e+02 | 30.76%
29.49/29.53 o 213
29.49/29.53 c p29.5s| 28 | 29 | 54752 |1098.3 |4530k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.130000e+02 | 30.15%
29.49/29.54 o 212
29.49/29.54 c p29.5s| 28 | 29 | 54756 |1098.4 |4533k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.120000e+02 | 29.54%
29.49/29.54 o 211
29.49/29.54 c p29.5s| 28 | 29 | 54763 |1098.7 |4534k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.110000e+02 | 28.93%
29.49/29.54 o 210
29.49/29.54 c p29.5s| 28 | 29 | 54771 |1099.0 |4535k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.100000e+02 | 28.32%
29.49/29.54 o 209
29.49/29.54 c p29.5s| 28 | 29 | 54772 |1099.0 |4536k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.090000e+02 | 27.71%
29.49/29.54 o 208
29.49/29.54 c p29.5s| 28 | 29 | 54776 |1099.1 |4537k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.080000e+02 | 27.10%
29.49/29.54 o 207
29.49/29.54 c p29.5s| 28 | 29 | 54779 |1099.3 |4538k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.070000e+02 | 26.49%
29.49/29.54 o 206
29.49/29.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.49/29.54 c p29.5s| 28 | 29 | 54792 |1099.7 |4540k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.060000e+02 | 25.87%
29.49/29.54 o 204
29.49/29.54 c p29.5s| 28 | 29 | 54800 |1100.0 |4543k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.040000e+02 | 24.65%
29.49/29.54 o 203
29.49/29.54 c p29.5s| 28 | 29 | 54807 |1100.3 |4544k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.030000e+02 | 24.04%
29.49/29.55 o 202
29.49/29.55 c p29.5s| 28 | 29 | 54829 |1101.1 |4549k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.020000e+02 | 23.43%
29.49/29.55 o 201
29.49/29.55 c p29.5s| 28 | 29 | 54830 |1101.1 |4550k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.010000e+02 | 22.82%
81.69/81.75 o 200
81.69/81.75 c v81.8s| 250 | 251 |436654 |1652.8 |4778k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639299e+02 | 2.000000e+02 | 22.00%
81.69/81.76 o 199
81.69/81.76 c v81.8s| 250 | 251 |436661 |1652.9 |4779k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639299e+02 | 1.990000e+02 | 21.39%
81.79/81.82 o 198
81.79/81.82 c b81.8s| 251 | 252 |437081 |1647.9 |4653k| 23 | 422 | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639591e+02 | 1.980000e+02 | 20.76%
99.19/99.27 o 196
99.19/99.27 c p99.3s| 283 | 284 |574485 |1948.2 |4827k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.960000e+02 | 19.50%
99.19/99.27 o 196
99.19/99.27 c p99.3s| 283 | 284 |574491 |1948.2 |4828k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.960000e+02 | 19.50%
99.29/99.31 o 195
99.29/99.31 c b99.3s| 284 | 285 |574674 |1942.0 |4674k| 23 | 423 | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.950000e+02 | 18.89%
255.90/255.98 o 194
255.90/255.98 c p 256s| 928 | 929 | 1780k|1893.5 |5231k| 26 | - | 476 | 556 | 476 | 962 | 762 | 0 | 572 | 1.642995e+02 | 1.940000e+02 | 18.08%
256.00/256.05 o 193
256.00/256.05 c b 256s| 929 | 930 | 1780k|1892.0 |5084k| 26 | 398 | 476 | 556 | 476 | 962 | 762 | 0 | 572 | 1.642995e+02 | 1.930000e+02 | 17.47%
1165.52/1165.57 c 1166s| 10000 | 9993 | 8585k| 856.2 | 11M| 91 | 369 | 476 | 569 | 476 | 962 | 762 | 13 |1787 | 1.651931e+02 | 1.930000e+02 | 16.83%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 17660
1800.04/1800.01 c Primal Bound : +1.93000000000000e+02 (817 solutions)
1800.04/1800.01 c Dual Bound : +1.65376601535770e+02
1800.04/1800.01 c Gap : 16.70 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x476 -x475 -x474 -x473 -x472 x471 -x470 x469 -x468 -x467 x466 x465 x464 -x463 -x462 x461 -x460 -x459 -x458 x457 -x456 x455 x454
1800.04/1800.01 v x453 -x452 -x451 x450 -x449 -x448 -x447 x446 x445 x444 -x443 x442 x441 x440 -x439 -x438 x437 -x436 -x435 x434 -x433 -x432 -x431
1800.04/1800.01 v x430 -x429 x428 -x427 x426 x425 -x424 x423 x422 x421 -x420 x419 x418 x417 -x416 -x415 -x414 -x413 -x412 x411 x410 -x409
1800.04/1800.01 v x408 x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387
1800.04/1800.01 v x386 x385 x384 x383 -x382 -x381 x380 x379 -x378 x377 x376 x375 x374 -x373 -x372 x371 x370 -x369 -x368 x367 -x366 -x365 -x364
1800.04/1800.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
1800.04/1800.01 v -x340 x339 -x338 x337 x336 x335 -x334 x333 -x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 x322 -x321 x320 -x319
1800.04/1800.01 v -x318 -x317 -x316 -x315 x314 x313 -x312 -x311 -x310 -x309 x308 x307 -x306 x305 -x304 x303 -x302 -x301 x300 -x299 -x298 -x297
1800.04/1800.01 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 x287 x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275
1800.04/1800.01 v x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 x261 -x260 -x259 -x258 x257 -x256 x255 -x254
1800.04/1800.01 v -x253 -x252 -x251 x250 x249 -x248 x247 -x246 x245 x244 -x243 x242 x241 x240 -x239 -x238 x237 x236 x235 -x234 x233 x232 -x231
1800.04/1800.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
1800.04/1800.01 v -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 x199 -x198 x197 x196 x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 -x186
1800.04/1800.01 v -x185 x184 x183 -x182 x181 -x180 x179 x178 x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163
1800.04/1800.01 v -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 -x141
1800.04/1800.01 v -x140 -x139 -x138 x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 x128 x127 -x126 -x125 -x124 x123 x122 -x121 x120 -x119
1800.04/1800.01 v -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 x109 -x108 x107 -x106 -x105 x104 -x103 -x102 x101 x100 x99 x98 x97 x96
1800.04/1800.01 v -x95 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
1800.04/1800.01 v -x68 -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
1800.04/1800.01 v -x41 x40 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
1800.04/1800.01 v x13 -x12 -x11 -x10 -x9 x8 x7 x6 x5 x4 -x3 -x2 x1
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.01
1800.04/1800.01 c solving : 1800.01
1800.04/1800.01 c presolving : 0.02 (included in solving)
1800.04/1800.01 c reading : 0.01 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3452560-1307076462.opb
1800.04/1800.01 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 476 initial, 476 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3452560-1307076462.opb
1800.04/1800.01 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 556 initial, 576 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.01 0 0 0 0 0 25 181 297 661
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 76 0 0 0
1800.04/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 27
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 17656 0 822 0 0 0 0 0 35312
1800.04/1800.01 c knapsack : 449 9 201760 0 0 817 0 0 6948 756 0 0
1800.04/1800.01 c setppc : 105 9 201760 0 0 816 0 0 2972 0 0 0
1800.04/1800.01 c logicor : 2+ 9 4864 0 0 816 0 0 0 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 0 820 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 104.23 0.00 0.00 104.22 0.00 0.00 0.00
1800.04/1800.01 c knapsack : 1.57 0.03 1.54 0.00 0.00 0.01 0.00
1800.04/1800.01 c setppc : 0.24 0.00 0.24 0.00 0.00 0.00 0.00
1800.04/1800.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 24 0 0 0
1800.04/1800.01 c pseudoobj : 203298 0 0 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.04 0.04 0.00
1800.04/1800.01 c rootredcost : 0.04 0.04 0.00
1800.04/1800.01 c pseudoobj : 1.47 1.47 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 20 20 20 4.6 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 20 4.6 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 8 - - 261 - (maximal pool size: 1290)
1800.04/1800.01 c redcost : 0.12 17670 0 164 0 0
1800.04/1800.01 c impliedbounds : 0.00 9 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 1.16 9 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 1.08 9 0 0 0 0
1800.04/1800.01 c cmir : 0.20 9 0 0 794 0
1800.04/1800.01 c flowcover : 0.22 9 0 0 906 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.06 1 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 104.21 17656 0 0 0 0 35312
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 0.01 9 3
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 0.56 17668 23
1800.04/1800.01 c zirounding : 0.42 1101 22
1800.04/1800.01 c rounding : 16.16 5935 1
1800.04/1800.01 c shifting : 4.17 1473 1
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c coefdiving : 164.64 123 167
1800.04/1800.01 c pscostdiving : 310.66 345 350
1800.04/1800.01 c fracdiving : 47.43 38 0
1800.04/1800.01 c veclendiving : 119.48 131 112
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 40.57 5 36
1800.04/1800.01 c rootsoldiving : 12.77 12 0
1800.04/1800.01 c linesearchdiving : 77.04 98 98
1800.04/1800.01 c guideddiving : 47.52 38 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.04 2 2
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.00 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 847.72 17672 6370226 360.47 7514.53
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 795.75 127315 6973228 54.77 8763.08
1800.04/1800.01 c strong branching : 102.82 2458 698648 284.23 6794.90
1800.04/1800.01 c (at root node) : - 16 14760 922.50 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 17660
1800.04/1800.01 c nodes (total) : 17660
1800.04/1800.01 c nodes left : 17653
1800.04/1800.01 c max depth : 91
1800.04/1800.01 c max depth (total): 91
1800.04/1800.01 c backtracks : 1947 (11.0%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 3.85
1800.04/1800.01 c switching time : 0.52
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 817 (34 improvements)
1800.04/1800.01 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +1.93000000000000e+02 (in run 1, after 929 nodes, 256.05 seconds, depth 13, found by <oneopt>)
1800.04/1800.01 c Dual Bound : +1.65376601535770e+02
1800.04/1800.01 c Gap : 16.70 %
1800.04/1800.01 c Root Dual Bound : +1.63424626604414e+02
1800.04/1800.01 c Root Iterations : 25099
OK 193
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452560-1307076462/watcher-3452560-1307076462 -o /tmp/evaluation-result-3452560-1307076462/solver-3452560-1307076462 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452560-1307076462.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.07 2.04 2.11 3/464 4664 /proc/meminfo: memFree=30132460/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=10392 CPUtime=0 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 1589 0 0 0 0 0 0 0 25 0 1 0 819246046 10641408 1542 33554432000 4194304 9128323 140733850495424 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4664/statm: 2598 1543 400 1205 0 1389 0 [startup+0.0348959 s] /proc/loadavg: 2.07 2.04 2.11 3/464 4664 /proc/meminfo: memFree=30132460/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=19584 CPUtime=0.03 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 4013 0 0 0 3 0 0 0 25 0 1 0 819246046 20054016 3709 33554432000 4194304 9128323 140733850495424 18446744073709551615 7980987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 4896 3709 588 1205 0 3687 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 19584 [startup+0.100884 s] /proc/loadavg: 2.07 2.04 2.11 3/464 4664 /proc/meminfo: memFree=30132460/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=20964 CPUtime=0.09 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 4398 0 0 0 9 0 0 0 25 0 1 0 819246046 21467136 4093 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 5241 4093 643 1205 0 4032 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20964 [startup+0.300848 s] /proc/loadavg: 2.07 2.04 2.11 3/464 4664 /proc/meminfo: memFree=30132460/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=21192 CPUtime=0.29 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 4483 0 0 0 28 1 0 0 25 0 1 0 819246046 21700608 4178 33554432000 4194304 9128323 140733850495424 18446744073709551615 7356862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 5298 4178 643 1205 0 4089 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21192 [startup+0.700777 s] /proc/loadavg: 2.07 2.04 2.11 3/464 4664 /proc/meminfo: memFree=30132460/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=21428 CPUtime=0.69 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 4535 0 0 0 66 3 0 0 25 0 1 0 819246046 21942272 4230 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 5357 4230 643 1205 0 4148 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21428 [startup+1.50064 s] /proc/loadavg: 2.07 2.04 2.11 3/465 4665 /proc/meminfo: memFree=30112920/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=22924 CPUtime=1.49 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 7781 0 0 0 143 6 0 0 25 0 1 0 819246046 23474176 4751 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 5731 4751 724 1205 0 4522 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22924 [startup+3.10035 s] /proc/loadavg: 2.07 2.04 2.10 3/465 4665 /proc/meminfo: memFree=30109572/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=24080 CPUtime=3.09 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 8023 0 0 0 300 9 0 0 25 0 1 0 819246046 24657920 4993 33554432000 4194304 9128323 140733850495424 18446744073709551615 7325970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 6020 4993 724 1205 0 4811 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24080 [startup+6.30079 s] /proc/loadavg: 2.07 2.04 2.10 3/465 4665 /proc/meminfo: memFree=30106008/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=25236 CPUtime=6.29 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 9146 0 0 0 614 15 0 0 25 0 1 0 819246046 25841664 5246 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 6309 5246 729 1205 0 5100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25236 [startup+12.7007 s] /proc/loadavg: 2.06 2.04 2.10 4/465 4665 /proc/meminfo: memFree=30105328/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=25236 CPUtime=12.69 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 9166 0 0 0 1237 32 0 0 25 0 1 0 819246046 25841664 5266 33554432000 4194304 9128323 140733850495424 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 6309 5266 730 1205 0 5100 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25236 [startup+25.5004 s] /proc/loadavg: 2.05 2.03 2.10 3/465 4666 /proc/meminfo: memFree=30105516/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=25236 CPUtime=25.49 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 9167 0 0 0 2485 64 0 0 25 0 1 0 819246046 25841664 5267 33554432000 4194304 9128323 140733850495424 18446744073709551615 7286040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 6309 5267 731 1205 0 5100 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25236 [startup+51.1009 s] /proc/loadavg: 2.03 2.03 2.10 3/465 4666 /proc/meminfo: memFree=30104064/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=26024 CPUtime=51.09 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 9389 0 0 0 4963 146 0 0 25 0 1 0 819246046 26648576 5489 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 6506 5489 732 1205 0 5297 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 26024 [startup+102.317 s] /proc/loadavg: 2.01 2.02 2.09 3/465 4668 /proc/meminfo: memFree=30103888/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=25920 CPUtime=102.31 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 11993 0 0 0 9918 313 0 0 25 0 1 0 819246046 26542080 5460 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 6480 5460 737 1205 0 5271 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 25920 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.08 3/465 4669 /proc/meminfo: memFree=30100624/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=26480 CPUtime=162.3 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 12167 0 0 0 15717 513 0 0 25 0 1 0 819246046 27115520 5634 33554432000 4194304 9128323 140733850495424 18446744073709551615 5789075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 6620 5634 738 1205 0 5411 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 26480 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.08 3/465 4671 /proc/meminfo: memFree=30100800/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=26480 CPUtime=222.29 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 12168 0 0 0 21535 694 0 0 25 0 1 0 819246046 27115520 5635 33554432000 4194304 9128323 140733850495424 18446744073709551615 7267679 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 6620 5635 738 1205 0 5411 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 26480 [startup+282.3 s] /proc/loadavg: 2.06 2.02 2.08 3/465 4673 /proc/meminfo: memFree=30092576/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=282.3 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14970 0 0 0 27342 888 0 0 25 0 1 0 819246046 34709504 7492 33554432000 4194304 9128323 140733850495424 18446744073709551615 7285977 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7492 738 1205 0 7265 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 33896 [startup+342.301 s] /proc/loadavg: 2.02 2.02 2.07 3/465 4674 /proc/meminfo: memFree=30091156/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=342.3 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14971 0 0 0 33162 1068 0 0 25 0 1 0 819246046 34709504 7493 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7493 738 1205 0 7265 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 33896 [startup+402.301 s] /proc/loadavg: 2.08 2.04 2.08 3/465 4676 /proc/meminfo: memFree=30089724/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=402.3 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14974 0 0 0 38982 1248 0 0 25 0 1 0 819246046 34709504 7496 33554432000 4194304 9128323 140733850495424 18446744073709551615 7325034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7496 738 1205 0 7265 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 33896 [startup+462.3 s] /proc/loadavg: 2.05 2.04 2.07 3/465 4677 /proc/meminfo: memFree=30088332/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=462.3 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14975 0 0 0 44805 1425 0 0 25 0 1 0 819246046 34709504 7497 33554432000 4194304 9128323 140733850495424 18446744073709551615 7315311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7497 738 1205 0 7265 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 33896 [startup+522.301 s] /proc/loadavg: 2.02 2.03 2.07 3/465 4679 /proc/meminfo: memFree=30087276/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=522.3 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14978 0 0 0 50631 1599 0 0 25 0 1 0 819246046 34709504 7500 33554432000 4194304 9128323 140733850495424 18446744073709551615 7326029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7500 738 1205 0 7265 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 33896 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.06 3/465 4681 /proc/meminfo: memFree=30087104/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=582.31 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14981 0 0 0 56443 1788 0 0 25 0 1 0 819246046 34709504 7503 33554432000 4194304 9128323 140733850495424 18446744073709551615 7357437 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7503 740 1205 0 7265 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 33896 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.16 2.03 2.05 3/465 4696 /proc/meminfo: memFree=30083084/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=822.31 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14992 0 0 0 79697 2534 0 0 25 0 1 0 819246046 34709504 7514 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7514 740 1205 0 7265 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 33896 [startup+882.3 s] /proc/loadavg: 2.13 2.04 2.05 3/465 4698 /proc/meminfo: memFree=30083156/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=882.31 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14993 0 0 0 85512 2719 0 0 25 0 1 0 819246046 34709504 7515 33554432000 4194304 9128323 140733850495424 18446744073709551615 7325034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7515 740 1205 0 7265 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 33896 [startup+942.301 s] /proc/loadavg: 2.13 2.06 2.05 3/465 4699 /proc/meminfo: memFree=30082356/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=942.31 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14996 0 0 0 91330 2901 0 0 25 0 1 0 819246046 34709504 7518 33554432000 4194304 9128323 140733850495424 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7518 740 1205 0 7265 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 33896 [startup+1002.3 s] /proc/loadavg: 2.15 2.08 2.06 3/465 4704 /proc/meminfo: memFree=30081296/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=1002.32 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 14997 0 0 0 97149 3083 0 0 25 0 1 0 819246046 34709504 7519 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7519 740 1205 0 7265 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 33896 [startup+1062.3 s] /proc/loadavg: 2.05 2.06 2.05 3/465 4705 /proc/meminfo: memFree=30080808/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=33896 CPUtime=1062.31 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 15001 0 0 0 102954 3277 0 0 25 0 1 0 819246046 34709504 7523 33554432000 4194304 9128323 140733850495424 18446744073709551615 7285981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8474 7523 740 1205 0 7265 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 33896 [startup+1122.3 s] /proc/loadavg: 2.02 2.05 2.05 3/465 4707 /proc/meminfo: memFree=30079764/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=35224 CPUtime=1122.31 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 15304 0 0 0 108770 3461 0 0 25 0 1 0 819246046 36069376 7826 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8806 7826 740 1205 0 7597 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 35224 [startup+1182.3 s] /proc/loadavg: 2.00 2.04 2.04 3/465 4709 /proc/meminfo: memFree=30079240/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=35580 CPUtime=1182.31 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 15389 0 0 0 114592 3639 0 0 25 0 1 0 819246046 36433920 7911 33554432000 4194304 9128323 140733850495424 18446744073709551615 7325983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8895 7911 740 1205 0 7686 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 35580 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.04 3/465 4710 /proc/meminfo: memFree=30077592/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=35580 CPUtime=1242.32 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 15399 0 0 0 120415 3817 0 0 25 0 1 0 819246046 36433920 7921 33554432000 4194304 9128323 140733850495424 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8895 7921 740 1205 0 7686 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 35580 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.03 3/465 4712 /proc/meminfo: memFree=30077172/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=35768 CPUtime=1302.33 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 15436 0 0 0 126235 3998 0 0 25 0 1 0 819246046 36626432 7958 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8942 7958 740 1205 0 7733 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 35768 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.02 3/465 4713 /proc/meminfo: memFree=30076000/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=35768 CPUtime=1362.32 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 15448 0 0 0 132049 4183 0 0 25 0 1 0 819246046 36626432 7970 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 8942 7970 740 1205 0 7733 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 35768 [startup+1422.32 s] /proc/loadavg: 2.08 2.04 2.03 3/465 4715 /proc/meminfo: memFree=30074188/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=37104 CPUtime=1422.34 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 15780 0 0 0 137872 4362 0 0 25 0 1 0 819246046 37994496 8302 33554432000 4194304 9128323 140733850495424 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 9276 8302 740 1205 0 8067 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 37104 [startup+1482.3 s] /proc/loadavg: 2.19 2.07 2.04 3/465 4717 /proc/meminfo: memFree=30071924/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=38636 CPUtime=1482.32 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 16174 0 0 0 143684 4548 0 0 25 0 1 0 819246046 39563264 8696 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 9659 8696 740 1205 0 8450 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 38636 [startup+1542.3 s] /proc/loadavg: 2.12 2.07 2.04 3/465 4718 /proc/meminfo: memFree=30071104/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=39068 CPUtime=1542.33 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 16261 0 0 0 149489 4744 0 0 25 0 1 0 819246046 40005632 8783 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 9767 8783 740 1205 0 8558 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 39068 [startup+1602.3 s] /proc/loadavg: 2.04 2.06 2.03 3/465 4720 /proc/meminfo: memFree=30071044/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=39068 CPUtime=1602.33 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 16262 0 0 0 155304 4929 0 0 25 0 1 0 819246046 40005632 8784 33554432000 4194304 9128323 140733850495424 18446744073709551615 7326063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 9767 8784 740 1205 0 8558 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 39068 [startup+1662.3 s] /proc/loadavg: 2.01 2.04 2.03 3/465 4721 /proc/meminfo: memFree=30069636/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=39548 CPUtime=1662.33 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 16323 0 0 0 161121 5112 0 0 25 0 1 0 819246046 40497152 8845 33554432000 4194304 9128323 140733850495424 18446744073709551615 7326063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 9887 8845 740 1205 0 8678 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 39548 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.02 3/465 4723 /proc/meminfo: memFree=30068604/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=39548 CPUtime=1722.33 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 16333 0 0 0 166941 5292 0 0 25 0 1 0 819246046 40497152 8855 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 9887 8855 740 1205 0 8678 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 39548 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.02 3/465 4725 /proc/meminfo: memFree=30066712/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=39732 CPUtime=1782.33 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 16464 0 0 0 172762 5471 0 0 25 0 1 0 819246046 40685568 8986 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 9933 8986 740 1205 0 8724 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 39732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.01 2/463 4726 /proc/meminfo: memFree=30107384/32950928 swapFree=45617076/67111528 [pid=4664] ppid=4662 vsize=39732 CPUtime=1800.04 cores=1,3,5,7 /proc/4664/stat : 4664 (scip-2.0.1.4.li) R 4662 4664 32650 0 -1 4202496 16465 0 0 0 174481 5523 0 0 25 0 1 0 819246046 40685568 8987 33554432000 4194304 9128323 140733850495424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4664/statm: 9933 8987 740 1205 0 8724 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 39732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.06 CPU user time (s): 1744.83 CPU system time (s): 55.2346 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 39732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.83 system time used= 55.2346 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16468 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= 3 involuntary context switches= 2627 runsolver used 7.77782 second user time and 18.4342 second system time The end
Begin job on node123 at 2011-06-03 06:47:42 IDJOB=3452560 IDBENCH=1950 IDSOLVER=1949 FILE ID=node123/3452560-1307076462 RUNJOBID= node123-1307074660-4541 PBS_JOBID= 13497863 Free space on /tmp= 73820 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452560-1307076462/watcher-3452560-1307076462 -o /tmp/evaluation-result-3452560-1307076462/solver-3452560-1307076462 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452560-1307076462.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9828b7020b058ee74169951dda258843 RANDOM SEED=400910179 node123.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.75 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.838 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.82 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.80 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30132616 kB Buffers: 243700 kB Cached: 336356 kB SwapCached: 9456 kB Active: 2271576 kB Inactive: 267976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30132616 kB SwapTotal: 67111528 kB SwapFree: 45617076 kB Dirty: 24096 kB Writeback: 0 kB AnonPages: 1957664 kB Mapped: 25900 kB Slab: 133312 kB PageTables: 77796 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 133388280 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= 73812 MiB End job on node123 at 2011-06-03 07:17:45