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-2667540-1276452610.opb>
0.09/0.16 c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.19/0.20 c presolving:
0.29/0.35 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7298 upgd conss, 51462 impls, 0 clqs
0.29/0.38 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7493 upgd conss, 51462 impls, 0 clqs
0.39/0.48 c (0.3s) probing: 101/774 (13.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.48 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.48 c presolving (3 rounds):
0.39/0.48 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.48 c 51462 implications, 0 cliques
0.39/0.48 c presolved problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
0.39/0.48 c 7493 constraints of type <logicor>
0.39/0.48 c transformed objective value is always integral (scale: 1)
0.39/0.48 c Presolving Time: 0.25
0.39/0.48 c - non default parameters ----------------------------------------------------------------------
0.39/0.48 c # SCIP version 1.2.1.2
0.39/0.48 c
0.39/0.48 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48 c conflict/interconss = 0
0.39/0.48 c
0.39/0.48 c # should binary conflicts be preferred?
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c conflict/preferbinary = TRUE
0.39/0.48 c
0.39/0.48 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48 c constraints/agelimit = 1
0.39/0.48 c
0.39/0.48 c # should enforcement of pseudo solution be disabled?
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/disableenfops = TRUE
0.39/0.48 c
0.39/0.48 c # frequency for displaying node information lines
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.48 c display/freq = 10000
0.39/0.48 c
0.39/0.48 c # maximal time in seconds to run
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48 c limits/time = 1799.84
0.39/0.48 c
0.39/0.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48 c limits/memory = 1620
0.39/0.48 c
0.39/0.48 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c lp/solvefreq = 0
0.39/0.48 c
0.39/0.48 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.39/0.48 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.48 c lp/pricing = a
0.39/0.48 c
0.39/0.48 c # should presolving try to simplify inequalities
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/linear/simplifyinequalities = TRUE
0.39/0.48 c
0.39/0.48 c # should presolving try to simplify knapsacks
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.48 c
0.39/0.48 c # priority of node selection rule <dfs> in standard mode
0.39/0.48 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.48 c nodeselection/dfs/stdpriority = 1000000
0.39/0.48 c
0.39/0.48 c -----------------------------------------------------------------------------------------------
0.39/0.48 c start solving
0.39/0.48 c
1.19/1.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.25 c 1.0s| 1 | 0 | 1627 | - | 13M| 0 | 709 | 774 |7493 | 774 |7493 | 0 | 0 | 0 | 2.630938e+02 | -- | Inf
14.09/14.11 c 13.7s| 1 | 0 | 9023 | - | 13M| 0 | 613 | 774 |7493 | 774 |7496 | 3 | 0 | 0 | 2.631875e+02 | -- | Inf
15.19/15.27 c 14.8s| 1 | 0 | 9686 | - | 13M| 0 | 708 | 774 |7493 | 774 |7499 | 6 | 0 | 0 | 2.634100e+02 | -- | Inf
16.08/16.18 c 15.7s| 1 | 0 | 10056 | - | 13M| 0 | 697 | 774 |7493 | 774 |7502 | 9 | 0 | 0 | 2.634970e+02 | -- | Inf
17.19/17.20 c 16.7s| 1 | 0 | 10527 | - | 14M| 0 | 667 | 774 |7493 | 774 |7505 | 12 | 0 | 0 | 2.635187e+02 | -- | Inf
17.98/18.04 c 17.5s| 1 | 0 | 10673 | - | 14M| 0 | 674 | 774 |7493 | 774 |7506 | 13 | 0 | 0 | 2.635255e+02 | -- | Inf
18.89/18.92 c 18.4s| 1 | 0 | 10842 | - | 14M| 0 | 683 | 774 |7493 | 774 |7507 | 14 | 0 | 0 | 2.635284e+02 | -- | Inf
19.70/19.71 c 19.1s| 1 | 0 | 10989 | - | 14M| 0 | 683 | 774 |7493 | 774 |7508 | 15 | 0 | 0 | 2.635300e+02 | -- | Inf
30.18/30.23 c 29.5s| 1 | 2 | 10989 | - | 14M| 0 | 683 | 774 |7493 | 774 |7508 | 15 | 0 | 17 | 2.635300e+02 | -- | Inf
30.89/30.97 o 377
30.89/30.97 c *30.2s| 389 | 21 | 10989 | 0.0 | 14M| 35 | - | 774 |7499 | 0 | 0 | 15 | 223 | 17 | 2.635737e+02 | 3.770000e+02 | 43.03%
31.59/31.63 o 372
31.59/31.63 c *30.8s| 1949 | 25 | 10989 | 0.0 | 14M| 39 | - | 774 |7500 | 0 | 0 | 15 | 648 | 17 | 2.635737e+02 | 3.720000e+02 | 41.14%
31.59/31.63 o 371
31.59/31.63 c *30.8s| 1952 | 24 | 10989 | 0.0 | 14M| 39 | - | 774 |7500 | 0 | 0 | 15 | 648 | 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
35.48/35.53 c 34.6s| 10000 | 22 | 10989 | 0.0 | 14M| 39 | - | 774 |7509 | 0 | 0 | 15 |3392 | 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
40.48/40.52 c 39.3s| 20000 | 19 | 10989 | 0.0 | 14M| 39 | - | 774 |7517 | 0 | 0 | 15 |6962 | 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
45.09/45.12 c 43.7s| 30000 | 15 | 10989 | 0.0 | 14M| 39 | - | 774 |7521 | 0 | 0 | 15 | 10k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
49.88/49.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.88/49.93 c 48.3s| 40000 | 20 | 10989 | 0.0 | 14M| 39 | - | 774 |7516 | 0 | 0 | 15 | 13k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
54.57/54.67 c 52.8s| 50000 | 17 | 10989 | 0.0 | 14M| 39 | - | 774 |7517 | 0 | 0 | 15 | 17k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
58.98/59.01 c 57.0s| 60000 | 15 | 10989 | 0.0 | 14M| 39 | - | 774 |7534 | 0 | 0 | 15 | 20k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
64.07/64.11 c 61.9s| 70000 | 17 | 10989 | 0.0 | 14M| 39 | - | 774 |7518 | 0 | 0 | 15 | 23k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
68.78/68.84 c 66.4s| 80000 | 14 | 10989 | 0.0 | 14M| 39 | - | 774 |7520 | 0 | 0 | 15 | 27k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
74.07/74.13 c 71.4s| 90000 | 18 | 10989 | 0.0 | 14M| 39 | - | 774 |7515 | 0 | 0 | 15 | 31k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
78.77/78.82 c 75.9s|100000 | 14 | 10989 | 0.0 | 14M| 39 | - | 774 |7524 | 0 | 0 | 15 | 34k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
83.77/83.84 c 80.7s|110000 | 21 | 10989 | 0.0 | 14M| 39 | - | 774 |7512 | 0 | 0 | 15 | 38k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
88.57/88.67 c 85.3s|120000 | 16 | 10989 | 0.0 | 14M| 39 | - | 774 |7520 | 0 | 0 | 15 | 41k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
93.07/93.18 c 89.6s|130000 | 20 | 10989 | 0.0 | 14M| 39 | - | 774 |7523 | 0 | 0 | 15 | 45k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
97.47/97.59 c 93.8s|140000 | 19 | 10989 | 0.0 | 14M| 39 | - | 774 |7523 | 0 | 0 | 15 | 48k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
102.37/102.49 c 98.5s|150000 | 15 | 10989 | 0.0 | 14M| 39 | - | 774 |7541 | 0 | 0 | 15 | 51k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
107.27/107.35 c 103s|160000 | 14 | 10989 | 0.0 | 14M| 39 | - | 774 |7546 | 0 | 0 | 15 | 55k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
112.26/112.38 c 108s|170000 | 17 | 10989 | 0.0 | 14M| 39 | - | 774 |7552 | 0 | 0 | 15 | 59k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
117.57/117.68 c 113s|180000 | 17 | 10989 | 0.0 | 14M| 39 | - | 774 |7568 | 0 | 0 | 15 | 63k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
122.27/122.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.27/122.33 c 117s|190000 | 18 | 10989 | 0.0 | 14M| 39 | - | 774 |7570 | 0 | 0 | 15 | 66k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
127.06/127.16 c 122s|200000 | 20 | 10989 | 0.0 | 14M| 39 | - | 774 |7596 | 0 | 0 | 15 | 70k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
131.76/131.88 c 127s|210000 | 13 | 10989 | 0.0 | 14M| 40 | - | 774 |7595 | 0 | 0 | 15 | 73k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
137.16/137.27 c 132s|220000 | 11 | 10989 | 0.0 | 14M| 40 | - | 774 |7519 | 0 | 0 | 15 | 77k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
142.46/142.59 c 137s|230000 | 24 | 10989 | 0.0 | 14M| 40 | - | 774 |7516 | 0 | 0 | 15 | 81k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
147.46/147.51 c 142s|240000 | 23 | 10989 | 0.0 | 14M| 40 | - | 774 |7520 | 0 | 0 | 15 | 85k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
151.96/152.08 c 146s|250000 | 22 | 10989 | 0.0 | 14M| 40 | - | 774 |7516 | 0 | 0 | 15 | 88k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
157.06/157.12 c 151s|260000 | 18 | 10989 | 0.0 | 14M| 40 | - | 774 |7527 | 0 | 0 | 15 | 92k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
162.26/162.31 c 156s|270000 | 21 | 10989 | 0.0 | 14M| 40 | - | 774 |7521 | 0 | 0 | 15 | 97k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
167.16/167.22 c 160s|280000 | 19 | 10989 | 0.0 | 14M| 41 | - | 774 |7526 | 0 | 0 | 15 | 100k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
171.85/171.91 c 165s|290000 | 16 | 10989 | 0.0 | 14M| 41 | - | 774 |7535 | 0 | 0 | 15 | 104k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
176.55/176.69 c 169s|300000 | 16 | 10989 | 0.0 | 14M| 41 | - | 774 |7527 | 0 | 0 | 15 | 107k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
181.05/181.18 c 174s|310000 | 17 | 10989 | 0.0 | 14M| 41 | - | 774 |7532 | 0 | 0 | 15 | 111k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
186.05/186.19 c 178s|320000 | 16 | 10989 | 0.0 | 14M| 41 | - | 774 |7528 | 0 | 0 | 15 | 114k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
191.15/191.25 c 183s|330000 | 18 | 10989 | 0.0 | 14M| 41 | - | 774 |7539 | 0 | 0 | 15 | 118k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
196.14/196.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.14/196.23 c 188s|340000 | 16 | 10989 | 0.0 | 14M| 41 | - | 774 |7529 | 0 | 0 | 15 | 121k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
200.74/200.88 c 193s|350000 | 14 | 10989 | 0.0 | 14M| 41 | - | 774 |7534 | 0 | 0 | 15 | 125k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
205.84/205.94 c 197s|360000 | 18 | 10989 | 0.0 | 14M| 41 | - | 774 |7531 | 0 | 0 | 15 | 128k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
211.34/211.42 c 203s|370000 | 14 | 10989 | 0.0 | 14M| 41 | - | 774 |7527 | 0 | 0 | 15 | 132k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
216.43/216.55 c 208s|380000 | 13 | 10989 | 0.0 | 14M| 41 | - | 774 |7531 | 0 | 0 | 15 | 136k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
221.83/221.91 c 213s|390000 | 12 | 10989 | 0.0 | 14M| 41 | - | 774 |7537 | 0 | 0 | 15 | 140k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
228.03/228.16 c 219s|400000 | 10 | 10989 | 0.0 | 14M| 41 | - | 774 |7538 | 0 | 0 | 15 | 145k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
232.32/232.40 c 223s|410000 | 12 | 10989 | 0.0 | 14M| 41 | - | 774 |7533 | 0 | 0 | 15 | 147k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
236.63/236.79 c 227s|420000 | 12 | 10989 | 0.0 | 14M| 41 | - | 774 |7521 | 0 | 0 | 15 | 150k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
241.63/241.79 c 232s|430000 | 10 | 10989 | 0.0 | 14M| 41 | - | 774 |7518 | 0 | 0 | 15 | 154k| 17 | 2.635737e+02 | 3.710000e+02 | 40.76%
247.12/247.26 o 370
247.12/247.26 c * 237s|439271 | 27 | 10989 | 0.0 | 14M| 43 | - | 774 |7544 | 0 | 0 | 15 | 157k| 17 | 2.635737e+02 | 3.700000e+02 | 40.38%
247.43/247.55 c 237s|440000 | 22 | 10989 | 0.0 | 14M| 43 | - | 774 |7546 | 0 | 0 | 15 | 157k| 17 | 2.635737e+02 | 3.700000e+02 | 40.38%
252.33/252.40 c 242s|450000 | 20 | 10989 | 0.0 | 14M| 43 | - | 774 |7550 | 0 | 0 | 15 | 161k| 17 | 2.635737e+02 | 3.700000e+02 | 40.38%
256.13/256.21 c 245s|460000 | 16 | 10989 | 0.0 | 14M| 43 | - | 774 |7546 | 0 | 0 | 15 | 163k| 17 | 2.635737e+02 | 3.700000e+02 | 40.38%
258.72/258.85 o 369
258.72/258.85 c * 248s|467795 | 21 | 10989 | 0.0 | 14M| 43 | - | 774 |7548 | 0 | 0 | 15 | 165k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
259.53/259.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.53/259.68 c 249s|470000 | 16 | 10989 | 0.0 | 14M| 43 | - | 774 |7549 | 0 | 0 | 15 | 165k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
264.52/264.63 c 253s|480000 | 17 | 10989 | 0.0 | 14M| 43 | - | 774 |7557 | 0 | 0 | 15 | 169k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
269.22/269.39 c 258s|490000 | 15 | 10989 | 0.0 | 14M| 43 | - | 774 |7552 | 0 | 0 | 15 | 172k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
273.42/273.52 c 262s|500000 | 23 | 10989 | 0.0 | 14M| 43 | - | 774 |7560 | 0 | 0 | 15 | 175k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
277.62/277.71 c 266s|510000 | 21 | 10989 | 0.0 | 14M| 43 | - | 774 |7563 | 0 | 0 | 15 | 178k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
281.72/281.86 c 270s|520000 | 14 | 10989 | 0.0 | 14M| 43 | - | 774 |7560 | 0 | 0 | 15 | 181k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
285.83/285.94 c 274s|530000 | 16 | 10989 | 0.0 | 14M| 43 | - | 774 |7563 | 0 | 0 | 15 | 183k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
290.12/290.28 c 278s|540000 | 18 | 10989 | 0.0 | 14M| 43 | - | 774 |7571 | 0 | 0 | 15 | 186k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
294.82/294.97 c 282s|550000 | 16 | 10989 | 0.0 | 14M| 43 | - | 774 |7587 | 0 | 0 | 15 | 189k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
299.21/299.40 c 287s|560000 | 17 | 10989 | 0.0 | 14M| 43 | - | 774 |7579 | 0 | 0 | 15 | 193k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
303.42/303.53 c 291s|570000 | 17 | 10989 | 0.0 | 14M| 43 | - | 774 |7587 | 0 | 0 | 15 | 195k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
307.61/307.71 c 295s|580000 | 17 | 10989 | 0.0 | 14M| 43 | - | 774 |7584 | 0 | 0 | 15 | 198k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
311.71/311.84 c 298s|590000 | 15 | 10989 | 0.0 | 14M| 43 | - | 774 |7594 | 0 | 0 | 15 | 201k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
316.01/316.18 c 303s|600000 | 16 | 10989 | 0.0 | 14M| 43 | - | 774 |7600 | 0 | 0 | 15 | 204k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
320.21/320.37 c 307s|610000 | 11 | 10989 | 0.0 | 14M| 43 | - | 774 |7606 | 0 | 0 | 15 | 207k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
324.51/324.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.51/324.64 c 311s|620000 | 18 | 10989 | 0.0 | 14M| 43 | - | 774 |7598 | 0 | 0 | 15 | 210k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
328.82/328.91 c 315s|630000 | 11 | 10989 | 0.0 | 14M| 43 | - | 774 |7609 | 0 | 0 | 15 | 213k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
333.80/333.93 c 320s|640000 | 17 | 10989 | 0.0 | 14M| 43 | - | 774 |7611 | 0 | 0 | 15 | 217k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
338.10/338.20 c 324s|650000 | 16 | 10989 | 0.0 | 14M| 43 | - | 774 |7607 | 0 | 0 | 15 | 220k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
342.60/342.72 c 328s|660000 | 15 | 10989 | 0.0 | 14M| 43 | - | 774 |7621 | 0 | 0 | 15 | 223k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
347.10/347.24 c 332s|670000 | 18 | 10989 | 0.0 | 14M| 43 | - | 774 |7633 | 0 | 0 | 15 | 226k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
351.81/351.91 c 337s|680000 | 15 | 10989 | 0.0 | 14M| 43 | - | 774 |7639 | 0 | 0 | 15 | 230k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
355.90/356.05 c 341s|690000 | 17 | 10989 | 0.0 | 14M| 43 | - | 774 |7621 | 0 | 0 | 15 | 233k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
360.61/360.75 c 345s|700000 | 13 | 10989 | 0.0 | 14M| 43 | - | 774 |7630 | 0 | 0 | 15 | 236k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
365.10/365.29 c 349s|710000 | 15 | 10989 | 0.0 | 14M| 43 | - | 774 |7620 | 0 | 0 | 15 | 239k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
369.60/369.79 c 354s|720000 | 14 | 10989 | 0.0 | 14M| 43 | - | 774 |7629 | 0 | 0 | 15 | 242k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
373.90/374.07 c 358s|730000 | 13 | 10989 | 0.0 | 14M| 43 | - | 774 |7621 | 0 | 0 | 15 | 245k| 17 | 2.635737e+02 | 3.690000e+02 | 40.00%
377.80/377.99 o 365
377.80/377.99 c * 362s|738361 | 46 | 10989 | 0.0 | 14M| 59 | - | 774 |7563 | 0 | 0 | 15 | 248k| 17 | 2.635737e+02 | 3.650000e+02 | 38.48%
378.60/378.74 c 362s|740000 | 33 | 10989 | 0.0 | 14M| 59 | - | 774 |7566 | 0 | 0 | 15 | 248k| 17 | 2.635737e+02 | 3.650000e+02 | 38.48%
382.70/382.89 c 366s|750000 | 34 | 10989 | 0.0 | 14M| 59 | - | 774 |7564 | 0 | 0 | 15 | 251k| 17 | 2.635737e+02 | 3.650000e+02 | 38.48%
387.19/387.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.19/387.36 c 371s|760000 | 35 | 10989 | 0.0 | 14M| 59 | - | 774 |7574 | 0 | 0 | 15 | 254k| 17 | 2.635737e+02 | 3.650000e+02 | 38.48%
390.69/390.89 o 364
390.69/390.89 c * 374s|767941 | 31 | 10989 | 0.0 | 14M| 59 | - | 774 |7572 | 0 | 0 | 15 | 257k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
391.69/391.86 c 375s|770000 | 30 | 10989 | 0.0 | 14M| 59 | - | 774 |7572 | 0 | 0 | 15 | 258k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
395.79/395.98 c 379s|780000 | 26 | 10989 | 0.0 | 14M| 59 | - | 774 |7570 | 0 | 0 | 15 | 260k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
400.69/400.87 c 383s|790000 | 29 | 10989 | 0.0 | 14M| 59 | - | 774 |7575 | 0 | 0 | 15 | 264k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
405.29/405.42 c 388s|800000 | 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7570 | 0 | 0 | 15 | 267k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
409.59/409.70 c 392s|810000 | 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7570 | 0 | 0 | 15 | 270k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
413.99/414.14 c 396s|820000 | 27 | 10989 | 0.0 | 14M| 59 | - | 774 |7568 | 0 | 0 | 15 | 274k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
418.18/418.36 c 400s|830000 | 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7567 | 0 | 0 | 15 | 276k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
422.39/422.50 c 404s|840000 | 26 | 10989 | 0.0 | 14M| 59 | - | 774 |7564 | 0 | 0 | 15 | 279k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
426.49/426.69 c 408s|850000 | 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7570 | 0 | 0 | 15 | 282k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
430.58/430.71 c 412s|860000 | 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7570 | 0 | 0 | 15 | 284k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
434.58/434.77 c 416s|870000 | 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7564 | 0 | 0 | 15 | 287k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
439.19/439.39 c 420s|880000 | 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7567 | 0 | 0 | 15 | 290k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
442.98/443.15 c 424s|890000 | 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7568 | 0 | 0 | 15 | 293k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
446.88/447.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.88/447.02 c 428s|900000 | 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7567 | 0 | 0 | 15 | 295k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
450.58/450.74 c 431s|910000 | 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7566 | 0 | 0 | 15 | 297k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
454.28/454.47 c 435s|920000 | 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7566 | 0 | 0 | 15 | 299k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
457.98/458.18 c 438s|930000 | 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7566 | 0 | 0 | 15 | 301k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
462.08/462.24 c 442s|940000 | 27 | 10989 | 0.0 | 14M| 59 | - | 774 |7569 | 0 | 0 | 15 | 303k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
466.67/466.85 c 447s|950000 | 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7566 | 0 | 0 | 15 | 307k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
471.07/471.23 c 451s|960000 | 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7566 | 0 | 0 | 15 | 309k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
475.17/475.38 c 455s|970000 | 27 | 10989 | 0.0 | 14M| 59 | - | 774 |7565 | 0 | 0 | 15 | 312k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
478.87/479.02 c 458s|980000 | 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7569 | 0 | 0 | 15 | 313k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
482.57/482.77 c 462s|990000 | 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7563 | 0 | 0 | 15 | 315k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
486.47/486.70 c 466s| 1000k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7564 | 0 | 0 | 15 | 317k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
490.56/490.70 c 469s| 1010k| 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7564 | 0 | 0 | 15 | 320k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
494.27/494.46 c 473s| 1020k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7567 | 0 | 0 | 15 | 322k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
498.18/498.35 c 477s| 1030k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7568 | 0 | 0 | 15 | 323k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
502.47/502.63 c 481s| 1040k| 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7566 | 0 | 0 | 15 | 326k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
507.16/507.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.16/507.37 c 485s| 1050k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7569 | 0 | 0 | 15 | 329k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
511.97/512.17 c 490s| 1060k| 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7569 | 0 | 0 | 15 | 332k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
516.56/516.79 c 494s| 1070k| 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7569 | 0 | 0 | 15 | 336k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
521.17/521.40 c 499s| 1080k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7576 | 0 | 0 | 15 | 339k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
525.76/525.92 c 503s| 1090k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7570 | 0 | 0 | 15 | 341k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
529.86/530.09 c 507s| 1100k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7567 | 0 | 0 | 15 | 344k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
533.86/534.06 c 511s| 1110k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7578 | 0 | 0 | 15 | 346k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
537.86/538.03 c 515s| 1120k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7574 | 0 | 0 | 15 | 348k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
541.76/541.90 c 518s| 1130k| 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7575 | 0 | 0 | 15 | 350k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
545.65/545.87 c 522s| 1140k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7575 | 0 | 0 | 15 | 352k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
549.86/550.04 c 526s| 1150k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7575 | 0 | 0 | 15 | 354k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
553.75/553.94 c 530s| 1160k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7573 | 0 | 0 | 15 | 356k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
558.05/558.23 c 534s| 1170k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7575 | 0 | 0 | 15 | 358k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
562.15/562.32 c 538s| 1180k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7575 | 0 | 0 | 15 | 360k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
566.05/566.25 c 542s| 1190k| 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7575 | 0 | 0 | 15 | 362k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
569.96/570.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.96/570.19 c 546s| 1200k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7571 | 0 | 0 | 15 | 364k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
573.75/573.98 c 549s| 1210k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7579 | 0 | 0 | 15 | 366k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
577.65/577.89 c 553s| 1220k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7578 | 0 | 0 | 15 | 368k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
581.75/581.96 c 557s| 1230k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7571 | 0 | 0 | 15 | 370k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
585.64/585.87 c 561s| 1240k| 28 | 10989 | 0.0 | 14M| 59 | - | 774 |7574 | 0 | 0 | 15 | 373k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
589.85/590.01 c 564s| 1250k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7581 | 0 | 0 | 15 | 376k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
593.75/593.92 c 568s| 1260k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7581 | 0 | 0 | 15 | 378k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
597.75/597.94 c 572s| 1270k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7585 | 0 | 0 | 15 | 381k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
601.34/601.53 c 576s| 1280k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7581 | 0 | 0 | 15 | 383k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
605.34/605.53 c 579s| 1290k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7583 | 0 | 0 | 15 | 385k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
609.35/609.59 c 583s| 1300k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7591 | 0 | 0 | 15 | 387k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
614.14/614.34 c 588s| 1310k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7591 | 0 | 0 | 15 | 390k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
618.44/618.64 c 592s| 1320k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7596 | 0 | 0 | 15 | 393k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
623.24/623.42 c 596s| 1330k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7583 | 0 | 0 | 15 | 397k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
627.34/627.52 c 600s| 1340k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7606 | 0 | 0 | 15 | 399k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
631.53/631.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.53/631.80 c 604s| 1350k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7603 | 0 | 0 | 15 | 401k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
635.43/635.69 c 608s| 1360k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7609 | 0 | 0 | 15 | 403k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
639.94/640.17 c 612s| 1370k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7636 | 0 | 0 | 15 | 406k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
644.13/644.36 c 616s| 1380k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7608 | 0 | 0 | 15 | 409k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
648.13/648.34 c 620s| 1390k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7612 | 0 | 0 | 15 | 411k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
652.44/652.62 c 624s| 1400k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7631 | 0 | 0 | 15 | 413k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
657.13/657.32 c 629s| 1410k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7642 | 0 | 0 | 15 | 417k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
661.53/661.72 c 633s| 1420k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7639 | 0 | 0 | 15 | 420k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
666.33/666.53 c 638s| 1430k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7635 | 0 | 0 | 15 | 423k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
671.32/671.59 c 642s| 1440k| 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7643 | 0 | 0 | 15 | 427k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
676.03/676.27 c 647s| 1450k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7641 | 0 | 0 | 15 | 430k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
681.22/681.40 c 652s| 1460k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7642 | 0 | 0 | 15 | 434k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
685.82/686.08 c 656s| 1470k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7665 | 0 | 0 | 15 | 437k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
690.32/690.57 c 661s| 1480k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7651 | 0 | 0 | 15 | 440k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
694.82/695.04 c 665s| 1490k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7653 | 0 | 0 | 15 | 443k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
698.92/699.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.92/699.16 c 669s| 1500k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7656 | 0 | 0 | 15 | 445k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
703.32/703.53 c 673s| 1510k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7659 | 0 | 0 | 15 | 448k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
707.32/707.56 c 677s| 1520k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7649 | 0 | 0 | 15 | 450k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
711.32/711.58 c 681s| 1530k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7650 | 0 | 0 | 15 | 452k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
715.52/715.77 c 685s| 1540k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7649 | 0 | 0 | 15 | 454k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
719.51/719.78 c 688s| 1550k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7648 | 0 | 0 | 15 | 456k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
723.62/723.89 c 692s| 1560k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7651 | 0 | 0 | 15 | 458k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
727.61/727.87 c 696s| 1570k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7652 | 0 | 0 | 15 | 460k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
731.61/731.90 c 700s| 1580k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7655 | 0 | 0 | 15 | 462k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
735.71/735.98 c 704s| 1590k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7662 | 0 | 0 | 15 | 464k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
740.21/740.45 c 708s| 1600k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7691 | 0 | 0 | 15 | 467k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
745.01/745.29 c 713s| 1610k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7680 | 0 | 0 | 15 | 471k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
749.60/749.89 c 717s| 1620k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7682 | 0 | 0 | 15 | 474k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
754.31/754.58 c 722s| 1630k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7681 | 0 | 0 | 15 | 477k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
758.91/759.13 c 726s| 1640k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7693 | 0 | 0 | 15 | 481k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
763.80/764.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.80/764.01 c 731s| 1650k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7694 | 0 | 0 | 15 | 484k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
768.91/769.11 c 736s| 1660k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7693 | 0 | 0 | 15 | 488k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
773.20/773.48 c 740s| 1670k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7699 | 0 | 0 | 15 | 491k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
777.80/778.08 c 744s| 1680k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7705 | 0 | 0 | 15 | 495k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
782.20/782.47 c 748s| 1690k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7694 | 0 | 0 | 15 | 498k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
786.70/786.92 c 753s| 1700k| 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7690 | 0 | 0 | 15 | 501k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
791.10/791.30 c 757s| 1710k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7697 | 0 | 0 | 15 | 504k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
795.70/795.91 c 761s| 1720k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7697 | 0 | 0 | 15 | 508k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
800.50/800.75 c 766s| 1730k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7700 | 0 | 0 | 15 | 512k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
804.70/804.92 c 770s| 1740k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7700 | 0 | 0 | 15 | 515k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
808.89/809.10 c 774s| 1750k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7700 | 0 | 0 | 15 | 518k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
812.99/813.26 c 778s| 1760k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7697 | 0 | 0 | 15 | 520k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
817.40/817.69 c 782s| 1770k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7699 | 0 | 0 | 15 | 524k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
821.70/821.92 c 786s| 1780k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7705 | 0 | 0 | 15 | 527k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
825.49/825.79 c 790s| 1790k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7701 | 0 | 0 | 15 | 529k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
829.89/830.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.89/830.18 c 794s| 1800k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7699 | 0 | 0 | 15 | 533k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
834.29/834.52 c 798s| 1810k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7699 | 0 | 0 | 15 | 536k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
838.69/838.93 c 802s| 1820k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7705 | 0 | 0 | 15 | 539k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
843.49/843.71 c 807s| 1830k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7700 | 0 | 0 | 15 | 543k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
846.88/847.19 c 810s| 1840k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7697 | 0 | 0 | 15 | 545k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
850.79/851.05 c 814s| 1850k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7698 | 0 | 0 | 15 | 546k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
854.89/855.14 c 818s| 1860k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7705 | 0 | 0 | 15 | 549k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
858.98/859.27 c 822s| 1870k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7729 | 0 | 0 | 15 | 551k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
863.38/863.62 c 826s| 1880k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7746 | 0 | 0 | 15 | 554k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
867.69/867.98 c 830s| 1890k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7745 | 0 | 0 | 15 | 557k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
871.99/872.22 c 834s| 1900k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7755 | 0 | 0 | 15 | 560k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
876.38/876.64 c 838s| 1910k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7751 | 0 | 0 | 15 | 563k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
880.67/880.96 c 843s| 1920k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7757 | 0 | 0 | 15 | 566k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
885.38/885.68 c 847s| 1930k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7771 | 0 | 0 | 15 | 570k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
890.07/890.36 c 852s| 1940k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7765 | 0 | 0 | 15 | 574k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
894.47/894.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.47/894.75 c 856s| 1950k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7785 | 0 | 0 | 15 | 577k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
899.48/899.74 c 861s| 1960k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7771 | 0 | 0 | 15 | 581k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
904.27/904.54 c 865s| 1970k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7776 | 0 | 0 | 15 | 585k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
909.07/909.36 c 870s| 1980k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7772 | 0 | 0 | 15 | 589k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
913.37/913.69 c 874s| 1990k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7783 | 0 | 0 | 15 | 592k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
917.57/917.86 c 878s| 2000k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7789 | 0 | 0 | 15 | 595k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
921.96/922.27 c 882s| 2010k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7802 | 0 | 0 | 15 | 598k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
926.77/927.08 c 887s| 2020k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7810 | 0 | 0 | 15 | 602k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
931.66/931.93 c 891s| 2030k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7812 | 0 | 0 | 15 | 605k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
935.96/936.27 c 895s| 2040k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7821 | 0 | 0 | 15 | 608k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
940.46/940.75 c 900s| 2050k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7848 | 0 | 0 | 15 | 612k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
945.16/945.48 c 904s| 2060k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7807 | 0 | 0 | 15 | 615k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
950.07/950.35 c 909s| 2070k| 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7809 | 0 | 0 | 15 | 619k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
955.16/955.43 c 914s| 2080k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7818 | 0 | 0 | 15 | 623k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
959.65/959.99 c 918s| 2090k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7816 | 0 | 0 | 15 | 626k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
963.66/963.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.66/963.91 c 922s| 2100k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7823 | 0 | 0 | 15 | 628k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
967.56/967.81 c 926s| 2110k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7816 | 0 | 0 | 15 | 630k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
971.46/971.72 c 929s| 2120k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7815 | 0 | 0 | 15 | 632k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
975.26/975.58 c 933s| 2130k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7822 | 0 | 0 | 15 | 633k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
979.45/979.78 c 937s| 2140k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7844 | 0 | 0 | 15 | 636k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
983.85/984.10 c 941s| 2150k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7836 | 0 | 0 | 15 | 638k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
988.26/988.51 c 946s| 2160k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7847 | 0 | 0 | 15 | 641k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
992.45/992.77 c 950s| 2170k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7827 | 0 | 0 | 15 | 644k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
996.95/997.26 c 954s| 2180k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7838 | 0 | 0 | 15 | 647k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1001.35/1001.68 c 958s| 2190k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7839 | 0 | 0 | 15 | 650k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1005.75/1006.09 c 962s| 2200k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7838 | 0 | 0 | 15 | 653k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1009.95/1010.22 c 966s| 2210k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7838 | 0 | 0 | 15 | 656k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1014.54/1014.84 c 971s| 2220k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7849 | 0 | 0 | 15 | 660k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1019.35/1019.67 c 975s| 2230k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7848 | 0 | 0 | 15 | 664k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1024.15/1024.49 c 980s| 2240k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7862 | 0 | 0 | 15 | 668k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1028.74/1029.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.74/1029.00 c 984s| 2250k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7867 | 0 | 0 | 15 | 671k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1033.34/1033.65 c 989s| 2260k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7874 | 0 | 0 | 15 | 675k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1037.74/1038.07 c 993s| 2270k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7884 | 0 | 0 | 15 | 679k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1042.04/1042.34 c 997s| 2280k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7864 | 0 | 0 | 15 | 682k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1046.54/1046.86 c 1001s| 2290k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7866 | 0 | 0 | 15 | 685k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1051.34/1051.62 c 1006s| 2300k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7868 | 0 | 0 | 15 | 689k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1056.03/1056.32 c 1010s| 2310k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7868 | 0 | 0 | 15 | 693k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1060.54/1060.88 c 1015s| 2320k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7868 | 0 | 0 | 15 | 696k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1065.43/1065.73 c 1019s| 2330k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7866 | 0 | 0 | 15 | 700k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1069.83/1070.19 c 1024s| 2340k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7877 | 0 | 0 | 15 | 703k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1074.63/1074.92 c 1028s| 2350k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7886 | 0 | 0 | 15 | 706k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1079.43/1079.73 c 1033s| 2360k| 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7884 | 0 | 0 | 15 | 710k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1083.83/1084.16 c 1037s| 2370k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7906 | 0 | 0 | 15 | 713k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1088.23/1088.57 c 1041s| 2380k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7900 | 0 | 0 | 15 | 717k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1092.73/1093.06 c 1045s| 2390k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7902 | 0 | 0 | 15 | 720k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1097.23/1097.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.23/1097.51 c 1050s| 2400k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7905 | 0 | 0 | 15 | 724k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1101.62/1101.92 c 1054s| 2410k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7916 | 0 | 0 | 15 | 727k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1106.03/1106.30 c 1058s| 2420k| 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7928 | 0 | 0 | 15 | 730k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1110.32/1110.64 c 1062s| 2430k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7929 | 0 | 0 | 15 | 733k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1114.62/1114.94 c 1066s| 2440k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7927 | 0 | 0 | 15 | 736k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1119.12/1119.43 c 1071s| 2450k| 27 | 10989 | 0.0 | 14M| 59 | - | 774 |7902 | 0 | 0 | 15 | 740k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1123.92/1124.25 c 1075s| 2460k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7904 | 0 | 0 | 15 | 743k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1128.62/1128.97 c 1080s| 2470k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7903 | 0 | 0 | 15 | 747k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1132.73/1133.06 c 1084s| 2480k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7904 | 0 | 0 | 15 | 749k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1136.72/1137.06 c 1087s| 2490k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7905 | 0 | 0 | 15 | 751k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1140.72/1141.06 c 1091s| 2500k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7912 | 0 | 0 | 15 | 753k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1144.82/1145.18 c 1095s| 2510k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7910 | 0 | 0 | 15 | 755k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1149.61/1149.91 c 1100s| 2520k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7916 | 0 | 0 | 15 | 759k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1153.72/1154.00 c 1104s| 2530k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7912 | 0 | 0 | 15 | 761k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1158.02/1158.39 c 1108s| 2540k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7929 | 0 | 0 | 15 | 763k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1162.51/1162.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.51/1162.83 c 1112s| 2550k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7915 | 0 | 0 | 15 | 766k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1167.01/1167.35 c 1116s| 2560k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7915 | 0 | 0 | 15 | 770k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1171.71/1172.05 c 1121s| 2570k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7923 | 0 | 0 | 15 | 773k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1176.21/1176.58 c 1125s| 2580k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7915 | 0 | 0 | 15 | 776k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1180.81/1181.18 c 1130s| 2590k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7910 | 0 | 0 | 15 | 780k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1185.30/1185.68 c 1134s| 2600k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7929 | 0 | 0 | 15 | 783k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1189.71/1190.01 c 1138s| 2610k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7923 | 0 | 0 | 15 | 786k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1193.80/1194.19 c 1142s| 2620k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7932 | 0 | 0 | 15 | 789k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1198.20/1198.50 c 1146s| 2630k| 10 | 10989 | 0.0 | 14M| 59 | - | 774 |7956 | 0 | 0 | 15 | 792k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1203.80/1204.15 c 1152s| 2640k| 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7551 | 0 | 0 | 15 | 795k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1208.91/1209.27 c 1156s| 2650k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7557 | 0 | 0 | 15 | 798k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1213.30/1213.64 c 1161s| 2660k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7552 | 0 | 0 | 15 | 801k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1217.60/1217.92 c 1165s| 2670k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7553 | 0 | 0 | 15 | 803k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1221.80/1222.14 c 1169s| 2680k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7553 | 0 | 0 | 15 | 805k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1225.99/1226.38 c 1173s| 2690k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7553 | 0 | 0 | 15 | 808k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1230.51/1230.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.51/1230.89 c 1177s| 2700k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7552 | 0 | 0 | 15 | 810k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1235.19/1235.59 c 1181s| 2710k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7550 | 0 | 0 | 15 | 813k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1240.10/1240.47 c 1186s| 2720k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7550 | 0 | 0 | 15 | 815k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1244.59/1244.95 c 1190s| 2730k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7552 | 0 | 0 | 15 | 818k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1249.30/1249.69 c 1195s| 2740k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7549 | 0 | 0 | 15 | 820k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1253.49/1253.90 c 1199s| 2750k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7552 | 0 | 0 | 15 | 822k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1257.69/1258.08 c 1203s| 2760k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7551 | 0 | 0 | 15 | 824k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1262.09/1262.43 c 1207s| 2770k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7551 | 0 | 0 | 15 | 827k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1266.18/1266.50 c 1211s| 2780k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7550 | 0 | 0 | 15 | 829k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1270.29/1270.65 c 1215s| 2790k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7556 | 0 | 0 | 15 | 831k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1274.79/1275.11 c 1219s| 2800k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7556 | 0 | 0 | 15 | 833k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1279.39/1279.72 c 1224s| 2810k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7554 | 0 | 0 | 15 | 836k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1283.79/1284.18 c 1228s| 2820k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7552 | 0 | 0 | 15 | 838k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1288.68/1289.05 c 1232s| 2830k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7554 | 0 | 0 | 15 | 841k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1293.78/1294.10 c 1237s| 2840k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7558 | 0 | 0 | 15 | 844k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1297.78/1298.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.78/1298.17 c 1241s| 2850k| 10 | 10989 | 0.0 | 14M| 59 | - | 774 |7566 | 0 | 0 | 15 | 846k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1301.99/1302.40 c 1245s| 2860k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7557 | 0 | 0 | 15 | 848k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1306.58/1306.90 c 1250s| 2870k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7557 | 0 | 0 | 15 | 850k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1311.48/1311.89 c 1254s| 2880k| 10 | 10989 | 0.0 | 14M| 59 | - | 774 |7563 | 0 | 0 | 15 | 853k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1315.78/1316.10 c 1258s| 2890k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7559 | 0 | 0 | 15 | 855k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1320.27/1320.62 c 1263s| 2900k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7557 | 0 | 0 | 15 | 857k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1324.58/1324.91 c 1267s| 2910k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7577 | 0 | 0 | 15 | 859k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1328.57/1328.95 c 1271s| 2920k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7570 | 0 | 0 | 15 | 861k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1332.47/1332.82 c 1274s| 2930k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7574 | 0 | 0 | 15 | 863k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1336.27/1336.66 c 1278s| 2940k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7584 | 0 | 0 | 15 | 865k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1340.87/1341.27 c 1282s| 2950k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7586 | 0 | 0 | 15 | 867k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1344.98/1345.31 c 1286s| 2960k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7581 | 0 | 0 | 15 | 869k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1349.57/1349.99 c 1291s| 2970k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7578 | 0 | 0 | 15 | 872k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1353.78/1354.19 c 1295s| 2980k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7581 | 0 | 0 | 15 | 874k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1358.07/1358.40 c 1299s| 2990k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7581 | 0 | 0 | 15 | 876k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1362.26/1362.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.26/1362.60 c 1303s| 3000k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7587 | 0 | 0 | 15 | 878k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1366.26/1366.63 c 1307s| 3010k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7594 | 0 | 0 | 15 | 880k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1370.47/1370.80 c 1311s| 3020k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7591 | 0 | 0 | 15 | 882k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1374.67/1375.02 c 1315s| 3030k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7598 | 0 | 0 | 15 | 884k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1378.86/1379.26 c 1319s| 3040k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7617 | 0 | 0 | 15 | 887k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1383.37/1383.76 c 1323s| 3050k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7651 | 0 | 0 | 15 | 889k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1387.56/1387.92 c 1327s| 3060k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7662 | 0 | 0 | 15 | 892k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1391.66/1392.07 c 1331s| 3070k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7690 | 0 | 0 | 15 | 894k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1396.15/1396.55 c 1335s| 3080k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7738 | 0 | 0 | 15 | 897k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1400.76/1401.15 c 1340s| 3090k| 21 | 10989 | 0.0 | 14M| 59 | - | 774 |7724 | 0 | 0 | 15 | 900k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1405.66/1406.03 c 1344s| 3100k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7727 | 0 | 0 | 15 | 903k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1410.25/1410.64 c 1349s| 3110k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7722 | 0 | 0 | 15 | 905k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1414.55/1414.90 c 1353s| 3120k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7721 | 0 | 0 | 15 | 907k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1418.85/1419.21 c 1357s| 3130k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7725 | 0 | 0 | 15 | 909k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1422.96/1423.31 c 1361s| 3140k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7733 | 0 | 0 | 15 | 911k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1427.15/1427.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.15/1427.55 c 1365s| 3150k| 8 | 10989 | 0.0 | 14M| 59 | - | 774 |7757 | 0 | 0 | 15 | 913k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1431.55/1431.90 c 1369s| 3160k| 24 | 10989 | 0.0 | 14M| 59 | - | 774 |7754 | 0 | 0 | 15 | 916k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1436.55/1436.91 c 1374s| 3170k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7763 | 0 | 0 | 15 | 919k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1440.55/1440.94 c 1378s| 3180k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7795 | 0 | 0 | 15 | 921k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1444.65/1445.03 c 1381s| 3190k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7808 | 0 | 0 | 15 | 923k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1448.64/1449.03 c 1385s| 3200k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7808 | 0 | 0 | 15 | 926k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1452.75/1453.11 c 1389s| 3210k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7808 | 0 | 0 | 15 | 928k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1457.15/1457.58 c 1393s| 3220k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7806 | 0 | 0 | 15 | 931k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1461.24/1461.67 c 1397s| 3230k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7817 | 0 | 0 | 15 | 933k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1465.34/1465.74 c 1401s| 3240k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7828 | 0 | 0 | 15 | 935k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1469.25/1469.67 c 1405s| 3250k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7856 | 0 | 0 | 15 | 937k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1473.74/1474.11 c 1409s| 3260k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7855 | 0 | 0 | 15 | 940k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1477.74/1478.19 c 1413s| 3270k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7877 | 0 | 0 | 15 | 942k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1481.53/1481.97 c 1417s| 3280k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7885 | 0 | 0 | 15 | 944k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1485.54/1485.90 c 1420s| 3290k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7906 | 0 | 0 | 15 | 946k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1490.14/1490.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1490.14/1490.58 c 1425s| 3300k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7897 | 0 | 0 | 15 | 949k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1494.63/1495.09 c 1429s| 3310k| 10 | 10989 | 0.0 | 14M| 59 | - | 774 |7912 | 0 | 0 | 15 | 952k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1499.13/1499.53 c 1433s| 3320k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7921 | 0 | 0 | 15 | 955k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1503.63/1504.06 c 1438s| 3330k| 10 | 10989 | 0.0 | 14M| 59 | - | 774 |7917 | 0 | 0 | 15 | 958k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1507.83/1508.27 c 1442s| 3340k| 10 | 10989 | 0.0 | 14M| 59 | - | 774 |7931 | 0 | 0 | 15 | 960k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1512.14/1512.57 c 1446s| 3350k| 3 | 10989 | 0.0 | 14M| 59 | - | 774 |7971 | 0 | 0 | 15 | 963k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1517.23/1517.60 c 1451s| 3360k| 25 | 10989 | 0.0 | 14M| 59 | - | 774 |7574 | 0 | 0 | 15 | 966k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1522.23/1522.64 c 1455s| 3370k| 22 | 10989 | 0.0 | 14M| 59 | - | 774 |7574 | 0 | 0 | 15 | 969k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1527.13/1527.52 c 1460s| 3380k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7571 | 0 | 0 | 15 | 972k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1532.02/1532.43 c 1465s| 3390k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7571 | 0 | 0 | 15 | 974k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1536.42/1536.82 c 1469s| 3400k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7571 | 0 | 0 | 15 | 976k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1541.02/1541.41 c 1473s| 3410k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7571 | 0 | 0 | 15 | 979k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1545.33/1545.74 c 1478s| 3420k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7577 | 0 | 0 | 15 | 981k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1549.73/1550.12 c 1482s| 3430k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7578 | 0 | 0 | 15 | 983k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1554.12/1554.53 c 1486s| 3440k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7576 | 0 | 0 | 15 | 985k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1558.52/1558.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.52/1558.98 c 1490s| 3450k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7586 | 0 | 0 | 15 | 987k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1563.01/1563.45 c 1494s| 3460k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7593 | 0 | 0 | 15 | 990k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1567.42/1567.89 c 1499s| 3470k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7589 | 0 | 0 | 15 | 992k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1572.02/1572.47 c 1503s| 3480k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7590 | 0 | 0 | 15 | 995k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1576.41/1576.82 c 1507s| 3490k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7603 | 0 | 0 | 15 | 997k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1581.61/1582.05 c 1512s| 3500k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7605 | 0 | 0 | 15 |1001k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1585.51/1585.93 c 1516s| 3510k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7607 | 0 | 0 | 15 |1002k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1589.71/1590.10 c 1520s| 3520k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7613 | 0 | 0 | 15 |1004k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1594.52/1595.00 c 1525s| 3530k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7622 | 0 | 0 | 15 |1008k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1599.51/1599.92 c 1529s| 3540k| 23 | 10989 | 0.0 | 14M| 59 | - | 774 |7627 | 0 | 0 | 15 |1011k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1603.61/1604.06 c 1533s| 3550k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7634 | 0 | 0 | 15 |1013k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1607.91/1608.36 c 1537s| 3560k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7637 | 0 | 0 | 15 |1016k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1612.11/1612.59 c 1541s| 3570k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7630 | 0 | 0 | 15 |1018k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1616.51/1616.96 c 1546s| 3580k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7667 | 0 | 0 | 15 |1020k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1620.71/1621.18 c 1550s| 3590k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7689 | 0 | 0 | 15 |1023k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1625.00/1625.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.00/1625.47 c 1554s| 3600k| 15 | 10989 | 0.0 | 14M| 59 | - | 774 |7721 | 0 | 0 | 15 |1025k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1629.51/1629.96 c 1558s| 3610k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7730 | 0 | 0 | 15 |1028k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1633.90/1634.38 c 1562s| 3620k| 9 | 10989 | 0.0 | 14M| 59 | - | 774 |7748 | 0 | 0 | 15 |1031k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1638.31/1638.70 c 1566s| 3630k| 20 | 10989 | 0.0 | 14M| 59 | - | 774 |7749 | 0 | 0 | 15 |1034k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1642.50/1642.92 c 1570s| 3640k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7754 | 0 | 0 | 15 |1036k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1646.60/1647.06 c 1574s| 3650k| 9 | 10989 | 0.0 | 14M| 59 | - | 774 |7783 | 0 | 0 | 15 |1038k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1650.39/1650.83 c 1578s| 3660k| 18 | 10989 | 0.0 | 14M| 59 | - | 774 |7790 | 0 | 0 | 15 |1040k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1655.20/1655.67 c 1582s| 3670k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7800 | 0 | 0 | 15 |1044k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1659.60/1660.04 c 1587s| 3680k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7797 | 0 | 0 | 15 |1046k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1663.60/1664.08 c 1591s| 3690k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7826 | 0 | 0 | 15 |1049k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1668.09/1668.58 c 1595s| 3700k| 16 | 10989 | 0.0 | 14M| 59 | - | 774 |7828 | 0 | 0 | 15 |1052k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1672.79/1673.22 c 1599s| 3710k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7840 | 0 | 0 | 15 |1054k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1676.79/1677.26 c 1603s| 3720k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |7854 | 0 | 0 | 15 |1057k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1680.89/1681.36 c 1607s| 3730k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7867 | 0 | 0 | 15 |1059k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1685.19/1685.66 c 1611s| 3740k| 19 | 10989 | 0.0 | 14M| 59 | - | 774 |7863 | 0 | 0 | 15 |1062k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1689.79/1690.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.79/1690.20 c 1615s| 3750k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7868 | 0 | 0 | 15 |1064k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1694.48/1694.91 c 1620s| 3760k| 9 | 10989 | 0.0 | 14M| 59 | - | 774 |7903 | 0 | 0 | 15 |1068k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1699.00/1699.40 c 1624s| 3770k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7921 | 0 | 0 | 15 |1070k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1703.19/1703.69 c 1628s| 3780k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7952 | 0 | 0 | 15 |1073k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1707.28/1707.76 c 1632s| 3790k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |7975 | 0 | 0 | 15 |1075k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1711.29/1711.73 c 1636s| 3800k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |7965 | 0 | 0 | 15 |1077k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1715.38/1715.87 c 1640s| 3810k| 12 | 10989 | 0.0 | 14M| 59 | - | 774 |7986 | 0 | 0 | 15 |1080k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1719.28/1719.78 c 1644s| 3820k| 10 | 10989 | 0.0 | 14M| 59 | - | 774 |8008 | 0 | 0 | 15 |1082k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1723.68/1724.20 c 1648s| 3830k| 17 | 10989 | 0.0 | 14M| 59 | - | 774 |8015 | 0 | 0 | 15 |1085k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1728.58/1729.07 c 1652s| 3840k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |7999 | 0 | 0 | 15 |1088k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1732.78/1733.28 c 1656s| 3850k| 13 | 10989 | 0.0 | 14M| 59 | - | 774 |8008 | 0 | 0 | 15 |1090k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1737.68/1738.13 c 1661s| 3860k| 14 | 10989 | 0.0 | 14M| 59 | - | 774 |8030 | 0 | 0 | 15 |1094k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1742.28/1742.74 c 1665s| 3870k| 11 | 10989 | 0.0 | 14M| 59 | - | 774 |8055 | 0 | 0 | 15 |1097k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1746.68/1747.11 c 1670s| 3880k| 5 | 10989 | 0.0 | 14M| 59 | - | 774 |8083 | 0 | 0 | 15 |1099k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1751.68/1752.15 c 1674s| 3890k| 39 | 10989 | 0.0 | 14M| 62 | - | 774 |7547 | 0 | 0 | 15 |1103k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1757.07/1757.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.07/1757.58 c 1680s| 3900k| 29 | 10989 | 0.0 | 14M| 62 | - | 774 |7549 | 0 | 0 | 15 |1107k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1761.97/1762.43 c 1684s| 3910k| 26 | 10989 | 0.0 | 14M| 62 | - | 774 |7543 | 0 | 0 | 15 |1110k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1766.57/1767.07 c 1689s| 3920k| 27 | 10989 | 0.0 | 14M| 62 | - | 774 |7544 | 0 | 0 | 15 |1113k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1771.58/1772.00 c 1693s| 3930k| 27 | 10989 | 0.0 | 14M| 62 | - | 774 |7542 | 0 | 0 | 15 |1117k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1776.67/1777.15 c 1698s| 3940k| 27 | 10989 | 0.0 | 14M| 62 | - | 774 |7547 | 0 | 0 | 15 |1120k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1781.27/1781.76 c 1703s| 3950k| 23 | 10989 | 0.0 | 14M| 62 | - | 774 |7543 | 0 | 0 | 15 |1123k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1785.97/1786.44 c 1707s| 3960k| 25 | 10989 | 0.0 | 14M| 62 | - | 774 |7547 | 0 | 0 | 15 |1125k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1790.37/1790.84 c 1711s| 3970k| 26 | 10989 | 0.0 | 14M| 62 | - | 774 |7544 | 0 | 0 | 15 |1128k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1795.46/1795.94 c 1716s| 3980k| 28 | 10989 | 0.0 | 14M| 62 | - | 774 |7543 | 0 | 0 | 15 |1131k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1799.96/1800.47 c 1721s| 3990k| 22 | 10989 | 0.0 | 14M| 62 | - | 774 |7543 | 0 | 0 | 15 |1133k| 17 | 2.635737e+02 | 3.640000e+02 | 38.10%
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.50 c
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time (sec) : 1720.71
1800.06/1800.50 c Solving Nodes : 3990089
1800.06/1800.50 c Primal Bound : +3.64000000000000e+02 (7 solutions)
1800.06/1800.50 c Dual Bound : +2.63573699780467e+02
1800.06/1800.50 c Gap : 38.10 %
1800.06/1800.51 s SATISFIABLE
1800.06/1800.51 v x774 -x773 x772 -x771 -x770 x769 x768 -x767 -x766 x765 x764 -x763 x762 -x761 x760 -x759 -x758 x757 x756 -x755 x754 -x753 -x752
1800.06/1800.51 v x751 x750 -x749 -x748 x747 -x746 -x745 x744 -x743 -x742 x741 x740 -x739 x738 -x737 x736 -x735 -x734 x733 x732 -x731 x730 -x729
1800.06/1800.51 v -x728 x727 x726 -x725 -x724 x723 x722 -x721 x720 -x719 -x718 x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 x708 -x707 -x706
1800.06/1800.51 v x705 x704 -x703 x702 -x701 -x700 -x699 -x698 x697 x696 -x695 x694 -x693 -x692 x691 x690 -x689 x688 -x687 -x686 x685 x684
1800.06/1800.51 v -x683 -x682 x681 -x680 -x679 x678 -x677 -x676 x675 x674 -x673 x672 -x671 x670 -x669 -x668 x667 x666 -x665 -x664 x663 x662 -x661
1800.06/1800.51 v x660 -x659 -x658 x657 x656 -x655 x654 -x653 -x652 x651 x650 -x649 x648 -x647 -x646 x645 x644 -x643 x642 -x641 -x640 x639 x638
1800.06/1800.51 v -x637 x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628 x627 x626 -x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 -x616
1800.06/1800.51 v x615 -x614 -x613 x612 -x611 -x610 x609 x608 -x607 x606 -x605 -x604 x603 x602 -x601 x600 -x599 x598 -x597 -x596 x595 x594 -x593
1800.06/1800.51 v x592 -x591 -x590 x589 x588 -x587 x586 -x585 -x584 x583 -x582 x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 -x572 x571
1800.06/1800.51 v x570 -x569 x568 -x567 -x566 x565 -x564 x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 -x554 x553 x552 -x551 -x550 x549 x548
1800.06/1800.51 v -x547 x546 -x545 -x544 x543 x542 -x541 x540 -x539 x538 -x537 -x536 x535 x534 -x533 x532 -x531 -x530 x529 x528 -x527 -x526 x525
1800.06/1800.51 v x524 -x523 x522 -x521 -x520 x519 x518 -x517 x516 -x515 -x514 x513 x512 -x511 x510 -x509 -x508 x507 -x506 -x505 x504 -x503
1800.06/1800.51 v x502 -x501 -x500 x499 x498 -x497 -x496 x495 x494 -x493 x492 -x491 x490 -x489 -x488 x487 x486 -x485 x484 -x483 -x482 x481 x480
1800.06/1800.51 v -x479 x478 -x477 -x476 x475 x474 -x473 x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 x463 x462 -x461 x460 -x459 -x458 x457
1800.06/1800.51 v x456 -x455 -x454 x453 x452 -x451 x450 -x449 x448 -x447 -x446 x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 -x436 x435 x434
1800.06/1800.51 v -x433 x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 x423 x422 -x421 x420 -x419 -x418 x417 x416 -x415 x414 -x413 -x412
1800.06/1800.51 v x411 -x410 -x409 x408 -x407 -x406 x405 x404 -x403 x402 -x401 x400 -x399 -x398 x397 x396 -x395 -x394 x393 x392 -x391 x390 -x389
1800.06/1800.51 v -x388 x387 x386 -x385 x384 -x383 -x382 x381 -x380 x379 x378 -x377 -x376 -x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367
1800.06/1800.51 v -x366 x365 -x364 x363 -x362 x361 -x360 -x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 x350 -x349 -x348 x347 -x346 x345 -x344
1800.06/1800.51 v x343 -x342 x341 -x340 -x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326 x325 -x324 x323 -x322
1800.06/1800.51 v -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 x305 -x304 x303 -x302 -x301 -x300
1800.06/1800.51 v x299 -x298 x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 x281 -x280 x279 -x278
1800.06/1800.51 v -x277 -x276 x275 -x274 x273 -x272 -x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 -x261 x260 -x259 -x258 x257 -x256
1800.06/1800.51 v x255 -x254 x253 x252 -x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 x242 -x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233
1800.06/1800.51 v -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210
1800.06/1800.51 v x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188
1800.06/1800.51 v x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165
1800.06/1800.51 v -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142
1800.06/1800.51 v x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119
1800.06/1800.51 v -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96
1800.06/1800.51 v x95 -x94 x93 -x92 x91 x90 -x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68
1800.06/1800.51 v x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40
1800.06/1800.51 v x39 x38 -x37 -x36 x35 x34 -x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13
1800.06/1800.51 v -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.06/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.51 c Solving Time : 1720.71
1800.06/1800.51 c Original Problem :
1800.06/1800.51 c Problem name : HOME/instance-2667540-1276452610.opb
1800.06/1800.51 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51 c Constraints : 7493 initial, 7493 maximal
1800.06/1800.51 c Presolved Problem :
1800.06/1800.51 c Problem name : t_HOME/instance-2667540-1276452610.opb
1800.06/1800.51 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51 c Constraints : 7493 initial, 8101 maximal
1800.06/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c probing : 0.07 0 0 0 0 0 0 0 0
1800.06/1800.51 c logicor : 0.07 0 0 0 0 0 0 0 0
1800.06/1800.51 c root node : - 4 - - 4 - - - -
1800.06/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.06/1800.51 c logicor : 7493+ 8 7378585 0 7 1128981 9933985 0 0 0
1800.06/1800.51 c countsols : 0 0 0 0 7 0 0 0 0 0
1800.06/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.51 c integral : 9.73 0.00 0.00 9.73 0.00
1800.06/1800.51 c logicor : 862.47 0.02 862.45 0.00 0.00
1800.06/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.51 c vbounds : 5.84 2 0 0
1800.06/1800.51 c rootredcost : 5.76 7 0 0
1800.06/1800.51 c pseudoobj : 479.08 11281090 894407 17901784
1800.06/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.51 c propagation : 763.79 1128981 1128970 1128970 27.2 4809 48.3 -
1800.06/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c pseudo solution : 48.75 140491 0 0 0.0 0 0.0 -
1800.06/1800.51 c applied globally : - - - 1133773 27.3 - - -
1800.06/1800.51 c applied locally : - - - 0 0.0 - - -
1800.06/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.51 c cut pool : 0.00 7 - - 0 - (maximal pool size: 279)
1800.06/1800.51 c redcost : 0.00 8 0 0 0 0
1800.06/1800.51 c impliedbounds : 0.02 8 0 0 0 0
1800.06/1800.51 c intobj : 0.00 0 0 0 0 0
1800.06/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.51 c gomory : 1.85 8 0 0 16 0
1800.06/1800.51 c strongcg : 1.66 8 0 0 942 0
1800.06/1800.51 c cmir : 0.40 8 0 0 0 0
1800.06/1800.51 c flowcover : 0.27 8 0 0 0 0
1800.06/1800.51 c clique : 0.04 1 0 0 0 0
1800.06/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.51 c mcf : 0.01 1 0 0 0 0
1800.06/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.51 c Pricers : Time Calls Vars
1800.06/1800.51 c problem variables: 0.00 0 0
1800.06/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.51 c relpscost : 9.73 1 0 0 0 0 2
1800.06/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.51 c inference : 30.14 2326850 0 0 0 0 4653700
1800.06/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.51 c random : 0.00 0 0 0 0 0 0
1800.06/1800.51 c Primal Heuristics : Time Calls Found
1800.06/1800.51 c LP solutions : 0.00 - 0
1800.06/1800.51 c pseudo solutions : 0.01 - 7
1800.06/1800.51 c oneopt : 3.14 0 0
1800.06/1800.51 c crossover : 0.00 0 0
1800.06/1800.51 c trivial : 0.02 2 0
1800.06/1800.51 c simplerounding : 0.00 0 0
1800.06/1800.51 c zirounding : 0.00 1 0
1800.06/1800.51 c rounding : 0.00 8 0
1800.06/1800.51 c shifting : 0.10 8 0
1800.06/1800.51 c intshifting : 0.00 0 0
1800.06/1800.51 c twoopt : 0.00 0 0
1800.06/1800.51 c fixandinfer : 0.00 0 0
1800.06/1800.51 c feaspump : 12.11 1 0
1800.06/1800.51 c coefdiving : 0.00 0 0
1800.06/1800.51 c pscostdiving : 0.00 0 0
1800.06/1800.51 c fracdiving : 0.00 0 0
1800.06/1800.51 c veclendiving : 0.00 0 0
1800.06/1800.51 c intdiving : 0.00 0 0
1800.06/1800.51 c actconsdiving : 0.00 0 0
1800.06/1800.51 c objpscostdiving : 0.00 0 0
1800.06/1800.51 c rootsoldiving : 0.00 0 0
1800.06/1800.51 c linesearchdiving : 0.00 0 0
1800.06/1800.51 c guideddiving : 0.00 0 0
1800.06/1800.51 c octane : 0.00 0 0
1800.06/1800.51 c rens : 0.01 0 0
1800.06/1800.51 c rins : 0.00 0 0
1800.06/1800.51 c localbranching : 0.00 0 0
1800.06/1800.51 c mutation : 0.00 0 0
1800.06/1800.51 c dins : 0.00 0 0
1800.06/1800.51 c undercover : 0.00 0 0
1800.06/1800.51 c nlp : 1.98 0 0
1800.06/1800.51 c trysol : 1.85 0 0
1800.06/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.51 c primal LP : 0.01 0 0 0.00 0.00
1800.06/1800.51 c dual LP : 2.90 8 3751 468.88 1293.45
1800.06/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.51 c diving/probing LP: 11.95 49 7238 147.71 605.69
1800.06/1800.51 c strong branching : 9.73 17 8992 528.94 924.15
1800.06/1800.51 c (at root node) : - 17 8992 528.94 -
1800.06/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.51 c B&B Tree :
1800.06/1800.51 c number of runs : 1
1800.06/1800.51 c nodes : 3990089
1800.06/1800.51 c nodes (total) : 3990089
1800.06/1800.51 c nodes left : 20
1800.06/1800.51 c max depth : 62
1800.06/1800.51 c max depth (total): 62
1800.06/1800.51 c backtracks : 1157269 (29.0%)
1800.06/1800.51 c delayed cutoffs : 592186
1800.06/1800.51 c repropagations : 996301 (6195904 domain reductions, 500648 cutoffs)
1800.06/1800.51 c avg switch length: 2.10
1800.06/1800.51 c switching time : 88.80
1800.06/1800.51 c Solution :
1800.06/1800.51 c Solutions found : 7 (7 improvements)
1800.06/1800.51 c First Solution : +3.77000000000000e+02 (in run 1, after 389 nodes, 30.20 seconds, depth 29, found by <relaxation>)
1800.06/1800.51 c Primal Bound : +3.64000000000000e+02 (in run 1, after 767941 nodes, 373.94 seconds, depth 54, found by <relaxation>)
1800.06/1800.51 c Dual Bound : +2.63573699780467e+02
1800.06/1800.51 c Gap : 38.10 %
1800.06/1800.51 c Root Dual Bound : +2.63529993078001e+02
1800.06/1800.51 c Root Iterations : 10989
1800.06/1800.56 c Time complete: 1800.12.