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-3692582-1338037251.opb>
0.00/0.01 c original problem has 2924 variables (400 bin, 0 int, 2524 impl, 0 cont) and 3525 constraints
0.00/0.01 c problem read in 0.01
0.01/0.02 o 0
0.01/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.03 c presolving:
0.01/0.09 c (round 1) 0 del vars, 3324 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 10496 impls, 399 clqs
0.09/0.10 c (round 2) 2524 del vars, 3324 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 10496 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 51/400 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.11 c presolving (3 rounds):
0.09/0.11 c 2524 deleted vars, 3324 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 10496 implications, 0 cliques
0.09/0.11 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.09/0.11 c 400 constraints of type <knapsack>
0.09/0.11 c 200 constraints of type <setppc>
0.09/0.11 c 1 constraints of type <linear>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.08
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 2.1.1.4
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1797
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.69/0.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.73 c t 0.7s| 1 | 0 | 4593 | - |8434k| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | Inf
0.69/0.74 o -1
0.69/0.74 c R 0.7s| 1 | 0 | 4593 | - |8442k| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 |9900.00%
6.18/6.27 c 6.3s| 1 | 2 | 11649 | - |8474k| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 23 |-1.000000e+02 |-1.000000e+00 |9900.00%
10.78/10.81 o -2
10.78/10.81 c R10.8s| 4 | 3 | 12133 |2513.3 |8491k| 3 | 381 | 400 | 601 | 400 | 601 | 0 | 0 | 54 |-9.947221e+01 |-2.000000e+00 |4873.61%
11.89/11.94 o -3
11.89/11.94 c R11.9s| 5 | 4 | 12148 |1888.8 |8497k| 4 | 380 | 400 | 601 | 400 | 601 | 0 | 0 | 69 |-9.947221e+01 |-3.000000e+00 |3215.74%
12.99/13.03 o -4
12.99/13.03 c R13.0s| 6 | 5 | 12225 |1526.4 |8503k| 5 | 371 | 400 | 601 | 400 | 601 | 0 | 0 | 83 |-9.947221e+01 |-4.000000e+00 |2386.81%
28.08/28.12 o -48
28.08/28.12 c c28.1s| 15 | 16 | 14245 | 689.4 |8764k| 14 | - | 400 | 601 | 400 | 601 | 0 | 0 | 291 |-9.947221e+01 |-4.800000e+01 | 107.23%
34.29/34.33 o -49
34.29/34.33 c p34.3s| 27 | 28 | 16641 | 463.4 |8691k| 14 | - | 400 | 601 | 400 | 601 | 0 | 0 | 451 |-9.947221e+01 |-4.900000e+01 | 103.00%
40.18/40.28 o -54
40.18/40.28 c f40.3s| 39 | 40 | 18419 | 363.8 |8760k| 14 | - | 400 | 601 | 400 | 601 | 0 | 0 | 615 |-9.947221e+01 |-5.400000e+01 | 84.21%
77.47/77.55 c 77.5s| 100 | 101 | 45296 | 411.1 |8761k| 17 | 382 | 400 | 606 | 400 | 601 | 0 | 5 |1509 |-9.915881e+01 |-5.400000e+01 | 83.63%
81.07/81.17 c 81.2s| 200 | 201 | 58723 | 272.0 |8923k| 27 | 256 | 400 | 615 | 400 | 601 | 0 | 14 |1525 |-9.915881e+01 |-5.400000e+01 | 83.63%
84.17/84.27 c 84.3s| 300 | 301 | 70458 | 220.3 |9060k| 27 | 235 | 400 | 615 | 400 | 601 | 0 | 14 |1525 |-9.884398e+01 |-5.400000e+01 | 83.04%
87.17/87.21 c 87.2s| 400 | 401 | 82533 | 195.3 |9197k| 27 | 219 | 400 | 622 | 400 | 601 | 0 | 21 |1525 |-9.868578e+01 |-5.400000e+01 | 82.75%
87.77/87.81 o -55
87.77/87.81 c l87.8s| 422 | 423 | 86070 | 193.5 |9343k| 27 | - | 400 | 622 | 400 | 601 | 0 | 21 |1525 |-9.868578e+01 |-5.500000e+01 | 79.43%
89.67/89.76 c 89.8s| 500 | 501 | 95484 | 182.1 |9338k| 27 | 260 | 400 | 622 | 400 | 601 | 0 | 21 |1525 |-9.868578e+01 |-5.500000e+01 | 79.43%
93.27/93.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.27/93.38 c 93.4s| 600 | 601 |106832 | 170.7 |9483k| 27 | 245 | 400 | 622 | 400 | 601 | 0 | 21 |1544 |-9.855014e+01 |-5.500000e+01 | 79.18%
96.87/96.98 c 97.0s| 700 | 701 |117215 | 161.1 |9637k| 27 | 271 | 400 | 622 | 400 | 601 | 0 | 21 |1568 |-9.840239e+01 |-5.500000e+01 | 78.91%
105.07/105.13 c 105s| 800 | 801 |140518 | 170.1 |9775k| 27 | 303 | 400 | 622 | 400 | 601 | 0 | 23 |1568 |-9.811718e+01 |-5.500000e+01 | 78.39%
109.37/109.45 o -56
109.37/109.45 c f 109s| 826 | 827 |151084 | 177.6 |9948k| 27 | - | 400 | 622 | 400 | 601 | 0 | 23 |1568 |-9.751318e+01 |-5.600000e+01 | 74.13%
120.87/120.90 c 121s| 900 | 901 |180548 | 195.7 |9895k| 29 | 227 | 400 | 631 | 400 | 601 | 0 | 33 |1568 |-9.715943e+01 |-5.600000e+01 | 73.50%
124.17/124.27 o -57
124.17/124.27 c f 124s| 938 | 939 |189604 | 197.5 | 10M| 31 | - | 400 | 631 | 400 | 601 | 0 | 33 |1568 |-9.692480e+01 |-5.700000e+01 | 70.04%
131.07/131.15 c 131s| 1000 | 1001 |208087 | 203.7 | 10M| 34 | 351 | 400 | 631 | 400 | 601 | 0 | 33 |1568 |-9.682579e+01 |-5.700000e+01 | 69.87%
139.96/140.07 c 140s| 1100 | 1101 |232137 | 207.0 | 10M| 35 | 346 | 400 | 631 | 400 | 601 | 0 | 34 |1571 |-9.664138e+01 |-5.700000e+01 | 69.55%
144.37/144.41 c 144s| 1200 | 1201 |244534 | 200.1 | 10M| 37 | 353 | 400 | 631 | 400 | 601 | 0 | 34 |1572 |-9.648491e+01 |-5.700000e+01 | 69.27%
148.96/149.04 c 149s| 1300 | 1301 |257513 | 194.7 | 10M| 52 | 359 | 400 | 631 | 400 | 601 | 0 | 34 |1572 |-9.648491e+01 |-5.700000e+01 | 69.27%
152.87/152.99 c 153s| 1400 | 1401 |271384 | 190.7 | 10M| 55 | 319 | 400 | 631 | 400 | 601 | 0 | 34 |1572 |-9.648491e+01 |-5.700000e+01 | 69.27%
156.96/157.08 c 157s| 1500 | 1501 |283927 | 186.3 | 10M| 57 | 325 | 400 | 631 | 400 | 601 | 0 | 34 |1574 |-9.648491e+01 |-5.700000e+01 | 69.27%
160.96/161.00 c 161s| 1600 | 1601 |295470 | 181.9 | 10M| 58 | 361 | 400 | 631 | 400 | 601 | 0 | 34 |1575 |-9.648491e+01 |-5.700000e+01 | 69.27%
164.36/164.41 c 164s| 1700 | 1701 |307585 | 178.3 | 10M| 59 | 301 | 400 | 651 | 400 | 601 | 0 | 54 |1575 |-9.648491e+01 |-5.700000e+01 | 69.27%
168.05/168.17 c 168s| 1800 | 1801 |322721 | 176.8 | 10M| 61 | 294 | 400 | 651 | 400 | 601 | 0 | 54 |1575 |-9.645774e+01 |-5.700000e+01 | 69.22%
171.86/171.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.86/171.91 c 172s| 1900 | 1901 |335126 | 174.1 | 10M| 61 | 290 | 400 | 659 | 400 | 601 | 0 | 62 |1575 |-9.630723e+01 |-5.700000e+01 | 68.96%
175.65/175.72 c 176s| 2000 | 2001 |347533 | 171.6 | 10M| 64 | 351 | 400 | 659 | 400 | 601 | 0 | 62 |1579 |-9.627070e+01 |-5.700000e+01 | 68.90%
179.17/179.22 c 179s| 2100 | 2101 |358782 | 168.7 | 10M| 64 | 321 | 400 | 659 | 400 | 601 | 0 | 62 |1579 |-9.616839e+01 |-5.700000e+01 | 68.72%
182.65/182.79 c 183s| 2200 | 2201 |370020 | 166.2 | 10M| 64 | 293 | 400 | 659 | 400 | 601 | 0 | 62 |1579 |-9.615139e+01 |-5.700000e+01 | 68.69%
187.16/187.28 c 187s| 2300 | 2301 |391856 | 168.4 | 10M| 65 | 285 | 400 | 659 | 400 | 601 | 0 | 62 |1580 |-9.613783e+01 |-5.700000e+01 | 68.66%
190.65/190.76 c 191s| 2400 | 2401 |402333 | 165.8 | 11M| 65 | 323 | 400 | 659 | 400 | 601 | 0 | 62 |1583 |-9.612424e+01 |-5.700000e+01 | 68.64%
194.06/194.11 c 194s| 2500 | 2501 |413774 | 163.7 | 11M| 65 | 303 | 400 | 659 | 400 | 601 | 0 | 62 |1583 |-9.612076e+01 |-5.700000e+01 | 68.63%
197.16/197.22 c 197s| 2600 | 2601 |423403 | 161.1 | 11M| 67 | 292 | 400 | 659 | 400 | 601 | 0 | 62 |1584 |-9.605932e+01 |-5.700000e+01 | 68.53%
201.46/201.59 c 202s| 2700 | 2701 |438521 | 160.8 | 11M| 68 | 362 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.604933e+01 |-5.700000e+01 | 68.51%
204.86/204.97 c 205s| 2800 | 2801 |450404 | 159.3 | 11M| 68 | 307 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.599487e+01 |-5.700000e+01 | 68.41%
207.45/207.54 c 208s| 2900 | 2901 |458804 | 156.7 | 11M| 68 | 318 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.598805e+01 |-5.700000e+01 | 68.40%
211.25/211.36 c 211s| 3000 | 3001 |471789 | 155.8 | 11M| 68 | 285 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.598537e+01 |-5.700000e+01 | 68.40%
214.65/214.77 c 215s| 3100 | 3101 |481956 | 154.0 | 11M| 68 | 365 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.588367e+01 |-5.700000e+01 | 68.22%
218.35/218.47 c 218s| 3200 | 3201 |494845 | 153.3 | 11M| 69 | 314 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.584443e+01 |-5.700000e+01 | 68.15%
221.45/221.59 c 222s| 3300 | 3301 |505406 | 151.8 | 11M| 69 | 309 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.583443e+01 |-5.700000e+01 | 68.13%
224.75/224.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.75/224.83 c 225s| 3400 | 3401 |516003 | 150.5 | 11M| 69 | 286 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.582790e+01 |-5.700000e+01 | 68.12%
229.15/229.27 c 229s| 3500 | 3501 |536427 | 152.0 | 11M| 69 | 331 | 400 | 663 | 400 | 601 | 0 | 67 |1584 |-9.580802e+01 |-5.700000e+01 | 68.08%
232.75/232.87 c 233s| 3600 | 3601 |551738 | 152.0 | 11M| 69 | 300 | 400 | 672 | 400 | 601 | 0 | 76 |1584 |-9.573601e+01 |-5.700000e+01 | 67.96%
235.85/235.99 c 236s| 3700 | 3701 |562581 | 150.8 | 12M| 69 | 291 | 400 | 672 | 400 | 601 | 0 | 76 |1584 |-9.569604e+01 |-5.700000e+01 | 67.89%
238.85/238.91 c 239s| 3800 | 3801 |572914 | 149.6 | 12M| 69 | 344 | 400 | 672 | 400 | 601 | 0 | 76 |1584 |-9.567615e+01 |-5.700000e+01 | 67.85%
241.75/241.81 c 242s| 3900 | 3901 |583688 | 148.5 | 12M| 69 | 317 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.564540e+01 |-5.700000e+01 | 67.80%
245.74/245.82 c 246s| 4000 | 4001 |598450 | 148.5 | 12M| 69 | 302 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.564512e+01 |-5.700000e+01 | 67.80%
248.84/248.96 c 249s| 4100 | 4101 |609085 | 147.5 | 12M| 69 | 286 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.563346e+01 |-5.700000e+01 | 67.78%
252.15/252.22 c 252s| 4200 | 4201 |619454 | 146.4 | 12M| 69 | 328 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.555968e+01 |-5.700000e+01 | 67.65%
255.15/255.26 c 255s| 4300 | 4301 |629908 | 145.5 | 12M| 69 | 307 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.554443e+01 |-5.700000e+01 | 67.62%
257.94/258.01 c 258s| 4400 | 4401 |639082 | 144.2 | 12M| 69 | 270 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.552302e+01 |-5.700000e+01 | 67.58%
261.54/261.60 c 262s| 4500 | 4501 |653334 | 144.2 | 12M| 71 | 300 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.545750e+01 |-5.700000e+01 | 67.47%
265.04/265.17 c 265s| 4600 | 4601 |671184 | 144.9 | 12M| 71 | 274 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.543005e+01 |-5.700000e+01 | 67.42%
267.84/267.93 c 268s| 4700 | 4701 |680645 | 143.9 | 12M| 71 | 315 | 400 | 672 | 400 | 601 | 0 | 77 |1584 |-9.540626e+01 |-5.700000e+01 | 67.38%
271.44/271.50 c 272s| 4800 | 4801 |694340 | 143.7 | 12M| 71 | 265 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.537677e+01 |-5.700000e+01 | 67.33%
274.45/274.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.45/274.50 c 274s| 4900 | 4901 |704683 | 142.9 | 12M| 71 | 286 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.533328e+01 |-5.700000e+01 | 67.25%
277.44/277.56 c 278s| 5000 | 5001 |717689 | 142.6 | 12M| 71 | 277 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.527831e+01 |-5.700000e+01 | 67.15%
280.34/280.47 c 280s| 5100 | 5101 |727589 | 141.8 | 13M| 71 | 304 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.525946e+01 |-5.700000e+01 | 67.12%
283.64/283.72 c 284s| 5200 | 5201 |739160 | 141.3 | 13M| 71 | 283 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.524411e+01 |-5.700000e+01 | 67.09%
286.24/286.39 c 286s| 5300 | 5301 |748364 | 140.4 | 13M| 71 | 309 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.516459e+01 |-5.700000e+01 | 66.96%
289.04/289.13 c 289s| 5400 | 5401 |758761 | 139.7 | 13M| 71 | 277 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.513765e+01 |-5.700000e+01 | 66.91%
292.14/292.26 c 292s| 5500 | 5501 |770051 | 139.2 | 13M| 71 | 332 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.510014e+01 |-5.700000e+01 | 66.84%
295.64/295.78 c 296s| 5600 | 5601 |781865 | 138.8 | 13M| 71 | 272 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.507690e+01 |-5.700000e+01 | 66.80%
300.14/300.23 c 300s| 5700 | 5701 |808872 | 141.1 | 13M| 71 | 298 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.504949e+01 |-5.700000e+01 | 66.75%
302.84/302.98 c 303s| 5800 | 5801 |818820 | 140.4 | 13M| 71 | 275 | 400 | 682 | 400 | 601 | 0 | 87 |1584 |-9.502032e+01 |-5.700000e+01 | 66.70%
305.84/305.91 c 306s| 5900 | 5901 |830813 | 140.1 | 13M| 71 | 324 | 400 | 689 | 400 | 601 | 0 | 94 |1584 |-9.499064e+01 |-5.700000e+01 | 66.65%
309.23/309.36 c 309s| 6000 | 6001 |843409 | 139.8 | 13M| 71 | 277 | 400 | 689 | 400 | 601 | 0 | 94 |1584 |-9.497060e+01 |-5.700000e+01 | 66.62%
311.84/311.92 c 312s| 6100 | 6101 |851543 | 138.9 | 13M| 71 | 327 | 400 | 689 | 400 | 601 | 0 | 94 |1585 |-9.494829e+01 |-5.700000e+01 | 66.58%
314.83/314.97 c 315s| 6200 | 6201 |862919 | 138.5 | 13M| 71 | 270 | 400 | 689 | 400 | 601 | 0 | 94 |1585 |-9.493923e+01 |-5.700000e+01 | 66.56%
317.84/317.91 c 318s| 6300 | 6301 |873268 | 137.9 | 13M| 71 | 298 | 400 | 689 | 400 | 601 | 0 | 94 |1585 |-9.491714e+01 |-5.700000e+01 | 66.52%
320.14/320.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.14/320.23 c 320s| 6400 | 6401 |882450 | 137.2 | 14M| 71 | 256 | 400 | 689 | 400 | 601 | 0 | 94 |1585 |-9.490992e+01 |-5.700000e+01 | 66.51%
323.14/323.23 c 323s| 6500 | 6501 |893420 | 136.8 | 14M| 71 | 307 | 400 | 689 | 400 | 601 | 0 | 94 |1585 |-9.486770e+01 |-5.700000e+01 | 66.43%
326.23/326.39 c 326s| 6600 | 6601 |904178 | 136.3 | 14M| 71 | 288 | 400 | 689 | 400 | 601 | 0 | 94 |1588 |-9.486180e+01 |-5.700000e+01 | 66.42%
329.13/329.20 c 329s| 6700 | 6701 |913928 | 135.7 | 14M| 71 | 303 | 400 | 689 | 400 | 601 | 0 | 94 |1588 |-9.483647e+01 |-5.700000e+01 | 66.38%
332.04/332.15 c 332s| 6800 | 6801 |925589 | 135.5 | 14M| 71 | 269 | 400 | 689 | 400 | 601 | 0 | 94 |1589 |-9.483113e+01 |-5.700000e+01 | 66.37%
335.44/335.52 c 336s| 6900 | 6901 |937440 | 135.2 | 14M| 71 | 325 | 400 | 689 | 400 | 601 | 0 | 94 |1589 |-9.478914e+01 |-5.700000e+01 | 66.30%
338.43/338.50 c 339s| 7000 | 7001 |947763 | 134.8 | 14M| 71 | 279 | 400 | 689 | 400 | 601 | 0 | 94 |1593 |-9.478124e+01 |-5.700000e+01 | 66.28%
341.63/341.79 c 342s| 7100 | 7101 |964382 | 135.2 | 14M| 72 | 315 | 400 | 689 | 400 | 601 | 0 | 94 |1593 |-9.477617e+01 |-5.700000e+01 | 66.27%
344.53/344.60 c 345s| 7200 | 7201 |975163 | 134.8 | 14M| 72 | 266 | 400 | 689 | 400 | 601 | 0 | 94 |1593 |-9.476619e+01 |-5.700000e+01 | 66.26%
347.83/347.98 c 348s| 7300 | 7301 |989168 | 134.9 | 14M| 72 | 307 | 400 | 693 | 400 | 601 | 0 | 98 |1594 |-9.475639e+01 |-5.700000e+01 | 66.24%
350.63/350.76 c 351s| 7400 | 7401 |999393 | 134.5 | 14M| 72 | 229 | 400 | 693 | 400 | 601 | 0 | 98 |1598 |-9.472211e+01 |-5.700000e+01 | 66.18%
353.63/353.79 c 354s| 7500 | 7501 | 1009k| 134.1 | 14M| 72 | 316 | 400 | 693 | 400 | 601 | 0 | 98 |1598 |-9.470523e+01 |-5.700000e+01 | 66.15%
356.53/356.64 c 357s| 7600 | 7601 | 1020k| 133.7 | 14M| 72 | 279 | 400 | 693 | 400 | 601 | 0 | 98 |1598 |-9.468668e+01 |-5.700000e+01 | 66.12%
359.43/359.56 c 360s| 7700 | 7701 | 1032k| 133.5 | 15M| 72 | 305 | 400 | 693 | 400 | 601 | 0 | 98 |1598 |-9.468145e+01 |-5.700000e+01 | 66.11%
362.23/362.37 c 362s| 7800 | 7801 | 1041k| 133.0 | 15M| 72 | 268 | 400 | 693 | 400 | 601 | 0 | 98 |1603 |-9.466345e+01 |-5.700000e+01 | 66.08%
364.93/365.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.93/365.10 c 365s| 7900 | 7901 | 1051k| 132.5 | 15M| 72 | 315 | 400 | 693 | 400 | 601 | 0 | 98 |1604 |-9.464917e+01 |-5.700000e+01 | 66.05%
367.52/367.67 c 368s| 8000 | 8001 | 1061k| 132.1 | 15M| 72 | 224 | 400 | 693 | 400 | 601 | 0 | 98 |1604 |-9.463521e+01 |-5.700000e+01 | 66.03%
371.03/371.19 c 371s| 8100 | 8101 | 1079k| 132.7 | 15M| 72 | 296 | 400 | 693 | 400 | 601 | 0 | 98 |1604 |-9.462508e+01 |-5.700000e+01 | 66.01%
373.72/373.86 c 374s| 8200 | 8201 | 1089k| 132.3 | 15M| 72 | 280 | 400 | 693 | 400 | 601 | 0 | 98 |1609 |-9.461815e+01 |-5.700000e+01 | 66.00%
376.42/376.53 c 377s| 8300 | 8299 | 1098k| 131.9 | 15M| 72 | 301 | 400 | 693 | 400 | 601 | 0 | 98 |1609 |-9.459904e+01 |-5.700000e+01 | 65.96%
379.13/379.26 c 379s| 8400 | 8399 | 1109k| 131.5 | 15M| 72 | 260 | 400 | 693 | 400 | 601 | 0 | 98 |1609 |-9.459904e+01 |-5.700000e+01 | 65.96%
381.63/381.78 c 382s| 8500 | 8499 | 1119k| 131.2 | 15M| 72 | 320 | 400 | 707 | 400 | 601 | 0 | 112 |1609 |-9.459904e+01 |-5.700000e+01 | 65.96%
384.52/384.62 c 385s| 8600 | 8599 | 1131k| 131.0 | 15M| 72 | 271 | 400 | 707 | 400 | 601 | 0 | 112 |1618 |-9.459904e+01 |-5.700000e+01 | 65.96%
387.53/387.60 c 388s| 8700 | 8699 | 1141k| 130.6 | 15M| 72 | 308 | 400 | 707 | 400 | 601 | 0 | 112 |1619 |-9.459904e+01 |-5.700000e+01 | 65.96%
389.53/389.67 c 390s| 8800 | 8799 | 1149k| 130.1 | 15M| 72 | 286 | 400 | 707 | 400 | 601 | 0 | 112 |1619 |-9.459904e+01 |-5.700000e+01 | 65.96%
392.42/392.53 c 393s| 8900 | 8899 | 1159k| 129.8 | 15M| 72 | 298 | 400 | 707 | 400 | 601 | 0 | 112 |1619 |-9.459904e+01 |-5.700000e+01 | 65.96%
395.93/396.08 c 396s| 9000 | 8999 | 1181k| 130.8 | 16M| 72 | 285 | 400 | 707 | 400 | 601 | 0 | 112 |1619 |-9.459904e+01 |-5.700000e+01 | 65.96%
398.82/398.94 c 399s| 9100 | 9099 | 1191k| 130.4 | 16M| 72 | 304 | 400 | 707 | 400 | 601 | 0 | 112 |1628 |-9.459904e+01 |-5.700000e+01 | 65.96%
401.72/401.80 c 402s| 9200 | 9199 | 1203k| 130.3 | 16M| 72 | 284 | 400 | 707 | 400 | 601 | 0 | 112 |1628 |-9.459904e+01 |-5.700000e+01 | 65.96%
404.32/404.47 c 404s| 9300 | 9299 | 1212k| 129.9 | 16M| 72 | 321 | 400 | 707 | 400 | 601 | 0 | 112 |1628 |-9.459904e+01 |-5.700000e+01 | 65.96%
406.93/407.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.93/407.08 c 407s| 9400 | 9399 | 1222k| 129.6 | 16M| 72 | 263 | 400 | 707 | 400 | 601 | 0 | 112 |1628 |-9.459904e+01 |-5.700000e+01 | 65.96%
409.12/409.28 c 409s| 9500 | 9499 | 1231k| 129.1 | 16M| 72 | 326 | 400 | 707 | 400 | 601 | 0 | 112 |1633 |-9.459904e+01 |-5.700000e+01 | 65.96%
411.72/411.86 c 412s| 9600 | 9599 | 1241k| 128.8 | 16M| 72 | 294 | 400 | 707 | 400 | 601 | 0 | 112 |1635 |-9.459904e+01 |-5.700000e+01 | 65.96%
415.02/415.10 c 415s| 9700 | 9699 | 1252k| 128.6 | 16M| 72 | 308 | 400 | 707 | 400 | 601 | 0 | 112 |1635 |-9.459904e+01 |-5.700000e+01 | 65.96%
417.02/417.15 c 417s| 9800 | 9799 | 1260k| 128.1 | 16M| 72 | 261 | 400 | 707 | 400 | 601 | 0 | 112 |1635 |-9.459904e+01 |-5.700000e+01 | 65.96%
420.02/420.19 c 420s| 9900 | 9899 | 1272k| 128.1 | 16M| 72 | 316 | 400 | 713 | 400 | 601 | 0 | 118 |1635 |-9.459904e+01 |-5.700000e+01 | 65.96%
422.81/422.90 c 423s| 10000 | 9999 | 1284k| 128.0 | 16M| 72 | 267 | 400 | 713 | 400 | 601 | 0 | 118 |1645 |-9.459904e+01 |-5.700000e+01 | 65.96%
425.42/425.52 c 426s| 10100 | 10099 | 1293k| 127.7 | 16M| 72 | 327 | 400 | 713 | 400 | 601 | 0 | 118 |1645 |-9.459904e+01 |-5.700000e+01 | 65.96%
427.82/427.90 c 428s| 10200 | 10199 | 1302k| 127.2 | 16M| 72 | 271 | 400 | 713 | 400 | 601 | 0 | 118 |1645 |-9.459904e+01 |-5.700000e+01 | 65.96%
430.11/430.20 c 430s| 10300 | 10299 | 1310k| 126.8 | 17M| 72 | 315 | 400 | 713 | 400 | 601 | 0 | 118 |1645 |-9.459904e+01 |-5.700000e+01 | 65.96%
433.11/433.20 c 433s| 10400 | 10399 | 1321k| 126.6 | 17M| 72 | 279 | 400 | 713 | 400 | 601 | 0 | 118 |1654 |-9.459904e+01 |-5.700000e+01 | 65.96%
436.62/436.71 c 437s| 10500 | 10499 | 1342k| 127.4 | 17M| 72 | 312 | 400 | 713 | 400 | 601 | 0 | 118 |1654 |-9.459904e+01 |-5.700000e+01 | 65.96%
438.91/439.00 c 439s| 10600 | 10599 | 1351k| 127.1 | 17M| 72 | 273 | 400 | 713 | 400 | 601 | 0 | 118 |1657 |-9.459904e+01 |-5.700000e+01 | 65.96%
441.02/441.16 c 441s| 10700 | 10699 | 1359k| 126.6 | 17M| 72 | 322 | 400 | 713 | 400 | 601 | 0 | 118 |1657 |-9.459904e+01 |-5.700000e+01 | 65.96%
443.81/443.98 c 444s| 10800 | 10799 | 1371k| 126.6 | 17M| 72 | 270 | 400 | 713 | 400 | 601 | 0 | 118 |1657 |-9.459904e+01 |-5.700000e+01 | 65.96%
446.92/447.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.92/447.07 c 447s| 10900 | 10899 | 1381k| 126.3 | 17M| 72 | 309 | 400 | 713 | 400 | 601 | 0 | 118 |1669 |-9.459904e+01 |-5.700000e+01 | 65.96%
449.51/449.67 c 450s| 11000 | 10999 | 1391k| 126.1 | 17M| 72 | 269 | 400 | 713 | 400 | 601 | 0 | 118 |1669 |-9.459904e+01 |-5.700000e+01 | 65.96%
451.81/451.98 c 452s| 11100 | 11099 | 1400k| 125.8 | 17M| 72 | 314 | 400 | 713 | 400 | 601 | 0 | 118 |1669 |-9.459904e+01 |-5.700000e+01 | 65.96%
453.61/453.78 c 454s| 11200 | 11199 | 1408k| 125.4 | 17M| 72 | 275 | 400 | 718 | 400 | 601 | 0 | 123 |1669 |-9.459904e+01 |-5.700000e+01 | 65.96%
456.61/456.71 c 457s| 11300 | 11299 | 1419k| 125.2 | 17M| 72 | 323 | 400 | 718 | 400 | 601 | 0 | 123 |1669 |-9.459904e+01 |-5.700000e+01 | 65.96%
459.62/459.71 c 460s| 11400 | 11399 | 1430k| 125.1 | 17M| 72 | 255 | 400 | 718 | 400 | 601 | 0 | 123 |1680 |-9.459904e+01 |-5.700000e+01 | 65.96%
462.21/462.33 c 462s| 11500 | 11499 | 1440k| 124.9 | 17M| 72 | 315 | 400 | 718 | 400 | 601 | 0 | 123 |1681 |-9.459904e+01 |-5.700000e+01 | 65.96%
464.61/464.70 c 465s| 11600 | 11597 | 1449k| 124.6 | 18M| 72 | 284 | 400 | 718 | 400 | 601 | 0 | 123 |1681 |-9.459904e+01 |-5.700000e+01 | 65.96%
467.71/467.82 c 468s| 11700 | 11697 | 1460k| 124.5 | 18M| 72 | 325 | 400 | 718 | 400 | 601 | 0 | 123 |1681 |-9.459904e+01 |-5.700000e+01 | 65.96%
470.21/470.37 c 470s| 11800 | 11797 | 1469k| 124.1 | 18M| 72 | 267 | 400 | 718 | 400 | 601 | 0 | 123 |1690 |-9.459904e+01 |-5.700000e+01 | 65.96%
472.41/472.56 c 473s| 11900 | 11897 | 1478k| 123.9 | 18M| 72 | 307 | 400 | 718 | 400 | 601 | 0 | 123 |1690 |-9.459904e+01 |-5.700000e+01 | 65.96%
475.81/475.92 c 476s| 12000 | 11997 | 1501k| 124.7 | 18M| 72 | 266 | 400 | 718 | 400 | 601 | 0 | 123 |1690 |-9.459904e+01 |-5.700000e+01 | 65.96%
478.20/478.34 c 478s| 12100 | 12097 | 1510k| 124.4 | 18M| 72 | 308 | 400 | 718 | 400 | 601 | 0 | 123 |1690 |-9.459904e+01 |-5.700000e+01 | 65.96%
480.91/481.03 c 481s| 12200 | 12197 | 1520k| 124.2 | 18M| 72 | 265 | 400 | 718 | 400 | 601 | 0 | 123 |1691 |-9.459904e+01 |-5.700000e+01 | 65.96%
483.61/483.77 c 484s| 12300 | 12297 | 1528k| 123.9 | 18M| 73 | 320 | 400 | 718 | 400 | 601 | 0 | 123 |1701 |-9.459904e+01 |-5.700000e+01 | 65.96%
485.70/485.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.70/485.87 c 486s| 12400 | 12397 | 1540k| 123.9 | 18M| 73 | 272 | 400 | 727 | 400 | 601 | 0 | 132 |1701 |-9.459904e+01 |-5.700000e+01 | 65.96%
488.31/488.43 c 488s| 12500 | 12497 | 1550k| 123.7 | 18M| 73 | 303 | 400 | 727 | 400 | 601 | 0 | 132 |1701 |-9.459904e+01 |-5.700000e+01 | 65.96%
490.41/490.59 c 491s| 12600 | 12597 | 1558k| 123.4 | 18M| 73 | 275 | 400 | 727 | 400 | 601 | 0 | 132 |1701 |-9.459904e+01 |-5.700000e+01 | 65.96%
493.21/493.33 c 493s| 12700 | 12697 | 1569k| 123.2 | 18M| 73 | 320 | 400 | 727 | 400 | 601 | 0 | 132 |1702 |-9.459904e+01 |-5.700000e+01 | 65.96%
495.91/496.08 c 496s| 12800 | 12797 | 1578k| 122.9 | 18M| 73 | 247 | 400 | 727 | 400 | 601 | 0 | 132 |1711 |-9.459904e+01 |-5.700000e+01 | 65.96%
498.31/498.42 c 498s| 12900 | 12897 | 1586k| 122.7 | 19M| 73 | 327 | 400 | 727 | 400 | 601 | 0 | 132 |1711 |-9.459904e+01 |-5.700000e+01 | 65.96%
501.30/501.46 c 501s| 13000 | 12997 | 1599k| 122.7 | 19M| 73 | 290 | 400 | 727 | 400 | 601 | 0 | 132 |1711 |-9.459904e+01 |-5.700000e+01 | 65.96%
504.41/504.52 c 505s| 13100 | 13097 | 1610k| 122.6 | 19M| 73 | 328 | 400 | 727 | 400 | 601 | 0 | 132 |1711 |-9.459904e+01 |-5.700000e+01 | 65.96%
506.50/506.67 c 507s| 13200 | 13197 | 1618k| 122.2 | 19M| 73 | 177 | 400 | 727 | 400 | 601 | 0 | 132 |1720 |-9.459904e+01 |-5.700000e+01 | 65.96%
509.11/509.27 c 509s| 13300 | 13297 | 1627k| 122.1 | 19M| 73 | 323 | 400 | 727 | 400 | 601 | 0 | 132 |1720 |-9.459904e+01 |-5.700000e+01 | 65.96%
511.71/511.83 c 512s| 13400 | 13397 | 1637k| 121.8 | 19M| 73 | 276 | 400 | 727 | 400 | 601 | 0 | 132 |1722 |-9.459904e+01 |-5.700000e+01 | 65.96%
513.70/513.89 c 514s| 13500 | 13497 | 1645k| 121.5 | 19M| 75 | 164 | 400 | 727 | 400 | 601 | 0 | 132 |1722 |-9.459904e+01 |-5.700000e+01 | 65.96%
516.50/516.68 c 517s| 13600 | 13597 | 1664k| 122.1 | 19M| 75 | 281 | 400 | 727 | 400 | 601 | 0 | 132 |1722 |-9.459904e+01 |-5.700000e+01 | 65.96%
519.30/519.45 c 519s| 13700 | 13697 | 1674k| 121.9 | 19M| 75 | 323 | 400 | 727 | 400 | 601 | 0 | 132 |1730 |-9.459904e+01 |-5.700000e+01 | 65.96%
521.71/521.80 c 522s| 13800 | 13797 | 1684k| 121.7 | 19M| 75 | 247 | 400 | 727 | 400 | 601 | 0 | 132 |1731 |-9.459904e+01 |-5.700000e+01 | 65.96%
523.20/523.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.20/523.37 c 523s| 13900 | 13897 | 1690k| 121.3 | 19M| 79 | 335 | 400 | 727 | 400 | 601 | 0 | 132 |1731 |-9.459904e+01 |-5.700000e+01 | 65.96%
525.71/525.89 c 526s| 14000 | 13997 | 1700k| 121.2 | 19M| 79 | 275 | 400 | 734 | 400 | 601 | 0 | 139 |1731 |-9.459904e+01 |-5.700000e+01 | 65.96%
527.80/527.93 c 528s| 14100 | 14097 | 1709k| 120.9 | 19M| 79 | 324 | 400 | 734 | 400 | 601 | 0 | 139 |1731 |-9.459904e+01 |-5.700000e+01 | 65.96%
531.00/531.10 c 531s| 14200 | 14197 | 1719k| 120.8 | 20M| 79 | 286 | 400 | 734 | 400 | 601 | 0 | 139 |1741 |-9.459904e+01 |-5.700000e+01 | 65.96%
533.31/533.46 c 533s| 14300 | 14297 | 1729k| 120.6 | 20M| 79 | 320 | 400 | 734 | 400 | 601 | 0 | 139 |1741 |-9.459904e+01 |-5.700000e+01 | 65.96%
535.80/535.96 c 536s| 14400 | 14397 | 1738k| 120.4 | 20M| 79 | 276 | 400 | 734 | 400 | 601 | 0 | 139 |1741 |-9.459904e+01 |-5.700000e+01 | 65.96%
538.30/538.42 c 538s| 14500 | 14497 | 1747k| 120.2 | 20M| 79 | 140 | 400 | 734 | 400 | 601 | 0 | 139 |1741 |-9.459904e+01 |-5.700000e+01 | 65.96%
538.70/538.90 c 539s| 14600 | 14545 | 1752k| 119.7 | 20M| 79 | 84 | 400 | 734 | 400 | 601 | 0 | 139 |1741 |-9.458400e+01 |-5.700000e+01 | 65.94%
539.29/539.48 c 539s| 14700 | 14565 | 1754k| 119.1 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1741 |-9.457807e+01 |-5.700000e+01 | 65.93%
540.20/540.39 c 540s| 14800 | 14579 | 1757k| 118.5 | 20M| 79 | 75 | 400 | 734 | 400 | 601 | 0 | 139 |1742 |-9.457169e+01 |-5.700000e+01 | 65.92%
540.40/540.51 c 541s| 14900 | 14585 | 1758k| 117.7 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1742 |-9.457169e+01 |-5.700000e+01 | 65.92%
540.50/540.64 c 541s| 15000 | 14581 | 1760k| 117.0 | 20M| 79 | 84 | 400 | 734 | 400 | 601 | 0 | 139 |1742 |-9.457169e+01 |-5.700000e+01 | 65.92%
541.00/541.15 c 541s| 15100 | 14603 | 1762k| 116.4 | 20M| 79 | 64 | 400 | 734 | 400 | 601 | 0 | 139 |1742 |-9.456826e+01 |-5.700000e+01 | 65.91%
541.99/542.11 c 542s| 15200 | 14615 | 1765k| 115.9 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1751 |-9.453735e+01 |-5.700000e+01 | 65.86%
542.11/542.23 c 542s| 15300 | 14619 | 1766k| 115.2 | 20M| 79 | 62 | 400 | 734 | 400 | 601 | 0 | 139 |1751 |-9.453735e+01 |-5.700000e+01 | 65.86%
542.20/542.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.20/542.36 c 542s| 15400 | 14621 | 1767k| 114.5 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1752 |-9.453735e+01 |-5.700000e+01 | 65.86%
542.40/542.51 c 543s| 15500 | 14633 | 1769k| 113.9 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1752 |-9.453735e+01 |-5.700000e+01 | 65.86%
542.50/542.65 c 543s| 15600 | 14643 | 1770k| 113.2 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1752 |-9.453735e+01 |-5.700000e+01 | 65.86%
543.50/543.61 c 544s| 15700 | 14651 | 1775k| 112.8 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.453078e+01 |-5.700000e+01 | 65.84%
544.00/544.12 c 544s| 15800 | 14665 | 1777k| 112.2 | 20M| 79 | 68 | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.453059e+01 |-5.700000e+01 | 65.84%
544.99/545.13 c 545s| 15900 | 14685 | 1781k| 111.8 | 20M| 79 | 83 | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.452482e+01 |-5.700000e+01 | 65.83%
545.99/546.15 c 546s| 16000 | 14709 | 1784k| 111.3 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.451420e+01 |-5.700000e+01 | 65.81%
546.60/546.71 c 547s| 16100 | 14727 | 1787k| 110.7 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.450624e+01 |-5.700000e+01 | 65.80%
547.19/547.39 c 547s| 16200 | 14743 | 1790k| 110.2 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.448935e+01 |-5.700000e+01 | 65.77%
548.10/548.22 c 548s| 16300 | 14773 | 1793k| 109.8 | 20M| 79 | 69 | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.447975e+01 |-5.700000e+01 | 65.75%
548.20/548.33 c 548s| 16400 | 14773 | 1794k| 109.1 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.447975e+01 |-5.700000e+01 | 65.75%
548.30/548.45 c 548s| 16500 | 14779 | 1795k| 108.5 | 20M| 79 | 84 | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.447975e+01 |-5.700000e+01 | 65.75%
548.90/549.04 c 549s| 16600 | 14801 | 1798k| 108.1 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.447969e+01 |-5.700000e+01 | 65.75%
548.99/549.18 c 549s| 16700 | 14805 | 1799k| 107.5 | 20M| 79 | 81 | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.447969e+01 |-5.700000e+01 | 65.75%
549.99/550.18 c 550s| 16800 | 14833 | 1803k| 107.1 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.446551e+01 |-5.700000e+01 | 65.73%
550.20/550.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.20/550.32 c 550s| 16900 | 14841 | 1805k| 106.5 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.446551e+01 |-5.700000e+01 | 65.73%
551.09/551.22 c 551s| 17000 | 14861 | 1808k| 106.1 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.445364e+01 |-5.700000e+01 | 65.71%
552.29/552.49 c 552s| 17100 | 14875 | 1820k| 106.2 | 20M| 79 | - | 400 | 734 | 400 | 601 | 0 | 139 |1764 |-9.445034e+01 |-5.700000e+01 | 65.70%
553.70/553.83 c 554s| 17200 | 14901 | 1827k| 106.0 | 20M| 79 | - | 400 | 743 | 400 | 601 | 0 | 148 |1764 |-9.444782e+01 |-5.700000e+01 | 65.70%
553.80/553.97 c 554s| 17300 | 14909 | 1828k| 105.4 | 20M| 84 | 63 | 400 | 743 | 400 | 601 | 0 | 148 |1769 |-9.444782e+01 |-5.700000e+01 | 65.70%
554.89/555.09 c 555s| 17400 | 14925 | 1830k| 104.9 | 20M| 84 | 80 | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.444480e+01 |-5.700000e+01 | 65.69%
555.50/555.60 c 556s| 17500 | 14937 | 1833k| 104.5 | 20M| 84 | - | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.444268e+01 |-5.700000e+01 | 65.69%
555.99/556.13 c 556s| 17600 | 14951 | 1835k| 104.0 | 20M| 84 | 73 | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.443999e+01 |-5.700000e+01 | 65.68%
556.69/556.80 c 557s| 17700 | 14965 | 1838k| 103.6 | 20M| 84 | - | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.443578e+01 |-5.700000e+01 | 65.68%
556.79/556.93 c 557s| 17800 | 14969 | 1839k| 103.1 | 21M| 84 | 67 | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.443578e+01 |-5.700000e+01 | 65.68%
556.90/557.09 c 557s| 17900 | 14977 | 1841k| 102.6 | 21M| 84 | 76 | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.443578e+01 |-5.700000e+01 | 65.68%
557.40/557.57 c 558s| 18000 | 14987 | 1843k| 102.2 | 21M| 84 | - | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.442666e+01 |-5.700000e+01 | 65.66%
557.60/557.71 c 558s| 18100 | 14995 | 1845k| 101.7 | 21M| 84 | - | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.442666e+01 |-5.700000e+01 | 65.66%
557.70/557.84 c 558s| 18200 | 15003 | 1846k| 101.2 | 21M| 84 | 83 | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.442666e+01 |-5.700000e+01 | 65.66%
558.19/558.36 c 558s| 18300 | 15011 | 1848k| 100.8 | 21M| 84 | 80 | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.441432e+01 |-5.700000e+01 | 65.64%
559.59/559.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.59/559.77 c 560s| 18400 | 15035 | 1853k| 100.5 | 21M| 84 | - | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.438766e+01 |-5.700000e+01 | 65.59%
559.70/559.88 c 560s| 18500 | 15035 | 1853k| 100.0 | 21M| 94 | - | 400 | 743 | 400 | 601 | 0 | 148 |1783 |-9.438766e+01 |-5.700000e+01 | 65.59%
562.10/562.21 c 562s| 18600 | 15105 | 1863k| 100.0 | 21M| 94 | 248 | 400 | 743 | 400 | 601 | 0 | 148 |1785 |-9.434965e+01 |-5.700000e+01 | 65.53%
564.70/564.83 c 565s| 18700 | 15205 | 1873k| 99.9 | 21M| 94 | 262 | 400 | 743 | 400 | 601 | 0 | 148 |1785 |-9.430683e+01 |-5.700000e+01 | 65.45%
568.19/568.37 c 568s| 18800 | 15305 | 1884k| 100.0 | 21M| 94 | 269 | 400 | 743 | 400 | 601 | 0 | 148 |1806 |-9.426752e+01 |-5.700000e+01 | 65.38%
570.60/570.74 c 571s| 18900 | 15405 | 1893k| 99.9 | 21M| 94 | 260 | 400 | 743 | 400 | 601 | 0 | 148 |1807 |-9.422188e+01 |-5.700000e+01 | 65.30%
573.90/574.09 c 574s| 19000 | 15505 | 1909k| 100.2 | 21M| 94 | 255 | 400 | 743 | 400 | 601 | 0 | 149 |1807 |-9.419874e+01 |-5.700000e+01 | 65.26%
576.49/576.61 c 577s| 19100 | 15605 | 1918k| 100.2 | 21M| 94 | 263 | 400 | 743 | 400 | 601 | 0 | 149 |1807 |-9.416063e+01 |-5.700000e+01 | 65.19%
579.19/579.37 c 579s| 19200 | 15705 | 1928k| 100.2 | 21M| 94 | 258 | 400 | 743 | 400 | 601 | 0 | 149 |1807 |-9.412972e+01 |-5.700000e+01 | 65.14%
582.49/582.68 c 583s| 19300 | 15805 | 1939k| 100.3 | 21M| 94 | 256 | 400 | 743 | 400 | 601 | 0 | 149 |1824 |-9.410547e+01 |-5.700000e+01 | 65.10%
585.89/586.09 c 586s| 19400 | 15905 | 1957k| 100.7 | 21M| 94 | 258 | 400 | 743 | 400 | 601 | 0 | 149 |1825 |-9.407555e+01 |-5.700000e+01 | 65.04%
588.69/588.86 c 589s| 19500 | 16005 | 1968k| 100.7 | 21M| 94 | 255 | 400 | 743 | 400 | 601 | 0 | 149 |1826 |-9.404802e+01 |-5.700000e+01 | 65.00%
591.19/591.35 c 591s| 19600 | 16105 | 1977k| 100.7 | 22M| 94 | 244 | 400 | 742 | 400 | 601 | 0 | 149 |1826 |-9.401964e+01 |-5.700000e+01 | 64.95%
593.79/593.95 c 594s| 19700 | 16205 | 1987k| 100.7 | 22M| 94 | 245 | 400 | 742 | 400 | 601 | 0 | 149 |1826 |-9.398281e+01 |-5.700000e+01 | 64.88%
597.29/597.42 c 597s| 19800 | 16305 | 1999k| 100.8 | 22M| 94 | 271 | 400 | 753 | 400 | 601 | 0 | 160 |1844 |-9.396909e+01 |-5.700000e+01 | 64.86%
600.50/600.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.50/600.61 c 601s| 19900 | 16405 | 2011k| 100.8 | 22M| 94 | 260 | 400 | 753 | 400 | 601 | 0 | 160 |1852 |-9.394622e+01 |-5.700000e+01 | 64.82%
603.29/603.42 c 603s| 20000 | 16505 | 2021k| 100.9 | 22M| 94 | 248 | 400 | 753 | 400 | 601 | 0 | 160 |1852 |-9.392696e+01 |-5.700000e+01 | 64.78%
605.99/606.14 c 606s| 20100 | 16605 | 2031k| 100.9 | 22M| 94 | 250 | 400 | 753 | 400 | 601 | 0 | 160 |1852 |-9.389137e+01 |-5.700000e+01 | 64.72%
608.59/608.76 c 609s| 20200 | 16705 | 2041k| 100.8 | 22M| 94 | 244 | 400 | 753 | 400 | 601 | 0 | 160 |1852 |-9.386605e+01 |-5.700000e+01 | 64.68%
611.49/611.65 c 612s| 20300 | 16805 | 2051k| 100.9 | 22M| 94 | 258 | 400 | 752 | 400 | 601 | 0 | 160 |1863 |-9.383628e+01 |-5.700000e+01 | 64.63%
614.58/614.73 c 615s| 20400 | 16905 | 2061k| 100.8 | 22M| 94 | 264 | 400 | 752 | 400 | 601 | 0 | 160 |1877 |-9.381451e+01 |-5.700000e+01 | 64.59%
618.28/618.46 c 618s| 20500 | 17005 | 2082k| 101.4 | 22M| 94 | 260 | 400 | 752 | 400 | 601 | 0 | 160 |1877 |-9.378997e+01 |-5.700000e+01 | 64.54%
620.58/620.75 c 621s| 20600 | 17105 | 2090k| 101.3 | 22M| 94 | 262 | 400 | 752 | 400 | 601 | 0 | 160 |1877 |-9.376745e+01 |-5.700000e+01 | 64.50%
623.49/623.65 c 624s| 20700 | 17205 | 2103k| 101.4 | 22M| 94 | 259 | 400 | 751 | 400 | 601 | 0 | 160 |1877 |-9.374843e+01 |-5.700000e+01 | 64.47%
626.19/626.39 c 626s| 20800 | 17305 | 2112k| 101.3 | 22M| 94 | 252 | 400 | 751 | 400 | 601 | 0 | 160 |1888 |-9.373305e+01 |-5.700000e+01 | 64.44%
629.09/629.24 c 629s| 20900 | 17405 | 2121k| 101.3 | 23M| 94 | 252 | 400 | 751 | 400 | 601 | 0 | 160 |1900 |-9.370985e+01 |-5.700000e+01 | 64.40%
631.98/632.12 c 632s| 21000 | 17505 | 2132k| 101.4 | 23M| 94 | 241 | 400 | 751 | 400 | 601 | 0 | 160 |1900 |-9.368156e+01 |-5.700000e+01 | 64.35%
634.38/634.55 c 635s| 21100 | 17605 | 2141k| 101.3 | 23M| 94 | 253 | 400 | 751 | 400 | 601 | 0 | 160 |1901 |-9.366511e+01 |-5.700000e+01 | 64.32%
637.58/637.73 c 638s| 21200 | 17705 | 2156k| 101.5 | 23M| 94 | 246 | 400 | 748 | 400 | 601 | 0 | 160 |1901 |-9.364529e+01 |-5.700000e+01 | 64.29%
640.19/640.37 c 640s| 21300 | 17805 | 2166k| 101.5 | 23M| 94 | 241 | 400 | 748 | 400 | 601 | 0 | 160 |1901 |-9.362857e+01 |-5.700000e+01 | 64.26%
643.18/643.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.18/643.35 c 643s| 21400 | 17905 | 2175k| 101.4 | 23M| 94 | 247 | 400 | 748 | 400 | 601 | 0 | 160 |1922 |-9.361505e+01 |-5.700000e+01 | 64.24%
646.18/646.35 c 646s| 21500 | 18005 | 2186k| 101.5 | 23M| 94 | 246 | 400 | 753 | 400 | 601 | 0 | 165 |1927 |-9.359498e+01 |-5.700000e+01 | 64.20%
648.68/648.88 c 649s| 21600 | 18105 | 2196k| 101.5 | 23M| 94 | 251 | 400 | 753 | 400 | 601 | 0 | 165 |1927 |-9.358279e+01 |-5.700000e+01 | 64.18%
652.09/652.26 c 652s| 21700 | 18205 | 2218k| 102.0 | 23M| 94 | 253 | 400 | 753 | 400 | 601 | 0 | 165 |1927 |-9.357404e+01 |-5.700000e+01 | 64.16%
654.58/654.74 c 655s| 21800 | 18305 | 2227k| 102.0 | 23M| 94 | 241 | 400 | 753 | 400 | 601 | 0 | 165 |1928 |-9.355654e+01 |-5.700000e+01 | 64.13%
657.48/657.64 c 658s| 21900 | 18405 | 2239k| 102.1 | 23M| 94 | 239 | 400 | 753 | 400 | 601 | 0 | 165 |1928 |-9.354136e+01 |-5.700000e+01 | 64.11%
660.68/660.80 c 661s| 22000 | 18505 | 2249k| 102.1 | 23M| 94 | 261 | 400 | 753 | 400 | 601 | 0 | 165 |1947 |-9.352600e+01 |-5.700000e+01 | 64.08%
663.38/663.57 c 664s| 22100 | 18605 | 2259k| 102.0 | 24M| 94 | 254 | 400 | 753 | 400 | 601 | 0 | 165 |1953 |-9.350912e+01 |-5.700000e+01 | 64.05%
665.88/666.03 c 666s| 22200 | 18705 | 2268k| 102.0 | 24M| 94 | 252 | 400 | 753 | 400 | 601 | 0 | 165 |1953 |-9.348660e+01 |-5.700000e+01 | 64.01%
668.48/668.62 c 669s| 22300 | 18805 | 2278k| 102.0 | 24M| 94 | 251 | 400 | 753 | 400 | 601 | 0 | 165 |1953 |-9.346732e+01 |-5.700000e+01 | 63.98%
671.17/671.38 c 671s| 22400 | 18905 | 2290k| 102.0 | 24M| 94 | 250 | 400 | 753 | 400 | 601 | 0 | 165 |1953 |-9.345071e+01 |-5.700000e+01 | 63.95%
673.87/674.08 c 674s| 22500 | 19005 | 2298k| 102.0 | 24M| 94 | 255 | 400 | 752 | 400 | 601 | 0 | 165 |1970 |-9.343872e+01 |-5.700000e+01 | 63.93%
676.87/677.03 c 677s| 22600 | 19105 | 2309k| 102.0 | 24M| 94 | 253 | 400 | 751 | 400 | 601 | 0 | 165 |1978 |-9.343023e+01 |-5.700000e+01 | 63.91%
679.48/679.68 c 680s| 22700 | 19205 | 2320k| 102.0 | 24M| 94 | 260 | 400 | 751 | 400 | 601 | 0 | 165 |1978 |-9.341199e+01 |-5.700000e+01 | 63.88%
682.47/682.66 c 683s| 22800 | 19305 | 2332k| 102.1 | 24M| 94 | 255 | 400 | 758 | 400 | 601 | 0 | 172 |1979 |-9.339958e+01 |-5.700000e+01 | 63.86%
684.47/684.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.47/684.69 c 685s| 22900 | 19405 | 2340k| 102.0 | 24M| 94 | 255 | 400 | 757 | 400 | 601 | 0 | 172 |1979 |-9.338919e+01 |-5.700000e+01 | 63.84%
687.38/687.55 c 688s| 23000 | 19505 | 2351k| 102.0 | 24M| 94 | 256 | 400 | 757 | 400 | 601 | 0 | 172 |1979 |-9.338333e+01 |-5.700000e+01 | 63.83%
690.58/690.75 c 691s| 23100 | 19605 | 2361k| 102.0 | 24M| 94 | 251 | 400 | 757 | 400 | 601 | 0 | 172 |1998 |-9.336973e+01 |-5.700000e+01 | 63.81%
694.48/694.68 c 695s| 23200 | 19705 | 2381k| 102.5 | 24M| 94 | 246 | 400 | 757 | 400 | 601 | 0 | 172 |2006 |-9.334759e+01 |-5.700000e+01 | 63.77%
697.18/697.37 c 697s| 23300 | 19805 | 2391k| 102.5 | 25M| 94 | 252 | 400 | 755 | 400 | 601 | 0 | 172 |2006 |-9.333359e+01 |-5.700000e+01 | 63.74%
699.57/699.78 c 700s| 23400 | 19905 | 2400k| 102.4 | 25M| 94 | 252 | 400 | 755 | 400 | 601 | 0 | 172 |2006 |-9.331991e+01 |-5.700000e+01 | 63.72%
701.97/702.17 c 702s| 23500 | 20005 | 2410k| 102.4 | 25M| 94 | 248 | 400 | 755 | 400 | 601 | 0 | 172 |2006 |-9.330515e+01 |-5.700000e+01 | 63.69%
704.57/704.73 c 705s| 23600 | 20105 | 2421k| 102.4 | 25M| 94 | 256 | 400 | 755 | 400 | 601 | 0 | 172 |2006 |-9.329185e+01 |-5.700000e+01 | 63.67%
707.97/708.11 c 708s| 23700 | 20205 | 2431k| 102.4 | 25M| 94 | 255 | 400 | 754 | 400 | 601 | 0 | 172 |2033 |-9.327490e+01 |-5.700000e+01 | 63.64%
710.87/711.04 c 711s| 23800 | 20305 | 2441k| 102.4 | 25M| 94 | 253 | 400 | 754 | 400 | 601 | 0 | 172 |2038 |-9.326646e+01 |-5.700000e+01 | 63.63%
713.47/713.61 c 714s| 23900 | 20405 | 2451k| 102.4 | 25M| 94 | 253 | 400 | 753 | 400 | 601 | 0 | 172 |2039 |-9.325634e+01 |-5.700000e+01 | 63.61%
715.88/716.09 c 716s| 24000 | 20505 | 2462k| 102.4 | 25M| 94 | 243 | 400 | 759 | 400 | 601 | 0 | 178 |2039 |-9.324541e+01 |-5.700000e+01 | 63.59%
719.07/719.23 c 719s| 24100 | 20605 | 2475k| 102.5 | 25M| 94 | 262 | 400 | 759 | 400 | 601 | 0 | 178 |2039 |-9.323306e+01 |-5.700000e+01 | 63.57%
722.27/722.43 c 722s| 24200 | 20705 | 2497k| 103.0 | 25M| 94 | 252 | 400 | 759 | 400 | 601 | 0 | 178 |2039 |-9.322613e+01 |-5.700000e+01 | 63.55%
724.97/725.13 c 725s| 24300 | 20805 | 2507k| 103.0 | 25M| 94 | 262 | 400 | 759 | 400 | 601 | 0 | 178 |2052 |-9.321601e+01 |-5.700000e+01 | 63.54%
728.27/728.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.27/728.46 c 728s| 24400 | 20905 | 2517k| 103.0 | 25M| 94 | 263 | 400 | 758 | 400 | 601 | 0 | 178 |2072 |-9.320362e+01 |-5.700000e+01 | 63.52%
731.17/731.31 c 731s| 24500 | 21005 | 2528k| 103.0 | 26M| 94 | 249 | 400 | 756 | 400 | 601 | 0 | 178 |2073 |-9.318879e+01 |-5.700000e+01 | 63.49%
733.48/733.66 c 734s| 24600 | 21105 | 2537k| 102.9 | 26M| 94 | 244 | 400 | 756 | 400 | 601 | 0 | 178 |2073 |-9.317951e+01 |-5.700000e+01 | 63.47%
736.27/736.40 c 736s| 24700 | 21205 | 2548k| 103.0 | 26M| 94 | 250 | 400 | 756 | 400 | 601 | 0 | 178 |2073 |-9.317161e+01 |-5.700000e+01 | 63.46%
738.87/739.09 c 739s| 24800 | 21305 | 2558k| 103.0 | 26M| 94 | 246 | 400 | 756 | 400 | 601 | 0 | 178 |2073 |-9.315459e+01 |-5.700000e+01 | 63.43%
741.37/741.57 c 742s| 24900 | 21405 | 2566k| 102.9 | 26M| 94 | 257 | 400 | 756 | 400 | 601 | 0 | 178 |2085 |-9.314770e+01 |-5.700000e+01 | 63.42%
744.37/744.51 c 745s| 25000 | 21505 | 2579k| 103.0 | 26M| 94 | 265 | 400 | 756 | 400 | 601 | 0 | 178 |2098 |-9.314170e+01 |-5.700000e+01 | 63.41%
746.97/747.16 c 747s| 25100 | 21605 | 2588k| 102.9 | 26M| 94 | 255 | 400 | 756 | 400 | 601 | 0 | 178 |2105 |-9.312829e+01 |-5.700000e+01 | 63.38%
749.76/749.96 c 750s| 25200 | 21705 | 2599k| 103.0 | 26M| 94 | 234 | 400 | 756 | 400 | 601 | 0 | 178 |2105 |-9.311703e+01 |-5.700000e+01 | 63.36%
751.77/751.96 c 752s| 25300 | 21805 | 2606k| 102.9 | 26M| 94 | 257 | 400 | 756 | 400 | 601 | 0 | 178 |2105 |-9.311135e+01 |-5.700000e+01 | 63.35%
754.48/754.67 c 755s| 25400 | 21905 | 2617k| 102.9 | 26M| 94 | 250 | 400 | 756 | 400 | 601 | 0 | 178 |2105 |-9.310099e+01 |-5.700000e+01 | 63.34%
757.06/757.21 c 757s| 25500 | 22005 | 2626k| 102.8 | 26M| 94 | 262 | 400 | 756 | 400 | 601 | 0 | 178 |2105 |-9.309274e+01 |-5.700000e+01 | 63.32%
759.87/760.02 c 760s| 25600 | 22105 | 2638k| 102.9 | 26M| 94 | 247 | 400 | 762 | 400 | 601 | 0 | 184 |2120 |-9.308330e+01 |-5.700000e+01 | 63.30%
763.27/763.44 c 763s| 25700 | 22205 | 2648k| 102.9 | 26M| 94 | 258 | 400 | 760 | 400 | 601 | 0 | 184 |2139 |-9.307323e+01 |-5.700000e+01 | 63.29%
765.37/765.53 c 766s| 25800 | 22305 | 2657k| 102.8 | 27M| 94 | 241 | 400 | 760 | 400 | 601 | 0 | 184 |2139 |-9.306246e+01 |-5.700000e+01 | 63.27%
768.77/768.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.77/768.93 c 769s| 25900 | 22405 | 2677k| 103.2 | 27M| 94 | 243 | 400 | 759 | 400 | 601 | 0 | 184 |2139 |-9.305805e+01 |-5.700000e+01 | 63.26%
771.46/771.68 c 772s| 26000 | 22505 | 2688k| 103.2 | 27M| 94 | 239 | 400 | 757 | 400 | 601 | 0 | 184 |2140 |-9.304772e+01 |-5.700000e+01 | 63.24%
774.06/774.26 c 774s| 26100 | 22605 | 2697k| 103.2 | 27M| 94 | 251 | 400 | 756 | 400 | 601 | 0 | 184 |2140 |-9.303745e+01 |-5.700000e+01 | 63.22%
776.56/776.73 c 777s| 26200 | 22705 | 2707k| 103.2 | 27M| 94 | 246 | 400 | 755 | 400 | 601 | 0 | 184 |2150 |-9.302916e+01 |-5.700000e+01 | 63.21%
779.47/779.65 c 780s| 26300 | 22805 | 2718k| 103.2 | 27M| 94 | 254 | 400 | 754 | 400 | 601 | 0 | 184 |2163 |-9.301895e+01 |-5.700000e+01 | 63.19%
781.96/782.18 c 782s| 26400 | 22905 | 2726k| 103.1 | 27M| 94 | 240 | 400 | 753 | 400 | 601 | 0 | 184 |2170 |-9.301292e+01 |-5.700000e+01 | 63.18%
784.76/784.94 c 785s| 26500 | 23005 | 2737k| 103.1 | 27M| 94 | 260 | 400 | 753 | 400 | 601 | 0 | 184 |2170 |-9.300670e+01 |-5.700000e+01 | 63.17%
787.06/787.21 c 787s| 26600 | 23105 | 2746k| 103.1 | 27M| 94 | 257 | 400 | 753 | 400 | 601 | 0 | 184 |2171 |-9.300049e+01 |-5.700000e+01 | 63.16%
789.86/790.03 c 790s| 26700 | 23205 | 2758k| 103.1 | 27M| 94 | 248 | 400 | 753 | 400 | 601 | 0 | 184 |2171 |-9.299510e+01 |-5.700000e+01 | 63.15%
792.46/792.62 c 793s| 26800 | 23305 | 2768k| 103.1 | 27M| 94 | 245 | 400 | 751 | 400 | 601 | 0 | 184 |2171 |-9.298520e+01 |-5.700000e+01 | 63.13%
795.46/795.68 c 796s| 26900 | 23405 | 2777k| 103.1 | 27M| 94 | 237 | 400 | 750 | 400 | 601 | 0 | 184 |2198 |-9.297609e+01 |-5.700000e+01 | 63.12%
798.96/799.10 c 799s| 27000 | 23505 | 2793k| 103.3 | 28M| 94 | 258 | 400 | 750 | 400 | 601 | 0 | 184 |2202 |-9.296924e+01 |-5.700000e+01 | 63.10%
801.56/801.74 c 802s| 27100 | 23605 | 2804k| 103.3 | 28M| 94 | 262 | 400 | 748 | 400 | 601 | 0 | 184 |2204 |-9.296082e+01 |-5.700000e+01 | 63.09%
804.06/804.21 c 804s| 27200 | 23705 | 2813k| 103.3 | 28M| 94 | 251 | 400 | 747 | 400 | 601 | 0 | 184 |2204 |-9.295035e+01 |-5.700000e+01 | 63.07%
806.86/807.06 c 807s| 27300 | 23805 | 2829k| 103.5 | 28M| 94 | 253 | 400 | 777 | 400 | 601 | 0 | 214 |2204 |-9.294351e+01 |-5.700000e+01 | 63.06%
809.36/809.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.36/809.54 c 810s| 27400 | 23905 | 2839k| 103.5 | 28M| 94 | 250 | 400 | 776 | 400 | 601 | 0 | 214 |2204 |-9.293847e+01 |-5.700000e+01 | 63.05%
812.56/812.72 c 813s| 27500 | 24005 | 2849k| 103.5 | 28M| 94 | 234 | 400 | 776 | 400 | 601 | 0 | 214 |2219 |-9.293161e+01 |-5.700000e+01 | 63.04%
815.56/815.74 c 816s| 27600 | 24105 | 2861k| 103.5 | 28M| 94 | 261 | 400 | 776 | 400 | 601 | 0 | 214 |2232 |-9.292550e+01 |-5.700000e+01 | 63.03%
818.26/818.47 c 818s| 27700 | 24205 | 2871k| 103.5 | 28M| 94 | 248 | 400 | 776 | 400 | 601 | 0 | 214 |2241 |-9.291419e+01 |-5.700000e+01 | 63.01%
820.56/820.72 c 821s| 27800 | 24305 | 2879k| 103.4 | 28M| 94 | 262 | 400 | 776 | 400 | 601 | 0 | 214 |2242 |-9.290637e+01 |-5.700000e+01 | 62.99%
823.85/824.07 c 824s| 27900 | 24405 | 2898k| 103.7 | 28M| 94 | 253 | 400 | 775 | 400 | 601 | 0 | 214 |2242 |-9.289841e+01 |-5.700000e+01 | 62.98%
826.45/826.64 c 827s| 28000 | 24505 | 2910k| 103.8 | 28M| 94 | 251 | 400 | 775 | 400 | 601 | 0 | 214 |2242 |-9.289172e+01 |-5.700000e+01 | 62.97%
828.85/829.08 c 829s| 28100 | 24605 | 2919k| 103.7 | 28M| 94 | 262 | 400 | 774 | 400 | 601 | 0 | 214 |2242 |-9.288113e+01 |-5.700000e+01 | 62.95%
831.26/831.49 c 831s| 28200 | 24705 | 2927k| 103.7 | 29M| 94 | 255 | 400 | 774 | 400 | 601 | 0 | 214 |2258 |-9.286939e+01 |-5.700000e+01 | 62.93%
834.35/834.58 c 835s| 28300 | 24805 | 2938k| 103.7 | 29M| 94 | 258 | 400 | 770 | 400 | 601 | 0 | 214 |2270 |-9.285993e+01 |-5.700000e+01 | 62.91%
836.76/836.93 c 837s| 28400 | 24905 | 2946k| 103.6 | 29M| 94 | 262 | 400 | 770 | 400 | 601 | 0 | 214 |2277 |-9.285457e+01 |-5.700000e+01 | 62.90%
839.75/839.91 c 840s| 28500 | 25005 | 2960k| 103.7 | 29M| 94 | 261 | 400 | 777 | 400 | 601 | 0 | 222 |2279 |-9.284649e+01 |-5.700000e+01 | 62.89%
842.25/842.50 c 843s| 28600 | 25105 | 2970k| 103.7 | 29M| 94 | 251 | 400 | 776 | 400 | 601 | 0 | 222 |2279 |-9.284098e+01 |-5.700000e+01 | 62.88%
844.55/844.75 c 845s| 28700 | 25205 | 2979k| 103.7 | 29M| 94 | 256 | 400 | 775 | 400 | 601 | 0 | 222 |2279 |-9.283498e+01 |-5.700000e+01 | 62.87%
847.15/847.31 c 847s| 28800 | 25305 | 2989k| 103.6 | 29M| 94 | 253 | 400 | 775 | 400 | 601 | 0 | 222 |2279 |-9.282907e+01 |-5.700000e+01 | 62.86%
849.75/849.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.75/849.97 c 850s| 28900 | 25405 | 2999k| 103.6 | 29M| 94 | 257 | 400 | 775 | 400 | 601 | 0 | 222 |2293 |-9.282216e+01 |-5.700000e+01 | 62.85%
853.46/853.62 c 854s| 29000 | 25505 | 3020k| 104.0 | 29M| 94 | 258 | 400 | 774 | 400 | 601 | 0 | 222 |2302 |-9.281464e+01 |-5.700000e+01 | 62.83%
855.95/856.12 c 856s| 29100 | 25605 | 3030k| 104.0 | 29M| 94 | 256 | 400 | 774 | 400 | 601 | 0 | 222 |2310 |-9.281039e+01 |-5.700000e+01 | 62.83%
858.35/858.51 c 859s| 29200 | 25705 | 3040k| 104.0 | 29M| 94 | 245 | 400 | 774 | 400 | 601 | 0 | 222 |2311 |-9.280583e+01 |-5.700000e+01 | 62.82%
860.85/861.08 c 861s| 29300 | 25805 | 3049k| 103.9 | 29M| 94 | 238 | 400 | 774 | 400 | 601 | 0 | 222 |2311 |-9.280090e+01 |-5.700000e+01 | 62.81%
863.55/863.70 c 864s| 29400 | 25905 | 3059k| 103.9 | 29M| 94 | 238 | 400 | 772 | 400 | 601 | 0 | 222 |2311 |-9.278729e+01 |-5.700000e+01 | 62.78%
865.75/865.96 c 866s| 29500 | 26005 | 3068k| 103.9 | 30M| 94 | 246 | 400 | 772 | 400 | 601 | 0 | 222 |2312 |-9.278158e+01 |-5.700000e+01 | 62.77%
868.24/868.49 c 868s| 29600 | 26105 | 3079k| 103.9 | 30M| 94 | 261 | 400 | 772 | 400 | 601 | 0 | 222 |2312 |-9.277321e+01 |-5.700000e+01 | 62.76%
871.15/871.33 c 871s| 29700 | 26205 | 3088k| 103.8 | 30M| 94 | 266 | 400 | 771 | 400 | 601 | 0 | 222 |2326 |-9.276744e+01 |-5.700000e+01 | 62.75%
874.14/874.33 c 874s| 29800 | 26305 | 3098k| 103.8 | 30M| 94 | 252 | 400 | 770 | 400 | 601 | 0 | 222 |2339 |-9.276027e+01 |-5.700000e+01 | 62.74%
876.55/876.72 c 877s| 29900 | 26405 | 3108k| 103.8 | 30M| 94 | 261 | 400 | 770 | 400 | 601 | 0 | 222 |2341 |-9.275232e+01 |-5.700000e+01 | 62.72%
878.85/879.02 c 879s| 30000 | 26505 | 3116k| 103.7 | 30M| 94 | 242 | 400 | 769 | 400 | 601 | 0 | 222 |2341 |-9.274735e+01 |-5.700000e+01 | 62.71%
881.65/881.84 c 882s| 30100 | 26605 | 3129k| 103.8 | 30M| 94 | 255 | 400 | 768 | 400 | 601 | 0 | 222 |2341 |-9.274262e+01 |-5.700000e+01 | 62.71%
883.94/884.15 c 884s| 30200 | 26705 | 3138k| 103.8 | 30M| 94 | 244 | 400 | 775 | 400 | 601 | 0 | 230 |2343 |-9.273292e+01 |-5.700000e+01 | 62.69%
886.45/886.64 c 887s| 30300 | 26805 | 3148k| 103.8 | 30M| 94 | 255 | 400 | 774 | 400 | 601 | 0 | 231 |2343 |-9.272708e+01 |-5.700000e+01 | 62.68%
889.24/889.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.24/889.43 c 889s| 30400 | 26905 | 3158k| 103.7 | 30M| 94 | 250 | 400 | 774 | 400 | 601 | 0 | 231 |2355 |-9.271925e+01 |-5.700000e+01 | 62.67%
893.24/893.45 c 893s| 30500 | 27005 | 3176k| 104.0 | 30M| 94 | 253 | 400 | 774 | 400 | 601 | 0 | 231 |2378 |-9.271374e+01 |-5.700000e+01 | 62.66%
895.95/896.11 c 896s| 30600 | 27105 | 3186k| 104.0 | 30M| 94 | 242 | 400 | 774 | 400 | 601 | 0 | 231 |2381 |-9.270250e+01 |-5.700000e+01 | 62.64%
898.15/898.37 c 898s| 30700 | 27205 | 3196k| 104.0 | 31M| 94 | 244 | 400 | 774 | 400 | 601 | 0 | 231 |2381 |-9.269812e+01 |-5.700000e+01 | 62.63%
900.75/900.97 c 901s| 30800 | 27305 | 3206k| 104.0 | 31M| 94 | 258 | 400 | 772 | 400 | 601 | 0 | 231 |2381 |-9.269200e+01 |-5.700000e+01 | 62.62%
903.24/903.40 c 903s| 30900 | 27405 | 3216k| 103.9 | 31M| 94 | 246 | 400 | 772 | 400 | 601 | 0 | 231 |2382 |-9.268614e+01 |-5.700000e+01 | 62.61%
905.55/905.77 c 906s| 31000 | 27505 | 3225k| 103.9 | 31M| 94 | 243 | 400 | 771 | 400 | 601 | 0 | 231 |2382 |-9.268132e+01 |-5.700000e+01 | 62.60%
908.04/908.28 c 908s| 31100 | 27605 | 3236k| 103.9 | 31M| 94 | 245 | 400 | 769 | 400 | 601 | 0 | 231 |2382 |-9.267592e+01 |-5.700000e+01 | 62.59%
911.14/911.32 c 911s| 31200 | 27705 | 3246k| 103.9 | 31M| 94 | 252 | 400 | 766 | 400 | 601 | 0 | 231 |2398 |-9.266762e+01 |-5.700000e+01 | 62.57%
913.74/913.96 c 914s| 31300 | 27805 | 3255k| 103.9 | 31M| 94 | 251 | 400 | 765 | 400 | 601 | 0 | 231 |2410 |-9.266266e+01 |-5.700000e+01 | 62.57%
916.24/916.48 c 916s| 31400 | 27905 | 3265k| 103.9 | 31M| 94 | 255 | 400 | 765 | 400 | 601 | 0 | 231 |2412 |-9.265926e+01 |-5.700000e+01 | 62.56%
918.64/918.88 c 919s| 31500 | 28005 | 3274k| 103.8 | 31M| 94 | 258 | 400 | 765 | 400 | 601 | 0 | 231 |2412 |-9.265180e+01 |-5.700000e+01 | 62.55%
922.04/922.26 c 922s| 31600 | 28105 | 3294k| 104.1 | 31M| 94 | 251 | 400 | 764 | 400 | 601 | 0 | 231 |2412 |-9.264790e+01 |-5.700000e+01 | 62.54%
924.54/924.75 c 925s| 31700 | 28205 | 3305k| 104.1 | 31M| 94 | 245 | 400 | 772 | 400 | 601 | 0 | 240 |2412 |-9.264138e+01 |-5.700000e+01 | 62.53%
926.94/927.17 c 927s| 31800 | 28305 | 3314k| 104.1 | 31M| 94 | 244 | 400 | 772 | 400 | 601 | 0 | 240 |2413 |-9.263530e+01 |-5.700000e+01 | 62.52%
929.74/929.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
929.74/929.90 c 930s| 31900 | 28405 | 3323k| 104.1 | 32M| 94 | 248 | 400 | 769 | 400 | 601 | 0 | 240 |2426 |-9.263028e+01 |-5.700000e+01 | 62.51%
932.84/933.02 c 933s| 32000 | 28505 | 3335k| 104.1 | 32M| 94 | 244 | 400 | 769 | 400 | 601 | 0 | 240 |2444 |-9.262536e+01 |-5.700000e+01 | 62.50%
935.34/935.54 c 936s| 32100 | 28605 | 3344k| 104.1 | 32M| 94 | 255 | 400 | 768 | 400 | 601 | 0 | 240 |2447 |-9.261679e+01 |-5.700000e+01 | 62.49%
937.74/937.98 c 938s| 32200 | 28705 | 3354k| 104.0 | 32M| 94 | 224 | 400 | 768 | 400 | 601 | 0 | 240 |2448 |-9.261183e+01 |-5.700000e+01 | 62.48%
939.93/940.17 c 940s| 32300 | 28805 | 3362k| 104.0 | 32M| 94 | 250 | 400 | 767 | 400 | 601 | 0 | 240 |2449 |-9.260636e+01 |-5.700000e+01 | 62.47%
942.64/942.83 c 943s| 32400 | 28905 | 3372k| 104.0 | 32M| 94 | 257 | 400 | 766 | 400 | 601 | 0 | 240 |2449 |-9.260242e+01 |-5.700000e+01 | 62.46%
944.94/945.19 c 945s| 32500 | 29005 | 3383k| 104.0 | 32M| 94 | 248 | 400 | 764 | 400 | 601 | 0 | 240 |2449 |-9.259812e+01 |-5.700000e+01 | 62.45%
948.74/948.93 c 949s| 32600 | 29105 | 3405k| 104.3 | 32M| 94 | 244 | 400 | 764 | 400 | 601 | 0 | 240 |2459 |-9.259283e+01 |-5.700000e+01 | 62.44%
951.14/951.39 c 951s| 32700 | 29205 | 3413k| 104.3 | 32M| 94 | 248 | 400 | 763 | 400 | 601 | 0 | 240 |2473 |-9.258457e+01 |-5.700000e+01 | 62.43%
953.93/954.10 c 954s| 32800 | 29305 | 3423k| 104.2 | 32M| 94 | 245 | 400 | 763 | 400 | 601 | 0 | 240 |2480 |-9.257892e+01 |-5.700000e+01 | 62.42%
956.53/956.78 c 957s| 32900 | 29405 | 3432k| 104.2 | 32M| 94 | 256 | 400 | 763 | 400 | 601 | 0 | 240 |2489 |-9.257370e+01 |-5.700000e+01 | 62.41%
959.33/959.52 c 960s| 33000 | 29505 | 3444k| 104.2 | 32M| 94 | 252 | 400 | 763 | 400 | 601 | 0 | 240 |2489 |-9.256770e+01 |-5.700000e+01 | 62.40%
961.63/961.82 c 962s| 33100 | 29605 | 3453k| 104.2 | 32M| 94 | 248 | 400 | 763 | 400 | 601 | 0 | 240 |2489 |-9.256149e+01 |-5.700000e+01 | 62.39%
963.93/964.18 c 964s| 33200 | 29705 | 3462k| 104.2 | 33M| 94 | 256 | 400 | 763 | 400 | 601 | 0 | 240 |2489 |-9.255699e+01 |-5.700000e+01 | 62.38%
966.23/966.46 c 966s| 33300 | 29805 | 3471k| 104.1 | 33M| 94 | 230 | 400 | 763 | 400 | 601 | 0 | 240 |2489 |-9.254989e+01 |-5.700000e+01 | 62.37%
968.94/969.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.94/969.18 c 969s| 33400 | 29905 | 3481k| 104.1 | 33M| 94 | 252 | 400 | 763 | 400 | 601 | 0 | 240 |2501 |-9.254606e+01 |-5.700000e+01 | 62.36%
971.93/972.15 c 972s| 33500 | 30005 | 3495k| 104.2 | 33M| 94 | 246 | 400 | 768 | 400 | 601 | 0 | 246 |2511 |-9.254040e+01 |-5.700000e+01 | 62.35%
974.53/974.72 c 975s| 33600 | 30105 | 3504k| 104.2 | 33M| 94 | 252 | 400 | 765 | 400 | 601 | 0 | 246 |2520 |-9.253550e+01 |-5.700000e+01 | 62.34%
977.13/977.39 c 977s| 33700 | 30205 | 3514k| 104.2 | 33M| 94 | 255 | 400 | 764 | 400 | 601 | 0 | 246 |2526 |-9.253076e+01 |-5.700000e+01 | 62.33%
979.33/979.56 c 980s| 33800 | 30305 | 3523k| 104.1 | 33M| 94 | 248 | 400 | 763 | 400 | 601 | 0 | 246 |2526 |-9.252374e+01 |-5.700000e+01 | 62.32%
981.63/981.80 c 982s| 33900 | 30405 | 3532k| 104.1 | 33M| 94 | 236 | 400 | 762 | 400 | 601 | 0 | 246 |2526 |-9.251514e+01 |-5.700000e+01 | 62.31%
984.03/984.25 c 984s| 34000 | 30505 | 3541k| 104.0 | 33M| 94 | 262 | 400 | 762 | 400 | 601 | 0 | 246 |2526 |-9.250933e+01 |-5.700000e+01 | 62.30%
987.33/987.57 c 988s| 34100 | 30605 | 3559k| 104.3 | 33M| 94 | 253 | 400 | 761 | 400 | 601 | 0 | 246 |2526 |-9.250507e+01 |-5.700000e+01 | 62.29%
990.12/990.38 c 990s| 34200 | 30705 | 3568k| 104.2 | 33M| 94 | 253 | 400 | 761 | 400 | 601 | 0 | 246 |2544 |-9.249897e+01 |-5.700000e+01 | 62.28%
992.42/992.63 c 993s| 34300 | 30805 | 3578k| 104.2 | 33M| 94 | 260 | 400 | 761 | 400 | 601 | 0 | 246 |2544 |-9.249507e+01 |-5.700000e+01 | 62.27%
995.03/995.24 c 995s| 34400 | 30905 | 3587k| 104.2 | 34M| 94 | 250 | 400 | 761 | 400 | 601 | 0 | 246 |2554 |-9.248900e+01 |-5.700000e+01 | 62.26%
997.33/997.50 c 998s| 34500 | 31005 | 3595k| 104.1 | 34M| 94 | 257 | 400 | 761 | 400 | 601 | 0 | 246 |2554 |-9.248615e+01 |-5.700000e+01 | 62.26%
999.83/1000.08 c 1000s| 34600 | 31105 | 3608k| 104.2 | 34M| 94 | 263 | 400 | 761 | 400 | 601 | 0 | 246 |2554 |-9.248097e+01 |-5.700000e+01 | 62.25%
1002.22/1002.46 c 1002s| 34700 | 31205 | 3618k| 104.1 | 34M| 94 | 241 | 400 | 760 | 400 | 601 | 0 | 246 |2554 |-9.247744e+01 |-5.700000e+01 | 62.24%
1004.82/1005.04 c 1005s| 34800 | 31305 | 3628k| 104.1 | 34M| 94 | 239 | 400 | 768 | 400 | 601 | 0 | 254 |2554 |-9.247353e+01 |-5.700000e+01 | 62.23%
1007.12/1007.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.12/1007.36 c 1007s| 34900 | 31405 | 3637k| 104.1 | 34M| 94 | 251 | 400 | 768 | 400 | 601 | 0 | 254 |2554 |-9.247145e+01 |-5.700000e+01 | 62.23%
1009.82/1010.01 c 1010s| 35000 | 31505 | 3647k| 104.1 | 34M| 94 | 243 | 400 | 767 | 400 | 601 | 0 | 254 |2564 |-9.246589e+01 |-5.700000e+01 | 62.22%
1012.83/1013.09 c 1013s| 35100 | 31605 | 3663k| 104.2 | 34M| 94 | 253 | 400 | 767 | 400 | 601 | 0 | 254 |2581 |-9.246248e+01 |-5.700000e+01 | 62.21%
1015.63/1015.84 c 1016s| 35200 | 31705 | 3673k| 104.2 | 34M| 94 | 264 | 400 | 767 | 400 | 601 | 0 | 254 |2590 |-9.245707e+01 |-5.700000e+01 | 62.21%
1017.93/1018.14 c 1018s| 35300 | 31805 | 3682k| 104.2 | 34M| 94 | 245 | 400 | 766 | 400 | 601 | 0 | 254 |2590 |-9.245203e+01 |-5.700000e+01 | 62.20%
1020.42/1020.60 c 1021s| 35400 | 31905 | 3694k| 104.2 | 34M| 94 | 233 | 400 | 766 | 400 | 601 | 0 | 254 |2590 |-9.244796e+01 |-5.700000e+01 | 62.19%
1022.83/1023.04 c 1023s| 35500 | 32005 | 3703k| 104.2 | 34M| 94 | 252 | 400 | 765 | 400 | 601 | 0 | 254 |2590 |-9.244483e+01 |-5.700000e+01 | 62.18%
1025.22/1025.47 c 1025s| 35600 | 32105 | 3712k| 104.2 | 35M| 94 | 238 | 400 | 765 | 400 | 601 | 0 | 254 |2590 |-9.244097e+01 |-5.700000e+01 | 62.18%
1027.52/1027.71 c 1028s| 35700 | 32205 | 3721k| 104.1 | 35M| 94 | 258 | 400 | 765 | 400 | 601 | 0 | 254 |2590 |-9.243765e+01 |-5.700000e+01 | 62.17%
1030.02/1030.28 c 1030s| 35800 | 32305 | 3730k| 104.1 | 35M| 94 | 254 | 400 | 765 | 400 | 601 | 0 | 254 |2602 |-9.243542e+01 |-5.700000e+01 | 62.17%
1033.02/1033.20 c 1033s| 35900 | 32405 | 3740k| 104.1 | 35M| 94 | 244 | 400 | 765 | 400 | 601 | 0 | 254 |2622 |-9.242888e+01 |-5.700000e+01 | 62.16%
1036.11/1036.36 c 1036s| 36000 | 32505 | 3757k| 104.2 | 35M| 94 | 218 | 400 | 764 | 400 | 601 | 0 | 254 |2630 |-9.242530e+01 |-5.700000e+01 | 62.15%
1038.62/1038.88 c 1039s| 36100 | 32605 | 3768k| 104.3 | 35M| 94 | 253 | 400 | 762 | 400 | 601 | 0 | 254 |2631 |-9.242024e+01 |-5.700000e+01 | 62.14%
1040.92/1041.15 c 1041s| 36200 | 32705 | 3776k| 104.2 | 35M| 94 | 245 | 400 | 760 | 400 | 601 | 0 | 254 |2631 |-9.241631e+01 |-5.700000e+01 | 62.13%
1043.42/1043.66 c 1044s| 36300 | 32805 | 3787k| 104.2 | 35M| 94 | 257 | 400 | 771 | 400 | 601 | 0 | 265 |2631 |-9.241109e+01 |-5.700000e+01 | 62.12%
1045.71/1045.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.71/1045.91 c 1046s| 36400 | 32905 | 3796k| 104.2 | 35M| 94 | 247 | 400 | 771 | 400 | 601 | 0 | 265 |2631 |-9.240590e+01 |-5.700000e+01 | 62.12%
1048.32/1048.50 c 1049s| 36500 | 33005 | 3807k| 104.2 | 35M| 94 | 252 | 400 | 771 | 400 | 601 | 0 | 265 |2631 |-9.240261e+01 |-5.700000e+01 | 62.11%
1051.02/1051.25 c 1051s| 36600 | 33105 | 3815k| 104.1 | 35M| 94 | 232 | 400 | 769 | 400 | 601 | 0 | 265 |2644 |-9.239824e+01 |-5.700000e+01 | 62.10%
1054.01/1054.23 c 1054s| 36700 | 33205 | 3826k| 104.1 | 35M| 94 | 249 | 400 | 768 | 400 | 601 | 0 | 265 |2657 |-9.239223e+01 |-5.700000e+01 | 62.09%
1056.62/1056.85 c 1057s| 36800 | 33305 | 3835k| 104.1 | 35M| 94 | 264 | 400 | 768 | 400 | 601 | 0 | 265 |2668 |-9.238794e+01 |-5.700000e+01 | 62.08%
1059.32/1059.56 c 1060s| 36900 | 33405 | 3847k| 104.1 | 36M| 94 | 258 | 400 | 768 | 400 | 601 | 0 | 265 |2670 |-9.238262e+01 |-5.700000e+01 | 62.07%
1062.21/1062.44 c 1062s| 37000 | 33505 | 3863k| 104.3 | 36M| 94 | 236 | 400 | 768 | 400 | 601 | 0 | 265 |2671 |-9.237865e+01 |-5.700000e+01 | 62.07%
1064.71/1064.99 c 1065s| 37100 | 33605 | 3872k| 104.3 | 36M| 94 | 246 | 400 | 766 | 400 | 601 | 0 | 265 |2671 |-9.237408e+01 |-5.700000e+01 | 62.06%
1067.12/1067.30 c 1067s| 37200 | 33705 | 3882k| 104.2 | 36M| 94 | 253 | 400 | 766 | 400 | 601 | 0 | 265 |2671 |-9.236944e+01 |-5.700000e+01 | 62.05%
1069.11/1069.36 c 1069s| 37300 | 33805 | 3890k| 104.2 | 36M| 94 | 241 | 400 | 766 | 400 | 601 | 0 | 265 |2671 |-9.236510e+01 |-5.700000e+01 | 62.04%
1071.62/1071.88 c 1072s| 37400 | 33905 | 3900k| 104.2 | 36M| 94 | 232 | 400 | 766 | 400 | 601 | 0 | 265 |2672 |-9.235939e+01 |-5.700000e+01 | 62.03%
1074.01/1074.25 c 1074s| 37500 | 34005 | 3908k| 104.1 | 36M| 94 | 258 | 400 | 766 | 400 | 601 | 0 | 265 |2683 |-9.235655e+01 |-5.700000e+01 | 62.03%
1076.41/1076.67 c 1077s| 37600 | 34105 | 3918k| 104.1 | 36M| 94 | 251 | 400 | 766 | 400 | 601 | 0 | 265 |2693 |-9.235163e+01 |-5.700000e+01 | 62.02%
1079.41/1079.62 c 1080s| 37700 | 34205 | 3928k| 104.1 | 36M| 94 | 241 | 400 | 766 | 400 | 601 | 0 | 265 |2706 |-9.234782e+01 |-5.700000e+01 | 62.01%
1081.82/1082.03 c 1082s| 37800 | 34305 | 3938k| 104.1 | 36M| 94 | 229 | 400 | 774 | 400 | 601 | 0 | 273 |2708 |-9.234462e+01 |-5.700000e+01 | 62.01%
1084.22/1084.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.22/1084.44 c 1084s| 37900 | 34405 | 3947k| 104.1 | 36M| 94 | 248 | 400 | 774 | 400 | 601 | 0 | 273 |2709 |-9.233816e+01 |-5.700000e+01 | 62.00%
1087.21/1087.43 c 1087s| 38000 | 34505 | 3964k| 104.2 | 36M| 94 | 250 | 400 | 773 | 400 | 601 | 0 | 273 |2709 |-9.233406e+01 |-5.700000e+01 | 61.99%
1089.61/1089.89 c 1090s| 38100 | 34605 | 3974k| 104.2 | 37M| 94 | 240 | 400 | 772 | 400 | 601 | 0 | 273 |2709 |-9.232990e+01 |-5.700000e+01 | 61.98%
1092.02/1092.25 c 1092s| 38200 | 34705 | 3984k| 104.2 | 37M| 94 | 259 | 400 | 771 | 400 | 601 | 0 | 273 |2709 |-9.232691e+01 |-5.700000e+01 | 61.98%
1094.41/1094.65 c 1095s| 38300 | 34805 | 3993k| 104.1 | 37M| 94 | 245 | 400 | 771 | 400 | 601 | 0 | 273 |2721 |-9.232389e+01 |-5.700000e+01 | 61.97%
1096.81/1097.03 c 1097s| 38400 | 34905 | 4002k| 104.1 | 37M| 94 | 252 | 400 | 771 | 400 | 601 | 0 | 273 |2721 |-9.232066e+01 |-5.700000e+01 | 61.97%
1099.31/1099.57 c 1100s| 38500 | 35005 | 4010k| 104.1 | 37M| 94 | 252 | 400 | 771 | 400 | 601 | 0 | 273 |2734 |-9.231748e+01 |-5.700000e+01 | 61.96%
1102.31/1102.56 c 1103s| 38600 | 35105 | 4021k| 104.1 | 37M| 94 | 241 | 400 | 770 | 400 | 601 | 0 | 273 |2746 |-9.231324e+01 |-5.700000e+01 | 61.95%
1104.81/1105.09 c 1105s| 38700 | 35205 | 4032k| 104.1 | 37M| 94 | 241 | 400 | 770 | 400 | 601 | 0 | 273 |2746 |-9.230908e+01 |-5.700000e+01 | 61.95%
1106.91/1107.19 c 1107s| 38800 | 35305 | 4041k| 104.0 | 37M| 94 | 249 | 400 | 769 | 400 | 601 | 0 | 273 |2747 |-9.230480e+01 |-5.700000e+01 | 61.94%
1109.40/1109.64 c 1110s| 38900 | 35405 | 4051k| 104.0 | 37M| 94 | 252 | 400 | 768 | 400 | 601 | 0 | 273 |2747 |-9.230074e+01 |-5.700000e+01 | 61.93%
1112.21/1112.40 c 1112s| 39000 | 35505 | 4065k| 104.1 | 37M| 94 | 250 | 400 | 767 | 400 | 601 | 0 | 273 |2747 |-9.229844e+01 |-5.700000e+01 | 61.93%
1114.81/1115.05 c 1115s| 39100 | 35605 | 4076k| 104.1 | 37M| 94 | 252 | 400 | 767 | 400 | 601 | 0 | 273 |2747 |-9.229476e+01 |-5.700000e+01 | 61.92%
1117.51/1117.73 c 1118s| 39200 | 35705 | 4087k| 104.2 | 37M| 94 | 257 | 400 | 767 | 400 | 601 | 0 | 273 |2758 |-9.229031e+01 |-5.700000e+01 | 61.91%
1120.20/1120.44 c 1120s| 39300 | 35805 | 4097k| 104.1 | 38M| 94 | 243 | 400 | 767 | 400 | 601 | 0 | 273 |2768 |-9.228727e+01 |-5.700000e+01 | 61.91%
1122.50/1122.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.50/1122.70 c 1123s| 39400 | 35905 | 4105k| 104.1 | 38M| 94 | 253 | 400 | 767 | 400 | 601 | 0 | 273 |2773 |-9.228279e+01 |-5.700000e+01 | 61.90%
1125.61/1125.87 c 1126s| 39500 | 36005 | 4117k| 104.1 | 38M| 94 | 255 | 400 | 773 | 400 | 601 | 0 | 279 |2789 |-9.227943e+01 |-5.700000e+01 | 61.89%
1127.70/1127.97 c 1128s| 39600 | 36105 | 4125k| 104.1 | 38M| 94 | 246 | 400 | 773 | 400 | 601 | 0 | 279 |2790 |-9.227760e+01 |-5.700000e+01 | 61.89%
1130.10/1130.38 c 1130s| 39700 | 36205 | 4134k| 104.0 | 38M| 94 | 250 | 400 | 773 | 400 | 601 | 0 | 279 |2790 |-9.227464e+01 |-5.700000e+01 | 61.89%
1132.50/1132.77 c 1133s| 39800 | 36305 | 4144k| 104.0 | 38M| 94 | 234 | 400 | 772 | 400 | 601 | 0 | 279 |2791 |-9.227130e+01 |-5.700000e+01 | 61.88%
1135.30/1135.50 c 1136s| 39900 | 36405 | 4158k| 104.1 | 38M| 94 | 235 | 400 | 772 | 400 | 601 | 0 | 279 |2791 |-9.226696e+01 |-5.700000e+01 | 61.87%
1137.90/1138.11 c 1138s| 40000 | 36505 | 4170k| 104.1 | 38M| 94 | 249 | 400 | 772 | 400 | 601 | 0 | 279 |2791 |-9.226240e+01 |-5.700000e+01 | 61.86%
1140.20/1140.49 c 1140s| 40100 | 36605 | 4179k| 104.1 | 38M| 94 | 256 | 400 | 769 | 400 | 601 | 0 | 279 |2791 |-9.225971e+01 |-5.700000e+01 | 61.86%
1142.40/1142.60 c 1143s| 40200 | 36705 | 4187k| 104.0 | 38M| 94 | 256 | 400 | 769 | 400 | 601 | 0 | 279 |2803 |-9.225625e+01 |-5.700000e+01 | 61.85%
1144.90/1145.17 c 1145s| 40300 | 36805 | 4195k| 104.0 | 38M| 94 | 243 | 400 | 769 | 400 | 601 | 0 | 279 |2815 |-9.225228e+01 |-5.700000e+01 | 61.85%
1147.80/1148.02 c 1148s| 40400 | 36905 | 4206k| 104.0 | 38M| 94 | 249 | 400 | 769 | 400 | 601 | 0 | 279 |2829 |-9.224892e+01 |-5.700000e+01 | 61.84%
1150.10/1150.31 c 1150s| 40500 | 37005 | 4215k| 104.0 | 39M| 94 | 256 | 400 | 766 | 400 | 601 | 0 | 279 |2833 |-9.224532e+01 |-5.700000e+01 | 61.83%
1152.50/1152.80 c 1153s| 40600 | 37105 | 4224k| 103.9 | 39M| 94 | 253 | 400 | 765 | 400 | 601 | 0 | 279 |2838 |-9.224308e+01 |-5.700000e+01 | 61.83%
1155.59/1155.86 c 1156s| 40700 | 37205 | 4243k| 104.1 | 39M| 94 | 245 | 400 | 765 | 400 | 601 | 0 | 279 |2838 |-9.223885e+01 |-5.700000e+01 | 61.82%
1158.20/1158.41 c 1158s| 40800 | 37305 | 4254k| 104.2 | 39M| 94 | 249 | 400 | 764 | 400 | 601 | 0 | 279 |2838 |-9.223394e+01 |-5.700000e+01 | 61.81%
1160.40/1160.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.40/1160.61 c 1161s| 40900 | 37405 | 4263k| 104.1 | 39M| 94 | 266 | 400 | 763 | 400 | 601 | 0 | 279 |2838 |-9.223215e+01 |-5.700000e+01 | 61.81%
1162.70/1162.91 c 1163s| 41000 | 37505 | 4272k| 104.1 | 39M| 94 | 246 | 400 | 763 | 400 | 601 | 0 | 279 |2838 |-9.222745e+01 |-5.700000e+01 | 61.80%
1165.00/1165.26 c 1165s| 41100 | 37605 | 4282k| 104.1 | 39M| 94 | 209 | 400 | 769 | 400 | 601 | 0 | 285 |2838 |-9.222446e+01 |-5.700000e+01 | 61.80%
1167.80/1168.06 c 1168s| 41200 | 37705 | 4292k| 104.1 | 39M| 94 | 260 | 400 | 768 | 400 | 601 | 0 | 285 |2849 |-9.222108e+01 |-5.700000e+01 | 61.79%
1170.70/1170.91 c 1171s| 41300 | 37805 | 4302k| 104.1 | 39M| 94 | 249 | 400 | 768 | 400 | 601 | 0 | 285 |2867 |-9.221577e+01 |-5.700000e+01 | 61.78%
1172.89/1173.14 c 1173s| 41400 | 37905 | 4310k| 104.0 | 39M| 94 | 240 | 400 | 767 | 400 | 601 | 0 | 285 |2872 |-9.221320e+01 |-5.700000e+01 | 61.78%
1175.50/1175.74 c 1176s| 41500 | 38005 | 4321k| 104.0 | 39M| 94 | 243 | 400 | 767 | 400 | 601 | 0 | 285 |2872 |-9.220907e+01 |-5.700000e+01 | 61.77%
1177.59/1177.85 c 1178s| 41600 | 38105 | 4328k| 104.0 | 39M| 94 | 246 | 400 | 767 | 400 | 601 | 0 | 285 |2873 |-9.220378e+01 |-5.700000e+01 | 61.76%
1180.00/1180.25 c 1180s| 41700 | 38205 | 4338k| 103.9 | 39M| 94 | 241 | 400 | 767 | 400 | 601 | 0 | 285 |2873 |-9.220132e+01 |-5.700000e+01 | 61.76%
1182.30/1182.59 c 1183s| 41800 | 38305 | 4349k| 103.9 | 40M| 94 | 245 | 400 | 767 | 400 | 601 | 0 | 285 |2873 |-9.219802e+01 |-5.700000e+01 | 61.75%
1185.00/1185.27 c 1185s| 41900 | 38405 | 4362k| 104.0 | 40M| 94 | 245 | 400 | 767 | 400 | 601 | 0 | 285 |2873 |-9.219615e+01 |-5.700000e+01 | 61.75%
1187.49/1187.72 c 1188s| 42000 | 38505 | 4371k| 104.0 | 40M| 94 | 255 | 400 | 767 | 400 | 601 | 0 | 285 |2873 |-9.219210e+01 |-5.700000e+01 | 61.74%
1190.00/1190.23 c 1190s| 42100 | 38605 | 4380k| 103.9 | 40M| 94 | 254 | 400 | 767 | 400 | 601 | 0 | 285 |2888 |-9.218673e+01 |-5.700000e+01 | 61.73%
1192.39/1192.67 c 1193s| 42200 | 38705 | 4389k| 103.9 | 40M| 94 | 244 | 400 | 767 | 400 | 601 | 0 | 285 |2897 |-9.218400e+01 |-5.700000e+01 | 61.73%
1195.30/1195.53 c 1196s| 42300 | 38805 | 4400k| 103.9 | 40M| 94 | 267 | 400 | 766 | 400 | 601 | 0 | 285 |2909 |-9.218079e+01 |-5.700000e+01 | 61.72%
1197.89/1198.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.89/1198.14 c 1198s| 42400 | 38905 | 4410k| 103.9 | 40M| 94 | 245 | 400 | 765 | 400 | 601 | 0 | 285 |2912 |-9.217704e+01 |-5.700000e+01 | 61.71%
1199.99/1200.23 c 1200s| 42500 | 39005 | 4418k| 103.9 | 40M| 94 | 251 | 400 | 765 | 400 | 601 | 0 | 285 |2913 |-9.217304e+01 |-5.700000e+01 | 61.71%
1203.49/1203.71 c 1204s| 42600 | 39105 | 4437k| 104.1 | 40M| 94 | 246 | 400 | 769 | 400 | 601 | 0 | 290 |2914 |-9.217003e+01 |-5.700000e+01 | 61.70%
1205.79/1206.05 c 1206s| 42700 | 39205 | 4446k| 104.0 | 40M| 94 | 251 | 400 | 768 | 400 | 601 | 0 | 290 |2914 |-9.216738e+01 |-5.700000e+01 | 61.70%
1208.19/1208.47 c 1208s| 42800 | 39305 | 4456k| 104.0 | 40M| 94 | 246 | 400 | 767 | 400 | 601 | 0 | 290 |2914 |-9.216579e+01 |-5.700000e+01 | 61.69%
1210.69/1210.99 c 1211s| 42900 | 39405 | 4465k| 104.0 | 40M| 94 | 250 | 400 | 767 | 400 | 601 | 0 | 290 |2914 |-9.216285e+01 |-5.700000e+01 | 61.69%
1213.29/1213.55 c 1214s| 43000 | 39505 | 4476k| 104.0 | 41M| 94 | 245 | 400 | 767 | 400 | 601 | 0 | 290 |2924 |-9.216085e+01 |-5.700000e+01 | 61.69%
1215.49/1215.70 c 1216s| 43100 | 39605 | 4484k| 103.9 | 41M| 94 | 249 | 400 | 767 | 400 | 601 | 0 | 290 |2935 |-9.215749e+01 |-5.700000e+01 | 61.68%
1218.09/1218.32 c 1218s| 43200 | 39705 | 4494k| 103.9 | 41M| 94 | 253 | 400 | 766 | 400 | 601 | 0 | 290 |2942 |-9.215440e+01 |-5.700000e+01 | 61.67%
1220.69/1220.92 c 1221s| 43300 | 39805 | 4503k| 103.9 | 41M| 94 | 233 | 400 | 766 | 400 | 601 | 0 | 290 |2951 |-9.215169e+01 |-5.700000e+01 | 61.67%
1222.89/1223.16 c 1223s| 43400 | 39905 | 4512k| 103.9 | 41M| 94 | 242 | 400 | 766 | 400 | 601 | 0 | 290 |2952 |-9.214878e+01 |-5.700000e+01 | 61.66%
1225.20/1225.49 c 1225s| 43500 | 40005 | 4522k| 103.9 | 41M| 94 | 232 | 400 | 766 | 400 | 601 | 0 | 290 |2952 |-9.214647e+01 |-5.700000e+01 | 61.66%
1227.89/1228.17 c 1228s| 43600 | 40105 | 4532k| 103.9 | 41M| 94 | 258 | 400 | 766 | 400 | 601 | 0 | 290 |2953 |-9.214408e+01 |-5.700000e+01 | 61.66%
1230.08/1230.36 c 1230s| 43700 | 40205 | 4541k| 103.8 | 41M| 94 | 241 | 400 | 765 | 400 | 601 | 0 | 290 |2953 |-9.214129e+01 |-5.700000e+01 | 61.65%
1232.38/1232.68 c 1233s| 43800 | 40305 | 4550k| 103.8 | 41M| 94 | 211 | 400 | 763 | 400 | 601 | 0 | 290 |2953 |-9.213860e+01 |-5.700000e+01 | 61.65%
1235.19/1235.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.19/1235.42 c 1235s| 43900 | 40405 | 4560k| 103.8 | 41M| 94 | 251 | 400 | 763 | 400 | 601 | 0 | 290 |2967 |-9.213589e+01 |-5.700000e+01 | 61.64%
1237.19/1237.48 c 1237s| 44000 | 40505 | 4568k| 103.7 | 41M| 94 | 253 | 400 | 763 | 400 | 601 | 0 | 290 |2967 |-9.213132e+01 |-5.700000e+01 | 61.63%
1240.38/1240.65 c 1241s| 44100 | 40605 | 4580k| 103.8 | 41M| 94 | 250 | 400 | 763 | 400 | 601 | 0 | 290 |2983 |-9.212820e+01 |-5.700000e+01 | 61.63%
1242.79/1243.09 c 1243s| 44200 | 40705 | 4589k| 103.7 | 42M| 94 | 245 | 400 | 762 | 400 | 601 | 0 | 290 |2988 |-9.212502e+01 |-5.700000e+01 | 61.62%
1245.08/1245.35 c 1245s| 44300 | 40805 | 4597k| 103.7 | 42M| 94 | 239 | 400 | 762 | 400 | 601 | 0 | 290 |2994 |-9.212209e+01 |-5.700000e+01 | 61.62%
1247.48/1247.76 c 1248s| 44400 | 40905 | 4606k| 103.7 | 42M| 94 | 245 | 400 | 762 | 400 | 601 | 0 | 290 |2996 |-9.211931e+01 |-5.700000e+01 | 61.61%
1250.18/1250.43 c 1250s| 44500 | 41005 | 4619k| 103.7 | 42M| 94 | 248 | 400 | 764 | 400 | 601 | 0 | 293 |2996 |-9.211664e+01 |-5.700000e+01 | 61.61%
1253.28/1253.54 c 1254s| 44600 | 41105 | 4637k| 103.9 | 42M| 94 | 246 | 400 | 763 | 400 | 601 | 0 | 293 |2996 |-9.211383e+01 |-5.700000e+01 | 61.60%
1255.68/1255.98 c 1256s| 44700 | 41205 | 4647k| 103.9 | 42M| 94 | 243 | 400 | 763 | 400 | 601 | 0 | 293 |2996 |-9.211060e+01 |-5.700000e+01 | 61.60%
1257.59/1257.84 c 1258s| 44800 | 41305 | 4655k| 103.8 | 42M| 94 | 241 | 400 | 763 | 400 | 601 | 0 | 293 |2996 |-9.210892e+01 |-5.700000e+01 | 61.59%
1259.98/1260.22 c 1260s| 44900 | 41405 | 4663k| 103.8 | 42M| 94 | 224 | 400 | 762 | 400 | 601 | 0 | 293 |2996 |-9.210560e+01 |-5.700000e+01 | 61.59%
1262.88/1263.19 c 1263s| 45000 | 41505 | 4673k| 103.8 | 42M| 94 | 251 | 400 | 761 | 400 | 601 | 0 | 293 |3014 |-9.210380e+01 |-5.700000e+01 | 61.59%
1265.08/1265.39 c 1265s| 45100 | 41605 | 4682k| 103.7 | 42M| 94 | 251 | 400 | 761 | 400 | 601 | 0 | 293 |3014 |-9.210187e+01 |-5.700000e+01 | 61.58%
1267.58/1267.86 c 1268s| 45200 | 41705 | 4691k| 103.7 | 42M| 94 | 256 | 400 | 761 | 400 | 601 | 0 | 293 |3024 |-9.209855e+01 |-5.700000e+01 | 61.58%
1270.29/1270.55 c 1271s| 45300 | 41805 | 4701k| 103.7 | 42M| 94 | 262 | 400 | 761 | 400 | 601 | 0 | 293 |3034 |-9.209544e+01 |-5.700000e+01 | 61.57%
1272.67/1272.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.67/1272.91 c 1273s| 45400 | 41905 | 4711k| 103.7 | 42M| 94 | 254 | 400 | 761 | 400 | 601 | 0 | 293 |3034 |-9.209214e+01 |-5.700000e+01 | 61.57%
1275.17/1275.47 c 1275s| 45500 | 42005 | 4721k| 103.7 | 43M| 94 | 230 | 400 | 761 | 400 | 601 | 0 | 293 |3034 |-9.209010e+01 |-5.700000e+01 | 61.56%
1277.37/1277.67 c 1278s| 45600 | 42105 | 4730k| 103.6 | 43M| 94 | 248 | 400 | 761 | 400 | 601 | 0 | 293 |3034 |-9.208720e+01 |-5.700000e+01 | 61.56%
1279.38/1279.68 c 1280s| 45700 | 42205 | 4738k| 103.6 | 43M| 94 | 255 | 400 | 761 | 400 | 601 | 0 | 293 |3034 |-9.208502e+01 |-5.700000e+01 | 61.55%
1282.08/1282.30 c 1282s| 45800 | 42305 | 4750k| 103.6 | 43M| 94 | 249 | 400 | 761 | 400 | 601 | 0 | 293 |3035 |-9.208083e+01 |-5.700000e+01 | 61.55%
1284.97/1285.26 c 1285s| 45900 | 42405 | 4768k| 103.8 | 43M| 94 | 248 | 400 | 778 | 400 | 601 | 0 | 310 |3035 |-9.207855e+01 |-5.700000e+01 | 61.54%
1287.38/1287.69 c 1288s| 46000 | 42505 | 4777k| 103.8 | 43M| 94 | 224 | 400 | 777 | 400 | 601 | 0 | 310 |3052 |-9.207629e+01 |-5.700000e+01 | 61.54%
1289.98/1290.25 c 1290s| 46100 | 42605 | 4786k| 103.7 | 43M| 94 | 240 | 400 | 777 | 400 | 601 | 0 | 310 |3062 |-9.207343e+01 |-5.700000e+01 | 61.53%
1292.28/1292.51 c 1293s| 46200 | 42705 | 4794k| 103.7 | 43M| 94 | 228 | 400 | 776 | 400 | 601 | 0 | 310 |3071 |-9.206926e+01 |-5.700000e+01 | 61.53%
1294.88/1295.13 c 1295s| 46300 | 42805 | 4803k| 103.7 | 43M| 94 | 251 | 400 | 776 | 400 | 601 | 0 | 310 |3077 |-9.206759e+01 |-5.700000e+01 | 61.52%
1297.17/1297.40 c 1297s| 46400 | 42905 | 4812k| 103.6 | 43M| 94 | 254 | 400 | 776 | 400 | 601 | 0 | 310 |3077 |-9.206419e+01 |-5.700000e+01 | 61.52%
1299.47/1299.78 c 1300s| 46500 | 43005 | 4821k| 103.6 | 43M| 94 | 257 | 400 | 775 | 400 | 601 | 0 | 310 |3077 |-9.206129e+01 |-5.700000e+01 | 61.51%
1302.08/1302.37 c 1302s| 46600 | 43105 | 4832k| 103.6 | 43M| 94 | 254 | 400 | 774 | 400 | 601 | 0 | 310 |3077 |-9.206004e+01 |-5.700000e+01 | 61.51%
1303.97/1304.24 c 1304s| 46700 | 43205 | 4840k| 103.6 | 44M| 94 | 250 | 400 | 773 | 400 | 601 | 0 | 310 |3077 |-9.205710e+01 |-5.700000e+01 | 61.50%
1306.28/1306.56 c 1307s| 46800 | 43305 | 4849k| 103.5 | 44M| 94 | 254 | 400 | 772 | 400 | 601 | 0 | 310 |3077 |-9.205444e+01 |-5.700000e+01 | 61.50%
1308.68/1308.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.68/1308.94 c 1309s| 46900 | 43405 | 4858k| 103.5 | 44M| 94 | 238 | 400 | 771 | 400 | 601 | 0 | 310 |3077 |-9.205064e+01 |-5.700000e+01 | 61.49%
1311.37/1311.64 c 1312s| 47000 | 43505 | 4868k| 103.5 | 44M| 94 | 253 | 400 | 770 | 400 | 601 | 0 | 310 |3091 |-9.204608e+01 |-5.700000e+01 | 61.48%
1314.17/1314.44 c 1314s| 47100 | 43605 | 4885k| 103.6 | 44M| 94 | 217 | 400 | 769 | 400 | 601 | 0 | 310 |3101 |-9.204144e+01 |-5.700000e+01 | 61.48%
1316.58/1316.89 c 1317s| 47200 | 43705 | 4894k| 103.6 | 44M| 94 | 246 | 400 | 769 | 400 | 601 | 0 | 310 |3105 |-9.203844e+01 |-5.700000e+01 | 61.47%
1319.07/1319.30 c 1319s| 47300 | 43805 | 4903k| 103.6 | 44M| 94 | 233 | 400 | 769 | 400 | 601 | 0 | 310 |3114 |-9.203526e+01 |-5.700000e+01 | 61.47%
1321.88/1322.13 c 1322s| 47400 | 43905 | 4915k| 103.6 | 44M| 94 | 246 | 400 | 769 | 400 | 601 | 0 | 310 |3118 |-9.203347e+01 |-5.700000e+01 | 61.46%
1324.18/1324.45 c 1324s| 47500 | 44005 | 4924k| 103.6 | 44M| 94 | 252 | 400 | 769 | 400 | 601 | 0 | 310 |3118 |-9.202912e+01 |-5.700000e+01 | 61.45%
1326.47/1326.79 c 1327s| 47600 | 44105 | 4935k| 103.6 | 44M| 94 | 250 | 400 | 768 | 400 | 601 | 0 | 310 |3119 |-9.202573e+01 |-5.700000e+01 | 61.45%
1328.77/1329.05 c 1329s| 47700 | 44205 | 4944k| 103.6 | 44M| 94 | 245 | 400 | 777 | 400 | 601 | 0 | 319 |3119 |-9.202151e+01 |-5.700000e+01 | 61.44%
1331.27/1331.55 c 1332s| 47800 | 44305 | 4954k| 103.6 | 44M| 94 | 249 | 400 | 777 | 400 | 601 | 0 | 319 |3120 |-9.201936e+01 |-5.700000e+01 | 61.44%
1333.27/1333.55 c 1334s| 47900 | 44405 | 4963k| 103.5 | 45M| 94 | 226 | 400 | 777 | 400 | 601 | 0 | 319 |3120 |-9.201538e+01 |-5.700000e+01 | 61.43%
1335.97/1336.29 c 1336s| 48000 | 44505 | 4971k| 103.5 | 45M| 94 | 262 | 400 | 777 | 400 | 601 | 0 | 319 |3144 |-9.201374e+01 |-5.700000e+01 | 61.43%
1338.67/1338.90 c 1339s| 48100 | 44605 | 4983k| 103.5 | 45M| 94 | 235 | 400 | 777 | 400 | 601 | 0 | 319 |3144 |-9.201013e+01 |-5.700000e+01 | 61.42%
1341.97/1342.22 c 1342s| 48200 | 44705 | 5001k| 103.7 | 45M| 94 | 242 | 400 | 777 | 400 | 601 | 0 | 319 |3152 |-9.200668e+01 |-5.700000e+01 | 61.42%
1344.07/1344.36 c 1344s| 48300 | 44805 | 5009k| 103.6 | 45M| 94 | 238 | 400 | 777 | 400 | 601 | 0 | 319 |3157 |-9.200367e+01 |-5.700000e+01 | 61.41%
1346.66/1346.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.66/1346.93 c 1347s| 48400 | 44905 | 5019k| 103.6 | 45M| 94 | 248 | 400 | 777 | 400 | 601 | 0 | 319 |3158 |-9.200262e+01 |-5.700000e+01 | 61.41%
1348.66/1348.98 c 1349s| 48500 | 45005 | 5027k| 103.6 | 45M| 94 | 257 | 400 | 776 | 400 | 601 | 0 | 319 |3159 |-9.200076e+01 |-5.700000e+01 | 61.40%
1351.16/1351.46 c 1351s| 48600 | 45105 | 5036k| 103.5 | 45M| 94 | 263 | 400 | 776 | 400 | 601 | 0 | 319 |3160 |-9.199841e+01 |-5.700000e+01 | 61.40%
1353.67/1353.94 c 1354s| 48700 | 45205 | 5047k| 103.5 | 45M| 94 | 250 | 400 | 776 | 400 | 601 | 0 | 319 |3160 |-9.199581e+01 |-5.700000e+01 | 61.40%
1355.56/1355.87 c 1356s| 48800 | 45305 | 5055k| 103.5 | 45M| 94 | 246 | 400 | 775 | 400 | 601 | 0 | 319 |3160 |-9.199271e+01 |-5.700000e+01 | 61.39%
1357.97/1358.27 c 1358s| 48900 | 45405 | 5064k| 103.5 | 45M| 94 | 233 | 400 | 775 | 400 | 601 | 0 | 319 |3160 |-9.198976e+01 |-5.700000e+01 | 61.39%
1360.86/1361.14 c 1361s| 49000 | 45505 | 5073k| 103.4 | 45M| 94 | 247 | 400 | 775 | 400 | 601 | 0 | 319 |3181 |-9.198728e+01 |-5.700000e+01 | 61.38%
1363.36/1363.64 c 1364s| 49100 | 45605 | 5084k| 103.5 | 46M| 94 | 231 | 400 | 774 | 400 | 601 | 0 | 319 |3181 |-9.198405e+01 |-5.700000e+01 | 61.38%
1366.67/1366.98 c 1367s| 49200 | 45705 | 5103k| 103.6 | 46M| 94 | 215 | 400 | 774 | 400 | 601 | 0 | 319 |3192 |-9.198098e+01 |-5.700000e+01 | 61.37%
1369.06/1369.30 c 1369s| 49300 | 45805 | 5111k| 103.6 | 46M| 94 | 255 | 400 | 773 | 400 | 601 | 0 | 319 |3196 |-9.197792e+01 |-5.700000e+01 | 61.36%
1371.37/1371.61 c 1372s| 49400 | 45905 | 5121k| 103.6 | 46M| 94 | 246 | 400 | 785 | 400 | 601 | 0 | 331 |3198 |-9.197520e+01 |-5.700000e+01 | 61.36%
1374.06/1374.39 c 1374s| 49500 | 46005 | 5133k| 103.6 | 46M| 94 | 237 | 400 | 785 | 400 | 601 | 0 | 331 |3198 |-9.197303e+01 |-5.700000e+01 | 61.36%
1376.37/1376.61 c 1377s| 49600 | 46105 | 5142k| 103.6 | 46M| 94 | 254 | 400 | 785 | 400 | 601 | 0 | 331 |3198 |-9.197131e+01 |-5.700000e+01 | 61.35%
1378.46/1378.76 c 1379s| 49700 | 46205 | 5151k| 103.6 | 46M| 94 | 246 | 400 | 785 | 400 | 601 | 0 | 331 |3199 |-9.196887e+01 |-5.700000e+01 | 61.35%
1380.56/1380.84 c 1381s| 49800 | 46305 | 5159k| 103.5 | 46M| 94 | 236 | 400 | 785 | 400 | 601 | 0 | 331 |3199 |-9.196669e+01 |-5.700000e+01 | 61.35%
1382.86/1383.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.86/1383.15 c 1383s| 49900 | 46405 | 5168k| 103.5 | 46M| 94 | 241 | 400 | 784 | 400 | 601 | 0 | 331 |3199 |-9.196485e+01 |-5.700000e+01 | 61.34%
1385.26/1385.59 c 1386s| 50000 | 46505 | 5178k| 103.5 | 46M| 94 | 244 | 400 | 783 | 400 | 601 | 0 | 331 |3212 |-9.196383e+01 |-5.700000e+01 | 61.34%
1387.56/1387.87 c 1388s| 50100 | 46605 | 5187k| 103.4 | 46M| 94 | 239 | 400 | 783 | 400 | 601 | 0 | 331 |3212 |-9.196172e+01 |-5.700000e+01 | 61.34%
1390.56/1390.82 c 1391s| 50200 | 46705 | 5197k| 103.4 | 46M| 94 | 247 | 400 | 782 | 400 | 601 | 0 | 331 |3232 |-9.195995e+01 |-5.700000e+01 | 61.33%
1392.66/1392.99 c 1393s| 50300 | 46805 | 5205k| 103.4 | 46M| 94 | 253 | 400 | 780 | 400 | 601 | 0 | 331 |3236 |-9.195840e+01 |-5.700000e+01 | 61.33%
1395.26/1395.54 c 1396s| 50400 | 46905 | 5215k| 103.4 | 47M| 94 | 245 | 400 | 778 | 400 | 601 | 0 | 331 |3243 |-9.195611e+01 |-5.700000e+01 | 61.33%
1398.06/1398.30 c 1398s| 50500 | 47005 | 5228k| 103.4 | 47M| 94 | 247 | 400 | 778 | 400 | 601 | 0 | 331 |3243 |-9.195356e+01 |-5.700000e+01 | 61.32%
1400.46/1400.71 c 1401s| 50600 | 47105 | 5239k| 103.5 | 47M| 94 | 243 | 400 | 777 | 400 | 601 | 0 | 331 |3243 |-9.195069e+01 |-5.700000e+01 | 61.32%
1402.65/1402.93 c 1403s| 50700 | 47205 | 5248k| 103.4 | 47M| 94 | 254 | 400 | 776 | 400 | 601 | 0 | 331 |3243 |-9.194936e+01 |-5.700000e+01 | 61.31%
1404.76/1405.01 c 1405s| 50800 | 47305 | 5256k| 103.4 | 47M| 94 | 237 | 400 | 776 | 400 | 601 | 0 | 331 |3243 |-9.194697e+01 |-5.700000e+01 | 61.31%
1407.16/1407.44 c 1407s| 50900 | 47405 | 5266k| 103.4 | 47M| 94 | 246 | 400 | 776 | 400 | 601 | 0 | 331 |3243 |-9.194494e+01 |-5.700000e+01 | 61.31%
1409.56/1409.84 c 1410s| 51000 | 47505 | 5275k| 103.4 | 47M| 94 | 240 | 400 | 776 | 400 | 601 | 0 | 331 |3243 |-9.194179e+01 |-5.700000e+01 | 61.30%
1412.86/1413.14 c 1413s| 51100 | 47605 | 5292k| 103.5 | 47M| 94 | 252 | 400 | 775 | 400 | 601 | 0 | 331 |3254 |-9.193999e+01 |-5.700000e+01 | 61.30%
1415.06/1415.36 c 1415s| 51200 | 47705 | 5301k| 103.5 | 47M| 94 | 251 | 400 | 774 | 400 | 601 | 0 | 331 |3260 |-9.193770e+01 |-5.700000e+01 | 61.29%
1417.45/1417.75 c 1418s| 51300 | 47805 | 5310k| 103.4 | 47M| 94 | 238 | 400 | 783 | 400 | 601 | 0 | 340 |3272 |-9.193572e+01 |-5.700000e+01 | 61.29%
1420.15/1420.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.15/1420.45 c 1420s| 51400 | 47905 | 5319k| 103.4 | 47M| 94 | 248 | 400 | 782 | 400 | 601 | 0 | 340 |3282 |-9.193296e+01 |-5.700000e+01 | 61.29%
1422.45/1422.77 c 1423s| 51500 | 48005 | 5328k| 103.4 | 47M| 94 | 250 | 400 | 781 | 400 | 601 | 0 | 340 |3284 |-9.192999e+01 |-5.700000e+01 | 61.28%
1425.16/1425.48 c 1425s| 51600 | 48105 | 5341k| 103.4 | 48M| 94 | 242 | 400 | 781 | 400 | 601 | 0 | 340 |3284 |-9.192784e+01 |-5.700000e+01 | 61.28%
1427.15/1427.45 c 1427s| 51700 | 48205 | 5349k| 103.4 | 48M| 94 | 236 | 400 | 779 | 400 | 601 | 0 | 340 |3284 |-9.192465e+01 |-5.700000e+01 | 61.27%
1429.35/1429.64 c 1430s| 51800 | 48305 | 5357k| 103.3 | 48M| 94 | 252 | 400 | 779 | 400 | 601 | 0 | 340 |3285 |-9.192196e+01 |-5.700000e+01 | 61.27%
1431.36/1431.66 c 1432s| 51900 | 48405 | 5365k| 103.3 | 48M| 94 | 248 | 400 | 779 | 400 | 601 | 0 | 340 |3285 |-9.192008e+01 |-5.700000e+01 | 61.26%
1434.16/1434.48 c 1434s| 52000 | 48505 | 5381k| 103.4 | 48M| 94 | 258 | 400 | 779 | 400 | 601 | 0 | 340 |3285 |-9.191727e+01 |-5.700000e+01 | 61.26%
1436.76/1437.05 c 1437s| 52100 | 48605 | 5392k| 103.4 | 48M| 94 | 240 | 400 | 779 | 400 | 601 | 0 | 340 |3285 |-9.191404e+01 |-5.700000e+01 | 61.25%
1439.25/1439.54 c 1440s| 52200 | 48705 | 5400k| 103.4 | 48M| 94 | 255 | 400 | 779 | 400 | 601 | 0 | 340 |3296 |-9.191228e+01 |-5.700000e+01 | 61.25%
1441.65/1442.00 c 1442s| 52300 | 48805 | 5409k| 103.3 | 48M| 94 | 219 | 400 | 777 | 400 | 601 | 0 | 340 |3310 |-9.190943e+01 |-5.700000e+01 | 61.24%
1444.15/1444.41 c 1444s| 52400 | 48905 | 5418k| 103.3 | 48M| 94 | 246 | 400 | 777 | 400 | 601 | 0 | 340 |3310 |-9.190600e+01 |-5.700000e+01 | 61.24%
1446.55/1446.87 c 1447s| 52500 | 49005 | 5427k| 103.3 | 48M| 94 | 236 | 400 | 777 | 400 | 601 | 0 | 340 |3324 |-9.190175e+01 |-5.700000e+01 | 61.23%
1449.15/1449.48 c 1449s| 52600 | 49105 | 5438k| 103.3 | 48M| 94 | 243 | 400 | 777 | 400 | 601 | 0 | 340 |3326 |-9.189974e+01 |-5.700000e+01 | 61.23%
1451.25/1451.51 c 1452s| 52700 | 49205 | 5446k| 103.3 | 48M| 94 | 253 | 400 | 776 | 400 | 601 | 0 | 340 |3326 |-9.189823e+01 |-5.700000e+01 | 61.22%
1453.55/1453.88 c 1454s| 52800 | 49305 | 5456k| 103.3 | 49M| 94 | 252 | 400 | 776 | 400 | 601 | 0 | 340 |3326 |-9.189546e+01 |-5.700000e+01 | 61.22%
1456.16/1456.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.16/1456.43 c 1456s| 52900 | 49405 | 5466k| 103.2 | 49M| 94 | 250 | 400 | 774 | 400 | 601 | 0 | 340 |3328 |-9.189326e+01 |-5.700000e+01 | 61.22%
1459.05/1459.32 c 1459s| 53000 | 49505 | 5482k| 103.4 | 49M| 94 | 247 | 400 | 774 | 400 | 601 | 0 | 340 |3328 |-9.189165e+01 |-5.700000e+01 | 61.21%
1461.55/1461.86 c 1462s| 53100 | 49605 | 5495k| 103.4 | 49M| 94 | 251 | 400 | 783 | 400 | 601 | 0 | 350 |3328 |-9.188832e+01 |-5.700000e+01 | 61.21%
1463.55/1463.84 c 1464s| 53200 | 49705 | 5503k| 103.4 | 49M| 94 | 261 | 400 | 781 | 400 | 601 | 0 | 350 |3328 |-9.188606e+01 |-5.700000e+01 | 61.20%
1466.45/1466.75 c 1467s| 53300 | 49805 | 5512k| 103.3 | 49M| 94 | 249 | 400 | 781 | 400 | 601 | 0 | 350 |3344 |-9.188365e+01 |-5.700000e+01 | 61.20%
1468.85/1469.18 c 1469s| 53400 | 49905 | 5521k| 103.3 | 49M| 94 | 244 | 400 | 781 | 400 | 601 | 0 | 350 |3354 |-9.188188e+01 |-5.700000e+01 | 61.20%
1470.95/1471.20 c 1471s| 53500 | 50005 | 5529k| 103.3 | 49M| 94 | 242 | 400 | 780 | 400 | 601 | 0 | 350 |3354 |-9.188055e+01 |-5.700000e+01 | 61.19%
1473.94/1474.24 c 1474s| 53600 | 50105 | 5539k| 103.3 | 49M| 94 | 243 | 400 | 780 | 400 | 601 | 0 | 350 |3364 |-9.187530e+01 |-5.700000e+01 | 61.18%
1476.55/1476.85 c 1477s| 53700 | 50205 | 5550k| 103.3 | 49M| 94 | 251 | 400 | 779 | 400 | 601 | 0 | 350 |3375 |-9.187256e+01 |-5.700000e+01 | 61.18%
1478.74/1479.03 c 1479s| 53800 | 50305 | 5559k| 103.3 | 49M| 94 | 255 | 400 | 779 | 400 | 601 | 0 | 350 |3376 |-9.186972e+01 |-5.700000e+01 | 61.17%
1481.75/1482.01 c 1482s| 53900 | 50405 | 5577k| 103.4 | 49M| 94 | 225 | 400 | 778 | 400 | 601 | 0 | 350 |3377 |-9.186783e+01 |-5.700000e+01 | 61.17%
1484.25/1484.57 c 1485s| 54000 | 50505 | 5587k| 103.4 | 49M| 94 | 258 | 400 | 778 | 400 | 601 | 0 | 350 |3377 |-9.186521e+01 |-5.700000e+01 | 61.17%
1486.35/1486.64 c 1487s| 54100 | 50605 | 5596k| 103.4 | 50M| 94 | 249 | 400 | 777 | 400 | 601 | 0 | 350 |3377 |-9.186196e+01 |-5.700000e+01 | 61.16%
1488.35/1488.66 c 1489s| 54200 | 50705 | 5604k| 103.3 | 50M| 94 | 257 | 400 | 777 | 400 | 601 | 0 | 350 |3377 |-9.185928e+01 |-5.700000e+01 | 61.16%
1490.84/1491.18 c 1491s| 54300 | 50805 | 5614k| 103.3 | 50M| 94 | 246 | 400 | 773 | 400 | 601 | 0 | 350 |3377 |-9.185741e+01 |-5.700000e+01 | 61.15%
1493.45/1493.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.45/1493.78 c 1494s| 54400 | 50905 | 5623k| 103.3 | 50M| 94 | 257 | 400 | 772 | 400 | 601 | 0 | 350 |3390 |-9.185551e+01 |-5.700000e+01 | 61.15%
1495.65/1495.99 c 1496s| 54500 | 51005 | 5633k| 103.3 | 50M| 94 | 252 | 400 | 771 | 400 | 601 | 0 | 350 |3390 |-9.185222e+01 |-5.700000e+01 | 61.14%
1498.05/1498.36 c 1498s| 54600 | 51105 | 5642k| 103.3 | 50M| 94 | 236 | 400 | 771 | 400 | 601 | 0 | 350 |3403 |-9.184913e+01 |-5.700000e+01 | 61.14%
1500.64/1500.93 c 1501s| 54700 | 51205 | 5651k| 103.2 | 50M| 94 | 264 | 400 | 771 | 400 | 601 | 0 | 350 |3409 |-9.184676e+01 |-5.700000e+01 | 61.13%
1503.24/1503.51 c 1504s| 54800 | 51305 | 5660k| 103.2 | 50M| 94 | 246 | 400 | 769 | 400 | 601 | 0 | 350 |3420 |-9.184434e+01 |-5.700000e+01 | 61.13%
1505.44/1505.70 c 1506s| 54900 | 51405 | 5669k| 103.2 | 50M| 94 | 236 | 400 | 768 | 400 | 601 | 0 | 350 |3422 |-9.184238e+01 |-5.700000e+01 | 61.13%
1507.55/1507.86 c 1508s| 55000 | 51505 | 5678k| 103.2 | 50M| 94 | 229 | 400 | 768 | 400 | 601 | 0 | 350 |3423 |-9.183932e+01 |-5.700000e+01 | 61.12%
1509.84/1510.14 c 1510s| 55100 | 51605 | 5687k| 103.1 | 50M| 94 | 262 | 400 | 768 | 400 | 601 | 0 | 350 |3423 |-9.183754e+01 |-5.700000e+01 | 61.12%
1512.94/1513.21 c 1513s| 55200 | 51705 | 5705k| 103.3 | 50M| 94 | 261 | 400 | 773 | 400 | 601 | 0 | 357 |3423 |-9.183519e+01 |-5.700000e+01 | 61.11%
1515.15/1515.48 c 1515s| 55300 | 51805 | 5714k| 103.3 | 51M| 94 | 225 | 400 | 771 | 400 | 601 | 0 | 357 |3423 |-9.183379e+01 |-5.700000e+01 | 61.11%
1517.24/1517.54 c 1518s| 55400 | 51905 | 5725k| 103.3 | 51M| 94 | 239 | 400 | 771 | 400 | 601 | 0 | 357 |3423 |-9.183196e+01 |-5.700000e+01 | 61.11%
1519.84/1520.19 c 1520s| 55500 | 52005 | 5736k| 103.3 | 51M| 94 | 237 | 400 | 771 | 400 | 601 | 0 | 357 |3423 |-9.182991e+01 |-5.700000e+01 | 61.11%
1522.44/1522.76 c 1523s| 55600 | 52105 | 5745k| 103.2 | 51M| 94 | 243 | 400 | 771 | 400 | 601 | 0 | 357 |3436 |-9.182777e+01 |-5.700000e+01 | 61.10%
1525.14/1525.43 c 1525s| 55700 | 52205 | 5753k| 103.2 | 51M| 94 | 239 | 400 | 771 | 400 | 601 | 0 | 357 |3453 |-9.182580e+01 |-5.700000e+01 | 61.10%
1527.24/1527.59 c 1528s| 55800 | 52305 | 5762k| 103.2 | 51M| 94 | 239 | 400 | 771 | 400 | 601 | 0 | 357 |3453 |-9.182299e+01 |-5.700000e+01 | 61.09%
1529.74/1530.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.74/1530.00 c 1530s| 55900 | 52405 | 5771k| 103.2 | 51M| 94 | 247 | 400 | 771 | 400 | 601 | 0 | 357 |3458 |-9.182138e+01 |-5.700000e+01 | 61.09%
1532.94/1533.24 c 1533s| 56000 | 52505 | 5788k| 103.3 | 51M| 94 | 233 | 400 | 771 | 400 | 601 | 0 | 357 |3463 |-9.181948e+01 |-5.700000e+01 | 61.09%
1535.24/1535.52 c 1536s| 56100 | 52605 | 5797k| 103.3 | 51M| 94 | 248 | 400 | 770 | 400 | 601 | 0 | 357 |3463 |-9.181779e+01 |-5.700000e+01 | 61.08%
1537.44/1537.74 c 1538s| 56200 | 52705 | 5808k| 103.3 | 51M| 94 | 243 | 400 | 770 | 400 | 601 | 0 | 357 |3463 |-9.181595e+01 |-5.700000e+01 | 61.08%
1539.74/1540.09 c 1540s| 56300 | 52805 | 5817k| 103.3 | 51M| 94 | 249 | 400 | 769 | 400 | 601 | 0 | 357 |3463 |-9.181444e+01 |-5.700000e+01 | 61.08%
1541.74/1542.05 c 1542s| 56400 | 52905 | 5825k| 103.2 | 51M| 94 | 231 | 400 | 769 | 400 | 601 | 0 | 357 |3463 |-9.181281e+01 |-5.700000e+01 | 61.08%
1543.83/1544.18 c 1544s| 56500 | 53005 | 5833k| 103.2 | 52M| 94 | 238 | 400 | 768 | 400 | 601 | 0 | 357 |3463 |-9.181053e+01 |-5.700000e+01 | 61.07%
1546.13/1546.46 c 1546s| 56600 | 53105 | 5842k| 103.1 | 52M| 94 | 233 | 400 | 768 | 400 | 601 | 0 | 357 |3463 |-9.180858e+01 |-5.700000e+01 | 61.07%
1548.63/1548.95 c 1549s| 56700 | 53205 | 5851k| 103.1 | 52M| 94 | 253 | 400 | 767 | 400 | 601 | 0 | 357 |3473 |-9.180630e+01 |-5.700000e+01 | 61.06%
1551.03/1551.35 c 1551s| 56800 | 53305 | 5861k| 103.1 | 52M| 94 | 236 | 400 | 765 | 400 | 601 | 0 | 357 |3483 |-9.180400e+01 |-5.700000e+01 | 61.06%
1554.43/1554.76 c 1555s| 56900 | 53405 | 5880k| 103.3 | 52M| 94 | 249 | 400 | 771 | 400 | 601 | 0 | 363 |3497 |-9.180168e+01 |-5.700000e+01 | 61.06%
1557.04/1557.37 c 1557s| 57000 | 53505 | 5889k| 103.2 | 52M| 94 | 244 | 400 | 771 | 400 | 601 | 0 | 363 |3504 |-9.180023e+01 |-5.700000e+01 | 61.05%
1559.23/1559.55 c 1560s| 57100 | 53605 | 5897k| 103.2 | 52M| 94 | 256 | 400 | 771 | 400 | 601 | 0 | 363 |3509 |-9.179814e+01 |-5.700000e+01 | 61.05%
1561.74/1562.04 c 1562s| 57200 | 53705 | 5907k| 103.2 | 52M| 94 | 261 | 400 | 771 | 400 | 601 | 0 | 363 |3510 |-9.179635e+01 |-5.700000e+01 | 61.05%
1563.43/1563.79 c 1564s| 57300 | 53805 | 5914k| 103.1 | 52M| 94 | 248 | 400 | 771 | 400 | 601 | 0 | 363 |3510 |-9.179546e+01 |-5.700000e+01 | 61.04%
1566.33/1566.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.33/1566.67 c 1567s| 57400 | 53905 | 5927k| 103.2 | 52M| 94 | 251 | 400 | 771 | 400 | 601 | 0 | 363 |3510 |-9.179339e+01 |-5.700000e+01 | 61.04%
1568.34/1568.66 c 1569s| 57500 | 54005 | 5935k| 103.1 | 52M| 94 | 258 | 400 | 771 | 400 | 601 | 0 | 363 |3510 |-9.179198e+01 |-5.700000e+01 | 61.04%
1570.63/1570.97 c 1571s| 57600 | 54105 | 5945k| 103.1 | 52M| 94 | 256 | 400 | 771 | 400 | 601 | 0 | 363 |3510 |-9.179060e+01 |-5.700000e+01 | 61.04%
1572.83/1573.13 c 1573s| 57700 | 54205 | 5953k| 103.1 | 53M| 94 | 250 | 400 | 771 | 400 | 601 | 0 | 363 |3510 |-9.178859e+01 |-5.700000e+01 | 61.03%
1575.13/1575.47 c 1575s| 57800 | 54305 | 5961k| 103.1 | 53M| 94 | 242 | 400 | 769 | 400 | 601 | 0 | 363 |3520 |-9.178564e+01 |-5.700000e+01 | 61.03%
1577.73/1578.05 c 1578s| 57900 | 54405 | 5971k| 103.1 | 53M| 94 | 238 | 400 | 768 | 400 | 601 | 0 | 363 |3529 |-9.178445e+01 |-5.700000e+01 | 61.03%
1580.13/1580.45 c 1580s| 58000 | 54505 | 5979k| 103.0 | 53M| 94 | 229 | 400 | 768 | 400 | 601 | 0 | 363 |3542 |-9.178257e+01 |-5.700000e+01 | 61.02%
1583.13/1583.41 c 1583s| 58100 | 54605 | 6000k| 103.2 | 53M| 94 | 237 | 400 | 767 | 400 | 601 | 0 | 363 |3542 |-9.178052e+01 |-5.700000e+01 | 61.02%
1585.43/1585.74 c 1586s| 58200 | 54705 | 6008k| 103.2 | 53M| 94 | 247 | 400 | 767 | 400 | 601 | 0 | 363 |3549 |-9.177778e+01 |-5.700000e+01 | 61.01%
1587.93/1588.20 c 1588s| 58300 | 54805 | 6017k| 103.1 | 53M| 94 | 244 | 400 | 767 | 400 | 601 | 0 | 363 |3553 |-9.177612e+01 |-5.700000e+01 | 61.01%
1590.13/1590.43 c 1590s| 58400 | 54905 | 6026k| 103.1 | 53M| 94 | 256 | 400 | 766 | 400 | 601 | 0 | 363 |3553 |-9.177445e+01 |-5.700000e+01 | 61.01%
1592.33/1592.61 c 1593s| 58500 | 55005 | 6037k| 103.1 | 53M| 94 | 245 | 400 | 765 | 400 | 601 | 0 | 363 |3553 |-9.177316e+01 |-5.700000e+01 | 61.01%
1594.83/1595.10 c 1595s| 58600 | 55105 | 6047k| 103.1 | 53M| 94 | 252 | 400 | 768 | 400 | 601 | 0 | 369 |3553 |-9.177158e+01 |-5.700000e+01 | 61.00%
1597.03/1597.36 c 1597s| 58700 | 55205 | 6057k| 103.1 | 53M| 94 | 248 | 400 | 768 | 400 | 601 | 0 | 369 |3553 |-9.176922e+01 |-5.700000e+01 | 61.00%
1599.22/1599.52 c 1600s| 58800 | 55305 | 6065k| 103.1 | 53M| 94 | 246 | 400 | 768 | 400 | 601 | 0 | 369 |3553 |-9.176722e+01 |-5.700000e+01 | 61.00%
1601.42/1601.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.42/1601.75 c 1602s| 58900 | 55405 | 6074k| 103.1 | 53M| 94 | 242 | 400 | 767 | 400 | 601 | 0 | 369 |3553 |-9.176488e+01 |-5.700000e+01 | 60.99%
1604.23/1604.59 c 1605s| 59000 | 55505 | 6084k| 103.1 | 54M| 94 | 251 | 400 | 767 | 400 | 601 | 0 | 369 |3565 |-9.176311e+01 |-5.700000e+01 | 60.99%
1606.73/1607.01 c 1607s| 59100 | 55605 | 6093k| 103.0 | 54M| 94 | 243 | 400 | 767 | 400 | 601 | 0 | 369 |3576 |-9.176168e+01 |-5.700000e+01 | 60.99%
1609.03/1609.33 c 1609s| 59200 | 55705 | 6103k| 103.0 | 54M| 94 | 237 | 400 | 766 | 400 | 601 | 0 | 369 |3576 |-9.175957e+01 |-5.700000e+01 | 60.98%
1611.42/1611.71 c 1612s| 59300 | 55805 | 6111k| 103.0 | 54M| 94 | 249 | 400 | 766 | 400 | 601 | 0 | 369 |3586 |-9.175718e+01 |-5.700000e+01 | 60.98%
1614.62/1614.98 c 1615s| 59400 | 55905 | 6129k| 103.1 | 54M| 94 | 242 | 400 | 766 | 400 | 601 | 0 | 369 |3593 |-9.175506e+01 |-5.700000e+01 | 60.97%
1616.82/1617.14 c 1617s| 59500 | 56005 | 6137k| 103.1 | 54M| 94 | 247 | 400 | 766 | 400 | 601 | 0 | 369 |3596 |-9.175296e+01 |-5.700000e+01 | 60.97%
1619.12/1619.47 c 1619s| 59600 | 56105 | 6147k| 103.1 | 54M| 94 | 250 | 400 | 766 | 400 | 601 | 0 | 369 |3596 |-9.175049e+01 |-5.700000e+01 | 60.97%
1621.53/1621.89 c 1622s| 59700 | 56205 | 6156k| 103.1 | 54M| 94 | 233 | 400 | 766 | 400 | 601 | 0 | 369 |3596 |-9.174787e+01 |-5.700000e+01 | 60.96%
1623.82/1624.12 c 1624s| 59800 | 56305 | 6165k| 103.0 | 54M| 94 | 253 | 400 | 766 | 400 | 601 | 0 | 369 |3596 |-9.174487e+01 |-5.700000e+01 | 60.96%
1625.93/1626.28 c 1626s| 59900 | 56405 | 6174k| 103.0 | 54M| 94 | 240 | 400 | 765 | 400 | 601 | 0 | 369 |3596 |-9.174291e+01 |-5.700000e+01 | 60.95%
1628.12/1628.46 c 1628s| 60000 | 56505 | 6183k| 103.0 | 54M| 94 | 251 | 400 | 765 | 400 | 601 | 0 | 369 |3596 |-9.174176e+01 |-5.700000e+01 | 60.95%
1630.62/1630.99 c 1631s| 60100 | 56605 | 6194k| 103.0 | 54M| 94 | 245 | 400 | 763 | 400 | 601 | 0 | 369 |3596 |-9.174001e+01 |-5.700000e+01 | 60.95%
1633.02/1633.40 c 1633s| 60200 | 56705 | 6202k| 103.0 | 55M| 94 | 243 | 400 | 763 | 400 | 601 | 0 | 369 |3605 |-9.173789e+01 |-5.700000e+01 | 60.94%
1635.33/1635.63 c 1636s| 60300 | 56805 | 6211k| 102.9 | 55M| 94 | 214 | 400 | 762 | 400 | 601 | 0 | 369 |3621 |-9.173598e+01 |-5.700000e+01 | 60.94%
1637.72/1638.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.72/1638.03 c 1638s| 60400 | 56905 | 6220k| 102.9 | 55M| 94 | 232 | 400 | 762 | 400 | 601 | 0 | 369 |3621 |-9.173508e+01 |-5.700000e+01 | 60.94%
1640.12/1640.49 c 1640s| 60500 | 57005 | 6231k| 102.9 | 55M| 94 | 254 | 400 | 768 | 400 | 601 | 0 | 375 |3627 |-9.173118e+01 |-5.700000e+01 | 60.93%
1643.22/1643.54 c 1644s| 60600 | 57105 | 6247k| 103.0 | 55M| 94 | 254 | 400 | 768 | 400 | 601 | 0 | 375 |3636 |-9.172923e+01 |-5.700000e+01 | 60.93%
1645.33/1645.69 c 1646s| 60700 | 57205 | 6254k| 103.0 | 55M| 94 | 250 | 400 | 768 | 400 | 601 | 0 | 375 |3643 |-9.172486e+01 |-5.700000e+01 | 60.92%
1648.12/1648.46 c 1648s| 60800 | 57305 | 6267k| 103.0 | 55M| 94 | 245 | 400 | 768 | 400 | 601 | 0 | 375 |3647 |-9.172215e+01 |-5.700000e+01 | 60.92%
1650.02/1650.32 c 1650s| 60900 | 57405 | 6275k| 103.0 | 55M| 94 | 252 | 400 | 766 | 400 | 601 | 0 | 375 |3647 |-9.172009e+01 |-5.700000e+01 | 60.91%
1652.32/1652.67 c 1653s| 61000 | 57505 | 6284k| 103.0 | 55M| 94 | 263 | 400 | 765 | 400 | 601 | 0 | 375 |3647 |-9.171788e+01 |-5.700000e+01 | 60.91%
1654.52/1654.80 c 1655s| 61100 | 57605 | 6292k| 102.9 | 55M| 94 | 252 | 400 | 762 | 400 | 601 | 0 | 375 |3647 |-9.171595e+01 |-5.700000e+01 | 60.91%
1656.71/1657.09 c 1657s| 61200 | 57705 | 6302k| 102.9 | 55M| 94 | 242 | 400 | 762 | 400 | 601 | 0 | 375 |3647 |-9.171423e+01 |-5.700000e+01 | 60.90%
1658.71/1659.08 c 1659s| 61300 | 57805 | 6310k| 102.9 | 55M| 94 | 261 | 400 | 762 | 400 | 601 | 0 | 375 |3647 |-9.171238e+01 |-5.700000e+01 | 60.90%
1661.21/1661.56 c 1662s| 61400 | 57905 | 6320k| 102.9 | 56M| 94 | 248 | 400 | 761 | 400 | 601 | 0 | 375 |3647 |-9.170998e+01 |-5.700000e+01 | 60.89%
1665.02/1665.40 c 1665s| 61500 | 58005 | 6338k| 103.0 | 56M| 94 | 251 | 400 | 761 | 400 | 601 | 0 | 375 |3668 |-9.170838e+01 |-5.700000e+01 | 60.89%
1667.23/1667.59 c 1668s| 61600 | 58105 | 6348k| 103.0 | 56M| 94 | 244 | 400 | 761 | 400 | 601 | 0 | 375 |3668 |-9.170614e+01 |-5.700000e+01 | 60.89%
1669.53/1669.81 c 1670s| 61700 | 58205 | 6358k| 103.0 | 56M| 94 | 238 | 400 | 759 | 400 | 601 | 0 | 375 |3668 |-9.170326e+01 |-5.700000e+01 | 60.88%
1672.02/1672.37 c 1672s| 61800 | 58305 | 6368k| 103.0 | 56M| 94 | 233 | 400 | 757 | 400 | 601 | 0 | 375 |3678 |-9.170183e+01 |-5.700000e+01 | 60.88%
1674.82/1675.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.82/1675.10 c 1675s| 61900 | 58405 | 6377k| 102.9 | 56M| 94 | 257 | 400 | 756 | 400 | 601 | 0 | 375 |3692 |-9.170008e+01 |-5.700000e+01 | 60.88%
1676.72/1677.03 c 1677s| 62000 | 58505 | 6385k| 102.9 | 56M| 94 | 255 | 400 | 755 | 400 | 601 | 0 | 375 |3693 |-9.169722e+01 |-5.700000e+01 | 60.87%
1679.01/1679.31 c 1679s| 62100 | 58605 | 6393k| 102.9 | 56M| 94 | 253 | 400 | 755 | 400 | 601 | 0 | 375 |3695 |-9.169523e+01 |-5.700000e+01 | 60.87%
1681.42/1681.73 c 1682s| 62200 | 58705 | 6403k| 102.9 | 56M| 94 | 259 | 400 | 755 | 400 | 601 | 0 | 375 |3695 |-9.169299e+01 |-5.700000e+01 | 60.86%
1683.82/1684.12 c 1684s| 62300 | 58805 | 6414k| 102.9 | 56M| 94 | 250 | 400 | 754 | 400 | 601 | 0 | 375 |3695 |-9.169139e+01 |-5.700000e+01 | 60.86%
1685.71/1686.06 c 1686s| 62400 | 58905 | 6422k| 102.9 | 56M| 94 | 235 | 400 | 754 | 400 | 601 | 0 | 375 |3695 |-9.169032e+01 |-5.700000e+01 | 60.86%
1688.22/1688.57 c 1689s| 62500 | 59005 | 6433k| 102.9 | 56M| 94 | 252 | 400 | 769 | 400 | 601 | 0 | 390 |3695 |-9.168747e+01 |-5.700000e+01 | 60.86%
1690.21/1690.55 c 1691s| 62600 | 59105 | 6441k| 102.8 | 57M| 94 | 249 | 400 | 769 | 400 | 601 | 0 | 390 |3695 |-9.168624e+01 |-5.700000e+01 | 60.85%
1693.02/1693.35 c 1693s| 62700 | 59205 | 6456k| 102.9 | 57M| 94 | 248 | 400 | 769 | 400 | 601 | 0 | 390 |3695 |-9.168397e+01 |-5.700000e+01 | 60.85%
1695.41/1695.70 c 1696s| 62800 | 59305 | 6465k| 102.9 | 57M| 94 | 253 | 400 | 769 | 400 | 601 | 0 | 390 |3708 |-9.168275e+01 |-5.700000e+01 | 60.85%
1697.91/1698.22 c 1698s| 62900 | 59405 | 6474k| 102.9 | 57M| 94 | 244 | 400 | 769 | 400 | 601 | 0 | 390 |3718 |-9.168140e+01 |-5.700000e+01 | 60.84%
1700.22/1700.55 c 1701s| 63000 | 59505 | 6484k| 102.9 | 57M| 94 | 248 | 400 | 766 | 400 | 601 | 0 | 390 |3718 |-9.168027e+01 |-5.700000e+01 | 60.84%
1702.52/1702.81 c 1703s| 63100 | 59605 | 6492k| 102.8 | 57M| 94 | 237 | 400 | 765 | 400 | 601 | 0 | 390 |3727 |-9.167823e+01 |-5.700000e+01 | 60.84%
1704.91/1705.27 c 1705s| 63200 | 59705 | 6502k| 102.8 | 57M| 94 | 209 | 400 | 765 | 400 | 601 | 0 | 390 |3734 |-9.167738e+01 |-5.700000e+01 | 60.84%
1707.11/1707.40 c 1707s| 63300 | 59805 | 6510k| 102.8 | 57M| 94 | 245 | 400 | 765 | 400 | 601 | 0 | 390 |3741 |-9.167511e+01 |-5.700000e+01 | 60.83%
1709.71/1710.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.71/1710.05 c 1710s| 63400 | 59905 | 6522k| 102.8 | 57M| 94 | 249 | 400 | 763 | 400 | 601 | 0 | 390 |3744 |-9.167377e+01 |-5.700000e+01 | 60.83%
1712.61/1712.91 c 1713s| 63500 | 60005 | 6542k| 103.0 | 57M| 94 | 240 | 400 | 762 | 400 | 601 | 0 | 390 |3744 |-9.167131e+01 |-5.700000e+01 | 60.83%
1714.70/1715.04 c 1715s| 63600 | 60105 | 6550k| 102.9 | 57M| 94 | 248 | 400 | 761 | 400 | 601 | 0 | 390 |3744 |-9.166940e+01 |-5.700000e+01 | 60.82%
1716.90/1717.25 c 1717s| 63700 | 60205 | 6559k| 102.9 | 57M| 94 | 228 | 400 | 761 | 400 | 601 | 0 | 390 |3744 |-9.166763e+01 |-5.700000e+01 | 60.82%
1719.21/1719.54 c 1720s| 63800 | 60305 | 6568k| 102.9 | 57M| 94 | 247 | 400 | 759 | 400 | 601 | 0 | 390 |3744 |-9.166513e+01 |-5.700000e+01 | 60.82%
1721.30/1721.69 c 1722s| 63900 | 60405 | 6576k| 102.9 | 58M| 94 | 234 | 400 | 759 | 400 | 601 | 0 | 390 |3744 |-9.166186e+01 |-5.700000e+01 | 60.81%
1723.31/1723.70 c 1724s| 64000 | 60505 | 6585k| 102.8 | 58M| 94 | 221 | 400 | 758 | 400 | 601 | 0 | 390 |3745 |-9.165899e+01 |-5.700000e+01 | 60.81%
1727.01/1727.37 c 1727s| 64100 | 60605 | 6597k| 102.9 | 58M| 94 | 241 | 400 | 757 | 400 | 601 | 0 | 390 |3772 |-9.165718e+01 |-5.700000e+01 | 60.80%
1729.11/1729.47 c 1729s| 64200 | 60705 | 6605k| 102.8 | 58M| 94 | 252 | 400 | 757 | 400 | 601 | 0 | 390 |3772 |-9.165507e+01 |-5.700000e+01 | 60.80%
1731.51/1731.88 c 1732s| 64300 | 60805 | 6615k| 102.8 | 58M| 94 | 244 | 400 | 755 | 400 | 601 | 0 | 390 |3772 |-9.165338e+01 |-5.700000e+01 | 60.80%
1733.71/1734.02 c 1734s| 64400 | 60905 | 6624k| 102.8 | 58M| 94 | 244 | 400 | 766 | 400 | 601 | 0 | 401 |3776 |-9.165074e+01 |-5.700000e+01 | 60.79%
1736.10/1736.46 c 1736s| 64500 | 61005 | 6633k| 102.8 | 58M| 94 | 245 | 400 | 765 | 400 | 601 | 0 | 401 |3784 |-9.164914e+01 |-5.700000e+01 | 60.79%
1738.40/1738.79 c 1739s| 64600 | 61105 | 6644k| 102.8 | 58M| 94 | 241 | 400 | 765 | 400 | 601 | 0 | 401 |3787 |-9.164669e+01 |-5.700000e+01 | 60.78%
1740.80/1741.16 c 1741s| 64700 | 61205 | 6654k| 102.8 | 58M| 94 | 246 | 400 | 765 | 400 | 601 | 0 | 401 |3787 |-9.164444e+01 |-5.700000e+01 | 60.78%
1743.01/1743.34 c 1743s| 64800 | 61305 | 6663k| 102.8 | 58M| 94 | 257 | 400 | 765 | 400 | 601 | 0 | 401 |3787 |-9.164374e+01 |-5.700000e+01 | 60.78%
1745.20/1745.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.20/1745.50 c 1745s| 64900 | 61405 | 6671k| 102.7 | 58M| 94 | 252 | 400 | 765 | 400 | 601 | 0 | 401 |3787 |-9.164251e+01 |-5.700000e+01 | 60.78%
1748.20/1748.57 c 1749s| 65000 | 61505 | 6692k| 102.9 | 58M| 94 | 252 | 400 | 764 | 400 | 601 | 0 | 401 |3787 |-9.164034e+01 |-5.700000e+01 | 60.77%
1750.60/1750.92 c 1751s| 65100 | 61605 | 6701k| 102.9 | 59M| 94 | 224 | 400 | 763 | 400 | 601 | 0 | 401 |3787 |-9.163807e+01 |-5.700000e+01 | 60.77%
1752.40/1752.77 c 1753s| 65200 | 61705 | 6708k| 102.8 | 59M| 94 | 259 | 400 | 762 | 400 | 601 | 0 | 401 |3787 |-9.163677e+01 |-5.700000e+01 | 60.77%
1755.00/1755.32 c 1755s| 65300 | 61805 | 6718k| 102.8 | 59M| 94 | 243 | 400 | 761 | 400 | 601 | 0 | 401 |3801 |-9.163495e+01 |-5.700000e+01 | 60.76%
1757.30/1757.68 c 1758s| 65400 | 61905 | 6728k| 102.8 | 59M| 94 | 246 | 400 | 760 | 400 | 601 | 0 | 401 |3801 |-9.163292e+01 |-5.700000e+01 | 60.76%
1760.10/1760.45 c 1760s| 65500 | 62005 | 6738k| 102.8 | 59M| 94 | 256 | 400 | 760 | 400 | 601 | 0 | 401 |3812 |-9.163138e+01 |-5.700000e+01 | 60.76%
1762.40/1762.71 c 1763s| 65600 | 62105 | 6747k| 102.8 | 59M| 94 | 221 | 400 | 760 | 400 | 601 | 0 | 401 |3815 |-9.162879e+01 |-5.700000e+01 | 60.75%
1764.80/1765.14 c 1765s| 65700 | 62205 | 6756k| 102.8 | 59M| 94 | 238 | 400 | 759 | 400 | 601 | 0 | 401 |3824 |-9.162685e+01 |-5.700000e+01 | 60.75%
1766.90/1767.20 c 1767s| 65800 | 62305 | 6764k| 102.7 | 59M| 94 | 242 | 400 | 759 | 400 | 601 | 0 | 401 |3828 |-9.162563e+01 |-5.700000e+01 | 60.75%
1769.10/1769.49 c 1769s| 65900 | 62405 | 6772k| 102.7 | 59M| 94 | 234 | 400 | 759 | 400 | 601 | 0 | 401 |3829 |-9.162375e+01 |-5.700000e+01 | 60.74%
1771.39/1771.73 c 1772s| 66000 | 62505 | 6783k| 102.7 | 59M| 94 | 251 | 400 | 759 | 400 | 601 | 0 | 401 |3829 |-9.162007e+01 |-5.700000e+01 | 60.74%
1773.50/1773.89 c 1774s| 66100 | 62605 | 6792k| 102.7 | 59M| 94 | 258 | 400 | 773 | 400 | 601 | 0 | 415 |3829 |-9.161720e+01 |-5.700000e+01 | 60.73%
1776.00/1776.35 c 1776s| 66200 | 62705 | 6802k| 102.7 | 59M| 94 | 249 | 400 | 773 | 400 | 601 | 0 | 415 |3829 |-9.161479e+01 |-5.700000e+01 | 60.73%
1777.90/1778.29 c 1778s| 66300 | 62805 | 6810k| 102.6 | 60M| 94 | 251 | 400 | 772 | 400 | 601 | 0 | 415 |3829 |-9.161316e+01 |-5.700000e+01 | 60.72%
1780.40/1780.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.40/1780.71 c 1781s| 66400 | 62905 | 6820k| 102.6 | 60M| 94 | 221 | 400 | 772 | 400 | 601 | 0 | 415 |3829 |-9.161097e+01 |-5.700000e+01 | 60.72%
1782.10/1782.42 c 1782s| 66500 | 63005 | 6827k| 102.6 | 60M| 94 | 240 | 400 | 772 | 400 | 601 | 0 | 415 |3829 |-9.160818e+01 |-5.700000e+01 | 60.72%
1784.91/1785.23 c 1785s| 66600 | 63105 | 6837k| 102.6 | 60M| 94 | 237 | 400 | 772 | 400 | 601 | 0 | 415 |3841 |-9.160694e+01 |-5.700000e+01 | 60.71%
1788.39/1788.74 c 1789s| 66700 | 63205 | 6855k| 102.7 | 60M| 94 | 238 | 400 | 772 | 400 | 601 | 0 | 415 |3853 |-9.160506e+01 |-5.700000e+01 | 60.71%
1790.80/1791.11 c 1791s| 66800 | 63305 | 6865k| 102.7 | 60M| 94 | 260 | 400 | 772 | 400 | 601 | 0 | 415 |3853 |-9.160337e+01 |-5.700000e+01 | 60.71%
1792.79/1793.13 c 1793s| 66900 | 63405 | 6873k| 102.7 | 60M| 94 | 255 | 400 | 772 | 400 | 601 | 0 | 415 |3860 |-9.160207e+01 |-5.700000e+01 | 60.71%
1795.30/1795.65 c 1796s| 67000 | 63505 | 6883k| 102.7 | 60M| 94 | 241 | 400 | 771 | 400 | 601 | 0 | 415 |3867 |-9.160081e+01 |-5.700000e+01 | 60.70%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 67060
1796.69/1797.00 c Primal Bound : -5.70000000000000e+01 (472 solutions)
1796.69/1797.00 c Dual Bound : -9.16001978478371e+01
1796.69/1797.00 c Gap : 60.70 %
1796.69/1797.00 s SATISFIABLE
1796.69/1797.00 v -x337 -x254 -x326 x298 x375 x353 -x329 x311 -x351 -x391 -x235 -x400 -x393 -x398 -x312 -x293 -x336 -x331 -x259 x304 x366 -x349 x276
1796.69/1797.00 v x341 -x281 -x396 -x359 -x228 -x399 -x346 x255 -x244 x322 -x358 -x270 x219 -x314 -x266 x347 x371 x279 -x372 -x260 -x382 -x333
1796.69/1797.00 v -x216 -x277 -x243 -x269 -x324 -x320 -x267 x237 -x352 x387 -x310 -x335 -x214 -x261 -x356 -x263 -x274 -x385 -x381 -x265 x316
1796.69/1797.00 v x213 x253 x278 -x227 x357 -x290 x289 x288 -x285 x251 -x313 -x379 x294 -x210 -x272 -x241 -x378 -x249 -x209 x389 x286 -x250 -x234
1796.69/1797.00 v x224 x264 -x306 -x361 -x268 -x388 x334 -x383 x380 x330 -x271 -x247 -x301 -x239 -x291 -x362 -x354 -x258 -x256 x230 x211 -x308
1796.69/1797.00 v -x340 x392 -x232 -x394 -x206 -x397 x363 x309 -x297 -x282 -x238 x218 -x207 x296 x287 -x222 x368 -x348 -x390 -x370 -x292 -x246
1796.69/1797.00 v x217 -x248 -x344 x273 -x299 x343 -x332 -x245 x376 x377 x373 -x307 x295 x240 -x236 -x262 -x223 -x325 -x395 -x220 x300 -x203
1796.69/1797.00 v -x367 -x257 -x233 -x208 -x305 -x221 -x321 -x283 -x323 -x319 -x374 -x369 -x202 -x360 -x339 -x280 -x252 -x231 -x225 -x212 -x205
1796.69/1797.00 v -x318 -x350 -x342 -x303 -x215 -x204 -x365 -x315 -x355 x201 -x384 -x328 x317 -x242 -x345 -x386 x229 x226 x338 -x364 x327 x275
1796.69/1797.00 v -x284 -x302 -x200 x199 x198 x197 x196 x195 x194 x193 -x192 x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 x182 -x181
1796.69/1797.00 v -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 x169 -x168 x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159
1796.69/1797.00 v x158 -x157 -x156 -x155 -x154 -x153 x152 x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 x137
1796.69/1797.00 v -x136 x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 x121 x120 -x119 -x118 -x117 -x116 -x115
1796.69/1797.00 v -x114 x113 -x112 -x111 x110 -x109 x108 x107 x106 -x105 -x104 -x103 -x102 x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 x92
1796.69/1797.00 v x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66
1796.69/1797.00 v -x65 -x64 -x63 x62 -x61 -x60 x59 -x58 x57 x56 -x55 -x54 -x53 x52 -x51 x50 x49 x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39
1796.69/1797.00 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 x14 -x13
1796.69/1797.00 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 x2 -x1
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.00
1796.69/1797.00 c solving : 1797.00
1796.69/1797.00 c presolving : 0.08 (included in solving)
1796.69/1797.00 c reading : 0.01 (included in solving)
1796.69/1797.00 c copying : 0.07 (11 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3692582-1338037251.opb
1796.69/1797.00 c Variables : 2924 (400 binary, 0 integer, 2524 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 3525 initial, 3525 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3692582-1338037251.opb
1796.69/1797.00 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 601 initial, 785 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.00 0.00 2524 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoboolean : 0.01 0.00 0 0 0 0 0 3324 400 0 0
1796.69/1797.00 c root node : - - 0 - - 0 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 65315 0 478 0 0 5 0 0 130624
1796.69/1797.00 c knapsack : 400 400 1 625817 0 0 472 739 22 162694 0 0 0
1796.69/1797.00 c setppc : 200 200 1 561337 0 0 471 81 0 54176 0 0 0
1796.69/1797.00 c linear : 1 1 1 625794 0 0 471 2 293 0 0 0 0
1796.69/1797.00 c logicor : 0+ 184 0 67237 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c countsols : 0 0 0 0 0 0 476 0 0 0 0 0 0
1796.69/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.00 c integral : 132.79 0.00 0.00 0.00 132.79 0.00 0.00 0.00
1796.69/1797.00 c knapsack : 3.77 0.00 0.00 3.71 0.00 0.00 0.06 0.00
1796.69/1797.00 c setppc : 0.91 0.00 0.00 0.90 0.00 0.00 0.01 0.00
1796.69/1797.00 c linear : 0.65 0.00 0.00 0.64 0.00 0.00 0.00 0.00
1796.69/1797.00 c logicor : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00
1796.69/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.00 c rootredcost : 10 0 0 0
1796.69/1797.00 c pseudoobj : 691039 19 7 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 66505 0 0 11509
1796.69/1797.00 c probing : 0 0 0 0
1796.69/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.00 c rootredcost : 0.20 0.00 0.00 0.20 0.00
1796.69/1797.00 c pseudoobj : 0.60 0.00 0.00 0.60 0.00
1796.69/1797.00 c vbounds : 0.16 0.00 0.00 0.16 0.00
1796.69/1797.00 c redcost : 0.61 0.00 0.00 0.61 0.00
1796.69/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.00 c propagation : 0.01 22 8 276 178.1 0 0.0 -
1796.69/1797.00 c infeasible LP : 0.02 492 439 509 16.7 0 0.0 0
1796.69/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.00 c applied globally : - - - 407 3.0 - - -
1796.69/1797.00 c applied locally : - - - 8 118.5 - - -
1796.69/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.69/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c impliedbounds : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c gomory : 0.06 0.00 1 0 0 0 0
1796.69/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c strongcg : 0.05 0.00 1 0 0 0 0
1796.69/1797.00 c cmir : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c flowcover : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c rapidlearning : 1.11 0.00 1 0 0 0 0
1796.69/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.00 c problem variables: 0.00 - 0 0
1796.69/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c relpscost : 132.73 0.00 65315 0 5 0 0 130624
1796.69/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.00 c LP solutions : 0.00 - - 0
1796.69/1797.00 c pseudo solutions : 0.00 - - 0
1796.69/1797.00 c oneopt : 0.02 0.00 10 0
1796.69/1797.00 c crossover : 0.15 0.00 3 0
1796.69/1797.00 c linesearchdiving : 74.50 0.00 393 1
1796.69/1797.00 c fracdiving : 95.74 0.00 488 3
1796.69/1797.00 c coefdiving : 121.99 0.00 554 1
1796.69/1797.00 c smallcard : 0.00 0.00 0 0
1796.69/1797.00 c trivial : 0.00 0.00 2 1
1796.69/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.00 c simplerounding : 0.02 0.00 0 0
1796.69/1797.00 c zirounding : 4.34 0.00 0 0
1796.69/1797.00 c rounding : 53.54 0.00 22067 4
1796.69/1797.00 c shifting : 31.43 0.00 6535 404
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.04 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c feaspump : 0.58 0.00 1 0
1796.69/1797.00 c clique : 0.00 0.00 0 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c indrounding : 0.00 0.00 0 0
1796.69/1797.00 c pscostdiving : 120.83 0.00 533 1
1796.69/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.00 c veclendiving : 22.45 0.00 123 0
1796.69/1797.00 c intdiving : 0.00 0.00 0 0
1796.69/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.00 c objpscostdiving : 43.73 0.00 56 55
1796.69/1797.00 c rootsoldiving : 6.86 0.00 49 2
1796.69/1797.00 c guideddiving : 52.04 0.00 293 0
1796.69/1797.00 c octane : 0.00 0.00 0 0
1796.69/1797.00 c rens : 0.01 0.00 0 0
1796.69/1797.00 c rins : 0.00 0.00 0 0
1796.69/1797.00 c localbranching : 0.00 0.00 0 0
1796.69/1797.00 c mutation : 0.00 0.00 0 0
1796.69/1797.00 c dins : 0.00 0.00 0 0
1796.69/1797.00 c vbounds : 0.00 0.00 0 0
1796.69/1797.00 c undercover : 0.00 0.00 0 0
1796.69/1797.00 c subnlp : 0.02 0.00 0 0
1796.69/1797.00 c trysol : 0.03 0.00 0 0
1796.69/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.00 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c dual LP : 1022.34 68345 4571659 68.18 4471.76 0.79 1296
1796.69/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c diving/probing LP: 489.74 430302 2316783 5.38 4730.60
1796.69/1797.00 c strong branching : 128.61 3870 175795 45.43 1366.89
1796.69/1797.00 c (at root node) : - 23 8186 355.91 -
1796.69/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.00 c B&B Tree :
1796.69/1797.00 c number of runs : 1
1796.69/1797.00 c nodes : 67060
1796.69/1797.00 c nodes (total) : 67060
1796.69/1797.00 c nodes left : 63565
1796.69/1797.00 c max depth : 94
1796.69/1797.00 c max depth (total): 94
1796.69/1797.00 c backtracks : 7206 (10.7%)
1796.69/1797.00 c delayed cutoffs : 0
1796.69/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.00 c avg switch length: 5.01
1796.69/1797.00 c switching time : 1.99
1796.69/1797.00 c Solution :
1796.69/1797.00 c Solutions found : 472 (11 improvements)
1796.69/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.69/1797.00 c Primal Bound : -5.70000000000000e+01 (in run 1, after 938 nodes, 124.27 seconds, depth 202, found by <fracdiving>)
1796.69/1797.00 c Dual Bound : -9.16001978478371e+01
1796.69/1797.00 c Gap : 60.70 %
1796.69/1797.00 c Root Dual Bound : -1.00000000000000e+02
1796.69/1797.00 c Root Iterations : 4593
1796.79/1797.12 c Time complete: 1796.82.
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-3692582-1338037251/watcher-3692582-1338037251 -o /tmp/evaluation-result-3692582-1338037251/solver-3692582-1338037251 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692582-1338037251.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/177 30664
/proc/meminfo: memFree=28701716/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=13020 CPUtime=0 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 2010 0 0 0 0 0 0 0 20 0 1 0 269849203 13332480 1965 33554432000 4194304 10219143 140736071990240 140735185262488 8844210 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 3255 1965 436 1471 0 1775 0
[startup+0.025762 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30664
/proc/meminfo: memFree=28701716/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=23696 CPUtime=0.01 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 4665 0 0 0 1 0 0 0 20 0 1 0 269849203 24264704 4620 33554432000 4194304 10219143 140736071990240 140735185262488 7589947 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 5924 4620 492 1471 0 4444 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23696
[startup+0.100313 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30664
/proc/meminfo: memFree=28701716/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=29416 CPUtime=0.09 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 6194 0 0 0 6 3 0 0 20 0 1 0 269849203 30121984 5892 33554432000 4194304 10219143 140736071990240 140735185262488 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 7354 5892 597 1471 0 5874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29416
[startup+0.300246 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30664
/proc/meminfo: memFree=28701716/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=31464 CPUtime=0.28 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 6908 0 0 0 25 3 0 0 20 0 1 0 269849203 32219136 6601 33554432000 4194304 10219143 140736071990240 140736071983592 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 7866 6601 774 1471 0 6386 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31464
[startup+0.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30664
/proc/meminfo: memFree=28701716/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=32336 CPUtime=0.69 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 7339 0 0 0 65 4 0 0 20 0 1 0 269849203 33112064 6774 33554432000 4194304 10219143 140736071990240 140736071983496 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 8084 6774 774 1471 0 6604 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32336
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30665
/proc/meminfo: memFree=28664632/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=46656 CPUtime=1.49 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 10778 0 0 0 142 7 0 0 20 0 1 0 269849203 47775744 10186 33554432000 4194304 10219143 140736071990240 140736071984728 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 11664 10186 833 1471 0 10184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46656
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30665
/proc/meminfo: memFree=28676032/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=34008 CPUtime=3.09 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 12568 0 0 0 298 11 0 0 20 0 1 0 269849203 34824192 7316 33554432000 4194304 10219143 140736071990240 140736071983688 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 8502 7316 857 1471 0 7022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34008
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30665
/proc/meminfo: memFree=28675916/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=34160 CPUtime=6.28 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 12659 0 0 0 617 11 0 0 20 0 1 0 269849203 34979840 7407 33554432000 4194304 10219143 140736071990240 140736071983368 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 8540 7407 857 1471 0 7060 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34160
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30687
/proc/meminfo: memFree=28674180/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=34372 CPUtime=12.69 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 12718 0 0 0 1256 13 0 0 20 0 1 0 269849203 35196928 7466 33554432000 4194304 10219143 140736071990240 140736071983688 8100245 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 8593 7466 857 1471 0 7113 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34372
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30687
/proc/meminfo: memFree=28676132/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=34372 CPUtime=25.48 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 12718 0 0 0 2533 15 0 0 20 0 1 0 269849203 35196928 7466 33554432000 4194304 10219143 140736071990240 140736071983688 8099218 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 8593 7466 857 1471 0 7113 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34372
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30687
/proc/meminfo: memFree=28676896/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=34604 CPUtime=51.07 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 12783 0 0 0 5086 21 0 0 20 0 1 0 269849203 35434496 7543 33554432000 4194304 10219143 140736071990240 140736071983688 8100454 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 8651 7543 857 1471 0 7171 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34604
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28661096/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=34656 CPUtime=102.28 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 14773 0 0 0 10183 45 0 0 20 0 1 0 269849203 35487744 7745 33554432000 4194304 10219143 140736071990240 140736071983496 8098920 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 8664 7745 859 1471 0 7184 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 34656
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28633248/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=36124 CPUtime=162.26 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 22619 0 0 0 16148 78 0 0 20 0 1 0 269849203 36990976 8093 33554432000 4194304 10219143 140736071990240 140736071982680 6780689 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 9031 8093 867 1471 0 7551 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 36124
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30725
/proc/meminfo: memFree=28643556/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=38740 CPUtime=222.24 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 25638 0 0 0 22110 114 0 0 20 0 1 0 269849203 39669760 8753 33554432000 4194304 10219143 140736071990240 140736071983320 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 9685 8753 867 1471 0 8205 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 38740
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30726
/proc/meminfo: memFree=28646344/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=39732 CPUtime=282.24 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 27275 0 0 0 28066 158 0 0 20 0 1 0 269849203 40685568 9027 33554432000 4194304 10219143 140736071990240 140736071983176 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 9933 9027 867 1471 0 8453 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 39732
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30726
/proc/meminfo: memFree=28642976/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=41440 CPUtime=342.23 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 27679 0 0 0 34025 198 0 0 20 0 1 0 269849203 42434560 9431 33554432000 4194304 10219143 140736071990240 140736071986280 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 10360 9431 867 1471 0 8880 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 41440
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30726
/proc/meminfo: memFree=28620640/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=43248 CPUtime=402.22 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 29472 0 0 0 39984 238 0 0 20 0 1 0 269849203 44285952 9901 33554432000 4194304 10219143 140736071990240 140736071983176 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 10812 9901 867 1471 0 9332 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 43248
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30726
/proc/meminfo: memFree=28639560/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=44960 CPUtime=462.21 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 29888 0 0 0 45945 276 0 0 20 0 1 0 269849203 46039040 10317 33554432000 4194304 10219143 140736071990240 140736071982824 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 11240 10317 867 1471 0 9760 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 44960
[startup+522.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 30726
/proc/meminfo: memFree=28625168/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=47548 CPUtime=522.21 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 34056 0 0 0 51906 315 0 0 20 0 1 0 269849203 48689152 10978 33554432000 4194304 10219143 140736071990240 140736071986280 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 11887 10978 868 1471 0 10407 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 47548
[startup+582.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/178 30730
/proc/meminfo: memFree=28622040/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=50144 CPUtime=582.19 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 34700 0 0 0 57858 361 0 0 20 0 1 0 269849203 51347456 11622 33554432000 4194304 10219143 140736071990240 140736071983592 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 12536 11622 868 1471 0 11056 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 50144
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28606864/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=64404 CPUtime=1062.11 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 39546 0 0 0 105536 675 0 0 20 0 1 0 269849203 65949696 15171 33554432000 4194304 10219143 140736071990240 140736071983176 8098912 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 16101 15171 868 1471 0 14621 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 64404
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 30731
/proc/meminfo: memFree=28612384/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=67996 CPUtime=1122.11 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 40484 0 0 0 111493 718 0 0 20 0 1 0 269849203 69627904 16107 33554432000 4194304 10219143 140736071990240 140736071983160 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 16999 16107 868 1471 0 15519 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 67996
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 30735
/proc/meminfo: memFree=28615244/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=69200 CPUtime=1182.09 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 40749 0 0 0 117448 761 0 0 20 0 1 0 269849203 70860800 16372 33554432000 4194304 10219143 140736071990240 140736071982680 8099013 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 17300 16372 868 1471 0 15820 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 69200
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30735
/proc/meminfo: memFree=28608564/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=70416 CPUtime=1242.08 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 41067 0 0 0 123408 800 0 0 20 0 1 0 269849203 72105984 16690 33554432000 4194304 10219143 140736071990240 140736071983224 8100374 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 17604 16690 868 1471 0 16124 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 70416
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30735
/proc/meminfo: memFree=28600308/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=73052 CPUtime=1302.08 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 41718 0 0 0 129363 845 0 0 20 0 1 0 269849203 74805248 17366 33554432000 4194304 10219143 140736071990240 140736071983544 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 18263 17366 868 1471 0 16783 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 73052
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30735
/proc/meminfo: memFree=28622660/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=73768 CPUtime=1362.07 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 41890 0 0 0 135316 891 0 0 20 0 1 0 269849203 75538432 17538 33554432000 4194304 10219143 140736071990240 140736071983224 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 18442 17538 868 1471 0 16962 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 73768
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30735
/proc/meminfo: memFree=28606212/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=74992 CPUtime=1422.06 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 42241 0 0 0 141275 931 0 0 20 0 1 0 269849203 76791808 17888 33554432000 4194304 10219143 140736071990240 140736071982840 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 18748 17888 868 1471 0 17268 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 74992
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30736
/proc/meminfo: memFree=28596152/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=77792 CPUtime=1482.05 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 44269 0 0 0 147235 970 0 0 20 0 1 0 269849203 79659008 18559 33554432000 4194304 10219143 140736071990240 140736071983880 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 19448 18559 868 1471 0 17968 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 77792
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30736
/proc/meminfo: memFree=28592124/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=80440 CPUtime=1542.04 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 44951 0 0 0 153196 1008 0 0 20 0 1 0 269849203 82370560 19241 33554432000 4194304 10219143 140736071990240 140736071986168 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 20110 19241 868 1471 0 18630 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 80440
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30738
/proc/meminfo: memFree=28609304/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=82444 CPUtime=1602.03 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 45464 0 0 0 159153 1050 0 0 20 0 1 0 269849203 84422656 19752 33554432000 4194304 10219143 140736071990240 140736071983496 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 20611 19752 868 1471 0 19131 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 82444
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30738
/proc/meminfo: memFree=28588832/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=86532 CPUtime=1662.01 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 46474 0 0 0 165114 1087 0 0 20 0 1 0 269849203 88608768 20762 33554432000 4194304 10219143 140736071990240 140736071983544 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 21633 20762 868 1471 0 20153 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 86532
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30738
/proc/meminfo: memFree=28599820/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=86948 CPUtime=1722.01 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 46615 0 0 0 171072 1129 0 0 20 0 1 0 269849203 89034752 20903 33554432000 4194304 10219143 140736071990240 140736071983544 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 21737 20903 868 1471 0 20257 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 86948
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 30742
/proc/meminfo: memFree=28601260/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=90592 CPUtime=1782 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 47506 0 0 0 177030 1170 0 0 20 0 1 0 269849203 92766208 21791 33554432000 4194304 10219143 140736071990240 140736071983224 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 22648 21791 868 1471 0 21168 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 90592
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 30742
/proc/meminfo: memFree=28595056/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=91328 CPUtime=1785.2 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 47687 0 0 0 177348 1172 0 0 20 0 1 0 269849203 93519872 21972 33554432000 4194304 10219143 140736071990240 140736071983496 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 22832 21972 868 1471 0 21352 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 91328
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 30742
/proc/meminfo: memFree=28582956/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=91328 CPUtime=1791.6 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 47687 0 0 0 177984 1176 0 0 20 0 1 0 269849203 93519872 21972 33554432000 4194304 10219143 140736071990240 140736071983496 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 22832 21972 868 1471 0 21352 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 91328
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 30742
/proc/meminfo: memFree=28600764/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=91328 CPUtime=1794.8 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 47698 0 0 0 178301 1179 0 0 20 0 1 0 269849203 93519872 21983 33554432000 4194304 10219143 140736071990240 140736071983544 8098912 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 22832 21983 868 1471 0 21352 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 91328
[startup+1795.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 30742
/proc/meminfo: memFree=28600764/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=91328 CPUtime=1795.6 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 47700 0 0 0 178380 1180 0 0 20 0 1 0 269849203 93519872 21985 33554432000 4194304 10219143 140736071990240 140736071983176 8676064 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 22832 21985 868 1471 0 21352 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 91328
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 30742
/proc/meminfo: memFree=28600640/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=91328 CPUtime=1796.39 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 47701 0 0 0 178459 1180 0 0 20 0 1 0 269849203 93519872 21986 33554432000 4194304 10219143 140736071990240 140736071983176 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 22832 21986 868 1471 0 21352 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 91328
[startup+1797.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 30742
/proc/meminfo: memFree=28600640/32873648 swapFree=7360/7360
[pid=30664] ppid=30662 vsize=91328 CPUtime=1796.79 cores=1,3,5,7
/proc/30664/stat : 30664 (scip-2.1.1.4exp) R 30662 30664 28235 0 -1 4202496 47703 0 0 0 178499 1180 0 0 20 0 1 0 269849203 93519872 21988 33554432000 4194304 10219143 140736071990240 140736071982824 5952127 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30664/statm: 22832 21988 870 1471 0 21352 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 91328
Child status: 0
Real time (s): 1797.12
CPU time (s): 1796.83
CPU user time (s): 1785.02
CPU system time (s): 11.8112
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 91328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.02
system time used= 11.8112
maximum resident set size= 87952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47705
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= 28
involuntary context switches= 4445
runsolver used 2.74558 second user time and 7.08792 second system time
The end