0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705599-1278572958.wbo>
0.00/0.03 c original problem has 3967 variables (2099 bin, 0 int, 1868 impl, 0 cont) and 4576 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.03/0.08 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.03/0.09 c (round 3) 49 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.09/0.10 c (round 4) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 138 impls, 5 clqs
0.09/0.10 c (round 5) 114 del vars, 151 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 138 impls, 5 clqs
0.09/0.14 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (6 rounds):
0.09/0.14 c 114 deleted vars, 151 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.14 c 3742 implications, 5 cliques
0.09/0.15 c presolved problem has 3853 variables (2042 bin, 0 int, 1811 impl, 0 cont) and 4425 constraints
0.09/0.15 c 55 constraints of type <setppc>
0.09/0.15 c 1811 constraints of type <linear>
0.09/0.15 c 1811 constraints of type <indicator>
0.09/0.15 c 748 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4425 |3853 | 803 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 58 | - | 14M| 0 | 36 |3853 |4425 |3853 | 820 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 96 | - | 14M| 0 | 39 |3853 |4425 |3853 | 840 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 126 | - | 15M| 0 | 44 |3853 |4425 |3853 | 854 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 171 | - | 15M| 0 | 44 |3853 |4425 |3853 | 871 | 68 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.4s| 1 | 0 | 239 | - | 15M| 0 | 50 |3853 |4425 |3853 | 876 | 73 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 295 | - | 15M| 0 | 43 |3853 |4425 |3853 | 888 | 85 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.80 c 0.8s| 1 | 2 | 295 | - | 15M| 0 | 43 |3853 |4425 |3853 | 888 | 85 | 0 | 17 | 0.000000e+00 | -- | Inf
2.49/2.50 o 92548
2.49/2.50 c y 2.5s| 48 | 47 | 1425 | 24.0 | 16M| 25 | - |3853 |4425 | 0 | 0 | 129 | 0 | 419 | 0.000000e+00 | 9.254800e+04 | Inf
9.80/9.86 o 339
9.80/9.86 c * 9.8s| 5809 | 5400 | 2701 | 0.4 | 27M|1518 | - |3853 |4426 |3853 | 917 | 456 | 1 | 637 | 0.000000e+00 | 3.390000e+02 | Inf
14.89/14.91 o 330
14.89/14.91 c *14.9s| 9379 | 8809 | 4304 | 0.4 | 34M|1518 | - |3853 |4487 |3853 | 936 | 931 | 62 | 781 | 0.000000e+00 | 3.300000e+02 | Inf
14.99/15.01 o 326
14.99/15.01 c *15.0s| 9416 | 8811 | 4382 | 0.4 | 34M|1518 | - |3853 |4496 |3853 | 938 | 943 | 71 | 786 | 0.000000e+00 | 3.260000e+02 | Inf
15.19/15.20 o 317
15.19/15.20 c *15.2s| 9580 | 8825 | 4520 | 0.4 | 35M|1518 | - |3853 |4496 |3853 | 930 | 973 | 71 | 793 | 0.000000e+00 | 3.170000e+02 | Inf
15.39/15.48 o 316
15.39/15.48 c *15.5s| 9758 | 8978 | 4798 | 0.5 | 35M|1518 | - |3853 |4502 |3853 | 950 |1028 | 77 | 810 | 0.000000e+00 | 3.160000e+02 | Inf
15.39/15.49 o 313
15.39/15.49 c *15.5s| 9761 | 8913 | 4808 | 0.5 | 35M|1518 | - |3853 |4502 |3853 | 948 |1028 | 77 | 810 | 0.000000e+00 | 3.130000e+02 | Inf
15.49/15.50 o 299
15.49/15.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.49/15.50 c *15.5s| 9762 | 8669 | 4815 | 0.5 | 35M|1518 | - |3853 |4502 |3853 | 949 |1029 | 77 | 810 | 0.000000e+00 | 2.990000e+02 | Inf
15.89/15.91 c 15.9s| 10000 | 8901 | 5123 | 0.5 | 35M|1518 | 0 |3853 |4512 |3853 | 913 |1074 | 87 | 830 | 0.000000e+00 | 2.990000e+02 | Inf
17.59/17.65 o 284
17.59/17.65 c *17.6s| 11149 | 9678 | 5648 | 0.5 | 37M|1518 | - |3853 |4529 |3853 | 897 |1171 | 104 | 896 | 0.000000e+00 | 2.840000e+02 | Inf
17.59/17.65 o 283
17.59/17.65 c *17.6s| 11150 | 9650 | 5648 | 0.5 | 37M|1518 | - |3853 |4529 |3853 | 897 |1171 | 104 | 896 | 0.000000e+00 | 2.830000e+02 | Inf
17.59/17.69 o 281
17.59/17.69 c *17.7s| 11164 | 9614 | 5688 | 0.5 | 37M|1518 | - |3853 |4529 |3853 | 902 |1172 | 104 | 896 | 0.000000e+00 | 2.810000e+02 | Inf
17.69/17.75 o 271
17.69/17.75 c *17.7s| 11192 | 9387 | 5714 | 0.5 | 37M|1518 | - |3853 |4532 |3853 | 898 |1172 | 107 | 896 | 0.000000e+00 | 2.710000e+02 | Inf
18.40/18.47 o 262
18.40/18.47 c *18.4s| 11638 | 9581 | 6168 | 0.5 | 37M|1518 | - |3853 |4549 |3853 | 926 |1278 | 124 | 930 | 0.000000e+00 | 2.620000e+02 | Inf
18.60/18.67 o 250
18.60/18.67 c *18.6s| 11792 | 9332 | 6479 | 0.5 | 37M|1518 | - |3853 |4549 |3853 | 968 |1347 | 124 | 943 | 0.000000e+00 | 2.500000e+02 | Inf
21.69/21.72 o 246
21.69/21.72 c *21.7s| 12937 | 9890 | 11761 | 0.9 | 41M|1518 | - |3853 |5410 |3853 | 914 |2084 |1031 |1249 | 0.000000e+00 | 2.460000e+02 | Inf
31.09/31.18 o 245
31.09/31.18 c *31.2s| 16858 | 12001 | 28642 | 1.7 | 53M|1518 | - |3853 |7499 |3853 | 917 |5300 |3916 |1554 | 0.000000e+00 | 2.450000e+02 | Inf
31.19/31.27 o 242
31.19/31.27 c *31.2s| 16986 | 12006 | 28683 | 1.7 | 53M|1518 | - |3853 |7499 |3853 | 918 |5301 |3916 |1554 | 0.000000e+00 | 2.420000e+02 | Inf
31.19/31.27 o 234
31.19/31.27 c *31.2s| 16987 | 11666 | 28683 | 1.7 | 52M|1518 | - |3853 |7499 |3853 | 918 |5301 |3916 |1554 | 0.000000e+00 | 2.340000e+02 | Inf
33.58/33.62 o 228
33.58/33.62 c *33.6s| 17946 | 11950 | 33119 | 1.8 | 54M|1518 | - |3853 |7967 |3853 | 935 |6079 |4777 |1605 | 0.000000e+00 | 2.280000e+02 | Inf
34.79/34.87 o 224
34.79/34.87 c *34.8s| 18550 | 12315 | 34629 | 1.9 | 56M|1518 | - |3853 |8127 |3853 | 901 |6348 |5126 |1607 | 0.000000e+00 | 2.240000e+02 | Inf
36.09/36.20 o 222
36.09/36.20 c *36.2s| 19189 | 12714 | 36733 | 1.9 | 58M|1518 | - |3853 |8280 |3853 | 929 |6774 |5447 |1626 | 0.000000e+00 | 2.220000e+02 | Inf
37.49/37.51 o 181
37.49/37.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.49/37.51 c *37.5s| 19765 | 11714 | 38903 | 2.0 | 55M|1518 | - |3853 |8341 |3853 | 922 |7158 |5803 |1641 | 0.000000e+00 | 1.810000e+02 | Inf
37.99/38.03 c 38.0s| 20000 | 11871 | 39881 | 2.0 | 55M|1518 | 0 |3853 |8398 |3853 | 953 |7326 |5943 |1649 | 0.000000e+00 | 1.810000e+02 | Inf
39.38/39.48 o 174
39.38/39.48 c *39.5s| 20615 | 11851 | 42696 | 2.1 | 56M|1518 | - |3853 |8412 |3853 | 903 |7724 |6419 |1655 | 0.000000e+00 | 1.740000e+02 | Inf
40.49/40.57 o 163
40.49/40.57 c *40.5s| 21017 | 11545 | 45112 | 2.1 | 54M|1518 | - |3853 |8369 |3853 | 933 |8151 |6722 |1676 | 0.000000e+00 | 1.630000e+02 | Inf
40.49/40.58 o 146
40.49/40.58 c *40.6s| 21018 | 10713 | 45127 | 2.1 | 51M|1518 | - |3853 |8369 |3853 | 934 |8152 |6722 |1676 | 0.000000e+00 | 1.460000e+02 | Inf
42.79/42.85 o 140
42.79/42.85 c *42.8s| 21842 | 10679 | 50429 | 2.3 | 52M|1518 | - |3853 |8265 |3853 | 907 |8848 |7424 |1703 | 0.000000e+00 | 1.400000e+02 | Inf
42.79/42.89 o 134
42.79/42.89 c *42.9s| 21851 | 10331 | 50601 | 2.3 | 51M|1518 | - |3853 |8258 |3853 | 908 |8849 |7430 |1703 | 0.000000e+00 | 1.340000e+02 | Inf
47.69/47.74 o 125
47.69/47.74 c *47.7s| 23610 | 10585 | 63018 | 2.7 | 55M|1518 | - |3853 |7634 |3853 | 926 | 10k|8812 |1739 | 0.000000e+00 | 1.250000e+02 | Inf
47.89/47.93 o 109
47.89/47.93 c *47.9s| 23670 | 9361 | 63261 | 2.7 | 51M|1518 | - |3853 |7639 |3853 | 932 | 10k|8877 |1741 | 0.000000e+00 | 1.090000e+02 | Inf
48.99/49.01 o 106
48.99/49.01 c *49.0s| 24071 | 9254 | 64336 | 2.7 | 51M|1518 | - |3853 |7550 |3853 | 941 | 11k|9181 |1741 | 0.000000e+00 | 1.060000e+02 | Inf
49.79/49.80 o 105
49.79/49.80 c *49.8s| 24401 | 9401 | 66269 | 2.7 | 52M|1518 | - |3853 |7477 |3853 | 952 | 11k|9350 |1742 | 0.000000e+00 | 1.050000e+02 | Inf
49.79/49.81 o 103
49.79/49.81 c *49.8s| 24402 | 9208 | 66284 | 2.7 | 51M|1518 | - |3853 |7477 |3853 | 952 | 11k|9350 |1742 | 0.000000e+00 | 1.030000e+02 | Inf
49.79/49.88 o 99
49.79/49.88 c *49.9s| 24418 | 8810 | 66644 | 2.7 | 51M|1518 | - |3853 |7466 |3853 | 910 | 11k|9354 |1742 | 0.000000e+00 | 9.900000e+01 | Inf
49.89/49.95 o 97
49.89/49.95 c *49.9s| 24434 | 8601 | 66903 | 2.7 | 50M|1518 | - |3853 |7374 |3853 | 909 | 11k|9362 |1742 | 0.000000e+00 | 9.700000e+01 | Inf
50.09/50.18 o 94
50.09/50.18 c *50.2s| 24538 | 8296 | 67435 | 2.7 | 50M|1518 | - |3853 |7390 |3853 | 919 | 11k|9507 |1742 | 0.000000e+00 | 9.400000e+01 | Inf
50.60/50.62 o 87
50.60/50.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.60/50.62 c *50.6s| 24680 | 7577 | 68169 | 2.8 | 48M|1518 | - |3853 |7250 |3853 | 950 | 11k|9618 |1742 | 0.000000e+00 | 8.700000e+01 | Inf
51.29/51.37 o 84
51.29/51.37 c *51.3s| 24903 | 7332 | 70014 | 2.8 | 47M|1518 | - |3853 |7054 |3853 | 935 | 12k|9760 |1744 | 0.000000e+00 | 8.400000e+01 | Inf
51.29/51.39 o 81
51.29/51.39 c *51.4s| 24909 | 7105 | 70031 | 2.8 | 47M|1518 | - |3853 |6942 |3853 | 935 | 12k|9770 |1744 | 0.000000e+00 | 8.100000e+01 | Inf
51.39/51.40 o 79
51.39/51.40 c *51.4s| 24910 | 6962 | 70034 | 2.8 | 46M|1518 | - |3853 |6942 |3853 | 935 | 12k|9770 |1744 | 0.000000e+00 | 7.900000e+01 | Inf
55.19/55.22 o 68
55.19/55.22 c *55.2s| 26288 | 6237 | 80517 | 3.1 | 46M|1518 | - |3853 |6411 |3853 | 912 | 13k| 11k|1746 | 0.000000e+00 | 6.800000e+01 | Inf
55.19/55.25 o 63
55.19/55.25 c *55.2s| 26298 | 5843 | 80551 | 3.1 | 45M|1518 | - |3853 |6154 |3853 | 912 | 13k| 11k|1746 | 0.000000e+00 | 6.300000e+01 | Inf
56.10/56.14 o 62
56.10/56.14 c *56.1s| 26611 | 5823 | 83009 | 3.1 | 46M|1518 | - |3853 |5700 |3853 | 930 | 13k| 11k|1747 | 0.000000e+00 | 6.200000e+01 | Inf
56.39/56.45 o 45
56.39/56.45 c *56.4s| 26754 | 4502 | 83785 | 3.1 | 41M|1518 | - |3853 |5598 |3853 | 920 | 13k| 11k|1747 | 0.000000e+00 | 4.500000e+01 | Inf
56.99/57.09 o 35
56.99/57.09 c *57.1s| 27084 | 3826 | 85226 | 3.1 | 40M|1518 | - |3853 |5329 |3853 | 928 | 13k| 12k|1747 | 0.000000e+00 | 3.500000e+01 | Inf
57.09/57.13 o 33
57.09/57.13 c *57.1s| 27092 | 3623 | 85279 | 3.1 | 39M|1518 | - |3853 |5127 |3853 | 932 | 13k| 12k|1747 | 0.000000e+00 | 3.300000e+01 | Inf
57.09/57.13 o 32
57.09/57.13 c *57.1s| 27093 | 3345 | 85303 | 3.1 | 37M|1518 | - |3853 |5127 |3853 | 932 | 13k| 12k|1747 | 0.000000e+00 | 3.200000e+01 | Inf
57.29/57.36 o 20
57.29/57.36 c *57.3s| 27243 | 2509 | 85928 | 3.1 | 35M|1518 | - |3853 |5053 |3853 | 943 | 13k| 12k|1747 | 0.000000e+00 | 2.000000e+01 | Inf
57.39/57.43 o 15
57.39/57.43 c *57.4s| 27264 | 2209 | 86242 | 3.2 | 33M|1518 | - |3853 |4843 |3853 | 889 | 13k| 12k|1747 | 0.000000e+00 | 1.500000e+01 | Inf
57.49/57.50 o 14
57.49/57.50 c *57.5s| 27281 | 2171 | 86663 | 3.2 | 33M|1518 | - |3853 |4737 |3853 | 887 | 13k| 12k|1747 | 0.000000e+00 | 1.400000e+01 | Inf
57.59/57.67 o 9
57.59/57.67 c *57.6s| 27361 | 1126 | 87378 | 3.2 | 29M|1518 | - |3853 |4756 |3853 | 926 | 13k| 12k|1747 | 0.000000e+00 | 9.000000e+00 | Inf
61.89/61.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.89/61.92 c 61.9s| 30000 | 925 |105417 | 3.5 | 29M|1518 | 23 |3853 |5242 |3853 | 905 | 14k| 15k|1754 | 0.000000e+00 | 9.000000e+00 | Inf
78.00/78.01 c 78.0s| 40000 | 1080 |160266 | 4.0 | 33M|1518 | - |3853 |9546 | 0 | 0 | 17k| 28k|1754 | 0.000000e+00 | 9.000000e+00 | Inf
95.39/95.48 c 95.5s| 50000 | 1282 |214392 | 4.3 | 35M|1518 | 8 |3853 |9749 |3853 | 881 | 19k| 41k|1877 | 0.000000e+00 | 9.000000e+00 | Inf
113.59/113.63 c 114s| 60000 | 1387 |271492 | 4.5 | 37M|1518 | - |3853 | 11k| 0 | 0 | 22k| 54k|2094 | 0.000000e+00 | 9.000000e+00 | Inf
132.19/132.20 c 132s| 70000 | 1600 |331292 | 4.7 | 40M|1518 | - |3853 | 11k| 0 | 0 | 25k| 67k|2325 | 0.000000e+00 | 9.000000e+00 | Inf
150.20/150.24 c 150s| 80000 | 1746 |383309 | 4.8 | 41M|1518 | - |3853 | 10k|3853 | 890 | 28k| 80k|2497 | 0.000000e+00 | 9.000000e+00 | Inf
168.99/169.04 c 169s| 90000 | 1833 |444307 | 4.9 | 43M|1518 | 1 |3853 |8947 |3853 | 929 | 32k| 93k|2732 | 0.000000e+00 | 9.000000e+00 | Inf
186.69/186.77 c 187s|100000 | 1942 |496370 | 5.0 | 46M|1518 | - |3853 | 11k| 0 | 0 | 34k| 106k|2867 | 0.000000e+00 | 9.000000e+00 | Inf
205.89/205.95 c 206s|110000 | 2081 |560763 | 5.1 | 47M|1518 | - |3853 |9760 | 0 | 0 | 37k| 120k|3061 | 0.000000e+00 | 9.000000e+00 | Inf
225.09/225.19 c 225s|120000 | 2217 |624856 | 5.2 | 50M|1518 | 1 |3853 | 11k|3853 | 910 | 40k| 133k|3235 | 0.000000e+00 | 9.000000e+00 | Inf
246.09/246.14 c 246s|130000 | 2383 |699163 | 5.4 | 51M|1518 | 15 |3853 | 10k|3853 | 892 | 43k| 147k|3429 | 0.000000e+00 | 9.000000e+00 | Inf
266.10/266.15 c 266s|140000 | 2558 |767352 | 5.5 | 54M|1518 | 5 |3853 | 12k|3853 | 915 | 45k| 160k|3565 | 0.000000e+00 | 9.000000e+00 | Inf
285.90/285.91 c 286s|150000 | 2646 |830481 | 5.5 | 56M|1518 | - |3853 | 12k| 0 | 0 | 48k| 174k|3727 | 0.000000e+00 | 9.000000e+00 | Inf
306.20/306.27 c 306s|160000 | 2847 |897530 | 5.6 | 59M|1518 | - |3853 | 13k| 0 | 0 | 51k| 188k|3884 | 0.000000e+00 | 9.000000e+00 | Inf
326.60/326.67 c 327s|170000 | 2858 |964062 | 5.7 | 60M|1518 | 15 |3853 | 13k|3853 | 938 | 53k| 202k|3975 | 0.000000e+00 | 9.000000e+00 | Inf
346.69/346.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.69/346.72 c 347s|180000 | 2872 | 1028k| 5.7 | 60M|1518 | - |3853 | 10k| 0 | 0 | 55k| 216k|4120 | 0.000000e+00 | 9.000000e+00 | Inf
365.40/365.47 c 365s|190000 | 3029 | 1085k| 5.7 | 62M|1518 | - |3853 | 12k| 0 | 0 | 59k| 230k|4214 | 0.000000e+00 | 9.000000e+00 | Inf
384.60/384.60 c 385s|200000 | 3112 | 1142k| 5.7 | 64M|1518 | - |3853 | 14k| 0 | 0 | 62k| 245k|4314 | 0.000000e+00 | 9.000000e+00 | Inf
405.30/405.33 c 405s|210000 | 3082 | 1208k| 5.8 | 65M|1518 | 10 |3853 | 14k|3853 | 945 | 64k| 260k|4448 | 0.000000e+00 | 9.000000e+00 | Inf
426.00/426.08 c 426s|220000 | 3131 | 1273k| 5.8 | 66M|1518 | 14 |3853 | 14k|3853 | 944 | 67k| 274k|4537 | 0.000000e+00 | 9.000000e+00 | Inf
445.50/445.52 c 445s|230000 | 3110 | 1332k| 5.8 | 66M|1518 | - |3853 | 13k| 0 | 0 | 70k| 288k|4661 | 0.000000e+00 | 9.000000e+00 | Inf
465.21/465.21 c 465s|240000 | 3183 | 1393k| 5.8 | 67M|1518 | 18 |3853 | 11k|3853 | 905 | 72k| 302k|4782 | 0.000000e+00 | 9.000000e+00 | Inf
484.10/484.15 c 484s|250000 | 3223 | 1450k| 5.8 | 68M|1518 | - |3853 | 12k| 0 | 0 | 75k| 315k|4893 | 0.000000e+00 | 9.000000e+00 | Inf
503.80/503.86 c 504s|260000 | 3219 | 1519k| 5.8 | 69M|1518 | 15 |3853 | 11k|3853 | 926 | 78k| 329k|5036 | 0.000000e+00 | 9.000000e+00 | Inf
523.10/523.14 c 523s|270000 | 3213 | 1580k| 5.9 | 69M|1518 | - |3853 | 10k| 0 | 0 | 80k| 343k|5122 | 0.000000e+00 | 9.000000e+00 | Inf
542.41/542.41 c 542s|280000 | 3210 | 1636k| 5.8 | 70M|1518 | - |3853 | 12k| 0 | 0 | 83k| 357k|5199 | 0.000000e+00 | 9.000000e+00 | Inf
561.30/561.35 c 561s|290000 | 3206 | 1693k| 5.8 | 71M|1518 | - |3853 | 12k| 0 | 0 | 86k| 371k|5285 | 0.000000e+00 | 9.000000e+00 | Inf
581.00/581.03 c 581s|300000 | 3276 | 1752k| 5.8 | 73M|1518 | - |3853 | 12k| 0 | 0 | 89k| 384k|5383 | 0.000000e+00 | 9.000000e+00 | Inf
600.10/600.17 c 600s|310000 | 3305 | 1803k| 5.8 | 74M|1518 | - |3853 | 13k| 0 | 0 | 92k| 398k|5457 | 0.000000e+00 | 9.000000e+00 | Inf
619.60/619.63 c 620s|320000 | 3336 | 1856k| 5.8 | 74M|1518 | - |3853 | 11k| 0 | 0 | 95k| 411k|5531 | 0.000000e+00 | 9.000000e+00 | Inf
638.60/638.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.60/638.60 c 639s|330000 | 3348 | 1917k| 5.8 | 75M|1518 | - |3853 |9280 | 0 | 0 | 98k| 424k|5615 | 0.000000e+00 | 9.000000e+00 | Inf
658.11/658.15 c 658s|340000 | 3410 | 1976k| 5.8 | 77M|1518 | - |3853 | 12k| 0 | 0 | 101k| 437k|5696 | 0.000000e+00 | 9.000000e+00 | Inf
678.20/678.26 c 678s|350000 | 3486 | 2038k| 5.8 | 78M|1518 | 12 |3853 | 12k|3853 | 935 | 103k| 450k|5768 | 0.000000e+00 | 9.000000e+00 | Inf
698.52/698.52 c 698s|360000 | 3598 | 2100k| 5.8 | 79M|1518 | 1 |3853 | 11k|3853 | 924 | 106k| 464k|5855 | 0.000000e+00 | 9.000000e+00 | Inf
717.81/717.81 c 718s|370000 | 3723 | 2160k| 5.8 | 81M|1518 | 1 |3853 | 11k|3853 | 881 | 109k| 478k|5928 | 0.000000e+00 | 9.000000e+00 | Inf
737.11/737.17 c 737s|380000 | 3801 | 2221k| 5.8 | 83M|1518 | - |3853 |9896 | 0 | 0 | 112k| 492k|5995 | 0.000000e+00 | 9.000000e+00 | Inf
755.62/755.67 c 756s|390000 | 3843 | 2282k| 5.9 | 84M|1518 | - |3853 |9404 | 0 | 0 | 115k| 506k|6061 | 0.000000e+00 | 9.000000e+00 | Inf
774.92/774.96 c 775s|400000 | 3857 | 2343k| 5.9 | 85M|1518 | - |3853 | 10k| 0 | 0 | 118k| 519k|6124 | 0.000000e+00 | 9.000000e+00 | Inf
793.91/793.97 c 794s|410000 | 3897 | 2398k| 5.8 | 86M|1518 | - |3853 | 10k| 0 | 0 | 120k| 533k|6185 | 0.000000e+00 | 9.000000e+00 | Inf
813.41/813.46 c 813s|420000 | 4014 | 2464k| 5.9 | 88M|1518 | 5 |3853 | 12k|3853 | 950 | 124k| 547k|6255 | 0.000000e+00 | 9.000000e+00 | Inf
833.92/833.91 c 834s|430000 | 4036 | 2537k| 5.9 | 89M|1518 | 1 |3853 | 10k|3853 | 959 | 127k| 561k|6334 | 0.000000e+00 | 9.000000e+00 | Inf
853.42/853.40 c 853s|440000 | 4022 | 2600k| 5.9 | 88M|1518 | - |3853 |8407 | 0 | 0 | 130k| 574k|6408 | 0.000000e+00 | 9.000000e+00 | Inf
871.72/871.76 c 872s|450000 | 4216 | 2651k| 5.9 | 91M|1518 | 22 |3853 | 11k|3853 | 891 | 133k| 587k|6458 | 0.000000e+00 | 9.000000e+00 | Inf
891.02/891.09 c 891s|460000 | 4258 | 2709k| 5.9 | 92M|1518 | - |3853 | 10k| 0 | 0 | 136k| 600k|6521 | 0.000000e+00 | 9.000000e+00 | Inf
910.62/910.61 c 911s|470000 | 4438 | 2773k| 5.9 | 94M|1518 | - |3853 | 10k| 0 | 0 | 139k| 613k|6592 | 0.000000e+00 | 9.000000e+00 | Inf
931.21/931.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.21/931.22 c 931s|480000 | 4645 | 2846k| 5.9 | 97M|1518 | - |3853 | 12k| 0 | 0 | 142k| 626k|6677 | 0.000000e+00 | 9.000000e+00 | Inf
951.22/951.22 c 951s|490000 | 4844 | 2914k| 5.9 | 98M|1518 | - |3853 | 10k| 0 | 0 | 145k| 640k|6748 | 0.000000e+00 | 9.000000e+00 | Inf
970.92/970.97 c 971s|500000 | 4941 | 2982k| 6.0 | 100M|1518 | - |3853 | 11k|3853 | 912 | 149k| 653k|6805 | 0.000000e+00 | 9.000000e+00 | Inf
990.72/990.79 c 991s|510000 | 5048 | 3047k| 6.0 | 103M|1518 | 1 |3853 | 12k|3853 | 897 | 152k| 667k|6874 | 0.000000e+00 | 9.000000e+00 | Inf
1011.22/1011.22 c 1011s|520000 | 5093 | 3118k| 6.0 | 105M|1518 | 12 |3853 | 12k|3853 | 897 | 155k| 680k|6939 | 0.000000e+00 | 9.000000e+00 | Inf
1031.12/1031.15 c 1031s|530000 | 5232 | 3177k| 6.0 | 106M|1518 | - |3853 | 12k| 0 | 0 | 158k| 693k|6988 | 0.000000e+00 | 9.000000e+00 | Inf
1051.52/1051.51 c 1051s|540000 | 5329 | 3242k| 6.0 | 108M|1518 | 11 |3853 | 12k|3853 | 896 | 161k| 706k|7053 | 0.000000e+00 | 9.000000e+00 | Inf
1072.43/1072.44 c 1072s|550000 | 5435 | 3312k| 6.0 | 110M|1518 | - |3853 | 13k| 0 | 0 | 165k| 719k|7118 | 0.000000e+00 | 9.000000e+00 | Inf
1092.42/1092.48 c 1092s|560000 | 5624 | 3372k| 6.0 | 112M|1518 | - |3853 | 14k| 0 | 0 | 168k| 733k|7175 | 0.000000e+00 | 9.000000e+00 | Inf
1113.42/1113.46 c 1113s|570000 | 5780 | 3439k| 6.0 | 113M|1518 | 19 |3853 | 12k|3853 | 917 | 172k| 746k|7223 | 0.000000e+00 | 9.000000e+00 | Inf
1133.43/1133.40 c 1133s|580000 | 6083 | 3501k| 6.0 | 116M|1518 | - |3853 | 13k| 0 | 0 | 176k| 760k|7279 | 0.000000e+00 | 9.000000e+00 | Inf
1154.02/1154.07 c 1154s|590000 | 6166 | 3568k| 6.0 | 118M|1518 | 15 |3853 | 14k|3853 | 907 | 179k| 773k|7348 | 0.000000e+00 | 9.000000e+00 | Inf
1175.32/1175.31 c 1175s|600000 | 6209 | 3637k| 6.1 | 118M|1518 | 13 |3853 | 13k|3853 | 913 | 183k| 787k|7404 | 0.000000e+00 | 9.000000e+00 | Inf
1196.03/1196.02 c 1196s|610000 | 6378 | 3706k| 6.1 | 121M|1518 | 9 |3853 | 14k|3853 | 928 | 185k| 800k|7461 | 0.000000e+00 | 9.000000e+00 | Inf
1217.43/1217.43 c 1217s|620000 | 6467 | 3780k| 6.1 | 122M|1518 | - |3853 | 13k| 0 | 0 | 188k| 814k|7532 | 0.000000e+00 | 9.000000e+00 | Inf
1238.32/1238.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.32/1238.32 c 1238s|630000 | 6465 | 3846k| 6.1 | 124M|1518 | - |3853 | 14k| 0 | 0 | 191k| 827k|7584 | 0.000000e+00 | 9.000000e+00 | Inf
1259.12/1259.13 c 1259s|640000 | 6515 | 3908k| 6.1 | 125M|1518 | - |3853 | 14k|3853 | 940 | 194k| 841k|7637 | 0.000000e+00 | 9.000000e+00 | Inf
1280.02/1280.02 c 1280s|650000 | 6656 | 3971k| 6.1 | 127M|1518 | - |3853 | 14k| 0 | 0 | 198k| 854k|7686 | 0.000000e+00 | 9.000000e+00 | Inf
1300.32/1300.39 c 1300s|660000 | 6746 | 4035k| 6.1 | 128M|1518 | - |3853 | 13k| 0 | 0 | 200k| 869k|7737 | 0.000000e+00 | 9.000000e+00 | Inf
1321.04/1321.09 c 1321s|670000 | 6915 | 4101k| 6.1 | 131M|1518 | 15 |3853 | 14k|3853 | 910 | 204k| 882k|7782 | 0.000000e+00 | 9.000000e+00 | Inf
1341.83/1341.80 c 1342s|680000 | 7193 | 4164k| 6.1 | 133M|1518 | - |3853 | 15k|3853 | 922 | 207k| 896k|7823 | 0.000000e+00 | 9.000000e+00 | Inf
1362.13/1362.20 c 1362s|690000 | 7352 | 4223k| 6.1 | 136M|1518 | 1 |3853 | 15k|3853 | 941 | 209k| 909k|7868 | 0.000000e+00 | 9.000000e+00 | Inf
1383.63/1383.61 c 1384s|700000 | 7426 | 4291k| 6.1 | 137M|1518 | - |3853 | 15k| 0 | 0 | 212k| 923k|7918 | 0.000000e+00 | 9.000000e+00 | Inf
1404.83/1404.82 c 1405s|710000 | 7459 | 4358k| 6.1 | 138M|1518 | 1 |3853 | 16k|3853 | 954 | 215k| 936k|7976 | 0.000000e+00 | 9.000000e+00 | Inf
1426.33/1426.32 c 1426s|720000 | 7512 | 4424k| 6.1 | 139M|1518 | 1 |3853 | 14k|3853 | 939 | 218k| 950k|8165 | 0.000000e+00 | 9.000000e+00 | Inf
1448.23/1448.24 c 1448s|730000 | 7633 | 4498k| 6.2 | 141M|1518 | 8 |3853 | 14k|3853 | 920 | 221k| 964k|8177 | 0.000000e+00 | 9.000000e+00 | Inf
1469.23/1469.27 c 1469s|740000 | 7667 | 4566k| 6.2 | 142M|1518 | 18 |3853 | 15k|3853 | 936 | 224k| 977k|8230 | 0.000000e+00 | 9.000000e+00 | Inf
1490.54/1490.57 c 1491s|750000 | 7693 | 4632k| 6.2 | 143M|1518 | 14 |3853 | 14k|3853 | 964 | 227k| 991k|8294 | 0.000000e+00 | 9.000000e+00 | Inf
1512.14/1512.15 c 1512s|760000 | 7753 | 4700k| 6.2 | 145M|1518 | 9 |3853 | 16k|3853 | 944 | 230k|1005k|8351 | 0.000000e+00 | 9.000000e+00 | Inf
1533.04/1533.06 c 1533s|770000 | 7848 | 4760k| 6.2 | 146M|1518 | - |3853 | 14k| 0 | 0 | 232k|1019k|8382 | 0.000000e+00 | 9.000000e+00 | Inf
1553.74/1553.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.74/1553.77 c 1554s|780000 | 7950 | 4828k| 6.2 | 148M|1518 | 1 |3853 | 15k|3853 | 893 | 235k|1034k|8430 | 0.000000e+00 | 9.000000e+00 | Inf
1574.53/1574.54 c 1575s|790000 | 7942 | 4889k| 6.2 | 148M|1518 | - |3853 | 16k|3853 | 919 | 238k|1048k|8622 | 0.000000e+00 | 9.000000e+00 | Inf
1595.84/1595.82 c 1596s|800000 | 8012 | 4958k| 6.2 | 149M|1518 | - |3853 | 13k| 0 | 0 | 241k|1061k|8632 | 0.000000e+00 | 9.000000e+00 | Inf
1616.44/1616.40 c 1616s|810000 | 8066 | 5027k| 6.2 | 149M|1518 | 1 |3853 | 13k|3853 | 954 | 243k|1075k|8694 | 0.000000e+00 | 9.000000e+00 | Inf
1636.54/1636.51 c 1636s|820000 | 8073 | 5089k| 6.2 | 150M|1518 | 1 |3853 | 12k|3853 | 921 | 245k|1090k|8724 | 0.000000e+00 | 9.000000e+00 | Inf
1655.94/1655.90 c 1656s|830000 | 8100 | 5148k| 6.2 | 150M|1518 | 8 |3853 | 11k|3853 | 920 | 248k|1104k|8759 | 0.000000e+00 | 9.000000e+00 | Inf
1675.54/1675.50 c 1675s|840000 | 8101 | 5213k| 6.2 | 151M|1518 | - |3853 |9935 | 0 | 0 | 250k|1118k|8862 | 0.000000e+00 | 9.000000e+00 | Inf
1694.54/1694.51 c 1694s|850000 | 8134 | 5271k| 6.2 | 152M|1518 | - |3853 | 10k| 0 | 0 | 253k|1131k|8881 | 0.000000e+00 | 9.000000e+00 | Inf
1714.05/1714.04 c 1714s|860000 | 8132 | 5328k| 6.2 | 152M|1518 | 17 |3853 | 10k|3853 | 908 | 256k|1145k|8929 | 0.000000e+00 | 9.000000e+00 | Inf
1734.54/1734.50 c 1734s|870000 | 8106 | 5393k| 6.2 | 153M|1518 | 8 |3853 | 11k|3853 | 881 | 259k|1158k|8985 | 0.000000e+00 | 9.000000e+00 | Inf
1754.45/1754.49 c 1754s|880000 | 8133 | 5455k| 6.2 | 154M|1518 | 1 |3853 | 11k|3853 | 916 | 262k|1172k|9035 | 0.000000e+00 | 9.000000e+00 | Inf
1774.04/1774.02 c 1774s|890000 | 8194 | 5512k| 6.2 | 155M|1518 | - |3853 | 11k| 0 | 0 | 264k|1185k|9053 | 0.000000e+00 | 9.000000e+00 | Inf
1790.05/1790.01 c
1790.05/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.01 c Solving Time (sec) : 1789.98
1790.05/1790.01 c Solving Nodes : 897774
1790.05/1790.01 c Primal Bound : +9.00000000000000e+00 (140 solutions)
1790.05/1790.01 c Dual Bound : +0.00000000000000e+00
1790.05/1790.01 c Gap : infinite
1790.05/1790.05 s SATISFIABLE
1790.05/1790.05 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.05/1790.05 v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189
1790.05/1790.05 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.05/1790.05 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146
1790.05/1790.05 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1790.05/1790.05 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1790.05/1790.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
1790.05/1790.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
1790.05/1790.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
1790.05/1790.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
1790.05/1790.05 v -x1
1790.05/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.05 c Solving Time : 1789.98
1790.05/1790.05 c Original Problem :
1790.05/1790.05 c Problem name : HOME/instance-2705599-1278572958.wbo
1790.05/1790.05 c Variables : 3967 (2099 binary, 0 integer, 1868 implicit integer, 0 continuous)
1790.05/1790.05 c Constraints : 4576 initial, 4576 maximal
1790.05/1790.05 c Presolved Problem :
1790.05/1790.05 c Problem name : t_HOME/instance-2705599-1278572958.wbo
1790.05/1790.05 c Variables : 3853 (2042 binary, 0 integer, 1811 implicit integer, 0 continuous)
1790.05/1790.05 c Constraints : 4425 initial, 16982 maximal
1790.05/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.05/1790.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1790.05/1790.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1790.05/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c implics : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c probing : 0.04 0 0 0 0 0 0 0 0
1790.05/1790.05 c setppc : 0.00 0 0 0 0 0 9 0 0
1790.05/1790.05 c linear : 0.05 0 0 0 1876 0 85 67 0
1790.05/1790.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1790.05/1790.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c root node : - 3312 - - 3312 - - - -
1790.05/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.05/1790.05 c integral : 0 0 0 526356 0 75 1035 0 0 947556
1790.05/1790.05 c setppc : 55 6 4967516 48647 0 8547 901419 0 0 0
1790.05/1790.05 c linear : 1811 6 4968022 51529 0 240826 21517987 266670 0 0
1790.05/1790.05 c indicator : 1811 0 4708265 51543 0 668 4138351 0 0 0
1790.05/1790.05 c logicor : 748+ 6 1690865 18053 0 152482 3783588 0 0 0
1790.05/1790.05 c bounddisjunction : 0+ 0 526521 0 0 48 3760 0 0 0
1790.05/1790.05 c countsols : 0 0 0 18053 0 0 0 0 0 0
1790.05/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.05/1790.05 c integral : 21.66 0.00 0.00 21.66 0.00
1790.05/1790.05 c setppc : 8.25 0.00 8.22 0.03 0.00
1790.05/1790.05 c linear : 170.17 0.00 166.74 3.42 0.00
1790.05/1790.05 c indicator : 37.98 0.02 34.73 3.23 0.00
1790.05/1790.05 c logicor : 186.39 0.00 186.19 0.20 0.00
1790.05/1790.05 c bounddisjunction : 6.23 0.00 6.23 0.00 0.00
1790.05/1790.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.05/1790.05 c Propagators : Time Calls Cutoffs DomReds
1790.05/1790.05 c vbounds : 1.44 211759 16 21350
1790.05/1790.05 c rootredcost : 0.80 50 0 1656
1790.05/1790.05 c pseudoobj : 151.47 4986694 9937 4002018
1790.05/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.05/1790.05 c propagation : 20.50 411840 411690 2491366 25.8 11739 24.1 -
1790.05/1790.05 c infeasible LP : 14.02 49255 49255 402547 40.9 645 18.1 0
1790.05/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.05 c pseudo solution : 0.00 1 1 10 34.6 0 0.0 -
1790.05/1790.05 c applied globally : - - - 1196552 22.2 - - -
1790.05/1790.05 c applied locally : - - - 0 0.0 - - -
1790.05/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.05/1790.05 c cut pool : 0.00 5 - - 22 - (maximal pool size: 396)
1790.05/1790.05 c redcost : 40.20 535218 0 245892 0 0
1790.05/1790.05 c impliedbounds : 0.00 6 0 0 0 0
1790.05/1790.05 c intobj : 0.00 0 0 0 0 0
1790.05/1790.05 c cgmip : 0.00 0 0 0 0 0
1790.05/1790.05 c gomory : 0.10 6 0 0 1153 0
1790.05/1790.05 c strongcg : 0.10 6 0 0 1805 0
1790.05/1790.05 c cmir : 0.03 6 0 0 0 0
1790.05/1790.05 c flowcover : 0.05 6 0 0 0 0
1790.05/1790.05 c clique : 0.00 6 0 0 0 0
1790.05/1790.05 c zerohalf : 0.00 0 0 0 0 0
1790.05/1790.05 c mcf : 0.00 1 0 0 0 0
1790.05/1790.05 c rapidlearning : 0.07 1 0 0 0 0
1790.05/1790.05 c Pricers : Time Calls Vars
1790.05/1790.05 c problem variables: 0.00 0 0
1790.05/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.05/1790.05 c relpscost : 21.22 474669 75 1035 0 0 947556
1790.05/1790.05 c pscost : 0.00 0 0 0 0 0 0
1790.05/1790.05 c inference : 4.75 18004 0 0 0 0 36461
1790.05/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1790.05/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1790.05/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.05 c random : 0.00 0 0 0 0 0 0
1790.05/1790.05 c Primal Heuristics : Time Calls Found
1790.05/1790.05 c LP solutions : 0.05 - 49
1790.05/1790.05 c pseudo solutions : 0.00 - 0
1790.05/1790.05 c intshifting : 0.01 0 0
1790.05/1790.05 c feaspump : 0.02 1 0
1790.05/1790.05 c oneopt : 0.43 43 0
1790.05/1790.05 c fracdiving : 0.11 73 0
1790.05/1790.05 c veclendiving : 0.11 73 0
1790.05/1790.05 c linesearchdiving : 0.10 73 0
1790.05/1790.05 c guideddiving : 0.13 73 0
1790.05/1790.05 c coefdiving : 0.11 74 0
1790.05/1790.05 c pscostdiving : 0.12 74 0
1790.05/1790.05 c crossover : 1.06 29 0
1790.05/1790.05 c objpscostdiving : 0.10 61 0
1790.05/1790.05 c rootsoldiving : 0.15 62 0
1790.05/1790.05 c trivial : 0.00 2 0
1790.05/1790.05 c simplerounding : 0.65 476756 0
1790.05/1790.05 c zirounding : 0.34 1000 0
1790.05/1790.05 c rounding : 1.02 9739 0
1790.05/1790.05 c shifting : 0.70 3057 0
1790.05/1790.05 c twoopt : 0.00 0 0
1790.05/1790.05 c fixandinfer : 0.00 0 0
1790.05/1790.05 c intdiving : 0.00 0 0
1790.05/1790.05 c actconsdiving : 0.00 0 0
1790.05/1790.05 c octane : 0.00 0 0
1790.05/1790.05 c rens : 0.02 1 0
1790.05/1790.05 c rins : 0.00 0 0
1790.05/1790.05 c localbranching : 0.00 0 0
1790.05/1790.05 c mutation : 0.00 0 0
1790.05/1790.05 c dins : 0.00 0 0
1790.05/1790.05 c undercover : 0.00 0 0
1790.05/1790.05 c nlp : 0.17 0 0
1790.05/1790.05 c trysol : 0.33 232 91
1790.05/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1790.05/1790.05 c primal LP : 0.00 0 0 0.00 -
1790.05/1790.05 c dual LP : 683.32 559272 5557079 9.94 8132.53
1790.05/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1790.05/1790.05 c barrier LP : 0.00 0 0 0.00 -
1790.05/1790.05 c diving/probing LP: 0.28 140 2006 14.33 7143.95
1790.05/1790.05 c strong branching : 17.52 9101 173226 19.03 9887.69
1790.05/1790.05 c (at root node) : - 17 2682 157.76 -
1790.05/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1790.05/1790.05 c B&B Tree :
1790.05/1790.05 c number of runs : 1
1790.05/1790.05 c nodes : 897774
1790.05/1790.05 c nodes (total) : 897774
1790.05/1790.05 c nodes left : 8272
1790.05/1790.05 c max depth : 1518
1790.05/1790.05 c max depth (total): 1518
1790.05/1790.05 c backtracks : 82017 (9.1%)
1790.05/1790.05 c delayed cutoffs : 59560
1790.05/1790.05 c repropagations : 2183686 (5428418 domain reductions, 55686 cutoffs)
1790.05/1790.05 c avg switch length: 6.53
1790.05/1790.05 c switching time : 235.95
1790.05/1790.05 c Solution :
1790.05/1790.05 c Solutions found : 140 (50 improvements)
1790.05/1790.05 c First Solution : +9.25480000000000e+04 (in run 1, after 47 nodes, 2.46 seconds, depth 26, found by <trysol>)
1790.05/1790.05 c Primal Bound : +9.00000000000000e+00 (in run 1, after 27361 nodes, 57.64 seconds, depth 30, found by <relaxation>)
1790.05/1790.05 c Dual Bound : +0.00000000000000e+00
1790.05/1790.05 c Gap : infinite
1790.05/1790.05 c Root Dual Bound : +0.00000000000000e+00
1790.05/1790.05 c Root Iterations : 295
1790.25/1790.22 c Time complete: 1790.27.