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-2663815-1276661119.opb>
0.19/0.20 c original problem has 19183 variables (19183 bin, 0 int, 0 impl, 0 cont) and 19183 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.20 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.39/0.44 o 0
0.39/0.44 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.44 c presolving:
0.88/0.98 c (round 1) 18683 del vars, 500 del conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74732 impls, 0 clqs
1.49/1.52 c (1.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.52 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.49/1.52 c presolving (2 rounds):
1.49/1.52 c 18683 deleted vars, 500 deleted constraints, 18683 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.52 c 112098 implications, 0 cliques
1.49/1.52 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18683 constraints
1.49/1.52 c 18683 constraints of type <logicor>
1.49/1.52 c transformed objective value is always integral (scale: 1)
1.49/1.52 c Presolving Time: 1.06
1.49/1.52 c - non default parameters ----------------------------------------------------------------------
1.49/1.52 c # SCIP version 1.2.1.2
1.49/1.52 c
1.49/1.52 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.52 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.52 c conflict/interconss = 0
1.49/1.52 c
1.49/1.52 c # should binary conflicts be preferred?
1.49/1.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.52 c conflict/preferbinary = TRUE
1.49/1.52 c
1.49/1.52 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.52 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.52 c constraints/agelimit = 1
1.49/1.52 c
1.49/1.52 c # should enforcement of pseudo solution be disabled?
1.49/1.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.52 c constraints/disableenfops = TRUE
1.49/1.52 c
1.49/1.52 c # frequency for displaying node information lines
1.49/1.52 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.52 c display/freq = 10000
1.49/1.52 c
1.49/1.52 c # maximal time in seconds to run
1.49/1.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.52 c limits/time = 1799.81
1.49/1.52 c
1.49/1.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.52 c limits/memory = 1620
1.49/1.52 c
1.49/1.52 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.52 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.52 c lp/solvefreq = -1
1.49/1.52 c
1.49/1.52 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.52 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.52 c lp/pricing = a
1.49/1.52 c
1.49/1.52 c # should presolving try to simplify inequalities
1.49/1.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.52 c constraints/linear/simplifyinequalities = TRUE
1.49/1.52 c
1.49/1.52 c # should presolving try to simplify knapsacks
1.49/1.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.52 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.52 c
1.49/1.52 c # priority of node selection rule <dfs> in standard mode
1.49/1.52 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.52 c nodeselection/dfs/stdpriority = 1000000
1.49/1.52 c
1.49/1.52 c -----------------------------------------------------------------------------------------------
1.49/1.52 c start solving
1.49/1.52 c
1.49/1.53 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.53 c t 1.1s| 1 | 2 | 0 | - | 42M| 0 | - | 500 | 18k| 0 | 0 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.49/1.53 o -22
1.49/1.53 c * 1.2s| 23 | 17 | 0 | 0.0 | 42M| 22 | - | 500 | 18k| 0 | 0 | 0 | 0 | 0 |-4.990000e+02 |-2.200000e+01 | 95.59%
1.49/1.54 o -23
1.49/1.54 c * 1.2s| 63 | 15 | 0 | 0.0 | 42M| 22 | - | 500 | 18k| 0 | 0 | 0 | 0 | 0 |-4.990000e+02 |-2.300000e+01 | 95.39%
1.49/1.58 o -24
1.49/1.58 c * 1.2s| 256 | 18 | 0 | 0.0 | 42M| 28 | - | 500 | 18k| 0 | 0 | 0 | 2 | 0 |-4.990000e+02 |-2.400000e+01 | 95.19%
1.89/1.92 o -25
1.89/1.92 c * 1.5s| 1933 | 17 | 0 | 0.0 | 42M| 31 | - | 500 | 18k| 0 | 0 | 0 | 22 | 0 |-4.990000e+02 |-2.500000e+01 | 94.99%
3.09/3.12 o -26
3.09/3.12 c * 2.6s| 8286 | 19 | 0 | 0.0 | 42M| 39 | - | 500 | 18k| 0 | 0 | 0 | 31 | 0 |-4.990000e+02 |-2.600000e+01 | 94.79%
3.39/3.46 c 3.0s| 10000 | 14 | 0 | 0.0 | 42M| 39 | - | 500 | 18k| 0 | 0 | 0 | 38 | 0 |-4.990000e+02 |-2.600000e+01 | 94.79%
5.39/5.42 c 4.8s| 20000 | 15 | 0 | 0.0 | 42M| 40 | - | 500 | 18k| 0 | 0 | 0 | 54 | 0 |-4.990000e+02 |-2.600000e+01 | 94.79%
7.39/7.40 c 6.6s| 30000 | 15 | 0 | 0.0 | 42M| 40 | - | 500 | 18k| 0 | 0 | 0 | 72 | 0 |-4.990000e+02 |-2.600000e+01 | 94.79%
9.29/9.36 c 8.5s| 40000 | 15 | 0 | 0.0 | 42M| 41 | - | 500 | 18k| 0 | 0 | 0 | 88 | 0 |-4.990000e+02 |-2.600000e+01 | 94.79%
10.68/10.70 o -27
10.68/10.70 c * 9.7s| 46938 | 22 | 0 | 0.0 | 42M| 45 | - | 500 | 18k| 0 | 0 | 0 | 101 | 0 |-4.990000e+02 |-2.700000e+01 | 94.59%
10.68/10.71 o -28
10.68/10.71 c * 9.7s| 46966 | 19 | 0 | 0.0 | 42M| 45 | - | 500 | 18k| 0 | 0 | 0 | 101 | 0 |-4.990000e+02 |-2.800000e+01 | 94.39%
11.29/11.32 c 10.3s| 50000 | 14 | 0 | 0.0 | 42M| 45 | - | 500 | 18k| 0 | 0 | 0 | 102 | 0 |-4.990000e+02 |-2.800000e+01 | 94.39%
13.29/13.38 c 12.2s| 60000 | 16 | 0 | 0.0 | 42M| 45 | - | 500 | 18k| 0 | 0 | 0 | 116 | 0 |-4.990000e+02 |-2.800000e+01 | 94.39%
15.40/15.41 c 14.1s| 70000 | 16 | 0 | 0.0 | 42M| 45 | - | 500 | 18k| 0 | 0 | 0 | 128 | 0 |-4.990000e+02 |-2.800000e+01 | 94.39%
17.39/17.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.39/17.44 c 16.0s| 80000 | 17 | 0 | 0.0 | 42M| 45 | - | 500 | 18k| 0 | 0 | 0 | 141 | 0 |-4.990000e+02 |-2.800000e+01 | 94.39%
19.38/19.44 c 17.9s| 90000 | 18 | 0 | 0.0 | 42M| 45 | - | 500 | 18k| 0 | 0 | 0 | 168 | 0 |-4.990000e+02 |-2.800000e+01 | 94.39%
21.48/21.50 c 19.9s|100000 | 17 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 175 | 0 |-4.990000e+02 |-2.800000e+01 | 94.39%
23.38/23.41 o -29
23.38/23.41 c *21.7s|109345 | 21 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 198 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
23.48/23.54 c 21.8s|110000 | 18 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 202 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
25.48/25.59 c 23.7s|120000 | 16 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 226 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
27.59/27.69 c 25.7s|130000 | 16 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 246 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
29.78/29.81 c 27.7s|140000 | 15 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 257 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
31.88/31.93 c 29.7s|150000 | 14 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 270 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
33.88/33.94 c 31.6s|160000 | 16 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 283 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
35.98/36.02 c 33.5s|170000 | 18 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 306 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
37.88/37.96 c 35.4s|180000 | 15 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 329 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
39.88/39.93 c 37.2s|190000 | 15 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 344 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
41.88/41.98 c 39.1s|200000 | 16 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 363 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
43.88/44.00 c 41.0s|210000 | 19 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 380 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
45.88/45.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.88/45.91 c 42.8s|220000 | 16 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 401 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
47.88/47.93 c 44.7s|230000 | 15 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 426 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
49.87/49.92 c 46.5s|240000 | 16 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 457 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
51.88/51.99 c 48.5s|250000 | 17 | 0 | 0.0 | 42M| 49 | - | 500 | 18k| 0 | 0 | 0 | 474 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
53.98/54.04 c 50.4s|260000 | 17 | 0 | 0.0 | 42M| 50 | - | 500 | 18k| 0 | 0 | 0 | 500 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
55.98/56.04 c 52.3s|270000 | 16 | 0 | 0.0 | 42M| 50 | - | 500 | 18k| 0 | 0 | 0 | 524 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
57.97/58.06 c 54.2s|280000 | 15 | 0 | 0.0 | 42M| 50 | - | 500 | 18k| 0 | 0 | 0 | 545 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
59.97/60.04 c 56.1s|290000 | 18 | 0 | 0.0 | 42M| 50 | - | 500 | 18k| 0 | 0 | 0 | 583 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
61.97/62.06 c 58.0s|300000 | 19 | 0 | 0.0 | 42M| 50 | - | 500 | 18k| 0 | 0 | 0 | 619 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
63.97/64.04 c 59.8s|310000 | 17 | 0 | 0.0 | 42M| 50 | - | 500 | 18k| 0 | 0 | 0 | 630 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
65.97/66.03 c 61.7s|320000 | 16 | 0 | 0.0 | 42M| 50 | - | 500 | 18k| 0 | 0 | 0 | 666 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
67.97/68.06 c 63.6s|330000 | 17 | 0 | 0.0 | 42M| 50 | - | 500 | 18k| 0 | 0 | 0 | 684 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
69.96/70.04 c 65.4s|340000 | 15 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 715 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
71.96/72.02 c 67.3s|350000 | 15 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 736 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
73.97/74.06 c 69.2s|360000 | 15 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 755 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
75.97/76.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.97/76.07 c 71.1s|370000 | 18 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 769 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
78.07/78.11 c 73.0s|380000 | 15 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 802 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
80.07/80.12 c 74.8s|390000 | 15 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 830 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
82.06/82.16 c 76.8s|400000 | 16 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 843 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
84.07/84.16 c 78.7s|410000 | 11 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 866 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
86.07/86.17 c 80.5s|420000 | 14 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 895 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
88.17/88.26 c 82.5s|430000 | 15 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 928 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
90.27/90.30 c 84.4s|440000 | 16 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 961 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
92.27/92.39 c 86.4s|450000 | 14 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 | 986 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
94.36/94.43 c 88.3s|460000 | 13 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 |1002 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
96.36/96.48 c 90.2s|470000 | 12 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 |1026 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
98.36/98.48 c 92.1s|480000 | 14 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 |1055 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
100.46/100.51 c 94.0s|490000 | 15 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 |1080 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
102.46/102.54 c 95.9s|500000 | 14 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 |1096 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
104.56/104.60 c 97.8s|510000 | 14 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 |1130 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
106.56/106.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.56/106.65 c 99.7s|520000 | 13 | 0 | 0.0 | 42M| 52 | - | 500 | 18k| 0 | 0 | 0 |1143 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
108.66/108.74 c 102s|530000 | 17 | 0 | 0.0 | 42M| 53 | - | 500 | 18k| 0 | 0 | 0 |1162 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
110.56/110.66 c 104s|540000 | 14 | 0 | 0.0 | 42M| 53 | - | 500 | 18k| 0 | 0 | 0 |1181 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
112.55/112.65 c 105s|550000 | 17 | 0 | 0.0 | 42M| 53 | - | 500 | 18k| 0 | 0 | 0 |1196 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
114.56/114.64 c 107s|560000 | 16 | 0 | 0.0 | 42M| 53 | - | 500 | 18k| 0 | 0 | 0 |1230 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
116.46/116.58 c 109s|570000 | 15 | 0 | 0.0 | 42M| 53 | - | 500 | 18k| 0 | 0 | 0 |1249 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
118.56/118.60 c 111s|580000 | 13 | 0 | 0.0 | 42M| 55 | - | 500 | 18k| 0 | 0 | 0 |1272 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
120.56/120.61 c 113s|590000 | 13 | 0 | 0.0 | 42M| 55 | - | 500 | 18k| 0 | 0 | 0 |1286 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
122.46/122.56 c 115s|600000 | 17 | 0 | 0.0 | 42M| 55 | - | 500 | 18k| 0 | 0 | 0 |1302 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
124.45/124.50 c 116s|610000 | 12 | 0 | 0.0 | 42M| 59 | - | 500 | 18k| 0 | 0 | 0 |1321 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
126.46/126.52 c 118s|620000 | 18 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1334 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
128.45/128.57 c 120s|630000 | 18 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1374 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
130.45/130.57 c 122s|640000 | 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1418 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
132.55/132.65 c 124s|650000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1454 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
134.65/134.77 c 126s|660000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1477 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
136.75/136.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.75/136.84 c 128s|670000 | 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1501 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
138.85/138.94 c 130s|680000 | 14 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1527 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
140.95/141.01 c 132s|690000 | 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1538 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
143.04/143.11 c 134s|700000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1572 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
145.05/145.15 c 136s|710000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1590 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
147.05/147.11 c 138s|720000 | 19 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1626 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
149.14/149.22 c 140s|730000 | 14 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1675 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
151.14/151.29 c 142s|740000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1694 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
153.24/153.39 c 144s|750000 | 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1714 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
155.34/155.48 c 146s|760000 | 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1735 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
157.44/157.54 c 148s|770000 | 14 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1783 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
159.45/159.54 c 149s|780000 | 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1808 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
161.44/161.58 c 151s|790000 | 14 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1832 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
163.54/163.62 c 153s|800000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1852 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
165.64/165.78 c 155s|810000 | 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1893 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
167.74/167.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.74/167.88 c 157s|820000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1937 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
169.84/169.97 c 159s|830000 | 14 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |1980 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
171.93/172.04 c 161s|840000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2012 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
174.14/174.20 c 163s|850000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2037 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
176.14/176.29 c 165s|860000 | 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2051 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
178.33/178.42 c 167s|870000 | 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2102 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
180.43/180.56 c 169s|880000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2143 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
182.54/182.62 c 171s|890000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2164 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
184.64/184.73 c 173s|900000 | 18 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2200 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
186.73/186.82 c 175s|910000 | 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2223 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
188.83/188.94 c 177s|920000 | 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2241 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
190.93/191.03 c 179s|930000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2278 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
193.03/193.12 c 181s|940000 | 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2302 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
195.03/195.17 c 183s|950000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2331 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
197.13/197.20 c 185s|960000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2359 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
199.13/199.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.13/199.23 c 187s|970000 | 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2388 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
201.24/201.34 c 189s|980000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2419 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
203.33/203.40 c 191s|990000 | 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2463 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
205.43/205.51 c 193s| 1000k| 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2497 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
207.53/207.62 c 195s| 1010k| 19 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2518 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
209.52/209.65 c 197s| 1020k| 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2573 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
211.43/211.57 c 198s| 1030k| 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2608 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
213.52/213.64 c 200s| 1040k| 20 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2642 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
215.53/215.69 c 202s| 1050k| 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2674 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
217.63/217.75 c 204s| 1060k| 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2705 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
219.62/219.79 c 206s| 1070k| 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2744 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
221.72/221.88 c 208s| 1080k| 13 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2755 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
223.82/223.96 c 210s| 1090k| 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2771 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
225.82/225.93 c 212s| 1100k| 19 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2789 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
227.82/227.97 c 214s| 1110k| 18 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2819 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
229.92/230.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.92/230.00 c 216s| 1120k| 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2853 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
231.92/232.02 c 218s| 1130k| 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2894 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
233.82/233.99 c 219s| 1140k| 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2938 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
235.82/235.97 c 221s| 1150k| 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |2980 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
237.82/237.96 c 223s| 1160k| 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |3003 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
239.92/240.01 c 225s| 1170k| 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |3022 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
241.93/242.09 c 227s| 1180k| 17 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |3045 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
244.13/244.23 c 229s| 1190k| 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |3077 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
246.22/246.35 c 231s| 1200k| 14 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |3095 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
248.22/248.38 c 233s| 1210k| 16 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |3125 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
250.31/250.46 c 235s| 1220k| 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |3144 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
252.41/252.54 c 237s| 1230k| 15 | 0 | 0.0 | 42M| 60 | - | 500 | 18k| 0 | 0 | 0 |3157 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
254.31/254.47 c 239s| 1240k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3191 | 0 |-4.990000e+02 |-2.900000e+01 | 94.19%
256.22/256.36 o -30
256.22/256.36 c * 240s| 1249k| 22 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3231 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
256.31/256.48 c 241s| 1250k| 18 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3233 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
258.31/258.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.31/258.48 c 242s| 1260k| 17 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3255 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
260.41/260.54 c 244s| 1270k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3274 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
262.51/262.67 c 246s| 1280k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3283 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
264.61/264.70 c 248s| 1290k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3298 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
266.61/266.70 c 250s| 1300k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3315 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
268.61/268.76 c 252s| 1310k| 21 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3337 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
270.71/270.82 c 254s| 1320k| 18 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3363 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
272.71/272.88 c 256s| 1330k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3397 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
274.91/275.01 c 258s| 1340k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3425 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
277.01/277.12 c 260s| 1350k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3440 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
279.00/279.19 c 262s| 1360k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3453 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
281.20/281.33 c 264s| 1370k| 13 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3479 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
283.30/283.40 c 266s| 1380k| 17 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3495 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
285.30/285.48 c 268s| 1390k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3512 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
287.51/287.65 c 270s| 1400k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3539 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
289.60/289.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.60/289.79 c 272s| 1410k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3560 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
291.70/291.87 c 274s| 1420k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3578 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
293.90/294.03 c 276s| 1430k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3594 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
295.90/296.10 c 278s| 1440k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3622 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
298.01/298.17 c 280s| 1450k| 13 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3636 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
300.11/300.28 c 282s| 1460k| 13 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3655 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
302.31/302.46 c 284s| 1470k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3675 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
304.50/304.60 c 286s| 1480k| 12 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3696 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
306.59/306.78 c 288s| 1490k| 13 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3707 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
308.79/308.99 c 290s| 1500k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3714 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
310.99/311.20 c 292s| 1510k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3734 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
313.30/313.40 c 294s| 1520k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3759 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
315.40/315.53 c 296s| 1530k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3775 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
317.50/317.60 c 298s| 1540k| 17 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3792 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
319.59/319.72 c 300s| 1550k| 18 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3804 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
321.69/321.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.69/321.83 c 302s| 1560k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3822 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
323.79/323.96 c 304s| 1570k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3850 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
325.89/326.03 c 306s| 1580k| 18 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3864 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
327.99/328.11 c 308s| 1590k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3879 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
330.09/330.26 c 310s| 1600k| 17 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3910 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
332.19/332.36 c 312s| 1610k| 18 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3956 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
334.29/334.48 c 314s| 1620k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3971 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
336.39/336.59 c 316s| 1630k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |3989 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
338.48/338.68 c 318s| 1640k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4017 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
340.59/340.78 c 320s| 1650k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4030 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
342.68/342.88 c 322s| 1660k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4044 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
344.79/344.99 c 324s| 1670k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4055 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
346.89/347.09 c 326s| 1680k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4070 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
349.08/349.20 c 328s| 1690k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4088 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
351.18/351.38 c 330s| 1700k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4114 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
353.38/353.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.38/353.53 c 332s| 1710k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4140 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
355.38/355.57 c 334s| 1720k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4166 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
357.48/357.65 c 336s| 1730k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4193 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
359.68/359.84 c 338s| 1740k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4224 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
361.79/361.96 c 340s| 1750k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4243 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
363.99/364.15 c 342s| 1760k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4260 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
366.09/366.21 c 344s| 1770k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4283 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
368.18/368.34 c 346s| 1780k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4328 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
370.27/370.46 c 348s| 1790k| 18 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4358 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
372.48/372.60 c 350s| 1800k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4381 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
374.57/374.77 c 352s| 1810k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4407 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
376.67/376.88 c 354s| 1820k| 18 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4430 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
378.87/379.09 c 356s| 1830k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4445 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
381.17/381.35 c 358s| 1840k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4470 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
383.28/383.47 c 360s| 1850k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4508 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
385.38/385.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.38/385.55 c 362s| 1860k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4532 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
387.58/387.74 c 364s| 1870k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4553 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
389.68/389.87 c 366s| 1880k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4566 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
391.78/391.95 c 368s| 1890k| 16 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4583 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
393.97/394.15 c 370s| 1900k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4597 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
396.18/396.30 c 372s| 1910k| 14 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4616 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
398.27/398.46 c 374s| 1920k| 15 | 0 | 0.0 | 42M| 61 | - | 500 | 18k| 0 | 0 | 0 |4628 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
400.37/400.53 c 376s| 1930k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4637 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
402.47/402.66 c 378s| 1940k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4646 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
404.68/404.83 c 380s| 1950k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4662 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
406.88/407.04 c 382s| 1960k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4673 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
409.08/409.21 c 384s| 1970k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4688 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
411.17/411.40 c 386s| 1980k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4709 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
413.38/413.54 c 388s| 1990k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4721 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
415.58/415.76 c 390s| 2000k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4739 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
417.77/417.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.77/417.95 c 393s| 2010k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4746 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
419.97/420.15 c 395s| 2020k| 19 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4769 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
422.06/422.25 c 397s| 2030k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4781 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
424.16/424.34 c 399s| 2040k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4795 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
426.26/426.49 c 401s| 2050k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4814 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
428.36/428.58 c 402s| 2060k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4830 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
430.46/430.67 c 404s| 2070k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4846 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
432.57/432.79 c 406s| 2080k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4861 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
434.76/434.92 c 408s| 2090k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4873 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
436.86/437.05 c 410s| 2100k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4888 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
438.96/439.19 c 412s| 2110k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4914 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
441.16/441.39 c 415s| 2120k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4924 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
443.26/443.48 c 416s| 2130k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4931 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
445.36/445.58 c 418s| 2140k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4947 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
447.56/447.73 c 420s| 2150k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4965 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
449.66/449.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.66/449.85 c 423s| 2160k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |4980 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
451.75/451.92 c 424s| 2170k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5008 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
453.76/453.98 c 426s| 2180k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5018 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
455.85/456.08 c 428s| 2190k| 19 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5031 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
457.95/458.17 c 430s| 2200k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5055 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
460.16/460.32 c 432s| 2210k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5070 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
462.25/462.47 c 434s| 2220k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5085 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
464.45/464.63 c 436s| 2230k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5117 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
466.65/466.83 c 438s| 2240k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5146 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
468.85/469.05 c 441s| 2250k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5160 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
471.05/471.21 c 443s| 2260k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5176 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
473.15/473.31 c 445s| 2270k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5196 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
475.15/475.37 c 447s| 2280k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5222 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
477.25/477.45 c 448s| 2290k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5232 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
479.36/479.56 c 450s| 2300k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5251 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
481.44/481.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.44/481.68 c 452s| 2310k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5268 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
483.55/483.79 c 454s| 2320k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5281 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
485.74/485.93 c 456s| 2330k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5299 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
487.84/488.07 c 458s| 2340k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5320 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
490.04/490.20 c 461s| 2350k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5335 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
492.14/492.32 c 463s| 2360k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5347 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
494.14/494.39 c 464s| 2370k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5360 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
496.34/496.53 c 466s| 2380k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5371 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
498.44/498.66 c 468s| 2390k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5392 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
500.54/500.79 c 471s| 2400k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5398 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
502.74/502.95 c 473s| 2410k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5414 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
504.84/505.09 c 475s| 2420k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5418 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
507.04/507.21 c 477s| 2430k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5433 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
509.05/509.28 c 478s| 2440k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5451 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
511.25/511.45 c 481s| 2450k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5464 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
513.44/513.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.44/513.63 c 483s| 2460k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5473 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
515.54/515.80 c 485s| 2470k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5483 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
517.74/517.93 c 487s| 2480k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5489 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
519.94/520.11 c 489s| 2490k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5497 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
522.04/522.28 c 491s| 2500k| 12 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5509 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
524.23/524.41 c 493s| 2510k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5522 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
526.23/526.49 c 495s| 2520k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5536 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
528.34/528.54 c 497s| 2530k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5545 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
530.43/530.64 c 499s| 2540k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5556 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
532.53/532.71 c 501s| 2550k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5571 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
534.63/534.81 c 503s| 2560k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5584 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
536.73/536.91 c 505s| 2570k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5600 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
538.84/539.00 c 506s| 2580k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5615 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
540.83/541.08 c 508s| 2590k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5625 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
543.03/543.25 c 510s| 2600k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5635 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
545.23/545.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.23/545.43 c 513s| 2610k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5642 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
547.42/547.64 c 515s| 2620k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5653 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
549.63/549.84 c 517s| 2630k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5662 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
551.72/551.94 c 519s| 2640k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5669 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
553.83/554.09 c 521s| 2650k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5695 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
556.03/556.27 c 523s| 2660k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5701 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
558.13/558.39 c 525s| 2670k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5715 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
560.32/560.52 c 527s| 2680k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5720 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
562.52/562.76 c 529s| 2690k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5727 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
564.72/564.95 c 531s| 2700k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5742 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
566.92/567.11 c 533s| 2710k| 11 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5754 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
569.02/569.27 c 535s| 2720k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5760 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
571.22/571.43 c 537s| 2730k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5772 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
573.32/573.50 c 539s| 2740k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5802 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
575.32/575.55 c 541s| 2750k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5828 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
577.41/577.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.41/577.67 c 543s| 2760k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5843 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
579.61/579.81 c 545s| 2770k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5871 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
581.73/581.97 c 547s| 2780k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5928 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
583.93/584.11 c 549s| 2790k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5937 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
586.02/586.30 c 551s| 2800k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5960 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
588.22/588.40 c 553s| 2810k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |5977 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
590.32/590.52 c 555s| 2820k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6002 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
592.42/592.62 c 557s| 2830k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6015 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
594.51/594.75 c 559s| 2840k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6027 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
596.72/596.90 c 561s| 2850k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6045 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
598.91/599.10 c 563s| 2860k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6055 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
601.11/601.30 c 565s| 2870k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6073 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
603.31/603.52 c 567s| 2880k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6081 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
605.41/605.65 c 569s| 2890k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6112 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
607.51/607.78 c 571s| 2900k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6120 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
609.71/609.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.71/609.91 c 573s| 2910k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6131 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
611.80/612.03 c 575s| 2920k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6137 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
614.01/614.25 c 577s| 2930k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6148 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
616.21/616.46 c 580s| 2940k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6165 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
618.40/618.66 c 582s| 2950k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6178 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
620.60/620.84 c 584s| 2960k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6183 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
622.70/622.98 c 586s| 2970k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6193 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
624.90/625.10 c 588s| 2980k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6213 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
627.01/627.27 c 590s| 2990k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6226 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
629.20/629.45 c 592s| 3000k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6240 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
631.40/631.63 c 594s| 3010k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6266 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
633.50/633.75 c 596s| 3020k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6285 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
635.61/635.82 c 598s| 3030k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6308 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
637.70/637.92 c 600s| 3040k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6335 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
639.80/640.01 c 602s| 3050k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6359 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
641.90/642.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.90/642.18 c 604s| 3060k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6374 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
644.09/644.32 c 606s| 3070k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6390 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
646.30/646.51 c 608s| 3080k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6407 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
648.40/648.65 c 610s| 3090k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6421 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
650.49/650.72 c 612s| 3100k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6449 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
652.60/652.81 c 614s| 3110k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6468 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
654.69/654.91 c 616s| 3120k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6487 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
656.69/656.90 c 618s| 3130k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6531 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
658.60/658.88 c 620s| 3140k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6561 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
660.69/660.91 c 621s| 3150k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6595 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
662.69/662.92 c 623s| 3160k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6608 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
664.69/664.90 c 625s| 3170k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6620 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
666.69/666.99 c 627s| 3180k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6657 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
668.79/669.03 c 629s| 3190k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6685 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
670.88/671.15 c 631s| 3200k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6704 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
672.99/673.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.99/673.21 c 633s| 3210k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6713 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
674.99/675.25 c 635s| 3220k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6725 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
677.09/677.36 c 637s| 3230k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6742 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
679.19/679.44 c 639s| 3240k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6764 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
681.28/681.56 c 641s| 3250k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6779 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
683.29/683.59 c 643s| 3260k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6791 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
685.29/685.56 c 645s| 3270k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6814 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
687.38/687.60 c 646s| 3280k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6854 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
689.39/689.62 c 648s| 3290k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6872 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
691.49/691.71 c 650s| 3300k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6896 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
693.59/693.81 c 652s| 3310k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6915 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
695.58/695.87 c 654s| 3320k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6930 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
697.68/697.91 c 656s| 3330k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6954 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
699.78/700.01 c 658s| 3340k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6975 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
701.78/702.05 c 660s| 3350k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6993 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
703.88/704.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.88/704.15 c 662s| 3360k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |6999 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
705.88/706.17 c 664s| 3370k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7027 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
707.98/708.20 c 666s| 3380k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7047 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
710.08/710.30 c 668s| 3390k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7062 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
712.18/712.43 c 670s| 3400k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7080 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
714.27/714.53 c 672s| 3410k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7093 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
716.38/716.62 c 674s| 3420k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7112 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
718.47/718.73 c 676s| 3430k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7120 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
720.57/720.85 c 678s| 3440k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7142 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
722.88/723.10 c 680s| 3450k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7154 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
725.08/725.30 c 682s| 3460k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7163 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
727.27/727.54 c 684s| 3470k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7179 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
729.47/729.75 c 686s| 3480k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7197 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
731.67/731.91 c 688s| 3490k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7215 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
733.77/734.08 c 690s| 3500k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7232 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
735.87/736.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.87/736.18 c 692s| 3510k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7245 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
738.07/738.35 c 694s| 3520k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7256 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
740.17/740.47 c 696s| 3530k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7278 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
742.27/742.57 c 698s| 3540k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7301 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
744.48/744.76 c 700s| 3550k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7317 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
746.68/746.96 c 702s| 3560k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7330 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
748.77/749.09 c 704s| 3570k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7347 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
750.98/751.22 c 706s| 3580k| 19 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7372 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
753.17/753.43 c 708s| 3590k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7393 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
755.37/755.68 c 710s| 3600k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7407 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
757.57/757.83 c 713s| 3610k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7428 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
759.67/759.94 c 715s| 3620k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7449 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
761.77/762.05 c 716s| 3630k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7470 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
763.86/764.16 c 718s| 3640k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7492 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
765.96/766.29 c 720s| 3650k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7514 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
768.16/768.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.16/768.47 c 723s| 3660k| 12 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7540 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
770.36/770.68 c 725s| 3670k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7552 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
772.66/772.95 c 727s| 3680k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7580 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
774.85/775.13 c 729s| 3690k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7590 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
777.06/777.31 c 731s| 3700k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7595 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
779.15/779.49 c 733s| 3710k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7597 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
781.46/781.70 c 735s| 3720k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7604 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
783.55/783.90 c 737s| 3730k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7623 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
785.85/786.10 c 739s| 3740k| 11 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7628 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
788.05/788.32 c 741s| 3750k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7640 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
790.15/790.42 c 743s| 3760k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7656 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
792.16/792.44 c 745s| 3770k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7672 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
794.15/794.48 c 747s| 3780k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7691 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
796.25/796.56 c 749s| 3790k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7713 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
798.35/798.67 c 751s| 3800k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7731 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
800.55/800.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
800.55/800.80 c 753s| 3810k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7764 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
802.55/802.80 c 755s| 3820k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7794 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
804.55/804.85 c 757s| 3830k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7814 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
806.65/806.91 c 759s| 3840k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7828 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
808.65/808.97 c 761s| 3850k| 19 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7863 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
810.75/811.06 c 763s| 3860k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7889 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
812.94/813.24 c 765s| 3870k| 12 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7914 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
814.94/815.28 c 767s| 3880k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7930 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
817.14/817.41 c 769s| 3890k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7960 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
819.15/819.49 c 770s| 3900k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7982 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
821.24/821.56 c 772s| 3910k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |7995 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
823.34/823.62 c 774s| 3920k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8018 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
825.34/825.65 c 776s| 3930k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8028 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
827.44/827.80 c 778s| 3940k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8063 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
829.64/829.90 c 780s| 3950k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8100 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
831.64/831.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.64/831.95 c 782s| 3960k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8116 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
833.74/834.03 c 784s| 3970k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8140 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
835.84/836.15 c 786s| 3980k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8156 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
838.04/838.31 c 788s| 3990k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8172 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
840.15/840.43 c 790s| 4000k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8200 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
842.25/842.53 c 792s| 4010k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8225 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
844.24/844.58 c 794s| 4020k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8244 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
846.34/846.69 c 796s| 4030k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8266 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
848.54/848.83 c 798s| 4040k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8284 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
850.64/850.91 c 800s| 4050k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8306 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
852.74/853.01 c 802s| 4060k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8349 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
854.84/855.12 c 804s| 4070k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8375 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
856.94/857.22 c 806s| 4080k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8405 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
859.04/859.30 c 808s| 4090k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8425 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
861.04/861.38 c 810s| 4100k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8448 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
863.14/863.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.14/863.45 c 812s| 4110k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8475 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
865.13/865.47 c 814s| 4120k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8495 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
867.23/867.58 c 816s| 4130k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8530 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
869.24/869.57 c 818s| 4140k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8553 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
871.33/871.67 c 820s| 4150k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8580 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
873.33/873.65 c 821s| 4160k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8597 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
875.34/875.68 c 823s| 4170k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8621 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
877.33/877.68 c 825s| 4180k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8647 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
879.33/879.68 c 827s| 4190k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8677 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
881.33/881.69 c 829s| 4200k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8707 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
883.43/883.71 c 831s| 4210k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8736 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
885.43/885.76 c 833s| 4220k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8747 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
887.62/887.90 c 835s| 4230k| 18 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8768 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
889.72/890.06 c 837s| 4240k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8808 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
891.93/892.21 c 839s| 4250k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8835 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
894.03/894.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.03/894.33 c 841s| 4260k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8845 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
896.13/896.48 c 843s| 4270k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8869 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
898.33/898.63 c 845s| 4280k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8888 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
900.42/900.77 c 847s| 4290k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8905 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
902.52/902.85 c 849s| 4300k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8913 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
904.62/904.92 c 851s| 4310k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8921 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
906.72/907.01 c 853s| 4320k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8945 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
908.72/909.06 c 855s| 4330k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8969 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
910.82/911.12 c 857s| 4340k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8974 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
912.92/913.25 c 859s| 4350k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |8985 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
915.02/915.39 c 861s| 4360k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9018 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
917.12/917.46 c 863s| 4370k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9030 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
919.12/919.47 c 864s| 4380k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9052 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
921.31/921.60 c 866s| 4390k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9076 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
923.31/923.67 c 868s| 4400k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9103 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
925.41/925.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.41/925.71 c 870s| 4410k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9127 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
927.41/927.77 c 872s| 4420k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9156 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
929.51/929.88 c 874s| 4430k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9192 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
931.71/932.02 c 876s| 4440k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9223 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
933.82/934.15 c 878s| 4450k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9242 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
935.91/936.26 c 880s| 4460k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9261 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
938.02/938.34 c 882s| 4470k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9283 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
940.11/940.49 c 884s| 4480k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9297 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
942.21/942.57 c 886s| 4490k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9313 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
944.31/944.65 c 888s| 4500k| 12 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9341 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
946.41/946.72 c 890s| 4510k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9349 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
948.51/948.80 c 892s| 4520k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9370 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
950.51/950.89 c 894s| 4530k| 14 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9388 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
952.70/953.00 c 896s| 4540k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9404 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
954.70/955.03 c 898s| 4550k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9432 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
956.80/957.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.80/957.16 c 900s| 4560k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9448 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
958.91/959.25 c 902s| 4570k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9463 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
960.91/961.29 c 904s| 4580k| 13 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9480 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
963.11/963.43 c 906s| 4590k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9503 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
965.21/965.53 c 908s| 4600k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9518 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
967.30/967.69 c 910s| 4610k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9534 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
969.40/969.72 c 912s| 4620k| 17 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9551 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
971.50/971.85 c 914s| 4630k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9577 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
973.60/973.94 c 916s| 4640k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9601 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
975.69/976.00 c 918s| 4650k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9617 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
977.80/978.14 c 920s| 4660k| 16 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9632 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
979.90/980.28 c 922s| 4670k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9650 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
982.00/982.39 c 924s| 4680k| 15 | 0 | 0.0 | 42M| 64 | - | 500 | 18k| 0 | 0 | 0 |9661 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
984.21/984.51 c 926s| 4690k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9680 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
986.30/986.63 c 928s| 4700k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9691 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
988.39/988.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.39/988.75 c 930s| 4710k| 18 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9702 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
990.49/990.82 c 932s| 4720k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9725 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
992.59/992.91 c 933s| 4730k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9731 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
994.69/995.01 c 935s| 4740k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9738 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
996.79/997.14 c 937s| 4750k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9750 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
998.80/999.18 c 939s| 4760k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9763 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1000.99/1001.32 c 941s| 4770k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9777 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1003.09/1003.46 c 943s| 4780k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9786 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1005.29/1005.65 c 945s| 4790k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9800 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1007.39/1007.71 c 947s| 4800k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9816 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1009.39/1009.74 c 949s| 4810k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9835 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1011.49/1011.82 c 951s| 4820k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9857 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1013.39/1013.79 c 953s| 4830k| 19 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9887 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1015.49/1015.84 c 955s| 4840k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9908 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1017.58/1017.91 c 957s| 4850k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9920 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1019.59/1019.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.59/1019.97 c 959s| 4860k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9938 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1021.69/1022.07 c 961s| 4870k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9962 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1023.80/1024.15 c 963s| 4880k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9977 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1025.89/1026.25 c 965s| 4890k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 |9997 | 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1027.98/1028.37 c 967s| 4900k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1030.19/1030.50 c 969s| 4910k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1032.18/1032.59 c 971s| 4920k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1034.28/1034.65 c 973s| 4930k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1036.38/1036.77 c 975s| 4940k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1038.58/1038.90 c 977s| 4950k| 12 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1040.78/1041.12 c 979s| 4960k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1042.78/1043.18 c 981s| 4970k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1044.88/1045.28 c 983s| 4980k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1046.98/1047.34 c 985s| 4990k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1048.98/1049.40 c 987s| 5000k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1051.18/1051.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.18/1051.52 c 989s| 5010k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1053.27/1053.65 c 991s| 5020k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1055.38/1055.71 c 993s| 5030k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1057.47/1057.82 c 995s| 5040k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1059.58/1059.97 c 997s| 5050k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1061.68/1062.07 c 999s| 5060k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1063.77/1064.12 c 1001s| 5070k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1065.87/1066.29 c 1003s| 5080k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1067.98/1068.38 c 1005s| 5090k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1070.07/1070.43 c 1006s| 5100k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1072.07/1072.47 c 1008s| 5110k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1074.28/1074.63 c 1010s| 5120k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1076.37/1076.74 c 1012s| 5130k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1078.37/1078.77 c 1014s| 5140k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1080.37/1080.77 c 1016s| 5150k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1082.47/1082.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.47/1082.80 c 1018s| 5160k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1084.36/1084.76 c 1020s| 5170k| 12 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1086.47/1086.82 c 1022s| 5180k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1088.46/1088.89 c 1024s| 5190k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1090.57/1090.98 c 1026s| 5200k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1092.56/1092.99 c 1028s| 5210k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1094.66/1095.05 c 1030s| 5220k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1096.67/1097.08 c 1032s| 5230k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1098.66/1099.09 c 1033s| 5240k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1100.77/1101.15 c 1035s| 5250k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1102.86/1103.22 c 1037s| 5260k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1104.96/1105.31 c 1039s| 5270k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1106.96/1107.35 c 1041s| 5280k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1109.06/1109.46 c 1043s| 5290k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1111.16/1111.55 c 1045s| 5300k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1113.36/1113.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.36/1113.70 c 1047s| 5310k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1115.45/1115.82 c 1049s| 5320k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1117.56/1117.92 c 1051s| 5330k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1119.65/1120.06 c 1053s| 5340k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1121.85/1122.26 c 1055s| 5350k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1124.05/1124.40 c 1057s| 5360k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1126.25/1126.60 c 1059s| 5370k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1128.35/1128.70 c 1061s| 5380k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1130.46/1130.87 c 1063s| 5390k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1132.65/1133.04 c 1065s| 5400k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1134.86/1135.27 c 1067s| 5410k| 12 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1136.96/1137.38 c 1069s| 5420k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1139.16/1139.58 c 1071s| 5430k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1141.25/1141.68 c 1073s| 5440k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1143.35/1143.79 c 1075s| 5450k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1145.55/1145.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.55/1145.91 c 1077s| 5460k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1147.65/1148.09 c 1079s| 5470k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1149.85/1150.28 c 1082s| 5480k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1152.05/1152.48 c 1084s| 5490k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1154.25/1154.61 c 1086s| 5500k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1156.35/1156.75 c 1088s| 5510k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1158.45/1158.86 c 1090s| 5520k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1160.64/1161.03 c 1092s| 5530k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1162.74/1163.16 c 1094s| 5540k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1164.94/1165.31 c 1096s| 5550k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1167.04/1167.49 c 1098s| 5560k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1169.34/1169.74 c 1100s| 5570k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1171.54/1171.95 c 1102s| 5580k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1173.64/1174.09 c 1104s| 5590k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1175.84/1176.29 c 1106s| 5600k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 10k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1178.04/1178.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.04/1178.48 c 1108s| 5610k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1180.34/1180.73 c 1110s| 5620k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1182.54/1182.96 c 1112s| 5630k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1184.74/1185.12 c 1114s| 5640k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1186.84/1187.22 c 1116s| 5650k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1188.84/1189.29 c 1118s| 5660k| 20 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1190.94/1191.34 c 1120s| 5670k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1193.04/1193.45 c 1122s| 5680k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1195.14/1195.56 c 1124s| 5690k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1197.23/1197.67 c 1126s| 5700k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1199.43/1199.86 c 1128s| 5710k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1201.53/1201.97 c 1130s| 5720k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1203.64/1204.04 c 1132s| 5730k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1205.73/1206.15 c 1134s| 5740k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1207.93/1208.31 c 1136s| 5750k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1210.03/1210.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1210.03/1210.45 c 1138s| 5760k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1212.13/1212.55 c 1140s| 5770k| 12 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1214.23/1214.63 c 1142s| 5780k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1216.32/1216.71 c 1144s| 5790k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1218.44/1218.88 c 1146s| 5800k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1220.63/1221.04 c 1148s| 5810k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1222.73/1223.16 c 1150s| 5820k| 12 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1224.83/1225.26 c 1152s| 5830k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1226.93/1227.34 c 1154s| 5840k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1229.02/1229.43 c 1156s| 5850k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1231.22/1231.62 c 1158s| 5860k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1233.32/1233.70 c 1160s| 5870k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1235.32/1235.76 c 1162s| 5880k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1237.42/1237.83 c 1164s| 5890k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1239.52/1239.95 c 1166s| 5900k| 12 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1241.72/1242.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.72/1242.11 c 1168s| 5910k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1243.82/1244.21 c 1170s| 5920k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1245.93/1246.32 c 1172s| 5930k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1248.12/1248.51 c 1174s| 5940k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1250.23/1250.66 c 1176s| 5950k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1252.42/1252.84 c 1178s| 5960k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1254.63/1255.01 c 1180s| 5970k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1256.82/1257.21 c 1182s| 5980k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1258.92/1259.38 c 1184s| 5990k| 12 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1261.12/1261.56 c 1186s| 6000k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1263.21/1263.68 c 1188s| 6010k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1265.41/1265.81 c 1190s| 6020k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1267.51/1267.92 c 1192s| 6030k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1269.61/1270.02 c 1194s| 6040k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1271.71/1272.19 c 1196s| 6050k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1273.91/1274.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.91/1274.32 c 1198s| 6060k| 18 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1276.01/1276.41 c 1200s| 6070k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1278.11/1278.51 c 1202s| 6080k| 18 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1280.21/1280.64 c 1204s| 6090k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1282.31/1282.77 c 1206s| 6100k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1284.41/1284.89 c 1208s| 6110k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1286.61/1287.08 c 1210s| 6120k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1288.81/1289.26 c 1213s| 6130k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1291.02/1291.45 c 1215s| 6140k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1293.21/1293.61 c 1217s| 6150k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1295.31/1295.80 c 1219s| 6160k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 11k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1297.61/1298.03 c 1221s| 6170k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1299.80/1300.23 c 1223s| 6180k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1302.01/1302.41 c 1225s| 6190k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1304.31/1304.72 c 1227s| 6200k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1306.50/1306.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.50/1306.95 c 1229s| 6210k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1308.61/1309.09 c 1231s| 6220k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1310.70/1311.19 c 1233s| 6230k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1312.90/1313.34 c 1235s| 6240k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1315.00/1315.43 c 1237s| 6250k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1317.09/1317.51 c 1239s| 6260k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1319.20/1319.62 c 1241s| 6270k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1321.19/1321.65 c 1243s| 6280k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1323.20/1323.63 c 1245s| 6290k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1325.30/1325.73 c 1247s| 6300k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1327.39/1327.88 c 1249s| 6310k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1329.59/1330.06 c 1251s| 6320k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1331.70/1332.18 c 1253s| 6330k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1333.90/1334.33 c 1255s| 6340k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1336.00/1336.47 c 1257s| 6350k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1338.19/1338.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.19/1338.61 c 1259s| 6360k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1340.29/1340.72 c 1261s| 6370k| 18 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1342.39/1342.84 c 1263s| 6380k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1344.38/1344.89 c 1265s| 6390k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1346.59/1347.04 c 1267s| 6400k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1348.69/1349.16 c 1269s| 6410k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1350.89/1351.34 c 1271s| 6420k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1353.09/1353.50 c 1273s| 6430k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1355.18/1355.62 c 1275s| 6440k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1357.28/1357.78 c 1277s| 6450k| 17 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1359.39/1359.88 c 1279s| 6460k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1361.59/1362.07 c 1281s| 6470k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1363.78/1364.23 c 1283s| 6480k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1365.89/1366.40 c 1285s| 6490k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1368.08/1368.53 c 1287s| 6500k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1370.18/1370.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.18/1370.61 c 1289s| 6510k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1372.29/1372.76 c 1291s| 6520k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1374.49/1374.92 c 1293s| 6530k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1376.58/1377.01 c 1295s| 6540k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1378.68/1379.18 c 1297s| 6550k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1380.88/1381.35 c 1299s| 6560k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1383.08/1383.57 c 1301s| 6570k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1385.38/1385.82 c 1303s| 6580k| 11 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1387.57/1388.07 c 1306s| 6590k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1389.88/1390.34 c 1308s| 6600k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1392.08/1392.52 c 1310s| 6610k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1394.28/1394.71 c 1312s| 6620k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1396.37/1396.80 c 1314s| 6630k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1398.48/1398.93 c 1316s| 6640k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1400.57/1401.07 c 1318s| 6650k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1402.77/1403.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.77/1403.21 c 1320s| 6660k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1404.87/1405.36 c 1322s| 6670k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1407.07/1407.54 c 1324s| 6680k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1409.17/1409.66 c 1326s| 6690k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1411.27/1411.76 c 1328s| 6700k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1413.37/1413.89 c 1330s| 6710k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1415.56/1416.02 c 1332s| 6720k| 16 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1417.57/1418.05 c 1334s| 6730k| 14 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1419.67/1420.17 c 1336s| 6740k| 15 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1421.88/1422.34 c 1338s| 6750k| 13 | 0 | 0.0 | 42M| 67 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1423.97/1424.43 c 1340s| 6760k| 16 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1426.17/1426.67 c 1342s| 6770k| 13 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1428.38/1428.88 c 1344s| 6780k| 14 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1430.57/1431.01 c 1346s| 6790k| 15 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1432.66/1433.11 c 1348s| 6800k| 16 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1434.86/1435.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.86/1435.31 c 1350s| 6810k| 14 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1437.06/1437.56 c 1352s| 6820k| 13 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1439.26/1439.72 c 1354s| 6830k| 14 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1441.36/1441.89 c 1356s| 6840k| 13 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1443.56/1444.07 c 1358s| 6850k| 13 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1445.76/1446.20 c 1360s| 6860k| 12 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1447.86/1448.37 c 1362s| 6870k| 14 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1450.05/1450.57 c 1364s| 6880k| 12 | 0 | 0.0 | 42M| 70 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1452.25/1452.76 c 1366s| 6890k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1454.45/1454.96 c 1369s| 6900k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1456.65/1457.12 c 1371s| 6910k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1458.86/1459.32 c 1373s| 6920k| 18 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1461.06/1461.52 c 1375s| 6930k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1463.15/1463.65 c 1377s| 6940k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 12k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1465.36/1465.81 c 1379s| 6950k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1467.46/1467.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.46/1467.96 c 1381s| 6960k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1469.65/1470.11 c 1383s| 6970k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1471.85/1472.35 c 1385s| 6980k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1474.05/1474.51 c 1387s| 6990k| 20 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1476.05/1476.59 c 1389s| 7000k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1478.15/1478.61 c 1391s| 7010k| 18 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1480.16/1480.69 c 1393s| 7020k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1482.25/1482.73 c 1395s| 7030k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1484.35/1484.85 c 1397s| 7040k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1486.45/1486.99 c 1399s| 7050k| 18 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1488.65/1489.15 c 1401s| 7060k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1490.74/1491.22 c 1403s| 7070k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1492.84/1493.38 c 1405s| 7080k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1495.04/1495.55 c 1407s| 7090k| 18 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1497.24/1497.74 c 1409s| 7100k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1499.45/1499.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.45/1499.92 c 1411s| 7110k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1501.54/1502.07 c 1413s| 7120k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1503.64/1504.16 c 1415s| 7130k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1505.84/1506.38 c 1417s| 7140k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1508.04/1508.56 c 1419s| 7150k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1510.24/1510.71 c 1421s| 7160k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1512.34/1512.83 c 1423s| 7170k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1514.54/1515.02 c 1425s| 7180k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1516.74/1517.20 c 1427s| 7190k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1518.93/1519.44 c 1429s| 7200k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1521.14/1521.68 c 1431s| 7210k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1523.34/1523.88 c 1434s| 7220k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1525.63/1526.13 c 1436s| 7230k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1527.93/1528.46 c 1438s| 7240k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1530.13/1530.69 c 1440s| 7250k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1532.44/1532.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.44/1532.91 c 1442s| 7260k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1534.53/1535.04 c 1444s| 7270k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1536.64/1537.19 c 1446s| 7280k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1538.73/1539.27 c 1448s| 7290k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1540.93/1541.42 c 1450s| 7300k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1543.03/1543.56 c 1452s| 7310k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1545.23/1545.79 c 1454s| 7320k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1547.43/1547.96 c 1456s| 7330k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1549.63/1550.14 c 1458s| 7340k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1551.83/1552.31 c 1460s| 7350k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1553.93/1554.44 c 1462s| 7360k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1556.12/1556.62 c 1464s| 7370k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1558.23/1558.77 c 1466s| 7380k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1560.43/1560.96 c 1468s| 7390k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1562.53/1563.07 c 1470s| 7400k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1564.73/1565.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.73/1565.27 c 1473s| 7410k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1566.93/1567.44 c 1475s| 7420k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1569.02/1569.57 c 1477s| 7430k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1571.12/1571.65 c 1479s| 7440k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1573.22/1573.70 c 1480s| 7450k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1575.22/1575.79 c 1482s| 7460k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1577.42/1577.94 c 1484s| 7470k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1579.41/1579.97 c 1486s| 7480k| 19 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1581.52/1582.04 c 1488s| 7490k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1583.62/1584.12 c 1490s| 7500k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1585.63/1586.14 c 1492s| 7510k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1587.71/1588.25 c 1494s| 7520k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1589.92/1590.40 c 1496s| 7530k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1591.92/1592.48 c 1498s| 7540k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1594.12/1594.60 c 1500s| 7550k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1596.22/1596.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.22/1596.74 c 1502s| 7560k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1598.41/1598.93 c 1504s| 7570k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1600.51/1601.07 c 1506s| 7580k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1602.62/1603.17 c 1508s| 7590k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1604.71/1605.27 c 1510s| 7600k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1606.91/1607.41 c 1512s| 7610k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 13k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1609.01/1609.52 c 1514s| 7620k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1611.10/1611.67 c 1516s| 7630k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1613.31/1613.80 c 1518s| 7640k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1615.41/1615.93 c 1520s| 7650k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1617.51/1618.09 c 1522s| 7660k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1619.71/1620.25 c 1524s| 7670k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1621.91/1622.43 c 1526s| 7680k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1624.01/1624.55 c 1528s| 7690k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1626.10/1626.66 c 1530s| 7700k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1628.31/1628.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.31/1628.88 c 1532s| 7710k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1630.50/1631.04 c 1534s| 7720k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1632.60/1633.16 c 1536s| 7730k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1634.70/1635.22 c 1538s| 7740k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1636.80/1637.31 c 1540s| 7750k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1638.90/1639.43 c 1542s| 7760k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1641.00/1641.58 c 1544s| 7770k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1643.20/1643.78 c 1546s| 7780k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1645.39/1645.94 c 1548s| 7790k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1647.59/1648.19 c 1551s| 7800k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1649.79/1650.39 c 1553s| 7810k| 12 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1652.09/1652.68 c 1555s| 7820k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1654.30/1654.88 c 1557s| 7830k| 18 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1656.40/1656.94 c 1559s| 7840k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1658.49/1659.04 c 1561s| 7850k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1660.59/1661.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.59/1661.12 c 1563s| 7860k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1662.60/1663.17 c 1565s| 7870k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1664.69/1665.23 c 1567s| 7880k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1666.70/1667.27 c 1569s| 7890k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1668.79/1669.31 c 1570s| 7900k| 18 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1670.89/1671.43 c 1572s| 7910k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1672.88/1673.49 c 1574s| 7920k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1674.99/1675.55 c 1576s| 7930k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1677.08/1677.69 c 1578s| 7940k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1679.19/1679.77 c 1580s| 7950k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1681.29/1681.90 c 1582s| 7960k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1683.49/1684.09 c 1584s| 7970k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1685.69/1686.30 c 1586s| 7980k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1687.89/1688.45 c 1588s| 7990k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1689.98/1690.56 c 1590s| 8000k| 18 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1692.08/1692.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.08/1692.67 c 1592s| 8010k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1694.28/1694.80 c 1594s| 8020k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1696.28/1696.88 c 1596s| 8030k| 18 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1698.38/1698.95 c 1598s| 8040k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1700.48/1701.04 c 1600s| 8050k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1702.58/1703.11 c 1602s| 8060k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1704.58/1705.17 c 1604s| 8070k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1706.69/1707.29 c 1606s| 8080k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1708.88/1709.46 c 1608s| 8090k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1711.09/1711.63 c 1610s| 8100k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1713.18/1713.73 c 1612s| 8110k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1715.18/1715.78 c 1614s| 8120k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1717.28/1717.83 c 1616s| 8130k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1719.37/1719.91 c 1618s| 8140k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1721.47/1722.07 c 1620s| 8150k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1723.67/1724.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.67/1724.20 c 1622s| 8160k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1725.78/1726.33 c 1624s| 8170k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1727.87/1728.43 c 1626s| 8180k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1729.97/1730.53 c 1628s| 8190k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1732.17/1732.72 c 1630s| 8200k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1734.27/1734.89 c 1632s| 8210k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1736.38/1736.99 c 1634s| 8220k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1738.57/1739.16 c 1636s| 8230k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1740.78/1741.34 c 1638s| 8240k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1742.97/1743.53 c 1640s| 8250k| 12 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1745.07/1745.66 c 1642s| 8260k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1747.16/1747.77 c 1644s| 8270k| 17 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1749.37/1749.95 c 1646s| 8280k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1751.56/1752.15 c 1648s| 8290k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1753.66/1754.23 c 1650s| 8300k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1755.77/1756.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.77/1756.38 c 1652s| 8310k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1757.96/1758.54 c 1654s| 8320k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1760.16/1760.72 c 1656s| 8330k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1762.36/1762.95 c 1659s| 8340k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1764.56/1765.13 c 1661s| 8350k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1766.76/1767.32 c 1663s| 8360k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 14k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1768.86/1769.46 c 1665s| 8370k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1771.06/1771.60 c 1667s| 8380k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1773.15/1773.77 c 1669s| 8390k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1775.35/1775.97 c 1671s| 8400k| 13 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1777.55/1778.17 c 1673s| 8410k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1779.75/1780.34 c 1675s| 8420k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1781.96/1782.54 c 1677s| 8430k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1784.16/1784.76 c 1679s| 8440k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1786.35/1786.95 c 1681s| 8450k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1788.45/1789.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.45/1789.07 c 1683s| 8460k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1790.56/1791.16 c 1685s| 8470k| 15 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1792.65/1793.22 c 1687s| 8480k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1794.76/1795.36 c 1689s| 8490k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1796.85/1797.48 c 1691s| 8500k| 16 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1798.95/1799.60 c 1693s| 8510k| 14 | 0 | 0.0 | 42M| 73 | - | 500 | 18k| 0 | 0 | 0 | 15k| 0 |-4.990000e+02 |-3.000000e+01 | 93.99%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1694.04
1800.07/1800.61 c Solving Nodes : 8514810
1800.07/1800.61 c Primal Bound : -3.00000000000000e+01 (11 solutions)
1800.07/1800.61 c Dual Bound : -4.99000000000000e+02
1800.07/1800.61 c Gap : 93.99 %
1800.07/1800.65 s SATISFIABLE
1800.07/1800.65 v -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1800.07/1800.65 v -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1800.07/1800.65 v -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1800.07/1800.65 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416
1800.07/1800.65 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1800.07/1800.65 v -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374
1800.07/1800.65 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
1800.07/1800.65 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
1800.07/1800.65 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
1800.07/1800.65 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
1800.07/1800.65 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
1800.07/1800.65 v -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248
1800.07/1800.65 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 x232 -x231 -x230 -x229 -x228 -x227
1800.07/1800.65 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
1800.07/1800.65 v -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
1800.07/1800.65 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
1800.07/1800.65 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143
1800.07/1800.65 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122
1800.07/1800.65 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
1800.07/1800.65 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
1800.07/1800.65 v x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51
1800.07/1800.65 v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25
1800.07/1800.65 v x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 x2 x1
1800.07/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.65 c Solving Time : 1694.04
1800.07/1800.65 c Original Problem :
1800.07/1800.65 c Problem name : HOME/instance-2663815-1276661119.opb
1800.07/1800.65 c Variables : 19183 (19183 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 19183 initial, 19183 maximal
1800.07/1800.65 c Presolved Problem :
1800.07/1800.65 c Problem name : t_HOME/instance-2663815-1276661119.opb
1800.07/1800.65 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 18683 initial, 18697 maximal
1800.07/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.65 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c probing : 0.38 0 0 0 0 0 0 0 0
1800.07/1800.65 c linear : 0.11 18683 0 0 18683 0 500 0 0
1800.07/1800.65 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.07/1800.65 c root node : - 0 - - 0 - - - -
1800.07/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.65 c logicor : 18683+ 0 8992865 0 9 167761 22871776 0 0 0
1800.07/1800.65 c countsols : 0 0 0 0 9 0 0 0 0 0
1800.07/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.65 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.65 c logicor : 382.50 0.00 382.48 0.00 0.02
1800.07/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.65 c vbounds : 6.62 2 0 0
1800.07/1800.65 c rootredcost : 5.91 0 0 0
1800.07/1800.65 c pseudoobj : 579.67 14542100 3982898 8139950
1800.07/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.65 c propagation : 65.77 167761 15190 15190 36.9 0 0.0 -
1800.07/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c pseudo solution : 39.52 109982 0 0 0.0 0 0.0 -
1800.07/1800.65 c applied globally : - - - 14859 36.5 - - -
1800.07/1800.65 c applied locally : - - - 331 53.1 - - -
1800.07/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.65 c redcost : 0.00 0 0 0 0 0
1800.07/1800.65 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.65 c intobj : 0.00 0 0 0 0 0
1800.07/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.65 c gomory : 0.00 0 0 0 0 0
1800.07/1800.65 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.65 c cmir : 0.00 0 0 0 0 0
1800.07/1800.65 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.65 c clique : 0.00 0 0 0 0 0
1800.07/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.65 c mcf : 0.00 0 0 0 0 0
1800.07/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.65 c Pricers : Time Calls Vars
1800.07/1800.65 c problem variables: 0.00 0 0
1800.07/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.65 c inference : 31.89 4263702 0 0 0 0 8527404
1800.07/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c random : 0.00 0 0 0 0 0 0
1800.07/1800.65 c Primal Heuristics : Time Calls Found
1800.07/1800.65 c LP solutions : 0.00 - 0
1800.07/1800.65 c pseudo solutions : 0.00 - 9
1800.07/1800.65 c oneopt : 5.37 0 0
1800.07/1800.65 c trivial : 0.04 2 2
1800.07/1800.65 c simplerounding : 0.00 0 0
1800.07/1800.65 c zirounding : 0.00 0 0
1800.07/1800.65 c rounding : 0.00 0 0
1800.07/1800.65 c shifting : 0.00 0 0
1800.07/1800.65 c intshifting : 0.00 0 0
1800.07/1800.65 c twoopt : 0.00 0 0
1800.07/1800.65 c fixandinfer : 0.00 0 0
1800.07/1800.65 c feaspump : 0.00 0 0
1800.07/1800.65 c coefdiving : 0.00 0 0
1800.07/1800.65 c pscostdiving : 0.00 0 0
1800.07/1800.65 c fracdiving : 0.00 0 0
1800.07/1800.65 c veclendiving : 0.00 0 0
1800.07/1800.65 c intdiving : 0.00 0 0
1800.07/1800.65 c actconsdiving : 0.00 0 0
1800.07/1800.65 c objpscostdiving : 0.00 0 0
1800.07/1800.65 c rootsoldiving : 0.00 0 0
1800.07/1800.65 c linesearchdiving : 0.00 0 0
1800.07/1800.65 c guideddiving : 0.00 0 0
1800.07/1800.65 c octane : 0.00 0 0
1800.07/1800.65 c rens : 0.00 0 0
1800.07/1800.65 c rins : 0.00 0 0
1800.07/1800.65 c localbranching : 0.00 0 0
1800.07/1800.65 c mutation : 0.00 0 0
1800.07/1800.65 c crossover : 0.00 0 0
1800.07/1800.65 c dins : 0.00 0 0
1800.07/1800.65 c undercover : 0.00 0 0
1800.07/1800.65 c nlp : 3.35 0 0
1800.07/1800.65 c trysol : 3.42 0 0
1800.07/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.65 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.65 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.65 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.65 c (at root node) : - 0 0 0.00 -
1800.07/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.65 c B&B Tree :
1800.07/1800.65 c number of runs : 1
1800.07/1800.65 c nodes : 8514810
1800.07/1800.65 c nodes (total) : 8514810
1800.07/1800.65 c nodes left : 15
1800.07/1800.65 c max depth : 73
1800.07/1800.65 c max depth (total): 73
1800.07/1800.65 c backtracks : 1597838 (18.8%)
1800.07/1800.65 c delayed cutoffs : 10723
1800.07/1800.65 c repropagations : 12745 (61179 domain reductions, 9542 cutoffs)
1800.07/1800.65 c avg switch length: 2.00
1800.07/1800.65 c switching time : 288.97
1800.07/1800.65 c Solution :
1800.07/1800.65 c Solutions found : 11 (10 improvements)
1800.07/1800.65 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1800.07/1800.65 c Primal Bound : -3.00000000000000e+01 (in run 1, after 1249410 nodes, 240.46 seconds, depth 41, found by <relaxation>)
1800.07/1800.65 c Dual Bound : -4.99000000000000e+02
1800.07/1800.65 c Gap : 93.99 %
1800.07/1800.65 c Root Dual Bound : -5.00000000000000e+02
1800.07/1800.65 c Root Iterations : 0
1800.16/1800.74 c Time complete: 1800.2.