Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | 189 | 1797.09 | 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 | 188 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| 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.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485369-1307757510.opb>
0.00/0.00 c original problem has 468 variables (468 bin, 0 int, 0 impl, 0 cont) and 468 constraints
0.00/0.00 c problem read
0.00/0.00 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.02 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.02 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.02 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.02 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.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 = 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.91 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.91 c t 0.9s| 1 | 0 | 10568 | - |2578k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 4.680000e+02 | 220.77%
0.89/0.91 o 322
0.89/0.91 c r 0.9s| 1 | 0 | 10568 | - |2591k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 3.220000e+02 | 120.70%
0.89/0.91 o 321
0.89/0.91 c R 0.9s| 1 | 0 | 10568 | - |2605k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 3.210000e+02 | 120.02%
0.89/0.92 o 320
0.89/0.92 c s 0.9s| 1 | 0 | 10568 | - |2618k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 3.200000e+02 | 119.33%
1.09/1.12 o 221
1.09/1.12 c y 1.1s| 1 | 0 | 10568 | - |2985k| 0 | 307 | 468 | 556 | 468 | 556 | 0 | 0 | 0 | 1.458990e+02 | 2.210000e+02 | 51.47%
1.69/1.71 c 1.7s| 1 | 0 | 15163 | - |2912k| 0 | 352 | 468 | 556 | 468 | 762 | 206 | 0 | 0 | 1.532205e+02 | 2.210000e+02 | 44.24%
2.19/2.25 c 2.3s| 1 | 0 | 17736 | - |3174k| 0 | 404 | 468 | 556 | 468 | 950 | 394 | 0 | 0 | 1.562463e+02 | 2.210000e+02 | 41.44%
2.79/2.85 c 2.9s| 1 | 0 | 20140 | - |3377k| 0 | 423 | 468 | 556 | 468 |1093 | 537 | 0 | 0 | 1.583045e+02 | 2.210000e+02 | 39.60%
3.39/3.43 c 3.4s| 1 | 0 | 21882 | - |3507k| 0 | 429 | 468 | 556 | 468 |1199 | 643 | 0 | 0 | 1.592820e+02 | 2.210000e+02 | 38.75%
3.89/3.94 c 3.9s| 1 | 0 | 22765 | - |3604k| 0 | 426 | 468 | 556 | 468 |1281 | 725 | 0 | 0 | 1.598025e+02 | 2.210000e+02 | 38.30%
4.40/4.45 c 4.5s| 1 | 0 | 23566 | - |3643k| 0 | 426 | 468 | 556 | 468 |1320 | 764 | 0 | 0 | 1.600613e+02 | 2.210000e+02 | 38.07%
4.89/4.90 c 4.9s| 1 | 0 | 23932 | - |3670k| 0 | 429 | 468 | 556 | 468 |1345 | 789 | 0 | 0 | 1.601700e+02 | 2.210000e+02 | 37.98%
5.29/5.33 c 5.3s| 1 | 0 | 24145 | - |3690k| 0 | 429 | 468 | 556 | 468 |1360 | 804 | 0 | 0 | 1.602292e+02 | 2.210000e+02 | 37.93%
5.69/5.70 c 5.7s| 1 | 0 | 24245 | - |3700k| 0 | 428 | 468 | 556 | 468 |1365 | 809 | 0 | 0 | 1.602537e+02 | 2.210000e+02 | 37.91%
5.99/6.04 c 6.0s| 1 | 0 | 24266 | - |3707k| 0 | 432 | 468 | 556 | 468 |1366 | 810 | 0 | 0 | 1.602547e+02 | 2.210000e+02 | 37.91%
8.49/8.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.49/8.59 c 8.6s| 1 | 2 | 24266 | - |3728k| 0 | 432 | 468 | 556 | 468 |1366 | 810 | 0 | 16 | 1.602547e+02 | 2.210000e+02 | 37.91%
28.29/28.39 o 221
28.29/28.39 c c28.4s| 15 | 16 | 40708 |1174.4 |4489k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.210000e+02 | 37.82%
28.29/28.39 o 217
28.29/28.39 c c28.4s| 15 | 16 | 40748 |1177.3 |4491k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.170000e+02 | 35.33%
28.29/28.39 o 216
28.29/28.39 c c28.4s| 15 | 16 | 40774 |1179.1 |4494k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.160000e+02 | 34.70%
28.39/28.42 o 215
28.39/28.42 c c28.4s| 15 | 16 | 40999 |1195.2 |4546k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.150000e+02 | 34.08%
28.39/28.42 o 214
28.39/28.42 c b28.4s| 16 | 15 | 40999 |1115.5 |4420k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.603525e+02 | 2.140000e+02 | 33.46%
30.20/30.23 o 211
30.20/30.23 c p30.2s| 27 | 28 | 54371 |1157.9 |4621k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.110000e+02 | 31.38%
30.20/30.23 o 210
30.20/30.23 c p30.2s| 27 | 28 | 54372 |1157.9 |4622k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.100000e+02 | 30.76%
30.20/30.24 o 207
30.20/30.24 c p30.2s| 27 | 28 | 54380 |1158.2 |4623k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.070000e+02 | 28.89%
30.20/30.24 o 205
30.20/30.24 c p30.2s| 27 | 28 | 54382 |1158.3 |4624k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.050000e+02 | 27.65%
30.20/30.24 o 204
30.20/30.24 c p30.2s| 27 | 28 | 54383 |1158.3 |4625k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.040000e+02 | 27.02%
30.20/30.24 o 202
30.20/30.24 c p30.2s| 27 | 28 | 54396 |1158.8 |4627k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.020000e+02 | 25.78%
30.20/30.24 o 202
30.20/30.24 c p30.2s| 27 | 28 | 54399 |1159.0 |4628k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.020000e+02 | 25.78%
30.20/30.24 o 201
30.20/30.24 c p30.2s| 27 | 28 | 54422 |1159.8 |4634k| 14 | - | 468 | 556 | 468 | 978 | 810 | 0 | 219 | 1.606006e+02 | 2.010000e+02 | 25.16%
43.79/43.81 o 200
43.79/43.81 c p43.8s| 124 | 125 |150496 |1026.3 |4758k| 23 | - | 468 | 556 | 468 | 978 | 810 | 0 | 243 | 1.606006e+02 | 2.000000e+02 | 24.53%
43.79/43.81 o 199
43.79/43.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.79/43.81 c p43.8s| 124 | 125 |150498 |1026.3 |4759k| 23 | - | 468 | 556 | 468 | 978 | 810 | 0 | 243 | 1.606006e+02 | 1.990000e+02 | 23.91%
43.79/43.81 o 198
43.79/43.81 c p43.8s| 124 | 125 |150502 |1026.3 |4760k| 23 | - | 468 | 556 | 468 | 978 | 810 | 0 | 243 | 1.606006e+02 | 1.980000e+02 | 23.29%
43.79/43.89 o 197
43.79/43.89 c b43.9s| 125 | 126 |151048 |1022.4 |4635k| 23 | 390 | 468 | 556 | 468 | 978 | 810 | 0 | 243 | 1.606006e+02 | 1.970000e+02 | 22.66%
81.40/81.47 o 196
81.40/81.47 c p81.5s| 271 | 272 |432755 |1512.9 |4900k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 305 | 1.609032e+02 | 1.960000e+02 | 21.81%
81.40/81.48 o 195
81.40/81.48 c p81.5s| 271 | 272 |432775 |1513.0 |4906k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 305 | 1.609032e+02 | 1.950000e+02 | 21.19%
87.10/87.14 o 195
87.10/87.14 c p87.1s| 283 | 284 |476261 |1602.8 |4904k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 314 | 1.609229e+02 | 1.950000e+02 | 21.18%
87.10/87.14 o 194
87.10/87.14 c p87.1s| 283 | 284 |476270 |1602.9 |4907k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 314 | 1.609229e+02 | 1.940000e+02 | 20.55%
87.10/87.14 o 193
87.10/87.14 c p87.1s| 283 | 284 |476271 |1602.9 |4908k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 314 | 1.609229e+02 | 1.930000e+02 | 19.93%
128.60/128.66 o 192
128.60/128.66 c p 129s| 460 | 461 |778963 |1644.2 |5008k| 24 | - | 468 | 556 | 468 | 978 | 810 | 0 | 422 | 1.610654e+02 | 1.920000e+02 | 19.21%
451.10/451.12 o 191
451.10/451.12 c p 451s| 8803 | 4146 | 3040k| 342.6 |7827k| 125 | - | 468 | 562 | 468 | 978 | 810 | 6 |1255 | 1.616754e+02 | 1.910000e+02 | 18.14%
451.10/451.12 o 190
451.10/451.12 c p 451s| 8803 | 3439 | 3040k| 342.6 |7242k| 125 | - | 468 | 562 | 468 | 978 | 810 | 6 |1255 | 1.616754e+02 | 1.900000e+02 | 17.52%
451.10/451.12 o 189
451.10/451.12 c p 451s| 8803 | 2956 | 3040k| 342.6 |6850k| 125 | - | 468 | 562 | 468 | 978 | 810 | 6 |1255 | 1.616754e+02 | 1.890000e+02 | 16.90%
499.30/499.34 c 499s| 10000 | 3455 | 3394k| 337.0 |7074k| 125 | 162 | 468 | 562 | 468 | 978 | 810 | 6 |1264 | 1.617056e+02 | 1.890000e+02 | 16.88%
822.32/822.36 c 822s| 20000 | 7133 | 5678k| 282.7 | 10M| 125 | - | 468 | 571 | 468 | 978 | 810 | 16 |1901 | 1.618915e+02 | 1.890000e+02 | 16.74%
1120.83/1120.84 c 1121s| 30000 | 10163 | 7842k| 260.6 | 12M| 125 | 140 | 468 | 566 | 468 | 978 | 810 | 16 |2474 | 1.620287e+02 | 1.890000e+02 | 16.65%
1400.13/1400.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.13/1400.13 c 1400s| 40000 | 12651 | 9840k| 245.4 | 14M| 125 | 141 | 468 | 567 | 468 | 978 | 810 | 19 |2946 | 1.621203e+02 | 1.890000e+02 | 16.58%
1683.43/1683.42 c 1683s| 50000 | 14989 | 11883k| 237.2 | 16M| 125 | - | 468 | 563 | 468 | 978 | 810 | 19 |3306 | 1.621998e+02 | 1.890000e+02 | 16.52%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 53984
1797.04/1797.00 c Primal Bound : +1.89000000000000e+02 (742 solutions)
1797.04/1797.00 c Dual Bound : +1.62234847097183e+02
1797.04/1797.00 c Gap : 16.50 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v -x468 -x467 x466 x465 -x464 x463 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 x452 -x451 -x450 -x449 x448 -x447 x446
1797.04/1797.00 v -x445 -x444 x443 x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424
1797.04/1797.00 v -x423 -x422 -x421 x420 x419 -x418 x417 -x416 -x415 x414 -x413 x412 -x411 -x410 x409 x408 -x407 -x406 -x405 -x404 -x403 -x402
1797.04/1797.00 v x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 x391 x390 x389 -x388 -x387 x386 -x385 x384 -x383 -x382 x381 x380
1797.04/1797.00 v -x379 -x378 x377 -x376 -x375 x374 x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358
1797.04/1797.00 v -x357 -x356 -x355 x354 -x353 x352 -x351 x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 x340 -x339 -x338 x337 x336
1797.04/1797.00 v -x335 -x334 x333 x332 -x331 -x330 x329 x328 -x327 x326 x325 -x324 x323 -x322 -x321 -x320 x319 -x318 x317 -x316 x315 -x314 -x313
1797.04/1797.00 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 x300 -x299 -x298 -x297 x296 -x295 x294 -x293 -x292
1797.04/1797.00 v -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 x282 -x281 x280 x279 -x278 -x277 -x276 -x275 -x274 x273 x272 -x271 x270
1797.04/1797.00 v -x269 x268 x267 x266 -x265 x264 x263 x262 x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 x252 -x251 x250 -x249 x248 -x247
1797.04/1797.00 v -x246 x245 x244 x243 x242 x241 x240 -x239 x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 x227 -x226 -x225
1797.04/1797.00 v x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 x216 x215 x214 x213 -x212 x211 -x210 x209 x208 -x207 -x206 x205 -x204 -x203 -x202
1797.04/1797.00 v x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 x192 x191 x190 x189 -x188 -x187 x186 x185 x184 -x183 -x182 -x181 -x180
1797.04/1797.00 v x179 -x178 x177 -x176 -x175 x174 -x173 -x172 x171 -x170 x169 x168 -x167 x166 -x165 x164 -x163 -x162 -x161 -x160 x159 x158 -x157
1797.04/1797.00 v -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 x145 -x144 x143 x142 x141 -x140 -x139 x138 -x137 -x136 x135
1797.04/1797.00 v x134 x133 x132 x131 -x130 x129 -x128 x127 -x126 -x125 -x124 x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 v -x2 -x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.02 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485369-1307757510.opb
1797.04/1797.00 c Variables : 468 (468 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 468 initial, 468 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485369-1307757510.opb
1797.04/1797.00 c Variables : 468 (468 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 556 initial, 571 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.01 0 0 0 0 0 27 184 271 617
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 69 0 0 0
1797.04/1797.00 c linear : 0.01 0 0 0 0 0 0 0 2 38
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 35727 0 747 0 2 138 0 0 71304
1797.04/1797.00 c knapsack : 437 11 307008 0 1 742 0 0 195085 818 0 0
1797.04/1797.00 c setppc : 115 11 306936 0 1 741 0 0 29194 0 0 0
1797.04/1797.00 c logicor : 4+ 11 20842 0 1 741 0 0 0 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 745 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 111.26 0.00 0.00 111.26 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 3.36 0.03 3.32 0.00 0.00 0.01 0.00
1797.04/1797.00 c setppc : 0.39 0.00 0.39 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 22 0 0 0
1797.04/1797.00 c pseudoobj : 307723 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.06 0.06 0.00
1797.04/1797.00 c rootredcost : 0.06 0.06 0.00
1797.04/1797.00 c pseudoobj : 2.49 2.49 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.00 19 19 19 3.7 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 19 3.7 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 10 - - 332 - (maximal pool size: 1467)
1797.04/1797.00 c redcost : 1.61 73245 0 726918 0 0
1797.04/1797.00 c impliedbounds : 0.00 11 0 0 0 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 1.48 11 0 0 0 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 1.39 11 0 0 0 0
1797.04/1797.00 c cmir : 0.24 10 0 0 908 0
1797.04/1797.00 c flowcover : 0.28 10 0 0 1062 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.07 1 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 111.24 35727 2 138 0 0 71304
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c feaspump : 0.00 0 0
1797.04/1797.00 c intshifting : 0.00 0 0
1797.04/1797.00 c oneopt : 0.02 10 2
1797.04/1797.00 c crossover : 0.87 3 3
1797.04/1797.00 c objpscostdiving : 34.09 6 3
1797.04/1797.00 c fracdiving : 53.29 42 0
1797.04/1797.00 c guideddiving : 53.65 44 0
1797.04/1797.00 c veclendiving : 72.21 80 81
1797.04/1797.00 c linesearchdiving : 78.07 99 62
1797.04/1797.00 c coefdiving : 162.61 143 194
1797.04/1797.00 c pscostdiving : 327.40 394 346
1797.04/1797.00 c trivial : 0.00 2 1
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 1.15 62780 25
1797.04/1797.00 c zirounding : 0.42 1101 22
1797.04/1797.00 c rounding : 11.08 11752 1
1797.04/1797.00 c shifting : 3.26 3385 1
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c rootsoldiving : 13.84 13 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.00 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.01 0 0
1797.04/1797.00 c trysol : 0.02 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.01 c dual LP : 846.73 81083 6547569 80.75 7732.79
1797.04/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.01 c diving/probing LP: 769.29 120386 6148450 51.07 7992.36
1797.04/1797.01 c strong branching : 109.35 3502 716507 204.60 6552.48
1797.04/1797.01 c (at root node) : - 16 13702 856.38 -
1797.04/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.01 c B&B Tree :
1797.04/1797.01 c number of runs : 1
1797.04/1797.01 c nodes : 53984
1797.04/1797.01 c nodes (total) : 53984
1797.04/1797.01 c nodes left : 16045
1797.04/1797.01 c max depth : 125
1797.04/1797.01 c max depth (total): 125
1797.04/1797.01 c backtracks : 8646 (16.0%)
1797.04/1797.01 c delayed cutoffs : 0
1797.04/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.01 c avg switch length: 6.59
1797.04/1797.01 c switching time : 2.66
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 742 (31 improvements)
1797.04/1797.01 c First Solution : +4.68000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.04/1797.01 c Primal Bound : +1.89000000000000e+02 (in run 1, after 8803 nodes, 451.12 seconds, depth 223, found by <pscostdiving>)
1797.04/1797.01 c Dual Bound : +1.62234847097183e+02
1797.04/1797.01 c Gap : 16.50 %
1797.04/1797.01 c Root Dual Bound : +1.60254670286893e+02
1797.04/1797.01 c Root Iterations : 24266
1797.04/1797.03 c Time complete: 1797.08.
OK 189
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485369-1307757510/watcher-3485369-1307757510 -o /tmp/evaluation-result-3485369-1307757510/solver-3485369-1307757510 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485369-1307757510.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 1.96 2/177 3923 /proc/meminfo: memFree=26199204/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=10252 CPUtime=0 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 1568 0 0 0 0 0 0 0 25 0 1 0 965981677 10498048 1522 33554432000 4194304 8979876 140735971422320 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/3923/statm: 2563 1522 366 1169 0 1390 0 [startup+0.00793094 s] /proc/loadavg: 2.00 2.00 1.96 2/177 3923 /proc/meminfo: memFree=26199204/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=10404 CPUtime=0 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 1608 0 0 0 0 0 0 0 25 0 1 0 965981677 10653696 1562 33554432000 4194304 8979876 140735971422320 18446744073709551615 7836063 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/3923/statm: 2601 1562 366 1169 0 1428 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10404 [startup+0.100952 s] /proc/loadavg: 2.00 2.00 1.96 2/177 3923 /proc/meminfo: memFree=26199204/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=20792 CPUtime=0.09 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 4392 0 0 0 9 0 0 0 25 0 1 0 965981677 21291008 4088 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 5198 4088 634 1169 0 4025 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20792 [startup+0.300904 s] /proc/loadavg: 2.00 2.00 1.96 2/177 3923 /proc/meminfo: memFree=26199204/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=20792 CPUtime=0.29 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 4402 0 0 0 29 0 0 0 25 0 1 0 965981677 21291008 4098 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 5198 4098 634 1169 0 4025 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20792 [startup+0.700829 s] /proc/loadavg: 2.00 2.00 1.96 2/177 3923 /proc/meminfo: memFree=26199204/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=21116 CPUtime=0.69 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 4505 0 0 0 68 1 0 0 25 0 1 0 965981677 21622784 4201 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 5279 4201 635 1169 0 4106 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21116 [startup+1.50067 s] /proc/loadavg: 2.00 2.00 1.96 3/178 3924 /proc/meminfo: memFree=26183844/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=22860 CPUtime=1.49 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 7723 0 0 0 147 2 0 0 25 0 1 0 965981677 23408640 4717 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 5715 4717 705 1169 0 4542 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22860 [startup+3.10037 s] /proc/loadavg: 2.00 2.00 1.96 3/178 3924 /proc/meminfo: memFree=26182340/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=24032 CPUtime=3.09 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 8017 0 0 0 306 3 0 0 25 0 1 0 965981677 24608768 5010 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 6008 5010 705 1169 0 4835 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24032 [startup+6.30076 s] /proc/loadavg: 2.00 2.00 1.96 3/178 3924 /proc/meminfo: memFree=26180848/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=24960 CPUtime=6.29 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 8251 0 0 0 624 5 0 0 25 0 1 0 965981677 25559040 5244 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 6240 5244 705 1169 0 5067 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24960 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 1.96 3/178 3924 /proc/meminfo: memFree=26179980/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=25064 CPUtime=12.69 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 9047 0 0 0 1259 10 0 0 25 0 1 0 965981677 25665536 5272 33554432000 4194304 8979876 140735971422320 18446744073709551615 7184803 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 6266 5272 711 1169 0 5093 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25064 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 1.96 3/178 3924 /proc/meminfo: memFree=26180224/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=25064 CPUtime=25.49 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 9047 0 0 0 2532 17 0 0 25 0 1 0 965981677 25665536 5272 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 6266 5272 711 1169 0 5093 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25064 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.96 3/178 3925 /proc/meminfo: memFree=26179936/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=25912 CPUtime=51.09 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 9248 0 0 0 5072 37 0 0 25 0 1 0 965981677 26533888 5473 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 6478 5473 712 1169 0 5305 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 25912 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.96 3/178 3926 /proc/meminfo: memFree=26179592/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=25912 CPUtime=102.3 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 9249 0 0 0 10152 78 0 0 25 0 1 0 965981677 26533888 5474 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 6478 5474 712 1169 0 5305 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 25912 [startup+162.3 s] /proc/loadavg: 2.04 2.01 1.96 3/178 3976 /proc/meminfo: memFree=31511096/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=26548 CPUtime=162.3 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 9427 0 0 0 16101 129 0 0 25 0 1 0 965981677 27185152 5652 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3923/statm: 6637 5652 712 1169 0 5464 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 26548 [startup+222.301 s] /proc/loadavg: 2.09 2.02 1.97 3/178 4444 /proc/meminfo: memFree=31506976/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=27064 CPUtime=222.3 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 12720 0 0 0 22044 186 0 0 25 0 1 0 965981677 27713536 5794 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 6766 5794 719 1169 0 5593 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 27064 [startup+282.3 s] /proc/loadavg: 2.03 2.02 1.97 3/178 4445 /proc/meminfo: memFree=31508984/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=28140 CPUtime=282.3 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 12985 0 0 0 27995 235 0 0 25 0 1 0 965981677 28815360 6059 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 7035 6059 719 1169 0 5862 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 28140 [startup+342.301 s] /proc/loadavg: 2.01 2.01 1.97 3/178 4447 /proc/meminfo: memFree=31508196/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=28892 CPUtime=342.3 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 16284 0 0 0 33945 285 0 0 25 0 1 0 965981677 29585408 6242 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 7223 6242 719 1169 0 6050 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 28892 [startup+402.301 s] /proc/loadavg: 2.00 2.01 1.97 3/178 4448 /proc/meminfo: memFree=31506648/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=29152 CPUtime=402.3 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 16352 0 0 0 39897 333 0 0 25 0 1 0 965981677 29851648 6310 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 7288 6310 721 1169 0 6115 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 29152 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 4450 /proc/meminfo: memFree=31504728/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=30504 CPUtime=462.31 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 17425 0 0 0 45840 391 0 0 25 0 1 0 965981677 31236096 6647 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 7626 6647 721 1169 0 6453 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 30504 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 4451 /proc/meminfo: memFree=31504212/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=30492 CPUtime=522.31 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 18905 0 0 0 51789 442 0 0 25 0 1 0 965981677 31223808 6655 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 7623 6655 721 1169 0 6450 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 30492 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 4453 /proc/meminfo: memFree=31503648/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=30844 CPUtime=582.31 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 21536 0 0 0 57733 498 0 0 25 0 1 0 965981677 31584256 6758 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 7711 6758 721 1169 0 6538 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 30844 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31491672/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=35956 CPUtime=1122.32 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 24425 0 0 0 111246 986 0 0 25 0 1 0 965981677 36818944 8044 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 8989 8044 721 1169 0 7816 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 35956 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4469 /proc/meminfo: memFree=31490360/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=37268 CPUtime=1182.32 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 24750 0 0 0 117195 1037 0 0 25 0 1 0 965981677 38162432 8369 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9317 8369 721 1169 0 8144 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 37268 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4471 /proc/meminfo: memFree=31490428/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=36464 CPUtime=1242.32 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 25356 0 0 0 123141 1091 0 0 25 0 1 0 965981677 37339136 8207 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9116 8207 721 1169 0 7943 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 36464 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4472 /proc/meminfo: memFree=31489376/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=38184 CPUtime=1302.33 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 25752 0 0 0 129085 1148 0 0 25 0 1 0 965981677 39100416 8603 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9546 8603 721 1169 0 8373 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 38184 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4474 /proc/meminfo: memFree=31488692/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=38184 CPUtime=1362.33 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 25756 0 0 0 135035 1198 0 0 25 0 1 0 965981677 39100416 8607 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9546 8607 721 1169 0 8373 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 38184 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4476 /proc/meminfo: memFree=31486164/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=39160 CPUtime=1422.34 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26003 0 0 0 140987 1247 0 0 25 0 1 0 965981677 40099840 8854 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9790 8854 721 1169 0 8617 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 39160 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4477 /proc/meminfo: memFree=31485108/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=39544 CPUtime=1482.33 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26094 0 0 0 146936 1297 0 0 25 0 1 0 965981677 40493056 8945 33554432000 4194304 8979876 140735971422320 18446744073709551615 4777346 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9886 8945 721 1169 0 8713 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 39544 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4479 /proc/meminfo: memFree=31484688/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=39544 CPUtime=1542.33 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26101 0 0 0 152881 1352 0 0 25 0 1 0 965981677 40493056 8952 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9886 8952 721 1169 0 8713 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 39544 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4480 /proc/meminfo: memFree=31484504/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=39544 CPUtime=1602.34 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26102 0 0 0 158830 1404 0 0 25 0 1 0 965981677 40493056 8953 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9886 8953 721 1169 0 8713 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 39544 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4482 /proc/meminfo: memFree=31483944/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=39544 CPUtime=1662.33 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26114 0 0 0 164782 1451 0 0 25 0 1 0 965981677 40493056 8965 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 9886 8965 721 1169 0 8713 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 39544 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4483 /proc/meminfo: memFree=31480784/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40284 CPUtime=1722.34 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26296 0 0 0 170731 1503 0 0 25 0 1 0 965981677 41250816 9147 33554432000 4194304 8979876 140735971422320 18446744073709551615 7144105 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10071 9147 721 1169 0 8898 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 40284 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4485 /proc/meminfo: memFree=31480360/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40448 CPUtime=1782.35 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26348 0 0 0 176678 1557 0 0 25 0 1 0 965981677 41418752 9199 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10112 9199 721 1169 0 8939 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 40448 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.98 3/178 4485 /proc/meminfo: memFree=31480360/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40448 CPUtime=1785.54 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26355 0 0 0 176995 1559 0 0 25 0 1 0 965981677 41418752 9206 33554432000 4194304 8979876 140735971422320 18446744073709551615 4561040 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10112 9206 721 1169 0 8939 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 40448 [startup+1791.91 s] /proc/loadavg: 2.08 2.02 1.98 3/178 4485 /proc/meminfo: memFree=31480344/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40448 CPUtime=1791.95 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26355 0 0 0 177630 1565 0 0 25 0 1 0 965981677 41418752 9206 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10112 9206 721 1169 0 8939 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 40448 [startup+1795.1 s] /proc/loadavg: 2.07 2.02 1.98 3/178 4485 /proc/meminfo: memFree=31479972/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40868 CPUtime=1795.15 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26430 0 0 0 177948 1567 0 0 25 0 1 0 965981677 41848832 9281 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10217 9281 721 1169 0 9044 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 40868 [startup+1795.9 s] /proc/loadavg: 2.07 2.02 1.98 3/178 4485 /proc/meminfo: memFree=31479972/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40868 CPUtime=1795.94 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26430 0 0 0 178026 1568 0 0 25 0 1 0 965981677 41848832 9281 33554432000 4194304 8979876 140735971422320 18446744073709551615 7164620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10217 9281 721 1169 0 9044 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 40868 [startup+1796.7 s] /proc/loadavg: 2.07 2.02 1.98 3/178 4485 /proc/meminfo: memFree=31480096/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40868 CPUtime=1796.74 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26430 0 0 0 178105 1569 0 0 25 0 1 0 965981677 41848832 9281 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10217 9281 721 1169 0 9044 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 40868 [startup+1796.9 s] /proc/loadavg: 2.07 2.02 1.98 3/178 4485 /proc/meminfo: memFree=31480096/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40868 CPUtime=1796.94 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26430 0 0 0 178125 1569 0 0 25 0 1 0 965981677 41848832 9281 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10217 9281 721 1169 0 9044 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 40868 [startup+1797 s] /proc/loadavg: 2.07 2.02 1.98 3/178 4485 /proc/meminfo: memFree=31480096/32950928 swapFree=67056212/67111528 [pid=3923] ppid=3921 vsize=40868 CPUtime=1797.04 cores=0,2,4,6 /proc/3923/stat : 3923 (scip-2.0.1.4_2.) R 3921 3923 2370 0 -1 4202496 26430 0 0 0 178135 1569 0 0 25 0 1 0 965981677 41848832 9281 33554432000 4194304 8979876 140735971422320 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/3923/statm: 10217 9281 721 1169 0 9044 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 40868 Child status: 0 Real time (s): 1797.04 CPU time (s): 1797.09 CPU user time (s): 1781.38 CPU system time (s): 15.7016 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 41792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.38 system time used= 15.7016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26438 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= 5 involuntary context switches= 4501 runsolver used 2.72858 second user time and 5.46217 second system time The end
Begin job on node115 at 2011-06-11 03:58:30 IDJOB=3485369 IDBENCH=1959 IDSOLVER=1977 FILE ID=node115/3485369-1307757510 RUNJOBID= node115-1307750177-2389 PBS_JOBID= 13550847 Free space on /tmp= 74076 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485369-1307757510/watcher-3485369-1307757510 -o /tmp/evaluation-result-3485369-1307757510/solver-3485369-1307757510 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485369-1307757510.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3ddf6338b9f9cf35560b94c856457c56 RANDOM SEED=1720477462 node115.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.811 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.62 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.811 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.811 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.811 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.75 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.811 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.77 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.811 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.74 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.811 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.75 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.811 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 26199632 kB Buffers: 248524 kB Cached: 975820 kB SwapCached: 9476 kB Active: 5768772 kB Inactive: 781084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 26199632 kB SwapTotal: 67111528 kB SwapFree: 67056212 kB Dirty: 16716 kB Writeback: 0 kB AnonPages: 5322932 kB Mapped: 15808 kB Slab: 124708 kB PageTables: 15064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 5746720 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= 74096 MiB End job on node115 at 2011-06-11 04:28:27