Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | SAT | -37 | 1796.95 | 1797.25 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb |
| MD5SUM | 7262f9f4ab1a3ada75b3b140acf97f7d |
| 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 | 269.661 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -40 |
| Optimality of the best value was proved | NO |
| Number of variables | 760 |
| Total number of constraints | 41605 |
| Number of constraints which are clauses | 41605 |
| 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-3690936-1338018775.opb>
0.05/0.08 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41605 constraints
0.05/0.08 c problem read in 0.09
0.09/0.19 o 0
0.09/0.20 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.20 c presolving:
0.39/0.45 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41605 upgd conss, 83210 impls, 0 clqs
0.59/0.64 c (0.6s) probing: 51/760 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.64 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.65 c presolving (2 rounds):
0.59/0.65 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.65 c 83210 implications, 0 cliques
0.59/0.65 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41605 constraints
0.59/0.65 c 41605 constraints of type <setppc>
0.59/0.65 c transformed objective value is always integral (scale: 1)
0.59/0.65 c Presolving Time: 0.54
0.59/0.65 c - non default parameters ----------------------------------------------------------------------
0.59/0.65 c # SCIP version 2.1.1.4
0.59/0.65 c
0.59/0.65 c # maximal time in seconds to run
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/time = 1797
0.59/0.65 c
0.59/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/memory = 13950
0.59/0.65 c
0.59/0.65 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.65 c # [type: int, range: [1,2], default: 1]
0.59/0.65 c timing/clocktype = 2
0.59/0.65 c
0.59/0.65 c # belongs reading time to solving time?
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c timing/reading = TRUE
0.59/0.65 c
0.59/0.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c separating/rapidlearning/freq = 0
0.59/0.65 c
0.59/0.65 c -----------------------------------------------------------------------------------------------
0.59/0.65 c start solving
0.59/0.66 c
1.10/1.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.12 c t 1.1s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | Inf
1.10/1.15 o -1
1.10/1.15 c R 1.1s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | Large
1.10/1.18 o -2
1.10/1.18 c s 1.2s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | Large
1.79/1.81 c 1.8s| 1 | 0 | 1021 | - | 50M| 0 | 708 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.540000e+02 |-2.000000e+00 | Large
1.79/1.82 o -30
1.79/1.82 c b 1.8s| 1 | 0 | 1021 | - | 50M| 0 | 708 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.540000e+02 |-3.000000e+01 |1080.00%
2.48/2.57 c 2.6s| 1 | 0 | 1149 | - | 50M| 0 | 673 | 760 | 41k| 760 | 41k| 12 | 0 | 0 |-3.365000e+02 |-3.000000e+01 |1021.67%
3.48/3.55 c 3.5s| 1 | 0 | 1229 | - | 50M| 0 | 637 | 760 | 41k| 760 | 41k| 18 | 0 | 0 |-3.185000e+02 |-3.000000e+01 | 961.67%
4.59/4.60 c 4.6s| 1 | 0 | 1436 | - | 50M| 0 | 595 | 760 | 41k| 760 | 41k| 35 | 0 | 0 |-2.975000e+02 |-3.000000e+01 | 891.67%
5.69/5.72 c 5.7s| 1 | 0 | 1608 | - | 50M| 0 | 559 | 760 | 41k| 760 | 41k| 41 | 0 | 0 |-2.795000e+02 |-3.000000e+01 | 831.67%
6.69/6.75 c 6.8s| 1 | 0 | 1752 | - | 50M| 0 | 523 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-2.615000e+02 |-3.000000e+01 | 771.67%
7.89/7.94 c 7.9s| 1 | 0 | 2088 | - | 50M| 0 | 495 | 760 | 41k| 760 | 41k| 72 | 0 | 0 |-2.475000e+02 |-3.000000e+01 | 725.00%
9.18/9.27 c 9.3s| 1 | 0 | 2552 | - | 50M| 0 | 450 | 760 | 41k| 760 | 41k| 89 | 0 | 0 |-2.250000e+02 |-3.000000e+01 | 650.00%
10.39/10.49 c 10.5s| 1 | 0 | 2937 | - | 50M| 0 | 411 | 760 | 41k| 760 | 41k| 106 | 0 | 0 |-2.055000e+02 |-3.000000e+01 | 585.00%
11.99/12.01 c 12.0s| 1 | 0 | 4036 | - | 50M| 0 | 374 | 760 | 41k| 760 | 41k| 122 | 0 | 0 |-1.870000e+02 |-3.000000e+01 | 523.33%
12.29/12.33 c 12.3s| 1 | 0 | 4234 | - | 50M| 0 | 355 | 760 | 41k| 760 | 41k| 135 | 0 | 0 |-1.775000e+02 |-3.000000e+01 | 491.67%
13.49/13.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.49/13.55 c 13.6s| 1 | 0 | 5911 | - | 50M| 0 | 308 | 760 | 41k| 760 | 41k| 148 | 0 | 0 |-1.540000e+02 |-3.000000e+01 | 413.33%
14.29/14.33 c 14.3s| 1 | 0 | 7019 | - | 50M| 0 | 265 | 760 | 41k| 760 | 41k| 155 | 0 | 0 |-1.325000e+02 |-3.000000e+01 | 341.67%
14.69/14.71 c 14.7s| 1 | 0 | 7329 | - | 50M| 0 | 233 | 760 | 41k| 760 | 41k| 167 | 0 | 0 |-1.165000e+02 |-3.000000e+01 | 288.33%
15.39/15.44 c 15.4s| 1 | 0 | 8292 | - | 50M| 0 | 186 | 760 | 41k| 760 | 41k| 182 | 0 | 0 |-9.300000e+01 |-3.000000e+01 | 210.00%
15.89/15.96 c 16.0s| 1 | 0 | 9140 | - | 50M| 0 | 157 | 760 | 41k| 760 | 41k| 192 | 0 | 0 |-7.850000e+01 |-3.000000e+01 | 161.67%
16.39/16.44 c 16.4s| 1 | 0 | 9883 | - | 50M| 0 | 133 | 760 | 41k| 760 | 41k| 200 | 0 | 0 |-6.650000e+01 |-3.000000e+01 | 121.67%
16.79/16.80 c 16.8s| 1 | 0 | 10322 | - | 50M| 0 | 110 | 760 | 41k| 760 | 41k| 206 | 0 | 0 |-5.500000e+01 |-3.000000e+01 | 83.33%
16.98/17.02 c 17.0s| 1 | 0 | 10465 | - | 50M| 0 | 110 | 760 | 41k| 760 | 41k| 213 | 0 | 0 |-4.850000e+01 |-3.000000e+01 | 61.67%
17.28/17.38 c 17.4s| 1 | 0 | 10929 | - | 50M| 0 | 126 | 760 | 41k| 760 | 41k| 224 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.38/17.44 c 17.4s| 1 | 0 | 10984 | - | 50M| 0 | 125 | 760 | 41k| 760 | 41k| 233 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.49/17.53 c 17.5s| 1 | 0 | 11065 | - | 50M| 0 | 140 | 760 | 41k| 760 | 41k| 245 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.59/17.61 c 17.6s| 1 | 0 | 11101 | - | 50M| 0 | 133 | 760 | 41k| 760 | 41k| 249 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.59/17.66 c 17.7s| 1 | 0 | 11135 | - | 50M| 0 | 138 | 760 | 41k| 760 | 41k| 257 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.68/17.72 c 17.7s| 1 | 0 | 11177 | - | 50M| 0 | 143 | 760 | 41k| 760 | 41k| 264 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
22.48/22.58 c 22.6s| 1 | 2 | 11177 | - | 50M| 0 | 143 | 760 | 41k| 760 | 41k| 264 | 0 | 33 |-4.000000e+01 |-3.000000e+01 | 33.33%
113.96/114.01 o -32
113.96/114.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.96/114.01 c S 114s| 86 | 83 | 17308 | 72.1 | 55M| 22 | 0 | 760 | 41k| 760 | 41k| 264 | 0 |1478 |-4.000000e+01 |-3.200000e+01 | 25.00%
116.57/116.68 c 117s| 100 | 90 | 17686 | 65.7 | 55M| 22 | 107 | 760 | 41k| 760 | 41k| 264 | 0 |1518 |-4.000000e+01 |-3.200000e+01 | 25.00%
123.96/124.09 c 124s| 200 | 188 | 23445 | 61.6 | 58M| 24 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |1552 |-4.000000e+01 |-3.200000e+01 | 25.00%
129.86/129.98 c 130s| 300 | 270 | 28237 | 57.1 | 59M| 32 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |1583 |-4.000000e+01 |-3.200000e+01 | 25.00%
134.86/134.96 c 135s| 400 | 338 | 32136 | 52.5 | 61M| 32 | 50 | 760 | 41k| 760 | 41k| 264 | 0 |1619 |-4.000000e+01 |-3.200000e+01 | 25.00%
140.25/140.34 c 140s| 500 | 420 | 36330 | 50.4 | 62M| 35 | 45 | 760 | 41k| 760 | 41k| 264 | 0 |1652 |-4.000000e+01 |-3.200000e+01 | 25.00%
144.66/144.78 c 145s| 600 | 482 | 39690 | 47.6 | 63M| 43 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |1677 |-4.000000e+01 |-3.200000e+01 | 25.00%
148.75/148.86 c 149s| 700 | 538 | 42869 | 45.3 | 64M| 47 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |1697 |-4.000000e+01 |-3.200000e+01 | 25.00%
152.76/152.88 c 153s| 800 | 580 | 45814 | 43.4 | 65M| 52 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |1725 |-4.000000e+01 |-3.200000e+01 | 25.00%
156.55/156.67 c 157s| 900 | 624 | 48664 | 41.7 | 66M| 52 | - | 760 | 41k| 760 | 41k| 264 | 0 |1750 |-4.000000e+01 |-3.200000e+01 | 25.00%
161.25/161.31 c 161s| 1000 | 680 | 51784 | 40.6 | 67M| 55 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |1778 |-4.000000e+01 |-3.200000e+01 | 25.00%
165.15/165.22 c 165s| 1100 | 738 | 55567 | 40.4 | 68M| 55 | 47 | 760 | 41k| 760 | 41k| 264 | 0 |1794 |-4.000000e+01 |-3.200000e+01 | 25.00%
169.95/170.00 c 170s| 1200 | 798 | 58953 | 39.8 | 69M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1829 |-4.000000e+01 |-3.200000e+01 | 25.00%
173.35/173.44 c 173s| 1300 | 858 | 62043 | 39.2 | 70M| 55 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |1837 |-4.000000e+01 |-3.200000e+01 | 25.00%
176.75/176.84 c 177s| 1400 | 912 | 65810 | 39.1 | 71M| 55 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |1845 |-4.000000e+01 |-3.200000e+01 | 25.00%
180.85/180.99 o -33
180.85/180.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.85/180.99 c p 181s| 1489 | 836 | 70935 | 40.2 | 71M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1847 |-4.000000e+01 |-3.300000e+01 | 21.21%
181.55/181.65 c 182s| 1500 | 847 | 71742 | 40.4 | 71M| 55 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |1847 |-4.000000e+01 |-3.300000e+01 | 21.21%
190.75/190.80 c 191s| 1600 | 947 | 81507 | 44.0 | 73M| 55 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |1854 |-4.000000e+01 |-3.300000e+01 | 21.21%
199.74/199.82 c 200s| 1700 | 1045 | 88501 | 45.5 | 75M| 55 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |1890 |-4.000000e+01 |-3.300000e+01 | 21.21%
203.54/203.64 o -34
203.54/203.64 c l 204s| 1744 | 973 | 91608 | 46.1 | 74M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1899 |-4.000000e+01 |-3.400000e+01 | 17.65%
210.54/210.62 c 211s| 1800 | 1029 | 97993 | 48.3 | 75M| 55 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |1924 |-4.000000e+01 |-3.400000e+01 | 17.65%
220.64/220.75 c 221s| 1900 | 1125 |107194 | 50.6 | 77M| 55 | 112 | 760 | 41k| 760 | 41k| 264 | 0 |1940 |-4.000000e+01 |-3.400000e+01 | 17.65%
233.24/233.38 c 233s| 2000 | 1219 |118607 | 53.7 | 79M| 55 | 104 | 760 | 41k| 760 | 41k| 264 | 0 |1981 |-4.000000e+01 |-3.400000e+01 | 17.65%
241.04/241.15 c 241s| 2100 | 1307 |125917 | 54.7 | 81M| 55 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |2016 |-4.000000e+01 |-3.400000e+01 | 17.65%
248.44/248.56 c 249s| 2200 | 1401 |133239 | 55.5 | 83M| 56 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |2032 |-4.000000e+01 |-3.400000e+01 | 17.65%
260.03/260.14 c 260s| 2300 | 1493 |143309 | 57.5 | 85M| 56 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |2052 |-4.000000e+01 |-3.400000e+01 | 17.65%
269.84/269.97 c 270s| 2400 | 1591 |152829 | 59.0 | 87M| 56 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2061 |-4.000000e+01 |-3.400000e+01 | 17.65%
279.14/279.21 c 279s| 2500 | 1691 |162092 | 60.4 | 88M| 56 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |2082 |-4.000000e+01 |-3.400000e+01 | 17.65%
287.53/287.69 c 288s| 2600 | 1787 |170275 | 61.2 | 90M| 56 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |2085 |-4.000000e+01 |-3.400000e+01 | 17.65%
296.53/296.69 c 297s| 2700 | 1877 |178152 | 61.9 | 92M| 56 | 96 | 760 | 41k| 760 | 41k| 264 | 0 |2121 |-4.000000e+01 |-3.400000e+01 | 17.65%
309.23/309.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.23/309.32 c 309s| 2800 | 1971 |188517 | 63.4 | 94M| 56 | 50 | 760 | 41k| 760 | 41k| 264 | 0 |2174 |-4.000000e+01 |-3.400000e+01 | 17.65%
319.93/320.04 c 320s| 2900 | 2063 |198918 | 64.8 | 96M| 56 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2215 |-4.000000e+01 |-3.400000e+01 | 17.65%
330.53/330.66 c 331s| 3000 | 2159 |208974 | 66.0 | 97M| 56 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |2254 |-4.000000e+01 |-3.400000e+01 | 17.65%
341.62/341.78 c 342s| 3100 | 2257 |218408 | 66.9 | 100M| 57 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |2299 |-4.000000e+01 |-3.400000e+01 | 17.65%
351.22/351.31 c 351s| 3200 | 2339 |226423 | 67.3 | 102M| 57 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |2344 |-4.000000e+01 |-3.400000e+01 | 17.65%
362.42/362.52 c 363s| 3300 | 2423 |237143 | 68.5 | 103M| 57 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |2382 |-4.000000e+01 |-3.400000e+01 | 17.65%
373.21/373.35 c 373s| 3400 | 2519 |246794 | 69.3 | 105M| 57 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |2407 |-4.000000e+01 |-3.400000e+01 | 17.65%
381.32/381.44 c 381s| 3500 | 2609 |254465 | 69.5 | 107M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2420 |-4.000000e+01 |-3.400000e+01 | 17.65%
388.52/388.63 c 389s| 3600 | 2695 |262090 | 69.7 | 109M| 57 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |2427 |-4.000000e+01 |-3.400000e+01 | 17.65%
396.92/397.10 c 397s| 3700 | 2783 |271546 | 70.4 | 110M| 57 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |2432 |-4.000000e+01 |-3.400000e+01 | 17.65%
404.81/404.95 c 405s| 3800 | 2873 |279911 | 70.7 | 112M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2440 |-4.000000e+01 |-3.400000e+01 | 17.65%
411.61/411.79 c 412s| 3900 | 2961 |287726 | 70.9 | 114M| 57 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |2446 |-4.000000e+01 |-3.400000e+01 | 17.65%
418.81/418.97 c 419s| 4000 | 3045 |295471 | 71.1 | 116M| 57 | 97 | 760 | 41k| 760 | 41k| 264 | 0 |2449 |-4.000000e+01 |-3.400000e+01 | 17.65%
427.11/427.23 c 427s| 4100 | 3133 |304625 | 71.6 | 117M| 57 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |2450 |-4.000000e+01 |-3.400000e+01 | 17.65%
435.61/435.78 c 436s| 4200 | 3223 |313469 | 72.0 | 119M| 57 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |2452 |-4.000000e+01 |-3.400000e+01 | 17.65%
444.40/444.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.40/444.52 c 445s| 4300 | 3309 |323287 | 72.6 | 121M| 57 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |2464 |-4.000000e+01 |-3.400000e+01 | 17.65%
453.81/453.91 c 454s| 4400 | 3401 |331411 | 72.8 | 122M| 57 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |2509 |-4.000000e+01 |-3.400000e+01 | 17.65%
464.21/464.39 c 464s| 4500 | 3491 |339868 | 73.1 | 124M| 57 | 119 | 760 | 41k| 760 | 41k| 264 | 0 |2562 |-4.000000e+01 |-3.400000e+01 | 17.65%
474.21/474.35 c 474s| 4600 | 3583 |348161 | 73.3 | 126M| 57 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |2598 |-4.000000e+01 |-3.400000e+01 | 17.65%
482.20/482.31 c 482s| 4700 | 3669 |355356 | 73.2 | 127M| 57 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |2630 |-4.000000e+01 |-3.400000e+01 | 17.65%
491.40/491.57 c 492s| 4800 | 3757 |363647 | 73.4 | 129M| 57 | 94 | 760 | 41k| 760 | 41k| 264 | 0 |2664 |-4.000000e+01 |-3.400000e+01 | 17.65%
499.79/499.96 c 500s| 4900 | 3839 |371468 | 73.5 | 131M| 57 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |2699 |-4.000000e+01 |-3.400000e+01 | 17.65%
508.39/508.59 c 509s| 5000 | 3917 |378231 | 73.4 | 132M| 57 | 119 | 760 | 41k| 760 | 41k| 264 | 0 |2738 |-4.000000e+01 |-3.400000e+01 | 17.65%
517.40/517.55 c 518s| 5100 | 4005 |386112 | 73.5 | 134M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2773 |-4.000000e+01 |-3.400000e+01 | 17.65%
520.20/520.32 o -35
520.20/520.32 c l 520s| 5153 | 3526 |388738 | 73.3 | 129M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2784 |-4.000000e+01 |-3.500000e+01 | 14.29%
522.19/522.40 c 522s| 5200 | 3561 |390878 | 73.0 | 129M| 57 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |2788 |-4.000000e+01 |-3.500000e+01 | 14.29%
528.30/528.41 c 528s| 5300 | 3625 |396973 | 72.8 | 130M| 57 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |2798 |-4.000000e+01 |-3.500000e+01 | 14.29%
534.50/534.64 c 535s| 5400 | 3689 |403451 | 72.7 | 132M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2803 |-4.000000e+01 |-3.500000e+01 | 14.29%
538.99/539.17 c 539s| 5500 | 3749 |408533 | 72.3 | 133M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2810 |-4.000000e+01 |-3.500000e+01 | 14.29%
544.79/544.99 c 545s| 5600 | 3821 |414921 | 72.1 | 134M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2812 |-4.000000e+01 |-3.500000e+01 | 14.29%
549.89/550.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.89/550.03 c 550s| 5700 | 3871 |420240 | 71.8 | 135M| 57 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |2820 |-4.000000e+01 |-3.500000e+01 | 14.29%
555.09/555.27 c 555s| 5800 | 3929 |426183 | 71.6 | 136M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2822 |-4.000000e+01 |-3.500000e+01 | 14.29%
561.19/561.32 c 561s| 5900 | 4003 |432317 | 71.4 | 138M| 57 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2824 |-4.000000e+01 |-3.500000e+01 | 14.29%
565.59/565.72 c 566s| 6000 | 4065 |436648 | 70.9 | 139M| 57 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2826 |-4.000000e+01 |-3.500000e+01 | 14.29%
571.19/571.33 c 571s| 6100 | 4127 |442614 | 70.7 | 140M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |2827 |-4.000000e+01 |-3.500000e+01 | 14.29%
576.39/576.50 c 576s| 6200 | 4195 |448191 | 70.5 | 142M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |2830 |-4.000000e+01 |-3.500000e+01 | 14.29%
579.79/579.98 c 580s| 6300 | 4249 |451923 | 70.0 | 143M| 58 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |2830 |-4.000000e+01 |-3.500000e+01 | 14.29%
586.48/586.70 c 587s| 6400 | 4319 |458647 | 69.9 | 144M| 58 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2831 |-4.000000e+01 |-3.500000e+01 | 14.29%
592.58/592.71 c 593s| 6500 | 4381 |464663 | 69.8 | 145M| 58 | 104 | 760 | 41k| 760 | 41k| 264 | 0 |2836 |-4.000000e+01 |-3.500000e+01 | 14.29%
600.08/600.27 c 600s| 6600 | 4457 |471948 | 69.8 | 147M| 58 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |2869 |-4.000000e+01 |-3.500000e+01 | 14.29%
607.98/608.20 c 608s| 6700 | 4533 |478556 | 69.8 | 148M| 58 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |2909 |-4.000000e+01 |-3.500000e+01 | 14.29%
613.88/614.02 c 614s| 6800 | 4601 |484302 | 69.6 | 150M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |2919 |-4.000000e+01 |-3.500000e+01 | 14.29%
619.88/620.03 c 620s| 6900 | 4667 |489810 | 69.4 | 151M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |2949 |-4.000000e+01 |-3.500000e+01 | 14.29%
627.58/627.71 c 628s| 7000 | 4743 |496261 | 69.3 | 152M| 58 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |2983 |-4.000000e+01 |-3.500000e+01 | 14.29%
635.78/635.91 c 636s| 7100 | 4815 |503692 | 69.4 | 154M| 58 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |3017 |-4.000000e+01 |-3.500000e+01 | 14.29%
641.58/641.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.58/641.71 c 642s| 7200 | 4885 |509155 | 69.2 | 155M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3040 |-4.000000e+01 |-3.500000e+01 | 14.29%
647.28/647.43 c 647s| 7300 | 4947 |514156 | 68.9 | 156M| 58 | 113 | 760 | 41k| 760 | 41k| 264 | 0 |3071 |-4.000000e+01 |-3.500000e+01 | 14.29%
652.97/653.17 c 653s| 7400 | 5007 |519670 | 68.7 | 157M| 58 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |3095 |-4.000000e+01 |-3.500000e+01 | 14.29%
660.18/660.38 c 660s| 7500 | 5073 |525468 | 68.6 | 159M| 58 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |3127 |-4.000000e+01 |-3.500000e+01 | 14.29%
665.77/665.97 c 666s| 7600 | 5131 |530487 | 68.3 | 160M| 58 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3156 |-4.000000e+01 |-3.500000e+01 | 14.29%
672.57/672.78 c 673s| 7700 | 5201 |536051 | 68.2 | 161M| 58 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3183 |-4.000000e+01 |-3.500000e+01 | 14.29%
677.67/677.83 c 678s| 7800 | 5255 |540988 | 67.9 | 162M| 58 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |3202 |-4.000000e+01 |-3.500000e+01 | 14.29%
683.87/684.02 c 684s| 7900 | 5317 |547360 | 67.9 | 163M| 58 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |3218 |-4.000000e+01 |-3.500000e+01 | 14.29%
690.77/690.98 c 691s| 8000 | 5393 |553424 | 67.8 | 165M| 58 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |3229 |-4.000000e+01 |-3.500000e+01 | 14.29%
696.27/696.43 c 696s| 8100 | 5461 |559162 | 67.7 | 166M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3235 |-4.000000e+01 |-3.500000e+01 | 14.29%
700.37/700.51 c 701s| 8200 | 5501 |562910 | 67.3 | 167M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3240 |-4.000000e+01 |-3.500000e+01 | 14.29%
704.76/704.93 c 705s| 8300 | 5555 |567383 | 67.0 | 168M| 58 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |3250 |-4.000000e+01 |-3.500000e+01 | 14.29%
709.56/709.71 c 710s| 8400 | 5611 |572230 | 66.8 | 169M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |3254 |-4.000000e+01 |-3.500000e+01 | 14.29%
717.47/717.64 c 718s| 8500 | 5681 |578501 | 66.8 | 170M| 58 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |3265 |-4.000000e+01 |-3.500000e+01 | 14.29%
724.77/724.93 c 725s| 8600 | 5763 |585254 | 66.8 | 172M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3267 |-4.000000e+01 |-3.500000e+01 | 14.29%
729.17/729.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.17/729.39 c 729s| 8700 | 5817 |590106 | 66.6 | 173M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |3269 |-4.000000e+01 |-3.500000e+01 | 14.29%
734.16/734.37 c 734s| 8800 | 5881 |595423 | 66.4 | 174M| 58 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
738.46/738.65 c 739s| 8900 | 5941 |600235 | 66.2 | 175M| 58 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
743.46/743.66 c 744s| 9000 | 5997 |606389 | 66.1 | 176M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
747.66/747.85 c 748s| 9100 | 6055 |610381 | 65.9 | 178M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
753.66/753.84 c 754s| 9200 | 6123 |617104 | 65.9 | 179M| 58 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
759.66/759.83 c 760s| 9300 | 6197 |623306 | 65.8 | 180M| 58 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |3272 |-4.000000e+01 |-3.500000e+01 | 14.29%
765.46/765.69 c 766s| 9400 | 6269 |629995 | 65.8 | 181M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3272 |-4.000000e+01 |-3.500000e+01 | 14.29%
771.75/771.98 c 772s| 9500 | 6341 |636113 | 65.8 | 183M| 58 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3293 |-4.000000e+01 |-3.500000e+01 | 14.29%
776.95/777.13 c 777s| 9600 | 6395 |641223 | 65.6 | 184M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3306 |-4.000000e+01 |-3.500000e+01 | 14.29%
779.25/779.42 o -36
779.25/779.42 c l 779s| 9636 | 5030 |642721 | 65.5 | 166M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3328 |-4.000000e+01 |-3.600000e+01 | 11.11%
781.75/781.98 c 782s| 9700 | 5056 |645576 | 65.4 | 167M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3329 |-4.000000e+01 |-3.600000e+01 | 11.11%
787.55/787.72 c 788s| 9800 | 5102 |650367 | 65.2 | 168M| 58 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3361 |-4.000000e+01 |-3.600000e+01 | 11.11%
793.65/793.89 c 794s| 9900 | 5154 |655520 | 65.1 | 169M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3383 |-4.000000e+01 |-3.600000e+01 | 11.11%
797.65/797.83 c 798s| 10000 | 5180 |659255 | 64.8 | 169M| 58 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |3398 |-4.000000e+01 |-3.600000e+01 | 11.11%
803.95/804.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.95/804.18 c 804s| 10100 | 5222 |665015 | 64.7 | 170M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3425 |-4.000000e+01 |-3.600000e+01 | 11.11%
808.05/808.26 c 808s| 10200 | 5264 |669156 | 64.5 | 171M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3436 |-4.000000e+01 |-3.600000e+01 | 11.11%
812.65/812.86 c 813s| 10300 | 5300 |673403 | 64.3 | 172M| 58 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |3458 |-4.000000e+01 |-3.600000e+01 | 11.11%
819.44/819.63 c 820s| 10400 | 5346 |679614 | 64.3 | 173M| 59 | 92 | 760 | 41k| 760 | 41k| 264 | 0 |3495 |-4.000000e+01 |-3.600000e+01 | 11.11%
823.75/823.95 c 824s| 10500 | 5380 |683472 | 64.0 | 173M| 59 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3512 |-4.000000e+01 |-3.600000e+01 | 11.11%
829.25/829.46 c 829s| 10600 | 5416 |687971 | 63.9 | 174M| 59 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |3542 |-4.000000e+01 |-3.600000e+01 | 11.11%
833.65/833.84 c 834s| 10700 | 5460 |691829 | 63.6 | 175M| 59 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |3563 |-4.000000e+01 |-3.600000e+01 | 11.11%
838.34/838.52 c 839s| 10800 | 5506 |695680 | 63.4 | 176M| 59 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |3581 |-4.000000e+01 |-3.600000e+01 | 11.11%
843.84/844.01 c 844s| 10900 | 5552 |699826 | 63.2 | 177M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3599 |-4.000000e+01 |-3.600000e+01 | 11.11%
848.54/848.75 c 849s| 11000 | 5594 |703981 | 63.0 | 177M| 59 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |3621 |-4.000000e+01 |-3.600000e+01 | 11.11%
855.24/855.43 c 855s| 11100 | 5648 |710768 | 63.0 | 179M| 59 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3642 |-4.000000e+01 |-3.600000e+01 | 11.11%
860.94/861.19 c 861s| 11200 | 5690 |715820 | 62.9 | 180M| 59 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3669 |-4.000000e+01 |-3.600000e+01 | 11.11%
864.83/865.03 c 865s| 11300 | 5722 |719493 | 62.7 | 180M| 59 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |3681 |-4.000000e+01 |-3.600000e+01 | 11.11%
869.53/869.76 c 870s| 11400 | 5760 |724525 | 62.6 | 181M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3690 |-4.000000e+01 |-3.600000e+01 | 11.11%
874.94/875.15 c 875s| 11500 | 5822 |729933 | 62.5 | 182M| 59 | 44 | 760 | 41k| 760 | 41k| 264 | 0 |3698 |-4.000000e+01 |-3.600000e+01 | 11.11%
879.84/880.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.84/880.03 c 880s| 11600 | 5880 |735403 | 62.4 | 183M| 59 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |3698 |-4.000000e+01 |-3.600000e+01 | 11.11%
885.34/885.55 c 886s| 11700 | 5916 |740174 | 62.3 | 184M| 59 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |3702 |-4.000000e+01 |-3.600000e+01 | 11.11%
889.43/889.66 c 890s| 11800 | 5964 |744629 | 62.2 | 185M| 59 | 55 | 760 | 41k| 760 | 41k| 264 | 0 |3704 |-4.000000e+01 |-3.600000e+01 | 11.11%
892.83/893.06 c 893s| 11900 | 6006 |748304 | 61.9 | 186M| 59 | 43 | 760 | 41k| 760 | 41k| 264 | 0 |3705 |-4.000000e+01 |-3.600000e+01 | 11.11%
897.13/897.33 c 897s| 12000 | 6054 |752949 | 61.8 | 187M| 59 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
900.93/901.15 c 901s| 12100 | 6092 |757299 | 61.7 | 187M| 59 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
906.33/906.52 c 907s| 12200 | 6140 |762062 | 61.6 | 188M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3708 |-4.000000e+01 |-3.600000e+01 | 11.11%
911.23/911.42 c 911s| 12300 | 6180 |767448 | 61.5 | 189M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3710 |-4.000000e+01 |-3.600000e+01 | 11.11%
915.43/915.65 c 916s| 12400 | 6224 |772325 | 61.4 | 190M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
918.83/919.01 c 919s| 12500 | 6262 |775890 | 61.2 | 191M| 59 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3713 |-4.000000e+01 |-3.600000e+01 | 11.11%
923.23/923.49 c 923s| 12600 | 6298 |780434 | 61.1 | 192M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3716 |-4.000000e+01 |-3.600000e+01 | 11.11%
926.73/926.93 c 927s| 12700 | 6330 |784265 | 60.9 | 192M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |3717 |-4.000000e+01 |-3.600000e+01 | 11.11%
930.34/930.50 c 931s| 12800 | 6372 |788212 | 60.7 | 193M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3717 |-4.000000e+01 |-3.600000e+01 | 11.11%
934.03/934.27 c 934s| 12900 | 6406 |792197 | 60.5 | 194M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3719 |-4.000000e+01 |-3.600000e+01 | 11.11%
937.83/938.01 c 938s| 13000 | 6444 |796492 | 60.4 | 195M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
940.72/940.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.72/940.95 c 941s| 13100 | 6480 |799774 | 60.2 | 196M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
944.93/945.10 c 945s| 13200 | 6516 |804628 | 60.1 | 196M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
948.12/948.30 c 948s| 13300 | 6546 |807711 | 59.9 | 197M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3727 |-4.000000e+01 |-3.600000e+01 | 11.11%
954.03/954.25 c 954s| 13400 | 6596 |813151 | 59.9 | 198M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
957.42/957.69 c 958s| 13500 | 6624 |816236 | 59.6 | 199M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3771 |-4.000000e+01 |-3.600000e+01 | 11.11%
961.02/961.30 c 961s| 13600 | 6656 |819383 | 59.4 | 199M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3787 |-4.000000e+01 |-3.600000e+01 | 11.11%
964.62/964.83 c 965s| 13700 | 6690 |822357 | 59.2 | 200M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3805 |-4.000000e+01 |-3.600000e+01 | 11.11%
968.32/968.57 c 969s| 13800 | 6710 |825505 | 59.0 | 200M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3819 |-4.000000e+01 |-3.600000e+01 | 11.11%
973.42/973.61 c 974s| 13900 | 6748 |829801 | 58.9 | 201M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3848 |-4.000000e+01 |-3.600000e+01 | 11.11%
976.53/976.71 c 977s| 14000 | 6774 |833103 | 58.7 | 202M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |3848 |-4.000000e+01 |-3.600000e+01 | 11.11%
980.62/980.85 c 981s| 14100 | 6798 |836408 | 58.5 | 202M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3872 |-4.000000e+01 |-3.600000e+01 | 11.11%
986.02/986.20 c 986s| 14200 | 6842 |841457 | 58.5 | 203M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3895 |-4.000000e+01 |-3.600000e+01 | 11.11%
991.11/991.37 c 991s| 14300 | 6874 |845793 | 58.4 | 204M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3917 |-4.000000e+01 |-3.600000e+01 | 11.11%
995.42/995.60 c 996s| 14400 | 6912 |849928 | 58.3 | 204M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3936 |-4.000000e+01 |-3.600000e+01 | 11.11%
1001.61/1001.82 c 1002s| 14500 | 6952 |854560 | 58.2 | 205M| 60 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |3966 |-4.000000e+01 |-3.600000e+01 | 11.11%
1005.31/1005.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.31/1005.50 c 1005s| 14600 | 6974 |857691 | 58.0 | 206M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3988 |-4.000000e+01 |-3.600000e+01 | 11.11%
1010.11/1010.38 c 1010s| 14700 | 7010 |862712 | 57.9 | 206M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4002 |-4.000000e+01 |-3.600000e+01 | 11.11%
1014.72/1014.99 c 1015s| 14800 | 7042 |866407 | 57.8 | 207M| 60 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |4028 |-4.000000e+01 |-3.600000e+01 | 11.11%
1020.92/1021.12 c 1021s| 14900 | 7094 |872438 | 57.8 | 208M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4053 |-4.000000e+01 |-3.600000e+01 | 11.11%
1026.21/1026.40 c 1026s| 15000 | 7130 |877380 | 57.8 | 209M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |4070 |-4.000000e+01 |-3.600000e+01 | 11.11%
1030.31/1030.59 c 1031s| 15100 | 7160 |881121 | 57.6 | 209M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4089 |-4.000000e+01 |-3.600000e+01 | 11.11%
1035.51/1035.79 c 1036s| 15200 | 7188 |885782 | 57.5 | 210M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |4108 |-4.000000e+01 |-3.600000e+01 | 11.11%
1040.11/1040.31 c 1040s| 15300 | 7232 |889540 | 57.4 | 211M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4125 |-4.000000e+01 |-3.600000e+01 | 11.11%
1045.91/1046.11 c 1046s| 15400 | 7270 |894952 | 57.4 | 211M| 60 | 96 | 760 | 41k| 760 | 41k| 264 | 0 |4144 |-4.000000e+01 |-3.600000e+01 | 11.11%
1050.81/1051.03 c 1051s| 15500 | 7310 |899882 | 57.3 | 212M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4161 |-4.000000e+01 |-3.600000e+01 | 11.11%
1056.30/1056.51 c 1057s| 15600 | 7352 |905452 | 57.3 | 213M| 60 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |4178 |-4.000000e+01 |-3.600000e+01 | 11.11%
1059.80/1060.03 c 1060s| 15700 | 7382 |909158 | 57.2 | 214M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4186 |-4.000000e+01 |-3.600000e+01 | 11.11%
1064.10/1064.34 c 1064s| 15800 | 7410 |913431 | 57.1 | 214M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |4192 |-4.000000e+01 |-3.600000e+01 | 11.11%
1068.90/1069.13 c 1069s| 15900 | 7456 |918193 | 57.0 | 215M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4194 |-4.000000e+01 |-3.600000e+01 | 11.11%
1072.60/1072.80 c 1073s| 16000 | 7486 |921840 | 56.9 | 216M| 60 | 94 | 760 | 41k| 760 | 41k| 264 | 0 |4195 |-4.000000e+01 |-3.600000e+01 | 11.11%
1076.40/1076.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.40/1076.68 c 1077s| 16100 | 7532 |926254 | 56.8 | 217M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4195 |-4.000000e+01 |-3.600000e+01 | 11.11%
1080.50/1080.71 c 1081s| 16200 | 7570 |930895 | 56.8 | 218M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4198 |-4.000000e+01 |-3.600000e+01 | 11.11%
1084.60/1084.84 c 1085s| 16300 | 7604 |935256 | 56.7 | 218M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4203 |-4.000000e+01 |-3.600000e+01 | 11.11%
1087.30/1087.50 c 1088s| 16400 | 7628 |938072 | 56.5 | 219M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4204 |-4.000000e+01 |-3.600000e+01 | 11.11%
1091.30/1091.55 c 1092s| 16500 | 7662 |942210 | 56.4 | 219M| 60 | 115 | 760 | 41k| 760 | 41k| 264 | 0 |4204 |-4.000000e+01 |-3.600000e+01 | 11.11%
1094.40/1094.68 c 1095s| 16600 | 7696 |945408 | 56.3 | 220M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1097.10/1097.30 c 1097s| 16700 | 7714 |948177 | 56.1 | 220M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1101.50/1101.78 c 1102s| 16800 | 7750 |953214 | 56.1 | 221M| 60 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |4208 |-4.000000e+01 |-3.600000e+01 | 11.11%
1104.80/1105.08 c 1105s| 16900 | 7800 |956691 | 56.0 | 222M| 60 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |4209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1109.40/1109.61 c 1110s| 17000 | 7832 |960951 | 55.9 | 223M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1112.60/1112.82 c 1113s| 17100 | 7864 |964659 | 55.8 | 224M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1116.39/1116.67 c 1117s| 17200 | 7910 |969464 | 55.7 | 225M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1119.80/1120.05 c 1120s| 17300 | 7950 |973714 | 55.6 | 225M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1123.69/1123.97 c 1124s| 17400 | 7988 |978374 | 55.6 | 226M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1126.59/1126.85 c 1127s| 17500 | 8020 |981776 | 55.5 | 227M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1130.39/1130.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.39/1130.63 c 1131s| 17600 | 8074 |986196 | 55.4 | 228M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1133.39/1133.61 c 1134s| 17700 | 8110 |989860 | 55.3 | 228M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1135.69/1135.97 c 1136s| 17800 | 8138 |992625 | 55.1 | 229M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1139.80/1140.00 c 1140s| 17900 | 8176 |996168 | 55.0 | 230M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |4242 |-4.000000e+01 |-3.600000e+01 | 11.11%
1143.19/1143.41 c 1143s| 18000 | 8208 |999286 | 54.9 | 230M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4261 |-4.000000e+01 |-3.600000e+01 | 11.11%
1146.09/1146.37 c 1146s| 18100 | 8238 | 1001k| 54.7 | 231M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4278 |-4.000000e+01 |-3.600000e+01 | 11.11%
1151.39/1151.70 c 1152s| 18200 | 8284 | 1007k| 54.7 | 231M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4301 |-4.000000e+01 |-3.600000e+01 | 11.11%
1155.29/1155.51 c 1156s| 18300 | 8314 | 1010k| 54.6 | 232M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4312 |-4.000000e+01 |-3.600000e+01 | 11.11%
1160.09/1160.31 c 1160s| 18400 | 8354 | 1015k| 54.6 | 233M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4343 |-4.000000e+01 |-3.600000e+01 | 11.11%
1164.09/1164.35 c 1164s| 18500 | 8392 | 1019k| 54.5 | 234M| 60 | 55 | 760 | 41k| 760 | 41k| 264 | 0 |4365 |-4.000000e+01 |-3.600000e+01 | 11.11%
1167.29/1167.56 c 1168s| 18600 | 8416 | 1021k| 54.3 | 234M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4383 |-4.000000e+01 |-3.600000e+01 | 11.11%
1170.89/1171.14 c 1171s| 18700 | 8454 | 1025k| 54.2 | 235M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4404 |-4.000000e+01 |-3.600000e+01 | 11.11%
1173.69/1173.99 c 1174s| 18800 | 8480 | 1028k| 54.1 | 235M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4404 |-4.000000e+01 |-3.600000e+01 | 11.11%
1178.18/1178.49 c 1178s| 18900 | 8518 | 1033k| 54.1 | 236M| 60 | 93 | 760 | 41k| 760 | 41k| 264 | 0 |4426 |-4.000000e+01 |-3.600000e+01 | 11.11%
1183.40/1183.66 c 1184s| 19000 | 8568 | 1038k| 54.1 | 237M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4450 |-4.000000e+01 |-3.600000e+01 | 11.11%
1187.49/1187.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.49/1187.72 c 1188s| 19100 | 8606 | 1041k| 54.0 | 237M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4464 |-4.000000e+01 |-3.600000e+01 | 11.11%
1191.18/1191.45 c 1191s| 19200 | 8636 | 1045k| 53.9 | 238M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4486 |-4.000000e+01 |-3.600000e+01 | 11.11%
1195.28/1195.50 c 1195s| 19300 | 8664 | 1048k| 53.7 | 238M| 60 | 101 | 760 | 41k| 760 | 41k| 264 | 0 |4505 |-4.000000e+01 |-3.600000e+01 | 11.11%
1199.19/1199.43 c 1199s| 19400 | 8692 | 1051k| 53.7 | 239M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4520 |-4.000000e+01 |-3.600000e+01 | 11.11%
1202.99/1203.22 c 1203s| 19500 | 8722 | 1055k| 53.6 | 239M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4529 |-4.000000e+01 |-3.600000e+01 | 11.11%
1206.39/1206.68 c 1207s| 19600 | 8758 | 1059k| 53.5 | 240M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4544 |-4.000000e+01 |-3.600000e+01 | 11.11%
1211.28/1211.54 c 1212s| 19700 | 8792 | 1063k| 53.4 | 241M| 60 | 48 | 760 | 41k| 760 | 41k| 264 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1215.58/1215.81 c 1216s| 19800 | 8824 | 1068k| 53.4 | 241M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1219.38/1219.63 c 1220s| 19900 | 8860 | 1071k| 53.3 | 242M| 60 | 46 | 760 | 41k| 760 | 41k| 264 | 0 |4610 |-4.000000e+01 |-3.600000e+01 | 11.11%
1223.08/1223.37 c 1223s| 20000 | 8890 | 1075k| 53.2 | 242M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4621 |-4.000000e+01 |-3.600000e+01 | 11.11%
1227.78/1228.04 c 1228s| 20100 | 8932 | 1079k| 53.1 | 243M| 60 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |4639 |-4.000000e+01 |-3.600000e+01 | 11.11%
1232.18/1232.46 c 1232s| 20200 | 8964 | 1083k| 53.1 | 244M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4659 |-4.000000e+01 |-3.600000e+01 | 11.11%
1236.88/1237.11 c 1237s| 20300 | 9000 | 1088k| 53.0 | 244M| 60 | 100 | 760 | 41k| 760 | 41k| 264 | 0 |4678 |-4.000000e+01 |-3.600000e+01 | 11.11%
1240.68/1240.99 c 1241s| 20400 | 9032 | 1091k| 53.0 | 245M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4697 |-4.000000e+01 |-3.600000e+01 | 11.11%
1244.58/1244.88 c 1245s| 20500 | 9066 | 1094k| 52.9 | 246M| 60 | 44 | 760 | 41k| 760 | 41k| 264 | 0 |4712 |-4.000000e+01 |-3.600000e+01 | 11.11%
1248.28/1248.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.28/1248.52 c 1249s| 20600 | 9096 | 1097k| 52.8 | 246M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4731 |-4.000000e+01 |-3.600000e+01 | 11.11%
1251.67/1251.91 c 1252s| 20700 | 9128 | 1101k| 52.7 | 247M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4744 |-4.000000e+01 |-3.600000e+01 | 11.11%
1254.57/1254.88 c 1255s| 20800 | 9170 | 1104k| 52.6 | 247M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4746 |-4.000000e+01 |-3.600000e+01 | 11.11%
1258.08/1258.34 c 1258s| 20900 | 9200 | 1109k| 52.5 | 248M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4749 |-4.000000e+01 |-3.600000e+01 | 11.11%
1261.08/1261.31 c 1261s| 21000 | 9224 | 1112k| 52.4 | 248M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4751 |-4.000000e+01 |-3.600000e+01 | 11.11%
1264.88/1265.19 c 1265s| 21100 | 9252 | 1116k| 52.4 | 249M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4752 |-4.000000e+01 |-3.600000e+01 | 11.11%
1267.67/1267.91 c 1268s| 21200 | 9280 | 1119k| 52.3 | 249M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4754 |-4.000000e+01 |-3.600000e+01 | 11.11%
1271.07/1271.35 c 1271s| 21300 | 9314 | 1123k| 52.2 | 250M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4758 |-4.000000e+01 |-3.600000e+01 | 11.11%
1274.87/1275.15 c 1275s| 21400 | 9348 | 1127k| 52.2 | 251M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1277.67/1277.93 c 1278s| 21500 | 9376 | 1130k| 52.1 | 251M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1279.87/1280.17 c 1280s| 21600 | 9406 | 1132k| 51.9 | 252M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1282.97/1283.28 c 1283s| 21700 | 9454 | 1136k| 51.9 | 252M| 60 | 47 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1287.07/1287.33 c 1287s| 21800 | 9504 | 1141k| 51.9 | 253M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |4761 |-4.000000e+01 |-3.600000e+01 | 11.11%
1289.97/1290.21 c 1290s| 21900 | 9538 | 1144k| 51.8 | 254M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4762 |-4.000000e+01 |-3.600000e+01 | 11.11%
1292.86/1293.18 c 1293s| 22000 | 9570 | 1147k| 51.7 | 254M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4763 |-4.000000e+01 |-3.600000e+01 | 11.11%
1297.16/1297.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.16/1297.47 c 1297s| 22100 | 9620 | 1152k| 51.7 | 255M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |4763 |-4.000000e+01 |-3.600000e+01 | 11.11%
1300.36/1300.62 c 1301s| 22200 | 9662 | 1156k| 51.6 | 256M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4764 |-4.000000e+01 |-3.600000e+01 | 11.11%
1302.97/1303.24 c 1303s| 22300 | 9692 | 1159k| 51.5 | 257M| 60 | 70 | 760 | 41k| 760 | 41k| 264 | 0 |4766 |-4.000000e+01 |-3.600000e+01 | 11.11%
1305.47/1305.72 c 1306s| 22400 | 9720 | 1161k| 51.4 | 257M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1308.67/1308.99 c 1309s| 22500 | 9756 | 1165k| 51.3 | 258M| 60 | 53 | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1311.67/1311.91 c 1312s| 22600 | 9792 | 1168k| 51.2 | 258M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1314.97/1315.27 c 1315s| 22700 | 9848 | 1172k| 51.1 | 259M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4769 |-4.000000e+01 |-3.600000e+01 | 11.11%
1318.37/1318.63 c 1319s| 22800 | 9878 | 1175k| 51.1 | 260M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1321.56/1321.81 c 1322s| 22900 | 9922 | 1179k| 51.0 | 260M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1325.07/1325.33 c 1325s| 23000 | 9962 | 1183k| 51.0 | 261M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1327.47/1327.72 c 1328s| 23100 | 9990 | 1186k| 50.9 | 262M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1330.27/1330.54 c 1331s| 23200 | 10030 | 1189k| 50.8 | 262M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1333.26/1333.50 c 1333s| 23300 | 10066 | 1193k| 50.7 | 263M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1335.76/1336.03 c 1336s| 23400 | 10082 | 1195k| 50.6 | 263M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1338.06/1338.32 c 1338s| 23500 | 10112 | 1198k| 50.5 | 264M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1340.86/1341.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.86/1341.12 c 1341s| 23600 | 10138 | 1201k| 50.4 | 264M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1343.46/1343.71 c 1344s| 23700 | 10172 | 1204k| 50.4 | 265M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1347.46/1347.73 c 1348s| 23800 | 10204 | 1208k| 50.3 | 265M| 60 | 125 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1350.16/1350.42 c 1350s| 23900 | 10234 | 1211k| 50.2 | 266M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1352.46/1352.71 c 1353s| 24000 | 10258 | 1214k| 50.1 | 266M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1355.25/1355.55 c 1356s| 24100 | 10292 | 1217k| 50.1 | 267M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1359.86/1360.18 c 1360s| 24200 | 10332 | 1223k| 50.1 | 268M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1363.06/1363.36 c 1363s| 24300 | 10370 | 1227k| 50.0 | 268M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1366.55/1366.83 c 1367s| 24400 | 10408 | 1230k| 50.0 | 269M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1369.86/1370.10 c 1370s| 24500 | 10440 | 1234k| 49.9 | 269M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1372.16/1372.46 c 1372s| 24600 | 10466 | 1237k| 49.8 | 270M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1374.86/1375.12 c 1375s| 24700 | 10498 | 1240k| 49.8 | 270M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1378.06/1378.35 c 1378s| 24800 | 10532 | 1244k| 49.7 | 271M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1380.86/1381.17 c 1381s| 24900 | 10564 | 1247k| 49.6 | 271M| 60 | 108 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1383.45/1383.73 c 1384s| 25000 | 10592 | 1250k| 49.6 | 272M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1387.86/1388.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.86/1388.16 c 1388s| 25100 | 10642 | 1255k| 49.6 | 273M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1390.86/1391.16 c 1391s| 25200 | 10680 | 1259k| 49.5 | 274M| 60 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1394.26/1394.50 c 1395s| 25300 | 10718 | 1263k| 49.5 | 274M| 60 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1397.86/1398.16 c 1398s| 25400 | 10748 | 1267k| 49.5 | 275M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1400.75/1401.09 c 1401s| 25500 | 10780 | 1271k| 49.4 | 275M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1404.05/1404.36 c 1404s| 25600 | 10800 | 1275k| 49.4 | 276M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1407.15/1407.49 c 1407s| 25700 | 10830 | 1279k| 49.4 | 276M| 60 | 116 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1410.05/1410.35 c 1410s| 25800 | 10854 | 1283k| 49.3 | 277M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1412.95/1413.24 c 1413s| 25900 | 10884 | 1287k| 49.3 | 277M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1417.05/1417.34 c 1417s| 26000 | 10912 | 1292k| 49.3 | 278M| 60 | 111 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1420.14/1420.49 c 1420s| 26100 | 10934 | 1295k| 49.2 | 278M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1424.34/1424.69 c 1425s| 26200 | 10960 | 1300k| 49.2 | 279M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1427.15/1427.41 c 1427s| 26300 | 10986 | 1303k| 49.2 | 279M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1429.55/1429.87 c 1430s| 26400 | 11014 | 1306k| 49.1 | 280M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1432.44/1432.77 c 1433s| 26500 | 11044 | 1310k| 49.0 | 280M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1435.55/1435.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.55/1435.84 c 1436s| 26600 | 11080 | 1313k| 49.0 | 281M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1438.95/1439.29 c 1439s| 26700 | 11118 | 1317k| 48.9 | 281M| 60 | 95 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1441.75/1442.09 c 1442s| 26800 | 11138 | 1320k| 48.9 | 282M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1446.44/1446.73 c 1447s| 26900 | 11170 | 1325k| 48.9 | 282M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1448.74/1449.07 c 1449s| 27000 | 11194 | 1328k| 48.8 | 283M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1451.24/1451.58 c 1452s| 27100 | 11230 | 1331k| 48.7 | 283M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1454.34/1454.61 c 1455s| 27200 | 11256 | 1334k| 48.7 | 284M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1457.15/1457.44 c 1457s| 27300 | 11290 | 1337k| 48.6 | 284M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1459.74/1460.04 c 1460s| 27400 | 11316 | 1341k| 48.5 | 285M| 60 | 114 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1463.04/1463.37 c 1463s| 27500 | 11352 | 1344k| 48.5 | 286M| 60 | 106 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1466.95/1467.21 c 1467s| 27600 | 11386 | 1349k| 48.5 | 286M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1470.24/1470.54 c 1471s| 27700 | 11436 | 1353k| 48.5 | 287M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1473.04/1473.38 c 1473s| 27800 | 11468 | 1356k| 48.4 | 288M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1476.74/1477.05 c 1477s| 27900 | 11502 | 1361k| 48.4 | 288M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1479.15/1479.42 c 1479s| 28000 | 11526 | 1363k| 48.3 | 289M| 60 | 70 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1482.14/1482.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.14/1482.49 c 1482s| 28100 | 11568 | 1367k| 48.3 | 289M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1484.75/1485.04 c 1485s| 28200 | 11604 | 1370k| 48.2 | 290M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1486.95/1487.25 c 1487s| 28300 | 11630 | 1372k| 48.1 | 290M| 60 | 93 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1489.04/1489.33 c 1489s| 28400 | 11648 | 1374k| 48.0 | 291M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1491.24/1491.56 c 1492s| 28500 | 11676 | 1377k| 47.9 | 291M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1493.83/1494.15 c 1494s| 28600 | 11716 | 1379k| 47.9 | 292M| 60 | 42 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1495.84/1496.14 c 1496s| 28700 | 11746 | 1382k| 47.8 | 292M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1497.84/1498.17 c 1498s| 28800 | 11772 | 1384k| 47.7 | 293M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1499.64/1499.99 c 1500s| 28900 | 11790 | 1385k| 47.6 | 293M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1501.54/1501.82 c 1502s| 29000 | 11802 | 1387k| 47.5 | 293M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1503.53/1503.85 c 1504s| 29100 | 11816 | 1389k| 47.4 | 293M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1506.64/1506.92 c 1507s| 29200 | 11840 | 1392k| 47.3 | 294M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1509.53/1509.82 c 1510s| 29300 | 11870 | 1395k| 47.3 | 294M| 60 | 98 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1512.43/1512.75 c 1513s| 29400 | 11892 | 1398k| 47.2 | 295M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1516.33/1516.68 c 1517s| 29500 | 11918 | 1402k| 47.2 | 295M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1520.44/1520.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.44/1520.78 c 1521s| 29600 | 11956 | 1407k| 47.2 | 296M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1522.63/1522.95 c 1523s| 29700 | 11980 | 1409k| 47.1 | 296M| 60 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1525.44/1525.74 c 1526s| 29800 | 12020 | 1412k| 47.0 | 297M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1528.13/1528.47 c 1528s| 29900 | 12062 | 1416k| 47.0 | 298M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1532.53/1532.88 c 1533s| 30000 | 12110 | 1421k| 47.0 | 298M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1536.44/1536.76 c 1537s| 30100 | 12154 | 1425k| 47.0 | 299M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1539.93/1540.25 c 1540s| 30200 | 12208 | 1429k| 47.0 | 300M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1543.93/1544.24 c 1544s| 30300 | 12252 | 1433k| 46.9 | 301M| 60 | 100 | 760 | 41k| 760 | 41k| 264 | 0 |4790 |-4.000000e+01 |-3.600000e+01 | 11.11%
1547.83/1548.10 c 1548s| 30400 | 12292 | 1436k| 46.9 | 301M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4808 |-4.000000e+01 |-3.600000e+01 | 11.11%
1552.33/1552.68 c 1553s| 30500 | 12328 | 1441k| 46.9 | 302M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4821 |-4.000000e+01 |-3.600000e+01 | 11.11%
1556.23/1556.51 c 1557s| 30600 | 12370 | 1445k| 46.9 | 303M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4835 |-4.000000e+01 |-3.600000e+01 | 11.11%
1559.73/1560.00 c 1560s| 30700 | 12402 | 1448k| 46.8 | 303M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4852 |-4.000000e+01 |-3.600000e+01 | 11.11%
1563.33/1563.62 c 1564s| 30800 | 12426 | 1451k| 46.8 | 303M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1565.93/1566.24 c 1566s| 30900 | 12460 | 1454k| 46.7 | 304M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1569.93/1570.23 c 1570s| 31000 | 12496 | 1457k| 46.7 | 304M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4881 |-4.000000e+01 |-3.600000e+01 | 11.11%
1574.93/1575.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.93/1575.24 c 1575s| 31100 | 12544 | 1462k| 46.7 | 305M| 60 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |4910 |-4.000000e+01 |-3.600000e+01 | 11.11%
1577.73/1578.08 c 1578s| 31200 | 12574 | 1465k| 46.6 | 306M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4910 |-4.000000e+01 |-3.600000e+01 | 11.11%
1581.92/1582.20 c 1582s| 31300 | 12618 | 1469k| 46.6 | 307M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |4930 |-4.000000e+01 |-3.600000e+01 | 11.11%
1585.12/1585.48 c 1585s| 31400 | 12654 | 1472k| 46.6 | 307M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4947 |-4.000000e+01 |-3.600000e+01 | 11.11%
1589.52/1589.85 c 1590s| 31500 | 12684 | 1476k| 46.5 | 308M| 60 | 34 | 760 | 41k| 760 | 41k| 264 | 0 |4975 |-4.000000e+01 |-3.600000e+01 | 11.11%
1592.42/1592.71 c 1593s| 31600 | 12714 | 1479k| 46.5 | 308M| 60 | 95 | 760 | 41k| 760 | 41k| 264 | 0 |4976 |-4.000000e+01 |-3.600000e+01 | 11.11%
1597.81/1598.11 c 1598s| 31700 | 12750 | 1485k| 46.5 | 309M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4997 |-4.000000e+01 |-3.600000e+01 | 11.11%
1600.42/1600.71 c 1601s| 31800 | 12764 | 1487k| 46.4 | 309M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5005 |-4.000000e+01 |-3.600000e+01 | 11.11%
1604.32/1604.63 c 1605s| 31900 | 12804 | 1491k| 46.4 | 310M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5016 |-4.000000e+01 |-3.600000e+01 | 11.11%
1609.11/1609.44 c 1609s| 32000 | 12838 | 1496k| 46.4 | 310M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5035 |-4.000000e+01 |-3.600000e+01 | 11.11%
1613.52/1613.80 c 1614s| 32100 | 12874 | 1500k| 46.4 | 311M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |5053 |-4.000000e+01 |-3.600000e+01 | 11.11%
1616.72/1617.09 c 1617s| 32200 | 12900 | 1503k| 46.3 | 311M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |5065 |-4.000000e+01 |-3.600000e+01 | 11.11%
1620.92/1621.28 c 1621s| 32300 | 12932 | 1507k| 46.3 | 312M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |5082 |-4.000000e+01 |-3.600000e+01 | 11.11%
1624.52/1624.87 c 1625s| 32400 | 12978 | 1511k| 46.3 | 313M| 60 | 113 | 760 | 41k| 760 | 41k| 264 | 0 |5096 |-4.000000e+01 |-3.600000e+01 | 11.11%
1627.91/1628.28 c 1628s| 32500 | 13008 | 1514k| 46.2 | 313M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5116 |-4.000000e+01 |-3.600000e+01 | 11.11%
1632.42/1632.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.42/1632.76 c 1633s| 32600 | 13052 | 1518k| 46.2 | 314M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5141 |-4.000000e+01 |-3.600000e+01 | 11.11%
1636.32/1636.60 c 1637s| 32700 | 13084 | 1522k| 46.2 | 315M| 60 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |5146 |-4.000000e+01 |-3.600000e+01 | 11.11%
1639.71/1640.05 c 1640s| 32800 | 13114 | 1525k| 46.2 | 315M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5156 |-4.000000e+01 |-3.600000e+01 | 11.11%
1643.12/1643.46 c 1643s| 32900 | 13146 | 1528k| 46.1 | 316M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |5169 |-4.000000e+01 |-3.600000e+01 | 11.11%
1646.91/1647.20 c 1647s| 33000 | 13190 | 1532k| 46.1 | 317M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |5181 |-4.000000e+01 |-3.600000e+01 | 11.11%
1651.71/1652.10 c 1652s| 33100 | 13232 | 1537k| 46.1 | 317M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |5190 |-4.000000e+01 |-3.600000e+01 | 11.11%
1654.71/1655.02 c 1655s| 33200 | 13256 | 1540k| 46.1 | 318M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |5198 |-4.000000e+01 |-3.600000e+01 | 11.11%
1658.52/1658.89 c 1659s| 33300 | 13290 | 1544k| 46.1 | 318M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5201 |-4.000000e+01 |-3.600000e+01 | 11.11%
1662.31/1662.61 c 1663s| 33400 | 13330 | 1548k| 46.0 | 319M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |5205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1665.50/1665.86 c 1666s| 33500 | 13358 | 1551k| 46.0 | 319M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |5206 |-4.000000e+01 |-3.600000e+01 | 11.11%
1668.21/1668.54 c 1669s| 33600 | 13386 | 1554k| 45.9 | 320M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |5208 |-4.000000e+01 |-3.600000e+01 | 11.11%
1670.90/1671.25 c 1671s| 33700 | 13414 | 1557k| 45.9 | 320M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1674.20/1674.54 c 1675s| 33800 | 13456 | 1561k| 45.9 | 321M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1677.60/1677.96 c 1678s| 33900 | 13496 | 1565k| 45.8 | 322M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1680.11/1680.45 c 1680s| 34000 | 13530 | 1568k| 45.8 | 323M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1682.50/1682.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.50/1682.84 c 1683s| 34100 | 13550 | 1571k| 45.8 | 323M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1686.40/1686.76 c 1687s| 34200 | 13576 | 1575k| 45.8 | 323M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1689.10/1689.48 c 1689s| 34300 | 13608 | 1579k| 45.7 | 324M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1691.91/1692.21 c 1692s| 34400 | 13638 | 1582k| 45.7 | 325M| 60 | 109 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1694.90/1695.22 c 1695s| 34500 | 13674 | 1586k| 45.7 | 325M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1697.70/1698.09 c 1698s| 34600 | 13712 | 1589k| 45.6 | 326M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1700.71/1701.08 c 1701s| 34700 | 13742 | 1592k| 45.6 | 326M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1703.60/1703.92 c 1704s| 34800 | 13778 | 1596k| 45.5 | 327M| 60 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1707.50/1707.80 c 1708s| 34900 | 13838 | 1600k| 45.6 | 328M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1710.40/1710.78 c 1711s| 35000 | 13876 | 1604k| 45.5 | 328M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1713.10/1713.44 c 1713s| 35100 | 13910 | 1607k| 45.5 | 329M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1715.30/1715.63 c 1716s| 35200 | 13936 | 1609k| 45.4 | 330M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1717.90/1718.24 c 1718s| 35300 | 13966 | 1612k| 45.4 | 330M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |5212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1720.60/1720.97 c 1721s| 35400 | 14008 | 1615k| 45.3 | 331M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1722.80/1723.13 c 1723s| 35500 | 14030 | 1617k| 45.3 | 331M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1725.70/1726.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.70/1726.04 c 1726s| 35600 | 14058 | 1621k| 45.2 | 332M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1728.80/1729.19 c 1729s| 35700 | 14098 | 1624k| 45.2 | 332M| 60 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1731.80/1732.17 c 1732s| 35800 | 14138 | 1628k| 45.2 | 333M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1735.90/1736.29 c 1736s| 35900 | 14186 | 1632k| 45.2 | 334M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5214 |-4.000000e+01 |-3.600000e+01 | 11.11%
1739.60/1739.92 c 1740s| 36000 | 14216 | 1635k| 45.1 | 334M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |5233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1742.39/1742.77 c 1743s| 36100 | 14260 | 1639k| 45.1 | 335M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |5233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1745.59/1745.92 c 1746s| 36200 | 14292 | 1641k| 45.0 | 336M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |5252 |-4.000000e+01 |-3.600000e+01 | 11.11%
1748.89/1749.29 c 1749s| 36300 | 14322 | 1645k| 45.0 | 336M| 60 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |5266 |-4.000000e+01 |-3.600000e+01 | 11.11%
1755.90/1756.22 c 1756s| 36400 | 14378 | 1651k| 45.1 | 338M| 60 | 92 | 760 | 41k| 760 | 41k| 264 | 0 |5291 |-4.000000e+01 |-3.600000e+01 | 11.11%
1762.79/1763.11 c 1763s| 36500 | 14422 | 1659k| 45.2 | 339M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5331 |-4.000000e+01 |-3.600000e+01 | 11.11%
1767.19/1767.57 c 1768s| 36600 | 14460 | 1663k| 45.1 | 339M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5349 |-4.000000e+01 |-3.600000e+01 | 11.11%
1770.19/1770.59 c 1771s| 36700 | 14498 | 1667k| 45.1 | 340M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5349 |-4.000000e+01 |-3.600000e+01 | 11.11%
1775.19/1775.57 c 1776s| 36800 | 14550 | 1672k| 45.1 | 341M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5378 |-4.000000e+01 |-3.600000e+01 | 11.11%
1777.39/1777.72 c 1778s| 36900 | 14570 | 1673k| 45.1 | 341M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5382 |-4.000000e+01 |-3.600000e+01 | 11.11%
1780.69/1781.07 c 1781s| 37000 | 14596 | 1677k| 45.0 | 342M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5398 |-4.000000e+01 |-3.600000e+01 | 11.11%
1784.19/1784.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1784.19/1784.51 c 1785s| 37100 | 14632 | 1680k| 45.0 | 342M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |5416 |-4.000000e+01 |-3.600000e+01 | 11.11%
1786.89/1787.24 o -37
1786.89/1787.24 c *1787s| 37167 | 9218 | 1683k| 45.0 | 262M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5432 |-4.000000e+01 |-3.700000e+01 | 8.11%
1787.68/1788.01 c 1788s| 37200 | 9229 | 1684k| 45.0 | 262M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5432 |-4.000000e+01 |-3.700000e+01 | 8.11%
1790.99/1791.30 c 1791s| 37300 | 9253 | 1687k| 45.0 | 263M| 60 | 94 | 760 | 41k| 760 | 41k| 264 | 0 |5443 |-4.000000e+01 |-3.700000e+01 | 8.11%
1794.99/1795.35 c 1795s| 37400 | 9267 | 1691k| 44.9 | 263M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5465 |-4.000000e+01 |-3.700000e+01 | 8.11%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 37463
1796.69/1797.01 c Primal Bound : -3.70000000000000e+01 (635 solutions)
1796.69/1797.01 c Dual Bound : -4.00000000000000e+01
1796.69/1797.01 c Gap : 8.11 %
1796.69/1797.01 s SATISFIABLE
1796.69/1797.01 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1796.69/1797.01 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53
1796.69/1797.01 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78
1796.69/1797.01 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.69/1797.01 v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.69/1797.01 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.69/1797.01 v x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.69/1797.01 v -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1796.69/1797.01 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208
1796.69/1797.01 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229
1796.69/1797.01 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250
1796.69/1797.01 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271
1796.69/1797.01 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292
1796.69/1797.01 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313
1796.69/1797.01 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.69/1797.01 v -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355
1796.69/1797.01 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.69/1797.01 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397
1796.69/1797.01 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418
1796.69/1797.01 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.69/1797.01 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460
1796.69/1797.01 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1796.69/1797.01 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502
1796.69/1797.01 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523
1796.69/1797.01 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1796.69/1797.01 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1796.69/1797.01 v -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.69/1797.01 v x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607
1796.69/1797.01 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1796.69/1797.01 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
1796.69/1797.01 v -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1796.69/1797.01 v -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
1796.69/1797.01 v -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1796.69/1797.01 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
1796.69/1797.01 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
1796.69/1797.01 v -x755 -x756 -x757 x758 -x759 -x760
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.54 (included in solving)
1796.69/1797.01 c reading : 0.09 (included in solving)
1796.69/1797.01 c copying : 1.31 (19 #copies) (minimal 0.07, maximal 0.07, average 0.07)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3690936-1338018775.opb
1796.69/1797.01 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 41605 initial, 41605 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3690936-1338018775.opb
1796.69/1797.01 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 41605 initial, 41605 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.15 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.23 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 27479 0 639 0 42 504 0 0 54342
1796.69/1797.01 c setppc : 41605 41605 25 93502 1 0 634 0 0 637751 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 1 0 637 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 259.35 0.00 0.00 0.00 259.33 0.00 0.02 0.00
1796.69/1797.01 c setppc : 16.08 0.00 0.08 15.16 0.00 0.00 0.84 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 7 0 0 0
1796.69/1797.01 c pseudoobj : 120930 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 27569 0 0 70
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.08 0.00 0.00 0.08 0.00
1796.69/1797.01 c pseudoobj : 13.37 0.01 0.00 13.36 0.00
1796.69/1797.01 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.01 c redcost : 0.44 0.00 0.00 0.44 0.00
1796.69/1797.01 c probing : 0.15 0.00 0.15 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 0 0.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.00 24 - - 49 - (maximal pool size: 588)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.02 0.00 25 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.15 0.00 10 0 0 500 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 2.62 0.00 20 0 0 10000 0
1796.69/1797.01 c cmir : 3.16 0.00 10 0 0 0 0
1796.69/1797.01 c flowcover : 3.32 0.00 10 0 0 0 0
1796.69/1797.01 c clique : 0.49 0.00 25 0 0 223 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.02 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 259.26 0.00 27478 42 504 0 0 54342
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.03 - - 1
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c oneopt : 0.08 0.00 8 1
1796.69/1797.01 c crossover : 4.54 0.00 18 4
1796.69/1797.01 c fracdiving : 74.45 0.00 197 5
1796.69/1797.01 c objpscostdiving : 32.43 0.00 99 126
1796.69/1797.01 c rootsoldiving : 21.79 0.00 99 76
1796.69/1797.01 c linesearchdiving : 29.54 0.00 198 11
1796.69/1797.01 c veclendiving : 78.77 0.00 198 9
1796.69/1797.01 c coefdiving : 51.37 0.00 198 13
1796.69/1797.01 c pscostdiving : 27.40 0.00 198 10
1796.69/1797.01 c guideddiving : 75.31 0.00 198 5
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.01 0.00 2 1
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 0.58 0.00 27503 99
1796.69/1797.01 c zirounding : 40.18 0.00 13551 271
1796.69/1797.01 c rounding : 17.67 0.00 7494 1
1796.69/1797.01 c shifting : 4.73 0.00 1890 1
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.04 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 1.56 0.00 1 1
1796.69/1797.02 c rins : 0.00 0.00 0 0
1796.69/1797.02 c localbranching : 0.00 0.00 0 0
1796.69/1797.02 c mutation : 0.00 0.00 0 0
1796.69/1797.02 c dins : 0.00 0.00 0 0
1796.69/1797.02 c vbounds : 0.00 0.00 0 0
1796.69/1797.02 c undercover : 0.00 0.00 0 0
1796.69/1797.02 c subnlp : 0.02 0.00 0 0
1796.69/1797.02 c trysol : 0.03 0.00 0 0
1796.69/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.02 c primal LP : 0.03 3 0 0.00 0.00 0.03 3
1796.69/1797.02 c dual LP : 865.11 38017 1364318 36.14 1577.05 1.99 264
1796.69/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.02 c diving/probing LP: 308.60 23080 329035 14.26 1066.23
1796.69/1797.02 c strong branching : 256.36 5465 318389 58.26 1241.95
1796.69/1797.02 c (at root node) : - 33 3247 98.39 -
1796.69/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.02 c B&B Tree :
1796.69/1797.02 c number of runs : 1
1796.69/1797.02 c nodes : 37463
1796.69/1797.02 c nodes (total) : 37463
1796.69/1797.02 c nodes left : 9288
1796.69/1797.02 c max depth : 60
1796.69/1797.02 c max depth (total): 60
1796.69/1797.02 c backtracks : 4908 (13.1%)
1796.69/1797.02 c delayed cutoffs : 0
1796.69/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.02 c avg switch length: 5.27
1796.69/1797.02 c switching time : 38.37
1796.69/1797.02 c Solution :
1796.69/1797.02 c Solutions found : 635 (10 improvements)
1796.69/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1796.69/1797.02 c Primal Bound : -3.70000000000000e+01 (in run 1, after 37167 nodes, 1787.21 seconds, depth 24, found by <relaxation>)
1796.69/1797.02 c Dual Bound : -4.00000000000000e+01
1796.69/1797.02 c Gap : 8.11 %
1796.69/1797.02 c Root Dual Bound : -4.00000000000000e+01
1796.69/1797.02 c Root Iterations : 11177
1796.89/1797.24 c Time complete: 1796.93.
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-3690936-1338018775/watcher-3690936-1338018775 -o /tmp/evaluation-result-3690936-1338018775/solver-3690936-1338018775 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690936-1338018775.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.91 1.97 1.69 3/176 849 /proc/meminfo: memFree=28700632/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=9160 CPUtime=0 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 1109 0 0 0 0 0 0 0 20 0 1 0 268003148 9379840 1064 33554432000 4194304 10173063 140734433880672 140737445663496 8846909 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 2290 1073 392 1460 0 821 0 [startup+0.0578761 s] /proc/loadavg: 1.91 1.97 1.69 3/176 849 /proc/meminfo: memFree=28700632/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=18580 CPUtime=0.05 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 3413 0 0 0 5 0 0 0 20 0 1 0 268003148 19025920 3368 33554432000 4194304 10173063 140734433880672 140734433745208 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 4645 3368 416 1460 0 3176 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18580 [startup+0.100357 s] /proc/loadavg: 1.91 1.97 1.69 3/176 849 /proc/meminfo: memFree=28700632/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=30556 CPUtime=0.09 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 6356 0 0 0 9 0 0 0 20 0 1 0 268003148 31289344 6311 33554432000 4194304 10173063 140734433880672 140734433745208 4901632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 7639 6312 468 1460 0 6170 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30556 [startup+0.300267 s] /proc/loadavg: 1.91 1.97 1.69 3/176 849 /proc/meminfo: memFree=28700632/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=70644 CPUtime=0.28 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 16117 0 0 0 25 3 0 0 20 0 1 0 268003148 72339456 16062 33554432000 4194304 10173063 140734433880672 140734433877672 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 17661 16062 552 1460 0 16192 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 70644 [startup+0.700279 s] /proc/loadavg: 1.91 1.97 1.69 3/176 849 /proc/meminfo: memFree=28700632/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=98112 CPUtime=0.68 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 24048 0 0 0 62 6 0 0 20 0 1 0 268003148 100466688 23021 33554432000 4194304 10173063 140734433880672 140734433877672 5700071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 24528 23022 648 1460 0 23059 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 98112 [startup+1.50026 s] /proc/loadavg: 1.91 1.97 1.69 3/177 850 /proc/meminfo: memFree=28570100/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=148716 CPUtime=1.49 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 33815 0 0 0 140 9 0 0 20 0 1 0 268003148 152285184 34778 33554432000 4194304 10173063 140734433880672 140734433875624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 37179 34778 763 1460 0 35710 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 148716 [startup+3.10029 s] /proc/loadavg: 1.91 1.97 1.69 3/177 850 /proc/meminfo: memFree=28562720/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=148716 CPUtime=3.08 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 34480 0 0 0 299 9 0 0 20 0 1 0 268003148 152285184 35267 33554432000 4194304 10173063 140734433880672 140734433876056 5099052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 37179 35267 778 1460 0 35710 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 148716 [startup+6.30028 s] /proc/loadavg: 1.92 1.97 1.69 3/177 850 /proc/meminfo: memFree=28560976/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=148716 CPUtime=6.29 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 34735 0 0 0 619 10 0 0 20 0 1 0 268003148 152285184 35522 33554432000 4194304 10173063 140734433880672 140734433876056 7283395 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 37179 35522 780 1460 0 35710 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 148716 [startup+12.7003 s] /proc/loadavg: 1.92 1.97 1.69 3/177 850 /proc/meminfo: memFree=28558816/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=148716 CPUtime=12.69 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 34740 0 0 0 1258 11 0 0 20 0 1 0 268003148 152285184 35527 33554432000 4194304 10173063 140734433880672 140734433873928 8012403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 37179 35527 781 1460 0 35710 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 148716 [startup+25.5003 s] /proc/loadavg: 1.94 1.97 1.70 3/177 850 /proc/meminfo: memFree=28560488/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=144992 CPUtime=25.49 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 44726 0 0 0 2529 20 0 0 20 0 1 0 268003148 148471808 35151 33554432000 4194304 10173063 140734433880672 140734433874504 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 36248 35151 847 1460 0 34779 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 144992 [startup+51.1003 s] /proc/loadavg: 1.96 1.97 1.70 3/177 850 /proc/meminfo: memFree=28560512/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=144992 CPUtime=51.07 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 44735 0 0 0 5082 25 0 0 20 0 1 0 268003148 148471808 35183 33554432000 4194304 10173063 140734433880672 140734433874504 8032952 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 36248 35183 848 1460 0 34779 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 144992 [startup+102.307 s] /proc/loadavg: 1.98 1.97 1.72 3/177 850 /proc/meminfo: memFree=28559548/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=146296 CPUtime=102.26 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 44743 0 0 0 10192 34 0 0 20 0 1 0 268003148 149807104 35471 33554432000 4194304 10173063 140734433880672 140734433874504 8046928 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 36574 35471 848 1460 0 35105 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 146296 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.73 3/177 850 /proc/meminfo: memFree=28547768/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=160336 CPUtime=162.25 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 71981 0 0 0 16168 57 0 0 20 0 1 0 268003148 164184064 38368 33554432000 4194304 10173063 140734433880672 140734433873928 8007738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 40084 38368 849 1460 0 38615 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 160336 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.75 3/177 851 /proc/meminfo: memFree=28529272/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=172068 CPUtime=222.24 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 87218 0 0 0 22148 76 0 0 20 0 1 0 268003148 176197632 41799 33554432000 4194304 10173063 140734433880672 140734433873608 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 43017 41799 850 1460 0 41548 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 172068 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.76 3/177 851 /proc/meminfo: memFree=28509732/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=186680 CPUtime=282.23 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 101272 0 0 0 28130 93 0 0 20 0 1 0 268003148 191160320 45580 33554432000 4194304 10173063 140734433880672 140734433876040 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 46670 45580 850 1460 0 45201 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 186680 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.77 3/177 851 /proc/meminfo: memFree=28494220/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=200212 CPUtime=342.22 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 104277 0 0 0 34115 107 0 0 20 0 1 0 268003148 205017088 48583 33554432000 4194304 10173063 140734433880672 140734433876712 8039628 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 50053 48583 850 1460 0 48584 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 200212 [startup+402.3 s] /proc/loadavg: 1.99 1.97 1.78 3/177 851 /proc/meminfo: memFree=28479260/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=211552 CPUtime=402.21 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 119028 0 0 0 40095 126 0 0 20 0 1 0 268003148 216629248 51215 33554432000 4194304 10173063 140734433880672 140734433874312 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 52888 51215 850 1460 0 51419 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 211552 [startup+462.3 s] /proc/loadavg: 1.99 1.97 1.79 3/178 854 /proc/meminfo: memFree=28462072/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=227360 CPUtime=462.2 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 134097 0 0 0 46073 147 0 0 20 0 1 0 268003148 232816640 55150 33554432000 4194304 10173063 140734433880672 140734433874504 7911672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 56840 55150 850 1460 0 55371 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 227360 [startup+522.3 s] /proc/loadavg: 1.99 1.97 1.80 3/178 878 /proc/meminfo: memFree=28453008/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=234980 CPUtime=522.19 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 136236 0 0 0 52057 162 0 0 20 0 1 0 268003148 240619520 57298 33554432000 4194304 10173063 140734433880672 140734433873912 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 58745 57298 850 1460 0 57276 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 234980 [startup+582.3 s] /proc/loadavg: 1.99 1.97 1.82 3/177 878 /proc/meminfo: memFree=28440220/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=244596 CPUtime=582.18 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 149558 0 0 0 58038 180 0 0 20 0 1 0 268003148 250466304 59470 33554432000 4194304 10173063 140734433880672 140734433874008 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 61149 59470 850 1460 0 59680 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 244596 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28324924/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=326772 CPUtime=1122.1 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 270316 0 0 0 111869 341 0 0 20 0 1 0 268003148 334614528 80313 33554432000 4194304 10173063 140734433880672 140734433873256 7911721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 81693 80313 852 1460 0 80224 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 326772 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 1.89 3/177 883 /proc/meminfo: memFree=28313640/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=336124 CPUtime=1182.08 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 272616 0 0 0 117852 356 0 0 20 0 1 0 268003148 344190976 82611 33554432000 4194304 10173063 140734433880672 140734433876040 8046674 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 84031 82611 852 1460 0 82562 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 336124 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 883 /proc/meminfo: memFree=28300116/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=345476 CPUtime=1242.07 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 274877 0 0 0 123835 372 0 0 20 0 1 0 268003148 353767424 84870 33554432000 4194304 10173063 140734433880672 140734433874296 7910496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 86369 84870 852 1460 0 84900 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 345476 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 883 /proc/meminfo: memFree=28283396/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=359432 CPUtime=1302.07 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 277707 0 0 0 129821 386 0 0 20 0 1 0 268003148 368058368 88217 33554432000 4194304 10173063 140734433880672 140734433874312 5122959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 89858 88217 852 1460 0 88389 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 359432 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 883 /proc/meminfo: memFree=28270484/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=367096 CPUtime=1362.06 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 292215 0 0 0 135801 405 0 0 20 0 1 0 268003148 375906304 90384 33554432000 4194304 10173063 140734433880672 140734433874344 7910525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 91774 90384 852 1460 0 90305 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 367096 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 1.91 3/177 884 /proc/meminfo: memFree=28252752/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=382416 CPUtime=1422.06 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 295834 0 0 0 141782 424 0 0 20 0 1 0 268003148 391593984 93973 33554432000 4194304 10173063 140734433880672 140734433873528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 95604 93973 852 1460 0 94135 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 382416 [startup+1482.3 s] /proc/loadavg: 2.05 2.02 1.92 3/177 884 /proc/meminfo: memFree=28239732/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=392392 CPUtime=1482.04 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 298456 0 0 0 147766 438 0 0 20 0 1 0 268003148 401809408 96586 33554432000 4194304 10173063 140734433880672 140734433873848 7911892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 98098 96586 852 1460 0 96629 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 392392 [startup+1542.3 s] /proc/loadavg: 2.02 2.02 1.92 3/177 884 /proc/meminfo: memFree=28225348/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=403940 CPUtime=1542.03 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 301398 0 0 0 153752 451 0 0 20 0 1 0 268003148 413634560 99479 33554432000 4194304 10173063 140734433880672 140734433874120 7911721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 100985 99479 852 1460 0 99516 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 403940 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.92 3/177 884 /proc/meminfo: memFree=28212272/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=411896 CPUtime=1602.01 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 303437 0 0 0 159735 466 0 0 20 0 1 0 268003148 421781504 101613 33554432000 4194304 10173063 140734433880672 140734433874312 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 102974 101613 852 1460 0 101505 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 411896 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.92 3/178 887 /proc/meminfo: memFree=28203088/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=421048 CPUtime=1662 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 317476 0 0 0 165715 485 0 0 20 0 1 0 268003148 431153152 103368 33554432000 4194304 10173063 140734433880672 140734433874312 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 105262 103368 853 1460 0 103793 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 421048 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 888 /proc/meminfo: memFree=28185472/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=433628 CPUtime=1722 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 320931 0 0 0 171700 500 0 0 20 0 1 0 268003148 444035072 106820 33554432000 4194304 10173063 140734433880672 140734433876040 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 108407 106820 853 1460 0 106938 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 433628 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 964 /proc/meminfo: memFree=28199260/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=443784 CPUtime=1781.99 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 323507 0 0 0 177681 518 0 0 20 0 1 0 268003148 454434816 109396 33554432000 4194304 10173063 140734433880672 140734433874392 8058183 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 110946 109396 853 1460 0 109477 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 443784 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.08 2.02 1.93 3/177 964 /proc/meminfo: memFree=28196680/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=445168 CPUtime=1785.19 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 323748 0 0 0 178000 519 0 0 20 0 1 0 268003148 455852032 109637 33554432000 4194304 10173063 140734433880672 140734433873928 7911721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 111292 109637 853 1460 0 109823 0 Current children cumulated CPU time (s) 1785.19 Current children cumulated vsize (KiB) 445168 [startup+1791.91 s] /proc/loadavg: 2.07 2.02 1.93 3/177 964 /proc/meminfo: memFree=28196564/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=445168 CPUtime=1791.6 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 323856 0 0 0 178639 521 0 0 20 0 1 0 268003148 455852032 109745 33554432000 4194304 10173063 140734433880672 140734433874344 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 111292 109745 854 1460 0 109823 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 445168 [startup+1795.1 s] /proc/loadavg: 2.07 2.02 1.93 3/177 964 /proc/meminfo: memFree=28198432/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=445168 CPUtime=1794.79 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 335331 0 0 0 178954 525 0 0 20 0 1 0 268003148 455852032 109242 33554432000 4194304 10173063 140734433880672 140734433873544 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 111292 109242 854 1460 0 109823 0 Current children cumulated CPU time (s) 1794.79 Current children cumulated vsize (KiB) 445168 [startup+1795.9 s] /proc/loadavg: 2.07 2.02 1.93 3/177 964 /proc/meminfo: memFree=28198432/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=445168 CPUtime=1795.59 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 335386 0 0 0 179034 525 0 0 20 0 1 0 268003148 455852032 109297 33554432000 4194304 10173063 140734433880672 140734433873928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 111292 109297 854 1460 0 109823 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 445168 [startup+1796.7 s] /proc/loadavg: 2.07 2.02 1.93 3/177 964 /proc/meminfo: memFree=28198432/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=445168 CPUtime=1796.38 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 335426 0 0 0 179113 525 0 0 20 0 1 0 268003148 455852032 109337 33554432000 4194304 10173063 140734433880672 140734433874312 5134464 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 111292 109337 854 1460 0 109823 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 445168 [startup+1797.1 s] /proc/loadavg: 2.07 2.02 1.93 3/177 964 /proc/meminfo: memFree=28198432/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=445168 CPUtime=1796.79 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 335431 0 0 0 179153 526 0 0 20 0 1 0 268003148 455852032 109342 33554432000 4194304 10173063 140734433880672 140734433874312 4928759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 111292 109342 856 1460 0 109823 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 445168 [startup+1797.2 s] /proc/loadavg: 2.07 2.02 1.93 3/177 964 /proc/meminfo: memFree=28198432/32873844 swapFree=7104/7104 [pid=849] ppid=847 vsize=438068 CPUtime=1796.89 cores=1,3,5,7 /proc/849/stat : 849 (scip-2.1.1.4fix) R 847 849 521 0 -1 4202496 335431 0 0 0 179163 526 0 0 20 0 1 0 268003148 448581632 107567 33554432000 4194304 10173063 140734433880672 140734433874312 5551248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/849/statm: 109517 107567 856 1460 0 108048 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 438068 Child status: 0 Real time (s): 1797.25 CPU time (s): 1796.95 CPU user time (s): 1791.68 CPU system time (s): 5.2682 CPU usage (%): 99.9831 Max. virtual memory (cumulated for all children) (KiB): 487672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.68 system time used= 5.2682 maximum resident set size= 484464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 335433 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= 43 involuntary context switches= 1846 runsolver used 7.99078 second user time and 17.7883 second system time The end
Begin job on node119 at 2012-05-26 09:52:55 IDJOB=3690936 IDBENCH=2244 IDSOLVER=2270 FILE ID=node119/3690936-1338018775 RUNJOBID= node119-1338016937-538 PBS_JOBID= 14624352 Free space on /tmp= 71560 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690936-1338018775/watcher-3690936-1338018775 -o /tmp/evaluation-result-3690936-1338018775/solver-3690936-1338018775 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690936-1338018775.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d RANDOM SEED=554310500 node119.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.943 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.88 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.943 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.943 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.93 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.943 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.943 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.93 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 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.90 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.943 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: 28701020 kB Buffers: 225964 kB Cached: 3110140 kB SwapCached: 0 kB Active: 561364 kB Inactive: 2842368 kB Active(anon): 70628 kB Inactive(anon): 0 kB Active(file): 490736 kB Inactive(file): 2842368 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 28112 kB Writeback: 0 kB AnonPages: 58688 kB Mapped: 16728 kB Shmem: 200 kB Slab: 631764 kB SReclaimable: 74108 kB SUnreclaim: 557656 kB KernelStack: 1480 kB PageTables: 4316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 181708 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 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= 71548 MiB End job on node119 at 2012-05-26 10:22:52