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-2663849-1276665427.opb>
0.39/0.43 c original problem has 38644 variables (38644 bin, 0 int, 0 impl, 0 cont) and 38644 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.39/0.44 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.89/0.94 o 0
0.89/0.94 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.94 c presolving:
2.30/2.34 c (round 1) 37644 del vars, 1000 del conss, 37644 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150576 impls, 0 clqs
3.19/3.23 c (2.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.19/3.23 c (2.5s) probing aborted: 100/100 successive totally useless probings
3.19/3.23 c presolving (2 rounds):
3.19/3.23 c 37644 deleted vars, 1000 deleted constraints, 37644 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.19/3.23 c 225864 implications, 0 cliques
3.19/3.23 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37644 constraints
3.19/3.23 c 37644 constraints of type <logicor>
3.19/3.23 c transformed objective value is always integral (scale: 1)
3.19/3.23 c Presolving Time: 2.34
3.19/3.23 c - non default parameters ----------------------------------------------------------------------
3.19/3.23 c # SCIP version 1.2.1.2
3.19/3.23 c
3.19/3.23 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.19/3.23 c # [type: int, range: [-1,2147483647], default: -1]
3.19/3.23 c conflict/interconss = 0
3.19/3.23 c
3.19/3.23 c # should binary conflicts be preferred?
3.19/3.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.23 c conflict/preferbinary = TRUE
3.19/3.23 c
3.19/3.23 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.19/3.23 c # [type: int, range: [-1,2147483647], default: 0]
3.19/3.23 c constraints/agelimit = 1
3.19/3.23 c
3.19/3.23 c # should enforcement of pseudo solution be disabled?
3.19/3.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.23 c constraints/disableenfops = TRUE
3.19/3.23 c
3.19/3.23 c # frequency for displaying node information lines
3.19/3.23 c # [type: int, range: [-1,2147483647], default: 100]
3.19/3.23 c display/freq = 10000
3.19/3.23 c
3.19/3.23 c # maximal time in seconds to run
3.19/3.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.23 c limits/time = 1799.58
3.19/3.23 c
3.19/3.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.19/3.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.23 c limits/memory = 1620
3.19/3.23 c
3.19/3.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.19/3.23 c # [type: int, range: [-1,2147483647], default: 1]
3.19/3.23 c lp/solvefreq = -1
3.19/3.23 c
3.19/3.23 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)
3.19/3.23 c # [type: char, range: {lafpsqd}, default: l]
3.19/3.23 c lp/pricing = a
3.19/3.23 c
3.19/3.23 c # should presolving try to simplify inequalities
3.19/3.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.23 c constraints/linear/simplifyinequalities = TRUE
3.19/3.23 c
3.19/3.23 c # should presolving try to simplify knapsacks
3.19/3.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.23 c constraints/knapsack/simplifyinequalities = TRUE
3.19/3.23 c
3.19/3.23 c # priority of node selection rule <dfs> in standard mode
3.19/3.23 c # [type: int, range: [-536870912,536870911], default: 0]
3.19/3.23 c nodeselection/dfs/stdpriority = 1000000
3.19/3.23 c
3.19/3.23 c -----------------------------------------------------------------------------------------------
3.19/3.23 c start solving
3.19/3.23 c
3.19/3.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.19/3.24 c t 2.5s| 1 | 2 | 0 | - | 86M| 0 | - |1000 | 37k| 0 | 0 | 0 | 0 | 0 |-1.000000e+03 | 0.000000e+00 | 100.00%
3.19/3.26 o -43
3.19/3.26 c * 2.6s| 44 | 42 | 0 | 0.0 | 86M| 43 | - |1000 | 37k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-4.300000e+01 | 95.70%
3.19/3.27 o -45
3.19/3.27 c * 2.6s| 54 | 41 | 0 | 0.0 | 86M| 46 | - |1000 | 37k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-4.500000e+01 | 95.50%
3.19/3.28 o -46
3.19/3.28 c * 2.6s| 76 | 38 | 0 | 0.0 | 86M| 47 | - |1000 | 37k| 0 | 0 | 0 | 1 | 0 |-9.990000e+02 |-4.600000e+01 | 95.40%
3.29/3.31 o -47
3.29/3.31 c * 2.6s| 131 | 37 | 0 | 0.0 | 86M| 48 | - |1000 | 37k| 0 | 0 | 0 | 2 | 0 |-9.990000e+02 |-4.700000e+01 | 95.30%
3.29/3.36 o -48
3.29/3.36 c * 2.6s| 228 | 37 | 0 | 0.0 | 86M| 48 | - |1000 | 37k| 0 | 0 | 0 | 2 | 0 |-9.990000e+02 |-4.800000e+01 | 95.20%
3.29/3.37 o -49
3.29/3.37 c * 2.7s| 265 | 37 | 0 | 0.0 | 86M| 48 | - |1000 | 37k| 0 | 0 | 0 | 2 | 0 |-9.990000e+02 |-4.900000e+01 | 95.10%
3.40/3.45 o -50
3.40/3.45 c * 2.8s| 432 | 37 | 0 | 0.0 | 86M| 48 | - |1000 | 37k| 0 | 0 | 0 | 2 | 0 |-9.990000e+02 |-5.000000e+01 | 94.99%
7.39/7.41 c 6.6s| 10000 | 32 | 0 | 0.0 | 86M| 53 | - |1000 | 37k| 0 | 0 | 0 | 25 | 0 |-9.990000e+02 |-5.000000e+01 | 94.99%
11.39/11.41 c 10.5s| 20000 | 32 | 0 | 0.0 | 86M| 53 | - |1000 | 37k| 0 | 0 | 0 | 49 | 0 |-9.990000e+02 |-5.000000e+01 | 94.99%
15.49/15.51 c 14.4s| 30000 | 31 | 0 | 0.0 | 86M| 53 | - |1000 | 37k| 0 | 0 | 0 | 59 | 0 |-9.990000e+02 |-5.000000e+01 | 94.99%
17.09/17.20 o -51
17.09/17.20 c *16.1s| 34196 | 40 | 0 | 0.0 | 86M| 53 | - |1000 | 37k| 0 | 0 | 0 | 77 | 0 |-9.990000e+02 |-5.100000e+01 | 94.89%
19.59/19.64 c 18.5s| 40000 | 32 | 0 | 0.0 | 86M| 53 | - |1000 | 37k| 0 | 0 | 0 | 87 | 0 |-9.990000e+02 |-5.100000e+01 | 94.89%
23.20/23.30 o -52
23.20/23.30 c *22.0s| 49227 | 34 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 101 | 0 |-9.990000e+02 |-5.200000e+01 | 94.79%
23.49/23.60 c 22.3s| 50000 | 32 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 103 | 0 |-9.990000e+02 |-5.200000e+01 | 94.79%
27.38/27.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.38/27.45 c 26.0s| 60000 | 35 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 125 | 0 |-9.990000e+02 |-5.200000e+01 | 94.79%
28.98/29.06 o -53
28.98/29.06 c *27.6s| 64140 | 32 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 134 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
31.29/31.34 c 29.8s| 70000 | 34 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 143 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
35.19/35.28 c 33.6s| 80000 | 31 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 150 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
38.98/39.00 c 37.1s| 90000 | 31 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 157 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
42.89/42.91 c 40.9s|100000 | 34 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 175 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
46.48/46.53 c 44.4s|110000 | 34 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 187 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
50.18/50.23 c 48.0s|120000 | 32 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 194 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
53.88/53.98 c 51.6s|130000 | 33 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 204 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
57.57/57.64 c 55.1s|140000 | 35 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 210 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
61.28/61.34 c 58.7s|150000 | 29 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 218 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
64.88/64.97 c 62.1s|160000 | 33 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 226 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
68.28/68.36 c 65.4s|170000 | 32 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 234 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
71.98/72.05 c 69.0s|180000 | 35 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 246 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
75.47/75.57 c 72.4s|190000 | 29 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 257 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
79.28/79.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.28/79.30 c 76.0s|200000 | 32 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 267 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
82.96/83.04 c 79.5s|210000 | 31 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 273 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
86.67/86.71 c 83.1s|220000 | 34 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 284 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
90.47/90.55 c 86.8s|230000 | 33 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 289 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
93.97/94.06 c 90.2s|240000 | 33 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 303 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
97.66/97.76 c 93.7s|250000 | 32 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 312 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
101.28/101.32 c 97.2s|260000 | 34 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 322 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
104.76/104.83 c 101s|270000 | 30 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 328 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
108.26/108.39 c 104s|280000 | 31 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 334 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
112.06/112.15 c 108s|290000 | 31 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 352 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
115.66/115.72 c 111s|300000 | 31 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 365 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
119.26/119.38 c 115s|310000 | 31 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 370 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
122.86/122.96 c 118s|320000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 388 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
126.46/126.55 c 121s|330000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 416 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
130.15/130.23 c 125s|340000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 428 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
133.85/133.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.85/133.94 c 129s|350000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 435 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
137.36/137.47 c 132s|360000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 441 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
141.06/141.13 c 136s|370000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 449 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
144.55/144.68 c 139s|380000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 462 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
148.25/148.34 c 142s|390000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 478 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
151.95/152.09 c 146s|400000 | 35 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 497 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
155.85/155.91 c 150s|410000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 513 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
159.46/159.51 c 153s|420000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 528 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
163.05/163.18 c 157s|430000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 547 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
166.85/166.93 c 160s|440000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 567 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
170.35/170.44 c 164s|450000 | 36 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 588 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
174.05/174.11 c 167s|460000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 618 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
177.85/177.91 c 171s|470000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 633 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
181.64/181.75 c 175s|480000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 661 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
185.24/185.36 c 178s|490000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 681 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
188.84/188.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.84/188.94 c 182s|500000 | 36 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 694 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
192.54/192.62 c 185s|510000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 702 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
196.03/196.18 c 189s|520000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 715 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
199.63/199.74 c 192s|530000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 725 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
203.04/203.18 c 195s|540000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 738 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
206.63/206.72 c 199s|550000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 762 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
210.14/210.28 c 202s|560000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 774 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
213.63/213.78 c 205s|570000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 796 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
217.23/217.38 c 209s|580000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 814 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
220.63/220.77 c 212s|590000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 829 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
224.23/224.37 c 216s|600000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 834 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
227.93/228.02 c 219s|610000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 849 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
231.42/231.50 c 223s|620000 | 29 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 850 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
234.83/234.95 c 226s|630000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 857 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
238.52/238.63 c 229s|640000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 864 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
242.32/242.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.32/242.49 c 233s|650000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 888 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
246.23/246.38 c 237s|660000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 902 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
249.92/250.01 c 240s|670000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 910 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
253.52/253.67 c 244s|680000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 922 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
257.12/257.27 c 247s|690000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 931 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
260.82/260.90 c 251s|700000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 936 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
264.41/264.59 c 254s|710000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 956 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
268.22/268.35 c 258s|720000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 964 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
271.92/272.01 c 262s|730000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 974 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
275.42/275.54 c 265s|740000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 981 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
279.12/279.20 c 269s|750000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 999 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
282.51/282.64 c 272s|760000 | 33 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1010 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
283.21/283.35 o -54
283.21/283.35 c * 273s|762078 | 35 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1012 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
286.12/286.20 c 275s|770000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1028 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
289.61/289.76 c 279s|780000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1035 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
293.31/293.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.31/293.44 c 282s|790000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1044 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
296.92/297.10 c 286s|800000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1054 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
300.61/300.78 c 289s|810000 | 29 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1072 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
304.40/304.58 c 293s|820000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1081 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
308.10/308.26 c 296s|830000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1098 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
311.61/311.74 c 300s|840000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1102 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
315.30/315.42 c 303s|850000 | 29 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1107 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
318.60/318.77 c 307s|860000 | 28 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1124 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
322.31/322.49 c 310s|870000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1136 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
325.80/325.97 c 313s|880000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1143 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
329.60/329.75 c 317s|890000 | 29 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1156 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
333.40/333.55 c 321s|900000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1169 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
337.29/337.42 c 325s|910000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1175 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
341.10/341.22 c 328s|920000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1186 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
344.89/345.02 c 332s|930000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1194 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
348.49/348.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.49/348.68 c 335s|940000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1216 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
352.00/352.11 c 339s|950000 | 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1224 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
355.69/355.84 c 342s|960000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1237 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
359.70/359.85 c 346s|970000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1248 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
363.49/363.64 c 350s|980000 | 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1260 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
367.09/367.21 c 353s|990000 | 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1270 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
370.60/370.71 c 357s| 1000k| 28 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1283 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
374.19/374.37 c 360s| 1010k| 35 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1302 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
377.98/378.13 c 364s| 1020k| 31 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1319 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
381.69/381.86 c 367s| 1030k| 29 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1333 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
385.38/385.56 c 371s| 1040k| 29 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1340 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
388.98/389.14 c 374s| 1050k| 34 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1344 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
392.69/392.85 c 378s| 1060k| 30 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 |1349 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
396.28/396.40 c 381s| 1070k| 29 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1356 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
399.98/400.11 c 385s| 1080k| 31 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1371 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
403.68/403.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.68/403.82 c 388s| 1090k| 32 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1386 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
407.18/407.34 c 392s| 1100k| 30 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1402 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
410.68/410.87 c 395s| 1110k| 30 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1422 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
414.38/414.56 c 399s| 1120k| 32 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1434 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
418.17/418.34 c 402s| 1130k| 31 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1453 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
421.88/422.00 c 406s| 1140k| 28 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1461 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
425.37/425.59 c 409s| 1150k| 28 | 0 | 0.0 | 86M| 61 | - |1000 | 37k| 0 | 0 | 0 |1466 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
429.07/429.22 c 413s| 1160k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1478 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
432.57/432.73 c 416s| 1170k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1488 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
436.17/436.35 c 420s| 1180k| 39 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1506 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
439.98/440.14 c 423s| 1190k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1554 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
443.67/443.84 c 427s| 1200k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1563 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
447.27/447.48 c 431s| 1210k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1573 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
451.06/451.29 c 434s| 1220k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1583 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
454.96/455.11 c 438s| 1230k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1598 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
458.46/458.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.46/458.67 c 441s| 1240k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1614 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
462.06/462.29 c 445s| 1250k| 35 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1623 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
465.77/465.97 c 448s| 1260k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1634 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
469.36/469.56 c 452s| 1270k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1652 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
472.96/473.16 c 455s| 1280k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1656 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
476.56/476.71 c 459s| 1290k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1661 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
480.16/480.33 c 462s| 1300k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1670 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
483.76/483.97 c 466s| 1310k| 35 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1675 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
487.56/487.73 c 469s| 1320k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1685 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
491.15/491.40 c 473s| 1330k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1694 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
494.86/495.10 c 476s| 1340k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1712 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
498.66/498.86 c 480s| 1350k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1715 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
502.35/502.58 c 484s| 1360k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1718 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
506.35/506.51 c 487s| 1370k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1725 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
510.26/510.43 c 491s| 1380k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1737 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
513.95/514.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.95/514.13 c 495s| 1390k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1740 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
517.65/517.89 c 498s| 1400k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1761 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
521.36/521.55 c 502s| 1410k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1766 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
525.05/525.22 c 505s| 1420k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1775 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
528.75/528.95 c 509s| 1430k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1784 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
532.35/532.59 c 513s| 1440k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1798 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
536.24/536.48 c 516s| 1450k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1807 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
540.24/540.44 c 520s| 1460k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1820 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
544.04/544.24 c 524s| 1470k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1827 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
547.74/547.97 c 527s| 1480k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1838 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
551.43/551.62 c 531s| 1490k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1844 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
555.24/555.40 c 535s| 1500k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1851 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
559.13/559.34 c 538s| 1510k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1873 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
562.93/563.17 c 542s| 1520k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1894 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
566.73/566.95 c 546s| 1530k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1900 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
570.43/570.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.43/570.67 c 549s| 1540k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1912 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
574.14/574.36 c 553s| 1550k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1923 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
577.83/578.07 c 556s| 1560k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1935 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
581.43/581.62 c 560s| 1570k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1938 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
585.04/585.21 c 563s| 1580k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1941 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
588.44/588.66 c 567s| 1590k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1947 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
592.02/592.29 c 570s| 1600k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1958 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
595.72/595.98 c 574s| 1610k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1967 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
599.43/599.65 c 577s| 1620k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1978 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
602.73/602.93 c 580s| 1630k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |1989 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
606.23/606.41 c 584s| 1640k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2005 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
609.72/609.96 c 587s| 1650k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2015 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
613.43/613.68 c 591s| 1660k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2034 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
617.02/617.29 c 594s| 1670k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2051 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
620.82/621.01 c 598s| 1680k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2061 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
624.42/624.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.42/624.62 c 601s| 1690k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2064 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
627.92/628.16 c 605s| 1700k| 35 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2074 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
631.41/631.66 c 608s| 1710k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2085 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
634.92/635.16 c 611s| 1720k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2095 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
638.42/638.67 c 615s| 1730k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2115 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
642.11/642.31 c 618s| 1740k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2120 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
645.71/645.95 c 622s| 1750k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2141 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
649.21/649.43 c 625s| 1760k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2152 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
652.71/652.97 c 628s| 1770k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2162 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
656.21/656.49 c 632s| 1780k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2170 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
659.91/660.17 c 635s| 1790k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2180 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
663.80/664.00 c 639s| 1800k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2195 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
667.20/667.46 c 642s| 1810k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2213 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
670.81/671.02 c 646s| 1820k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2228 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
674.40/674.61 c 649s| 1830k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2245 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
678.00/678.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.00/678.24 c 653s| 1840k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2252 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
681.80/682.00 c 657s| 1850k| 28 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2262 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
685.30/685.56 c 660s| 1860k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2273 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
689.00/689.21 c 663s| 1870k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2299 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
692.59/692.87 c 667s| 1880k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2312 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
696.39/696.64 c 671s| 1890k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2324 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
699.99/700.23 c 674s| 1900k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2331 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
703.59/703.80 c 678s| 1910k| 35 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2344 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
707.20/707.44 c 681s| 1920k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2356 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
710.90/711.13 c 685s| 1930k| 35 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2369 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
714.49/714.74 c 688s| 1940k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2378 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
718.10/718.33 c 692s| 1950k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2396 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
721.69/721.96 c 695s| 1960k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2415 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
725.39/725.63 c 699s| 1970k| 28 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2429 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
729.09/729.37 c 702s| 1980k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2432 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
732.79/733.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.79/733.07 c 706s| 1990k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2436 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
736.68/736.98 c 710s| 2000k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2446 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
740.59/740.84 c 713s| 2010k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2454 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
744.58/744.81 c 717s| 2020k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2469 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
748.38/748.66 c 721s| 2030k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2480 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
752.19/752.49 c 725s| 2040k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2490 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
756.08/756.35 c 728s| 2050k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2497 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
759.89/760.10 c 732s| 2060k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2501 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
763.68/763.96 c 736s| 2070k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2514 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
767.48/767.76 c 739s| 2080k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2521 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
771.08/771.32 c 743s| 2090k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2530 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
774.67/774.98 c 746s| 2100k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2542 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
778.58/778.81 c 750s| 2110k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2551 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
782.47/782.72 c 754s| 2120k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2559 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
786.28/786.53 c 757s| 2130k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2569 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
789.97/790.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.97/790.29 c 761s| 2140k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2584 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
793.77/794.08 c 765s| 2150k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2603 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
797.67/797.91 c 768s| 2160k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2611 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
801.47/801.70 c 772s| 2170k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2622 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
804.97/805.29 c 775s| 2180k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2633 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
808.66/808.96 c 779s| 2190k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2637 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
812.06/812.34 c 782s| 2200k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2656 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
815.46/815.70 c 786s| 2210k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2672 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
818.86/819.18 c 789s| 2220k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2686 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
822.57/822.86 c 792s| 2230k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2692 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
826.16/826.48 c 796s| 2240k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2701 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
829.66/829.95 c 799s| 2250k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2709 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
833.25/833.56 c 803s| 2260k| 26 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2723 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
836.97/837.23 c 806s| 2270k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2730 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
840.46/840.77 c 810s| 2280k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2734 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
844.05/844.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.05/844.32 c 813s| 2290k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2744 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
847.56/847.82 c 816s| 2300k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2753 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
851.27/851.58 c 820s| 2310k| 37 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2765 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
854.95/855.28 c 824s| 2320k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2771 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
858.35/858.68 o -55
858.35/858.68 c * 827s| 2329k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2784 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
858.55/858.86 c 827s| 2330k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2784 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
862.26/862.55 c 831s| 2340k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2803 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
865.85/866.14 c 834s| 2350k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2809 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
869.45/869.76 c 837s| 2360k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2819 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
873.05/873.34 c 841s| 2370k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2834 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
876.55/876.89 c 844s| 2380k| 28 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2843 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
880.24/880.52 c 848s| 2390k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2852 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
884.04/884.30 c 851s| 2400k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2862 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
887.65/887.95 c 855s| 2410k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2867 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
891.14/891.49 c 858s| 2420k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2876 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
894.84/895.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.84/895.17 c 862s| 2430k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2886 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
898.55/898.88 c 866s| 2440k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2894 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
902.24/902.54 c 869s| 2450k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2901 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
905.94/906.27 c 873s| 2460k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2906 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
907.74/908.04 o -56
907.74/908.04 c * 874s| 2464k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2909 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
909.64/910.00 c 876s| 2470k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2915 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
913.33/913.68 c 880s| 2480k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2920 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
916.83/917.13 c 883s| 2490k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2929 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
920.13/920.49 c 886s| 2500k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2935 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
923.63/923.98 c 890s| 2510k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2947 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
927.14/927.43 c 893s| 2520k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2953 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
930.53/930.83 c 896s| 2530k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2960 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
934.13/934.42 c 900s| 2540k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2971 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
937.53/937.87 c 903s| 2550k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2977 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
941.03/941.30 c 906s| 2560k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2985 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
944.23/944.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.23/944.59 c 909s| 2570k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |2995 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
947.82/948.16 c 913s| 2580k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3006 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
951.33/951.65 c 916s| 2590k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3018 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
954.92/955.20 c 920s| 2600k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3026 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
958.12/958.42 c 923s| 2610k| 27 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3035 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
961.53/961.82 c 926s| 2620k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3044 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
965.02/965.37 c 929s| 2630k| 28 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3045 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
968.62/968.92 c 933s| 2640k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3053 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
972.23/972.53 c 936s| 2650k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3058 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
975.71/976.05 c 940s| 2660k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3069 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
979.32/979.63 c 943s| 2670k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3079 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
982.71/983.09 c 946s| 2680k| 28 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3093 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
986.22/986.57 c 950s| 2690k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3101 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
989.82/990.19 c 953s| 2700k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3119 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
993.31/993.63 c 957s| 2710k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3126 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
996.81/997.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.81/997.16 c 960s| 2720k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3133 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1000.31/1000.67 c 963s| 2730k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3140 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1003.80/1004.16 c 967s| 2740k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3152 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1007.31/1007.70 c 970s| 2750k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3161 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1010.90/1011.24 c 974s| 2760k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3171 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1014.31/1014.60 c 977s| 2770k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3185 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1017.70/1018.04 c 980s| 2780k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3191 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1021.31/1021.68 c 984s| 2790k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3207 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1024.81/1025.14 c 987s| 2800k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3219 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1028.40/1028.70 c 990s| 2810k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3226 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1032.10/1032.40 c 994s| 2820k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3235 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1035.60/1035.94 c 997s| 2830k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3237 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1039.10/1039.45 c 1001s| 2840k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3244 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1042.80/1043.18 c 1004s| 2850k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3254 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1046.49/1046.85 c 1008s| 2860k| 28 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3268 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1050.20/1050.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.20/1050.56 c 1011s| 2870k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3284 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1053.90/1054.25 c 1015s| 2880k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3292 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1057.70/1058.00 c 1018s| 2890k| 36 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3305 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1061.30/1061.61 c 1022s| 2900k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3320 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1064.90/1065.21 c 1025s| 2910k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3334 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1068.50/1068.87 c 1029s| 2920k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3344 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1072.20/1072.54 c 1033s| 2930k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3363 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1075.89/1076.21 c 1036s| 2940k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3387 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1079.48/1079.83 c 1040s| 2950k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3398 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1083.09/1083.49 c 1043s| 2960k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3416 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1086.78/1087.13 c 1047s| 2970k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3427 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1090.48/1090.81 c 1050s| 2980k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3435 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1093.98/1094.40 c 1054s| 2990k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3439 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1097.59/1097.95 c 1057s| 3000k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3449 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1101.18/1101.50 c 1060s| 3010k| 34 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3453 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1104.68/1105.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.68/1105.06 c 1064s| 3020k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3460 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1108.28/1108.68 c 1067s| 3030k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3473 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1112.08/1112.46 c 1071s| 3040k| 28 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3485 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1115.78/1116.10 c 1075s| 3050k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3504 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1119.38/1119.73 c 1078s| 3060k| 27 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3511 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1122.98/1123.35 c 1082s| 3070k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3522 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1126.48/1126.89 c 1085s| 3080k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3530 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1130.18/1130.57 c 1088s| 3090k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3548 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1133.97/1134.35 c 1092s| 3100k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3552 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1137.67/1138.06 c 1096s| 3110k| 28 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3559 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1141.48/1141.83 c 1099s| 3120k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3575 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1145.27/1145.67 c 1103s| 3130k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3588 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1148.97/1149.38 c 1107s| 3140k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3598 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1152.67/1153.02 c 1110s| 3150k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3610 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1156.46/1156.83 c 1114s| 3160k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3619 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1160.37/1160.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.37/1160.70 c 1118s| 3170k| 32 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3631 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1164.06/1164.50 c 1121s| 3180k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3635 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1167.87/1168.27 c 1125s| 3190k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3639 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1171.76/1172.10 c 1129s| 3200k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3657 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1175.46/1175.83 c 1132s| 3210k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3676 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1179.27/1179.62 c 1136s| 3220k| 29 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3692 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1183.15/1183.52 c 1140s| 3230k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3708 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1186.76/1187.18 c 1143s| 3240k| 30 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3724 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1190.55/1190.97 c 1147s| 3250k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3733 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1194.27/1194.64 c 1150s| 3260k| 33 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3741 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1197.96/1198.39 c 1154s| 3270k| 31 | 0 | 0.0 | 86M| 62 | - |1000 | 37k| 0 | 0 | 0 |3754 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1201.76/1202.14 c 1158s| 3280k| 33 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3765 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1205.36/1205.76 c 1161s| 3290k| 34 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3768 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1209.05/1209.48 c 1165s| 3300k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3780 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1212.65/1213.08 c 1168s| 3310k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3787 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1216.26/1216.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.26/1216.65 c 1172s| 3320k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3789 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1219.95/1220.34 c 1175s| 3330k| 29 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3797 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1223.55/1223.99 c 1179s| 3340k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3805 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1227.15/1227.55 c 1182s| 3350k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3816 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1230.65/1231.01 c 1185s| 3360k| 33 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3823 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1234.15/1234.59 c 1189s| 3370k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3829 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1237.64/1238.08 c 1192s| 3380k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3839 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1241.04/1241.47 c 1195s| 3390k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3854 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1244.54/1244.94 c 1199s| 3400k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3859 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1248.04/1248.41 c 1202s| 3410k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3865 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1251.34/1251.77 c 1205s| 3420k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3873 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1254.75/1255.11 c 1209s| 3430k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3884 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1258.34/1258.71 c 1212s| 3440k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3892 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1261.84/1262.25 c 1215s| 3450k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3895 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1265.33/1265.75 c 1219s| 3460k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3899 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1269.04/1269.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.04/1269.47 c 1222s| 3470k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3906 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1272.54/1272.96 c 1226s| 3480k| 29 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3908 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1275.83/1276.28 c 1229s| 3490k| 27 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3918 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1279.23/1279.66 c 1232s| 3500k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3931 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1282.93/1283.36 c 1236s| 3510k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3932 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1286.74/1287.17 c 1239s| 3520k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3933 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1290.63/1291.02 c 1243s| 3530k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3938 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1294.23/1294.68 c 1247s| 3540k| 29 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3942 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1297.92/1298.36 c 1250s| 3550k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3951 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1301.52/1301.98 c 1254s| 3560k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3957 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1305.23/1305.64 c 1257s| 3570k| 34 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3962 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1308.82/1309.22 c 1261s| 3580k| 29 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3970 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1312.32/1312.78 c 1264s| 3590k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3974 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1315.92/1316.32 c 1267s| 3600k| 35 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3980 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1319.63/1320.06 c 1271s| 3610k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3984 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1323.32/1323.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.32/1323.70 c 1275s| 3620k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3993 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1326.92/1327.32 c 1278s| 3630k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |3998 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1330.41/1330.87 c 1281s| 3640k| 28 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4004 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1333.92/1334.35 c 1285s| 3650k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4014 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1337.51/1337.98 c 1288s| 3660k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4018 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1341.11/1341.57 c 1292s| 3670k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4025 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1344.61/1345.07 c 1295s| 3680k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4034 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1348.22/1348.69 c 1299s| 3690k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4038 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1351.82/1352.29 c 1302s| 3700k| 33 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4043 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1355.31/1355.78 c 1305s| 3710k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4054 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1358.81/1359.26 c 1309s| 3720k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4060 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1362.41/1362.89 c 1312s| 3730k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4069 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1365.92/1366.35 c 1316s| 3740k| 28 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4082 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1369.51/1369.90 c 1319s| 3750k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4096 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1373.01/1373.45 c 1322s| 3760k| 28 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4106 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1376.71/1377.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.71/1377.11 c 1326s| 3770k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4113 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1380.11/1380.60 c 1329s| 3780k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4125 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1383.60/1384.08 c 1333s| 3790k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4135 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1387.01/1387.44 c 1336s| 3800k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4146 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1390.50/1390.98 c 1339s| 3810k| 34 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4164 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1394.00/1394.40 c 1342s| 3820k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4198 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1397.50/1397.96 c 1346s| 3830k| 32 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4217 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1401.10/1401.59 c 1349s| 3840k| 31 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4233 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1404.60/1405.01 c 1353s| 3850k| 30 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4249 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1407.90/1408.36 c 1356s| 3860k| 28 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4274 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1411.40/1411.80 c 1359s| 3870k| 29 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4289 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1414.80/1415.24 c 1363s| 3880k| 26 | 0 | 0.0 | 86M| 64 | - |1000 | 37k| 0 | 0 | 0 |4299 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1418.29/1418.77 c 1366s| 3890k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4303 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1421.90/1422.32 c 1369s| 3900k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4308 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1425.49/1425.94 c 1373s| 3910k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4313 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1429.09/1429.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.09/1429.54 c 1376s| 3920k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4316 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1432.59/1433.09 c 1380s| 3930k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4321 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1436.29/1436.77 c 1383s| 3940k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4330 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1439.98/1440.40 c 1387s| 3950k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4340 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1443.59/1444.09 c 1390s| 3960k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4346 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1447.29/1447.71 c 1394s| 3970k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4353 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1450.78/1451.22 c 1397s| 3980k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4358 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1454.48/1454.93 c 1401s| 3990k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4369 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1457.98/1458.43 c 1404s| 4000k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4377 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1461.59/1462.04 c 1408s| 4010k| 28 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4388 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1465.18/1465.65 c 1411s| 4020k| 28 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4395 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1468.67/1469.13 c 1414s| 4030k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4400 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1472.28/1472.77 c 1418s| 4040k| 28 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4402 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1475.98/1476.44 c 1421s| 4050k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4403 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1479.78/1480.28 c 1425s| 4060k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4412 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1483.38/1483.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.38/1483.89 c 1429s| 4070k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4421 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1486.88/1487.39 c 1432s| 4080k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4428 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1490.57/1491.08 c 1436s| 4090k| 26 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4436 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1494.27/1494.73 c 1439s| 4100k| 28 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4447 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1497.77/1498.27 c 1443s| 4110k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4460 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1501.37/1501.87 c 1446s| 4120k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4470 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1504.87/1505.32 c 1449s| 4130k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4479 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1508.37/1508.80 c 1453s| 4140k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4489 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1511.57/1512.08 c 1456s| 4150k| 35 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4503 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1514.96/1515.46 c 1459s| 4160k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4519 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1518.46/1518.96 c 1462s| 4170k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4528 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1521.97/1522.42 c 1466s| 4180k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4544 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1525.27/1525.79 c 1469s| 4190k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4562 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1528.57/1529.04 c 1472s| 4200k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4568 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1532.06/1532.56 c 1475s| 4210k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4574 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1535.46/1535.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.46/1535.90 c 1479s| 4220k| 35 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4590 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1538.66/1539.16 c 1482s| 4230k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4600 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1542.16/1542.61 c 1485s| 4240k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4614 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1545.76/1546.23 c 1489s| 4250k| 35 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4629 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1549.26/1549.74 c 1492s| 4260k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4652 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1552.87/1553.31 c 1495s| 4270k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4663 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1556.36/1556.82 c 1499s| 4280k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4679 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1559.55/1560.09 c 1502s| 4290k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4703 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1562.86/1563.39 c 1505s| 4300k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4729 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1566.26/1566.77 c 1508s| 4310k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4744 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1569.55/1570.05 c 1511s| 4320k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4762 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1572.95/1573.43 c 1515s| 4330k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4770 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1576.25/1576.76 c 1518s| 4340k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4785 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1579.85/1580.32 c 1521s| 4350k| 35 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4795 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1583.35/1583.87 c 1525s| 4360k| 36 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4803 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1586.85/1587.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.85/1587.37 c 1528s| 4370k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4815 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1590.34/1590.85 c 1531s| 4380k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4822 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1593.95/1594.40 c 1535s| 4390k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4835 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1597.55/1598.08 c 1538s| 4400k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4844 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1601.04/1601.58 c 1542s| 4410k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4854 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1604.45/1604.91 c 1545s| 4420k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4880 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1607.75/1608.23 c 1548s| 4430k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4897 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1610.94/1611.47 c 1551s| 4440k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4913 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1614.24/1614.77 c 1554s| 4450k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4941 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1617.75/1618.27 c 1558s| 4460k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4955 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1621.14/1621.65 c 1561s| 4470k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4965 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1624.43/1624.92 c 1564s| 4480k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4980 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1627.54/1628.05 c 1567s| 4490k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |4994 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1630.73/1631.25 c 1570s| 4500k| 36 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5012 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1633.94/1634.49 c 1573s| 4510k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5032 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1637.23/1637.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.23/1637.73 c 1576s| 4520k| 29 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5050 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1640.43/1640.98 c 1580s| 4530k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5081 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1643.83/1644.32 c 1583s| 4540k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5098 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1647.03/1647.53 c 1586s| 4550k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5111 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1650.33/1650.83 c 1589s| 4560k| 28 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5135 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1653.72/1654.21 c 1592s| 4570k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5144 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1656.92/1657.42 c 1595s| 4580k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5165 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1660.12/1660.68 c 1598s| 4590k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5181 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1663.33/1663.89 c 1601s| 4600k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5193 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1666.72/1667.28 c 1605s| 4610k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5204 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1670.22/1670.76 c 1608s| 4620k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5219 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1673.52/1674.02 c 1611s| 4630k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5232 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1676.72/1677.24 c 1614s| 4640k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5244 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1680.22/1680.78 c 1618s| 4650k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5249 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1683.73/1684.30 c 1621s| 4660k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5258 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1687.32/1687.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.32/1687.87 c 1625s| 4670k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5274 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1690.82/1691.39 c 1628s| 4680k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5279 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1694.31/1694.88 c 1631s| 4690k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5299 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1698.12/1698.65 c 1635s| 4700k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5311 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1701.71/1702.21 c 1638s| 4710k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5325 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1705.21/1705.76 c 1642s| 4720k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5332 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1708.81/1709.35 c 1645s| 4730k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5333 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1712.61/1713.17 c 1649s| 4740k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5340 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1716.11/1716.66 c 1652s| 4750k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5348 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1719.61/1720.17 c 1656s| 4760k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5354 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1723.32/1723.82 c 1659s| 4770k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5369 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1726.81/1727.39 c 1663s| 4780k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5382 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1730.40/1730.98 c 1666s| 4790k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5387 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1734.01/1734.51 c 1669s| 4800k| 35 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5400 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1737.51/1738.03 c 1673s| 4810k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5407 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1740.91/1741.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.91/1741.48 c 1676s| 4820k| 35 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5412 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1744.40/1744.94 c 1679s| 4830k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5421 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1747.80/1748.36 c 1683s| 4840k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5435 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1751.20/1751.77 c 1686s| 4850k| 30 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5440 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1754.70/1755.20 c 1689s| 4860k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5445 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1758.20/1758.77 c 1693s| 4870k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5475 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1761.80/1762.36 c 1696s| 4880k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5484 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1765.50/1766.02 c 1700s| 4890k| 36 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5496 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1769.10/1769.62 c 1703s| 4900k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5514 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1772.60/1773.14 c 1706s| 4910k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5530 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1776.19/1776.77 c 1710s| 4920k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5546 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1779.80/1780.35 c 1713s| 4930k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5562 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1783.49/1784.02 c 1717s| 4940k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5577 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1787.00/1787.56 c 1720s| 4950k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5592 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1790.79/1791.38 c 1724s| 4960k| 33 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5599 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1794.49/1795.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1794.49/1795.07 c 1728s| 4970k| 34 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5611 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1798.09/1798.64 c 1731s| 4980k| 32 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |5617 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
1800.10/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.60 c
1800.10/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.60 c Solving Time (sec) : 1732.89
1800.10/1800.60 c Solving Nodes : 4985318
1800.10/1800.60 c Primal Bound : -5.60000000000000e+01 (15 solutions)
1800.10/1800.60 c Dual Bound : -9.99000000000000e+02
1800.10/1800.60 c Gap : 94.39 %
1800.10/1800.69 s SATISFIABLE
1800.10/1800.69 v -x1000 x999 -x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.10/1800.69 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.10/1800.69 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.10/1800.69 v -x936 -x935 -x934 -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.10/1800.69 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.10/1800.69 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.10/1800.69 v -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853
1800.10/1800.69 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.10/1800.69 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1800.10/1800.69 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 x790
1800.10/1800.69 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1800.10/1800.69 v -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748
1800.10/1800.69 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1800.10/1800.69 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1800.10/1800.69 v x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685
1800.10/1800.69 v -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.10/1800.69 v -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.10/1800.69 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1800.10/1800.69 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1800.10/1800.69 v -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580
1800.10/1800.69 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1800.10/1800.69 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1800.10/1800.69 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 x519 -x518 -x517
1800.10/1800.69 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496
1800.10/1800.69 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1800.10/1800.69 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454
1800.10/1800.69 v -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1800.10/1800.69 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412
1800.10/1800.69 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 x394 -x393 -x392 -x391
1800.10/1800.69 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370
1800.10/1800.69 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1800.10/1800.69 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1800.10/1800.69 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307
1800.10/1800.69 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
1800.10/1800.69 v -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265
1800.10/1800.69 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
1800.10/1800.69 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1800.10/1800.69 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1800.10/1800.69 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1800.10/1800.69 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
1800.10/1800.69 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140
1800.10/1800.69 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119
1800.10/1800.69 v -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98
1800.10/1800.69 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 x83 x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72
1800.10/1800.69 v -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46
1800.10/1800.69 v -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20
1800.10/1800.69 v -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 -x11 -x10 -x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x1
1800.10/1800.69 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.69 c Solving Time : 1732.89
1800.10/1800.69 c Original Problem :
1800.10/1800.69 c Problem name : HOME/instance-2663849-1276665427.opb
1800.10/1800.69 c Variables : 38644 (38644 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.69 c Constraints : 38644 initial, 38644 maximal
1800.10/1800.69 c Presolved Problem :
1800.10/1800.69 c Problem name : t_HOME/instance-2663849-1276665427.opb
1800.10/1800.69 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.69 c Constraints : 37644 initial, 37651 maximal
1800.10/1800.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.69 c trivial : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.69 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.69 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.69 c probing : 0.53 0 0 0 0 0 0 0 0
1800.10/1800.69 c linear : 0.26 37644 0 0 37644 0 1000 0 0
1800.10/1800.69 c logicor : 0.11 0 0 0 0 0 0 0 0
1800.10/1800.69 c root node : - 0 - - 0 - - - -
1800.10/1800.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.69 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.69 c logicor : 37644+ 0 5032688 0 13 22822 9084663 0 0 0
1800.10/1800.69 c countsols : 0 0 0 0 13 0 0 0 0 0
1800.10/1800.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.69 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.69 c logicor : 237.97 0.00 237.90 0.00 0.07
1800.10/1800.69 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.69 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.69 c vbounds : 3.95 2 0 0
1800.10/1800.69 c rootredcost : 4.01 0 0 0
1800.10/1800.69 c pseudoobj : 704.28 8331683 2220711 4495721
1800.10/1800.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.69 c propagation : 22.70 22822 5622 5622 46.8 0 0.0 -
1800.10/1800.69 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.69 c pseudo solution : 384.03 242975 0 0 0.0 0 0.0 -
1800.10/1800.69 c applied globally : - - - 5622 46.8 - - -
1800.10/1800.69 c applied locally : - - - 0 0.0 - - -
1800.10/1800.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.69 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.69 c redcost : 0.00 0 0 0 0 0
1800.10/1800.69 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.69 c intobj : 0.00 0 0 0 0 0
1800.10/1800.69 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.69 c gomory : 0.00 0 0 0 0 0
1800.10/1800.69 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.69 c cmir : 0.00 0 0 0 0 0
1800.10/1800.69 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.69 c clique : 0.00 0 0 0 0 0
1800.10/1800.69 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.69 c mcf : 0.00 0 0 0 0 0
1800.10/1800.69 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.69 c Pricers : Time Calls Vars
1800.10/1800.69 c problem variables: 0.00 0 0
1800.10/1800.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.69 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.69 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.69 c inference : 28.44 2502122 0 0 0 0 5004244
1800.10/1800.69 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.69 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.69 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.69 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.69 c random : 0.00 0 0 0 0 0 0
1800.10/1800.69 c Primal Heuristics : Time Calls Found
1800.10/1800.69 c LP solutions : 0.00 - 0
1800.10/1800.69 c pseudo solutions : 0.01 - 13
1800.10/1800.69 c oneopt : 3.45 0 0
1800.10/1800.69 c trivial : 0.11 2 2
1800.10/1800.69 c simplerounding : 0.00 0 0
1800.10/1800.69 c zirounding : 0.00 0 0
1800.10/1800.69 c rounding : 0.00 0 0
1800.10/1800.69 c shifting : 0.00 0 0
1800.10/1800.69 c intshifting : 0.00 0 0
1800.10/1800.69 c twoopt : 0.00 0 0
1800.10/1800.69 c fixandinfer : 0.00 0 0
1800.10/1800.69 c feaspump : 0.00 0 0
1800.10/1800.69 c coefdiving : 0.00 0 0
1800.10/1800.69 c pscostdiving : 0.00 0 0
1800.10/1800.69 c fracdiving : 0.00 0 0
1800.10/1800.69 c veclendiving : 0.00 0 0
1800.10/1800.69 c intdiving : 0.00 0 0
1800.10/1800.69 c actconsdiving : 0.00 0 0
1800.10/1800.69 c objpscostdiving : 0.00 0 0
1800.10/1800.69 c rootsoldiving : 0.00 0 0
1800.10/1800.69 c linesearchdiving : 0.00 0 0
1800.10/1800.69 c guideddiving : 0.00 0 0
1800.10/1800.69 c octane : 0.00 0 0
1800.10/1800.69 c rens : 0.00 0 0
1800.10/1800.69 c rins : 0.00 0 0
1800.10/1800.69 c localbranching : 0.00 0 0
1800.10/1800.69 c mutation : 0.00 0 0
1800.10/1800.69 c crossover : 0.00 0 0
1800.10/1800.69 c dins : 0.00 0 0
1800.10/1800.69 c undercover : 0.00 0 0
1800.10/1800.69 c nlp : 1.92 0 0
1800.10/1800.69 c trysol : 2.43 0 0
1800.10/1800.69 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.69 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.69 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.69 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.69 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.69 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.69 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.69 c (at root node) : - 0 0 0.00 -
1800.10/1800.69 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.69 c B&B Tree :
1800.10/1800.69 c number of runs : 1
1800.10/1800.69 c nodes : 4985318
1800.10/1800.69 c nodes (total) : 4985318
1800.10/1800.69 c nodes left : 30
1800.10/1800.69 c max depth : 67
1800.10/1800.69 c max depth (total): 67
1800.10/1800.69 c backtracks : 1032747 (20.7%)
1800.10/1800.69 c delayed cutoffs : 3654
1800.10/1800.69 c repropagations : 4490 (19490 domain reductions, 3325 cutoffs)
1800.10/1800.69 c avg switch length: 2.00
1800.10/1800.69 c switching time : 173.65
1800.10/1800.69 c Solution :
1800.10/1800.69 c Solutions found : 15 (14 improvements)
1800.10/1800.69 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1800.10/1800.69 c Primal Bound : -5.60000000000000e+01 (in run 1, after 2464692 nodes, 874.30 seconds, depth 62, found by <relaxation>)
1800.10/1800.69 c Dual Bound : -9.99000000000000e+02
1800.10/1800.69 c Gap : 94.39 %
1800.10/1800.69 c Root Dual Bound : -1.00000000000000e+03
1800.10/1800.69 c Root Iterations : 0
1800.29/1800.87 c Time complete: 1800.36.