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 | -37 | 1796.96 | 1797.25 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
| MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -40 |
| Best CPU time to get the best result obtained on this benchmark | 824.628 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -39 |
| Optimality of the best value was proved | NO |
| Number of variables | 760 |
| Total number of constraints | 41619 |
| Number of constraints which are clauses | 41619 |
| 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 | 760 |
| 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 | 760 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 760 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.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-3693269-1338031472.opb>
0.00/0.08 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.00/0.08 c problem read in 0.09
0.09/0.19 o 0
0.09/0.19 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.19 c presolving:
0.49/0.55 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41619 upgd conss, 83238 impls, 0 clqs
0.79/0.81 c (0.8s) probing: 51/760 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.81 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.79/0.82 c presolving (2 rounds):
0.79/0.82 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.82 c 83238 implications, 0 cliques
0.79/0.82 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.79/0.82 c 41619 constraints of type <setppc>
0.79/0.82 c transformed objective value is always integral (scale: 1)
0.79/0.82 c Presolving Time: 0.70
0.79/0.82 c - non default parameters ----------------------------------------------------------------------
0.79/0.82 c # SCIP version 2.1.1.4
0.79/0.82 c
0.79/0.82 c # maximal time in seconds to run
0.79/0.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.82 c limits/time = 1797
0.79/0.82 c
0.79/0.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.82 c limits/memory = 13950
0.79/0.82 c
0.79/0.82 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.82 c # [type: int, range: [1,2], default: 1]
0.79/0.82 c timing/clocktype = 2
0.79/0.82 c
0.79/0.82 c # belongs reading time to solving time?
0.79/0.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.82 c timing/reading = TRUE
0.79/0.82 c
0.79/0.82 c -----------------------------------------------------------------------------------------------
0.79/0.82 c start solving
0.79/0.83 c
1.19/1.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.27 c t 1.3s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | Inf
1.29/1.30 o -1
1.29/1.30 c R 1.3s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | Large
1.29/1.33 o -2
1.29/1.33 c s 1.3s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | Large
1.89/1.98 c 2.0s| 1 | 0 | 954 | - | 50M| 0 | 709 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.545000e+02 |-2.000000e+00 | Large
1.99/2.00 o -31
1.99/2.00 c b 2.0s| 1 | 0 | 954 | - | 50M| 0 | 709 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.545000e+02 |-3.100000e+01 |1043.55%
2.79/2.87 c 2.9s| 1 | 0 | 1208 | - | 50M| 0 | 674 | 760 | 41k| 760 | 41k| 11 | 0 | 0 |-3.370000e+02 |-3.100000e+01 | 987.10%
3.69/3.79 c 3.8s| 1 | 0 | 1352 | - | 50M| 0 | 636 | 760 | 41k| 760 | 41k| 22 | 0 | 0 |-3.180000e+02 |-3.100000e+01 | 925.81%
4.69/4.79 c 4.8s| 1 | 0 | 1460 | - | 50M| 0 | 603 | 760 | 41k| 760 | 41k| 30 | 0 | 0 |-3.015000e+02 |-3.100000e+01 | 872.58%
5.99/6.04 c 6.0s| 1 | 0 | 1626 | - | 50M| 0 | 563 | 760 | 41k| 760 | 41k| 42 | 0 | 0 |-2.815000e+02 |-3.100000e+01 | 808.06%
7.28/7.38 c 7.4s| 1 | 0 | 1845 | - | 50M| 0 | 527 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-2.635000e+02 |-3.100000e+01 | 750.00%
8.79/8.82 c 8.8s| 1 | 0 | 2103 | - | 50M| 0 | 491 | 760 | 41k| 760 | 41k| 62 | 0 | 0 |-2.455000e+02 |-3.100000e+01 | 691.94%
10.49/10.52 c 10.5s| 1 | 0 | 2903 | - | 50M| 0 | 456 | 760 | 41k| 760 | 41k| 71 | 0 | 0 |-2.280000e+02 |-3.100000e+01 | 635.48%
11.69/11.76 c 11.8s| 1 | 0 | 2979 | - | 50M| 0 | 437 | 760 | 41k| 760 | 41k| 80 | 0 | 0 |-2.185000e+02 |-3.100000e+01 | 604.84%
12.98/13.03 c 13.0s| 1 | 0 | 3078 | - | 50M| 0 | 402 | 760 | 41k| 760 | 41k| 90 | 0 | 0 |-2.010000e+02 |-3.100000e+01 | 548.39%
13.39/13.41 c 13.4s| 1 | 0 | 3360 | - | 50M| 0 | 365 | 760 | 41k| 760 | 41k| 99 | 0 | 0 |-1.825000e+02 |-3.100000e+01 | 488.71%
13.59/13.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.59/13.68 c 13.7s| 1 | 0 | 3512 | - | 50M| 0 | 331 | 760 | 41k| 760 | 41k| 109 | 0 | 0 |-1.655000e+02 |-3.100000e+01 | 433.87%
14.09/14.12 c 14.1s| 1 | 0 | 4012 | - | 50M| 0 | 283 | 760 | 41k| 760 | 41k| 127 | 0 | 0 |-1.415000e+02 |-3.100000e+01 | 356.45%
14.68/14.74 c 14.7s| 1 | 0 | 4895 | - | 50M| 0 | 244 | 760 | 41k| 760 | 41k| 140 | 0 | 0 |-1.220000e+02 |-3.100000e+01 | 293.55%
15.18/15.25 c 15.2s| 1 | 0 | 5493 | - | 50M| 0 | 208 | 760 | 41k| 760 | 41k| 154 | 0 | 0 |-1.040000e+02 |-3.100000e+01 | 235.48%
15.50/15.53 c 15.5s| 1 | 0 | 5728 | - | 50M| 0 | 178 | 760 | 41k| 760 | 41k| 168 | 0 | 0 |-8.900000e+01 |-3.100000e+01 | 187.10%
15.89/15.93 c 15.9s| 1 | 0 | 6167 | - | 50M| 0 | 144 | 760 | 41k| 760 | 41k| 182 | 0 | 0 |-7.300000e+01 |-3.100000e+01 | 135.48%
16.78/16.89 c 16.9s| 1 | 0 | 7898 | - | 50M| 0 | 133 | 760 | 41k| 760 | 41k| 194 | 0 | 0 |-6.050000e+01 |-3.100000e+01 | 95.16%
16.99/17.09 c 17.1s| 1 | 0 | 7977 | - | 50M| 0 | 112 | 760 | 41k| 760 | 41k| 202 | 0 | 0 |-5.350000e+01 |-3.100000e+01 | 72.58%
17.29/17.35 c 17.3s| 1 | 0 | 8177 | - | 50M| 0 | 100 | 760 | 41k| 760 | 41k| 209 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.39/17.41 c 17.4s| 1 | 0 | 8239 | - | 50M| 0 | 121 | 760 | 41k| 760 | 41k| 216 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.39/17.45 c 17.4s| 1 | 0 | 8257 | - | 50M| 0 | 122 | 760 | 41k| 760 | 41k| 225 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.49/17.53 c 17.5s| 1 | 0 | 8322 | - | 50M| 0 | 110 | 760 | 41k| 760 | 41k| 236 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.49/17.60 c 17.6s| 1 | 0 | 8389 | - | 50M| 0 | 138 | 760 | 41k| 760 | 41k| 245 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.60/17.65 c 17.7s| 1 | 0 | 8419 | - | 50M| 0 | 122 | 760 | 41k| 760 | 41k| 252 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
20.89/20.95 c 21.0s| 1 | 2 | 8419 | - | 50M| 0 | 122 | 760 | 41k| 760 | 41k| 252 | 0 | 19 |-4.050000e+01 |-3.100000e+01 | 30.65%
43.68/43.78 o -32
43.68/43.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.68/43.78 c *43.8s| 17 | 14 | 9269 | 53.1 | 51M| 15 | - | 760 | 41k| 760 | 41k| 252 | 0 | 370 |-4.000000e+01 |-3.200000e+01 | 25.00%
77.17/77.27 o -33
77.17/77.27 c *77.3s| 46 | 28 | 11123 | 60.1 | 52M| 18 | - | 760 | 41k| 760 | 41k| 252 | 0 |1011 |-4.000000e+01 |-3.300000e+01 | 21.21%
91.27/91.40 o -34
91.27/91.40 c *91.4s| 67 | 36 | 11927 | 53.2 | 53M| 23 | - | 760 | 41k| 760 | 41k| 252 | 0 |1291 |-4.000000e+01 |-3.400000e+01 | 17.65%
102.06/102.10 c 102s| 100 | 55 | 12905 | 45.3 | 53M| 23 | - | 760 | 41k| 760 | 41k| 252 | 0 |1502 |-4.000000e+01 |-3.400000e+01 | 17.65%
121.85/121.96 c 122s| 200 | 125 | 18073 | 48.5 | 55M| 23 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |1772 |-4.000000e+01 |-3.400000e+01 | 17.65%
126.86/126.98 c 127s| 300 | 193 | 22171 | 46.0 | 58M| 26 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |1788 |-4.000000e+01 |-3.400000e+01 | 17.65%
132.06/132.14 c 132s| 400 | 247 | 26004 | 44.1 | 59M| 32 | - | 760 | 41k| 760 | 41k| 252 | 0 |1818 |-4.000000e+01 |-3.400000e+01 | 17.65%
136.15/136.22 c 136s| 500 | 297 | 29387 | 42.0 | 60M| 37 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |1836 |-4.000000e+01 |-3.400000e+01 | 17.65%
140.05/140.15 c 140s| 600 | 339 | 32086 | 39.5 | 61M| 44 | 48 | 760 | 41k| 760 | 41k| 252 | 0 |1854 |-4.000000e+01 |-3.400000e+01 | 17.65%
144.95/145.09 c 145s| 700 | 395 | 35777 | 39.1 | 62M| 44 | 42 | 760 | 41k| 760 | 41k| 252 | 0 |1881 |-4.000000e+01 |-3.400000e+01 | 17.65%
149.56/149.61 c 150s| 800 | 443 | 39370 | 38.7 | 63M| 44 | 38 | 760 | 41k| 760 | 41k| 252 | 0 |1908 |-4.000000e+01 |-3.400000e+01 | 17.65%
154.06/154.13 c 154s| 900 | 507 | 42516 | 37.9 | 64M| 44 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |1934 |-4.000000e+01 |-3.400000e+01 | 17.65%
159.05/159.11 c 159s| 1000 | 559 | 46607 | 38.2 | 66M| 44 | 47 | 760 | 41k| 760 | 41k| 252 | 0 |1962 |-4.000000e+01 |-3.400000e+01 | 17.65%
163.86/163.93 c 164s| 1100 | 613 | 50300 | 38.1 | 67M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |1990 |-4.000000e+01 |-3.400000e+01 | 17.65%
168.65/168.70 c 169s| 1200 | 661 | 54047 | 38.1 | 68M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2017 |-4.000000e+01 |-3.400000e+01 | 17.65%
174.05/174.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.05/174.19 c 174s| 1300 | 731 | 58327 | 38.4 | 70M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2047 |-4.000000e+01 |-3.400000e+01 | 17.65%
179.45/179.50 c 179s| 1400 | 791 | 62860 | 38.9 | 72M| 44 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |2080 |-4.000000e+01 |-3.400000e+01 | 17.65%
183.75/183.88 c 184s| 1500 | 849 | 66168 | 38.5 | 73M| 44 | 87 | 760 | 41k| 760 | 41k| 252 | 0 |2107 |-4.000000e+01 |-3.400000e+01 | 17.65%
192.35/192.49 c 192s| 1600 | 927 | 73338 | 40.6 | 75M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2137 |-4.000000e+01 |-3.400000e+01 | 17.65%
201.85/201.97 c 202s| 1700 | 1027 | 81152 | 42.8 | 77M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2160 |-4.000000e+01 |-3.400000e+01 | 17.65%
210.05/210.18 c 210s| 1800 | 1127 | 88805 | 44.7 | 79M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2169 |-4.000000e+01 |-3.400000e+01 | 17.65%
221.84/221.99 c 222s| 1900 | 1227 |100258 | 48.4 | 81M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2177 |-4.000000e+01 |-3.400000e+01 | 17.65%
231.54/231.62 c 232s| 2000 | 1327 |109553 | 50.6 | 83M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2204 |-4.000000e+01 |-3.400000e+01 | 17.65%
245.54/245.64 c 246s| 2100 | 1427 |122893 | 54.5 | 85M| 44 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |2228 |-4.000000e+01 |-3.400000e+01 | 17.65%
255.34/255.49 c 255s| 2200 | 1525 |132297 | 56.3 | 87M| 44 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |2237 |-4.000000e+01 |-3.400000e+01 | 17.65%
266.64/266.76 c 267s| 2300 | 1625 |143402 | 58.7 | 90M| 44 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |2245 |-4.000000e+01 |-3.400000e+01 | 17.65%
272.03/272.13 o -35
272.03/272.13 c l 272s| 2348 | 1545 |148556 | 59.7 | 89M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2247 |-4.000000e+01 |-3.500000e+01 | 14.29%
277.73/277.85 c 278s| 2400 | 1595 |154815 | 61.0 | 90M| 44 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |2254 |-4.000000e+01 |-3.500000e+01 | 14.29%
287.43/287.59 c 288s| 2500 | 1689 |164690 | 62.5 | 92M| 44 | 55 | 760 | 41k| 760 | 41k| 252 | 0 |2258 |-4.000000e+01 |-3.500000e+01 | 14.29%
298.13/298.25 c 298s| 2600 | 1783 |175213 | 64.2 | 94M| 44 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |2274 |-4.000000e+01 |-3.500000e+01 | 14.29%
309.63/309.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.63/309.79 c 310s| 2700 | 1873 |185499 | 65.6 | 96M| 44 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |2278 |-4.000000e+01 |-3.500000e+01 | 14.29%
324.63/324.73 c 325s| 2800 | 1971 |198567 | 67.9 | 99M| 44 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |2319 |-4.000000e+01 |-3.500000e+01 | 14.29%
337.02/337.11 c 337s| 2900 | 2065 |209405 | 69.3 | 101M| 44 | 83 | 760 | 41k| 760 | 41k| 252 | 0 |2378 |-4.000000e+01 |-3.500000e+01 | 14.29%
350.42/350.56 c 351s| 3000 | 2157 |220403 | 70.7 | 103M| 44 | 61 | 760 | 41k| 760 | 41k| 252 | 0 |2421 |-4.000000e+01 |-3.500000e+01 | 14.29%
362.22/362.32 c 362s| 3100 | 2253 |229929 | 71.5 | 105M| 45 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |2464 |-4.000000e+01 |-3.500000e+01 | 14.29%
375.72/375.89 c 376s| 3200 | 2349 |242282 | 73.1 | 107M| 45 | 97 | 760 | 41k| 760 | 41k| 252 | 0 |2504 |-4.000000e+01 |-3.500000e+01 | 14.29%
386.81/386.93 c 387s| 3300 | 2437 |251610 | 73.7 | 109M| 45 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |2543 |-4.000000e+01 |-3.500000e+01 | 14.29%
400.32/400.46 c 400s| 3400 | 2531 |263786 | 75.1 | 111M| 45 | 100 | 760 | 41k| 760 | 41k| 252 | 0 |2579 |-4.000000e+01 |-3.500000e+01 | 14.29%
410.11/410.20 c 410s| 3500 | 2615 |272337 | 75.4 | 113M| 45 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |2602 |-4.000000e+01 |-3.500000e+01 | 14.29%
419.31/419.47 c 419s| 3600 | 2707 |280766 | 75.7 | 115M| 45 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |2612 |-4.000000e+01 |-3.500000e+01 | 14.29%
428.11/428.20 c 428s| 3700 | 2799 |289659 | 76.0 | 117M| 48 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |2616 |-4.000000e+01 |-3.500000e+01 | 14.29%
439.21/439.36 c 439s| 3800 | 2895 |301235 | 77.1 | 119M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |2620 |-4.000000e+01 |-3.500000e+01 | 14.29%
446.62/446.76 c 447s| 3900 | 2977 |308329 | 76.9 | 120M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |2622 |-4.000000e+01 |-3.500000e+01 | 14.29%
457.20/457.30 c 457s| 4000 | 3071 |319419 | 77.8 | 122M| 48 | 61 | 760 | 41k| 760 | 41k| 252 | 0 |2622 |-4.000000e+01 |-3.500000e+01 | 14.29%
464.70/464.86 c 465s| 4100 | 3153 |326771 | 77.7 | 124M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2623 |-4.000000e+01 |-3.500000e+01 | 14.29%
471.70/471.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.70/471.88 c 472s| 4200 | 3221 |334320 | 77.6 | 125M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |2623 |-4.000000e+01 |-3.500000e+01 | 14.29%
481.40/481.56 c 482s| 4300 | 3309 |344650 | 78.2 | 127M| 48 | 86 | 760 | 41k| 760 | 41k| 252 | 0 |2628 |-4.000000e+01 |-3.500000e+01 | 14.29%
489.10/489.28 c 489s| 4400 | 3379 |351372 | 78.0 | 129M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |2668 |-4.000000e+01 |-3.500000e+01 | 14.29%
497.80/497.99 c 498s| 4500 | 3449 |358867 | 77.9 | 130M| 48 | 82 | 760 | 41k| 760 | 41k| 252 | 0 |2706 |-4.000000e+01 |-3.500000e+01 | 14.29%
507.70/507.81 c 508s| 4600 | 3535 |367048 | 78.0 | 132M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2753 |-4.000000e+01 |-3.500000e+01 | 14.29%
518.10/518.25 c 518s| 4700 | 3615 |375741 | 78.2 | 133M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |2799 |-4.000000e+01 |-3.500000e+01 | 14.29%
527.19/527.37 c 527s| 4800 | 3701 |383708 | 78.2 | 135M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2834 |-4.000000e+01 |-3.500000e+01 | 14.29%
533.59/533.76 c 534s| 4900 | 3767 |389293 | 77.7 | 137M| 48 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |2868 |-4.000000e+01 |-3.500000e+01 | 14.29%
543.49/543.61 c 544s| 5000 | 3847 |398667 | 78.1 | 138M| 48 | 116 | 760 | 41k| 760 | 41k| 252 | 0 |2884 |-4.000000e+01 |-3.500000e+01 | 14.29%
548.89/549.01 c 549s| 5100 | 3915 |404616 | 77.7 | 139M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |2886 |-4.000000e+01 |-3.500000e+01 | 14.29%
556.89/557.08 c 557s| 5200 | 4001 |412173 | 77.7 | 141M| 48 | 49 | 760 | 41k| 760 | 41k| 252 | 0 |2901 |-4.000000e+01 |-3.500000e+01 | 14.29%
563.59/563.75 c 564s| 5300 | 4071 |419590 | 77.6 | 142M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |2908 |-4.000000e+01 |-3.500000e+01 | 14.29%
572.49/572.64 c 573s| 5400 | 4145 |428553 | 77.8 | 144M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |2914 |-4.000000e+01 |-3.500000e+01 | 14.29%
579.38/579.52 c 580s| 5500 | 4221 |435696 | 77.7 | 145M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |2923 |-4.000000e+01 |-3.500000e+01 | 14.29%
586.38/586.55 c 587s| 5600 | 4305 |443230 | 77.7 | 147M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |2925 |-4.000000e+01 |-3.500000e+01 | 14.29%
593.99/594.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.99/594.14 c 594s| 5700 | 4379 |451314 | 77.7 | 148M| 48 | 79 | 760 | 41k| 760 | 41k| 252 | 0 |2927 |-4.000000e+01 |-3.500000e+01 | 14.29%
600.99/601.17 c 601s| 5800 | 4457 |458299 | 77.6 | 150M| 48 | 70 | 760 | 41k| 760 | 41k| 252 | 0 |2928 |-4.000000e+01 |-3.500000e+01 | 14.29%
608.98/609.19 c 609s| 5900 | 4539 |466265 | 77.6 | 151M| 48 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |2940 |-4.000000e+01 |-3.500000e+01 | 14.29%
615.99/616.13 c 616s| 6000 | 4609 |473588 | 77.5 | 153M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2944 |-4.000000e+01 |-3.500000e+01 | 14.29%
623.38/623.56 c 624s| 6100 | 4687 |480985 | 77.5 | 154M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2946 |-4.000000e+01 |-3.500000e+01 | 14.29%
632.27/632.43 c 632s| 6200 | 4763 |488417 | 77.4 | 156M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |2981 |-4.000000e+01 |-3.500000e+01 | 14.29%
641.28/641.47 c 641s| 6300 | 4845 |496948 | 77.6 | 157M| 48 | 100 | 760 | 41k| 760 | 41k| 252 | 0 |3015 |-4.000000e+01 |-3.500000e+01 | 14.29%
650.08/650.23 c 650s| 6400 | 4927 |503861 | 77.4 | 159M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3054 |-4.000000e+01 |-3.500000e+01 | 14.29%
658.38/658.55 c 659s| 6500 | 4999 |512318 | 77.5 | 160M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3081 |-4.000000e+01 |-3.500000e+01 | 14.29%
667.37/667.56 c 668s| 6600 | 5071 |520155 | 77.5 | 161M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3125 |-4.000000e+01 |-3.500000e+01 | 14.29%
673.77/673.91 c 674s| 6700 | 5139 |525526 | 77.2 | 163M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |3157 |-4.000000e+01 |-3.500000e+01 | 14.29%
681.57/681.71 c 682s| 6800 | 5201 |531883 | 77.0 | 164M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |3192 |-4.000000e+01 |-3.500000e+01 | 14.29%
690.27/690.46 c 690s| 6900 | 5271 |539117 | 76.9 | 165M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |3218 |-4.000000e+01 |-3.500000e+01 | 14.29%
698.66/698.81 c 699s| 7000 | 5355 |546633 | 76.9 | 167M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |3251 |-4.000000e+01 |-3.500000e+01 | 14.29%
705.97/706.15 c 706s| 7100 | 5433 |554051 | 76.9 | 168M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |3261 |-4.000000e+01 |-3.500000e+01 | 14.29%
714.47/714.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.47/714.64 c 715s| 7200 | 5523 |562530 | 77.0 | 170M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3276 |-4.000000e+01 |-3.500000e+01 | 14.29%
722.67/722.85 c 723s| 7300 | 5597 |570598 | 77.0 | 171M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3286 |-4.000000e+01 |-3.500000e+01 | 14.29%
730.66/730.84 c 731s| 7400 | 5673 |578116 | 77.0 | 173M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3305 |-4.000000e+01 |-3.500000e+01 | 14.29%
738.86/739.00 c 739s| 7500 | 5751 |585503 | 77.0 | 174M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3321 |-4.000000e+01 |-3.500000e+01 | 14.29%
746.66/746.87 c 747s| 7600 | 5829 |593512 | 77.0 | 176M| 48 | 34 | 760 | 41k| 760 | 41k| 252 | 0 |3330 |-4.000000e+01 |-3.500000e+01 | 14.29%
756.06/756.29 c 756s| 7700 | 5915 |602602 | 77.2 | 177M| 48 | 119 | 760 | 41k| 760 | 41k| 252 | 0 |3332 |-4.000000e+01 |-3.500000e+01 | 14.29%
762.96/763.11 c 763s| 7800 | 5987 |609478 | 77.1 | 178M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3332 |-4.000000e+01 |-3.500000e+01 | 14.29%
770.35/770.52 c 771s| 7900 | 6057 |617068 | 77.1 | 180M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3336 |-4.000000e+01 |-3.500000e+01 | 14.29%
776.75/776.90 c 777s| 8000 | 6111 |623081 | 76.8 | 181M| 48 | 109 | 760 | 41k| 760 | 41k| 252 | 0 |3346 |-4.000000e+01 |-3.500000e+01 | 14.29%
784.26/784.40 c 784s| 8100 | 6185 |630360 | 76.8 | 182M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3352 |-4.000000e+01 |-3.500000e+01 | 14.29%
790.76/790.95 c 791s| 8200 | 6263 |637307 | 76.7 | 184M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |3352 |-4.000000e+01 |-3.500000e+01 | 14.29%
796.45/796.67 c 797s| 8300 | 6325 |642943 | 76.5 | 185M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |3357 |-4.000000e+01 |-3.500000e+01 | 14.29%
804.65/804.87 c 805s| 8400 | 6399 |651023 | 76.5 | 186M| 48 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |3358 |-4.000000e+01 |-3.500000e+01 | 14.29%
811.15/811.36 c 811s| 8500 | 6467 |657576 | 76.4 | 187M| 48 | 42 | 760 | 41k| 760 | 41k| 252 | 0 |3368 |-4.000000e+01 |-3.500000e+01 | 14.29%
817.75/817.90 c 818s| 8600 | 6523 |663127 | 76.1 | 188M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3397 |-4.000000e+01 |-3.500000e+01 | 14.29%
824.04/824.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.04/824.24 c 824s| 8700 | 6579 |669128 | 76.0 | 190M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3423 |-4.000000e+01 |-3.500000e+01 | 14.29%
832.25/832.45 c 832s| 8800 | 6653 |676459 | 75.9 | 191M| 48 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |3452 |-4.000000e+01 |-3.500000e+01 | 14.29%
842.14/842.32 c 842s| 8900 | 6729 |684561 | 76.0 | 192M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |3489 |-4.000000e+01 |-3.500000e+01 | 14.29%
850.15/850.34 c 850s| 9000 | 6801 |691655 | 75.9 | 194M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |3525 |-4.000000e+01 |-3.500000e+01 | 14.29%
857.05/857.25 o -36
857.05/857.25 c l 857s| 9075 | 5578 |698052 | 76.0 | 179M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3545 |-4.000000e+01 |-3.600000e+01 | 11.11%
858.95/859.11 c 859s| 9100 | 5601 |699718 | 76.0 | 179M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |3546 |-4.000000e+01 |-3.600000e+01 | 11.11%
865.84/866.07 c 866s| 9200 | 5659 |704861 | 75.7 | 181M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |3576 |-4.000000e+01 |-3.600000e+01 | 11.11%
871.84/872.03 c 872s| 9300 | 5715 |710817 | 75.5 | 182M| 48 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |3594 |-4.000000e+01 |-3.600000e+01 | 11.11%
880.84/881.02 c 881s| 9400 | 5775 |718554 | 75.6 | 183M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |3626 |-4.000000e+01 |-3.600000e+01 | 11.11%
888.24/888.41 c 888s| 9500 | 5839 |725520 | 75.5 | 184M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |3651 |-4.000000e+01 |-3.600000e+01 | 11.11%
894.33/894.56 c 895s| 9600 | 5885 |730554 | 75.2 | 185M| 48 | 56 | 760 | 41k| 760 | 41k| 252 | 0 |3670 |-4.000000e+01 |-3.600000e+01 | 11.11%
900.84/901.03 c 901s| 9700 | 5943 |737233 | 75.1 | 187M| 48 | 86 | 760 | 41k| 760 | 41k| 252 | 0 |3687 |-4.000000e+01 |-3.600000e+01 | 11.11%
907.35/907.57 c 908s| 9800 | 6001 |742682 | 74.9 | 188M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
913.74/913.94 c 914s| 9900 | 6063 |748577 | 74.8 | 189M| 48 | 112 | 760 | 41k| 760 | 41k| 252 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
917.64/917.89 c 918s| 10000 | 6103 |753195 | 74.5 | 190M| 48 | 97 | 760 | 41k| 760 | 41k| 252 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
924.83/925.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.83/925.05 c 925s| 10100 | 6167 |760335 | 74.5 | 191M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3728 |-4.000000e+01 |-3.600000e+01 | 11.11%
932.03/932.26 c 932s| 10200 | 6231 |767082 | 74.4 | 193M| 48 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |3740 |-4.000000e+01 |-3.600000e+01 | 11.11%
939.03/939.27 c 939s| 10300 | 6285 |774180 | 74.4 | 194M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |3745 |-4.000000e+01 |-3.600000e+01 | 11.11%
944.03/944.24 c 944s| 10400 | 6333 |779391 | 74.1 | 195M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3746 |-4.000000e+01 |-3.600000e+01 | 11.11%
949.53/949.79 c 950s| 10500 | 6393 |785329 | 74.0 | 196M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |3748 |-4.000000e+01 |-3.600000e+01 | 11.11%
953.83/954.00 c 954s| 10600 | 6431 |789868 | 73.7 | 197M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |3749 |-4.000000e+01 |-3.600000e+01 | 11.11%
958.73/958.99 c 959s| 10700 | 6463 |794875 | 73.5 | 197M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3749 |-4.000000e+01 |-3.600000e+01 | 11.11%
964.82/965.07 c 965s| 10800 | 6519 |801229 | 73.4 | 198M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |3751 |-4.000000e+01 |-3.600000e+01 | 11.11%
970.82/971.08 c 971s| 10900 | 6577 |806994 | 73.3 | 200M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3751 |-4.000000e+01 |-3.600000e+01 | 11.11%
976.63/976.88 c 977s| 11000 | 6625 |813519 | 73.2 | 201M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
982.52/982.72 c 983s| 11100 | 6665 |819138 | 73.0 | 201M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
986.92/987.13 c 987s| 11200 | 6715 |824163 | 72.8 | 202M| 48 | 57 | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
991.63/991.80 c 992s| 11300 | 6753 |829161 | 72.6 | 203M| 48 | 62 | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
995.82/996.03 c 996s| 11400 | 6793 |833973 | 72.4 | 204M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
1001.43/1001.68 c 1002s| 11500 | 6845 |838848 | 72.2 | 205M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3782 |-4.000000e+01 |-3.600000e+01 | 11.11%
1006.22/1006.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.22/1006.49 c 1006s| 11600 | 6879 |843157 | 72.0 | 206M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3802 |-4.000000e+01 |-3.600000e+01 | 11.11%
1011.42/1011.63 c 1012s| 11700 | 6923 |848159 | 71.8 | 206M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3823 |-4.000000e+01 |-3.600000e+01 | 11.11%
1018.02/1018.20 c 1018s| 11800 | 6969 |854316 | 71.7 | 207M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3854 |-4.000000e+01 |-3.600000e+01 | 11.11%
1026.92/1027.17 c 1027s| 11900 | 7035 |861617 | 71.7 | 209M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3881 |-4.000000e+01 |-3.600000e+01 | 11.11%
1034.82/1035.01 c 1035s| 12000 | 7087 |868560 | 71.7 | 210M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |3906 |-4.000000e+01 |-3.600000e+01 | 11.11%
1040.72/1040.96 c 1041s| 12100 | 7133 |873752 | 71.5 | 211M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3941 |-4.000000e+01 |-3.600000e+01 | 11.11%
1046.62/1046.86 c 1047s| 12200 | 7181 |878978 | 71.4 | 212M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |3955 |-4.000000e+01 |-3.600000e+01 | 11.11%
1053.22/1053.45 c 1053s| 12300 | 7233 |884607 | 71.2 | 213M| 48 | 49 | 760 | 41k| 760 | 41k| 252 | 0 |3984 |-4.000000e+01 |-3.600000e+01 | 11.11%
1059.41/1059.65 c 1060s| 12400 | 7273 |890388 | 71.1 | 214M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4007 |-4.000000e+01 |-3.600000e+01 | 11.11%
1065.91/1066.18 c 1066s| 12500 | 7333 |895682 | 71.0 | 215M| 48 | 98 | 760 | 41k| 760 | 41k| 252 | 0 |4032 |-4.000000e+01 |-3.600000e+01 | 11.11%
1073.51/1073.76 c 1074s| 12600 | 7383 |901184 | 70.9 | 216M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4057 |-4.000000e+01 |-3.600000e+01 | 11.11%
1079.51/1079.75 c 1080s| 12700 | 7445 |906691 | 70.7 | 217M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4073 |-4.000000e+01 |-3.600000e+01 | 11.11%
1086.61/1086.89 c 1087s| 12800 | 7499 |913056 | 70.7 | 218M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4101 |-4.000000e+01 |-3.600000e+01 | 11.11%
1094.01/1094.23 c 1094s| 12900 | 7565 |920680 | 70.7 | 219M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4109 |-4.000000e+01 |-3.600000e+01 | 11.11%
1097.91/1098.15 c 1098s| 13000 | 7607 |924254 | 70.5 | 220M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4116 |-4.000000e+01 |-3.600000e+01 | 11.11%
1102.91/1103.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.91/1103.11 c 1103s| 13100 | 7657 |929746 | 70.3 | 221M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4116 |-4.000000e+01 |-3.600000e+01 | 11.11%
1109.50/1109.79 c 1110s| 13200 | 7715 |937066 | 70.4 | 222M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4121 |-4.000000e+01 |-3.600000e+01 | 11.11%
1114.70/1114.90 c 1115s| 13300 | 7771 |942644 | 70.2 | 223M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4124 |-4.000000e+01 |-3.600000e+01 | 11.11%
1122.80/1123.07 c 1123s| 13400 | 7833 |950844 | 70.3 | 224M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4128 |-4.000000e+01 |-3.600000e+01 | 11.11%
1128.20/1128.49 c 1128s| 13500 | 7883 |956411 | 70.2 | 225M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4132 |-4.000000e+01 |-3.600000e+01 | 11.11%
1133.30/1133.54 c 1134s| 13600 | 7925 |961523 | 70.1 | 226M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4133 |-4.000000e+01 |-3.600000e+01 | 11.11%
1138.50/1138.76 c 1139s| 13700 | 7985 |967428 | 70.0 | 227M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4133 |-4.000000e+01 |-3.600000e+01 | 11.11%
1143.39/1143.62 c 1144s| 13800 | 8033 |972248 | 69.8 | 228M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4134 |-4.000000e+01 |-3.600000e+01 | 11.11%
1148.40/1148.61 c 1149s| 13900 | 8077 |977903 | 69.8 | 229M| 48 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |4140 |-4.000000e+01 |-3.600000e+01 | 11.11%
1153.59/1153.83 c 1154s| 14000 | 8127 |982693 | 69.6 | 230M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4140 |-4.000000e+01 |-3.600000e+01 | 11.11%
1160.30/1160.60 c 1161s| 14100 | 8185 |989612 | 69.6 | 231M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4141 |-4.000000e+01 |-3.600000e+01 | 11.11%
1165.80/1166.01 c 1166s| 14200 | 8227 |996261 | 69.6 | 232M| 48 | 139 | 760 | 41k| 760 | 41k| 252 | 0 |4142 |-4.000000e+01 |-3.600000e+01 | 11.11%
1172.29/1172.50 c 1172s| 14300 | 8283 | 1003k| 69.6 | 233M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4143 |-4.000000e+01 |-3.600000e+01 | 11.11%
1177.39/1177.65 c 1178s| 14400 | 8329 | 1008k| 69.5 | 234M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4144 |-4.000000e+01 |-3.600000e+01 | 11.11%
1181.89/1182.16 c 1182s| 14500 | 8373 | 1014k| 69.4 | 235M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4146 |-4.000000e+01 |-3.600000e+01 | 11.11%
1185.99/1186.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.99/1186.24 c 1186s| 14600 | 8405 | 1018k| 69.2 | 235M| 48 | 115 | 760 | 41k| 760 | 41k| 252 | 0 |4152 |-4.000000e+01 |-3.600000e+01 | 11.11%
1192.99/1193.26 c 1193s| 14700 | 8447 | 1024k| 69.1 | 236M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4178 |-4.000000e+01 |-3.600000e+01 | 11.11%
1199.09/1199.33 c 1199s| 14800 | 8499 | 1029k| 69.0 | 237M| 48 | 129 | 760 | 41k| 760 | 41k| 252 | 0 |4193 |-4.000000e+01 |-3.600000e+01 | 11.11%
1205.69/1205.91 c 1206s| 14900 | 8539 | 1035k| 69.0 | 238M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4218 |-4.000000e+01 |-3.600000e+01 | 11.11%
1211.19/1211.46 c 1211s| 15000 | 8591 | 1041k| 68.9 | 239M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1216.98/1217.29 c 1217s| 15100 | 8639 | 1046k| 68.7 | 240M| 48 | 65 | 760 | 41k| 760 | 41k| 252 | 0 |4259 |-4.000000e+01 |-3.600000e+01 | 11.11%
1221.59/1221.88 c 1222s| 15200 | 8681 | 1050k| 68.6 | 241M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4278 |-4.000000e+01 |-3.600000e+01 | 11.11%
1227.49/1227.76 c 1228s| 15300 | 8739 | 1056k| 68.5 | 242M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4291 |-4.000000e+01 |-3.600000e+01 | 11.11%
1233.18/1233.40 c 1233s| 15400 | 8785 | 1060k| 68.4 | 243M| 48 | 124 | 760 | 41k| 760 | 41k| 252 | 0 |4311 |-4.000000e+01 |-3.600000e+01 | 11.11%
1240.69/1240.91 c 1241s| 15500 | 8837 | 1068k| 68.4 | 244M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4331 |-4.000000e+01 |-3.600000e+01 | 11.11%
1246.09/1246.35 c 1246s| 15600 | 8887 | 1073k| 68.3 | 245M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4355 |-4.000000e+01 |-3.600000e+01 | 11.11%
1251.78/1252.09 c 1252s| 15700 | 8929 | 1078k| 68.2 | 245M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4383 |-4.000000e+01 |-3.600000e+01 | 11.11%
1257.18/1257.49 c 1257s| 15800 | 8973 | 1083k| 68.1 | 246M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4399 |-4.000000e+01 |-3.600000e+01 | 11.11%
1261.78/1262.06 c 1262s| 15900 | 9009 | 1088k| 67.9 | 247M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |4415 |-4.000000e+01 |-3.600000e+01 | 11.11%
1266.77/1267.07 c 1267s| 16000 | 9055 | 1092k| 67.8 | 248M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |4437 |-4.000000e+01 |-3.600000e+01 | 11.11%
1272.48/1272.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.48/1272.73 c 1273s| 16100 | 9095 | 1098k| 67.7 | 249M| 48 | 114 | 760 | 41k| 760 | 41k| 252 | 0 |4458 |-4.000000e+01 |-3.600000e+01 | 11.11%
1277.77/1278.06 c 1278s| 16200 | 9137 | 1103k| 67.6 | 249M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4472 |-4.000000e+01 |-3.600000e+01 | 11.11%
1282.88/1283.18 c 1283s| 16300 | 9185 | 1108k| 67.5 | 250M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4489 |-4.000000e+01 |-3.600000e+01 | 11.11%
1288.67/1288.94 c 1289s| 16400 | 9245 | 1114k| 67.5 | 251M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4491 |-4.000000e+01 |-3.600000e+01 | 11.11%
1293.97/1294.22 c 1294s| 16500 | 9303 | 1120k| 67.4 | 252M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |4502 |-4.000000e+01 |-3.600000e+01 | 11.11%
1298.47/1298.79 c 1299s| 16600 | 9333 | 1125k| 67.3 | 253M| 48 | 45 | 760 | 41k| 760 | 41k| 252 | 0 |4510 |-4.000000e+01 |-3.600000e+01 | 11.11%
1302.47/1302.74 c 1303s| 16700 | 9367 | 1128k| 67.1 | 254M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |4516 |-4.000000e+01 |-3.600000e+01 | 11.11%
1308.47/1308.76 c 1309s| 16800 | 9429 | 1135k| 67.1 | 255M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4516 |-4.000000e+01 |-3.600000e+01 | 11.11%
1314.17/1314.42 c 1314s| 16900 | 9501 | 1142k| 67.1 | 256M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4519 |-4.000000e+01 |-3.600000e+01 | 11.11%
1319.07/1319.37 c 1319s| 17000 | 9547 | 1148k| 67.1 | 257M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4522 |-4.000000e+01 |-3.600000e+01 | 11.11%
1324.66/1324.90 c 1325s| 17100 | 9605 | 1154k| 67.0 | 258M| 48 | 101 | 760 | 41k| 760 | 41k| 252 | 0 |4524 |-4.000000e+01 |-3.600000e+01 | 11.11%
1329.17/1329.44 c 1329s| 17200 | 9643 | 1160k| 67.0 | 259M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4524 |-4.000000e+01 |-3.600000e+01 | 11.11%
1333.56/1333.80 c 1334s| 17300 | 9683 | 1165k| 66.9 | 259M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4525 |-4.000000e+01 |-3.600000e+01 | 11.11%
1338.07/1338.37 c 1338s| 17400 | 9731 | 1170k| 66.8 | 260M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4526 |-4.000000e+01 |-3.600000e+01 | 11.11%
1342.56/1342.86 c 1343s| 17500 | 9769 | 1175k| 66.7 | 261M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4531 |-4.000000e+01 |-3.600000e+01 | 11.11%
1347.07/1347.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.07/1347.34 c 1347s| 17600 | 9815 | 1180k| 66.6 | 262M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4531 |-4.000000e+01 |-3.600000e+01 | 11.11%
1351.86/1352.11 c 1352s| 17700 | 9873 | 1185k| 66.5 | 263M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |4533 |-4.000000e+01 |-3.600000e+01 | 11.11%
1356.17/1356.44 c 1356s| 17800 | 9933 | 1190k| 66.4 | 264M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4535 |-4.000000e+01 |-3.600000e+01 | 11.11%
1362.47/1362.71 c 1363s| 17900 | 9997 | 1197k| 66.4 | 265M| 48 | 94 | 760 | 41k| 760 | 41k| 252 | 0 |4536 |-4.000000e+01 |-3.600000e+01 | 11.11%
1367.76/1368.00 c 1368s| 18000 | 10055 | 1203k| 66.4 | 265M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |4541 |-4.000000e+01 |-3.600000e+01 | 11.11%
1372.16/1372.40 c 1372s| 18100 | 10103 | 1208k| 66.3 | 266M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |4542 |-4.000000e+01 |-3.600000e+01 | 11.11%
1375.16/1375.42 c 1375s| 18200 | 10137 | 1212k| 66.2 | 267M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4542 |-4.000000e+01 |-3.600000e+01 | 11.11%
1380.16/1380.44 c 1380s| 18300 | 10197 | 1218k| 66.1 | 268M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4543 |-4.000000e+01 |-3.600000e+01 | 11.11%
1385.77/1386.02 c 1386s| 18400 | 10249 | 1224k| 66.1 | 269M| 48 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1390.66/1390.90 c 1391s| 18500 | 10287 | 1230k| 66.1 | 270M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1395.46/1395.71 c 1396s| 18600 | 10337 | 1235k| 66.0 | 271M| 48 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1399.36/1399.62 c 1400s| 18700 | 10379 | 1240k| 65.9 | 271M| 48 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |4547 |-4.000000e+01 |-3.600000e+01 | 11.11%
1403.16/1403.46 c 1403s| 18800 | 10411 | 1244k| 65.8 | 272M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4548 |-4.000000e+01 |-3.600000e+01 | 11.11%
1408.16/1408.47 c 1408s| 18900 | 10459 | 1250k| 65.7 | 273M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4551 |-4.000000e+01 |-3.600000e+01 | 11.11%
1412.45/1412.73 c 1413s| 19000 | 10513 | 1254k| 65.6 | 274M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4552 |-4.000000e+01 |-3.600000e+01 | 11.11%
1417.15/1417.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.15/1417.42 c 1417s| 19100 | 10575 | 1260k| 65.6 | 275M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4552 |-4.000000e+01 |-3.600000e+01 | 11.11%
1422.16/1422.47 c 1422s| 19200 | 10625 | 1265k| 65.5 | 276M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4562 |-4.000000e+01 |-3.600000e+01 | 11.11%
1427.15/1427.49 c 1427s| 19300 | 10671 | 1270k| 65.4 | 276M| 48 | 72 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1430.46/1430.72 c 1431s| 19400 | 10707 | 1274k| 65.3 | 277M| 48 | 91 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1434.85/1435.11 c 1435s| 19500 | 10755 | 1280k| 65.2 | 278M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1438.75/1439.05 c 1439s| 19600 | 10801 | 1284k| 65.1 | 279M| 48 | 102 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1442.24/1442.56 c 1443s| 19700 | 10837 | 1289k| 65.0 | 279M| 48 | 55 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1446.55/1446.81 c 1447s| 19800 | 10881 | 1293k| 64.9 | 280M| 48 | 102 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1451.85/1452.12 c 1452s| 19900 | 10927 | 1298k| 64.9 | 281M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1455.05/1455.32 c 1455s| 20000 | 10959 | 1302k| 64.7 | 281M| 48 | 159 | 760 | 41k| 760 | 41k| 252 | 0 |4567 |-4.000000e+01 |-3.600000e+01 | 11.11%
1459.64/1459.90 c 1460s| 20100 | 11013 | 1307k| 64.6 | 282M| 48 | 65 | 760 | 41k| 760 | 41k| 252 | 0 |4568 |-4.000000e+01 |-3.600000e+01 | 11.11%
1463.55/1463.84 c 1464s| 20200 | 11057 | 1311k| 64.5 | 283M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4568 |-4.000000e+01 |-3.600000e+01 | 11.11%
1467.55/1467.88 c 1468s| 20300 | 11111 | 1316k| 64.4 | 284M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4569 |-4.000000e+01 |-3.600000e+01 | 11.11%
1472.55/1472.86 c 1473s| 20400 | 11163 | 1321k| 64.4 | 285M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |4569 |-4.000000e+01 |-3.600000e+01 | 11.11%
1476.74/1477.00 c 1477s| 20500 | 11213 | 1326k| 64.3 | 286M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4571 |-4.000000e+01 |-3.600000e+01 | 11.11%
1481.55/1481.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.55/1481.86 c 1482s| 20600 | 11261 | 1331k| 64.2 | 287M| 48 | 91 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1485.74/1486.01 c 1486s| 20700 | 11297 | 1335k| 64.1 | 287M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1488.74/1489.05 c 1489s| 20800 | 11333 | 1339k| 64.0 | 288M| 48 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1492.84/1493.17 c 1493s| 20900 | 11377 | 1343k| 63.9 | 289M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1498.34/1498.67 c 1499s| 21000 | 11433 | 1350k| 63.9 | 290M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1502.04/1502.39 c 1502s| 21100 | 11479 | 1354k| 63.8 | 290M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1506.24/1506.55 c 1507s| 21200 | 11519 | 1358k| 63.7 | 291M| 48 | 82 | 760 | 41k| 760 | 41k| 252 | 0 |4575 |-4.000000e+01 |-3.600000e+01 | 11.11%
1511.44/1511.73 c 1512s| 21300 | 11579 | 1364k| 63.7 | 292M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4575 |-4.000000e+01 |-3.600000e+01 | 11.11%
1516.04/1516.33 c 1516s| 21400 | 11627 | 1369k| 63.6 | 293M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4578 |-4.000000e+01 |-3.600000e+01 | 11.11%
1521.54/1521.80 c 1522s| 21500 | 11683 | 1375k| 63.6 | 294M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1527.13/1527.45 c 1527s| 21600 | 11727 | 1382k| 63.6 | 295M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1531.34/1531.64 c 1532s| 21700 | 11773 | 1386k| 63.5 | 295M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1535.03/1535.38 c 1535s| 21800 | 11809 | 1390k| 63.4 | 296M| 48 | 79 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1539.33/1539.69 c 1540s| 21900 | 11849 | 1395k| 63.3 | 297M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1544.03/1544.32 c 1544s| 22000 | 11903 | 1400k| 63.3 | 297M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1547.44/1547.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.44/1547.73 c 1548s| 22100 | 11937 | 1405k| 63.2 | 298M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1551.43/1551.71 c 1552s| 22200 | 11975 | 1409k| 63.1 | 299M| 48 | 56 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1556.03/1556.39 c 1556s| 22300 | 12031 | 1414k| 63.0 | 300M| 48 | 70 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1560.74/1561.00 c 1561s| 22400 | 12081 | 1419k| 63.0 | 300M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1564.73/1565.07 c 1565s| 22500 | 12125 | 1424k| 62.9 | 301M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1569.23/1569.59 c 1570s| 22600 | 12171 | 1428k| 62.8 | 302M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1573.73/1574.09 c 1574s| 22700 | 12217 | 1433k| 62.8 | 303M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1577.83/1578.19 c 1578s| 22800 | 12259 | 1438k| 62.7 | 304M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1582.23/1582.54 c 1583s| 22900 | 12311 | 1443k| 62.7 | 304M| 48 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1586.63/1586.94 c 1587s| 23000 | 12359 | 1447k| 62.6 | 305M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1590.92/1591.25 c 1591s| 23100 | 12399 | 1452k| 62.5 | 306M| 48 | 108 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1594.32/1594.67 c 1595s| 23200 | 12439 | 1455k| 62.4 | 306M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1599.72/1600.03 c 1600s| 23300 | 12489 | 1460k| 62.3 | 307M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1603.32/1603.68 c 1604s| 23400 | 12527 | 1464k| 62.2 | 308M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1606.83/1607.16 c 1607s| 23500 | 12571 | 1468k| 62.1 | 308M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1609.72/1610.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.72/1610.00 c 1610s| 23600 | 12585 | 1471k| 62.0 | 309M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1614.22/1614.55 c 1615s| 23700 | 12619 | 1476k| 61.9 | 309M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1620.12/1620.42 c 1620s| 23800 | 12663 | 1481k| 61.9 | 310M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1625.72/1626.03 c 1626s| 23900 | 12703 | 1487k| 61.9 | 311M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1630.82/1631.12 c 1631s| 24000 | 12759 | 1492k| 61.8 | 312M| 48 | 107 | 760 | 41k| 760 | 41k| 252 | 0 |4603 |-4.000000e+01 |-3.600000e+01 | 11.11%
1637.22/1637.58 c 1638s| 24100 | 12811 | 1497k| 61.8 | 313M| 48 | 62 | 760 | 41k| 760 | 41k| 252 | 0 |4622 |-4.000000e+01 |-3.600000e+01 | 11.11%
1641.72/1642.03 c 1642s| 24200 | 12853 | 1501k| 61.7 | 313M| 48 | 95 | 760 | 41k| 760 | 41k| 252 | 0 |4634 |-4.000000e+01 |-3.600000e+01 | 11.11%
1646.02/1646.33 c 1646s| 24300 | 12901 | 1505k| 61.6 | 314M| 48 | 83 | 760 | 41k| 760 | 41k| 252 | 0 |4643 |-4.000000e+01 |-3.600000e+01 | 11.11%
1650.51/1650.89 c 1651s| 24400 | 12943 | 1510k| 61.5 | 315M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4663 |-4.000000e+01 |-3.600000e+01 | 11.11%
1656.72/1657.01 c 1657s| 24500 | 12999 | 1515k| 61.5 | 316M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4688 |-4.000000e+01 |-3.600000e+01 | 11.11%
1661.41/1661.78 c 1662s| 24600 | 13041 | 1519k| 61.4 | 316M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |4706 |-4.000000e+01 |-3.600000e+01 | 11.11%
1668.52/1668.83 c 1669s| 24700 | 13099 | 1527k| 61.5 | 317M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |4731 |-4.000000e+01 |-3.600000e+01 | 11.11%
1674.02/1674.33 c 1674s| 24800 | 13147 | 1533k| 61.5 | 318M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4750 |-4.000000e+01 |-3.600000e+01 | 11.11%
1677.61/1677.95 c 1678s| 24900 | 13171 | 1536k| 61.4 | 319M| 53 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1680.21/1680.58 c 1681s| 25000 | 13195 | 1539k| 61.2 | 319M| 54 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1683.71/1684.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.71/1684.08 c 1684s| 25100 | 13233 | 1543k| 61.2 | 320M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4775 |-4.000000e+01 |-3.600000e+01 | 11.11%
1686.61/1686.91 c 1687s| 25200 | 13261 | 1546k| 61.0 | 320M| 54 | 116 | 760 | 41k| 760 | 41k| 252 | 0 |4779 |-4.000000e+01 |-3.600000e+01 | 11.11%
1689.42/1689.71 c 1690s| 25300 | 13289 | 1549k| 60.9 | 320M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4785 |-4.000000e+01 |-3.600000e+01 | 11.11%
1692.01/1692.32 c 1692s| 25400 | 13319 | 1551k| 60.8 | 321M| 54 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4790 |-4.000000e+01 |-3.600000e+01 | 11.11%
1697.21/1697.53 c 1698s| 25500 | 13361 | 1557k| 60.8 | 322M| 54 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |4795 |-4.000000e+01 |-3.600000e+01 | 11.11%
1702.70/1703.05 c 1703s| 25600 | 13399 | 1565k| 60.8 | 322M| 54 | 94 | 760 | 41k| 760 | 41k| 252 | 0 |4796 |-4.000000e+01 |-3.600000e+01 | 11.11%
1709.40/1709.77 c 1710s| 25700 | 13431 | 1572k| 60.9 | 323M| 54 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4808 |-4.000000e+01 |-3.600000e+01 | 11.11%
1712.71/1713.04 c 1713s| 25800 | 13455 | 1576k| 60.8 | 323M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4812 |-4.000000e+01 |-3.600000e+01 | 11.11%
1716.11/1716.40 c 1716s| 25900 | 13481 | 1580k| 60.7 | 324M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4817 |-4.000000e+01 |-3.600000e+01 | 11.11%
1718.91/1719.26 c 1719s| 26000 | 13507 | 1583k| 60.6 | 324M| 56 | 112 | 760 | 41k| 760 | 41k| 252 | 0 |4817 |-4.000000e+01 |-3.600000e+01 | 11.11%
1722.00/1722.31 c 1722s| 26100 | 13535 | 1586k| 60.5 | 325M| 56 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4820 |-4.000000e+01 |-3.600000e+01 | 11.11%
1726.00/1726.35 c 1726s| 26200 | 13563 | 1591k| 60.4 | 325M| 59 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |4829 |-4.000000e+01 |-3.600000e+01 | 11.11%
1728.81/1729.10 c 1729s| 26300 | 13591 | 1594k| 60.3 | 326M| 61 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |4830 |-4.000000e+01 |-3.600000e+01 | 11.11%
1730.90/1731.21 c 1731s| 26400 | 13605 | 1596k| 60.2 | 326M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4831 |-4.000000e+01 |-3.600000e+01 | 11.11%
1734.10/1734.40 c 1734s| 26500 | 13625 | 1599k| 60.0 | 326M| 61 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4842 |-4.000000e+01 |-3.600000e+01 | 11.11%
1737.40/1737.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.40/1737.71 c 1738s| 26600 | 13661 | 1603k| 60.0 | 327M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4850 |-4.000000e+01 |-3.600000e+01 | 11.11%
1740.50/1740.88 c 1741s| 26700 | 13691 | 1606k| 59.9 | 328M| 61 | 110 | 760 | 41k| 760 | 41k| 252 | 0 |4858 |-4.000000e+01 |-3.600000e+01 | 11.11%
1745.80/1746.13 c 1746s| 26800 | 13733 | 1612k| 59.8 | 329M| 61 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1748.71/1749.07 c 1749s| 26900 | 13759 | 1615k| 59.7 | 329M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4878 |-4.000000e+01 |-3.600000e+01 | 11.11%
1752.11/1752.45 c 1752s| 27000 | 13779 | 1618k| 59.6 | 329M| 61 | 135 | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1755.10/1755.46 c 1755s| 27100 | 13813 | 1622k| 59.6 | 330M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1758.50/1758.88 c 1759s| 27200 | 13843 | 1626k| 59.5 | 331M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1761.60/1761.97 c 1762s| 27300 | 13873 | 1630k| 59.4 | 331M| 61 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1764.70/1765.09 c 1765s| 27400 | 13899 | 1633k| 59.3 | 332M| 61 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4891 |-4.000000e+01 |-3.600000e+01 | 11.11%
1767.60/1767.91 c 1768s| 27500 | 13931 | 1636k| 59.2 | 332M| 61 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1770.71/1771.09 c 1771s| 27600 | 13969 | 1640k| 59.1 | 333M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1774.20/1774.52 c 1775s| 27700 | 14007 | 1644k| 59.1 | 334M| 61 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1774.40/1774.76 o -37
1774.40/1774.76 c *1775s| 27710 | 8560 | 1644k| 59.1 | 255M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.700000e+01 | 8.11%
1777.20/1777.59 c 1778s| 27800 | 8576 | 1647k| 59.0 | 256M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.700000e+01 | 8.11%
1780.00/1780.30 c 1780s| 27900 | 8588 | 1650k| 58.9 | 256M| 61 | 157 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1783.91/1784.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.91/1784.23 c 1784s| 28000 | 8600 | 1654k| 58.8 | 256M| 61 | 104 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1786.29/1786.66 c 1787s| 28100 | 8614 | 1657k| 58.7 | 257M| 61 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1789.70/1790.09 c 1790s| 28200 | 8634 | 1660k| 58.6 | 257M| 61 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4904 |-4.000000e+01 |-3.700000e+01 | 8.11%
1793.40/1793.76 c 1794s| 28300 | 8654 | 1664k| 58.5 | 257M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4925 |-4.000000e+01 |-3.700000e+01 | 8.11%
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 28361
1796.70/1797.01 c Primal Bound : -3.70000000000000e+01 (704 solutions)
1796.70/1797.01 c Dual Bound : -4.00000000000000e+01
1796.70/1797.01 c Gap : 8.11 %
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 -x460
1796.70/1797.02 v -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1796.70/1797.02 v -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1796.70/1797.02 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1796.70/1797.02 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1796.70/1797.02 v -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565
1796.70/1797.02 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.70/1797.02 v -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1796.70/1797.02 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1796.70/1797.02 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
1796.70/1797.02 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1796.70/1797.02 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 x691
1796.70/1797.02 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1796.70/1797.02 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733
1796.70/1797.02 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
1796.70/1797.02 v -x755 -x756 -x757 -x758 -x759 -x760
1796.70/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.02 c Total Time : 1797.01
1796.70/1797.02 c solving : 1797.01
1796.70/1797.02 c presolving : 0.70 (included in solving)
1796.70/1797.02 c reading : 0.09 (included in solving)
1796.70/1797.02 c copying : 1.13 (18 #copies) (minimal 0.06, maximal 0.07, average 0.06)
1796.70/1797.02 c Original Problem :
1796.70/1797.02 c Problem name : HOME/instance-3693269-1338031472.opb
1796.70/1797.02 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02 c Constraints : 41619 initial, 41619 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-3693269-1338031472.opb
1796.70/1797.02 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02 c Constraints : 41619 initial, 41619 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.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c probing : 0.16 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c setppc : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c linear : 0.34 0.00 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 22219 0 705 0 23 539 0 0 43900
1796.70/1797.02 c setppc : 41619 41619 25 87208 4 1 700 0 0 573049 0 0 0
1796.70/1797.02 c countsols : 0 0 0 0 4 1 703 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 : 232.81 0.00 0.00 0.00 232.79 0.00 0.02 0.00
1796.70/1797.02 c setppc : 16.27 0.00 0.09 15.18 0.00 0.00 1.00 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 : 109377 0 0 0
1796.70/1797.02 c vbounds : 0 0 0 0
1796.70/1797.02 c redcost : 22351 0 0 116
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.13 0.00 0.00 0.13 0.00
1796.70/1797.02 c pseudoobj : 12.66 0.01 0.00 12.65 0.00
1796.70/1797.02 c vbounds : 0.11 0.00 0.00 0.11 0.00
1796.70/1797.02 c redcost : 0.41 0.00 0.00 0.41 0.00
1796.70/1797.02 c probing : 0.16 0.00 0.16 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 24 - - 45 - (maximal pool size: 547)
1796.70/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c impliedbounds : 0.02 0.00 25 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.17 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 : 2.68 0.00 20 0 0 10000 0
1796.70/1797.02 c cmir : 3.76 0.00 10 0 0 0 0
1796.70/1797.02 c flowcover : 3.99 0.00 10 0 0 0 0
1796.70/1797.02 c clique : 0.46 0.00 25 0 0 232 0
1796.70/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c mcf : 0.02 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 : 232.67 0.00 22215 23 539 0 0 43900
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 1 0 0 0 0 2
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.03 - - 4
1796.70/1797.02 c pseudo solutions : 0.00 - - 0
1796.70/1797.02 c oneopt : 0.09 0.00 8 1
1796.70/1797.02 c crossover : 5.62 0.00 17 4
1796.70/1797.02 c fracdiving : 64.10 0.00 164 0
1796.70/1797.02 c coefdiving : 68.46 0.00 242 2
1796.70/1797.02 c veclendiving : 141.61 0.00 368 1
1796.70/1797.02 c pscostdiving : 53.97 0.00 368 7
1796.70/1797.02 c linesearchdiving : 55.81 0.00 368 4
1796.70/1797.02 c objpscostdiving : 65.35 0.00 185 185
1796.70/1797.02 c rootsoldiving : 43.37 0.00 185 113
1796.70/1797.02 c smallcard : 0.00 0.00 0 0
1796.70/1797.02 c trivial : 0.01 0.00 2 1
1796.70/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.02 c simplerounding : 0.57 0.00 22240 124
1796.70/1797.02 c zirounding : 39.60 0.00 12701 254
1796.70/1797.02 c rounding : 16.77 0.00 6670 1
1796.70/1797.02 c shifting : 4.40 0.00 1663 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 indtwoopt : 0.00 0.00 0 0
1796.70/1797.02 c indoneopt : 0.08 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 indcoefdiving : 0.00 0.00 0 0
1796.70/1797.02 c indrounding : 0.00 0.00 0 0
1796.70/1797.02 c nlpdiving : 0.00 0.00 0 0
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 guideddiving : 67.27 0.00 170 1
1796.70/1797.02 c octane : 0.00 0.00 0 0
1796.70/1797.02 c rens : 1.25 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.04 0.00 0 0
1796.70/1797.02 c trysol : 0.06 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.04 4 0 0.00 0.00 0.04 4
1796.70/1797.02 c dual LP : 751.24 29104 1212252 42.35 1613.66 3.72 477
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: 434.16 31846 454940 14.29 1047.86
1796.70/1797.02 c strong branching : 230.26 4927 282911 57.42 1228.68
1796.70/1797.02 c (at root node) : - 19 2126 111.89 -
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 : 28361
1796.70/1797.02 c nodes (total) : 28361
1796.70/1797.02 c nodes left : 8683
1796.70/1797.02 c max depth : 61
1796.70/1797.02 c max depth (total): 61
1796.70/1797.02 c backtracks : 4756 (16.8%)
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: 6.27
1796.70/1797.02 c switching time : 35.79
1796.70/1797.02 c Solution :
1796.70/1797.02 c Solutions found : 704 (10 improvements)
1796.70/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1796.70/1797.02 c Primal Bound : -3.70000000000000e+01 (in run 1, after 27710 nodes, 1774.73 seconds, depth 30, found by <relaxation>)
1796.70/1797.02 c Dual Bound : -4.00000000000000e+01
1796.70/1797.02 c Gap : 8.11 %
1796.70/1797.02 c Root Dual Bound : -4.05000000000000e+01
1796.70/1797.02 c Root Iterations : 8419
1796.90/1797.25 c Time complete: 1796.95.
OK -37
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-3693269-1338031472/watcher-3693269-1338031472 -o /tmp/evaluation-result-3693269-1338031472/solver-3693269-1338031472 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693269-1338031472.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.96 1.98 1.91 3/176 7257 /proc/meminfo: memFree=29955604/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=10612 CPUtime=0 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 1403 0 0 0 0 0 0 0 20 0 1 0 269271573 10866688 1357 33554432000 4194304 10169799 140734413999824 140733393504376 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 2653 1367 412 1459 0 1185 0 [startup+0.100264 s] /proc/loadavg: 1.96 1.98 1.91 3/176 7257 /proc/meminfo: memFree=29955604/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=29196 CPUtime=0.09 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 6021 0 0 0 8 1 0 0 20 0 1 0 269271573 29896704 5975 33554432000 4194304 10169799 140734413999824 140733393504376 8989818 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 7492 6007 462 1459 0 6024 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29196 [startup+0.200368 s] /proc/loadavg: 1.96 1.98 1.91 3/176 7257 /proc/meminfo: memFree=29955604/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=68036 CPUtime=0.19 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 15512 0 0 0 17 2 0 0 20 0 1 0 269271573 69668864 15384 33554432000 4194304 10169799 140734413999824 140733393504376 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 17009 15384 545 1459 0 15541 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 68036 [startup+0.300324 s] /proc/loadavg: 1.96 1.98 1.91 3/176 7257 /proc/meminfo: memFree=29955604/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=69072 CPUtime=0.29 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 15791 0 0 0 22 7 0 0 20 0 1 0 269271573 70729728 15663 33554432000 4194304 10169799 140734413999824 140733393504376 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 17268 15663 545 1459 0 15800 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 69072 [startup+0.700324 s] /proc/loadavg: 1.96 1.98 1.91 3/176 7257 /proc/meminfo: memFree=29955604/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=87460 CPUtime=0.69 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 20736 0 0 0 47 22 0 0 20 0 1 0 269271573 89559040 20251 33554432000 4194304 10169799 140734413999824 140733393504376 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 21865 20251 581 1459 0 20397 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 87460 [startup+1.50032 s] /proc/loadavg: 1.96 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29831440/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=148768 CPUtime=1.49 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 34477 0 0 0 120 29 0 0 20 0 1 0 269271573 152338432 34628 33554432000 4194304 10169799 140734413999824 140734413994232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 37192 34628 749 1459 0 35724 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 148768 [startup+3.10031 s] /proc/loadavg: 1.96 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29816928/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=148768 CPUtime=3.09 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 35289 0 0 0 277 32 0 0 20 0 1 0 269271573 152338432 35245 33554432000 4194304 10169799 140734413999824 140734413995816 7271364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 37192 35245 774 1459 0 35724 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 148768 [startup+6.30024 s] /proc/loadavg: 1.96 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29813332/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=148768 CPUtime=6.29 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 35304 0 0 0 597 32 0 0 20 0 1 0 269271573 152338432 35260 33554432000 4194304 10169799 140734413999824 140734413994232 7271366 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 37192 35260 774 1459 0 35724 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 148768 [startup+12.7002 s] /proc/loadavg: 1.96 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29812388/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=148768 CPUtime=12.68 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 35429 0 0 0 1235 33 0 0 20 0 1 0 269271573 152338432 35385 33554432000 4194304 10169799 140734413999824 140734413996360 7280655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 37192 35385 774 1459 0 35724 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 148768 [startup+25.5004 s] /proc/loadavg: 1.97 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29771996/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=188076 CPUtime=25.49 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 45656 0 0 0 2496 53 0 0 20 0 1 0 269271573 192589824 45576 33554432000 4194304 10169799 140734413999824 140734413994424 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 47019 45576 836 1459 0 45551 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 188076 [startup+51.1004 s] /proc/loadavg: 1.98 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29770852/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=188076 CPUtime=51.08 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 45658 0 0 0 5050 58 0 0 20 0 1 0 269271573 192589824 45594 33554432000 4194304 10169799 140734413999824 140734413994840 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 47019 45594 836 1459 0 45551 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 188076 [startup+102.3 s] /proc/loadavg: 1.99 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29754292/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=188076 CPUtime=102.27 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 45676 0 0 0 10159 68 0 0 20 0 1 0 269271573 192589824 45658 33554432000 4194304 10169799 140734413999824 140734413994424 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 47019 45658 836 1459 0 45551 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 188076 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29737688/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=185748 CPUtime=162.25 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 48331 0 0 0 16123 102 0 0 20 0 1 0 269271573 190205952 45397 33554432000 4194304 10169799 140734413999824 140734413994616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 46437 45397 836 1459 0 44969 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 185748 [startup+222.308 s] /proc/loadavg: 1.99 1.98 1.91 3/177 7258 /proc/meminfo: memFree=29719104/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=185748 CPUtime=222.25 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 56334 0 0 0 22093 132 0 0 20 0 1 0 269271573 190205952 45404 33554432000 4194304 10169799 140734413999824 140734413997464 7679568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 46437 45404 840 1459 0 44969 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 185748 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.91 3/177 7259 /proc/meminfo: memFree=29701496/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=190960 CPUtime=282.23 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 57029 0 0 0 28066 157 0 0 20 0 1 0 269271573 195543040 46099 33554432000 4194304 10169799 140734413999824 140734413994088 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 47740 46099 840 1459 0 46272 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 190960 [startup+342.3 s] /proc/loadavg: 1.99 1.98 1.91 3/178 7262 /proc/meminfo: memFree=29670920/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=201932 CPUtime=342.22 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 71172 0 0 0 34034 188 0 0 20 0 1 0 269271573 206778368 48735 33554432000 4194304 10169799 140734413999824 140734413994360 7884905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 50483 48735 840 1459 0 49015 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 201932 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.91 3/177 7262 /proc/meminfo: memFree=29649816/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=211360 CPUtime=402.22 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 85722 0 0 0 40004 218 0 0 20 0 1 0 269271573 216432640 51110 33554432000 4194304 10169799 140734413999824 140734413994072 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 52840 51110 840 1459 0 51372 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 211360 [startup+462.3 s] /proc/loadavg: 2.05 2.00 1.91 3/177 7262 /proc/meminfo: memFree=29629456/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=223164 CPUtime=462.21 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 88850 0 0 0 45983 238 0 0 20 0 1 0 269271573 228519936 54237 33554432000 4194304 10169799 140734413999824 140734413994312 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 55791 54237 840 1459 0 54323 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 223164 [startup+522.3 s] /proc/loadavg: 2.02 2.00 1.91 3/177 7262 /proc/meminfo: memFree=29577416/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=272892 CPUtime=522.19 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 101519 0 0 0 51954 265 0 0 20 0 1 0 269271573 279441408 66903 33554432000 4194304 10169799 140734413999824 140734413994360 5120478 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 68223 66903 840 1459 0 66755 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 272892 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7263 /proc/meminfo: memFree=29575188/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=272892 CPUtime=582.18 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 101523 0 0 0 57934 284 0 0 20 0 1 0 269271573 279441408 67184 33554432000 4194304 10169799 140734413999824 140734413996248 6795964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 68223 67184 840 1459 0 66755 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 272892 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29523768/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=316700 CPUtime=1062.11 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 175298 0 0 0 105713 498 0 0 20 0 1 0 269271573 324300800 77646 33554432000 4194304 10169799 140734413999824 140734413994264 7703496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 79175 77646 840 1459 0 77707 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 316700 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 1.92 3/177 7268 /proc/meminfo: memFree=29513520/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=327384 CPUtime=1122.1 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 190222 0 0 0 111683 527 0 0 20 0 1 0 269271573 335241216 80065 33554432000 4194304 10169799 140734413999824 140734413994280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 81846 80065 840 1459 0 80378 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 327384 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 1.92 3/177 7269 /proc/meminfo: memFree=29504696/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=335184 CPUtime=1182.09 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 192309 0 0 0 117656 553 0 0 20 0 1 0 269271573 343228416 82215 33554432000 4194304 10169799 140734413999824 140734413994232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 83796 82215 840 1459 0 82328 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 335184 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 7269 /proc/meminfo: memFree=29494528/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=345172 CPUtime=1242.08 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 194716 0 0 0 123632 576 0 0 20 0 1 0 269271573 353456128 84617 33554432000 4194304 10169799 140734413999824 140734413994840 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 86293 84617 840 1459 0 84825 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 345172 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 7269 /proc/meminfo: memFree=29482188/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=358468 CPUtime=1302.07 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 210005 0 0 0 129597 610 0 0 20 0 1 0 269271573 367071232 87715 33554432000 4194304 10169799 140734413999824 140734413998344 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 89617 87715 840 1459 0 88149 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 358468 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 1.93 3/177 7269 /proc/meminfo: memFree=29473508/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=368028 CPUtime=1362.07 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 212208 0 0 0 135574 633 0 0 20 0 1 0 269271573 376860672 89913 33554432000 4194304 10169799 140734413999824 140734413994232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 92007 89913 840 1459 0 90539 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 368028 [startup+1422.3 s] /proc/loadavg: 2.11 2.04 1.94 3/177 7269 /proc/meminfo: memFree=29460860/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=379336 CPUtime=1422.06 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 215327 0 0 0 141548 658 0 0 20 0 1 0 269271573 388440064 93031 33554432000 4194304 10169799 140734413999824 140734413994376 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 94834 93031 840 1459 0 93366 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 379336 [startup+1482.3 s] /proc/loadavg: 2.16 2.06 1.95 3/177 7270 /proc/meminfo: memFree=29447040/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=393020 CPUtime=1482.04 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 218805 0 0 0 147521 683 0 0 20 0 1 0 269271573 402452480 96497 33554432000 4194304 10169799 140734413999824 140734413994296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 98255 96497 840 1459 0 96787 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 393020 [startup+1542.31 s] /proc/loadavg: 2.14 2.06 1.95 3/178 7273 /proc/meminfo: memFree=29436988/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=401616 CPUtime=1542.04 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 221159 0 0 0 153496 708 0 0 20 0 1 0 269271573 411254784 98851 33554432000 4194304 10169799 140734413999824 140734413994232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 100404 98851 840 1459 0 98936 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 401616 [startup+1602.3 s] /proc/loadavg: 2.05 2.05 1.95 3/177 7273 /proc/meminfo: memFree=29425960/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=412660 CPUtime=1602.03 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 236358 0 0 0 159462 741 0 0 20 0 1 0 269271573 422563840 101639 33554432000 4194304 10169799 140734413999824 140734413993800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 103165 101639 840 1459 0 101697 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 412660 [startup+1662.3 s] /proc/loadavg: 2.02 2.04 1.95 3/177 7273 /proc/meminfo: memFree=29415544/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=423280 CPUtime=1662.02 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 238974 0 0 0 165440 762 0 0 20 0 1 0 269271573 433438720 104248 33554432000 4194304 10169799 140734413999824 140734413994616 5120223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 105820 104248 840 1459 0 104352 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 423280 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 1.95 3/177 7273 /proc/meminfo: memFree=29408476/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=429760 CPUtime=1722 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 240659 0 0 0 171415 785 0 0 20 0 1 0 269271573 440074240 105933 33554432000 4194304 10169799 140734413999824 140734413994616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 107440 105933 840 1459 0 105972 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 429760 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.95 3/175 7311 /proc/meminfo: memFree=29431872/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=441896 CPUtime=1782 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 254785 0 0 0 177375 825 0 0 20 0 1 0 269271573 452501504 108346 33554432000 4194304 10169799 140734413999824 140734413994616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 110474 108346 840 1459 0 109006 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 441896 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.02 1.95 3/175 7311 /proc/meminfo: memFree=29431500/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=441896 CPUtime=1785.3 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 254964 0 0 0 177703 827 0 0 20 0 1 0 269271573 452501504 108525 33554432000 4194304 10169799 140734413999824 140734413993912 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 110474 108525 840 1459 0 109006 0 Current children cumulated CPU time (s) 1785.3 Current children cumulated vsize (KiB) 441896 [startup+1792.01 s] /proc/loadavg: 1.92 2.00 1.95 3/176 7350 /proc/meminfo: memFree=29494292/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=441896 CPUtime=1791.7 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 255128 0 0 0 178341 829 0 0 20 0 1 0 269271573 452501504 108689 33554432000 4194304 10169799 140734413999824 140734413993960 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 110474 108689 840 1459 0 109006 0 Current children cumulated CPU time (s) 1791.7 Current children cumulated vsize (KiB) 441896 [startup+1795.2 s] /proc/loadavg: 1.93 2.00 1.95 3/176 7350 /proc/meminfo: memFree=29494184/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=440592 CPUtime=1794.9 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 266311 0 0 0 178649 841 0 0 20 0 1 0 269271573 451166208 108178 33554432000 4194304 10169799 140734413999824 140734413996008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 110148 108178 840 1459 0 108680 0 Current children cumulated CPU time (s) 1794.9 Current children cumulated vsize (KiB) 440592 [startup+1796 s] /proc/loadavg: 1.93 2.00 1.95 3/176 7350 /proc/meminfo: memFree=29494184/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=441896 CPUtime=1795.69 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 266395 0 0 0 178728 841 0 0 20 0 1 0 269271573 452501504 108262 33554432000 4194304 10169799 140734413999824 140734413995944 8044213 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 110474 108262 840 1459 0 109006 0 Current children cumulated CPU time (s) 1795.69 Current children cumulated vsize (KiB) 441896 [startup+1796.8 s] /proc/loadavg: 1.93 2.00 1.95 3/176 7350 /proc/meminfo: memFree=29494184/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=441896 CPUtime=1796.49 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 266449 0 0 0 178808 841 0 0 20 0 1 0 269271573 452501504 108316 33554432000 4194304 10169799 140734413999824 140734413995944 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 110474 108316 840 1459 0 109006 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (KiB) 441896 [startup+1797.2 s] /proc/loadavg: 1.93 2.00 1.95 3/176 7350 /proc/meminfo: memFree=29494184/32873844 swapFree=7388/7388 [pid=7257] ppid=7255 vsize=434400 CPUtime=1796.9 cores=1,3,5,7 /proc/7257/stat : 7257 (scip-2.1.1.4sfi) R 7255 7257 6041 0 -1 4202496 266459 0 0 0 178848 842 0 0 20 0 1 0 269271573 444825600 106452 33554432000 4194304 10169799 140734413999824 140734413994616 8989847 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7257/statm: 108600 106452 843 1459 0 107132 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 434400 Child status: 0 Real time (s): 1797.25 CPU time (s): 1796.96 CPU user time (s): 1788.52 CPU system time (s): 8.43572 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 483980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.52 system time used= 8.43572 maximum resident set size= 479328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 266461 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= 33 involuntary context switches= 1846 runsolver used 3.10053 second user time and 9.39557 second system time The end
Begin job on node147 at 2012-05-26 13:24:32 IDJOB=3693269 IDBENCH=2240 IDSOLVER=2272 FILE ID=node147/3693269-1338031472 RUNJOBID= node147-1338029668-7115 PBS_JOBID= 14624328 Free space on /tmp= 71672 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/frb40-19-opb/normalized-frb40-19-5.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-3693269-1338031472/watcher-3693269-1338031472 -o /tmp/evaluation-result-3693269-1338031472/solver-3693269-1338031472 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693269-1338031472.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED=2083407997 node147.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.951 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.90 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.951 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.951 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.87 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.951 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.951 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 : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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.951 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: 32873844 kB MemFree: 29956008 kB Buffers: 260992 kB Cached: 1807456 kB SwapCached: 6180 kB Active: 518408 kB Inactive: 1625968 kB Active(anon): 71528 kB Inactive(anon): 6780 kB Active(file): 446880 kB Inactive(file): 1619188 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67097572 kB Dirty: 28944 kB Writeback: 16 kB AnonPages: 78116 kB Mapped: 12744 kB Shmem: 0 kB Slab: 634340 kB SReclaimable: 74836 kB SUnreclaim: 559504 kB KernelStack: 1432 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 195056 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71656 MiB End job on node147 at 2012-05-26 13:54:29