0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692102-1338032070.opb>
0.01/0.09 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41605 constraints
0.01/0.09 c problem read in 0.09
0.09/0.15 o 0
0.09/0.15 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.15 c presolving:
0.39/0.49 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.69/0.74 c (0.7s) probing: 51/760 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.74 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.69/0.75 c presolving (2 rounds):
0.69/0.75 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.75 c 83210 implications, 0 cliques
0.69/0.75 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41605 constraints
0.69/0.75 c 41605 constraints of type <setppc>
0.69/0.75 c transformed objective value is always integral (scale: 1)
0.69/0.75 c Presolving Time: 0.61
0.69/0.75 c - non default parameters ----------------------------------------------------------------------
0.69/0.75 c # SCIP version 2.1.1.4
0.69/0.75 c
0.69/0.75 c # maximal time in seconds to run
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.75 c limits/time = 1797
0.69/0.75 c
0.69/0.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.75 c limits/memory = 13950
0.69/0.75 c
0.69/0.75 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.75 c # [type: int, range: [1,2], default: 1]
0.69/0.75 c timing/clocktype = 2
0.69/0.75 c
0.69/0.75 c # belongs reading time to solving time?
0.69/0.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.75 c timing/reading = TRUE
0.69/0.75 c
0.69/0.75 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.75 c separating/rapidlearning/freq = 0
0.69/0.75 c
0.69/0.75 c -----------------------------------------------------------------------------------------------
0.69/0.75 c start solving
0.69/0.76 c
1.19/1.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.21 c t 1.2s| 1 | 0 | 762 | - | 55M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | Inf
1.19/1.24 o -1
1.19/1.24 c R 1.2s| 1 | 0 | 762 | - | 55M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | Large
1.19/1.27 o -2
1.19/1.27 c s 1.3s| 1 | 0 | 762 | - | 55M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | Large
1.89/1.98 c 2.0s| 1 | 0 | 1021 | - | 55M| 0 | 708 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.540000e+02 |-2.000000e+00 | Large
1.89/1.99 o -30
1.89/1.99 c b 2.0s| 1 | 0 | 1021 | - | 55M| 0 | 708 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.540000e+02 |-3.000000e+01 |1080.00%
2.69/2.74 c 2.7s| 1 | 0 | 1149 | - | 55M| 0 | 673 | 760 | 41k| 760 | 41k| 12 | 0 | 0 |-3.365000e+02 |-3.000000e+01 |1021.67%
3.69/3.72 c 3.7s| 1 | 0 | 1229 | - | 55M| 0 | 637 | 760 | 41k| 760 | 41k| 18 | 0 | 0 |-3.185000e+02 |-3.000000e+01 | 961.67%
4.68/4.77 c 4.8s| 1 | 0 | 1436 | - | 55M| 0 | 595 | 760 | 41k| 760 | 41k| 35 | 0 | 0 |-2.975000e+02 |-3.000000e+01 | 891.67%
5.79/5.89 c 5.9s| 1 | 0 | 1608 | - | 55M| 0 | 559 | 760 | 41k| 760 | 41k| 41 | 0 | 0 |-2.795000e+02 |-3.000000e+01 | 831.67%
6.89/6.92 c 6.9s| 1 | 0 | 1752 | - | 55M| 0 | 523 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-2.615000e+02 |-3.000000e+01 | 771.67%
8.08/8.11 c 8.1s| 1 | 0 | 2088 | - | 55M| 0 | 495 | 760 | 41k| 760 | 41k| 72 | 0 | 0 |-2.475000e+02 |-3.000000e+01 | 725.00%
9.39/9.44 c 9.4s| 1 | 0 | 2552 | - | 55M| 0 | 450 | 760 | 41k| 760 | 41k| 89 | 0 | 0 |-2.250000e+02 |-3.000000e+01 | 650.00%
10.59/10.66 c 10.7s| 1 | 0 | 2937 | - | 55M| 0 | 411 | 760 | 41k| 760 | 41k| 106 | 0 | 0 |-2.055000e+02 |-3.000000e+01 | 585.00%
12.09/12.19 c 12.2s| 1 | 0 | 4036 | - | 55M| 0 | 374 | 760 | 41k| 760 | 41k| 122 | 0 | 0 |-1.870000e+02 |-3.000000e+01 | 523.33%
12.48/12.51 c 12.5s| 1 | 0 | 4234 | - | 55M| 0 | 355 | 760 | 41k| 760 | 41k| 135 | 0 | 0 |-1.775000e+02 |-3.000000e+01 | 491.67%
13.69/13.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.72 c 13.7s| 1 | 0 | 5911 | - | 55M| 0 | 308 | 760 | 41k| 760 | 41k| 148 | 0 | 0 |-1.540000e+02 |-3.000000e+01 | 413.33%
14.48/14.50 c 14.5s| 1 | 0 | 7019 | - | 55M| 0 | 265 | 760 | 41k| 760 | 41k| 155 | 0 | 0 |-1.325000e+02 |-3.000000e+01 | 341.67%
14.78/14.87 c 14.9s| 1 | 0 | 7329 | - | 55M| 0 | 233 | 760 | 41k| 760 | 41k| 167 | 0 | 0 |-1.165000e+02 |-3.000000e+01 | 288.33%
15.59/15.60 c 15.6s| 1 | 0 | 8292 | - | 56M| 0 | 186 | 760 | 41k| 760 | 41k| 182 | 0 | 0 |-9.300000e+01 |-3.000000e+01 | 210.00%
16.09/16.12 c 16.1s| 1 | 0 | 9140 | - | 56M| 0 | 157 | 760 | 41k| 760 | 41k| 192 | 0 | 0 |-7.850000e+01 |-3.000000e+01 | 161.67%
16.58/16.60 c 16.6s| 1 | 0 | 9883 | - | 56M| 0 | 133 | 760 | 41k| 760 | 41k| 200 | 0 | 0 |-6.650000e+01 |-3.000000e+01 | 121.67%
16.88/16.96 c 17.0s| 1 | 0 | 10322 | - | 56M| 0 | 110 | 760 | 41k| 760 | 41k| 206 | 0 | 0 |-5.500000e+01 |-3.000000e+01 | 83.33%
17.08/17.18 c 17.2s| 1 | 0 | 10465 | - | 56M| 0 | 110 | 760 | 41k| 760 | 41k| 213 | 0 | 0 |-4.850000e+01 |-3.000000e+01 | 61.67%
17.49/17.54 c 17.5s| 1 | 0 | 10929 | - | 56M| 0 | 126 | 760 | 41k| 760 | 41k| 224 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.59/17.61 c 17.6s| 1 | 0 | 10984 | - | 56M| 0 | 125 | 760 | 41k| 760 | 41k| 233 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.68/17.70 c 17.7s| 1 | 0 | 11065 | - | 56M| 0 | 140 | 760 | 41k| 760 | 41k| 245 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.68/17.77 c 17.8s| 1 | 0 | 11101 | - | 56M| 0 | 133 | 760 | 41k| 760 | 41k| 249 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.78/17.82 c 17.8s| 1 | 0 | 11135 | - | 56M| 0 | 138 | 760 | 41k| 760 | 41k| 257 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
17.78/17.89 c 17.9s| 1 | 0 | 11177 | - | 56M| 0 | 143 | 760 | 41k| 760 | 41k| 264 | 0 | 0 |-4.000000e+01 |-3.000000e+01 | 33.33%
22.88/22.90 c 22.9s| 1 | 2 | 11177 | - | 56M| 0 | 143 | 760 | 41k| 760 | 41k| 264 | 0 | 33 |-4.000000e+01 |-3.000000e+01 | 33.33%
115.56/115.68 o -32
115.56/115.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.56/115.68 c S 116s| 86 | 83 | 17308 | 72.1 | 60M| 22 | 0 | 760 | 41k| 760 | 41k| 264 | 0 |1478 |-4.000000e+01 |-3.200000e+01 | 25.00%
118.36/118.40 c 118s| 100 | 90 | 17686 | 65.7 | 61M| 22 | 107 | 760 | 41k| 760 | 41k| 264 | 0 |1518 |-4.000000e+01 |-3.200000e+01 | 25.00%
125.86/125.90 c 126s| 200 | 188 | 23445 | 61.6 | 63M| 24 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |1552 |-4.000000e+01 |-3.200000e+01 | 25.00%
131.87/131.92 c 132s| 300 | 270 | 28237 | 57.1 | 65M| 32 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |1583 |-4.000000e+01 |-3.200000e+01 | 25.00%
136.86/136.95 c 137s| 400 | 338 | 32136 | 52.5 | 66M| 32 | 50 | 760 | 41k| 760 | 41k| 264 | 0 |1619 |-4.000000e+01 |-3.200000e+01 | 25.00%
142.36/142.41 c 142s| 500 | 420 | 36330 | 50.4 | 67M| 35 | 45 | 760 | 41k| 760 | 41k| 264 | 0 |1652 |-4.000000e+01 |-3.200000e+01 | 25.00%
146.96/147.06 c 147s| 600 | 482 | 39690 | 47.6 | 69M| 43 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |1677 |-4.000000e+01 |-3.200000e+01 | 25.00%
151.16/151.26 c 151s| 700 | 538 | 42869 | 45.3 | 70M| 47 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |1697 |-4.000000e+01 |-3.200000e+01 | 25.00%
155.26/155.33 c 155s| 800 | 580 | 45814 | 43.4 | 70M| 52 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |1725 |-4.000000e+01 |-3.200000e+01 | 25.00%
159.05/159.18 c 159s| 900 | 624 | 48664 | 41.7 | 71M| 52 | - | 760 | 41k| 760 | 41k| 264 | 0 |1750 |-4.000000e+01 |-3.200000e+01 | 25.00%
163.86/163.94 c 164s| 1000 | 680 | 51784 | 40.6 | 72M| 55 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |1778 |-4.000000e+01 |-3.200000e+01 | 25.00%
167.86/167.90 c 168s| 1100 | 738 | 55567 | 40.4 | 73M| 55 | 47 | 760 | 41k| 760 | 41k| 264 | 0 |1794 |-4.000000e+01 |-3.200000e+01 | 25.00%
172.66/172.73 c 173s| 1200 | 798 | 58953 | 39.8 | 74M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1829 |-4.000000e+01 |-3.200000e+01 | 25.00%
176.16/176.26 c 176s| 1300 | 858 | 62043 | 39.2 | 75M| 55 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |1837 |-4.000000e+01 |-3.200000e+01 | 25.00%
179.56/179.69 c 180s| 1400 | 912 | 65810 | 39.1 | 77M| 55 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |1845 |-4.000000e+01 |-3.200000e+01 | 25.00%
183.85/183.97 o -33
183.85/183.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.85/183.97 c p 184s| 1489 | 836 | 70935 | 40.2 | 76M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1847 |-4.000000e+01 |-3.300000e+01 | 21.21%
184.55/184.67 c 185s| 1500 | 847 | 71742 | 40.4 | 76M| 55 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |1847 |-4.000000e+01 |-3.300000e+01 | 21.21%
193.95/194.03 c 194s| 1600 | 947 | 81507 | 44.0 | 78M| 55 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |1854 |-4.000000e+01 |-3.300000e+01 | 21.21%
203.15/203.21 c 203s| 1700 | 1045 | 88501 | 45.5 | 80M| 55 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |1890 |-4.000000e+01 |-3.300000e+01 | 21.21%
207.05/207.11 o -34
207.05/207.11 c l 207s| 1744 | 973 | 91608 | 46.1 | 79M| 55 | - | 760 | 41k| 760 | 41k| 264 | 0 |1899 |-4.000000e+01 |-3.400000e+01 | 17.65%
214.05/214.17 c 214s| 1800 | 1029 | 97993 | 48.3 | 80M| 55 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |1924 |-4.000000e+01 |-3.400000e+01 | 17.65%
224.55/224.60 c 225s| 1900 | 1125 |107194 | 50.6 | 82M| 55 | 112 | 760 | 41k| 760 | 41k| 264 | 0 |1940 |-4.000000e+01 |-3.400000e+01 | 17.65%
237.35/237.50 c 237s| 2000 | 1219 |118607 | 53.7 | 85M| 55 | 104 | 760 | 41k| 760 | 41k| 264 | 0 |1981 |-4.000000e+01 |-3.400000e+01 | 17.65%
245.25/245.36 c 245s| 2100 | 1307 |125917 | 54.7 | 86M| 55 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |2016 |-4.000000e+01 |-3.400000e+01 | 17.65%
252.74/252.89 c 253s| 2200 | 1401 |133239 | 55.5 | 88M| 56 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |2032 |-4.000000e+01 |-3.400000e+01 | 17.65%
264.74/264.87 c 265s| 2300 | 1493 |143309 | 57.5 | 90M| 56 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |2052 |-4.000000e+01 |-3.400000e+01 | 17.65%
274.84/274.95 c 275s| 2400 | 1591 |152829 | 59.0 | 92M| 56 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2061 |-4.000000e+01 |-3.400000e+01 | 17.65%
284.23/284.34 c 284s| 2500 | 1691 |162092 | 60.4 | 94M| 56 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |2082 |-4.000000e+01 |-3.400000e+01 | 17.65%
292.83/292.97 c 293s| 2600 | 1787 |170275 | 61.2 | 95M| 56 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |2085 |-4.000000e+01 |-3.400000e+01 | 17.65%
302.13/302.23 c 302s| 2700 | 1877 |178152 | 61.9 | 97M| 56 | 96 | 760 | 41k| 760 | 41k| 264 | 0 |2121 |-4.000000e+01 |-3.400000e+01 | 17.65%
315.03/315.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.03/315.13 c 315s| 2800 | 1971 |188517 | 63.4 | 99M| 56 | 50 | 760 | 41k| 760 | 41k| 264 | 0 |2174 |-4.000000e+01 |-3.400000e+01 | 17.65%
325.83/325.98 c 326s| 2900 | 2063 |198918 | 64.8 | 101M| 56 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2215 |-4.000000e+01 |-3.400000e+01 | 17.65%
336.62/336.72 c 337s| 3000 | 2159 |208974 | 66.0 | 103M| 56 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |2254 |-4.000000e+01 |-3.400000e+01 | 17.65%
347.92/348.07 c 348s| 3100 | 2257 |218408 | 66.9 | 105M| 57 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |2299 |-4.000000e+01 |-3.400000e+01 | 17.65%
357.52/357.64 c 358s| 3200 | 2339 |226423 | 67.3 | 107M| 57 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |2344 |-4.000000e+01 |-3.400000e+01 | 17.65%
368.73/368.89 c 369s| 3300 | 2423 |237143 | 68.5 | 109M| 57 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |2382 |-4.000000e+01 |-3.400000e+01 | 17.65%
379.72/379.86 c 380s| 3400 | 2519 |246794 | 69.3 | 110M| 57 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |2407 |-4.000000e+01 |-3.400000e+01 | 17.65%
388.02/388.13 c 388s| 3500 | 2609 |254465 | 69.5 | 112M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2420 |-4.000000e+01 |-3.400000e+01 | 17.65%
395.31/395.42 c 395s| 3600 | 2695 |262090 | 69.7 | 114M| 57 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |2427 |-4.000000e+01 |-3.400000e+01 | 17.65%
403.81/403.92 c 404s| 3700 | 2783 |271546 | 70.4 | 116M| 57 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |2432 |-4.000000e+01 |-3.400000e+01 | 17.65%
411.71/411.81 c 412s| 3800 | 2873 |279911 | 70.7 | 118M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2440 |-4.000000e+01 |-3.400000e+01 | 17.65%
418.61/418.72 c 419s| 3900 | 2961 |287726 | 70.9 | 119M| 57 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |2446 |-4.000000e+01 |-3.400000e+01 | 17.65%
425.91/426.04 c 426s| 4000 | 3045 |295471 | 71.1 | 121M| 57 | 97 | 760 | 41k| 760 | 41k| 264 | 0 |2449 |-4.000000e+01 |-3.400000e+01 | 17.65%
434.20/434.35 c 434s| 4100 | 3133 |304625 | 71.6 | 122M| 57 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |2450 |-4.000000e+01 |-3.400000e+01 | 17.65%
442.81/442.99 c 443s| 4200 | 3223 |313469 | 72.0 | 124M| 57 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |2452 |-4.000000e+01 |-3.400000e+01 | 17.65%
451.61/451.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.61/451.78 c 452s| 4300 | 3309 |323287 | 72.6 | 126M| 57 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |2464 |-4.000000e+01 |-3.400000e+01 | 17.65%
461.21/461.35 c 461s| 4400 | 3401 |331411 | 72.8 | 127M| 57 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |2509 |-4.000000e+01 |-3.400000e+01 | 17.65%
471.81/471.98 c 472s| 4500 | 3491 |339868 | 73.1 | 129M| 57 | 119 | 760 | 41k| 760 | 41k| 264 | 0 |2562 |-4.000000e+01 |-3.400000e+01 | 17.65%
481.80/481.98 c 482s| 4600 | 3583 |348161 | 73.3 | 131M| 57 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |2598 |-4.000000e+01 |-3.400000e+01 | 17.65%
489.80/489.97 c 490s| 4700 | 3669 |355356 | 73.2 | 133M| 57 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |2630 |-4.000000e+01 |-3.400000e+01 | 17.65%
499.21/499.32 c 499s| 4800 | 3757 |363647 | 73.4 | 134M| 57 | 94 | 760 | 41k| 760 | 41k| 264 | 0 |2664 |-4.000000e+01 |-3.400000e+01 | 17.65%
507.70/507.86 c 508s| 4900 | 3839 |371468 | 73.5 | 136M| 57 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |2699 |-4.000000e+01 |-3.400000e+01 | 17.65%
516.40/516.59 c 517s| 5000 | 3917 |378231 | 73.4 | 137M| 57 | 119 | 760 | 41k| 760 | 41k| 264 | 0 |2738 |-4.000000e+01 |-3.400000e+01 | 17.65%
525.49/525.63 c 526s| 5100 | 4005 |386112 | 73.5 | 139M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2773 |-4.000000e+01 |-3.400000e+01 | 17.65%
528.30/528.43 o -35
528.30/528.43 c l 528s| 5153 | 3526 |388738 | 73.3 | 134M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2784 |-4.000000e+01 |-3.500000e+01 | 14.29%
530.40/530.52 c 531s| 5200 | 3561 |390878 | 73.0 | 135M| 57 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |2788 |-4.000000e+01 |-3.500000e+01 | 14.29%
536.49/536.65 c 537s| 5300 | 3625 |396973 | 72.8 | 136M| 57 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |2798 |-4.000000e+01 |-3.500000e+01 | 14.29%
542.89/543.04 c 543s| 5400 | 3689 |403451 | 72.7 | 137M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2803 |-4.000000e+01 |-3.500000e+01 | 14.29%
547.49/547.62 c 548s| 5500 | 3749 |408533 | 72.3 | 138M| 57 | - | 760 | 41k| 760 | 41k| 264 | 0 |2810 |-4.000000e+01 |-3.500000e+01 | 14.29%
553.29/553.46 c 553s| 5600 | 3821 |414921 | 72.1 | 140M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2812 |-4.000000e+01 |-3.500000e+01 | 14.29%
558.39/558.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.39/558.53 c 559s| 5700 | 3871 |420240 | 71.8 | 141M| 57 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |2820 |-4.000000e+01 |-3.500000e+01 | 14.29%
563.69/563.80 c 564s| 5800 | 3929 |426183 | 71.6 | 142M| 57 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |2822 |-4.000000e+01 |-3.500000e+01 | 14.29%
569.70/569.88 c 570s| 5900 | 4003 |432317 | 71.4 | 143M| 57 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2824 |-4.000000e+01 |-3.500000e+01 | 14.29%
574.19/574.32 c 574s| 6000 | 4065 |436648 | 70.9 | 144M| 57 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2826 |-4.000000e+01 |-3.500000e+01 | 14.29%
579.89/580.02 c 580s| 6100 | 4127 |442614 | 70.7 | 146M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |2827 |-4.000000e+01 |-3.500000e+01 | 14.29%
585.18/585.36 c 585s| 6200 | 4195 |448191 | 70.5 | 147M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |2830 |-4.000000e+01 |-3.500000e+01 | 14.29%
588.69/588.87 c 589s| 6300 | 4249 |451923 | 70.0 | 148M| 58 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |2830 |-4.000000e+01 |-3.500000e+01 | 14.29%
595.48/595.66 c 596s| 6400 | 4319 |458647 | 69.9 | 149M| 58 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |2831 |-4.000000e+01 |-3.500000e+01 | 14.29%
601.59/601.78 c 602s| 6500 | 4381 |464663 | 69.8 | 151M| 58 | 104 | 760 | 41k| 760 | 41k| 264 | 0 |2836 |-4.000000e+01 |-3.500000e+01 | 14.29%
609.19/609.36 c 609s| 6600 | 4457 |471948 | 69.8 | 152M| 58 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |2869 |-4.000000e+01 |-3.500000e+01 | 14.29%
617.18/617.37 c 617s| 6700 | 4533 |478556 | 69.8 | 154M| 58 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |2909 |-4.000000e+01 |-3.500000e+01 | 14.29%
623.18/623.31 c 623s| 6800 | 4601 |484302 | 69.6 | 155M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |2919 |-4.000000e+01 |-3.500000e+01 | 14.29%
629.18/629.34 c 629s| 6900 | 4667 |489810 | 69.4 | 156M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |2949 |-4.000000e+01 |-3.500000e+01 | 14.29%
636.87/637.05 c 637s| 7000 | 4743 |496261 | 69.3 | 157M| 58 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |2983 |-4.000000e+01 |-3.500000e+01 | 14.29%
645.07/645.28 c 645s| 7100 | 4815 |503692 | 69.4 | 159M| 58 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |3017 |-4.000000e+01 |-3.500000e+01 | 14.29%
650.98/651.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.98/651.11 c 651s| 7200 | 4885 |509155 | 69.2 | 160M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3040 |-4.000000e+01 |-3.500000e+01 | 14.29%
656.78/656.90 c 657s| 7300 | 4947 |514156 | 68.9 | 161M| 58 | 113 | 760 | 41k| 760 | 41k| 264 | 0 |3071 |-4.000000e+01 |-3.500000e+01 | 14.29%
662.57/662.73 c 663s| 7400 | 5007 |519670 | 68.7 | 163M| 58 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |3095 |-4.000000e+01 |-3.500000e+01 | 14.29%
669.87/670.09 c 670s| 7500 | 5073 |525468 | 68.6 | 164M| 58 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |3127 |-4.000000e+01 |-3.500000e+01 | 14.29%
675.57/675.70 c 676s| 7600 | 5131 |530487 | 68.3 | 165M| 58 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3156 |-4.000000e+01 |-3.500000e+01 | 14.29%
682.37/682.53 c 683s| 7700 | 5201 |536051 | 68.2 | 166M| 58 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3183 |-4.000000e+01 |-3.500000e+01 | 14.29%
687.47/687.60 c 688s| 7800 | 5255 |540988 | 67.9 | 167M| 58 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |3202 |-4.000000e+01 |-3.500000e+01 | 14.29%
693.67/693.86 c 694s| 7900 | 5317 |547360 | 67.9 | 168M| 58 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |3218 |-4.000000e+01 |-3.500000e+01 | 14.29%
700.76/700.96 c 701s| 8000 | 5393 |553424 | 67.8 | 170M| 58 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |3229 |-4.000000e+01 |-3.500000e+01 | 14.29%
706.27/706.49 c 706s| 8100 | 5461 |559162 | 67.7 | 171M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3235 |-4.000000e+01 |-3.500000e+01 | 14.29%
710.37/710.59 c 711s| 8200 | 5501 |562910 | 67.3 | 172M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3240 |-4.000000e+01 |-3.500000e+01 | 14.29%
714.88/715.05 c 715s| 8300 | 5555 |567383 | 67.0 | 173M| 58 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |3250 |-4.000000e+01 |-3.500000e+01 | 14.29%
719.66/719.86 c 720s| 8400 | 5611 |572230 | 66.8 | 174M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |3254 |-4.000000e+01 |-3.500000e+01 | 14.29%
727.76/727.92 c 728s| 8500 | 5681 |578501 | 66.8 | 176M| 58 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |3265 |-4.000000e+01 |-3.500000e+01 | 14.29%
735.27/735.42 c 735s| 8600 | 5763 |585254 | 66.8 | 177M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3267 |-4.000000e+01 |-3.500000e+01 | 14.29%
739.76/739.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.76/739.98 c 740s| 8700 | 5817 |590106 | 66.6 | 178M| 58 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |3269 |-4.000000e+01 |-3.500000e+01 | 14.29%
744.86/745.00 c 745s| 8800 | 5881 |595423 | 66.4 | 179M| 58 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
749.16/749.33 c 749s| 8900 | 5941 |600235 | 66.2 | 181M| 58 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
754.16/754.37 c 754s| 9000 | 5997 |606389 | 66.1 | 182M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
758.46/758.68 c 759s| 9100 | 6055 |610381 | 65.9 | 183M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
764.56/764.71 c 765s| 9200 | 6123 |617104 | 65.9 | 184M| 58 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |3270 |-4.000000e+01 |-3.500000e+01 | 14.29%
770.66/770.85 c 771s| 9300 | 6197 |623306 | 65.8 | 186M| 58 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |3272 |-4.000000e+01 |-3.500000e+01 | 14.29%
776.66/776.84 c 777s| 9400 | 6269 |629995 | 65.8 | 187M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3272 |-4.000000e+01 |-3.500000e+01 | 14.29%
783.06/783.24 c 783s| 9500 | 6341 |636113 | 65.8 | 188M| 58 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3293 |-4.000000e+01 |-3.500000e+01 | 14.29%
788.25/788.41 c 788s| 9600 | 6395 |641223 | 65.6 | 189M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3306 |-4.000000e+01 |-3.500000e+01 | 14.29%
790.56/790.72 o -36
790.56/790.72 c l 791s| 9636 | 5030 |642721 | 65.5 | 172M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3328 |-4.000000e+01 |-3.600000e+01 | 11.11%
793.16/793.32 c 793s| 9700 | 5056 |645576 | 65.4 | 172M| 58 | - | 760 | 41k| 760 | 41k| 264 | 0 |3329 |-4.000000e+01 |-3.600000e+01 | 11.11%
798.95/799.12 c 799s| 9800 | 5102 |650367 | 65.2 | 173M| 58 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3361 |-4.000000e+01 |-3.600000e+01 | 11.11%
805.26/805.41 c 805s| 9900 | 5154 |655520 | 65.1 | 174M| 58 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3383 |-4.000000e+01 |-3.600000e+01 | 11.11%
809.26/809.43 c 809s| 10000 | 5180 |659255 | 64.8 | 175M| 58 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |3398 |-4.000000e+01 |-3.600000e+01 | 11.11%
815.75/815.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
815.75/815.92 c 816s| 10100 | 5222 |665015 | 64.7 | 176M| 58 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3425 |-4.000000e+01 |-3.600000e+01 | 11.11%
819.85/820.07 c 820s| 10200 | 5264 |669156 | 64.5 | 176M| 58 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3436 |-4.000000e+01 |-3.600000e+01 | 11.11%
824.55/824.70 c 825s| 10300 | 5300 |673403 | 64.3 | 177M| 58 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |3458 |-4.000000e+01 |-3.600000e+01 | 11.11%
831.25/831.49 c 831s| 10400 | 5346 |679614 | 64.3 | 178M| 59 | 92 | 760 | 41k| 760 | 41k| 264 | 0 |3495 |-4.000000e+01 |-3.600000e+01 | 11.11%
835.65/835.83 c 836s| 10500 | 5380 |683472 | 64.0 | 179M| 59 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |3512 |-4.000000e+01 |-3.600000e+01 | 11.11%
841.15/841.37 c 841s| 10600 | 5416 |687971 | 63.9 | 179M| 59 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |3542 |-4.000000e+01 |-3.600000e+01 | 11.11%
845.66/845.81 c 846s| 10700 | 5460 |691829 | 63.6 | 180M| 59 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |3563 |-4.000000e+01 |-3.600000e+01 | 11.11%
850.44/850.61 c 851s| 10800 | 5506 |695680 | 63.4 | 181M| 59 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |3581 |-4.000000e+01 |-3.600000e+01 | 11.11%
856.04/856.29 c 856s| 10900 | 5552 |699826 | 63.2 | 182M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3599 |-4.000000e+01 |-3.600000e+01 | 11.11%
860.85/861.07 c 861s| 11000 | 5594 |703981 | 63.0 | 183M| 59 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |3621 |-4.000000e+01 |-3.600000e+01 | 11.11%
867.54/867.77 c 868s| 11100 | 5648 |710768 | 63.0 | 184M| 59 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |3642 |-4.000000e+01 |-3.600000e+01 | 11.11%
873.34/873.57 c 874s| 11200 | 5690 |715820 | 62.9 | 185M| 59 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3669 |-4.000000e+01 |-3.600000e+01 | 11.11%
877.24/877.45 c 877s| 11300 | 5722 |719493 | 62.7 | 186M| 59 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |3681 |-4.000000e+01 |-3.600000e+01 | 11.11%
882.05/882.22 c 882s| 11400 | 5760 |724525 | 62.6 | 186M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3690 |-4.000000e+01 |-3.600000e+01 | 11.11%
887.45/887.66 c 888s| 11500 | 5822 |729933 | 62.5 | 188M| 59 | 44 | 760 | 41k| 760 | 41k| 264 | 0 |3698 |-4.000000e+01 |-3.600000e+01 | 11.11%
892.44/892.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.44/892.61 c 893s| 11600 | 5880 |735403 | 62.4 | 189M| 59 | 49 | 760 | 41k| 760 | 41k| 264 | 0 |3698 |-4.000000e+01 |-3.600000e+01 | 11.11%
898.04/898.29 c 898s| 11700 | 5916 |740174 | 62.3 | 189M| 59 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |3702 |-4.000000e+01 |-3.600000e+01 | 11.11%
902.23/902.42 c 902s| 11800 | 5964 |744629 | 62.2 | 190M| 59 | 55 | 760 | 41k| 760 | 41k| 264 | 0 |3704 |-4.000000e+01 |-3.600000e+01 | 11.11%
905.63/905.83 c 906s| 11900 | 6006 |748304 | 61.9 | 191M| 59 | 43 | 760 | 41k| 760 | 41k| 264 | 0 |3705 |-4.000000e+01 |-3.600000e+01 | 11.11%
909.93/910.12 c 910s| 12000 | 6054 |752949 | 61.8 | 192M| 59 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
913.74/913.96 c 914s| 12100 | 6092 |757299 | 61.7 | 193M| 59 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
919.13/919.36 c 919s| 12200 | 6140 |762062 | 61.6 | 194M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3708 |-4.000000e+01 |-3.600000e+01 | 11.11%
924.03/924.29 c 924s| 12300 | 6180 |767448 | 61.5 | 195M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3710 |-4.000000e+01 |-3.600000e+01 | 11.11%
928.33/928.57 c 929s| 12400 | 6224 |772325 | 61.4 | 196M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
931.73/931.99 c 932s| 12500 | 6262 |775890 | 61.2 | 196M| 59 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3713 |-4.000000e+01 |-3.600000e+01 | 11.11%
936.33/936.58 c 937s| 12600 | 6298 |780434 | 61.1 | 197M| 59 | - | 760 | 41k| 760 | 41k| 264 | 0 |3716 |-4.000000e+01 |-3.600000e+01 | 11.11%
939.83/940.04 c 940s| 12700 | 6330 |784265 | 60.9 | 198M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |3717 |-4.000000e+01 |-3.600000e+01 | 11.11%
943.43/943.65 c 944s| 12800 | 6372 |788212 | 60.7 | 198M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |3717 |-4.000000e+01 |-3.600000e+01 | 11.11%
947.23/947.45 c 947s| 12900 | 6406 |792197 | 60.5 | 199M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |3719 |-4.000000e+01 |-3.600000e+01 | 11.11%
951.03/951.21 c 951s| 13000 | 6444 |796492 | 60.4 | 200M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
953.93/954.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.93/954.17 c 954s| 13100 | 6480 |799774 | 60.2 | 201M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
958.12/958.35 c 958s| 13200 | 6516 |804628 | 60.1 | 202M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3721 |-4.000000e+01 |-3.600000e+01 | 11.11%
961.43/961.63 c 962s| 13300 | 6546 |807711 | 59.9 | 202M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3727 |-4.000000e+01 |-3.600000e+01 | 11.11%
967.43/967.65 c 968s| 13400 | 6596 |813151 | 59.9 | 203M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
970.92/971.14 c 971s| 13500 | 6624 |816236 | 59.6 | 204M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3771 |-4.000000e+01 |-3.600000e+01 | 11.11%
974.62/974.84 c 975s| 13600 | 6656 |819383 | 59.4 | 205M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3787 |-4.000000e+01 |-3.600000e+01 | 11.11%
978.23/978.41 c 978s| 13700 | 6690 |822357 | 59.2 | 205M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3805 |-4.000000e+01 |-3.600000e+01 | 11.11%
981.93/982.18 c 982s| 13800 | 6710 |825505 | 59.0 | 206M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3819 |-4.000000e+01 |-3.600000e+01 | 11.11%
987.02/987.24 c 987s| 13900 | 6748 |829801 | 58.9 | 206M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3848 |-4.000000e+01 |-3.600000e+01 | 11.11%
990.12/990.35 c 990s| 14000 | 6774 |833103 | 58.7 | 207M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |3848 |-4.000000e+01 |-3.600000e+01 | 11.11%
994.32/994.52 c 995s| 14100 | 6798 |836408 | 58.5 | 207M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3872 |-4.000000e+01 |-3.600000e+01 | 11.11%
999.73/999.92 c 1000s| 14200 | 6842 |841457 | 58.5 | 208M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |3895 |-4.000000e+01 |-3.600000e+01 | 11.11%
1004.92/1005.17 c 1005s| 14300 | 6874 |845793 | 58.4 | 209M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3917 |-4.000000e+01 |-3.600000e+01 | 11.11%
1009.22/1009.46 c 1009s| 14400 | 6912 |849928 | 58.3 | 210M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |3936 |-4.000000e+01 |-3.600000e+01 | 11.11%
1015.62/1015.82 c 1016s| 14500 | 6952 |854560 | 58.2 | 211M| 60 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |3966 |-4.000000e+01 |-3.600000e+01 | 11.11%
1019.32/1019.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.32/1019.53 c 1020s| 14600 | 6974 |857691 | 58.0 | 211M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |3988 |-4.000000e+01 |-3.600000e+01 | 11.11%
1024.22/1024.45 c 1024s| 14700 | 7010 |862712 | 57.9 | 212M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4002 |-4.000000e+01 |-3.600000e+01 | 11.11%
1028.81/1029.09 c 1029s| 14800 | 7042 |866407 | 57.8 | 212M| 60 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |4028 |-4.000000e+01 |-3.600000e+01 | 11.11%
1035.01/1035.28 c 1035s| 14900 | 7094 |872438 | 57.8 | 213M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4053 |-4.000000e+01 |-3.600000e+01 | 11.11%
1040.42/1040.61 c 1041s| 15000 | 7130 |877380 | 57.8 | 214M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |4070 |-4.000000e+01 |-3.600000e+01 | 11.11%
1044.72/1044.92 c 1045s| 15100 | 7160 |881121 | 57.6 | 215M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4089 |-4.000000e+01 |-3.600000e+01 | 11.11%
1050.01/1050.23 c 1050s| 15200 | 7188 |885782 | 57.5 | 215M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |4108 |-4.000000e+01 |-3.600000e+01 | 11.11%
1054.52/1054.80 c 1055s| 15300 | 7232 |889540 | 57.4 | 216M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4125 |-4.000000e+01 |-3.600000e+01 | 11.11%
1060.42/1060.63 c 1061s| 15400 | 7270 |894952 | 57.4 | 217M| 60 | 96 | 760 | 41k| 760 | 41k| 264 | 0 |4144 |-4.000000e+01 |-3.600000e+01 | 11.11%
1065.31/1065.58 c 1066s| 15500 | 7310 |899882 | 57.3 | 218M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4161 |-4.000000e+01 |-3.600000e+01 | 11.11%
1070.81/1071.08 c 1071s| 15600 | 7352 |905452 | 57.3 | 219M| 60 | 85 | 760 | 41k| 760 | 41k| 264 | 0 |4178 |-4.000000e+01 |-3.600000e+01 | 11.11%
1074.42/1074.61 c 1075s| 15700 | 7382 |909158 | 57.2 | 219M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4186 |-4.000000e+01 |-3.600000e+01 | 11.11%
1078.71/1078.94 c 1079s| 15800 | 7410 |913431 | 57.1 | 220M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |4192 |-4.000000e+01 |-3.600000e+01 | 11.11%
1083.60/1083.85 c 1084s| 15900 | 7456 |918193 | 57.0 | 221M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4194 |-4.000000e+01 |-3.600000e+01 | 11.11%
1087.40/1087.60 c 1088s| 16000 | 7486 |921840 | 56.9 | 221M| 60 | 94 | 760 | 41k| 760 | 41k| 264 | 0 |4195 |-4.000000e+01 |-3.600000e+01 | 11.11%
1091.30/1091.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.30/1091.58 c 1092s| 16100 | 7532 |926254 | 56.8 | 222M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4195 |-4.000000e+01 |-3.600000e+01 | 11.11%
1095.41/1095.68 c 1096s| 16200 | 7570 |930895 | 56.8 | 223M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4198 |-4.000000e+01 |-3.600000e+01 | 11.11%
1099.60/1099.83 c 1100s| 16300 | 7604 |935256 | 56.7 | 224M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4203 |-4.000000e+01 |-3.600000e+01 | 11.11%
1102.30/1102.51 c 1103s| 16400 | 7628 |938072 | 56.5 | 224M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4204 |-4.000000e+01 |-3.600000e+01 | 11.11%
1106.41/1106.63 c 1107s| 16500 | 7662 |942210 | 56.4 | 225M| 60 | 115 | 760 | 41k| 760 | 41k| 264 | 0 |4204 |-4.000000e+01 |-3.600000e+01 | 11.11%
1109.50/1109.77 c 1110s| 16600 | 7696 |945408 | 56.3 | 225M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1112.21/1112.41 c 1112s| 16700 | 7714 |948177 | 56.1 | 226M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1116.70/1116.91 c 1117s| 16800 | 7750 |953214 | 56.1 | 227M| 60 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |4208 |-4.000000e+01 |-3.600000e+01 | 11.11%
1120.01/1120.26 c 1120s| 16900 | 7800 |956691 | 56.0 | 228M| 60 | 82 | 760 | 41k| 760 | 41k| 264 | 0 |4209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1124.71/1124.93 c 1125s| 17000 | 7832 |960951 | 55.9 | 228M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1128.00/1128.20 c 1128s| 17100 | 7864 |964659 | 55.8 | 229M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1131.90/1132.13 c 1132s| 17200 | 7910 |969464 | 55.7 | 230M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1135.30/1135.55 c 1136s| 17300 | 7950 |973714 | 55.6 | 231M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1139.30/1139.52 c 1140s| 17400 | 7988 |978374 | 55.6 | 232M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1142.20/1142.41 c 1142s| 17500 | 8020 |981776 | 55.5 | 232M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1146.00/1146.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.00/1146.23 c 1146s| 17600 | 8074 |986196 | 55.4 | 233M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1149.00/1149.26 c 1149s| 17700 | 8110 |989860 | 55.3 | 234M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1151.40/1151.64 c 1152s| 17800 | 8138 |992625 | 55.1 | 234M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1155.39/1155.68 c 1156s| 17900 | 8176 |996168 | 55.0 | 235M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |4242 |-4.000000e+01 |-3.600000e+01 | 11.11%
1158.90/1159.11 c 1159s| 18000 | 8208 |999286 | 54.9 | 235M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4261 |-4.000000e+01 |-3.600000e+01 | 11.11%
1161.90/1162.12 c 1162s| 18100 | 8238 | 1001k| 54.7 | 236M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4278 |-4.000000e+01 |-3.600000e+01 | 11.11%
1167.29/1167.54 c 1168s| 18200 | 8284 | 1007k| 54.7 | 237M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4301 |-4.000000e+01 |-3.600000e+01 | 11.11%
1171.20/1171.40 c 1171s| 18300 | 8314 | 1010k| 54.6 | 237M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4312 |-4.000000e+01 |-3.600000e+01 | 11.11%
1175.99/1176.24 c 1176s| 18400 | 8354 | 1015k| 54.6 | 238M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4343 |-4.000000e+01 |-3.600000e+01 | 11.11%
1180.10/1180.30 c 1180s| 18500 | 8392 | 1019k| 54.5 | 239M| 60 | 55 | 760 | 41k| 760 | 41k| 264 | 0 |4365 |-4.000000e+01 |-3.600000e+01 | 11.11%
1183.29/1183.53 c 1184s| 18600 | 8416 | 1021k| 54.3 | 239M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4383 |-4.000000e+01 |-3.600000e+01 | 11.11%
1186.88/1187.13 c 1187s| 18700 | 8454 | 1025k| 54.2 | 240M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4404 |-4.000000e+01 |-3.600000e+01 | 11.11%
1189.79/1190.00 c 1190s| 18800 | 8480 | 1028k| 54.1 | 240M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4404 |-4.000000e+01 |-3.600000e+01 | 11.11%
1194.29/1194.54 c 1195s| 18900 | 8518 | 1033k| 54.1 | 241M| 60 | 93 | 760 | 41k| 760 | 41k| 264 | 0 |4426 |-4.000000e+01 |-3.600000e+01 | 11.11%
1199.49/1199.79 c 1200s| 19000 | 8568 | 1038k| 54.1 | 242M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4450 |-4.000000e+01 |-3.600000e+01 | 11.11%
1203.68/1203.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.68/1203.94 c 1204s| 19100 | 8606 | 1041k| 54.0 | 243M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4464 |-4.000000e+01 |-3.600000e+01 | 11.11%
1207.49/1207.77 c 1208s| 19200 | 8636 | 1045k| 53.9 | 243M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4486 |-4.000000e+01 |-3.600000e+01 | 11.11%
1211.68/1211.90 c 1212s| 19300 | 8664 | 1048k| 53.7 | 244M| 60 | 101 | 760 | 41k| 760 | 41k| 264 | 0 |4505 |-4.000000e+01 |-3.600000e+01 | 11.11%
1215.59/1215.86 c 1216s| 19400 | 8692 | 1051k| 53.7 | 244M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4520 |-4.000000e+01 |-3.600000e+01 | 11.11%
1219.38/1219.68 c 1220s| 19500 | 8722 | 1055k| 53.6 | 245M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4529 |-4.000000e+01 |-3.600000e+01 | 11.11%
1222.89/1223.16 c 1223s| 19600 | 8758 | 1059k| 53.5 | 245M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4544 |-4.000000e+01 |-3.600000e+01 | 11.11%
1227.78/1228.07 c 1228s| 19700 | 8792 | 1063k| 53.4 | 246M| 60 | 48 | 760 | 41k| 760 | 41k| 264 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1232.08/1232.37 c 1232s| 19800 | 8824 | 1068k| 53.4 | 247M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1235.98/1236.21 c 1236s| 19900 | 8860 | 1071k| 53.3 | 247M| 60 | 46 | 760 | 41k| 760 | 41k| 264 | 0 |4610 |-4.000000e+01 |-3.600000e+01 | 11.11%
1239.78/1240.00 c 1240s| 20000 | 8890 | 1075k| 53.2 | 248M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4621 |-4.000000e+01 |-3.600000e+01 | 11.11%
1244.47/1244.75 c 1245s| 20100 | 8932 | 1079k| 53.1 | 248M| 60 | 59 | 760 | 41k| 760 | 41k| 264 | 0 |4639 |-4.000000e+01 |-3.600000e+01 | 11.11%
1248.98/1249.25 c 1249s| 20200 | 8964 | 1083k| 53.1 | 249M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4659 |-4.000000e+01 |-3.600000e+01 | 11.11%
1253.68/1253.92 c 1254s| 20300 | 9000 | 1088k| 53.0 | 250M| 60 | 100 | 760 | 41k| 760 | 41k| 264 | 0 |4678 |-4.000000e+01 |-3.600000e+01 | 11.11%
1257.57/1257.82 c 1258s| 20400 | 9032 | 1091k| 53.0 | 250M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4697 |-4.000000e+01 |-3.600000e+01 | 11.11%
1261.49/1261.74 c 1262s| 20500 | 9066 | 1094k| 52.9 | 251M| 60 | 44 | 760 | 41k| 760 | 41k| 264 | 0 |4712 |-4.000000e+01 |-3.600000e+01 | 11.11%
1265.18/1265.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.18/1265.42 c 1265s| 20600 | 9096 | 1097k| 52.8 | 251M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4731 |-4.000000e+01 |-3.600000e+01 | 11.11%
1268.58/1268.84 c 1269s| 20700 | 9128 | 1101k| 52.7 | 252M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4744 |-4.000000e+01 |-3.600000e+01 | 11.11%
1271.58/1271.85 c 1272s| 20800 | 9170 | 1104k| 52.6 | 253M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4746 |-4.000000e+01 |-3.600000e+01 | 11.11%
1275.07/1275.33 c 1275s| 20900 | 9200 | 1109k| 52.5 | 253M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4749 |-4.000000e+01 |-3.600000e+01 | 11.11%
1278.08/1278.34 c 1278s| 21000 | 9224 | 1112k| 52.4 | 254M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4751 |-4.000000e+01 |-3.600000e+01 | 11.11%
1282.07/1282.32 c 1282s| 21100 | 9252 | 1116k| 52.4 | 254M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4752 |-4.000000e+01 |-3.600000e+01 | 11.11%
1284.88/1285.10 c 1285s| 21200 | 9280 | 1119k| 52.3 | 255M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |4754 |-4.000000e+01 |-3.600000e+01 | 11.11%
1288.37/1288.61 c 1289s| 21300 | 9314 | 1123k| 52.2 | 255M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4758 |-4.000000e+01 |-3.600000e+01 | 11.11%
1292.18/1292.46 c 1292s| 21400 | 9348 | 1127k| 52.2 | 256M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1294.97/1295.27 c 1295s| 21500 | 9376 | 1130k| 52.1 | 256M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1297.27/1297.55 c 1298s| 21600 | 9406 | 1132k| 51.9 | 257M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1300.47/1300.70 c 1301s| 21700 | 9454 | 1136k| 51.9 | 258M| 60 | 47 | 760 | 41k| 760 | 41k| 264 | 0 |4760 |-4.000000e+01 |-3.600000e+01 | 11.11%
1304.47/1304.79 c 1305s| 21800 | 9504 | 1141k| 51.9 | 259M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |4761 |-4.000000e+01 |-3.600000e+01 | 11.11%
1307.47/1307.71 c 1308s| 21900 | 9538 | 1144k| 51.8 | 259M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4762 |-4.000000e+01 |-3.600000e+01 | 11.11%
1310.47/1310.73 c 1311s| 22000 | 9570 | 1147k| 51.7 | 260M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4763 |-4.000000e+01 |-3.600000e+01 | 11.11%
1314.77/1315.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.77/1315.07 c 1315s| 22100 | 9620 | 1152k| 51.7 | 261M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |4763 |-4.000000e+01 |-3.600000e+01 | 11.11%
1317.97/1318.30 c 1318s| 22200 | 9662 | 1156k| 51.6 | 262M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4764 |-4.000000e+01 |-3.600000e+01 | 11.11%
1320.67/1320.98 c 1321s| 22300 | 9692 | 1159k| 51.5 | 262M| 60 | 70 | 760 | 41k| 760 | 41k| 264 | 0 |4766 |-4.000000e+01 |-3.600000e+01 | 11.11%
1323.26/1323.53 c 1324s| 22400 | 9720 | 1161k| 51.4 | 262M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1326.57/1326.86 c 1327s| 22500 | 9756 | 1165k| 51.3 | 263M| 60 | 53 | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1329.47/1329.80 c 1330s| 22600 | 9792 | 1168k| 51.2 | 264M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4768 |-4.000000e+01 |-3.600000e+01 | 11.11%
1332.87/1333.18 c 1333s| 22700 | 9848 | 1172k| 51.1 | 264M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4769 |-4.000000e+01 |-3.600000e+01 | 11.11%
1336.27/1336.56 c 1337s| 22800 | 9878 | 1175k| 51.1 | 265M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1339.57/1339.86 c 1340s| 22900 | 9922 | 1179k| 51.0 | 266M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1343.17/1343.46 c 1343s| 23000 | 9962 | 1183k| 51.0 | 266M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1345.66/1345.91 c 1346s| 23100 | 9990 | 1186k| 50.9 | 267M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1348.47/1348.77 c 1349s| 23200 | 10030 | 1189k| 50.8 | 268M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1351.47/1351.76 c 1352s| 23300 | 10066 | 1193k| 50.7 | 268M| 60 | 63 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1354.06/1354.35 c 1354s| 23400 | 10082 | 1195k| 50.6 | 269M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1356.36/1356.68 c 1357s| 23500 | 10112 | 1198k| 50.5 | 269M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1359.27/1359.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1359.27/1359.56 c 1360s| 23600 | 10138 | 1201k| 50.4 | 269M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1361.96/1362.24 c 1362s| 23700 | 10172 | 1204k| 50.4 | 270M| 60 | 64 | 760 | 41k| 760 | 41k| 264 | 0 |4770 |-4.000000e+01 |-3.600000e+01 | 11.11%
1366.16/1366.42 c 1366s| 23800 | 10204 | 1208k| 50.3 | 271M| 60 | 125 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1368.96/1369.22 c 1369s| 23900 | 10234 | 1211k| 50.2 | 271M| 60 | 65 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1371.26/1371.56 c 1372s| 24000 | 10258 | 1214k| 50.1 | 272M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1374.16/1374.45 c 1374s| 24100 | 10292 | 1217k| 50.1 | 272M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1378.85/1379.15 c 1379s| 24200 | 10332 | 1223k| 50.1 | 273M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1382.06/1382.38 c 1382s| 24300 | 10370 | 1227k| 50.0 | 274M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1385.67/1385.91 c 1386s| 24400 | 10408 | 1230k| 50.0 | 274M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4771 |-4.000000e+01 |-3.600000e+01 | 11.11%
1388.96/1389.25 c 1389s| 24500 | 10440 | 1234k| 49.9 | 275M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1391.36/1391.64 c 1392s| 24600 | 10466 | 1237k| 49.8 | 275M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1394.05/1394.38 c 1394s| 24700 | 10498 | 1240k| 49.8 | 276M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1397.46/1397.70 c 1398s| 24800 | 10532 | 1244k| 49.7 | 276M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1400.36/1400.61 c 1401s| 24900 | 10564 | 1247k| 49.6 | 277M| 60 | 108 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1402.95/1403.25 c 1403s| 25000 | 10592 | 1250k| 49.6 | 277M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1407.46/1407.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.46/1407.76 c 1408s| 25100 | 10642 | 1255k| 49.6 | 278M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1410.55/1410.81 c 1411s| 25200 | 10680 | 1259k| 49.5 | 279M| 60 | 99 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1413.95/1414.23 c 1414s| 25300 | 10718 | 1263k| 49.5 | 280M| 60 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1417.65/1417.96 c 1418s| 25400 | 10748 | 1267k| 49.5 | 280M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1420.65/1420.94 c 1421s| 25500 | 10780 | 1271k| 49.4 | 281M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1423.95/1424.26 c 1424s| 25600 | 10800 | 1275k| 49.4 | 281M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1427.15/1427.45 c 1427s| 25700 | 10830 | 1279k| 49.4 | 282M| 60 | 116 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1430.05/1430.36 c 1430s| 25800 | 10854 | 1283k| 49.3 | 282M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1433.06/1433.31 c 1433s| 25900 | 10884 | 1287k| 49.3 | 283M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1437.25/1437.54 c 1438s| 26000 | 10912 | 1292k| 49.3 | 283M| 60 | 111 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1440.45/1440.79 c 1441s| 26100 | 10934 | 1295k| 49.2 | 284M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1444.74/1445.09 c 1445s| 26200 | 10960 | 1300k| 49.2 | 284M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1447.55/1447.86 c 1448s| 26300 | 10986 | 1303k| 49.2 | 284M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1450.05/1450.36 c 1450s| 26400 | 11014 | 1306k| 49.1 | 285M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1453.05/1453.31 c 1453s| 26500 | 11044 | 1310k| 49.0 | 285M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1456.15/1456.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.15/1456.46 c 1456s| 26600 | 11080 | 1313k| 49.0 | 286M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1459.65/1459.98 c 1460s| 26700 | 11118 | 1317k| 48.9 | 287M| 60 | 95 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1462.55/1462.84 c 1463s| 26800 | 11138 | 1320k| 48.9 | 287M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1467.34/1467.63 c 1468s| 26900 | 11170 | 1325k| 48.9 | 288M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1469.74/1470.01 c 1470s| 27000 | 11194 | 1328k| 48.8 | 288M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1472.34/1472.61 c 1473s| 27100 | 11230 | 1331k| 48.7 | 289M| 60 | 60 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1475.45/1475.73 c 1476s| 27200 | 11256 | 1334k| 48.7 | 289M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1478.34/1478.66 c 1479s| 27300 | 11290 | 1337k| 48.6 | 290M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1481.15/1481.41 c 1481s| 27400 | 11316 | 1341k| 48.5 | 290M| 60 | 114 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1484.54/1484.89 c 1485s| 27500 | 11352 | 1344k| 48.5 | 291M| 60 | 106 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1488.54/1488.89 c 1489s| 27600 | 11386 | 1349k| 48.5 | 291M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1492.04/1492.36 c 1492s| 27700 | 11436 | 1353k| 48.5 | 292M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1495.03/1495.30 c 1495s| 27800 | 11468 | 1356k| 48.4 | 293M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1498.73/1499.05 c 1499s| 27900 | 11502 | 1361k| 48.4 | 294M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1501.24/1501.53 c 1502s| 28000 | 11526 | 1363k| 48.3 | 294M| 60 | 70 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1504.44/1504.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.44/1504.73 c 1505s| 28100 | 11568 | 1367k| 48.3 | 295M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1507.13/1507.40 c 1507s| 28200 | 11604 | 1370k| 48.2 | 295M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1509.34/1509.69 c 1510s| 28300 | 11630 | 1372k| 48.1 | 296M| 60 | 93 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1511.53/1511.86 c 1512s| 28400 | 11648 | 1374k| 48.0 | 296M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1513.83/1514.17 c 1514s| 28500 | 11676 | 1377k| 47.9 | 296M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1516.54/1516.89 c 1517s| 28600 | 11716 | 1379k| 47.9 | 297M| 60 | 42 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1518.63/1518.95 c 1519s| 28700 | 11746 | 1382k| 47.8 | 298M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1520.73/1521.08 c 1521s| 28800 | 11772 | 1384k| 47.7 | 298M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1522.63/1522.98 c 1523s| 28900 | 11790 | 1385k| 47.6 | 298M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1524.53/1524.89 c 1525s| 29000 | 11802 | 1387k| 47.5 | 298M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1526.73/1527.01 c 1527s| 29100 | 11816 | 1389k| 47.4 | 299M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1529.93/1530.21 c 1530s| 29200 | 11840 | 1392k| 47.3 | 299M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1532.93/1533.23 c 1533s| 29300 | 11870 | 1395k| 47.3 | 300M| 60 | 98 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1535.93/1536.27 c 1536s| 29400 | 11892 | 1398k| 47.2 | 300M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1540.03/1540.35 c 1540s| 29500 | 11918 | 1402k| 47.2 | 301M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1544.32/1544.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.32/1544.60 c 1545s| 29600 | 11956 | 1407k| 47.2 | 301M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1546.53/1546.89 c 1547s| 29700 | 11980 | 1409k| 47.1 | 302M| 60 | 51 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1549.53/1549.81 c 1550s| 29800 | 12020 | 1412k| 47.0 | 302M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1552.43/1552.70 c 1553s| 29900 | 12062 | 1416k| 47.0 | 303M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1556.93/1557.27 c 1557s| 30000 | 12110 | 1421k| 47.0 | 304M| 60 | 76 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1561.02/1561.34 c 1561s| 30100 | 12154 | 1425k| 47.0 | 305M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1564.62/1564.98 c 1565s| 30200 | 12208 | 1429k| 47.0 | 305M| 60 | 88 | 760 | 41k| 760 | 41k| 264 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1568.83/1569.16 c 1569s| 30300 | 12252 | 1433k| 46.9 | 306M| 60 | 100 | 760 | 41k| 760 | 41k| 264 | 0 |4790 |-4.000000e+01 |-3.600000e+01 | 11.11%
1572.82/1573.18 c 1573s| 30400 | 12292 | 1436k| 46.9 | 307M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |4808 |-4.000000e+01 |-3.600000e+01 | 11.11%
1577.63/1577.95 c 1578s| 30500 | 12328 | 1441k| 46.9 | 307M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4821 |-4.000000e+01 |-3.600000e+01 | 11.11%
1581.63/1581.97 c 1582s| 30600 | 12370 | 1445k| 46.9 | 308M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4835 |-4.000000e+01 |-3.600000e+01 | 11.11%
1585.32/1585.61 c 1586s| 30700 | 12402 | 1448k| 46.8 | 308M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |4852 |-4.000000e+01 |-3.600000e+01 | 11.11%
1589.13/1589.42 c 1589s| 30800 | 12426 | 1451k| 46.8 | 309M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1591.92/1592.23 c 1592s| 30900 | 12460 | 1454k| 46.7 | 309M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1596.02/1596.38 c 1596s| 31000 | 12496 | 1457k| 46.7 | 310M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |4881 |-4.000000e+01 |-3.600000e+01 | 11.11%
1601.22/1601.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.22/1601.59 c 1602s| 31100 | 12544 | 1462k| 46.7 | 311M| 60 | 79 | 760 | 41k| 760 | 41k| 264 | 0 |4910 |-4.000000e+01 |-3.600000e+01 | 11.11%
1604.22/1604.53 c 1605s| 31200 | 12574 | 1465k| 46.6 | 311M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4910 |-4.000000e+01 |-3.600000e+01 | 11.11%
1608.52/1608.86 c 1609s| 31300 | 12618 | 1469k| 46.6 | 312M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |4930 |-4.000000e+01 |-3.600000e+01 | 11.11%
1611.92/1612.27 c 1612s| 31400 | 12654 | 1472k| 46.6 | 313M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4947 |-4.000000e+01 |-3.600000e+01 | 11.11%
1616.51/1616.80 c 1617s| 31500 | 12684 | 1476k| 46.5 | 313M| 60 | 34 | 760 | 41k| 760 | 41k| 264 | 0 |4975 |-4.000000e+01 |-3.600000e+01 | 11.11%
1619.42/1619.74 c 1620s| 31600 | 12714 | 1479k| 46.5 | 314M| 60 | 95 | 760 | 41k| 760 | 41k| 264 | 0 |4976 |-4.000000e+01 |-3.600000e+01 | 11.11%
1625.01/1625.33 c 1625s| 31700 | 12750 | 1485k| 46.5 | 314M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |4997 |-4.000000e+01 |-3.600000e+01 | 11.11%
1627.73/1628.07 c 1628s| 31800 | 12764 | 1487k| 46.4 | 315M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5005 |-4.000000e+01 |-3.600000e+01 | 11.11%
1631.81/1632.18 c 1632s| 31900 | 12804 | 1491k| 46.4 | 315M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5016 |-4.000000e+01 |-3.600000e+01 | 11.11%
1636.81/1637.17 c 1637s| 32000 | 12838 | 1496k| 46.4 | 316M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5035 |-4.000000e+01 |-3.600000e+01 | 11.11%
1641.42/1641.72 c 1642s| 32100 | 12874 | 1500k| 46.4 | 316M| 60 | 86 | 760 | 41k| 760 | 41k| 264 | 0 |5053 |-4.000000e+01 |-3.600000e+01 | 11.11%
1644.81/1645.11 c 1645s| 32200 | 12900 | 1503k| 46.3 | 317M| 60 | 77 | 760 | 41k| 760 | 41k| 264 | 0 |5065 |-4.000000e+01 |-3.600000e+01 | 11.11%
1649.11/1649.45 c 1649s| 32300 | 12932 | 1507k| 46.3 | 317M| 60 | 84 | 760 | 41k| 760 | 41k| 264 | 0 |5082 |-4.000000e+01 |-3.600000e+01 | 11.11%
1652.81/1653.18 c 1653s| 32400 | 12978 | 1511k| 46.3 | 318M| 60 | 113 | 760 | 41k| 760 | 41k| 264 | 0 |5096 |-4.000000e+01 |-3.600000e+01 | 11.11%
1656.41/1656.74 c 1657s| 32500 | 13008 | 1514k| 46.2 | 319M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5116 |-4.000000e+01 |-3.600000e+01 | 11.11%
1661.01/1661.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.01/1661.36 c 1661s| 32600 | 13052 | 1518k| 46.2 | 319M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5141 |-4.000000e+01 |-3.600000e+01 | 11.11%
1665.11/1665.42 c 1665s| 32700 | 13084 | 1522k| 46.2 | 320M| 60 | 52 | 760 | 41k| 760 | 41k| 264 | 0 |5146 |-4.000000e+01 |-3.600000e+01 | 11.11%
1668.71/1669.04 c 1669s| 32800 | 13114 | 1525k| 46.2 | 320M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5156 |-4.000000e+01 |-3.600000e+01 | 11.11%
1672.31/1672.63 c 1673s| 32900 | 13146 | 1528k| 46.1 | 321M| 60 | 69 | 760 | 41k| 760 | 41k| 264 | 0 |5169 |-4.000000e+01 |-3.600000e+01 | 11.11%
1676.20/1676.55 c 1677s| 33000 | 13190 | 1532k| 46.1 | 322M| 60 | 57 | 760 | 41k| 760 | 41k| 264 | 0 |5181 |-4.000000e+01 |-3.600000e+01 | 11.11%
1681.41/1681.71 c 1682s| 33100 | 13232 | 1537k| 46.1 | 323M| 60 | 75 | 760 | 41k| 760 | 41k| 264 | 0 |5190 |-4.000000e+01 |-3.600000e+01 | 11.11%
1684.41/1684.77 c 1685s| 33200 | 13256 | 1540k| 46.1 | 323M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |5198 |-4.000000e+01 |-3.600000e+01 | 11.11%
1688.40/1688.78 c 1689s| 33300 | 13290 | 1544k| 46.1 | 324M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5201 |-4.000000e+01 |-3.600000e+01 | 11.11%
1692.40/1692.74 c 1693s| 33400 | 13330 | 1548k| 46.0 | 324M| 60 | 83 | 760 | 41k| 760 | 41k| 264 | 0 |5205 |-4.000000e+01 |-3.600000e+01 | 11.11%
1695.81/1696.11 c 1696s| 33500 | 13358 | 1551k| 46.0 | 325M| 60 | 80 | 760 | 41k| 760 | 41k| 264 | 0 |5206 |-4.000000e+01 |-3.600000e+01 | 11.11%
1698.60/1698.93 c 1699s| 33600 | 13386 | 1554k| 45.9 | 325M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |5208 |-4.000000e+01 |-3.600000e+01 | 11.11%
1701.41/1701.76 c 1702s| 33700 | 13414 | 1557k| 45.9 | 326M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1704.80/1705.18 c 1705s| 33800 | 13456 | 1561k| 45.9 | 327M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1708.51/1708.82 c 1709s| 33900 | 13496 | 1565k| 45.8 | 327M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1711.11/1711.44 c 1711s| 34000 | 13530 | 1568k| 45.8 | 328M| 60 | 78 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1713.60/1713.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.60/1713.92 c 1714s| 34100 | 13550 | 1571k| 45.8 | 328M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1717.71/1718.04 c 1718s| 34200 | 13576 | 1575k| 45.8 | 329M| 60 | 56 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1720.50/1720.84 c 1721s| 34300 | 13608 | 1579k| 45.7 | 329M| 60 | 72 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1723.31/1723.66 c 1724s| 34400 | 13638 | 1582k| 45.7 | 330M| 60 | 109 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1726.50/1726.80 c 1727s| 34500 | 13674 | 1586k| 45.7 | 330M| 60 | 89 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1729.50/1729.81 c 1730s| 34600 | 13712 | 1589k| 45.6 | 331M| 60 | 66 | 760 | 41k| 760 | 41k| 264 | 0 |5209 |-4.000000e+01 |-3.600000e+01 | 11.11%
1732.60/1732.91 c 1733s| 34700 | 13742 | 1592k| 45.6 | 332M| 60 | 67 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1735.50/1735.82 c 1736s| 34800 | 13778 | 1596k| 45.5 | 332M| 60 | 58 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1739.50/1739.83 c 1740s| 34900 | 13838 | 1600k| 45.6 | 333M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1742.60/1742.92 c 1743s| 35000 | 13876 | 1604k| 45.5 | 334M| 60 | 71 | 760 | 41k| 760 | 41k| 264 | 0 |5210 |-4.000000e+01 |-3.600000e+01 | 11.11%
1745.40/1745.71 c 1746s| 35100 | 13910 | 1607k| 45.5 | 334M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1747.70/1748.04 c 1748s| 35200 | 13936 | 1609k| 45.4 | 335M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5211 |-4.000000e+01 |-3.600000e+01 | 11.11%
1750.39/1750.77 c 1751s| 35300 | 13966 | 1612k| 45.4 | 335M| 60 | 61 | 760 | 41k| 760 | 41k| 264 | 0 |5212 |-4.000000e+01 |-3.600000e+01 | 11.11%
1753.29/1753.61 c 1754s| 35400 | 14008 | 1615k| 45.3 | 336M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1755.60/1755.92 c 1756s| 35500 | 14030 | 1617k| 45.3 | 337M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1758.60/1758.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.60/1758.97 c 1759s| 35600 | 14058 | 1621k| 45.2 | 337M| 60 | 68 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1761.90/1762.29 c 1762s| 35700 | 14098 | 1624k| 45.2 | 338M| 60 | 74 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1764.99/1765.39 c 1765s| 35800 | 14138 | 1628k| 45.2 | 338M| 60 | 73 | 760 | 41k| 760 | 41k| 264 | 0 |5213 |-4.000000e+01 |-3.600000e+01 | 11.11%
1769.30/1769.65 c 1770s| 35900 | 14186 | 1632k| 45.2 | 339M| 60 | - | 760 | 41k| 760 | 41k| 264 | 0 |5214 |-4.000000e+01 |-3.600000e+01 | 11.11%
1773.09/1773.41 c 1773s| 36000 | 14216 | 1635k| 45.1 | 340M| 60 | 62 | 760 | 41k| 760 | 41k| 264 | 0 |5233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1776.00/1776.39 c 1776s| 36100 | 14260 | 1639k| 45.1 | 341M| 60 | 91 | 760 | 41k| 760 | 41k| 264 | 0 |5233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1779.30/1779.65 c 1780s| 36200 | 14292 | 1641k| 45.0 | 341M| 60 | 81 | 760 | 41k| 760 | 41k| 264 | 0 |5252 |-4.000000e+01 |-3.600000e+01 | 11.11%
1782.80/1783.16 c 1783s| 36300 | 14322 | 1645k| 45.0 | 342M| 60 | 87 | 760 | 41k| 760 | 41k| 264 | 0 |5266 |-4.000000e+01 |-3.600000e+01 | 11.11%
1790.19/1790.53 c 1791s| 36400 | 14378 | 1651k| 45.1 | 343M| 60 | 92 | 760 | 41k| 760 | 41k| 264 | 0 |5291 |-4.000000e+01 |-3.600000e+01 | 11.11%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 36495
1796.69/1797.01 c Primal Bound : -3.60000000000000e+01 (633 solutions)
1796.69/1797.01 c Dual Bound : -4.00000000000000e+01
1796.69/1797.01 c Gap : 11.11 %
1796.69/1797.02 s SATISFIABLE
1796.69/1797.02 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28
1796.69/1797.02 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1796.69/1797.02 v -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1796.69/1797.02 v x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103
1796.69/1797.02 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.69/1797.02 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145
1796.69/1797.02 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166
1796.69/1797.02 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1796.69/1797.02 v -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1796.69/1797.02 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1796.69/1797.02 v -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.69/1797.02 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.69/1797.02 v -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292
1796.69/1797.02 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.69/1797.02 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.69/1797.02 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355
1796.69/1797.02 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.69/1797.02 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.69/1797.02 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418
1796.69/1797.02 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.69/1797.02 v -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460
1796.69/1797.02 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1796.69/1797.02 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1796.69/1797.02 v -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523
1796.69/1797.02 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544
1796.69/1797.02 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1796.69/1797.02 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.69/1797.02 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1796.69/1797.02 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1796.69/1797.02 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
1796.69/1797.02 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1796.69/1797.02 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
1796.69/1797.02 v -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712
1796.69/1797.02 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
1796.69/1797.02 v x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754
1796.69/1797.02 v -x755 -x756 -x757 -x758 -x759 -x760
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Total Time : 1797.01
1796.69/1797.02 c solving : 1797.01
1796.69/1797.02 c presolving : 0.61 (included in solving)
1796.69/1797.02 c reading : 0.09 (included in solving)
1796.69/1797.02 c copying : 1.10 (18 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.69/1797.02 c Original Problem :
1796.69/1797.02 c Problem name : HOME/instance-3692102-1338032070.opb
1796.69/1797.02 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 41605 initial, 41605 maximal
1796.69/1797.02 c Objective sense : minimize
1796.69/1797.02 c Presolved Problem :
1796.69/1797.02 c Problem name : t_HOME/instance-3692102-1338032070.opb
1796.69/1797.02 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 41605 initial, 41605 maximal
1796.69/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c probing : 0.16 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c setppc : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c linear : 0.31 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c root node : - - 0 - - 0 - - - - -
1796.69/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c integral : 0 0 0 0 26835 0 638 0 40 495 0 0 53068
1796.69/1797.02 c setppc : 41605 41605 25 91659 0 0 633 0 0 623696 0 0 0
1796.69/1797.02 c countsols : 0 0 0 0 0 0 636 0 0 0 0 0 0
1796.69/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.02 c integral : 257.39 0.00 0.00 0.00 257.37 0.00 0.02 0.00
1796.69/1797.02 c setppc : 15.87 0.00 0.08 14.93 0.00 0.00 0.85 0.00
1796.69/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.02 c rootredcost : 6 0 0 0
1796.69/1797.02 c pseudoobj : 118444 0 0 0
1796.69/1797.02 c vbounds : 0 0 0 0
1796.69/1797.02 c redcost : 26923 0 0 67
1796.69/1797.02 c probing : 0 0 0 0
1796.69/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.02 c rootredcost : 0.13 0.00 0.00 0.13 0.00
1796.69/1797.02 c pseudoobj : 10.79 0.01 0.00 10.77 0.00
1796.69/1797.02 c vbounds : 0.11 0.00 0.00 0.11 0.00
1796.69/1797.02 c redcost : 0.48 0.00 0.00 0.48 0.00
1796.69/1797.02 c probing : 0.16 0.00 0.16 0.00 0.00
1796.69/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c applied globally : - - - 0 0.0 - - -
1796.69/1797.02 c applied locally : - - - 0 0.0 - - -
1796.69/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.02 c cut pool : 0.00 24 - - 49 - (maximal pool size: 588)
1796.69/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c impliedbounds : 0.02 0.00 25 0 0 0 0
1796.69/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c gomory : 0.17 0.00 10 0 0 500 0
1796.69/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c strongcg : 2.67 0.00 20 0 0 10000 0
1796.69/1797.02 c cmir : 3.16 0.00 10 0 0 0 0
1796.69/1797.02 c flowcover : 3.32 0.00 10 0 0 0 0
1796.69/1797.02 c clique : 0.52 0.00 25 0 0 223 0
1796.69/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c mcf : 0.03 0.00 1 0 0 0 0
1796.69/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.02 c problem variables: 0.00 - 0 0
1796.69/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c relpscost : 257.26 0.00 26835 40 495 0 0 53068
1796.69/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.02 c LP solutions : 0.00 - - 0
1796.69/1797.02 c pseudo solutions : 0.00 - - 0
1796.69/1797.02 c oneopt : 0.09 0.00 7 1
1796.69/1797.02 c crossover : 5.30 0.00 17 4
1796.69/1797.02 c objpscostdiving : 32.73 0.00 98 125
1796.69/1797.02 c rootsoldiving : 21.95 0.00 98 76
1796.69/1797.02 c veclendiving : 80.76 0.00 196 9
1796.69/1797.02 c linesearchdiving : 29.85 0.00 196 11
1796.69/1797.02 c coefdiving : 51.38 0.00 196 13
1796.69/1797.02 c pscostdiving : 27.66 0.00 196 10
1796.69/1797.02 c guideddiving : 76.06 0.00 196 5
1796.69/1797.02 c smallcard : 0.00 0.00 0 0
1796.69/1797.02 c trivial : 0.01 0.00 2 1
1796.69/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.02 c simplerounding : 0.60 0.00 26860 99
1796.69/1797.02 c zirounding : 40.88 0.00 13551 271
1796.69/1797.02 c rounding : 18.35 0.00 7398 1
1796.69/1797.02 c shifting : 4.84 0.00 1859 1
1796.69/1797.02 c intshifting : 0.00 0.00 0 0
1796.69/1797.02 c twoopt : 0.00 0.00 0 0
1796.69/1797.02 c indoneopt : 0.10 0.00 0 0
1796.69/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.02 c feaspump : 0.00 0.00 0 0
1796.69/1797.02 c clique : 0.00 0.00 0 0
1796.69/1797.02 c indrounding : 0.00 0.00 0 0
1796.69/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.02 c fracdiving : 75.07 0.00 196 5
1796.69/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.02 c intdiving : 0.00 0.00 0 0
1796.69/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.02 c octane : 0.00 0.00 0 0
1796.69/1797.02 c rens : 1.65 0.00 1 1
1796.69/1797.02 c rins : 0.00 0.00 0 0
1796.69/1797.02 c localbranching : 0.00 0.00 0 0
1796.69/1797.02 c mutation : 0.00 0.00 0 0
1796.69/1797.02 c dins : 0.00 0.00 0 0
1796.69/1797.02 c vbounds : 0.00 0.00 0 0
1796.69/1797.02 c undercover : 0.00 0.00 0 0
1796.69/1797.02 c subnlp : 0.05 0.00 0 0
1796.69/1797.02 c trysol : 0.08 0.00 0 0
1796.69/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.02 c primal LP : 0.03 3 0 0.00 0.00 0.03 3
1796.69/1797.02 c dual LP : 858.12 37040 1332544 36.23 1552.87 2.00 259
1796.69/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.02 c diving/probing LP: 312.14 22899 325953 14.23 1044.25
1796.69/1797.02 c strong branching : 254.64 5331 311653 58.46 1223.91
1796.69/1797.02 c (at root node) : - 33 3247 98.39 -
1796.69/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.02 c B&B Tree :
1796.69/1797.02 c number of runs : 1
1796.69/1797.02 c nodes : 36495
1796.69/1797.02 c nodes (total) : 36495
1796.69/1797.02 c nodes left : 14421
1796.69/1797.02 c max depth : 60
1796.69/1797.02 c max depth (total): 60
1796.69/1797.02 c backtracks : 4792 (13.1%)
1796.69/1797.02 c delayed cutoffs : 0
1796.69/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.02 c avg switch length: 5.32
1796.69/1797.02 c switching time : 38.14
1796.69/1797.02 c Solution :
1796.69/1797.02 c Solutions found : 633 (9 improvements)
1796.69/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.14 seconds, depth 0, found by <trivial>)
1796.69/1797.02 c Primal Bound : -3.60000000000000e+01 (in run 1, after 9636 nodes, 790.71 seconds, depth 28, found by <linesearchdiving>)
1796.69/1797.03 c Dual Bound : -4.00000000000000e+01
1796.69/1797.03 c Gap : 11.11 %
1796.69/1797.03 c Root Dual Bound : -4.00000000000000e+01
1796.69/1797.03 c Root Iterations : 11177
1796.89/1797.29 c Time complete: 1796.98.
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-3692102-1338032070/watcher-3692102-1338032070 -o /tmp/evaluation-result-3692102-1338032070/solver-3692102-1338032070 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692102-1338032070.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 31500
/proc/meminfo: memFree=28721320/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=12032 CPUtime=0 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 1857 0 0 0 0 0 0 0 20 0 1 0 269332336 12320768 1813 33554432000 4194304 10219143 140733939461616 140733939460488 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 3055 1821 401 1471 0 1575 0
[startup+0.0140401 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 31500
/proc/meminfo: memFree=28721320/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=15096 CPUtime=0.01 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 2512 0 0 0 1 0 0 0 20 0 1 0 269332336 15458304 2467 33554432000 4194304 10219143 140733939461616 140733939460488 8848048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 3774 2467 421 1471 0 2294 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15096
[startup+0.100231 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 31500
/proc/meminfo: memFree=28721320/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=33628 CPUtime=0.09 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 7102 0 0 0 8 1 0 0 20 0 1 0 269332336 34435072 7059 33554432000 4194304 10219143 140733939461616 140733939460488 9036762 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 8512 7093 467 1471 0 7032 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33628
[startup+0.300275 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 31500
/proc/meminfo: memFree=28721320/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=64912 CPUtime=0.29 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 14703 0 0 0 19 10 0 0 20 0 1 0 269332336 66469888 14647 33554432000 4194304 10219143 140733939461616 140733939460488 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 16228 14647 550 1471 0 14748 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64912
[startup+0.70031 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 31500
/proc/meminfo: memFree=28721320/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=83048 CPUtime=0.69 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 20312 0 0 0 47 22 0 0 20 0 1 0 269332336 85041152 19202 33554432000 4194304 10219143 140733939461616 140733939458616 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 20762 19202 584 1471 0 19282 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83048
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31501
/proc/meminfo: memFree=28600164/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=146856 CPUtime=1.49 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 34910 0 0 0 120 29 0 0 20 0 1 0 269332336 150380544 33949 33554432000 4194304 10219143 140733939461616 140733939456488 7256998 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 36714 33949 753 1471 0 35234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 146856
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31501
/proc/meminfo: memFree=28586832/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=146856 CPUtime=3.09 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 35577 0 0 0 276 33 0 0 20 0 1 0 269332336 150380544 34419 33554432000 4194304 10219143 140733939461616 140733939456776 7256996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 36714 34419 775 1471 0 35234 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146856
[startup+6.30021 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 31501
/proc/meminfo: memFree=28585072/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=146856 CPUtime=6.29 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 35888 0 0 0 595 34 0 0 20 0 1 0 269332336 150380544 34730 33554432000 4194304 10219143 140733939461616 140733939457000 7256996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 36714 34730 778 1471 0 35234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146856
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 31501
/proc/meminfo: memFree=28583964/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=146856 CPUtime=12.69 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 36144 0 0 0 1233 36 0 0 20 0 1 0 269332336 150380544 35004 33554432000 4194304 10219143 140733939461616 140733939456504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 36714 35004 779 1471 0 35234 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 146856
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 31501
/proc/meminfo: memFree=28583688/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=144472 CPUtime=25.49 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 46831 0 0 0 2491 58 0 0 20 0 1 0 269332336 147939328 35056 33554432000 4194304 10219143 140733939461616 140733939455448 7750240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 36118 35056 836 1471 0 34638 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144472
[startup+51.1004 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 31501
/proc/meminfo: memFree=28583104/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=144472 CPUtime=51.07 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 46841 0 0 0 5045 62 0 0 20 0 1 0 269332336 147939328 35083 33554432000 4194304 10219143 140733939461616 140733939455064 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 36118 35083 836 1471 0 34638 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144472
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 31501
/proc/meminfo: memFree=28579736/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=144472 CPUtime=102.27 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 46842 0 0 0 10153 74 0 0 20 0 1 0 269332336 147939328 35286 33554432000 4194304 10219143 140733939461616 140733939455448 8102391 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 36118 35286 836 1471 0 34638 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 144472
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 31501
/proc/meminfo: memFree=28567644/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=158280 CPUtime=162.25 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 74162 0 0 0 16108 117 0 0 20 0 1 0 269332336 162078720 37447 33554432000 4194304 10219143 140733939461616 140733939457560 8015476 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 39570 37447 836 1471 0 38090 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 158280
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31501
/proc/meminfo: memFree=28544872/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=171132 CPUtime=222.24 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 91193 0 0 0 22077 147 0 0 20 0 1 0 269332336 175239168 41398 33554432000 4194304 10219143 140733939461616 140733939456984 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 42783 41398 836 1471 0 41303 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 171132
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31502
/proc/meminfo: memFree=28527072/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=181944 CPUtime=282.23 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 106608 0 0 0 28043 180 0 0 20 0 1 0 269332336 186310656 44085 33554432000 4194304 10219143 140733939461616 140733939455256 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 45486 44085 836 1471 0 44006 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 181944
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31505
/proc/meminfo: memFree=28507832/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=197840 CPUtime=342.22 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 110396 0 0 0 34020 202 0 0 20 0 1 0 269332336 202588160 47871 33554432000 4194304 10219143 140733939461616 140733939455432 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 49460 47871 836 1471 0 47980 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 197840
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 31505
/proc/meminfo: memFree=28494672/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=207428 CPUtime=402.22 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 125655 0 0 0 39988 234 0 0 20 0 1 0 269332336 212406272 50196 33554432000 4194304 10219143 140733939461616 140733939455256 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 51857 50196 836 1471 0 50377 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 207428
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31505
/proc/meminfo: memFree=28476120/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=222132 CPUtime=462.2 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 142375 0 0 0 45959 261 0 0 20 0 1 0 269332336 227463168 53919 33554432000 4194304 10219143 140733939461616 140733939455256 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 55533 53919 836 1471 0 54053 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 222132
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 31505
/proc/meminfo: memFree=28461784/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=232984 CPUtime=522.19 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 145065 0 0 0 51942 277 0 0 20 0 1 0 269332336 238575616 56605 33554432000 4194304 10219143 140733939461616 140733939455256 7940545 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 58246 56605 836 1471 0 56766 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 232984
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31506
/proc/meminfo: memFree=28450872/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=240876 CPUtime=582.19 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 159764 0 0 0 57912 307 0 0 20 0 1 0 269332336 246657024 58566 33554432000 4194304 10219143 140733939461616 140733939455256 5184837 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 60219 58566 836 1471 0 58739 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 240876
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28356288/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=321876 CPUtime=1122.1 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 276373 0 0 0 111641 569 0 0 20 0 1 0 269332336 329601024 78963 33554432000 4194304 10219143 140733939461616 140733939455256 8930979 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 80469 78963 840 1471 0 78989 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 321876
[startup+1182.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 31512
/proc/meminfo: memFree=28343984/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=333756 CPUtime=1182.09 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 279320 0 0 0 117619 590 0 0 20 0 1 0 269332336 341766144 81879 33554432000 4194304 10219143 140733939461616 140733939455256 7956100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 83439 81879 840 1471 0 81959 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 333756
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 31513
/proc/meminfo: memFree=28333056/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=341792 CPUtime=1242.08 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 281141 0 0 0 123598 610 0 0 20 0 1 0 269332336 349995008 83977 33554432000 4194304 10219143 140733939461616 140733939454792 8091333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 85448 83977 840 1471 0 83968 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 341792
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 31513
/proc/meminfo: memFree=28324372/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=349592 CPUtime=1302.08 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 283276 0 0 0 129577 631 0 0 20 0 1 0 269332336 357982208 86112 33554432000 4194304 10219143 140733939461616 140733939454264 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 87398 86112 840 1471 0 85918 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 349592
[startup+1362.3 s]
/proc/loadavg: 1.96 2.03 2.00 3/179 32425
/proc/meminfo: memFree=28368380/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=362396 CPUtime=1362.06 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 299216 0 0 0 135539 667 0 0 20 0 1 0 269332336 371093504 89170 33554432000 4194304 10219143 140733939461616 140733939455256 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 90599 89170 840 1471 0 89119 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 362396
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 32425
/proc/meminfo: memFree=28352020/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=375032 CPUtime=1422.06 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 302462 0 0 0 141515 691 0 0 20 0 1 0 269332336 384032768 92366 33554432000 4194304 10219143 140733939461616 140733939454600 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 93758 92366 840 1471 0 92278 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 375032
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 32425
/proc/meminfo: memFree=28339180/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=388268 CPUtime=1482.04 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 305659 0 0 0 147487 717 0 0 20 0 1 0 269332336 397586432 95557 33554432000 4194304 10219143 140733939461616 140733939454920 7931818 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 97067 95557 840 1471 0 95587 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 388268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 32429
/proc/meminfo: memFree=28322168/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=397640 CPUtime=1542.02 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 307939 0 0 0 153462 740 0 0 20 0 1 0 269332336 407183360 97954 33554432000 4194304 10219143 140733939461616 140733939455256 5184876 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 99410 97954 840 1471 0 97930 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 397640
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 32452
/proc/meminfo: memFree=28302916/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=406220 CPUtime=1602.02 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 310124 0 0 0 159441 761 0 0 20 0 1 0 269332336 415969280 100139 33554432000 4194304 10219143 140733939461616 140733939454600 7976179 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 101555 100139 840 1471 0 100075 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 406220
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 32452
/proc/meminfo: memFree=28290772/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=415476 CPUtime=1662.01 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 312486 0 0 0 165419 782 0 0 20 0 1 0 269332336 425447424 102491 33554432000 4194304 10219143 140733939461616 140733939454872 5196378 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 103869 102491 840 1471 0 102389 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 415476
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 32452
/proc/meminfo: memFree=28271304/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=424440 CPUtime=1722 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 326099 0 0 0 171387 813 0 0 20 0 1 0 269332336 434626560 104640 33554432000 4194304 10219143 140733939461616 140733939455256 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 106110 104640 841 1471 0 104630 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 424440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 32452
/proc/meminfo: memFree=28251712/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=435688 CPUtime=1782 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 329000 0 0 0 177366 834 0 0 20 0 1 0 269332336 446144512 107541 33554432000 4194304 10219143 140733939461616 140733939454872 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 108922 107541 841 1471 0 107442 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 435688
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 32452
/proc/meminfo: memFree=28251340/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=436456 CPUtime=1785.19 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 329109 0 0 0 177684 835 0 0 20 0 1 0 269332336 446930944 107650 33554432000 4194304 10219143 140733939461616 140733939455256 5145960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 109114 107650 841 1471 0 107634 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 436456
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 32452
/proc/meminfo: memFree=28249364/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=439032 CPUtime=1791.59 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 329475 0 0 0 178323 836 0 0 20 0 1 0 269332336 449568768 108016 33554432000 4194304 10219143 140733939461616 140733939454600 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 109758 108016 841 1471 0 108278 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 439032
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 32453
/proc/meminfo: memFree=28248984/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=439032 CPUtime=1794.79 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 329511 0 0 0 178642 837 0 0 20 0 1 0 269332336 449568768 108052 33554432000 4194304 10219143 140733939461616 140733939454984 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 109758 108052 841 1471 0 108278 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 439032
[startup+1795.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 32453
/proc/meminfo: memFree=28248984/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=439032 CPUtime=1795.59 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 329511 0 0 0 178721 838 0 0 20 0 1 0 269332336 449568768 108052 33554432000 4194304 10219143 140733939461616 140733939454744 8090870 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 109758 108052 841 1471 0 108278 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 439032
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 32453
/proc/meminfo: memFree=28248984/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=439032 CPUtime=1796.39 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 329514 0 0 0 178801 838 0 0 20 0 1 0 269332336 449568768 108055 33554432000 4194304 10219143 140733939461616 140733939455256 8090882 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 109758 108055 841 1471 0 108278 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 439032
[startup+1797.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 32453
/proc/meminfo: memFree=28248984/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=439032 CPUtime=1796.79 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 329517 0 0 0 178841 838 0 0 20 0 1 0 269332336 449568768 108058 33554432000 4194304 10219143 140733939461616 140733939455256 4990635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 109758 108058 843 1471 0 108278 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 439032
[startup+1797.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 32453
/proc/meminfo: memFree=28248984/32873844 swapFree=7096/7096
[pid=31500] ppid=31498 vsize=439032 CPUtime=1796.89 cores=1,3,5,7
/proc/31500/stat : 31500 (scip-2.1.1.4exp) R 31498 31500 29822 0 -1 4202496 329517 0 0 0 178851 838 0 0 20 0 1 0 269332336 449568768 108058 33554432000 4194304 10219143 140733939461616 140733939455256 5123425 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 109758 108058 843 1471 0 108278 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 439032
Child status: 0
Real time (s): 1797.29
CPU time (s): 1796.99
CPU user time (s): 1788.6
CPU system time (s): 8.39472
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 464808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.6
system time used= 8.39472
maximum resident set size= 461296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 1845
runsolver used 3.25351 second user time and 8.59969 second system time
The end