0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692585-1338037309.opb>
0.02/0.03 c original problem has 6626 variables (400 bin, 0 int, 6226 impl, 0 cont) and 7227 constraints
0.02/0.03 c problem read in 0.03
0.02/0.06 o 0
0.02/0.06 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.02/0.06 c presolving:
0.18/0.28 c (round 1) 0 del vars, 7026 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 25304 impls, 399 clqs
0.29/0.30 c (round 2) 6226 del vars, 7026 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 25304 impls, 0 clqs
0.29/0.33 c (0.3s) probing: 51/400 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.33 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.33 c presolving (3 rounds):
0.29/0.33 c 6226 deleted vars, 7026 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.33 c 25304 implications, 0 cliques
0.29/0.33 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.29/0.33 c 400 constraints of type <knapsack>
0.29/0.33 c 200 constraints of type <setppc>
0.29/0.33 c 1 constraints of type <linear>
0.29/0.33 c transformed objective value is always integral (scale: 1)
0.29/0.33 c Presolving Time: 0.28
0.29/0.33 c - non default parameters ----------------------------------------------------------------------
0.29/0.33 c # SCIP version 2.1.1.4
0.29/0.33 c
0.29/0.33 c # maximal time in seconds to run
0.29/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.33 c limits/time = 1797
0.29/0.33 c
0.29/0.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.33 c limits/memory = 13950
0.29/0.33 c
0.29/0.33 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.33 c # [type: int, range: [1,2], default: 1]
0.29/0.33 c timing/clocktype = 2
0.29/0.33 c
0.29/0.33 c # belongs reading time to solving time?
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c timing/reading = TRUE
0.29/0.33 c
0.29/0.33 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.33 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.33 c separating/rapidlearning/freq = 0
0.29/0.33 c
0.29/0.33 c -----------------------------------------------------------------------------------------------
0.29/0.33 c start solving
0.29/0.33 c
1.00/1.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.08 c t 1.1s| 1 | 0 | 3622 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | Inf
1.00/1.08 o -1
1.00/1.08 c R 1.1s| 1 | 0 | 3622 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 |9900.00%
1.99/2.06 o -25
1.99/2.06 c y 2.1s| 1 | 0 | 3622 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-2.500000e+01 | 300.00%
5.79/5.88 c 5.9s| 1 | 2 | 3622 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 14 |-1.000000e+02 |-2.500000e+01 | 300.00%
20.18/20.25 o -26
20.18/20.25 c c20.3s| 14 | 15 | 5685 | 158.7 | 18M| 13 | - | 400 | 601 | 400 | 601 | 0 | 21 | 244 |-9.977459e+01 |-2.600000e+01 | 283.75%
40.88/40.97 o -31
40.88/40.97 c f41.0s| 38 | 39 | 9784 | 166.5 | 18M| 13 | - | 400 | 601 | 400 | 601 | 0 | 21 | 635 |-9.956332e+01 |-3.100000e+01 | 221.17%
78.18/78.24 c 78.2s| 100 | 101 | 27225 | 238.4 | 18M| 15 | 292 | 400 | 615 | 400 | 601 | 0 | 35 |1572 |-9.910717e+01 |-3.100000e+01 | 219.70%
85.37/85.46 c 85.5s| 200 | 201 | 41171 | 188.7 | 18M| 18 | 151 | 400 | 618 | 400 | 601 | 0 | 39 |1654 |-9.866226e+01 |-3.100000e+01 | 218.27%
88.07/88.17 c 88.2s| 300 | 301 | 52154 | 162.3 | 18M| 23 | 249 | 400 | 623 | 400 | 601 | 0 | 44 |1654 |-9.844100e+01 |-3.100000e+01 | 217.55%
91.57/91.61 c 91.6s| 400 | 401 | 64705 | 153.1 | 18M| 24 | 120 | 400 | 629 | 400 | 601 | 0 | 50 |1695 |-9.822880e+01 |-3.100000e+01 | 216.87%
96.57/96.69 c 96.7s| 500 | 501 | 75849 | 144.7 | 18M| 24 | 137 | 400 | 629 | 400 | 601 | 0 | 50 |1737 |-9.802156e+01 |-3.100000e+01 | 216.20%
116.47/116.54 o -32
116.47/116.54 c f 117s| 588 | 589 |116193 | 191.8 | 19M| 24 | - | 400 | 646 | 400 | 601 | 0 | 68 |1737 |-9.577893e+01 |-3.200000e+01 | 199.31%
118.36/118.43 c 118s| 600 | 601 |119371 | 193.2 | 19M| 24 | 326 | 400 | 646 | 400 | 601 | 0 | 68 |1737 |-9.550467e+01 |-3.200000e+01 | 198.45%
134.66/134.70 c 135s| 700 | 701 |147875 | 206.4 | 19M| 35 | 227 | 400 | 646 | 400 | 601 | 0 | 69 |1737 |-9.352756e+01 |-3.200000e+01 | 192.27%
146.56/146.61 c 147s| 800 | 801 |169009 | 207.0 | 19M| 43 | 279 | 400 | 653 | 400 | 601 | 0 | 76 |1757 |-9.323513e+01 |-3.200000e+01 | 191.36%
154.25/154.30 o -33
154.25/154.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.25/154.30 c f 154s| 862 | 863 |184630 | 210.2 | 19M| 46 | - | 400 | 653 | 400 | 601 | 0 | 77 |1757 |-9.323513e+01 |-3.300000e+01 | 182.53%
158.27/158.38 c 158s| 900 | 901 |192651 | 210.3 | 19M| 47 | 246 | 400 | 653 | 400 | 601 | 0 | 78 |1757 |-9.323513e+01 |-3.300000e+01 | 182.53%
166.66/166.73 c 167s| 1000 | 1001 |210307 | 206.9 | 19M| 52 | 282 | 400 | 653 | 400 | 601 | 0 | 78 |1757 |-9.289114e+01 |-3.300000e+01 | 181.49%
176.25/176.35 c 176s| 1100 | 1101 |230748 | 206.7 | 19M| 56 | 328 | 400 | 653 | 400 | 601 | 0 | 78 |1780 |-9.266206e+01 |-3.300000e+01 | 180.79%
185.25/185.33 c 185s| 1200 | 1201 |251995 | 207.2 | 19M| 56 | 218 | 400 | 653 | 400 | 601 | 0 | 79 |1780 |-9.237765e+01 |-3.300000e+01 | 179.93%
192.25/192.32 c 192s| 1300 | 1301 |271321 | 206.1 | 19M| 56 | 279 | 400 | 657 | 400 | 601 | 0 | 83 |1780 |-9.212157e+01 |-3.300000e+01 | 179.16%
200.36/200.41 c 200s| 1400 | 1401 |290594 | 205.1 | 20M| 56 | 320 | 400 | 668 | 400 | 601 | 0 | 94 |1813 |-9.196914e+01 |-3.300000e+01 | 178.69%
205.75/205.88 c 206s| 1500 | 1501 |304477 | 200.7 | 20M| 56 | 229 | 400 | 668 | 400 | 601 | 0 | 94 |1813 |-9.184856e+01 |-3.300000e+01 | 178.33%
211.95/212.07 c 212s| 1600 | 1601 |320215 | 198.0 | 20M| 56 | 242 | 400 | 673 | 400 | 601 | 0 | 99 |1813 |-9.166085e+01 |-3.300000e+01 | 177.76%
220.55/220.62 c 221s| 1700 | 1701 |341956 | 199.1 | 20M| 56 | 330 | 400 | 675 | 400 | 601 | 0 | 101 |1845 |-9.151432e+01 |-3.300000e+01 | 177.32%
227.14/227.21 c 227s| 1800 | 1801 |358055 | 197.0 | 20M| 56 | 199 | 400 | 675 | 400 | 601 | 0 | 101 |1846 |-9.129594e+01 |-3.300000e+01 | 176.65%
233.35/233.46 c 233s| 1900 | 1901 |374612 | 195.4 | 20M| 56 | 244 | 400 | 675 | 400 | 601 | 0 | 102 |1846 |-9.112608e+01 |-3.300000e+01 | 176.14%
239.44/239.55 c 240s| 2000 | 2001 |389189 | 192.9 | 20M| 56 | 318 | 400 | 675 | 400 | 601 | 0 | 102 |1846 |-9.076900e+01 |-3.300000e+01 | 175.06%
245.15/245.22 c 245s| 2100 | 2101 |407300 | 192.3 | 20M| 56 | 173 | 400 | 678 | 400 | 601 | 0 | 105 |1846 |-9.060414e+01 |-3.300000e+01 | 174.56%
250.84/250.91 c 251s| 2200 | 2201 |421328 | 190.0 | 20M| 56 | 253 | 400 | 677 | 400 | 601 | 0 | 105 |1846 |-9.039153e+01 |-3.300000e+01 | 173.91%
257.25/257.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.25/257.38 c 257s| 2300 | 2301 |439561 | 189.6 | 20M| 56 | 320 | 400 | 677 | 400 | 601 | 0 | 105 |1846 |-9.026521e+01 |-3.300000e+01 | 173.53%
262.94/263.00 c 263s| 2400 | 2401 |454440 | 187.9 | 21M| 56 | 222 | 400 | 676 | 400 | 601 | 0 | 105 |1846 |-9.021815e+01 |-3.300000e+01 | 173.39%
268.43/268.53 c 269s| 2500 | 2501 |469330 | 186.4 | 21M| 56 | 236 | 400 | 682 | 400 | 601 | 0 | 114 |1846 |-9.012918e+01 |-3.300000e+01 | 173.12%
273.84/273.97 c 274s| 2600 | 2601 |484092 | 184.9 | 21M| 56 | 304 | 400 | 681 | 400 | 601 | 0 | 114 |1846 |-9.004458e+01 |-3.300000e+01 | 172.86%
279.25/279.38 c 279s| 2700 | 2701 |500950 | 184.3 | 21M| 69 | 312 | 400 | 681 | 400 | 601 | 0 | 114 |1846 |-8.997661e+01 |-3.300000e+01 | 172.66%
283.04/283.13 c 283s| 2800 | 2801 |512386 | 181.8 | 21M| 81 | 228 | 400 | 681 | 400 | 601 | 0 | 114 |1846 |-8.995349e+01 |-3.300000e+01 | 172.59%
286.94/287.02 c 287s| 2900 | 2901 |525120 | 179.9 | 21M| 87 | 213 | 400 | 681 | 400 | 601 | 0 | 114 |1846 |-8.985993e+01 |-3.300000e+01 | 172.30%
291.24/291.39 c 291s| 3000 | 3001 |541155 | 179.2 | 21M| 87 | 157 | 400 | 685 | 400 | 601 | 0 | 119 |1846 |-8.981043e+01 |-3.300000e+01 | 172.15%
295.93/296.06 c 296s| 3100 | 3101 |557589 | 178.8 | 21M| 87 | 167 | 400 | 685 | 400 | 601 | 0 | 119 |1846 |-8.977865e+01 |-3.300000e+01 | 172.06%
300.34/300.48 c 300s| 3200 | 3201 |573462 | 178.1 | 21M| 87 | 154 | 400 | 686 | 400 | 601 | 0 | 120 |1846 |-8.959856e+01 |-3.300000e+01 | 171.51%
304.54/304.65 c 305s| 3300 | 3301 |586114 | 176.6 | 22M| 87 | 346 | 400 | 686 | 400 | 601 | 0 | 120 |1846 |-8.958373e+01 |-3.300000e+01 | 171.47%
308.94/309.10 c 309s| 3400 | 3401 |602968 | 176.3 | 22M| 87 | 306 | 400 | 686 | 400 | 601 | 0 | 120 |1846 |-8.957653e+01 |-3.300000e+01 | 171.44%
313.03/313.11 c 313s| 3500 | 3501 |616186 | 175.1 | 22M| 87 | 269 | 400 | 689 | 400 | 601 | 0 | 123 |1846 |-8.955577e+01 |-3.300000e+01 | 171.38%
317.34/317.40 c 317s| 3600 | 3601 |629589 | 173.9 | 22M| 87 | 252 | 400 | 689 | 400 | 601 | 0 | 123 |1846 |-8.949314e+01 |-3.300000e+01 | 171.19%
321.43/321.59 c 322s| 3700 | 3701 |644094 | 173.1 | 22M| 87 | 224 | 400 | 690 | 400 | 601 | 0 | 124 |1846 |-8.941879e+01 |-3.300000e+01 | 170.97%
325.33/325.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.33/325.40 c 325s| 3800 | 3801 |656629 | 171.9 | 22M| 87 | 172 | 400 | 690 | 400 | 601 | 0 | 125 |1846 |-8.941646e+01 |-3.300000e+01 | 170.96%
328.83/328.99 c 329s| 3900 | 3901 |669115 | 170.7 | 22M| 87 | 197 | 400 | 690 | 400 | 601 | 0 | 125 |1846 |-8.938548e+01 |-3.300000e+01 | 170.87%
333.83/333.98 c 334s| 4000 | 4001 |685155 | 170.4 | 22M| 87 | 166 | 400 | 690 | 400 | 601 | 0 | 128 |1855 |-8.930850e+01 |-3.300000e+01 | 170.63%
337.83/337.95 c 338s| 4100 | 4101 |699044 | 169.7 | 22M| 87 | 154 | 400 | 693 | 400 | 601 | 0 | 131 |1855 |-8.930827e+01 |-3.300000e+01 | 170.63%
342.13/342.23 c 342s| 4200 | 4201 |714700 | 169.3 | 23M| 87 | 345 | 400 | 693 | 400 | 601 | 0 | 131 |1855 |-8.925393e+01 |-3.300000e+01 | 170.47%
347.12/347.28 c 347s| 4300 | 4301 |728917 | 168.7 | 23M| 87 | 292 | 400 | 691 | 400 | 601 | 0 | 131 |1872 |-8.918940e+01 |-3.300000e+01 | 170.27%
350.92/351.09 c 351s| 4400 | 4401 |741557 | 167.8 | 23M| 87 | 254 | 400 | 691 | 400 | 601 | 0 | 131 |1872 |-8.913868e+01 |-3.300000e+01 | 170.12%
354.63/354.75 c 355s| 4500 | 4501 |757346 | 167.5 | 23M| 87 | 250 | 400 | 698 | 400 | 601 | 0 | 138 |1872 |-8.909123e+01 |-3.300000e+01 | 169.97%
358.43/358.55 c 359s| 4600 | 4601 |770902 | 166.8 | 23M| 87 | 170 | 400 | 699 | 400 | 601 | 0 | 140 |1877 |-8.907893e+01 |-3.300000e+01 | 169.94%
362.63/362.79 c 363s| 4700 | 4701 |784592 | 166.2 | 23M| 87 | 195 | 400 | 703 | 400 | 601 | 0 | 144 |1894 |-8.907569e+01 |-3.300000e+01 | 169.93%
366.42/366.50 c 367s| 4800 | 4801 |796983 | 165.3 | 23M| 87 | 181 | 400 | 703 | 400 | 601 | 0 | 144 |1894 |-8.900409e+01 |-3.300000e+01 | 169.71%
370.13/370.26 c 370s| 4900 | 4901 |812068 | 165.0 | 23M| 87 | 156 | 400 | 703 | 400 | 601 | 0 | 144 |1894 |-8.890614e+01 |-3.300000e+01 | 169.41%
375.42/375.54 c 376s| 5000 | 5001 |828148 | 164.9 | 23M| 87 | 153 | 400 | 703 | 400 | 601 | 0 | 144 |1916 |-8.888645e+01 |-3.300000e+01 | 169.35%
379.82/379.98 c 380s| 5100 | 5101 |844999 | 165.0 | 24M| 87 | 342 | 400 | 709 | 400 | 601 | 0 | 150 |1916 |-8.873800e+01 |-3.300000e+01 | 168.90%
383.73/383.89 c 384s| 5200 | 5201 |858180 | 164.4 | 24M| 87 | 305 | 400 | 709 | 400 | 601 | 0 | 150 |1916 |-8.873337e+01 |-3.300000e+01 | 168.89%
388.62/388.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.62/388.79 c 389s| 5300 | 5301 |873354 | 164.1 | 24M| 87 | 254 | 400 | 709 | 400 | 601 | 0 | 151 |1950 |-8.868846e+01 |-3.300000e+01 | 168.75%
392.22/392.35 c 392s| 5400 | 5401 |886178 | 163.5 | 24M| 87 | 238 | 400 | 708 | 400 | 601 | 0 | 151 |1950 |-8.867472e+01 |-3.300000e+01 | 168.71%
395.52/395.69 c 396s| 5500 | 5501 |898564 | 162.7 | 24M| 87 | 221 | 400 | 708 | 400 | 601 | 0 | 151 |1950 |-8.865646e+01 |-3.300000e+01 | 168.66%
400.92/401.09 c 401s| 5600 | 5601 |912667 | 162.4 | 24M| 87 | 212 | 400 | 716 | 400 | 601 | 0 | 160 |1980 |-8.863172e+01 |-3.300000e+01 | 168.58%
405.01/405.10 c 405s| 5700 | 5701 |925398 | 161.7 | 24M| 87 | 177 | 400 | 716 | 400 | 601 | 0 | 160 |1981 |-8.862250e+01 |-3.300000e+01 | 168.55%
408.72/408.81 c 409s| 5800 | 5801 |939467 | 161.4 | 24M| 87 | 128 | 400 | 714 | 400 | 601 | 0 | 160 |1981 |-8.859015e+01 |-3.300000e+01 | 168.46%
412.42/412.54 c 413s| 5900 | 5901 |952428 | 160.8 | 24M| 87 | 151 | 400 | 714 | 400 | 601 | 0 | 160 |1981 |-8.858243e+01 |-3.300000e+01 | 168.43%
417.32/417.42 c 417s| 6000 | 6001 |966293 | 160.5 | 25M| 87 | 319 | 400 | 713 | 400 | 601 | 0 | 160 |2018 |-8.847781e+01 |-3.300000e+01 | 168.11%
420.82/420.98 c 421s| 6100 | 6101 |979921 | 160.1 | 25M| 87 | 317 | 400 | 712 | 400 | 601 | 0 | 160 |2018 |-8.837098e+01 |-3.300000e+01 | 167.79%
424.81/424.94 c 425s| 6200 | 6201 |993574 | 159.7 | 25M| 87 | 272 | 400 | 716 | 400 | 601 | 0 | 165 |2018 |-8.829377e+01 |-3.300000e+01 | 167.56%
430.02/430.19 c 430s| 6300 | 6301 | 1008k| 159.6 | 25M| 87 | 245 | 400 | 723 | 400 | 601 | 0 | 172 |2048 |-8.821642e+01 |-3.300000e+01 | 167.32%
434.71/434.89 c 435s| 6400 | 6401 | 1026k| 159.9 | 25M| 87 | 221 | 400 | 723 | 400 | 601 | 0 | 172 |2052 |-8.821460e+01 |-3.300000e+01 | 167.32%
438.92/439.09 c 439s| 6500 | 6501 | 1040k| 159.6 | 25M| 87 | 196 | 400 | 724 | 400 | 601 | 0 | 173 |2053 |-8.819252e+01 |-3.300000e+01 | 167.25%
442.41/442.50 c 443s| 6600 | 6601 | 1052k| 159.0 | 25M| 87 | 179 | 400 | 724 | 400 | 601 | 0 | 173 |2053 |-8.817052e+01 |-3.300000e+01 | 167.18%
447.11/447.28 c 447s| 6700 | 6701 | 1066k| 158.6 | 25M| 87 | 169 | 400 | 724 | 400 | 601 | 0 | 173 |2085 |-8.813938e+01 |-3.300000e+01 | 167.09%
451.31/451.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.31/451.42 c 451s| 6800 | 6801 | 1079k| 158.2 | 26M| 87 | 127 | 400 | 723 | 400 | 601 | 0 | 173 |2099 |-8.807891e+01 |-3.300000e+01 | 166.91%
454.91/455.06 c 455s| 6900 | 6901 | 1092k| 157.8 | 26M| 87 | 334 | 400 | 729 | 400 | 601 | 0 | 179 |2099 |-8.799113e+01 |-3.300000e+01 | 166.64%
459.10/459.29 c 459s| 7000 | 7001 | 1108k| 157.8 | 26M| 87 | 300 | 400 | 729 | 400 | 601 | 0 | 179 |2100 |-8.797346e+01 |-3.300000e+01 | 166.59%
464.11/464.23 c 464s| 7100 | 7101 | 1121k| 157.5 | 26M| 87 | 254 | 400 | 729 | 400 | 601 | 0 | 179 |2140 |-8.791756e+01 |-3.300000e+01 | 166.42%
468.01/468.17 c 468s| 7200 | 7201 | 1134k| 157.1 | 26M| 87 | 251 | 400 | 729 | 400 | 601 | 0 | 179 |2147 |-8.791454e+01 |-3.300000e+01 | 166.41%
471.71/471.87 c 472s| 7300 | 7301 | 1147k| 156.8 | 26M| 87 | 201 | 400 | 735 | 400 | 601 | 0 | 185 |2151 |-8.788465e+01 |-3.300000e+01 | 166.32%
475.12/475.23 c 475s| 7400 | 7401 | 1159k| 156.3 | 26M| 87 | 208 | 400 | 733 | 400 | 601 | 0 | 185 |2151 |-8.786780e+01 |-3.300000e+01 | 166.27%
480.40/480.50 c 481s| 7500 | 7501 | 1176k| 156.4 | 26M| 87 | 177 | 400 | 733 | 400 | 601 | 0 | 185 |2186 |-8.786741e+01 |-3.300000e+01 | 166.26%
484.11/484.23 c 484s| 7600 | 7601 | 1189k| 156.1 | 26M| 87 | 160 | 400 | 733 | 400 | 601 | 0 | 185 |2188 |-8.785511e+01 |-3.300000e+01 | 166.23%
487.80/487.93 c 488s| 7700 | 7701 | 1202k| 155.8 | 27M| 87 | 155 | 400 | 733 | 400 | 601 | 0 | 185 |2189 |-8.785210e+01 |-3.300000e+01 | 166.22%
491.00/491.19 c 491s| 7800 | 7801 | 1214k| 155.3 | 27M| 87 | 329 | 400 | 733 | 400 | 601 | 0 | 185 |2190 |-8.783404e+01 |-3.300000e+01 | 166.16%
495.00/495.10 c 495s| 7900 | 7901 | 1227k| 154.9 | 27M| 87 | 285 | 400 | 733 | 400 | 601 | 0 | 185 |2223 |-8.783402e+01 |-3.300000e+01 | 166.16%
499.10/499.21 c 499s| 8000 | 8001 | 1243k| 155.1 | 27M| 87 | 265 | 400 | 736 | 400 | 601 | 0 | 189 |2234 |-8.783000e+01 |-3.300000e+01 | 166.15%
502.61/502.78 c 503s| 8100 | 8101 | 1256k| 154.7 | 27M| 87 | 244 | 400 | 736 | 400 | 601 | 0 | 189 |2234 |-8.782636e+01 |-3.300000e+01 | 166.14%
506.20/506.31 c 506s| 8200 | 8201 | 1268k| 154.3 | 27M| 87 | 224 | 400 | 736 | 400 | 601 | 0 | 190 |2234 |-8.781982e+01 |-3.300000e+01 | 166.12%
510.10/510.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.10/510.24 c 510s| 8300 | 8301 | 1282k| 154.1 | 27M| 87 | 173 | 400 | 736 | 400 | 601 | 0 | 190 |2261 |-8.777801e+01 |-3.300000e+01 | 165.99%
514.61/514.76 c 515s| 8400 | 8401 | 1298k| 154.2 | 27M| 87 | 142 | 400 | 742 | 400 | 601 | 0 | 196 |2274 |-8.777118e+01 |-3.300000e+01 | 165.97%
518.40/518.54 c 519s| 8500 | 8501 | 1312k| 154.0 | 27M| 87 | 124 | 400 | 742 | 400 | 601 | 0 | 196 |2274 |-8.777055e+01 |-3.300000e+01 | 165.97%
522.00/522.17 c 522s| 8600 | 8601 | 1325k| 153.7 | 28M| 87 | 164 | 400 | 742 | 400 | 601 | 0 | 196 |2274 |-8.776846e+01 |-3.300000e+01 | 165.97%
526.59/526.74 c 527s| 8700 | 8701 | 1338k| 153.4 | 28M| 87 | 331 | 400 | 742 | 400 | 601 | 0 | 196 |2303 |-8.771152e+01 |-3.300000e+01 | 165.79%
530.79/530.99 c 531s| 8800 | 8801 | 1351k| 153.1 | 28M| 87 | 290 | 400 | 742 | 400 | 601 | 0 | 197 |2316 |-8.769327e+01 |-3.300000e+01 | 165.74%
534.10/534.28 c 534s| 8900 | 8901 | 1362k| 152.7 | 28M| 87 | 269 | 400 | 747 | 400 | 601 | 0 | 202 |2316 |-8.765015e+01 |-3.300000e+01 | 165.61%
537.59/537.71 c 538s| 9000 | 9001 | 1376k| 152.6 | 28M| 87 | 222 | 400 | 747 | 400 | 601 | 0 | 202 |2316 |-8.762557e+01 |-3.300000e+01 | 165.53%
541.70/541.82 c 542s| 9100 | 9101 | 1389k| 152.3 | 28M| 87 | 209 | 400 | 747 | 400 | 601 | 0 | 202 |2335 |-8.760523e+01 |-3.300000e+01 | 165.47%
547.09/547.28 c 547s| 9200 | 9201 | 1410k| 153.0 | 28M| 87 | 201 | 400 | 747 | 400 | 601 | 0 | 202 |2356 |-8.760306e+01 |-3.300000e+01 | 165.46%
551.40/551.57 c 552s| 9300 | 9301 | 1425k| 152.9 | 28M| 87 | 189 | 400 | 746 | 400 | 601 | 0 | 202 |2356 |-8.758751e+01 |-3.300000e+01 | 165.42%
555.30/555.41 c 555s| 9400 | 9401 | 1440k| 152.9 | 28M| 87 | 143 | 400 | 754 | 400 | 601 | 0 | 210 |2356 |-8.758680e+01 |-3.300000e+01 | 165.41%
559.59/559.74 c 560s| 9500 | 9501 | 1453k| 152.6 | 29M| 87 | 139 | 400 | 754 | 400 | 601 | 0 | 211 |2378 |-8.757230e+01 |-3.300000e+01 | 165.37%
564.59/564.74 c 565s| 9600 | 9601 | 1468k| 152.6 | 29M| 87 | 326 | 400 | 754 | 400 | 601 | 0 | 211 |2405 |-8.753222e+01 |-3.300000e+01 | 165.25%
568.09/568.22 c 568s| 9700 | 9701 | 1480k| 152.3 | 29M| 87 | 304 | 400 | 754 | 400 | 601 | 0 | 211 |2406 |-8.751995e+01 |-3.300000e+01 | 165.21%
571.29/571.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.29/571.49 c 571s| 9800 | 9801 | 1491k| 151.8 | 29M| 87 | 268 | 400 | 754 | 400 | 601 | 0 | 211 |2406 |-8.750648e+01 |-3.300000e+01 | 165.17%
574.79/574.96 c 575s| 9900 | 9901 | 1503k| 151.5 | 29M| 87 | 238 | 400 | 754 | 400 | 601 | 0 | 211 |2406 |-8.749298e+01 |-3.300000e+01 | 165.13%
579.29/579.41 c 579s| 10000 | 10001 | 1517k| 151.4 | 29M| 87 | 201 | 400 | 754 | 400 | 601 | 0 | 211 |2438 |-8.748957e+01 |-3.300000e+01 | 165.12%
583.19/583.33 c 583s| 10100 | 10101 | 1530k| 151.2 | 29M| 87 | 196 | 400 | 761 | 400 | 601 | 0 | 218 |2447 |-8.745367e+01 |-3.300000e+01 | 165.01%
587.09/587.25 c 587s| 10200 | 10201 | 1543k| 151.0 | 29M| 87 | 186 | 400 | 761 | 400 | 601 | 0 | 218 |2450 |-8.744513e+01 |-3.300000e+01 | 164.99%
591.39/591.50 c 592s| 10300 | 10301 | 1558k| 151.0 | 29M| 87 | 158 | 400 | 760 | 400 | 601 | 0 | 218 |2450 |-8.739205e+01 |-3.300000e+01 | 164.82%
595.89/596.03 c 596s| 10400 | 10401 | 1572k| 150.9 | 30M| 87 | 138 | 400 | 760 | 400 | 601 | 0 | 218 |2479 |-8.736992e+01 |-3.300000e+01 | 164.76%
600.29/600.46 c 600s| 10500 | 10501 | 1586k| 150.8 | 30M| 87 | 335 | 400 | 762 | 400 | 601 | 0 | 221 |2492 |-8.734235e+01 |-3.300000e+01 | 164.67%
604.38/604.54 c 605s| 10600 | 10601 | 1602k| 150.9 | 30M| 87 | 291 | 400 | 772 | 400 | 601 | 0 | 232 |2493 |-8.731507e+01 |-3.300000e+01 | 164.59%
607.79/607.98 c 608s| 10700 | 10701 | 1618k| 150.9 | 30M| 87 | 259 | 400 | 772 | 400 | 601 | 0 | 232 |2493 |-8.731226e+01 |-3.300000e+01 | 164.58%
612.08/612.22 c 612s| 10800 | 10801 | 1633k| 150.9 | 30M| 87 | 243 | 400 | 772 | 400 | 601 | 0 | 233 |2504 |-8.729655e+01 |-3.300000e+01 | 164.53%
616.59/616.77 c 617s| 10900 | 10901 | 1646k| 150.7 | 30M| 87 | 224 | 400 | 771 | 400 | 601 | 0 | 233 |2544 |-8.728095e+01 |-3.300000e+01 | 164.49%
620.68/620.82 c 621s| 11000 | 11001 | 1661k| 150.7 | 30M| 87 | 184 | 400 | 770 | 400 | 601 | 0 | 233 |2546 |-8.723983e+01 |-3.300000e+01 | 164.36%
624.38/624.54 c 625s| 11100 | 11101 | 1674k| 150.5 | 30M| 87 | 155 | 400 | 778 | 400 | 601 | 0 | 242 |2546 |-8.723453e+01 |-3.300000e+01 | 164.35%
627.89/628.06 c 628s| 11200 | 11201 | 1687k| 150.4 | 31M| 87 | 153 | 400 | 778 | 400 | 601 | 0 | 242 |2546 |-8.720236e+01 |-3.300000e+01 | 164.25%
631.58/631.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.58/631.73 c 632s| 11300 | 11301 | 1700k| 150.2 | 31M| 87 | 130 | 400 | 778 | 400 | 601 | 0 | 242 |2571 |-8.718657e+01 |-3.300000e+01 | 164.20%
635.48/635.67 c 636s| 11400 | 11401 | 1713k| 150.0 | 31M| 87 | 314 | 400 | 778 | 400 | 601 | 0 | 242 |2602 |-8.717554e+01 |-3.300000e+01 | 164.17%
638.78/638.96 c 639s| 11500 | 11501 | 1726k| 149.8 | 31M| 87 | 304 | 400 | 786 | 400 | 601 | 0 | 250 |2602 |-8.717221e+01 |-3.300000e+01 | 164.16%
642.48/642.63 c 643s| 11600 | 11601 | 1738k| 149.6 | 31M| 87 | 244 | 400 | 786 | 400 | 601 | 0 | 250 |2602 |-8.716204e+01 |-3.300000e+01 | 164.13%
645.68/645.89 c 646s| 11700 | 11701 | 1752k| 149.5 | 31M| 87 | 229 | 400 | 786 | 400 | 601 | 0 | 250 |2603 |-8.716029e+01 |-3.300000e+01 | 164.12%
649.48/649.65 c 650s| 11800 | 11801 | 1765k| 149.4 | 31M| 87 | 184 | 400 | 786 | 400 | 601 | 0 | 250 |2623 |-8.713335e+01 |-3.300000e+01 | 164.04%
653.19/653.36 c 653s| 11900 | 11901 | 1778k| 149.1 | 31M| 87 | 166 | 400 | 785 | 400 | 601 | 0 | 250 |2645 |-8.713225e+01 |-3.300000e+01 | 164.04%
656.37/656.60 c 657s| 12000 | 12001 | 1789k| 148.9 | 31M| 87 | 195 | 400 | 785 | 400 | 601 | 0 | 250 |2646 |-8.712036e+01 |-3.300000e+01 | 164.00%
660.28/660.46 c 660s| 12100 | 12101 | 1803k| 148.8 | 32M| 87 | 167 | 400 | 787 | 400 | 601 | 0 | 252 |2647 |-8.710761e+01 |-3.300000e+01 | 163.96%
664.18/664.33 c 664s| 12200 | 12201 | 1818k| 148.8 | 32M| 87 | 137 | 400 | 787 | 400 | 601 | 0 | 252 |2647 |-8.710564e+01 |-3.300000e+01 | 163.96%
668.69/668.83 c 669s| 12300 | 12301 | 1833k| 148.8 | 32M| 87 | 324 | 400 | 790 | 400 | 601 | 0 | 255 |2673 |-8.705387e+01 |-3.300000e+01 | 163.80%
672.78/672.98 c 673s| 12400 | 12401 | 1846k| 148.6 | 32M| 87 | 281 | 400 | 790 | 400 | 601 | 0 | 255 |2694 |-8.704450e+01 |-3.300000e+01 | 163.77%
675.87/676.03 c 676s| 12500 | 12501 | 1858k| 148.4 | 32M| 87 | 288 | 400 | 790 | 400 | 601 | 0 | 255 |2694 |-8.700974e+01 |-3.300000e+01 | 163.67%
679.87/680.03 c 680s| 12600 | 12601 | 1870k| 148.2 | 32M| 87 | 246 | 400 | 788 | 400 | 601 | 0 | 256 |2694 |-8.700432e+01 |-3.300000e+01 | 163.65%
683.17/683.33 c 683s| 12700 | 12701 | 1885k| 148.2 | 32M| 87 | 168 | 400 | 788 | 400 | 601 | 0 | 257 |2694 |-8.696855e+01 |-3.300000e+01 | 163.54%
687.28/687.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.28/687.49 c 687s| 12800 | 12801 | 1900k| 148.2 | 32M| 87 | 154 | 400 | 792 | 400 | 601 | 0 | 262 |2724 |-8.695718e+01 |-3.300000e+01 | 163.51%
691.07/691.25 c 691s| 12900 | 12901 | 1912k| 148.0 | 32M| 87 | 152 | 400 | 792 | 400 | 601 | 0 | 262 |2741 |-8.694804e+01 |-3.300000e+01 | 163.48%
694.87/695.08 c 695s| 13000 | 13001 | 1925k| 147.9 | 33M| 87 | 125 | 400 | 791 | 400 | 601 | 0 | 262 |2744 |-8.694319e+01 |-3.300000e+01 | 163.46%
698.17/698.32 c 698s| 13100 | 13101 | 1940k| 147.9 | 33M| 87 | 113 | 400 | 790 | 400 | 601 | 0 | 262 |2744 |-8.694066e+01 |-3.300000e+01 | 163.46%
701.77/701.95 c 702s| 13200 | 13201 | 1953k| 147.7 | 33M| 87 | 334 | 400 | 790 | 400 | 601 | 0 | 262 |2754 |-8.690840e+01 |-3.300000e+01 | 163.36%
706.37/706.55 c 707s| 13300 | 13301 | 1971k| 148.0 | 33M| 87 | 293 | 400 | 800 | 400 | 601 | 0 | 272 |2786 |-8.690546e+01 |-3.300000e+01 | 163.35%
710.87/711.09 c 711s| 13400 | 13401 | 1985k| 147.9 | 33M| 87 | 259 | 400 | 796 | 400 | 601 | 0 | 272 |2807 |-8.690088e+01 |-3.300000e+01 | 163.34%
714.57/714.73 c 715s| 13500 | 13501 | 1998k| 147.8 | 33M| 87 | 221 | 400 | 796 | 400 | 601 | 0 | 272 |2807 |-8.687237e+01 |-3.300000e+01 | 163.25%
717.87/718.04 c 718s| 13600 | 13601 | 2012k| 147.7 | 33M| 87 | 194 | 400 | 794 | 400 | 601 | 0 | 272 |2808 |-8.685551e+01 |-3.300000e+01 | 163.20%
720.97/721.14 c 721s| 13700 | 13701 | 2025k| 147.6 | 33M| 87 | 190 | 400 | 793 | 400 | 601 | 0 | 272 |2808 |-8.683271e+01 |-3.300000e+01 | 163.13%
724.87/725.02 c 725s| 13800 | 13801 | 2036k| 147.3 | 34M| 87 | 190 | 400 | 793 | 400 | 601 | 0 | 272 |2836 |-8.680706e+01 |-3.300000e+01 | 163.05%
728.36/728.53 c 729s| 13900 | 13901 | 2049k| 147.2 | 34M| 87 | 135 | 400 | 794 | 400 | 601 | 0 | 278 |2844 |-8.680508e+01 |-3.300000e+01 | 163.05%
731.77/731.92 c 732s| 14000 | 14001 | 2062k| 147.1 | 34M| 87 | 139 | 400 | 794 | 400 | 601 | 0 | 279 |2845 |-8.680279e+01 |-3.300000e+01 | 163.04%
735.07/735.21 c 735s| 14100 | 14101 | 2076k| 147.0 | 34M| 87 | 317 | 400 | 793 | 400 | 601 | 0 | 279 |2846 |-8.678725e+01 |-3.300000e+01 | 162.99%
738.27/738.41 c 738s| 14200 | 14201 | 2087k| 146.8 | 34M| 87 | 276 | 400 | 792 | 400 | 601 | 0 | 279 |2847 |-8.678103e+01 |-3.300000e+01 | 162.97%
741.97/742.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.97/742.14 c 742s| 14300 | 14301 | 2099k| 146.6 | 34M| 87 | 276 | 400 | 790 | 400 | 601 | 0 | 279 |2869 |-8.677248e+01 |-3.300000e+01 | 162.95%
745.97/746.14 c 746s| 14400 | 14401 | 2112k| 146.5 | 34M| 87 | 244 | 400 | 792 | 400 | 601 | 0 | 282 |2886 |-8.676253e+01 |-3.300000e+01 | 162.92%
749.66/749.86 c 750s| 14500 | 14501 | 2124k| 146.3 | 34M| 88 | 208 | 400 | 788 | 400 | 601 | 0 | 284 |2887 |-8.675702e+01 |-3.300000e+01 | 162.90%
752.96/753.16 c 753s| 14600 | 14601 | 2138k| 146.2 | 34M| 89 | 186 | 400 | 804 | 400 | 601 | 0 | 301 |2887 |-8.669707e+01 |-3.300000e+01 | 162.72%
755.86/756.06 c 756s| 14700 | 14701 | 2149k| 146.0 | 35M| 91 | 150 | 400 | 802 | 400 | 601 | 0 | 301 |2887 |-8.669707e+01 |-3.300000e+01 | 162.72%
759.56/759.77 c 760s| 14800 | 14801 | 2162k| 145.9 | 35M| 91 | 146 | 400 | 801 | 400 | 601 | 0 | 301 |2903 |-8.669707e+01 |-3.300000e+01 | 162.72%
763.06/763.23 c 763s| 14900 | 14901 | 2173k| 145.7 | 35M| 92 | 146 | 400 | 801 | 400 | 601 | 0 | 301 |2921 |-8.666986e+01 |-3.300000e+01 | 162.64%
765.97/766.16 c 766s| 15000 | 15001 | 2188k| 145.6 | 35M| 93 | 148 | 400 | 804 | 400 | 601 | 0 | 306 |2921 |-8.666986e+01 |-3.300000e+01 | 162.64%
769.16/769.30 c 769s| 15100 | 15101 | 2201k| 145.5 | 35M| 93 | 146 | 400 | 803 | 400 | 601 | 0 | 306 |2921 |-8.666986e+01 |-3.300000e+01 | 162.64%
772.15/772.39 c 772s| 15200 | 15201 | 2213k| 145.4 | 35M| 93 | 153 | 400 | 803 | 400 | 601 | 0 | 306 |2921 |-8.666986e+01 |-3.300000e+01 | 162.64%
776.26/776.49 c 776s| 15300 | 15301 | 2226k| 145.3 | 35M| 93 | 162 | 400 | 802 | 400 | 601 | 0 | 306 |2949 |-8.666986e+01 |-3.300000e+01 | 162.64%
780.36/780.56 c 781s| 15400 | 15401 | 2241k| 145.3 | 35M| 93 | 128 | 400 | 802 | 400 | 601 | 0 | 306 |2958 |-8.666986e+01 |-3.300000e+01 | 162.64%
783.65/783.80 c 784s| 15500 | 15501 | 2254k| 145.2 | 36M| 93 | 125 | 400 | 809 | 400 | 601 | 0 | 313 |2960 |-8.666986e+01 |-3.300000e+01 | 162.64%
786.16/786.35 c 786s| 15600 | 15601 | 2266k| 145.1 | 36M| 93 | 109 | 400 | 809 | 400 | 601 | 0 | 313 |2960 |-8.666986e+01 |-3.300000e+01 | 162.64%
788.46/788.63 c 789s| 15700 | 15701 | 2276k| 144.8 | 36M| 96 | 163 | 400 | 808 | 400 | 601 | 0 | 313 |2962 |-8.665888e+01 |-3.300000e+01 | 162.60%
793.15/793.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.15/793.32 c 793s| 15800 | 15801 | 2295k| 145.1 | 36M| 96 | 123 | 400 | 806 | 400 | 601 | 0 | 315 |2981 |-8.665888e+01 |-3.300000e+01 | 162.60%
797.15/797.34 c 797s| 15900 | 15901 | 2307k| 144.9 | 36M| 96 | 136 | 400 | 806 | 400 | 601 | 0 | 315 |2999 |-8.665888e+01 |-3.300000e+01 | 162.60%
800.66/800.87 c 801s| 16000 | 16001 | 2320k| 144.8 | 36M| 96 | 121 | 400 | 811 | 400 | 601 | 0 | 322 |3010 |-8.665888e+01 |-3.300000e+01 | 162.60%
803.35/803.54 c 804s| 16100 | 16101 | 2332k| 144.7 | 36M| 97 | 112 | 400 | 809 | 400 | 601 | 0 | 322 |3010 |-8.665888e+01 |-3.300000e+01 | 162.60%
806.25/806.45 c 806s| 16200 | 16201 | 2345k| 144.6 | 36M| 97 | 115 | 400 | 806 | 400 | 601 | 0 | 322 |3010 |-8.665888e+01 |-3.300000e+01 | 162.60%
808.85/809.04 c 809s| 16300 | 16301 | 2356k| 144.4 | 37M| 99 | 105 | 400 | 806 | 400 | 601 | 0 | 322 |3010 |-8.665888e+01 |-3.300000e+01 | 162.60%
812.35/812.58 c 813s| 16400 | 16401 | 2369k| 144.2 | 37M| 99 | 123 | 400 | 803 | 400 | 601 | 0 | 322 |3042 |-8.665888e+01 |-3.300000e+01 | 162.60%
815.45/815.62 c 816s| 16500 | 16501 | 2381k| 144.1 | 37M| 99 | 117 | 400 | 810 | 400 | 601 | 0 | 330 |3054 |-8.665888e+01 |-3.300000e+01 | 162.60%
817.85/818.01 c 818s| 16600 | 16601 | 2393k| 144.0 | 37M| 101 | 221 | 400 | 808 | 400 | 601 | 0 | 330 |3054 |-8.665888e+01 |-3.300000e+01 | 162.60%
820.46/820.69 c 821s| 16700 | 16701 | 2407k| 144.0 | 37M| 101 | 199 | 400 | 807 | 400 | 601 | 0 | 330 |3054 |-8.663616e+01 |-3.300000e+01 | 162.53%
823.25/823.43 c 823s| 16800 | 16801 | 2419k| 143.8 | 37M| 101 | 181 | 400 | 807 | 400 | 601 | 0 | 330 |3054 |-8.663069e+01 |-3.300000e+01 | 162.52%
825.96/826.19 c 826s| 16900 | 16901 | 2430k| 143.6 | 37M| 101 | 172 | 400 | 807 | 400 | 601 | 0 | 330 |3068 |-8.661312e+01 |-3.300000e+01 | 162.46%
829.55/829.79 c 830s| 17000 | 17001 | 2443k| 143.5 | 37M| 101 | 148 | 400 | 810 | 400 | 601 | 0 | 334 |3092 |-8.660407e+01 |-3.300000e+01 | 162.44%
832.64/832.85 c 833s| 17100 | 17101 | 2455k| 143.4 | 37M| 101 | 144 | 400 | 809 | 400 | 601 | 0 | 334 |3103 |-8.660402e+01 |-3.300000e+01 | 162.44%
835.15/835.38 c 835s| 17200 | 17201 | 2466k| 143.2 | 38M| 101 | 92 | 400 | 809 | 400 | 601 | 0 | 334 |3106 |-8.660402e+01 |-3.300000e+01 | 162.44%
837.84/838.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.84/838.00 c 838s| 17300 | 17301 | 2478k| 143.1 | 38M| 101 | 328 | 400 | 808 | 400 | 601 | 0 | 334 |3106 |-8.660402e+01 |-3.300000e+01 | 162.44%
840.55/840.77 c 841s| 17400 | 17401 | 2490k| 142.9 | 38M| 101 | 300 | 400 | 807 | 400 | 601 | 0 | 334 |3106 |-8.660082e+01 |-3.300000e+01 | 162.43%
844.05/844.23 c 844s| 17500 | 17501 | 2503k| 142.9 | 38M| 101 | 277 | 400 | 812 | 400 | 601 | 0 | 339 |3132 |-8.659334e+01 |-3.300000e+01 | 162.40%
847.35/847.50 c 847s| 17600 | 17601 | 2515k| 142.7 | 38M| 101 | 211 | 400 | 811 | 400 | 601 | 0 | 339 |3152 |-8.658795e+01 |-3.300000e+01 | 162.39%
850.54/850.73 c 851s| 17700 | 17701 | 2528k| 142.7 | 38M| 101 | 224 | 400 | 810 | 400 | 601 | 0 | 340 |3159 |-8.654366e+01 |-3.300000e+01 | 162.25%
853.64/853.84 c 854s| 17800 | 17801 | 2541k| 142.6 | 38M| 101 | 191 | 400 | 810 | 400 | 601 | 0 | 340 |3160 |-8.654250e+01 |-3.300000e+01 | 162.25%
856.14/856.34 c 856s| 17900 | 17901 | 2552k| 142.4 | 38M| 101 | 177 | 400 | 810 | 400 | 601 | 0 | 340 |3160 |-8.653548e+01 |-3.300000e+01 | 162.23%
858.85/859.07 c 859s| 18000 | 18001 | 2564k| 142.3 | 39M| 101 | 141 | 400 | 818 | 400 | 601 | 0 | 348 |3160 |-8.652790e+01 |-3.300000e+01 | 162.21%
862.84/863.01 c 863s| 18100 | 18101 | 2576k| 142.2 | 39M| 101 | 149 | 400 | 817 | 400 | 601 | 0 | 348 |3200 |-8.652165e+01 |-3.300000e+01 | 162.19%
865.55/865.77 c 866s| 18200 | 18201 | 2587k| 142.0 | 39M| 101 | 119 | 400 | 815 | 400 | 601 | 0 | 348 |3211 |-8.651880e+01 |-3.300000e+01 | 162.18%
868.14/868.33 c 868s| 18300 | 18301 | 2597k| 141.7 | 39M| 101 | 131 | 400 | 814 | 400 | 601 | 0 | 348 |3223 |-8.651880e+01 |-3.300000e+01 | 162.18%
871.14/871.39 c 871s| 18400 | 18401 | 2608k| 141.6 | 39M| 101 | 327 | 400 | 813 | 400 | 601 | 0 | 348 |3229 |-8.650740e+01 |-3.300000e+01 | 162.14%
874.74/874.92 c 875s| 18500 | 18501 | 2628k| 141.9 | 39M| 101 | 292 | 400 | 812 | 400 | 601 | 0 | 348 |3229 |-8.649842e+01 |-3.300000e+01 | 162.12%
877.14/877.33 c 877s| 18600 | 18601 | 2639k| 141.7 | 39M| 101 | 250 | 400 | 812 | 400 | 601 | 0 | 348 |3229 |-8.648129e+01 |-3.300000e+01 | 162.06%
879.74/879.95 c 880s| 18700 | 18701 | 2651k| 141.6 | 39M| 101 | 240 | 400 | 820 | 400 | 601 | 0 | 359 |3232 |-8.646152e+01 |-3.300000e+01 | 162.00%
882.63/882.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.63/882.85 c 883s| 18800 | 18801 | 2663k| 141.5 | 40M| 101 | 199 | 400 | 820 | 400 | 601 | 0 | 359 |3242 |-8.644378e+01 |-3.300000e+01 | 161.95%
885.74/885.97 c 886s| 18900 | 18901 | 2674k| 141.3 | 40M| 101 | 192 | 400 | 820 | 400 | 601 | 0 | 359 |3272 |-8.643702e+01 |-3.300000e+01 | 161.93%
888.54/888.74 c 889s| 19000 | 19001 | 2686k| 141.2 | 40M| 101 | 176 | 400 | 819 | 400 | 601 | 0 | 359 |3277 |-8.643629e+01 |-3.300000e+01 | 161.93%
891.13/891.32 c 891s| 19100 | 19101 | 2698k| 141.1 | 40M| 101 | 134 | 400 | 818 | 400 | 601 | 0 | 359 |3277 |-8.643498e+01 |-3.300000e+01 | 161.92%
893.83/894.00 c 894s| 19200 | 19201 | 2711k| 141.1 | 40M| 101 | 129 | 400 | 817 | 400 | 601 | 0 | 359 |3280 |-8.642082e+01 |-3.300000e+01 | 161.88%
896.03/896.28 c 896s| 19300 | 19301 | 2722k| 140.9 | 40M| 101 | 125 | 400 | 823 | 400 | 601 | 0 | 367 |3280 |-8.641885e+01 |-3.300000e+01 | 161.88%
898.94/899.11 c 899s| 19400 | 19401 | 2733k| 140.7 | 40M| 101 | 117 | 400 | 823 | 400 | 601 | 0 | 367 |3303 |-8.641885e+01 |-3.300000e+01 | 161.88%
901.93/902.14 c 902s| 19500 | 19501 | 2745k| 140.6 | 40M| 101 | 314 | 400 | 823 | 400 | 601 | 0 | 367 |3318 |-8.641225e+01 |-3.300000e+01 | 161.86%
905.14/905.33 c 905s| 19600 | 19601 | 2758k| 140.6 | 41M| 101 | 293 | 400 | 831 | 400 | 601 | 0 | 376 |3320 |-8.639169e+01 |-3.300000e+01 | 161.79%
907.93/908.11 c 908s| 19700 | 19701 | 2771k| 140.5 | 41M| 101 | 262 | 400 | 829 | 400 | 601 | 0 | 376 |3321 |-8.638644e+01 |-3.300000e+01 | 161.78%
910.54/910.73 c 911s| 19800 | 19801 | 2784k| 140.5 | 41M| 101 | 230 | 400 | 829 | 400 | 601 | 0 | 376 |3321 |-8.637820e+01 |-3.300000e+01 | 161.75%
913.23/913.40 c 913s| 19900 | 19901 | 2797k| 140.4 | 41M| 101 | 216 | 400 | 826 | 400 | 601 | 0 | 378 |3325 |-8.636861e+01 |-3.300000e+01 | 161.72%
915.83/916.02 c 916s| 20000 | 20001 | 2807k| 140.2 | 41M| 101 | 194 | 400 | 823 | 400 | 601 | 0 | 378 |3342 |-8.635914e+01 |-3.300000e+01 | 161.69%
918.73/918.97 c 919s| 20100 | 20101 | 2819k| 140.1 | 41M| 101 | 183 | 400 | 822 | 400 | 601 | 0 | 378 |3365 |-8.635090e+01 |-3.300000e+01 | 161.67%
922.13/922.38 c 922s| 20200 | 20201 | 2832k| 140.0 | 41M| 101 | 155 | 400 | 823 | 400 | 601 | 0 | 381 |3374 |-8.633527e+01 |-3.300000e+01 | 161.62%
925.13/925.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.13/925.30 c 925s| 20300 | 20301 | 2845k| 140.0 | 41M| 101 | 134 | 400 | 822 | 400 | 601 | 0 | 381 |3374 |-8.632832e+01 |-3.300000e+01 | 161.60%
928.03/928.21 c 928s| 20400 | 20401 | 2858k| 139.9 | 42M| 101 | 126 | 400 | 822 | 400 | 601 | 0 | 381 |3379 |-8.632604e+01 |-3.300000e+01 | 161.59%
930.44/930.60 c 931s| 20500 | 20501 | 2869k| 139.8 | 42M| 101 | 98 | 400 | 822 | 400 | 601 | 0 | 381 |3379 |-8.632604e+01 |-3.300000e+01 | 161.59%
933.64/933.84 c 934s| 20600 | 20601 | 2883k| 139.8 | 42M| 101 | 317 | 400 | 820 | 400 | 601 | 0 | 381 |3395 |-8.632603e+01 |-3.300000e+01 | 161.59%
937.03/937.26 c 937s| 20700 | 20701 | 2895k| 139.7 | 42M| 101 | 289 | 400 | 814 | 400 | 601 | 0 | 381 |3421 |-8.631896e+01 |-3.300000e+01 | 161.57%
940.02/940.24 c 940s| 20800 | 20801 | 2907k| 139.6 | 42M| 101 | 254 | 400 | 822 | 400 | 601 | 0 | 390 |3429 |-8.630505e+01 |-3.300000e+01 | 161.53%
942.53/942.78 c 943s| 20900 | 20901 | 2920k| 139.6 | 42M| 101 | 248 | 400 | 819 | 400 | 601 | 0 | 391 |3431 |-8.630062e+01 |-3.300000e+01 | 161.52%
944.92/945.10 c 945s| 21000 | 21001 | 2931k| 139.4 | 42M| 101 | 188 | 400 | 818 | 400 | 601 | 0 | 391 |3431 |-8.629817e+01 |-3.300000e+01 | 161.51%
947.42/947.67 c 948s| 21100 | 21101 | 2942k| 139.3 | 42M| 101 | 163 | 400 | 818 | 400 | 601 | 0 | 391 |3431 |-8.628239e+01 |-3.300000e+01 | 161.46%
950.24/950.49 c 950s| 21200 | 21201 | 2956k| 139.3 | 43M| 101 | 136 | 400 | 826 | 400 | 601 | 0 | 399 |3437 |-8.627713e+01 |-3.300000e+01 | 161.45%
953.44/953.62 c 954s| 21300 | 21301 | 2968k| 139.2 | 43M| 101 | 143 | 400 | 825 | 400 | 601 | 0 | 399 |3464 |-8.625465e+01 |-3.300000e+01 | 161.38%
956.52/956.71 c 957s| 21400 | 21401 | 2980k| 139.1 | 43M| 101 | 131 | 400 | 823 | 400 | 601 | 0 | 399 |3487 |-8.625315e+01 |-3.300000e+01 | 161.37%
959.23/959.49 c 959s| 21500 | 21501 | 2992k| 139.0 | 43M| 101 | 118 | 400 | 823 | 400 | 601 | 0 | 399 |3492 |-8.624838e+01 |-3.300000e+01 | 161.36%
961.82/962.02 c 962s| 21600 | 21601 | 3006k| 139.0 | 43M| 101 | 105 | 400 | 831 | 400 | 601 | 0 | 408 |3492 |-8.624838e+01 |-3.300000e+01 | 161.36%
964.33/964.57 c 965s| 21700 | 21701 | 3018k| 138.9 | 43M| 101 | 318 | 400 | 831 | 400 | 601 | 0 | 408 |3495 |-8.624683e+01 |-3.300000e+01 | 161.35%
966.93/967.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.93/967.16 c 967s| 21800 | 21801 | 3029k| 138.8 | 43M| 101 | 294 | 400 | 829 | 400 | 601 | 0 | 408 |3495 |-8.624555e+01 |-3.300000e+01 | 161.35%
969.53/969.71 c 970s| 21900 | 21901 | 3041k| 138.7 | 43M| 101 | 251 | 400 | 828 | 400 | 601 | 0 | 408 |3513 |-8.623772e+01 |-3.300000e+01 | 161.33%
972.42/972.60 c 973s| 22000 | 22001 | 3053k| 138.6 | 44M| 101 | 211 | 400 | 828 | 400 | 601 | 0 | 408 |3528 |-8.623589e+01 |-3.300000e+01 | 161.32%
975.82/976.05 c 976s| 22100 | 22101 | 3066k| 138.6 | 44M| 101 | 180 | 400 | 838 | 400 | 601 | 0 | 419 |3544 |-8.623507e+01 |-3.300000e+01 | 161.32%
978.02/978.27 c 978s| 22200 | 22201 | 3077k| 138.4 | 44M| 101 | 152 | 400 | 838 | 400 | 601 | 0 | 420 |3544 |-8.623185e+01 |-3.300000e+01 | 161.31%
980.43/980.68 c 981s| 22300 | 22301 | 3089k| 138.4 | 44M| 101 | 155 | 400 | 850 | 400 | 601 | 0 | 434 |3544 |-8.622074e+01 |-3.300000e+01 | 161.27%
983.02/983.29 c 983s| 22400 | 22401 | 3100k| 138.3 | 44M| 101 | 138 | 400 | 849 | 400 | 601 | 0 | 434 |3544 |-8.622008e+01 |-3.300000e+01 | 161.27%
985.92/986.14 c 986s| 22500 | 22501 | 3115k| 138.3 | 44M| 101 | 140 | 400 | 853 | 400 | 601 | 0 | 439 |3544 |-8.620918e+01 |-3.300000e+01 | 161.24%
988.82/989.09 c 989s| 22600 | 22601 | 3125k| 138.1 | 44M| 101 | 121 | 400 | 852 | 400 | 601 | 0 | 440 |3565 |-8.620561e+01 |-3.300000e+01 | 161.23%
991.32/991.57 c 992s| 22700 | 22701 | 3136k| 138.0 | 44M| 101 | 103 | 400 | 852 | 400 | 601 | 0 | 440 |3580 |-8.620561e+01 |-3.300000e+01 | 161.23%
994.13/994.33 c 994s| 22800 | 22801 | 3147k| 137.9 | 44M| 101 | 319 | 400 | 851 | 400 | 601 | 0 | 440 |3586 |-8.620344e+01 |-3.300000e+01 | 161.22%
996.72/996.98 c 997s| 22900 | 22901 | 3159k| 137.8 | 45M| 101 | 288 | 400 | 854 | 400 | 601 | 0 | 443 |3590 |-8.619947e+01 |-3.300000e+01 | 161.21%
999.32/999.56 c 1000s| 23000 | 23001 | 3172k| 137.8 | 45M| 101 | 255 | 400 | 854 | 400 | 601 | 0 | 443 |3590 |-8.619116e+01 |-3.300000e+01 | 161.19%
1001.82/1002.01 c 1002s| 23100 | 23101 | 3183k| 137.7 | 45M| 101 | 237 | 400 | 854 | 400 | 601 | 0 | 443 |3590 |-8.619069e+01 |-3.300000e+01 | 161.18%
1004.21/1004.49 c 1004s| 23200 | 23201 | 3193k| 137.5 | 45M| 101 | 177 | 400 | 853 | 400 | 601 | 0 | 443 |3590 |-8.618625e+01 |-3.300000e+01 | 161.17%
1006.81/1007.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.81/1007.05 c 1007s| 23300 | 23301 | 3204k| 137.4 | 45M| 101 | 193 | 400 | 851 | 400 | 601 | 0 | 443 |3607 |-8.618221e+01 |-3.300000e+01 | 161.16%
1010.21/1010.47 c 1010s| 23400 | 23401 | 3217k| 137.3 | 45M| 101 | 181 | 400 | 859 | 400 | 601 | 0 | 451 |3621 |-8.617867e+01 |-3.300000e+01 | 161.15%
1012.71/1012.94 c 1013s| 23500 | 23501 | 3227k| 137.2 | 45M| 101 | 150 | 400 | 857 | 400 | 601 | 0 | 451 |3623 |-8.617345e+01 |-3.300000e+01 | 161.13%
1015.22/1015.42 c 1015s| 23600 | 23601 | 3240k| 137.2 | 45M| 101 | 131 | 400 | 858 | 400 | 601 | 0 | 452 |3623 |-8.616881e+01 |-3.300000e+01 | 161.12%
1017.92/1018.16 c 1018s| 23700 | 23701 | 3253k| 137.1 | 46M| 101 | 131 | 400 | 856 | 400 | 601 | 0 | 452 |3623 |-8.616251e+01 |-3.300000e+01 | 161.10%
1020.52/1020.75 c 1021s| 23800 | 23801 | 3264k| 137.0 | 46M| 101 | 120 | 400 | 854 | 400 | 601 | 0 | 452 |3623 |-8.616251e+01 |-3.300000e+01 | 161.10%
1023.62/1023.83 c 1024s| 23900 | 23901 | 3279k| 137.1 | 46M| 101 | 322 | 400 | 851 | 400 | 601 | 0 | 452 |3640 |-8.616122e+01 |-3.300000e+01 | 161.09%
1026.71/1026.92 c 1027s| 24000 | 24001 | 3290k| 137.0 | 46M| 101 | 292 | 400 | 854 | 400 | 601 | 0 | 457 |3660 |-8.614767e+01 |-3.300000e+01 | 161.05%
1029.61/1029.80 c 1030s| 24100 | 24101 | 3305k| 137.0 | 46M| 101 | 225 | 400 | 904 | 400 | 601 | 0 | 508 |3667 |-8.614292e+01 |-3.300000e+01 | 161.04%
1032.11/1032.39 c 1032s| 24200 | 24201 | 3320k| 137.0 | 46M| 101 | 237 | 400 | 932 | 400 | 601 | 0 | 536 |3668 |-8.614114e+01 |-3.300000e+01 | 161.03%
1034.82/1035.10 c 1035s| 24300 | 24301 | 3332k| 137.0 | 46M| 101 | 218 | 400 | 929 | 400 | 601 | 0 | 536 |3670 |-8.613314e+01 |-3.300000e+01 | 161.01%
1037.52/1037.75 c 1038s| 24400 | 24401 | 3345k| 137.0 | 46M| 101 | 193 | 400 | 928 | 400 | 601 | 0 | 536 |3671 |-8.612773e+01 |-3.300000e+01 | 160.99%
1040.82/1041.01 c 1041s| 24500 | 24501 | 3357k| 136.9 | 47M| 101 | 175 | 400 | 927 | 400 | 601 | 0 | 536 |3689 |-8.612194e+01 |-3.300000e+01 | 160.98%
1043.62/1043.85 c 1044s| 24600 | 24601 | 3369k| 136.8 | 47M| 101 | 148 | 400 | 925 | 400 | 601 | 0 | 536 |3701 |-8.612039e+01 |-3.300000e+01 | 160.97%
1047.21/1047.47 c 1047s| 24700 | 24701 | 3383k| 136.8 | 47M| 101 | 146 | 400 | 946 | 400 | 601 | 0 | 557 |3718 |-8.611777e+01 |-3.300000e+01 | 160.96%
1050.11/1050.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.11/1050.32 c 1050s| 24800 | 24801 | 3395k| 136.8 | 47M| 101 | 114 | 400 | 948 | 400 | 601 | 0 | 560 |3720 |-8.611366e+01 |-3.300000e+01 | 160.95%
1052.61/1052.80 c 1053s| 24900 | 24901 | 3406k| 136.7 | 47M| 101 | 111 | 400 | 948 | 400 | 601 | 0 | 560 |3720 |-8.611366e+01 |-3.300000e+01 | 160.95%
1055.21/1055.49 c 1055s| 25000 | 25001 | 3419k| 136.6 | 47M| 101 | 318 | 400 | 945 | 400 | 601 | 0 | 560 |3720 |-8.610920e+01 |-3.300000e+01 | 160.94%
1058.02/1058.25 c 1058s| 25100 | 25101 | 3432k| 136.6 | 47M| 101 | 282 | 400 | 952 | 400 | 601 | 0 | 569 |3726 |-8.609146e+01 |-3.300000e+01 | 160.88%
1060.41/1060.65 c 1061s| 25200 | 25201 | 3444k| 136.5 | 47M| 101 | 261 | 400 | 950 | 400 | 601 | 0 | 569 |3726 |-8.609016e+01 |-3.300000e+01 | 160.88%
1063.11/1063.38 c 1063s| 25300 | 25301 | 3455k| 136.4 | 48M| 101 | 232 | 400 | 948 | 400 | 601 | 0 | 569 |3748 |-8.608413e+01 |-3.300000e+01 | 160.86%
1065.81/1066.07 c 1066s| 25400 | 25401 | 3466k| 136.3 | 48M| 101 | 199 | 400 | 947 | 400 | 601 | 0 | 569 |3770 |-8.608190e+01 |-3.300000e+01 | 160.85%
1068.01/1068.29 c 1068s| 25500 | 25501 | 3476k| 136.2 | 48M| 101 | 171 | 400 | 941 | 400 | 601 | 0 | 569 |3774 |-8.608059e+01 |-3.300000e+01 | 160.85%
1070.31/1070.54 c 1071s| 25600 | 25601 | 3488k| 136.1 | 48M| 101 | 151 | 400 | 944 | 400 | 601 | 0 | 572 |3774 |-8.607315e+01 |-3.300000e+01 | 160.83%
1072.51/1072.78 c 1073s| 25700 | 25701 | 3499k| 136.0 | 48M| 101 | 146 | 400 | 942 | 400 | 601 | 0 | 572 |3774 |-8.607167e+01 |-3.300000e+01 | 160.82%
1075.20/1075.47 c 1075s| 25800 | 25801 | 3510k| 135.9 | 48M| 101 | 158 | 400 | 940 | 400 | 601 | 0 | 572 |3774 |-8.606547e+01 |-3.300000e+01 | 160.80%
1077.71/1077.94 c 1078s| 25900 | 25901 | 3522k| 135.9 | 48M| 101 | 117 | 400 | 940 | 400 | 601 | 0 | 572 |3774 |-8.606173e+01 |-3.300000e+01 | 160.79%
1080.61/1080.89 c 1081s| 26000 | 26001 | 3534k| 135.8 | 48M| 101 | 108 | 400 | 940 | 400 | 601 | 0 | 576 |3790 |-8.606173e+01 |-3.300000e+01 | 160.79%
1083.71/1083.97 c 1084s| 26100 | 26101 | 3547k| 135.8 | 49M| 101 | 316 | 400 | 938 | 400 | 601 | 0 | 576 |3802 |-8.605991e+01 |-3.300000e+01 | 160.79%
1086.91/1087.10 c 1087s| 26200 | 26201 | 3559k| 135.7 | 49M| 101 | 276 | 400 | 937 | 400 | 601 | 0 | 576 |3809 |-8.605473e+01 |-3.300000e+01 | 160.77%
1091.71/1091.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.71/1091.90 c 1092s| 26300 | 26301 | 3571k| 135.7 | 49M| 101 | 258 | 400 | 936 | 400 | 601 | 0 | 576 |3810 |-8.604306e+01 |-3.300000e+01 | 160.74%
1094.50/1094.70 c 1095s| 26400 | 26401 | 3584k| 135.7 | 49M| 101 | 252 | 400 | 935 | 400 | 601 | 0 | 576 |3810 |-8.603577e+01 |-3.300000e+01 | 160.71%
1097.40/1097.64 c 1098s| 26500 | 26501 | 3598k| 135.7 | 49M| 101 | 182 | 400 | 939 | 400 | 601 | 0 | 581 |3815 |-8.603072e+01 |-3.300000e+01 | 160.70%
1100.31/1100.55 c 1101s| 26600 | 26601 | 3614k| 135.7 | 49M| 101 | 198 | 400 | 937 | 400 | 601 | 0 | 581 |3815 |-8.602984e+01 |-3.300000e+01 | 160.70%
1103.70/1103.98 c 1104s| 26700 | 26701 | 3630k| 135.9 | 49M| 101 | 170 | 400 | 936 | 400 | 601 | 0 | 581 |3835 |-8.602723e+01 |-3.300000e+01 | 160.69%
1106.90/1107.18 c 1107s| 26800 | 26801 | 3645k| 135.9 | 49M| 101 | 155 | 400 | 935 | 400 | 601 | 0 | 581 |3856 |-8.602365e+01 |-3.300000e+01 | 160.68%
1110.20/1110.49 c 1110s| 26900 | 26901 | 3658k| 135.9 | 50M| 101 | 141 | 400 | 954 | 400 | 601 | 0 | 602 |3869 |-8.601568e+01 |-3.300000e+01 | 160.65%
1113.10/1113.32 c 1113s| 27000 | 27001 | 3674k| 136.0 | 50M| 101 | 100 | 400 |1007 | 400 | 601 | 0 | 656 |3869 |-8.601237e+01 |-3.300000e+01 | 160.64%
1116.00/1116.22 c 1116s| 27100 | 27101 | 3687k| 135.9 | 50M| 101 | 100 | 400 |1016 | 400 | 601 | 0 | 667 |3873 |-8.601237e+01 |-3.300000e+01 | 160.64%
1118.80/1119.00 c 1119s| 27200 | 27201 | 3699k| 135.9 | 50M| 101 | 318 | 400 |1015 | 400 | 601 | 0 | 667 |3873 |-8.600827e+01 |-3.300000e+01 | 160.63%
1121.40/1121.64 c 1122s| 27300 | 27301 | 3711k| 135.8 | 50M| 101 | 292 | 400 |1015 | 400 | 601 | 0 | 667 |3873 |-8.600553e+01 |-3.300000e+01 | 160.62%
1124.10/1124.36 c 1124s| 27400 | 27401 | 3722k| 135.7 | 50M| 101 | 252 | 400 |1020 | 400 | 601 | 0 | 672 |3892 |-8.599709e+01 |-3.300000e+01 | 160.60%
1127.21/1127.50 c 1128s| 27500 | 27501 | 3736k| 135.7 | 50M| 101 | 235 | 400 |1018 | 400 | 601 | 0 | 672 |3910 |-8.599237e+01 |-3.300000e+01 | 160.58%
1129.89/1130.12 c 1130s| 27600 | 27601 | 3746k| 135.6 | 50M| 101 | 233 | 400 |1017 | 400 | 601 | 0 | 672 |3918 |-8.598638e+01 |-3.300000e+01 | 160.56%
1133.10/1133.39 c 1133s| 27700 | 27701 | 3759k| 135.6 | 51M| 101 | 180 | 400 |1013 | 400 | 601 | 0 | 672 |3934 |-8.598519e+01 |-3.300000e+01 | 160.56%
1135.89/1136.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.89/1136.12 c 1136s| 27800 | 27801 | 3771k| 135.5 | 51M| 101 | 163 | 400 |1021 | 400 | 601 | 0 | 681 |3935 |-8.598512e+01 |-3.300000e+01 | 160.56%
1138.50/1138.79 c 1139s| 27900 | 27901 | 3783k| 135.5 | 51M| 101 | 152 | 400 |1018 | 400 | 601 | 0 | 681 |3935 |-8.595613e+01 |-3.300000e+01 | 160.47%
1141.29/1141.59 c 1142s| 28000 | 28001 | 3795k| 135.4 | 51M| 101 | 123 | 400 |1015 | 400 | 601 | 0 | 681 |3935 |-8.595441e+01 |-3.300000e+01 | 160.47%
1144.20/1144.47 c 1144s| 28100 | 28101 | 3808k| 135.4 | 51M| 101 | 128 | 400 |1011 | 400 | 601 | 0 | 681 |3935 |-8.595314e+01 |-3.300000e+01 | 160.46%
1147.49/1147.70 c 1148s| 28200 | 28201 | 3820k| 135.3 | 51M| 101 | 112 | 400 |1011 | 400 | 601 | 0 | 681 |3945 |-8.595314e+01 |-3.300000e+01 | 160.46%
1150.59/1150.87 c 1151s| 28300 | 28301 | 3832k| 135.3 | 51M| 101 | 323 | 400 |1015 | 400 | 601 | 0 | 685 |3969 |-8.595312e+01 |-3.300000e+01 | 160.46%
1153.60/1153.89 c 1154s| 28400 | 28401 | 3844k| 135.3 | 51M| 101 | 260 | 400 |1012 | 400 | 601 | 0 | 685 |3980 |-8.593952e+01 |-3.300000e+01 | 160.42%
1156.40/1156.62 c 1157s| 28500 | 28501 | 3857k| 135.2 | 52M| 101 | 266 | 400 |1010 | 400 | 601 | 0 | 685 |3984 |-8.593709e+01 |-3.300000e+01 | 160.42%
1158.89/1159.12 c 1159s| 28600 | 28601 | 3869k| 135.2 | 52M| 101 | 185 | 400 |1016 | 400 | 601 | 0 | 691 |3987 |-8.593373e+01 |-3.300000e+01 | 160.41%
1161.19/1161.48 c 1161s| 28700 | 28701 | 3881k| 135.1 | 52M| 101 | 202 | 400 |1016 | 400 | 601 | 0 | 691 |3987 |-8.592504e+01 |-3.300000e+01 | 160.38%
1163.89/1164.10 c 1164s| 28800 | 28801 | 3895k| 135.1 | 52M| 101 | 146 | 400 |1016 | 400 | 601 | 0 | 691 |3987 |-8.592334e+01 |-3.300000e+01 | 160.37%
1166.69/1166.90 c 1167s| 28900 | 28901 | 3911k| 135.2 | 52M| 101 | 156 | 400 |1014 | 400 | 601 | 0 | 691 |3987 |-8.591530e+01 |-3.300000e+01 | 160.35%
1169.00/1169.27 c 1169s| 29000 | 29001 | 3922k| 135.1 | 52M| 101 | 125 | 400 |1022 | 400 | 601 | 0 | 699 |3997 |-8.591297e+01 |-3.300000e+01 | 160.34%
1171.89/1172.18 c 1172s| 29100 | 29101 | 3934k| 135.1 | 52M| 101 | 148 | 400 |1022 | 400 | 601 | 0 | 700 |4019 |-8.589023e+01 |-3.300000e+01 | 160.27%
1175.09/1175.31 c 1175s| 29200 | 29201 | 3947k| 135.1 | 52M| 101 | 129 | 400 |1021 | 400 | 601 | 0 | 700 |4031 |-8.588727e+01 |-3.300000e+01 | 160.26%
1177.90/1178.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.90/1178.16 c 1178s| 29300 | 29301 | 3959k| 135.0 | 52M| 101 | 127 | 400 |1020 | 400 | 601 | 0 | 701 |4033 |-8.588727e+01 |-3.300000e+01 | 160.26%
1180.39/1180.67 c 1181s| 29400 | 29401 | 3971k| 135.0 | 53M| 101 | 314 | 400 |1019 | 400 | 601 | 0 | 701 |4033 |-8.587401e+01 |-3.300000e+01 | 160.22%
1182.69/1182.92 c 1183s| 29500 | 29501 | 3981k| 134.8 | 53M| 101 | 271 | 400 |1016 | 400 | 601 | 0 | 701 |4034 |-8.585666e+01 |-3.300000e+01 | 160.17%
1184.79/1185.07 c 1185s| 29600 | 29601 | 3991k| 134.7 | 53M| 101 | 247 | 400 |1018 | 400 | 601 | 0 | 703 |4034 |-8.585452e+01 |-3.300000e+01 | 160.17%
1187.48/1187.78 c 1188s| 29700 | 29701 | 4003k| 134.7 | 53M| 101 | 236 | 400 |1023 | 400 | 601 | 0 | 710 |4034 |-8.584699e+01 |-3.300000e+01 | 160.14%
1191.59/1191.83 c 1192s| 29800 | 29801 | 4018k| 134.7 | 53M| 101 | 197 | 400 |1033 | 400 | 601 | 0 | 721 |4061 |-8.583951e+01 |-3.300000e+01 | 160.12%
1194.69/1194.96 c 1195s| 29900 | 29901 | 4033k| 134.8 | 53M| 101 | 192 | 400 |1032 | 400 | 601 | 0 | 721 |4068 |-8.583649e+01 |-3.300000e+01 | 160.11%
1197.99/1198.26 c 1198s| 30000 | 30001 | 4046k| 134.8 | 53M| 101 | 166 | 400 |1030 | 400 | 601 | 0 | 722 |4074 |-8.583502e+01 |-3.300000e+01 | 160.11%
1200.58/1200.85 c 1201s| 30100 | 30101 | 4057k| 134.7 | 53M| 101 | 149 | 400 |1028 | 400 | 601 | 0 | 723 |4074 |-8.581757e+01 |-3.300000e+01 | 160.05%
1203.29/1203.50 c 1204s| 30200 | 30201 | 4069k| 134.6 | 54M| 101 | 126 | 400 |1026 | 400 | 601 | 0 | 723 |4074 |-8.581753e+01 |-3.300000e+01 | 160.05%
1206.19/1206.41 c 1206s| 30300 | 30301 | 4082k| 134.6 | 54M| 101 | 119 | 400 |1032 | 400 | 601 | 0 | 729 |4082 |-8.581035e+01 |-3.300000e+01 | 160.03%
1208.78/1209.02 c 1209s| 30400 | 30401 | 4093k| 134.5 | 54M| 101 | 107 | 400 |1031 | 400 | 601 | 0 | 729 |4082 |-8.581035e+01 |-3.300000e+01 | 160.03%
1211.49/1211.74 c 1212s| 30500 | 30501 | 4105k| 134.5 | 54M| 101 | 320 | 400 |1030 | 400 | 601 | 0 | 729 |4082 |-8.580355e+01 |-3.300000e+01 | 160.01%
1215.48/1215.70 c 1216s| 30600 | 30601 | 4116k| 134.4 | 54M| 101 | 282 | 400 |1029 | 400 | 601 | 0 | 729 |4106 |-8.580201e+01 |-3.300000e+01 | 160.01%
1218.59/1218.80 c 1219s| 30700 | 30701 | 4130k| 134.4 | 54M| 101 | 273 | 400 |1031 | 400 | 601 | 0 | 734 |4116 |-8.580123e+01 |-3.300000e+01 | 160.00%
1221.89/1222.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.89/1222.15 c 1222s| 30800 | 30801 | 4145k| 134.5 | 54M| 101 | 233 | 400 |1030 | 400 | 601 | 0 | 734 |4119 |-8.579856e+01 |-3.300000e+01 | 160.00%
1224.78/1225.02 c 1225s| 30900 | 30901 | 4156k| 134.4 | 54M| 101 | 215 | 400 |1029 | 400 | 601 | 0 | 734 |4124 |-8.579796e+01 |-3.300000e+01 | 159.99%
1227.58/1227.82 c 1228s| 31000 | 31001 | 4169k| 134.4 | 55M| 101 | 206 | 400 |1024 | 400 | 601 | 0 | 734 |4124 |-8.578955e+01 |-3.300000e+01 | 159.97%
1230.09/1230.36 c 1230s| 31100 | 31101 | 4184k| 134.4 | 55M| 101 | 182 | 400 |1055 | 400 | 601 | 0 | 765 |4124 |-8.578581e+01 |-3.300000e+01 | 159.96%
1232.89/1233.14 c 1233s| 31200 | 31201 | 4197k| 134.4 | 55M| 101 | 165 | 400 |1062 | 400 | 601 | 0 | 776 |4124 |-8.578457e+01 |-3.300000e+01 | 159.95%
1236.28/1236.54 c 1237s| 31300 | 31301 | 4209k| 134.4 | 55M| 101 | 170 | 400 |1061 | 400 | 601 | 0 | 777 |4143 |-8.577737e+01 |-3.300000e+01 | 159.93%
1239.18/1239.49 c 1239s| 31400 | 31401 | 4221k| 134.3 | 55M| 101 | 127 | 400 |1060 | 400 | 601 | 0 | 777 |4158 |-8.577173e+01 |-3.300000e+01 | 159.91%
1242.08/1242.36 c 1242s| 31500 | 31501 | 4233k| 134.3 | 55M| 101 | 97 | 400 |1058 | 400 | 601 | 0 | 777 |4165 |-8.577173e+01 |-3.300000e+01 | 159.91%
1244.78/1245.07 c 1245s| 31600 | 31601 | 4244k| 134.2 | 55M| 101 | 303 | 400 |1058 | 400 | 601 | 0 | 777 |4172 |-8.577056e+01 |-3.300000e+01 | 159.91%
1247.78/1248.04 c 1248s| 31700 | 31701 | 4257k| 134.2 | 55M| 101 | 290 | 400 |1060 | 400 | 601 | 0 | 780 |4173 |-8.576400e+01 |-3.300000e+01 | 159.89%
1250.17/1250.47 c 1250s| 31800 | 31801 | 4268k| 134.1 | 56M| 101 | 256 | 400 |1059 | 400 | 601 | 0 | 780 |4173 |-8.573959e+01 |-3.300000e+01 | 159.82%
1252.88/1253.10 c 1253s| 31900 | 31901 | 4280k| 134.1 | 56M| 101 | 225 | 400 |1055 | 400 | 601 | 0 | 780 |4174 |-8.573544e+01 |-3.300000e+01 | 159.80%
1255.48/1255.76 c 1256s| 32000 | 32001 | 4290k| 134.0 | 56M| 101 | 200 | 400 |1052 | 400 | 601 | 0 | 780 |4174 |-8.572690e+01 |-3.300000e+01 | 159.78%
1258.58/1258.80 c 1259s| 32100 | 32101 | 4304k| 134.0 | 56M| 101 | 190 | 400 |1053 | 400 | 601 | 0 | 783 |4195 |-8.572617e+01 |-3.300000e+01 | 159.78%
1261.28/1261.55 c 1262s| 32200 | 32201 | 4316k| 133.9 | 56M| 101 | 150 | 400 |1068 | 400 | 601 | 0 | 799 |4208 |-8.572214e+01 |-3.300000e+01 | 159.76%
1264.27/1264.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.27/1264.51 c 1265s| 32300 | 32301 | 4327k| 133.9 | 56M| 101 | 126 | 400 |1068 | 400 | 601 | 0 | 799 |4221 |-8.572061e+01 |-3.300000e+01 | 159.76%
1266.78/1267.03 c 1267s| 32400 | 32401 | 4339k| 133.8 | 56M| 101 | 111 | 400 |1068 | 400 | 601 | 0 | 799 |4223 |-8.572045e+01 |-3.300000e+01 | 159.76%
1269.09/1269.31 c 1269s| 32500 | 32501 | 4350k| 133.8 | 56M| 101 | 107 | 400 |1068 | 400 | 601 | 0 | 799 |4225 |-8.571618e+01 |-3.300000e+01 | 159.75%
1271.97/1272.23 c 1272s| 32600 | 32601 | 4367k| 133.9 | 57M| 101 | 107 | 400 |1076 | 400 | 601 | 0 | 807 |4226 |-8.571618e+01 |-3.300000e+01 | 159.75%
1274.98/1275.23 c 1275s| 32700 | 32701 | 4379k| 133.8 | 57M| 101 | 316 | 400 |1074 | 400 | 601 | 0 | 807 |4226 |-8.571527e+01 |-3.300000e+01 | 159.74%
1277.88/1278.18 c 1278s| 32800 | 32801 | 4392k| 133.8 | 57M| 101 | 255 | 400 |1074 | 400 | 601 | 0 | 807 |4230 |-8.570880e+01 |-3.300000e+01 | 159.72%
1280.98/1281.25 c 1281s| 32900 | 32901 | 4405k| 133.8 | 57M| 101 | 261 | 400 |1073 | 400 | 601 | 0 | 807 |4239 |-8.570741e+01 |-3.300000e+01 | 159.72%
1284.68/1284.91 c 1285s| 33000 | 33001 | 4416k| 133.7 | 57M| 101 | 233 | 400 |1079 | 400 | 601 | 0 | 813 |4260 |-8.570521e+01 |-3.300000e+01 | 159.71%
1287.17/1287.47 c 1287s| 33100 | 33101 | 4428k| 133.7 | 57M| 101 | 207 | 400 |1079 | 400 | 601 | 0 | 813 |4265 |-8.568829e+01 |-3.300000e+01 | 159.66%
1290.57/1290.88 c 1291s| 33200 | 33201 | 4439k| 133.6 | 57M| 101 | 178 | 400 |1078 | 400 | 601 | 0 | 813 |4279 |-8.568427e+01 |-3.300000e+01 | 159.65%
1293.38/1293.63 c 1294s| 33300 | 33301 | 4450k| 133.6 | 57M| 101 | 172 | 400 |1075 | 400 | 601 | 0 | 813 |4285 |-8.568336e+01 |-3.300000e+01 | 159.65%
1296.07/1296.34 c 1296s| 33400 | 33401 | 4462k| 133.5 | 58M| 101 | 168 | 400 |1082 | 400 | 601 | 0 | 820 |4285 |-8.567663e+01 |-3.300000e+01 | 159.63%
1298.37/1298.69 c 1299s| 33500 | 33501 | 4473k| 133.4 | 58M| 101 | 106 | 400 |1081 | 400 | 601 | 0 | 822 |4285 |-8.564748e+01 |-3.300000e+01 | 159.54%
1300.98/1301.30 c 1301s| 33600 | 33601 | 4484k| 133.4 | 58M| 101 | 108 | 400 |1076 | 400 | 601 | 0 | 822 |4285 |-8.564083e+01 |-3.300000e+01 | 159.52%
1303.28/1303.55 c 1304s| 33700 | 33701 | 4495k| 133.3 | 58M| 101 | 103 | 400 |1076 | 400 | 601 | 0 | 822 |4285 |-8.564083e+01 |-3.300000e+01 | 159.52%
1305.57/1305.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.57/1305.87 c 1306s| 33800 | 33801 | 4506k| 133.2 | 58M| 101 | 326 | 400 |1075 | 400 | 601 | 0 | 823 |4286 |-8.563748e+01 |-3.300000e+01 | 159.51%
1308.47/1308.70 c 1309s| 33900 | 33901 | 4518k| 133.2 | 58M| 101 | 287 | 400 |1075 | 400 | 601 | 0 | 823 |4302 |-8.563554e+01 |-3.300000e+01 | 159.50%
1311.27/1311.57 c 1312s| 34000 | 34001 | 4529k| 133.1 | 58M| 101 | 217 | 400 |1074 | 400 | 601 | 0 | 823 |4318 |-8.563236e+01 |-3.300000e+01 | 159.49%
1314.18/1314.42 c 1314s| 34100 | 34101 | 4543k| 133.1 | 58M| 101 | 232 | 400 |1079 | 400 | 601 | 0 | 828 |4319 |-8.562392e+01 |-3.300000e+01 | 159.47%
1316.97/1317.24 c 1317s| 34200 | 34201 | 4557k| 133.2 | 59M| 101 | 209 | 400 |1076 | 400 | 601 | 0 | 828 |4319 |-8.561249e+01 |-3.300000e+01 | 159.43%
1319.68/1319.92 c 1320s| 34300 | 34301 | 4570k| 133.1 | 59M| 101 | 185 | 400 |1075 | 400 | 601 | 0 | 828 |4320 |-8.560687e+01 |-3.300000e+01 | 159.41%
1322.16/1322.46 c 1322s| 34400 | 34401 | 4583k| 133.1 | 59M| 101 | 136 | 400 |1084 | 400 | 601 | 0 | 837 |4320 |-8.560214e+01 |-3.300000e+01 | 159.40%
1324.97/1325.21 c 1325s| 34500 | 34501 | 4595k| 133.1 | 59M| 101 | 137 | 400 |1084 | 400 | 601 | 0 | 837 |4325 |-8.559294e+01 |-3.300000e+01 | 159.37%
1328.06/1328.37 c 1328s| 34600 | 34601 | 4608k| 133.1 | 59M| 101 | 156 | 400 |1084 | 400 | 601 | 0 | 837 |4341 |-8.558992e+01 |-3.300000e+01 | 159.36%
1331.57/1331.89 c 1332s| 34700 | 34701 | 4623k| 133.1 | 59M| 101 | 103 | 400 |1083 | 400 | 601 | 0 | 837 |4353 |-8.558340e+01 |-3.300000e+01 | 159.34%
1334.46/1334.70 c 1335s| 34800 | 34801 | 4636k| 133.1 | 59M| 101 | 117 | 400 |1082 | 400 | 601 | 0 | 837 |4356 |-8.558340e+01 |-3.300000e+01 | 159.34%
1336.56/1336.88 c 1337s| 34900 | 34901 | 4646k| 133.0 | 59M| 101 | 308 | 400 |1096 | 400 | 601 | 0 | 853 |4356 |-8.558319e+01 |-3.300000e+01 | 159.34%
1338.86/1339.14 c 1339s| 35000 | 35001 | 4655k| 132.9 | 60M| 106 | 254 | 400 |1094 | 400 | 601 | 0 | 854 |4363 |-8.557760e+01 |-3.300000e+01 | 159.33%
1341.16/1341.44 c 1341s| 35100 | 35101 | 4667k| 132.9 | 60M| 112 | 90 | 400 |1092 | 400 | 601 | 0 | 854 |4363 |-8.557760e+01 |-3.300000e+01 | 159.33%
1343.56/1343.86 c 1344s| 35200 | 35201 | 4677k| 132.8 | 60M| 114 | 217 | 400 |1091 | 400 | 601 | 0 | 855 |4367 |-8.556666e+01 |-3.300000e+01 | 159.29%
1345.97/1346.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.97/1346.27 c 1346s| 35300 | 35301 | 4688k| 132.7 | 60M| 115 | 145 | 400 |1091 | 400 | 601 | 0 | 855 |4367 |-8.556429e+01 |-3.300000e+01 | 159.29%
1348.56/1348.83 c 1349s| 35400 | 35401 | 4699k| 132.7 | 60M| 115 | 93 | 400 |1096 | 400 | 601 | 0 | 860 |4376 |-8.556312e+01 |-3.300000e+01 | 159.28%
1351.57/1351.85 c 1352s| 35500 | 35501 | 4712k| 132.6 | 60M| 115 | 231 | 400 |1093 | 400 | 601 | 0 | 860 |4396 |-8.555562e+01 |-3.300000e+01 | 159.26%
1354.26/1354.52 c 1355s| 35600 | 35601 | 4723k| 132.6 | 60M| 115 | 140 | 400 |1093 | 400 | 601 | 0 | 860 |4408 |-8.553854e+01 |-3.300000e+01 | 159.21%
1356.67/1356.91 c 1357s| 35700 | 35701 | 4733k| 132.5 | 60M| 115 | 110 | 400 |1088 | 400 | 601 | 0 | 860 |4412 |-8.553530e+01 |-3.300000e+01 | 159.20%
1358.86/1359.11 c 1359s| 35800 | 35801 | 4744k| 132.4 | 61M| 117 | 212 | 400 |1122 | 400 | 601 | 0 | 896 |4414 |-8.552411e+01 |-3.300000e+01 | 159.16%
1361.26/1361.59 c 1362s| 35900 | 35901 | 4756k| 132.4 | 61M| 117 | 132 | 400 |1118 | 400 | 601 | 0 | 896 |4414 |-8.551877e+01 |-3.300000e+01 | 159.15%
1363.67/1364.00 c 1364s| 36000 | 36001 | 4769k| 132.4 | 61M| 117 | 93 | 400 |1111 | 400 | 601 | 0 | 896 |4416 |-8.551231e+01 |-3.300000e+01 | 159.13%
1366.07/1366.31 c 1366s| 36100 | 36101 | 4779k| 132.3 | 61M| 117 | 227 | 400 |1109 | 400 | 601 | 0 | 896 |4416 |-8.549900e+01 |-3.300000e+01 | 159.09%
1368.56/1368.83 c 1369s| 36200 | 36201 | 4792k| 132.3 | 61M| 117 | 163 | 400 |1114 | 400 | 601 | 0 | 906 |4417 |-8.549375e+01 |-3.300000e+01 | 159.07%
1371.56/1371.83 c 1372s| 36300 | 36301 | 4803k| 132.2 | 61M| 117 | 112 | 400 |1114 | 400 | 601 | 0 | 906 |4438 |-8.549254e+01 |-3.300000e+01 | 159.07%
1373.86/1374.17 c 1374s| 36400 | 36401 | 4813k| 132.1 | 61M| 117 | 228 | 400 |1110 | 400 | 601 | 0 | 906 |4447 |-8.547649e+01 |-3.300000e+01 | 159.02%
1376.87/1377.13 c 1377s| 36500 | 36501 | 4826k| 132.1 | 61M| 117 | 148 | 400 |1108 | 400 | 601 | 0 | 906 |4460 |-8.547402e+01 |-3.300000e+01 | 159.01%
1379.17/1379.41 c 1379s| 36600 | 36601 | 4837k| 132.1 | 61M| 117 | 103 | 400 |1107 | 400 | 601 | 0 | 906 |4462 |-8.547402e+01 |-3.300000e+01 | 159.01%
1381.37/1381.62 c 1382s| 36700 | 36701 | 4847k| 132.0 | 62M| 117 | 211 | 400 |1117 | 400 | 601 | 0 | 918 |4462 |-8.546992e+01 |-3.300000e+01 | 159.00%
1383.66/1383.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.66/1383.92 c 1384s| 36800 | 36801 | 4859k| 131.9 | 62M| 117 | 148 | 400 |1117 | 400 | 601 | 0 | 918 |4462 |-8.546105e+01 |-3.300000e+01 | 158.97%
1385.96/1386.23 c 1386s| 36900 | 36901 | 4870k| 131.9 | 62M| 117 | 123 | 400 |1116 | 400 | 601 | 0 | 918 |4463 |-8.545487e+01 |-3.300000e+01 | 158.95%
1388.25/1388.54 c 1389s| 37000 | 37001 | 4880k| 131.8 | 62M| 117 | 194 | 400 |1113 | 400 | 601 | 0 | 918 |4463 |-8.544922e+01 |-3.300000e+01 | 158.94%
1390.86/1391.10 c 1391s| 37100 | 37101 | 4892k| 131.8 | 62M| 117 | 134 | 400 |1122 | 400 | 601 | 0 | 930 |4479 |-8.543860e+01 |-3.300000e+01 | 158.90%
1393.66/1393.91 c 1394s| 37200 | 37201 | 4906k| 131.8 | 62M| 117 | 104 | 400 |1128 | 400 | 601 | 0 | 937 |4493 |-8.543829e+01 |-3.300000e+01 | 158.90%
1396.46/1396.76 c 1397s| 37300 | 37301 | 4918k| 131.8 | 62M| 117 | 230 | 400 |1127 | 400 | 601 | 0 | 937 |4495 |-8.543297e+01 |-3.300000e+01 | 158.89%
1399.16/1399.43 c 1399s| 37400 | 37401 | 4929k| 131.7 | 63M| 117 | 141 | 400 |1127 | 400 | 601 | 0 | 937 |4510 |-8.542903e+01 |-3.300000e+01 | 158.88%
1401.17/1401.45 c 1401s| 37500 | 37501 | 4939k| 131.6 | 63M| 117 | 112 | 400 |1153 | 400 | 601 | 0 | 964 |4510 |-8.542852e+01 |-3.300000e+01 | 158.87%
1403.75/1404.02 c 1404s| 37600 | 37601 | 4955k| 131.7 | 63M| 117 | 222 | 400 |1151 | 400 | 601 | 0 | 964 |4510 |-8.542687e+01 |-3.300000e+01 | 158.87%
1406.46/1406.74 c 1407s| 37700 | 37701 | 4972k| 131.8 | 63M| 117 | 140 | 400 |1149 | 400 | 601 | 0 | 964 |4510 |-8.541656e+01 |-3.300000e+01 | 158.84%
1409.16/1409.43 c 1409s| 37800 | 37801 | 4989k| 131.9 | 63M| 117 | 101 | 400 |1153 | 400 | 601 | 0 | 970 |4512 |-8.541639e+01 |-3.300000e+01 | 158.84%
1411.36/1411.66 c 1412s| 37900 | 37901 | 4998k| 131.8 | 63M| 117 | 233 | 400 |1153 | 400 | 601 | 0 | 970 |4515 |-8.540646e+01 |-3.300000e+01 | 158.81%
1413.95/1414.26 c 1414s| 38000 | 38001 | 5012k| 131.8 | 63M| 117 | 146 | 400 |1152 | 400 | 601 | 0 | 970 |4532 |-8.540091e+01 |-3.300000e+01 | 158.79%
1416.15/1416.41 c 1416s| 38100 | 38101 | 5022k| 131.7 | 63M| 117 | 107 | 400 |1149 | 400 | 601 | 0 | 970 |4532 |-8.539900e+01 |-3.300000e+01 | 158.78%
1418.66/1418.97 c 1419s| 38200 | 38201 | 5034k| 131.7 | 64M| 117 | 246 | 400 |1155 | 400 | 601 | 0 | 977 |4547 |-8.539111e+01 |-3.300000e+01 | 158.76%
1421.45/1421.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.45/1421.73 c 1422s| 38300 | 38301 | 5045k| 131.6 | 64M| 117 | 148 | 400 |1154 | 400 | 601 | 0 | 977 |4563 |-8.539014e+01 |-3.300000e+01 | 158.76%
1424.26/1424.54 c 1425s| 38400 | 38401 | 5057k| 131.6 | 64M| 117 | 94 | 400 |1152 | 400 | 601 | 0 | 977 |4572 |-8.538900e+01 |-3.300000e+01 | 158.75%
1426.55/1426.88 c 1427s| 38500 | 38501 | 5069k| 131.6 | 64M| 117 | 236 | 400 |1156 | 400 | 601 | 0 | 984 |4573 |-8.537513e+01 |-3.300000e+01 | 158.71%
1428.85/1429.15 c 1429s| 38600 | 38601 | 5080k| 131.5 | 64M| 117 | 163 | 400 |1154 | 400 | 601 | 0 | 984 |4573 |-8.537015e+01 |-3.300000e+01 | 158.70%
1431.15/1431.46 c 1431s| 38700 | 38701 | 5091k| 131.5 | 64M| 117 | 108 | 400 |1154 | 400 | 601 | 0 | 984 |4574 |-8.536667e+01 |-3.300000e+01 | 158.69%
1433.55/1433.88 c 1434s| 38800 | 38801 | 5102k| 131.4 | 64M| 117 | 214 | 400 |1146 | 400 | 601 | 0 | 984 |4574 |-8.535854e+01 |-3.300000e+01 | 158.66%
1435.85/1436.11 c 1436s| 38900 | 38901 | 5112k| 131.3 | 64M| 117 | 151 | 400 |1148 | 400 | 601 | 0 | 988 |4574 |-8.535613e+01 |-3.300000e+01 | 158.65%
1438.65/1438.98 c 1439s| 39000 | 39001 | 5123k| 131.3 | 65M| 117 | 106 | 400 |1147 | 400 | 601 | 0 | 988 |4593 |-8.534330e+01 |-3.300000e+01 | 158.62%
1440.85/1441.18 c 1441s| 39100 | 39101 | 5132k| 131.2 | 65M| 117 | 226 | 400 |1145 | 400 | 601 | 0 | 988 |4593 |-8.534267e+01 |-3.300000e+01 | 158.61%
1443.35/1443.65 c 1444s| 39200 | 39201 | 5144k| 131.1 | 65M| 117 | 144 | 400 |1143 | 400 | 601 | 0 | 988 |4604 |-8.532551e+01 |-3.300000e+01 | 158.56%
1445.75/1446.06 c 1446s| 39300 | 39301 | 5157k| 131.1 | 65M| 117 | 103 | 400 |1166 | 400 | 601 | 0 |1012 |4614 |-8.532501e+01 |-3.300000e+01 | 158.56%
1448.25/1448.51 c 1449s| 39400 | 39401 | 5170k| 131.2 | 65M| 117 | 229 | 400 |1206 | 400 | 601 | 0 |1055 |4614 |-8.531116e+01 |-3.300000e+01 | 158.52%
1450.65/1450.99 c 1451s| 39500 | 39501 | 5184k| 131.2 | 65M| 117 | 120 | 400 |1215 | 400 | 601 | 0 |1068 |4614 |-8.530534e+01 |-3.300000e+01 | 158.50%
1453.15/1453.41 c 1453s| 39600 | 39601 | 5196k| 131.1 | 65M| 117 | 98 | 400 |1223 | 400 | 601 | 0 |1079 |4617 |-8.530271e+01 |-3.300000e+01 | 158.49%
1455.25/1455.58 c 1456s| 39700 | 39701 | 5206k| 131.1 | 65M| 117 | 237 | 400 |1219 | 400 | 601 | 0 |1079 |4617 |-8.530098e+01 |-3.300000e+01 | 158.49%
1457.65/1457.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.65/1457.92 c 1458s| 39800 | 39801 | 5218k| 131.0 | 66M| 117 | 161 | 400 |1215 | 400 | 601 | 0 |1079 |4617 |-8.529913e+01 |-3.300000e+01 | 158.48%
1459.95/1460.29 c 1460s| 39900 | 39901 | 5230k| 131.0 | 66M| 117 | 86 | 400 |1213 | 400 | 601 | 0 |1079 |4632 |-8.529217e+01 |-3.300000e+01 | 158.46%
1463.05/1463.36 c 1463s| 40000 | 40001 | 5242k| 131.0 | 66M| 117 | 227 | 400 |1231 | 400 | 601 | 0 |1099 |4654 |-8.529206e+01 |-3.300000e+01 | 158.46%
1465.44/1465.79 c 1466s| 40100 | 40101 | 5253k| 130.9 | 66M| 117 | 136 | 400 |1227 | 400 | 601 | 0 |1099 |4661 |-8.529116e+01 |-3.300000e+01 | 158.46%
1468.05/1468.35 c 1468s| 40200 | 40201 | 5265k| 130.9 | 66M| 117 | 81 | 400 |1222 | 400 | 601 | 0 |1099 |4669 |-8.528550e+01 |-3.300000e+01 | 158.44%
1470.85/1471.12 c 1471s| 40300 | 40301 | 5277k| 130.9 | 66M| 117 | 245 | 400 |1222 | 400 | 601 | 0 |1099 |4673 |-8.527695e+01 |-3.300000e+01 | 158.41%
1473.04/1473.32 c 1473s| 40400 | 40401 | 5288k| 130.8 | 66M| 117 | 160 | 400 |1223 | 400 | 601 | 0 |1105 |4673 |-8.527603e+01 |-3.300000e+01 | 158.41%
1475.25/1475.56 c 1476s| 40500 | 40501 | 5299k| 130.8 | 66M| 117 | 100 | 400 |1222 | 400 | 601 | 0 |1105 |4673 |-8.527490e+01 |-3.300000e+01 | 158.41%
1477.55/1477.83 c 1478s| 40600 | 40601 | 5310k| 130.7 | 67M| 117 | 239 | 400 |1219 | 400 | 601 | 0 |1105 |4673 |-8.527295e+01 |-3.300000e+01 | 158.40%
1479.94/1480.25 c 1480s| 40700 | 40701 | 5322k| 130.7 | 67M| 117 | 146 | 400 |1219 | 400 | 601 | 0 |1105 |4674 |-8.527069e+01 |-3.300000e+01 | 158.40%
1482.74/1483.05 c 1483s| 40800 | 40801 | 5334k| 130.7 | 67M| 117 | 102 | 400 |1216 | 400 | 601 | 0 |1108 |4696 |-8.525662e+01 |-3.300000e+01 | 158.35%
1485.14/1485.48 c 1485s| 40900 | 40901 | 5346k| 130.6 | 67M| 117 | 238 | 400 |1215 | 400 | 601 | 0 |1108 |4696 |-8.524585e+01 |-3.300000e+01 | 158.32%
1487.94/1488.27 c 1488s| 41000 | 41001 | 5357k| 130.6 | 67M| 117 | 151 | 400 |1211 | 400 | 601 | 0 |1108 |4710 |-8.523999e+01 |-3.300000e+01 | 158.30%
1490.64/1490.98 c 1491s| 41100 | 41101 | 5371k| 130.6 | 67M| 117 | 123 | 400 |1217 | 400 | 601 | 0 |1114 |4720 |-8.523742e+01 |-3.300000e+01 | 158.30%
1493.45/1493.75 c 1494s| 41200 | 41201 | 5386k| 130.7 | 67M| 117 | 210 | 400 |1216 | 400 | 601 | 0 |1114 |4727 |-8.523531e+01 |-3.300000e+01 | 158.29%
1495.84/1496.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.84/1496.10 c 1496s| 41300 | 41301 | 5397k| 130.6 | 67M| 117 | 125 | 400 |1212 | 400 | 601 | 0 |1114 |4731 |-8.523409e+01 |-3.300000e+01 | 158.29%
1497.94/1498.24 c 1498s| 41400 | 41401 | 5408k| 130.6 | 68M| 117 | 93 | 400 |1218 | 400 | 601 | 0 |1121 |4731 |-8.523077e+01 |-3.300000e+01 | 158.28%
1500.14/1500.42 c 1500s| 41500 | 41501 | 5419k| 130.5 | 68M| 117 | 224 | 400 |1213 | 400 | 601 | 0 |1121 |4731 |-8.522686e+01 |-3.300000e+01 | 158.26%
1502.34/1502.62 c 1503s| 41600 | 41601 | 5430k| 130.5 | 68M| 117 | 128 | 400 |1210 | 400 | 601 | 0 |1121 |4731 |-8.522306e+01 |-3.300000e+01 | 158.25%
1504.74/1505.01 c 1505s| 41700 | 41701 | 5441k| 130.4 | 68M| 117 | 104 | 400 |1206 | 400 | 601 | 0 |1121 |4734 |-8.521765e+01 |-3.300000e+01 | 158.24%
1507.14/1507.46 c 1507s| 41800 | 41801 | 5453k| 130.4 | 68M| 117 | 247 | 400 |1228 | 400 | 601 | 0 |1144 |4747 |-8.521409e+01 |-3.300000e+01 | 158.22%
1510.74/1511.06 c 1511s| 41900 | 41901 | 5465k| 130.4 | 68M| 117 | 136 | 400 |1239 | 400 | 601 | 0 |1157 |4771 |-8.520884e+01 |-3.300000e+01 | 158.21%
1512.94/1513.29 c 1513s| 42000 | 42001 | 5476k| 130.3 | 68M| 117 | 96 | 400 |1245 | 400 | 601 | 0 |1165 |4771 |-8.520805e+01 |-3.300000e+01 | 158.21%
1515.24/1515.57 c 1516s| 42100 | 42101 | 5488k| 130.3 | 68M| 117 | 196 | 400 |1238 | 400 | 601 | 0 |1165 |4771 |-8.520296e+01 |-3.300000e+01 | 158.19%
1517.94/1518.20 c 1518s| 42200 | 42201 | 5499k| 130.2 | 69M| 117 | 150 | 400 |1235 | 400 | 601 | 0 |1165 |4788 |-8.518923e+01 |-3.300000e+01 | 158.15%
1520.24/1520.56 c 1521s| 42300 | 42301 | 5510k| 130.2 | 69M| 117 | 108 | 400 |1233 | 400 | 601 | 0 |1165 |4792 |-8.518418e+01 |-3.300000e+01 | 158.13%
1522.63/1522.98 c 1523s| 42400 | 42401 | 5523k| 130.2 | 69M| 117 | 222 | 400 |1270 | 400 | 601 | 0 |1202 |4792 |-8.517715e+01 |-3.300000e+01 | 158.11%
1525.23/1525.54 c 1526s| 42500 | 42501 | 5536k| 130.2 | 69M| 117 | 132 | 400 |1286 | 400 | 601 | 0 |1220 |4796 |-8.517284e+01 |-3.300000e+01 | 158.10%
1527.83/1528.14 c 1528s| 42600 | 42601 | 5552k| 130.3 | 69M| 117 | 91 | 400 |1297 | 400 | 601 | 0 |1233 |4796 |-8.517063e+01 |-3.300000e+01 | 158.09%
1530.43/1530.70 c 1531s| 42700 | 42701 | 5566k| 130.3 | 69M| 117 | 227 | 400 |1321 | 400 | 601 | 0 |1258 |4796 |-8.516555e+01 |-3.300000e+01 | 158.08%
1532.74/1533.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.74/1533.09 c 1533s| 42800 | 42801 | 5578k| 130.3 | 69M| 117 | 139 | 400 |1340 | 400 | 601 | 0 |1277 |4797 |-8.516017e+01 |-3.300000e+01 | 158.06%
1535.04/1535.34 c 1535s| 42900 | 42901 | 5589k| 130.2 | 69M| 117 | 100 | 400 |1340 | 400 | 601 | 0 |1277 |4820 |-8.515609e+01 |-3.300000e+01 | 158.05%
1537.54/1537.85 c 1538s| 43000 | 43001 | 5602k| 130.2 | 70M| 117 | 237 | 400 |1346 | 400 | 601 | 0 |1286 |4820 |-8.515506e+01 |-3.300000e+01 | 158.05%
1539.74/1540.03 c 1540s| 43100 | 43101 | 5611k| 130.1 | 70M| 117 | 167 | 400 |1348 | 400 | 601 | 0 |1289 |4841 |-8.514907e+01 |-3.300000e+01 | 158.03%
1542.13/1542.41 c 1542s| 43200 | 43201 | 5623k| 130.1 | 70M| 117 | 103 | 400 |1349 | 400 | 601 | 0 |1293 |4845 |-8.514425e+01 |-3.300000e+01 | 158.01%
1545.63/1545.95 c 1546s| 43300 | 43301 | 5637k| 130.1 | 70M| 117 | 229 | 400 |1358 | 400 | 601 | 0 |1305 |4863 |-8.514180e+01 |-3.300000e+01 | 158.01%
1547.83/1548.18 c 1548s| 43400 | 43401 | 5647k| 130.1 | 70M| 117 | 129 | 400 |1362 | 400 | 601 | 0 |1310 |4865 |-8.513588e+01 |-3.300000e+01 | 157.99%
1550.13/1550.44 c 1550s| 43500 | 43501 | 5659k| 130.0 | 70M| 117 | 95 | 400 |1357 | 400 | 601 | 0 |1311 |4865 |-8.513427e+01 |-3.300000e+01 | 157.98%
1552.63/1552.94 c 1553s| 43600 | 43601 | 5671k| 130.0 | 70M| 117 | 231 | 400 |1354 | 400 | 601 | 0 |1311 |4865 |-8.512762e+01 |-3.300000e+01 | 157.96%
1554.93/1555.22 c 1555s| 43700 | 43701 | 5681k| 129.9 | 70M| 117 | 163 | 400 |1356 | 400 | 601 | 0 |1314 |4865 |-8.512665e+01 |-3.300000e+01 | 157.96%
1557.53/1557.81 c 1558s| 43800 | 43801 | 5694k| 129.9 | 71M| 117 | 103 | 400 |1351 | 400 | 601 | 0 |1314 |4866 |-8.512354e+01 |-3.300000e+01 | 157.95%
1559.93/1560.22 c 1560s| 43900 | 43901 | 5705k| 129.9 | 71M| 117 | 241 | 400 |1344 | 400 | 601 | 0 |1314 |4866 |-8.511445e+01 |-3.300000e+01 | 157.92%
1562.43/1562.75 c 1563s| 44000 | 44001 | 5715k| 129.8 | 71M| 117 | 171 | 400 |1342 | 400 | 601 | 0 |1314 |4886 |-8.510847e+01 |-3.300000e+01 | 157.90%
1564.53/1564.87 c 1565s| 44100 | 44101 | 5726k| 129.8 | 71M| 117 | 91 | 400 |1346 | 400 | 601 | 0 |1324 |4886 |-8.510776e+01 |-3.300000e+01 | 157.90%
1567.43/1567.74 c 1568s| 44200 | 44201 | 5738k| 129.7 | 71M| 117 | 224 | 400 |1345 | 400 | 601 | 0 |1324 |4907 |-8.510479e+01 |-3.300000e+01 | 157.89%
1570.02/1570.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.02/1570.37 c 1570s| 44300 | 44301 | 5752k| 129.8 | 71M| 117 | 128 | 400 |1342 | 400 | 601 | 0 |1324 |4913 |-8.510225e+01 |-3.300000e+01 | 157.89%
1572.73/1573.04 c 1573s| 44400 | 44401 | 5762k| 129.7 | 71M| 117 | 115 | 400 |1338 | 400 | 601 | 0 |1324 |4923 |-8.509957e+01 |-3.300000e+01 | 157.88%
1575.53/1575.89 c 1576s| 44500 | 44501 | 5776k| 129.7 | 71M| 117 | 240 | 400 |1334 | 400 | 601 | 0 |1329 |4929 |-8.509725e+01 |-3.300000e+01 | 157.87%
1577.73/1578.08 c 1578s| 44600 | 44601 | 5787k| 129.7 | 72M| 117 | 166 | 400 |1330 | 400 | 601 | 0 |1329 |4929 |-8.509383e+01 |-3.300000e+01 | 157.86%
1579.92/1580.29 c 1580s| 44700 | 44701 | 5797k| 129.6 | 72M| 117 | 78 | 400 |1329 | 400 | 601 | 0 |1329 |4929 |-8.509325e+01 |-3.300000e+01 | 157.86%
1582.32/1582.61 c 1583s| 44800 | 44801 | 5810k| 129.6 | 72M| 117 | 202 | 400 |1334 | 400 | 601 | 0 |1336 |4929 |-8.509014e+01 |-3.300000e+01 | 157.85%
1584.73/1585.10 c 1585s| 44900 | 44901 | 5823k| 129.6 | 72M| 117 | 133 | 400 |1328 | 400 | 601 | 0 |1336 |4929 |-8.508541e+01 |-3.300000e+01 | 157.83%
1586.93/1587.30 c 1587s| 45000 | 45001 | 5835k| 129.6 | 72M| 117 | 112 | 400 |1329 | 400 | 601 | 0 |1340 |4929 |-8.507580e+01 |-3.300000e+01 | 157.81%
1589.62/1589.91 c 1590s| 45100 | 45101 | 5847k| 129.6 | 72M| 117 | 214 | 400 |1323 | 400 | 601 | 0 |1340 |4944 |-8.507380e+01 |-3.300000e+01 | 157.80%
1592.03/1592.35 c 1592s| 45200 | 45201 | 5858k| 129.5 | 72M| 117 | 162 | 400 |1320 | 400 | 601 | 0 |1340 |4954 |-8.507187e+01 |-3.300000e+01 | 157.79%
1595.33/1595.68 c 1596s| 45300 | 45301 | 5876k| 129.6 | 72M| 117 | 120 | 400 |1322 | 400 | 601 | 0 |1346 |4979 |-8.507163e+01 |-3.300000e+01 | 157.79%
1597.62/1597.95 c 1598s| 45400 | 45401 | 5888k| 129.6 | 73M| 117 | 213 | 400 |1316 | 400 | 601 | 0 |1346 |4979 |-8.506762e+01 |-3.300000e+01 | 157.78%
1600.32/1600.64 c 1601s| 45500 | 45501 | 5900k| 129.6 | 73M| 117 | 137 | 400 |1312 | 400 | 601 | 0 |1346 |4986 |-8.506298e+01 |-3.300000e+01 | 157.77%
1602.43/1602.76 c 1603s| 45600 | 45601 | 5911k| 129.6 | 73M| 117 | 101 | 400 |1311 | 400 | 601 | 0 |1346 |4987 |-8.506102e+01 |-3.300000e+01 | 157.76%
1604.92/1605.21 c 1605s| 45700 | 45701 | 5923k| 129.5 | 73M| 117 | 203 | 400 |1314 | 400 | 601 | 0 |1352 |4987 |-8.505806e+01 |-3.300000e+01 | 157.75%
1607.22/1607.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.22/1607.58 c 1608s| 45800 | 45801 | 5936k| 129.5 | 73M| 117 | 135 | 400 |1311 | 400 | 601 | 0 |1352 |4987 |-8.505336e+01 |-3.300000e+01 | 157.74%
1609.32/1609.68 c 1610s| 45900 | 45901 | 5946k| 129.5 | 73M| 117 | 82 | 400 |1308 | 400 | 601 | 0 |1352 |4987 |-8.505158e+01 |-3.300000e+01 | 157.73%
1611.72/1612.07 c 1612s| 46000 | 46001 | 5957k| 129.4 | 73M| 117 | 214 | 400 |1312 | 400 | 601 | 0 |1359 |4991 |-8.504860e+01 |-3.300000e+01 | 157.72%
1614.12/1614.48 c 1614s| 46100 | 46101 | 5969k| 129.4 | 73M| 117 | 122 | 400 |1312 | 400 | 601 | 0 |1359 |5000 |-8.504587e+01 |-3.300000e+01 | 157.71%
1616.53/1616.83 c 1617s| 46200 | 46201 | 5982k| 129.4 | 74M| 117 | 77 | 400 |1327 | 400 | 601 | 0 |1380 |5010 |-8.504435e+01 |-3.300000e+01 | 157.71%
1619.52/1619.80 c 1620s| 46300 | 46301 | 5993k| 129.4 | 74M| 117 | 215 | 400 |1340 | 400 | 601 | 0 |1396 |5031 |-8.504425e+01 |-3.300000e+01 | 157.71%
1621.72/1622.00 c 1622s| 46400 | 46401 | 6004k| 129.3 | 74M| 117 | 142 | 400 |1340 | 400 | 601 | 0 |1396 |5031 |-8.504059e+01 |-3.300000e+01 | 157.70%
1624.52/1624.84 c 1625s| 46500 | 46501 | 6016k| 129.3 | 74M| 117 | 106 | 400 |1339 | 400 | 601 | 0 |1396 |5042 |-8.503652e+01 |-3.300000e+01 | 157.69%
1626.92/1627.26 c 1627s| 46600 | 46601 | 6026k| 129.3 | 74M| 117 | 240 | 400 |1340 | 400 | 601 | 0 |1402 |5051 |-8.503204e+01 |-3.300000e+01 | 157.67%
1629.22/1629.50 c 1629s| 46700 | 46701 | 6037k| 129.2 | 74M| 117 | 143 | 400 |1337 | 400 | 601 | 0 |1403 |5051 |-8.502966e+01 |-3.300000e+01 | 157.67%
1631.42/1631.71 c 1632s| 46800 | 46801 | 6049k| 129.2 | 74M| 117 | 84 | 400 |1332 | 400 | 601 | 0 |1403 |5051 |-8.502698e+01 |-3.300000e+01 | 157.66%
1633.62/1633.96 c 1634s| 46900 | 46901 | 6059k| 129.1 | 74M| 117 | 194 | 400 |1328 | 400 | 601 | 0 |1403 |5051 |-8.502105e+01 |-3.300000e+01 | 157.64%
1636.11/1636.49 c 1636s| 47000 | 47001 | 6072k| 129.1 | 75M| 117 | 167 | 400 |1336 | 400 | 601 | 0 |1411 |5051 |-8.501772e+01 |-3.300000e+01 | 157.63%
1638.51/1638.80 c 1639s| 47100 | 47101 | 6082k| 129.1 | 75M| 117 | 116 | 400 |1335 | 400 | 601 | 0 |1411 |5051 |-8.501187e+01 |-3.300000e+01 | 157.61%
1640.92/1641.21 c 1641s| 47200 | 47201 | 6093k| 129.0 | 75M| 117 | 226 | 400 |1334 | 400 | 601 | 0 |1411 |5052 |-8.501148e+01 |-3.300000e+01 | 157.61%
1643.22/1643.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.22/1643.53 c 1644s| 47300 | 47301 | 6106k| 129.0 | 75M| 117 | 145 | 400 |1331 | 400 | 601 | 0 |1411 |5063 |-8.500953e+01 |-3.300000e+01 | 157.60%
1645.41/1645.73 c 1646s| 47400 | 47401 | 6115k| 128.9 | 75M| 117 | 97 | 400 |1335 | 400 | 601 | 0 |1415 |5072 |-8.500760e+01 |-3.300000e+01 | 157.60%
1648.02/1648.38 c 1648s| 47500 | 47501 | 6125k| 128.9 | 75M| 117 | 213 | 400 |1333 | 400 | 601 | 0 |1415 |5081 |-8.500431e+01 |-3.300000e+01 | 157.59%
1650.22/1650.54 c 1651s| 47600 | 47601 | 6134k| 128.8 | 75M| 117 | 157 | 400 |1330 | 400 | 601 | 0 |1415 |5091 |-8.500193e+01 |-3.300000e+01 | 157.58%
1652.82/1653.19 c 1653s| 47700 | 47701 | 6145k| 128.8 | 75M| 117 | 97 | 400 |1334 | 400 | 601 | 0 |1422 |5101 |-8.500013e+01 |-3.300000e+01 | 157.58%
1656.12/1656.42 c 1656s| 47800 | 47801 | 6159k| 128.8 | 76M| 117 | 231 | 400 |1329 | 400 | 601 | 0 |1422 |5112 |-8.499942e+01 |-3.300000e+01 | 157.57%
1658.52/1658.86 c 1659s| 47900 | 47901 | 6171k| 128.8 | 76M| 117 | 156 | 400 |1327 | 400 | 601 | 0 |1422 |5115 |-8.499090e+01 |-3.300000e+01 | 157.55%
1660.72/1661.09 c 1661s| 48000 | 48001 | 6183k| 128.7 | 76M| 117 | 120 | 400 |1329 | 400 | 601 | 0 |1431 |5115 |-8.498740e+01 |-3.300000e+01 | 157.54%
1663.31/1663.67 c 1664s| 48100 | 48101 | 6194k| 128.7 | 76M| 117 | 237 | 400 |1328 | 400 | 601 | 0 |1431 |5116 |-8.498304e+01 |-3.300000e+01 | 157.52%
1665.61/1665.98 c 1666s| 48200 | 48201 | 6206k| 128.7 | 76M| 117 | 130 | 400 |1328 | 400 | 601 | 0 |1431 |5118 |-8.498061e+01 |-3.300000e+01 | 157.52%
1667.72/1668.04 c 1668s| 48300 | 48301 | 6217k| 128.6 | 76M| 117 | 92 | 400 |1333 | 400 | 601 | 0 |1439 |5118 |-8.498036e+01 |-3.300000e+01 | 157.52%
1670.31/1670.60 c 1671s| 48400 | 48401 | 6230k| 128.7 | 76M| 117 | 200 | 400 |1330 | 400 | 601 | 0 |1439 |5119 |-8.497814e+01 |-3.300000e+01 | 157.51%
1672.71/1673.05 c 1673s| 48500 | 48501 | 6240k| 128.6 | 76M| 117 | 154 | 400 |1324 | 400 | 601 | 0 |1439 |5136 |-8.497459e+01 |-3.300000e+01 | 157.50%
1674.81/1675.14 c 1675s| 48600 | 48601 | 6252k| 128.6 | 77M| 117 | 98 | 400 |1328 | 400 | 601 | 0 |1444 |5142 |-8.497275e+01 |-3.300000e+01 | 157.49%
1677.41/1677.72 c 1678s| 48700 | 48701 | 6264k| 128.6 | 77M| 117 | 219 | 400 |1325 | 400 | 601 | 0 |1444 |5159 |-8.496955e+01 |-3.300000e+01 | 157.48%
1679.71/1680.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.71/1680.01 c 1680s| 48800 | 48801 | 6275k| 128.5 | 77M| 117 | 135 | 400 |1320 | 400 | 601 | 0 |1444 |5163 |-8.496652e+01 |-3.300000e+01 | 157.47%
1682.11/1682.41 c 1682s| 48900 | 48901 | 6286k| 128.5 | 77M| 117 | 93 | 400 |1326 | 400 | 601 | 0 |1453 |5173 |-8.496409e+01 |-3.300000e+01 | 157.47%
1684.41/1684.76 c 1685s| 49000 | 49001 | 6297k| 128.4 | 77M| 117 | 203 | 400 |1321 | 400 | 601 | 0 |1453 |5179 |-8.496301e+01 |-3.300000e+01 | 157.46%
1686.61/1686.98 c 1687s| 49100 | 49101 | 6308k| 128.4 | 77M| 117 | 145 | 400 |1317 | 400 | 601 | 0 |1453 |5179 |-8.496123e+01 |-3.300000e+01 | 157.46%
1688.91/1689.26 c 1689s| 49200 | 49201 | 6321k| 128.4 | 77M| 117 | 90 | 400 |1312 | 400 | 601 | 0 |1453 |5179 |-8.496064e+01 |-3.300000e+01 | 157.46%
1691.21/1691.56 c 1692s| 49300 | 49301 | 6332k| 128.4 | 77M| 117 | 239 | 400 |1309 | 400 | 601 | 0 |1453 |5181 |-8.495708e+01 |-3.300000e+01 | 157.45%
1693.91/1694.22 c 1694s| 49400 | 49401 | 6344k| 128.4 | 77M| 117 | 138 | 400 |1311 | 400 | 601 | 0 |1460 |5187 |-8.495447e+01 |-3.300000e+01 | 157.44%
1696.21/1696.54 c 1697s| 49500 | 49501 | 6357k| 128.4 | 78M| 117 | 110 | 400 |1345 | 400 | 601 | 0 |1496 |5187 |-8.495219e+01 |-3.300000e+01 | 157.43%
1698.51/1698.86 c 1699s| 49600 | 49601 | 6369k| 128.3 | 78M| 117 | 239 | 400 |1349 | 400 | 601 | 0 |1504 |5188 |-8.495062e+01 |-3.300000e+01 | 157.43%
1700.80/1701.12 c 1701s| 49700 | 49701 | 6382k| 128.4 | 78M| 117 | 136 | 400 |1345 | 400 | 601 | 0 |1504 |5198 |-8.494552e+01 |-3.300000e+01 | 157.41%
1703.01/1703.35 c 1703s| 49800 | 49801 | 6393k| 128.3 | 78M| 117 | 113 | 400 |1337 | 400 | 601 | 0 |1504 |5213 |-8.494227e+01 |-3.300000e+01 | 157.40%
1705.61/1705.97 c 1706s| 49900 | 49901 | 6404k| 128.3 | 78M| 117 | 232 | 400 |1333 | 400 | 601 | 0 |1504 |5228 |-8.493788e+01 |-3.300000e+01 | 157.39%
1708.11/1708.42 c 1708s| 50000 | 50001 | 6419k| 128.3 | 78M| 117 | 137 | 400 |1334 | 400 | 601 | 0 |1507 |5233 |-8.493649e+01 |-3.300000e+01 | 157.38%
1710.70/1711.00 c 1711s| 50100 | 50101 | 6430k| 128.3 | 78M| 117 | 78 | 400 |1336 | 400 | 601 | 0 |1512 |5243 |-8.493379e+01 |-3.300000e+01 | 157.38%
1713.11/1713.41 c 1713s| 50200 | 50201 | 6442k| 128.3 | 78M| 117 | 236 | 400 |1333 | 400 | 601 | 0 |1512 |5246 |-8.493292e+01 |-3.300000e+01 | 157.37%
1715.61/1715.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.61/1715.93 c 1716s| 50300 | 50301 | 6453k| 128.2 | 79M| 117 | 131 | 400 |1330 | 400 | 601 | 0 |1512 |5248 |-8.492502e+01 |-3.300000e+01 | 157.35%
1717.71/1718.00 c 1718s| 50400 | 50401 | 6464k| 128.2 | 79M| 117 | 109 | 400 |1324 | 400 | 601 | 0 |1512 |5248 |-8.492199e+01 |-3.300000e+01 | 157.34%
1720.21/1720.57 c 1721s| 50500 | 50501 | 6478k| 128.2 | 79M| 117 | 199 | 400 |1328 | 400 | 601 | 0 |1519 |5248 |-8.492177e+01 |-3.300000e+01 | 157.34%
1722.31/1722.69 c 1723s| 50600 | 50601 | 6489k| 128.2 | 79M| 117 | 148 | 400 |1325 | 400 | 601 | 0 |1519 |5248 |-8.491444e+01 |-3.300000e+01 | 157.32%
1724.51/1724.82 c 1725s| 50700 | 50701 | 6499k| 128.1 | 79M| 117 | 112 | 400 |1325 | 400 | 601 | 0 |1519 |5248 |-8.491307e+01 |-3.300000e+01 | 157.31%
1727.10/1727.49 c 1727s| 50800 | 50801 | 6509k| 128.1 | 79M| 117 | 226 | 400 |1316 | 400 | 601 | 0 |1519 |5259 |-8.490841e+01 |-3.300000e+01 | 157.30%
1729.30/1729.68 c 1730s| 50900 | 50901 | 6519k| 128.0 | 79M| 117 | 156 | 400 |1319 | 400 | 601 | 0 |1524 |5260 |-8.490539e+01 |-3.300000e+01 | 157.29%
1732.00/1732.34 c 1732s| 51000 | 51001 | 6530k| 128.0 | 79M| 117 | 98 | 400 |1314 | 400 | 601 | 0 |1524 |5283 |-8.490258e+01 |-3.300000e+01 | 157.28%
1734.70/1735.06 c 1735s| 51100 | 51101 | 6546k| 128.0 | 80M| 117 | 232 | 400 |1311 | 400 | 601 | 0 |1524 |5285 |-8.489880e+01 |-3.300000e+01 | 157.27%
1737.30/1737.68 c 1738s| 51200 | 51201 | 6558k| 128.0 | 80M| 117 | 163 | 400 |1313 | 400 | 601 | 0 |1530 |5292 |-8.489594e+01 |-3.300000e+01 | 157.26%
1739.80/1740.18 c 1740s| 51300 | 51301 | 6570k| 128.0 | 80M| 117 | 108 | 400 |1311 | 400 | 601 | 0 |1530 |5292 |-8.489574e+01 |-3.300000e+01 | 157.26%
1742.20/1742.58 c 1743s| 51400 | 51401 | 6581k| 128.0 | 80M| 117 | 216 | 400 |1308 | 400 | 601 | 0 |1530 |5292 |-8.489339e+01 |-3.300000e+01 | 157.25%
1744.60/1744.91 c 1745s| 51500 | 51501 | 6592k| 127.9 | 80M| 117 | 166 | 400 |1308 | 400 | 601 | 0 |1534 |5294 |-8.489200e+01 |-3.300000e+01 | 157.25%
1746.70/1747.08 c 1747s| 51600 | 51601 | 6603k| 127.9 | 80M| 117 | 87 | 400 |1304 | 400 | 601 | 0 |1535 |5294 |-8.488805e+01 |-3.300000e+01 | 157.24%
1749.20/1749.51 c 1750s| 51700 | 51701 | 6616k| 127.9 | 80M| 117 | 215 | 400 |1299 | 400 | 601 | 0 |1535 |5294 |-8.488027e+01 |-3.300000e+01 | 157.21%
1751.70/1752.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.70/1752.02 c 1752s| 51800 | 51801 | 6628k| 127.9 | 80M| 117 | 152 | 400 |1296 | 400 | 601 | 0 |1535 |5295 |-8.487798e+01 |-3.300000e+01 | 157.21%
1754.20/1754.55 c 1755s| 51900 | 51901 | 6639k| 127.9 | 81M| 117 | 110 | 400 |1293 | 400 | 601 | 0 |1537 |5304 |-8.487680e+01 |-3.300000e+01 | 157.20%
1756.50/1756.80 c 1757s| 52000 | 52001 | 6650k| 127.8 | 81M| 117 | 213 | 400 |1291 | 400 | 601 | 0 |1537 |5317 |-8.487103e+01 |-3.300000e+01 | 157.18%
1758.80/1759.12 c 1759s| 52100 | 52101 | 6661k| 127.8 | 81M| 117 | 137 | 400 |1288 | 400 | 601 | 0 |1537 |5325 |-8.486786e+01 |-3.300000e+01 | 157.18%
1761.70/1762.06 c 1762s| 52200 | 52201 | 6672k| 127.8 | 81M| 117 | 97 | 400 |1288 | 400 | 601 | 0 |1541 |5341 |-8.486718e+01 |-3.300000e+01 | 157.17%
1763.79/1764.17 c 1764s| 52300 | 52301 | 6682k| 127.7 | 81M| 117 | 194 | 400 |1285 | 400 | 601 | 0 |1541 |5343 |-8.486160e+01 |-3.300000e+01 | 157.16%
1766.40/1766.72 c 1767s| 52400 | 52401 | 6693k| 127.7 | 81M| 117 | 156 | 400 |1283 | 400 | 601 | 0 |1541 |5353 |-8.485775e+01 |-3.300000e+01 | 157.14%
1768.40/1768.77 c 1769s| 52500 | 52501 | 6702k| 127.6 | 81M| 117 | 88 | 400 |1278 | 400 | 601 | 0 |1541 |5356 |-8.484941e+01 |-3.300000e+01 | 157.12%
1770.79/1771.15 c 1771s| 52600 | 52601 | 6715k| 127.6 | 81M| 117 | 199 | 400 |1270 | 400 | 601 | 0 |1541 |5361 |-8.484816e+01 |-3.300000e+01 | 157.12%
1772.99/1773.36 c 1773s| 52700 | 52701 | 6727k| 127.6 | 82M| 117 | 161 | 400 |1277 | 400 | 601 | 0 |1551 |5361 |-8.484717e+01 |-3.300000e+01 | 157.11%
1775.19/1775.53 c 1776s| 52800 | 52801 | 6740k| 127.6 | 82M| 117 | 105 | 400 |1270 | 400 | 601 | 0 |1551 |5361 |-8.484684e+01 |-3.300000e+01 | 157.11%
1777.69/1778.09 c 1778s| 52900 | 52901 | 6751k| 127.6 | 82M| 117 | 231 | 400 |1266 | 400 | 601 | 0 |1551 |5367 |-8.484402e+01 |-3.300000e+01 | 157.10%
1779.99/1780.30 c 1780s| 53000 | 53001 | 6762k| 127.5 | 82M| 117 | 169 | 400 |1269 | 400 | 601 | 0 |1556 |5367 |-8.483735e+01 |-3.300000e+01 | 157.08%
1781.89/1782.23 c 1782s| 53100 | 53101 | 6773k| 127.5 | 82M| 117 | 96 | 400 |1288 | 400 | 601 | 0 |1576 |5367 |-8.483666e+01 |-3.300000e+01 | 157.08%
1783.59/1783.95 c 1784s| 53200 | 53201 | 6781k| 127.4 | 82M| 117 | 210 | 400 |1285 | 400 | 601 | 0 |1576 |5367 |-8.482736e+01 |-3.300000e+01 | 157.05%
1785.49/1785.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1785.49/1785.86 c 1786s| 53300 | 53301 | 6791k| 127.4 | 82M| 117 | 134 | 400 |1282 | 400 | 601 | 0 |1576 |5375 |-8.482385e+01 |-3.300000e+01 | 157.04%
1787.99/1788.38 c 1788s| 53400 | 53401 | 6801k| 127.3 | 82M| 117 | 106 | 400 |1286 | 400 | 601 | 0 |1581 |5386 |-8.482126e+01 |-3.300000e+01 | 157.03%
1790.59/1790.93 c 1791s| 53500 | 53501 | 6812k| 127.3 | 83M| 117 | 234 | 400 |1282 | 400 | 601 | 0 |1581 |5394 |-8.481622e+01 |-3.300000e+01 | 157.02%
1793.09/1793.47 c 1793s| 53600 | 53601 | 6824k| 127.3 | 83M| 117 | 126 | 400 |1278 | 400 | 601 | 0 |1581 |5396 |-8.481255e+01 |-3.300000e+01 | 157.01%
1795.49/1795.81 c 1796s| 53700 | 53701 | 6837k| 127.3 | 83M| 117 | 123 | 400 |1276 | 400 | 601 | 0 |1581 |5396 |-8.481225e+01 |-3.300000e+01 | 157.01%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 53752
1796.68/1797.01 c Primal Bound : -3.30000000000000e+01 (675 solutions)
1796.68/1797.01 c Dual Bound : -8.48082284185815e+01
1796.68/1797.01 c Gap : 156.99 %
1796.68/1797.02 s SATISFIABLE
1796.68/1797.02 v -x383 -x316 -x245 -x260 -x248 -x378 x310 -x305 -x293 -x257 x230 -x355 x387 -x352 -x380 -x394 -x240 x393 -x385 -x376 x301 -x360
1796.68/1797.02 v -x290 -x297 -x350 -x209 -x338 -x259 -x218 -x306 -x334 -x323 -x348 -x231 x388 -x312 -x336 -x357 -x339 -x296 -x255 -x239 -x369
1796.68/1797.02 v -x286 -x299 -x329 -x373 -x330 -x232 -x311 -x226 -x256 -x358 -x372 -x284 -x322 x370 -x326 -x283 -x246 -x319 -x242 -x396 -x268
1796.68/1797.02 v -x252 -x346 -x222 -x308 -x204 -x364 -x356 -x331 -x318 -x292 -x262 -x258 -x241 -x397 -x270 -x237 -x313 -x210 -x351 -x371 -x207
1796.68/1797.02 v -x302 -x320 -x315 -x377 x344 -x353 -x379 -x219 -x392 -x203 -x395 x381 -x375 x300 -x213 -x235 x295 -x264 -x279 -x275 -x345 x291
1796.68/1797.02 v -x340 -x289 -x269 -x234 -x317 -x243 x390 -x228 x202 x398 -x363 x359 x349 -x337 -x333 -x307 -x303 -x298 -x288 x282 x251 -x247
1796.68/1797.02 v -x244 -x212 -x324 -x386 x354 -x389 -x223 x294 -x224 -x236 -x266 -x214 x254 -x272 -x341 -x362 -x400 -x309 -x285 -x328 -x347
1796.68/1797.02 v -x201 x391 x367 -x365 x361 -x343 x342 -x335 -x327 -x325 -x314 x304 -x281 -x278 x271 -x267 -x265 -x263 -x238 -x225 -x220 -x217
1796.68/1797.02 v -x216 -x208 -x205 -x368 -x253 x384 -x332 -x374 -x280 -x206 -x215 -x287 -x229 -x221 -x399 -x261 x249 -x227 -x382 -x274 x250
1796.68/1797.02 v -x321 x233 -x277 -x273 -x211 x366 -x276 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186
1796.68/1797.02 v x185 -x184 -x183 x182 -x181 -x180 -x179 x178 x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 x169 -x168 -x167 -x166 x165 x164
1796.68/1797.02 v x163 -x162 -x161 x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 x148 -x147 x146 x145 -x144 x143 -x142
1796.68/1797.02 v -x141 -x140 x139 -x138 -x137 x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120
1796.68/1797.02 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1796.68/1797.02 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 x87 -x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73
1796.68/1797.02 v -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48
1796.68/1797.02 v -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22
1796.68/1797.02 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Total Time : 1797.01
1796.68/1797.02 c solving : 1797.01
1796.68/1797.02 c presolving : 0.28 (included in solving)
1796.68/1797.02 c reading : 0.03 (included in solving)
1796.68/1797.02 c copying : 0.09 (12 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.68/1797.02 c Original Problem :
1796.68/1797.02 c Problem name : HOME/instance-3692585-1338037309.opb
1796.68/1797.02 c Variables : 6626 (400 binary, 0 integer, 6226 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 7227 initial, 7227 maximal
1796.68/1797.02 c Objective sense : minimize
1796.68/1797.02 c Presolved Problem :
1796.68/1797.02 c Problem name : t_HOME/instance-3692585-1338037309.opb
1796.68/1797.02 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 601 initial, 1363 maximal
1796.68/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c dualfix : 0.01 0.00 6226 0 0 0 0 0 0 0 0
1796.68/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c linear : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c pseudoboolean : 0.02 0.00 0 0 0 0 0 7026 400 0 0
1796.68/1797.02 c root node : - - 0 - - 0 - - - - -
1796.68/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c integral : 0 0 0 0 53750 0 681 0 0 0 0 0 107500
1796.68/1797.02 c knapsack : 400 400 1 485206 0 2 675 23807 126 475008 0 0 0
1796.68/1797.02 c setppc : 200 200 1 458240 0 2 674 1476 0 37690 0 0 0
1796.68/1797.02 c linear : 1 1 1 485078 0 0 674 42 313 0 0 0 0
1796.68/1797.02 c logicor : 0+ 762 0 60693 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c countsols : 0 0 0 0 0 2 679 0 0 0 0 0 0
1796.68/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.02 c integral : 180.46 0.00 0.00 0.00 180.46 0.00 0.00 0.00
1796.68/1797.02 c knapsack : 4.61 0.00 0.00 4.37 0.00 0.00 0.20 0.03
1796.68/1797.02 c setppc : 0.90 0.00 0.00 0.89 0.00 0.00 0.01 0.00
1796.68/1797.02 c linear : 0.84 0.00 0.00 0.83 0.00 0.00 0.01 0.00
1796.68/1797.02 c logicor : 0.26 0.00 0.00 0.26 0.00 0.00 0.00 0.00
1796.68/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.02 c rootredcost : 5 0 0 0
1796.68/1797.02 c pseudoobj : 538974 441 117 0
1796.68/1797.02 c vbounds : 0 0 0 0
1796.68/1797.02 c redcost : 53752 0 0 3
1796.68/1797.02 c probing : 0 0 0 0
1796.68/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.02 c rootredcost : 0.45 0.00 0.00 0.45 0.00
1796.68/1797.02 c pseudoobj : 0.81 0.00 0.00 0.80 0.01
1796.68/1797.02 c vbounds : 0.41 0.00 0.00 0.41 0.00
1796.68/1797.02 c redcost : 0.87 0.00 0.00 0.87 0.00
1796.68/1797.02 c probing : 0.01 0.00 0.01 0.00 0.00
1796.68/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.02 c propagation : 0.09 126 126 2048 141.1 0 0.0 -
1796.68/1797.02 c infeasible LP : 0.13 1665 1620 5133 37.7 0 0.0 0
1796.68/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c applied globally : - - - 1518 14.0 - - -
1796.68/1797.02 c applied locally : - - - 63 149.0 - - -
1796.68/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.68/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c impliedbounds : 0.00 0.00 1 0 0 0 0
1796.68/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c gomory : 0.02 0.00 1 0 0 0 0
1796.68/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c strongcg : 0.02 0.00 1 0 0 0 0
1796.68/1797.02 c cmir : 0.00 0.00 1 0 0 0 0
1796.68/1797.02 c flowcover : 0.00 0.00 1 0 0 0 0
1796.68/1797.02 c clique : 0.00 0.00 1 0 0 0 0
1796.68/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c rapidlearning : 0.91 0.00 1 0 0 0 0
1796.68/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.02 c problem variables: 0.00 - 0 0
1796.68/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c relpscost : 180.29 0.00 53750 0 0 0 0 107500
1796.68/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c inference : 0.00 0.00 2 0 0 0 0 4
1796.68/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.02 c LP solutions : 0.00 - - 0
1796.68/1797.02 c pseudo solutions : 0.00 - - 0
1796.68/1797.02 c intshifting : 0.00 0.00 0 0
1796.68/1797.02 c oneopt : 0.05 0.00 5 0
1796.68/1797.02 c crossover : 2.53 0.00 8 1
1796.68/1797.02 c pscostdiving : 73.95 0.00 826 0
1796.68/1797.02 c fracdiving : 58.90 0.00 826 3
1796.68/1797.02 c linesearchdiving : 40.69 0.00 826 0
1796.68/1797.02 c guideddiving : 38.44 0.00 826 0
1796.68/1797.02 c coefdiving : 91.71 0.00 827 1
1796.68/1797.02 c smallcard : 0.00 0.00 0 0
1796.68/1797.02 c trivial : 0.01 0.00 2 1
1796.68/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.02 c simplerounding : 0.05 0.00 0 0
1796.68/1797.02 c zirounding : 4.62 0.00 0 0
1796.68/1797.02 c rounding : 22.90 0.00 10772 1
1796.68/1797.02 c shifting : 18.92 0.00 5385 594
1796.68/1797.02 c twoopt : 0.00 0.00 0 0
1796.68/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.02 c indoneopt : 0.13 0.00 0 0
1796.68/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.02 c feaspump : 0.00 0.00 0 0
1796.68/1797.02 c clique : 0.00 0.00 0 0
1796.68/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.02 c indrounding : 0.00 0.00 0 0
1796.68/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.02 c veclendiving : 21.52 0.00 225 0
1796.68/1797.02 c intdiving : 0.00 0.00 0 0
1796.68/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.02 c objpscostdiving : 21.95 0.00 122 25
1796.68/1797.02 c rootsoldiving : 12.24 0.00 262 48
1796.68/1797.02 c octane : 0.00 0.00 0 0
1796.68/1797.02 c rens : 0.01 0.00 0 0
1796.68/1797.02 c rins : 0.00 0.00 0 0
1796.68/1797.02 c localbranching : 0.00 0.00 0 0
1796.68/1797.02 c mutation : 0.00 0.00 0 0
1796.68/1797.02 c dins : 0.00 0.00 0 0
1796.68/1797.02 c vbounds : 0.00 0.00 0 0
1796.68/1797.02 c undercover : 0.00 0.00 0 0
1796.68/1797.02 c subnlp : 0.05 0.00 0 0
1796.68/1797.02 c trysol : 0.09 0.00 0 0
1796.68/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.02 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.02 c dual LP : 1192.50 54138 5261910 97.89 4412.50 0.58 387
1796.68/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.02 c diving/probing LP: 314.28 352145 1581512 4.49 5032.24
1796.68/1797.02 c strong branching : 177.77 5396 210836 39.07 1185.98
1796.68/1797.02 c (at root node) : - 14 5976 426.86 -
1796.68/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.02 c B&B Tree :
1796.68/1797.02 c number of runs : 1
1796.68/1797.02 c nodes : 53752
1796.68/1797.02 c nodes (total) : 53752
1796.68/1797.02 c nodes left : 53753
1796.68/1797.02 c max depth : 117
1796.68/1797.02 c max depth (total): 117
1796.68/1797.02 c backtracks : 5201 (9.7%)
1796.68/1797.02 c delayed cutoffs : 0
1796.68/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.02 c avg switch length: 4.07
1796.68/1797.02 c switching time : 2.57
1796.68/1797.02 c Solution :
1796.68/1797.02 c Solutions found : 675 (7 improvements)
1796.68/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1796.68/1797.02 c Primal Bound : -3.30000000000000e+01 (in run 1, after 862 nodes, 154.30 seconds, depth 153, found by <fracdiving>)
1796.68/1797.02 c Dual Bound : -8.48082284185815e+01
1796.68/1797.02 c Gap : 156.99 %
1796.68/1797.02 c Root Dual Bound : -1.00000000000000e+02
1796.68/1797.02 c Root Iterations : 3622
1796.78/1797.11 c Time complete: 1796.8.
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-3692585-1338037309/watcher-3692585-1338037309 -o /tmp/evaluation-result-3692585-1338037309/solver-3692585-1338037309 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692585-1338037309.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.01 2.01 2.00 3/177 7388
/proc/meminfo: memFree=28554596/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=12888 CPUtime=0 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 1963 0 0 0 0 0 0 0 20 0 1 0 269855236 13197312 1917 33554432000 4194304 10219143 140735476213744 140733478173080 6206592 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 3222 1924 427 1471 0 1742 0
[startup+0.029504 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7388
/proc/meminfo: memFree=28554596/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=21160 CPUtime=0.02 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 4064 0 0 0 2 0 0 0 20 0 1 0 269855236 21667840 4018 33554432000 4194304 10219143 140735476213744 140733478173080 7593630 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 5290 4018 436 1471 0 3810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21160
[startup+0.100371 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7388
/proc/meminfo: memFree=28554596/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=39172 CPUtime=0.09 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 8609 0 0 0 7 2 0 0 20 0 1 0 269855236 40112128 8306 33554432000 4194304 10219143 140735476213744 140733478173080 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 9793 8306 566 1471 0 8313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39172
[startup+0.300254 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7388
/proc/meminfo: memFree=28554596/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=43176 CPUtime=0.29 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 9641 0 0 0 12 17 0 0 20 0 1 0 269855236 44212224 9338 33554432000 4194304 10219143 140735476213744 140733478173080 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 10794 9338 595 1471 0 9314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43176
[startup+0.700217 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7388
/proc/meminfo: memFree=28554596/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=48944 CPUtime=0.69 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 11329 0 0 0 51 18 0 0 20 0 1 0 269855236 50118656 10953 33554432000 4194304 10219143 140735476213744 140735476210104 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 12236 10953 773 1471 0 10756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48944
[startup+1.50024 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 7389
/proc/meminfo: memFree=28510832/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=64988 CPUtime=1.49 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 15727 0 0 0 125 24 0 0 20 0 1 0 269855236 66547712 14793 33554432000 4194304 10219143 140735476213744 140735476208680 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 16247 14793 830 1471 0 14767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64988
[startup+3.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 7389
/proc/meminfo: memFree=28511700/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=50700 CPUtime=3.09 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 17385 0 0 0 274 35 0 0 20 0 1 0 269855236 51916800 11570 33554432000 4194304 10219143 140735476213744 140735476206872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 12675 11570 854 1471 0 11195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50700
[startup+6.30023 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 7389
/proc/meminfo: memFree=28509716/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=50700 CPUtime=6.29 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 17392 0 0 0 593 36 0 0 20 0 1 0 269855236 51916800 11577 33554432000 4194304 10219143 140735476213744 140735476207240 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 12675 11577 855 1471 0 11195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50700
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 7389
/proc/meminfo: memFree=28508360/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=50700 CPUtime=12.69 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 17392 0 0 0 1232 37 0 0 20 0 1 0 269855236 51916800 11577 33554432000 4194304 10219143 140735476213744 140735476206920 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 12675 11577 855 1471 0 11195 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50700
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7389
/proc/meminfo: memFree=28507624/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=50700 CPUtime=25.49 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 17393 0 0 0 2509 40 0 0 20 0 1 0 269855236 51916800 11578 33554432000 4194304 10219143 140735476213744 140735476206872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 12675 11578 855 1471 0 11195 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50700
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=28504276/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=51724 CPUtime=51.08 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 17520 0 0 0 5062 46 0 0 20 0 1 0 269855236 52965376 11705 33554432000 4194304 10219143 140735476213744 140735476206872 8098704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 12931 11705 855 1471 0 11451 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51724
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=28494504/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=53888 CPUtime=102.28 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 20679 0 0 0 10159 69 0 0 20 0 1 0 269855236 55181312 12354 33554432000 4194304 10219143 140735476213744 140735476206392 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 13472 12354 856 1471 0 11992 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53888
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=28487768/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=52688 CPUtime=162.26 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 26867 0 0 0 16126 100 0 0 20 0 1 0 269855236 53952512 12314 33554432000 4194304 10219143 140735476213744 140735476206392 8099307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 13172 12314 856 1471 0 11692 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 52688
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=28476096/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=51916 CPUtime=222.25 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 39416 0 0 0 22086 139 0 0 20 0 1 0 269855236 53161984 12133 33554432000 4194304 10219143 140735476213744 140735476207464 8098920 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 12979 12133 859 1471 0 11499 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 51916
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=28465608/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=55220 CPUtime=282.23 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 47918 0 0 0 28048 175 0 0 20 0 1 0 269855236 56545280 12897 33554432000 4194304 10219143 140735476213744 140735476206680 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 13805 12897 863 1471 0 12325 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 55220
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 7391
/proc/meminfo: memFree=28451968/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=57520 CPUtime=342.23 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 52096 0 0 0 34000 223 0 0 20 0 1 0 269855236 58900480 13491 33554432000 4194304 10219143 140735476213744 140735476207000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 14380 13491 865 1471 0 12900 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 57520
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7391
/proc/meminfo: memFree=28439916/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=59696 CPUtime=402.22 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 52663 0 0 0 39954 268 0 0 20 0 1 0 269855236 61128704 14058 33554432000 4194304 10219143 140735476213744 140735476206920 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 14924 14058 865 1471 0 13444 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 59696
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 7391
/proc/meminfo: memFree=28433340/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=60344 CPUtime=462.21 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 52807 0 0 0 45906 315 0 0 20 0 1 0 269855236 61792256 14200 33554432000 4194304 10219143 140735476213744 140735476207048 8098746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 15086 14200 865 1471 0 13606 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 60344
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 7394
/proc/meminfo: memFree=28418576/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=62816 CPUtime=522.2 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 56325 0 0 0 51860 360 0 0 20 0 1 0 269855236 64323584 14891 33554432000 4194304 10219143 140735476213744 140735476207032 8098746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 15704 14891 865 1471 0 14224 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 62816
[startup+582.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 7394
/proc/meminfo: memFree=28409692/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=64360 CPUtime=582.19 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 56670 0 0 0 57809 410 0 0 20 0 1 0 269855236 65904640 15236 33554432000 4194304 10219143 140735476213744 140735476207000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 16090 15236 865 1471 0 14610 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 64360
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28598048/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=82988 CPUtime=1062.11 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 64209 0 0 0 105358 853 0 0 20 0 1 0 269855236 84979712 19977 33554432000 4194304 10219143 140735476213744 140735476206728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 20747 19977 865 1471 0 19267 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 82988
[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 7589
/proc/meminfo: memFree=28579052/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=101996 CPUtime=1122.1 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 68676 0 0 0 111277 933 0 0 20 0 1 0 269855236 104443904 24444 33554432000 4194304 10219143 140735476213744 140735476206328 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 25499 24444 866 1471 0 24019 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 101996
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 7589
/proc/meminfo: memFree=28576684/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=101996 CPUtime=1182.09 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 68682 0 0 0 117220 989 0 0 20 0 1 0 269855236 104443904 24764 33554432000 4194304 10219143 140735476213744 140735476207384 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 25499 24764 866 1471 0 24019 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 101996
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7589
/proc/meminfo: memFree=28575008/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=101996 CPUtime=1242.08 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 68686 0 0 0 123168 1040 0 0 20 0 1 0 269855236 104443904 24768 33554432000 4194304 10219143 140735476213744 140735476206872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 25499 24768 866 1471 0 24019 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 101996
[startup+1302.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 7590
/proc/meminfo: memFree=28574264/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=101996 CPUtime=1302.08 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 68690 0 0 0 129113 1095 0 0 20 0 1 0 269855236 104443904 24772 33554432000 4194304 10219143 140735476213744 140735476206664 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 25499 24772 866 1471 0 24019 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 101996
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 7590
/proc/meminfo: memFree=28570668/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=102432 CPUtime=1362.06 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 68732 0 0 0 135057 1149 0 0 20 0 1 0 269855236 104890368 24814 33554432000 4194304 10219143 140735476213744 140735476206328 8099218 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 25608 24814 866 1471 0 24128 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 102432
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 7590
/proc/meminfo: memFree=28568376/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=104696 CPUtime=1422.06 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 69382 0 0 0 141002 1204 0 0 20 0 1 0 269855236 107208704 25463 33554432000 4194304 10219143 140735476213744 140735476207048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 26174 25463 866 1471 0 24694 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 104696
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7591
/proc/meminfo: memFree=28564400/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=107976 CPUtime=1482.04 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 70178 0 0 0 146897 1307 0 0 20 0 1 0 269855236 110567424 26259 33554432000 4194304 10219143 140735476213744 140735476207000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 26994 26259 866 1471 0 25514 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 107976
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7591
/proc/meminfo: memFree=28561544/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=108844 CPUtime=1542.03 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 70389 0 0 0 152735 1468 0 0 20 0 1 0 269855236 111456256 26469 33554432000 4194304 10219143 140735476213744 140735476206680 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 27211 26469 866 1471 0 25731 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 108844
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7592
/proc/meminfo: memFree=28558564/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=110816 CPUtime=1602.02 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 70878 0 0 0 158562 1640 0 0 20 0 1 0 269855236 113475584 26958 33554432000 4194304 10219143 140735476213744 140735476206264 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 27704 26958 866 1471 0 26224 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 110816
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7592
/proc/meminfo: memFree=28553164/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=115176 CPUtime=1662.01 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 71940 0 0 0 164393 1808 0 0 20 0 1 0 269855236 117940224 28017 33554432000 4194304 10219143 140735476213744 140735476206728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 28794 28017 866 1471 0 27314 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 115176
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 7595
/proc/meminfo: memFree=28548072/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=118824 CPUtime=1722 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 72919 0 0 0 170286 1914 0 0 20 0 1 0 269855236 121675776 28996 33554432000 4194304 10219143 140735476213744 140735476207000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 29706 28996 866 1471 0 28226 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 118824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7595
/proc/meminfo: memFree=28543980/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=122944 CPUtime=1781.99 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 78064 0 0 0 176230 1969 0 0 20 0 1 0 269855236 125894656 29991 33554432000 4194304 10219143 140735476213744 140735476207384 8098738 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 30736 29991 866 1471 0 29256 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 122944
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7595
/proc/meminfo: memFree=28543856/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=123112 CPUtime=1785.19 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 78090 0 0 0 176547 1972 0 0 20 0 1 0 269855236 126066688 30017 33554432000 4194304 10219143 140735476213744 140735476207048 8069928 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 30778 30017 866 1471 0 29298 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 123112
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7595
/proc/meminfo: memFree=28543608/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=123112 CPUtime=1791.6 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 78161 0 0 0 177182 1978 0 0 20 0 1 0 269855236 126066688 30088 33554432000 4194304 10219143 140735476213744 140735476207384 8099197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 30778 30088 866 1471 0 29298 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 123112
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7595
/proc/meminfo: memFree=28543608/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=123112 CPUtime=1794.79 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 78161 0 0 0 177498 1981 0 0 20 0 1 0 269855236 126066688 30088 33554432000 4194304 10219143 140735476213744 140735476207384 8098912 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 30778 30088 866 1471 0 29298 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 123112
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7595
/proc/meminfo: memFree=28543608/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=123112 CPUtime=1795.59 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 78161 0 0 0 177577 1982 0 0 20 0 1 0 269855236 126066688 30088 33554432000 4194304 10219143 140735476213744 140735476207096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 30778 30088 866 1471 0 29298 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 123112
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7595
/proc/meminfo: memFree=28543608/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=123112 CPUtime=1796.39 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 78161 0 0 0 177656 1983 0 0 20 0 1 0 269855236 126066688 30088 33554432000 4194304 10219143 140735476213744 140735476206680 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 30778 30088 866 1471 0 29298 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 123112
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7595
/proc/meminfo: memFree=28543608/32873844 swapFree=7620/7620
[pid=7388] ppid=7386 vsize=123112 CPUtime=1796.78 cores=0,2,4,6
/proc/7388/stat : 7388 (scip-2.1.1.4exp) R 7386 7388 3948 0 -1 4202496 78163 0 0 0 177695 1983 0 0 20 0 1 0 269855236 126066688 30090 33554432000 4194304 10219143 140735476213744 140735476206680 7594393 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7388/statm: 30778 30090 868 1471 0 29298 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 123112
Child status: 0
Real time (s): 1797.11
CPU time (s): 1796.81
CPU user time (s): 1776.97
CPU system time (s): 19.844
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 132516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.97
system time used= 19.844
maximum resident set size= 132844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78165
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= 29
involuntary context switches= 1864
runsolver used 2.97055 second user time and 9.03363 second system time
The end