Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 192 | 1800.09 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb |
| MD5SUM | 7db364152f2aec17f16cb8adef9dc3c7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 190 |
| Best CPU time to get the best result obtained on this benchmark | 1797.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 184 |
| Optimality of the best value was proved | NO |
| Number of variables | 470 |
| Total number of constraints | 469 |
| 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 | 469 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| 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.4]
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-3452646-1307076983.opb>
0.00/0.01 c original problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 469 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 470
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.700000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 23 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 23 chg coeffs, 469 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 61 del conss, 158 add conss, 0 chg bounds, 216 chg sides, 518 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 82 del conss, 168 add conss, 0 chg bounds, 277 chg sides, 616 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.02 c (round 5) 0 del vars, 86 del conss, 170 add conss, 0 chg bounds, 289 chg sides, 636 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 88 del conss, 172 add conss, 0 chg bounds, 294 chg sides, 656 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 89 del conss, 173 add conss, 0 chg bounds, 296 chg sides, 660 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 8) 0 del vars, 89 del conss, 173 add conss, 0 chg bounds, 298 chg sides, 662 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 9) 0 del vars, 89 del conss, 173 add conss, 0 chg bounds, 299 chg sides, 672 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/470 (21.5%) - 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 (10 rounds):
0.00/0.03 c 0 deleted vars, 89 deleted constraints, 173 added constraints, 0 tightened bounds, 0 added holes, 299 changed sides, 672 changed coefficients
0.00/0.03 c 224 implications, 0 cliques
0.00/0.03 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 553 constraints
0.00/0.03 c 442 constraints of type <knapsack>
0.00/0.03 c 111 constraints of type <setppc>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.4
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
1.00/1.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.04 c t 1.0s| 1 | 0 | 10328 | - |2581k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 4.700000e+02 | 212.80%
1.00/1.04 o 339
1.00/1.04 c r 1.0s| 1 | 0 | 10328 | - |2595k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.390000e+02 | 125.62%
1.00/1.04 o 338
1.00/1.04 c R 1.0s| 1 | 0 | 10328 | - |2608k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.380000e+02 | 124.95%
1.00/1.04 o 337
1.00/1.04 c s 1.0s| 1 | 0 | 10328 | - |2621k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.370000e+02 | 124.29%
1.19/1.25 o 222
1.19/1.25 c y 1.2s| 1 | 0 | 10328 | - |2985k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 2.220000e+02 | 47.75%
1.89/1.90 c 1.9s| 1 | 0 | 15106 | - |2917k| 0 | 392 | 470 | 553 | 470 | 766 | 213 | 0 | 0 | 1.561028e+02 | 2.220000e+02 | 42.21%
2.49/2.53 c 2.5s| 1 | 0 | 17936 | - |3151k| 0 | 414 | 470 | 553 | 470 | 939 | 386 | 0 | 0 | 1.593240e+02 | 2.220000e+02 | 39.34%
3.20/3.27 c 3.3s| 1 | 0 | 21241 | - |3345k| 0 | 427 | 470 | 553 | 470 |1072 | 519 | 0 | 0 | 1.612141e+02 | 2.220000e+02 | 37.71%
3.80/3.86 c 3.9s| 1 | 0 | 23023 | - |3470k| 0 | 435 | 470 | 553 | 470 |1168 | 615 | 0 | 0 | 1.622819e+02 | 2.220000e+02 | 36.80%
4.30/4.36 c 4.4s| 1 | 0 | 23788 | - |3539k| 0 | 434 | 470 | 553 | 470 |1227 | 674 | 0 | 0 | 1.628702e+02 | 2.220000e+02 | 36.30%
4.79/4.81 c 4.8s| 1 | 0 | 24208 | - |3569k| 0 | 436 | 470 | 553 | 470 |1257 | 704 | 0 | 0 | 1.630897e+02 | 2.220000e+02 | 36.12%
5.19/5.23 c 5.2s| 1 | 0 | 24514 | - |3587k| 0 | 436 | 470 | 553 | 470 |1276 | 723 | 0 | 0 | 1.631622e+02 | 2.220000e+02 | 36.06%
5.59/5.60 c 5.6s| 1 | 0 | 24637 | - |3600k| 0 | 437 | 470 | 553 | 470 |1284 | 731 | 0 | 0 | 1.631787e+02 | 2.220000e+02 | 36.05%
5.89/5.93 c 5.9s| 1 | 0 | 24692 | - |3608k| 0 | 438 | 470 | 553 | 470 |1287 | 734 | 0 | 0 | 1.631860e+02 | 2.220000e+02 | 36.04%
6.20/6.27 c 6.3s| 1 | 0 | 24740 | - |3615k| 0 | 437 | 470 | 553 | 470 |1288 | 735 | 0 | 0 | 1.631895e+02 | 2.220000e+02 | 36.04%
8.89/8.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.89/8.92 c 8.9s| 1 | 2 | 24740 | - |3635k| 0 | 437 | 470 | 553 | 470 |1288 | 735 | 0 | 16 | 1.631895e+02 | 2.220000e+02 | 36.04%
28.61/28.63 o 221
28.61/28.63 c c28.6s| 15 | 16 | 43095 |1311.1 |4404k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.210000e+02 | 35.31%
28.61/28.63 o 220
28.61/28.63 c c28.6s| 15 | 16 | 43102 |1311.6 |4406k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.200000e+02 | 34.70%
28.61/28.63 o 220
28.61/28.63 c c28.6s| 15 | 16 | 43108 |1312.0 |4408k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.200000e+02 | 34.70%
28.61/28.63 o 218
28.61/28.63 c c28.6s| 15 | 16 | 43125 |1313.2 |4409k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.180000e+02 | 33.47%
28.61/28.63 o 217
28.61/28.63 c c28.6s| 15 | 16 | 43127 |1313.4 |4411k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.170000e+02 | 32.86%
28.61/28.64 o 217
28.61/28.64 c c28.6s| 15 | 16 | 43169 |1316.4 |4415k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.170000e+02 | 32.86%
28.61/28.64 o 215
28.61/28.64 c c28.6s| 15 | 16 | 43181 |1317.2 |4418k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.150000e+02 | 31.64%
28.61/28.65 o 214
28.61/28.65 c c28.7s| 15 | 16 | 43286 |1324.7 |4446k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.140000e+02 | 31.02%
30.19/30.22 o 214
30.19/30.22 c p30.2s| 27 | 28 | 55012 |1164.3 |4530k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.140000e+02 | 30.98%
30.19/30.22 o 213
30.19/30.22 c p30.2s| 27 | 28 | 55015 |1164.4 |4531k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.130000e+02 | 30.37%
30.19/30.22 o 212
30.19/30.22 c p30.2s| 27 | 28 | 55019 |1164.6 |4533k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.120000e+02 | 29.76%
30.19/30.22 o 211
30.19/30.22 c p30.2s| 27 | 28 | 55022 |1164.7 |4536k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.110000e+02 | 29.15%
30.19/30.22 o 210
30.19/30.22 c p30.2s| 27 | 28 | 55023 |1164.7 |4538k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.100000e+02 | 28.54%
30.19/30.22 o 209
30.19/30.22 c p30.2s| 27 | 28 | 55030 |1165.0 |4540k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.090000e+02 | 27.92%
30.19/30.23 o 209
30.19/30.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.19/30.23 c p30.2s| 27 | 28 | 55048 |1165.7 |4545k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.090000e+02 | 27.92%
52.81/52.88 o 208
52.81/52.88 c p52.9s| 124 | 125 |243713 |1780.3 |4676k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 243 | 1.633788e+02 | 2.080000e+02 | 27.31%
52.89/52.93 o 205
52.89/52.93 c b52.9s| 125 | 126 |243953 |1767.8 |4548k| 26 | 388 | 470 | 553 | 470 | 930 | 735 | 0 | 243 | 1.633788e+02 | 2.050000e+02 | 25.48%
58.09/58.20 o 205
58.09/58.20 c l58.2s| 163 | 164 |277836 |1562.3 |4721k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 265 | 1.634119e+02 | 2.050000e+02 | 25.45%
58.09/58.20 o 204
58.09/58.20 c l58.2s| 163 | 164 |277837 |1562.3 |4722k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 265 | 1.634119e+02 | 2.040000e+02 | 24.84%
58.09/58.20 o 203
58.09/58.20 c l58.2s| 163 | 164 |277838 |1562.3 |4723k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 265 | 1.634119e+02 | 2.030000e+02 | 24.23%
58.09/58.20 o 202
58.09/58.20 c l58.2s| 163 | 164 |277846 |1562.4 |4726k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 265 | 1.634119e+02 | 2.020000e+02 | 23.61%
58.09/58.21 o 201
58.09/58.21 c l58.2s| 163 | 164 |277856 |1562.4 |4728k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 265 | 1.634119e+02 | 2.010000e+02 | 23.00%
68.22/68.25 o 200
68.22/68.25 c p68.3s| 221 | 222 |352415 |1489.4 |4770k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 285 | 1.634119e+02 | 2.000000e+02 | 22.39%
113.60/113.63 o 199
113.60/113.63 c p 114s| 335 | 336 |695915 |2009.5 |4835k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 348 | 1.636013e+02 | 1.990000e+02 | 21.64%
113.60/113.64 o 198
113.60/113.64 c p 114s| 335 | 336 |695983 |2009.7 |4849k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 348 | 1.636013e+02 | 1.980000e+02 | 21.03%
113.60/113.64 o 197
113.60/113.64 c p 114s| 335 | 336 |695990 |2009.7 |4850k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 348 | 1.636013e+02 | 1.970000e+02 | 20.41%
121.02/121.02 o 197
121.02/121.02 c p 121s| 353 | 354 |752402 |2067.2 |4859k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 357 | 1.637272e+02 | 1.970000e+02 | 20.32%
175.50/175.59 o 194
175.50/175.59 c C 176s| 553 | 554 | 1164k|2065.4 |4822k| 29 | 370 | 470 | 553 | 470 | 930 | 735 | 0 | 435 | 1.637726e+02 | 1.940000e+02 | 18.46%
175.50/175.59 o 193
175.50/175.59 c b 176s| 553 | 554 | 1164k|2065.4 |4829k| 29 | 370 | 470 | 553 | 470 | 930 | 735 | 0 | 435 | 1.637726e+02 | 1.930000e+02 | 17.85%
246.31/246.36 o 192
246.31/246.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.31/246.36 c p 246s| 974 | 975 | 1697k|1719.6 |5223k| 29 | - | 470 | 553 | 470 | 930 | 735 | 0 | 540 | 1.639241e+02 | 1.920000e+02 | 17.13%
1042.93/1042.92 c 1043s| 10000 | 10001 | 7634k| 761.0 | 11M| 97 | 370 | 470 | 561 | 470 | 930 | 735 | 8 |1899 | 1.647159e+02 | 1.920000e+02 | 16.56%
1757.66/1757.66 c 1758s| 20000 | 20001 | 13004k| 649.0 | 18M| 97 | 381 | 470 | 588 | 470 | 930 | 735 | 35 |2766 | 1.649284e+02 | 1.920000e+02 | 16.41%
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.00 c Solving Time (sec) : 1800.00
1800.06/1800.00 c Solving Nodes : 20645
1800.06/1800.00 c Primal Bound : +1.92000000000000e+02 (845 solutions)
1800.06/1800.00 c Dual Bound : +1.64938450428265e+02
1800.06/1800.00 c Gap : 16.41 %
1800.06/1800.00 s SATISFIABLE
1800.06/1800.00 v -x470 -x469 -x468 x467 x466 -x465 -x464 x463 x462 -x461 -x460 x459 -x458 -x457 x456 -x455 -x454 -x453 x452 x451 x450 x449 -x448
1800.06/1800.00 v -x447 -x446 -x445 x444 x443 x442 -x441 -x440 -x439 x438 x437 -x436 x435 -x434 x433 x432 x431 -x430 -x429 -x428 x427 -x426 -x425
1800.06/1800.00 v -x424 x423 x422 -x421 x420 x419 -x418 x417 -x416 -x415 x414 x413 -x412 -x411 x410 x409 -x408 -x407 x406 -x405 -x404 -x403
1800.06/1800.00 v x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 x392 x391 -x390 -x389 x388 -x387 x386 -x385 x384 -x383 -x382 -x381
1800.06/1800.00 v -x380 x379 x378 x377 -x376 x375 -x374 x373 -x372 x371 x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 x362 x361 -x360 -x359 x358
1800.06/1800.00 v -x357 x356 x355 x354 -x353 x352 x351 -x350 -x349 -x348 x347 -x346 x345 -x344 -x343 x342 -x341 x340 x339 -x338 -x337 -x336
1800.06/1800.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
1800.06/1800.00 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 x302 x301 x300 -x299 -x298 x297 -x296 -x295 x294 -x293 x292 -x291
1800.06/1800.00 v -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270
1800.06/1800.00 v -x269 x268 x267 -x266 -x265 x264 -x263 -x262 -x261 x260 -x259 x258 x257 -x256 x255 -x254 -x253 x252 x251 -x250 -x249 -x248
1800.06/1800.00 v -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 x227 -x226
1800.06/1800.00 v -x225 x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204
1800.06/1800.00 v x203 x202 x201 -x200 x199 x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189 x188 x187 -x186 -x185 -x184 x183 -x182
1800.06/1800.00 v -x181 -x180 -x179 -x178 -x177 x176 x175 -x174 -x173 x172 x171 -x170 x169 -x168 x167 -x166 -x165 x164 x163 -x162 x161 -x160 x159
1800.06/1800.00 v -x158 x157 -x156 x155 -x154 x153 x152 x151 -x150 -x149 x148 -x147 x146 x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137
1800.06/1800.00 v -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 x128 -x127 x126 -x125 x124 -x123 x122 x121 -x120 x119 x118 x117 -x116 x115 x114
1800.06/1800.00 v x113 x112 x111 x110 -x109 x108 x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 x93 -x92 -x91 -x90
1800.06/1800.00 v x89 -x88 x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 x76 -x75 x74 x73 x72 -x71 x70 x69 x68 x67 -x66 x65 -x64 x63 x62
1800.06/1800.00 v -x61 -x60 x59 -x58 -x57 x56 x55 -x54 x53 x52 x51 x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 x42 -x41 x40 x39 -x38 -x37 x36 x35 -x34
1800.06/1800.00 v -x33 -x32 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
1800.06/1800.00 v -x5 x4 x3 x2 x1
1800.06/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.00 c Total Time : 1800.00
1800.06/1800.00 c solving : 1800.00
1800.06/1800.00 c presolving : 0.02 (included in solving)
1800.06/1800.00 c reading : 0.01 (included in solving)
1800.06/1800.00 c Original Problem :
1800.06/1800.00 c Problem name : HOME/instance-3452646-1307076983.opb
1800.06/1800.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.00 c Constraints : 469 initial, 469 maximal
1800.06/1800.00 c Presolved Problem :
1800.06/1800.00 c Problem name : t_HOME/instance-3452646-1307076983.opb
1800.06/1800.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.00 c Constraints : 553 initial, 588 maximal
1800.06/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.06/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c knapsack : 0.01 0 0 0 0 0 26 173 299 649
1800.06/1800.00 c setppc : 0.00 0 0 0 0 0 63 0 0 0
1800.06/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 23
1800.06/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c root node : - 0 - - 0 - - - - -
1800.06/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c integral : 0 0 0 20644 0 850 0 0 0 0 0 41288
1800.06/1800.00 c knapsack : 442 11 226698 0 1 845 0 0 4932 748 0 0
1800.06/1800.00 c setppc : 111 11 226698 0 1 844 0 0 2827 0 0 0
1800.06/1800.00 c logicor : 0+ 0 5373 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c countsols : 0 0 0 0 1 848 0 0 0 0 0 0
1800.06/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.06/1800.00 c integral : 110.26 0.00 0.00 110.26 0.00 0.00 0.00
1800.06/1800.00 c knapsack : 1.76 0.03 1.71 0.00 0.00 0.01 0.00
1800.06/1800.00 c setppc : 0.30 0.00 0.30 0.00 0.00 0.00 0.00
1800.06/1800.00 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.06/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.06/1800.00 c vbounds : 0 0 0 0
1800.06/1800.00 c rootredcost : 23 0 0 0
1800.06/1800.00 c pseudoobj : 228511 0 0 0
1800.06/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.06/1800.00 c vbounds : 0.04 0.04 0.00
1800.06/1800.00 c rootredcost : 0.04 0.04 0.00
1800.06/1800.00 c pseudoobj : 1.66 1.66 0.00
1800.06/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.00 c infeasible LP : 0.00 35 35 35 4.2 0 0.0 0
1800.06/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.00 c applied globally : - - - 35 4.2 - - -
1800.06/1800.00 c applied locally : - - - 0 0.0 - - -
1800.06/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.00 c cut pool : 0.00 10 - - 248 - (maximal pool size: 1330)
1800.06/1800.00 c redcost : 0.14 20654 0 0 0 0
1800.06/1800.00 c impliedbounds : 0.00 11 0 0 0 0
1800.06/1800.00 c intobj : 0.00 0 0 0 0 0
1800.06/1800.00 c gomory : 1.46 11 0 0 1 0
1800.06/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.06/1800.00 c strongcg : 1.35 11 0 0 1 0
1800.06/1800.00 c cmir : 0.20 10 0 0 774 0
1800.06/1800.00 c flowcover : 0.27 10 0 0 929 0
1800.06/1800.00 c clique : 0.00 1 0 0 0 0
1800.06/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.00 c mcf : 0.00 1 0 0 0 0
1800.06/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.06/1800.00 c rapidlearning : 0.06 1 0 0 0 0
1800.06/1800.00 c Pricers : Time Calls Vars
1800.06/1800.00 c problem variables: 0.00 0 0
1800.06/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c relpscost : 110.25 20644 0 0 0 0 41288
1800.06/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.06/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c random : 0.00 0 0 0 0 0 0
1800.06/1800.00 c Primal Heuristics : Time Calls Found
1800.06/1800.00 c LP solutions : 0.00 - 0
1800.06/1800.00 c pseudo solutions : 0.00 - 0
1800.06/1800.00 c oneopt : 0.01 12 2
1800.06/1800.00 c guideddiving : 46.19 40 0
1800.06/1800.00 c veclendiving : 71.93 85 88
1800.06/1800.00 c linesearchdiving : 156.15 215 87
1800.06/1800.00 c pscostdiving : 257.22 312 345
1800.06/1800.00 c trivial : 0.00 2 1
1800.06/1800.00 c shiftandpropagate: 0.00 0 0
1800.06/1800.00 c simplerounding : 0.64 20654 25
1800.06/1800.00 c zirounding : 0.46 1301 26
1800.06/1800.00 c rounding : 17.20 6443 1
1800.06/1800.00 c shifting : 4.50 1635 1
1800.06/1800.00 c intshifting : 0.00 0 0
1800.06/1800.00 c twoopt : 0.00 0 0
1800.06/1800.00 c fixandinfer : 0.00 0 0
1800.06/1800.00 c feaspump : 0.00 0 0
1800.06/1800.00 c clique : 0.00 0 0
1800.06/1800.00 c coefdiving : 209.73 167 175
1800.06/1800.00 c fracdiving : 46.49 39 0
1800.06/1800.00 c intdiving : 0.00 0 0
1800.06/1800.00 c actconsdiving : 0.00 0 0
1800.06/1800.00 c objpscostdiving : 33.28 4 92
1800.06/1800.00 c rootsoldiving : 12.05 12 0
1800.06/1800.00 c octane : 0.00 0 0
1800.06/1800.00 c rens : 0.00 0 0
1800.06/1800.00 c rins : 0.00 0 0
1800.06/1800.00 c localbranching : 0.00 0 0
1800.06/1800.00 c mutation : 0.00 0 0
1800.06/1800.00 c crossover : 0.54 1 1
1800.06/1800.00 c dins : 0.00 0 0
1800.06/1800.00 c vbounds : 0.00 0 0
1800.06/1800.00 c undercover : 0.00 0 0
1800.06/1800.00 c subnlp : 0.00 0 0
1800.06/1800.00 c trysol : 0.00 0 0
1800.06/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.00 c dual LP : 825.61 20655 6188375 299.61 7495.48
1800.06/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.00 c diving/probing LP: 806.81 139292 7122628 51.13 8828.17
1800.06/1800.00 c strong branching : 108.64 2838 746995 263.21 6875.85
1800.06/1800.00 c (at root node) : - 16 15139 946.19 -
1800.06/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.00 c B&B Tree :
1800.06/1800.00 c number of runs : 1
1800.06/1800.00 c nodes : 20645
1800.06/1800.00 c nodes (total) : 20645
1800.06/1800.00 c nodes left : 20646
1800.06/1800.00 c max depth : 97
1800.06/1800.00 c max depth (total): 97
1800.06/1800.00 c backtracks : 2254 (10.9%)
1800.06/1800.00 c delayed cutoffs : 0
1800.06/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.06/1800.00 c avg switch length: 3.77
1800.06/1800.00 c switching time : 0.59
1800.06/1800.00 c Solution :
1800.06/1800.00 c Solutions found : 845 (35 improvements)
1800.06/1800.00 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.06/1800.00 c Primal Bound : +1.92000000000000e+02 (in run 1, after 974 nodes, 246.36 seconds, depth 209, found by <pscostdiving>)
1800.06/1800.00 c Dual Bound : +1.64938450428265e+02
1800.06/1800.00 c Gap : 16.41 %
1800.06/1800.00 c Root Dual Bound : +1.63189540168253e+02
1800.06/1800.00 c Root Iterations : 24740
OK 192
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452646-1307076983/watcher-3452646-1307076983 -o /tmp/evaluation-result-3452646-1307076983/solver-3452646-1307076983 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452646-1307076983.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.04 2.00 2/481 5854 /proc/meminfo: memFree=27429952/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=12908 CPUtime=0.01 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 1943 0 0 0 1 0 0 0 25 0 1 0 819298009 13217792 1895 33554432000 4194304 9128323 140733466510080 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 3227 1908 429 1205 0 2018 0 [startup+0.0710579 s] /proc/loadavg: 2.06 2.04 2.00 2/481 5854 /proc/meminfo: memFree=27429952/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=21008 CPUtime=0.06 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 4426 0 0 0 6 0 0 0 25 0 1 0 819298009 21512192 4114 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 5252 4114 641 1205 0 4043 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 21008 [startup+0.101052 s] /proc/loadavg: 2.06 2.04 2.00 2/481 5854 /proc/meminfo: memFree=27429952/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=21008 CPUtime=0.09 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 4427 0 0 0 9 0 0 0 25 0 1 0 819298009 21512192 4115 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 5252 4115 641 1205 0 4043 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21008 [startup+0.301013 s] /proc/loadavg: 2.06 2.04 2.00 2/481 5854 /proc/meminfo: memFree=27429952/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=21256 CPUtime=0.29 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 4504 0 0 0 28 1 0 0 25 0 1 0 819298009 21766144 4192 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 5314 4192 642 1205 0 4105 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21256 [startup+0.700937 s] /proc/loadavg: 2.06 2.04 2.00 2/481 5854 /proc/meminfo: memFree=27429952/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=21536 CPUtime=0.69 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 4562 0 0 0 67 2 0 0 25 0 1 0 819298009 22052864 4250 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 5384 4250 642 1205 0 4175 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21536 [startup+1.50078 s] /proc/loadavg: 2.06 2.04 2.00 3/482 5855 /proc/meminfo: memFree=27413996/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=22972 CPUtime=1.49 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 7790 0 0 0 144 5 0 0 25 0 1 0 819298009 23523328 4763 33554432000 4194304 9128323 140733466510080 18446744073709551615 7325058 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 5743 4763 723 1205 0 4534 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22972 [startup+3.10048 s] /proc/loadavg: 2.06 2.04 2.00 3/482 5855 /proc/meminfo: memFree=27411392/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=24496 CPUtime=3.09 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 8139 0 0 0 301 8 0 0 25 0 1 0 819298009 25083904 5112 33554432000 4194304 9128323 140733466510080 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6124 5112 724 1205 0 4915 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24496 [startup+6.30093 s] /proc/loadavg: 2.05 2.04 2.00 3/482 5855 /proc/meminfo: memFree=27408800/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=25632 CPUtime=6.3 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 8389 0 0 0 618 12 0 0 25 0 1 0 819298009 26247168 5362 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6408 5362 724 1205 0 5199 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 25632 [startup+12.7006 s] /proc/loadavg: 2.05 2.04 2.00 3/482 5856 /proc/meminfo: memFree=27408472/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=25400 CPUtime=12.7 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 9195 0 0 0 1245 25 0 0 25 0 1 0 819298009 26009600 5324 33554432000 4194304 9128323 140733466510080 18446744073709551615 7312772 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6350 5324 730 1205 0 5141 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 25400 [startup+25.5002 s] /proc/loadavg: 2.04 2.04 2.00 3/482 5856 /proc/meminfo: memFree=27409084/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=25400 CPUtime=25.49 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 9196 0 0 0 2498 51 0 0 25 0 1 0 819298009 26009600 5325 33554432000 4194304 9128323 140733466510080 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6350 5325 731 1205 0 5141 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25400 [startup+51.1003 s] /proc/loadavg: 2.02 2.03 2.00 3/482 5857 /proc/meminfo: memFree=27408576/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=26040 CPUtime=51.1 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 9345 0 0 0 4997 113 0 0 25 0 1 0 819298009 26664960 5474 33554432000 4194304 9128323 140733466510080 18446744073709551615 7216593 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6510 5474 733 1205 0 5301 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 26040 [startup+102.318 s] /proc/loadavg: 2.01 2.02 2.00 3/482 5858 /proc/meminfo: memFree=27406944/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=26432 CPUtime=102.31 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 9453 0 0 0 9995 236 0 0 25 0 1 0 819298009 27066368 5582 33554432000 4194304 9128323 140733466510080 18446744073709551615 7361805 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6608 5582 733 1205 0 5399 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 26432 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 5860 /proc/meminfo: memFree=27407152/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=26432 CPUtime=162.3 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 9453 0 0 0 15845 385 0 0 25 0 1 0 819298009 27066368 5582 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6608 5582 733 1205 0 5399 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 26432 [startup+222.301 s] /proc/loadavg: 2.15 2.05 2.01 3/482 5861 /proc/meminfo: memFree=27407236/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=26488 CPUtime=222.3 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 12620 0 0 0 21690 540 0 0 25 0 1 0 819298009 27123712 5600 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6622 5600 739 1205 0 5413 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 26488 [startup+282.3 s] /proc/loadavg: 2.21 2.07 2.02 3/482 5872 /proc/meminfo: memFree=27405580/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=27572 CPUtime=282.3 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 12911 0 0 0 27539 691 0 0 25 0 1 0 819298009 28233728 5891 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6893 5891 739 1205 0 5684 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 27572 [startup+342.301 s] /proc/loadavg: 2.15 2.07 2.01 3/482 5873 /proc/meminfo: memFree=27405064/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=27904 CPUtime=342.3 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 12987 0 0 0 33394 836 0 0 25 0 1 0 819298009 28573696 5967 33554432000 4194304 9128323 140733466510080 18446744073709551615 7357564 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 6976 5967 739 1205 0 5767 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 27904 [startup+402.3 s] /proc/loadavg: 2.05 2.05 2.01 3/482 5875 /proc/meminfo: memFree=27404392/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=28508 CPUtime=402.31 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 13139 0 0 0 39255 976 0 0 25 0 1 0 819298009 29192192 6119 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 7127 6119 739 1205 0 5918 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 28508 [startup+462.301 s] /proc/loadavg: 2.02 2.04 2.00 3/482 5879 /proc/meminfo: memFree=27404108/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=28932 CPUtime=462.31 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 13273 0 0 0 45121 1110 0 0 25 0 1 0 819298009 29626368 6253 33554432000 4194304 9128323 140733466510080 18446744073709551615 7343216 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 7233 6253 739 1205 0 6024 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 28932 [startup+522.301 s] /proc/loadavg: 2.00 2.03 2.00 3/482 5881 /proc/meminfo: memFree=27403220/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=29212 CPUtime=522.31 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 13334 0 0 0 50982 1249 0 0 25 0 1 0 819298009 29913088 6314 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 7303 6314 739 1205 0 6094 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 29212 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 5883 /proc/meminfo: memFree=27401200/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=31004 CPUtime=582.31 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 13763 0 0 0 56835 1396 0 0 25 0 1 0 819298009 31748096 6743 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 7751 6743 739 1205 0 6542 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 31004 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.07 2.04 2.01 3/482 5889 /proc/meminfo: memFree=27397632/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=32752 CPUtime=822.33 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 14198 0 0 0 80255 1978 0 0 25 0 1 0 819298009 33538048 7178 33554432000 4194304 9128323 140733466510080 18446744073709551615 7286084 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 8188 7178 739 1205 0 6979 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 32752 [startup+882.301 s] /proc/loadavg: 2.06 2.04 2.01 3/482 5891 /proc/meminfo: memFree=27398096/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=32752 CPUtime=882.33 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 14199 0 0 0 86117 2116 0 0 25 0 1 0 819298009 33538048 7179 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 8188 7179 739 1205 0 6979 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 32752 [startup+942.3 s] /proc/loadavg: 2.02 2.03 2.00 3/482 5892 /proc/meminfo: memFree=27398320/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=32752 CPUtime=942.33 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 14223 0 0 0 91975 2258 0 0 25 0 1 0 819298009 33538048 7203 33554432000 4194304 9128323 140733466510080 18446744073709551615 7286104 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 8188 7203 741 1205 0 6979 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 32752 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 5894 /proc/meminfo: memFree=27395808/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=34812 CPUtime=1002.34 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 14761 0 0 0 97830 2404 0 0 25 0 1 0 819298009 35647488 7741 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 8703 7741 741 1205 0 7494 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 34812 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 5896 /proc/meminfo: memFree=27394416/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=35108 CPUtime=1062.33 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 14808 0 0 0 103685 2548 0 0 25 0 1 0 819298009 35950592 7788 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 8777 7788 741 1205 0 7568 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 35108 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 5897 /proc/meminfo: memFree=27394140/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=35508 CPUtime=1122.33 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 14922 0 0 0 109548 2685 0 0 25 0 1 0 819298009 36360192 7902 33554432000 4194304 9128323 140733466510080 18446744073709551615 7286104 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 8877 7902 741 1205 0 7668 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 35508 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 5899 /proc/meminfo: memFree=27392872/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=35872 CPUtime=1182.34 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 14997 0 0 0 115410 2824 0 0 25 0 1 0 819298009 36732928 7977 33554432000 4194304 9128323 140733466510080 18446744073709551615 4347120 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 8968 7977 741 1205 0 7759 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 35872 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 5900 /proc/meminfo: memFree=27392344/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=35872 CPUtime=1242.34 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 15001 0 0 0 121266 2968 0 0 25 0 1 0 819298009 36732928 7981 33554432000 4194304 9128323 140733466510080 18446744073709551615 7357910 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 8968 7981 741 1205 0 7759 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 35872 [startup+1302.3 s] /proc/loadavg: 2.10 2.03 2.01 3/482 5902 /proc/meminfo: memFree=27389952/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=36732 CPUtime=1302.35 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 15234 0 0 0 127125 3110 0 0 25 0 1 0 819298009 37613568 8214 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 9183 8214 741 1205 0 7974 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 36732 [startup+1362.3 s] /proc/loadavg: 2.16 2.06 2.01 3/482 5904 /proc/meminfo: memFree=27388444/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=37924 CPUtime=1362.35 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 15549 0 0 0 132977 3258 0 0 25 0 1 0 819298009 38834176 8529 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 9481 8529 741 1205 0 8272 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 37924 [startup+1422.32 s] /proc/loadavg: 2.11 2.06 2.01 3/482 5905 /proc/meminfo: memFree=27388288/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=38196 CPUtime=1422.37 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 15615 0 0 0 138839 3398 0 0 25 0 1 0 819298009 39112704 8595 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 9549 8595 741 1205 0 8340 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 38196 [startup+1482.3 s] /proc/loadavg: 2.04 2.05 2.01 3/482 5907 /proc/meminfo: memFree=27387520/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=38496 CPUtime=1482.35 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 15706 0 0 0 144689 3546 0 0 25 0 1 0 819298009 39419904 8686 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 9624 8686 741 1205 0 8415 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 38496 [startup+1542.3 s] /proc/loadavg: 2.01 2.03 2.00 3/482 5908 /proc/meminfo: memFree=27387872/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=38496 CPUtime=1542.35 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 15710 0 0 0 150554 3681 0 0 25 0 1 0 819298009 39419904 8690 33554432000 4194304 9128323 140733466510080 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 9624 8690 741 1205 0 8415 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 38496 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.00 3/482 5910 /proc/meminfo: memFree=27386612/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=39288 CPUtime=1602.35 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 15889 0 0 0 156409 3826 0 0 25 0 1 0 819298009 40230912 8869 33554432000 4194304 9128323 140733466510080 18446744073709551615 7286080 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 9822 8869 741 1205 0 8613 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 39288 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 5912 /proc/meminfo: memFree=27383116/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=41084 CPUtime=1662.35 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 16356 0 0 0 162263 3972 0 0 25 0 1 0 819298009 42070016 9336 33554432000 4194304 9128323 140733466510080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 10271 9336 741 1205 0 9062 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 41084 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 4/482 5940 /proc/meminfo: memFree=25957584/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=41256 CPUtime=1722.36 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 16398 0 0 0 168101 4135 0 0 25 0 1 0 819298009 42246144 9378 33554432000 4194304 9128323 140733466510080 18446744073709551615 6505895 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 10314 9378 741 1205 0 9105 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 41256 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 4/482 5942 /proc/meminfo: memFree=25955416/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=41636 CPUtime=1782.36 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 16491 0 0 0 173913 4323 0 0 25 0 1 0 819298009 42635264 9471 33554432000 4194304 9128323 140733466510080 18446744073709551615 7286023 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/5854/statm: 10409 9471 741 1205 0 9200 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 41636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/482 5942 /proc/meminfo: memFree=25955404/32950928 swapFree=39617324/67111528 [pid=5854] ppid=5852 vsize=41772 CPUtime=1800.07 cores=1,3,5,7 /proc/5854/stat : 5854 (scip-2.0.1.4.li) R 5852 5854 4028 0 -1 4202496 16537 0 0 0 175628 4379 0 0 25 0 1 0 819298009 42774528 9517 33554432000 4194304 9128323 140733466510080 18446744073709551615 4806706 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5854/statm: 10443 9517 743 1205 0 9234 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 41772 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.09 CPU user time (s): 1756.29 CPU system time (s): 43.7983 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 41772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1756.29 system time used= 43.7983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16537 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= 7 involuntary context switches= 2592 runsolver used 8.41472 second user time and 19.2861 second system time The end
Begin job on node127 at 2011-06-03 06:56:23 IDJOB=3452646 IDBENCH=1958 IDSOLVER=1949 FILE ID=node127/3452646-1307076983 RUNJOBID= node127-1307068821-5047 PBS_JOBID= 13497859 Free space on /tmp= 73932 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452646-1307076983/watcher-3452646-1307076983 -o /tmp/evaluation-result-3452646-1307076983/solver-3452646-1307076983 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452646-1307076983.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7 RANDOM SEED=265870013 node127.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.823 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.64 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.74 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.823 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.86 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.823 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.75 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.60 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 27430240 kB Buffers: 311880 kB Cached: 891376 kB SwapCached: 59160 kB Active: 3231956 kB Inactive: 2001208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27430240 kB SwapTotal: 67111528 kB SwapFree: 39617324 kB Dirty: 12060 kB Writeback: 4 kB AnonPages: 3977952 kB Mapped: 25028 kB Slab: 122344 kB PageTables: 95160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 119766780 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= 73900 MiB End job on node127 at 2011-06-03 07:26:25