Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | -29 | 1796.8 | 1797.11 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb |
| MD5SUM | 7bb05c60facd55e51c4cfcaa0e217e6e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 15.9636 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | YES |
| Number of variables | 450 |
| Total number of constraints | 17831 |
| Number of constraints which are clauses | 17831 |
| 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 | 450 |
| 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 | 450 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 450 |
| 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-3733031-1338706332.opb>
0.07/0.09 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17831 constraints
0.07/0.09 c problem read
0.07/0.09 c presolving settings loaded
0.08/0.11 o 0
0.08/0.11 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.08/0.11 c presolving:
0.08/0.19 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17831 upgd conss, 35662 impls, 0 clqs
0.29/0.36 c (0.4s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.29/0.36 c presolving (2 rounds):
0.29/0.36 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.36 c 35662 implications, 0 cliques
0.29/0.36 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17831 constraints
0.29/0.36 c 17831 constraints of type <setppc>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.25
0.29/0.36 c - non default parameters ----------------------------------------------------------------------
0.29/0.36 c # SCIP version 2.0.1.5
0.29/0.36 c
0.29/0.36 c # frequency for displaying node information lines
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.36 c display/freq = 10000
0.29/0.36 c
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = 1797
0.29/0.36 c
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = 13950
0.29/0.36 c
0.29/0.36 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.36 c # [type: int, range: [1,2], default: 1]
0.29/0.36 c timing/clocktype = 2
0.29/0.36 c
0.29/0.36 c # belongs reading time to solving time?
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c timing/reading = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify inequalities
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/linear/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/indicator/addCouplingCons = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify knapsacks
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36 c separating/rapidlearning/freq = 0
0.29/0.36 c
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving
0.29/0.36 c
0.49/0.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.52 c t 0.5s| 1 | 0 | 450 | - | 22M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 | 0.000000e+00 | 100.00%
0.49/0.53 o -1
0.49/0.53 c R 0.5s| 1 | 0 | 450 | - | 22M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 |-1.000000e+00 | 99.56%
0.79/0.83 c 0.8s| 1 | 0 | 691 | - | 22M| 0 | 396 | 450 | 17k| 450 | 17k| 7 | 0 | 0 |-1.980000e+02 |-1.000000e+00 | 99.49%
0.79/0.84 o -22
0.79/0.84 c b 0.8s| 1 | 0 | 691 | - | 22M| 0 | 396 | 450 | 17k| 450 | 17k| 7 | 0 | 0 |-1.980000e+02 |-2.200000e+01 | 88.89%
1.09/1.14 c 1.1s| 1 | 0 | 752 | - | 22M| 0 | 369 | 450 | 17k| 450 | 17k| 12 | 0 | 0 |-1.845000e+02 |-2.200000e+01 | 88.08%
1.38/1.49 c 1.5s| 1 | 0 | 865 | - | 22M| 0 | 343 | 450 | 17k| 450 | 17k| 21 | 0 | 0 |-1.705000e+02 |-2.200000e+01 | 87.10%
1.79/1.84 c 1.8s| 1 | 0 | 938 | - | 22M| 0 | 315 | 450 | 17k| 450 | 17k| 32 | 0 | 0 |-1.565000e+02 |-2.200000e+01 | 85.94%
2.20/2.22 c 2.2s| 1 | 0 | 1020 | - | 22M| 0 | 287 | 450 | 17k| 450 | 17k| 39 | 0 | 0 |-1.425000e+02 |-2.200000e+01 | 84.56%
2.59/2.62 c 2.6s| 1 | 0 | 1172 | - | 22M| 0 | 253 | 450 | 17k| 450 | 17k| 55 | 0 | 0 |-1.265000e+02 |-2.200000e+01 | 82.61%
3.09/3.12 c 3.1s| 1 | 0 | 1616 | - | 22M| 0 | 214 | 450 | 17k| 450 | 17k| 64 | 0 | 0 |-1.070000e+02 |-2.200000e+01 | 79.44%
3.48/3.55 c 3.5s| 1 | 0 | 2008 | - | 22M| 0 | 199 | 450 | 17k| 450 | 17k| 76 | 0 | 0 |-9.950000e+01 |-2.200000e+01 | 77.89%
3.98/4.00 c 4.0s| 1 | 0 | 2580 | - | 22M| 0 | 154 | 450 | 17k| 450 | 17k| 93 | 0 | 0 |-7.700000e+01 |-2.200000e+01 | 71.43%
4.30/4.40 c 4.4s| 1 | 0 | 2978 | - | 22M| 0 | 127 | 450 | 17k| 450 | 17k| 106 | 0 | 0 |-6.350000e+01 |-2.200000e+01 | 65.35%
4.59/4.65 c 4.7s| 1 | 0 | 3396 | - | 22M| 0 | 103 | 450 | 17k| 450 | 17k| 115 | 0 | 0 |-5.150000e+01 |-2.200000e+01 | 57.28%
4.79/4.83 c 4.8s| 1 | 0 | 3594 | - | 22M| 0 | 83 | 450 | 17k| 450 | 17k| 123 | 0 | 0 |-4.150000e+01 |-2.200000e+01 | 46.99%
4.99/5.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.99/5.01 c 5.0s| 1 | 0 | 3786 | - | 22M| 0 | 91 | 450 | 17k| 450 | 17k| 132 | 0 | 0 |-3.716667e+01 |-2.200000e+01 | 40.81%
5.09/5.16 c 5.2s| 1 | 0 | 3910 | - | 22M| 0 | 102 | 450 | 17k| 450 | 17k| 141 | 0 | 0 |-3.092857e+01 |-2.200000e+01 | 28.87%
5.28/5.30 c 5.3s| 1 | 0 | 3950 | - | 22M| 0 | 78 | 450 | 17k| 450 | 17k| 154 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
5.58/5.62 c 5.6s| 1 | 0 | 4818 | - | 23M| 0 | 66 | 450 | 17k| 450 | 17k| 168 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
5.79/5.80 c 5.8s| 1 | 0 | 4908 | - | 23M| 0 | 144 | 450 | 17k| 450 | 17k| 175 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
6.09/6.17 c 6.2s| 1 | 0 | 5083 | - | 23M| 0 | 154 | 450 | 17k| 450 | 17k| 183 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
6.78/6.84 c 6.8s| 1 | 0 | 5169 | - | 24M| 0 | 149 | 450 | 17k| 450 | 17k| 194 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
8.49/8.52 c 8.5s| 1 | 0 | 5275 | - | 24M| 0 | 119 | 450 | 17k| 450 | 17k| 202 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
9.99/10.04 c 10.0s| 1 | 0 | 5481 | - | 24M| 0 | 146 | 450 | 17k| 450 | 18k| 212 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
16.79/16.83 c 16.8s| 1 | 2 | 5481 | - | 24M| 0 | 146 | 450 | 17k| 450 | 18k| 212 | 0 | 33 |-3.000000e+01 |-2.200000e+01 | 26.67%
25.38/25.47 o -23
25.38/25.47 c *25.5s| 10 | 8 | 6467 | 109.6 | 25M| 9 | - | 450 | 17k| 450 | 17k| 212 | 0 | 241 |-3.000000e+01 |-2.300000e+01 | 23.33%
43.98/44.07 o -25
43.98/44.07 c f44.1s| 47 | 26 | 9154 | 79.8 | 25M| 14 | - | 450 | 17k| 450 | 17k| 212 | 0 | 772 |-3.000000e+01 |-2.500000e+01 | 16.67%
47.58/47.62 o -26
47.58/47.62 c v47.6s| 61 | 25 | 9681 | 70.0 | 25M| 15 | - | 450 | 17k| 450 | 17k| 212 | 0 | 883 |-3.000000e+01 |-2.600000e+01 | 13.33%
59.08/59.19 o -27
59.08/59.19 c *59.2s| 421 | 84 | 18050 | 29.9 | 26M| 35 | - | 450 | 17k| 450 | 17k| 212 | 0 |1140 |-3.000000e+01 |-2.700000e+01 | 10.00%
126.06/126.11 o -28
126.06/126.11 c * 126s| 5190 | 720 |147253 | 27.3 | 37M| 67 | - | 450 | 17k| 450 | 17k| 212 | 0 |1698 |-3.000000e+01 |-2.800000e+01 | 6.67%
206.54/206.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.54/206.68 c 207s| 10000 | 2074 |314827 | 30.9 | 61M| 89 | - | 450 | 17k| 450 | 17k| 212 | 0 |2368 |-3.000000e+01 |-2.800000e+01 | 6.67%
323.13/323.25 c 323s| 20000 | 3594 |560035 | 27.7 | 88M| 128 | 60 | 450 | 17k| 450 | 17k| 212 | 0 |3023 |-3.000000e+01 |-2.800000e+01 | 6.67%
428.71/428.84 c 429s| 30000 | 4956 |797799 | 26.4 | 112M| 128 | 59 | 450 | 17k| 450 | 17k| 212 | 0 |3312 |-3.000000e+01 |-2.800000e+01 | 6.67%
536.78/536.95 c 537s| 40000 | 6090 | 1049k| 26.1 | 133M| 128 | - | 450 | 17k| 450 | 17k| 212 | 0 |3676 |-3.000000e+01 |-2.800000e+01 | 6.67%
649.37/649.57 c 650s| 50000 | 7064 | 1301k| 25.9 | 151M| 128 | 61 | 450 | 17k| 450 | 17k| 212 | 0 |4190 |-3.000000e+01 |-2.800000e+01 | 6.67%
763.16/763.34 c 763s| 60000 | 7876 | 1548k| 25.7 | 167M| 128 | - | 450 | 17k| 450 | 17k| 212 | 0 |4827 |-3.000000e+01 |-2.800000e+01 | 6.67%
870.93/871.17 c 871s| 70000 | 8544 | 1787k| 25.5 | 179M| 128 | 86 | 450 | 17k| 450 | 17k| 212 | 0 |5280 |-3.000000e+01 |-2.800000e+01 | 6.67%
984.22/984.43 c 984s| 80000 | 9318 | 2037k| 25.4 | 193M| 128 | - | 450 | 17k| 450 | 17k| 212 | 0 |5869 |-3.000000e+01 |-2.800000e+01 | 6.67%
1090.90/1091.13 c 1091s| 90000 | 10264 | 2281k| 25.3 | 208M| 128 | - | 450 | 17k| 450 | 17k| 212 | 0 |6176 |-3.000000e+01 |-2.800000e+01 | 6.67%
1199.68/1199.96 c 1200s|100000 | 10986 | 2524k| 25.2 | 221M| 128 | 38 | 450 | 17k| 450 | 17k| 212 | 0 |6566 |-3.000000e+01 |-2.800000e+01 | 6.67%
1308.56/1308.81 c 1309s|110000 | 11800 | 2767k| 25.1 | 234M| 128 | 66 | 450 | 17k| 450 | 17k| 212 | 0 |6986 |-3.000000e+01 |-2.800000e+01 | 6.67%
1416.65/1416.90 c 1417s|120000 | 12504 | 3008k| 25.0 | 246M| 128 | - | 450 | 17k| 450 | 17k| 212 | 0 |7377 |-3.000000e+01 |-2.800000e+01 | 6.67%
1523.83/1524.10 c 1524s|130000 | 13018 | 3248k| 25.0 | 256M| 128 | 68 | 450 | 17k| 450 | 17k| 212 | 0 |7736 |-3.000000e+01 |-2.800000e+01 | 6.67%
1633.40/1633.77 c 1634s|140000 | 13630 | 3502k| 25.0 | 267M| 128 | 80 | 450 | 17k| 450 | 17k| 212 | 0 |8087 |-3.000000e+01 |-2.800000e+01 | 6.67%
1742.99/1743.36 c 1743s|150000 | 14262 | 3754k| 25.0 | 278M| 128 | - | 450 | 17k| 450 | 17k| 212 | 0 |8414 |-3.000000e+01 |-2.800000e+01 | 6.67%
1747.60/1747.96 o -29
1747.60/1747.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.60/1747.96 c *1748s|150397 | 1602 | 3764k| 25.0 | 72M| 128 | - | 450 | 17k| 450 | 17k| 212 | 0 |8417 |-3.000000e+01 |-2.900000e+01 | 3.33%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 154238
1796.68/1797.00 c Primal Bound : -2.90000000000000e+01 (519 solutions)
1796.68/1797.00 c Dual Bound : -3.00000000000000e+01
1796.68/1797.00 c Gap : 3.33 %
1796.68/1797.01 s SATISFIABLE
1796.68/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
1796.68/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
1796.68/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
1796.68/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
1796.68/1797.01 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.68/1797.01 v -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.68/1797.01 v -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166
1796.68/1797.01 v -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1796.68/1797.01 v -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209
1796.68/1797.01 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1796.68/1797.01 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251
1796.68/1797.01 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1796.68/1797.01 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1796.68/1797.01 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1796.68/1797.01 v -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1796.68/1797.01 v -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356
1796.68/1797.01 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1796.68/1797.01 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1796.68/1797.01 v -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419
1796.68/1797.01 v -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1796.68/1797.01 v -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.00
1796.68/1797.01 c solving : 1797.00
1796.68/1797.01 c presolving : 0.25 (included in solving)
1796.68/1797.01 c reading : 0.09 (included in solving)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3733031-1338706332.opb
1796.68/1797.01 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 17831 initial, 17831 maximal
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3733031-1338706332.opb
1796.68/1797.01 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 17831 initial, 17831 maximal
1796.68/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.15 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.07 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 85577 0 520 0 136 2181 0 0 169024
1796.68/1797.01 c setppc : 17831 21 243733 4 1 515 0 0 2171705 0 0 0
1796.68/1797.01 c countsols : 0 0 0 4 1 518 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.68/1797.01 c integral : 171.30 0.00 0.00 171.30 0.00 0.01 0.00
1796.68/1797.01 c setppc : 36.49 0.03 36.23 0.00 0.00 0.23 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c rootredcost : 6 0 0 0
1796.68/1797.01 c pseudoobj : 243649 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.68/1797.01 c vbounds : 0.11 0.11 0.00
1796.68/1797.01 c rootredcost : 0.11 0.11 0.00
1796.68/1797.01 c pseudoobj : 3.07 3.07 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 0 0.0 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 20 - - 59 - (maximal pool size: 954)
1796.68/1797.01 c redcost : 0.80 86138 0 664 0 0
1796.68/1797.01 c impliedbounds : 0.01 21 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 4.45 21 0 0 9609 0
1796.68/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.68/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 1.43 20 0 0 9950 0
1796.68/1797.01 c cmir : 0.77 10 0 0 0 0
1796.68/1797.01 c flowcover : 0.88 10 0 0 0 0
1796.68/1797.01 c clique : 0.14 21 0 0 186 0
1796.68/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.01 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : Time Calls Vars
1796.68/1797.01 c problem variables: 0.00 0 0
1796.68/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 171.12 85573 136 2181 0 0 169024
1796.68/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : Time Calls Found
1796.68/1797.01 c LP solutions : 0.17 - 4
1796.68/1797.01 c pseudo solutions : 0.00 - 0
1796.68/1797.01 c feaspump : 0.01 0 0
1796.68/1797.01 c oneopt : 0.11 8 1
1796.68/1797.01 c pscostdiving : 1.45 33 5
1796.68/1797.01 c fracdiving : 4.30 33 1
1796.68/1797.01 c veclendiving : 1.39 33 1
1796.68/1797.01 c linesearchdiving : 1.51 33 1
1796.68/1797.01 c guideddiving : 4.63 33 1
1796.68/1797.01 c objpscostdiving : 1.93 17 44
1796.68/1797.01 c rootsoldiving : 1.57 17 28
1796.68/1797.01 c coefdiving : 3.74 34 2
1796.68/1797.01 c crossover : 1.75 18 10
1796.68/1797.01 c trivial : 0.00 2 1
1796.68/1797.01 c shiftandpropagate: 0.00 0 0
1796.68/1797.01 c simplerounding : 1.29 85594 95
1796.68/1797.01 c zirounding : 13.92 16101 322
1796.68/1797.01 c rounding : 7.73 13760 1
1796.68/1797.01 c shifting : 1.14 1752 1
1796.68/1797.01 c intshifting : 0.01 0 0
1796.68/1797.01 c twoopt : 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0 0
1796.68/1797.01 c clique : 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0 0
1796.68/1797.01 c octane : 0.00 0 0
1796.68/1797.01 c rens : 0.84 1 1
1796.68/1797.01 c rins : 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0 0
1796.68/1797.01 c dins : 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0 0
1796.68/1797.01 c subnlp : 0.08 0 0
1796.68/1797.01 c trysol : 0.06 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.68/1797.01 c primal LP : 0.01 0 0 0.00 0.00
1796.68/1797.01 c dual LP : 1279.10 155184 3848032 24.80 3008.40
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.68/1797.01 c diving/probing LP: 16.82 2649 42995 16.23 2556.58
1796.68/1797.01 c strong branching : 167.16 8494 449040 52.87 2686.31
1796.68/1797.01 c (at root node) : - 33 19113 579.18 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 154238
1796.68/1797.01 c nodes (total) : 154238
1796.68/1797.01 c nodes left : 1369
1796.68/1797.01 c max depth : 128
1796.68/1797.01 c max depth (total): 128
1796.68/1797.01 c backtracks : 17013 (11.0%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 7.28
1796.68/1797.01 c switching time : 69.74
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 519 (9 improvements)
1796.68/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : -2.90000000000000e+01 (in run 1, after 150397 nodes, 1747.79 seconds, depth 52, found by <relaxation>)
1796.68/1797.01 c Dual Bound : -3.00000000000000e+01
1796.68/1797.01 c Gap : 3.33 %
1796.68/1797.01 c Root Dual Bound : -3.00000000000000e+01
1796.68/1797.01 c Root Iterations : 5481
1796.78/1797.10 c Time complete: 1796.79.
OK -29
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3733031-1338706332/watcher-3733031-1338706332 -o /tmp/evaluation-result-3733031-1338706332/solver-3733031-1338706332 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3733031-1338706332.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.04 2.02 2.00 3/176 27177 /proc/meminfo: memFree=27411556/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=10952 CPUtime=0 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 1587 0 0 0 0 0 0 0 20 0 1 0 336759330 11214848 1542 33554432000 4194304 9016284 140735447037184 140733287414552 7825944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 2738 1550 340 1178 0 1556 0 [startup+0.086559 s] /proc/loadavg: 2.04 2.02 2.00 3/176 27177 /proc/meminfo: memFree=27411556/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=19968 CPUtime=0.07 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 3991 0 0 0 7 0 0 0 20 0 1 0 336759330 20447232 3945 33554432000 4194304 9016284 140735447037184 140733287414552 6816907 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 4992 3945 360 1178 0 3810 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 19968 [startup+0.100342 s] /proc/loadavg: 2.04 2.02 2.00 3/176 27177 /proc/meminfo: memFree=27411556/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=25492 CPUtime=0.08 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 5318 0 0 0 8 0 0 0 20 0 1 0 336759330 26103808 5272 33554432000 4194304 9016284 140735447037184 140733287414552 7875929 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 6373 5272 406 1178 0 5191 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 25492 [startup+0.300304 s] /proc/loadavg: 2.04 2.02 2.00 3/176 27177 /proc/meminfo: memFree=27411556/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=44272 CPUtime=0.29 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 10407 0 0 0 27 2 0 0 20 0 1 0 336759330 45334528 9795 33554432000 4194304 9016284 140735447037184 140733287414552 5510868 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 11068 9795 507 1178 0 9886 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44272 [startup+0.700296 s] /proc/loadavg: 2.04 2.02 2.00 3/176 27177 /proc/meminfo: memFree=27411556/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=71900 CPUtime=0.69 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 17571 0 0 0 66 3 0 0 20 0 1 0 336759330 73625600 16081 33554432000 4194304 9016284 140735447037184 140735447033288 6578058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 17975 16081 627 1178 0 16793 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 71900 [startup+1.50026 s] /proc/loadavg: 2.04 2.02 2.00 3/177 27178 /proc/meminfo: memFree=27348688/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=73524 CPUtime=1.48 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 18373 0 0 0 145 3 0 0 20 0 1 0 336759330 75288576 16849 33554432000 4194304 9016284 140735447037184 140735447032344 5880858 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 18381 16849 645 1178 0 17199 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 73524 [startup+3.10031 s] /proc/loadavg: 2.04 2.02 2.00 3/177 27178 /proc/meminfo: memFree=27344968/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=75116 CPUtime=3.09 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 18968 0 0 0 305 4 0 0 20 0 1 0 336759330 76918784 17444 33554432000 4194304 9016284 140735447037184 140735447032344 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 18779 17444 646 1178 0 17597 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 75116 [startup+6.3003 s] /proc/loadavg: 2.12 2.04 2.01 3/177 27178 /proc/meminfo: memFree=27342224/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=77576 CPUtime=6.29 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 19525 0 0 0 623 6 0 0 20 0 1 0 336759330 79437824 18001 33554432000 4194304 9016284 140735447037184 140735447032296 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 19394 18001 649 1178 0 18212 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77576 [startup+12.7003 s] /proc/loadavg: 2.11 2.04 2.00 3/177 27178 /proc/meminfo: memFree=27311240/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=110752 CPUtime=12.69 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 28034 0 0 0 1258 11 0 0 20 0 1 0 336759330 113410048 26482 33554432000 4194304 9016284 140735447037184 140735447030984 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 27688 26482 682 1178 0 26506 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 110752 [startup+25.5003 s] /proc/loadavg: 2.08 2.03 2.00 3/176 27178 /proc/meminfo: memFree=27307588/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=110752 CPUtime=25.48 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 28034 0 0 0 2533 15 0 0 20 0 1 0 336759330 113410048 26482 33554432000 4194304 9016284 140735447037184 140735447031352 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 27688 26482 682 1178 0 26506 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 110752 [startup+51.1003 s] /proc/loadavg: 2.05 2.03 2.00 3/177 27179 /proc/meminfo: memFree=27310868/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=110752 CPUtime=51.09 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 28034 0 0 0 5084 25 0 0 20 0 1 0 336759330 113410048 26482 33554432000 4194304 9016284 140735447037184 140735447031240 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 27688 26482 682 1178 0 26506 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 110752 [startup+102.307 s] /proc/loadavg: 2.09 2.04 2.00 3/177 27179 /proc/meminfo: memFree=27308868/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=108024 CPUtime=102.28 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 29945 0 0 0 10190 38 0 0 20 0 1 0 336759330 110616576 26092 33554432000 4194304 9016284 140735447037184 140735447031400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 27006 26092 686 1178 0 25824 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 108024 [startup+162.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 27179 /proc/meminfo: memFree=27307976/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=108584 CPUtime=162.24 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 49997 0 0 0 16162 62 0 0 20 0 1 0 336759330 111190016 26138 33554432000 4194304 9016284 140735447037184 140735447031512 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 27146 26138 686 1178 0 25964 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 108584 [startup+222.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 27179 /proc/meminfo: memFree=27275488/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=131828 CPUtime=222.24 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 62481 0 0 0 22138 86 0 0 20 0 1 0 336759330 134991872 31692 33554432000 4194304 9016284 140735447037184 140735447031512 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 32957 31692 686 1178 0 31775 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 131828 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 27179 /proc/meminfo: memFree=27260592/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=146456 CPUtime=282.23 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 72998 0 0 0 28115 108 0 0 20 0 1 0 336759330 149970944 35387 33554432000 4194304 9016284 140735447037184 140735447031512 7198896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 36614 35387 686 1178 0 35432 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 146456 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 27180 /proc/meminfo: memFree=27243852/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=157392 CPUtime=342.22 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 82483 0 0 0 34094 128 0 0 20 0 1 0 336759330 161169408 38015 33554432000 4194304 9016284 140735447037184 140735447031304 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 39348 38015 686 1178 0 38166 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 157392 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 27218 /proc/meminfo: memFree=27300692/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=175484 CPUtime=402.21 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 86966 0 0 0 40070 151 0 0 20 0 1 0 336759330 179695616 42590 33554432000 4194304 9016284 140735447037184 140735447031048 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 43871 42590 686 1178 0 42689 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 175484 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27218 /proc/meminfo: memFree=27279156/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=185952 CPUtime=462.2 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 96381 0 0 0 46048 172 0 0 20 0 1 0 336759330 190414848 45265 33554432000 4194304 9016284 140735447037184 140735447031352 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 46488 45265 686 1178 0 45306 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 185952 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 27221 /proc/meminfo: memFree=27268032/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=197020 CPUtime=522.19 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 99122 0 0 0 52025 194 0 0 20 0 1 0 336759330 201748480 48006 33554432000 4194304 9016284 140735447037184 140735447031512 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 49255 48006 686 1178 0 48073 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 197020 [startup+582.3 s] /proc/loadavg: 2.07 2.02 2.00 3/178 27244 /proc/meminfo: memFree=27201536/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=209316 CPUtime=582.17 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 102285 0 0 0 58000 217 0 0 20 0 1 0 336759330 214339584 51169 33554432000 4194304 9016284 140735447037184 140735447031048 7082034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 52329 51169 686 1178 0 51147 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 209316 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27068832/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=278900 CPUtime=1062.1 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 126009 0 0 0 105823 387 0 0 20 0 1 0 336759330 285593600 68629 33554432000 4194304 9016284 140735447037184 140735447031048 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 69725 68629 686 1178 0 68543 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 278900 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 27249 /proc/meminfo: memFree=27062872/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=284504 CPUtime=1122.1 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 127324 0 0 0 111803 407 0 0 20 0 1 0 336759330 291332096 69944 33554432000 4194304 9016284 140735447037184 140735447031048 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 71126 69944 686 1178 0 69944 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 284504 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27249 /proc/meminfo: memFree=27044136/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=291056 CPUtime=1182.08 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 129100 0 0 0 117783 425 0 0 20 0 1 0 336759330 298041344 71718 33554432000 4194304 9016284 140735447037184 140735447031512 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 72764 71718 686 1178 0 71582 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 291056 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 27249 /proc/meminfo: memFree=27030164/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=298500 CPUtime=1242.07 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 130981 0 0 0 123761 446 0 0 20 0 1 0 336759330 305664000 73659 33554432000 4194304 9016284 140735447037184 140735447031096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 74625 73659 686 1178 0 73443 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 298500 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27250 /proc/meminfo: memFree=27012796/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=305508 CPUtime=1302.07 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 138995 0 0 0 129739 468 0 0 20 0 1 0 336759330 312840192 75301 33554432000 4194304 9016284 140735447037184 140735447031048 4348360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 76377 75301 686 1178 0 75195 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 305508 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 27250 /proc/meminfo: memFree=27000876/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=311548 CPUtime=1362.05 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 140598 0 0 0 135716 489 0 0 20 0 1 0 336759330 319025152 76871 33554432000 4194304 9016284 140735447037184 140735447031512 7103737 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 77887 76871 686 1178 0 76705 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 311548 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/177 27250 /proc/meminfo: memFree=26980696/32873844 swapFree=7376/7376 [pid=27177] ppid=27175 vsize=316560 CPUtime=1422.05 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 141786 0 0 0 141696 509 0 0 20 0 1 0 336759330 324157440 78059 33554432000 4194304 9016284 140735447037184 140735447031512 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 79140 78059 686 1178 0 77958 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 316560 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27250 /proc/meminfo: memFree=26960360/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=324776 CPUtime=1482.03 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 143840 0 0 0 147675 528 0 0 20 0 1 0 336759330 332570624 80113 33554432000 4194304 9016284 140735447037184 140735447031288 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 81194 80113 686 1178 0 80012 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 324776 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27250 /proc/meminfo: memFree=26949076/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=327988 CPUtime=1542.02 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 144649 0 0 0 153655 547 0 0 20 0 1 0 336759330 335859712 80921 33554432000 4194304 9016284 140735447037184 140735447031416 6523992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 81997 80921 686 1178 0 80815 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 327988 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27251 /proc/meminfo: memFree=26928268/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=335608 CPUtime=1602.01 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 146566 0 0 0 159634 567 0 0 20 0 1 0 336759330 343662592 82883 33554432000 4194304 9016284 140735447037184 140735447031352 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 83902 82883 686 1178 0 82720 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 335608 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27251 /proc/meminfo: memFree=26914504/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=340472 CPUtime=1662 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 147714 0 0 0 165612 588 0 0 20 0 1 0 336759330 348643328 84031 33554432000 4194304 9016284 140735447037184 140735447031416 4889005 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 85118 84031 686 1178 0 83936 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 340472 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 27254 /proc/meminfo: memFree=26902716/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=345560 CPUtime=1721.99 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 148846 0 0 0 171589 610 0 0 20 0 1 0 336759330 353853440 85163 33554432000 4194304 9016284 140735447037184 140735447031352 7214592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 86390 85163 686 1178 0 85208 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 345560 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27254 /proc/meminfo: memFree=26872504/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=350244 CPUtime=1781.99 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 168000 0 0 0 177564 635 0 0 20 0 1 0 336759330 358649856 86512 33554432000 4194304 9016284 140735447037184 140735447030552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 87561 86512 686 1178 0 86379 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 350244 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 27254 /proc/meminfo: memFree=26874100/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=350268 CPUtime=1785.19 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 173507 0 0 0 177880 639 0 0 20 0 1 0 336759330 358674432 86158 33554432000 4194304 9016284 140735447037184 140735447031352 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 87567 86158 686 1178 0 86385 0 Current children cumulated CPU time (s) 1785.19 Current children cumulated vsize (KiB) 350268 [startup+1791.91 s] /proc/loadavg: 2.08 2.02 2.01 3/177 27254 /proc/meminfo: memFree=26873108/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=350268 CPUtime=1791.59 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 173773 0 0 0 178518 641 0 0 20 0 1 0 336759330 358674432 86424 33554432000 4194304 9016284 140735447037184 140735447031352 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 87567 86424 686 1178 0 86385 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 350268 [startup+1795.1 s] /proc/loadavg: 2.08 2.02 2.01 3/177 27254 /proc/meminfo: memFree=26872968/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=350268 CPUtime=1794.79 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 173836 0 0 0 178837 642 0 0 20 0 1 0 336759330 358674432 86487 33554432000 4194304 9016284 140735447037184 140735447031416 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 87567 86487 686 1178 0 86385 0 Current children cumulated CPU time (s) 1794.79 Current children cumulated vsize (KiB) 350268 [startup+1795.9 s] /proc/loadavg: 2.08 2.02 2.01 3/177 27254 /proc/meminfo: memFree=26872968/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=350268 CPUtime=1795.58 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 173836 0 0 0 178916 642 0 0 20 0 1 0 336759330 358674432 86487 33554432000 4194304 9016284 140735447037184 140735447030552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 87567 86487 686 1178 0 86385 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (KiB) 350268 [startup+1796.7 s] /proc/loadavg: 2.07 2.02 2.00 3/177 27254 /proc/meminfo: memFree=26872968/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=350268 CPUtime=1796.38 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 173836 0 0 0 178996 642 0 0 20 0 1 0 336759330 358674432 86487 33554432000 4194304 9016284 140735447037184 140735447031048 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 87567 86487 686 1178 0 86385 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 350268 [startup+1797.1 s] /proc/loadavg: 2.07 2.02 2.00 3/177 27254 /proc/meminfo: memFree=26872968/32873844 swapFree=7372/7372 [pid=27177] ppid=27175 vsize=330380 CPUtime=1796.78 cores=1,3,5,7 /proc/27177/stat : 27177 (scip-2.0.1.4b_2) R 27175 27177 26510 0 -1 4202496 173840 0 0 0 179036 642 0 0 20 0 1 0 336759330 338309120 81894 33554432000 4194304 9016284 140735447037184 140735447031048 7933303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27177/statm: 82595 81637 688 1178 0 81413 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 330380 Child status: 0 Real time (s): 1797.11 CPU time (s): 1796.8 CPU user time (s): 1790.37 CPU system time (s): 6.43202 CPU usage (%): 99.9828 Max. virtual memory (cumulated for all children) (KiB): 371072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.37 system time used= 6.43202 maximum resident set size= 367680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 173845 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= 52 involuntary context switches= 1845 runsolver used 3.02454 second user time and 8.60669 second system time The end
Begin job on node118 at 2012-06-03 08:52:12 IDJOB=3733031 IDBENCH=2238 IDSOLVER=2329 FILE ID=node118/3733031-1338706332 RUNJOBID= node118-1338703112-26527 PBS_JOBID= 14636719 Free space on /tmp= 70952 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.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-3733031-1338706332/watcher-3733031-1338706332 -o /tmp/evaluation-result-3733031-1338706332/solver-3733031-1338706332 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3733031-1338706332.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e RANDOM SEED=1130459298 node118.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.42 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5320.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27411828 kB Buffers: 489972 kB Cached: 3898164 kB SwapCached: 0 kB Active: 1584120 kB Inactive: 3013404 kB Active(anon): 199352 kB Inactive(anon): 11328 kB Active(file): 1384768 kB Inactive(file): 3002076 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17088 kB Writeback: 0 kB AnonPages: 280696 kB Mapped: 14556 kB Shmem: 200 kB Slab: 724380 kB SReclaimable: 165708 kB SUnreclaim: 558672 kB KernelStack: 1480 kB PageTables: 4664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 325468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70936 MiB End job on node118 at 2012-06-03 09:22:10