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-2664068-1276516567.opb>
0.39/0.46 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 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.54 o 0
0.49/0.54 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.54 c presolving:
0.89/0.90 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27847 upgd conss, 55694 impls, 0 clqs
1.49/1.58 c (1.0s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.58 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.49/1.58 c presolving (2 rounds):
1.49/1.58 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.58 c 55694 implications, 0 cliques
1.49/1.58 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
1.49/1.58 c 27847 constraints of type <logicor>
1.49/1.58 c transformed objective value is always integral (scale: 1)
1.49/1.58 c Presolving Time: 0.96
1.49/1.58 c - non default parameters ----------------------------------------------------------------------
1.49/1.58 c # SCIP version 1.2.1.2
1.49/1.58 c
1.49/1.58 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.58 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.58 c conflict/interconss = 0
1.49/1.58 c
1.49/1.58 c # should binary conflicts be preferred?
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c conflict/preferbinary = TRUE
1.49/1.58 c
1.49/1.58 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.58 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.58 c constraints/agelimit = 1
1.49/1.58 c
1.49/1.58 c # should enforcement of pseudo solution be disabled?
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/disableenfops = TRUE
1.49/1.58 c
1.49/1.58 c # frequency for displaying node information lines
1.49/1.58 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.58 c display/freq = 10000
1.49/1.58 c
1.49/1.58 c # maximal time in seconds to run
1.49/1.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.58 c limits/time = 1799.55
1.49/1.58 c
1.49/1.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.58 c limits/memory = 1620
1.49/1.58 c
1.49/1.58 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.58 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.58 c lp/solvefreq = -1
1.49/1.58 c
1.49/1.58 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.58 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.58 c lp/pricing = a
1.49/1.58 c
1.49/1.58 c # should presolving try to simplify inequalities
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/linear/simplifyinequalities = TRUE
1.49/1.58 c
1.49/1.58 c # should presolving try to simplify knapsacks
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.58 c
1.49/1.58 c # priority of node selection rule <dfs> in standard mode
1.49/1.58 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.58 c nodeselection/dfs/stdpriority = 1000000
1.49/1.58 c
1.49/1.58 c -----------------------------------------------------------------------------------------------
1.49/1.58 c start solving
1.49/1.58 c
1.49/1.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.59 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.58/1.60 o -20
1.58/1.60 c * 1.0s| 21 | 20 | 0 | 0.0 | 20M| 20 | - | 595 | 27k| 0 | 0 | 0 | 0 | 0 |-5.940000e+02 |-2.000000e+01 | 96.63%
1.58/1.61 o -21
1.58/1.61 c * 1.0s| 28 | 19 | 0 | 0.0 | 20M| 24 | - | 595 | 27k| 0 | 0 | 0 | 0 | 0 |-5.940000e+02 |-2.100000e+01 | 96.46%
1.58/1.63 o -22
1.58/1.63 c * 1.1s| 92 | 18 | 0 | 0.0 | 20M| 24 | - | 595 | 27k| 0 | 0 | 0 | 0 | 0 |-5.940000e+02 |-2.200000e+01 | 96.30%
2.28/2.36 o -23
2.28/2.36 c * 1.8s| 2965 | 17 | 0 | 0.0 | 20M| 33 | - | 595 | 27k| 0 | 0 | 0 | 12 | 0 |-5.940000e+02 |-2.300000e+01 | 96.13%
2.49/2.55 o -24
2.49/2.55 c * 1.9s| 3633 | 15 | 0 | 0.0 | 20M| 35 | - | 595 | 27k| 0 | 0 | 0 | 12 | 0 |-5.940000e+02 |-2.400000e+01 | 95.96%
3.99/4.00 o -25
3.99/4.00 c * 3.3s| 9470 | 16 | 0 | 0.0 | 20M| 39 | - | 595 | 27k| 0 | 0 | 0 | 35 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
4.09/4.14 c 3.5s| 10000 | 16 | 0 | 0.0 | 20M| 39 | - | 595 | 27k| 0 | 0 | 0 | 41 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
6.69/6.71 c 5.9s| 20000 | 17 | 0 | 0.0 | 20M| 42 | - | 595 | 27k| 0 | 0 | 0 | 88 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
9.28/9.39 c 8.4s| 30000 | 16 | 0 | 0.0 | 20M| 42 | - | 595 | 27k| 0 | 0 | 0 | 121 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
11.99/12.04 c 10.9s| 40000 | 16 | 0 | 0.0 | 20M| 42 | - | 595 | 27k| 0 | 0 | 0 | 166 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
14.58/14.66 c 13.4s| 50000 | 16 | 0 | 0.0 | 20M| 42 | - | 595 | 27k| 0 | 0 | 0 | 190 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
17.18/17.27 c 15.9s| 60000 | 17 | 0 | 0.0 | 20M| 46 | - | 595 | 27k| 0 | 0 | 0 | 242 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
19.98/20.02 c 18.6s| 70000 | 16 | 0 | 0.0 | 20M| 46 | - | 595 | 27k| 0 | 0 | 0 | 277 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
22.78/22.82 c 21.2s| 80000 | 17 | 0 | 0.0 | 20M| 46 | - | 595 | 27k| 0 | 0 | 0 | 324 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
25.58/25.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.58/25.60 c 23.9s| 90000 | 15 | 0 | 0.0 | 20M| 46 | - | 595 | 27k| 0 | 0 | 0 | 384 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
28.38/28.41 c 26.6s|100000 | 14 | 0 | 0.0 | 20M| 46 | - | 595 | 27k| 0 | 0 | 0 | 439 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
30.98/31.09 c 29.1s|110000 | 14 | 0 | 0.0 | 20M| 46 | - | 595 | 27k| 0 | 0 | 0 | 478 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
33.77/33.88 c 31.8s|120000 | 16 | 0 | 0.0 | 20M| 46 | - | 595 | 27k| 0 | 0 | 0 | 510 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
36.47/36.57 c 34.4s|130000 | 16 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 538 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
39.18/39.29 c 36.9s|140000 | 15 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 567 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
41.88/41.95 c 39.5s|150000 | 16 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 597 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
44.58/44.65 c 42.0s|160000 | 17 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 625 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
47.28/47.39 c 44.6s|170000 | 16 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 670 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
49.98/50.05 c 47.2s|180000 | 16 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 709 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
52.68/52.74 c 49.7s|190000 | 15 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 759 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
55.47/55.51 c 52.4s|200000 | 15 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 788 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
58.17/58.29 c 55.0s|210000 | 15 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 829 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
60.87/60.96 c 57.6s|220000 | 17 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 869 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
63.57/63.68 c 60.2s|230000 | 15 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 900 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
66.27/66.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.27/66.37 c 62.7s|240000 | 15 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 923 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
68.97/69.07 c 65.3s|250000 | 16 | 0 | 0.0 | 20M| 51 | - | 595 | 27k| 0 | 0 | 0 | 960 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
71.76/71.82 c 67.9s|260000 | 13 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1013 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
74.47/74.55 c 70.5s|270000 | 17 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1064 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
77.16/77.22 c 73.0s|280000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1112 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
79.87/79.95 c 75.6s|290000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1135 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
82.57/82.63 c 78.2s|300000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1176 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
85.26/85.35 c 80.8s|310000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1212 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
87.87/87.97 c 83.3s|320000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1255 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
90.56/90.69 c 85.9s|330000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1304 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
93.36/93.44 c 88.5s|340000 | 18 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1355 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
96.06/96.16 c 91.1s|350000 | 17 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1431 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
98.76/98.87 c 93.7s|360000 | 16 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1479 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
101.46/101.57 c 96.2s|370000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1546 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
104.16/104.27 c 98.8s|380000 | 18 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1610 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
106.86/106.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.86/106.97 c 101s|390000 | 16 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1650 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
109.56/109.61 c 104s|400000 | 13 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1708 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
112.26/112.36 c 107s|410000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1758 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
115.06/115.17 c 109s|420000 | 13 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1806 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
117.76/117.88 c 112s|430000 | 17 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1841 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
120.45/120.58 c 114s|440000 | 16 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1899 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
123.16/123.23 c 117s|450000 | 14 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1934 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
125.85/125.97 c 119s|460000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1965 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
128.55/128.67 c 122s|470000 | 17 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |1989 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
131.25/131.34 c 125s|480000 | 16 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |2037 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
134.05/134.11 c 127s|490000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |2087 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
136.75/136.87 c 130s|500000 | 16 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |2113 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
139.55/139.69 c 133s|510000 | 14 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |2147 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
142.25/142.37 c 135s|520000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |2189 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
145.05/145.11 c 138s|530000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |2240 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
147.74/147.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.74/147.85 c 140s|540000 | 15 | 0 | 0.0 | 20M| 53 | - | 595 | 27k| 0 | 0 | 0 |2270 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
150.44/150.53 c 143s|550000 | 13 | 0 | 0.0 | 20M| 54 | - | 595 | 27k| 0 | 0 | 0 |2296 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
153.04/153.16 c 145s|560000 | 12 | 0 | 0.0 | 20M| 56 | - | 595 | 27k| 0 | 0 | 0 |2317 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
155.74/155.89 c 148s|570000 | 15 | 0 | 0.0 | 20M| 56 | - | 595 | 27k| 0 | 0 | 0 |2346 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
158.44/158.55 c 151s|580000 | 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2390 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
160.94/161.02 c 153s|590000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2427 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
163.53/163.62 c 155s|600000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2453 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
165.95/166.09 c 158s|610000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2481 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
168.54/168.63 c 160s|620000 | 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2528 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
171.03/171.17 c 163s|630000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2561 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
173.64/173.78 c 165s|640000 | 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2585 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
176.23/176.38 c 167s|650000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2618 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
178.93/179.09 c 170s|660000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2633 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
181.64/181.75 c 173s|670000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2665 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
184.33/184.42 c 175s|680000 | 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2720 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
186.94/187.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.94/187.06 c 178s|690000 | 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2759 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
189.63/189.73 c 180s|700000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2787 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
192.13/192.29 c 183s|710000 | 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2828 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
194.83/194.95 c 185s|720000 | 13 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2850 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
197.53/197.60 c 188s|730000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2904 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
200.03/200.14 c 190s|740000 | 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2951 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
202.63/202.71 c 192s|750000 | 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |2997 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
205.32/205.45 c 195s|760000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3046 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
208.02/208.10 c 198s|770000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3063 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
210.53/210.67 c 200s|780000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3117 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
213.24/213.31 c 203s|790000 | 13 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3148 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
215.83/215.90 c 205s|800000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3195 | 0 |-5.940000e+02 |-2.500000e+01 | 95.79%
217.22/217.37 o -26
217.22/217.37 c * 206s|805441 | 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3217 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
218.52/218.60 c 208s|810000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3231 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
221.22/221.38 c 210s|820000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3281 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
224.02/224.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.02/224.13 c 213s|830000 | 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3321 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
226.72/226.87 c 215s|840000 | 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3364 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
229.52/229.66 c 218s|850000 | 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3401 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
232.41/232.50 c 221s|860000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3424 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
235.12/235.21 c 223s|870000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3491 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
237.82/237.95 c 226s|880000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3551 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
240.52/240.66 c 229s|890000 | 13 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3639 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
243.21/243.39 c 231s|900000 | 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3689 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
246.01/246.11 c 234s|910000 | 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3740 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
248.82/248.95 c 237s|920000 | 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3796 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
251.51/251.63 c 239s|930000 | 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3844 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
254.32/254.44 c 242s|940000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3894 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
257.01/257.17 c 244s|950000 | 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |3944 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
259.72/259.85 c 247s|960000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4017 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
262.41/262.56 c 250s|970000 | 13 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4063 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
265.21/265.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.21/265.33 c 252s|980000 | 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4151 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
267.91/268.03 c 255s|990000 | 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4195 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
270.52/270.67 c 257s| 1000k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4232 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
273.11/273.27 c 260s| 1010k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4334 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
276.02/276.11 c 262s| 1020k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4373 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
278.61/278.80 c 265s| 1030k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4416 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
281.31/281.47 c 268s| 1040k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4472 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
284.01/284.13 c 270s| 1050k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4526 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
286.61/286.74 c 273s| 1060k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4571 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
289.21/289.37 c 275s| 1070k| 11 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4638 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
291.90/292.08 c 278s| 1080k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4670 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
294.70/294.86 c 280s| 1090k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4696 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
297.49/297.66 c 283s| 1100k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4724 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
300.29/300.40 c 286s| 1110k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4776 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
303.09/303.21 c 288s| 1120k| 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4820 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
305.78/305.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.78/305.91 c 291s| 1130k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4853 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
308.49/308.64 c 293s| 1140k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4884 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
311.19/311.38 c 296s| 1150k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4932 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
313.88/314.06 c 299s| 1160k| 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4984 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
316.88/317.05 c 301s| 1170k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |4996 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
319.78/319.96 c 304s| 1180k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5014 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
322.79/322.93 c 307s| 1190k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5046 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
325.69/325.84 c 310s| 1200k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5067 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
328.58/328.77 c 313s| 1210k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5118 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
331.48/331.64 c 315s| 1220k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5142 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
334.29/334.47 c 318s| 1230k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5174 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
337.18/337.38 c 321s| 1240k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5207 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
340.18/340.34 c 324s| 1250k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5232 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
343.09/343.21 c 326s| 1260k| 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5259 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
345.88/346.00 c 329s| 1270k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5303 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
348.58/348.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.58/348.72 c 332s| 1280k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5353 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
351.17/351.37 c 334s| 1290k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5389 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
353.98/354.15 c 337s| 1300k| 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5438 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
356.77/356.90 c 339s| 1310k| 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5487 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
359.48/359.64 c 342s| 1320k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5528 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
362.17/362.36 c 345s| 1330k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5556 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
364.98/365.11 c 347s| 1340k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5596 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
367.67/367.83 c 350s| 1350k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5614 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
370.37/370.54 c 352s| 1360k| 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5665 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
373.16/373.30 c 355s| 1370k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5691 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
375.87/376.07 c 358s| 1380k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5728 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
378.57/378.76 c 360s| 1390k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5769 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
381.36/381.54 c 363s| 1400k| 18 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5808 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
384.17/384.33 c 366s| 1410k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5846 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
386.98/387.11 c 368s| 1420k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5872 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
389.67/389.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.67/389.84 c 371s| 1430k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5901 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
392.48/392.64 c 373s| 1440k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |5972 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
395.16/395.36 c 376s| 1450k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6033 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
397.86/398.09 c 379s| 1460k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6094 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
400.56/400.79 c 381s| 1470k| 12 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6134 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
403.47/403.63 c 384s| 1480k| 13 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6169 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
406.26/406.45 c 387s| 1490k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6233 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
409.06/409.26 c 389s| 1500k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6269 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
411.86/412.09 c 392s| 1510k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6284 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
414.76/414.92 c 395s| 1520k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6333 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
417.45/417.69 c 397s| 1530k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6366 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
420.36/420.59 c 400s| 1540k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6400 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
423.15/423.35 c 403s| 1550k| 13 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6431 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
425.95/426.13 c 405s| 1560k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6574 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
428.76/428.93 c 408s| 1570k| 13 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6593 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
431.65/431.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.65/431.85 c 411s| 1580k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6634 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
434.55/434.73 c 414s| 1590k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6690 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
437.35/437.56 c 416s| 1600k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6713 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
440.25/440.40 c 419s| 1610k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6733 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
443.06/443.28 c 422s| 1620k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6782 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
445.84/446.06 c 424s| 1630k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6818 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
448.66/448.86 c 427s| 1640k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6874 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
451.55/451.72 c 430s| 1650k| 13 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6912 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
454.34/454.53 c 433s| 1660k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |6978 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
457.24/457.42 c 435s| 1670k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7019 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
460.14/460.30 c 438s| 1680k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7056 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
462.95/463.15 c 441s| 1690k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7089 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
465.74/465.97 c 443s| 1700k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7119 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
468.55/468.74 c 446s| 1710k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7152 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
471.44/471.60 c 449s| 1720k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7176 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
474.14/474.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.14/474.31 c 451s| 1730k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7211 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
476.74/476.99 c 454s| 1740k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7243 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
479.54/479.74 c 457s| 1750k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7288 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
482.34/482.55 c 459s| 1760k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7345 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
485.13/485.30 c 462s| 1770k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7376 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
487.73/487.99 c 464s| 1780k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7420 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
490.53/490.75 c 467s| 1790k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7449 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
493.24/493.45 c 470s| 1800k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7485 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
495.94/496.19 c 472s| 1810k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7522 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
498.73/498.91 c 475s| 1820k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7565 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
501.54/501.72 c 478s| 1830k| 15 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7592 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
504.33/504.54 c 480s| 1840k| 17 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7690 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
507.23/507.40 c 483s| 1850k| 14 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7719 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
510.03/510.28 c 486s| 1860k| 16 | 0 | 0.0 | 20M| 59 | - | 595 | 27k| 0 | 0 | 0 |7745 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
512.93/513.13 c 488s| 1870k| 14 | 0 | 0.0 | 20M| 61 | - | 595 | 27k| 0 | 0 | 0 |7763 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
515.83/516.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.83/516.08 c 491s| 1880k| 14 | 0 | 0.0 | 20M| 61 | - | 595 | 27k| 0 | 0 | 0 |7791 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
518.63/518.89 c 494s| 1890k| 15 | 0 | 0.0 | 20M| 61 | - | 595 | 27k| 0 | 0 | 0 |7820 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
521.42/521.60 c 496s| 1900k| 15 | 0 | 0.0 | 20M| 61 | - | 595 | 27k| 0 | 0 | 0 |7851 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
524.12/524.39 c 499s| 1910k| 14 | 0 | 0.0 | 20M| 61 | - | 595 | 27k| 0 | 0 | 0 |7874 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
526.92/527.10 c 502s| 1920k| 14 | 0 | 0.0 | 20M| 61 | - | 595 | 27k| 0 | 0 | 0 |7927 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
529.62/529.80 c 504s| 1930k| 15 | 0 | 0.0 | 20M| 62 | - | 595 | 27k| 0 | 0 | 0 |7972 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
532.22/532.47 c 507s| 1940k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |7999 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
534.92/535.16 c 509s| 1950k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8047 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
537.72/537.92 c 512s| 1960k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8068 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
540.42/540.62 c 515s| 1970k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8095 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
543.12/543.31 c 517s| 1980k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8128 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
545.72/545.99 c 520s| 1990k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8155 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
548.41/548.69 c 522s| 2000k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8186 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
551.22/551.40 c 525s| 2010k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8209 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
553.91/554.14 c 527s| 2020k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8238 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
556.62/556.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.62/556.86 c 530s| 2030k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8281 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
559.42/559.66 c 533s| 2040k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8308 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
562.11/562.32 c 535s| 2050k| 13 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8345 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
564.81/565.04 c 538s| 2060k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8384 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
567.51/567.79 c 540s| 2070k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8415 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
570.31/570.51 c 543s| 2080k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8441 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
573.01/573.22 c 546s| 2090k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8475 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
575.70/575.95 c 548s| 2100k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8495 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
578.41/578.62 c 551s| 2110k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8518 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
581.11/581.33 c 553s| 2120k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8558 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
583.81/584.02 c 556s| 2130k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8586 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
586.60/586.80 c 559s| 2140k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8619 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
589.41/589.65 c 561s| 2150k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8640 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
592.20/592.43 c 564s| 2160k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8691 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
595.00/595.29 c 567s| 2170k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8734 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
598.00/598.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.00/598.20 c 569s| 2180k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8789 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
600.80/601.00 c 572s| 2190k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8834 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
603.60/603.89 c 575s| 2200k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8884 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
606.50/606.72 c 578s| 2210k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8947 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
609.21/609.44 c 580s| 2220k| 13 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8966 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
612.00/612.23 c 583s| 2230k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |8991 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
614.80/615.01 c 585s| 2240k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9015 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
617.49/617.78 c 588s| 2250k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9044 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
620.29/620.56 c 591s| 2260k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9070 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
623.10/623.31 c 593s| 2270k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9111 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
625.90/626.14 c 596s| 2280k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9128 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
628.69/628.92 c 599s| 2290k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9152 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
631.40/631.63 c 601s| 2300k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9185 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
634.19/634.41 c 604s| 2310k| 12 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9199 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
636.99/637.23 c 607s| 2320k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9224 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
639.68/639.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.68/639.94 c 609s| 2330k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9257 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
642.39/642.69 c 612s| 2340k| 13 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9297 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
645.28/645.58 c 614s| 2350k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9317 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
648.19/648.45 c 617s| 2360k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9365 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
651.08/651.39 c 620s| 2370k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9398 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
654.08/654.32 c 623s| 2380k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9432 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
656.99/657.25 c 626s| 2390k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9445 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
659.88/660.19 c 628s| 2400k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9470 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
662.88/663.12 c 631s| 2410k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9499 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
665.78/666.05 c 634s| 2420k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9519 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
668.68/668.98 c 637s| 2430k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9533 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
671.67/671.91 c 640s| 2440k| 13 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9547 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
674.48/674.76 c 642s| 2450k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9593 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
677.38/677.62 c 645s| 2460k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9656 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
680.27/680.55 c 648s| 2470k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9693 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
683.17/683.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.17/683.41 c 651s| 2480k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9708 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
686.09/686.36 c 653s| 2490k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9717 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
688.98/689.26 c 656s| 2500k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9743 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
691.88/692.17 c 659s| 2510k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9773 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
694.77/695.04 c 662s| 2520k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9815 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
697.67/697.94 c 665s| 2530k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9842 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
700.57/700.86 c 667s| 2540k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9855 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
703.47/703.72 c 670s| 2550k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9878 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
706.26/706.52 c 673s| 2560k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9896 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
709.06/709.35 c 675s| 2570k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9919 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
711.97/712.23 c 678s| 2580k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9943 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
714.77/715.08 c 681s| 2590k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 |9982 | 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
717.76/718.01 c 684s| 2600k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
720.67/720.96 c 687s| 2610k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
723.57/723.89 c 689s| 2620k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
726.36/726.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.36/726.66 c 692s| 2630k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
729.27/729.59 c 695s| 2640k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
732.26/732.55 c 698s| 2650k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
735.16/735.40 c 700s| 2660k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
737.96/738.21 c 703s| 2670k| 18 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
740.76/741.04 c 706s| 2680k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
743.56/743.84 c 708s| 2690k| 11 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
746.45/746.70 c 711s| 2700k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
749.26/749.59 c 714s| 2710k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
752.17/752.42 c 716s| 2720k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
755.06/755.30 c 719s| 2730k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
757.85/758.14 c 722s| 2740k| 14 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
760.66/760.97 c 725s| 2750k| 17 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
763.55/763.81 c 727s| 2760k| 12 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
766.35/766.66 c 730s| 2770k| 16 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
769.15/769.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.15/769.47 c 733s| 2780k| 15 | 0 | 0.0 | 20M| 67 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
771.95/772.28 c 735s| 2790k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
774.75/775.05 c 738s| 2800k| 12 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
777.55/777.84 c 741s| 2810k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
780.44/780.75 c 744s| 2820k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
783.35/783.65 c 746s| 2830k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
786.26/786.57 c 749s| 2840k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
789.04/789.38 c 752s| 2850k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
791.95/792.24 c 754s| 2860k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
794.85/795.12 c 757s| 2870k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
797.64/797.91 c 760s| 2880k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 10k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
800.35/800.65 c 763s| 2890k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
803.14/803.45 c 765s| 2900k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
805.85/806.18 c 768s| 2910k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
808.74/809.01 c 770s| 2920k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
811.55/811.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.55/811.85 c 773s| 2930k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
814.44/814.74 c 776s| 2940k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
817.14/817.49 c 779s| 2950k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
819.93/820.20 c 781s| 2960k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
822.83/823.11 c 784s| 2970k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
825.54/825.89 c 787s| 2980k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
828.43/828.78 c 789s| 2990k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
831.24/831.59 c 792s| 3000k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
834.14/834.48 c 795s| 3010k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
836.94/837.29 c 797s| 3020k| 12 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
839.74/840.08 c 800s| 3030k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
842.43/842.77 c 803s| 3040k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
845.23/845.50 c 805s| 3050k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
847.83/848.18 c 808s| 3060k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
850.62/850.94 c 810s| 3070k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
853.24/853.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.24/853.60 c 813s| 3080k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
856.02/856.31 c 816s| 3090k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
858.62/858.98 c 818s| 3100k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
861.33/861.67 c 821s| 3110k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
864.03/864.38 c 823s| 3120k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
866.72/867.07 c 826s| 3130k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
869.52/869.85 c 828s| 3140k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
872.32/872.64 c 831s| 3150k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
875.02/875.39 c 834s| 3160k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
877.81/878.10 c 836s| 3170k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 11k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
880.42/880.79 c 839s| 3180k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
883.21/883.55 c 841s| 3190k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
885.91/886.22 c 844s| 3200k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
888.52/888.88 c 847s| 3210k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
891.21/891.59 c 849s| 3220k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
894.02/894.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.02/894.38 c 852s| 3230k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
896.81/897.12 c 854s| 3240k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
899.52/899.81 c 857s| 3250k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
902.11/902.49 c 859s| 3260k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
904.81/905.20 c 862s| 3270k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
907.51/907.87 c 865s| 3280k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
910.31/910.70 c 867s| 3290k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
913.11/913.48 c 870s| 3300k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
915.80/916.18 c 873s| 3310k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
918.60/918.90 c 875s| 3320k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
921.30/921.61 c 878s| 3330k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
924.01/924.35 c 880s| 3340k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
926.70/927.02 c 883s| 3350k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
929.40/929.74 c 885s| 3360k| 11 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
932.10/932.46 c 888s| 3370k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
934.80/935.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.80/935.15 c 891s| 3380k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
937.70/938.07 c 893s| 3390k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
940.70/941.05 c 896s| 3400k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
943.60/943.94 c 899s| 3410k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 12k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
946.40/946.76 c 902s| 3420k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
949.20/949.52 c 904s| 3430k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
952.00/952.38 c 907s| 3440k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
954.89/955.24 c 910s| 3450k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
957.70/958.10 c 913s| 3460k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
960.70/961.07 c 915s| 3470k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
963.60/963.97 c 918s| 3480k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
966.60/966.91 c 921s| 3490k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
969.40/969.79 c 924s| 3500k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
972.30/972.66 c 926s| 3510k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
975.19/975.52 c 929s| 3520k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
977.99/978.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.99/978.37 c 932s| 3530k| 18 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
980.80/981.13 c 935s| 3540k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
983.59/983.96 c 937s| 3550k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
986.39/986.77 c 940s| 3560k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
989.29/989.68 c 943s| 3570k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
992.29/992.65 c 946s| 3580k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
995.09/995.49 c 948s| 3590k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
998.08/998.42 c 951s| 3600k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1000.88/1001.27 c 954s| 3610k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1003.68/1004.00 c 956s| 3620k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1006.48/1006.86 c 959s| 3630k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1009.49/1009.83 c 962s| 3640k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1012.28/1012.65 c 965s| 3650k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1015.08/1015.41 c 967s| 3660k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1017.88/1018.27 c 970s| 3670k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1020.67/1021.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.67/1021.06 c 973s| 3680k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1023.58/1023.94 c 975s| 3690k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1026.48/1026.82 c 978s| 3700k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1029.28/1029.68 c 981s| 3710k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1032.17/1032.53 c 984s| 3720k| 17 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1034.98/1035.33 c 986s| 3730k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 13k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1037.87/1038.23 c 989s| 3740k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1040.68/1041.05 c 992s| 3750k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1043.58/1043.97 c 994s| 3760k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1046.47/1046.81 c 997s| 3770k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1049.37/1049.70 c 1000s| 3780k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1052.17/1052.56 c 1003s| 3790k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1054.96/1055.38 c 1005s| 3800k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1057.88/1058.21 c 1008s| 3810k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1060.57/1060.97 c 1011s| 3820k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1063.46/1063.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.46/1063.83 c 1013s| 3830k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1066.37/1066.74 c 1016s| 3840k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1069.27/1069.67 c 1019s| 3850k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1072.17/1072.56 c 1022s| 3860k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1075.06/1075.45 c 1024s| 3870k| 12 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1077.96/1078.39 c 1027s| 3880k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1080.97/1081.31 c 1030s| 3890k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1083.76/1084.10 c 1033s| 3900k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1086.37/1086.80 c 1035s| 3910k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1089.16/1089.56 c 1038s| 3920k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1091.96/1092.33 c 1041s| 3930k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1094.76/1095.13 c 1043s| 3940k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1097.46/1097.87 c 1046s| 3950k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1100.25/1100.63 c 1048s| 3960k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1103.05/1103.40 c 1051s| 3970k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1105.75/1106.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.75/1106.10 c 1054s| 3980k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1108.46/1108.87 c 1056s| 3990k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1111.36/1111.70 c 1059s| 4000k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1114.05/1114.49 c 1062s| 4010k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1116.95/1117.36 c 1064s| 4020k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1119.75/1120.13 c 1067s| 4030k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1122.55/1122.94 c 1070s| 4040k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 14k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1125.35/1125.78 c 1072s| 4050k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1128.15/1128.56 c 1075s| 4060k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1130.95/1131.34 c 1078s| 4070k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1133.65/1134.10 c 1080s| 4080k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1136.45/1136.84 c 1083s| 4090k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1139.15/1139.53 c 1086s| 4100k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1141.94/1142.31 c 1088s| 4110k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1144.65/1145.03 c 1091s| 4120k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1147.44/1147.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.44/1147.82 c 1093s| 4130k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1150.25/1150.62 c 1096s| 4140k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1153.04/1153.43 c 1099s| 4150k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1155.74/1156.20 c 1101s| 4160k| 11 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1158.54/1158.98 c 1104s| 4170k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1161.34/1161.72 c 1107s| 4180k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1164.13/1164.50 c 1109s| 4190k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1166.83/1167.24 c 1112s| 4200k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1169.54/1169.98 c 1115s| 4210k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1172.43/1172.83 c 1117s| 4220k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1175.23/1175.62 c 1120s| 4230k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1178.03/1178.41 c 1123s| 4240k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1180.83/1181.28 c 1125s| 4250k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1183.73/1184.15 c 1128s| 4260k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1186.53/1186.98 c 1131s| 4270k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1189.33/1189.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.33/1189.77 c 1133s| 4280k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1192.13/1192.51 c 1136s| 4290k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1194.83/1195.27 c 1139s| 4300k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1197.62/1198.00 c 1141s| 4310k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1200.43/1200.81 c 1144s| 4320k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1203.23/1203.60 c 1147s| 4330k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1206.02/1206.42 c 1149s| 4340k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 15k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1208.72/1209.17 c 1152s| 4350k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1211.52/1211.93 c 1155s| 4360k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1214.22/1214.67 c 1157s| 4370k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1217.01/1217.45 c 1160s| 4380k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1219.72/1220.18 c 1162s| 4390k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1222.52/1222.99 c 1165s| 4400k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1225.42/1225.81 c 1168s| 4410k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1228.22/1228.62 c 1170s| 4420k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1231.01/1231.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.01/1231.44 c 1173s| 4430k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1233.92/1234.38 c 1176s| 4440k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1236.82/1237.22 c 1179s| 4450k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1239.71/1240.11 c 1181s| 4460k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1242.52/1242.91 c 1184s| 4470k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1245.31/1245.72 c 1187s| 4480k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1248.02/1248.48 c 1189s| 4490k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1250.91/1251.32 c 1192s| 4500k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1253.81/1254.22 c 1195s| 4510k| 12 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1256.61/1257.08 c 1198s| 4520k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1259.41/1259.84 c 1200s| 4530k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1262.21/1262.66 c 1203s| 4540k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1265.00/1265.46 c 1206s| 4550k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1267.81/1268.22 c 1208s| 4560k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1270.50/1270.91 c 1211s| 4570k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1273.10/1273.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.10/1273.59 c 1213s| 4580k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1275.90/1276.32 c 1216s| 4590k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 16k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1278.60/1279.07 c 1219s| 4600k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1281.50/1281.90 c 1221s| 4610k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1284.30/1284.78 c 1224s| 4620k| 13 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1287.20/1287.66 c 1227s| 4630k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1289.99/1290.48 c 1230s| 4640k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1292.79/1293.23 c 1232s| 4650k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1295.59/1296.04 c 1235s| 4660k| 12 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1298.39/1298.85 c 1238s| 4670k| 14 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1301.29/1301.71 c 1240s| 4680k| 12 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1304.09/1304.60 c 1243s| 4690k| 16 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1306.98/1307.49 c 1246s| 4700k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1309.89/1310.36 c 1249s| 4710k| 15 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1312.78/1313.25 c 1251s| 4720k| 12 | 0 | 0.0 | 20M| 68 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1315.49/1315.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.49/1315.98 c 1254s| 4730k| 13 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1318.28/1318.71 c 1256s| 4740k| 13 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1321.09/1321.50 c 1259s| 4750k| 13 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1323.89/1324.36 c 1262s| 4760k| 13 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1326.68/1327.12 c 1265s| 4770k| 13 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1329.39/1329.89 c 1267s| 4780k| 14 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1332.28/1332.70 c 1270s| 4790k| 14 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1335.08/1335.51 c 1273s| 4800k| 15 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1337.88/1338.34 c 1275s| 4810k| 13 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1340.68/1341.18 c 1278s| 4820k| 12 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1343.48/1343.96 c 1281s| 4830k| 13 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 17k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1346.28/1346.77 c 1283s| 4840k| 13 | 0 | 0.0 | 20M| 70 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1349.18/1349.64 c 1286s| 4850k| 14 | 0 | 0.0 | 20M| 74 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1351.98/1352.43 c 1289s| 4860k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1354.78/1355.23 c 1291s| 4870k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1357.57/1358.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1357.57/1358.06 c 1294s| 4880k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1360.47/1360.90 c 1297s| 4890k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1363.27/1363.76 c 1299s| 4900k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1365.97/1366.48 c 1302s| 4910k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1368.67/1369.15 c 1305s| 4920k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1371.37/1371.89 c 1307s| 4930k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1374.17/1374.61 c 1310s| 4940k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1376.97/1377.42 c 1312s| 4950k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1379.66/1380.12 c 1315s| 4960k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1382.37/1382.87 c 1318s| 4970k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1385.27/1385.76 c 1320s| 4980k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1388.17/1388.62 c 1323s| 4990k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1390.97/1391.46 c 1326s| 5000k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1393.76/1394.28 c 1329s| 5010k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1396.66/1397.16 c 1331s| 5020k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1399.46/1399.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.46/1399.90 c 1334s| 5030k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1402.16/1402.62 c 1336s| 5040k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1404.85/1405.39 c 1339s| 5050k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1407.57/1408.09 c 1342s| 5060k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1410.35/1410.85 c 1344s| 5070k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1413.15/1413.60 c 1347s| 5080k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1415.75/1416.24 c 1349s| 5090k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1418.45/1418.92 c 1352s| 5100k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 18k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1421.25/1421.71 c 1355s| 5110k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1424.15/1424.64 c 1358s| 5120k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1426.85/1427.35 c 1360s| 5130k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1429.65/1430.13 c 1363s| 5140k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1432.34/1432.86 c 1365s| 5150k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1435.05/1435.59 c 1368s| 5160k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1437.74/1438.28 c 1371s| 5170k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1440.45/1440.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.45/1440.97 c 1373s| 5180k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1443.24/1443.71 c 1376s| 5190k| 12 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1445.95/1446.46 c 1378s| 5200k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1448.74/1449.21 c 1381s| 5210k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1451.45/1451.98 c 1384s| 5220k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1454.24/1454.73 c 1386s| 5230k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1456.94/1457.47 c 1389s| 5240k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1459.74/1460.23 c 1391s| 5250k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1462.44/1462.96 c 1394s| 5260k| 12 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1465.14/1465.61 c 1397s| 5270k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1467.84/1468.30 c 1399s| 5280k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1470.43/1470.93 c 1402s| 5290k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1473.14/1473.60 c 1404s| 5300k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1475.74/1476.26 c 1407s| 5310k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1478.43/1478.96 c 1409s| 5320k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1481.03/1481.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.03/1481.59 c 1412s| 5330k| 12 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1483.73/1484.26 c 1414s| 5340k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1486.64/1487.16 c 1417s| 5350k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1489.43/1489.97 c 1420s| 5360k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1492.24/1492.77 c 1422s| 5370k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 19k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1495.03/1495.55 c 1425s| 5380k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1497.83/1498.35 c 1428s| 5390k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1500.63/1501.12 c 1430s| 5400k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1503.42/1503.90 c 1433s| 5410k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1506.22/1506.75 c 1436s| 5420k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1509.13/1509.63 c 1438s| 5430k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1511.83/1512.39 c 1441s| 5440k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1514.62/1515.13 c 1444s| 5450k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1517.43/1517.98 c 1446s| 5460k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1520.32/1520.84 c 1449s| 5470k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1523.12/1523.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.12/1523.69 c 1452s| 5480k| 11 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1525.92/1526.48 c 1455s| 5490k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1528.82/1529.30 c 1457s| 5500k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1531.52/1532.09 c 1460s| 5510k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1534.32/1534.85 c 1463s| 5520k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1537.12/1537.68 c 1465s| 5530k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1539.91/1540.44 c 1468s| 5540k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1542.61/1543.17 c 1470s| 5550k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1545.41/1545.94 c 1473s| 5560k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1548.11/1548.65 c 1476s| 5570k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1550.81/1551.36 c 1478s| 5580k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1553.51/1554.08 c 1481s| 5590k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1556.31/1556.86 c 1484s| 5600k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1559.01/1559.56 c 1486s| 5610k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1561.61/1562.12 c 1489s| 5620k| 18 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1564.21/1564.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.21/1564.77 c 1491s| 5630k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 20k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1567.02/1567.52 c 1494s| 5640k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1569.81/1570.33 c 1496s| 5650k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1572.51/1573.10 c 1499s| 5660k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1575.40/1575.92 c 1502s| 5670k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1578.11/1578.65 c 1504s| 5680k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1580.91/1581.40 c 1507s| 5690k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1583.61/1584.17 c 1510s| 5700k| 19 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1586.30/1586.89 c 1512s| 5710k| 12 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1589.11/1589.66 c 1515s| 5720k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1591.70/1592.27 c 1517s| 5730k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1594.41/1594.93 c 1520s| 5740k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1597.20/1597.72 c 1522s| 5750k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1599.90/1600.44 c 1525s| 5760k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1602.59/1603.17 c 1528s| 5770k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1605.40/1605.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.40/1605.97 c 1530s| 5780k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1608.20/1608.72 c 1533s| 5790k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1610.91/1611.47 c 1536s| 5800k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1613.70/1614.29 c 1538s| 5810k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1616.50/1617.03 c 1541s| 5820k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1619.19/1619.76 c 1543s| 5830k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1622.00/1622.55 c 1546s| 5840k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1624.69/1625.28 c 1549s| 5850k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1627.50/1628.04 c 1551s| 5860k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1630.29/1630.84 c 1554s| 5870k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 21k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1633.09/1633.65 c 1557s| 5880k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1635.68/1636.27 c 1559s| 5890k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1638.39/1638.99 c 1562s| 5900k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1641.18/1641.78 c 1564s| 5910k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1643.99/1644.55 c 1567s| 5920k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1646.78/1647.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.78/1647.34 c 1570s| 5930k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1649.49/1650.09 c 1572s| 5940k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1652.28/1652.83 c 1575s| 5950k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1654.89/1655.44 c 1577s| 5960k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1657.58/1658.16 c 1580s| 5970k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1660.18/1660.77 c 1583s| 5980k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1662.87/1663.42 c 1585s| 5990k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1665.57/1666.18 c 1588s| 6000k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1668.38/1668.90 c 1590s| 6010k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1671.07/1671.64 c 1593s| 6020k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1673.88/1674.41 c 1596s| 6030k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1676.57/1677.13 c 1598s| 6040k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1679.37/1679.95 c 1601s| 6050k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1682.27/1682.81 c 1604s| 6060k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1684.97/1685.52 c 1606s| 6070k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1687.67/1688.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.67/1688.29 c 1609s| 6080k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1690.57/1691.13 c 1611s| 6090k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1693.27/1693.88 c 1614s| 6100k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1696.07/1696.67 c 1617s| 6110k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1698.88/1699.48 c 1619s| 6120k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1701.66/1702.26 c 1622s| 6130k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1704.37/1704.95 c 1625s| 6140k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 22k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1707.06/1707.68 c 1627s| 6150k| 12 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1709.87/1710.46 c 1630s| 6160k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1712.47/1713.07 c 1632s| 6170k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1715.16/1715.74 c 1635s| 6180k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1717.86/1718.46 c 1637s| 6190k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1720.56/1721.17 c 1640s| 6200k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1723.26/1723.88 c 1643s| 6210k| 12 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1726.06/1726.65 c 1645s| 6220k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1728.75/1729.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.75/1729.32 c 1648s| 6230k| 12 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1731.36/1731.99 c 1650s| 6240k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1734.17/1734.71 c 1653s| 6250k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1736.86/1737.43 c 1656s| 6260k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1739.56/1740.18 c 1658s| 6270k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1742.26/1742.87 c 1661s| 6280k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1744.85/1745.49 c 1663s| 6290k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1747.55/1748.11 c 1666s| 6300k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1750.26/1750.81 c 1668s| 6310k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1752.86/1753.42 c 1671s| 6320k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1755.55/1756.13 c 1673s| 6330k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1758.26/1758.86 c 1676s| 6340k| 17 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1761.05/1761.64 c 1679s| 6350k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1763.86/1764.42 c 1681s| 6360k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1766.55/1767.11 c 1684s| 6370k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1769.26/1769.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.26/1769.83 c 1686s| 6380k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1772.05/1772.60 c 1689s| 6390k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1774.64/1775.28 c 1692s| 6400k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1777.34/1777.90 c 1694s| 6410k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 23k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1779.94/1780.59 c 1697s| 6420k| 14 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1782.65/1783.24 c 1699s| 6430k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1785.34/1785.94 c 1702s| 6440k| 12 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1788.14/1788.70 c 1704s| 6450k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1790.84/1791.43 c 1707s| 6460k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1793.55/1794.13 c 1710s| 6470k| 13 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1796.24/1796.82 c 1712s| 6480k| 15 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1798.84/1799.49 c 1715s| 6490k| 16 | 0 | 0.0 | 20M| 75 | - | 595 | 27k| 0 | 0 | 0 | 24k| 0 |-5.940000e+02 |-2.600000e+01 | 95.62%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1715.71
1800.05/1800.61 c Solving Nodes : 6494191
1800.05/1800.61 c Primal Bound : -2.60000000000000e+01 (10 solutions)
1800.05/1800.61 c Dual Bound : -5.94000000000000e+02
1800.05/1800.61 c Gap : 95.62 %
1800.05/1800.63 s SATISFIABLE
1800.05/1800.63 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.05/1800.63 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.05/1800.63 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
1800.05/1800.63 v -x79 -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.05/1800.63 v -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.05/1800.63 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.05/1800.63 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166
1800.05/1800.63 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187
1800.05/1800.63 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.05/1800.63 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.05/1800.63 v -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250
1800.05/1800.63 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.05/1800.63 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292
1800.05/1800.63 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1800.05/1800.63 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1800.05/1800.63 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355
1800.05/1800.63 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.05/1800.63 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396
1800.05/1800.63 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.05/1800.63 v -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438
1800.05/1800.63 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.05/1800.63 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 x478 -x479 -x480 -x481
1800.05/1800.63 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1800.05/1800.63 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.05/1800.63 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543
1800.05/1800.63 v -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.05/1800.63 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.05/1800.63 v -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595
1800.05/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.63 c Solving Time : 1715.71
1800.05/1800.63 c Original Problem :
1800.05/1800.63 c Problem name : HOME/instance-2664068-1276516567.opb
1800.05/1800.63 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.63 c Constraints : 27847 initial, 27847 maximal
1800.05/1800.63 c Presolved Problem :
1800.05/1800.63 c Problem name : t_HOME/instance-2664068-1276516567.opb
1800.05/1800.63 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.63 c Constraints : 27847 initial, 27896 maximal
1800.05/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c probing : 0.62 0 0 0 0 0 0 0 0
1800.05/1800.63 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.05/1800.63 c root node : - 0 - - 0 - - - -
1800.05/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.63 c logicor : 27847+ 0 6698565 0 7 580063 14107345 0 0 0
1800.05/1800.63 c countsols : 0 0 0 0 7 0 0 0 0 0
1800.05/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.63 c logicor : 583.26 0.00 583.20 0.00 0.06
1800.05/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.63 c vbounds : 5.05 2 0 0
1800.05/1800.63 c rootredcost : 4.42 0 0 0
1800.05/1800.63 c pseudoobj : 480.25 10197183 2454178 3730598
1800.05/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.63 c propagation : 302.72 580063 24319 24319 38.7 0 0.0 -
1800.05/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c pseudo solution : 115.44 218399 0 0 0.0 0 0.0 -
1800.05/1800.63 c applied globally : - - - 24158 38.5 - - -
1800.05/1800.63 c applied locally : - - - 161 62.4 - - -
1800.05/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.63 c redcost : 0.00 0 0 0 0 0
1800.05/1800.63 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.63 c intobj : 0.00 0 0 0 0 0
1800.05/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.63 c gomory : 0.00 0 0 0 0 0
1800.05/1800.63 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.63 c cmir : 0.00 0 0 0 0 0
1800.05/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.63 c clique : 0.00 0 0 0 0 0
1800.05/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.63 c mcf : 0.00 0 0 0 0 0
1800.05/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.63 c Pricers : Time Calls Vars
1800.05/1800.63 c problem variables: 0.00 0 0
1800.05/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.63 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.63 c inference : 26.12 3254803 0 0 0 0 6509606
1800.05/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.63 c random : 0.00 0 0 0 0 0 0
1800.05/1800.63 c Primal Heuristics : Time Calls Found
1800.05/1800.63 c LP solutions : 0.00 - 0
1800.05/1800.63 c pseudo solutions : 0.00 - 7
1800.05/1800.63 c oneopt : 4.03 0 0
1800.05/1800.63 c trivial : 0.01 2 3
1800.05/1800.63 c simplerounding : 0.00 0 0
1800.05/1800.63 c zirounding : 0.00 0 0
1800.05/1800.63 c rounding : 0.00 0 0
1800.05/1800.63 c shifting : 0.00 0 0
1800.05/1800.63 c intshifting : 0.00 0 0
1800.05/1800.63 c twoopt : 0.00 0 0
1800.05/1800.63 c fixandinfer : 0.00 0 0
1800.05/1800.63 c feaspump : 0.00 0 0
1800.05/1800.63 c coefdiving : 0.00 0 0
1800.05/1800.63 c pscostdiving : 0.00 0 0
1800.05/1800.63 c fracdiving : 0.00 0 0
1800.05/1800.63 c veclendiving : 0.00 0 0
1800.05/1800.63 c intdiving : 0.00 0 0
1800.05/1800.63 c actconsdiving : 0.00 0 0
1800.05/1800.63 c objpscostdiving : 0.00 0 0
1800.05/1800.63 c rootsoldiving : 0.00 0 0
1800.05/1800.63 c linesearchdiving : 0.00 0 0
1800.05/1800.63 c guideddiving : 0.00 0 0
1800.05/1800.63 c octane : 0.00 0 0
1800.05/1800.63 c rens : 0.00 0 0
1800.05/1800.63 c rins : 0.00 0 0
1800.05/1800.63 c localbranching : 0.00 0 0
1800.05/1800.63 c mutation : 0.00 0 0
1800.05/1800.63 c crossover : 0.00 0 0
1800.05/1800.63 c dins : 0.00 0 0
1800.05/1800.63 c undercover : 0.00 0 0
1800.05/1800.63 c nlp : 2.44 0 0
1800.05/1800.63 c trysol : 3.04 0 0
1800.05/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.63 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.63 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.63 c (at root node) : - 0 0 0.00 -
1800.05/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.63 c B&B Tree :
1800.05/1800.63 c number of runs : 1
1800.05/1800.63 c nodes : 6494191
1800.05/1800.63 c nodes (total) : 6494191
1800.05/1800.63 c nodes left : 15
1800.05/1800.63 c max depth : 75
1800.05/1800.63 c max depth (total): 75
1800.05/1800.63 c backtracks : 1007292 (15.5%)
1800.05/1800.63 c delayed cutoffs : 14381
1800.05/1800.63 c repropagations : 17307 (64397 domain reductions, 13259 cutoffs)
1800.05/1800.63 c avg switch length: 2.00
1800.05/1800.63 c switching time : 227.25
1800.05/1800.63 c Solution :
1800.05/1800.63 c Solutions found : 10 (8 improvements)
1800.05/1800.63 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.05/1800.63 c Primal Bound : -2.60000000000000e+01 (in run 1, after 805441 nodes, 206.40 seconds, depth 29, found by <relaxation>)
1800.05/1800.63 c Dual Bound : -5.94000000000000e+02
1800.05/1800.63 c Gap : 95.62 %
1800.05/1800.63 c Root Dual Bound : -5.95000000000000e+02
1800.05/1800.63 c Root Iterations : 0
1800.05/1800.70 c Time complete: 1800.13.