0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692376-1338039055.opb>
0.04/0.05 c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
0.04/0.05 c problem read in 0.05
0.04/0.09 c presolving:
0.09/0.15 c (round 1) 9 del vars, 1 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16830 impls, 97 clqs
0.09/0.18 c (round 2) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16830 impls, 97 clqs
0.19/0.21 c (round 3) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 16830 impls, 97 clqs
0.59/0.62 c (0.6s) probing: 51/8415 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.62 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.63 c presolving (4 rounds):
0.59/0.63 c 9 deleted vars, 8416 deleted constraints, 0 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.63 c 16830 implications, 2293 cliques
0.59/0.63 c presolved problem has 8415 variables (8415 bin, 0 int, 0 impl, 0 cont) and 673 constraints
0.59/0.63 c 576 constraints of type <knapsack>
0.59/0.63 c 97 constraints of type <setppc>
0.59/0.63 c transformed objective value is always integral (scale: 1)
0.59/0.63 c Presolving Time: 0.55
0.59/0.63 c - non default parameters ----------------------------------------------------------------------
0.59/0.63 c # SCIP version 2.1.1.4
0.59/0.63 c
0.59/0.63 c # maximal time in seconds to run
0.59/0.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.63 c limits/time = 1797
0.59/0.63 c
0.59/0.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.63 c limits/memory = 13950
0.59/0.63 c
0.59/0.63 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.63 c # [type: int, range: [1,2], default: 1]
0.59/0.63 c timing/clocktype = 2
0.59/0.63 c
0.59/0.63 c # belongs reading time to solving time?
0.59/0.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63 c timing/reading = TRUE
0.59/0.63 c
0.59/0.63 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.63 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.63 c separating/rapidlearning/freq = 0
0.59/0.63 c
0.59/0.63 c -----------------------------------------------------------------------------------------------
0.59/0.63 c start solving
0.59/0.63 c
0.78/0.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.78/0.80 c 0.8s| 1 | 0 | 1577 | - | 41M| 0 | 112 |8415 | 771 |8415 | 673 | 0 | 98 | 0 | 9.000000e+00 | -- | Inf
3.89/3.99 c 4.0s| 1 | 0 | 4746 | - | 46M| 0 | 159 |8415 |2080 |8415 | 709 | 36 | 98 | 0 | 9.000000e+00 | -- | Inf
4.49/4.50 c 4.5s| 1 | 0 | 5178 | - | 48M| 0 | 202 |8415 |2080 |8415 | 747 | 74 | 98 | 0 | 9.000000e+00 | -- | Inf
5.39/5.47 c 5.5s| 1 | 0 | 7007 | - | 48M| 0 | 229 |8415 |2080 |8415 | 784 | 111 | 98 | 0 | 9.000000e+00 | -- | Inf
6.39/6.41 c 6.4s| 1 | 0 | 8693 | - | 50M| 0 | 259 |8415 |2080 |8415 | 821 | 148 | 98 | 0 | 9.000000e+00 | -- | Inf
7.19/7.24 c 7.2s| 1 | 0 | 9814 | - | 50M| 0 | 322 |8415 |2080 |8415 | 858 | 185 | 98 | 0 | 9.000000e+00 | -- | Inf
8.69/8.73 c 8.7s| 1 | 0 | 12741 | - | 51M| 0 | 302 |8415 |2080 |8415 | 895 | 222 | 98 | 0 | 9.000000e+00 | -- | Inf
10.49/10.52 c 10.5s| 1 | 2 | 12741 | - | 51M| 0 | 302 |8415 |2080 |8415 | 895 | 222 | 98 | 9 | 9.000000e+00 | -- | Inf
72.08/72.17 c 72.2s| 100 | 67 | 57627 | 453.4 | 52M| 51 | 129 |8415 |2238 |8415 | 826 | 222 | 256 |1445 | 9.000000e+00 | -- | Inf
77.67/77.70 c 77.7s| 200 | 111 | 66548 | 270.4 | 53M| 59 | 130 |8415 |2280 |8415 | 826 | 222 | 298 |1493 | 9.000000e+00 | -- | Inf
83.98/84.09 c 84.1s| 300 | 157 | 76599 | 213.6 | 53M| 63 | 92 |8415 |2327 |8415 | 826 | 222 | 345 |1613 | 9.000000e+00 | -- | Inf
90.18/90.27 c 90.3s| 400 | 179 | 90034 | 193.7 | 53M| 67 | 88 |8415 |2364 |8415 | 826 | 222 | 407 |1803 | 9.000000e+00 | -- | Inf
93.77/93.82 c 93.8s| 500 | 215 | 96465 | 167.8 | 54M| 67 | 109 |8415 |2420 |8415 | 826 | 222 | 481 |1901 | 9.000000e+00 | -- | Inf
102.77/102.83 c 103s| 600 | 233 |120542 | 180.0 | 54M| 72 | 139 |8415 |2555 |8415 | 826 | 222 | 652 |2011 | 9.000000e+00 | -- | Inf
119.77/119.84 c 120s| 700 | 255 |159832 | 210.4 | 54M| 72 | - |8415 |2626 |8415 | 826 | 222 | 785 |2172 | 9.000000e+00 | -- | Inf
128.96/129.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.96/129.03 c 129s| 800 | 279 |176421 | 204.9 | 54M| 75 | 133 |8415 |2633 |8415 | 826 | 222 | 839 |2303 | 9.000000e+00 | -- | Inf
134.55/134.62 c 135s| 900 | 296 |194655 | 202.4 | 55M| 86 | 93 |8415 |2655 |8415 | 826 | 222 | 882 |2394 | 9.000000e+00 | -- | Inf
144.05/144.12 c 144s| 1000 | 308 |212237 | 199.7 | 55M| 86 | 122 |8415 |2720 |8415 | 826 | 222 | 984 |2514 | 9.000000e+00 | -- | Inf
151.35/151.44 c 151s| 1100 | 326 |223082 | 191.4 | 55M| 86 | - |8415 |2744 |8415 | 826 | 222 |1066 |2638 | 9.000000e+00 | -- | Inf
156.75/156.81 c 157s| 1200 | 333 |235447 | 185.7 | 56M| 86 | 93 |8415 |2859 |8415 | 826 | 222 |1202 |2781 | 9.000000e+00 | -- | Inf
160.04/160.18 c 160s| 1300 | 343 |242064 | 176.5 | 56M| 91 | - |8415 |2867 |8415 | 826 | 222 |1223 |2867 | 9.000000e+00 | -- | Inf
161.14/161.27 c 161s| 1400 | 347 |243316 | 164.8 | 56M| 103 | 64 |8415 |2877 |8415 | 826 | 222 |1233 |2888 | 9.000000e+00 | -- | Inf
162.44/162.56 c 163s| 1500 | 345 |244806 | 154.8 | 56M| 110 | - |8415 |2898 |8415 | 826 | 222 |1254 |2913 | 9.000000e+00 | -- | Inf
163.64/163.76 c 164s| 1600 | 345 |246645 | 146.3 | 56M| 116 | - |8415 |2908 |8415 | 826 | 222 |1265 |2917 | 9.000000e+00 | -- | Inf
165.14/165.27 c 165s| 1700 | 349 |248732 | 138.9 | 56M| 121 | 65 |8415 |2916 |8415 | 826 | 222 |1276 |2951 | 9.000000e+00 | -- | Inf
168.03/168.10 c 168s| 1800 | 355 |252700 | 133.4 | 56M| 121 | - |8415 |2957 |8415 | 826 | 222 |1349 |3040 | 9.000000e+00 | -- | Inf
172.74/172.80 c 173s| 1900 | 377 |263780 | 132.2 | 56M| 121 | 108 |8415 |2961 |8415 | 826 | 222 |1419 |3167 | 9.000000e+00 | -- | Inf
178.24/178.32 c 178s| 2000 | 403 |276647 | 132.0 | 56M| 121 | 79 |8415 |2932 |8415 | 826 | 222 |1520 |3244 | 9.000000e+00 | -- | Inf
183.74/183.85 c 184s| 2100 | 441 |287795 | 131.0 | 57M| 121 | 104 |8415 |2987 |8415 | 826 | 222 |1589 |3326 | 9.000000e+00 | -- | Inf
186.63/186.73 c 187s| 2200 | 452 |293213 | 127.5 | 57M| 121 | 72 |8415 |3024 |8415 | 826 | 222 |1630 |3378 | 9.000000e+00 | -- | Inf
189.14/189.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.14/189.21 c 189s| 2300 | 468 |297646 | 123.9 | 57M| 121 | 93 |8415 |3036 |8415 | 826 | 222 |1651 |3426 | 9.000000e+00 | -- | Inf
192.44/192.55 c 193s| 2400 | 478 |303840 | 121.3 | 57M| 121 | 65 |8415 |3025 |8415 | 826 | 222 |1657 |3504 | 9.000000e+00 | -- | Inf
194.93/195.08 c 195s| 2500 | 492 |308635 | 118.4 | 57M| 121 | - |8415 |3053 |8415 | 826 | 222 |1689 |3556 | 9.000000e+00 | -- | Inf
197.33/197.46 c 197s| 2600 | 506 |313031 | 115.5 | 57M| 121 | 83 |8415 |3074 |8415 | 826 | 222 |1717 |3589 | 9.000000e+00 | -- | Inf
199.83/199.94 c 200s| 2700 | 518 |318672 | 113.3 | 57M| 121 | 97 |8415 |3077 |8415 | 826 | 222 |1727 |3617 | 9.000000e+00 | -- | Inf
202.43/202.55 c 203s| 2800 | 524 |323278 | 110.9 | 57M| 121 | - |8415 |3079 |8415 | 826 | 222 |1758 |3669 | 9.000000e+00 | -- | Inf
204.33/204.48 c 204s| 2900 | 540 |327337 | 108.5 | 57M| 121 | 85 |8415 |3090 |8415 | 826 | 222 |1777 |3690 | 9.000000e+00 | -- | Inf
206.64/206.73 c 207s| 3000 | 552 |331736 | 106.4 | 57M| 121 | 77 |8415 |3092 |8415 | 826 | 222 |1797 |3721 | 9.000000e+00 | -- | Inf
208.23/208.34 c 208s| 3100 | 566 |334750 | 103.9 | 58M| 121 | 85 |8415 |3120 |8415 | 826 | 222 |1835 |3741 | 9.000000e+00 | -- | Inf
210.04/210.12 c 210s| 3200 | 568 |337455 | 101.5 | 58M| 129 | - |8415 |3122 |8415 | 826 | 222 |1843 |3764 | 9.000000e+00 | -- | Inf
211.74/211.86 c 212s| 3300 | 568 |341052 | 99.5 | 58M| 129 | 79 |8415 |3124 |8415 | 826 | 222 |1859 |3778 | 9.000000e+00 | -- | Inf
213.43/213.54 c 214s| 3400 | 576 |344739 | 97.7 | 58M| 129 | 82 |8415 |3174 |8415 | 826 | 222 |1932 |3788 | 9.000000e+00 | -- | Inf
215.83/215.95 c 216s| 3500 | 600 |349331 | 96.2 | 58M| 129 | - |8415 |3165 |8415 | 826 | 222 |1972 |3823 | 9.000000e+00 | -- | Inf
217.73/217.89 c 218s| 3600 | 616 |353466 | 94.7 | 58M| 129 | - |8415 |3194 |8415 | 826 | 222 |2040 |3849 | 9.000000e+00 | -- | Inf
220.53/220.66 c 221s| 3700 | 634 |362378 | 94.5 | 58M| 129 | 78 |8415 |3195 |8415 | 826 | 222 |2065 |3861 | 9.000000e+00 | -- | Inf
223.13/223.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.13/223.28 c 223s| 3800 | 654 |369362 | 93.9 | 58M| 129 | 75 |8415 |3210 |8415 | 826 | 222 |2093 |3880 | 9.000000e+00 | -- | Inf
226.23/226.31 c 226s| 3900 | 658 |376785 | 93.4 | 58M| 129 | 67 |8415 |3219 |8415 | 826 | 222 |2107 |3917 | 9.000000e+00 | -- | Inf
228.83/228.94 c 229s| 4000 | 670 |383966 | 92.8 | 58M| 129 | - |8415 |3219 |8415 | 826 | 222 |2129 |3928 | 9.000000e+00 | -- | Inf
232.23/232.30 c 232s| 4100 | 672 |393366 | 92.9 | 58M| 129 | 77 |8415 |3218 |8415 | 826 | 222 |2141 |3943 | 9.000000e+00 | -- | Inf
235.42/235.59 c 236s| 4200 | 678 |401284 | 92.5 | 58M| 129 | - |8415 |3207 |8415 | 826 | 222 |2187 |3976 | 9.000000e+00 | -- | Inf
237.92/238.05 c 238s| 4300 | 700 |406569 | 91.6 | 58M| 129 | 78 |8415 |3147 |8415 | 826 | 222 |2196 |4005 | 9.000000e+00 | -- | Inf
241.33/241.48 c 241s| 4400 | 716 |415216 | 91.5 | 58M| 129 | 72 |8415 |3114 |8415 | 826 | 222 |2235 |4031 | 9.000000e+00 | -- | Inf
244.42/244.54 c 245s| 4500 | 732 |421845 | 90.9 | 59M| 129 | - |8415 |3141 |8415 | 826 | 222 |2286 |4064 | 9.000000e+00 | -- | Inf
247.23/247.33 c 247s| 4600 | 748 |426923 | 90.1 | 58M| 129 | - |8415 |3115 |8415 | 826 | 222 |2300 |4111 | 9.000000e+00 | -- | Inf
250.13/250.20 c 250s| 4700 | 752 |432642 | 89.4 | 58M| 129 | 82 |8415 |3110 |8415 | 826 | 222 |2326 |4147 | 9.000000e+00 | -- | Inf
252.83/252.91 c 253s| 4800 | 770 |438475 | 88.7 | 59M| 129 | 88 |8415 |3128 |8415 | 826 | 222 |2353 |4180 | 9.000000e+00 | -- | Inf
255.52/255.66 c 256s| 4900 | 774 |443899 | 88.0 | 59M| 129 | - |8415 |3136 |8415 | 826 | 222 |2372 |4224 | 9.000000e+00 | -- | Inf
258.02/258.11 c 258s| 5000 | 784 |448022 | 87.1 | 59M| 129 | 90 |8415 |3196 |8415 | 826 | 222 |2488 |4285 | 9.000000e+00 | -- | Inf
261.32/261.42 c 261s| 5100 | 796 |454529 | 86.6 | 59M| 129 | - |8415 |3175 |8415 | 826 | 222 |2525 |4358 | 9.000000e+00 | -- | Inf
265.33/265.43 c 265s| 5200 | 811 |461368 | 86.3 | 59M| 129 | 69 |8415 |3105 |8415 | 826 | 222 |2587 |4446 | 9.000000e+00 | -- | Inf
268.02/268.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.02/268.13 c 268s| 5300 | 821 |466564 | 85.6 | 59M| 129 | 77 |8415 |3160 |8415 | 826 | 222 |2680 |4491 | 9.000000e+00 | -- | Inf
270.33/270.46 c 270s| 5400 | 825 |472095 | 85.1 | 60M| 129 | - |8415 |3254 |8415 | 826 | 222 |2790 |4537 | 9.000000e+00 | -- | Inf
274.12/274.26 c 274s| 5500 | 852 |479615 | 84.9 | 60M| 129 | 82 |8415 |3285 |8415 | 826 | 222 |2856 |4609 | 9.000000e+00 | -- | Inf
278.82/278.99 c 279s| 5600 | 872 |488927 | 85.0 | 60M| 129 | 101 |8415 |3205 |8415 | 826 | 222 |2905 |4692 | 9.000000e+00 | -- | Inf
282.02/282.19 c 282s| 5700 | 876 |495802 | 84.8 | 59M| 129 | - |8415 |3152 |8415 | 826 | 222 |2939 |4732 | 9.000000e+00 | -- | Inf
285.42/285.57 c 286s| 5800 | 887 |500996 | 84.2 | 59M| 129 | 129 |8415 |3090 |8415 | 826 | 222 |2964 |4805 | 9.000000e+00 | -- | Inf
288.32/288.41 c 288s| 5900 | 909 |507370 | 83.8 | 59M| 129 | - |8415 |3066 |8415 | 826 | 222 |3008 |4828 | 9.000000e+00 | -- | Inf
297.52/297.61 c 298s| 6000 | 924 |521419 | 84.8 | 59M| 129 | - |8415 |3020 |8415 | 826 | 222 |3069 |5052 | 9.000000e+00 | -- | Inf
300.81/300.98 c 301s| 6100 | 933 |527348 | 84.4 | 59M| 129 | 82 |8415 |3003 |8415 | 826 | 222 |3089 |5108 | 9.000000e+00 | -- | Inf
304.01/304.13 c 304s| 6200 | 945 |534825 | 84.2 | 60M| 129 | 82 |8415 |3029 |8415 | 826 | 222 |3147 |5134 | 9.000000e+00 | -- | Inf
307.02/307.13 c 307s| 6300 | 941 |542415 | 84.1 | 60M| 129 | - |8415 |3057 |8415 | 826 | 222 |3204 |5148 | 9.000000e+00 | -- | Inf
313.81/313.92 c 314s| 6400 | 960 |557631 | 85.2 | 60M| 129 | 72 |8415 |3035 |8415 | 826 | 222 |3259 |5218 | 9.000000e+00 | -- | Inf
316.52/316.64 c 317s| 6500 | 980 |562139 | 84.5 | 60M| 129 | 87 |8415 |3000 |8415 | 826 | 222 |3283 |5263 | 9.000000e+00 | -- | Inf
318.21/318.38 c 318s| 6600 | 990 |565092 | 83.7 | 60M| 129 | - |8415 |3004 |8415 | 826 | 222 |3291 |5280 | 9.000000e+00 | -- | Inf
320.02/320.11 c 320s| 6700 | 998 |568448 | 83.0 | 60M| 129 | 62 |8415 |3008 |8415 | 826 | 222 |3296 |5287 | 9.000000e+00 | -- | Inf
322.12/322.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.12/322.30 c 322s| 6800 | 996 |573323 | 82.5 | 60M| 129 | - |8415 |3034 |8415 | 826 | 222 |3334 |5294 | 9.000000e+00 | -- | Inf
323.81/323.98 c 324s| 6900 | 1002 |576070 | 81.7 | 60M| 130 | 48 |8415 |3042 |8415 | 826 | 222 |3342 |5305 | 9.000000e+00 | -- | Inf
325.52/325.63 c 326s| 7000 | 1000 |578925 | 80.9 | 60M| 130 | - |8415 |3045 |8415 | 826 | 222 |3345 |5310 | 9.000000e+00 | -- | Inf
327.31/327.40 c 327s| 7100 | 1012 |582063 | 80.2 | 60M| 130 | - |8415 |3064 |8415 | 826 | 222 |3366 |5316 | 9.000000e+00 | -- | Inf
328.91/329.00 c 329s| 7200 | 1008 |584975 | 79.5 | 60M| 130 | - |8415 |3083 |8415 | 826 | 222 |3401 |5320 | 9.000000e+00 | -- | Inf
331.81/331.95 c 332s| 7300 | 998 |590327 | 79.1 | 60M| 130 | 107 |8415 |3055 |8415 | 826 | 222 |3467 |5363 | 9.000000e+00 | -- | Inf
336.61/336.72 c 337s| 7400 | 1023 |605560 | 80.1 | 60M| 130 | 75 |8415 |3083 |8415 | 826 | 222 |3536 |5378 | 9.000000e+00 | -- | Inf
339.51/339.63 c 340s| 7500 | 1031 |612311 | 80.0 | 61M| 130 | - |8415 |3122 |8415 | 826 | 222 |3599 |5409 | 9.000000e+00 | -- | Inf
342.11/342.24 c 342s| 7600 | 1041 |617515 | 79.6 | 61M| 130 | - |8415 |3167 |8415 | 826 | 222 |3650 |5454 | 9.000000e+00 | -- | Inf
344.31/344.41 c 344s| 7700 | 1043 |621151 | 79.0 | 61M| 130 | 69 |8415 |3167 |8415 | 826 | 222 |3661 |5498 | 9.000000e+00 | -- | Inf
346.91/347.07 c 347s| 7800 | 1043 |625943 | 78.6 | 61M| 130 | 59 |8415 |3178 |8415 | 826 | 222 |3672 |5561 | 9.000000e+00 | -- | Inf
360.20/360.34 c 360s| 7900 | 1041 |642690 | 79.8 | 61M| 130 | - |8415 |3215 |8415 | 826 | 222 |3781 |5744 | 9.000000e+00 | -- | Inf
362.51/362.64 c 363s| 8000 | 1057 |648557 | 79.5 | 61M| 130 | - |8415 |3234 |8415 | 826 | 222 |3825 |5750 | 9.000000e+00 | -- | Inf
364.71/364.89 c 365s| 8100 | 1065 |654690 | 79.3 | 61M| 130 | - |8415 |3233 |8415 | 826 | 222 |3838 |5751 | 9.000000e+00 | -- | Inf
366.31/366.49 c 366s| 8200 | 1078 |658604 | 78.8 | 61M| 130 | - |8415 |3216 |8415 | 826 | 222 |3883 |5752 | 9.000000e+00 | -- | Inf
367.81/367.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.81/367.96 c 368s| 8300 | 1088 |661828 | 78.2 | 62M| 130 | 59 |8415 |3246 |8415 | 826 | 222 |3922 |5753 | 9.000000e+00 | -- | Inf
369.11/369.27 c 369s| 8400 | 1095 |664318 | 77.6 | 62M| 130 | - |8415 |3290 |8415 | 826 | 222 |3969 |5753 | 9.000000e+00 | -- | Inf
370.71/370.86 c 371s| 8500 | 1083 |667504 | 77.0 | 62M| 131 | 73 |8415 |3304 |8415 | 826 | 222 |4000 |5773 | 9.000000e+00 | -- | Inf
373.20/373.36 c 373s| 8600 | 1094 |671875 | 76.7 | 62M| 131 | 58 |8415 |3315 |8415 | 826 | 222 |4028 |5840 | 9.000000e+00 | -- | Inf
375.21/375.33 c 375s| 8700 | 1096 |675528 | 76.2 | 62M| 131 | - |8415 |3312 |8415 | 826 | 222 |4033 |5867 | 9.000000e+00 | -- | Inf
376.70/376.89 c 377s| 8800 | 1096 |677823 | 75.6 | 62M| 131 | 51 |8415 |3315 |8415 | 826 | 222 |4041 |5898 | 9.000000e+00 | -- | Inf
378.40/378.52 c 379s| 8900 | 1098 |680503 | 75.0 | 62M| 131 | - |8415 |3325 |8415 | 826 | 222 |4053 |5931 | 9.000000e+00 | -- | Inf
379.61/379.72 c 380s| 9000 | 1100 |682499 | 74.4 | 62M| 131 | - |8415 |3329 |8415 | 826 | 222 |4058 |5945 | 9.000000e+00 | -- | Inf
380.81/380.98 c 381s| 9100 | 1096 |684063 | 73.8 | 62M| 131 | - |8415 |3325 |8415 | 826 | 222 |4058 |5973 | 9.000000e+00 | -- | Inf
381.61/381.75 c 382s| 9200 | 1098 |684722 | 73.0 | 62M| 131 | 43 |8415 |3325 |8415 | 826 | 222 |4058 |5982 | 9.000000e+00 | -- | Inf
382.80/382.91 c 383s| 9300 | 1094 |685956 | 72.4 | 62M| 131 | 48 |8415 |3327 |8415 | 826 | 222 |4060 |5999 | 9.000000e+00 | -- | Inf
384.91/385.03 c 385s| 9400 | 1093 |689425 | 72.0 | 62M| 131 | 74 |8415 |3361 |8415 | 826 | 222 |4139 |6032 | 9.000000e+00 | -- | Inf
386.90/387.08 c 387s| 9500 | 1101 |693082 | 71.6 | 62M| 131 | - |8415 |3375 |8415 | 826 | 222 |4170 |6059 | 9.000000e+00 | -- | Inf
388.90/389.06 c 389s| 9600 | 1099 |696414 | 71.2 | 62M| 131 | 69 |8415 |3379 |8415 | 826 | 222 |4178 |6108 | 9.000000e+00 | -- | Inf
390.60/390.77 c 391s| 9700 | 1103 |699261 | 70.8 | 62M| 131 | - |8415 |3403 |8415 | 826 | 222 |4208 |6147 | 9.000000e+00 | -- | Inf
392.50/392.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.50/392.60 c 393s| 9800 | 1100 |702411 | 70.4 | 62M| 131 | - |8415 |3404 |8415 | 826 | 222 |4220 |6192 | 9.000000e+00 | -- | Inf
395.10/395.26 c 395s| 9900 | 1108 |706987 | 70.1 | 62M| 131 | 98 |8415 |3317 |8415 | 826 | 222 |4272 |6246 | 9.000000e+00 | -- | Inf
398.30/398.44 c 398s| 10000 | 1123 |713221 | 70.1 | 61M| 131 | 72 |8415 |3230 |8415 | 826 | 222 |4328 |6290 | 9.000000e+00 | -- | Inf
401.60/401.72 c 402s| 10100 | 1123 |718439 | 69.9 | 61M| 131 | 108 |8415 |3216 |8415 | 826 | 222 |4328 |6363 | 9.000000e+00 | -- | Inf
404.00/404.15 c 404s| 10200 | 1143 |723862 | 69.7 | 62M| 131 | 89 |8415 |3210 |8415 | 826 | 222 |4347 |6380 | 9.000000e+00 | -- | Inf
405.50/405.67 c 406s| 10300 | 1152 |726099 | 69.3 | 62M| 131 | - |8415 |3196 |8415 | 826 | 222 |4365 |6402 | 9.000000e+00 | -- | Inf
407.60/407.77 c 408s| 10400 | 1149 |730025 | 69.0 | 62M| 131 | - |8415 |3197 |8415 | 826 | 222 |4378 |6427 | 9.000000e+00 | -- | Inf
409.30/409.46 c 409s| 10500 | 1154 |732634 | 68.6 | 62M| 131 | 76 |8415 |3211 |8415 | 826 | 222 |4398 |6463 | 9.000000e+00 | -- | Inf
412.20/412.38 c 412s| 10600 | 1151 |738277 | 68.5 | 62M| 131 | 77 |8415 |3196 |8415 | 826 | 222 |4420 |6533 | 9.000000e+00 | -- | Inf
414.70/414.86 c 415s| 10700 | 1153 |742910 | 68.2 | 62M| 131 | - |8415 |3199 |8415 | 826 | 222 |4446 |6576 | 9.000000e+00 | -- | Inf
416.90/417.06 c 417s| 10800 | 1149 |746612 | 68.0 | 62M| 131 | - |8415 |3186 |8415 | 826 | 222 |4447 |6627 | 9.000000e+00 | -- | Inf
420.29/420.41 c 420s| 10900 | 1175 |753763 | 68.0 | 62M| 131 | 83 |8415 |3204 |8415 | 826 | 222 |4500 |6682 | 9.000000e+00 | -- | Inf
422.89/423.03 c 423s| 11000 | 1185 |758023 | 67.8 | 62M| 131 | - |8415 |3200 |8415 | 826 | 222 |4529 |6746 | 9.000000e+00 | -- | Inf
426.29/426.41 c 426s| 11100 | 1195 |763056 | 67.6 | 62M| 131 | - |8415 |3186 |8415 | 826 | 222 |4603 |6810 | 9.000000e+00 | -- | Inf
429.20/429.35 c 429s| 11200 | 1193 |769053 | 67.5 | 62M| 131 | - |8415 |3131 |8415 | 826 | 222 |4636 |6843 | 9.000000e+00 | -- | Inf
437.10/437.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.10/437.26 c 437s| 11300 | 1223 |787063 | 68.5 | 62M| 131 | - |8415 |3061 |8415 | 826 | 222 |4662 |6969 | 9.000000e+00 | -- | Inf
439.90/440.09 c 440s| 11400 | 1236 |793544 | 68.5 | 62M| 131 | - |8415 |3072 |8415 | 826 | 222 |4710 |6994 | 9.000000e+00 | -- | Inf
442.00/442.16 c 442s| 11500 | 1239 |798837 | 68.4 | 62M| 131 | - |8415 |3101 |8415 | 826 | 222 |4750 |6994 | 9.000000e+00 | -- | Inf
444.00/444.12 c 444s| 11600 | 1239 |803794 | 68.2 | 62M| 131 | - |8415 |3098 |8415 | 826 | 222 |4779 |7000 | 9.000000e+00 | -- | Inf
447.60/447.72 c 448s| 11700 | 1237 |811021 | 68.2 | 62M| 131 | - |8415 |3072 |8415 | 826 | 222 |4811 |7057 | 9.000000e+00 | -- | Inf
452.59/452.76 c 453s| 11800 | 1262 |822676 | 68.6 | 62M| 131 | 117 |8415 |2991 |8415 | 826 | 222 |4822 |7098 | 9.000000e+00 | -- | Inf
456.30/456.50 c 456s| 11900 | 1285 |830169 | 68.7 | 62M| 131 | - |8415 |3019 |8415 | 826 | 222 |4875 |7170 | 9.000000e+00 | -- | Inf
458.50/458.63 c 459s| 12000 | 1296 |833651 | 68.4 | 62M| 131 | 92 |8415 |2994 |8415 | 826 | 222 |4893 |7201 | 9.000000e+00 | -- | Inf
461.80/461.97 c 462s| 12100 | 1302 |840703 | 68.4 | 63M| 131 | 93 |8415 |2996 |8415 | 826 | 222 |4929 |7254 | 9.000000e+00 | -- | Inf
465.10/465.29 c 465s| 12200 | 1296 |846595 | 68.4 | 63M| 131 | 102 |8415 |3033 |8415 | 826 | 222 |5002 |7338 | 9.000000e+00 | -- | Inf
469.49/469.61 c 470s| 12300 | 1319 |854580 | 68.4 | 63M| 131 | - |8415 |3011 |8415 | 826 | 222 |5047 |7415 | 9.000000e+00 | -- | Inf
471.49/471.65 c 472s| 12400 | 1329 |859651 | 68.3 | 63M| 131 | - |8415 |3015 |8415 | 826 | 222 |5081 |7423 | 9.000000e+00 | -- | Inf
474.49/474.64 c 475s| 12500 | 1328 |865599 | 68.2 | 63M| 131 | - |8415 |3052 |8415 | 826 | 222 |5140 |7484 | 9.000000e+00 | -- | Inf
477.30/477.48 c 477s| 12600 | 1325 |870600 | 68.1 | 63M| 131 | 71 |8415 |3067 |8415 | 826 | 222 |5187 |7533 | 9.000000e+00 | -- | Inf
479.40/479.56 c 480s| 12700 | 1327 |873280 | 67.8 | 63M| 131 | - |8415 |3051 |8415 | 826 | 222 |5187 |7578 | 9.000000e+00 | -- | Inf
480.69/480.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.69/480.80 c 481s| 12800 | 1333 |874566 | 67.3 | 63M| 131 | 67 |8415 |3050 |8415 | 826 | 222 |5187 |7593 | 9.000000e+00 | -- | Inf
482.09/482.22 c 482s| 12900 | 1335 |876007 | 66.9 | 63M| 131 | 64 |8415 |3050 |8415 | 826 | 222 |5187 |7617 | 9.000000e+00 | -- | Inf
483.49/483.66 c 484s| 13000 | 1333 |877299 | 66.5 | 63M| 131 | 66 |8415 |3050 |8415 | 826 | 222 |5187 |7641 | 9.000000e+00 | -- | Inf
484.99/485.13 c 485s| 13100 | 1333 |878805 | 66.1 | 63M| 131 | 71 |8415 |3050 |8415 | 826 | 222 |5187 |7666 | 9.000000e+00 | -- | Inf
486.49/486.63 c 487s| 13200 | 1335 |880433 | 65.7 | 63M| 131 | 68 |8415 |3051 |8415 | 826 | 222 |5188 |7689 | 9.000000e+00 | -- | Inf
488.49/488.66 c 489s| 13300 | 1341 |883214 | 65.5 | 63M| 131 | 67 |8415 |3007 |8415 | 826 | 222 |5207 |7719 | 9.000000e+00 | -- | Inf
491.29/491.43 c 491s| 13400 | 1349 |887847 | 65.3 | 63M| 131 | 105 |8415 |2985 |8415 | 826 | 222 |5237 |7757 | 9.000000e+00 | -- | Inf
494.28/494.44 c 494s| 13500 | 1365 |893387 | 65.2 | 63M| 131 | 66 |8415 |2985 |8415 | 826 | 222 |5272 |7814 | 9.000000e+00 | -- | Inf
496.39/496.54 c 497s| 13600 | 1369 |896618 | 65.0 | 63M| 131 | - |8415 |2977 |8415 | 826 | 222 |5276 |7851 | 9.000000e+00 | -- | Inf
500.29/500.46 c 500s| 13700 | 1378 |904646 | 65.1 | 63M| 131 | - |8415 |2943 |8415 | 826 | 222 |5279 |7932 | 9.000000e+00 | -- | Inf
502.38/502.57 c 503s| 13800 | 1380 |908053 | 64.9 | 63M| 131 | - |8415 |2968 |8415 | 826 | 222 |5317 |7972 | 9.000000e+00 | -- | Inf
505.89/506.02 c 506s| 13900 | 1389 |914996 | 64.9 | 63M| 131 | 96 |8415 |2974 |8415 | 826 | 222 |5373 |8039 | 9.000000e+00 | -- | Inf
518.18/518.30 c 518s| 14000 | 1398 |938784 | 66.2 | 64M| 131 | 87 |8415 |3010 |8415 | 826 | 222 |5473 |8238 | 9.000000e+00 | -- | Inf
519.88/520.00 c 520s| 14100 | 1390 |942170 | 65.9 | 64M| 131 | - |8415 |2994 |8415 | 826 | 222 |5484 |8238 | 9.000000e+00 | -- | Inf
521.08/521.29 c 521s| 14200 | 1389 |943916 | 65.6 | 64M| 131 | - |8415 |2995 |8415 | 826 | 222 |5498 |8238 | 9.000000e+00 | -- | Inf
532.08/532.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.08/532.29 c 532s| 14300 | 1411 |954648 | 65.9 | 64M| 131 | - |8415 |3032 |8415 | 826 | 222 |5574 |8423 | 9.000000e+00 | -- | Inf
534.08/534.20 c 534s| 14400 | 1407 |959112 | 65.7 | 64M| 131 | - |8415 |3009 |8415 | 826 | 222 |5598 |8423 | 9.000000e+00 | -- | Inf
541.28/541.43 c 541s| 14500 | 1421 |969096 | 66.0 | 64M| 131 | 82 |8415 |2969 |8415 | 826 | 222 |5621 |8445 | 9.000000e+00 | -- | Inf
542.98/543.19 c 543s| 14600 | 1423 |973300 | 65.8 | 64M| 131 | 55 |8415 |2970 |8415 | 826 | 222 |5643 |8449 | 9.000000e+00 | -- | Inf
545.08/545.24 c 545s| 14700 | 1423 |978634 | 65.7 | 64M| 131 | - |8415 |2977 |8415 | 826 | 222 |5690 |8453 | 9.000000e+00 | -- | Inf
546.68/546.88 c 547s| 14800 | 1436 |981776 | 65.5 | 64M| 131 | 59 |8415 |2943 |8415 | 826 | 222 |5723 |8464 | 9.000000e+00 | -- | Inf
549.18/549.37 c 549s| 14900 | 1433 |987906 | 65.5 | 64M| 131 | - |8415 |2921 |8415 | 826 | 222 |5758 |8473 | 9.000000e+00 | -- | Inf
551.18/551.30 c 551s| 15000 | 1442 |992960 | 65.4 | 64M| 131 | 74 |8415 |2946 |8415 | 826 | 222 |5813 |8473 | 9.000000e+00 | -- | Inf
552.68/552.82 c 553s| 15100 | 1450 |995815 | 65.1 | 64M| 131 | - |8415 |2961 |8415 | 826 | 222 |5839 |8473 | 9.000000e+00 | -- | Inf
564.18/564.35 c 564s| 15200 | 1463 | 1013k| 65.8 | 64M| 131 | - |8415 |3019 |8415 | 826 | 222 |5954 |8666 | 9.000000e+00 | -- | Inf
565.98/566.12 c 566s| 15300 | 1470 | 1017k| 65.7 | 64M| 131 | 77 |8415 |3040 |8415 | 826 | 222 |6000 |8668 | 9.000000e+00 | -- | Inf
569.28/569.48 c 569s| 15400 | 1481 | 1027k| 65.9 | 65M| 131 | - |8415 |3069 |8415 | 826 | 222 |6050 |8671 | 9.000000e+00 | -- | Inf
570.48/570.61 c 571s| 15500 | 1487 | 1029k| 65.6 | 65M| 131 | 58 |8415 |3081 |8415 | 826 | 222 |6062 |8672 | 9.000000e+00 | -- | Inf
571.37/571.57 c 572s| 15600 | 1489 | 1030k| 65.3 | 65M| 131 | 53 |8415 |3087 |8415 | 826 | 222 |6068 |8672 | 9.000000e+00 | -- | Inf
572.37/572.56 c 573s| 15700 | 1487 | 1032k| 65.0 | 65M| 131 | 61 |8415 |3087 |8415 | 826 | 222 |6068 |8672 | 9.000000e+00 | -- | Inf
573.48/573.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.48/573.68 c 574s| 15800 | 1485 | 1034k| 64.7 | 65M| 131 | - |8415 |3086 |8415 | 826 | 222 |6068 |8672 | 9.000000e+00 | -- | Inf
574.78/574.97 c 575s| 15900 | 1491 | 1036k| 64.4 | 65M| 131 | 57 |8415 |3091 |8415 | 826 | 222 |6075 |8673 | 9.000000e+00 | -- | Inf
577.38/577.56 c 578s| 16000 | 1480 | 1043k| 64.4 | 65M| 131 | 81 |8415 |3048 |8415 | 826 | 222 |6132 |8678 | 9.000000e+00 | -- | Inf
579.37/579.57 c 580s| 16100 | 1477 | 1047k| 64.3 | 64M| 131 | - |8415 |3027 |8415 | 826 | 222 |6162 |8687 | 9.000000e+00 | -- | Inf
582.27/582.42 c 582s| 16200 | 1488 | 1055k| 64.4 | 65M| 131 | 76 |8415 |3047 |8415 | 826 | 222 |6243 |8702 | 9.000000e+00 | -- | Inf
586.27/586.42 c 586s| 16300 | 1493 | 1065k| 64.6 | 65M| 131 | - |8415 |3033 |8415 | 826 | 222 |6309 |8747 | 9.000000e+00 | -- | Inf
589.67/589.80 c 590s| 16400 | 1503 | 1070k| 64.5 | 64M| 131 | 215 |8415 |2962 |8415 | 826 | 222 |6329 |8819 | 9.000000e+00 | -- | Inf
610.38/610.51 c 611s| 16500 | 1526 | 1097k| 65.7 | 65M| 131 | 70 |8415 |2969 |8415 | 826 | 222 |6386 |9026 | 9.000000e+00 | -- | Inf
611.76/611.96 c 612s| 16600 | 1533 | 1100k| 65.5 | 65M| 131 | 57 |8415 |2980 |8415 | 826 | 222 |6415 |9027 | 9.000000e+00 | -- | Inf
613.57/613.72 c 614s| 16700 | 1537 | 1104k| 65.4 | 65M| 131 | - |8415 |2994 |8415 | 826 | 222 |6441 |9028 | 9.000000e+00 | -- | Inf
615.37/615.55 c 616s| 16800 | 1549 | 1109k| 65.3 | 65M| 131 | - |8415 |3062 |8415 | 826 | 222 |6529 |9030 | 9.000000e+00 | -- | Inf
616.97/617.18 c 617s| 16900 | 1550 | 1112k| 65.1 | 65M| 131 | 64 |8415 |3106 |8415 | 826 | 222 |6644 |9032 | 9.000000e+00 | -- | Inf
618.17/618.31 c 618s| 17000 | 1556 | 1114k| 64.8 | 65M| 131 | 64 |8415 |3086 |8415 | 826 | 222 |6644 |9032 | 9.000000e+00 | -- | Inf
619.26/619.44 c 619s| 17100 | 1556 | 1116k| 64.6 | 65M| 131 | 69 |8415 |3090 |8415 | 826 | 222 |6664 |9035 | 9.000000e+00 | -- | Inf
620.66/620.84 c 621s| 17200 | 1553 | 1119k| 64.3 | 65M| 131 | 61 |8415 |3096 |8415 | 826 | 222 |6674 |9035 | 9.000000e+00 | -- | Inf
622.47/622.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.47/622.67 c 623s| 17300 | 1553 | 1123k| 64.2 | 65M| 131 | - |8415 |3103 |8415 | 826 | 222 |6702 |9039 | 9.000000e+00 | -- | Inf
626.17/626.37 c 626s| 17400 | 1554 | 1132k| 64.3 | 65M| 131 | - |8415 |2984 |8415 | 826 | 222 |6742 |9072 | 9.000000e+00 | -- | Inf
631.37/631.50 c 632s| 17500 | 1569 | 1145k| 64.7 | 65M| 131 | 79 |8415 |3007 |8415 | 826 | 222 |6804 |9143 | 9.000000e+00 | -- | Inf
634.66/634.89 c 635s| 17600 | 1569 | 1152k| 64.8 | 65M| 131 | 66 |8415 |3017 |8415 | 826 | 222 |6847 |9198 | 9.000000e+00 | -- | Inf
637.87/638.01 c 638s| 17700 | 1575 | 1157k| 64.7 | 65M| 131 | 100 |8415 |3009 |8415 | 826 | 222 |6871 |9265 | 9.000000e+00 | -- | Inf
640.76/640.99 c 641s| 17800 | 1591 | 1166k| 64.8 | 65M| 131 | - |8415 |3055 |8415 | 826 | 222 |6933 |9291 | 9.000000e+00 | -- | Inf
643.37/643.56 c 644s| 17900 | 1605 | 1171k| 64.7 | 66M| 131 | 83 |8415 |3113 |8415 | 826 | 222 |6997 |9324 | 9.000000e+00 | -- | Inf
646.16/646.35 c 646s| 18000 | 1605 | 1177k| 64.7 | 66M| 131 | - |8415 |3154 |8415 | 826 | 222 |7064 |9348 | 9.000000e+00 | -- | Inf
648.66/648.80 c 649s| 18100 | 1617 | 1182k| 64.6 | 66M| 131 | 80 |8415 |3160 |8415 | 826 | 222 |7144 |9381 | 9.000000e+00 | -- | Inf
651.07/651.23 c 651s| 18200 | 1625 | 1186k| 64.5 | 66M| 154 | - |8415 |3177 |8415 | 826 | 222 |7169 |9422 | 9.000000e+00 | -- | Inf
652.86/653.05 c 653s| 18300 | 1629 | 1190k| 64.4 | 66M| 154 | - |8415 |3216 |8415 | 826 | 222 |7211 |9439 | 9.000000e+00 | -- | Inf
655.16/655.36 c 655s| 18400 | 1631 | 1194k| 64.2 | 66M| 154 | 65 |8415 |3218 |8415 | 826 | 222 |7214 |9466 | 9.000000e+00 | -- | Inf
657.86/658.04 c 658s| 18500 | 1635 | 1200k| 64.2 | 66M| 154 | 77 |8415 |3270 |8415 | 826 | 222 |7290 |9491 | 9.000000e+00 | -- | Inf
660.06/660.20 c 660s| 18600 | 1637 | 1204k| 64.1 | 66M| 154 | - |8415 |3290 |8415 | 826 | 222 |7312 |9508 | 9.000000e+00 | -- | Inf
662.16/662.34 c 662s| 18700 | 1639 | 1208k| 64.0 | 66M| 154 | 71 |8415 |3293 |8415 | 826 | 222 |7317 |9518 | 9.000000e+00 | -- | Inf
663.66/663.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.66/663.84 c 664s| 18800 | 1639 | 1211k| 63.8 | 66M| 154 | - |8415 |3297 |8415 | 826 | 222 |7327 |9524 | 9.000000e+00 | -- | Inf
666.46/666.61 c 667s| 18900 | 1638 | 1216k| 63.7 | 67M| 154 | - |8415 |3315 |8415 | 826 | 222 |7366 |9547 | 9.000000e+00 | -- | Inf
670.36/670.56 c 671s| 19000 | 1633 | 1223k| 63.7 | 66M| 154 | - |8415 |3209 |8415 | 826 | 222 |7399 |9628 | 9.000000e+00 | -- | Inf
676.56/676.71 c 677s| 19100 | 1641 | 1233k| 63.9 | 66M| 154 | 80 |8415 |3198 |8415 | 826 | 222 |7430 |9800 | 9.000000e+00 | -- | Inf
682.16/682.33 c 682s| 19200 | 1637 | 1246k| 64.3 | 66M| 154 | 74 |8415 |3230 |8415 | 826 | 222 |7477 |9894 | 9.000000e+00 | -- | Inf
686.56/686.77 c 687s| 19300 | 1642 | 1256k| 64.4 | 66M| 154 | 89 |8415 |3217 |8415 | 826 | 222 |7511 |9965 | 9.000000e+00 | -- | Inf
690.56/690.79 c 691s| 19400 | 1670 | 1264k| 64.5 | 66M| 154 | 104 |8415 |3122 |8415 | 826 | 222 |7523 | 10k| 9.000000e+00 | -- | Inf
717.06/717.24 c 717s| 19500 | 1706 | 1341k| 68.1 | 66M| 154 | - |8415 |3126 |8415 | 826 | 222 |7728 | 10k| 9.000000e+00 | -- | Inf
723.15/723.33 c 723s| 19600 | 1723 | 1357k| 68.6 | 66M| 154 | 187 |8415 |3120 |8415 | 826 | 222 |7821 | 10k| 9.000000e+00 | -- | Inf
731.95/732.14 c 732s| 19700 | 1734 | 1379k| 69.4 | 67M| 154 | 79 |8415 |3133 |8415 | 826 | 222 |7865 | 10k| 9.000000e+00 | -- | Inf
733.45/733.67 c 734s| 19800 | 1744 | 1382k| 69.2 | 67M| 154 | 61 |8415 |3144 |8415 | 826 | 222 |7894 | 10k| 9.000000e+00 | -- | Inf
735.05/735.28 c 735s| 19900 | 1746 | 1385k| 69.0 | 67M| 154 | 69 |8415 |3135 |8415 | 826 | 222 |7894 | 10k| 9.000000e+00 | -- | Inf
736.45/736.67 c 737s| 20000 | 1748 | 1388k| 68.8 | 67M| 154 | 76 |8415 |3141 |8415 | 826 | 222 |7902 | 10k| 9.000000e+00 | -- | Inf
737.85/738.09 c 738s| 20100 | 1754 | 1390k| 68.6 | 67M| 154 | - |8415 |3136 |8415 | 826 | 222 |7905 | 10k| 9.000000e+00 | -- | Inf
739.55/739.79 c 740s| 20200 | 1756 | 1393k| 68.4 | 67M| 154 | - |8415 |3151 |8415 | 826 | 222 |7921 | 10k| 9.000000e+00 | -- | Inf
741.25/741.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.25/741.43 c 741s| 20300 | 1760 | 1396k| 68.2 | 67M| 154 | 59 |8415 |3149 |8415 | 826 | 222 |7922 | 10k| 9.000000e+00 | -- | Inf
743.55/743.71 c 744s| 20400 | 1762 | 1400k| 68.0 | 67M| 154 | - |8415 |3138 |8415 | 826 | 222 |7941 | 10k| 9.000000e+00 | -- | Inf
745.34/745.55 c 746s| 20500 | 1768 | 1403k| 67.8 | 67M| 154 | 60 |8415 |3166 |8415 | 826 | 222 |7978 | 10k| 9.000000e+00 | -- | Inf
746.85/747.03 c 747s| 20600 | 1770 | 1405k| 67.6 | 67M| 154 | - |8415 |3149 |8415 | 826 | 222 |7985 | 10k| 9.000000e+00 | -- | Inf
748.44/748.60 c 749s| 20700 | 1770 | 1408k| 67.4 | 67M| 154 | 60 |8415 |3149 |8415 | 826 | 222 |7985 | 10k| 9.000000e+00 | -- | Inf
749.84/750.04 c 750s| 20800 | 1770 | 1410k| 67.2 | 67M| 154 | 64 |8415 |3152 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
751.44/751.60 c 752s| 20900 | 1765 | 1412k| 67.0 | 67M| 154 | - |8415 |3149 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
752.84/753.03 c 753s| 21000 | 1767 | 1414k| 66.8 | 67M| 154 | 60 |8415 |3149 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
754.24/754.45 c 754s| 21100 | 1763 | 1416k| 66.5 | 67M| 154 | - |8415 |3148 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
755.94/756.11 c 756s| 21200 | 1761 | 1419k| 66.3 | 67M| 154 | 67 |8415 |3148 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
757.55/757.80 c 758s| 21300 | 1759 | 1422k| 66.2 | 67M| 154 | 72 |8415 |3148 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
759.24/759.47 c 759s| 21400 | 1759 | 1425k| 66.0 | 67M| 154 | 74 |8415 |3147 |8415 | 826 | 222 |8028 | 10k| 9.000000e+00 | -- | Inf
760.84/761.02 c 761s| 21500 | 1751 | 1428k| 65.8 | 67M| 154 | - |8415 |3144 |8415 | 826 | 222 |8044 | 10k| 9.000000e+00 | -- | Inf
763.34/763.57 c 764s| 21600 | 1763 | 1432k| 65.7 | 67M| 154 | - |8415 |3192 |8415 | 826 | 222 |8128 | 10k| 9.000000e+00 | -- | Inf
766.74/766.98 c 767s| 21700 | 1770 | 1440k| 65.8 | 67M| 154 | 94 |8415 |3171 |8415 | 826 | 222 |8129 | 10k| 9.000000e+00 | -- | Inf
771.14/771.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.14/771.33 c 771s| 21800 | 1786 | 1448k| 65.9 | 67M| 154 | 72 |8415 |3124 |8415 | 826 | 222 |8183 | 10k| 9.000000e+00 | -- | Inf
772.64/772.87 c 773s| 21900 | 1788 | 1452k| 65.7 | 67M| 154 | - |8415 |3143 |8415 | 826 | 222 |8228 | 10k| 9.000000e+00 | -- | Inf
774.34/774.59 c 775s| 22000 | 1790 | 1455k| 65.6 | 67M| 154 | - |8415 |3168 |8415 | 826 | 222 |8272 | 10k| 9.000000e+00 | -- | Inf
776.74/776.93 c 777s| 22100 | 1790 | 1459k| 65.5 | 67M| 155 | 76 |8415 |3182 |8415 | 826 | 222 |8319 | 10k| 9.000000e+00 | -- | Inf
780.24/780.45 c 780s| 22200 | 1800 | 1465k| 65.4 | 67M| 174 | 79 |8415 |3159 |8415 | 826 | 222 |8346 | 10k| 9.000000e+00 | -- | Inf
786.44/786.60 c 787s| 22300 | 1807 | 1472k| 65.5 | 67M| 174 | - |8415 |3119 |8415 | 826 | 222 |8378 | 10k| 9.000000e+00 | -- | Inf
789.13/789.38 c 789s| 22400 | 1832 | 1477k| 65.4 | 67M| 174 | 91 |8415 |3091 |8415 | 826 | 222 |8378 | 11k| 9.000000e+00 | -- | Inf
792.24/792.44 c 792s| 22500 | 1862 | 1483k| 65.4 | 68M| 174 | 85 |8415 |3088 |8415 | 826 | 222 |8394 | 11k| 9.000000e+00 | -- | Inf
794.44/794.64 c 795s| 22600 | 1859 | 1488k| 65.3 | 68M| 174 | - |8415 |3054 |8415 | 826 | 222 |8412 | 11k| 9.000000e+00 | -- | Inf
797.24/797.50 c 797s| 22700 | 1860 | 1495k| 65.3 | 68M| 174 | - |8415 |3049 |8415 | 826 | 222 |8473 | 11k| 9.000000e+00 | -- | Inf
800.64/800.85 c 801s| 22800 | 1875 | 1504k| 65.4 | 68M| 174 | - |8415 |3079 |8415 | 826 | 222 |8572 | 11k| 9.000000e+00 | -- | Inf
803.44/803.61 c 804s| 22900 | 1885 | 1510k| 65.4 | 68M| 174 | 69 |8415 |3054 |8415 | 826 | 222 |8595 | 11k| 9.000000e+00 | -- | Inf
807.03/807.20 c 807s| 23000 | 1888 | 1518k| 65.5 | 68M| 174 | - |8415 |3032 |8415 | 826 | 222 |8634 | 11k| 9.000000e+00 | -- | Inf
810.44/810.68 c 811s| 23100 | 1903 | 1526k| 65.5 | 68M| 174 | 62 |8415 |3017 |8415 | 826 | 222 |8686 | 11k| 9.000000e+00 | -- | Inf
813.04/813.27 c 813s| 23200 | 1905 | 1530k| 65.4 | 68M| 174 | 99 |8415 |2980 |8415 | 826 | 222 |8697 | 11k| 9.000000e+00 | -- | Inf
817.53/817.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.53/817.71 c 818s| 23300 | 1913 | 1538k| 65.5 | 68M| 174 | 90 |8415 |2965 |8415 | 826 | 222 |8736 | 11k| 9.000000e+00 | -- | Inf
819.84/820.08 c 820s| 23400 | 1923 | 1544k| 65.4 | 68M| 174 | 93 |8415 |2968 |8415 | 826 | 222 |8769 | 11k| 9.000000e+00 | -- | Inf
822.13/822.34 c 822s| 23500 | 1927 | 1549k| 65.4 | 68M| 174 | - |8415 |2956 |8415 | 826 | 222 |8809 | 11k| 9.000000e+00 | -- | Inf
823.64/823.89 c 824s| 23600 | 1933 | 1552k| 65.3 | 68M| 174 | - |8415 |2970 |8415 | 826 | 222 |8837 | 11k| 9.000000e+00 | -- | Inf
825.03/825.25 c 825s| 23700 | 1939 | 1556k| 65.1 | 69M| 174 | - |8415 |3014 |8415 | 826 | 222 |8881 | 11k| 9.000000e+00 | -- | Inf
826.43/826.62 c 827s| 23800 | 1941 | 1559k| 65.0 | 69M| 174 | - |8415 |2988 |8415 | 826 | 222 |8885 | 11k| 9.000000e+00 | -- | Inf
827.84/828.09 c 828s| 23900 | 1941 | 1562k| 64.9 | 68M| 174 | 58 |8415 |2959 |8415 | 826 | 222 |8904 | 11k| 9.000000e+00 | -- | Inf
829.33/829.52 c 830s| 24000 | 1944 | 1566k| 64.7 | 68M| 174 | 62 |8415 |2941 |8415 | 826 | 222 |8917 | 11k| 9.000000e+00 | -- | Inf
830.83/831.00 c 831s| 24100 | 1942 | 1569k| 64.6 | 68M| 174 | 61 |8415 |2972 |8415 | 826 | 222 |8974 | 11k| 9.000000e+00 | -- | Inf
832.13/832.33 c 832s| 24200 | 1940 | 1572k| 64.5 | 68M| 174 | 61 |8415 |2954 |8415 | 826 | 222 |8985 | 11k| 9.000000e+00 | -- | Inf
833.33/833.55 c 834s| 24300 | 1944 | 1575k| 64.3 | 68M| 174 | - |8415 |2964 |8415 | 826 | 222 |9021 | 11k| 9.000000e+00 | -- | Inf
834.53/834.77 c 835s| 24400 | 1946 | 1577k| 64.1 | 69M| 174 | 55 |8415 |2997 |8415 | 826 | 222 |9061 | 11k| 9.000000e+00 | -- | Inf
835.93/836.15 c 836s| 24500 | 1944 | 1579k| 64.0 | 69M| 174 | 59 |8415 |3008 |8415 | 826 | 222 |9084 | 11k| 9.000000e+00 | -- | Inf
837.23/837.44 c 837s| 24600 | 1942 | 1582k| 63.8 | 69M| 174 | - |8415 |3007 |8415 | 826 | 222 |9108 | 11k| 9.000000e+00 | -- | Inf
838.93/839.15 c 839s| 24700 | 1938 | 1586k| 63.7 | 68M| 174 | - |8415 |2997 |8415 | 826 | 222 |9123 | 11k| 9.000000e+00 | -- | Inf
840.43/840.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.43/840.64 c 841s| 24800 | 1948 | 1590k| 63.6 | 69M| 174 | 65 |8415 |2995 |8415 | 826 | 222 |9156 | 11k| 9.000000e+00 | -- | Inf
841.93/842.13 c 842s| 24900 | 1948 | 1593k| 63.5 | 68M| 174 | - |8415 |2975 |8415 | 826 | 222 |9166 | 11k| 9.000000e+00 | -- | Inf
843.33/843.50 c 843s| 25000 | 1952 | 1597k| 63.4 | 68M| 174 | 60 |8415 |2968 |8415 | 826 | 222 |9169 | 11k| 9.000000e+00 | -- | Inf
844.93/845.13 c 845s| 25100 | 1946 | 1601k| 63.3 | 69M| 174 | 61 |8415 |2992 |8415 | 826 | 222 |9225 | 11k| 9.000000e+00 | -- | Inf
846.43/846.65 c 847s| 25200 | 1946 | 1605k| 63.2 | 68M| 174 | 66 |8415 |2986 |8415 | 826 | 222 |9238 | 11k| 9.000000e+00 | -- | Inf
848.03/848.28 c 848s| 25300 | 1944 | 1609k| 63.1 | 68M| 174 | - |8415 |2986 |8415 | 826 | 222 |9253 | 11k| 9.000000e+00 | -- | Inf
849.43/849.66 c 850s| 25400 | 1942 | 1613k| 63.0 | 68M| 174 | - |8415 |2969 |8415 | 826 | 222 |9254 | 11k| 9.000000e+00 | -- | Inf
850.93/851.11 c 851s| 25500 | 1946 | 1616k| 62.9 | 68M| 174 | 60 |8415 |2970 |8415 | 826 | 222 |9257 | 11k| 9.000000e+00 | -- | Inf
852.13/852.38 c 852s| 25600 | 1948 | 1619k| 62.8 | 68M| 174 | 59 |8415 |2971 |8415 | 826 | 222 |9263 | 11k| 9.000000e+00 | -- | Inf
853.73/853.94 c 854s| 25700 | 1941 | 1622k| 62.6 | 68M| 174 | 63 |8415 |2971 |8415 | 826 | 222 |9334 | 11k| 9.000000e+00 | -- | Inf
855.33/855.54 c 856s| 25800 | 1941 | 1626k| 62.5 | 69M| 174 | - |8415 |2995 |8415 | 826 | 222 |9370 | 11k| 9.000000e+00 | -- | Inf
857.03/857.22 c 857s| 25900 | 1939 | 1629k| 62.4 | 68M| 174 | - |8415 |2985 |8415 | 826 | 222 |9386 | 11k| 9.000000e+00 | -- | Inf
858.73/858.93 c 859s| 26000 | 1935 | 1633k| 62.4 | 68M| 174 | - |8415 |2967 |8415 | 826 | 222 |9386 | 11k| 9.000000e+00 | -- | Inf
860.33/860.57 c 861s| 26100 | 1937 | 1637k| 62.3 | 68M| 174 | - |8415 |2978 |8415 | 826 | 222 |9397 | 11k| 9.000000e+00 | -- | Inf
861.83/862.07 c 862s| 26200 | 1937 | 1641k| 62.2 | 68M| 174 | 62 |8415 |2979 |8415 | 826 | 222 |9407 | 11k| 9.000000e+00 | -- | Inf
863.33/863.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.33/863.55 c 864s| 26300 | 1933 | 1644k| 62.0 | 68M| 174 | 63 |8415 |2964 |8415 | 826 | 222 |9409 | 11k| 9.000000e+00 | -- | Inf
865.73/865.94 c 866s| 26400 | 1937 | 1648k| 62.0 | 69M| 174 | 62 |8415 |3001 |8415 | 826 | 222 |9480 | 11k| 9.000000e+00 | -- | Inf
866.92/867.13 c 867s| 26500 | 1937 | 1649k| 61.8 | 69M| 174 | - |8415 |3037 |8415 | 826 | 222 |9517 | 11k| 9.000000e+00 | -- | Inf
868.62/868.81 c 869s| 26600 | 1939 | 1653k| 61.7 | 69M| 174 | - |8415 |3006 |8415 | 826 | 222 |9558 | 11k| 9.000000e+00 | -- | Inf
870.32/870.52 c 871s| 26700 | 1935 | 1656k| 61.6 | 68M| 174 | 67 |8415 |3001 |8415 | 826 | 222 |9600 | 11k| 9.000000e+00 | -- | Inf
874.52/874.74 c 875s| 26800 | 1931 | 1665k| 61.7 | 68M| 174 | 69 |8415 |2980 |8415 | 826 | 222 |9643 | 11k| 9.000000e+00 | -- | Inf
876.32/876.53 c 877s| 26900 | 1931 | 1669k| 61.6 | 68M| 174 | - |8415 |2978 |8415 | 826 | 222 |9658 | 11k| 9.000000e+00 | -- | Inf
878.02/878.28 c 878s| 27000 | 1933 | 1674k| 61.5 | 68M| 174 | - |8415 |2982 |8415 | 826 | 222 |9677 | 11k| 9.000000e+00 | -- | Inf
879.63/879.84 c 880s| 27100 | 1931 | 1677k| 61.4 | 68M| 174 | - |8415 |2987 |8415 | 826 | 222 |9692 | 11k| 9.000000e+00 | -- | Inf
880.83/881.03 c 881s| 27200 | 1931 | 1680k| 61.3 | 68M| 174 | - |8415 |2995 |8415 | 826 | 222 |9705 | 11k| 9.000000e+00 | -- | Inf
882.02/882.26 c 882s| 27300 | 1935 | 1682k| 61.2 | 68M| 174 | - |8415 |2992 |8415 | 826 | 222 |9706 | 11k| 9.000000e+00 | -- | Inf
883.43/883.68 c 884s| 27400 | 1929 | 1686k| 61.1 | 68M| 174 | - |8415 |2989 |8415 | 826 | 222 |9707 | 11k| 9.000000e+00 | -- | Inf
884.82/885.07 c 885s| 27500 | 1927 | 1688k| 61.0 | 68M| 174 | - |8415 |3002 |8415 | 826 | 222 |9737 | 11k| 9.000000e+00 | -- | Inf
886.43/886.60 c 887s| 27600 | 1931 | 1691k| 60.8 | 68M| 174 | 64 |8415 |2998 |8415 | 826 | 222 |9743 | 11k| 9.000000e+00 | -- | Inf
888.42/888.62 c 889s| 27700 | 1937 | 1695k| 60.7 | 68M| 174 | 52 |8415 |3014 |8415 | 826 | 222 |9765 | 11k| 9.000000e+00 | -- | Inf
891.32/891.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.32/891.57 c 892s| 27800 | 1931 | 1700k| 60.7 | 68M| 174 | 67 |8415 |2997 |8415 | 826 | 222 |9777 | 11k| 9.000000e+00 | -- | Inf
893.32/893.58 c 894s| 27900 | 1943 | 1704k| 60.6 | 68M| 174 | 72 |8415 |2930 |8415 | 826 | 222 |9815 | 11k| 9.000000e+00 | -- | Inf
895.63/895.84 c 896s| 28000 | 1946 | 1708k| 60.5 | 68M| 174 | 83 |8415 |2909 |8415 | 826 | 222 |9858 | 11k| 9.000000e+00 | -- | Inf
898.92/899.19 c 899s| 28100 | 1956 | 1714k| 60.6 | 68M| 174 | 71 |8415 |2827 |8415 | 826 | 222 |9913 | 11k| 9.000000e+00 | -- | Inf
901.42/901.60 c 902s| 28200 | 1961 | 1718k| 60.5 | 68M| 174 | 74 |8415 |2805 |8415 | 826 | 222 |9956 | 11k| 9.000000e+00 | -- | Inf
902.42/902.65 c 903s| 28300 | 1971 | 1720k| 60.3 | 69M| 174 | 72 |8415 |2823 |8415 | 826 | 222 |9980 | 11k| 9.000000e+00 | -- | Inf
904.52/904.72 c 905s| 28400 | 1969 | 1723k| 60.2 | 69M| 174 | - |8415 |2882 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
905.92/906.18 c 906s| 28500 | 1979 | 1725k| 60.1 | 69M| 174 | - |8415 |2949 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
907.91/908.10 c 908s| 28600 | 1983 | 1728k| 60.0 | 69M| 174 | - |8415 |2993 | 0 | 0 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
909.62/909.82 c 910s| 28700 | 1987 | 1730k| 59.8 | 69M| 174 | - |8415 |3048 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
911.42/911.60 c 912s| 28800 | 1987 | 1732k| 59.7 | 69M| 174 | 61 |8415 |3096 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
913.42/913.61 c 914s| 28900 | 1993 | 1735k| 59.6 | 69M| 174 | 79 |8415 |3110 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
915.03/915.23 c 915s| 29000 | 1993 | 1737k| 59.5 | 69M| 174 | 69 |8415 |3179 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
917.62/917.84 c 918s| 29100 | 1997 | 1741k| 59.4 | 69M| 174 | 73 |8415 |3251 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
919.62/919.84 c 920s| 29200 | 2001 | 1744k| 59.3 | 69M| 174 | - |8415 |3275 | 0 | 0 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
922.12/922.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.12/922.33 c 922s| 29300 | 2005 | 1747k| 59.2 | 69M| 174 | - |8415 |3268 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
924.12/924.32 c 924s| 29400 | 2005 | 1750k| 59.1 | 69M| 174 | - |8415 |3276 | 0 | 0 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
926.22/926.48 c 926s| 29500 | 2005 | 1753k| 59.0 | 69M| 174 | 66 |8415 |3271 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
928.41/928.63 c 929s| 29600 | 2007 | 1756k| 58.9 | 69M| 174 | 75 |8415 |3267 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
930.02/930.24 c 930s| 29700 | 2009 | 1758k| 58.8 | 69M| 174 | - |8415 |3230 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
932.52/932.78 c 933s| 29800 | 2011 | 1761k| 58.7 | 69M| 174 | 68 |8415 |3197 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
934.72/934.90 c 935s| 29900 | 2021 | 1765k| 58.6 | 69M| 174 | 68 |8415 |3170 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
937.11/937.37 c 937s| 30000 | 2029 | 1769k| 58.6 | 69M| 174 | - |8415 |3154 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
940.32/940.52 c 941s| 30100 | 2036 | 1774k| 58.5 | 69M| 174 | 83 |8415 |3066 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
943.01/943.23 c 943s| 30200 | 2047 | 1781k| 58.6 | 69M| 174 | 67 |8415 |3077 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
944.81/945.01 c 945s| 30300 | 2059 | 1784k| 58.5 | 69M| 174 | 63 |8415 |3035 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
946.51/946.76 c 947s| 30400 | 2061 | 1786k| 58.3 | 69M| 174 | 59 |8415 |3014 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
947.72/947.93 c 948s| 30500 | 2061 | 1787k| 58.2 | 69M| 174 | 59 |8415 |3012 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
949.82/950.08 c 950s| 30600 | 2061 | 1791k| 58.1 | 69M| 174 | 70 |8415 |3002 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
952.01/952.20 c 952s| 30700 | 2063 | 1795k| 58.1 | 69M| 174 | - |8415 |2995 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
953.71/953.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.71/953.97 c 954s| 30800 | 2065 | 1797k| 58.0 | 69M| 174 | - |8415 |3001 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
955.41/955.69 c 956s| 30900 | 2067 | 1800k| 57.9 | 70M| 174 | - |8415 |3025 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
958.41/958.61 c 959s| 31000 | 2072 | 1806k| 57.9 | 70M| 174 | - |8415 |3037 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
960.61/960.82 c 961s| 31100 | 2076 | 1811k| 57.8 | 70M| 174 | - |8415 |3061 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
963.32/963.52 c 964s| 31200 | 2080 | 1817k| 57.9 | 70M| 174 | 69 |8415 |3041 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
965.91/966.16 c 966s| 31300 | 2078 | 1823k| 57.8 | 70M| 174 | - |8415 |3037 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
968.21/968.45 c 968s| 31400 | 2082 | 1827k| 57.8 | 70M| 174 | 69 |8415 |3024 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
971.31/971.53 c 972s| 31500 | 2084 | 1834k| 57.8 | 70M| 174 | - |8415 |3032 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
974.32/974.57 c 975s| 31600 | 2082 | 1842k| 57.9 | 70M| 174 | - |8415 |3040 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
977.40/977.66 c 978s| 31700 | 2086 | 1847k| 57.9 | 70M| 174 | - |8415 |3049 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
980.40/980.64 c 981s| 31800 | 2092 | 1853k| 57.9 | 70M| 174 | 58 |8415 |3043 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
984.22/984.42 c 984s| 31900 | 2093 | 1861k| 57.9 | 70M| 174 | 79 |8415 |3040 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
986.01/986.29 c 986s| 32000 | 2095 | 1864k| 57.9 | 70M| 174 | - |8415 |3036 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
988.11/988.37 c 988s| 32100 | 2097 | 1867k| 57.8 | 70M| 174 | 61 |8415 |3044 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
990.60/990.86 c 991s| 32200 | 2098 | 1872k| 57.8 | 70M| 174 | - |8415 |3064 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
992.91/993.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.91/993.17 c 993s| 32300 | 2104 | 1877k| 57.7 | 70M| 174 | - |8415 |3068 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
995.10/995.31 c 995s| 32400 | 2105 | 1880k| 57.6 | 70M| 174 | - |8415 |3083 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
996.71/996.93 c 997s| 32500 | 2111 | 1882k| 57.5 | 70M| 174 | 64 |8415 |3120 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
998.40/998.61 c 999s| 32600 | 2112 | 1885k| 57.4 | 70M| 174 | 62 |8415 |3145 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1000.31/1000.56 c 1001s| 32700 | 2113 | 1888k| 57.4 | 70M| 174 | 65 |8415 |3173 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1002.30/1002.55 c 1003s| 32800 | 2112 | 1892k| 57.3 | 70M| 174 | 64 |8415 |3172 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1004.80/1005.09 c 1005s| 32900 | 2103 | 1897k| 57.3 | 70M| 174 | 57 |8415 |3118 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1009.40/1009.69 c 1010s| 33000 | 2116 | 1904k| 57.3 | 70M| 174 | - |8415 |3090 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1011.20/1011.40 c 1011s| 33100 | 2118 | 1907k| 57.2 | 70M| 174 | - |8415 |3041 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1012.71/1012.92 c 1013s| 33200 | 2116 | 1909k| 57.1 | 70M| 174 | 59 |8415 |3049 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1013.91/1014.11 c 1014s| 33300 | 2118 | 1911k| 57.0 | 70M| 174 | 63 |8415 |3064 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1015.01/1015.23 c 1015s| 33400 | 2120 | 1912k| 56.9 | 70M| 174 | 51 |8415 |3063 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1016.11/1016.33 c 1016s| 33500 | 2120 | 1913k| 56.7 | 70M| 174 | 59 |8415 |3062 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1017.31/1017.55 c 1018s| 33600 | 2114 | 1914k| 56.6 | 70M| 174 | 87 |8415 |3042 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1020.40/1020.68 c 1021s| 33700 | 2112 | 1920k| 56.6 | 70M| 174 | 81 |8415 |2997 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1023.11/1023.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.11/1023.30 c 1023s| 33800 | 2113 | 1926k| 56.6 | 70M| 174 | - |8415 |2985 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1026.80/1027.08 c 1027s| 33900 | 2125 | 1933k| 56.7 | 70M| 174 | 79 |8415 |2984 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1029.10/1029.31 c 1029s| 34000 | 2129 | 1937k| 56.6 | 70M| 174 | 134 |8415 |2934 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1031.40/1031.60 c 1032s| 34100 | 2138 | 1941k| 56.6 | 70M| 174 | - |8415 |2932 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1034.91/1035.15 c 1035s| 34200 | 2153 | 1947k| 56.6 | 70M| 174 | 92 |8415 |2856 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1037.10/1037.37 c 1037s| 34300 | 2151 | 1953k| 56.6 | 70M| 174 | - |8415 |2892 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1040.10/1040.38 c 1040s| 34400 | 2159 | 1958k| 56.6 | 70M| 174 | 91 |8415 |2842 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1043.20/1043.47 c 1043s| 34500 | 2185 | 1965k| 56.6 | 70M| 174 | 79 |8415 |2846 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1045.69/1045.98 c 1046s| 34600 | 2213 | 1969k| 56.6 | 71M| 174 | 72 |8415 |2853 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1048.50/1048.77 c 1049s| 34700 | 2228 | 1974k| 56.5 | 71M| 174 | - |8415 |2882 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1051.49/1051.77 c 1052s| 34800 | 2248 | 1981k| 56.6 | 71M| 174 | - |8415 |2920 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1054.90/1055.15 c 1055s| 34900 | 2271 | 1988k| 56.6 | 71M| 174 | - |8415 |2907 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1058.60/1058.86 c 1059s| 35000 | 2294 | 1996k| 56.7 | 71M| 174 | 84 |8415 |2890 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1063.20/1063.48 c 1063s| 35100 | 2316 | 2004k| 56.7 | 71M| 174 | 74 |8415 |2909 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1066.99/1067.21 c 1067s| 35200 | 2327 | 2012k| 56.8 | 71M| 174 | 76 |8415 |2906 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1070.89/1071.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.89/1071.13 c 1071s| 35300 | 2341 | 2020k| 56.9 | 71M| 174 | 68 |8415 |2894 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1073.10/1073.37 c 1073s| 35400 | 2347 | 2024k| 56.8 | 71M| 174 | - |8415 |2864 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1078.59/1078.84 c 1079s| 35500 | 2349 | 2036k| 57.0 | 71M| 174 | 73 |8415 |2956 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1080.19/1080.43 c 1080s| 35600 | 2355 | 2039k| 56.9 | 71M| 174 | 77 |8415 |2914 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1082.10/1082.35 c 1082s| 35700 | 2363 | 2042k| 56.9 | 71M| 174 | - |8415 |2924 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1085.69/1085.91 c 1086s| 35800 | 2368 | 2049k| 56.9 | 71M| 174 | - |8415 |2918 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1088.29/1088.57 c 1089s| 35900 | 2381 | 2055k| 56.9 | 72M| 174 | 62 |8415 |2931 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1090.39/1090.66 c 1091s| 36000 | 2393 | 2057k| 56.8 | 72M| 174 | 80 |8415 |2947 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1096.19/1096.40 c 1096s| 36100 | 2415 | 2073k| 57.1 | 72M| 174 | - |8415 |2880 | 0 | 0 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1098.59/1098.84 c 1099s| 36200 | 2425 | 2078k| 57.1 | 72M| 174 | 88 |8415 |2890 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1100.29/1100.57 c 1101s| 36300 | 2425 | 2082k| 57.0 | 72M| 174 | 69 |8415 |2912 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1104.79/1105.03 c 1105s| 36400 | 2456 | 2089k| 57.1 | 72M| 174 | - |8415 |2892 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1107.69/1107.95 c 1108s| 36500 | 2472 | 2096k| 57.1 | 72M| 174 | - |8415 |2920 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1110.19/1110.49 c 1110s| 36600 | 2469 | 2100k| 57.0 | 72M| 174 | - |8415 |2933 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1111.79/1112.02 c 1112s| 36700 | 2473 | 2102k| 57.0 | 72M| 174 | - |8415 |2938 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1113.68/1113.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.68/1113.97 c 1114s| 36800 | 2475 | 2105k| 56.9 | 72M| 174 | - |8415 |2940 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1116.89/1117.15 c 1117s| 36900 | 2489 | 2111k| 56.9 | 73M| 174 | 95 |8415 |2941 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1120.08/1120.37 c 1120s| 37000 | 2521 | 2117k| 56.9 | 73M| 174 | 73 |8415 |2976 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1122.89/1123.15 c 1123s| 37100 | 2550 | 2123k| 56.9 | 73M| 174 | - |8415 |2987 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1126.09/1126.31 c 1126s| 37200 | 2568 | 2128k| 56.9 | 73M| 174 | 90 |8415 |2988 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1129.38/1129.63 c 1130s| 37300 | 2578 | 2135k| 56.9 | 73M| 174 | 82 |8415 |3020 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1132.78/1133.07 c 1133s| 37400 | 2588 | 2143k| 57.0 | 73M| 174 | 85 |8415 |3004 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1135.68/1135.94 c 1136s| 37500 | 2610 | 2149k| 57.0 | 73M| 174 | - |8415 |3001 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1138.88/1139.19 c 1139s| 37600 | 2625 | 2155k| 57.0 | 73M| 174 | 76 |8415 |3022 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1143.18/1143.42 c 1143s| 37700 | 2637 | 2162k| 57.0 | 73M| 174 | - |8415 |3043 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1147.18/1147.41 c 1147s| 37800 | 2645 | 2172k| 57.1 | 73M| 174 | 82 |8415 |3032 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1149.98/1150.27 c 1150s| 37900 | 2653 | 2179k| 57.2 | 73M| 174 | 74 |8415 |3000 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1153.08/1153.37 c 1153s| 38000 | 2659 | 2187k| 57.2 | 74M| 174 | - |8415 |3002 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1157.07/1157.36 c 1157s| 38100 | 2669 | 2197k| 57.3 | 74M| 174 | 76 |8415 |2994 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1161.88/1162.12 c 1162s| 38200 | 2669 | 2204k| 57.4 | 73M| 174 | 56 |8415 |2968 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1163.08/1163.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.08/1163.30 c 1163s| 38300 | 2668 | 2205k| 57.3 | 73M| 174 | 67 |8415 |2967 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1165.97/1166.22 c 1166s| 38400 | 2662 | 2209k| 57.2 | 73M| 174 | 65 |8415 |2943 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1167.78/1168.04 c 1168s| 38500 | 2653 | 2214k| 57.2 | 73M| 174 | - |8415 |2946 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1171.28/1171.56 c 1172s| 38600 | 2666 | 2221k| 57.2 | 74M| 174 | - |8415 |3135 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1172.97/1173.23 c 1173s| 38700 | 2668 | 2226k| 57.2 | 74M| 174 | 65 |8415 |3142 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1174.48/1174.75 c 1175s| 38800 | 2670 | 2229k| 57.1 | 74M| 174 | 78 |8415 |3176 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1180.28/1180.57 c 1181s| 38900 | 2691 | 2236k| 57.2 | 74M| 174 | 84 |8415 |3121 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1183.07/1183.38 c 1183s| 39000 | 2713 | 2244k| 57.2 | 74M| 174 | 80 |8415 |3057 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1185.67/1185.93 c 1186s| 39100 | 2710 | 2248k| 57.2 | 74M| 174 | - |8415 |3074 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1188.97/1189.23 c 1189s| 39200 | 2721 | 2256k| 57.2 | 74M| 174 | 88 |8415 |3055 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1191.48/1191.78 c 1192s| 39300 | 2729 | 2263k| 57.3 | 74M| 174 | 79 |8415 |2963 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1193.67/1193.92 c 1194s| 39400 | 2741 | 2267k| 57.2 | 74M| 174 | 63 |8415 |2971 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1196.17/1196.43 c 1196s| 39500 | 2751 | 2272k| 57.2 | 74M| 174 | - |8415 |2962 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1197.27/1197.55 c 1198s| 39600 | 2758 | 2274k| 57.1 | 74M| 174 | 67 |8415 |2961 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1198.47/1198.76 c 1199s| 39700 | 2760 | 2276k| 57.0 | 74M| 174 | 70 |8415 |2963 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1199.67/1199.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.67/1199.95 c 1200s| 39800 | 2764 | 2278k| 56.9 | 74M| 174 | 63 |8415 |2978 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1202.67/1202.93 c 1203s| 39900 | 2775 | 2283k| 56.9 | 74M| 174 | 67 |8415 |2950 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1204.97/1205.20 c 1205s| 40000 | 2786 | 2289k| 56.9 | 74M| 174 | 56 |8415 |2911 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1207.07/1207.37 c 1207s| 40100 | 2809 | 2294k| 56.9 | 75M| 174 | 69 |8415 |3010 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1209.47/1209.77 c 1210s| 40200 | 2830 | 2300k| 56.9 | 75M| 174 | 64 |8415 |3030 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1212.57/1212.88 c 1213s| 40300 | 2846 | 2307k| 56.9 | 75M| 174 | 76 |8415 |3101 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1215.57/1215.90 c 1216s| 40400 | 2864 | 2314k| 57.0 | 75M| 174 | 84 |8415 |3037 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1219.07/1219.39 c 1219s| 40500 | 2866 | 2323k| 57.1 | 75M| 174 | - |8415 |2976 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1221.57/1221.82 c 1222s| 40600 | 2872 | 2329k| 57.1 | 75M| 174 | - |8415 |2991 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1225.07/1225.36 c 1225s| 40700 | 2880 | 2339k| 57.2 | 75M| 174 | 84 |8415 |2979 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1227.38/1227.69 c 1228s| 40800 | 2878 | 2344k| 57.2 | 75M| 174 | 74 |8415 |2999 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1233.57/1233.81 c 1234s| 40900 | 2898 | 2351k| 57.2 | 75M| 174 | - |8415 |2963 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1235.66/1235.94 c 1236s| 41000 | 2892 | 2355k| 57.1 | 75M| 174 | - |8415 |2926 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1238.56/1238.87 c 1239s| 41100 | 2902 | 2360k| 57.1 | 75M| 174 | - |8415 |3003 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1241.96/1242.21 c 1242s| 41200 | 2902 | 2367k| 57.1 | 75M| 174 | 69 |8415 |3011 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1244.66/1244.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.66/1244.94 c 1245s| 41300 | 2907 | 2373k| 57.2 | 75M| 174 | 78 |8415 |2991 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1246.36/1246.61 c 1247s| 41400 | 2907 | 2376k| 57.1 | 75M| 174 | 74 |8415 |2978 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1247.97/1248.22 c 1248s| 41500 | 2915 | 2379k| 57.0 | 75M| 174 | - |8415 |2967 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1249.77/1250.01 c 1250s| 41600 | 2921 | 2383k| 57.0 | 75M| 174 | 68 |8415 |2980 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1251.07/1251.37 c 1251s| 41700 | 2927 | 2385k| 56.9 | 75M| 174 | - |8415 |2994 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1252.46/1252.70 c 1253s| 41800 | 2929 | 2387k| 56.8 | 75M| 174 | 62 |8415 |2994 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1254.77/1255.01 c 1255s| 41900 | 2929 | 2392k| 56.8 | 75M| 174 | - |8415 |2983 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1256.56/1256.83 c 1257s| 42000 | 2935 | 2396k| 56.7 | 75M| 174 | 79 |8415 |2985 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1258.96/1259.23 c 1259s| 42100 | 2960 | 2400k| 56.7 | 76M| 174 | - |8415 |3035 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1261.76/1262.09 c 1262s| 42200 | 2986 | 2407k| 56.7 | 76M| 174 | - |8415 |3013 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1264.26/1264.51 c 1265s| 42300 | 2993 | 2413k| 56.8 | 76M| 174 | 67 |8415 |3044 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1266.56/1266.82 c 1267s| 42400 | 3006 | 2419k| 56.8 | 76M| 174 | 70 |8415 |3037 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1268.66/1268.97 c 1269s| 42500 | 3007 | 2425k| 56.8 | 76M| 174 | - |8415 |2983 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1271.16/1271.48 c 1271s| 42600 | 3011 | 2431k| 56.8 | 76M| 174 | - |8415 |3013 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1274.86/1275.18 c 1275s| 42700 | 3013 | 2438k| 56.8 | 76M| 174 | 82 |8415 |2974 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1277.46/1277.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.46/1277.78 c 1278s| 42800 | 3025 | 2445k| 56.9 | 76M| 174 | 71 |8415 |2989 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1279.46/1279.70 c 1280s| 42900 | 3035 | 2450k| 56.8 | 76M| 174 | - |8415 |2994 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1281.27/1281.56 c 1282s| 43000 | 3031 | 2453k| 56.8 | 76M| 174 | - |8415 |2988 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1285.46/1285.79 c 1286s| 43100 | 3037 | 2465k| 56.9 | 76M| 174 | 72 |8415 |2972 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1289.06/1289.30 c 1289s| 43200 | 3040 | 2471k| 56.9 | 76M| 174 | - |8415 |2986 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1292.36/1292.63 c 1293s| 43300 | 3048 | 2477k| 56.9 | 76M| 174 | - |8415 |2893 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1296.16/1296.47 c 1296s| 43400 | 3072 | 2482k| 56.9 | 76M| 174 | 83 |8415 |2891 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1298.15/1298.44 c 1298s| 43500 | 3072 | 2486k| 56.9 | 76M| 174 | 80 |8415 |2921 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1300.46/1300.77 c 1301s| 43600 | 3067 | 2491k| 56.9 | 76M| 174 | - |8415 |2940 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1303.46/1303.73 c 1304s| 43700 | 3083 | 2497k| 56.9 | 76M| 174 | 72 |8415 |2883 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1306.75/1307.08 c 1307s| 43800 | 3100 | 2504k| 56.9 | 76M| 174 | - |8415 |2914 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1309.96/1310.23 c 1310s| 43900 | 3104 | 2511k| 56.9 | 76M| 174 | - |8415 |2887 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1311.75/1312.08 c 1312s| 44000 | 3101 | 2514k| 56.9 | 76M| 174 | - |8415 |2858 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1314.26/1314.55 c 1315s| 44100 | 3107 | 2520k| 56.9 | 76M| 174 | 84 |8415 |2846 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1319.25/1319.54 c 1320s| 44200 | 3137 | 2532k| 57.0 | 76M| 174 | 65 |8415 |2861 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1321.45/1321.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.45/1321.79 c 1322s| 44300 | 3137 | 2538k| 57.0 | 76M| 174 | 79 |8415 |2861 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1323.06/1323.33 c 1323s| 44400 | 3139 | 2541k| 57.0 | 76M| 174 | - |8415 |2859 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1325.55/1325.81 c 1326s| 44500 | 3143 | 2546k| 56.9 | 76M| 174 | 73 |8415 |2879 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1327.65/1327.91 c 1328s| 44600 | 3143 | 2551k| 56.9 | 76M| 174 | - |8415 |2853 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1330.15/1330.41 c 1330s| 44700 | 3149 | 2556k| 56.9 | 76M| 174 | 93 |8415 |2899 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1332.65/1332.93 c 1333s| 44800 | 3176 | 2563k| 56.9 | 77M| 174 | 85 |8415 |2882 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1334.25/1334.58 c 1335s| 44900 | 3188 | 2567k| 56.9 | 77M| 174 | - |8415 |2898 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1336.15/1336.47 c 1336s| 45000 | 3196 | 2572k| 56.9 | 77M| 174 | 101 |8415 |2955 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1338.15/1338.43 c 1338s| 45100 | 3205 | 2576k| 56.8 | 77M| 174 | 72 |8415 |2916 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1340.85/1341.10 c 1341s| 45200 | 3205 | 2583k| 56.9 | 77M| 174 | 90 |8415 |2897 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1343.25/1343.54 c 1344s| 45300 | 3207 | 2589k| 56.9 | 77M| 174 | - |8415 |2895 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1346.35/1346.69 c 1347s| 45400 | 3213 | 2595k| 56.9 | 77M| 174 | 82 |8415 |2917 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1349.25/1349.55 c 1350s| 45500 | 3215 | 2601k| 56.9 | 77M| 174 | - |8415 |2956 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1351.35/1351.65 c 1352s| 45600 | 3221 | 2606k| 56.9 | 77M| 174 | 56 |8415 |2950 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1353.25/1353.54 c 1354s| 45700 | 3217 | 2609k| 56.8 | 77M| 174 | 68 |8415 |2949 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1354.54/1354.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.54/1354.89 c 1355s| 45800 | 3223 | 2611k| 56.7 | 77M| 174 | 83 |8415 |2928 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1357.15/1357.48 c 1357s| 45900 | 3224 | 2617k| 56.8 | 77M| 174 | - |8415 |2921 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1358.55/1358.88 c 1359s| 46000 | 3228 | 2620k| 56.7 | 77M| 174 | - |8415 |2936 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1360.15/1360.48 c 1360s| 46100 | 3228 | 2622k| 56.6 | 77M| 174 | - |8415 |2977 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1362.04/1362.31 c 1362s| 46200 | 3234 | 2626k| 56.6 | 78M| 174 | 80 |8415 |3026 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1364.24/1364.53 c 1365s| 46300 | 3235 | 2632k| 56.6 | 78M| 174 | 67 |8415 |2999 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1366.55/1366.80 c 1367s| 46400 | 3250 | 2638k| 56.6 | 78M| 174 | - |8415 |2971 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1369.54/1369.80 c 1370s| 46500 | 3266 | 2644k| 56.6 | 78M| 174 | 78 |8415 |2986 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1371.94/1372.25 c 1372s| 46600 | 3270 | 2648k| 56.6 | 78M| 174 | 65 |8415 |3004 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1373.55/1373.84 c 1374s| 46700 | 3276 | 2652k| 56.5 | 78M| 174 | 69 |8415 |2977 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1375.14/1375.48 c 1375s| 46800 | 3281 | 2655k| 56.5 | 78M| 174 | - |8415 |2972 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1377.95/1378.29 c 1378s| 46900 | 3289 | 2660k| 56.5 | 78M| 174 | - |8415 |2995 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1381.14/1381.40 c 1381s| 47000 | 3289 | 2667k| 56.5 | 78M| 174 | 73 |8415 |2997 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1383.55/1383.80 c 1384s| 47100 | 3295 | 2673k| 56.5 | 78M| 174 | 74 |8415 |3008 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1386.84/1387.20 c 1387s| 47200 | 3306 | 2680k| 56.5 | 78M| 174 | 77 |8415 |3062 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1389.04/1389.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.04/1389.32 c 1389s| 47300 | 3313 | 2685k| 56.5 | 78M| 174 | 72 |8415 |3052 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1391.25/1391.52 c 1392s| 47400 | 3326 | 2691k| 56.5 | 78M| 174 | 89 |8415 |3028 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1401.83/1402.15 c 1402s| 47500 | 3343 | 2706k| 56.7 | 78M| 174 | - |8415 |2920 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1404.34/1404.64 c 1405s| 47600 | 3358 | 2709k| 56.7 | 78M| 174 | 90 |8415 |2810 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1406.54/1406.85 c 1407s| 47700 | 3367 | 2716k| 56.7 | 78M| 174 | 94 |8415 |2841 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1408.94/1409.21 c 1409s| 47800 | 3377 | 2722k| 56.7 | 78M| 174 | - |8415 |2839 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1415.14/1415.49 c 1415s| 47900 | 3407 | 2729k| 56.7 | 78M| 174 | 92 |8415 |2800 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1419.03/1419.32 c 1419s| 48000 | 3407 | 2738k| 56.8 | 78M| 174 | - |8415 |2818 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1420.43/1420.75 c 1421s| 48100 | 3413 | 2741k| 56.7 | 78M| 174 | - |8415 |2874 | 0 | 0 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1422.53/1422.82 c 1423s| 48200 | 3428 | 2747k| 56.7 | 78M| 174 | 71 |8415 |2892 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1425.53/1425.83 c 1426s| 48300 | 3446 | 2756k| 56.8 | 78M| 174 | 82 |8415 |2884 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1427.93/1428.29 c 1428s| 48400 | 3458 | 2763k| 56.8 | 78M| 174 | - |8415 |2865 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1431.94/1432.24 c 1432s| 48500 | 3468 | 2772k| 56.9 | 79M| 174 | - |8415 |2882 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1434.83/1435.17 c 1435s| 48600 | 3468 | 2779k| 56.9 | 79M| 174 | - |8415 |2893 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1437.33/1437.65 c 1438s| 48700 | 3495 | 2786k| 57.0 | 79M| 174 | - |8415 |2807 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1439.83/1440.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.83/1440.17 c 1440s| 48800 | 3519 | 2793k| 57.0 | 79M| 174 | - |8415 |2813 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1442.73/1443.01 c 1443s| 48900 | 3529 | 2801k| 57.0 | 79M| 174 | 79 |8415 |2821 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1445.73/1446.00 c 1446s| 49000 | 3539 | 2811k| 57.1 | 79M| 174 | 83 |8415 |2855 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1448.44/1448.71 c 1449s| 49100 | 3555 | 2818k| 57.1 | 79M| 174 | 71 |8415 |2820 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1450.64/1450.98 c 1451s| 49200 | 3577 | 2824k| 57.2 | 79M| 174 | 98 |8415 |2847 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1453.23/1453.53 c 1454s| 49300 | 3593 | 2831k| 57.2 | 79M| 174 | - |8415 |2860 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1455.33/1455.67 c 1456s| 49400 | 3611 | 2837k| 57.2 | 79M| 174 | 71 |8415 |2830 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1457.63/1457.95 c 1458s| 49500 | 3621 | 2843k| 57.2 | 80M| 174 | 84 |8415 |2875 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1460.23/1460.60 c 1461s| 49600 | 3637 | 2851k| 57.2 | 80M| 174 | 74 |8415 |2879 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1462.92/1463.26 c 1463s| 49700 | 3661 | 2859k| 57.3 | 80M| 174 | 71 |8415 |2886 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1465.23/1465.58 c 1466s| 49800 | 3687 | 2865k| 57.3 | 80M| 174 | 84 |8415 |2839 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1467.73/1468.01 c 1468s| 49900 | 3707 | 2872k| 57.3 | 80M| 174 | 95 |8415 |2841 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1469.82/1470.19 c 1470s| 50000 | 3723 | 2879k| 57.3 | 80M| 174 | 60 |8415 |2844 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1473.12/1473.42 c 1473s| 50100 | 3731 | 2888k| 57.4 | 80M| 174 | - |8415 |2844 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1476.02/1476.30 c 1476s| 50200 | 3749 | 2896k| 57.5 | 80M| 174 | - |8415 |2872 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1479.32/1479.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.32/1479.69 c 1480s| 50300 | 3771 | 2904k| 57.5 | 80M| 174 | - |8415 |2873 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1482.32/1482.64 c 1483s| 50400 | 3789 | 2910k| 57.5 | 80M| 174 | 106 |8415 |2906 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1485.63/1485.91 c 1486s| 50500 | 3801 | 2917k| 57.5 | 80M| 174 | - |8415 |2894 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1489.02/1489.34 c 1489s| 50600 | 3817 | 2925k| 57.6 | 81M| 174 | - |8415 |2899 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1492.02/1492.32 c 1492s| 50700 | 3827 | 2931k| 57.6 | 81M| 174 | - |8415 |2901 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1496.42/1496.72 c 1497s| 50800 | 3845 | 2940k| 57.6 | 81M| 174 | - |8415 |2922 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1499.52/1499.82 c 1500s| 50900 | 3865 | 2948k| 57.7 | 81M| 174 | - |8415 |2901 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1503.22/1503.57 c 1504s| 51000 | 3886 | 2956k| 57.7 | 81M| 174 | - |8415 |2954 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1507.12/1507.49 c 1507s| 51100 | 3908 | 2964k| 57.8 | 81M| 174 | - |8415 |2973 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1510.72/1511.08 c 1511s| 51200 | 3926 | 2972k| 57.8 | 81M| 174 | 71 |8415 |2922 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1514.72/1515.01 c 1515s| 51300 | 3928 | 2981k| 57.9 | 81M| 174 | - |8415 |2947 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1517.82/1518.18 c 1518s| 51400 | 3954 | 2988k| 57.9 | 81M| 174 | - |8415 |2948 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1521.21/1521.50 c 1522s| 51500 | 3984 | 2995k| 57.9 | 82M| 174 | - |8415 |2969 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1523.71/1524.08 c 1524s| 51600 | 4006 | 3000k| 57.9 | 82M| 174 | 94 |8415 |2977 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1527.01/1527.39 c 1527s| 51700 | 4025 | 3008k| 57.9 | 82M| 174 | 66 |8415 |2992 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1531.12/1531.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.12/1531.41 c 1531s| 51800 | 4033 | 3017k| 58.0 | 82M| 174 | 89 |8415 |3012 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1534.51/1534.88 c 1535s| 51900 | 4051 | 3023k| 58.0 | 82M| 174 | 78 |8415 |2995 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1538.21/1538.56 c 1539s| 52000 | 4069 | 3030k| 58.0 | 82M| 174 | 84 |8415 |2899 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1540.81/1541.13 c 1541s| 52100 | 4098 | 3036k| 58.0 | 82M| 174 | 82 |8415 |2910 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1543.81/1544.14 c 1544s| 52200 | 4134 | 3042k| 58.0 | 82M| 174 | 84 |8415 |2930 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1547.21/1547.51 c 1548s| 52300 | 4158 | 3051k| 58.1 | 82M| 174 | 87 |8415 |2940 |8415 | 826 | 222 | 20k| 20k| 9.000000e+00 | -- | Inf
1550.01/1550.37 c 1550s| 52400 | 4178 | 3059k| 58.1 | 82M| 174 | 69 |8415 |2957 |8415 | 826 | 222 | 20k| 20k| 9.000000e+00 | -- | Inf
1553.61/1553.98 c 1554s| 52500 | 4194 | 3068k| 58.2 | 83M| 174 | - |8415 |2973 |8415 | 826 | 222 | 20k| 20k| 9.000000e+00 | -- | Inf
1557.31/1557.67 c 1558s| 52600 | 4216 | 3077k| 58.3 | 83M| 174 | 73 |8415 |2989 |8415 | 826 | 222 | 20k| 20k| 9.000000e+00 | -- | Inf
1560.11/1560.44 c 1560s| 52700 | 4234 | 3084k| 58.3 | 83M| 174 | - |8415 |3031 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1563.31/1563.67 c 1564s| 52800 | 4238 | 3093k| 58.4 | 83M| 174 | 68 |8415 |3020 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1567.21/1567.56 c 1568s| 52900 | 4246 | 3104k| 58.4 | 83M| 174 | - |8415 |3036 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1570.31/1570.65 c 1571s| 53000 | 4258 | 3113k| 58.5 | 83M| 174 | 73 |8415 |3036 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1573.60/1573.92 c 1574s| 53100 | 4274 | 3123k| 58.6 | 83M| 174 | - |8415 |3015 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1576.70/1577.03 c 1577s| 53200 | 4288 | 3131k| 58.6 | 83M| 174 | 74 |8415 |3016 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1578.80/1579.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1578.80/1579.14 c 1579s| 53300 | 4308 | 3137k| 58.6 | 83M| 174 | 74 |8415 |2967 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1581.71/1582.01 c 1582s| 53400 | 4322 | 3144k| 58.6 | 83M| 174 | - |8415 |2981 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1585.10/1585.48 c 1585s| 53500 | 4346 | 3152k| 58.7 | 83M| 174 | 77 |8415 |2988 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1588.90/1589.29 c 1589s| 53600 | 4358 | 3160k| 58.7 | 84M| 174 | 89 |8415 |3029 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1591.71/1592.03 c 1592s| 53700 | 4376 | 3167k| 58.7 | 84M| 174 | - |8415 |2975 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1594.61/1594.96 c 1595s| 53800 | 4404 | 3174k| 58.8 | 84M| 174 | 81 |8415 |2996 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1597.70/1598.09 c 1598s| 53900 | 4410 | 3183k| 58.8 | 84M| 174 | 77 |8415 |2982 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1600.91/1601.27 c 1601s| 54000 | 4419 | 3191k| 58.9 | 84M| 174 | 70 |8415 |3018 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1604.40/1604.70 c 1605s| 54100 | 4435 | 3199k| 58.9 | 84M| 174 | 81 |8415 |2980 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1606.60/1606.92 c 1607s| 54200 | 4454 | 3204k| 58.9 | 84M| 174 | - |8415 |3051 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1608.91/1609.24 c 1609s| 54300 | 4480 | 3209k| 58.9 | 84M| 174 | 90 |8415 |3063 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1612.10/1612.41 c 1612s| 54400 | 4498 | 3217k| 58.9 | 84M| 174 | - |8415 |3078 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1615.20/1615.59 c 1616s| 54500 | 4510 | 3224k| 58.9 | 84M| 174 | 63 |8415 |3027 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1618.40/1618.78 c 1619s| 54600 | 4518 | 3233k| 59.0 | 84M| 174 | - |8415 |2954 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1621.20/1621.54 c 1622s| 54700 | 4534 | 3240k| 59.0 | 84M| 174 | 82 |8415 |2915 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1625.19/1625.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.19/1625.55 c 1626s| 54800 | 4548 | 3250k| 59.1 | 84M| 174 | - |8415 |2882 |8415 | 826 | 222 | 22k| 20k| 9.000000e+00 | -- | Inf
1628.60/1628.99 c 1629s| 54900 | 4556 | 3260k| 59.2 | 84M| 174 | 68 |8415 |2871 |8415 | 826 | 222 | 22k| 20k| 9.000000e+00 | -- | Inf
1631.80/1632.15 c 1632s| 55000 | 4572 | 3269k| 59.2 | 84M| 174 | 72 |8415 |2871 |8415 | 826 | 222 | 22k| 20k| 9.000000e+00 | -- | Inf
1634.60/1634.94 c 1635s| 55100 | 4583 | 3276k| 59.2 | 85M| 174 | 75 |8415 |2889 |8415 | 826 | 222 | 22k| 20k| 9.000000e+00 | -- | Inf
1640.30/1640.64 c 1641s| 55200 | 4591 | 3282k| 59.2 | 85M| 174 | 76 |8415 |2905 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1643.40/1643.73 c 1644s| 55300 | 4601 | 3291k| 59.3 | 85M| 174 | 64 |8415 |2871 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1646.40/1646.72 c 1647s| 55400 | 4615 | 3300k| 59.4 | 85M| 174 | - |8415 |2878 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1648.70/1649.06 c 1649s| 55500 | 4627 | 3306k| 59.4 | 85M| 174 | 75 |8415 |2887 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1652.59/1652.92 c 1653s| 55600 | 4632 | 3313k| 59.4 | 85M| 174 | 74 |8415 |2959 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1658.99/1659.33 c 1659s| 55700 | 4641 | 3318k| 59.4 | 85M| 174 | 65 |8415 |2931 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1661.80/1662.16 c 1662s| 55800 | 4657 | 3325k| 59.4 | 85M| 174 | - |8415 |2906 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1664.49/1664.89 c 1665s| 55900 | 4668 | 3329k| 59.3 | 85M| 174 | 89 |8415 |2898 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1667.59/1667.93 c 1668s| 56000 | 4688 | 3337k| 59.4 | 85M| 174 | 87 |8415 |2905 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1670.60/1670.91 c 1671s| 56100 | 4692 | 3344k| 59.4 | 85M| 174 | - |8415 |2898 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1672.40/1672.70 c 1673s| 56200 | 4694 | 3346k| 59.3 | 86M| 174 | 75 |8415 |2970 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1677.89/1678.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.89/1678.22 c 1678s| 56300 | 4709 | 3352k| 59.3 | 85M| 174 | 85 |8415 |2863 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1680.19/1680.59 c 1681s| 56400 | 4716 | 3358k| 59.3 | 85M| 174 | 76 |8415 |2877 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1682.89/1683.25 c 1683s| 56500 | 4722 | 3363k| 59.3 | 85M| 174 | 71 |8415 |2889 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1688.20/1688.55 c 1689s| 56600 | 4732 | 3369k| 59.3 | 85M| 174 | - |8415 |2858 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1703.98/1704.38 c 1704s| 56700 | 4759 | 3399k| 59.7 | 85M| 174 | - |8415 |2772 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1706.49/1706.84 c 1707s| 56800 | 4771 | 3405k| 59.7 | 86M| 174 | - |8415 |2827 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1709.69/1710.06 c 1710s| 56900 | 4783 | 3412k| 59.8 | 86M| 174 | 104 |8415 |2824 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1712.58/1712.90 c 1713s| 57000 | 4786 | 3419k| 59.8 | 86M| 174 | - |8415 |2871 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1715.99/1716.32 c 1716s| 57100 | 4788 | 3425k| 59.8 | 86M| 174 | 94 |8415 |2854 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1719.49/1719.80 c 1720s| 57200 | 4798 | 3434k| 59.8 | 86M| 174 | - |8415 |2860 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1723.29/1723.63 c 1724s| 57300 | 4795 | 3442k| 59.9 | 86M| 174 | - |8415 |2846 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1725.49/1725.88 c 1726s| 57400 | 4818 | 3449k| 59.9 | 86M| 174 | - |8415 |2827 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1727.08/1727.47 c 1727s| 57500 | 4824 | 3452k| 59.8 | 86M| 174 | - |8415 |2860 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1729.78/1730.11 c 1730s| 57600 | 4833 | 3458k| 59.8 | 86M| 174 | - |8415 |2826 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1732.89/1733.28 c 1733s| 57700 | 4844 | 3465k| 59.8 | 86M| 174 | - |8415 |2814 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1735.58/1735.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.58/1735.97 c 1736s| 57800 | 4860 | 3472k| 59.9 | 86M| 174 | - |8415 |2831 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1742.98/1743.30 c 1743s| 57900 | 4874 | 3480k| 59.9 | 86M| 174 | 121 |8415 |2774 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1745.39/1745.72 c 1746s| 58000 | 4884 | 3486k| 59.9 | 86M| 174 | - |8415 |2771 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1748.48/1748.89 c 1749s| 58100 | 4896 | 3494k| 59.9 | 86M| 174 | - |8415 |2765 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1751.08/1751.46 c 1751s| 58200 | 4909 | 3502k| 60.0 | 86M| 174 | 90 |8415 |2800 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1752.99/1753.39 c 1753s| 58300 | 4917 | 3507k| 59.9 | 86M| 174 | - |8415 |2797 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1754.98/1755.39 c 1755s| 58400 | 4925 | 3512k| 59.9 | 86M| 174 | - |8415 |2790 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1756.78/1757.10 c 1757s| 58500 | 4944 | 3517k| 59.9 | 86M| 174 | - |8415 |2796 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1759.28/1759.60 c 1760s| 58600 | 4946 | 3524k| 59.9 | 86M| 174 | - |8415 |2795 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1761.18/1761.58 c 1762s| 58700 | 4948 | 3530k| 59.9 | 86M| 174 | 68 |8415 |2803 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1763.77/1764.15 c 1764s| 58800 | 4944 | 3537k| 60.0 | 86M| 174 | 70 |8415 |2790 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1781.47/1781.84 c 1782s| 58900 | 4966 | 3565k| 60.3 | 87M| 174 | 75 |8415 |2779 |8415 | 826 | 222 | 23k| 23k| 9.000000e+00 | -- | Inf
1783.88/1784.27 c 1784s| 59000 | 4966 | 3572k| 60.3 | 87M| 174 | 75 |8415 |2751 |8415 | 826 | 222 | 23k| 23k| 9.000000e+00 | -- | Inf
1786.38/1786.76 c 1787s| 59100 | 4976 | 3579k| 60.4 | 87M| 174 | - |8415 |2757 |8415 | 826 | 222 | 23k| 23k| 9.000000e+00 | -- | Inf
1789.38/1789.78 c 1790s| 59200 | 4976 | 3586k| 60.4 | 87M| 174 | 65 |8415 |2757 |8415 | 826 | 222 | 23k| 23k| 9.000000e+00 | -- | Inf
1792.37/1792.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.37/1792.78 c 1793s| 59300 | 4982 | 3593k| 60.4 | 87M| 174 | - |8415 |2756 |8415 | 826 | 222 | 23k| 23k| 9.000000e+00 | -- | Inf
1793.98/1794.34 c 1794s| 59400 | 4983 | 3596k| 60.3 | 87M| 174 | - |8415 |2751 |8415 | 826 | 222 | 23k| 23k| 9.000000e+00 | -- | Inf
1796.18/1796.56 c 1797s| 59500 | 4997 | 3602k| 60.3 | 87M| 174 | 79 |8415 |2769 |8415 | 826 | 222 | 23k| 23k| 9.000000e+00 | -- | Inf
1796.67/1797.01 c
1796.67/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.01 c Solving Time (sec) : 1797.01
1796.67/1797.01 c Solving Nodes : 59525
1796.67/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.67/1797.01 c Dual Bound : +9.00000000000000e+00
1796.67/1797.01 c Gap : infinite
1796.67/1797.01 s UNKNOWN
1796.67/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.01 c Total Time : 1797.01
1796.67/1797.01 c solving : 1797.01
1796.67/1797.01 c presolving : 0.55 (included in solving)
1796.67/1797.01 c reading : 0.05 (included in solving)
1796.67/1797.01 c copying : 0.05 (2 #copies) (minimal 0.02, maximal 0.03, average 0.03)
1796.67/1797.01 c Original Problem :
1796.67/1797.01 c Problem name : HOME/instance-3692376-1338039055.opb
1796.67/1797.01 c Variables : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.01 c Constraints : 9089 initial, 9089 maximal
1796.67/1797.01 c Objective sense : minimize
1796.67/1797.01 c Presolved Problem :
1796.67/1797.01 c Problem name : t_HOME/instance-3692376-1338039055.opb
1796.67/1797.01 c Variables : 8415 (8415 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.01 c Constraints : 673 initial, 3417 maximal
1796.67/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c probing : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c knapsack : 0.33 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c linear : 0.11 0.01 9 0 0 9 0 8416 0 0 0
1796.67/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c root node : - - 0 - - 0 - - - - -
1796.67/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.67/1797.01 c integral : 0 0 0 0 35854 0 4 0 58 6422 0 0 64908
1796.67/1797.01 c knapsack : 576 576 6 174371 0 1 3 3606340 405 3617447 1203 0 0
1796.67/1797.01 c setppc : 97 97 6 173966 0 1 2 911797 115 803039 0 0 0
1796.67/1797.01 c linear : 0+ 1309 6 1145 0 0 0 0 0 0 0 0 0
1796.67/1797.01 c logicor : 0+ 1435 6 51135 0 0 0 39807 490 11944 0 0 0
1796.67/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.67/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.67/1797.01 c integral : 411.81 0.00 0.00 0.00 411.81 0.00 0.00 0.00
1796.67/1797.01 c knapsack : 19.01 0.00 0.03 14.20 0.00 0.00 0.00 4.79
1796.67/1797.01 c setppc : 3.62 0.00 0.00 1.75 0.00 0.00 0.00 1.87
1796.67/1797.01 c linear : 0.03 0.01 0.01 0.01 0.00 0.00 0.00 0.00
1796.67/1797.01 c logicor : 2.51 0.00 0.00 2.13 0.00 0.00 0.00 0.38
1796.67/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.67/1797.01 c rootredcost : 0 0 0 0
1796.67/1797.01 c pseudoobj : 0 0 0 0
1796.67/1797.01 c vbounds : 0 0 0 0
1796.67/1797.01 c redcost : 35860 0 0 0
1796.67/1797.01 c probing : 0 0 0 0
1796.67/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.67/1797.01 c rootredcost : 0.19 0.00 0.00 0.19 0.00
1796.67/1797.01 c pseudoobj : 0.20 0.00 0.00 0.20 0.00
1796.67/1797.01 c vbounds : 0.17 0.00 0.00 0.17 0.00
1796.67/1797.01 c redcost : 4.04 0.00 0.00 4.04 0.00
1796.67/1797.01 c probing : 0.06 0.00 0.06 0.00 0.00
1796.67/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.01 c propagation : 2.42 1010 1009 17808 289.7 5 83.0 -
1796.67/1797.01 c infeasible LP : 262.06 27236 3604 144142 589.2 7 35.0 0
1796.67/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.01 c applied globally : - - - 23795 396.4 - - -
1796.67/1797.01 c applied locally : - - - 0 0.0 - - -
1796.67/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.67/1797.01 c cut pool : 0.00 5 - - 1212 - (maximal pool size: 2375)
1796.67/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.67/1797.01 c impliedbounds : 0.00 0.00 6 0 0 0 0
1796.67/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.67/1797.01 c gomory : 0.03 0.00 6 0 0 43 0
1796.67/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.67/1797.01 c strongcg : 0.03 0.00 6 0 0 16 0
1796.67/1797.01 c cmir : 1.50 0.00 6 0 0 2704 0
1796.67/1797.01 c flowcover : 0.91 0.00 6 0 0 1201 0
1796.67/1797.01 c clique : 0.03 0.00 6 0 0 8 0
1796.67/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.67/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.67/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.67/1797.01 c rapidlearning : 2.42 0.00 1 0 0 0 1309
1796.67/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.67/1797.01 c problem variables: 0.00 - 0 0
1796.67/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.01 c relpscost : 411.68 0.00 35854 58 6422 0 0 64908
1796.67/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.67/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.67/1797.01 c LP solutions : 0.00 - - 0
1796.67/1797.01 c pseudo solutions : 0.00 - - 0
1796.67/1797.01 c oneopt : 0.11 0.00 0 0
1796.67/1797.01 c crossover : 0.07 0.00 0 0
1796.67/1797.01 c guideddiving : 0.01 0.00 0 0
1796.67/1797.01 c intshifting : 0.00 0.00 0 0
1796.67/1797.01 c objpscostdiving : 1.42 0.00 12 0
1796.67/1797.01 c rootsoldiving : 5.36 0.00 12 0
1796.67/1797.01 c coefdiving : 23.63 0.00 24 0
1796.67/1797.01 c pscostdiving : 30.88 0.00 24 0
1796.67/1797.01 c veclendiving : 17.05 0.00 24 0
1796.67/1797.01 c linesearchdiving : 36.55 0.00 24 0
1796.67/1797.01 c feaspump : 7.33 0.00 12 0
1796.67/1797.01 c fracdiving : 33.38 0.00 24 0
1796.67/1797.01 c smallcard : 0.00 0.00 0 0
1796.67/1797.01 c trivial : 0.01 0.00 2 0
1796.67/1797.01 c shiftandpropagate: 0.05 0.00 1 0
1796.67/1797.01 c simplerounding : 0.04 0.00 0 0
1796.67/1797.01 c zirounding : 1.39 0.00 0 0
1796.67/1797.01 c rounding : 0.33 0.00 2611 0
1796.67/1797.01 c shifting : 3.07 0.00 791 0
1796.67/1797.01 c twoopt : 0.00 0.00 0 0
1796.67/1797.01 c indoneopt : 0.14 0.00 0 0
1796.67/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.67/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.67/1797.01 c clique : 0.00 0.00 0 0
1796.67/1797.01 c indrounding : 0.00 0.00 0 0
1796.67/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.67/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.67/1797.01 c intdiving : 0.00 0.00 0 0
1796.67/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.67/1797.01 c octane : 0.00 0.00 0 0
1796.67/1797.01 c rens : 0.20 0.00 1 0
1796.67/1797.01 c rins : 0.00 0.00 0 0
1796.67/1797.01 c localbranching : 0.00 0.00 0 0
1796.67/1797.01 c mutation : 0.00 0.00 0 0
1796.67/1797.01 c dins : 0.00 0.00 0 0
1796.67/1797.01 c vbounds : 0.00 0.00 0 0
1796.67/1797.01 c undercover : 0.00 0.00 0 0
1796.67/1797.01 c subnlp : 0.06 0.00 0 0
1796.67/1797.01 c trysol : 0.10 0.00 0 0
1796.67/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.67/1797.01 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.67/1797.01 c dual LP : 888.37 62049 3165406 51.11 3563.15 0.18 117
1796.67/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.67/1797.01 c diving/probing LP: 127.10 19762 438757 22.20 3451.97
1796.67/1797.01 c strong branching : 409.26 23284 1178835 50.63 2880.39
1796.67/1797.01 c (at root node) : - 9 4448 494.22 -
1796.67/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.01 c B&B Tree :
1796.67/1797.01 c number of runs : 1
1796.67/1797.01 c nodes : 59525
1796.67/1797.01 c nodes (total) : 59525
1796.67/1797.01 c nodes left : 5001
1796.67/1797.01 c max depth : 174
1796.67/1797.01 c max depth (total): 174
1796.67/1797.01 c backtracks : 5443 (9.1%)
1796.67/1797.01 c delayed cutoffs : 385
1796.67/1797.01 c repropagations : 36247 (184678 domain reductions, 158 cutoffs)
1796.67/1797.01 c avg switch length: 5.75
1796.67/1797.01 c switching time : 16.94
1796.67/1797.01 c Solution :
1796.67/1797.01 c Solutions found : 0 (0 improvements)
1796.67/1797.01 c Primal Bound : -
1796.67/1797.01 c Dual Bound : +9.00000000000000e+00
1796.67/1797.01 c Gap : infinite
1796.67/1797.01 c Root Dual Bound : +9.00000000000000e+00
1796.67/1797.01 c Root Iterations : 12741
1796.67/1797.09 c Time complete: 1796.77.
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-3692376-1338039055/watcher-3692376-1338039055 -o /tmp/evaluation-result-3692376-1338039055/solver-3692376-1338039055 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692376-1338039055.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.01 2.00 3/179 1910
/proc/meminfo: memFree=28726116/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=12868 CPUtime=0 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 1971 0 0 0 0 0 0 0 20 0 1 0 270030878 13176832 1925 33554432000 4194304 10219143 140734593183616 140734442662600 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 3251 1933 421 1471 0 1771 0
[startup+0.051768 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1910
/proc/meminfo: memFree=28726116/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=25468 CPUtime=0.04 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 5100 0 0 0 3 1 0 0 20 0 1 0 270030878 26079232 5054 33554432000 4194304 10219143 140734593183616 140734442662600 7123469 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 6367 5054 421 1471 0 4887 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25468
[startup+0.100324 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1910
/proc/meminfo: memFree=28726116/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=50400 CPUtime=0.09 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 11123 0 0 0 7 2 0 0 20 0 1 0 270030878 51609600 11077 33554432000 4194304 10219143 140734593183616 140734442662600 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 12600 11077 551 1471 0 11120 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50400
[startup+0.30028 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1910
/proc/meminfo: memFree=28726116/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=60020 CPUtime=0.29 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 14032 0 0 0 22 7 0 0 20 0 1 0 270030878 61460480 13528 33554432000 4194304 10219143 140734593183616 140734442662600 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 15005 13528 591 1471 0 13525 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60020
[startup+0.700269 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1910
/proc/meminfo: memFree=28726116/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=90152 CPUtime=0.69 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 21536 0 0 0 60 9 0 0 20 0 1 0 270030878 92315648 20615 33554432000 4194304 10219143 140734593183616 140734442662600 8931056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 22538 20652 700 1471 0 21058 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90152
[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 1911
/proc/meminfo: memFree=28643384/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=97972 CPUtime=1.49 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 24465 0 0 0 138 11 0 0 20 0 1 0 270030878 100323328 23214 33554432000 4194304 10219143 140734593183616 140734593175144 7589947 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 24493 23221 809 1471 0 23013 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97972
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 1911
/proc/meminfo: memFree=28586452/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=152464 CPUtime=3.09 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 37623 0 0 0 263 46 0 0 20 0 1 0 270030878 156123136 36371 33554432000 4194304 10219143 140734593183616 140734593177720 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 38116 36371 820 1471 0 36636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152464
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 1911
/proc/meminfo: memFree=28576516/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=158716 CPUtime=6.29 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 39329 0 0 0 561 68 0 0 20 0 1 0 270030878 162525184 38028 33554432000 4194304 10219143 140734593183616 140734593178776 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 39679 38028 837 1471 0 38199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 158716
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1911
/proc/meminfo: memFree=28574556/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=158716 CPUtime=12.68 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 39824 0 0 0 1196 72 0 0 20 0 1 0 270030878 162525184 38523 33554432000 4194304 10219143 140734593183616 140734593177160 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 39679 38523 845 1471 0 38199 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 158716
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1911
/proc/meminfo: memFree=28574044/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=158716 CPUtime=25.48 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 39826 0 0 0 2471 77 0 0 20 0 1 0 270030878 162525184 38525 33554432000 4194304 10219143 140734593183616 140734593177112 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 39679 38525 845 1471 0 38199 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 158716
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1911
/proc/meminfo: memFree=28574080/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=158716 CPUtime=51.09 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 39844 0 0 0 5020 89 0 0 20 0 1 0 270030878 162525184 38543 33554432000 4194304 10219143 140734593183616 140734593177160 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 39679 38543 848 1471 0 38199 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 158716
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1911
/proc/meminfo: memFree=28572524/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=158716 CPUtime=102.28 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 39846 0 0 0 10099 129 0 0 20 0 1 0 270030878 162525184 38582 33554432000 4194304 10219143 140734593183616 140734593177528 4217825 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 39679 38582 848 1471 0 38199 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 158716
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 1911
/proc/meminfo: memFree=28572372/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=158716 CPUtime=162.24 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 39866 0 0 0 16034 190 0 0 20 0 1 0 270030878 162525184 38669 33554432000 4194304 10219143 140734593183616 140734593176968 4221044 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 39679 38669 848 1471 0 38199 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 158716
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 1911
/proc/meminfo: memFree=28572348/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=158716 CPUtime=222.23 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 39871 0 0 0 21971 252 0 0 20 0 1 0 270030878 162525184 38670 33554432000 4194304 10219143 140734593183616 140734593176968 4218467 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 39679 38670 848 1471 0 38199 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 158716
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 1911
/proc/meminfo: memFree=28566888/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=159924 CPUtime=282.22 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 40067 0 0 0 27905 317 0 0 20 0 1 0 270030878 163762176 38866 33554432000 4194304 10219143 140734593183616 140734593180200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 39981 38866 848 1471 0 38501 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 159924
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1912
/proc/meminfo: memFree=28563412/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=162556 CPUtime=342.21 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 41484 0 0 0 33848 373 0 0 20 0 1 0 270030878 166457344 39649 33554432000 4194304 10219143 140734593183616 140734593180200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 40639 39649 848 1471 0 39159 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 162556
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1912
/proc/meminfo: memFree=28557948/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=167824 CPUtime=402.2 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 42768 0 0 0 39777 443 0 0 20 0 1 0 270030878 171851776 40932 33554432000 4194304 10219143 140734593183616 140734593177160 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 41956 40932 848 1471 0 40476 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 167824
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1912
/proc/meminfo: memFree=28548708/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=169768 CPUtime=462.19 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 44642 0 0 0 45718 501 0 0 20 0 1 0 270030878 173842432 41386 33554432000 4194304 10219143 140734593183616 140734593177256 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 42442 41386 848 1471 0 40962 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 169768
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1912
/proc/meminfo: memFree=28552740/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=172860 CPUtime=522.18 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 45341 0 0 0 51667 551 0 0 20 0 1 0 270030878 177008640 42084 33554432000 4194304 10219143 140734593183616 140734593180200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 43215 42084 848 1471 0 41735 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 172860
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1915
/proc/meminfo: memFree=28544668/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=175536 CPUtime=582.17 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 46158 0 0 0 57608 609 0 0 20 0 1 0 270030878 179748864 42901 33554432000 4194304 10219143 140734593183616 140734593176920 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 43884 42901 848 1471 0 42404 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 175536
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28497008/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=191288 CPUtime=1122.09 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 54172 0 0 0 111057 1152 0 0 20 0 1 0 270030878 195878912 46714 33554432000 4194304 10219143 140734593183616 140734593176872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 47822 46714 848 1471 0 46342 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 191288
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1920
/proc/meminfo: memFree=28510588/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=192796 CPUtime=1182.07 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 54579 0 0 0 116980 1227 0 0 20 0 1 0 270030878 197423104 47124 33554432000 4194304 10219143 140734593183616 140734593177448 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 48199 47124 848 1471 0 46719 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 192796
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1921
/proc/meminfo: memFree=28507744/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=195432 CPUtime=1242.06 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 55328 0 0 0 122905 1301 0 0 20 0 1 0 270030878 200122368 47873 33554432000 4194304 10219143 140734593183616 140734593177448 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 48858 47873 848 1471 0 47378 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 195432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1921
/proc/meminfo: memFree=28505196/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=197508 CPUtime=1302.06 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 56370 0 0 0 128845 1361 0 0 20 0 1 0 270030878 202248192 48391 33554432000 4194304 10219143 140734593183616 140734593177448 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 49377 48391 848 1471 0 47897 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 197508
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1921
/proc/meminfo: memFree=28503460/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=199556 CPUtime=1362.04 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 56844 0 0 0 134766 1438 0 0 20 0 1 0 270030878 204345344 48865 33554432000 4194304 10219143 140734593183616 140734593176968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 49889 48865 848 1471 0 48409 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 199556
[startup+1422.31 s]
/proc/loadavg: 2.09 2.02 2.00 3/179 1959
/proc/meminfo: memFree=27792372/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=201068 CPUtime=1422.04 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 57254 0 0 0 140699 1505 0 0 20 0 1 0 270030878 205893632 49272 33554432000 4194304 10219143 140734593183616 140734593176968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 50267 49272 848 1471 0 48787 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 201068
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 1959
/proc/meminfo: memFree=27756288/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=204240 CPUtime=1482.03 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 57974 0 0 0 146636 1567 0 0 20 0 1 0 270030878 209141760 49992 33554432000 4194304 10219143 140734593183616 140734593177160 4218560 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 51060 49992 848 1471 0 49580 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 204240
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1960
/proc/meminfo: memFree=27730144/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=206072 CPUtime=1542.01 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 58453 0 0 0 152582 1619 0 0 20 0 1 0 270030878 211017728 50469 33554432000 4194304 10219143 140734593183616 140734593177256 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 51518 50469 848 1471 0 50038 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 206072
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1960
/proc/meminfo: memFree=27692984/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=207608 CPUtime=1602 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 58878 0 0 0 158526 1674 0 0 20 0 1 0 270030878 212590592 50894 33554432000 4194304 10219143 140734593183616 140734593176872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 51902 50894 848 1471 0 50422 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 207608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1960
/proc/meminfo: memFree=27643664/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=209392 CPUtime=1662 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 59364 0 0 0 164475 1725 0 0 20 0 1 0 270030878 214417408 51380 33554432000 4194304 10219143 140734593183616 140734593176920 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 52348 51380 848 1471 0 50868 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 209392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1960
/proc/meminfo: memFree=27593784/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=210640 CPUtime=1721.99 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 59655 0 0 0 170424 1775 0 0 20 0 1 0 270030878 215695360 51671 33554432000 4194304 10219143 140734593183616 140734593176968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 52660 51671 848 1471 0 51180 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 210640
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1963
/proc/meminfo: memFree=27537136/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=212008 CPUtime=1781.97 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 59976 0 0 0 176367 1830 0 0 20 0 1 0 270030878 217096192 51992 33554432000 4194304 10219143 140734593183616 140734593176968 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 53002 51992 848 1471 0 51522 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 212008
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1963
/proc/meminfo: memFree=27535136/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=212456 CPUtime=1785.17 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 60086 0 0 0 176685 1832 0 0 20 0 1 0 270030878 217554944 52102 33554432000 4194304 10219143 140734593183616 140734593176968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 53114 52102 848 1471 0 51634 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 212456
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 1963
/proc/meminfo: memFree=27528316/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=213512 CPUtime=1791.58 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 60376 0 0 0 177321 1837 0 0 20 0 1 0 270030878 218636288 52392 33554432000 4194304 10219143 140734593183616 140734593176632 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 53378 52392 848 1471 0 51898 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 213512
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 1963
/proc/meminfo: memFree=27522348/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=213512 CPUtime=1794.78 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 60384 0 0 0 177639 1839 0 0 20 0 1 0 270030878 218636288 52400 33554432000 4194304 10219143 140734593183616 140734593177256 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 53378 52400 848 1471 0 51898 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 213512
[startup+1795.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 1963
/proc/meminfo: memFree=27522348/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=213512 CPUtime=1795.57 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 60384 0 0 0 177717 1840 0 0 20 0 1 0 270030878 218636288 52400 33554432000 4194304 10219143 140734593183616 140734593177256 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 53378 52400 848 1471 0 51898 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 213512
[startup+1796.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 1963
/proc/meminfo: memFree=27521976/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=213512 CPUtime=1796.38 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 60384 0 0 0 177797 1841 0 0 20 0 1 0 270030878 218636288 52400 33554432000 4194304 10219143 140734593183616 140734593176968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 53378 52400 848 1471 0 51898 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 213512
[startup+1796.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 1963
/proc/meminfo: memFree=27521976/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=213512 CPUtime=1796.57 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 60384 0 0 0 177816 1841 0 0 20 0 1 0 270030878 218636288 52400 33554432000 4194304 10219143 140734593183616 140734593176968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 53378 52400 848 1471 0 51898 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (KiB) 213512
[startup+1797 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 1963
/proc/meminfo: memFree=27521976/32873844 swapFree=7124/7124
[pid=1910] ppid=1908 vsize=213512 CPUtime=1796.67 cores=0,2,4,6
/proc/1910/stat : 1910 (scip-2.1.1.4exp) R 1908 1910 32151 0 -1 4202496 60384 0 0 0 177826 1841 0 0 20 0 1 0 270030878 218636288 52400 33554432000 4194304 10219143 140734593183616 140734593180200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1910/statm: 53378 52400 848 1471 0 51898 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 213512
Child status: 0
Real time (s): 1797.09
CPU time (s): 1796.78
CPU user time (s): 1778.36
CPU system time (s): 18.4212
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 213512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.36
system time used= 18.4212
maximum resident set size= 209612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60389
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= 42
involuntary context switches= 1893
runsolver used 2.97055 second user time and 7.34188 second system time
The end