0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691210-1338022567.opb>
0.02/0.05 c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
0.02/0.05 c problem read in 0.05
0.08/0.11 c presolving:
0.08/0.17 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.19/0.20 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.23 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.63 c (0.6s) probing: 51/8415 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.63 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.64 c presolving (4 rounds):
0.59/0.64 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.64 c 16830 implications, 2293 cliques
0.59/0.64 c presolved problem has 8415 variables (8415 bin, 0 int, 0 impl, 0 cont) and 673 constraints
0.59/0.64 c 576 constraints of type <knapsack>
0.59/0.64 c 97 constraints of type <setppc>
0.59/0.64 c transformed objective value is always integral (scale: 1)
0.59/0.64 c Presolving Time: 0.57
0.59/0.64 c - non default parameters ----------------------------------------------------------------------
0.59/0.64 c # SCIP version 2.1.1.4
0.59/0.64 c
0.59/0.64 c # maximal time in seconds to run
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/time = 1797
0.59/0.64 c
0.59/0.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/memory = 13950
0.59/0.64 c
0.59/0.64 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.64 c # [type: int, range: [1,2], default: 1]
0.59/0.64 c timing/clocktype = 2
0.59/0.64 c
0.59/0.64 c # belongs reading time to solving time?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c timing/reading = TRUE
0.59/0.64 c
0.59/0.64 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c separating/rapidlearning/freq = 0
0.59/0.64 c
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c start solving
0.59/0.64 c
0.79/0.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.81 c 0.8s| 1 | 0 | 1577 | - | 40M| 0 | 112 |8415 | 771 |8415 | 673 | 0 | 98 | 0 | 9.000000e+00 | -- | Inf
3.98/4.04 c 4.0s| 1 | 0 | 4746 | - | 45M| 0 | 159 |8415 |2080 |8415 | 709 | 36 | 98 | 0 | 9.000000e+00 | -- | Inf
4.49/4.55 c 4.5s| 1 | 0 | 5178 | - | 46M| 0 | 202 |8415 |2080 |8415 | 747 | 74 | 98 | 0 | 9.000000e+00 | -- | Inf
5.49/5.52 c 5.5s| 1 | 0 | 7007 | - | 47M| 0 | 229 |8415 |2080 |8415 | 784 | 111 | 98 | 0 | 9.000000e+00 | -- | Inf
6.38/6.46 c 6.5s| 1 | 0 | 8693 | - | 48M| 0 | 259 |8415 |2080 |8415 | 821 | 148 | 98 | 0 | 9.000000e+00 | -- | Inf
7.19/7.29 c 7.3s| 1 | 0 | 9814 | - | 49M| 0 | 322 |8415 |2080 |8415 | 858 | 185 | 98 | 0 | 9.000000e+00 | -- | Inf
8.69/8.79 c 8.8s| 1 | 0 | 12741 | - | 50M| 0 | 302 |8415 |2080 |8415 | 895 | 222 | 98 | 0 | 9.000000e+00 | -- | Inf
10.49/10.57 c 10.6s| 1 | 2 | 12741 | - | 50M| 0 | 302 |8415 |2080 |8415 | 895 | 222 | 98 | 9 | 9.000000e+00 | -- | Inf
72.17/72.22 c 72.2s| 100 | 67 | 57627 | 453.4 | 51M| 51 | 129 |8415 |2238 |8415 | 826 | 222 | 256 |1445 | 9.000000e+00 | -- | Inf
77.68/77.75 c 77.7s| 200 | 111 | 66548 | 270.4 | 51M| 59 | 130 |8415 |2280 |8415 | 826 | 222 | 298 |1493 | 9.000000e+00 | -- | Inf
84.07/84.13 c 84.1s| 300 | 157 | 76599 | 213.6 | 52M| 63 | 92 |8415 |2327 |8415 | 826 | 222 | 345 |1613 | 9.000000e+00 | -- | Inf
90.27/90.33 c 90.3s| 400 | 179 | 90034 | 193.7 | 52M| 67 | 88 |8415 |2364 |8415 | 826 | 222 | 407 |1803 | 9.000000e+00 | -- | Inf
93.77/93.89 c 93.9s| 500 | 215 | 96465 | 167.8 | 53M| 67 | 109 |8415 |2420 |8415 | 826 | 222 | 481 |1901 | 9.000000e+00 | -- | Inf
102.86/102.94 c 103s| 600 | 233 |120542 | 180.0 | 53M| 72 | 139 |8415 |2555 |8415 | 826 | 222 | 652 |2011 | 9.000000e+00 | -- | Inf
119.96/120.09 c 120s| 700 | 255 |159832 | 210.4 | 53M| 72 | - |8415 |2626 |8415 | 826 | 222 | 785 |2172 | 9.000000e+00 | -- | Inf
129.36/129.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.36/129.43 c 129s| 800 | 279 |176421 | 204.9 | 53M| 75 | 133 |8415 |2633 |8415 | 826 | 222 | 839 |2303 | 9.000000e+00 | -- | Inf
135.06/135.11 c 135s| 900 | 296 |194655 | 202.4 | 53M| 86 | 93 |8415 |2655 |8415 | 826 | 222 | 882 |2394 | 9.000000e+00 | -- | Inf
144.66/144.72 c 145s| 1000 | 308 |212237 | 199.7 | 54M| 86 | 122 |8415 |2720 |8415 | 826 | 222 | 984 |2514 | 9.000000e+00 | -- | Inf
152.05/152.11 c 152s| 1100 | 326 |223082 | 191.4 | 54M| 86 | - |8415 |2744 |8415 | 826 | 222 |1066 |2638 | 9.000000e+00 | -- | Inf
157.46/157.51 c 158s| 1200 | 333 |235447 | 185.7 | 54M| 86 | 93 |8415 |2859 |8415 | 826 | 222 |1202 |2781 | 9.000000e+00 | -- | Inf
160.75/160.89 c 161s| 1300 | 343 |242064 | 176.5 | 55M| 91 | - |8415 |2867 |8415 | 826 | 222 |1223 |2867 | 9.000000e+00 | -- | Inf
161.85/161.99 c 162s| 1400 | 347 |243316 | 164.8 | 55M| 103 | 64 |8415 |2877 |8415 | 826 | 222 |1233 |2888 | 9.000000e+00 | -- | Inf
163.15/163.29 c 163s| 1500 | 345 |244806 | 154.8 | 55M| 110 | - |8415 |2898 |8415 | 826 | 222 |1254 |2913 | 9.000000e+00 | -- | Inf
164.35/164.49 c 164s| 1600 | 345 |246645 | 146.3 | 55M| 116 | - |8415 |2908 |8415 | 826 | 222 |1265 |2917 | 9.000000e+00 | -- | Inf
165.96/166.02 c 166s| 1700 | 349 |248732 | 138.9 | 55M| 121 | 65 |8415 |2916 |8415 | 826 | 222 |1276 |2951 | 9.000000e+00 | -- | Inf
168.74/168.87 c 169s| 1800 | 355 |252700 | 133.4 | 55M| 121 | - |8415 |2957 |8415 | 826 | 222 |1349 |3040 | 9.000000e+00 | -- | Inf
173.54/173.60 c 174s| 1900 | 377 |263780 | 132.2 | 55M| 121 | 108 |8415 |2961 |8415 | 826 | 222 |1419 |3167 | 9.000000e+00 | -- | Inf
179.04/179.16 c 179s| 2000 | 403 |276647 | 132.0 | 55M| 121 | 79 |8415 |2932 |8415 | 826 | 222 |1520 |3244 | 9.000000e+00 | -- | Inf
184.64/184.73 c 185s| 2100 | 441 |287795 | 131.0 | 55M| 121 | 104 |8415 |2987 |8415 | 826 | 222 |1589 |3326 | 9.000000e+00 | -- | Inf
187.54/187.64 c 188s| 2200 | 452 |293213 | 127.5 | 55M| 121 | 72 |8415 |3024 |8415 | 826 | 222 |1630 |3378 | 9.000000e+00 | -- | Inf
190.04/190.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.04/190.15 c 190s| 2300 | 468 |297646 | 123.9 | 56M| 121 | 93 |8415 |3036 |8415 | 826 | 222 |1651 |3426 | 9.000000e+00 | -- | Inf
193.45/193.52 c 194s| 2400 | 478 |303840 | 121.3 | 56M| 121 | 65 |8415 |3025 |8415 | 826 | 222 |1657 |3504 | 9.000000e+00 | -- | Inf
195.93/196.06 c 196s| 2500 | 492 |308635 | 118.4 | 56M| 121 | - |8415 |3053 |8415 | 826 | 222 |1689 |3556 | 9.000000e+00 | -- | Inf
198.33/198.46 c 198s| 2600 | 506 |313031 | 115.5 | 56M| 121 | 83 |8415 |3074 |8415 | 826 | 222 |1717 |3589 | 9.000000e+00 | -- | Inf
200.84/200.95 c 201s| 2700 | 518 |318672 | 113.3 | 56M| 121 | 97 |8415 |3077 |8415 | 826 | 222 |1727 |3617 | 9.000000e+00 | -- | Inf
203.44/203.58 c 204s| 2800 | 524 |323278 | 110.9 | 56M| 121 | - |8415 |3079 |8415 | 826 | 222 |1758 |3669 | 9.000000e+00 | -- | Inf
205.44/205.52 c 206s| 2900 | 540 |327337 | 108.5 | 56M| 121 | 85 |8415 |3090 |8415 | 826 | 222 |1777 |3690 | 9.000000e+00 | -- | Inf
207.63/207.78 c 208s| 3000 | 552 |331736 | 106.4 | 56M| 121 | 77 |8415 |3092 |8415 | 826 | 222 |1797 |3721 | 9.000000e+00 | -- | Inf
209.34/209.41 c 209s| 3100 | 566 |334750 | 103.9 | 56M| 121 | 85 |8415 |3120 |8415 | 826 | 222 |1835 |3741 | 9.000000e+00 | -- | Inf
211.04/211.20 c 211s| 3200 | 568 |337455 | 101.5 | 56M| 129 | - |8415 |3122 |8415 | 826 | 222 |1843 |3764 | 9.000000e+00 | -- | Inf
212.83/212.95 c 213s| 3300 | 568 |341052 | 99.5 | 56M| 129 | 79 |8415 |3124 |8415 | 826 | 222 |1859 |3778 | 9.000000e+00 | -- | Inf
214.53/214.65 c 215s| 3400 | 576 |344739 | 97.7 | 57M| 129 | 82 |8415 |3174 |8415 | 826 | 222 |1932 |3788 | 9.000000e+00 | -- | Inf
216.93/217.08 c 217s| 3500 | 600 |349331 | 96.2 | 57M| 129 | - |8415 |3165 |8415 | 826 | 222 |1972 |3823 | 9.000000e+00 | -- | Inf
218.93/219.04 c 219s| 3600 | 616 |353466 | 94.7 | 57M| 129 | - |8415 |3194 |8415 | 826 | 222 |2040 |3849 | 9.000000e+00 | -- | Inf
221.73/221.83 c 222s| 3700 | 634 |362378 | 94.5 | 57M| 129 | 78 |8415 |3195 |8415 | 826 | 222 |2065 |3861 | 9.000000e+00 | -- | Inf
224.34/224.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.34/224.47 c 224s| 3800 | 654 |369362 | 93.9 | 57M| 129 | 75 |8415 |3210 |8415 | 826 | 222 |2093 |3880 | 9.000000e+00 | -- | Inf
227.43/227.53 c 228s| 3900 | 658 |376785 | 93.4 | 57M| 129 | 67 |8415 |3219 |8415 | 826 | 222 |2107 |3917 | 9.000000e+00 | -- | Inf
230.03/230.19 c 230s| 4000 | 670 |383966 | 92.8 | 57M| 129 | - |8415 |3219 |8415 | 826 | 222 |2129 |3928 | 9.000000e+00 | -- | Inf
233.43/233.57 c 234s| 4100 | 672 |393366 | 92.9 | 57M| 129 | 77 |8415 |3218 |8415 | 826 | 222 |2141 |3943 | 9.000000e+00 | -- | Inf
236.73/236.88 c 237s| 4200 | 678 |401284 | 92.5 | 57M| 129 | - |8415 |3207 |8415 | 826 | 222 |2187 |3976 | 9.000000e+00 | -- | Inf
239.23/239.35 c 239s| 4300 | 700 |406569 | 91.6 | 57M| 129 | 78 |8415 |3147 |8415 | 826 | 222 |2196 |4005 | 9.000000e+00 | -- | Inf
242.73/242.80 c 243s| 4400 | 716 |415216 | 91.5 | 57M| 129 | 72 |8415 |3114 |8415 | 826 | 222 |2235 |4031 | 9.000000e+00 | -- | Inf
245.73/245.88 c 246s| 4500 | 732 |421845 | 90.9 | 57M| 129 | - |8415 |3141 |8415 | 826 | 222 |2286 |4064 | 9.000000e+00 | -- | Inf
248.53/248.68 c 249s| 4600 | 748 |426923 | 90.1 | 57M| 129 | - |8415 |3115 |8415 | 826 | 222 |2300 |4111 | 9.000000e+00 | -- | Inf
251.43/251.57 c 252s| 4700 | 752 |432642 | 89.4 | 57M| 129 | 82 |8415 |3110 |8415 | 826 | 222 |2326 |4147 | 9.000000e+00 | -- | Inf
254.23/254.30 c 254s| 4800 | 770 |438475 | 88.7 | 57M| 129 | 88 |8415 |3128 |8415 | 826 | 222 |2353 |4180 | 9.000000e+00 | -- | Inf
256.93/257.06 c 257s| 4900 | 774 |443899 | 88.0 | 58M| 129 | - |8415 |3136 |8415 | 826 | 222 |2372 |4224 | 9.000000e+00 | -- | Inf
259.43/259.52 c 260s| 5000 | 784 |448022 | 87.1 | 58M| 129 | 90 |8415 |3196 |8415 | 826 | 222 |2488 |4285 | 9.000000e+00 | -- | Inf
262.74/262.83 c 263s| 5100 | 796 |454529 | 86.6 | 58M| 129 | - |8415 |3175 |8415 | 826 | 222 |2525 |4358 | 9.000000e+00 | -- | Inf
266.73/266.86 c 267s| 5200 | 811 |461368 | 86.3 | 58M| 129 | 69 |8415 |3105 |8415 | 826 | 222 |2587 |4446 | 9.000000e+00 | -- | Inf
269.43/269.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.43/269.57 c 270s| 5300 | 821 |466564 | 85.6 | 58M| 129 | 77 |8415 |3160 |8415 | 826 | 222 |2680 |4491 | 9.000000e+00 | -- | Inf
271.83/271.91 c 272s| 5400 | 825 |472095 | 85.1 | 58M| 129 | - |8415 |3254 |8415 | 826 | 222 |2790 |4537 | 9.000000e+00 | -- | Inf
275.63/275.73 c 276s| 5500 | 852 |479615 | 84.9 | 59M| 129 | 82 |8415 |3285 |8415 | 826 | 222 |2856 |4609 | 9.000000e+00 | -- | Inf
280.34/280.48 c 280s| 5600 | 872 |488927 | 85.0 | 58M| 129 | 101 |8415 |3205 |8415 | 826 | 222 |2905 |4692 | 9.000000e+00 | -- | Inf
283.52/283.69 c 284s| 5700 | 876 |495802 | 84.8 | 58M| 129 | - |8415 |3152 |8415 | 826 | 222 |2939 |4732 | 9.000000e+00 | -- | Inf
286.93/287.08 c 287s| 5800 | 887 |500996 | 84.2 | 58M| 129 | 129 |8415 |3090 |8415 | 826 | 222 |2964 |4805 | 9.000000e+00 | -- | Inf
289.82/289.94 c 290s| 5900 | 909 |507370 | 83.8 | 58M| 129 | - |8415 |3066 |8415 | 826 | 222 |3008 |4828 | 9.000000e+00 | -- | Inf
299.13/299.24 c 299s| 6000 | 924 |521419 | 84.8 | 58M| 129 | - |8415 |3020 |8415 | 826 | 222 |3069 |5052 | 9.000000e+00 | -- | Inf
302.52/302.68 c 303s| 6100 | 933 |527348 | 84.4 | 58M| 129 | 82 |8415 |3003 |8415 | 826 | 222 |3089 |5108 | 9.000000e+00 | -- | Inf
305.73/305.89 c 306s| 6200 | 945 |534825 | 84.2 | 58M| 129 | 82 |8415 |3029 |8415 | 826 | 222 |3147 |5134 | 9.000000e+00 | -- | Inf
308.82/308.95 c 309s| 6300 | 941 |542415 | 84.1 | 58M| 129 | - |8415 |3057 |8415 | 826 | 222 |3204 |5148 | 9.000000e+00 | -- | Inf
315.72/315.88 c 316s| 6400 | 960 |557631 | 85.2 | 58M| 129 | 72 |8415 |3035 |8415 | 826 | 222 |3259 |5218 | 9.000000e+00 | -- | Inf
318.52/318.65 c 319s| 6500 | 980 |562139 | 84.5 | 58M| 129 | 87 |8415 |3000 |8415 | 826 | 222 |3283 |5263 | 9.000000e+00 | -- | Inf
320.31/320.43 c 320s| 6600 | 990 |565092 | 83.7 | 59M| 129 | - |8415 |3004 |8415 | 826 | 222 |3291 |5280 | 9.000000e+00 | -- | Inf
322.02/322.19 c 322s| 6700 | 998 |568448 | 83.0 | 59M| 129 | 62 |8415 |3008 |8415 | 826 | 222 |3296 |5287 | 9.000000e+00 | -- | Inf
324.33/324.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.33/324.42 c 324s| 6800 | 996 |573323 | 82.5 | 59M| 129 | - |8415 |3034 |8415 | 826 | 222 |3334 |5294 | 9.000000e+00 | -- | Inf
326.02/326.13 c 326s| 6900 | 1002 |576070 | 81.7 | 59M| 130 | 48 |8415 |3042 |8415 | 826 | 222 |3342 |5305 | 9.000000e+00 | -- | Inf
327.73/327.82 c 328s| 7000 | 1000 |578925 | 80.9 | 59M| 130 | - |8415 |3045 |8415 | 826 | 222 |3345 |5310 | 9.000000e+00 | -- | Inf
329.51/329.62 c 330s| 7100 | 1012 |582063 | 80.2 | 59M| 130 | - |8415 |3064 |8415 | 826 | 222 |3366 |5316 | 9.000000e+00 | -- | Inf
331.12/331.26 c 331s| 7200 | 1008 |584975 | 79.5 | 59M| 130 | - |8415 |3083 |8415 | 826 | 222 |3401 |5320 | 9.000000e+00 | -- | Inf
334.11/334.26 c 334s| 7300 | 998 |590327 | 79.1 | 59M| 130 | 107 |8415 |3055 |8415 | 826 | 222 |3467 |5363 | 9.000000e+00 | -- | Inf
339.01/339.11 c 339s| 7400 | 1023 |605560 | 80.1 | 59M| 130 | 75 |8415 |3083 |8415 | 826 | 222 |3536 |5378 | 9.000000e+00 | -- | Inf
341.92/342.06 c 342s| 7500 | 1031 |612311 | 80.0 | 59M| 130 | - |8415 |3122 |8415 | 826 | 222 |3599 |5409 | 9.000000e+00 | -- | Inf
344.62/344.71 c 345s| 7600 | 1041 |617515 | 79.6 | 60M| 130 | - |8415 |3167 |8415 | 826 | 222 |3650 |5454 | 9.000000e+00 | -- | Inf
346.81/346.92 c 347s| 7700 | 1043 |621151 | 79.0 | 60M| 130 | 69 |8415 |3167 |8415 | 826 | 222 |3661 |5498 | 9.000000e+00 | -- | Inf
349.51/349.62 c 350s| 7800 | 1043 |625943 | 78.6 | 60M| 130 | 59 |8415 |3178 |8415 | 826 | 222 |3672 |5561 | 9.000000e+00 | -- | Inf
363.01/363.11 c 363s| 7900 | 1041 |642690 | 79.8 | 60M| 130 | - |8415 |3215 |8415 | 826 | 222 |3781 |5744 | 9.000000e+00 | -- | Inf
365.32/365.44 c 365s| 8000 | 1057 |648557 | 79.5 | 60M| 130 | - |8415 |3234 |8415 | 826 | 222 |3825 |5750 | 9.000000e+00 | -- | Inf
367.61/367.73 c 368s| 8100 | 1065 |654690 | 79.3 | 60M| 130 | - |8415 |3233 |8415 | 826 | 222 |3838 |5751 | 9.000000e+00 | -- | Inf
369.21/369.35 c 369s| 8200 | 1078 |658604 | 78.8 | 60M| 130 | - |8415 |3216 |8415 | 826 | 222 |3883 |5752 | 9.000000e+00 | -- | Inf
370.72/370.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.72/370.84 c 371s| 8300 | 1088 |661828 | 78.2 | 60M| 130 | 59 |8415 |3246 |8415 | 826 | 222 |3922 |5753 | 9.000000e+00 | -- | Inf
372.01/372.17 c 372s| 8400 | 1095 |664318 | 77.6 | 60M| 130 | - |8415 |3290 |8415 | 826 | 222 |3969 |5753 | 9.000000e+00 | -- | Inf
373.62/373.79 c 374s| 8500 | 1083 |667504 | 77.0 | 60M| 131 | 73 |8415 |3304 |8415 | 826 | 222 |4000 |5773 | 9.000000e+00 | -- | Inf
376.21/376.33 c 376s| 8600 | 1094 |671875 | 76.7 | 61M| 131 | 58 |8415 |3315 |8415 | 826 | 222 |4028 |5840 | 9.000000e+00 | -- | Inf
378.21/378.33 c 378s| 8700 | 1096 |675528 | 76.2 | 61M| 131 | - |8415 |3312 |8415 | 826 | 222 |4033 |5867 | 9.000000e+00 | -- | Inf
379.82/379.92 c 380s| 8800 | 1096 |677823 | 75.6 | 61M| 131 | 51 |8415 |3315 |8415 | 826 | 222 |4041 |5898 | 9.000000e+00 | -- | Inf
381.41/381.58 c 382s| 8900 | 1098 |680503 | 75.0 | 61M| 131 | - |8415 |3325 |8415 | 826 | 222 |4053 |5931 | 9.000000e+00 | -- | Inf
382.61/382.80 c 383s| 9000 | 1100 |682499 | 74.4 | 61M| 131 | - |8415 |3329 |8415 | 826 | 222 |4058 |5945 | 9.000000e+00 | -- | Inf
383.91/384.08 c 384s| 9100 | 1096 |684063 | 73.8 | 61M| 131 | - |8415 |3325 |8415 | 826 | 222 |4058 |5973 | 9.000000e+00 | -- | Inf
384.71/384.87 c 385s| 9200 | 1098 |684722 | 73.0 | 61M| 131 | 43 |8415 |3325 |8415 | 826 | 222 |4058 |5982 | 9.000000e+00 | -- | Inf
385.92/386.05 c 386s| 9300 | 1094 |685956 | 72.4 | 61M| 131 | 48 |8415 |3327 |8415 | 826 | 222 |4060 |5999 | 9.000000e+00 | -- | Inf
388.11/388.21 c 388s| 9400 | 1093 |689425 | 72.0 | 60M| 131 | 74 |8415 |3361 |8415 | 826 | 222 |4139 |6032 | 9.000000e+00 | -- | Inf
390.11/390.29 c 390s| 9500 | 1101 |693082 | 71.6 | 61M| 131 | - |8415 |3375 |8415 | 826 | 222 |4170 |6059 | 9.000000e+00 | -- | Inf
392.21/392.30 c 392s| 9600 | 1099 |696414 | 71.2 | 60M| 131 | 69 |8415 |3379 |8415 | 826 | 222 |4178 |6108 | 9.000000e+00 | -- | Inf
393.91/394.04 c 394s| 9700 | 1103 |699261 | 70.8 | 61M| 131 | - |8415 |3403 |8415 | 826 | 222 |4208 |6147 | 9.000000e+00 | -- | Inf
395.81/395.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.81/395.91 c 396s| 9800 | 1100 |702411 | 70.4 | 61M| 131 | - |8415 |3404 |8415 | 826 | 222 |4220 |6192 | 9.000000e+00 | -- | Inf
398.50/398.61 c 399s| 9900 | 1108 |706987 | 70.1 | 60M| 131 | 98 |8415 |3317 |8415 | 826 | 222 |4272 |6246 | 9.000000e+00 | -- | Inf
401.71/401.84 c 402s| 10000 | 1123 |713221 | 70.1 | 60M| 131 | 72 |8415 |3230 |8415 | 826 | 222 |4328 |6290 | 9.000000e+00 | -- | Inf
405.00/405.18 c 405s| 10100 | 1123 |718439 | 69.9 | 60M| 131 | 108 |8415 |3216 |8415 | 826 | 222 |4328 |6363 | 9.000000e+00 | -- | Inf
407.51/407.65 c 408s| 10200 | 1143 |723862 | 69.7 | 60M| 131 | 89 |8415 |3210 |8415 | 826 | 222 |4347 |6380 | 9.000000e+00 | -- | Inf
409.01/409.20 c 409s| 10300 | 1152 |726099 | 69.3 | 60M| 131 | - |8415 |3196 |8415 | 826 | 222 |4365 |6402 | 9.000000e+00 | -- | Inf
411.21/411.34 c 411s| 10400 | 1149 |730025 | 69.0 | 60M| 131 | - |8415 |3197 |8415 | 826 | 222 |4378 |6427 | 9.000000e+00 | -- | Inf
412.90/413.06 c 413s| 10500 | 1154 |732634 | 68.6 | 60M| 131 | 76 |8415 |3211 |8415 | 826 | 222 |4398 |6463 | 9.000000e+00 | -- | Inf
415.90/416.03 c 416s| 10600 | 1151 |738277 | 68.5 | 60M| 131 | 77 |8415 |3196 |8415 | 826 | 222 |4420 |6533 | 9.000000e+00 | -- | Inf
418.40/418.55 c 419s| 10700 | 1153 |742910 | 68.2 | 60M| 131 | - |8415 |3199 |8415 | 826 | 222 |4446 |6576 | 9.000000e+00 | -- | Inf
420.60/420.79 c 421s| 10800 | 1149 |746612 | 68.0 | 60M| 131 | - |8415 |3186 |8415 | 826 | 222 |4447 |6627 | 9.000000e+00 | -- | Inf
424.10/424.20 c 424s| 10900 | 1175 |753763 | 68.0 | 61M| 131 | 83 |8415 |3204 |8415 | 826 | 222 |4500 |6682 | 9.000000e+00 | -- | Inf
426.71/426.86 c 427s| 11000 | 1185 |758023 | 67.8 | 61M| 131 | - |8415 |3200 |8415 | 826 | 222 |4529 |6746 | 9.000000e+00 | -- | Inf
430.20/430.30 c 430s| 11100 | 1195 |763056 | 67.6 | 61M| 131 | - |8415 |3186 |8415 | 826 | 222 |4603 |6810 | 9.000000e+00 | -- | Inf
433.10/433.30 c 433s| 11200 | 1193 |769053 | 67.5 | 61M| 131 | - |8415 |3131 |8415 | 826 | 222 |4636 |6843 | 9.000000e+00 | -- | Inf
441.20/441.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.20/441.34 c 441s| 11300 | 1223 |787063 | 68.5 | 61M| 131 | - |8415 |3061 |8415 | 826 | 222 |4662 |6969 | 9.000000e+00 | -- | Inf
444.10/444.22 c 444s| 11400 | 1236 |793544 | 68.5 | 61M| 131 | - |8415 |3072 |8415 | 826 | 222 |4710 |6994 | 9.000000e+00 | -- | Inf
446.20/446.32 c 446s| 11500 | 1239 |798837 | 68.4 | 61M| 131 | - |8415 |3101 |8415 | 826 | 222 |4750 |6994 | 9.000000e+00 | -- | Inf
448.20/448.32 c 448s| 11600 | 1239 |803794 | 68.2 | 61M| 131 | - |8415 |3098 |8415 | 826 | 222 |4779 |7000 | 9.000000e+00 | -- | Inf
451.80/451.98 c 452s| 11700 | 1237 |811021 | 68.2 | 61M| 131 | - |8415 |3072 |8415 | 826 | 222 |4811 |7057 | 9.000000e+00 | -- | Inf
456.99/457.11 c 457s| 11800 | 1262 |822676 | 68.6 | 61M| 131 | 117 |8415 |2991 |8415 | 826 | 222 |4822 |7098 | 9.000000e+00 | -- | Inf
460.80/460.91 c 461s| 11900 | 1285 |830169 | 68.7 | 61M| 131 | - |8415 |3019 |8415 | 826 | 222 |4875 |7170 | 9.000000e+00 | -- | Inf
462.91/463.09 c 463s| 12000 | 1296 |833651 | 68.4 | 61M| 131 | 92 |8415 |2994 |8415 | 826 | 222 |4893 |7201 | 9.000000e+00 | -- | Inf
466.30/466.48 c 466s| 12100 | 1302 |840703 | 68.4 | 61M| 131 | 93 |8415 |2996 |8415 | 826 | 222 |4929 |7254 | 9.000000e+00 | -- | Inf
469.70/469.86 c 470s| 12200 | 1296 |846595 | 68.4 | 61M| 131 | 102 |8415 |3033 |8415 | 826 | 222 |5002 |7338 | 9.000000e+00 | -- | Inf
474.10/474.26 c 474s| 12300 | 1319 |854580 | 68.4 | 62M| 131 | - |8415 |3011 |8415 | 826 | 222 |5047 |7415 | 9.000000e+00 | -- | Inf
476.20/476.33 c 476s| 12400 | 1329 |859651 | 68.3 | 62M| 131 | - |8415 |3015 |8415 | 826 | 222 |5081 |7423 | 9.000000e+00 | -- | Inf
479.20/479.37 c 479s| 12500 | 1328 |865599 | 68.2 | 62M| 131 | - |8415 |3052 |8415 | 826 | 222 |5140 |7484 | 9.000000e+00 | -- | Inf
482.09/482.26 c 482s| 12600 | 1325 |870600 | 68.1 | 62M| 131 | 71 |8415 |3067 |8415 | 826 | 222 |5187 |7533 | 9.000000e+00 | -- | Inf
484.19/484.38 c 484s| 12700 | 1327 |873280 | 67.8 | 62M| 131 | - |8415 |3051 |8415 | 826 | 222 |5187 |7578 | 9.000000e+00 | -- | Inf
485.49/485.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.49/485.64 c 486s| 12800 | 1333 |874566 | 67.3 | 62M| 131 | 67 |8415 |3050 |8415 | 826 | 222 |5187 |7593 | 9.000000e+00 | -- | Inf
486.89/487.08 c 487s| 12900 | 1335 |876007 | 66.9 | 62M| 131 | 64 |8415 |3050 |8415 | 826 | 222 |5187 |7617 | 9.000000e+00 | -- | Inf
488.39/488.55 c 489s| 13000 | 1333 |877299 | 66.5 | 62M| 131 | 66 |8415 |3050 |8415 | 826 | 222 |5187 |7641 | 9.000000e+00 | -- | Inf
489.89/490.05 c 490s| 13100 | 1333 |878805 | 66.1 | 62M| 131 | 71 |8415 |3050 |8415 | 826 | 222 |5187 |7666 | 9.000000e+00 | -- | Inf
491.39/491.57 c 492s| 13200 | 1335 |880433 | 65.7 | 62M| 131 | 68 |8415 |3051 |8415 | 826 | 222 |5188 |7689 | 9.000000e+00 | -- | Inf
493.49/493.64 c 494s| 13300 | 1341 |883214 | 65.5 | 62M| 131 | 67 |8415 |3007 |8415 | 826 | 222 |5207 |7719 | 9.000000e+00 | -- | Inf
496.29/496.45 c 496s| 13400 | 1349 |887847 | 65.3 | 62M| 131 | 105 |8415 |2985 |8415 | 826 | 222 |5237 |7757 | 9.000000e+00 | -- | Inf
499.39/499.52 c 500s| 13500 | 1365 |893387 | 65.2 | 62M| 131 | 66 |8415 |2985 |8415 | 826 | 222 |5272 |7814 | 9.000000e+00 | -- | Inf
501.50/501.65 c 502s| 13600 | 1369 |896618 | 65.0 | 62M| 131 | - |8415 |2977 |8415 | 826 | 222 |5276 |7851 | 9.000000e+00 | -- | Inf
505.49/505.64 c 506s| 13700 | 1378 |904646 | 65.1 | 62M| 131 | - |8415 |2943 |8415 | 826 | 222 |5279 |7932 | 9.000000e+00 | -- | Inf
507.58/507.79 c 508s| 13800 | 1380 |908053 | 64.9 | 62M| 131 | - |8415 |2968 |8415 | 826 | 222 |5317 |7972 | 9.000000e+00 | -- | Inf
511.09/511.29 c 511s| 13900 | 1389 |914996 | 64.9 | 62M| 131 | 96 |8415 |2974 |8415 | 826 | 222 |5373 |8039 | 9.000000e+00 | -- | Inf
523.58/523.78 c 524s| 14000 | 1398 |938784 | 66.2 | 62M| 131 | 87 |8415 |3010 |8415 | 826 | 222 |5473 |8238 | 9.000000e+00 | -- | Inf
525.39/525.51 c 526s| 14100 | 1390 |942170 | 65.9 | 62M| 131 | - |8415 |2994 |8415 | 826 | 222 |5484 |8238 | 9.000000e+00 | -- | Inf
526.69/526.83 c 527s| 14200 | 1389 |943916 | 65.6 | 62M| 131 | - |8415 |2995 |8415 | 826 | 222 |5498 |8238 | 9.000000e+00 | -- | Inf
537.88/538.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.88/538.02 c 538s| 14300 | 1411 |954648 | 65.9 | 63M| 131 | - |8415 |3032 |8415 | 826 | 222 |5574 |8423 | 9.000000e+00 | -- | Inf
539.79/539.96 c 540s| 14400 | 1407 |959112 | 65.7 | 63M| 131 | - |8415 |3009 |8415 | 826 | 222 |5598 |8423 | 9.000000e+00 | -- | Inf
547.18/547.30 c 547s| 14500 | 1421 |969096 | 66.0 | 63M| 131 | 82 |8415 |2969 |8415 | 826 | 222 |5621 |8445 | 9.000000e+00 | -- | Inf
548.99/549.10 c 549s| 14600 | 1423 |973300 | 65.8 | 63M| 131 | 55 |8415 |2970 |8415 | 826 | 222 |5643 |8449 | 9.000000e+00 | -- | Inf
550.99/551.18 c 551s| 14700 | 1423 |978634 | 65.7 | 63M| 131 | - |8415 |2977 |8415 | 826 | 222 |5690 |8453 | 9.000000e+00 | -- | Inf
552.68/552.86 c 553s| 14800 | 1436 |981776 | 65.5 | 63M| 131 | 59 |8415 |2943 |8415 | 826 | 222 |5723 |8464 | 9.000000e+00 | -- | Inf
555.18/555.38 c 555s| 14900 | 1433 |987906 | 65.5 | 62M| 131 | - |8415 |2921 |8415 | 826 | 222 |5758 |8473 | 9.000000e+00 | -- | Inf
557.18/557.35 c 557s| 15000 | 1442 |992960 | 65.4 | 63M| 131 | 74 |8415 |2946 |8415 | 826 | 222 |5813 |8473 | 9.000000e+00 | -- | Inf
558.68/558.89 c 559s| 15100 | 1450 |995815 | 65.1 | 63M| 131 | - |8415 |2961 |8415 | 826 | 222 |5839 |8473 | 9.000000e+00 | -- | Inf
570.38/570.59 c 571s| 15200 | 1463 | 1013k| 65.8 | 63M| 131 | - |8415 |3019 |8415 | 826 | 222 |5954 |8666 | 9.000000e+00 | -- | Inf
572.18/572.39 c 572s| 15300 | 1470 | 1017k| 65.7 | 63M| 131 | 77 |8415 |3040 |8415 | 826 | 222 |6000 |8668 | 9.000000e+00 | -- | Inf
575.68/575.82 c 576s| 15400 | 1481 | 1027k| 65.9 | 63M| 131 | - |8415 |3069 |8415 | 826 | 222 |6050 |8671 | 9.000000e+00 | -- | Inf
576.78/576.97 c 577s| 15500 | 1487 | 1029k| 65.6 | 63M| 131 | 58 |8415 |3081 |8415 | 826 | 222 |6062 |8672 | 9.000000e+00 | -- | Inf
577.78/577.94 c 578s| 15600 | 1489 | 1030k| 65.3 | 64M| 131 | 53 |8415 |3087 |8415 | 826 | 222 |6068 |8672 | 9.000000e+00 | -- | Inf
578.78/578.94 c 579s| 15700 | 1487 | 1032k| 65.0 | 64M| 131 | 61 |8415 |3087 |8415 | 826 | 222 |6068 |8672 | 9.000000e+00 | -- | Inf
579.88/580.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.88/580.07 c 580s| 15800 | 1485 | 1034k| 64.7 | 64M| 131 | - |8415 |3086 |8415 | 826 | 222 |6068 |8672 | 9.000000e+00 | -- | Inf
581.18/581.37 c 581s| 15900 | 1491 | 1036k| 64.4 | 64M| 131 | 57 |8415 |3091 |8415 | 826 | 222 |6075 |8673 | 9.000000e+00 | -- | Inf
583.88/584.01 c 584s| 16000 | 1480 | 1043k| 64.4 | 63M| 131 | 81 |8415 |3048 |8415 | 826 | 222 |6132 |8678 | 9.000000e+00 | -- | Inf
585.88/586.04 c 586s| 16100 | 1477 | 1047k| 64.3 | 63M| 131 | - |8415 |3027 |8415 | 826 | 222 |6162 |8687 | 9.000000e+00 | -- | Inf
588.78/588.94 c 589s| 16200 | 1488 | 1055k| 64.4 | 63M| 131 | 76 |8415 |3047 |8415 | 826 | 222 |6243 |8702 | 9.000000e+00 | -- | Inf
592.88/593.01 c 593s| 16300 | 1493 | 1065k| 64.6 | 63M| 131 | - |8415 |3033 |8415 | 826 | 222 |6309 |8747 | 9.000000e+00 | -- | Inf
596.27/596.43 c 596s| 16400 | 1503 | 1070k| 64.5 | 63M| 131 | 215 |8415 |2962 |8415 | 826 | 222 |6329 |8819 | 9.000000e+00 | -- | Inf
617.18/617.33 c 617s| 16500 | 1526 | 1097k| 65.7 | 63M| 131 | 70 |8415 |2969 |8415 | 826 | 222 |6386 |9026 | 9.000000e+00 | -- | Inf
618.68/618.81 c 619s| 16600 | 1533 | 1100k| 65.5 | 63M| 131 | 57 |8415 |2980 |8415 | 826 | 222 |6415 |9027 | 9.000000e+00 | -- | Inf
620.38/620.58 c 621s| 16700 | 1537 | 1104k| 65.4 | 63M| 131 | - |8415 |2994 |8415 | 826 | 222 |6441 |9028 | 9.000000e+00 | -- | Inf
622.27/622.45 c 622s| 16800 | 1549 | 1109k| 65.3 | 64M| 131 | - |8415 |3062 |8415 | 826 | 222 |6529 |9030 | 9.000000e+00 | -- | Inf
623.97/624.10 c 624s| 16900 | 1550 | 1112k| 65.1 | 64M| 131 | 64 |8415 |3106 |8415 | 826 | 222 |6644 |9032 | 9.000000e+00 | -- | Inf
625.07/625.24 c 625s| 17000 | 1556 | 1114k| 64.8 | 64M| 131 | 64 |8415 |3086 |8415 | 826 | 222 |6644 |9032 | 9.000000e+00 | -- | Inf
626.18/626.39 c 626s| 17100 | 1556 | 1116k| 64.6 | 64M| 131 | 69 |8415 |3090 |8415 | 826 | 222 |6664 |9035 | 9.000000e+00 | -- | Inf
627.68/627.81 c 628s| 17200 | 1553 | 1119k| 64.3 | 64M| 131 | 61 |8415 |3096 |8415 | 826 | 222 |6674 |9035 | 9.000000e+00 | -- | Inf
629.47/629.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.47/629.65 c 630s| 17300 | 1553 | 1123k| 64.2 | 64M| 131 | - |8415 |3103 |8415 | 826 | 222 |6702 |9039 | 9.000000e+00 | -- | Inf
633.27/633.42 c 633s| 17400 | 1554 | 1132k| 64.3 | 64M| 131 | - |8415 |2984 |8415 | 826 | 222 |6742 |9072 | 9.000000e+00 | -- | Inf
638.46/638.63 c 639s| 17500 | 1569 | 1145k| 64.7 | 64M| 131 | 79 |8415 |3007 |8415 | 826 | 222 |6804 |9143 | 9.000000e+00 | -- | Inf
641.87/642.06 c 642s| 17600 | 1569 | 1152k| 64.8 | 64M| 131 | 66 |8415 |3017 |8415 | 826 | 222 |6847 |9198 | 9.000000e+00 | -- | Inf
645.07/645.23 c 645s| 17700 | 1575 | 1157k| 64.7 | 64M| 131 | 100 |8415 |3009 |8415 | 826 | 222 |6871 |9265 | 9.000000e+00 | -- | Inf
648.06/648.27 c 648s| 17800 | 1591 | 1166k| 64.8 | 64M| 131 | - |8415 |3055 |8415 | 826 | 222 |6933 |9291 | 9.000000e+00 | -- | Inf
650.66/650.88 c 651s| 17900 | 1605 | 1171k| 64.7 | 65M| 131 | 83 |8415 |3113 |8415 | 826 | 222 |6997 |9324 | 9.000000e+00 | -- | Inf
653.57/653.72 c 654s| 18000 | 1605 | 1177k| 64.7 | 65M| 131 | - |8415 |3154 |8415 | 826 | 222 |7064 |9348 | 9.000000e+00 | -- | Inf
656.07/656.20 c 656s| 18100 | 1617 | 1182k| 64.6 | 65M| 131 | 80 |8415 |3160 |8415 | 826 | 222 |7144 |9381 | 9.000000e+00 | -- | Inf
658.46/658.67 c 659s| 18200 | 1625 | 1186k| 64.5 | 65M| 154 | - |8415 |3177 |8415 | 826 | 222 |7169 |9422 | 9.000000e+00 | -- | Inf
660.36/660.51 c 661s| 18300 | 1629 | 1190k| 64.4 | 65M| 154 | - |8415 |3216 |8415 | 826 | 222 |7211 |9439 | 9.000000e+00 | -- | Inf
662.67/662.86 c 663s| 18400 | 1631 | 1194k| 64.2 | 65M| 154 | 65 |8415 |3218 |8415 | 826 | 222 |7214 |9466 | 9.000000e+00 | -- | Inf
665.37/665.59 c 666s| 18500 | 1635 | 1200k| 64.2 | 65M| 154 | 77 |8415 |3270 |8415 | 826 | 222 |7290 |9491 | 9.000000e+00 | -- | Inf
667.57/667.78 c 668s| 18600 | 1637 | 1204k| 64.1 | 65M| 154 | - |8415 |3290 |8415 | 826 | 222 |7312 |9508 | 9.000000e+00 | -- | Inf
669.77/669.95 c 670s| 18700 | 1639 | 1208k| 64.0 | 65M| 154 | 71 |8415 |3293 |8415 | 826 | 222 |7317 |9518 | 9.000000e+00 | -- | Inf
671.26/671.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.26/671.48 c 671s| 18800 | 1639 | 1211k| 63.8 | 65M| 154 | - |8415 |3297 |8415 | 826 | 222 |7327 |9524 | 9.000000e+00 | -- | Inf
674.07/674.29 c 674s| 18900 | 1638 | 1216k| 63.7 | 65M| 154 | - |8415 |3315 |8415 | 826 | 222 |7366 |9547 | 9.000000e+00 | -- | Inf
678.16/678.30 c 678s| 19000 | 1633 | 1223k| 63.7 | 65M| 154 | - |8415 |3209 |8415 | 826 | 222 |7399 |9628 | 9.000000e+00 | -- | Inf
684.36/684.56 c 685s| 19100 | 1641 | 1233k| 63.9 | 65M| 154 | 80 |8415 |3198 |8415 | 826 | 222 |7430 |9800 | 9.000000e+00 | -- | Inf
690.06/690.28 c 690s| 19200 | 1637 | 1246k| 64.3 | 65M| 154 | 74 |8415 |3230 |8415 | 826 | 222 |7477 |9894 | 9.000000e+00 | -- | Inf
694.66/694.80 c 695s| 19300 | 1642 | 1256k| 64.4 | 65M| 154 | 89 |8415 |3217 |8415 | 826 | 222 |7511 |9965 | 9.000000e+00 | -- | Inf
698.66/698.89 c 699s| 19400 | 1670 | 1264k| 64.5 | 65M| 154 | 104 |8415 |3122 |8415 | 826 | 222 |7523 | 10k| 9.000000e+00 | -- | Inf
725.55/725.80 c 726s| 19500 | 1706 | 1341k| 68.1 | 65M| 154 | - |8415 |3126 |8415 | 826 | 222 |7728 | 10k| 9.000000e+00 | -- | Inf
731.85/732.00 c 732s| 19600 | 1723 | 1357k| 68.6 | 65M| 154 | 187 |8415 |3120 |8415 | 826 | 222 |7821 | 10k| 9.000000e+00 | -- | Inf
740.76/740.97 c 741s| 19700 | 1734 | 1379k| 69.4 | 65M| 154 | 79 |8415 |3133 |8415 | 826 | 222 |7865 | 10k| 9.000000e+00 | -- | Inf
742.36/742.52 c 743s| 19800 | 1744 | 1382k| 69.2 | 65M| 154 | 61 |8415 |3144 |8415 | 826 | 222 |7894 | 10k| 9.000000e+00 | -- | Inf
743.96/744.15 c 744s| 19900 | 1746 | 1385k| 69.0 | 65M| 154 | 69 |8415 |3135 |8415 | 826 | 222 |7894 | 10k| 9.000000e+00 | -- | Inf
745.35/745.56 c 746s| 20000 | 1748 | 1388k| 68.8 | 65M| 154 | 76 |8415 |3141 |8415 | 826 | 222 |7902 | 10k| 9.000000e+00 | -- | Inf
746.86/747.01 c 747s| 20100 | 1754 | 1390k| 68.6 | 65M| 154 | - |8415 |3136 |8415 | 826 | 222 |7905 | 10k| 9.000000e+00 | -- | Inf
748.55/748.73 c 749s| 20200 | 1756 | 1393k| 68.4 | 66M| 154 | - |8415 |3151 |8415 | 826 | 222 |7921 | 10k| 9.000000e+00 | -- | Inf
750.26/750.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.26/750.40 c 750s| 20300 | 1760 | 1396k| 68.2 | 66M| 154 | 59 |8415 |3149 |8415 | 826 | 222 |7922 | 10k| 9.000000e+00 | -- | Inf
752.56/752.72 c 753s| 20400 | 1762 | 1400k| 68.0 | 66M| 154 | - |8415 |3138 |8415 | 826 | 222 |7941 | 10k| 9.000000e+00 | -- | Inf
754.35/754.59 c 755s| 20500 | 1768 | 1403k| 67.8 | 66M| 154 | 60 |8415 |3166 |8415 | 826 | 222 |7978 | 10k| 9.000000e+00 | -- | Inf
755.95/756.10 c 756s| 20600 | 1770 | 1405k| 67.6 | 66M| 154 | - |8415 |3149 |8415 | 826 | 222 |7985 | 10k| 9.000000e+00 | -- | Inf
757.55/757.70 c 758s| 20700 | 1770 | 1408k| 67.4 | 66M| 154 | 60 |8415 |3149 |8415 | 826 | 222 |7985 | 10k| 9.000000e+00 | -- | Inf
758.95/759.17 c 759s| 20800 | 1770 | 1410k| 67.2 | 66M| 154 | 64 |8415 |3152 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
760.55/760.75 c 761s| 20900 | 1765 | 1412k| 67.0 | 66M| 154 | - |8415 |3149 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
761.95/762.20 c 762s| 21000 | 1767 | 1414k| 66.8 | 66M| 154 | 60 |8415 |3149 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
763.45/763.65 c 764s| 21100 | 1763 | 1416k| 66.5 | 66M| 154 | - |8415 |3148 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
765.15/765.33 c 765s| 21200 | 1761 | 1419k| 66.3 | 66M| 154 | 67 |8415 |3148 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
766.85/767.05 c 767s| 21300 | 1759 | 1422k| 66.2 | 66M| 154 | 72 |8415 |3148 |8415 | 826 | 222 |8005 | 10k| 9.000000e+00 | -- | Inf
768.55/768.75 c 769s| 21400 | 1759 | 1425k| 66.0 | 66M| 154 | 74 |8415 |3147 |8415 | 826 | 222 |8028 | 10k| 9.000000e+00 | -- | Inf
770.15/770.33 c 770s| 21500 | 1751 | 1428k| 65.8 | 66M| 154 | - |8415 |3144 |8415 | 826 | 222 |8044 | 10k| 9.000000e+00 | -- | Inf
772.74/772.91 c 773s| 21600 | 1763 | 1432k| 65.7 | 66M| 154 | - |8415 |3192 |8415 | 826 | 222 |8128 | 10k| 9.000000e+00 | -- | Inf
776.14/776.38 c 776s| 21700 | 1770 | 1440k| 65.8 | 66M| 154 | 94 |8415 |3171 |8415 | 826 | 222 |8129 | 10k| 9.000000e+00 | -- | Inf
780.64/780.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.64/780.80 c 781s| 21800 | 1786 | 1448k| 65.9 | 66M| 154 | 72 |8415 |3124 |8415 | 826 | 222 |8183 | 10k| 9.000000e+00 | -- | Inf
782.15/782.36 c 782s| 21900 | 1788 | 1452k| 65.7 | 66M| 154 | - |8415 |3143 |8415 | 826 | 222 |8228 | 10k| 9.000000e+00 | -- | Inf
783.94/784.12 c 784s| 22000 | 1790 | 1455k| 65.6 | 66M| 154 | - |8415 |3168 |8415 | 826 | 222 |8272 | 10k| 9.000000e+00 | -- | Inf
786.25/786.49 c 786s| 22100 | 1790 | 1459k| 65.5 | 66M| 155 | 76 |8415 |3182 |8415 | 826 | 222 |8319 | 10k| 9.000000e+00 | -- | Inf
789.84/790.08 c 790s| 22200 | 1800 | 1465k| 65.4 | 66M| 174 | 79 |8415 |3159 |8415 | 826 | 222 |8346 | 10k| 9.000000e+00 | -- | Inf
796.15/796.32 c 796s| 22300 | 1807 | 1472k| 65.5 | 66M| 174 | - |8415 |3119 |8415 | 826 | 222 |8378 | 10k| 9.000000e+00 | -- | Inf
798.94/799.14 c 799s| 22400 | 1832 | 1477k| 65.4 | 66M| 174 | 91 |8415 |3091 |8415 | 826 | 222 |8378 | 11k| 9.000000e+00 | -- | Inf
802.04/802.25 c 802s| 22500 | 1862 | 1483k| 65.4 | 66M| 174 | 85 |8415 |3088 |8415 | 826 | 222 |8394 | 11k| 9.000000e+00 | -- | Inf
804.25/804.48 c 804s| 22600 | 1859 | 1488k| 65.3 | 66M| 174 | - |8415 |3054 |8415 | 826 | 222 |8412 | 11k| 9.000000e+00 | -- | Inf
807.15/807.39 c 807s| 22700 | 1860 | 1495k| 65.3 | 66M| 174 | - |8415 |3049 |8415 | 826 | 222 |8473 | 11k| 9.000000e+00 | -- | Inf
810.55/810.79 c 811s| 22800 | 1875 | 1504k| 65.4 | 67M| 174 | - |8415 |3079 |8415 | 826 | 222 |8572 | 11k| 9.000000e+00 | -- | Inf
813.44/813.60 c 814s| 22900 | 1885 | 1510k| 65.4 | 67M| 174 | 69 |8415 |3054 |8415 | 826 | 222 |8595 | 11k| 9.000000e+00 | -- | Inf
817.05/817.23 c 817s| 23000 | 1888 | 1518k| 65.5 | 67M| 174 | - |8415 |3032 |8415 | 826 | 222 |8634 | 11k| 9.000000e+00 | -- | Inf
820.54/820.79 c 821s| 23100 | 1903 | 1526k| 65.5 | 67M| 174 | 62 |8415 |3017 |8415 | 826 | 222 |8686 | 11k| 9.000000e+00 | -- | Inf
823.24/823.42 c 823s| 23200 | 1905 | 1530k| 65.4 | 67M| 174 | 99 |8415 |2980 |8415 | 826 | 222 |8697 | 11k| 9.000000e+00 | -- | Inf
827.74/827.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.74/827.95 c 828s| 23300 | 1913 | 1538k| 65.5 | 67M| 174 | 90 |8415 |2965 |8415 | 826 | 222 |8736 | 11k| 9.000000e+00 | -- | Inf
830.14/830.37 c 830s| 23400 | 1923 | 1544k| 65.4 | 67M| 174 | 93 |8415 |2968 |8415 | 826 | 222 |8769 | 11k| 9.000000e+00 | -- | Inf
832.44/832.68 c 833s| 23500 | 1927 | 1549k| 65.4 | 67M| 174 | - |8415 |2956 |8415 | 826 | 222 |8809 | 11k| 9.000000e+00 | -- | Inf
834.04/834.27 c 834s| 23600 | 1933 | 1552k| 65.3 | 67M| 174 | - |8415 |2970 |8415 | 826 | 222 |8837 | 11k| 9.000000e+00 | -- | Inf
835.44/835.65 c 836s| 23700 | 1939 | 1556k| 65.1 | 67M| 174 | - |8415 |3014 |8415 | 826 | 222 |8881 | 11k| 9.000000e+00 | -- | Inf
836.84/837.06 c 837s| 23800 | 1941 | 1559k| 65.0 | 67M| 174 | - |8415 |2988 |8415 | 826 | 222 |8885 | 11k| 9.000000e+00 | -- | Inf
838.34/838.56 c 839s| 23900 | 1941 | 1562k| 64.9 | 67M| 174 | 58 |8415 |2959 |8415 | 826 | 222 |8904 | 11k| 9.000000e+00 | -- | Inf
839.83/840.02 c 840s| 24000 | 1944 | 1566k| 64.7 | 67M| 174 | 62 |8415 |2941 |8415 | 826 | 222 |8917 | 11k| 9.000000e+00 | -- | Inf
841.35/841.54 c 842s| 24100 | 1942 | 1569k| 64.6 | 67M| 174 | 61 |8415 |2972 |8415 | 826 | 222 |8974 | 11k| 9.000000e+00 | -- | Inf
842.64/842.89 c 843s| 24200 | 1940 | 1572k| 64.5 | 67M| 174 | 61 |8415 |2954 |8415 | 826 | 222 |8985 | 11k| 9.000000e+00 | -- | Inf
843.94/844.15 c 844s| 24300 | 1944 | 1575k| 64.3 | 67M| 174 | - |8415 |2964 |8415 | 826 | 222 |9021 | 11k| 9.000000e+00 | -- | Inf
845.23/845.40 c 845s| 24400 | 1946 | 1577k| 64.1 | 67M| 174 | 55 |8415 |2997 |8415 | 826 | 222 |9061 | 11k| 9.000000e+00 | -- | Inf
846.64/846.80 c 847s| 24500 | 1944 | 1579k| 64.0 | 67M| 174 | 59 |8415 |3008 |8415 | 826 | 222 |9084 | 11k| 9.000000e+00 | -- | Inf
847.95/848.13 c 848s| 24600 | 1942 | 1582k| 63.8 | 67M| 174 | - |8415 |3007 |8415 | 826 | 222 |9108 | 11k| 9.000000e+00 | -- | Inf
849.63/849.88 c 850s| 24700 | 1938 | 1586k| 63.7 | 67M| 174 | - |8415 |2997 |8415 | 826 | 222 |9123 | 11k| 9.000000e+00 | -- | Inf
851.14/851.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.14/851.40 c 851s| 24800 | 1948 | 1590k| 63.6 | 67M| 174 | 65 |8415 |2995 |8415 | 826 | 222 |9156 | 11k| 9.000000e+00 | -- | Inf
852.74/852.92 c 853s| 24900 | 1948 | 1593k| 63.5 | 67M| 174 | - |8415 |2975 |8415 | 826 | 222 |9166 | 11k| 9.000000e+00 | -- | Inf
854.13/854.32 c 854s| 25000 | 1952 | 1597k| 63.4 | 67M| 174 | 60 |8415 |2968 |8415 | 826 | 222 |9169 | 11k| 9.000000e+00 | -- | Inf
855.74/855.99 c 856s| 25100 | 1946 | 1601k| 63.3 | 67M| 174 | 61 |8415 |2992 |8415 | 826 | 222 |9225 | 11k| 9.000000e+00 | -- | Inf
857.34/857.55 c 858s| 25200 | 1946 | 1605k| 63.2 | 67M| 174 | 66 |8415 |2986 |8415 | 826 | 222 |9238 | 11k| 9.000000e+00 | -- | Inf
859.03/859.22 c 859s| 25300 | 1944 | 1609k| 63.1 | 67M| 174 | - |8415 |2986 |8415 | 826 | 222 |9253 | 11k| 9.000000e+00 | -- | Inf
860.43/860.64 c 861s| 25400 | 1942 | 1613k| 63.0 | 67M| 174 | - |8415 |2969 |8415 | 826 | 222 |9254 | 11k| 9.000000e+00 | -- | Inf
861.93/862.12 c 862s| 25500 | 1946 | 1616k| 62.9 | 67M| 174 | 60 |8415 |2970 |8415 | 826 | 222 |9257 | 11k| 9.000000e+00 | -- | Inf
863.24/863.43 c 863s| 25600 | 1948 | 1619k| 62.8 | 67M| 174 | 59 |8415 |2971 |8415 | 826 | 222 |9263 | 11k| 9.000000e+00 | -- | Inf
864.84/865.02 c 865s| 25700 | 1941 | 1622k| 62.6 | 67M| 174 | 63 |8415 |2971 |8415 | 826 | 222 |9334 | 11k| 9.000000e+00 | -- | Inf
866.43/866.66 c 867s| 25800 | 1941 | 1626k| 62.5 | 67M| 174 | - |8415 |2995 |8415 | 826 | 222 |9370 | 11k| 9.000000e+00 | -- | Inf
868.13/868.38 c 868s| 25900 | 1939 | 1629k| 62.4 | 67M| 174 | - |8415 |2985 |8415 | 826 | 222 |9386 | 11k| 9.000000e+00 | -- | Inf
869.93/870.13 c 870s| 26000 | 1935 | 1633k| 62.4 | 67M| 174 | - |8415 |2967 |8415 | 826 | 222 |9386 | 11k| 9.000000e+00 | -- | Inf
871.63/871.81 c 872s| 26100 | 1937 | 1637k| 62.3 | 67M| 174 | - |8415 |2978 |8415 | 826 | 222 |9397 | 11k| 9.000000e+00 | -- | Inf
873.13/873.35 c 873s| 26200 | 1937 | 1641k| 62.2 | 67M| 174 | 62 |8415 |2979 |8415 | 826 | 222 |9407 | 11k| 9.000000e+00 | -- | Inf
874.63/874.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.63/874.87 c 875s| 26300 | 1933 | 1644k| 62.0 | 67M| 174 | 63 |8415 |2964 |8415 | 826 | 222 |9409 | 11k| 9.000000e+00 | -- | Inf
877.14/877.32 c 877s| 26400 | 1937 | 1648k| 62.0 | 67M| 174 | 62 |8415 |3001 |8415 | 826 | 222 |9480 | 11k| 9.000000e+00 | -- | Inf
878.33/878.54 c 879s| 26500 | 1937 | 1649k| 61.8 | 67M| 174 | - |8415 |3037 |8415 | 826 | 222 |9517 | 11k| 9.000000e+00 | -- | Inf
880.03/880.26 c 880s| 26600 | 1939 | 1653k| 61.7 | 67M| 174 | - |8415 |3006 |8415 | 826 | 222 |9558 | 11k| 9.000000e+00 | -- | Inf
881.83/882.01 c 882s| 26700 | 1935 | 1656k| 61.6 | 67M| 174 | 67 |8415 |3001 |8415 | 826 | 222 |9600 | 11k| 9.000000e+00 | -- | Inf
886.13/886.34 c 886s| 26800 | 1931 | 1665k| 61.7 | 67M| 174 | 69 |8415 |2980 |8415 | 826 | 222 |9643 | 11k| 9.000000e+00 | -- | Inf
887.93/888.17 c 888s| 26900 | 1931 | 1669k| 61.6 | 67M| 174 | - |8415 |2978 |8415 | 826 | 222 |9658 | 11k| 9.000000e+00 | -- | Inf
889.73/889.96 c 890s| 27000 | 1933 | 1674k| 61.5 | 67M| 174 | - |8415 |2982 |8415 | 826 | 222 |9677 | 11k| 9.000000e+00 | -- | Inf
891.33/891.56 c 892s| 27100 | 1931 | 1677k| 61.4 | 67M| 174 | - |8415 |2987 |8415 | 826 | 222 |9692 | 11k| 9.000000e+00 | -- | Inf
892.53/892.78 c 893s| 27200 | 1931 | 1680k| 61.3 | 67M| 174 | - |8415 |2995 |8415 | 826 | 222 |9705 | 11k| 9.000000e+00 | -- | Inf
893.83/894.04 c 894s| 27300 | 1935 | 1682k| 61.2 | 67M| 174 | - |8415 |2992 |8415 | 826 | 222 |9706 | 11k| 9.000000e+00 | -- | Inf
895.33/895.50 c 895s| 27400 | 1929 | 1686k| 61.1 | 67M| 174 | - |8415 |2989 |8415 | 826 | 222 |9707 | 11k| 9.000000e+00 | -- | Inf
896.73/896.91 c 897s| 27500 | 1927 | 1688k| 61.0 | 67M| 174 | - |8415 |3002 |8415 | 826 | 222 |9737 | 11k| 9.000000e+00 | -- | Inf
898.23/898.49 c 898s| 27600 | 1931 | 1691k| 60.8 | 67M| 174 | 64 |8415 |2998 |8415 | 826 | 222 |9743 | 11k| 9.000000e+00 | -- | Inf
900.33/900.55 c 901s| 27700 | 1937 | 1695k| 60.7 | 67M| 174 | 52 |8415 |3014 |8415 | 826 | 222 |9765 | 11k| 9.000000e+00 | -- | Inf
903.33/903.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.33/903.56 c 904s| 27800 | 1931 | 1700k| 60.7 | 67M| 174 | 67 |8415 |2997 |8415 | 826 | 222 |9777 | 11k| 9.000000e+00 | -- | Inf
905.42/905.61 c 906s| 27900 | 1943 | 1704k| 60.6 | 67M| 174 | 72 |8415 |2930 |8415 | 826 | 222 |9815 | 11k| 9.000000e+00 | -- | Inf
907.72/907.92 c 908s| 28000 | 1946 | 1708k| 60.5 | 67M| 174 | 83 |8415 |2909 |8415 | 826 | 222 |9858 | 11k| 9.000000e+00 | -- | Inf
911.13/911.33 c 911s| 28100 | 1956 | 1714k| 60.6 | 67M| 174 | 71 |8415 |2827 |8415 | 826 | 222 |9913 | 11k| 9.000000e+00 | -- | Inf
913.52/913.79 c 914s| 28200 | 1961 | 1718k| 60.5 | 67M| 174 | 74 |8415 |2805 |8415 | 826 | 222 |9956 | 11k| 9.000000e+00 | -- | Inf
914.63/914.85 c 915s| 28300 | 1971 | 1720k| 60.3 | 67M| 174 | 72 |8415 |2823 |8415 | 826 | 222 |9980 | 11k| 9.000000e+00 | -- | Inf
916.73/916.96 c 917s| 28400 | 1969 | 1723k| 60.2 | 67M| 174 | - |8415 |2882 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
918.23/918.45 c 918s| 28500 | 1979 | 1725k| 60.1 | 67M| 174 | - |8415 |2949 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
920.22/920.40 c 920s| 28600 | 1983 | 1728k| 60.0 | 67M| 174 | - |8415 |2993 | 0 | 0 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
921.92/922.14 c 922s| 28700 | 1987 | 1730k| 59.8 | 67M| 174 | - |8415 |3048 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
923.73/923.96 c 924s| 28800 | 1987 | 1732k| 59.7 | 67M| 174 | 61 |8415 |3096 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
925.83/926.00 c 926s| 28900 | 1993 | 1735k| 59.6 | 67M| 174 | 79 |8415 |3110 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
927.43/927.65 c 928s| 29000 | 1993 | 1737k| 59.5 | 67M| 174 | 69 |8415 |3179 |8415 | 826 | 222 | 10k| 11k| 9.000000e+00 | -- | Inf
930.02/930.30 c 930s| 29100 | 1997 | 1741k| 59.4 | 68M| 174 | 73 |8415 |3251 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
932.12/932.34 c 932s| 29200 | 2001 | 1744k| 59.3 | 68M| 174 | - |8415 |3275 | 0 | 0 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
934.62/934.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.62/934.87 c 935s| 29300 | 2005 | 1747k| 59.2 | 68M| 174 | - |8415 |3268 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
936.72/936.90 c 937s| 29400 | 2005 | 1750k| 59.1 | 68M| 174 | - |8415 |3276 | 0 | 0 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
938.83/939.09 c 939s| 29500 | 2005 | 1753k| 59.0 | 68M| 174 | 66 |8415 |3271 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
941.02/941.28 c 941s| 29600 | 2007 | 1756k| 58.9 | 68M| 174 | 75 |8415 |3267 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
942.72/942.91 c 943s| 29700 | 2009 | 1758k| 58.8 | 68M| 174 | - |8415 |3230 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
945.32/945.50 c 945s| 29800 | 2011 | 1761k| 58.7 | 68M| 174 | 68 |8415 |3197 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
947.42/947.66 c 948s| 29900 | 2021 | 1765k| 58.6 | 68M| 174 | 68 |8415 |3170 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
949.92/950.17 c 950s| 30000 | 2029 | 1769k| 58.6 | 68M| 174 | - |8415 |3154 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
953.12/953.38 c 953s| 30100 | 2036 | 1774k| 58.5 | 68M| 174 | 83 |8415 |3066 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
955.92/956.14 c 956s| 30200 | 2047 | 1781k| 58.6 | 68M| 174 | 67 |8415 |3077 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
957.72/957.94 c 958s| 30300 | 2059 | 1784k| 58.5 | 68M| 174 | 63 |8415 |3035 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
959.52/959.72 c 960s| 30400 | 2061 | 1786k| 58.3 | 68M| 174 | 59 |8415 |3014 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
960.72/960.92 c 961s| 30500 | 2061 | 1787k| 58.2 | 68M| 174 | 59 |8415 |3012 |8415 | 826 | 222 | 10k| 12k| 9.000000e+00 | -- | Inf
962.91/963.11 c 963s| 30600 | 2061 | 1791k| 58.1 | 68M| 174 | 70 |8415 |3002 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
965.01/965.27 c 965s| 30700 | 2063 | 1795k| 58.1 | 68M| 174 | - |8415 |2995 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
966.82/967.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.82/967.06 c 967s| 30800 | 2065 | 1797k| 58.0 | 68M| 174 | - |8415 |3001 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
968.61/968.82 c 969s| 30900 | 2067 | 1800k| 57.9 | 68M| 174 | - |8415 |3025 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
971.61/971.80 c 972s| 31000 | 2072 | 1806k| 57.9 | 68M| 174 | - |8415 |3037 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
973.82/974.05 c 974s| 31100 | 2076 | 1811k| 57.8 | 68M| 174 | - |8415 |3061 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
976.62/976.81 c 977s| 31200 | 2080 | 1817k| 57.9 | 68M| 174 | 69 |8415 |3041 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
979.22/979.49 c 979s| 31300 | 2078 | 1823k| 57.8 | 68M| 174 | - |8415 |3037 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
981.61/981.83 c 982s| 31400 | 2082 | 1827k| 57.8 | 68M| 174 | 69 |8415 |3024 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
984.71/984.96 c 985s| 31500 | 2084 | 1834k| 57.8 | 68M| 174 | - |8415 |3032 |8415 | 826 | 222 | 11k| 12k| 9.000000e+00 | -- | Inf
987.81/988.05 c 988s| 31600 | 2082 | 1842k| 57.9 | 68M| 174 | - |8415 |3040 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
991.01/991.20 c 991s| 31700 | 2086 | 1847k| 57.9 | 68M| 174 | - |8415 |3049 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
994.01/994.23 c 994s| 31800 | 2092 | 1853k| 57.9 | 68M| 174 | 58 |8415 |3043 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
997.82/998.08 c 998s| 31900 | 2093 | 1861k| 57.9 | 68M| 174 | 79 |8415 |3040 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
999.72/999.98 c 1000s| 32000 | 2095 | 1864k| 57.9 | 68M| 174 | - |8415 |3036 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1001.92/1002.10 c 1002s| 32100 | 2097 | 1867k| 57.8 | 68M| 174 | 61 |8415 |3044 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1004.41/1004.64 c 1005s| 32200 | 2098 | 1872k| 57.8 | 69M| 174 | - |8415 |3064 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1006.71/1006.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.71/1006.99 c 1007s| 32300 | 2104 | 1877k| 57.7 | 69M| 174 | - |8415 |3068 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1008.91/1009.17 c 1009s| 32400 | 2105 | 1880k| 57.6 | 69M| 174 | - |8415 |3083 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1010.62/1010.81 c 1011s| 32500 | 2111 | 1882k| 57.5 | 69M| 174 | 64 |8415 |3120 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1012.31/1012.53 c 1013s| 32600 | 2112 | 1885k| 57.4 | 69M| 174 | 62 |8415 |3145 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1014.31/1014.52 c 1015s| 32700 | 2113 | 1888k| 57.4 | 69M| 174 | 65 |8415 |3173 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1016.31/1016.53 c 1017s| 32800 | 2112 | 1892k| 57.3 | 69M| 174 | 64 |8415 |3172 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1018.91/1019.12 c 1019s| 32900 | 2103 | 1897k| 57.3 | 69M| 174 | 57 |8415 |3118 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1023.61/1023.81 c 1024s| 33000 | 2116 | 1904k| 57.3 | 69M| 174 | - |8415 |3090 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1025.30/1025.56 c 1026s| 33100 | 2118 | 1907k| 57.2 | 69M| 174 | - |8415 |3041 |8415 | 826 | 222 | 11k| 13k| 9.000000e+00 | -- | Inf
1026.81/1027.09 c 1027s| 33200 | 2116 | 1909k| 57.1 | 69M| 174 | 59 |8415 |3049 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1028.11/1028.30 c 1028s| 33300 | 2118 | 1911k| 57.0 | 69M| 174 | 63 |8415 |3064 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1029.20/1029.43 c 1029s| 33400 | 2120 | 1912k| 56.9 | 69M| 174 | 51 |8415 |3063 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1030.31/1030.55 c 1031s| 33500 | 2120 | 1913k| 56.7 | 69M| 174 | 59 |8415 |3062 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1031.51/1031.78 c 1032s| 33600 | 2114 | 1914k| 56.6 | 68M| 174 | 87 |8415 |3042 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1034.70/1034.96 c 1035s| 33700 | 2112 | 1920k| 56.6 | 69M| 174 | 81 |8415 |2997 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1037.41/1037.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.41/1037.63 c 1038s| 33800 | 2113 | 1926k| 56.6 | 69M| 174 | - |8415 |2985 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1041.20/1041.47 c 1041s| 33900 | 2125 | 1933k| 56.7 | 69M| 174 | 79 |8415 |2984 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1043.50/1043.73 c 1044s| 34000 | 2129 | 1937k| 56.6 | 69M| 174 | 134 |8415 |2934 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1045.81/1046.06 c 1046s| 34100 | 2138 | 1941k| 56.6 | 69M| 174 | - |8415 |2932 |8415 | 826 | 222 | 12k| 13k| 9.000000e+00 | -- | Inf
1049.41/1049.67 c 1050s| 34200 | 2153 | 1947k| 56.6 | 69M| 174 | 92 |8415 |2856 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1051.70/1051.92 c 1052s| 34300 | 2151 | 1953k| 56.6 | 69M| 174 | - |8415 |2892 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1054.71/1054.98 c 1055s| 34400 | 2159 | 1958k| 56.6 | 69M| 174 | 91 |8415 |2842 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1057.91/1058.12 c 1058s| 34500 | 2185 | 1965k| 56.6 | 69M| 174 | 79 |8415 |2846 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1060.40/1060.67 c 1061s| 34600 | 2213 | 1969k| 56.6 | 69M| 174 | 72 |8415 |2853 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1063.30/1063.51 c 1064s| 34700 | 2228 | 1974k| 56.5 | 69M| 174 | - |8415 |2882 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1066.30/1066.56 c 1067s| 34800 | 2248 | 1981k| 56.6 | 70M| 174 | - |8415 |2920 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1069.80/1070.00 c 1070s| 34900 | 2271 | 1988k| 56.6 | 70M| 174 | - |8415 |2907 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1073.50/1073.77 c 1074s| 35000 | 2294 | 1996k| 56.7 | 70M| 174 | 84 |8415 |2890 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1078.20/1078.46 c 1078s| 35100 | 2316 | 2004k| 56.7 | 70M| 174 | 74 |8415 |2909 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1082.00/1082.26 c 1082s| 35200 | 2327 | 2012k| 56.8 | 70M| 174 | 76 |8415 |2906 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1086.00/1086.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.00/1086.25 c 1086s| 35300 | 2341 | 2020k| 56.9 | 70M| 174 | 68 |8415 |2894 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1088.30/1088.52 c 1089s| 35400 | 2347 | 2024k| 56.8 | 70M| 174 | - |8415 |2864 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1093.80/1094.08 c 1094s| 35500 | 2349 | 2036k| 57.0 | 70M| 174 | 73 |8415 |2956 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1095.41/1095.69 c 1096s| 35600 | 2355 | 2039k| 56.9 | 70M| 174 | 77 |8415 |2914 |8415 | 826 | 222 | 12k| 14k| 9.000000e+00 | -- | Inf
1097.39/1097.65 c 1098s| 35700 | 2363 | 2042k| 56.9 | 70M| 174 | - |8415 |2924 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1100.99/1101.27 c 1101s| 35800 | 2368 | 2049k| 56.9 | 70M| 174 | - |8415 |2918 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1103.70/1103.98 c 1104s| 35900 | 2381 | 2055k| 56.9 | 70M| 174 | 62 |8415 |2931 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1105.90/1106.12 c 1106s| 36000 | 2393 | 2057k| 56.8 | 70M| 174 | 80 |8415 |2947 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1111.70/1111.97 c 1112s| 36100 | 2415 | 2073k| 57.1 | 70M| 174 | - |8415 |2880 | 0 | 0 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1114.20/1114.46 c 1114s| 36200 | 2425 | 2078k| 57.1 | 71M| 174 | 88 |8415 |2890 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1116.00/1116.22 c 1116s| 36300 | 2425 | 2082k| 57.0 | 71M| 174 | 69 |8415 |2912 |8415 | 826 | 222 | 13k| 14k| 9.000000e+00 | -- | Inf
1120.49/1120.73 c 1121s| 36400 | 2456 | 2089k| 57.1 | 71M| 174 | - |8415 |2892 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1123.49/1123.71 c 1124s| 36500 | 2472 | 2096k| 57.1 | 71M| 174 | - |8415 |2920 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1125.99/1126.29 c 1126s| 36600 | 2469 | 2100k| 57.0 | 71M| 174 | - |8415 |2933 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1127.59/1127.85 c 1128s| 36700 | 2473 | 2102k| 57.0 | 71M| 174 | - |8415 |2938 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1129.59/1129.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.59/1129.83 c 1130s| 36800 | 2475 | 2105k| 56.9 | 71M| 174 | - |8415 |2940 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1132.80/1133.08 c 1133s| 36900 | 2489 | 2111k| 56.9 | 71M| 174 | 95 |8415 |2941 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1136.10/1136.36 c 1136s| 37000 | 2521 | 2117k| 56.9 | 71M| 174 | 73 |8415 |2976 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1138.89/1139.18 c 1139s| 37100 | 2550 | 2123k| 56.9 | 72M| 174 | - |8415 |2987 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1142.19/1142.41 c 1142s| 37200 | 2568 | 2128k| 56.9 | 72M| 174 | 90 |8415 |2988 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1145.59/1145.80 c 1146s| 37300 | 2578 | 2135k| 56.9 | 72M| 174 | 82 |8415 |3020 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1149.09/1149.30 c 1149s| 37400 | 2588 | 2143k| 57.0 | 72M| 174 | 85 |8415 |3004 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1151.99/1152.23 c 1152s| 37500 | 2610 | 2149k| 57.0 | 72M| 174 | - |8415 |3001 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1155.29/1155.54 c 1156s| 37600 | 2625 | 2155k| 57.0 | 72M| 174 | 76 |8415 |3022 |8415 | 826 | 222 | 13k| 15k| 9.000000e+00 | -- | Inf
1159.59/1159.85 c 1160s| 37700 | 2637 | 2162k| 57.0 | 72M| 174 | - |8415 |3043 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1163.69/1163.93 c 1164s| 37800 | 2645 | 2172k| 57.1 | 72M| 174 | 82 |8415 |3032 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1166.58/1166.84 c 1167s| 37900 | 2653 | 2179k| 57.2 | 72M| 174 | 74 |8415 |3000 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1169.78/1170.00 c 1170s| 38000 | 2659 | 2187k| 57.2 | 72M| 174 | - |8415 |3002 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1173.78/1174.06 c 1174s| 38100 | 2669 | 2197k| 57.3 | 72M| 174 | 76 |8415 |2994 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1178.58/1178.89 c 1179s| 38200 | 2669 | 2204k| 57.4 | 72M| 174 | 56 |8415 |2968 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1179.78/1180.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.78/1180.09 c 1180s| 38300 | 2668 | 2205k| 57.3 | 72M| 174 | 67 |8415 |2967 |8415 | 826 | 222 | 14k| 15k| 9.000000e+00 | -- | Inf
1182.79/1183.06 c 1183s| 38400 | 2662 | 2209k| 57.2 | 72M| 174 | 65 |8415 |2943 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1184.69/1184.92 c 1185s| 38500 | 2653 | 2214k| 57.2 | 72M| 174 | - |8415 |2946 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1188.18/1188.49 c 1188s| 38600 | 2666 | 2221k| 57.2 | 73M| 174 | - |8415 |3135 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1189.89/1190.19 c 1190s| 38700 | 2668 | 2226k| 57.2 | 73M| 174 | 65 |8415 |3142 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1191.49/1191.73 c 1192s| 38800 | 2670 | 2229k| 57.1 | 73M| 174 | 78 |8415 |3176 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1197.38/1197.65 c 1198s| 38900 | 2691 | 2236k| 57.2 | 73M| 174 | 84 |8415 |3121 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1200.28/1200.52 c 1201s| 39000 | 2713 | 2244k| 57.2 | 73M| 174 | 80 |8415 |3057 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1202.88/1203.10 c 1203s| 39100 | 2710 | 2248k| 57.2 | 73M| 174 | - |8415 |3074 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1206.18/1206.46 c 1206s| 39200 | 2721 | 2256k| 57.2 | 73M| 174 | 88 |8415 |3055 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1208.78/1209.05 c 1209s| 39300 | 2729 | 2263k| 57.3 | 73M| 174 | 79 |8415 |2963 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1210.98/1211.22 c 1211s| 39400 | 2741 | 2267k| 57.2 | 73M| 174 | 63 |8415 |2971 |8415 | 826 | 222 | 14k| 16k| 9.000000e+00 | -- | Inf
1213.48/1213.77 c 1214s| 39500 | 2751 | 2272k| 57.2 | 73M| 174 | - |8415 |2962 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1214.68/1214.91 c 1215s| 39600 | 2758 | 2274k| 57.1 | 73M| 174 | 67 |8415 |2961 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1215.87/1216.13 c 1216s| 39700 | 2760 | 2276k| 57.0 | 73M| 174 | 70 |8415 |2963 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1217.08/1217.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.08/1217.34 c 1217s| 39800 | 2764 | 2278k| 56.9 | 73M| 174 | 63 |8415 |2978 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1220.08/1220.37 c 1220s| 39900 | 2775 | 2283k| 56.9 | 73M| 174 | 67 |8415 |2950 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1222.37/1222.67 c 1223s| 40000 | 2786 | 2289k| 56.9 | 73M| 174 | 56 |8415 |2911 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1224.58/1224.88 c 1225s| 40100 | 2809 | 2294k| 56.9 | 73M| 174 | 69 |8415 |3010 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1227.08/1227.32 c 1227s| 40200 | 2830 | 2300k| 56.9 | 73M| 174 | 64 |8415 |3030 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1230.18/1230.47 c 1230s| 40300 | 2846 | 2307k| 56.9 | 74M| 174 | 76 |8415 |3101 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1233.28/1233.54 c 1234s| 40400 | 2864 | 2314k| 57.0 | 74M| 174 | 84 |8415 |3037 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1236.87/1237.10 c 1237s| 40500 | 2866 | 2323k| 57.1 | 73M| 174 | - |8415 |2976 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1239.28/1239.57 c 1240s| 40600 | 2872 | 2329k| 57.1 | 73M| 174 | - |8415 |2991 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1242.88/1243.18 c 1243s| 40700 | 2880 | 2339k| 57.2 | 73M| 174 | 84 |8415 |2979 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1245.27/1245.54 c 1246s| 40800 | 2878 | 2344k| 57.2 | 73M| 174 | 74 |8415 |2999 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1251.48/1251.78 c 1252s| 40900 | 2898 | 2351k| 57.2 | 74M| 174 | - |8415 |2963 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1253.68/1253.95 c 1254s| 41000 | 2892 | 2355k| 57.1 | 73M| 174 | - |8415 |2926 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1256.67/1256.92 c 1257s| 41100 | 2902 | 2360k| 57.1 | 74M| 174 | - |8415 |3003 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1260.07/1260.33 c 1260s| 41200 | 2902 | 2367k| 57.1 | 74M| 174 | 69 |8415 |3011 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1262.87/1263.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.87/1263.10 c 1263s| 41300 | 2907 | 2373k| 57.2 | 74M| 174 | 78 |8415 |2991 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1264.57/1264.81 c 1265s| 41400 | 2907 | 2376k| 57.1 | 74M| 174 | 74 |8415 |2978 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1266.17/1266.44 c 1266s| 41500 | 2915 | 2379k| 57.0 | 74M| 174 | - |8415 |2967 |8415 | 826 | 222 | 15k| 16k| 9.000000e+00 | -- | Inf
1267.97/1268.26 c 1268s| 41600 | 2921 | 2383k| 57.0 | 74M| 174 | 68 |8415 |2980 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1269.37/1269.64 c 1270s| 41700 | 2927 | 2385k| 56.9 | 74M| 174 | - |8415 |2994 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1270.77/1271.00 c 1271s| 41800 | 2929 | 2387k| 56.8 | 74M| 174 | 62 |8415 |2994 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1273.07/1273.36 c 1273s| 41900 | 2929 | 2392k| 56.8 | 74M| 174 | - |8415 |2983 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1274.97/1275.21 c 1275s| 42000 | 2935 | 2396k| 56.7 | 74M| 174 | 79 |8415 |2985 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1277.37/1277.66 c 1278s| 42100 | 2960 | 2400k| 56.7 | 74M| 174 | - |8415 |3035 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1280.27/1280.58 c 1281s| 42200 | 2986 | 2407k| 56.7 | 74M| 174 | - |8415 |3013 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1282.77/1283.05 c 1283s| 42300 | 2993 | 2413k| 56.8 | 74M| 174 | 67 |8415 |3044 |8415 | 826 | 222 | 16k| 16k| 9.000000e+00 | -- | Inf
1285.17/1285.41 c 1285s| 42400 | 3006 | 2419k| 56.8 | 75M| 174 | 70 |8415 |3037 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1287.37/1287.60 c 1288s| 42500 | 3007 | 2425k| 56.8 | 74M| 174 | - |8415 |2983 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1289.86/1290.15 c 1290s| 42600 | 3011 | 2431k| 56.8 | 74M| 174 | - |8415 |3013 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1293.66/1293.92 c 1294s| 42700 | 3013 | 2438k| 56.8 | 74M| 174 | 82 |8415 |2974 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1296.27/1296.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.27/1296.57 c 1297s| 42800 | 3025 | 2445k| 56.9 | 74M| 174 | 71 |8415 |2989 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1298.27/1298.52 c 1299s| 42900 | 3035 | 2450k| 56.8 | 75M| 174 | - |8415 |2994 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1300.16/1300.41 c 1300s| 43000 | 3031 | 2453k| 56.8 | 75M| 174 | - |8415 |2988 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1304.47/1304.73 c 1305s| 43100 | 3037 | 2465k| 56.9 | 75M| 174 | 72 |8415 |2972 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1308.06/1308.30 c 1308s| 43200 | 3040 | 2471k| 56.9 | 75M| 174 | - |8415 |2986 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1311.36/1311.69 c 1312s| 43300 | 3048 | 2477k| 56.9 | 74M| 174 | - |8415 |2893 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1315.27/1315.60 c 1316s| 43400 | 3072 | 2482k| 56.9 | 75M| 174 | 83 |8415 |2891 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1317.37/1317.61 c 1318s| 43500 | 3072 | 2486k| 56.9 | 75M| 174 | 80 |8415 |2921 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1319.67/1319.98 c 1320s| 43600 | 3067 | 2491k| 56.9 | 75M| 174 | - |8415 |2940 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1322.77/1323.00 c 1323s| 43700 | 3083 | 2497k| 56.9 | 75M| 174 | 72 |8415 |2883 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1326.16/1326.41 c 1326s| 43800 | 3100 | 2504k| 56.9 | 75M| 174 | - |8415 |2914 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1329.36/1329.61 c 1330s| 43900 | 3104 | 2511k| 56.9 | 75M| 174 | - |8415 |2887 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1331.26/1331.50 c 1331s| 44000 | 3101 | 2514k| 56.9 | 75M| 174 | - |8415 |2858 |8415 | 826 | 222 | 16k| 17k| 9.000000e+00 | -- | Inf
1333.77/1334.02 c 1334s| 44100 | 3107 | 2520k| 56.9 | 75M| 174 | 84 |8415 |2846 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1338.86/1339.11 c 1339s| 44200 | 3137 | 2532k| 57.0 | 75M| 174 | 65 |8415 |2861 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1341.16/1341.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.16/1341.40 c 1341s| 44300 | 3137 | 2538k| 57.0 | 75M| 174 | 79 |8415 |2861 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1342.66/1342.97 c 1343s| 44400 | 3139 | 2541k| 57.0 | 75M| 174 | - |8415 |2859 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1345.26/1345.50 c 1345s| 44500 | 3143 | 2546k| 56.9 | 75M| 174 | 73 |8415 |2879 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1347.35/1347.64 c 1348s| 44600 | 3143 | 2551k| 56.9 | 75M| 174 | - |8415 |2853 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1349.96/1350.20 c 1350s| 44700 | 3149 | 2556k| 56.9 | 75M| 174 | 93 |8415 |2899 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1352.46/1352.76 c 1353s| 44800 | 3176 | 2563k| 56.9 | 75M| 174 | 85 |8415 |2882 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1354.15/1354.45 c 1354s| 44900 | 3188 | 2567k| 56.9 | 75M| 174 | - |8415 |2898 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1356.06/1356.38 c 1356s| 45000 | 3196 | 2572k| 56.9 | 76M| 174 | 101 |8415 |2955 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1358.06/1358.38 c 1358s| 45100 | 3205 | 2576k| 56.8 | 76M| 174 | 72 |8415 |2916 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1360.86/1361.10 c 1361s| 45200 | 3205 | 2583k| 56.9 | 76M| 174 | 90 |8415 |2897 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1363.26/1363.58 c 1364s| 45300 | 3207 | 2589k| 56.9 | 75M| 174 | - |8415 |2895 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1366.46/1366.79 c 1367s| 45400 | 3213 | 2595k| 56.9 | 76M| 174 | 82 |8415 |2917 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1369.46/1369.71 c 1370s| 45500 | 3215 | 2601k| 56.9 | 76M| 174 | - |8415 |2956 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1371.56/1371.85 c 1372s| 45600 | 3221 | 2606k| 56.9 | 76M| 174 | 56 |8415 |2950 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1373.46/1373.77 c 1374s| 45700 | 3217 | 2609k| 56.8 | 76M| 174 | 68 |8415 |2949 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1374.86/1375.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.86/1375.14 c 1375s| 45800 | 3223 | 2611k| 56.7 | 76M| 174 | 83 |8415 |2928 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1377.45/1377.77 c 1378s| 45900 | 3224 | 2617k| 56.8 | 76M| 174 | - |8415 |2921 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1378.86/1379.19 c 1379s| 46000 | 3228 | 2620k| 56.7 | 76M| 174 | - |8415 |2936 |8415 | 826 | 222 | 17k| 17k| 9.000000e+00 | -- | Inf
1380.56/1380.81 c 1381s| 46100 | 3228 | 2622k| 56.6 | 76M| 174 | - |8415 |2977 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1382.36/1382.68 c 1383s| 46200 | 3234 | 2626k| 56.6 | 76M| 174 | 80 |8415 |3026 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1384.66/1384.94 c 1385s| 46300 | 3235 | 2632k| 56.6 | 76M| 174 | 67 |8415 |2999 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1386.95/1387.24 c 1387s| 46400 | 3250 | 2638k| 56.6 | 76M| 174 | - |8415 |2971 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1389.95/1390.30 c 1390s| 46500 | 3266 | 2644k| 56.6 | 76M| 174 | 78 |8415 |2986 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1392.46/1392.78 c 1393s| 46600 | 3270 | 2648k| 56.6 | 76M| 174 | 65 |8415 |3004 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1394.06/1394.39 c 1394s| 46700 | 3276 | 2652k| 56.5 | 76M| 174 | 69 |8415 |2977 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1395.75/1396.06 c 1396s| 46800 | 3281 | 2655k| 56.5 | 76M| 174 | - |8415 |2972 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1398.66/1398.91 c 1399s| 46900 | 3289 | 2660k| 56.5 | 76M| 174 | - |8415 |2995 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1401.75/1402.07 c 1402s| 47000 | 3289 | 2667k| 56.5 | 77M| 174 | 73 |8415 |2997 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1404.25/1404.51 c 1405s| 47100 | 3295 | 2673k| 56.5 | 77M| 174 | 74 |8415 |3008 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1407.66/1407.96 c 1408s| 47200 | 3306 | 2680k| 56.5 | 77M| 174 | 77 |8415 |3062 |8415 | 826 | 222 | 18k| 17k| 9.000000e+00 | -- | Inf
1409.86/1410.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.86/1410.13 c 1410s| 47300 | 3313 | 2685k| 56.5 | 77M| 174 | 72 |8415 |3052 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1412.05/1412.36 c 1412s| 47400 | 3326 | 2691k| 56.5 | 77M| 174 | 89 |8415 |3028 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1422.84/1423.17 c 1423s| 47500 | 3343 | 2706k| 56.7 | 77M| 174 | - |8415 |2920 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1425.44/1425.70 c 1426s| 47600 | 3358 | 2709k| 56.7 | 76M| 174 | 90 |8415 |2810 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1427.64/1427.95 c 1428s| 47700 | 3367 | 2716k| 56.7 | 76M| 174 | 94 |8415 |2841 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1430.04/1430.31 c 1430s| 47800 | 3377 | 2722k| 56.7 | 77M| 174 | - |8415 |2839 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1436.35/1436.65 c 1437s| 47900 | 3407 | 2729k| 56.7 | 77M| 174 | 92 |8415 |2800 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1440.24/1440.50 c 1440s| 48000 | 3407 | 2738k| 56.8 | 77M| 174 | - |8415 |2818 |8415 | 826 | 222 | 18k| 18k| 9.000000e+00 | -- | Inf
1441.64/1441.93 c 1442s| 48100 | 3413 | 2741k| 56.7 | 77M| 174 | - |8415 |2874 | 0 | 0 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1443.74/1444.02 c 1444s| 48200 | 3428 | 2747k| 56.7 | 77M| 174 | 71 |8415 |2892 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1446.74/1447.04 c 1447s| 48300 | 3446 | 2756k| 56.8 | 77M| 174 | 82 |8415 |2884 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1449.24/1449.51 c 1450s| 48400 | 3458 | 2763k| 56.8 | 77M| 174 | - |8415 |2865 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1453.14/1453.47 c 1453s| 48500 | 3468 | 2772k| 56.9 | 77M| 174 | - |8415 |2882 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1456.14/1456.41 c 1456s| 48600 | 3468 | 2779k| 56.9 | 77M| 174 | - |8415 |2893 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1458.54/1458.89 c 1459s| 48700 | 3495 | 2786k| 57.0 | 77M| 174 | - |8415 |2807 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1461.14/1461.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1461.14/1461.41 c 1461s| 48800 | 3519 | 2793k| 57.0 | 78M| 174 | - |8415 |2813 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1463.94/1464.27 c 1464s| 48900 | 3529 | 2801k| 57.0 | 78M| 174 | 79 |8415 |2821 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1466.94/1467.27 c 1467s| 49000 | 3539 | 2811k| 57.1 | 78M| 174 | 83 |8415 |2855 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1469.64/1469.99 c 1470s| 49100 | 3555 | 2818k| 57.1 | 78M| 174 | 71 |8415 |2820 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1471.93/1472.26 c 1472s| 49200 | 3577 | 2824k| 57.2 | 78M| 174 | 98 |8415 |2847 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1474.53/1474.82 c 1475s| 49300 | 3593 | 2831k| 57.2 | 78M| 174 | - |8415 |2860 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1476.63/1476.97 c 1477s| 49400 | 3611 | 2837k| 57.2 | 78M| 174 | 71 |8415 |2830 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1478.94/1479.26 c 1479s| 49500 | 3621 | 2843k| 57.2 | 78M| 174 | 84 |8415 |2875 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1481.63/1481.92 c 1482s| 49600 | 3637 | 2851k| 57.2 | 78M| 174 | 74 |8415 |2879 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1484.24/1484.59 c 1485s| 49700 | 3661 | 2859k| 57.3 | 79M| 174 | 71 |8415 |2886 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1486.63/1486.93 c 1487s| 49800 | 3687 | 2865k| 57.3 | 78M| 174 | 84 |8415 |2839 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1489.04/1489.37 c 1489s| 49900 | 3707 | 2872k| 57.3 | 79M| 174 | 95 |8415 |2841 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1491.24/1491.56 c 1492s| 50000 | 3723 | 2879k| 57.3 | 79M| 174 | 60 |8415 |2844 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1494.43/1494.80 c 1495s| 50100 | 3731 | 2888k| 57.4 | 79M| 174 | - |8415 |2844 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1497.43/1497.70 c 1498s| 50200 | 3749 | 2896k| 57.5 | 79M| 174 | - |8415 |2872 |8415 | 826 | 222 | 19k| 18k| 9.000000e+00 | -- | Inf
1500.74/1501.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.74/1501.09 c 1501s| 50300 | 3771 | 2904k| 57.5 | 79M| 174 | - |8415 |2873 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1503.74/1504.05 c 1504s| 50400 | 3789 | 2910k| 57.5 | 79M| 174 | 106 |8415 |2906 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1507.03/1507.33 c 1507s| 50500 | 3801 | 2917k| 57.5 | 79M| 174 | - |8415 |2894 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1510.43/1510.78 c 1511s| 50600 | 3817 | 2925k| 57.6 | 79M| 174 | - |8415 |2899 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1513.43/1513.77 c 1514s| 50700 | 3827 | 2931k| 57.6 | 79M| 174 | - |8415 |2901 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1517.83/1518.19 c 1518s| 50800 | 3845 | 2940k| 57.6 | 80M| 174 | - |8415 |2922 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1520.94/1521.30 c 1521s| 50900 | 3865 | 2948k| 57.7 | 80M| 174 | - |8415 |2901 |8415 | 826 | 222 | 20k| 18k| 9.000000e+00 | -- | Inf
1524.73/1525.07 c 1525s| 51000 | 3886 | 2956k| 57.7 | 80M| 174 | - |8415 |2954 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1528.74/1529.00 c 1529s| 51100 | 3908 | 2964k| 57.8 | 80M| 174 | - |8415 |2973 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1532.33/1532.60 c 1533s| 51200 | 3926 | 2972k| 57.8 | 80M| 174 | 71 |8415 |2922 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1536.23/1536.55 c 1537s| 51300 | 3928 | 2981k| 57.9 | 80M| 174 | - |8415 |2947 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1539.43/1539.73 c 1540s| 51400 | 3954 | 2988k| 57.9 | 80M| 174 | - |8415 |2948 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1542.73/1543.06 c 1543s| 51500 | 3984 | 2995k| 57.9 | 80M| 174 | - |8415 |2969 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1545.33/1545.64 c 1546s| 51600 | 4006 | 3000k| 57.9 | 80M| 174 | 94 |8415 |2977 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1548.62/1548.97 c 1549s| 51700 | 4025 | 3008k| 57.9 | 81M| 174 | 66 |8415 |2992 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1552.73/1553.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.73/1553.00 c 1553s| 51800 | 4033 | 3017k| 58.0 | 81M| 174 | 89 |8415 |3012 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1556.13/1556.48 c 1556s| 51900 | 4051 | 3023k| 58.0 | 81M| 174 | 78 |8415 |2995 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1559.82/1560.17 c 1560s| 52000 | 4069 | 3030k| 58.0 | 80M| 174 | 84 |8415 |2899 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1562.42/1562.75 c 1563s| 52100 | 4098 | 3036k| 58.0 | 81M| 174 | 82 |8415 |2910 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1565.43/1565.76 c 1566s| 52200 | 4134 | 3042k| 58.0 | 81M| 174 | 84 |8415 |2930 |8415 | 826 | 222 | 20k| 19k| 9.000000e+00 | -- | Inf
1568.82/1569.15 c 1569s| 52300 | 4158 | 3051k| 58.1 | 81M| 174 | 87 |8415 |2940 |8415 | 826 | 222 | 20k| 20k| 9.000000e+00 | -- | Inf
1571.72/1572.02 c 1572s| 52400 | 4178 | 3059k| 58.1 | 81M| 174 | 69 |8415 |2957 |8415 | 826 | 222 | 20k| 20k| 9.000000e+00 | -- | Inf
1575.32/1575.64 c 1576s| 52500 | 4194 | 3068k| 58.2 | 81M| 174 | - |8415 |2973 |8415 | 826 | 222 | 20k| 20k| 9.000000e+00 | -- | Inf
1579.02/1579.35 c 1579s| 52600 | 4216 | 3077k| 58.3 | 81M| 174 | 73 |8415 |2989 |8415 | 826 | 222 | 20k| 20k| 9.000000e+00 | -- | Inf
1581.82/1582.13 c 1582s| 52700 | 4234 | 3084k| 58.3 | 82M| 174 | - |8415 |3031 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1585.02/1585.37 c 1585s| 52800 | 4238 | 3093k| 58.4 | 82M| 174 | 68 |8415 |3020 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1588.91/1589.29 c 1589s| 52900 | 4246 | 3104k| 58.4 | 82M| 174 | - |8415 |3036 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1592.02/1592.39 c 1592s| 53000 | 4258 | 3113k| 58.5 | 82M| 174 | 73 |8415 |3036 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1595.32/1595.68 c 1596s| 53100 | 4274 | 3123k| 58.6 | 82M| 174 | - |8415 |3015 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1598.51/1598.81 c 1599s| 53200 | 4288 | 3131k| 58.6 | 82M| 174 | 74 |8415 |3016 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1600.62/1600.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.62/1600.92 c 1601s| 53300 | 4308 | 3137k| 58.6 | 82M| 174 | 74 |8415 |2967 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1603.42/1603.80 c 1604s| 53400 | 4322 | 3144k| 58.6 | 82M| 174 | - |8415 |2981 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1606.92/1607.29 c 1607s| 53500 | 4346 | 3152k| 58.7 | 82M| 174 | 77 |8415 |2988 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1610.81/1611.10 c 1611s| 53600 | 4358 | 3160k| 58.7 | 82M| 174 | 89 |8415 |3029 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1613.52/1613.85 c 1614s| 53700 | 4376 | 3167k| 58.7 | 82M| 174 | - |8415 |2975 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1616.42/1616.78 c 1617s| 53800 | 4404 | 3174k| 58.8 | 82M| 174 | 81 |8415 |2996 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1619.62/1619.91 c 1620s| 53900 | 4410 | 3183k| 58.8 | 82M| 174 | 77 |8415 |2982 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1622.81/1623.10 c 1623s| 54000 | 4419 | 3191k| 58.9 | 83M| 174 | 70 |8415 |3018 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1626.21/1626.53 c 1627s| 54100 | 4435 | 3199k| 58.9 | 82M| 174 | 81 |8415 |2980 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1628.41/1628.75 c 1629s| 54200 | 4454 | 3204k| 58.9 | 83M| 174 | - |8415 |3051 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1630.71/1631.07 c 1631s| 54300 | 4480 | 3209k| 58.9 | 83M| 174 | 90 |8415 |3063 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1633.92/1634.24 c 1634s| 54400 | 4498 | 3217k| 58.9 | 83M| 174 | - |8415 |3078 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1637.12/1637.42 c 1637s| 54500 | 4510 | 3224k| 58.9 | 83M| 174 | 63 |8415 |3027 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1640.31/1640.62 c 1641s| 54600 | 4518 | 3233k| 59.0 | 83M| 174 | - |8415 |2954 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1643.02/1643.37 c 1643s| 54700 | 4534 | 3240k| 59.0 | 83M| 174 | 82 |8415 |2915 |8415 | 826 | 222 | 21k| 20k| 9.000000e+00 | -- | Inf
1647.01/1647.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.01/1647.39 c 1647s| 54800 | 4548 | 3250k| 59.1 | 83M| 174 | - |8415 |2882 |8415 | 826 | 222 | 22k| 20k| 9.000000e+00 | -- | Inf
1650.51/1650.84 c 1651s| 54900 | 4556 | 3260k| 59.2 | 83M| 174 | 68 |8415 |2871 |8415 | 826 | 222 | 22k| 20k| 9.000000e+00 | -- | Inf
1653.71/1654.00 c 1654s| 55000 | 4572 | 3269k| 59.2 | 83M| 174 | 72 |8415 |2871 |8415 | 826 | 222 | 22k| 20k| 9.000000e+00 | -- | Inf
1656.51/1656.80 c 1657s| 55100 | 4583 | 3276k| 59.2 | 83M| 174 | 75 |8415 |2889 |8415 | 826 | 222 | 22k| 20k| 9.000000e+00 | -- | Inf
1662.21/1662.52 c 1663s| 55200 | 4591 | 3282k| 59.2 | 83M| 174 | 76 |8415 |2905 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1665.31/1665.61 c 1666s| 55300 | 4601 | 3291k| 59.3 | 83M| 174 | 64 |8415 |2871 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1668.32/1668.61 c 1669s| 55400 | 4615 | 3300k| 59.4 | 83M| 174 | - |8415 |2878 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1670.62/1670.95 c 1671s| 55500 | 4627 | 3306k| 59.4 | 83M| 174 | 75 |8415 |2887 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1674.50/1674.82 c 1675s| 55600 | 4632 | 3313k| 59.4 | 84M| 174 | 74 |8415 |2959 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1680.90/1681.26 c 1681s| 55700 | 4641 | 3318k| 59.4 | 84M| 174 | 65 |8415 |2931 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1683.81/1684.12 c 1684s| 55800 | 4657 | 3325k| 59.4 | 84M| 174 | - |8415 |2906 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1686.51/1686.85 c 1687s| 55900 | 4668 | 3329k| 59.3 | 84M| 174 | 89 |8415 |2898 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1689.60/1689.90 c 1690s| 56000 | 4688 | 3337k| 59.4 | 84M| 174 | 87 |8415 |2905 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1692.51/1692.89 c 1693s| 56100 | 4692 | 3344k| 59.4 | 84M| 174 | - |8415 |2898 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1694.30/1694.69 c 1695s| 56200 | 4694 | 3346k| 59.3 | 84M| 174 | 75 |8415 |2970 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1699.91/1700.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.91/1700.23 c 1700s| 56300 | 4709 | 3352k| 59.3 | 84M| 174 | 85 |8415 |2863 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1702.30/1702.60 c 1703s| 56400 | 4716 | 3358k| 59.3 | 84M| 174 | 76 |8415 |2877 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1704.90/1705.28 c 1705s| 56500 | 4722 | 3363k| 59.3 | 84M| 174 | 71 |8415 |2889 |8415 | 826 | 222 | 22k| 21k| 9.000000e+00 | -- | Inf
1710.30/1710.60 c 1711s| 56600 | 4732 | 3369k| 59.3 | 84M| 174 | - |8415 |2858 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1726.09/1726.46 c 1726s| 56700 | 4759 | 3399k| 59.7 | 84M| 174 | - |8415 |2772 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1728.59/1728.95 c 1729s| 56800 | 4771 | 3405k| 59.7 | 84M| 174 | - |8415 |2827 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1731.80/1732.18 c 1732s| 56900 | 4783 | 3412k| 59.8 | 84M| 174 | 104 |8415 |2824 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1734.69/1735.05 c 1735s| 57000 | 4786 | 3419k| 59.8 | 85M| 174 | - |8415 |2871 |8415 | 826 | 222 | 22k| 22k| 9.000000e+00 | -- | Inf
1738.20/1738.51 c 1739s| 57100 | 4788 | 3425k| 59.8 | 85M| 174 | 94 |8415 |2854 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1741.70/1742.02 c 1742s| 57200 | 4798 | 3434k| 59.8 | 85M| 174 | - |8415 |2860 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1745.50/1745.89 c 1746s| 57300 | 4795 | 3442k| 59.9 | 84M| 174 | - |8415 |2846 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1747.79/1748.16 c 1748s| 57400 | 4818 | 3449k| 59.9 | 84M| 174 | - |8415 |2827 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1749.40/1749.78 c 1750s| 57500 | 4824 | 3452k| 59.8 | 85M| 174 | - |8415 |2860 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1752.09/1752.46 c 1752s| 57600 | 4833 | 3458k| 59.8 | 85M| 174 | - |8415 |2826 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1755.30/1755.67 c 1756s| 57700 | 4844 | 3465k| 59.8 | 85M| 174 | - |8415 |2814 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1757.99/1758.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.99/1758.38 c 1758s| 57800 | 4860 | 3472k| 59.9 | 85M| 174 | - |8415 |2831 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1765.39/1765.76 c 1766s| 57900 | 4874 | 3480k| 59.9 | 85M| 174 | 121 |8415 |2774 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1767.89/1768.21 c 1768s| 58000 | 4884 | 3486k| 59.9 | 85M| 174 | - |8415 |2771 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1771.09/1771.41 c 1771s| 58100 | 4896 | 3494k| 59.9 | 85M| 174 | - |8415 |2765 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1773.69/1774.00 c 1774s| 58200 | 4909 | 3502k| 60.0 | 85M| 174 | 90 |8415 |2800 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1775.59/1775.95 c 1776s| 58300 | 4917 | 3507k| 59.9 | 85M| 174 | - |8415 |2797 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1777.59/1777.96 c 1778s| 58400 | 4925 | 3512k| 59.9 | 85M| 174 | - |8415 |2790 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1779.29/1779.68 c 1780s| 58500 | 4944 | 3517k| 59.9 | 85M| 174 | - |8415 |2796 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1781.79/1782.19 c 1782s| 58600 | 4946 | 3524k| 59.9 | 85M| 174 | - |8415 |2795 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1783.79/1784.18 c 1784s| 58700 | 4948 | 3530k| 59.9 | 85M| 174 | 68 |8415 |2803 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1786.38/1786.77 c 1787s| 58800 | 4944 | 3537k| 60.0 | 85M| 174 | 70 |8415 |2790 |8415 | 826 | 222 | 23k| 22k| 9.000000e+00 | -- | Inf
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.00
1796.68/1797.01 c Solving Nodes : 58862
1796.68/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01 c Dual Bound : +9.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 s UNKNOWN
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.00
1796.68/1797.01 c solving : 1797.00
1796.68/1797.01 c presolving : 0.57 (included in solving)
1796.68/1797.01 c reading : 0.05 (included in solving)
1796.68/1797.01 c copying : 0.05 (2 #copies) (minimal 0.02, maximal 0.03, average 0.02)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3691210-1338022567.opb
1796.68/1797.01 c Variables : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 9089 initial, 9089 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3691210-1338022567.opb
1796.68/1797.01 c Variables : 8415 (8415 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 673 initial, 3417 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c knapsack : 0.32 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.11 0.00 9 0 0 9 0 8416 0 0 0
1796.68/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 35483 0 4 0 58 6396 0 0 64196
1796.68/1797.01 c knapsack : 576 576 6 172521 0 0 3 3582380 398 3566171 1203 0 0
1796.68/1797.01 c setppc : 97 97 6 172123 0 0 2 906376 109 796943 0 0 0
1796.68/1797.01 c linear : 0+ 1309 6 1077 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c logicor : 0+ 1435 6 50517 0 0 0 39515 487 11809 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 412.22 0.00 0.00 0.00 412.22 0.00 0.00 0.00
1796.68/1797.01 c knapsack : 18.97 0.00 0.03 14.11 0.00 0.00 0.00 4.84
1796.68/1797.01 c setppc : 3.73 0.00 0.00 1.75 0.00 0.00 0.00 1.98
1796.68/1797.01 c linear : 0.02 0.00 0.01 0.01 0.00 0.00 0.00 0.00
1796.68/1797.01 c logicor : 2.53 0.00 0.00 2.15 0.00 0.00 0.00 0.38
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 0 0 0 0
1796.68/1797.01 c pseudoobj : 0 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 35489 0 0 0
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.19 0.00 0.00 0.19 0.00
1796.68/1797.01 c pseudoobj : 0.20 0.00 0.00 0.20 0.00
1796.68/1797.01 c vbounds : 0.17 0.00 0.00 0.17 0.00
1796.68/1797.01 c redcost : 4.06 0.00 0.00 4.06 0.00
1796.68/1797.01 c probing : 0.06 0.00 0.06 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 2.40 994 993 17294 291.2 5 83.0 -
1796.68/1797.01 c infeasible LP : 263.64 26925 3586 143364 588.9 7 35.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 23641 396.7 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 5 - - 1212 - (maximal pool size: 2375)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.00 0.00 6 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.04 0.00 6 0 0 43 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 0.03 0.00 6 0 0 16 0
1796.68/1797.01 c cmir : 1.51 0.00 6 0 0 2704 0
1796.68/1797.01 c flowcover : 0.91 0.00 6 0 0 1201 0
1796.68/1797.01 c clique : 0.03 0.00 6 0 0 8 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 2.45 0.00 1 0 0 0 1309
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 412.10 0.00 35483 58 6396 0 0 64196
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c oneopt : 0.10 0.00 0 0
1796.68/1797.01 c crossover : 0.07 0.00 0 0
1796.68/1797.01 c guideddiving : 0.01 0.00 0 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c linesearchdiving : 32.97 0.00 23 0
1796.68/1797.01 c fracdiving : 32.87 0.00 23 0
1796.68/1797.01 c objpscostdiving : 1.42 0.00 12 0
1796.68/1797.01 c rootsoldiving : 5.44 0.00 12 0
1796.68/1797.01 c coefdiving : 23.90 0.00 24 0
1796.68/1797.01 c pscostdiving : 31.26 0.00 24 0
1796.68/1797.01 c veclendiving : 17.29 0.00 24 0
1796.68/1797.01 c feaspump : 7.50 0.00 12 0
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.01 0.00 2 0
1796.68/1797.01 c shiftandpropagate: 0.06 0.00 1 0
1796.68/1797.01 c simplerounding : 0.04 0.00 0 0
1796.68/1797.01 c zirounding : 1.38 0.00 0 0
1796.68/1797.01 c rounding : 0.33 0.00 2595 0
1796.68/1797.01 c shifting : 3.07 0.00 786 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.13 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.20 0.00 1 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.06 0.00 0 0
1796.68/1797.01 c trysol : 0.09 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.68/1797.01 c dual LP : 889.50 61383 3127499 51.05 3516.00 0.18 117
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 124.17 19570 420442 21.48 3385.95
1796.68/1797.01 c strong branching : 409.71 23154 1169286 50.50 2853.91
1796.68/1797.01 c (at root node) : - 9 4448 494.22 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 58862
1796.68/1797.01 c nodes (total) : 58862
1796.68/1797.01 c nodes left : 4959
1796.68/1797.01 c max depth : 174
1796.68/1797.01 c max depth (total): 174
1796.68/1797.01 c backtracks : 5390 (9.2%)
1796.68/1797.01 c delayed cutoffs : 376
1796.68/1797.01 c repropagations : 35965 (181388 domain reductions, 153 cutoffs)
1796.68/1797.01 c avg switch length: 5.75
1796.68/1797.01 c switching time : 17.15
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 0 (0 improvements)
1796.68/1797.01 c Primal Bound : -
1796.68/1797.01 c Dual Bound : +9.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 c Root Dual Bound : +9.00000000000000e+00
1796.68/1797.01 c Root Iterations : 12741
1796.68/1797.08 c Time complete: 1796.78.
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-3691210-1338022567/watcher-3691210-1338022567 -o /tmp/evaluation-result-3691210-1338022567/solver-3691210-1338022567 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691210-1338022567.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.00 1.99 3/176 6688
/proc/meminfo: memFree=29816588/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=6200 CPUtime=0 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 200 0 0 0 0 0 0 0 20 0 1 0 268381156 6348800 154 33554432000 4194304 10173063 140736755529040 140734926899544 8831536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 1550 163 129 1460 0 81 0
[startup+0.037787 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 6688
/proc/meminfo: memFree=29816588/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=19916 CPUtime=0.02 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 3736 0 0 0 2 0 0 0 20 0 1 0 268381156 20393984 3690 33554432000 4194304 10173063 140736755529040 140734926899544 5285008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 4979 3690 416 1460 0 3510 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19916
[startup+0.100333 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 6688
/proc/meminfo: memFree=29816588/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=48056 CPUtime=0.08 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 10486 0 0 0 7 1 0 0 20 0 1 0 268381156 49209344 10441 33554432000 4194304 10173063 140736755529040 140734926899544 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 12014 10451 512 1460 0 10545 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 48056
[startup+0.300278 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 6688
/proc/meminfo: memFree=29816588/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=59692 CPUtime=0.28 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 13861 0 0 0 22 6 0 0 20 0 1 0 268381156 61124608 13456 33554432000 4194304 10173063 140736755529040 140736755526040 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 14923 13456 591 1460 0 13454 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 59692
[startup+0.700288 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 6688
/proc/meminfo: memFree=29816588/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=85968 CPUtime=0.69 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 20588 0 0 0 61 8 0 0 20 0 1 0 268381156 88031232 19805 33554432000 4194304 10173063 140736755529040 140736755526040 5872341 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 21492 19805 693 1460 0 20023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85968
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 6689
/proc/meminfo: memFree=29733632/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=92000 CPUtime=1.48 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 22808 0 0 0 139 9 0 0 20 0 1 0 268381156 94208000 21619 33554432000 4194304 10173063 140736755529040 140736755520296 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 23000 21619 809 1460 0 21531 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 92000
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 6689
/proc/meminfo: memFree=29680064/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=149636 CPUtime=3.09 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 36892 0 0 0 266 43 0 0 20 0 1 0 268381156 153227264 35703 33554432000 4194304 10173063 140736755529040 140736755523976 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 37409 35703 830 1460 0 35940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149636
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 6689
/proc/meminfo: memFree=29669012/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=156212 CPUtime=6.28 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 38703 0 0 0 558 70 0 0 20 0 1 0 268381156 159961088 37464 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 39053 37464 850 1460 0 37584 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 156212
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 6689
/proc/meminfo: memFree=29666804/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=156212 CPUtime=12.68 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 39194 0 0 0 1195 73 0 0 20 0 1 0 268381156 159961088 37955 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 39053 37955 857 1460 0 37584 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 156212
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 6689
/proc/meminfo: memFree=29666844/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=156212 CPUtime=25.48 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 39195 0 0 0 2470 78 0 0 20 0 1 0 268381156 159961088 37956 33554432000 4194304 10173063 140736755529040 140736755522584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 39053 37956 857 1460 0 37584 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 156212
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 6689
/proc/meminfo: memFree=29665696/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=156212 CPUtime=51.07 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 39211 0 0 0 5020 87 0 0 20 0 1 0 268381156 159961088 37972 33554432000 4194304 10173063 140736755529040 140736755522584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 39053 37972 859 1460 0 37584 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 156212
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6689
/proc/meminfo: memFree=29664840/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=156212 CPUtime=102.28 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 39211 0 0 0 10099 129 0 0 20 0 1 0 268381156 159961088 37972 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 39053 37972 859 1460 0 37584 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 156212
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 6689
/proc/meminfo: memFree=29661600/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=156212 CPUtime=162.25 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 39241 0 0 0 16042 183 0 0 20 0 1 0 268381156 159961088 38056 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 39053 38056 859 1460 0 37584 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 156212
[startup+222.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 6689
/proc/meminfo: memFree=29656380/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=156212 CPUtime=222.23 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 39250 0 0 0 21983 240 0 0 20 0 1 0 268381156 159961088 38358 33554432000 4194304 10173063 140736755529040 140736755522680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 39053 38358 859 1460 0 37584 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 156212
[startup+282.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/178 6693
/proc/meminfo: memFree=29638632/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=159572 CPUtime=282.23 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 40097 0 0 0 27921 302 0 0 20 0 1 0 268381156 163401728 39205 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 39893 39205 859 1460 0 38424 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 159572
[startup+342.3 s]
/proc/loadavg: 2.21 2.09 2.02 3/178 6716
/proc/meminfo: memFree=29634772/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=162440 CPUtime=342.22 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 42628 0 0 0 33791 431 0 0 20 0 1 0 268381156 166338560 39739 33554432000 4194304 10173063 140736755529040 140736755522344 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 40610 39739 859 1460 0 39141 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 162440
[startup+402.3 s]
/proc/loadavg: 2.17 2.10 2.03 3/177 6716
/proc/meminfo: memFree=29622188/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=167924 CPUtime=402.21 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 44654 0 0 0 39604 617 0 0 20 0 1 0 268381156 171954176 41252 33554432000 4194304 10173063 140736755529040 140736755522584 4218790 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 41981 41252 859 1460 0 40512 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 167924
[startup+462.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/177 6716
/proc/meminfo: memFree=29619572/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=170220 CPUtime=462.19 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 46179 0 0 0 45460 759 0 0 20 0 1 0 268381156 174305280 41875 33554432000 4194304 10173063 140736755529040 140736755521976 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 42555 41875 859 1460 0 41086 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 170220
[startup+522.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/177 6716
/proc/meminfo: memFree=29617712/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=172536 CPUtime=522.19 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 46738 0 0 0 51334 885 0 0 20 0 1 0 268381156 176676864 42419 33554432000 4194304 10173063 140736755529040 140736755522296 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 43134 42419 859 1460 0 41665 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 172536
[startup+582.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 6717
/proc/meminfo: memFree=29614176/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=175492 CPUtime=582.18 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 47519 0 0 0 57179 1039 0 0 20 0 1 0 268381156 179703808 43200 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 43873 43200 859 1460 0 42404 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 175492
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29590528/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=190468 CPUtime=1122.09 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 56366 0 0 0 109747 2462 0 0 20 0 1 0 268381156 195039232 46913 33554432000 4194304 10173063 140736755529040 140736755522680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 47617 46913 859 1460 0 46148 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 190468
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6721
/proc/meminfo: memFree=29588788/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=192220 CPUtime=1182.09 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 56757 0 0 0 115579 2630 0 0 20 0 1 0 268381156 196833280 47302 33554432000 4194304 10173063 140736755529040 140736755522584 4218452 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 48055 47302 859 1460 0 46586 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 192220
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6722
/proc/meminfo: memFree=29586308/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=194432 CPUtime=1242.07 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 57368 0 0 0 121401 2806 0 0 20 0 1 0 268381156 199098368 47913 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 48608 47913 859 1460 0 47139 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 194432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6722
/proc/meminfo: memFree=29583952/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=196848 CPUtime=1302.07 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 57931 0 0 0 127236 2971 0 0 20 0 1 0 268381156 201572352 48476 33554432000 4194304 10173063 140736755529040 140736755522584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 49212 48476 859 1460 0 47743 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 196848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6722
/proc/meminfo: memFree=29581472/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=198960 CPUtime=1362.05 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 59596 0 0 0 133060 3145 0 0 20 0 1 0 268381156 203735040 49059 33554432000 4194304 10173063 140736755529040 140736755522392 5966006 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 49740 49059 859 1460 0 48271 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 198960
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6722
/proc/meminfo: memFree=29579736/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=200808 CPUtime=1422.05 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 60669 0 0 0 138894 3311 0 0 20 0 1 0 268381156 205627392 49512 33554432000 4194304 10173063 140736755529040 140736755522680 4218547 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 50202 49512 859 1460 0 48733 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 200808
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6725
/proc/meminfo: memFree=29577052/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=203392 CPUtime=1482.03 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 61271 0 0 0 144814 3389 0 0 20 0 1 0 268381156 208273408 50111 33554432000 4194304 10173063 140736755529040 140736755522392 4218456 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 50848 50111 859 1460 0 49379 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 203392
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6726
/proc/meminfo: memFree=29575572/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=205064 CPUtime=1542.03 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 61720 0 0 0 150762 3441 0 0 20 0 1 0 268381156 209985536 50560 33554432000 4194304 10173063 140736755529040 140736755525512 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 51266 50560 859 1460 0 49797 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 205064
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6726
/proc/meminfo: memFree=29573340/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=207552 CPUtime=1602.02 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 62218 0 0 0 156713 3489 0 0 20 0 1 0 268381156 212533248 51058 33554432000 4194304 10173063 140736755529040 140736755522296 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 51888 51058 859 1460 0 50419 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 207552
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6726
/proc/meminfo: memFree=29571852/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=208888 CPUtime=1662.01 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 62618 0 0 0 162658 3543 0 0 20 0 1 0 268381156 213901312 51458 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52222 51458 859 1460 0 50753 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 208888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6764
/proc/meminfo: memFree=28713304/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=209784 CPUtime=1721.99 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 62933 0 0 0 168611 3588 0 0 20 0 1 0 268381156 214818816 51770 33554432000 4194304 10173063 140736755529040 140736755522008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52446 51770 859 1460 0 50977 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 209784
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6764
/proc/meminfo: memFree=27752788/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=210364 CPUtime=1781.99 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 63039 0 0 0 174554 3645 0 0 20 0 1 0 268381156 215412736 51876 33554432000 4194304 10173063 140736755529040 140736755522024 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52591 51876 859 1460 0 51122 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 210364
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6764
/proc/meminfo: memFree=27752276/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=210992 CPUtime=1785.19 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 63228 0 0 0 174871 3648 0 0 20 0 1 0 268381156 216055808 52065 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52748 52065 859 1460 0 51279 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 210992
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6764
/proc/meminfo: memFree=27752028/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=211264 CPUtime=1791.6 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 63282 0 0 0 175508 3652 0 0 20 0 1 0 268381156 216334336 52119 33554432000 4194304 10173063 140736755529040 140736755522392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52816 52119 859 1460 0 51347 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 211264
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6764
/proc/meminfo: memFree=27751764/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=211480 CPUtime=1794.8 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 63337 0 0 0 175827 3653 0 0 20 0 1 0 268381156 216555520 52174 33554432000 4194304 10173063 140736755529040 140736755522296 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52870 52174 859 1460 0 51401 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 211480
[startup+1795.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6764
/proc/meminfo: memFree=27751764/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=211480 CPUtime=1795.59 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 63337 0 0 0 175906 3653 0 0 20 0 1 0 268381156 216555520 52174 33554432000 4194304 10173063 140736755529040 140736755522168 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52870 52174 859 1460 0 51401 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 211480
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6764
/proc/meminfo: memFree=27751764/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=211480 CPUtime=1796.38 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 63337 0 0 0 175985 3653 0 0 20 0 1 0 268381156 216555520 52174 33554432000 4194304 10173063 140736755529040 140736755522584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52870 52174 859 1460 0 51401 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 211480
[startup+1796.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6764
/proc/meminfo: memFree=27751764/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=211480 CPUtime=1796.58 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 63337 0 0 0 176005 3653 0 0 20 0 1 0 268381156 216555520 52174 33554432000 4194304 10173063 140736755529040 140736755522584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52870 52174 859 1460 0 51401 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (KiB) 211480
[startup+1797 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6764
/proc/meminfo: memFree=27751764/32873844 swapFree=7388/7388
[pid=6688] ppid=6686 vsize=211480 CPUtime=1796.68 cores=0,2,4,6
/proc/6688/stat : 6688 (scip-2.1.1.4fix) R 6686 6688 6041 0 -1 4202496 63337 0 0 0 176015 3653 0 0 20 0 1 0 268381156 216555520 52174 33554432000 4194304 10173063 140736755529040 140736755522584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6688/statm: 52870 52174 859 1460 0 51401 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 211480
Child status: 0
Real time (s): 1797.09
CPU time (s): 1796.78
CPU user time (s): 1760.24
CPU system time (s): 36.5434
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 211480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.24
system time used= 36.5434
maximum resident set size= 208704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63341
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= 2461
runsolver used 3.05354 second user time and 7.44887 second system time
The end