Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | 190 | 1797.07 | 1797.04 |
| 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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488906-1307761341.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.02/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.02/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.02/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.02/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.02/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.02/0.03 c (0.0s) probing: 101/470 (21.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.03 c presolving (10 rounds):
0.02/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.02/0.03 c 224 implications, 0 cliques
0.02/0.03 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 553 constraints
0.02/0.03 c 442 constraints of type <knapsack>
0.02/0.03 c 111 constraints of type <setppc>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.02
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 2.0.1.5
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1797
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 13950
0.02/0.03 c
0.02/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.03 c # [type: int, range: [1,2], default: 1]
0.02/0.03 c timing/clocktype = 2
0.02/0.03 c
0.02/0.03 c # belongs reading time to solving time?
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c timing/reading = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/indicator/addCouplingCons = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
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 | - |2615k| 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 | - |2628k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.390000e+02 | 125.62%
1.00/1.05 o 338
1.00/1.05 c R 1.0s| 1 | 0 | 10328 | - |2641k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.380000e+02 | 124.95%
1.00/1.05 o 337
1.00/1.05 c s 1.0s| 1 | 0 | 10328 | - |2655k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.370000e+02 | 124.29%
1.19/1.27 o 222
1.19/1.27 c y 1.3s| 1 | 0 | 10328 | - |3018k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 2.220000e+02 | 47.75%
1.89/1.91 c 1.9s| 1 | 0 | 15106 | - |2950k| 0 | 392 | 470 | 553 | 470 | 766 | 213 | 0 | 0 | 1.561028e+02 | 2.220000e+02 | 42.21%
2.49/2.55 c 2.5s| 1 | 0 | 17936 | - |3184k| 0 | 414 | 470 | 553 | 470 | 939 | 386 | 0 | 0 | 1.593240e+02 | 2.220000e+02 | 39.34%
3.20/3.29 c 3.3s| 1 | 0 | 21241 | - |3377k| 0 | 427 | 470 | 553 | 470 |1072 | 519 | 0 | 0 | 1.612141e+02 | 2.220000e+02 | 37.71%
3.79/3.89 c 3.9s| 1 | 0 | 23023 | - |3503k| 0 | 435 | 470 | 553 | 470 |1168 | 615 | 0 | 0 | 1.622819e+02 | 2.220000e+02 | 36.80%
4.29/4.39 c 4.4s| 1 | 0 | 23788 | - |3572k| 0 | 434 | 470 | 553 | 470 |1227 | 674 | 0 | 0 | 1.628702e+02 | 2.220000e+02 | 36.30%
4.79/4.85 c 4.8s| 1 | 0 | 24208 | - |3602k| 0 | 436 | 470 | 553 | 470 |1257 | 704 | 0 | 0 | 1.630897e+02 | 2.220000e+02 | 36.12%
5.19/5.28 c 5.3s| 1 | 0 | 24514 | - |3619k| 0 | 436 | 470 | 553 | 470 |1276 | 723 | 0 | 0 | 1.631622e+02 | 2.220000e+02 | 36.06%
5.59/5.66 c 5.7s| 1 | 0 | 24637 | - |3633k| 0 | 437 | 470 | 553 | 470 |1284 | 731 | 0 | 0 | 1.631787e+02 | 2.220000e+02 | 36.05%
5.99/6.00 c 6.0s| 1 | 0 | 24692 | - |3641k| 0 | 438 | 470 | 553 | 470 |1287 | 734 | 0 | 0 | 1.631860e+02 | 2.220000e+02 | 36.04%
6.29/6.33 c 6.3s| 1 | 0 | 24740 | - |3647k| 0 | 437 | 470 | 553 | 470 |1288 | 735 | 0 | 0 | 1.631895e+02 | 2.220000e+02 | 36.04%
8.99/9.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.99/9.00 c 9.0s| 1 | 2 | 24740 | - |3668k| 0 | 437 | 470 | 553 | 470 |1288 | 735 | 0 | 16 | 1.631895e+02 | 2.220000e+02 | 36.04%
28.69/28.75 o 221
28.69/28.75 c c28.8s| 15 | 16 | 43095 |1311.1 |4437k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.210000e+02 | 35.31%
28.69/28.76 o 220
28.69/28.76 c c28.8s| 15 | 16 | 43102 |1311.6 |4439k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.200000e+02 | 34.70%
28.69/28.76 o 220
28.69/28.76 c c28.8s| 15 | 16 | 43108 |1312.0 |4440k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.200000e+02 | 34.70%
28.69/28.76 o 218
28.69/28.76 c c28.8s| 15 | 16 | 43125 |1313.2 |4441k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.180000e+02 | 33.47%
28.69/28.76 o 217
28.69/28.76 c c28.8s| 15 | 16 | 43127 |1313.4 |4444k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.170000e+02 | 32.86%
28.69/28.76 o 217
28.69/28.76 c c28.8s| 15 | 16 | 43169 |1316.4 |4448k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.170000e+02 | 32.86%
28.69/28.76 o 215
28.69/28.76 c c28.8s| 15 | 16 | 43181 |1317.2 |4450k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.150000e+02 | 31.64%
28.69/28.78 o 214
28.69/28.78 c c28.8s| 15 | 16 | 43286 |1324.7 |4479k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.140000e+02 | 31.02%
30.29/30.35 o 214
30.29/30.35 c p30.4s| 27 | 28 | 55012 |1164.3 |4563k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.140000e+02 | 30.98%
30.29/30.35 o 213
30.29/30.35 c p30.4s| 27 | 28 | 55015 |1164.4 |4564k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.130000e+02 | 30.37%
30.29/30.35 o 212
30.29/30.35 c p30.4s| 27 | 28 | 55019 |1164.6 |4566k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.120000e+02 | 29.76%
30.29/30.36 o 211
30.29/30.36 c p30.4s| 27 | 28 | 55022 |1164.7 |4569k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.110000e+02 | 29.15%
30.29/30.36 o 210
30.29/30.36 c p30.4s| 27 | 28 | 55023 |1164.7 |4570k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.100000e+02 | 28.54%
30.29/30.36 o 209
30.29/30.36 c p30.4s| 27 | 28 | 55030 |1165.0 |4572k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.090000e+02 | 27.92%
30.29/30.36 o 209
30.29/30.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.29/30.36 c p30.4s| 27 | 28 | 55048 |1165.7 |4578k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.090000e+02 | 27.92%
34.59/34.69 o 208
34.59/34.69 c v34.7s| 51 | 52 | 81057 |1126.3 |4604k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 232 | 1.633788e+02 | 2.080000e+02 | 27.31%
34.59/34.69 o 208
34.59/34.69 c v34.7s| 51 | 52 | 81085 |1126.9 |4608k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 232 | 1.633788e+02 | 2.080000e+02 | 27.31%
34.59/34.69 o 208
34.59/34.69 c v34.7s| 51 | 52 | 81105 |1127.3 |4612k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 232 | 1.633788e+02 | 2.080000e+02 | 27.31%
34.69/34.70 o 202
34.69/34.70 c b34.7s| 51 | 52 | 81116 |1127.5 |4482k| 14 | 383 | 470 | 553 | 470 | 930 | 735 | 0 | 232 | 1.633788e+02 | 2.020000e+02 | 23.64%
71.89/71.93 o 201
71.89/71.93 c v71.9s| 210 | 211 |381594 |1707.4 |4764k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 287 | 1.634119e+02 | 2.010000e+02 | 23.00%
71.89/71.98 o 197
71.89/71.98 c b72.0s| 211 | 212 |381863 |1700.6 |4649k| 26 | 414 | 470 | 553 | 470 | 930 | 735 | 0 | 287 | 1.635183e+02 | 1.970000e+02 | 20.48%
73.09/73.17 o 196
73.09/73.17 c p73.2s| 213 | 214 |391143 |1728.3 |4798k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 287 | 1.635183e+02 | 1.960000e+02 | 19.86%
73.09/73.17 o 195
73.09/73.17 c p73.2s| 213 | 214 |391144 |1728.3 |4799k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 287 | 1.635183e+02 | 1.950000e+02 | 19.25%
294.29/294.30 o 193
294.29/294.30 c C 294s| 3325 | 2320 | 2101k| 624.7 |6113k| 136 | 79 | 470 | 556 | 470 | 930 | 735 | 3 | 649 | 1.640445e+02 | 1.930000e+02 | 17.65%
294.29/294.31 o 192
294.29/294.31 c b 294s| 3326 | 2111 | 2101k| 624.5 |5960k| 136 | 83 | 470 | 556 | 470 | 930 | 735 | 3 | 649 | 1.640445e+02 | 1.920000e+02 | 17.04%
366.39/366.41 o 191
366.39/366.41 c C 366s| 5870 | 2863 | 2667k| 450.2 |6518k| 136 | - | 470 | 556 | 470 | 930 | 735 | 3 | 794 | 1.641580e+02 | 1.910000e+02 | 16.35%
366.39/366.46 o 190
366.39/366.46 c b 366s| 5871 | 2582 | 2667k| 450.2 |6278k| 136 | 386 | 470 | 556 | 470 | 930 | 735 | 3 | 794 | 1.641598e+02 | 1.900000e+02 | 15.74%
481.40/481.50 c 481s| 10000 | 3889 | 3638k| 361.4 |7372k| 136 | 133 | 470 | 556 | 470 | 930 | 735 | 3 | 869 | 1.642607e+02 | 1.900000e+02 | 15.67%
768.50/768.51 c 769s| 20000 | 6895 | 5945k| 296.0 |9737k| 136 | - | 470 | 560 | 470 | 930 | 735 | 8 |1426 | 1.644516e+02 | 1.900000e+02 | 15.54%
1045.31/1045.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.31/1045.37 c 1045s| 30000 | 10049 | 8184k| 272.0 | 12M| 136 | - | 470 | 564 | 470 | 930 | 735 | 13 |1877 | 1.645795e+02 | 1.900000e+02 | 15.45%
1289.81/1289.81 c 1290s| 40000 | 12761 | 10168k| 253.6 | 14M| 136 | - | 470 | 560 | 470 | 930 | 735 | 13 |2235 | 1.646660e+02 | 1.900000e+02 | 15.39%
1530.02/1530.03 c 1530s| 50000 | 15957 | 12150k| 242.5 | 16M| 136 | 131 | 470 | 562 | 470 | 930 | 735 | 18 |2512 | 1.647177e+02 | 1.900000e+02 | 15.35%
1737.93/1738.00 c 1738s| 60000 | 18827 | 13846k| 230.4 | 18M| 136 | - | 470 | 560 | 470 | 930 | 735 | 18 |2790 | 1.647661e+02 | 1.900000e+02 | 15.31%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 62892
1797.03/1797.00 c Primal Bound : +1.90000000000000e+02 (729 solutions)
1797.03/1797.00 c Dual Bound : +1.64780191630366e+02
1797.03/1797.00 c Gap : 15.31 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.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
1797.03/1797.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
1797.03/1797.00 v -x424 x423 x422 -x421 -x420 x419 -x418 -x417 -x416 x415 -x414 x413 -x412 -x411 x410 x409 -x408 x407 -x406 -x405 -x404 -x403
1797.03/1797.00 v x402 x401 -x400 x399 -x398 x397 x396 -x395 -x394 -x393 x392 -x391 x390 -x389 -x388 -x387 x386 -x385 x384 -x383 x382 -x381
1797.03/1797.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
1797.03/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.03/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.03/1797.00 v x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 x302 x301 x300 -x299 -x298 x297 x296 -x295 x294 -x293 x292 x291
1797.03/1797.00 v x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 x270 -x269
1797.03/1797.00 v x268 x267 -x266 -x265 -x264 x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 x252 x251 x250 -x249 -x248 x247
1797.03/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.03/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
1797.03/1797.00 v x202 x201 -x200 x199 x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 -x182 -x181
1797.03/1797.00 v -x180 -x179 x178 -x177 x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 x159
1797.03/1797.00 v x158 x157 -x156 x155 -x154 x153 x152 x151 -x150 -x149 -x148 -x147 x146 x145 x144 -x143 -x142 x141 -x140 x139 -x138 x137 -x136
1797.03/1797.00 v -x135 -x134 x133 -x132 -x131 -x130 x129 x128 -x127 x126 -x125 -x124 -x123 -x122 x121 -x120 x119 x118 x117 -x116 x115 x114 -x113
1797.03/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
1797.03/1797.00 v -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
1797.03/1797.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
1797.03/1797.00 v -x34 -x33 -x32 x31 x30 -x29 -x28 x27 -x26 x25 -x24 -x23 x22 x21 -x20 -x19 x18 x17 x16 x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7
1797.03/1797.00 v x6 -x5 x4 x3 x2 x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.02 (included in solving)
1797.03/1797.00 c reading : 0.01 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488906-1307761341.opb
1797.03/1797.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 469 initial, 469 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488906-1307761341.opb
1797.03/1797.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 553 initial, 565 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c knapsack : 0.01 0 0 0 0 0 26 173 299 649
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 63 0 0 0
1797.03/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 23
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 41835 0 734 0 0 136 0 0 83464
1797.03/1797.00 c knapsack : 442 11 332590 0 2 729 0 0 296055 748 0 0
1797.03/1797.00 c setppc : 111 11 332590 0 2 728 0 0 48668 0 0 0
1797.03/1797.00 c logicor : 0+ 0 18178 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 2 732 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 85.75 0.00 0.00 85.75 0.00 0.00 0.00
1797.03/1797.00 c knapsack : 3.36 0.03 3.32 0.00 0.00 0.01 0.00
1797.03/1797.00 c setppc : 0.42 0.00 0.42 0.00 0.00 0.00 0.00
1797.03/1797.00 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 21 0 0 0
1797.03/1797.00 c pseudoobj : 333564 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.06 0.06 0.00
1797.03/1797.00 c rootredcost : 0.06 0.06 0.00
1797.03/1797.00 c pseudoobj : 2.49 2.49 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 18 18 18 4.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 18 4.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 10 - - 248 - (maximal pool size: 1330)
1797.03/1797.00 c redcost : 1.71 82633 0 909286 0 0
1797.03/1797.00 c impliedbounds : 0.00 11 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 1.46 11 0 0 1 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 1.42 11 0 0 1 0
1797.03/1797.00 c cmir : 0.19 10 0 0 774 0
1797.03/1797.00 c flowcover : 0.27 10 0 0 929 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.07 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 85.73 41835 0 136 0 0 83464
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c feaspump : 0.00 0 0
1797.03/1797.00 c oneopt : 0.02 12 4
1797.03/1797.00 c crossover : 1.36 7 6
1797.03/1797.00 c guideddiving : 50.25 48 0
1797.03/1797.00 c fracdiving : 57.68 53 5
1797.03/1797.00 c linesearchdiving : 76.46 112 44
1797.03/1797.00 c coefdiving : 218.86 182 162
1797.03/1797.00 c veclendiving : 150.47 183 94
1797.03/1797.00 c pscostdiving : 220.56 287 251
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 1.12 71637 25
1797.03/1797.00 c zirounding : 0.45 1301 26
1797.03/1797.00 c rounding : 11.02 12549 1
1797.03/1797.00 c shifting : 3.00 3406 1
1797.03/1797.00 c intshifting : 0.00 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 42.05 5 108
1797.03/1797.00 c rootsoldiving : 13.67 14 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.01 0 0
1797.03/1797.00 c trysol : 0.02 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 837.15 92778 7087830 76.40 8466.63
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 805.69 128981 7244194 56.16 8991.31
1797.03/1797.00 c strong branching : 83.76 2855 585878 205.21 6994.66
1797.03/1797.00 c (at root node) : - 16 15139 946.19 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 62892
1797.03/1797.00 c nodes (total) : 62892
1797.03/1797.00 c nodes left : 19603
1797.03/1797.00 c max depth : 136
1797.03/1797.00 c max depth (total): 136
1797.03/1797.00 c backtracks : 11019 (17.5%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 7.35
1797.03/1797.00 c switching time : 2.82
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 729 (32 improvements)
1797.03/1797.00 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : +1.90000000000000e+02 (in run 1, after 5871 nodes, 366.45 seconds, depth 12, found by <oneopt>)
1797.03/1797.00 c Dual Bound : +1.64780191630366e+02
1797.03/1797.00 c Gap : 15.31 %
1797.03/1797.00 c Root Dual Bound : +1.63189540168253e+02
1797.03/1797.00 c Root Iterations : 24740
1797.03/1797.03 c Time complete: 1797.06.
OK 190
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-3488906-1307761341/watcher-3488906-1307761341 -o /tmp/evaluation-result-3488906-1307761341/solver-3488906-1307761341 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488906-1307761341.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.00 2.00 2.00 4/177 11166 /proc/meminfo: memFree=31067836/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=9580 CPUtime=0 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 1528 0 0 0 0 0 0 0 23 0 1 0 887736913 9809920 1483 33554432000 4194304 9016284 140735511167680 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11166/statm: 2395 1486 313 1178 0 1213 0 [startup+0.0280531 s] /proc/loadavg: 2.00 2.00 2.00 4/177 11166 /proc/meminfo: memFree=31067836/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=20608 CPUtime=0.02 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 4197 0 0 0 2 0 0 0 23 0 1 0 887736913 21102592 3895 33554432000 4194304 9016284 140735511167680 18446744073709551615 7928192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 5152 3895 509 1178 0 3970 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 20608 [startup+0.10104 s] /proc/loadavg: 2.00 2.00 2.00 4/177 11166 /proc/meminfo: memFree=31067836/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=22276 CPUtime=0.09 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 4730 0 0 0 9 0 0 0 18 0 1 0 887736913 22810624 4420 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 5569 4420 620 1178 0 4387 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22276 [startup+0.301006 s] /proc/loadavg: 2.00 2.00 2.00 4/177 11166 /proc/meminfo: memFree=31067836/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=22596 CPUtime=0.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 4831 0 0 0 28 1 0 0 18 0 1 0 887736913 23138304 4521 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 5649 4521 621 1178 0 4467 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22596 [startup+0.700932 s] /proc/loadavg: 2.00 2.00 2.00 4/177 11166 /proc/meminfo: memFree=31067836/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=22912 CPUtime=0.69 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 4912 0 0 0 66 3 0 0 18 0 1 0 887736913 23461888 4602 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 5728 4602 621 1178 0 4546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22912 [startup+1.50079 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11167 /proc/meminfo: memFree=31051360/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=24244 CPUtime=1.49 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 8422 0 0 0 144 5 0 0 20 0 1 0 887736913 24825856 5077 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 6061 5077 694 1178 0 4879 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24244 [startup+3.10051 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11167 /proc/meminfo: memFree=31049252/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=25808 CPUtime=3.09 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 8780 0 0 0 302 7 0 0 25 0 1 0 887736913 26427392 5435 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 6452 5435 696 1178 0 5270 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25808 [startup+6.30094 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11167 /proc/meminfo: memFree=31075684/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=26852 CPUtime=6.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 9019 0 0 0 618 11 0 0 25 0 1 0 887736913 27496448 5674 33554432000 4194304 9016284 140735511167680 18446744073709551615 6586645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 6713 5674 696 1178 0 5531 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26852 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11167 /proc/meminfo: memFree=31063172/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=27036 CPUtime=12.69 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 10615 0 0 0 1246 23 0 0 25 0 1 0 887736913 27684864 5726 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 6759 5726 699 1178 0 5577 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27036 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11168 /proc/meminfo: memFree=31046004/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=27036 CPUtime=25.49 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 10617 0 0 0 2494 55 0 0 25 0 1 0 887736913 27684864 5728 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 6759 5728 701 1178 0 5577 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27036 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11168 /proc/meminfo: memFree=31060588/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=27248 CPUtime=51.09 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 10691 0 0 0 4981 128 0 0 25 0 1 0 887736913 27901952 5802 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 6812 5802 702 1178 0 5630 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 27248 [startup+102.306 s] /proc/loadavg: 2.06 2.02 2.00 3/178 11173 /proc/meminfo: memFree=31042920/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=27388 CPUtime=102.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 10714 0 0 0 9956 273 0 0 25 0 1 0 887736913 28045312 5825 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 6847 5825 702 1178 0 5665 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 27388 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 11212 /proc/meminfo: memFree=31764624/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=27668 CPUtime=162.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 13545 0 0 0 15795 434 0 0 25 0 1 0 887736913 28332032 5878 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 6917 5878 707 1178 0 5735 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 27668 [startup+222.301 s] /proc/loadavg: 2.01 2.00 2.00 3/178 11214 /proc/meminfo: memFree=31762268/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=28064 CPUtime=222.3 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 13656 0 0 0 21654 576 0 0 25 0 1 0 887736913 28737536 5989 33554432000 4194304 9016284 140735511167680 18446744073709551615 7082051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11166/statm: 7016 5989 707 1178 0 5834 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 28064 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11215 /proc/meminfo: memFree=31761708/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=29428 CPUtime=282.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 18313 0 0 0 27448 781 0 0 25 0 1 0 887736913 30134272 6354 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 7357 6354 708 1178 0 6175 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 29428 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11217 /proc/meminfo: memFree=31761280/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=29868 CPUtime=342.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 21514 0 0 0 33236 993 0 0 25 0 1 0 887736913 30584832 6449 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 7467 6449 709 1178 0 6285 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 29868 [startup+402.301 s] /proc/loadavg: 2.04 2.01 2.00 3/178 11219 /proc/meminfo: memFree=31760584/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=30272 CPUtime=402.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 24805 0 0 0 39032 1197 0 0 25 0 1 0 887736913 30998528 6535 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 7568 6535 709 1178 0 6386 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 30272 [startup+462.301 s] /proc/loadavg: 2.01 2.01 2.00 3/178 11220 /proc/meminfo: memFree=31761020/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=30048 CPUtime=462.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 27976 0 0 0 44812 1417 0 0 25 0 1 0 887736913 30769152 6500 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 7512 6500 709 1178 0 6330 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 30048 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11222 /proc/meminfo: memFree=31759096/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=31892 CPUtime=522.3 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 28445 0 0 0 50608 1622 0 0 25 0 1 0 887736913 32657408 6969 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 7973 6969 709 1178 0 6791 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 31892 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11223 /proc/meminfo: memFree=31758040/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=32948 CPUtime=582.29 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 31740 0 0 0 56386 1843 0 0 25 0 1 0 887736913 33738752 7232 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 8237 7232 709 1178 0 7055 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 32948 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31753016/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=37436 CPUtime=1122.31 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 40461 0 0 0 108511 3720 0 0 25 0 1 0 887736913 38334464 8367 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 9359 8367 709 1178 0 8177 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 37436 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11239 /proc/meminfo: memFree=31752228/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=37576 CPUtime=1182.31 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 40496 0 0 0 114307 3924 0 0 25 0 1 0 887736913 38477824 8402 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 9394 8402 709 1178 0 8212 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 37576 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.00 3/178 11241 /proc/meminfo: memFree=31750916/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=38012 CPUtime=1242.31 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 40609 0 0 0 120096 4135 0 0 25 0 1 0 887736913 38924288 8515 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 9503 8515 709 1178 0 8321 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 38012 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 11243 /proc/meminfo: memFree=31750348/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=38012 CPUtime=1302.32 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 40633 0 0 0 125895 4337 0 0 25 0 1 0 887736913 38924288 8539 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 9503 8539 709 1178 0 8321 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 38012 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11244 /proc/meminfo: memFree=31748196/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=39204 CPUtime=1362.31 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 42451 0 0 0 131683 4548 0 0 25 0 1 0 887736913 40144896 8840 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 9801 8840 709 1178 0 8619 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 39204 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11246 /proc/meminfo: memFree=31747020/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=40152 CPUtime=1422.33 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 42685 0 0 0 137480 4753 0 0 25 0 1 0 887736913 41115648 9074 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 10038 9074 709 1178 0 8856 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 40152 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11247 /proc/meminfo: memFree=31746344/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=40380 CPUtime=1482.32 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 42766 0 0 0 143276 4956 0 0 25 0 1 0 887736913 41349120 9155 33554432000 4194304 9016284 140735511167680 18446744073709551615 7200989 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 10095 9155 709 1178 0 8913 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 40380 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 2.00 3/178 11249 /proc/meminfo: memFree=31744912/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=41072 CPUtime=1542.32 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 42917 0 0 0 149059 5173 0 0 25 0 1 0 887736913 42057728 9306 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 10268 9306 709 1178 0 9086 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 41072 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 11251 /proc/meminfo: memFree=31744724/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=41072 CPUtime=1602.32 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 42921 0 0 0 154853 5379 0 0 25 0 1 0 887736913 42057728 9310 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 10268 9310 709 1178 0 9086 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 41072 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11252 /proc/meminfo: memFree=31741324/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=42408 CPUtime=1662.32 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43257 0 0 0 160645 5587 0 0 25 0 1 0 887736913 43425792 9646 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 10602 9646 709 1178 0 9420 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 42408 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11254 /proc/meminfo: memFree=31740032/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=43576 CPUtime=1722.32 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43566 0 0 0 166428 5804 0 0 25 0 1 0 887736913 44621824 9955 33554432000 4194304 9016284 140735511167680 18446744073709551615 7218929 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 10894 9955 709 1178 0 9712 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 43576 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.00 3/178 11255 /proc/meminfo: memFree=31737976/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=44260 CPUtime=1782.33 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43729 0 0 0 172223 6010 0 0 25 0 1 0 887736913 45322240 10118 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 11065 10118 709 1178 0 9883 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 44260 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.06 2.01 2.00 3/178 11256 /proc/meminfo: memFree=31737852/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=44260 CPUtime=1785.53 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43733 0 0 0 172530 6023 0 0 25 0 1 0 887736913 45322240 10122 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 11065 10122 709 1178 0 9883 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 44260 [startup+1791.91 s] /proc/loadavg: 2.05 2.01 2.00 3/178 11256 /proc/meminfo: memFree=31737964/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=44260 CPUtime=1791.93 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43742 0 0 0 173145 6048 0 0 25 0 1 0 887736913 45322240 10131 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 11065 10131 709 1178 0 9883 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 44260 [startup+1795.1 s] /proc/loadavg: 2.05 2.01 2.00 3/178 11256 /proc/meminfo: memFree=31737964/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=44260 CPUtime=1795.13 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43743 0 0 0 173455 6058 0 0 25 0 1 0 887736913 45322240 10132 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 11065 10132 709 1178 0 9883 0 Current children cumulated CPU time (s) 1795.13 Current children cumulated vsize (KiB) 44260 [startup+1795.9 s] /proc/loadavg: 2.05 2.01 2.00 3/178 11256 /proc/meminfo: memFree=31737964/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=44260 CPUtime=1795.93 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43743 0 0 0 173533 6060 0 0 25 0 1 0 887736913 45322240 10132 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 11065 10132 709 1178 0 9883 0 Current children cumulated CPU time (s) 1795.93 Current children cumulated vsize (KiB) 44260 [startup+1796.7 s] /proc/loadavg: 2.05 2.01 2.00 3/178 11256 /proc/meminfo: memFree=31737840/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=44260 CPUtime=1796.73 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43743 0 0 0 173610 6063 0 0 25 0 1 0 887736913 45322240 10132 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 11065 10132 709 1178 0 9883 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 44260 [startup+1796.9 s] /proc/loadavg: 2.05 2.01 2.00 3/178 11256 /proc/meminfo: memFree=31737840/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=44260 CPUtime=1796.93 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43743 0 0 0 173629 6064 0 0 25 0 1 0 887736913 45322240 10132 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 11065 10132 709 1178 0 9883 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 44260 [startup+1797 s] /proc/loadavg: 2.05 2.01 2.00 3/178 11256 /proc/meminfo: memFree=31737840/32951124 swapFree=67050780/67111528 [pid=11166] ppid=11164 vsize=44260 CPUtime=1797.03 cores=1,3,5,7 /proc/11166/stat : 11166 (scip-2.0.1.4b_2) R 11164 11166 1779 0 -1 4202496 43743 0 0 0 173638 6065 0 0 25 0 1 0 887736913 45322240 10132 33554432000 4194304 9016284 140735511167680 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11166/statm: 11065 10132 709 1178 0 9883 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 44260 Child status: 0 Real time (s): 1797.04 CPU time (s): 1797.07 CPU user time (s): 1736.41 CPU system time (s): 60.6578 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 46552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1736.41 system time used= 60.6578 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43750 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 19971 runsolver used 2.37364 second user time and 5.79812 second system time The end
Begin job on node101 at 2011-06-11 05:02:21 IDJOB=3488906 IDBENCH=1958 IDSOLVER=1979 FILE ID=node101/3488906-1307761341 RUNJOBID= node101-1307750183-1798 PBS_JOBID= 13550859 Free space on /tmp= 74088 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488906-1307761341/watcher-3488906-1307761341 -o /tmp/evaluation-result-3488906-1307761341/solver-3488906-1307761341 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488906-1307761341.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7 RANDOM SEED=706811305 node101.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.841 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.68 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.841 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.07 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.841 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.77 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.841 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.83 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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.83 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.841 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.841 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: 32951124 kB MemFree: 31068520 kB Buffers: 195808 kB Cached: 728448 kB SwapCached: 27752 kB Active: 1005624 kB Inactive: 690980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31068520 kB SwapTotal: 67111528 kB SwapFree: 67050780 kB Dirty: 16692 kB Writeback: 0 kB AnonPages: 766300 kB Mapped: 11920 kB Slab: 120064 kB PageTables: 5932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 967444 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= 74076 MiB End job on node101 at 2011-06-11 05:32:19