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.09 | 1797.04 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 9828b7020b058ee74169951dda258843 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 190 |
| Best CPU time to get the best result obtained on this benchmark | 1797.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 186 |
| Optimality of the best value was proved | NO |
| Number of variables | 476 |
| Total number of constraints | 476 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-3488820-1307760996.opb>
0.00/0.01 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 476
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.760000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 476 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 70 del conss, 162 add conss, 0 chg bounds, 224 chg sides, 571 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 97 del conss, 178 add conss, 0 chg bounds, 288 chg sides, 672 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.02 c (round 5) 0 del vars, 101 del conss, 181 add conss, 0 chg bounds, 295 chg sides, 683 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.02 c (round 6) 0 del vars, 101 del conss, 181 add conss, 0 chg bounds, 297 chg sides, 688 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/476 (21.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 101 deleted constraints, 181 added constraints, 0 tightened bounds, 0 added holes, 297 changed sides, 688 changed coefficients
0.00/0.03 c 210 implications, 0 cliques
0.00/0.03 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 556 constraints
0.00/0.03 c 449 constraints of type <knapsack>
0.00/0.03 c 105 constraints of type <setppc>
0.00/0.03 c 2 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.5
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
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 | 10645 | - |2633k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 4.760000e+02 | 216.22%
1.00/1.04 o 342
1.00/1.04 c r 1.0s| 1 | 0 | 10645 | - |2647k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.420000e+02 | 127.20%
1.00/1.04 o 341
1.00/1.04 c R 1.0s| 1 | 0 | 10645 | - |2660k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.410000e+02 | 126.54%
1.00/1.05 o 340
1.00/1.05 c s 1.0s| 1 | 0 | 10645 | - |2674k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.400000e+02 | 125.87%
1.19/1.26 o 221
1.19/1.26 c y 1.3s| 1 | 0 | 10645 | - |3041k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 2.210000e+02 | 46.82%
1.69/1.71 c 1.7s| 1 | 0 | 14041 | - |2969k| 0 | 384 | 476 | 556 | 476 | 773 | 217 | 0 | 0 | 1.569108e+02 | 2.210000e+02 | 40.84%
2.39/2.41 c 2.4s| 1 | 0 | 17250 | - |3202k| 0 | 425 | 476 | 556 | 476 | 947 | 391 | 0 | 0 | 1.598704e+02 | 2.210000e+02 | 38.24%
3.20/3.21 c 3.2s| 1 | 0 | 20830 | - |3403k| 0 | 421 | 476 | 556 | 476 |1094 | 538 | 0 | 0 | 1.617929e+02 | 2.210000e+02 | 36.59%
3.79/3.82 c 3.8s| 1 | 0 | 22781 | - |3513k| 0 | 436 | 476 | 556 | 476 |1191 | 635 | 0 | 0 | 1.626131e+02 | 2.210000e+02 | 35.91%
4.30/4.38 c 4.4s| 1 | 0 | 23989 | - |3569k| 0 | 438 | 476 | 556 | 476 |1251 | 695 | 0 | 0 | 1.630946e+02 | 2.210000e+02 | 35.50%
4.79/4.86 c 4.9s| 1 | 0 | 24667 | - |3604k| 0 | 437 | 476 | 556 | 476 |1291 | 735 | 0 | 0 | 1.633231e+02 | 2.210000e+02 | 35.31%
5.29/5.31 c 5.3s| 1 | 0 | 25068 | - |3629k| 0 | 444 | 476 | 556 | 476 |1316 | 760 | 0 | 0 | 1.634180e+02 | 2.210000e+02 | 35.24%
5.59/5.65 c 5.6s| 1 | 0 | 25099 | - |3637k| 0 | 442 | 476 | 556 | 476 |1318 | 762 | 0 | 0 | 1.634246e+02 | 2.210000e+02 | 35.23%
8.29/8.38 c 8.4s| 1 | 2 | 25099 | - |3657k| 0 | 442 | 476 | 556 | 476 |1318 | 762 | 0 | 16 | 1.634246e+02 | 2.210000e+02 | 35.23%
27.99/28.03 o 221
27.99/28.03 c c28.0s| 15 | 16 | 44234 |1366.8 |4476k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.210000e+02 | 35.10%
27.99/28.04 o 220
27.99/28.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.99/28.04 c c28.0s| 15 | 16 | 44269 |1369.3 |4489k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.200000e+02 | 34.49%
27.99/28.04 o 220
27.99/28.04 c c28.0s| 15 | 16 | 44270 |1369.4 |4490k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.200000e+02 | 34.49%
27.99/28.04 o 219
27.99/28.04 c c28.0s| 15 | 16 | 44287 |1370.6 |4494k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.190000e+02 | 33.88%
29.39/29.46 o 218
29.39/29.46 c p29.5s| 28 | 29 | 54695 |1096.1 |4555k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.180000e+02 | 33.21%
29.39/29.46 o 218
29.39/29.46 c p29.5s| 28 | 29 | 54718 |1097.0 |4556k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.180000e+02 | 33.21%
29.39/29.47 o 217
29.39/29.47 c p29.5s| 28 | 29 | 54719 |1097.0 |4556k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.170000e+02 | 32.60%
29.39/29.47 o 217
29.39/29.47 c p29.5s| 28 | 29 | 54720 |1097.1 |4557k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.170000e+02 | 32.60%
29.39/29.47 o 214
29.39/29.47 c p29.5s| 28 | 29 | 54735 |1097.6 |4559k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.140000e+02 | 30.76%
29.39/29.47 o 213
29.39/29.47 c p29.5s| 28 | 29 | 54752 |1098.3 |4563k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.130000e+02 | 30.15%
29.39/29.47 o 212
29.39/29.47 c p29.5s| 28 | 29 | 54756 |1098.4 |4566k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.120000e+02 | 29.54%
29.39/29.47 o 211
29.39/29.47 c p29.5s| 28 | 29 | 54763 |1098.7 |4568k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.110000e+02 | 28.93%
29.39/29.47 o 210
29.39/29.47 c p29.5s| 28 | 29 | 54771 |1099.0 |4568k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.100000e+02 | 28.32%
29.39/29.47 o 209
29.39/29.47 c p29.5s| 28 | 29 | 54772 |1099.0 |4569k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.090000e+02 | 27.71%
29.39/29.47 o 208
29.39/29.47 c p29.5s| 28 | 29 | 54776 |1099.1 |4570k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.080000e+02 | 27.10%
29.39/29.47 o 207
29.39/29.47 c p29.5s| 28 | 29 | 54779 |1099.3 |4571k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.070000e+02 | 26.49%
29.39/29.48 o 206
29.39/29.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.39/29.48 c p29.5s| 28 | 29 | 54792 |1099.7 |4574k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.060000e+02 | 25.87%
29.39/29.48 o 204
29.39/29.48 c p29.5s| 28 | 29 | 54800 |1100.0 |4576k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.040000e+02 | 24.65%
29.39/29.48 o 203
29.39/29.48 c p29.5s| 28 | 29 | 54807 |1100.3 |4577k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.030000e+02 | 24.04%
29.39/29.48 o 202
29.39/29.48 c p29.5s| 28 | 29 | 54829 |1101.1 |4582k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.020000e+02 | 23.43%
29.39/29.48 o 201
29.39/29.48 c p29.5s| 28 | 29 | 54830 |1101.1 |4583k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.010000e+02 | 22.82%
81.59/81.65 o 200
81.59/81.65 c v81.7s| 250 | 251 |436654 |1652.8 |4811k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639299e+02 | 2.000000e+02 | 22.00%
81.59/81.65 o 199
81.59/81.65 c v81.7s| 250 | 251 |436661 |1652.9 |4812k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639299e+02 | 1.990000e+02 | 21.39%
81.68/81.71 o 198
81.68/81.71 c b81.7s| 251 | 252 |437081 |1647.9 |4687k| 23 | 422 | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639591e+02 | 1.980000e+02 | 20.76%
99.09/99.17 o 196
99.09/99.17 c p99.2s| 283 | 284 |574485 |1948.2 |4860k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.960000e+02 | 19.50%
99.09/99.17 o 196
99.09/99.17 c p99.2s| 283 | 284 |574491 |1948.2 |4861k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.960000e+02 | 19.50%
99.19/99.21 o 195
99.19/99.21 c b99.2s| 284 | 285 |574674 |1942.0 |4707k| 23 | 423 | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.950000e+02 | 18.89%
260.80/260.82 o 193
260.80/260.82 c C 261s| 966 | 967 | 1814k|1853.8 |5131k| 30 | 308 | 476 | 556 | 476 | 962 | 762 | 0 | 572 | 1.643104e+02 | 1.930000e+02 | 17.46%
260.80/260.85 o 190
260.80/260.85 c b 261s| 967 | 968 | 1814k|1852.1 |5138k| 31 | 312 | 476 | 556 | 476 | 962 | 762 | 0 | 572 | 1.643104e+02 | 1.900000e+02 | 15.63%
524.70/524.79 c 525s| 10000 | 4419 | 3894k| 386.9 |8096k| 112 | 122 | 476 | 560 | 476 | 962 | 762 | 4 |1063 | 1.646840e+02 | 1.900000e+02 | 15.37%
812.81/812.81 c 813s| 20000 | 7089 | 6196k| 308.6 | 10M| 112 | 110 | 476 | 559 | 476 | 962 | 762 | 4 |1613 | 1.648512e+02 | 1.900000e+02 | 15.26%
1080.52/1080.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.52/1080.55 c 1081s| 30000 | 9989 | 8300k| 275.9 | 12M| 112 | - | 476 | 564 | 476 | 962 | 762 | 11 |2107 | 1.649826e+02 | 1.900000e+02 | 15.16%
1328.42/1328.43 c 1328s| 40000 | 12883 | 10316k| 257.3 | 15M| 112 | - | 476 | 564 | 476 | 962 | 762 | 14 |2476 | 1.650489e+02 | 1.900000e+02 | 15.12%
1554.34/1554.36 c 1554s| 50000 | 15537 | 12139k| 242.3 | 17M| 112 | 136 | 476 | 560 | 476 | 962 | 762 | 14 |2802 | 1.651060e+02 | 1.900000e+02 | 15.08%
1783.54/1783.53 c 1784s| 60000 | 18231 | 13997k| 232.9 | 19M| 112 | 106 | 476 | 560 | 476 | 962 | 762 | 14 |3109 | 1.651602e+02 | 1.900000e+02 | 15.04%
1797.03/1797.01 c
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Solving Time (sec) : 1797.01
1797.03/1797.01 c Solving Nodes : 60578
1797.03/1797.01 c Primal Bound : +1.90000000000000e+02 (726 solutions)
1797.03/1797.01 c Dual Bound : +1.65161494164502e+02
1797.03/1797.01 c Gap : 15.04 %
1797.03/1797.01 s SATISFIABLE
1797.03/1797.01 v x476 x475 -x474 -x473 -x472 -x471 -x470 x469 x468 x467 -x466 x465 x464 -x463 -x462 -x461 -x460 x459 x458 -x457 -x456 x455 x454
1797.03/1797.01 v x453 x452 -x451 x450 x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 x441 x440 -x439 -x438 x437 -x436 -x435 x434 -x433 -x432 -x431
1797.03/1797.01 v x430 -x429 x428 x427 x426 x425 -x424 x423 -x422 x421 -x420 x419 x418 x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409
1797.03/1797.01 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 x394 -x393 -x392 x391 -x390 -x389 -x388 -x387
1797.03/1797.01 v x386 x385 -x384 x383 -x382 -x381 x380 x379 -x378 -x377 x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365
1797.03/1797.01 v -x364 -x363 -x362 x361 x360 -x359 x358 x357 x356 -x355 x354 -x353 -x352 x351 -x350 x349 x348 -x347 -x346 -x345 x344 -x343
1797.03/1797.01 v x342 -x341 -x340 x339 -x338 -x337 x336 -x335 -x334 x333 -x332 x331 -x330 -x329 x328 x327 -x326 -x325 -x324 -x323 x322 -x321 x320
1797.03/1797.01 v -x319 -x318 x317 -x316 -x315 x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 x300 -x299 -x298
1797.03/1797.01 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 x286 x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 x277
1797.03/1797.01 v x276 -x275 x274 -x273 x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 x261 x260 -x259 -x258 x257 x256 x255 -x254
1797.03/1797.01 v x253 -x252 -x251 x250 x249 -x248 x247 -x246 -x245 x244 -x243 -x242 x241 x240 -x239 -x238 x237 -x236 x235 -x234 x233 x232
1797.03/1797.01 v x231 x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 x219 x218 x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209
1797.03/1797.01 v -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 x199 x198 x197 x196 x195 x194 -x193 x192 -x191 x190 -x189 -x188 x187
1797.03/1797.01 v -x186 -x185 x184 -x183 -x182 -x181 -x180 x179 x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 x166 x165
1797.03/1797.01 v -x164 x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 x151 x150 x149 -x148 x147 x146 -x145 -x144 x143
1797.03/1797.01 v -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 -x133 x132 x131 -x130 x129 x128 x127 x126 -x125 x124 x123 -x122 -x121 -x120
1797.03/1797.01 v -x119 -x118 -x117 -x116 x115 -x114 -x113 x112 -x111 x110 x109 -x108 x107 x106 x105 x104 -x103 x102 -x101 x100 x99 -x98 x97 -x96
1797.03/1797.01 v x95 x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 x80 -x79 -x78 x77 -x76 x75 -x74 -x73 x72 -x71 x70 -x69
1797.03/1797.01 v -x68 x67 -x66 x65 x64 x63 x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43
1797.03/1797.01 v x42 -x41 -x40 x39 x38 -x37 -x36 x35 x34 x33 -x32 -x31 -x30 x29 x28 x27 x26 -x25 -x24 -x23 x22 x21 -x20 x19 -x18 -x17 -x16 x15
1797.03/1797.01 v -x14 x13 -x12 x11 -x10 -x9 x8 x7 -x6 -x5 x4 x3 x2 -x1
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.01
1797.03/1797.01 c solving : 1797.01
1797.03/1797.01 c presolving : 0.02 (included in solving)
1797.03/1797.01 c reading : 0.01 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3488820-1307760996.opb
1797.03/1797.01 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 476 initial, 476 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3488820-1307760996.opb
1797.03/1797.01 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 556 initial, 567 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c knapsack : 0.01 0 0 0 0 0 25 181 297 661
1797.03/1797.01 c setppc : 0.00 0 0 0 0 0 76 0 0 0
1797.03/1797.01 c linear : 0.01 0 0 0 0 0 0 0 0 27
1797.03/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 39527 0 731 0 1 116 0 0 78920
1797.03/1797.01 c knapsack : 449 9 330942 0 2 726 0 0 221471 756 0 0
1797.03/1797.01 c setppc : 105 9 330942 0 2 725 0 0 40576 0 0 0
1797.03/1797.01 c logicor : 2+ 9 15071 0 2 725 0 0 44 0 0 0
1797.03/1797.01 c countsols : 0 0 0 0 2 729 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 97.97 0.00 0.00 97.97 0.00 0.00 0.00
1797.03/1797.01 c knapsack : 3.25 0.03 3.22 0.00 0.00 0.01 0.00
1797.03/1797.01 c setppc : 0.39 0.00 0.39 0.00 0.00 0.00 0.00
1797.03/1797.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 24 0 0 0
1797.03/1797.01 c pseudoobj : 331762 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.06 0.06 0.00
1797.03/1797.01 c rootredcost : 0.06 0.06 0.00
1797.03/1797.01 c pseudoobj : 2.52 2.52 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c infeasible LP : 0.00 14 14 14 4.4 0 0.0 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 14 4.4 - - -
1797.03/1797.01 c applied locally : - - - 0 0.0 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.00 8 - - 261 - (maximal pool size: 1290)
1797.03/1797.01 c redcost : 1.69 80873 0 880888 0 0
1797.03/1797.01 c impliedbounds : 0.00 9 0 0 0 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 1.15 9 0 0 0 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 1.14 9 0 0 0 0
1797.03/1797.01 c cmir : 0.19 9 0 0 794 0
1797.03/1797.01 c flowcover : 0.23 9 0 0 906 0
1797.03/1797.01 c clique : 0.00 1 0 0 0 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.07 1 0 0 0 0
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 97.95 39527 1 116 0 0 78920
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c feaspump : 0.00 0 0
1797.03/1797.01 c intshifting : 0.00 0 0
1797.03/1797.01 c oneopt : 0.02 9 3
1797.03/1797.01 c objpscostdiving : 39.20 5 20
1797.03/1797.01 c crossover : 0.73 6 6
1797.03/1797.01 c rootsoldiving : 13.00 14 0
1797.03/1797.01 c guideddiving : 52.17 46 0
1797.03/1797.01 c fracdiving : 52.23 47 0
1797.03/1797.01 c linesearchdiving : 79.71 106 97
1797.03/1797.01 c coefdiving : 170.65 136 167
1797.03/1797.01 c veclendiving : 127.44 147 116
1797.03/1797.01 c pscostdiving : 293.16 379 268
1797.03/1797.01 c trivial : 0.00 2 1
1797.03/1797.01 c shiftandpropagate: 0.00 0 0
1797.03/1797.01 c simplerounding : 1.07 67873 23
1797.03/1797.01 c zirounding : 0.42 1101 22
1797.03/1797.01 c rounding : 10.37 12106 1
1797.03/1797.01 c shifting : 2.84 3544 1
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.01 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.01 0 0
1797.03/1797.01 c trysol : 0.02 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.01 c dual LP : 830.05 88959 7106624 79.89 8561.72
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 802.86 127462 6999862 54.92 8718.64
1797.03/1797.01 c strong branching : 96.18 3121 668895 214.32 6954.31
1797.03/1797.01 c (at root node) : - 16 14760 922.50 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 60578
1797.03/1797.01 c nodes (total) : 60578
1797.03/1797.01 c nodes left : 18347
1797.03/1797.01 c max depth : 112
1797.03/1797.01 c max depth (total): 112
1797.03/1797.01 c backtracks : 10184 (16.8%)
1797.03/1797.01 c delayed cutoffs : 0
1797.03/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.01 c avg switch length: 6.66
1797.03/1797.01 c switching time : 2.67
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 726 (34 improvements)
1797.03/1797.01 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.03/1797.01 c Primal Bound : +1.90000000000000e+02 (in run 1, after 967 nodes, 260.85 seconds, depth 31, found by <oneopt>)
1797.03/1797.01 c Dual Bound : +1.65161494164502e+02
1797.03/1797.01 c Gap : 15.04 %
1797.03/1797.01 c Root Dual Bound : +1.63424626604414e+02
1797.03/1797.01 c Root Iterations : 25099
1797.03/1797.03 c Time complete: 1797.08.
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-3488820-1307760996/watcher-3488820-1307760996 -o /tmp/evaluation-result-3488820-1307760996/solver-3488820-1307760996 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488820-1307760996.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: 1.92 1.98 1.98 2/177 19247 /proc/meminfo: memFree=31484132/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=12692 CPUtime=0 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 2168 0 0 0 0 0 0 0 25 0 1 0 887700083 12996608 2123 33554432000 4194304 9016284 140735626940736 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19247/statm: 3218 2135 353 1178 0 2036 0 [startup+0.0892509 s] /proc/loadavg: 1.92 1.98 1.98 2/177 19247 /proc/meminfo: memFree=31484132/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=22356 CPUtime=0.07 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 4753 0 0 0 7 0 0 0 18 0 1 0 887700083 22892544 4451 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 5589 4451 625 1178 0 4407 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 22356 [startup+0.100248 s] /proc/loadavg: 1.92 1.98 1.98 2/177 19247 /proc/meminfo: memFree=31484132/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=22356 CPUtime=0.09 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 4754 0 0 0 9 0 0 0 18 0 1 0 887700083 22892544 4452 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 5589 4452 626 1178 0 4407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22356 [startup+0.300213 s] /proc/loadavg: 1.92 1.98 1.98 2/177 19247 /proc/meminfo: memFree=31484132/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=22644 CPUtime=0.29 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 4837 0 0 0 28 1 0 0 18 0 1 0 887700083 23187456 4535 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 5661 4535 626 1178 0 4479 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22644 [startup+0.700139 s] /proc/loadavg: 1.92 1.98 1.98 2/177 19247 /proc/meminfo: memFree=31484132/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=22644 CPUtime=0.69 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 4859 0 0 0 66 3 0 0 18 0 1 0 887700083 23187456 4557 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 5661 4557 626 1178 0 4479 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22644 [startup+1.50099 s] /proc/loadavg: 1.92 1.98 1.98 3/178 19248 /proc/meminfo: memFree=31467780/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=24184 CPUtime=1.49 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 8413 0 0 0 144 5 0 0 20 0 1 0 887700083 24764416 5065 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 6046 5065 696 1178 0 4864 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24184 [startup+3.1007 s] /proc/loadavg: 1.92 1.98 1.98 3/178 19248 /proc/meminfo: memFree=31465680/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=25692 CPUtime=3.09 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 8716 0 0 0 301 8 0 0 25 0 1 0 887700083 26308608 5368 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 6423 5368 696 1178 0 5241 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25692 [startup+6.30012 s] /proc/loadavg: 1.93 1.98 1.98 3/178 19248 /proc/meminfo: memFree=31463944/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=26540 CPUtime=6.29 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 10604 0 0 0 614 15 0 0 25 0 1 0 887700083 27176960 5577 33554432000 4194304 9016284 140735626940736 18446744073709551615 7219008 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 6635 5577 697 1178 0 5453 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26540 [startup+12.7009 s] /proc/loadavg: 1.93 1.98 1.98 3/178 19249 /proc/meminfo: memFree=31463884/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=26680 CPUtime=12.69 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 10645 0 0 0 1235 34 0 0 25 0 1 0 887700083 27320320 5618 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 6670 5618 699 1178 0 5488 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26680 [startup+25.5006 s] /proc/loadavg: 1.95 1.98 1.98 3/178 19249 /proc/meminfo: memFree=31464152/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=26680 CPUtime=25.5 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 10647 0 0 0 2479 71 0 0 25 0 1 0 887700083 27320320 5620 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19247/statm: 6670 5620 701 1178 0 5488 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 26680 [startup+51.1009 s] /proc/loadavg: 1.96 1.98 1.98 3/178 19250 /proc/meminfo: memFree=31462832/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=27840 CPUtime=51.09 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 10956 0 0 0 4952 157 0 0 25 0 1 0 887700083 28508160 5929 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 6960 5929 701 1178 0 5778 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 27840 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.98 3/178 19251 /proc/meminfo: memFree=31462428/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=27600 CPUtime=102.3 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 13647 0 0 0 9893 337 0 0 25 0 1 0 887700083 28262400 5850 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 6900 5850 705 1178 0 5718 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 27600 [startup+162.301 s] /proc/loadavg: 2.03 2.00 1.98 3/178 19253 /proc/meminfo: memFree=31462500/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=27932 CPUtime=162.29 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 13777 0 0 0 15667 562 0 0 25 0 1 0 887700083 28602368 5980 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 6983 5980 706 1178 0 5801 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 27932 [startup+222.301 s] /proc/loadavg: 2.01 2.00 1.98 3/178 19254 /proc/meminfo: memFree=31462212/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=28140 CPUtime=222.3 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 13809 0 0 0 21441 789 0 0 25 0 1 0 887700083 28815360 6012 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 7035 6012 706 1178 0 5853 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 28140 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.98 3/178 19265 /proc/meminfo: memFree=31448284/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=42568 CPUtime=282.3 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 17035 0 0 0 27221 1009 0 0 25 0 1 0 887700083 43589632 9238 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10642 9238 707 1178 0 9460 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 42568 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.98 3/178 19266 /proc/meminfo: memFree=31444480/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=43132 CPUtime=342.3 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 17422 0 0 0 32999 1231 0 0 25 0 1 0 887700083 44167168 9625 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10783 9625 708 1178 0 9601 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 43132 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.98 3/178 19268 /proc/meminfo: memFree=31444068/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=43132 CPUtime=402.3 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 17426 0 0 0 38751 1479 0 0 25 0 1 0 887700083 44167168 9629 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10783 9629 708 1178 0 9601 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 43132 [startup+462.301 s] /proc/loadavg: 2.07 2.02 1.99 3/178 19273 /proc/meminfo: memFree=31443264/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=43400 CPUtime=462.3 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 17599 0 0 0 44504 1726 0 0 25 0 1 0 887700083 44441600 9802 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10850 9802 708 1178 0 9668 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 43400 [startup+522.301 s] /proc/loadavg: 2.02 2.01 1.99 3/178 19274 /proc/meminfo: memFree=31443076/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=43400 CPUtime=522.3 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 17602 0 0 0 50253 1977 0 0 25 0 1 0 887700083 44441600 9805 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10850 9805 708 1178 0 9668 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 43400 [startup+582.301 s] /proc/loadavg: 2.04 2.02 1.99 3/178 19276 /proc/meminfo: memFree=31443404/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=41212 CPUtime=582.3 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 18065 0 0 0 55997 2233 0 0 25 0 1 0 887700083 42201088 9330 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10303 9330 708 1178 0 9121 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 41212 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31438656/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=41212 CPUtime=1122.32 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 19129 0 0 0 107823 4409 0 0 25 0 1 0 887700083 42201088 9354 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10303 9354 708 1178 0 9121 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 41212 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 19292 /proc/meminfo: memFree=31438748/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=41212 CPUtime=1182.32 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 19962 0 0 0 113592 4640 0 0 25 0 1 0 887700083 42201088 9355 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10303 9355 708 1178 0 9121 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 41212 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19293 /proc/meminfo: memFree=31438576/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=41212 CPUtime=1242.32 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 19966 0 0 0 119366 4866 0 0 25 0 1 0 887700083 42201088 9359 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10303 9359 708 1178 0 9121 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 41212 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19295 /proc/meminfo: memFree=31438420/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=41212 CPUtime=1302.33 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 19969 0 0 0 125148 5085 0 0 25 0 1 0 887700083 42201088 9362 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10303 9362 708 1178 0 9121 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 41212 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19297 /proc/meminfo: memFree=31438504/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=41568 CPUtime=1362.33 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 20023 0 0 0 130921 5312 0 0 25 0 1 0 887700083 42565632 9416 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10392 9416 708 1178 0 9210 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 41568 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19298 /proc/meminfo: memFree=31438464/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=41568 CPUtime=1422.33 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 20037 0 0 0 136699 5534 0 0 25 0 1 0 887700083 42565632 9430 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10392 9430 708 1178 0 9210 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 41568 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19300 /proc/meminfo: memFree=31438548/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=41568 CPUtime=1482.33 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 20040 0 0 0 142477 5756 0 0 25 0 1 0 887700083 42565632 9433 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10392 9433 708 1178 0 9210 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 41568 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19301 /proc/meminfo: memFree=31437892/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=42440 CPUtime=1542.33 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 20278 0 0 0 148239 5994 0 0 25 0 1 0 887700083 43458560 9671 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10610 9671 708 1178 0 9428 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 42440 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19303 /proc/meminfo: memFree=31437960/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=42596 CPUtime=1602.33 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 20300 0 0 0 154016 6217 0 0 25 0 1 0 887700083 43618304 9693 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10649 9693 708 1178 0 9467 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 42596 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19343 /proc/meminfo: memFree=30474800/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=42964 CPUtime=1662.34 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 20392 0 0 0 159798 6436 0 0 25 0 1 0 887700083 43995136 9785 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 10741 9785 708 1178 0 9559 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 42964 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19344 /proc/meminfo: memFree=30506472/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45164 CPUtime=1722.34 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 20945 0 0 0 165499 6735 0 0 25 0 1 0 887700083 46247936 10338 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11291 10338 708 1178 0 10109 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 45164 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/178 19346 /proc/meminfo: memFree=30503712/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45740 CPUtime=1782.34 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 22559 0 0 0 171221 7013 0 0 25 0 1 0 887700083 46837760 10475 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11435 10475 708 1178 0 10253 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 45740 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19346 /proc/meminfo: memFree=30503708/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45740 CPUtime=1785.54 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 22559 0 0 0 171526 7028 0 0 25 0 1 0 887700083 46837760 10475 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11435 10475 708 1178 0 10253 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 45740 [startup+1791.91 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19346 /proc/meminfo: memFree=30503700/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45740 CPUtime=1791.94 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 22559 0 0 0 172139 7055 0 0 25 0 1 0 887700083 46837760 10475 33554432000 4194304 9016284 140735626940736 18446744073709551615 7213597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11435 10475 708 1178 0 10253 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 45740 [startup+1795.1 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19346 /proc/meminfo: memFree=30503576/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45740 CPUtime=1795.15 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 22559 0 0 0 172448 7067 0 0 25 0 1 0 887700083 46837760 10475 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11435 10475 708 1178 0 10253 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 45740 [startup+1795.9 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19346 /proc/meminfo: memFree=30503576/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45740 CPUtime=1795.94 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 22559 0 0 0 172523 7071 0 0 25 0 1 0 887700083 46837760 10475 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11435 10475 708 1178 0 10253 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 45740 [startup+1796.7 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19346 /proc/meminfo: memFree=30503452/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45740 CPUtime=1796.74 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 22559 0 0 0 172599 7075 0 0 25 0 1 0 887700083 46837760 10475 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11435 10475 708 1178 0 10253 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 45740 [startup+1796.9 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19346 /proc/meminfo: memFree=30503452/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45740 CPUtime=1796.94 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 22559 0 0 0 172618 7076 0 0 25 0 1 0 887700083 46837760 10475 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11435 10475 708 1178 0 10253 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 45740 [startup+1797 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19346 /proc/meminfo: memFree=30503452/32951124 swapFree=67052968/67111528 [pid=19247] ppid=19245 vsize=45740 CPUtime=1797.03 cores=1,3,5,7 /proc/19247/stat : 19247 (scip-2.0.1.4b_2) R 19245 19247 16623 0 -1 4202496 22559 0 0 0 172627 7076 0 0 25 0 1 0 887700083 46837760 10475 33554432000 4194304 9016284 140735626940736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19247/statm: 11435 10475 708 1178 0 10253 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 45740 Child status: 0 Real time (s): 1797.04 CPU time (s): 1797.09 CPU user time (s): 1726.32 CPU system time (s): 70.7722 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 45740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.32 system time used= 70.7722 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22566 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= 7039 runsolver used 2.27565 second user time and 5.8991 second system time The end
Begin job on node104 at 2011-06-11 04:56:36 IDJOB=3488820 IDBENCH=1950 IDSOLVER=1979 FILE ID=node104/3488820-1307760996 RUNJOBID= node104-1307750180-16642 PBS_JOBID= 13550856 Free space on /tmp= 74108 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_13.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-3488820-1307760996/watcher-3488820-1307760996 -o /tmp/evaluation-result-3488820-1307760996/solver-3488820-1307760996 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488820-1307760996.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9828b7020b058ee74169951dda258843 RANDOM SEED=1682700586 node104.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.855 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.71 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.855 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.855 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.67 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.855 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.80 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.855 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 : 5293.18 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.855 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.855 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.855 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31484684 kB Buffers: 108940 kB Cached: 688100 kB SwapCached: 10984 kB Active: 776668 kB Inactive: 537040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31484684 kB SwapTotal: 67111528 kB SwapFree: 67052968 kB Dirty: 16724 kB Writeback: 0 kB AnonPages: 513656 kB Mapped: 11964 kB Slab: 88564 kB PageTables: 5300 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 725756 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= 74080 MiB End job on node104 at 2011-06-11 05:26:33