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-2692933-1277911322.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.04/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17 c 1965 implications, 9 cliques
0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17 c 1770 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1770 constraints of type <linear>
0.09/0.17 c 824 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 10 | - | 13M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 88064
0.09/0.19 c y 0.1s| 1 | 0 | 10 | - | 14M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 68 | - | 14M| 0 | 26 |3771 |4373 |3771 | 849 | 16 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 129 | - | 14M| 0 | 33 |3771 |4373 |3771 | 872 | 39 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 176 | - | 14M| 0 | 42 |3771 |4373 |3771 | 882 | 49 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 477 | - | 14M| 0 | 47 |3771 |4373 |3771 | 896 | 63 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.40/0.44 c 0.4s| 1 | 0 | 633 | - | 15M| 0 | 47 |3771 |4373 |3771 | 926 | 93 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.52 c 0.5s| 1 | 0 | 801 | - | 15M| 0 | 58 |3771 |4373 |3771 | 947 | 114 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
2.29/2.31 c 2.2s| 1 | 2 | 801 | - | 15M| 0 | 58 |3771 |4373 |3771 | 947 | 114 | 0 | 33 | 0.000000e+00 | 8.806400e+04 | Inf
14.09/14.17 o 875
14.09/14.17 c *13.9s| 1896 | 1761 | 18161 | 9.2 | 24M| 73 | - |3771 |4374 |3771 | 983 |1991 | 1 | 798 | 0.000000e+00 | 8.750000e+02 | Inf
15.69/15.73 o 862
15.69/15.73 c *15.4s| 2529 | 2377 | 22465 | 8.6 | 26M| 73 | - |3771 |4393 |3771 | 994 |2628 | 20 | 837 | 0.000000e+00 | 8.620000e+02 | Inf
16.69/16.70 o 538
16.69/16.70 c *16.3s| 2968 | 2023 | 24670 | 8.0 | 25M| 73 | - |3771 |4421 |3771 | 980 |2856 | 48 | 871 | 0.000000e+00 | 5.380000e+02 | Inf
17.09/17.19 o 523
17.09/17.19 c *16.8s| 3197 | 2164 | 25741 | 7.8 | 26M| 73 | - |3771 |4533 |3771 | 999 |3044 | 162 | 880 | 0.000000e+00 | 5.230000e+02 | Inf
19.49/19.51 o 474
19.49/19.51 c *19.0s| 4125 | 2564 | 30268 | 7.1 | 28M| 73 | - |3771 |5215 |3771 | 992 |4065 | 961 | 892 | 0.000000e+00 | 4.740000e+02 | Inf
19.60/19.68 o 464
19.60/19.68 c *19.2s| 4188 | 2554 | 30668 | 7.1 | 28M| 73 | - |3771 |5245 |3771 | 988 |4131 |1022 | 893 | 0.000000e+00 | 4.640000e+02 | Inf
19.60/19.69 o 321
19.60/19.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.60/19.69 c *19.2s| 4189 | 1794 | 30668 | 7.1 | 26M| 73 | - |3771 |5245 |3771 | 988 |4131 |1022 | 893 | 0.000000e+00 | 3.210000e+02 | Inf
23.39/23.45 o 320
23.39/23.45 c *22.8s| 5632 | 2892 | 41420 | 7.2 | 30M| 73 | - |3771 |5297 |3771 | 989 |5785 |1678 | 931 | 0.000000e+00 | 3.200000e+02 | Inf
26.40/26.44 o 318
26.40/26.44 c *25.7s| 6518 | 3446 | 56198 | 8.5 | 32M| 73 | - |3771 |5189 |3771 | 940 |7273 |2130 | 942 | 0.000000e+00 | 3.180000e+02 | Inf
27.29/27.39 o 316
27.29/27.39 c f26.6s| 6677 | 3581 | 61836 | 9.1 | 33M| 73 | - |3771 |5103 |3771 | 956 |7667 |2170 | 993 | 0.000000e+00 | 3.160000e+02 | Inf
34.10/34.16 o 299
34.10/34.16 c *33.2s| 8616 | 5077 | 91239 | 10.5 | 38M| 73 | - |3771 |4997 |3771 | 995 | 11k|2921 |1036 | 0.000000e+00 | 2.990000e+02 | Inf
38.69/38.77 o 298
38.69/38.77 c *37.6s| 9674 | 5844 |113215 | 11.6 | 41M| 73 | - |3771 |5044 |3771 | 990 | 14k|3384 |1122 | 0.000000e+00 | 2.980000e+02 | Inf
40.09/40.12 c 38.9s| 10000 | 6104 |121074 | 12.0 | 41M| 73 | 12 |3771 |5087 |3771 | 963 | 15k|3515 |1125 | 0.000000e+00 | 2.980000e+02 | Inf
50.19/50.26 o 289
50.19/50.26 c *48.7s| 12806 | 8118 |163563 | 12.7 | 49M| 73 | - |3771 |5287 |3771 | 983 | 21k|4674 |1223 | 0.000000e+00 | 2.890000e+02 | Inf
61.38/61.40 o 282
61.38/61.40 c *59.5s| 16426 | 10581 |194221 | 11.8 | 57M| 73 | - |3771 |5343 |3771 |1008 | 27k|6386 |1294 | 0.000000e+00 | 2.820000e+02 | Inf
63.59/63.67 o 281
63.59/63.67 c *61.7s| 17010 | 11015 |204288 | 12.0 | 59M| 73 | - |3771 |5287 |3771 | 966 | 28k|6625 |1296 | 0.000000e+00 | 2.810000e+02 | Inf
74.99/75.03 c 72.7s| 20000 | 13080 |257472 | 12.8 | 68M| 73 | 9 |3771 |5528 |3771 | 981 | 35k|8257 |1297 | 0.000000e+00 | 2.810000e+02 | Inf
85.79/85.80 o 223
85.79/85.80 c *83.0s| 23278 | 14014 |292371 | 12.5 | 65M| 73 | - |3771 |5446 |3771 | 981 | 40k|9748 |1298 | 0.000000e+00 | 2.230000e+02 | Inf
89.38/89.49 o 218
89.38/89.49 c *86.6s| 24535 | 14583 |301041 | 12.2 | 68M| 73 | - |3771 |5748 |3771 | 979 | 42k| 10k|1298 | 0.000000e+00 | 2.180000e+02 | Inf
89.49/89.50 o 216
89.49/89.50 c *86.6s| 24536 | 14497 |301041 | 12.2 | 67M| 73 | - |3771 |5748 |3771 | 979 | 42k| 10k|1298 | 0.000000e+00 | 2.160000e+02 | Inf
99.48/99.52 o 208
99.48/99.52 c *96.2s| 28062 | 16068 |325749 | 11.6 | 73M| 73 | - |3771 |5753 |3771 | 981 | 45k| 13k|1298 | 0.000000e+00 | 2.080000e+02 | Inf
105.79/105.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.79/105.82 c 102s| 30000 | 16660 |343329 | 11.4 | 78M| 73 | 0 |3771 |5875 |3771 |1006 | 47k| 14k|1298 | 0.000000e+00 | 2.080000e+02 | Inf
114.40/114.45 o 188
114.40/114.45 c * 111s| 33001 | 17069 |365219 | 11.0 | 79M| 83 | - |3771 |5996 |3771 | 952 | 50k| 17k|1298 | 0.000000e+00 | 1.880000e+02 | Inf
116.60/116.62 o 183
116.60/116.62 c * 113s| 33860 | 17119 |369685 | 10.9 | 79M| 83 | - |3771 |5985 |3771 |1004 | 51k| 17k|1298 | 0.000000e+00 | 1.830000e+02 | Inf
123.38/123.49 o 181
123.38/123.49 c * 119s| 36186 | 18182 |387616 | 10.7 | 85M| 83 | - |3771 |5612 |3771 | 967 | 53k| 19k|1298 | 0.000000e+00 | 1.810000e+02 | Inf
123.49/123.50 o 179
123.49/123.50 c * 119s| 36187 | 18042 |387630 | 10.7 | 85M| 83 | - |3771 |5612 |3771 | 967 | 53k| 19k|1298 | 0.000000e+00 | 1.790000e+02 | Inf
123.49/123.55 o 174
123.49/123.55 c * 119s| 36198 | 17648 |387796 | 10.7 | 83M| 83 | - |3771 |5608 |3771 | 980 | 53k| 19k|1298 | 0.000000e+00 | 1.740000e+02 | Inf
126.99/127.09 o 168
126.99/127.09 c l 123s| 37452 | 17641 |395461 | 10.5 | 85M| 83 | - |3771 |5975 |3771 | 993 | 54k| 20k|1298 | 0.000000e+00 | 1.680000e+02 | Inf
128.29/128.37 o 165
128.29/128.37 c * 124s| 37930 | 17535 |397147 | 10.4 | 85M| 83 | - |3771 |6192 |3771 | 989 | 55k| 21k|1298 | 0.000000e+00 | 1.650000e+02 | Inf
128.29/128.37 o 163
128.29/128.37 c * 124s| 37931 | 17381 |397147 | 10.4 | 84M| 83 | - |3771 |6192 |3771 | 989 | 55k| 21k|1298 | 0.000000e+00 | 1.630000e+02 | Inf
129.79/129.85 o 152
129.79/129.85 c * 125s| 38376 | 16736 |401698 | 10.4 | 82M| 83 | - |3771 |6081 |3771 | 973 | 55k| 21k|1298 | 0.000000e+00 | 1.520000e+02 | Inf
129.79/129.89 o 140
129.79/129.89 c * 125s| 38380 | 15750 |401841 | 10.4 | 78M| 83 | - |3771 |6070 |3771 | 978 | 55k| 21k|1298 | 0.000000e+00 | 1.400000e+02 | Inf
130.09/130.15 o 128
130.09/130.15 c * 126s| 38438 | 14625 |402384 | 10.4 | 73M| 83 | - |3771 |6030 |3771 |1017 | 55k| 21k|1298 | 0.000000e+00 | 1.280000e+02 | Inf
130.18/130.21 o 126
130.18/130.21 c * 126s| 38452 | 14432 |402441 | 10.4 | 72M| 83 | - |3771 |6018 |3771 |1015 | 55k| 21k|1298 | 0.000000e+00 | 1.260000e+02 | Inf
130.18/130.21 o 120
130.18/130.21 c * 126s| 38453 | 13732 |402442 | 10.4 | 68M| 83 | - |3771 |6018 |3771 |1015 | 55k| 21k|1298 | 0.000000e+00 | 1.200000e+02 | Inf
132.19/132.26 o 114
132.19/132.26 c v 128s| 39061 | 13192 |408807 | 10.4 | 68M| 83 | - |3771 |5947 |3771 | 955 | 56k| 21k|1298 | 0.000000e+00 | 1.140000e+02 | Inf
132.69/132.77 o 99
132.69/132.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.69/132.77 c * 128s| 39131 | 11207 |412414 | 10.5 | 61M| 83 | - |3771 |5885 |3771 | 956 | 56k| 21k|1298 | 0.000000e+00 | 9.900000e+01 | Inf
132.79/132.80 o 91
132.79/132.80 c * 128s| 39133 | 10447 |412439 | 10.5 | 58M| 83 | - |3771 |5830 |3771 | 956 | 56k| 21k|1298 | 0.000000e+00 | 9.100000e+01 | Inf
132.79/132.86 o 63
132.79/132.86 c * 128s| 39139 | 7173 |412744 | 10.5 | 47M| 83 | - |3771 |5660 |3771 | 951 | 56k| 21k|1298 | 0.000000e+00 | 6.300000e+01 | Inf
132.99/133.01 o 61
132.99/133.01 c * 128s| 39167 | 6895 |413449 | 10.5 | 47M| 83 | - |3771 |5107 |3771 | 978 | 56k| 22k|1298 | 0.000000e+00 | 6.100000e+01 | Inf
133.19/133.27 o 60
133.19/133.27 c * 129s| 39209 | 6473 |414010 | 10.5 | 46M| 83 | - |3771 |4803 |3771 | 990 | 56k| 22k|1298 | 0.000000e+00 | 6.000000e+01 | Inf
133.29/133.40 o 58
133.29/133.40 c * 129s| 39231 | 6327 |414393 | 10.5 | 46M| 83 | - |3771 |4614 |3771 | 988 | 56k| 22k|1298 | 0.000000e+00 | 5.800000e+01 | Inf
133.59/133.64 o 48
133.59/133.64 c * 129s| 39276 | 5494 |415882 | 10.6 | 43M| 83 | - |3771 |4423 |3771 | 965 | 56k| 22k|1298 | 0.000000e+00 | 4.800000e+01 | Inf
133.69/133.71 o 45
133.69/133.71 c * 129s| 39284 | 3197 |416359 | 10.6 | 36M| 83 | - |3771 |4224 |3771 | 939 | 56k| 22k|1298 | 0.000000e+00 | 4.500000e+01 | Inf
135.59/135.66 c 131s| 40000 | 3123 |425390 | 10.6 | 38M| 83 | - |3771 |4539 | 0 | 0 | 56k| 23k|1298 | 0.000000e+00 | 4.500000e+01 | Inf
156.39/156.44 c 151s| 50000 | 2911 |488067 | 9.7 | 42M| 91 | 1 |3771 |7584 |3771 | 955 | 60k| 36k|1338 | 0.000000e+00 | 4.500000e+01 | Inf
176.79/176.88 c 170s| 60000 | 3039 |536039 | 8.9 | 45M| 91 | - |3771 |9979 | 0 | 0 | 62k| 48k|1374 | 0.000000e+00 | 4.500000e+01 | Inf
198.79/198.85 c 191s| 70000 | 3237 |586988 | 8.4 | 49M| 97 | - |3771 |9018 | 0 | 0 | 65k| 61k|1424 | 0.000000e+00 | 4.500000e+01 | Inf
219.79/219.84 c 211s| 80000 | 3298 |631105 | 7.9 | 52M| 97 | 12 |3771 | 10k|3771 | 966 | 67k| 73k|1495 | 0.000000e+00 | 4.500000e+01 | Inf
241.49/241.52 c 232s| 90000 | 3289 |679912 | 7.5 | 54M| 97 | 1 |3771 |9785 |3771 | 963 | 69k| 86k|1549 | 0.000000e+00 | 4.500000e+01 | Inf
263.09/263.15 c 252s|100000 | 3451 |734051 | 7.3 | 57M| 103 | - |3771 | 10k| 0 | 0 | 72k| 99k|1594 | 0.000000e+00 | 4.500000e+01 | Inf
284.69/284.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.69/284.73 c 273s|110000 | 3488 |788455 | 7.2 | 60M| 103 | 1 |3771 |9494 |3771 | 947 | 75k| 112k|1687 | 0.000000e+00 | 4.500000e+01 | Inf
302.09/302.10 o 44
302.09/302.10 c * 290s|118152 | 3398 |829127 | 7.0 | 62M| 103 | - |3771 | 11k|3771 | 955 | 77k| 123k|1747 | 0.000000e+00 | 4.400000e+01 | Inf
306.39/306.40 c 294s|120000 | 3382 |839361 | 7.0 | 61M| 103 | - |3771 |9347 | 0 | 0 | 78k| 125k|1749 | 0.000000e+00 | 4.400000e+01 | Inf
327.99/328.06 c 314s|130000 | 3460 |892921 | 6.9 | 64M| 103 | - |3771 |9967 | 0 | 0 | 80k| 137k|1801 | 0.000000e+00 | 4.400000e+01 | Inf
348.79/348.83 c 334s|140000 | 3522 |938971 | 6.7 | 67M| 103 | - |3771 | 11k| 0 | 0 | 82k| 150k|1869 | 0.000000e+00 | 4.400000e+01 | Inf
369.50/369.53 c 354s|150000 | 3598 |983444 | 6.6 | 69M| 103 | - |3771 | 12k| 0 | 0 | 84k| 163k|1924 | 0.000000e+00 | 4.400000e+01 | Inf
379.99/380.08 o 42
379.99/380.08 c * 364s|155026 | 3501 | 1005k| 6.5 | 69M| 103 | - |3771 | 11k|3771 | 970 | 86k| 170k|1974 | 0.000000e+00 | 4.200000e+01 | Inf
389.89/389.98 c 373s|160000 | 3605 | 1027k| 6.4 | 70M| 103 | 9 |3771 | 11k|3771 | 979 | 87k| 177k|1977 | 0.000000e+00 | 4.200000e+01 | Inf
411.99/412.05 c 394s|170000 | 3728 | 1087k| 6.4 | 73M| 103 | - |3771 |9887 | 0 | 0 | 89k| 189k|2085 | 0.000000e+00 | 4.200000e+01 | Inf
432.70/432.75 c 414s|180000 | 4135 | 1132k| 6.3 | 77M| 103 | 1 |3771 |9076 |3771 | 965 | 92k| 202k|2133 | 0.000000e+00 | 4.200000e+01 | Inf
454.30/454.30 c 435s|190000 | 4215 | 1186k| 6.2 | 81M| 103 | - |3771 | 10k| 0 | 0 | 94k| 215k|2201 | 0.000000e+00 | 4.200000e+01 | Inf
462.00/462.07 o 41
462.00/462.07 c * 442s|193685 | 4243 | 1203k| 6.2 | 81M| 103 | - |3771 | 11k|3771 | 972 | 95k| 220k|2201 | 0.000000e+00 | 4.100000e+01 | Inf
475.20/475.25 c 454s|200000 | 4292 | 1232k| 6.2 | 83M| 103 | 3 |3771 | 11k|3771 | 955 | 97k| 228k|2243 | 0.000000e+00 | 4.100000e+01 | Inf
496.79/496.81 c 475s|210000 | 4429 | 1279k| 6.1 | 86M| 103 | - |3771 | 11k| 0 | 0 | 100k| 242k|2299 | 0.000000e+00 | 4.100000e+01 | Inf
518.50/518.55 c 496s|220000 | 4402 | 1332k| 6.1 | 87M| 103 | 6 |3771 |8885 |3771 | 967 | 103k| 254k|2368 | 0.000000e+00 | 4.100000e+01 | Inf
519.79/519.87 o 26
519.79/519.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.79/519.87 c * 497s|220599 | 3593 | 1335k| 6.1 | 71M| 103 | - |3771 |8693 |3771 | 957 | 103k| 255k|2368 | 0.000000e+00 | 2.600000e+01 | Inf
519.79/519.88 o 22
519.79/519.88 c * 497s|220600 | 3230 | 1335k| 6.1 | 66M| 103 | - |3771 |8693 |3771 | 957 | 103k| 255k|2368 | 0.000000e+00 | 2.200000e+01 | Inf
538.19/538.25 c 514s|230000 | 3376 | 1399k| 6.1 | 68M| 103 | - |3771 | 11k| 0 | 0 | 106k| 268k|2410 | 0.000000e+00 | 2.200000e+01 | Inf
558.70/558.70 c 534s|240000 | 3437 | 1464k| 6.1 | 70M| 103 | - |3771 |9402 | 0 | 0 | 109k| 281k|2503 | 0.000000e+00 | 2.200000e+01 | Inf
579.20/579.23 c 553s|250000 | 3542 | 1533k| 6.1 | 73M| 103 | - |3771 | 11k| 0 | 0 | 112k| 294k|2560 | 0.000000e+00 | 2.200000e+01 | Inf
600.10/600.18 c 573s|260000 | 3604 | 1599k| 6.1 | 76M| 103 | - |3771 | 14k| 0 | 0 | 115k| 308k|2615 | 0.000000e+00 | 2.200000e+01 | Inf
620.30/620.39 c 593s|270000 | 3426 | 1658k| 6.1 | 74M| 103 | - |3771 |9142 | 0 | 0 | 118k| 322k|2694 | 0.000000e+00 | 2.200000e+01 | Inf
641.69/641.79 c 613s|280000 | 3653 | 1730k| 6.2 | 77M| 103 | - |3771 | 11k| 0 | 0 | 120k| 335k|2785 | 0.000000e+00 | 2.200000e+01 | Inf
643.59/643.66 o 16
643.59/643.66 c * 615s|280840 | 3431 | 1735k| 6.2 | 72M| 103 | - |3771 | 12k|3771 | 960 | 120k| 336k|2785 | 0.000000e+00 | 1.600000e+01 | Inf
643.59/643.68 o 7
643.59/643.68 c * 615s|280841 | 2119 | 1735k| 6.2 | 56M| 103 | - |3771 | 12k|3771 | 960 | 120k| 336k|2785 | 0.000000e+00 | 7.000000e+00 | Inf
661.39/661.41 c 632s|290000 | 2241 | 1805k| 6.2 | 57M| 103 | - |3771 | 10k|3771 | 960 | 123k| 349k|2861 | 0.000000e+00 | 7.000000e+00 | Inf
677.61/677.61 o 6
677.61/677.61 c * 647s|298023 | 2315 | 1868k| 6.3 | 59M| 103 | - |3771 | 14k|3771 | 946 | 125k| 359k|2919 | 0.000000e+00 | 6.000000e+00 | Inf
681.50/681.58 c 651s|300000 | 2344 | 1881k| 6.3 | 59M| 103 | 15 |3771 | 14k|3771 | 940 | 126k| 362k|2919 | 0.000000e+00 | 6.000000e+00 | Inf
685.80/685.81 o 3
685.80/685.81 c * 655s|302168 | 1904 | 1894k| 6.3 | 55M| 103 | - |3771 | 15k|3771 | 951 | 126k| 365k|2961 | 0.000000e+00 | 3.000000e+00 | Inf
701.30/701.33 c 670s|310000 | 1998 | 1944k| 6.3 | 57M| 103 | - |3771 | 18k| 0 | 0 | 128k| 376k|2995 | 0.000000e+00 | 3.000000e+00 | Inf
722.40/722.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.40/722.41 c 690s|320000 | 1991 | 2017k| 6.3 | 58M| 103 | 1 |3771 | 17k|3771 | 963 | 131k| 390k|3054 | 0.000000e+00 | 3.000000e+00 | Inf
744.20/744.22 c 711s|330000 | 2062 | 2091k| 6.3 | 59M| 103 | - |3771 | 17k| 0 | 0 | 134k| 403k|3169 | 0.000000e+00 | 3.000000e+00 | Inf
767.90/767.95 c 733s|340000 | 2228 | 2176k| 6.4 | 62M| 103 | - |3771 | 18k|3771 | 952 | 136k| 417k|3235 | 0.000000e+00 | 3.000000e+00 | Inf
793.71/793.74 c 758s|350000 | 2311 | 2281k| 6.5 | 65M| 103 | - |3771 | 24k| 0 | 0 | 139k| 431k|3339 | 0.000000e+00 | 3.000000e+00 | Inf
818.41/818.45 c 782s|360000 | 2346 | 2373k| 6.6 | 64M| 103 | - |3771 | 17k| 0 | 0 | 141k| 444k|3434 | 0.000000e+00 | 3.000000e+00 | Inf
841.60/841.64 c 804s|370000 | 2472 | 2453k| 6.6 | 67M| 103 | - |3771 | 21k| 0 | 0 | 144k| 459k|3501 | 0.000000e+00 | 3.000000e+00 | Inf
863.51/863.58 c 825s|380000 | 2631 | 2517k| 6.6 | 69M| 103 | - |3771 | 22k| 0 | 0 | 146k| 473k|3563 | 0.000000e+00 | 3.000000e+00 | Inf
885.81/885.89 c 846s|390000 | 2538 | 2605k| 6.7 | 68M| 103 | 1 |3771 | 16k|3771 | 934 | 149k| 486k|3670 | 0.000000e+00 | 3.000000e+00 | Inf
906.30/906.37 c 866s|400000 | 2674 | 2669k| 6.7 | 71M| 103 | 10 |3771 | 22k|3771 | 961 | 152k| 499k|3711 | 0.000000e+00 | 3.000000e+00 | Inf
927.40/927.48 c 886s|410000 | 2731 | 2733k| 6.7 | 73M| 103 | 21 |3771 | 23k|3771 | 962 | 154k| 514k|3767 | 0.000000e+00 | 3.000000e+00 | Inf
951.70/951.73 c 910s|420000 | 2896 | 2823k| 6.7 | 75M| 103 | 16 |3771 | 22k|3771 | 949 | 157k| 528k|3858 | 0.000000e+00 | 3.000000e+00 | Inf
976.00/976.03 c 933s|430000 | 3031 | 2893k| 6.7 | 77M| 103 | - |3771 | 25k| 0 | 0 | 159k| 540k|3923 | 0.000000e+00 | 3.000000e+00 | Inf
1001.01/1001.01 c 957s|440000 | 3113 | 2965k| 6.7 | 79M| 103 | - |3771 | 23k|3771 | 956 | 162k| 554k|3983 | 0.000000e+00 | 3.000000e+00 | Inf
1028.41/1028.44 c 983s|450000 | 3203 | 3056k| 6.8 | 82M| 103 | 11 |3771 | 28k|3771 | 934 | 165k| 568k|4040 | 0.000000e+00 | 3.000000e+00 | Inf
1055.01/1055.05 c 1009s|460000 | 3247 | 3140k| 6.8 | 83M| 103 | 1 |3771 | 28k|3771 | 960 | 167k| 582k|4096 | 0.000000e+00 | 3.000000e+00 | Inf
1082.01/1082.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.01/1082.08 c 1035s|470000 | 3375 | 3212k| 6.8 | 86M| 103 | - |3771 | 30k| 0 | 0 | 169k| 597k|4153 | 0.000000e+00 | 3.000000e+00 | Inf
1111.31/1111.31 c 1063s|480000 | 3483 | 3294k| 6.9 | 88M| 103 | 18 |3771 | 32k|3771 | 962 | 172k| 611k|4213 | 0.000000e+00 | 3.000000e+00 | Inf
1140.31/1140.39 c 1091s|490000 | 3483 | 3369k| 6.9 | 89M| 103 | - |3771 | 33k| 0 | 0 | 174k| 626k|4274 | 0.000000e+00 | 3.000000e+00 | Inf
1169.41/1169.42 c 1119s|500000 | 3582 | 3440k| 6.9 | 91M| 103 | 8 |3771 | 35k|3771 | 966 | 176k| 642k|4326 | 0.000000e+00 | 3.000000e+00 | Inf
1200.02/1200.09 c 1149s|510000 | 3621 | 3519k| 6.9 | 93M| 103 | 21 |3771 | 37k|3771 | 971 | 178k| 657k|4387 | 0.000000e+00 | 3.000000e+00 | Inf
1229.91/1229.98 c 1178s|520000 | 3650 | 3595k| 6.9 | 94M| 103 | - |3771 | 36k| 0 | 0 | 181k| 672k|4443 | 0.000000e+00 | 3.000000e+00 | Inf
1257.61/1257.65 c 1204s|530000 | 3723 | 3671k| 6.9 | 93M| 103 | 5 |3771 | 31k|3771 | 963 | 183k| 685k|4501 | 0.000000e+00 | 3.000000e+00 | Inf
1262.01/1262.06 o 2
1262.01/1262.06 c *1208s|531902 | 3630 | 3683k| 6.9 | 93M| 103 | - |3771 | 33k|3771 | 972 | 184k| 688k|4501 | 0.000000e+00 | 2.000000e+00 | Inf
1284.82/1284.86 c 1230s|540000 | 3734 | 3750k| 6.9 | 94M| 103 | - |3771 | 30k| 0 | 0 | 185k| 699k|4555 | 0.000000e+00 | 2.000000e+00 | Inf
1310.81/1310.81 c 1255s|550000 | 3691 | 3827k| 7.0 | 94M| 103 | - |3771 | 28k| 0 | 0 | 188k| 713k|4611 | 0.000000e+00 | 2.000000e+00 | Inf
1333.72/1333.77 c 1277s|560000 | 3019 | 3910k| 7.0 | 82M| 103 | 18 |3771 |9446 |3771 | 951 | 190k| 727k|4677 | 0.000000e+00 | 2.000000e+00 | Inf
1353.31/1353.30 c 1296s|570000 | 2462 | 3984k| 7.0 | 77M| 103 | 19 |3771 | 12k|3771 | 956 | 192k| 741k|4797 | 0.000000e+00 | 2.000000e+00 | Inf
1374.02/1374.03 c 1315s|580000 | 2557 | 4057k| 7.0 | 80M| 103 | 12 |3771 | 16k|3771 | 964 | 194k| 754k|4845 | 0.000000e+00 | 2.000000e+00 | Inf
1397.51/1397.52 c 1338s|590000 | 2581 | 4143k| 7.0 | 81M| 103 | - |3771 | 17k| 0 | 0 | 197k| 767k|4905 | 0.000000e+00 | 2.000000e+00 | Inf
1421.32/1421.37 c 1361s|600000 | 2674 | 4225k| 7.0 | 84M| 103 | - |3771 | 20k| 0 | 0 | 200k| 780k|4955 | 0.000000e+00 | 2.000000e+00 | Inf
1446.21/1446.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.21/1446.28 c 1384s|610000 | 2725 | 4294k| 7.0 | 86M| 103 | 1 |3771 | 24k|3771 | 934 | 202k| 793k|4988 | 0.000000e+00 | 2.000000e+00 | Inf
1474.11/1474.18 c 1411s|620000 | 2801 | 4374k| 7.1 | 88M| 103 | - |3771 | 26k| 0 | 0 | 205k| 807k|5046 | 0.000000e+00 | 2.000000e+00 | Inf
1503.42/1503.44 c 1439s|630000 | 2889 | 4455k| 7.1 | 90M| 103 | 7 |3771 | 29k|3771 | 934 | 208k| 821k|5107 | 0.000000e+00 | 2.000000e+00 | Inf
1534.02/1534.01 c 1469s|640000 | 3009 | 4526k| 7.1 | 93M| 103 | 7 |3771 | 34k|3771 | 944 | 211k| 834k|5162 | 0.000000e+00 | 2.000000e+00 | Inf
1565.42/1565.49 c 1499s|650000 | 3071 | 4598k| 7.1 | 95M| 103 | 25 |3771 | 33k|3771 | 947 | 214k| 847k|5221 | 0.000000e+00 | 2.000000e+00 | Inf
1597.32/1597.30 c 1530s|660000 | 3155 | 4665k| 7.1 | 97M| 103 | 1 |3771 | 36k|3771 | 948 | 216k| 860k|5249 | 0.000000e+00 | 2.000000e+00 | Inf
1630.92/1630.93 c 1563s|670000 | 3218 | 4743k| 7.1 | 99M| 103 | 1 |3771 | 38k|3771 | 976 | 219k| 874k|5291 | 0.000000e+00 | 2.000000e+00 | Inf
1658.73/1658.70 c 1589s|680000 | 2167 | 4827k| 7.1 | 76M| 103 | 17 |3771 | 10k|3771 | 945 | 222k| 888k|5349 | 0.000000e+00 | 2.000000e+00 | Inf
1681.42/1681.44 c 1611s|690000 | 1968 | 4913k| 7.1 | 73M| 103 | 15 |3771 | 12k|3771 | 944 | 223k| 901k|5412 | 0.000000e+00 | 2.000000e+00 | Inf
1702.92/1702.99 c 1631s|700000 | 1141 | 5002k| 7.1 | 57M| 103 | 21 |3771 | 11k|3771 | 950 | 226k| 915k|5474 | 0.000000e+00 | 2.000000e+00 | Inf
1723.13/1723.13 c 1651s|710000 | 480 | 5081k| 7.2 | 42M| 103 | - |3771 | 13k| 0 | 0 | 229k| 928k|5541 | 0.000000e+00 | 2.000000e+00 | Inf
1744.63/1744.64 c 1671s|720000 | 515 | 5156k| 7.2 | 45M| 103 | 8 |3771 | 18k|3771 | 964 | 232k| 942k|5573 | 0.000000e+00 | 2.000000e+00 | Inf
1767.02/1767.03 c 1692s|730000 | 531 | 5230k| 7.2 | 46M| 103 | - |3771 | 21k|3771 | 954 | 235k| 955k|5605 | 0.000000e+00 | 2.000000e+00 | Inf
1793.23/1793.22 c 1718s|740000 | 537 | 5318k| 7.2 | 49M| 103 | 1 |3771 | 27k|3771 | 971 | 238k| 969k|5659 | 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1724.16
1800.03/1800.00 c Solving Nodes : 742390
1800.03/1800.00 c Primal Bound : +2.00000000000000e+00 (257 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.03 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/1800.03 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.03/1800.03 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.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 -x54
1800.03/1800.03 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.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.03/1800.03 v -x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1724.16
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2692933-1277911322.wbo
1800.03/1800.03 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.03/1800.03 c Constraints : 4547 initial, 4547 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2692933-1277911322.wbo
1800.03/1800.03 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.03/1800.03 c Constraints : 4373 initial, 38954 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.03/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.04 0 0 0 1861 0 105 91 0
1800.03/1800.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c root node : - 1754 - - 3508 - - - -
1800.03/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c integral : 0 0 0 445277 0 23 414 0 0 790324
1800.03/1800.03 c indicator : 1770 0 4148160 49636 0 1126 7740104 0 0 0
1800.03/1800.03 c setppc : 9 6 4155688 48884 0 16174 1089223 0 0 0
1800.03/1800.03 c linear : 1770 6 4146462 49738 0 187038 17989698 239028 0 0
1800.03/1800.03 c logicor : 824+ 6 1436905 18395 0 137037 3562844 0 0 0
1800.03/1800.03 c bounddisjunction : 0+ 0 12420 0 0 0 40 0 0 0
1800.03/1800.03 c countsols : 0 0 0 18395 0 0 0 0 0 0
1800.03/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.03 c integral : 22.63 0.00 0.00 22.63 0.00
1800.03/1800.03 c indicator : 26.33 0.00 21.77 4.56 0.00
1800.03/1800.03 c setppc : 7.98 0.00 7.97 0.01 0.00
1800.03/1800.03 c linear : 143.62 0.00 140.88 2.74 0.00
1800.03/1800.03 c logicor : 266.52 0.00 266.38 0.14 0.00
1800.03/1800.03 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.03/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.03 c vbounds : 0.00 2 0 0
1800.03/1800.03 c rootredcost : 0.00 52 0 1754
1800.03/1800.03 c pseudoobj : 151.88 4183852 20077 5638176
1800.03/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.03 c propagation : 19.05 360326 360151 2186606 26.9 17044 18.6 -
1800.03/1800.03 c infeasible LP : 5.36 19115 19115 159015 40.1 225 16.4 0
1800.03/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c pseudo solution : 0.04 429 429 1995 14.8 239 5.5 -
1800.03/1800.03 c applied globally : - - - 972897 21.8 - - -
1800.03/1800.03 c applied locally : - - - 0 0.0 - - -
1800.03/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.03 c cut pool : 0.00 5 - - 21 - (maximal pool size: 269)
1800.03/1800.03 c redcost : 26.24 452368 0 1976595 0 0
1800.03/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.03 c intobj : 0.00 0 0 0 0 0
1800.03/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.03 c gomory : 0.08 6 0 0 1243 0
1800.03/1800.03 c strongcg : 0.05 6 0 0 67 0
1800.03/1800.03 c cmir : 0.03 6 0 0 0 0
1800.03/1800.03 c flowcover : 0.06 6 0 0 0 0
1800.03/1800.03 c clique : 0.00 6 0 0 0 0
1800.03/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.03 c mcf : 0.01 1 0 0 0 0
1800.03/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.03 c Pricers : Time Calls Vars
1800.03/1800.03 c problem variables: 0.00 0 0
1800.03/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c relpscost : 22.54 395516 23 414 0 0 790324
1800.03/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c inference : 3.28 18347 0 0 0 0 36694
1800.03/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c random : 0.00 0 0 0 0 0 0
1800.03/1800.03 c Primal Heuristics : Time Calls Found
1800.03/1800.03 c LP solutions : 0.10 - 48
1800.03/1800.03 c pseudo solutions : 0.00 - 0
1800.03/1800.03 c feaspump : 0.01 1 0
1800.03/1800.03 c oneopt : 0.25 45 0
1800.03/1800.03 c intshifting : 0.01 28 0
1800.03/1800.03 c crossover : 1.43 59 0
1800.03/1800.03 c linesearchdiving : 1.91 1420 1
1800.03/1800.03 c coefdiving : 2.04 1420 0
1800.03/1800.03 c veclendiving : 1.99 1421 1
1800.03/1800.03 c guideddiving : 1.60 1421 0
1800.03/1800.03 c pscostdiving : 1.97 1421 0
1800.03/1800.03 c fracdiving : 1.88 1421 1
1800.03/1800.03 c rootsoldiving : 1.22 898 0
1800.03/1800.03 c objpscostdiving : 0.98 898 0
1800.03/1800.03 c trivial : 0.01 2 0
1800.03/1800.03 c simplerounding : 0.47 397742 0
1800.03/1800.03 c zirounding : 0.16 1000 0
1800.03/1800.03 c rounding : 2.05 8864 0
1800.03/1800.03 c shifting : 1.45 2811 0
1800.03/1800.03 c twoopt : 0.00 0 0
1800.03/1800.03 c fixandinfer : 0.00 0 0
1800.03/1800.03 c intdiving : 0.00 0 0
1800.03/1800.03 c actconsdiving : 0.00 0 0
1800.03/1800.03 c octane : 0.00 0 0
1800.03/1800.03 c rens : 0.02 1 0
1800.03/1800.03 c rins : 0.00 0 0
1800.03/1800.03 c localbranching : 0.00 0 0
1800.03/1800.03 c mutation : 0.00 0 0
1800.03/1800.03 c dins : 0.00 0 0
1800.03/1800.03 c undercover : 0.00 0 0
1800.03/1800.03 c nlp : 0.00 0 0
1800.03/1800.03 c trysol : 2.01 7650 206
1800.03/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.03 c primal LP : 0.01 0 0 0.00 0.00
1800.03/1800.03 c dual LP : 612.80 453450 5320979 11.73 8683.06
1800.03/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.03 c diving/probing LP: 3.03 2280 16844 7.39 5559.08
1800.03/1800.03 c strong branching : 19.19 5696 206977 36.34 10785.67
1800.03/1800.03 c (at root node) : - 33 17837 540.52 -
1800.03/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.03 c B&B Tree :
1800.03/1800.03 c number of runs : 1
1800.03/1800.03 c nodes : 742390
1800.03/1800.03 c nodes (total) : 742390
1800.03/1800.03 c nodes left : 581
1800.03/1800.03 c max depth : 103
1800.03/1800.03 c max depth (total): 103
1800.03/1800.03 c backtracks : 68490 (9.2%)
1800.03/1800.03 c delayed cutoffs : 58351
1800.03/1800.03 c repropagations : 2149047 (6478078 domain reductions, 51127 cutoffs)
1800.03/1800.03 c avg switch length: 7.21
1800.03/1800.03 c switching time : 241.55
1800.03/1800.03 c Solution :
1800.03/1800.03 c Solutions found : 257 (52 improvements)
1800.03/1800.03 c First Solution : +8.80640000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.03/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 531902 nodes, 1208.47 seconds, depth 40, found by <relaxation>)
1800.03/1800.03 c Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Gap : infinite
1800.03/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Root Iterations : 801
1800.13/1800.11 c Time complete: 1800.13.