0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693537-1277909363.wbo>
0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.00/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.12 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.13 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.18 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 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 (6 rounds):
0.09/0.18 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.18 c 1913 implications, 7 cliques
0.09/0.18 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.18 c 1712 constraints of type <indicator>
0.09/0.18 c 7 constraints of type <setppc>
0.09/0.18 c 1712 constraints of type <linear>
0.09/0.18 c 898 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.14
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 = 1799.98
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 = 3420
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 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.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.2s| 1 | 0 | 18 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 o 86784
0.19/0.21 c y 0.2s| 1 | 0 | 18 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 55 | - | 13M| 0 | 25 |3655 |4329 |3655 | 926 | 21 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 107 | - | 13M| 0 | 31 |3655 |4329 |3655 | 947 | 42 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 155 | - | 14M| 0 | 39 |3655 |4329 |3655 | 956 | 51 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 185 | - | 14M| 0 | 47 |3655 |4329 |3655 | 965 | 60 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 212 | - | 14M| 0 | 46 |3655 |4329 |3655 | 970 | 65 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 217 | - | 14M| 0 | 46 |3655 |4329 |3655 | 974 | 69 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
1.09/1.17 c 1.1s| 1 | 2 | 217 | - | 14M| 0 | 46 |3655 |4329 |3655 | 974 | 69 | 0 | 33 | 0.000000e+00 | 8.678400e+04 | Inf
6.09/6.19 o 1203
6.09/6.19 c * 6.0s| 2077 | 2029 | 2317 | 1.0 | 19M|1078 | - |3655 |4401 |3655 | 995 | 277 | 72 | 756 | 0.000000e+00 | 1.203000e+03 | Inf
6.29/6.39 o 682
6.29/6.39 c * 6.2s| 2103 | 1685 | 2679 | 1.2 | 18M|1078 | - |3655 |4413 |3655 |1006 | 327 | 84 | 814 | 0.000000e+00 | 6.820000e+02 | Inf
6.39/6.40 o 482
6.39/6.40 c * 6.2s| 2112 | 1212 | 2693 | 1.2 | 18M|1078 | - |3655 |4413 |3655 |1006 | 327 | 84 | 814 | 0.000000e+00 | 4.820000e+02 | Inf
6.99/7.08 o 453
6.99/7.08 c * 6.9s| 2236 | 1204 | 3713 | 1.6 | 19M|1078 | - |3655 |4621 |3655 | 980 | 442 | 292 | 970 | 0.000000e+00 | 4.530000e+02 | Inf
7.29/7.31 o 272
7.29/7.31 c * 7.1s| 2308 | 1028 | 3969 | 1.6 | 19M|1078 | - |3655 |4715 |3655 | 987 | 492 | 386 |1002 | 0.000000e+00 | 2.720000e+02 | Inf
7.59/7.61 o 268
7.59/7.61 c * 7.4s| 2370 | 1040 | 4349 | 1.7 | 20M|1078 | - |3655 |4831 |3655 | 986 | 526 | 503 |1058 | 0.000000e+00 | 2.680000e+02 | Inf
9.19/9.23 o 249
9.19/9.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.23 c * 8.9s| 2874 | 1158 | 6393 | 2.1 | 22M|1078 | - |3655 |5351 |3655 | 983 | 780 |1329 |1256 | 0.000000e+00 | 2.490000e+02 | Inf
9.19/9.28 o 230
9.19/9.28 c * 9.0s| 2885 | 1148 | 6525 | 2.2 | 23M|1078 | - |3655 |5357 |3655 |1000 | 798 |1337 |1258 | 0.000000e+00 | 2.300000e+02 | Inf
9.59/9.67 o 199
9.59/9.67 c * 9.4s| 3011 | 1163 | 7236 | 2.3 | 23M|1078 | - |3655 |5429 |3655 | 993 | 863 |1525 |1308 | 0.000000e+00 | 1.990000e+02 | Inf
11.29/11.35 o 195
11.29/11.35 c *11.0s| 3436 | 1311 | 10352 | 3.0 | 24M|1078 | - |3655 |5489 |3655 |1017 |1213 |1904 |1527 | 0.000000e+00 | 1.950000e+02 | Inf
11.29/11.36 o 193
11.29/11.36 c *11.0s| 3442 | 1312 | 10353 | 2.9 | 24M|1078 | - |3655 |5489 |3655 |1017 |1213 |1904 |1527 | 0.000000e+00 | 1.930000e+02 | Inf
11.29/11.37 o 187
11.29/11.37 c *11.0s| 3443 | 1299 | 10353 | 2.9 | 24M|1078 | - |3655 |5489 |3655 |1017 |1213 |1904 |1527 | 0.000000e+00 | 1.870000e+02 | Inf
11.49/11.53 o 184
11.49/11.53 c *11.2s| 3474 | 1301 | 10743 | 3.0 | 24M|1078 | - |3655 |5472 |3655 |1034 |1295 |1921 |1546 | 0.000000e+00 | 1.840000e+02 | Inf
12.29/12.37 o 182
12.29/12.37 c *12.0s| 3659 | 1326 | 13312 | 3.6 | 24M|1078 | - |3655 |5492 |3655 | 993 |1426 |2172 |1633 | 0.000000e+00 | 1.820000e+02 | Inf
16.29/16.31 o 181
16.29/16.31 c *15.8s| 5199 | 1558 | 22247 | 4.2 | 26M|1078 | - |3655 |6285 |3655 | 995 |2196 |4792 |1792 | 0.000000e+00 | 1.810000e+02 | Inf
17.29/17.38 o 166
17.29/17.38 c *16.8s| 5660 | 1784 | 25070 | 4.4 | 27M|1078 | - |3655 |5965 |3655 | 992 |2376 |5112 |1804 | 0.000000e+00 | 1.660000e+02 | Inf
20.29/20.34 o 163
20.29/20.34 c *19.7s| 6763 | 2200 | 35387 | 5.2 | 29M|1078 | - |3655 |6365 |3655 | 994 |3066 |6601 |1821 | 0.000000e+00 | 1.630000e+02 | Inf
20.29/20.38 o 153
20.29/20.38 c *19.7s| 6774 | 2154 | 35418 | 5.2 | 29M|1078 | - |3655 |6392 |3655 | 997 |3069 |6633 |1821 | 0.000000e+00 | 1.530000e+02 | Inf
21.59/21.62 o 151
21.59/21.62 c *20.9s| 7176 | 2249 | 39896 | 5.5 | 30M|1078 | - |3655 |6533 |3655 | 984 |3242 |7325 |1824 | 0.000000e+00 | 1.510000e+02 | Inf
22.39/22.48 o 143
22.39/22.48 c *21.8s| 7529 | 2304 | 42372 | 5.6 | 30M|1078 | - |3655 |6704 |3655 | 976 |3504 |7902 |1824 | 0.000000e+00 | 1.430000e+02 | Inf
22.89/23.00 o 101
22.89/23.00 c *22.3s| 7766 | 2158 | 43189 | 5.5 | 29M|1078 | - |3655 |6817 |3655 | 995 |3540 |8295 |1824 | 0.000000e+00 | 1.010000e+02 | Inf
25.20/25.27 o 84
25.20/25.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.20/25.27 c *24.5s| 8654 | 1905 | 48531 | 5.6 | 29M|1078 | - |3655 |6695 |3655 | 977 |3873 |9982 |1824 | 0.000000e+00 | 8.400000e+01 | Inf
29.70/29.73 o 82
29.70/29.73 c *28.9s| 9727 | 1881 | 72980 | 7.5 | 29M|1078 | - |3655 |5505 |3655 | 994 |4429 | 11k|1837 | 0.000000e+00 | 8.200000e+01 | Inf
30.29/30.34 c 29.4s| 10000 | 1889 | 73857 | 7.4 | 29M|1078 | 1 |3655 |5475 |3655 | 995 |4491 | 11k|1837 | 0.000000e+00 | 8.200000e+01 | Inf
37.30/37.35 o 76
37.30/37.35 c *36.3s| 12925 | 2026 | 91308 | 7.0 | 33M|1078 | - |3655 |6304 |3655 |1005 |5347 | 14k|1837 | 0.000000e+00 | 7.600000e+01 | Inf
53.79/53.84 c 52.4s| 20000 | 2347 |125649 | 6.3 | 38M|1078 | - |3655 |7019 | 0 | 0 |7210 | 23k|1837 | 0.000000e+00 | 7.600000e+01 | Inf
57.69/57.74 o 67
57.69/57.74 c *56.2s| 21641 | 2230 |135631 | 6.3 | 38M|1078 | - |3655 |7251 |3655 |1005 |7585 | 25k|1837 | 0.000000e+00 | 6.700000e+01 | Inf
77.00/77.02 c 75.0s| 30000 | 2503 |176639 | 5.9 | 44M|1078 | - |3655 |7283 | 0 | 0 |9378 | 35k|1837 | 0.000000e+00 | 6.700000e+01 | Inf
78.29/78.35 o 66
78.29/78.35 c *76.3s| 30590 | 2488 |179062 | 5.8 | 44M|1078 | - |3655 |6678 |3655 |1023 |9508 | 35k|1837 | 0.000000e+00 | 6.600000e+01 | Inf
100.29/100.35 c 97.7s| 40000 | 2892 |233216 | 5.8 | 49M|1078 | - |3655 |6502 | 0 | 0 | 11k| 47k|1905 | 0.000000e+00 | 6.600000e+01 | Inf
108.39/108.43 o 56
108.39/108.43 c * 106s| 43556 | 2548 |250832 | 5.8 | 48M|1078 | - |3655 |6779 |3655 |1024 | 12k| 52k|1948 | 0.000000e+00 | 5.600000e+01 | Inf
110.30/110.38 o 43
110.30/110.38 c * 107s| 44408 | 2211 |255502 | 5.7 | 47M|1078 | - |3655 |6278 |3655 | 996 | 13k| 53k|1950 | 0.000000e+00 | 4.300000e+01 | Inf
115.19/115.25 o 42
115.19/115.25 c * 112s| 46748 | 2203 |266332 | 5.7 | 47M|1078 | - |3655 |6972 |3655 |1023 | 13k| 56k|1983 | 0.000000e+00 | 4.200000e+01 | Inf
118.59/118.61 o 38
118.59/118.61 c * 116s| 48246 | 2054 |273568 | 5.7 | 43M|1078 | - |3655 |7504 |3655 |1011 | 13k| 58k|1992 | 0.000000e+00 | 3.800000e+01 | Inf
118.59/118.65 o 26
118.59/118.65 c * 116s| 48256 | 1853 |273591 | 5.7 | 41M|1078 | - |3655 |7348 |3655 |1007 | 13k| 58k|1992 | 0.000000e+00 | 2.600000e+01 | Inf
119.29/119.34 o 22
119.29/119.34 c * 116s| 48570 | 1807 |275507 | 5.7 | 41M|1078 | - |3655 |6536 |3655 | 994 | 13k| 58k|1993 | 0.000000e+00 | 2.200000e+01 | Inf
122.10/122.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.10/122.14 c 119s| 50000 | 1794 |282979 | 5.7 | 41M|1078 | - |3655 |6162 | 0 | 0 | 14k| 60k|2038 | 0.000000e+00 | 2.200000e+01 | Inf
127.39/127.50 o 17
127.39/127.50 c * 124s| 52924 | 1796 |298497 | 5.6 | 42M|1078 | - |3655 |8114 |3655 |1004 | 14k| 64k|2049 | 0.000000e+00 | 1.700000e+01 | Inf
140.00/140.02 c 136s| 60000 | 1766 |336580 | 5.6 | 43M|1078 | - |3655 |6558 | 0 | 0 | 15k| 74k|2206 | 0.000000e+00 | 1.700000e+01 | Inf
157.79/157.81 c 153s| 70000 | 1577 |400545 | 5.7 | 41M|1078 | 9 |3655 |7560 |3655 | 986 | 18k| 87k|2390 | 0.000000e+00 | 1.700000e+01 | Inf
175.50/175.56 c 170s| 80000 | 1575 |454991 | 5.7 | 43M|1078 | - |3655 |9970 | 0 | 0 | 20k| 101k|2543 | 0.000000e+00 | 1.700000e+01 | Inf
195.50/195.56 c 189s| 90000 | 1699 |521948 | 5.8 | 44M|1078 | 7 |3655 |9970 |3655 |1012 | 23k| 114k|2744 | 0.000000e+00 | 1.700000e+01 | Inf
209.80/209.83 o 14
209.80/209.83 c * 202s| 97783 | 1756 |565149 | 5.8 | 45M|1078 | - |3655 | 10k|3655 | 989 | 25k| 124k|2878 | 0.000000e+00 | 1.400000e+01 | Inf
214.29/214.36 c 207s|100000 | 1741 |580517 | 5.8 | 44M|1078 | - |3655 |8940 | 0 | 0 | 25k| 127k|2909 | 0.000000e+00 | 1.400000e+01 | Inf
233.90/233.95 c 225s|110000 | 1915 |648038 | 5.9 | 47M|1078 | - |3655 | 12k| 0 | 0 | 30k| 140k|3068 | 0.000000e+00 | 1.400000e+01 | Inf
241.40/241.48 o 12
241.40/241.48 c * 233s|113571 | 1829 |672581 | 5.9 | 46M|1078 | - |3655 | 12k|3655 |1005 | 32k| 145k|3156 | 0.000000e+00 | 1.200000e+01 | Inf
244.50/244.58 o 3
244.50/244.58 c * 236s|115108 | 1482 |681548 | 5.9 | 41M|1078 | - |3655 | 12k|3655 |1001 | 33k| 147k|3159 | 0.000000e+00 | 3.000000e+00 | Inf
254.10/254.12 c 245s|120000 | 1505 |716386 | 6.0 | 42M|1078 | - |3655 | 11k|3655 |1000 | 35k| 154k|3232 | 0.000000e+00 | 3.000000e+00 | Inf
274.90/274.98 c 264s|130000 | 1512 |794588 | 6.1 | 43M|1078 | 23 |3655 | 13k|3655 |1002 | 40k| 167k|3416 | 0.000000e+00 | 3.000000e+00 | Inf
295.00/295.09 c 284s|140000 | 1536 |864818 | 6.2 | 44M|1078 | 5 |3655 | 13k|3655 |1008 | 44k| 181k|3574 | 0.000000e+00 | 3.000000e+00 | Inf
314.80/314.89 c 302s|150000 | 1553 |937851 | 6.3 | 45M|1078 | - |3655 | 14k| 0 | 0 | 48k| 195k|3762 | 0.000000e+00 | 3.000000e+00 | Inf
316.30/316.36 o 1
316.30/316.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.30/316.36 c * 304s|150824 | 1153 |943486 | 6.3 | 42M|1078 | - |3655 | 14k|3655 |1006 | 48k| 196k|3763 | 0.000000e+00 | 1.000000e-00 | Inf
334.80/334.82 c 321s|160000 | 1099 | 1008k| 6.3 | 41M|1078 | 17 |3655 | 11k|3655 | 994 | 50k| 209k|4020 | 0.000000e+00 | 1.000000e-00 | Inf
352.30/352.36 c 338s|170000 | 1206 | 1061k| 6.2 | 44M|1078 | 11 |3655 | 16k|3655 |1002 | 52k| 221k|4077 | 0.000000e+00 | 1.000000e-00 | Inf
370.80/370.80 c 356s|180000 | 1254 | 1116k| 6.2 | 44M|1078 | - |3655 | 13k| 0 | 0 | 53k| 235k|4147 | 0.000000e+00 | 1.000000e-00 | Inf
389.90/389.96 c 374s|190000 | 1241 | 1186k| 6.2 | 44M|1078 | - |3655 | 12k| 0 | 0 | 55k| 248k|4304 | 0.000000e+00 | 1.000000e-00 | Inf
407.80/407.87 c 391s|200000 | 1288 | 1242k| 6.2 | 45M|1078 | 1 |3655 | 15k|3655 |1004 | 58k| 261k|4405 | 0.000000e+00 | 1.000000e-00 | Inf
427.20/427.20 c 410s|210000 | 1388 | 1302k| 6.2 | 47M|1078 | 30 |3655 | 16k|3655 | 992 | 60k| 275k|4505 | 0.000000e+00 | 1.000000e-00 | Inf
446.60/446.63 c 428s|220000 | 1457 | 1362k| 6.2 | 48M|1078 | 17 |3655 | 16k|3655 | 992 | 61k| 289k|4572 | 0.000000e+00 | 1.000000e-00 | Inf
466.00/466.05 c 447s|230000 | 1471 | 1414k| 6.2 | 49M|1078 | 22 |3655 | 20k|3655 |1002 | 62k| 303k|4656 | 0.000000e+00 | 1.000000e-00 | Inf
488.10/488.14 c 468s|240000 | 1540 | 1478k| 6.2 | 51M|1078 | 19 |3655 | 21k|3655 | 999 | 64k| 316k|4754 | 0.000000e+00 | 1.000000e-00 | Inf
510.90/510.91 c 490s|250000 | 1573 | 1538k| 6.2 | 51M|1078 | 1 |3655 | 20k|3655 |1005 | 66k| 329k|4817 | 0.000000e+00 | 1.000000e-00 | Inf
531.80/531.81 c 510s|260000 | 1565 | 1593k| 6.1 | 51M|1078 | - |3655 | 18k| 0 | 0 | 68k| 342k|4909 | 0.000000e+00 | 1.000000e-00 | Inf
553.70/553.73 c 531s|270000 | 1698 | 1661k| 6.2 | 53M|1078 | - |3655 | 20k| 0 | 0 | 70k| 356k|4999 | 0.000000e+00 | 1.000000e-00 | Inf
575.90/575.92 c 552s|280000 | 1669 | 1727k| 6.2 | 53M|1078 | - |3655 | 20k| 0 | 0 | 72k| 370k|5102 | 0.000000e+00 | 1.000000e-00 | Inf
597.20/597.29 c 573s|290000 | 1725 | 1797k| 6.2 | 53M|1078 | 1 |3655 | 20k|3655 | 978 | 75k| 384k|5185 | 0.000000e+00 | 1.000000e-00 | Inf
618.30/618.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.40/618.40 c 593s|300000 | 1712 | 1853k| 6.2 | 54M|1078 | - |3655 | 20k| 0 | 0 | 76k| 397k|5251 | 0.000000e+00 | 1.000000e-00 | Inf
639.50/639.57 c 613s|310000 | 1740 | 1912k| 6.2 | 55M|1078 | 1 |3655 | 23k|3655 | 999 | 78k| 411k|5317 | 0.000000e+00 | 1.000000e-00 | Inf
662.60/662.67 c 635s|320000 | 1723 | 1975k| 6.2 | 55M|1078 | 11 |3655 | 22k|3655 | 983 | 80k| 425k|5377 | 0.000000e+00 | 1.000000e-00 | Inf
685.10/685.11 c 657s|330000 | 1703 | 2034k| 6.2 | 55M|1078 | 1 |3655 | 22k|3655 |1005 | 81k| 439k|5461 | 0.000000e+00 | 1.000000e-00 | Inf
707.31/707.31 c 678s|340000 | 1622 | 2101k| 6.2 | 54M|1078 | - |3655 | 19k| 0 | 0 | 84k| 452k|5558 | 0.000000e+00 | 1.000000e-00 | Inf
730.10/730.13 c 700s|350000 | 1670 | 2183k| 6.2 | 55M|1078 | - |3655 | 20k| 0 | 0 | 86k| 466k|5654 | 0.000000e+00 | 1.000000e-00 | Inf
750.71/750.75 c 720s|360000 | 1494 | 2241k| 6.2 | 52M|1078 | - |3655 | 18k| 0 | 0 | 88k| 480k|5721 | 0.000000e+00 | 1.000000e-00 | Inf
773.22/773.24 c 741s|370000 | 1496 | 2314k| 6.3 | 53M|1078 | - |3655 | 21k| 0 | 0 | 90k| 493k|5785 | 0.000000e+00 | 1.000000e-00 | Inf
795.70/795.70 c 763s|380000 | 1439 | 2382k| 6.3 | 51M|1078 | - |3655 | 18k| 0 | 0 | 92k| 508k|5869 | 0.000000e+00 | 1.000000e-00 | Inf
818.20/818.22 c 785s|390000 | 1550 | 2457k| 6.3 | 54M|1078 | - |3655 | 22k| 0 | 0 | 93k| 521k|5957 | 0.000000e+00 | 1.000000e-00 | Inf
841.61/841.60 c 807s|400000 | 1684 | 2534k| 6.3 | 55M|1078 | 6 |3655 | 24k|3655 | 998 | 95k| 535k|6041 | 0.000000e+00 | 1.000000e-00 | Inf
864.61/864.64 c 829s|410000 | 1791 | 2600k| 6.3 | 57M|1078 | - |3655 | 26k| 0 | 0 | 97k| 549k|6108 | 0.000000e+00 | 1.000000e-00 | Inf
889.50/889.55 c 853s|420000 | 1900 | 2673k| 6.4 | 59M|1078 | - |3655 | 28k| 0 | 0 | 98k| 563k|6169 | 0.000000e+00 | 1.000000e-00 | Inf
914.71/914.70 c 877s|430000 | 1941 | 2745k| 6.4 | 59M|1078 | 30 |3655 | 28k|3655 |1016 | 99k| 576k|6221 | 0.000000e+00 | 1.000000e-00 | Inf
937.81/937.89 c 900s|440000 | 1961 | 2803k| 6.4 | 60M|1078 | - |3655 | 27k| 0 | 0 | 100k| 591k|6282 | 0.000000e+00 | 1.000000e-00 | Inf
962.31/962.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.31/962.37 c 923s|450000 | 1948 | 2863k| 6.4 | 60M|1078 | - |3655 | 28k| 0 | 0 | 102k| 605k|6338 | 0.000000e+00 | 1.000000e-00 | Inf
986.30/986.32 c 946s|460000 | 1949 | 2928k| 6.4 | 61M|1078 | 16 |3655 | 29k|3655 |1010 | 103k| 619k|6397 | 0.000000e+00 | 1.000000e-00 | Inf
1011.11/1011.19 c 970s|470000 | 1945 | 2999k| 6.4 | 60M|1078 | - |3655 | 27k| 0 | 0 | 105k| 633k|6464 | 0.000000e+00 | 1.000000e-00 | Inf
1036.41/1036.40 c 994s|480000 | 1951 | 3072k| 6.4 | 61M|1078 | 16 |3655 | 28k|3655 |1027 | 106k| 648k|6515 | 0.000000e+00 | 1.000000e-00 | Inf
1061.31/1061.32 c 1018s|490000 | 1958 | 3151k| 6.4 | 60M|1078 | - |3655 | 24k| 0 | 0 | 107k| 663k|6587 | 0.000000e+00 | 1.000000e-00 | Inf
1084.41/1084.50 c 1041s|500000 | 1926 | 3224k| 6.4 | 60M|1078 | 1 |3655 | 25k|3655 |1004 | 109k| 678k|6642 | 0.000000e+00 | 1.000000e-00 | Inf
1108.51/1108.51 c 1064s|510000 | 1930 | 3297k| 6.5 | 60M|1078 | 9 |3655 | 24k|3655 |1007 | 111k| 693k|6702 | 0.000000e+00 | 1.000000e-00 | Inf
1131.60/1131.67 c 1086s|520000 | 2014 | 3358k| 6.5 | 62M|1078 | - |3655 | 26k| 0 | 0 | 113k| 707k|6752 | 0.000000e+00 | 1.000000e-00 | Inf
1154.91/1154.99 c 1108s|530000 | 1830 | 3421k| 6.5 | 59M|1078 | 1 |3655 | 23k|3655 |1002 | 114k| 722k|6829 | 0.000000e+00 | 1.000000e-00 | Inf
1177.30/1177.32 c 1130s|540000 | 1823 | 3485k| 6.5 | 61M|1078 | 5 |3655 | 28k|3655 |1021 | 116k| 737k|6887 | 0.000000e+00 | 1.000000e-00 | Inf
1201.11/1201.12 c 1153s|550000 | 1729 | 3555k| 6.5 | 59M|1078 | 23 |3655 | 24k|3655 | 990 | 118k| 751k|6952 | 0.000000e+00 | 1.000000e-00 | Inf
1224.21/1224.27 c 1175s|560000 | 1549 | 3623k| 6.5 | 56M|1078 | 1 |3655 | 23k|3655 |1006 | 119k| 766k|6997 | 0.000000e+00 | 1.000000e-00 | Inf
1246.71/1246.71 c 1197s|570000 | 1384 | 3687k| 6.5 | 53M|1078 | 19 |3655 | 21k|3655 |1005 | 121k| 780k|7043 | 0.000000e+00 | 1.000000e-00 | Inf
1268.51/1268.55 c 1218s|580000 | 1307 | 3755k| 6.5 | 52M|1078 | - |3655 | 23k| 0 | 0 | 123k| 794k|7089 | 0.000000e+00 | 1.000000e-00 | Inf
1289.51/1289.58 c 1238s|590000 | 874 | 3820k| 6.5 | 42M|1078 | 18 |3655 | 11k|3655 | 999 | 124k| 808k|7605 | 0.000000e+00 | 1.000000e-00 | Inf
1307.61/1307.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.61/1307.63 c 1255s|600000 | 805 | 3880k| 6.5 | 42M|1078 | 27 |3655 | 14k|3655 | 989 | 126k| 821k|7646 | 0.000000e+00 | 1.000000e-00 | Inf
1327.81/1327.88 c 1274s|610000 | 824 | 3945k| 6.5 | 43M|1078 | - |3655 | 17k|3655 | 989 | 127k| 834k|7647 | 0.000000e+00 | 1.000000e-00 | Inf
1348.51/1348.57 c 1294s|620000 | 800 | 4008k| 6.5 | 43M|1078 | - |3655 | 16k| 0 | 0 | 129k| 847k|7649 | 0.000000e+00 | 1.000000e-00 | Inf
1368.91/1368.97 c 1314s|630000 | 654 | 4066k| 6.5 | 41M|1078 | 1 |3655 | 16k|3655 | 986 | 130k| 861k|7712 | 0.000000e+00 | 1.000000e-00 | Inf
1392.31/1392.30 c 1336s|640000 | 684 | 4137k| 6.5 | 43M|1078 | 31 |3655 | 21k|3655 |1016 | 132k| 874k|7752 | 0.000000e+00 | 1.000000e-00 | Inf
1414.62/1414.63 c 1358s|650000 | 515 | 4197k| 6.5 | 39M|1078 | - |3655 | 17k| 0 | 0 | 133k| 887k|7796 | 0.000000e+00 | 1.000000e-00 | Inf
1435.91/1435.93 c 1378s|660000 | 312 | 4262k| 6.5 | 36M|1078 | 9 |3655 | 16k|3655 | 993 | 135k| 900k|8009 | 0.000000e+00 | 1.000000e-00 | Inf
1458.52/1458.51 c 1400s|670000 | 442 | 4340k| 6.5 | 38M|1078 | 17 |3655 | 19k|3655 | 985 | 136k| 913k|8042 | 0.000000e+00 | 1.000000e-00 | Inf
1480.21/1480.26 c 1421s|680000 | 371 | 4399k| 6.5 | 38M|1078 | 5 |3655 | 19k|3655 | 980 | 138k| 926k|8062 | 0.000000e+00 | 1.000000e-00 | Inf
1502.62/1502.63 c 1442s|690000 | 319 | 4454k| 6.5 | 38M|1078 | 6 |3655 | 18k|3655 | 988 | 139k| 939k|8102 | 0.000000e+00 | 1.000000e-00 | Inf
1528.01/1528.05 c 1467s|700000 | 607 | 4547k| 6.5 | 40M|1078 | - |3655 | 20k| 0 | 0 | 141k| 952k|8162 | 0.000000e+00 | 1.000000e-00 | Inf
1552.41/1552.49 c 1491s|710000 | 702 | 4624k| 6.5 | 42M|1078 | 29 |3655 | 21k|3655 |1015 | 142k| 967k|8227 | 0.000000e+00 | 1.000000e-00 | Inf
1577.51/1577.56 c 1515s|720000 | 651 | 4696k| 6.5 | 42M|1078 | 21 |3655 | 20k|3655 |1002 | 144k| 981k|8287 | 0.000000e+00 | 1.000000e-00 | Inf
1601.41/1601.50 c 1538s|730000 | 647 | 4768k| 6.5 | 42M|1078 | 25 |3655 | 20k|3655 |1009 | 146k| 994k|8327 | 0.000000e+00 | 1.000000e-00 | Inf
1626.82/1626.90 c 1562s|740000 | 617 | 4850k| 6.6 | 43M|1078 | - |3655 | 21k| 0 | 0 | 147k|1008k|8375 | 0.000000e+00 | 1.000000e-00 | Inf
1651.22/1651.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.22/1651.20 c 1586s|750000 | 679 | 4923k| 6.6 | 44M|1078 | 14 |3655 | 21k|3655 | 994 | 149k|1022k|8442 | 0.000000e+00 | 1.000000e-00 | Inf
1675.01/1675.05 c 1609s|760000 | 633 | 4997k| 6.6 | 44M|1078 | 18 |3655 | 23k|3655 | 985 | 151k|1036k|8507 | 0.000000e+00 | 1.000000e-00 | Inf
1699.92/1699.93 c 1633s|770000 | 649 | 5072k| 6.6 | 45M|1078 | - |3655 | 23k| 0 | 0 | 153k|1049k|8549 | 0.000000e+00 | 1.000000e-00 | Inf
1723.92/1723.97 c 1656s|780000 | 706 | 5125k| 6.6 | 46M|1078 | 24 |3655 | 26k|3655 | 985 | 155k|1063k|8572 | 0.000000e+00 | 1.000000e-00 | Inf
1748.72/1748.70 c 1680s|790000 | 750 | 5176k| 6.6 | 47M|1078 | 17 |3655 | 28k|3655 | 991 | 156k|1077k|8627 | 0.000000e+00 | 1.000000e-00 | Inf
1773.91/1773.95 c 1704s|800000 | 763 | 5227k| 6.5 | 48M|1078 | - |3655 | 29k| 0 | 0 | 158k|1091k|8645 | 0.000000e+00 | 1.000000e-00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1729.28
1800.02/1800.00 c Solving Nodes : 809738
1800.02/1800.00 c Primal Bound : +1.00000000000000e-00 (388 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.04 s SATISFIABLE
1800.02/1800.04 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.02/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.04 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.02/1800.04 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.02/1800.04 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.04 v -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.02/1800.04 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.02/1800.04 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.02/1800.04 v -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 -x2
1800.02/1800.04 v -x1
1800.02/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.04 c Solving Time : 1729.28
1800.02/1800.04 c Original Problem :
1800.02/1800.04 c Problem name : HOME/instance-2693537-1277909363.wbo
1800.02/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.02/1800.04 c Constraints : 4485 initial, 4485 maximal
1800.02/1800.04 c Presolved Problem :
1800.02/1800.04 c Problem name : t_HOME/instance-2693537-1277909363.wbo
1800.02/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.02/1800.04 c Constraints : 4329 initial, 30937 maximal
1800.02/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.02/1800.04 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.02/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c implics : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.04 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.02/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c linear : 0.07 0 0 0 1789 0 91 76 0
1800.02/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c root node : - 1712 - - 3424 - - - -
1800.02/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c integral : 0 0 0 461845 0 46 888 0 0 867298
1800.02/1800.04 c indicator : 1712 0 807178 12610 0 349 2568191 0 0 0
1800.02/1800.04 c setppc : 7 6 4303996 27107 0 32553 1126062 0 0 0
1800.02/1800.04 c linear : 1712 6 4274964 27440 0 176556 18423060 159500 0 0
1800.02/1800.04 c logicor : 898+ 6 1547917 4741 0 184867 3954735 0 0 0
1800.02/1800.04 c bounddisjunction : 0+ 0 81658 0 0 0 1 0 0 0
1800.02/1800.04 c countsols : 0 0 0 4741 0 0 0 0 0 0
1800.02/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.04 c integral : 22.58 0.00 0.00 22.58 0.00
1800.02/1800.04 c indicator : 8.17 0.00 7.50 0.67 0.00
1800.02/1800.04 c setppc : 9.64 0.00 9.63 0.01 0.00
1800.02/1800.04 c linear : 154.38 0.00 152.48 1.90 0.00
1800.02/1800.04 c logicor : 291.75 0.00 291.68 0.07 0.00
1800.02/1800.04 c bounddisjunction : 0.11 0.00 0.11 0.00 0.00
1800.02/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.04 c vbounds : 0.07 2 0 0
1800.02/1800.04 c rootredcost : 0.09 38 0 1712
1800.02/1800.04 c pseudoobj : 134.53 4314710 6857 1940247
1800.02/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.04 c propagation : 20.77 400833 400759 2448903 28.2 14595 20.5 -
1800.02/1800.04 c infeasible LP : 8.69 28467 28467 228004 44.7 464 13.8 0
1800.02/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c pseudo solution : 0.00 104 104 622 21.1 68 6.1 -
1800.02/1800.04 c applied globally : - - - 1104893 23.0 - - -
1800.02/1800.04 c applied locally : - - - 0 0.0 - - -
1800.02/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.04 c cut pool : 0.00 5 - - 17 - (maximal pool size: 124)
1800.02/1800.04 c redcost : 22.00 463932 0 598063 0 0
1800.02/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.04 c intobj : 0.00 0 0 0 0 0
1800.02/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.04 c gomory : 0.13 6 0 0 844 0
1800.02/1800.04 c strongcg : 0.06 6 0 0 142 0
1800.02/1800.04 c cmir : 0.04 6 0 0 0 0
1800.02/1800.04 c flowcover : 0.06 6 0 0 0 0
1800.02/1800.04 c clique : 0.00 6 0 0 0 0
1800.02/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.04 c mcf : 0.00 1 0 0 0 0
1800.02/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.04 c Pricers : Time Calls Vars
1800.02/1800.04 c problem variables: 0.00 0 0
1800.02/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c relpscost : 22.22 434380 46 888 0 0 867298
1800.02/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.04 c inference : 0.46 4704 0 0 0 0 9408
1800.02/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c random : 0.00 0 0 0 0 0 0
1800.02/1800.04 c Primal Heuristics : Time Calls Found
1800.02/1800.04 c LP solutions : 0.03 - 37
1800.02/1800.04 c pseudo solutions : 0.00 - 0
1800.02/1800.04 c feaspump : 0.01 1 0
1800.02/1800.04 c oneopt : 0.27 37 0
1800.02/1800.04 c intshifting : 0.00 6 0
1800.02/1800.04 c coefdiving : 0.02 11 0
1800.02/1800.04 c pscostdiving : 0.01 11 0
1800.02/1800.04 c fracdiving : 0.02 11 0
1800.02/1800.04 c rootsoldiving : 0.04 6 0
1800.02/1800.04 c veclendiving : 0.02 12 0
1800.02/1800.04 c linesearchdiving : 0.04 12 0
1800.02/1800.04 c guideddiving : 0.02 12 0
1800.02/1800.04 c objpscostdiving : 0.04 7 0
1800.02/1800.04 c crossover : 1.07 35 0
1800.02/1800.04 c trivial : 0.00 2 0
1800.02/1800.04 c simplerounding : 0.64 435310 0
1800.02/1800.04 c zirounding : 0.42 1000 0
1800.02/1800.04 c rounding : 2.09 9315 0
1800.02/1800.04 c shifting : 1.25 2873 0
1800.02/1800.04 c twoopt : 0.00 0 0
1800.02/1800.04 c fixandinfer : 0.00 0 0
1800.02/1800.04 c intdiving : 0.00 0 0
1800.02/1800.04 c actconsdiving : 0.00 0 0
1800.02/1800.04 c octane : 0.00 0 0
1800.02/1800.04 c rens : 0.02 1 0
1800.02/1800.04 c rins : 0.00 0 0
1800.02/1800.04 c localbranching : 0.00 0 0
1800.02/1800.04 c mutation : 0.00 0 0
1800.02/1800.04 c dins : 0.00 0 0
1800.02/1800.04 c undercover : 0.00 0 0
1800.02/1800.04 c nlp : 0.01 0 0
1800.02/1800.04 c trysol : 1.65 2893 351
1800.02/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.04 c dual LP : 610.60 486620 5285290 10.86 8655.90
1800.02/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.04 c diving/probing LP: 0.23 95 1114 11.73 4843.48
1800.02/1800.04 c strong branching : 18.62 8708 188026 21.59 10098.07
1800.02/1800.04 c (at root node) : - 33 7035 213.18 -
1800.02/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.04 c B&B Tree :
1800.02/1800.04 c number of runs : 1
1800.02/1800.04 c nodes : 809738
1800.02/1800.04 c nodes (total) : 809738
1800.02/1800.04 c nodes left : 785
1800.02/1800.04 c max depth : 1078
1800.02/1800.04 c max depth (total): 1078
1800.02/1800.04 c backtracks : 75533 (9.3%)
1800.02/1800.04 c delayed cutoffs : 61584
1800.02/1800.04 c repropagations : 2226298 (4536456 domain reductions, 58336 cutoffs)
1800.02/1800.04 c avg switch length: 7.32
1800.02/1800.04 c switching time : 257.68
1800.02/1800.04 c Solution :
1800.02/1800.04 c Solutions found : 388 (38 improvements)
1800.02/1800.04 c First Solution : +8.67840000000000e+04 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.02/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 150824 nodes, 303.79 seconds, depth 48, found by <relaxation>)
1800.02/1800.04 c Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Gap : infinite
1800.02/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Root Iterations : 217
1800.13/1800.12 c Time complete: 1800.14.