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-2663630-1276648536.opb>
0.00/0.01 c original problem has 648 variables (648 bin, 0 int, 0 impl, 0 cont) and 499 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.12 c (round 1) 6 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 49 chg coeffs, 0 upgd conss, 2544 impls, 0 clqs
0.09/0.13 c (round 2) 24 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 65 chg coeffs, 7 upgd conss, 3984 impls, 0 clqs
0.09/0.14 c (round 3) 42 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 81 chg coeffs, 7 upgd conss, 5136 impls, 0 clqs
0.09/0.14 c (round 4) 60 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 97 chg coeffs, 7 upgd conss, 6000 impls, 0 clqs
0.09/0.14 c (round 5) 78 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 113 chg coeffs, 7 upgd conss, 6576 impls, 0 clqs
0.09/0.15 c (round 6) 96 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 7 upgd conss, 6864 impls, 0 clqs
0.09/0.15 c (round 7) 114 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 145 chg coeffs, 7 upgd conss, 6864 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 190/534 (35.6%) - 0 fixings, 0 aggregations, 12 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (8 rounds):
0.09/0.18 c 114 deleted vars, 96 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 145 changed coefficients
0.09/0.18 c 6888 implications, 0 cliques
0.09/0.18 c presolved problem has 534 variables (534 bin, 0 int, 0 impl, 0 cont) and 397 constraints
0.09/0.18 c 384 constraints of type <and>
0.09/0.18 c 6 constraints of type <linear>
0.09/0.18 c 7 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 2)
0.09/0.18 c Presolving Time: 0.10
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1800
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 1620
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c heuristics/undercover/freq = 0
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - |1704k| 0 | - | 534 | 397 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.09/3.12 c 2.8s| 10000 | 6835 | 0 | 0.0 |7085k| 332 | - | 534 |1017 | 0 | 0 | 0 |2064 | 0 | 1.000000e+00 | -- | Inf
6.50/6.52 c 6.0s| 20000 | 12545 | 0 | 0.0 | 11M| 332 | - | 534 |1203 | 0 | 0 | 0 |4787 | 0 | 1.000000e+00 | -- | Inf
10.29/10.30 c 9.5s| 30000 | 18080 | 0 | 0.0 | 16M| 332 | - | 534 |1164 | 0 | 0 | 0 |7278 | 0 | 1.000000e+00 | -- | Inf
13.49/13.52 c 12.5s| 40000 | 24681 | 0 | 0.0 | 21M| 332 | - | 534 |1185 | 0 | 0 | 0 |9397 | 0 | 1.000000e+00 | -- | Inf
17.19/17.20 c 15.9s| 50000 | 30330 | 0 | 0.0 | 25M| 332 | - | 534 |1738 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
20.80/20.84 c 19.3s| 60000 | 36485 | 0 | 0.0 | 30M| 332 | - | 534 |1915 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
24.19/24.25 c 22.4s| 70000 | 43371 | 0 | 0.0 | 35M| 332 | - | 534 |2067 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
27.58/27.61 c 25.6s| 80000 | 50451 | 0 | 0.0 | 40M| 332 | - | 534 |2023 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
30.98/31.03 c 28.8s| 90000 | 57456 | 0 | 0.0 | 45M| 332 | - | 534 |2431 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
34.58/34.64 c 32.1s|100000 | 64066 | 0 | 0.0 | 49M| 332 | - | 534 |2430 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
38.77/38.85 c 36.1s|110000 | 69362 | 0 | 0.0 | 53M| 332 | - | 534 |2504 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
43.18/43.26 c 40.2s|120000 | 74644 | 0 | 0.0 | 58M| 332 | - | 534 |2541 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
48.07/48.16 c 44.9s|130000 | 78670 | 0 | 0.0 | 62M| 332 | - | 534 |2440 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
53.27/53.35 c 49.8s|140000 | 82619 | 0 | 0.0 | 65M| 332 | - | 534 |2339 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
57.47/57.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.47/57.54 c 53.7s|150000 | 87715 | 0 | 0.0 | 69M| 332 | - | 534 |1055 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | -- | Inf
60.57/60.65 c 56.5s|160000 | 95194 | 0 | 0.0 | 75M| 332 | - | 534 | 998 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
64.07/64.16 c 59.8s|170000 |101753 | 0 | 0.0 | 80M| 332 | - | 534 |1144 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
67.37/67.44 c 62.9s|180000 |108980 | 0 | 0.0 | 85M| 332 | - | 534 | 719 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
70.47/70.53 c 65.7s|190000 |116646 | 0 | 0.0 | 90M| 332 | - | 534 |1035 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
73.77/73.85 c 68.8s|200000 |123692 | 0 | 0.0 | 95M| 332 | - | 534 |1021 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
77.07/77.12 c 71.8s|210000 |130935 | 0 | 0.0 | 101M| 332 | - | 534 |1050 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
80.37/80.42 c 74.9s|220000 |138147 | 0 | 0.0 | 106M| 332 | - | 534 |1194 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
83.76/83.87 c 78.1s|230000 |145168 | 0 | 0.0 | 111M| 332 | - | 534 |1208 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
87.17/87.29 c 81.3s|240000 |152043 | 0 | 0.0 | 115M| 332 | - | 534 |1292 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
90.67/90.78 c 84.5s|250000 |158765 | 0 | 0.0 | 120M| 332 | - | 534 |1424 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
94.46/94.50 c 88.0s|260000 |165220 | 0 | 0.0 | 125M| 332 | - | 534 |1754 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
98.26/98.35 c 91.6s|270000 |171501 | 0 | 0.0 | 129M| 332 | - | 534 |1701 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
102.36/102.47 c 95.5s|280000 |177339 | 0 | 0.0 | 133M| 332 | - | 534 |1701 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
106.35/106.49 c 99.3s|290000 |183356 | 0 | 0.0 | 137M| 332 | - | 534 |1703 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
110.16/110.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.16/110.22 c 103s|300000 |189771 | 0 | 0.0 | 142M| 332 | - | 534 |1727 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
114.05/114.15 c 106s|310000 |195876 | 0 | 0.0 | 146M| 332 | - | 534 |1811 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
117.75/117.80 c 110s|320000 |202611 | 0 | 0.0 | 151M| 332 | - | 534 |1804 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | -- | Inf
121.25/121.30 c 113s|330000 |209550 | 0 | 0.0 | 156M| 332 | - | 534 |1632 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
124.65/124.73 c 116s|340000 |216645 | 0 | 0.0 | 161M| 332 | - | 534 |1790 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
128.26/128.34 c 120s|350000 |223775 | 0 | 0.0 | 166M| 332 | - | 534 |1611 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
131.86/131.95 c 123s|360000 |230834 | 0 | 0.0 | 171M| 332 | - | 534 |1594 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
135.45/135.54 c 126s|370000 |237721 | 0 | 0.0 | 176M| 332 | - | 534 |1697 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
139.05/139.17 c 130s|380000 |244394 | 0 | 0.0 | 180M| 332 | - | 534 |1942 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
143.05/143.14 c 134s|390000 |250490 | 0 | 0.0 | 185M| 332 | - | 534 |2128 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
147.05/147.16 c 137s|400000 |256700 | 0 | 0.0 | 189M| 332 | - | 534 |2174 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
151.55/151.60 c 142s|410000 |262229 | 0 | 0.0 | 193M| 332 | - | 534 |2297 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
155.65/155.71 c 145s|420000 |268595 | 0 | 0.0 | 198M| 332 | - | 534 |2210 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | -- | Inf
159.55/159.65 c 149s|430000 |275143 | 0 | 0.0 | 203M| 332 | - | 534 |2315 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
163.55/163.60 c 153s|440000 |281673 | 0 | 0.0 | 208M| 332 | - | 534 |2431 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
167.35/167.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.35/167.42 c 156s|450000 |288462 | 0 | 0.0 | 213M| 332 | - | 534 |2333 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
170.74/170.84 c 160s|460000 |296005 | 0 | 0.0 | 218M| 332 | - | 534 |1962 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
174.14/174.24 c 163s|470000 |303484 | 0 | 0.0 | 223M| 332 | - | 534 |1959 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | -- | Inf
177.74/177.81 c 166s|480000 |310670 | 0 | 0.0 | 228M| 332 | - | 534 |1925 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | -- | Inf
181.44/181.55 c 169s|490000 |317652 | 0 | 0.0 | 234M| 332 | - | 534 |2037 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
185.23/185.35 c 173s|500000 |324366 | 0 | 0.0 | 238M| 332 | - | 534 |1929 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
189.24/189.30 c 177s|510000 |331091 | 0 | 0.0 | 243M| 332 | - | 534 |2112 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | -- | Inf
193.14/193.22 c 180s|520000 |337758 | 0 | 0.0 | 248M| 332 | - | 534 |2083 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
197.23/197.33 c 184s|530000 |344132 | 0 | 0.0 | 253M| 332 | - | 534 |2143 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
201.14/201.28 c 188s|540000 |350698 | 0 | 0.0 | 258M| 332 | - | 534 |2150 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | -- | Inf
205.43/205.54 c 192s|550000 |356655 | 0 | 0.0 | 262M| 332 | - | 534 |2201 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
209.63/209.73 c 196s|560000 |362813 | 0 | 0.0 | 267M| 332 | - | 534 |2179 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
214.13/214.25 c 200s|570000 |368360 | 0 | 0.0 | 271M| 332 | - | 534 |2261 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | -- | Inf
218.33/218.46 c 204s|580000 |374326 | 0 | 0.0 | 275M| 332 | - | 534 |2189 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | -- | Inf
222.33/222.49 c 208s|590000 |380650 | 0 | 0.0 | 280M| 332 | - | 534 |2203 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | -- | Inf
226.63/226.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.63/226.73 c 212s|600000 |386751 | 0 | 0.0 | 284M| 332 | - | 534 |2246 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | -- | Inf
227.83/227.90 o 41
227.83/227.90 c * 213s|602688 |387717 | 0 | 0.0 | 285M| 332 | - | 534 |2273 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
230.93/231.02 c 216s|610000 |392207 | 0 | 0.0 | 289M| 332 | - | 534 |2340 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
235.24/235.39 c 220s|620000 |398099 | 0 | 0.0 | 294M| 332 | - | 534 |2152 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
239.82/239.92 c 224s|630000 |403343 | 0 | 0.0 | 300M| 332 | - | 534 |2111 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
244.52/244.64 c 229s|640000 |408394 | 0 | 0.0 | 305M| 332 | - | 534 |1986 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
249.42/249.58 c 234s|650000 |413035 | 0 | 0.0 | 309M| 332 | - | 534 |1659 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
254.21/254.32 c 238s|660000 |417510 | 0 | 0.0 | 313M| 332 | - | 534 |1924 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
259.32/259.44 c 243s|670000 |421690 | 0 | 0.0 | 316M| 332 | - | 534 |2016 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
264.41/264.52 c 248s|680000 |425703 | 0 | 0.0 | 320M| 332 | - | 534 |2005 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
269.91/270.04 c 253s|690000 |429276 | 0 | 0.0 | 323M| 332 | - | 534 |1773 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
274.62/274.70 c 257s|700000 |434291 | 0 | 0.0 | 327M| 332 | - | 534 |1887 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
278.92/279.02 c 261s|710000 |439801 | 0 | 0.0 | 331M| 332 | - | 534 |1873 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
283.41/283.51 c 266s|720000 |444737 | 0 | 0.0 | 335M| 332 | - | 534 |1861 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
288.60/288.73 c 270s|730000 |448724 | 0 | 0.0 | 339M| 332 | - | 534 |1897 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
292.41/292.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.41/292.56 c 274s|740000 |455101 | 0 | 0.0 | 344M| 332 | - | 534 |1846 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
297.10/297.23 c 278s|750000 |460104 | 0 | 0.0 | 348M| 332 | - | 534 |1775 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
303.11/303.22 c 284s|760000 |463033 | 0 | 0.0 | 352M| 332 | - | 534 |1750 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
309.51/309.68 c 290s|770000 |464838 | 0 | 0.0 | 355M| 332 | - | 534 |1795 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
314.90/315.01 c 295s|780000 |468018 | 0 | 0.0 | 358M| 332 | - | 534 | 869 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
318.70/318.88 c 299s|790000 |473881 | 0 | 0.0 | 362M| 332 | - | 534 |1377 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
322.00/322.10 c 302s|800000 |481465 | 0 | 0.0 | 368M| 332 | - | 534 |1103 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
325.10/325.23 c 305s|810000 |489054 | 0 | 0.0 | 373M| 332 | - | 534 |1133 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
328.30/328.45 c 308s|820000 |496354 | 0 | 0.0 | 379M| 332 | - | 534 |1004 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
331.49/331.60 c 311s|830000 |503693 | 0 | 0.0 | 384M| 332 | - | 534 | 942 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
334.59/334.70 c 314s|840000 |511120 | 0 | 0.0 | 389M| 332 | - | 534 | 910 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
337.69/337.89 c 317s|850000 |518455 | 0 | 0.0 | 395M| 332 | - | 534 | 870 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
341.00/341.19 c 320s|860000 |525535 | 0 | 0.0 | 400M| 332 | - | 534 | 813 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
344.69/344.83 c 323s|870000 |532270 | 0 | 0.0 | 405M| 332 | - | 534 |1010 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
348.50/348.63 c 327s|880000 |538637 | 0 | 0.0 | 410M| 332 | - | 534 |1181 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
352.49/352.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.49/352.68 c 330s|890000 |544789 | 0 | 0.0 | 414M| 332 | - | 534 |1096 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
356.59/356.71 c 334s|900000 |550918 | 0 | 0.0 | 419M| 332 | - | 534 | 894 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
360.79/360.90 c 338s|910000 |556729 | 0 | 0.0 | 423M| 332 | - | 534 |1023 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
365.10/365.24 c 342s|920000 |562424 | 0 | 0.0 | 428M| 332 | - | 534 |1386 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
366.99/367.17 o 3
366.99/367.17 c * 344s|923768 |453109 | 0 | 0.0 | 347M| 332 | - | 534 |1224 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
372.79/372.95 c
372.79/372.95 c SCIP Status : problem is solved [optimal solution found]
372.79/372.95 c Solving Time (sec) : 349.27
372.79/372.95 c Solving Nodes : 923769
372.79/372.95 c Primal Bound : +3.00000000000000e+00 (2 solutions)
372.79/372.95 c Dual Bound : +3.00000000000000e+00
372.79/372.95 c Gap : 0.00 %
372.79/372.95 s OPTIMUM FOUND
372.79/372.95 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x108 -x107 -x106 -x105
372.79/372.95 v -x104 -x103 -x102 x101 x100 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
372.79/372.95 v x91 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 x82 -x126 -x125 -x124 -x123
372.79/372.95 v -x122 -x121 -x120 -x119 x118 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
372.79/372.95 v -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47
372.79/372.95 v 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 -x21 -x20
372.79/372.95 v x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
372.79/372.95 c SCIP Status : problem is solved [optimal solution found]
372.79/372.95 c Solving Time : 349.27
372.79/372.95 c Original Problem :
372.79/372.95 c Problem name : HOME/instance-2663630-1276648536.opb
372.79/372.95 c Variables : 648 (648 binary, 0 integer, 0 implicit integer, 0 continuous)
372.79/372.95 c Constraints : 499 initial, 499 maximal
372.79/372.95 c Presolved Problem :
372.79/372.95 c Problem name : t_HOME/instance-2663630-1276648536.opb
372.79/372.95 c Variables : 534 (534 binary, 0 integer, 0 implicit integer, 0 continuous)
372.79/372.95 c Constraints : 397 initial, 2583 maximal
372.79/372.95 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
372.79/372.95 c trivial : 0.00 0 0 0 0 0 0 0 0
372.79/372.95 c dualfix : 0.00 0 0 0 0 0 0 0 0
372.79/372.95 c boundshift : 0.00 0 0 0 0 0 0 0 0
372.79/372.95 c inttobinary : 0.00 0 0 0 0 0 0 0 0
372.79/372.95 c implics : 0.00 0 0 0 0 0 0 0 0
372.79/372.95 c probing : 0.03 0 0 0 0 0 0 0 0
372.79/372.95 c and : 0.05 12 96 0 0 0 96 0 96
372.79/372.95 c linear : 0.01 1 5 0 0 0 0 0 49
372.79/372.95 c logicor : 0.00 0 0 0 0 0 0 0 0
372.79/372.95 c root node : - 81 - - 81 - - - -
372.79/372.95 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
372.79/372.95 c integral : 0 0 0 0 0 0 0 0 0 0
372.79/372.95 c and : 384 0 2164310 0 797321 25260 3947066 0 0 0
372.79/372.95 c linear : 6 0 2139049 0 797321 180254 1599636 0 0 0
372.79/372.95 c logicor : 7+ 0 834910 0 797277 7006 231513 0 0 0
372.79/372.95 c countsols : 0 0 0 0 797322 0 0 0 0 0
372.79/372.95 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
372.79/372.95 c integral : 0.00 0.00 0.00 0.00 0.00
372.79/372.95 c and : 47.26 0.00 32.27 0.00 14.99
372.79/372.95 c linear : 112.60 0.00 111.70 0.00 0.90
372.79/372.95 c logicor : 28.65 0.00 26.83 0.00 1.82
372.79/372.95 c countsols : 0.36 0.00 0.00 0.00 0.36
372.79/372.96 c Propagators : Time Calls Cutoffs DomReds
372.79/372.96 c vbounds : 0.98 2 0 0
372.79/372.96 c rootredcost : 0.93 0 0 0
372.79/372.96 c pseudoobj : 2.80 2163922 1 15463
372.79/372.96 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
372.79/372.96 c propagation : 70.19 212512 211367 2590635 71.7 12498 76.2 -
372.79/372.96 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
372.79/372.96 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
372.79/372.96 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
372.79/372.96 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
372.79/372.96 c applied globally : - - - 205005 31.2 - - -
372.79/372.96 c applied locally : - - - 38695 66.8 - - -
372.79/372.96 c Separators : Time Calls Cutoffs DomReds Cuts Conss
372.79/372.96 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
372.79/372.96 c redcost : 0.00 0 0 0 0 0
372.79/372.96 c impliedbounds : 0.00 0 0 0 0 0
372.79/372.96 c intobj : 0.00 0 0 0 0 0
372.79/372.96 c cgmip : 0.00 0 0 0 0 0
372.79/372.96 c gomory : 0.00 0 0 0 0 0
372.79/372.96 c strongcg : 0.00 0 0 0 0 0
372.79/372.96 c cmir : 0.00 0 0 0 0 0
372.79/372.96 c flowcover : 0.00 0 0 0 0 0
372.79/372.96 c clique : 0.00 0 0 0 0 0
372.79/372.96 c zerohalf : 0.00 0 0 0 0 0
372.79/372.96 c mcf : 0.00 0 0 0 0 0
372.79/372.96 c rapidlearning : 0.00 0 0 0 0 0
372.79/372.96 c Pricers : Time Calls Vars
372.79/372.96 c problem variables: 0.00 0 0
372.79/372.96 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
372.79/372.96 c relpscost : 0.00 0 0 0 0 0 0
372.79/372.96 c pscost : 0.00 0 0 0 0 0 0
372.79/372.96 c inference : 45.24 797320 0 0 0 0 1594640
372.79/372.96 c mostinf : 0.00 0 0 0 0 0 0
372.79/372.96 c leastinf : 0.00 0 0 0 0 0 0
372.79/372.96 c fullstrong : 0.00 0 0 0 0 0 0
372.79/372.96 c allfullstrong : 0.00 0 0 0 0 0 0
372.79/372.96 c random : 0.00 0 0 0 0 0 0
372.79/372.96 c Primal Heuristics : Time Calls Found
372.79/372.96 c LP solutions : 0.00 - 0
372.79/372.96 c pseudo solutions : 0.37 - 2
372.79/372.96 c oneopt : 0.59 0 0
372.79/372.96 c trivial : 0.00 2 0
372.79/372.96 c simplerounding : 0.00 0 0
372.79/372.96 c zirounding : 0.00 0 0
372.79/372.96 c rounding : 0.00 0 0
372.79/372.96 c shifting : 0.00 0 0
372.79/372.96 c intshifting : 0.00 0 0
372.79/372.96 c twoopt : 0.00 0 0
372.79/372.96 c fixandinfer : 0.00 0 0
372.79/372.96 c feaspump : 0.00 0 0
372.79/372.96 c coefdiving : 0.00 0 0
372.79/372.96 c pscostdiving : 0.00 0 0
372.79/372.96 c fracdiving : 0.00 0 0
372.79/372.96 c veclendiving : 0.00 0 0
372.79/372.96 c intdiving : 0.00 0 0
372.79/372.96 c actconsdiving : 0.00 0 0
372.79/372.96 c objpscostdiving : 0.00 0 0
372.79/372.96 c rootsoldiving : 0.00 0 0
372.79/372.96 c linesearchdiving : 0.00 0 0
372.79/372.96 c guideddiving : 0.00 0 0
372.79/372.96 c octane : 0.00 0 0
372.79/372.96 c rens : 0.00 0 0
372.79/372.96 c rins : 0.00 0 0
372.79/372.96 c localbranching : 0.00 0 0
372.79/372.96 c mutation : 0.00 0 0
372.79/372.96 c crossover : 0.00 0 0
372.79/372.96 c dins : 0.00 0 0
372.79/372.96 c undercover : 0.00 0 0
372.79/372.96 c nlp : 0.54 0 0
372.79/372.96 c trysol : 0.48 0 0
372.79/372.96 c LP : Time Calls Iterations Iter/call Iter/sec
372.79/372.96 c primal LP : 0.00 0 0 0.00 -
372.79/372.96 c dual LP : 0.00 0 0 0.00 -
372.79/372.96 c lex dual LP : 0.00 0 0 0.00 -
372.79/372.96 c barrier LP : 0.00 0 0 0.00 -
372.79/372.96 c diving/probing LP: 0.00 0 0 0.00 -
372.79/372.96 c strong branching : 0.00 0 0 0.00 -
372.79/372.96 c (at root node) : - 0 0 0.00 -
372.79/372.96 c conflict analysis: 0.00 0 0 0.00 -
372.79/372.96 c B&B Tree :
372.79/372.96 c number of runs : 1
372.79/372.96 c nodes : 923769
372.79/372.96 c nodes (total) : 923769
372.79/372.96 c nodes left : 0
372.79/372.96 c max depth : 332
372.79/372.96 c max depth (total): 332
372.79/372.96 c backtracks : 93977 (10.2%)
372.79/372.96 c delayed cutoffs : 558690
372.79/372.96 c repropagations : 199548 (802649 domain reductions, 86074 cutoffs)
372.79/372.96 c avg switch length: 6.35
372.79/372.96 c switching time : 70.13
372.79/372.96 c Solution :
372.79/372.96 c Solutions found : 2 (2 improvements)
372.79/372.96 c First Solution : +4.10000000000000e+01 (in run 1, after 602688 nodes, 212.98 seconds, depth 151, found by <relaxation>)
372.79/372.96 c Primal Bound : +3.00000000000000e+00 (in run 1, after 923768 nodes, 343.69 seconds, depth 73, found by <relaxation>)
372.79/372.96 c Dual Bound : +3.00000000000000e+00
372.79/372.96 c Gap : 0.00 %
372.79/372.96 c Root Dual Bound : +1.00000000000000e+00
372.79/372.96 c Root Iterations : 0
372.88/373.01 c Time complete: 372.9.