0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664207-1276515847.opb>
0.39/0.46 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27856 constraints
0.39/0.46 c problem read
0.39/0.46 c presolving settings loaded
0.39/0.46 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.49/0.53 o 0
0.49/0.53 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.53 c presolving:
0.89/0.90 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27856 upgd conss, 55712 impls, 0 clqs
1.49/1.59 c (1.0s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.59 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.49/1.59 c presolving (2 rounds):
1.49/1.59 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.59 c 55712 implications, 0 cliques
1.49/1.59 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27856 constraints
1.49/1.59 c 27856 constraints of type <logicor>
1.49/1.59 c transformed objective value is always integral (scale: 1)
1.49/1.59 c Presolving Time: 0.98
1.49/1.59 c - non default parameters ----------------------------------------------------------------------
1.49/1.59 c # SCIP version 1.2.1.2
1.49/1.59 c
1.49/1.59 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.59 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.59 c conflict/interconss = 0
1.49/1.59 c
1.49/1.59 c # should binary conflicts be preferred?
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c conflict/preferbinary = TRUE
1.49/1.59 c
1.49/1.59 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.59 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.59 c constraints/agelimit = 1
1.49/1.59 c
1.49/1.59 c # should enforcement of pseudo solution be disabled?
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c constraints/disableenfops = TRUE
1.49/1.59 c
1.49/1.59 c # frequency for displaying node information lines
1.49/1.59 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.59 c display/freq = 10000
1.49/1.59 c
1.49/1.59 c # maximal time in seconds to run
1.49/1.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.59 c limits/time = 1799.55
1.49/1.59 c
1.49/1.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.59 c limits/memory = 1620
1.49/1.59 c
1.49/1.59 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.59 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.59 c lp/solvefreq = -1
1.49/1.59 c
1.49/1.59 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)
1.49/1.59 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.59 c lp/pricing = a
1.49/1.59 c
1.49/1.59 c # should presolving try to simplify inequalities
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c constraints/linear/simplifyinequalities = TRUE
1.49/1.59 c
1.49/1.59 c # should presolving try to simplify knapsacks
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.59 c
1.49/1.59 c # priority of node selection rule <dfs> in standard mode
1.49/1.59 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.59 c nodeselection/dfs/stdpriority = 1000000
1.49/1.59 c
1.49/1.59 c -----------------------------------------------------------------------------------------------
1.49/1.59 c start solving
1.59/1.60 c
1.59/1.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.60 c t 1.0s| 1 | 2 | 0 | - | 20M| 0 | - | 595 | 27k| 0 | 0 | 0 | 0 | 0 |-5.950000e+02 | 0.000000e+00 | 100.00%
1.59/1.62 o -22
1.59/1.62 c * 1.0s| 23 | 20 | 0 | 0.0 | 20M| 22 | - | 595 | 27k| 0 | 0 | 0 | 0 | 0 |-5.940000e+02 |-2.200000e+01 | 96.30%
1.69/1.76 o -24
1.69/1.76 c * 1.2s| 521 | 22 | 0 | 0.0 | 20M| 27 | - | 595 | 27k| 0 | 0 | 0 | 5 | 0 |-5.940000e+02 |-2.400000e+01 | 95.96%
4.19/4.28 c 3.6s| 10000 | 17 | 0 | 0.0 | 20M| 40 | - | 595 | 27k| 0 | 0 | 0 | 32 | 0 |-5.940000e+02 |-2.400000e+01 | 95.96%
6.89/6.91 c 6.1s| 20000 | 18 | 0 | 0.0 | 20M| 43 | - | 595 | 27k| 0 | 0 | 0 | 58 | 0 |-5.940000e+02 |-2.400000e+01 | 95.96%
9.49/9.50 c 8.5s| 30000 | 16 | 0 | 0.0 | 20M| 43 | - | 595 | 27k| 0 | 0 | 0 | 98 | 0 |-5.940000e+02 |-2.400000e+01 | 95.96%
12.09/12.19 c 11.1s| 40000 | 18 | 0 | 0.0 | 20M| 43 | - | 595 | 27k| 0 | 0 | 0 | 146 | 0 |-5.940000e+02 |-2.400000e+01 | 95.96%
14.79/14.84 c 13.6s| 50000 | 17 | 0 | 0.0 | 20M| 46 | - | 595 | 27k| 0 | 0 | 0 | 201 | 0 |-5.940000e+02 |-2.400000e+01 | 95.96%
15.18/15.29 o -25
15.18/15.29 c *14.1s| 51738 | 21 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 208 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
15.29/15.36 o -26
15.29/15.36 c *14.1s| 51949 | 18 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 210 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
17.48/17.59 c 16.2s| 60000 | 15 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 251 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
20.28/20.33 c 18.9s| 70000 | 16 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 295 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
22.98/23.09 c 21.5s| 80000 | 15 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 356 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
25.78/25.81 c 24.1s| 90000 | 17 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 386 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
28.48/28.50 c 26.6s|100000 | 16 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 436 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
31.08/31.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.08/31.19 c 29.2s|110000 | 16 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 499 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
33.78/33.89 c 31.8s|120000 | 14 | 0 | 0.0 | 20M| 47 | - | 595 | 27k| 0 | 0 | 0 | 529 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
36.39/36.46 o -27
36.39/36.46 c *34.2s|129622 | 16 | 0 | 0.0 | 20M| 48 | - | 595 | 27k| 0 | 0 | 0 | 571 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
36.48/36.56 c 34.3s|130000 | 16 | 0 | 0.0 | 20M| 48 | - | 595 | 27k| 0 | 0 | 0 | 572 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
39.18/39.22 c 36.8s|140000 | 16 | 0 | 0.0 | 20M| 48 | - | 595 | 27k| 0 | 0 | 0 | 612 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
41.88/41.93 c 39.4s|150000 | 17 | 0 | 0.0 | 20M| 48 | - | 595 | 27k| 0 | 0 | 0 | 651 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
44.68/44.72 c 42.0s|160000 | 16 | 0 | 0.0 | 20M| 48 | - | 595 | 27k| 0 | 0 | 0 | 683 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
47.39/47.48 c 44.7s|170000 | 17 | 0 | 0.0 | 20M| 48 | - | 595 | 27k| 0 | 0 | 0 | 741 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
50.18/50.27 c 47.3s|180000 | 19 | 0 | 0.0 | 20M| 48 | - | 595 | 27k| 0 | 0 | 0 | 846 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
52.98/53.02 c 49.9s|190000 | 15 | 0 | 0.0 | 20M| 48 | - | 595 | 27k| 0 | 0 | 0 | 902 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
55.68/55.77 c 52.5s|200000 | 14 | 0 | 0.0 | 20M| 49 | - | 595 | 27k| 0 | 0 | 0 | 974 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
58.48/58.53 c 55.2s|210000 | 17 | 0 | 0.0 | 20M| 50 | - | 595 | 27k| 0 | 0 | 0 |1051 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
61.18/61.29 c 57.8s|220000 | 14 | 0 | 0.0 | 20M| 52 | - | 595 | 27k| 0 | 0 | 0 |1129 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
63.97/64.08 c 60.5s|230000 | 16 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1194 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
66.78/66.87 c 63.2s|240000 | 16 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1265 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
69.57/69.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.57/69.64 c 65.8s|250000 | 16 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1320 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
72.27/72.37 c 68.4s|260000 | 17 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1369 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
75.07/75.11 c 71.0s|270000 | 16 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1420 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
77.77/77.85 c 73.6s|280000 | 17 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1499 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
80.47/80.52 c 76.1s|290000 | 16 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1535 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
83.07/83.19 c 78.7s|300000 | 13 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1576 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
85.78/85.84 c 81.2s|310000 | 16 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1609 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
88.47/88.59 c 83.8s|320000 | 16 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1646 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
91.16/91.24 c 86.3s|330000 | 16 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1692 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
93.87/93.94 c 88.9s|340000 | 14 | 0 | 0.0 | 20M| 55 | - | 595 | 27k| 0 | 0 | 0 |1745 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
96.67/96.73 c 91.6s|350000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |1831 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
99.36/99.45 c 94.2s|360000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |1862 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
102.06/102.14 c 96.7s|370000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |1899 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
104.76/104.85 c 99.3s|380000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |1975 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
107.46/107.52 c 102s|390000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2023 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
110.16/110.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.16/110.21 c 104s|400000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2060 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
112.86/112.90 c 107s|410000 | 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2085 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
115.47/115.57 c 110s|420000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2130 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
118.06/118.20 c 112s|430000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2172 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
120.76/120.81 c 114s|440000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2274 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
123.26/123.36 c 117s|450000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2307 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
126.06/126.10 c 120s|460000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2346 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
128.77/128.84 c 122s|470000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2437 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
131.45/131.55 c 125s|480000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2475 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
134.17/134.22 c 127s|490000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2531 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
136.86/136.96 c 130s|500000 | 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2569 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
139.67/139.72 c 132s|510000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2606 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
142.36/142.49 c 135s|520000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2644 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
145.05/145.17 c 138s|530000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2671 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
147.75/147.89 c 140s|540000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2705 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
150.55/150.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.55/150.60 c 143s|550000 | 13 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2786 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
153.25/153.35 c 145s|560000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2852 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
156.05/156.16 c 148s|570000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2923 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
158.75/158.85 c 151s|580000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |2978 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
161.55/161.63 c 153s|590000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3034 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
164.25/164.31 c 156s|600000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3083 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
166.95/167.04 c 158s|610000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3124 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
169.75/169.82 c 161s|620000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3171 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
172.45/172.56 c 164s|630000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3221 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
175.14/175.26 c 166s|640000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3273 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
177.95/178.04 c 169s|650000 | 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3315 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
180.65/180.79 c 171s|660000 | 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3369 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
183.45/183.52 c 174s|670000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3408 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
185.95/186.07 c 177s|680000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3438 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
188.64/188.73 c 179s|690000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3474 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
191.35/191.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.35/191.48 c 182s|700000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3500 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
194.04/194.18 c 184s|710000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3554 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
196.74/196.81 c 187s|720000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3600 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
199.34/199.48 c 189s|730000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3634 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
202.04/202.15 c 192s|740000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3691 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
204.65/204.80 c 194s|750000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3747 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
207.34/207.49 c 197s|760000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3764 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
210.05/210.18 c 199s|770000 | 13 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3798 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
212.84/212.95 c 202s|780000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3845 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
215.55/215.60 c 205s|790000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3878 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
218.14/218.21 c 207s|800000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3904 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
220.74/220.82 c 210s|810000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3940 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
223.34/223.41 c 212s|820000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |3998 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
225.94/226.02 c 214s|830000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4030 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
228.54/228.69 c 217s|840000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4068 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
231.24/231.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.24/231.36 c 220s|850000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4114 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
233.93/234.09 c 222s|860000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4175 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
236.63/236.77 c 225s|870000 | 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4213 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
239.33/239.43 c 227s|880000 | 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4248 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
242.04/242.16 c 230s|890000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4285 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
244.73/244.87 c 232s|900000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4445 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
247.43/247.52 c 235s|910000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4512 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
250.03/250.15 c 237s|920000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4559 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
252.72/252.81 c 240s|930000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4605 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
255.33/255.45 c 242s|940000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4639 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
258.13/258.23 c 245s|950000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4694 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
260.83/260.95 c 248s|960000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4772 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
263.42/263.50 c 250s|970000 | 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4796 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
266.03/266.12 c 253s|980000 | 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4831 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
268.62/268.74 c 255s|990000 | 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4876 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
271.32/271.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.32/271.42 c 258s| 1000k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4925 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
274.02/274.11 c 260s| 1010k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4962 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
276.62/276.72 c 263s| 1020k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |4977 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
279.23/279.34 c 265s| 1030k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5028 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
282.02/282.11 c 268s| 1040k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5077 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
284.82/284.90 c 270s| 1050k| 19 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5102 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
287.62/287.72 c 273s| 1060k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5149 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
290.33/290.50 c 276s| 1070k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5219 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
293.22/293.33 c 279s| 1080k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5253 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
296.01/296.15 c 281s| 1090k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5280 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
298.92/299.02 c 284s| 1100k| 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5332 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
301.72/301.81 c 287s| 1110k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5377 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
304.52/304.64 c 289s| 1120k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5434 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
307.31/307.48 c 292s| 1130k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5522 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
310.13/310.23 c 295s| 1140k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5560 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
312.81/312.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.81/312.98 c 297s| 1150k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5621 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
315.62/315.75 c 300s| 1160k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5662 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
318.41/318.59 c 303s| 1170k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5751 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
321.31/321.44 c 305s| 1180k| 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5816 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
324.11/324.23 c 308s| 1190k| 19 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5877 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
327.00/327.14 c 311s| 1200k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5926 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
329.81/329.95 c 313s| 1210k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |5951 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
332.70/332.85 c 316s| 1220k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6012 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
335.51/335.66 c 319s| 1230k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6071 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
338.20/338.38 c 321s| 1240k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6120 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
340.91/341.02 c 324s| 1250k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6181 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
343.60/343.78 c 327s| 1260k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6255 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
346.30/346.44 c 329s| 1270k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6312 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
349.00/349.16 c 332s| 1280k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6347 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
351.60/351.78 c 334s| 1290k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6405 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
354.30/354.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.30/354.44 c 337s| 1300k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6465 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
357.00/357.13 c 339s| 1310k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6540 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
359.80/359.92 c 342s| 1320k| 13 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6585 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
362.50/362.63 c 344s| 1330k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6631 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
365.21/365.32 c 347s| 1340k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6745 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
368.00/368.19 c 350s| 1350k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6796 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
370.90/371.02 c 352s| 1360k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6841 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
373.70/373.82 c 355s| 1370k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6867 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
376.40/376.55 c 358s| 1380k| 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6902 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
379.19/379.34 c 360s| 1390k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6923 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
382.00/382.17 c 363s| 1400k| 19 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |6976 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
384.91/385.02 c 366s| 1410k| 19 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7007 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
387.59/387.76 c 368s| 1420k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7049 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
390.40/390.54 c 371s| 1430k| 19 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7085 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
393.10/393.22 c 374s| 1440k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7123 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
395.89/396.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.89/396.01 c 376s| 1450k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7183 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
398.59/398.79 c 379s| 1460k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7251 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
401.39/401.58 c 382s| 1470k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7319 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
404.19/404.30 c 384s| 1480k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7400 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
406.90/407.05 c 387s| 1490k| 19 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7468 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
409.69/409.81 c 389s| 1500k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7527 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
412.40/412.56 c 392s| 1510k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7576 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
415.08/415.28 c 395s| 1520k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7605 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
417.90/418.04 c 397s| 1530k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7669 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
420.58/420.79 c 400s| 1540k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7693 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
423.39/423.56 c 402s| 1550k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7737 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
426.09/426.27 c 405s| 1560k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7768 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
428.89/429.00 c 408s| 1570k| 14 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7799 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
431.58/431.76 c 410s| 1580k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7866 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
434.39/434.53 c 413s| 1590k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7914 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
437.08/437.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.08/437.23 c 415s| 1600k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |7960 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
439.89/440.00 c 418s| 1610k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8003 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
442.58/442.76 c 421s| 1620k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8056 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
445.28/445.45 c 423s| 1630k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8102 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
448.08/448.22 c 426s| 1640k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8159 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
450.78/450.93 c 428s| 1650k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8191 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
453.48/453.69 c 431s| 1660k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8235 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
456.28/456.46 c 434s| 1670k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8274 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
458.97/459.15 c 436s| 1680k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8308 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
461.77/461.94 c 439s| 1690k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8334 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
464.57/464.71 c 442s| 1700k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8365 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
467.27/467.43 c 444s| 1710k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8418 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
469.97/470.12 c 447s| 1720k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8445 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
472.67/472.85 c 449s| 1730k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8475 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
475.37/475.54 c 452s| 1740k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8525 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
478.07/478.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.07/478.25 c 454s| 1750k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8577 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
480.77/480.96 c 457s| 1760k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8622 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
483.47/483.63 c 460s| 1770k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8667 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
486.18/486.31 c 462s| 1780k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8730 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
488.97/489.12 c 465s| 1790k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8793 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
491.87/492.01 c 468s| 1800k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |8903 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
494.66/494.84 c 470s| 1810k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9005 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
497.46/497.62 c 473s| 1820k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9084 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
500.27/500.43 c 476s| 1830k| 13 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9116 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
502.97/503.16 c 478s| 1840k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9160 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
505.76/505.92 c 481s| 1850k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9221 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
508.47/508.66 c 483s| 1860k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9294 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
511.16/511.38 c 486s| 1870k| 19 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9363 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
513.96/514.13 c 489s| 1880k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9418 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
516.66/516.83 c 491s| 1890k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9479 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
519.36/519.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.36/519.57 c 494s| 1900k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9564 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
522.16/522.37 c 496s| 1910k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9628 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
524.96/525.14 c 499s| 1920k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9676 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
527.75/527.95 c 502s| 1930k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9734 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
530.46/530.62 c 504s| 1940k| 18 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9798 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
533.16/533.36 c 507s| 1950k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9840 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
536.06/536.21 c 510s| 1960k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9865 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
538.76/538.91 c 512s| 1970k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9906 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
541.46/541.63 c 515s| 1980k| 15 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 |9934 | 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
544.25/544.43 c 517s| 1990k| 17 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
547.05/547.22 c 520s| 2000k| 16 | 0 | 0.0 | 20M| 58 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
549.75/549.93 c 523s| 2010k| 18 | 0 | 0.0 | 20M| 60 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
552.45/552.65 c 525s| 2020k| 17 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
555.25/555.45 c 528s| 2030k| 18 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
558.05/558.23 c 531s| 2040k| 13 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
560.75/560.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.75/560.92 c 533s| 2050k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
563.45/563.66 c 536s| 2060k| 15 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
566.25/566.40 c 538s| 2070k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
568.95/569.13 c 541s| 2080k| 17 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
571.75/571.90 c 544s| 2090k| 15 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
574.45/574.67 c 546s| 2100k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
577.24/577.41 c 549s| 2110k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
579.95/580.13 c 552s| 2120k| 14 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
582.74/582.97 c 554s| 2130k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
585.44/585.70 c 557s| 2140k| 18 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
588.24/588.43 c 559s| 2150k| 15 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
590.94/591.15 c 562s| 2160k| 17 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
593.74/593.91 c 565s| 2170k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
596.44/596.61 c 567s| 2180k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
599.04/599.23 c 570s| 2190k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
601.65/601.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.65/601.90 c 572s| 2200k| 18 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
604.44/604.65 c 575s| 2210k| 18 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
607.15/607.39 c 577s| 2220k| 19 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
609.94/610.17 c 580s| 2230k| 17 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
612.74/612.96 c 583s| 2240k| 14 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
615.53/615.76 c 585s| 2250k| 16 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
618.24/618.48 c 588s| 2260k| 16 | 0 | 0.0 | 20M| 64 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
621.03/621.28 c 591s| 2270k| 16 | 0 | 0.0 | 20M| 64 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
623.73/623.95 c 593s| 2280k| 14 | 0 | 0.0 | 20M| 64 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
626.53/626.74 c 596s| 2290k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
629.33/629.56 c 599s| 2300k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
632.13/632.39 c 601s| 2310k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
634.84/635.09 c 604s| 2320k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
637.53/637.76 c 606s| 2330k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
640.24/640.47 c 609s| 2340k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
643.13/643.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.13/643.30 c 612s| 2350k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
645.83/646.05 c 614s| 2360k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
648.43/648.66 c 617s| 2370k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
651.14/651.34 c 619s| 2380k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
653.93/654.16 c 622s| 2390k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
656.63/656.87 c 625s| 2400k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
659.32/659.57 c 627s| 2410k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
662.03/662.29 c 630s| 2420k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
664.82/665.00 c 632s| 2430k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
667.53/667.73 c 635s| 2440k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
670.32/670.53 c 638s| 2450k| 13 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
673.03/673.29 c 640s| 2460k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
675.72/675.99 c 643s| 2470k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
678.53/678.79 c 645s| 2480k| 19 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
681.32/681.57 c 648s| 2490k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
684.12/684.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.12/684.32 c 651s| 2500k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
686.82/687.08 c 653s| 2510k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
689.52/689.73 c 656s| 2520k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
692.22/692.44 c 658s| 2530k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
694.92/695.18 c 661s| 2540k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
697.52/697.79 c 663s| 2550k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
700.32/700.54 c 666s| 2560k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
703.01/703.21 c 669s| 2570k| 19 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
705.72/705.98 c 671s| 2580k| 19 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
708.51/708.70 c 674s| 2590k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
711.21/711.46 c 676s| 2600k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
714.01/714.26 c 679s| 2610k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
716.71/716.99 c 682s| 2620k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
719.31/719.57 c 684s| 2630k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
722.01/722.24 c 687s| 2640k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
724.72/724.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.72/724.96 c 689s| 2650k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
727.41/727.66 c 692s| 2660k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
730.10/730.39 c 694s| 2670k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
733.01/733.21 c 697s| 2680k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
735.81/736.01 c 700s| 2690k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
738.60/738.85 c 703s| 2700k| 19 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
741.41/741.62 c 705s| 2710k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
744.11/744.35 c 708s| 2720k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
747.00/747.20 c 710s| 2730k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
749.81/750.04 c 713s| 2740k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
752.50/752.74 c 716s| 2750k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
755.10/755.39 c 718s| 2760k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
757.81/758.09 c 721s| 2770k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
760.50/760.79 c 723s| 2780k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
763.30/763.53 c 726s| 2790k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
766.10/766.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.10/766.34 c 729s| 2800k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
768.80/769.04 c 731s| 2810k| 19 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
771.49/771.70 c 734s| 2820k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
774.20/774.45 c 736s| 2830k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
777.00/777.22 c 739s| 2840k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
779.71/779.92 c 742s| 2850k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
782.49/782.71 c 744s| 2860k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
785.20/785.40 c 747s| 2870k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
787.90/788.14 c 749s| 2880k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
790.59/790.85 c 752s| 2890k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
793.29/793.52 c 755s| 2900k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
795.99/796.22 c 757s| 2910k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
798.69/798.90 c 760s| 2920k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
801.39/801.62 c 762s| 2930k| 19 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
804.08/804.37 c 765s| 2940k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
806.89/807.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.89/807.18 c 768s| 2950k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
809.69/809.94 c 770s| 2960k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
812.48/812.72 c 773s| 2970k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
815.19/815.45 c 775s| 2980k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
817.79/818.09 c 778s| 2990k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
820.59/820.81 c 781s| 3000k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
823.18/823.42 c 783s| 3010k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
825.89/826.13 c 786s| 3020k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
828.58/828.82 c 788s| 3030k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
831.28/831.54 c 791s| 3040k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
833.98/834.27 c 793s| 3050k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
836.78/837.02 c 796s| 3060k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
839.58/839.84 c 799s| 3070k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
842.18/842.43 c 801s| 3080k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
844.98/845.25 c 804s| 3090k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
847.78/848.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.78/848.08 c 807s| 3100k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
850.58/850.89 c 809s| 3110k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
853.39/853.63 c 812s| 3120k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
856.08/856.36 c 814s| 3130k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
858.89/859.14 c 817s| 3140k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
861.67/861.96 c 820s| 3150k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
864.48/864.75 c 822s| 3160k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
867.18/867.45 c 825s| 3170k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
869.88/870.17 c 828s| 3180k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
872.57/872.86 c 830s| 3190k| 13 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
875.27/875.59 c 833s| 3200k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
878.07/878.32 c 835s| 3210k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
880.77/881.07 c 838s| 3220k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
883.57/883.84 c 841s| 3230k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
886.27/886.60 c 843s| 3240k| 19 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
889.07/889.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.07/889.33 c 846s| 3250k| 20 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
891.77/892.01 c 848s| 3260k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
894.47/894.79 c 851s| 3270k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
897.16/897.46 c 854s| 3280k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
899.87/900.17 c 856s| 3290k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
902.57/902.82 c 859s| 3300k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
905.26/905.50 c 861s| 3310k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
907.87/908.18 c 864s| 3320k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
910.57/910.82 c 866s| 3330k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
913.26/913.53 c 869s| 3340k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
915.96/916.28 c 871s| 3350k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
918.66/918.98 c 874s| 3360k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
921.36/921.68 c 876s| 3370k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
924.06/924.35 c 879s| 3380k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
926.76/927.09 c 882s| 3390k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
929.56/929.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
929.56/929.82 c 884s| 3400k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
932.25/932.53 c 887s| 3410k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
934.96/935.21 c 889s| 3420k| 19 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
937.65/937.93 c 892s| 3430k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
940.36/940.63 c 894s| 3440k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
943.05/943.31 c 897s| 3450k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
945.65/945.99 c 900s| 3460k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
948.35/948.67 c 902s| 3470k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
951.06/951.34 c 905s| 3480k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
953.76/954.09 c 907s| 3490k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
956.45/956.77 c 910s| 3500k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
959.15/959.47 c 912s| 3510k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
961.95/962.26 c 915s| 3520k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
964.65/964.98 c 918s| 3530k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
967.44/967.75 c 920s| 3540k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
970.15/970.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.15/970.44 c 923s| 3550k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
972.84/973.12 c 925s| 3560k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
975.55/975.85 c 928s| 3570k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
978.24/978.54 c 931s| 3580k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
981.05/981.30 c 933s| 3590k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
983.74/984.05 c 936s| 3600k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
986.45/986.78 c 938s| 3610k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
989.15/989.46 c 941s| 3620k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
991.84/992.14 c 943s| 3630k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
994.44/994.78 c 946s| 3640k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
997.24/997.53 c 949s| 3650k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
999.94/1000.29 c 951s| 3660k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1002.63/1002.98 c 954s| 3670k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1005.44/1005.78 c 956s| 3680k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1008.13/1008.48 c 959s| 3690k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1010.94/1011.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1010.94/1011.20 c 962s| 3700k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1013.63/1013.92 c 964s| 3710k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1016.33/1016.65 c 967s| 3720k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1019.13/1019.41 c 969s| 3730k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1021.83/1022.16 c 972s| 3740k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1024.63/1024.94 c 975s| 3750k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1027.33/1027.63 c 977s| 3760k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1030.03/1030.37 c 980s| 3770k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1032.82/1033.13 c 982s| 3780k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1035.43/1035.79 c 985s| 3790k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1038.13/1038.46 c 987s| 3800k| 21 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1040.83/1041.19 c 990s| 3810k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1043.53/1043.84 c 993s| 3820k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1046.22/1046.54 c 995s| 3830k| 19 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1048.93/1049.25 c 998s| 3840k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1051.72/1052.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.72/1052.00 c 1000s| 3850k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1054.42/1054.76 c 1003s| 3860k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1057.12/1057.48 c 1006s| 3870k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1059.91/1060.26 c 1008s| 3880k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1062.61/1062.98 c 1011s| 3890k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1065.32/1065.69 c 1013s| 3900k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1068.02/1068.34 c 1016s| 3910k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1070.61/1070.96 c 1018s| 3920k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1073.32/1073.69 c 1021s| 3930k| 19 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1076.12/1076.41 c 1024s| 3940k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1078.82/1079.13 c 1026s| 3950k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1081.61/1081.94 c 1029s| 3960k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1084.42/1084.72 c 1031s| 3970k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1087.11/1087.47 c 1034s| 3980k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1089.82/1090.12 c 1037s| 3990k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1092.61/1092.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.61/1092.90 c 1039s| 4000k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1095.31/1095.61 c 1042s| 4010k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1097.91/1098.29 c 1044s| 4020k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1100.70/1101.06 c 1047s| 4030k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1103.40/1103.79 c 1050s| 4040k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1106.20/1106.58 c 1052s| 4050k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1109.00/1109.33 c 1055s| 4060k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1111.70/1112.08 c 1058s| 4070k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1114.50/1114.80 c 1060s| 4080k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1117.11/1117.49 c 1063s| 4090k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1119.80/1120.18 c 1065s| 4100k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1122.50/1122.86 c 1068s| 4110k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1125.21/1125.56 c 1070s| 4120k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1127.90/1128.23 c 1073s| 4130k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1130.51/1130.86 c 1075s| 4140k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1133.20/1133.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.20/1133.55 c 1078s| 4150k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1135.90/1136.21 c 1080s| 4160k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1138.60/1138.92 c 1083s| 4170k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1141.20/1141.57 c 1086s| 4180k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1144.09/1144.40 c 1088s| 4190k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1146.79/1147.14 c 1091s| 4200k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1149.60/1149.90 c 1093s| 4210k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1152.29/1152.69 c 1096s| 4220k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1155.09/1155.42 c 1099s| 4230k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1157.79/1158.14 c 1101s| 4240k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1160.50/1160.86 c 1104s| 4250k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1163.19/1163.55 c 1106s| 4260k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1165.99/1166.34 c 1109s| 4270k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1168.79/1169.13 c 1112s| 4280k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1171.49/1171.87 c 1114s| 4290k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1174.29/1174.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.29/1174.63 c 1117s| 4300k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1177.09/1177.40 c 1120s| 4310k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1179.78/1180.18 c 1122s| 4320k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1182.69/1183.06 c 1125s| 4330k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1185.60/1185.95 c 1128s| 4340k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1188.48/1188.80 c 1131s| 4350k| 19 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1191.19/1191.59 c 1133s| 4360k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1194.08/1194.42 c 1136s| 4370k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1196.89/1197.22 c 1139s| 4380k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1199.58/1199.94 c 1141s| 4390k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1202.38/1202.73 c 1144s| 4400k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1204.98/1205.38 c 1146s| 4410k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1207.78/1208.14 c 1149s| 4420k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1210.48/1210.84 c 1152s| 4430k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1213.18/1213.59 c 1154s| 4440k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1215.98/1216.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.98/1216.30 c 1157s| 4450k| 19 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1218.68/1219.01 c 1159s| 4460k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1221.28/1221.69 c 1162s| 4470k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1223.99/1224.32 c 1164s| 4480k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1226.67/1227.02 c 1167s| 4490k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1229.37/1229.73 c 1170s| 4500k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1232.07/1232.48 c 1172s| 4510k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1234.77/1235.14 c 1175s| 4520k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1237.37/1237.79 c 1177s| 4530k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1240.17/1240.53 c 1180s| 4540k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1242.78/1243.19 c 1182s| 4550k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1245.37/1245.76 c 1185s| 4560k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1248.07/1248.42 c 1187s| 4570k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1250.77/1251.13 c 1190s| 4580k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1253.57/1253.95 c 1193s| 4590k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1256.27/1256.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.27/1256.68 c 1195s| 4600k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1258.96/1259.39 c 1198s| 4610k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1261.77/1262.15 c 1200s| 4620k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1264.56/1264.91 c 1203s| 4630k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1267.27/1267.64 c 1206s| 4640k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1269.97/1270.35 c 1208s| 4650k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1272.76/1273.13 c 1211s| 4660k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1275.46/1275.87 c 1213s| 4670k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1278.27/1278.65 c 1216s| 4680k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1281.06/1281.44 c 1219s| 4690k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1283.67/1284.10 c 1221s| 4700k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1286.36/1286.78 c 1224s| 4710k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1289.06/1289.47 c 1226s| 4720k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1291.76/1292.14 c 1229s| 4730k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1294.46/1294.86 c 1232s| 4740k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1297.16/1297.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.16/1297.53 c 1234s| 4750k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1299.76/1300.18 c 1237s| 4760k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1302.66/1303.02 c 1239s| 4770k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1305.47/1305.83 c 1242s| 4780k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1308.25/1308.64 c 1245s| 4790k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1311.05/1311.46 c 1247s| 4800k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1313.75/1314.16 c 1250s| 4810k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1316.46/1316.86 c 1252s| 4820k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1319.15/1319.52 c 1255s| 4830k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1321.86/1322.29 c 1258s| 4840k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1324.75/1325.13 c 1260s| 4850k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1327.46/1327.85 c 1263s| 4860k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1330.25/1330.61 c 1265s| 4870k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1333.05/1333.45 c 1268s| 4880k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1335.85/1336.20 c 1271s| 4890k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1338.55/1338.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.55/1338.93 c 1273s| 4900k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1341.24/1341.67 c 1276s| 4910k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1343.96/1344.37 c 1279s| 4920k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1346.65/1347.09 c 1281s| 4930k| 16 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1349.35/1349.74 c 1284s| 4940k| 14 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1352.05/1352.42 c 1286s| 4950k| 14 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1354.74/1355.13 c 1289s| 4960k| 15 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1357.44/1357.81 c 1291s| 4970k| 17 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1360.04/1360.42 c 1294s| 4980k| 15 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1362.75/1363.16 c 1296s| 4990k| 13 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1365.45/1365.80 c 1299s| 5000k| 16 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1368.14/1368.51 c 1302s| 5010k| 14 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1370.84/1371.22 c 1304s| 5020k| 14 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1373.55/1373.90 c 1307s| 5030k| 17 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1376.24/1376.65 c 1309s| 5040k| 14 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1378.94/1379.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.94/1379.35 c 1312s| 5050k| 15 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1381.74/1382.10 c 1314s| 5060k| 15 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1384.44/1384.86 c 1317s| 5070k| 14 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1387.23/1387.62 c 1320s| 5080k| 15 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1389.94/1390.37 c 1322s| 5090k| 15 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1392.64/1393.08 c 1325s| 5100k| 17 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1395.33/1395.78 c 1327s| 5110k| 16 | 0 | 0.0 | 20M| 69 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1398.03/1398.45 c 1330s| 5120k| 14 | 0 | 0.0 | 20M| 72 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1400.84/1401.29 c 1333s| 5130k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1403.63/1404.04 c 1335s| 5140k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1406.43/1406.86 c 1338s| 5150k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1409.24/1409.62 c 1341s| 5160k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1411.93/1412.36 c 1343s| 5170k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1414.73/1415.17 c 1346s| 5180k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1417.53/1417.90 c 1349s| 5190k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1420.23/1420.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.23/1420.60 c 1351s| 5200k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1423.04/1423.44 c 1354s| 5210k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1425.82/1426.21 c 1357s| 5220k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1428.54/1428.92 c 1359s| 5230k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1431.23/1431.66 c 1362s| 5240k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1433.92/1434.39 c 1364s| 5250k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 25k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1436.72/1437.18 c 1367s| 5260k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1439.53/1439.95 c 1370s| 5270k| 14 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1442.22/1442.68 c 1372s| 5280k| 13 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1444.92/1445.36 c 1375s| 5290k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1447.72/1448.13 c 1377s| 5300k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1450.42/1450.83 c 1380s| 5310k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1453.12/1453.51 c 1383s| 5320k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1455.82/1456.26 c 1385s| 5330k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1458.62/1459.00 c 1388s| 5340k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1461.32/1461.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1461.32/1461.79 c 1390s| 5350k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1464.12/1464.54 c 1393s| 5360k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1466.71/1467.17 c 1396s| 5370k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1469.51/1469.95 c 1398s| 5380k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1472.32/1472.72 c 1401s| 5390k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1474.92/1475.38 c 1403s| 5400k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1477.71/1478.14 c 1406s| 5410k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1480.52/1480.92 c 1409s| 5420k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1483.21/1483.67 c 1411s| 5430k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 26k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1485.92/1486.36 c 1414s| 5440k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1488.71/1489.14 c 1416s| 5450k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1491.41/1491.84 c 1419s| 5460k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1494.11/1494.59 c 1422s| 5470k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1496.91/1497.31 c 1424s| 5480k| 14 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1499.61/1500.08 c 1427s| 5490k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1502.32/1502.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.32/1502.79 c 1430s| 5500k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1505.21/1505.64 c 1432s| 5510k| 14 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1508.11/1508.51 c 1435s| 5520k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1510.81/1511.25 c 1438s| 5530k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1513.60/1514.03 c 1440s| 5540k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1516.40/1516.89 c 1443s| 5550k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1519.20/1519.68 c 1446s| 5560k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1522.01/1522.47 c 1448s| 5570k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1524.80/1525.26 c 1451s| 5580k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1527.61/1528.04 c 1454s| 5590k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1530.40/1530.82 c 1456s| 5600k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1533.11/1533.57 c 1459s| 5610k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1535.90/1536.30 c 1461s| 5620k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1538.50/1539.00 c 1464s| 5630k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1541.30/1541.70 c 1467s| 5640k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1544.00/1544.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.00/1544.45 c 1469s| 5650k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1546.69/1547.20 c 1472s| 5660k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1549.40/1549.89 c 1474s| 5670k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1552.09/1552.53 c 1477s| 5680k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 27k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1554.80/1555.21 c 1479s| 5690k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1557.40/1557.86 c 1482s| 5700k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1560.10/1560.56 c 1485s| 5710k| 19 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1562.70/1563.20 c 1487s| 5720k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1565.39/1565.80 c 1490s| 5730k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1567.99/1568.48 c 1492s| 5740k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1570.79/1571.20 c 1495s| 5750k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1573.49/1573.92 c 1497s| 5760k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1576.19/1576.68 c 1500s| 5770k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1578.99/1579.49 c 1503s| 5780k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1581.69/1582.14 c 1505s| 5790k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1584.28/1584.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.28/1584.77 c 1508s| 5800k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1587.00/1587.40 c 1510s| 5810k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1589.59/1590.09 c 1513s| 5820k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1592.28/1592.74 c 1515s| 5830k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1594.98/1595.45 c 1518s| 5840k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1597.69/1598.10 c 1520s| 5850k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1600.38/1600.88 c 1523s| 5860k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1603.08/1603.56 c 1525s| 5870k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1605.78/1606.22 c 1528s| 5880k| 13 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1608.48/1608.94 c 1531s| 5890k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1611.28/1611.71 c 1533s| 5900k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1613.97/1614.41 c 1536s| 5910k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1616.69/1617.20 c 1538s| 5920k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1619.38/1619.87 c 1541s| 5930k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 28k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1622.08/1622.54 c 1544s| 5940k| 14 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1624.77/1625.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.77/1625.22 c 1546s| 5950k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1627.47/1627.94 c 1549s| 5960k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1629.97/1630.49 c 1551s| 5970k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1632.68/1633.14 c 1554s| 5980k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1635.28/1635.72 c 1556s| 5990k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1638.07/1638.51 c 1559s| 6000k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1640.68/1641.19 c 1561s| 6010k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1643.47/1643.90 c 1564s| 6020k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1646.17/1646.60 c 1566s| 6030k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1648.77/1649.27 c 1569s| 6040k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1651.57/1652.00 c 1571s| 6050k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1654.27/1654.74 c 1574s| 6060k| 14 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1656.97/1657.47 c 1577s| 6070k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1659.66/1660.14 c 1579s| 6080k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1662.37/1662.88 c 1582s| 6090k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1665.07/1665.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.07/1665.58 c 1584s| 6100k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1667.86/1668.30 c 1587s| 6110k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1670.57/1671.05 c 1590s| 6120k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1673.27/1673.74 c 1592s| 6130k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1675.86/1676.34 c 1595s| 6140k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1678.46/1678.97 c 1597s| 6150k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1681.16/1681.61 c 1600s| 6160k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1683.77/1684.21 c 1602s| 6170k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1686.36/1686.85 c 1605s| 6180k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 29k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1689.05/1689.51 c 1607s| 6190k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1691.56/1692.06 c 1610s| 6200k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1694.16/1694.63 c 1612s| 6210k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1696.76/1697.29 c 1615s| 6220k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1699.36/1699.83 c 1617s| 6230k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1702.06/1702.51 c 1620s| 6240k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1704.66/1705.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.66/1705.13 c 1622s| 6250k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1707.25/1707.79 c 1625s| 6260k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1709.95/1710.40 c 1627s| 6270k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1712.56/1713.08 c 1630s| 6280k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1715.35/1715.80 c 1632s| 6290k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1718.05/1718.51 c 1635s| 6300k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1720.75/1721.22 c 1637s| 6310k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1723.46/1723.98 c 1640s| 6320k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1726.25/1726.74 c 1643s| 6330k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1728.95/1729.43 c 1645s| 6340k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1731.55/1732.07 c 1648s| 6350k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1734.25/1734.78 c 1650s| 6360k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1736.94/1737.49 c 1653s| 6370k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 30k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1739.86/1740.32 c 1656s| 6380k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1742.55/1743.04 c 1658s| 6390k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1745.25/1745.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.25/1745.72 c 1661s| 6400k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1747.84/1748.40 c 1663s| 6410k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1750.64/1751.13 c 1666s| 6420k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1753.25/1753.78 c 1668s| 6430k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1755.84/1756.34 c 1671s| 6440k| 18 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1758.45/1758.91 c 1673s| 6450k| 19 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1760.94/1761.48 c 1676s| 6460k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1763.54/1764.04 c 1678s| 6470k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1766.14/1766.66 c 1681s| 6480k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1768.74/1769.27 c 1683s| 6490k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1771.54/1772.05 c 1686s| 6500k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1774.24/1774.78 c 1688s| 6510k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1776.93/1777.42 c 1691s| 6520k| 14 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1779.64/1780.12 c 1693s| 6530k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1782.24/1782.74 c 1696s| 6540k| 16 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1784.84/1785.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1784.84/1785.33 c 1698s| 6550k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1787.44/1787.99 c 1701s| 6560k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1790.03/1790.56 c 1703s| 6570k| 15 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1792.84/1793.32 c 1706s| 6580k| 14 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1795.44/1795.97 c 1709s| 6590k| 14 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1798.04/1798.59 c 1711s| 6600k| 17 | 0 | 0.0 | 20M| 73 | - | 595 | 27k| 0 | 0 | 0 | 31k| 0 |-5.940000e+02 |-2.700000e+01 | 95.45%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1712.84
1800.04/1800.50 c Solving Nodes : 6607160
1800.04/1800.50 c Primal Bound : -2.70000000000000e+01 (8 solutions)
1800.04/1800.50 c Dual Bound : -5.94000000000000e+02
1800.04/1800.50 c Gap : 95.45 %
1800.04/1800.52 s SATISFIABLE
1800.04/1800.52 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.04/1800.52 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53
1800.04/1800.52 v -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79
1800.04/1800.52 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103
1800.04/1800.52 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.04/1800.52 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145
1800.04/1800.52 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.04/1800.52 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187
1800.04/1800.52 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208
1800.04/1800.52 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.04/1800.52 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250
1800.04/1800.52 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.04/1800.52 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1800.04/1800.52 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313
1800.04/1800.52 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1800.04/1800.52 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.04/1800.52 v x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.04/1800.52 v -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1800.04/1800.52 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.04/1800.52 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.04/1800.52 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459
1800.04/1800.52 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.04/1800.52 v -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502
1800.04/1800.52 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1800.04/1800.52 v -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1800.04/1800.52 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565
1800.04/1800.52 v -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1800.04/1800.52 v -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595
1800.04/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.52 c Solving Time : 1712.84
1800.04/1800.52 c Original Problem :
1800.04/1800.52 c Problem name : HOME/instance-2664207-1276515847.opb
1800.04/1800.52 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.52 c Constraints : 27856 initial, 27856 maximal
1800.04/1800.52 c Presolved Problem :
1800.04/1800.52 c Problem name : t_HOME/instance-2664207-1276515847.opb
1800.04/1800.52 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.52 c Constraints : 27856 initial, 27913 maximal
1800.04/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.52 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c probing : 0.63 0 0 0 0 0 0 0 0
1800.04/1800.52 c logicor : 0.09 0 0 0 0 0 0 0 0
1800.04/1800.52 c root node : - 0 - - 0 - - - -
1800.04/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.52 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.52 c logicor : 27856+ 0 6946990 0 5 664021 12986792 0 0 0
1800.04/1800.52 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.04/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.52 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.52 c logicor : 594.46 0.00 594.45 0.00 0.01
1800.04/1800.52 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.52 c vbounds : 5.07 2 0 0
1800.04/1800.52 c rootredcost : 4.78 0 0 0
1800.04/1800.52 c pseudoobj : 487.15 10560145 2436793 4192548
1800.04/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.52 c propagation : 346.26 664021 31952 31952 39.5 0 0.0 -
1800.04/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c pseudo solution : 115.87 209819 0 0 0.0 0 0.0 -
1800.04/1800.52 c applied globally : - - - 31824 39.4 - - -
1800.04/1800.52 c applied locally : - - - 128 62.6 - - -
1800.04/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.52 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.52 c redcost : 0.00 0 0 0 0 0
1800.04/1800.52 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.52 c intobj : 0.00 0 0 0 0 0
1800.04/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.52 c gomory : 0.00 0 0 0 0 0
1800.04/1800.52 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.52 c cmir : 0.00 0 0 0 0 0
1800.04/1800.52 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.52 c clique : 0.00 0 0 0 0 0
1800.04/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.52 c mcf : 0.00 0 0 0 0 0
1800.04/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.52 c Pricers : Time Calls Vars
1800.04/1800.52 c problem variables: 0.00 0 0
1800.04/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.52 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.52 c inference : 24.37 3314496 0 0 0 0 6628992
1800.04/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.52 c random : 0.00 0 0 0 0 0 0
1800.04/1800.52 c Primal Heuristics : Time Calls Found
1800.04/1800.52 c LP solutions : 0.00 - 0
1800.04/1800.52 c pseudo solutions : 0.01 - 5
1800.04/1800.52 c oneopt : 4.35 0 0
1800.04/1800.52 c trivial : 0.03 2 3
1800.04/1800.52 c simplerounding : 0.00 0 0
1800.04/1800.52 c zirounding : 0.00 0 0
1800.04/1800.52 c rounding : 0.00 0 0
1800.04/1800.52 c shifting : 0.00 0 0
1800.04/1800.52 c intshifting : 0.00 0 0
1800.04/1800.52 c twoopt : 0.00 0 0
1800.04/1800.52 c fixandinfer : 0.00 0 0
1800.04/1800.52 c feaspump : 0.00 0 0
1800.04/1800.52 c coefdiving : 0.00 0 0
1800.04/1800.52 c pscostdiving : 0.00 0 0
1800.04/1800.52 c fracdiving : 0.00 0 0
1800.04/1800.52 c veclendiving : 0.00 0 0
1800.04/1800.52 c intdiving : 0.00 0 0
1800.04/1800.52 c actconsdiving : 0.00 0 0
1800.04/1800.52 c objpscostdiving : 0.00 0 0
1800.04/1800.52 c rootsoldiving : 0.00 0 0
1800.04/1800.52 c linesearchdiving : 0.00 0 0
1800.04/1800.52 c guideddiving : 0.00 0 0
1800.04/1800.52 c octane : 0.00 0 0
1800.04/1800.52 c rens : 0.00 0 0
1800.04/1800.52 c rins : 0.00 0 0
1800.04/1800.52 c localbranching : 0.00 0 0
1800.04/1800.52 c mutation : 0.00 0 0
1800.04/1800.52 c crossover : 0.00 0 0
1800.04/1800.52 c dins : 0.00 0 0
1800.04/1800.52 c undercover : 0.00 0 0
1800.04/1800.52 c nlp : 2.50 0 0
1800.04/1800.52 c trysol : 3.34 0 0
1800.04/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.52 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.52 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.52 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.52 c (at root node) : - 0 0 0.00 -
1800.04/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.52 c B&B Tree :
1800.04/1800.52 c number of runs : 1
1800.04/1800.52 c nodes : 6607160
1800.04/1800.52 c nodes (total) : 6607160
1800.04/1800.52 c nodes left : 15
1800.04/1800.52 c max depth : 73
1800.04/1800.52 c max depth (total): 73
1800.04/1800.52 c backtracks : 1099041 (16.6%)
1800.04/1800.52 c delayed cutoffs : 20006
1800.04/1800.52 c repropagations : 23704 (85967 domain reductions, 17974 cutoffs)
1800.04/1800.52 c avg switch length: 2.00
1800.04/1800.52 c switching time : 210.15
1800.04/1800.52 c Solution :
1800.04/1800.52 c Solutions found : 8 (6 improvements)
1800.04/1800.52 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.52 c Primal Bound : -2.70000000000000e+01 (in run 1, after 129622 nodes, 34.21 seconds, depth 27, found by <relaxation>)
1800.04/1800.52 c Dual Bound : -5.94000000000000e+02
1800.04/1800.52 c Gap : 95.45 %
1800.04/1800.52 c Root Dual Bound : -5.95000000000000e+02
1800.04/1800.52 c Root Iterations : 0
1800.04/1800.59 c Time complete: 1800.12.