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-3691209-1338022541.opb>
0.03/0.04 c original problem has 7164 variables (7164 bin, 0 int, 0 impl, 0 cont) and 7824 constraints
0.03/0.04 c problem read in 0.05
0.03/0.09 c presolving:
0.09/0.13 c (round 1) 9 del vars, 1 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14310 impls, 92 clqs
0.09/0.14 c (round 2) 9 del vars, 7156 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14310 impls, 92 clqs
0.09/0.17 c (round 3) 9 del vars, 7156 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 14310 impls, 92 clqs
0.49/0.51 c (0.5s) probing: 51/7155 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.51 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.49/0.52 c presolving (4 rounds):
0.49/0.52 c 9 deleted vars, 7156 deleted constraints, 0 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.52 c 14310 implications, 1640 cliques
0.49/0.52 c presolved problem has 7155 variables (7155 bin, 0 int, 0 impl, 0 cont) and 668 constraints
0.49/0.52 c 576 constraints of type <knapsack>
0.49/0.52 c 92 constraints of type <setppc>
0.49/0.52 c transformed objective value is always integral (scale: 1)
0.49/0.52 c Presolving Time: 0.46
0.49/0.52 c - non default parameters ----------------------------------------------------------------------
0.49/0.52 c # SCIP version 2.1.1.4
0.49/0.52 c
0.49/0.52 c # maximal time in seconds to run
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/time = 1797
0.49/0.52 c
0.49/0.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/memory = 13950
0.49/0.52 c
0.49/0.52 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.52 c # [type: int, range: [1,2], default: 1]
0.49/0.52 c timing/clocktype = 2
0.49/0.52 c
0.49/0.52 c # belongs reading time to solving time?
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c timing/reading = TRUE
0.49/0.52 c
0.49/0.52 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c separating/rapidlearning/freq = 0
0.49/0.52 c
0.49/0.52 c -----------------------------------------------------------------------------------------------
0.49/0.52 c start solving
0.49/0.52 c
0.59/0.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.64 c 0.6s| 1 | 0 | 1086 | - | 35M| 0 | 77 |7155 | 759 |7155 | 668 | 0 | 91 | 0 | 9.000000e+00 | -- | Inf
2.39/2.43 c 2.4s| 1 | 0 | 2803 | - | 45M| 0 | 127 |7155 |1391 |7155 | 707 | 39 | 91 | 0 | 9.000000e+00 | -- | Inf
2.79/2.82 c 2.8s| 1 | 0 | 2974 | - | 46M| 0 | 162 |7155 |1391 |7155 | 743 | 75 | 91 | 0 | 9.000000e+00 | -- | Inf
3.19/3.21 c 3.2s| 1 | 0 | 3082 | - | 47M| 0 | 198 |7155 |1391 |7155 | 777 | 109 | 91 | 0 | 9.000000e+00 | -- | Inf
3.89/3.93 c 3.9s| 1 | 0 | 4619 | - | 48M| 0 | 180 |7155 |1391 |7155 | 810 | 142 | 91 | 0 | 9.000000e+00 | -- | Inf
4.39/4.48 c 4.5s| 1 | 0 | 5280 | - | 49M| 0 | 238 |7155 |1391 |7155 | 848 | 180 | 91 | 0 | 9.000000e+00 | -- | Inf
4.99/5.07 c 5.1s| 1 | 0 | 5784 | - | 49M| 0 | 262 |7155 |1391 |7155 | 881 | 213 | 91 | 0 | 9.000000e+00 | -- | Inf
7.38/7.46 c 7.5s| 1 | 2 | 5784 | - | 49M| 0 | 262 |7155 |1391 |7155 | 881 | 213 | 91 | 17 | 9.000000e+00 | -- | Inf
44.68/44.79 c 44.8s| 100 | 87 | 24708 | 191.2 | 50M| 63 | 58 |7155 |1453 |7155 | 805 | 213 | 153 | 561 | 9.000000e+00 | -- | Inf
50.17/50.22 c 50.2s| 200 | 105 | 33373 | 138.6 | 51M| 73 | 55 |7155 |1724 |7155 | 805 | 213 | 428 | 605 | 9.000000e+00 | -- | Inf
50.97/51.09 c 51.1s| 300 | 105 | 35285 | 98.7 | 51M| 82 | - |7155 |1994 | 0 | 0 | 213 | 723 | 618 | 9.000000e+00 | -- | Inf
52.79/52.83 c 52.8s| 400 | 119 | 38788 | 82.7 | 51M| 82 | - |7155 |2167 | 0 | 0 | 213 | 947 | 651 | 9.000000e+00 | -- | Inf
54.47/54.51 c 54.5s| 500 | 121 | 41738 | 72.1 | 51M| 85 | 56 |7155 |2248 |7155 | 805 | 213 |1074 | 710 | 9.000000e+00 | -- | Inf
57.18/57.26 c 57.3s| 600 | 133 | 47035 | 68.9 | 51M| 85 | - |7155 |2388 |7155 | 805 | 213 |1225 | 760 | 9.000000e+00 | -- | Inf
59.98/60.09 c 60.1s| 700 | 133 | 51580 | 65.5 | 52M| 85 | 70 |7155 |2487 |7155 | 805 | 213 |1344 | 826 | 9.000000e+00 | -- | Inf
61.48/61.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.48/61.59 c 61.6s| 800 | 146 | 54894 | 61.5 | 52M| 85 | - |7155 |2662 |7155 | 805 | 213 |1576 | 854 | 9.000000e+00 | -- | Inf
63.07/63.14 c 63.1s| 900 | 151 | 58435 | 58.6 | 52M| 85 | - |7155 |2965 |7155 | 805 | 213 |1914 | 899 | 9.000000e+00 | -- | Inf
64.78/64.86 c 64.9s| 1000 | 161 | 62466 | 56.7 | 52M| 85 | - |7155 |3143 | 0 | 0 | 213 |2249 | 968 | 9.000000e+00 | -- | Inf
67.48/67.53 c 67.5s| 1100 | 171 | 69408 | 57.9 | 53M| 85 | 53 |7155 |3389 |7155 | 805 | 213 |2610 |1042 | 9.000000e+00 | -- | Inf
69.48/69.57 c 69.6s| 1200 | 169 | 72712 | 55.8 | 53M| 85 | - |7155 |3523 |7155 | 805 | 213 |2774 |1074 | 9.000000e+00 | -- | Inf
71.77/71.89 c 71.9s| 1300 | 193 | 78074 | 55.7 | 53M| 85 | 86 |7155 |3620 |7155 | 805 | 213 |2991 |1139 | 9.000000e+00 | -- | Inf
73.28/73.32 c 73.3s| 1400 | 221 | 82117 | 54.6 | 54M| 88 | - |7155 |3846 |7155 | 805 | 213 |3242 |1182 | 9.000000e+00 | -- | Inf
76.78/76.81 c 76.8s| 1500 | 215 | 92407 | 57.8 | 54M| 89 | 76 |7155 |4012 |7155 | 805 | 213 |3599 |1276 | 9.000000e+00 | -- | Inf
81.77/81.81 c 81.8s| 1600 | 236 |101953 | 60.1 | 54M| 89 | 90 |7155 |4160 |7155 | 805 | 213 |3849 |1347 | 9.000000e+00 | -- | Inf
83.48/83.52 c 83.5s| 1700 | 249 |105962 | 59.0 | 55M| 89 | - |7155 |4385 |7155 | 805 | 213 |4183 |1403 | 9.000000e+00 | -- | Inf
85.47/85.52 c 85.5s| 1800 | 248 |110657 | 58.3 | 55M| 89 | - |7155 |4441 |7155 | 805 | 213 |4424 |1470 | 9.000000e+00 | -- | Inf
88.07/88.10 c 88.1s| 1900 | 258 |116432 | 58.3 | 54M| 89 | 75 |7155 |4356 |7155 | 805 | 213 |4555 |1521 | 9.000000e+00 | -- | Inf
91.18/91.26 c 91.3s| 2000 | 278 |123688 | 59.0 | 54M| 89 | - |7155 |4324 |7155 | 805 | 213 |4740 |1583 | 9.000000e+00 | -- | Inf
93.57/93.61 c 93.6s| 2100 | 292 |128581 | 58.5 | 54M| 89 | 73 |7155 |4250 |7155 | 805 | 213 |4845 |1641 | 9.000000e+00 | -- | Inf
96.37/96.46 c 96.5s| 2200 | 317 |135954 | 59.2 | 55M| 89 | 66 |7155 |4383 |7155 | 805 | 213 |5109 |1703 | 9.000000e+00 | -- | Inf
99.47/99.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.47/99.50 c 99.5s| 2300 | 333 |146646 | 61.3 | 55M| 89 | - |7155 |4428 |7155 | 805 | 213 |5293 |1795 | 9.000000e+00 | -- | Inf
101.27/101.31 c 101s| 2400 | 333 |151067 | 60.6 | 55M| 89 | 81 |7155 |4384 |7155 | 805 | 213 |5440 |1862 | 9.000000e+00 | -- | Inf
107.06/107.10 c 107s| 2500 | 363 |160147 | 61.8 | 55M| 89 | 38 |7155 |4446 |7155 | 805 | 213 |5620 |1927 | 9.000000e+00 | -- | Inf
109.37/109.42 c 109s| 2600 | 354 |165889 | 61.6 | 56M| 92 | - |7155 |4598 |7155 | 805 | 213 |5834 |1983 | 9.000000e+00 | -- | Inf
112.87/112.97 c 113s| 2700 | 368 |174768 | 62.6 | 56M| 92 | 82 |7155 |4575 |7155 | 805 | 213 |6126 |2079 | 9.000000e+00 | -- | Inf
115.57/115.66 c 116s| 2800 | 373 |182285 | 63.1 | 56M| 92 | - |7155 |4591 |7155 | 805 | 213 |6358 |2158 | 9.000000e+00 | -- | Inf
117.96/118.06 c 118s| 2900 | 370 |187887 | 62.8 | 56M| 92 | 66 |7155 |4534 |7155 | 805 | 213 |6545 |2223 | 9.000000e+00 | -- | Inf
121.75/121.86 c 122s| 3000 | 380 |198401 | 64.2 | 55M| 92 | - |7155 |4356 |7155 | 805 | 213 |6714 |2335 | 9.000000e+00 | -- | Inf
128.25/128.34 c 128s| 3100 | 420 |212063 | 66.6 | 55M| 92 | 117 |7155 |4289 |7155 | 805 | 213 |6982 |2417 | 9.000000e+00 | -- | Inf
134.86/134.97 c 135s| 3200 | 447 |227625 | 69.3 | 56M| 92 | 87 |7155 |4290 |7155 | 805 | 213 |7164 |2522 | 9.000000e+00 | -- | Inf
140.55/140.69 c 141s| 3300 | 476 |240816 | 71.2 | 56M| 92 | 75 |7155 |4287 |7155 | 805 | 213 |7484 |2618 | 9.000000e+00 | -- | Inf
142.76/142.85 c 143s| 3400 | 496 |245790 | 70.6 | 56M| 99 | - |7155 |4350 | 0 | 0 | 213 |7700 |2668 | 9.000000e+00 | -- | Inf
145.25/145.31 c 145s| 3500 | 487 |252053 | 70.4 | 56M| 125 | 73 |7155 |4242 |7155 | 805 | 213 |8026 |2724 | 9.000000e+00 | -- | Inf
147.15/147.20 c 147s| 3600 | 494 |255754 | 69.5 | 56M| 125 | 63 |7155 |4189 |7155 | 805 | 213 |8316 |2775 | 9.000000e+00 | -- | Inf
149.14/149.24 c 149s| 3700 | 493 |260730 | 68.9 | 56M| 125 | 55 |7155 |4249 |7155 | 805 | 213 |8577 |2838 | 9.000000e+00 | -- | Inf
151.65/151.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.65/151.77 c 152s| 3800 | 498 |266593 | 68.7 | 56M| 125 | 99 |7155 |4202 |7155 | 805 | 213 |8756 |2900 | 9.000000e+00 | -- | Inf
154.85/154.91 c 155s| 3900 | 521 |274168 | 68.8 | 56M| 125 | 62 |7155 |4131 |7155 | 805 | 213 |8917 |2963 | 9.000000e+00 | -- | Inf
157.74/157.86 c 158s| 4000 | 561 |281555 | 69.0 | 56M| 125 | 67 |7155 |4047 |7155 | 805 | 213 |9044 |3054 | 9.000000e+00 | -- | Inf
164.64/164.76 c 165s| 4100 | 601 |295698 | 70.7 | 57M| 125 | 89 |7155 |4228 |7155 | 805 | 213 |9320 |3135 | 9.000000e+00 | -- | Inf
166.74/166.84 c 167s| 4200 | 624 |300788 | 70.3 | 57M| 125 | 68 |7155 |4378 |7155 | 805 | 213 |9556 |3196 | 9.000000e+00 | -- | Inf
168.34/168.47 c 168s| 4300 | 643 |305036 | 69.6 | 58M| 125 | 68 |7155 |4517 |7155 | 805 | 213 |9827 |3247 | 9.000000e+00 | -- | Inf
171.74/171.82 c 172s| 4400 | 664 |311813 | 69.6 | 58M| 125 | 73 |7155 |4538 |7155 | 805 | 213 | 10k|3311 | 9.000000e+00 | -- | Inf
174.94/175.01 c 175s| 4500 | 667 |317277 | 69.2 | 58M| 125 | - |7155 |4624 |7155 | 805 | 213 | 10k|3357 | 9.000000e+00 | -- | Inf
178.24/178.39 c 178s| 4600 | 686 |325601 | 69.5 | 57M| 125 | 84 |7155 |4347 |7155 | 805 | 213 | 10k|3467 | 9.000000e+00 | -- | Inf
180.83/180.90 c 181s| 4700 | 697 |334196 | 69.9 | 58M| 125 | 61 |7155 |4378 |7155 | 805 | 213 | 10k|3551 | 9.000000e+00 | -- | Inf
185.84/185.99 c 186s| 4800 | 723 |344132 | 70.5 | 58M| 125 | 66 |7155 |4243 |7155 | 805 | 213 | 10k|3631 | 9.000000e+00 | -- | Inf
189.94/190.00 c 190s| 4900 | 753 |355936 | 71.5 | 58M| 125 | 62 |7155 |4360 |7155 | 805 | 213 | 11k|3751 | 9.000000e+00 | -- | Inf
194.14/194.28 c 194s| 5000 | 786 |363108 | 71.5 | 59M| 125 | 51 |7155 |4445 |7155 | 805 | 213 | 11k|3810 | 9.000000e+00 | -- | Inf
196.94/197.04 c 197s| 5100 | 789 |369606 | 71.4 | 59M| 125 | 81 |7155 |4431 |7155 | 805 | 213 | 11k|3897 | 9.000000e+00 | -- | Inf
199.23/199.38 c 199s| 5200 | 807 |375185 | 71.1 | 59M| 125 | 66 |7155 |4455 |7155 | 805 | 213 | 12k|3964 | 9.000000e+00 | -- | Inf
201.94/202.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.94/202.07 c 202s| 5300 | 820 |381660 | 70.9 | 59M| 125 | 78 |7155 |4499 |7155 | 805 | 213 | 12k|4056 | 9.000000e+00 | -- | Inf
203.63/203.73 c 204s| 5400 | 821 |384880 | 70.2 | 59M| 125 | - |7155 |4409 |7155 | 805 | 213 | 12k|4099 | 9.000000e+00 | -- | Inf
206.83/206.93 c 207s| 5500 | 845 |391797 | 70.2 | 59M| 125 | 60 |7155 |4395 |7155 | 805 | 213 | 12k|4191 | 9.000000e+00 | -- | Inf
207.93/208.06 c 208s| 5600 | 854 |394251 | 69.4 | 60M| 125 | 64 |7155 |4631 |7155 | 805 | 213 | 12k|4226 | 9.000000e+00 | -- | Inf
209.03/209.19 c 209s| 5700 | 872 |396297 | 68.5 | 60M| 125 | - |7155 |4743 | 0 | 0 | 213 | 13k|4255 | 9.000000e+00 | -- | Inf
210.53/210.66 c 211s| 5800 | 861 |399653 | 67.9 | 60M| 125 | - |7155 |4759 | 0 | 0 | 213 | 13k|4305 | 9.000000e+00 | -- | Inf
211.83/211.91 c 212s| 5900 | 858 |401934 | 67.2 | 60M| 125 | 50 |7155 |4817 |7155 | 805 | 213 | 13k|4350 | 9.000000e+00 | -- | Inf
213.24/213.38 c 213s| 6000 | 869 |404760 | 66.5 | 60M| 125 | 95 |7155 |4676 |7155 | 805 | 213 | 13k|4391 | 9.000000e+00 | -- | Inf
215.03/215.14 c 215s| 6100 | 892 |408235 | 66.0 | 60M| 125 | 20 |7155 |4703 |7155 | 805 | 213 | 13k|4424 | 9.000000e+00 | -- | Inf
217.13/217.27 c 217s| 6200 | 887 |415376 | 66.1 | 60M| 125 | 67 |7155 |4587 |7155 | 805 | 213 | 14k|4468 | 9.000000e+00 | -- | Inf
220.73/220.85 c 221s| 6300 | 906 |421178 | 65.9 | 60M| 125 | - |7155 |4658 |7155 | 805 | 213 | 14k|4513 | 9.000000e+00 | -- | Inf
223.83/223.95 c 224s| 6400 | 923 |428326 | 66.0 | 60M| 125 | 74 |7155 |4463 |7155 | 805 | 213 | 14k|4612 | 9.000000e+00 | -- | Inf
227.23/227.32 c 227s| 6500 | 945 |433788 | 65.9 | 60M| 125 | 74 |7155 |4408 |7155 | 805 | 213 | 14k|4656 | 9.000000e+00 | -- | Inf
228.93/229.05 c 229s| 6600 | 963 |437943 | 65.5 | 60M| 125 | 50 |7155 |4429 |7155 | 805 | 213 | 14k|4710 | 9.000000e+00 | -- | Inf
231.43/231.56 c 232s| 6700 | 970 |444196 | 65.4 | 60M| 125 | 73 |7155 |4252 |7155 | 805 | 213 | 15k|4797 | 9.000000e+00 | -- | Inf
233.53/233.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.53/233.68 c 234s| 6800 | 995 |449256 | 65.2 | 60M| 125 | 63 |7155 |4281 |7155 | 805 | 213 | 15k|4870 | 9.000000e+00 | -- | Inf
235.83/235.93 c 236s| 6900 | 1011 |455008 | 65.1 | 60M| 125 | 57 |7155 |4208 |7155 | 805 | 213 | 15k|4946 | 9.000000e+00 | -- | Inf
237.92/238.04 c 238s| 7000 | 1023 |460327 | 64.9 | 61M| 125 | - |7155 |4231 |7155 | 805 | 213 | 15k|5012 | 9.000000e+00 | -- | Inf
240.23/240.37 c 240s| 7100 | 1035 |467295 | 65.0 | 61M| 125 | - |7155 |4358 |7155 | 805 | 213 | 16k|5069 | 9.000000e+00 | -- | Inf
243.93/244.05 c 244s| 7200 | 1053 |475284 | 65.2 | 60M| 125 | 57 |7155 |4100 |7155 | 805 | 213 | 16k|5190 | 9.000000e+00 | -- | Inf
246.43/246.50 c 247s| 7300 | 1069 |481673 | 65.2 | 61M| 125 | 63 |7155 |4139 |7155 | 805 | 213 | 16k|5268 | 9.000000e+00 | -- | Inf
248.92/249.06 c 249s| 7400 | 1099 |488993 | 65.3 | 61M| 125 | 72 |7155 |4084 |7155 | 805 | 213 | 16k|5343 | 9.000000e+00 | -- | Inf
250.93/251.03 c 251s| 7500 | 1092 |492936 | 65.0 | 61M| 125 | - |7155 |4179 |7155 | 805 | 213 | 17k|5399 | 9.000000e+00 | -- | Inf
253.43/253.58 c 254s| 7600 | 1097 |499064 | 64.9 | 61M| 125 | 57 |7155 |3995 |7155 | 805 | 213 | 17k|5468 | 9.000000e+00 | -- | Inf
257.02/257.15 c 257s| 7700 | 1108 |507765 | 65.2 | 61M| 125 | - |7155 |3915 |7155 | 805 | 213 | 17k|5586 | 9.000000e+00 | -- | Inf
259.32/259.49 c 259s| 7800 | 1126 |513407 | 65.1 | 61M| 125 | 57 |7155 |3815 |7155 | 805 | 213 | 17k|5655 | 9.000000e+00 | -- | Inf
261.53/261.69 c 262s| 7900 | 1121 |518078 | 64.9 | 61M| 125 | 75 |7155 |3791 |7155 | 805 | 213 | 17k|5705 | 9.000000e+00 | -- | Inf
264.82/264.91 c 265s| 8000 | 1147 |526341 | 65.1 | 61M| 125 | 60 |7155 |3633 |7155 | 805 | 213 | 18k|5809 | 9.000000e+00 | -- | Inf
266.42/266.51 c 267s| 8100 | 1153 |529813 | 64.7 | 61M| 125 | 67 |7155 |3597 |7155 | 805 | 213 | 18k|5852 | 9.000000e+00 | -- | Inf
269.02/269.14 c 269s| 8200 | 1157 |535969 | 64.7 | 61M| 125 | 72 |7155 |3509 |7155 | 805 | 213 | 18k|5921 | 9.000000e+00 | -- | Inf
271.72/271.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.72/271.83 c 272s| 8300 | 1199 |543244 | 64.8 | 61M| 125 | 77 |7155 |3561 |7155 | 805 | 213 | 18k|5997 | 9.000000e+00 | -- | Inf
273.83/273.99 c 274s| 8400 | 1235 |548686 | 64.6 | 62M| 125 | 68 |7155 |3676 |7155 | 805 | 213 | 18k|6070 | 9.000000e+00 | -- | Inf
276.32/276.47 c 276s| 8500 | 1265 |553370 | 64.4 | 62M| 125 | 58 |7155 |3704 |7155 | 805 | 213 | 19k|6124 | 9.000000e+00 | -- | Inf
278.52/278.66 c 279s| 8600 | 1303 |559716 | 64.4 | 62M| 125 | - |7155 |3790 |7155 | 805 | 213 | 19k|6210 | 9.000000e+00 | -- | Inf
280.13/280.23 c 280s| 8700 | 1314 |562923 | 64.0 | 62M| 125 | - |7155 |3782 |7155 | 805 | 213 | 19k|6256 | 9.000000e+00 | -- | Inf
282.22/282.38 c 282s| 8800 | 1343 |568555 | 64.0 | 63M| 125 | 75 |7155 |3937 |7155 | 805 | 213 | 19k|6330 | 9.000000e+00 | -- | Inf
284.22/284.30 c 284s| 8900 | 1366 |573505 | 63.8 | 63M| 125 | 75 |7155 |3916 |7155 | 805 | 213 | 19k|6390 | 9.000000e+00 | -- | Inf
285.92/286.08 c 286s| 9000 | 1383 |577641 | 63.5 | 63M| 125 | - |7155 |3923 |7155 | 805 | 213 | 20k|6449 | 9.000000e+00 | -- | Inf
287.62/287.79 c 288s| 9100 | 1399 |582342 | 63.4 | 63M| 125 | - |7155 |3984 |7155 | 805 | 213 | 20k|6488 | 9.000000e+00 | -- | Inf
289.02/289.13 c 289s| 9200 | 1389 |584990 | 63.0 | 63M| 125 | 67 |7155 |3995 |7155 | 805 | 213 | 20k|6523 | 9.000000e+00 | -- | Inf
290.92/291.07 c 291s| 9300 | 1405 |588509 | 62.7 | 63M| 125 | 70 |7155 |3960 |7155 | 805 | 213 | 20k|6605 | 9.000000e+00 | -- | Inf
292.12/292.23 c 292s| 9400 | 1426 |590916 | 62.3 | 63M| 125 | 66 |7155 |4125 |7155 | 805 | 213 | 20k|6634 | 9.000000e+00 | -- | Inf
294.52/294.69 c 295s| 9500 | 1446 |597023 | 62.2 | 63M| 125 | 53 |7155 |3973 |7155 | 805 | 213 | 21k|6694 | 9.000000e+00 | -- | Inf
295.92/296.01 c 296s| 9600 | 1485 |600285 | 61.9 | 64M| 125 | 60 |7155 |4035 |7155 | 805 | 213 | 21k|6744 | 9.000000e+00 | -- | Inf
296.93/297.04 c 297s| 9700 | 1492 |602363 | 61.5 | 64M| 125 | 42 |7155 |4172 |7155 | 805 | 213 | 21k|6780 | 9.000000e+00 | -- | Inf
298.32/298.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.32/298.44 c 298s| 9800 | 1499 |605142 | 61.2 | 64M| 125 | 68 |7155 |4084 |7155 | 805 | 213 | 21k|6812 | 9.000000e+00 | -- | Inf
300.13/300.22 c 300s| 9900 | 1519 |609038 | 60.9 | 64M| 125 | 79 |7155 |4056 |7155 | 805 | 213 | 22k|6882 | 9.000000e+00 | -- | Inf
302.92/303.03 c 303s| 10000 | 1548 |616108 | 61.0 | 65M| 125 | - |7155 |4145 |7155 | 805 | 213 | 22k|6936 | 9.000000e+00 | -- | Inf
305.31/305.46 c 305s| 10100 | 1572 |622180 | 61.0 | 65M| 125 | 57 |7155 |4033 |7155 | 805 | 213 | 22k|7014 | 9.000000e+00 | -- | Inf
307.52/307.62 c 308s| 10200 | 1607 |626787 | 60.9 | 65M| 125 | - |7155 |4081 |7155 | 805 | 213 | 22k|7064 | 9.000000e+00 | -- | Inf
309.62/309.72 c 310s| 10300 | 1627 |632539 | 60.9 | 65M| 125 | 72 |7155 |4052 |7155 | 805 | 213 | 23k|7111 | 9.000000e+00 | -- | Inf
311.82/311.97 c 312s| 10400 | 1639 |636880 | 60.7 | 65M| 125 | 73 |7155 |4051 |7155 | 805 | 213 | 23k|7178 | 9.000000e+00 | -- | Inf
313.82/313.96 c 314s| 10500 | 1658 |642217 | 60.6 | 66M| 125 | 78 |7155 |4187 |7155 | 805 | 213 | 23k|7223 | 9.000000e+00 | -- | Inf
315.53/315.62 c 316s| 10600 | 1681 |645844 | 60.4 | 66M| 125 | 81 |7155 |4260 |7155 | 805 | 213 | 23k|7264 | 9.000000e+00 | -- | Inf
317.02/317.10 c 317s| 10700 | 1696 |649240 | 60.1 | 66M| 125 | - |7155 |4223 |7155 | 805 | 213 | 23k|7287 | 9.000000e+00 | -- | Inf
318.31/318.44 c 318s| 10800 | 1707 |652616 | 59.9 | 66M| 125 | - |7155 |4259 |7155 | 805 | 213 | 24k|7300 | 9.000000e+00 | -- | Inf
320.02/320.17 c 320s| 10900 | 1719 |656660 | 59.7 | 66M| 125 | - |7155 |4277 |7155 | 805 | 213 | 24k|7338 | 9.000000e+00 | -- | Inf
321.71/321.89 c 322s| 11000 | 1720 |661455 | 59.6 | 66M| 125 | 67 |7155 |4241 |7155 | 805 | 213 | 24k|7349 | 9.000000e+00 | -- | Inf
323.11/323.28 c 323s| 11100 | 1731 |664201 | 59.3 | 66M| 125 | 76 |7155 |4323 |7155 | 805 | 213 | 24k|7385 | 9.000000e+00 | -- | Inf
324.52/324.69 c 325s| 11200 | 1736 |667601 | 59.1 | 66M| 125 | 68 |7155 |4245 |7155 | 805 | 213 | 24k|7400 | 9.000000e+00 | -- | Inf
326.11/326.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.11/326.29 c 326s| 11300 | 1745 |670610 | 58.8 | 66M| 125 | - |7155 |4320 |7155 | 805 | 213 | 24k|7441 | 9.000000e+00 | -- | Inf
327.72/327.87 c 328s| 11400 | 1750 |674140 | 58.6 | 67M| 125 | 67 |7155 |4364 |7155 | 805 | 213 | 25k|7472 | 9.000000e+00 | -- | Inf
329.22/329.32 c 329s| 11500 | 1755 |678028 | 58.5 | 67M| 125 | - |7155 |4450 |7155 | 805 | 213 | 25k|7483 | 9.000000e+00 | -- | Inf
330.61/330.74 c 331s| 11600 | 1768 |681263 | 58.2 | 66M| 125 | - |7155 |4232 |7155 | 805 | 213 | 25k|7515 | 9.000000e+00 | -- | Inf
332.01/332.19 c 332s| 11700 | 1779 |683275 | 57.9 | 67M| 125 | - |7155 |4308 |7155 | 805 | 213 | 25k|7613 | 9.000000e+00 | -- | Inf
333.61/333.73 c 334s| 11800 | 1776 |685318 | 57.6 | 67M| 125 | 66 |7155 |4375 |7155 | 805 | 213 | 26k|7720 | 9.000000e+00 | -- | Inf
334.81/334.97 c 335s| 11900 | 1794 |687396 | 57.3 | 67M| 125 | - |7155 |4424 | 0 | 0 | 213 | 26k|7746 | 9.000000e+00 | -- | Inf
336.01/336.16 c 336s| 12000 | 1794 |689837 | 57.0 | 67M| 125 | 57 |7155 |4365 |7155 | 805 | 213 | 26k|7763 | 9.000000e+00 | -- | Inf
338.51/338.64 c 339s| 12100 | 1822 |695317 | 57.0 | 67M| 125 | 37 |7155 |4616 |7155 | 805 | 213 | 27k|7875 | 9.000000e+00 | -- | Inf
339.91/340.04 c 340s| 12200 | 1838 |697499 | 56.7 | 67M| 125 | 15 |7155 |4450 |7155 | 805 | 213 | 27k|7951 | 9.000000e+00 | -- | Inf
341.41/341.55 c 342s| 12300 | 1842 |699567 | 56.4 | 67M| 125 | 24 |7155 |4501 |7155 | 805 | 213 | 27k|8037 | 9.000000e+00 | -- | Inf
343.02/343.15 c 343s| 12400 | 1843 |701515 | 56.1 | 68M| 125 | 25 |7155 |4592 |7155 | 805 | 213 | 27k|8140 | 9.000000e+00 | -- | Inf
345.11/345.22 c 345s| 12500 | 1846 |703356 | 55.8 | 68M| 125 | - |7155 |4588 | 0 | 0 | 213 | 27k|8284 | 9.000000e+00 | -- | Inf
347.21/347.33 c 347s| 12600 | 1833 |706317 | 55.6 | 68M| 125 | 39 |7155 |4589 |7155 | 805 | 213 | 27k|8428 | 9.000000e+00 | -- | Inf
348.51/348.64 c 349s| 12700 | 1849 |709490 | 55.4 | 67M| 126 | 36 |7155 |4491 |7155 | 805 | 213 | 28k|8468 | 9.000000e+00 | -- | Inf
349.91/350.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.91/350.05 c 350s| 12800 | 1838 |712510 | 55.2 | 68M| 126 | 23 |7155 |4555 |7155 | 805 | 213 | 28k|8508 | 9.000000e+00 | -- | Inf
351.51/351.65 c 352s| 12900 | 1844 |715703 | 55.0 | 68M| 126 | 31 |7155 |4486 |7155 | 805 | 213 | 28k|8558 | 9.000000e+00 | -- | Inf
353.21/353.30 c 353s| 13000 | 1843 |719147 | 54.9 | 68M| 126 | 27 |7155 |4465 |7155 | 805 | 213 | 28k|8601 | 9.000000e+00 | -- | Inf
354.51/354.69 c 355s| 13100 | 1849 |722545 | 54.7 | 68M| 136 | - |7155 |4449 |7155 | 805 | 213 | 28k|8631 | 9.000000e+00 | -- | Inf
355.61/355.72 c 356s| 13200 | 1859 |724139 | 54.4 | 68M| 136 | - |7155 |4421 |7155 | 805 | 213 | 29k|8657 | 9.000000e+00 | -- | Inf
356.81/356.90 c 357s| 13300 | 1832 |726106 | 54.2 | 68M| 136 | 28 |7155 |4457 |7155 | 805 | 213 | 29k|8718 | 9.000000e+00 | -- | Inf
358.21/358.35 c 358s| 13400 | 1837 |727880 | 53.9 | 67M| 136 | - |7155 |4425 |7155 | 805 | 213 | 29k|8759 | 9.000000e+00 | -- | Inf
359.91/360.08 c 360s| 13500 | 1845 |730158 | 53.7 | 68M| 136 | - |7155 |4458 | 0 | 0 | 213 | 29k|8811 | 9.000000e+00 | -- | Inf
361.31/361.46 c 361s| 13600 | 1830 |732567 | 53.4 | 67M| 136 | 32 |7155 |4417 |7155 | 805 | 213 | 29k|8892 | 9.000000e+00 | -- | Inf
362.82/362.95 c 363s| 13700 | 1859 |735044 | 53.2 | 68M| 136 | - |7155 |4533 |7155 | 805 | 213 | 30k|8979 | 9.000000e+00 | -- | Inf
364.02/364.14 c 364s| 13800 | 1870 |737920 | 53.1 | 68M| 136 | - |7155 |4490 |7155 | 805 | 213 | 30k|9012 | 9.000000e+00 | -- | Inf
365.21/365.30 c 365s| 13900 | 1847 |740218 | 52.8 | 68M| 139 | - |7155 |4460 | 0 | 0 | 213 | 30k|9045 | 9.000000e+00 | -- | Inf
366.51/366.62 c 367s| 14000 | 1849 |742155 | 52.6 | 68M| 139 | - |7155 |4500 |7155 | 805 | 213 | 30k|9087 | 9.000000e+00 | -- | Inf
367.61/367.79 c 368s| 14100 | 1827 |744451 | 52.4 | 68M| 139 | 49 |7155 |4476 |7155 | 805 | 213 | 31k|9114 | 9.000000e+00 | -- | Inf
369.21/369.31 c 369s| 14200 | 1841 |748311 | 52.3 | 67M| 139 | 45 |7155 |4268 |7155 | 805 | 213 | 31k|9168 | 9.000000e+00 | -- | Inf
370.31/370.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.31/370.43 c 370s| 14300 | 1851 |750485 | 52.1 | 68M| 139 | 32 |7155 |4260 |7155 | 805 | 213 | 31k|9215 | 9.000000e+00 | -- | Inf
371.90/372.07 c 372s| 14400 | 1860 |754196 | 52.0 | 68M| 139 | 35 |7155 |4261 |7155 | 805 | 213 | 31k|9284 | 9.000000e+00 | -- | Inf
373.30/373.40 c 373s| 14500 | 1849 |756860 | 51.8 | 68M| 139 | - |7155 |4277 |7155 | 805 | 213 | 31k|9343 | 9.000000e+00 | -- | Inf
374.71/374.81 c 375s| 14600 | 1846 |759254 | 51.6 | 68M| 139 | 46 |7155 |4348 |7155 | 805 | 213 | 32k|9405 | 9.000000e+00 | -- | Inf
376.41/376.59 c 377s| 14700 | 1884 |762488 | 51.5 | 68M| 139 | - |7155 |4339 |7155 | 805 | 213 | 32k|9452 | 9.000000e+00 | -- | Inf
377.71/377.85 c 378s| 14800 | 1892 |764831 | 51.3 | 68M| 139 | 31 |7155 |4091 |7155 | 805 | 213 | 32k|9498 | 9.000000e+00 | -- | Inf
379.01/379.14 c 379s| 14900 | 1891 |767042 | 51.1 | 68M| 139 | 31 |7155 |4091 |7155 | 805 | 213 | 32k|9526 | 9.000000e+00 | -- | Inf
380.51/380.63 c 381s| 15000 | 1892 |769413 | 50.9 | 68M| 139 | - |7155 |4177 |7155 | 805 | 213 | 33k|9575 | 9.000000e+00 | -- | Inf
382.00/382.13 c 382s| 15100 | 1869 |772500 | 50.8 | 68M| 139 | 26 |7155 |4265 |7155 | 805 | 213 | 33k|9628 | 9.000000e+00 | -- | Inf
383.21/383.34 c 383s| 15200 | 1867 |774635 | 50.6 | 68M| 139 | - |7155 |4291 |7155 | 805 | 213 | 33k|9643 | 9.000000e+00 | -- | Inf
384.31/384.40 c 384s| 15300 | 1875 |777023 | 50.4 | 68M| 139 | - |7155 |4311 |7155 | 805 | 213 | 33k|9658 | 9.000000e+00 | -- | Inf
386.81/386.90 c 387s| 15400 | 1848 |782443 | 50.4 | 68M| 139 | 36 |7155 |4364 |7155 | 805 | 213 | 33k|9736 | 9.000000e+00 | -- | Inf
388.01/388.11 c 388s| 15500 | 1857 |784880 | 50.3 | 68M| 139 | 14 |7155 |4448 |7155 | 805 | 213 | 34k|9767 | 9.000000e+00 | -- | Inf
389.70/389.88 c 390s| 15600 | 1851 |788596 | 50.2 | 68M| 139 | 33 |7155 |4400 |7155 | 805 | 213 | 34k|9821 | 9.000000e+00 | -- | Inf
392.20/392.31 c 392s| 15700 | 1833 |792780 | 50.1 | 67M| 139 | 47 |7155 |4215 |7155 | 805 | 213 | 34k|9951 | 9.000000e+00 | -- | Inf
393.91/394.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.91/394.03 c 394s| 15800 | 1865 |796261 | 50.0 | 68M| 139 | 42 |7155 |4274 |7155 | 805 | 213 | 34k| 10k| 9.000000e+00 | -- | Inf
395.30/395.43 c 395s| 15900 | 1875 |798976 | 49.9 | 68M| 139 | - |7155 |4404 |7155 | 805 | 213 | 35k| 10k| 9.000000e+00 | -- | Inf
396.70/396.90 c 397s| 16000 | 1877 |801402 | 49.7 | 68M| 139 | - |7155 |4239 |7155 | 805 | 213 | 35k| 10k| 9.000000e+00 | -- | Inf
398.11/398.28 c 398s| 16100 | 1883 |804812 | 49.6 | 68M| 139 | - |7155 |4274 |7155 | 805 | 213 | 35k| 10k| 9.000000e+00 | -- | Inf
399.80/399.96 c 400s| 16200 | 1890 |808280 | 49.5 | 68M| 139 | - |7155 |4277 |7155 | 805 | 213 | 35k| 10k| 9.000000e+00 | -- | Inf
401.50/401.65 c 402s| 16300 | 1889 |811849 | 49.5 | 68M| 139 | - |7155 |4350 |7155 | 805 | 213 | 35k| 10k| 9.000000e+00 | -- | Inf
403.11/403.29 c 403s| 16400 | 1903 |815864 | 49.4 | 68M| 139 | 54 |7155 |4385 |7155 | 805 | 213 | 36k| 10k| 9.000000e+00 | -- | Inf
405.20/405.33 c 405s| 16500 | 1892 |820516 | 49.4 | 68M| 139 | 32 |7155 |4379 |7155 | 805 | 213 | 36k| 10k| 9.000000e+00 | -- | Inf
406.50/406.61 c 407s| 16600 | 1909 |824321 | 49.3 | 68M| 139 | 15 |7155 |4392 |7155 | 805 | 213 | 36k| 10k| 9.000000e+00 | -- | Inf
407.80/407.98 c 408s| 16700 | 1904 |827269 | 49.2 | 68M| 139 | - |7155 |4388 |7155 | 805 | 213 | 36k| 10k| 9.000000e+00 | -- | Inf
409.31/409.45 c 409s| 16800 | 1924 |831185 | 49.1 | 68M| 139 | - |7155 |4359 |7155 | 805 | 213 | 36k| 10k| 9.000000e+00 | -- | Inf
411.21/411.32 c 411s| 16900 | 1936 |834870 | 49.1 | 68M| 139 | 24 |7155 |4358 |7155 | 805 | 213 | 36k| 10k| 9.000000e+00 | -- | Inf
412.50/412.69 c 413s| 17000 | 1933 |838474 | 49.0 | 68M| 139 | 38 |7155 |4392 |7155 | 805 | 213 | 36k| 10k| 9.000000e+00 | -- | Inf
413.90/414.04 c 414s| 17100 | 1941 |841439 | 48.9 | 69M| 139 | - |7155 |4429 |7155 | 805 | 213 | 37k| 10k| 9.000000e+00 | -- | Inf
415.61/415.74 c 416s| 17200 | 1950 |845343 | 48.8 | 69M| 139 | - |7155 |4417 |7155 | 805 | 213 | 37k| 10k| 9.000000e+00 | -- | Inf
416.90/417.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.90/417.06 c 417s| 17300 | 1969 |848435 | 48.7 | 69M| 139 | - |7155 |4458 |7155 | 805 | 213 | 37k| 10k| 9.000000e+00 | -- | Inf
418.20/418.33 c 418s| 17400 | 1897 |851667 | 48.6 | 68M| 139 | - |7155 |4451 |7155 | 805 | 213 | 37k| 10k| 9.000000e+00 | -- | Inf
419.19/419.37 c 419s| 17500 | 1907 |853422 | 48.4 | 68M| 139 | - |7155 |4435 |7155 | 805 | 213 | 37k| 10k| 9.000000e+00 | -- | Inf
420.60/420.75 c 421s| 17600 | 1907 |856191 | 48.3 | 68M| 139 | - |7155 |4489 |7155 | 805 | 213 | 38k| 10k| 9.000000e+00 | -- | Inf
422.00/422.16 c 422s| 17700 | 1934 |859465 | 48.2 | 68M| 139 | 25 |7155 |4448 |7155 | 805 | 213 | 38k| 10k| 9.000000e+00 | -- | Inf
423.50/423.60 c 424s| 17800 | 1938 |862674 | 48.1 | 69M| 139 | 34 |7155 |4491 |7155 | 805 | 213 | 38k| 10k| 9.000000e+00 | -- | Inf
424.79/424.92 c 425s| 17900 | 1915 |865589 | 48.0 | 68M| 139 | 46 |7155 |4424 |7155 | 805 | 213 | 38k| 10k| 9.000000e+00 | -- | Inf
425.99/426.19 c 426s| 18000 | 1888 |868358 | 47.9 | 68M| 139 | 37 |7155 |4457 |7155 | 805 | 213 | 39k| 10k| 9.000000e+00 | -- | Inf
427.20/427.34 c 427s| 18100 | 1906 |870981 | 47.8 | 68M| 139 | - |7155 |4419 |7155 | 805 | 213 | 39k| 10k| 9.000000e+00 | -- | Inf
428.59/428.73 c 429s| 18200 | 1903 |873614 | 47.7 | 68M| 139 | - |7155 |4430 | 0 | 0 | 213 | 39k| 10k| 9.000000e+00 | -- | Inf
430.90/431.01 c 431s| 18300 | 1900 |878428 | 47.7 | 69M| 139 | - |7155 |4573 |7155 | 805 | 213 | 39k| 10k| 9.000000e+00 | -- | Inf
433.70/433.86 c 434s| 18400 | 1910 |885709 | 47.8 | 69M| 139 | 36 |7155 |4554 |7155 | 805 | 213 | 39k| 10k| 9.000000e+00 | -- | Inf
434.99/435.13 c 435s| 18500 | 1907 |888923 | 47.7 | 69M| 139 | 44 |7155 |4597 |7155 | 805 | 213 | 40k| 10k| 9.000000e+00 | -- | Inf
436.30/436.45 c 436s| 18600 | 1895 |892046 | 47.7 | 69M| 139 | - |7155 |4672 |7155 | 805 | 213 | 40k| 11k| 9.000000e+00 | -- | Inf
437.30/437.48 c 437s| 18700 | 1905 |893879 | 47.5 | 69M| 139 | - |7155 |4679 |7155 | 805 | 213 | 40k| 11k| 9.000000e+00 | -- | Inf
438.89/439.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.89/439.01 c 439s| 18800 | 1900 |898012 | 47.5 | 69M| 139 | 31 |7155 |4606 |7155 | 805 | 213 | 40k| 11k| 9.000000e+00 | -- | Inf
439.90/440.02 c 440s| 18900 | 1902 |900510 | 47.3 | 69M| 139 | 27 |7155 |4704 |7155 | 805 | 213 | 40k| 11k| 9.000000e+00 | -- | Inf
441.70/441.86 c 442s| 19000 | 1904 |906622 | 47.4 | 69M| 139 | 31 |7155 |4657 |7155 | 805 | 213 | 40k| 11k| 9.000000e+00 | -- | Inf
443.80/443.98 c 444s| 19100 | 1899 |911948 | 47.4 | 69M| 139 | 38 |7155 |4683 |7155 | 805 | 213 | 40k| 11k| 9.000000e+00 | -- | Inf
445.49/445.63 c 446s| 19200 | 1903 |915770 | 47.4 | 69M| 139 | - |7155 |4704 |7155 | 805 | 213 | 40k| 11k| 9.000000e+00 | -- | Inf
447.29/447.40 c 447s| 19300 | 1908 |920389 | 47.4 | 69M| 139 | - |7155 |4688 |7155 | 805 | 213 | 41k| 11k| 9.000000e+00 | -- | Inf
448.89/449.02 c 449s| 19400 | 1905 |924282 | 47.3 | 69M| 145 | - |7155 |4622 |7155 | 805 | 213 | 41k| 11k| 9.000000e+00 | -- | Inf
450.99/451.13 c 451s| 19500 | 1914 |929042 | 47.3 | 69M| 145 | 30 |7155 |4630 |7155 | 805 | 213 | 41k| 11k| 9.000000e+00 | -- | Inf
452.79/452.95 c 453s| 19600 | 1916 |933389 | 47.3 | 69M| 145 | - |7155 |4638 |7155 | 805 | 213 | 41k| 11k| 9.000000e+00 | -- | Inf
454.39/454.53 c 455s| 19700 | 1865 |937833 | 47.3 | 68M| 145 | - |7155 |4662 |7155 | 805 | 213 | 41k| 11k| 9.000000e+00 | -- | Inf
455.89/456.09 c 456s| 19800 | 1867 |941821 | 47.3 | 68M| 145 | 45 |7155 |4599 |7155 | 805 | 213 | 41k| 11k| 9.000000e+00 | -- | Inf
457.29/457.46 c 457s| 19900 | 1862 |946174 | 47.3 | 69M| 145 | - |7155 |4673 |7155 | 805 | 213 | 42k| 11k| 9.000000e+00 | -- | Inf
458.50/458.62 c 459s| 20000 | 1849 |949260 | 47.2 | 68M| 145 | 51 |7155 |4659 |7155 | 805 | 213 | 42k| 11k| 9.000000e+00 | -- | Inf
459.49/459.65 c 460s| 20100 | 1864 |951686 | 47.1 | 68M| 145 | - |7155 |4654 |7155 | 805 | 213 | 42k| 11k| 9.000000e+00 | -- | Inf
461.09/461.26 c 461s| 20200 | 1870 |956082 | 47.0 | 68M| 145 | 57 |7155 |4490 |7155 | 805 | 213 | 42k| 11k| 9.000000e+00 | -- | Inf
463.59/463.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.59/463.72 c 464s| 20300 | 1871 |962697 | 47.1 | 69M| 145 | 74 |7155 |4452 |7155 | 805 | 213 | 42k| 11k| 9.000000e+00 | -- | Inf
464.78/464.95 c 465s| 20400 | 1893 |965010 | 47.0 | 69M| 145 | - |7155 |4488 |7155 | 805 | 213 | 43k| 11k| 9.000000e+00 | -- | Inf
466.39/466.53 c 467s| 20500 | 1895 |968538 | 47.0 | 69M| 145 | - |7155 |4445 |7155 | 805 | 213 | 43k| 11k| 9.000000e+00 | -- | Inf
468.69/468.83 c 469s| 20600 | 1919 |974056 | 47.0 | 69M| 145 | 64 |7155 |4259 |7155 | 805 | 213 | 43k| 11k| 9.000000e+00 | -- | Inf
470.09/470.29 c 470s| 20700 | 1934 |977812 | 47.0 | 69M| 145 | 52 |7155 |4425 |7155 | 805 | 213 | 43k| 11k| 9.000000e+00 | -- | Inf
471.79/471.93 c 472s| 20800 | 1951 |981558 | 46.9 | 69M| 145 | - |7155 |4486 |7155 | 805 | 213 | 43k| 11k| 9.000000e+00 | -- | Inf
474.78/474.92 c 475s| 20900 | 1960 |989277 | 47.1 | 69M| 145 | 46 |7155 |4410 |7155 | 805 | 213 | 44k| 11k| 9.000000e+00 | -- | Inf
475.78/475.95 c 476s| 21000 | 1984 |992156 | 47.0 | 70M| 145 | - |7155 |4512 |7155 | 805 | 213 | 44k| 11k| 9.000000e+00 | -- | Inf
476.89/477.07 c 477s| 21100 | 1982 |994826 | 46.9 | 70M| 145 | 61 |7155 |4544 |7155 | 805 | 213 | 44k| 11k| 9.000000e+00 | -- | Inf
482.89/483.04 c 483s| 21200 | 2019 | 1006k| 47.2 | 69M| 145 | 66 |7155 |4250 |7155 | 805 | 213 | 44k| 11k| 9.000000e+00 | -- | Inf
484.68/484.85 c 485s| 21300 | 2043 | 1011k| 47.2 | 70M| 145 | 65 |7155 |4341 |7155 | 805 | 213 | 44k| 11k| 9.000000e+00 | -- | Inf
485.99/486.16 c 486s| 21400 | 2055 | 1013k| 47.1 | 70M| 145 | - |7155 |4243 |7155 | 805 | 213 | 45k| 11k| 9.000000e+00 | -- | Inf
487.68/487.86 c 488s| 21500 | 2067 | 1018k| 47.1 | 70M| 145 | - |7155 |4091 |7155 | 805 | 213 | 45k| 11k| 9.000000e+00 | -- | Inf
488.99/489.10 c 489s| 21600 | 2073 | 1020k| 47.0 | 70M| 145 | - |7155 |3953 |7155 | 805 | 213 | 45k| 11k| 9.000000e+00 | -- | Inf
492.28/492.45 c 492s| 21700 | 2090 | 1026k| 47.0 | 70M| 145 | 65 |7155 |3839 |7155 | 805 | 213 | 45k| 11k| 9.000000e+00 | -- | Inf
493.39/493.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.39/493.54 c 494s| 21800 | 2100 | 1028k| 46.9 | 70M| 145 | - |7155 |3945 |7155 | 805 | 213 | 45k| 11k| 9.000000e+00 | -- | Inf
494.89/495.08 c 495s| 21900 | 2109 | 1032k| 46.9 | 70M| 145 | 61 |7155 |3899 |7155 | 805 | 213 | 46k| 11k| 9.000000e+00 | -- | Inf
497.09/497.26 c 497s| 22000 | 2122 | 1038k| 46.9 | 70M| 145 | - |7155 |3858 |7155 | 805 | 213 | 46k| 11k| 9.000000e+00 | -- | Inf
498.78/498.92 c 499s| 22100 | 2138 | 1042k| 46.9 | 70M| 145 | - |7155 |3852 | 0 | 0 | 213 | 46k| 12k| 9.000000e+00 | -- | Inf
500.48/500.64 c 501s| 22200 | 2168 | 1047k| 46.9 | 70M| 145 | 52 |7155 |3859 |7155 | 805 | 213 | 46k| 12k| 9.000000e+00 | -- | Inf
501.98/502.14 c 502s| 22300 | 2178 | 1051k| 46.9 | 71M| 145 | 64 |7155 |3869 |7155 | 805 | 213 | 46k| 12k| 9.000000e+00 | -- | Inf
503.38/503.57 c 504s| 22400 | 2213 | 1054k| 46.8 | 71M| 145 | 30 |7155 |3881 |7155 | 805 | 213 | 46k| 12k| 9.000000e+00 | -- | Inf
504.18/504.37 c 504s| 22500 | 2226 | 1056k| 46.7 | 71M| 145 | - |7155 |4149 | 0 | 0 | 213 | 47k| 12k| 9.000000e+00 | -- | Inf
505.18/505.36 c 505s| 22600 | 2213 | 1057k| 46.6 | 71M| 145 | - |7155 |4252 |7155 | 805 | 213 | 47k| 12k| 9.000000e+00 | -- | Inf
506.48/506.61 c 507s| 22700 | 2223 | 1059k| 46.4 | 71M| 145 | 35 |7155 |4319 |7155 | 805 | 213 | 47k| 12k| 9.000000e+00 | -- | Inf
507.58/507.72 c 508s| 22800 | 2217 | 1060k| 46.3 | 71M| 145 | 29 |7155 |4352 |7155 | 805 | 213 | 47k| 12k| 9.000000e+00 | -- | Inf
508.98/509.17 c 509s| 22900 | 2217 | 1065k| 46.3 | 72M| 145 | 90 |7155 |4430 |7155 | 805 | 213 | 48k| 12k| 9.000000e+00 | -- | Inf
511.18/511.36 c 511s| 23000 | 2252 | 1071k| 46.3 | 72M| 145 | - |7155 |4297 |7155 | 805 | 213 | 48k| 12k| 9.000000e+00 | -- | Inf
513.08/513.25 c 513s| 23100 | 2266 | 1076k| 46.3 | 72M| 145 | - |7155 |4285 |7155 | 805 | 213 | 48k| 12k| 9.000000e+00 | -- | Inf
514.28/514.45 c 514s| 23200 | 2281 | 1079k| 46.3 | 72M| 145 | 41 |7155 |4437 |7155 | 805 | 213 | 48k| 12k| 9.000000e+00 | -- | Inf
516.28/516.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.28/516.42 c 516s| 23300 | 2287 | 1085k| 46.3 | 72M| 145 | 68 |7155 |4335 |7155 | 805 | 213 | 48k| 12k| 9.000000e+00 | -- | Inf
520.97/521.10 c 521s| 23400 | 2316 | 1093k| 46.5 | 72M| 145 | 26 |7155 |4285 |7155 | 805 | 213 | 49k| 12k| 9.000000e+00 | -- | Inf
521.58/521.77 c 522s| 23500 | 2318 | 1094k| 46.3 | 72M| 145 | 23 |7155 |4356 |7155 | 805 | 213 | 49k| 12k| 9.000000e+00 | -- | Inf
522.39/522.53 c 523s| 23600 | 2304 | 1095k| 46.2 | 72M| 145 | 60 |7155 |4357 |7155 | 805 | 213 | 49k| 12k| 9.000000e+00 | -- | Inf
523.49/523.69 c 524s| 23700 | 2318 | 1098k| 46.1 | 72M| 145 | 38 |7155 |4319 |7155 | 805 | 213 | 49k| 12k| 9.000000e+00 | -- | Inf
524.68/524.87 c 525s| 23800 | 2319 | 1102k| 46.1 | 72M| 145 | 66 |7155 |4332 |7155 | 805 | 213 | 49k| 12k| 9.000000e+00 | -- | Inf
526.78/526.96 c 527s| 23900 | 2326 | 1105k| 46.0 | 72M| 145 | 73 |7155 |4278 |7155 | 805 | 213 | 49k| 12k| 9.000000e+00 | -- | Inf
527.78/527.98 c 528s| 24000 | 2353 | 1107k| 45.9 | 73M| 145 | 21 |7155 |4142 |7155 | 805 | 213 | 49k| 12k| 9.000000e+00 | -- | Inf
528.88/529.10 c 529s| 24100 | 2360 | 1109k| 45.8 | 72M| 145 | 24 |7155 |4133 |7155 | 805 | 213 | 50k| 12k| 9.000000e+00 | -- | Inf
530.17/530.31 c 530s| 24200 | 2364 | 1111k| 45.7 | 72M| 145 | 21 |7155 |4178 |7155 | 805 | 213 | 50k| 12k| 9.000000e+00 | -- | Inf
530.87/531.06 c 531s| 24300 | 2357 | 1112k| 45.5 | 73M| 145 | - |7155 |4440 | 0 | 0 | 213 | 50k| 12k| 9.000000e+00 | -- | Inf
531.87/532.07 c 532s| 24400 | 2363 | 1114k| 45.4 | 73M| 145 | 23 |7155 |4471 |7155 | 805 | 213 | 50k| 12k| 9.000000e+00 | -- | Inf
533.28/533.46 c 533s| 24500 | 2366 | 1116k| 45.4 | 73M| 145 | - |7155 |4504 |7155 | 805 | 213 | 51k| 12k| 9.000000e+00 | -- | Inf
535.08/535.22 c 535s| 24600 | 2357 | 1119k| 45.3 | 73M| 145 | - |7155 |4523 |7155 | 805 | 213 | 51k| 12k| 9.000000e+00 | -- | Inf
536.69/536.89 c 537s| 24700 | 2357 | 1121k| 45.2 | 73M| 145 | - |7155 |4552 |7155 | 805 | 213 | 51k| 12k| 9.000000e+00 | -- | Inf
538.48/538.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.48/538.69 c 539s| 24800 | 2358 | 1124k| 45.1 | 73M| 145 | 28 |7155 |4603 |7155 | 805 | 213 | 51k| 12k| 9.000000e+00 | -- | Inf
540.08/540.27 c 540s| 24900 | 2353 | 1127k| 45.0 | 73M| 145 | 70 |7155 |4584 |7155 | 805 | 213 | 51k| 12k| 9.000000e+00 | -- | Inf
541.68/541.89 c 542s| 25000 | 2364 | 1131k| 45.0 | 73M| 145 | 73 |7155 |4376 |7155 | 805 | 213 | 51k| 12k| 9.000000e+00 | -- | Inf
543.58/543.74 c 544s| 25100 | 2382 | 1135k| 45.0 | 73M| 145 | 79 |7155 |4219 |7155 | 805 | 213 | 51k| 12k| 9.000000e+00 | -- | Inf
544.78/544.93 c 545s| 25200 | 2426 | 1138k| 45.0 | 73M| 145 | 45 |7155 |4286 |7155 | 805 | 213 | 51k| 12k| 9.000000e+00 | -- | Inf
546.07/546.23 c 546s| 25300 | 2431 | 1141k| 44.9 | 73M| 145 | 63 |7155 |4257 |7155 | 805 | 213 | 52k| 12k| 9.000000e+00 | -- | Inf
548.07/548.25 c 548s| 25400 | 2456 | 1146k| 44.9 | 73M| 145 | - |7155 |4239 |7155 | 805 | 213 | 52k| 12k| 9.000000e+00 | -- | Inf
550.08/550.24 c 550s| 25500 | 2477 | 1152k| 45.0 | 73M| 145 | 54 |7155 |4236 |7155 | 805 | 213 | 52k| 12k| 9.000000e+00 | -- | Inf
552.08/552.26 c 552s| 25600 | 2508 | 1158k| 45.0 | 73M| 145 | 62 |7155 |4259 |7155 | 805 | 213 | 52k| 12k| 9.000000e+00 | -- | Inf
554.18/554.30 c 554s| 25700 | 2516 | 1164k| 45.1 | 74M| 145 | 66 |7155 |4300 |7155 | 805 | 213 | 52k| 13k| 9.000000e+00 | -- | Inf
555.38/555.55 c 556s| 25800 | 2528 | 1166k| 45.0 | 74M| 145 | 50 |7155 |4283 |7155 | 805 | 213 | 53k| 13k| 9.000000e+00 | -- | Inf
557.17/557.30 c 557s| 25900 | 2542 | 1170k| 45.0 | 74M| 145 | - |7155 |4144 |7155 | 805 | 213 | 53k| 13k| 9.000000e+00 | -- | Inf
558.68/558.81 c 559s| 26000 | 2526 | 1173k| 44.9 | 74M| 145 | - |7155 |4150 |7155 | 805 | 213 | 53k| 13k| 9.000000e+00 | -- | Inf
561.77/561.98 c 562s| 26100 | 2540 | 1181k| 45.1 | 73M| 145 | 65 |7155 |3860 |7155 | 805 | 213 | 53k| 13k| 9.000000e+00 | -- | Inf
563.57/563.71 c 564s| 26200 | 2565 | 1185k| 45.0 | 73M| 145 | 69 |7155 |3830 |7155 | 805 | 213 | 53k| 13k| 9.000000e+00 | -- | Inf
565.77/565.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.77/565.90 c 566s| 26300 | 2576 | 1190k| 45.1 | 74M| 145 | 63 |7155 |3926 |7155 | 805 | 213 | 54k| 13k| 9.000000e+00 | -- | Inf
566.67/566.89 c 567s| 26400 | 2594 | 1192k| 45.0 | 74M| 145 | 54 |7155 |4042 |7155 | 805 | 213 | 54k| 13k| 9.000000e+00 | -- | Inf
567.67/567.88 c 568s| 26500 | 2597 | 1194k| 44.9 | 74M| 145 | 48 |7155 |4048 |7155 | 805 | 213 | 54k| 13k| 9.000000e+00 | -- | Inf
569.97/570.14 c 570s| 26600 | 2620 | 1198k| 44.8 | 74M| 145 | - |7155 |4102 |7155 | 805 | 213 | 54k| 13k| 9.000000e+00 | -- | Inf
571.07/571.27 c 571s| 26700 | 2635 | 1200k| 44.8 | 75M| 145 | 63 |7155 |4176 |7155 | 805 | 213 | 55k| 13k| 9.000000e+00 | -- | Inf
572.67/572.82 c 573s| 26800 | 2626 | 1204k| 44.7 | 75M| 145 | 70 |7155 |4198 |7155 | 805 | 213 | 55k| 13k| 9.000000e+00 | -- | Inf
575.58/575.73 c 576s| 26900 | 2648 | 1210k| 44.8 | 75M| 145 | 84 |7155 |4150 |7155 | 805 | 213 | 55k| 13k| 9.000000e+00 | -- | Inf
577.87/578.08 c 578s| 27000 | 2655 | 1215k| 44.8 | 75M| 145 | 67 |7155 |4035 |7155 | 805 | 213 | 55k| 13k| 9.000000e+00 | -- | Inf
579.97/580.18 c 580s| 27100 | 2668 | 1220k| 44.8 | 75M| 145 | - |7155 |3842 | 0 | 0 | 213 | 55k| 13k| 9.000000e+00 | -- | Inf
583.37/583.56 c 584s| 27200 | 2711 | 1226k| 44.9 | 75M| 145 | 24 |7155 |3706 |7155 | 805 | 213 | 56k| 13k| 9.000000e+00 | -- | Inf
584.76/584.95 c 585s| 27300 | 2709 | 1228k| 44.8 | 75M| 145 | 52 |7155 |3830 |7155 | 805 | 213 | 56k| 13k| 9.000000e+00 | -- | Inf
586.76/586.96 c 587s| 27400 | 2748 | 1232k| 44.8 | 75M| 145 | 20 |7155 |3903 |7155 | 805 | 213 | 56k| 13k| 9.000000e+00 | -- | Inf
588.67/588.84 c 589s| 27500 | 2754 | 1236k| 44.8 | 75M| 145 | - |7155 |3941 |7155 | 805 | 213 | 56k| 13k| 9.000000e+00 | -- | Inf
590.37/590.56 c 591s| 27600 | 2785 | 1240k| 44.7 | 75M| 145 | 40 |7155 |3926 |7155 | 805 | 213 | 57k| 14k| 9.000000e+00 | -- | Inf
591.68/591.83 c 592s| 27700 | 2749 | 1243k| 44.7 | 75M| 145 | 48 |7155 |3996 |7155 | 805 | 213 | 57k| 14k| 9.000000e+00 | -- | Inf
594.07/594.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.07/594.29 c 594s| 27800 | 2799 | 1253k| 44.9 | 75M| 145 | - |7155 |4049 | 0 | 0 | 213 | 57k| 14k| 9.000000e+00 | -- | Inf
597.87/598.01 c 598s| 27900 | 2821 | 1260k| 45.0 | 76M| 145 | 49 |7155 |4056 |7155 | 805 | 213 | 57k| 14k| 9.000000e+00 | -- | Inf
599.07/599.23 c 599s| 28000 | 2840 | 1263k| 44.9 | 76M| 145 | 30 |7155 |4079 |7155 | 805 | 213 | 57k| 14k| 9.000000e+00 | -- | Inf
600.48/600.63 c 601s| 28100 | 2852 | 1267k| 44.9 | 76M| 145 | 44 |7155 |4045 |7155 | 805 | 213 | 58k| 14k| 9.000000e+00 | -- | Inf
602.17/602.37 c 602s| 28200 | 2888 | 1271k| 44.9 | 76M| 145 | 56 |7155 |4122 |7155 | 805 | 213 | 58k| 14k| 9.000000e+00 | -- | Inf
603.77/603.96 c 604s| 28300 | 2904 | 1275k| 44.9 | 76M| 145 | 49 |7155 |4072 |7155 | 805 | 213 | 58k| 14k| 9.000000e+00 | -- | Inf
605.87/606.09 c 606s| 28400 | 2921 | 1281k| 44.9 | 76M| 145 | - |7155 |4020 |7155 | 805 | 213 | 58k| 14k| 9.000000e+00 | -- | Inf
607.56/607.77 c 608s| 28500 | 2918 | 1286k| 45.0 | 76M| 145 | - |7155 |4066 |7155 | 805 | 213 | 59k| 14k| 9.000000e+00 | -- | Inf
609.27/609.47 c 609s| 28600 | 2933 | 1292k| 45.0 | 76M| 145 | - |7155 |4094 |7155 | 805 | 213 | 59k| 14k| 9.000000e+00 | -- | Inf
611.17/611.37 c 611s| 28700 | 2961 | 1299k| 45.1 | 77M| 145 | 49 |7155 |4115 |7155 | 805 | 213 | 59k| 14k| 9.000000e+00 | -- | Inf
612.37/612.59 c 613s| 28800 | 2970 | 1302k| 45.0 | 77M| 145 | 58 |7155 |4103 |7155 | 805 | 213 | 59k| 14k| 9.000000e+00 | -- | Inf
615.16/615.33 c 615s| 28900 | 2991 | 1307k| 45.0 | 77M| 145 | 52 |7155 |4076 |7155 | 805 | 213 | 59k| 14k| 9.000000e+00 | -- | Inf
617.76/617.95 c 618s| 29000 | 3024 | 1314k| 45.1 | 77M| 145 | - |7155 |4184 |7155 | 805 | 213 | 60k| 14k| 9.000000e+00 | -- | Inf
622.86/623.02 c 623s| 29100 | 3042 | 1324k| 45.3 | 77M| 145 | - |7155 |4151 |7155 | 805 | 213 | 60k| 14k| 9.000000e+00 | -- | Inf
625.77/625.97 c 626s| 29200 | 3053 | 1332k| 45.4 | 77M| 145 | - |7155 |4043 |7155 | 805 | 213 | 60k| 14k| 9.000000e+00 | -- | Inf
629.67/629.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.67/629.88 c 630s| 29300 | 3033 | 1343k| 45.7 | 78M| 145 | - |7155 |4139 |7155 | 805 | 213 | 61k| 14k| 9.000000e+00 | -- | Inf
633.37/633.56 c 634s| 29400 | 3021 | 1353k| 45.8 | 77M| 145 | - |7155 |4042 |7155 | 805 | 213 | 61k| 15k| 9.000000e+00 | -- | Inf
636.66/636.87 c 637s| 29500 | 3015 | 1362k| 46.0 | 77M| 145 | 57 |7155 |4068 |7155 | 805 | 213 | 61k| 15k| 9.000000e+00 | -- | Inf
639.56/639.78 c 640s| 29600 | 3034 | 1370k| 46.1 | 78M| 145 | - |7155 |4245 | 0 | 0 | 213 | 61k| 15k| 9.000000e+00 | -- | Inf
642.27/642.43 c 642s| 29700 | 3027 | 1376k| 46.2 | 77M| 145 | - |7155 |4037 |7155 | 805 | 213 | 62k| 15k| 9.000000e+00 | -- | Inf
644.36/644.54 c 645s| 29800 | 3031 | 1381k| 46.2 | 77M| 145 | 50 |7155 |4192 |7155 | 805 | 213 | 62k| 15k| 9.000000e+00 | -- | Inf
646.76/646.95 c 647s| 29900 | 3018 | 1388k| 46.2 | 77M| 145 | 82 |7155 |4249 |7155 | 805 | 213 | 62k| 15k| 9.000000e+00 | -- | Inf
649.87/650.04 c 650s| 30000 | 3033 | 1397k| 46.4 | 78M| 145 | 64 |7155 |4235 |7155 | 805 | 213 | 62k| 15k| 9.000000e+00 | -- | Inf
652.26/652.40 c 652s| 30100 | 3054 | 1403k| 46.4 | 78M| 145 | 69 |7155 |4254 |7155 | 805 | 213 | 63k| 15k| 9.000000e+00 | -- | Inf
654.66/654.88 c 655s| 30200 | 3058 | 1410k| 46.5 | 77M| 145 | 50 |7155 |4134 |7155 | 805 | 213 | 63k| 15k| 9.000000e+00 | -- | Inf
657.76/657.97 c 658s| 30300 | 3040 | 1420k| 46.7 | 77M| 145 | 44 |7155 |4127 |7155 | 805 | 213 | 63k| 15k| 9.000000e+00 | -- | Inf
659.36/659.59 c 660s| 30400 | 3044 | 1425k| 46.7 | 77M| 145 | 40 |7155 |4178 |7155 | 805 | 213 | 63k| 15k| 9.000000e+00 | -- | Inf
660.56/660.77 c 661s| 30500 | 3048 | 1427k| 46.6 | 78M| 145 | - |7155 |4341 |7155 | 805 | 213 | 64k| 15k| 9.000000e+00 | -- | Inf
662.25/662.48 c 662s| 30600 | 3062 | 1432k| 46.6 | 78M| 145 | 52 |7155 |4365 |7155 | 805 | 213 | 64k| 15k| 9.000000e+00 | -- | Inf
663.76/663.98 c 664s| 30700 | 3062 | 1435k| 46.6 | 78M| 145 | 66 |7155 |4322 |7155 | 805 | 213 | 64k| 15k| 9.000000e+00 | -- | Inf
665.36/665.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.36/665.52 c 666s| 30800 | 3092 | 1439k| 46.5 | 78M| 145 | 29 |7155 |4421 |7155 | 805 | 213 | 64k| 15k| 9.000000e+00 | -- | Inf
666.37/666.56 c 667s| 30900 | 3105 | 1440k| 46.4 | 78M| 145 | - |7155 |4394 |7155 | 805 | 213 | 64k| 15k| 9.000000e+00 | -- | Inf
667.86/668.02 c 668s| 31000 | 3108 | 1443k| 46.4 | 78M| 145 | 54 |7155 |4353 |7155 | 805 | 213 | 64k| 15k| 9.000000e+00 | -- | Inf
669.77/669.91 c 670s| 31100 | 3125 | 1448k| 46.4 | 78M| 145 | 52 |7155 |4347 |7155 | 805 | 213 | 65k| 15k| 9.000000e+00 | -- | Inf
671.75/671.98 c 672s| 31200 | 3145 | 1454k| 46.4 | 78M| 145 | - |7155 |4417 | 0 | 0 | 213 | 65k| 15k| 9.000000e+00 | -- | Inf
674.06/674.24 c 674s| 31300 | 3148 | 1460k| 46.5 | 78M| 145 | 51 |7155 |4365 |7155 | 805 | 213 | 65k| 15k| 9.000000e+00 | -- | Inf
676.05/676.22 c 676s| 31400 | 3143 | 1467k| 46.5 | 78M| 145 | - |7155 |4327 |7155 | 805 | 213 | 65k| 16k| 9.000000e+00 | -- | Inf
678.36/678.51 c 679s| 31500 | 3152 | 1474k| 46.6 | 78M| 145 | 45 |7155 |4355 |7155 | 805 | 213 | 65k| 16k| 9.000000e+00 | -- | Inf
679.86/680.08 c 680s| 31600 | 3155 | 1478k| 46.6 | 79M| 145 | 40 |7155 |4471 |7155 | 805 | 213 | 65k| 16k| 9.000000e+00 | -- | Inf
681.25/681.43 c 681s| 31700 | 3173 | 1483k| 46.6 | 79M| 145 | - |7155 |4545 | 0 | 0 | 213 | 66k| 16k| 9.000000e+00 | -- | Inf
682.25/682.45 c 682s| 31800 | 3189 | 1485k| 46.5 | 79M| 145 | 14 |7155 |4732 |7155 | 805 | 213 | 66k| 16k| 9.000000e+00 | -- | Inf
683.75/683.94 c 684s| 31900 | 3158 | 1489k| 46.5 | 79M| 145 | - |7155 |4761 |7155 | 805 | 213 | 66k| 16k| 9.000000e+00 | -- | Inf
686.36/686.57 c 687s| 32000 | 3162 | 1496k| 46.6 | 79M| 145 | - |7155 |4664 |7155 | 805 | 213 | 66k| 16k| 9.000000e+00 | -- | Inf
688.85/689.06 c 689s| 32100 | 3175 | 1505k| 46.7 | 79M| 145 | 64 |7155 |4705 |7155 | 805 | 213 | 67k| 16k| 9.000000e+00 | -- | Inf
691.25/691.49 c 691s| 32200 | 3184 | 1512k| 46.8 | 79M| 145 | 54 |7155 |4691 |7155 | 805 | 213 | 67k| 16k| 9.000000e+00 | -- | Inf
693.65/693.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.65/693.82 c 694s| 32300 | 3195 | 1520k| 46.9 | 79M| 145 | - |7155 |4801 |7155 | 805 | 213 | 67k| 16k| 9.000000e+00 | -- | Inf
696.35/696.55 c 697s| 32400 | 3203 | 1530k| 47.1 | 79M| 145 | 26 |7155 |4757 |7155 | 805 | 213 | 67k| 16k| 9.000000e+00 | -- | Inf
698.45/698.65 c 699s| 32500 | 3193 | 1536k| 47.1 | 79M| 145 | - |7155 |4745 | 0 | 0 | 213 | 67k| 16k| 9.000000e+00 | -- | Inf
700.05/700.25 c 700s| 32600 | 3201 | 1541k| 47.1 | 79M| 145 | 50 |7155 |4774 |7155 | 805 | 213 | 68k| 16k| 9.000000e+00 | -- | Inf
701.66/701.86 c 702s| 32700 | 3208 | 1546k| 47.1 | 79M| 145 | 65 |7155 |4805 |7155 | 805 | 213 | 68k| 16k| 9.000000e+00 | -- | Inf
703.75/703.95 c 704s| 32800 | 3219 | 1553k| 47.2 | 79M| 145 | 50 |7155 |4797 |7155 | 805 | 213 | 68k| 16k| 9.000000e+00 | -- | Inf
705.85/706.09 c 706s| 32900 | 3209 | 1560k| 47.3 | 79M| 145 | 48 |7155 |4826 |7155 | 805 | 213 | 68k| 16k| 9.000000e+00 | -- | Inf
708.26/708.48 c 708s| 33000 | 3213 | 1569k| 47.4 | 79M| 145 | 53 |7155 |4923 |7155 | 805 | 213 | 68k| 16k| 9.000000e+00 | -- | Inf
710.55/710.71 c 711s| 33100 | 3215 | 1577k| 47.5 | 79M| 145 | 51 |7155 |4832 |7155 | 805 | 213 | 69k| 16k| 9.000000e+00 | -- | Inf
712.85/713.08 c 713s| 33200 | 3221 | 1586k| 47.6 | 80M| 145 | - |7155 |4937 |7155 | 805 | 213 | 69k| 16k| 9.000000e+00 | -- | Inf
715.35/715.51 c 716s| 33300 | 3222 | 1595k| 47.7 | 79M| 145 | 59 |7155 |4927 |7155 | 805 | 213 | 69k| 16k| 9.000000e+00 | -- | Inf
717.15/717.38 c 717s| 33400 | 3247 | 1602k| 47.8 | 79M| 145 | - |7155 |4864 |7155 | 805 | 213 | 69k| 16k| 9.000000e+00 | -- | Inf
718.45/718.67 c 719s| 33500 | 3236 | 1604k| 47.7 | 80M| 145 | - |7155 |4970 |7155 | 805 | 213 | 69k| 16k| 9.000000e+00 | -- | Inf
719.75/719.92 c 720s| 33600 | 3239 | 1608k| 47.7 | 80M| 145 | 50 |7155 |4955 |7155 | 805 | 213 | 70k| 16k| 9.000000e+00 | -- | Inf
720.85/721.09 c 721s| 33700 | 3259 | 1610k| 47.6 | 80M| 145 | - |7155 |4877 |7155 | 805 | 213 | 70k| 16k| 9.000000e+00 | -- | Inf
722.25/722.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.25/722.42 c 722s| 33800 | 3281 | 1613k| 47.6 | 80M| 145 | - |7155 |4905 | 0 | 0 | 213 | 70k| 16k| 9.000000e+00 | -- | Inf
724.05/724.27 c 724s| 33900 | 3249 | 1618k| 47.6 | 79M| 145 | - |7155 |4719 |7155 | 805 | 213 | 70k| 16k| 9.000000e+00 | -- | Inf
725.65/725.86 c 726s| 34000 | 3274 | 1623k| 47.6 | 80M| 145 | 49 |7155 |4587 |7155 | 805 | 213 | 70k| 16k| 9.000000e+00 | -- | Inf
727.25/727.41 c 727s| 34100 | 3267 | 1629k| 47.6 | 80M| 145 | - |7155 |4567 |7155 | 805 | 213 | 70k| 16k| 9.000000e+00 | -- | Inf
728.95/729.12 c 729s| 34200 | 3280 | 1634k| 47.6 | 80M| 145 | 62 |7155 |4519 |7155 | 805 | 213 | 71k| 16k| 9.000000e+00 | -- | Inf
730.85/731.01 c 731s| 34300 | 3293 | 1637k| 47.6 | 80M| 145 | - |7155 |4626 |7155 | 805 | 213 | 71k| 16k| 9.000000e+00 | -- | Inf
735.15/735.39 c 735s| 34400 | 3307 | 1643k| 47.6 | 80M| 145 | - |7155 |4520 |7155 | 805 | 213 | 71k| 16k| 9.000000e+00 | -- | Inf
738.95/739.13 c 739s| 34500 | 3335 | 1649k| 47.6 | 80M| 145 | 65 |7155 |4316 |7155 | 805 | 213 | 71k| 17k| 9.000000e+00 | -- | Inf
741.54/741.71 c 742s| 34600 | 3355 | 1653k| 47.6 | 80M| 145 | 40 |7155 |4434 |7155 | 805 | 213 | 72k| 17k| 9.000000e+00 | -- | Inf
743.55/743.80 c 744s| 34700 | 3346 | 1656k| 47.6 | 80M| 145 | 69 |7155 |4406 |7155 | 805 | 213 | 72k| 17k| 9.000000e+00 | -- | Inf
745.95/746.15 c 746s| 34800 | 3346 | 1660k| 47.6 | 80M| 145 | 75 |7155 |4437 |7155 | 805 | 213 | 72k| 17k| 9.000000e+00 | -- | Inf
749.95/750.14 c 750s| 34900 | 3349 | 1667k| 47.6 | 81M| 145 | 61 |7155 |4364 |7155 | 805 | 213 | 72k| 17k| 9.000000e+00 | -- | Inf
751.64/751.82 c 752s| 35000 | 3353 | 1672k| 47.6 | 81M| 145 | 40 |7155 |4364 |7155 | 805 | 213 | 72k| 17k| 9.000000e+00 | -- | Inf
754.14/754.35 c 754s| 35100 | 3371 | 1678k| 47.7 | 81M| 145 | 44 |7155 |4396 |7155 | 805 | 213 | 72k| 17k| 9.000000e+00 | -- | Inf
758.85/759.02 c 759s| 35200 | 3371 | 1684k| 47.7 | 81M| 145 | 67 |7155 |4456 |7155 | 805 | 213 | 73k| 17k| 9.000000e+00 | -- | Inf
760.74/760.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.74/760.92 c 761s| 35300 | 3384 | 1687k| 47.6 | 82M| 145 | 42 |7155 |4509 |7155 | 805 | 213 | 73k| 17k| 9.000000e+00 | -- | Inf
762.35/762.51 c 763s| 35400 | 3387 | 1689k| 47.6 | 82M| 145 | - |7155 |4556 |7155 | 805 | 213 | 73k| 17k| 9.000000e+00 | -- | Inf
763.54/763.73 c 764s| 35500 | 3388 | 1691k| 47.5 | 82M| 145 | 19 |7155 |4636 |7155 | 805 | 213 | 73k| 17k| 9.000000e+00 | -- | Inf
765.04/765.28 c 765s| 35600 | 3387 | 1693k| 47.4 | 82M| 145 | - |7155 |4571 |7155 | 805 | 213 | 73k| 17k| 9.000000e+00 | -- | Inf
767.04/767.20 c 767s| 35700 | 3395 | 1698k| 47.4 | 82M| 145 | 33 |7155 |4597 |7155 | 805 | 213 | 73k| 17k| 9.000000e+00 | -- | Inf
768.24/768.42 c 768s| 35800 | 3378 | 1701k| 47.4 | 82M| 145 | 56 |7155 |4603 |7155 | 805 | 213 | 73k| 18k| 9.000000e+00 | -- | Inf
770.24/770.48 c 770s| 35900 | 3389 | 1705k| 47.4 | 82M| 145 | - |7155 |4622 |7155 | 805 | 213 | 73k| 18k| 9.000000e+00 | -- | Inf
772.44/772.60 c 773s| 36000 | 3409 | 1711k| 47.4 | 82M| 145 | 44 |7155 |4684 |7155 | 805 | 213 | 74k| 18k| 9.000000e+00 | -- | Inf
774.34/774.52 c 775s| 36100 | 3424 | 1716k| 47.4 | 82M| 145 | 68 |7155 |4505 |7155 | 805 | 213 | 74k| 18k| 9.000000e+00 | -- | Inf
776.84/777.08 c 777s| 36200 | 3448 | 1721k| 47.4 | 82M| 145 | 62 |7155 |4634 |7155 | 805 | 213 | 74k| 18k| 9.000000e+00 | -- | Inf
778.74/778.98 c 779s| 36300 | 3472 | 1725k| 47.4 | 82M| 145 | 46 |7155 |4692 |7155 | 805 | 213 | 74k| 18k| 9.000000e+00 | -- | Inf
780.04/780.20 c 780s| 36400 | 3478 | 1728k| 47.3 | 83M| 145 | 40 |7155 |4767 |7155 | 805 | 213 | 74k| 18k| 9.000000e+00 | -- | Inf
781.34/781.53 c 782s| 36500 | 3473 | 1731k| 47.3 | 83M| 145 | 51 |7155 |4799 |7155 | 805 | 213 | 75k| 18k| 9.000000e+00 | -- | Inf
782.34/782.58 c 783s| 36600 | 3473 | 1734k| 47.2 | 83M| 145 | - |7155 |4819 |7155 | 805 | 213 | 75k| 18k| 9.000000e+00 | -- | Inf
783.63/783.88 c 784s| 36700 | 3501 | 1736k| 47.2 | 83M| 145 | 29 |7155 |4917 |7155 | 805 | 213 | 75k| 18k| 9.000000e+00 | -- | Inf
784.74/784.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.74/784.96 c 785s| 36800 | 3494 | 1739k| 47.1 | 83M| 145 | - |7155 |4931 |7155 | 805 | 213 | 75k| 18k| 9.000000e+00 | -- | Inf
785.84/786.07 c 786s| 36900 | 3492 | 1741k| 47.0 | 83M| 145 | 63 |7155 |4976 |7155 | 805 | 213 | 75k| 18k| 9.000000e+00 | -- | Inf
789.23/789.43 c 789s| 37000 | 3515 | 1747k| 47.1 | 83M| 145 | - |7155 |4753 |7155 | 805 | 213 | 76k| 18k| 9.000000e+00 | -- | Inf
791.04/791.27 c 791s| 37100 | 3539 | 1753k| 47.1 | 83M| 145 | 31 |7155 |4807 |7155 | 805 | 213 | 76k| 18k| 9.000000e+00 | -- | Inf
792.74/792.97 c 793s| 37200 | 3532 | 1757k| 47.1 | 82M| 145 | 75 |7155 |4606 |7155 | 805 | 213 | 76k| 18k| 9.000000e+00 | -- | Inf
794.64/794.80 c 795s| 37300 | 3542 | 1761k| 47.1 | 83M| 145 | - |7155 |4571 | 0 | 0 | 213 | 76k| 18k| 9.000000e+00 | -- | Inf
796.84/797.08 c 797s| 37400 | 3564 | 1766k| 47.1 | 82M| 145 | 35 |7155 |4412 |7155 | 805 | 213 | 76k| 18k| 9.000000e+00 | -- | Inf
798.83/799.08 c 799s| 37500 | 3566 | 1772k| 47.1 | 83M| 145 | 50 |7155 |4444 |7155 | 805 | 213 | 76k| 18k| 9.000000e+00 | -- | Inf
800.74/800.97 c 801s| 37600 | 3574 | 1777k| 47.1 | 83M| 145 | 58 |7155 |4450 |7155 | 805 | 213 | 77k| 18k| 9.000000e+00 | -- | Inf
801.94/802.19 c 802s| 37700 | 3586 | 1780k| 47.1 | 83M| 145 | 35 |7155 |4485 |7155 | 805 | 213 | 77k| 18k| 9.000000e+00 | -- | Inf
805.44/805.65 c 806s| 37800 | 3603 | 1788k| 47.2 | 83M| 145 | 20 |7155 |4482 |7155 | 805 | 213 | 77k| 18k| 9.000000e+00 | -- | Inf
807.53/807.77 c 808s| 37900 | 3596 | 1792k| 47.2 | 83M| 145 | 35 |7155 |4444 |7155 | 805 | 213 | 77k| 18k| 9.000000e+00 | -- | Inf
809.44/809.67 c 810s| 38000 | 3601 | 1799k| 47.2 | 83M| 145 | 73 |7155 |4531 |7155 | 805 | 213 | 77k| 18k| 9.000000e+00 | -- | Inf
811.43/811.64 c 812s| 38100 | 3608 | 1805k| 47.2 | 83M| 145 | - |7155 |4663 |7155 | 805 | 213 | 78k| 19k| 9.000000e+00 | -- | Inf
812.65/812.80 c 813s| 38200 | 3628 | 1808k| 47.2 | 83M| 145 | 74 |7155 |4557 |7155 | 805 | 213 | 78k| 19k| 9.000000e+00 | -- | Inf
814.24/814.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.24/814.45 c 814s| 38300 | 3645 | 1811k| 47.2 | 83M| 145 | 43 |7155 |4603 |7155 | 805 | 213 | 78k| 19k| 9.000000e+00 | -- | Inf
815.33/815.55 c 816s| 38400 | 3649 | 1814k| 47.1 | 83M| 145 | - |7155 |4645 |7155 | 805 | 213 | 78k| 19k| 9.000000e+00 | -- | Inf
816.44/816.63 c 817s| 38500 | 3644 | 1816k| 47.0 | 83M| 145 | 49 |7155 |4680 |7155 | 805 | 213 | 78k| 19k| 9.000000e+00 | -- | Inf
817.73/817.98 c 818s| 38600 | 3666 | 1821k| 47.0 | 84M| 145 | 28 |7155 |4717 |7155 | 805 | 213 | 79k| 19k| 9.000000e+00 | -- | Inf
818.93/819.19 c 819s| 38700 | 3657 | 1824k| 47.0 | 84M| 145 | 43 |7155 |4830 |7155 | 805 | 213 | 79k| 19k| 9.000000e+00 | -- | Inf
820.23/820.42 c 820s| 38800 | 3654 | 1827k| 47.0 | 84M| 145 | - |7155 |4897 |7155 | 805 | 213 | 79k| 19k| 9.000000e+00 | -- | Inf
822.83/823.08 c 823s| 38900 | 3664 | 1832k| 47.0 | 83M| 145 | 63 |7155 |4693 |7155 | 805 | 213 | 79k| 19k| 9.000000e+00 | -- | Inf
827.44/827.63 c 828s| 39000 | 3677 | 1844k| 47.2 | 83M| 145 | 52 |7155 |4693 |7155 | 805 | 213 | 79k| 19k| 9.000000e+00 | -- | Inf
830.33/830.54 c 831s| 39100 | 3691 | 1852k| 47.2 | 84M| 145 | - |7155 |4831 | 0 | 0 | 213 | 79k| 19k| 9.000000e+00 | -- | Inf
831.93/832.15 c 832s| 39200 | 3714 | 1855k| 47.2 | 84M| 145 | - |7155 |4925 | 0 | 0 | 213 | 80k| 19k| 9.000000e+00 | -- | Inf
833.23/833.47 c 833s| 39300 | 3690 | 1858k| 47.1 | 84M| 145 | 51 |7155 |5155 |7155 | 805 | 213 | 80k| 19k| 9.000000e+00 | -- | Inf
834.33/834.59 c 835s| 39400 | 3723 | 1860k| 47.1 | 84M| 145 | 21 |7155 |5278 |7155 | 805 | 213 | 80k| 19k| 9.000000e+00 | -- | Inf
836.33/836.56 c 837s| 39500 | 3697 | 1865k| 47.1 | 84M| 145 | 42 |7155 |5323 |7155 | 805 | 213 | 80k| 19k| 9.000000e+00 | -- | Inf
837.94/838.14 c 838s| 39600 | 3727 | 1869k| 47.1 | 84M| 145 | - |7155 |5437 |7155 | 805 | 213 | 81k| 19k| 9.000000e+00 | -- | Inf
840.73/840.91 c 841s| 39700 | 3736 | 1873k| 47.0 | 84M| 145 | 26 |7155 |5449 |7155 | 805 | 213 | 81k| 19k| 9.000000e+00 | -- | Inf
842.23/842.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.23/842.44 c 842s| 39800 | 3714 | 1876k| 47.0 | 84M| 145 | 39 |7155 |5515 |7155 | 805 | 213 | 81k| 19k| 9.000000e+00 | -- | Inf
844.53/844.77 c 845s| 39900 | 3715 | 1881k| 47.0 | 85M| 145 | - |7155 |5506 |7155 | 805 | 213 | 81k| 19k| 9.000000e+00 | -- | Inf
845.83/846.02 c 846s| 40000 | 3723 | 1884k| 47.0 | 85M| 145 | 56 |7155 |5674 |7155 | 805 | 213 | 82k| 19k| 9.000000e+00 | -- | Inf
847.53/847.70 c 848s| 40100 | 3730 | 1889k| 47.0 | 85M| 145 | 56 |7155 |5591 |7155 | 805 | 213 | 82k| 20k| 9.000000e+00 | -- | Inf
850.13/850.31 c 850s| 40200 | 3731 | 1897k| 47.1 | 84M| 145 | - |7155 |5083 |7155 | 805 | 213 | 82k| 20k| 9.000000e+00 | -- | Inf
853.73/853.91 c 854s| 40300 | 3728 | 1913k| 47.3 | 84M| 145 | - |7155 |4932 |7155 | 805 | 213 | 82k| 20k| 9.000000e+00 | -- | Inf
857.12/857.33 c 857s| 40400 | 3747 | 1927k| 47.6 | 84M| 145 | 47 |7155 |4946 |7155 | 805 | 213 | 82k| 20k| 9.000000e+00 | -- | Inf
858.72/858.97 c 859s| 40500 | 3770 | 1932k| 47.6 | 85M| 145 | 30 |7155 |5031 |7155 | 805 | 213 | 83k| 20k| 9.000000e+00 | -- | Inf
860.23/860.48 c 860s| 40600 | 3764 | 1936k| 47.6 | 85M| 145 | - |7155 |5170 | 0 | 0 | 213 | 83k| 20k| 9.000000e+00 | -- | Inf
861.22/861.40 c 861s| 40700 | 3784 | 1937k| 47.5 | 85M| 145 | 19 |7155 |5360 |7155 | 805 | 213 | 83k| 20k| 9.000000e+00 | -- | Inf
861.93/862.13 c 862s| 40800 | 3784 | 1938k| 47.4 | 85M| 145 | - |7155 |5571 |7155 | 805 | 213 | 83k| 20k| 9.000000e+00 | -- | Inf
862.73/862.98 c 863s| 40900 | 3792 | 1939k| 47.3 | 85M| 145 | - |7155 |5641 |7155 | 805 | 213 | 84k| 20k| 9.000000e+00 | -- | Inf
864.13/864.31 c 864s| 41000 | 3789 | 1942k| 47.2 | 85M| 145 | - |7155 |5686 |7155 | 805 | 213 | 84k| 20k| 9.000000e+00 | -- | Inf
865.02/865.20 c 865s| 41100 | 3789 | 1942k| 47.1 | 86M| 154 | 10 |7155 |5839 |7155 | 805 | 213 | 84k| 20k| 9.000000e+00 | -- | Inf
866.83/867.07 c 867s| 41200 | 3787 | 1945k| 47.1 | 85M| 154 | - |7155 |5672 | 0 | 0 | 213 | 84k| 20k| 9.000000e+00 | -- | Inf
867.82/868.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.82/868.01 c 868s| 41300 | 3795 | 1946k| 47.0 | 85M| 154 | - |7155 |5579 |7155 | 805 | 213 | 85k| 20k| 9.000000e+00 | -- | Inf
869.53/869.71 c 870s| 41400 | 3776 | 1948k| 46.9 | 85M| 154 | 29 |7155 |5605 |7155 | 805 | 213 | 85k| 20k| 9.000000e+00 | -- | Inf
871.03/871.22 c 871s| 41500 | 3791 | 1950k| 46.9 | 85M| 154 | - |7155 |5522 | 0 | 0 | 213 | 85k| 20k| 9.000000e+00 | -- | Inf
872.23/872.47 c 872s| 41600 | 3784 | 1954k| 46.8 | 85M| 154 | - |7155 |5453 | 0 | 0 | 213 | 85k| 20k| 9.000000e+00 | -- | Inf
873.92/874.11 c 874s| 41700 | 3781 | 1959k| 46.9 | 85M| 154 | 55 |7155 |5394 |7155 | 805 | 213 | 86k| 20k| 9.000000e+00 | -- | Inf
875.73/875.98 c 876s| 41800 | 3817 | 1966k| 46.9 | 85M| 154 | - |7155 |5331 | 0 | 0 | 213 | 86k| 20k| 9.000000e+00 | -- | Inf
877.53/877.75 c 878s| 41900 | 3808 | 1972k| 46.9 | 85M| 154 | 64 |7155 |5194 |7155 | 805 | 213 | 86k| 20k| 9.000000e+00 | -- | Inf
880.13/880.38 c 880s| 42000 | 3829 | 1982k| 47.1 | 85M| 154 | 67 |7155 |5165 |7155 | 805 | 213 | 86k| 20k| 9.000000e+00 | -- | Inf
882.72/882.93 c 883s| 42100 | 3824 | 1992k| 47.2 | 85M| 154 | - |7155 |5232 |7155 | 805 | 213 | 86k| 20k| 9.000000e+00 | -- | Inf
884.82/885.04 c 885s| 42200 | 3858 | 2000k| 47.3 | 86M| 154 | 32 |7155 |5262 |7155 | 805 | 213 | 87k| 20k| 9.000000e+00 | -- | Inf
886.62/886.86 c 887s| 42300 | 3865 | 2005k| 47.3 | 86M| 154 | 43 |7155 |5238 |7155 | 805 | 213 | 87k| 20k| 9.000000e+00 | -- | Inf
887.93/888.12 c 888s| 42400 | 3874 | 2008k| 47.2 | 86M| 154 | 27 |7155 |5341 |7155 | 805 | 213 | 87k| 20k| 9.000000e+00 | -- | Inf
889.73/889.94 c 890s| 42500 | 3843 | 2012k| 47.2 | 86M| 154 | 53 |7155 |5382 |7155 | 805 | 213 | 87k| 20k| 9.000000e+00 | -- | Inf
892.22/892.41 c 892s| 42600 | 3872 | 2021k| 47.3 | 86M| 154 | 49 |7155 |5258 |7155 | 805 | 213 | 87k| 20k| 9.000000e+00 | -- | Inf
894.03/894.29 c 894s| 42700 | 3879 | 2027k| 47.3 | 86M| 154 | - |7155 |5384 | 0 | 0 | 213 | 88k| 20k| 9.000000e+00 | -- | Inf
895.82/896.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.82/896.08 c 896s| 42800 | 3870 | 2033k| 47.4 | 86M| 154 | 48 |7155 |5160 |7155 | 805 | 213 | 88k| 21k| 9.000000e+00 | -- | Inf
898.82/899.03 c 899s| 42900 | 3884 | 2044k| 47.5 | 86M| 154 | - |7155 |5154 |7155 | 805 | 213 | 88k| 21k| 9.000000e+00 | -- | Inf
901.02/901.24 c 901s| 43000 | 3916 | 2053k| 47.6 | 86M| 154 | 72 |7155 |5140 |7155 | 805 | 213 | 88k| 21k| 9.000000e+00 | -- | Inf
902.93/903.17 c 903s| 43100 | 3945 | 2061k| 47.7 | 87M| 154 | 46 |7155 |5186 |7155 | 805 | 213 | 88k| 21k| 9.000000e+00 | -- | Inf
904.52/904.72 c 905s| 43200 | 3954 | 2067k| 47.7 | 87M| 154 | - |7155 |5212 | 0 | 0 | 213 | 88k| 21k| 9.000000e+00 | -- | Inf
906.32/906.52 c 907s| 43300 | 3957 | 2073k| 47.8 | 87M| 154 | 62 |7155 |5235 |7155 | 805 | 213 | 89k| 21k| 9.000000e+00 | -- | Inf
907.92/908.15 c 908s| 43400 | 3965 | 2079k| 47.8 | 87M| 154 | 52 |7155 |5271 |7155 | 805 | 213 | 89k| 21k| 9.000000e+00 | -- | Inf
910.32/910.53 c 911s| 43500 | 3962 | 2089k| 47.9 | 87M| 154 | - |7155 |5293 |7155 | 805 | 213 | 89k| 21k| 9.000000e+00 | -- | Inf
912.73/912.97 c 913s| 43600 | 3985 | 2099k| 48.0 | 87M| 154 | 54 |7155 |5295 |7155 | 805 | 213 | 89k| 21k| 9.000000e+00 | -- | Inf
913.82/914.02 c 914s| 43700 | 4018 | 2103k| 48.0 | 87M| 154 | 29 |7155 |5484 |7155 | 805 | 213 | 90k| 21k| 9.000000e+00 | -- | Inf
915.82/916.00 c 916s| 43800 | 4030 | 2109k| 48.0 | 88M| 154 | - |7155 |5602 |7155 | 805 | 213 | 90k| 21k| 9.000000e+00 | -- | Inf
917.12/917.36 c 917s| 43900 | 4052 | 2114k| 48.0 | 88M| 154 | - |7155 |5438 |7155 | 805 | 213 | 90k| 21k| 9.000000e+00 | -- | Inf
918.41/918.69 c 919s| 44000 | 4059 | 2119k| 48.0 | 88M| 154 | - |7155 |5482 | 0 | 0 | 213 | 91k| 21k| 9.000000e+00 | -- | Inf
919.32/919.54 c 920s| 44100 | 4059 | 2120k| 48.0 | 88M| 154 | 35 |7155 |5555 |7155 | 805 | 213 | 91k| 21k| 9.000000e+00 | -- | Inf
921.22/921.42 c 921s| 44200 | 4054 | 2128k| 48.0 | 88M| 154 | 55 |7155 |5602 |7155 | 805 | 213 | 91k| 21k| 9.000000e+00 | -- | Inf
923.31/923.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.31/923.56 c 924s| 44300 | 4075 | 2136k| 48.1 | 88M| 154 | 53 |7155 |5438 |7155 | 805 | 213 | 91k| 21k| 9.000000e+00 | -- | Inf
924.11/924.35 c 924s| 44400 | 4084 | 2138k| 48.0 | 88M| 154 | - |7155 |5470 | 0 | 0 | 213 | 91k| 21k| 9.000000e+00 | -- | Inf
925.82/926.10 c 926s| 44500 | 4100 | 2142k| 48.0 | 88M| 154 | 66 |7155 |5320 |7155 | 805 | 213 | 92k| 21k| 9.000000e+00 | -- | Inf
927.31/927.50 c 928s| 44600 | 4107 | 2146k| 48.0 | 88M| 154 | 60 |7155 |5427 |7155 | 805 | 213 | 92k| 21k| 9.000000e+00 | -- | Inf
929.02/929.27 c 929s| 44700 | 4089 | 2151k| 48.0 | 88M| 154 | 74 |7155 |5203 |7155 | 805 | 213 | 92k| 21k| 9.000000e+00 | -- | Inf
930.42/930.63 c 931s| 44800 | 4101 | 2154k| 48.0 | 88M| 154 | 47 |7155 |5272 |7155 | 805 | 213 | 92k| 21k| 9.000000e+00 | -- | Inf
931.61/931.81 c 932s| 44900 | 4106 | 2156k| 47.9 | 88M| 154 | 27 |7155 |5313 |7155 | 805 | 213 | 92k| 21k| 9.000000e+00 | -- | Inf
932.82/933.06 c 933s| 45000 | 4105 | 2159k| 47.9 | 88M| 154 | - |7155 |5347 |7155 | 805 | 213 | 93k| 21k| 9.000000e+00 | -- | Inf
935.01/935.20 c 935s| 45100 | 4102 | 2164k| 47.9 | 88M| 154 | 102 |7155 |5110 |7155 | 805 | 213 | 93k| 21k| 9.000000e+00 | -- | Inf
937.21/937.40 c 937s| 45200 | 4107 | 2171k| 47.9 | 88M| 154 | - |7155 |4961 |7155 | 805 | 213 | 93k| 21k| 9.000000e+00 | -- | Inf
938.31/938.55 c 939s| 45300 | 4110 | 2175k| 47.9 | 88M| 154 | 78 |7155 |4954 |7155 | 805 | 213 | 93k| 21k| 9.000000e+00 | -- | Inf
941.11/941.37 c 941s| 45400 | 4110 | 2178k| 47.9 | 88M| 154 | 72 |7155 |4889 |7155 | 805 | 213 | 93k| 21k| 9.000000e+00 | -- | Inf
942.32/942.60 c 943s| 45500 | 4145 | 2182k| 47.8 | 88M| 154 | 46 |7155 |4837 |7155 | 805 | 213 | 94k| 21k| 9.000000e+00 | -- | Inf
943.71/943.94 c 944s| 45600 | 4167 | 2187k| 47.8 | 88M| 154 | 37 |7155 |4810 |7155 | 805 | 213 | 94k| 21k| 9.000000e+00 | -- | Inf
945.82/946.05 c 946s| 45700 | 4212 | 2193k| 47.9 | 89M| 154 | 54 |7155 |4877 |7155 | 805 | 213 | 94k| 21k| 9.000000e+00 | -- | Inf
948.81/949.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.81/949.09 c 949s| 45800 | 4245 | 2201k| 47.9 | 89M| 154 | - |7155 |4889 |7155 | 805 | 213 | 94k| 21k| 9.000000e+00 | -- | Inf
951.81/952.08 c 952s| 45900 | 4271 | 2209k| 48.0 | 89M| 154 | 65 |7155 |4911 |7155 | 805 | 213 | 95k| 21k| 9.000000e+00 | -- | Inf
954.12/954.35 c 954s| 46000 | 4307 | 2216k| 48.0 | 89M| 154 | 64 |7155 |4830 |7155 | 805 | 213 | 95k| 21k| 9.000000e+00 | -- | Inf
957.61/957.87 c 958s| 46100 | 4335 | 2227k| 48.2 | 89M| 154 | 45 |7155 |4747 |7155 | 805 | 213 | 95k| 21k| 9.000000e+00 | -- | Inf
960.71/960.92 c 961s| 46200 | 4348 | 2236k| 48.3 | 89M| 154 | - |7155 |4690 |7155 | 805 | 213 | 95k| 21k| 9.000000e+00 | -- | Inf
963.81/964.00 c 964s| 46300 | 4379 | 2245k| 48.4 | 90M| 154 | - |7155 |4690 |7155 | 805 | 213 | 95k| 21k| 9.000000e+00 | -- | Inf
966.51/966.77 c 967s| 46400 | 4392 | 2252k| 48.4 | 90M| 154 | - |7155 |4731 |7155 | 805 | 213 | 96k| 22k| 9.000000e+00 | -- | Inf
968.41/968.67 c 969s| 46500 | 4406 | 2257k| 48.4 | 90M| 154 | 48 |7155 |4741 |7155 | 805 | 213 | 96k| 22k| 9.000000e+00 | -- | Inf
971.51/971.70 c 972s| 46600 | 4417 | 2266k| 48.5 | 90M| 154 | - |7155 |4840 |7155 | 805 | 213 | 96k| 22k| 9.000000e+00 | -- | Inf
974.21/974.45 c 974s| 46700 | 4421 | 2273k| 48.6 | 90M| 154 | 64 |7155 |4768 |7155 | 805 | 213 | 96k| 22k| 9.000000e+00 | -- | Inf
977.01/977.24 c 977s| 46800 | 4420 | 2281k| 48.6 | 90M| 154 | 64 |7155 |4683 |7155 | 805 | 213 | 96k| 22k| 9.000000e+00 | -- | Inf
978.50/978.79 c 979s| 46900 | 4447 | 2284k| 48.6 | 90M| 154 | 58 |7155 |4866 |7155 | 805 | 213 | 97k| 22k| 9.000000e+00 | -- | Inf
980.91/981.18 c 981s| 47000 | 4457 | 2289k| 48.6 | 90M| 154 | 80 |7155 |4831 |7155 | 805 | 213 | 97k| 22k| 9.000000e+00 | -- | Inf
983.22/983.49 c 983s| 47100 | 4499 | 2295k| 48.6 | 90M| 154 | - |7155 |4845 | 0 | 0 | 213 | 97k| 22k| 9.000000e+00 | -- | Inf
986.00/986.24 c 986s| 47200 | 4536 | 2303k| 48.7 | 91M| 154 | 52 |7155 |4935 |7155 | 805 | 213 | 97k| 22k| 9.000000e+00 | -- | Inf
988.61/988.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.61/988.88 c 989s| 47300 | 4556 | 2310k| 48.7 | 91M| 154 | 61 |7155 |5017 |7155 | 805 | 213 | 98k| 22k| 9.000000e+00 | -- | Inf
990.61/990.80 c 991s| 47400 | 4569 | 2316k| 48.7 | 91M| 154 | - |7155 |5136 |7155 | 805 | 213 | 98k| 22k| 9.000000e+00 | -- | Inf
993.11/993.37 c 993s| 47500 | 4597 | 2322k| 48.8 | 91M| 154 | - |7155 |4916 |7155 | 805 | 213 | 98k| 22k| 9.000000e+00 | -- | Inf
995.81/996.00 c 996s| 47600 | 4624 | 2328k| 48.8 | 91M| 154 | - |7155 |4986 |7155 | 805 | 213 | 98k| 22k| 9.000000e+00 | -- | Inf
998.41/998.63 c 999s| 47700 | 4669 | 2336k| 48.9 | 91M| 154 | 54 |7155 |5036 |7155 | 805 | 213 | 98k| 22k| 9.000000e+00 | -- | Inf
1000.71/1000.91 c 1001s| 47800 | 4702 | 2342k| 48.9 | 92M| 154 | - |7155 |5126 |7155 | 805 | 213 | 99k| 22k| 9.000000e+00 | -- | Inf
1003.40/1003.61 c 1004s| 47900 | 4704 | 2352k| 49.0 | 92M| 154 | - |7155 |5225 |7155 | 805 | 213 | 99k| 22k| 9.000000e+00 | -- | Inf
1005.50/1005.72 c 1006s| 48000 | 4717 | 2358k| 49.0 | 92M| 154 | - |7155 |5249 | 0 | 0 | 213 | 99k| 22k| 9.000000e+00 | -- | Inf
1007.71/1007.92 c 1008s| 48100 | 4727 | 2365k| 49.1 | 92M| 154 | - |7155 |5091 |7155 | 805 | 213 | 99k| 22k| 9.000000e+00 | -- | Inf
1010.20/1010.45 c 1010s| 48200 | 4745 | 2373k| 49.1 | 92M| 154 | 39 |7155 |5079 |7155 | 805 | 213 | 99k| 22k| 9.000000e+00 | -- | Inf
1012.30/1012.59 c 1013s| 48300 | 4761 | 2380k| 49.2 | 92M| 154 | 40 |7155 |5141 |7155 | 805 | 213 | 100k| 22k| 9.000000e+00 | -- | Inf
1015.11/1015.39 c 1015s| 48400 | 4772 | 2389k| 49.3 | 92M| 154 | 59 |7155 |5245 |7155 | 805 | 213 | 100k| 22k| 9.000000e+00 | -- | Inf
1017.70/1017.92 c 1018s| 48500 | 4767 | 2399k| 49.3 | 92M| 154 | 40 |7155 |5276 |7155 | 805 | 213 | 100k| 22k| 9.000000e+00 | -- | Inf
1020.20/1020.45 c 1020s| 48600 | 4774 | 2407k| 49.4 | 92M| 154 | - |7155 |5256 |7155 | 805 | 213 | 100k| 23k| 9.000000e+00 | -- | Inf
1022.40/1022.60 c 1023s| 48700 | 4788 | 2414k| 49.5 | 92M| 154 | 55 |7155 |5062 |7155 | 805 | 213 | 100k| 23k| 9.000000e+00 | -- | Inf
1025.10/1025.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.10/1025.33 c 1025s| 48800 | 4797 | 2424k| 49.6 | 92M| 154 | 46 |7155 |5066 |7155 | 805 | 213 | 101k| 23k| 9.000000e+00 | -- | Inf
1027.70/1027.97 c 1028s| 48900 | 4808 | 2433k| 49.6 | 92M| 154 | - |7155 |4955 |7155 | 805 | 213 | 101k| 23k| 9.000000e+00 | -- | Inf
1029.70/1029.91 c 1030s| 49000 | 4823 | 2439k| 49.7 | 92M| 154 | 47 |7155 |4927 |7155 | 805 | 213 | 101k| 23k| 9.000000e+00 | -- | Inf
1032.10/1032.32 c 1032s| 49100 | 4825 | 2448k| 49.7 | 92M| 154 | - |7155 |4956 |7155 | 805 | 213 | 101k| 23k| 9.000000e+00 | -- | Inf
1034.81/1035.04 c 1035s| 49200 | 4841 | 2455k| 49.8 | 92M| 154 | - |7155 |4992 |7155 | 805 | 213 | 101k| 23k| 9.000000e+00 | -- | Inf
1036.50/1036.74 c 1037s| 49300 | 4845 | 2460k| 49.8 | 93M| 154 | - |7155 |5085 |7155 | 805 | 213 | 102k| 23k| 9.000000e+00 | -- | Inf
1038.50/1038.77 c 1039s| 49400 | 4878 | 2465k| 49.8 | 93M| 154 | 29 |7155 |5161 |7155 | 805 | 213 | 102k| 23k| 9.000000e+00 | -- | Inf
1040.50/1040.79 c 1041s| 49500 | 4870 | 2471k| 49.8 | 93M| 154 | 66 |7155 |5305 |7155 | 805 | 213 | 102k| 23k| 9.000000e+00 | -- | Inf
1043.60/1043.81 c 1044s| 49600 | 4878 | 2482k| 49.9 | 93M| 154 | 65 |7155 |5256 |7155 | 805 | 213 | 102k| 23k| 9.000000e+00 | -- | Inf
1046.30/1046.51 c 1047s| 49700 | 4899 | 2491k| 50.0 | 93M| 154 | 69 |7155 |5253 |7155 | 805 | 213 | 102k| 23k| 9.000000e+00 | -- | Inf
1048.49/1048.79 c 1049s| 49800 | 4924 | 2498k| 50.1 | 93M| 154 | 49 |7155 |5070 |7155 | 805 | 213 | 102k| 23k| 9.000000e+00 | -- | Inf
1050.70/1050.97 c 1051s| 49900 | 4944 | 2505k| 50.1 | 93M| 154 | 37 |7155 |5142 |7155 | 805 | 213 | 103k| 23k| 9.000000e+00 | -- | Inf
1052.90/1053.13 c 1053s| 50000 | 4942 | 2512k| 50.1 | 93M| 154 | 60 |7155 |5198 |7155 | 805 | 213 | 103k| 23k| 9.000000e+00 | -- | Inf
1054.50/1054.71 c 1055s| 50100 | 4952 | 2516k| 50.1 | 93M| 154 | - |7155 |5214 |7155 | 805 | 213 | 103k| 23k| 9.000000e+00 | -- | Inf
1056.39/1056.61 c 1057s| 50200 | 4971 | 2522k| 50.1 | 94M| 154 | - |7155 |5288 | 0 | 0 | 213 | 103k| 23k| 9.000000e+00 | -- | Inf
1058.60/1058.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.60/1058.84 c 1059s| 50300 | 4993 | 2529k| 50.2 | 94M| 154 | 58 |7155 |5379 |7155 | 805 | 213 | 103k| 23k| 9.000000e+00 | -- | Inf
1060.79/1061.00 c 1061s| 50400 | 4987 | 2536k| 50.2 | 94M| 154 | 51 |7155 |5326 |7155 | 805 | 213 | 104k| 23k| 9.000000e+00 | -- | Inf
1062.89/1063.19 c 1063s| 50500 | 4990 | 2544k| 50.3 | 93M| 154 | - |7155 |5232 |7155 | 805 | 213 | 104k| 23k| 9.000000e+00 | -- | Inf
1065.20/1065.43 c 1065s| 50600 | 5001 | 2552k| 50.3 | 94M| 154 | 65 |7155 |5241 |7155 | 805 | 213 | 104k| 23k| 9.000000e+00 | -- | Inf
1067.30/1067.54 c 1068s| 50700 | 5001 | 2558k| 50.4 | 94M| 154 | 40 |7155 |5249 |7155 | 805 | 213 | 104k| 23k| 9.000000e+00 | -- | Inf
1069.80/1070.04 c 1070s| 50800 | 5011 | 2567k| 50.4 | 94M| 154 | 48 |7155 |5287 |7155 | 805 | 213 | 104k| 23k| 9.000000e+00 | -- | Inf
1071.90/1072.15 c 1072s| 50900 | 5027 | 2575k| 50.5 | 94M| 154 | 60 |7155 |5381 |7155 | 805 | 213 | 105k| 23k| 9.000000e+00 | -- | Inf
1074.29/1074.53 c 1075s| 51000 | 5057 | 2583k| 50.5 | 94M| 154 | 55 |7155 |5370 |7155 | 805 | 213 | 105k| 23k| 9.000000e+00 | -- | Inf
1076.30/1076.53 c 1077s| 51100 | 5071 | 2590k| 50.6 | 94M| 154 | 43 |7155 |5412 |7155 | 805 | 213 | 105k| 23k| 9.000000e+00 | -- | Inf
1078.39/1078.62 c 1079s| 51200 | 5084 | 2597k| 50.6 | 95M| 154 | - |7155 |5478 |7155 | 805 | 213 | 105k| 23k| 9.000000e+00 | -- | Inf
1080.39/1080.68 c 1081s| 51300 | 5094 | 2604k| 50.7 | 94M| 154 | 42 |7155 |5412 |7155 | 805 | 213 | 105k| 23k| 9.000000e+00 | -- | Inf
1082.20/1082.42 c 1082s| 51400 | 5110 | 2609k| 50.7 | 94M| 154 | 39 |7155 |5447 |7155 | 805 | 213 | 106k| 23k| 9.000000e+00 | -- | Inf
1083.99/1084.26 c 1084s| 51500 | 5115 | 2615k| 50.7 | 95M| 154 | 53 |7155 |5437 |7155 | 805 | 213 | 106k| 23k| 9.000000e+00 | -- | Inf
1086.10/1086.32 c 1086s| 51600 | 5151 | 2623k| 50.7 | 95M| 154 | 34 |7155 |5470 |7155 | 805 | 213 | 106k| 23k| 9.000000e+00 | -- | Inf
1087.90/1088.10 c 1088s| 51700 | 5159 | 2628k| 50.7 | 95M| 154 | 47 |7155 |5473 |7155 | 805 | 213 | 106k| 23k| 9.000000e+00 | -- | Inf
1089.99/1090.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.99/1090.27 c 1090s| 51800 | 5190 | 2635k| 50.8 | 95M| 154 | - |7155 |5503 |7155 | 805 | 213 | 106k| 23k| 9.000000e+00 | -- | Inf
1092.10/1092.32 c 1092s| 51900 | 5217 | 2643k| 50.8 | 95M| 154 | 50 |7155 |5516 |7155 | 805 | 213 | 106k| 23k| 9.000000e+00 | -- | Inf
1094.09/1094.40 c 1094s| 52000 | 5241 | 2650k| 50.9 | 95M| 154 | - |7155 |5433 | 0 | 0 | 213 | 107k| 23k| 9.000000e+00 | -- | Inf
1096.09/1096.39 c 1096s| 52100 | 5257 | 2657k| 50.9 | 95M| 154 | 58 |7155 |5465 |7155 | 805 | 213 | 107k| 23k| 9.000000e+00 | -- | Inf
1098.59/1098.86 c 1099s| 52200 | 5261 | 2664k| 50.9 | 95M| 154 | - |7155 |5496 | 0 | 0 | 213 | 107k| 23k| 9.000000e+00 | -- | Inf
1100.90/1101.18 c 1101s| 52300 | 5269 | 2672k| 51.0 | 95M| 154 | - |7155 |5312 |7155 | 805 | 213 | 107k| 23k| 9.000000e+00 | -- | Inf
1102.69/1102.91 c 1103s| 52400 | 5272 | 2678k| 51.0 | 95M| 154 | - |7155 |5304 |7155 | 805 | 213 | 107k| 23k| 9.000000e+00 | -- | Inf
1104.89/1105.10 c 1105s| 52500 | 5269 | 2686k| 51.1 | 95M| 154 | - |7155 |5127 |7155 | 805 | 213 | 108k| 23k| 9.000000e+00 | -- | Inf
1106.69/1106.98 c 1107s| 52600 | 5279 | 2692k| 51.1 | 95M| 154 | 52 |7155 |5182 |7155 | 805 | 213 | 108k| 23k| 9.000000e+00 | -- | Inf
1108.59/1108.87 c 1109s| 52700 | 5286 | 2698k| 51.1 | 95M| 154 | 53 |7155 |5058 |7155 | 805 | 213 | 108k| 23k| 9.000000e+00 | -- | Inf
1110.80/1111.03 c 1111s| 52800 | 5298 | 2706k| 51.1 | 95M| 154 | 49 |7155 |5099 |7155 | 805 | 213 | 108k| 23k| 9.000000e+00 | -- | Inf
1113.19/1113.46 c 1113s| 52900 | 5300 | 2715k| 51.2 | 95M| 154 | - |7155 |5093 | 0 | 0 | 213 | 108k| 23k| 9.000000e+00 | -- | Inf
1115.38/1115.60 c 1116s| 53000 | 5315 | 2721k| 51.2 | 95M| 154 | 54 |7155 |5125 |7155 | 805 | 213 | 108k| 23k| 9.000000e+00 | -- | Inf
1117.48/1117.78 c 1118s| 53100 | 5311 | 2728k| 51.3 | 95M| 154 | 42 |7155 |5108 |7155 | 805 | 213 | 109k| 23k| 9.000000e+00 | -- | Inf
1120.79/1121.08 c 1121s| 53200 | 5321 | 2738k| 51.4 | 96M| 154 | 73 |7155 |5188 |7155 | 805 | 213 | 109k| 23k| 9.000000e+00 | -- | Inf
1123.59/1123.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.59/1123.84 c 1124s| 53300 | 5312 | 2745k| 51.4 | 96M| 154 | - |7155 |5248 |7155 | 805 | 213 | 109k| 23k| 9.000000e+00 | -- | Inf
1126.20/1126.48 c 1126s| 53400 | 5303 | 2752k| 51.4 | 96M| 154 | 49 |7155 |5290 |7155 | 805 | 213 | 109k| 23k| 9.000000e+00 | -- | Inf
1127.68/1127.95 c 1128s| 53500 | 5331 | 2756k| 51.4 | 96M| 154 | 36 |7155 |5489 |7155 | 805 | 213 | 110k| 24k| 9.000000e+00 | -- | Inf
1130.49/1130.74 c 1131s| 53600 | 5306 | 2764k| 51.5 | 96M| 154 | 48 |7155 |5427 |7155 | 805 | 213 | 110k| 24k| 9.000000e+00 | -- | Inf
1133.08/1133.37 c 1133s| 53700 | 5321 | 2771k| 51.5 | 96M| 154 | - |7155 |5552 |7155 | 805 | 213 | 110k| 24k| 9.000000e+00 | -- | Inf
1135.29/1135.51 c 1136s| 53800 | 5316 | 2776k| 51.5 | 96M| 154 | - |7155 |5387 |7155 | 805 | 213 | 110k| 24k| 9.000000e+00 | -- | Inf
1137.79/1138.02 c 1138s| 53900 | 5331 | 2783k| 51.5 | 96M| 154 | 41 |7155 |5440 |7155 | 805 | 213 | 111k| 24k| 9.000000e+00 | -- | Inf
1140.39/1140.68 c 1141s| 54000 | 5360 | 2791k| 51.6 | 96M| 154 | 60 |7155 |5549 |7155 | 805 | 213 | 111k| 24k| 9.000000e+00 | -- | Inf
1142.98/1143.20 c 1143s| 54100 | 5357 | 2797k| 51.6 | 97M| 154 | - |7155 |5606 |7155 | 805 | 213 | 111k| 24k| 9.000000e+00 | -- | Inf
1145.58/1145.83 c 1146s| 54200 | 5356 | 2804k| 51.6 | 96M| 154 | 52 |7155 |5598 |7155 | 805 | 213 | 111k| 24k| 9.000000e+00 | -- | Inf
1147.88/1148.11 c 1148s| 54300 | 5368 | 2810k| 51.7 | 96M| 154 | - |7155 |5552 |7155 | 805 | 213 | 111k| 24k| 9.000000e+00 | -- | Inf
1150.18/1150.48 c 1150s| 54400 | 5357 | 2816k| 51.7 | 96M| 154 | - |7155 |5035 |7155 | 805 | 213 | 112k| 24k| 9.000000e+00 | -- | Inf
1152.98/1153.20 c 1153s| 54500 | 5383 | 2824k| 51.7 | 96M| 154 | 47 |7155 |5024 |7155 | 805 | 213 | 112k| 24k| 9.000000e+00 | -- | Inf
1155.88/1156.13 c 1156s| 54600 | 5412 | 2832k| 51.8 | 96M| 154 | - |7155 |5109 |7155 | 805 | 213 | 112k| 24k| 9.000000e+00 | -- | Inf
1158.78/1159.08 c 1159s| 54700 | 5417 | 2840k| 51.8 | 96M| 154 | 48 |7155 |5146 |7155 | 805 | 213 | 112k| 24k| 9.000000e+00 | -- | Inf
1161.67/1161.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.67/1161.93 c 1162s| 54800 | 5437 | 2849k| 51.9 | 96M| 154 | 52 |7155 |5096 |7155 | 805 | 213 | 112k| 24k| 9.000000e+00 | -- | Inf
1163.08/1163.33 c 1163s| 54900 | 5451 | 2852k| 51.9 | 96M| 154 | 51 |7155 |5181 |7155 | 805 | 213 | 113k| 24k| 9.000000e+00 | -- | Inf
1165.78/1166.09 c 1166s| 55000 | 5467 | 2859k| 51.9 | 96M| 154 | - |7155 |5237 |7155 | 805 | 213 | 113k| 24k| 9.000000e+00 | -- | Inf
1168.68/1168.98 c 1169s| 55100 | 5457 | 2868k| 51.9 | 96M| 154 | - |7155 |5266 |7155 | 805 | 213 | 113k| 24k| 9.000000e+00 | -- | Inf
1171.78/1172.02 c 1172s| 55200 | 5454 | 2876k| 52.0 | 96M| 154 | - |7155 |5071 |7155 | 805 | 213 | 113k| 24k| 9.000000e+00 | -- | Inf
1174.07/1174.39 c 1174s| 55300 | 5467 | 2882k| 52.0 | 96M| 154 | 70 |7155 |4984 |7155 | 805 | 213 | 114k| 25k| 9.000000e+00 | -- | Inf
1176.28/1176.53 c 1177s| 55400 | 5472 | 2888k| 52.0 | 97M| 154 | - |7155 |5151 |7155 | 805 | 213 | 114k| 25k| 9.000000e+00 | -- | Inf
1178.98/1179.20 c 1179s| 55500 | 5492 | 2894k| 52.1 | 97M| 154 | 49 |7155 |5120 |7155 | 805 | 213 | 114k| 25k| 9.000000e+00 | -- | Inf
1180.57/1180.80 c 1181s| 55600 | 5488 | 2898k| 52.0 | 97M| 154 | - |7155 |5255 |7155 | 805 | 213 | 114k| 25k| 9.000000e+00 | -- | Inf
1182.87/1183.17 c 1183s| 55700 | 5492 | 2905k| 52.1 | 97M| 154 | 54 |7155 |5232 |7155 | 805 | 213 | 115k| 25k| 9.000000e+00 | -- | Inf
1187.58/1187.82 c 1188s| 55800 | 5490 | 2916k| 52.2 | 96M| 154 | - |7155 |5035 |7155 | 805 | 213 | 115k| 25k| 9.000000e+00 | -- | Inf
1190.77/1191.08 c 1191s| 55900 | 5503 | 2925k| 52.2 | 96M| 154 | 61 |7155 |5041 |7155 | 805 | 213 | 115k| 25k| 9.000000e+00 | -- | Inf
1193.57/1193.89 c 1194s| 56000 | 5511 | 2933k| 52.3 | 97M| 154 | 47 |7155 |5035 |7155 | 805 | 213 | 115k| 25k| 9.000000e+00 | -- | Inf
1196.17/1196.45 c 1196s| 56100 | 5517 | 2940k| 52.3 | 97M| 154 | 48 |7155 |5069 |7155 | 805 | 213 | 116k| 25k| 9.000000e+00 | -- | Inf
1198.97/1199.28 c 1199s| 56200 | 5520 | 2948k| 52.4 | 97M| 154 | 55 |7155 |5108 |7155 | 805 | 213 | 116k| 25k| 9.000000e+00 | -- | Inf
1201.77/1202.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.77/1202.09 c 1202s| 56300 | 5521 | 2956k| 52.4 | 97M| 154 | 40 |7155 |5083 |7155 | 805 | 213 | 116k| 25k| 9.000000e+00 | -- | Inf
1204.07/1204.40 c 1204s| 56400 | 5519 | 2962k| 52.4 | 97M| 154 | - |7155 |5175 |7155 | 805 | 213 | 116k| 25k| 9.000000e+00 | -- | Inf
1206.77/1207.09 c 1207s| 56500 | 5543 | 2969k| 52.5 | 97M| 154 | 47 |7155 |5115 |7155 | 805 | 213 | 117k| 25k| 9.000000e+00 | -- | Inf
1208.77/1209.09 c 1209s| 56600 | 5552 | 2975k| 52.5 | 97M| 154 | - |7155 |5172 | 0 | 0 | 213 | 117k| 25k| 9.000000e+00 | -- | Inf
1210.67/1210.94 c 1211s| 56700 | 5570 | 2981k| 52.5 | 97M| 154 | 49 |7155 |5156 |7155 | 805 | 213 | 117k| 25k| 9.000000e+00 | -- | Inf
1213.47/1213.77 c 1214s| 56800 | 5581 | 2989k| 52.5 | 97M| 154 | - |7155 |5259 |7155 | 805 | 213 | 117k| 25k| 9.000000e+00 | -- | Inf
1215.46/1215.71 c 1216s| 56900 | 5600 | 2993k| 52.5 | 97M| 154 | 64 |7155 |5322 |7155 | 805 | 213 | 118k| 25k| 9.000000e+00 | -- | Inf
1217.47/1217.74 c 1218s| 57000 | 5614 | 2999k| 52.5 | 97M| 154 | 45 |7155 |5476 |7155 | 805 | 213 | 118k| 25k| 9.000000e+00 | -- | Inf
1218.97/1219.23 c 1219s| 57100 | 5618 | 3004k| 52.5 | 97M| 154 | - |7155 |5478 | 0 | 0 | 213 | 118k| 25k| 9.000000e+00 | -- | Inf
1220.77/1221.05 c 1221s| 57200 | 5616 | 3009k| 52.5 | 97M| 154 | - |7155 |5404 | 0 | 0 | 213 | 118k| 25k| 9.000000e+00 | -- | Inf
1222.57/1222.87 c 1223s| 57300 | 5618 | 3014k| 52.5 | 98M| 154 | 41 |7155 |5513 |7155 | 805 | 213 | 118k| 26k| 9.000000e+00 | -- | Inf
1224.97/1225.29 c 1225s| 57400 | 5615 | 3020k| 52.5 | 97M| 154 | - |7155 |5527 | 0 | 0 | 213 | 119k| 26k| 9.000000e+00 | -- | Inf
1226.67/1226.90 c 1227s| 57500 | 5619 | 3025k| 52.5 | 97M| 154 | - |7155 |5518 |7155 | 805 | 213 | 119k| 26k| 9.000000e+00 | -- | Inf
1228.76/1229.01 c 1229s| 57600 | 5627 | 3031k| 52.5 | 98M| 154 | 51 |7155 |5636 |7155 | 805 | 213 | 119k| 26k| 9.000000e+00 | -- | Inf
1230.46/1230.79 c 1231s| 57700 | 5623 | 3036k| 52.5 | 98M| 154 | - |7155 |5540 |7155 | 805 | 213 | 119k| 26k| 9.000000e+00 | -- | Inf
1233.06/1233.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.06/1233.37 c 1233s| 57800 | 5631 | 3044k| 52.6 | 98M| 154 | - |7155 |5407 |7155 | 805 | 213 | 120k| 26k| 9.000000e+00 | -- | Inf
1234.77/1235.09 c 1235s| 57900 | 5636 | 3047k| 52.5 | 98M| 154 | - |7155 |5429 |7155 | 805 | 213 | 120k| 26k| 9.000000e+00 | -- | Inf
1236.36/1236.65 c 1237s| 58000 | 5645 | 3051k| 52.5 | 98M| 154 | - |7155 |5505 |7155 | 805 | 213 | 120k| 26k| 9.000000e+00 | -- | Inf
1238.56/1238.85 c 1239s| 58100 | 5660 | 3058k| 52.5 | 98M| 154 | - |7155 |5625 |7155 | 805 | 213 | 120k| 26k| 9.000000e+00 | -- | Inf
1240.57/1240.80 c 1241s| 58200 | 5679 | 3065k| 52.6 | 98M| 154 | - |7155 |5618 |7155 | 805 | 213 | 121k| 26k| 9.000000e+00 | -- | Inf
1242.87/1243.14 c 1243s| 58300 | 5693 | 3073k| 52.6 | 98M| 154 | - |7155 |5736 |7155 | 805 | 213 | 121k| 26k| 9.000000e+00 | -- | Inf
1245.87/1246.17 c 1246s| 58400 | 5684 | 3084k| 52.7 | 98M| 154 | - |7155 |5691 |7155 | 805 | 213 | 121k| 26k| 9.000000e+00 | -- | Inf
1248.86/1249.11 c 1249s| 58500 | 5676 | 3094k| 52.8 | 98M| 154 | - |7155 |5520 |7155 | 805 | 213 | 121k| 26k| 9.000000e+00 | -- | Inf
1251.27/1251.50 c 1252s| 58600 | 5675 | 3103k| 52.9 | 98M| 154 | 43 |7155 |5482 |7155 | 805 | 213 | 122k| 26k| 9.000000e+00 | -- | Inf
1253.06/1253.37 c 1253s| 58700 | 5687 | 3108k| 52.9 | 98M| 154 | 50 |7155 |5408 |7155 | 805 | 213 | 122k| 26k| 9.000000e+00 | -- | Inf
1255.76/1256.08 c 1256s| 58800 | 5716 | 3117k| 52.9 | 98M| 154 | 46 |7155 |5527 |7155 | 805 | 213 | 122k| 26k| 9.000000e+00 | -- | Inf
1258.56/1258.86 c 1259s| 58900 | 5739 | 3126k| 53.0 | 99M| 154 | 47 |7155 |5634 |7155 | 805 | 213 | 122k| 26k| 9.000000e+00 | -- | Inf
1260.06/1260.35 c 1260s| 59000 | 5745 | 3128k| 52.9 | 99M| 154 | 40 |7155 |5734 |7155 | 805 | 213 | 122k| 26k| 9.000000e+00 | -- | Inf
1262.46/1262.72 c 1263s| 59100 | 5748 | 3135k| 53.0 | 99M| 154 | 72 |7155 |5698 |7155 | 805 | 213 | 123k| 26k| 9.000000e+00 | -- | Inf
1265.26/1265.54 c 1266s| 59200 | 5748 | 3144k| 53.0 | 99M| 154 | 50 |7155 |5742 |7155 | 805 | 213 | 123k| 26k| 9.000000e+00 | -- | Inf
1268.16/1268.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.16/1268.42 c 1268s| 59300 | 5735 | 3154k| 53.1 | 99M| 154 | - |7155 |5748 |7155 | 805 | 213 | 123k| 26k| 9.000000e+00 | -- | Inf
1270.66/1270.91 c 1271s| 59400 | 5736 | 3163k| 53.2 | 99M| 154 | - |7155 |5545 |7155 | 805 | 213 | 123k| 26k| 9.000000e+00 | -- | Inf
1272.96/1273.23 c 1273s| 59500 | 5745 | 3170k| 53.2 | 99M| 154 | - |7155 |5416 | 0 | 0 | 213 | 124k| 26k| 9.000000e+00 | -- | Inf
1275.16/1275.48 c 1275s| 59600 | 5737 | 3177k| 53.2 | 98M| 154 | - |7155 |5263 |7155 | 805 | 213 | 124k| 26k| 9.000000e+00 | -- | Inf
1277.06/1277.36 c 1277s| 59700 | 5740 | 3183k| 53.2 | 98M| 154 | - |7155 |5229 | 0 | 0 | 213 | 124k| 26k| 9.000000e+00 | -- | Inf
1279.16/1279.44 c 1279s| 59800 | 5742 | 3189k| 53.2 | 99M| 154 | - |7155 |5251 |7155 | 805 | 213 | 124k| 26k| 9.000000e+00 | -- | Inf
1280.76/1281.00 c 1281s| 59900 | 5769 | 3193k| 53.2 | 99M| 154 | - |7155 |5356 |7155 | 805 | 213 | 125k| 26k| 9.000000e+00 | -- | Inf
1282.36/1282.68 c 1283s| 60000 | 5744 | 3198k| 53.2 | 98M| 154 | 49 |7155 |5257 |7155 | 805 | 213 | 125k| 26k| 9.000000e+00 | -- | Inf
1283.86/1284.10 c 1284s| 60100 | 5744 | 3202k| 53.2 | 99M| 154 | 48 |7155 |5345 |7155 | 805 | 213 | 125k| 26k| 9.000000e+00 | -- | Inf
1285.06/1285.35 c 1285s| 60200 | 5744 | 3206k| 53.2 | 99M| 154 | - |7155 |5321 | 0 | 0 | 213 | 125k| 26k| 9.000000e+00 | -- | Inf
1286.86/1287.11 c 1287s| 60300 | 5753 | 3212k| 53.2 | 99M| 154 | 54 |7155 |5364 |7155 | 805 | 213 | 125k| 26k| 9.000000e+00 | -- | Inf
1288.66/1288.91 c 1289s| 60400 | 5749 | 3218k| 53.2 | 99M| 154 | - |7155 |5419 | 0 | 0 | 213 | 126k| 27k| 9.000000e+00 | -- | Inf
1290.55/1290.87 c 1291s| 60500 | 5748 | 3224k| 53.2 | 99M| 154 | - |7155 |5401 | 0 | 0 | 213 | 126k| 27k| 9.000000e+00 | -- | Inf
1292.16/1292.47 c 1292s| 60600 | 5759 | 3230k| 53.2 | 99M| 154 | 58 |7155 |5470 |7155 | 805 | 213 | 126k| 27k| 9.000000e+00 | -- | Inf
1293.46/1293.74 c 1294s| 60700 | 5756 | 3234k| 53.2 | 99M| 154 | - |7155 |5458 |7155 | 805 | 213 | 126k| 27k| 9.000000e+00 | -- | Inf
1295.66/1295.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.66/1295.94 c 1296s| 60800 | 5762 | 3241k| 53.2 | 99M| 154 | - |7155 |5536 |7155 | 805 | 213 | 127k| 27k| 9.000000e+00 | -- | Inf
1297.66/1297.97 c 1298s| 60900 | 5773 | 3247k| 53.2 | 99M| 154 | 55 |7155 |5574 |7155 | 805 | 213 | 127k| 27k| 9.000000e+00 | -- | Inf
1299.55/1299.85 c 1300s| 61000 | 5781 | 3254k| 53.3 | 99M| 154 | - |7155 |5492 | 0 | 0 | 213 | 127k| 27k| 9.000000e+00 | -- | Inf
1301.66/1301.92 c 1302s| 61100 | 5780 | 3260k| 53.3 | 99M| 154 | - |7155 |5459 | 0 | 0 | 213 | 127k| 27k| 9.000000e+00 | -- | Inf
1303.76/1304.07 c 1304s| 61200 | 5775 | 3267k| 53.3 | 99M| 154 | 46 |7155 |5405 |7155 | 805 | 213 | 127k| 27k| 9.000000e+00 | -- | Inf
1305.65/1305.98 c 1306s| 61300 | 5785 | 3274k| 53.3 | 99M| 154 | 66 |7155 |5427 |7155 | 805 | 213 | 128k| 27k| 9.000000e+00 | -- | Inf
1307.16/1307.47 c 1307s| 61400 | 5785 | 3278k| 53.3 | 99M| 154 | 39 |7155 |5451 |7155 | 805 | 213 | 128k| 27k| 9.000000e+00 | -- | Inf
1309.26/1309.56 c 1310s| 61500 | 5786 | 3285k| 53.3 | 99M| 154 | - |7155 |5447 |7155 | 805 | 213 | 128k| 27k| 9.000000e+00 | -- | Inf
1311.15/1311.46 c 1311s| 61600 | 5777 | 3291k| 53.3 | 99M| 154 | - |7155 |5492 |7155 | 805 | 213 | 128k| 27k| 9.000000e+00 | -- | Inf
1318.96/1319.20 c 1319s| 61700 | 5789 | 3298k| 53.4 | 99M| 154 | - |7155 |5134 |7155 | 805 | 213 | 128k| 27k| 9.000000e+00 | -- | Inf
1320.95/1321.28 c 1321s| 61800 | 5786 | 3304k| 53.4 | 99M| 154 | 59 |7155 |5162 |7155 | 805 | 213 | 129k| 27k| 9.000000e+00 | -- | Inf
1331.65/1331.93 c 1332s| 61900 | 5806 | 3317k| 53.5 | 100M| 154 | - |7155 |5333 | 0 | 0 | 213 | 129k| 28k| 9.000000e+00 | -- | Inf
1334.75/1335.06 c 1335s| 62000 | 5827 | 3320k| 53.5 | 100M| 154 | 27 |7155 |5371 |7155 | 805 | 213 | 129k| 28k| 9.000000e+00 | -- | Inf
1336.85/1337.14 c 1337s| 62100 | 5834 | 3322k| 53.4 | 100M| 154 | - |7155 |5419 | 0 | 0 | 213 | 129k| 28k| 9.000000e+00 | -- | Inf
1339.15/1339.41 c 1339s| 62200 | 5842 | 3324k| 53.4 | 100M| 154 | 6 |7155 |5583 |7155 | 805 | 213 | 130k| 28k| 9.000000e+00 | -- | Inf
1341.14/1341.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.14/1341.47 c 1341s| 62300 | 5833 | 3326k| 53.3 | 101M| 154 | - |7155 |5804 |7155 | 805 | 213 | 130k| 28k| 9.000000e+00 | -- | Inf
1343.86/1344.11 c 1344s| 62400 | 5838 | 3330k| 53.3 | 100M| 154 | - |7155 |5671 | 0 | 0 | 213 | 130k| 29k| 9.000000e+00 | -- | Inf
1346.95/1347.22 c 1347s| 62500 | 5826 | 3335k| 53.3 | 100M| 154 | 44 |7155 |5739 |7155 | 805 | 213 | 130k| 29k| 9.000000e+00 | -- | Inf
1348.85/1349.19 c 1349s| 62600 | 5837 | 3342k| 53.3 | 100M| 154 | 46 |7155 |5795 |7155 | 805 | 213 | 130k| 29k| 9.000000e+00 | -- | Inf
1350.65/1350.98 c 1351s| 62700 | 5852 | 3348k| 53.3 | 100M| 154 | 45 |7155 |5813 |7155 | 805 | 213 | 131k| 29k| 9.000000e+00 | -- | Inf
1352.55/1352.89 c 1353s| 62800 | 5831 | 3355k| 53.3 | 100M| 154 | - |7155 |5784 |7155 | 805 | 213 | 131k| 29k| 9.000000e+00 | -- | Inf
1360.35/1360.65 c 1361s| 62900 | 5825 | 3368k| 53.5 | 100M| 154 | 72 |7155 |5584 |7155 | 805 | 213 | 131k| 29k| 9.000000e+00 | -- | Inf
1363.66/1364.00 c 1364s| 63000 | 5818 | 3373k| 53.5 | 99M| 154 | - |7155 |5414 |7155 | 805 | 213 | 131k| 29k| 9.000000e+00 | -- | Inf
1366.24/1366.58 c 1367s| 63100 | 5834 | 3379k| 53.5 | 100M| 154 | - |7155 |5338 |7155 | 805 | 213 | 132k| 29k| 9.000000e+00 | -- | Inf
1368.54/1368.84 c 1369s| 63200 | 5839 | 3382k| 53.4 | 100M| 154 | 46 |7155 |5381 |7155 | 805 | 213 | 132k| 29k| 9.000000e+00 | -- | Inf
1370.05/1370.33 c 1370s| 63300 | 5851 | 3385k| 53.4 | 100M| 154 | - |7155 |5420 |7155 | 805 | 213 | 132k| 29k| 9.000000e+00 | -- | Inf
1371.94/1372.24 c 1372s| 63400 | 5841 | 3388k| 53.4 | 99M| 154 | - |7155 |5344 |7155 | 805 | 213 | 132k| 29k| 9.000000e+00 | -- | Inf
1373.24/1373.58 c 1374s| 63500 | 5846 | 3390k| 53.3 | 100M| 154 | - |7155 |5322 |7155 | 805 | 213 | 132k| 29k| 9.000000e+00 | -- | Inf
1384.34/1384.68 c 1385s| 63600 | 5856 | 3404k| 53.4 | 99M| 154 | 54 |7155 |5122 |7155 | 805 | 213 | 133k| 30k| 9.000000e+00 | -- | Inf
1386.04/1386.37 c 1386s| 63700 | 5862 | 3410k| 53.5 | 100M| 154 | 52 |7155 |5173 |7155 | 805 | 213 | 133k| 30k| 9.000000e+00 | -- | Inf
1388.74/1389.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.74/1389.04 c 1389s| 63800 | 5867 | 3416k| 53.5 | 100M| 154 | 44 |7155 |5163 |7155 | 805 | 213 | 133k| 30k| 9.000000e+00 | -- | Inf
1395.14/1395.47 c 1395s| 63900 | 5878 | 3422k| 53.5 | 100M| 154 | - |7155 |5142 |7155 | 805 | 213 | 133k| 30k| 9.000000e+00 | -- | Inf
1400.64/1400.90 c 1401s| 64000 | 5894 | 3425k| 53.4 | 100M| 154 | 41 |7155 |5224 |7155 | 805 | 213 | 134k| 31k| 9.000000e+00 | -- | Inf
1405.84/1406.10 c 1406s| 64100 | 5926 | 3429k| 53.4 | 101M| 154 | - |7155 |5328 |7155 | 805 | 213 | 134k| 31k| 9.000000e+00 | -- | Inf
1407.84/1408.10 c 1408s| 64200 | 5933 | 3432k| 53.4 | 100M| 154 | - |7155 |5240 |7155 | 805 | 213 | 134k| 31k| 9.000000e+00 | -- | Inf
1410.44/1410.75 c 1411s| 64300 | 5953 | 3437k| 53.4 | 101M| 154 | 28 |7155 |5351 |7155 | 805 | 213 | 134k| 31k| 9.000000e+00 | -- | Inf
1412.05/1412.38 c 1412s| 64400 | 5928 | 3440k| 53.3 | 101M| 154 | 59 |7155 |5306 |7155 | 805 | 213 | 135k| 31k| 9.000000e+00 | -- | Inf
1422.84/1423.15 c 1423s| 64500 | 5894 | 3451k| 53.4 | 100M| 154 | - |7155 |5097 |7155 | 805 | 213 | 135k| 31k| 9.000000e+00 | -- | Inf
1429.44/1429.79 c 1430s| 64600 | 5903 | 3461k| 53.5 | 100M| 154 | 68 |7155 |5037 |7155 | 805 | 213 | 135k| 32k| 9.000000e+00 | -- | Inf
1431.94/1432.27 c 1432s| 64700 | 5899 | 3466k| 53.5 | 100M| 154 | 64 |7155 |5065 |7155 | 805 | 213 | 135k| 32k| 9.000000e+00 | -- | Inf
1437.24/1437.56 c 1438s| 64800 | 5900 | 3475k| 53.6 | 100M| 154 | - |7155 |4998 |7155 | 805 | 213 | 136k| 32k| 9.000000e+00 | -- | Inf
1440.53/1440.87 c 1441s| 64900 | 5894 | 3484k| 53.6 | 101M| 154 | 55 |7155 |4930 |7155 | 805 | 213 | 136k| 32k| 9.000000e+00 | -- | Inf
1447.24/1447.58 c 1448s| 65000 | 5914 | 3497k| 53.7 | 100M| 154 | 50 |7155 |4652 |7155 | 805 | 213 | 136k| 32k| 9.000000e+00 | -- | Inf
1451.64/1451.92 c 1452s| 65100 | 5943 | 3504k| 53.7 | 100M| 154 | 75 |7155 |4422 |7155 | 805 | 213 | 136k| 32k| 9.000000e+00 | -- | Inf
1455.13/1455.49 c 1455s| 65200 | 5955 | 3510k| 53.7 | 101M| 154 | - |7155 |4321 |7155 | 805 | 213 | 136k| 32k| 9.000000e+00 | -- | Inf
1457.03/1457.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.03/1457.39 c 1457s| 65300 | 5978 | 3514k| 53.7 | 101M| 154 | 29 |7155 |4435 |7155 | 805 | 213 | 137k| 32k| 9.000000e+00 | -- | Inf
1457.73/1458.00 c 1458s| 65400 | 5983 | 3515k| 53.7 | 101M| 154 | - |7155 |4603 | 0 | 0 | 213 | 137k| 32k| 9.000000e+00 | -- | Inf
1458.93/1459.25 c 1459s| 65500 | 5967 | 3517k| 53.6 | 101M| 154 | - |7155 |4663 |7155 | 805 | 213 | 137k| 32k| 9.000000e+00 | -- | Inf
1460.23/1460.58 c 1461s| 65600 | 5973 | 3519k| 53.6 | 101M| 154 | 20 |7155 |4679 |7155 | 805 | 213 | 137k| 32k| 9.000000e+00 | -- | Inf
1466.83/1467.11 c 1467s| 65700 | 5979 | 3527k| 53.6 | 101M| 154 | 103 |7155 |4617 |7155 | 805 | 213 | 137k| 32k| 9.000000e+00 | -- | Inf
1468.33/1468.65 c 1469s| 65800 | 5998 | 3532k| 53.6 | 101M| 154 | - |7155 |4564 |7155 | 805 | 213 | 138k| 32k| 9.000000e+00 | -- | Inf
1470.23/1470.54 c 1471s| 65900 | 6005 | 3538k| 53.6 | 101M| 154 | 44 |7155 |4613 |7155 | 805 | 213 | 138k| 32k| 9.000000e+00 | -- | Inf
1472.23/1472.57 c 1473s| 66000 | 6009 | 3545k| 53.6 | 101M| 154 | 35 |7155 |4617 |7155 | 805 | 213 | 138k| 32k| 9.000000e+00 | -- | Inf
1473.83/1474.14 c 1474s| 66100 | 6018 | 3547k| 53.6 | 101M| 154 | - |7155 |4691 |7155 | 805 | 213 | 138k| 32k| 9.000000e+00 | -- | Inf
1475.63/1475.95 c 1476s| 66200 | 5999 | 3551k| 53.6 | 101M| 154 | - |7155 |4765 |7155 | 805 | 213 | 138k| 32k| 9.000000e+00 | -- | Inf
1477.53/1477.86 c 1478s| 66300 | 6016 | 3557k| 53.6 | 102M| 154 | - |7155 |4897 |7155 | 805 | 213 | 139k| 33k| 9.000000e+00 | -- | Inf
1479.23/1479.51 c 1480s| 66400 | 6037 | 3563k| 53.6 | 102M| 154 | 56 |7155 |4958 |7155 | 805 | 213 | 139k| 33k| 9.000000e+00 | -- | Inf
1480.63/1480.94 c 1481s| 66500 | 6043 | 3567k| 53.6 | 102M| 154 | 75 |7155 |4937 |7155 | 805 | 213 | 139k| 33k| 9.000000e+00 | -- | Inf
1483.03/1483.38 c 1483s| 66600 | 6045 | 3575k| 53.6 | 102M| 154 | - |7155 |4890 | 0 | 0 | 213 | 139k| 33k| 9.000000e+00 | -- | Inf
1485.84/1486.14 c 1486s| 66700 | 6049 | 3583k| 53.6 | 101M| 154 | 57 |7155 |4406 |7155 | 805 | 213 | 139k| 33k| 9.000000e+00 | -- | Inf
1487.73/1488.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.73/1488.01 c 1488s| 66800 | 6054 | 3589k| 53.6 | 101M| 154 | 65 |7155 |4208 |7155 | 805 | 213 | 140k| 33k| 9.000000e+00 | -- | Inf
1489.63/1489.98 c 1490s| 66900 | 6065 | 3596k| 53.7 | 101M| 154 | - |7155 |4269 |7155 | 805 | 213 | 140k| 33k| 9.000000e+00 | -- | Inf
1492.23/1492.50 c 1493s| 67000 | 6059 | 3604k| 53.7 | 101M| 154 | 59 |7155 |4238 |7155 | 805 | 213 | 140k| 33k| 9.000000e+00 | -- | Inf
1494.83/1495.15 c 1495s| 67100 | 6096 | 3611k| 53.7 | 101M| 154 | 32 |7155 |4212 |7155 | 805 | 213 | 140k| 33k| 9.000000e+00 | -- | Inf
1496.42/1496.78 c 1497s| 67200 | 6079 | 3615k| 53.7 | 101M| 154 | 45 |7155 |4276 |7155 | 805 | 213 | 140k| 33k| 9.000000e+00 | -- | Inf
1499.12/1499.41 c 1499s| 67300 | 6093 | 3626k| 53.8 | 101M| 154 | 40 |7155 |4273 |7155 | 805 | 213 | 141k| 33k| 9.000000e+00 | -- | Inf
1501.43/1501.71 c 1502s| 67400 | 6092 | 3634k| 53.8 | 102M| 154 | 66 |7155 |4329 |7155 | 805 | 213 | 141k| 33k| 9.000000e+00 | -- | Inf
1502.62/1502.99 c 1503s| 67500 | 6120 | 3638k| 53.8 | 102M| 154 | 42 |7155 |4439 |7155 | 805 | 213 | 141k| 33k| 9.000000e+00 | -- | Inf
1506.82/1507.18 c 1507s| 67600 | 6144 | 3645k| 53.8 | 102M| 154 | 33 |7155 |4485 |7155 | 805 | 213 | 141k| 33k| 9.000000e+00 | -- | Inf
1508.62/1508.96 c 1509s| 67700 | 6142 | 3648k| 53.8 | 102M| 154 | 64 |7155 |4426 |7155 | 805 | 213 | 142k| 33k| 9.000000e+00 | -- | Inf
1509.82/1510.15 c 1510s| 67800 | 6151 | 3652k| 53.8 | 102M| 154 | - |7155 |4493 |7155 | 805 | 213 | 142k| 33k| 9.000000e+00 | -- | Inf
1511.82/1512.12 c 1512s| 67900 | 6193 | 3658k| 53.8 | 103M| 154 | 63 |7155 |4430 |7155 | 805 | 213 | 142k| 33k| 9.000000e+00 | -- | Inf
1513.52/1513.85 c 1514s| 68000 | 6215 | 3662k| 53.8 | 103M| 154 | 33 |7155 |4507 |7155 | 805 | 213 | 142k| 33k| 9.000000e+00 | -- | Inf
1516.62/1516.93 c 1517s| 68100 | 6211 | 3673k| 53.9 | 103M| 154 | - |7155 |4572 |7155 | 805 | 213 | 142k| 33k| 9.000000e+00 | -- | Inf
1519.23/1519.51 c 1520s| 68200 | 6217 | 3684k| 53.9 | 103M| 154 | 66 |7155 |4515 |7155 | 805 | 213 | 143k| 33k| 9.000000e+00 | -- | Inf
1523.32/1523.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.32/1523.67 c 1524s| 68300 | 6220 | 3697k| 54.0 | 103M| 154 | 57 |7155 |4456 |7155 | 805 | 213 | 143k| 33k| 9.000000e+00 | -- | Inf
1524.83/1525.15 c 1525s| 68400 | 6214 | 3700k| 54.0 | 103M| 154 | 76 |7155 |4393 |7155 | 805 | 213 | 143k| 33k| 9.000000e+00 | -- | Inf
1526.32/1526.63 c 1527s| 68500 | 6227 | 3705k| 54.0 | 103M| 154 | 68 |7155 |4495 |7155 | 805 | 213 | 143k| 33k| 9.000000e+00 | -- | Inf
1528.92/1529.25 c 1529s| 68600 | 6236 | 3714k| 54.1 | 103M| 154 | - |7155 |4470 |7155 | 805 | 213 | 144k| 33k| 9.000000e+00 | -- | Inf
1530.32/1530.62 c 1531s| 68700 | 6238 | 3717k| 54.0 | 104M| 154 | 69 |7155 |4540 |7155 | 805 | 213 | 144k| 33k| 9.000000e+00 | -- | Inf
1532.12/1532.46 c 1532s| 68800 | 6253 | 3723k| 54.0 | 104M| 154 | 55 |7155 |4536 |7155 | 805 | 213 | 144k| 33k| 9.000000e+00 | -- | Inf
1533.82/1534.10 c 1534s| 68900 | 6237 | 3728k| 54.0 | 104M| 154 | 66 |7155 |4557 |7155 | 805 | 213 | 144k| 33k| 9.000000e+00 | -- | Inf
1534.72/1535.02 c 1535s| 69000 | 6247 | 3730k| 54.0 | 104M| 154 | 68 |7155 |4687 |7155 | 805 | 213 | 144k| 33k| 9.000000e+00 | -- | Inf
1535.92/1536.28 c 1536s| 69100 | 6242 | 3733k| 54.0 | 104M| 154 | - |7155 |4717 | 0 | 0 | 213 | 145k| 33k| 9.000000e+00 | -- | Inf
1537.12/1537.44 c 1537s| 69200 | 6237 | 3737k| 53.9 | 104M| 154 | - |7155 |4717 |7155 | 805 | 213 | 145k| 33k| 9.000000e+00 | -- | Inf
1538.12/1538.49 c 1538s| 69300 | 6240 | 3740k| 53.9 | 104M| 154 | 48 |7155 |4771 |7155 | 805 | 213 | 145k| 33k| 9.000000e+00 | -- | Inf
1539.22/1539.58 c 1540s| 69400 | 6248 | 3743k| 53.9 | 104M| 154 | - |7155 |4821 |7155 | 805 | 213 | 145k| 33k| 9.000000e+00 | -- | Inf
1541.02/1541.37 c 1541s| 69500 | 6250 | 3750k| 53.9 | 104M| 154 | - |7155 |4872 |7155 | 805 | 213 | 145k| 33k| 9.000000e+00 | -- | Inf
1543.12/1543.47 c 1543s| 69600 | 6253 | 3758k| 53.9 | 104M| 154 | 53 |7155 |4881 |7155 | 805 | 213 | 146k| 33k| 9.000000e+00 | -- | Inf
1545.02/1545.31 c 1545s| 69700 | 6261 | 3765k| 53.9 | 104M| 154 | 53 |7155 |4904 |7155 | 805 | 213 | 146k| 33k| 9.000000e+00 | -- | Inf
1546.61/1546.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.61/1546.99 c 1547s| 69800 | 6270 | 3770k| 53.9 | 104M| 154 | 41 |7155 |4901 |7155 | 805 | 213 | 146k| 33k| 9.000000e+00 | -- | Inf
1547.72/1548.08 c 1548s| 69900 | 6300 | 3773k| 53.9 | 105M| 154 | 19 |7155 |5064 |7155 | 805 | 213 | 146k| 33k| 9.000000e+00 | -- | Inf
1548.82/1549.16 c 1549s| 70000 | 6298 | 3776k| 53.9 | 105M| 154 | - |7155 |5180 |7155 | 805 | 213 | 146k| 33k| 9.000000e+00 | -- | Inf
1551.11/1551.42 c 1551s| 70100 | 6263 | 3786k| 53.9 | 104M| 154 | 53 |7155 |5172 |7155 | 805 | 213 | 147k| 33k| 9.000000e+00 | -- | Inf
1553.22/1553.50 c 1553s| 70200 | 6266 | 3794k| 54.0 | 104M| 154 | - |7155 |5181 |7155 | 805 | 213 | 147k| 33k| 9.000000e+00 | -- | Inf
1555.71/1556.05 c 1556s| 70300 | 6269 | 3803k| 54.0 | 105M| 154 | - |7155 |5255 |7155 | 805 | 213 | 147k| 33k| 9.000000e+00 | -- | Inf
1557.42/1557.75 c 1558s| 70400 | 6278 | 3809k| 54.0 | 105M| 154 | 47 |7155 |5276 |7155 | 805 | 213 | 147k| 33k| 9.000000e+00 | -- | Inf
1559.62/1559.92 c 1560s| 70500 | 6275 | 3817k| 54.1 | 105M| 154 | 53 |7155 |5336 |7155 | 805 | 213 | 147k| 33k| 9.000000e+00 | -- | Inf
1561.63/1561.90 c 1562s| 70600 | 6278 | 3824k| 54.1 | 105M| 154 | 44 |7155 |5329 |7155 | 805 | 213 | 148k| 33k| 9.000000e+00 | -- | Inf
1563.22/1563.57 c 1564s| 70700 | 6278 | 3831k| 54.1 | 105M| 154 | - |7155 |5341 | 0 | 0 | 213 | 148k| 33k| 9.000000e+00 | -- | Inf
1565.42/1565.74 c 1566s| 70800 | 6281 | 3840k| 54.2 | 105M| 154 | - |7155 |5334 | 0 | 0 | 213 | 148k| 33k| 9.000000e+00 | -- | Inf
1567.22/1567.51 c 1568s| 70900 | 6285 | 3845k| 54.2 | 105M| 154 | 65 |7155 |5367 |7155 | 805 | 213 | 148k| 33k| 9.000000e+00 | -- | Inf
1569.02/1569.30 c 1569s| 71000 | 6304 | 3850k| 54.1 | 105M| 154 | 49 |7155 |5275 |7155 | 805 | 213 | 148k| 33k| 9.000000e+00 | -- | Inf
1570.62/1570.99 c 1571s| 71100 | 6322 | 3855k| 54.1 | 105M| 154 | - |7155 |5227 |7155 | 805 | 213 | 149k| 33k| 9.000000e+00 | -- | Inf
1572.32/1572.61 c 1573s| 71200 | 6316 | 3859k| 54.1 | 105M| 154 | - |7155 |5024 |7155 | 805 | 213 | 149k| 33k| 9.000000e+00 | -- | Inf
1575.82/1576.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.82/1576.14 c 1576s| 71300 | 6336 | 3866k| 54.2 | 105M| 154 | - |7155 |4966 |7155 | 805 | 213 | 149k| 33k| 9.000000e+00 | -- | Inf
1577.31/1577.67 c 1578s| 71400 | 6331 | 3871k| 54.1 | 105M| 154 | 52 |7155 |4943 |7155 | 805 | 213 | 149k| 33k| 9.000000e+00 | -- | Inf
1578.61/1578.91 c 1579s| 71500 | 6346 | 3875k| 54.1 | 105M| 154 | 65 |7155 |5023 |7155 | 805 | 213 | 150k| 33k| 9.000000e+00 | -- | Inf
1579.91/1580.21 c 1580s| 71600 | 6351 | 3878k| 54.1 | 105M| 154 | - |7155 |4993 |7155 | 805 | 213 | 150k| 34k| 9.000000e+00 | -- | Inf
1581.21/1581.52 c 1582s| 71700 | 6348 | 3882k| 54.1 | 105M| 154 | - |7155 |5023 |7155 | 805 | 213 | 150k| 34k| 9.000000e+00 | -- | Inf
1584.61/1585.00 c 1585s| 71800 | 6393 | 3890k| 54.1 | 105M| 154 | - |7155 |4821 |7155 | 805 | 213 | 150k| 34k| 9.000000e+00 | -- | Inf
1585.81/1586.13 c 1586s| 71900 | 6389 | 3892k| 54.1 | 105M| 154 | 27 |7155 |4921 |7155 | 805 | 213 | 150k| 34k| 9.000000e+00 | -- | Inf
1587.31/1587.65 c 1588s| 72000 | 6387 | 3894k| 54.0 | 106M| 154 | - |7155 |4994 |7155 | 805 | 213 | 150k| 34k| 9.000000e+00 | -- | Inf
1588.61/1588.97 c 1589s| 72100 | 6386 | 3896k| 54.0 | 105M| 154 | - |7155 |4958 |7155 | 805 | 213 | 150k| 34k| 9.000000e+00 | -- | Inf
1589.51/1589.88 c 1590s| 72200 | 6391 | 3898k| 53.9 | 106M| 154 | - |7155 |5000 |7155 | 805 | 213 | 150k| 34k| 9.000000e+00 | -- | Inf
1590.22/1590.59 c 1591s| 72300 | 6389 | 3898k| 53.8 | 105M| 154 | 24 |7155 |4988 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1591.32/1591.61 c 1592s| 72400 | 6395 | 3901k| 53.8 | 105M| 154 | 38 |7155 |4969 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1592.31/1592.60 c 1593s| 72500 | 6383 | 3903k| 53.8 | 105M| 154 | - |7155 |4975 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1593.01/1593.37 c 1593s| 72600 | 6392 | 3904k| 53.7 | 105M| 154 | 6 |7155 |5057 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1594.41/1594.72 c 1595s| 72700 | 6393 | 3906k| 53.7 | 105M| 154 | - |7155 |5144 | 0 | 0 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1595.41/1595.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.41/1595.79 c 1596s| 72800 | 6403 | 3908k| 53.6 | 106M| 154 | 27 |7155 |5283 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1596.61/1596.97 c 1597s| 72900 | 6397 | 3910k| 53.6 | 106M| 154 | - |7155 |5328 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1598.21/1598.55 c 1599s| 73000 | 6389 | 3913k| 53.5 | 106M| 154 | - |7155 |5343 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1599.61/1599.96 c 1600s| 73100 | 6392 | 3917k| 53.5 | 106M| 154 | - |7155 |5287 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1600.71/1601.02 c 1601s| 73200 | 6393 | 3919k| 53.5 | 106M| 154 | - |7155 |5300 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1601.71/1602.09 c 1602s| 73300 | 6389 | 3921k| 53.4 | 105M| 154 | 24 |7155 |5304 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1602.71/1603.09 c 1603s| 73400 | 6394 | 3923k| 53.4 | 106M| 154 | - |7155 |5319 |7155 | 805 | 213 | 151k| 34k| 9.000000e+00 | -- | Inf
1604.01/1604.34 c 1604s| 73500 | 6402 | 3925k| 53.3 | 106M| 154 | 38 |7155 |5360 |7155 | 805 | 213 | 152k| 34k| 9.000000e+00 | -- | Inf
1605.41/1605.73 c 1606s| 73600 | 6391 | 3928k| 53.3 | 106M| 154 | - |7155 |5342 |7155 | 805 | 213 | 152k| 34k| 9.000000e+00 | -- | Inf
1606.31/1606.68 c 1607s| 73700 | 6385 | 3929k| 53.2 | 106M| 154 | 24 |7155 |5379 |7155 | 805 | 213 | 152k| 34k| 9.000000e+00 | -- | Inf
1607.41/1607.75 c 1608s| 73800 | 6392 | 3931k| 53.2 | 106M| 154 | 27 |7155 |5345 |7155 | 805 | 213 | 152k| 34k| 9.000000e+00 | -- | Inf
1608.71/1609.08 c 1609s| 73900 | 6388 | 3935k| 53.2 | 106M| 154 | 67 |7155 |5364 |7155 | 805 | 213 | 152k| 34k| 9.000000e+00 | -- | Inf
1610.40/1610.78 c 1611s| 74000 | 6391 | 3940k| 53.2 | 106M| 154 | - |7155 |5383 |7155 | 805 | 213 | 152k| 34k| 9.000000e+00 | -- | Inf
1612.11/1612.41 c 1612s| 74100 | 6409 | 3945k| 53.2 | 106M| 154 | 42 |7155 |5386 |7155 | 805 | 213 | 152k| 34k| 9.000000e+00 | -- | Inf
1613.71/1614.03 c 1614s| 74200 | 6408 | 3950k| 53.2 | 106M| 154 | - |7155 |5354 | 0 | 0 | 213 | 153k| 34k| 9.000000e+00 | -- | Inf
1614.91/1615.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.91/1615.22 c 1615s| 74300 | 6418 | 3953k| 53.1 | 106M| 154 | 54 |7155 |5154 |7155 | 805 | 213 | 153k| 34k| 9.000000e+00 | -- | Inf
1616.21/1616.57 c 1617s| 74400 | 6428 | 3956k| 53.1 | 106M| 154 | 37 |7155 |5305 |7155 | 805 | 213 | 153k| 34k| 9.000000e+00 | -- | Inf
1618.01/1618.39 c 1618s| 74500 | 6421 | 3961k| 53.1 | 106M| 154 | 24 |7155 |5338 |7155 | 805 | 213 | 153k| 34k| 9.000000e+00 | -- | Inf
1619.80/1620.17 c 1620s| 74600 | 6413 | 3964k| 53.1 | 106M| 154 | 68 |7155 |5147 |7155 | 805 | 213 | 153k| 34k| 9.000000e+00 | -- | Inf
1621.30/1621.68 c 1622s| 74700 | 6431 | 3969k| 53.1 | 106M| 154 | 62 |7155 |5133 |7155 | 805 | 213 | 153k| 34k| 9.000000e+00 | -- | Inf
1623.51/1623.87 c 1624s| 74800 | 6439 | 3978k| 53.1 | 106M| 154 | 55 |7155 |5215 |7155 | 805 | 213 | 154k| 34k| 9.000000e+00 | -- | Inf
1625.52/1625.87 c 1626s| 74900 | 6439 | 3986k| 53.2 | 106M| 154 | 57 |7155 |5170 |7155 | 805 | 213 | 154k| 34k| 9.000000e+00 | -- | Inf
1626.90/1627.22 c 1627s| 75000 | 6450 | 3991k| 53.1 | 106M| 154 | - |7155 |5151 |7155 | 805 | 213 | 154k| 34k| 9.000000e+00 | -- | Inf
1628.90/1629.29 c 1629s| 75100 | 6463 | 3998k| 53.2 | 106M| 154 | 57 |7155 |5058 |7155 | 805 | 213 | 154k| 34k| 9.000000e+00 | -- | Inf
1630.71/1631.00 c 1631s| 75200 | 6472 | 4003k| 53.2 | 106M| 154 | - |7155 |5120 |7155 | 805 | 213 | 154k| 34k| 9.000000e+00 | -- | Inf
1632.11/1632.48 c 1632s| 75300 | 6474 | 4007k| 53.1 | 106M| 154 | - |7155 |5135 | 0 | 0 | 213 | 155k| 34k| 9.000000e+00 | -- | Inf
1634.21/1634.51 c 1635s| 75400 | 6486 | 4015k| 53.2 | 106M| 154 | 47 |7155 |5217 |7155 | 805 | 213 | 155k| 34k| 9.000000e+00 | -- | Inf
1636.01/1636.35 c 1636s| 75500 | 6500 | 4022k| 53.2 | 106M| 154 | - |7155 |5216 |7155 | 805 | 213 | 155k| 34k| 9.000000e+00 | -- | Inf
1638.21/1638.57 c 1639s| 75600 | 6478 | 4028k| 53.2 | 106M| 154 | - |7155 |5017 |7155 | 805 | 213 | 155k| 34k| 9.000000e+00 | -- | Inf
1639.71/1640.02 c 1640s| 75700 | 6483 | 4033k| 53.2 | 106M| 154 | - |7155 |5059 | 0 | 0 | 213 | 155k| 34k| 9.000000e+00 | -- | Inf
1641.41/1641.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.41/1641.78 c 1642s| 75800 | 6495 | 4038k| 53.2 | 106M| 154 | 67 |7155 |4783 |7155 | 805 | 213 | 156k| 34k| 9.000000e+00 | -- | Inf
1643.01/1643.31 c 1643s| 75900 | 6507 | 4042k| 53.2 | 106M| 154 | - |7155 |4888 |7155 | 805 | 213 | 156k| 34k| 9.000000e+00 | -- | Inf
1644.71/1645.03 c 1645s| 76000 | 6510 | 4048k| 53.2 | 107M| 154 | - |7155 |4937 | 0 | 0 | 213 | 156k| 34k| 9.000000e+00 | -- | Inf
1646.41/1646.72 c 1647s| 76100 | 6509 | 4055k| 53.2 | 107M| 154 | - |7155 |5032 |7155 | 805 | 213 | 156k| 34k| 9.000000e+00 | -- | Inf
1649.00/1649.34 c 1649s| 76200 | 6530 | 4061k| 53.2 | 106M| 154 | 48 |7155 |4810 |7155 | 805 | 213 | 156k| 34k| 9.000000e+00 | -- | Inf
1650.60/1650.99 c 1651s| 76300 | 6530 | 4065k| 53.2 | 106M| 154 | 59 |7155 |4573 |7155 | 805 | 213 | 157k| 34k| 9.000000e+00 | -- | Inf
1652.60/1652.94 c 1653s| 76400 | 6542 | 4072k| 53.2 | 106M| 154 | 56 |7155 |4576 |7155 | 805 | 213 | 157k| 34k| 9.000000e+00 | -- | Inf
1657.31/1657.66 c 1658s| 76500 | 6557 | 4084k| 53.3 | 106M| 154 | 50 |7155 |4541 |7155 | 805 | 213 | 157k| 34k| 9.000000e+00 | -- | Inf
1659.40/1659.72 c 1660s| 76600 | 6575 | 4092k| 53.4 | 107M| 154 | - |7155 |4715 |7155 | 805 | 213 | 157k| 34k| 9.000000e+00 | -- | Inf
1661.40/1661.72 c 1662s| 76700 | 6594 | 4101k| 53.4 | 107M| 154 | 65 |7155 |4822 |7155 | 805 | 213 | 157k| 34k| 9.000000e+00 | -- | Inf
1662.20/1662.53 c 1663s| 76800 | 6630 | 4103k| 53.4 | 107M| 154 | 34 |7155 |4951 |7155 | 805 | 213 | 158k| 34k| 9.000000e+00 | -- | Inf
1663.60/1663.97 c 1664s| 76900 | 6612 | 4108k| 53.4 | 107M| 154 | 35 |7155 |5019 |7155 | 805 | 213 | 158k| 34k| 9.000000e+00 | -- | Inf
1664.50/1664.87 c 1665s| 77000 | 6627 | 4110k| 53.3 | 107M| 154 | - |7155 |5060 | 0 | 0 | 213 | 158k| 34k| 9.000000e+00 | -- | Inf
1665.00/1665.38 c 1665s| 77100 | 6629 | 4111k| 53.3 | 108M| 154 | - |7155 |5209 | 0 | 0 | 213 | 158k| 34k| 9.000000e+00 | -- | Inf
1666.00/1666.40 c 1666s| 77200 | 6629 | 4114k| 53.2 | 108M| 154 | - |7155 |5189 |7155 | 805 | 213 | 159k| 34k| 9.000000e+00 | -- | Inf
1667.21/1667.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.21/1667.52 c 1668s| 77300 | 6632 | 4116k| 53.2 | 108M| 154 | 46 |7155 |5187 |7155 | 805 | 213 | 159k| 34k| 9.000000e+00 | -- | Inf
1668.10/1668.48 c 1668s| 77400 | 6634 | 4118k| 53.1 | 108M| 154 | 44 |7155 |5307 |7155 | 805 | 213 | 159k| 34k| 9.000000e+00 | -- | Inf
1668.90/1669.24 c 1669s| 77500 | 6646 | 4120k| 53.1 | 108M| 154 | - |7155 |5344 | 0 | 0 | 213 | 160k| 34k| 9.000000e+00 | -- | Inf
1669.30/1669.66 c 1670s| 77600 | 6648 | 4121k| 53.0 | 108M| 194 | 28 |7155 |5518 |7155 | 805 | 213 | 160k| 35k| 9.000000e+00 | -- | Inf
1669.90/1670.25 c 1670s| 77700 | 6647 | 4122k| 53.0 | 108M| 231 | 36 |7155 |5209 |7155 | 805 | 213 | 160k| 35k| 9.000000e+00 | -- | Inf
1670.51/1670.84 c 1671s| 77800 | 6649 | 4123k| 52.9 | 108M| 231 | - |7155 |5265 |7155 | 805 | 213 | 161k| 35k| 9.000000e+00 | -- | Inf
1671.50/1671.83 c 1672s| 77900 | 6637 | 4125k| 52.9 | 108M| 231 | 40 |7155 |5273 |7155 | 805 | 213 | 161k| 35k| 9.000000e+00 | -- | Inf
1672.60/1672.94 c 1673s| 78000 | 6645 | 4128k| 52.9 | 108M| 231 | 33 |7155 |5176 |7155 | 805 | 213 | 161k| 35k| 9.000000e+00 | -- | Inf
1673.60/1673.91 c 1674s| 78100 | 6635 | 4130k| 52.8 | 108M| 231 | 42 |7155 |5172 |7155 | 805 | 213 | 161k| 35k| 9.000000e+00 | -- | Inf
1674.60/1674.94 c 1675s| 78200 | 6642 | 4134k| 52.8 | 108M| 231 | 23 |7155 |5045 |7155 | 805 | 213 | 162k| 35k| 9.000000e+00 | -- | Inf
1675.10/1675.40 c 1675s| 78300 | 6644 | 4134k| 52.7 | 108M| 231 | 25 |7155 |5186 |7155 | 805 | 213 | 162k| 35k| 9.000000e+00 | -- | Inf
1675.80/1676.15 c 1676s| 78400 | 6644 | 4136k| 52.7 | 108M| 231 | - |7155 |5317 | 0 | 0 | 213 | 162k| 35k| 9.000000e+00 | -- | Inf
1676.80/1677.14 c 1677s| 78500 | 6636 | 4139k| 52.7 | 108M| 231 | - |7155 |5244 | 0 | 0 | 213 | 162k| 35k| 9.000000e+00 | -- | Inf
1678.21/1678.54 c 1679s| 78600 | 6639 | 4143k| 52.6 | 108M| 231 | 53 |7155 |5087 |7155 | 805 | 213 | 163k| 35k| 9.000000e+00 | -- | Inf
1680.00/1680.37 c 1680s| 78700 | 6625 | 4150k| 52.7 | 108M| 231 | 52 |7155 |5003 |7155 | 805 | 213 | 163k| 35k| 9.000000e+00 | -- | Inf
1681.40/1681.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.40/1681.78 c 1682s| 78800 | 6648 | 4154k| 52.7 | 108M| 231 | 45 |7155 |4971 |7155 | 805 | 213 | 163k| 35k| 9.000000e+00 | -- | Inf
1682.89/1683.21 c 1683s| 78900 | 6643 | 4159k| 52.6 | 108M| 231 | - |7155 |5018 |7155 | 805 | 213 | 163k| 35k| 9.000000e+00 | -- | Inf
1684.70/1685.02 c 1685s| 79000 | 6648 | 4165k| 52.7 | 108M| 231 | - |7155 |5000 |7155 | 805 | 213 | 163k| 35k| 9.000000e+00 | -- | Inf
1687.60/1687.91 c 1688s| 79100 | 6660 | 4179k| 52.8 | 108M| 231 | 35 |7155 |5040 |7155 | 805 | 213 | 164k| 35k| 9.000000e+00 | -- | Inf
1690.80/1691.11 c 1691s| 79200 | 6668 | 4190k| 52.8 | 108M| 231 | 63 |7155 |5080 |7155 | 805 | 213 | 164k| 35k| 9.000000e+00 | -- | Inf
1693.50/1693.86 c 1694s| 79300 | 6671 | 4198k| 52.9 | 108M| 231 | 87 |7155 |4899 |7155 | 805 | 213 | 164k| 35k| 9.000000e+00 | -- | Inf
1695.90/1696.24 c 1696s| 79400 | 6705 | 4204k| 52.9 | 108M| 231 | 65 |7155 |4835 |7155 | 805 | 213 | 164k| 35k| 9.000000e+00 | -- | Inf
1698.10/1698.43 c 1698s| 79500 | 6709 | 4210k| 52.9 | 108M| 231 | 59 |7155 |4906 |7155 | 805 | 213 | 164k| 35k| 9.000000e+00 | -- | Inf
1701.50/1701.81 c 1702s| 79600 | 6704 | 4219k| 52.9 | 108M| 231 | 91 |7155 |4842 |7155 | 805 | 213 | 165k| 35k| 9.000000e+00 | -- | Inf
1703.30/1703.65 c 1704s| 79700 | 6723 | 4224k| 52.9 | 108M| 231 | 72 |7155 |4879 |7155 | 805 | 213 | 165k| 35k| 9.000000e+00 | -- | Inf
1704.99/1705.38 c 1705s| 79800 | 6728 | 4228k| 52.9 | 109M| 231 | - |7155 |4901 |7155 | 805 | 213 | 165k| 35k| 9.000000e+00 | -- | Inf
1706.99/1707.31 c 1707s| 79900 | 6749 | 4233k| 52.9 | 108M| 231 | 69 |7155 |4700 |7155 | 805 | 213 | 165k| 35k| 9.000000e+00 | -- | Inf
1709.20/1709.57 c 1710s| 80000 | 6755 | 4239k| 52.9 | 109M| 231 | 81 |7155 |4815 |7155 | 805 | 213 | 165k| 35k| 9.000000e+00 | -- | Inf
1710.79/1711.12 c 1711s| 80100 | 6769 | 4244k| 52.9 | 109M| 231 | 57 |7155 |4948 |7155 | 805 | 213 | 166k| 35k| 9.000000e+00 | -- | Inf
1712.99/1713.32 c 1713s| 80200 | 6779 | 4249k| 52.9 | 109M| 231 | - |7155 |5085 |7155 | 805 | 213 | 166k| 35k| 9.000000e+00 | -- | Inf
1714.99/1715.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.99/1715.38 c 1715s| 80300 | 6773 | 4253k| 52.9 | 110M| 231 | 66 |7155 |5107 |7155 | 805 | 213 | 166k| 35k| 9.000000e+00 | -- | Inf
1717.19/1717.59 c 1718s| 80400 | 6776 | 4259k| 52.9 | 110M| 231 | 59 |7155 |5009 |7155 | 805 | 213 | 166k| 35k| 9.000000e+00 | -- | Inf
1719.59/1719.94 c 1720s| 80500 | 6774 | 4264k| 52.9 | 110M| 231 | - |7155 |5022 | 0 | 0 | 213 | 167k| 35k| 9.000000e+00 | -- | Inf
1721.30/1721.66 c 1722s| 80600 | 6767 | 4268k| 52.9 | 109M| 231 | 61 |7155 |4949 |7155 | 805 | 213 | 167k| 35k| 9.000000e+00 | -- | Inf
1723.49/1723.82 c 1724s| 80700 | 6781 | 4276k| 52.9 | 110M| 231 | - |7155 |5020 |7155 | 805 | 213 | 167k| 35k| 9.000000e+00 | -- | Inf
1726.29/1726.60 c 1727s| 80800 | 6786 | 4284k| 53.0 | 110M| 231 | 66 |7155 |5057 |7155 | 805 | 213 | 167k| 35k| 9.000000e+00 | -- | Inf
1729.09/1729.47 c 1729s| 80900 | 6801 | 4291k| 53.0 | 110M| 231 | 62 |7155 |5127 |7155 | 805 | 213 | 167k| 36k| 9.000000e+00 | -- | Inf
1731.89/1732.25 c 1732s| 81000 | 6816 | 4296k| 53.0 | 110M| 231 | - |7155 |5163 |7155 | 805 | 213 | 168k| 36k| 9.000000e+00 | -- | Inf
1733.39/1733.77 c 1734s| 81100 | 6834 | 4299k| 52.9 | 111M| 231 | 20 |7155 |5239 |7155 | 805 | 213 | 168k| 36k| 9.000000e+00 | -- | Inf
1734.79/1735.13 c 1735s| 81200 | 6809 | 4303k| 52.9 | 110M| 231 | 56 |7155 |5226 |7155 | 805 | 213 | 168k| 36k| 9.000000e+00 | -- | Inf
1736.18/1736.57 c 1737s| 81300 | 6823 | 4308k| 52.9 | 110M| 231 | 74 |7155 |5231 |7155 | 805 | 213 | 168k| 36k| 9.000000e+00 | -- | Inf
1738.29/1738.63 c 1739s| 81400 | 6813 | 4315k| 52.9 | 110M| 231 | - |7155 |5193 |7155 | 805 | 213 | 169k| 36k| 9.000000e+00 | -- | Inf
1740.28/1740.63 c 1741s| 81500 | 6824 | 4321k| 52.9 | 110M| 231 | 82 |7155 |5099 |7155 | 805 | 213 | 169k| 36k| 9.000000e+00 | -- | Inf
1741.79/1742.17 c 1742s| 81600 | 6837 | 4325k| 52.9 | 110M| 231 | 35 |7155 |5167 |7155 | 805 | 213 | 169k| 36k| 9.000000e+00 | -- | Inf
1743.20/1743.56 c 1744s| 81700 | 6849 | 4327k| 52.9 | 111M| 231 | - |7155 |5220 |7155 | 805 | 213 | 169k| 36k| 9.000000e+00 | -- | Inf
1744.30/1744.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.30/1744.69 c 1745s| 81800 | 6832 | 4329k| 52.9 | 111M| 231 | 48 |7155 |5315 |7155 | 805 | 213 | 169k| 36k| 9.000000e+00 | -- | Inf
1746.39/1746.72 c 1747s| 81900 | 6848 | 4335k| 52.9 | 110M| 231 | - |7155 |5125 |7155 | 805 | 213 | 170k| 36k| 9.000000e+00 | -- | Inf
1748.60/1748.95 c 1749s| 82000 | 6858 | 4341k| 52.9 | 111M| 231 | - |7155 |5204 |7155 | 805 | 213 | 170k| 36k| 9.000000e+00 | -- | Inf
1750.29/1750.67 c 1751s| 82100 | 6871 | 4346k| 52.9 | 111M| 231 | - |7155 |5148 | 0 | 0 | 213 | 170k| 36k| 9.000000e+00 | -- | Inf
1752.69/1753.08 c 1753s| 82200 | 6869 | 4352k| 52.9 | 111M| 231 | - |7155 |5209 |7155 | 805 | 213 | 170k| 36k| 9.000000e+00 | -- | Inf
1754.19/1754.50 c 1755s| 82300 | 6871 | 4355k| 52.9 | 111M| 231 | - |7155 |5280 |7155 | 805 | 213 | 170k| 36k| 9.000000e+00 | -- | Inf
1756.48/1756.84 c 1757s| 82400 | 6869 | 4361k| 52.9 | 111M| 231 | 63 |7155 |5177 |7155 | 805 | 213 | 171k| 36k| 9.000000e+00 | -- | Inf
1758.39/1758.79 c 1759s| 82500 | 6867 | 4366k| 52.9 | 111M| 231 | 75 |7155 |5220 |7155 | 805 | 213 | 171k| 36k| 9.000000e+00 | -- | Inf
1760.48/1760.82 c 1761s| 82600 | 6898 | 4370k| 52.8 | 111M| 231 | - |7155 |5207 |7155 | 805 | 213 | 171k| 36k| 9.000000e+00 | -- | Inf
1762.19/1762.53 c 1763s| 82700 | 6899 | 4376k| 52.8 | 111M| 231 | 62 |7155 |5221 |7155 | 805 | 213 | 171k| 36k| 9.000000e+00 | -- | Inf
1764.29/1764.63 c 1765s| 82800 | 6908 | 4382k| 52.9 | 111M| 231 | 72 |7155 |5262 |7155 | 805 | 213 | 172k| 36k| 9.000000e+00 | -- | Inf
1766.08/1766.45 c 1766s| 82900 | 6907 | 4386k| 52.8 | 111M| 231 | - |7155 |5270 | 0 | 0 | 213 | 172k| 36k| 9.000000e+00 | -- | Inf
1767.39/1767.76 c 1768s| 83000 | 6909 | 4389k| 52.8 | 111M| 231 | 23 |7155 |5308 |7155 | 805 | 213 | 172k| 36k| 9.000000e+00 | -- | Inf
1768.58/1768.92 c 1769s| 83100 | 6889 | 4392k| 52.8 | 111M| 231 | - |7155 |5493 |7155 | 805 | 213 | 172k| 36k| 9.000000e+00 | -- | Inf
1770.59/1770.97 c 1771s| 83200 | 6873 | 4398k| 52.8 | 111M| 231 | 73 |7155 |5426 |7155 | 805 | 213 | 172k| 36k| 9.000000e+00 | -- | Inf
1773.38/1773.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.38/1773.72 c 1774s| 83300 | 6877 | 4406k| 52.8 | 111M| 231 | - |7155 |5370 |7155 | 805 | 213 | 173k| 36k| 9.000000e+00 | -- | Inf
1775.89/1776.22 c 1776s| 83400 | 6906 | 4412k| 52.8 | 111M| 231 | - |7155 |5274 |7155 | 805 | 213 | 173k| 36k| 9.000000e+00 | -- | Inf
1777.38/1777.79 c 1778s| 83500 | 6912 | 4417k| 52.8 | 111M| 231 | 51 |7155 |5231 |7155 | 805 | 213 | 173k| 36k| 9.000000e+00 | -- | Inf
1779.08/1779.44 c 1779s| 83600 | 6934 | 4421k| 52.8 | 111M| 231 | 43 |7155 |5279 |7155 | 805 | 213 | 173k| 37k| 9.000000e+00 | -- | Inf
1780.39/1780.78 c 1781s| 83700 | 6936 | 4424k| 52.8 | 111M| 231 | 44 |7155 |5284 |7155 | 805 | 213 | 173k| 37k| 9.000000e+00 | -- | Inf
1781.48/1781.85 c 1782s| 83800 | 6950 | 4426k| 52.7 | 111M| 231 | - |7155 |5298 | 0 | 0 | 213 | 174k| 37k| 9.000000e+00 | -- | Inf
1782.39/1782.75 c 1783s| 83900 | 6968 | 4427k| 52.7 | 111M| 231 | 34 |7155 |5368 |7155 | 805 | 213 | 174k| 37k| 9.000000e+00 | -- | Inf
1783.48/1783.81 c 1784s| 84000 | 6941 | 4429k| 52.7 | 111M| 231 | 41 |7155 |5403 |7155 | 805 | 213 | 174k| 37k| 9.000000e+00 | -- | Inf
1784.48/1784.81 c 1785s| 84100 | 6949 | 4431k| 52.6 | 111M| 231 | 35 |7155 |5373 |7155 | 805 | 213 | 174k| 37k| 9.000000e+00 | -- | Inf
1785.78/1786.11 c 1786s| 84200 | 6947 | 4434k| 52.6 | 111M| 231 | 65 |7155 |5337 |7155 | 805 | 213 | 175k| 37k| 9.000000e+00 | -- | Inf
1786.88/1787.24 c 1787s| 84300 | 6945 | 4437k| 52.6 | 111M| 231 | 30 |7155 |5384 |7155 | 805 | 213 | 175k| 37k| 9.000000e+00 | -- | Inf
1788.68/1789.03 c 1789s| 84400 | 6960 | 4441k| 52.6 | 111M| 231 | 34 |7155 |5295 |7155 | 805 | 213 | 175k| 37k| 9.000000e+00 | -- | Inf
1790.08/1790.49 c 1790s| 84500 | 6959 | 4445k| 52.5 | 111M| 231 | - |7155 |5371 |7155 | 805 | 213 | 175k| 37k| 9.000000e+00 | -- | Inf
1792.08/1792.49 c 1792s| 84600 | 6976 | 4449k| 52.5 | 111M| 231 | 58 |7155 |5267 |7155 | 805 | 213 | 175k| 37k| 9.000000e+00 | -- | Inf
1793.48/1793.89 c 1794s| 84700 | 6993 | 4453k| 52.5 | 112M| 231 | 58 |7155 |5345 |7155 | 805 | 213 | 175k| 37k| 9.000000e+00 | -- | Inf
1795.89/1796.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.89/1796.22 c 1796s| 84800 | 7021 | 4458k| 52.5 | 111M| 231 | 56 |7155 |5151 |7155 | 805 | 213 | 176k| 37k| 9.000000e+00 | -- | Inf
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 84847
1796.68/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.00 c Dual Bound : +9.00000000000000e+00
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 s UNKNOWN
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Total Time : 1797.00
1796.68/1797.00 c solving : 1797.00
1796.68/1797.00 c presolving : 0.46 (included in solving)
1796.68/1797.00 c reading : 0.05 (included in solving)
1796.68/1797.00 c copying : 0.06 (2 #copies) (minimal 0.02, maximal 0.04, average 0.03)
1796.68/1797.00 c Original Problem :
1796.68/1797.00 c Problem name : HOME/instance-3691209-1338022541.opb
1796.68/1797.00 c Variables : 7164 (7164 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 7824 initial, 7824 maximal
1796.68/1797.00 c Objective sense : minimize
1796.68/1797.00 c Presolved Problem :
1796.68/1797.00 c Problem name : t_HOME/instance-3691209-1338022541.opb
1796.68/1797.00 c Variables : 7155 (7155 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 668 initial, 5865 maximal
1796.68/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c probing : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c knapsack : 0.28 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c linear : 0.07 0.00 9 0 0 9 0 7156 0 0 0
1796.68/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c root node : - - 0 - - 0 - - - - -
1796.68/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c integral : 0 0 0 0 61626 0 4 0 261 18119 0 0 100898
1796.68/1797.00 c knapsack : 576 576 6 445723 0 2 3 8875967 1660 2437559 1203 0 0
1796.68/1797.00 c setppc : 92 92 6 444063 0 2 2 7978979 442 1413099 0 0 0
1796.68/1797.00 c linear : 0+ 632 6 163 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c logicor : 0+ 4565 6 131329 0 0 0 663563 6771 75239 0 0 0
1796.68/1797.00 c countsols : 0 0 0 0 0 2 0 0 0 0 0 0 0
1796.68/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.00 c integral : 400.13 0.00 0.00 0.00 400.13 0.00 0.00 0.00
1796.68/1797.00 c knapsack : 28.38 0.00 0.02 20.77 0.00 0.00 0.00 7.58
1796.68/1797.00 c setppc : 9.91 0.00 0.00 3.42 0.00 0.00 0.00 6.49
1796.68/1797.00 c linear : 0.03 0.00 0.02 0.02 0.00 0.00 0.00 0.00
1796.68/1797.00 c logicor : 14.17 0.00 0.00 11.97 0.00 0.00 0.00 2.20
1796.68/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.00 c rootredcost : 0 0 0 0
1796.68/1797.00 c pseudoobj : 0 0 0 0
1796.68/1797.00 c vbounds : 0 0 0 0
1796.68/1797.00 c redcost : 61632 0 0 0
1796.68/1797.00 c probing : 0 0 0 0
1796.68/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.00 c rootredcost : 0.16 0.00 0.00 0.16 0.00
1796.68/1797.00 c pseudoobj : 0.15 0.00 0.00 0.15 0.00
1796.68/1797.00 c vbounds : 0.14 0.00 0.00 0.14 0.00
1796.68/1797.00 c redcost : 5.78 0.00 0.00 5.78 0.00
1796.68/1797.00 c probing : 0.05 0.00 0.05 0.00 0.00
1796.68/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.00 c propagation : 10.13 8873 8858 217460 172.9 428 171.7 -
1796.68/1797.00 c infeasible LP : 239.24 27919 25896 1137856 387.2 210 202.9 0
1796.68/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c applied globally : - - - 176287 256.1 - - -
1796.68/1797.00 c applied locally : - - - 0 0.0 - - -
1796.68/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.00 c cut pool : 0.00 5 - - 680 - (maximal pool size: 2241)
1796.68/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c impliedbounds : 0.00 0.00 6 0 0 0 0
1796.68/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c gomory : 0.03 0.00 6 0 0 46 0
1796.68/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c strongcg : 0.05 0.00 6 0 0 25 0
1796.68/1797.00 c cmir : 1.22 0.00 6 0 0 2366 0
1796.68/1797.00 c flowcover : 0.80 0.00 6 0 0 1201 0
1796.68/1797.00 c clique : 0.01 0.00 6 0 0 11 0
1796.68/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c rapidlearning : 1.28 0.00 1 0 0 0 632
1796.68/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.00 c problem variables: 0.00 - 0 0
1796.68/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c relpscost : 400.03 0.00 61626 261 18119 0 0 100898
1796.68/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c inference : 0.00 0.00 2 0 0 0 0 4
1796.68/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.00 c LP solutions : 0.00 - - 0
1796.68/1797.00 c pseudo solutions : 0.00 - - 0
1796.68/1797.00 c oneopt : 0.06 0.00 0 0
1796.68/1797.00 c crossover : 0.04 0.00 0 0
1796.68/1797.00 c guideddiving : 0.00 0.00 0 0
1796.68/1797.00 c pscostdiving : 10.14 0.00 43 0
1796.68/1797.00 c linesearchdiving : 5.44 0.00 43 0
1796.68/1797.00 c fracdiving : 25.59 0.00 43 0
1796.68/1797.00 c objpscostdiving : 0.86 0.00 22 0
1796.68/1797.00 c rootsoldiving : 5.37 0.00 22 0
1796.68/1797.00 c coefdiving : 70.09 0.00 44 0
1796.68/1797.00 c feaspump : 5.52 0.00 22 0
1796.68/1797.00 c veclendiving : 3.89 0.00 44 0
1796.68/1797.00 c smallcard : 0.00 0.00 0 0
1796.68/1797.00 c trivial : 0.01 0.00 2 0
1796.68/1797.00 c shiftandpropagate: 0.05 0.00 1 0
1796.68/1797.00 c simplerounding : 0.03 0.00 0 0
1796.68/1797.00 c zirounding : 1.97 0.00 0 0
1796.68/1797.00 c rounding : 0.34 0.00 3519 0
1796.68/1797.00 c shifting : 3.22 0.00 1061 0
1796.68/1797.00 c intshifting : 0.00 0.00 0 0
1796.68/1797.00 c twoopt : 0.00 0.00 0 0
1796.68/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.00 c indoneopt : 0.06 0.00 0 0
1796.68/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.00 c clique : 0.00 0.00 0 0
1796.68/1797.00 c indrounding : 0.00 0.00 0 0
1796.68/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.00 c intdiving : 0.00 0.00 0 0
1796.68/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.00 c octane : 0.00 0.00 0 0
1796.68/1797.00 c rens : 0.19 0.00 1 0
1796.68/1797.00 c rins : 0.00 0.00 0 0
1796.68/1797.00 c localbranching : 0.00 0.00 0 0
1796.68/1797.00 c mutation : 0.00 0.00 0 0
1796.68/1797.00 c dins : 0.00 0.00 0 0
1796.68/1797.00 c vbounds : 0.00 0.00 0 0
1796.68/1797.00 c undercover : 0.00 0.00 0 0
1796.68/1797.00 c subnlp : 0.03 0.00 0 0
1796.68/1797.00 c trysol : 0.05 0.00 0 0
1796.68/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.00 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.68/1797.00 c dual LP : 890.50 88858 4219941 47.74 4738.86 0.50 457
1796.68/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.00 c diving/probing LP: 90.10 38626 240608 6.23 2670.53
1796.68/1797.00 c strong branching : 396.11 37446 1553485 41.49 3921.89
1796.68/1797.00 c (at root node) : - 17 8068 474.59 -
1796.68/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.00 c B&B Tree :
1796.68/1797.00 c number of runs : 1
1796.68/1797.00 c nodes : 84847
1796.68/1797.00 c nodes (total) : 84847
1796.68/1797.00 c nodes left : 7030
1796.68/1797.00 c max depth : 231
1796.68/1797.00 c max depth (total): 231
1796.68/1797.00 c backtracks : 13047 (15.4%)
1796.68/1797.00 c delayed cutoffs : 9026
1796.68/1797.00 c repropagations : 212505 (506865 domain reductions, 3261 cutoffs)
1796.68/1797.00 c avg switch length: 7.78
1796.68/1797.00 c switching time : 35.21
1796.68/1797.00 c Solution :
1796.68/1797.00 c Solutions found : 0 (0 improvements)
1796.68/1797.00 c Primal Bound : -
1796.68/1797.00 c Dual Bound : +9.00000000000000e+00
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 c Root Dual Bound : +9.00000000000000e+00
1796.68/1797.00 c Root Iterations : 5784
1796.78/1797.15 c Time complete: 1796.83.
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-3691209-1338022541/watcher-3691209-1338022541 -o /tmp/evaluation-result-3691209-1338022541/solver-3691209-1338022541 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691209-1338022541.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.94 3/176 31587
/proc/meminfo: memFree=28476640/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=10644 CPUtime=0 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 1356 0 0 0 0 0 0 0 20 0 1 0 268380070 10899456 1311 33554432000 4194304 10173063 140737051249520 140737051114056 8801789 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31587/statm: 2661 1323 416 1460 0 1192 0
[startup+0.0449649 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31587
/proc/meminfo: memFree=28476640/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=20460 CPUtime=0.03 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 3850 0 0 0 3 0 0 0 20 0 1 0 268380070 20951040 3805 33554432000 4194304 10173063 140737051249520 140737051114056 8831599 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31587/statm: 5115 3805 416 1460 0 3646 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20460
[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31587
/proc/meminfo: memFree=28476640/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=48456 CPUtime=0.09 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 10630 0 0 0 8 1 0 0 20 0 1 0 268380070 49618944 10585 33554432000 4194304 10173063 140737051249520 140737051114056 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31587/statm: 12114 10585 553 1460 0 10645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48456
[startup+0.300213 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31587
/proc/meminfo: memFree=28476640/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=57732 CPUtime=0.28 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 13363 0 0 0 26 2 0 0 20 0 1 0 268380070 59117568 12992 33554432000 4194304 10173063 140737051249520 140737051114056 7439044 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31587/statm: 14433 12992 591 1460 0 12964 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 57732
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31587
/proc/meminfo: memFree=28476640/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=80136 CPUtime=0.69 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 20774 0 0 0 65 4 0 0 20 0 1 0 268380070 82059264 18676 33554432000 4194304 10173063 140737051249520 140737051246408 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31587/statm: 20034 18676 784 1460 0 18565 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80136
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31588
/proc/meminfo: memFree=28404820/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=124160 CPUtime=1.49 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 31614 0 0 0 143 6 0 0 20 0 1 0 268380070 127139840 29516 33554432000 4194304 10173063 140737051249520 140737051244904 7438744 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31587/statm: 31040 29516 827 1460 0 29571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124160
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 31588
/proc/meminfo: memFree=28352244/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=149500 CPUtime=3.09 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 38119 0 0 0 297 12 0 0 20 0 1 0 268380070 153088000 35974 33554432000 4194304 10173063 140737051249520 140737051244904 4287150 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31587/statm: 37375 35974 850 1460 0 35906 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149500
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31588
/proc/meminfo: memFree=28333148/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=149556 CPUtime=6.29 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 41018 0 0 0 615 14 0 0 20 0 1 0 268380070 153145344 36278 33554432000 4194304 10173063 140737051249520 140737051243064 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 37389 36278 857 1460 0 35920 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149556
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31588
/proc/meminfo: memFree=28333420/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=149556 CPUtime=12.68 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 41018 0 0 0 1252 16 0 0 20 0 1 0 268380070 153145344 36278 33554432000 4194304 10173063 140737051249520 140737051243064 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 37389 36278 857 1460 0 35920 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 149556
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31588
/proc/meminfo: memFree=28333192/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=149556 CPUtime=25.48 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 41018 0 0 0 2526 22 0 0 20 0 1 0 268380070 153145344 36278 33554432000 4194304 10173063 140737051249520 140737051243064 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 37389 36278 857 1460 0 35920 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149556
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31588
/proc/meminfo: memFree=28331588/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=149556 CPUtime=51.07 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 41032 0 0 0 5074 33 0 0 20 0 1 0 268380070 153145344 36292 33554432000 4194304 10173063 140737051249520 140737051243352 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 37389 36292 859 1460 0 35920 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149556
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 31588
/proc/meminfo: memFree=28323952/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=149556 CPUtime=102.28 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 41034 0 0 0 10155 73 0 0 20 0 1 0 268380070 153145344 36294 33554432000 4194304 10173063 140737051249520 140737051245672 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 37389 36294 859 1460 0 35920 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 149556
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 32044
/proc/meminfo: memFree=28443464/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=150964 CPUtime=162.25 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 41378 0 0 0 16114 111 0 0 20 0 1 0 268380070 154587136 36732 33554432000 4194304 10173063 140737051249520 140737051242328 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 37741 36732 859 1460 0 36272 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150964
[startup+222.3 s]
/proc/loadavg: 2.10 2.04 1.95 3/177 32120
/proc/meminfo: memFree=27963328/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=160144 CPUtime=222.23 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 43682 0 0 0 22074 149 0 0 20 0 1 0 268380070 163987456 39303 33554432000 4194304 10173063 140737051249520 140737051243160 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 40036 39303 859 1460 0 38567 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 160144
[startup+282.3 s]
/proc/loadavg: 2.17 2.07 1.97 3/177 32123
/proc/meminfo: memFree=27835464/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=165940 CPUtime=282.22 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 45149 0 0 0 28028 194 0 0 20 0 1 0 268380070 169922560 40770 33554432000 4194304 10173063 140737051249520 140737051243160 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 41485 40770 859 1460 0 40016 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 165940
[startup+342.3 s]
/proc/loadavg: 2.26 2.10 1.99 3/178 32185
/proc/meminfo: memFree=28064116/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=173512 CPUtime=342.22 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 47013 0 0 0 33973 249 0 0 20 0 1 0 268380070 177676288 42634 33554432000 4194304 10173063 140737051249520 140737051243160 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 43378 42634 859 1460 0 41909 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 173512
[startup+402.3 s]
/proc/loadavg: 2.09 2.08 1.99 3/177 32185
/proc/meminfo: memFree=27936820/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=183764 CPUtime=402.21 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 49586 0 0 0 39917 304 0 0 20 0 1 0 268380070 188174336 45193 33554432000 4194304 10173063 140737051249520 140737051242456 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 45941 45193 859 1460 0 44472 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 183764
[startup+462.3 s]
/proc/loadavg: 2.03 2.06 1.99 3/177 32185
/proc/meminfo: memFree=27807696/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=191116 CPUtime=462.19 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 51411 0 0 0 45861 358 0 0 20 0 1 0 268380070 195702784 47008 33554432000 4194304 10173063 140737051249520 140737051242872 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 47779 47008 859 1460 0 46310 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 191116
[startup+522.3 s]
/proc/loadavg: 2.01 2.05 1.99 3/177 32223
/proc/meminfo: memFree=27736292/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=197828 CPUtime=522.18 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 53127 0 0 0 51810 408 0 0 20 0 1 0 268380070 202575872 48724 33554432000 4194304 10173063 140737051249520 140737051242872 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 49457 48724 859 1460 0 47988 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 197828
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/176 32223
/proc/meminfo: memFree=27549864/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=203556 CPUtime=582.17 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 54587 0 0 0 57764 453 0 0 20 0 1 0 268380070 208441344 50174 33554432000 4194304 10173063 140737051249520 140737051242648 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 50889 50174 859 1460 0 49420 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 203556
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27042308/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=228472 CPUtime=1062.09 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 60798 0 0 0 105379 830 0 0 20 0 1 0 268380070 233955328 56378 33554432000 4194304 10173063 140737051249520 140737051242824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 57118 56378 859 1460 0 55649 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 228472
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32228
/proc/meminfo: memFree=27023888/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=231600 CPUtime=1122.09 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 61587 0 0 0 111329 880 0 0 20 0 1 0 268380070 237158400 57167 33554432000 4194304 10173063 140737051249520 140737051246888 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 57900 57167 859 1460 0 56431 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 231600
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32228
/proc/meminfo: memFree=27022276/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=233384 CPUtime=1182.08 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 62016 0 0 0 117286 922 0 0 20 0 1 0 268380070 238985216 57589 33554432000 4194304 10173063 140737051249520 140737051243160 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 58346 57589 859 1460 0 56877 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 233384
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32229
/proc/meminfo: memFree=27019112/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=235900 CPUtime=1242.06 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 62660 0 0 0 123240 966 0 0 20 0 1 0 268380070 241561600 58233 33554432000 4194304 10173063 140737051249520 140737051242872 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 58975 58233 859 1460 0 57506 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 235900
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32229
/proc/meminfo: memFree=27018368/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=236796 CPUtime=1302.06 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 62876 0 0 0 129194 1012 0 0 20 0 1 0 268380070 242479104 58449 33554432000 4194304 10173063 140737051249520 140737051243160 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 59199 58449 859 1460 0 57730 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 236796
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32229
/proc/meminfo: memFree=27010984/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=244556 CPUtime=1362.05 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 64786 0 0 0 135151 1054 0 0 20 0 1 0 268380070 250425344 60280 33554432000 4194304 10173063 140737051249520 140737051244888 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 61139 60280 859 1460 0 59670 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 244556
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32229
/proc/meminfo: memFree=27003944/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=246972 CPUtime=1422.05 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 65459 0 0 0 141112 1093 0 0 20 0 1 0 268380070 252899328 60953 33554432000 4194304 10173063 140737051249520 140737051243064 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 61743 60953 859 1460 0 60274 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 246972
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32232
/proc/meminfo: memFree=26993076/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=249760 CPUtime=1482.02 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 66050 0 0 0 147069 1133 0 0 20 0 1 0 268380070 255754240 61544 33554432000 4194304 10173063 140737051249520 140737051246104 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 62440 61544 859 1460 0 60971 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 249760
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32233
/proc/meminfo: memFree=26988696/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=251768 CPUtime=1542.02 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 66736 0 0 0 153025 1177 0 0 20 0 1 0 268380070 257810432 62230 33554432000 4194304 10173063 140737051249520 140737051242824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 62942 62230 859 1460 0 61473 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 251768
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32233
/proc/meminfo: memFree=26980944/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=256036 CPUtime=1602.01 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 67779 0 0 0 158973 1228 0 0 20 0 1 0 268380070 262180864 63273 33554432000 4194304 10173063 140737051249520 140737051244888 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 64009 63273 859 1460 0 62540 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 256036
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32233
/proc/meminfo: memFree=26977092/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=258840 CPUtime=1662 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 68470 0 0 0 164923 1277 0 0 20 0 1 0 268380070 265052160 63964 33554432000 4194304 10173063 140737051249520 140737051242872 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 64710 63964 859 1460 0 63241 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 258840
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32233
/proc/meminfo: memFree=26973372/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=262320 CPUtime=1721.99 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 69361 0 0 0 170869 1330 0 0 20 0 1 0 268380070 268615680 64855 33554432000 4194304 10173063 140737051249520 140737051243160 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 65580 64855 859 1460 0 64111 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 262320
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 32233
/proc/meminfo: memFree=26970520/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=264084 CPUtime=1781.98 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 69814 0 0 0 176822 1376 0 0 20 0 1 0 268380070 270422016 65308 33554432000 4194304 10173063 140737051249520 140737051246104 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 66021 65308 859 1460 0 64552 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 264084
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 32233
/proc/meminfo: memFree=26970520/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=264084 CPUtime=1785.18 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 69814 0 0 0 177138 1380 0 0 20 0 1 0 268380070 270422016 65308 33554432000 4194304 10173063 140737051249520 140737051244888 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 66021 65308 859 1460 0 64552 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 264084
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32233
/proc/meminfo: memFree=26970024/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=264584 CPUtime=1791.58 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 69916 0 0 0 177773 1385 0 0 20 0 1 0 268380070 270934016 65410 33554432000 4194304 10173063 140737051249520 140737051243432 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 66146 65410 859 1460 0 64677 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 264584
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32233
/proc/meminfo: memFree=26969652/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=264940 CPUtime=1794.79 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 69967 0 0 0 178091 1388 0 0 20 0 1 0 268380070 271298560 65461 33554432000 4194304 10173063 140737051249520 140737051243064 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 66235 65461 859 1460 0 64766 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 264940
[startup+1795.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32233
/proc/meminfo: memFree=26969652/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=264940 CPUtime=1795.58 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 69968 0 0 0 178170 1388 0 0 20 0 1 0 268380070 271298560 65462 33554432000 4194304 10173063 140737051249520 140737051243064 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 66235 65462 859 1460 0 64766 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 264940
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32233
/proc/meminfo: memFree=26969776/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=264940 CPUtime=1796.38 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 69968 0 0 0 178249 1389 0 0 20 0 1 0 268380070 271298560 65462 33554432000 4194304 10173063 140737051249520 140737051243192 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 66235 65462 859 1460 0 64766 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 264940
[startup+1797.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32233
/proc/meminfo: memFree=26969776/32873648 swapFree=7372/7372
[pid=31587] ppid=31585 vsize=263528 CPUtime=1796.78 cores=0,2,4,6
/proc/31587/stat : 31587 (scip-2.1.1.4fix) R 31585 31587 31092 0 -1 4202496 69971 0 0 0 178289 1389 0 0 20 0 1 0 268380070 269852672 65112 33554432000 4194304 10173063 140737051249520 140737051246600 7545004 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31587/statm: 65882 65112 862 1460 0 64413 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 263528
Child status: 0
Real time (s): 1797.16
CPU time (s): 1796.85
CPU user time (s): 1782.95
CPU system time (s): 13.8989
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 264940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.95
system time used= 13.8989
maximum resident set size= 261860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69973
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= 46
involuntary context switches= 1858
runsolver used 2.83057 second user time and 7.15791 second system time
The end