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-2664685-1276453563.opb>
0.09/0.11 c original problem has 660 variables (660 bin, 0 int, 0 impl, 0 cont) and 5350 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.11 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.09/0.14 c presolving:
0.19/0.25 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.19
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.9
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 = -1
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.29/0.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.35 c 0.2s| 1 | 2 | 0 | - |6647k| 0 | - | 660 |5350 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 o 324
0.29/0.37 c * 0.2s| 27 | 14 | 0 | 0.0 |6755k| 23 | - | 660 |5352 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | 3.240000e+02 | Large
0.39/0.40 o 319
0.39/0.40 c * 0.3s| 148 | 20 | 0 | 0.0 |6773k| 36 | - | 660 |5353 | 0 | 0 | 0 | 19 | 0 | 1.000000e+00 | 3.190000e+02 | Large
0.39/0.43 o 318
0.39/0.43 c * 0.3s| 235 | 18 | 0 | 0.0 |6782k| 36 | - | 660 |5356 | 0 | 0 | 0 | 34 | 0 | 1.000000e+00 | 3.180000e+02 | Large
0.49/0.58 o 311
0.49/0.58 c * 0.4s| 673 | 33 | 0 | 0.0 |6796k| 50 | - | 660 |5352 | 0 | 0 | 0 | 151 | 0 | 1.000000e+00 | 3.110000e+02 | Large
0.59/0.64 o 310
0.59/0.64 c * 0.5s| 831 | 27 | 0 | 0.0 |6804k| 50 | - | 660 |5356 | 0 | 0 | 0 | 197 | 0 | 1.000000e+00 | 3.100000e+02 | Large
3.89/3.99 c 3.6s| 10000 | 25 | 0 | 0.0 |6803k| 50 | - | 660 |5354 | 0 | 0 | 0 |2595 | 0 | 1.000000e+00 | 3.100000e+02 | Large
7.59/7.70 c 7.2s| 20000 | 26 | 0 | 0.0 |6805k| 50 | - | 660 |5354 | 0 | 0 | 0 |5219 | 0 | 1.000000e+00 | 3.100000e+02 | Large
11.29/11.39 c 10.7s| 30000 | 22 | 0 | 0.0 |6803k| 50 | - | 660 |5352 | 0 | 0 | 0 |7974 | 0 | 1.000000e+00 | 3.100000e+02 | Large
15.09/15.13 c 14.2s| 40000 | 23 | 0 | 0.0 |6805k| 50 | - | 660 |5355 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 3.100000e+02 | Large
18.98/19.02 c 17.9s| 50000 | 16 | 0 | 0.0 |6804k| 50 | - | 660 |5356 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 3.100000e+02 | Large
22.68/22.77 c 21.5s| 60000 | 20 | 0 | 0.0 |6822k| 50 | - | 660 |5355 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 3.100000e+02 | Large
26.38/26.43 c 25.0s| 70000 | 23 | 0 | 0.0 |6822k| 50 | - | 660 |5355 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 3.100000e+02 | Large
30.28/30.35 c 28.7s| 80000 | 17 | 0 | 0.0 |6820k| 50 | - | 660 |5354 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 3.100000e+02 | Large
33.88/33.90 c 32.1s| 90000 | 16 | 0 | 0.0 |6819k| 50 | - | 660 |5352 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 3.100000e+02 | Large
37.48/37.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.48/37.57 c 35.6s|100000 | 15 | 0 | 0.0 |6820k| 50 | - | 660 |5357 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 3.100000e+02 | Large
41.08/41.15 c 39.0s|110000 | 32 | 0 | 0.0 |6854k| 60 | - | 660 |5373 | 0 | 0 | 0 | 28k| 0 | 2.000000e+00 | 3.100000e+02 | Large
44.47/44.56 c 42.1s|120000 | 31 | 0 | 0.0 |6863k| 60 | - | 660 |5381 | 0 | 0 | 0 | 30k| 0 | 2.000000e+00 | 3.100000e+02 | Large
48.07/48.15 c 45.6s|130000 | 25 | 0 | 0.0 |6862k| 60 | - | 660 |5376 | 0 | 0 | 0 | 33k| 0 | 2.000000e+00 | 3.100000e+02 | Large
51.78/51.82 c 49.0s|140000 | 25 | 0 | 0.0 |6874k| 60 | - | 660 |5395 | 0 | 0 | 0 | 36k| 0 | 2.000000e+00 | 3.100000e+02 | Large
55.28/55.37 c 52.3s|150000 | 23 | 0 | 0.0 |6878k| 60 | - | 660 |5404 | 0 | 0 | 0 | 38k| 0 | 2.000000e+00 | 3.100000e+02 | Large
58.98/59.03 c 55.8s|160000 | 34 | 0 | 0.0 |6869k| 60 | - | 660 |5372 | 0 | 0 | 0 | 41k| 0 | 2.000000e+00 | 3.100000e+02 | Large
62.68/62.73 c 59.3s|170000 | 32 | 0 | 0.0 |6874k| 60 | - | 660 |5386 | 0 | 0 | 0 | 45k| 0 | 2.000000e+00 | 3.100000e+02 | Large
66.27/66.35 c 62.7s|180000 | 21 | 0 | 0.0 |6877k| 60 | - | 660 |5399 | 0 | 0 | 0 | 48k| 0 | 2.000000e+00 | 3.100000e+02 | Large
69.96/70.08 c 66.2s|190000 | 20 | 0 | 0.0 |6882k| 60 | - | 660 |5409 | 0 | 0 | 0 | 51k| 0 | 2.000000e+00 | 3.100000e+02 | Large
73.77/73.88 c 69.8s|200000 | 31 | 0 | 0.0 |6868k| 60 | - | 660 |5367 | 0 | 0 | 0 | 54k| 0 | 2.000000e+00 | 3.100000e+02 | Large
77.46/77.51 c 73.2s|210000 | 22 | 0 | 0.0 |6875k| 60 | - | 660 |5390 | 0 | 0 | 0 | 56k| 0 | 2.000000e+00 | 3.100000e+02 | Large
80.86/80.95 c 76.5s|220000 | 20 | 0 | 0.0 |6874k| 60 | - | 660 |5389 | 0 | 0 | 0 | 59k| 0 | 2.000000e+00 | 3.100000e+02 | Large
84.67/84.72 c 80.1s|230000 | 28 | 0 | 0.0 |6873k| 60 | - | 660 |5380 | 0 | 0 | 0 | 62k| 0 | 2.000000e+00 | 3.100000e+02 | Large
88.36/88.43 c 83.6s|240000 | 21 | 0 | 0.0 |6882k| 60 | - | 660 |5402 | 0 | 0 | 0 | 65k| 0 | 2.000000e+00 | 3.100000e+02 | Large
92.56/92.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.56/92.68 c 87.6s|250000 | 8 | 0 | 0.0 |6870k| 60 | - | 660 |5390 | 0 | 0 | 0 | 68k| 0 | 2.000000e+00 | 3.100000e+02 | Large
96.36/96.44 c 91.2s|260000 | 19 | 0 | 0.0 |6897k| 60 | - | 660 |5401 | 0 | 0 | 0 | 71k| 0 | 2.000000e+00 | 3.100000e+02 | Large
99.56/99.67 c 94.2s|270000 | 26 | 0 | 0.0 |6899k| 60 | - | 660 |5399 | 0 | 0 | 0 | 73k| 0 | 2.000000e+00 | 3.100000e+02 | Large
102.35/102.45 c 96.8s|280000 | 24 | 0 | 0.0 |6898k| 60 | - | 660 |5398 | 0 | 0 | 0 | 74k| 0 | 2.000000e+00 | 3.100000e+02 | Large
105.46/105.50 c 99.7s|290000 | 24 | 0 | 0.0 |6900k| 60 | - | 660 |5403 | 0 | 0 | 0 | 76k| 0 | 2.000000e+00 | 3.100000e+02 | Large
108.55/108.63 c 103s|300000 | 22 | 0 | 0.0 |6900k| 60 | - | 660 |5400 | 0 | 0 | 0 | 78k| 0 | 2.000000e+00 | 3.100000e+02 | Large
112.06/112.15 c 106s|310000 | 20 | 0 | 0.0 |6902k| 60 | - | 660 |5406 | 0 | 0 | 0 | 80k| 0 | 2.000000e+00 | 3.100000e+02 | Large
115.25/115.31 c 109s|320000 | 22 | 0 | 0.0 |6904k| 60 | - | 660 |5410 | 0 | 0 | 0 | 82k| 0 | 2.000000e+00 | 3.100000e+02 | Large
118.16/118.23 c 112s|330000 | 24 | 0 | 0.0 |6908k| 60 | - | 660 |5418 | 0 | 0 | 0 | 84k| 0 | 2.000000e+00 | 3.100000e+02 | Large
121.15/121.21 c 114s|340000 | 26 | 0 | 0.0 |6904k| 60 | - | 660 |5407 | 0 | 0 | 0 | 86k| 0 | 2.000000e+00 | 3.100000e+02 | Large
124.16/124.25 c 117s|350000 | 13 | 0 | 0.0 |6907k| 60 | - | 660 |5420 | 0 | 0 | 0 | 87k| 0 | 2.000000e+00 | 3.100000e+02 | Large
127.25/127.37 c 120s|360000 | 12 | 0 | 0.0 |6912k| 60 | - | 660 |5432 | 0 | 0 | 0 | 89k| 0 | 2.000000e+00 | 3.100000e+02 | Large
130.65/130.70 c 123s|370000 | 21 | 0 | 0.0 |6919k| 60 | - | 660 |5441 | 0 | 0 | 0 | 92k| 0 | 2.000000e+00 | 3.100000e+02 | Large
134.05/134.12 c 127s|380000 | 15 | 0 | 0.0 |6919k| 60 | - | 660 |5446 | 0 | 0 | 0 | 94k| 0 | 2.000000e+00 | 3.100000e+02 | Large
137.25/137.32 c 130s|390000 | 19 | 0 | 0.0 |6939k| 60 | - | 660 |5486 | 0 | 0 | 0 | 96k| 0 | 2.000000e+00 | 3.100000e+02 | Large
140.35/140.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.35/140.44 c 133s|400000 | 20 | 0 | 0.0 |6938k| 60 | - | 660 |5476 | 0 | 0 | 0 | 98k| 0 | 2.000000e+00 | 3.100000e+02 | Large
143.54/143.60 c 136s|410000 | 19 | 0 | 0.0 |6939k| 60 | - | 660 |5481 | 0 | 0 | 0 | 100k| 0 | 2.000000e+00 | 3.100000e+02 | Large
146.64/146.78 c 139s|420000 | 15 | 0 | 0.0 |6941k| 60 | - | 660 |5489 | 0 | 0 | 0 | 102k| 0 | 2.000000e+00 | 3.100000e+02 | Large
149.84/149.96 c 142s|430000 | 15 | 0 | 0.0 |6940k| 60 | - | 660 |5483 | 0 | 0 | 0 | 103k| 0 | 2.000000e+00 | 3.100000e+02 | Large
153.24/153.37 c 145s|440000 | 14 | 0 | 0.0 |6909k| 60 | - | 660 |5400 | 0 | 0 | 0 | 106k| 0 | 2.000000e+00 | 3.100000e+02 | Large
156.53/156.60 c 148s|450000 | 12 | 0 | 0.0 |6914k| 60 | - | 660 |5412 | 0 | 0 | 0 | 108k| 0 | 2.000000e+00 | 3.100000e+02 | Large
159.74/159.89 c 151s|460000 | 12 | 0 | 0.0 |6916k| 60 | - | 660 |5415 | 0 | 0 | 0 | 110k| 0 | 2.000000e+00 | 3.100000e+02 | Large
163.63/163.71 c 155s|470000 | 13 | 0 | 0.0 |6914k| 60 | - | 660 |5406 | 0 | 0 | 0 | 112k| 0 | 2.000000e+00 | 3.100000e+02 | Large
167.73/167.86 c 159s|480000 | 19 | 0 | 0.0 |6915k| 60 | - | 660 |5403 | 0 | 0 | 0 | 114k| 0 | 2.000000e+00 | 3.100000e+02 | Large
171.44/171.52 c 162s|490000 | 13 | 0 | 0.0 |6919k| 60 | - | 660 |5417 | 0 | 0 | 0 | 118k| 0 | 2.000000e+00 | 3.100000e+02 | Large
175.13/175.23 c 166s|500000 | 13 | 0 | 0.0 |6922k| 60 | - | 660 |5422 | 0 | 0 | 0 | 121k| 0 | 2.000000e+00 | 3.100000e+02 | Large
178.94/179.06 c 169s|510000 | 10 | 0 | 0.0 |6931k| 60 | - | 660 |5442 | 0 | 0 | 0 | 124k| 0 | 2.000000e+00 | 3.100000e+02 | Large
183.64/183.77 c 174s|520000 | 25 | 0 | 0.0 |6923k| 60 | - | 660 |5394 | 0 | 0 | 0 | 127k| 0 | 3.000000e+00 | 3.100000e+02 | Large
187.73/187.82 c 178s|530000 | 20 | 0 | 0.0 |6924k| 60 | - | 660 |5399 | 0 | 0 | 0 | 131k| 0 | 3.000000e+00 | 3.100000e+02 | Large
191.62/191.70 c 181s|540000 | 17 | 0 | 0.0 |6923k| 60 | - | 660 |5396 | 0 | 0 | 0 | 135k| 0 | 3.000000e+00 | 3.100000e+02 | Large
195.33/195.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.33/195.42 c 185s|550000 | 19 | 0 | 0.0 |6922k| 60 | - | 660 |5392 | 0 | 0 | 0 | 138k| 0 | 3.000000e+00 | 3.100000e+02 | Large
199.03/199.16 c 188s|560000 | 23 | 0 | 0.0 |6929k| 60 | - | 660 |5406 | 0 | 0 | 0 | 141k| 0 | 3.000000e+00 | 3.100000e+02 | Large
202.73/202.82 c 192s|570000 | 20 | 0 | 0.0 |6926k| 60 | - | 660 |5401 | 0 | 0 | 0 | 144k| 0 | 3.000000e+00 | 3.100000e+02 | Large
206.42/206.52 c 195s|580000 | 14 | 0 | 0.0 |6926k| 60 | - | 660 |5403 | 0 | 0 | 0 | 148k| 0 | 3.000000e+00 | 3.100000e+02 | Large
210.12/210.22 c 199s|590000 | 12 | 0 | 0.0 |6933k| 60 | - | 660 |5426 | 0 | 0 | 0 | 151k| 0 | 3.000000e+00 | 3.100000e+02 | Large
214.02/214.10 c 202s|600000 | 14 | 0 | 0.0 |6930k| 60 | - | 660 |5414 | 0 | 0 | 0 | 154k| 0 | 3.000000e+00 | 3.100000e+02 | Large
217.81/217.93 c 206s|610000 | 15 | 0 | 0.0 |6935k| 60 | - | 660 |5428 | 0 | 0 | 0 | 158k| 0 | 3.000000e+00 | 3.100000e+02 | Large
221.71/221.83 c 210s|620000 | 19 | 0 | 0.0 |6933k| 60 | - | 660 |5418 | 0 | 0 | 0 | 161k| 0 | 3.000000e+00 | 3.100000e+02 | Large
225.42/225.58 c 213s|630000 | 16 | 0 | 0.0 |6933k| 60 | - | 660 |5417 | 0 | 0 | 0 | 164k| 0 | 3.000000e+00 | 3.100000e+02 | Large
229.21/229.36 c 217s|640000 | 11 | 0 | 0.0 |6933k| 60 | - | 660 |5421 | 0 | 0 | 0 | 167k| 0 | 3.000000e+00 | 3.100000e+02 | Large
233.02/233.17 c 220s|650000 | 16 | 0 | 0.0 |6931k| 60 | - | 660 |5411 | 0 | 0 | 0 | 170k| 0 | 3.000000e+00 | 3.100000e+02 | Large
236.42/236.59 c 224s|660000 | 11 | 0 | 0.0 |6936k| 60 | - | 660 |5430 | 0 | 0 | 0 | 173k| 0 | 3.000000e+00 | 3.100000e+02 | Large
241.21/241.34 c 228s|670000 | 22 | 0 | 0.0 |6930k| 60 | - | 660 |5421 | 0 | 0 | 0 | 176k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
244.60/244.71 c 231s|680000 | 18 | 0 | 0.0 |6928k| 60 | - | 660 |5419 | 0 | 0 | 0 | 178k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
248.20/248.38 c 235s|690000 | 14 | 0 | 0.0 |6929k| 60 | - | 660 |5422 | 0 | 0 | 0 | 181k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
251.51/251.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.51/251.64 c 238s|700000 | 13 | 0 | 0.0 |6933k| 60 | - | 660 |5436 | 0 | 0 | 0 | 183k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
254.50/254.60 c 241s|710000 | 16 | 0 | 0.0 |6936k| 60 | - | 660 |5438 | 0 | 0 | 0 | 185k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
257.60/257.78 c 244s|720000 | 17 | 0 | 0.0 |6935k| 60 | - | 660 |5437 | 0 | 0 | 0 | 186k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
260.80/260.92 c 247s|730000 | 17 | 0 | 0.0 |6936k| 60 | - | 660 |5440 | 0 | 0 | 0 | 188k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
264.00/264.15 c 250s|740000 | 13 | 0 | 0.0 |6937k| 60 | - | 660 |5445 | 0 | 0 | 0 | 190k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
267.40/267.59 c 253s|750000 | 11 | 0 | 0.0 |6942k| 60 | - | 660 |5459 | 0 | 0 | 0 | 193k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
270.90/271.04 c 256s|760000 | 14 | 0 | 0.0 |6941k| 60 | - | 660 |5453 | 0 | 0 | 0 | 195k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
274.00/274.19 c 259s|770000 | 17 | 0 | 0.0 |6942k| 60 | - | 660 |5457 | 0 | 0 | 0 | 197k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
277.30/277.43 c 262s|780000 | 9 | 0 | 0.0 |6942k| 60 | - | 660 |5461 | 0 | 0 | 0 | 199k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
280.79/280.90 c 266s|790000 | 11 | 0 | 0.0 |6953k| 60 | - | 660 |5489 | 0 | 0 | 0 | 201k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
284.19/284.34 c 269s|800000 | 15 | 0 | 0.0 |6954k| 60 | - | 660 |5481 | 0 | 0 | 0 | 204k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
287.29/287.40 c 272s|810000 | 14 | 0 | 0.0 |6953k| 60 | - | 660 |5481 | 0 | 0 | 0 | 205k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
290.39/290.57 c 275s|820000 | 9 | 0 | 0.0 |6961k| 60 | - | 660 |5502 | 0 | 0 | 0 | 207k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
293.79/293.99 c 278s|830000 | 12 | 0 | 0.0 |6958k| 60 | - | 660 |5496 | 0 | 0 | 0 | 209k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
297.19/297.39 c 281s|840000 | 7 | 0 | 0.0 |6957k| 60 | - | 660 |5495 | 0 | 0 | 0 | 211k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
300.49/300.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.49/300.65 c 284s|850000 | 8 | 0 | 0.0 |6961k| 60 | - | 660 |5503 | 0 | 0 | 0 | 213k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
303.89/304.00 c 287s|860000 | 8 | 0 | 0.0 |6969k| 60 | - | 660 |5519 | 0 | 0 | 0 | 216k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
307.19/307.34 c 290s|870000 | 14 | 0 | 0.0 |6977k| 60 | - | 660 |5538 | 0 | 0 | 0 | 218k| 0 | 5.000000e+00 | 3.100000e+02 |6100.00%
311.49/311.61 c 294s|880000 | 23 | 0 | 0.0 |6835k| 60 | - | 660 |5417 | 0 | 0 | 0 | 221k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
315.09/315.20 c 298s|890000 | 16 | 0 | 0.0 |6837k| 60 | - | 660 |5421 | 0 | 0 | 0 | 225k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
318.48/318.61 c 301s|900000 | 17 | 0 | 0.0 |6836k| 60 | - | 660 |5416 | 0 | 0 | 0 | 228k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
321.18/321.31 c 304s|910000 | 18 | 0 | 0.0 |6836k| 60 | - | 660 |5417 | 0 | 0 | 0 | 229k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
323.88/324.07 c 306s|920000 | 19 | 0 | 0.0 |6836k| 60 | - | 660 |5418 | 0 | 0 | 0 | 231k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
326.68/326.89 c 309s|930000 | 16 | 0 | 0.0 |6835k| 60 | - | 660 |5416 | 0 | 0 | 0 | 233k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
329.48/329.61 c 311s|940000 | 19 | 0 | 0.0 |6836k| 60 | - | 660 |5417 | 0 | 0 | 0 | 235k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
332.18/332.31 c 314s|950000 | 17 | 0 | 0.0 |6836k| 60 | - | 660 |5417 | 0 | 0 | 0 | 237k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
334.97/335.10 c 317s|960000 | 18 | 0 | 0.0 |6837k| 60 | - | 660 |5421 | 0 | 0 | 0 | 238k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
337.78/337.96 c 319s|970000 | 20 | 0 | 0.0 |6840k| 60 | - | 660 |5424 | 0 | 0 | 0 | 240k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
340.78/340.94 c 322s|980000 | 11 | 0 | 0.0 |6836k| 60 | - | 660 |5418 | 0 | 0 | 0 | 242k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
344.08/344.23 c 325s|990000 | 18 | 0 | 0.0 |6841k| 60 | - | 660 |5426 | 0 | 0 | 0 | 245k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
347.38/347.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.38/347.52 c 328s| 1000k| 17 | 0 | 0.0 |6840k| 60 | - | 660 |5423 | 0 | 0 | 0 | 248k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
350.68/350.87 c 331s| 1010k| 17 | 0 | 0.0 |6842k| 60 | - | 660 |5423 | 0 | 0 | 0 | 251k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
353.98/354.12 c 335s| 1020k| 21 | 0 | 0.0 |6847k| 60 | - | 660 |5434 | 0 | 0 | 0 | 254k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
357.47/357.61 c 338s| 1030k| 16 | 0 | 0.0 |6848k| 60 | - | 660 |5437 | 0 | 0 | 0 | 257k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
360.97/361.17 c 341s| 1040k| 19 | 0 | 0.0 |6849k| 60 | - | 660 |5437 | 0 | 0 | 0 | 261k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
364.57/364.71 c 345s| 1050k| 24 | 0 | 0.0 |6848k| 60 | - | 660 |5426 | 0 | 0 | 0 | 264k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
368.47/368.68 c 348s| 1060k| 21 | 0 | 0.0 |6849k| 60 | - | 660 |5430 | 0 | 0 | 0 | 268k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
372.17/372.32 c 352s| 1070k| 19 | 0 | 0.0 |6849k| 60 | - | 660 |5431 | 0 | 0 | 0 | 272k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
375.77/375.94 c 355s| 1080k| 13 | 0 | 0.0 |6847k| 60 | - | 660 |5429 | 0 | 0 | 0 | 276k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
379.16/379.36 c 358s| 1090k| 18 | 0 | 0.0 |6852k| 60 | - | 660 |5438 | 0 | 0 | 0 | 279k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
382.36/382.57 c 361s| 1100k| 10 | 0 | 0.0 |6851k| 60 | - | 660 |5439 | 0 | 0 | 0 | 282k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
385.66/385.89 c 365s| 1110k| 17 | 0 | 0.0 |6852k| 60 | - | 660 |5432 | 0 | 0 | 0 | 284k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
389.06/389.22 c 368s| 1120k| 22 | 0 | 0.0 |6855k| 60 | - | 660 |5438 | 0 | 0 | 0 | 288k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
392.26/392.46 c 371s| 1130k| 10 | 0 | 0.0 |6856k| 60 | - | 660 |5445 | 0 | 0 | 0 | 290k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
395.56/395.75 c 374s| 1140k| 15 | 0 | 0.0 |6859k| 60 | - | 660 |5447 | 0 | 0 | 0 | 293k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
399.06/399.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.06/399.21 c 377s| 1150k| 10 | 0 | 0.0 |6861k| 60 | - | 660 |5456 | 0 | 0 | 0 | 296k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
402.36/402.54 c 380s| 1160k| 4 | 0 | 0.0 |6837k| 60 | - | 660 |5433 | 0 | 0 | 0 | 298k| 0 | 3.900000e+01 | 3.100000e+02 | 694.87%
406.05/406.23 c 384s| 1170k| 26 | 0 | 0.0 |6742k| 60 | - | 660 |5420 | 0 | 0 | 0 | 303k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
409.45/409.63 c 387s| 1180k| 24 | 0 | 0.0 |6740k| 60 | - | 660 |5417 | 0 | 0 | 0 | 306k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
412.65/412.85 c 390s| 1190k| 19 | 0 | 0.0 |6740k| 60 | - | 660 |5420 | 0 | 0 | 0 | 310k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
415.35/415.56 c 393s| 1200k| 20 | 0 | 0.0 |6738k| 60 | - | 660 |5415 | 0 | 0 | 0 | 312k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
418.05/418.20 c 395s| 1210k| 15 | 0 | 0.0 |6737k| 60 | - | 660 |5416 | 0 | 0 | 0 | 314k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
420.65/420.83 c 398s| 1220k| 20 | 0 | 0.0 |6738k| 60 | - | 660 |5415 | 0 | 0 | 0 | 316k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
423.36/423.54 c 400s| 1230k| 17 | 0 | 0.0 |6738k| 60 | - | 660 |5417 | 0 | 0 | 0 | 318k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
426.05/426.24 c 403s| 1240k| 17 | 0 | 0.0 |6741k| 60 | - | 660 |5424 | 0 | 0 | 0 | 320k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
428.85/429.03 c 405s| 1250k| 13 | 0 | 0.0 |6741k| 60 | - | 660 |5426 | 0 | 0 | 0 | 322k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
431.55/431.78 c 408s| 1260k| 17 | 0 | 0.0 |6743k| 60 | - | 660 |5431 | 0 | 0 | 0 | 324k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
434.35/434.54 c 410s| 1270k| 19 | 0 | 0.0 |6749k| 60 | - | 660 |5442 | 0 | 0 | 0 | 326k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
437.04/437.28 c 413s| 1280k| 14 | 0 | 0.0 |6750k| 60 | - | 660 |5451 | 0 | 0 | 0 | 328k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
439.94/440.10 c 416s| 1290k| 16 | 0 | 0.0 |6750k| 60 | - | 660 |5445 | 0 | 0 | 0 | 330k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
442.74/442.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.74/442.93 c 418s| 1300k| 12 | 0 | 0.0 |6750k| 60 | - | 660 |5450 | 0 | 0 | 0 | 331k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
445.84/446.02 c 421s| 1310k| 19 | 0 | 0.0 |6757k| 60 | - | 660 |5461 | 0 | 0 | 0 | 334k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
448.94/449.14 c 424s| 1320k| 17 | 0 | 0.0 |6759k| 60 | - | 660 |5469 | 0 | 0 | 0 | 337k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
452.24/452.44 c 427s| 1330k| 16 | 0 | 0.0 |6759k| 60 | - | 660 |5469 | 0 | 0 | 0 | 341k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
455.64/455.85 c 430s| 1340k| 15 | 0 | 0.0 |6764k| 60 | - | 660 |5483 | 0 | 0 | 0 | 344k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
458.93/459.19 c 434s| 1350k| 10 | 0 | 0.0 |6767k| 60 | - | 660 |5494 | 0 | 0 | 0 | 347k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
462.43/462.62 c 437s| 1360k| 22 | 0 | 0.0 |6744k| 60 | - | 660 |5422 | 0 | 0 | 0 | 351k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
465.83/466.08 c 440s| 1370k| 16 | 0 | 0.0 |6740k| 60 | - | 660 |5416 | 0 | 0 | 0 | 354k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
469.23/469.41 c 443s| 1380k| 11 | 0 | 0.0 |6743k| 60 | - | 660 |5426 | 0 | 0 | 0 | 358k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
472.63/472.83 c 446s| 1390k| 13 | 0 | 0.0 |6746k| 60 | - | 660 |5431 | 0 | 0 | 0 | 361k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
475.83/476.06 c 450s| 1400k| 10 | 0 | 0.0 |6753k| 60 | - | 660 |5452 | 0 | 0 | 0 | 364k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
479.23/479.41 c 453s| 1410k| 18 | 0 | 0.0 |6752k| 60 | - | 660 |5443 | 0 | 0 | 0 | 367k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
482.53/482.79 c 456s| 1420k| 16 | 0 | 0.0 |6758k| 60 | - | 660 |5460 | 0 | 0 | 0 | 370k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
485.93/486.10 c 459s| 1430k| 11 | 0 | 0.0 |6755k| 60 | - | 660 |5453 | 0 | 0 | 0 | 373k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
489.23/489.41 c 462s| 1440k| 15 | 0 | 0.0 |6761k| 60 | - | 660 |5466 | 0 | 0 | 0 | 377k| 0 | 7.400000e+01 | 3.100000e+02 | 318.92%
491.92/492.17 c
491.92/492.17 c SCIP Status : problem is solved [optimal solution found]
491.92/492.17 c Solving Time (sec) : 464.73
491.92/492.17 c Solving Nodes : 1447143
491.92/492.17 c Primal Bound : +3.10000000000000e+02 (5 solutions)
491.92/492.17 c Dual Bound : +3.10000000000000e+02
491.92/492.17 c Gap : 0.00 %
491.92/492.17 s OPTIMUM FOUND
491.92/492.17 v x660 -x659 x658 -x657 -x656 x655 x654 -x653 x652 -x651 -x650 x649 x648 -x647 x646 -x645 -x644 x643 x642 -x641 x640 -x639 -x638
491.92/492.17 v x637 -x636 -x635 x634 -x633 -x632 x631 x630 -x629 x628 -x627 -x626 x625 x624 -x623 x622 -x621 -x620 x619 -x618 -x617 x616 -x615
491.92/492.17 v -x614 x613 x612 -x611 x610 -x609 -x608 x607 x606 -x605 x604 -x603 -x602 x601 -x600 x599 x598 -x597 x596 -x595 -x594 x593 x592
491.92/492.17 v -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 x582 -x581 -x580 x579 x578 -x577 -x576 x575 x574 -x573 x572 -x571 -x570
491.92/492.17 v x569 x568 -x567 x566 -x565 x564 -x563 -x562 x561 x560 -x559 -x558 x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 -x548 x547
491.92/492.17 v x546 -x545 x544 -x543 -x542 x541 -x540 x539 x538 -x537 x536 -x535 -x534 x533 x532 -x531 x530 -x529 x528 -x527 x526 -x525 -x524
491.92/492.17 v x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 -x512 x511 -x510 -x509 x508 -x507 -x506 x505 -x504 x503 x502
491.92/492.17 v -x501 x500 -x499 x498 -x497 x496 -x495 -x494 x493 -x492 x491 x490 -x489 x488 -x487 -x486 x485 x484 -x483 x482 -x481 -x480 x479
491.92/492.17 v x478 -x477 x476 -x475 -x474 x473 x472 -x471 x470 -x469 -x468 x467 x466 -x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456
491.92/492.17 v -x455 x454 -x453 -x452 x451 -x450 x449 x448 -x447 x446 -x445 x444 -x443 x442 -x441 -x440 x439 x438 -x437 x436 -x435 -x434
491.92/492.17 v x433 x432 -x431 x430 -x429 -x428 x427 x426 -x425 x424 -x423 -x422 x421 x420 -x419 x418 -x417 -x416 x415 -x414 x413 x412 -x411
491.92/492.17 v -x410 -x409 x408 -x407 x406 -x405 -x404 x403 -x402 x401 x400 -x399 x398 -x397 x396 -x395 x394 -x393 -x392 x391 x390 -x389 x388
491.92/492.17 v -x387 -x386 x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366
491.92/492.17 v x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 x346 -x345 -x344 x343
491.92/492.17 v -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320
491.92/492.17 v x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297
491.92/492.17 v -x296 x295 x294 -x293 -x292 x291 x290 -x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275
491.92/492.17 v -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 -x255 -x254 x253 -x252
491.92/492.17 v x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 -x231 -x230
491.92/492.17 v x229 -x228 x227 -x226 x225 -x224 x223 -x222 -x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 x212 -x211 -x210 x209 -x208 x207
491.92/492.17 v -x206 x205 -x204 x203 -x202 -x201 -x200 x199 -x198 x197 -x196 x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 x187 -x186 -x185
491.92/492.17 v -x184 -x183 -x182 x181 -x180 -x179 -x178 x177 -x176 x175 x174 -x173 -x172 x171 -x170 x169 -x168 -x167 -x166 x165 x164 -x163
491.92/492.17 v -x162 x161 -x160 -x159 -x158 x157 x156 -x155 -x154 x153 -x152 x151 -x150 -x149 -x148 x147 -x146 x145 -x144 -x143 -x142 x141
491.92/492.17 v -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 -x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118
491.92/492.17 v x117 -x116 x115 x114 -x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95
491.92/492.17 v -x94 x93 -x92 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
491.92/492.17 v -x66 x65 -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
491.92/492.17 v -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12
491.92/492.17 v x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
491.92/492.17 c SCIP Status : problem is solved [optimal solution found]
491.92/492.17 c Solving Time : 464.73
491.92/492.17 c Original Problem :
491.92/492.17 c Problem name : HOME/instance-2664685-1276453563.opb
491.92/492.17 c Variables : 660 (660 binary, 0 integer, 0 implicit integer, 0 continuous)
491.92/492.17 c Constraints : 5350 initial, 5350 maximal
491.92/492.17 c Presolved Problem :
491.92/492.17 c Problem name : t_HOME/instance-2664685-1276453563.opb
491.92/492.17 c Variables : 660 (660 binary, 0 integer, 0 implicit integer, 0 continuous)
491.92/492.17 c Constraints : 5350 initial, 5550 maximal
491.92/492.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
491.92/492.17 c trivial : 0.00 0 0 0 0 0 0 0 0
491.92/492.17 c dualfix : 0.00 0 0 0 0 0 0 0 0
491.92/492.17 c boundshift : 0.00 0 0 0 0 0 0 0 0
491.92/492.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0
491.92/492.17 c implics : 0.00 0 0 0 0 0 0 0 0
491.92/492.17 c probing : 0.05 0 0 0 0 0 0 0 0
491.92/492.17 c logicor : 0.05 0 0 0 0 0 0 0 0
491.92/492.17 c root node : - 610 - - 610 - - - -
491.92/492.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
491.92/492.17 c integral : 0 0 0 0 0 0 0 0 0 0
491.92/492.17 c logicor : 5350+ 0 2707536 0 5 376725 4037561 0 0 0
491.92/492.17 c countsols : 0 0 0 0 5 0 0 0 0 0
491.92/492.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
491.92/492.17 c integral : 0.00 0.00 0.00 0.00 0.00
491.92/492.17 c logicor : 217.87 0.00 217.86 0.00 0.01
491.92/492.17 c countsols : 0.00 0.00 0.00 0.00 0.00
491.92/492.17 c Propagators : Time Calls Cutoffs DomReds
491.92/492.17 c vbounds : 1.81 2 0 0
491.92/492.17 c rootredcost : 1.88 0 0 0
491.92/492.17 c pseudoobj : 139.86 3948687 352443 6100539
491.92/492.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
491.92/492.17 c propagation : 185.28 376727 376468 376468 23.8 2798 35.1 -
491.92/492.17 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
491.92/492.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
491.92/492.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
491.92/492.17 c pseudo solution : 10.24 47547 0 0 0.0 0 0.0 -
491.92/492.17 c applied globally : - - - 379263 23.9 - - -
491.92/492.17 c applied locally : - - - 0 0.0 - - -
491.92/492.17 c Separators : Time Calls Cutoffs DomReds Cuts Conss
491.92/492.17 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
491.92/492.17 c redcost : 0.00 0 0 0 0 0
491.92/492.17 c impliedbounds : 0.00 0 0 0 0 0
491.92/492.17 c intobj : 0.00 0 0 0 0 0
491.92/492.17 c cgmip : 0.00 0 0 0 0 0
491.92/492.17 c gomory : 0.00 0 0 0 0 0
491.92/492.17 c strongcg : 0.00 0 0 0 0 0
491.92/492.17 c cmir : 0.00 0 0 0 0 0
491.92/492.17 c flowcover : 0.00 0 0 0 0 0
491.92/492.17 c clique : 0.00 0 0 0 0 0
491.92/492.17 c zerohalf : 0.00 0 0 0 0 0
491.92/492.17 c mcf : 0.00 0 0 0 0 0
491.92/492.17 c rapidlearning : 0.00 0 0 0 0 0
491.92/492.17 c Pricers : Time Calls Vars
491.92/492.17 c problem variables: 0.00 0 0
491.92/492.17 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
491.92/492.17 c relpscost : 0.00 0 0 0 0 0 0
491.92/492.17 c pscost : 0.00 0 0 0 0 0 0
491.92/492.17 c inference : 9.40 836933 0 0 0 0 1673866
491.92/492.17 c mostinf : 0.00 0 0 0 0 0 0
491.92/492.17 c leastinf : 0.00 0 0 0 0 0 0
491.92/492.17 c fullstrong : 0.00 0 0 0 0 0 0
491.92/492.17 c allfullstrong : 0.00 0 0 0 0 0 0
491.92/492.17 c random : 0.00 0 0 0 0 0 0
491.92/492.17 c Primal Heuristics : Time Calls Found
491.92/492.17 c LP solutions : 0.00 - 0
491.92/492.17 c pseudo solutions : 0.00 - 5
491.92/492.17 c oneopt : 1.02 0 0
491.92/492.17 c trivial : 0.00 2 0
491.92/492.17 c simplerounding : 0.00 0 0
491.92/492.17 c zirounding : 0.00 0 0
491.92/492.17 c rounding : 0.00 0 0
491.92/492.17 c shifting : 0.00 0 0
491.92/492.17 c intshifting : 0.00 0 0
491.92/492.17 c twoopt : 0.00 0 0
491.92/492.17 c fixandinfer : 0.00 0 0
491.92/492.17 c feaspump : 0.00 0 0
491.92/492.17 c coefdiving : 0.00 0 0
491.92/492.17 c pscostdiving : 0.00 0 0
491.92/492.17 c fracdiving : 0.00 0 0
491.92/492.17 c veclendiving : 0.00 0 0
491.92/492.17 c intdiving : 0.00 0 0
491.92/492.17 c actconsdiving : 0.00 0 0
491.92/492.17 c objpscostdiving : 0.00 0 0
491.92/492.17 c rootsoldiving : 0.00 0 0
491.92/492.17 c linesearchdiving : 0.00 0 0
491.92/492.17 c guideddiving : 0.00 0 0
491.92/492.17 c octane : 0.00 0 0
491.92/492.17 c rens : 0.00 0 0
491.92/492.17 c rins : 0.00 0 0
491.92/492.17 c localbranching : 0.00 0 0
491.92/492.17 c mutation : 0.00 0 0
491.92/492.17 c crossover : 0.00 0 0
491.92/492.17 c dins : 0.00 0 0
491.92/492.17 c undercover : 0.00 0 0
491.92/492.17 c nlp : 0.77 0 0
491.92/492.17 c trysol : 0.58 0 0
491.92/492.17 c LP : Time Calls Iterations Iter/call Iter/sec
491.92/492.17 c primal LP : 0.00 0 0 0.00 -
491.92/492.17 c dual LP : 0.00 0 0 0.00 -
491.92/492.17 c lex dual LP : 0.00 0 0 0.00 -
491.92/492.17 c barrier LP : 0.00 0 0 0.00 -
491.92/492.17 c diving/probing LP: 0.00 0 0 0.00 -
491.92/492.17 c strong branching : 0.00 0 0 0.00 -
491.92/492.17 c (at root node) : - 0 0 0.00 -
491.92/492.17 c conflict analysis: 0.00 0 0 0.00 -
491.92/492.17 c B&B Tree :
491.92/492.17 c number of runs : 1
491.92/492.17 c nodes : 1447143
491.92/492.17 c nodes (total) : 1447143
491.92/492.17 c nodes left : 0
491.92/492.17 c max depth : 60
491.92/492.17 c max depth (total): 60
491.92/492.17 c backtracks : 427958 (29.6%)
491.92/492.17 c delayed cutoffs : 207282
491.92/492.17 c repropagations : 366058 (2024678 domain reductions, 166510 cutoffs)
491.92/492.17 c avg switch length: 2.14
491.92/492.17 c switching time : 28.45
491.92/492.17 c Solution :
491.92/492.17 c Solutions found : 5 (5 improvements)
491.92/492.17 c First Solution : +3.24000000000000e+02 (in run 1, after 27 nodes, 0.22 seconds, depth 23, found by <relaxation>)
491.92/492.17 c Primal Bound : +3.10000000000000e+02 (in run 1, after 831 nodes, 0.49 seconds, depth 38, found by <relaxation>)
491.92/492.17 c Dual Bound : +3.10000000000000e+02
491.92/492.17 c Gap : 0.00 %
491.92/492.17 c Root Dual Bound : +0.00000000000000e+00
491.92/492.17 c Root Iterations : 0
491.92/492.19 c Time complete: 492.01.