0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692304-1277911938.wbo>
0.01/0.03 c original problem has 3839 variables (2035 bin, 0 int, 0 impl, 1804 cont) and 4512 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.01/0.09 c (round 2) 0 del vars, 64 del conss, 1804 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.01/0.09 c (round 3) 41 del vars, 117 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.09/0.11 c (round 4) 87 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.09/0.12 c (round 5) 92 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.09/0.16 c (0.1s) probing: 101/1989 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 92 deleted vars, 122 deleted constraints, 1809 tightened bounds, 0 added holes, 53 changed sides, 0 changed coefficients
0.09/0.16 c 1938 implications, 6 cliques
0.09/0.16 c presolved problem has 3747 variables (1989 bin, 0 int, 0 impl, 1758 cont) and 4390 constraints
0.09/0.16 c 1758 constraints of type <indicator>
0.09/0.16 c 6 constraints of type <setppc>
0.09/0.16 c 1758 constraints of type <linear>
0.09/0.16 c 868 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 13 | - | 13M| 0 | 7 |3747 |4390 |3747 | 874 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 88500
0.09/0.18 c y 0.1s| 1 | 0 | 101 | - | 13M| 0 | 7 |3747 |4390 |3747 | 874 | 0 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 139 | - | 13M| 0 | 38 |3747 |4390 |3747 | 894 | 20 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 238 | - | 14M| 0 | 62 |3747 |4390 |3747 | 932 | 58 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 289 | - | 14M| 0 | 63 |3747 |4390 |3747 | 941 | 67 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 318 | - | 14M| 0 | 64 |3747 |4390 |3747 | 953 | 79 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.49/0.50 c 0.4s| 1 | 0 | 326 | - | 14M| 0 | 69 |3747 |4390 |3747 | 960 | 86 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.49/0.60 c 0.5s| 1 | 0 | 337 | - | 14M| 0 | 69 |3747 |4390 |3747 | 961 | 87 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
1.10/1.16 c 1.1s| 1 | 2 | 337 | - | 14M| 0 | 69 |3747 |4390 |3747 | 961 | 87 | 0 | 33 | 0.000000e+00 | 8.850000e+04 | Inf
25.89/26.00 c 25.0s| 10000 | 9983 | 37606 | 3.7 | 39M| 95 | 0 |3747 |4403 |3747 | 990 |7124 | 19 |1834 | 0.000000e+00 | 8.850000e+04 | Inf
41.89/41.94 c 40.4s| 20000 | 19975 | 55538 | 2.8 | 57M| 113 | 7 |3747 |4409 |3747 |1024 | 11k| 31 |1835 | 0.000000e+00 | 8.850000e+04 | Inf
57.69/57.78 c 55.7s| 30000 | 29971 | 73328 | 2.4 | 75M| 113 | 0 |3747 |4410 |3747 |1017 | 15k| 35 |1836 | 0.000000e+00 | 8.850000e+04 | Inf
72.50/72.52 o 1119
72.50/72.52 c *70.0s| 39070 | 37895 | 92136 | 2.3 | 89M| 115 | - |3747 |4416 |3747 |1014 | 20k| 54 |1836 | 0.000000e+00 | 1.119000e+03 | Inf
74.39/74.44 c 71.8s| 40000 | 38825 | 96238 | 2.4 | 91M| 119 | 0 |3747 |4412 |3747 |1008 | 21k| 54 |1836 | 0.000000e+00 | 1.119000e+03 | Inf
94.30/94.38 c 91.0s| 50000 | 48813 |138335 | 2.8 | 111M| 119 | 0 |3747 |4417 |3747 | 999 | 31k| 91 |1836 | 0.000000e+00 | 1.119000e+03 | Inf
105.19/105.29 o 1113
105.19/105.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.19/105.29 c * 102s| 55931 | 54712 |155603 | 2.8 | 121M| 119 | - |3747 |4413 |3747 |1008 | 35k| 108 |1836 | 0.000000e+00 | 1.113000e+03 | Inf
112.70/112.71 c 109s| 60000 | 58779 |166043 | 2.8 | 129M| 119 | 0 |3747 |4409 |3747 |1018 | 38k| 110 |1836 | 0.000000e+00 | 1.113000e+03 | Inf
120.90/120.92 o 1110
120.90/120.92 c * 117s| 64378 | 63133 |178819 | 2.8 | 137M| 119 | - |3747 |4417 |3747 |1013 | 41k| 125 |1836 | 0.000000e+00 | 1.110000e+03 | Inf
122.79/122.85 o 987
122.79/122.85 c * 119s| 65269 | 63053 |182279 | 2.8 | 137M| 119 | - |3747 |4417 |3747 |1020 | 42k| 127 |1836 | 0.000000e+00 | 9.870000e+02 | Inf
122.79/122.86 o 980
122.79/122.86 c * 119s| 65270 | 62957 |182279 | 2.8 | 137M| 119 | - |3747 |4417 |3747 |1020 | 42k| 127 |1836 | 0.000000e+00 | 9.800000e+02 | Inf
122.90/122.91 o 928
122.90/122.91 c * 119s| 65292 | 62296 |182331 | 2.8 | 135M| 119 | - |3747 |4417 |3747 |1010 | 42k| 127 |1836 | 0.000000e+00 | 9.280000e+02 | Inf
132.30/132.38 c 128s| 70000 | 66976 |196925 | 2.8 | 144M| 119 | 0 |3747 |4456 |3747 |1004 | 46k| 179 |1836 | 0.000000e+00 | 9.280000e+02 | Inf
144.69/144.70 o 904
144.69/144.70 c * 140s| 76127 | 72723 |218212 | 2.9 | 155M| 119 | - |3747 |4522 |3747 |1022 | 52k| 296 |1882 | 0.000000e+00 | 9.040000e+02 | Inf
149.00/149.09 o 883
149.00/149.09 c * 144s| 78524 | 74888 |224327 | 2.9 | 158M| 119 | - |3747 |4537 |3747 |1009 | 54k| 332 |1883 | 0.000000e+00 | 8.830000e+02 | Inf
152.50/152.58 c 147s| 80000 | 76342 |231725 | 2.9 | 161M| 119 | 0 |3747 |4559 |3747 |1022 | 55k| 374 |1938 | 0.000000e+00 | 8.830000e+02 | Inf
174.70/174.73 c 169s| 90000 | 86201 |278340 | 3.1 | 179M| 119 | 0 |3747 |4616 |3747 |1005 | 68k| 691 |2100 | 0.000000e+00 | 8.830000e+02 | Inf
193.60/193.65 c 187s|100000 | 96157 |307577 | 3.1 | 197M| 119 | 6 |3747 |4554 |3747 | 982 | 76k| 765 |2223 | 0.000000e+00 | 8.830000e+02 | Inf
205.99/206.07 o 250
205.99/206.07 c * 199s|105715 | 53605 |331439 | 3.1 | 124M| 119 | - |3747 |4564 |3747 | 983 | 82k| 834 |2331 | 0.000000e+00 | 2.500000e+02 | Inf
206.40/206.41 o 247
206.40/206.41 c * 199s|105824 | 52927 |332206 | 3.1 | 123M| 119 | - |3747 |4600 |3747 |1005 | 82k| 883 |2340 | 0.000000e+00 | 2.470000e+02 | Inf
206.60/206.62 o 239
206.60/206.62 c * 200s|105890 | 50933 |332575 | 3.1 | 120M| 119 | - |3747 |4599 |3747 | 992 | 82k| 884 |2340 | 0.000000e+00 | 2.390000e+02 | Inf
206.90/206.92 o 229
206.90/206.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.90/206.92 c * 200s|105980 | 48579 |333263 | 3.1 | 116M| 119 | - |3747 |4645 |3747 |1007 | 83k| 941 |2340 | 0.000000e+00 | 2.290000e+02 | Inf
206.90/206.99 o 219
206.90/206.99 c * 200s|105997 | 46319 |333413 | 3.1 | 112M| 119 | - |3747 |4649 |3747 |1009 | 83k| 945 |2340 | 0.000000e+00 | 2.190000e+02 | Inf
207.00/207.02 o 214
207.00/207.02 c * 200s|106002 | 44514 |333416 | 3.1 | 109M| 119 | - |3747 |4649 |3747 |1009 | 83k| 945 |2340 | 0.000000e+00 | 2.140000e+02 | Inf
207.30/207.36 o 203
207.30/207.36 c * 200s|106104 | 40371 |334160 | 3.1 | 101M| 119 | - |3747 |4700 |3747 |1015 | 83k|1002 |2340 | 0.000000e+00 | 2.030000e+02 | Inf
208.30/208.36 o 196
208.30/208.36 c * 201s|106426 | 38353 |336201 | 3.2 | 98M| 119 | - |3747 |4839 |3747 |1010 | 83k|1166 |2343 | 0.000000e+00 | 1.960000e+02 | Inf
208.50/208.52 o 195
208.50/208.52 c * 201s|106480 | 38054 |336545 | 3.2 | 98M| 119 | - |3747 |4870 |3747 |1002 | 84k|1207 |2343 | 0.000000e+00 | 1.950000e+02 | Inf
210.30/210.37 o 188
210.30/210.37 c * 203s|107105 | 36392 |340733 | 3.2 | 95M| 119 | - |3747 |5010 |3747 | 991 | 84k|1476 |2346 | 0.000000e+00 | 1.880000e+02 | Inf
210.90/210.90 o 185
210.90/210.90 c * 204s|107284 | 35784 |341718 | 3.2 | 95M| 119 | - |3747 |5093 |3747 |1008 | 85k|1574 |2346 | 0.000000e+00 | 1.850000e+02 | Inf
211.20/211.28 o 181
211.20/211.28 c * 204s|107403 | 34858 |342251 | 3.2 | 94M| 119 | - |3747 |5110 |3747 | 985 | 85k|1611 |2346 | 0.000000e+00 | 1.810000e+02 | Inf
211.80/211.85 o 170
211.80/211.85 c * 205s|107601 | 31741 |343197 | 3.2 | 88M| 119 | - |3747 |5146 |3747 |1009 | 85k|1718 |2346 | 0.000000e+00 | 1.700000e+02 | Inf
211.80/211.85 o 166
211.80/211.85 c * 205s|107602 | 30779 |343197 | 3.2 | 86M| 119 | - |3747 |5146 |3747 |1009 | 85k|1718 |2346 | 0.000000e+00 | 1.660000e+02 | Inf
211.80/211.89 o 162
211.80/211.89 c * 205s|107614 | 29759 |343232 | 3.2 | 84M| 119 | - |3747 |5145 |3747 |1017 | 85k|1725 |2346 | 0.000000e+00 | 1.620000e+02 | Inf
211.89/211.90 o 158
211.89/211.90 c * 205s|107615 | 28910 |343232 | 3.2 | 82M| 119 | - |3747 |5145 |3747 |1017 | 85k|1725 |2346 | 0.000000e+00 | 1.580000e+02 | Inf
212.20/212.22 o 154
212.20/212.22 c * 205s|107727 | 28233 |343717 | 3.2 | 82M| 119 | - |3747 |5158 |3747 | 990 | 85k|1767 |2346 | 0.000000e+00 | 1.540000e+02 | Inf
212.20/212.27 o 148
212.20/212.27 c * 205s|107745 | 26519 |343783 | 3.2 | 77M| 119 | - |3747 |5169 |3747 | 994 | 85k|1780 |2346 | 0.000000e+00 | 1.480000e+02 | Inf
212.31/212.31 o 141
212.31/212.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.31/212.31 c * 205s|107754 | 24893 |343845 | 3.2 | 74M| 119 | - |3747 |5168 |3747 | 997 | 85k|1780 |2346 | 0.000000e+00 | 1.410000e+02 | Inf
212.40/212.44 o 127
212.40/212.44 c * 205s|107796 | 22621 |344142 | 3.2 | 70M| 119 | - |3747 |5191 |3747 |1011 | 85k|1822 |2346 | 0.000000e+00 | 1.270000e+02 | Inf
212.40/212.45 o 123
212.40/212.45 c * 205s|107797 | 21883 |344142 | 3.2 | 68M| 119 | - |3747 |5191 |3747 |1011 | 85k|1822 |2346 | 0.000000e+00 | 1.230000e+02 | Inf
213.00/213.05 o 119
213.00/213.05 c * 206s|107971 | 20854 |345160 | 3.2 | 67M| 119 | - |3747 |5145 |3747 |1002 | 86k|1934 |2353 | 0.000000e+00 | 1.190000e+02 | Inf
214.50/214.53 o 110
214.50/214.53 c * 207s|108420 | 17943 |348082 | 3.2 | 62M| 119 | - |3747 |5274 |3747 | 974 | 86k|2290 |2383 | 0.000000e+00 | 1.100000e+02 | Inf
215.69/215.73 o 108
215.69/215.73 c * 208s|108813 | 17561 |350343 | 3.2 | 62M| 119 | - |3747 |5363 |3747 | 997 | 86k|2676 |2397 | 0.000000e+00 | 1.080000e+02 | Inf
215.69/215.75 o 97
215.69/215.75 c * 208s|108815 | 15308 |350348 | 3.2 | 57M| 119 | - |3747 |5363 |3747 | 997 | 86k|2676 |2397 | 0.000000e+00 | 9.700000e+01 | Inf
215.69/215.75 o 93
215.69/215.75 c * 208s|108816 | 14636 |350348 | 3.2 | 55M| 119 | - |3747 |5363 |3747 | 997 | 86k|2676 |2397 | 0.000000e+00 | 9.300000e+01 | Inf
215.79/215.87 o 92
215.79/215.87 c * 208s|108844 | 14451 |350487 | 3.2 | 54M| 119 | - |3747 |5200 |3747 | 992 | 86k|2696 |2397 | 0.000000e+00 | 9.200000e+01 | Inf
215.79/215.87 o 88
215.79/215.87 c * 208s|108845 | 13724 |350487 | 3.2 | 53M| 119 | - |3747 |5200 |3747 | 992 | 86k|2696 |2397 | 0.000000e+00 | 8.800000e+01 | Inf
215.90/215.92 o 79
215.90/215.92 c * 208s|108856 | 12363 |350529 | 3.2 | 50M| 119 | - |3747 |5078 |3747 | 989 | 86k|2697 |2398 | 0.000000e+00 | 7.900000e+01 | Inf
215.90/215.93 o 74
215.90/215.93 c * 208s|108857 | 11460 |350529 | 3.2 | 48M| 119 | - |3747 |5078 |3747 | 989 | 86k|2697 |2398 | 0.000000e+00 | 7.400000e+01 | Inf
215.90/215.97 o 66
215.90/215.97 c * 209s|108865 | 10455 |350565 | 3.2 | 46M| 119 | - |3747 |4786 |3747 | 990 | 86k|2697 |2398 | 0.000000e+00 | 6.600000e+01 | Inf
215.90/215.97 o 65
215.90/215.97 c * 209s|108866 | 10255 |350565 | 3.2 | 45M| 119 | - |3747 |4786 |3747 | 990 | 86k|2697 |2398 | 0.000000e+00 | 6.500000e+01 | Inf
216.20/216.21 o 64
216.20/216.21 c * 209s|108935 | 10255 |350980 | 3.2 | 46M| 119 | - |3747 |4591 |3747 | 995 | 87k|2734 |2400 | 0.000000e+00 | 6.400000e+01 | Inf
216.20/216.21 o 61
216.20/216.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.20/216.21 c * 209s|108936 | 9697 |350980 | 3.2 | 45M| 119 | - |3747 |4591 |3747 | 995 | 87k|2734 |2400 | 0.000000e+00 | 6.100000e+01 | Inf
216.79/216.82 o 51
216.79/216.82 c * 209s|109105 | 7949 |352321 | 3.2 | 42M| 119 | - |3747 |4344 |3747 | 998 | 87k|2890 |2406 | 0.000000e+00 | 5.100000e+01 | Inf
217.10/217.12 o 23
217.10/217.12 c * 210s|109181 | 786 |353125 | 3.2 | 25M| 119 | - |3747 |4166 |3747 | 998 | 87k|2964 |2407 | 0.000000e+00 | 2.300000e+01 | Inf
217.99/218.08 o 16
217.99/218.08 c * 211s|109570 | 455 |356926 | 3.3 | 24M| 119 | - |3747 |3927 |3747 | 973 | 87k|3474 |2409 | 0.000000e+00 | 1.600000e+01 | Inf
218.30/218.36 o 14
218.30/218.36 c * 211s|109745 | 454 |357677 | 3.3 | 24M| 119 | - |3747 |3979 |3747 | 973 | 87k|3721 |2409 | 0.000000e+00 | 1.400000e+01 | Inf
218.69/218.76 c 211s|110000 | 452 |358587 | 3.3 | 24M| 119 | - |3747 |4231 | 0 | 0 | 87k|4063 |2409 | 0.000000e+00 | 1.400000e+01 | Inf
220.50/220.53 o 9
220.50/220.53 c * 213s|111109 | 305 |363522 | 3.3 | 24M| 119 | - |3747 |4778 |3747 | 982 | 88k|5395 |2409 | 0.000000e+00 | 9.000000e+00 | Inf
234.80/234.89 c 226s|120000 | 310 |397817 | 3.3 | 27M| 119 | - |3747 | 10k| 0 | 0 | 89k| 16k|2504 | 0.000000e+00 | 9.000000e+00 | Inf
251.91/251.95 c 243s|130000 | 301 |435378 | 3.3 | 28M| 119 | - |3747 | 12k| 0 | 0 | 91k| 29k|2615 | 0.000000e+00 | 9.000000e+00 | Inf
268.69/268.70 c 259s|140000 | 341 |470010 | 3.4 | 30M| 119 | - |3747 | 16k| 0 | 0 | 92k| 42k|2675 | 0.000000e+00 | 9.000000e+00 | Inf
286.50/286.58 c 276s|150000 | 319 |503635 | 3.4 | 30M| 119 | - |3747 | 16k| 0 | 0 | 94k| 55k|2791 | 0.000000e+00 | 9.000000e+00 | Inf
304.50/304.55 c 293s|160000 | 374 |540308 | 3.4 | 32M| 119 | 20 |3747 | 19k|3747 | 974 | 96k| 68k|2845 | 0.000000e+00 | 9.000000e+00 | Inf
323.40/323.45 c 311s|170000 | 345 |578479 | 3.4 | 31M| 119 | - |3747 | 15k|3747 | 968 | 98k| 81k|2997 | 0.000000e+00 | 9.000000e+00 | Inf
340.40/340.43 o 4
340.40/340.43 c * 327s|178680 | 298 |617737 | 3.5 | 31M| 119 | - |3747 | 17k|3747 | 973 | 102k| 93k|3072 | 0.000000e+00 | 4.000000e+00 | Inf
343.41/343.43 c 330s|180000 | 260 |624634 | 3.5 | 30M| 119 | - |3747 | 16k| 0 | 0 | 103k| 95k|3110 | 0.000000e+00 | 4.000000e+00 | Inf
362.20/362.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.20/362.24 c 348s|190000 | 301 |665225 | 3.5 | 32M| 119 | 13 |3747 | 21k|3747 | 974 | 105k| 108k|3208 | 0.000000e+00 | 4.000000e+00 | Inf
381.61/381.64 c 367s|200000 | 271 |706289 | 3.5 | 32M| 119 | 13 |3747 | 22k|3747 | 974 | 107k| 121k|3310 | 0.000000e+00 | 4.000000e+00 | Inf
401.40/401.44 c 386s|210000 | 300 |744193 | 3.5 | 35M| 119 | 1 |3747 | 27k|3747 | 974 | 109k| 134k|3409 | 0.000000e+00 | 4.000000e+00 | Inf
422.50/422.53 c 406s|220000 | 281 |782245 | 3.6 | 36M| 119 | - |3747 | 31k| 0 | 0 | 110k| 147k|3459 | 0.000000e+00 | 4.000000e+00 | Inf
445.90/445.91 c 429s|230000 | 288 |818308 | 3.6 | 38M| 119 | 10 |3747 | 34k|3747 | 974 | 111k| 162k|3552 | 0.000000e+00 | 4.000000e+00 | Inf
455.10/455.18 o 3
455.10/455.18 c * 438s|234007 | 281 |833385 | 3.6 | 38M| 119 | - |3747 | 33k|3747 | 974 | 112k| 167k|3570 | 0.000000e+00 | 3.000000e+00 | Inf
469.31/469.30 c 452s|240000 | 301 |856897 | 3.6 | 37M| 119 | - |3747 | 31k|3747 | 974 | 113k| 175k|3629 | 0.000000e+00 | 3.000000e+00 | Inf
492.81/492.82 c 474s|250000 | 372 |898324 | 3.6 | 39M| 119 | - |3747 | 35k| 0 | 0 | 114k| 189k|3700 | 0.000000e+00 | 3.000000e+00 | Inf
516.81/516.83 c 497s|260000 | 320 |936554 | 3.6 | 38M| 119 | - |3747 | 33k| 0 | 0 | 115k| 203k|3814 | 0.000000e+00 | 3.000000e+00 | Inf
544.11/544.16 c 524s|270000 | 310 |991560 | 3.7 | 39M| 119 | 20 |3747 | 34k|3747 | 967 | 124k| 216k|3928 | 0.000000e+00 | 3.000000e+00 | Inf
572.51/572.53 c 551s|280000 | 323 | 1045k| 3.7 | 40M| 119 | 22 |3747 | 38k|3747 | 973 | 133k| 230k|4061 | 0.000000e+00 | 3.000000e+00 | Inf
599.81/599.82 c 578s|290000 | 324 | 1088k| 3.8 | 41M| 119 | - |3747 | 40k| 0 | 0 | 137k| 244k|4220 | 0.000000e+00 | 3.000000e+00 | Inf
625.11/625.11 c 602s|300000 | 376 | 1122k| 3.7 | 43M| 119 | 10 |3747 | 43k|3747 | 974 | 138k| 257k|4267 | 0.000000e+00 | 3.000000e+00 | Inf
650.81/650.83 c 627s|310000 | 375 | 1158k| 3.7 | 44M| 119 | - |3747 | 45k| 0 | 0 | 139k| 271k|4314 | 0.000000e+00 | 3.000000e+00 | Inf
678.22/678.27 c 654s|320000 | 320 | 1194k| 3.7 | 42M| 119 | - |3747 | 42k| 0 | 0 | 140k| 285k|4365 | 0.000000e+00 | 3.000000e+00 | Inf
703.31/703.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.31/703.37 c 678s|330000 | 323 | 1230k| 3.7 | 43M| 119 | - |3747 | 43k| 0 | 0 | 141k| 298k|4423 | 0.000000e+00 | 3.000000e+00 | Inf
728.71/728.76 c 703s|340000 | 332 | 1265k| 3.7 | 44M| 119 | - |3747 | 47k|3747 | 974 | 142k| 311k|4481 | 0.000000e+00 | 3.000000e+00 | Inf
760.12/760.19 c 733s|350000 | 328 | 1323k| 3.8 | 43M| 119 | 1 |3747 | 43k|3747 | 972 | 148k| 324k|4684 | 0.000000e+00 | 3.000000e+00 | Inf
790.72/790.77 c 763s|360000 | 315 | 1373k| 3.8 | 44M| 119 | - |3747 | 46k| 0 | 0 | 153k| 338k|4795 | 0.000000e+00 | 3.000000e+00 | Inf
821.52/821.57 c 793s|370000 | 296 | 1426k| 3.9 | 44M| 119 | - |3747 | 46k| 0 | 0 | 159k| 351k|4907 | 0.000000e+00 | 3.000000e+00 | Inf
853.72/853.73 c 824s|380000 | 310 | 1479k| 3.9 | 46M| 119 | 13 |3747 | 51k|3747 | 976 | 165k| 364k|4995 | 0.000000e+00 | 3.000000e+00 | Inf
887.02/887.06 c 857s|390000 | 284 | 1527k| 3.9 | 47M| 119 | 15 |3747 | 53k|3747 | 974 | 169k| 377k|5082 | 0.000000e+00 | 3.000000e+00 | Inf
917.92/917.97 c 887s|400000 | 372 | 1565k| 3.9 | 49M| 119 | - |3747 | 58k| 0 | 0 | 170k| 391k|5150 | 0.000000e+00 | 3.000000e+00 | Inf
949.02/949.07 c 917s|410000 | 363 | 1601k| 3.9 | 51M| 119 | - |3747 | 61k| 0 | 0 | 171k| 405k|5207 | 0.000000e+00 | 3.000000e+00 | Inf
979.03/979.02 c 946s|420000 | 415 | 1641k| 3.9 | 52M| 119 | - |3747 | 64k| 0 | 0 | 172k| 420k|5272 | 0.000000e+00 | 3.000000e+00 | Inf
1011.53/1011.53 c 978s|430000 | 341 | 1679k| 3.9 | 49M| 119 | - |3747 | 56k| 0 | 0 | 173k| 434k|5352 | 0.000000e+00 | 3.000000e+00 | Inf
1042.83/1042.88 c 1009s|440000 | 439 | 1714k| 3.9 | 51M| 119 | 24 |3747 | 59k|3747 | 974 | 174k| 447k|5424 | 0.000000e+00 | 3.000000e+00 | Inf
1076.32/1076.30 c 1041s|450000 | 423 | 1752k| 3.9 | 51M| 119 | 1 |3747 | 58k|3747 | 974 | 176k| 460k|5486 | 0.000000e+00 | 3.000000e+00 | Inf
1110.92/1110.90 c 1075s|460000 | 509 | 1792k| 3.9 | 53M| 119 | 13 |3747 | 61k|3747 | 974 | 177k| 474k|5538 | 0.000000e+00 | 3.000000e+00 | Inf
1144.83/1144.87 c 1108s|470000 | 530 | 1830k| 3.9 | 53M| 119 | 14 |3747 | 61k|3747 | 974 | 179k| 488k|5593 | 0.000000e+00 | 3.000000e+00 | Inf
1177.22/1177.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.22/1177.22 c 1139s|480000 | 465 | 1865k| 3.9 | 53M| 119 | - |3747 | 61k| 0 | 0 | 180k| 502k|5643 | 0.000000e+00 | 3.000000e+00 | Inf
1209.33/1209.35 c 1170s|490000 | 462 | 1904k| 3.9 | 53M| 119 | 1 |3747 | 62k|3747 | 974 | 181k| 517k|5713 | 0.000000e+00 | 3.000000e+00 | Inf
1241.73/1241.70 c 1202s|500000 | 433 | 1941k| 3.9 | 53M| 119 | 18 |3747 | 61k|3747 | 974 | 182k| 531k|5766 | 0.000000e+00 | 3.000000e+00 | Inf
1275.13/1275.14 c 1234s|510000 | 450 | 1978k| 3.9 | 55M| 119 | 18 |3747 | 64k|3747 | 985 | 183k| 545k|5807 | 0.000000e+00 | 3.000000e+00 | Inf
1303.83/1303.87 c 1262s|520000 | 472 | 2015k| 3.9 | 56M| 119 | 12 |3747 | 68k|3747 | 974 | 185k| 561k|5855 | 0.000000e+00 | 3.000000e+00 | Inf
1339.43/1339.41 c 1297s|530000 | 472 | 2053k| 3.9 | 55M| 119 | - |3747 | 65k| 0 | 0 | 186k| 575k|5896 | 0.000000e+00 | 3.000000e+00 | Inf
1374.03/1374.01 c 1330s|540000 | 478 | 2090k| 3.9 | 56M| 119 | 21 |3747 | 67k|3747 | 974 | 188k| 588k|5956 | 0.000000e+00 | 3.000000e+00 | Inf
1412.23/1412.29 c 1368s|550000 | 468 | 2125k| 3.9 | 57M| 119 | - |3747 | 69k|3747 | 984 | 189k| 602k|6014 | 0.000000e+00 | 3.000000e+00 | Inf
1448.44/1448.48 c 1403s|560000 | 544 | 2157k| 3.9 | 58M| 119 | - |3747 | 70k| 0 | 0 | 190k| 616k|6066 | 0.000000e+00 | 3.000000e+00 | Inf
1484.53/1484.57 c 1438s|570000 | 599 | 2192k| 3.8 | 59M| 119 | - |3747 | 73k| 0 | 0 | 191k| 631k|6107 | 0.000000e+00 | 3.000000e+00 | Inf
1523.14/1523.18 c 1476s|580000 | 585 | 2228k| 3.8 | 60M| 119 | 1 |3747 | 73k|3747 | 974 | 192k| 646k|6136 | 0.000000e+00 | 3.000000e+00 | Inf
1559.74/1559.72 c 1511s|590000 | 577 | 2261k| 3.8 | 60M| 119 | 16 |3747 | 74k|3747 | 974 | 193k| 660k|6187 | 0.000000e+00 | 3.000000e+00 | Inf
1599.14/1599.13 c 1550s|600000 | 592 | 2296k| 3.8 | 61M| 119 | 1 |3747 | 75k|3747 | 974 | 195k| 675k|6249 | 0.000000e+00 | 3.000000e+00 | Inf
1636.04/1636.04 c 1586s|610000 | 654 | 2338k| 3.8 | 62M| 119 | 23 |3747 | 75k|3747 | 974 | 196k| 690k|6302 | 0.000000e+00 | 3.000000e+00 | Inf
1670.84/1670.90 c 1620s|620000 | 593 | 2372k| 3.8 | 62M| 119 | - |3747 | 77k| 0 | 0 | 197k| 705k|6341 | 0.000000e+00 | 3.000000e+00 | Inf
1708.14/1708.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.14/1708.15 c 1656s|630000 | 325 | 2408k| 3.8 | 51M| 119 | - |3747 | 56k| 0 | 0 | 199k| 719k|6513 | 0.000000e+00 | 3.000000e+00 | Inf
1745.24/1745.27 c 1692s|640000 | 332 | 2457k| 3.8 | 52M| 119 | - |3747 | 57k| 0 | 0 | 207k| 732k|6631 | 0.000000e+00 | 3.000000e+00 | Inf
1782.84/1782.85 c 1729s|650000 | 335 | 2506k| 3.9 | 54M| 119 | 7 |3747 | 64k|3747 | 964 | 216k| 745k|6677 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1745.56
1800.05/1800.00 c Solving Nodes : 654103
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (171 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.03 s SATISFIABLE
1800.05/1800.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.05/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.03 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.03 v -x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
1800.05/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126
1800.05/1800.03 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.03 v -x104 -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.05/1800.03 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
1800.05/1800.03 v -x54 -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.05/1800.03 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.05/1800.03 v -x1
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Solving Time : 1745.56
1800.05/1800.03 c Original Problem :
1800.05/1800.03 c Problem name : HOME/instance-2692304-1277911938.wbo
1800.05/1800.03 c Variables : 3839 (2035 binary, 0 integer, 0 implicit integer, 1804 continuous)
1800.05/1800.03 c Constraints : 4512 initial, 4512 maximal
1800.05/1800.03 c Presolved Problem :
1800.05/1800.03 c Problem name : t_HOME/instance-2692304-1277911938.wbo
1800.05/1800.03 c Variables : 3747 (1989 binary, 0 integer, 0 implicit integer, 1758 continuous)
1800.05/1800.03 c Constraints : 4390 initial, 77895 maximal
1800.05/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.03 c trivial : 0.00 46 0 0 0 0 0 0 0
1800.05/1800.03 c dualfix : 0.00 46 0 0 0 0 0 0 0
1800.05/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.03 c indicator : 0.00 0 0 0 0 0 46 0 0
1800.05/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c linear : 0.04 0 0 0 1809 0 76 53 0
1800.05/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c root node : - 1716 - - 3432 - - - -
1800.05/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c integral : 0 0 0 439578 0 15 410 0 0 631722
1800.05/1800.03 c indicator : 1758 0 2866412 123204 0 45 808968 0 0 0
1800.05/1800.03 c setppc : 6 6 2819899 86209 0 18356 667241 0 0 0
1800.05/1800.03 c linear : 1758 6 2861479 123161 0 165963 13705767 220209 0 0
1800.05/1800.03 c logicor : 868+ 6 1148472 92966 0 103102 2689401 0 0 0
1800.05/1800.03 c bounddisjunction : 0+ 0 20675 0 0 0 1 0 0 0
1800.05/1800.03 c countsols : 0 0 0 92966 0 0 0 0 0 0
1800.05/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.03 c integral : 18.64 0.00 0.00 18.64 0.00
1800.05/1800.03 c indicator : 19.80 0.00 6.09 13.71 0.00
1800.05/1800.03 c setppc : 5.66 0.00 5.66 0.00 0.00
1800.05/1800.03 c linear : 115.28 0.00 110.81 4.47 0.00
1800.05/1800.03 c logicor : 449.08 0.00 448.24 0.84 0.00
1800.05/1800.03 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.05/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.03 c vbounds : 0.00 2 0 0
1800.05/1800.03 c rootredcost : 0.01 50 0 1716
1800.05/1800.03 c pseudoobj : 93.24 2880759 791 454354
1800.05/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.03 c propagation : 15.13 288212 287746 1815903 28.5 8735 26.3 -
1800.05/1800.03 c infeasible LP : 3.59 12356 12356 102504 42.3 104 18.9 0
1800.05/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c pseudo solution : 0.00 60 60 413 19.3 29 6.0 -
1800.05/1800.03 c applied globally : - - - 750311 22.5 - - -
1800.05/1800.03 c applied locally : - - - 0 0.0 - - -
1800.05/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.03 c cut pool : 0.00 5 - - 15 - (maximal pool size: 138)
1800.05/1800.03 c redcost : 23.28 441128 0 267356 0 0
1800.05/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.03 c intobj : 0.00 0 0 0 0 0
1800.05/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.03 c gomory : 0.15 6 0 0 615 0
1800.05/1800.03 c strongcg : 0.09 6 0 0 91 0
1800.05/1800.03 c cmir : 0.03 6 0 0 0 0
1800.05/1800.03 c flowcover : 0.07 6 0 0 0 0
1800.05/1800.03 c clique : 0.00 6 0 0 0 0
1800.05/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.03 c mcf : 0.00 1 0 0 0 0
1800.05/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.03 c Pricers : Time Calls Vars
1800.05/1800.03 c problem variables: 0.00 0 0
1800.05/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c relpscost : 18.55 316221 15 410 0 0 631722
1800.05/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c inference : 14.48 92917 0 0 0 0 185834
1800.05/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c random : 0.00 0 0 0 0 0 0
1800.05/1800.04 c Primal Heuristics : Time Calls Found
1800.05/1800.04 c LP solutions : 0.17 - 49
1800.05/1800.04 c pseudo solutions : 0.00 - 0
1800.05/1800.04 c feaspump : 0.01 1 0
1800.05/1800.04 c oneopt : 0.20 41 0
1800.05/1800.04 c crossover : 1.09 47 0
1800.05/1800.04 c fracdiving : 3.57 3558 0
1800.05/1800.04 c guideddiving : 3.24 3559 0
1800.05/1800.04 c coefdiving : 3.41 3559 0
1800.05/1800.04 c veclendiving : 3.35 3559 0
1800.05/1800.04 c linesearchdiving : 3.74 3559 0
1800.05/1800.04 c pscostdiving : 3.51 3559 0
1800.05/1800.04 c objpscostdiving : 2.82 2849 0
1800.05/1800.04 c rootsoldiving : 3.65 2849 0
1800.05/1800.04 c trivial : 0.01 2 0
1800.05/1800.04 c simplerounding : 0.42 316442 0
1800.05/1800.04 c zirounding : 0.03 1000 0
1800.05/1800.04 c rounding : 1.48 7869 0
1800.05/1800.04 c shifting : 0.98 2478 0
1800.05/1800.04 c intshifting : 0.00 13 0
1800.05/1800.04 c twoopt : 0.00 0 0
1800.05/1800.04 c fixandinfer : 0.00 0 0
1800.05/1800.04 c intdiving : 0.00 0 0
1800.05/1800.04 c actconsdiving : 0.00 0 0
1800.05/1800.04 c octane : 0.00 0 0
1800.05/1800.04 c rens : 0.02 1 0
1800.05/1800.04 c rins : 0.00 0 0
1800.05/1800.04 c localbranching : 0.00 0 0
1800.05/1800.04 c mutation : 0.00 0 0
1800.05/1800.04 c dins : 0.00 0 0
1800.05/1800.04 c undercover : 0.00 0 0
1800.05/1800.04 c nlp : 0.02 0 0
1800.05/1800.04 c trysol : 1.32 8795 122
1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.04 c dual LP : 398.76 364521 2523262 6.92 6327.77
1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.04 c diving/probing LP: 0.75 607 3445 5.68 4593.33
1800.05/1800.04 c strong branching : 15.66 6709 107712 16.05 6878.16
1800.05/1800.04 c (at root node) : - 33 4603 139.48 -
1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.04 c B&B Tree :
1800.05/1800.04 c number of runs : 1
1800.05/1800.04 c nodes : 654103
1800.05/1800.04 c nodes (total) : 654103
1800.05/1800.04 c nodes left : 383
1800.05/1800.04 c max depth : 119
1800.05/1800.04 c max depth (total): 119
1800.05/1800.04 c backtracks : 66287 (10.1%)
1800.05/1800.04 c delayed cutoffs : 56647
1800.05/1800.04 c repropagations : 1211247 (3542273 domain reductions, 55118 cutoffs)
1800.05/1800.04 c avg switch length: 5.17
1800.05/1800.04 c switching time : 305.88
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 171 (50 improvements)
1800.05/1800.04 c First Solution : +8.85000000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.05/1800.04 c Primal Bound : +3.00000000000000e+00 (in run 1, after 234007 nodes, 437.94 seconds, depth 51, found by <relaxation>)
1800.05/1800.04 c Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Gap : infinite
1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Root Iterations : 337
1800.15/1800.14 c Time complete: 1800.18.