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-2663641-1276648958.opb>
0.00/0.01 c original problem has 630 variables (630 bin, 0 int, 0 impl, 0 cont) and 460 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.01/0.02 c presolving:
0.09/0.11 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 50 chg coeffs, 0 upgd conss, 2916 impls, 0 clqs
0.09/0.11 c (round 2) 23 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 10 upgd conss, 4260 impls, 0 clqs
0.09/0.12 c (round 3) 37 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5436 impls, 0 clqs
0.09/0.12 c (round 4) 51 del vars, 36 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6444 impls, 0 clqs
0.09/0.13 c (round 5) 65 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 98 chg coeffs, 10 upgd conss, 7284 impls, 0 clqs
0.09/0.13 c (round 6) 79 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 110 chg coeffs, 10 upgd conss, 7956 impls, 0 clqs
0.09/0.14 c (round 7) 93 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 122 chg coeffs, 10 upgd conss, 8460 impls, 0 clqs
0.09/0.14 c (round 8) 107 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 8796 impls, 0 clqs
0.09/0.14 c (round 9) 121 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 146 chg coeffs, 10 upgd conss, 8964 impls, 0 clqs
0.09/0.15 c (round 10) 135 del vars, 108 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 8964 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 204/495 (41.2%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (11 rounds):
0.09/0.17 c 135 deleted vars, 108 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 158 changed coefficients
0.09/0.17 c 9000 implications, 0 cliques
0.09/0.17 c presolved problem has 495 variables (495 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.09/0.17 c 324 constraints of type <and>
0.09/0.17 c 9 constraints of type <linear>
0.09/0.17 c 10 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 2)
0.09/0.17 c Presolving Time: 0.09
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.99
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 1620
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c heuristics/undercover/freq = 0
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 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 | - |1663k| 0 | - | 495 | 343 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.69/2.72 c 2.4s| 10000 | 7433 | 0 | 0.0 |7026k| 285 | - | 495 | 765 | 0 | 0 | 0 |2016 | 0 | 1.000000e+00 | -- | Inf
5.29/5.33 c 4.8s| 20000 | 14826 | 0 | 0.0 | 12M| 285 | - | 495 | 940 | 0 | 0 | 0 |4004 | 0 | 1.000000e+00 | -- | Inf
8.09/8.17 c 7.3s| 30000 | 21637 | 0 | 0.0 | 17M| 285 | - | 495 |1313 | 0 | 0 | 0 |6471 | 0 | 1.000000e+00 | -- | Inf
11.18/11.23 c 10.1s| 40000 | 27875 | 0 | 0.0 | 22M| 285 | - | 495 |1471 | 0 | 0 | 0 |8960 | 0 | 1.000000e+00 | -- | Inf
13.89/13.94 c 12.6s| 50000 | 35082 | 0 | 0.0 | 27M| 285 | - | 495 |1101 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
16.89/16.93 c 15.3s| 60000 | 41882 | 0 | 0.0 | 32M| 285 | - | 495 |1301 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
19.88/19.96 c 18.1s| 70000 | 48579 | 0 | 0.0 | 37M| 285 | - | 495 |1357 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
23.09/23.12 c 21.0s| 80000 | 54984 | 0 | 0.0 | 41M| 285 | - | 495 |1461 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
26.08/26.18 c 23.8s| 90000 | 61723 | 0 | 0.0 | 46M| 285 | - | 495 |1246 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
29.08/29.18 c 26.5s|100000 | 68597 | 0 | 0.0 | 51M| 285 | - | 495 |1441 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
32.18/32.27 c 29.4s|110000 | 75197 | 0 | 0.0 | 56M| 285 | - | 495 |1501 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
35.18/35.24 c 32.0s|120000 | 82124 | 0 | 0.0 | 61M| 285 | - | 495 |1400 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
38.49/38.51 c 35.0s|130000 | 88534 | 0 | 0.0 | 65M| 285 | - | 495 |1692 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | -- | Inf
41.79/41.89 c 38.2s|140000 | 94837 | 0 | 0.0 | 70M| 285 | - | 495 |1819 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
45.28/45.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.28/45.32 c 41.4s|150000 |101064 | 0 | 0.0 | 75M| 285 | - | 495 |1716 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | -- | Inf
48.48/48.53 c 44.3s|160000 |107594 | 0 | 0.0 | 80M| 285 | - | 495 |1633 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
51.87/52.00 c 47.5s|170000 |113634 | 0 | 0.0 | 84M| 285 | - | 495 |1866 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
55.07/55.12 c 50.4s|180000 |120608 | 0 | 0.0 | 90M| 285 | - | 495 |1801 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
58.18/58.26 c 53.2s|190000 |127427 | 0 | 0.0 | 95M| 285 | - | 495 |2059 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
62.07/62.15 c 56.9s|200000 |132576 | 0 | 0.0 | 99M| 285 | - | 495 |2559 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
65.47/65.59 c 60.0s|210000 |139101 | 0 | 0.0 | 104M| 285 | - | 495 |2592 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
68.97/69.05 c 63.2s|220000 |145571 | 0 | 0.0 | 109M| 285 | - | 495 |2498 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
72.37/72.46 c 66.4s|230000 |151916 | 0 | 0.0 | 114M| 285 | - | 495 |2825 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
75.97/76.06 c 69.7s|240000 |158051 | 0 | 0.0 | 119M| 285 | - | 495 |2854 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
80.37/80.42 c 73.8s|250000 |162572 | 0 | 0.0 | 124M| 285 | - | 495 |2927 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
84.97/85.06 c 78.1s|260000 |166709 | 0 | 0.0 | 128M| 285 | - | 495 |2722 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
87.56/87.66 c 80.5s|270000 |174839 | 0 | 0.0 | 134M| 285 | - | 495 | 856 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
90.16/90.24 c 82.8s|280000 |182972 | 0 | 0.0 | 140M| 285 | - | 495 | 840 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
92.86/92.94 c 85.2s|290000 |190762 | 0 | 0.0 | 145M| 285 | - | 495 | 939 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
95.46/95.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.46/95.50 c 87.5s|300000 |198757 | 0 | 0.0 | 151M| 285 | - | 495 | 862 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
98.06/98.13 c 89.9s|310000 |206412 | 0 | 0.0 | 157M| 285 | - | 495 |1046 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
100.96/101.07 c 92.6s|320000 |213464 | 0 | 0.0 | 162M| 285 | - | 495 |1266 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
104.36/104.49 c 95.8s|330000 |219079 | 0 | 0.0 | 166M| 285 | - | 495 |1393 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
108.05/108.16 c 99.1s|340000 |224209 | 0 | 0.0 | 169M| 285 | - | 495 |1516 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
111.75/111.84 c 103s|350000 |229961 | 0 | 0.0 | 174M| 285 | - | 495 |1741 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
115.25/115.31 c 106s|360000 |236546 | 0 | 0.0 | 178M| 285 | - | 495 |1763 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
118.76/118.82 c 109s|370000 |242954 | 0 | 0.0 | 183M| 285 | - | 495 |1561 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
122.25/122.30 c 112s|380000 |249350 | 0 | 0.0 | 188M| 285 | - | 495 |1630 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
125.55/125.67 c 115s|390000 |255974 | 0 | 0.0 | 193M| 285 | - | 495 |1635 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
129.15/129.29 c 119s|400000 |261927 | 0 | 0.0 | 197M| 285 | - | 495 |1611 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
132.85/132.94 c 122s|410000 |267803 | 0 | 0.0 | 201M| 285 | - | 495 |1637 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
136.54/136.67 c 126s|420000 |273508 | 0 | 0.0 | 205M| 285 | - | 495 |1639 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
140.35/140.42 c 129s|430000 |279058 | 0 | 0.0 | 209M| 285 | - | 495 |1519 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | -- | Inf
144.25/144.32 c 133s|440000 |284378 | 0 | 0.0 | 213M| 285 | - | 495 |1520 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | -- | Inf
147.94/148.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.94/148.09 c 136s|450000 |289892 | 0 | 0.0 | 217M| 285 | - | 495 |1515 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | -- | Inf
151.94/152.01 c 140s|460000 |295284 | 0 | 0.0 | 221M| 285 | - | 495 |1640 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
155.64/155.79 c 143s|470000 |300953 | 0 | 0.0 | 225M| 285 | - | 495 |1773 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | -- | Inf
159.44/159.56 c 147s|480000 |306618 | 0 | 0.0 | 229M| 285 | - | 495 |1703 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
163.24/163.37 c 150s|490000 |312352 | 0 | 0.0 | 233M| 285 | - | 495 |1662 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | -- | Inf
167.04/167.15 c 154s|500000 |318188 | 0 | 0.0 | 237M| 285 | - | 495 |1606 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
170.73/170.88 c 157s|510000 |324167 | 0 | 0.0 | 242M| 285 | - | 495 |1797 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
174.63/174.80 c 161s|520000 |329788 | 0 | 0.0 | 246M| 285 | - | 495 |1944 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
178.73/178.87 c 165s|530000 |335237 | 0 | 0.0 | 250M| 285 | - | 495 |2003 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | -- | Inf
182.63/182.70 c 168s|540000 |341190 | 0 | 0.0 | 254M| 285 | - | 495 |1592 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | -- | Inf
185.83/185.99 c 171s|550000 |348110 | 0 | 0.0 | 259M| 285 | - | 495 |1433 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | -- | Inf
189.23/189.32 c 175s|560000 |354677 | 0 | 0.0 | 264M| 285 | - | 495 |1480 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | -- | Inf
192.72/192.82 c 178s|570000 |360855 | 0 | 0.0 | 268M| 285 | - | 495 |1633 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | -- | Inf
196.32/196.46 c 181s|580000 |366899 | 0 | 0.0 | 273M| 285 | - | 495 |1691 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | -- | Inf
199.73/199.81 c 184s|590000 |373343 | 0 | 0.0 | 277M| 285 | - | 495 |1605 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
203.02/203.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.02/203.11 c 187s|600000 |380143 | 0 | 0.0 | 282M| 285 | - | 495 |1631 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
206.22/206.37 c 190s|610000 |386810 | 0 | 0.0 | 287M| 285 | - | 495 |1537 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | -- | Inf
209.52/209.61 c 193s|620000 |393640 | 0 | 0.0 | 292M| 285 | - | 495 |1397 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | -- | Inf
212.61/212.71 c 196s|630000 |400480 | 0 | 0.0 | 297M| 285 | - | 495 |1609 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
216.22/216.35 c 200s|640000 |406397 | 0 | 0.0 | 301M| 285 | - | 495 |1634 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | -- | Inf
219.82/219.98 c 203s|650000 |412416 | 0 | 0.0 | 305M| 285 | - | 495 |1459 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | -- | Inf
223.31/223.48 c 206s|660000 |418585 | 0 | 0.0 | 310M| 285 | - | 495 |1826 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | -- | Inf
226.91/227.05 c 209s|670000 |424749 | 0 | 0.0 | 314M| 285 | - | 495 |1603 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
230.70/230.81 c 213s|680000 |430480 | 0 | 0.0 | 319M| 285 | - | 495 |1673 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | -- | Inf
234.31/234.49 c 216s|690000 |436477 | 0 | 0.0 | 323M| 285 | - | 495 |1631 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | -- | Inf
238.11/238.23 c 220s|700000 |442421 | 0 | 0.0 | 327M| 285 | - | 495 |1717 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | -- | Inf
242.00/242.13 c 224s|710000 |448182 | 0 | 0.0 | 332M| 285 | - | 495 |1765 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | -- | Inf
245.81/245.90 c 227s|720000 |454215 | 0 | 0.0 | 336M| 285 | - | 495 |2093 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | -- | Inf
249.70/249.84 c 231s|730000 |459896 | 0 | 0.0 | 340M| 285 | - | 495 |1717 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
253.50/253.64 c 234s|740000 |465720 | 0 | 0.0 | 345M| 285 | - | 495 |2042 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | -- | Inf
257.10/257.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.10/257.28 c 238s|750000 |472106 | 0 | 0.0 | 349M| 285 | - | 495 |1518 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | -- | Inf
260.99/261.14 c 241s|760000 |477700 | 0 | 0.0 | 353M| 285 | - | 495 |1863 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
264.80/264.94 c 245s|770000 |483594 | 0 | 0.0 | 358M| 285 | - | 495 |1987 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
268.59/268.79 c 248s|780000 |489560 | 0 | 0.0 | 362M| 285 | - | 495 |1757 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | -- | Inf
272.70/272.81 c 252s|790000 |495145 | 0 | 0.0 | 366M| 285 | - | 495 |1929 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | -- | Inf
276.60/276.74 c 256s|800000 |500942 | 0 | 0.0 | 371M| 285 | - | 495 |1976 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | -- | Inf
280.70/280.81 c 260s|810000 |506622 | 0 | 0.0 | 375M| 285 | - | 495 |2031 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
284.80/284.94 c 263s|820000 |512174 | 0 | 0.0 | 379M| 285 | - | 495 |1932 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | -- | Inf
288.79/288.99 c 267s|830000 |517947 | 0 | 0.0 | 384M| 285 | - | 495 |2126 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | -- | Inf
292.89/293.00 c 271s|840000 |523901 | 0 | 0.0 | 388M| 285 | - | 495 |1856 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | -- | Inf
297.08/297.29 c 275s|850000 |529172 | 0 | 0.0 | 393M| 285 | - | 495 |2003 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | -- | Inf
301.38/301.53 c 279s|860000 |534734 | 0 | 0.0 | 397M| 285 | - | 495 |2081 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
305.88/306.00 c 283s|870000 |539924 | 0 | 0.0 | 401M| 285 | - | 495 |2117 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | -- | Inf
309.99/310.12 c 287s|880000 |545731 | 0 | 0.0 | 406M| 285 | - | 495 |2080 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | -- | Inf
313.88/314.04 c 291s|890000 |551806 | 0 | 0.0 | 410M| 285 | - | 495 |2051 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | -- | Inf
317.58/317.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.58/317.74 c 294s|900000 |558003 | 0 | 0.0 | 414M| 285 | - | 495 |1943 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | -- | Inf
321.18/321.37 c 297s|910000 |564420 | 0 | 0.0 | 419M| 285 | - | 495 |1846 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | -- | Inf
325.28/325.41 c 301s|920000 |570245 | 0 | 0.0 | 423M| 285 | - | 495 |1749 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | -- | Inf
329.07/329.26 c 305s|930000 |576397 | 0 | 0.0 | 427M| 285 | - | 495 |1824 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | -- | Inf
333.19/333.31 c 308s|940000 |582124 | 0 | 0.0 | 432M| 285 | - | 495 |1892 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | -- | Inf
337.27/337.42 c 312s|950000 |587749 | 0 | 0.0 | 436M| 285 | - | 495 |1974 | 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | -- | Inf
341.28/341.44 c 316s|960000 |593676 | 0 | 0.0 | 440M| 285 | - | 495 |1698 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | -- | Inf
344.97/345.17 c 320s|970000 |600072 | 0 | 0.0 | 445M| 285 | - | 495 |2007 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | -- | Inf
348.48/348.67 c 323s|980000 |606862 | 0 | 0.0 | 450M| 285 | - | 495 |1855 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | -- | Inf
351.97/352.14 c 326s|990000 |613705 | 0 | 0.0 | 454M| 285 | - | 495 |1686 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | -- | Inf
355.57/355.73 c 329s| 1000k|620331 | 0 | 0.0 | 459M| 285 | - | 495 |1625 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | -- | Inf
359.26/359.41 c 333s| 1010k|626841 | 0 | 0.0 | 463M| 285 | - | 495 |1681 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | -- | Inf
362.87/363.05 c 336s| 1020k|633391 | 0 | 0.0 | 468M| 285 | - | 495 |1838 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | -- | Inf
366.37/366.56 c 339s| 1030k|640307 | 0 | 0.0 | 473M| 285 | - | 495 |1821 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | -- | Inf
369.96/370.14 c 343s| 1040k|646870 | 0 | 0.0 | 478M| 285 | - | 495 |1990 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | -- | Inf
374.36/374.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.36/374.50 c 347s| 1050k|652167 | 0 | 0.0 | 482M| 285 | - | 495 |2254 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | -- | Inf
378.06/378.25 c 350s| 1060k|658588 | 0 | 0.0 | 487M| 285 | - | 495 |2114 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | -- | Inf
382.16/382.35 c 354s| 1070k|664223 | 0 | 0.0 | 492M| 285 | - | 495 |2200 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | -- | Inf
386.36/386.53 c 358s| 1080k|669985 | 0 | 0.0 | 496M| 285 | - | 495 |2200 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | -- | Inf
390.65/390.84 c 362s| 1090k|675468 | 0 | 0.0 | 500M| 285 | - | 495 |2359 | 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | -- | Inf
395.16/395.36 c 366s| 1100k|680631 | 0 | 0.0 | 505M| 285 | - | 495 |2567 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | -- | Inf
399.06/399.23 c 370s| 1110k|686908 | 0 | 0.0 | 510M| 285 | - | 495 |2351 | 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | -- | Inf
402.56/402.79 c 373s| 1120k|693610 | 0 | 0.0 | 514M| 285 | - | 495 |2210 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | -- | Inf
406.75/406.94 c 377s| 1130k|699147 | 0 | 0.0 | 519M| 285 | - | 495 |2477 | 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | -- | Inf
410.55/410.72 c 380s| 1140k|705504 | 0 | 0.0 | 524M| 285 | - | 495 |2333 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | -- | Inf
414.15/414.32 c 384s| 1150k|712190 | 0 | 0.0 | 528M| 285 | - | 495 |2178 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | -- | Inf
417.55/417.70 c 387s| 1160k|719117 | 0 | 0.0 | 533M| 285 | - | 495 |2140 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | -- | Inf
421.75/421.90 c 391s| 1170k|724823 | 0 | 0.0 | 537M| 285 | - | 495 |2636 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | -- | Inf
425.64/425.83 c 395s| 1180k|731176 | 0 | 0.0 | 542M| 285 | - | 495 |2574 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | -- | Inf
429.74/429.91 c 398s| 1190k|737123 | 0 | 0.0 | 547M| 285 | - | 495 |2628 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | -- | Inf
433.44/433.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.44/433.64 c 402s| 1200k|743667 | 0 | 0.0 | 551M| 285 | - | 495 |2441 | 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | -- | Inf
437.24/437.41 c 405s| 1210k|750045 | 0 | 0.0 | 556M| 285 | - | 495 |2220 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | -- | Inf
441.24/441.46 c 409s| 1220k|755974 | 0 | 0.0 | 560M| 285 | - | 495 |2083 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | -- | Inf
445.24/445.41 c 413s| 1230k|761987 | 0 | 0.0 | 565M| 285 | - | 495 |2104 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | -- | Inf
446.04/446.25 o 65
446.04/446.25 c * 414s| 1232k|763343 | 0 | 0.0 | 566M| 285 | - | 495 |2081 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
449.24/449.49 c 417s| 1240k|767706 | 0 | 0.0 | 569M| 285 | - | 495 |2159 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
453.34/453.57 c 420s| 1250k|773439 | 0 | 0.0 | 573M| 285 | - | 495 |1276 | 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
457.54/457.79 c 424s| 1260k|778391 | 0 | 0.0 | 577M| 285 | - | 495 |1023 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
461.14/461.39 c 428s| 1270k|784334 | 0 | 0.0 | 582M| 285 | - | 495 |1328 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
465.04/465.25 c 431s| 1280k|789717 | 0 | 0.0 | 586M| 285 | - | 495 |1303 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
468.63/468.84 c 435s| 1290k|795667 | 0 | 0.0 | 590M| 285 | - | 495 |1266 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
472.23/472.40 c 438s| 1300k|801669 | 0 | 0.0 | 595M| 285 | - | 495 |1274 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
476.14/476.33 c 441s| 1310k|807057 | 0 | 0.0 | 600M| 285 | - | 495 |1378 | 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
480.03/480.24 c 445s| 1320k|812654 | 0 | 0.0 | 604M| 285 | - | 495 |1401 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
483.73/483.95 c 448s| 1330k|818287 | 0 | 0.0 | 608M| 285 | - | 495 |1372 | 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
487.03/487.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.03/487.22 c 451s| 1340k|824647 | 0 | 0.0 | 613M| 285 | - | 495 |1302 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
490.13/490.36 c 454s| 1350k|831528 | 0 | 0.0 | 618M| 285 | - | 495 |1285 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
493.63/493.88 c 458s| 1360k|837472 | 0 | 0.0 | 623M| 285 | - | 495 |1309 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
497.03/497.26 c 461s| 1370k|843844 | 0 | 0.0 | 627M| 285 | - | 495 |1358 | 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
500.32/500.59 c 464s| 1380k|850454 | 0 | 0.0 | 632M| 285 | - | 495 |1359 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
503.92/504.15 c 467s| 1390k|856617 | 0 | 0.0 | 637M| 285 | - | 495 |1384 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
507.62/507.85 c 471s| 1400k|862644 | 0 | 0.0 | 641M| 285 | - | 495 |1199 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
511.41/511.69 c 474s| 1410k|868226 | 0 | 0.0 | 645M| 285 | - | 495 |1266 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
515.51/515.74 c 478s| 1420k|873670 | 0 | 0.0 | 650M| 285 | - | 495 |1279 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
519.81/520.06 c 482s| 1430k|878556 | 0 | 0.0 | 654M| 285 | - | 495 |1484 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
524.21/524.41 c 486s| 1440k|883681 | 0 | 0.0 | 659M| 285 | - | 495 |1341 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
528.70/528.91 c 490s| 1450k|887707 | 0 | 0.0 | 663M| 285 | - | 495 |1401 | 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
533.21/533.41 o 19
533.21/533.41 c * 494s| 1459k|890774 | 0 | 0.0 | 666M| 285 | - | 495 |1376 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
533.31/533.59 c 494s| 1460k|890887 | 0 | 0.0 | 666M| 285 | - | 495 |1362 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
538.20/538.47 c 499s| 1470k|895004 | 0 | 0.0 | 671M| 285 | - | 495 |1372 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
541.10/541.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.10/541.36 c 502s| 1480k|902770 | 0 | 0.0 | 676M| 285 | - | 495 | 709 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
543.80/544.03 c 504s| 1490k|910755 | 0 | 0.0 | 682M| 285 | - | 495 | 653 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
546.29/546.58 c 506s| 1500k|919132 | 0 | 0.0 | 687M| 285 | - | 495 | 653 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
548.89/549.10 c 509s| 1510k|927547 | 0 | 0.0 | 693M| 285 | - | 495 | 635 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
551.49/551.71 c 511s| 1520k|935505 | 0 | 0.0 | 698M| 285 | - | 495 | 805 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
554.29/554.57 c 514s| 1530k|943059 | 0 | 0.0 | 704M| 285 | - | 495 | 930 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
557.19/557.43 c 516s| 1540k|950354 | 0 | 0.0 | 709M| 285 | - | 495 |1048 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
559.99/560.29 c 519s| 1550k|957762 | 0 | 0.0 | 714M| 285 | - | 495 | 939 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
562.99/563.21 c 522s| 1560k|964874 | 0 | 0.0 | 719M| 285 | - | 495 |1040 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
565.79/566.01 c 524s| 1570k|972380 | 0 | 0.0 | 725M| 285 | - | 495 |1014 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
568.59/568.82 c 527s| 1580k|979834 | 0 | 0.0 | 730M| 285 | - | 495 | 982 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
571.19/571.40 c 529s| 1590k|987849 | 0 | 0.0 | 735M| 285 | - | 495 | 905 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
573.78/574.02 c 531s| 1600k|995826 | 0 | 0.0 | 741M| 285 | - | 495 | 885 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
576.39/576.66 c 534s| 1610k| 1003k| 0 | 0.0 | 747M| 285 | - | 495 | 969 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
578.99/579.21 c 536s| 1620k| 1011k| 0 | 0.0 | 752M| 285 | - | 495 | 913 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
581.49/581.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.49/581.78 c 538s| 1630k| 1019k| 0 | 0.0 | 758M| 285 | - | 495 | 987 | 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
584.08/584.39 c 541s| 1640k| 1027k| 0 | 0.0 | 764M| 285 | - | 495 | 965 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
586.78/587.09 c 543s| 1650k| 1035k| 0 | 0.0 | 769M| 285 | - | 495 | 889 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
589.68/589.99 c 546s| 1660k| 1042k| 0 | 0.0 | 774M| 285 | - | 495 |1033 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
592.58/592.81 c 548s| 1670k| 1050k| 0 | 0.0 | 780M| 285 | - | 495 |1078 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
595.58/595.82 c 551s| 1680k| 1057k| 0 | 0.0 | 785M| 285 | - | 495 |1160 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
596.58/596.89 o 3
596.58/596.89 c * 552s| 1681k|859456 | 0 | 0.0 | 646M| 285 | - | 495 |1161 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
609.67/609.95 c
609.67/609.95 c SCIP Status : problem is solved [optimal solution found]
609.67/609.95 c Solving Time (sec) : 564.16
609.67/609.95 c Solving Nodes : 1681038
609.67/609.95 c Primal Bound : +3.00000000000000e+00 (3 solutions)
609.67/609.95 c Dual Bound : +3.00000000000000e+00
609.67/609.95 c Gap : 0.00 %
609.67/609.95 s OPTIMUM FOUND
609.67/609.95 v -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x126 -x125 -x124 -x123 x122 -x121 x120 -x175
609.67/609.95 v -x174 -x173 -x172 -x171 x170 x169 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x112
609.67/609.95 v x111 -x110 -x109 -x108 x107 x106 -x161 -x160 -x159 -x158 -x157 x156 x155 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x154 -x153
609.67/609.95 v -x152 -x151 -x150 x149 -x148 -x98 -x97 -x96 -x95 x94 -x93 x92 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x91 -x90 -x89 -x88 -x87
609.67/609.95 v x86 x85 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x133 -x132 -x131 -x130 -x129 -x128 -x127
609.67/609.95 v -x77 -x76 -x75 x74 -x73 -x72 x71 -x70 x69 -x68 x67 x66 x65 x64 -x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51
609.67/609.95 v x50 -x49 x48 -x47 -x46 -x45 x44 x43 x42 -x41 -x40 x39 x38 -x37 x36 x35 -x34 x33 -x32 x31 x30 x29 -x28 -x27 -x26 -x25 -x24
609.67/609.95 v x23 x22 -x21 x20 x19 x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 x8 -x7 -x6 -x5 -x4 -x3 x2 x1
609.67/609.95 c SCIP Status : problem is solved [optimal solution found]
609.67/609.95 c Solving Time : 564.16
609.67/609.95 c Original Problem :
609.67/609.95 c Problem name : HOME/instance-2663641-1276648958.opb
609.67/609.95 c Variables : 630 (630 binary, 0 integer, 0 implicit integer, 0 continuous)
609.67/609.95 c Constraints : 460 initial, 460 maximal
609.67/609.95 c Presolved Problem :
609.67/609.95 c Problem name : t_HOME/instance-2663641-1276648958.opb
609.67/609.95 c Variables : 495 (495 binary, 0 integer, 0 implicit integer, 0 continuous)
609.67/609.95 c Constraints : 343 initial, 3032 maximal
609.67/609.95 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
609.67/609.95 c trivial : 0.00 0 0 0 0 0 0 0 0
609.67/609.95 c dualfix : 0.00 0 0 0 0 0 0 0 0
609.67/609.95 c boundshift : 0.00 0 0 0 0 0 0 0 0
609.67/609.95 c inttobinary : 0.00 0 0 0 0 0 0 0 0
609.67/609.95 c implics : 0.00 0 0 0 0 0 0 0 0
609.67/609.95 c probing : 0.02 0 0 0 0 0 0 0 0
609.67/609.95 c and : 0.04 18 108 0 0 0 108 0 108
609.67/609.95 c linear : 0.01 1 8 0 0 0 0 0 50
609.67/609.95 c logicor : 0.00 0 0 0 0 0 0 0 0
609.67/609.95 c root node : - 49 - - 49 - - - -
609.67/609.95 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
609.67/609.95 c integral : 0 0 0 0 0 0 0 0 0 0
609.67/609.95 c and : 324 0 4190366 0 1459776 55251 6401149 0 0 0
609.67/609.95 c linear : 9 0 4135113 0 1459776 284929 3097901 0 0 0
609.67/609.95 c logicor : 10+ 0 1893329 0 1459763 15409 559813 0 0 0
609.67/609.95 c countsols : 0 0 0 0 1459779 0 0 0 0 0
609.67/609.95 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
609.67/609.95 c integral : 0.00 0.00 0.00 0.00 0.00
609.67/609.95 c and : 72.23 0.00 48.84 0.00 23.39
609.67/609.95 c linear : 131.36 0.00 129.76 0.00 1.60
609.67/609.95 c logicor : 57.39 0.00 54.54 0.00 2.85
609.67/609.95 c countsols : 0.74 0.00 0.00 0.00 0.74
609.67/609.95 c Propagators : Time Calls Cutoffs DomReds
609.67/609.95 c vbounds : 2.02 2 0 0
609.67/609.95 c rootredcost : 1.80 0 0 0
609.67/609.95 c pseudoobj : 5.17 4189955 11 621
609.67/609.95 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
609.67/609.95 c propagation : 65.15 355596 353965 3690686 47.1 28623 44.2 -
609.67/609.95 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
609.67/609.95 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
609.67/609.95 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
609.67/609.95 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
609.67/609.95 c applied globally : - - - 488242 26.6 - - -
609.67/609.95 c applied locally : - - - 11724 57.3 - - -
609.67/609.95 c Separators : Time Calls Cutoffs DomReds Cuts Conss
609.67/609.95 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
609.67/609.95 c redcost : 0.00 0 0 0 0 0
609.67/609.95 c impliedbounds : 0.00 0 0 0 0 0
609.67/609.95 c intobj : 0.00 0 0 0 0 0
609.67/609.95 c cgmip : 0.00 0 0 0 0 0
609.67/609.95 c gomory : 0.00 0 0 0 0 0
609.67/609.95 c strongcg : 0.00 0 0 0 0 0
609.67/609.95 c cmir : 0.00 0 0 0 0 0
609.67/609.95 c flowcover : 0.00 0 0 0 0 0
609.67/609.95 c clique : 0.00 0 0 0 0 0
609.67/609.95 c zerohalf : 0.00 0 0 0 0 0
609.67/609.95 c mcf : 0.00 0 0 0 0 0
609.67/609.95 c rapidlearning : 0.00 0 0 0 0 0
609.67/609.95 c Pricers : Time Calls Vars
609.67/609.95 c problem variables: 0.00 0 0
609.67/609.95 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
609.67/609.95 c relpscost : 0.00 0 0 0 0 0 0
609.67/609.95 c pscost : 0.00 0 0 0 0 0 0
609.67/609.95 c inference : 78.70 1459776 0 0 0 0 2919552
609.67/609.95 c mostinf : 0.00 0 0 0 0 0 0
609.67/609.95 c leastinf : 0.00 0 0 0 0 0 0
609.67/609.95 c fullstrong : 0.00 0 0 0 0 0 0
609.67/609.95 c allfullstrong : 0.00 0 0 0 0 0 0
609.67/609.95 c random : 0.00 0 0 0 0 0 0
609.67/609.95 c Primal Heuristics : Time Calls Found
609.67/609.95 c LP solutions : 0.00 - 0
609.67/609.95 c pseudo solutions : 0.80 - 3
609.67/609.95 c oneopt : 0.98 0 0
609.67/609.95 c trivial : 0.00 2 0
609.67/609.95 c simplerounding : 0.00 0 0
609.67/609.95 c zirounding : 0.00 0 0
609.67/609.95 c rounding : 0.00 0 0
609.67/609.95 c shifting : 0.00 0 0
609.67/609.95 c intshifting : 0.00 0 0
609.67/609.95 c twoopt : 0.00 0 0
609.67/609.95 c fixandinfer : 0.00 0 0
609.67/609.95 c feaspump : 0.00 0 0
609.67/609.95 c coefdiving : 0.00 0 0
609.67/609.95 c pscostdiving : 0.00 0 0
609.67/609.95 c fracdiving : 0.00 0 0
609.67/609.95 c veclendiving : 0.00 0 0
609.67/609.95 c intdiving : 0.00 0 0
609.67/609.95 c actconsdiving : 0.00 0 0
609.67/609.95 c objpscostdiving : 0.00 0 0
609.67/609.95 c rootsoldiving : 0.00 0 0
609.67/609.95 c linesearchdiving : 0.00 0 0
609.67/609.95 c guideddiving : 0.00 0 0
609.67/609.95 c octane : 0.00 0 0
609.67/609.95 c rens : 0.00 0 0
609.67/609.95 c rins : 0.00 0 0
609.67/609.95 c localbranching : 0.00 0 0
609.67/609.95 c mutation : 0.00 0 0
609.67/609.95 c crossover : 0.00 0 0
609.67/609.95 c dins : 0.00 0 0
609.67/609.95 c undercover : 0.00 0 0
609.67/609.95 c nlp : 0.88 0 0
609.67/609.95 c trysol : 0.71 0 0
609.67/609.95 c LP : Time Calls Iterations Iter/call Iter/sec
609.67/609.95 c primal LP : 0.00 0 0 0.00 -
609.67/609.95 c dual LP : 0.00 0 0 0.00 -
609.67/609.95 c lex dual LP : 0.00 0 0 0.00 -
609.67/609.95 c barrier LP : 0.00 0 0 0.00 -
609.67/609.95 c diving/probing LP: 0.00 0 0 0.00 -
609.67/609.95 c strong branching : 0.00 0 0 0.00 -
609.67/609.95 c (at root node) : - 0 0 0.00 -
609.67/609.95 c conflict analysis: 0.00 0 0 0.00 -
609.67/609.95 c B&B Tree :
609.67/609.95 c number of runs : 1
609.67/609.95 c nodes : 1681038
609.67/609.95 c nodes (total) : 1681038
609.67/609.95 c nodes left : 0
609.67/609.95 c max depth : 285
609.67/609.95 c max depth (total): 285
609.67/609.95 c backtracks : 149743 (8.9%)
609.67/609.95 c delayed cutoffs : 1038558
609.67/609.95 c repropagations : 441319 (1387724 domain reductions, 134341 cutoffs)
609.67/609.95 c avg switch length: 6.26
609.67/609.95 c switching time : 138.51
609.67/609.95 c Solution :
609.67/609.95 c Solutions found : 3 (3 improvements)
609.67/609.95 c First Solution : +6.50000000000000e+01 (in run 1, after 1232358 nodes, 413.53 seconds, depth 140, found by <relaxation>)
609.67/609.95 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1681038 nodes, 551.39 seconds, depth 88, found by <relaxation>)
609.67/609.95 c Dual Bound : +3.00000000000000e+00
609.67/609.95 c Gap : 0.00 %
609.67/609.95 c Root Dual Bound : +1.00000000000000e+00
609.67/609.95 c Root Iterations : 0
609.78/610.02 c Time complete: 609.8.