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-2663609-1276648150.opb>
0.00/0.01 c original problem has 756 variables (756 bin, 0 int, 0 impl, 0 cont) and 582 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.00/0.02 c presolving:
0.09/0.15 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 56 chg coeffs, 0 upgd conss, 3108 impls, 0 clqs
0.09/0.16 c (round 2) 25 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 72 chg coeffs, 8 upgd conss, 4836 impls, 0 clqs
0.09/0.16 c (round 3) 43 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 8 upgd conss, 6276 impls, 0 clqs
0.09/0.17 c (round 4) 61 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 7428 impls, 0 clqs
0.09/0.17 c (round 5) 79 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 120 chg coeffs, 8 upgd conss, 8292 impls, 0 clqs
0.09/0.18 c (round 6) 97 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 136 chg coeffs, 8 upgd conss, 8868 impls, 0 clqs
0.09/0.18 c (round 7) 115 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 152 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.09/0.19 c (round 8) 133 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 168 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.22 c (0.1s) probing: 206/623 (33.1%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.19/0.22 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (9 rounds):
0.19/0.22 c 133 deleted vars, 112 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 168 changed coefficients
0.19/0.22 c 9184 implications, 0 cliques
0.19/0.22 c presolved problem has 623 variables (623 bin, 0 int, 0 impl, 0 cont) and 463 constraints
0.19/0.22 c 448 constraints of type <and>
0.19/0.22 c 7 constraints of type <linear>
0.19/0.22 c 8 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 2)
0.19/0.22 c Presolving Time: 0.10
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 1.2.1.2
0.19/0.22 c
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = 10000
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = 1799.99
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = 1620
0.19/0.22 c
0.19/0.22 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.22 c lp/solvefreq = -1
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify inequalities
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/linear/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify knapsacks
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c heuristics/undercover/freq = 0
0.19/0.22 c
0.19/0.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c separating/rapidlearning/freq = 0
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c 0.1s| 1 | 2 | 0 | - |1985k| 0 | - | 623 | 463 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.89/2.91 c 2.6s| 10000 | 8056 | 0 | 0.0 |8220k| 405 | - | 623 | 663 | 0 | 0 | 0 |1239 | 0 | 1.000000e+00 | -- | Inf
5.99/6.03 c 5.5s| 20000 | 14915 | 0 | 0.0 | 13M| 405 | - | 623 | 946 | 0 | 0 | 0 |3224 | 0 | 1.000000e+00 | -- | Inf
8.80/8.84 c 8.0s| 30000 | 22704 | 0 | 0.0 | 19M| 405 | - | 623 | 983 | 0 | 0 | 0 |4603 | 0 | 1.000000e+00 | -- | Inf
11.59/11.67 c 10.6s| 40000 | 30362 | 0 | 0.0 | 24M| 405 | - | 623 |1015 | 0 | 0 | 0 |6134 | 0 | 1.000000e+00 | -- | Inf
14.48/14.56 c 13.2s| 50000 | 37710 | 0 | 0.0 | 30M| 405 | - | 623 |1286 | 0 | 0 | 0 |7924 | 0 | 1.000000e+00 | -- | Inf
18.59/18.64 c 17.1s| 60000 | 43343 | 0 | 0.0 | 36M| 405 | - | 623 |1753 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
21.79/21.88 c 20.1s| 70000 | 50092 | 0 | 0.0 | 41M| 405 | - | 623 | 833 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
24.99/25.06 c 23.1s| 80000 | 57227 | 0 | 0.0 | 46M| 405 | - | 623 | 962 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
28.08/28.12 c 25.9s| 90000 | 64659 | 0 | 0.0 | 52M| 405 | - | 623 | 925 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
31.08/31.17 c 28.7s|100000 | 72216 | 0 | 0.0 | 58M| 405 | - | 623 | 931 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
34.18/34.23 c 31.6s|110000 | 79547 | 0 | 0.0 | 63M| 405 | - | 623 | 883 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
37.08/37.14 c 34.2s|120000 | 87326 | 0 | 0.0 | 69M| 405 | - | 623 | 737 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
39.88/39.99 c 36.9s|130000 | 95246 | 0 | 0.0 | 74M| 405 | - | 623 | 755 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
42.79/42.83 c 39.5s|140000 |103160 | 0 | 0.0 | 80M| 405 | - | 623 | 899 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
45.68/45.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.68/45.72 c 42.2s|150000 |111091 | 0 | 0.0 | 86M| 405 | - | 623 | 959 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
48.58/48.62 c 44.8s|160000 |118897 | 0 | 0.0 | 91M| 405 | - | 623 | 954 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
51.38/51.49 c 47.5s|170000 |126708 | 0 | 0.0 | 97M| 405 | - | 623 | 958 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
54.28/54.37 c 50.1s|180000 |134566 | 0 | 0.0 | 102M| 405 | - | 623 | 895 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
57.09/57.19 c 52.7s|190000 |142474 | 0 | 0.0 | 108M| 405 | - | 623 | 954 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
59.98/60.03 c 55.3s|200000 |150241 | 0 | 0.0 | 114M| 405 | - | 623 | 952 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
62.78/62.88 c 57.9s|210000 |158085 | 0 | 0.0 | 119M| 405 | - | 623 | 962 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
65.78/65.87 c 60.7s|220000 |165680 | 0 | 0.0 | 125M| 405 | - | 623 | 993 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
68.97/69.00 c 63.6s|230000 |173159 | 0 | 0.0 | 130M| 405 | - | 623 |1023 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
72.07/72.17 c 66.5s|240000 |180687 | 0 | 0.0 | 136M| 405 | - | 623 | 970 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
75.17/75.25 c 69.4s|250000 |188464 | 0 | 0.0 | 142M| 405 | - | 623 | 947 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
78.08/78.16 c 72.0s|260000 |196416 | 0 | 0.0 | 147M| 405 | - | 623 | 915 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
81.07/81.17 c 74.8s|270000 |204247 | 0 | 0.0 | 153M| 405 | - | 623 | 963 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
84.17/84.26 c 77.7s|280000 |211955 | 0 | 0.0 | 159M| 405 | - | 623 |1098 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
87.27/87.40 c 80.6s|290000 |219583 | 0 | 0.0 | 164M| 405 | - | 623 |1098 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
90.67/90.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.67/90.74 c 83.7s|300000 |226878 | 0 | 0.0 | 170M| 405 | - | 623 |1164 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
94.07/94.12 c 86.9s|310000 |234057 | 0 | 0.0 | 175M| 405 | - | 623 |1183 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
97.46/97.54 c 90.1s|320000 |241194 | 0 | 0.0 | 181M| 405 | - | 623 |1139 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
100.66/100.72 c 93.0s|330000 |248789 | 0 | 0.0 | 186M| 405 | - | 623 | 949 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
103.66/103.80 c 95.9s|340000 |256582 | 0 | 0.0 | 192M| 405 | - | 623 | 919 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
106.96/107.01 c 98.8s|350000 |264131 | 0 | 0.0 | 198M| 405 | - | 623 |1209 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
110.36/110.41 c 102s|360000 |271453 | 0 | 0.0 | 204M| 405 | - | 623 |1405 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
113.76/113.87 c 105s|370000 |278589 | 0 | 0.0 | 209M| 405 | - | 623 |1459 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
117.16/117.23 c 108s|380000 |285702 | 0 | 0.0 | 215M| 405 | - | 623 |1391 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | -- | Inf
120.36/120.42 c 111s|390000 |292663 | 0 | 0.0 | 219M| 405 | - | 623 |1117 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
123.56/123.68 c 114s|400000 |299487 | 0 | 0.0 | 224M| 405 | - | 623 |1055 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
126.86/126.93 c 117s|410000 |306321 | 0 | 0.0 | 229M| 405 | - | 623 | 971 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
130.05/130.15 c 120s|420000 |313159 | 0 | 0.0 | 234M| 405 | - | 623 |1002 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
133.25/133.37 c 123s|430000 |320009 | 0 | 0.0 | 238M| 405 | - | 623 |1026 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
136.56/136.63 c 126s|440000 |326564 | 0 | 0.0 | 243M| 405 | - | 623 |1025 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | -- | Inf
139.75/139.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.75/139.81 c 129s|450000 |333300 | 0 | 0.0 | 248M| 405 | - | 623 | 983 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
142.75/142.87 c 132s|460000 |340544 | 0 | 0.0 | 254M| 405 | - | 623 |1028 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
145.65/145.76 c 135s|470000 |348183 | 0 | 0.0 | 260M| 405 | - | 623 |1182 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
148.85/148.99 c 138s|480000 |355065 | 0 | 0.0 | 265M| 405 | - | 623 |1270 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
152.15/152.26 c 141s|490000 |362142 | 0 | 0.0 | 271M| 405 | - | 623 |1227 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
155.35/155.49 c 144s|500000 |369450 | 0 | 0.0 | 277M| 405 | - | 623 |1114 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
158.55/158.62 c 147s|510000 |376785 | 0 | 0.0 | 282M| 405 | - | 623 |1071 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
161.74/161.89 c 150s|520000 |383978 | 0 | 0.0 | 288M| 405 | - | 623 |1095 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
165.45/165.53 c 153s|530000 |390565 | 0 | 0.0 | 293M| 405 | - | 623 | 985 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
169.45/169.53 c 157s|540000 |396444 | 0 | 0.0 | 298M| 405 | - | 623 | 896 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
174.24/174.30 c 161s|550000 |400550 | 0 | 0.0 | 303M| 405 | - | 623 |1030 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
177.14/177.29 c 164s|560000 |407197 | 0 | 0.0 | 308M| 405 | - | 623 |1476 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
177.45/177.53 o 257
177.45/177.53 c * 164s|560739 |393932 | 0 | 0.0 | 303M| 405 | - | 623 |1492 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 2.570000e+02 | Large
178.64/178.77 o 241
178.64/178.77 c * 166s|564585 |396302 | 0 | 0.0 | 305M| 405 | - | 623 |1081 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 2.410000e+02 | Large
180.54/180.65 c 167s|570000 |400018 | 0 | 0.0 | 307M| 405 | - | 623 | 741 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 2.410000e+02 | Large
183.55/183.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.55/183.67 c 170s|580000 |408091 | 0 | 0.0 | 313M| 405 | - | 623 | 823 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 2.410000e+02 | Large
186.95/187.01 c 173s|590000 |415652 | 0 | 0.0 | 319M| 405 | - | 623 | 934 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 2.410000e+02 | Large
190.44/190.58 c 176s|600000 |422776 | 0 | 0.0 | 324M| 405 | - | 623 |1067 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 2.410000e+02 | Large
193.84/193.96 c 180s|610000 |429851 | 0 | 0.0 | 330M| 405 | - | 623 | 680 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 2.410000e+02 | Large
196.93/197.09 c 183s|620000 |437827 | 0 | 0.0 | 335M| 405 | - | 623 | 588 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 2.410000e+02 | Large
200.04/200.16 c 185s|630000 |445810 | 0 | 0.0 | 341M| 405 | - | 623 | 625 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 2.410000e+02 | Large
203.13/203.22 c 188s|640000 |453841 | 0 | 0.0 | 347M| 405 | - | 623 | 605 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 2.410000e+02 | Large
206.93/207.00 c 192s|650000 |459773 | 0 | 0.0 | 351M| 405 | - | 623 |1091 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 2.410000e+02 | Large
210.74/210.87 c 195s|660000 |465901 | 0 | 0.0 | 355M| 405 | - | 623 |1106 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 2.410000e+02 | Large
214.34/214.42 c 199s|670000 |472774 | 0 | 0.0 | 361M| 405 | - | 623 |1105 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 2.410000e+02 | Large
217.63/217.72 c 202s|680000 |480335 | 0 | 0.0 | 366M| 405 | - | 623 | 783 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 2.410000e+02 | Large
220.83/220.99 c 205s|690000 |487691 | 0 | 0.0 | 371M| 405 | - | 623 | 985 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 2.410000e+02 | Large
224.13/224.27 c 208s|700000 |495076 | 0 | 0.0 | 377M| 405 | - | 623 | 957 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 2.410000e+02 | Large
227.33/227.47 c 211s|710000 |502604 | 0 | 0.0 | 382M| 405 | - | 623 | 832 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 2.410000e+02 | Large
230.43/230.59 c 214s|720000 |510235 | 0 | 0.0 | 388M| 405 | - | 623 | 816 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 2.410000e+02 | Large
233.53/233.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.53/233.66 c 217s|730000 |517998 | 0 | 0.0 | 393M| 405 | - | 623 | 725 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 2.410000e+02 | Large
236.83/236.90 c 220s|740000 |525096 | 0 | 0.0 | 399M| 405 | - | 623 |1052 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 2.410000e+02 | Large
240.02/240.11 c 222s|750000 |532419 | 0 | 0.0 | 404M| 405 | - | 623 |1061 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 2.410000e+02 | Large
243.23/243.33 c 225s|760000 |539811 | 0 | 0.0 | 409M| 405 | - | 623 | 852 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 2.410000e+02 | Large
246.33/246.49 c 228s|770000 |547198 | 0 | 0.0 | 414M| 405 | - | 623 | 918 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 2.410000e+02 | Large
249.42/249.55 c 231s|780000 |555020 | 0 | 0.0 | 420M| 405 | - | 623 | 667 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 2.410000e+02 | Large
252.52/252.62 c 234s|790000 |562534 | 0 | 0.0 | 425M| 405 | - | 623 | 690 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 2.410000e+02 | Large
255.73/255.88 c 237s|800000 |569795 | 0 | 0.0 | 431M| 405 | - | 623 | 932 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 2.410000e+02 | Large
259.02/259.18 c 240s|810000 |576967 | 0 | 0.0 | 436M| 405 | - | 623 |1062 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 2.410000e+02 | Large
262.22/262.36 c 243s|820000 |584481 | 0 | 0.0 | 441M| 405 | - | 623 | 787 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 2.410000e+02 | Large
265.42/265.53 c 246s|830000 |591778 | 0 | 0.0 | 446M| 405 | - | 623 | 735 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 2.410000e+02 | Large
268.62/268.73 c 249s|840000 |599042 | 0 | 0.0 | 452M| 405 | - | 623 | 858 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 2.410000e+02 | Large
269.12/269.29 o 5
269.12/269.29 c * 250s|840659 |466178 | 0 | 0.0 | 377M| 405 | - | 623 | 867 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
273.32/273.45 c 254s|850000 |471855 | 0 | 0.0 | 383M| 405 | - | 623 | 629 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
277.32/277.48 c 257s|860000 |477778 | 0 | 0.0 | 389M| 405 | - | 623 | 792 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
281.42/281.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.42/281.55 c 261s|870000 |483465 | 0 | 0.0 | 394M| 405 | - | 623 | 840 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
285.41/285.57 c 265s|880000 |489213 | 0 | 0.0 | 399M| 405 | - | 623 | 916 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
289.22/289.37 c 268s|890000 |495370 | 0 | 0.0 | 405M| 405 | - | 623 | 747 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
293.01/293.10 c 272s|900000 |501687 | 0 | 0.0 | 410M| 405 | - | 623 | 672 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
296.51/296.68 c 275s|910000 |508264 | 0 | 0.0 | 415M| 405 | - | 623 | 900 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
300.12/300.20 c 279s|920000 |515123 | 0 | 0.0 | 420M| 405 | - | 623 | 729 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
303.71/303.81 c 282s|930000 |521599 | 0 | 0.0 | 425M| 405 | - | 623 | 797 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
307.30/307.46 c 285s|940000 |528377 | 0 | 0.0 | 430M| 405 | - | 623 | 870 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
311.01/311.12 c 289s|950000 |534934 | 0 | 0.0 | 435M| 405 | - | 623 | 854 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
314.51/314.67 c 292s|960000 |541802 | 0 | 0.0 | 440M| 405 | - | 623 | 890 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
318.11/318.26 c 295s|970000 |548651 | 0 | 0.0 | 445M| 405 | - | 623 | 957 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
321.91/322.01 c 299s|980000 |555021 | 0 | 0.0 | 450M| 405 | - | 623 | 860 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
325.52/325.63 c 302s|990000 |561736 | 0 | 0.0 | 456M| 405 | - | 623 | 885 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
329.01/329.19 c 306s| 1000k|568556 | 0 | 0.0 | 461M| 405 | - | 623 | 958 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
332.70/332.88 c 309s| 1010k|574969 | 0 | 0.0 | 466M| 405 | - | 623 | 824 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
336.41/336.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.41/336.56 c 312s| 1020k|581632 | 0 | 0.0 | 471M| 405 | - | 623 | 874 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
340.00/340.19 c 316s| 1030k|588428 | 0 | 0.0 | 476M| 405 | - | 623 | 847 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
343.79/343.98 c 319s| 1040k|594726 | 0 | 0.0 | 481M| 405 | - | 623 | 807 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
347.50/347.68 c 323s| 1050k|600979 | 0 | 0.0 | 486M| 405 | - | 623 | 798 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
349.80/349.94 o 3
349.80/349.94 c * 325s| 1054k|409992 | 0 | 0.0 | 343M| 405 | - | 623 | 915 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
355.10/355.24 c
355.10/355.24 c SCIP Status : problem is solved [optimal solution found]
355.10/355.24 c Solving Time (sec) : 329.78
355.10/355.24 c Solving Nodes : 1054212
355.10/355.24 c Primal Bound : +3.00000000000000e+00 (4 solutions)
355.10/355.24 c Dual Bound : +3.00000000000000e+00
355.10/355.24 c Gap : 0.00 %
355.10/355.24 s OPTIMUM FOUND
355.10/355.24 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 x173 x172 -x126 -x125 -x124 -x123
355.10/355.24 v -x122 -x121 x120 x119 x118 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x117 -x116 -x115 -x114 x113 x112 -x111 x110
355.10/355.24 v x109 x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 x154 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x153 x152 -x151
355.10/355.24 v -x150 -x149 -x148 -x147 -x146 -x145 x99 x98 x97 x96 x95 -x94 -x93 -x92 x91 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
355.10/355.24 v -x136 -x90 x89 x88 x87 x86 x85 x84 -x83 x82 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x81 -x80 -x79 -x78 -x77 x76
355.10/355.24 v -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 x50 x49
355.10/355.24 v -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 -x22
355.10/355.24 v x21 x20 x19 x18 -x17 x16 -x15 x14 x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
355.10/355.24 c SCIP Status : problem is solved [optimal solution found]
355.10/355.24 c Solving Time : 329.78
355.10/355.24 c Original Problem :
355.10/355.24 c Problem name : HOME/instance-2663609-1276648150.opb
355.10/355.24 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
355.10/355.24 c Constraints : 582 initial, 582 maximal
355.10/355.24 c Presolved Problem :
355.10/355.24 c Problem name : t_HOME/instance-2663609-1276648150.opb
355.10/355.24 c Variables : 623 (623 binary, 0 integer, 0 implicit integer, 0 continuous)
355.10/355.24 c Constraints : 463 initial, 1925 maximal
355.10/355.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
355.10/355.24 c trivial : 0.00 0 0 0 0 0 0 0 0
355.10/355.24 c dualfix : 0.00 0 0 0 0 0 0 0 0
355.10/355.24 c boundshift : 0.00 0 0 0 0 0 0 0 0
355.10/355.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0
355.10/355.24 c implics : 0.00 0 0 0 0 0 0 0 0
355.10/355.24 c probing : 0.02 0 0 0 0 0 0 0 0
355.10/355.24 c and : 0.06 14 112 0 0 0 112 0 112
355.10/355.24 c linear : 0.01 1 6 0 0 0 0 0 56
355.10/355.24 c logicor : 0.00 0 0 0 0 0 0 0 0
355.10/355.24 c root node : - 71 - - 71 - - - -
355.10/355.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
355.10/355.24 c integral : 0 0 0 0 0 0 0 0 0 0
355.10/355.24 c and : 448 0 2502650 0 951274 24641 5334492 0 0 0
355.10/355.24 c linear : 7 0 2478007 0 951274 139456 1691310 0 0 0
355.10/355.24 c logicor : 8+ 0 976080 0 951186 6902 255020 0 0 0
355.10/355.24 c countsols : 0 0 0 0 951278 0 0 0 0 0
355.10/355.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
355.10/355.24 c integral : 0.00 0.00 0.00 0.00 0.00
355.10/355.24 c and : 53.23 0.00 34.01 0.00 19.22
355.10/355.24 c linear : 98.51 0.00 97.83 0.00 0.68
355.10/355.24 c logicor : 16.70 0.00 14.95 0.00 1.75
355.10/355.24 c countsols : 0.34 0.00 0.00 0.00 0.34
355.10/355.24 c Propagators : Time Calls Cutoffs DomReds
355.10/355.24 c vbounds : 1.11 2 0 0
355.10/355.24 c rootredcost : 1.03 0 0 0
355.10/355.24 c pseudoobj : 3.12 2502965 733 3585
355.10/355.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
355.10/355.24 c propagation : 53.65 171727 170536 2236221 69.7 9944 67.1 -
355.10/355.24 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
355.10/355.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
355.10/355.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
355.10/355.24 c pseudo solution : 0.00 1 1 1 0.0 0 0.0 -
355.10/355.24 c applied globally : - - - 183604 28.8 - - -
355.10/355.24 c applied locally : - - - 15882 81.9 - - -
355.10/355.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
355.10/355.24 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
355.10/355.24 c redcost : 0.00 0 0 0 0 0
355.10/355.24 c impliedbounds : 0.00 0 0 0 0 0
355.10/355.24 c intobj : 0.00 0 0 0 0 0
355.10/355.24 c cgmip : 0.00 0 0 0 0 0
355.10/355.24 c gomory : 0.00 0 0 0 0 0
355.10/355.24 c strongcg : 0.00 0 0 0 0 0
355.10/355.24 c cmir : 0.00 0 0 0 0 0
355.10/355.24 c flowcover : 0.00 0 0 0 0 0
355.10/355.24 c clique : 0.00 0 0 0 0 0
355.10/355.24 c zerohalf : 0.00 0 0 0 0 0
355.10/355.24 c mcf : 0.00 0 0 0 0 0
355.10/355.24 c rapidlearning : 0.00 0 0 0 0 0
355.10/355.24 c Pricers : Time Calls Vars
355.10/355.24 c problem variables: 0.00 0 0
355.10/355.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
355.10/355.24 c relpscost : 0.00 0 0 0 0 0 0
355.10/355.24 c pscost : 0.00 0 0 0 0 0 0
355.10/355.24 c inference : 54.62 951274 0 0 0 0 1902548
355.10/355.24 c mostinf : 0.00 0 0 0 0 0 0
355.10/355.24 c leastinf : 0.00 0 0 0 0 0 0
355.10/355.24 c fullstrong : 0.00 0 0 0 0 0 0
355.10/355.24 c allfullstrong : 0.00 0 0 0 0 0 0
355.10/355.24 c random : 0.00 0 0 0 0 0 0
355.10/355.24 c Primal Heuristics : Time Calls Found
355.10/355.24 c LP solutions : 0.00 - 0
355.10/355.24 c pseudo solutions : 1.09 - 4
355.10/355.24 c oneopt : 0.52 0 0
355.10/355.24 c trivial : 0.00 2 0
355.10/355.24 c simplerounding : 0.00 0 0
355.10/355.24 c zirounding : 0.00 0 0
355.10/355.24 c rounding : 0.00 0 0
355.10/355.24 c shifting : 0.00 0 0
355.10/355.24 c intshifting : 0.00 0 0
355.10/355.24 c twoopt : 0.00 0 0
355.10/355.24 c fixandinfer : 0.00 0 0
355.10/355.24 c feaspump : 0.00 0 0
355.10/355.24 c coefdiving : 0.00 0 0
355.10/355.24 c pscostdiving : 0.00 0 0
355.10/355.24 c fracdiving : 0.00 0 0
355.10/355.24 c veclendiving : 0.00 0 0
355.10/355.24 c intdiving : 0.00 0 0
355.10/355.24 c actconsdiving : 0.00 0 0
355.10/355.24 c objpscostdiving : 0.00 0 0
355.10/355.24 c rootsoldiving : 0.00 0 0
355.10/355.24 c linesearchdiving : 0.00 0 0
355.10/355.24 c guideddiving : 0.00 0 0
355.10/355.24 c octane : 0.00 0 0
355.10/355.24 c rens : 0.00 0 0
355.10/355.24 c rins : 0.00 0 0
355.10/355.24 c localbranching : 0.00 0 0
355.10/355.24 c mutation : 0.00 0 0
355.10/355.24 c crossover : 0.00 0 0
355.10/355.24 c dins : 0.00 0 0
355.10/355.24 c undercover : 0.00 0 0
355.10/355.24 c nlp : 0.46 0 0
355.10/355.24 c trysol : 0.39 0 0
355.10/355.24 c LP : Time Calls Iterations Iter/call Iter/sec
355.10/355.24 c primal LP : 0.00 0 0 0.00 -
355.10/355.24 c dual LP : 0.00 0 0 0.00 -
355.10/355.24 c lex dual LP : 0.00 0 0 0.00 -
355.10/355.24 c barrier LP : 0.00 0 0 0.00 -
355.10/355.24 c diving/probing LP: 0.00 0 0 0.00 -
355.10/355.24 c strong branching : 0.00 0 0 0.00 -
355.10/355.24 c (at root node) : - 0 0 0.00 -
355.10/355.24 c conflict analysis: 0.00 0 0 0.00 -
355.10/355.24 c B&B Tree :
355.10/355.24 c number of runs : 1
355.10/355.24 c nodes : 1054212
355.10/355.24 c nodes (total) : 1054212
355.10/355.24 c nodes left : 0
355.10/355.24 c max depth : 405
355.10/355.24 c max depth (total): 405
355.10/355.24 c backtracks : 80926 (7.7%)
355.10/355.24 c delayed cutoffs : 507399
355.10/355.24 c repropagations : 221124 (872289 domain reductions, 68799 cutoffs)
355.10/355.24 c avg switch length: 6.61
355.10/355.24 c switching time : 60.54
355.10/355.24 c Solution :
355.10/355.24 c Solutions found : 4 (4 improvements)
355.10/355.24 c First Solution : +2.57000000000000e+02 (in run 1, after 560739 nodes, 164.38 seconds, depth 321, found by <relaxation>)
355.10/355.24 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1054211 nodes, 324.27 seconds, depth 107, found by <relaxation>)
355.10/355.24 c Dual Bound : +3.00000000000000e+00
355.10/355.24 c Gap : 0.00 %
355.10/355.24 c Root Dual Bound : +1.00000000000000e+00
355.10/355.24 c Root Iterations : 0
355.10/355.29 c Time complete: 355.19.