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-2667545-1276453587.opb>
0.09/0.12 c original problem has 660 variables (660 bin, 0 int, 0 impl, 0 cont) and 5350 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.15 c presolving:
0.19/0.26 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5212 upgd conss, 36756 impls, 0 clqs
0.19/0.28 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5350 upgd conss, 36756 impls, 0 clqs
0.29/0.35 c (0.2s) probing: 101/660 (15.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.35 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.35 c presolving (3 rounds):
0.29/0.35 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.35 c 36756 implications, 0 cliques
0.29/0.35 c presolved problem has 660 variables (660 bin, 0 int, 0 impl, 0 cont) and 5350 constraints
0.29/0.35 c 5350 constraints of type <logicor>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.18
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 1.2.1.2
0.29/0.35 c
0.29/0.35 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c conflict/interconss = 0
0.29/0.35 c
0.29/0.35 c # should binary conflicts be preferred?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c conflict/preferbinary = TRUE
0.29/0.35 c
0.29/0.35 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c constraints/agelimit = 1
0.29/0.35 c
0.29/0.35 c # should enforcement of pseudo solution be disabled?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/disableenfops = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for displaying node information lines
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35 c display/freq = 10000
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1799.89
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 1620
0.29/0.35 c
0.29/0.35 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c lp/solvefreq = 0
0.29/0.35 c
0.29/0.35 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.29/0.35 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.35 c lp/pricing = a
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify inequalities
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/linear/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify knapsacks
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # priority of node selection rule <dfs> in standard mode
0.29/0.35 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.35 c nodeselection/dfs/stdpriority = 1000000
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
0.69/0.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.73 c 0.6s| 1 | 0 | 1237 | - |9642k| 0 | 434 | 660 |5350 | 660 |5350 | 0 | 0 | 0 | 2.170000e+02 | -- | Inf
4.19/4.24 c 4.0s| 1 | 0 | 4932 | - |9875k| 0 | 431 | 660 |5350 | 660 |5356 | 6 | 0 | 0 | 2.185000e+02 | -- | Inf
4.40/4.49 c 4.2s| 1 | 0 | 4970 | - |9996k| 0 | 428 | 660 |5350 | 660 |5362 | 12 | 0 | 0 | 2.200000e+02 | -- | Inf
4.79/4.86 c 4.6s| 1 | 0 | 5049 | - | 10M| 0 | 426 | 660 |5350 | 660 |5367 | 17 | 0 | 0 | 2.210000e+02 | -- | Inf
5.19/5.22 c 4.9s| 1 | 0 | 5098 | - | 10M| 0 | 423 | 660 |5350 | 660 |5372 | 22 | 0 | 0 | 2.225000e+02 | -- | Inf
5.39/5.48 c 5.2s| 1 | 0 | 5149 | - | 10M| 0 | 422 | 660 |5350 | 660 |5378 | 28 | 0 | 0 | 2.230000e+02 | -- | Inf
5.79/5.84 c 5.5s| 1 | 0 | 5216 | - | 10M| 0 | 422 | 660 |5350 | 660 |5383 | 33 | 0 | 0 | 2.230000e+02 | -- | Inf
6.19/6.27 c 6.0s| 1 | 0 | 5312 | - | 10M| 0 | 420 | 660 |5350 | 660 |5386 | 36 | 0 | 0 | 2.240000e+02 | -- | Inf
6.60/6.65 c 6.3s| 1 | 0 | 5391 | - | 10M| 0 | 420 | 660 |5350 | 660 |5390 | 40 | 0 | 0 | 2.250000e+02 | -- | Inf
7.09/7.14 c 6.8s| 1 | 0 | 5442 | - | 10M| 0 | 420 | 660 |5350 | 660 |5392 | 42 | 0 | 0 | 2.255000e+02 | -- | Inf
7.49/7.57 c 7.2s| 1 | 0 | 5474 | - | 10M| 0 | 420 | 660 |5350 | 660 |5395 | 45 | 0 | 0 | 2.260000e+02 | -- | Inf
7.80/7.88 c 7.5s| 1 | 0 | 5495 | - | 10M| 0 | 416 | 660 |5350 | 660 |5399 | 49 | 0 | 0 | 2.260000e+02 | -- | Inf
8.29/8.36 c 8.0s| 1 | 0 | 5518 | - | 10M| 0 | 416 | 660 |5350 | 660 |5398 | 50 | 0 | 0 | 2.260000e+02 | -- | Inf
8.80/8.83 c 8.4s| 1 | 0 | 5559 | - | 10M| 0 | 416 | 660 |5350 | 660 |5401 | 53 | 0 | 0 | 2.260000e+02 | -- | Inf
9.29/9.32 c 8.9s| 1 | 0 | 5564 | - | 10M| 0 | 416 | 660 |5350 | 660 |5403 | 55 | 0 | 0 | 2.260000e+02 | -- | Inf
9.79/9.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.79/9.89 c 9.5s| 1 | 0 | 5618 | - | 10M| 0 | 416 | 660 |5350 | 660 |5404 | 56 | 0 | 0 | 2.260000e+02 | -- | Inf
19.89/19.95 c 19.4s| 1 | 2 | 5618 | - | 10M| 0 | 416 | 660 |5350 | 660 |5404 | 56 | 0 | 17 | 2.260000e+02 | -- | Inf
19.89/19.99 o 324
19.89/19.99 c *19.4s| 42 | 11 | 5618 | 0.0 | 10M| 24 | - | 660 |5357 | 0 | 0 | 56 | 11 | 17 | 2.265000e+02 | 3.240000e+02 | 43.05%
19.99/20.01 o 321
19.99/20.01 c *19.5s| 109 | 17 | 5618 | 0.0 | 10M| 33 | - | 660 |5357 | 0 | 0 | 56 | 21 | 17 | 2.265000e+02 | 3.210000e+02 | 41.72%
19.99/20.01 o 311
19.99/20.01 c *19.5s| 143 | 42 | 5618 | 0.0 | 10M| 56 | - | 660 |5358 | 0 | 0 | 56 | 22 | 17 | 2.265000e+02 | 3.110000e+02 | 37.31%
19.99/20.02 o 310
19.99/20.02 c *19.5s| 164 | 28 | 5618 | 0.0 | 10M| 56 | - | 660 |5358 | 0 | 0 | 56 | 25 | 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
23.38/23.48 c 22.8s| 10000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5359 | 0 | 0 | 56 |2232 | 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
26.88/26.99 c 26.1s| 20000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5360 | 0 | 0 | 56 |4510 | 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
30.48/30.50 c 29.4s| 30000 | 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5362 | 0 | 0 | 56 |6717 | 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
33.78/33.86 c 32.6s| 40000 | 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5359 | 0 | 0 | 56 |8875 | 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
37.18/37.20 c 35.8s| 50000 | 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5358 | 0 | 0 | 56 | 10k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
40.48/40.50 c 38.9s| 60000 | 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5352 | 0 | 0 | 56 | 12k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
43.98/44.05 c 42.2s| 70000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5355 | 0 | 0 | 56 | 14k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
47.39/47.46 c 45.5s| 80000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5352 | 0 | 0 | 56 | 16k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
50.97/51.07 c 48.9s| 90000 | 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5353 | 0 | 0 | 56 | 19k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
54.87/54.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.87/54.90 c 52.5s|100000 | 26 | 5618 | 0.0 | 10M| 56 | - | 660 |5362 | 0 | 0 | 56 | 21k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
58.17/58.27 c 55.7s|110000 | 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5368 | 0 | 0 | 56 | 23k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
62.57/62.63 c 59.9s|120000 | 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5387 | 0 | 0 | 56 | 26k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
66.16/66.24 c 63.2s|130000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5386 | 0 | 0 | 56 | 29k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
69.47/69.54 c 66.4s|140000 | 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5385 | 0 | 0 | 56 | 31k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
72.77/72.87 c 69.5s|150000 | 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5385 | 0 | 0 | 56 | 33k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
76.46/76.59 c 73.0s|160000 | 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5395 | 0 | 0 | 56 | 35k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
79.96/80.05 c 76.3s|170000 | 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5389 | 0 | 0 | 56 | 38k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
83.36/83.49 c 79.5s|180000 | 17 | 5618 | 0.0 | 10M| 56 | - | 660 |5390 | 0 | 0 | 56 | 40k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
86.87/86.92 c 82.8s|190000 | 24 | 5618 | 0.0 | 10M| 56 | - | 660 |5392 | 0 | 0 | 56 | 42k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
90.16/90.27 c 86.0s|200000 | 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5398 | 0 | 0 | 56 | 44k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
93.86/93.98 c 89.5s|210000 | 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5387 | 0 | 0 | 56 | 47k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
97.35/97.41 c 92.8s|220000 | 25 | 5618 | 0.0 | 10M| 56 | - | 660 |5394 | 0 | 0 | 56 | 49k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
101.16/101.21 c 96.4s|230000 | 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5393 | 0 | 0 | 56 | 51k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
104.96/105.09 c 100s|240000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5367 | 0 | 0 | 56 | 54k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
109.05/109.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.05/109.13 c 104s|250000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5378 | 0 | 0 | 56 | 56k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
112.95/113.01 c 108s|260000 | 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5374 | 0 | 0 | 56 | 59k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
116.85/116.91 c 111s|270000 | 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5389 | 0 | 0 | 56 | 61k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
120.54/120.70 c 115s|280000 | 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5379 | 0 | 0 | 56 | 64k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
124.15/124.26 c 118s|290000 | 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5408 | 0 | 0 | 56 | 66k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
127.95/128.00 c 122s|300000 | 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5388 | 0 | 0 | 56 | 69k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
131.54/131.68 c 125s|310000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5392 | 0 | 0 | 56 | 72k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
135.25/135.31 c 129s|320000 | 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5404 | 0 | 0 | 56 | 74k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
138.94/139.02 c 132s|330000 | 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5408 | 0 | 0 | 56 | 77k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
142.95/143.08 c 136s|340000 | 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5434 | 0 | 0 | 56 | 80k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
147.04/147.13 c 140s|350000 | 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5404 | 0 | 0 | 56 | 84k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
150.54/150.67 c 143s|360000 | 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5403 | 0 | 0 | 56 | 86k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
154.33/154.49 c 147s|370000 | 17 | 5618 | 0.0 | 10M| 56 | - | 660 |5403 | 0 | 0 | 56 | 89k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
158.23/158.40 c 151s|380000 | 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5409 | 0 | 0 | 56 | 93k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
162.93/163.02 c 155s|390000 | 30 | 5618 | 0.0 | 10M| 56 | - | 660 |5422 | 0 | 0 | 56 | 96k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
167.03/167.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.03/167.16 c 159s|400000 | 25 | 5618 | 0.0 | 10M| 56 | - | 660 |5425 | 0 | 0 | 56 | 100k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
171.13/171.28 c 163s|410000 | 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5417 | 0 | 0 | 56 | 104k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
174.73/174.82 c 166s|420000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5418 | 0 | 0 | 56 | 106k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
178.03/178.19 c 169s|430000 | 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5418 | 0 | 0 | 56 | 108k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
181.63/181.79 c 173s|440000 | 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5420 | 0 | 0 | 56 | 111k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
185.23/185.35 c 176s|450000 | 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5415 | 0 | 0 | 56 | 113k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
188.92/189.07 c 180s|460000 | 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5417 | 0 | 0 | 56 | 115k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
192.63/192.79 c 183s|470000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5427 | 0 | 0 | 56 | 118k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
196.42/196.50 c 187s|480000 | 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5420 | 0 | 0 | 56 | 120k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
199.92/200.00 c 190s|490000 | 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5429 | 0 | 0 | 56 | 123k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
203.42/203.59 c 193s|500000 | 24 | 5618 | 0.0 | 10M| 56 | - | 660 |5430 | 0 | 0 | 56 | 125k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
206.92/207.05 c 197s|510000 | 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5438 | 0 | 0 | 56 | 127k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
210.52/210.61 c 200s|520000 | 9 | 5618 | 0.0 | 10M| 56 | - | 660 |5441 | 0 | 0 | 56 | 130k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
214.01/214.18 c 203s|530000 | 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5453 | 0 | 0 | 56 | 132k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
217.72/217.88 c 207s|540000 | 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5433 | 0 | 0 | 56 | 134k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
221.31/221.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.31/221.43 c 210s|550000 | 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5437 | 0 | 0 | 56 | 137k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
224.91/225.03 c 214s|560000 | 17 | 5618 | 0.0 | 10M| 56 | - | 660 |5437 | 0 | 0 | 56 | 139k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
228.41/228.59 c 217s|570000 | 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5456 | 0 | 0 | 56 | 141k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
232.01/232.12 c 220s|580000 | 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5426 | 0 | 0 | 56 | 144k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
235.42/235.56 c 224s|590000 | 9 | 5618 | 0.0 | 10M| 56 | - | 660 |5456 | 0 | 0 | 56 | 146k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
239.31/239.41 c 227s|600000 | 10 | 5618 | 0.0 | 10M| 56 | - | 660 |5453 | 0 | 0 | 56 | 149k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
243.31/243.49 c 231s|610000 | 24 | 5618 | 0.0 | 10M| 56 | - | 660 |5387 | 0 | 0 | 56 | 152k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
247.51/247.61 c 235s|620000 | 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5391 | 0 | 0 | 56 | 156k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
251.31/251.41 c 239s|630000 | 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5402 | 0 | 0 | 56 | 160k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
255.21/255.35 c 242s|640000 | 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5392 | 0 | 0 | 56 | 164k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
259.00/259.17 c 246s|650000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5400 | 0 | 0 | 56 | 167k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
262.60/262.76 c 249s|660000 | 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5399 | 0 | 0 | 56 | 170k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
266.39/266.55 c 253s|670000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5402 | 0 | 0 | 56 | 174k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
270.40/270.55 c 257s|680000 | 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5397 | 0 | 0 | 56 | 178k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
274.29/274.49 c 261s|690000 | 9 | 5618 | 0.0 | 10M| 56 | - | 660 |5406 | 0 | 0 | 56 | 181k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
278.39/278.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.39/278.58 c 264s|700000 | 22 | 5618 | 0.0 | 10M| 56 | - | 660 |5393 | 0 | 0 | 56 | 184k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
282.48/282.67 c 268s|710000 | 24 | 5618 | 0.0 | 10M| 56 | - | 660 |5396 | 0 | 0 | 56 | 188k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
286.39/286.60 c 272s|720000 | 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5397 | 0 | 0 | 56 | 192k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
290.08/290.20 c 276s|730000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5411 | 0 | 0 | 56 | 195k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
293.98/294.14 c 279s|740000 | 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5402 | 0 | 0 | 56 | 198k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
297.78/297.90 c 283s|750000 | 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5421 | 0 | 0 | 56 | 201k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
301.18/301.40 c 286s|760000 | 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5399 | 0 | 0 | 56 | 204k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
304.88/305.00 c 290s|770000 | 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5396 | 0 | 0 | 56 | 207k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
308.88/309.09 c 293s|780000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5401 | 0 | 0 | 56 | 210k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
313.08/313.23 c 297s|790000 | 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5409 | 0 | 0 | 56 | 213k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
317.07/317.30 c 301s|800000 | 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5432 | 0 | 0 | 56 | 216k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
321.48/321.60 c 305s|810000 | 28 | 5618 | 0.0 | 10M| 56 | - | 660 |5412 | 0 | 0 | 56 | 220k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
325.38/325.52 c 309s|820000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5417 | 0 | 0 | 56 | 224k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
329.27/329.46 c 313s|830000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5412 | 0 | 0 | 56 | 227k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
333.87/334.05 c 317s|840000 | 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5403 | 0 | 0 | 56 | 230k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
337.58/337.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.58/337.78 c 321s|850000 | 25 | 5618 | 0.0 | 10M| 56 | - | 660 |5401 | 0 | 0 | 56 | 234k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
340.47/340.66 c 323s|860000 | 24 | 5618 | 0.0 | 10M| 56 | - | 660 |5397 | 0 | 0 | 56 | 235k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
343.37/343.52 c 326s|870000 | 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5400 | 0 | 0 | 56 | 237k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
346.27/346.48 c 329s|880000 | 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5406 | 0 | 0 | 56 | 239k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
349.16/349.35 c 332s|890000 | 28 | 5618 | 0.0 | 10M| 56 | - | 660 |5398 | 0 | 0 | 56 | 240k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
352.06/352.29 c 334s|900000 | 22 | 5618 | 0.0 | 10M| 56 | - | 660 |5400 | 0 | 0 | 56 | 242k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
355.36/355.53 c 337s|910000 | 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5397 | 0 | 0 | 56 | 244k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
358.57/358.75 c 340s|920000 | 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5403 | 0 | 0 | 56 | 246k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
361.87/362.05 c 344s|930000 | 22 | 5618 | 0.0 | 10M| 56 | - | 660 |5405 | 0 | 0 | 56 | 248k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
365.26/365.45 c 347s|940000 | 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5423 | 0 | 0 | 56 | 250k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
368.66/368.84 c 350s|950000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5412 | 0 | 0 | 56 | 253k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
372.15/372.34 c 353s|960000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5413 | 0 | 0 | 56 | 256k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
375.56/375.77 c 356s|970000 | 22 | 5618 | 0.0 | 10M| 56 | - | 660 |5423 | 0 | 0 | 56 | 259k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
378.96/379.11 c 360s|980000 | 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5408 | 0 | 0 | 56 | 261k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
382.56/382.76 c 363s|990000 | 22 | 5618 | 0.0 | 10M| 56 | - | 660 |5405 | 0 | 0 | 56 | 264k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
386.16/386.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.16/386.31 c 366s| 1000k| 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5414 | 0 | 0 | 56 | 267k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
389.76/389.92 c 370s| 1010k| 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5421 | 0 | 0 | 56 | 270k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
393.45/393.64 c 373s| 1020k| 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5417 | 0 | 0 | 56 | 273k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
397.05/397.22 c 377s| 1030k| 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5425 | 0 | 0 | 56 | 276k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
400.75/400.92 c 380s| 1040k| 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5414 | 0 | 0 | 56 | 279k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
404.76/404.93 c 384s| 1050k| 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5424 | 0 | 0 | 56 | 283k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
408.75/408.94 c 388s| 1060k| 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5415 | 0 | 0 | 56 | 286k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
412.54/412.77 c 392s| 1070k| 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5426 | 0 | 0 | 56 | 289k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
416.34/416.56 c 395s| 1080k| 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5427 | 0 | 0 | 56 | 292k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
420.14/420.34 c 399s| 1090k| 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5426 | 0 | 0 | 56 | 295k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
423.84/424.03 c 402s| 1100k| 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5431 | 0 | 0 | 56 | 298k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
427.54/427.77 c 406s| 1110k| 10 | 5618 | 0.0 | 10M| 56 | - | 660 |5451 | 0 | 0 | 56 | 301k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
431.44/431.66 c 410s| 1120k| 25 | 5618 | 0.0 | 10M| 56 | - | 660 |5407 | 0 | 0 | 56 | 304k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
435.33/435.58 c 413s| 1130k| 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5409 | 0 | 0 | 56 | 308k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
439.23/439.41 c 417s| 1140k| 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5400 | 0 | 0 | 56 | 312k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
442.93/443.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.93/443.14 c 420s| 1150k| 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5408 | 0 | 0 | 56 | 315k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
446.54/446.73 c 424s| 1160k| 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5407 | 0 | 0 | 56 | 318k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
450.13/450.36 c 427s| 1170k| 17 | 5618 | 0.0 | 10M| 56 | - | 660 |5421 | 0 | 0 | 56 | 321k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
453.63/453.89 c 431s| 1180k| 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5417 | 0 | 0 | 56 | 324k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
457.33/457.60 c 434s| 1190k| 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5432 | 0 | 0 | 56 | 327k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
460.93/461.20 c 438s| 1200k| 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5421 | 0 | 0 | 56 | 329k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
465.13/465.37 c 442s| 1210k| 25 | 5618 | 0.0 | 10M| 56 | - | 660 |5393 | 0 | 0 | 56 | 332k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
469.42/469.66 c 446s| 1220k| 24 | 5618 | 0.0 | 10M| 56 | - | 660 |5393 | 0 | 0 | 56 | 337k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
473.52/473.79 c 450s| 1230k| 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5393 | 0 | 0 | 56 | 341k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
477.72/477.98 c 453s| 1240k| 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5393 | 0 | 0 | 56 | 345k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
481.42/481.64 c 457s| 1250k| 21 | 5618 | 0.0 | 10M| 56 | - | 660 |5391 | 0 | 0 | 56 | 348k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
484.72/484.90 c 460s| 1260k| 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5390 | 0 | 0 | 56 | 350k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
487.71/487.90 c 463s| 1270k| 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5390 | 0 | 0 | 56 | 352k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
491.01/491.26 c 466s| 1280k| 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5399 | 0 | 0 | 56 | 354k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
494.61/494.83 c 469s| 1290k| 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5391 | 0 | 0 | 56 | 357k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
498.22/498.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.22/498.45 c 473s| 1300k| 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5410 | 0 | 0 | 56 | 360k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
501.61/501.82 c 476s| 1310k| 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5395 | 0 | 0 | 56 | 362k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
505.11/505.37 c 479s| 1320k| 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5404 | 0 | 0 | 56 | 365k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
509.12/509.31 c 483s| 1330k| 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5398 | 0 | 0 | 56 | 368k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
512.42/512.69 c 486s| 1340k| 23 | 5618 | 0.0 | 10M| 56 | - | 660 |5405 | 0 | 0 | 56 | 370k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
516.30/516.58 c 490s| 1350k| 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5421 | 0 | 0 | 56 | 373k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
519.90/520.16 c 493s| 1360k| 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5402 | 0 | 0 | 56 | 376k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
523.41/523.68 c 497s| 1370k| 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5396 | 0 | 0 | 56 | 379k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
527.00/527.22 c 500s| 1380k| 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5423 | 0 | 0 | 56 | 382k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
530.80/531.00 c 504s| 1390k| 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5434 | 0 | 0 | 56 | 385k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
534.80/535.08 c 508s| 1400k| 15 | 5618 | 0.0 | 10M| 56 | - | 660 |5410 | 0 | 0 | 56 | 388k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
538.60/538.88 c 511s| 1410k| 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5390 | 0 | 0 | 56 | 392k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
542.49/542.79 c 515s| 1420k| 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5395 | 0 | 0 | 56 | 395k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
546.29/546.54 c 518s| 1430k| 19 | 5618 | 0.0 | 10M| 56 | - | 660 |5403 | 0 | 0 | 56 | 398k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
550.19/550.46 c 522s| 1440k| 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5406 | 0 | 0 | 56 | 401k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
553.89/554.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.89/554.12 c 526s| 1450k| 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5406 | 0 | 0 | 56 | 404k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
557.60/557.86 c 529s| 1460k| 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5406 | 0 | 0 | 56 | 408k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
561.29/561.54 c 533s| 1470k| 10 | 5618 | 0.0 | 10M| 56 | - | 660 |5415 | 0 | 0 | 56 | 411k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
566.09/566.39 c 537s| 1480k| 7 | 5618 | 0.0 | 10M| 56 | - | 660 |5389 | 0 | 0 | 56 | 414k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
570.19/570.49 c 541s| 1490k| 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5421 | 0 | 0 | 56 | 417k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
573.49/573.72 c 544s| 1500k| 17 | 5618 | 0.0 | 10M| 56 | - | 660 |5423 | 0 | 0 | 56 | 419k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
576.69/576.99 c 547s| 1510k| 18 | 5618 | 0.0 | 10M| 56 | - | 660 |5440 | 0 | 0 | 56 | 421k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
579.98/580.20 c 550s| 1520k| 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5454 | 0 | 0 | 56 | 423k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
583.09/583.35 c 553s| 1530k| 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5468 | 0 | 0 | 56 | 425k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
586.48/586.79 c 556s| 1540k| 13 | 5618 | 0.0 | 10M| 56 | - | 660 |5426 | 0 | 0 | 56 | 428k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
589.78/590.07 c 560s| 1550k| 10 | 5618 | 0.0 | 10M| 56 | - | 660 |5436 | 0 | 0 | 56 | 430k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
593.48/593.72 c 563s| 1560k| 14 | 5618 | 0.0 | 10M| 56 | - | 660 |5469 | 0 | 0 | 56 | 433k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
596.87/597.16 c 566s| 1570k| 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5452 | 0 | 0 | 56 | 436k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
600.39/600.63 c 570s| 1580k| 10 | 5618 | 0.0 | 10M| 56 | - | 660 |5447 | 0 | 0 | 56 | 439k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
604.17/604.40 c 573s| 1590k| 20 | 5618 | 0.0 | 10M| 56 | - | 660 |5398 | 0 | 0 | 56 | 441k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
607.47/607.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.47/607.72 c 576s| 1600k| 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5398 | 0 | 0 | 56 | 444k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
610.77/611.05 c 579s| 1610k| 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5409 | 0 | 0 | 56 | 446k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
614.07/614.33 c 583s| 1620k| 10 | 5618 | 0.0 | 10M| 56 | - | 660 |5413 | 0 | 0 | 56 | 448k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
617.37/617.68 c 586s| 1630k| 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5440 | 0 | 0 | 56 | 451k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
620.56/620.88 c 589s| 1640k| 16 | 5618 | 0.0 | 10M| 56 | - | 660 |5445 | 0 | 0 | 56 | 453k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
624.37/624.68 c 592s| 1650k| 12 | 5618 | 0.0 | 10M| 56 | - | 660 |5450 | 0 | 0 | 56 | 455k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
627.98/628.26 c 596s| 1660k| 9 | 5618 | 0.0 | 10M| 56 | - | 660 |5477 | 0 | 0 | 56 | 458k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
631.36/631.67 c 599s| 1670k| 11 | 5618 | 0.0 | 10M| 56 | - | 660 |5483 | 0 | 0 | 56 | 460k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
634.86/635.12 c 602s| 1680k| 10 | 5618 | 0.0 | 10M| 56 | - | 660 |5486 | 0 | 0 | 56 | 463k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
638.76/639.02 c 606s| 1690k| 10 | 5618 | 0.0 | 10M| 56 | - | 660 |5479 | 0 | 0 | 56 | 466k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
643.06/643.32 c 610s| 1700k| 4 | 5618 | 0.0 | 10M| 56 | - | 660 |5412 | 0 | 0 | 56 | 470k| 17 | 2.265000e+02 | 3.100000e+02 | 36.87%
643.27/643.59 c
643.27/643.59 c SCIP Status : problem is solved [optimal solution found]
643.27/643.59 c Solving Time (sec) : 610.15
643.27/643.59 c Solving Nodes : 1700243
643.27/643.59 c Primal Bound : +3.10000000000000e+02 (4 solutions)
643.27/643.59 c Dual Bound : +3.10000000000000e+02
643.27/643.59 c Gap : 0.00 %
643.27/643.59 s OPTIMUM FOUND
643.27/643.59 v -x660 x659 x658 -x657 x656 -x655 -x654 x653 x652 -x651 x650 -x649 -x648 x647 x646 -x645 x644 -x643 -x642 x641 x640 -x639 x638 -x637
643.27/643.59 v -x636 x635 -x634 -x633 x632 -x631 -x630 x629 x628 -x627 x626 -x625 -x624 x623 x622 -x621 x620 -x619 -x618 -x617 -x616 x615
643.27/643.59 v x614 -x613 -x612 x611 x610 -x609 x608 -x607 -x606 x605 x604 -x603 x602 -x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 -x592
643.27/643.59 v x591 x590 -x589 x588 -x587 -x586 x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 x576 -x575 -x574 x573 x572 -x571 x570
643.27/643.59 v -x569 -x568 x567 x566 -x565 x564 -x563 x562 -x561 -x560 x559 x558 -x557 -x556 x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547
643.27/643.59 v -x546 x545 x544 -x543 x542 -x541 x540 -x539 -x538 x537 x536 -x535 x534 -x533 -x532 x531 x530 -x529 -x528 x527 x526 -x525 x524
643.27/643.59 v -x523 -x522 x521 x520 -x519 x518 -x517 -x516 x515 x514 -x513 x512 -x511 -x510 -x509 -x508 x507 x506 -x505 x504 -x503 -x502
643.27/643.59 v x501 x500 -x499 -x498 x497 x496 -x495 x494 -x493 x492 -x491 -x490 x489 x488 -x487 x486 -x485 -x484 x483 x482 -x481 x480 -x479
643.27/643.59 v -x478 x477 x476 -x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467 -x466 x465 x464 -x463 x462 -x461 -x460 x459 x458 -x457 -x456
643.27/643.59 v x455 x454 -x453 x452 -x451 x450 -x449 -x448 x447 x446 -x445 -x444 x443 x442 -x441 x440 -x439 -x438 x437 x436 -x435 x434 -x433
643.27/643.59 v -x432 x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423 x422 -x421 -x420 x419 x418 -x417 x416 -x415 -x414 x413 -x412 -x411
643.27/643.59 v x410 -x409 -x408 x407 x406 -x405 x404 -x403 x402 -x401 -x400 x399 x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 x389 x388
643.27/643.59 v -x387 x386 -x385 -x384 x383 -x382 x381 x380 -x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 x370 -x369 -x368 x367 -x366
643.27/643.59 v x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343
643.27/643.59 v -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320
643.27/643.59 v x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297
643.27/643.59 v -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275
643.27/643.59 v -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252
643.27/643.59 v x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229
643.27/643.59 v -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 x218 -x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206
643.27/643.59 v x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184
643.27/643.59 v x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 x166 -x165 -x164 x163 x162 -x161
643.27/643.59 v -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138
643.27/643.59 v x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 x122 -x121 -x120 -x119 -x118 x117 -x116
643.27/643.59 v x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 x104 -x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 x94 -x93 -x92
643.27/643.59 v x91 -x90 x89 -x88 x87 -x86 x85 -x84 -x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 -x73 -x72 x71 -x70 x69 -x68 x67 -x66 -x65
643.27/643.59 v -x64 x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 x43 -x42 x41 -x40 -x39 -x38
643.27/643.59 v x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 x25 -x24 x23 x22 -x21 -x20 x19 -x18 x17 x16 -x15 -x14 x13 -x12 x11
643.27/643.59 v -x10 x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 x1
643.27/643.59 c SCIP Status : problem is solved [optimal solution found]
643.27/643.59 c Solving Time : 610.15
643.27/643.59 c Original Problem :
643.27/643.59 c Problem name : HOME/instance-2667545-1276453587.opb
643.27/643.59 c Variables : 660 (660 binary, 0 integer, 0 implicit integer, 0 continuous)
643.27/643.59 c Constraints : 5350 initial, 5350 maximal
643.27/643.59 c Presolved Problem :
643.27/643.59 c Problem name : t_HOME/instance-2667545-1276453587.opb
643.27/643.59 c Variables : 660 (660 binary, 0 integer, 0 implicit integer, 0 continuous)
643.27/643.59 c Constraints : 5350 initial, 5521 maximal
643.27/643.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
643.27/643.59 c trivial : 0.00 0 0 0 0 0 0 0 0
643.27/643.59 c dualfix : 0.00 0 0 0 0 0 0 0 0
643.27/643.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
643.27/643.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
643.27/643.59 c implics : 0.00 0 0 0 0 0 0 0 0
643.27/643.59 c probing : 0.04 0 0 0 0 0 0 0 0
643.27/643.59 c logicor : 0.05 0 0 0 0 0 0 0 0
643.27/643.59 c root node : - 406 - - 406 - - - -
643.27/643.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
643.27/643.59 c integral : 0 0 0 1 0 0 0 0 0 2
643.27/643.59 c logicor : 5350+ 15 3211534 0 4 467301 4933696 0 0 0
643.27/643.59 c countsols : 0 0 0 0 4 0 0 0 0 0
643.27/643.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
643.27/643.59 c integral : 9.90 0.00 0.00 9.90 0.00
643.27/643.59 c logicor : 293.76 0.01 293.75 0.00 0.00
643.27/643.59 c countsols : 0.00 0.00 0.00 0.00 0.00
643.27/643.59 c Propagators : Time Calls Cutoffs DomReds
643.27/643.59 c vbounds : 2.00 2 0 0
643.27/643.59 c rootredcost : 1.91 4 0 0
643.27/643.59 c pseudoobj : 167.66 4658669 401992 7045463
643.27/643.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
643.27/643.59 c propagation : 251.58 467302 466663 466663 23.5 3717 44.7 -
643.27/643.59 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
643.27/643.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
643.27/643.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
643.27/643.59 c pseudo solution : 11.92 49690 0 0 0.0 0 0.0 -
643.27/643.59 c applied globally : - - - 470276 23.7 - - -
643.27/643.59 c applied locally : - - - 0 0.0 - - -
643.27/643.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
643.27/643.59 c cut pool : 0.00 14 - - 0 - (maximal pool size: 247)
643.27/643.59 c redcost : 0.00 15 0 0 0 0
643.27/643.59 c impliedbounds : 0.01 15 0 0 0 0
643.27/643.59 c intobj : 0.00 0 0 0 0 0
643.27/643.59 c cgmip : 0.00 0 0 0 0 0
643.27/643.59 c gomory : 2.23 15 0 0 6678 0
643.27/643.59 c strongcg : 2.11 15 0 0 6711 0
643.27/643.59 c cmir : 0.34 10 0 0 0 0
643.27/643.59 c flowcover : 0.18 10 0 0 0 0
643.27/643.59 c clique : 0.03 1 0 0 0 0
643.27/643.59 c zerohalf : 0.00 0 0 0 0 0
643.27/643.59 c mcf : 0.00 1 0 0 0 0
643.27/643.59 c rapidlearning : 0.00 0 0 0 0 0
643.27/643.59 c Pricers : Time Calls Vars
643.27/643.59 c problem variables: 0.00 0 0
643.27/643.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
643.27/643.59 c relpscost : 9.90 1 0 0 0 0 2
643.27/643.59 c pscost : 0.00 0 0 0 0 0 0
643.27/643.59 c inference : 11.82 992849 0 0 0 0 1985698
643.27/643.59 c mostinf : 0.00 0 0 0 0 0 0
643.27/643.59 c leastinf : 0.00 0 0 0 0 0 0
643.27/643.59 c fullstrong : 0.00 0 0 0 0 0 0
643.27/643.59 c allfullstrong : 0.00 0 0 0 0 0 0
643.27/643.59 c random : 0.00 0 0 0 0 0 0
643.27/643.59 c Primal Heuristics : Time Calls Found
643.27/643.59 c LP solutions : 0.00 - 0
643.27/643.59 c pseudo solutions : 0.00 - 4
643.27/643.59 c oneopt : 1.30 0 0
643.27/643.59 c crossover : 0.00 0 0
643.27/643.59 c trivial : 0.02 2 0
643.27/643.59 c simplerounding : 0.00 0 0
643.27/643.59 c zirounding : 0.00 1 0
643.27/643.59 c rounding : 0.05 16 0
643.27/643.59 c shifting : 0.09 16 0
643.27/643.59 c intshifting : 0.00 0 0
643.27/643.59 c twoopt : 0.00 0 0
643.27/643.59 c fixandinfer : 0.00 0 0
643.27/643.59 c feaspump : 3.15 1 0
643.27/643.59 c coefdiving : 0.00 0 0
643.27/643.59 c pscostdiving : 0.00 0 0
643.27/643.59 c fracdiving : 0.00 0 0
643.27/643.59 c veclendiving : 0.00 0 0
643.27/643.59 c intdiving : 0.00 0 0
643.27/643.59 c actconsdiving : 0.00 0 0
643.27/643.59 c objpscostdiving : 0.00 0 0
643.27/643.59 c rootsoldiving : 0.00 0 0
643.27/643.59 c linesearchdiving : 0.00 0 0
643.27/643.59 c guideddiving : 0.00 0 0
643.27/643.59 c octane : 0.00 0 0
643.27/643.59 c rens : 0.00 0 0
643.27/643.59 c rins : 0.00 0 0
643.27/643.59 c localbranching : 0.00 0 0
643.27/643.59 c mutation : 0.00 0 0
643.27/643.59 c dins : 0.00 0 0
643.27/643.59 c undercover : 0.00 0 0
643.27/643.59 c nlp : 0.74 0 0
643.27/643.59 c trysol : 0.98 0 0
643.27/643.59 c LP : Time Calls Iterations Iter/call Iter/sec
643.27/643.59 c primal LP : 0.02 0 0 0.00 0.00
643.27/643.59 c dual LP : 1.03 16 1984 124.00 1926.21
643.27/643.59 c lex dual LP : 0.00 0 0 0.00 -
643.27/643.59 c barrier LP : 0.00 0 0 0.00 -
643.27/643.59 c diving/probing LP: 3.10 23 3634 158.00 1172.26
643.27/643.59 c strong branching : 9.90 17 7760 456.47 783.84
643.27/643.59 c (at root node) : - 17 7760 456.47 -
643.27/643.59 c conflict analysis: 0.00 0 0 0.00 -
643.27/643.59 c B&B Tree :
643.27/643.59 c number of runs : 1
643.27/643.59 c nodes : 1700243
643.27/643.59 c nodes (total) : 1700243
643.27/643.59 c nodes left : 0
643.27/643.59 c max depth : 56
643.27/643.59 c max depth (total): 56
643.27/643.59 c backtracks : 511810 (30.1%)
643.27/643.59 c delayed cutoffs : 267030
643.27/643.59 c repropagations : 472214 (2599579 domain reductions, 211594 cutoffs)
643.27/643.59 c avg switch length: 2.17
643.27/643.59 c switching time : 35.58
643.27/643.59 c Solution :
643.27/643.59 c Solutions found : 4 (4 improvements)
643.27/643.59 c First Solution : +3.24000000000000e+02 (in run 1, after 42 nodes, 19.44 seconds, depth 24, found by <relaxation>)
643.27/643.59 c Primal Bound : +3.10000000000000e+02 (in run 1, after 164 nodes, 19.47 seconds, depth 39, found by <relaxation>)
643.27/643.59 c Dual Bound : +3.10000000000000e+02
643.27/643.59 c Gap : 0.00 %
643.27/643.59 c Root Dual Bound : +2.26000000000000e+02
643.27/643.59 c Root Iterations : 5618
643.36/643.62 c Time complete: 643.39.