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 | -33 | 1797.28 | 1797.21 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb |
| MD5SUM | 7f24dba3f3d4b877b96bd50f5b27c089 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -34 |
| Best CPU time to get the best result obtained on this benchmark | 1797.15 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -35 |
| Optimality of the best value was proved | YES |
| Number of variables | 595 |
| Total number of constraints | 28143 |
| Number of constraints which are clauses | 28143 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 595 |
| 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 | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-3489009-1307770317.opb>
0.09/0.14 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.09/0.17 o 0
0.09/0.17 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.17 c presolving:
0.19/0.29 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 28143 upgd conss, 56286 impls, 0 clqs
0.49/0.57 c (0.6s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.57 c presolving (2 rounds):
0.49/0.57 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57 c 56286 implications, 0 cliques
0.49/0.57 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
0.49/0.57 c 28143 constraints of type <setppc>
0.49/0.57 c transformed objective value is always integral (scale: 1)
0.49/0.57 c Presolving Time: 0.41
0.49/0.57 c - non default parameters ----------------------------------------------------------------------
0.49/0.57 c # SCIP version 2.0.1.5
0.49/0.57 c
0.49/0.57 c # frequency for displaying node information lines
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57 c display/freq = 10000
0.49/0.57 c
0.49/0.57 c # maximal time in seconds to run
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/time = 1797
0.49/0.57 c
0.49/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/memory = 13950
0.49/0.57 c
0.49/0.57 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.57 c # [type: int, range: [1,2], default: 1]
0.49/0.57 c timing/clocktype = 2
0.49/0.57 c
0.49/0.57 c # belongs reading time to solving time?
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c timing/reading = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify inequalities
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/linear/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/indicator/addCouplingCons = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify knapsacks
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c separating/rapidlearning/freq = 0
0.49/0.57 c
0.49/0.57 c -----------------------------------------------------------------------------------------------
0.49/0.57 c start solving
0.49/0.58 c
0.79/0.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.88 c t 0.9s| 1 | 0 | 596 | - | 35M| 0 | 595 | 595 | 28k| 595 | 28k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
0.79/0.89 o -1
0.79/0.89 c R 0.9s| 1 | 0 | 596 | - | 35M| 0 | 595 | 595 | 28k| 595 | 28k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
1.29/1.34 c 1.3s| 1 | 0 | 787 | - | 35M| 0 | 551 | 595 | 28k| 595 | 28k| 5 | 0 | 0 |-2.755000e+02 |-1.000000e+00 | 99.64%
1.29/1.34 o -22
1.29/1.34 c b 1.3s| 1 | 0 | 787 | - | 35M| 0 | 551 | 595 | 28k| 595 | 28k| 5 | 0 | 0 |-2.755000e+02 |-2.200000e+01 | 92.01%
1.79/1.80 c 1.8s| 1 | 0 | 982 | - | 35M| 0 | 510 | 595 | 28k| 595 | 28k| 19 | 0 | 0 |-2.550000e+02 |-2.200000e+01 | 91.37%
2.39/2.45 c 2.4s| 1 | 0 | 1230 | - | 35M| 0 | 450 | 595 | 28k| 595 | 28k| 61 | 0 | 0 |-2.250000e+02 |-2.200000e+01 | 90.22%
3.20/3.23 c 3.2s| 1 | 0 | 1596 | - | 35M| 0 | 417 | 595 | 28k| 595 | 28k| 78 | 0 | 0 |-2.073333e+02 |-2.200000e+01 | 89.39%
3.89/3.94 c 3.9s| 1 | 0 | 1808 | - | 35M| 0 | 382 | 595 | 28k| 595 | 28k| 93 | 0 | 0 |-1.898333e+02 |-2.200000e+01 | 88.41%
4.59/4.68 c 4.7s| 1 | 0 | 2055 | - | 35M| 0 | 348 | 595 | 28k| 595 | 28k| 106 | 0 | 0 |-1.740000e+02 |-2.200000e+01 | 87.36%
5.29/5.36 c 5.4s| 1 | 0 | 2234 | - | 35M| 0 | 316 | 595 | 28k| 595 | 28k| 118 | 0 | 0 |-1.580000e+02 |-2.200000e+01 | 86.08%
6.39/6.46 c 6.5s| 1 | 0 | 3563 | - | 35M| 0 | 279 | 595 | 28k| 595 | 28k| 130 | 0 | 0 |-1.395000e+02 |-2.200000e+01 | 84.23%
7.09/7.20 c 7.2s| 1 | 0 | 3903 | - | 35M| 0 | 256 | 595 | 28k| 595 | 28k| 136 | 0 | 0 |-1.280000e+02 |-2.200000e+01 | 82.81%
7.99/8.00 c 8.0s| 1 | 0 | 4514 | - | 35M| 0 | 222 | 595 | 28k| 595 | 28k| 146 | 0 | 0 |-1.110000e+02 |-2.200000e+01 | 80.18%
8.39/8.48 c 8.5s| 1 | 0 | 5386 | - | 35M| 0 | 196 | 595 | 28k| 595 | 28k| 156 | 0 | 0 |-9.800000e+01 |-2.200000e+01 | 77.55%
8.99/9.05 c 9.1s| 1 | 0 | 6693 | - | 35M| 0 | 168 | 595 | 28k| 595 | 28k| 162 | 0 | 0 |-8.400000e+01 |-2.200000e+01 | 73.81%
9.29/9.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.29/9.33 c 9.3s| 1 | 0 | 6897 | - | 35M| 0 | 153 | 595 | 28k| 595 | 28k| 171 | 0 | 0 |-7.650000e+01 |-2.200000e+01 | 71.24%
9.79/9.85 c 9.8s| 1 | 0 | 7892 | - | 35M| 0 | 129 | 595 | 28k| 595 | 28k| 180 | 0 | 0 |-6.450000e+01 |-2.200000e+01 | 65.89%
10.19/10.27 c 10.3s| 1 | 0 | 8851 | - | 35M| 0 | 107 | 595 | 28k| 595 | 28k| 192 | 0 | 0 |-5.250000e+01 |-2.200000e+01 | 58.10%
10.49/10.52 c 10.5s| 1 | 0 | 9002 | - | 35M| 0 | 99 | 595 | 28k| 595 | 28k| 200 | 0 | 0 |-4.250000e+01 |-2.200000e+01 | 48.24%
10.69/10.73 c 10.7s| 1 | 0 | 9051 | - | 35M| 0 | 79 | 595 | 28k| 595 | 28k| 206 | 0 | 0 |-3.800000e+01 |-2.200000e+01 | 42.11%
10.90/10.93 c 10.9s| 1 | 0 | 9076 | - | 35M| 0 | 75 | 595 | 28k| 595 | 28k| 214 | 0 | 0 |-3.700000e+01 |-2.200000e+01 | 40.54%
11.09/11.16 c 11.2s| 1 | 0 | 9178 | - | 35M| 0 | 105 | 595 | 28k| 595 | 28k| 222 | 0 | 0 |-3.588889e+01 |-2.200000e+01 | 38.70%
11.29/11.37 c 11.4s| 1 | 0 | 9233 | - | 35M| 0 | 103 | 595 | 28k| 595 | 28k| 231 | 0 | 0 |-3.588889e+01 |-2.200000e+01 | 38.70%
11.49/11.50 c 11.5s| 1 | 0 | 9289 | - | 35M| 0 | 84 | 595 | 28k| 595 | 28k| 244 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
11.59/11.69 c 11.7s| 1 | 0 | 9473 | - | 35M| 0 | 65 | 595 | 28k| 595 | 28k| 255 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
11.79/11.86 c 11.9s| 1 | 0 | 9577 | - | 35M| 0 | 115 | 595 | 28k| 595 | 28k| 268 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
12.19/12.25 c 12.2s| 1 | 0 | 9834 | - | 35M| 0 | 105 | 595 | 28k| 595 | 28k| 279 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
12.80/12.82 c 12.8s| 1 | 0 | 10190 | - | 36M| 0 | 126 | 595 | 28k| 595 | 28k| 291 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
14.79/14.81 c 14.8s| 1 | 0 | 10538 | - | 36M| 0 | 128 | 595 | 28k| 595 | 28k| 300 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
14.99/15.00 c 15.0s| 1 | 0 | 10629 | - | 36M| 0 | 139 | 595 | 28k| 595 | 28k| 310 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
15.59/15.60 o -24
15.59/15.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.59/15.60 c E15.6s| 1 | 0 | 10629 | - | 36M| 0 | 139 | 595 | 28k| 595 | 28k| 310 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
15.59/15.61 c 15.6s| 1 | 0 | 10629 | - | 36M| 0 | 139 | 595 | 28k| 595 | 28k| 310 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
15.59/15.62 o -25
15.59/15.62 c b15.6s| 1 | 0 | 10629 | - | 36M| 0 | 139 | 595 | 28k| 595 | 28k| 310 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
18.39/18.44 c 18.4s| 1 | 0 | 10795 | - | 36M| 0 | 169 | 595 | 28k| 595 | 28k| 321 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
23.39/23.47 c 23.5s| 1 | 2 | 10795 | - | 36M| 0 | 169 | 595 | 28k| 595 | 28k| 321 | 0 | 21 |-3.500000e+01 |-2.500000e+01 | 28.57%
43.40/43.44 o -26
43.40/43.44 c c43.4s| 15 | 16 | 12686 | 135.1 | 37M| 14 | - | 595 | 28k| 595 | 28k| 321 | 0 | 311 |-3.500000e+01 |-2.600000e+01 | 25.71%
63.49/63.55 o -27
63.49/63.55 c p63.6s| 27 | 23 | 14298 | 134.7 | 37M| 14 | - | 595 | 28k| 595 | 28k| 321 | 0 | 595 |-3.500000e+01 |-2.700000e+01 | 22.86%
80.99/81.00 o -28
80.99/81.00 c v81.0s| 63 | 53 | 16714 | 95.5 | 38M| 17 | - | 595 | 28k| 595 | 28k| 321 | 0 | 874 |-3.500000e+01 |-2.800000e+01 | 20.00%
84.50/84.55 o -29
84.50/84.55 c S84.5s| 147 | 111 | 20596 | 67.1 | 39M| 23 | 0 | 595 | 28k| 595 | 28k| 321 | 0 | 913 |-3.500000e+01 |-2.900000e+01 | 17.14%
86.69/86.76 o -30
86.69/86.76 c R86.8s| 235 | 128 | 23391 | 53.8 | 40M| 27 | - | 595 | 28k| 595 | 28k| 321 | 0 | 931 |-3.500000e+01 |-3.000000e+01 | 14.29%
100.70/100.73 o -31
100.70/100.73 c * 101s| 749 | 262 | 40248 | 39.4 | 42M| 35 | - | 595 | 28k| 595 | 28k| 321 | 0 |1025 |-3.500000e+01 |-3.100000e+01 | 11.43%
345.20/345.28 c 345s| 10000 | 4153 |388391 | 37.8 | 101M| 64 | - | 595 | 28k| 595 | 28k| 321 | 0 |2315 |-3.500000e+01 |-3.100000e+01 | 11.43%
389.81/389.82 o -32
389.81/389.82 c * 390s| 11721 | 2980 |446227 | 37.2 | 90M| 64 | - | 595 | 28k| 595 | 28k| 321 | 0 |2705 |-3.500000e+01 |-3.200000e+01 | 8.57%
552.61/552.69 c 553s| 20000 | 4789 |686175 | 33.8 | 119M| 64 | - | 595 | 28k| 595 | 28k| 321 | 0 |3425 |-3.500000e+01 |-3.200000e+01 | 8.57%
746.93/746.96 c 747s| 30000 | 6915 |979595 | 32.3 | 154M| 66 | - | 595 | 28k| 595 | 28k| 321 | 0 |4406 |-3.500000e+01 |-3.200000e+01 | 8.57%
824.52/824.54 o -33
824.52/824.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.52/824.54 c p 825s| 35099 | 3466 | 1111k| 31.3 | 108M| 66 | - | 595 | 28k| 595 | 28k| 321 | 0 |4424 |-3.500000e+01 |-3.300000e+01 | 5.71%
898.23/898.29 c 898s| 40000 | 4057 | 1236k| 30.6 | 119M| 66 | 69 | 595 | 28k| 595 | 28k| 321 | 0 |4425 |-3.500000e+01 |-3.300000e+01 | 5.71%
1061.23/1061.25 c 1061s| 50000 | 5085 | 1482k| 29.4 | 138M| 69 | 63 | 595 | 28k| 595 | 28k| 321 | 0 |5050 |-3.500000e+01 |-3.300000e+01 | 5.71%
1223.34/1223.40 c 1223s| 60000 | 6083 | 1720k| 28.5 | 156M| 69 | 72 | 595 | 28k| 595 | 28k| 321 | 0 |5776 |-3.500000e+01 |-3.300000e+01 | 5.71%
1388.15/1388.13 c 1388s| 70000 | 7071 | 1968k| 28.0 | 175M| 69 | 67 | 595 | 28k| 595 | 28k| 321 | 0 |6451 |-3.500000e+01 |-3.300000e+01 | 5.71%
1556.56/1556.51 c 1557s| 80000 | 8013 | 2225k| 27.7 | 193M| 69 | 70 | 595 | 28k| 595 | 28k| 321 | 0 |7101 |-3.500000e+01 |-3.300000e+01 | 5.71%
1721.15/1721.12 c 1721s| 90000 | 9041 | 2482k| 27.5 | 212M| 69 | - | 595 | 28k| 595 | 28k| 321 | 0 |7628 |-3.500000e+01 |-3.300000e+01 | 5.71%
1797.06/1797.00 c
1797.06/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.00 c Solving Time (sec) : 1797.00
1797.06/1797.00 c Solving Nodes : 94003
1797.06/1797.00 c Primal Bound : -3.30000000000000e+01 (536 solutions)
1797.06/1797.00 c Dual Bound : -3.50000000000000e+01
1797.06/1797.00 c Gap : 5.71 %
1797.06/1797.01 s SATISFIABLE
1797.06/1797.01 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1797.06/1797.01 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1797.06/1797.01 v -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79
1797.06/1797.01 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1797.06/1797.01 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1797.06/1797.01 v -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1797.06/1797.01 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1797.06/1797.01 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1797.06/1797.01 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208
1797.06/1797.01 v -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1797.06/1797.01 v -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1797.06/1797.01 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1797.06/1797.01 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 x291 -x292
1797.06/1797.01 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1797.06/1797.01 v -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334
1797.06/1797.01 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
1797.06/1797.01 v -x356 x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1797.06/1797.01 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398
1797.06/1797.01 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419
1797.06/1797.01 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440
1797.06/1797.01 v -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1797.06/1797.01 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1797.06/1797.01 v -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1797.06/1797.01 v -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524
1797.06/1797.01 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545
1797.06/1797.01 v -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566
1797.06/1797.01 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1797.06/1797.01 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
1797.06/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.01 c Total Time : 1797.00
1797.06/1797.01 c solving : 1797.00
1797.06/1797.01 c presolving : 0.41 (included in solving)
1797.06/1797.01 c reading : 0.14 (included in solving)
1797.06/1797.01 c Original Problem :
1797.06/1797.01 c Problem name : HOME/instance-3489009-1307770317.opb
1797.06/1797.01 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.01 c Constraints : 28143 initial, 28143 maximal
1797.06/1797.01 c Presolved Problem :
1797.06/1797.01 c Problem name : t_HOME/instance-3489009-1307770317.opb
1797.06/1797.01 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.01 c Constraints : 28143 initial, 28143 maximal
1797.06/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.06/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c probing : 0.27 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c linear : 0.11 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c root node : - 0 - - 0 - - - - -
1797.06/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.06/1797.01 c integral : 0 0 0 56057 0 539 0 115 2155 0 0 109908
1797.06/1797.01 c setppc : 28143 28 162035 2 2 534 0 0 1386371 0 0 0
1797.06/1797.01 c countsols : 0 0 0 2 2 537 0 0 0 0 0 0
1797.06/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.06/1797.01 c integral : 242.26 0.00 0.00 242.25 0.00 0.01 0.00
1797.06/1797.01 c setppc : 20.08 0.05 19.69 0.00 0.00 0.34 0.00
1797.06/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.06/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.06/1797.01 c vbounds : 0 0 0 0
1797.06/1797.01 c rootredcost : 9 0 0 0
1797.06/1797.01 c pseudoobj : 161957 0 0 0
1797.06/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.06/1797.01 c vbounds : 0.07 0.07 0.00
1797.06/1797.01 c rootredcost : 0.06 0.06 0.00
1797.06/1797.01 c pseudoobj : 2.44 2.44 0.00
1797.06/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.06/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.01 c applied globally : - - - 0 0.0 - - -
1797.06/1797.01 c applied locally : - - - 0 0.0 - - -
1797.06/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.06/1797.01 c cut pool : 0.00 27 - - 74 - (maximal pool size: 828)
1797.06/1797.01 c redcost : 0.73 56403 0 357 0 0
1797.06/1797.01 c impliedbounds : 0.01 28 0 0 0 0
1797.06/1797.01 c intobj : 0.00 0 0 0 0 0
1797.06/1797.01 c gomory : 7.40 28 0 0 14000 0
1797.06/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.06/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.06/1797.01 c strongcg : 1.69 20 0 0 10000 0
1797.06/1797.01 c cmir : 1.47 10 0 0 0 0
1797.06/1797.01 c flowcover : 1.76 10 0 0 0 0
1797.06/1797.01 c clique : 0.23 28 0 0 243 0
1797.06/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.06/1797.01 c mcf : 0.01 1 0 0 0 0
1797.06/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.06/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.06/1797.01 c Pricers : Time Calls Vars
1797.06/1797.01 c problem variables: 0.00 0 0
1797.06/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.06/1797.01 c relpscost : 242.17 56055 115 2155 0 0 109908
1797.06/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.06/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.06/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.06/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.06/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.01 c random : 0.00 0 0 0 0 0 0
1797.06/1797.01 c Primal Heuristics : Time Calls Found
1797.06/1797.01 c LP solutions : 0.01 - 2
1797.06/1797.01 c pseudo solutions : 0.00 - 0
1797.06/1797.01 c feaspump : 0.00 0 0
1797.06/1797.01 c intshifting : 0.00 0 0
1797.06/1797.01 c oneopt : 0.09 12 2
1797.06/1797.01 c crossover : 2.55 20 6
1797.06/1797.01 c fracdiving : 20.75 121 3
1797.06/1797.01 c guideddiving : 23.16 121 0
1797.06/1797.01 c veclendiving : 10.99 121 4
1797.06/1797.01 c linesearchdiving : 7.92 121 1
1797.06/1797.01 c objpscostdiving : 10.50 61 107
1797.06/1797.01 c rootsoldiving : 7.59 61 69
1797.06/1797.01 c pscostdiving : 7.71 122 3
1797.06/1797.01 c coefdiving : 16.72 122 3
1797.06/1797.01 c trivial : 0.01 2 1
1797.06/1797.01 c shiftandpropagate: 0.00 0 0
1797.06/1797.01 c simplerounding : 0.72 56084 96
1797.06/1797.01 c zirounding : 17.00 11751 235
1797.06/1797.01 c rounding : 15.09 14898 2
1797.06/1797.01 c shifting : 1.68 1390 1
1797.06/1797.01 c twoopt : 0.00 0 0
1797.06/1797.01 c fixandinfer : 0.00 0 0
1797.06/1797.01 c clique : 0.00 0 0
1797.06/1797.01 c intdiving : 0.00 0 0
1797.06/1797.01 c actconsdiving : 0.00 0 0
1797.06/1797.01 c octane : 0.00 0 0
1797.06/1797.01 c rens : 0.61 1 1
1797.06/1797.01 c rins : 0.00 0 0
1797.06/1797.01 c localbranching : 0.00 0 0
1797.06/1797.01 c mutation : 0.00 0 0
1797.06/1797.01 c dins : 0.00 0 0
1797.06/1797.01 c vbounds : 0.00 0 0
1797.06/1797.01 c undercover : 0.00 0 0
1797.06/1797.01 c subnlp : 0.04 0 0
1797.06/1797.01 c trysol : 0.03 0 0
1797.06/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.06/1797.01 c primal LP : 0.02 0 0 0.00 0.00
1797.06/1797.01 c dual LP : 1179.05 95016 2464961 25.94 2090.64
1797.06/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.06/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.06/1797.01 c diving/probing LP: 88.24 9650 151612 15.71 1718.15
1797.06/1797.01 c strong branching : 239.00 7753 433875 55.96 1815.37
1797.06/1797.01 c (at root node) : - 21 9913 472.05 -
1797.06/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.06/1797.01 c B&B Tree :
1797.06/1797.01 c number of runs : 1
1797.06/1797.01 c nodes : 94003
1797.06/1797.01 c nodes (total) : 94003
1797.06/1797.01 c nodes left : 9644
1797.06/1797.01 c max depth : 69
1797.06/1797.01 c max depth (total): 69
1797.06/1797.01 c backtracks : 11087 (11.8%)
1797.06/1797.01 c delayed cutoffs : 0
1797.06/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.06/1797.01 c avg switch length: 4.34
1797.06/1797.01 c switching time : 42.47
1797.06/1797.01 c Solution :
1797.06/1797.01 c Solutions found : 536 (13 improvements)
1797.06/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1797.06/1797.01 c Primal Bound : -3.30000000000000e+01 (in run 1, after 35099 nodes, 824.51 seconds, depth 28, found by <pscostdiving>)
1797.06/1797.01 c Dual Bound : -3.50000000000000e+01
1797.06/1797.01 c Gap : 5.71 %
1797.06/1797.01 c Root Dual Bound : -3.50000000000000e+01
1797.06/1797.01 c Root Iterations : 10795
1797.26/1797.20 c Time complete: 1797.27.
OK -33
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-3489009-1307770317/watcher-3489009-1307770317 -o /tmp/evaluation-result-3489009-1307770317/solver-3489009-1307770317 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489009-1307770317.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 2/177 28149 /proc/meminfo: memFree=31332224/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=12692 CPUtime=0 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 2154 0 0 0 0 0 0 0 22 0 1 0 888628822 12996608 2108 33554432000 4194304 9016284 140734981931440 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28149/statm: 3173 2121 353 1178 0 1991 0 [startup+0.00703589 s] /proc/loadavg: 2.00 2.00 2.00 2/177 28149 /proc/meminfo: memFree=31332224/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=13300 CPUtime=0 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 2316 0 0 0 0 0 0 0 22 0 1 0 888628822 13619200 2270 33554432000 4194304 9016284 140734981931440 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28149/statm: 3325 2270 360 1178 0 2143 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13300 [startup+0.101035 s] /proc/loadavg: 2.00 2.00 2.00 2/177 28149 /proc/meminfo: memFree=31332224/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=21276 CPUtime=0.09 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 4321 0 0 0 9 0 0 0 23 0 1 0 888628822 21786624 4272 33554432000 4194304 9016284 140734981931440 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28149/statm: 5319 4272 360 1178 0 4137 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21276 [startup+0.301013 s] /proc/loadavg: 2.00 2.00 2.00 2/177 28149 /proc/meminfo: memFree=31332224/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=57172 CPUtime=0.29 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 15033 0 0 0 27 2 0 0 23 0 1 0 888628822 58544128 12942 33554432000 4194304 9016284 140734981931440 18446744073709551615 4459710 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 14293 12942 492 1178 0 13111 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 57172 [startup+0.70093 s] /proc/loadavg: 2.00 2.00 2.00 2/177 28149 /proc/meminfo: memFree=31332224/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=90936 CPUtime=0.69 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 23301 0 0 0 66 3 0 0 25 0 1 0 888628822 93118464 20684 33554432000 4194304 9016284 140734981931440 18446744073709551615 7080792 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 22734 20684 699 1178 0 21552 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 90936 [startup+1.50076 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28150 /proc/meminfo: memFree=31247340/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=98376 CPUtime=1.49 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 25935 0 0 0 146 3 0 0 18 0 1 0 888628822 100737024 22644 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 24594 22644 830 1178 0 23412 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 98376 [startup+3.10048 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28150 /proc/meminfo: memFree=31242752/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=99456 CPUtime=3.09 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 26678 0 0 0 304 5 0 0 21 0 1 0 888628822 101842944 23384 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 24864 23384 829 1178 0 23682 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99456 [startup+6.30086 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28150 /proc/meminfo: memFree=31240020/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=101836 CPUtime=6.3 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 27305 0 0 0 623 7 0 0 25 0 1 0 888628822 104280064 23967 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 25459 23967 785 1178 0 24277 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 101836 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28150 /proc/meminfo: memFree=31237052/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=101836 CPUtime=12.69 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 27627 0 0 0 1254 15 0 0 25 0 1 0 888628822 104280064 24214 33554432000 4194304 9016284 140734981931440 18446744073709551615 7080773 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 25459 24214 711 1178 0 24277 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 101836 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28151 /proc/meminfo: memFree=31206780/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=130224 CPUtime=25.49 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 36429 0 0 0 2515 34 0 0 25 0 1 0 888628822 133349376 31546 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 32556 31546 693 1178 0 31374 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 130224 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28151 /proc/meminfo: memFree=31205040/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=130224 CPUtime=51.09 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 36429 0 0 0 5042 67 0 0 25 0 1 0 888628822 133349376 31546 33554432000 4194304 9016284 140734981931440 18446744073709551615 6927097 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 32556 31546 693 1178 0 31374 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 130224 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28153 /proc/meminfo: memFree=31199504/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=130224 CPUtime=102.3 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 38783 0 0 0 10094 136 0 0 25 0 1 0 888628822 133349376 31553 33554432000 4194304 9016284 140734981931440 18446744073709551615 7207410 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 32556 31553 694 1178 0 31374 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 130224 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28154 /proc/meminfo: memFree=31191512/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=130224 CPUtime=162.3 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 50790 0 0 0 16023 207 0 0 25 0 1 0 888628822 133349376 31560 33554432000 4194304 9016284 140734981931440 18446744073709551615 7143189 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 32556 31560 697 1178 0 31374 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 130224 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28156 /proc/meminfo: memFree=31174960/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=142536 CPUtime=222.3 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 62503 0 0 0 21952 278 0 0 25 0 1 0 888628822 145956864 34287 33554432000 4194304 9016284 140734981931440 18446744073709551615 7198972 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 35634 34287 697 1178 0 34452 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 142536 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28956 /proc/meminfo: memFree=31387440/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=158448 CPUtime=282.3 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 66518 0 0 0 27892 338 0 0 25 0 1 0 888628822 162250752 38280 33554432000 4194304 9016284 140734981931440 18446744073709551615 7875922 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 39612 38280 697 1178 0 38430 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 158448 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28957 /proc/meminfo: memFree=31375044/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=171824 CPUtime=342.31 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 78489 0 0 0 33843 388 0 0 25 0 1 0 888628822 175947776 41511 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 42956 41511 697 1178 0 41774 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 171824 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28959 /proc/meminfo: memFree=31362996/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=184272 CPUtime=402.31 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 90149 0 0 0 39793 438 0 0 25 0 1 0 888628822 188694528 44410 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 46068 44410 697 1178 0 44886 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 184272 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28960 /proc/meminfo: memFree=31359124/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=186652 CPUtime=462.31 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 116855 0 0 0 45746 485 0 0 25 0 1 0 888628822 191131648 45345 33554432000 4194304 9016284 140734981931440 18446744073709551615 7205418 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 46663 45345 697 1178 0 45481 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 186652 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28962 /proc/meminfo: memFree=31355860/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=191028 CPUtime=522.31 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 126793 0 0 0 51696 535 0 0 25 0 1 0 888628822 195612672 46269 33554432000 4194304 9016284 140734981931440 18446744073709551615 7082206 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 47757 46269 697 1178 0 46575 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 191028 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28964 /proc/meminfo: memFree=31347520/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=198984 CPUtime=582.31 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 128758 0 0 0 57647 584 0 0 25 0 1 0 888628822 203759616 48234 33554432000 4194304 9016284 140734981931440 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 49746 48234 697 1178 0 48564 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 198984 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31290052/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=255060 CPUtime=1122.34 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 204339 0 0 0 111188 1046 0 0 25 0 1 0 888628822 261181440 62254 33554432000 4194304 9016284 140734981931440 18446744073709551615 6523992 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 63765 62254 697 1178 0 62583 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 255060 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28980 /proc/meminfo: memFree=31287176/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=257492 CPUtime=1182.34 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 205037 0 0 0 117138 1096 0 0 25 0 1 0 888628822 263671808 62951 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 64373 62951 697 1178 0 63191 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 257492 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28981 /proc/meminfo: memFree=31284532/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=259980 CPUtime=1242.34 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 214251 0 0 0 123086 1148 0 0 25 0 1 0 888628822 266219520 63631 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 64995 63631 697 1178 0 63813 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 259980 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 2.00 3/178 28983 /proc/meminfo: memFree=31281892/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=262452 CPUtime=1302.35 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 214904 0 0 0 129041 1194 0 0 25 0 1 0 888628822 268750848 64248 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 65613 64248 697 1178 0 64431 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 262452 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 28984 /proc/meminfo: memFree=31280508/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=264028 CPUtime=1362.35 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 215252 0 0 0 134990 1245 0 0 25 0 1 0 888628822 270364672 64596 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 66007 64596 697 1178 0 64825 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 264028 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28986 /proc/meminfo: memFree=31277744/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=266140 CPUtime=1422.36 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 215834 0 0 0 140942 1294 0 0 25 0 1 0 888628822 272527360 65178 33554432000 4194304 9016284 140734981931440 18446744073709551615 6930497 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 66535 65178 697 1178 0 65353 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 266140 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28988 /proc/meminfo: memFree=31272996/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=270568 CPUtime=1482.35 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 216983 0 0 0 146894 1341 0 0 25 0 1 0 888628822 277061632 66327 33554432000 4194304 9016284 140734981931440 18446744073709551615 7213844 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 67642 66327 697 1178 0 66460 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 270568 [startup+1542.3 s] /proc/loadavg: 2.06 2.02 2.00 3/178 28989 /proc/meminfo: memFree=31270616/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=272860 CPUtime=1542.35 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 217544 0 0 0 152840 1395 0 0 25 0 1 0 888628822 279408640 66888 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 68215 66888 697 1178 0 67033 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 272860 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 28991 /proc/meminfo: memFree=31265112/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=278516 CPUtime=1602.36 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 218885 0 0 0 158791 1445 0 0 25 0 1 0 888628822 285200384 68229 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 69629 68229 697 1178 0 68447 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 278516 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/178 28992 /proc/meminfo: memFree=31254664/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=289092 CPUtime=1662.35 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 230479 0 0 0 164747 1488 0 0 25 0 1 0 888628822 296030208 70831 33554432000 4194304 9016284 140734981931440 18446744073709551615 7065435 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 72273 70831 698 1178 0 71091 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 289092 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28994 /proc/meminfo: memFree=31244592/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=295156 CPUtime=1722.36 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 232192 0 0 0 170699 1537 0 0 25 0 1 0 888628822 302239744 72543 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 73789 72543 697 1178 0 72607 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 295156 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.00 3/178 29005 /proc/meminfo: memFree=31234972/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=304652 CPUtime=1782.36 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 234564 0 0 0 176643 1593 0 0 25 0 1 0 888628822 311963648 74913 33554432000 4194304 9016284 140734981931440 18446744073709551615 7207181 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 76163 74913 697 1178 0 74981 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 304652 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.06 2.02 2.00 3/178 29005 /proc/meminfo: memFree=31234972/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=304652 CPUtime=1785.56 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 234569 0 0 0 176961 1595 0 0 25 0 1 0 888628822 311963648 74918 33554432000 4194304 9016284 140734981931440 18446744073709551615 7875833 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 76163 74918 697 1178 0 74981 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 304652 [startup+1791.91 s] /proc/loadavg: 2.05 2.01 2.00 3/178 29005 /proc/meminfo: memFree=31234348/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=305744 CPUtime=1791.97 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 234717 0 0 0 177596 1601 0 0 25 0 1 0 888628822 313081856 75066 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 76436 75066 697 1178 0 75254 0 Current children cumulated CPU time (s) 1791.97 Current children cumulated vsize (KiB) 305744 [startup+1795.1 s] /proc/loadavg: 2.05 2.01 2.00 3/178 29005 /proc/meminfo: memFree=31234348/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=305744 CPUtime=1795.17 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 234733 0 0 0 177914 1603 0 0 25 0 1 0 888628822 313081856 75082 33554432000 4194304 9016284 140734981931440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 76436 75082 697 1178 0 75254 0 Current children cumulated CPU time (s) 1795.17 Current children cumulated vsize (KiB) 305744 [startup+1795.9 s] /proc/loadavg: 2.05 2.01 2.00 3/178 29005 /proc/meminfo: memFree=31234348/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=305744 CPUtime=1795.96 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 234734 0 0 0 177992 1604 0 0 25 0 1 0 888628822 313081856 75083 33554432000 4194304 9016284 140734981931440 18446744073709551615 6948578 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 76436 75083 697 1178 0 75254 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 305744 [startup+1796.7 s] /proc/loadavg: 2.05 2.01 2.00 3/178 29005 /proc/meminfo: memFree=31234348/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=305744 CPUtime=1796.76 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 234735 0 0 0 178071 1605 0 0 25 0 1 0 888628822 313081856 75084 33554432000 4194304 9016284 140734981931440 18446744073709551615 7178129 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28149/statm: 76436 75084 697 1178 0 75254 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 305744 [startup+1797.1 s] /proc/loadavg: 2.05 2.01 2.00 3/178 29005 /proc/meminfo: memFree=31234348/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=305744 CPUtime=1797.16 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 234765 0 0 0 178111 1605 0 0 18 0 1 0 888628822 313081856 75114 33554432000 4194304 9016284 140734981931440 18446744073709551615 4330221 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28149/statm: 76436 75114 699 1178 0 75254 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 305744 [startup+1797.2 s] /proc/loadavg: 2.05 2.01 2.00 3/178 29005 /proc/meminfo: memFree=31234348/32950928 swapFree=67055428/67111528 [pid=28149] ppid=28147 vsize=218752 CPUtime=1797.26 cores=1,3,5,7 /proc/28149/stat : 28149 (scip-2.0.1.4b_2) R 28147 28149 26980 0 -1 4202496 234765 0 0 0 178120 1606 0 0 18 0 1 0 888628822 224002048 28671 33554432000 4194304 9016284 140734981931440 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28149/statm: 54688 28671 699 1178 0 53506 0 Current children cumulated CPU time (s) 1797.26 Current children cumulated vsize (KiB) 218752 Child status: 0 Real time (s): 1797.21 CPU time (s): 1797.28 CPU user time (s): 1781.2 CPU system time (s): 16.0726 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 307452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.2 system time used= 16.0726 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234770 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= 11 involuntary context switches= 2171 runsolver used 2.76358 second user time and 6.84996 second system time The end
Begin job on node148 at 2011-06-11 07:31:58 IDJOB=3489009 IDBENCH=2271 IDSOLVER=1979 FILE ID=node148/3489009-1307770317 RUNJOBID= node148-1307759525-26999 PBS_JOBID= 13550868 Free space on /tmp= 74024 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.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-3489009-1307770317/watcher-3489009-1307770317 -o /tmp/evaluation-result-3489009-1307770317/solver-3489009-1307770317 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489009-1307770317.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089 RANDOM SEED=709815844 node148.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.854 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.70 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.854 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.75 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.854 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.83 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.82 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.82 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31332908 kB Buffers: 142504 kB Cached: 870604 kB SwapCached: 8828 kB Active: 757532 kB Inactive: 698936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31332908 kB SwapTotal: 67111528 kB SwapFree: 67055428 kB Dirty: 17092 kB Writeback: 0 kB AnonPages: 441324 kB Mapped: 15972 kB Slab: 95956 kB PageTables: 5888 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 646520 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= 74008 MiB End job on node148 at 2011-06-11 08:01:55