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-3692584-1338037209.opb>
0.00/0.03 c original problem has 6620 variables (400 bin, 0 int, 6220 impl, 0 cont) and 7221 constraints
0.00/0.03 c problem read in 0.03
0.04/0.06 o 0
0.04/0.06 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.04/0.06 c presolving:
0.09/0.14 c (round 1) 0 del vars, 7020 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 25280 impls, 399 clqs
0.09/0.16 c (round 2) 6220 del vars, 7020 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 25280 impls, 0 clqs
0.09/0.18 c (0.2s) probing: 51/400 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 6220 deleted vars, 7020 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 25280 implications, 0 cliques
0.09/0.18 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.09/0.18 c 400 constraints of type <knapsack>
0.09/0.18 c 200 constraints of type <setppc>
0.09/0.18 c 1 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 2.1.1.4
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1797
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 13950
0.09/0.18 c
0.09/0.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18 c # [type: int, range: [1,2], default: 1]
0.09/0.18 c timing/clocktype = 2
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.79/0.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.88 c t 0.9s| 1 | 0 | 3863 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | Inf
0.79/0.88 o -1
0.79/0.88 c R 0.9s| 1 | 0 | 3863 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 |9900.00%
10.19/10.20 c 10.2s| 1 | 2 | 8920 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 29 |-1.000000e+02 |-1.000000e+00 |9900.00%
10.29/10.35 o -2
10.29/10.35 c R10.4s| 2 | 1 | 9193 |5330.0 | 17M| 1 | 363 | 400 | 601 | 400 | 601 | 0 | 0 | 29 |-9.977585e+01 |-2.000000e+00 |4888.79%
19.49/19.56 o -3
19.49/19.56 c R19.6s| 8 | 7 | 9542 | 811.3 | 17M| 7 | 304 | 400 | 601 | 400 | 601 | 0 | 0 | 126 |-9.977585e+01 |-3.000000e+00 |3225.86%
30.37/30.46 o -24
30.37/30.46 c c30.5s| 15 | 16 | 10404 | 467.2 | 18M| 14 | - | 400 | 601 | 400 | 601 | 0 | 0 | 248 |-9.977585e+01 |-2.400000e+01 | 315.73%
39.88/39.93 o -27
39.88/39.93 c p39.9s| 28 | 29 | 13159 | 344.3 | 17M| 14 | - | 400 | 601 | 400 | 601 | 0 | 0 | 459 |-9.977585e+01 |-2.700000e+01 | 269.54%
50.97/51.06 o -29
50.97/51.06 c f51.1s| 40 | 41 | 14901 | 283.0 | 18M| 14 | - | 400 | 601 | 400 | 601 | 0 | 0 | 686 |-9.955081e+01 |-2.900000e+01 | 243.28%
80.66/80.73 o -30
80.66/80.73 c l80.7s| 88 | 89 | 30719 | 308.7 | 18M| 14 | - | 400 | 616 | 400 | 601 | 0 | 15 |1406 |-9.932418e+01 |-3.000000e+01 | 231.08%
87.06/87.10 c 87.1s| 100 | 101 | 32446 | 288.7 | 18M| 15 | 123 | 400 | 616 | 400 | 601 | 0 | 15 |1535 |-9.909403e+01 |-3.000000e+01 | 230.31%
96.95/97.04 c 97.0s| 200 | 201 | 45601 | 209.7 | 18M| 19 | 229 | 400 | 622 | 400 | 601 | 0 | 21 |1647 |-9.865379e+01 |-3.000000e+01 | 228.85%
100.75/100.89 c 101s| 300 | 301 | 58606 | 183.1 | 18M| 27 | 304 | 400 | 622 | 400 | 601 | 0 | 21 |1647 |-9.843927e+01 |-3.000000e+01 | 228.13%
104.55/104.60 c 105s| 400 | 401 | 69929 | 165.6 | 18M| 27 | 107 | 400 | 630 | 400 | 601 | 0 | 30 |1694 |-9.823504e+01 |-3.000000e+01 | 227.45%
109.55/109.66 c 110s| 500 | 501 | 81488 | 155.6 | 18M| 27 | 133 | 400 | 631 | 400 | 601 | 0 | 31 |1739 |-9.802678e+01 |-3.000000e+01 | 226.76%
115.25/115.32 o -31
115.25/115.32 c l 115s| 545 | 546 | 98746 | 174.4 | 19M| 27 | - | 400 | 644 | 400 | 601 | 0 | 45 |1739 |-9.779887e+01 |-3.100000e+01 | 215.48%
116.15/116.25 o -32
116.15/116.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.15/116.25 c l 116s| 554 | 555 |102403 | 178.2 | 19M| 27 | - | 400 | 646 | 400 | 601 | 0 | 47 |1739 |-9.779887e+01 |-3.200000e+01 | 205.62%
129.35/129.48 c 129s| 600 | 601 |120482 | 194.7 | 19M| 27 | 291 | 400 | 646 | 400 | 601 | 0 | 48 |1739 |-9.552041e+01 |-3.200000e+01 | 198.50%
141.24/141.32 o -33
141.24/141.32 c f 141s| 660 | 661 |140198 | 206.9 | 19M| 32 | - | 400 | 657 | 400 | 601 | 0 | 61 |1739 |-9.409382e+01 |-3.300000e+01 | 185.13%
147.94/148.04 c 148s| 700 | 701 |151730 | 211.5 | 19M| 36 | 285 | 400 | 657 | 400 | 601 | 0 | 61 |1739 |-9.369508e+01 |-3.300000e+01 | 183.92%
166.34/166.46 c 166s| 800 | 801 |180463 | 221.0 | 19M| 41 | 303 | 400 | 657 | 400 | 601 | 0 | 63 |1768 |-9.318643e+01 |-3.300000e+01 | 182.38%
177.23/177.32 c 177s| 900 | 901 |204330 | 223.0 | 19M| 51 | 326 | 400 | 657 | 400 | 601 | 0 | 63 |1768 |-9.318643e+01 |-3.300000e+01 | 182.38%
186.13/186.20 c 186s| 1000 | 1001 |226156 | 222.5 | 19M| 53 | 176 | 400 | 657 | 400 | 601 | 0 | 64 |1768 |-9.296056e+01 |-3.300000e+01 | 181.70%
195.83/195.94 c 196s| 1100 | 1101 |250545 | 224.5 | 19M| 53 | 267 | 400 | 667 | 400 | 601 | 0 | 74 |1787 |-9.277184e+01 |-3.300000e+01 | 181.13%
205.53/205.69 c 206s| 1200 | 1201 |273696 | 225.0 | 19M| 53 | 327 | 400 | 667 | 400 | 601 | 0 | 74 |1787 |-9.228201e+01 |-3.300000e+01 | 179.64%
215.52/215.67 c 216s| 1300 | 1301 |294191 | 223.5 | 19M| 53 | 239 | 400 | 667 | 400 | 601 | 0 | 75 |1787 |-9.196358e+01 |-3.300000e+01 | 178.68%
225.22/225.33 c 225s| 1400 | 1401 |313812 | 221.6 | 19M| 53 | 251 | 400 | 667 | 400 | 601 | 0 | 76 |1812 |-9.153780e+01 |-3.300000e+01 | 177.39%
233.52/233.60 c 234s| 1500 | 1501 |335933 | 221.5 | 20M| 53 | 322 | 400 | 674 | 400 | 601 | 0 | 83 |1812 |-9.124182e+01 |-3.300000e+01 | 176.49%
242.51/242.64 c 243s| 1600 | 1601 |356333 | 220.4 | 20M| 53 | 235 | 400 | 674 | 400 | 601 | 0 | 83 |1812 |-9.099253e+01 |-3.300000e+01 | 175.73%
253.41/253.59 c 254s| 1700 | 1701 |380262 | 221.5 | 20M| 53 | 251 | 400 | 675 | 400 | 601 | 0 | 84 |1839 |-9.078470e+01 |-3.300000e+01 | 175.11%
262.61/262.75 c 263s| 1800 | 1801 |400116 | 220.3 | 20M| 53 | 309 | 400 | 674 | 400 | 601 | 0 | 84 |1840 |-9.076384e+01 |-3.300000e+01 | 175.04%
270.81/270.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.81/270.95 c 271s| 1900 | 1901 |420336 | 219.3 | 20M| 53 | 215 | 400 | 673 | 400 | 601 | 0 | 84 |1840 |-9.069626e+01 |-3.300000e+01 | 174.84%
278.71/278.81 c 279s| 2000 | 2001 |440201 | 218.3 | 20M| 53 | 268 | 400 | 677 | 400 | 601 | 0 | 90 |1840 |-9.062078e+01 |-3.300000e+01 | 174.61%
286.00/286.10 c 286s| 2100 | 2101 |462350 | 218.4 | 20M| 53 | 313 | 400 | 675 | 400 | 601 | 0 | 91 |1840 |-9.053780e+01 |-3.300000e+01 | 174.36%
291.70/291.84 c 292s| 2200 | 2201 |476333 | 214.9 | 20M| 53 | 201 | 400 | 675 | 400 | 601 | 0 | 91 |1840 |-9.044243e+01 |-3.300000e+01 | 174.07%
298.30/298.46 c 298s| 2300 | 2301 |492801 | 212.7 | 20M| 53 | 243 | 400 | 674 | 400 | 601 | 0 | 93 |1840 |-9.034597e+01 |-3.300000e+01 | 173.78%
305.30/305.45 c 305s| 2400 | 2401 |510736 | 211.3 | 20M| 56 | 298 | 400 | 674 | 400 | 601 | 0 | 93 |1840 |-9.026343e+01 |-3.300000e+01 | 173.53%
310.19/310.38 c 310s| 2500 | 2501 |527997 | 209.7 | 21M| 71 | 169 | 400 | 681 | 400 | 601 | 0 | 101 |1840 |-9.022547e+01 |-3.300000e+01 | 173.41%
315.90/316.02 c 316s| 2600 | 2601 |543812 | 207.8 | 21M| 71 | 259 | 400 | 681 | 400 | 601 | 0 | 101 |1840 |-9.015928e+01 |-3.300000e+01 | 173.21%
320.80/320.92 c 321s| 2700 | 2701 |559259 | 205.8 | 21M| 71 | 183 | 400 | 681 | 400 | 601 | 0 | 101 |1840 |-9.015553e+01 |-3.300000e+01 | 173.20%
325.60/325.71 c 326s| 2800 | 2801 |574264 | 203.8 | 21M| 71 | 259 | 400 | 681 | 400 | 601 | 0 | 102 |1840 |-8.999911e+01 |-3.300000e+01 | 172.72%
330.49/330.60 c 331s| 2900 | 2901 |589143 | 201.9 | 21M| 71 | 144 | 400 | 680 | 400 | 601 | 0 | 102 |1840 |-8.994693e+01 |-3.300000e+01 | 172.57%
335.39/335.53 c 336s| 3000 | 3001 |606442 | 200.9 | 21M| 71 | 269 | 400 | 684 | 400 | 601 | 0 | 106 |1840 |-8.990486e+01 |-3.300000e+01 | 172.44%
340.09/340.27 c 340s| 3100 | 3101 |625222 | 200.5 | 21M| 71 | 148 | 400 | 700 | 400 | 601 | 0 | 122 |1840 |-8.986579e+01 |-3.300000e+01 | 172.32%
345.39/345.57 c 346s| 3200 | 3201 |641119 | 199.2 | 21M| 71 | 258 | 400 | 700 | 400 | 601 | 0 | 123 |1840 |-8.984341e+01 |-3.300000e+01 | 172.25%
350.29/350.44 c 350s| 3300 | 3301 |658049 | 198.3 | 21M| 71 | 133 | 400 | 708 | 400 | 601 | 0 | 132 |1840 |-8.974563e+01 |-3.300000e+01 | 171.96%
354.58/354.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.58/354.72 c 355s| 3400 | 3401 |670029 | 196.0 | 22M| 71 | 256 | 400 | 708 | 400 | 601 | 0 | 132 |1840 |-8.963578e+01 |-3.300000e+01 | 171.62%
358.98/359.14 c 359s| 3500 | 3501 |685816 | 194.9 | 22M| 71 | 132 | 400 | 719 | 400 | 601 | 0 | 143 |1840 |-8.953638e+01 |-3.300000e+01 | 171.32%
363.78/363.98 c 364s| 3600 | 3601 |701507 | 193.8 | 22M| 71 | 232 | 400 | 719 | 400 | 601 | 0 | 143 |1840 |-8.940548e+01 |-3.300000e+01 | 170.93%
368.58/368.70 c 369s| 3700 | 3701 |717142 | 192.8 | 22M| 71 | 163 | 400 | 719 | 400 | 601 | 0 | 143 |1840 |-8.933172e+01 |-3.300000e+01 | 170.70%
373.18/373.32 c 373s| 3800 | 3801 |732011 | 191.7 | 22M| 71 | 233 | 400 | 718 | 400 | 601 | 0 | 143 |1840 |-8.924426e+01 |-3.300000e+01 | 170.44%
378.97/379.12 c 379s| 3900 | 3901 |749138 | 191.1 | 22M| 71 | 160 | 400 | 718 | 400 | 601 | 0 | 145 |1840 |-8.916701e+01 |-3.300000e+01 | 170.20%
383.48/383.65 c 384s| 4000 | 4001 |764919 | 190.3 | 22M| 71 | 248 | 400 | 720 | 400 | 601 | 0 | 148 |1840 |-8.909145e+01 |-3.300000e+01 | 169.97%
387.37/387.56 c 388s| 4100 | 4101 |777960 | 188.9 | 22M| 71 | 191 | 400 | 720 | 400 | 601 | 0 | 148 |1840 |-8.905358e+01 |-3.300000e+01 | 169.86%
392.28/392.45 c 392s| 4200 | 4201 |792933 | 187.9 | 22M| 71 | 249 | 400 | 719 | 400 | 601 | 0 | 148 |1854 |-8.900178e+01 |-3.300000e+01 | 169.70%
397.47/397.69 c 398s| 4300 | 4301 |811344 | 187.8 | 23M| 71 | 140 | 400 | 727 | 400 | 601 | 0 | 156 |1854 |-8.896288e+01 |-3.300000e+01 | 169.58%
401.88/402.03 c 402s| 4400 | 4401 |824769 | 186.6 | 23M| 71 | 254 | 400 | 727 | 400 | 601 | 0 | 156 |1854 |-8.890295e+01 |-3.300000e+01 | 169.40%
406.67/406.81 c 407s| 4500 | 4501 |838247 | 185.5 | 23M| 71 | 150 | 400 | 727 | 400 | 601 | 0 | 156 |1868 |-8.878109e+01 |-3.300000e+01 | 169.03%
411.07/411.22 c 411s| 4600 | 4601 |852982 | 184.6 | 23M| 71 | 260 | 400 | 727 | 400 | 601 | 0 | 156 |1868 |-8.872857e+01 |-3.300000e+01 | 168.87%
415.47/415.66 c 416s| 4700 | 4701 |868398 | 184.0 | 23M| 71 | 139 | 400 | 730 | 400 | 601 | 0 | 159 |1868 |-8.869625e+01 |-3.300000e+01 | 168.78%
420.66/420.88 c 421s| 4800 | 4801 |886332 | 183.9 | 23M| 71 | 247 | 400 | 732 | 400 | 601 | 0 | 161 |1884 |-8.862022e+01 |-3.300000e+01 | 168.55%
424.86/425.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.86/425.03 c 425s| 4900 | 4901 |899487 | 182.8 | 23M| 71 | 181 | 400 | 732 | 400 | 601 | 0 | 161 |1884 |-8.858301e+01 |-3.300000e+01 | 168.43%
429.27/429.41 c 429s| 5000 | 5001 |913625 | 182.0 | 23M| 71 | 265 | 400 | 732 | 400 | 601 | 0 | 161 |1884 |-8.847592e+01 |-3.300000e+01 | 168.11%
435.16/435.35 c 435s| 5100 | 5101 |930618 | 181.8 | 23M| 71 | 159 | 400 | 744 | 400 | 601 | 0 | 173 |1904 |-8.847290e+01 |-3.300000e+01 | 168.10%
439.77/439.92 c 440s| 5200 | 5201 |946828 | 181.4 | 24M| 71 | 256 | 400 | 761 | 400 | 601 | 0 | 190 |1904 |-8.843781e+01 |-3.300000e+01 | 167.99%
443.66/443.87 c 444s| 5300 | 5301 |962069 | 180.8 | 24M| 71 | 175 | 400 | 761 | 400 | 601 | 0 | 192 |1904 |-8.842513e+01 |-3.300000e+01 | 167.95%
448.46/448.65 c 449s| 5400 | 5401 |976064 | 180.1 | 24M| 71 | 255 | 400 | 761 | 400 | 601 | 0 | 192 |1914 |-8.831205e+01 |-3.300000e+01 | 167.61%
452.76/452.97 c 453s| 5500 | 5501 |989510 | 179.2 | 24M| 71 | 183 | 400 | 765 | 400 | 601 | 0 | 198 |1925 |-8.826094e+01 |-3.300000e+01 | 167.46%
456.96/457.13 c 457s| 5600 | 5601 | 1002k| 178.4 | 24M| 71 | 249 | 400 | 765 | 400 | 601 | 0 | 198 |1925 |-8.821282e+01 |-3.300000e+01 | 167.31%
460.86/461.01 c 461s| 5700 | 5701 | 1015k| 177.4 | 24M| 71 | 169 | 400 | 764 | 400 | 601 | 0 | 198 |1925 |-8.820326e+01 |-3.300000e+01 | 167.28%
466.55/466.71 c 467s| 5800 | 5801 | 1030k| 177.0 | 24M| 71 | 251 | 400 | 764 | 400 | 601 | 0 | 198 |1946 |-8.816239e+01 |-3.300000e+01 | 167.16%
471.06/471.25 c 471s| 5900 | 5901 | 1045k| 176.7 | 24M| 71 | 164 | 400 | 770 | 400 | 601 | 0 | 204 |1946 |-8.813410e+01 |-3.300000e+01 | 167.07%
475.36/475.56 c 476s| 6000 | 6001 | 1060k| 176.1 | 24M| 71 | 251 | 400 | 770 | 400 | 601 | 0 | 204 |1946 |-8.812133e+01 |-3.300000e+01 | 167.03%
480.65/480.85 c 481s| 6100 | 6101 | 1074k| 175.6 | 25M| 71 | 153 | 400 | 770 | 400 | 601 | 0 | 204 |1971 |-8.810511e+01 |-3.300000e+01 | 166.99%
484.55/484.71 c 485s| 6200 | 6201 | 1086k| 174.7 | 25M| 71 | 246 | 400 | 769 | 400 | 601 | 0 | 204 |1977 |-8.805941e+01 |-3.300000e+01 | 166.85%
488.55/488.70 c 489s| 6300 | 6301 | 1102k| 174.4 | 25M| 71 | 149 | 400 | 775 | 400 | 601 | 0 | 210 |1977 |-8.805380e+01 |-3.300000e+01 | 166.83%
492.74/492.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.74/492.95 c 493s| 6400 | 6401 | 1116k| 173.8 | 25M| 71 | 220 | 400 | 775 | 400 | 601 | 0 | 210 |1977 |-8.801181e+01 |-3.300000e+01 | 166.70%
497.84/498.03 c 498s| 6500 | 6501 | 1129k| 173.2 | 25M| 71 | 142 | 400 | 775 | 400 | 601 | 0 | 210 |2009 |-8.799652e+01 |-3.300000e+01 | 166.66%
502.25/502.47 c 502s| 6600 | 6601 | 1145k| 173.0 | 25M| 71 | 240 | 400 | 775 | 400 | 601 | 0 | 213 |2011 |-8.794965e+01 |-3.300000e+01 | 166.51%
506.14/506.30 c 506s| 6700 | 6701 | 1157k| 172.2 | 25M| 71 | 169 | 400 | 775 | 400 | 601 | 0 | 214 |2012 |-8.794428e+01 |-3.300000e+01 | 166.50%
510.64/510.85 c 511s| 6800 | 6801 | 1175k| 172.4 | 25M| 71 | 257 | 400 | 782 | 400 | 601 | 0 | 221 |2012 |-8.790799e+01 |-3.300000e+01 | 166.39%
515.15/515.35 c 515s| 6900 | 6901 | 1188k| 171.6 | 25M| 71 | 170 | 400 | 782 | 400 | 601 | 0 | 221 |2043 |-8.789708e+01 |-3.300000e+01 | 166.35%
519.24/519.48 c 519s| 7000 | 7001 | 1200k| 171.0 | 26M| 71 | 208 | 400 | 782 | 400 | 601 | 0 | 221 |2043 |-8.787881e+01 |-3.300000e+01 | 166.30%
523.84/524.03 c 524s| 7100 | 7101 | 1218k| 171.1 | 26M| 71 | 140 | 400 | 782 | 400 | 601 | 0 | 221 |2043 |-8.785547e+01 |-3.300000e+01 | 166.23%
528.74/528.96 c 529s| 7200 | 7201 | 1232k| 170.7 | 26M| 71 | 245 | 400 | 794 | 400 | 601 | 0 | 233 |2071 |-8.778211e+01 |-3.300000e+01 | 166.01%
532.64/532.83 c 533s| 7300 | 7301 | 1244k| 170.0 | 26M| 80 | 160 | 400 | 794 | 400 | 601 | 0 | 233 |2075 |-8.776208e+01 |-3.300000e+01 | 165.95%
536.24/536.43 c 536s| 7400 | 7401 | 1257k| 169.4 | 26M| 84 | 108 | 400 | 794 | 400 | 601 | 0 | 233 |2075 |-8.773437e+01 |-3.300000e+01 | 165.86%
538.85/539.01 c 539s| 7500 | 7501 | 1267k| 168.4 | 26M| 92 | 195 | 400 | 794 | 400 | 601 | 0 | 233 |2075 |-8.773358e+01 |-3.300000e+01 | 165.86%
541.44/541.67 c 542s| 7600 | 7601 | 1281k| 168.1 | 26M| 97 | 137 | 400 | 794 | 400 | 601 | 0 | 233 |2075 |-8.773358e+01 |-3.300000e+01 | 165.86%
544.83/545.03 c 545s| 7700 | 7701 | 1291k| 167.2 | 26M| 99 | 184 | 400 | 796 | 400 | 601 | 0 | 235 |2102 |-8.773358e+01 |-3.300000e+01 | 165.86%
547.23/547.40 c 547s| 7800 | 7801 | 1301k| 166.4 | 26M| 102 | 108 | 400 | 796 | 400 | 601 | 0 | 235 |2103 |-8.771967e+01 |-3.300000e+01 | 165.82%
550.23/550.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.23/550.47 c 550s| 7900 | 7901 | 1314k| 165.9 | 27M| 102 | 123 | 400 | 796 | 400 | 601 | 0 | 235 |2103 |-8.771967e+01 |-3.300000e+01 | 165.82%
552.83/553.09 c 553s| 8000 | 8001 | 1324k| 165.1 | 27M| 104 | 323 | 400 | 796 | 400 | 601 | 0 | 236 |2103 |-8.769662e+01 |-3.300000e+01 | 165.75%
556.93/557.15 c 557s| 8100 | 8101 | 1339k| 164.9 | 27M| 104 | 295 | 400 | 800 | 400 | 601 | 0 | 240 |2124 |-8.769421e+01 |-3.300000e+01 | 165.74%
560.13/560.30 c 560s| 8200 | 8201 | 1351k| 164.4 | 27M| 104 | 271 | 400 | 799 | 400 | 601 | 0 | 240 |2128 |-8.768329e+01 |-3.300000e+01 | 165.71%
562.83/563.10 c 563s| 8300 | 8301 | 1363k| 163.8 | 27M| 106 | 232 | 400 | 799 | 400 | 601 | 0 | 240 |2129 |-8.768277e+01 |-3.300000e+01 | 165.71%
565.83/566.00 c 566s| 8400 | 8401 | 1376k| 163.4 | 27M| 108 | 226 | 400 | 808 | 400 | 601 | 0 | 249 |2129 |-8.767210e+01 |-3.300000e+01 | 165.67%
569.93/570.10 c 570s| 8500 | 8501 | 1387k| 162.9 | 27M| 108 | 208 | 400 | 808 | 400 | 601 | 0 | 249 |2160 |-8.766632e+01 |-3.300000e+01 | 165.66%
572.94/573.13 c 573s| 8600 | 8601 | 1401k| 162.5 | 27M| 108 | 150 | 400 | 809 | 400 | 601 | 0 | 250 |2160 |-8.765293e+01 |-3.300000e+01 | 165.61%
575.73/575.98 c 576s| 8700 | 8701 | 1414k| 162.2 | 27M| 108 | 147 | 400 | 809 | 400 | 601 | 0 | 250 |2160 |-8.765293e+01 |-3.300000e+01 | 165.61%
578.93/579.17 c 579s| 8800 | 8801 | 1427k| 161.8 | 28M| 108 | 111 | 400 | 815 | 400 | 601 | 0 | 256 |2176 |-8.765188e+01 |-3.300000e+01 | 165.61%
583.02/583.22 c 583s| 8900 | 8901 | 1440k| 161.4 | 28M| 108 | 122 | 400 | 814 | 400 | 601 | 0 | 257 |2202 |-8.764469e+01 |-3.300000e+01 | 165.59%
586.04/586.26 c 586s| 9000 | 9001 | 1454k| 161.2 | 28M| 108 | 99 | 400 | 812 | 400 | 601 | 0 | 257 |2202 |-8.764469e+01 |-3.300000e+01 | 165.59%
588.72/588.90 c 589s| 9100 | 9101 | 1465k| 160.6 | 28M| 108 | 316 | 400 | 812 | 400 | 601 | 0 | 259 |2203 |-8.761333e+01 |-3.300000e+01 | 165.49%
591.42/591.66 c 592s| 9200 | 9201 | 1476k| 160.1 | 28M| 108 | 286 | 400 | 813 | 400 | 601 | 0 | 263 |2203 |-8.760610e+01 |-3.300000e+01 | 165.47%
595.42/595.60 c 596s| 9300 | 9301 | 1488k| 159.7 | 28M| 108 | 261 | 400 | 807 | 400 | 601 | 0 | 263 |2236 |-8.760196e+01 |-3.300000e+01 | 165.46%
598.62/598.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.62/598.88 c 599s| 9400 | 9401 | 1500k| 159.3 | 28M| 108 | 251 | 400 | 807 | 400 | 601 | 0 | 263 |2241 |-8.758983e+01 |-3.300000e+01 | 165.42%
601.72/601.94 c 602s| 9500 | 9501 | 1516k| 159.2 | 28M| 108 | 222 | 400 | 825 | 400 | 601 | 0 | 281 |2241 |-8.755602e+01 |-3.300000e+01 | 165.32%
605.12/605.33 c 605s| 9600 | 9601 | 1529k| 159.0 | 29M| 108 | 196 | 400 | 832 | 400 | 601 | 0 | 288 |2252 |-8.753536e+01 |-3.300000e+01 | 165.26%
609.51/609.74 c 610s| 9700 | 9701 | 1547k| 159.1 | 29M| 108 | 158 | 400 | 840 | 400 | 601 | 0 | 297 |2283 |-8.752693e+01 |-3.300000e+01 | 165.23%
612.92/613.16 c 613s| 9800 | 9801 | 1560k| 158.9 | 29M| 108 | 175 | 400 | 838 | 400 | 601 | 0 | 297 |2286 |-8.751188e+01 |-3.300000e+01 | 165.19%
616.12/616.32 c 616s| 9900 | 9901 | 1574k| 158.7 | 29M| 108 | 120 | 400 | 838 | 400 | 601 | 0 | 297 |2286 |-8.750672e+01 |-3.300000e+01 | 165.17%
619.31/619.52 c 620s| 10000 | 10001 | 1589k| 158.6 | 29M| 108 | 123 | 400 | 854 | 400 | 601 | 0 | 313 |2286 |-8.750489e+01 |-3.300000e+01 | 165.17%
624.01/624.26 c 624s| 10100 | 10101 | 1601k| 158.2 | 29M| 108 | 115 | 400 | 853 | 400 | 601 | 0 | 313 |2329 |-8.750489e+01 |-3.300000e+01 | 165.17%
627.01/627.23 c 627s| 10200 | 10201 | 1614k| 157.9 | 29M| 108 | 318 | 400 | 853 | 400 | 601 | 0 | 313 |2330 |-8.746627e+01 |-3.300000e+01 | 165.05%
629.82/630.07 c 630s| 10300 | 10301 | 1627k| 157.6 | 29M| 108 | 299 | 400 | 858 | 400 | 601 | 0 | 318 |2330 |-8.746110e+01 |-3.300000e+01 | 165.03%
632.91/633.10 c 633s| 10400 | 10401 | 1638k| 157.2 | 30M| 108 | 275 | 400 | 858 | 400 | 601 | 0 | 318 |2330 |-8.744960e+01 |-3.300000e+01 | 165.00%
636.02/636.28 c 636s| 10500 | 10501 | 1650k| 156.9 | 30M| 108 | 230 | 400 | 858 | 400 | 601 | 0 | 319 |2348 |-8.743861e+01 |-3.300000e+01 | 164.97%
639.62/639.87 c 640s| 10600 | 10601 | 1663k| 156.6 | 30M| 108 | 203 | 400 | 857 | 400 | 601 | 0 | 319 |2365 |-8.743416e+01 |-3.300000e+01 | 164.95%
642.91/643.17 c 643s| 10700 | 10701 | 1676k| 156.4 | 30M| 108 | 162 | 400 | 862 | 400 | 601 | 0 | 324 |2372 |-8.743173e+01 |-3.300000e+01 | 164.94%
645.91/646.15 c 646s| 10800 | 10801 | 1690k| 156.2 | 30M| 108 | 178 | 400 | 862 | 400 | 601 | 0 | 325 |2372 |-8.742823e+01 |-3.300000e+01 | 164.93%
648.81/649.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.81/649.03 c 649s| 10900 | 10901 | 1702k| 155.9 | 30M| 108 | 151 | 400 | 861 | 400 | 601 | 0 | 326 |2372 |-8.740580e+01 |-3.300000e+01 | 164.87%
652.81/653.09 c 653s| 11000 | 11001 | 1716k| 155.7 | 30M| 108 | 149 | 400 | 869 | 400 | 601 | 0 | 334 |2418 |-8.739555e+01 |-3.300000e+01 | 164.83%
655.60/655.83 c 656s| 11100 | 11101 | 1727k| 155.3 | 30M| 108 | 116 | 400 | 869 | 400 | 601 | 0 | 335 |2420 |-8.739414e+01 |-3.300000e+01 | 164.83%
658.20/658.44 c 658s| 11200 | 11201 | 1739k| 155.0 | 30M| 108 | 118 | 400 | 874 | 400 | 601 | 0 | 341 |2421 |-8.739414e+01 |-3.300000e+01 | 164.83%
661.40/661.68 c 662s| 11300 | 11301 | 1755k| 155.0 | 31M| 108 | 328 | 400 | 874 | 400 | 601 | 0 | 341 |2427 |-8.737050e+01 |-3.300000e+01 | 164.76%
664.21/664.45 c 664s| 11400 | 11401 | 1766k| 154.6 | 31M| 108 | 306 | 400 | 882 | 400 | 601 | 0 | 349 |2427 |-8.736290e+01 |-3.300000e+01 | 164.74%
667.70/667.95 c 668s| 11500 | 11501 | 1778k| 154.3 | 31M| 108 | 267 | 400 | 881 | 400 | 601 | 0 | 350 |2465 |-8.735680e+01 |-3.300000e+01 | 164.72%
670.71/670.94 c 671s| 11600 | 11601 | 1790k| 154.0 | 31M| 108 | 253 | 400 | 880 | 400 | 601 | 0 | 350 |2471 |-8.735181e+01 |-3.300000e+01 | 164.70%
673.80/674.04 c 674s| 11700 | 11701 | 1802k| 153.8 | 31M| 108 | 211 | 400 | 879 | 400 | 601 | 0 | 350 |2472 |-8.733865e+01 |-3.300000e+01 | 164.66%
676.21/676.47 c 676s| 11800 | 11801 | 1813k| 153.4 | 31M| 108 | 191 | 400 | 881 | 400 | 601 | 0 | 352 |2472 |-8.730783e+01 |-3.300000e+01 | 164.57%
679.30/679.57 c 680s| 11900 | 11901 | 1825k| 153.1 | 31M| 108 | 196 | 400 | 881 | 400 | 601 | 0 | 352 |2483 |-8.729114e+01 |-3.300000e+01 | 164.52%
683.40/683.68 c 684s| 12000 | 12001 | 1839k| 153.0 | 31M| 108 | 173 | 400 | 879 | 400 | 601 | 0 | 353 |2514 |-8.728424e+01 |-3.300000e+01 | 164.50%
686.30/686.52 c 687s| 12100 | 12101 | 1851k| 152.7 | 32M| 108 | 138 | 400 | 888 | 400 | 601 | 0 | 362 |2516 |-8.728208e+01 |-3.300000e+01 | 164.49%
688.60/688.88 c 689s| 12200 | 12201 | 1860k| 152.2 | 32M| 108 | 127 | 400 | 888 | 400 | 601 | 0 | 362 |2516 |-8.727825e+01 |-3.300000e+01 | 164.48%
691.40/691.63 c 692s| 12300 | 12301 | 1872k| 151.9 | 32M| 108 | 125 | 400 | 888 | 400 | 601 | 0 | 362 |2516 |-8.727825e+01 |-3.300000e+01 | 164.48%
694.10/694.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.10/694.30 c 694s| 12400 | 12401 | 1885k| 151.8 | 32M| 108 | 332 | 400 | 888 | 400 | 601 | 0 | 363 |2521 |-8.727031e+01 |-3.300000e+01 | 164.46%
697.90/698.10 c 698s| 12500 | 12501 | 1898k| 151.6 | 32M| 108 | 282 | 400 | 892 | 400 | 601 | 0 | 367 |2558 |-8.725853e+01 |-3.300000e+01 | 164.42%
700.69/700.91 c 701s| 12600 | 12601 | 1911k| 151.4 | 32M| 108 | 255 | 400 | 891 | 400 | 601 | 0 | 368 |2559 |-8.725554e+01 |-3.300000e+01 | 164.41%
703.19/703.41 c 703s| 12700 | 12701 | 1922k| 151.1 | 32M| 108 | 255 | 400 | 886 | 400 | 601 | 0 | 368 |2559 |-8.724488e+01 |-3.300000e+01 | 164.38%
706.09/706.37 c 706s| 12800 | 12801 | 1937k| 151.1 | 32M| 108 | 218 | 400 | 886 | 400 | 601 | 0 | 369 |2559 |-8.723116e+01 |-3.300000e+01 | 164.34%
709.20/709.44 c 709s| 12900 | 12901 | 1948k| 150.8 | 32M| 108 | 174 | 400 | 885 | 400 | 601 | 0 | 369 |2576 |-8.722965e+01 |-3.300000e+01 | 164.33%
713.39/713.64 c 714s| 13000 | 13001 | 1962k| 150.6 | 33M| 108 | 190 | 400 | 884 | 400 | 601 | 0 | 370 |2612 |-8.721958e+01 |-3.300000e+01 | 164.30%
716.49/716.72 c 717s| 13100 | 13101 | 1977k| 150.7 | 33M| 108 | 129 | 400 | 901 | 400 | 601 | 0 | 387 |2617 |-8.720891e+01 |-3.300000e+01 | 164.27%
719.29/719.56 c 720s| 13200 | 13201 | 1989k| 150.5 | 33M| 108 | 151 | 400 | 900 | 400 | 601 | 0 | 388 |2618 |-8.717126e+01 |-3.300000e+01 | 164.16%
722.09/722.31 c 722s| 13300 | 13301 | 2002k| 150.3 | 33M| 108 | 127 | 400 | 899 | 400 | 601 | 0 | 388 |2618 |-8.715969e+01 |-3.300000e+01 | 164.12%
724.89/725.18 c 725s| 13400 | 13401 | 2015k| 150.2 | 33M| 108 | 95 | 400 | 902 | 400 | 601 | 0 | 391 |2629 |-8.715969e+01 |-3.300000e+01 | 164.12%
728.19/728.41 c 728s| 13500 | 13501 | 2025k| 149.8 | 33M| 108 | 329 | 400 | 902 | 400 | 601 | 0 | 391 |2657 |-8.715712e+01 |-3.300000e+01 | 164.11%
730.88/731.18 c 731s| 13600 | 13601 | 2036k| 149.5 | 33M| 108 | 286 | 400 | 901 | 400 | 601 | 0 | 391 |2670 |-8.712834e+01 |-3.300000e+01 | 164.03%
733.58/733.83 c 734s| 13700 | 13701 | 2048k| 149.3 | 33M| 108 | 266 | 400 | 914 | 400 | 601 | 0 | 406 |2672 |-8.711711e+01 |-3.300000e+01 | 163.99%
736.09/736.38 c 736s| 13800 | 13801 | 2059k| 149.0 | 34M| 108 | 229 | 400 | 913 | 400 | 601 | 0 | 406 |2672 |-8.711143e+01 |-3.300000e+01 | 163.97%
738.78/739.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
738.78/739.07 c 739s| 13900 | 13901 | 2073k| 148.9 | 34M| 108 | 204 | 400 | 911 | 400 | 601 | 0 | 406 |2672 |-8.710335e+01 |-3.300000e+01 | 163.95%
742.19/742.47 c 742s| 14000 | 14001 | 2084k| 148.6 | 34M| 108 | 205 | 400 | 911 | 400 | 601 | 0 | 406 |2690 |-8.709665e+01 |-3.300000e+01 | 163.93%
745.29/745.58 c 746s| 14100 | 14101 | 2095k| 148.4 | 34M| 108 | 163 | 400 | 919 | 400 | 601 | 0 | 415 |2715 |-8.706721e+01 |-3.300000e+01 | 163.84%
748.68/748.96 c 749s| 14200 | 14201 | 2107k| 148.2 | 34M| 108 | 137 | 400 | 919 | 400 | 601 | 0 | 415 |2726 |-8.705711e+01 |-3.300000e+01 | 163.81%
751.68/751.90 c 752s| 14300 | 14301 | 2119k| 148.0 | 34M| 108 | 114 | 400 | 918 | 400 | 601 | 0 | 415 |2726 |-8.705148e+01 |-3.300000e+01 | 163.79%
754.78/755.04 c 755s| 14400 | 14401 | 2133k| 147.9 | 34M| 108 | 102 | 400 | 916 | 400 | 601 | 0 | 415 |2730 |-8.705103e+01 |-3.300000e+01 | 163.79%
757.69/757.91 c 758s| 14500 | 14501 | 2147k| 147.9 | 34M| 108 | 115 | 400 | 917 | 400 | 601 | 0 | 417 |2730 |-8.705103e+01 |-3.300000e+01 | 163.79%
761.07/761.31 c 761s| 14600 | 14601 | 2159k| 147.7 | 35M| 108 | 308 | 400 | 915 | 400 | 601 | 0 | 417 |2760 |-8.704342e+01 |-3.300000e+01 | 163.77%
764.37/764.68 c 765s| 14700 | 14701 | 2171k| 147.5 | 35M| 108 | 305 | 400 | 914 | 400 | 601 | 0 | 417 |2775 |-8.703979e+01 |-3.300000e+01 | 163.76%
767.48/767.71 c 768s| 14800 | 14801 | 2187k| 147.5 | 35M| 108 | 269 | 400 | 931 | 400 | 601 | 0 | 434 |2776 |-8.703862e+01 |-3.300000e+01 | 163.75%
770.07/770.38 c 770s| 14900 | 14901 | 2198k| 147.3 | 35M| 108 | 246 | 400 | 931 | 400 | 601 | 0 | 434 |2777 |-8.703130e+01 |-3.300000e+01 | 163.73%
772.87/773.18 c 773s| 15000 | 15001 | 2209k| 147.1 | 35M| 108 | 210 | 400 | 931 | 400 | 601 | 0 | 436 |2777 |-8.703092e+01 |-3.300000e+01 | 163.73%
776.07/776.31 c 776s| 15100 | 15101 | 2221k| 146.9 | 35M| 108 | 177 | 400 | 930 | 400 | 601 | 0 | 436 |2792 |-8.699208e+01 |-3.300000e+01 | 163.61%
779.37/779.65 c 780s| 15200 | 15201 | 2232k| 146.6 | 35M| 108 | 145 | 400 | 937 | 400 | 601 | 0 | 443 |2820 |-8.699123e+01 |-3.300000e+01 | 163.61%
782.07/782.39 c 782s| 15300 | 15301 | 2242k| 146.3 | 35M| 108 | 149 | 400 | 937 | 400 | 601 | 0 | 444 |2829 |-8.698635e+01 |-3.300000e+01 | 163.59%
784.57/784.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.57/784.86 c 785s| 15400 | 15401 | 2253k| 146.1 | 35M| 108 | 129 | 400 | 934 | 400 | 601 | 0 | 444 |2830 |-8.698232e+01 |-3.300000e+01 | 163.58%
787.27/787.52 c 788s| 15500 | 15501 | 2266k| 146.0 | 36M| 108 | 148 | 400 | 934 | 400 | 601 | 0 | 444 |2830 |-8.698159e+01 |-3.300000e+01 | 163.58%
790.17/790.42 c 790s| 15600 | 15601 | 2278k| 145.8 | 36M| 108 | 118 | 400 | 939 | 400 | 601 | 0 | 449 |2830 |-8.698159e+01 |-3.300000e+01 | 163.58%
792.97/793.26 c 793s| 15700 | 15701 | 2289k| 145.6 | 36M| 108 | 309 | 400 | 938 | 400 | 601 | 0 | 449 |2843 |-8.698042e+01 |-3.300000e+01 | 163.58%
796.08/796.37 c 796s| 15800 | 15801 | 2300k| 145.3 | 36M| 108 | 298 | 400 | 937 | 400 | 601 | 0 | 450 |2861 |-8.696967e+01 |-3.300000e+01 | 163.54%
799.66/799.98 c 800s| 15900 | 15901 | 2314k| 145.3 | 36M| 108 | 272 | 400 | 936 | 400 | 601 | 0 | 450 |2881 |-8.696565e+01 |-3.300000e+01 | 163.53%
803.17/803.44 c 803s| 16000 | 16001 | 2334k| 145.7 | 36M| 108 | 232 | 400 | 938 | 400 | 601 | 0 | 455 |2885 |-8.696321e+01 |-3.300000e+01 | 163.52%
805.97/806.22 c 806s| 16100 | 16101 | 2348k| 145.7 | 36M| 108 | 201 | 400 | 938 | 400 | 601 | 0 | 457 |2885 |-8.695035e+01 |-3.300000e+01 | 163.49%
808.46/808.70 c 809s| 16200 | 16201 | 2359k| 145.4 | 36M| 108 | 200 | 400 | 937 | 400 | 601 | 0 | 457 |2885 |-8.694385e+01 |-3.300000e+01 | 163.47%
810.86/811.10 c 811s| 16300 | 16301 | 2369k| 145.2 | 37M| 108 | 172 | 400 | 937 | 400 | 601 | 0 | 459 |2885 |-8.694166e+01 |-3.300000e+01 | 163.46%
813.67/813.96 c 814s| 16400 | 16401 | 2380k| 144.9 | 37M| 108 | 161 | 400 | 941 | 400 | 601 | 0 | 464 |2911 |-8.691062e+01 |-3.300000e+01 | 163.37%
816.97/817.21 c 817s| 16500 | 16501 | 2392k| 144.8 | 37M| 108 | 141 | 400 | 938 | 400 | 601 | 0 | 464 |2922 |-8.690722e+01 |-3.300000e+01 | 163.36%
819.86/820.12 c 820s| 16600 | 16601 | 2406k| 144.8 | 37M| 108 | 128 | 400 | 935 | 400 | 601 | 0 | 464 |2924 |-8.689368e+01 |-3.300000e+01 | 163.31%
822.87/823.13 c 823s| 16700 | 16701 | 2421k| 144.8 | 37M| 108 | 122 | 400 | 939 | 400 | 601 | 0 | 474 |2924 |-8.689368e+01 |-3.300000e+01 | 163.31%
825.57/825.81 c 826s| 16800 | 16801 | 2432k| 144.6 | 37M| 108 | 305 | 400 | 938 | 400 | 601 | 0 | 475 |2924 |-8.688467e+01 |-3.300000e+01 | 163.29%
828.76/829.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.76/829.01 c 829s| 16900 | 16901 | 2443k| 144.4 | 37M| 108 | 277 | 400 | 937 | 400 | 601 | 0 | 475 |2941 |-8.688135e+01 |-3.300000e+01 | 163.28%
832.16/832.49 c 832s| 17000 | 17001 | 2455k| 144.2 | 37M| 108 | 261 | 400 | 935 | 400 | 601 | 0 | 475 |2965 |-8.687340e+01 |-3.300000e+01 | 163.25%
835.56/835.85 c 836s| 17100 | 17101 | 2468k| 144.2 | 37M| 108 | 255 | 400 | 945 | 400 | 601 | 0 | 486 |2971 |-8.686401e+01 |-3.300000e+01 | 163.22%
838.16/838.42 c 838s| 17200 | 17201 | 2481k| 144.1 | 38M| 108 | 195 | 400 | 966 | 400 | 601 | 0 | 512 |2971 |-8.686322e+01 |-3.300000e+01 | 163.22%
841.16/841.42 c 841s| 17300 | 17301 | 2494k| 144.0 | 38M| 108 | 205 | 400 | 978 | 400 | 601 | 0 | 526 |2975 |-8.683274e+01 |-3.300000e+01 | 163.13%
844.16/844.47 c 844s| 17400 | 17401 | 2510k| 144.1 | 38M| 108 | 169 | 400 | 997 | 400 | 601 | 0 | 546 |2978 |-8.682084e+01 |-3.300000e+01 | 163.09%
847.06/847.30 c 847s| 17500 | 17501 | 2522k| 143.9 | 38M| 108 | 147 | 400 | 997 | 400 | 601 | 0 | 547 |2990 |-8.682064e+01 |-3.300000e+01 | 163.09%
850.35/850.67 c 851s| 17600 | 17601 | 2535k| 143.9 | 38M| 108 | 140 | 400 | 996 | 400 | 601 | 0 | 547 |3011 |-8.679312e+01 |-3.300000e+01 | 163.01%
854.25/854.60 c 855s| 17700 | 17701 | 2548k| 143.8 | 38M| 108 | 122 | 400 |1002 | 400 | 601 | 0 | 556 |3028 |-8.678820e+01 |-3.300000e+01 | 162.99%
857.25/857.52 c 858s| 17800 | 17801 | 2562k| 143.7 | 38M| 108 | 121 | 400 |1006 | 400 | 601 | 0 | 560 |3028 |-8.678820e+01 |-3.300000e+01 | 162.99%
860.35/860.69 c 861s| 17900 | 17901 | 2573k| 143.6 | 38M| 108 | 319 | 400 |1004 | 400 | 601 | 0 | 560 |3036 |-8.676534e+01 |-3.300000e+01 | 162.93%
863.34/863.69 c 864s| 18000 | 18001 | 2587k| 143.5 | 39M| 108 | 309 | 400 |1003 | 400 | 601 | 0 | 560 |3036 |-8.676143e+01 |-3.300000e+01 | 162.91%
865.85/866.19 c 866s| 18100 | 18101 | 2598k| 143.4 | 39M| 108 | 257 | 400 |1005 | 400 | 601 | 0 | 564 |3036 |-8.674774e+01 |-3.300000e+01 | 162.87%
869.55/869.85 c 870s| 18200 | 18201 | 2612k| 143.3 | 39M| 108 | 233 | 400 |1005 | 400 | 601 | 0 | 567 |3064 |-8.674543e+01 |-3.300000e+01 | 162.86%
873.35/873.69 c 874s| 18300 | 18301 | 2624k| 143.2 | 39M| 108 | 195 | 400 |1000 | 400 | 601 | 0 | 567 |3085 |-8.673906e+01 |-3.300000e+01 | 162.85%
876.15/876.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.15/876.47 c 876s| 18400 | 18401 | 2638k| 143.2 | 39M| 108 | 170 | 400 | 998 | 400 | 601 | 0 | 570 |3085 |-8.671566e+01 |-3.300000e+01 | 162.77%
878.65/878.90 c 879s| 18500 | 18501 | 2648k| 142.9 | 39M| 108 | 162 | 400 | 997 | 400 | 601 | 0 | 570 |3086 |-8.670316e+01 |-3.300000e+01 | 162.74%
881.04/881.38 c 881s| 18600 | 18601 | 2658k| 142.7 | 39M| 108 | 145 | 400 | 997 | 400 | 601 | 0 | 570 |3089 |-8.667711e+01 |-3.300000e+01 | 162.66%
883.45/883.75 c 884s| 18700 | 18701 | 2669k| 142.5 | 39M| 108 | 123 | 400 | 996 | 400 | 601 | 0 | 570 |3089 |-8.667476e+01 |-3.300000e+01 | 162.65%
886.64/886.98 c 887s| 18800 | 18801 | 2682k| 142.5 | 40M| 108 | 103 | 400 |1004 | 400 | 601 | 0 | 580 |3106 |-8.667182e+01 |-3.300000e+01 | 162.64%
889.95/890.20 c 890s| 18900 | 18901 | 2694k| 142.4 | 40M| 108 | 118 | 400 |1002 | 400 | 601 | 0 | 580 |3130 |-8.667182e+01 |-3.300000e+01 | 162.64%
892.74/893.07 c 893s| 19000 | 19001 | 2706k| 142.3 | 40M| 108 | 317 | 400 | 999 | 400 | 601 | 0 | 580 |3134 |-8.665616e+01 |-3.300000e+01 | 162.59%
895.64/895.94 c 896s| 19100 | 19101 | 2717k| 142.1 | 40M| 108 | 288 | 400 |1005 | 400 | 601 | 0 | 586 |3140 |-8.664741e+01 |-3.300000e+01 | 162.57%
898.44/898.72 c 899s| 19200 | 19201 | 2729k| 142.0 | 40M| 108 | 237 | 400 |1001 | 400 | 601 | 0 | 586 |3142 |-8.664513e+01 |-3.300000e+01 | 162.56%
901.24/901.55 c 902s| 19300 | 19301 | 2740k| 141.8 | 40M| 108 | 257 | 400 | 999 | 400 | 601 | 0 | 586 |3142 |-8.664415e+01 |-3.300000e+01 | 162.56%
904.34/904.65 c 905s| 19400 | 19401 | 2752k| 141.7 | 40M| 108 | 219 | 400 | 998 | 400 | 601 | 0 | 586 |3156 |-8.662554e+01 |-3.300000e+01 | 162.50%
907.15/907.48 c 907s| 19500 | 19501 | 2766k| 141.7 | 40M| 108 | 208 | 400 |1001 | 400 | 601 | 0 | 592 |3165 |-8.661550e+01 |-3.300000e+01 | 162.47%
910.64/910.95 c 911s| 19600 | 19601 | 2778k| 141.6 | 41M| 108 | 125 | 400 |1001 | 400 | 601 | 0 | 592 |3183 |-8.660408e+01 |-3.300000e+01 | 162.44%
913.23/913.52 c 914s| 19700 | 19701 | 2789k| 141.4 | 41M| 108 | 153 | 400 |1000 | 400 | 601 | 0 | 592 |3185 |-8.659509e+01 |-3.300000e+01 | 162.41%
916.13/916.41 c 916s| 19800 | 19801 | 2803k| 141.4 | 41M| 108 | 104 | 400 |1000 | 400 | 601 | 0 | 593 |3185 |-8.658711e+01 |-3.300000e+01 | 162.39%
919.24/919.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.24/919.53 c 920s| 19900 | 19901 | 2820k| 141.6 | 41M| 108 | 97 | 400 | 999 | 400 | 601 | 0 | 594 |3185 |-8.657016e+01 |-3.300000e+01 | 162.33%
922.34/922.60 c 923s| 20000 | 20001 | 2834k| 141.5 | 41M| 108 | 104 | 400 | 999 | 400 | 601 | 0 | 595 |3189 |-8.657016e+01 |-3.300000e+01 | 162.33%
926.34/926.60 c 927s| 20100 | 20101 | 2846k| 141.4 | 41M| 108 | 321 | 400 | 995 | 400 | 601 | 0 | 595 |3225 |-8.656533e+01 |-3.300000e+01 | 162.32%
929.33/929.61 c 930s| 20200 | 20201 | 2858k| 141.3 | 41M| 108 | 285 | 400 | 991 | 400 | 601 | 0 | 595 |3236 |-8.656477e+01 |-3.300000e+01 | 162.32%
932.13/932.49 c 932s| 20300 | 20301 | 2870k| 141.2 | 41M| 108 | 241 | 400 | 995 | 400 | 601 | 0 | 601 |3241 |-8.654485e+01 |-3.300000e+01 | 162.26%
934.83/935.12 c 935s| 20400 | 20401 | 2882k| 141.1 | 42M| 108 | 226 | 400 | 995 | 400 | 601 | 0 | 602 |3243 |-8.653828e+01 |-3.300000e+01 | 162.24%
937.53/937.87 c 938s| 20500 | 20501 | 2894k| 141.0 | 42M| 108 | 190 | 400 | 994 | 400 | 601 | 0 | 602 |3243 |-8.653169e+01 |-3.300000e+01 | 162.22%
940.24/940.57 c 941s| 20600 | 20601 | 2908k| 141.0 | 42M| 108 | 160 | 400 | 991 | 400 | 601 | 0 | 605 |3243 |-8.653169e+01 |-3.300000e+01 | 162.22%
943.54/943.82 c 944s| 20700 | 20701 | 2921k| 141.0 | 42M| 108 | 149 | 400 | 997 | 400 | 601 | 0 | 612 |3253 |-8.653140e+01 |-3.300000e+01 | 162.22%
946.83/947.15 c 947s| 20800 | 20801 | 2932k| 140.8 | 42M| 108 | 129 | 400 | 993 | 400 | 601 | 0 | 612 |3284 |-8.652176e+01 |-3.300000e+01 | 162.19%
949.42/949.75 c 950s| 20900 | 20901 | 2942k| 140.6 | 42M| 108 | 113 | 400 | 990 | 400 | 601 | 0 | 613 |3291 |-8.651088e+01 |-3.300000e+01 | 162.15%
952.24/952.55 c 953s| 21000 | 21001 | 2954k| 140.5 | 42M| 108 | 123 | 400 | 998 | 400 | 601 | 0 | 622 |3297 |-8.650838e+01 |-3.300000e+01 | 162.15%
955.13/955.43 c 955s| 21100 | 21101 | 2967k| 140.5 | 42M| 108 | 104 | 400 | 995 | 400 | 601 | 0 | 622 |3299 |-8.650838e+01 |-3.300000e+01 | 162.15%
957.93/958.22 c 958s| 21200 | 21201 | 2981k| 140.5 | 42M| 108 | 317 | 400 | 988 | 400 | 601 | 0 | 622 |3299 |-8.650195e+01 |-3.300000e+01 | 162.13%
960.43/960.75 c 961s| 21300 | 21301 | 2993k| 140.4 | 43M| 108 | 305 | 400 | 986 | 400 | 601 | 0 | 627 |3299 |-8.649642e+01 |-3.300000e+01 | 162.11%
963.92/964.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.92/964.25 c 964s| 21400 | 21401 | 3006k| 140.3 | 43M| 108 | 272 | 400 | 984 | 400 | 601 | 0 | 628 |3313 |-8.648914e+01 |-3.300000e+01 | 162.09%
966.72/967.01 c 967s| 21500 | 21501 | 3016k| 140.1 | 43M| 108 | 214 | 400 | 981 | 400 | 601 | 0 | 628 |3330 |-8.647714e+01 |-3.300000e+01 | 162.05%
970.02/970.37 c 970s| 21600 | 21601 | 3030k| 140.1 | 43M| 108 | 225 | 400 | 979 | 400 | 601 | 0 | 628 |3343 |-8.647204e+01 |-3.300000e+01 | 162.04%
972.82/973.14 c 973s| 21700 | 21701 | 3041k| 140.0 | 43M| 108 | 196 | 400 | 976 | 400 | 601 | 0 | 628 |3344 |-8.647028e+01 |-3.300000e+01 | 162.03%
975.62/975.95 c 976s| 21800 | 21801 | 3053k| 139.9 | 43M| 108 | 176 | 400 | 976 | 400 | 601 | 0 | 631 |3348 |-8.646575e+01 |-3.300000e+01 | 162.02%
978.22/978.51 c 979s| 21900 | 21901 | 3065k| 139.8 | 43M| 108 | 127 | 400 | 976 | 400 | 601 | 0 | 631 |3348 |-8.645512e+01 |-3.300000e+01 | 161.99%
981.11/981.46 c 981s| 22000 | 22001 | 3077k| 139.7 | 43M| 108 | 114 | 400 | 975 | 400 | 601 | 0 | 631 |3349 |-8.644944e+01 |-3.300000e+01 | 161.97%
983.91/984.29 c 984s| 22100 | 22101 | 3090k| 139.7 | 44M| 108 | 109 | 400 | 978 | 400 | 601 | 0 | 635 |3367 |-8.644249e+01 |-3.300000e+01 | 161.95%
986.72/987.08 c 987s| 22200 | 22201 | 3103k| 139.6 | 44M| 108 | 115 | 400 | 974 | 400 | 601 | 0 | 636 |3376 |-8.644249e+01 |-3.300000e+01 | 161.95%
990.41/990.75 c 991s| 22300 | 22301 | 3115k| 139.5 | 44M| 108 | 318 | 400 | 973 | 400 | 601 | 0 | 636 |3390 |-8.643090e+01 |-3.300000e+01 | 161.91%
993.21/993.57 c 994s| 22400 | 22401 | 3126k| 139.4 | 44M| 108 | 283 | 400 | 971 | 400 | 601 | 0 | 637 |3391 |-8.641904e+01 |-3.300000e+01 | 161.88%
995.51/995.89 c 996s| 22500 | 22501 | 3137k| 139.3 | 44M| 108 | 246 | 400 | 969 | 400 | 601 | 0 | 637 |3391 |-8.641801e+01 |-3.300000e+01 | 161.87%
998.21/998.50 c 999s| 22600 | 22601 | 3148k| 139.1 | 44M| 108 | 225 | 400 | 972 | 400 | 601 | 0 | 643 |3391 |-8.641711e+01 |-3.300000e+01 | 161.87%
1000.51/1000.87 c 1001s| 22700 | 22701 | 3159k| 139.0 | 44M| 108 | 226 | 400 | 969 | 400 | 601 | 0 | 643 |3392 |-8.641153e+01 |-3.300000e+01 | 161.85%
1003.41/1003.73 c 1004s| 22800 | 22801 | 3172k| 139.0 | 44M| 108 | 148 | 400 | 965 | 400 | 601 | 0 | 643 |3405 |-8.640683e+01 |-3.300000e+01 | 161.84%
1006.51/1006.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.51/1006.87 c 1007s| 22900 | 22901 | 3184k| 138.9 | 45M| 108 | 185 | 400 | 961 | 400 | 601 | 0 | 645 |3422 |-8.640276e+01 |-3.300000e+01 | 161.83%
1009.71/1010.06 c 1010s| 23000 | 23001 | 3201k| 139.0 | 45M| 108 | 155 | 400 | 965 | 400 | 601 | 0 | 652 |3429 |-8.636977e+01 |-3.300000e+01 | 161.73%
1012.91/1013.20 c 1013s| 23100 | 23101 | 3215k| 139.0 | 45M| 108 | 140 | 400 | 963 | 400 | 601 | 0 | 652 |3429 |-8.636976e+01 |-3.300000e+01 | 161.73%
1015.31/1015.67 c 1016s| 23200 | 23201 | 3225k| 138.9 | 45M| 108 | 121 | 400 | 963 | 400 | 601 | 0 | 652 |3429 |-8.636688e+01 |-3.300000e+01 | 161.72%
1018.21/1018.53 c 1019s| 23300 | 23301 | 3239k| 138.9 | 45M| 108 | 104 | 400 | 963 | 400 | 601 | 0 | 652 |3429 |-8.636688e+01 |-3.300000e+01 | 161.72%
1020.71/1021.06 c 1021s| 23400 | 23401 | 3251k| 138.8 | 45M| 108 | 317 | 400 | 966 | 400 | 601 | 0 | 656 |3429 |-8.636017e+01 |-3.300000e+01 | 161.70%
1023.61/1023.99 c 1024s| 23500 | 23501 | 3262k| 138.7 | 45M| 108 | 293 | 400 | 965 | 400 | 601 | 0 | 656 |3449 |-8.635678e+01 |-3.300000e+01 | 161.69%
1026.81/1027.19 c 1027s| 23600 | 23601 | 3274k| 138.6 | 45M| 108 | 259 | 400 | 964 | 400 | 601 | 0 | 656 |3465 |-8.635551e+01 |-3.300000e+01 | 161.68%
1029.70/1030.08 c 1030s| 23700 | 23701 | 3286k| 138.5 | 45M| 108 | 201 | 400 | 968 | 400 | 601 | 0 | 661 |3470 |-8.635014e+01 |-3.300000e+01 | 161.67%
1032.71/1033.04 c 1033s| 23800 | 23801 | 3298k| 138.4 | 46M| 108 | 206 | 400 | 964 | 400 | 601 | 0 | 661 |3476 |-8.634840e+01 |-3.300000e+01 | 161.66%
1035.71/1036.01 c 1036s| 23900 | 23901 | 3315k| 138.6 | 46M| 108 | 164 | 400 | 960 | 400 | 601 | 0 | 661 |3476 |-8.634143e+01 |-3.300000e+01 | 161.64%
1038.41/1038.79 c 1039s| 24000 | 24001 | 3332k| 138.7 | 46M| 108 | 160 | 400 | 956 | 400 | 601 | 0 | 661 |3476 |-8.633412e+01 |-3.300000e+01 | 161.62%
1041.31/1041.64 c 1042s| 24100 | 24101 | 3344k| 138.6 | 46M| 108 | 149 | 400 | 956 | 400 | 601 | 0 | 665 |3484 |-8.631874e+01 |-3.300000e+01 | 161.57%
1044.51/1044.84 c 1045s| 24200 | 24201 | 3356k| 138.5 | 46M| 108 | 127 | 400 | 952 | 400 | 601 | 0 | 665 |3504 |-8.630935e+01 |-3.300000e+01 | 161.54%
1048.31/1048.65 c 1049s| 24300 | 24301 | 3369k| 138.5 | 46M| 108 | 117 | 400 | 951 | 400 | 601 | 0 | 665 |3522 |-8.629622e+01 |-3.300000e+01 | 161.50%
1051.10/1051.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.10/1051.48 c 1051s| 24400 | 24401 | 3380k| 138.4 | 46M| 108 | 99 | 400 | 949 | 400 | 601 | 0 | 665 |3525 |-8.629622e+01 |-3.300000e+01 | 161.50%
1053.60/1053.98 c 1054s| 24500 | 24501 | 3392k| 138.3 | 46M| 108 | 315 | 400 | 948 | 400 | 601 | 0 | 665 |3526 |-8.628850e+01 |-3.300000e+01 | 161.48%
1056.00/1056.36 c 1056s| 24600 | 24601 | 3404k| 138.2 | 47M| 108 | 287 | 400 | 964 | 400 | 601 | 0 | 685 |3526 |-8.628112e+01 |-3.300000e+01 | 161.46%
1059.41/1059.77 c 1060s| 24700 | 24701 | 3421k| 138.4 | 47M| 108 | 229 | 400 | 963 | 400 | 601 | 0 | 685 |3531 |-8.626997e+01 |-3.300000e+01 | 161.42%
1062.10/1062.41 c 1062s| 24800 | 24801 | 3435k| 138.4 | 47M| 108 | 191 | 400 | 965 | 400 | 601 | 0 | 690 |3531 |-8.626775e+01 |-3.300000e+01 | 161.42%
1065.71/1066.05 c 1066s| 24900 | 24901 | 3451k| 138.5 | 47M| 108 | 201 | 400 | 972 | 400 | 601 | 0 | 697 |3544 |-8.626228e+01 |-3.300000e+01 | 161.40%
1069.30/1069.61 c 1070s| 25000 | 25001 | 3469k| 138.6 | 47M| 108 | 195 | 400 | 971 | 400 | 601 | 0 | 699 |3563 |-8.626162e+01 |-3.300000e+01 | 161.40%
1072.00/1072.36 c 1072s| 25100 | 25101 | 3480k| 138.5 | 47M| 108 | 176 | 400 | 970 | 400 | 601 | 0 | 699 |3573 |-8.624591e+01 |-3.300000e+01 | 161.35%
1074.50/1074.86 c 1075s| 25200 | 25201 | 3492k| 138.5 | 47M| 108 | 132 | 400 | 970 | 400 | 601 | 0 | 702 |3574 |-8.624008e+01 |-3.300000e+01 | 161.33%
1077.00/1077.37 c 1077s| 25300 | 25301 | 3507k| 138.5 | 47M| 108 | 124 | 400 | 970 | 400 | 601 | 0 | 703 |3574 |-8.623058e+01 |-3.300000e+01 | 161.30%
1079.40/1079.77 c 1080s| 25400 | 25401 | 3518k| 138.4 | 48M| 108 | 104 | 400 | 967 | 400 | 601 | 0 | 703 |3574 |-8.622198e+01 |-3.300000e+01 | 161.28%
1081.90/1082.29 c 1082s| 25500 | 25501 | 3528k| 138.2 | 48M| 108 | 130 | 400 | 966 | 400 | 601 | 0 | 705 |3574 |-8.622198e+01 |-3.300000e+01 | 161.28%
1085.10/1085.42 c 1085s| 25600 | 25601 | 3540k| 138.2 | 48M| 108 | 317 | 400 | 965 | 400 | 601 | 0 | 705 |3592 |-8.621954e+01 |-3.300000e+01 | 161.27%
1087.70/1088.02 c 1088s| 25700 | 25701 | 3552k| 138.1 | 48M| 108 | 283 | 400 | 963 | 400 | 601 | 0 | 705 |3611 |-8.621226e+01 |-3.300000e+01 | 161.25%
1090.40/1090.78 c 1091s| 25800 | 25801 | 3564k| 138.0 | 48M| 108 | 254 | 400 | 961 | 400 | 601 | 0 | 705 |3614 |-8.621222e+01 |-3.300000e+01 | 161.25%
1093.20/1093.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.20/1093.55 c 1094s| 25900 | 25901 | 3576k| 138.0 | 48M| 108 | 212 | 400 | 968 | 400 | 601 | 0 | 716 |3619 |-8.621104e+01 |-3.300000e+01 | 161.25%
1095.90/1096.27 c 1096s| 26000 | 26001 | 3587k| 137.8 | 48M| 108 | 224 | 400 | 967 | 400 | 601 | 0 | 716 |3628 |-8.620463e+01 |-3.300000e+01 | 161.23%
1098.70/1099.05 c 1099s| 26100 | 26101 | 3601k| 137.9 | 48M| 108 | 190 | 400 | 973 | 400 | 601 | 0 | 725 |3628 |-8.620093e+01 |-3.300000e+01 | 161.21%
1101.81/1102.18 c 1102s| 26200 | 26201 | 3614k| 137.8 | 49M| 108 | 157 | 400 | 971 | 400 | 601 | 0 | 725 |3628 |-8.620078e+01 |-3.300000e+01 | 161.21%
1104.60/1104.96 c 1105s| 26300 | 26301 | 3627k| 137.8 | 49M| 108 | 164 | 400 | 970 | 400 | 601 | 0 | 725 |3636 |-8.619398e+01 |-3.300000e+01 | 161.19%
1107.90/1108.21 c 1108s| 26400 | 26401 | 3639k| 137.7 | 49M| 108 | 109 | 400 | 970 | 400 | 601 | 0 | 725 |3656 |-8.618898e+01 |-3.300000e+01 | 161.18%
1110.99/1111.31 c 1111s| 26500 | 26501 | 3650k| 137.6 | 49M| 108 | 111 | 400 | 975 | 400 | 601 | 0 | 733 |3670 |-8.617029e+01 |-3.300000e+01 | 161.12%
1114.00/1114.30 c 1114s| 26600 | 26601 | 3666k| 137.7 | 49M| 108 | 108 | 400 | 974 | 400 | 601 | 0 | 733 |3672 |-8.617029e+01 |-3.300000e+01 | 161.12%
1116.39/1116.79 c 1117s| 26700 | 26701 | 3677k| 137.6 | 49M| 108 | 319 | 400 | 973 | 400 | 601 | 0 | 734 |3673 |-8.616338e+01 |-3.300000e+01 | 161.10%
1119.29/1119.62 c 1120s| 26800 | 26801 | 3688k| 137.5 | 49M| 108 | 278 | 400 | 982 | 400 | 601 | 0 | 743 |3677 |-8.616048e+01 |-3.300000e+01 | 161.09%
1121.99/1122.33 c 1122s| 26900 | 26901 | 3701k| 137.5 | 49M| 108 | 272 | 400 |1003 | 400 | 601 | 0 | 765 |3677 |-8.615514e+01 |-3.300000e+01 | 161.08%
1124.90/1125.26 c 1125s| 27000 | 27001 | 3714k| 137.4 | 50M| 108 | 241 | 400 |1000 | 400 | 601 | 0 | 765 |3677 |-8.615012e+01 |-3.300000e+01 | 161.06%
1127.99/1128.32 c 1128s| 27100 | 27101 | 3727k| 137.4 | 50M| 108 | 185 | 400 |1008 | 400 | 601 | 0 | 774 |3697 |-8.613491e+01 |-3.300000e+01 | 161.01%
1131.40/1131.76 c 1132s| 27200 | 27201 | 3740k| 137.4 | 50M| 108 | 169 | 400 |1008 | 400 | 601 | 0 | 774 |3714 |-8.612712e+01 |-3.300000e+01 | 160.99%
1134.00/1134.35 c 1134s| 27300 | 27301 | 3752k| 137.3 | 50M| 108 | 143 | 400 |1004 | 400 | 601 | 0 | 774 |3717 |-8.612353e+01 |-3.300000e+01 | 160.98%
1136.69/1137.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.69/1137.02 c 1137s| 27400 | 27401 | 3765k| 137.3 | 50M| 108 | 163 | 400 |1016 | 400 | 601 | 0 | 788 |3717 |-8.612261e+01 |-3.300000e+01 | 160.98%
1139.59/1139.94 c 1140s| 27500 | 27501 | 3780k| 137.3 | 50M| 108 | 118 | 400 |1036 | 400 | 601 | 0 | 811 |3721 |-8.611991e+01 |-3.300000e+01 | 160.97%
1142.29/1142.67 c 1143s| 27600 | 27601 | 3792k| 137.3 | 50M| 108 | 137 | 400 |1035 | 400 | 601 | 0 | 814 |3721 |-8.611964e+01 |-3.300000e+01 | 160.97%
1145.59/1145.90 c 1146s| 27700 | 27701 | 3807k| 137.3 | 50M| 108 | 95 | 400 |1027 | 400 | 601 | 0 | 814 |3721 |-8.611964e+01 |-3.300000e+01 | 160.97%
1149.19/1149.56 c 1150s| 27800 | 27801 | 3818k| 137.2 | 51M| 108 | 316 | 400 |1023 | 400 | 601 | 0 | 814 |3746 |-8.611632e+01 |-3.300000e+01 | 160.96%
1151.59/1151.99 c 1152s| 27900 | 27901 | 3830k| 137.2 | 51M| 108 | 282 | 400 |1032 | 400 | 601 | 0 | 824 |3756 |-8.610730e+01 |-3.300000e+01 | 160.93%
1154.19/1154.58 c 1155s| 28000 | 28001 | 3841k| 137.0 | 51M| 108 | 253 | 400 |1027 | 400 | 601 | 0 | 824 |3765 |-8.610232e+01 |-3.300000e+01 | 160.92%
1156.89/1157.22 c 1157s| 28100 | 28101 | 3852k| 137.0 | 51M| 108 | 232 | 400 |1027 | 400 | 601 | 0 | 825 |3765 |-8.608731e+01 |-3.300000e+01 | 160.87%
1159.89/1160.24 c 1160s| 28200 | 28201 | 3864k| 136.9 | 51M| 108 | 235 | 400 |1024 | 400 | 601 | 0 | 826 |3765 |-8.608551e+01 |-3.300000e+01 | 160.87%
1162.40/1162.71 c 1163s| 28300 | 28301 | 3875k| 136.8 | 51M| 108 | 156 | 400 |1019 | 400 | 601 | 0 | 827 |3765 |-8.608267e+01 |-3.300000e+01 | 160.86%
1164.99/1165.30 c 1165s| 28400 | 28401 | 3890k| 136.9 | 51M| 108 | 142 | 400 |1025 | 400 | 601 | 0 | 835 |3766 |-8.608148e+01 |-3.300000e+01 | 160.85%
1168.49/1168.84 c 1169s| 28500 | 28501 | 3902k| 136.8 | 51M| 108 | 132 | 400 |1024 | 400 | 601 | 0 | 835 |3784 |-8.607769e+01 |-3.300000e+01 | 160.84%
1171.58/1171.98 c 1172s| 28600 | 28601 | 3915k| 136.8 | 52M| 108 | 117 | 400 |1027 | 400 | 601 | 0 | 839 |3791 |-8.607479e+01 |-3.300000e+01 | 160.83%
1174.18/1174.56 c 1175s| 28700 | 28701 | 3927k| 136.7 | 52M| 108 | 112 | 400 |1025 | 400 | 601 | 0 | 840 |3795 |-8.607000e+01 |-3.300000e+01 | 160.82%
1177.28/1177.61 c 1178s| 28800 | 28801 | 3940k| 136.7 | 52M| 108 | 116 | 400 |1022 | 400 | 601 | 0 | 840 |3796 |-8.607000e+01 |-3.300000e+01 | 160.82%
1179.68/1180.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.68/1180.01 c 1180s| 28900 | 28901 | 3951k| 136.6 | 52M| 108 | 306 | 400 |1016 | 400 | 601 | 0 | 840 |3796 |-8.606875e+01 |-3.300000e+01 | 160.81%
1182.99/1183.34 c 1183s| 29000 | 29001 | 3965k| 136.6 | 52M| 108 | 295 | 400 |1015 | 400 | 601 | 0 | 845 |3796 |-8.606259e+01 |-3.300000e+01 | 160.80%
1185.79/1186.10 c 1186s| 29100 | 29101 | 3978k| 136.6 | 52M| 108 | 280 | 400 |1012 | 400 | 601 | 0 | 845 |3796 |-8.605966e+01 |-3.300000e+01 | 160.79%
1188.98/1189.39 c 1189s| 29200 | 29201 | 3991k| 136.6 | 52M| 108 | 208 | 400 |1011 | 400 | 601 | 0 | 845 |3817 |-8.605774e+01 |-3.300000e+01 | 160.78%
1193.09/1193.42 c 1193s| 29300 | 29301 | 4003k| 136.5 | 52M| 108 | 186 | 400 |1009 | 400 | 601 | 0 | 846 |3851 |-8.605410e+01 |-3.300000e+01 | 160.77%
1195.78/1196.13 c 1196s| 29400 | 29401 | 4016k| 136.5 | 52M| 108 | 176 | 400 |1012 | 400 | 601 | 0 | 854 |3851 |-8.605252e+01 |-3.300000e+01 | 160.77%
1198.88/1199.23 c 1199s| 29500 | 29501 | 4029k| 136.5 | 53M| 108 | 140 | 400 |1012 | 400 | 601 | 0 | 854 |3858 |-8.604463e+01 |-3.300000e+01 | 160.74%
1201.48/1201.88 c 1202s| 29600 | 29601 | 4042k| 136.4 | 53M| 108 | 151 | 400 |1005 | 400 | 601 | 0 | 854 |3858 |-8.603506e+01 |-3.300000e+01 | 160.71%
1204.48/1204.85 c 1205s| 29700 | 29701 | 4054k| 136.4 | 53M| 108 | 116 | 400 |1002 | 400 | 601 | 0 | 854 |3862 |-8.602302e+01 |-3.300000e+01 | 160.68%
1207.78/1208.16 c 1208s| 29800 | 29801 | 4072k| 136.5 | 53M| 108 | 99 | 400 | 996 | 400 | 601 | 0 | 854 |3862 |-8.601511e+01 |-3.300000e+01 | 160.65%
1210.28/1210.66 c 1211s| 29900 | 29901 | 4085k| 136.5 | 53M| 108 | 107 | 400 | 993 | 400 | 601 | 0 | 855 |3862 |-8.601511e+01 |-3.300000e+01 | 160.65%
1212.78/1213.19 c 1213s| 30000 | 30001 | 4096k| 136.4 | 53M| 108 | 308 | 400 | 988 | 400 | 601 | 0 | 857 |3871 |-8.599494e+01 |-3.300000e+01 | 160.59%
1216.28/1216.65 c 1217s| 30100 | 30101 | 4108k| 136.4 | 53M| 108 | 293 | 400 | 984 | 400 | 601 | 0 | 857 |3894 |-8.598602e+01 |-3.300000e+01 | 160.56%
1219.38/1219.74 c 1220s| 30200 | 30201 | 4120k| 136.3 | 53M| 108 | 270 | 400 | 979 | 400 | 601 | 0 | 857 |3898 |-8.598435e+01 |-3.300000e+01 | 160.56%
1222.57/1222.96 c 1223s| 30300 | 30301 | 4133k| 136.3 | 54M| 108 | 221 | 400 | 992 | 400 | 601 | 0 | 873 |3901 |-8.598182e+01 |-3.300000e+01 | 160.55%
1225.08/1225.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.08/1225.49 c 1225s| 30400 | 30401 | 4144k| 136.2 | 54M| 108 | 177 | 400 | 988 | 400 | 601 | 0 | 873 |3901 |-8.597657e+01 |-3.300000e+01 | 160.54%
1227.97/1228.39 c 1228s| 30500 | 30501 | 4162k| 136.4 | 54M| 108 | 157 | 400 | 984 | 400 | 601 | 0 | 873 |3901 |-8.596802e+01 |-3.300000e+01 | 160.51%
1230.67/1231.05 c 1231s| 30600 | 30601 | 4174k| 136.3 | 54M| 108 | 152 | 400 | 980 | 400 | 601 | 0 | 873 |3902 |-8.596762e+01 |-3.300000e+01 | 160.51%
1233.27/1233.69 c 1234s| 30700 | 30701 | 4186k| 136.3 | 54M| 108 | 122 | 400 | 972 | 400 | 601 | 0 | 873 |3902 |-8.595552e+01 |-3.300000e+01 | 160.47%
1236.57/1236.90 c 1237s| 30800 | 30801 | 4199k| 136.2 | 54M| 108 | 132 | 400 | 973 | 400 | 601 | 0 | 875 |3925 |-8.595442e+01 |-3.300000e+01 | 160.47%
1239.67/1240.06 c 1240s| 30900 | 30901 | 4213k| 136.2 | 54M| 108 | 102 | 400 | 970 | 400 | 601 | 0 | 875 |3933 |-8.594078e+01 |-3.300000e+01 | 160.43%
1242.47/1242.89 c 1243s| 31000 | 31001 | 4225k| 136.2 | 54M| 108 | 131 | 400 | 966 | 400 | 601 | 0 | 875 |3933 |-8.594078e+01 |-3.300000e+01 | 160.43%
1245.37/1245.71 c 1246s| 31100 | 31101 | 4238k| 136.2 | 55M| 108 | 319 | 400 | 968 | 400 | 601 | 0 | 878 |3935 |-8.593890e+01 |-3.300000e+01 | 160.42%
1247.97/1248.40 c 1248s| 31200 | 31201 | 4250k| 136.1 | 55M| 108 | 283 | 400 | 966 | 400 | 601 | 0 | 878 |3935 |-8.593286e+01 |-3.300000e+01 | 160.40%
1250.18/1250.55 c 1251s| 31300 | 31301 | 4260k| 136.0 | 55M| 108 | 242 | 400 | 964 | 400 | 601 | 0 | 878 |3937 |-8.592378e+01 |-3.300000e+01 | 160.38%
1252.77/1253.15 c 1253s| 31400 | 31401 | 4273k| 136.0 | 55M| 108 | 205 | 400 | 966 | 400 | 601 | 0 | 886 |3943 |-8.592150e+01 |-3.300000e+01 | 160.37%
1255.57/1255.93 c 1256s| 31500 | 31501 | 4287k| 136.0 | 55M| 108 | 189 | 400 | 963 | 400 | 601 | 0 | 887 |3959 |-8.590913e+01 |-3.300000e+01 | 160.33%
1258.97/1259.40 c 1259s| 31600 | 31601 | 4299k| 136.0 | 55M| 108 | 169 | 400 | 959 | 400 | 601 | 0 | 887 |3972 |-8.590432e+01 |-3.300000e+01 | 160.32%
1261.97/1262.37 c 1262s| 31700 | 31701 | 4312k| 135.9 | 55M| 108 | 179 | 400 | 959 | 400 | 601 | 0 | 890 |3972 |-8.590415e+01 |-3.300000e+01 | 160.32%
1265.07/1265.48 c 1265s| 31800 | 31801 | 4325k| 135.9 | 55M| 108 | 166 | 400 | 957 | 400 | 601 | 0 | 890 |3975 |-8.590368e+01 |-3.300000e+01 | 160.31%
1267.57/1267.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.57/1267.92 c 1268s| 31900 | 31901 | 4337k| 135.8 | 56M| 108 | 105 | 400 | 956 | 400 | 601 | 0 | 890 |3975 |-8.589494e+01 |-3.300000e+01 | 160.29%
1269.77/1270.14 c 1270s| 32000 | 32001 | 4347k| 135.7 | 56M| 108 | 104 | 400 | 954 | 400 | 601 | 0 | 891 |3975 |-8.589236e+01 |-3.300000e+01 | 160.28%
1272.27/1272.62 c 1273s| 32100 | 32101 | 4362k| 135.8 | 56M| 108 | 105 | 400 | 953 | 400 | 601 | 0 | 893 |3975 |-8.589236e+01 |-3.300000e+01 | 160.28%
1275.37/1275.76 c 1276s| 32200 | 32201 | 4374k| 135.7 | 56M| 108 | 317 | 400 | 951 | 400 | 601 | 0 | 893 |3993 |-8.588548e+01 |-3.300000e+01 | 160.26%
1278.16/1278.52 c 1279s| 32300 | 32301 | 4387k| 135.7 | 56M| 108 | 281 | 400 | 951 | 400 | 601 | 0 | 893 |3998 |-8.587856e+01 |-3.300000e+01 | 160.24%
1280.47/1280.80 c 1281s| 32400 | 32401 | 4398k| 135.6 | 56M| 108 | 230 | 400 | 951 | 400 | 601 | 0 | 895 |3998 |-8.586872e+01 |-3.300000e+01 | 160.21%
1286.46/1286.84 c 1287s| 32500 | 32501 | 4410k| 135.6 | 56M| 108 | 231 | 400 | 949 | 400 | 601 | 0 | 895 |3999 |-8.586698e+01 |-3.300000e+01 | 160.20%
1289.36/1289.76 c 1290s| 32600 | 32601 | 4422k| 135.5 | 56M| 108 | 224 | 400 | 949 | 400 | 601 | 0 | 895 |3999 |-8.586624e+01 |-3.300000e+01 | 160.20%
1291.96/1292.31 c 1292s| 32700 | 32701 | 4433k| 135.5 | 56M| 108 | 161 | 400 | 948 | 400 | 601 | 0 | 895 |4002 |-8.586006e+01 |-3.300000e+01 | 160.18%
1294.37/1294.78 c 1295s| 32800 | 32801 | 4444k| 135.4 | 57M| 108 | 152 | 400 | 952 | 400 | 601 | 0 | 901 |4002 |-8.585153e+01 |-3.300000e+01 | 160.16%
1297.57/1297.97 c 1298s| 32900 | 32901 | 4457k| 135.4 | 57M| 108 | 127 | 400 | 948 | 400 | 601 | 0 | 901 |4026 |-8.585042e+01 |-3.300000e+01 | 160.15%
1300.16/1300.55 c 1301s| 33000 | 33001 | 4468k| 135.3 | 57M| 108 | 115 | 400 | 947 | 400 | 601 | 0 | 902 |4031 |-8.584326e+01 |-3.300000e+01 | 160.13%
1302.76/1303.10 c 1303s| 33100 | 33101 | 4481k| 135.3 | 57M| 108 | 119 | 400 | 961 | 400 | 601 | 0 | 918 |4032 |-8.584326e+01 |-3.300000e+01 | 160.13%
1305.06/1305.47 c 1305s| 33200 | 33201 | 4495k| 135.3 | 57M| 108 | 105 | 400 | 961 | 400 | 601 | 0 | 918 |4032 |-8.584326e+01 |-3.300000e+01 | 160.13%
1307.66/1308.09 c 1308s| 33300 | 33301 | 4507k| 135.2 | 57M| 108 | 321 | 400 | 957 | 400 | 601 | 0 | 918 |4032 |-8.583567e+01 |-3.300000e+01 | 160.11%
1310.16/1310.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.16/1310.55 c 1311s| 33400 | 33401 | 4518k| 135.2 | 57M| 108 | 283 | 400 | 958 | 400 | 601 | 0 | 924 |4032 |-8.582112e+01 |-3.300000e+01 | 160.06%
1312.46/1312.86 c 1313s| 33500 | 33501 | 4528k| 135.1 | 57M| 108 | 257 | 400 | 956 | 400 | 601 | 0 | 924 |4032 |-8.581245e+01 |-3.300000e+01 | 160.04%
1315.96/1316.31 c 1316s| 33600 | 33601 | 4539k| 135.0 | 58M| 108 | 188 | 400 | 954 | 400 | 601 | 0 | 925 |4055 |-8.580929e+01 |-3.300000e+01 | 160.03%
1318.47/1318.82 c 1319s| 33700 | 33701 | 4550k| 134.9 | 58M| 108 | 183 | 400 | 950 | 400 | 601 | 0 | 925 |4059 |-8.580409e+01 |-3.300000e+01 | 160.01%
1321.06/1321.48 c 1321s| 33800 | 33801 | 4562k| 134.9 | 58M| 108 | 209 | 400 | 955 | 400 | 601 | 0 | 932 |4068 |-8.579788e+01 |-3.300000e+01 | 159.99%
1323.97/1324.37 c 1324s| 33900 | 33901 | 4577k| 134.9 | 58M| 108 | 147 | 400 | 952 | 400 | 601 | 0 | 932 |4068 |-8.579529e+01 |-3.300000e+01 | 159.99%
1326.75/1327.15 c 1327s| 34000 | 34001 | 4592k| 135.0 | 58M| 108 | 159 | 400 | 956 | 400 | 601 | 0 | 937 |4069 |-8.578701e+01 |-3.300000e+01 | 159.96%
1329.15/1329.54 c 1330s| 34100 | 34101 | 4603k| 134.9 | 58M| 108 | 134 | 400 | 956 | 400 | 601 | 0 | 937 |4069 |-8.578602e+01 |-3.300000e+01 | 159.96%
1331.76/1332.18 c 1332s| 34200 | 34201 | 4614k| 134.8 | 58M| 108 | 151 | 400 | 951 | 400 | 601 | 0 | 937 |4069 |-8.578390e+01 |-3.300000e+01 | 159.95%
1334.36/1334.74 c 1335s| 34300 | 34301 | 4625k| 134.8 | 58M| 108 | 107 | 400 | 948 | 400 | 601 | 0 | 937 |4077 |-8.578390e+01 |-3.300000e+01 | 159.95%
1337.06/1337.45 c 1337s| 34400 | 34401 | 4637k| 134.7 | 59M| 108 | 315 | 400 | 944 | 400 | 601 | 0 | 937 |4082 |-8.577612e+01 |-3.300000e+01 | 159.93%
1340.36/1340.74 c 1341s| 34500 | 34501 | 4651k| 134.7 | 59M| 108 | 288 | 400 | 947 | 400 | 601 | 0 | 943 |4094 |-8.575954e+01 |-3.300000e+01 | 159.88%
1342.86/1343.29 c 1343s| 34600 | 34601 | 4663k| 134.7 | 59M| 108 | 234 | 400 | 946 | 400 | 601 | 0 | 943 |4094 |-8.575773e+01 |-3.300000e+01 | 159.87%
1345.76/1346.13 c 1346s| 34700 | 34701 | 4676k| 134.7 | 59M| 108 | 206 | 400 | 943 | 400 | 601 | 0 | 943 |4095 |-8.575147e+01 |-3.300000e+01 | 159.85%
1348.05/1348.44 c 1348s| 34800 | 34801 | 4688k| 134.6 | 59M| 108 | 174 | 400 | 942 | 400 | 601 | 0 | 946 |4095 |-8.574825e+01 |-3.300000e+01 | 159.84%
1350.56/1350.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.56/1350.97 c 1351s| 34900 | 34901 | 4701k| 134.6 | 59M| 108 | 174 | 400 | 941 | 400 | 601 | 0 | 946 |4095 |-8.574511e+01 |-3.300000e+01 | 159.83%
1352.95/1353.30 c 1353s| 35000 | 35001 | 4712k| 134.5 | 59M| 108 | 157 | 400 | 938 | 400 | 601 | 0 | 946 |4099 |-8.574265e+01 |-3.300000e+01 | 159.83%
1355.75/1356.19 c 1356s| 35100 | 35101 | 4724k| 134.5 | 59M| 108 | 171 | 400 | 941 | 400 | 601 | 0 | 952 |4114 |-8.574028e+01 |-3.300000e+01 | 159.82%
1358.66/1359.05 c 1359s| 35200 | 35201 | 4738k| 134.5 | 60M| 108 | 110 | 400 | 941 | 400 | 601 | 0 | 952 |4120 |-8.574025e+01 |-3.300000e+01 | 159.82%
1360.95/1361.34 c 1361s| 35300 | 35301 | 4749k| 134.4 | 60M| 108 | 102 | 400 | 936 | 400 | 601 | 0 | 952 |4120 |-8.573853e+01 |-3.300000e+01 | 159.81%
1363.05/1363.49 c 1363s| 35400 | 35401 | 4760k| 134.4 | 60M| 108 | 99 | 400 | 933 | 400 | 601 | 0 | 953 |4120 |-8.573853e+01 |-3.300000e+01 | 159.81%
1365.45/1365.81 c 1366s| 35500 | 35501 | 4770k| 134.3 | 60M| 108 | 318 | 400 | 932 | 400 | 601 | 0 | 953 |4124 |-8.573354e+01 |-3.300000e+01 | 159.80%
1367.95/1368.40 c 1368s| 35600 | 35601 | 4784k| 134.3 | 60M| 108 | 265 | 400 | 937 | 400 | 601 | 0 | 961 |4124 |-8.573168e+01 |-3.300000e+01 | 159.79%
1370.55/1370.93 c 1371s| 35700 | 35701 | 4796k| 134.2 | 60M| 108 | 256 | 400 | 935 | 400 | 601 | 0 | 961 |4124 |-8.572376e+01 |-3.300000e+01 | 159.77%
1373.05/1373.44 c 1373s| 35800 | 35801 | 4807k| 134.2 | 60M| 108 | 222 | 400 | 933 | 400 | 601 | 0 | 961 |4131 |-8.572100e+01 |-3.300000e+01 | 159.76%
1375.95/1376.38 c 1376s| 35900 | 35901 | 4819k| 134.1 | 60M| 108 | 190 | 400 | 930 | 400 | 601 | 0 | 961 |4143 |-8.572028e+01 |-3.300000e+01 | 159.76%
1379.25/1379.60 c 1380s| 36000 | 36001 | 4830k| 134.1 | 61M| 108 | 204 | 400 | 927 | 400 | 601 | 0 | 961 |4149 |-8.571432e+01 |-3.300000e+01 | 159.74%
1382.35/1382.73 c 1383s| 36100 | 36101 | 4848k| 134.2 | 61M| 108 | 152 | 400 | 931 | 400 | 601 | 0 | 967 |4156 |-8.570512e+01 |-3.300000e+01 | 159.71%
1385.04/1385.43 c 1385s| 36200 | 36201 | 4860k| 134.2 | 61M| 108 | 147 | 400 | 931 | 400 | 601 | 0 | 967 |4156 |-8.569671e+01 |-3.300000e+01 | 159.69%
1387.45/1387.88 c 1388s| 36300 | 36301 | 4872k| 134.1 | 61M| 108 | 132 | 400 | 929 | 400 | 601 | 0 | 967 |4156 |-8.569294e+01 |-3.300000e+01 | 159.68%
1390.05/1390.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.05/1390.44 c 1390s| 36400 | 36401 | 4884k| 134.1 | 61M| 108 | 116 | 400 | 940 | 400 | 601 | 0 | 980 |4156 |-8.569104e+01 |-3.300000e+01 | 159.67%
1392.94/1393.38 c 1393s| 36500 | 36501 | 4897k| 134.1 | 61M| 108 | 109 | 400 | 936 | 400 | 601 | 0 | 980 |4162 |-8.569104e+01 |-3.300000e+01 | 159.67%
1395.94/1396.31 c 1396s| 36600 | 36601 | 4912k| 134.1 | 61M| 108 | 325 | 400 | 939 | 400 | 601 | 0 | 989 |4174 |-8.568844e+01 |-3.300000e+01 | 159.66%
1399.35/1399.70 c 1400s| 36700 | 36701 | 4926k| 134.1 | 61M| 108 | 291 | 400 | 947 | 400 | 601 | 0 | 998 |4182 |-8.567640e+01 |-3.300000e+01 | 159.63%
1402.24/1402.69 c 1403s| 36800 | 36801 | 4937k| 134.1 | 62M| 108 | 258 | 400 | 946 | 400 | 601 | 0 | 998 |4190 |-8.567112e+01 |-3.300000e+01 | 159.61%
1404.64/1405.04 c 1405s| 36900 | 36901 | 4949k| 134.0 | 62M| 108 | 245 | 400 | 941 | 400 | 601 | 0 | 998 |4190 |-8.566150e+01 |-3.300000e+01 | 159.58%
1407.74/1408.16 c 1408s| 37000 | 37001 | 4964k| 134.1 | 62M| 108 | 204 | 400 | 945 | 400 | 601 | 0 |1002 |4193 |-8.565875e+01 |-3.300000e+01 | 159.57%
1410.24/1410.66 c 1411s| 37100 | 37101 | 4976k| 134.0 | 62M| 108 | 162 | 400 | 945 | 400 | 601 | 0 |1002 |4193 |-8.565875e+01 |-3.300000e+01 | 159.57%
1413.15/1413.51 c 1414s| 37200 | 37201 | 4989k| 134.0 | 62M| 108 | 130 | 400 | 942 | 400 | 601 | 0 |1002 |4193 |-8.564663e+01 |-3.300000e+01 | 159.54%
1416.45/1416.88 c 1417s| 37300 | 37301 | 5002k| 134.0 | 62M| 108 | 137 | 400 | 949 | 400 | 601 | 0 |1011 |4208 |-8.563789e+01 |-3.300000e+01 | 159.51%
1419.65/1420.01 c 1420s| 37400 | 37401 | 5014k| 134.0 | 62M| 108 | 125 | 400 | 949 | 400 | 601 | 0 |1011 |4222 |-8.562576e+01 |-3.300000e+01 | 159.47%
1422.34/1422.70 c 1423s| 37500 | 37501 | 5026k| 133.9 | 62M| 108 | 109 | 400 | 949 | 400 | 601 | 0 |1011 |4225 |-8.562324e+01 |-3.300000e+01 | 159.46%
1424.94/1425.38 c 1425s| 37600 | 37601 | 5041k| 134.0 | 62M| 108 | 93 | 400 | 947 | 400 | 601 | 0 |1011 |4225 |-8.562324e+01 |-3.300000e+01 | 159.46%
1427.53/1427.93 c 1428s| 37700 | 37701 | 5053k| 133.9 | 63M| 108 | 314 | 400 | 946 | 400 | 601 | 0 |1011 |4225 |-8.560976e+01 |-3.300000e+01 | 159.42%
1430.24/1430.62 c 1431s| 37800 | 37801 | 5066k| 133.9 | 63M| 108 | 278 | 400 | 949 | 400 | 601 | 0 |1014 |4228 |-8.560923e+01 |-3.300000e+01 | 159.42%
1433.34/1433.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.34/1433.72 c 1434s| 37900 | 37901 | 5082k| 134.0 | 63M| 108 | 272 | 400 | 946 | 400 | 601 | 0 |1016 |4233 |-8.560734e+01 |-3.300000e+01 | 159.42%
1435.64/1436.07 c 1436s| 38000 | 38001 | 5093k| 133.9 | 63M| 108 | 258 | 400 | 942 | 400 | 601 | 0 |1016 |4233 |-8.560031e+01 |-3.300000e+01 | 159.39%
1438.74/1439.15 c 1439s| 38100 | 38101 | 5105k| 133.9 | 63M| 108 | 196 | 400 | 946 | 400 | 601 | 0 |1021 |4246 |-8.559172e+01 |-3.300000e+01 | 159.37%
1441.83/1442.23 c 1442s| 38200 | 38201 | 5117k| 133.9 | 63M| 108 | 199 | 400 | 945 | 400 | 601 | 0 |1021 |4260 |-8.558721e+01 |-3.300000e+01 | 159.36%
1444.84/1445.27 c 1445s| 38300 | 38301 | 5130k| 133.9 | 63M| 108 | 189 | 400 | 944 | 400 | 601 | 0 |1021 |4266 |-8.558594e+01 |-3.300000e+01 | 159.35%
1447.03/1447.50 c 1447s| 38400 | 38401 | 5140k| 133.8 | 63M| 108 | 169 | 400 | 940 | 400 | 601 | 0 |1021 |4266 |-8.558152e+01 |-3.300000e+01 | 159.34%
1449.73/1450.18 c 1450s| 38500 | 38501 | 5152k| 133.7 | 64M| 108 | 140 | 400 | 941 | 400 | 601 | 0 |1026 |4266 |-8.557073e+01 |-3.300000e+01 | 159.31%
1452.64/1453.02 c 1453s| 38600 | 38601 | 5164k| 133.7 | 64M| 108 | 124 | 400 | 938 | 400 | 601 | 0 |1027 |4267 |-8.556631e+01 |-3.300000e+01 | 159.29%
1455.24/1455.69 c 1456s| 38700 | 38701 | 5178k| 133.7 | 64M| 108 | 118 | 400 | 937 | 400 | 601 | 0 |1027 |4267 |-8.556631e+01 |-3.300000e+01 | 159.29%
1457.64/1458.03 c 1458s| 38800 | 38801 | 5189k| 133.7 | 64M| 108 | 302 | 400 | 939 | 400 | 601 | 0 |1032 |4267 |-8.554810e+01 |-3.300000e+01 | 159.24%
1460.23/1460.61 c 1461s| 38900 | 38901 | 5200k| 133.6 | 64M| 108 | 269 | 400 | 936 | 400 | 601 | 0 |1032 |4282 |-8.554469e+01 |-3.300000e+01 | 159.23%
1463.44/1463.88 c 1464s| 39000 | 39001 | 5214k| 133.6 | 64M| 108 | 255 | 400 | 933 | 400 | 601 | 0 |1033 |4294 |-8.552624e+01 |-3.300000e+01 | 159.17%
1466.44/1466.86 c 1467s| 39100 | 39101 | 5227k| 133.6 | 64M| 108 | 234 | 400 | 932 | 400 | 601 | 0 |1033 |4300 |-8.552604e+01 |-3.300000e+01 | 159.17%
1468.94/1469.38 c 1469s| 39200 | 39201 | 5239k| 133.6 | 64M| 108 | 187 | 400 | 932 | 400 | 601 | 0 |1034 |4303 |-8.552592e+01 |-3.300000e+01 | 159.17%
1472.13/1472.50 c 1473s| 39300 | 39301 | 5252k| 133.6 | 65M| 108 | 165 | 400 | 935 | 400 | 601 | 0 |1038 |4313 |-8.552094e+01 |-3.300000e+01 | 159.15%
1474.43/1474.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.43/1474.81 c 1475s| 39400 | 39401 | 5263k| 133.5 | 65M| 108 | 135 | 400 | 935 | 400 | 601 | 0 |1039 |4313 |-8.551226e+01 |-3.300000e+01 | 159.13%
1476.53/1476.96 c 1477s| 39500 | 39501 | 5273k| 133.4 | 65M| 108 | 127 | 400 | 934 | 400 | 601 | 0 |1039 |4313 |-8.551048e+01 |-3.300000e+01 | 159.12%
1478.83/1479.29 c 1479s| 39600 | 39601 | 5284k| 133.3 | 65M| 108 | 141 | 400 | 937 | 400 | 601 | 0 |1045 |4313 |-8.550771e+01 |-3.300000e+01 | 159.11%
1481.83/1482.25 c 1482s| 39700 | 39701 | 5297k| 133.3 | 65M| 108 | 117 | 400 | 937 | 400 | 601 | 0 |1045 |4319 |-8.550052e+01 |-3.300000e+01 | 159.09%
1484.33/1484.70 c 1485s| 39800 | 39801 | 5308k| 133.3 | 65M| 108 | 98 | 400 | 935 | 400 | 601 | 0 |1045 |4328 |-8.550052e+01 |-3.300000e+01 | 159.09%
1487.13/1487.57 c 1488s| 39900 | 39901 | 5320k| 133.3 | 65M| 108 | 324 | 400 | 933 | 400 | 601 | 0 |1045 |4347 |-8.549839e+01 |-3.300000e+01 | 159.09%
1490.03/1490.48 c 1490s| 40000 | 40001 | 5334k| 133.3 | 65M| 108 | 282 | 400 | 942 | 400 | 601 | 0 |1054 |4350 |-8.549671e+01 |-3.300000e+01 | 159.08%
1492.83/1493.20 c 1493s| 40100 | 40101 | 5346k| 133.2 | 66M| 108 | 253 | 400 | 942 | 400 | 601 | 0 |1054 |4350 |-8.549041e+01 |-3.300000e+01 | 159.06%
1495.23/1495.68 c 1496s| 40200 | 40201 | 5357k| 133.2 | 66M| 108 | 230 | 400 | 942 | 400 | 601 | 0 |1054 |4351 |-8.547340e+01 |-3.300000e+01 | 159.01%
1497.62/1498.04 c 1498s| 40300 | 40301 | 5368k| 133.1 | 66M| 108 | 181 | 400 | 940 | 400 | 601 | 0 |1054 |4351 |-8.547072e+01 |-3.300000e+01 | 159.00%
1500.42/1500.89 c 1501s| 40400 | 40401 | 5386k| 133.2 | 66M| 108 | 164 | 400 | 946 | 400 | 601 | 0 |1060 |4351 |-8.546877e+01 |-3.300000e+01 | 159.00%
1502.83/1503.28 c 1503s| 40500 | 40501 | 5397k| 133.2 | 66M| 108 | 159 | 400 | 946 | 400 | 601 | 0 |1060 |4351 |-8.546877e+01 |-3.300000e+01 | 159.00%
1505.53/1505.95 c 1506s| 40600 | 40601 | 5410k| 133.2 | 66M| 108 | 138 | 400 | 946 | 400 | 601 | 0 |1060 |4365 |-8.544983e+01 |-3.300000e+01 | 158.94%
1508.73/1509.19 c 1509s| 40700 | 40701 | 5421k| 133.1 | 66M| 108 | 122 | 400 | 946 | 400 | 601 | 0 |1064 |4378 |-8.544335e+01 |-3.300000e+01 | 158.92%
1512.03/1512.45 c 1512s| 40800 | 40801 | 5435k| 133.1 | 66M| 108 | 141 | 400 | 943 | 400 | 601 | 0 |1064 |4385 |-8.544151e+01 |-3.300000e+01 | 158.91%
1514.82/1515.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.82/1515.29 c 1515s| 40900 | 40901 | 5448k| 133.1 | 67M| 108 | 85 | 400 | 941 | 400 | 601 | 0 |1065 |4385 |-8.544151e+01 |-3.300000e+01 | 158.91%
1517.43/1517.87 c 1518s| 41000 | 41001 | 5462k| 133.1 | 67M| 108 | 325 | 400 | 943 | 400 | 601 | 0 |1071 |4385 |-8.544013e+01 |-3.300000e+01 | 158.91%
1520.32/1520.73 c 1521s| 41100 | 41101 | 5475k| 133.1 | 67M| 108 | 282 | 400 | 940 | 400 | 601 | 0 |1071 |4385 |-8.542948e+01 |-3.300000e+01 | 158.88%
1522.82/1523.26 c 1523s| 41200 | 41201 | 5487k| 133.1 | 67M| 108 | 233 | 400 | 937 | 400 | 601 | 0 |1072 |4385 |-8.542813e+01 |-3.300000e+01 | 158.87%
1525.82/1526.26 c 1526s| 41300 | 41301 | 5502k| 133.1 | 67M| 108 | 224 | 400 | 945 | 400 | 601 | 0 |1082 |4391 |-8.542352e+01 |-3.300000e+01 | 158.86%
1528.53/1528.99 c 1529s| 41400 | 41401 | 5513k| 133.1 | 67M| 108 | 190 | 400 | 945 | 400 | 601 | 0 |1082 |4403 |-8.541419e+01 |-3.300000e+01 | 158.83%
1531.72/1532.19 c 1532s| 41500 | 41501 | 5528k| 133.1 | 67M| 108 | 220 | 400 | 940 | 400 | 601 | 0 |1082 |4416 |-8.541216e+01 |-3.300000e+01 | 158.82%
1534.53/1534.98 c 1535s| 41600 | 41601 | 5538k| 133.1 | 67M| 108 | 155 | 400 | 937 | 400 | 601 | 0 |1082 |4423 |-8.540634e+01 |-3.300000e+01 | 158.81%
1537.12/1537.56 c 1538s| 41700 | 41701 | 5551k| 133.0 | 68M| 108 | 124 | 400 | 937 | 400 | 601 | 0 |1082 |4424 |-8.539975e+01 |-3.300000e+01 | 158.79%
1539.52/1540.00 c 1540s| 41800 | 41801 | 5564k| 133.0 | 68M| 108 | 116 | 400 | 943 | 400 | 601 | 0 |1088 |4424 |-8.539882e+01 |-3.300000e+01 | 158.78%
1541.92/1542.30 c 1542s| 41900 | 41901 | 5574k| 133.0 | 68M| 108 | 116 | 400 | 942 | 400 | 601 | 0 |1088 |4424 |-8.539786e+01 |-3.300000e+01 | 158.78%
1544.42/1544.88 c 1545s| 42000 | 42001 | 5586k| 132.9 | 68M| 108 | 106 | 400 | 941 | 400 | 601 | 0 |1088 |4424 |-8.539786e+01 |-3.300000e+01 | 158.78%
1547.12/1547.57 c 1548s| 42100 | 42101 | 5597k| 132.9 | 68M| 108 | 313 | 400 | 945 | 400 | 601 | 0 |1093 |4424 |-8.539681e+01 |-3.300000e+01 | 158.78%
1549.72/1550.16 c 1550s| 42200 | 42201 | 5610k| 132.9 | 68M| 108 | 282 | 400 | 944 | 400 | 601 | 0 |1094 |4428 |-8.539449e+01 |-3.300000e+01 | 158.77%
1552.61/1553.08 c 1553s| 42300 | 42301 | 5620k| 132.8 | 68M| 108 | 260 | 400 | 941 | 400 | 601 | 0 |1094 |4444 |-8.538078e+01 |-3.300000e+01 | 158.73%
1555.32/1555.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1555.32/1555.77 c 1556s| 42400 | 42401 | 5631k| 132.7 | 68M| 108 | 220 | 400 | 940 | 400 | 601 | 0 |1095 |4451 |-8.537350e+01 |-3.300000e+01 | 158.71%
1558.42/1558.88 c 1559s| 42500 | 42501 | 5645k| 132.7 | 68M| 108 | 189 | 400 | 943 | 400 | 601 | 0 |1103 |4468 |-8.535114e+01 |-3.300000e+01 | 158.64%
1561.12/1561.50 c 1561s| 42600 | 42601 | 5656k| 132.7 | 69M| 108 | 197 | 400 | 941 | 400 | 601 | 0 |1104 |4468 |-8.534794e+01 |-3.300000e+01 | 158.63%
1563.62/1564.09 c 1564s| 42700 | 42701 | 5669k| 132.7 | 69M| 108 | 155 | 400 | 938 | 400 | 601 | 0 |1104 |4468 |-8.533582e+01 |-3.300000e+01 | 158.59%
1566.02/1566.41 c 1566s| 42800 | 42801 | 5679k| 132.6 | 69M| 108 | 183 | 400 | 935 | 400 | 601 | 0 |1104 |4468 |-8.533376e+01 |-3.300000e+01 | 158.59%
1568.61/1569.03 c 1569s| 42900 | 42901 | 5692k| 132.6 | 69M| 108 | 101 | 400 | 942 | 400 | 601 | 0 |1114 |4469 |-8.532356e+01 |-3.300000e+01 | 158.56%
1571.02/1571.48 c 1571s| 43000 | 43001 | 5704k| 132.6 | 69M| 108 | 93 | 400 | 952 | 400 | 601 | 0 |1126 |4469 |-8.532043e+01 |-3.300000e+01 | 158.55%
1573.62/1574.08 c 1574s| 43100 | 43101 | 5716k| 132.5 | 69M| 108 | 118 | 400 | 949 | 400 | 601 | 0 |1126 |4469 |-8.532043e+01 |-3.300000e+01 | 158.55%
1576.21/1576.64 c 1577s| 43200 | 43201 | 5727k| 132.5 | 69M| 108 | 315 | 400 | 948 | 400 | 601 | 0 |1126 |4482 |-8.531920e+01 |-3.300000e+01 | 158.54%
1579.01/1579.50 c 1580s| 43300 | 43301 | 5740k| 132.5 | 69M| 108 | 298 | 400 | 945 | 400 | 601 | 0 |1126 |4486 |-8.531508e+01 |-3.300000e+01 | 158.53%
1581.92/1582.35 c 1582s| 43400 | 43401 | 5752k| 132.5 | 70M| 108 | 249 | 400 | 942 | 400 | 601 | 0 |1126 |4486 |-8.530212e+01 |-3.300000e+01 | 158.49%
1584.62/1585.07 c 1585s| 43500 | 43501 | 5764k| 132.4 | 70M| 108 | 214 | 400 | 936 | 400 | 601 | 0 |1126 |4486 |-8.530109e+01 |-3.300000e+01 | 158.49%
1587.11/1587.58 c 1588s| 43600 | 43601 | 5777k| 132.4 | 70M| 108 | 211 | 400 | 937 | 400 | 601 | 0 |1130 |4486 |-8.530090e+01 |-3.300000e+01 | 158.49%
1589.82/1590.26 c 1590s| 43700 | 43701 | 5788k| 132.4 | 70M| 108 | 145 | 400 | 935 | 400 | 601 | 0 |1130 |4496 |-8.530066e+01 |-3.300000e+01 | 158.49%
1592.31/1592.76 c 1593s| 43800 | 43801 | 5802k| 132.4 | 70M| 108 | 164 | 400 | 923 | 400 | 601 | 0 |1130 |4497 |-8.529942e+01 |-3.300000e+01 | 158.48%
1594.52/1594.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.52/1594.96 c 1595s| 43900 | 43901 | 5813k| 132.3 | 70M| 108 | 141 | 400 | 926 | 400 | 601 | 0 |1136 |4497 |-8.529553e+01 |-3.300000e+01 | 158.47%
1597.11/1597.55 c 1598s| 44000 | 44001 | 5824k| 132.3 | 70M| 108 | 112 | 400 | 924 | 400 | 601 | 0 |1138 |4508 |-8.529030e+01 |-3.300000e+01 | 158.46%
1599.71/1600.14 c 1600s| 44100 | 44101 | 5835k| 132.2 | 70M| 108 | 138 | 400 | 921 | 400 | 601 | 0 |1144 |4520 |-8.528538e+01 |-3.300000e+01 | 158.44%
1602.41/1602.88 c 1603s| 44200 | 44201 | 5847k| 132.2 | 71M| 108 | 81 | 400 | 920 | 400 | 601 | 0 |1144 |4521 |-8.528538e+01 |-3.300000e+01 | 158.44%
1605.01/1605.40 c 1605s| 44300 | 44301 | 5859k| 132.2 | 71M| 108 | 316 | 400 | 918 | 400 | 601 | 0 |1144 |4522 |-8.528186e+01 |-3.300000e+01 | 158.43%
1608.11/1608.54 c 1609s| 44400 | 44401 | 5876k| 132.3 | 71M| 108 | 286 | 400 | 918 | 400 | 601 | 0 |1148 |4522 |-8.527733e+01 |-3.300000e+01 | 158.42%
1610.71/1611.17 c 1611s| 44500 | 44501 | 5889k| 132.3 | 71M| 108 | 251 | 400 | 918 | 400 | 601 | 0 |1148 |4522 |-8.527698e+01 |-3.300000e+01 | 158.42%
1613.31/1613.75 c 1614s| 44600 | 44601 | 5901k| 132.2 | 71M| 108 | 236 | 400 | 917 | 400 | 601 | 0 |1155 |4522 |-8.527691e+01 |-3.300000e+01 | 158.41%
1616.40/1616.84 c 1617s| 44700 | 44701 | 5913k| 132.2 | 71M| 108 | 188 | 400 | 923 | 400 | 601 | 0 |1165 |4536 |-8.526135e+01 |-3.300000e+01 | 158.37%
1619.00/1619.45 c 1619s| 44800 | 44801 | 5925k| 132.2 | 71M| 108 | 206 | 400 | 929 | 400 | 601 | 0 |1172 |4545 |-8.525808e+01 |-3.300000e+01 | 158.36%
1622.21/1622.60 c 1623s| 44900 | 44901 | 5940k| 132.2 | 71M| 108 | 134 | 400 | 930 | 400 | 601 | 0 |1177 |4556 |-8.525621e+01 |-3.300000e+01 | 158.35%
1624.80/1625.23 c 1625s| 45000 | 45001 | 5953k| 132.2 | 72M| 108 | 169 | 400 | 934 | 400 | 601 | 0 |1183 |4560 |-8.524963e+01 |-3.300000e+01 | 158.33%
1627.40/1627.83 c 1628s| 45100 | 45101 | 5966k| 132.2 | 72M| 108 | 113 | 400 | 934 | 400 | 601 | 0 |1183 |4560 |-8.524439e+01 |-3.300000e+01 | 158.32%
1629.51/1629.95 c 1630s| 45200 | 45201 | 5977k| 132.2 | 72M| 108 | 112 | 400 | 931 | 400 | 601 | 0 |1184 |4560 |-8.523812e+01 |-3.300000e+01 | 158.30%
1631.81/1632.24 c 1632s| 45300 | 45301 | 5988k| 132.1 | 72M| 108 | 105 | 400 | 938 | 400 | 601 | 0 |1192 |4560 |-8.523812e+01 |-3.300000e+01 | 158.30%
1634.41/1634.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.41/1634.84 c 1635s| 45400 | 45401 | 6000k| 132.1 | 72M| 108 | 311 | 400 | 933 | 400 | 601 | 0 |1192 |4565 |-8.523764e+01 |-3.300000e+01 | 158.30%
1636.81/1637.29 c 1637s| 45500 | 45501 | 6011k| 132.0 | 72M| 108 | 276 | 400 | 929 | 400 | 601 | 0 |1192 |4565 |-8.523308e+01 |-3.300000e+01 | 158.28%
1639.40/1639.81 c 1640s| 45600 | 45601 | 6023k| 132.0 | 72M| 108 | 263 | 400 | 928 | 400 | 601 | 0 |1192 |4574 |-8.523170e+01 |-3.300000e+01 | 158.28%
1642.10/1642.52 c 1643s| 45700 | 45701 | 6036k| 132.0 | 72M| 108 | 223 | 400 | 944 | 400 | 601 | 0 |1209 |4585 |-8.522526e+01 |-3.300000e+01 | 158.26%
1645.21/1645.63 c 1646s| 45800 | 45801 | 6048k| 132.0 | 73M| 108 | 182 | 400 | 948 | 400 | 601 | 0 |1214 |4595 |-8.522421e+01 |-3.300000e+01 | 158.26%
1647.81/1648.25 c 1648s| 45900 | 45901 | 6062k| 132.0 | 73M| 108 | 138 | 400 | 944 | 400 | 601 | 0 |1220 |4595 |-8.522415e+01 |-3.300000e+01 | 158.25%
1650.50/1650.92 c 1651s| 46000 | 46001 | 6075k| 132.0 | 73M| 108 | 179 | 400 | 939 | 400 | 601 | 0 |1220 |4595 |-8.521638e+01 |-3.300000e+01 | 158.23%
1652.81/1653.21 c 1653s| 46100 | 46101 | 6086k| 131.9 | 73M| 108 | 135 | 400 | 938 | 400 | 601 | 0 |1220 |4595 |-8.521609e+01 |-3.300000e+01 | 158.23%
1655.11/1655.53 c 1656s| 46200 | 46201 | 6097k| 131.9 | 73M| 108 | 105 | 400 | 939 | 400 | 601 | 0 |1222 |4597 |-8.520670e+01 |-3.300000e+01 | 158.20%
1657.40/1657.82 c 1658s| 46300 | 46301 | 6108k| 131.9 | 73M| 108 | 112 | 400 | 935 | 400 | 601 | 0 |1223 |4597 |-8.520397e+01 |-3.300000e+01 | 158.19%
1659.80/1660.23 c 1660s| 46400 | 46401 | 6119k| 131.8 | 73M| 108 | 91 | 400 | 935 | 400 | 601 | 0 |1223 |4606 |-8.520397e+01 |-3.300000e+01 | 158.19%
1662.50/1662.94 c 1663s| 46500 | 46501 | 6130k| 131.8 | 73M| 108 | 313 | 400 | 932 | 400 | 601 | 0 |1223 |4615 |-8.520241e+01 |-3.300000e+01 | 158.19%
1665.40/1665.89 c 1666s| 46600 | 46601 | 6146k| 131.8 | 74M| 108 | 273 | 400 | 937 | 400 | 601 | 0 |1232 |4623 |-8.520238e+01 |-3.300000e+01 | 158.19%
1668.10/1668.50 c 1668s| 46700 | 46701 | 6158k| 131.8 | 74M| 108 | 262 | 400 | 941 | 400 | 601 | 0 |1238 |4623 |-8.520202e+01 |-3.300000e+01 | 158.19%
1670.79/1671.23 c 1671s| 46800 | 46801 | 6172k| 131.8 | 74M| 108 | 227 | 400 | 937 | 400 | 601 | 0 |1238 |4626 |-8.519974e+01 |-3.300000e+01 | 158.18%
1673.60/1674.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.60/1674.02 c 1674s| 46900 | 46901 | 6184k| 131.8 | 74M| 108 | 173 | 400 | 939 | 400 | 601 | 0 |1242 |4626 |-8.519850e+01 |-3.300000e+01 | 158.18%
1676.09/1676.56 c 1677s| 47000 | 47001 | 6196k| 131.8 | 74M| 108 | 162 | 400 | 937 | 400 | 601 | 0 |1242 |4630 |-8.519144e+01 |-3.300000e+01 | 158.16%
1678.80/1679.26 c 1679s| 47100 | 47101 | 6207k| 131.7 | 74M| 108 | 142 | 400 | 934 | 400 | 601 | 0 |1242 |4630 |-8.519062e+01 |-3.300000e+01 | 158.15%
1681.19/1681.64 c 1682s| 47200 | 47201 | 6219k| 131.7 | 74M| 108 | 129 | 400 | 931 | 400 | 601 | 0 |1242 |4630 |-8.518669e+01 |-3.300000e+01 | 158.14%
1683.89/1684.39 c 1684s| 47300 | 47301 | 6232k| 131.7 | 74M| 108 | 130 | 400 | 934 | 400 | 601 | 0 |1246 |4639 |-8.518533e+01 |-3.300000e+01 | 158.14%
1687.00/1687.41 c 1687s| 47400 | 47401 | 6243k| 131.6 | 75M| 108 | 121 | 400 | 932 | 400 | 601 | 0 |1246 |4658 |-8.517159e+01 |-3.300000e+01 | 158.10%
1690.00/1690.46 c 1690s| 47500 | 47501 | 6258k| 131.7 | 75M| 108 | 99 | 400 | 932 | 400 | 601 | 0 |1246 |4658 |-8.517159e+01 |-3.300000e+01 | 158.10%
1692.80/1693.20 c 1693s| 47600 | 47601 | 6268k| 131.6 | 75M| 108 | 309 | 400 | 929 | 400 | 601 | 0 |1246 |4664 |-8.515343e+01 |-3.300000e+01 | 158.04%
1695.49/1695.99 c 1696s| 47700 | 47701 | 6279k| 131.6 | 75M| 108 | 280 | 400 | 926 | 400 | 601 | 0 |1246 |4667 |-8.515101e+01 |-3.300000e+01 | 158.03%
1698.29/1698.72 c 1699s| 47800 | 47801 | 6293k| 131.6 | 75M| 108 | 263 | 400 | 925 | 400 | 601 | 0 |1247 |4667 |-8.514146e+01 |-3.300000e+01 | 158.00%
1700.80/1701.25 c 1701s| 47900 | 47901 | 6304k| 131.5 | 75M| 108 | 196 | 400 | 927 | 400 | 601 | 0 |1252 |4671 |-8.514032e+01 |-3.300000e+01 | 158.00%
1703.29/1703.74 c 1704s| 48000 | 48001 | 6317k| 131.5 | 75M| 108 | 200 | 400 | 927 | 400 | 601 | 0 |1252 |4671 |-8.513972e+01 |-3.300000e+01 | 158.00%
1705.89/1706.37 c 1706s| 48100 | 48101 | 6328k| 131.5 | 75M| 108 | 164 | 400 | 925 | 400 | 601 | 0 |1253 |4671 |-8.513552e+01 |-3.300000e+01 | 157.99%
1708.39/1708.81 c 1709s| 48200 | 48201 | 6340k| 131.5 | 76M| 108 | 156 | 400 | 922 | 400 | 601 | 0 |1255 |4671 |-8.512818e+01 |-3.300000e+01 | 157.96%
1711.10/1711.52 c 1712s| 48300 | 48301 | 6353k| 131.5 | 76M| 108 | 173 | 400 | 922 | 400 | 601 | 0 |1255 |4683 |-8.512306e+01 |-3.300000e+01 | 157.95%
1713.79/1714.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.79/1714.29 c 1714s| 48400 | 48401 | 6364k| 131.4 | 76M| 108 | 102 | 400 | 921 | 400 | 601 | 0 |1255 |4693 |-8.510981e+01 |-3.300000e+01 | 157.91%
1716.70/1717.12 c 1717s| 48500 | 48501 | 6376k| 131.4 | 76M| 108 | 128 | 400 | 926 | 400 | 601 | 0 |1260 |4702 |-8.510924e+01 |-3.300000e+01 | 157.91%
1719.69/1720.19 c 1720s| 48600 | 48601 | 6394k| 131.5 | 76M| 108 | 103 | 400 | 924 | 400 | 601 | 0 |1260 |4702 |-8.510924e+01 |-3.300000e+01 | 157.91%
1722.09/1722.52 c 1723s| 48700 | 48701 | 6404k| 131.4 | 76M| 108 | 311 | 400 | 923 | 400 | 601 | 0 |1260 |4702 |-8.510766e+01 |-3.300000e+01 | 157.90%
1724.39/1724.84 c 1725s| 48800 | 48801 | 6415k| 131.4 | 76M| 108 | 274 | 400 | 922 | 400 | 601 | 0 |1260 |4704 |-8.510541e+01 |-3.300000e+01 | 157.90%
1726.89/1727.36 c 1727s| 48900 | 48901 | 6426k| 131.3 | 76M| 108 | 275 | 400 | 923 | 400 | 601 | 0 |1264 |4704 |-8.510138e+01 |-3.300000e+01 | 157.88%
1729.49/1729.97 c 1730s| 49000 | 49001 | 6438k| 131.3 | 76M| 108 | 218 | 400 | 922 | 400 | 601 | 0 |1264 |4704 |-8.509129e+01 |-3.300000e+01 | 157.85%
1731.99/1732.40 c 1732s| 49100 | 49101 | 6449k| 131.3 | 77M| 108 | 207 | 400 | 919 | 400 | 601 | 0 |1264 |4705 |-8.508778e+01 |-3.300000e+01 | 157.84%
1734.79/1735.20 c 1735s| 49200 | 49201 | 6462k| 131.3 | 77M| 108 | 206 | 400 | 924 | 400 | 601 | 0 |1274 |4712 |-8.508269e+01 |-3.300000e+01 | 157.83%
1737.60/1738.03 c 1738s| 49300 | 49301 | 6474k| 131.2 | 77M| 108 | 130 | 400 | 918 | 400 | 601 | 0 |1274 |4725 |-8.508115e+01 |-3.300000e+01 | 157.82%
1740.39/1740.85 c 1741s| 49400 | 49401 | 6486k| 131.2 | 77M| 108 | 122 | 400 | 914 | 400 | 601 | 0 |1274 |4733 |-8.507789e+01 |-3.300000e+01 | 157.81%
1743.19/1743.61 c 1744s| 49500 | 49501 | 6500k| 131.2 | 77M| 108 | 120 | 400 | 915 | 400 | 601 | 0 |1276 |4736 |-8.507759e+01 |-3.300000e+01 | 157.81%
1745.68/1746.16 c 1746s| 49600 | 49601 | 6511k| 131.2 | 77M| 108 | 138 | 400 | 913 | 400 | 601 | 0 |1276 |4736 |-8.505830e+01 |-3.300000e+01 | 157.75%
1748.08/1748.56 c 1749s| 49700 | 49701 | 6523k| 131.2 | 77M| 108 | 111 | 400 | 914 | 400 | 601 | 0 |1281 |4736 |-8.505830e+01 |-3.300000e+01 | 157.75%
1750.29/1750.76 c 1751s| 49800 | 49801 | 6535k| 131.2 | 77M| 108 | 313 | 400 | 921 | 400 | 601 | 0 |1291 |4736 |-8.505691e+01 |-3.300000e+01 | 157.75%
1752.69/1753.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.69/1753.14 c 1753s| 49900 | 49901 | 6546k| 131.1 | 78M| 108 | 281 | 400 | 921 | 400 | 601 | 0 |1293 |4736 |-8.505278e+01 |-3.300000e+01 | 157.74%
1755.48/1755.97 c 1756s| 50000 | 50001 | 6559k| 131.1 | 78M| 108 | 260 | 400 | 925 | 400 | 601 | 0 |1299 |4736 |-8.505004e+01 |-3.300000e+01 | 157.73%
1758.78/1759.26 c 1759s| 50100 | 50101 | 6571k| 131.1 | 78M| 108 | 248 | 400 | 926 | 400 | 601 | 0 |1301 |4754 |-8.504672e+01 |-3.300000e+01 | 157.72%
1761.79/1762.21 c 1762s| 50200 | 50201 | 6584k| 131.1 | 78M| 108 | 199 | 400 | 924 | 400 | 601 | 0 |1301 |4758 |-8.503938e+01 |-3.300000e+01 | 157.70%
1764.58/1765.07 c 1765s| 50300 | 50301 | 6598k| 131.1 | 78M| 108 | 150 | 400 | 923 | 400 | 601 | 0 |1302 |4766 |-8.503587e+01 |-3.300000e+01 | 157.68%
1767.48/1767.91 c 1768s| 50400 | 50401 | 6611k| 131.1 | 78M| 108 | 164 | 400 | 928 | 400 | 601 | 0 |1310 |4768 |-8.503259e+01 |-3.300000e+01 | 157.67%
1770.38/1770.82 c 1771s| 50500 | 50501 | 6628k| 131.2 | 78M| 108 | 126 | 400 | 927 | 400 | 601 | 0 |1310 |4768 |-8.502144e+01 |-3.300000e+01 | 157.64%
1772.69/1773.11 c 1773s| 50600 | 50601 | 6639k| 131.2 | 78M| 108 | 118 | 400 | 927 | 400 | 601 | 0 |1310 |4768 |-8.501880e+01 |-3.300000e+01 | 157.63%
1774.89/1775.37 c 1775s| 50700 | 50701 | 6650k| 131.1 | 79M| 108 | 110 | 400 | 925 | 400 | 601 | 0 |1310 |4768 |-8.501660e+01 |-3.300000e+01 | 157.63%
1777.48/1777.97 c 1778s| 50800 | 50801 | 6663k| 131.1 | 79M| 108 | 138 | 400 | 921 | 400 | 601 | 0 |1313 |4768 |-8.501660e+01 |-3.300000e+01 | 157.63%
1779.98/1780.42 c 1780s| 50900 | 50901 | 6674k| 131.1 | 79M| 108 | 306 | 400 | 918 | 400 | 601 | 0 |1313 |4770 |-8.501003e+01 |-3.300000e+01 | 157.61%
1782.98/1783.43 c 1783s| 51000 | 51001 | 6685k| 131.0 | 79M| 108 | 285 | 400 | 915 | 400 | 601 | 0 |1313 |4782 |-8.500672e+01 |-3.300000e+01 | 157.60%
1785.78/1786.27 c 1786s| 51100 | 51101 | 6696k| 131.0 | 79M| 108 | 253 | 400 | 915 | 400 | 601 | 0 |1313 |4795 |-8.500622e+01 |-3.300000e+01 | 157.59%
1788.38/1788.89 c 1789s| 51200 | 51201 | 6706k| 130.9 | 79M| 108 | 240 | 400 | 910 | 400 | 601 | 0 |1313 |4803 |-8.500357e+01 |-3.300000e+01 | 157.59%
1791.88/1792.31 c 1792s| 51300 | 51301 | 6724k| 131.0 | 79M| 108 | 225 | 400 | 910 | 400 | 601 | 0 |1320 |4805 |-8.500165e+01 |-3.300000e+01 | 157.58%
1794.18/1794.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1794.18/1794.63 c 1795s| 51400 | 51401 | 6736k| 131.0 | 79M| 108 | 146 | 400 | 908 | 400 | 601 | 0 |1323 |4805 |-8.499207e+01 |-3.300000e+01 | 157.55%
1796.37/1796.83 c 1797s| 51500 | 51501 | 6746k| 130.9 | 80M| 108 | 142 | 400 | 908 | 400 | 601 | 0 |1323 |4805 |-8.498484e+01 |-3.300000e+01 | 157.53%
1796.58/1797.01 c
1796.58/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.58/1797.01 c Solving Time (sec) : 1797.01
1796.58/1797.01 c Solving Nodes : 51510
1796.58/1797.01 c Primal Bound : -3.30000000000000e+01 (544 solutions)
1796.58/1797.01 c Dual Bound : -8.49848418273391e+01
1796.58/1797.01 c Gap : 157.53 %
1796.58/1797.01 s SATISFIABLE
1796.58/1797.01 v -x384 -x335 -x334 -x301 -x233 -x289 x295 -x375 -x290 -x325 -x256 -x237 -x247 -x396 -x328 x388 -x312 -x215 -x394 -x226 -x313 -x377
1796.58/1797.01 v -x326 -x216 -x258 -x305 -x251 -x381 -x308 -x266 -x271 -x259 -x229 x220 x302 -x336 -x354 -x207 -x364 -x338 x286 -x248 -x230
1796.58/1797.01 v -x272 -x365 -x340 x293 -x268 -x279 -x353 -x332 -x352 -x345 x314 -x285 -x254 -x243 -x240 -x213 -x267 -x321 x280 -x269 -x372 x323
1796.58/1797.01 v -x303 -x270 -x244 -x232 -x221 -x342 -x273 -x275 -x306 -x355 -x390 -x235 -x284 -x212 -x347 x393 -x379 -x351 x330 -x298 -x288
1796.58/1797.01 v x281 -x222 -x210 -x300 -x219 -x319 x309 -x282 -x224 -x252 -x304 -x385 x395 -x348 x333 -x296 -x242 -x236 -x227 -x225 -x218
1796.58/1797.01 v x205 x371 x311 -x391 -x369 x318 -x257 -x317 -x322 x344 -x363 -x206 -x349 -x324 -x310 x361 -x367 -x400 -x246 -x202 x341 -x287
1796.58/1797.01 v -x263 -x260 -x249 -x241 -x239 -x234 x217 -x204 -x245 -x276 -x315 -x357 -x366 -x261 -x307 -x329 x358 -x398 -x274 -x378 -x253 x397
1796.58/1797.01 v x362 -x383 -x387 -x214 x264 x297 -x231 -x211 -x201 -x399 -x386 x382 -x360 -x359 -x356 -x339 -x337 -x327 -x292 -x283 -x277
1796.58/1797.01 v -x223 -x209 -x208 -x392 -x316 -x370 x373 -x203 -x331 -x368 -x374 -x255 -x250 -x238 -x294 -x350 -x380 -x343 -x228 -x346 x278
1796.58/1797.01 v -x265 -x299 -x262 x376 -x389 x320 -x291 -x200 x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186
1796.58/1797.01 v -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 x167 -x166 -x165 -x164
1796.58/1797.01 v -x163 -x162 -x161 x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 x150 x149 x148 -x147 -x146 -x145 -x144 -x143
1796.58/1797.01 v -x142 -x141 x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 x126 -x125 x124 -x123 -x122 -x121 -x120
1796.58/1797.01 v -x119 -x118 x117 -x116 -x115 -x114 -x113 x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1796.58/1797.01 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.58/1797.01 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.58/1797.01 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.58/1797.01 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.58/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.58/1797.01 c Total Time : 1797.01
1796.58/1797.01 c solving : 1797.01
1796.58/1797.01 c presolving : 0.13 (included in solving)
1796.58/1797.01 c reading : 0.03 (included in solving)
1796.58/1797.01 c copying : 0.08 (10 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.58/1797.01 c Original Problem :
1796.58/1797.01 c Problem name : HOME/instance-3692584-1338037209.opb
1796.58/1797.01 c Variables : 6620 (400 binary, 0 integer, 6220 implicit integer, 0 continuous)
1796.58/1797.01 c Constraints : 7221 initial, 7221 maximal
1796.58/1797.01 c Objective sense : minimize
1796.58/1797.01 c Presolved Problem :
1796.58/1797.01 c Problem name : t_HOME/instance-3692584-1338037209.opb
1796.58/1797.01 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.58/1797.01 c Constraints : 601 initial, 1038 maximal
1796.58/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.58/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c dualfix : 0.01 0.00 6220 0 0 0 0 0 0 0 0
1796.58/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c linear : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c pseudoboolean : 0.02 0.00 0 0 0 0 0 7020 400 0 0
1796.58/1797.01 c root node : - - 0 - - 0 - - - - -
1796.58/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.58/1797.01 c integral : 0 0 0 0 51508 0 550 0 0 0 0 0 103016
1796.58/1797.01 c knapsack : 400 400 1 552495 0 2 544 26291 181 447373 0 0 0
1796.58/1797.01 c setppc : 200 200 1 519444 0 2 543 1541 0 34464 0 0 0
1796.58/1797.01 c linear : 1 1 1 552312 0 0 543 0 487 0 0 0 0
1796.58/1797.01 c logicor : 0+ 437 0 65008 0 0 0 0 0 0 0 0 0
1796.58/1797.01 c countsols : 0 0 0 0 0 2 548 0 0 0 0 0 0
1796.58/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.58/1797.01 c integral : 183.90 0.00 0.00 0.00 183.90 0.00 0.00 0.00
1796.58/1797.01 c knapsack : 4.71 0.00 0.00 4.54 0.00 0.00 0.16 0.01
1796.58/1797.01 c setppc : 0.67 0.00 0.00 0.66 0.00 0.00 0.01 0.00
1796.58/1797.01 c linear : 0.60 0.00 0.00 0.59 0.00 0.00 0.00 0.00
1796.58/1797.01 c logicor : 0.23 0.00 0.00 0.23 0.00 0.00 0.00 0.00
1796.58/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.58/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.58/1797.01 c rootredcost : 10 0 0 0
1796.58/1797.01 c pseudoobj : 604113 362 209 0
1796.58/1797.01 c vbounds : 0 0 0 0
1796.58/1797.01 c redcost : 51508 0 0 0
1796.58/1797.01 c probing : 0 0 0 0
1796.58/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.58/1797.01 c rootredcost : 0.15 0.00 0.00 0.15 0.00
1796.58/1797.01 c pseudoobj : 0.52 0.00 0.00 0.51 0.01
1796.58/1797.01 c vbounds : 0.11 0.00 0.00 0.11 0.00
1796.58/1797.01 c redcost : 0.58 0.00 0.00 0.58 0.00
1796.58/1797.01 c probing : 0.01 0.00 0.01 0.00 0.00
1796.58/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.58/1797.01 c propagation : 0.09 181 181 3240 128.3 0 0.0 -
1796.58/1797.01 c infeasible LP : 0.08 1327 1299 3236 34.7 0 0.0 0
1796.58/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.58/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.58/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.58/1797.01 c applied globally : - - - 1194 13.5 - - -
1796.58/1797.01 c applied locally : - - - 129 71.8 - - -
1796.58/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.58/1797.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.58/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.58/1797.01 c impliedbounds : 0.00 0.00 1 0 0 0 0
1796.58/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.58/1797.01 c gomory : 0.02 0.00 1 0 0 0 0
1796.58/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.58/1797.01 c strongcg : 0.02 0.00 1 0 0 0 0
1796.58/1797.01 c cmir : 0.00 0.00 1 0 0 0 0
1796.58/1797.01 c flowcover : 0.00 0.00 1 0 0 0 0
1796.58/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.58/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.58/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.58/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.58/1797.01 c rapidlearning : 0.91 0.00 1 0 0 0 0
1796.58/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.58/1797.01 c problem variables: 0.00 - 0 0
1796.58/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.58/1797.01 c relpscost : 183.86 0.00 51508 0 0 0 0 103016
1796.58/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.58/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.58/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.58/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.58/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.58/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.58/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.58/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.58/1797.01 c LP solutions : 0.00 - - 0
1796.58/1797.01 c pseudo solutions : 0.00 - - 0
1796.58/1797.01 c oneopt : 0.02 0.00 10 0
1796.58/1797.01 c crossover : 5.74 0.00 6 4
1796.58/1797.01 c veclendiving : 19.50 0.00 145 0
1796.58/1797.01 c objpscostdiving : 27.04 0.00 121 37
1796.58/1797.01 c linesearchdiving : 63.27 0.00 897 3
1796.58/1797.01 c fracdiving : 57.06 0.00 897 2
1796.58/1797.01 c coefdiving : 97.79 0.00 898 1
1796.58/1797.01 c pscostdiving : 96.66 0.00 898 1
1796.58/1797.01 c smallcard : 0.00 0.00 0 0
1796.58/1797.01 c trivial : 0.01 0.00 2 1
1796.58/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.58/1797.01 c simplerounding : 0.01 0.00 0 0
1796.58/1797.01 c zirounding : 4.51 0.00 0 0
1796.58/1797.01 c rounding : 36.43 0.00 17084 3
1796.58/1797.01 c shifting : 18.10 0.00 5143 456
1796.58/1797.01 c intshifting : 0.00 0.00 0 0
1796.58/1797.01 c twoopt : 0.00 0.00 0 0
1796.58/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.58/1797.01 c indoneopt : 0.02 0.00 0 0
1796.58/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.58/1797.01 c feaspump : 0.64 0.00 1 0
1796.58/1797.01 c clique : 0.00 0.00 0 0
1796.58/1797.01 c indrounding : 0.00 0.00 0 0
1796.58/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.58/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.58/1797.01 c intdiving : 0.00 0.00 0 0
1796.58/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.58/1797.01 c rootsoldiving : 11.20 0.00 211 36
1796.58/1797.01 c guideddiving : 40.42 0.00 774 0
1796.58/1797.01 c octane : 0.00 0.00 0 0
1796.58/1797.01 c rens : 0.01 0.00 0 0
1796.58/1797.01 c rins : 0.00 0.00 0 0
1796.58/1797.01 c localbranching : 0.00 0.00 0 0
1796.58/1797.01 c mutation : 0.00 0.00 0 0
1796.58/1797.01 c dins : 0.00 0.00 0 0
1796.58/1797.01 c vbounds : 0.00 0.00 0 0
1796.58/1797.01 c undercover : 0.00 0.00 0 0
1796.58/1797.01 c subnlp : 0.01 0.00 0 0
1796.58/1797.01 c trysol : 0.02 0.00 0 0
1796.58/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.58/1797.01 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.58/1797.01 c dual LP : 1121.87 51843 4955544 96.21 4417.22 0.61 333
1796.58/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.58/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.58/1797.01 c diving/probing LP: 366.72 416241 1791929 4.31 4886.40
1796.58/1797.01 c strong branching : 181.51 4805 195981 40.79 1079.74
1796.58/1797.01 c (at root node) : - 29 11913 410.79 -
1796.58/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.58/1797.01 c B&B Tree :
1796.58/1797.01 c number of runs : 1
1796.58/1797.01 c nodes : 51510
1796.58/1797.01 c nodes (total) : 51510
1796.58/1797.01 c nodes left : 51511
1796.58/1797.01 c max depth : 108
1796.58/1797.01 c max depth (total): 108
1796.58/1797.01 c backtracks : 5030 (9.8%)
1796.58/1797.01 c delayed cutoffs : 0
1796.58/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.58/1797.01 c avg switch length: 3.84
1796.58/1797.01 c switching time : 2.61
1796.58/1797.01 c Solution :
1796.58/1797.01 c Solutions found : 544 (11 improvements)
1796.58/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1796.58/1797.01 c Primal Bound : -3.30000000000000e+01 (in run 1, after 660 nodes, 141.32 seconds, depth 190, found by <fracdiving>)
1796.58/1797.01 c Dual Bound : -8.49848418273391e+01
1796.58/1797.01 c Gap : 157.53 %
1796.58/1797.01 c Root Dual Bound : -1.00000000000000e+02
1796.58/1797.01 c Root Iterations : 3863
1796.68/1797.14 c Time complete: 1796.72.
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-3692584-1338037209/watcher-3692584-1338037209 -o /tmp/evaluation-result-3692584-1338037209/solver-3692584-1338037209 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692584-1338037209.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=12560 CPUtime=0 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 1891 0 0 0 0 0 0 0 20 0 1 0 269846396 12861440 1846 33554432000 4194304 10219143 140733679797936 140735989028616 7157197 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 3140 1852 413 1471 0 1660 0
[startup+0.043697 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=31628 CPUtime=0.04 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 6662 0 0 0 3 1 0 0 20 0 1 0 269846396 32387072 6617 33554432000 4194304 10219143 140733679797936 140735989028616 8930967 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 7952 6630 491 1471 0 6472 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 31628
[startup+0.100293 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=39360 CPUtime=0.09 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 8656 0 0 0 7 2 0 0 20 0 1 0 269846396 40304640 8354 33554432000 4194304 10219143 140733679797936 140735989028616 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 9840 8354 566 1471 0 8360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39360
[startup+0.300152 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=47980 CPUtime=0.29 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 11048 0 0 0 26 3 0 0 20 0 1 0 269846396 49131520 10714 33554432000 4194304 10219143 140733679797936 140735989028616 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 11995 10714 773 1471 0 10515 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47980
[startup+0.700105 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=49812 CPUtime=0.69 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 11536 0 0 0 66 3 0 0 20 0 1 0 269846396 51007488 11202 33554432000 4194304 10219143 140733679797936 140733679791192 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12453 11202 773 1471 0 10973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49812
[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28828876/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=65516 CPUtime=1.49 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 15843 0 0 0 144 5 0 0 20 0 1 0 269846396 67088384 14935 33554432000 4194304 10219143 140733679797936 140733679790456 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 16379 14935 830 1471 0 14899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65516
[startup+3.10011 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28843092/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=49976 CPUtime=3.08 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 17802 0 0 0 302 6 0 0 20 0 1 0 269846396 51175424 11400 33554432000 4194304 10219143 140733679797936 140733679791064 8098512 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12494 11400 854 1471 0 11014 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49976
[startup+6.3001 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28841540/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=50440 CPUtime=6.29 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 20598 0 0 0 622 7 0 0 20 0 1 0 269846396 51650560 11451 33554432000 4194304 10219143 140733679797936 140733679791112 8098512 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12610 11451 854 1471 0 11130 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50440
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28843148/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=49536 CPUtime=12.69 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 22684 0 0 0 1260 9 0 0 20 0 1 0 269846396 50724864 11290 33554432000 4194304 10219143 140733679797936 140733679791064 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12384 11290 854 1471 0 10904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49536
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28842908/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=50648 CPUtime=25.48 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 22857 0 0 0 2537 11 0 0 20 0 1 0 269846396 51863552 11463 33554432000 4194304 10219143 140733679797936 140733679791064 8098731 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12662 11463 854 1471 0 11182 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50648
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28843084/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=50648 CPUtime=51.07 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 22955 0 0 0 5094 13 0 0 20 0 1 0 269846396 51863552 11561 33554432000 4194304 10219143 140733679797936 140733679791064 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12662 11561 856 1471 0 11182 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50648
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2166
/proc/meminfo: memFree=28842180/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=50772 CPUtime=102.26 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 27643 0 0 0 10204 22 0 0 20 0 1 0 269846396 51990528 11659 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12693 11659 863 1471 0 11213 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50772
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2166
/proc/meminfo: memFree=28840328/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=52480 CPUtime=162.24 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 29798 0 0 0 16190 34 0 0 20 0 1 0 269846396 53739520 12190 33554432000 4194304 10219143 140733679797936 140733679790872 8100264 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 13120 12190 863 1471 0 11640 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 52480
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2167
/proc/meminfo: memFree=28840204/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=52352 CPUtime=222.22 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 32197 0 0 0 22172 50 0 0 20 0 1 0 269846396 53608448 12153 33554432000 4194304 10219143 140733679797936 140733679791240 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 13088 12153 863 1471 0 11608 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 52352
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2167
/proc/meminfo: memFree=28878740/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=53228 CPUtime=282.2 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 34176 0 0 0 28155 65 0 0 20 0 1 0 269846396 54505472 12354 33554432000 4194304 10219143 140733679797936 140733679790600 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 13307 12354 863 1471 0 11827 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 53228
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2167
/proc/meminfo: memFree=28876880/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=54088 CPUtime=342.19 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 34393 0 0 0 34134 85 0 0 20 0 1 0 269846396 55386112 12569 33554432000 4194304 10219143 140733679797936 140733679792760 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 13522 12569 863 1471 0 12042 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 54088
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 2167
/proc/meminfo: memFree=28873760/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=57240 CPUtime=402.18 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 48108 0 0 0 40109 109 0 0 20 0 1 0 269846396 58613760 13309 33554432000 4194304 10219143 140733679797936 140733679790536 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 14310 13309 863 1471 0 12830 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 57240
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2167
/proc/meminfo: memFree=28872768/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=58144 CPUtime=462.16 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 48422 0 0 0 46090 126 0 0 20 0 1 0 269846396 59539456 13623 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 14536 13623 863 1471 0 13056 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 58144
[startup+522.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/175 2168
/proc/meminfo: memFree=28871244/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=59600 CPUtime=522.14 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 48757 0 0 0 52068 146 0 0 20 0 1 0 269846396 61030400 13956 33554432000 4194304 10219143 140733679797936 140733679790856 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 14900 13956 863 1471 0 13420 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 59600
[startup+582.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/175 2168
/proc/meminfo: memFree=28867524/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=63544 CPUtime=582.13 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 53159 0 0 0 58045 168 0 0 20 0 1 0 269846396 65069056 14943 33554432000 4194304 10219143 140733679797936 140733679793304 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 15886 14943 863 1471 0 14406 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 63544
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29055184/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=83652 CPUtime=1062 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 67043 0 0 0 105854 346 0 0 20 0 1 0 269846396 85659648 20026 33554432000 4194304 10219143 140733679797936 140733679790920 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 20913 20026 865 1471 0 19433 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 83652
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 2211
/proc/meminfo: memFree=29053756/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=86644 CPUtime=1121.99 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 67821 0 0 0 111826 373 0 0 20 0 1 0 269846396 88723456 20800 33554432000 4194304 10219143 140733679797936 140733679791240 9008087 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 21661 20800 865 1471 0 20181 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 86644
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2211
/proc/meminfo: memFree=29048492/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=91624 CPUtime=1181.98 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 69093 0 0 0 117803 395 0 0 20 0 1 0 269846396 93822976 22072 33554432000 4194304 10219143 140733679797936 140733679793208 8100426 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 22906 22072 865 1471 0 21426 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 91624
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2214
/proc/meminfo: memFree=29044884/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=94240 CPUtime=1241.97 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 69760 0 0 0 123779 418 0 0 20 0 1 0 269846396 96501760 22738 33554432000 4194304 10219143 140733679797936 140733679791240 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 23560 22738 865 1471 0 22080 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 94240
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2214
/proc/meminfo: memFree=29041604/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=97168 CPUtime=1301.97 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 74616 0 0 0 129752 445 0 0 20 0 1 0 269846396 99500032 23482 33554432000 4194304 10219143 140733679797936 140733679790824 8098567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 24292 23482 865 1471 0 22812 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 97168
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2214
/proc/meminfo: memFree=29039360/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=101548 CPUtime=1361.95 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 75695 0 0 0 135727 468 0 0 20 0 1 0 269846396 103985152 24561 33554432000 4194304 10219143 140733679797936 140733679791240 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 25387 24561 865 1471 0 23907 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 101548
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2215
/proc/meminfo: memFree=29036944/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=102692 CPUtime=1421.94 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 75983 0 0 0 141701 493 0 0 20 0 1 0 269846396 105156608 24846 33554432000 4194304 10219143 140733679797936 140733679791240 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 25673 24846 865 1471 0 24193 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 102692
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2215
/proc/meminfo: memFree=29032912/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=105948 CPUtime=1481.93 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 76777 0 0 0 147675 518 0 0 20 0 1 0 269846396 108490752 25639 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 26487 25639 865 1471 0 25007 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 105948
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2215
/proc/meminfo: memFree=29030680/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=108316 CPUtime=1541.92 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 77408 0 0 0 153650 542 0 0 20 0 1 0 269846396 110915584 26270 33554432000 4194304 10219143 140733679797936 140733679791192 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 27079 26270 865 1471 0 25599 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 108316
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2253
/proc/meminfo: memFree=28935936/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=110168 CPUtime=1601.91 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 77919 0 0 0 159626 565 0 0 20 0 1 0 269846396 112812032 26779 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 27542 26779 865 1471 0 26062 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 110168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2255
/proc/meminfo: memFree=28933240/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=110748 CPUtime=1661.9 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 78052 0 0 0 165601 589 0 0 20 0 1 0 269846396 113405952 26912 33554432000 4194304 10219143 140733679797936 140733679791288 8098444 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 27687 26912 865 1471 0 26207 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 110748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2256
/proc/meminfo: memFree=28930268/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=113792 CPUtime=1721.89 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 78831 0 0 0 171577 612 0 0 20 0 1 0 269846396 116523008 27691 33554432000 4194304 10219143 140733679797936 140733679790872 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 28448 27691 865 1471 0 26968 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 113792
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2256
/proc/meminfo: memFree=28918372/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1781.88 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79984 0 0 0 177554 634 0 0 20 0 1 0 269846396 121389056 28841 33554432000 4194304 10219143 140733679797936 140733679790920 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28841 865 1471 0 28156 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 118544
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2256
/proc/meminfo: memFree=28918372/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1785.08 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79984 0 0 0 177873 635 0 0 20 0 1 0 269846396 121389056 28841 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28841 865 1471 0 28156 0
Current children cumulated CPU time (s) 1785.08
Current children cumulated vsize (KiB) 118544
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915752/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1791.49 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79987 0 0 0 178512 637 0 0 20 0 1 0 269846396 121389056 28844 33554432000 4194304 10219143 140733679797936 140733679791176 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28844 865 1471 0 28156 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 118544
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915628/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1794.69 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79987 0 0 0 178831 638 0 0 20 0 1 0 269846396 121389056 28844 33554432000 4194304 10219143 140733679797936 140733679791112 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28844 865 1471 0 28156 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 118544
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915628/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1795.48 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79987 0 0 0 178910 638 0 0 20 0 1 0 269846396 121389056 28844 33554432000 4194304 10219143 140733679797936 140733679791192 8098746 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28844 865 1471 0 28156 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (KiB) 118544
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915380/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1796.27 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79988 0 0 0 178989 638 0 0 20 0 1 0 269846396 121389056 28845 33554432000 4194304 10219143 140733679797936 140733679791240 8099239 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28845 865 1471 0 28156 0
Current children cumulated CPU time (s) 1796.27
Current children cumulated vsize (KiB) 118544
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915380/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1796.68 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 80003 0 0 0 179029 639 0 0 20 0 1 0 269846396 121389056 28860 33554432000 4194304 10219143 140733679797936 140733679791240 7594217 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28860 868 1471 0 28156 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 118544
Child status: 0
Real time (s): 1797.14
CPU time (s): 1796.73
CPU user time (s): 1790.33
CPU system time (s): 6.39403
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 118544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.33
system time used= 6.39403
maximum resident set size= 115440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80005
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= 41
involuntary context switches= 6180
runsolver used 2.72558 second user time and 7.09892 second system time
The end