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-2663692-1276650229.opb>
0.00/0.01 c original problem has 864 variables (864 bin, 0 int, 0 impl, 0 cont) and 665 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.19/0.20 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 63 chg coeffs, 0 upgd conss, 3712 impls, 0 clqs
0.19/0.20 c (round 2) 26 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 79 chg coeffs, 9 upgd conss, 5728 impls, 0 clqs
0.19/0.21 c (round 3) 44 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 9 upgd conss, 7456 impls, 0 clqs
0.19/0.22 c (round 4) 62 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 9 upgd conss, 8896 impls, 0 clqs
0.19/0.22 c (round 5) 80 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 9 upgd conss, 10048 impls, 0 clqs
0.19/0.23 c (round 6) 98 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 143 chg coeffs, 9 upgd conss, 10912 impls, 0 clqs
0.19/0.23 c (round 7) 116 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 159 chg coeffs, 9 upgd conss, 11488 impls, 0 clqs
0.19/0.24 c (round 8) 134 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 175 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.19/0.24 c (round 9) 152 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 191 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.30/0.31 c (0.2s) probing: 222/712 (31.2%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.30/0.31 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.30/0.31 c presolving (10 rounds):
0.30/0.31 c 152 deleted vars, 128 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 191 changed coefficients
0.30/0.31 c 11808 implications, 0 cliques
0.30/0.31 c presolved problem has 712 variables (712 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.30/0.31 c 512 constraints of type <and>
0.30/0.31 c 8 constraints of type <linear>
0.30/0.31 c 9 constraints of type <logicor>
0.30/0.31 c transformed objective value is always integral (scale: 2)
0.30/0.31 c Presolving Time: 0.16
0.30/0.31 c - non default parameters ----------------------------------------------------------------------
0.30/0.31 c # SCIP version 1.2.1.2
0.30/0.31 c
0.30/0.31 c # frequency for displaying node information lines
0.30/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.30/0.31 c display/freq = 10000
0.30/0.31 c
0.30/0.31 c # maximal time in seconds to run
0.30/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.31 c limits/time = 1799.99
0.30/0.31 c
0.30/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.31 c limits/memory = 1620
0.30/0.31 c
0.30/0.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.30/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.30/0.31 c lp/solvefreq = -1
0.30/0.31 c
0.30/0.31 c # should presolving try to simplify inequalities
0.30/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.31 c constraints/linear/simplifyinequalities = TRUE
0.30/0.31 c
0.30/0.31 c # should presolving try to simplify knapsacks
0.30/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.31 c constraints/knapsack/simplifyinequalities = TRUE
0.30/0.31 c
0.30/0.31 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.30/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.30/0.31 c heuristics/undercover/freq = 0
0.30/0.31 c
0.30/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.30/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.30/0.31 c separating/rapidlearning/freq = 0
0.30/0.31 c
0.30/0.31 c -----------------------------------------------------------------------------------------------
0.30/0.31 c start solving
0.30/0.31 c
0.30/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.30/0.31 c 0.2s| 1 | 2 | 0 | - |2268k| 0 | - | 712 | 529 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.20/3.25 c 2.9s| 10000 | 8312 | 0 | 0.0 |8286k| 469 | - | 712 | 715 | 0 | 0 | 0 |1181 | 0 | 1.000000e+00 | -- | Inf
6.50/6.55 c 5.9s| 20000 | 16077 | 0 | 0.0 | 13M| 469 | - | 712 | 755 | 0 | 0 | 0 |2750 | 0 | 1.000000e+00 | -- | Inf
9.59/9.68 c 8.8s| 30000 | 23885 | 0 | 0.0 | 19M| 469 | - | 712 | 838 | 0 | 0 | 0 |4332 | 0 | 1.000000e+00 | -- | Inf
12.89/12.92 c 11.8s| 40000 | 31273 | 0 | 0.0 | 24M| 469 | - | 712 | 720 | 0 | 0 | 0 |6176 | 0 | 1.000000e+00 | -- | Inf
16.09/16.16 c 14.8s| 50000 | 38496 | 0 | 0.0 | 28M| 469 | - | 712 | 807 | 0 | 0 | 0 |8020 | 0 | 1.000000e+00 | -- | Inf
19.58/19.69 c 18.1s| 60000 | 45135 | 0 | 0.0 | 33M| 469 | - | 712 | 788 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
23.09/23.14 c 21.3s| 70000 | 51838 | 0 | 0.0 | 37M| 469 | - | 712 | 829 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
26.59/26.61 c 24.5s| 80000 | 58597 | 0 | 0.0 | 42M| 469 | - | 712 | 923 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
29.88/29.95 c 27.6s| 90000 | 65167 | 0 | 0.0 | 46M| 469 | - | 712 |1045 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
33.29/33.35 c 30.7s|100000 | 71799 | 0 | 0.0 | 51M| 469 | - | 712 | 882 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
36.88/36.99 c 34.1s|110000 | 79072 | 0 | 0.0 | 56M| 469 | - | 712 | 843 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
40.38/40.46 c 37.4s|120000 | 86824 | 0 | 0.0 | 61M| 469 | - | 712 | 863 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
43.89/43.97 c 40.6s|130000 | 94317 | 0 | 0.0 | 66M| 469 | - | 712 | 970 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
47.38/47.43 c 43.9s|140000 |101844 | 0 | 0.0 | 71M| 469 | - | 712 | 907 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
51.07/51.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.07/51.13 c 47.3s|150000 |108986 | 0 | 0.0 | 76M| 469 | - | 712 | 933 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
54.78/54.83 c 50.8s|160000 |116107 | 0 | 0.0 | 81M| 469 | - | 712 | 863 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
58.37/58.48 c 54.2s|170000 |123364 | 0 | 0.0 | 86M| 469 | - | 712 | 819 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
61.97/62.05 c 57.5s|180000 |130752 | 0 | 0.0 | 91M| 469 | - | 712 | 770 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
65.67/65.79 c 61.0s|190000 |137709 | 0 | 0.0 | 96M| 469 | - | 712 | 978 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
69.37/69.47 c 64.4s|200000 |144807 | 0 | 0.0 | 100M| 469 | - | 712 | 791 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
73.17/73.27 c 68.0s|210000 |151628 | 0 | 0.0 | 105M| 469 | - | 712 |1024 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | -- | Inf
76.98/77.05 c 71.5s|220000 |158417 | 0 | 0.0 | 110M| 469 | - | 712 | 946 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
80.78/80.87 c 75.1s|230000 |165140 | 0 | 0.0 | 114M| 469 | - | 712 | 908 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
84.77/84.89 c 78.8s|240000 |171481 | 0 | 0.0 | 119M| 469 | - | 712 |1018 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
88.67/88.70 c 82.4s|250000 |178189 | 0 | 0.0 | 123M| 469 | - | 712 | 954 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
92.47/92.51 c 86.0s|260000 |184808 | 0 | 0.0 | 127M| 469 | - | 712 | 801 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
96.17/96.28 c 89.5s|270000 |191465 | 0 | 0.0 | 131M| 469 | - | 712 | 910 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
99.98/100.00 c 93.0s|280000 |198032 | 0 | 0.0 | 135M| 469 | - | 712 |1041 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
103.57/103.61 c 96.4s|290000 |204909 | 0 | 0.0 | 140M| 469 | - | 712 | 914 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
107.26/107.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.26/107.32 c 99.8s|300000 |211503 | 0 | 0.0 | 144M| 469 | - | 712 |1001 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
111.16/111.21 c 104s|310000 |217853 | 0 | 0.0 | 148M| 469 | - | 712 | 933 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | -- | Inf
115.16/115.21 c 107s|320000 |223989 | 0 | 0.0 | 152M| 469 | - | 712 |1178 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
119.26/119.33 c 111s|330000 |230033 | 0 | 0.0 | 156M| 469 | - | 712 |1350 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
123.56/123.62 c 115s|340000 |235852 | 0 | 0.0 | 160M| 469 | - | 712 |1514 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
127.76/127.89 c 119s|350000 |241998 | 0 | 0.0 | 165M| 469 | - | 712 |1461 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
132.06/132.15 c 123s|360000 |248326 | 0 | 0.0 | 169M| 469 | - | 712 |1476 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
136.36/136.46 c 127s|370000 |254582 | 0 | 0.0 | 174M| 469 | - | 712 |1492 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | -- | Inf
140.46/140.55 c 131s|380000 |260888 | 0 | 0.0 | 178M| 469 | - | 712 |1340 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
144.45/144.57 c 135s|390000 |267103 | 0 | 0.0 | 182M| 469 | - | 712 |1288 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
148.75/148.85 c 139s|400000 |272807 | 0 | 0.0 | 186M| 469 | - | 712 |1457 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
152.95/153.01 c 143s|410000 |279005 | 0 | 0.0 | 190M| 469 | - | 712 |1552 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
157.16/157.25 c 147s|420000 |285128 | 0 | 0.0 | 195M| 469 | - | 712 |1432 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
161.15/161.24 c 151s|430000 |291438 | 0 | 0.0 | 199M| 469 | - | 712 |1485 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
165.15/165.27 c 154s|440000 |297656 | 0 | 0.0 | 203M| 469 | - | 712 |1562 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
169.25/169.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.25/169.38 c 158s|450000 |303788 | 0 | 0.0 | 207M| 469 | - | 712 |1574 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
173.35/173.41 c 162s|460000 |310133 | 0 | 0.0 | 212M| 469 | - | 712 |1628 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
177.34/177.49 c 166s|470000 |316355 | 0 | 0.0 | 216M| 469 | - | 712 |1605 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
181.46/181.53 c 170s|480000 |322534 | 0 | 0.0 | 221M| 469 | - | 712 |1737 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
185.75/185.83 c 174s|490000 |328289 | 0 | 0.0 | 225M| 469 | - | 712 |1914 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
189.64/189.78 c 177s|500000 |334509 | 0 | 0.0 | 229M| 469 | - | 712 |1855 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
193.95/194.04 c 181s|510000 |340537 | 0 | 0.0 | 233M| 469 | - | 712 |1782 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
198.15/198.29 c 185s|520000 |346650 | 0 | 0.0 | 237M| 469 | - | 712 |1742 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
202.25/202.37 c 189s|530000 |352339 | 0 | 0.0 | 241M| 469 | - | 712 |1562 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
206.54/206.63 c 193s|540000 |358192 | 0 | 0.0 | 245M| 469 | - | 712 |1803 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | -- | Inf
210.93/211.01 c 197s|550000 |363552 | 0 | 0.0 | 249M| 469 | - | 712 |2128 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | -- | Inf
215.14/215.27 c 201s|560000 |369050 | 0 | 0.0 | 253M| 469 | - | 712 |1752 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | -- | Inf
219.43/219.58 c 205s|570000 |375126 | 0 | 0.0 | 257M| 469 | - | 712 |1350 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | -- | Inf
223.83/223.91 c 209s|580000 |382198 | 0 | 0.0 | 262M| 469 | - | 712 |1674 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | -- | Inf
228.64/228.77 c 214s|590000 |388711 | 0 | 0.0 | 267M| 469 | - | 712 |1990 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | -- | Inf
233.63/233.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.63/233.71 c 219s|600000 |395324 | 0 | 0.0 | 273M| 469 | - | 712 |2337 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | -- | Inf
237.83/237.93 c 223s|610000 |402386 | 0 | 0.0 | 278M| 469 | - | 712 |2242 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | -- | Inf
241.13/241.25 c 226s|620000 |410242 | 0 | 0.0 | 283M| 469 | - | 712 |1753 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | -- | Inf
244.73/244.83 c 229s|630000 |417918 | 0 | 0.0 | 289M| 469 | - | 712 |1734 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | -- | Inf
248.03/248.20 c 232s|640000 |426359 | 0 | 0.0 | 295M| 469 | - | 712 | 867 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
251.63/251.73 c 235s|650000 |434256 | 0 | 0.0 | 301M| 469 | - | 712 |1114 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | -- | Inf
255.53/255.61 c 239s|660000 |441501 | 0 | 0.0 | 306M| 469 | - | 712 |1410 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
259.13/259.29 c 242s|670000 |449014 | 0 | 0.0 | 311M| 469 | - | 712 |1463 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
263.13/263.28 c 246s|680000 |456233 | 0 | 0.0 | 316M| 469 | - | 712 |1577 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | -- | Inf
267.23/267.33 c 250s|690000 |463446 | 0 | 0.0 | 321M| 469 | - | 712 |1718 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | -- | Inf
271.22/271.35 c 254s|700000 |470700 | 0 | 0.0 | 326M| 469 | - | 712 |1660 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | -- | Inf
275.22/275.30 c 258s|710000 |477864 | 0 | 0.0 | 331M| 469 | - | 712 |1717 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | -- | Inf
279.52/279.66 c 262s|720000 |484634 | 0 | 0.0 | 336M| 469 | - | 712 |1906 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
283.92/284.07 c 266s|730000 |491354 | 0 | 0.0 | 340M| 469 | - | 712 |1979 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | -- | Inf
288.32/288.40 c 270s|740000 |498110 | 0 | 0.0 | 345M| 469 | - | 712 |1690 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | -- | Inf
292.22/292.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.22/292.30 c 274s|750000 |505474 | 0 | 0.0 | 350M| 469 | - | 712 |1231 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | -- | Inf
296.42/296.50 c 278s|760000 |512203 | 0 | 0.0 | 354M| 469 | - | 712 |1526 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | -- | Inf
300.71/300.86 c 282s|770000 |518849 | 0 | 0.0 | 359M| 469 | - | 712 |1938 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | -- | Inf
305.22/305.33 c 286s|780000 |525369 | 0 | 0.0 | 363M| 469 | - | 712 |2164 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
309.61/309.76 c 290s|790000 |532201 | 0 | 0.0 | 368M| 469 | - | 712 |1053 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | -- | Inf
314.02/314.16 c 294s|800000 |538674 | 0 | 0.0 | 372M| 469 | - | 712 |1765 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | -- | Inf
318.21/318.33 c 298s|810000 |545406 | 0 | 0.0 | 377M| 469 | - | 712 |1737 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | -- | Inf
322.31/322.40 c 302s|820000 |552389 | 0 | 0.0 | 382M| 469 | - | 712 |1133 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | -- | Inf
326.62/326.75 c 306s|830000 |558875 | 0 | 0.0 | 386M| 469 | - | 712 | 990 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
330.81/330.99 c 310s|840000 |565307 | 0 | 0.0 | 390M| 469 | - | 712 |1940 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | -- | Inf
334.81/334.95 c 314s|850000 |572353 | 0 | 0.0 | 395M| 469 | - | 712 |1399 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
339.11/339.21 c 318s|860000 |578671 | 0 | 0.0 | 399M| 469 | - | 712 |1422 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | -- | Inf
343.02/343.20 c 321s|870000 |585560 | 0 | 0.0 | 404M| 469 | - | 712 |1536 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | -- | Inf
347.20/347.38 c 325s|880000 |592118 | 0 | 0.0 | 408M| 469 | - | 712 |1138 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | -- | Inf
351.60/351.70 c 329s|890000 |598456 | 0 | 0.0 | 413M| 469 | - | 712 |1680 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | -- | Inf
355.70/355.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.70/355.82 c 333s|900000 |605248 | 0 | 0.0 | 417M| 469 | - | 712 |1620 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | -- | Inf
360.10/360.23 c 337s|910000 |611683 | 0 | 0.0 | 421M| 469 | - | 712 |1056 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | -- | Inf
363.91/364.01 c 341s|920000 |619059 | 0 | 0.0 | 427M| 469 | - | 712 |1494 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | -- | Inf
367.99/368.18 c 345s|930000 |625701 | 0 | 0.0 | 431M| 469 | - | 712 |1086 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | -- | Inf
371.90/372.08 c 348s|940000 |632968 | 0 | 0.0 | 436M| 469 | - | 712 |1311 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | -- | Inf
376.10/376.28 c 352s|950000 |639585 | 0 | 0.0 | 441M| 469 | - | 712 |1493 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | -- | Inf
380.09/380.27 c 356s|960000 |646643 | 0 | 0.0 | 446M| 469 | - | 712 |1274 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | -- | Inf
384.40/384.52 c 360s|970000 |653172 | 0 | 0.0 | 450M| 469 | - | 712 |1699 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
388.59/388.71 c 364s|980000 |659799 | 0 | 0.0 | 455M| 469 | - | 712 |1375 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | -- | Inf
392.89/393.04 c 368s|990000 |666424 | 0 | 0.0 | 459M| 469 | - | 712 |1539 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
397.09/397.21 c 372s| 1000k|673111 | 0 | 0.0 | 464M| 469 | - | 712 |1778 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | -- | Inf
401.19/401.37 c 376s| 1010k|680088 | 0 | 0.0 | 468M| 469 | - | 712 |1381 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | -- | Inf
405.69/405.84 c 380s| 1020k|686497 | 0 | 0.0 | 473M| 469 | - | 712 |1995 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | -- | Inf
409.99/410.12 c 384s| 1030k|693175 | 0 | 0.0 | 477M| 469 | - | 712 |1498 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | -- | Inf
413.69/413.83 c 388s| 1040k|700647 | 0 | 0.0 | 482M| 469 | - | 712 |1294 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | -- | Inf
417.29/417.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.29/417.45 c 391s| 1050k|708214 | 0 | 0.0 | 487M| 469 | - | 712 | 963 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
421.19/421.35 c 395s| 1060k|715300 | 0 | 0.0 | 492M| 469 | - | 712 |1386 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | -- | Inf
424.88/425.09 c 398s| 1070k|722752 | 0 | 0.0 | 497M| 469 | - | 712 |1124 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | -- | Inf
428.98/429.12 c 402s| 1080k|729727 | 0 | 0.0 | 502M| 469 | - | 712 |1467 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | -- | Inf
432.68/432.85 c 405s| 1090k|736961 | 0 | 0.0 | 507M| 469 | - | 712 |1149 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | -- | Inf
436.58/436.79 c 409s| 1100k|744046 | 0 | 0.0 | 512M| 469 | - | 712 |1354 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | -- | Inf
440.48/440.66 c 413s| 1110k|750926 | 0 | 0.0 | 516M| 469 | - | 712 |1333 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | -- | Inf
444.58/444.71 c 417s| 1120k|757950 | 0 | 0.0 | 521M| 469 | - | 712 |1413 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | -- | Inf
448.48/448.69 c 420s| 1130k|764905 | 0 | 0.0 | 526M| 469 | - | 712 |1587 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
452.57/452.77 c 424s| 1140k|771979 | 0 | 0.0 | 531M| 469 | - | 712 |1488 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | -- | Inf
456.68/456.82 c 428s| 1150k|778767 | 0 | 0.0 | 536M| 469 | - | 712 |1550 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | -- | Inf
460.47/460.62 c 431s| 1160k|785963 | 0 | 0.0 | 541M| 469 | - | 712 |1188 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | -- | Inf
464.67/464.80 c 435s| 1170k|792519 | 0 | 0.0 | 545M| 469 | - | 712 |1827 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | -- | Inf
465.88/466.02 o 17
465.88/466.02 c * 437s| 1170k|429275 | 0 | 0.0 | 354M| 469 | - | 712 |1829 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
470.98/471.12 c 441s| 1180k|435087 | 0 | 0.0 | 359M| 469 | - | 712 | 728 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
475.37/475.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.37/475.57 c 446s| 1190k|441122 | 0 | 0.0 | 363M| 469 | - | 712 | 844 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
479.77/479.90 c 450s| 1200k|447170 | 0 | 0.0 | 368M| 469 | - | 712 | 865 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
483.78/483.94 c 453s| 1210k|453731 | 0 | 0.0 | 372M| 469 | - | 712 |1097 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
488.17/488.36 c 458s| 1220k|459428 | 0 | 0.0 | 376M| 469 | - | 712 | 938 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
492.47/492.69 c 462s| 1230k|465451 | 0 | 0.0 | 381M| 469 | - | 712 |1091 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
497.07/497.24 c 466s| 1240k|471003 | 0 | 0.0 | 385M| 469 | - | 712 |1050 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
501.37/501.54 c 470s| 1250k|477114 | 0 | 0.0 | 389M| 469 | - | 712 | 820 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
505.66/505.83 c 474s| 1260k|483115 | 0 | 0.0 | 394M| 469 | - | 712 | 871 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
509.66/509.86 c 478s| 1270k|490046 | 0 | 0.0 | 399M| 469 | - | 712 | 899 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
514.26/514.44 c 482s| 1280k|495250 | 0 | 0.0 | 404M| 469 | - | 712 |1001 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
519.27/519.46 c 487s| 1290k|499111 | 0 | 0.0 | 408M| 469 | - | 712 | 921 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
524.26/524.49 c 491s| 1300k|502580 | 0 | 0.0 | 413M| 469 | - | 712 |1023 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
529.36/529.54 c 496s| 1310k|505044 | 0 | 0.0 | 416M| 469 | - | 712 | 984 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
534.26/534.44 c 501s| 1320k|507152 | 0 | 0.0 | 420M| 469 | - | 712 |1185 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
539.06/539.22 c 505s| 1330k|509947 | 0 | 0.0 | 423M| 469 | - | 712 |1113 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
543.75/543.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.75/543.91 c 510s| 1340k|513101 | 0 | 0.0 | 426M| 469 | - | 712 |1043 | 0 | 0 | 0 | 303k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
548.66/548.81 c 514s| 1350k|515345 | 0 | 0.0 | 429M| 469 | - | 712 |1217 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
553.45/553.64 c 519s| 1360k|518327 | 0 | 0.0 | 432M| 469 | - | 712 |1344 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
558.35/558.59 c 523s| 1370k|521143 | 0 | 0.0 | 435M| 469 | - | 712 |1187 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
563.25/563.41 c 528s| 1380k|525044 | 0 | 0.0 | 439M| 469 | - | 712 |1363 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
567.95/568.14 c 532s| 1390k|529643 | 0 | 0.0 | 443M| 469 | - | 712 |1549 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
572.85/573.03 c 537s| 1400k|533455 | 0 | 0.0 | 447M| 469 | - | 712 |1537 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
577.36/577.57 c 541s| 1410k|538824 | 0 | 0.0 | 452M| 469 | - | 712 |1535 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
582.05/582.24 c 546s| 1420k|543644 | 0 | 0.0 | 456M| 469 | - | 712 |1579 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
586.65/586.84 c 550s| 1430k|548731 | 0 | 0.0 | 461M| 469 | - | 712 |1242 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
591.34/591.50 c 554s| 1440k|553602 | 0 | 0.0 | 466M| 469 | - | 712 |1424 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
595.74/595.94 c 559s| 1450k|558662 | 0 | 0.0 | 470M| 469 | - | 712 |1357 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
600.15/600.32 c 563s| 1460k|563543 | 0 | 0.0 | 475M| 469 | - | 712 |1305 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
604.64/604.80 c 567s| 1470k|568184 | 0 | 0.0 | 479M| 469 | - | 712 |1387 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
609.25/609.43 c 571s| 1480k|572426 | 0 | 0.0 | 484M| 469 | - | 712 |1421 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
613.54/613.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.54/613.73 c 575s| 1490k|577488 | 0 | 0.0 | 488M| 469 | - | 712 |1319 | 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
617.73/617.93 c 579s| 1500k|582899 | 0 | 0.0 | 493M| 469 | - | 712 |1421 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
622.04/622.26 c 583s| 1510k|587801 | 0 | 0.0 | 498M| 469 | - | 712 |1456 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
626.44/626.66 c 587s| 1520k|592212 | 0 | 0.0 | 502M| 469 | - | 712 |1430 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
631.24/631.41 c 592s| 1530k|595127 | 0 | 0.0 | 505M| 469 | - | 712 |1593 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
636.23/636.49 c 597s| 1540k|597923 | 0 | 0.0 | 509M| 469 | - | 712 |1539 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
641.73/641.95 c 602s| 1550k|599808 | 0 | 0.0 | 512M| 469 | - | 712 |1554 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
646.73/646.91 c 606s| 1560k|602815 | 0 | 0.0 | 516M| 469 | - | 712 |1715 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
651.73/651.97 c 611s| 1570k|605859 | 0 | 0.0 | 519M| 469 | - | 712 |1648 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
656.73/656.90 c 616s| 1580k|610674 | 0 | 0.0 | 524M| 469 | - | 712 |1278 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
662.73/662.96 c 622s| 1590k|610448 | 0 | 0.0 | 526M| 469 | - | 712 |1962 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
663.82/664.05 o 9
663.82/664.05 c * 623s| 1590k|477391 | 0 | 0.0 | 419M| 469 | - | 712 |1964 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
670.62/670.81 c 629s| 1600k|474941 | 0 | 0.0 | 420M| 469 | - | 712 |2096 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
675.32/675.57 c 634s| 1610k|480476 | 0 | 0.0 | 424M| 469 | - | 712 |1463 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
680.32/680.52 c 638s| 1620k|485977 | 0 | 0.0 | 429M| 469 | - | 712 |1426 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
685.92/686.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.92/686.12 c 644s| 1630k|490312 | 0 | 0.0 | 433M| 469 | - | 712 |1092 | 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
690.81/691.05 c 648s| 1640k|495535 | 0 | 0.0 | 437M| 469 | - | 712 |1008 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
695.41/695.67 c 653s| 1650k|501444 | 0 | 0.0 | 442M| 469 | - | 712 |1014 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
699.91/700.17 c 657s| 1660k|507681 | 0 | 0.0 | 447M| 469 | - | 712 |1228 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
704.82/705.06 c 661s| 1670k|513940 | 0 | 0.0 | 452M| 469 | - | 712 |1509 | 0 | 0 | 0 | 399k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
709.82/710.09 c 666s| 1680k|520240 | 0 | 0.0 | 458M| 469 | - | 712 |1495 | 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
715.01/715.29 o 3
715.01/715.29 c * 671s| 1688k|307330 | 0 | 0.0 | 283M| 469 | - | 712 |1332 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
719.61/719.83 c
719.61/719.83 c SCIP Status : problem is solved [optimal solution found]
719.61/719.83 c Solving Time (sec) : 675.32
719.61/719.83 c Solving Nodes : 1688481
719.61/719.83 c Primal Bound : +3.00000000000000e+00 (3 solutions)
719.61/719.83 c Dual Bound : +3.00000000000000e+00
719.61/719.83 c Gap : 0.00 %
719.61/719.83 s OPTIMUM FOUND
719.61/719.83 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x144 x143 x142 x141
719.61/719.83 v x140 -x139 x138 x137 x136 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128
719.61/719.83 v x127 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x180 -x179
719.61/719.83 v -x178 -x177 -x176 -x175 -x174 x173 -x172 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 -x171 -x170 -x169 -x168 -x167 -x166
719.61/719.83 v -x165 -x164 -x163 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 x100 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154
719.61/719.83 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x90 -x89 -x88 -x87 -x86
719.61/719.83 v x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 x73 x72 x71 x70 -x69 -x68 x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59
719.61/719.83 v -x58 x57 -x56 x55 -x54 x53 x52 x51 x50 -x49 -x48 -x47 x46 x45 -x44 x43 -x42 x41 x40 -x39 x38 x37 -x36 -x35 -x34 -x33 -x32 -x31
719.61/719.83 v -x30 x29 x28 -x27 -x26 -x25 x24 x23 x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
719.61/719.83 v x2 x1
719.61/719.83 c SCIP Status : problem is solved [optimal solution found]
719.61/719.83 c Solving Time : 675.32
719.61/719.83 c Original Problem :
719.61/719.83 c Problem name : HOME/instance-2663692-1276650229.opb
719.61/719.83 c Variables : 864 (864 binary, 0 integer, 0 implicit integer, 0 continuous)
719.61/719.83 c Constraints : 665 initial, 665 maximal
719.61/719.83 c Presolved Problem :
719.61/719.83 c Problem name : t_HOME/instance-2663692-1276650229.opb
719.61/719.83 c Variables : 712 (712 binary, 0 integer, 0 implicit integer, 0 continuous)
719.61/719.83 c Constraints : 529 initial, 2420 maximal
719.61/719.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
719.61/719.83 c trivial : 0.00 0 0 0 0 0 0 0 0
719.61/719.83 c dualfix : 0.00 0 0 0 0 0 0 0 0
719.61/719.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
719.61/719.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
719.61/719.83 c implics : 0.00 0 0 0 0 0 0 0 0
719.61/719.83 c probing : 0.04 0 0 0 0 0 0 0 0
719.61/719.83 c and : 0.11 16 128 0 0 0 128 0 128
719.61/719.83 c linear : 0.00 1 7 0 0 0 0 0 63
719.61/719.83 c logicor : 0.00 0 0 0 0 0 0 0 0
719.61/719.83 c root node : - 84 - - 84 - - - -
719.61/719.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
719.61/719.83 c integral : 0 0 0 0 0 0 0 0 0 0
719.61/719.83 c and : 512 0 4022674 0 1475612 38250 7927980 0 0 0
719.61/719.83 c linear : 8 0 3984423 0 1475612 299478 2842018 0 0 0
719.61/719.83 c logicor : 9+ 0 1645194 0 1475592 13431 478175 0 0 0
719.61/719.83 c countsols : 0 0 0 0 1475615 0 0 0 0 0
719.61/719.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
719.61/719.83 c integral : 0.00 0.00 0.00 0.00 0.00
719.61/719.83 c and : 110.75 0.00 66.27 0.00 44.48
719.61/719.83 c linear : 184.86 0.00 183.68 0.00 1.18
719.61/719.83 c logicor : 50.03 0.00 46.96 0.00 3.07
719.61/719.83 c countsols : 0.69 0.00 0.00 0.00 0.69
719.61/719.83 c Propagators : Time Calls Cutoffs DomReds
719.61/719.83 c vbounds : 2.14 2 0 0
719.61/719.83 c rootredcost : 1.89 0 0 0
719.61/719.83 c pseudoobj : 5.28 4022221 3 3480
719.61/719.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
719.61/719.83 c propagation : 101.26 351162 350551 4127482 65.3 12446 65.5 -
719.61/719.83 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
719.61/719.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
719.61/719.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
719.61/719.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
719.61/719.83 c applied globally : - - - 399116 31.9 - - -
719.61/719.83 c applied locally : - - - 5372 86.9 - - -
719.61/719.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
719.61/719.83 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
719.61/719.83 c redcost : 0.00 0 0 0 0 0
719.61/719.83 c impliedbounds : 0.00 0 0 0 0 0
719.61/719.83 c intobj : 0.00 0 0 0 0 0
719.61/719.83 c cgmip : 0.00 0 0 0 0 0
719.61/719.83 c gomory : 0.00 0 0 0 0 0
719.61/719.83 c strongcg : 0.00 0 0 0 0 0
719.61/719.83 c cmir : 0.00 0 0 0 0 0
719.61/719.83 c flowcover : 0.00 0 0 0 0 0
719.61/719.83 c clique : 0.00 0 0 0 0 0
719.61/719.83 c zerohalf : 0.00 0 0 0 0 0
719.61/719.83 c mcf : 0.00 0 0 0 0 0
719.61/719.83 c rapidlearning : 0.00 0 0 0 0 0
719.61/719.83 c Pricers : Time Calls Vars
719.61/719.83 c problem variables: 0.00 0 0
719.61/719.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
719.61/719.83 c relpscost : 0.00 0 0 0 0 0 0
719.61/719.83 c pscost : 0.00 0 0 0 0 0 0
719.61/719.83 c inference : 125.30 1475612 0 0 0 0 2951224
719.61/719.83 c mostinf : 0.00 0 0 0 0 0 0
719.61/719.83 c leastinf : 0.00 0 0 0 0 0 0
719.61/719.83 c fullstrong : 0.00 0 0 0 0 0 0
719.61/719.83 c allfullstrong : 0.00 0 0 0 0 0 0
719.61/719.83 c random : 0.00 0 0 0 0 0 0
719.61/719.83 c Primal Heuristics : Time Calls Found
719.61/719.83 c LP solutions : 0.00 - 0
719.61/719.83 c pseudo solutions : 3.13 - 3
719.61/719.83 c oneopt : 1.02 0 0
719.61/719.83 c trivial : 0.00 2 0
719.61/719.83 c simplerounding : 0.00 0 0
719.61/719.83 c zirounding : 0.00 0 0
719.61/719.83 c rounding : 0.00 0 0
719.61/719.83 c shifting : 0.00 0 0
719.61/719.83 c intshifting : 0.00 0 0
719.61/719.83 c twoopt : 0.00 0 0
719.61/719.83 c fixandinfer : 0.00 0 0
719.61/719.83 c feaspump : 0.00 0 0
719.61/719.83 c coefdiving : 0.00 0 0
719.61/719.83 c pscostdiving : 0.00 0 0
719.61/719.83 c fracdiving : 0.00 0 0
719.61/719.83 c veclendiving : 0.00 0 0
719.61/719.83 c intdiving : 0.00 0 0
719.61/719.83 c actconsdiving : 0.00 0 0
719.61/719.83 c objpscostdiving : 0.00 0 0
719.61/719.83 c rootsoldiving : 0.00 0 0
719.61/719.83 c linesearchdiving : 0.00 0 0
719.61/719.83 c guideddiving : 0.00 0 0
719.61/719.83 c octane : 0.00 0 0
719.61/719.83 c rens : 0.00 0 0
719.61/719.83 c rins : 0.00 0 0
719.61/719.83 c localbranching : 0.00 0 0
719.61/719.83 c mutation : 0.00 0 0
719.61/719.83 c crossover : 0.00 0 0
719.61/719.83 c dins : 0.00 0 0
719.61/719.83 c undercover : 0.00 0 0
719.61/719.83 c nlp : 0.89 0 0
719.61/719.83 c trysol : 0.90 0 0
719.61/719.83 c LP : Time Calls Iterations Iter/call Iter/sec
719.61/719.83 c primal LP : 0.00 0 0 0.00 -
719.61/719.83 c dual LP : 0.00 0 0 0.00 -
719.61/719.83 c lex dual LP : 0.00 0 0 0.00 -
719.61/719.83 c barrier LP : 0.00 0 0 0.00 -
719.61/719.83 c diving/probing LP: 0.00 0 0 0.00 -
719.61/719.83 c strong branching : 0.00 0 0 0.00 -
719.61/719.83 c (at root node) : - 0 0 0.00 -
719.61/719.83 c conflict analysis: 0.00 0 0 0.00 -
719.61/719.83 c B&B Tree :
719.61/719.83 c number of runs : 1
719.61/719.83 c nodes : 1688481
719.61/719.83 c nodes (total) : 1688481
719.61/719.83 c nodes left : 0
719.61/719.83 c max depth : 469
719.61/719.83 c max depth (total): 469
719.61/719.83 c backtracks : 168661 (10.0%)
719.61/719.83 c delayed cutoffs : 547605
719.61/719.83 c repropagations : 407706 (1722820 domain reductions, 138296 cutoffs)
719.61/719.83 c avg switch length: 7.14
719.61/719.83 c switching time : 118.10
719.61/719.83 c Solution :
719.61/719.83 c Solutions found : 3 (3 improvements)
719.61/719.83 c First Solution : +1.70000000000000e+01 (in run 1, after 1170031 nodes, 435.43 seconds, depth 139, found by <relaxation>)
719.61/719.83 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1688480 nodes, 669.97 seconds, depth 106, found by <relaxation>)
719.61/719.83 c Dual Bound : +3.00000000000000e+00
719.61/719.83 c Gap : 0.00 %
719.61/719.83 c Root Dual Bound : +1.00000000000000e+00
719.61/719.83 c Root Iterations : 0
719.71/719.90 c Time complete: 719.72.