0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2667105-1276359244.opb>
0.09/0.14 c original problem has 1372 variables (1372 bin, 0 int, 0 impl, 0 cont) and 4944 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.09/0.17 o 1372
0.09/0.17 c feasible solution found by trivial heuristic, objective value 1.372000e+03
0.09/0.17 c presolving:
0.20/0.20 c (round 1) 156 del vars, 156 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.20/0.21 c (round 2) 190 del vars, 270 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.20/0.22 c (round 3) 193 del vars, 273 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.20/0.22 c (round 4) 194 del vars, 277 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.20/0.29 c (round 5) 196 del vars, 277 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 4667 upgd conss, 570 impls, 0 clqs
0.30/0.33 c (0.1s) probing: 101/1176 (8.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.33 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.30/0.33 c presolving (6 rounds):
0.30/0.33 c 196 deleted vars, 277 deleted constraints, 117 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.30/0.33 c 570 implications, 0 cliques
0.30/0.33 c presolved problem has 1176 variables (1176 bin, 0 int, 0 impl, 0 cont) and 4667 constraints
0.30/0.33 c 4667 constraints of type <logicor>
0.30/0.33 c transformed objective value is always integral (scale: 1)
0.30/0.33 c Presolving Time: 0.13
0.30/0.33 c - non default parameters ----------------------------------------------------------------------
0.30/0.33 c # SCIP version 1.2.1.2
0.30/0.33 c
0.30/0.33 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.30/0.33 c # [type: int, range: [-1,2147483647], default: -1]
0.30/0.33 c conflict/interconss = 0
0.30/0.33 c
0.30/0.33 c # should binary conflicts be preferred?
0.30/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.33 c conflict/preferbinary = TRUE
0.30/0.33 c
0.30/0.33 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.30/0.33 c # [type: int, range: [-1,2147483647], default: 0]
0.30/0.33 c constraints/agelimit = 1
0.30/0.33 c
0.30/0.33 c # should enforcement of pseudo solution be disabled?
0.30/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.33 c constraints/disableenfops = TRUE
0.30/0.33 c
0.30/0.33 c # frequency for displaying node information lines
0.30/0.33 c # [type: int, range: [-1,2147483647], default: 100]
0.30/0.33 c display/freq = 10000
0.30/0.33 c
0.30/0.33 c # maximal time in seconds to run
0.30/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.33 c limits/time = 1799.87
0.30/0.33 c
0.30/0.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.33 c limits/memory = 1620
0.30/0.33 c
0.30/0.33 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.30/0.33 c # [type: int, range: [-1,2147483647], default: 1]
0.30/0.33 c lp/solvefreq = 0
0.30/0.33 c
0.30/0.33 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.30/0.33 c # [type: char, range: {lafpsqd}, default: l]
0.30/0.33 c lp/pricing = a
0.30/0.33 c
0.30/0.33 c # should presolving try to simplify inequalities
0.30/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.33 c constraints/linear/simplifyinequalities = TRUE
0.30/0.33 c
0.30/0.33 c # should presolving try to simplify knapsacks
0.30/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.33 c constraints/knapsack/simplifyinequalities = TRUE
0.30/0.33 c
0.30/0.33 c # priority of node selection rule <dfs> in standard mode
0.30/0.33 c # [type: int, range: [-536870912,536870911], default: 0]
0.30/0.33 c nodeselection/dfs/stdpriority = 1000000
0.30/0.33 c
0.30/0.33 c -----------------------------------------------------------------------------------------------
0.30/0.33 c start solving
0.30/0.33 c
0.30/0.33 o 1331
0.30/0.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.30/0.33 c t 0.1s| 1 | 0 | 0 | - |6298k| 0 | - |1176 |4667 | 0 | 0 | 0 | 0 | 0 | -- | 1.331000e+03 | Inf
0.30/0.37 o 480
0.30/0.37 c b 0.2s| 1 | 0 | 0 | - |9556k| 0 | - |1176 |4667 |1176 |4667 | 0 | 0 | 0 | -- | 4.800000e+02 | Inf
5.69/5.73 c 5.5s| 1 | 0 | 4872 | - |9539k| 0 | 561 |1176 |4667 |1176 |4667 | 0 | 0 | 0 | 4.038465e+02 | 4.800000e+02 | 18.86%
9.28/9.36 c 9.1s| 1 | 0 | 5745 | - | 17M| 0 | 533 |1176 |4667 |1176 |4678 | 11 | 0 | 0 | 4.058090e+02 | 4.800000e+02 | 18.28%
12.99/13.03 c 12.7s| 1 | 0 | 6627 | - | 26M| 0 | 520 |1176 |4667 |1176 |4686 | 19 | 0 | 0 | 4.066280e+02 | 4.800000e+02 | 18.04%
16.19/16.23 c 15.9s| 1 | 0 | 7214 | - | 34M| 0 | 508 |1176 |4667 |1176 |4690 | 23 | 0 | 0 | 4.073448e+02 | 4.800000e+02 | 17.84%
19.70/19.74 c 19.4s| 1 | 0 | 7771 | - | 41M| 0 | 518 |1176 |4667 |1176 |4692 | 25 | 0 | 0 | 4.075862e+02 | 4.800000e+02 | 17.77%
22.99/23.02 c 22.6s| 1 | 0 | 8372 | - | 49M| 0 | 537 |1176 |4667 |1176 |4694 | 27 | 0 | 0 | 4.078685e+02 | 4.800000e+02 | 17.68%
26.19/26.23 c 25.8s| 1 | 0 | 8603 | - | 57M| 0 | 513 |1176 |4667 |1176 |4695 | 28 | 0 | 0 | 4.078842e+02 | 4.800000e+02 | 17.68%
29.18/29.24 c 28.8s| 1 | 0 | 9043 | - | 64M| 0 | 525 |1176 |4667 |1176 |4696 | 29 | 0 | 0 | 4.079179e+02 | 4.800000e+02 | 17.67%
33.08/33.11 c 32.6s| 1 | 0 | 9499 | - | 72M| 0 | 530 |1176 |4667 |1176 |4698 | 31 | 0 | 0 | 4.080008e+02 | 4.800000e+02 | 17.65%
36.68/36.75 c 36.2s| 1 | 0 | 9841 | - | 80M| 0 | 526 |1176 |4667 |1176 |4699 | 32 | 0 | 0 | 4.080240e+02 | 4.800000e+02 | 17.64%
40.27/40.33 c 39.8s| 1 | 0 | 10147 | - | 88M| 0 | 527 |1176 |4667 |1176 |4700 | 33 | 0 | 0 | 4.080353e+02 | 4.800000e+02 | 17.64%
44.47/44.51 c 44.0s| 1 | 0 | 10440 | - | 96M| 0 | 517 |1176 |4667 |1176 |4699 | 34 | 0 | 0 | 4.080452e+02 | 4.800000e+02 | 17.63%
99.46/99.50 c 98.3s| 1 | 2 | 10440 | - | 96M| 0 | 517 |1176 |4667 |1176 |4699 | 34 | 0 | 35 | 4.080452e+02 | 4.800000e+02 | 17.63%
103.45/103.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.45/103.57 c 102s| 10000 | 695 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 |2407 | 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
108.16/108.25 c 107s| 20000 | 685 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 |5375 | 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
112.17/112.27 c 111s| 30000 | 684 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 |7643 | 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
115.95/116.02 c 114s| 40000 | 682 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 |9630 | 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
119.86/119.98 c 118s| 50000 | 682 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 11k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
123.66/123.79 c 122s| 60000 | 679 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 13k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
127.75/127.86 c 126s| 70000 | 681 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 16k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
132.05/132.14 c 130s| 80000 | 684 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 18k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
136.26/136.31 c 134s| 90000 | 684 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 21k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
139.85/139.93 c 137s|100000 | 676 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 23k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
143.65/143.74 c 141s|110000 | 678 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 25k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
147.15/147.28 c 144s|120000 | 676 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 26k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
150.94/151.05 c 148s|130000 | 680 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 28k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
154.45/154.52 c 151s|140000 | 679 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 30k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
158.25/158.37 c 155s|150000 | 679 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 32k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
161.84/161.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.84/161.93 c 158s|160000 | 675 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 34k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
165.45/165.55 c 162s|170000 | 677 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 36k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
169.15/169.23 c 165s|180000 | 676 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 38k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
173.15/173.20 c 169s|190000 | 674 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 40k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
176.74/176.86 c 172s|200000 | 677 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 42k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
180.35/180.43 c 176s|210000 | 676 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 43k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
184.14/184.25 c 180s|220000 | 675 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 45k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
188.24/188.30 c 183s|230000 | 674 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 48k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
191.64/191.78 c 187s|240000 | 675 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 49k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
195.34/195.42 c 190s|250000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 51k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
199.23/199.34 c 194s|260000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 53k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
203.23/203.35 c 198s|270000 | 676 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 55k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
207.03/207.11 c 202s|280000 | 676 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 57k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
210.53/210.70 c 205s|290000 | 674 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 59k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
214.04/214.11 c 208s|300000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 61k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
217.53/217.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.53/217.64 c 212s|310000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 63k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
220.94/221.06 c 215s|320000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 64k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
224.33/224.41 c 218s|330000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 66k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
227.92/228.04 c 222s|340000 | 675 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 68k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
231.93/232.10 c 226s|350000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 70k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
235.82/235.90 c 229s|360000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 72k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
239.73/239.87 c 233s|370000 | 674 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 74k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
243.52/243.62 c 237s|380000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 76k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
247.22/247.37 c 240s|390000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 78k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
250.73/250.89 c 244s|400000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 79k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
255.13/255.20 c 248s|410000 | 675 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 82k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
259.12/259.29 c 252s|420000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 84k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
262.83/262.96 c 255s|430000 | 674 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 86k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
266.72/266.85 c 259s|440000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 88k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
270.82/270.90 c 263s|450000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 90k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
274.61/274.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.61/274.75 c 266s|460000 | 675 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 92k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
278.02/278.18 c 270s|470000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 94k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
281.82/281.93 c 273s|480000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 96k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
285.21/285.30 c 276s|490000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 98k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
288.51/288.66 c 280s|500000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 99k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
292.21/292.32 c 283s|510000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 101k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
295.91/296.04 c 287s|520000 | 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 103k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
299.81/299.96 c 291s|530000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 105k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
303.42/303.53 c 294s|540000 | 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 107k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
307.10/307.20 c 297s|550000 | 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 109k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
310.51/310.66 c 301s|560000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 110k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
314.30/314.49 c 304s|570000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 112k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
317.81/317.98 c 308s|580000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 114k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
321.21/321.30 c 311s|590000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 116k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
324.70/324.81 c 314s|600000 | 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 117k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
328.00/328.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.00/328.18 c 318s|610000 | 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 119k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
331.91/332.01 c 321s|620000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 121k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
335.70/335.86 c 325s|630000 | 674 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 123k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
339.60/339.73 c 329s|640000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 125k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
343.50/343.69 c 332s|650000 | 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 127k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
347.30/347.46 c 336s|660000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 129k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
351.00/351.11 c 340s|670000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 131k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
354.49/354.65 c 343s|680000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 133k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
358.30/358.41 c 347s|690000 | 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 135k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
362.00/362.16 c 350s|700000 | 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 137k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
365.89/366.03 c 354s|710000 | 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 139k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
369.69/369.89 c 358s|720000 | 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 141k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
373.39/373.58 c 361s|730000 | 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 143k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
376.69/376.85 c 364s|740000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 144k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
380.39/380.50 c 368s|750000 | 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 146k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
384.49/384.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.49/384.60 c 372s|760000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 148k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
388.39/388.54 c 376s|770000 | 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 150k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
392.29/392.43 c 379s|780000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 152k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
396.08/396.27 c 383s|790000 | 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 154k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
399.59/399.76 c 386s|800000 | 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 156k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
403.38/403.58 c 390s|810000 | 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 158k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
406.68/406.87 c 393s|820000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 160k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
410.28/410.43 c 396s|830000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 161k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
413.78/413.92 c 400s|840000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 163k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
417.08/417.28 c 403s|850000 | 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 165k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
420.48/420.67 c 406s|860000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 166k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
423.97/424.14 c 410s|870000 | 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 168k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
427.58/427.73 c 413s|880000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 170k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
431.08/431.22 c 416s|890000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 172k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
434.48/434.68 c 420s|900000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 173k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
438.47/438.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.47/438.61 c 424s|910000 | 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 175k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
441.87/442.04 c 427s|920000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 177k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
445.38/445.52 c 430s|930000 | 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 179k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
448.98/449.10 c 434s|940000 | 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 181k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
452.37/452.50 c 437s|950000 | 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 182k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
455.97/456.19 c 440s|960000 | 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 184k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
459.26/459.49 c 444s|970000 | 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 186k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
462.97/463.18 c 447s|980000 | 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 188k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
466.37/466.55 c 450s|990000 | 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 189k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
469.77/469.98 c 454s| 1000k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 191k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
473.26/473.45 c 457s| 1010k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 193k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
477.27/477.47 c 461s| 1020k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 195k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
481.67/481.84 c 465s| 1030k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 197k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
485.76/485.97 c 469s| 1040k| 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 200k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
490.07/490.20 c 473s| 1050k| 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 202k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
494.66/494.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.66/494.82 c 477s| 1060k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 205k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
498.76/498.99 c 481s| 1070k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 207k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
502.75/502.92 c 485s| 1080k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 209k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
506.55/506.71 c 489s| 1090k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 211k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
510.46/510.66 c 493s| 1100k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 213k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
514.35/514.54 c 496s| 1110k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 215k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
518.35/518.51 c 500s| 1120k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 217k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
521.86/522.04 c 504s| 1130k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 219k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
525.66/525.87 c 507s| 1140k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 221k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
529.55/529.75 c 511s| 1150k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 223k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
533.05/533.28 c 514s| 1160k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 225k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
536.75/536.98 c 518s| 1170k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 227k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
540.55/540.75 c 521s| 1180k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 229k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
544.45/544.65 c 525s| 1190k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 231k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
548.34/548.58 c 529s| 1200k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 233k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
551.75/551.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.75/551.95 c 532s| 1210k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 235k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
555.15/555.38 c 536s| 1220k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 236k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
558.55/558.76 c 539s| 1230k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 238k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
562.74/562.95 c 543s| 1240k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 240k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
566.35/566.58 c 546s| 1250k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 242k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
570.25/570.43 c 550s| 1260k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 244k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
574.24/574.42 c 554s| 1270k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 246k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
578.14/578.31 c 557s| 1280k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 248k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
582.04/582.30 c 561s| 1290k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 250k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
586.34/586.50 c 565s| 1300k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 253k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
590.63/590.80 c 569s| 1310k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 255k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
594.94/595.16 c 574s| 1320k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 258k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
599.03/599.24 c 578s| 1330k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 260k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
603.43/603.63 c 582s| 1340k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 262k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
607.43/607.67 c 586s| 1350k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 264k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
611.34/611.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.34/611.57 c 589s| 1360k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 266k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
615.03/615.29 c 593s| 1370k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 268k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
619.03/619.20 c 597s| 1380k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 271k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
622.82/623.04 c 600s| 1390k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 273k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
626.63/626.86 c 604s| 1400k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 275k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
630.03/630.30 c 607s| 1410k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 276k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
633.43/633.69 c 611s| 1420k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 278k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
637.83/638.01 c 615s| 1430k| 672 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 280k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
641.82/642.06 c 619s| 1440k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 283k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
646.02/646.21 c 623s| 1450k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 285k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
649.83/650.08 c 626s| 1460k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 287k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
653.43/653.63 c 630s| 1470k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 289k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
657.02/657.21 c 633s| 1480k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 291k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
660.92/661.14 c 637s| 1490k| 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 293k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
664.12/664.38 c 640s| 1500k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 294k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
667.31/667.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.31/667.52 c 643s| 1510k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 295k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
670.91/671.13 c 646s| 1520k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 297k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
674.22/674.45 c 650s| 1530k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 298k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
677.52/677.79 c 653s| 1540k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 300k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
680.91/681.15 c 656s| 1550k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 301k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
684.21/684.48 c 659s| 1560k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 302k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
687.62/687.89 c 662s| 1570k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 304k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
691.01/691.29 c 666s| 1580k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 305k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
694.51/694.75 c 669s| 1590k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 307k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
697.81/698.00 c 672s| 1600k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 308k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
701.11/701.30 c 675s| 1610k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 310k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
704.41/704.60 c 678s| 1620k| 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 311k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
707.71/707.92 c 682s| 1630k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 313k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
711.01/711.21 c 685s| 1640k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 314k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
714.30/714.56 c 688s| 1650k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 315k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
717.41/717.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.41/717.68 c 691s| 1660k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 317k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
720.80/721.07 c 694s| 1670k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 318k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
724.31/724.58 c 698s| 1680k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 320k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
727.71/727.94 c 701s| 1690k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 321k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
730.90/731.19 c 704s| 1700k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 323k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
734.20/734.49 c 707s| 1710k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 324k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
737.60/737.86 c 710s| 1720k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 326k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
740.90/741.10 c 713s| 1730k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 327k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
744.41/744.64 c 717s| 1740k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 329k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
747.80/748.07 c 720s| 1750k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 330k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
751.01/751.28 c 723s| 1760k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 332k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
754.50/754.73 c 726s| 1770k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 333k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
758.09/758.30 c 730s| 1780k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 335k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
761.39/761.69 c 733s| 1790k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 336k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
764.69/764.94 c 736s| 1800k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 338k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
767.99/768.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.99/768.24 c 739s| 1810k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 339k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
771.49/771.75 c 743s| 1820k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 341k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
774.89/775.15 c 746s| 1830k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 342k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
778.50/778.78 c 749s| 1840k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 344k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
782.09/782.34 c 753s| 1850k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 346k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
785.39/785.65 c 756s| 1860k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 347k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
788.79/789.04 c 759s| 1870k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 349k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
792.19/792.41 c 762s| 1880k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 350k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
795.78/796.01 c 766s| 1890k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 352k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
799.18/799.47 c 769s| 1900k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 353k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
802.58/802.81 c 772s| 1910k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 355k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
805.99/806.27 c 776s| 1920k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 356k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
809.29/809.55 c 779s| 1930k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 358k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
812.59/812.84 c 782s| 1940k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 359k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
816.08/816.33 c 785s| 1950k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 361k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
819.57/819.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.57/819.80 c 789s| 1960k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 363k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
822.98/823.22 c 792s| 1970k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 364k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
826.48/826.76 c 795s| 1980k| 660 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 366k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
830.08/830.31 c 799s| 1990k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 367k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
833.38/833.60 c 802s| 2000k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 369k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
836.57/836.89 c 805s| 2010k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 370k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
840.28/840.52 c 808s| 2020k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 372k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
843.48/843.76 c 812s| 2030k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 373k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
846.98/847.23 c 815s| 2040k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 375k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
850.67/850.90 c 818s| 2050k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 377k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
854.17/854.42 c 822s| 2060k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 378k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
857.68/857.95 c 825s| 2070k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 380k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
860.97/861.29 c 828s| 2080k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 381k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
864.28/864.59 c 831s| 2090k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 383k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
867.57/867.87 c 835s| 2100k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 384k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
871.17/871.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.17/871.40 c 838s| 2110k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 386k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
874.57/874.89 c 841s| 2120k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 387k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
878.16/878.45 c 845s| 2130k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 389k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
881.36/881.63 c 848s| 2140k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 390k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
884.66/884.92 c 851s| 2150k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 392k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
888.17/888.43 c 854s| 2160k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 393k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
891.36/891.64 c 857s| 2170k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 395k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
894.76/895.03 c 860s| 2180k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 396k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
898.06/898.39 c 864s| 2190k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 398k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
901.55/901.82 c 867s| 2200k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 399k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
904.75/905.10 c 870s| 2210k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 401k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
907.86/908.18 c 873s| 2220k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 402k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
911.15/911.45 c 876s| 2230k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 404k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
914.45/914.71 c 879s| 2240k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 405k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
917.75/918.02 c 882s| 2250k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 406k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
921.05/921.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.05/921.31 c 886s| 2260k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 408k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
924.05/924.30 c 888s| 2270k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 409k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
927.46/927.71 c 892s| 2280k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 411k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
930.75/931.02 c 895s| 2290k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 412k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
934.15/934.49 c 898s| 2300k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 414k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
937.65/937.92 c 901s| 2310k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 415k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
940.85/941.11 c 904s| 2320k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 416k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
943.84/944.11 c 907s| 2330k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 418k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
947.04/947.37 c 910s| 2340k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 419k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
950.24/950.53 c 913s| 2350k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 420k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
953.46/953.73 c 917s| 2360k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 422k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
956.44/956.78 c 919s| 2370k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 423k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
959.54/959.88 c 922s| 2380k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 424k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
963.35/963.64 c 926s| 2390k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 426k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
966.65/966.99 c 929s| 2400k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 427k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
970.34/970.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.34/970.63 c 933s| 2410k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 429k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
973.74/974.04 c 936s| 2420k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 431k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
977.14/977.47 c 939s| 2430k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 432k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
980.43/980.77 c 942s| 2440k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 434k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
983.84/984.15 c 946s| 2450k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 435k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
987.14/987.41 c 949s| 2460k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 437k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
990.34/990.61 c 952s| 2470k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 438k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
993.63/993.98 c 955s| 2480k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 439k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
997.03/997.33 c 958s| 2490k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 441k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1000.33/1000.67 c 961s| 2500k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 442k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1003.54/1003.88 c 964s| 2510k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 444k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1007.03/1007.34 c 968s| 2520k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 445k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1010.43/1010.76 c 971s| 2530k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 447k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1013.84/1014.17 c 974s| 2540k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 448k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1017.14/1017.46 c 977s| 2550k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 450k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1020.43/1020.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.43/1020.72 c 981s| 2560k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 451k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1023.62/1023.99 c 984s| 2570k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 453k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1027.03/1027.30 c 987s| 2580k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 454k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1030.23/1030.51 c 990s| 2590k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 455k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1033.63/1033.90 c 993s| 2600k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 457k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1036.82/1037.10 c 996s| 2610k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 458k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1039.93/1040.27 c 999s| 2620k| 659 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 460k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1043.12/1043.47 c 1002s| 2630k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 461k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1046.33/1046.65 c 1005s| 2640k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 462k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1049.52/1049.80 c 1008s| 2650k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 464k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1052.62/1052.93 c 1011s| 2660k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 465k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1055.82/1056.14 c 1014s| 2670k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 466k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1059.42/1059.71 c 1018s| 2680k| 673 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 468k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1062.72/1063.06 c 1021s| 2690k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 470k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1066.02/1066.31 c 1024s| 2700k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 471k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1069.42/1069.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.42/1069.78 c 1027s| 2710k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 473k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1072.91/1073.29 c 1031s| 2720k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 474k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1076.32/1076.67 c 1034s| 2730k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 476k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1079.82/1080.12 c 1037s| 2740k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 477k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1083.31/1083.69 c 1041s| 2750k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 479k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1086.61/1086.98 c 1044s| 2760k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 480k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1090.01/1090.34 c 1047s| 2770k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 482k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1093.41/1093.76 c 1050s| 2780k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 484k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1097.10/1097.41 c 1054s| 2790k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 485k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1100.51/1100.86 c 1057s| 2800k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 487k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1104.02/1104.30 c 1060s| 2810k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 488k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1107.51/1107.83 c 1064s| 2820k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 490k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1111.21/1111.55 c 1067s| 2830k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 492k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1114.20/1114.59 c 1070s| 2840k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 493k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1117.71/1118.07 c 1074s| 2850k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 495k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1120.70/1121.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.70/1121.05 c 1076s| 2860k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 496k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1123.91/1124.28 c 1079s| 2870k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 497k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1127.30/1127.66 c 1083s| 2880k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 499k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1130.60/1131.00 c 1086s| 2890k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 500k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1134.20/1134.53 c 1089s| 2900k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 502k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1137.70/1138.03 c 1093s| 2910k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 503k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1140.99/1141.33 c 1096s| 2920k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 505k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1144.60/1144.96 c 1099s| 2930k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 507k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1147.90/1148.25 c 1102s| 2940k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 508k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1151.41/1151.71 c 1106s| 2950k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 510k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1154.60/1154.98 c 1109s| 2960k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 511k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1158.09/1158.41 c 1112s| 2970k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 513k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1161.59/1161.92 c 1116s| 2980k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 514k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1164.99/1165.35 c 1119s| 2990k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 516k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1168.79/1169.15 c 1122s| 3000k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 517k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1171.89/1172.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.89/1172.23 c 1125s| 3010k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 519k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1174.99/1175.31 c 1128s| 3020k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 520k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1178.29/1178.65 c 1132s| 3030k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 522k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1181.59/1181.91 c 1135s| 3040k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 523k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1184.89/1185.27 c 1138s| 3050k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 524k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1188.19/1188.57 c 1141s| 3060k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 526k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1191.78/1192.16 c 1144s| 3070k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 528k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1195.29/1195.62 c 1148s| 3080k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 529k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1198.88/1199.25 c 1151s| 3090k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 531k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1201.99/1202.37 c 1154s| 3100k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 532k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1205.48/1205.81 c 1157s| 3110k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 534k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1208.98/1209.35 c 1161s| 3120k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 535k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1212.58/1212.90 c 1164s| 3130k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 537k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1215.78/1216.17 c 1167s| 3140k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 539k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1219.18/1219.52 c 1171s| 3150k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 540k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1222.58/1222.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.58/1222.92 c 1174s| 3160k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 542k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1225.87/1226.28 c 1177s| 3170k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 543k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1229.38/1229.76 c 1180s| 3180k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 545k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1232.68/1233.03 c 1183s| 3190k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 546k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1235.77/1236.16 c 1186s| 3200k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 548k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1239.18/1239.59 c 1190s| 3210k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 549k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1242.37/1242.79 c 1193s| 3220k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 550k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1245.77/1246.16 c 1196s| 3230k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 552k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1249.28/1249.70 c 1199s| 3240k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 554k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1252.97/1253.32 c 1203s| 3250k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 555k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1256.37/1256.77 c 1206s| 3260k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 557k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1259.77/1260.16 c 1209s| 3270k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 558k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1263.37/1263.73 c 1213s| 3280k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 560k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1266.67/1267.08 c 1216s| 3290k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 562k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1270.07/1270.49 c 1219s| 3300k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 563k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1273.67/1274.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.67/1274.02 c 1223s| 3310k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 565k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1277.17/1277.57 c 1226s| 3320k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 566k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1280.66/1281.07 c 1229s| 3330k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 568k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1284.07/1284.44 c 1233s| 3340k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 570k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1287.36/1287.79 c 1236s| 3350k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 571k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1290.97/1291.31 c 1239s| 3360k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 573k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1294.56/1294.95 c 1243s| 3370k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 574k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1298.45/1298.87 c 1246s| 3380k| 676 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 576k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1301.86/1302.23 c 1250s| 3390k| 675 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 578k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1305.37/1305.73 c 1253s| 3400k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 579k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1308.86/1309.24 c 1256s| 3410k| 670 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 581k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1312.36/1312.72 c 1260s| 3420k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 583k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1315.95/1316.31 c 1263s| 3430k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 584k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1319.45/1319.86 c 1266s| 3440k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 586k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1322.86/1323.30 c 1270s| 3450k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 588k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1326.46/1326.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.46/1326.83 c 1273s| 3460k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 589k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1330.05/1330.45 c 1276s| 3470k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 591k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1333.65/1334.09 c 1280s| 3480k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 593k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1337.25/1337.62 c 1283s| 3490k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 594k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1340.65/1341.08 c 1287s| 3500k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 596k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1344.24/1344.66 c 1290s| 3510k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 598k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1347.95/1348.30 c 1294s| 3520k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 599k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1351.45/1351.84 c 1297s| 3530k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 601k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1354.94/1355.32 c 1300s| 3540k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 603k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1358.24/1358.67 c 1304s| 3550k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 604k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1361.74/1362.10 c 1307s| 3560k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 606k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1365.24/1365.63 c 1310s| 3570k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 607k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1368.74/1369.18 c 1314s| 3580k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 609k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1372.24/1372.63 c 1317s| 3590k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 611k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1375.65/1376.05 c 1320s| 3600k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 612k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1378.94/1379.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.94/1379.37 c 1323s| 3610k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 614k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1382.34/1382.73 c 1326s| 3620k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 615k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1385.54/1385.90 c 1329s| 3630k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 617k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1388.94/1389.31 c 1333s| 3640k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 618k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1392.14/1392.53 c 1336s| 3650k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 620k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1395.44/1395.88 c 1339s| 3660k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 621k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1398.93/1399.32 c 1342s| 3670k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 623k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1402.33/1402.75 c 1346s| 3680k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 624k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1405.73/1406.12 c 1349s| 3690k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 626k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1409.23/1409.63 c 1352s| 3700k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 627k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1412.43/1412.85 c 1355s| 3710k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 629k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1415.73/1416.17 c 1358s| 3720k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 630k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1419.23/1419.68 c 1362s| 3730k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 632k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1422.83/1423.23 c 1365s| 3740k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 634k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1426.02/1426.47 c 1368s| 3750k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 635k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1429.42/1429.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.42/1429.86 c 1372s| 3760k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 637k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1432.93/1433.31 c 1375s| 3770k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 638k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1436.23/1436.67 c 1378s| 3780k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 640k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1439.72/1440.12 c 1381s| 3790k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 641k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1443.13/1443.59 c 1385s| 3800k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 643k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1446.53/1446.93 c 1388s| 3810k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 644k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1450.02/1450.46 c 1391s| 3820k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 646k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1453.52/1453.93 c 1395s| 3830k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 647k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1456.92/1457.34 c 1398s| 3840k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 649k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1460.42/1460.82 c 1401s| 3850k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 651k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1463.92/1464.31 c 1404s| 3860k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 652k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1467.42/1467.88 c 1408s| 3870k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 654k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1470.92/1471.34 c 1411s| 3880k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 656k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1474.42/1474.84 c 1414s| 3890k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 657k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1478.02/1478.40 c 1418s| 3900k| 660 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 659k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1481.52/1481.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.52/1481.93 c 1421s| 3910k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 660k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1485.01/1485.47 c 1425s| 3920k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 662k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1488.41/1488.84 c 1428s| 3930k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 664k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1491.80/1492.28 c 1431s| 3940k| 671 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 665k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1495.31/1495.79 c 1435s| 3950k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 667k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1498.81/1499.26 c 1438s| 3960k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 668k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1502.21/1502.65 c 1441s| 3970k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 670k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1505.70/1506.19 c 1445s| 3980k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 672k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1509.20/1509.62 c 1448s| 3990k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 673k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1512.11/1512.59 c 1451s| 4000k| 659 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 674k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1515.71/1516.16 c 1454s| 4010k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 676k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1519.00/1519.41 c 1457s| 4020k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 678k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1522.40/1522.80 c 1460s| 4030k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 679k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1525.60/1526.09 c 1464s| 4040k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 681k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1528.90/1529.33 c 1467s| 4050k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 682k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1532.50/1532.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.50/1532.96 c 1470s| 4060k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 684k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1535.90/1536.33 c 1473s| 4070k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 685k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1539.40/1539.87 c 1477s| 4080k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 687k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1542.59/1543.04 c 1480s| 4090k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 688k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1545.90/1546.38 c 1483s| 4100k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 690k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1549.51/1549.96 c 1486s| 4110k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 691k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1552.80/1553.28 c 1489s| 4120k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 693k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1556.00/1556.49 c 1493s| 4130k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 694k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1559.19/1559.62 c 1496s| 4140k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 695k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1562.70/1563.15 c 1499s| 4150k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 697k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1565.79/1566.26 c 1502s| 4160k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 698k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1569.20/1569.65 c 1505s| 4170k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 700k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1572.59/1573.05 c 1508s| 4180k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 702k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1576.09/1576.51 c 1512s| 4190k| 659 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 703k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1579.29/1579.73 c 1515s| 4200k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 704k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1582.39/1582.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.39/1582.88 c 1518s| 4210k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 706k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1585.89/1586.37 c 1521s| 4220k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 707k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1589.09/1589.59 c 1524s| 4230k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 709k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1592.39/1592.89 c 1527s| 4240k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 710k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1595.70/1596.18 c 1530s| 4250k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 712k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1599.18/1599.66 c 1534s| 4260k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 713k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1602.48/1602.94 c 1537s| 4270k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 715k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1605.98/1606.42 c 1540s| 4280k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 716k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1609.28/1609.72 c 1543s| 4290k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 718k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1612.78/1613.25 c 1547s| 4300k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 719k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1615.98/1616.46 c 1550s| 4310k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 721k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1619.38/1619.88 c 1553s| 4320k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 722k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1622.68/1623.18 c 1556s| 4330k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 724k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1626.17/1626.67 c 1559s| 4340k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 725k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1629.58/1630.04 c 1563s| 4350k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 727k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1632.67/1633.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.67/1633.16 c 1566s| 4360k| 669 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 728k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1636.17/1636.66 c 1569s| 4370k| 660 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 730k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1639.58/1640.09 c 1572s| 4380k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 731k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1642.98/1643.47 c 1575s| 4390k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 733k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1646.37/1646.84 c 1579s| 4400k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 734k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1649.67/1650.18 c 1582s| 4410k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 736k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1652.97/1653.45 c 1585s| 4420k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 737k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1656.36/1656.88 c 1588s| 4430k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 739k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1659.97/1660.46 c 1592s| 4440k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 740k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1663.57/1664.03 c 1595s| 4450k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 742k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1667.17/1667.66 c 1599s| 4460k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 744k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1670.56/1671.09 c 1602s| 4470k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 745k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1673.87/1674.34 c 1605s| 4480k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 747k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1677.27/1677.74 c 1608s| 4490k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 748k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1680.76/1681.28 c 1612s| 4500k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 750k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1684.26/1684.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.26/1684.73 c 1615s| 4510k| 658 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 751k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1687.56/1688.02 c 1618s| 4520k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 753k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1690.66/1691.10 c 1621s| 4530k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 754k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1693.86/1694.37 c 1624s| 4540k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 756k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1696.96/1697.43 c 1627s| 4550k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 757k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1700.16/1700.64 c 1630s| 4560k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 758k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1703.16/1703.61 c 1633s| 4570k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 759k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1706.26/1706.74 c 1636s| 4580k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 761k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1709.55/1710.01 c 1639s| 4590k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 762k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1712.85/1713.31 c 1642s| 4600k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 763k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1716.35/1716.83 c 1646s| 4610k| 667 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 765k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1719.45/1719.95 c 1649s| 4620k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 766k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1722.95/1723.45 c 1652s| 4630k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 768k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1726.55/1727.01 c 1655s| 4640k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 769k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1729.95/1730.43 c 1659s| 4650k| 668 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 771k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1733.55/1734.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.55/1734.00 c 1662s| 4660k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 773k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1737.56/1738.04 c 1666s| 4670k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 775k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1741.35/1741.83 c 1669s| 4680k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 777k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1744.95/1745.47 c 1673s| 4690k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 779k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1748.65/1749.14 c 1676s| 4700k| 662 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 781k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1752.54/1753.04 c 1680s| 4710k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 783k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1756.84/1757.35 c 1684s| 4720k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 785k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1760.94/1761.42 c 1688s| 4730k| 663 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 787k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1764.95/1765.44 c 1692s| 4740k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 790k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1769.45/1769.90 c 1696s| 4750k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 792k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1773.54/1774.07 c 1700s| 4760k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 794k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1777.64/1778.12 c 1704s| 4770k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 797k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1781.94/1782.42 c 1708s| 4780k| 661 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 799k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1785.53/1786.03 c 1712s| 4790k| 665 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 801k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1789.03/1789.55 c 1715s| 4800k| 664 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 803k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1792.93/1793.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.93/1793.42 c 1719s| 4810k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 805k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1796.33/1796.88 c 1722s| 4820k| 666 | 10440 | 0.0 | 96M| 733 | - |1176 |4667 | 0 | 0 | 34 | 806k| 35 | 4.080864e+02 | 4.800000e+02 | 17.62%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1725.85
1800.04/1800.50 c Solving Nodes : 4829471
1800.04/1800.50 c Primal Bound : +4.80000000000000e+02 (18 solutions)
1800.04/1800.50 c Dual Bound : +4.08086378033612e+02
1800.04/1800.50 c Gap : 17.62 %
1800.04/1800.51 s SATISFIABLE
1800.04/1800.51 v -x416 -x415 x414 x412 -x411 x410 x409 x408 x407 -x406 -x405 -x404 -x403 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 x392
1800.04/1800.51 v x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x368
1800.04/1800.51 v -x367 -x366 -x365 -x364 x363 -x362 -x361 x360 x359 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 x349 -x348 -x346 -x345 -x344
1800.04/1800.51 v -x343 -x342 x341 -x340 -x339 x338 -x337 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x323 -x322 -x321 -x320
1800.04/1800.51 v -x319 -x318 -x317 -x316 -x315 -x314 -x312 -x311 x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x301 -x300 -x299 -x298 -x297
1800.04/1800.51 v -x296 -x295 -x294 -x293 -x292 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x279 -x278 -x277 -x276 x275 -x274
1800.04/1800.51 v -x273 -x272 -x271 -x270 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 x259 -x257 x256 x255 -x254 x253 -x252 x251 -x250
1800.04/1800.51 v -x249 x248 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.04/1800.51 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x201
1800.04/1800.51 v -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x190 -x189 x188 -x187 x186 x185 x184 -x183 -x182 -x181 -x179 -x178 -x177
1800.04/1800.51 v -x176 -x175 -x174 x173 -x172 -x171 -x170 -x168 x167 -x166 x165 x164 -x163 -x162 x161 -x160 -x159 -x157 -x156 x155 x154 -x153
1800.04/1800.51 v -x152 x151 x150 x149 -x148 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x135 -x134 -x133 -x132 -x131 -x130
1800.04/1800.51 v -x129 -x128 -x127 -x126 -x124 x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105
1800.04/1800.51 v -x104 x103 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x90 x89 -x88 -x87 -x86 x85 x84 -x83 -x82 -x81 -x79 -x78 -x77
1800.04/1800.51 v -x76 x75 -x74 -x73 -x72 -x71 -x70 -x68 -x67 x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x57 x56 -x55 -x54 -x53 x52 -x51 -x50 -x49
1800.04/1800.51 v -x48 x46 -x45 -x44 -x43 -x42 x41 x40 x39 x38 -x37 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x24 -x23 -x22 -x21 -x20
1800.04/1800.51 v -x19 x18 x17 x16 -x15 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 x4 -x1372 x1371 -x1370 x1369 x1368 x1367 -x1366 -x1365 -x1364 -x1363
1800.04/1800.51 v -x1361 -x1360 -x1359 x1358 x1357 -x1356 x1355 -x1354 -x1353 -x1352 x1350 -x1349 -x1348 x1347 -x1346 x1345 -x1344 x1343 -x1342
1800.04/1800.51 v -x1341 -x1339 -x1338 x1337 -x1336 -x1335 -x1334 -x1333 x1332 -x1331 x1330 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 x1322
1800.04/1800.51 v -x1321 -x1320 -x1319 -x1317 -x1316 -x1315 x1314 -x1313 -x1312 -x1311 x1310 -x1309 -x1308 x1306 -x1305 x1304 -x1303 x1302 -x1301
1800.04/1800.51 v x1300 -x1299 -x1298 x1297 -x1295 -x1294 -x1293 -x1292 x1291 x1290 -x1289 -x1288 -x1287 -x1286 -x1284 -x1283 -x1282 x1281
1800.04/1800.51 v -x1280 x1279 -x1278 -x1277 -x1276 -x1275 -x1273 -x1272 x1271 -x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264 -x1261 -x1260
1800.04/1800.51 v x1259 -x1258 -x1257 x1256 -x1255 -x1254 -x1253 -x1252 x1250 -x1249 -x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1239
1800.04/1800.51 v x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1228 -x1227 -x1226 x1225 -x1224 x1223 x1222 -x1221 -x1220
1800.04/1800.51 v -x1219 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200
1800.04/1800.51 v -x1199 -x1198 -x1197 -x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1184 -x1183 -x1182 -x1181 x1180 -x1179
1800.04/1800.51 v -x1178 -x1177 -x1176 x1175 -x1173 x1172 -x1171 -x1170 -x1169 x1168 x1167 -x1166 x1165 -x1164 -x1162 -x1161 -x1160 -x1159
1800.04/1800.51 v x1158 x1157 -x1156 -x1155 -x1154 -x1153 x1150 -x1149 x1148 x1147 -x1146 -x1145 x1144 x1143 x1142 -x1141 x1139 -x1138 x1137
1800.04/1800.51 v -x1136 -x1135 -x1134 x1133 x1132 -x1131 x1130 x1128 x1127 -x1126 x1125 x1124 x1123 -x1122 x1121 -x1120 x1119 -x1117 x1116 x1115
1800.04/1800.51 v x1114 x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1106 x1105 -x1104 x1103 x1102 -x1101 x1100 -x1099 -x1098 x1097 -x1095 x1094
1800.04/1800.51 v x1093 x1092 x1091 -x1090 -x1089 x1088 -x1087 x1086 x1084 -x1083 -x1082 x1081 x1080 -x1079 -x1078 -x1077 -x1076 x1075 x1073
1800.04/1800.51 v x1072 x1071 -x1070 x1069 -x1068 x1067 x1066 x1065 -x1064 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 x1056 x1055 x1054 x1053 -x1051
1800.04/1800.51 v -x1050 -x1049 x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1039 -x1038 x1037 -x1036 -x1035 x1034 x1033 -x1032 -x1031
1800.04/1800.51 v -x1030 x1028 -x1027 x1026 -x1025 x1024 x1023 -x1022 -x1021 x1020 -x1019 -x1017 x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010
1800.04/1800.51 v -x1009 x1008 x1006 -x1005 x1004 x1003 x1002 -x1001 x1000 x999 -x998 -x997 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987
1800.04/1800.51 v x986 -x984 x983 x982 x981 -x980 -x979 -x978 -x977 x976 -x975 x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x962
1800.04/1800.51 v -x961 -x960 -x959 -x958 x957 -x956 -x955 x954 -x953 -x951 -x950 -x949 -x948 x947 -x946 -x945 x944 x943 -x942 -x940 -x939 -x938
1800.04/1800.51 v -x937 -x936 x935 x934 x933 -x932 x931 -x928 -x927 x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x917 x916 -x915 -x914 x913
1800.04/1800.51 v x912 -x911 -x910 -x909 -x908 x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 x898 -x897 -x895 x894 x893 x892 -x891 x890 -x889
1800.04/1800.51 v -x888 x887 x886 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 x873 x872 x871 -x870 -x869 -x868 -x867 -x866 -x865
1800.04/1800.51 v x864 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x851 -x850 -x849 x848 -x847 -x846 x845 -x844 x843 x842 x840
1800.04/1800.51 v x839 -x838 x837 -x836 x835 -x834 -x833 -x832 -x831 -x829 -x828 -x827 -x826 x825 -x824 x823 -x822 x821 -x820 -x817 -x816 x815
1800.04/1800.51 v -x814 -x813 -x812 -x811 x810 -x809 x808 -x806 x805 x804 -x803 -x802 -x801 x800 -x799 x798 -x797 x795 -x794 x793 x792 -x791
1800.04/1800.51 v -x790 -x789 -x788 -x787 x786 -x784 x783 -x782 -x781 -x780 -x779 x778 x777 x776 -x775 x773 x772 -x771 -x770 -x769 x768 x767
1800.04/1800.51 v x766 x765 x764 -x762 -x761 -x760 x759 -x758 -x757 -x756 x755 x754 -x753 -x751 x750 x749 -x748 -x747 x746 -x745 x744 -x743 -x742
1800.04/1800.51 v -x740 x739 -x738 x737 x736 -x735 -x734 -x733 -x732 -x731 -x729 -x728 x727 -x726 -x725 -x724 x723 x722 -x721 -x720 -x718 x717
1800.04/1800.51 v x716 -x715 x714 x713 -x712 x711 -x710 x709 x706 -x705 x704 x703 x702 -x701 -x700 -x699 x698 x697 x695 -x694 -x693 -x692 -x691
1800.04/1800.51 v x690 x689 x688 x687 -x686 -x684 -x683 x682 x681 x680 x679 x678 -x677 -x676 x675 -x673 -x672 x671 -x670 -x669 -x668 -x667
1800.04/1800.51 v x666 x665 -x664 x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 x651 -x650 x649 -x648 -x647 x646 x645 -x644 x643 -x642
1800.04/1800.51 v -x640 x639 -x638 x637 -x636 -x635 x634 -x633 -x632 x631 x629 -x628 -x627 x626 -x625 -x624 x623 x622 -x621 x620 -x618 x617
1800.04/1800.51 v x616 x615 x614 x613 x612 x611 x610 x609 -x607 x606 x605 x604 x603 -x602 -x601 x600 -x599 -x598 x595 -x594 -x593 -x592 -x591 -x590
1800.04/1800.51 v x589 x588 -x587 x586 x584 -x583 x582 x581 x580 -x579 x578 -x577 x576 -x575 x573 -x572 -x571 -x570 -x569 -x568 -x567 x566
1800.04/1800.51 v x565 -x564 x562 -x561 x560 -x559 -x558 x557 x556 -x555 x554 x553 x551 x550 -x549 -x548 -x547 -x546 x545 x544 -x543 x542 x540
1800.04/1800.51 v -x539 x538 -x537 -x536 -x535 x534 -x533 x532 -x531 -x529 x528 -x527 -x526 -x525 x524 -x523 x522 -x521 -x520 x518 -x517 x516
1800.04/1800.51 v x515 -x514 -x513 -x512 -x511 -x510 -x509 -x507 x506 -x505 -x504 x503 -x502 -x501 x500 -x499 x498 -x496 -x495 -x494 -x493 -x492
1800.04/1800.51 v x491 x490 x489 x488 -x487 -x484 -x483 -x482 -x481 x480 -x479 x478 -x477 -x476 x475 -x473 -x472 -x471 -x470 -x469 x468 x467
1800.04/1800.51 v x466 -x465 x464 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x451 x450 -x449 x448 x447 x446 x445 -x444 x443 -x442
1800.04/1800.51 v x440 x439 x438 -x437 x436 -x435 -x434 x433 -x432 x431 -x429 -x428 x427 -x426 x425 -x424 x423 x422 x421 -x420 -x418 x417 -x413
1800.04/1800.51 v x402 -x391 -x380 -x369 x358 x347 x336 -x324 x313 -x302 x291 -x280 x269 x258 -x247 x236 x225 x213 x202 -x191 x180 -x169 -x158
1800.04/1800.51 v x147 x136 x125 x114 -x102 x91 -x80 -x69 -x58 x47 x36 x25 x14 -x3 x1362 x1351 -x1340 x1329 -x1318 x1307 -x1296 x1285 -x1274
1800.04/1800.51 v x1263 x1251 x1240 x1229 x1218 x1207 x1196 -x1185 -x1174 -x1163 x1152 -x1140 -x1129 -x1118 x1107 -x1096 -x1085 -x1074 x1063 x1052
1800.04/1800.51 v x1041 -x1029 x1018 -x1007 -x996 x985 -x974 x963 -x952 x941 -x930 -x918 x907 -x896 x885 x874 -x863 x852 x841 x830 -x819 x807
1800.04/1800.51 v -x796 -x785 -x774 x763 -x752 x741 -x730 x719 x708 -x696 x685 x674 x663 x652 -x641 x630 x619 -x608 -x597 x585 -x574 x563 -x552
1800.04/1800.51 v -x541 x530 x519 x508 -x497 -x486 -x474 -x463 x452 -x441 -x430 -x419 x335 x224 -x113 -x2 x1262 x1151 x1040 x929 -x818 x707
1800.04/1800.51 v x596 x485 -x1
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time : 1725.85
1800.04/1800.51 c Original Problem :
1800.04/1800.51 c Problem name : HOME/instance-2667105-1276359244.opb
1800.04/1800.51 c Variables : 1372 (1372 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 4944 initial, 4944 maximal
1800.04/1800.51 c Presolved Problem :
1800.04/1800.51 c Problem name : t_HOME/instance-2667105-1276359244.opb
1800.04/1800.51 c Variables : 1176 (1176 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 4667 initial, 4667 maximal
1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.51 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.51 c dualfix : 0.00 37 0 0 0 0 0 0 0
1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.51 c linear : 0.05 117 42 0 117 0 277 0 0
1800.04/1800.51 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.51 c root node : - 0 - - 0 - - - -
1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.51 c logicor : 4667+ 12 6195566 0 0 809591 6846158 0 0 0
1800.04/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.51 c integral : 32.43 0.00 0.00 32.43 0.00
1800.04/1800.51 c logicor : 657.46 0.01 657.45 0.00 0.00
1800.04/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.51 c vbounds : 4.84 2 0 0
1800.04/1800.51 c rootredcost : 4.40 0 0 0
1800.04/1800.51 c pseudoobj : 590.07 9544340 1685769 34353091
1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.51 c propagation : 597.41 808863 808863 808863 286.6 83 291.4 -
1800.04/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c pseudo solution : 15.14 43479 0 0 0.0 0 0.0 -
1800.04/1800.51 c applied globally : - - - 0 0.0 - - -
1800.04/1800.51 c applied locally : - - - 808863 286.6 - - -
1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.51 c cut pool : 0.15 11 - - 8 - (maximal pool size: 4464)
1800.04/1800.51 c redcost : 0.01 12 0 0 0 0
1800.04/1800.51 c impliedbounds : 0.00 12 0 0 0 0
1800.04/1800.51 c intobj : 0.00 0 0 0 0 0
1800.04/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.51 c gomory : 25.35 12 0 0 294 0
1800.04/1800.51 c strongcg : 6.78 12 0 0 5500 0
1800.04/1800.51 c cmir : 0.32 10 0 0 0 0
1800.04/1800.51 c flowcover : 0.38 10 0 0 0 0
1800.04/1800.51 c clique : 0.00 12 0 0 10 0
1800.04/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.51 c mcf : 0.01 1 0 0 0 0
1800.04/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.51 c Pricers : Time Calls Vars
1800.04/1800.51 c problem variables: 0.00 0 0
1800.04/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c relpscost : 32.43 1 0 0 0 0 2
1800.04/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.51 c inference : 116.21 2641186 0 0 0 0 5282372
1800.04/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c random : 0.00 0 0 0 0 0 0
1800.04/1800.51 c Primal Heuristics : Time Calls Found
1800.04/1800.51 c LP solutions : 0.00 - 0
1800.04/1800.51 c pseudo solutions : 0.00 - 0
1800.04/1800.51 c crossover : 0.00 0 0
1800.04/1800.51 c oneopt : 2.79 2 1
1800.04/1800.51 c trivial : 0.01 2 3
1800.04/1800.51 c simplerounding : 0.01 12 12
1800.04/1800.51 c zirounding : 0.00 1 1
1800.04/1800.51 c rounding : 0.16 12 0
1800.04/1800.51 c shifting : 0.21 12 0
1800.04/1800.51 c intshifting : 0.00 0 0
1800.04/1800.51 c twoopt : 0.00 0 0
1800.04/1800.51 c fixandinfer : 0.00 0 0
1800.04/1800.51 c feaspump : 0.00 0 0
1800.04/1800.51 c coefdiving : 0.00 0 0
1800.04/1800.51 c pscostdiving : 0.00 0 0
1800.04/1800.51 c fracdiving : 0.00 0 0
1800.04/1800.51 c veclendiving : 0.00 0 0
1800.04/1800.51 c intdiving : 0.00 0 0
1800.04/1800.51 c actconsdiving : 0.00 0 0
1800.04/1800.51 c objpscostdiving : 0.00 0 0
1800.04/1800.51 c rootsoldiving : 0.00 0 0
1800.04/1800.51 c linesearchdiving : 0.00 0 0
1800.04/1800.51 c guideddiving : 0.00 0 0
1800.04/1800.51 c octane : 0.00 0 0
1800.04/1800.51 c rens : 20.89 1 1
1800.04/1800.51 c rins : 0.00 0 0
1800.04/1800.51 c localbranching : 0.00 0 0
1800.04/1800.51 c mutation : 0.00 0 0
1800.04/1800.51 c dins : 0.00 0 0
1800.04/1800.51 c undercover : 0.00 0 0
1800.04/1800.51 c nlp : 2.80 0 0
1800.04/1800.51 c trysol : 2.10 0 0
1800.04/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.51 c primal LP : 0.02 0 0 0.00 0.00
1800.04/1800.51 c dual LP : 11.31 12 10440 870.00 923.08
1800.04/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.51 c strong branching : 32.43 35 27331 780.89 842.77
1800.04/1800.51 c (at root node) : - 35 27331 780.89 -
1800.04/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.51 c B&B Tree :
1800.04/1800.51 c number of runs : 1
1800.04/1800.51 c nodes : 4829471
1800.04/1800.51 c nodes (total) : 4829471
1800.04/1800.51 c nodes left : 664
1800.04/1800.51 c max depth : 733
1800.04/1800.51 c max depth (total): 733
1800.04/1800.51 c backtracks : 1472353 (30.5%)
1800.04/1800.51 c delayed cutoffs : 452240
1800.04/1800.51 c repropagations : 637549 (7367362 domain reductions, 350555 cutoffs)
1800.04/1800.51 c avg switch length: 2.05
1800.04/1800.51 c switching time : 76.66
1800.04/1800.51 c Solution :
1800.04/1800.51 c Solutions found : 18 (3 improvements)
1800.04/1800.51 c First Solution : +1.37200000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.51 c Primal Bound : +4.80000000000000e+02 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <oneopt>)
1800.04/1800.51 c Dual Bound : +4.08086378033612e+02
1800.04/1800.51 c Gap : 17.62 %
1800.04/1800.51 c Root Dual Bound : +4.08045171789327e+02
1800.04/1800.51 c Root Iterations : 10440
1800.04/1800.57 c Time complete: 1800.09.