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 SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed | SAT | -44 | 1797.05 | 1797.33 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb |
| MD5SUM | dc857dc123c51e1f53f981679774fda8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -47 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -49 |
| Optimality of the best value was proved | NO |
| Number of variables | 1150 |
| Total number of constraints | 80072 |
| Number of constraints which are clauses | 80072 |
| 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 | 1150 |
| 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 | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692108-1338032787.opb>
0.09/0.17 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80072 constraints
0.09/0.17 c problem read in 0.17
0.19/0.26 o 0
0.19/0.27 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.27 c presolving:
0.59/0.69 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80072 upgd conss, 160144 impls, 0 clqs
1.00/1.06 c (1.1s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.06 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.00/1.08 c presolving (2 rounds):
1.00/1.08 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.08 c 160144 implications, 0 cliques
1.00/1.08 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80072 constraints
1.00/1.08 c 80072 constraints of type <setppc>
1.00/1.08 c transformed objective value is always integral (scale: 1)
1.00/1.08 c Presolving Time: 0.82
1.00/1.08 c - non default parameters ----------------------------------------------------------------------
1.00/1.08 c # SCIP version 2.1.1.4
1.00/1.08 c
1.00/1.08 c # maximal time in seconds to run
1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.08 c limits/time = 1797
1.00/1.08 c
1.00/1.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.08 c limits/memory = 13950
1.00/1.08 c
1.00/1.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.08 c # [type: int, range: [1,2], default: 1]
1.00/1.08 c timing/clocktype = 2
1.00/1.08 c
1.00/1.08 c # belongs reading time to solving time?
1.00/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.08 c timing/reading = TRUE
1.00/1.08 c
1.00/1.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.08 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.08 c separating/rapidlearning/freq = 0
1.00/1.08 c
1.00/1.08 c -----------------------------------------------------------------------------------------------
1.00/1.08 c start solving
1.00/1.10 c
2.10/2.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.10/2.17 c t 2.2s| 1 | 0 | 1152 | - | 105M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | Inf
2.19/2.23 o -1
2.19/2.23 c R 2.2s| 1 | 0 | 1152 | - | 105M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | Large
3.49/3.51 c 3.5s| 1 | 0 | 1479 | - | 105M| 0 |1085 |1150 | 80k|1150 | 80k| 8 | 0 | 0 |-5.425000e+02 |-1.000000e+00 | Large
3.49/3.53 o -33
3.49/3.53 c b 3.5s| 1 | 0 | 1479 | - | 106M| 0 |1085 |1150 | 80k|1150 | 80k| 8 | 0 | 0 |-5.425000e+02 |-3.300000e+01 |1543.94%
5.29/5.38 c 5.4s| 1 | 0 | 1619 | - | 106M| 0 |1028 |1150 | 80k|1150 | 80k| 27 | 0 | 0 |-5.140000e+02 |-3.300000e+01 |1457.58%
8.19/8.29 c 8.3s| 1 | 0 | 1929 | - | 106M| 0 | 919 |1150 | 80k|1150 | 80k| 104 | 0 | 0 |-4.595000e+02 |-3.300000e+01 |1292.42%
11.79/11.89 c 11.9s| 1 | 0 | 2064 | - | 106M| 0 | 865 |1150 | 80k|1150 | 80k| 121 | 0 | 0 |-4.325000e+02 |-3.300000e+01 |1210.61%
15.59/15.60 c 15.6s| 1 | 0 | 2273 | - | 106M| 0 | 829 |1150 | 80k|1150 | 80k| 130 | 0 | 0 |-4.133750e+02 |-3.300000e+01 |1152.65%
19.29/19.39 c 19.4s| 1 | 0 | 2555 | - | 106M| 0 | 783 |1150 | 80k|1150 | 80k| 141 | 0 | 0 |-3.902500e+02 |-3.300000e+01 |1082.58%
23.29/23.34 c 23.3s| 1 | 0 | 3062 | - | 106M| 0 | 733 |1150 | 80k|1150 | 80k| 153 | 0 | 0 |-3.652500e+02 |-3.300000e+01 |1006.82%
27.39/27.45 c 27.5s| 1 | 0 | 3634 | - | 106M| 0 | 691 |1150 | 80k|1150 | 80k| 171 | 0 | 0 |-3.442500e+02 |-3.300000e+01 | 943.18%
32.29/32.37 c 32.4s| 1 | 0 | 5040 | - | 106M| 0 | 628 |1150 | 80k|1150 | 80k| 187 | 0 | 0 |-3.127500e+02 |-3.300000e+01 | 847.73%
35.99/36.01 c 36.0s| 1 | 0 | 5420 | - | 106M| 0 | 577 |1150 | 80k|1150 | 80k| 211 | 0 | 0 |-2.877500e+02 |-3.300000e+01 | 771.97%
36.78/36.87 c 36.9s| 1 | 0 | 6034 | - | 106M| 0 | 515 |1150 | 80k|1150 | 80k| 231 | 0 | 0 |-2.567500e+02 |-3.300000e+01 | 678.03%
37.58/37.65 c 37.6s| 1 | 0 | 6588 | - | 106M| 0 | 467 |1150 | 80k|1150 | 80k| 247 | 0 | 0 |-2.327500e+02 |-3.300000e+01 | 605.30%
40.49/40.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.49/40.52 c 40.5s| 1 | 0 | 9374 | - | 106M| 0 | 416 |1150 | 80k|1150 | 80k| 260 | 0 | 0 |-2.072500e+02 |-3.300000e+01 | 528.03%
43.38/43.41 c 43.4s| 1 | 0 | 11992 | - | 106M| 0 | 385 |1150 | 80k|1150 | 80k| 275 | 0 | 0 |-1.917500e+02 |-3.300000e+01 | 481.06%
45.19/45.26 c 45.3s| 1 | 0 | 13610 | - | 106M| 0 | 364 |1150 | 80k|1150 | 80k| 285 | 0 | 0 |-1.812500e+02 |-3.300000e+01 | 449.24%
46.09/46.14 c 46.1s| 1 | 0 | 14414 | - | 106M| 0 | 313 |1150 | 80k|1150 | 80k| 298 | 0 | 0 |-1.565000e+02 |-3.300000e+01 | 374.24%
48.18/48.27 c 48.3s| 1 | 0 | 16478 | - | 106M| 0 | 277 |1150 | 80k|1150 | 80k| 308 | 0 | 0 |-1.385000e+02 |-3.300000e+01 | 319.70%
51.98/52.03 c 52.0s| 1 | 0 | 19827 | - | 106M| 0 | 246 |1150 | 80k|1150 | 80k| 319 | 0 | 0 |-1.230000e+02 |-3.300000e+01 | 272.73%
52.38/52.49 c 52.5s| 1 | 0 | 19995 | - | 106M| 0 | 243 |1150 | 80k|1150 | 80k| 328 | 0 | 0 |-1.135000e+02 |-3.300000e+01 | 243.94%
52.98/53.03 c 53.0s| 1 | 0 | 20182 | - | 106M| 0 | 209 |1150 | 80k|1150 | 80k| 335 | 0 | 0 |-1.055000e+02 |-3.300000e+01 | 219.70%
54.18/54.27 c 54.3s| 1 | 0 | 21806 | - | 106M| 0 | 195 |1150 | 80k|1150 | 80k| 338 | 0 | 0 |-9.850000e+01 |-3.300000e+01 | 198.48%
54.58/54.60 c 54.6s| 1 | 0 | 22178 | - | 106M| 0 | 169 |1150 | 80k|1150 | 80k| 343 | 0 | 0 |-8.450000e+01 |-3.300000e+01 | 156.06%
55.48/55.57 c 55.6s| 1 | 0 | 23403 | - | 106M| 0 | 153 |1150 | 80k|1150 | 80k| 347 | 0 | 0 |-7.000000e+01 |-3.300000e+01 | 112.12%
55.68/55.71 c 55.7s| 1 | 0 | 23506 | - | 106M| 0 | 145 |1150 | 80k|1150 | 80k| 354 | 0 | 0 |-6.300000e+01 |-3.300000e+01 | 90.91%
55.88/55.90 c 55.9s| 1 | 0 | 23622 | - | 106M| 0 | 126 |1150 | 80k|1150 | 80k| 357 | 0 | 0 |-5.600000e+01 |-3.300000e+01 | 69.70%
55.99/56.07 c 56.1s| 1 | 0 | 23738 | - | 106M| 0 | 128 |1150 | 80k|1150 | 80k| 363 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
56.09/56.15 c 56.1s| 1 | 0 | 23778 | - | 106M| 0 | 137 |1150 | 80k|1150 | 80k| 371 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
56.18/56.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.18/56.26 c 56.3s| 1 | 0 | 23841 | - | 106M| 0 | 144 |1150 | 80k|1150 | 80k| 378 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
56.28/56.38 c 56.4s| 1 | 0 | 23884 | - | 106M| 0 | 150 |1150 | 80k|1150 | 80k| 386 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
56.48/56.51 c 56.5s| 1 | 0 | 23943 | - | 106M| 0 | 155 |1150 | 80k|1150 | 80k| 395 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
56.68/56.70 c 56.7s| 1 | 0 | 24049 | - | 106M| 0 | 168 |1150 | 80k|1150 | 80k| 402 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
65.48/65.59 c 65.6s| 1 | 2 | 24049 | - | 106M| 0 | 168 |1150 | 80k|1150 | 80k| 402 | 0 | 33 |-5.000000e+01 |-3.300000e+01 | 51.52%
107.88/107.91 o -35
107.88/107.91 c c 108s| 12 | 13 | 25449 | 127.3 | 109M| 11 | - |1150 | 80k|1150 | 80k| 402 | 0 | 294 |-5.000000e+01 |-3.500000e+01 | 42.86%
107.88/107.93 o -38
107.88/107.93 c c 108s| 12 | 13 | 25451 | 127.5 | 109M| 11 | - |1150 | 80k|1150 | 80k| 402 | 0 | 294 |-5.000000e+01 |-3.800000e+01 | 31.58%
243.84/243.97 o -40
243.84/243.97 c l 244s| 81 | 82 | 33216 | 114.6 | 115M| 19 | - |1150 | 80k|1150 | 80k| 402 | 0 |1158 |-5.000000e+01 |-4.000000e+01 | 25.00%
245.84/245.90 c 246s| 100 | 101 | 34344 | 104.0 | 116M| 22 | 89 |1150 | 80k|1150 | 80k| 402 | 0 |1158 |-5.000000e+01 |-4.000000e+01 | 25.00%
255.84/255.91 o -42
255.84/255.91 c l 256s| 161 | 155 | 39193 | 94.7 | 118M| 26 | - |1150 | 80k|1150 | 80k| 402 | 0 |1169 |-5.000000e+01 |-4.200000e+01 | 19.05%
255.84/255.98 o -43
255.84/255.98 c b 256s| 162 | 145 | 39194 | 94.1 | 118M| 26 | 88 |1150 | 80k|1150 | 80k| 402 | 0 |1169 |-5.000000e+01 |-4.300000e+01 | 16.28%
261.23/261.37 c 261s| 200 | 171 | 41482 | 87.6 | 119M| 28 | 65 |1150 | 80k|1150 | 80k| 402 | 0 |1188 |-5.000000e+01 |-4.300000e+01 | 16.28%
276.13/276.22 c 276s| 300 | 253 | 48402 | 81.4 | 122M| 29 | 83 |1150 | 80k|1150 | 80k| 402 | 0 |1216 |-5.000000e+01 |-4.300000e+01 | 16.28%
288.04/288.13 c 288s| 400 | 319 | 54676 | 76.8 | 125M| 34 | 87 |1150 | 80k|1150 | 80k| 402 | 0 |1235 |-5.000000e+01 |-4.300000e+01 | 16.28%
303.94/304.05 c 304s| 500 | 387 | 61947 | 75.9 | 127M| 34 | - |1150 | 80k|1150 | 80k| 402 | 0 |1287 |-5.000000e+01 |-4.300000e+01 | 16.28%
318.33/318.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.33/318.43 c 318s| 600 | 467 | 68979 | 75.0 | 131M| 34 | 88 |1150 | 80k|1150 | 80k| 402 | 0 |1315 |-5.000000e+01 |-4.300000e+01 | 16.28%
330.43/330.52 c 331s| 700 | 529 | 74656 | 72.4 | 133M| 37 | - |1150 | 80k|1150 | 80k| 402 | 0 |1343 |-5.000000e+01 |-4.300000e+01 | 16.28%
345.52/345.63 c 346s| 800 | 623 | 82427 | 73.1 | 136M| 49 | 74 |1150 | 80k|1150 | 80k| 402 | 0 |1371 |-5.000000e+01 |-4.300000e+01 | 16.28%
363.12/363.25 c 363s| 900 | 723 | 89530 | 72.8 | 138M| 49 | 94 |1150 | 80k|1150 | 80k| 402 | 0 |1406 |-5.000000e+01 |-4.300000e+01 | 16.28%
385.82/385.98 c 386s| 1000 | 823 | 99991 | 76.0 | 141M| 49 | 147 |1150 | 80k|1150 | 80k| 402 | 0 |1441 |-5.000000e+01 |-4.300000e+01 | 16.28%
409.02/409.15 c 409s| 1100 | 923 |110981 | 79.1 | 144M| 49 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |1468 |-5.000000e+01 |-4.300000e+01 | 16.28%
426.31/426.40 c 426s| 1200 | 1023 |119218 | 79.4 | 147M| 49 | 107 |1150 | 80k|1150 | 80k| 402 | 0 |1501 |-5.000000e+01 |-4.300000e+01 | 16.28%
449.31/449.49 c 449s| 1300 | 1123 |131131 | 82.4 | 150M| 49 | 116 |1150 | 80k|1150 | 80k| 402 | 0 |1537 |-5.000000e+01 |-4.300000e+01 | 16.28%
482.30/482.45 c 482s| 1400 | 1223 |148027 | 88.6 | 153M| 49 | 103 |1150 | 80k|1150 | 80k| 402 | 0 |1581 |-5.000000e+01 |-4.300000e+01 | 16.28%
508.90/509.06 c 509s| 1500 | 1323 |160376 | 90.9 | 157M| 49 | 150 |1150 | 80k|1150 | 80k| 402 | 0 |1626 |-5.000000e+01 |-4.300000e+01 | 16.28%
532.40/532.59 c 533s| 1600 | 1423 |171787 | 92.4 | 160M| 49 | 81 |1150 | 80k|1150 | 80k| 402 | 0 |1663 |-5.000000e+01 |-4.300000e+01 | 16.28%
554.59/554.77 c 555s| 1700 | 1523 |182143 | 93.1 | 164M| 49 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |1710 |-5.000000e+01 |-4.300000e+01 | 16.28%
593.09/593.22 c 593s| 1800 | 1623 |199970 | 97.8 | 168M| 49 | 92 |1150 | 80k|1150 | 80k| 402 | 0 |1770 |-5.000000e+01 |-4.300000e+01 | 16.28%
627.79/627.93 c 628s| 1900 | 1723 |216844 | 101.5 | 171M| 49 | 74 |1150 | 80k|1150 | 80k| 402 | 0 |1813 |-5.000000e+01 |-4.300000e+01 | 16.28%
664.68/664.84 c 665s| 2000 | 1821 |234611 | 105.3 | 175M| 49 | 93 |1150 | 80k|1150 | 80k| 402 | 0 |1869 |-5.000000e+01 |-4.300000e+01 | 16.28%
703.57/703.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.57/703.72 c 704s| 2100 | 1919 |253933 | 109.5 | 179M| 49 | 109 |1150 | 80k|1150 | 80k| 402 | 0 |1919 |-5.000000e+01 |-4.300000e+01 | 16.28%
739.36/739.56 c 740s| 2200 | 2019 |269617 | 111.7 | 182M| 49 | 214 |1150 | 80k|1150 | 80k| 402 | 0 |1981 |-5.000000e+01 |-4.300000e+01 | 16.28%
767.67/767.84 c 768s| 2300 | 2119 |282314 | 112.3 | 186M| 49 | 114 |1150 | 80k|1150 | 80k| 402 | 0 |2023 |-5.000000e+01 |-4.300000e+01 | 16.28%
799.66/799.84 c 800s| 2400 | 2219 |298958 | 114.6 | 189M| 49 | 84 |1150 | 80k|1150 | 80k| 402 | 0 |2079 |-5.000000e+01 |-4.300000e+01 | 16.28%
830.85/831.07 c 831s| 2500 | 2319 |314077 | 116.1 | 192M| 49 | 117 |1150 | 80k|1150 | 80k| 402 | 0 |2143 |-5.000000e+01 |-4.300000e+01 | 16.28%
860.95/861.16 c 861s| 2600 | 2417 |328128 | 117.0 | 195M| 49 | 115 |1150 | 80k|1150 | 80k| 402 | 0 |2201 |-5.000000e+01 |-4.300000e+01 | 16.28%
895.54/895.77 c 896s| 2700 | 2515 |345788 | 119.2 | 199M| 49 | 83 |1150 | 80k|1150 | 80k| 402 | 0 |2249 |-5.000000e+01 |-4.300000e+01 | 16.28%
919.13/919.34 c 919s| 2800 | 2615 |358904 | 119.6 | 202M| 49 | 89 |1150 | 80k|1150 | 80k| 402 | 0 |2260 |-5.000000e+01 |-4.300000e+01 | 16.28%
948.13/948.37 c 948s| 2900 | 2715 |375951 | 121.4 | 206M| 49 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |2295 |-5.000000e+01 |-4.300000e+01 | 16.28%
971.04/971.25 c 971s| 3000 | 2815 |389661 | 121.9 | 209M| 49 | 115 |1150 | 80k|1150 | 80k| 402 | 0 |2310 |-5.000000e+01 |-4.300000e+01 | 16.28%
972.63/972.84 o -44
972.63/972.84 c p 973s| 3009 | 2735 |390665 | 121.9 | 208M| 49 | - |1150 | 80k|1150 | 80k| 402 | 0 |2314 |-5.000000e+01 |-4.400000e+01 | 13.64%
999.43/999.63 c 1000s| 3100 | 2820 |405575 | 123.1 | 211M| 49 | 74 |1150 | 80k|1150 | 80k| 402 | 0 |2329 |-5.000000e+01 |-4.400000e+01 | 13.64%
1022.12/1022.33 c 1022s| 3200 | 2918 |419631 | 123.7 | 214M| 49 | - |1150 | 80k|1150 | 80k| 402 | 0 |2339 |-5.000000e+01 |-4.400000e+01 | 13.64%
1048.02/1048.28 c 1048s| 3300 | 3012 |433758 | 124.2 | 218M| 49 | 103 |1150 | 80k|1150 | 80k| 402 | 0 |2351 |-5.000000e+01 |-4.400000e+01 | 13.64%
1075.72/1075.98 c 1076s| 3400 | 3102 |452362 | 126.0 | 221M| 49 | 76 |1150 | 80k|1150 | 80k| 402 | 0 |2358 |-5.000000e+01 |-4.400000e+01 | 13.64%
1103.41/1103.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.41/1103.69 c 1104s| 3500 | 3198 |468465 | 127.0 | 224M| 49 | 91 |1150 | 80k|1150 | 80k| 402 | 0 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%
1127.80/1128.00 c 1128s| 3600 | 3292 |483364 | 127.6 | 228M| 49 | 70 |1150 | 80k|1150 | 80k| 402 | 0 |2370 |-5.000000e+01 |-4.400000e+01 | 13.64%
1154.71/1154.93 c 1155s| 3700 | 3390 |497637 | 128.0 | 231M| 49 | 72 |1150 | 80k|1150 | 80k| 402 | 0 |2421 |-5.000000e+01 |-4.400000e+01 | 13.64%
1180.50/1180.77 c 1181s| 3800 | 3482 |510232 | 128.0 | 234M| 50 | 87 |1150 | 80k|1150 | 80k| 402 | 0 |2468 |-5.000000e+01 |-4.400000e+01 | 13.64%
1201.49/1201.71 c 1202s| 3900 | 3566 |519959 | 127.2 | 236M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |2529 |-5.000000e+01 |-4.400000e+01 | 13.64%
1218.60/1218.86 c 1219s| 4000 | 3644 |529557 | 126.4 | 239M| 55 | 100 |1150 | 80k|1150 | 80k| 402 | 0 |2568 |-5.000000e+01 |-4.400000e+01 | 13.64%
1243.19/1243.46 c 1243s| 4100 | 3732 |541861 | 126.3 | 242M| 55 | 123 |1150 | 80k|1150 | 80k| 402 | 0 |2624 |-5.000000e+01 |-4.400000e+01 | 13.64%
1264.69/1265.00 c 1265s| 4200 | 3814 |552178 | 125.8 | 245M| 55 | 73 |1150 | 80k|1150 | 80k| 402 | 0 |2678 |-5.000000e+01 |-4.400000e+01 | 13.64%
1285.29/1285.50 c 1286s| 4300 | 3902 |561678 | 125.1 | 247M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |2726 |-5.000000e+01 |-4.400000e+01 | 13.64%
1298.89/1299.14 c 1299s| 4400 | 3964 |568209 | 123.7 | 249M| 55 | 64 |1150 | 80k|1150 | 80k| 402 | 0 |2775 |-5.000000e+01 |-4.400000e+01 | 13.64%
1323.27/1323.55 c 1324s| 4500 | 4044 |580906 | 123.8 | 252M| 55 | 88 |1150 | 80k|1150 | 80k| 402 | 0 |2824 |-5.000000e+01 |-4.400000e+01 | 13.64%
1341.87/1342.13 c 1342s| 4600 | 4120 |591822 | 123.5 | 255M| 55 | 174 |1150 | 80k|1150 | 80k| 402 | 0 |2841 |-5.000000e+01 |-4.400000e+01 | 13.64%
1359.07/1359.38 c 1359s| 4700 | 4200 |601720 | 122.9 | 257M| 55 | 61 |1150 | 80k|1150 | 80k| 402 | 0 |2866 |-5.000000e+01 |-4.400000e+01 | 13.64%
1377.27/1377.59 c 1378s| 4800 | 4276 |612548 | 122.6 | 260M| 55 | 72 |1150 | 80k|1150 | 80k| 402 | 0 |2875 |-5.000000e+01 |-4.400000e+01 | 13.64%
1392.06/1392.35 c 1392s| 4900 | 4350 |621731 | 122.0 | 262M| 55 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |2881 |-5.000000e+01 |-4.400000e+01 | 13.64%
1406.07/1406.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.07/1406.32 c 1406s| 5000 | 4428 |630064 | 121.2 | 265M| 55 | 115 |1150 | 80k|1150 | 80k| 402 | 0 |2888 |-5.000000e+01 |-4.400000e+01 | 13.64%
1421.97/1422.25 c 1422s| 5100 | 4504 |640150 | 120.8 | 267M| 55 | 60 |1150 | 80k|1150 | 80k| 402 | 0 |2898 |-5.000000e+01 |-4.400000e+01 | 13.64%
1436.56/1436.84 c 1437s| 5200 | 4580 |649146 | 120.2 | 269M| 55 | 136 |1150 | 80k|1150 | 80k| 402 | 0 |2901 |-5.000000e+01 |-4.400000e+01 | 13.64%
1454.05/1454.32 c 1454s| 5300 | 4650 |659109 | 119.8 | 272M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |2918 |-5.000000e+01 |-4.400000e+01 | 13.64%
1472.05/1472.35 c 1472s| 5400 | 4730 |669857 | 119.6 | 274M| 55 | 62 |1150 | 80k|1150 | 80k| 402 | 0 |2922 |-5.000000e+01 |-4.400000e+01 | 13.64%
1488.65/1488.98 c 1489s| 5500 | 4802 |679802 | 119.2 | 276M| 55 | 85 |1150 | 80k|1150 | 80k| 402 | 0 |2927 |-5.000000e+01 |-4.400000e+01 | 13.64%
1500.95/1501.23 c 1501s| 5600 | 4860 |687806 | 118.5 | 278M| 55 | 69 |1150 | 80k|1150 | 80k| 402 | 0 |2932 |-5.000000e+01 |-4.400000e+01 | 13.64%
1516.25/1516.55 c 1517s| 5700 | 4938 |697271 | 118.1 | 281M| 55 | 106 |1150 | 80k|1150 | 80k| 402 | 0 |2933 |-5.000000e+01 |-4.400000e+01 | 13.64%
1531.65/1531.90 c 1532s| 5800 | 5002 |705824 | 117.6 | 283M| 55 | 98 |1150 | 80k|1150 | 80k| 402 | 0 |2961 |-5.000000e+01 |-4.400000e+01 | 13.64%
1552.95/1553.29 c 1553s| 5900 | 5088 |716644 | 117.4 | 286M| 55 | 82 |1150 | 80k|1150 | 80k| 402 | 0 |3006 |-5.000000e+01 |-4.400000e+01 | 13.64%
1571.74/1572.03 c 1572s| 6000 | 5164 |726261 | 117.1 | 288M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |3044 |-5.000000e+01 |-4.400000e+01 | 13.64%
1590.43/1590.72 c 1591s| 6100 | 5236 |735725 | 116.7 | 291M| 55 | 72 |1150 | 80k|1150 | 80k| 402 | 0 |3088 |-5.000000e+01 |-4.400000e+01 | 13.64%
1607.34/1607.67 c 1608s| 6200 | 5310 |744097 | 116.2 | 293M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |3120 |-5.000000e+01 |-4.400000e+01 | 13.64%
1624.63/1624.91 c 1625s| 6300 | 5376 |752520 | 115.6 | 295M| 55 | 71 |1150 | 80k|1150 | 80k| 402 | 0 |3169 |-5.000000e+01 |-4.400000e+01 | 13.64%
1648.42/1648.73 c 1649s| 6400 | 5450 |764927 | 115.8 | 298M| 55 | 81 |1150 | 80k|1150 | 80k| 402 | 0 |3227 |-5.000000e+01 |-4.400000e+01 | 13.64%
1669.53/1669.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.53/1669.81 c 1670s| 6500 | 5524 |775400 | 115.6 | 300M| 55 | 101 |1150 | 80k|1150 | 80k| 402 | 0 |3263 |-5.000000e+01 |-4.400000e+01 | 13.64%
1685.32/1685.68 c 1686s| 6600 | 5594 |783074 | 115.0 | 302M| 55 | 91 |1150 | 80k|1150 | 80k| 402 | 0 |3304 |-5.000000e+01 |-4.400000e+01 | 13.64%
1700.42/1700.70 c 1701s| 6700 | 5658 |790068 | 114.3 | 305M| 55 | 82 |1150 | 80k|1150 | 80k| 402 | 0 |3347 |-5.000000e+01 |-4.400000e+01 | 13.64%
1716.91/1717.20 c 1717s| 6800 | 5734 |799340 | 114.0 | 307M| 55 | 61 |1150 | 80k|1150 | 80k| 402 | 0 |3379 |-5.000000e+01 |-4.400000e+01 | 13.64%
1733.62/1733.98 c 1734s| 6900 | 5796 |806938 | 113.5 | 309M| 55 | 115 |1150 | 80k|1150 | 80k| 402 | 0 |3421 |-5.000000e+01 |-4.400000e+01 | 13.64%
1754.61/1754.92 c 1755s| 7000 | 5876 |817760 | 113.4 | 312M| 55 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |3468 |-5.000000e+01 |-4.400000e+01 | 13.64%
1779.70/1780.06 c 1780s| 7100 | 5966 |830606 | 113.6 | 315M| 55 | 127 |1150 | 80k|1150 | 80k| 402 | 0 |3514 |-5.000000e+01 |-4.400000e+01 | 13.64%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 7172
1796.70/1797.00 c Primal Bound : -4.40000000000000e+01 (578 solutions)
1796.70/1797.00 c Dual Bound : -5.00000000000000e+01
1796.70/1797.00 c Gap : 13.64 %
1796.70/1797.02 s SATISFIABLE
1796.70/1797.02 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.70/1797.02 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.70/1797.02 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
1796.70/1797.02 v -x79 -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.70/1797.02 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
1796.70/1797.02 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.70/1797.02 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.70/1797.02 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 x186 -x187
1796.70/1797.02 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1796.70/1797.02 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229
1796.70/1797.02 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.70/1797.02 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.70/1797.02 v -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1796.70/1797.02 v -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.70/1797.02 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334
1796.70/1797.02 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355
1796.70/1797.02 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.70/1797.02 v x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.70/1797.02 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418
1796.70/1797.02 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.70/1797.02 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1796.70/1797.02 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1796.70/1797.02 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501
1796.70/1797.02 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1796.70/1797.02 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1796.70/1797.02 v -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1796.70/1797.02 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585
1796.70/1797.02 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606
1796.70/1797.02 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1796.70/1797.02 v -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648
1796.70/1797.02 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1796.70/1797.02 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1796.70/1797.02 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1796.70/1797.02 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1796.70/1797.02 v -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1796.70/1797.02 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1796.70/1797.02 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1796.70/1797.02 v x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1796.70/1797.02 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1796.70/1797.02 v -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858
1796.70/1797.02 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1796.70/1797.02 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1796.70/1797.02 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1796.70/1797.02 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942
1796.70/1797.02 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963
1796.70/1797.02 v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
1796.70/1797.02 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004
1796.70/1797.02 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
1796.70/1797.02 v -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1796.70/1797.02 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1796.70/1797.02 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075
1796.70/1797.02 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093
1796.70/1797.02 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1796.70/1797.02 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1796.70/1797.02 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147
1796.70/1797.02 v -x1148 -x1149 -x1150
1796.70/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.02 c Total Time : 1797.00
1796.70/1797.02 c solving : 1797.00
1796.70/1797.02 c presolving : 0.82 (included in solving)
1796.70/1797.02 c reading : 0.17 (included in solving)
1796.70/1797.02 c copying : 0.95 (9 #copies) (minimal 0.10, maximal 0.11, average 0.11)
1796.70/1797.02 c Original Problem :
1796.70/1797.02 c Problem name : HOME/instance-3692108-1338032787.opb
1796.70/1797.02 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02 c Constraints : 80072 initial, 80072 maximal
1796.70/1797.02 c Objective sense : minimize
1796.70/1797.02 c Presolved Problem :
1796.70/1797.02 c Problem name : t_HOME/instance-3692108-1338032787.opb
1796.70/1797.02 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02 c Constraints : 80072 initial, 80072 maximal
1796.70/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c probing : 0.29 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c setppc : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c linear : 0.38 0.02 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c root node : - - 0 - - 0 - - - - -
1796.70/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.02 c integral : 0 0 0 0 6700 0 583 0 2 80 0 0 13296
1796.70/1797.02 c setppc : 80072 80072 31 38112 0 0 578 0 0 228430 0 0 0
1796.70/1797.02 c countsols : 0 0 0 0 0 0 581 0 0 0 0 0 0
1796.70/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.02 c integral : 393.73 0.00 0.00 0.00 393.71 0.00 0.01 0.00
1796.70/1797.02 c setppc : 12.51 0.00 0.15 10.93 0.00 0.00 1.43 0.00
1796.70/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.02 c rootredcost : 7 0 0 0
1796.70/1797.02 c pseudoobj : 44762 0 0 0
1796.70/1797.02 c vbounds : 0 0 0 0
1796.70/1797.02 c redcost : 6737 0 0 6
1796.70/1797.02 c probing : 0 0 0 0
1796.70/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.02 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.02 c pseudoobj : 5.12 0.02 0.00 5.10 0.00
1796.70/1797.02 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.02 c redcost : 0.14 0.00 0.00 0.14 0.00
1796.70/1797.02 c probing : 0.29 0.00 0.29 0.00 0.00
1796.70/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.02 c applied globally : - - - 0 0.0 - - -
1796.70/1797.02 c applied locally : - - - 0 0.0 - - -
1796.70/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.02 c cut pool : 0.00 30 - - 64 - (maximal pool size: 838)
1796.70/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c impliedbounds : 0.03 0.00 31 0 0 0 0
1796.70/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c gomory : 0.28 0.00 10 0 0 500 0
1796.70/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c strongcg : 5.04 0.00 20 0 0 10000 0
1796.70/1797.02 c cmir : 11.58 0.00 10 0 0 0 0
1796.70/1797.02 c flowcover : 13.06 0.00 10 0 0 0 0
1796.70/1797.02 c clique : 1.02 0.00 31 0 0 283 0
1796.70/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c mcf : 0.05 0.00 1 0 0 0 0
1796.70/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.02 c problem variables: 0.00 - 0 0
1796.70/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.02 c relpscost : 393.70 0.00 6700 2 80 0 0 13296
1796.70/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.02 c LP solutions : 0.00 - - 0
1796.70/1797.02 c pseudo solutions : 0.00 - - 0
1796.70/1797.02 c oneopt : 0.09 0.00 7 2
1796.70/1797.02 c crossover : 3.20 0.00 8 2
1796.70/1797.02 c coefdiving : 103.81 0.00 149 21
1796.70/1797.02 c rootsoldiving : 45.36 0.00 78 95
1796.70/1797.02 c pscostdiving : 74.32 0.00 156 48
1796.70/1797.02 c linesearchdiving : 78.74 0.00 156 29
1796.70/1797.02 c smallcard : 0.00 0.00 0 0
1796.70/1797.02 c trivial : 0.02 0.00 2 1
1796.70/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.02 c simplerounding : 0.24 0.00 6731 52
1796.70/1797.02 c zirounding : 40.72 0.00 6648 156
1796.70/1797.02 c rounding : 16.11 0.00 3445 1
1796.70/1797.02 c shifting : 2.36 0.00 427 1
1796.70/1797.02 c intshifting : 0.00 0.00 0 0
1796.70/1797.02 c twoopt : 0.00 0.00 0 0
1796.70/1797.02 c indoneopt : 0.01 0.00 0 0
1796.70/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.02 c feaspump : 0.00 0.00 0 0
1796.70/1797.02 c clique : 0.00 0.00 0 0
1796.70/1797.02 c indrounding : 0.00 0.00 0 0
1796.70/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.02 c fracdiving : 61.76 0.00 61 8
1796.70/1797.02 c veclendiving : 186.62 0.00 117 12
1796.70/1797.02 c intdiving : 0.00 0.00 0 0
1796.70/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.02 c objpscostdiving : 80.87 0.00 59 144
1796.70/1797.02 c guideddiving : 57.46 0.00 54 5
1796.70/1797.02 c octane : 0.00 0.00 0 0
1796.70/1797.02 c rens : 1.56 0.00 1 1
1796.70/1797.02 c rins : 0.00 0.00 0 0
1796.70/1797.02 c localbranching : 0.00 0.00 0 0
1796.70/1797.02 c mutation : 0.00 0.00 0 0
1796.70/1797.02 c dins : 0.00 0.00 0 0
1796.70/1797.02 c vbounds : 0.00 0.00 0 0
1796.70/1797.02 c undercover : 0.00 0.00 0 0
1796.70/1797.02 c subnlp : 0.00 0.00 0 0
1796.70/1797.02 c trysol : 0.01 0.00 0 0
1796.70/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.02 c primal LP : 0.08 5 0 0.00 0.00 0.08 5
1796.70/1797.02 c dual LP : 529.36 7395 499483 68.87 943.56 2.28 142
1796.70/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.02 c diving/probing LP: 548.46 20158 340368 16.89 620.58
1796.70/1797.02 c strong branching : 391.67 3546 274832 77.50 701.69
1796.70/1797.02 c (at root node) : - 33 4418 133.88 -
1796.70/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.02 c B&B Tree :
1796.70/1797.02 c number of runs : 1
1796.70/1797.02 c nodes : 7172
1796.70/1797.02 c nodes (total) : 7172
1796.70/1797.02 c nodes left : 6022
1796.70/1797.02 c max depth : 55
1796.70/1797.02 c max depth (total): 55
1796.70/1797.02 c backtracks : 1077 (15.0%)
1796.70/1797.02 c delayed cutoffs : 0
1796.70/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.02 c avg switch length: 5.94
1796.70/1797.02 c switching time : 20.56
1796.70/1797.02 c Solution :
1796.70/1797.02 c Solutions found : 578 (9 improvements)
1796.70/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.25 seconds, depth 0, found by <trivial>)
1796.70/1797.02 c Primal Bound : -4.40000000000000e+01 (in run 1, after 3009 nodes, 972.84 seconds, depth 31, found by <pscostdiving>)
1796.70/1797.02 c Dual Bound : -5.00000000000000e+01
1796.70/1797.02 c Gap : 13.64 %
1796.70/1797.02 c Root Dual Bound : -5.00000000000000e+01
1796.70/1797.02 c Root Iterations : 24049
1797.02/1797.33 c Time complete: 1797.04.
OK -44
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-3692108-1338032787/watcher-3692108-1338032787 -o /tmp/evaluation-result-3692108-1338032787/solver-3692108-1338032787 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692108-1338032787.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.07 2.02 1.93 3/176 7354 /proc/meminfo: memFree=27640628/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=13592 CPUtime=0 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 2132 0 0 0 0 0 0 0 20 0 1 0 269406005 13918208 2086 33554432000 4194304 10219143 140737313780912 140733256196072 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 3398 2086 413 1471 0 1918 0 [startup+0.0540341 s] /proc/loadavg: 2.07 2.02 1.93 3/176 7354 /proc/meminfo: memFree=27640628/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=24288 CPUtime=0.04 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 4832 0 0 0 4 0 0 0 20 0 1 0 269406005 24870912 4786 33554432000 4194304 10219143 140737313780912 140733256196072 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 6072 4786 421 1471 0 4592 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 24288 [startup+0.100322 s] /proc/loadavg: 2.07 2.02 1.93 3/176 7354 /proc/meminfo: memFree=27640628/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=33536 CPUtime=0.09 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 7149 0 0 0 9 0 0 0 20 0 1 0 269406005 34340864 7103 33554432000 4194304 10219143 140737313780912 140733256196072 5795071 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 8384 7103 421 1471 0 6904 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33536 [startup+0.300272 s] /proc/loadavg: 2.07 2.02 1.93 3/176 7354 /proc/meminfo: memFree=27640628/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=103200 CPUtime=0.29 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 24128 0 0 0 26 3 0 0 20 0 1 0 269406005 105676800 24082 33554432000 4194304 10219143 140737313780912 140733256196072 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 25800 24082 550 1471 0 24320 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 103200 [startup+0.700279 s] /proc/loadavg: 2.07 2.02 1.93 3/176 7354 /proc/meminfo: memFree=27640628/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=121408 CPUtime=0.69 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 34380 0 0 0 60 9 0 0 20 0 1 0 269406005 124321792 28529 33554432000 4194304 10219143 140737313780912 140737313776584 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 30352 28529 560 1471 0 28872 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 121408 [startup+1.50029 s] /proc/loadavg: 2.07 2.02 1.93 3/177 7355 /proc/meminfo: memFree=27521700/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=225188 CPUtime=1.49 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 55458 0 0 0 134 15 0 0 20 0 1 0 269406005 230592512 52896 33554432000 4194304 10219143 140737313780912 140737313776584 7750281 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 56297 52896 727 1471 0 54817 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 225188 [startup+3.10022 s] /proc/loadavg: 2.07 2.02 1.93 3/177 7355 /proc/meminfo: memFree=27407140/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=241748 CPUtime=3.09 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 61757 0 0 0 291 18 0 0 20 0 1 0 269406005 247549952 56551 33554432000 4194304 10219143 140737313780912 140737313776296 7455579 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 60437 56551 764 1471 0 58957 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 241748 [startup+6.3002 s] /proc/loadavg: 2.06 2.02 1.93 3/177 7355 /proc/meminfo: memFree=27409836/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=244252 CPUtime=6.29 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 62537 0 0 0 611 18 0 0 20 0 1 0 269406005 250114048 58199 33554432000 4194304 10219143 140737313780912 140737313775832 7256998 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 61063 58199 776 1471 0 59583 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 244252 [startup+12.7002 s] /proc/loadavg: 2.06 2.01 1.93 3/177 7355 /proc/meminfo: memFree=27406492/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=248620 CPUtime=12.68 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 63396 0 0 0 1250 18 0 0 20 0 1 0 269406005 254586880 59058 33554432000 4194304 10219143 140737313780912 140737313776296 7256996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 62155 59058 777 1471 0 60675 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 248620 [startup+25.5002 s] /proc/loadavg: 2.04 2.01 1.93 3/177 7355 /proc/meminfo: memFree=27406268/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=248620 CPUtime=25.49 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 63523 0 0 0 2530 19 0 0 20 0 1 0 269406005 254586880 59185 33554432000 4194304 10219143 140737313780912 140737313776296 7266285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 62155 59185 778 1471 0 60675 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 248620 [startup+51.1003 s] /proc/loadavg: 2.11 2.03 1.93 3/177 7355 /proc/meminfo: memFree=27391464/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=263320 CPUtime=51.09 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 66982 0 0 0 5086 23 0 0 20 0 1 0 269406005 269639680 63065 33554432000 4194304 10219143 140737313780912 140737313774552 8056894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 65830 63065 779 1471 0 64350 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 263320 [startup+102.307 s] /proc/loadavg: 2.12 2.04 1.94 3/177 7356 /proc/meminfo: memFree=27329232/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=320068 CPUtime=102.28 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 82069 0 0 0 10189 39 0 0 20 0 1 0 269406005 327749632 78239 33554432000 4194304 10219143 140737313780912 140737313774744 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 80017 78239 821 1471 0 78537 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 320068 [startup+162.3 s] /proc/loadavg: 2.12 2.06 1.95 3/177 7356 /proc/meminfo: memFree=27327724/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=320068 CPUtime=162.25 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 82088 0 0 0 16174 51 0 0 20 0 1 0 269406005 327749632 78453 33554432000 4194304 10219143 140737313780912 140737313774360 8091364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 80017 78453 821 1471 0 78537 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 320068 [startup+222.3 s] /proc/loadavg: 2.04 2.04 1.95 3/178 7359 /proc/meminfo: memFree=27323652/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=320068 CPUtime=222.24 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 82091 0 0 0 22162 62 0 0 20 0 1 0 269406005 327749632 78544 33554432000 4194304 10219143 140737313780912 140737313774360 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 80017 78544 821 1471 0 78537 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 320068 [startup+282.3 s] /proc/loadavg: 2.06 2.05 1.95 3/177 7359 /proc/meminfo: memFree=27323600/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=320068 CPUtime=282.24 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 82168 0 0 0 28150 74 0 0 20 0 1 0 269406005 327749632 78621 33554432000 4194304 10219143 140737313780912 140737313773896 5541767 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 80017 78621 821 1471 0 78537 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 320068 [startup+342.3 s] /proc/loadavg: 2.14 2.07 1.96 3/177 7359 /proc/meminfo: memFree=27341536/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=300512 CPUtime=342.23 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 98428 0 0 0 34130 93 0 0 20 0 1 0 269406005 307724288 74048 33554432000 4194304 10219143 140737313780912 140737313774552 8015476 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 75128 74048 825 1471 0 73648 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 300512 [startup+402.3 s] /proc/loadavg: 2.05 2.05 1.96 3/177 7360 /proc/meminfo: memFree=27340916/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=300512 CPUtime=402.22 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 98428 0 0 0 40120 102 0 0 20 0 1 0 269406005 307724288 74048 33554432000 4194304 10219143 140737313780912 140737313775944 7631630 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 75128 74048 825 1471 0 73648 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 300512 [startup+462.3 s] /proc/loadavg: 2.02 2.04 1.96 3/177 7360 /proc/meminfo: memFree=27340172/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=300512 CPUtime=462.21 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 98430 0 0 0 46110 111 0 0 20 0 1 0 269406005 307724288 74050 33554432000 4194304 10219143 140737313780912 140737313773496 5184693 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 75128 74050 825 1471 0 73648 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 300512 [startup+522.3 s] /proc/loadavg: 2.04 2.05 1.97 3/177 7360 /proc/meminfo: memFree=27339552/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=300512 CPUtime=522.2 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 117555 0 0 0 52093 127 0 0 20 0 1 0 269406005 307724288 74050 33554432000 4194304 10219143 140737313780912 140737313774552 7979056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 75128 74050 825 1471 0 73648 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 300512 [startup+582.3 s] /proc/loadavg: 2.01 2.04 1.97 3/177 7360 /proc/meminfo: memFree=27332168/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=312144 CPUtime=582.19 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 118059 0 0 0 58083 136 0 0 20 0 1 0 269406005 319635456 75576 33554432000 4194304 10219143 140737313780912 140737313774008 7726798 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 78036 75576 825 1471 0 76556 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 312144 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27000324/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=364080 CPUtime=1062.11 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 176175 0 0 0 105983 228 0 0 20 0 1 0 269406005 372817920 87635 33554432000 4194304 10219143 140737313780912 140737313774008 7956080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 91020 87635 825 1471 0 89540 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 364080 [startup+1122.3 s] /proc/loadavg: 2.09 2.04 2.00 3/177 7502 /proc/meminfo: memFree=26916920/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=373556 CPUtime=1122.1 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 179090 0 0 0 111972 238 0 0 20 0 1 0 269406005 382521344 90372 33554432000 4194304 10219143 140737313780912 140737313774024 8015256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 93389 90372 825 1471 0 91909 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 373556 [startup+1182.3 s] /proc/loadavg: 2.06 2.05 2.00 3/177 7502 /proc/meminfo: memFree=26840316/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=375716 CPUtime=1182.09 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 180240 0 0 0 117961 248 0 0 20 0 1 0 269406005 384733184 91522 33554432000 4194304 10219143 140737313780912 140737313774264 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 93929 91522 825 1471 0 92449 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 375716 [startup+1242.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 7502 /proc/meminfo: memFree=26761044/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=381564 CPUtime=1242.09 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 181588 0 0 0 123951 258 0 0 20 0 1 0 269406005 390721536 93381 33554432000 4194304 10219143 140737313780912 140737313773896 8091165 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 95391 93381 825 1471 0 93911 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 381564 [startup+1302.3 s] /proc/loadavg: 2.04 2.04 2.00 3/177 7503 /proc/meminfo: memFree=26676880/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=391744 CPUtime=1302.08 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 205491 0 0 0 129933 275 0 0 20 0 1 0 269406005 401145856 95291 33554432000 4194304 10219143 140737313780912 140737313774584 8082624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 97936 95291 825 1471 0 96456 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 391744 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 7503 /proc/meminfo: memFree=26595188/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=401884 CPUtime=1362.07 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 208085 0 0 0 135922 285 0 0 20 0 1 0 269406005 411529216 97880 33554432000 4194304 10219143 140737313780912 140737313773832 5196352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 100471 97880 825 1471 0 98991 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 401884 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.00 3/178 7506 /proc/meminfo: memFree=26518396/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=409492 CPUtime=1422.07 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 210140 0 0 0 141914 293 0 0 20 0 1 0 269406005 419319808 99928 33554432000 4194304 10219143 140737313780912 140737313774552 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 102373 99928 825 1471 0 100893 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 409492 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 7506 /proc/meminfo: memFree=26444576/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=419884 CPUtime=1482.06 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 234052 0 0 0 147896 310 0 0 20 0 1 0 269406005 429961216 102417 33554432000 4194304 10219143 140737313780912 140737313774584 7954733 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 104971 102417 825 1471 0 103491 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 419884 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 7506 /proc/meminfo: memFree=26364936/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=429196 CPUtime=1542.04 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 236429 0 0 0 153884 320 0 0 20 0 1 0 269406005 439496704 104777 33554432000 4194304 10219143 140737313780912 140737313774360 7631630 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 107299 104777 825 1471 0 105819 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 429196 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 7507 /proc/meminfo: memFree=26291308/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=438204 CPUtime=1602.04 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 238783 0 0 0 159874 330 0 0 20 0 1 0 269406005 448720896 107100 33554432000 4194304 10219143 140737313780912 140737313774360 8056245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 109551 107100 825 1471 0 108071 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 438204 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7507 /proc/meminfo: memFree=26216376/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=445312 CPUtime=1662.03 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 240338 0 0 0 165864 339 0 0 20 0 1 0 269406005 455999488 108651 33554432000 4194304 10219143 140737313780912 140737313777400 8056480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 111328 108651 825 1471 0 109848 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 445312 [startup+1722.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 7507 /proc/meminfo: memFree=26148332/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=448328 CPUtime=1722.02 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 241475 0 0 0 171852 350 0 0 20 0 1 0 269406005 459087872 109788 33554432000 4194304 10219143 140737313780912 140737313773352 7954738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 112082 109788 825 1471 0 110602 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 448328 [startup+1782.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 7507 /proc/meminfo: memFree=26071236/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=456724 CPUtime=1782.01 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 264567 0 0 0 177834 367 0 0 20 0 1 0 269406005 467685376 111573 33554432000 4194304 10219143 140737313780912 140737313774552 7954704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 114181 111573 825 1471 0 112701 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 456724 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.06 2.02 2.00 3/177 7507 /proc/meminfo: memFree=26067516/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=457028 CPUtime=1785.2 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 264730 0 0 0 178153 367 0 0 20 0 1 0 269406005 467996672 111736 33554432000 4194304 10219143 140737313780912 140737313773624 8930988 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 114257 111736 825 1471 0 112777 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 457028 [startup+1791.91 s] /proc/loadavg: 2.05 2.02 2.00 3/177 7507 /proc/meminfo: memFree=26059136/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=457028 CPUtime=1791.61 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 264882 0 0 0 178793 368 0 0 20 0 1 0 269406005 467996672 111888 33554432000 4194304 10219143 140737313780912 140737313774216 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 114257 111888 825 1471 0 112777 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 457028 [startup+1795.1 s] /proc/loadavg: 2.05 2.02 2.00 3/177 7507 /proc/meminfo: memFree=26051820/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=466956 CPUtime=1794.81 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 266122 0 0 0 179112 369 0 0 20 0 1 0 269406005 478162944 113078 33554432000 4194304 10219143 140737313780912 140737313774088 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 116739 113078 825 1471 0 115259 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 466956 [startup+1796.7 s] /proc/loadavg: 2.05 2.02 2.00 3/177 7507 /proc/meminfo: memFree=26050704/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=466956 CPUtime=1796.4 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 266188 0 0 0 179271 369 0 0 20 0 1 0 269406005 478162944 113144 33554432000 4194304 10219143 140737313780912 140737313774088 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 116739 113144 825 1471 0 115259 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 466956 [startup+1797.1 s] /proc/loadavg: 2.05 2.02 2.00 3/177 7507 /proc/meminfo: memFree=26050704/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=466956 CPUtime=1796.8 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 266222 0 0 0 179311 369 0 0 20 0 1 0 269406005 478162944 113171 33554432000 4194304 10219143 140737313780912 140737313774088 5952243 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 116739 113171 827 1471 0 115259 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 466956 [startup+1797.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 7507 /proc/meminfo: memFree=26080712/32873648 swapFree=6336/6336 [pid=7354] ppid=7352 vsize=414308 CPUtime=1797.02 cores=1,3,5,7 /proc/7354/stat : 7354 (scip-2.1.1.4exp) R 7352 7354 5668 0 -1 4202496 266222 0 0 0 179332 370 0 0 20 0 1 0 269406005 424251392 102643 33554432000 4194304 10219143 140737313780912 140737313774088 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7354/statm: 103577 102643 827 1471 0 102097 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 414308 Child status: 0 Real time (s): 1797.33 CPU time (s): 1797.05 CPU user time (s): 1793.33 CPU system time (s): 3.71244 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 526716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.33 system time used= 3.71244 maximum resident set size= 521604 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 266224 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= 29 involuntary context switches= 1846 runsolver used 3.86841 second user time and 8.83666 second system time The end
Begin job on node112 at 2012-05-26 13:46:27 IDJOB=3692108 IDBENCH=2260 IDSOLVER=2271 FILE ID=node112/3692108-1338032787 RUNJOBID= node112-1338029191-7007 PBS_JOBID= 14624359 Free space on /tmp= 71580 MiB SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692108-1338032787/watcher-3692108-1338032787 -o /tmp/evaluation-result-3692108-1338032787/solver-3692108-1338032787 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692108-1338032787.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8 RANDOM SEED=656584587 node112.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.763 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 : 5333.52 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.763 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 : 5331.91 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.763 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.763 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.763 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 : 5331.92 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.763 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.92 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.763 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.763 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27641644 kB Buffers: 238188 kB Cached: 4059896 kB SwapCached: 0 kB Active: 789720 kB Inactive: 3671224 kB Active(anon): 165172 kB Inactive(anon): 0 kB Active(file): 624548 kB Inactive(file): 3671224 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 15540 kB Writeback: 0 kB AnonPages: 258364 kB Mapped: 17892 kB Shmem: 200 kB Slab: 635424 kB SReclaimable: 79632 kB SUnreclaim: 555792 kB KernelStack: 1472 kB PageTables: 4528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 276484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71556 MiB End job on node112 at 2012-05-26 14:16:25