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-2663823-1276662022.opb>
0.09/0.19 c original problem has 16795 variables (16795 bin, 0 int, 0 impl, 0 cont) and 16795 constraints
0.09/0.19 c problem read
0.09/0.19 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.41 o 0
0.39/0.41 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.41 c presolving:
0.89/0.91 c (round 1) 15795 del vars, 1000 del conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63180 impls, 0 clqs
1.10/1.15 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (2 rounds):
1.10/1.15 c 15795 deleted vars, 1000 deleted constraints, 15795 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 94770 implications, 0 cliques
1.10/1.15 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15795 constraints
1.10/1.15 c 15795 constraints of type <logicor>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 0.71
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 1.2.1.2
1.10/1.15 c
1.10/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c conflict/interconss = 0
1.10/1.15 c
1.10/1.15 c # should binary conflicts be preferred?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c conflict/preferbinary = TRUE
1.10/1.15 c
1.10/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15 c constraints/agelimit = 1
1.10/1.15 c
1.10/1.15 c # should enforcement of pseudo solution be disabled?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/disableenfops = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1799.82
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 1620
1.10/1.15 c
1.10/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15 c lp/solvefreq = -1
1.10/1.15 c
1.10/1.15 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.10/1.15 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.15 c lp/pricing = a
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # priority of node selection rule <dfs> in standard mode
1.10/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.15 c nodeselection/dfs/stdpriority = 1000000
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.16 c
1.10/1.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.16 c t 0.8s| 1 | 2 | 0 | - | 37M| 0 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-1.000000e+03 | 0.000000e+00 | 100.00%
1.10/1.18 o -93
1.10/1.18 c * 0.8s| 94 | 83 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
1.10/1.19 o -94
1.10/1.19 c * 0.8s| 109 | 79 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
4.99/5.03 c 4.5s| 10000 | 65 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 | 7 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
8.89/8.91 c 8.3s| 20000 | 63 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 | 17 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
12.79/12.81 c 12.1s| 30000 | 63 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 | 36 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
16.69/16.71 c 15.8s| 40000 | 65 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 | 62 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
20.38/20.47 c 19.4s| 50000 | 64 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 | 90 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
24.19/24.28 c 23.1s| 60000 | 64 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 | 105 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
26.68/26.74 o -95
26.68/26.74 c *25.5s| 65998 | 71 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 108 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
27.29/27.38 o -96
27.29/27.38 c *26.1s| 67429 | 71 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 109 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
28.38/28.48 c 27.2s| 70000 | 66 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 113 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
32.28/32.32 c 30.9s| 80000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 122 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
35.88/35.97 c 34.4s| 90000 | 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 140 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
39.38/39.46 c 37.8s|100000 | 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 155 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
42.88/42.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.88/42.96 c 41.1s|110000 | 65 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 165 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
46.08/46.15 c 44.2s|120000 | 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 172 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
49.39/49.43 c 47.3s|130000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 183 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
52.69/52.70 c 50.4s|140000 | 65 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 193 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
55.87/55.93 c 53.5s|150000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 207 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
58.87/58.94 c 56.4s|160000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 216 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
61.67/61.75 c 59.1s|170000 | 65 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 231 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
64.37/64.48 c 61.7s|180000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 246 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
67.17/67.25 c 64.3s|190000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 260 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
70.07/70.18 c 67.1s|200000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 270 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
72.87/72.98 c 69.8s|210000 | 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 279 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
75.57/75.69 c 72.3s|220000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 286 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
78.57/78.60 c 75.1s|230000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 296 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
81.27/81.38 c 77.7s|240000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 306 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
84.27/84.32 c 80.5s|250000 | 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 339 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
87.27/87.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.27/87.33 c 83.4s|260000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 360 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
87.67/87.74 o -97
87.67/87.74 c *83.8s|261478 | 65 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 363 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
89.96/90.07 c 86.0s|270000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 390 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
92.87/92.97 c 88.8s|280000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 406 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
95.76/95.87 c 91.5s|290000 | 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 412 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
99.07/99.17 c 94.7s|300000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 419 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
102.06/102.12 c 97.5s|310000 | 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 430 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
104.86/104.91 c 100s|320000 | 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 437 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
107.46/107.56 c 103s|330000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 446 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
110.56/110.60 c 106s|340000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 453 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
113.26/113.39 c 108s|350000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 456 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
116.16/116.29 c 111s|360000 | 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 459 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
118.85/118.91 c 113s|370000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 469 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
121.35/121.47 c 116s|380000 | 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 476 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
124.06/124.10 c 118s|390000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 482 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
126.85/126.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.85/126.99 c 121s|400000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 499 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
129.56/129.62 c 124s|410000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 508 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
132.26/132.39 c 126s|420000 | 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 516 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
135.16/135.20 c 129s|430000 | 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 530 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
137.86/137.99 c 131s|440000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 539 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
140.35/140.43 c 134s|450000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 550 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
142.86/142.95 c 136s|460000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 562 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
145.55/145.69 c 139s|470000 | 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 573 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
148.35/148.49 c 141s|480000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 591 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
151.05/151.15 c 144s|490000 | 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 601 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
153.95/154.01 c 147s|500000 | 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 608 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
156.55/156.66 c 149s|510000 | 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 620 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
159.14/159.21 c 152s|520000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 627 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
161.84/161.91 c 154s|530000 | 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 631 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
164.65/164.74 c 157s|540000 | 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 639 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
167.74/167.86 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.86 c 160s|550000 | 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 653 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
170.64/170.72 c 163s|560000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 662 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
173.24/173.38 c 165s|570000 | 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 677 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
175.95/176.08 c 168s|580000 | 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 688 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
178.64/178.72 c 170s|590000 | 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 697 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
181.35/181.46 c 173s|600000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 702 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
184.14/184.23 c 175s|610000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 707 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
186.74/186.87 c 178s|620000 | 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 712 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
189.53/189.60 c 180s|630000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 715 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
192.35/192.43 c 183s|640000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 718 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
195.13/195.29 c 186s|650000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 720 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
198.24/198.35 c 189s|660000 | 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 731 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
201.24/201.38 c 192s|670000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 742 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
204.24/204.38 c 194s|680000 | 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 751 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
207.43/207.52 c 198s|690000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 760 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
210.43/210.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.43/210.56 c 200s|700000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 770 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
213.44/213.53 c 203s|710000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 775 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
216.33/216.42 c 206s|720000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 780 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
219.13/219.22 c 209s|730000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 787 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
221.93/222.04 c 211s|740000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 798 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
224.83/224.99 c 214s|750000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 804 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
227.82/227.91 c 217s|760000 | 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 805 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
230.63/230.70 c 220s|770000 | 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 825 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
233.52/233.63 c 222s|780000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 837 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
236.53/236.63 c 225s|790000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 852 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
239.73/239.83 c 228s|800000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 863 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
242.63/242.72 c 231s|810000 | 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 869 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
245.33/245.46 c 234s|820000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 877 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
248.32/248.42 c 236s|830000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 886 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
250.82/250.98 c 239s|840000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 891 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
253.52/253.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.52/253.61 c 241s|850000 | 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 897 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
256.23/256.32 c 244s|860000 | 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 904 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
258.82/258.95 c 246s|870000 | 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 906 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
261.73/261.83 c 249s|880000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 915 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
264.72/264.87 c 252s|890000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 924 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
267.42/267.59 c 255s|900000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 930 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
270.22/270.30 c 257s|910000 | 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 941 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
272.82/272.97 c 260s|920000 | 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 952 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
275.81/275.90 c 262s|930000 | 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 967 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
278.71/278.86 c 265s|940000 | 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 980 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
281.81/281.90 c 268s|950000 | 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 | 993 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
284.91/285.08 c 271s|960000 | 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1005 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
288.12/288.22 c 274s|970000 | 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1009 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
290.81/290.95 c 277s|980000 | 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1013 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
293.41/293.52 c 279s|990000 | 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1016 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
296.01/296.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.01/296.18 c 282s| 1000k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1025 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
298.71/298.84 c 284s| 1010k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1039 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
301.31/301.46 c 287s| 1020k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1043 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
303.81/303.99 c 289s| 1030k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1051 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
306.41/306.54 c 291s| 1040k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1058 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
309.10/309.24 c 294s| 1050k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1063 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
312.22/312.32 c 297s| 1060k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1069 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
315.31/315.42 c 300s| 1070k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1078 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
318.60/318.75 c 303s| 1080k| 65 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1086 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
321.80/321.90 c 306s| 1090k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1094 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
324.91/325.00 c 309s| 1100k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1096 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
328.00/328.14 c 312s| 1110k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1107 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
331.00/331.14 c 315s| 1120k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1120 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
334.10/334.21 c 318s| 1130k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1129 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
337.10/337.20 c 321s| 1140k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1134 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
339.90/340.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.90/340.06 c 323s| 1150k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1139 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
342.79/342.91 c 326s| 1160k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1151 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
345.40/345.55 c 329s| 1170k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1155 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
348.00/348.15 c 331s| 1180k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1170 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
350.70/350.80 c 334s| 1190k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1180 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
353.19/353.31 c 336s| 1200k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1187 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
355.70/355.87 c 338s| 1210k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1194 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
358.29/358.41 c 341s| 1220k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1204 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
360.79/360.97 c 343s| 1230k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1211 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
363.49/363.63 c 346s| 1240k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1223 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
366.00/366.19 c 348s| 1250k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1227 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
368.59/368.72 c 351s| 1260k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1233 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
371.09/371.20 c 353s| 1270k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1233 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
373.80/373.95 c 356s| 1280k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1240 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
376.59/376.80 c 358s| 1290k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1258 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
379.59/379.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.59/379.75 c 361s| 1300k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1268 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
382.38/382.55 c 364s| 1310k| 54 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1279 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
384.99/385.17 c 366s| 1320k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1288 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
387.89/388.04 c 369s| 1330k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1298 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
390.49/390.65 c 371s| 1340k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1307 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
393.09/393.30 c 374s| 1350k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1318 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
395.89/396.08 c 377s| 1360k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1326 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
398.38/398.56 c 379s| 1370k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1333 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
400.88/401.07 c 381s| 1380k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1345 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
403.48/403.61 c 384s| 1390k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1353 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
406.08/406.28 c 386s| 1400k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1358 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
408.78/408.93 c 389s| 1410k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1368 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
411.38/411.50 c 391s| 1420k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1375 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
414.18/414.30 c 394s| 1430k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1383 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
416.98/417.12 c 396s| 1440k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1390 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
419.58/419.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.58/419.77 c 399s| 1450k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1391 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
422.48/422.65 c 402s| 1460k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1397 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
425.17/425.38 c 404s| 1470k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1404 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
427.87/428.06 c 407s| 1480k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1409 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
430.47/430.68 c 409s| 1490k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1411 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
433.28/433.47 c 412s| 1500k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1415 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
435.97/436.12 c 414s| 1510k| 54 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1426 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
438.68/438.86 c 417s| 1520k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1429 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
441.27/441.45 c 420s| 1530k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1435 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
443.97/444.19 c 422s| 1540k| 66 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1442 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
446.76/446.93 c 425s| 1550k| 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1448 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
449.47/449.70 c 427s| 1560k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1458 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
452.36/452.52 c 430s| 1570k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1468 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
455.07/455.26 c 433s| 1580k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1474 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
457.87/458.05 c 435s| 1590k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1481 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
460.67/460.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.67/460.84 c 438s| 1600k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1485 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
463.57/463.70 c 441s| 1610k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1489 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
466.46/466.67 c 443s| 1620k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1496 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
469.36/469.55 c 446s| 1630k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1505 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
472.06/472.26 c 449s| 1640k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1511 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
474.97/475.19 c 452s| 1650k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1523 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
477.76/477.98 c 454s| 1660k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1528 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
480.66/480.87 c 457s| 1670k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1537 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
483.56/483.72 c 460s| 1680k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1547 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
486.76/486.93 c 463s| 1690k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1555 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
489.37/489.54 c 465s| 1700k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1559 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
492.06/492.25 c 468s| 1710k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1569 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
495.15/495.38 c 471s| 1720k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1581 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
498.25/498.41 c 474s| 1730k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1589 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
500.95/501.12 c 476s| 1740k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1593 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
503.66/503.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.66/503.87 c 479s| 1750k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1610 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
506.35/506.59 c 481s| 1760k| 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1613 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
509.16/509.34 c 484s| 1770k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1617 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
511.85/512.07 c 487s| 1780k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1625 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
514.66/514.86 c 489s| 1790k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1634 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
517.55/517.77 c 492s| 1800k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1649 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
520.45/520.61 c 495s| 1810k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1661 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
523.14/523.31 c 497s| 1820k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1671 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
525.95/526.18 c 500s| 1830k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1678 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
528.55/528.72 c 502s| 1840k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1689 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
531.24/531.45 c 505s| 1850k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1695 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
534.25/534.42 c 508s| 1860k| 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1708 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
537.25/537.46 c 511s| 1870k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1712 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
539.85/540.03 c 513s| 1880k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1716 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
542.55/542.74 c 516s| 1890k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1727 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
545.35/545.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.35/545.51 c 518s| 1900k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1741 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
548.04/548.26 c 521s| 1910k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1755 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
550.74/550.94 c 523s| 1920k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1762 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
553.64/553.85 c 526s| 1930k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1767 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
556.24/556.49 c 529s| 1940k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1775 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
559.14/559.39 c 531s| 1950k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1781 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
561.94/562.14 c 534s| 1960k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1791 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
564.83/565.09 c 537s| 1970k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1799 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
567.74/567.96 c 540s| 1980k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1813 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
570.44/570.68 c 542s| 1990k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1823 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
573.14/573.39 c 545s| 2000k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1830 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
575.94/576.15 c 547s| 2010k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1841 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
579.04/579.24 c 550s| 2020k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1847 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
581.64/581.88 c 553s| 2030k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1854 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
584.33/584.59 c 555s| 2040k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1865 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
587.14/587.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.14/587.39 c 558s| 2050k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1869 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
590.13/590.36 c 561s| 2060k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1882 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
593.33/593.53 c 564s| 2070k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1890 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
596.04/596.21 c 566s| 2080k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1894 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
598.73/598.99 c 569s| 2090k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1901 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
601.53/601.76 c 572s| 2100k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1911 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
604.63/604.80 c 575s| 2110k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1921 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
607.43/607.65 c 577s| 2120k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1925 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
610.03/610.22 c 580s| 2130k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1931 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
612.73/612.90 c 582s| 2140k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1933 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
615.43/615.68 c 585s| 2150k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1948 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
618.03/618.26 c 587s| 2160k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1956 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
620.62/620.87 c 590s| 2170k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1972 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
623.43/623.66 c 592s| 2180k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1976 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
626.42/626.67 c 595s| 2190k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |1994 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
629.22/629.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.22/629.42 c 598s| 2200k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2010 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
631.92/632.17 c 601s| 2210k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2016 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
634.81/635.00 c 603s| 2220k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2028 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
637.42/637.69 c 606s| 2230k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2034 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
640.02/640.29 c 608s| 2240k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2043 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
642.72/642.95 c 611s| 2250k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2052 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
645.22/645.45 c 613s| 2260k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2053 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
647.92/648.20 c 616s| 2270k| 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2057 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
650.81/651.10 c 618s| 2280k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2063 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
653.72/653.96 c 621s| 2290k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2072 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
656.52/656.77 c 624s| 2300k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2075 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
659.31/659.59 c 627s| 2310k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2084 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
662.21/662.45 c 629s| 2320k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2094 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
664.91/665.14 c 632s| 2330k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2101 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
667.71/667.92 c 634s| 2340k| 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2105 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
670.61/670.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.61/670.85 c 637s| 2350k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2114 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
673.30/673.58 c 640s| 2360k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2121 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
676.11/676.33 c 642s| 2370k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2125 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
679.00/679.21 c 645s| 2380k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2132 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
681.72/681.94 c 648s| 2390k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2132 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
684.41/684.67 c 650s| 2400k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2132 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
687.21/687.47 c 653s| 2410k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2135 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
690.01/690.29 c 656s| 2420k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2138 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
692.71/692.91 c 658s| 2430k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2143 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
695.40/695.66 c 661s| 2440k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2147 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
698.21/698.41 c 663s| 2450k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2155 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
700.90/701.15 c 666s| 2460k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2160 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
703.71/703.90 c 669s| 2470k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2164 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
706.30/706.58 c 671s| 2480k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2169 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
709.20/709.42 c 674s| 2490k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2171 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
711.90/712.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.90/712.19 c 676s| 2500k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2174 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
714.71/714.91 c 679s| 2510k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2181 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
717.49/717.74 c 682s| 2520k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2183 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
720.40/720.61 c 684s| 2530k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2186 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
723.09/723.37 c 687s| 2540k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2186 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
726.10/726.35 c 690s| 2550k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2194 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
729.10/729.40 c 693s| 2560k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2200 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
731.90/732.19 c 695s| 2570k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2206 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
734.79/735.10 c 698s| 2580k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2213 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
737.80/738.01 c 701s| 2590k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2221 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
740.89/741.11 c 704s| 2600k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2225 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
743.79/744.08 c 707s| 2610k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2228 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
746.59/746.87 c 709s| 2620k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2237 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
749.49/749.70 c 712s| 2630k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2241 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
752.20/752.46 c 715s| 2640k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2242 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
754.99/755.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.99/755.21 c 717s| 2650k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2254 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
757.99/758.20 c 720s| 2660k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2268 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
760.90/761.17 c 723s| 2670k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2275 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
763.88/764.12 c 726s| 2680k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2280 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
767.09/767.32 c 729s| 2690k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2287 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
770.19/770.49 c 732s| 2700k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2295 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
773.38/773.65 c 735s| 2710k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2302 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
776.58/776.85 c 738s| 2720k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2311 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
779.48/779.76 c 741s| 2730k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2321 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
782.58/782.89 c 744s| 2740k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2329 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
785.38/785.62 c 746s| 2750k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2336 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
787.98/788.21 c 749s| 2760k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2342 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
790.68/790.93 c 751s| 2770k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2350 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
793.37/793.66 c 754s| 2780k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2356 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
796.18/796.41 c 756s| 2790k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2366 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
798.87/799.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.87/799.11 c 759s| 2800k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2371 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
801.48/801.77 c 761s| 2810k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2378 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
804.17/804.42 c 764s| 2820k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2383 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
806.77/807.03 c 766s| 2830k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2387 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
809.47/809.78 c 769s| 2840k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2394 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
812.47/812.70 c 772s| 2850k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2399 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
815.27/815.59 c 775s| 2860k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2405 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
818.08/818.31 c 777s| 2870k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2411 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
820.77/821.01 c 780s| 2880k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2419 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
823.46/823.76 c 782s| 2890k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2425 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
826.16/826.47 c 785s| 2900k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2429 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
829.26/829.59 c 788s| 2910k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2439 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
832.47/832.78 c 791s| 2920k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2454 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
835.47/835.76 c 794s| 2930k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2464 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
838.07/838.33 c 796s| 2940k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2475 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
840.76/841.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.76/841.05 c 799s| 2950k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2483 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
843.47/843.75 c 801s| 2960k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2496 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
846.16/846.41 c 804s| 2970k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2505 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
848.56/848.87 c 806s| 2980k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2519 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
851.36/851.64 c 809s| 2990k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2526 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
853.96/854.24 c 811s| 3000k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2532 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
857.06/857.32 c 814s| 3010k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2539 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
859.66/859.97 c 817s| 3020k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2554 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
862.46/862.76 c 819s| 3030k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2565 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
865.25/865.50 c 822s| 3040k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2571 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
868.15/868.40 c 825s| 3050k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2576 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
870.76/871.10 c 827s| 3060k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2581 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
873.56/873.82 c 830s| 3070k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2589 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
876.36/876.64 c 832s| 3080k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2596 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
879.05/879.36 c 835s| 3090k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2602 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
881.86/882.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.86/882.10 c 838s| 3100k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2614 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
884.75/885.00 c 840s| 3110k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2620 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
887.75/888.02 c 843s| 3120k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2632 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
890.55/890.86 c 846s| 3130k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2643 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
893.44/893.80 c 849s| 3140k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2660 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
896.45/896.79 c 852s| 3150k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2671 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
899.45/899.76 c 854s| 3160k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2676 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
902.35/902.65 c 857s| 3170k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2677 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
905.24/905.50 c 860s| 3180k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2681 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
908.36/908.62 c 863s| 3190k| 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2688 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
911.55/911.80 c 866s| 3200k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2697 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
914.65/914.96 c 869s| 3210k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2707 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
917.74/918.04 c 872s| 3220k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2718 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
920.84/921.15 c 875s| 3230k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2727 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
923.85/924.12 c 878s| 3240k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2729 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
926.94/927.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.94/927.25 c 881s| 3250k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2739 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
930.03/930.38 c 884s| 3260k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2751 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
933.13/933.44 c 887s| 3270k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2764 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
936.24/936.56 c 890s| 3280k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2768 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
939.15/939.42 c 892s| 3290k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2772 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
942.14/942.42 c 895s| 3300k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2778 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
945.13/945.43 c 898s| 3310k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2785 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
948.23/948.51 c 901s| 3320k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2796 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
951.33/951.67 c 904s| 3330k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2807 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
954.54/954.83 c 907s| 3340k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2816 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
957.63/957.95 c 910s| 3350k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2821 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
960.63/960.94 c 913s| 3360k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2834 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
963.63/963.99 c 916s| 3370k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2840 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
966.93/967.28 c 919s| 3380k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2853 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
970.23/970.53 c 922s| 3390k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2869 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
973.43/973.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.43/973.71 c 925s| 3400k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2881 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
976.43/976.79 c 928s| 3410k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2887 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
979.63/979.95 c 931s| 3420k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2896 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
982.73/983.02 c 934s| 3430k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2903 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
985.92/986.24 c 937s| 3440k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2912 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
989.03/989.32 c 940s| 3450k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2923 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
992.22/992.56 c 943s| 3460k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2931 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
995.52/995.85 c 946s| 3470k| 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2936 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
998.62/998.93 c 949s| 3480k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2944 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1001.72/1002.06 c 952s| 3490k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2951 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1005.03/1005.38 c 955s| 3500k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2957 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1008.12/1008.49 c 958s| 3510k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2965 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1011.42/1011.79 c 962s| 3520k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2971 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1014.41/1014.74 c 964s| 3530k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2992 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1017.51/1017.86 c 967s| 3540k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |2997 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1020.71/1021.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.71/1021.08 c 970s| 3550k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3002 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1023.92/1024.23 c 973s| 3560k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3013 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1026.51/1026.88 c 976s| 3570k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3029 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1029.42/1029.73 c 979s| 3580k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3044 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1032.41/1032.75 c 982s| 3590k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3065 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1035.21/1035.55 c 984s| 3600k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3075 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1038.21/1038.54 c 987s| 3610k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3079 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1041.21/1041.51 c 990s| 3620k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3088 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1044.01/1044.35 c 993s| 3630k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3090 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1047.10/1047.45 c 996s| 3640k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3099 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1049.61/1049.99 c 998s| 3650k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3103 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1052.41/1052.73 c 1001s| 3660k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3108 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1055.11/1055.47 c 1003s| 3670k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3116 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1057.71/1058.08 c 1006s| 3680k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3135 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1060.31/1060.65 c 1008s| 3690k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3149 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1063.00/1063.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.00/1063.32 c 1011s| 3700k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3158 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1065.70/1066.05 c 1013s| 3710k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3162 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1068.30/1068.66 c 1016s| 3720k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3164 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1071.11/1071.41 c 1018s| 3730k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3173 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1073.70/1074.04 c 1021s| 3740k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3179 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1076.40/1076.75 c 1023s| 3750k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3187 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1078.90/1079.27 c 1026s| 3760k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3190 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1081.50/1081.83 c 1028s| 3770k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3202 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1084.10/1084.47 c 1031s| 3780k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3207 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1086.80/1087.16 c 1033s| 3790k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3213 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1089.60/1089.91 c 1036s| 3800k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3219 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1092.30/1092.68 c 1038s| 3810k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3234 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1095.30/1095.67 c 1041s| 3820k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3251 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1098.19/1098.50 c 1044s| 3830k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3271 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1101.10/1101.45 c 1047s| 3840k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3285 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1104.09/1104.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.09/1104.40 c 1049s| 3850k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3298 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1106.99/1107.38 c 1052s| 3860k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3306 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1109.79/1110.11 c 1055s| 3870k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3319 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1112.39/1112.72 c 1057s| 3880k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3328 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1114.89/1115.24 c 1060s| 3890k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3340 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1117.79/1118.11 c 1062s| 3900k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3351 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1120.59/1120.90 c 1065s| 3910k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3358 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1123.19/1123.54 c 1068s| 3920k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3363 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1125.68/1126.08 c 1070s| 3930k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3378 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1128.20/1128.59 c 1072s| 3940k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3391 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1130.79/1131.13 c 1075s| 3950k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3406 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1133.28/1133.68 c 1077s| 3960k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3410 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1135.99/1136.31 c 1080s| 3970k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3414 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1138.58/1138.93 c 1082s| 3980k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3420 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1141.28/1141.61 c 1085s| 3990k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3421 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1143.88/1144.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.88/1144.24 c 1087s| 4000k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3429 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1146.48/1146.82 c 1090s| 4010k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3443 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1149.09/1149.45 c 1092s| 4020k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3453 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1151.68/1152.04 c 1095s| 4030k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3455 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1154.18/1154.57 c 1097s| 4040k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3460 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1156.68/1157.09 c 1099s| 4050k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3470 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1159.28/1159.66 c 1102s| 4060k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3479 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1161.88/1162.24 c 1104s| 4070k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3483 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1164.58/1164.99 c 1107s| 4080k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3493 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1167.18/1167.53 c 1109s| 4090k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3499 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1169.78/1170.16 c 1112s| 4100k| 54 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3513 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1172.37/1172.75 c 1114s| 4110k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3521 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1174.98/1175.35 c 1116s| 4120k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3525 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1177.57/1177.94 c 1119s| 4130k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3527 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1180.17/1180.58 c 1121s| 4140k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3538 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1182.77/1183.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.77/1183.18 c 1124s| 4150k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3544 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1185.38/1185.78 c 1126s| 4160k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3553 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1187.97/1188.34 c 1129s| 4170k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3559 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1190.57/1190.98 c 1131s| 4180k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3573 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1193.08/1193.40 c 1133s| 4190k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3586 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1195.47/1195.82 c 1136s| 4200k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3592 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1198.07/1198.40 c 1138s| 4210k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3598 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1200.67/1201.05 c 1141s| 4220k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3603 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1203.26/1203.68 c 1143s| 4230k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3606 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1205.96/1206.38 c 1146s| 4240k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3612 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1208.67/1209.01 c 1148s| 4250k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3622 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1211.27/1211.65 c 1151s| 4260k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3634 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1213.97/1214.31 c 1153s| 4270k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3639 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1216.76/1217.14 c 1156s| 4280k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3644 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1219.66/1220.07 c 1159s| 4290k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3649 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1222.26/1222.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.26/1222.69 c 1161s| 4300k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3656 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1224.86/1225.26 c 1164s| 4310k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3665 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1227.56/1227.96 c 1166s| 4320k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3675 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1230.26/1230.67 c 1169s| 4330k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3680 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1232.86/1233.24 c 1171s| 4340k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3696 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1235.55/1235.95 c 1174s| 4350k| 65 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3699 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1238.17/1238.59 c 1176s| 4360k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3704 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1241.16/1241.53 c 1179s| 4370k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3711 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1243.85/1244.29 c 1182s| 4380k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3721 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1246.65/1247.07 c 1184s| 4390k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3727 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1249.45/1249.86 c 1187s| 4400k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3730 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1252.36/1252.71 c 1190s| 4410k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3734 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1255.15/1255.50 c 1192s| 4420k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3737 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1257.95/1258.36 c 1195s| 4430k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3743 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1260.85/1261.27 c 1198s| 4440k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3751 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1263.56/1263.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.56/1263.92 c 1200s| 4450k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3759 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1266.45/1266.80 c 1203s| 4460k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3764 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1269.15/1269.55 c 1206s| 4470k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3769 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1271.95/1272.39 c 1208s| 4480k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3772 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1274.75/1275.13 c 1211s| 4490k| 65 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3781 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1277.54/1277.93 c 1214s| 4500k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3791 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1280.25/1280.67 c 1216s| 4510k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3800 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1282.94/1283.35 c 1219s| 4520k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3801 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1285.64/1286.07 c 1221s| 4530k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3802 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1288.34/1288.73 c 1224s| 4540k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3803 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1290.85/1291.28 c 1226s| 4550k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3804 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1293.54/1293.90 c 1229s| 4560k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3811 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1296.34/1296.80 c 1232s| 4570k| 62 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3821 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1299.54/1299.91 c 1235s| 4580k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3828 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1302.34/1302.71 c 1237s| 4590k| 54 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3831 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1304.84/1305.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.84/1305.22 c 1240s| 4600k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3839 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1307.33/1307.80 c 1242s| 4610k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3846 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1310.23/1310.66 c 1245s| 4620k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3850 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1313.04/1313.45 c 1247s| 4630k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3860 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1315.84/1316.23 c 1250s| 4640k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3868 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1318.73/1319.18 c 1253s| 4650k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3878 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1321.43/1321.87 c 1255s| 4660k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3886 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1324.23/1324.64 c 1258s| 4670k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3890 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1326.83/1327.29 c 1260s| 4680k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3892 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1329.63/1330.05 c 1263s| 4690k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3895 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1332.43/1332.82 c 1266s| 4700k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3898 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1335.13/1335.54 c 1268s| 4710k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3901 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1338.03/1338.45 c 1271s| 4720k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3905 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1341.12/1341.50 c 1274s| 4730k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3915 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1343.74/1344.10 c 1276s| 4740k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3922 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1346.22/1346.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.22/1346.61 c 1279s| 4750k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3923 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1348.93/1349.31 c 1281s| 4760k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3926 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1351.62/1352.00 c 1284s| 4770k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3927 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1354.23/1354.70 c 1286s| 4780k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3930 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1357.03/1357.44 c 1289s| 4790k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3936 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1359.62/1360.07 c 1291s| 4800k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3940 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1362.32/1362.76 c 1294s| 4810k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3949 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1365.02/1365.41 c 1296s| 4820k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3954 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1367.62/1368.07 c 1299s| 4830k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3959 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1370.23/1370.67 c 1301s| 4840k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3959 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1372.92/1373.32 c 1304s| 4850k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3962 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1375.52/1375.98 c 1306s| 4860k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3966 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1378.12/1378.55 c 1309s| 4870k| 54 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3968 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1380.72/1381.17 c 1311s| 4880k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3981 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1383.92/1384.30 c 1314s| 4890k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |3985 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1387.12/1387.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.12/1387.53 c 1317s| 4900k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4001 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1389.93/1390.36 c 1320s| 4910k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4012 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1392.72/1393.19 c 1323s| 4920k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4019 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1395.61/1396.07 c 1326s| 4930k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4031 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1398.61/1399.02 c 1328s| 4940k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4046 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1401.31/1401.72 c 1331s| 4950k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4053 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1404.42/1404.80 c 1334s| 4960k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4059 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1407.41/1407.81 c 1337s| 4970k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4065 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1410.41/1410.81 c 1340s| 4980k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4079 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1413.21/1413.68 c 1342s| 4990k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4095 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1415.91/1416.36 c 1345s| 5000k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4098 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1418.62/1419.04 c 1347s| 5010k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4102 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1421.31/1421.76 c 1350s| 5020k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4104 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1424.31/1424.79 c 1353s| 5030k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4108 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1427.50/1427.95 c 1356s| 5040k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4110 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1430.51/1430.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.51/1430.96 c 1359s| 5050k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4128 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1433.60/1434.03 c 1362s| 5060k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4130 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1436.51/1436.97 c 1364s| 5070k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4137 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1439.70/1440.19 c 1368s| 5080k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4146 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1443.01/1443.48 c 1371s| 5090k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4155 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1445.80/1446.21 c 1373s| 5100k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4191 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1448.69/1449.10 c 1376s| 5110k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4197 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1451.30/1451.79 c 1379s| 5120k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4208 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1454.00/1454.45 c 1381s| 5130k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4214 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1456.70/1457.15 c 1384s| 5140k| 54 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4223 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1459.31/1459.79 c 1386s| 5150k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4228 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1461.90/1462.37 c 1389s| 5160k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4239 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1464.80/1465.22 c 1391s| 5170k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4247 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1467.70/1468.10 c 1394s| 5180k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4252 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1470.39/1470.85 c 1397s| 5190k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4261 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1473.29/1473.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.29/1473.79 c 1399s| 5200k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4268 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1476.09/1476.57 c 1402s| 5210k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4274 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1479.00/1479.45 c 1405s| 5220k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4285 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1481.79/1482.28 c 1408s| 5230k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4287 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1484.60/1485.01 c 1410s| 5240k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4291 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1487.39/1487.80 c 1413s| 5250k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4293 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1490.19/1490.60 c 1415s| 5260k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4297 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1492.78/1493.22 c 1418s| 5270k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4303 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1495.39/1495.83 c 1420s| 5280k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4309 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1498.19/1498.65 c 1423s| 5290k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4318 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1501.00/1501.40 c 1426s| 5300k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4321 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1503.68/1504.16 c 1428s| 5310k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4326 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1506.49/1506.96 c 1431s| 5320k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4338 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1509.48/1509.90 c 1434s| 5330k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4348 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1512.28/1512.79 c 1436s| 5340k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4364 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1515.38/1515.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.38/1515.82 c 1439s| 5350k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4371 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1518.38/1518.84 c 1442s| 5360k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4392 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1521.48/1521.92 c 1445s| 5370k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4407 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1524.37/1524.89 c 1448s| 5380k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4424 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1527.48/1527.92 c 1451s| 5390k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4437 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1530.38/1530.83 c 1454s| 5400k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4453 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1533.27/1533.70 c 1456s| 5410k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4460 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1536.07/1536.58 c 1459s| 5420k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4470 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1539.07/1539.53 c 1462s| 5430k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4481 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1541.78/1542.25 c 1464s| 5440k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4491 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1544.47/1544.99 c 1467s| 5450k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4498 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1547.38/1547.83 c 1470s| 5460k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4502 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1550.07/1550.52 c 1472s| 5470k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4507 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1552.78/1553.21 c 1475s| 5480k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4510 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1555.47/1555.91 c 1477s| 5490k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4512 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1558.07/1558.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.07/1558.59 c 1480s| 5500k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4520 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1560.87/1561.37 c 1483s| 5510k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4522 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1563.67/1564.20 c 1485s| 5520k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4525 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1566.87/1567.31 c 1488s| 5530k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4528 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1569.67/1570.13 c 1491s| 5540k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4530 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1572.37/1572.83 c 1493s| 5550k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4536 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1575.06/1575.50 c 1496s| 5560k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4542 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1577.87/1578.34 c 1499s| 5570k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4544 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1580.47/1580.97 c 1501s| 5580k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4554 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1583.16/1583.61 c 1504s| 5590k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4559 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1585.96/1586.48 c 1506s| 5600k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4568 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1588.76/1589.26 c 1509s| 5610k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4577 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1591.36/1591.84 c 1511s| 5620k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4585 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1593.96/1594.43 c 1514s| 5630k| 54 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4589 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1596.77/1597.25 c 1517s| 5640k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4596 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1599.66/1600.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.66/1600.19 c 1519s| 5650k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4608 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1602.56/1603.06 c 1522s| 5660k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4619 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1605.35/1605.82 c 1525s| 5670k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4629 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1608.45/1608.91 c 1528s| 5680k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4633 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1611.65/1612.16 c 1531s| 5690k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4641 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1614.55/1615.09 c 1534s| 5700k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4649 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1617.56/1618.07 c 1536s| 5710k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4655 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1620.65/1621.12 c 1539s| 5720k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4662 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1623.55/1624.00 c 1542s| 5730k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4672 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1626.25/1626.76 c 1545s| 5740k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4694 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1628.95/1629.47 c 1547s| 5750k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4702 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1632.05/1632.51 c 1550s| 5760k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4718 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1634.95/1635.48 c 1553s| 5770k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4736 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1637.75/1638.21 c 1556s| 5780k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4739 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1640.35/1640.81 c 1558s| 5790k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4741 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1643.15/1643.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.15/1643.63 c 1561s| 5800k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4744 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1646.16/1646.67 c 1564s| 5810k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4751 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1649.15/1649.66 c 1567s| 5820k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4761 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1652.34/1652.83 c 1570s| 5830k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4767 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1655.44/1655.93 c 1572s| 5840k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4778 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1658.54/1659.08 c 1576s| 5850k| 64 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4794 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1661.74/1662.23 c 1579s| 5860k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4803 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1664.74/1665.26 c 1581s| 5870k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4810 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1667.84/1668.31 c 1584s| 5880k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4819 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1670.94/1671.42 c 1587s| 5890k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4823 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1674.04/1674.51 c 1590s| 5900k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4834 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1677.05/1677.51 c 1593s| 5910k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4841 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1680.04/1680.56 c 1596s| 5920k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4847 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1683.04/1683.59 c 1599s| 5930k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4859 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1686.14/1686.63 c 1602s| 5940k| 61 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4872 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1689.23/1689.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.23/1689.75 c 1605s| 5950k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4884 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1692.23/1692.79 c 1608s| 5960k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4891 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1695.44/1695.92 c 1611s| 5970k| 63 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4901 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1698.44/1698.99 c 1614s| 5980k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4910 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1701.53/1702.09 c 1617s| 5990k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4919 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1704.63/1705.10 c 1619s| 6000k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4924 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1707.63/1708.12 c 1622s| 6010k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4941 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1710.63/1711.17 c 1625s| 6020k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4944 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1713.73/1714.26 c 1628s| 6030k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4954 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1716.83/1717.37 c 1631s| 6040k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4966 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1720.02/1720.52 c 1634s| 6050k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4976 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1723.02/1723.57 c 1637s| 6060k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4984 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1726.13/1726.62 c 1640s| 6070k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |4990 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1729.13/1729.64 c 1643s| 6080k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5005 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1732.12/1732.62 c 1646s| 6090k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5026 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1735.12/1735.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.12/1735.67 c 1649s| 6100k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5043 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1738.22/1738.70 c 1651s| 6110k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5046 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1741.02/1741.59 c 1654s| 6120k| 60 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5056 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1743.62/1744.12 c 1657s| 6130k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5065 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1746.12/1746.70 c 1659s| 6140k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5067 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1748.82/1749.36 c 1662s| 6150k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5075 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1751.52/1752.02 c 1664s| 6160k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5084 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1754.02/1754.51 c 1666s| 6170k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5095 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1756.52/1757.07 c 1669s| 6180k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5101 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1759.32/1759.85 c 1671s| 6190k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5112 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1761.91/1762.45 c 1674s| 6200k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5124 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1764.62/1765.19 c 1677s| 6210k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5129 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1767.31/1767.83 c 1679s| 6220k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5140 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1770.01/1770.53 c 1682s| 6230k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5142 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1772.51/1773.08 c 1684s| 6240k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5152 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1775.32/1775.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.32/1775.84 c 1687s| 6250k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5161 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1777.91/1778.44 c 1689s| 6260k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5166 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1780.71/1781.29 c 1692s| 6270k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5183 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1783.51/1784.05 c 1694s| 6280k| 56 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5194 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1786.11/1786.64 c 1697s| 6290k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5205 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1788.61/1789.15 c 1699s| 6300k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5217 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1791.31/1791.86 c 1702s| 6310k| 59 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5225 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1793.91/1794.50 c 1704s| 6320k| 58 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5235 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1796.61/1797.15 c 1707s| 6330k| 57 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5244 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1799.30/1799.87 c 1709s| 6340k| 55 | 0 | 0.0 | 38M| 93 | - |1000 | 15k| 0 | 0 | 0 |5256 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1709.98
1800.01/1800.50 c Solving Nodes : 6342250
1800.01/1800.50 c Primal Bound : -9.70000000000000e+01 (7 solutions)
1800.01/1800.50 c Dual Bound : -9.99000000000000e+02
1800.01/1800.50 c Gap : 90.29 %
1800.01/1800.54 s SATISFIABLE
1800.01/1800.54 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.01/1800.54 v -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 x969 -x968 x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.01/1800.54 v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.01/1800.54 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.01/1800.54 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.01/1800.54 v -x894 -x893 -x892 x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873
1800.01/1800.54 v -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852
1800.01/1800.54 v -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831
1800.01/1800.54 v x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810
1800.01/1800.54 v -x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
1800.01/1800.54 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1800.01/1800.54 v x767 -x766 -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1800.01/1800.54 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726
1800.01/1800.54 v -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 x715 x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 x704
1800.01/1800.54 v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683
1800.01/1800.54 v -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 x666 -x665 -x664 -x663 -x662
1800.01/1800.54 v -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641
1800.01/1800.54 v -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620
1800.01/1800.54 v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
1800.01/1800.54 v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579
1800.01/1800.54 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1800.01/1800.54 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537
1800.01/1800.54 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1800.01/1800.54 v -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1800.01/1800.54 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.01/1800.54 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 x457 -x456 -x455 x454 -x453 -x452
1800.01/1800.54 v -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1800.01/1800.54 v -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1800.01/1800.54 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389
1800.01/1800.54 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1800.01/1800.54 v -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1800.01/1800.54 v -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326
1800.01/1800.54 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1800.01/1800.54 v -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284
1800.01/1800.54 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1800.01/1800.54 v x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1800.01/1800.54 v -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221
1800.01/1800.54 v -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.01/1800.54 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178
1800.01/1800.54 v -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157
1800.01/1800.54 v x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1800.01/1800.54 v -x135 x134 -x133 -x132 -x131 x130 x129 -x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114
1800.01/1800.54 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91
1800.01/1800.54 v -x90 -x89 -x88 -x87 x86 x85 -x84 -x83 x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 x71 -x70 x69 -x68 x67 -x66 -x65
1800.01/1800.54 v x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39
1800.01/1800.54 v -x38 -x37 x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 x16 -x15 x14 x13 -x12
1800.01/1800.54 v x11 -x10 -x9 x8 -x7 x6 x5 -x4 x3 -x2 -x1
1800.01/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.54 c Solving Time : 1709.98
1800.01/1800.54 c Original Problem :
1800.01/1800.54 c Problem name : HOME/instance-2663823-1276662022.opb
1800.01/1800.54 c Variables : 16795 (16795 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.54 c Constraints : 16795 initial, 16795 maximal
1800.01/1800.54 c Presolved Problem :
1800.01/1800.54 c Problem name : t_HOME/instance-2663823-1276662022.opb
1800.01/1800.54 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.54 c Constraints : 15795 initial, 15799 maximal
1800.01/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.54 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.54 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.54 c probing : 0.10 0 0 0 0 0 0 0 0
1800.01/1800.54 c linear : 0.10 15795 0 0 15795 0 1000 0 0
1800.01/1800.54 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.54 c root node : - 0 - - 0 - - - -
1800.01/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.54 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.54 c logicor : 15795+ 0 7149302 0 5 17011 9214674 0 0 0
1800.01/1800.54 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.01/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.54 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.54 c logicor : 115.42 0.00 115.39 0.00 0.03
1800.01/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.54 c vbounds : 5.58 2 0 0
1800.01/1800.54 c rootredcost : 5.40 0 0 0
1800.01/1800.54 c pseudoobj : 979.77 11964788 2983117 12738286
1800.01/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.54 c propagation : 16.52 17011 5258 5258 71.6 0 0.0 -
1800.01/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.54 c pseudo solution : 262.48 171305 0 0 0.0 0 0.0 -
1800.01/1800.54 c applied globally : - - - 5258 71.6 - - -
1800.01/1800.54 c applied locally : - - - 0 0.0 - - -
1800.01/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.54 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.54 c redcost : 0.00 0 0 0 0 0
1800.01/1800.54 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.54 c intobj : 0.00 0 0 0 0 0
1800.01/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.54 c gomory : 0.00 0 0 0 0 0
1800.01/1800.54 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.54 c cmir : 0.00 0 0 0 0 0
1800.01/1800.54 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.54 c clique : 0.00 0 0 0 0 0
1800.01/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.54 c mcf : 0.00 0 0 0 0 0
1800.01/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.54 c Pricers : Time Calls Vars
1800.01/1800.54 c problem variables: 0.00 0 0
1800.01/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.54 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.54 c inference : 42.84 3173496 0 0 0 0 6346992
1800.01/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.54 c random : 0.00 0 0 0 0 0 0
1800.01/1800.54 c Primal Heuristics : Time Calls Found
1800.01/1800.54 c LP solutions : 0.00 - 0
1800.01/1800.54 c pseudo solutions : 0.00 - 5
1800.01/1800.54 c oneopt : 3.95 0 0
1800.01/1800.54 c trivial : 0.05 2 2
1800.01/1800.54 c simplerounding : 0.00 0 0
1800.01/1800.54 c zirounding : 0.00 0 0
1800.01/1800.54 c rounding : 0.00 0 0
1800.01/1800.54 c shifting : 0.00 0 0
1800.01/1800.54 c intshifting : 0.00 0 0
1800.01/1800.54 c twoopt : 0.00 0 0
1800.01/1800.54 c fixandinfer : 0.00 0 0
1800.01/1800.54 c feaspump : 0.00 0 0
1800.01/1800.54 c coefdiving : 0.00 0 0
1800.01/1800.54 c pscostdiving : 0.00 0 0
1800.01/1800.54 c fracdiving : 0.00 0 0
1800.01/1800.54 c veclendiving : 0.00 0 0
1800.01/1800.54 c intdiving : 0.00 0 0
1800.01/1800.54 c actconsdiving : 0.00 0 0
1800.01/1800.54 c objpscostdiving : 0.00 0 0
1800.01/1800.54 c rootsoldiving : 0.00 0 0
1800.01/1800.54 c linesearchdiving : 0.00 0 0
1800.01/1800.54 c guideddiving : 0.00 0 0
1800.01/1800.54 c octane : 0.00 0 0
1800.01/1800.54 c rens : 0.00 0 0
1800.01/1800.54 c rins : 0.00 0 0
1800.01/1800.54 c localbranching : 0.00 0 0
1800.01/1800.54 c mutation : 0.00 0 0
1800.01/1800.54 c crossover : 0.00 0 0
1800.01/1800.54 c dins : 0.00 0 0
1800.01/1800.54 c undercover : 0.00 0 0
1800.01/1800.54 c nlp : 2.83 0 0
1800.01/1800.54 c trysol : 2.98 0 0
1800.01/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.54 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.54 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.54 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.54 c (at root node) : - 0 0 0.00 -
1800.01/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.54 c B&B Tree :
1800.01/1800.54 c number of runs : 1
1800.01/1800.54 c nodes : 6342250
1800.01/1800.54 c nodes (total) : 6342250
1800.01/1800.54 c nodes left : 56
1800.01/1800.54 c max depth : 93
1800.01/1800.54 c max depth (total): 93
1800.01/1800.54 c backtracks : 1539945 (24.3%)
1800.01/1800.54 c delayed cutoffs : 3431
1800.01/1800.54 c repropagations : 3749 (22228 domain reductions, 2684 cutoffs)
1800.01/1800.54 c avg switch length: 2.00
1800.01/1800.54 c switching time : 111.60
1800.01/1800.54 c Solution :
1800.01/1800.54 c Solutions found : 7 (6 improvements)
1800.01/1800.54 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.01/1800.54 c Primal Bound : -9.70000000000000e+01 (in run 1, after 261478 nodes, 83.78 seconds, depth 88, found by <relaxation>)
1800.01/1800.54 c Dual Bound : -9.99000000000000e+02
1800.01/1800.54 c Gap : 90.29 %
1800.01/1800.54 c Root Dual Bound : -1.00000000000000e+03
1800.01/1800.54 c Root Iterations : 0
1800.12/1800.63 c Time complete: 1800.13.