0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2666110-1276452269.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.09/0.20 c presolving:
0.29/0.34 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.37 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.47 c (0.3s) probing: 101/774 (13.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.47 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (3 rounds):
0.39/0.47 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 51462 implications, 0 cliques
0.39/0.47 c presolved problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
0.39/0.47 c 7493 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.25
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 1.2.1.2
0.39/0.47 c
0.39/0.47 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c conflict/interconss = 0
0.39/0.47 c
0.39/0.47 c # should binary conflicts be preferred?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c conflict/preferbinary = TRUE
0.39/0.47 c
0.39/0.47 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c constraints/agelimit = 1
0.39/0.47 c
0.39/0.47 c # should enforcement of pseudo solution be disabled?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/disableenfops = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1799.85
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 1620
0.39/0.47 c
0.39/0.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c lp/solvefreq = 0
0.39/0.47 c
0.39/0.47 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.47 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.47 c lp/pricing = a
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # priority of node selection rule <dfs> in standard mode
0.39/0.47 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.47 c nodeselection/dfs/stdpriority = 1000000
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.59/0.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.69 c 0.5s| 1 | 0 | 872 | - | 13M| 0 | 709 | 774 |7493 | 774 |7493 | 0 | 0 | 0 | 2.630938e+02 | -- | Inf
1.19/1.24 c 1.0s| 1 | 0 | 1090 | - | 13M| 0 | 613 | 774 |7493 | 774 |7496 | 3 | 0 | 0 | 2.631875e+02 | -- | Inf
1.99/2.06 c 1.8s| 1 | 0 | 1882 | - | 13M| 0 | 708 | 774 |7493 | 774 |7499 | 6 | 0 | 0 | 2.633903e+02 | -- | Inf
2.79/2.89 c 2.6s| 1 | 0 | 2525 | - | 14M| 0 | 694 | 774 |7493 | 774 |7502 | 9 | 0 | 0 | 2.634794e+02 | -- | Inf
3.49/3.57 c 3.2s| 1 | 0 | 2869 | - | 14M| 0 | 689 | 774 |7493 | 774 |7504 | 11 | 0 | 0 | 2.635147e+02 | -- | Inf
4.30/4.35 c 4.0s| 1 | 0 | 3246 | - | 15M| 0 | 673 | 774 |7493 | 774 |7506 | 13 | 0 | 0 | 2.635345e+02 | -- | Inf
5.19/5.20 c 4.8s| 1 | 0 | 3696 | - | 15M| 0 | 676 | 774 |7493 | 774 |7508 | 15 | 0 | 0 | 2.635444e+02 | -- | Inf
5.89/5.95 c 5.6s| 1 | 0 | 3905 | - | 15M| 0 | 670 | 774 |7493 | 774 |7509 | 16 | 0 | 0 | 2.635488e+02 | -- | Inf
6.60/6.64 c 6.2s| 1 | 0 | 4048 | - | 15M| 0 | 673 | 774 |7493 | 774 |7510 | 17 | 0 | 0 | 2.635506e+02 | -- | Inf
7.19/7.29 c 6.9s| 1 | 0 | 4141 | - | 15M| 0 | 675 | 774 |7493 | 774 |7511 | 18 | 0 | 0 | 2.635515e+02 | -- | Inf
16.08/16.17 c 15.6s| 1 | 2 | 4141 | - | 15M| 0 | 675 | 774 |7493 | 774 |7511 | 18 | 0 | 17 | 2.635515e+02 | -- | Inf
16.88/16.90 o 377
16.88/16.90 c *16.3s| 389 | 21 | 4141 | 0.0 | 15M| 35 | - | 774 |7499 | 0 | 0 | 18 | 223 | 17 | 2.636007e+02 | 3.770000e+02 | 43.02%
17.49/17.53 o 374
17.49/17.53 c *16.9s| 1938 | 23 | 4141 | 0.0 | 15M| 35 | - | 774 |7502 | 0 | 0 | 18 | 632 | 17 | 2.636007e+02 | 3.740000e+02 | 41.88%
17.49/17.53 o 372
17.49/17.53 c *16.9s| 1953 | 25 | 4141 | 0.0 | 15M| 41 | - | 774 |7502 | 0 | 0 | 18 | 632 | 17 | 2.636007e+02 | 3.720000e+02 | 41.12%
17.49/17.55 o 371
17.49/17.55 c *16.9s| 2002 | 22 | 4141 | 0.0 | 15M| 41 | - | 774 |7505 | 0 | 0 | 18 | 640 | 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
20.80/20.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.80/20.84 c 20.0s| 10000 | 19 | 4141 | 0.0 | 15M| 41 | - | 774 |7527 | 0 | 0 | 18 |2668 | 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
25.48/25.53 c 24.5s| 20000 | 15 | 4141 | 0.0 | 15M| 41 | - | 774 |7534 | 0 | 0 | 18 |6147 | 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
30.08/30.16 c 28.9s| 30000 | 18 | 4141 | 0.0 | 15M| 41 | - | 774 |7526 | 0 | 0 | 18 |9446 | 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
34.88/34.99 c 33.5s| 40000 | 17 | 4141 | 0.0 | 15M| 41 | - | 774 |7528 | 0 | 0 | 18 | 13k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
39.28/39.32 c 37.7s| 50000 | 19 | 4141 | 0.0 | 15M| 41 | - | 774 |7515 | 0 | 0 | 18 | 16k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
43.89/43.93 c 42.1s| 60000 | 17 | 4141 | 0.0 | 15M| 41 | - | 774 |7532 | 0 | 0 | 18 | 19k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
48.58/48.69 c 46.6s| 70000 | 16 | 4141 | 0.0 | 15M| 41 | - | 774 |7520 | 0 | 0 | 18 | 23k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
53.07/53.17 c 50.9s| 80000 | 13 | 4141 | 0.0 | 15M| 41 | - | 774 |7534 | 0 | 0 | 18 | 26k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
57.67/57.76 c 55.2s| 90000 | 13 | 4141 | 0.0 | 15M| 41 | - | 774 |7547 | 0 | 0 | 18 | 29k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
62.27/62.34 c 59.6s|100000 | 14 | 4141 | 0.0 | 15M| 41 | - | 774 |7540 | 0 | 0 | 18 | 33k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
67.27/67.31 c 64.4s|110000 | 14 | 4141 | 0.0 | 15M| 41 | - | 774 |7536 | 0 | 0 | 18 | 37k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
71.67/71.75 c 68.6s|120000 | 18 | 4141 | 0.0 | 15M| 41 | - | 774 |7518 | 0 | 0 | 18 | 40k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
76.07/76.14 c 72.8s|130000 | 18 | 4141 | 0.0 | 15M| 41 | - | 774 |7519 | 0 | 0 | 18 | 43k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
80.67/80.74 c 77.2s|140000 | 15 | 4141 | 0.0 | 15M| 41 | - | 774 |7526 | 0 | 0 | 18 | 47k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
85.26/85.35 c 81.6s|150000 | 15 | 4141 | 0.0 | 15M| 41 | - | 774 |7529 | 0 | 0 | 18 | 50k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
90.36/90.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.36/90.40 c 86.4s|160000 | 13 | 4141 | 0.0 | 15M| 41 | - | 774 |7546 | 0 | 0 | 18 | 55k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
95.36/95.49 c 91.3s|170000 | 17 | 4141 | 0.0 | 15M| 41 | - | 774 |7534 | 0 | 0 | 18 | 59k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
99.85/99.98 c 95.6s|180000 | 19 | 4141 | 0.0 | 15M| 41 | - | 774 |7547 | 0 | 0 | 18 | 62k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
104.36/104.47 c 99.8s|190000 | 17 | 4141 | 0.0 | 15M| 41 | - | 774 |7555 | 0 | 0 | 18 | 65k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
108.45/108.58 c 104s|200000 | 13 | 4141 | 0.0 | 15M| 41 | - | 774 |7554 | 0 | 0 | 18 | 68k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
113.27/113.39 c 108s|210000 | 11 | 4141 | 0.0 | 15M| 41 | - | 774 |7519 | 0 | 0 | 18 | 72k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
118.85/118.92 c 114s|220000 | 25 | 4141 | 0.0 | 15M| 41 | - | 774 |7501 | 0 | 0 | 18 | 76k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
123.85/123.96 c 119s|230000 | 24 | 4141 | 0.0 | 15M| 41 | - | 774 |7506 | 0 | 0 | 18 | 80k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
128.14/128.21 c 123s|240000 | 19 | 4141 | 0.0 | 15M| 41 | - | 774 |7508 | 0 | 0 | 18 | 83k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
132.84/132.98 c 127s|250000 | 22 | 4141 | 0.0 | 15M| 41 | - | 774 |7506 | 0 | 0 | 18 | 87k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
138.14/138.29 c 132s|260000 | 20 | 4141 | 0.0 | 15M| 41 | - | 774 |7509 | 0 | 0 | 18 | 91k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
143.55/143.63 c 137s|270000 | 22 | 4141 | 0.0 | 15M| 41 | - | 774 |7516 | 0 | 0 | 18 | 95k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
148.74/148.87 c 142s|280000 | 16 | 4141 | 0.0 | 15M| 41 | - | 774 |7506 | 0 | 0 | 18 | 100k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
153.04/153.19 c 146s|290000 | 19 | 4141 | 0.0 | 15M| 41 | - | 774 |7515 | 0 | 0 | 18 | 103k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
157.25/157.39 c 150s|300000 | 18 | 4141 | 0.0 | 15M| 41 | - | 774 |7522 | 0 | 0 | 18 | 106k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
162.23/162.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.23/162.30 c 155s|310000 | 17 | 4141 | 0.0 | 15M| 41 | - | 774 |7529 | 0 | 0 | 18 | 110k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
166.93/167.03 c 160s|320000 | 12 | 4141 | 0.0 | 15M| 41 | - | 774 |7521 | 0 | 0 | 18 | 114k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
171.73/171.80 c 164s|330000 | 15 | 4141 | 0.0 | 15M| 41 | - | 774 |7529 | 0 | 0 | 18 | 117k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
176.33/176.40 c 169s|340000 | 12 | 4141 | 0.0 | 15M| 41 | - | 774 |7533 | 0 | 0 | 18 | 121k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
180.83/180.91 c 173s|350000 | 18 | 4141 | 0.0 | 15M| 41 | - | 774 |7540 | 0 | 0 | 18 | 124k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
185.53/185.60 c 177s|360000 | 15 | 4141 | 0.0 | 15M| 41 | - | 774 |7550 | 0 | 0 | 18 | 127k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
190.33/190.49 c 182s|370000 | 12 | 4141 | 0.0 | 15M| 41 | - | 774 |7554 | 0 | 0 | 18 | 131k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
195.42/195.56 c 187s|380000 | 15 | 4141 | 0.0 | 15M| 41 | - | 774 |7544 | 0 | 0 | 18 | 135k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
200.13/200.27 c 191s|390000 | 13 | 4141 | 0.0 | 15M| 41 | - | 774 |7551 | 0 | 0 | 18 | 138k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
204.62/204.77 c 196s|400000 | 13 | 4141 | 0.0 | 15M| 41 | - | 774 |7558 | 0 | 0 | 18 | 142k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
209.82/209.92 c 201s|410000 | 13 | 4141 | 0.0 | 15M| 41 | - | 774 |7562 | 0 | 0 | 18 | 146k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
214.82/214.96 c 206s|420000 | 9 | 4141 | 0.0 | 15M| 41 | - | 774 |7571 | 0 | 0 | 18 | 150k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
219.71/219.80 c 210s|430000 | 14 | 4141 | 0.0 | 15M| 41 | - | 774 |7519 | 0 | 0 | 18 | 153k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
224.22/224.32 c 214s|440000 | 14 | 4141 | 0.0 | 15M| 41 | - | 774 |7534 | 0 | 0 | 18 | 157k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
228.82/228.93 c 219s|450000 | 16 | 4141 | 0.0 | 15M| 41 | - | 774 |7528 | 0 | 0 | 18 | 160k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
233.92/234.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.92/234.09 c 224s|460000 | 18 | 4141 | 0.0 | 15M| 41 | - | 774 |7520 | 0 | 0 | 18 | 164k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
238.41/238.56 c 228s|470000 | 14 | 4141 | 0.0 | 15M| 41 | - | 774 |7527 | 0 | 0 | 18 | 167k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
243.81/243.93 c 233s|480000 | 17 | 4141 | 0.0 | 15M| 41 | - | 774 |7567 | 0 | 0 | 18 | 171k| 17 | 2.636007e+02 | 3.710000e+02 | 40.74%
246.41/246.51 o 365
246.41/246.51 c * 236s|485875 | 46 | 4141 | 0.0 | 15M| 59 | - | 774 |7558 | 0 | 0 | 18 | 173k| 17 | 2.636007e+02 | 3.650000e+02 | 38.47%
246.51/246.67 o 364
246.51/246.67 c * 236s|486277 | 33 | 4141 | 0.0 | 15M| 59 | - | 774 |7563 | 0 | 0 | 18 | 173k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
248.01/248.11 c 237s|490000 | 26 | 4141 | 0.0 | 15M| 59 | - | 774 |7564 | 0 | 0 | 18 | 174k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
251.91/252.06 c 241s|500000 | 22 | 4141 | 0.0 | 15M| 59 | - | 774 |7562 | 0 | 0 | 18 | 176k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
255.91/256.04 c 245s|510000 | 29 | 4141 | 0.0 | 15M| 59 | - | 774 |7566 | 0 | 0 | 18 | 178k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
259.60/259.78 c 248s|520000 | 22 | 4141 | 0.0 | 15M| 59 | - | 774 |7561 | 0 | 0 | 18 | 180k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
263.40/263.56 c 252s|530000 | 22 | 4141 | 0.0 | 15M| 59 | - | 774 |7566 | 0 | 0 | 18 | 182k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
267.40/267.57 c 256s|540000 | 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7570 | 0 | 0 | 18 | 184k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
271.40/271.55 c 260s|550000 | 21 | 4141 | 0.0 | 15M| 59 | - | 774 |7561 | 0 | 0 | 18 | 185k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
275.50/275.64 c 263s|560000 | 20 | 4141 | 0.0 | 15M| 59 | - | 774 |7564 | 0 | 0 | 18 | 188k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
279.50/279.63 c 267s|570000 | 21 | 4141 | 0.0 | 15M| 59 | - | 774 |7562 | 0 | 0 | 18 | 189k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
283.50/283.62 c 271s|580000 | 14 | 4141 | 0.0 | 15M| 59 | - | 774 |7567 | 0 | 0 | 18 | 191k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
287.60/287.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.60/287.73 c 275s|590000 | 18 | 4141 | 0.0 | 15M| 59 | - | 774 |7564 | 0 | 0 | 18 | 193k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
291.89/292.02 c 279s|600000 | 23 | 4141 | 0.0 | 15M| 59 | - | 774 |7566 | 0 | 0 | 18 | 196k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
295.70/295.87 c 283s|610000 | 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7562 | 0 | 0 | 18 | 198k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
299.79/299.92 c 287s|620000 | 16 | 4141 | 0.0 | 15M| 59 | - | 774 |7566 | 0 | 0 | 18 | 200k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
303.98/304.15 c 291s|630000 | 19 | 4141 | 0.0 | 15M| 59 | - | 774 |7565 | 0 | 0 | 18 | 202k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
308.08/308.29 c 295s|640000 | 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7566 | 0 | 0 | 18 | 204k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
312.49/312.63 c 299s|650000 | 19 | 4141 | 0.0 | 15M| 59 | - | 774 |7570 | 0 | 0 | 18 | 206k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
317.08/317.28 c 303s|660000 | 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7573 | 0 | 0 | 18 | 209k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
321.18/321.35 c 307s|670000 | 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7594 | 0 | 0 | 18 | 211k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
325.18/325.39 c 311s|680000 | 23 | 4141 | 0.0 | 15M| 59 | - | 774 |7586 | 0 | 0 | 18 | 213k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
329.18/329.33 c 315s|690000 | 19 | 4141 | 0.0 | 15M| 59 | - | 774 |7587 | 0 | 0 | 18 | 215k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
332.98/333.10 c 318s|700000 | 15 | 4141 | 0.0 | 15M| 59 | - | 774 |7590 | 0 | 0 | 18 | 217k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
336.77/337.00 c 322s|710000 | 20 | 4141 | 0.0 | 15M| 59 | - | 774 |7586 | 0 | 0 | 18 | 219k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
340.78/340.96 c 326s|720000 | 18 | 4141 | 0.0 | 15M| 59 | - | 774 |7588 | 0 | 0 | 18 | 221k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
344.67/344.87 c 329s|730000 | 21 | 4141 | 0.0 | 15M| 59 | - | 774 |7592 | 0 | 0 | 18 | 223k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
348.68/348.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.68/348.84 c 333s|740000 | 19 | 4141 | 0.0 | 15M| 59 | - | 774 |7597 | 0 | 0 | 18 | 225k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
352.67/352.81 c 337s|750000 | 20 | 4141 | 0.0 | 15M| 59 | - | 774 |7595 | 0 | 0 | 18 | 227k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
356.57/356.77 c 341s|760000 | 21 | 4141 | 0.0 | 15M| 59 | - | 774 |7600 | 0 | 0 | 18 | 229k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
360.58/360.78 c 345s|770000 | 20 | 4141 | 0.0 | 15M| 59 | - | 774 |7597 | 0 | 0 | 18 | 231k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
364.86/365.08 c 349s|780000 | 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7598 | 0 | 0 | 18 | 233k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
368.86/369.01 c 352s|790000 | 20 | 4141 | 0.0 | 15M| 59 | - | 774 |7567 | 0 | 0 | 18 | 235k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
372.86/373.08 c 356s|800000 | 25 | 4141 | 0.0 | 15M| 59 | - | 774 |7570 | 0 | 0 | 18 | 237k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
377.07/377.22 c 360s|810000 | 18 | 4141 | 0.0 | 15M| 59 | - | 774 |7572 | 0 | 0 | 18 | 239k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
381.26/381.41 c 364s|820000 | 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7573 | 0 | 0 | 18 | 242k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
385.87/386.02 c 369s|830000 | 18 | 4141 | 0.0 | 15M| 59 | - | 774 |7577 | 0 | 0 | 18 | 244k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
389.96/390.13 c 373s|840000 | 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7565 | 0 | 0 | 18 | 246k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
394.16/394.37 c 377s|850000 | 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7575 | 0 | 0 | 18 | 248k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
398.55/398.71 c 381s|860000 | 15 | 4141 | 0.0 | 15M| 59 | - | 774 |7570 | 0 | 0 | 18 | 251k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
402.55/402.75 c 385s|870000 | 18 | 4141 | 0.0 | 15M| 59 | - | 774 |7570 | 0 | 0 | 18 | 253k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
406.36/406.55 c 388s|880000 | 15 | 4141 | 0.0 | 15M| 59 | - | 774 |7570 | 0 | 0 | 18 | 255k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
410.45/410.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.45/410.63 c 392s|890000 | 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7573 | 0 | 0 | 18 | 257k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
414.95/415.13 c 396s|900000 | 23 | 4141 | 0.0 | 15M| 59 | - | 774 |7578 | 0 | 0 | 18 | 260k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
418.96/419.17 c 400s|910000 | 22 | 4141 | 0.0 | 15M| 59 | - | 774 |7574 | 0 | 0 | 18 | 262k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
423.05/423.20 c 404s|920000 | 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7576 | 0 | 0 | 18 | 264k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
427.04/427.20 c 408s|930000 | 19 | 4141 | 0.0 | 15M| 59 | - | 774 |7575 | 0 | 0 | 18 | 266k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
430.85/431.09 c 412s|940000 | 20 | 4141 | 0.0 | 15M| 59 | - | 774 |7579 | 0 | 0 | 18 | 268k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
434.84/435.01 c 415s|950000 | 20 | 4141 | 0.0 | 15M| 59 | - | 774 |7580 | 0 | 0 | 18 | 270k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
438.95/439.16 c 419s|960000 | 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7591 | 0 | 0 | 18 | 272k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
443.05/443.25 c 423s|970000 | 16 | 4141 | 0.0 | 15M| 59 | - | 774 |7591 | 0 | 0 | 18 | 274k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
446.94/447.14 c 427s|980000 | 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7614 | 0 | 0 | 18 | 276k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
450.94/451.11 c 431s|990000 | 14 | 4141 | 0.0 | 15M| 59 | - | 774 |7626 | 0 | 0 | 18 | 278k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
454.94/455.19 c 435s| 1000k| 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7588 | 0 | 0 | 18 | 280k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
459.04/459.24 c 439s| 1010k| 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7578 | 0 | 0 | 18 | 283k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
463.33/463.52 c 443s| 1020k| 14 | 4141 | 0.0 | 15M| 59 | - | 774 |7578 | 0 | 0 | 18 | 285k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
467.13/467.33 c 446s| 1030k| 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7583 | 0 | 0 | 18 | 286k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
471.14/471.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.14/471.34 c 450s| 1040k| 16 | 4141 | 0.0 | 15M| 59 | - | 774 |7583 | 0 | 0 | 18 | 289k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
475.04/475.21 c 454s| 1050k| 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7601 | 0 | 0 | 18 | 290k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
479.34/479.52 c 458s| 1060k| 12 | 4141 | 0.0 | 15M| 59 | - | 774 |7606 | 0 | 0 | 18 | 293k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
483.33/483.57 c 462s| 1070k| 15 | 4141 | 0.0 | 15M| 59 | - | 774 |7569 | 0 | 0 | 18 | 296k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
487.63/487.86 c 466s| 1080k| 16 | 4141 | 0.0 | 15M| 59 | - | 774 |7579 | 0 | 0 | 18 | 299k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
491.53/491.72 c 469s| 1090k| 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7581 | 0 | 0 | 18 | 301k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
495.83/496.10 c 474s| 1100k| 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7581 | 0 | 0 | 18 | 303k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
499.82/500.01 c 477s| 1110k| 16 | 4141 | 0.0 | 15M| 59 | - | 774 |7583 | 0 | 0 | 18 | 305k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
503.92/504.11 c 481s| 1120k| 14 | 4141 | 0.0 | 15M| 59 | - | 774 |7599 | 0 | 0 | 18 | 307k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
507.82/508.03 c 485s| 1130k| 13 | 4141 | 0.0 | 15M| 59 | - | 774 |7598 | 0 | 0 | 18 | 309k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
511.62/511.80 c 489s| 1140k| 10 | 4141 | 0.0 | 15M| 59 | - | 774 |7626 | 0 | 0 | 18 | 311k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
515.52/515.77 c 492s| 1150k| 21 | 4141 | 0.0 | 15M| 59 | - | 774 |7629 | 0 | 0 | 18 | 313k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
519.51/519.74 c 496s| 1160k| 16 | 4141 | 0.0 | 15M| 59 | - | 774 |7637 | 0 | 0 | 18 | 315k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
523.32/523.57 c 500s| 1170k| 19 | 4141 | 0.0 | 15M| 59 | - | 774 |7647 | 0 | 0 | 18 | 317k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
527.22/527.49 c 504s| 1180k| 21 | 4141 | 0.0 | 15M| 59 | - | 774 |7652 | 0 | 0 | 18 | 319k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
531.22/531.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.22/531.47 c 507s| 1190k| 16 | 4141 | 0.0 | 16M| 59 | - | 774 |7677 | 0 | 0 | 18 | 321k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
535.42/535.62 c 511s| 1200k| 16 | 4141 | 0.0 | 16M| 59 | - | 774 |7697 | 0 | 0 | 18 | 323k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
539.41/539.66 c 515s| 1210k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7703 | 0 | 0 | 18 | 325k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
543.61/543.83 c 519s| 1220k| 19 | 4141 | 0.0 | 16M| 59 | - | 774 |7711 | 0 | 0 | 18 | 327k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
547.40/547.64 c 523s| 1230k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7728 | 0 | 0 | 18 | 329k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
551.51/551.70 c 527s| 1240k| 16 | 4141 | 0.0 | 16M| 59 | - | 774 |7711 | 0 | 0 | 18 | 331k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
555.40/555.68 c 530s| 1250k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |7731 | 0 | 0 | 18 | 333k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
559.71/559.91 c 534s| 1260k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7749 | 0 | 0 | 18 | 335k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
564.10/564.34 c 539s| 1270k| 17 | 4141 | 0.0 | 16M| 59 | - | 774 |7755 | 0 | 0 | 18 | 338k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
568.30/568.53 c 543s| 1280k| 15 | 4141 | 0.0 | 16M| 59 | - | 774 |7750 | 0 | 0 | 18 | 340k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
572.20/572.47 c 546s| 1290k| 11 | 4141 | 0.0 | 16M| 59 | - | 774 |7777 | 0 | 0 | 18 | 342k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
576.30/576.50 c 550s| 1300k| 15 | 4141 | 0.0 | 16M| 59 | - | 774 |7766 | 0 | 0 | 18 | 344k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
580.09/580.32 c 554s| 1310k| 10 | 4141 | 0.0 | 16M| 59 | - | 774 |7803 | 0 | 0 | 18 | 346k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
583.99/584.28 c 558s| 1320k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |7824 | 0 | 0 | 18 | 348k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
588.80/589.08 c 562s| 1330k| 19 | 4141 | 0.0 | 15M| 59 | - | 774 |7567 | 0 | 0 | 18 | 351k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
592.89/593.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.89/593.18 c 566s| 1340k| 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7569 | 0 | 0 | 18 | 353k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
596.79/597.06 c 570s| 1350k| 14 | 4141 | 0.0 | 15M| 59 | - | 774 |7580 | 0 | 0 | 18 | 355k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
600.69/600.93 c 574s| 1360k| 12 | 4141 | 0.0 | 15M| 59 | - | 774 |7590 | 0 | 0 | 18 | 357k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
604.89/605.10 c 578s| 1370k| 15 | 4141 | 0.0 | 15M| 59 | - | 774 |7586 | 0 | 0 | 18 | 359k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
608.68/608.97 c 581s| 1380k| 14 | 4141 | 0.0 | 15M| 59 | - | 774 |7598 | 0 | 0 | 18 | 361k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
612.79/613.07 c 585s| 1390k| 9 | 4141 | 0.0 | 15M| 59 | - | 774 |7626 | 0 | 0 | 18 | 364k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
617.08/617.30 c 589s| 1400k| 17 | 4141 | 0.0 | 15M| 59 | - | 774 |7615 | 0 | 0 | 18 | 366k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
620.88/621.19 c 593s| 1410k| 14 | 4141 | 0.0 | 15M| 59 | - | 774 |7622 | 0 | 0 | 18 | 368k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
624.98/625.28 c 597s| 1420k| 11 | 4141 | 0.0 | 16M| 59 | - | 774 |7632 | 0 | 0 | 18 | 371k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
628.98/629.23 c 600s| 1430k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7655 | 0 | 0 | 18 | 373k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
633.08/633.36 c 604s| 1440k| 13 | 4141 | 0.0 | 16M| 59 | - | 774 |7665 | 0 | 0 | 18 | 376k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
637.27/637.53 c 608s| 1450k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7662 | 0 | 0 | 18 | 378k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
641.47/641.71 c 612s| 1460k| 13 | 4141 | 0.0 | 16M| 59 | - | 774 |7695 | 0 | 0 | 18 | 381k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
645.38/645.61 c 616s| 1470k| 11 | 4141 | 0.0 | 16M| 59 | - | 774 |7699 | 0 | 0 | 18 | 383k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
649.97/650.23 c 620s| 1480k| 18 | 4141 | 0.0 | 16M| 59 | - | 774 |7689 | 0 | 0 | 18 | 386k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
654.48/654.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.48/654.77 c 625s| 1490k| 22 | 4141 | 0.0 | 16M| 59 | - | 774 |7690 | 0 | 0 | 18 | 389k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
659.27/659.56 c 629s| 1500k| 15 | 4141 | 0.0 | 16M| 59 | - | 774 |7691 | 0 | 0 | 18 | 392k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
664.08/664.31 c 634s| 1510k| 10 | 4141 | 0.0 | 16M| 59 | - | 774 |7694 | 0 | 0 | 18 | 394k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
668.07/668.39 c 638s| 1520k| 22 | 4141 | 0.0 | 16M| 59 | - | 774 |7690 | 0 | 0 | 18 | 396k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
672.16/672.45 c 642s| 1530k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7692 | 0 | 0 | 18 | 398k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
676.56/676.84 c 646s| 1540k| 19 | 4141 | 0.0 | 16M| 59 | - | 774 |7696 | 0 | 0 | 18 | 401k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
680.76/681.01 c 650s| 1550k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |7697 | 0 | 0 | 18 | 403k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
684.76/685.05 c 654s| 1560k| 13 | 4141 | 0.0 | 16M| 59 | - | 774 |7703 | 0 | 0 | 18 | 405k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
688.86/689.14 c 658s| 1570k| 22 | 4141 | 0.0 | 16M| 59 | - | 774 |7705 | 0 | 0 | 18 | 407k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
693.56/693.84 c 662s| 1580k| 18 | 4141 | 0.0 | 16M| 59 | - | 774 |7689 | 0 | 0 | 18 | 410k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
698.05/698.36 c 666s| 1590k| 15 | 4141 | 0.0 | 16M| 59 | - | 774 |7694 | 0 | 0 | 18 | 413k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
701.86/702.18 c 670s| 1600k| 15 | 4141 | 0.0 | 16M| 59 | - | 774 |7695 | 0 | 0 | 18 | 415k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
705.55/705.89 c 674s| 1610k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7703 | 0 | 0 | 18 | 416k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
710.55/710.84 c 678s| 1620k| 23 | 4141 | 0.0 | 16M| 59 | - | 774 |7699 | 0 | 0 | 18 | 420k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
715.45/715.75 c 683s| 1630k| 18 | 4141 | 0.0 | 16M| 59 | - | 774 |7699 | 0 | 0 | 18 | 424k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
719.75/720.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.75/720.03 c 687s| 1640k| 18 | 4141 | 0.0 | 16M| 59 | - | 774 |7711 | 0 | 0 | 18 | 426k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
723.95/724.22 c 691s| 1650k| 11 | 4141 | 0.0 | 16M| 59 | - | 774 |7718 | 0 | 0 | 18 | 428k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
727.95/728.28 c 695s| 1660k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |7730 | 0 | 0 | 18 | 431k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
732.35/732.61 c 699s| 1670k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7746 | 0 | 0 | 18 | 433k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
736.85/737.17 c 703s| 1680k| 10 | 4141 | 0.0 | 16M| 59 | - | 774 |7751 | 0 | 0 | 18 | 436k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
741.35/741.67 c 708s| 1690k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |7791 | 0 | 0 | 18 | 439k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
745.93/746.24 c 712s| 1700k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7821 | 0 | 0 | 18 | 442k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
750.14/750.49 c 716s| 1710k| 11 | 4141 | 0.0 | 16M| 59 | - | 774 |7825 | 0 | 0 | 18 | 444k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
754.54/754.81 c 720s| 1720k| 15 | 4141 | 0.0 | 16M| 59 | - | 774 |7828 | 0 | 0 | 18 | 447k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
758.93/759.27 c 724s| 1730k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |7856 | 0 | 0 | 18 | 450k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
763.54/763.82 c 729s| 1740k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |7867 | 0 | 0 | 18 | 453k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
767.83/768.18 c 733s| 1750k| 21 | 4141 | 0.0 | 16M| 59 | - | 774 |7864 | 0 | 0 | 18 | 455k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
771.63/771.99 c 737s| 1760k| 18 | 4141 | 0.0 | 16M| 59 | - | 774 |7874 | 0 | 0 | 18 | 457k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
775.43/775.78 c 740s| 1770k| 13 | 4141 | 0.0 | 16M| 59 | - | 774 |7899 | 0 | 0 | 18 | 459k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
779.32/779.64 c 744s| 1780k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7944 | 0 | 0 | 18 | 461k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
783.42/783.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.42/783.76 c 748s| 1790k| 16 | 4141 | 0.0 | 16M| 59 | - | 774 |7955 | 0 | 0 | 18 | 464k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
787.82/788.17 c 752s| 1800k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |7959 | 0 | 0 | 18 | 467k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
791.52/791.85 c 756s| 1810k| 13 | 4141 | 0.0 | 16M| 59 | - | 774 |7978 | 0 | 0 | 18 | 469k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
795.22/795.57 c 759s| 1820k| 10 | 4141 | 0.0 | 16M| 59 | - | 774 |7966 | 0 | 0 | 18 | 471k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
799.52/799.83 c 763s| 1830k| 10 | 4141 | 0.0 | 16M| 59 | - | 774 |7991 | 0 | 0 | 18 | 473k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
803.62/803.95 c 767s| 1840k| 16 | 4141 | 0.0 | 16M| 59 | - | 774 |8002 | 0 | 0 | 18 | 476k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
808.23/808.55 c 771s| 1850k| 17 | 4141 | 0.0 | 16M| 59 | - | 774 |7992 | 0 | 0 | 18 | 479k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
812.72/813.06 c 776s| 1860k| 18 | 4141 | 0.0 | 16M| 59 | - | 774 |8006 | 0 | 0 | 18 | 482k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
816.61/816.98 c 779s| 1870k| 16 | 4141 | 0.0 | 16M| 59 | - | 774 |8022 | 0 | 0 | 18 | 485k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
820.82/821.13 c 783s| 1880k| 19 | 4141 | 0.0 | 16M| 59 | - | 774 |8021 | 0 | 0 | 18 | 487k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
825.22/825.51 c 788s| 1890k| 14 | 4141 | 0.0 | 16M| 59 | - | 774 |8031 | 0 | 0 | 18 | 490k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
829.41/829.79 c 792s| 1900k| 12 | 4141 | 0.0 | 16M| 59 | - | 774 |7603 | 0 | 0 | 18 | 493k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
833.81/834.14 c 796s| 1910k| 9 | 4141 | 0.0 | 16M| 59 | - | 774 |7635 | 0 | 0 | 18 | 496k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
839.01/839.36 c 801s| 1920k| 32 | 4141 | 0.0 | 15M| 59 | - | 774 |7581 | 0 | 0 | 18 | 499k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
843.90/844.25 c 806s| 1930k| 29 | 4141 | 0.0 | 16M| 59 | - | 774 |7591 | 0 | 0 | 18 | 503k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
848.81/849.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.81/849.15 c 810s| 1940k| 24 | 4141 | 0.0 | 15M| 59 | - | 774 |7583 | 0 | 0 | 18 | 506k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
853.60/853.91 c 815s| 1950k| 23 | 4141 | 0.0 | 16M| 59 | - | 774 |7583 | 0 | 0 | 18 | 510k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
858.60/858.96 c 820s| 1960k| 25 | 4141 | 0.0 | 15M| 59 | - | 774 |7582 | 0 | 0 | 18 | 514k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
863.70/864.08 c 825s| 1970k| 22 | 4141 | 0.0 | 16M| 59 | - | 774 |7592 | 0 | 0 | 18 | 519k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
868.50/868.83 c 829s| 1980k| 24 | 4141 | 0.0 | 16M| 59 | - | 774 |7584 | 0 | 0 | 18 | 522k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
873.00/873.35 c 833s| 1990k| 22 | 4141 | 0.0 | 16M| 59 | - | 774 |7587 | 0 | 0 | 18 | 526k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
877.89/878.23 c 838s| 2000k| 24 | 4141 | 0.0 | 16M| 59 | - | 774 |7587 | 0 | 0 | 18 | 530k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
881.90/882.25 c 842s| 2010k| 24 | 4141 | 0.0 | 16M| 59 | - | 774 |7586 | 0 | 0 | 18 | 533k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
885.79/886.19 c 846s| 2020k| 22 | 4141 | 0.0 | 15M| 59 | - | 774 |7583 | 0 | 0 | 18 | 535k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
889.69/890.00 c 849s| 2030k| 24 | 4141 | 0.0 | 16M| 59 | - | 774 |7581 | 0 | 0 | 18 | 537k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
893.29/893.63 c 853s| 2040k| 27 | 4141 | 0.0 | 16M| 59 | - | 774 |7584 | 0 | 0 | 18 | 539k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
896.99/897.34 c 856s| 2050k| 22 | 4141 | 0.0 | 16M| 59 | - | 774 |7588 | 0 | 0 | 18 | 541k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
901.60/901.94 c 861s| 2060k| 21 | 4141 | 0.0 | 16M| 59 | - | 774 |7591 | 0 | 0 | 18 | 544k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
906.19/906.52 c 865s| 2070k| 20 | 4141 | 0.0 | 16M| 59 | - | 774 |7587 | 0 | 0 | 18 | 548k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
910.39/910.74 c 869s| 2080k| 22 | 4141 | 0.0 | 16M| 60 | - | 774 |7586 | 0 | 0 | 18 | 551k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
914.79/915.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.79/915.17 c 874s| 2090k| 26 | 4141 | 0.0 | 16M| 60 | - | 774 |7584 | 0 | 0 | 18 | 555k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
919.48/919.84 c 878s| 2100k| 19 | 4141 | 0.0 | 15M| 60 | - | 774 |7579 | 0 | 0 | 18 | 558k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
923.69/924.04 c 882s| 2110k| 18 | 4141 | 0.0 | 15M| 60 | - | 774 |7581 | 0 | 0 | 18 | 561k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
927.58/927.98 c 886s| 2120k| 27 | 4141 | 0.0 | 16M| 60 | - | 774 |7579 | 0 | 0 | 18 | 563k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
931.18/931.58 c 889s| 2130k| 23 | 4141 | 0.0 | 15M| 60 | - | 774 |7580 | 0 | 0 | 18 | 565k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
934.97/935.37 c 893s| 2140k| 19 | 4141 | 0.0 | 16M| 60 | - | 774 |7582 | 0 | 0 | 18 | 567k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
938.57/938.93 c 896s| 2150k| 25 | 4141 | 0.0 | 16M| 60 | - | 774 |7579 | 0 | 0 | 18 | 569k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
942.08/942.42 c 900s| 2160k| 24 | 4141 | 0.0 | 16M| 60 | - | 774 |7580 | 0 | 0 | 18 | 571k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
945.77/946.11 c 903s| 2170k| 19 | 4141 | 0.0 | 16M| 60 | - | 774 |7580 | 0 | 0 | 18 | 572k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
950.08/950.42 c 907s| 2180k| 18 | 4141 | 0.0 | 15M| 60 | - | 774 |7579 | 0 | 0 | 18 | 575k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
954.17/954.56 c 911s| 2190k| 19 | 4141 | 0.0 | 16M| 60 | - | 774 |7582 | 0 | 0 | 18 | 577k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
958.27/958.69 c 915s| 2200k| 21 | 4141 | 0.0 | 16M| 60 | - | 774 |7584 | 0 | 0 | 18 | 579k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
962.47/962.81 c 919s| 2210k| 18 | 4141 | 0.0 | 15M| 60 | - | 774 |7582 | 0 | 0 | 18 | 581k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
966.57/966.98 c 923s| 2220k| 19 | 4141 | 0.0 | 16M| 60 | - | 774 |7582 | 0 | 0 | 18 | 584k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
970.47/970.88 c 927s| 2230k| 22 | 4141 | 0.0 | 16M| 60 | - | 774 |7582 | 0 | 0 | 18 | 585k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
974.56/974.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.56/974.97 c 931s| 2240k| 19 | 4141 | 0.0 | 16M| 60 | - | 774 |7584 | 0 | 0 | 18 | 587k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
978.57/978.91 c 935s| 2250k| 23 | 4141 | 0.0 | 16M| 60 | - | 774 |7583 | 0 | 0 | 18 | 589k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
982.56/982.95 c 938s| 2260k| 23 | 4141 | 0.0 | 16M| 60 | - | 774 |7582 | 0 | 0 | 18 | 592k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
986.56/986.92 c 942s| 2270k| 17 | 4141 | 0.0 | 16M| 60 | - | 774 |7585 | 0 | 0 | 18 | 593k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
990.56/990.99 c 946s| 2280k| 19 | 4141 | 0.0 | 16M| 60 | - | 774 |7587 | 0 | 0 | 18 | 595k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
994.85/995.23 c 950s| 2290k| 21 | 4141 | 0.0 | 16M| 60 | - | 774 |7582 | 0 | 0 | 18 | 598k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
999.05/999.44 c 954s| 2300k| 18 | 4141 | 0.0 | 16M| 60 | - | 774 |7607 | 0 | 0 | 18 | 600k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1003.35/1003.76 c 958s| 2310k| 20 | 4141 | 0.0 | 16M| 60 | - | 774 |7590 | 0 | 0 | 18 | 604k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1007.95/1008.39 c 963s| 2320k| 25 | 4141 | 0.0 | 16M| 63 | - | 774 |7593 | 0 | 0 | 18 | 607k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1012.44/1012.83 c 967s| 2330k| 27 | 4141 | 0.0 | 16M| 63 | - | 774 |7587 | 0 | 0 | 18 | 610k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1016.25/1016.63 c 971s| 2340k| 25 | 4141 | 0.0 | 16M| 63 | - | 774 |7589 | 0 | 0 | 18 | 612k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1020.05/1020.45 c 974s| 2350k| 27 | 4141 | 0.0 | 16M| 63 | - | 774 |7589 | 0 | 0 | 18 | 614k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1024.04/1024.48 c 978s| 2360k| 22 | 4141 | 0.0 | 16M| 63 | - | 774 |7589 | 0 | 0 | 18 | 617k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1028.15/1028.51 c 982s| 2370k| 24 | 4141 | 0.0 | 16M| 63 | - | 774 |7590 | 0 | 0 | 18 | 619k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1032.34/1032.79 c 986s| 2380k| 23 | 4141 | 0.0 | 16M| 63 | - | 774 |7597 | 0 | 0 | 18 | 623k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1036.44/1036.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.44/1036.87 c 990s| 2390k| 24 | 4141 | 0.0 | 16M| 63 | - | 774 |7589 | 0 | 0 | 18 | 626k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1040.64/1041.01 c 994s| 2400k| 28 | 4141 | 0.0 | 16M| 63 | - | 774 |7592 | 0 | 0 | 18 | 629k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1044.84/1045.28 c 998s| 2410k| 22 | 4141 | 0.0 | 16M| 63 | - | 774 |7596 | 0 | 0 | 18 | 632k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1048.74/1049.12 c 1002s| 2420k| 17 | 4141 | 0.0 | 16M| 63 | - | 774 |7596 | 0 | 0 | 18 | 634k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1052.84/1053.26 c 1006s| 2430k| 21 | 4141 | 0.0 | 16M| 63 | - | 774 |7592 | 0 | 0 | 18 | 636k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1056.65/1057.09 c 1009s| 2440k| 20 | 4141 | 0.0 | 16M| 63 | - | 774 |7593 | 0 | 0 | 18 | 638k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1061.14/1061.58 c 1013s| 2450k| 20 | 4141 | 0.0 | 16M| 63 | - | 774 |7594 | 0 | 0 | 18 | 641k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1066.13/1066.57 c 1018s| 2460k| 21 | 4141 | 0.0 | 16M| 63 | - | 774 |7617 | 0 | 0 | 18 | 644k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1070.73/1071.12 c 1023s| 2470k| 18 | 4141 | 0.0 | 16M| 63 | - | 774 |7609 | 0 | 0 | 18 | 648k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1075.23/1075.69 c 1027s| 2480k| 20 | 4141 | 0.0 | 16M| 63 | - | 774 |7611 | 0 | 0 | 18 | 652k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1079.33/1079.75 c 1031s| 2490k| 22 | 4141 | 0.0 | 16M| 63 | - | 774 |7596 | 0 | 0 | 18 | 654k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1083.42/1083.83 c 1035s| 2500k| 15 | 4141 | 0.0 | 16M| 63 | - | 774 |7613 | 0 | 0 | 18 | 656k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1087.92/1088.32 c 1039s| 2510k| 21 | 4141 | 0.0 | 16M| 63 | - | 774 |7610 | 0 | 0 | 18 | 660k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1092.12/1092.59 c 1043s| 2520k| 25 | 4141 | 0.0 | 16M| 63 | - | 774 |7599 | 0 | 0 | 18 | 663k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1096.33/1096.71 c 1047s| 2530k| 24 | 4141 | 0.0 | 16M| 63 | - | 774 |7595 | 0 | 0 | 18 | 666k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1100.41/1100.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.41/1100.81 c 1051s| 2540k| 14 | 4141 | 0.0 | 16M| 63 | - | 774 |7600 | 0 | 0 | 18 | 668k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1104.62/1105.00 c 1055s| 2550k| 19 | 4141 | 0.0 | 16M| 63 | - | 774 |7604 | 0 | 0 | 18 | 670k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1109.01/1109.49 c 1059s| 2560k| 19 | 4141 | 0.0 | 16M| 63 | - | 774 |7612 | 0 | 0 | 18 | 673k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1113.71/1114.12 c 1064s| 2570k| 19 | 4141 | 0.0 | 16M| 63 | - | 774 |7632 | 0 | 0 | 18 | 677k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1117.81/1118.28 c 1068s| 2580k| 20 | 4141 | 0.0 | 16M| 63 | - | 774 |7605 | 0 | 0 | 18 | 680k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1122.21/1122.61 c 1072s| 2590k| 21 | 4141 | 0.0 | 16M| 63 | - | 774 |7608 | 0 | 0 | 18 | 683k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1126.71/1127.14 c 1076s| 2600k| 24 | 4141 | 0.0 | 16M| 63 | - | 774 |7606 | 0 | 0 | 18 | 686k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1131.42/1131.89 c 1081s| 2610k| 23 | 4141 | 0.0 | 16M| 63 | - | 774 |7611 | 0 | 0 | 18 | 690k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1135.61/1136.03 c 1085s| 2620k| 22 | 4141 | 0.0 | 16M| 63 | - | 774 |7606 | 0 | 0 | 18 | 692k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1139.91/1140.33 c 1089s| 2630k| 16 | 4141 | 0.0 | 16M| 63 | - | 774 |7617 | 0 | 0 | 18 | 695k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1144.40/1144.85 c 1093s| 2640k| 16 | 4141 | 0.0 | 16M| 63 | - | 774 |7624 | 0 | 0 | 18 | 698k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1149.30/1149.73 c 1098s| 2650k| 20 | 4141 | 0.0 | 16M| 63 | - | 774 |7606 | 0 | 0 | 18 | 702k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1153.70/1154.17 c 1102s| 2660k| 15 | 4141 | 0.0 | 16M| 63 | - | 774 |7618 | 0 | 0 | 18 | 704k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1158.30/1158.78 c 1106s| 2670k| 17 | 4141 | 0.0 | 16M| 63 | - | 774 |7628 | 0 | 0 | 18 | 708k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1162.80/1163.23 c 1111s| 2680k| 16 | 4141 | 0.0 | 16M| 63 | - | 774 |7628 | 0 | 0 | 18 | 711k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1167.10/1167.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.10/1167.57 c 1115s| 2690k| 21 | 4141 | 0.0 | 16M| 63 | - | 774 |7624 | 0 | 0 | 18 | 714k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1171.70/1172.13 c 1119s| 2700k| 14 | 4141 | 0.0 | 16M| 63 | - | 774 |7636 | 0 | 0 | 18 | 718k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1175.80/1176.26 c 1123s| 2710k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7585 | 0 | 0 | 18 | 721k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1179.99/1180.48 c 1127s| 2720k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7588 | 0 | 0 | 18 | 724k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1184.49/1184.91 c 1131s| 2730k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7592 | 0 | 0 | 18 | 727k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1188.60/1189.01 c 1135s| 2740k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7600 | 0 | 0 | 18 | 729k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1192.78/1193.26 c 1139s| 2750k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7596 | 0 | 0 | 18 | 732k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1197.40/1197.85 c 1144s| 2760k| 22 | 4141 | 0.0 | 16M| 66 | - | 774 |7598 | 0 | 0 | 18 | 736k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1202.09/1202.58 c 1148s| 2770k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7594 | 0 | 0 | 18 | 739k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1206.49/1206.99 c 1152s| 2780k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7596 | 0 | 0 | 18 | 742k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1210.79/1211.28 c 1157s| 2790k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7605 | 0 | 0 | 18 | 745k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1215.38/1215.88 c 1161s| 2800k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7601 | 0 | 0 | 18 | 748k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1219.67/1220.17 c 1165s| 2810k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7596 | 0 | 0 | 18 | 752k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1223.97/1224.48 c 1169s| 2820k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7602 | 0 | 0 | 18 | 755k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1228.77/1229.24 c 1174s| 2830k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7606 | 0 | 0 | 18 | 758k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1232.87/1233.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.87/1233.34 c 1178s| 2840k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7611 | 0 | 0 | 18 | 761k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1237.37/1237.84 c 1182s| 2850k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7598 | 0 | 0 | 18 | 765k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1241.38/1241.81 c 1186s| 2860k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7604 | 0 | 0 | 18 | 767k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1244.97/1245.43 c 1189s| 2870k| 13 | 4141 | 0.0 | 16M| 66 | - | 774 |7611 | 0 | 0 | 18 | 769k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1248.97/1249.47 c 1193s| 2880k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7606 | 0 | 0 | 18 | 771k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1252.97/1253.45 c 1197s| 2890k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7590 | 0 | 0 | 18 | 773k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1257.17/1257.63 c 1201s| 2900k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7610 | 0 | 0 | 18 | 775k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1261.17/1261.70 c 1205s| 2910k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7592 | 0 | 0 | 18 | 778k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1265.26/1265.76 c 1209s| 2920k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7594 | 0 | 0 | 18 | 781k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1269.67/1270.11 c 1213s| 2930k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7599 | 0 | 0 | 18 | 784k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1273.77/1274.26 c 1217s| 2940k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7639 | 0 | 0 | 18 | 787k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1277.86/1278.30 c 1220s| 2950k| 24 | 4141 | 0.0 | 16M| 66 | - | 774 |7603 | 0 | 0 | 18 | 789k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1281.95/1282.49 c 1224s| 2960k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7603 | 0 | 0 | 18 | 792k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1286.36/1286.87 c 1229s| 2970k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7611 | 0 | 0 | 18 | 795k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1290.56/1291.01 c 1233s| 2980k| 25 | 4141 | 0.0 | 16M| 66 | - | 774 |7605 | 0 | 0 | 18 | 798k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1294.85/1295.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.85/1295.35 c 1237s| 2990k| 28 | 4141 | 0.0 | 16M| 66 | - | 774 |7600 | 0 | 0 | 18 | 801k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1299.55/1300.01 c 1241s| 3000k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7602 | 0 | 0 | 18 | 805k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1304.15/1304.67 c 1246s| 3010k| 22 | 4141 | 0.0 | 16M| 66 | - | 774 |7612 | 0 | 0 | 18 | 809k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1308.95/1309.42 c 1250s| 3020k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7616 | 0 | 0 | 18 | 812k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1313.35/1313.82 c 1254s| 3030k| 22 | 4141 | 0.0 | 16M| 66 | - | 774 |7610 | 0 | 0 | 18 | 816k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1317.84/1318.39 c 1259s| 3040k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7628 | 0 | 0 | 18 | 819k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1322.44/1322.92 c 1263s| 3050k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7613 | 0 | 0 | 18 | 822k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1327.04/1327.52 c 1268s| 3060k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7603 | 0 | 0 | 18 | 826k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1331.84/1332.38 c 1272s| 3070k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7622 | 0 | 0 | 18 | 829k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1336.44/1336.95 c 1277s| 3080k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7616 | 0 | 0 | 18 | 833k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1341.14/1341.65 c 1281s| 3090k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7630 | 0 | 0 | 18 | 836k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1345.94/1346.41 c 1286s| 3100k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7616 | 0 | 0 | 18 | 840k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1350.84/1351.34 c 1290s| 3110k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7617 | 0 | 0 | 18 | 845k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1355.43/1355.95 c 1295s| 3120k| 22 | 4141 | 0.0 | 16M| 66 | - | 774 |7646 | 0 | 0 | 18 | 848k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1359.93/1360.46 c 1299s| 3130k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7632 | 0 | 0 | 18 | 852k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1364.33/1364.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.33/1364.87 c 1303s| 3140k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7624 | 0 | 0 | 18 | 855k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1368.73/1369.24 c 1307s| 3150k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7622 | 0 | 0 | 18 | 858k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1373.03/1373.54 c 1312s| 3160k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7622 | 0 | 0 | 18 | 861k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1378.62/1379.16 c 1317s| 3170k| 5 | 4141 | 0.0 | 15M| 66 | - | 774 |7519 | 0 | 0 | 18 | 865k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1384.92/1385.44 c 1323s| 3180k| 26 | 4141 | 0.0 | 16M| 66 | - | 774 |7554 | 0 | 0 | 18 | 869k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1389.83/1390.37 c 1328s| 3190k| 24 | 4141 | 0.0 | 16M| 66 | - | 774 |7572 | 0 | 0 | 18 | 872k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1394.12/1394.66 c 1332s| 3200k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7550 | 0 | 0 | 18 | 875k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1398.51/1399.06 c 1336s| 3210k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7549 | 0 | 0 | 18 | 878k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1402.62/1403.12 c 1340s| 3220k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7551 | 0 | 0 | 18 | 880k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1406.72/1407.22 c 1344s| 3230k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7548 | 0 | 0 | 18 | 882k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1411.22/1411.76 c 1348s| 3240k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7548 | 0 | 0 | 18 | 885k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1415.52/1416.03 c 1352s| 3250k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 887k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1419.41/1419.93 c 1356s| 3260k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7549 | 0 | 0 | 18 | 889k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1423.81/1424.37 c 1360s| 3270k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 892k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1428.21/1428.76 c 1364s| 3280k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7555 | 0 | 0 | 18 | 895k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1432.71/1433.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.71/1433.22 c 1369s| 3290k| 23 | 4141 | 0.0 | 16M| 66 | - | 774 |7549 | 0 | 0 | 18 | 897k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1437.11/1437.67 c 1373s| 3300k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7551 | 0 | 0 | 18 | 900k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1441.31/1441.81 c 1377s| 3310k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 902k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1445.70/1446.29 c 1381s| 3320k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7551 | 0 | 0 | 18 | 905k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1450.31/1450.85 c 1385s| 3330k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7554 | 0 | 0 | 18 | 907k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1454.60/1455.15 c 1390s| 3340k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7553 | 0 | 0 | 18 | 909k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1458.80/1459.39 c 1394s| 3350k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7554 | 0 | 0 | 18 | 912k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1463.09/1463.63 c 1398s| 3360k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7551 | 0 | 0 | 18 | 914k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1467.10/1467.65 c 1401s| 3370k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7553 | 0 | 0 | 18 | 916k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1471.50/1472.00 c 1406s| 3380k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7561 | 0 | 0 | 18 | 918k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1475.50/1476.09 c 1409s| 3390k| 25 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 921k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1479.59/1480.14 c 1413s| 3400k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7558 | 0 | 0 | 18 | 923k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1483.69/1484.26 c 1417s| 3410k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 925k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1487.80/1488.40 c 1421s| 3420k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 927k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1491.89/1492.47 c 1425s| 3430k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7551 | 0 | 0 | 18 | 929k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1495.98/1496.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.98/1496.50 c 1429s| 3440k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7555 | 0 | 0 | 18 | 932k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1499.98/1500.51 c 1433s| 3450k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 934k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1504.08/1504.62 c 1437s| 3460k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7556 | 0 | 0 | 18 | 936k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1508.48/1509.03 c 1441s| 3470k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7553 | 0 | 0 | 18 | 938k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1512.68/1513.27 c 1445s| 3480k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 941k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1517.18/1517.73 c 1449s| 3490k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7554 | 0 | 0 | 18 | 943k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1521.58/1522.15 c 1453s| 3500k| 25 | 4141 | 0.0 | 16M| 66 | - | 774 |7554 | 0 | 0 | 18 | 946k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1525.98/1526.57 c 1458s| 3510k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7554 | 0 | 0 | 18 | 948k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1530.18/1530.79 c 1462s| 3520k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7556 | 0 | 0 | 18 | 950k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1534.67/1535.28 c 1466s| 3530k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7557 | 0 | 0 | 18 | 953k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1539.67/1540.24 c 1471s| 3540k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7556 | 0 | 0 | 18 | 956k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1544.37/1544.98 c 1475s| 3550k| 11 | 4141 | 0.0 | 16M| 66 | - | 774 |7560 | 0 | 0 | 18 | 959k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1548.96/1549.53 c 1480s| 3560k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7553 | 0 | 0 | 18 | 961k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1553.17/1553.70 c 1484s| 3570k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7551 | 0 | 0 | 18 | 963k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1557.47/1558.01 c 1488s| 3580k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 966k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1561.96/1562.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.96/1562.53 c 1492s| 3590k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7550 | 0 | 0 | 18 | 968k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1566.36/1566.95 c 1496s| 3600k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 971k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1570.75/1571.34 c 1501s| 3610k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 973k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1575.16/1575.73 c 1505s| 3620k| 11 | 4141 | 0.0 | 16M| 66 | - | 774 |7553 | 0 | 0 | 18 | 975k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1579.76/1580.34 c 1509s| 3630k| 13 | 4141 | 0.0 | 16M| 66 | - | 774 |7555 | 0 | 0 | 18 | 978k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1584.06/1584.67 c 1513s| 3640k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7551 | 0 | 0 | 18 | 980k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1588.65/1589.27 c 1518s| 3650k| 11 | 4141 | 0.0 | 16M| 66 | - | 774 |7563 | 0 | 0 | 18 | 983k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1593.36/1593.98 c 1522s| 3660k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7567 | 0 | 0 | 18 | 985k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1597.66/1598.25 c 1526s| 3670k| 20 | 4141 | 0.0 | 16M| 66 | - | 774 |7578 | 0 | 0 | 18 | 987k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1602.85/1603.40 c 1531s| 3680k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7582 | 0 | 0 | 18 | 990k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1607.25/1607.82 c 1536s| 3690k| 8 | 4141 | 0.0 | 16M| 66 | - | 774 |7579 | 0 | 0 | 18 | 992k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1611.64/1612.22 c 1540s| 3700k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 | 995k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1616.15/1616.78 c 1544s| 3710k| 10 | 4141 | 0.0 | 16M| 66 | - | 774 |7554 | 0 | 0 | 18 | 997k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1621.15/1621.75 c 1549s| 3720k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7562 | 0 | 0 | 18 |1000k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1625.44/1626.05 c 1553s| 3730k| 10 | 4141 | 0.0 | 16M| 66 | - | 774 |7568 | 0 | 0 | 18 |1002k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1629.54/1630.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.54/1630.20 c 1557s| 3740k| 9 | 4141 | 0.0 | 16M| 66 | - | 774 |7583 | 0 | 0 | 18 |1004k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1634.04/1634.63 c 1561s| 3750k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7551 | 0 | 0 | 18 |1006k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1638.23/1638.89 c 1565s| 3760k| 19 | 4141 | 0.0 | 16M| 66 | - | 774 |7554 | 0 | 0 | 18 |1009k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1642.93/1643.50 c 1570s| 3770k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7568 | 0 | 0 | 18 |1011k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1647.03/1647.67 c 1574s| 3780k| 13 | 4141 | 0.0 | 16M| 66 | - | 774 |7561 | 0 | 0 | 18 |1013k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1651.33/1651.91 c 1578s| 3790k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7558 | 0 | 0 | 18 |1016k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1655.93/1656.59 c 1582s| 3800k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 |1018k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1660.13/1660.73 c 1586s| 3810k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7556 | 0 | 0 | 18 |1021k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1664.63/1665.27 c 1590s| 3820k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7562 | 0 | 0 | 18 |1024k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1669.23/1669.87 c 1595s| 3830k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7563 | 0 | 0 | 18 |1027k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1673.42/1674.06 c 1599s| 3840k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7573 | 0 | 0 | 18 |1029k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1679.03/1679.65 c 1604s| 3850k| 13 | 4141 | 0.0 | 16M| 66 | - | 774 |7555 | 0 | 0 | 18 |1033k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1684.02/1684.69 c 1609s| 3860k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7572 | 0 | 0 | 18 |1036k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1689.12/1689.77 c 1614s| 3870k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7559 | 0 | 0 | 18 |1040k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1693.82/1694.44 c 1618s| 3880k| 10 | 4141 | 0.0 | 16M| 66 | - | 774 |7552 | 0 | 0 | 18 |1042k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1698.12/1698.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.12/1698.72 c 1622s| 3890k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7567 | 0 | 0 | 18 |1044k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1702.42/1703.09 c 1627s| 3900k| 8 | 4141 | 0.0 | 16M| 66 | - | 774 |7586 | 0 | 0 | 18 |1047k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1707.12/1707.75 c 1631s| 3910k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7609 | 0 | 0 | 18 |1051k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1711.52/1712.14 c 1635s| 3920k| 10 | 4141 | 0.0 | 16M| 66 | - | 774 |7608 | 0 | 0 | 18 |1054k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1716.02/1716.61 c 1639s| 3930k| 16 | 4141 | 0.0 | 16M| 66 | - | 774 |7617 | 0 | 0 | 18 |1057k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1720.51/1721.18 c 1644s| 3940k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7626 | 0 | 0 | 18 |1060k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1724.91/1725.54 c 1648s| 3950k| 8 | 4141 | 0.0 | 16M| 66 | - | 774 |7655 | 0 | 0 | 18 |1063k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1729.41/1730.09 c 1652s| 3960k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7566 | 0 | 0 | 18 |1067k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1734.11/1734.70 c 1657s| 3970k| 18 | 4141 | 0.0 | 16M| 66 | - | 774 |7559 | 0 | 0 | 18 |1070k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1738.41/1739.07 c 1661s| 3980k| 17 | 4141 | 0.0 | 16M| 66 | - | 774 |7566 | 0 | 0 | 18 |1073k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1742.81/1743.48 c 1665s| 3990k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7568 | 0 | 0 | 18 |1076k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1746.90/1747.59 c 1669s| 4000k| 8 | 4141 | 0.0 | 16M| 66 | - | 774 |7568 | 0 | 0 | 18 |1078k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1751.80/1752.46 c 1674s| 4010k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7575 | 0 | 0 | 18 |1081k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1756.80/1757.42 c 1678s| 4020k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7593 | 0 | 0 | 18 |1085k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1761.51/1762.17 c 1683s| 4030k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7581 | 0 | 0 | 18 |1089k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1766.39/1767.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.39/1767.01 c 1688s| 4040k| 14 | 4141 | 0.0 | 16M| 66 | - | 774 |7605 | 0 | 0 | 18 |1092k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1771.20/1771.83 c 1692s| 4050k| 21 | 4141 | 0.0 | 16M| 66 | - | 774 |7570 | 0 | 0 | 18 |1097k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1775.39/1776.06 c 1696s| 4060k| 12 | 4141 | 0.0 | 16M| 66 | - | 774 |7599 | 0 | 0 | 18 |1099k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1779.78/1780.42 c 1700s| 4070k| 13 | 4141 | 0.0 | 16M| 66 | - | 774 |7578 | 0 | 0 | 18 |1102k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1783.79/1784.48 c 1704s| 4080k| 6 | 4141 | 0.0 | 16M| 66 | - | 774 |7581 | 0 | 0 | 18 |1104k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1788.18/1788.84 c 1708s| 4090k| 7 | 4141 | 0.0 | 16M| 66 | - | 774 |7584 | 0 | 0 | 18 |1107k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1792.98/1793.65 c 1713s| 4100k| 15 | 4141 | 0.0 | 16M| 66 | - | 774 |7593 | 0 | 0 | 18 |1111k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1797.49/1798.17 c 1717s| 4110k| 9 | 4141 | 0.0 | 16M| 66 | - | 774 |7584 | 0 | 0 | 18 |1114k| 17 | 2.636007e+02 | 3.640000e+02 | 38.09%
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71 c
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time (sec) : 1719.74
1800.10/1800.71 c Solving Nodes : 4115639
1800.10/1800.71 c Primal Bound : +3.64000000000000e+02 (6 solutions)
1800.10/1800.71 c Dual Bound : +2.63600725924179e+02
1800.10/1800.71 c Gap : 38.09 %
1800.10/1800.72 s SATISFIABLE
1800.10/1800.72 v -x774 x773 x772 -x771 x770 -x769 x768 -x767 -x766 x765 x764 -x763 -x762 x761 x760 -x759 x758 -x757 -x756 x755 x754 -x753 x752 -x751
1800.10/1800.72 v -x750 x749 -x748 -x747 x746 -x745 x744 -x743 -x742 x741 x740 -x739 -x738 x737 x736 -x735 x734 -x733 -x732 x731 x730 -x729
1800.10/1800.72 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.10/1800.72 v x705 x704 -x703 -x702 -x701 -x700 x699 x698 -x697 -x696 x695 x694 -x693 x692 -x691 -x690 x689 x688 -x687 x686 -x685 -x684
1800.10/1800.72 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.10/1800.72 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.10/1800.72 v -x637 -x636 -x635 -x634 x633 x632 -x631 x630 -x629 -x628 x627 x626 -x625 x624 -x623 -x622 x621 x620 -x619 -x618 x617 -x616
1800.10/1800.72 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.10/1800.72 v x592 -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 -x576 x575 x574 -x573 x572 -x571
1800.10/1800.72 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.10/1800.72 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.10/1800.72 v x524 -x523 x522 -x521 -x520 x519 x518 -x517 x516 -x515 -x514 x513 x512 -x511 -x510 x509 -x508 -x507 x506 -x505 -x504 x503
1800.10/1800.72 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.10/1800.72 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.10/1800.72 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.10/1800.72 v -x433 x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 x423 x422 -x421 x420 -x419 -x418 x417 x416 -x415 -x414 x413 -x412
1800.10/1800.72 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.10/1800.72 v -x388 x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366
1800.10/1800.72 v x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 x346 -x345 -x344
1800.10/1800.72 v x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321
1800.10/1800.72 v -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298
1800.10/1800.72 v x297 -x296 x295 x294 -x293 -x292 x291 x290 -x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276
1800.10/1800.72 v x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253
1800.10/1800.72 v x252 -x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 x242 -x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230
1800.10/1800.72 v x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207
1800.10/1800.72 v -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185
1800.10/1800.72 v -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162
1800.10/1800.72 v x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139
1800.10/1800.72 v -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 -x122 -x121 x120 -x119 -x118 x117
1800.10/1800.72 v -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 -x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 -x93
1800.10/1800.72 v -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 x67 -x66
1800.10/1800.72 v -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 x53 x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 x43 -x42 x41 -x40 -x39
1800.10/1800.72 v -x38 x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 x23 -x22 -x21 -x20 x19 -x18 x17 -x16 -x15 -x14 x13 -x12
1800.10/1800.72 v x11 -x10 x9 -x8 x7 x6 -x5 -x4 -x3 -x2 x1
1800.10/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.72 c Solving Time : 1719.74
1800.10/1800.72 c Original Problem :
1800.10/1800.72 c Problem name : HOME/instance-2666110-1276452269.opb
1800.10/1800.72 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.72 c Constraints : 7493 initial, 7493 maximal
1800.10/1800.72 c Presolved Problem :
1800.10/1800.72 c Problem name : t_HOME/instance-2666110-1276452269.opb
1800.10/1800.72 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.72 c Constraints : 7493 initial, 8062 maximal
1800.10/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c implics : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.72 c probing : 0.07 0 0 0 0 0 0 0 0
1800.10/1800.72 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.10/1800.72 c root node : - 4 - - 4 - - - -
1800.10/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.72 c logicor : 7493+ 10 7729271 0 6 1111905 11182856 0 0 0
1800.10/1800.72 c countsols : 0 0 0 0 6 0 0 0 0 0
1800.10/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.72 c integral : 8.10 0.00 0.00 8.10 0.00
1800.10/1800.72 c logicor : 859.37 0.01 859.36 0.00 0.00
1800.10/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.72 c vbounds : 6.48 2 0 0
1800.10/1800.72 c rootredcost : 5.41 6 0 0
1800.10/1800.72 c pseudoobj : 493.23 11938419 996611 19877950
1800.10/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.72 c propagation : 747.92 1111905 1111894 1111894 28.1 4460 51.0 -
1800.10/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c pseudo solution : 42.73 130532 0 0 0.0 0 0.0 -
1800.10/1800.72 c applied globally : - - - 1116276 28.2 - - -
1800.10/1800.72 c applied locally : - - - 0 0.0 - - -
1800.10/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.72 c cut pool : 0.01 9 - - 0 - (maximal pool size: 589)
1800.10/1800.72 c redcost : 0.01 10 0 0 0 0
1800.10/1800.72 c impliedbounds : 0.02 10 0 0 0 0
1800.10/1800.72 c intobj : 0.00 0 0 0 0 0
1800.10/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.72 c gomory : 1.80 10 0 0 26 0
1800.10/1800.72 c strongcg : 1.62 10 0 0 1544 0
1800.10/1800.72 c cmir : 0.67 10 0 0 0 0
1800.10/1800.72 c flowcover : 0.49 10 0 0 0 0
1800.10/1800.72 c clique : 0.03 1 0 0 0 0
1800.10/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.72 c mcf : 0.02 1 0 0 0 0
1800.10/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.72 c Pricers : Time Calls Vars
1800.10/1800.72 c problem variables: 0.00 0 0
1800.10/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.72 c relpscost : 8.10 1 0 0 0 0 2
1800.10/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.72 c inference : 29.35 2376643 0 0 0 0 4753286
1800.10/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.72 c random : 0.00 0 0 0 0 0 0
1800.10/1800.72 c Primal Heuristics : Time Calls Found
1800.10/1800.72 c LP solutions : 0.00 - 0
1800.10/1800.72 c pseudo solutions : 0.00 - 6
1800.10/1800.72 c oneopt : 3.23 0 0
1800.10/1800.72 c crossover : 0.00 0 0
1800.10/1800.72 c trivial : 0.01 2 0
1800.10/1800.72 c simplerounding : 0.00 0 0
1800.10/1800.72 c zirounding : 0.00 1 0
1800.10/1800.72 c rounding : 0.03 10 0
1800.10/1800.72 c shifting : 0.10 10 0
1800.10/1800.72 c intshifting : 0.00 0 0
1800.10/1800.72 c twoopt : 0.00 0 0
1800.10/1800.72 c fixandinfer : 0.00 0 0
1800.10/1800.72 c feaspump : 0.07 1 0
1800.10/1800.72 c coefdiving : 0.00 0 0
1800.10/1800.72 c pscostdiving : 0.00 0 0
1800.10/1800.72 c fracdiving : 0.00 0 0
1800.10/1800.72 c veclendiving : 0.00 0 0
1800.10/1800.72 c intdiving : 0.00 0 0
1800.10/1800.72 c actconsdiving : 0.00 0 0
1800.10/1800.72 c objpscostdiving : 0.00 0 0
1800.10/1800.72 c rootsoldiving : 0.00 0 0
1800.10/1800.72 c linesearchdiving : 0.00 0 0
1800.10/1800.72 c guideddiving : 0.00 0 0
1800.10/1800.72 c octane : 0.00 0 0
1800.10/1800.72 c rens : 0.01 0 0
1800.10/1800.72 c rins : 0.00 0 0
1800.10/1800.72 c localbranching : 0.00 0 0
1800.10/1800.72 c mutation : 0.00 0 0
1800.10/1800.72 c dins : 0.00 0 0
1800.10/1800.72 c undercover : 0.00 0 0
1800.10/1800.72 c nlp : 1.78 0 0
1800.10/1800.72 c trysol : 2.32 0 0
1800.10/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.72 c primal LP : 0.02 0 0 0.00 0.00
1800.10/1800.72 c dual LP : 2.24 10 4141 414.10 1848.66
1800.10/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.72 c diving/probing LP: 0.05 0 0 0.00 0.00
1800.10/1800.72 c strong branching : 8.10 17 12952 761.88 1599.01
1800.10/1800.72 c (at root node) : - 17 12952 761.88 -
1800.10/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.72 c B&B Tree :
1800.10/1800.72 c number of runs : 1
1800.10/1800.72 c nodes : 4115639
1800.10/1800.72 c nodes (total) : 4115639
1800.10/1800.72 c nodes left : 12
1800.10/1800.72 c max depth : 66
1800.10/1800.72 c max depth (total): 66
1800.10/1800.72 c backtracks : 1179889 (28.7%)
1800.10/1800.72 c delayed cutoffs : 580465
1800.10/1800.72 c repropagations : 942259 (6363943 domain reductions, 500059 cutoffs)
1800.10/1800.72 c avg switch length: 2.08
1800.10/1800.72 c switching time : 93.26
1800.10/1800.72 c Solution :
1800.10/1800.72 c Solutions found : 6 (6 improvements)
1800.10/1800.72 c First Solution : +3.77000000000000e+02 (in run 1, after 389 nodes, 16.28 seconds, depth 29, found by <relaxation>)
1800.10/1800.72 c Primal Bound : +3.64000000000000e+02 (in run 1, after 486277 nodes, 235.84 seconds, depth 51, found by <relaxation>)
1800.10/1800.72 c Dual Bound : +2.63600725924179e+02
1800.10/1800.72 c Gap : 38.09 %
1800.10/1800.72 c Root Dual Bound : +2.63551480428586e+02
1800.10/1800.72 c Root Iterations : 4141
1800.10/1800.76 c Time complete: 1800.14.