0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667553-1276459993.opb>
0.19/0.26 c original problem has 1848 variables (1848 bin, 0 int, 0 impl, 0 cont) and 14727 constraints
0.19/0.26 c problem read
0.19/0.26 c presolving settings loaded
0.30/0.32 c presolving:
0.49/0.55 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13927 upgd conss, 74584 impls, 0 clqs
0.59/0.61 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14723 upgd conss, 74584 impls, 0 clqs
1.19/1.28 c (0.9s) probing: 357/1848 (19.3%) - 0 fixings, 0 aggregations, 14820 implications, 0 bound changes
1.19/1.28 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.19/1.28 c presolving (3 rounds):
1.19/1.28 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.28 c 104248 implications, 0 cliques
1.19/1.28 c presolved problem has 1848 variables (1848 bin, 0 int, 0 impl, 0 cont) and 14723 constraints
1.19/1.28 c 14723 constraints of type <logicor>
1.19/1.28 c transformed objective value is always integral (scale: 1)
1.19/1.28 c Presolving Time: 0.90
1.19/1.28 c - non default parameters ----------------------------------------------------------------------
1.19/1.28 c # SCIP version 1.2.1.2
1.19/1.28 c
1.19/1.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.19/1.28 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.28 c conflict/interconss = 0
1.19/1.28 c
1.19/1.28 c # should binary conflicts be preferred?
1.19/1.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.28 c conflict/preferbinary = TRUE
1.19/1.28 c
1.19/1.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.19/1.28 c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.28 c constraints/agelimit = 1
1.19/1.28 c
1.19/1.28 c # should enforcement of pseudo solution be disabled?
1.19/1.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.28 c constraints/disableenfops = TRUE
1.19/1.28 c
1.19/1.28 c # frequency for displaying node information lines
1.19/1.28 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.28 c display/freq = 10000
1.19/1.28 c
1.19/1.28 c # maximal time in seconds to run
1.19/1.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.28 c limits/time = 1799.74
1.19/1.28 c
1.19/1.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.28 c limits/memory = 1620
1.19/1.28 c
1.19/1.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.19/1.28 c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.28 c lp/solvefreq = 0
1.19/1.28 c
1.19/1.28 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.19/1.28 c # [type: char, range: {lafpsqd}, default: l]
1.19/1.28 c lp/pricing = a
1.19/1.28 c
1.19/1.28 c # should presolving try to simplify inequalities
1.19/1.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.28 c constraints/linear/simplifyinequalities = TRUE
1.19/1.28 c
1.19/1.28 c # should presolving try to simplify knapsacks
1.19/1.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.28 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.28 c
1.19/1.28 c # priority of node selection rule <dfs> in standard mode
1.19/1.28 c # [type: int, range: [-536870912,536870911], default: 0]
1.19/1.28 c nodeselection/dfs/stdpriority = 1000000
1.19/1.28 c
1.19/1.28 c -----------------------------------------------------------------------------------------------
1.19/1.28 c start solving
1.19/1.28 c
5.99/6.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.05 c 5.7s| 1 | 0 | 3299 | - | 23M| 0 |1450 |1848 | 14k|1848 | 14k| 0 | 0 | 0 | 3.767500e+02 | -- | Inf
23.18/23.24 c 22.6s| 1 | 0 | 10912 | - | 23M| 0 |1447 |1848 | 14k|1848 | 14k| 4 | 0 | 0 | 3.804375e+02 | -- | Inf
24.28/24.36 c 23.6s| 1 | 0 | 11136 | - | 24M| 0 |1449 |1848 | 14k|1848 | 14k| 10 | 0 | 0 | 3.832153e+02 | -- | Inf
25.38/25.45 c 24.7s| 1 | 0 | 11347 | - | 24M| 0 |1446 |1848 | 14k|1848 | 14k| 15 | 0 | 0 | 3.849369e+02 | -- | Inf
26.88/26.93 c 26.2s| 1 | 0 | 11703 | - | 24M| 0 |1446 |1848 | 14k|1848 | 14k| 21 | 0 | 0 | 3.869061e+02 | -- | Inf
28.38/28.44 c 27.7s| 1 | 0 | 12075 | - | 24M| 0 |1446 |1848 | 14k|1848 | 14k| 27 | 0 | 0 | 3.887724e+02 | -- | Inf
29.98/30.03 c 29.2s| 1 | 0 | 12471 | - | 24M| 0 |1444 |1848 | 14k|1848 | 14k| 34 | 0 | 0 | 3.906461e+02 | -- | Inf
31.88/31.92 c 31.1s| 1 | 0 | 12955 | - | 25M| 0 |1444 |1848 | 14k|1848 | 14k| 41 | 0 | 0 | 3.926053e+02 | -- | Inf
33.58/33.67 c 32.8s| 1 | 0 | 13473 | - | 25M| 0 |1444 |1848 | 14k|1848 | 14k| 48 | 0 | 0 | 3.940036e+02 | -- | Inf
35.09/35.20 c 34.3s| 1 | 0 | 13830 | - | 25M| 0 |1449 |1848 | 14k|1848 | 14k| 55 | 0 | 0 | 3.950034e+02 | -- | Inf
36.98/37.00 c 36.1s| 1 | 0 | 14185 | - | 25M| 0 |1445 |1848 | 14k|1848 | 14k| 61 | 0 | 0 | 3.957021e+02 | -- | Inf
38.38/38.43 c 37.5s| 1 | 0 | 14538 | - | 26M| 0 |1444 |1848 | 14k|1848 | 14k| 67 | 0 | 0 | 3.966955e+02 | -- | Inf
40.28/40.33 c 39.4s| 1 | 0 | 15097 | - | 26M| 0 |1445 |1848 | 14k|1848 | 14k| 74 | 0 | 0 | 3.976559e+02 | -- | Inf
41.78/41.81 c 40.9s| 1 | 0 | 15548 | - | 26M| 0 |1444 |1848 | 14k|1848 | 14k| 85 | 0 | 0 | 3.984723e+02 | -- | Inf
43.58/43.64 c 42.7s| 1 | 0 | 16036 | - | 27M| 0 |1444 |1848 | 14k|1848 | 14k| 93 | 0 | 0 | 3.990784e+02 | -- | Inf
46.78/46.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.78/46.86 c 45.9s| 1 | 0 | 16408 | - | 27M| 0 |1448 |1848 | 14k|1848 | 14k| 101 | 0 | 0 | 3.995032e+02 | -- | Inf
49.67/49.79 c 48.8s| 1 | 0 | 16825 | - | 27M| 0 |1448 |1848 | 14k|1848 | 14k| 107 | 0 | 0 | 4.000539e+02 | -- | Inf
53.27/53.39 c 52.3s| 1 | 0 | 17102 | - | 27M| 0 |1448 |1848 | 14k|1848 | 14k| 113 | 0 | 0 | 4.002870e+02 | -- | Inf
56.87/56.93 c 55.9s| 1 | 0 | 17257 | - | 27M| 0 |1446 |1848 | 14k|1848 | 14k| 117 | 0 | 0 | 4.003483e+02 | -- | Inf
60.97/61.08 c 60.0s| 1 | 0 | 17330 | - | 27M| 0 |1448 |1848 | 14k|1848 | 14k| 120 | 0 | 0 | 4.003968e+02 | -- | Inf
65.37/65.47 c 64.3s| 1 | 0 | 17364 | - | 27M| 0 |1446 |1848 | 14k|1848 | 14k| 121 | 0 | 0 | 4.004078e+02 | -- | Inf
103.75/103.83 c 102s| 1 | 2 | 17364 | - | 27M| 0 |1446 |1848 | 14k|1848 | 14k| 121 | 0 | 27 | 4.004078e+02 | -- | Inf
105.96/106.09 o 861
105.96/106.09 c * 104s| 641 | 77 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 358 | 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
116.56/116.68 c 115s| 10000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 |2075 | 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
127.95/128.02 c 126s| 20000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 |3919 | 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
139.34/139.41 c 137s| 30000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 |5780 | 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
150.74/150.83 c 148s| 40000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 |7647 | 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
162.14/162.25 c 159s| 50000 | 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 |9512 | 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
173.54/173.60 c 171s| 60000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 11k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
184.93/185.02 c 182s| 70000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 13k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
196.13/196.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.13/196.28 c 193s| 80000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 15k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
207.53/207.68 c 204s| 90000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 16k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
218.92/219.02 c 215s|100000 | 73 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 18k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
230.32/230.40 c 226s|110000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 20k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
241.41/241.59 c 237s|120000 | 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 22k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
252.93/253.04 c 248s|130000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 24k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
264.21/264.36 c 260s|140000 | 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 26k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
275.51/275.64 c 271s|150000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 27k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
286.92/287.05 c 282s|160000 | 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 29k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
298.20/298.33 c 293s|170000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 31k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
309.60/309.71 c 304s|180000 | 73 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 33k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
321.00/321.15 c 315s|190000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 35k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
332.30/332.43 c 326s|200000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 37k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
343.59/343.78 c 337s|210000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 38k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
355.09/355.24 c 349s|220000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 40k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
366.09/366.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.09/366.25 c 359s|230000 | 72 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 42k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
377.58/377.73 c 371s|240000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 44k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
388.97/389.15 c 382s|250000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 46k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
400.28/400.47 c 393s|260000 | 72 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 48k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
411.57/411.77 c 404s|270000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 49k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
422.97/423.17 c 415s|280000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 51k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
434.27/434.45 c 426s|290000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 53k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
445.66/445.89 c 437s|300000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 55k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
457.06/457.26 c 448s|310000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 57k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
468.36/468.53 c 459s|320000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 59k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
479.75/479.91 c 471s|330000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 60k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
490.95/491.18 c 482s|340000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 62k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
502.45/502.61 c 493s|350000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 64k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
513.74/513.90 c 504s|360000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 66k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
525.03/525.28 c 515s|370000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 68k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
536.44/536.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.44/536.69 c 526s|380000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 70k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
547.83/548.03 c 537s|390000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 71k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
559.22/559.41 c 548s|400000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 73k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
570.52/570.79 c 560s|410000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 75k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
581.92/582.20 c 571s|420000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 77k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
593.32/593.53 c 582s|430000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 79k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
604.72/604.92 c 593s|440000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 81k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
616.02/616.25 c 604s|450000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 83k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
630.71/630.96 c 619s|460000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 85k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
642.11/642.37 c 630s|470000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 87k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
653.50/653.70 c 641s|480000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 89k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
664.79/665.07 c 652s|490000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 91k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
676.09/676.36 c 663s|500000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 92k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
687.39/687.68 c 674s|510000 | 73 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 94k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
698.78/699.03 c 685s|520000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 96k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
710.18/710.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.18/710.43 c 696s|530000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 98k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
721.47/721.75 c 707s|540000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 100k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
732.97/733.23 c 719s|550000 | 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 102k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
744.38/744.69 c 730s|560000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 104k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
755.57/755.87 c 741s|570000 | 72 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 105k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
766.97/767.28 c 752s|580000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 107k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
778.36/778.68 c 763s|590000 | 64 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 109k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
789.76/790.01 c 774s|600000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 111k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
801.16/801.46 c 785s|610000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 113k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
812.56/812.82 c 797s|620000 | 72 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 115k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
823.95/824.21 c 808s|630000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 116k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
835.34/835.62 c 819s|640000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 118k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
846.65/847.00 c 830s|650000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 120k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
858.14/858.41 c 841s|660000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 122k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
869.44/869.79 c 852s|670000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 124k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
881.13/881.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.13/881.44 c 864s|680000 | 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 126k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
892.53/892.87 c 875s|690000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 128k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
904.03/904.31 c 886s|700000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 129k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
915.42/915.70 c 897s|710000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 131k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
926.72/927.00 c 908s|720000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 133k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
938.02/938.37 c 920s|730000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 135k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
949.92/950.29 c 931s|740000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 137k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
961.31/961.66 c 942s|750000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 139k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
972.70/973.06 c 954s|760000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 141k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
984.01/984.37 c 965s|770000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 142k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
995.41/995.74 c 976s|780000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 144k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1006.60/1006.91 c 987s|790000 | 72 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 146k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1017.89/1018.24 c 998s|800000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 148k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1029.29/1029.64 c 1009s|810000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 150k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1040.58/1040.93 c 1020s|820000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 152k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1051.97/1052.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.97/1052.34 c 1031s|830000 | 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 153k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1063.38/1063.77 c 1042s|840000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 155k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1074.67/1075.03 c 1053s|850000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 157k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1085.97/1086.35 c 1065s|860000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 159k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1097.26/1097.69 c 1076s|870000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 161k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1108.56/1108.97 c 1087s|880000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 163k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1119.86/1120.29 c 1098s|890000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 164k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1131.26/1131.63 c 1109s|900000 | 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 166k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1142.45/1142.89 c 1120s|910000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 168k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1153.85/1154.22 c 1131s|920000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 170k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1165.25/1165.64 c 1142s|930000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 172k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1176.54/1176.94 c 1153s|940000 | 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 173k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1187.94/1188.33 c 1164s|950000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 175k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1199.34/1199.72 c 1176s|960000 | 74 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 177k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1210.63/1211.06 c 1187s|970000 | 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 179k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1222.02/1222.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.02/1222.43 c 1198s|980000 | 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 181k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1233.42/1233.82 c 1209s|990000 | 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 183k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1244.83/1245.27 c 1220s| 1000k| 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 185k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1256.21/1256.62 c 1231s| 1010k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 186k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1267.30/1267.77 c 1242s| 1020k| 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 188k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1278.71/1279.18 c 1253s| 1030k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 190k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1290.10/1290.58 c 1265s| 1040k| 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 192k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1301.49/1301.97 c 1276s| 1050k| 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 194k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1312.90/1313.37 c 1287s| 1060k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 196k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1324.29/1324.72 c 1298s| 1070k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 197k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1335.69/1336.10 c 1309s| 1080k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 199k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1347.09/1347.57 c 1320s| 1090k| 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 201k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1358.58/1359.00 c 1332s| 1100k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 203k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1369.78/1370.24 c 1343s| 1110k| 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 205k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1381.18/1381.61 c 1354s| 1120k| 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 207k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1392.57/1393.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.57/1393.04 c 1365s| 1130k| 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 208k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1404.66/1405.18 c 1377s| 1140k| 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 210k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1416.06/1416.54 c 1388s| 1150k| 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 212k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1427.46/1427.92 c 1399s| 1160k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 214k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1438.86/1439.36 c 1410s| 1170k| 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 216k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1450.15/1450.69 c 1421s| 1180k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 218k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1461.46/1461.99 c 1432s| 1190k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 220k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1472.85/1473.35 c 1444s| 1200k| 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 222k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1484.24/1484.75 c 1455s| 1210k| 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 223k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1495.54/1496.05 c 1466s| 1220k| 64 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 225k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1507.04/1507.51 c 1477s| 1230k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 227k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1518.43/1518.93 c 1488s| 1240k| 64 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 229k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1530.23/1530.73 c 1500s| 1250k| 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 231k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1541.53/1542.08 c 1511s| 1260k| 71 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 233k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1552.93/1553.48 c 1522s| 1270k| 70 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 235k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1564.32/1564.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.32/1564.89 c 1533s| 1280k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 236k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1575.73/1576.23 c 1544s| 1290k| 64 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 238k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1587.12/1587.60 c 1556s| 1300k| 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 240k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1598.41/1598.97 c 1567s| 1310k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 242k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1609.82/1610.37 c 1578s| 1320k| 64 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 244k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1621.20/1621.78 c 1589s| 1330k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 246k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1632.60/1633.19 c 1600s| 1340k| 66 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 247k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1643.91/1644.50 c 1611s| 1350k| 64 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 249k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1654.60/1655.12 c 1622s| 1360k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 251k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1665.80/1666.39 c 1633s| 1370k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 253k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1677.29/1677.84 c 1644s| 1380k| 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 255k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1688.69/1689.27 c 1655s| 1390k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 256k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1700.09/1700.62 c 1666s| 1400k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 258k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1711.38/1711.99 c 1677s| 1410k| 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 260k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1722.78/1723.33 c 1688s| 1420k| 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 262k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1734.18/1734.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.18/1734.75 c 1700s| 1430k| 67 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 264k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1745.47/1746.07 c 1711s| 1440k| 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 266k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1756.87/1757.47 c 1722s| 1450k| 68 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 267k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1768.37/1768.94 c 1733s| 1460k| 65 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 269k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1780.27/1780.87 c 1745s| 1470k| 69 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 271k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1791.66/1792.22 c 1756s| 1480k| 64 | 17364 | 0.0 | 28M| 151 | - |1848 | 14k| 0 | 0 | 121 | 273k| 27 | 4.004078e+02 | 8.610000e+02 | 115.03%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1764.09
1800.07/1800.61 c Solving Nodes : 1487375
1800.07/1800.61 c Primal Bound : +8.61000000000000e+02 (1 solutions)
1800.07/1800.61 c Dual Bound : +4.00407773254403e+02
1800.07/1800.61 c Gap : 115.03 %
1800.07/1800.63 s SATISFIABLE
1800.07/1800.63 v x1848 -x1847 x1846 -x1845 -x1844 x1843 x1842 -x1841 x1840 -x1839 -x1838 x1837 x1836 -x1835 x1834 -x1833 x1832 -x1831 x1830 -x1829
1800.07/1800.63 v -x1828 x1827 x1826 -x1825 -x1824 x1823 -x1822 -x1821 x1820 -x1819 x1818 -x1817 x1816 -x1815 x1814 -x1813 x1812 -x1811 -x1810
1800.07/1800.63 v x1809 x1808 -x1807 -x1806 x1805 x1804 -x1803 x1802 -x1801 -x1800 x1799 x1798 -x1797 x1796 -x1795 x1794 -x1793 -x1792 x1791
1800.07/1800.63 v -x1790 -x1789 x1788 -x1787 x1786 -x1785 x1784 -x1783 -x1782 x1781 x1780 -x1779 x1778 -x1777 -x1776 x1775 x1774 -x1773 x1772
1800.07/1800.63 v -x1771 x1770 -x1769 x1768 -x1767 -x1766 -x1765 -x1764 x1763 x1762 -x1761 x1760 -x1759 -x1758 x1757 x1756 -x1755 x1754 -x1753
1800.07/1800.63 v -x1752 x1751 -x1750 -x1749 x1748 -x1747 x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739 x1738 -x1737 x1736 -x1735 -x1734
1800.07/1800.63 v x1733 -x1732 -x1731 x1730 -x1729 x1728 -x1727 -x1726 x1725 x1724 -x1723 x1722 -x1721 x1720 -x1719 x1718 -x1717 -x1716 x1715
1800.07/1800.63 v x1714 -x1713 -x1712 x1711 x1710 -x1709 x1708 -x1707 x1706 -x1705 -x1704 x1703 x1702 -x1701 x1700 -x1699 x1698 -x1697 x1696 -x1695
1800.07/1800.63 v x1694 -x1693 x1692 -x1691 -x1690 x1689 -x1688 x1687 x1686 -x1685 x1684 -x1683 x1682 -x1681 x1680 -x1679 -x1678 x1677 x1676
1800.07/1800.63 v -x1675 x1674 -x1673 x1672 -x1671 -x1670 x1669 x1668 -x1667 x1666 -x1665 x1664 -x1663 -x1662 x1661 x1660 -x1659 x1658 -x1657
1800.07/1800.63 v x1656 -x1655 x1654 -x1653 x1652 -x1651 -x1650 x1649 x1648 -x1647 -x1646 -x1645 x1644 -x1643 -x1642 x1641 x1640 -x1639 -x1638
1800.07/1800.63 v x1637 x1636 -x1635 x1634 -x1633 x1632 -x1631 x1630 -x1629 -x1628 x1627 x1626 -x1625 x1624 -x1623 -x1622 x1621 x1620 -x1619
1800.07/1800.63 v x1618 -x1617 x1616 -x1615 -x1614 x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 -x1606 x1605 x1604 -x1603 x1602 -x1601 -x1600 x1599
1800.07/1800.63 v -x1598 -x1597 x1596 -x1595 x1594 -x1593 x1592 -x1591 -x1590 -x1589 x1588 -x1587 -x1586 x1585 x1584 -x1583 -x1582 x1581 x1580
1800.07/1800.63 v -x1579 x1578 -x1577 x1576 -x1575 -x1574 x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 x1566 -x1565 x1564 -x1563 -x1562
1800.07/1800.63 v x1561 x1560 -x1559 x1558 -x1557 -x1556 -x1555 -x1554 x1553 -x1552 x1551 -x1550 -x1549 x1548 -x1547 -x1546 -x1545 x1544 -x1543
1800.07/1800.63 v -x1542 x1541 x1540 -x1539 x1538 -x1537 -x1536 x1535 x1534 -x1533 x1532 -x1531 x1530 -x1529 -x1528 x1527 x1526 -x1525 x1524 -x1523
1800.07/1800.63 v x1522 -x1521 -x1520 x1519 -x1518 -x1517 x1516 -x1515 -x1514 -x1513 x1512 -x1511 -x1510 x1509 -x1508 -x1507 x1506 -x1505
1800.07/1800.63 v x1504 -x1503 -x1502 x1501 x1500 -x1499 x1498 -x1497 x1496 -x1495 -x1494 x1493 x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486
1800.07/1800.63 v x1485 x1484 -x1483 x1482 -x1481 -x1480 -x1479 -x1478 x1477 x1476 -x1475 x1474 -x1473 x1472 -x1471 -x1470 x1469 x1468 -x1467
1800.07/1800.63 v x1466 -x1465 -x1464 x1463 x1462 -x1461 x1460 -x1459 x1458 -x1457 -x1456 -x1455 -x1454 x1453 x1452 -x1451 x1450 -x1449 x1448 -x1447
1800.07/1800.63 v -x1446 x1445 x1444 -x1443 -x1442 -x1441 x1440 -x1439 x1438 -x1437 -x1436 x1435 x1434 -x1433 x1432 -x1431 x1430 -x1429 -x1428
1800.07/1800.63 v x1427 x1426 -x1425 x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 x1417 x1416 -x1415 x1414 -x1413 -x1412 x1411 x1410 -x1409
1800.07/1800.63 v x1408 -x1407 x1406 -x1405 -x1404 x1403 x1402 -x1401 -x1400 x1399 x1398 -x1397 x1396 -x1395 x1394 -x1393 x1392 -x1391 -x1390
1800.07/1800.63 v x1389 x1388 -x1387 x1386 -x1385 x1384 -x1383 -x1382 x1381 x1380 -x1379 x1378 -x1377 x1376 -x1375 x1374 -x1373 x1372 -x1371
1800.07/1800.63 v -x1370 x1369 x1368 -x1367 -x1366 x1365 x1364 -x1363 -x1362 -x1361 x1360 -x1359 x1358 -x1357 -x1356 x1355 x1354 -x1353 -x1352
1800.07/1800.63 v x1351 -x1350 -x1349 x1348 -x1347 -x1346 -x1345 x1344 -x1343 x1342 -x1341 -x1340 -x1339 -x1338 x1337 x1336 -x1335 x1334 -x1333
1800.07/1800.63 v -x1332 x1331 x1330 -x1329 x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 x1321 -x1320 x1319 x1318 -x1317 x1316 -x1315 -x1314
1800.07/1800.63 v -x1313 x1312 -x1311 x1310 -x1309 -x1308 x1307 x1306 -x1305 -x1304 x1303 x1302 -x1301 x1300 -x1299 x1298 -x1297 x1296 -x1295
1800.07/1800.63 v x1294 -x1293 -x1292 x1291 -x1290 -x1289 x1288 -x1287 x1286 -x1285 x1284 -x1283 -x1282 x1281 x1280 -x1279 -x1278 x1277 x1276
1800.07/1800.63 v -x1275 x1274 -x1273 -x1272 x1271 x1270 -x1269 x1268 -x1267 x1266 -x1265 x1264 -x1263 -x1262 x1261 x1260 -x1259 x1258 -x1257
1800.07/1800.63 v -x1256 x1255 x1254 -x1253 x1252 -x1251 x1250 -x1249 x1248 -x1247 -x1246 x1245 x1244 -x1243 x1242 -x1241 x1240 -x1239 -x1238 x1237
1800.07/1800.63 v x1236 -x1235 x1234 -x1233 x1232 -x1231 -x1230 x1229 x1228 -x1227 x1226 -x1225 x1224 -x1223 x1222 -x1221 -x1220 x1219 x1218
1800.07/1800.63 v -x1217 x1216 -x1215 -x1214 x1213 x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 x1205 x1204 -x1203 x1202 -x1201 x1200 -x1199
1800.07/1800.63 v x1198 -x1197 -x1196 x1195 x1194 -x1193 x1192 -x1191 -x1190 x1189 x1188 -x1187 x1186 -x1185 x1184 -x1183 -x1182 -x1181 x1180
1800.07/1800.63 v -x1179 -x1178 x1177 x1176 -x1175 x1174 -x1173 -x1172 x1171 x1170 -x1169 x1168 -x1167 -x1166 x1165 x1164 -x1163 x1162 -x1161
1800.07/1800.63 v x1160 -x1159 x1158 -x1157 -x1156 x1155 x1154 -x1153 x1152 -x1151 -x1150 x1149 x1148 -x1147 x1146 -x1145 x1144 -x1143 -x1142
1800.07/1800.63 v x1141 x1140 -x1139 x1138 -x1137 -x1136 x1135 x1134 -x1133 x1132 -x1131 x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 -x1123 x1122
1800.07/1800.63 v -x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115 -x1114 x1113 x1112 -x1111 -x1110 x1109 x1108 -x1107 x1106 -x1105 x1104 -x1103
1800.07/1800.63 v -x1102 x1101 x1100 -x1099 x1098 -x1097 x1096 -x1095 -x1094 x1093 x1092 -x1091 x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084
1800.07/1800.63 v x1083 x1082 -x1081 x1080 -x1079 x1078 -x1077 x1076 -x1075 -x1074 x1073 x1072 -x1071 x1070 -x1069 -x1068 x1067 x1066 -x1065
1800.07/1800.63 v -x1064 -x1063 -x1062 x1061 x1060 -x1059 x1058 -x1057 x1056 -x1055 -x1054 x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047 x1046
1800.07/1800.63 v -x1045 -x1044 -x1043 -x1042 x1041 x1040 -x1039 -x1038 x1037 x1036 -x1035 x1034 -x1033 -x1032 x1031 -x1030 -x1029 x1028 -x1027
1800.07/1800.63 v x1026 -x1025 x1024 -x1023 -x1022 x1021 x1020 -x1019 x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 x1011 x1010 -x1009 -x1008
1800.07/1800.63 v -x1007 -x1006 x1005 x1004 -x1003 x1002 -x1001 x1000 -x999 -x998 x997 x996 -x995 x994 -x993 -x992 x991 x990 -x989 x988 -x987
1800.07/1800.63 v x986 -x985 x984 -x983 -x982 x981 x980 -x979 x978 -x977 x976 -x975 x974 -x973 x972 -x971 -x970 x969 x968 -x967 -x966 x965 x964
1800.07/1800.63 v -x963 x962 -x961 x960 -x959 -x958 x957 x956 -x955 x954 -x953 x952 -x951 -x950 x949 x948 -x947 -x946 -x945 -x944 x943 x942 -x941
1800.07/1800.63 v x940 -x939 -x938 -x937 x936 -x935 x934 -x933 -x932 x931 -x930 -x929 x928 -x927 -x926 x925 x924 -x923 x922 -x921 x920 -x919
1800.07/1800.63 v -x918 x917 x916 -x915 x914 -x913 -x912 -x911 -x910 x909 x908 -x907 x906 -x905 x904 -x903 x902 -x901 x900 -x899 -x898 x897
1800.07/1800.63 v x896 -x895 -x894 x893 x892 -x891 x890 -x889 x888 -x887 -x886 x885 x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 x876 -x875 -x874
1800.07/1800.63 v -x873 x872 -x871 -x870 x869 x868 -x867 x866 -x865 x864 -x863 -x862 x861 x860 -x859 x858 -x857 -x856 x855 x854 -x853 x852
1800.07/1800.63 v -x851 x850 -x849 x848 -x847 -x846 x845 x844 -x843 x842 -x841 -x840 x839 x838 -x837 x836 -x835 x834 -x833 x832 -x831 -x830 x829
1800.07/1800.63 v x828 -x827 x826 -x825 x824 -x823 -x822 x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 -x812 x811 x810 -x809 -x808 x807 -x806
1800.07/1800.63 v -x805 x804 -x803 x802 -x801 x800 -x799 -x798 x797 x796 -x795 x794 -x793 x792 -x791 -x790 x789 x788 -x787 x786 -x785 -x784
1800.07/1800.63 v x783 x782 -x781 x780 -x779 x778 -x777 x776 -x775 x774 -x773 -x772 x771 x770 -x769 -x768 x767 x766 -x765 x764 -x763 x762 -x761
1800.07/1800.63 v x760 -x759 x758 -x757 -x756 x755 -x754 -x753 x752 -x751 -x750 -x749 x748 -x747 -x746 x745 x744 -x743 -x742 -x741 -x740 -x739
1800.07/1800.63 v -x738 x737 x736 -x735 -x734 x733 x732 -x731 x730 -x729 x728 -x727 -x726 x725 x724 -x723 -x722 -x721 x720 -x719 x718 -x717 x716
1800.07/1800.63 v -x715 -x714 x713 x712 -x711 x710 -x709 -x708 x707 x706 -x705 -x704 -x703 -x702 x701 x700 -x699 x698 -x697 x696 -x695 -x694
1800.07/1800.63 v x693 -x692 -x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683 -x682 x681 x680 -x679 -x678 x677 x676 -x675 x674 -x673 -x672 x671
1800.07/1800.63 v -x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 x660 -x659 -x658 x657 x656 -x655 x654 -x653 x652 -x651 -x650 x649
1800.07/1800.63 v -x648 x647 -x646 -x645 x644 -x643 x642 -x641 -x640 x639 x638 -x637 x636 -x635 x634 -x633 -x632 -x631 -x630 x629 x628 -x627 x626
1800.07/1800.63 v -x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 x616 -x615 -x614 x613 x612 -x611 x610 -x609 x608 -x607 -x606 x605 x604
1800.07/1800.63 v -x603 x602 -x601 x600 -x599 -x598 -x597 x596 -x595 -x594 x593 x592 -x591 -x590 x589 x588 -x587 x586 -x585 -x584 x583 x582 -x581
1800.07/1800.63 v x580 -x579 x578 -x577 -x576 -x575 x574 -x573 x572 -x571 -x570 x569 x568 -x567 x566 -x565 -x564 x563 x562 -x561 x560 -x559
1800.07/1800.63 v x558 -x557 x556 -x555 -x554 x553 x552 -x551 x550 -x549 -x548 x547 x546 -x545 -x544 x543 x542 -x541 x540 -x539 x538 -x537 -x536
1800.07/1800.63 v x535 x534 -x533 x532 -x531 x530 -x529 -x528 x527 x526 -x525 x524 -x523 x522 -x521 -x520 x519 x518 -x517 x516 -x515 x514 -x513
1800.07/1800.63 v x512 -x511 -x510 x509 x508 -x507 x506 -x505 -x504 x503 x502 -x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 -x492 x491 x490
1800.07/1800.63 v -x489 -x488 x487 x486 -x485 x484 -x483 x482 -x481 x480 -x479 -x478 x477 x476 -x475 x474 -x473 x472 -x471 x470 -x469 x468
1800.07/1800.63 v -x467 -x466 x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456 -x455 -x454 x453 x452 -x451 x450 -x449 x448 -x447 -x446 x445
1800.07/1800.63 v x444 -x443 x442 -x441 -x440 x439 x438 -x437 x436 -x435 x434 -x433 x432 -x431 -x430 x429 x428 -x427 -x426 -x425 x424 -x423 -x422
1800.07/1800.63 v x421 x420 -x419 x418 -x417 x416 -x415 x414 -x413 -x412 x411 x410 -x409 -x408 x407 -x406 -x405 x404 -x403 x402 -x401 x400
1800.07/1800.63 v -x399 x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 -x389 -x388 x387 x386 -x385 x384 -x383 -x382 x381 x380 -x379 x378 -x377
1800.07/1800.63 v x376 -x375 -x374 x373 x372 -x371 x370 -x369 -x368 x367 x366 -x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 x356 -x355
1800.07/1800.63 v -x354 x353 x352 -x351 -x350 x349 x348 -x347 x346 -x345 x344 -x343 x342 -x341 x340 -x339 -x338 x337 x336 -x335 x334 -x333 x332
1800.07/1800.63 v -x331 -x330 x329 x328 -x327 x326 -x325 x324 -x323 -x322 x321 x320 -x319 -x318 x317 x316 -x315 x314 -x313 x312 -x311 -x310 x309
1800.07/1800.63 v x308 -x307 x306 -x305 x304 -x303 -x302 x301 x300 -x299 x298 -x297 x296 -x295 -x294 x293 x292 -x291 x290 -x289 x288 -x287 x286
1800.07/1800.63 v -x285 x284 -x283 -x282 x281 x280 -x279 -x278 x277 x276 -x275 x274 -x273 x272 -x271 -x270 x269 x268 -x267 -x266 -x265 -x264
1800.07/1800.63 v x263 x262 -x261 x260 -x259 -x258 -x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 x246 -x245 -x244 x243 -x242 x241
1800.07/1800.63 v -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 x230 -x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219
1800.07/1800.63 v -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 x206 -x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196
1800.07/1800.63 v x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173
1800.07/1800.63 v -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 x158 -x157 -x156 x155 -x154 x153 -x152 x151 -x150
1800.07/1800.63 v x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128
1800.07/1800.63 v x127 -x126 x125 -x124 x123 x122 -x121 x120 -x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105
1800.07/1800.63 v -x104 x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78
1800.07/1800.63 v x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51
1800.07/1800.63 v -x50 x49 -x48 x47 -x46 x45 -x44 x43 x42 -x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 x28 -x27 -x26 x25 -x24 x23
1800.07/1800.63 v -x22 x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.07/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.63 c Solving Time : 1764.09
1800.07/1800.63 c Original Problem :
1800.07/1800.63 c Problem name : HOME/instance-2667553-1276459993.opb
1800.07/1800.63 c Variables : 1848 (1848 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.63 c Constraints : 14727 initial, 14727 maximal
1800.07/1800.63 c Presolved Problem :
1800.07/1800.63 c Problem name : t_HOME/instance-2667553-1276459993.opb
1800.07/1800.63 c Variables : 1848 (1848 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.63 c Constraints : 14723 initial, 14757 maximal
1800.07/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c implics : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.63 c probing : 0.63 0 0 0 0 0 0 0 0
1800.07/1800.63 c linear : 0.14 0 0 0 0 0 4 0 0
1800.07/1800.63 c logicor : 0.09 0 0 0 0 0 0 0 0
1800.07/1800.63 c root node : - 0 - - 0 - - - -
1800.07/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.63 c logicor : 14723+ 21 1968068 0 1 274928 2020196 0 0 0
1800.07/1800.63 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.07/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.63 c integral : 35.71 0.00 0.00 35.71 0.00
1800.07/1800.63 c logicor : 694.11 0.05 694.06 0.00 0.00
1800.07/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.63 c vbounds : 2.83 2 0 0
1800.07/1800.63 c rootredcost : 3.02 1 0 0
1800.07/1800.63 c pseudoobj : 597.03 5932052 268787 16590652
1800.07/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.63 c propagation : 671.17 274928 274928 274928 72.1 97 14.3 -
1800.07/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c pseudo solution : 205.79 172497 0 0 0.0 0 0.0 -
1800.07/1800.63 c applied globally : - - - 275025 72.1 - - -
1800.07/1800.63 c applied locally : - - - 0 0.0 - - -
1800.07/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.63 c cut pool : 0.01 20 - - 234 - (maximal pool size: 1175)
1800.07/1800.63 c redcost : 0.00 21 0 0 0 0
1800.07/1800.63 c impliedbounds : 0.11 21 0 0 0 0
1800.07/1800.63 c intobj : 0.00 0 0 0 0 0
1800.07/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.63 c gomory : 15.04 21 0 0 9000 0
1800.07/1800.63 c strongcg : 12.40 20 0 0 9000 0
1800.07/1800.63 c cmir : 1.67 10 0 0 0 0
1800.07/1800.63 c flowcover : 1.19 10 0 0 0 0
1800.07/1800.63 c clique : 0.08 1 0 0 0 0
1800.07/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.63 c mcf : 0.16 1 0 0 0 0
1800.07/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.63 c Pricers : Time Calls Vars
1800.07/1800.63 c problem variables: 0.00 0 0
1800.07/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c relpscost : 35.71 1 0 0 0 0 2
1800.07/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.63 c inference : 24.35 868291 0 0 0 0 1736582
1800.07/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.63 c random : 0.00 0 0 0 0 0 0
1800.07/1800.63 c Primal Heuristics : Time Calls Found
1800.07/1800.63 c LP solutions : 0.00 - 0
1800.07/1800.63 c pseudo solutions : 0.00 - 1
1800.07/1800.63 c oneopt : 1.61 0 0
1800.07/1800.63 c crossover : 0.00 0 0
1800.07/1800.63 c trivial : 0.02 2 0
1800.07/1800.63 c simplerounding : 0.00 0 0
1800.07/1800.63 c zirounding : 0.00 1 0
1800.07/1800.63 c rounding : 0.11 21 0
1800.07/1800.63 c shifting : 0.72 21 0
1800.07/1800.63 c intshifting : 0.00 0 0
1800.07/1800.63 c twoopt : 0.00 0 0
1800.07/1800.63 c fixandinfer : 0.00 0 0
1800.07/1800.63 c feaspump : 15.41 1 0
1800.07/1800.63 c coefdiving : 0.00 0 0
1800.07/1800.63 c pscostdiving : 0.00 0 0
1800.07/1800.63 c fracdiving : 0.00 0 0
1800.07/1800.63 c veclendiving : 0.00 0 0
1800.07/1800.63 c intdiving : 0.00 0 0
1800.07/1800.63 c actconsdiving : 0.00 0 0
1800.07/1800.63 c objpscostdiving : 0.00 0 0
1800.07/1800.63 c rootsoldiving : 0.00 0 0
1800.07/1800.63 c linesearchdiving : 0.00 0 0
1800.07/1800.63 c guideddiving : 0.00 0 0
1800.07/1800.63 c octane : 0.00 0 0
1800.07/1800.63 c rens : 0.01 0 0
1800.07/1800.63 c rins : 0.00 0 0
1800.07/1800.63 c localbranching : 0.00 0 0
1800.07/1800.63 c mutation : 0.00 0 0
1800.07/1800.63 c dins : 0.00 0 0
1800.07/1800.63 c undercover : 0.00 0 0
1800.07/1800.63 c nlp : 0.76 0 0
1800.07/1800.63 c trysol : 1.06 0 0
1800.07/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.63 c primal LP : 0.04 0 0 0.00 0.00
1800.07/1800.63 c dual LP : 18.35 21 10106 481.24 550.74
1800.07/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.63 c diving/probing LP: 15.00 99 7258 73.31 483.87
1800.07/1800.63 c strong branching : 35.71 27 15815 585.74 442.87
1800.07/1800.63 c (at root node) : - 27 15815 585.74 -
1800.07/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.63 c B&B Tree :
1800.07/1800.63 c number of runs : 1
1800.07/1800.63 c nodes : 1487375
1800.07/1800.63 c nodes (total) : 1487375
1800.07/1800.63 c nodes left : 68
1800.07/1800.63 c max depth : 151
1800.07/1800.63 c max depth (total): 151
1800.07/1800.63 c backtracks : 323303 (21.7%)
1800.07/1800.63 c delayed cutoffs : 97795
1800.07/1800.63 c repropagations : 224963 (3465090 domain reductions, 97130 cutoffs)
1800.07/1800.63 c avg switch length: 2.00
1800.07/1800.63 c switching time : 55.43
1800.07/1800.63 c Solution :
1800.07/1800.63 c Solutions found : 1 (1 improvements)
1800.07/1800.63 c First Solution : +8.61000000000000e+02 (in run 1, after 641 nodes, 104.46 seconds, depth 151, found by <relaxation>)
1800.07/1800.63 c Primal Bound : +8.61000000000000e+02 (in run 1, after 641 nodes, 104.46 seconds, depth 151, found by <relaxation>)
1800.07/1800.63 c Dual Bound : +4.00407773254403e+02
1800.07/1800.63 c Gap : 115.03 %
1800.07/1800.63 c Root Dual Bound : +4.00407773254403e+02
1800.07/1800.63 c Root Iterations : 17364
1800.18/1800.72 c Time complete: 1800.18.