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-3693268-1338031504.opb>
0.04/0.08 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41605 constraints
0.04/0.08 c problem read in 0.09
0.09/0.18 o 0
0.09/0.18 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.18 c presolving:
0.38/0.41 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.49/0.57 c (0.6s) probing: 51/760 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.49/0.58 c presolving (2 rounds):
0.49/0.58 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 83210 implications, 0 cliques
0.49/0.58 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41605 constraints
0.49/0.58 c 41605 constraints of type <setppc>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.47
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 2.1.1.4
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1797
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 13950
0.49/0.58 c
0.49/0.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.58 c # [type: int, range: [1,2], default: 1]
0.49/0.58 c timing/clocktype = 2
0.49/0.58 c
0.49/0.58 c # belongs reading time to solving time?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c timing/reading = TRUE
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.59/0.60 c
1.00/1.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.02 c t 1.0s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | Inf
1.00/1.04 o -1
1.00/1.04 c R 1.0s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | Large
1.00/1.07 o -2
1.00/1.07 c s 1.1s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | Large
1.59/1.69 c 1.7s| 1 | 0 | 1021 | - | 50M| 0 | 708 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.540000e+02 |-2.000000e+00 | Large
1.69/1.70 o -30
1.69/1.70 c b 1.7s| 1 | 0 | 1021 | - | 50M| 0 | 708 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.540000e+02 |-3.000000e+01 |1080.00%
2.39/2.44 c 2.4s| 1 | 0 | 1149 | - | 50M| 0 | 673 | 760 | 41k| 760 | 41k| 12 | 0 | 0 |-3.365000e+02 |-3.000000e+01 |1021.67%
3.38/3.40 c 3.4s| 1 | 0 | 1229 | - | 50M| 0 | 637 | 760 | 41k| 760 | 41k| 18 | 0 | 0 |-3.185000e+02 |-3.000000e+01 | 961.67%
4.39/4.44 c 4.4s| 1 | 0 | 1436 | - | 50M| 0 | 595 | 760 | 41k| 760 | 41k| 35 | 0 | 0 |-2.975000e+02 |-3.000000e+01 | 891.67%
5.49/5.55 c 5.5s| 1 | 0 | 1608 | - | 50M| 0 | 559 | 760 | 41k| 760 | 41k| 41 | 0 | 0 |-2.795000e+02 |-3.000000e+01 | 831.67%
6.50/6.56 c 6.6s| 1 | 0 | 1752 | - | 50M| 0 | 523 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-2.615000e+02 |-3.000000e+01 | 771.67%
7.69/7.74 c 7.7s| 1 | 0 | 2088 | - | 50M| 0 | 495 | 760 | 41k| 760 | 41k| 72 | 0 | 0 |-2.475000e+02 |-3.000000e+01 | 725.00%
8.99/9.04 c 9.0s| 1 | 0 | 2552 | - | 50M| 0 | 450 | 760 | 41k| 760 | 41k| 89 | 0 | 0 |-2.250000e+02 |-3.000000e+01 | 650.00%
10.19/10.24 c 10.2s| 1 | 0 | 2937 | - | 50M| 0 | 411 | 760 | 41k| 760 | 41k| 106 | 0 | 0 |-2.055000e+02 |-3.000000e+01 | 585.00%
11.68/11.73 c 11.7s| 1 | 0 | 4036 | - | 50M| 0 | 374 | 760 | 41k| 760 | 41k| 122 | 0 | 0 |-1.870000e+02 |-3.000000e+01 | 523.33%
11.99/12.04 c 12.0s| 1 | 0 | 4234 | - | 50M| 0 | 355 | 760 | 41k| 760 | 41k| 135 | 0 | 0 |-1.775000e+02 |-3.000000e+01 | 491.67%
13.20/13.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.20/13.22 c 13.2s| 1 | 0 | 5911 | - | 50M| 0 | 308 | 760 | 41k| 760 | 41k| 148 | 0 | 0 |-1.540000e+02 |-3.000000e+01 | 413.33%
13.89/13.97 c 14.0s| 1 | 0 | 7019 | - | 50M| 0 | 265 | 760 | 41k| 760 | 41k| 155 | 0 | 0 |-1.325000e+02 |-3.000000e+01 | 341.67%
14.30/14.33 c 14.3s| 1 | 0 | 7329 | - | 50M| 0 | 233 | 760 | 41k| 760 | 41k| 167 | 0 | 0 |-1.165000e+02 |-3.000000e+01 | 288.33%
14.99/15.03 c 15.0s| 1 | 0 | 8292 | - | 50M| 0 | 186 | 760 | 41k| 760 | 41k| 182 | 0 | 0 |-9.300000e+01 |-3.000000e+01 | 210.00%
15.48/15.53 c 15.5s| 1 | 0 | 9140 | - | 50M| 0 | 157 | 760 | 41k| 760 | 41k| 192 | 0 | 0 |-7.850000e+01 |-3.000000e+01 | 161.67%
15.98/16.00 c 16.0s| 1 | 0 | 9883 | - | 50M| 0 | 133 | 760 | 41k| 760 | 41k| 200 | 0 | 0 |-6.650000e+01 |-3.000000e+01 | 121.67%
16.29/16.35 c 16.3s| 1 | 0 | 10322 | - | 50M| 0 | 110 | 760 | 41k| 760 | 41k| 206 | 0 | 0 |-5.500000e+01 |-3.000000e+01 | 83.33%
16.49/16.56 c 16.6s| 1 | 0 | 10465 | - | 50M| 0 | 110 | 760 | 41k| 760 | 41k| 213 | 0 | 0 |-4.850000e+01 |-3.000000e+01 | 61.67%
16.89/16.91 c 16.9s| 1 | 0 | 10929 | - | 50M| 0 | 126 | 760 | 41k| 760 | 41k| 224 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
16.89/16.97 c 17.0s| 1 | 0 | 10984 | - | 50M| 0 | 125 | 760 | 41k| 760 | 41k| 233 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
16.99/17.05 c 17.1s| 1 | 0 | 11065 | - | 50M| 0 | 140 | 760 | 41k| 760 | 41k| 245 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.09/17.12 c 17.1s| 1 | 0 | 11101 | - | 50M| 0 | 133 | 760 | 41k| 760 | 41k| 249 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.09/17.16 c 17.2s| 1 | 0 | 11135 | - | 50M| 0 | 138 | 760 | 41k| 760 | 41k| 257 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.19/17.22 c 17.2s| 1 | 0 | 11177 | - | 50M| 0 | 143 | 760 | 41k| 760 | 41k| 264 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
21.79/21.88 c 21.9s| 1 | 2 | 11177 | - | 50M| 0 | 143 | 760 | 41k| 760 | 41k| 264 | 0 | 33 |-4.000000e+01 |-3.000000e+01 | 33.33%
110.86/110.90 o -32
110.86/110.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.86/110.90 c S 111s| 86 | 83 | 17308 | 72.1 | 55M| 22 | 0 | 760 | 41k| 760 | 41k| 264 | 0 |1478 |-4.000000e+01 |-3.200000e+01 | 25.00%
113.47/113.57 c 114s| 100 | 90 | 17686 | 65.7 | 55M| 22 | 107 | 760 | 41k| 760 | 41k| 264 | 0 |1518 |-4.000000e+01 |-3.200000e+01 | 25.00%
120.97/121.01 c 121s| 200 | 188 | 23445 | 61.6 | 58M| 24 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |1552 |-4.000000e+01 |-3.200000e+01 | 25.00%
126.76/126.87 c 127s| 300 | 270 | 28237 | 57.1 | 59M| 32 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |1583 |-4.000000e+01 |-3.200000e+01 | 25.00%
131.76/131.84 c 132s| 400 | 338 | 32136 | 52.5 | 61M| 32 | 50 | 760 | 41k| 760 | 41k| 264 | 0 |1619 |-4.000000e+01 |-3.200000e+01 | 25.00%
137.16/137.22 c 137s| 500 | 420 | 36330 | 50.4 | 62M| 35 | 45 | 760 | 41k| 760 | 41k| 264 | 0 |1652 |-4.000000e+01 |-3.200000e+01 | 25.00%
141.56/141.66 c 142s| 600 | 482 | 39690 | 47.6 | 63M| 43 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |1677 |-4.000000e+01 |-3.200000e+01 | 25.00%
145.66/145.74 c 146s| 700 | 538 | 42869 | 45.3 | 64M| 47 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |1697 |-4.000000e+01 |-3.200000e+01 | 25.00%
149.66/149.75 c 150s| 800 | 580 | 45814 | 43.4 | 65M| 52 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |1725 |-4.000000e+01 |-3.200000e+01 | 25.00%
153.46/153.54 c 154s| 900 | 624 | 48664 | 41.7 | 66M| 52 | - | 760 | 41k| 760 | 41k| 264 | 0 |1750 |-4.000000e+01 |-3.200000e+01 | 25.00%
158.05/158.13 c 158s| 1000 | 680 | 51784 | 40.6 | 67M| 55 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |1778 |-4.000000e+01 |-3.200000e+01 | 25.00%
161.96/162.02 c 162s| 1100 | 738 | 55567 | 40.4 | 68M| 55 | 47 | 760 | 41k| 760 | 41k| 264 | 0 |1794 |-4.000000e+01 |-3.200000e+01 | 25.00%
166.65/166.78 c 167s| 1200 | 798 | 58953 | 39.8 | 69M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1829 |-4.000000e+01 |-3.200000e+01 | 25.00%
170.05/170.19 c 170s| 1300 | 858 | 62043 | 39.2 | 70M| 55 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |1837 |-4.000000e+01 |-3.200000e+01 | 25.00%
173.46/173.57 c 174s| 1400 | 912 | 65810 | 39.1 | 71M| 55 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |1845 |-4.000000e+01 |-3.200000e+01 | 25.00%
177.55/177.69 o -33
177.55/177.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.55/177.69 c p 178s| 1489 | 836 | 70935 | 40.2 | 71M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1847 |-4.000000e+01 |-3.300000e+01 | 21.21%
178.25/178.35 c 178s| 1500 | 847 | 71742 | 40.4 | 71M| 55 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |1847 |-4.000000e+01 |-3.300000e+01 | 21.21%
187.35/187.42 c 187s| 1600 | 947 | 81507 | 44.0 | 73M| 55 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |1854 |-4.000000e+01 |-3.300000e+01 | 21.21%
196.25/196.35 c 196s| 1700 | 1045 | 88501 | 45.5 | 75M| 55 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |1890 |-4.000000e+01 |-3.300000e+01 | 21.21%
200.06/200.14 o -34
200.06/200.14 c l 200s| 1744 | 973 | 91608 | 46.1 | 74M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1899 |-4.000000e+01 |-3.400000e+01 | 17.65%
206.95/207.04 c 207s| 1800 | 1029 | 97993 | 48.3 | 75M| 55 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |1924 |-4.000000e+01 |-3.400000e+01 | 17.65%
216.95/217.08 c 217s| 1900 | 1125 |107194 | 50.6 | 77M| 55 | 112 | 760 | 41k| 760 | 41k| 264 | 0 |1940 |-4.000000e+01 |-3.400000e+01 | 17.65%
229.55/229.61 c 230s| 2000 | 1219 |118607 | 53.7 | 79M| 55 | 104 | 760 | 41k| 760 | 41k| 264 | 0 |1981 |-4.000000e+01 |-3.400000e+01 | 17.65%
237.25/237.31 c 237s| 2100 | 1307 |125917 | 54.7 | 81M| 55 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |2016 |-4.000000e+01 |-3.400000e+01 | 17.65%
244.54/244.68 c 245s| 2200 | 1401 |133239 | 55.5 | 83M| 56 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |2032 |-4.000000e+01 |-3.400000e+01 | 17.65%
256.04/256.13 c 256s| 2300 | 1493 |143309 | 57.5 | 85M| 56 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |2052 |-4.000000e+01 |-3.400000e+01 | 17.65%
265.84/265.90 c 266s| 2400 | 1591 |152829 | 59.0 | 87M| 56 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2061 |-4.000000e+01 |-3.400000e+01 | 17.65%
275.04/275.13 c 275s| 2500 | 1691 |162092 | 60.4 | 88M| 56 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |2082 |-4.000000e+01 |-3.400000e+01 | 17.65%
283.44/283.56 c 284s| 2600 | 1787 |170275 | 61.2 | 90M| 56 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |2085 |-4.000000e+01 |-3.400000e+01 | 17.65%
292.34/292.46 c 292s| 2700 | 1877 |178152 | 61.9 | 92M| 56 | 96 | 760 | 41k| 760 | 41k| 264 | 0 |2121 |-4.000000e+01 |-3.400000e+01 | 17.65%
304.93/305.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.93/305.02 c 305s| 2800 | 1971 |188517 | 63.4 | 94M| 56 | 50 | 760 | 41k| 760 | 41k| 264 | 0 |2174 |-4.000000e+01 |-3.400000e+01 | 17.65%
315.64/315.71 c 316s| 2900 | 2063 |198918 | 64.8 | 96M| 56 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2215 |-4.000000e+01 |-3.400000e+01 | 17.65%
326.23/326.30 c 326s| 3000 | 2159 |208974 | 66.0 | 97M| 56 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |2254 |-4.000000e+01 |-3.400000e+01 | 17.65%
337.23/337.37 c 337s| 3100 | 2257 |218408 | 66.9 | 100M| 57 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |2299 |-4.000000e+01 |-3.400000e+01 | 17.65%
346.73/346.85 c 347s| 3200 | 2339 |226423 | 67.3 | 102M| 57 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |2344 |-4.000000e+01 |-3.400000e+01 | 17.65%
357.92/358.00 c 358s| 3300 | 2423 |237143 | 68.5 | 103M| 57 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |2382 |-4.000000e+01 |-3.400000e+01 | 17.65%
368.72/368.80 c 369s| 3400 | 2519 |246794 | 69.3 | 105M| 57 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |2407 |-4.000000e+01 |-3.400000e+01 | 17.65%
376.82/376.90 c 377s| 3500 | 2609 |254465 | 69.5 | 107M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2420 |-4.000000e+01 |-3.400000e+01 | 17.65%
384.02/384.11 c 384s| 3600 | 2695 |262090 | 69.7 | 109M| 57 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |2427 |-4.000000e+01 |-3.400000e+01 | 17.65%
392.42/392.58 c 393s| 3700 | 2783 |271546 | 70.4 | 110M| 57 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |2432 |-4.000000e+01 |-3.400000e+01 | 17.65%
400.41/400.52 c 401s| 3800 | 2873 |279911 | 70.7 | 112M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2440 |-4.000000e+01 |-3.400000e+01 | 17.65%
407.21/407.38 c 407s| 3900 | 2961 |287726 | 70.9 | 114M| 57 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |2446 |-4.000000e+01 |-3.400000e+01 | 17.65%
414.41/414.57 c 415s| 4000 | 3045 |295471 | 71.1 | 116M| 57 | 97 | 760 | 41k| 760 | 41k| 264 | 0 |2449 |-4.000000e+01 |-3.400000e+01 | 17.65%
422.71/422.86 c 423s| 4100 | 3133 |304625 | 71.6 | 117M| 57 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |2450 |-4.000000e+01 |-3.400000e+01 | 17.65%
431.31/431.40 c 431s| 4200 | 3223 |313469 | 72.0 | 119M| 57 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |2452 |-4.000000e+01 |-3.400000e+01 | 17.65%
440.01/440.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.01/440.12 c 440s| 4300 | 3309 |323287 | 72.6 | 121M| 57 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |2464 |-4.000000e+01 |-3.400000e+01 | 17.65%
449.41/449.52 c 450s| 4400 | 3401 |331411 | 72.8 | 122M| 57 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |2509 |-4.000000e+01 |-3.400000e+01 | 17.65%
459.90/460.01 c 460s| 4500 | 3491 |339868 | 73.1 | 124M| 57 | 119 | 760 | 41k| 760 | 41k| 264 | 0 |2562 |-4.000000e+01 |-3.400000e+01 | 17.65%
469.90/470.05 c 470s| 4600 | 3583 |348161 | 73.3 | 126M| 57 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |2598 |-4.000000e+01 |-3.400000e+01 | 17.65%
477.90/478.02 c 478s| 4700 | 3669 |355356 | 73.2 | 127M| 57 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |2630 |-4.000000e+01 |-3.400000e+01 | 17.65%
487.11/487.26 c 487s| 4800 | 3757 |363647 | 73.4 | 129M| 57 | 94 | 760 | 41k| 760 | 41k| 264 | 0 |2664 |-4.000000e+01 |-3.400000e+01 | 17.65%
495.50/495.67 c 496s| 4900 | 3839 |371468 | 73.5 | 131M| 57 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |2699 |-4.000000e+01 |-3.400000e+01 | 17.65%
504.10/504.28 c 504s| 5000 | 3917 |378231 | 73.4 | 132M| 57 | 119 | 760 | 41k| 760 | 41k| 264 | 0 |2738 |-4.000000e+01 |-3.400000e+01 | 17.65%
513.09/513.27 c 513s| 5100 | 4005 |386112 | 73.5 | 134M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2773 |-4.000000e+01 |-3.400000e+01 | 17.65%
515.90/516.06 o -35
515.90/516.06 c l 516s| 5153 | 3526 |388738 | 73.3 | 129M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2784 |-4.000000e+01 |-3.500000e+01 | 14.29%
518.01/518.15 c 518s| 5200 | 3561 |390878 | 73.0 | 129M| 57 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |2788 |-4.000000e+01 |-3.500000e+01 | 14.29%
524.00/524.13 c 524s| 5300 | 3625 |396973 | 72.8 | 130M| 57 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |2798 |-4.000000e+01 |-3.500000e+01 | 14.29%
530.20/530.33 c 530s| 5400 | 3689 |403451 | 72.7 | 132M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2803 |-4.000000e+01 |-3.500000e+01 | 14.29%
534.69/534.85 c 535s| 5500 | 3749 |408533 | 72.3 | 133M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2810 |-4.000000e+01 |-3.500000e+01 | 14.29%
540.49/540.60 c 541s| 5600 | 3821 |414921 | 72.1 | 134M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2812 |-4.000000e+01 |-3.500000e+01 | 14.29%
545.50/545.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.50/545.63 c 546s| 5700 | 3871 |420240 | 71.8 | 135M| 57 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |2820 |-4.000000e+01 |-3.500000e+01 | 14.29%
550.69/550.85 c 551s| 5800 | 3929 |426183 | 71.6 | 136M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2822 |-4.000000e+01 |-3.500000e+01 | 14.29%
556.79/556.97 c 557s| 5900 | 4003 |432317 | 71.4 | 138M| 57 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2824 |-4.000000e+01 |-3.500000e+01 | 14.29%
561.19/561.38 c 561s| 6000 | 4065 |436648 | 70.9 | 139M| 57 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2826 |-4.000000e+01 |-3.500000e+01 | 14.29%
566.78/566.98 c 567s| 6100 | 4127 |442614 | 70.7 | 140M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |2827 |-4.000000e+01 |-3.500000e+01 | 14.29%
571.99/572.17 c 572s| 6200 | 4195 |448191 | 70.5 | 142M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |2830 |-4.000000e+01 |-3.500000e+01 | 14.29%
575.49/575.65 c 576s| 6300 | 4249 |451923 | 70.0 | 143M| 58 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |2830 |-4.000000e+01 |-3.500000e+01 | 14.29%
582.28/582.44 c 582s| 6400 | 4319 |458647 | 69.9 | 144M| 58 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2831 |-4.000000e+01 |-3.500000e+01 | 14.29%
588.29/588.42 c 588s| 6500 | 4381 |464663 | 69.8 | 145M| 58 | 104 | 760 | 41k| 760 | 41k| 264 | 0 |2836 |-4.000000e+01 |-3.500000e+01 | 14.29%
595.78/595.92 c 596s| 6600 | 4457 |471948 | 69.8 | 147M| 58 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |2869 |-4.000000e+01 |-3.500000e+01 | 14.29%
603.69/603.82 c 604s| 6700 | 4533 |478556 | 69.8 | 148M| 58 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |2909 |-4.000000e+01 |-3.500000e+01 | 14.29%
609.48/609.64 c 610s| 6800 | 4601 |484302 | 69.6 | 150M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |2919 |-4.000000e+01 |-3.500000e+01 | 14.29%
615.48/615.65 c 616s| 6900 | 4667 |489810 | 69.4 | 151M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |2949 |-4.000000e+01 |-3.500000e+01 | 14.29%
623.18/623.31 c 623s| 7000 | 4743 |496261 | 69.3 | 152M| 58 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |2983 |-4.000000e+01 |-3.500000e+01 | 14.29%
631.38/631.50 c 632s| 7100 | 4815 |503692 | 69.4 | 154M| 58 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |3017 |-4.000000e+01 |-3.500000e+01 | 14.29%
637.08/637.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.08/637.29 c 637s| 7200 | 4885 |509155 | 69.2 | 155M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3040 |-4.000000e+01 |-3.500000e+01 | 14.29%
642.77/642.94 c 643s| 7300 | 4947 |514156 | 68.9 | 156M| 58 | 113 | 760 | 41k| 760 | 41k| 264 | 0 |3071 |-4.000000e+01 |-3.500000e+01 | 14.29%
648.47/648.66 c 649s| 7400 | 5007 |519670 | 68.7 | 157M| 58 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |3095 |-4.000000e+01 |-3.500000e+01 | 14.29%
655.67/655.88 c 656s| 7500 | 5073 |525468 | 68.6 | 159M| 58 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |3127 |-4.000000e+01 |-3.500000e+01 | 14.29%
661.27/661.44 c 661s| 7600 | 5131 |530487 | 68.3 | 160M| 58 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3156 |-4.000000e+01 |-3.500000e+01 | 14.29%
668.07/668.21 c 668s| 7700 | 5201 |536051 | 68.2 | 161M| 58 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3183 |-4.000000e+01 |-3.500000e+01 | 14.29%
673.07/673.22 c 673s| 7800 | 5255 |540988 | 67.9 | 162M| 58 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |3202 |-4.000000e+01 |-3.500000e+01 | 14.29%
679.27/679.40 c 679s| 7900 | 5317 |547360 | 67.9 | 163M| 58 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |3218 |-4.000000e+01 |-3.500000e+01 | 14.29%
686.17/686.32 c 686s| 8000 | 5393 |553424 | 67.8 | 165M| 58 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |3229 |-4.000000e+01 |-3.500000e+01 | 14.29%
691.57/691.76 c 692s| 8100 | 5461 |559162 | 67.7 | 166M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3235 |-4.000000e+01 |-3.500000e+01 | 14.29%
695.67/695.81 c 696s| 8200 | 5501 |562910 | 67.3 | 167M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3240 |-4.000000e+01 |-3.500000e+01 | 14.29%
699.96/700.19 c 700s| 8300 | 5555 |567383 | 67.0 | 168M| 58 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |3250 |-4.000000e+01 |-3.500000e+01 | 14.29%
704.77/704.98 c 705s| 8400 | 5611 |572230 | 66.8 | 169M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |3254 |-4.000000e+01 |-3.500000e+01 | 14.29%
712.67/712.89 c 713s| 8500 | 5681 |578501 | 66.8 | 170M| 58 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |3265 |-4.000000e+01 |-3.500000e+01 | 14.29%
719.96/720.19 c 720s| 8600 | 5763 |585254 | 66.8 | 172M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3267 |-4.000000e+01 |-3.500000e+01 | 14.29%
724.47/724.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.47/724.67 c 725s| 8700 | 5817 |590106 | 66.6 | 173M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |3269 |-4.000000e+01 |-3.500000e+01 | 14.29%
729.36/729.59 c 730s| 8800 | 5881 |595423 | 66.4 | 174M| 58 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
733.66/733.86 c 734s| 8900 | 5941 |600235 | 66.2 | 175M| 58 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
738.66/738.83 c 739s| 9000 | 5997 |606389 | 66.1 | 176M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
742.76/742.98 c 743s| 9100 | 6055 |610381 | 65.9 | 178M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
748.76/748.97 c 749s| 9200 | 6123 |617104 | 65.9 | 179M| 58 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
754.75/754.97 c 755s| 9300 | 6197 |623306 | 65.8 | 180M| 58 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |3272 |-4.000000e+01 |-3.500000e+01 | 14.29%
760.76/760.93 c 761s| 9400 | 6269 |629995 | 65.8 | 181M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3272 |-4.000000e+01 |-3.500000e+01 | 14.29%
767.05/767.23 c 767s| 9500 | 6341 |636113 | 65.8 | 183M| 58 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3293 |-4.000000e+01 |-3.500000e+01 | 14.29%
772.15/772.39 c 772s| 9600 | 6395 |641223 | 65.6 | 184M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3306 |-4.000000e+01 |-3.500000e+01 | 14.29%
774.45/774.67 o -36
774.45/774.67 c l 775s| 9636 | 5030 |642721 | 65.5 | 166M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3328 |-4.000000e+01 |-3.600000e+01 | 11.11%
777.05/777.24 c 777s| 9700 | 5056 |645576 | 65.4 | 167M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3329 |-4.000000e+01 |-3.600000e+01 | 11.11%
782.85/783.00 c 783s| 9800 | 5102 |650367 | 65.2 | 168M| 58 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3361 |-4.000000e+01 |-3.600000e+01 | 11.11%
789.05/789.23 c 789s| 9900 | 5154 |655520 | 65.1 | 169M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3383 |-4.000000e+01 |-3.600000e+01 | 11.11%
792.95/793.12 c 793s| 10000 | 5180 |659255 | 64.8 | 169M| 58 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |3398 |-4.000000e+01 |-3.600000e+01 | 11.11%
799.25/799.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.25/799.47 c 799s| 10100 | 5222 |665015 | 64.7 | 170M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3425 |-4.000000e+01 |-3.600000e+01 | 11.11%
803.35/803.56 c 804s| 10200 | 5264 |669156 | 64.5 | 171M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3436 |-4.000000e+01 |-3.600000e+01 | 11.11%
807.95/808.18 c 808s| 10300 | 5300 |673403 | 64.3 | 172M| 58 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |3458 |-4.000000e+01 |-3.600000e+01 | 11.11%
814.74/814.95 c 815s| 10400 | 5346 |679614 | 64.3 | 173M| 59 | 92 | 760 | 41k| 760 | 41k| 264 | 0 |3495 |-4.000000e+01 |-3.600000e+01 | 11.11%
819.14/819.32 c 819s| 10500 | 5380 |683472 | 64.0 | 173M| 59 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3512 |-4.000000e+01 |-3.600000e+01 | 11.11%
824.65/824.87 c 825s| 10600 | 5416 |687971 | 63.9 | 174M| 59 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |3542 |-4.000000e+01 |-3.600000e+01 | 11.11%
829.05/829.26 c 829s| 10700 | 5460 |691829 | 63.6 | 175M| 59 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |3563 |-4.000000e+01 |-3.600000e+01 | 11.11%
833.84/834.01 c 834s| 10800 | 5506 |695680 | 63.4 | 176M| 59 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |3581 |-4.000000e+01 |-3.600000e+01 | 11.11%
839.25/839.47 c 839s| 10900 | 5552 |699826 | 63.2 | 177M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3599 |-4.000000e+01 |-3.600000e+01 | 11.11%
844.04/844.25 c 844s| 11000 | 5594 |703981 | 63.0 | 177M| 59 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |3621 |-4.000000e+01 |-3.600000e+01 | 11.11%
850.74/850.94 c 851s| 11100 | 5648 |710768 | 63.0 | 179M| 59 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3642 |-4.000000e+01 |-3.600000e+01 | 11.11%
856.54/856.71 c 857s| 11200 | 5690 |715820 | 62.9 | 180M| 59 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3669 |-4.000000e+01 |-3.600000e+01 | 11.11%
860.34/860.56 c 861s| 11300 | 5722 |719493 | 62.7 | 180M| 59 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |3681 |-4.000000e+01 |-3.600000e+01 | 11.11%
865.13/865.31 c 865s| 11400 | 5760 |724525 | 62.6 | 181M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3690 |-4.000000e+01 |-3.600000e+01 | 11.11%
870.44/870.69 c 871s| 11500 | 5822 |729933 | 62.5 | 182M| 59 | 44 | 760 | 41k| 760 | 41k| 264 | 0 |3698 |-4.000000e+01 |-3.600000e+01 | 11.11%
875.34/875.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.34/875.60 c 876s| 11600 | 5880 |735403 | 62.4 | 183M| 59 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |3698 |-4.000000e+01 |-3.600000e+01 | 11.11%
880.94/881.12 c 881s| 11700 | 5916 |740174 | 62.3 | 184M| 59 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |3702 |-4.000000e+01 |-3.600000e+01 | 11.11%
885.14/885.33 c 885s| 11800 | 5964 |744629 | 62.2 | 185M| 59 | 55 | 760 | 41k| 760 | 41k| 264 | 0 |3704 |-4.000000e+01 |-3.600000e+01 | 11.11%
888.54/888.75 c 889s| 11900 | 6006 |748304 | 61.9 | 186M| 59 | 43 | 760 | 41k| 760 | 41k| 264 | 0 |3705 |-4.000000e+01 |-3.600000e+01 | 11.11%
892.84/893.02 c 893s| 12000 | 6054 |752949 | 61.8 | 187M| 59 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
896.63/896.84 c 897s| 12100 | 6092 |757299 | 61.7 | 187M| 59 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
902.03/902.22 c 902s| 12200 | 6140 |762062 | 61.6 | 188M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3708 |-4.000000e+01 |-3.600000e+01 | 11.11%
906.94/907.13 c 907s| 12300 | 6180 |767448 | 61.5 | 189M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3710 |-4.000000e+01 |-3.600000e+01 | 11.11%
911.13/911.35 c 911s| 12400 | 6224 |772325 | 61.4 | 190M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
914.44/914.69 c 915s| 12500 | 6262 |775890 | 61.2 | 191M| 59 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3713 |-4.000000e+01 |-3.600000e+01 | 11.11%
918.93/919.19 c 919s| 12600 | 6298 |780434 | 61.1 | 192M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3716 |-4.000000e+01 |-3.600000e+01 | 11.11%
922.43/922.64 c 923s| 12700 | 6330 |784265 | 60.9 | 192M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |3717 |-4.000000e+01 |-3.600000e+01 | 11.11%
926.03/926.25 c 926s| 12800 | 6372 |788212 | 60.7 | 193M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3717 |-4.000000e+01 |-3.600000e+01 | 11.11%
929.83/930.00 c 930s| 12900 | 6406 |792197 | 60.5 | 194M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3719 |-4.000000e+01 |-3.600000e+01 | 11.11%
933.52/933.73 c 934s| 13000 | 6444 |796492 | 60.4 | 195M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
936.43/936.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.43/936.68 c 937s| 13100 | 6480 |799774 | 60.2 | 196M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
940.62/940.83 c 941s| 13200 | 6516 |804628 | 60.1 | 196M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
943.83/944.03 c 944s| 13300 | 6546 |807711 | 59.9 | 197M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3727 |-4.000000e+01 |-3.600000e+01 | 11.11%
949.72/949.99 c 950s| 13400 | 6596 |813151 | 59.9 | 198M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
953.23/953.44 c 953s| 13500 | 6624 |816236 | 59.6 | 199M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3771 |-4.000000e+01 |-3.600000e+01 | 11.11%
956.83/957.07 c 957s| 13600 | 6656 |819383 | 59.4 | 199M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3787 |-4.000000e+01 |-3.600000e+01 | 11.11%
960.42/960.66 c 961s| 13700 | 6690 |822357 | 59.2 | 200M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3805 |-4.000000e+01 |-3.600000e+01 | 11.11%
964.22/964.42 c 964s| 13800 | 6710 |825505 | 59.0 | 200M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3819 |-4.000000e+01 |-3.600000e+01 | 11.11%
969.22/969.45 c 969s| 13900 | 6748 |829801 | 58.9 | 201M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3848 |-4.000000e+01 |-3.600000e+01 | 11.11%
972.32/972.56 c 973s| 14000 | 6774 |833103 | 58.7 | 202M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |3848 |-4.000000e+01 |-3.600000e+01 | 11.11%
976.53/976.72 c 977s| 14100 | 6798 |836408 | 58.5 | 202M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3872 |-4.000000e+01 |-3.600000e+01 | 11.11%
981.82/982.06 c 982s| 14200 | 6842 |841457 | 58.5 | 203M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3895 |-4.000000e+01 |-3.600000e+01 | 11.11%
987.02/987.23 c 987s| 14300 | 6874 |845793 | 58.4 | 204M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3917 |-4.000000e+01 |-3.600000e+01 | 11.11%
991.32/991.52 c 992s| 14400 | 6912 |849928 | 58.3 | 204M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3936 |-4.000000e+01 |-3.600000e+01 | 11.11%
997.53/997.79 c 998s| 14500 | 6952 |854560 | 58.2 | 205M| 60 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |3966 |-4.000000e+01 |-3.600000e+01 | 11.11%
1001.22/1001.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.22/1001.46 c 1001s| 14600 | 6974 |857691 | 58.0 | 206M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3988 |-4.000000e+01 |-3.600000e+01 | 11.11%
1006.12/1006.36 c 1006s| 14700 | 7010 |862712 | 57.9 | 206M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4002 |-4.000000e+01 |-3.600000e+01 | 11.11%
1010.63/1010.87 c 1011s| 14800 | 7042 |866407 | 57.8 | 207M| 60 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |4028 |-4.000000e+01 |-3.600000e+01 | 11.11%
1016.72/1016.98 c 1017s| 14900 | 7094 |872438 | 57.8 | 208M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4053 |-4.000000e+01 |-3.600000e+01 | 11.11%
1022.11/1022.30 c 1022s| 15000 | 7130 |877380 | 57.8 | 209M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |4070 |-4.000000e+01 |-3.600000e+01 | 11.11%
1026.22/1026.50 c 1026s| 15100 | 7160 |881121 | 57.6 | 209M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4089 |-4.000000e+01 |-3.600000e+01 | 11.11%
1031.41/1031.68 c 1032s| 15200 | 7188 |885782 | 57.5 | 210M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |4108 |-4.000000e+01 |-3.600000e+01 | 11.11%
1036.02/1036.22 c 1036s| 15300 | 7232 |889540 | 57.4 | 211M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4125 |-4.000000e+01 |-3.600000e+01 | 11.11%
1041.81/1042.01 c 1042s| 15400 | 7270 |894952 | 57.4 | 211M| 60 | 96 | 760 | 41k| 760 | 41k| 264 | 0 |4144 |-4.000000e+01 |-3.600000e+01 | 11.11%
1046.71/1046.91 c 1047s| 15500 | 7310 |899882 | 57.3 | 212M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4161 |-4.000000e+01 |-3.600000e+01 | 11.11%
1052.21/1052.40 c 1052s| 15600 | 7352 |905452 | 57.3 | 213M| 60 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |4178 |-4.000000e+01 |-3.600000e+01 | 11.11%
1055.71/1055.91 c 1056s| 15700 | 7382 |909158 | 57.2 | 214M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4186 |-4.000000e+01 |-3.600000e+01 | 11.11%
1059.91/1060.19 c 1060s| 15800 | 7410 |913431 | 57.1 | 214M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |4192 |-4.000000e+01 |-3.600000e+01 | 11.11%
1064.70/1064.98 c 1065s| 15900 | 7456 |918193 | 57.0 | 215M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4194 |-4.000000e+01 |-3.600000e+01 | 11.11%
1068.41/1068.63 c 1069s| 16000 | 7486 |921840 | 56.9 | 216M| 60 | 94 | 760 | 41k| 760 | 41k| 264 | 0 |4195 |-4.000000e+01 |-3.600000e+01 | 11.11%
1072.32/1072.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.32/1072.54 c 1073s| 16100 | 7532 |926254 | 56.8 | 217M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4195 |-4.000000e+01 |-3.600000e+01 | 11.11%
1076.21/1076.48 c 1076s| 16200 | 7570 |930895 | 56.8 | 218M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4198 |-4.000000e+01 |-3.600000e+01 | 11.11%
1080.31/1080.59 c 1081s| 16300 | 7604 |935256 | 56.7 | 218M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4203 |-4.000000e+01 |-3.600000e+01 | 11.11%
1083.01/1083.25 c 1083s| 16400 | 7628 |938072 | 56.5 | 219M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4204 |-4.000000e+01 |-3.600000e+01 | 11.11%
1087.00/1087.29 c 1087s| 16500 | 7662 |942210 | 56.4 | 219M| 60 | 115 | 760 | 41k| 760 | 41k| 264 | 0 |4204 |-4.000000e+01 |-3.600000e+01 | 11.11%
1090.21/1090.45 c 1090s| 16600 | 7696 |945408 | 56.3 | 220M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1092.81/1093.07 c 1093s| 16700 | 7714 |948177 | 56.1 | 220M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1097.31/1097.53 c 1098s| 16800 | 7750 |953214 | 56.1 | 221M| 60 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |4208 |-4.000000e+01 |-3.600000e+01 | 11.11%
1100.61/1100.82 c 1101s| 16900 | 7800 |956691 | 56.0 | 222M| 60 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |4209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1105.11/1105.34 c 1105s| 17000 | 7832 |960951 | 55.9 | 223M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1108.30/1108.58 c 1109s| 17100 | 7864 |964659 | 55.8 | 224M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1112.20/1112.46 c 1112s| 17200 | 7910 |969464 | 55.7 | 225M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1115.61/1115.82 c 1116s| 17300 | 7950 |973714 | 55.6 | 225M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1119.50/1119.74 c 1120s| 17400 | 7988 |978374 | 55.6 | 226M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1122.40/1122.61 c 1123s| 17500 | 8020 |981776 | 55.5 | 227M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1126.11/1126.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.11/1126.39 c 1126s| 17600 | 8074 |986196 | 55.4 | 228M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1129.10/1129.36 c 1129s| 17700 | 8110 |989860 | 55.3 | 228M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1131.50/1131.71 c 1132s| 17800 | 8138 |992625 | 55.1 | 229M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1135.39/1135.68 c 1136s| 17900 | 8176 |996168 | 55.0 | 230M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |4242 |-4.000000e+01 |-3.600000e+01 | 11.11%
1138.79/1139.03 c 1139s| 18000 | 8208 |999286 | 54.9 | 230M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4261 |-4.000000e+01 |-3.600000e+01 | 11.11%
1141.70/1141.98 c 1142s| 18100 | 8238 | 1001k| 54.7 | 231M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4278 |-4.000000e+01 |-3.600000e+01 | 11.11%
1147.10/1147.36 c 1147s| 18200 | 8284 | 1007k| 54.7 | 231M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4301 |-4.000000e+01 |-3.600000e+01 | 11.11%
1150.89/1151.19 c 1151s| 18300 | 8314 | 1010k| 54.6 | 232M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4312 |-4.000000e+01 |-3.600000e+01 | 11.11%
1155.70/1155.98 c 1156s| 18400 | 8354 | 1015k| 54.6 | 233M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4343 |-4.000000e+01 |-3.600000e+01 | 11.11%
1159.79/1160.05 c 1160s| 18500 | 8392 | 1019k| 54.5 | 234M| 60 | 55 | 760 | 41k| 760 | 41k| 264 | 0 |4365 |-4.000000e+01 |-3.600000e+01 | 11.11%
1163.09/1163.30 c 1163s| 18600 | 8416 | 1021k| 54.3 | 234M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4383 |-4.000000e+01 |-3.600000e+01 | 11.11%
1166.69/1166.92 c 1167s| 18700 | 8454 | 1025k| 54.2 | 235M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4404 |-4.000000e+01 |-3.600000e+01 | 11.11%
1169.49/1169.76 c 1170s| 18800 | 8480 | 1028k| 54.1 | 235M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4404 |-4.000000e+01 |-3.600000e+01 | 11.11%
1173.98/1174.26 c 1174s| 18900 | 8518 | 1033k| 54.1 | 236M| 60 | 93 | 760 | 41k| 760 | 41k| 264 | 0 |4426 |-4.000000e+01 |-3.600000e+01 | 11.11%
1179.19/1179.46 c 1179s| 19000 | 8568 | 1038k| 54.1 | 237M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4450 |-4.000000e+01 |-3.600000e+01 | 11.11%
1183.30/1183.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.30/1183.55 c 1184s| 19100 | 8606 | 1041k| 54.0 | 237M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4464 |-4.000000e+01 |-3.600000e+01 | 11.11%
1186.99/1187.29 c 1187s| 19200 | 8636 | 1045k| 53.9 | 238M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4486 |-4.000000e+01 |-3.600000e+01 | 11.11%
1191.09/1191.37 c 1191s| 19300 | 8664 | 1048k| 53.7 | 238M| 60 | 101 | 760 | 41k| 760 | 41k| 264 | 0 |4505 |-4.000000e+01 |-3.600000e+01 | 11.11%
1195.08/1195.32 c 1195s| 19400 | 8692 | 1051k| 53.7 | 239M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4520 |-4.000000e+01 |-3.600000e+01 | 11.11%
1198.88/1199.17 c 1199s| 19500 | 8722 | 1055k| 53.6 | 239M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4529 |-4.000000e+01 |-3.600000e+01 | 11.11%
1202.28/1202.58 c 1203s| 19600 | 8758 | 1059k| 53.5 | 240M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4544 |-4.000000e+01 |-3.600000e+01 | 11.11%
1207.18/1207.43 c 1207s| 19700 | 8792 | 1063k| 53.4 | 241M| 60 | 48 | 760 | 41k| 760 | 41k| 264 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1211.48/1211.72 c 1212s| 19800 | 8824 | 1068k| 53.4 | 241M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1215.29/1215.56 c 1216s| 19900 | 8860 | 1071k| 53.3 | 242M| 60 | 46 | 760 | 41k| 760 | 41k| 264 | 0 |4610 |-4.000000e+01 |-3.600000e+01 | 11.11%
1219.08/1219.35 c 1219s| 20000 | 8890 | 1075k| 53.2 | 242M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4621 |-4.000000e+01 |-3.600000e+01 | 11.11%
1223.78/1224.03 c 1224s| 20100 | 8932 | 1079k| 53.1 | 243M| 60 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |4639 |-4.000000e+01 |-3.600000e+01 | 11.11%
1228.18/1228.46 c 1228s| 20200 | 8964 | 1083k| 53.1 | 244M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4659 |-4.000000e+01 |-3.600000e+01 | 11.11%
1232.88/1233.17 c 1233s| 20300 | 9000 | 1088k| 53.0 | 244M| 60 | 100 | 760 | 41k| 760 | 41k| 264 | 0 |4678 |-4.000000e+01 |-3.600000e+01 | 11.11%
1236.87/1237.12 c 1237s| 20400 | 9032 | 1091k| 53.0 | 245M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4697 |-4.000000e+01 |-3.600000e+01 | 11.11%
1240.78/1241.01 c 1241s| 20500 | 9066 | 1094k| 52.9 | 246M| 60 | 44 | 760 | 41k| 760 | 41k| 264 | 0 |4712 |-4.000000e+01 |-3.600000e+01 | 11.11%
1244.38/1244.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.38/1244.64 c 1245s| 20600 | 9096 | 1097k| 52.8 | 246M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4731 |-4.000000e+01 |-3.600000e+01 | 11.11%
1247.78/1248.02 c 1248s| 20700 | 9128 | 1101k| 52.7 | 247M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4744 |-4.000000e+01 |-3.600000e+01 | 11.11%
1250.67/1250.98 c 1251s| 20800 | 9170 | 1104k| 52.6 | 247M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4746 |-4.000000e+01 |-3.600000e+01 | 11.11%
1254.18/1254.44 c 1254s| 20900 | 9200 | 1109k| 52.5 | 248M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4749 |-4.000000e+01 |-3.600000e+01 | 11.11%
1257.18/1257.45 c 1257s| 21000 | 9224 | 1112k| 52.4 | 248M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4751 |-4.000000e+01 |-3.600000e+01 | 11.11%
1261.07/1261.36 c 1261s| 21100 | 9252 | 1116k| 52.4 | 249M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4752 |-4.000000e+01 |-3.600000e+01 | 11.11%
1263.77/1264.05 c 1264s| 21200 | 9280 | 1119k| 52.3 | 249M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4754 |-4.000000e+01 |-3.600000e+01 | 11.11%
1267.17/1267.47 c 1267s| 21300 | 9314 | 1123k| 52.2 | 250M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4758 |-4.000000e+01 |-3.600000e+01 | 11.11%
1270.97/1271.29 c 1271s| 21400 | 9348 | 1127k| 52.2 | 251M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1273.87/1274.11 c 1274s| 21500 | 9376 | 1130k| 52.1 | 251M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1276.07/1276.36 c 1276s| 21600 | 9406 | 1132k| 51.9 | 252M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1279.17/1279.46 c 1279s| 21700 | 9454 | 1136k| 51.9 | 252M| 60 | 47 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1283.27/1283.51 c 1284s| 21800 | 9504 | 1141k| 51.9 | 253M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |4761 |-4.000000e+01 |-3.600000e+01 | 11.11%
1286.17/1286.41 c 1286s| 21900 | 9538 | 1144k| 51.8 | 254M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4762 |-4.000000e+01 |-3.600000e+01 | 11.11%
1289.17/1289.40 c 1289s| 22000 | 9570 | 1147k| 51.7 | 254M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4763 |-4.000000e+01 |-3.600000e+01 | 11.11%
1293.38/1293.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.38/1293.68 c 1294s| 22100 | 9620 | 1152k| 51.7 | 255M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |4763 |-4.000000e+01 |-3.600000e+01 | 11.11%
1296.57/1296.82 c 1297s| 22200 | 9662 | 1156k| 51.6 | 256M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4764 |-4.000000e+01 |-3.600000e+01 | 11.11%
1299.17/1299.45 c 1299s| 22300 | 9692 | 1159k| 51.5 | 257M| 60 | 70 | 760 | 41k| 760 | 41k| 264 | 0 |4766 |-4.000000e+01 |-3.600000e+01 | 11.11%
1301.67/1301.97 c 1302s| 22400 | 9720 | 1161k| 51.4 | 257M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1304.96/1305.30 c 1305s| 22500 | 9756 | 1165k| 51.3 | 258M| 60 | 53 | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1307.97/1308.23 c 1308s| 22600 | 9792 | 1168k| 51.2 | 258M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1311.27/1311.58 c 1312s| 22700 | 9848 | 1172k| 51.1 | 259M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4769 |-4.000000e+01 |-3.600000e+01 | 11.11%
1314.67/1314.93 c 1315s| 22800 | 9878 | 1175k| 51.1 | 260M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1317.76/1318.06 c 1318s| 22900 | 9922 | 1179k| 51.0 | 260M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1321.26/1321.50 c 1322s| 23000 | 9962 | 1183k| 51.0 | 261M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1323.67/1323.90 c 1324s| 23100 | 9990 | 1186k| 50.9 | 262M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1326.46/1326.71 c 1327s| 23200 | 10030 | 1189k| 50.8 | 262M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1329.36/1329.67 c 1330s| 23300 | 10066 | 1193k| 50.7 | 263M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1331.87/1332.19 c 1332s| 23400 | 10082 | 1195k| 50.6 | 263M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1334.17/1334.48 c 1334s| 23500 | 10112 | 1198k| 50.5 | 264M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1336.96/1337.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.96/1337.27 c 1337s| 23600 | 10138 | 1201k| 50.4 | 264M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1339.57/1339.84 c 1340s| 23700 | 10172 | 1204k| 50.4 | 265M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1343.57/1343.87 c 1344s| 23800 | 10204 | 1208k| 50.3 | 265M| 60 | 125 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1346.26/1346.53 c 1347s| 23900 | 10234 | 1211k| 50.2 | 266M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1348.56/1348.81 c 1349s| 24000 | 10258 | 1214k| 50.1 | 266M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1351.36/1351.65 c 1352s| 24100 | 10292 | 1217k| 50.1 | 267M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1355.97/1356.27 c 1356s| 24200 | 10332 | 1223k| 50.1 | 268M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1359.16/1359.45 c 1359s| 24300 | 10370 | 1227k| 50.0 | 268M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1362.66/1362.91 c 1363s| 24400 | 10408 | 1230k| 50.0 | 269M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1365.86/1366.18 c 1366s| 24500 | 10440 | 1234k| 49.9 | 269M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1368.26/1368.54 c 1369s| 24600 | 10466 | 1237k| 49.8 | 270M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1370.96/1371.21 c 1371s| 24700 | 10498 | 1240k| 49.8 | 270M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1374.16/1374.42 c 1374s| 24800 | 10532 | 1244k| 49.7 | 271M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1376.96/1377.24 c 1377s| 24900 | 10564 | 1247k| 49.6 | 271M| 60 | 108 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1379.45/1379.79 c 1380s| 25000 | 10592 | 1250k| 49.6 | 272M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1383.95/1384.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.95/1384.20 c 1384s| 25100 | 10642 | 1255k| 49.6 | 273M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1386.86/1387.19 c 1387s| 25200 | 10680 | 1259k| 49.5 | 274M| 60 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1390.26/1390.57 c 1391s| 25300 | 10718 | 1263k| 49.5 | 274M| 60 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1393.96/1394.22 c 1394s| 25400 | 10748 | 1267k| 49.5 | 275M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1396.85/1397.15 c 1397s| 25500 | 10780 | 1271k| 49.4 | 275M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1400.15/1400.40 c 1400s| 25600 | 10800 | 1275k| 49.4 | 276M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1403.26/1403.53 c 1404s| 25700 | 10830 | 1279k| 49.4 | 276M| 60 | 116 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1406.05/1406.36 c 1406s| 25800 | 10854 | 1283k| 49.3 | 277M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1408.95/1409.22 c 1409s| 25900 | 10884 | 1287k| 49.3 | 277M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1413.05/1413.33 c 1413s| 26000 | 10912 | 1292k| 49.3 | 278M| 60 | 111 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1416.15/1416.49 c 1416s| 26100 | 10934 | 1295k| 49.2 | 278M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1420.35/1420.69 c 1421s| 26200 | 10960 | 1300k| 49.2 | 279M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1423.16/1423.41 c 1423s| 26300 | 10986 | 1303k| 49.2 | 279M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1425.54/1425.86 c 1426s| 26400 | 11014 | 1306k| 49.1 | 280M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1428.45/1428.77 c 1429s| 26500 | 11044 | 1310k| 49.0 | 280M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1431.55/1431.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.55/1431.85 c 1432s| 26600 | 11080 | 1313k| 49.0 | 281M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1434.95/1435.28 c 1435s| 26700 | 11118 | 1317k| 48.9 | 281M| 60 | 95 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1437.75/1438.06 c 1438s| 26800 | 11138 | 1320k| 48.9 | 282M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1442.35/1442.69 c 1443s| 26900 | 11170 | 1325k| 48.9 | 282M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1444.75/1445.03 c 1445s| 27000 | 11194 | 1328k| 48.8 | 283M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1447.26/1447.53 c 1448s| 27100 | 11230 | 1331k| 48.7 | 283M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1450.25/1450.55 c 1451s| 27200 | 11256 | 1334k| 48.7 | 284M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1453.05/1453.37 c 1453s| 27300 | 11290 | 1337k| 48.6 | 284M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1455.65/1455.96 c 1456s| 27400 | 11316 | 1341k| 48.5 | 285M| 60 | 114 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1458.95/1459.27 c 1459s| 27500 | 11352 | 1344k| 48.5 | 286M| 60 | 106 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1462.84/1463.11 c 1463s| 27600 | 11386 | 1349k| 48.5 | 286M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1466.14/1466.43 c 1466s| 27700 | 11436 | 1353k| 48.5 | 287M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1469.05/1469.30 c 1469s| 27800 | 11468 | 1356k| 48.4 | 288M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1472.64/1472.98 c 1473s| 27900 | 11502 | 1361k| 48.4 | 288M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1475.04/1475.33 c 1475s| 28000 | 11526 | 1363k| 48.3 | 289M| 60 | 70 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1478.04/1478.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.04/1478.36 c 1478s| 28100 | 11568 | 1367k| 48.3 | 289M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1480.64/1480.91 c 1481s| 28200 | 11604 | 1370k| 48.2 | 290M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1482.84/1483.11 c 1483s| 28300 | 11630 | 1372k| 48.1 | 290M| 60 | 93 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1484.84/1485.18 c 1485s| 28400 | 11648 | 1374k| 48.0 | 291M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1487.04/1487.39 c 1487s| 28500 | 11676 | 1377k| 47.9 | 291M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1489.64/1489.97 c 1490s| 28600 | 11716 | 1379k| 47.9 | 292M| 60 | 42 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1491.64/1491.93 c 1492s| 28700 | 11746 | 1382k| 47.8 | 292M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1493.64/1493.91 c 1494s| 28800 | 11772 | 1384k| 47.7 | 293M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1495.44/1495.73 c 1496s| 28900 | 11790 | 1385k| 47.6 | 293M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1497.24/1497.55 c 1498s| 29000 | 11802 | 1387k| 47.5 | 293M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1499.24/1499.58 c 1500s| 29100 | 11816 | 1389k| 47.4 | 293M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1502.25/1502.60 c 1503s| 29200 | 11840 | 1392k| 47.3 | 294M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1505.14/1505.43 c 1505s| 29300 | 11870 | 1395k| 47.3 | 294M| 60 | 98 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1508.03/1508.34 c 1508s| 29400 | 11892 | 1398k| 47.2 | 295M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1511.93/1512.25 c 1512s| 29500 | 11918 | 1402k| 47.2 | 295M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1516.04/1516.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.04/1516.33 c 1516s| 29600 | 11956 | 1407k| 47.2 | 296M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1518.14/1518.49 c 1518s| 29700 | 11980 | 1409k| 47.1 | 296M| 60 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1520.95/1521.23 c 1521s| 29800 | 12020 | 1412k| 47.0 | 297M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1523.63/1523.92 c 1524s| 29900 | 12062 | 1416k| 47.0 | 298M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1528.03/1528.32 c 1528s| 30000 | 12110 | 1421k| 47.0 | 298M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1531.94/1532.20 c 1532s| 30100 | 12154 | 1425k| 47.0 | 299M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1535.34/1535.67 c 1536s| 30200 | 12208 | 1429k| 47.0 | 300M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1539.33/1539.64 c 1540s| 30300 | 12252 | 1433k| 46.9 | 301M| 60 | 100 | 760 | 41k| 760 | 41k| 264 | 0 |4790 |-4.000000e+01 |-3.600000e+01 | 11.11%
1543.13/1543.49 c 1543s| 30400 | 12292 | 1436k| 46.9 | 301M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4808 |-4.000000e+01 |-3.600000e+01 | 11.11%
1547.73/1548.04 c 1548s| 30500 | 12328 | 1441k| 46.9 | 302M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4821 |-4.000000e+01 |-3.600000e+01 | 11.11%
1551.53/1551.87 c 1552s| 30600 | 12370 | 1445k| 46.9 | 303M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4835 |-4.000000e+01 |-3.600000e+01 | 11.11%
1555.04/1555.34 c 1555s| 30700 | 12402 | 1448k| 46.8 | 303M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4852 |-4.000000e+01 |-3.600000e+01 | 11.11%
1558.63/1558.96 c 1559s| 30800 | 12426 | 1451k| 46.8 | 303M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1561.33/1561.61 c 1562s| 30900 | 12460 | 1454k| 46.7 | 304M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1565.22/1565.59 c 1566s| 31000 | 12496 | 1457k| 46.7 | 304M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4881 |-4.000000e+01 |-3.600000e+01 | 11.11%
1570.23/1570.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.23/1570.57 c 1571s| 31100 | 12544 | 1462k| 46.7 | 305M| 60 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |4910 |-4.000000e+01 |-3.600000e+01 | 11.11%
1573.03/1573.40 c 1573s| 31200 | 12574 | 1465k| 46.6 | 306M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4910 |-4.000000e+01 |-3.600000e+01 | 11.11%
1577.22/1577.50 c 1577s| 31300 | 12618 | 1469k| 46.6 | 307M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |4930 |-4.000000e+01 |-3.600000e+01 | 11.11%
1580.43/1580.74 c 1581s| 31400 | 12654 | 1472k| 46.6 | 307M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4947 |-4.000000e+01 |-3.600000e+01 | 11.11%
1584.73/1585.09 c 1585s| 31500 | 12684 | 1476k| 46.5 | 308M| 60 | 34 | 760 | 41k| 760 | 41k| 264 | 0 |4975 |-4.000000e+01 |-3.600000e+01 | 11.11%
1587.62/1587.98 c 1588s| 31600 | 12714 | 1479k| 46.5 | 308M| 60 | 95 | 760 | 41k| 760 | 41k| 264 | 0 |4976 |-4.000000e+01 |-3.600000e+01 | 11.11%
1593.02/1593.32 c 1593s| 31700 | 12750 | 1485k| 46.5 | 309M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4997 |-4.000000e+01 |-3.600000e+01 | 11.11%
1595.53/1595.88 c 1596s| 31800 | 12764 | 1487k| 46.4 | 309M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5005 |-4.000000e+01 |-3.600000e+01 | 11.11%
1599.53/1599.80 c 1600s| 31900 | 12804 | 1491k| 46.4 | 310M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5016 |-4.000000e+01 |-3.600000e+01 | 11.11%
1604.22/1604.58 c 1605s| 32000 | 12838 | 1496k| 46.4 | 310M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5035 |-4.000000e+01 |-3.600000e+01 | 11.11%
1608.52/1608.88 c 1609s| 32100 | 12874 | 1500k| 46.4 | 311M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |5053 |-4.000000e+01 |-3.600000e+01 | 11.11%
1611.82/1612.16 c 1612s| 32200 | 12900 | 1503k| 46.3 | 311M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |5065 |-4.000000e+01 |-3.600000e+01 | 11.11%
1616.02/1616.33 c 1616s| 32300 | 12932 | 1507k| 46.3 | 312M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |5082 |-4.000000e+01 |-3.600000e+01 | 11.11%
1619.52/1619.89 c 1620s| 32400 | 12978 | 1511k| 46.3 | 313M| 60 | 113 | 760 | 41k| 760 | 41k| 264 | 0 |5096 |-4.000000e+01 |-3.600000e+01 | 11.11%
1623.02/1623.30 c 1623s| 32500 | 13008 | 1514k| 46.2 | 313M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5116 |-4.000000e+01 |-3.600000e+01 | 11.11%
1627.41/1627.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.41/1627.76 c 1628s| 32600 | 13052 | 1518k| 46.2 | 314M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5141 |-4.000000e+01 |-3.600000e+01 | 11.11%
1631.31/1631.64 c 1632s| 32700 | 13084 | 1522k| 46.2 | 315M| 60 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |5146 |-4.000000e+01 |-3.600000e+01 | 11.11%
1634.82/1635.10 c 1635s| 32800 | 13114 | 1525k| 46.2 | 315M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5156 |-4.000000e+01 |-3.600000e+01 | 11.11%
1638.21/1638.53 c 1639s| 32900 | 13146 | 1528k| 46.1 | 316M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |5169 |-4.000000e+01 |-3.600000e+01 | 11.11%
1641.92/1642.26 c 1642s| 33000 | 13190 | 1532k| 46.1 | 317M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |5181 |-4.000000e+01 |-3.600000e+01 | 11.11%
1646.81/1647.17 c 1647s| 33100 | 13232 | 1537k| 46.1 | 317M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |5190 |-4.000000e+01 |-3.600000e+01 | 11.11%
1649.72/1650.09 c 1650s| 33200 | 13256 | 1540k| 46.1 | 318M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |5198 |-4.000000e+01 |-3.600000e+01 | 11.11%
1653.61/1653.95 c 1654s| 33300 | 13290 | 1544k| 46.1 | 318M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5201 |-4.000000e+01 |-3.600000e+01 | 11.11%
1657.32/1657.65 c 1658s| 33400 | 13330 | 1548k| 46.0 | 319M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |5205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1660.61/1660.92 c 1661s| 33500 | 13358 | 1551k| 46.0 | 319M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |5206 |-4.000000e+01 |-3.600000e+01 | 11.11%
1663.21/1663.59 c 1664s| 33600 | 13386 | 1554k| 45.9 | 320M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |5208 |-4.000000e+01 |-3.600000e+01 | 11.11%
1665.91/1666.27 c 1666s| 33700 | 13414 | 1557k| 45.9 | 320M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1669.21/1669.56 c 1670s| 33800 | 13456 | 1561k| 45.9 | 321M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1672.61/1672.99 c 1673s| 33900 | 13496 | 1565k| 45.8 | 322M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1675.10/1675.49 c 1675s| 34000 | 13530 | 1568k| 45.8 | 323M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1677.51/1677.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.51/1677.89 c 1678s| 34100 | 13550 | 1571k| 45.8 | 323M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1681.52/1681.82 c 1682s| 34200 | 13576 | 1575k| 45.8 | 323M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1684.20/1684.55 c 1685s| 34300 | 13608 | 1579k| 45.7 | 324M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1686.90/1687.28 c 1687s| 34400 | 13638 | 1582k| 45.7 | 325M| 60 | 109 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1690.00/1690.32 c 1690s| 34500 | 13674 | 1586k| 45.7 | 325M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1692.80/1693.19 c 1693s| 34600 | 13712 | 1589k| 45.6 | 326M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1695.81/1696.19 c 1696s| 34700 | 13742 | 1592k| 45.6 | 326M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1698.71/1699.05 c 1699s| 34800 | 13778 | 1596k| 45.5 | 327M| 60 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1702.61/1702.94 c 1703s| 34900 | 13838 | 1600k| 45.6 | 328M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1705.60/1705.92 c 1706s| 35000 | 13876 | 1604k| 45.5 | 328M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1708.30/1708.62 c 1709s| 35100 | 13910 | 1607k| 45.5 | 329M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1710.50/1710.81 c 1711s| 35200 | 13936 | 1609k| 45.4 | 330M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1713.11/1713.45 c 1713s| 35300 | 13966 | 1612k| 45.4 | 330M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |5212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1715.80/1716.18 c 1716s| 35400 | 14008 | 1615k| 45.3 | 331M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1718.00/1718.35 c 1718s| 35500 | 14030 | 1617k| 45.3 | 331M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1720.90/1721.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.90/1721.30 c 1721s| 35600 | 14058 | 1621k| 45.2 | 332M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1724.10/1724.48 c 1724s| 35700 | 14098 | 1624k| 45.2 | 332M| 60 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1727.09/1727.46 c 1727s| 35800 | 14138 | 1628k| 45.2 | 333M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1731.19/1731.56 c 1732s| 35900 | 14186 | 1632k| 45.2 | 334M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5214 |-4.000000e+01 |-3.600000e+01 | 11.11%
1734.90/1735.21 c 1735s| 36000 | 14216 | 1635k| 45.1 | 334M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |5233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1737.70/1738.06 c 1738s| 36100 | 14260 | 1639k| 45.1 | 335M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |5233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1740.90/1741.22 c 1741s| 36200 | 14292 | 1641k| 45.0 | 336M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |5252 |-4.000000e+01 |-3.600000e+01 | 11.11%
1744.21/1744.59 c 1745s| 36300 | 14322 | 1645k| 45.0 | 336M| 60 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |5266 |-4.000000e+01 |-3.600000e+01 | 11.11%
1751.20/1751.53 c 1752s| 36400 | 14378 | 1651k| 45.1 | 338M| 60 | 92 | 760 | 41k| 760 | 41k| 264 | 0 |5291 |-4.000000e+01 |-3.600000e+01 | 11.11%
1758.10/1758.47 c 1758s| 36500 | 14422 | 1659k| 45.2 | 339M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5331 |-4.000000e+01 |-3.600000e+01 | 11.11%
1762.60/1762.95 c 1763s| 36600 | 14460 | 1663k| 45.1 | 339M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5349 |-4.000000e+01 |-3.600000e+01 | 11.11%
1765.60/1765.96 c 1766s| 36700 | 14498 | 1667k| 45.1 | 340M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5349 |-4.000000e+01 |-3.600000e+01 | 11.11%
1770.60/1770.94 c 1771s| 36800 | 14550 | 1672k| 45.1 | 341M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5378 |-4.000000e+01 |-3.600000e+01 | 11.11%
1772.69/1773.09 c 1773s| 36900 | 14570 | 1673k| 45.1 | 341M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5382 |-4.000000e+01 |-3.600000e+01 | 11.11%
1776.10/1776.46 c 1776s| 37000 | 14596 | 1677k| 45.0 | 342M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5398 |-4.000000e+01 |-3.600000e+01 | 11.11%
1779.59/1779.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.59/1779.93 c 1780s| 37100 | 14632 | 1680k| 45.0 | 342M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |5416 |-4.000000e+01 |-3.600000e+01 | 11.11%
1782.29/1782.68 o -37
1782.29/1782.68 c *1783s| 37167 | 9218 | 1683k| 45.0 | 262M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5432 |-4.000000e+01 |-3.700000e+01 | 8.11%
1783.09/1783.46 c 1783s| 37200 | 9229 | 1684k| 45.0 | 262M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5432 |-4.000000e+01 |-3.700000e+01 | 8.11%
1786.39/1786.76 c 1787s| 37300 | 9253 | 1687k| 45.0 | 263M| 60 | 94 | 760 | 41k| 760 | 41k| 264 | 0 |5443 |-4.000000e+01 |-3.700000e+01 | 8.11%
1790.40/1790.80 c 1791s| 37400 | 9267 | 1691k| 44.9 | 263M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5465 |-4.000000e+01 |-3.700000e+01 | 8.11%
1793.59/1793.93 c 1794s| 37500 | 9297 | 1694k| 44.9 | 263M| 60 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |5475 |-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.00
1796.69/1797.01 c Solving Nodes : 37594
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.00
1796.69/1797.01 c solving : 1797.00
1796.69/1797.01 c presolving : 0.47 (included in solving)
1796.69/1797.01 c reading : 0.09 (included in solving)
1796.69/1797.01 c copying : 1.12 (19 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3693268-1338031504.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-3693268-1338031504.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.12 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.21 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 27554 0 639 0 42 506 0 0 54488
1796.69/1797.01 c setppc : 41605 41605 25 93709 1 0 634 0 0 639639 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 : 257.57 0.00 0.00 0.00 257.55 0.00 0.02 0.00
1796.69/1797.01 c setppc : 15.45 0.00 0.06 14.59 0.00 0.00 0.79 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 : 121213 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 27645 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.06 0.00 0.00 0.06 0.00
1796.69/1797.01 c pseudoobj : 13.49 0.01 0.00 13.48 0.00
1796.69/1797.01 c vbounds : 0.05 0.00 0.00 0.05 0.00
1796.69/1797.01 c redcost : 0.41 0.00 0.00 0.41 0.00
1796.69/1797.01 c probing : 0.12 0.00 0.12 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.14 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.15 0.00 10 0 0 0 0
1796.69/1797.01 c flowcover : 3.31 0.00 10 0 0 0 0
1796.69/1797.01 c clique : 0.50 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 : 257.49 0.00 27553 42 506 0 0 54488
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.07 0.00 8 1
1796.69/1797.01 c crossover : 3.98 0.00 18 4
1796.69/1797.01 c fracdiving : 74.72 0.00 197 5
1796.69/1797.01 c objpscostdiving : 32.65 0.00 99 126
1796.69/1797.01 c rootsoldiving : 22.03 0.00 99 76
1796.69/1797.01 c linesearchdiving : 29.61 0.00 198 11
1796.69/1797.01 c veclendiving : 79.46 0.00 198 9
1796.69/1797.01 c coefdiving : 51.35 0.00 198 13
1796.69/1797.01 c pscostdiving : 27.45 0.00 198 10
1796.69/1797.01 c guideddiving : 75.44 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.49 0.00 27578 99
1796.69/1797.01 c zirounding : 40.54 0.00 13551 271
1796.69/1797.01 c rounding : 18.09 0.00 7503 1
1796.69/1797.01 c shifting : 4.82 0.00 1894 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.03 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.53 0.00 1 1
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.02 0.00 0 0
1796.69/1797.01 c trysol : 0.03 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.03 3 0 0.00 0.00 0.03 3
1796.69/1797.01 c dual LP : 863.75 38150 1368819 36.13 1584.74 1.98 264
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 309.68 23080 329035 14.26 1062.51
1796.69/1797.01 c strong branching : 255.00 5488 319781 58.27 1254.05
1796.69/1797.01 c (at root node) : - 33 3247 98.39 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 37594
1796.69/1797.01 c nodes (total) : 37594
1796.69/1797.01 c nodes left : 9303
1796.69/1797.01 c max depth : 60
1796.69/1797.01 c max depth (total): 60
1796.69/1797.01 c backtracks : 4924 (13.1%)
1796.69/1797.01 c delayed cutoffs : 0
1796.69/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 5.26
1796.69/1797.01 c switching time : 37.34
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 635 (10 improvements)
1796.69/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1796.69/1797.01 c Primal Bound : -3.70000000000000e+01 (in run 1, after 37167 nodes, 1782.65 seconds, depth 24, found by <relaxation>)
1796.69/1797.01 c Dual Bound : -4.00000000000000e+01
1796.69/1797.01 c Gap : 8.11 %
1796.69/1797.01 c Root Dual Bound : -4.00000000000000e+01
1796.69/1797.01 c Root Iterations : 11177
1796.89/1797.24 c Time complete: 1796.93.
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-3693268-1338031504/watcher-3693268-1338031504 -o /tmp/evaluation-result-3693268-1338031504/solver-3693268-1338031504 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693268-1338031504.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.97 2.01 1.86 3/176 8224
/proc/meminfo: memFree=27247688/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=10456 CPUtime=0 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 1376 0 0 0 0 0 0 0 20 0 1 0 269274866 10706944 1330 33554432000 4194304 10169799 140737017815440 140733831788760 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 2614 1334 412 1459 0 1146 0
[startup+0.0471081 s]
/proc/loadavg: 1.97 2.01 1.86 3/176 8224
/proc/meminfo: memFree=27247688/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=17440 CPUtime=0.04 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 3125 0 0 0 4 0 0 0 20 0 1 0 269274866 17858560 3079 33554432000 4194304 10169799 140737017815440 140737017681768 5280594 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 4360 3079 412 1459 0 2892 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17440
[startup+0.100326 s]
/proc/loadavg: 1.97 2.01 1.86 3/176 8224
/proc/meminfo: memFree=27247688/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=30552 CPUtime=0.09 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 6362 0 0 0 9 0 0 0 20 0 1 0 269274866 31285248 6316 33554432000 4194304 10169799 140737017815440 140737017681768 4897840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 7638 6316 462 1459 0 6170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30552
[startup+0.300285 s]
/proc/loadavg: 1.97 2.01 1.86 3/176 8224
/proc/meminfo: memFree=27247688/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=70792 CPUtime=0.29 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 16149 0 0 0 26 3 0 0 20 0 1 0 269274866 72491008 16093 33554432000 4194304 10169799 140737017815440 140737017681768 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 17698 16093 545 1459 0 16230 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70792
[startup+0.700289 s]
/proc/loadavg: 1.97 2.01 1.86 3/176 8224
/proc/meminfo: memFree=27247688/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=131276 CPUtime=0.69 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 31307 0 0 0 62 7 0 0 20 0 1 0 269274866 134426624 31129 33554432000 4194304 10169799 140737017815440 140737017681768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 32819 31129 724 1459 0 31351 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 131276
[startup+1.50028 s]
/proc/loadavg: 1.97 2.01 1.86 3/177 8225
/proc/meminfo: memFree=27122652/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=148712 CPUtime=1.49 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 34717 0 0 0 139 10 0 0 20 0 1 0 269274866 152281088 34611 33554432000 4194304 10169799 140737017815440 140737017811960 7470223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 37178 34611 761 1459 0 35710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148712
[startup+3.10023 s]
/proc/loadavg: 1.97 2.01 1.86 3/174 8235
/proc/meminfo: memFree=28711052/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=148712 CPUtime=3.09 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 35452 0 0 0 299 10 0 0 20 0 1 0 269274866 152281088 35215 33554432000 4194304 10169799 140737017815440 140737017811752 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 37178 35215 773 1459 0 35710 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 148712
[startup+6.30023 s]
/proc/loadavg: 1.97 2.01 1.86 3/177 8263
/proc/meminfo: memFree=28416836/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=148712 CPUtime=6.29 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 35706 0 0 0 618 11 0 0 20 0 1 0 269274866 152281088 35469 33554432000 4194304 10169799 140737017815440 140737017811976 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 37178 35469 774 1459 0 35710 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 148712
[startup+12.7003 s]
/proc/loadavg: 1.97 2.01 1.86 3/177 8263
/proc/meminfo: memFree=28408004/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=148712 CPUtime=12.69 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 35720 0 0 0 1257 12 0 0 20 0 1 0 269274866 152281088 35483 33554432000 4194304 10169799 140737017815440 140737017809112 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 37178 35483 774 1459 0 35710 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148712
[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 1.86 3/177 8263
/proc/meminfo: memFree=28407144/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=144988 CPUtime=25.48 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 45758 0 0 0 2527 21 0 0 20 0 1 0 269274866 148467712 35124 33554432000 4194304 10169799 140737017815440 140737017809720 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 36247 35124 837 1459 0 34779 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144988
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 1.87 3/177 8263
/proc/meminfo: memFree=28401648/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=144988 CPUtime=51.07 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 45767 0 0 0 5081 26 0 0 20 0 1 0 269274866 148467712 35166 33554432000 4194304 10169799 140737017815440 140737017810424 7893647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 36247 35166 837 1459 0 34779 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144988
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.87 3/177 8264
/proc/meminfo: memFree=28318404/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=146292 CPUtime=102.27 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 45775 0 0 0 10187 40 0 0 20 0 1 0 269274866 149803008 35186 33554432000 4194304 10169799 140737017815440 140737017809576 8060922 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 36573 35186 837 1459 0 35105 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 146292
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.88 3/177 8264
/proc/meminfo: memFree=28305620/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=160332 CPUtime=162.26 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 73206 0 0 0 16163 63 0 0 20 0 1 0 269274866 164179968 38269 33554432000 4194304 10169799 140737017815440 140737017813080 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 40083 38269 837 1459 0 38615 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 160332
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/177 8264
/proc/meminfo: memFree=28291924/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=173508 CPUtime=222.25 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 89272 0 0 0 22141 84 0 0 20 0 1 0 269274866 177672192 41646 33554432000 4194304 10169799 140737017815440 140737017809832 7893615 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 43377 41646 837 1459 0 41909 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 173508
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 8264
/proc/meminfo: memFree=28275280/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=187600 CPUtime=282.24 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 103217 0 0 0 28120 104 0 0 20 0 1 0 269274866 192102400 45318 33554432000 4194304 10169799 140737017815440 140737017810232 8044408 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 46900 45318 837 1459 0 45432 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 187600
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 8267
/proc/meminfo: memFree=28263136/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=200636 CPUtime=342.23 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 106353 0 0 0 34105 118 0 0 20 0 1 0 269274866 205451264 48470 33554432000 4194304 10169799 140737017815440 140737017811560 7900661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 50159 48470 837 1459 0 48691 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 200636
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 8268
/proc/meminfo: memFree=28251248/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=212032 CPUtime=402.22 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 121812 0 0 0 40085 137 0 0 20 0 1 0 269274866 217120768 51346 33554432000 4194304 10169799 140737017815440 140737017809512 8044904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 53008 51346 837 1459 0 51540 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 212032
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 8269
/proc/meminfo: memFree=28244260/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=227680 CPUtime=462.2 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 136770 0 0 0 46063 157 0 0 20 0 1 0 269274866 233144320 55170 33554432000 4194304 10169799 140737017815440 140737017809832 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 56920 55170 837 1459 0 55452 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 227680
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 8269
/proc/meminfo: memFree=28236208/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=236060 CPUtime=522.2 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 138758 0 0 0 52048 172 0 0 20 0 1 0 269274866 241725440 57149 33554432000 4194304 10169799 140737017815440 140737017809848 7900694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 59015 57149 837 1459 0 57547 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 236060
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 8269
/proc/meminfo: memFree=28226660/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=246040 CPUtime=582.19 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 152407 0 0 0 58031 188 0 0 20 0 1 0 269274866 251944960 59629 33554432000 4194304 10169799 140737017815440 140737017810312 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 61510 59629 837 1459 0 60042 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 246040
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28124772/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=329336 CPUtime=1122.1 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 272802 0 0 0 111858 352 0 0 20 0 1 0 269274866 337240064 80455 33554432000 4194304 10169799 140737017815440 140737017810232 7884905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 82334 80455 841 1459 0 80866 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 329336
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/177 8274
/proc/meminfo: memFree=28110276/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=338172 CPUtime=1182.09 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 274815 0 0 0 117842 367 0 0 20 0 1 0 269274866 346288128 82612 33554432000 4194304 10169799 140737017815440 140737017810136 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 84543 82612 841 1459 0 83075 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 338172
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 8274
/proc/meminfo: memFree=28096976/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=345472 CPUtime=1242.07 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 277034 0 0 0 123827 380 0 0 20 0 1 0 269274866 353763328 84829 33554432000 4194304 10169799 140737017815440 140737017809960 7893717 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 86368 84829 841 1459 0 84900 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 345472
[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 1.94 3/177 8274
/proc/meminfo: memFree=28075028/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=359428 CPUtime=1302.07 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 280330 0 0 0 129811 396 0 0 20 0 1 0 269274866 368054272 88125 33554432000 4194304 10169799 140737017815440 140737017811960 5131754 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 89857 88125 841 1459 0 88389 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 359428
[startup+1362.3 s]
/proc/loadavg: 2.20 2.08 1.95 3/177 8275
/proc/meminfo: memFree=28060892/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=367092 CPUtime=1362.06 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 294812 0 0 0 135793 413 0 0 20 0 1 0 269274866 375902208 90266 33554432000 4194304 10169799 140737017815440 140737017810264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 91773 90266 841 1459 0 90305 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 367092
[startup+1422.31 s]
/proc/loadavg: 2.19 2.10 1.96 3/177 8275
/proc/meminfo: memFree=28041184/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=382412 CPUtime=1422.06 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 298428 0 0 0 141777 429 0 0 20 0 1 0 269274866 391589888 93852 33554432000 4194304 10169799 140737017815440 140737017810232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 95603 93852 841 1459 0 94135 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 382412
[startup+1482.3 s]
/proc/loadavg: 2.07 2.08 1.96 3/177 8275
/proc/meminfo: memFree=28027172/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=392388 CPUtime=1482.05 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 301066 0 0 0 147762 443 0 0 20 0 1 0 269274866 401805312 96481 33554432000 4194304 10169799 140737017815440 140737017810232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 98097 96481 841 1459 0 96629 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 392388
[startup+1542.3 s]
/proc/loadavg: 2.02 2.06 1.96 3/177 8278
/proc/meminfo: memFree=28012408/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=403936 CPUtime=1542.04 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 303982 0 0 0 153745 459 0 0 20 0 1 0 269274866 413630464 99348 33554432000 4194304 10169799 140737017815440 140737017811960 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 100984 99348 841 1459 0 99516 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 403936
[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 1.96 3/177 8279
/proc/meminfo: memFree=27994504/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=413248 CPUtime=1602.03 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 306289 0 0 0 159729 474 0 0 20 0 1 0 269274866 423165952 101655 33554432000 4194304 10169799 140737017815440 140737017809672 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 103312 101655 841 1459 0 101844 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 413248
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 1.97 3/177 8280
/proc/meminfo: memFree=27977932/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=422668 CPUtime=1662.01 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 320393 0 0 0 165708 493 0 0 20 0 1 0 269274866 432812032 103839 33554432000 4194304 10169799 140737017815440 140737017810424 8044192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 105667 103839 841 1459 0 104199 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 422668
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/177 8280
/proc/meminfo: memFree=27959024/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=434256 CPUtime=1722 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 323294 0 0 0 171692 508 0 0 20 0 1 0 269274866 444678144 106990 33554432000 4194304 10169799 140737017815440 140737017813960 5616624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 108564 106990 841 1459 0 107096 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 434256
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/177 8280
/proc/meminfo: memFree=27939928/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=445164 CPUtime=1781.99 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 325791 0 0 0 177675 524 0 0 20 0 1 0 269274866 455847936 109487 33554432000 4194304 10169799 140737017815440 140737017810040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 111291 109487 841 1459 0 109823 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 445164
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 1.97 3/177 8280
/proc/meminfo: memFree=27939432/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=445164 CPUtime=1785.19 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 325827 0 0 0 177995 524 0 0 20 0 1 0 269274866 455847936 109523 33554432000 4194304 10169799 140737017815440 140737017810232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 111291 109523 841 1459 0 109823 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 445164
[startup+1791.91 s]
/proc/loadavg: 2.00 2.03 1.97 3/177 8280
/proc/meminfo: memFree=27940920/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=445164 CPUtime=1791.6 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 337396 0 0 0 178631 529 0 0 20 0 1 0 269274866 455847936 109114 33554432000 4194304 10169799 140737017815440 140737017809848 7546690 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 111291 109114 841 1459 0 109823 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 445164
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 1.97 3/177 8280
/proc/meminfo: memFree=27939184/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=446728 CPUtime=1794.8 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 337691 0 0 0 178950 530 0 0 20 0 1 0 269274866 457449472 109409 33554432000 4194304 10169799 140737017815440 140737017810424 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 111682 109409 841 1459 0 110214 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 446728
[startup+1795.9 s]
/proc/loadavg: 2.00 2.03 1.97 3/177 8280
/proc/meminfo: memFree=27939184/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=446728 CPUtime=1795.59 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 337726 0 0 0 179029 530 0 0 20 0 1 0 269274866 457449472 109444 33554432000 4194304 10169799 140737017815440 140737017810424 5120223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 111682 109444 841 1459 0 110214 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 446728
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 1.97 3/177 8280
/proc/meminfo: memFree=27938936/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=446728 CPUtime=1796.38 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 337747 0 0 0 179108 530 0 0 20 0 1 0 269274866 457449472 109465 33554432000 4194304 10169799 140737017815440 140737017810232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 111682 109465 841 1459 0 110214 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 446728
[startup+1797.1 s]
/proc/loadavg: 2.00 2.03 1.97 3/177 8280
/proc/meminfo: memFree=27938936/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=446728 CPUtime=1796.79 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 337750 0 0 0 179148 531 0 0 20 0 1 0 269274866 457449472 109468 33554432000 4194304 10169799 140737017815440 140737017813256 5886367 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 111682 109468 843 1459 0 110214 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 446728
[startup+1797.2 s]
/proc/loadavg: 2.00 2.03 1.97 3/177 8280
/proc/meminfo: memFree=27938936/32873648 swapFree=6596/6596
[pid=8224] ppid=8222 vsize=439628 CPUtime=1796.89 cores=1,3,5,7
/proc/8224/stat : 8224 (scip-2.1.1.4sfi) R 8222 8224 6744 0 -1 4202496 337750 0 0 0 179158 531 0 0 20 0 1 0 269274866 450179072 107694 33554432000 4194304 10169799 140737017815440 140737017813256 4950544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8224/statm: 109907 107694 843 1459 0 108439 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 439628
Child status: 0
Real time (s): 1797.24
CPU time (s): 1796.94
CPU user time (s): 1791.62
CPU system time (s): 5.32019
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 489044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.62
system time used= 5.32019
maximum resident set size= 483672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337752
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= 40
involuntary context switches= 1845
runsolver used 3.09853 second user time and 8.46471 second system time
The end