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-2664057-1276395813.opb>
0.03/0.08 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.03/0.08 c problem read
0.03/0.08 c presolving settings loaded
0.03/0.08 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.03/0.10 o 1968
0.03/0.10 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.03/0.10 c presolving:
0.10/0.13 c (round 1) 148 del vars, 148 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.10/0.14 c (round 2) 314 del vars, 703 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.10/0.14 c (round 3) 370 del vars, 830 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.10/0.15 c (round 4) 409 del vars, 947 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.10/0.16 c (round 5) 426 del vars, 985 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.10/0.16 c (round 6) 435 del vars, 1017 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.10/0.17 c (round 7) 438 del vars, 1027 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.10/0.17 c (round 8) 440 del vars, 1033 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.10/0.18 c (round 9) 441 del vars, 1038 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.22 c (round 10) 441 del vars, 1039 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2961 upgd conss, 7998 impls, 0 clqs
0.19/0.26 c (0.1s) probing: 101/1527 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.26 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.26 c presolving (11 rounds):
0.19/0.26 c 441 deleted vars, 1039 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.26 c 7998 implications, 0 cliques
0.19/0.26 c presolved problem has 1527 variables (1527 bin, 0 int, 0 impl, 0 cont) and 2961 constraints
0.19/0.26 c 2961 constraints of type <logicor>
0.19/0.26 c transformed objective value is always integral (scale: 1)
0.19/0.26 c Presolving Time: 0.12
0.19/0.26 c - non default parameters ----------------------------------------------------------------------
0.19/0.26 c # SCIP version 1.2.1.2
0.19/0.26 c
0.19/0.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26 c conflict/interconss = 0
0.19/0.26 c
0.19/0.26 c # should binary conflicts be preferred?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c conflict/preferbinary = TRUE
0.19/0.26 c
0.19/0.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26 c constraints/agelimit = 1
0.19/0.26 c
0.19/0.26 c # should enforcement of pseudo solution be disabled?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/disableenfops = TRUE
0.19/0.26 c
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = 10000
0.19/0.26 c
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = 1799.93
0.19/0.26 c
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = 1620
0.19/0.26 c
0.19/0.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26 c lp/solvefreq = -1
0.19/0.26 c
0.19/0.26 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)
0.19/0.26 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.26 c lp/pricing = a
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify inequalities
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/linear/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify knapsacks
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # priority of node selection rule <dfs> in standard mode
0.19/0.26 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.26 c nodeselection/dfs/stdpriority = 1000000
0.19/0.26 c
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving
0.19/0.26 c
0.19/0.26 o 1744
0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c t 0.1s| 1 | 0 | 0 | - |5814k| 0 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | -- | 1.744000e+03 | Inf
0.19/0.27 c 0.1s| 1 | 2 | 0 | - |5766k| 0 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.744000e+03 | 703.69%
0.29/0.39 o 1236
0.29/0.39 c * 0.2s| 509 | 472 | 0 | 0.0 |6207k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.236000e+03 | 466.97%
0.29/0.39 o 1235
0.29/0.39 c * 0.2s| 513 | 471 | 0 | 0.0 |6230k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.235000e+03 | 466.51%
0.49/0.52 o 1234
0.49/0.52 c * 0.4s| 799 | 438 | 0 | 0.0 |6259k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
3.98/4.06 c 3.7s| 10000 | 399 | 0 | 0.0 |6256k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
7.85/8.00 c 7.3s| 20000 | 397 | 0 | 0.0 |6257k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
11.65/11.83 c 11.0s| 30000 | 397 | 0 | 0.0 |6257k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
15.91/16.35 c 15.1s| 40000 | 397 | 0 | 0.0 |6258k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
19.71/20.10 c 18.6s| 50000 | 393 | 0 | 0.0 |6257k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
23.99/24.54 c 22.7s| 60000 | 391 | 0 | 0.0 |6257k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
28.16/28.71 c 26.7s| 70000 | 393 | 0 | 0.0 |6258k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
32.59/33.34 c 31.0s| 80000 | 393 | 0 | 0.0 |6258k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
36.71/37.50 c 34.9s| 90000 | 391 | 0 | 0.0 |6260k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
41.00/41.93 c 39.0s|100000 | 391 | 0 | 0.0 |6260k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
45.19/46.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.19/46.24 c 43.0s|110000 | 393 | 0 | 0.0 |6258k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
49.37/50.51 c 47.0s|120000 | 389 | 0 | 0.0 |6260k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
53.67/54.81 c 51.1s|130000 | 391 | 0 | 0.0 |6263k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
57.86/59.04 c 55.1s|140000 | 393 | 0 | 0.0 |6258k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
62.16/63.38 c 59.3s|150000 | 393 | 0 | 0.0 |6259k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
66.46/67.67 c 63.4s|160000 | 391 | 0 | 0.0 |6258k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
70.56/71.76 c 67.3s|170000 | 389 | 0 | 0.0 |6258k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
74.67/75.88 c 71.2s|180000 | 389 | 0 | 0.0 |6261k| 508 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
78.86/80.01 c 75.1s|190000 | 392 | 0 | 0.0 |6333k| 508 | - |1527 |2961 | 0 | 0 | 0 | 1 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
82.65/83.88 c 78.9s|200000 | 391 | 0 | 0.0 |6345k| 508 | - |1527 |2961 | 0 | 0 | 0 | 19 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
86.55/87.71 c 82.5s|210000 | 389 | 0 | 0.0 |6345k| 508 | - |1527 |2961 | 0 | 0 | 0 | 32 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
90.34/91.56 c 86.2s|220000 | 392 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 48 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
94.15/95.34 c 89.9s|230000 | 389 | 0 | 0.0 |6346k| 508 | - |1527 |2961 | 0 | 0 | 0 | 67 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
97.94/99.13 c 93.5s|240000 | 391 | 0 | 0.0 |6346k| 508 | - |1527 |2961 | 0 | 0 | 0 | 86 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
101.84/103.02 c 97.2s|250000 | 390 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 96 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
105.65/106.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.65/106.86 c 101s|260000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 114 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
109.54/110.73 c 105s|270000 | 387 | 0 | 0.0 |6346k| 508 | - |1527 |2961 | 0 | 0 | 0 | 124 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
113.44/114.69 c 108s|280000 | 391 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 141 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
117.94/119.10 c 113s|290000 | 391 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 156 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
122.23/123.47 c 117s|300000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 164 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
126.64/127.86 c 121s|310000 | 389 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 171 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
130.84/132.06 c 125s|320000 | 391 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 174 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
135.14/136.37 c 129s|330000 | 389 | 0 | 0.0 |6352k| 508 | - |1527 |2961 | 0 | 0 | 0 | 175 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
139.33/140.59 c 133s|340000 | 390 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 185 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
143.73/144.96 c 137s|350000 | 389 | 0 | 0.0 |6353k| 508 | - |1527 |2961 | 0 | 0 | 0 | 188 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
148.03/149.25 c 141s|360000 | 387 | 0 | 0.0 |6346k| 508 | - |1527 |2961 | 0 | 0 | 0 | 196 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
152.63/153.82 c 146s|370000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 203 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
156.93/158.14 c 150s|380000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 213 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
161.42/162.67 c 154s|390000 | 392 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 213 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
166.12/167.34 c 159s|400000 | 392 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 213 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
170.61/171.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.61/171.84 c 163s|410000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 216 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
175.02/176.24 c 167s|420000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 221 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
179.52/180.70 c 171s|430000 | 387 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 228 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
183.72/184.95 c 176s|440000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
187.51/188.78 c 179s|450000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
191.32/192.58 c 183s|460000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
195.10/196.39 c 186s|470000 | 392 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
198.91/200.20 c 190s|480000 | 390 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
202.80/204.01 c 194s|490000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
206.61/207.82 c 197s|500000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
210.40/211.62 c 201s|510000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
214.20/215.43 c 205s|520000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
218.00/219.21 c 208s|530000 | 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
221.70/222.97 c 212s|540000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
225.49/226.76 c 216s|550000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
229.29/230.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.29/230.54 c 219s|560000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
233.10/234.33 c 223s|570000 | 386 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
236.90/238.11 c 226s|580000 | 386 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
240.60/241.90 c 230s|590000 | 384 | 0 | 0.0 |6346k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
244.39/245.67 c 234s|600000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
248.19/249.45 c 237s|610000 | 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
251.99/253.23 c 241s|620000 | 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
255.79/257.01 c 245s|630000 | 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
259.49/260.74 c 248s|640000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
263.18/264.41 c 252s|650000 | 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
266.78/268.07 c 255s|660000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
270.49/271.76 c 259s|670000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
274.18/275.45 c 262s|680000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
277.88/279.11 c 266s|690000 | 386 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
281.48/282.77 c 269s|700000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
285.18/286.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.18/286.46 c 273s|710000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
288.88/290.17 c 276s|720000 | 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
292.57/293.85 c 280s|730000 | 388 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
296.28/297.51 c 283s|740000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
299.97/301.23 c 287s|750000 | 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
303.67/304.94 c 290s|760000 | 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
307.37/308.62 c 294s|770000 | 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
310.97/312.30 c 297s|780000 | 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
314.67/315.98 c 301s|790000 | 386 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
318.36/319.66 c 304s|800000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
322.07/323.35 c 308s|810000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
325.76/327.01 c 312s|820000 | 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
329.36/330.69 c 315s|830000 | 386 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
333.07/334.38 c 319s|840000 | 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
336.76/338.05 c 322s|850000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
340.46/341.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.46/341.73 c 326s|860000 | 386 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
344.16/345.40 c 329s|870000 | 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
347.85/349.12 c 333s|880000 | 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
351.56/352.81 c 336s|890000 | 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
355.17/356.48 c 340s|900000 | 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
358.85/360.15 c 343s|910000 | 390 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
362.55/363.86 c 347s|920000 | 382 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
366.25/367.56 c 350s|930000 | 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
369.95/371.24 c 354s|940000 | 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
373.64/374.90 c 357s|950000 | 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
377.35/378.60 c 361s|960000 | 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
381.04/382.32 c 364s|970000 | 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
384.64/386.00 c 368s|980000 | 386 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
388.34/389.66 c 371s|990000 | 386 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
392.04/393.36 c 375s| 1000k| 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
395.75/397.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.75/397.07 c 378s| 1010k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
399.44/400.76 c 382s| 1020k| 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
403.14/404.43 c 386s| 1030k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
406.74/408.10 c 389s| 1040k| 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
410.54/411.80 c 393s| 1050k| 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
414.23/415.51 c 396s| 1060k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
417.94/419.21 c 400s| 1070k| 384 | 0 | 0.0 |6346k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
421.63/422.91 c 403s| 1080k| 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
425.33/426.61 c 407s| 1090k| 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
429.03/430.32 c 410s| 1100k| 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
433.13/434.48 c 414s| 1110k| 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
437.33/438.67 c 418s| 1120k| 386 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
441.52/442.86 c 422s| 1130k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
445.72/447.04 c 426s| 1140k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
449.92/451.23 c 430s| 1150k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
454.13/455.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.13/455.41 c 434s| 1160k| 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
458.32/459.60 c 438s| 1170k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
462.41/463.78 c 442s| 1180k| 382 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
466.62/467.98 c 446s| 1190k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
470.81/472.16 c 450s| 1200k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
475.02/476.35 c 454s| 1210k| 386 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
479.21/480.53 c 458s| 1220k| 388 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
483.41/484.71 c 462s| 1230k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
487.51/488.89 c 466s| 1240k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
491.71/493.06 c 470s| 1250k| 384 | 0 | 0.0 |6353k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
495.91/497.27 c 474s| 1260k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
500.10/501.46 c 478s| 1270k| 380 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
504.30/505.63 c 482s| 1280k| 382 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
508.50/509.80 c 486s| 1290k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
512.60/513.99 c 490s| 1300k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
516.90/518.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.90/518.22 c 494s| 1310k| 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
520.99/522.40 c 498s| 1320k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
525.20/526.58 c 502s| 1330k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
529.39/530.74 c 506s| 1340k| 386 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
533.59/534.91 c 510s| 1350k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
537.70/539.09 c 514s| 1360k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
541.89/543.28 c 518s| 1370k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
546.08/547.49 c 522s| 1380k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
550.28/551.68 c 526s| 1390k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
554.48/555.88 c 530s| 1400k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
558.68/560.08 c 534s| 1410k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
562.89/564.26 c 538s| 1420k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
567.07/568.46 c 542s| 1430k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
571.18/572.53 c 546s| 1440k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
574.88/576.27 c 550s| 1450k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
578.67/580.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.67/580.00 c 553s| 1460k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
582.37/583.74 c 557s| 1470k| 384 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
586.07/587.49 c 561s| 1480k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
589.87/591.25 c 564s| 1490k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
593.56/594.99 c 568s| 1500k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
597.37/598.73 c 571s| 1510k| 386 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
601.06/602.47 c 575s| 1520k| 386 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
604.87/606.20 c 578s| 1530k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
608.57/609.93 c 582s| 1540k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
612.26/613.68 c 586s| 1550k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
616.06/617.41 c 589s| 1560k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
619.76/621.13 c 593s| 1570k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
623.47/624.88 c 596s| 1580k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
627.25/628.62 c 600s| 1590k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
630.95/632.38 c 603s| 1600k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
634.75/636.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.75/636.12 c 607s| 1610k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
638.45/639.86 c 611s| 1620k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
642.25/643.60 c 614s| 1630k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
645.95/647.33 c 618s| 1640k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
649.65/651.09 c 621s| 1650k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
653.45/654.84 c 625s| 1660k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
657.14/658.59 c 629s| 1670k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
660.94/662.33 c 632s| 1680k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
664.64/666.07 c 636s| 1690k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
668.45/669.81 c 639s| 1700k| 382 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
672.15/673.55 c 643s| 1710k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
675.83/677.29 c 646s| 1720k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
679.64/681.03 c 650s| 1730k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
683.33/684.76 c 654s| 1740k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
687.04/688.50 c 657s| 1750k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
691.23/692.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.23/692.64 c 661s| 1760k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
695.43/696.87 c 665s| 1770k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
699.73/701.12 c 669s| 1780k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
703.92/705.31 c 673s| 1790k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
708.03/709.48 c 677s| 1800k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
712.22/713.63 c 681s| 1810k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
716.32/717.76 c 685s| 1820k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
720.52/721.90 c 689s| 1830k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
724.63/726.07 c 693s| 1840k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
728.82/730.20 c 697s| 1850k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
732.92/734.37 c 701s| 1860k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
737.12/738.53 c 705s| 1870k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
741.22/742.69 c 709s| 1880k| 386 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
745.42/746.85 c 713s| 1890k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
749.62/751.04 c 717s| 1900k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
753.81/755.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.81/755.26 c 721s| 1910k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
758.11/759.50 c 725s| 1920k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
762.21/763.69 c 729s| 1930k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
766.50/767.90 c 733s| 1940k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
770.61/772.08 c 737s| 1950k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
774.80/776.26 c 741s| 1960k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
779.01/780.46 c 745s| 1970k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
783.20/784.64 c 749s| 1980k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
787.40/788.82 c 753s| 1990k| 382 | 0 | 0.0 |6353k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
791.49/792.98 c 757s| 2000k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
795.70/797.14 c 761s| 2010k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
799.89/801.33 c 765s| 2020k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
804.09/805.50 c 769s| 2030k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
808.19/809.69 c 773s| 2040k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
812.39/813.86 c 777s| 2050k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
816.59/818.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.59/818.03 c 781s| 2060k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
820.79/822.22 c 785s| 2070k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
824.98/826.43 c 789s| 2080k| 382 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
829.19/830.64 c 793s| 2090k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
833.39/834.85 c 797s| 2100k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
837.58/839.05 c 801s| 2110k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
841.78/843.27 c 805s| 2120k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
845.98/847.48 c 809s| 2130k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
850.17/851.69 c 813s| 2140k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
854.38/855.89 c 817s| 2150k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
858.58/860.09 c 821s| 2160k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
862.78/864.27 c 825s| 2170k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
866.97/868.46 c 829s| 2180k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
871.17/872.65 c 833s| 2190k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
875.37/876.83 c 837s| 2200k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
879.58/881.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.58/881.02 c 841s| 2210k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
883.76/885.21 c 845s| 2220k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
887.97/889.42 c 849s| 2230k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
892.16/893.60 c 853s| 2240k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
896.26/897.78 c 857s| 2250k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
900.47/901.96 c 861s| 2260k| 390 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
904.65/906.14 c 865s| 2270k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
908.85/910.35 c 869s| 2280k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
913.05/914.55 c 873s| 2290k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
917.25/918.77 c 877s| 2300k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
921.55/923.01 c 881s| 2310k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
925.76/927.22 c 885s| 2320k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
929.95/931.44 c 889s| 2330k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
934.14/935.65 c 893s| 2340k| 382 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
938.35/939.84 c 897s| 2350k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
942.55/944.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.55/944.03 c 901s| 2360k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
946.75/948.21 c 905s| 2370k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
950.94/952.43 c 909s| 2380k| 380 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
955.14/956.65 c 914s| 2390k| 382 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
959.33/960.85 c 918s| 2400k| 382 | 0 | 0.0 |6353k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
963.53/965.04 c 922s| 2410k| 382 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
967.73/969.23 c 926s| 2420k| 382 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
971.84/973.39 c 930s| 2430k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
976.34/977.88 c 934s| 2440k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
980.34/981.80 c 938s| 2450k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
984.73/986.21 c 942s| 2460k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
988.63/990.19 c 946s| 2470k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
993.02/994.56 c 950s| 2480k| 384 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
997.02/998.58 c 954s| 2490k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1001.43/1002.92 c 958s| 2500k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1005.52/1007.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.52/1007.02 c 962s| 2510k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1009.73/1011.27 c 966s| 2520k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1013.92/1015.42 c 970s| 2530k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1018.13/1019.61 c 974s| 2540k| 382 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1022.32/1023.81 c 978s| 2550k| 380 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1026.42/1027.98 c 982s| 2560k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1030.71/1032.27 c 986s| 2570k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1034.81/1036.35 c 990s| 2580k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1039.12/1040.69 c 994s| 2590k| 382 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1043.21/1044.71 c 998s| 2600k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1047.61/1049.10 c 1002s| 2610k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1051.51/1053.05 c 1006s| 2620k| 386 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1056.01/1057.51 c 1010s| 2630k| 386 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1059.91/1061.48 c 1014s| 2640k| 380 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1064.41/1065.98 c 1018s| 2650k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1068.40/1069.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.40/1069.97 c 1022s| 2660k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1072.80/1074.36 c 1026s| 2670k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1076.90/1078.43 c 1030s| 2680k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1081.20/1082.77 c 1034s| 2690k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1085.39/1086.91 c 1038s| 2700k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1089.60/1091.16 c 1042s| 2710k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1093.79/1095.35 c 1046s| 2720k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1097.99/1099.59 c 1050s| 2730k| 382 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1102.28/1103.84 c 1054s| 2740k| 382 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1106.49/1108.00 c 1058s| 2750k| 384 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1110.69/1112.29 c 1062s| 2760k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1114.78/1116.39 c 1066s| 2770k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1119.08/1120.69 c 1070s| 2780k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1123.08/1124.68 c 1074s| 2790k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1127.48/1129.09 c 1078s| 2800k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1131.57/1133.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.57/1133.17 c 1082s| 2810k| 388 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1136.08/1137.64 c 1087s| 2820k| 386 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1139.98/1141.57 c 1090s| 2830k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1144.47/1146.06 c 1095s| 2840k| 382 | 0 | 0.0 |6352k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1148.47/1150.05 c 1098s| 2850k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1152.87/1154.49 c 1103s| 2860k| 382 | 0 | 0.0 |6353k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1156.96/1158.51 c 1107s| 2870k| 384 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1161.27/1162.83 c 1111s| 2880k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1165.37/1166.99 c 1115s| 2890k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1169.67/1171.25 c 1119s| 2900k| 382 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1173.87/1175.41 c 1123s| 2910k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1178.07/1179.64 c 1127s| 2920k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1182.26/1183.88 c 1131s| 2930k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1186.46/1188.04 c 1135s| 2940k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1190.76/1192.32 c 1139s| 2950k| 382 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1194.86/1196.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.86/1196.42 c 1143s| 2960k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1199.15/1200.79 c 1147s| 2970k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1203.25/1204.85 c 1151s| 2980k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1207.65/1209.26 c 1155s| 2990k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1211.65/1213.27 c 1159s| 3000k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1216.05/1217.70 c 1163s| 3010k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1220.24/1221.80 c 1167s| 3020k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1224.74/1226.35 c 1171s| 3030k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1228.74/1230.30 c 1175s| 3040k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1233.14/1234.74 c 1179s| 3050k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1237.14/1238.75 c 1183s| 3060k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1241.53/1243.17 c 1188s| 3070k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1245.64/1247.21 c 1191s| 3080k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1250.03/1251.60 c 1196s| 3090k| 380 | 0 | 0.0 |6353k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1254.13/1255.70 c 1200s| 3100k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1258.34/1259.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.34/1259.99 c 1204s| 3110k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1262.62/1264.25 c 1208s| 3120k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1266.93/1268.52 c 1212s| 3130k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1271.04/1272.69 c 1216s| 3140k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1275.22/1276.88 c 1220s| 3150k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1279.52/1281.16 c 1224s| 3160k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1283.73/1285.34 c 1228s| 3170k| 382 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1288.02/1289.62 c 1232s| 3180k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1292.12/1293.74 c 1236s| 3190k| 386 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1296.52/1298.11 c 1240s| 3200k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1300.62/1302.22 c 1244s| 3210k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1305.01/1306.65 c 1248s| 3220k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1309.02/1310.67 c 1252s| 3230k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1313.51/1315.10 c 1256s| 3240k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1317.41/1319.04 c 1260s| 3250k| 384 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1321.91/1323.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.91/1323.53 c 1264s| 3260k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1325.91/1327.55 c 1268s| 3270k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1330.31/1331.99 c 1272s| 3280k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1334.40/1336.03 c 1276s| 3290k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1338.80/1340.42 c 1281s| 3300k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1342.81/1344.49 c 1284s| 3310k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1347.20/1348.81 c 1289s| 3320k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1351.31/1352.95 c 1293s| 3330k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1355.50/1357.19 c 1297s| 3340k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1359.79/1361.41 c 1301s| 3350k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1363.89/1365.58 c 1305s| 3360k| 382 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1368.20/1369.87 c 1309s| 3370k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1372.30/1373.99 c 1313s| 3380k| 382 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1376.70/1378.32 c 1317s| 3390k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1380.69/1382.38 c 1321s| 3400k| 380 | 0 | 0.0 |6353k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1385.19/1386.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.19/1386.84 c 1325s| 3410k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1389.19/1390.89 c 1329s| 3420k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1393.69/1395.36 c 1333s| 3430k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1397.68/1399.33 c 1337s| 3440k| 388 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1402.08/1403.79 c 1341s| 3450k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1406.08/1407.77 c 1345s| 3460k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1410.47/1412.19 c 1349s| 3470k| 380 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1414.58/1416.28 c 1353s| 3480k| 380 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1418.97/1420.60 c 1357s| 3490k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1422.98/1424.69 c 1361s| 3500k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1427.28/1428.99 c 1365s| 3510k| 382 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1431.37/1433.08 c 1369s| 3520k| 378 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1435.67/1437.34 c 1373s| 3530k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1439.87/1441.53 c 1377s| 3540k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1444.06/1445.71 c 1381s| 3550k| 380 | 0 | 0.0 |6352k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1448.26/1449.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.26/1449.94 c 1385s| 3560k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1452.36/1454.10 c 1389s| 3570k| 382 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1456.76/1458.42 c 1393s| 3580k| 380 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1460.76/1462.48 c 1397s| 3590k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1465.16/1466.88 c 1402s| 3600k| 380 | 0 | 0.0 |6347k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1469.26/1470.91 c 1405s| 3610k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1473.66/1475.36 c 1410s| 3620k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1477.65/1479.33 c 1413s| 3630k| 384 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1482.06/1483.80 c 1418s| 3640k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1486.05/1487.79 c 1422s| 3650k| 378 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1490.56/1492.24 c 1426s| 3660k| 380 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1494.65/1496.30 c 1430s| 3670k| 380 | 0 | 0.0 |6351k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1499.05/1500.71 c 1434s| 3680k| 380 | 0 | 0.0 |6350k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1503.06/1504.80 c 1438s| 3690k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1507.34/1509.08 c 1442s| 3700k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1511.54/1513.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.54/1513.24 c 1446s| 3710k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1515.84/1517.50 c 1450s| 3720k| 384 | 0 | 0.0 |6349k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1520.04/1521.72 c 1454s| 3730k| 382 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1524.24/1525.92 c 1458s| 3740k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1528.54/1530.23 c 1462s| 3750k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1532.74/1534.41 c 1466s| 3760k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1537.03/1538.73 c 1470s| 3770k| 380 | 0 | 0.0 |6348k| 508 | - |1527 |2961 | 0 | 0 | 0 | 232 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1540.93/1542.66 c 1474s| 3780k| 389 | 0 | 0.0 |6358k| 508 | - |1527 |2961 | 0 | 0 | 0 | 239 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1544.84/1546.54 c 1478s| 3790k| 385 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 248 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1548.73/1550.48 c 1482s| 3800k| 387 | 0 | 0.0 |6357k| 508 | - |1527 |2961 | 0 | 0 | 0 | 248 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1552.63/1554.38 c 1485s| 3810k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 248 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1556.52/1558.29 c 1489s| 3820k| 385 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 248 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1560.53/1562.26 c 1493s| 3830k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 258 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1564.42/1566.18 c 1497s| 3840k| 384 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 266 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1568.32/1570.09 c 1500s| 3850k| 384 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 266 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1572.22/1574.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.22/1574.00 c 1504s| 3860k| 384 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 266 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1576.22/1577.92 c 1508s| 3870k| 384 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 266 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1580.13/1581.81 c 1512s| 3880k| 386 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 272 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1583.91/1585.69 c 1515s| 3890k| 382 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 278 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1587.83/1589.55 c 1519s| 3900k| 387 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 287 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1591.72/1593.45 c 1523s| 3910k| 384 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 297 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1595.71/1597.43 c 1526s| 3920k| 385 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 303 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1599.72/1601.44 c 1530s| 3930k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1603.61/1605.36 c 1534s| 3940k| 383 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1607.52/1609.29 c 1538s| 3950k| 385 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1611.41/1613.16 c 1541s| 3960k| 387 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1615.32/1617.08 c 1545s| 3970k| 387 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1619.31/1621.02 c 1549s| 3980k| 383 | 0 | 0.0 |6357k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1623.21/1624.96 c 1553s| 3990k| 383 | 0 | 0.0 |6357k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1627.10/1628.87 c 1556s| 4000k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1631.01/1632.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.01/1632.77 c 1560s| 4010k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1634.90/1636.70 c 1564s| 4020k| 383 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1638.89/1640.60 c 1568s| 4030k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1642.70/1644.48 c 1571s| 4040k| 383 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1646.70/1648.40 c 1575s| 4050k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1650.59/1652.34 c 1579s| 4060k| 381 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1654.50/1656.23 c 1583s| 4070k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1658.39/1660.12 c 1586s| 4080k| 387 | 0 | 0.0 |6357k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1662.29/1664.06 c 1590s| 4090k| 383 | 0 | 0.0 |6357k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1666.19/1667.97 c 1594s| 4100k| 383 | 0 | 0.0 |6357k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1670.09/1671.88 c 1598s| 4110k| 381 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 308 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1673.99/1675.79 c 1601s| 4120k| 384 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 311 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1677.99/1679.72 c 1605s| 4130k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 319 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1681.89/1683.63 c 1609s| 4140k| 384 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 324 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1685.79/1687.51 c 1613s| 4150k| 380 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 325 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1689.68/1691.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.68/1691.43 c 1616s| 4160k| 383 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 328 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1693.58/1695.35 c 1620s| 4170k| 382 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 330 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1697.48/1699.26 c 1624s| 4180k| 382 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 330 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1701.37/1703.20 c 1628s| 4190k| 379 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 336 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1705.38/1707.17 c 1631s| 4200k| 381 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 343 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1709.38/1711.13 c 1635s| 4210k| 382 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 350 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1713.27/1715.06 c 1639s| 4220k| 382 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 351 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1717.18/1718.99 c 1643s| 4230k| 378 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 356 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1721.17/1722.90 c 1646s| 4240k| 386 | 0 | 0.0 |6357k| 508 | - |1527 |2961 | 0 | 0 | 0 | 359 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1725.07/1726.86 c 1650s| 4250k| 383 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 363 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1728.97/1730.75 c 1654s| 4260k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 368 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1732.87/1734.67 c 1658s| 4270k| 386 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 373 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1736.86/1738.64 c 1662s| 4280k| 383 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 376 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1740.86/1742.61 c 1665s| 4290k| 383 | 0 | 0.0 |6354k| 508 | - |1527 |2961 | 0 | 0 | 0 | 379 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1744.77/1746.51 c 1669s| 4300k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 379 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1748.66/1750.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.66/1750.43 c 1673s| 4310k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 384 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1752.56/1754.35 c 1676s| 4320k| 382 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 393 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1756.56/1758.32 c 1680s| 4330k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 398 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1760.47/1762.24 c 1684s| 4340k| 381 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 400 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1764.36/1766.18 c 1688s| 4350k| 382 | 0 | 0.0 |6357k| 508 | - |1527 |2961 | 0 | 0 | 0 | 406 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1768.36/1770.13 c 1692s| 4360k| 382 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 409 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1772.25/1774.04 c 1695s| 4370k| 383 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 415 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1776.16/1777.92 c 1699s| 4380k| 379 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 419 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1780.05/1781.86 c 1703s| 4390k| 387 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 421 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1783.95/1785.79 c 1707s| 4400k| 384 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 423 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1787.86/1789.69 c 1710s| 4410k| 382 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 429 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1791.74/1793.59 c 1714s| 4420k| 386 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 433 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1795.75/1797.54 c 1718s| 4430k| 383 | 0 | 0.0 |6356k| 508 | - |1527 |2961 | 0 | 0 | 0 | 436 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1799.64/1801.46 c 1722s| 4440k| 383 | 0 | 0.0 |6355k| 508 | - |1527 |2961 | 0 | 0 | 0 | 441 | 0 | 2.180000e+02 | 1.234000e+03 | 466.06%
1800.06/1801.81 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1801.81 c
1800.06/1801.81 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1801.81 c Solving Time (sec) : 1721.98
1800.06/1801.81 c Solving Nodes : 4440935
1800.06/1801.81 c Primal Bound : +1.23400000000000e+03 (6 solutions)
1800.06/1801.81 c Dual Bound : +2.18000000000000e+02
1800.06/1801.81 c Gap : 466.06 %
1800.06/1801.82 s SATISFIABLE
1800.06/1801.82 v -x1968 -x1967 x1966 -x1965 -x1964 x1963 -x1962 x1961 -x1960 -x1959 x1958 x1957 -x1956 x1955 x1954 -x1953 x1952 -x1951 x1950 x1949
1800.06/1801.82 v x1948 -x1947 x1946 x1945 -x1944 -x1943 x1942 x1941 x1940 x1939 x1938 -x1937 x1936 -x1935 x1934 x1933 -x1932 -x1931 x1930 -x1929
1800.06/1801.82 v x1928 -x1927 -x1926 -x1925 x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 -x1911
1800.06/1801.82 v x1910 -x1909 x1908 x1907 x1906 x1905 -x1904 x1903 -x1902 x1901 x1900 -x1899 -x1898 -x1897 x1896 x1895 x1894 x1893 x1892 x1891
1800.06/1801.82 v x1890 -x1889 x1888 -x1887 -x1886 x1885 -x1884 x1883 x1882 -x1881 x1880 x1879 -x1878 x1877 -x1876 -x1875 x1874 x1873 x1872 -x1871
1800.06/1801.82 v -x1870 x1869 x1868 x1867 x1866 -x1865 x1864 x1863 -x1862 x1861 x1860 -x1859 -x1858 x1857 -x1856 x1855 x1854 x1853 x1852
1800.06/1801.82 v x1851 -x1850 -x1849 -x1848 -x1847 x1846 x1845 x1844 -x1843 x1842 -x1841 -x1840 x1839 -x1838 x1837 x1836 -x1835 x1834 -x1833
1800.06/1801.82 v -x1832 -x1831 x1830 x1829 -x1828 x1827 x1826 -x1825 x1824 x1823 x1822 -x1821 -x1820 x1819 x1818 x1817 x1816 -x1815 x1814 x1813
1800.06/1801.82 v x1812 x1811 x1810 -x1809 x1808 x1807 -x1806 -x1805 -x1804 -x1803 x1802 x1801 x1800 x1799 x1798 x1797 x1796 x1795 x1794 -x1793
1800.06/1801.82 v -x1792 x1791 x1790 x1789 x1788 x1787 x1786 x1785 x1784 -x1783 x1782 x1781 x1780 -x1779 -x1778 x1777 -x1776 x1775 x1774 -x1773
1800.06/1801.82 v x1772 -x1771 x1770 -x1769 x1768 -x1767 x1766 -x1765 x1764 -x1763 x1762 -x1761 -x1760 -x1759 -x1758 -x1757 x1756 -x1755 -x1754
1800.06/1801.82 v x1753 -x1752 -x1751 x1750 x1749 -x1748 x1747 x1746 x1745 x1744 x1743 x1742 -x1741 x1740 x1739 x1738 x1737 -x1736 x1735 x1734
1800.06/1801.82 v x1733 -x1732 x1731 x1730 x1729 -x1728 x1727 x1726 x1725 x1724 -x1723 x1722 x1721 x1720 x1719 -x1718 x1717 x1716 x1715 x1714
1800.06/1801.82 v -x1713 x1712 x1711 -x1710 x1709 x1708 x1707 x1706 x1705 x1704 x1703 x1702 -x1701 x1700 -x1699 -x1698 x1697 x1696 x1695 -x1694
1800.06/1801.82 v -x1693 -x1692 x1691 x1690 -x1689 -x1688 x1687 x1686 x1685 x1684 x1683 -x1682 x1681 x1680 x1679 x1678 x1677 x1676 x1675 x1674
1800.06/1801.82 v x1673 x1672 x1671 -x1670 -x1669 x1668 -x1667 x1666 -x1665 -x1664 x1663 x1662 x1661 -x1660 x1659 x1658 x1657 -x1656 x1655
1800.06/1801.82 v -x1654 x1653 -x1652 x1651 x1650 x1649 -x1648 x1647 -x1646 x1645 x1644 x1643 x1642 x1641 x1640 x1639 -x1638 -x1637 x1636 x1635
1800.06/1801.82 v x1634 -x1633 -x1632 x1631 x1630 x1629 -x1628 x1627 x1626 x1625 x1624 x1623 x1622 -x1621 -x1620 x1619 -x1618 -x1617 x1616 -x1615
1800.06/1801.82 v x1614 -x1613 x1612 -x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 x1603 x1602 -x1601 x1600 -x1599 -x1598 x1597 x1596 -x1595
1800.06/1801.82 v -x1594 x1593 x1592 x1591 x1590 -x1589 -x1588 x1587 -x1586 -x1585 x1584 x1583 -x1582 x1581 -x1580 x1579 x1578 x1577 x1576
1800.06/1801.82 v x1575 -x1574 x1573 x1572 x1571 -x1570 x1569 -x1568 x1567 x1566 x1565 x1564 -x1563 -x1562 x1561 -x1560 x1559 -x1558 x1557 -x1556
1800.06/1801.82 v -x1555 -x1554 -x1553 x1552 -x1551 x1550 x1549 -x1548 x1547 x1546 x1545 -x1544 -x1543 -x1542 x1541 x1540 x1539 -x1538 -x1537
1800.06/1801.82 v -x1536 -x1535 x1534 -x1533 -x1532 -x1531 -x1530 x1529 -x1528 -x1527 x1526 x1525 x1524 -x1523 -x1522 -x1521 x1520 -x1519 -x1518
1800.06/1801.82 v -x1517 -x1516 x1515 -x1514 x1513 x1512 -x1511 x1510 x1509 -x1508 x1507 -x1506 x1505 -x1504 x1503 -x1502 x1501 x1500 -x1499
1800.06/1801.82 v -x1498 x1497 -x1496 x1495 x1494 x1493 -x1492 -x1491 -x1490 -x1489 x1488 x1487 -x1486 -x1485 x1484 -x1483 x1482 -x1481 x1480
1800.06/1801.82 v -x1479 x1478 x1477 x1476 -x1475 x1474 x1473 x1472 x1471 -x1470 x1469 -x1468 x1467 x1466 -x1465 x1464 x1463 x1462 -x1461 x1460
1800.06/1801.82 v x1459 -x1458 x1457 -x1456 x1455 x1454 x1453 -x1452 x1451 -x1450 -x1449 -x1448 x1447 x1446 x1445 -x1444 -x1443 -x1442 -x1441
1800.06/1801.82 v -x1440 x1439 -x1438 x1437 x1436 x1435 -x1434 -x1433 x1432 x1431 x1430 -x1429 x1428 x1427 x1426 x1425 x1424 -x1423 -x1422 -x1421
1800.06/1801.82 v x1420 -x1419 x1418 x1417 x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 x1409 x1408 x1407 -x1406 -x1405 -x1404 x1403 -x1402
1800.06/1801.82 v x1401 x1400 x1399 x1398 x1397 -x1396 x1395 x1394 -x1393 x1392 x1391 -x1390 x1389 x1388 x1387 -x1386 x1385 x1384 x1383 x1382
1800.06/1801.82 v x1381 x1380 x1379 x1378 x1377 x1376 x1375 -x1374 -x1373 x1372 -x1371 x1370 x1369 -x1368 x1367 x1366 x1365 x1364 -x1363 -x1362
1800.06/1801.82 v -x1361 -x1360 -x1359 -x1358 x1357 -x1356 x1355 -x1354 x1353 -x1352 x1351 -x1350 x1349 -x1348 x1347 -x1346 x1345 x1344 x1343
1800.06/1801.82 v x1342 x1341 x1340 x1339 x1338 x1337 x1336 x1335 -x1334 -x1333 -x1332 -x1331 x1330 x1329 x1328 -x1327 x1326 x1325 x1324 -x1323
1800.06/1801.82 v -x1322 x1321 x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 -x1313 x1312 x1311 x1310 -x1309 -x1308 -x1307 x1306 x1305 -x1304
1800.06/1801.82 v -x1303 -x1302 x1301 -x1300 -x1299 x1298 -x1297 x1296 -x1295 -x1294 x1293 x1292 -x1291 -x1290 -x1289 x1288 x1287 -x1286
1800.06/1801.82 v x1285 x1284 x1283 -x1282 x1281 -x1280 -x1279 x1278 x1277 x1276 -x1275 -x1274 -x1273 x1272 x1271 x1270 x1269 x1268 -x1267 -x1266
1800.06/1801.82 v -x1265 x1264 -x1263 x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 x1255 x1254 x1253 -x1252 x1251 x1250 x1249 x1248 x1247
1800.06/1801.82 v x1246 -x1245 x1244 -x1243 x1242 x1241 x1240 -x1239 x1238 x1237 x1236 x1235 -x1234 x1233 -x1232 x1231 x1230 x1229 x1228 -x1227
1800.06/1801.82 v x1226 x1225 x1224 x1223 x1222 -x1221 x1220 x1219 x1218 -x1217 x1216 -x1215 x1214 x1213 x1212 -x1211 x1210 -x1209 x1208 -x1207
1800.06/1801.82 v x1206 -x1205 -x1204 x1203 x1202 x1201 x1200 x1199 x1198 x1197 x1196 -x1195 x1194 -x1193 -x1192 x1191 x1190 x1189 x1188 -x1187
1800.06/1801.82 v x1186 -x1185 x1184 x1183 x1182 x1181 -x1180 x1179 x1178 -x1177 x1176 -x1175 x1174 -x1173 x1172 x1171 x1170 x1169 x1168 x1167
1800.06/1801.82 v x1166 x1165 x1164 -x1163 -x1162 -x1161 x1160 x1159 -x1158 x1157 x1156 -x1155 -x1154 x1153 x1152 x1151 -x1150 x1149 x1148 -x1147
1800.06/1801.82 v x1146 x1145 -x1144 x1143 x1142 -x1141 x1140 x1139 x1138 -x1137 x1136 x1135 x1134 -x1133 -x1132 x1131 x1130 -x1129 x1128
1800.06/1801.82 v -x1127 x1126 x1125 x1124 -x1123 x1122 x1121 x1120 -x1119 x1118 x1117 -x1116 -x1115 -x1114 x1113 x1112 -x1111 x1110 x1109 -x1108
1800.06/1801.82 v x1107 -x1106 x1105 x1104 x1103 x1102 x1101 -x1100 -x1099 -x1098 x1097 x1096 x1095 -x1094 x1093 -x1092 x1091 x1090 x1089 -x1088
1800.06/1801.82 v -x1087 -x1086 x1085 x1084 x1083 x1082 x1081 x1080 -x1079 x1078 -x1077 -x1076 x1075 x1074 -x1073 x1072 x1071 x1070 x1069
1800.06/1801.82 v x1068 -x1067 x1066 x1065 -x1064 -x1063 x1062 -x1061 x1060 x1059 -x1058 x1057 x1056 x1055 -x1054 x1053 -x1052 -x1051 x1050 x1049
1800.06/1801.82 v -x1048 x1047 x1046 x1045 x1044 x1043 x1042 -x1041 -x1040 x1039 -x1038 x1037 x1036 -x1035 x1034 x1033 -x1032 -x1031 x1030
1800.06/1801.82 v -x1029 x1028 x1027 x1026 x1025 x1024 x1023 x1022 x1021 x1020 x1019 -x1018 -x1017 x1016 x1015 x1014 -x1013 -x1012 x1011 -x1010
1800.06/1801.82 v x1009 -x1008 x1007 -x1006 x1005 x1004 -x1003 -x1002 x1001 x1000 -x999 -x998 x997 -x996 -x995 -x994 x993 -x992 x991 x990 -x989
1800.06/1801.82 v -x988 -x987 -x986 x985 x984 x983 x982 -x981 -x980 x979 -x978 x977 x976 x975 x974 x973 x972 x971 -x970 -x969 -x968 x967 -x966
1800.06/1801.82 v x965 x964 x963 -x962 x961 -x960 x959 x958 x957 x956 x955 x954 x953 x952 x951 x950 x949 x948 x947 x946 -x945 x944 x943 -x942
1800.06/1801.82 v x941 x940 x939 x938 -x937 x936 x935 x934 x933 -x932 x931 x930 x929 x928 -x927 x926 x925 x924 x923 x922 -x921 x920 x919 x918
1800.06/1801.82 v -x917 x916 x915 x914 -x913 -x912 x911 x910 x909 -x908 x907 -x906 -x905 x904 -x903 x902 -x901 x900 x899 x898 x897 -x896 x895 -x894
1800.06/1801.82 v x893 x892 x891 -x890 x889 -x888 x887 -x886 x885 x884 x883 x882 x881 -x880 x879 x878 x877 -x876 x875 -x874 x873 x872 x871
1800.06/1801.82 v x870 x869 x868 -x867 x866 -x865 -x864 x863 x862 x861 -x860 x859 -x858 x857 -x856 -x855 x854 -x853 x852 -x851 x850 x849 x848
1800.06/1801.82 v x847 -x846 x845 x844 -x843 x842 x841 -x840 -x839 -x838 -x837 -x836 x835 x834 x833 x832 x831 x830 x829 -x828 x827 -x826 x825 x824
1800.06/1801.82 v -x823 -x822 x821 x820 -x819 -x818 x817 x816 x815 x814 -x813 x812 x811 x810 x809 x808 x807 -x806 -x805 x804 x803 x802 -x801
1800.06/1801.82 v -x800 x799 -x798 -x797 x796 x795 x794 -x793 -x792 x791 x790 -x789 x788 x787 x786 x785 -x784 -x783 x782 x781 x780 -x779 x778
1800.06/1801.82 v -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 x769 x768 x767 x766 -x765 -x764 x763 x762 x761 x760 x759 x758 -x757 x756 -x755
1800.06/1801.82 v x754 -x753 x752 x751 x750 x749 -x748 -x747 x746 x745 x744 x743 -x742 x741 -x740 -x739 x738 -x737 x736 x735 x734 x733 x732 x731
1800.06/1801.82 v x730 -x729 x728 x727 x726 -x725 x724 x723 -x722 -x721 x720 x719 x718 -x717 -x716 x715 x714 -x713 -x712 -x711 x710 -x709 -x708
1800.06/1801.82 v x707 x706 x705 -x704 x703 x702 x701 x700 x699 x698 x697 -x696 -x695 x694 x693 x692 x691 x690 -x689 -x688 x687 x686 x685
1800.06/1801.82 v x684 -x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 -x670 -x669 -x668 x667 x666 x665 x664 x663 -x662 x661
1800.06/1801.82 v x660 -x659 x658 x657 x656 -x655 -x654 x653 x652 -x651 x650 -x649 -x648 x647 x646 x645 x644 x643 x642 -x641 x640 x639 x638 x637
1800.06/1801.82 v x636 x635 x634 -x633 x632 x631 -x630 x629 -x628 x627 -x626 -x625 x624 x623 x622 x621 -x620 x619 x618 -x617 x616 -x615 -x614
1800.06/1801.82 v x613 x612 x611 x610 -x609 x608 x607 x606 -x605 x604 x603 x602 x601 x600 -x599 x598 x597 x596 -x595 -x594 x593 -x592 x591 -x590
1800.06/1801.82 v x589 -x588 -x587 x586 -x585 -x584 x583 x582 -x581 -x580 x579 x578 x577 x576 x575 -x574 x573 x572 -x571 x570 x569 x568 x567
1800.06/1801.82 v -x566 x565 x564 x563 -x562 x561 -x560 x559 -x558 -x557 x556 -x555 -x554 -x553 x552 x551 x550 x549 x548 x547 x546 -x545 x544
1800.06/1801.82 v x543 x542 -x541 x540 x539 -x538 x537 -x536 x535 x534 x533 -x532 -x531 x530 x529 x528 x527 x526 -x525 -x524 x523 x522 x521 x520
1800.06/1801.82 v x519 x518 x517 -x516 x515 x514 -x513 x512 x511 x510 x509 x508 -x507 -x506 x505 x504 x503 x502 x501 x500 x499 x498 x497 x496
1800.06/1801.82 v x495 -x494 x493 -x492 -x491 -x490 -x489 x488 x487 -x486 -x485 -x484 x483 x482 x481 -x480 x479 -x478 -x477 -x476 x475 x474 -x473
1800.06/1801.82 v -x472 -x471 x470 -x469 x468 -x467 x466 x465 x464 x463 -x462 x461 x460 x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 x451
1800.06/1801.82 v x450 -x449 x448 x447 x446 x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427
1800.06/1801.82 v x426 x425 x424 x423 x422 x421 x420 x419 x418 -x417 x416 x415 x414 -x413 x412 x411 x410 x409 x408 -x407 -x406 -x405 x404 x403
1800.06/1801.82 v -x402 x401 x400 x399 -x398 -x397 x396 x395 x394 -x393 -x392 -x391 -x390 -x389 x388 x387 -x386 x385 -x384 x383 x382 x381 -x380
1800.06/1801.82 v -x379 x378 x377 x376 x375 -x374 x373 -x372 -x371 x370 -x369 -x368 x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 x359 -x358 x357
1800.06/1801.82 v x356 x355 -x354 x353 x352 -x351 x350 -x349 x348 x347 x346 -x345 x344 x343 x342 x341 x340 x339 -x338 x337 -x336 x335 x334
1800.06/1801.82 v x333 -x332 x331 x330 x329 -x328 x327 -x326 x325 -x324 -x323 x322 -x321 -x320 x319 x318 x317 x316 -x315 x314 x313 x312 x311 x310
1800.06/1801.82 v x309 x308 x307 -x306 x305 x304 x303 -x302 x301 x300 x299 x298 x297 x296 x295 -x294 x293 x292 -x291 x290 x289 x288 x287 x286
1800.06/1801.82 v x285 -x284 x283 x282 -x281 x280 x279 -x278 x277 x276 x275 x274 x273 x272 x271 -x270 x269 -x268 -x267 x266 x265 x264 x263 -x262
1800.06/1801.82 v x261 x260 -x259 x258 -x257 x256 -x255 -x254 x253 -x252 x251 x250 -x249 x248 -x247 x246 x245 x244 -x243 x242 x241 -x240 x239
1800.06/1801.82 v x238 x237 -x236 -x235 -x234 x233 x232 x231 x230 -x229 x228 -x227 -x226 x225 x224 x223 -x222 x221 -x220 -x219 x218 x217 x216
1800.06/1801.82 v x215 x214 x213 x212 x211 -x210 x209 -x208 -x207 x206 x205 x204 x203 x202 -x201 x200 -x199 x198 x197 x196 -x195 x194 x193 x192
1800.06/1801.82 v -x191 x190 -x189 -x188 -x187 -x186 x185 x184 x183 -x182 -x181 x180 x179 x178 x177 x176 x175 -x174 x173 x172 -x171 x170 -x169
1800.06/1801.82 v -x168 x167 -x166 x165 x164 x163 x162 -x161 x160 x159 x158 -x157 -x156 x155 -x154 -x153 x152 -x151 -x150 x149 x148 x147 -x146
1800.06/1801.82 v -x145 x144 x143 -x142 -x141 x140 -x139 x138 -x137 -x136 x135 -x134 x133 x132 -x131 x130 x129 x128 x127 -x126 x125 x124 x123
1800.06/1801.82 v x122 x121 x120 -x119 x118 -x117 x116 x115 -x114 x113 x112 x111 -x110 -x109 x108 -x107 x106 x105 -x104 x103 -x102 -x101 -x100
1800.06/1801.82 v -x99 -x98 x97 x96 -x95 -x94 x93 x92 x91 x90 -x89 x88 x87 x86 x85 -x84 x83 -x82 x81 x80 x79 x78 x77 x76 -x75 x74 x73 -x72 -x71
1800.06/1801.82 v -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 x61 -x60 x59 -x58 x57 x56 x55 x54 -x53 -x52 x51 x50 x49 x48 x47 -x46 x45 -x44 x43
1800.06/1801.82 v x42 -x41 x40 x39 x38 -x37 -x36 -x35 x34 x33 -x32 -x31 -x30 -x29 x28 x27 x26 -x25 x24 -x23 x22 x21 -x20 -x19 x18 x17 x16 x15
1800.06/1801.82 v x14 -x13 -x12 x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2 x1
1800.06/1801.82 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1801.82 c Solving Time : 1721.98
1800.06/1801.82 c Original Problem :
1800.06/1801.82 c Problem name : HOME/instance-2664057-1276395813.opb
1800.06/1801.82 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1801.82 c Constraints : 4000 initial, 4000 maximal
1800.06/1801.82 c Presolved Problem :
1800.06/1801.82 c Problem name : t_HOME/instance-2664057-1276395813.opb
1800.06/1801.82 c Variables : 1527 (1527 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1801.82 c Constraints : 2961 initial, 2961 maximal
1800.06/1801.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1801.82 c trivial : 0.02 0 0 0 0 0 0 0 0
1800.06/1801.82 c dualfix : 0.01 214 0 0 0 0 0 0 0
1800.06/1801.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1801.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1801.82 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1801.82 c probing : 0.02 0 0 0 0 0 0 0 0
1800.06/1801.82 c linear : 0.04 0 227 0 0 0 1039 0 0
1800.06/1801.82 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.06/1801.82 c root node : - 0 - - 0 - - - -
1800.06/1801.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1801.82 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1801.82 c logicor : 2961+ 0 6105539 0 3 441 5220610 0 0 0
1800.06/1801.82 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.06/1801.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1801.82 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1801.82 c logicor : 22.06 0.00 22.06 0.00 0.00
1800.06/1801.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1801.82 c Propagators : Time Calls Cutoffs DomReds
1800.06/1801.82 c vbounds : 5.95 2 0 0
1800.06/1801.82 c rootredcost : 5.63 0 0 0
1800.06/1801.82 c pseudoobj : 1395.31 13027476 2219896 52050007
1800.06/1801.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1801.82 c propagation : 0.67 441 441 441 316.7 0 0.0 -
1800.06/1801.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1801.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1801.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1801.82 c pseudo solution : 0.01 8 0 0 0.0 0 0.0 -
1800.06/1801.82 c applied globally : - - - 0 0.0 - - -
1800.06/1801.82 c applied locally : - - - 441 316.7 - - -
1800.06/1801.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1801.82 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1801.82 c redcost : 0.00 0 0 0 0 0
1800.06/1801.82 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1801.82 c intobj : 0.00 0 0 0 0 0
1800.06/1801.82 c cgmip : 0.00 0 0 0 0 0
1800.06/1801.82 c gomory : 0.00 0 0 0 0 0
1800.06/1801.82 c strongcg : 0.00 0 0 0 0 0
1800.06/1801.82 c cmir : 0.00 0 0 0 0 0
1800.06/1801.82 c flowcover : 0.00 0 0 0 0 0
1800.06/1801.82 c clique : 0.00 0 0 0 0 0
1800.06/1801.82 c zerohalf : 0.00 0 0 0 0 0
1800.06/1801.82 c mcf : 0.00 0 0 0 0 0
1800.06/1801.82 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1801.82 c Pricers : Time Calls Vars
1800.06/1801.82 c problem variables: 0.00 0 0
1800.06/1801.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1801.82 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1801.82 c pscost : 0.00 0 0 0 0 0 0
1800.06/1801.82 c inference : 80.12 2220773 0 0 0 0 4441546
1800.06/1801.82 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1801.82 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1801.82 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1801.82 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1801.82 c random : 0.00 0 0 0 0 0 0
1800.06/1801.82 c Primal Heuristics : Time Calls Found
1800.06/1801.82 c LP solutions : 0.00 - 0
1800.06/1801.82 c pseudo solutions : 0.00 - 3
1800.06/1801.82 c oneopt : 4.17 0 0
1800.06/1801.82 c trivial : 0.00 2 3
1800.06/1801.82 c simplerounding : 0.00 0 0
1800.06/1801.82 c zirounding : 0.00 0 0
1800.06/1801.82 c rounding : 0.00 0 0
1800.06/1801.82 c shifting : 0.00 0 0
1800.06/1801.82 c intshifting : 0.00 0 0
1800.06/1801.82 c twoopt : 0.00 0 0
1800.06/1801.82 c fixandinfer : 0.00 0 0
1800.06/1801.82 c feaspump : 0.00 0 0
1800.06/1801.82 c coefdiving : 0.00 0 0
1800.06/1801.82 c pscostdiving : 0.00 0 0
1800.06/1801.82 c fracdiving : 0.00 0 0
1800.06/1801.82 c veclendiving : 0.00 0 0
1800.06/1801.82 c intdiving : 0.00 0 0
1800.06/1801.82 c actconsdiving : 0.00 0 0
1800.06/1801.82 c objpscostdiving : 0.00 0 0
1800.06/1801.82 c rootsoldiving : 0.00 0 0
1800.06/1801.82 c linesearchdiving : 0.00 0 0
1800.06/1801.82 c guideddiving : 0.00 0 0
1800.06/1801.82 c octane : 0.00 0 0
1800.06/1801.82 c rens : 0.00 0 0
1800.06/1801.82 c rins : 0.00 0 0
1800.06/1801.82 c localbranching : 0.00 0 0
1800.06/1801.82 c mutation : 0.00 0 0
1800.06/1801.82 c crossover : 0.00 0 0
1800.06/1801.82 c dins : 0.00 0 0
1800.06/1801.82 c undercover : 0.00 0 0
1800.06/1801.82 c nlp : 2.21 0 0
1800.06/1801.82 c trysol : 2.10 0 0
1800.06/1801.82 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1801.82 c primal LP : 0.00 0 0 0.00 -
1800.06/1801.82 c dual LP : 0.00 0 0 0.00 -
1800.06/1801.82 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1801.82 c barrier LP : 0.00 0 0 0.00 -
1800.06/1801.82 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1801.82 c strong branching : 0.00 0 0 0.00 -
1800.06/1801.82 c (at root node) : - 0 0 0.00 -
1800.06/1801.82 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1801.82 c B&B Tree :
1800.06/1801.82 c number of runs : 1
1800.06/1801.82 c nodes : 4440935
1800.06/1801.82 c nodes (total) : 4440935
1800.06/1801.82 c nodes left : 384
1800.06/1801.82 c max depth : 508
1800.06/1801.82 c max depth (total): 508
1800.06/1801.82 c backtracks : 993990 (22.4%)
1800.06/1801.82 c delayed cutoffs : 186
1800.06/1801.82 c repropagations : 205 (6575 domain reductions, 186 cutoffs)
1800.06/1801.82 c avg switch length: 2.00
1800.06/1801.82 c switching time : 73.22
1800.06/1801.82 c Solution :
1800.06/1801.82 c Solutions found : 6 (5 improvements)
1800.06/1801.82 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.06/1801.82 c Primal Bound : +1.23400000000000e+03 (in run 1, after 799 nodes, 0.38 seconds, depth 442, found by <relaxation>)
1800.06/1801.82 c Dual Bound : +2.18000000000000e+02
1800.06/1801.82 c Gap : 466.06 %
1800.06/1801.82 c Root Dual Bound : +2.17000000000000e+02
1800.06/1801.82 c Root Iterations : 0
1800.06/1801.84 c Time complete: 1800.09.