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-2664064-1276472685.opb>
0.09/0.16 c original problem has 2136 variables (2136 bin, 0 int, 0 impl, 0 cont) and 9282 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.09/0.16 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.19/0.21 c presolving:
0.19/0.28 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 59376 impls, 0 clqs
0.29/0.37 c (round 2) 12 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 8238 upgd conss, 59376 impls, 0 clqs
0.39/0.42 c (round 3) 12 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9210 upgd conss, 59376 impls, 0 clqs
0.49/0.58 c (0.3s) probing: 101/2124 (4.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.58 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.58 c presolving (4 rounds):
0.49/0.58 c 12 deleted vars, 72 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 59376 implications, 0 cliques
0.49/0.58 c presolved problem has 2124 variables (2124 bin, 0 int, 0 impl, 0 cont) and 9210 constraints
0.49/0.58 c 9210 constraints of type <logicor>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.33
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 1.2.1.2
0.49/0.58 c
0.49/0.58 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c conflict/interconss = 0
0.49/0.58 c
0.49/0.58 c # should binary conflicts be preferred?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c conflict/preferbinary = TRUE
0.49/0.58 c
0.49/0.58 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.58 c constraints/agelimit = 1
0.49/0.58 c
0.49/0.58 c # should enforcement of pseudo solution be disabled?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/disableenfops = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for displaying node information lines
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58 c display/freq = 10000
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1799.84
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 1620
0.49/0.58 c
0.49/0.58 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.58 c lp/solvefreq = -1
0.49/0.58 c
0.49/0.58 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.49/0.58 c # [type: char, range: {lafpsqd}, default: l]
0.49/0.58 c lp/pricing = a
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify inequalities
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/linear/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify knapsacks
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # priority of node selection rule <dfs> in standard mode
0.49/0.58 c # [type: int, range: [-536870912,536870911], default: 0]
0.49/0.58 c nodeselection/dfs/stdpriority = 1000000
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.58 c
0.49/0.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.59 c 0.4s| 1 | 2 | 0 | - | 13M| 0 | - |2124 |9210 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.06 o 975
1.00/1.06 c * 0.8s| 392 | 142 | 0 | 0.0 | 13M| 224 | - |2124 |9222 | 0 | 0 | 0 | 80 | 0 | 1.000000e+00 | 9.750000e+02 | Large
1.00/1.07 o 968
1.00/1.07 c * 0.8s| 478 | 141 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 80 | 0 | 1.000000e+00 | 9.680000e+02 | Large
1.00/1.08 o 967
1.00/1.08 c * 0.8s| 484 | 140 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 80 | 0 | 1.000000e+00 | 9.670000e+02 | Large
8.59/8.64 c 8.2s| 10000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 360 | 0 | 1.000000e+00 | 9.670000e+02 | Large
17.09/17.18 c 16.5s| 20000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 673 | 0 | 1.000000e+00 | 9.670000e+02 | Large
25.18/25.22 c 24.3s| 30000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 914 | 0 | 1.000000e+00 | 9.670000e+02 | Large
33.07/33.12 c 32.0s| 40000 | 137 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |1063 | 0 | 1.000000e+00 | 9.670000e+02 | Large
40.87/40.90 c 39.5s| 50000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |1210 | 0 | 1.000000e+00 | 9.670000e+02 | Large
49.07/49.11 c 47.5s| 60000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |1461 | 0 | 1.000000e+00 | 9.670000e+02 | Large
57.17/57.23 c 55.4s| 70000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |1630 | 0 | 1.000000e+00 | 9.670000e+02 | Large
64.97/65.04 c 62.9s| 80000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |1758 | 0 | 1.000000e+00 | 9.670000e+02 | Large
72.36/72.41 c 70.1s| 90000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |1897 | 0 | 1.000000e+00 | 9.670000e+02 | Large
80.27/80.35 c 77.8s|100000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |2071 | 0 | 1.000000e+00 | 9.670000e+02 | Large
88.06/88.10 c 85.3s|110000 | 136 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |2235 | 0 | 1.000000e+00 | 9.670000e+02 | Large
96.35/96.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.35/96.43 c 93.4s|120000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |2523 | 0 | 1.000000e+00 | 9.670000e+02 | Large
104.35/104.47 c 101s|130000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |2796 | 0 | 1.000000e+00 | 9.670000e+02 | Large
112.74/112.89 c 109s|140000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |3088 | 0 | 1.000000e+00 | 9.670000e+02 | Large
120.45/120.54 c 117s|150000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |3299 | 0 | 1.000000e+00 | 9.670000e+02 | Large
129.54/129.65 c 126s|160000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |3761 | 0 | 1.000000e+00 | 9.670000e+02 | Large
138.55/138.67 c 134s|170000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |4165 | 0 | 1.000000e+00 | 9.670000e+02 | Large
146.63/146.79 c 142s|180000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |4555 | 0 | 1.000000e+00 | 9.670000e+02 | Large
154.23/154.37 c 150s|190000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |4700 | 0 | 1.000000e+00 | 9.670000e+02 | Large
161.22/161.40 c 156s|200000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |4821 | 0 | 1.000000e+00 | 9.670000e+02 | Large
169.23/169.32 c 164s|210000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |5042 | 0 | 1.000000e+00 | 9.670000e+02 | Large
176.52/176.66 c 171s|220000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |5147 | 0 | 1.000000e+00 | 9.670000e+02 | Large
184.32/184.45 c 179s|230000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |5312 | 0 | 1.000000e+00 | 9.670000e+02 | Large
191.41/191.56 c 186s|240000 | 136 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |5474 | 0 | 1.000000e+00 | 9.670000e+02 | Large
199.01/199.16 c 193s|250000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |5664 | 0 | 1.000000e+00 | 9.670000e+02 | Large
206.50/206.66 c 200s|260000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |5864 | 0 | 1.000000e+00 | 9.670000e+02 | Large
214.20/214.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.20/214.37 c 208s|270000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |6141 | 0 | 1.000000e+00 | 9.670000e+02 | Large
221.90/222.09 c 215s|280000 | 127 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |6393 | 0 | 1.000000e+00 | 9.670000e+02 | Large
230.60/230.78 c 224s|290000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |6711 | 0 | 1.000000e+00 | 9.670000e+02 | Large
239.70/239.89 c 233s|300000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |7108 | 0 | 1.000000e+00 | 9.670000e+02 | Large
249.19/249.36 c 242s|310000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |7598 | 0 | 1.000000e+00 | 9.670000e+02 | Large
259.98/260.10 c 252s|320000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |8483 | 0 | 1.000000e+00 | 9.670000e+02 | Large
268.88/269.06 c 261s|330000 | 136 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |8833 | 0 | 1.000000e+00 | 9.670000e+02 | Large
277.48/277.61 c 270s|340000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |8952 | 0 | 1.000000e+00 | 9.670000e+02 | Large
285.98/286.18 c 278s|350000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9224 | 0 | 0 | 0 |9129 | 0 | 1.000000e+00 | 9.670000e+02 | Large
293.87/294.02 c 285s|360000 | 136 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |9362 | 0 | 1.000000e+00 | 9.670000e+02 | Large
301.97/302.18 c 293s|370000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 |9577 | 0 | 1.000000e+00 | 9.670000e+02 | Large
309.97/310.18 c 301s|380000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |9821 | 0 | 1.000000e+00 | 9.670000e+02 | Large
317.46/317.65 c 308s|390000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 |9953 | 0 | 1.000000e+00 | 9.670000e+02 | Large
326.17/326.31 c 317s|400000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 9.670000e+02 | Large
334.46/334.64 c 325s|410000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 9.670000e+02 | Large
342.35/342.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.35/342.53 c 333s|420000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 9.670000e+02 | Large
349.85/350.07 c 340s|430000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 9.670000e+02 | Large
358.75/358.92 c 348s|440000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 9.670000e+02 | Large
366.35/366.53 c 356s|450000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 9.670000e+02 | Large
374.04/374.25 c 363s|460000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 9.670000e+02 | Large
382.23/382.49 c 371s|470000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 9.670000e+02 | Large
390.63/390.85 c 380s|480000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 9.670000e+02 | Large
398.53/398.78 c 387s|490000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 9.670000e+02 | Large
406.22/406.47 c 395s|500000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 9.670000e+02 | Large
414.32/414.54 c 403s|510000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 9.670000e+02 | Large
421.82/422.07 c 410s|520000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 9.670000e+02 | Large
430.12/430.32 c 418s|530000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 9.670000e+02 | Large
438.51/438.75 c 426s|540000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 9.670000e+02 | Large
446.51/446.71 c 434s|550000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 9.670000e+02 | Large
455.80/456.01 c 443s|560000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 9.670000e+02 | Large
463.70/463.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.70/463.92 c 450s|570000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 9.670000e+02 | Large
471.61/471.83 c 458s|580000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 9.670000e+02 | Large
479.69/479.91 c 466s|590000 | 129 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 9.670000e+02 | Large
487.99/488.28 c 474s|600000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 9.670000e+02 | Large
496.79/497.01 c 483s|610000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 9.670000e+02 | Large
506.08/506.36 c 492s|620000 | 129 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 9.670000e+02 | Large
514.88/515.15 c 500s|630000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 9.670000e+02 | Large
523.39/523.62 c 509s|640000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 9.670000e+02 | Large
530.47/530.76 c 515s|650000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 9.670000e+02 | Large
537.68/537.97 c 522s|660000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 9.670000e+02 | Large
545.06/545.36 c 530s|670000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 9.670000e+02 | Large
552.87/553.13 c 537s|680000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 9.670000e+02 | Large
561.06/561.36 c 545s|690000 | 128 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 9.670000e+02 | Large
569.86/570.15 c 554s|700000 | 136 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 9.670000e+02 | Large
577.95/578.25 c 562s|710000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 9.670000e+02 | Large
586.35/586.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.35/586.63 c 570s|720000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 9.670000e+02 | Large
594.45/594.72 c 578s|730000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9225 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 9.670000e+02 | Large
601.74/602.03 c 585s|740000 | 136 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 9.670000e+02 | Large
607.95/608.27 c 591s|750000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 9.670000e+02 | Large
615.54/615.87 c 598s|760000 | 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 9.670000e+02 | Large
623.53/623.87 c 606s|770000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 9.670000e+02 | Large
632.43/632.72 c 615s|780000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 9.670000e+02 | Large
641.63/641.95 c 624s|790000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 9.670000e+02 | Large
651.42/651.72 c 633s|800000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 9.670000e+02 | Large
660.92/661.20 c 642s|810000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 9.670000e+02 | Large
668.91/669.24 c 650s|820000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 9.670000e+02 | Large
676.41/676.79 c 657s|830000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 9.670000e+02 | Large
684.41/684.72 c 665s|840000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 9.670000e+02 | Large
691.71/692.04 c 672s|850000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 9.670000e+02 | Large
700.20/700.50 c 680s|860000 | 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 9.670000e+02 | Large
707.40/707.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.40/707.78 c 688s|870000 | 137 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 9.670000e+02 | Large
715.50/715.88 c 695s|880000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 9.670000e+02 | Large
723.29/723.61 c 703s|890000 | 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 9.670000e+02 | Large
731.19/731.52 c 711s|900000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 9.670000e+02 | Large
738.79/739.11 c 718s|910000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 9.670000e+02 | Large
747.09/747.49 c 726s|920000 | 133 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 9.670000e+02 | Large
755.29/755.62 c 734s|930000 | 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 9.670000e+02 | Large
762.98/763.32 c 741s|940000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 9.670000e+02 | Large
771.28/771.60 c 749s|950000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 9.670000e+02 | Large
779.37/779.78 c 757s|960000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 9.670000e+02 | Large
787.87/788.24 c 766s|970000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 9.670000e+02 | Large
796.17/796.52 c 774s|980000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 9.670000e+02 | Large
804.06/804.46 c 781s|990000 | 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 9.670000e+02 | Large
812.47/812.80 c 789s| 1000k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 9.670000e+02 | Large
821.26/821.68 c 798s| 1010k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 9.670000e+02 | Large
829.65/830.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.65/830.03 c 806s| 1020k| 127 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 9.670000e+02 | Large
836.95/837.32 c 813s| 1030k| 129 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 9.670000e+02 | Large
844.45/844.88 c 821s| 1040k| 140 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 9.670000e+02 | Large
853.44/853.83 c 829s| 1050k| 136 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 9.670000e+02 | Large
863.34/863.76 c 839s| 1060k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 9.670000e+02 | Large
872.13/872.51 c 847s| 1070k| 135 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 9.670000e+02 | Large
880.13/880.60 c 855s| 1080k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 9.670000e+02 | Large
887.63/888.08 c 862s| 1090k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 9.670000e+02 | Large
896.13/896.54 c 871s| 1100k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 9.670000e+02 | Large
904.02/904.43 c 878s| 1110k| 129 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 9.670000e+02 | Large
911.72/912.19 c 886s| 1120k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 9.670000e+02 | Large
920.41/920.89 c 894s| 1130k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 9.670000e+02 | Large
929.91/930.30 c 904s| 1140k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 9.670000e+02 | Large
937.31/937.72 c 911s| 1150k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 9.670000e+02 | Large
945.71/946.16 c 919s| 1160k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 9.670000e+02 | Large
955.01/955.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.01/955.44 c 928s| 1170k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 9.670000e+02 | Large
964.69/965.12 c 937s| 1180k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 9.670000e+02 | Large
973.40/973.83 c 946s| 1190k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 9.670000e+02 | Large
982.58/983.06 c 955s| 1200k| 126 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 9.670000e+02 | Large
992.08/992.51 c 964s| 1210k| 127 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1000.08/1000.58 c 972s| 1220k| 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1007.98/1008.49 c 980s| 1230k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1016.07/1016.51 c 987s| 1240k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1024.37/1024.85 c 996s| 1250k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1032.37/1032.86 c 1003s| 1260k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1039.76/1040.23 c 1010s| 1270k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1047.87/1048.35 c 1018s| 1280k| 125 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1055.25/1055.75 c 1026s| 1290k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1063.26/1063.78 c 1033s| 1300k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1073.35/1073.81 c 1043s| 1310k| 127 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1081.75/1082.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.75/1082.24 c 1051s| 1320k| 127 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1089.74/1090.28 c 1059s| 1330k| 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1097.53/1098.07 c 1067s| 1340k| 128 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1105.33/1105.84 c 1074s| 1350k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1113.43/1113.91 c 1082s| 1360k| 129 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1121.13/1121.66 c 1090s| 1370k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1129.53/1130.01 c 1098s| 1380k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1137.42/1137.95 c 1105s| 1390k| 139 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1145.82/1146.32 c 1113s| 1400k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1154.12/1154.68 c 1122s| 1410k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1162.51/1163.05 c 1130s| 1420k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1171.90/1172.46 c 1139s| 1430k| 137 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1181.10/1181.66 c 1148s| 1440k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1190.80/1191.38 c 1157s| 1450k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1200.00/1200.51 c 1166s| 1460k| 136 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1209.09/1209.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.09/1209.66 c 1175s| 1470k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1217.68/1218.23 c 1183s| 1480k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1226.48/1227.04 c 1192s| 1490k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1237.38/1237.92 c 1203s| 1500k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1246.37/1246.92 c 1211s| 1510k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1254.48/1255.05 c 1219s| 1520k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1262.97/1263.55 c 1227s| 1530k| 136 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1271.87/1272.43 c 1236s| 1540k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1281.66/1282.26 c 1246s| 1550k| 129 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1290.66/1291.28 c 1254s| 1560k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1299.56/1300.12 c 1263s| 1570k| 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1308.55/1309.16 c 1272s| 1580k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1318.35/1318.99 c 1281s| 1590k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1327.64/1328.28 c 1290s| 1600k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1336.54/1337.19 c 1299s| 1610k| 135 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1345.04/1345.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.04/1345.64 c 1307s| 1620k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1354.13/1354.76 c 1316s| 1630k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1364.54/1365.15 c 1326s| 1640k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1372.83/1373.45 c 1334s| 1650k| 136 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1381.32/1381.92 c 1343s| 1660k| 129 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1390.02/1390.62 c 1351s| 1670k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1399.51/1400.18 c 1360s| 1680k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1408.91/1409.59 c 1369s| 1690k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1418.32/1418.96 c 1379s| 1700k| 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1427.40/1428.08 c 1387s| 1710k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1436.30/1436.96 c 1396s| 1720k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1445.19/1445.82 c 1405s| 1730k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1453.60/1454.28 c 1413s| 1740k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1462.69/1463.39 c 1422s| 1750k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1472.29/1472.94 c 1431s| 1760k| 129 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1480.78/1481.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.78/1481.45 c 1439s| 1770k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1489.38/1490.02 c 1448s| 1780k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1497.68/1498.31 c 1456s| 1790k| 136 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1506.07/1506.71 c 1464s| 1800k| 128 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1513.77/1514.49 c 1471s| 1810k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1523.16/1523.82 c 1480s| 1820k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1531.77/1532.46 c 1489s| 1830k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1540.26/1540.96 c 1497s| 1840k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1548.35/1549.07 c 1505s| 1850k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1557.75/1558.46 c 1514s| 1860k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1567.15/1567.84 c 1523s| 1870k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1575.94/1576.61 c 1532s| 1880k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1585.24/1585.90 c 1541s| 1890k| 129 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1594.14/1594.85 c 1550s| 1900k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1603.05/1603.77 c 1558s| 1910k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1611.53/1612.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.53/1612.27 c 1566s| 1920k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1620.43/1621.10 c 1575s| 1930k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1629.43/1630.15 c 1584s| 1940k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1637.23/1637.99 c 1591s| 1950k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1643.31/1644.02 c 1597s| 1960k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1649.11/1649.84 c 1603s| 1970k| 137 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1655.21/1655.94 c 1609s| 1980k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1660.91/1661.66 c 1614s| 1990k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1666.81/1667.53 c 1620s| 2000k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1672.70/1673.43 c 1626s| 2010k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1678.60/1679.30 c 1631s| 2020k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1684.30/1685.09 c 1637s| 2030k| 135 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1690.19/1690.95 c 1643s| 2040k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1696.09/1696.81 c 1648s| 2050k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1701.89/1702.65 c 1654s| 2060k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1707.59/1708.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.59/1708.35 c 1660s| 2070k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1713.59/1714.31 c 1665s| 2080k| 134 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1719.28/1720.09 c 1671s| 2090k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1726.38/1727.11 c 1678s| 2100k| 128 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1735.38/1736.16 c 1687s| 2110k| 133 | 0 | 0.0 | 13M| 231 | - |2124 |9224 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1746.08/1746.88 c 1697s| 2120k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1754.07/1754.89 c 1705s| 2130k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1762.57/1763.38 c 1713s| 2140k| 131 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1771.46/1772.22 c 1722s| 2150k| 130 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1780.86/1781.60 c 1731s| 2160k| 128 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1790.55/1791.33 c 1740s| 2170k| 132 | 0 | 0.0 | 13M| 231 | - |2124 |9223 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1798.46/1799.26 c 1748s| 2180k| 137 | 0 | 0.0 | 13M| 231 | - |2124 |9222 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 9.670000e+02 | Large
1800.05/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.80 c
1800.05/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.80 c Solving Time (sec) : 1749.57
1800.05/1800.80 c Solving Nodes : 2182013
1800.05/1800.80 c Primal Bound : +9.67000000000000e+02 (3 solutions)
1800.05/1800.80 c Dual Bound : +1.00000000000000e+00
1800.05/1800.80 c Gap : 96600.00 %
1800.05/1800.81 s SATISFIABLE
1800.05/1800.81 v -x2136 -x2135 -x2134 -x2133 x2132 -x2131 x2130 -x2129 -x2128 x2127 x2126 -x2125 -x2124 x2123 -x2122 -x2121 x2120 -x2119 x2118 -x2117
1800.05/1800.81 v x2116 -x2115 x2114 -x2113 -x2112 x2111 x2110 -x2109 -x2108 -x2107 x2106 -x2105 x2104 -x2103 x2102 -x2101 x2100 -x2099 -x2098
1800.05/1800.81 v -x2097 x2096 -x2095 x2094 -x2093 -x2092 x2091 x2090 -x2089 -x2088 -x2087 -x2086 x2085 x2084 -x2083 x2082 -x2081 x2080 -x2079
1800.05/1800.81 v x2078 -x2077 -x2076 x2075 x2074 -x2073 x2072 -x2071 x2070 -x2069 x2068 -x2067 x2066 -x2065 x2064 -x2063 -x2062 x2061 x2060
1800.05/1800.81 v -x2059 x2058 -x2057 x2056 -x2055 x2054 -x2053 -x2052 x2051 x2050 -x2049 x2048 -x2047 x2046 -x2045 x2044 -x2043 x2042 -x2041
1800.05/1800.81 v -x2040 x2039 x2038 -x2037 x2036 -x2035 x2034 -x2033 x2032 -x2031 x2030 -x2029 -x2028 x2027 -x2026 -x2025 x2024 -x2023 x2022
1800.05/1800.81 v -x2021 x2020 -x2019 x2018 -x2017 x2016 -x2015 -x2014 x2013 x2012 -x2011 x2010 -x2009 x2008 -x2007 x2006 -x2005 -x2004 x2003
1800.05/1800.81 v x2002 -x2001 x2000 -x1999 x1998 -x1997 x1996 -x1995 x1994 -x1993 -x1992 x1991 -x1990 -x1989 x1988 -x1987 x1986 -x1985 x1984
1800.05/1800.81 v -x1983 x1982 -x1981 x1980 -x1979 -x1978 x1977 x1976 -x1975 x1974 -x1973 -x1972 -x1971 x1970 -x1969 -x1968 -x1967 -x1966 -x1965
1800.05/1800.81 v x1964 -x1963 x1962 -x1961 -x1960 x1959 x1958 -x1957 x1956 -x1955 -x1954 x1953 x1952 -x1951 x1950 -x1949 x1948 -x1947 x1946
1800.05/1800.81 v -x1945 -x1944 x1943 x1942 -x1941 x1940 -x1939 x1938 -x1937 -x1936 -x1935 x1934 -x1933 -x1932 x1931 -x1930 -x1929 x1928 -x1927
1800.05/1800.81 v x1926 -x1925 x1924 -x1923 x1922 -x1921 -x1920 x1919 x1918 -x1917 x1916 -x1915 x1914 -x1913 x1912 -x1911 x1910 -x1909 x1908 -x1907
1800.05/1800.81 v -x1906 x1905 x1904 -x1903 x1902 -x1901 x1900 -x1899 x1898 -x1897 x1896 -x1895 -x1894 x1893 x1892 -x1891 x1890 -x1889 x1888
1800.05/1800.81 v -x1887 x1886 -x1885 -x1884 x1883 x1882 -x1881 x1880 -x1879 x1878 -x1877 x1876 -x1875 x1874 -x1873 -x1872 x1871 -x1870 -x1869
1800.05/1800.81 v x1868 -x1867 -x1866 -x1865 x1864 -x1863 x1862 -x1861 -x1860 -x1859 -x1858 x1857 x1856 -x1855 x1854 -x1853 x1852 -x1851 x1850
1800.05/1800.81 v -x1849 -x1848 -x1847 -x1846 x1845 x1844 -x1843 x1842 -x1841 x1840 -x1839 x1838 -x1837 -x1836 x1835 -x1834 -x1833 x1832 -x1831
1800.05/1800.81 v x1830 -x1829 -x1828 -x1827 x1826 -x1825 -x1824 x1823 -x1822 -x1821 x1820 -x1819 x1818 -x1817 x1816 -x1815 x1814 -x1813 -x1812
1800.05/1800.81 v x1811 x1810 -x1809 x1808 -x1807 x1806 -x1805 x1804 -x1803 x1802 -x1801 -x1800 x1799 x1798 -x1797 x1796 -x1795 x1794 -x1793
1800.05/1800.81 v x1792 -x1791 x1790 -x1789 x1788 -x1787 -x1786 x1785 x1784 -x1783 x1782 -x1781 x1780 -x1779 x1778 -x1777 x1776 -x1775 -x1774
1800.05/1800.81 v x1773 x1772 -x1771 x1770 -x1769 x1768 -x1767 x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 -x1759 -x1758 -x1757 x1756 -x1755
1800.05/1800.81 v x1754 -x1753 -x1752 -x1751 -x1750 x1749 x1748 -x1747 x1746 -x1745 x1744 -x1743 x1742 -x1741 -x1740 x1739 x1738 -x1737 x1736
1800.05/1800.81 v -x1735 x1734 -x1733 x1732 -x1731 x1730 -x1729 x1728 -x1727 -x1726 x1725 x1724 -x1723 x1722 -x1721 x1720 -x1719 x1718 -x1717
1800.05/1800.81 v x1716 -x1715 -x1714 x1713 x1712 -x1711 x1710 -x1709 x1708 -x1707 x1706 -x1705 x1704 -x1703 -x1702 x1701 x1700 -x1699 x1698 -x1697
1800.05/1800.81 v x1696 -x1695 x1694 -x1693 -x1692 -x1691 -x1690 x1689 x1688 -x1687 -x1686 -x1685 x1684 -x1683 x1682 -x1681 -x1680 x1679
1800.05/1800.81 v x1678 -x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 -x1668 x1667 x1666 -x1665 x1664 -x1663 x1662 -x1661 x1660 -x1659
1800.05/1800.81 v x1658 -x1657 -x1656 x1655 x1654 -x1653 x1652 -x1651 x1650 -x1649 x1648 -x1647 x1646 -x1645 x1644 -x1643 -x1642 x1641 x1640
1800.05/1800.81 v -x1639 x1638 -x1637 x1636 -x1635 x1634 -x1633 -x1632 -x1631 -x1630 x1629 x1628 -x1627 x1626 -x1625 x1624 -x1623 x1622 -x1621
1800.05/1800.81 v -x1620 x1619 x1618 -x1617 x1616 -x1615 x1614 -x1613 x1612 -x1611 x1610 -x1609 -x1608 -x1607 -x1606 x1605 x1604 -x1603 x1602
1800.05/1800.81 v -x1601 x1600 -x1599 x1598 -x1597 -x1596 -x1595 -x1594 x1593 x1592 -x1591 x1590 -x1589 x1588 -x1587 x1586 -x1585 -x1584 -x1583
1800.05/1800.81 v -x1582 x1581 x1580 -x1579 x1578 -x1577 x1576 -x1575 x1574 -x1573 x1572 -x1571 -x1570 x1569 x1568 -x1567 x1566 -x1565 x1564
1800.05/1800.81 v -x1563 x1562 -x1561 -x1560 -x1559 x1558 -x1557 -x1556 x1555 x1554 -x1553 x1552 -x1551 x1550 -x1549 -x1548 x1547 x1546 -x1545
1800.05/1800.81 v x1544 -x1543 x1542 -x1541 x1540 -x1539 x1538 -x1537 x1536 -x1535 -x1534 x1533 x1532 -x1531 x1530 -x1529 x1528 -x1527 x1526 -x1525
1800.05/1800.81 v -x1524 x1523 -x1522 -x1521 x1520 -x1519 x1518 -x1517 x1516 -x1515 x1514 -x1513 -x1512 -x1511 -x1510 x1509 x1508 -x1507
1800.05/1800.81 v -x1506 -x1505 x1504 -x1503 x1502 -x1501 -x1500 x1499 x1498 -x1497 x1496 -x1495 x1494 -x1493 x1492 -x1491 x1490 -x1489 x1488 -x1487
1800.05/1800.81 v -x1486 x1485 x1484 -x1483 x1482 -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 x1473 x1472 -x1471 x1470 -x1469
1800.05/1800.81 v x1468 -x1467 x1466 -x1465 -x1464 x1463 -x1462 -x1461 x1460 -x1459 x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 x1451 -x1450
1800.05/1800.81 v -x1449 x1448 -x1447 x1446 -x1445 x1444 -x1443 x1442 -x1441 -x1440 x1439 -x1438 -x1437 x1436 -x1435 x1434 -x1433 x1432 -x1431
1800.05/1800.81 v x1430 -x1429 -x1428 x1427 -x1426 -x1425 x1424 -x1423 x1422 -x1421 -x1420 -x1419 x1418 -x1417 -x1416 x1415 x1414 -x1413 x1412
1800.05/1800.81 v -x1411 x1410 -x1409 x1408 -x1407 x1406 -x1405 -x1404 -x1403 -x1402 x1401 x1400 -x1399 x1398 -x1397 x1396 -x1395 x1394 -x1393
1800.05/1800.81 v x1392 -x1391 -x1390 x1389 x1388 -x1387 x1386 -x1385 x1384 -x1383 x1382 -x1381 -x1380 x1379 x1378 -x1377 x1376 -x1375 x1374 -x1373
1800.05/1800.81 v x1372 -x1371 x1370 -x1369 x1368 -x1367 -x1366 x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 x1358 -x1357 x1356 -x1355 -x1354
1800.05/1800.81 v x1353 x1352 -x1351 x1350 -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335
1800.05/1800.81 v x1334 -x1333 x1332 -x1331 -x1330 x1329 x1328 -x1327 x1326 -x1325 x1324 -x1323 x1322 -x1321 x1320 -x1319 -x1318 -x1317 x1316
1800.05/1800.81 v -x1315 x1314 -x1313 -x1312 x1311 x1310 -x1309 -x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 x1300 -x1299 x1298 -x1297
1800.05/1800.81 v x1296 -x1295 -x1294 x1293 x1292 -x1291 x1290 -x1289 x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 -x1279 x1278
1800.05/1800.81 v -x1277 x1276 -x1275 x1274 -x1273 -x1272 x1271 -x1270 -x1269 x1268 -x1267 x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 x1259
1800.05/1800.81 v -x1258 -x1257 x1256 -x1255 x1254 -x1253 x1252 -x1251 x1250 -x1249 -x1248 x1247 -x1246 -x1245 x1244 -x1243 x1242 -x1241 x1240
1800.05/1800.81 v -x1239 x1238 -x1237 -x1236 x1235 x1234 -x1233 x1232 -x1231 x1230 -x1229 x1228 -x1227 x1226 -x1225 -x1224 x1223 x1222 -x1221
1800.05/1800.81 v x1220 -x1219 x1218 -x1217 x1216 -x1215 x1214 -x1213 x1212 -x1211 -x1210 -x1209 x1208 -x1207 x1206 -x1205 -x1204 x1203 x1202
1800.05/1800.81 v -x1201 -x1200 x1199 x1198 -x1197 x1196 -x1195 x1194 -x1193 x1192 -x1191 x1190 -x1189 -x1188 -x1187 -x1186 x1185 x1184 -x1183
1800.05/1800.81 v x1182 -x1181 x1180 -x1179 x1178 -x1177 -x1176 -x1175 -x1174 x1173 x1172 -x1171 x1170 -x1169 x1168 -x1167 x1166 -x1165 x1164
1800.05/1800.81 v -x1163 -x1162 x1161 x1160 -x1159 x1158 -x1157 x1156 -x1155 x1154 -x1153 -x1152 x1151 x1150 -x1149 x1148 -x1147 x1146 -x1145 x1144
1800.05/1800.81 v -x1143 x1142 -x1141 x1140 -x1139 -x1138 x1137 x1136 -x1135 x1134 -x1133 x1132 -x1131 x1130 -x1129 -x1128 x1127 x1126 -x1125
1800.05/1800.81 v x1124 -x1123 x1122 -x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115 -x1114 x1113 x1112 -x1111 x1110 -x1109 x1108 -x1107 x1106
1800.05/1800.81 v -x1105 -x1104 -x1103 -x1102 x1101 x1100 -x1099 x1098 -x1097 x1096 -x1095 x1094 -x1093 -x1092 x1091 x1090 -x1089 x1088 -x1087
1800.05/1800.81 v x1086 -x1085 x1084 -x1083 x1082 -x1081 -x1080 x1079 x1078 -x1077 x1076 -x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068
1800.05/1800.81 v -x1067 -x1066 -x1065 x1064 -x1063 x1062 -x1061 -x1060 x1059 x1058 -x1057 x1056 -x1055 -x1054 x1053 x1052 -x1051 x1050 -x1049
1800.05/1800.81 v x1048 -x1047 x1046 -x1045 x1044 -x1043 -x1042 x1041 x1040 -x1039 x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 -x1030 x1029
1800.05/1800.81 v x1028 -x1027 x1026 -x1025 x1024 -x1023 x1022 -x1021 x1020 -x1019 -x1018 x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 x1010
1800.05/1800.81 v -x1009 -x1008 x1007 x1006 -x1005 x1004 -x1003 x1002 -x1001 x1000 -x999 x998 -x997 -x996 x995 -x994 -x993 x992 -x991 x990 -x989
1800.05/1800.81 v x988 -x987 x986 -x985 -x984 x983 x982 -x981 x980 -x979 x978 -x977 x976 -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967
1800.05/1800.81 v x966 -x965 x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 x953 x952 -x951 x950 -x949 -x948 x947 -x946 -x945
1800.05/1800.81 v x944 -x943 x942 -x941 x940 -x939 x938 -x937 -x936 x935 -x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 -x924 -x923 -x922
1800.05/1800.81 v x921 x920 -x919 x918 -x917 x916 -x915 x914 -x913 -x912 x911 x910 -x909 x908 -x907 x906 -x905 x904 -x903 x902 -x901 -x900
1800.05/1800.81 v -x899 -x898 x897 x896 -x895 x894 -x893 -x892 -x891 x890 -x889 x888 -x887 -x886 x885 x884 -x883 x882 -x881 x880 -x879 x878 -x877
1800.05/1800.81 v x876 -x875 -x874 x873 x872 -x871 x870 -x869 x868 -x867 x866 -x865 x864 -x863 -x862 x861 x860 -x859 x858 -x857 x856 -x855 x854
1800.05/1800.81 v -x853 -x852 x851 x850 -x849 x848 -x847 x846 -x845 x844 -x843 x842 -x841 -x840 x839 x838 -x837 x836 -x835 x834 -x833 x832
1800.05/1800.81 v -x831 x830 -x829 -x828 x827 x826 -x825 x824 -x823 x822 -x821 x820 -x819 x818 -x817 -x816 x815 x814 -x813 x812 -x811 x810 -x809
1800.05/1800.81 v x808 -x807 x806 -x805 -x804 x803 x802 -x801 x800 -x799 x798 -x797 x796 -x795 x794 -x793 -x792 -x791 -x790 x789 x788 -x787 x786
1800.05/1800.81 v -x785 x784 -x783 x782 -x781 x780 -x779 -x778 x777 x776 -x775 x774 -x773 x772 -x771 x770 -x769 x768 -x767 -x766 x765 x764
1800.05/1800.81 v -x763 x762 -x761 x760 -x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 x750 -x749 -x748 x747 x746 -x745 x744 -x743 -x742 x741
1800.05/1800.81 v x740 -x739 x738 -x737 x736 -x735 x734 -x733 -x732 x731 x730 -x729 x728 -x727 x726 -x725 x724 -x723 x722 -x721 -x720 x719 x718
1800.05/1800.81 v -x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 -x708 x707 x706 -x705 x704 -x703 x702 -x701 x700 -x699 x698 -x697 -x696
1800.05/1800.81 v x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683 -x682 x681 x680 -x679 x678 -x677 x676 -x675 x674 -x673
1800.05/1800.81 v -x672 -x671 -x670 x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 -x660 x659 x658 -x657 x656 -x655 x654 -x653 x652 -x651 x650
1800.05/1800.81 v -x649 x648 -x647 -x646 x645 x644 -x643 x642 -x641 x640 -x639 x638 -x637 x636 -x635 -x634 x633 x632 -x631 x630 -x629 x628 -x627
1800.05/1800.81 v x626 -x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 -x610 x609 x608 -x607 x606 -x605
1800.05/1800.81 v x604 -x603 x602 -x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 x582
1800.05/1800.81 v -x581 x580 -x579 x578 -x577 x576 -x575 -x574 x573 x572 -x571 x570 -x569 x568 -x567 x566 -x565 x564 -x563 -x562 x561 x560 -x559
1800.05/1800.81 v x558 -x557 x556 -x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543 x542 -x541 -x540 x539 -x538 -x537
1800.05/1800.81 v x536 -x535 x534 -x533 x532 -x531 x530 -x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520 -x519 x518 -x517 x516 -x515 -x514
1800.05/1800.81 v x513 x512 -x511 x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 x492
1800.05/1800.81 v -x491 -x490 x489 x488 -x487 x486 -x485 x484 -x483 x482 -x481 -x480 -x479 -x478 x477 x476 -x475 x474 -x473 x472 -x471 x470 -x469
1800.05/1800.81 v x468 -x467 -x466 x465 x464 -x463 x462 -x461 x460 -x459 x458 -x457 -x456 x455 -x454 -x453 x452 -x451 x450 -x449 x448 -x447
1800.05/1800.81 v x446 -x445 -x444 x443 x442 -x441 x440 -x439 x438 -x437 x436 -x435 x434 -x433 -x432 -x431 -x430 x429 x428 -x427 x426 -x425 x424
1800.05/1800.81 v -x423 x422 -x421 -x420 x419 -x418 -x417 x416 -x415 x414 -x413 x412 -x411 x410 -x409 x408 -x407 -x406 -x405 -x404 x403 x402
1800.05/1800.81 v -x401 x400 -x399 x398 -x397 -x396 x395 -x394 -x393 x392 -x391 x390 -x389 x388 -x387 x386 -x385 -x384 x383 x382 -x381 x380 -x379
1800.05/1800.81 v x378 -x377 -x376 -x375 x374 -x373 -x372 x371 -x370 -x369 x368 -x367 x366 -x365 x364 -x363 x362 -x361 -x360 -x359 -x358 x357
1800.05/1800.81 v -x356 -x355 x354 -x353 x352 -x351 x350 -x349 -x348 -x347 -x346 x345 x344 -x343 x342 -x341 x340 -x339 x338 -x337 -x336 x335
1800.05/1800.81 v x334 -x333 x332 -x331 x330 -x329 x328 -x327 x326 -x325 -x324 x323 -x322 -x321 x320 -x319 x318 -x317 -x316 -x315 x314 -x313 -x312
1800.05/1800.81 v -x311 -x310 x309 x308 -x307 x306 -x305 x304 -x303 x302 -x301 x300 -x299 -x298 x297 x296 -x295 x294 -x293 x292 -x291 x290
1800.05/1800.81 v -x289 -x288 -x287 -x286 x285 x284 -x283 x282 -x281 x280 -x279 x278 -x277 x276 -x275 -x274 x273 x272 -x271 x270 -x269 x268 -x267
1800.05/1800.81 v x266 -x265 -x264 x263 -x262 -x261 x260 -x259 x258 -x257 x256 -x255 x254 -x253 x252 -x251 -x250 x249 x248 -x247 x246 -x245
1800.05/1800.81 v x244 -x243 x242 -x241 -x240 x239 -x238 -x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 -x228 x227 -x226 -x225 x224 -x223 x222
1800.05/1800.81 v -x221 x220 -x219 x218 -x217 x216 -x215 -x214 x213 x212 -x211 x210 -x209 -x208 -x207 x206 -x205 -x204 x203 x202 -x201 x200
1800.05/1800.81 v -x199 x198 -x197 x196 -x195 x194 -x193 -x192 x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177
1800.05/1800.81 v -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154
1800.05/1800.81 v x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132
1800.05/1800.81 v x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 x118 -x117 -x116 x115 -x114 -x113 -x112 x111 x110 -x109
1800.05/1800.81 v -x108 -x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 x98 -x97 -x96 x95 -x94 -x93 -x92 x91 -x90 x89 -x88 -x87 -x86 x85 -x84
1800.05/1800.81 v x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 x71 x70 -x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57
1800.05/1800.81 v -x56 x55 x54 -x53 -x52 x51 -x50 x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 -x29
1800.05/1800.81 v -x28 x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 -x1
1800.05/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.81 c Solving Time : 1749.57
1800.05/1800.81 c Original Problem :
1800.05/1800.81 c Problem name : HOME/instance-2664064-1276472685.opb
1800.05/1800.81 c Variables : 2136 (2136 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.81 c Constraints : 9282 initial, 9282 maximal
1800.05/1800.81 c Presolved Problem :
1800.05/1800.81 c Problem name : t_HOME/instance-2664064-1276472685.opb
1800.05/1800.81 c Variables : 2124 (2124 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.81 c Constraints : 9210 initial, 9233 maximal
1800.05/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c dualfix : 0.00 12 0 0 0 0 0 0 0
1800.05/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.81 c probing : 0.13 0 0 0 0 0 0 0 0
1800.05/1800.81 c linear : 0.12 0 0 0 0 0 72 0 0
1800.05/1800.81 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.05/1800.81 c root node : - 0 - - 0 - - - -
1800.05/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.81 c logicor : 9210+ 0 3311511 0 3 64717 3929102 0 0 0
1800.05/1800.81 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.05/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.81 c logicor : 218.57 0.00 218.57 0.00 0.00
1800.05/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.81 c vbounds : 4.42 2 0 0
1800.05/1800.81 c rootredcost : 4.04 0 0 0
1800.05/1800.81 c pseudoobj : 1089.58 9087434 924943 24766336
1800.05/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.81 c propagation : 169.67 64717 64717 64717 115.1 7 10.1 -
1800.05/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.81 c pseudo solution : 216.37 118542 0 0 0.0 0 0.0 -
1800.05/1800.81 c applied globally : - - - 64724 115.1 - - -
1800.05/1800.81 c applied locally : - - - 0 0.0 - - -
1800.05/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.81 c redcost : 0.00 0 0 0 0 0
1800.05/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.81 c intobj : 0.00 0 0 0 0 0
1800.05/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.81 c gomory : 0.00 0 0 0 0 0
1800.05/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.81 c cmir : 0.00 0 0 0 0 0
1800.05/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.81 c clique : 0.00 0 0 0 0 0
1800.05/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.81 c mcf : 0.00 0 0 0 0 0
1800.05/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.81 c Pricers : Time Calls Vars
1800.05/1800.81 c problem variables: 0.00 0 0
1800.05/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.82 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.82 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.82 c inference : 38.90 1109519 0 0 0 0 2219038
1800.05/1800.82 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.82 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.82 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.82 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.82 c random : 0.00 0 0 0 0 0 0
1800.05/1800.82 c Primal Heuristics : Time Calls Found
1800.05/1800.82 c LP solutions : 0.00 - 0
1800.05/1800.82 c pseudo solutions : 0.00 - 3
1800.05/1800.82 c oneopt : 2.30 0 0
1800.05/1800.82 c trivial : 0.01 2 0
1800.05/1800.82 c simplerounding : 0.00 0 0
1800.05/1800.82 c zirounding : 0.00 0 0
1800.05/1800.82 c rounding : 0.00 0 0
1800.05/1800.82 c shifting : 0.00 0 0
1800.05/1800.82 c intshifting : 0.00 0 0
1800.05/1800.82 c twoopt : 0.00 0 0
1800.05/1800.82 c fixandinfer : 0.00 0 0
1800.05/1800.82 c feaspump : 0.00 0 0
1800.05/1800.82 c coefdiving : 0.00 0 0
1800.05/1800.82 c pscostdiving : 0.00 0 0
1800.05/1800.82 c fracdiving : 0.00 0 0
1800.05/1800.82 c veclendiving : 0.00 0 0
1800.05/1800.82 c intdiving : 0.00 0 0
1800.05/1800.82 c actconsdiving : 0.00 0 0
1800.05/1800.82 c objpscostdiving : 0.00 0 0
1800.05/1800.82 c rootsoldiving : 0.00 0 0
1800.05/1800.82 c linesearchdiving : 0.00 0 0
1800.05/1800.82 c guideddiving : 0.00 0 0
1800.05/1800.82 c octane : 0.00 0 0
1800.05/1800.82 c rens : 0.00 0 0
1800.05/1800.82 c rins : 0.00 0 0
1800.05/1800.82 c localbranching : 0.00 0 0
1800.05/1800.82 c mutation : 0.00 0 0
1800.05/1800.82 c crossover : 0.00 0 0
1800.05/1800.82 c dins : 0.00 0 0
1800.05/1800.82 c undercover : 0.00 0 0
1800.05/1800.82 c nlp : 1.39 0 0
1800.05/1800.82 c trysol : 1.15 0 0
1800.05/1800.82 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.82 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.82 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.82 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.82 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.82 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.82 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.82 c (at root node) : - 0 0 0.00 -
1800.05/1800.82 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.82 c B&B Tree :
1800.05/1800.82 c number of runs : 1
1800.05/1800.82 c nodes : 2182013
1800.05/1800.82 c nodes (total) : 2182013
1800.05/1800.82 c nodes left : 131
1800.05/1800.82 c max depth : 231
1800.05/1800.82 c max depth (total): 231
1800.05/1800.82 c backtracks : 606011 (27.8%)
1800.05/1800.82 c delayed cutoffs : 36537
1800.05/1800.82 c repropagations : 38851 (883973 domain reductions, 35711 cutoffs)
1800.05/1800.82 c avg switch length: 2.00
1800.05/1800.82 c switching time : 76.65
1800.05/1800.82 c Solution :
1800.05/1800.82 c Solutions found : 3 (3 improvements)
1800.05/1800.82 c First Solution : +9.75000000000000e+02 (in run 1, after 392 nodes, 0.82 seconds, depth 224, found by <relaxation>)
1800.05/1800.82 c Primal Bound : +9.67000000000000e+02 (in run 1, after 484 nodes, 0.84 seconds, depth 148, found by <relaxation>)
1800.05/1800.82 c Dual Bound : +1.00000000000000e+00
1800.05/1800.82 c Gap : 96600.00 %
1800.05/1800.82 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.82 c Root Iterations : 0
1800.05/1800.85 c Time complete: 1800.11.