Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | -44 | 1797.13 | 1797.42 |
| 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: a3bf3a4-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-3693274-1338031748.opb>
0.09/0.16 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80072 constraints
0.09/0.16 c problem read in 0.16
0.29/0.37 o 0
0.49/0.59 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.59 c presolving:
1.00/1.08 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.59/1.66 c (1.7s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.59/1.66 c (1.7s) probing aborted: 50/50 successive totally useless probings
1.59/1.68 c presolving (2 rounds):
1.59/1.68 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.59/1.68 c 160144 implications, 0 cliques
1.59/1.68 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80072 constraints
1.59/1.68 c 80072 constraints of type <setppc>
1.59/1.68 c transformed objective value is always integral (scale: 1)
1.59/1.68 c Presolving Time: 1.46
1.59/1.68 c - non default parameters ----------------------------------------------------------------------
1.59/1.68 c # SCIP version 2.1.1.4
1.59/1.68 c
1.59/1.68 c # maximal time in seconds to run
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.68 c limits/time = 1797
1.59/1.68 c
1.59/1.68 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.68 c limits/memory = 13950
1.59/1.68 c
1.59/1.68 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.59/1.68 c # [type: int, range: [1,2], default: 1]
1.59/1.68 c timing/clocktype = 2
1.59/1.68 c
1.59/1.68 c # belongs reading time to solving time?
1.59/1.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.68 c timing/reading = TRUE
1.59/1.68 c
1.59/1.68 c -----------------------------------------------------------------------------------------------
1.59/1.68 c start solving
1.69/1.71 c
2.78/2.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.78/2.89 c t 2.9s| 1 | 0 | 1152 | - | 95M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | Inf
2.89/2.96 o -1
2.89/2.96 c R 3.0s| 1 | 0 | 1152 | - | 95M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | Large
4.40/4.45 c 4.4s| 1 | 0 | 1479 | - | 95M| 0 |1085 |1150 | 80k|1150 | 80k| 8 | 0 | 0 |-5.425000e+02 |-1.000000e+00 | Large
4.40/4.48 o -33
4.40/4.48 c b 4.5s| 1 | 0 | 1479 | - | 95M| 0 |1085 |1150 | 80k|1150 | 80k| 8 | 0 | 0 |-5.425000e+02 |-3.300000e+01 |1543.94%
6.29/6.39 c 6.4s| 1 | 0 | 1619 | - | 95M| 0 |1028 |1150 | 80k|1150 | 80k| 27 | 0 | 0 |-5.140000e+02 |-3.300000e+01 |1457.58%
9.28/9.37 c 9.4s| 1 | 0 | 1929 | - | 95M| 0 | 919 |1150 | 80k|1150 | 80k| 104 | 0 | 0 |-4.595000e+02 |-3.300000e+01 |1292.42%
12.99/13.03 c 13.0s| 1 | 0 | 2064 | - | 95M| 0 | 865 |1150 | 80k|1150 | 80k| 121 | 0 | 0 |-4.325000e+02 |-3.300000e+01 |1210.61%
16.79/16.82 c 16.8s| 1 | 0 | 2273 | - | 95M| 0 | 829 |1150 | 80k|1150 | 80k| 130 | 0 | 0 |-4.133750e+02 |-3.300000e+01 |1152.65%
20.58/20.69 c 20.7s| 1 | 0 | 2555 | - | 95M| 0 | 783 |1150 | 80k|1150 | 80k| 141 | 0 | 0 |-3.902500e+02 |-3.300000e+01 |1082.58%
24.69/24.76 c 24.8s| 1 | 0 | 3062 | - | 95M| 0 | 733 |1150 | 80k|1150 | 80k| 153 | 0 | 0 |-3.652500e+02 |-3.300000e+01 |1006.82%
28.98/29.00 c 29.0s| 1 | 0 | 3634 | - | 95M| 0 | 691 |1150 | 80k|1150 | 80k| 171 | 0 | 0 |-3.442500e+02 |-3.300000e+01 | 943.18%
34.09/34.13 c 34.1s| 1 | 0 | 5040 | - | 96M| 0 | 628 |1150 | 80k|1150 | 80k| 187 | 0 | 0 |-3.127500e+02 |-3.300000e+01 | 847.73%
37.78/37.86 c 37.9s| 1 | 0 | 5420 | - | 96M| 0 | 577 |1150 | 80k|1150 | 80k| 211 | 0 | 0 |-2.877500e+02 |-3.300000e+01 | 771.97%
38.78/38.83 c 38.8s| 1 | 0 | 6034 | - | 96M| 0 | 515 |1150 | 80k|1150 | 80k| 231 | 0 | 0 |-2.567500e+02 |-3.300000e+01 | 678.03%
39.60/39.68 c 39.7s| 1 | 0 | 6588 | - | 96M| 0 | 467 |1150 | 80k|1150 | 80k| 247 | 0 | 0 |-2.327500e+02 |-3.300000e+01 | 605.30%
42.79/42.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.79/42.87 c 42.9s| 1 | 0 | 9374 | - | 96M| 0 | 416 |1150 | 80k|1150 | 80k| 260 | 0 | 0 |-2.072500e+02 |-3.300000e+01 | 528.03%
45.98/46.10 c 46.1s| 1 | 0 | 11992 | - | 96M| 0 | 385 |1150 | 80k|1150 | 80k| 275 | 0 | 0 |-1.917500e+02 |-3.300000e+01 | 481.06%
48.08/48.16 c 48.2s| 1 | 0 | 13610 | - | 96M| 0 | 364 |1150 | 80k|1150 | 80k| 285 | 0 | 0 |-1.812500e+02 |-3.300000e+01 | 449.24%
49.08/49.14 c 49.1s| 1 | 0 | 14414 | - | 96M| 0 | 313 |1150 | 80k|1150 | 80k| 298 | 0 | 0 |-1.565000e+02 |-3.300000e+01 | 374.24%
51.49/51.52 c 51.5s| 1 | 0 | 16478 | - | 96M| 0 | 277 |1150 | 80k|1150 | 80k| 308 | 0 | 0 |-1.385000e+02 |-3.300000e+01 | 319.70%
55.68/55.73 c 55.7s| 1 | 0 | 19827 | - | 96M| 0 | 246 |1150 | 80k|1150 | 80k| 319 | 0 | 0 |-1.230000e+02 |-3.300000e+01 | 272.73%
56.18/56.24 c 56.2s| 1 | 0 | 19995 | - | 96M| 0 | 243 |1150 | 80k|1150 | 80k| 328 | 0 | 0 |-1.135000e+02 |-3.300000e+01 | 243.94%
56.78/56.85 c 56.8s| 1 | 0 | 20182 | - | 96M| 0 | 209 |1150 | 80k|1150 | 80k| 335 | 0 | 0 |-1.055000e+02 |-3.300000e+01 | 219.70%
58.19/58.21 c 58.2s| 1 | 0 | 21806 | - | 96M| 0 | 195 |1150 | 80k|1150 | 80k| 338 | 0 | 0 |-9.850000e+01 |-3.300000e+01 | 198.48%
58.48/58.59 c 58.6s| 1 | 0 | 22178 | - | 96M| 0 | 169 |1150 | 80k|1150 | 80k| 343 | 0 | 0 |-8.450000e+01 |-3.300000e+01 | 156.06%
59.58/59.67 c 59.7s| 1 | 0 | 23403 | - | 96M| 0 | 153 |1150 | 80k|1150 | 80k| 347 | 0 | 0 |-7.000000e+01 |-3.300000e+01 | 112.12%
59.78/59.83 c 59.8s| 1 | 0 | 23506 | - | 96M| 0 | 145 |1150 | 80k|1150 | 80k| 354 | 0 | 0 |-6.300000e+01 |-3.300000e+01 | 90.91%
59.98/60.06 c 60.1s| 1 | 0 | 23622 | - | 96M| 0 | 126 |1150 | 80k|1150 | 80k| 357 | 0 | 0 |-5.600000e+01 |-3.300000e+01 | 69.70%
60.18/60.25 c 60.2s| 1 | 0 | 23738 | - | 96M| 0 | 128 |1150 | 80k|1150 | 80k| 363 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
60.28/60.35 c 60.3s| 1 | 0 | 23778 | - | 96M| 0 | 137 |1150 | 80k|1150 | 80k| 371 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
60.39/60.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.39/60.48 c 60.5s| 1 | 0 | 23841 | - | 96M| 0 | 144 |1150 | 80k|1150 | 80k| 378 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
60.58/60.63 c 60.6s| 1 | 0 | 23884 | - | 96M| 0 | 150 |1150 | 80k|1150 | 80k| 386 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
60.68/60.79 c 60.8s| 1 | 0 | 23943 | - | 96M| 0 | 155 |1150 | 80k|1150 | 80k| 395 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
60.98/61.01 c 61.0s| 1 | 0 | 24049 | - | 96M| 0 | 168 |1150 | 80k|1150 | 80k| 402 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%
71.28/71.40 c 71.4s| 1 | 2 | 24049 | - | 96M| 0 | 168 |1150 | 80k|1150 | 80k| 402 | 0 | 33 |-5.000000e+01 |-3.300000e+01 | 51.52%
120.07/120.14 o -35
120.07/120.14 c c 120s| 12 | 13 | 25449 | 127.3 | 99M| 11 | - |1150 | 80k|1150 | 80k| 402 | 0 | 294 |-5.000000e+01 |-3.500000e+01 | 42.86%
120.07/120.16 o -38
120.07/120.16 c c 120s| 12 | 13 | 25451 | 127.5 | 99M| 11 | - |1150 | 80k|1150 | 80k| 402 | 0 | 294 |-5.000000e+01 |-3.800000e+01 | 31.58%
265.84/265.97 o -40
265.84/265.97 c l 266s| 81 | 82 | 33216 | 114.6 | 105M| 19 | - |1150 | 80k|1150 | 80k| 402 | 0 |1158 |-5.000000e+01 |-4.000000e+01 | 25.00%
267.93/268.00 c 268s| 100 | 101 | 34344 | 104.0 | 105M| 22 | 89 |1150 | 80k|1150 | 80k| 402 | 0 |1158 |-5.000000e+01 |-4.000000e+01 | 25.00%
278.43/278.52 o -42
278.43/278.52 c l 279s| 161 | 155 | 39193 | 94.7 | 108M| 26 | - |1150 | 80k|1150 | 80k| 402 | 0 |1169 |-5.000000e+01 |-4.200000e+01 | 19.05%
278.43/278.59 o -43
278.43/278.59 c b 279s| 162 | 145 | 39194 | 94.1 | 108M| 26 | 88 |1150 | 80k|1150 | 80k| 402 | 0 |1169 |-5.000000e+01 |-4.300000e+01 | 16.28%
284.13/284.20 c 284s| 200 | 171 | 41482 | 87.6 | 109M| 28 | 65 |1150 | 80k|1150 | 80k| 402 | 0 |1188 |-5.000000e+01 |-4.300000e+01 | 16.28%
299.62/299.77 c 300s| 300 | 253 | 48402 | 81.4 | 112M| 29 | 83 |1150 | 80k|1150 | 80k| 402 | 0 |1216 |-5.000000e+01 |-4.300000e+01 | 16.28%
312.23/312.39 c 312s| 400 | 319 | 54676 | 76.8 | 114M| 34 | 87 |1150 | 80k|1150 | 80k| 402 | 0 |1235 |-5.000000e+01 |-4.300000e+01 | 16.28%
329.02/329.10 c 329s| 500 | 387 | 61947 | 75.9 | 117M| 34 | - |1150 | 80k|1150 | 80k| 402 | 0 |1287 |-5.000000e+01 |-4.300000e+01 | 16.28%
344.12/344.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.12/344.21 c 344s| 600 | 467 | 68979 | 75.0 | 120M| 34 | 88 |1150 | 80k|1150 | 80k| 402 | 0 |1315 |-5.000000e+01 |-4.300000e+01 | 16.28%
356.72/356.89 c 357s| 700 | 529 | 74656 | 72.4 | 123M| 37 | - |1150 | 80k|1150 | 80k| 402 | 0 |1343 |-5.000000e+01 |-4.300000e+01 | 16.28%
372.92/373.01 c 373s| 800 | 623 | 82427 | 73.1 | 126M| 49 | 74 |1150 | 80k|1150 | 80k| 402 | 0 |1371 |-5.000000e+01 |-4.300000e+01 | 16.28%
391.62/391.70 c 392s| 900 | 723 | 89530 | 72.8 | 128M| 49 | 94 |1150 | 80k|1150 | 80k| 402 | 0 |1406 |-5.000000e+01 |-4.300000e+01 | 16.28%
415.51/415.68 c 416s| 1000 | 823 | 99991 | 76.0 | 131M| 49 | 147 |1150 | 80k|1150 | 80k| 402 | 0 |1441 |-5.000000e+01 |-4.300000e+01 | 16.28%
440.01/440.17 c 440s| 1100 | 923 |110981 | 79.1 | 134M| 49 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |1468 |-5.000000e+01 |-4.300000e+01 | 16.28%
458.20/458.36 c 458s| 1200 | 1023 |119218 | 79.4 | 137M| 49 | 107 |1150 | 80k|1150 | 80k| 402 | 0 |1501 |-5.000000e+01 |-4.300000e+01 | 16.28%
482.50/482.60 c 483s| 1300 | 1123 |131131 | 82.4 | 140M| 49 | 116 |1150 | 80k|1150 | 80k| 402 | 0 |1537 |-5.000000e+01 |-4.300000e+01 | 16.28%
517.09/517.21 c 517s| 1400 | 1223 |148027 | 88.6 | 143M| 49 | 103 |1150 | 80k|1150 | 80k| 402 | 0 |1581 |-5.000000e+01 |-4.300000e+01 | 16.28%
545.09/545.28 c 545s| 1500 | 1323 |160376 | 90.9 | 146M| 49 | 150 |1150 | 80k|1150 | 80k| 402 | 0 |1626 |-5.000000e+01 |-4.300000e+01 | 16.28%
570.08/570.22 c 570s| 1600 | 1423 |171787 | 92.4 | 150M| 49 | 81 |1150 | 80k|1150 | 80k| 402 | 0 |1663 |-5.000000e+01 |-4.300000e+01 | 16.28%
593.39/593.54 c 594s| 1700 | 1523 |182143 | 93.1 | 154M| 49 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |1710 |-5.000000e+01 |-4.300000e+01 | 16.28%
633.98/634.16 c 634s| 1800 | 1623 |199970 | 97.8 | 158M| 49 | 92 |1150 | 80k|1150 | 80k| 402 | 0 |1770 |-5.000000e+01 |-4.300000e+01 | 16.28%
670.58/670.74 c 671s| 1900 | 1723 |216844 | 101.5 | 161M| 49 | 74 |1150 | 80k|1150 | 80k| 402 | 0 |1813 |-5.000000e+01 |-4.300000e+01 | 16.28%
709.46/709.69 c 710s| 2000 | 1821 |234611 | 105.3 | 165M| 49 | 93 |1150 | 80k|1150 | 80k| 402 | 0 |1869 |-5.000000e+01 |-4.300000e+01 | 16.28%
750.06/750.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.06/750.26 c 750s| 2100 | 1919 |253933 | 109.5 | 169M| 49 | 109 |1150 | 80k|1150 | 80k| 402 | 0 |1919 |-5.000000e+01 |-4.300000e+01 | 16.28%
787.46/787.67 c 788s| 2200 | 2019 |269617 | 111.7 | 172M| 49 | 214 |1150 | 80k|1150 | 80k| 402 | 0 |1981 |-5.000000e+01 |-4.300000e+01 | 16.28%
817.45/817.64 c 818s| 2300 | 2119 |282314 | 112.3 | 176M| 49 | 114 |1150 | 80k|1150 | 80k| 402 | 0 |2023 |-5.000000e+01 |-4.300000e+01 | 16.28%
851.25/851.42 c 851s| 2400 | 2219 |298958 | 114.6 | 179M| 49 | 84 |1150 | 80k|1150 | 80k| 402 | 0 |2079 |-5.000000e+01 |-4.300000e+01 | 16.28%
884.34/884.58 c 885s| 2500 | 2319 |314077 | 116.1 | 182M| 49 | 117 |1150 | 80k|1150 | 80k| 402 | 0 |2143 |-5.000000e+01 |-4.300000e+01 | 16.28%
916.43/916.60 c 917s| 2600 | 2417 |328128 | 117.0 | 185M| 49 | 115 |1150 | 80k|1150 | 80k| 402 | 0 |2201 |-5.000000e+01 |-4.300000e+01 | 16.28%
953.03/953.26 c 953s| 2700 | 2515 |345788 | 119.2 | 188M| 49 | 83 |1150 | 80k|1150 | 80k| 402 | 0 |2249 |-5.000000e+01 |-4.300000e+01 | 16.28%
978.03/978.28 c 978s| 2800 | 2615 |358904 | 119.6 | 192M| 49 | 89 |1150 | 80k|1150 | 80k| 402 | 0 |2260 |-5.000000e+01 |-4.300000e+01 | 16.28%
1008.72/1008.99 c 1009s| 2900 | 2715 |375951 | 121.4 | 195M| 49 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |2295 |-5.000000e+01 |-4.300000e+01 | 16.28%
1032.92/1033.18 c 1033s| 3000 | 2815 |389661 | 121.9 | 199M| 49 | 115 |1150 | 80k|1150 | 80k| 402 | 0 |2310 |-5.000000e+01 |-4.300000e+01 | 16.28%
1034.61/1034.85 o -44
1034.61/1034.85 c p1035s| 3009 | 2735 |390665 | 121.9 | 197M| 49 | - |1150 | 80k|1150 | 80k| 402 | 0 |2314 |-5.000000e+01 |-4.400000e+01 | 13.64%
1063.01/1063.27 c 1063s| 3100 | 2820 |405575 | 123.1 | 200M| 49 | 74 |1150 | 80k|1150 | 80k| 402 | 0 |2329 |-5.000000e+01 |-4.400000e+01 | 13.64%
1087.01/1087.24 c 1087s| 3200 | 2918 |419631 | 123.7 | 204M| 49 | - |1150 | 80k|1150 | 80k| 402 | 0 |2339 |-5.000000e+01 |-4.400000e+01 | 13.64%
1114.71/1114.93 c 1115s| 3300 | 3012 |433758 | 124.2 | 207M| 49 | 103 |1150 | 80k|1150 | 80k| 402 | 0 |2351 |-5.000000e+01 |-4.400000e+01 | 13.64%
1143.71/1143.99 c 1144s| 3400 | 3102 |452362 | 126.0 | 211M| 49 | 76 |1150 | 80k|1150 | 80k| 402 | 0 |2358 |-5.000000e+01 |-4.400000e+01 | 13.64%
1173.10/1173.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.10/1173.36 c 1173s| 3500 | 3198 |468465 | 127.0 | 214M| 49 | 91 |1150 | 80k|1150 | 80k| 402 | 0 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%
1198.89/1199.11 c 1199s| 3600 | 3292 |483364 | 127.6 | 217M| 49 | 70 |1150 | 80k|1150 | 80k| 402 | 0 |2370 |-5.000000e+01 |-4.400000e+01 | 13.64%
1227.39/1227.63 c 1228s| 3700 | 3390 |497637 | 128.0 | 220M| 49 | 72 |1150 | 80k|1150 | 80k| 402 | 0 |2421 |-5.000000e+01 |-4.400000e+01 | 13.64%
1254.79/1255.06 c 1255s| 3800 | 3482 |510232 | 128.0 | 223M| 50 | 87 |1150 | 80k|1150 | 80k| 402 | 0 |2468 |-5.000000e+01 |-4.400000e+01 | 13.64%
1276.98/1277.22 c 1277s| 3900 | 3566 |519959 | 127.2 | 226M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |2529 |-5.000000e+01 |-4.400000e+01 | 13.64%
1295.08/1295.33 c 1295s| 4000 | 3644 |529557 | 126.4 | 229M| 55 | 100 |1150 | 80k|1150 | 80k| 402 | 0 |2568 |-5.000000e+01 |-4.400000e+01 | 13.64%
1321.07/1321.37 c 1321s| 4100 | 3732 |541861 | 126.3 | 232M| 55 | 123 |1150 | 80k|1150 | 80k| 402 | 0 |2624 |-5.000000e+01 |-4.400000e+01 | 13.64%
1343.88/1344.17 c 1344s| 4200 | 3814 |552178 | 125.8 | 234M| 55 | 73 |1150 | 80k|1150 | 80k| 402 | 0 |2678 |-5.000000e+01 |-4.400000e+01 | 13.64%
1365.87/1366.15 c 1366s| 4300 | 3902 |561678 | 125.1 | 237M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |2726 |-5.000000e+01 |-4.400000e+01 | 13.64%
1380.27/1380.55 c 1381s| 4400 | 3964 |568209 | 123.7 | 239M| 55 | 64 |1150 | 80k|1150 | 80k| 402 | 0 |2775 |-5.000000e+01 |-4.400000e+01 | 13.64%
1406.06/1406.38 c 1406s| 4500 | 4044 |580906 | 123.8 | 242M| 55 | 88 |1150 | 80k|1150 | 80k| 402 | 0 |2824 |-5.000000e+01 |-4.400000e+01 | 13.64%
1425.76/1426.08 c 1426s| 4600 | 4120 |591822 | 123.5 | 244M| 55 | 174 |1150 | 80k|1150 | 80k| 402 | 0 |2841 |-5.000000e+01 |-4.400000e+01 | 13.64%
1444.06/1444.36 c 1444s| 4700 | 4200 |601720 | 122.9 | 247M| 55 | 61 |1150 | 80k|1150 | 80k| 402 | 0 |2866 |-5.000000e+01 |-4.400000e+01 | 13.64%
1463.25/1463.58 c 1464s| 4800 | 4276 |612548 | 122.6 | 249M| 55 | 72 |1150 | 80k|1150 | 80k| 402 | 0 |2875 |-5.000000e+01 |-4.400000e+01 | 13.64%
1478.94/1479.20 c 1479s| 4900 | 4350 |621731 | 122.0 | 252M| 55 | 80 |1150 | 80k|1150 | 80k| 402 | 0 |2881 |-5.000000e+01 |-4.400000e+01 | 13.64%
1493.75/1494.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.75/1494.03 c 1494s| 5000 | 4428 |630064 | 121.2 | 254M| 55 | 115 |1150 | 80k|1150 | 80k| 402 | 0 |2888 |-5.000000e+01 |-4.400000e+01 | 13.64%
1510.35/1510.68 c 1511s| 5100 | 4504 |640150 | 120.8 | 257M| 55 | 60 |1150 | 80k|1150 | 80k| 402 | 0 |2898 |-5.000000e+01 |-4.400000e+01 | 13.64%
1525.54/1525.86 c 1526s| 5200 | 4580 |649146 | 120.2 | 259M| 55 | 136 |1150 | 80k|1150 | 80k| 402 | 0 |2901 |-5.000000e+01 |-4.400000e+01 | 13.64%
1543.74/1544.04 c 1544s| 5300 | 4650 |659109 | 119.8 | 262M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |2918 |-5.000000e+01 |-4.400000e+01 | 13.64%
1562.75/1563.06 c 1563s| 5400 | 4730 |669857 | 119.6 | 264M| 55 | 62 |1150 | 80k|1150 | 80k| 402 | 0 |2922 |-5.000000e+01 |-4.400000e+01 | 13.64%
1580.13/1580.41 c 1580s| 5500 | 4802 |679802 | 119.2 | 266M| 55 | 85 |1150 | 80k|1150 | 80k| 402 | 0 |2927 |-5.000000e+01 |-4.400000e+01 | 13.64%
1592.83/1593.17 c 1593s| 5600 | 4860 |687806 | 118.5 | 268M| 55 | 69 |1150 | 80k|1150 | 80k| 402 | 0 |2932 |-5.000000e+01 |-4.400000e+01 | 13.64%
1608.83/1609.15 c 1609s| 5700 | 4938 |697271 | 118.1 | 270M| 55 | 106 |1150 | 80k|1150 | 80k| 402 | 0 |2933 |-5.000000e+01 |-4.400000e+01 | 13.64%
1624.82/1625.15 c 1625s| 5800 | 5002 |705824 | 117.6 | 272M| 55 | 98 |1150 | 80k|1150 | 80k| 402 | 0 |2961 |-5.000000e+01 |-4.400000e+01 | 13.64%
1647.13/1647.45 c 1647s| 5900 | 5088 |716644 | 117.4 | 275M| 55 | 82 |1150 | 80k|1150 | 80k| 402 | 0 |3006 |-5.000000e+01 |-4.400000e+01 | 13.64%
1666.61/1666.98 c 1667s| 6000 | 5164 |726261 | 117.1 | 278M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |3044 |-5.000000e+01 |-4.400000e+01 | 13.64%
1686.12/1686.47 c 1686s| 6100 | 5236 |735725 | 116.7 | 280M| 55 | 72 |1150 | 80k|1150 | 80k| 402 | 0 |3088 |-5.000000e+01 |-4.400000e+01 | 13.64%
1703.81/1704.13 c 1704s| 6200 | 5310 |744097 | 116.2 | 283M| 55 | - |1150 | 80k|1150 | 80k| 402 | 0 |3120 |-5.000000e+01 |-4.400000e+01 | 13.64%
1721.81/1722.12 c 1722s| 6300 | 5376 |752520 | 115.6 | 285M| 55 | 71 |1150 | 80k|1150 | 80k| 402 | 0 |3169 |-5.000000e+01 |-4.400000e+01 | 13.64%
1746.70/1747.06 c 1747s| 6400 | 5450 |764927 | 115.8 | 287M| 55 | 81 |1150 | 80k|1150 | 80k| 402 | 0 |3227 |-5.000000e+01 |-4.400000e+01 | 13.64%
1768.70/1769.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.70/1769.02 c 1769s| 6500 | 5524 |775400 | 115.6 | 290M| 55 | 101 |1150 | 80k|1150 | 80k| 402 | 0 |3263 |-5.000000e+01 |-4.400000e+01 | 13.64%
1785.20/1785.54 c 1786s| 6600 | 5594 |783074 | 115.0 | 292M| 55 | 91 |1150 | 80k|1150 | 80k| 402 | 0 |3304 |-5.000000e+01 |-4.400000e+01 | 13.64%
1796.69/1797.08 c
1796.69/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.08 c Solving Time (sec) : 1797.08
1796.69/1797.08 c Solving Nodes : 6690
1796.69/1797.08 c Primal Bound : -4.40000000000000e+01 (575 solutions)
1796.69/1797.08 c Dual Bound : -5.00000000000000e+01
1796.69/1797.08 c Gap : 13.64 %
1796.79/1797.10 s SATISFIABLE
1796.79/1797.10 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.79/1797.10 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.79/1797.10 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.79/1797.10 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.79/1797.10 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
1796.79/1797.10 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.79/1797.10 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.79/1797.10 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 x186 -x187
1796.79/1797.10 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1796.79/1797.10 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229
1796.79/1797.10 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.79/1797.10 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.79/1797.10 v -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1796.79/1797.10 v -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.79/1797.10 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334
1796.79/1797.10 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355
1796.79/1797.10 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.79/1797.10 v x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.79/1797.10 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418
1796.79/1797.10 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.79/1797.10 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1796.79/1797.10 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1796.79/1797.10 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501
1796.79/1797.10 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1796.79/1797.10 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1796.79/1797.10 v -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1796.79/1797.10 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585
1796.79/1797.10 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606
1796.79/1797.10 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1796.79/1797.10 v -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648
1796.79/1797.10 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1796.79/1797.10 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1796.79/1797.10 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1796.79/1797.10 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1796.79/1797.10 v -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1796.79/1797.10 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1796.79/1797.10 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1796.79/1797.10 v x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1796.79/1797.10 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1796.79/1797.10 v -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858
1796.79/1797.10 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1796.79/1797.10 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1796.79/1797.10 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1796.79/1797.10 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942
1796.79/1797.10 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963
1796.79/1797.10 v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
1796.79/1797.10 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004
1796.79/1797.10 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
1796.79/1797.10 v -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1796.79/1797.10 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1796.79/1797.10 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075
1796.79/1797.10 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093
1796.79/1797.10 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1796.79/1797.10 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1796.79/1797.10 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147
1796.79/1797.10 v -x1148 -x1149 -x1150
1796.79/1797.10 c SCIP Status : solving was interrupted [time limit reached]
1796.79/1797.10 c Total Time : 1797.08
1796.79/1797.10 c solving : 1797.08
1796.79/1797.10 c presolving : 1.46 (included in solving)
1796.79/1797.10 c reading : 0.16 (included in solving)
1796.79/1797.10 c copying : 0.94 (8 #copies) (minimal 0.11, maximal 0.12, average 0.12)
1796.79/1797.10 c Original Problem :
1796.79/1797.10 c Problem name : HOME/instance-3693274-1338031748.opb
1796.79/1797.10 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.79/1797.10 c Constraints : 80072 initial, 80072 maximal
1796.79/1797.10 c Objective sense : minimize
1796.79/1797.10 c Presolved Problem :
1796.79/1797.10 c Problem name : t_HOME/instance-3693274-1338031748.opb
1796.79/1797.10 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.79/1797.10 c Constraints : 80072 initial, 80072 maximal
1796.79/1797.10 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.79/1797.10 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c probing : 0.41 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c setppc : 0.18 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c linear : 0.65 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.10 c root node : - - 0 - - 0 - - - - -
1796.79/1797.10 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.79/1797.10 c integral : 0 0 0 0 6262 0 580 0 2 68 0 0 12440
1796.79/1797.10 c setppc : 80072 80072 31 35970 0 0 575 0 0 213558 0 0 0
1796.79/1797.10 c countsols : 0 0 0 0 0 0 578 0 0 0 0 0 0
1796.79/1797.10 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.79/1797.10 c integral : 401.03 0.00 0.00 0.00 401.01 0.00 0.02 0.00
1796.79/1797.10 c setppc : 12.81 0.00 0.22 11.02 0.00 0.00 1.57 0.00
1796.79/1797.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.79/1797.10 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.79/1797.10 c rootredcost : 7 0 0 0
1796.79/1797.10 c pseudoobj : 42182 0 0 0
1796.79/1797.10 c vbounds : 0 0 0 0
1796.79/1797.10 c redcost : 6297 0 0 4
1796.79/1797.10 c probing : 0 0 0 0
1796.79/1797.10 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.79/1797.10 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.79/1797.10 c pseudoobj : 6.16 0.02 0.00 6.13 0.00
1796.79/1797.10 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.79/1797.10 c redcost : 0.17 0.00 0.00 0.17 0.00
1796.79/1797.10 c probing : 0.41 0.00 0.41 0.00 0.00
1796.79/1797.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.79/1797.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.79/1797.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.79/1797.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.79/1797.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.79/1797.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.79/1797.10 c applied globally : - - - 0 0.0 - - -
1796.79/1797.10 c applied locally : - - - 0 0.0 - - -
1796.79/1797.10 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.79/1797.10 c cut pool : 0.00 30 - - 64 - (maximal pool size: 838)
1796.79/1797.10 c closecuts : 0.00 0.00 0 0 0 0 0
1796.79/1797.10 c impliedbounds : 0.04 0.00 31 0 0 0 0
1796.79/1797.10 c intobj : 0.00 0.00 0 0 0 0 0
1796.79/1797.10 c gomory : 0.34 0.00 10 0 0 500 0
1796.79/1797.10 c cgmip : 0.00 0.00 0 0 0 0 0
1796.79/1797.10 c strongcg : 5.35 0.00 20 0 0 10000 0
1796.79/1797.10 c cmir : 11.61 0.00 10 0 0 0 0
1796.79/1797.10 c flowcover : 13.11 0.00 10 0 0 0 0
1796.79/1797.10 c clique : 1.07 0.00 31 0 0 283 0
1796.79/1797.10 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.79/1797.10 c mcf : 0.06 0.00 1 0 0 0 0
1796.79/1797.10 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.79/1797.10 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.79/1797.10 c Pricers : ExecTime SetupTime Calls Vars
1796.79/1797.10 c problem variables: 0.00 - 0 0
1796.79/1797.10 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.79/1797.10 c relpscost : 400.97 0.00 6262 2 68 0 0 12440
1796.79/1797.10 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.10 c inference : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.10 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.10 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.10 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.10 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.10 c random : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.10 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.79/1797.10 c LP solutions : 0.00 - - 0
1796.79/1797.10 c pseudo solutions : 0.00 - - 0
1796.79/1797.10 c feaspump : 0.00 0.00 0 0
1796.79/1797.10 c intshifting : 0.00 0.00 0 0
1796.79/1797.10 c oneopt : 0.11 0.00 7 2
1796.79/1797.10 c crossover : 4.30 0.00 7 2
1796.79/1797.10 c guideddiving : 57.55 0.00 50 5
1796.79/1797.10 c fracdiving : 62.00 0.00 58 8
1796.79/1797.10 c coefdiving : 104.51 0.00 141 21
1796.79/1797.10 c pscostdiving : 75.36 0.00 148 48
1796.79/1797.10 c linesearchdiving : 79.30 0.00 148 29
1796.79/1797.10 c rootsoldiving : 47.09 0.00 75 94
1796.79/1797.10 c smallcard : 0.00 0.00 0 0
1796.79/1797.10 c trivial : 0.01 0.00 2 1
1796.79/1797.10 c shiftandpropagate: 0.00 0.00 0 0
1796.79/1797.10 c simplerounding : 0.28 0.00 6293 52
1796.79/1797.10 c zirounding : 40.28 0.00 6221 156
1796.79/1797.10 c rounding : 16.66 0.00 3303 1
1796.79/1797.10 c shifting : 2.56 0.00 414 1
1796.79/1797.10 c twoopt : 0.00 0.00 0 0
1796.79/1797.10 c indtwoopt : 0.00 0.00 0 0
1796.79/1797.10 c indoneopt : 0.02 0.00 0 0
1796.79/1797.10 c fixandinfer : 0.00 0.00 0 0
1796.79/1797.10 c clique : 0.00 0.00 0 0
1796.79/1797.10 c indcoefdiving : 0.00 0.00 0 0
1796.79/1797.10 c indrounding : 0.00 0.00 0 0
1796.79/1797.10 c nlpdiving : 0.00 0.00 0 0
1796.79/1797.10 c veclendiving : 191.91 0.00 109 12
1796.79/1797.10 c intdiving : 0.00 0.00 0 0
1796.79/1797.10 c actconsdiving : 0.00 0.00 0 0
1796.79/1797.10 c objpscostdiving : 77.18 0.00 55 142
1796.79/1797.10 c octane : 0.00 0.00 0 0
1796.79/1797.10 c rens : 1.83 0.00 1 1
1796.79/1797.10 c rins : 0.00 0.00 0 0
1796.79/1797.10 c localbranching : 0.00 0.00 0 0
1796.79/1797.10 c mutation : 0.00 0.00 0 0
1796.79/1797.10 c dins : 0.00 0.00 0 0
1796.79/1797.10 c vbounds : 0.00 0.00 0 0
1796.79/1797.10 c undercover : 0.00 0.00 0 0
1796.79/1797.10 c subnlp : 0.01 0.00 0 0
1796.79/1797.10 c trysol : 0.02 0.00 0 0
1796.79/1797.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.79/1797.10 c primal LP : 0.10 5 0 0.00 0.00 0.10 5
1796.79/1797.10 c dual LP : 512.28 6895 464688 68.73 907.09 2.36 134
1796.79/1797.10 c lex dual LP : 0.00 0 0 0.00 -
1796.79/1797.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.79/1797.10 c diving/probing LP: 549.35 19166 323722 16.89 589.28
1796.79/1797.10 c strong branching : 398.93 3334 262139 78.63 657.10
1796.79/1797.10 c (at root node) : - 33 4418 133.88 -
1796.79/1797.10 c conflict analysis: 0.00 0 0 0.00 -
1796.79/1797.10 c B&B Tree :
1796.79/1797.10 c number of runs : 1
1796.79/1797.10 c nodes : 6690
1796.79/1797.10 c nodes (total) : 6690
1796.79/1797.10 c nodes left : 5648
1796.79/1797.10 c max depth : 55
1796.79/1797.10 c max depth (total): 55
1796.79/1797.10 c backtracks : 1000 (14.9%)
1796.79/1797.10 c delayed cutoffs : 0
1796.79/1797.10 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.79/1797.10 c avg switch length: 5.87
1796.79/1797.10 c switching time : 19.45
1796.79/1797.10 c Solution :
1796.79/1797.10 c Solutions found : 575 (9 improvements)
1796.79/1797.10 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.36 seconds, depth 0, found by <trivial>)
1796.79/1797.10 c Primal Bound : -4.40000000000000e+01 (in run 1, after 3009 nodes, 1034.84 seconds, depth 31, found by <pscostdiving>)
1796.79/1797.10 c Dual Bound : -5.00000000000000e+01
1796.79/1797.10 c Gap : 13.64 %
1796.79/1797.10 c Root Dual Bound : -5.00000000000000e+01
1796.79/1797.10 c Root Iterations : 24049
1797.10/1797.42 c Time complete: 1797.12.
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-3693274-1338031748/watcher-3693274-1338031748 -o /tmp/evaluation-result-3693274-1338031748/solver-3693274-1338031748 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693274-1338031748.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.01 2.02 1.89 2/176 2773 /proc/meminfo: memFree=28318708/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=11136 CPUtime=0 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 1548 0 0 0 0 0 0 0 20 0 1 0 269303348 11403264 1502 33554432000 4194304 10169799 140735824518352 140735887962152 8801104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 2784 1502 412 1459 0 1316 0 [startup+0.049582 s] /proc/loadavg: 2.01 2.02 1.89 2/176 2773 /proc/meminfo: memFree=28318708/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=18136 CPUtime=0.04 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 3301 0 0 0 4 0 0 0 20 0 1 0 269303348 18571264 3255 33554432000 4194304 10169799 140735824518352 140735887962152 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 4534 3255 412 1459 0 3066 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 18136 [startup+0.100345 s] /proc/loadavg: 2.01 2.02 1.89 2/176 2773 /proc/meminfo: memFree=28318708/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=25124 CPUtime=0.09 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 5033 0 0 0 9 0 0 0 20 0 1 0 269303348 25726976 4987 33554432000 4194304 10169799 140735824518352 140735887962152 7139768 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 6281 4987 412 1459 0 4813 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25124 [startup+0.300315 s] /proc/loadavg: 2.01 2.02 1.89 2/176 2773 /proc/meminfo: memFree=28318708/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=97528 CPUtime=0.29 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 22675 0 0 0 27 2 0 0 20 0 1 0 269303348 99868672 22573 33554432000 4194304 10169799 140735824518352 140735824515368 4933777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 24382 22573 499 1459 0 22914 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 97528 [startup+0.700305 s] /proc/loadavg: 2.01 2.02 1.89 2/176 2773 /proc/meminfo: memFree=28318708/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=111920 CPUtime=0.69 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 28720 0 0 0 50 19 0 0 20 0 1 0 269303348 114606080 26056 33554432000 4194304 10169799 140735824518352 140735824515368 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 27980 26056 545 1459 0 26512 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 111920 [startup+1.50034 s] /proc/loadavg: 2.01 2.02 1.89 3/177 2774 /proc/meminfo: memFree=28190236/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=125124 CPUtime=1.49 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 37477 0 0 0 107 42 0 0 20 0 1 0 269303348 128126976 29309 33554432000 4194304 10169799 140735824518352 140735824516744 4777685 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 31281 29309 581 1459 0 29813 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 125124 [startup+3.10033 s] /proc/loadavg: 2.01 2.02 1.89 3/177 2774 /proc/meminfo: memFree=28112412/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=251596 CPUtime=3.09 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 63373 0 0 0 257 52 0 0 20 0 1 0 269303348 257634304 58651 33554432000 4194304 10169799 140735824518352 140735824512760 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 62899 58651 737 1459 0 61431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 251596 [startup+6.30025 s] /proc/loadavg: 2.01 2.02 1.89 3/177 2774 /proc/meminfo: memFree=28083948/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=251596 CPUtime=6.29 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 64579 0 0 0 563 66 0 0 20 0 1 0 269303348 257634304 59658 33554432000 4194304 10169799 140735824518352 140735824515864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 62899 59658 774 1459 0 61431 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 251596 [startup+12.7002 s] /proc/loadavg: 2.01 2.02 1.89 3/177 2774 /proc/meminfo: memFree=28082096/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=251596 CPUtime=12.69 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 64728 0 0 0 1202 67 0 0 20 0 1 0 269303348 257634304 59807 33554432000 4194304 10169799 140735824518352 140735824514664 5096322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 62899 59807 774 1459 0 61431 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 251596 [startup+25.5002 s] /proc/loadavg: 2.01 2.02 1.90 3/177 2774 /proc/meminfo: memFree=28080740/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=252588 CPUtime=25.49 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 65205 0 0 0 2481 68 0 0 20 0 1 0 269303348 258650112 60284 33554432000 4194304 10169799 140735824518352 140735824514888 7271364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 63147 60284 774 1459 0 61679 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 252588 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 1.90 3/177 2774 /proc/meminfo: memFree=28074168/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=258476 CPUtime=51.08 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 66809 0 0 0 5036 72 0 0 20 0 1 0 269303348 264679424 61888 33554432000 4194304 10169799 140735824518352 140735824512760 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 64619 61888 774 1459 0 63151 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 258476 [startup+102.307 s] /proc/loadavg: 2.00 2.01 1.90 3/178 2777 /proc/meminfo: memFree=28013356/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=315592 CPUtime=102.28 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 81916 0 0 0 10123 105 0 0 20 0 1 0 269303348 323166208 77066 33554432000 4194304 10169799 140735824518352 140735824512952 7908985 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 78898 77066 823 1459 0 77430 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 315592 [startup+162.3 s] /proc/loadavg: 2.08 2.02 1.91 3/177 2777 /proc/meminfo: memFree=28013340/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=315592 CPUtime=162.25 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 81934 0 0 0 16109 116 0 0 20 0 1 0 269303348 323166208 77171 33554432000 4194304 10169799 140735824518352 140735824513000 7703210 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 78898 77171 823 1459 0 77430 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 315592 [startup+222.3 s] /proc/loadavg: 2.03 2.01 1.91 3/177 2777 /proc/meminfo: memFree=28011772/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=315592 CPUtime=222.24 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 81935 0 0 0 22096 128 0 0 20 0 1 0 269303348 323166208 77454 33554432000 4194304 10169799 140735824518352 140735824512888 8044248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 78898 77454 823 1459 0 77430 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 315592 [startup+282.3 s] /proc/loadavg: 2.01 2.01 1.91 3/177 2777 /proc/meminfo: memFree=28005004/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=315592 CPUtime=282.23 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 81935 0 0 0 28084 139 0 0 20 0 1 0 269303348 323166208 77454 33554432000 4194304 10169799 140735824518352 140735824512952 6865933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 78898 77454 823 1459 0 77430 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 315592 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 2778 /proc/meminfo: memFree=28014064/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=305492 CPUtime=342.22 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 85849 0 0 0 34054 168 0 0 20 0 1 0 269303348 312823808 75042 33554432000 4194304 10169799 140735824518352 140735824513144 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 76373 75042 827 1459 0 74905 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 305492 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 2779 /proc/meminfo: memFree=28006988/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=312460 CPUtime=402.21 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 96475 0 0 0 40024 197 0 0 20 0 1 0 269303348 319959040 76785 33554432000 4194304 10169799 140735824518352 140735824513336 7915786 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 78115 76785 827 1459 0 76647 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 312460 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 2779 /proc/meminfo: memFree=28007608/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=312460 CPUtime=462.2 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 96478 0 0 0 46010 210 0 0 20 0 1 0 269303348 319959040 76788 33554432000 4194304 10169799 140735824518352 140735824513336 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 78115 76788 827 1459 0 76647 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 312460 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 2779 /proc/meminfo: memFree=28007608/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=312460 CPUtime=522.19 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 96478 0 0 0 51997 222 0 0 20 0 1 0 269303348 319959040 76788 33554432000 4194304 10169799 140735824518352 140735824512760 7908970 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 78115 76788 827 1459 0 76647 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 312460 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 2779 /proc/meminfo: memFree=28012324/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=305492 CPUtime=582.19 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 111844 0 0 0 57966 253 0 0 20 0 1 0 269303348 312823808 75046 33554432000 4194304 10169799 140735824518352 140735824512680 8009671 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 76373 75046 827 1459 0 74905 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 305492 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27953320/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=362400 CPUtime=1122.11 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 164585 0 0 0 111802 409 0 0 20 0 1 0 269303348 371097600 87513 33554432000 4194304 10169799 140735824518352 140735824512680 8009826 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 90600 87513 827 1459 0 89132 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 362400 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 1.93 3/177 2784 /proc/meminfo: memFree=27944372/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=366936 CPUtime=1182.1 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 169372 0 0 0 117787 423 0 0 20 0 1 0 269303348 375742464 89432 33554432000 4194304 10169799 140735824518352 140735824512392 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 91734 89432 827 1459 0 90266 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 366936 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 1.93 3/177 2785 /proc/meminfo: memFree=27935440/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=372160 CPUtime=1242.09 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 170156 0 0 0 123774 435 0 0 20 0 1 0 269303348 381091840 90727 33554432000 4194304 10169799 140735824518352 140735824512808 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 93040 90727 827 1459 0 91572 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 372160 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 2788 /proc/meminfo: memFree=27931400/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=378516 CPUtime=1302.08 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 171116 0 0 0 129761 447 0 0 20 0 1 0 269303348 387600384 92198 33554432000 4194304 10169799 140735824518352 140735824513368 7907789 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 94629 92198 827 1459 0 93161 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 378516 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2788 /proc/meminfo: memFree=27923596/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=385696 CPUtime=1362.06 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 192458 0 0 0 135726 480 0 0 20 0 1 0 269303348 394952704 94217 33554432000 4194304 10169799 140735824518352 140735824513144 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 96424 94217 827 1459 0 94956 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 385696 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 1.93 3/177 2788 /proc/meminfo: memFree=27915164/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=397016 CPUtime=1422.07 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 194639 0 0 0 141713 494 0 0 20 0 1 0 269303348 406544384 96398 33554432000 4194304 10169799 140735824518352 140735824513144 7908970 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 99254 96398 827 1459 0 97786 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 397016 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 1.93 3/177 2788 /proc/meminfo: memFree=27903784/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=404112 CPUtime=1482.04 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 196349 0 0 0 147696 508 0 0 20 0 1 0 269303348 413810688 99096 33554432000 4194304 10169799 140735824518352 140735824514872 8038271 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 101028 99096 827 1459 0 99560 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 404112 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27600480/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=412300 CPUtime=1542.04 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 197511 0 0 0 153682 522 0 0 20 0 1 0 269303348 422195200 100258 33554432000 4194304 10169799 140735824518352 140735824512440 8055447 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 103075 100258 827 1459 0 101607 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 412300 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27590932/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=419856 CPUtime=1602.03 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 219684 0 0 0 159648 555 0 0 20 0 1 0 269303348 429932544 102517 33554432000 4194304 10169799 140735824518352 140735824512216 7679568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 104964 102517 827 1459 0 103496 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 419856 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27579400/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=431592 CPUtime=1662.02 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 222615 0 0 0 165636 566 0 0 20 0 1 0 269303348 441950208 105400 33554432000 4194304 10169799 140735824518352 140735824512488 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 107898 105400 827 1459 0 106430 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 431592 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27571432/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=437008 CPUtime=1722.01 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 223828 0 0 0 171623 578 0 0 20 0 1 0 269303348 447496192 107352 33554432000 4194304 10169799 140735824518352 140735824513128 7909150 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 109252 107352 827 1459 0 107784 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 437008 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27563348/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=442772 CPUtime=1782 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 224734 0 0 0 177609 591 0 0 20 0 1 0 269303348 453398528 108769 33554432000 4194304 10169799 140735824518352 140735824512104 5120223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 110693 108769 827 1459 0 109225 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 442772 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27563472/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=442772 CPUtime=1785.2 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 224758 0 0 0 177928 592 0 0 20 0 1 0 269303348 453398528 108793 33554432000 4194304 10169799 140735824518352 140735824512168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 110693 108793 827 1459 0 109225 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 442772 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27562836/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=442772 CPUtime=1791.6 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 224781 0 0 0 178567 593 0 0 20 0 1 0 269303348 453398528 108816 33554432000 4194304 10169799 140735824518352 140735824515992 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 110693 108816 827 1459 0 109225 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 442772 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27562836/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=443860 CPUtime=1794.8 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 224800 0 0 0 178887 593 0 0 20 0 1 0 269303348 454512640 108835 33554432000 4194304 10169799 140735824518352 140735824513064 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 110965 108835 827 1459 0 109497 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 443860 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27562836/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=443860 CPUtime=1796.39 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 224804 0 0 0 179045 594 0 0 20 0 1 0 269303348 454512640 108839 33554432000 4194304 10169799 140735824518352 140735824513144 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 110965 108839 827 1459 0 109497 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 443860 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27562836/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=443860 CPUtime=1796.79 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 224805 0 0 0 179085 594 0 0 20 0 1 0 269303348 454512640 108840 33554432000 4194304 10169799 140735824518352 140735824513144 5757900 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 110965 108840 828 1459 0 109497 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 443860 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27564324/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=441328 CPUtime=1797 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 224806 0 0 0 179106 594 0 0 20 0 1 0 269303348 451919872 108208 33554432000 4194304 10169799 140735824518352 140735824517432 8989847 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 110332 108208 829 1459 0 108864 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 441328 [startup+1797.41 s] /proc/loadavg: 2.00 2.00 1.93 3/177 2866 /proc/meminfo: memFree=27564324/32873844 swapFree=7356/7356 [pid=2773] ppid=2771 vsize=417908 CPUtime=1797.1 cores=1,3,5,7 /proc/2773/stat : 2773 (scip-2.1.1.4sfi) R 2771 2773 1047 0 -1 4202496 224806 0 0 0 179116 594 0 0 20 0 1 0 269303348 427937792 102616 33554432000 4194304 10169799 140735824518352 140735824517432 7547449 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2773/statm: 104477 102616 829 1459 0 103009 0 Current children cumulated CPU time (s) 1797.1 Current children cumulated vsize (KiB) 417908 Child status: 0 Real time (s): 1797.42 CPU time (s): 1797.13 CPU user time (s): 1791.18 CPU system time (s): 5.95309 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 489584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.18 system time used= 5.95309 maximum resident set size= 482628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224808 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= 31 involuntary context switches= 1847 runsolver used 3.24351 second user time and 8.77467 second system time The end
Begin job on node109 at 2012-05-26 13:29:08 IDJOB=3693274 IDBENCH=2260 IDSOLVER=2272 FILE ID=node109/3693274-1338031748 RUNJOBID= node109-1338029634-2327 PBS_JOBID= 14624362 Free space on /tmp= 71380 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard 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.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693274-1338031748/watcher-3693274-1338031748 -o /tmp/evaluation-result-3693274-1338031748/solver-3693274-1338031748 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693274-1338031748.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8 RANDOM SEED=175524791 node109.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 : 2667.264 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 : 5334.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 : 2667.264 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 : 2667.264 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.91 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 : 2667.264 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 : 2667.264 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.91 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 : 2667.264 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 : 2667.264 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 : 2667.264 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: 28319732 kB Buffers: 241788 kB Cached: 3397300 kB SwapCached: 0 kB Active: 830588 kB Inactive: 2944504 kB Active(anon): 138316 kB Inactive(anon): 0 kB Active(file): 692272 kB Inactive(file): 2944504 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 15580 kB Writeback: 0 kB AnonPages: 173768 kB Mapped: 17068 kB Shmem: 200 kB Slab: 638412 kB SReclaimable: 81064 kB SUnreclaim: 557348 kB KernelStack: 1472 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 251868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 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= 71356 MiB End job on node109 at 2012-05-26 13:59:05