Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | 189 | 1796.75 | 1797.04 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb |
| MD5SUM | 3ddf6338b9f9cf35560b94c856457c56 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 189 |
| Best CPU time to get the best result obtained on this benchmark | 1789.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 182 |
| Optimality of the best value was proved | NO |
| Number of variables | 468 |
| Total number of constraints | 468 |
| 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 | 468 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 468 |
| 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 | 468 |
| 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 | 468 |
| 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.5 [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-3731502-1338697566.opb>
0.00/0.01 c original problem has 468 variables (468 bin, 0 int, 0 impl, 0 cont) and 468 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 468
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.680000e+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, 2 chg sides, 38 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, 2 chg sides, 38 chg coeffs, 468 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 71 del conss, 172 add conss, 0 chg bounds, 222 chg sides, 561 chg coeffs, 468 upgd conss, 236 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 92 del conss, 180 add conss, 0 chg bounds, 263 chg sides, 630 chg coeffs, 468 upgd conss, 236 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 95 del conss, 183 add conss, 0 chg bounds, 271 chg sides, 647 chg coeffs, 468 upgd conss, 236 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 96 del conss, 184 add conss, 0 chg bounds, 273 chg sides, 655 chg coeffs, 468 upgd conss, 236 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/468 (21.6%) - 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, 96 deleted constraints, 184 added constraints, 0 tightened bounds, 0 added holes, 273 changed sides, 655 changed coefficients
0.00/0.03 c 236 implications, 0 cliques
0.00/0.03 c presolved problem has 468 variables (468 bin, 0 int, 0 impl, 0 cont) and 556 constraints
0.00/0.03 c 437 constraints of type <knapsack>
0.00/0.03 c 115 constraints of type <setppc>
0.00/0.03 c 4 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.5
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.93 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.93 c t 0.9s| 1 | 0 | 10568 | - |2611k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 4.680000e+02 | 220.77%
0.89/0.93 o 322
0.89/0.93 c r 0.9s| 1 | 0 | 10568 | - |2625k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 3.220000e+02 | 120.70%
0.89/0.93 o 321
0.89/0.93 c R 0.9s| 1 | 0 | 10568 | - |2638k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 3.210000e+02 | 120.02%
0.89/0.94 o 320
0.89/0.94 c s 0.9s| 1 | 0 | 10568 | - |2651k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 3.200000e+02 | 119.33%
1.09/1.15 o 221
1.09/1.15 c y 1.1s| 1 | 0 | 10568 | - |3017k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 2.210000e+02 | 51.47%
1.69/1.77 c 1.8s| 1 | 0 | 15163 | - |2945k| 0 | 352 | 468 | 556 | 468 | 762 | 206 | 0 | 0 | 1.532205e+02 | 2.210000e+02 | 44.24%
2.29/2.35 c 2.3s| 1 | 0 | 17736 | - |3206k| 0 | 404 | 468 | 556 | 468 | 950 | 394 | 0 | 0 | 1.562463e+02 | 2.210000e+02 | 41.44%
2.89/2.99 c 3.0s| 1 | 0 | 20140 | - |3409k| 0 | 423 | 468 | 556 | 468 |1093 | 537 | 0 | 0 | 1.583045e+02 | 2.210000e+02 | 39.60%
3.58/3.61 c 3.6s| 1 | 0 | 21882 | - |3539k| 0 | 429 | 468 | 556 | 468 |1199 | 643 | 0 | 0 | 1.592820e+02 | 2.210000e+02 | 38.75%
4.09/4.16 c 4.2s| 1 | 0 | 22765 | - |3637k| 0 | 426 | 468 | 556 | 468 |1281 | 725 | 0 | 0 | 1.598025e+02 | 2.210000e+02 | 38.30%
4.69/4.71 c 4.7s| 1 | 0 | 23566 | - |3675k| 0 | 426 | 468 | 556 | 468 |1320 | 764 | 0 | 0 | 1.600613e+02 | 2.210000e+02 | 38.07%
5.18/5.20 c 5.2s| 1 | 0 | 23932 | - |3702k| 0 | 429 | 468 | 556 | 468 |1345 | 789 | 0 | 0 | 1.601700e+02 | 2.210000e+02 | 37.98%
5.59/5.66 c 5.7s| 1 | 0 | 24145 | - |3723k| 0 | 429 | 468 | 556 | 468 |1360 | 804 | 0 | 0 | 1.602292e+02 | 2.210000e+02 | 37.93%
5.99/6.07 c 6.1s| 1 | 0 | 24245 | - |3732k| 0 | 428 | 468 | 556 | 468 |1365 | 809 | 0 | 0 | 1.602537e+02 | 2.210000e+02 | 37.91%
6.39/6.44 c 6.4s| 1 | 0 | 24266 | - |3739k| 0 | 432 | 468 | 556 | 468 |1366 | 810 | 0 | 0 | 1.602547e+02 | 2.210000e+02 | 37.91%
9.08/9.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.08/9.16 c 9.2s| 1 | 2 | 24266 | - |3760k| 0 | 432 | 468 | 556 | 468 |1366 | 810 | 0 | 16 | 1.602547e+02 | 2.210000e+02 | 37.91%
30.08/30.18 o 221
30.08/30.18 c c30.2s| 15 | 16 | 40708 |1174.4 |4521k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.210000e+02 | 37.82%
30.08/30.19 o 217
30.08/30.19 c c30.2s| 15 | 16 | 40748 |1177.3 |4523k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.170000e+02 | 35.33%
30.08/30.19 o 216
30.08/30.19 c c30.2s| 15 | 16 | 40774 |1179.1 |4526k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.160000e+02 | 34.70%
30.18/30.22 o 215
30.18/30.22 c c30.2s| 15 | 16 | 40999 |1195.2 |4579k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.150000e+02 | 34.08%
30.18/30.22 o 214
30.18/30.22 c b30.2s| 16 | 15 | 40999 |1115.5 |4452k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.140000e+02 | 33.46%
32.08/32.15 o 211
32.08/32.15 c p32.1s| 27 | 28 | 54371 |1157.9 |4653k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.110000e+02 | 31.38%
32.08/32.15 o 210
32.08/32.15 c p32.1s| 27 | 28 | 54372 |1157.9 |4654k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.100000e+02 | 30.76%
32.08/32.15 o 207
32.08/32.15 c p32.1s| 27 | 28 | 54380 |1158.2 |4655k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.070000e+02 | 28.89%
32.08/32.15 o 205
32.08/32.15 c p32.1s| 27 | 28 | 54382 |1158.3 |4657k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.050000e+02 | 27.65%
32.08/32.15 o 204
32.08/32.15 c p32.1s| 27 | 28 | 54383 |1158.3 |4658k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.040000e+02 | 27.02%
32.08/32.15 o 202
32.08/32.15 c p32.1s| 27 | 28 | 54396 |1158.8 |4659k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.020000e+02 | 25.78%
32.08/32.15 o 202
32.08/32.15 c p32.2s| 27 | 28 | 54399 |1159.0 |4660k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.020000e+02 | 25.78%
32.08/32.16 o 201
32.08/32.16 c p32.2s| 27 | 28 | 54422 |1159.8 |4666k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.010000e+02 | 25.16%
46.37/46.49 o 200
46.37/46.49 c p46.5s| 124 | 125 |150496 |1026.3 |4791k| 23 | - | 468 | 556 | 468 | 978 | 810 | 0 | 243 | 1.606006e+02 | 2.000000e+02 | 24.53%
46.37/46.49 o 199
46.37/46.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.37/46.49 c p46.5s| 124 | 125 |150498 |1026.3 |4792k| 23 | - | 468 | 556 | 468 | 978 | 810 | 0 | 243 | 1.606006e+02 | 1.990000e+02 | 23.91%
46.37/46.49 o 198
46.37/46.49 c p46.5s| 124 | 125 |150502 |1026.3 |4792k| 23 | - | 468 | 556 | 468 | 978 | 810 | 0 | 243 | 1.606006e+02 | 1.980000e+02 | 23.29%
46.48/46.58 o 197
46.48/46.58 c b46.6s| 125 | 126 |151048 |1022.4 |4667k| 23 | 390 | 468 | 556 | 468 | 978 | 810 | 0 | 243 | 1.606006e+02 | 1.970000e+02 | 22.66%
86.07/86.17 o 196
86.07/86.17 c p86.2s| 271 | 272 |432755 |1512.9 |4932k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 305 | 1.609032e+02 | 1.960000e+02 | 21.81%
86.07/86.18 o 195
86.07/86.18 c p86.2s| 271 | 272 |432775 |1513.0 |4938k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 305 | 1.609032e+02 | 1.950000e+02 | 21.19%
92.07/92.13 o 195
92.07/92.13 c p92.1s| 283 | 284 |476261 |1602.8 |4936k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 314 | 1.609229e+02 | 1.950000e+02 | 21.18%
92.07/92.13 o 194
92.07/92.13 c p92.1s| 283 | 284 |476270 |1602.9 |4940k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 314 | 1.609229e+02 | 1.940000e+02 | 20.55%
92.07/92.13 o 193
92.07/92.13 c p92.1s| 283 | 284 |476271 |1602.9 |4940k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 314 | 1.609229e+02 | 1.930000e+02 | 19.93%
135.87/135.93 o 192
135.87/135.93 c p 136s| 460 | 461 |778963 |1644.2 |5040k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 422 | 1.610654e+02 | 1.920000e+02 | 19.21%
447.12/447.24 o 191
447.12/447.24 c p 447s| 8803 | 4146 | 3040k| 342.6 |7859k| 125 | - | 468 | 562 | 468 | 978 | 810 | 6 |1255 | 1.616754e+02 | 1.910000e+02 | 18.14%
447.12/447.24 o 190
447.12/447.24 c p 447s| 8803 | 3439 | 3040k| 342.6 |7275k| 125 | - | 468 | 562 | 468 | 978 | 810 | 6 |1255 | 1.616754e+02 | 1.900000e+02 | 17.52%
447.12/447.24 o 189
447.12/447.24 c p 447s| 8803 | 2956 | 3040k| 342.6 |6882k| 125 | - | 468 | 562 | 468 | 978 | 810 | 6 |1255 | 1.616754e+02 | 1.890000e+02 | 16.90%
492.41/492.59 c 493s| 10000 | 3455 | 3394k| 337.0 |7107k| 125 | 162 | 468 | 562 | 468 | 978 | 810 | 6 |1264 | 1.617056e+02 | 1.890000e+02 | 16.88%
793.37/793.59 c 794s| 20000 | 7133 | 5678k| 282.7 | 10M| 125 | - | 468 | 571 | 468 | 978 | 810 | 16 |1901 | 1.618915e+02 | 1.890000e+02 | 16.74%
1075.82/1076.07 c 1076s| 30000 | 10163 | 7842k| 260.6 | 12M| 125 | 140 | 468 | 566 | 468 | 978 | 810 | 16 |2474 | 1.620287e+02 | 1.890000e+02 | 16.65%
1336.78/1337.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.78/1337.08 c 1337s| 40000 | 12651 | 9840k| 245.4 | 14M| 125 | 141 | 468 | 567 | 468 | 978 | 810 | 19 |2946 | 1.621203e+02 | 1.890000e+02 | 16.58%
1600.44/1600.74 c 1601s| 50000 | 14989 | 11883k| 237.2 | 16M| 125 | - | 468 | 563 | 468 | 978 | 810 | 19 |3306 | 1.621998e+02 | 1.890000e+02 | 16.52%
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 57594
1796.71/1797.00 c Primal Bound : +1.89000000000000e+02 (741 solutions)
1796.71/1797.00 c Dual Bound : +1.62257835365404e+02
1796.71/1797.00 c Gap : 16.48 %
1796.71/1797.01 s SATISFIABLE
1796.71/1797.01 v -x468 -x467 x466 x465 -x464 x463 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 x452 -x451 -x450 -x449 x448 -x447 x446
1796.71/1797.01 v -x445 -x444 x443 x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424
1796.71/1797.01 v -x423 -x422 -x421 x420 x419 -x418 x417 -x416 -x415 x414 -x413 x412 -x411 -x410 x409 x408 -x407 -x406 -x405 -x404 -x403 -x402
1796.71/1797.01 v x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 x391 x390 x389 -x388 -x387 x386 -x385 x384 -x383 -x382 x381 x380
1796.71/1797.01 v -x379 -x378 x377 -x376 -x375 x374 x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358
1796.71/1797.01 v -x357 -x356 -x355 x354 -x353 x352 -x351 x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 x340 -x339 -x338 x337 x336
1796.71/1797.01 v -x335 -x334 x333 x332 -x331 -x330 x329 x328 -x327 x326 x325 -x324 x323 -x322 -x321 -x320 x319 -x318 x317 -x316 x315 -x314 -x313
1796.71/1797.01 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 x300 -x299 -x298 -x297 x296 -x295 x294 -x293 -x292
1796.71/1797.01 v -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 x282 -x281 x280 x279 -x278 -x277 -x276 -x275 -x274 x273 x272 -x271 x270
1796.71/1797.01 v -x269 x268 x267 x266 -x265 x264 x263 x262 x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 x252 -x251 x250 -x249 x248 -x247
1796.71/1797.01 v -x246 x245 x244 x243 x242 x241 x240 -x239 x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 x227 -x226 -x225
1796.71/1797.01 v x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 x216 x215 x214 x213 -x212 x211 -x210 x209 x208 -x207 -x206 x205 -x204 -x203 -x202
1796.71/1797.01 v x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 x192 x191 x190 x189 -x188 -x187 x186 x185 x184 -x183 -x182 -x181 -x180
1796.71/1797.01 v x179 -x178 x177 -x176 -x175 x174 -x173 -x172 x171 -x170 x169 x168 -x167 x166 -x165 x164 -x163 -x162 -x161 -x160 x159 x158 -x157
1796.71/1797.01 v -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 x145 -x144 x143 x142 x141 -x140 -x139 x138 -x137 -x136 x135
1796.71/1797.01 v x134 x133 x132 x131 -x130 x129 -x128 x127 -x126 -x125 -x124 x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1796.71/1797.01 v -x112 -x111 x110 x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 x98 x97 x96 x95 -x94 x93 x92 x91 x90 -x89 x88
1796.71/1797.01 v x87 x86 x85 x84 -x83 x82 x81 -x80 x79 x78 x77 x76 x75 -x74 x73 -x72 -x71 x70 -x69 -x68 -x67 x66 x65 -x64 x63 x62 x61 x60 -x59
1796.71/1797.01 v x58 -x57 -x56 x55 x54 -x53 -x52 -x51 x50 x49 -x48 x47 -x46 x45 -x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 x35 -x34 x33 -x32
1796.71/1797.01 v -x31 -x30 x29 -x28 x27 -x26 -x25 x24 x23 -x22 x21 x20 -x19 x18 -x17 x16 -x15 -x14 -x13 x12 -x11 x10 x9 -x8 x7 -x6 -x5 -x4 -x3
1796.71/1797.01 v -x2 -x1
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.00
1796.71/1797.01 c solving : 1797.00
1796.71/1797.01 c presolving : 0.02 (included in solving)
1796.71/1797.01 c reading : 0.01 (included in solving)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3731502-1338697566.opb
1796.71/1797.01 c Variables : 468 (468 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 468 initial, 468 maximal
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3731502-1338697566.opb
1796.71/1797.01 c Variables : 468 (468 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 556 initial, 571 maximal
1796.71/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c knapsack : 0.01 0 0 0 0 0 27 184 271 617
1796.71/1797.01 c setppc : 0.00 0 0 0 0 0 69 0 0 0
1796.71/1797.01 c linear : 0.01 0 0 0 0 0 0 0 2 38
1796.71/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c root node : - 0 - - 0 - - - - -
1796.71/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c integral : 0 0 0 37964 0 746 0 3 143 0 0 75768
1796.71/1797.01 c knapsack : 437 11 323419 0 1 741 0 0 209019 818 0 0
1796.71/1797.01 c setppc : 115 11 323347 0 1 740 0 0 31358 0 0 0
1796.71/1797.01 c logicor : 4+ 11 22083 0 1 740 0 0 0 0 0 0
1796.71/1797.01 c countsols : 0 0 0 0 1 744 0 0 0 0 0 0
1796.71/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.71/1797.01 c integral : 112.08 0.00 0.00 112.07 0.00 0.00 0.00
1796.71/1797.01 c knapsack : 3.11 0.04 3.07 0.00 0.00 0.01 0.00
1796.71/1797.01 c setppc : 0.36 0.00 0.36 0.00 0.00 0.00 0.00
1796.71/1797.01 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1796.71/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c rootredcost : 22 0 0 0
1796.71/1797.01 c pseudoobj : 324193 0 0 0
1796.71/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.71/1797.01 c vbounds : 0.06 0.06 0.00
1796.71/1797.01 c rootredcost : 0.06 0.06 0.00
1796.71/1797.01 c pseudoobj : 2.48 2.48 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c infeasible LP : 0.00 22 22 22 3.7 0 0.0 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 22 3.7 - - -
1796.71/1797.01 c applied locally : - - - 0 0.0 - - -
1796.71/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 10 - - 332 - (maximal pool size: 1467)
1796.71/1797.01 c redcost : 1.56 78441 0 780441 0 0
1796.71/1797.01 c impliedbounds : 0.00 11 0 0 0 0
1796.71/1797.01 c intobj : 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 1.59 11 0 0 0 0
1796.71/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.71/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 1.55 11 0 0 0 0
1796.71/1797.01 c cmir : 0.25 10 0 0 908 0
1796.71/1797.01 c flowcover : 0.30 10 0 0 1062 0
1796.71/1797.01 c clique : 0.00 1 0 0 0 0
1796.71/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.00 1 0 0 0 0
1796.71/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 0.08 1 0 0 0 0
1796.71/1797.01 c Pricers : Time Calls Vars
1796.71/1797.01 c problem variables: 0.00 0 0
1796.71/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 112.05 37964 3 143 0 0 75768
1796.71/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.71/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : Time Calls Found
1796.71/1797.01 c LP solutions : 0.00 - 0
1796.71/1797.01 c pseudo solutions : 0.00 - 0
1796.71/1797.01 c oneopt : 0.01 10 2
1796.71/1797.01 c crossover : 1.08 2 2
1796.71/1797.01 c coefdiving : 161.85 148 194
1796.71/1797.01 c pscostdiving : 324.34 407 346
1796.71/1797.01 c trivial : 0.00 2 1
1796.71/1797.01 c shiftandpropagate: 0.00 0 0
1796.71/1797.01 c simplerounding : 1.13 67083 25
1796.71/1797.01 c zirounding : 0.43 1101 22
1796.71/1797.01 c rounding : 10.90 12173 1
1796.71/1797.01 c shifting : 3.20 3565 1
1796.71/1797.01 c intshifting : 0.00 0 0
1796.71/1797.01 c twoopt : 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0 0
1796.71/1797.01 c feaspump : 0.00 0 0
1796.71/1797.01 c clique : 0.00 0 0
1796.71/1797.01 c fracdiving : 53.36 44 0
1796.71/1797.01 c veclendiving : 72.53 84 81
1796.71/1797.01 c intdiving : 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0 0
1796.71/1797.01 c objpscostdiving : 31.93 6 3
1796.71/1797.01 c rootsoldiving : 14.22 14 0
1796.71/1797.01 c linesearchdiving : 77.64 104 62
1796.71/1797.01 c guideddiving : 53.39 46 0
1796.71/1797.01 c octane : 0.00 0 0
1796.71/1797.01 c rens : 0.01 0 0
1796.71/1797.01 c rins : 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0 0
1796.71/1797.01 c dins : 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0 0
1796.71/1797.01 c subnlp : 0.01 0 0
1796.71/1797.01 c trysol : 0.02 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.71/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.71/1797.01 c dual LP : 852.19 86761 6987674 80.54 8199.70
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.71/1797.01 c diving/probing LP: 763.97 125002 6389015 51.11 8362.86
1796.71/1797.01 c strong branching : 110.15 3642 740899 203.43 6726.24
1796.71/1797.01 c (at root node) : - 16 13702 856.38 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 57594
1796.71/1797.01 c nodes (total) : 57594
1796.71/1797.01 c nodes left : 16899
1796.71/1797.01 c max depth : 125
1796.71/1797.01 c max depth (total): 125
1796.71/1797.01 c backtracks : 9265 (16.1%)
1796.71/1797.01 c delayed cutoffs : 0
1796.71/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.01 c avg switch length: 6.62
1796.71/1797.01 c switching time : 2.46
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 741 (31 improvements)
1796.71/1797.01 c First Solution : +4.68000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.01 c Primal Bound : +1.89000000000000e+02 (in run 1, after 8803 nodes, 447.24 seconds, depth 223, found by <pscostdiving>)
1796.71/1797.01 c Dual Bound : +1.62257835365404e+02
1796.71/1797.01 c Gap : 16.48 %
1796.71/1797.01 c Root Dual Bound : +1.60254670286893e+02
1796.71/1797.01 c Root Iterations : 24266
1796.71/1797.03 c Time complete: 1796.75.
OK 189
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731502-1338697566/watcher-3731502-1338697566 -o /tmp/evaluation-result-3731502-1338697566/solver-3731502-1338697566 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731502-1338697566.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/174 31326 /proc/meminfo: memFree=27661392/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=9588 CPUtime=0 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 1514 0 0 0 0 0 0 0 20 0 1 0 335882494 9818112 1469 33554432000 4194304 9016284 140736822569968 140737320560120 7847688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 2397 1469 311 1178 0 1215 0 [startup+0.084592 s] /proc/loadavg: 2.00 2.00 2.00 3/174 31326 /proc/meminfo: memFree=27661392/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=22316 CPUtime=0.08 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 4748 0 0 0 7 1 0 0 20 0 1 0 335882494 22851584 4443 33554432000 4194304 9016284 140736822569968 140737320560120 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 5579 4443 625 1178 0 4397 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22316 [startup+0.100238 s] /proc/loadavg: 2.00 2.00 2.00 3/174 31326 /proc/meminfo: memFree=27661392/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=22316 CPUtime=0.09 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 4749 0 0 0 8 1 0 0 20 0 1 0 335882494 22851584 4444 33554432000 4194304 9016284 140736822569968 140737320560120 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 5579 4444 625 1178 0 4397 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22316 [startup+0.300202 s] /proc/loadavg: 2.00 2.00 2.00 3/174 31326 /proc/meminfo: memFree=27661392/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=22316 CPUtime=0.29 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 4760 0 0 0 28 1 0 0 20 0 1 0 335882494 22851584 4455 33554432000 4194304 9016284 140736822569968 140736822562888 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 5579 4455 625 1178 0 4397 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22316 [startup+0.700138 s] /proc/loadavg: 2.00 2.00 2.00 3/174 31326 /proc/meminfo: memFree=27661392/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=22640 CPUtime=0.68 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 4837 0 0 0 67 1 0 0 20 0 1 0 335882494 23183360 4532 33554432000 4194304 9016284 140736822569968 140736822563832 7180928 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0 /proc/31326/statm: 5660 4532 626 1178 0 4478 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 22640 [startup+1.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27632104/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=24116 CPUtime=1.48 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 8389 0 0 0 146 2 0 0 20 0 1 0 335882494 24694784 5045 33554432000 4194304 9016284 140736822569968 140736822564456 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 6029 5045 696 1178 0 4847 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 24116 [startup+3.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27643636/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=26136 CPUtime=3.09 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 8837 0 0 0 305 4 0 0 20 0 1 0 335882494 26763264 5493 33554432000 4194304 9016284 140736822569968 140736822563832 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 6534 5493 696 1178 0 5352 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26136 [startup+6.30022 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27642148/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=26472 CPUtime=6.29 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 8950 0 0 0 623 6 0 0 20 0 1 0 335882494 27107328 5606 33554432000 4194304 9016284 140736822569968 140736822565032 6591079 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 6618 5606 696 1178 0 5436 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26472 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27640808/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=26800 CPUtime=12.69 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 10561 0 0 0 1258 11 0 0 20 0 1 0 335882494 27443200 5684 33554432000 4194304 9016284 140736822569968 140736822563816 7201753 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 6700 5684 701 1178 0 5518 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26800 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27640376/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=26800 CPUtime=25.49 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 10561 0 0 0 2529 20 0 0 20 0 1 0 335882494 27443200 5684 33554432000 4194304 9016284 140736822569968 140736822563816 7199034 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 6700 5684 701 1178 0 5518 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26800 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27638624/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=27380 CPUtime=51.07 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 10716 0 0 0 5066 41 0 0 20 0 1 0 335882494 28037120 5950 33554432000 4194304 9016284 140736822569968 140736822563928 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 6845 5950 701 1178 0 5663 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27380 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27637940/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=27520 CPUtime=102.28 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 10735 0 0 0 10144 84 0 0 20 0 1 0 335882494 28180480 5969 33554432000 4194304 9016284 140736822569968 140736822564072 7201140 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 6880 5969 701 1178 0 5698 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 27520 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27636948/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=27752 CPUtime=162.26 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 10828 0 0 0 16094 132 0 0 20 0 1 0 335882494 28418048 6062 33554432000 4194304 9016284 140736822569968 140736822563560 7180592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 6938 6062 701 1178 0 5756 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 27752 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31327 /proc/meminfo: memFree=27634652/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=28328 CPUtime=222.26 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 14250 0 0 0 22044 182 0 0 20 0 1 0 335882494 29007872 6201 33554432000 4194304 9016284 140736822569968 140736822563576 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 7082 6201 707 1178 0 5900 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 28328 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 31331 /proc/meminfo: memFree=27632536/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=29392 CPUtime=282.24 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 14509 0 0 0 27992 232 0 0 20 0 1 0 335882494 30097408 6460 33554432000 4194304 9016284 140736822569968 140736822563560 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 7348 6460 707 1178 0 6166 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 29392 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31331 /proc/meminfo: memFree=27631488/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=29980 CPUtime=342.23 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 17925 0 0 0 33936 287 0 0 20 0 1 0 335882494 30699520 6603 33554432000 4194304 9016284 140736822569968 140736822563832 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 7495 6603 707 1178 0 6313 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 29980 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31331 /proc/meminfo: memFree=27628944/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=30576 CPUtime=402.23 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 18085 0 0 0 39887 336 0 0 20 0 1 0 335882494 31309824 6763 33554432000 4194304 9016284 140736822569968 140736822563656 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 7644 6763 708 1178 0 6462 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 30576 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31331 /proc/meminfo: memFree=27623480/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=34296 CPUtime=462.21 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 19885 0 0 0 45833 388 0 0 20 0 1 0 335882494 35119104 7729 33554432000 4194304 9016284 140736822569968 140736822563112 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 8574 7729 708 1178 0 7392 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 34296 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31331 /proc/meminfo: memFree=27623604/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=34296 CPUtime=522.2 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 21551 0 0 0 51784 436 0 0 20 0 1 0 335882494 35119104 7729 33554432000 4194304 9016284 140736822569968 140736822563832 7158192 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 8574 7729 708 1178 0 7392 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 34296 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31332 /proc/meminfo: memFree=27622612/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=34296 CPUtime=582.19 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 22384 0 0 0 57731 488 0 0 20 0 1 0 335882494 35119104 7729 33554432000 4194304 9016284 140736822569968 140736822563928 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 8574 7729 708 1178 0 7392 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 34296 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27644756/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=36856 CPUtime=1062.12 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 26206 0 0 0 105305 907 0 0 20 0 1 0 335882494 37740544 8356 33554432000 4194304 9016284 140736822569968 140736822563864 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 9214 8356 708 1178 0 8032 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 36856 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/175 31374 /proc/meminfo: memFree=27642956/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=38544 CPUtime=1122.11 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 26630 0 0 0 111250 961 0 0 20 0 1 0 335882494 39469056 8780 33554432000 4194304 9016284 140736822569968 140736822563864 7204687 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 9636 8780 708 1178 0 8454 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 38544 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31375 /proc/meminfo: memFree=27642272/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=38688 CPUtime=1182.1 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 26679 0 0 0 117200 1010 0 0 20 0 1 0 335882494 39616512 8829 33554432000 4194304 9016284 140736822569968 140736822563224 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 9672 8829 708 1178 0 8490 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 38688 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31375 /proc/meminfo: memFree=27639544/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=39356 CPUtime=1242.1 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 28425 0 0 0 123151 1059 0 0 20 0 1 0 335882494 40300544 8986 33554432000 4194304 9016284 140736822569968 140736822563624 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 9839 8986 708 1178 0 8657 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 39356 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31375 /proc/meminfo: memFree=27638796/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=39512 CPUtime=1302.08 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 28461 0 0 0 129098 1110 0 0 20 0 1 0 335882494 40460288 9021 33554432000 4194304 9016284 140736822569968 140736822563672 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 9878 9021 708 1178 0 8696 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 39512 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31375 /proc/meminfo: memFree=27637556/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=40532 CPUtime=1362.07 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 28729 0 0 0 135044 1163 0 0 20 0 1 0 335882494 41504768 9289 33554432000 4194304 9016284 140736822569968 140736822563832 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10133 9289 708 1178 0 8951 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 40532 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31375 /proc/meminfo: memFree=27637432/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=40532 CPUtime=1422.07 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 28736 0 0 0 140994 1213 0 0 20 0 1 0 335882494 41504768 9296 33554432000 4194304 9016284 140736822569968 140736822563112 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10133 9296 708 1178 0 8951 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 40532 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 31379 /proc/meminfo: memFree=27637424/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=40744 CPUtime=1482.06 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 28787 0 0 0 146940 1266 0 0 20 0 1 0 335882494 41721856 9347 33554432000 4194304 9016284 140736822569968 140736822563560 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10186 9347 708 1178 0 9004 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 40744 [startup+1542.31 s] /proc/loadavg: 2.04 2.01 2.00 3/175 31379 /proc/meminfo: memFree=27634268/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=40744 CPUtime=1542.05 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 28818 0 0 0 152883 1322 0 0 20 0 1 0 335882494 41721856 9378 33554432000 4194304 9016284 140736822569968 140736822563928 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10186 9378 708 1178 0 9004 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 40744 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/175 31379 /proc/meminfo: memFree=27632592/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42112 CPUtime=1602.03 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29134 0 0 0 158829 1374 0 0 20 0 1 0 335882494 43122688 9693 33554432000 4194304 9016284 140736822569968 140736822563560 7180528 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10528 9693 708 1178 0 9346 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 42112 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31379 /proc/meminfo: memFree=27632900/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42112 CPUtime=1662.03 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29142 0 0 0 164775 1428 0 0 20 0 1 0 335882494 43122688 9701 33554432000 4194304 9016284 140736822569968 140736822564136 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10528 9701 708 1178 0 9346 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 42112 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31379 /proc/meminfo: memFree=27632528/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42112 CPUtime=1722.02 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29147 0 0 0 170722 1480 0 0 20 0 1 0 335882494 43122688 9706 33554432000 4194304 9016284 140736822569968 140736822563640 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10528 9706 708 1178 0 9346 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 42112 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31380 /proc/meminfo: memFree=27631784/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42372 CPUtime=1782.02 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29195 0 0 0 176669 1533 0 0 20 0 1 0 335882494 43388928 9754 33554432000 4194304 9016284 140736822569968 140736822563896 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10593 9754 708 1178 0 9411 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 42372 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31380 /proc/meminfo: memFree=27632032/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42372 CPUtime=1785.31 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29195 0 0 0 176995 1536 0 0 20 0 1 0 335882494 43388928 9754 33554432000 4194304 9016284 140736822569968 140736822563224 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10593 9754 708 1178 0 9411 0 Current children cumulated CPU time (s) 1785.31 Current children cumulated vsize (KiB) 42372 [startup+1792.01 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31380 /proc/meminfo: memFree=27632032/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42372 CPUtime=1791.72 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29195 0 0 0 177629 1543 0 0 20 0 1 0 335882494 43388928 9754 33554432000 4194304 9016284 140736822569968 140736822564136 7178589 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10593 9754 708 1178 0 9411 0 Current children cumulated CPU time (s) 1791.72 Current children cumulated vsize (KiB) 42372 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31380 /proc/meminfo: memFree=27631908/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42372 CPUtime=1794.92 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29200 0 0 0 177946 1546 0 0 20 0 1 0 335882494 43388928 9759 33554432000 4194304 9016284 140736822569968 140736822563880 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10593 9759 708 1178 0 9411 0 Current children cumulated CPU time (s) 1794.92 Current children cumulated vsize (KiB) 42372 [startup+1796 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31380 /proc/meminfo: memFree=27631908/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42372 CPUtime=1795.71 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29200 0 0 0 178024 1547 0 0 20 0 1 0 335882494 43388928 9759 33554432000 4194304 9016284 140736822569968 140736822564248 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10593 9759 708 1178 0 9411 0 Current children cumulated CPU time (s) 1795.71 Current children cumulated vsize (KiB) 42372 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31380 /proc/meminfo: memFree=27631908/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42372 CPUtime=1796.5 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29201 0 0 0 178103 1547 0 0 20 0 1 0 335882494 43388928 9760 33554432000 4194304 9016284 140736822569968 140736822563912 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10593 9760 708 1178 0 9411 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (KiB) 42372 [startup+1797 s] /proc/loadavg: 2.00 2.00 2.00 3/175 31380 /proc/meminfo: memFree=27631908/32873852 swapFree=6856/6856 [pid=31326] ppid=31324 vsize=42372 CPUtime=1796.71 cores=0,2,4,6 /proc/31326/stat : 31326 (scip-2.0.1.4b_2) R 31324 31326 20074 0 -1 4202496 29201 0 0 0 178123 1548 0 0 20 0 1 0 335882494 43388928 9760 33554432000 4194304 9016284 140736822569968 140736822563912 7220810 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/31326/statm: 10593 9760 708 1178 0 9411 0 Current children cumulated CPU time (s) 1796.71 Current children cumulated vsize (KiB) 42372 Child status: 0 Real time (s): 1797.04 CPU time (s): 1796.75 CPU user time (s): 1781.27 CPU system time (s): 15.4826 CPU usage (%): 99.9843 Max. virtual memory (cumulated for all children) (KiB): 43592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.27 system time used= 15.4826 maximum resident set size= 40884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29208 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= 15 involuntary context switches= 2206 runsolver used 8.5747 second user time and 17.9273 second system time The end
Begin job on node128 at 2012-06-03 06:26:06 IDJOB=3731502 IDBENCH=1959 IDSOLVER=2329 FILE ID=node128/3731502-1338697566 RUNJOBID= node128-1338679209-28499 PBS_JOBID= 14636685 Free space on /tmp= 70420 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731502-1338697566/watcher-3731502-1338697566 -o /tmp/evaluation-result-3731502-1338697566/solver-3731502-1338697566 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731502-1338697566.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3ddf6338b9f9cf35560b94c856457c56 RANDOM SEED=1246869879 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 27662036 kB Buffers: 539308 kB Cached: 3727636 kB SwapCached: 744 kB Active: 2022516 kB Inactive: 2296056 kB Active(anon): 42272 kB Inactive(anon): 11420 kB Active(file): 1980244 kB Inactive(file): 2284636 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67106656 kB Dirty: 16712 kB Writeback: 0 kB AnonPages: 69504 kB Mapped: 17048 kB Shmem: 200 kB Slab: 755760 kB SReclaimable: 198020 kB SUnreclaim: 557740 kB KernelStack: 1472 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 165384 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 40960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70404 MiB End job on node128 at 2012-06-03 06:56:03