0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693539-1338038776.opb>
0.00/0.03 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.00/0.03 c problem read in 0.03
0.00/0.06 c presolving:
0.07/0.09 c (round 1) 7 del vars, 1 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.09/0.10 c (round 2) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.19/0.22 c (round 3) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 9940 impls, 75 clqs
0.29/0.31 c (0.3s) probing: 51/4970 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.31 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.31 c presolving (4 rounds):
0.29/0.31 c 7 deleted vars, 4971 deleted constraints, 0 added constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.31 c 9940 implications, 1111 cliques
0.29/0.31 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
0.29/0.31 c 448 constraints of type <knapsack>
0.29/0.31 c 75 constraints of type <setppc>
0.29/0.31 c transformed objective value is always integral (scale: 1)
0.29/0.31 c Presolving Time: 0.27
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 2.1.1.4
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1797
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 13950
0.29/0.31 c
0.29/0.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.31 c # [type: int, range: [1,2], default: 1]
0.29/0.31 c timing/clocktype = 2
0.29/0.31 c
0.29/0.31 c # belongs reading time to solving time?
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c timing/reading = TRUE
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.31 c
0.39/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.40 c 0.4s| 1 | 0 | 1005 | - | 24M| 0 | 67 |4970 | 584 |4970 | 523 | 0 | 61 | 0 | 7.000000e+00 | -- | Inf
0.99/1.07 c 1.1s| 1 | 0 | 6006 | - | 25M| 0 | 117 |4970 | 584 |4970 | 555 | 32 | 61 | 0 | 7.000000e+00 | -- | Inf
1.29/1.32 c 1.3s| 1 | 0 | 6147 | - | 25M| 0 | 139 |4970 | 584 |4970 | 584 | 61 | 61 | 0 | 7.000000e+00 | -- | Inf
1.49/1.59 c 1.6s| 1 | 0 | 6283 | - | 26M| 0 | 172 |4970 | 584 |4970 | 611 | 88 | 61 | 0 | 7.000000e+00 | -- | Inf
1.89/1.95 c 2.0s| 1 | 0 | 6813 | - | 27M| 0 | 193 |4970 | 584 |4970 | 643 | 120 | 61 | 0 | 7.000000e+00 | -- | Inf
2.29/2.33 c 2.3s| 1 | 0 | 7417 | - | 27M| 0 | 209 |4970 | 584 |4970 | 671 | 148 | 61 | 0 | 7.000000e+00 | -- | Inf
2.79/2.81 c 2.8s| 1 | 0 | 8511 | - | 28M| 0 | 242 |4970 | 584 |4970 | 695 | 172 | 61 | 0 | 7.000000e+00 | -- | Inf
4.88/4.96 c 5.0s| 1 | 2 | 8511 | - | 28M| 0 | 242 |4970 | 584 |4970 | 695 | 172 | 61 | 34 | 7.000000e+00 | -- | Inf
30.29/30.37 c 30.4s| 100 | 43 | 16569 | 81.4 | 28M| 56 | - |4970 | 720 |4970 | 640 | 172 | 197 | 424 | 7.000000e+00 | -- | Inf
34.79/34.83 c 34.8s| 200 | 68 | 28051 | 98.2 | 29M| 72 | 60 |4970 | 826 |4970 | 640 | 172 | 303 | 484 | 7.000000e+00 | -- | Inf
37.08/37.11 c 37.1s| 300 | 91 | 35111 | 89.0 | 29M| 72 | - |4970 | 993 |4970 | 640 | 172 | 470 | 514 | 7.000000e+00 | -- | Inf
38.38/38.44 c 38.4s| 400 | 106 | 39367 | 77.3 | 30M| 72 | - |4970 |1146 | 0 | 0 | 172 | 626 | 553 | 7.000000e+00 | -- | Inf
39.39/39.45 c 39.4s| 500 | 107 | 41933 | 67.0 | 30M| 74 | - |4970 |1290 | 0 | 0 | 172 | 771 | 590 | 7.000000e+00 | -- | Inf
40.89/40.94 c 40.9s| 600 | 144 | 46097 | 62.7 | 30M| 74 | - |4970 |1521 | 0 | 0 | 172 |1010 | 646 | 7.000000e+00 | -- | Inf
42.48/42.56 c 42.6s| 700 | 156 | 51711 | 61.8 | 31M| 74 | 55 |4970 |1685 |4970 | 640 | 172 |1213 | 702 | 7.000000e+00 | -- | Inf
43.89/43.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.89/43.92 c 43.9s| 800 | 167 | 55963 | 59.4 | 31M| 74 | 44 |4970 |1812 |4970 | 640 | 172 |1351 | 747 | 7.000000e+00 | -- | Inf
45.88/45.94 c 45.9s| 900 | 156 | 62208 | 59.7 | 31M| 74 | 58 |4970 |1914 |4970 | 640 | 172 |1484 | 821 | 7.000000e+00 | -- | Inf
48.29/48.31 c 48.3s| 1000 | 168 | 70551 | 62.1 | 31M| 74 | 71 |4970 |1959 |4970 | 640 | 172 |1694 | 898 | 7.000000e+00 | -- | Inf
50.98/51.08 c 51.1s| 1100 | 174 | 79468 | 64.6 | 31M| 74 | 61 |4970 |2040 |4970 | 640 | 172 |1841 |1005 | 7.000000e+00 | -- | Inf
53.18/53.23 c 53.2s| 1200 | 182 | 86820 | 65.3 | 31M| 74 | - |4970 |2134 |4970 | 640 | 172 |1968 |1060 | 7.000000e+00 | -- | Inf
55.48/55.56 c 55.6s| 1300 | 182 | 95030 | 66.6 | 31M| 74 | - |4970 |2238 |4970 | 640 | 172 |2124 |1106 | 7.000000e+00 | -- | Inf
57.68/57.70 c 57.7s| 1400 | 178 |101849 | 66.7 | 31M| 74 | - |4970 |2272 |4970 | 640 | 172 |2262 |1180 | 7.000000e+00 | -- | Inf
60.48/60.56 c 60.6s| 1500 | 192 |111652 | 68.8 | 31M| 74 | - |4970 |2343 |4970 | 640 | 172 |2397 |1258 | 7.000000e+00 | -- | Inf
63.37/63.40 c 63.4s| 1600 | 198 |121262 | 70.5 | 31M| 74 | 75 |4970 |2443 |4970 | 640 | 172 |2515 |1341 | 7.000000e+00 | -- | Inf
65.58/65.66 c 65.7s| 1700 | 206 |129002 | 70.9 | 32M| 74 | 66 |4970 |2530 |4970 | 640 | 172 |2690 |1403 | 7.000000e+00 | -- | Inf
67.58/67.62 c 67.6s| 1800 | 210 |135726 | 70.7 | 32M| 74 | - |4970 |2599 | 0 | 0 | 172 |2782 |1445 | 7.000000e+00 | -- | Inf
70.07/70.16 c 70.2s| 1900 | 205 |143915 | 71.3 | 31M| 74 | 62 |4970 |2537 |4970 | 640 | 172 |2904 |1537 | 7.000000e+00 | -- | Inf
71.97/72.07 c 72.1s| 2000 | 240 |150520 | 71.0 | 32M| 81 | 38 |4970 |2585 |4970 | 640 | 172 |2958 |1586 | 7.000000e+00 | -- | Inf
73.87/73.97 c 74.0s| 2100 | 230 |156617 | 70.6 | 32M| 84 | 77 |4970 |2642 |4970 | 640 | 172 |3103 |1634 | 7.000000e+00 | -- | Inf
76.57/76.62 c 76.6s| 2200 | 232 |165841 | 71.5 | 32M| 84 | 70 |4970 |2662 |4970 | 640 | 172 |3252 |1712 | 7.000000e+00 | -- | Inf
78.37/78.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.37/78.44 c 78.4s| 2300 | 222 |171646 | 71.0 | 31M| 84 | 77 |4970 |2525 |4970 | 640 | 172 |3464 |1764 | 7.000000e+00 | -- | Inf
80.47/80.57 c 80.6s| 2400 | 232 |178563 | 70.9 | 31M| 84 | 76 |4970 |2428 |4970 | 640 | 172 |3585 |1827 | 7.000000e+00 | -- | Inf
82.87/82.96 c 83.0s| 2500 | 234 |186695 | 71.3 | 31M| 84 | - |4970 |2421 | 0 | 0 | 172 |3700 |1888 | 7.000000e+00 | -- | Inf
84.47/84.56 c 84.6s| 2600 | 232 |191636 | 70.5 | 31M| 84 | - |4970 |2470 | 0 | 0 | 172 |3815 |1931 | 7.000000e+00 | -- | Inf
86.56/86.69 c 86.7s| 2700 | 232 |198151 | 70.3 | 31M| 84 | 61 |4970 |2456 |4970 | 640 | 172 |4010 |2007 | 7.000000e+00 | -- | Inf
88.86/88.96 c 89.0s| 2800 | 236 |205459 | 70.4 | 31M| 84 | 58 |4970 |2460 |4970 | 640 | 172 |4093 |2093 | 7.000000e+00 | -- | Inf
90.56/90.68 c 90.7s| 2900 | 226 |210526 | 69.7 | 31M| 84 | 70 |4970 |2316 |4970 | 640 | 172 |4258 |2144 | 7.000000e+00 | -- | Inf
93.66/93.79 c 93.8s| 3000 | 237 |221561 | 71.0 | 31M| 84 | 59 |4970 |2198 |4970 | 640 | 172 |4356 |2237 | 7.000000e+00 | -- | Inf
96.16/96.22 c 96.2s| 3100 | 245 |229493 | 71.3 | 31M| 84 | - |4970 |2164 |4970 | 640 | 172 |4471 |2313 | 7.000000e+00 | -- | Inf
98.76/98.83 c 98.8s| 3200 | 247 |238073 | 71.8 | 31M| 84 | 60 |4970 |2197 |4970 | 640 | 172 |4574 |2408 | 7.000000e+00 | -- | Inf
101.36/101.44 c 101s| 3300 | 248 |247043 | 72.3 | 32M| 84 | 53 |4970 |2258 |4970 | 640 | 172 |4701 |2477 | 7.000000e+00 | -- | Inf
104.76/104.84 c 105s| 3400 | 237 |258332 | 73.5 | 31M| 84 | 93 |4970 |2106 |4970 | 640 | 172 |4832 |2585 | 7.000000e+00 | -- | Inf
107.36/107.49 c 107s| 3500 | 241 |267156 | 73.9 | 31M| 84 | 62 |4970 |2028 |4970 | 640 | 172 |4937 |2663 | 7.000000e+00 | -- | Inf
109.66/109.73 c 110s| 3600 | 240 |274690 | 74.0 | 31M| 84 | - |4970 |2036 | 0 | 0 | 172 |5048 |2720 | 7.000000e+00 | -- | Inf
111.76/111.85 c 112s| 3700 | 244 |281858 | 73.9 | 31M| 84 | - |4970 |2077 |4970 | 640 | 172 |5145 |2793 | 7.000000e+00 | -- | Inf
113.86/113.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.86/113.95 c 114s| 3800 | 247 |288189 | 73.6 | 31M| 84 | - |4970 |2115 |4970 | 640 | 172 |5304 |2871 | 7.000000e+00 | -- | Inf
115.47/115.58 c 116s| 3900 | 247 |293733 | 73.2 | 31M| 84 | 50 |4970 |1986 |4970 | 640 | 172 |5404 |2910 | 7.000000e+00 | -- | Inf
118.05/118.16 c 118s| 4000 | 247 |301942 | 73.4 | 31M| 84 | - |4970 |1851 |4970 | 640 | 172 |5529 |3004 | 7.000000e+00 | -- | Inf
120.76/120.81 c 121s| 4100 | 251 |310982 | 73.8 | 31M| 84 | - |4970 |1847 |4970 | 640 | 172 |5655 |3082 | 7.000000e+00 | -- | Inf
122.86/122.95 c 123s| 4200 | 247 |318018 | 73.7 | 31M| 84 | - |4970 |1902 | 0 | 0 | 172 |5841 |3146 | 7.000000e+00 | -- | Inf
124.76/124.85 c 125s| 4300 | 248 |324226 | 73.4 | 31M| 84 | 60 |4970 |1937 |4970 | 640 | 172 |5990 |3212 | 7.000000e+00 | -- | Inf
127.76/127.87 c 128s| 4400 | 254 |333974 | 74.0 | 31M| 84 | 60 |4970 |1874 |4970 | 640 | 172 |6082 |3299 | 7.000000e+00 | -- | Inf
129.15/129.25 c 129s| 4500 | 269 |338176 | 73.3 | 31M| 84 | 65 |4970 |1919 |4970 | 640 | 172 |6192 |3333 | 7.000000e+00 | -- | Inf
130.86/130.98 c 131s| 4600 | 276 |343571 | 72.9 | 31M| 84 | 68 |4970 |1937 |4970 | 640 | 172 |6347 |3374 | 7.000000e+00 | -- | Inf
133.15/133.20 c 133s| 4700 | 263 |350426 | 72.8 | 31M| 84 | 58 |4970 |1874 |4970 | 640 | 172 |6452 |3446 | 7.000000e+00 | -- | Inf
135.75/135.85 c 136s| 4800 | 264 |359736 | 73.2 | 31M| 84 | 69 |4970 |1895 |4970 | 640 | 172 |6555 |3528 | 7.000000e+00 | -- | Inf
138.75/138.84 c 139s| 4900 | 263 |370024 | 73.8 | 31M| 84 | - |4970 |1871 |4970 | 640 | 172 |6678 |3619 | 7.000000e+00 | -- | Inf
141.15/141.22 c 141s| 5000 | 258 |377791 | 73.9 | 31M| 84 | - |4970 |1654 |4970 | 640 | 172 |6826 |3695 | 7.000000e+00 | -- | Inf
143.05/143.15 c 143s| 5100 | 267 |383811 | 73.6 | 31M| 84 | - |4970 |1645 | 0 | 0 | 172 |6977 |3767 | 7.000000e+00 | -- | Inf
144.85/144.91 c 145s| 5200 | 264 |389174 | 73.2 | 31M| 84 | - |4970 |1680 |4970 | 640 | 172 |7118 |3804 | 7.000000e+00 | -- | Inf
146.05/146.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.05/146.14 c 146s| 5300 | 282 |392893 | 72.5 | 31M| 84 | 77 |4970 |1740 |4970 | 640 | 172 |7255 |3837 | 7.000000e+00 | -- | Inf
147.15/147.27 c 147s| 5400 | 284 |396382 | 71.8 | 31M| 84 | - |4970 |1817 | 0 | 0 | 172 |7407 |3856 | 7.000000e+00 | -- | Inf
150.55/150.64 c 151s| 5500 | 284 |407203 | 72.5 | 31M| 84 | 54 |4970 |1839 |4970 | 640 | 172 |7511 |3951 | 7.000000e+00 | -- | Inf
152.55/152.63 c 153s| 5600 | 284 |414169 | 72.5 | 31M| 84 | 73 |4970 |1796 |4970 | 640 | 172 |7629 |3994 | 7.000000e+00 | -- | Inf
154.85/154.93 c 155s| 5700 | 294 |421231 | 72.4 | 31M| 84 | 53 |4970 |1832 |4970 | 640 | 172 |7762 |4067 | 7.000000e+00 | -- | Inf
157.26/157.31 c 157s| 5800 | 298 |429907 | 72.7 | 32M| 84 | - |4970 |1935 |4970 | 640 | 172 |7956 |4127 | 7.000000e+00 | -- | Inf
160.25/160.32 c 160s| 5900 | 290 |440219 | 73.2 | 31M| 84 | - |4970 |1898 |4970 | 640 | 172 |8066 |4219 | 7.000000e+00 | -- | Inf
161.65/161.76 c 162s| 6000 | 292 |445048 | 72.8 | 31M| 84 | 72 |4970 |1873 |4970 | 640 | 172 |8212 |4249 | 7.000000e+00 | -- | Inf
165.45/165.51 c 166s| 6100 | 280 |457105 | 73.6 | 31M| 84 | - |4970 |1861 |4970 | 640 | 172 |8319 |4383 | 7.000000e+00 | -- | Inf
168.15/168.27 c 168s| 6200 | 282 |466135 | 73.8 | 31M| 84 | - |4970 |1802 |4970 | 640 | 172 |8412 |4455 | 7.000000e+00 | -- | Inf
170.46/170.59 c 171s| 6300 | 286 |473450 | 73.8 | 31M| 84 | 62 |4970 |1755 |4970 | 640 | 172 |8517 |4533 | 7.000000e+00 | -- | Inf
172.85/172.94 c 173s| 6400 | 288 |480667 | 73.8 | 31M| 84 | 70 |4970 |1777 |4970 | 640 | 172 |8586 |4627 | 7.000000e+00 | -- | Inf
173.94/174.09 c 174s| 6500 | 290 |485067 | 73.3 | 31M| 103 | 62 |4970 |1814 |4970 | 640 | 172 |8660 |4643 | 7.000000e+00 | -- | Inf
175.24/175.39 c 175s| 6600 | 334 |488340 | 72.7 | 31M| 103 | - |4970 |1832 |4970 | 640 | 172 |8682 |4646 | 7.000000e+00 | -- | Inf
177.25/177.39 c 177s| 6700 | 287 |494481 | 72.5 | 31M| 103 | - |4970 |1901 | 0 | 0 | 172 |8855 |4705 | 7.000000e+00 | -- | Inf
179.55/179.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.55/179.64 c 180s| 6800 | 287 |502257 | 72.6 | 31M| 103 | - |4970 |1916 |4970 | 640 | 172 |8946 |4745 | 7.000000e+00 | -- | Inf
181.55/181.60 c 182s| 6900 | 291 |508151 | 72.4 | 31M| 103 | 59 |4970 |1928 |4970 | 640 | 172 |9010 |4797 | 7.000000e+00 | -- | Inf
183.05/183.19 c 183s| 7000 | 285 |512633 | 72.0 | 32M| 103 | 67 |4970 |1968 |4970 | 640 | 172 |9155 |4861 | 7.000000e+00 | -- | Inf
186.15/186.21 c 186s| 7100 | 273 |523236 | 72.5 | 32M| 103 | - |4970 |2001 | 0 | 0 | 172 |9288 |4953 | 7.000000e+00 | -- | Inf
188.15/188.27 c 188s| 7200 | 271 |529861 | 72.4 | 32M| 103 | - |4970 |2000 |4970 | 640 | 172 |9411 |5034 | 7.000000e+00 | -- | Inf
190.44/190.52 c 191s| 7300 | 263 |537237 | 72.4 | 31M| 103 | 63 |4970 |1946 |4970 | 640 | 172 |9567 |5109 | 7.000000e+00 | -- | Inf
192.35/192.44 c 192s| 7400 | 264 |543380 | 72.3 | 31M| 103 | - |4970 |1990 |4970 | 640 | 172 |9680 |5169 | 7.000000e+00 | -- | Inf
194.24/194.39 c 194s| 7500 | 265 |548943 | 72.1 | 31M| 103 | 61 |4970 |2016 |4970 | 640 | 172 |9764 |5218 | 7.000000e+00 | -- | Inf
197.95/198.08 c 198s| 7600 | 270 |561508 | 72.8 | 32M| 103 | 60 |4970 |2073 |4970 | 640 | 172 |9914 |5303 | 7.000000e+00 | -- | Inf
200.15/200.24 c 200s| 7700 | 258 |568014 | 72.7 | 31M| 103 | 64 |4970 |2040 |4970 | 640 | 172 | 10k|5361 | 7.000000e+00 | -- | Inf
201.84/201.96 c 202s| 7800 | 262 |573357 | 72.4 | 31M| 103 | 59 |4970 |2124 |4970 | 640 | 172 | 10k|5405 | 7.000000e+00 | -- | Inf
203.74/203.82 c 204s| 7900 | 266 |578987 | 72.2 | 31M| 103 | 54 |4970 |2120 |4970 | 640 | 172 | 10k|5450 | 7.000000e+00 | -- | Inf
205.54/205.61 c 206s| 8000 | 272 |584460 | 72.0 | 32M| 103 | - |4970 |2189 |4970 | 640 | 172 | 10k|5487 | 7.000000e+00 | -- | Inf
207.34/207.48 c 207s| 8100 | 265 |589475 | 71.7 | 31M| 103 | 52 |4970 |2188 |4970 | 640 | 172 | 10k|5531 | 7.000000e+00 | -- | Inf
210.14/210.25 c 210s| 8200 | 250 |598859 | 72.0 | 31M| 103 | - |4970 |2158 |4970 | 640 | 172 | 10k|5612 | 7.000000e+00 | -- | Inf
211.84/211.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.84/211.95 c 212s| 8300 | 265 |603756 | 71.7 | 31M| 103 | - |4970 |2210 |4970 | 640 | 172 | 10k|5674 | 7.000000e+00 | -- | Inf
213.94/214.07 c 214s| 8400 | 254 |610464 | 71.7 | 31M| 103 | 63 |4970 |2124 |4970 | 640 | 172 | 11k|5748 | 7.000000e+00 | -- | Inf
216.65/216.78 c 217s| 8500 | 256 |619326 | 71.9 | 31M| 103 | - |4970 |2192 |4970 | 640 | 172 | 11k|5816 | 7.000000e+00 | -- | Inf
219.24/219.30 c 219s| 8600 | 255 |626957 | 71.9 | 31M| 103 | 68 |4970 |2190 |4970 | 640 | 172 | 11k|5877 | 7.000000e+00 | -- | Inf
221.84/221.98 c 222s| 8700 | 255 |636169 | 72.2 | 31M| 103 | - |4970 |2216 |4970 | 640 | 172 | 11k|5952 | 7.000000e+00 | -- | Inf
223.43/223.52 c 224s| 8800 | 256 |640602 | 71.8 | 31M| 103 | - |4970 |2249 |4970 | 640 | 172 | 11k|5992 | 7.000000e+00 | -- | Inf
225.45/225.56 c 226s| 8900 | 262 |646828 | 71.7 | 31M| 103 | - |4970 |2248 |4970 | 640 | 172 | 11k|6043 | 7.000000e+00 | -- | Inf
227.54/227.68 c 228s| 9000 | 250 |653479 | 71.7 | 31M| 103 | - |4970 |2240 |4970 | 640 | 172 | 11k|6104 | 7.000000e+00 | -- | Inf
229.84/229.95 c 230s| 9100 | 253 |660543 | 71.7 | 31M| 103 | 58 |4970 |2249 |4970 | 640 | 172 | 11k|6160 | 7.000000e+00 | -- | Inf
232.04/232.16 c 232s| 9200 | 251 |668052 | 71.7 | 31M| 103 | - |4970 |2316 |4970 | 640 | 172 | 11k|6239 | 7.000000e+00 | -- | Inf
233.53/233.63 c 234s| 9300 | 256 |672446 | 71.4 | 32M| 103 | 68 |4970 |2412 |4970 | 640 | 172 | 12k|6306 | 7.000000e+00 | -- | Inf
235.53/235.69 c 236s| 9400 | 260 |679706 | 71.4 | 32M| 103 | - |4970 |2444 |4970 | 640 | 172 | 12k|6382 | 7.000000e+00 | -- | Inf
237.64/237.71 c 238s| 9500 | 258 |685850 | 71.3 | 31M| 103 | 77 |4970 |2399 |4970 | 640 | 172 | 12k|6441 | 7.000000e+00 | -- | Inf
240.73/240.90 c 241s| 9600 | 255 |697031 | 71.7 | 31M| 103 | - |4970 |2319 |4970 | 640 | 172 | 12k|6547 | 7.000000e+00 | -- | Inf
243.05/243.15 c 243s| 9700 | 260 |704520 | 71.8 | 31M| 103 | 46 |4970 |2384 |4970 | 640 | 172 | 12k|6602 | 7.000000e+00 | -- | Inf
245.14/245.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.14/245.21 c 245s| 9800 | 256 |711538 | 71.7 | 32M| 103 | - |4970 |2473 | 0 | 0 | 172 | 12k|6680 | 7.000000e+00 | -- | Inf
246.54/246.67 c 247s| 9900 | 263 |716085 | 71.5 | 32M| 103 | 58 |4970 |2461 |4970 | 640 | 172 | 12k|6748 | 7.000000e+00 | -- | Inf
248.44/248.59 c 249s| 10000 | 267 |722558 | 71.4 | 32M| 103 | 74 |4970 |2496 |4970 | 640 | 172 | 13k|6819 | 7.000000e+00 | -- | Inf
250.43/250.56 c 251s| 10100 | 267 |729173 | 71.4 | 32M| 103 | 63 |4970 |2519 |4970 | 640 | 172 | 13k|6876 | 7.000000e+00 | -- | Inf
252.44/252.53 c 253s| 10200 | 257 |735869 | 71.3 | 32M| 103 | - |4970 |2486 | 0 | 0 | 172 | 13k|6929 | 7.000000e+00 | -- | Inf
255.14/255.29 c 255s| 10300 | 259 |745138 | 71.5 | 32M| 103 | - |4970 |2482 |4970 | 640 | 172 | 13k|7000 | 7.000000e+00 | -- | Inf
257.63/257.76 c 258s| 10400 | 262 |753025 | 71.6 | 32M| 103 | 89 |4970 |2452 |4970 | 640 | 172 | 13k|7079 | 7.000000e+00 | -- | Inf
259.34/259.43 c 259s| 10500 | 262 |759088 | 71.5 | 32M| 103 | - |4970 |2531 |4970 | 640 | 172 | 13k|7121 | 7.000000e+00 | -- | Inf
262.24/262.37 c 262s| 10600 | 255 |769358 | 71.8 | 32M| 103 | 59 |4970 |2465 |4970 | 640 | 172 | 13k|7191 | 7.000000e+00 | -- | Inf
264.63/264.79 c 265s| 10700 | 295 |777967 | 71.9 | 32M| 103 | - |4970 |2379 |4970 | 640 | 172 | 13k|7247 | 7.000000e+00 | -- | Inf
267.83/267.94 c 268s| 10800 | 353 |786220 | 72.0 | 32M| 103 | 52 |4970 |2373 |4970 | 640 | 172 | 14k|7288 | 7.000000e+00 | -- | Inf
269.23/269.31 c 269s| 10900 | 387 |790159 | 71.7 | 32M| 103 | 70 |4970 |2318 |4970 | 640 | 172 | 14k|7308 | 7.000000e+00 | -- | Inf
270.83/270.99 c 271s| 11000 | 385 |795350 | 71.5 | 32M| 103 | - |4970 |2287 |4970 | 640 | 172 | 14k|7357 | 7.000000e+00 | -- | Inf
271.93/272.05 c 272s| 11100 | 387 |798573 | 71.2 | 32M| 103 | 51 |4970 |2301 |4970 | 640 | 172 | 14k|7378 | 7.000000e+00 | -- | Inf
273.03/273.12 c 273s| 11200 | 407 |803134 | 71.0 | 32M| 103 | - |4970 |2365 | 0 | 0 | 172 | 14k|7405 | 7.000000e+00 | -- | Inf
274.33/274.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.33/274.42 c 274s| 11300 | 398 |806892 | 70.7 | 32M| 103 | 57 |4970 |2436 |4970 | 640 | 172 | 14k|7441 | 7.000000e+00 | -- | Inf
275.83/275.94 c 276s| 11400 | 400 |811302 | 70.4 | 32M| 103 | - |4970 |2405 | 0 | 0 | 172 | 14k|7477 | 7.000000e+00 | -- | Inf
277.63/277.76 c 278s| 11500 | 424 |815773 | 70.2 | 32M| 103 | 58 |4970 |2433 |4970 | 640 | 172 | 14k|7517 | 7.000000e+00 | -- | Inf
279.24/279.32 c 279s| 11600 | 432 |820486 | 70.0 | 32M| 103 | 47 |4970 |2409 |4970 | 640 | 172 | 15k|7557 | 7.000000e+00 | -- | Inf
280.63/280.78 c 281s| 11700 | 420 |824746 | 69.8 | 32M| 103 | - |4970 |2411 |4970 | 640 | 172 | 15k|7598 | 7.000000e+00 | -- | Inf
282.13/282.27 c 282s| 11800 | 422 |828860 | 69.5 | 32M| 103 | - |4970 |2424 |4970 | 640 | 172 | 15k|7647 | 7.000000e+00 | -- | Inf
284.53/284.65 c 285s| 11900 | 415 |836222 | 69.6 | 32M| 103 | - |4970 |2421 |4970 | 640 | 172 | 15k|7732 | 7.000000e+00 | -- | Inf
286.52/286.66 c 287s| 12000 | 410 |842883 | 69.5 | 32M| 103 | 58 |4970 |2422 |4970 | 640 | 172 | 15k|7781 | 7.000000e+00 | -- | Inf
288.83/288.91 c 289s| 12100 | 411 |850410 | 69.6 | 32M| 103 | - |4970 |2419 |4970 | 640 | 172 | 15k|7833 | 7.000000e+00 | -- | Inf
291.34/291.46 c 291s| 12200 | 405 |858490 | 69.7 | 32M| 103 | - |4970 |2437 |4970 | 640 | 172 | 15k|7907 | 7.000000e+00 | -- | Inf
293.42/293.52 c 294s| 12300 | 395 |864498 | 69.6 | 32M| 103 | - |4970 |2474 | 0 | 0 | 172 | 15k|7958 | 7.000000e+00 | -- | Inf
294.83/294.93 c 295s| 12400 | 405 |868871 | 69.4 | 32M| 103 | 51 |4970 |2484 |4970 | 640 | 172 | 15k|7990 | 7.000000e+00 | -- | Inf
297.32/297.41 c 297s| 12500 | 403 |876624 | 69.5 | 32M| 103 | 66 |4970 |2500 |4970 | 640 | 172 | 15k|8049 | 7.000000e+00 | -- | Inf
299.32/299.40 c 299s| 12600 | 414 |883625 | 69.5 | 33M| 103 | 54 |4970 |2474 |4970 | 640 | 172 | 15k|8109 | 7.000000e+00 | -- | Inf
301.23/301.37 c 301s| 12700 | 412 |890040 | 69.4 | 33M| 103 | - |4970 |2522 |4970 | 640 | 172 | 15k|8167 | 7.000000e+00 | -- | Inf
303.92/304.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.92/304.02 c 304s| 12800 | 410 |898531 | 69.5 | 33M| 103 | 65 |4970 |2526 |4970 | 640 | 172 | 15k|8261 | 7.000000e+00 | -- | Inf
305.83/305.98 c 306s| 12900 | 410 |904601 | 69.5 | 33M| 103 | - |4970 |2507 |4970 | 640 | 172 | 15k|8319 | 7.000000e+00 | -- | Inf
308.63/308.72 c 309s| 13000 | 402 |914420 | 69.7 | 33M| 103 | - |4970 |2508 |4970 | 640 | 172 | 16k|8414 | 7.000000e+00 | -- | Inf
312.73/312.88 c 313s| 13100 | 389 |927475 | 70.2 | 33M| 103 | 67 |4970 |2542 |4970 | 640 | 172 | 16k|8526 | 7.000000e+00 | -- | Inf
315.72/315.86 c 316s| 13200 | 399 |936629 | 70.3 | 32M| 103 | - |4970 |2477 |4970 | 640 | 172 | 16k|8627 | 7.000000e+00 | -- | Inf
319.32/319.41 c 319s| 13300 | 390 |949232 | 70.7 | 32M| 103 | 84 |4970 |2445 |4970 | 640 | 172 | 16k|8735 | 7.000000e+00 | -- | Inf
322.42/322.56 c 323s| 13400 | 426 |958049 | 70.9 | 33M| 103 | 65 |4970 |2395 |4970 | 640 | 172 | 16k|8791 | 7.000000e+00 | -- | Inf
325.02/325.20 c 325s| 13500 | 427 |966320 | 71.0 | 33M| 103 | - |4970 |2427 |4970 | 640 | 172 | 16k|8858 | 7.000000e+00 | -- | Inf
327.12/327.29 c 327s| 13600 | 446 |973021 | 70.9 | 33M| 103 | 43 |4970 |2485 |4970 | 640 | 172 | 16k|8922 | 7.000000e+00 | -- | Inf
329.32/329.46 c 329s| 13700 | 442 |979814 | 70.9 | 33M| 103 | 54 |4970 |2448 |4970 | 640 | 172 | 16k|8984 | 7.000000e+00 | -- | Inf
332.21/332.38 c 332s| 13800 | 457 |989607 | 71.1 | 33M| 103 | 74 |4970 |2430 |4970 | 640 | 172 | 16k|9050 | 7.000000e+00 | -- | Inf
334.82/334.92 c 335s| 13900 | 461 |997633 | 71.2 | 33M| 103 | - |4970 |2430 |4970 | 640 | 172 | 16k|9140 | 7.000000e+00 | -- | Inf
337.72/337.89 c 338s| 14000 | 481 | 1009k| 71.5 | 33M| 103 | - |4970 |2608 | 0 | 0 | 172 | 16k|9208 | 7.000000e+00 | -- | Inf
340.62/340.71 c 341s| 14100 | 502 | 1018k| 71.6 | 33M| 103 | - |4970 |2638 |4970 | 640 | 172 | 17k|9258 | 7.000000e+00 | -- | Inf
343.42/343.54 c 344s| 14200 | 506 | 1029k| 71.9 | 34M| 103 | - |4970 |2626 |4970 | 640 | 172 | 17k|9325 | 7.000000e+00 | -- | Inf
345.02/345.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.02/345.13 c 345s| 14300 | 521 | 1033k| 71.7 | 34M| 103 | - |4970 |2695 |4970 | 640 | 172 | 17k|9354 | 7.000000e+00 | -- | Inf
348.12/348.21 c 348s| 14400 | 544 | 1043k| 71.9 | 34M| 103 | - |4970 |2584 |4970 | 640 | 172 | 17k|9440 | 7.000000e+00 | -- | Inf
349.32/349.49 c 349s| 14500 | 552 | 1047k| 71.7 | 34M| 103 | 62 |4970 |2558 |4970 | 640 | 172 | 17k|9460 | 7.000000e+00 | -- | Inf
352.02/352.16 c 352s| 14600 | 551 | 1055k| 71.7 | 34M| 103 | 71 |4970 |2455 |4970 | 640 | 172 | 17k|9555 | 7.000000e+00 | -- | Inf
354.71/354.83 c 355s| 14700 | 561 | 1065k| 71.9 | 34M| 103 | 55 |4970 |2491 |4970 | 640 | 172 | 17k|9646 | 7.000000e+00 | -- | Inf
357.91/358.00 c 358s| 14800 | 559 | 1075k| 72.1 | 34M| 103 | - |4970 |2550 |4970 | 640 | 172 | 17k|9799 | 7.000000e+00 | -- | Inf
361.61/361.75 c 362s| 14900 | 557 | 1087k| 72.4 | 34M| 103 | 77 |4970 |2594 |4970 | 640 | 172 | 18k|9928 | 7.000000e+00 | -- | Inf
364.91/365.02 c 365s| 15000 | 585 | 1098k| 72.7 | 34M| 103 | - |4970 |2501 |4970 | 640 | 172 | 18k| 10k| 7.000000e+00 | -- | Inf
368.91/369.04 c 369s| 15100 | 606 | 1114k| 73.3 | 34M| 103 | 78 |4970 |2527 |4970 | 640 | 172 | 18k| 10k| 7.000000e+00 | -- | Inf
372.01/372.19 c 372s| 15200 | 644 | 1124k| 73.4 | 34M| 103 | - |4970 |2307 |4970 | 640 | 172 | 18k| 10k| 7.000000e+00 | -- | Inf
374.21/374.30 c 374s| 15300 | 669 | 1131k| 73.4 | 34M| 103 | - |4970 |2181 |4970 | 640 | 172 | 18k| 10k| 7.000000e+00 | -- | Inf
376.02/376.19 c 376s| 15400 | 670 | 1137k| 73.3 | 34M| 103 | - |4970 |2203 | 0 | 0 | 172 | 18k| 10k| 7.000000e+00 | -- | Inf
378.61/378.76 c 379s| 15500 | 692 | 1146k| 73.4 | 35M| 103 | - |4970 |2070 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
381.62/381.70 c 382s| 15600 | 701 | 1155k| 73.6 | 35M| 103 | 71 |4970 |2061 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
384.11/384.25 c 384s| 15700 | 707 | 1163k| 73.6 | 35M| 103 | - |4970 |2110 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
386.31/386.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.31/386.48 c 386s| 15800 | 707 | 1170k| 73.6 | 35M| 103 | 78 |4970 |2131 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
389.01/389.10 c 389s| 15900 | 703 | 1178k| 73.6 | 35M| 103 | - |4970 |2197 | 0 | 0 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
391.81/391.95 c 392s| 16000 | 709 | 1187k| 73.7 | 35M| 103 | 87 |4970 |2264 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
394.82/394.94 c 395s| 16100 | 731 | 1198k| 73.9 | 35M| 103 | 42 |4970 |2281 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
396.01/396.18 c 396s| 16200 | 729 | 1203k| 73.7 | 35M| 103 | - |4970 |2351 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
397.50/397.64 c 398s| 16300 | 725 | 1208k| 73.6 | 35M| 103 | - |4970 |2394 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
398.91/399.06 c 399s| 16400 | 733 | 1213k| 73.5 | 35M| 103 | - |4970 |2392 |4970 | 640 | 172 | 19k| 10k| 7.000000e+00 | -- | Inf
403.31/403.49 c 403s| 16500 | 730 | 1224k| 73.7 | 35M| 103 | 76 |4970 |2344 |4970 | 640 | 172 | 19k| 11k| 7.000000e+00 | -- | Inf
405.81/405.93 c 406s| 16600 | 746 | 1230k| 73.6 | 35M| 103 | 62 |4970 |2337 |4970 | 640 | 172 | 19k| 11k| 7.000000e+00 | -- | Inf
407.41/407.52 c 408s| 16700 | 746 | 1235k| 73.5 | 35M| 103 | 62 |4970 |2347 |4970 | 640 | 172 | 19k| 11k| 7.000000e+00 | -- | Inf
409.01/409.19 c 409s| 16800 | 754 | 1241k| 73.4 | 35M| 103 | - |4970 |2350 |4970 | 640 | 172 | 19k| 11k| 7.000000e+00 | -- | Inf
410.51/410.60 c 411s| 16900 | 750 | 1245k| 73.2 | 35M| 103 | - |4970 |2386 |4970 | 640 | 172 | 19k| 11k| 7.000000e+00 | -- | Inf
412.10/412.22 c 412s| 17000 | 752 | 1251k| 73.1 | 35M| 103 | - |4970 |2380 |4970 | 640 | 172 | 19k| 11k| 7.000000e+00 | -- | Inf
413.51/413.67 c 414s| 17100 | 755 | 1256k| 73.0 | 35M| 103 | - |4970 |2403 |4970 | 640 | 172 | 20k| 11k| 7.000000e+00 | -- | Inf
414.91/415.03 c 415s| 17200 | 751 | 1260k| 72.8 | 35M| 103 | 56 |4970 |2397 |4970 | 640 | 172 | 20k| 11k| 7.000000e+00 | -- | Inf
416.40/416.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.40/416.51 c 417s| 17300 | 751 | 1265k| 72.6 | 35M| 103 | 48 |4970 |2411 |4970 | 640 | 172 | 20k| 11k| 7.000000e+00 | -- | Inf
417.91/418.02 c 418s| 17400 | 751 | 1269k| 72.5 | 35M| 103 | - |4970 |2419 |4970 | 640 | 172 | 20k| 11k| 7.000000e+00 | -- | Inf
419.81/419.93 c 420s| 17500 | 751 | 1274k| 72.4 | 35M| 103 | - |4970 |2431 |4970 | 640 | 172 | 20k| 11k| 7.000000e+00 | -- | Inf
421.30/421.47 c 421s| 17600 | 752 | 1278k| 72.2 | 35M| 103 | - |4970 |2446 |4970 | 640 | 172 | 20k| 11k| 7.000000e+00 | -- | Inf
423.31/423.43 c 423s| 17700 | 748 | 1284k| 72.1 | 35M| 103 | - |4970 |2443 |4970 | 640 | 172 | 20k| 11k| 7.000000e+00 | -- | Inf
425.10/425.23 c 425s| 17800 | 748 | 1290k| 72.0 | 35M| 103 | 45 |4970 |2432 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
426.71/426.85 c 427s| 17900 | 742 | 1295k| 71.9 | 35M| 103 | - |4970 |2419 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
428.20/428.37 c 428s| 18000 | 750 | 1301k| 71.8 | 35M| 103 | - |4970 |2433 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
429.81/429.92 c 430s| 18100 | 756 | 1306k| 71.7 | 35M| 103 | 39 |4970 |2423 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
431.40/431.53 c 432s| 18200 | 750 | 1311k| 71.6 | 35M| 103 | - |4970 |2403 | 0 | 0 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
433.40/433.53 c 434s| 18300 | 754 | 1318k| 71.6 | 35M| 103 | 46 |4970 |2410 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
434.70/434.88 c 435s| 18400 | 754 | 1323k| 71.5 | 35M| 103 | 64 |4970 |2421 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
436.40/436.55 c 437s| 18500 | 751 | 1329k| 71.4 | 35M| 103 | - |4970 |2412 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
438.30/438.40 c 438s| 18600 | 749 | 1334k| 71.3 | 35M| 103 | - |4970 |2412 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
440.30/440.47 c 440s| 18700 | 747 | 1341k| 71.3 | 35M| 103 | - |4970 |2416 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
441.70/441.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.70/441.83 c 442s| 18800 | 749 | 1347k| 71.2 | 35M| 103 | - |4970 |2434 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
443.50/443.62 c 444s| 18900 | 755 | 1352k| 71.1 | 35M| 103 | - |4970 |2441 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
445.10/445.20 c 445s| 19000 | 745 | 1357k| 71.0 | 35M| 103 | 66 |4970 |2439 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
446.60/446.71 c 447s| 19100 | 741 | 1362k| 70.9 | 35M| 103 | - |4970 |2436 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
448.50/448.62 c 449s| 19200 | 741 | 1369k| 70.9 | 35M| 103 | 59 |4970 |2426 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
450.70/450.85 c 451s| 19300 | 739 | 1377k| 70.9 | 35M| 103 | - |4970 |2436 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
452.49/452.68 c 453s| 19400 | 745 | 1383k| 70.9 | 35M| 103 | - |4970 |2441 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
453.90/454.09 c 454s| 19500 | 751 | 1388k| 70.8 | 35M| 103 | 60 |4970 |2435 |4970 | 640 | 172 | 20k| 12k| 7.000000e+00 | -- | Inf
455.90/456.04 c 456s| 19600 | 750 | 1393k| 70.7 | 35M| 103 | 66 |4970 |2448 |4970 | 640 | 172 | 20k| 13k| 7.000000e+00 | -- | Inf
457.50/457.65 c 458s| 19700 | 760 | 1398k| 70.5 | 35M| 103 | - |4970 |2445 |4970 | 640 | 172 | 20k| 13k| 7.000000e+00 | -- | Inf
458.70/458.83 c 459s| 19800 | 764 | 1402k| 70.4 | 35M| 103 | - |4970 |2463 |4970 | 640 | 172 | 20k| 13k| 7.000000e+00 | -- | Inf
459.70/459.85 c 460s| 19900 | 758 | 1405k| 70.2 | 35M| 103 | - |4970 |2466 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
461.00/461.18 c 461s| 20000 | 756 | 1410k| 70.1 | 35M| 103 | - |4970 |2524 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
462.50/462.60 c 463s| 20100 | 752 | 1414k| 70.0 | 35M| 103 | - |4970 |2530 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
464.00/464.15 c 464s| 20200 | 752 | 1419k| 69.9 | 35M| 103 | 63 |4970 |2525 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
465.89/466.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.89/466.00 c 466s| 20300 | 752 | 1425k| 69.8 | 35M| 103 | 52 |4970 |2565 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
467.69/467.81 c 468s| 20400 | 756 | 1431k| 69.8 | 35M| 103 | 48 |4970 |2601 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
469.61/469.73 c 470s| 20500 | 750 | 1438k| 69.8 | 35M| 103 | 51 |4970 |2555 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
473.20/473.33 c 473s| 20600 | 766 | 1448k| 69.9 | 35M| 103 | - |4970 |2538 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
474.80/474.99 c 475s| 20700 | 774 | 1455k| 69.9 | 36M| 103 | - |4970 |2578 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
476.90/477.05 c 477s| 20800 | 778 | 1462k| 69.9 | 36M| 103 | 66 |4970 |2608 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
478.90/479.03 c 479s| 20900 | 773 | 1468k| 69.8 | 36M| 103 | 54 |4970 |2601 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
480.80/480.92 c 481s| 21000 | 778 | 1474k| 69.8 | 36M| 103 | - |4970 |2660 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
482.59/482.75 c 483s| 21100 | 774 | 1482k| 69.9 | 36M| 103 | 49 |4970 |2700 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
484.30/484.41 c 484s| 21200 | 776 | 1488k| 69.8 | 36M| 103 | - |4970 |2687 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
486.70/486.86 c 487s| 21300 | 775 | 1498k| 69.9 | 36M| 103 | 59 |4970 |2669 |4970 | 640 | 172 | 21k| 13k| 7.000000e+00 | -- | Inf
488.70/488.83 c 489s| 21400 | 787 | 1506k| 70.0 | 36M| 103 | 55 |4970 |2691 |4970 | 640 | 172 | 22k| 13k| 7.000000e+00 | -- | Inf
490.79/490.93 c 491s| 21500 | 781 | 1514k| 70.0 | 36M| 103 | - |4970 |2680 |4970 | 640 | 172 | 22k| 13k| 7.000000e+00 | -- | Inf
493.39/493.59 c 494s| 21600 | 780 | 1521k| 70.1 | 36M| 103 | - |4970 |2729 | 0 | 0 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
494.99/495.10 c 495s| 21700 | 781 | 1527k| 70.0 | 36M| 103 | 73 |4970 |2730 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
496.79/496.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.79/496.94 c 497s| 21800 | 781 | 1535k| 70.0 | 36M| 103 | - |4970 |2746 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
499.50/499.66 c 500s| 21900 | 779 | 1543k| 70.1 | 36M| 103 | 47 |4970 |2683 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
501.50/501.62 c 502s| 22000 | 779 | 1551k| 70.1 | 36M| 103 | 48 |4970 |2665 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
503.39/503.59 c 504s| 22100 | 777 | 1558k| 70.1 | 36M| 103 | - |4970 |2659 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
505.29/505.48 c 505s| 22200 | 773 | 1569k| 70.3 | 36M| 103 | - |4970 |2649 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
507.99/508.16 c 508s| 22300 | 774 | 1578k| 70.4 | 36M| 103 | 57 |4970 |2633 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
509.69/509.89 c 510s| 22400 | 766 | 1585k| 70.4 | 36M| 103 | - |4970 |2645 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
511.99/512.15 c 512s| 22500 | 766 | 1591k| 70.3 | 36M| 103 | 83 |4970 |2574 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
514.89/515.05 c 515s| 22600 | 830 | 1602k| 70.5 | 36M| 103 | 81 |4970 |2574 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
517.48/517.62 c 518s| 22700 | 880 | 1610k| 70.6 | 36M| 103 | 60 |4970 |2626 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
519.69/519.89 c 520s| 22800 | 883 | 1617k| 70.6 | 36M| 103 | - |4970 |2651 |4970 | 640 | 172 | 22k| 14k| 7.000000e+00 | -- | Inf
522.99/523.12 c 523s| 22900 | 898 | 1628k| 70.8 | 37M| 103 | - |4970 |2803 |4970 | 640 | 172 | 23k| 14k| 7.000000e+00 | -- | Inf
526.79/526.97 c 527s| 23000 | 907 | 1647k| 71.2 | 37M| 103 | 77 |4970 |2677 |4970 | 640 | 172 | 23k| 14k| 7.000000e+00 | -- | Inf
530.19/530.34 c 530s| 23100 | 926 | 1661k| 71.6 | 37M| 103 | - |4970 |2684 |4970 | 640 | 172 | 23k| 15k| 7.000000e+00 | -- | Inf
532.69/532.83 c 533s| 23200 | 948 | 1671k| 71.7 | 37M| 103 | 79 |4970 |2772 |4970 | 640 | 172 | 23k| 15k| 7.000000e+00 | -- | Inf
535.18/535.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.18/535.39 c 535s| 23300 | 948 | 1681k| 71.8 | 37M| 103 | - |4970 |2814 |4970 | 640 | 172 | 23k| 15k| 7.000000e+00 | -- | Inf
537.19/537.31 c 537s| 23400 | 951 | 1688k| 71.8 | 37M| 103 | 80 |4970 |2604 |4970 | 640 | 172 | 23k| 15k| 7.000000e+00 | -- | Inf
541.29/541.48 c 541s| 23500 | 1000 | 1706k| 72.2 | 37M| 103 | 52 |4970 |2749 |4970 | 640 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
543.99/544.13 c 544s| 23600 | 1017 | 1716k| 72.4 | 37M| 103 | 77 |4970 |2676 |4970 | 640 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
546.88/547.06 c 547s| 23700 | 1073 | 1730k| 72.6 | 38M| 103 | - |4970 |2630 | 0 | 0 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
550.19/550.38 c 550s| 23800 | 1122 | 1741k| 72.8 | 38M| 103 | 85 |4970 |2617 |4970 | 640 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
552.68/552.89 c 553s| 23900 | 1152 | 1753k| 73.0 | 38M| 103 | 70 |4970 |2721 |4970 | 640 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
554.88/555.09 c 555s| 24000 | 1166 | 1761k| 73.0 | 38M| 103 | - |4970 |2782 | 0 | 0 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
556.68/556.86 c 557s| 24100 | 1186 | 1767k| 73.0 | 38M| 103 | - |4970 |2813 |4970 | 640 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
558.69/558.89 c 559s| 24200 | 1204 | 1774k| 73.0 | 39M| 105 | - |4970 |2804 |4970 | 640 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
560.68/560.80 c 561s| 24300 | 1205 | 1781k| 73.0 | 39M| 105 | 69 |4970 |2813 |4970 | 640 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
562.78/562.92 c 563s| 24400 | 1199 | 1789k| 73.0 | 39M| 105 | - |4970 |2807 |4970 | 640 | 172 | 24k| 15k| 7.000000e+00 | -- | Inf
563.98/564.10 c 564s| 24500 | 1208 | 1792k| 72.8 | 39M| 105 | 56 |4970 |2894 |4970 | 640 | 172 | 25k| 15k| 7.000000e+00 | -- | Inf
567.18/567.40 c 567s| 24600 | 1198 | 1804k| 73.0 | 39M| 105 | 60 |4970 |2773 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
569.88/570.04 c 570s| 24700 | 1223 | 1814k| 73.1 | 39M| 105 | - |4970 |2750 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
572.08/572.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.08/572.21 c 572s| 24800 | 1217 | 1823k| 73.2 | 39M| 105 | 88 |4970 |2736 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
575.38/575.59 c 576s| 24900 | 1218 | 1837k| 73.5 | 39M| 105 | 57 |4970 |2664 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
577.58/577.75 c 578s| 25000 | 1240 | 1845k| 73.5 | 39M| 105 | - |4970 |2664 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
580.69/580.89 c 581s| 25100 | 1236 | 1860k| 73.8 | 39M| 105 | 68 |4970 |2647 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
584.48/584.60 c 585s| 25200 | 1240 | 1876k| 74.1 | 39M| 105 | - |4970 |2624 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
586.58/586.75 c 587s| 25300 | 1264 | 1884k| 74.2 | 39M| 105 | - |4970 |2659 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
587.48/587.64 c 588s| 25400 | 1260 | 1887k| 74.0 | 39M| 105 | 62 |4970 |2758 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
589.28/589.46 c 589s| 25500 | 1278 | 1895k| 74.0 | 39M| 105 | - |4970 |2815 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
591.08/591.24 c 591s| 25600 | 1288 | 1901k| 74.0 | 39M| 105 | 55 |4970 |2895 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
592.69/592.88 c 593s| 25700 | 1289 | 1908k| 73.9 | 39M| 105 | 63 |4970 |2950 |4970 | 640 | 172 | 25k| 16k| 7.000000e+00 | -- | Inf
594.57/594.71 c 595s| 25800 | 1287 | 1915k| 73.9 | 39M| 105 | 63 |4970 |2999 |4970 | 640 | 172 | 26k| 16k| 7.000000e+00 | -- | Inf
596.28/596.40 c 596s| 25900 | 1274 | 1922k| 73.9 | 39M| 105 | - |4970 |3047 |4970 | 640 | 172 | 26k| 16k| 7.000000e+00 | -- | Inf
598.28/598.46 c 598s| 26000 | 1284 | 1931k| 73.9 | 39M| 105 | 71 |4970 |2908 |4970 | 640 | 172 | 26k| 16k| 7.000000e+00 | -- | Inf
602.68/602.81 c 603s| 26100 | 1330 | 1946k| 74.3 | 40M| 105 | 84 |4970 |2842 |4970 | 640 | 172 | 26k| 16k| 7.000000e+00 | -- | Inf
606.28/606.47 c 606s| 26200 | 1364 | 1962k| 74.6 | 40M| 105 | 74 |4970 |2796 |4970 | 640 | 172 | 26k| 16k| 7.000000e+00 | -- | Inf
611.57/611.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.57/611.79 c 612s| 26300 | 1384 | 1984k| 75.1 | 40M| 105 | 107 |4970 |2804 |4970 | 640 | 172 | 26k| 17k| 7.000000e+00 | -- | Inf
615.27/615.44 c 615s| 26400 | 1426 | 1997k| 75.3 | 40M| 105 | 89 |4970 |2801 |4970 | 640 | 172 | 26k| 17k| 7.000000e+00 | -- | Inf
618.58/618.70 c 619s| 26500 | 1441 | 2010k| 75.5 | 40M| 105 | 53 |4970 |2834 |4970 | 640 | 172 | 26k| 17k| 7.000000e+00 | -- | Inf
620.57/620.75 c 621s| 26600 | 1448 | 2016k| 75.5 | 41M| 105 | 69 |4970 |2886 |4970 | 640 | 172 | 26k| 17k| 7.000000e+00 | -- | Inf
624.77/624.91 c 625s| 26700 | 1464 | 2032k| 75.8 | 41M| 105 | - |4970 |2793 |4970 | 640 | 172 | 26k| 17k| 7.000000e+00 | -- | Inf
628.47/628.61 c 629s| 26800 | 1462 | 2046k| 76.1 | 41M| 105 | - |4970 |2738 |4970 | 640 | 172 | 26k| 17k| 7.000000e+00 | -- | Inf
631.77/631.92 c 632s| 26900 | 1486 | 2057k| 76.2 | 41M| 105 | 83 |4970 |2662 |4970 | 640 | 172 | 27k| 17k| 7.000000e+00 | -- | Inf
636.78/636.98 c 637s| 27000 | 1484 | 2076k| 76.6 | 41M| 105 | 67 |4970 |2634 |4970 | 640 | 172 | 27k| 17k| 7.000000e+00 | -- | Inf
640.97/641.10 c 641s| 27100 | 1492 | 2091k| 76.9 | 41M| 105 | - |4970 |2626 |4970 | 640 | 172 | 27k| 17k| 7.000000e+00 | -- | Inf
645.57/645.75 c 646s| 27200 | 1506 | 2108k| 77.2 | 41M| 105 | 70 |4970 |2575 |4970 | 640 | 172 | 27k| 18k| 7.000000e+00 | -- | Inf
649.57/649.75 c 650s| 27300 | 1536 | 2124k| 77.5 | 41M| 105 | - |4970 |2577 |4970 | 640 | 172 | 27k| 18k| 7.000000e+00 | -- | Inf
654.27/654.45 c 654s| 27400 | 1566 | 2139k| 77.8 | 41M| 105 | 69 |4970 |2623 |4970 | 640 | 172 | 27k| 18k| 7.000000e+00 | -- | Inf
658.16/658.35 c 658s| 27500 | 1593 | 2154k| 78.0 | 41M| 105 | 79 |4970 |2621 |4970 | 640 | 172 | 27k| 18k| 7.000000e+00 | -- | Inf
663.76/663.98 c 664s| 27600 | 1595 | 2175k| 78.5 | 42M| 105 | - |4970 |2671 |4970 | 640 | 172 | 27k| 18k| 7.000000e+00 | -- | Inf
669.77/669.91 c 670s| 27700 | 1612 | 2198k| 79.1 | 42M| 105 | - |4970 |2663 |4970 | 640 | 172 | 27k| 18k| 7.000000e+00 | -- | Inf
673.76/673.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.76/673.96 c 674s| 27800 | 1643 | 2213k| 79.3 | 42M| 105 | 81 |4970 |2497 |4970 | 640 | 172 | 27k| 18k| 7.000000e+00 | -- | Inf
676.06/676.20 c 676s| 27900 | 1654 | 2221k| 79.3 | 42M| 105 | - |4970 |2523 |4970 | 640 | 172 | 27k| 18k| 7.000000e+00 | -- | Inf
681.47/681.62 c 682s| 28000 | 1675 | 2240k| 79.7 | 42M| 105 | 73 |4970 |2483 |4970 | 640 | 172 | 27k| 19k| 7.000000e+00 | -- | Inf
682.36/682.56 c 683s| 28100 | 1700 | 2243k| 79.5 | 42M| 105 | 62 |4970 |2480 |4970 | 640 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
685.27/685.41 c 685s| 28200 | 1698 | 2254k| 79.6 | 42M| 105 | - |4970 |2454 | 0 | 0 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
688.56/688.74 c 689s| 28300 | 1701 | 2266k| 79.8 | 42M| 105 | 77 |4970 |2462 |4970 | 640 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
691.36/691.56 c 692s| 28400 | 1708 | 2276k| 79.8 | 42M| 105 | - |4970 |2479 |4970 | 640 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
695.46/695.61 c 696s| 28500 | 1707 | 2291k| 80.1 | 42M| 105 | 60 |4970 |2421 |4970 | 640 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
698.56/698.72 c 699s| 28600 | 1704 | 2301k| 80.2 | 42M| 105 | - |4970 |2448 |4970 | 640 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
701.86/702.06 c 702s| 28700 | 1710 | 2315k| 80.4 | 42M| 105 | 95 |4970 |2474 |4970 | 640 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
707.56/707.71 c 708s| 28800 | 1739 | 2337k| 80.9 | 42M| 105 | - |4970 |2441 |4970 | 640 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
710.66/710.86 c 711s| 28900 | 1748 | 2348k| 81.0 | 42M| 105 | - |4970 |2390 |4970 | 640 | 172 | 28k| 19k| 7.000000e+00 | -- | Inf
713.36/713.56 c 714s| 29000 | 1758 | 2357k| 81.0 | 43M| 105 | - |4970 |2422 | 0 | 0 | 172 | 28k| 20k| 7.000000e+00 | -- | Inf
717.65/717.83 c 718s| 29100 | 1796 | 2374k| 81.3 | 43M| 105 | - |4970 |2460 |4970 | 640 | 172 | 28k| 20k| 7.000000e+00 | -- | Inf
723.35/723.55 c 724s| 29200 | 1822 | 2395k| 81.8 | 43M| 105 | - |4970 |2472 |4970 | 640 | 172 | 28k| 20k| 7.000000e+00 | -- | Inf
728.96/729.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.96/729.14 c 729s| 29300 | 1842 | 2416k| 82.2 | 43M| 105 | 77 |4970 |2473 |4970 | 640 | 172 | 28k| 20k| 7.000000e+00 | -- | Inf
732.65/732.90 c 733s| 29400 | 1850 | 2430k| 82.4 | 43M| 105 | 79 |4970 |2516 |4970 | 640 | 172 | 29k| 20k| 7.000000e+00 | -- | Inf
738.45/738.62 c 739s| 29500 | 1866 | 2452k| 82.8 | 44M| 105 | - |4970 |2355 | 0 | 0 | 172 | 29k| 20k| 7.000000e+00 | -- | Inf
742.95/743.12 c 743s| 29600 | 1875 | 2469k| 83.2 | 44M| 105 | 60 |4970 |2303 |4970 | 640 | 172 | 29k| 20k| 7.000000e+00 | -- | Inf
746.15/746.35 c 746s| 29700 | 1889 | 2481k| 83.3 | 44M| 105 | - |4970 |2342 |4970 | 640 | 172 | 29k| 20k| 7.000000e+00 | -- | Inf
749.15/749.32 c 749s| 29800 | 1907 | 2492k| 83.4 | 44M| 105 | 86 |4970 |2366 |4970 | 640 | 172 | 29k| 21k| 7.000000e+00 | -- | Inf
752.35/752.58 c 753s| 29900 | 1910 | 2504k| 83.5 | 44M| 105 | 73 |4970 |2435 |4970 | 640 | 172 | 29k| 21k| 7.000000e+00 | -- | Inf
755.05/755.29 c 755s| 30000 | 1914 | 2514k| 83.5 | 44M| 105 | 65 |4970 |2467 |4970 | 640 | 172 | 29k| 21k| 7.000000e+00 | -- | Inf
758.24/758.46 c 758s| 30100 | 1902 | 2526k| 83.6 | 44M| 105 | 71 |4970 |2464 |4970 | 640 | 172 | 29k| 21k| 7.000000e+00 | -- | Inf
763.15/763.37 c 763s| 30200 | 1908 | 2544k| 84.0 | 44M| 105 | 73 |4970 |2375 |4970 | 640 | 172 | 29k| 21k| 7.000000e+00 | -- | Inf
768.15/768.37 c 768s| 30300 | 1924 | 2562k| 84.3 | 44M| 105 | 76 |4970 |2347 |4970 | 640 | 172 | 29k| 21k| 7.000000e+00 | -- | Inf
772.15/772.37 c 772s| 30400 | 1944 | 2579k| 84.6 | 44M| 105 | 77 |4970 |2339 |4970 | 640 | 172 | 29k| 21k| 7.000000e+00 | -- | Inf
776.25/776.49 c 776s| 30500 | 1960 | 2598k| 84.9 | 44M| 105 | - |4970 |2352 |4970 | 640 | 172 | 29k| 21k| 7.000000e+00 | -- | Inf
780.44/780.65 c 781s| 30600 | 1997 | 2613k| 85.1 | 45M| 105 | 79 |4970 |2387 |4970 | 640 | 172 | 30k| 21k| 7.000000e+00 | -- | Inf
783.94/784.14 c 784s| 30700 | 2032 | 2625k| 85.2 | 45M| 105 | 80 |4970 |2442 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
787.45/787.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.45/787.63 c 788s| 30800 | 2044 | 2639k| 85.4 | 45M| 105 | - |4970 |2443 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
791.04/791.24 c 791s| 30900 | 2068 | 2654k| 85.6 | 45M| 105 | 65 |4970 |2495 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
795.44/795.66 c 796s| 31000 | 2078 | 2674k| 86.0 | 45M| 105 | 75 |4970 |2526 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
799.04/799.27 c 799s| 31100 | 2085 | 2693k| 86.4 | 45M| 105 | - |4970 |2555 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
802.65/802.84 c 803s| 31200 | 2084 | 2713k| 86.7 | 45M| 105 | 54 |4970 |2586 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
804.34/804.54 c 805s| 31300 | 2090 | 2721k| 86.7 | 45M| 105 | 44 |4970 |2646 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
805.74/805.92 c 806s| 31400 | 2102 | 2726k| 86.6 | 46M| 105 | - |4970 |2736 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
806.95/807.14 c 807s| 31500 | 2106 | 2731k| 86.4 | 46M| 105 | 50 |4970 |2779 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
808.25/808.43 c 808s| 31600 | 2090 | 2736k| 86.3 | 45M| 105 | 50 |4970 |2732 |4970 | 640 | 172 | 30k| 22k| 7.000000e+00 | -- | Inf
811.34/811.57 c 812s| 31700 | 2107 | 2750k| 86.5 | 45M| 105 | 87 |4970 |2705 |4970 | 640 | 172 | 31k| 22k| 7.000000e+00 | -- | Inf
815.04/815.27 c 815s| 31800 | 2115 | 2768k| 86.8 | 46M| 105 | - |4970 |2705 |4970 | 640 | 172 | 31k| 22k| 7.000000e+00 | -- | Inf
818.64/818.83 c 819s| 31900 | 2122 | 2786k| 87.1 | 46M| 105 | 74 |4970 |2624 |4970 | 640 | 172 | 31k| 22k| 7.000000e+00 | -- | Inf
822.44/822.63 c 823s| 32000 | 2116 | 2800k| 87.2 | 45M| 105 | 71 |4970 |2456 |4970 | 640 | 172 | 31k| 22k| 7.000000e+00 | -- | Inf
828.24/828.44 c 828s| 32100 | 2119 | 2817k| 87.5 | 45M| 105 | 96 |4970 |2429 |4970 | 640 | 172 | 31k| 22k| 7.000000e+00 | -- | Inf
830.43/830.66 c 831s| 32200 | 2118 | 2823k| 87.4 | 45M| 105 | 51 |4970 |2361 |4970 | 640 | 172 | 31k| 23k| 7.000000e+00 | -- | Inf
833.94/834.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.94/834.14 c 834s| 32300 | 2110 | 2836k| 87.6 | 45M| 105 | - |4970 |2290 |4970 | 640 | 172 | 31k| 23k| 7.000000e+00 | -- | Inf
838.04/838.22 c 838s| 32400 | 2126 | 2853k| 87.8 | 45M| 105 | 87 |4970 |2232 |4970 | 640 | 172 | 31k| 23k| 7.000000e+00 | -- | Inf
840.94/841.11 c 841s| 32500 | 2141 | 2863k| 87.9 | 46M| 105 | 73 |4970 |2275 |4970 | 640 | 172 | 31k| 23k| 7.000000e+00 | -- | Inf
843.64/843.80 c 844s| 32600 | 2161 | 2877k| 88.0 | 46M| 105 | 83 |4970 |2408 |4970 | 640 | 172 | 31k| 23k| 7.000000e+00 | -- | Inf
846.85/847.08 c 847s| 32700 | 2184 | 2894k| 88.2 | 46M| 105 | - |4970 |2450 | 0 | 0 | 172 | 31k| 23k| 7.000000e+00 | -- | Inf
850.14/850.33 c 850s| 32800 | 2215 | 2909k| 88.4 | 46M| 105 | 79 |4970 |2514 |4970 | 640 | 172 | 31k| 23k| 7.000000e+00 | -- | Inf
852.63/852.86 c 853s| 32900 | 2239 | 2918k| 88.5 | 47M| 105 | - |4970 |2603 |4970 | 640 | 172 | 31k| 23k| 7.000000e+00 | -- | Inf
855.44/855.70 c 856s| 33000 | 2268 | 2931k| 88.6 | 47M| 105 | - |4970 |2642 | 0 | 0 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
859.24/859.44 c 859s| 33100 | 2284 | 2952k| 88.9 | 47M| 105 | 76 |4970 |2631 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
862.24/862.43 c 862s| 33200 | 2300 | 2967k| 89.1 | 47M| 105 | 76 |4970 |2577 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
864.14/864.31 c 864s| 33300 | 2306 | 2977k| 89.2 | 47M| 105 | 55 |4970 |2597 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
866.23/866.41 c 866s| 33400 | 2312 | 2988k| 89.2 | 47M| 105 | - |4970 |2634 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
868.23/868.40 c 868s| 33500 | 2314 | 2998k| 89.3 | 47M| 105 | 49 |4970 |2668 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
871.43/871.65 c 872s| 33600 | 2309 | 3016k| 89.5 | 47M| 105 | 76 |4970 |2654 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
874.34/874.56 c 875s| 33700 | 2313 | 3029k| 89.6 | 47M| 105 | - |4970 |2686 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
877.93/878.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.93/878.17 c 878s| 33800 | 2323 | 3049k| 90.0 | 47M| 105 | 72 |4970 |2674 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
882.03/882.24 c 882s| 33900 | 2316 | 3072k| 90.4 | 47M| 105 | - |4970 |2674 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
884.82/885.00 c 885s| 34000 | 2346 | 3086k| 90.5 | 47M| 105 | - |4970 |2508 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
887.93/888.17 c 888s| 34100 | 2368 | 3098k| 90.6 | 48M| 105 | - |4970 |2483 | 0 | 0 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
889.74/889.93 c 890s| 34200 | 2373 | 3107k| 90.6 | 48M| 105 | - |4970 |2527 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
892.33/892.53 c 893s| 34300 | 2383 | 3119k| 90.7 | 48M| 105 | - |4970 |2421 |4970 | 640 | 172 | 32k| 23k| 7.000000e+00 | -- | Inf
895.13/895.36 c 895s| 34400 | 2394 | 3132k| 90.8 | 48M| 105 | - |4970 |2420 |4970 | 640 | 172 | 33k| 23k| 7.000000e+00 | -- | Inf
898.83/899.07 c 899s| 34500 | 2396 | 3149k| 91.1 | 48M| 105 | 75 |4970 |2456 |4970 | 640 | 172 | 33k| 23k| 7.000000e+00 | -- | Inf
902.93/903.16 c 903s| 34600 | 2414 | 3165k| 91.2 | 48M| 105 | 90 |4970 |2493 |4970 | 640 | 172 | 33k| 23k| 7.000000e+00 | -- | Inf
906.33/906.55 c 907s| 34700 | 2427 | 3172k| 91.2 | 48M| 105 | 41 |4970 |2554 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
909.22/909.48 c 909s| 34800 | 2427 | 3177k| 91.1 | 48M| 105 | - |4970 |2610 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
911.74/911.91 c 912s| 34900 | 2419 | 3183k| 91.0 | 48M| 105 | 79 |4970 |2596 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
914.22/914.43 c 914s| 35000 | 2447 | 3194k| 91.0 | 49M| 105 | - |4970 |2638 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
916.72/916.93 c 917s| 35100 | 2456 | 3208k| 91.2 | 49M| 105 | 85 |4970 |2663 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
920.02/920.23 c 920s| 35200 | 2475 | 3225k| 91.4 | 49M| 105 | 69 |4970 |2716 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
922.33/922.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.33/922.59 c 923s| 35300 | 2501 | 3236k| 91.4 | 49M| 105 | - |4970 |2750 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
925.32/925.51 c 926s| 35400 | 2506 | 3249k| 91.6 | 49M| 105 | - |4970 |2800 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
927.82/928.07 c 928s| 35500 | 2507 | 3262k| 91.7 | 49M| 105 | 74 |4970 |2836 |4970 | 640 | 172 | 33k| 24k| 7.000000e+00 | -- | Inf
929.92/930.11 c 930s| 35600 | 2509 | 3272k| 91.7 | 49M| 105 | 77 |4970 |2914 |4970 | 640 | 172 | 34k| 24k| 7.000000e+00 | -- | Inf
932.72/932.98 c 933s| 35700 | 2527 | 3286k| 91.8 | 49M| 105 | 57 |4970 |2894 |4970 | 640 | 172 | 34k| 24k| 7.000000e+00 | -- | Inf
936.42/936.64 c 937s| 35800 | 2535 | 3302k| 92.0 | 50M| 105 | - |4970 |2906 | 0 | 0 | 172 | 34k| 24k| 7.000000e+00 | -- | Inf
940.82/941.03 c 941s| 35900 | 2539 | 3320k| 92.2 | 50M| 105 | 62 |4970 |2955 |4970 | 640 | 172 | 34k| 24k| 7.000000e+00 | -- | Inf
943.72/943.96 c 944s| 36000 | 2547 | 3331k| 92.3 | 50M| 105 | - |4970 |2975 |4970 | 640 | 172 | 34k| 24k| 7.000000e+00 | -- | Inf
946.41/946.68 c 947s| 36100 | 2551 | 3341k| 92.3 | 50M| 105 | 56 |4970 |3010 |4970 | 640 | 172 | 34k| 24k| 7.000000e+00 | -- | Inf
951.62/951.81 c 952s| 36200 | 2530 | 3362k| 92.6 | 50M| 105 | - |4970 |2999 |4970 | 640 | 172 | 34k| 24k| 7.000000e+00 | -- | Inf
956.42/956.63 c 957s| 36300 | 2531 | 3380k| 92.9 | 50M| 105 | - |4970 |2898 |4970 | 640 | 172 | 34k| 25k| 7.000000e+00 | -- | Inf
959.41/959.66 c 960s| 36400 | 2547 | 3392k| 93.0 | 50M| 105 | - |4970 |2898 |4970 | 640 | 172 | 34k| 25k| 7.000000e+00 | -- | Inf
963.62/963.89 c 964s| 36500 | 2564 | 3409k| 93.2 | 50M| 105 | 81 |4970 |2908 |4970 | 640 | 172 | 34k| 25k| 7.000000e+00 | -- | Inf
966.62/966.86 c 967s| 36600 | 2573 | 3419k| 93.2 | 50M| 105 | - |4970 |2752 |4970 | 640 | 172 | 34k| 25k| 7.000000e+00 | -- | Inf
970.61/970.84 c 971s| 36700 | 2582 | 3435k| 93.4 | 50M| 105 | 78 |4970 |2768 |4970 | 640 | 172 | 34k| 25k| 7.000000e+00 | -- | Inf
976.32/976.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.32/976.50 c 977s| 36800 | 2607 | 3455k| 93.7 | 50M| 105 | - |4970 |2767 |4970 | 640 | 172 | 34k| 25k| 7.000000e+00 | -- | Inf
980.81/981.01 c 981s| 36900 | 2604 | 3473k| 93.9 | 50M| 105 | 68 |4970 |2739 |4970 | 640 | 172 | 34k| 25k| 7.000000e+00 | -- | Inf
983.81/984.04 c 984s| 37000 | 2629 | 3485k| 94.0 | 50M| 105 | - |4970 |2729 | 0 | 0 | 172 | 35k| 25k| 7.000000e+00 | -- | Inf
987.81/988.04 c 988s| 37100 | 2647 | 3500k| 94.1 | 50M| 105 | - |4970 |2603 |4970 | 640 | 172 | 35k| 25k| 7.000000e+00 | -- | Inf
992.21/992.49 c 992s| 37200 | 2667 | 3518k| 94.3 | 51M| 105 | 51 |4970 |2615 |4970 | 640 | 172 | 35k| 25k| 7.000000e+00 | -- | Inf
996.51/996.72 c 997s| 37300 | 2673 | 3534k| 94.5 | 51M| 105 | 93 |4970 |2614 |4970 | 640 | 172 | 35k| 25k| 7.000000e+00 | -- | Inf
1002.81/1003.03 c 1003s| 37400 | 2679 | 3558k| 94.9 | 51M| 105 | 72 |4970 |2593 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1007.60/1007.86 c 1008s| 37500 | 2665 | 3579k| 95.2 | 50M| 105 | - |4970 |2460 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1012.11/1012.33 c 1012s| 37600 | 2671 | 3596k| 95.4 | 50M| 105 | 86 |4970 |2345 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1017.01/1017.25 c 1017s| 37700 | 2661 | 3615k| 95.7 | 50M| 105 | - |4970 |2321 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1020.71/1020.93 c 1021s| 37800 | 2669 | 3630k| 95.8 | 51M| 105 | - |4970 |2389 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1023.51/1023.72 c 1024s| 37900 | 2666 | 3639k| 95.8 | 51M| 105 | 63 |4970 |2362 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1025.91/1026.10 c 1026s| 38000 | 2669 | 3648k| 95.8 | 51M| 105 | - |4970 |2428 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1030.51/1030.72 c 1031s| 38100 | 2665 | 3666k| 96.0 | 51M| 105 | - |4970 |2440 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1032.41/1032.66 c 1033s| 38200 | 2661 | 3672k| 95.9 | 51M| 105 | - |4970 |2435 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1036.50/1036.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.50/1036.73 c 1037s| 38300 | 2669 | 3688k| 96.1 | 51M| 105 | 107 |4970 |2436 |4970 | 640 | 172 | 35k| 26k| 7.000000e+00 | -- | Inf
1042.20/1042.47 c 1042s| 38400 | 2688 | 3705k| 96.3 | 51M| 105 | 59 |4970 |2390 |4970 | 640 | 172 | 35k| 27k| 7.000000e+00 | -- | Inf
1046.50/1046.73 c 1047s| 38500 | 2674 | 3724k| 96.5 | 51M| 105 | 57 |4970 |2381 |4970 | 640 | 172 | 35k| 27k| 7.000000e+00 | -- | Inf
1050.21/1050.43 c 1050s| 38600 | 2670 | 3739k| 96.7 | 51M| 105 | 75 |4970 |2359 |4970 | 640 | 172 | 36k| 27k| 7.000000e+00 | -- | Inf
1052.10/1052.37 c 1052s| 38700 | 2689 | 3745k| 96.6 | 51M| 105 | - |4970 |2429 |4970 | 640 | 172 | 36k| 27k| 7.000000e+00 | -- | Inf
1055.41/1055.64 c 1056s| 38800 | 2671 | 3757k| 96.6 | 51M| 105 | - |4970 |2395 |4970 | 640 | 172 | 36k| 27k| 7.000000e+00 | -- | Inf
1058.70/1058.96 c 1059s| 38900 | 2675 | 3769k| 96.7 | 51M| 105 | 61 |4970 |2365 |4970 | 640 | 172 | 36k| 27k| 7.000000e+00 | -- | Inf
1062.10/1062.35 c 1062s| 39000 | 2680 | 3783k| 96.8 | 51M| 105 | - |4970 |2453 |4970 | 640 | 172 | 36k| 27k| 7.000000e+00 | -- | Inf
1068.20/1068.47 c 1068s| 39100 | 2698 | 3805k| 97.1 | 51M| 105 | 86 |4970 |2420 |4970 | 640 | 172 | 36k| 27k| 7.000000e+00 | -- | Inf
1072.90/1073.10 c 1073s| 39200 | 2705 | 3826k| 97.4 | 51M| 105 | 72 |4970 |2412 |4970 | 640 | 172 | 36k| 27k| 7.000000e+00 | -- | Inf
1077.30/1077.50 c 1077s| 39300 | 2704 | 3842k| 97.6 | 51M| 105 | - |4970 |2483 |4970 | 640 | 172 | 36k| 27k| 7.000000e+00 | -- | Inf
1083.60/1083.88 c 1084s| 39400 | 2712 | 3867k| 97.9 | 51M| 105 | - |4970 |2534 |4970 | 640 | 172 | 36k| 28k| 7.000000e+00 | -- | Inf
1088.99/1089.29 c 1089s| 39500 | 2697 | 3887k| 98.2 | 51M| 105 | 83 |4970 |2470 |4970 | 640 | 172 | 36k| 28k| 7.000000e+00 | -- | Inf
1094.10/1094.31 c 1094s| 39600 | 2702 | 3907k| 98.5 | 51M| 105 | 79 |4970 |2482 |4970 | 640 | 172 | 36k| 28k| 7.000000e+00 | -- | Inf
1098.29/1098.56 c 1099s| 39700 | 2716 | 3923k| 98.6 | 51M| 105 | 99 |4970 |2555 |4970 | 640 | 172 | 36k| 28k| 7.000000e+00 | -- | Inf
1103.89/1104.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.89/1104.19 c 1104s| 39800 | 2736 | 3944k| 98.9 | 52M| 105 | 83 |4970 |2492 |4970 | 640 | 172 | 36k| 28k| 7.000000e+00 | -- | Inf
1107.59/1107.80 c 1108s| 39900 | 2746 | 3957k| 99.0 | 52M| 105 | 69 |4970 |2469 |4970 | 640 | 172 | 37k| 28k| 7.000000e+00 | -- | Inf
1110.39/1110.67 c 1111s| 40000 | 2752 | 3969k| 99.0 | 52M| 105 | 92 |4970 |2459 |4970 | 640 | 172 | 37k| 28k| 7.000000e+00 | -- | Inf
1114.89/1115.12 c 1115s| 40100 | 2748 | 3986k| 99.2 | 52M| 105 | 81 |4970 |2426 |4970 | 640 | 172 | 37k| 28k| 7.000000e+00 | -- | Inf
1120.29/1120.53 c 1121s| 40200 | 2757 | 4003k| 99.4 | 52M| 105 | - |4970 |2406 |4970 | 640 | 172 | 37k| 28k| 7.000000e+00 | -- | Inf
1123.99/1124.20 c 1124s| 40300 | 2766 | 4020k| 99.5 | 52M| 105 | 105 |4970 |2410 |4970 | 640 | 172 | 37k| 29k| 7.000000e+00 | -- | Inf
1127.99/1128.24 c 1128s| 40400 | 2785 | 4037k| 99.7 | 52M| 105 | 56 |4970 |2493 |4970 | 640 | 172 | 37k| 29k| 7.000000e+00 | -- | Inf
1133.29/1133.55 c 1134s| 40500 | 2791 | 4057k| 100.0 | 52M| 105 | 69 |4970 |2511 |4970 | 640 | 172 | 37k| 29k| 7.000000e+00 | -- | Inf
1138.30/1138.54 c 1139s| 40600 | 2793 | 4080k| 100.3 | 52M| 105 | 70 |4970 |2505 |4970 | 640 | 172 | 37k| 29k| 7.000000e+00 | -- | Inf
1142.78/1143.08 c 1143s| 40700 | 2794 | 4099k| 100.5 | 52M| 105 | 69 |4970 |2559 |4970 | 640 | 172 | 37k| 29k| 7.000000e+00 | -- | Inf
1147.49/1147.70 c 1148s| 40800 | 2794 | 4117k| 100.7 | 52M| 105 | 75 |4970 |2530 |4970 | 640 | 172 | 37k| 29k| 7.000000e+00 | -- | Inf
1150.49/1150.70 c 1151s| 40900 | 2787 | 4129k| 100.8 | 52M| 105 | - |4970 |2585 |4970 | 640 | 172 | 37k| 29k| 7.000000e+00 | -- | Inf
1155.58/1155.86 c 1156s| 41000 | 2777 | 4149k| 101.0 | 52M| 105 | 96 |4970 |2542 |4970 | 640 | 172 | 37k| 29k| 7.000000e+00 | -- | Inf
1162.58/1162.83 c 1163s| 41100 | 2770 | 4176k| 101.4 | 52M| 105 | 82 |4970 |2511 |4970 | 640 | 172 | 37k| 30k| 7.000000e+00 | -- | Inf
1166.18/1166.41 c 1166s| 41200 | 2771 | 4191k| 101.5 | 52M| 105 | 71 |4970 |2547 |4970 | 640 | 172 | 37k| 30k| 7.000000e+00 | -- | Inf
1171.59/1171.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.59/1171.81 c 1172s| 41300 | 2784 | 4213k| 101.8 | 52M| 105 | 75 |4970 |2502 |4970 | 640 | 172 | 38k| 30k| 7.000000e+00 | -- | Inf
1175.69/1175.91 c 1176s| 41400 | 2802 | 4230k| 102.0 | 52M| 105 | 74 |4970 |2460 |4970 | 640 | 172 | 38k| 30k| 7.000000e+00 | -- | Inf
1178.78/1179.01 c 1179s| 41500 | 2795 | 4244k| 102.1 | 52M| 105 | - |4970 |2496 |4970 | 640 | 172 | 38k| 30k| 7.000000e+00 | -- | Inf
1183.08/1183.35 c 1183s| 41600 | 2815 | 4260k| 102.2 | 52M| 105 | 96 |4970 |2451 |4970 | 640 | 172 | 38k| 30k| 7.000000e+00 | -- | Inf
1186.69/1186.92 c 1187s| 41700 | 2819 | 4274k| 102.3 | 53M| 105 | - |4970 |2472 |4970 | 640 | 172 | 38k| 30k| 7.000000e+00 | -- | Inf
1193.28/1193.52 c 1194s| 41800 | 2817 | 4287k| 102.4 | 52M| 105 | 113 |4970 |2380 |4970 | 640 | 172 | 38k| 30k| 7.000000e+00 | -- | Inf
1198.79/1199.01 c 1199s| 41900 | 2832 | 4303k| 102.5 | 53M| 105 | 45 |4970 |2360 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1200.68/1200.93 c 1201s| 42000 | 2836 | 4310k| 102.4 | 53M| 105 | 60 |4970 |2368 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1202.27/1202.53 c 1203s| 42100 | 2836 | 4316k| 102.3 | 53M| 105 | - |4970 |2403 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1203.37/1203.63 c 1204s| 42200 | 2836 | 4319k| 102.2 | 53M| 105 | 60 |4970 |2415 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1204.67/1204.95 c 1205s| 42300 | 2835 | 4324k| 102.0 | 53M| 105 | 72 |4970 |2425 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1206.49/1206.76 c 1207s| 42400 | 2839 | 4331k| 101.9 | 53M| 105 | 66 |4970 |2430 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1208.48/1208.80 c 1209s| 42500 | 2843 | 4340k| 101.9 | 53M| 105 | - |4970 |2463 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1211.57/1211.84 c 1212s| 42600 | 2848 | 4350k| 101.9 | 53M| 105 | 78 |4970 |2478 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1214.78/1215.08 c 1215s| 42700 | 2850 | 4364k| 102.0 | 53M| 105 | - |4970 |2503 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1218.58/1218.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.58/1218.87 c 1219s| 42800 | 2875 | 4381k| 102.2 | 53M| 105 | 93 |4970 |2517 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1222.28/1222.55 c 1223s| 42900 | 2922 | 4396k| 102.3 | 53M| 105 | 114 |4970 |2459 |4970 | 640 | 172 | 38k| 31k| 7.000000e+00 | -- | Inf
1225.28/1225.52 c 1226s| 43000 | 2955 | 4409k| 102.3 | 53M| 105 | - |4970 |2465 |4970 | 640 | 172 | 39k| 31k| 7.000000e+00 | -- | Inf
1228.98/1229.29 c 1229s| 43100 | 2987 | 4427k| 102.5 | 54M| 105 | 81 |4970 |2425 |4970 | 640 | 172 | 39k| 31k| 7.000000e+00 | -- | Inf
1233.47/1233.78 c 1234s| 43200 | 3008 | 4446k| 102.7 | 54M| 105 | 75 |4970 |2448 |4970 | 640 | 172 | 39k| 31k| 7.000000e+00 | -- | Inf
1236.47/1236.73 c 1237s| 43300 | 3018 | 4461k| 102.8 | 54M| 105 | 80 |4970 |2489 |4970 | 640 | 172 | 39k| 31k| 7.000000e+00 | -- | Inf
1239.48/1239.74 c 1240s| 43400 | 3028 | 4477k| 103.0 | 54M| 105 | 74 |4970 |2558 |4970 | 640 | 172 | 39k| 31k| 7.000000e+00 | -- | Inf
1244.37/1244.69 c 1245s| 43500 | 3032 | 4500k| 103.3 | 54M| 105 | 68 |4970 |2549 |4970 | 640 | 172 | 39k| 31k| 7.000000e+00 | -- | Inf
1248.67/1248.91 c 1249s| 43600 | 3048 | 4519k| 103.5 | 54M| 105 | 74 |4970 |2532 |4970 | 640 | 172 | 39k| 31k| 7.000000e+00 | -- | Inf
1251.87/1252.13 c 1252s| 43700 | 3060 | 4537k| 103.6 | 54M| 105 | 78 |4970 |2540 |4970 | 640 | 172 | 39k| 31k| 7.000000e+00 | -- | Inf
1254.07/1254.35 c 1254s| 43800 | 3087 | 4548k| 103.7 | 55M| 105 | - |4970 |2578 |4970 | 640 | 172 | 39k| 32k| 7.000000e+00 | -- | Inf
1259.57/1259.87 c 1260s| 43900 | 3073 | 4576k| 104.0 | 54M| 105 | - |4970 |2493 |4970 | 640 | 172 | 39k| 32k| 7.000000e+00 | -- | Inf
1264.37/1264.62 c 1265s| 44000 | 3095 | 4597k| 104.3 | 55M| 105 | 98 |4970 |2384 |4970 | 640 | 172 | 39k| 32k| 7.000000e+00 | -- | Inf
1269.26/1269.50 c 1270s| 44100 | 3100 | 4623k| 104.6 | 55M| 105 | 82 |4970 |2412 |4970 | 640 | 172 | 39k| 32k| 7.000000e+00 | -- | Inf
1273.17/1273.42 c 1273s| 44200 | 3117 | 4643k| 104.9 | 55M| 105 | 73 |4970 |2429 |4970 | 640 | 172 | 39k| 32k| 7.000000e+00 | -- | Inf
1276.77/1277.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.77/1277.01 c 1277s| 44300 | 3127 | 4661k| 105.0 | 55M| 105 | - |4970 |2497 |4970 | 640 | 172 | 39k| 32k| 7.000000e+00 | -- | Inf
1280.76/1281.07 c 1281s| 44400 | 3128 | 4682k| 105.3 | 55M| 105 | - |4970 |2538 |4970 | 640 | 172 | 40k| 32k| 7.000000e+00 | -- | Inf
1285.87/1286.15 c 1286s| 44500 | 3134 | 4706k| 105.6 | 55M| 105 | 70 |4970 |2530 |4970 | 640 | 172 | 40k| 32k| 7.000000e+00 | -- | Inf
1289.76/1290.03 c 1290s| 44600 | 3134 | 4727k| 105.8 | 55M| 105 | 86 |4970 |2622 |4970 | 640 | 172 | 40k| 32k| 7.000000e+00 | -- | Inf
1294.06/1294.37 c 1294s| 44700 | 3142 | 4750k| 106.1 | 55M| 105 | 66 |4970 |2635 |4970 | 640 | 172 | 40k| 32k| 7.000000e+00 | -- | Inf
1296.46/1296.76 c 1297s| 44800 | 3152 | 4763k| 106.1 | 55M| 105 | 64 |4970 |2703 |4970 | 640 | 172 | 40k| 32k| 7.000000e+00 | -- | Inf
1301.36/1301.66 c 1302s| 44900 | 3150 | 4785k| 106.4 | 55M| 105 | 83 |4970 |2707 |4970 | 640 | 172 | 40k| 32k| 7.000000e+00 | -- | Inf
1305.96/1306.23 c 1306s| 45000 | 3156 | 4808k| 106.7 | 55M| 105 | 87 |4970 |2699 |4970 | 640 | 172 | 40k| 32k| 7.000000e+00 | -- | Inf
1311.06/1311.31 c 1311s| 45100 | 3146 | 4835k| 107.0 | 55M| 105 | - |4970 |2608 |4970 | 640 | 172 | 40k| 32k| 7.000000e+00 | -- | Inf
1320.86/1321.16 c 1321s| 45200 | 3158 | 4866k| 107.5 | 55M| 105 | 62 |4970 |2429 |4970 | 640 | 172 | 40k| 33k| 7.000000e+00 | -- | Inf
1323.56/1323.84 c 1324s| 45300 | 3167 | 4880k| 107.5 | 55M| 105 | 82 |4970 |2361 |4970 | 640 | 172 | 40k| 33k| 7.000000e+00 | -- | Inf
1326.96/1327.25 c 1327s| 45400 | 3170 | 4898k| 107.7 | 55M| 105 | - |4970 |2363 |4970 | 640 | 172 | 40k| 33k| 7.000000e+00 | -- | Inf
1330.35/1330.60 c 1331s| 45500 | 3180 | 4913k| 107.8 | 55M| 105 | 82 |4970 |2327 |4970 | 640 | 172 | 40k| 33k| 7.000000e+00 | -- | Inf
1334.26/1334.57 c 1335s| 45600 | 3193 | 4934k| 108.0 | 55M| 105 | 69 |4970 |2327 |4970 | 640 | 172 | 40k| 33k| 7.000000e+00 | -- | Inf
1335.66/1335.94 c 1336s| 45700 | 3197 | 4939k| 107.9 | 55M| 105 | - |4970 |2322 |4970 | 640 | 172 | 40k| 33k| 7.000000e+00 | -- | Inf
1338.66/1338.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.66/1338.92 c 1339s| 45800 | 3190 | 4954k| 108.0 | 55M| 105 | 81 |4970 |2382 |4970 | 640 | 172 | 40k| 33k| 7.000000e+00 | -- | Inf
1341.25/1341.53 c 1342s| 45900 | 3219 | 4966k| 108.0 | 56M| 105 | - |4970 |2439 |4970 | 640 | 172 | 40k| 33k| 7.000000e+00 | -- | Inf
1344.25/1344.59 c 1345s| 46000 | 3230 | 4981k| 108.1 | 56M| 105 | 93 |4970 |2462 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1348.15/1348.41 c 1348s| 46100 | 3239 | 5002k| 108.3 | 56M| 105 | - |4970 |2479 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1350.75/1351.04 c 1351s| 46200 | 3242 | 5009k| 108.3 | 56M| 105 | - |4970 |2452 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1353.55/1353.86 c 1354s| 46300 | 3233 | 5021k| 108.3 | 56M| 105 | - |4970 |2457 | 0 | 0 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1357.35/1357.65 c 1358s| 46400 | 3227 | 5039k| 108.4 | 56M| 105 | - |4970 |2403 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1360.95/1361.29 c 1361s| 46500 | 3236 | 5057k| 108.6 | 56M| 105 | 105 |4970 |2407 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1363.66/1363.98 c 1364s| 46600 | 3246 | 5069k| 108.6 | 56M| 105 | - |4970 |2406 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1366.65/1366.98 c 1367s| 46700 | 3242 | 5082k| 108.6 | 56M| 105 | - |4970 |2490 | 0 | 0 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1369.75/1370.09 c 1370s| 46800 | 3240 | 5097k| 108.7 | 56M| 105 | 75 |4970 |2507 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1372.95/1373.25 c 1373s| 46900 | 3253 | 5111k| 108.8 | 56M| 105 | 93 |4970 |2524 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1376.35/1376.61 c 1377s| 47000 | 3261 | 5126k| 108.9 | 56M| 105 | 75 |4970 |2518 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1378.35/1378.68 c 1379s| 47100 | 3267 | 5136k| 108.9 | 56M| 105 | 73 |4970 |2619 |4970 | 640 | 172 | 41k| 33k| 7.000000e+00 | -- | Inf
1382.15/1382.41 c 1382s| 47200 | 3250 | 5155k| 109.0 | 56M| 105 | 84 |4970 |2616 |4970 | 640 | 172 | 42k| 33k| 7.000000e+00 | -- | Inf
1386.65/1386.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.65/1386.92 c 1387s| 47300 | 3245 | 5179k| 109.3 | 56M| 105 | 68 |4970 |2621 |4970 | 640 | 172 | 42k| 33k| 7.000000e+00 | -- | Inf
1389.24/1389.51 c 1390s| 47400 | 3247 | 5192k| 109.4 | 56M| 105 | 64 |4970 |2687 |4970 | 640 | 172 | 42k| 33k| 7.000000e+00 | -- | Inf
1392.45/1392.74 c 1393s| 47500 | 3252 | 5209k| 109.5 | 57M| 105 | - |4970 |2728 |4970 | 640 | 172 | 42k| 33k| 7.000000e+00 | -- | Inf
1396.65/1396.99 c 1397s| 47600 | 3245 | 5229k| 109.7 | 56M| 105 | 66 |4970 |2708 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1401.25/1401.53 c 1402s| 47700 | 3234 | 5251k| 109.9 | 56M| 105 | - |4970 |2679 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1405.45/1405.78 c 1406s| 47800 | 3221 | 5271k| 110.1 | 56M| 105 | 116 |4970 |2680 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1409.54/1409.85 c 1410s| 47900 | 3209 | 5287k| 110.2 | 56M| 105 | - |4970 |2697 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1415.04/1415.36 c 1415s| 48000 | 3194 | 5308k| 110.4 | 56M| 105 | - |4970 |2717 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1419.85/1420.13 c 1420s| 48100 | 3190 | 5327k| 110.6 | 56M| 105 | - |4970 |2711 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1424.94/1425.28 c 1425s| 48200 | 3197 | 5348k| 110.8 | 56M| 105 | 68 |4970 |2693 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1429.65/1429.95 c 1430s| 48300 | 3185 | 5366k| 110.9 | 56M| 105 | 71 |4970 |2727 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1434.84/1435.12 c 1435s| 48400 | 3178 | 5388k| 111.2 | 56M| 105 | 78 |4970 |2529 |4970 | 640 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1439.14/1439.42 c 1439s| 48500 | 3180 | 5404k| 111.3 | 56M| 105 | - |4970 |2514 | 0 | 0 | 172 | 42k| 34k| 7.000000e+00 | -- | Inf
1441.85/1442.12 c 1442s| 48600 | 3183 | 5414k| 111.2 | 56M| 105 | 73 |4970 |2551 |4970 | 640 | 172 | 43k| 34k| 7.000000e+00 | -- | Inf
1446.14/1446.42 c 1446s| 48700 | 3178 | 5432k| 111.4 | 56M| 105 | 53 |4970 |2539 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1450.34/1450.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.34/1450.65 c 1451s| 48800 | 3177 | 5449k| 111.5 | 56M| 105 | 98 |4970 |2547 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1454.03/1454.35 c 1454s| 48900 | 3194 | 5463k| 111.6 | 56M| 105 | 74 |4970 |2618 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1460.04/1460.33 c 1460s| 49000 | 3191 | 5488k| 111.8 | 56M| 105 | 93 |4970 |2625 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1464.84/1465.14 c 1465s| 49100 | 3195 | 5507k| 112.0 | 56M| 105 | 105 |4970 |2609 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1466.93/1467.28 c 1467s| 49200 | 3208 | 5514k| 111.9 | 57M| 105 | 70 |4970 |2659 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1469.13/1469.48 c 1469s| 49300 | 3212 | 5521k| 111.8 | 57M| 105 | - |4970 |2700 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1471.74/1472.01 c 1472s| 49400 | 3211 | 5531k| 111.8 | 57M| 105 | - |4970 |2678 | 0 | 0 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1474.44/1474.78 c 1475s| 49500 | 3210 | 5542k| 111.8 | 57M| 105 | - |4970 |2706 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1477.43/1477.78 c 1478s| 49600 | 3218 | 5554k| 111.8 | 57M| 105 | 74 |4970 |2705 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1479.44/1479.75 c 1480s| 49700 | 3232 | 5561k| 111.7 | 57M| 105 | - |4970 |2738 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1481.73/1482.00 c 1482s| 49800 | 3226 | 5569k| 111.7 | 57M| 105 | 63 |4970 |2769 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1485.03/1485.30 c 1485s| 49900 | 3223 | 5581k| 111.7 | 57M| 105 | 50 |4970 |2781 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1488.43/1488.74 c 1489s| 50000 | 3215 | 5593k| 111.7 | 57M| 105 | 76 |4970 |2730 |4970 | 640 | 172 | 43k| 35k| 7.000000e+00 | -- | Inf
1491.13/1491.42 c 1491s| 50100 | 3214 | 5602k| 111.7 | 57M| 105 | 74 |4970 |2738 |4970 | 640 | 172 | 44k| 35k| 7.000000e+00 | -- | Inf
1493.03/1493.39 c 1493s| 50200 | 3224 | 5609k| 111.6 | 57M| 105 | 77 |4970 |2793 |4970 | 640 | 172 | 44k| 35k| 7.000000e+00 | -- | Inf
1495.33/1495.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.33/1495.65 c 1496s| 50300 | 3224 | 5615k| 111.5 | 57M| 105 | - |4970 |2822 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1496.73/1497.04 c 1497s| 50400 | 3238 | 5619k| 111.3 | 57M| 105 | - |4970 |2861 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1498.13/1498.48 c 1498s| 50500 | 3236 | 5623k| 111.2 | 57M| 105 | 49 |4970 |2884 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1501.14/1501.44 c 1501s| 50600 | 3222 | 5636k| 111.2 | 57M| 105 | 95 |4970 |2784 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1506.13/1506.43 c 1506s| 50700 | 3247 | 5658k| 111.4 | 57M| 105 | 94 |4970 |2847 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1512.03/1512.34 c 1512s| 50800 | 3258 | 5679k| 111.6 | 57M| 105 | - |4970 |2819 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1515.83/1516.13 c 1516s| 50900 | 3266 | 5694k| 111.7 | 57M| 105 | 77 |4970 |2762 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1520.23/1520.56 c 1521s| 51000 | 3278 | 5712k| 111.8 | 57M| 105 | 110 |4970 |2539 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1523.93/1524.24 c 1524s| 51100 | 3290 | 5727k| 111.9 | 57M| 105 | 59 |4970 |2585 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1526.43/1526.73 c 1527s| 51200 | 3288 | 5735k| 111.9 | 57M| 105 | - |4970 |2610 |4970 | 640 | 172 | 44k| 36k| 7.000000e+00 | -- | Inf
1528.33/1528.64 c 1529s| 51300 | 3294 | 5741k| 111.8 | 57M| 105 | 65 |4970 |2597 |4970 | 640 | 172 | 45k| 36k| 7.000000e+00 | -- | Inf
1530.93/1531.24 c 1531s| 51400 | 3304 | 5752k| 111.8 | 57M| 105 | - |4970 |2607 |4970 | 640 | 172 | 45k| 36k| 7.000000e+00 | -- | Inf
1535.82/1536.17 c 1536s| 51500 | 3309 | 5773k| 112.0 | 58M| 105 | - |4970 |2767 |4970 | 640 | 172 | 45k| 36k| 7.000000e+00 | -- | Inf
1538.73/1539.02 c 1539s| 51600 | 3313 | 5784k| 111.9 | 58M| 105 | - |4970 |2724 |4970 | 640 | 172 | 45k| 36k| 7.000000e+00 | -- | Inf
1542.72/1543.04 c 1543s| 51700 | 3316 | 5800k| 112.0 | 58M| 105 | - |4970 |2735 | 0 | 0 | 172 | 45k| 36k| 7.000000e+00 | -- | Inf
1546.42/1546.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.42/1546.76 c 1547s| 51800 | 3344 | 5815k| 112.1 | 58M| 105 | - |4970 |2695 |4970 | 640 | 172 | 45k| 36k| 7.000000e+00 | -- | Inf
1550.63/1550.93 c 1551s| 51900 | 3345 | 5831k| 112.2 | 58M| 105 | 70 |4970 |2695 |4970 | 640 | 172 | 45k| 37k| 7.000000e+00 | -- | Inf
1555.52/1555.83 c 1556s| 52000 | 3341 | 5852k| 112.4 | 58M| 105 | - |4970 |2734 |4970 | 640 | 172 | 45k| 37k| 7.000000e+00 | -- | Inf
1558.63/1558.95 c 1559s| 52100 | 3350 | 5864k| 112.4 | 58M| 105 | 89 |4970 |2812 |4970 | 640 | 172 | 45k| 37k| 7.000000e+00 | -- | Inf
1561.33/1561.64 c 1562s| 52200 | 3347 | 5874k| 112.4 | 58M| 105 | 69 |4970 |2829 |4970 | 640 | 172 | 45k| 37k| 7.000000e+00 | -- | Inf
1563.42/1563.72 c 1564s| 52300 | 3347 | 5882k| 112.3 | 58M| 105 | - |4970 |2814 |4970 | 640 | 172 | 45k| 37k| 7.000000e+00 | -- | Inf
1566.33/1566.60 c 1567s| 52400 | 3352 | 5892k| 112.3 | 58M| 105 | 74 |4970 |2825 |4970 | 640 | 172 | 45k| 37k| 7.000000e+00 | -- | Inf
1571.63/1571.92 c 1572s| 52500 | 3338 | 5914k| 112.5 | 58M| 105 | - |4970 |2745 |4970 | 640 | 172 | 46k| 37k| 7.000000e+00 | -- | Inf
1575.32/1575.65 c 1576s| 52600 | 3344 | 5929k| 112.6 | 58M| 105 | 89 |4970 |2746 |4970 | 640 | 172 | 46k| 37k| 7.000000e+00 | -- | Inf
1580.72/1581.07 c 1581s| 52700 | 3349 | 5951k| 112.8 | 58M| 105 | 64 |4970 |2732 |4970 | 640 | 172 | 46k| 37k| 7.000000e+00 | -- | Inf
1583.22/1583.59 c 1584s| 52800 | 3350 | 5961k| 112.7 | 58M| 105 | 77 |4970 |2721 |4970 | 640 | 172 | 46k| 37k| 7.000000e+00 | -- | Inf
1589.71/1590.09 c 1590s| 52900 | 3343 | 5988k| 113.0 | 58M| 105 | 84 |4970 |2695 |4970 | 640 | 172 | 46k| 37k| 7.000000e+00 | -- | Inf
1594.22/1594.52 c 1595s| 53000 | 3354 | 6004k| 113.1 | 58M| 105 | 112 |4970 |2754 |4970 | 640 | 172 | 46k| 37k| 7.000000e+00 | -- | Inf
1599.12/1599.47 c 1599s| 53100 | 3365 | 6026k| 113.3 | 58M| 105 | 69 |4970 |2776 |4970 | 640 | 172 | 46k| 37k| 7.000000e+00 | -- | Inf
1606.22/1606.55 c 1607s| 53200 | 3350 | 6056k| 113.7 | 58M| 105 | - |4970 |2765 |4970 | 640 | 172 | 46k| 38k| 7.000000e+00 | -- | Inf
1612.41/1612.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.41/1612.73 c 1613s| 53300 | 3347 | 6081k| 113.9 | 58M| 105 | - |4970 |2767 |4970 | 640 | 172 | 46k| 38k| 7.000000e+00 | -- | Inf
1617.62/1617.90 c 1618s| 53400 | 3343 | 6102k| 114.1 | 58M| 105 | 72 |4970 |2641 |4970 | 640 | 172 | 46k| 38k| 7.000000e+00 | -- | Inf
1620.52/1620.85 c 1621s| 53500 | 3345 | 6114k| 114.1 | 58M| 105 | 68 |4970 |2562 |4970 | 640 | 172 | 46k| 38k| 7.000000e+00 | -- | Inf
1621.61/1621.91 c 1622s| 53600 | 3347 | 6118k| 114.0 | 58M| 105 | 69 |4970 |2672 |4970 | 640 | 172 | 46k| 38k| 7.000000e+00 | -- | Inf
1624.61/1624.95 c 1625s| 53700 | 3371 | 6127k| 113.9 | 58M| 105 | 87 |4970 |2725 |4970 | 640 | 172 | 46k| 38k| 7.000000e+00 | -- | Inf
1627.11/1627.43 c 1627s| 53800 | 3393 | 6136k| 113.9 | 58M| 105 | - |4970 |2807 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1630.81/1631.12 c 1631s| 53900 | 3391 | 6150k| 114.0 | 58M| 105 | 63 |4970 |2699 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1633.91/1634.28 c 1634s| 54000 | 3414 | 6163k| 114.0 | 58M| 105 | - |4970 |2718 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1636.61/1636.99 c 1637s| 54100 | 3428 | 6172k| 113.9 | 59M| 105 | - |4970 |2777 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1639.11/1639.46 c 1639s| 54200 | 3446 | 6181k| 113.9 | 59M| 105 | - |4970 |2808 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1641.31/1641.60 c 1642s| 54300 | 3442 | 6189k| 113.8 | 59M| 105 | - |4970 |2860 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1644.01/1644.32 c 1644s| 54400 | 3447 | 6199k| 113.8 | 59M| 105 | 55 |4970 |2868 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1647.21/1647.56 c 1648s| 54500 | 3427 | 6212k| 113.8 | 59M| 105 | - |4970 |2911 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1650.01/1650.30 c 1650s| 54600 | 3424 | 6223k| 113.8 | 59M| 105 | 90 |4970 |2990 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1653.30/1653.63 c 1654s| 54700 | 3423 | 6235k| 113.8 | 59M| 105 | 63 |4970 |2947 |4970 | 640 | 172 | 47k| 38k| 7.000000e+00 | -- | Inf
1656.61/1656.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.61/1656.97 c 1657s| 54800 | 3423 | 6248k| 113.9 | 59M| 105 | - |4970 |2888 |4970 | 640 | 172 | 47k| 39k| 7.000000e+00 | -- | Inf
1659.01/1659.32 c 1659s| 54900 | 3424 | 6257k| 113.8 | 59M| 105 | - |4970 |2907 |4970 | 640 | 172 | 47k| 39k| 7.000000e+00 | -- | Inf
1661.71/1662.07 c 1662s| 55000 | 3428 | 6268k| 113.8 | 59M| 105 | - |4970 |2918 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1663.91/1664.23 c 1664s| 55100 | 3441 | 6275k| 113.7 | 59M| 105 | 70 |4970 |2960 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1667.11/1667.49 c 1667s| 55200 | 3427 | 6287k| 113.8 | 59M| 105 | - |4970 |2918 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1670.90/1671.27 c 1671s| 55300 | 3430 | 6303k| 113.8 | 59M| 105 | - |4970 |2922 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1676.61/1676.90 c 1677s| 55400 | 3438 | 6324k| 114.0 | 59M| 105 | - |4970 |2955 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1679.60/1679.95 c 1680s| 55500 | 3442 | 6335k| 114.0 | 59M| 105 | 74 |4970 |2927 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1683.30/1683.63 c 1684s| 55600 | 3456 | 6349k| 114.1 | 59M| 105 | 83 |4970 |2941 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1685.91/1686.21 c 1686s| 55700 | 3455 | 6358k| 114.0 | 59M| 105 | - |4970 |3004 | 0 | 0 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1688.00/1688.34 c 1688s| 55800 | 3463 | 6369k| 114.0 | 59M| 105 | 55 |4970 |3013 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1692.40/1692.75 c 1693s| 55900 | 3457 | 6385k| 114.1 | 59M| 105 | - |4970 |2993 |4970 | 640 | 172 | 48k| 39k| 7.000000e+00 | -- | Inf
1696.00/1696.30 c 1696s| 56000 | 3494 | 6399k| 114.1 | 59M| 105 | 88 |4970 |3004 |4970 | 640 | 172 | 48k| 40k| 7.000000e+00 | -- | Inf
1701.20/1701.57 c 1702s| 56100 | 3512 | 6421k| 114.3 | 60M| 105 | - |4970 |3052 |4970 | 640 | 172 | 48k| 40k| 7.000000e+00 | -- | Inf
1705.71/1706.07 c 1706s| 56200 | 3524 | 6439k| 114.4 | 60M| 105 | - |4970 |3117 |4970 | 640 | 172 | 48k| 40k| 7.000000e+00 | -- | Inf
1711.31/1711.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.31/1711.69 c 1712s| 56300 | 3530 | 6461k| 114.6 | 60M| 105 | 87 |4970 |3132 |4970 | 640 | 172 | 48k| 40k| 7.000000e+00 | -- | Inf
1717.00/1717.35 c 1717s| 56400 | 3544 | 6484k| 114.8 | 60M| 105 | - |4970 |3141 |4970 | 640 | 172 | 48k| 40k| 7.000000e+00 | -- | Inf
1721.00/1721.30 c 1721s| 56500 | 3557 | 6500k| 114.9 | 60M| 105 | - |4970 |3199 |4970 | 640 | 172 | 49k| 40k| 7.000000e+00 | -- | Inf
1726.40/1726.75 c 1727s| 56600 | 3561 | 6524k| 115.1 | 60M| 105 | - |4970 |3189 |4970 | 640 | 172 | 49k| 40k| 7.000000e+00 | -- | Inf
1731.39/1731.70 c 1732s| 56700 | 3562 | 6542k| 115.2 | 60M| 105 | - |4970 |3165 |4970 | 640 | 172 | 49k| 40k| 7.000000e+00 | -- | Inf
1735.59/1735.96 c 1736s| 56800 | 3567 | 6558k| 115.3 | 60M| 105 | 94 |4970 |3128 |4970 | 640 | 172 | 49k| 40k| 7.000000e+00 | -- | Inf
1738.10/1738.48 c 1738s| 56900 | 3582 | 6568k| 115.3 | 60M| 105 | 78 |4970 |3148 |4970 | 640 | 172 | 49k| 40k| 7.000000e+00 | -- | Inf
1739.99/1740.39 c 1740s| 57000 | 3581 | 6576k| 115.2 | 60M| 105 | - |4970 |3128 |4970 | 640 | 172 | 49k| 40k| 7.000000e+00 | -- | Inf
1744.30/1744.68 c 1745s| 57100 | 3594 | 6590k| 115.3 | 60M| 105 | 90 |4970 |3063 |4970 | 640 | 172 | 49k| 41k| 7.000000e+00 | -- | Inf
1746.39/1746.80 c 1747s| 57200 | 3623 | 6600k| 115.2 | 60M| 105 | - |4970 |3110 |4970 | 640 | 172 | 49k| 41k| 7.000000e+00 | -- | Inf
1749.39/1749.71 c 1750s| 57300 | 3630 | 6610k| 115.2 | 61M| 105 | 82 |4970 |3132 |4970 | 640 | 172 | 49k| 41k| 7.000000e+00 | -- | Inf
1752.19/1752.57 c 1753s| 57400 | 3623 | 6617k| 115.1 | 61M| 105 | - |4970 |3170 |4970 | 640 | 172 | 49k| 41k| 7.000000e+00 | -- | Inf
1753.59/1753.91 c 1754s| 57500 | 3625 | 6622k| 115.0 | 61M| 105 | - |4970 |3151 |4970 | 640 | 172 | 49k| 41k| 7.000000e+00 | -- | Inf
1754.59/1754.98 c 1755s| 57600 | 3624 | 6626k| 114.9 | 60M| 105 | - |4970 |3149 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1755.89/1756.23 c 1756s| 57700 | 3624 | 6630k| 114.8 | 60M| 105 | 81 |4970 |3152 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1757.69/1758.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.69/1758.01 c 1758s| 57800 | 3631 | 6635k| 114.7 | 61M| 105 | - |4970 |3188 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1758.69/1759.04 c 1759s| 57900 | 3629 | 6639k| 114.5 | 61M| 105 | - |4970 |3254 | 0 | 0 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1759.79/1760.17 c 1760s| 58000 | 3630 | 6642k| 114.4 | 61M| 105 | 90 |4970 |3329 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1764.19/1764.56 c 1765s| 58100 | 3623 | 6660k| 114.5 | 61M| 105 | - |4970 |3323 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1765.69/1766.08 c 1766s| 58200 | 3629 | 6665k| 114.4 | 61M| 105 | 76 |4970 |3360 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1767.29/1767.65 c 1768s| 58300 | 3634 | 6670k| 114.3 | 61M| 105 | - |4970 |3369 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1768.29/1768.63 c 1769s| 58400 | 3636 | 6673k| 114.1 | 61M| 105 | - |4970 |3386 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1769.59/1769.99 c 1770s| 58500 | 3635 | 6679k| 114.0 | 61M| 105 | 72 |4970 |3398 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1774.49/1774.87 c 1775s| 58600 | 3634 | 6699k| 114.2 | 61M| 105 | - |4970 |3409 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1777.58/1777.95 c 1778s| 58700 | 3642 | 6710k| 114.2 | 61M| 105 | - |4970 |3320 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1780.99/1781.32 c 1781s| 58800 | 3656 | 6722k| 114.2 | 61M| 105 | - |4970 |3210 |4970 | 640 | 172 | 50k| 41k| 7.000000e+00 | -- | Inf
1782.89/1783.20 c 1783s| 58900 | 3660 | 6730k| 114.1 | 61M| 105 | - |4970 |3208 |4970 | 640 | 172 | 51k| 41k| 7.000000e+00 | -- | Inf
1785.18/1785.53 c 1786s| 59000 | 3670 | 6740k| 114.1 | 61M| 105 | 68 |4970 |3240 |4970 | 640 | 172 | 51k| 41k| 7.000000e+00 | -- | Inf
1787.49/1787.86 c 1788s| 59100 | 3671 | 6749k| 114.1 | 61M| 105 | 66 |4970 |3264 |4970 | 640 | 172 | 51k| 41k| 7.000000e+00 | -- | Inf
1789.59/1789.98 c 1790s| 59200 | 3663 | 6759k| 114.0 | 61M| 105 | 65 |4970 |3308 |4970 | 640 | 172 | 51k| 41k| 7.000000e+00 | -- | Inf
1791.68/1792.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1791.68/1792.09 c 1792s| 59300 | 3661 | 6766k| 114.0 | 61M| 105 | - |4970 |3294 |4970 | 640 | 172 | 51k| 41k| 7.000000e+00 | -- | Inf
1793.29/1793.62 c 1794s| 59400 | 3675 | 6772k| 113.9 | 61M| 105 | 66 |4970 |3287 |4970 | 640 | 172 | 51k| 41k| 7.000000e+00 | -- | Inf
1794.59/1794.99 c 1795s| 59500 | 3673 | 6777k| 113.8 | 61M| 105 | - |4970 |3326 |4970 | 640 | 172 | 51k| 41k| 7.000000e+00 | -- | Inf
1796.08/1796.47 c 1796s| 59600 | 3666 | 6783k| 113.7 | 61M| 105 | - |4970 |3323 |4970 | 640 | 172 | 51k| 41k| 7.000000e+00 | -- | Inf
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 59649
1796.68/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.00 c Dual Bound : +7.00000000000000e+00
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 s UNKNOWN
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Total Time : 1797.00
1796.68/1797.00 c solving : 1797.00
1796.68/1797.00 c presolving : 0.27 (included in solving)
1796.68/1797.00 c reading : 0.03 (included in solving)
1796.68/1797.00 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.68/1797.00 c Original Problem :
1796.68/1797.00 c Problem name : HOME/instance-3693539-1338038776.opb
1796.68/1797.00 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 5494 initial, 5494 maximal
1796.68/1797.00 c Objective sense : minimize
1796.68/1797.00 c Presolved Problem :
1796.68/1797.00 c Problem name : t_HOME/instance-3693539-1338038776.opb
1796.68/1797.00 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 523 initial, 3434 maximal
1796.68/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c knapsack : 0.15 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c linear : 0.05 0.00 7 0 0 7 0 4971 0 0 0
1796.68/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c root node : - - 0 - - 0 - - - - -
1796.68/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c integral : 0 0 0 0 46479 0 4 0 270 27345 0 0 65764
1796.68/1797.00 c knapsack : 448 448 6 225729 0 0 3 3411266 2188 4932163 1202 0 0
1796.68/1797.00 c setppc : 75 75 6 223541 0 0 2 1538842 575 433821 0 0 0
1796.68/1797.00 c logicor : 0+ 2911 6 82942 0 0 0 239032 2519 55437 0 0 0
1796.68/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.00 c integral : 492.02 0.00 0.00 0.00 492.02 0.00 0.00 0.00
1796.68/1797.00 c knapsack : 15.80 0.00 0.02 13.33 0.00 0.00 0.00 2.45
1796.68/1797.00 c setppc : 2.54 0.00 0.00 1.44 0.00 0.00 0.00 1.09
1796.68/1797.00 c logicor : 2.92 0.00 0.00 2.43 0.00 0.00 0.00 0.49
1796.68/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.00 c rootredcost : 0 0 0 0
1796.68/1797.00 c pseudoobj : 0 0 0 0
1796.68/1797.00 c vbounds : 0 0 0 0
1796.68/1797.00 c redcost : 46484 0 0 0
1796.68/1797.00 c probing : 0 0 0 0
1796.68/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.00 c rootredcost : 0.08 0.00 0.00 0.08 0.00
1796.68/1797.00 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
1796.68/1797.00 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.68/1797.00 c redcost : 2.96 0.00 0.00 2.96 0.00
1796.68/1797.00 c probing : 0.03 0.00 0.03 0.00 0.00
1796.68/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.00 c propagation : 1.88 5282 5271 78200 107.7 222 82.8 -
1796.68/1797.00 c infeasible LP : 96.27 23184 8350 269712 353.4 90 88.1 0
1796.68/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c applied globally : - - - 51550 144.8 - - -
1796.68/1797.00 c applied locally : - - - 0 0.0 - - -
1796.68/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.00 c cut pool : 0.00 5 - - 1604 - (maximal pool size: 2142)
1796.68/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c impliedbounds : 0.00 0.00 6 0 0 0 0
1796.68/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c gomory : 0.02 0.00 6 0 0 36 0
1796.68/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c strongcg : 0.02 0.00 6 0 0 24 0
1796.68/1797.00 c cmir : 0.77 0.00 6 0 0 2171 0
1796.68/1797.00 c flowcover : 0.53 0.00 6 0 0 1203 0
1796.68/1797.00 c clique : 0.01 0.00 6 0 0 13 0
1796.68/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.00 c problem variables: 0.00 - 0 0
1796.68/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c relpscost : 491.95 0.00 46479 270 27345 0 0 65764
1796.68/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.00 c LP solutions : 0.00 - - 0
1796.68/1797.00 c pseudo solutions : 0.00 - - 0
1796.68/1797.00 c oneopt : 0.04 0.00 0 0
1796.68/1797.00 c crossover : 0.03 0.00 0 0
1796.68/1797.00 c guideddiving : 0.00 0.00 0 0
1796.68/1797.00 c intshifting : 0.00 0.00 0 0
1796.68/1797.00 c linesearchdiving : 4.94 0.00 39 0
1796.68/1797.00 c pscostdiving : 7.09 0.00 39 0
1796.68/1797.00 c objpscostdiving : 0.50 0.00 20 0
1796.68/1797.00 c rootsoldiving : 3.31 0.00 20 0
1796.68/1797.00 c fracdiving : 11.91 0.00 40 0
1796.68/1797.00 c coefdiving : 21.68 0.00 40 0
1796.68/1797.00 c feaspump : 3.59 0.00 20 0
1796.68/1797.00 c veclendiving : 2.95 0.00 40 0
1796.68/1797.00 c smallcard : 0.00 0.00 0 0
1796.68/1797.00 c trivial : 0.00 0.00 2 0
1796.68/1797.00 c shiftandpropagate: 0.03 0.00 1 0
1796.68/1797.00 c simplerounding : 0.02 0.00 0 0
1796.68/1797.00 c zirounding : 1.13 0.00 0 0
1796.68/1797.00 c rounding : 0.35 0.00 3015 0
1796.68/1797.00 c shifting : 2.02 0.00 912 0
1796.68/1797.00 c twoopt : 0.00 0.00 0 0
1796.68/1797.00 c indoneopt : 0.04 0.00 0 0
1796.68/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.00 c clique : 0.00 0.00 0 0
1796.68/1797.00 c indrounding : 0.00 0.00 0 0
1796.68/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.00 c intdiving : 0.00 0.00 0 0
1796.68/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.00 c octane : 0.00 0.00 0 0
1796.68/1797.00 c rens : 0.11 0.00 1 0
1796.68/1797.00 c rins : 0.00 0.00 0 0
1796.68/1797.00 c localbranching : 0.00 0.00 0 0
1796.68/1797.00 c mutation : 0.00 0.00 0 0
1796.68/1797.00 c dins : 0.00 0.00 0 0
1796.68/1797.00 c vbounds : 0.00 0.00 0 0
1796.68/1797.00 c undercover : 0.00 0.00 0 0
1796.68/1797.00 c subnlp : 0.02 0.00 0 0
1796.68/1797.00 c trysol : 0.03 0.00 0 0
1796.68/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.00 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.68/1797.00 c dual LP : 1085.50 69061 6566189 95.27 6049.02 0.12 141
1796.68/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.00 c diving/probing LP: 43.75 20497 219437 10.71 5016.22
1796.68/1797.00 c strong branching : 488.78 42004 2362959 56.26 4834.43
1796.68/1797.00 c (at root node) : - 34 8202 241.24 -
1796.68/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.00 c B&B Tree :
1796.68/1797.00 c number of runs : 1
1796.68/1797.00 c nodes : 59649
1796.68/1797.00 c nodes (total) : 59649
1796.68/1797.00 c nodes left : 3671
1796.68/1797.00 c max depth : 105
1796.68/1797.00 c max depth (total): 105
1796.68/1797.00 c backtracks : 9863 (16.5%)
1796.68/1797.00 c delayed cutoffs : 2445
1796.68/1797.00 c repropagations : 61591 (679569 domain reductions, 1327 cutoffs)
1796.68/1797.00 c avg switch length: 5.65
1796.68/1797.00 c switching time : 15.77
1796.68/1797.00 c Solution :
1796.68/1797.00 c Solutions found : 0 (0 improvements)
1796.68/1797.00 c Primal Bound : -
1796.68/1797.00 c Dual Bound : +7.00000000000000e+00
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 c Root Dual Bound : +7.00000000000000e+00
1796.68/1797.00 c Root Iterations : 8511
1796.68/1797.07 c Time complete: 1796.76.
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-3693539-1338038776/watcher-3693539-1338038776 -o /tmp/evaluation-result-3693539-1338038776/solver-3693539-1338038776 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693539-1338038776.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.03 2.00 3/177 718
/proc/meminfo: memFree=28603236/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 1077 0 0 0 0 0 0 0 20 0 1 0 270003622 9379840 1032 33554432000 4194304 10169799 140733795707504 140733795706888 8844157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 2290 1041 387 1459 0 822 0
[startup+0.074198 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 718
/proc/meminfo: memFree=28603236/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=38520 CPUtime=0.07 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 8166 0 0 0 6 1 0 0 20 0 1 0 270003622 39444480 8120 33554432000 4194304 10169799 140733795707504 140733795706888 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 9630 8120 546 1459 0 8162 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38520
[startup+0.100319 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 718
/proc/meminfo: memFree=28603236/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=39484 CPUtime=0.09 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 8692 0 0 0 8 1 0 0 20 0 1 0 270003622 40431616 8389 33554432000 4194304 10169799 140733795707504 140733795706888 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 9871 8389 558 1459 0 8403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39484
[startup+0.300146 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 718
/proc/meminfo: memFree=28603236/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=49304 CPUtime=0.29 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 11309 0 0 0 28 1 0 0 20 0 1 0 270003622 50487296 10970 33554432000 4194304 10169799 140733795707504 140733795706888 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 12326 10970 605 1459 0 10858 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49304
[startup+0.700259 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 718
/proc/meminfo: memFree=28603236/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=62564 CPUtime=0.69 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 15489 0 0 0 67 2 0 0 20 0 1 0 270003622 64065536 14395 33554432000 4194304 10169799 140733795707504 140733795701912 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 15641 14395 777 1459 0 14173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62564
[startup+1.50022 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 719
/proc/meminfo: memFree=28548016/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=66560 CPUtime=1.49 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 16723 0 0 0 146 3 0 0 20 0 1 0 270003622 68157440 15508 33554432000 4194304 10169799 140733795707504 140733795703816 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 16640 15508 810 1459 0 15172 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66560
[startup+3.10023 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 719
/proc/meminfo: memFree=28541072/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=71972 CPUtime=3.09 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 24426 0 0 0 304 5 0 0 20 0 1 0 270003622 73699328 16843 33554432000 4194304 10169799 140733795707504 140733795704040 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 17993 16843 853 1459 0 16525 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71972
[startup+6.30018 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 719
/proc/meminfo: memFree=28537868/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=71972 CPUtime=6.28 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 24427 0 0 0 622 6 0 0 20 0 1 0 270003622 73699328 16844 33554432000 4194304 10169799 140733795707504 140733795702104 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 17993 16844 854 1459 0 16525 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 71972
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 719
/proc/meminfo: memFree=28537976/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=71972 CPUtime=12.69 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 24427 0 0 0 1259 10 0 0 20 0 1 0 270003622 73699328 16844 33554432000 4194304 10169799 140733795707504 140733795702200 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 17993 16844 854 1459 0 16525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71972
[startup+25.5002 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 719
/proc/meminfo: memFree=28538608/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=71972 CPUtime=25.48 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 24427 0 0 0 2532 16 0 0 20 0 1 0 270003622 73699328 16844 33554432000 4194304 10169799 140733795707504 140733795702200 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 17993 16844 854 1459 0 16525 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71972
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 719
/proc/meminfo: memFree=28523064/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=89184 CPUtime=51.08 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 28779 0 0 0 5069 39 0 0 20 0 1 0 270003622 91324416 21059 33554432000 4194304 10169799 140733795707504 140733795705128 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 22296 21059 855 1459 0 20828 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89184
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 719
/proc/meminfo: memFree=28512648/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=96544 CPUtime=102.26 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 31373 0 0 0 10139 87 0 0 20 0 1 0 270003622 98861056 23267 33554432000 4194304 10169799 140733795707504 140733795702296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 24136 23267 855 1459 0 22668 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 96544
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 719
/proc/meminfo: memFree=28509376/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=102232 CPUtime=162.25 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 32627 0 0 0 16085 140 0 0 20 0 1 0 270003622 104685568 24518 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 25558 24518 855 1459 0 24090 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 102232
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 720
/proc/meminfo: memFree=28505908/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=104096 CPUtime=222.24 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 33271 0 0 0 22033 191 0 0 20 0 1 0 270003622 106594304 25160 33554432000 4194304 10169799 140733795707504 140733795702200 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 26024 25160 855 1459 0 24556 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 104096
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 723
/proc/meminfo: memFree=28501380/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=108124 CPUtime=282.23 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 34089 0 0 0 27983 240 0 0 20 0 1 0 270003622 110718976 25978 33554432000 4194304 10169799 140733795707504 140733795702488 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 27031 25978 855 1459 0 25563 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 108124
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 723
/proc/meminfo: memFree=28499900/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=108680 CPUtime=342.22 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 34440 0 0 0 33936 286 0 0 20 0 1 0 270003622 111288320 26327 33554432000 4194304 10169799 140733795707504 140733795701688 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 27170 26327 855 1459 0 25702 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 108680
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 723
/proc/meminfo: memFree=28498968/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=109996 CPUtime=402.21 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 34711 0 0 0 39900 321 0 0 20 0 1 0 270003622 112635904 26598 33554432000 4194304 10169799 140733795707504 140733795702296 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 27499 26598 855 1459 0 26031 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 109996
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 723
/proc/meminfo: memFree=28498728/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=110632 CPUtime=462.2 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 34900 0 0 0 45854 366 0 0 20 0 1 0 270003622 113287168 26786 33554432000 4194304 10169799 140733795707504 140733795702200 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 27658 26786 855 1459 0 26190 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 110632
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 724
/proc/meminfo: memFree=28496556/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=112184 CPUtime=522.19 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 35283 0 0 0 51807 412 0 0 20 0 1 0 270003622 114876416 27169 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 28046 27169 855 1459 0 26578 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 112184
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 724
/proc/meminfo: memFree=28492092/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=115340 CPUtime=582.18 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 36092 0 0 0 57761 457 0 0 20 0 1 0 270003622 118108160 27976 33554432000 4194304 10169799 140733795707504 140733795701960 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 28835 27976 855 1459 0 27367 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 115340
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27583328/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=136024 CPUtime=1122.09 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 41251 0 0 0 111381 828 0 0 20 0 1 0 270003622 139288576 33133 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 34006 33133 855 1459 0 32538 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 136024
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 844
/proc/meminfo: memFree=27549560/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=136876 CPUtime=1182.08 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 41403 0 0 0 117341 867 0 0 20 0 1 0 270003622 140161024 33285 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 34219 33285 855 1459 0 32751 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 136876
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 844
/proc/meminfo: memFree=27508988/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=138324 CPUtime=1242.07 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 41848 0 0 0 123296 911 0 0 20 0 1 0 270003622 141643776 33730 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 34581 33730 855 1459 0 33113 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 138324
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 844
/proc/meminfo: memFree=27450368/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=140440 CPUtime=1302.06 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 42226 0 0 0 129255 951 0 0 20 0 1 0 270003622 143810560 34108 33554432000 4194304 10169799 140733795707504 140733795702296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 35110 34108 855 1459 0 33642 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 140440
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 844
/proc/meminfo: memFree=27393924/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=142400 CPUtime=1362.05 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 42860 0 0 0 135212 993 0 0 20 0 1 0 270003622 145817600 34742 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 35600 34742 855 1459 0 34132 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 142400
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 844
/proc/meminfo: memFree=27136644/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=143304 CPUtime=1422.04 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 42987 0 0 0 141171 1033 0 0 20 0 1 0 270003622 146743296 34869 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 35826 34869 855 1459 0 34358 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 143304
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 848
/proc/meminfo: memFree=27119860/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=144788 CPUtime=1482.03 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 43468 0 0 0 147128 1075 0 0 20 0 1 0 270003622 148262912 35350 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 36197 35350 855 1459 0 34729 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 144788
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 848
/proc/meminfo: memFree=27117168/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=146112 CPUtime=1542.03 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 43757 0 0 0 153085 1118 0 0 20 0 1 0 270003622 149618688 35639 33554432000 4194304 10169799 140733795707504 140733795701960 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 36528 35639 855 1459 0 35060 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 146112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 848
/proc/meminfo: memFree=27113104/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=146112 CPUtime=1602.01 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 43757 0 0 0 159046 1155 0 0 20 0 1 0 270003622 149618688 35639 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 36528 35639 855 1459 0 35060 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 146112
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 848
/proc/meminfo: memFree=27106248/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=148488 CPUtime=1662.01 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 44380 0 0 0 165006 1195 0 0 20 0 1 0 270003622 152051712 36262 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 37122 36262 855 1459 0 35654 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 148488
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 848
/proc/meminfo: memFree=27103456/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=148784 CPUtime=1722 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 44471 0 0 0 170967 1233 0 0 20 0 1 0 270003622 152354816 36353 33554432000 4194304 10169799 140733795707504 140733795701960 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 37196 36353 855 1459 0 35728 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 148784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 849
/proc/meminfo: memFree=27094716/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=152552 CPUtime=1781.99 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 45336 0 0 0 176924 1275 0 0 20 0 1 0 270003622 156213248 37212 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 38138 37212 855 1459 0 36670 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 152552
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 849
/proc/meminfo: memFree=27094840/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=152552 CPUtime=1785.18 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 45337 0 0 0 177242 1276 0 0 20 0 1 0 270003622 156213248 37213 33554432000 4194304 10169799 140733795707504 140733795702008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 38138 37213 855 1459 0 36670 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 152552
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 849
/proc/meminfo: memFree=27094592/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=152552 CPUtime=1791.59 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 45390 0 0 0 177877 1282 0 0 20 0 1 0 270003622 156213248 37266 33554432000 4194304 10169799 140733795707504 140733795702104 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 38138 37266 855 1459 0 36670 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 152552
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 849
/proc/meminfo: memFree=27094592/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=152552 CPUtime=1794.79 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 45390 0 0 0 178194 1285 0 0 20 0 1 0 270003622 156213248 37266 33554432000 4194304 10169799 140733795707504 140733795702296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 38138 37266 855 1459 0 36670 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 152552
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 849
/proc/meminfo: memFree=27094592/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=153172 CPUtime=1795.58 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 45433 0 0 0 178272 1286 0 0 20 0 1 0 270003622 156848128 37309 33554432000 4194304 10169799 140733795707504 140733795702296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 38293 37309 855 1459 0 36825 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 153172
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 849
/proc/meminfo: memFree=27094468/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=153172 CPUtime=1796.38 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 45433 0 0 0 178351 1287 0 0 20 0 1 0 270003622 156848128 37309 33554432000 4194304 10169799 140733795707504 140733795703992 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 38293 37309 855 1459 0 36825 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 153172
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 849
/proc/meminfo: memFree=27094468/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=153172 CPUtime=1796.58 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 45433 0 0 0 178371 1287 0 0 20 0 1 0 270003622 156848128 37309 33554432000 4194304 10169799 140733795707504 140733795701592 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 38293 37309 855 1459 0 36825 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (KiB) 153172
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 849
/proc/meminfo: memFree=27094468/32873648 swapFree=7372/7372
[pid=718] ppid=716 vsize=153172 CPUtime=1796.68 cores=0,2,4,6
/proc/718/stat : 718 (scip-2.1.1.4sfi) R 716 718 31092 0 -1 4202496 45433 0 0 0 178381 1287 0 0 20 0 1 0 270003622 156848128 37309 33554432000 4194304 10169799 140733795707504 140733795701592 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/718/statm: 38293 37309 855 1459 0 36825 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 153172
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.76
CPU user time (s): 1783.88
CPU system time (s): 12.883
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 153172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.88
system time used= 12.883
maximum resident set size= 149244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45437
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= 38
involuntary context switches= 1882
runsolver used 3.52146 second user time and 8.72067 second system time
The end