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-2692951-1277912382.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 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, 2001 impls, 5 clqs
0.05/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.11 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.13 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.13 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.18 c (0.1s) probing: 101/2028 (5.0%) - 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.19 c presolving (7 rounds):
0.09/0.19 c 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.19 c 2001 implications, 5 cliques
0.09/0.19 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.19 c 1797 constraints of type <indicator>
0.09/0.19 c 5 constraints of type <setppc>
0.09/0.19 c 1797 constraints of type <linear>
0.09/0.19 c 819 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 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.1s| 1 | 0 | 6 | - | 14M| 0 | 0 |3825 |4418 |3825 | 824 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 54 | - | 14M| 0 | 29 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 90811
0.19/0.20 c y 0.2s| 1 | 0 | 54 | - | 14M| 0 | 29 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 83 | - | 14M| 0 | 17 |3825 |4418 |3825 | 860 | 36 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 152 | - | 14M| 0 | 49 |3825 |4418 |3825 | 870 | 46 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 163 | - | 14M| 0 | 53 |3825 |4418 |3825 | 875 | 51 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 191 | - | 14M| 0 | 44 |3825 |4418 |3825 | 876 | 52 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 214 | - | 14M| 0 | 46 |3825 |4418 |3825 | 881 | 57 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.58/0.62 c 0.6s| 1 | 0 | 227 | - | 15M| 0 | 47 |3825 |4418 |3825 | 885 | 61 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
1.19/1.21 c 1.1s| 1 | 2 | 227 | - | 15M| 0 | 47 |3825 |4418 |3825 | 885 | 61 | 0 | 33 | 0.000000e+00 | 9.081100e+04 | Inf
13.09/13.14 o 479
13.09/13.14 c *12.8s| 5517 | 4424 | 12393 | 2.2 | 28M| 145 | - |3825 |4427 |3825 | 951 |2148 | 9 |1284 | 0.000000e+00 | 4.790000e+02 | Inf
14.39/14.49 o 390
14.39/14.49 c *14.2s| 6211 | 4145 | 14053 | 2.2 | 29M| 145 | - |3825 |4480 |3825 | 935 |2542 | 62 |1307 | 0.000000e+00 | 3.900000e+02 | Inf
17.79/17.83 o 352
17.79/17.83 c *17.4s| 7674 | 4929 | 18629 | 2.4 | 32M| 145 | - |3825 |5060 |3825 | 910 |3601 | 662 |1414 | 0.000000e+00 | 3.520000e+02 | Inf
20.99/21.09 o 349
20.99/21.09 c *20.6s| 8978 | 5886 | 24032 | 2.7 | 34M| 145 | - |3825 |5470 |3825 | 920 |4634 |1335 |1517 | 0.000000e+00 | 3.490000e+02 | Inf
23.89/23.90 c 23.3s| 10000 | 6685 | 30872 | 3.1 | 36M| 145 | 0 |3825 |5411 |3825 | 943 |5959 |1743 |1577 | 0.000000e+00 | 3.490000e+02 | Inf
27.79/27.88 o 334
27.79/27.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.79/27.88 c *27.2s| 11482 | 7663 | 41684 | 3.6 | 39M| 145 | - |3825 |5256 |3825 | 926 |7940 |2207 |1651 | 0.000000e+00 | 3.340000e+02 | Inf
28.49/28.55 o 330
28.49/28.55 c *27.8s| 11777 | 7857 | 42574 | 3.6 | 40M| 145 | - |3825 |5310 |3825 | 923 |8134 |2303 |1655 | 0.000000e+00 | 3.300000e+02 | Inf
28.89/28.95 o 325
28.89/28.95 c *28.2s| 12059 | 8049 | 42775 | 3.5 | 40M| 145 | - |3825 |5359 |3825 | 917 |8162 |2369 |1656 | 0.000000e+00 | 3.250000e+02 | Inf
30.49/30.52 o 324
30.49/30.52 c *29.8s| 12904 | 8703 | 44080 | 3.4 | 42M| 145 | - |3825 |5766 |3825 | 924 |8463 |2940 |1656 | 0.000000e+00 | 3.240000e+02 | Inf
31.80/31.86 o 294
31.80/31.86 c *31.1s| 13540 | 8651 | 45304 | 3.3 | 42M| 145 | - |3825 |6206 |3825 | 937 |8716 |3502 |1657 | 0.000000e+00 | 2.940000e+02 | Inf
36.69/36.77 o 263
36.69/36.77 c *35.9s| 15596 | 9787 | 55630 | 3.6 | 44M| 145 | - |3825 |5465 |3825 | 920 | 10k|4204 |1690 | 0.000000e+00 | 2.630000e+02 | Inf
38.59/38.63 o 262
38.59/38.63 c *37.7s| 16296 | 10294 | 60002 | 3.7 | 46M| 145 | - |3825 |5483 |3825 | 949 | 11k|4562 |1703 | 0.000000e+00 | 2.620000e+02 | Inf
38.69/38.74 o 251
38.69/38.74 c *37.8s| 16333 | 10011 | 60261 | 3.7 | 45M| 145 | - |3825 |5471 |3825 | 937 | 11k|4576 |1703 | 0.000000e+00 | 2.510000e+02 | Inf
44.79/44.87 o 250
44.79/44.87 c *43.8s| 19136 | 11908 | 68493 | 3.6 | 52M| 145 | - |3825 |6416 |3825 | 911 | 12k|6638 |1723 | 0.000000e+00 | 2.500000e+02 | Inf
45.39/45.43 o 247
45.39/45.43 c *44.3s| 19365 | 12021 | 69124 | 3.6 | 52M| 145 | - |3825 |6402 |3825 | 915 | 12k|6727 |1724 | 0.000000e+00 | 2.470000e+02 | Inf
45.79/45.90 o 246
45.79/45.90 c *44.8s| 19615 | 12198 | 69655 | 3.5 | 53M| 145 | - |3825 |6523 |3825 | 950 | 13k|6914 |1724 | 0.000000e+00 | 2.460000e+02 | Inf
46.69/46.79 c 45.6s| 20000 | 12418 | 71094 | 3.5 | 54M| 145 | 0 |3825 |6687 |3825 | 958 | 13k|7353 |1726 | 0.000000e+00 | 2.460000e+02 | Inf
46.89/46.93 o 242
46.89/46.93 c *45.8s| 20073 | 12309 | 71240 | 3.5 | 53M| 145 | - |3825 |6784 |3825 | 953 | 13k|7466 |1726 | 0.000000e+00 | 2.420000e+02 | Inf
47.58/47.66 o 228
47.58/47.66 c *46.5s| 20381 | 11966 | 72077 | 3.5 | 53M| 145 | - |3825 |6650 |3825 | 922 | 13k|7612 |1727 | 0.000000e+00 | 2.280000e+02 | Inf
48.69/48.72 o 214
48.69/48.72 c *47.5s| 20782 | 11703 | 73701 | 3.5 | 52M| 145 | - |3825 |6483 |3825 | 917 | 13k|7838 |1744 | 0.000000e+00 | 2.140000e+02 | Inf
49.08/49.12 o 209
49.08/49.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.08/49.12 c *47.9s| 20919 | 11559 | 74273 | 3.5 | 52M| 145 | - |3825 |6385 |3825 | 933 | 13k|7948 |1745 | 0.000000e+00 | 2.090000e+02 | Inf
51.19/51.25 o 195
51.19/51.25 c *50.0s| 21848 | 11540 | 76619 | 3.5 | 53M| 145 | - |3825 |6554 |3825 | 955 | 14k|8692 |1746 | 0.000000e+00 | 1.950000e+02 | Inf
52.09/52.12 o 165
52.09/52.12 c *50.8s| 22226 | 10143 | 77462 | 3.5 | 49M| 145 | - |3825 |6765 |3825 | 944 | 14k|9202 |1748 | 0.000000e+00 | 1.650000e+02 | Inf
52.09/52.14 o 139
52.09/52.14 c *50.9s| 22231 | 8438 | 77493 | 3.5 | 44M| 145 | - |3825 |6767 |3825 | 944 | 14k|9207 |1748 | 0.000000e+00 | 1.390000e+02 | Inf
52.29/52.36 o 119
52.29/52.36 c *51.1s| 22305 | 7338 | 77838 | 3.5 | 41M| 145 | - |3825 |6756 |3825 | 939 | 14k|9310 |1748 | 0.000000e+00 | 1.190000e+02 | Inf
52.99/53.05 o 105
52.99/53.05 c *51.7s| 22544 | 6646 | 80034 | 3.5 | 40M| 145 | - |3825 |6537 |3825 | 945 | 14k|9513 |1754 | 0.000000e+00 | 1.050000e+02 | Inf
52.99/53.08 o 104
52.99/53.08 c *51.8s| 22548 | 6614 | 80066 | 3.5 | 41M| 145 | - |3825 |6527 |3825 | 939 | 14k|9516 |1754 | 0.000000e+00 | 1.040000e+02 | Inf
53.79/53.82 o 96
53.79/53.82 c *52.5s| 22853 | 6134 | 81279 | 3.5 | 40M| 145 | - |3825 |6422 |3825 | 956 | 14k|9837 |1754 | 0.000000e+00 | 9.600000e+01 | Inf
57.69/57.74 o 80
57.69/57.74 c *56.3s| 24268 | 5228 | 88842 | 3.7 | 41M| 145 | - |3825 |6113 |3825 | 922 | 15k| 11k|1761 | 0.000000e+00 | 8.000000e+01 | Inf
59.39/59.43 o 75
59.39/59.43 c *58.0s| 24915 | 4747 | 91769 | 3.7 | 40M| 145 | - |3825 |5857 |3825 | 941 | 15k| 12k|1762 | 0.000000e+00 | 7.500000e+01 | Inf
59.39/59.46 o 51
59.39/59.46 c *58.0s| 24924 | 3376 | 91809 | 3.7 | 36M| 145 | - |3825 |5693 |3825 | 945 | 15k| 12k|1762 | 0.000000e+00 | 5.100000e+01 | Inf
59.39/59.47 o 50
59.39/59.47 c *58.0s| 24925 | 3310 | 91809 | 3.7 | 35M| 145 | - |3825 |5693 |3825 | 945 | 15k| 12k|1762 | 0.000000e+00 | 5.000000e+01 | Inf
59.48/59.51 o 48
59.48/59.51 c *58.1s| 24930 | 2716 | 91885 | 3.7 | 33M| 145 | - |3825 |5201 |3825 | 914 | 15k| 12k|1762 | 0.000000e+00 | 4.800000e+01 | Inf
62.49/62.57 o 47
62.49/62.57 c *61.0s| 26306 | 2739 | 99962 | 3.8 | 34M| 145 | - |3825 |5516 |3825 | 903 | 16k| 14k|1768 | 0.000000e+00 | 4.700000e+01 | Inf
65.69/65.79 o 41
65.69/65.79 c *64.2s| 28082 | 2493 |106160 | 3.8 | 34M| 145 | - |3825 |6303 |3825 | 889 | 17k| 16k|1771 | 0.000000e+00 | 4.100000e+01 | Inf
69.30/69.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.30/69.38 c 67.6s| 30000 | 2519 |113472 | 3.8 | 35M| 145 | - |3825 |6824 | 0 | 0 | 17k| 18k|1772 | 0.000000e+00 | 4.100000e+01 | Inf
70.58/70.62 o 29
70.58/70.62 c *68.8s| 30676 | 2229 |116078 | 3.8 | 34M| 145 | - |3825 |7099 |3825 | 919 | 17k| 19k|1772 | 0.000000e+00 | 2.900000e+01 | Inf
71.09/71.15 o 26
71.09/71.15 c *69.4s| 31009 | 2117 |116718 | 3.8 | 34M| 145 | - |3825 |6887 |3825 | 922 | 17k| 20k|1772 | 0.000000e+00 | 2.600000e+01 | Inf
75.90/75.98 o 24
75.90/75.98 c *74.1s| 33624 | 1971 |130813 | 3.9 | 33M| 145 | - |3825 |5257 |3825 | 908 | 18k| 23k|1773 | 0.000000e+00 | 2.400000e+01 | Inf
80.20/80.21 o 20
80.20/80.21 c *78.2s| 36092 | 1868 |141757 | 3.9 | 33M| 145 | - |3825 |5849 |3825 | 932 | 19k| 26k|1774 | 0.000000e+00 | 2.000000e+01 | Inf
86.80/86.81 c 84.5s| 40000 | 1887 |159090 | 4.0 | 35M| 145 | 10 |3825 |7229 |3825 | 902 | 20k| 31k|1774 | 0.000000e+00 | 2.000000e+01 | Inf
103.69/103.77 c 101s| 50000 | 1963 |203295 | 4.1 | 37M| 145 | - |3825 |8473 | 0 | 0 | 22k| 45k|1869 | 0.000000e+00 | 2.000000e+01 | Inf
121.39/121.40 c 118s| 60000 | 2020 |244080 | 4.1 | 39M| 145 | - |3825 | 10k| 0 | 0 | 24k| 59k|1981 | 0.000000e+00 | 2.000000e+01 | Inf
131.19/131.21 o 15
131.19/131.21 c * 128s| 65528 | 1632 |265343 | 4.0 | 37M| 145 | - |3825 | 11k|3825 | 930 | 26k| 67k|2022 | 0.000000e+00 | 1.500000e+01 | Inf
139.39/139.49 c 136s| 70000 | 1523 |287773 | 4.1 | 34M| 145 | 12 |3825 |6013 |3825 | 883 | 27k| 73k|2192 | 0.000000e+00 | 1.500000e+01 | Inf
151.59/151.64 o 11
151.59/151.64 c * 147s| 76895 | 1550 |328449 | 4.3 | 35M| 145 | - |3825 |7403 |3825 | 905 | 28k| 81k|2349 | 0.000000e+00 | 1.100000e+01 | Inf
157.19/157.29 c 153s| 80000 | 1545 |347830 | 4.3 | 36M| 145 | - |3825 |8377 | 0 | 0 | 29k| 85k|2414 | 0.000000e+00 | 1.100000e+01 | Inf
175.29/175.33 c 170s| 90000 | 1651 |405224 | 4.5 | 38M| 145 | 14 |3825 | 10k|3825 | 897 | 31k| 97k|2608 | 0.000000e+00 | 1.100000e+01 | Inf
194.80/194.83 c 189s|100000 | 1716 |464686 | 4.6 | 40M| 145 | - |3825 | 13k| 0 | 0 | 33k| 110k|2778 | 0.000000e+00 | 1.100000e+01 | Inf
214.20/214.23 c 208s|110000 | 1751 |520914 | 4.7 | 41M| 145 | 1 |3825 | 14k|3825 | 929 | 35k| 123k|2963 | 0.000000e+00 | 1.100000e+01 | Inf
233.99/234.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.99/234.02 c 227s|120000 | 1750 |577150 | 4.8 | 42M| 145 | 20 |3825 | 14k|3825 | 956 | 37k| 136k|3095 | 0.000000e+00 | 1.100000e+01 | Inf
250.29/250.39 o 9
250.29/250.39 c * 243s|128317 | 1535 |624164 | 4.9 | 38M| 145 | - |3825 | 12k|3825 | 903 | 38k| 148k|3236 | 0.000000e+00 | 9.000000e+00 | Inf
253.39/253.47 c 246s|130000 | 1545 |633202 | 4.9 | 38M| 145 | 19 |3825 | 11k|3825 | 906 | 39k| 150k|3239 | 0.000000e+00 | 9.000000e+00 | Inf
271.89/271.98 c 264s|140000 | 1428 |692927 | 4.9 | 37M| 145 | 8 |3825 |9152 |3825 | 898 | 41k| 163k|3413 | 0.000000e+00 | 9.000000e+00 | Inf
290.19/290.21 c 281s|150000 | 1423 |754506 | 5.0 | 38M| 145 | 1 |3825 | 10k|3825 | 883 | 43k| 175k|3534 | 0.000000e+00 | 9.000000e+00 | Inf
308.60/308.67 c 299s|160000 | 1475 |802744 | 5.0 | 40M| 145 | - |3825 | 15k| 0 | 0 | 45k| 188k|3644 | 0.000000e+00 | 9.000000e+00 | Inf
311.20/311.22 o 7
311.20/311.22 c * 302s|161306 | 1444 |808071 | 5.0 | 40M| 145 | - |3825 | 15k|3825 | 907 | 45k| 190k|3645 | 0.000000e+00 | 7.000000e+00 | Inf
326.89/326.98 c 317s|170000 | 1370 |849762 | 5.0 | 38M| 145 | - |3825 | 11k| 0 | 0 | 46k| 202k|3727 | 0.000000e+00 | 7.000000e+00 | Inf
345.90/345.90 c 336s|180000 | 1387 |909740 | 5.1 | 39M| 145 | - |3825 | 14k|3825 | 918 | 49k| 214k|3860 | 0.000000e+00 | 7.000000e+00 | Inf
348.50/348.53 o 3
348.50/348.53 c * 338s|181470 | 1285 |917067 | 5.1 | 37M| 145 | - |3825 | 14k|3825 | 949 | 49k| 216k|3863 | 0.000000e+00 | 3.000000e+00 | Inf
365.29/365.31 c 354s|190000 | 1251 |968664 | 5.1 | 36M| 145 | - |3825 | 12k| 0 | 0 | 51k| 228k|3971 | 0.000000e+00 | 3.000000e+00 | Inf
385.00/385.08 c 374s|200000 | 1333 | 1037k| 5.2 | 38M| 145 | 13 |3825 | 15k|3825 | 909 | 52k| 240k|4124 | 0.000000e+00 | 3.000000e+00 | Inf
387.89/387.92 o 1
387.89/387.92 c * 376s|201473 | 1291 | 1047k| 5.2 | 38M| 145 | - |3825 | 14k|3825 | 913 | 53k| 242k|4126 | 0.000000e+00 | 1.000000e-00 | Inf
404.39/404.41 c 392s|210000 | 1235 | 1097k| 5.2 | 38M| 145 | 1 |3825 | 16k|3825 | 923 | 54k| 254k|4197 | 0.000000e+00 | 1.000000e-00 | Inf
422.60/422.66 c 410s|220000 | 1264 | 1150k| 5.2 | 39M| 145 | - |3825 | 17k| 0 | 0 | 56k| 267k|4322 | 0.000000e+00 | 1.000000e-00 | Inf
442.40/442.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.40/442.49 c 429s|230000 | 1268 | 1209k| 5.3 | 39M| 145 | - |3825 | 17k| 0 | 0 | 57k| 281k|4455 | 0.000000e+00 | 1.000000e-00 | Inf
462.00/462.06 c 448s|240000 | 1288 | 1261k| 5.3 | 41M| 145 | 6 |3825 | 21k|3825 | 908 | 59k| 295k|4534 | 0.000000e+00 | 1.000000e-00 | Inf
481.99/482.09 c 468s|250000 | 1284 | 1316k| 5.3 | 41M| 145 | 23 |3825 | 21k|3825 | 926 | 61k| 309k|4613 | 0.000000e+00 | 1.000000e-00 | Inf
503.00/503.03 c 488s|260000 | 1323 | 1375k| 5.3 | 41M| 145 | - |3825 | 21k| 0 | 0 | 62k| 323k|4734 | 0.000000e+00 | 1.000000e-00 | Inf
527.20/527.20 c 512s|270000 | 1389 | 1461k| 5.4 | 43M| 145 | 26 |3825 | 25k|3825 | 912 | 64k| 337k|4850 | 0.000000e+00 | 1.000000e-00 | Inf
551.20/551.26 c 535s|280000 | 1446 | 1539k| 5.5 | 43M| 145 | - |3825 | 23k| 0 | 0 | 66k| 351k|4966 | 0.000000e+00 | 1.000000e-00 | Inf
575.90/575.98 c 559s|290000 | 1545 | 1613k| 5.6 | 46M| 145 | 15 |3825 | 25k|3825 | 906 | 67k| 365k|5039 | 0.000000e+00 | 1.000000e-00 | Inf
599.41/599.46 c 582s|300000 | 1574 | 1683k| 5.6 | 47M| 145 | - |3825 | 26k| 0 | 0 | 69k| 380k|5152 | 0.000000e+00 | 1.000000e-00 | Inf
624.49/624.54 c 607s|310000 | 1685 | 1770k| 5.7 | 49M| 145 | - |3825 | 28k| 0 | 0 | 71k| 394k|5264 | 0.000000e+00 | 1.000000e-00 | Inf
649.71/649.76 c 631s|320000 | 1711 | 1847k| 5.8 | 50M| 145 | 20 |3825 | 29k|3825 | 931 | 72k| 410k|5361 | 0.000000e+00 | 1.000000e-00 | Inf
674.11/674.20 c 655s|330000 | 1706 | 1919k| 5.8 | 50M| 145 | - |3825 | 28k| 0 | 0 | 74k| 425k|5458 | 0.000000e+00 | 1.000000e-00 | Inf
697.80/697.86 c 678s|340000 | 1689 | 1983k| 5.8 | 50M| 145 | 1 |3825 | 26k|3825 | 907 | 75k| 439k|5543 | 0.000000e+00 | 1.000000e-00 | Inf
722.20/722.29 c 702s|350000 | 1655 | 2054k| 5.9 | 50M| 145 | - |3825 | 26k| 0 | 0 | 77k| 455k|5639 | 0.000000e+00 | 1.000000e-00 | Inf
746.81/746.89 c 726s|360000 | 1565 | 2118k| 5.9 | 49M| 145 | 23 |3825 | 25k|3825 | 920 | 79k| 470k|5720 | 0.000000e+00 | 1.000000e-00 | Inf
774.91/774.99 c 753s|370000 | 1469 | 2186k| 5.9 | 47M| 145 | 7 |3825 | 24k|3825 | 897 | 80k| 484k|5799 | 0.000000e+00 | 1.000000e-00 | Inf
802.01/802.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.01/802.05 c 780s|380000 | 1427 | 2255k| 5.9 | 46M| 145 | - |3825 | 24k| 0 | 0 | 82k| 498k|5876 | 0.000000e+00 | 1.000000e-00 | Inf
829.70/829.76 c 806s|390000 | 1398 | 2314k| 5.9 | 46M| 145 | 1 |3825 | 25k|3825 | 908 | 84k| 513k|5943 | 0.000000e+00 | 1.000000e-00 | Inf
857.41/857.49 c 833s|400000 | 1363 | 2377k| 5.9 | 45M| 145 | 25 |3825 | 24k|3825 | 897 | 85k| 527k|6002 | 0.000000e+00 | 1.000000e-00 | Inf
884.32/884.37 c 859s|410000 | 1205 | 2448k| 6.0 | 39M| 145 | - |3825 | 14k|3825 | 905 | 87k| 541k|6106 | 0.000000e+00 | 1.000000e-00 | Inf
906.71/906.72 c 880s|420000 | 1231 | 2511k| 6.0 | 41M| 145 | 12 |3825 | 18k|3825 | 929 | 89k| 555k|6151 | 0.000000e+00 | 1.000000e-00 | Inf
929.00/929.09 c 902s|430000 | 1216 | 2565k| 6.0 | 41M| 145 | 1 |3825 | 20k|3825 | 911 | 90k| 569k|6318 | 0.000000e+00 | 1.000000e-00 | Inf
951.31/951.36 c 923s|440000 | 1251 | 2619k| 6.0 | 42M| 145 | - |3825 | 21k| 0 | 0 | 92k| 582k|6358 | 0.000000e+00 | 1.000000e-00 | Inf
974.21/974.21 c 945s|450000 | 1260 | 2677k| 6.0 | 43M| 145 | 15 |3825 | 24k|3825 | 930 | 94k| 596k|6419 | 0.000000e+00 | 1.000000e-00 | Inf
998.01/998.06 c 968s|460000 | 1227 | 2732k| 5.9 | 43M| 145 | - |3825 | 23k| 0 | 0 | 96k| 609k|6471 | 0.000000e+00 | 1.000000e-00 | Inf
1023.31/1023.31 c 992s|470000 | 1205 | 2793k| 5.9 | 39M| 145 | 1 |3825 | 14k|3825 | 883 | 98k| 622k|6603 | 0.000000e+00 | 1.000000e-00 | Inf
1044.92/1044.94 c 1013s|480000 | 1182 | 2854k| 5.9 | 40M| 145 | - |3825 | 16k| 0 | 0 | 100k| 636k|6653 | 0.000000e+00 | 1.000000e-00 | Inf
1066.71/1066.78 c 1033s|490000 | 1145 | 2927k| 6.0 | 39M| 145 | - |3825 | 12k| 0 | 0 | 102k| 648k|6719 | 0.000000e+00 | 1.000000e-00 | Inf
1087.41/1087.43 c 1053s|500000 | 944 | 2989k| 6.0 | 36M| 145 | - |3825 | 10k| 0 | 0 | 104k| 660k|6780 | 0.000000e+00 | 1.000000e-00 | Inf
1107.81/1107.84 c 1072s|510000 | 958 | 3048k| 6.0 | 38M| 145 | 11 |3825 | 15k|3825 | 910 | 106k| 673k|6848 | 0.000000e+00 | 1.000000e-00 | Inf
1130.51/1130.59 c 1094s|520000 | 961 | 3107k| 6.0 | 39M| 145 | 23 |3825 | 19k|3825 | 919 | 108k| 686k|6910 | 0.000000e+00 | 1.000000e-00 | Inf
1155.52/1155.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.52/1155.58 c 1118s|530000 | 1001 | 3174k| 6.0 | 39M| 145 | 1 |3825 | 16k|3825 | 898 | 110k| 699k|6984 | 0.000000e+00 | 1.000000e-00 | Inf
1179.92/1179.98 c 1141s|540000 | 1041 | 3236k| 6.0 | 41M| 145 | 1 |3825 | 19k|3825 | 883 | 112k| 713k|7038 | 0.000000e+00 | 1.000000e-00 | Inf
1204.91/1204.95 c 1165s|550000 | 1138 | 3292k| 6.0 | 43M| 145 | 1 |3825 | 24k|3825 | 916 | 114k| 727k|7069 | 0.000000e+00 | 1.000000e-00 | Inf
1230.61/1230.65 c 1190s|560000 | 1075 | 3347k| 6.0 | 42M| 145 | - |3825 | 22k| 0 | 0 | 116k| 741k|7106 | 0.000000e+00 | 1.000000e-00 | Inf
1256.51/1256.53 c 1215s|570000 | 1109 | 3404k| 6.0 | 42M| 145 | - |3825 | 22k| 0 | 0 | 118k| 754k|7203 | 0.000000e+00 | 1.000000e-00 | Inf
1281.22/1281.21 c 1239s|580000 | 1140 | 3457k| 6.0 | 44M| 145 | 1 |3825 | 24k|3825 | 897 | 120k| 767k|7255 | 0.000000e+00 | 1.000000e-00 | Inf
1308.62/1308.69 c 1265s|590000 | 1189 | 3514k| 6.0 | 45M| 145 | - |3825 | 27k| 0 | 0 | 122k| 781k|7308 | 0.000000e+00 | 1.000000e-00 | Inf
1337.22/1337.23 c 1293s|600000 | 1173 | 3573k| 6.0 | 46M| 145 | 17 |3825 | 27k|3825 | 916 | 124k| 795k|7350 | 0.000000e+00 | 1.000000e-00 | Inf
1365.42/1365.40 c 1320s|610000 | 1169 | 3636k| 6.0 | 46M| 145 | 14 |3825 | 27k|3825 | 943 | 126k| 810k|7398 | 0.000000e+00 | 1.000000e-00 | Inf
1393.22/1393.22 c 1347s|620000 | 1165 | 3697k| 6.0 | 47M| 145 | - |3825 | 30k| 0 | 0 | 128k| 824k|7445 | 0.000000e+00 | 1.000000e-00 | Inf
1421.23/1421.21 c 1374s|630000 | 1190 | 3753k| 6.0 | 48M| 145 | 18 |3825 | 30k|3825 | 929 | 130k| 837k|7522 | 0.000000e+00 | 1.000000e-00 | Inf
1450.41/1450.47 c 1402s|640000 | 1226 | 3809k| 6.0 | 49M| 145 | 1 |3825 | 32k|3825 | 911 | 131k| 851k|7555 | 0.000000e+00 | 1.000000e-00 | Inf
1483.02/1483.00 c 1433s|650000 | 1268 | 3871k| 6.0 | 51M| 145 | 1 |3825 | 36k|3825 | 922 | 133k| 864k|7592 | 0.000000e+00 | 1.000000e-00 | Inf
1516.42/1516.40 c 1466s|660000 | 1333 | 3934k| 6.0 | 50M| 145 | - |3825 | 33k| 0 | 0 | 135k| 877k|7658 | 0.000000e+00 | 1.000000e-00 | Inf
1550.52/1550.52 c 1499s|670000 | 1375 | 3995k| 6.0 | 52M| 145 | 16 |3825 | 36k|3825 | 926 | 137k| 891k|7717 | 0.000000e+00 | 1.000000e-00 | Inf
1585.32/1585.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.32/1585.36 c 1533s|680000 | 1392 | 4057k| 6.0 | 53M| 145 | 23 |3825 | 37k|3825 | 939 | 138k| 905k|7767 | 0.000000e+00 | 1.000000e-00 | Inf
1619.52/1619.59 c 1566s|690000 | 1390 | 4117k| 6.0 | 53M| 145 | - |3825 | 35k|3825 | 957 | 140k| 919k|7792 | 0.000000e+00 | 1.000000e-00 | Inf
1654.62/1654.61 c 1600s|700000 | 1440 | 4181k| 6.0 | 54M| 145 | - |3825 | 37k| 0 | 0 | 142k| 933k|7835 | 0.000000e+00 | 1.000000e-00 | Inf
1688.63/1688.67 c 1632s|710000 | 1427 | 4243k| 6.0 | 55M| 145 | - |3825 | 37k| 0 | 0 | 143k| 947k|7898 | 0.000000e+00 | 1.000000e-00 | Inf
1725.02/1725.03 c 1668s|720000 | 1438 | 4311k| 6.0 | 56M| 145 | 19 |3825 | 38k|3825 | 923 | 144k| 961k|7961 | 0.000000e+00 | 1.000000e-00 | Inf
1759.93/1759.93 c 1701s|730000 | 1492 | 4369k| 6.0 | 57M| 145 | 7 |3825 | 41k|3825 | 926 | 147k| 975k|8000 | 0.000000e+00 | 1.000000e-00 | Inf
1795.62/1795.65 c 1736s|740000 | 1507 | 4431k| 6.0 | 57M| 145 | - |3825 | 41k| 0 | 0 | 149k| 989k|8034 | 0.000000e+00 | 1.000000e-00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1740.46
1800.03/1800.01 c Solving Nodes : 741122
1800.03/1800.01 c Primal Bound : +1.00000000000000e-00 (212 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.05 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.05 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.03/1800.05 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.03/1800.05 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.03/1800.05 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.03/1800.05 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.03/1800.05 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.03/1800.05 v -x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1740.46
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2692951-1277912382.wbo
1800.03/1800.05 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.03/1800.05 c Constraints : 4571 initial, 4571 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2692951-1277912382.wbo
1800.03/1800.05 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.03/1800.05 c Constraints : 4418 initial, 42165 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.01 0 0 0 0 0 66 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.05 0 0 0 1878 0 87 72 0
1800.03/1800.05 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1797 - - 3594 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 424242 0 34 482 0 0 774574
1800.03/1800.05 c indicator : 1797 0 1134201 26227 0 169 1771285 0 0 0
1800.03/1800.05 c setppc : 5 7 4218216 30205 0 3395 644505 0 0 0
1800.03/1800.05 c linear : 1797 7 4242070 36535 0 202820 17905588 149420 0 0
1800.03/1800.05 c logicor : 819+ 7 1292326 17977 0 157796 3238632 0 0 0
1800.03/1800.05 c countsols : 0 0 0 17977 0 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 19.33 0.00 0.00 19.33 0.00
1800.03/1800.05 c indicator : 9.17 0.00 6.10 3.07 0.00
1800.03/1800.05 c setppc : 5.33 0.00 5.33 0.00 0.00
1800.03/1800.05 c linear : 166.31 0.00 164.03 2.28 0.00
1800.03/1800.05 c logicor : 362.80 0.00 362.66 0.14 0.00
1800.03/1800.05 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.49 2 0 0
1800.03/1800.05 c rootredcost : 0.30 44 0 1797
1800.03/1800.05 c pseudoobj : 137.51 4250122 4402 1173726
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 20.81 368413 368184 2292572 29.0 15618 21.5 -
1800.03/1800.05 c infeasible LP : 4.79 14890 14890 124714 43.2 169 17.1 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.01 124 124 588 13.6 145 5.2 -
1800.03/1800.05 c applied globally : - - - 991316 22.2 - - -
1800.03/1800.05 c applied locally : - - - 0 0.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 5 - - 27 - (maximal pool size: 184)
1800.03/1800.05 c redcost : 21.06 425723 0 567409 0 0
1800.03/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.16 6 0 0 873 0
1800.03/1800.05 c strongcg : 0.11 6 0 0 0 0
1800.03/1800.05 c cmir : 0.00 6 0 0 0 0
1800.03/1800.05 c flowcover : 0.08 6 0 0 0 0
1800.03/1800.05 c clique : 0.00 6 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 1 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 19.07 387684 34 482 0 0 774574
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 2.99 17934 0 0 0 0 35868
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.04 - 43
1800.03/1800.05 c pseudo solutions : 0.00 - 0
1800.03/1800.05 c feaspump : 0.00 0 0
1800.03/1800.05 c oneopt : 0.36 43 0
1800.03/1800.05 c intshifting : 0.00 9 0
1800.03/1800.05 c crossover : 1.38 53 0
1800.03/1800.05 c coefdiving : 0.58 537 0
1800.03/1800.05 c veclendiving : 0.63 537 0
1800.03/1800.05 c linesearchdiving : 0.71 537 0
1800.03/1800.05 c pscostdiving : 0.73 537 0
1800.03/1800.05 c fracdiving : 0.67 537 0
1800.03/1800.05 c guideddiving : 0.43 538 0
1800.03/1800.05 c objpscostdiving : 0.41 483 0
1800.03/1800.05 c rootsoldiving : 0.61 483 0
1800.03/1800.05 c trivial : 0.00 2 0
1800.03/1800.05 c simplerounding : 0.57 388153 0
1800.03/1800.05 c zirounding : 0.35 1000 0
1800.03/1800.05 c rounding : 1.47 8759 0
1800.03/1800.05 c shifting : 1.10 2775 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.02 1 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.12 0 0
1800.03/1800.05 c trysol : 1.34 4170 169
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 501.47 423741 4434340 10.46 8842.68
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.49 506 3032 5.99 6187.76
1800.03/1800.05 c strong branching : 15.68 8039 163429 20.33 10422.77
1800.03/1800.05 c (at root node) : - 33 5710 173.03 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 741122
1800.03/1800.05 c nodes (total) : 741122
1800.03/1800.05 c nodes left : 1515
1800.03/1800.05 c max depth : 145
1800.03/1800.05 c max depth (total): 145
1800.03/1800.05 c backtracks : 57906 (7.8%)
1800.03/1800.05 c delayed cutoffs : 50083
1800.03/1800.05 c repropagations : 2430509 (3602142 domain reductions, 47462 cutoffs)
1800.03/1800.05 c avg switch length: 7.80
1800.03/1800.05 c switching time : 290.50
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 212 (44 improvements)
1800.03/1800.05 c First Solution : +9.08110000000000e+04 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.03/1800.05 c Primal Bound : +1.00000000000000e-00 (in run 1, after 201473 nodes, 376.30 seconds, depth 38, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 227
1800.13/1800.16 c Time complete: 1800.19.