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-2693388-1277900680.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.00/0.06 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.08/0.10 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.08/0.11 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.08/0.12 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.08/0.13 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.08/0.19 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.19 c presolving (6 rounds):
0.08/0.19 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.08/0.19 c 1965 implications, 9 cliques
0.08/0.19 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.08/0.19 c 1770 constraints of type <indicator>
0.08/0.19 c 9 constraints of type <setppc>
0.08/0.19 c 1770 constraints of type <linear>
0.08/0.19 c 824 constraints of type <logicor>
0.08/0.19 c transformed objective value is always integral (scale: 1)
0.08/0.19 c Presolving Time: 0.13
0.08/0.19 c - non default parameters ----------------------------------------------------------------------
0.08/0.19 c # SCIP version 1.2.1.2
0.08/0.19 c
0.08/0.19 c # frequency for displaying node information lines
0.08/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.19 c display/freq = 10000
0.08/0.19 c
0.08/0.19 c # maximal time in seconds to run
0.08/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.19 c limits/time = 1799.97
0.08/0.19 c
0.08/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.19 c limits/memory = 3420
0.08/0.19 c
0.08/0.19 c # should presolving try to simplify inequalities
0.08/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19 c constraints/linear/simplifyinequalities = TRUE
0.08/0.19 c
0.08/0.19 c # should presolving try to simplify knapsacks
0.08/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.19 c
0.08/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.19 c separating/rapidlearning/freq = 0
0.08/0.19 c
0.08/0.19 c -----------------------------------------------------------------------------------------------
0.08/0.19 c start solving
0.08/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.1s| 1 | 0 | 10 | - | 13M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 o 88064
0.19/0.22 c y 0.2s| 1 | 0 | 10 | - | 14M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.23 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.28 c 0.2s| 1 | 0 | 129 | - | 14M| 0 | 33 |3771 |4373 |3771 | 872 | 39 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 176 | - | 14M| 0 | 42 |3771 |4373 |3771 | 882 | 49 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 477 | - | 14M| 0 | 47 |3771 |4373 |3771 | 896 | 63 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.50 c 0.5s| 1 | 0 | 753 | - | 15M| 0 | 39 |3771 |4373 |3771 | 926 | 93 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 900 | - | 15M| 0 | 64 |3771 |4373 |3771 | 957 | 124 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
2.59/2.66 c 2.6s| 1 | 2 | 900 | - | 15M| 0 | 64 |3771 |4373 |3771 | 957 | 124 | 0 | 33 | 0.000000e+00 | 8.806400e+04 | Inf
14.78/14.82 o 749
14.78/14.82 c *14.6s| 1254 | 1219 | 13933 | 10.4 | 21M| 119 | - |3771 |4373 |3771 |1012 | 935 | 0 | 763 | 0.000000e+00 | 7.490000e+02 | Inf
17.79/17.85 o 722
17.79/17.85 c *17.6s| 2389 | 2311 | 22802 | 9.2 | 26M| 119 | - |3771 |4449 |3771 |1023 |1926 | 76 | 816 | 0.000000e+00 | 7.220000e+02 | Inf
23.39/23.49 o 691
23.39/23.49 c *23.2s| 4423 | 4166 | 40794 | 9.0 | 30M| 119 | - |3771 |4671 |3771 | 996 |4395 | 328 | 841 | 0.000000e+00 | 6.910000e+02 | Inf
23.79/23.87 o 689
23.79/23.87 c *23.6s| 4560 | 4276 | 41668 | 8.9 | 31M| 119 | - |3771 |4737 |3771 | 994 |4518 | 397 | 841 | 0.000000e+00 | 6.890000e+02 | Inf
24.09/24.11 o 652
24.09/24.11 c *23.8s| 4660 | 4186 | 42192 | 8.9 | 31M| 119 | - |3771 |4745 |3771 | 994 |4600 | 410 | 842 | 0.000000e+00 | 6.520000e+02 | Inf
24.09/24.16 o 398
24.09/24.16 c *23.8s| 4687 | 2865 | 42228 | 8.8 | 28M| 119 | - |3771 |4750 |3771 | 995 |4614 | 416 | 842 | 0.000000e+00 | 3.980000e+02 | Inf
25.59/25.69 o 390
25.59/25.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.59/25.69 c *25.3s| 5224 | 3140 | 45544 | 8.5 | 29M| 119 | - |3771 |5060 |3771 | 984 |5047 | 807 | 844 | 0.000000e+00 | 3.900000e+02 | Inf
25.79/25.86 o 375
25.79/25.86 c *25.5s| 5285 | 3064 | 45807 | 8.5 | 29M| 119 | - |3771 |5077 |3771 | 987 |5079 | 834 | 844 | 0.000000e+00 | 3.750000e+02 | Inf
26.09/26.19 o 342
26.09/26.19 c *25.8s| 5449 | 2973 | 46138 | 8.3 | 29M| 119 | - |3771 |5154 |3771 |1000 |5140 | 930 | 844 | 0.000000e+00 | 3.420000e+02 | Inf
30.59/30.69 o 334
30.59/30.69 c *30.2s| 6608 | 3755 | 65818 | 9.8 | 33M| 119 | - |3771 |5362 |3771 | 990 |6650 |1560 | 906 | 0.000000e+00 | 3.340000e+02 | Inf
31.49/31.52 o 332
31.49/31.52 c *31.0s| 6797 | 3877 | 70043 | 10.2 | 33M| 119 | - |3771 |5310 |3771 | 979 |7131 |1661 | 911 | 0.000000e+00 | 3.320000e+02 | Inf
31.49/31.53 o 329
31.49/31.53 c *31.0s| 6798 | 3849 | 70044 | 10.2 | 33M| 119 | - |3771 |5310 |3771 | 979 |7131 |1661 | 911 | 0.000000e+00 | 3.290000e+02 | Inf
32.90/32.98 o 325
32.90/32.98 c *32.5s| 7151 | 4074 | 76819 | 10.6 | 34M| 119 | - |3771 |5190 |3771 | 990 |7759 |1795 | 913 | 0.000000e+00 | 3.250000e+02 | Inf
32.90/32.98 o 316
32.90/32.98 c *32.5s| 7152 | 3978 | 76821 | 10.6 | 33M| 119 | - |3771 |5190 |3771 | 990 |7759 |1795 | 913 | 0.000000e+00 | 3.160000e+02 | Inf
35.49/35.56 o 309
35.49/35.56 c *35.0s| 7811 | 4359 | 87033 | 11.0 | 35M| 119 | - |3771 |5142 |3771 | 981 |8948 |2082 | 913 | 0.000000e+00 | 3.090000e+02 | Inf
39.39/39.41 o 307
39.39/39.41 c *38.7s| 8608 | 4886 |103888 | 12.0 | 37M| 119 | - |3771 |5225 |3771 |1023 | 10k|2565 | 991 | 0.000000e+00 | 3.070000e+02 | Inf
44.39/44.47 c 43.7s| 10000 | 5738 |123973 | 12.3 | 40M| 119 | 0 |3771 |5515 |3771 | 985 | 13k|3493 | 995 | 0.000000e+00 | 3.070000e+02 | Inf
45.00/45.01 o 304
45.00/45.01 c *44.2s| 10098 | 5772 |126861 | 12.5 | 41M| 119 | - |3771 |5507 |3771 | 975 | 13k|3535 | 995 | 0.000000e+00 | 3.040000e+02 | Inf
49.59/49.67 o 296
49.59/49.67 c *48.7s| 11198 | 6221 |148330 | 13.2 | 43M| 119 | - |3771 |5822 |3771 | 994 | 15k|4288 |1060 | 0.000000e+00 | 2.960000e+02 | Inf
49.59/49.68 o 289
49.59/49.68 c *48.8s| 11202 | 6125 |148358 | 13.2 | 43M| 119 | - |3771 |5822 |3771 | 995 | 15k|4288 |1060 | 0.000000e+00 | 2.890000e+02 | Inf
49.59/49.69 o 286
49.59/49.69 c *48.8s| 11203 | 6071 |148358 | 13.2 | 42M| 119 | - |3771 |5822 |3771 | 995 | 15k|4288 |1060 | 0.000000e+00 | 2.860000e+02 | Inf
50.99/51.07 o 284
50.99/51.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.99/51.07 c *50.1s| 11693 | 6293 |151900 | 12.9 | 43M| 119 | - |3771 |5844 |3771 |1011 | 16k|4576 |1065 | 0.000000e+00 | 2.840000e+02 | Inf
58.79/58.87 o 275
58.79/58.87 c *57.7s| 13779 | 7144 |183177 | 13.2 | 48M| 119 | - |3771 |5598 |3771 | 989 | 19k|6152 |1141 | 0.000000e+00 | 2.750000e+02 | Inf
59.79/59.83 o 251
59.79/59.83 c *58.7s| 14040 | 6787 |187115 | 13.3 | 45M| 119 | - |3771 |5543 |3771 |1003 | 20k|6269 |1141 | 0.000000e+00 | 2.510000e+02 | Inf
59.79/59.84 o 250
59.79/59.84 c *58.7s| 14041 | 6757 |187116 | 13.3 | 45M| 119 | - |3771 |5543 |3771 |1003 | 20k|6269 |1141 | 0.000000e+00 | 2.500000e+02 | Inf
60.50/60.59 o 249
60.50/60.59 c *59.4s| 14256 | 6823 |190182 | 13.3 | 45M| 119 | - |3771 |5571 |3771 |1001 | 20k|6404 |1144 | 0.000000e+00 | 2.490000e+02 | Inf
61.49/61.50 o 239
61.49/61.50 c *60.3s| 14481 | 6647 |194637 | 13.4 | 44M| 119 | - |3771 |5620 |3771 |1009 | 21k|6563 |1145 | 0.000000e+00 | 2.390000e+02 | Inf
61.69/61.74 o 234
61.69/61.74 c *60.5s| 14538 | 6543 |195401 | 13.4 | 44M| 119 | - |3771 |5616 |3771 |1009 | 21k|6588 |1145 | 0.000000e+00 | 2.340000e+02 | Inf
61.79/61.84 o 232
61.79/61.84 c *60.6s| 14556 | 6510 |196045 | 13.4 | 44M| 119 | - |3771 |5613 |3771 |1003 | 21k|6593 |1145 | 0.000000e+00 | 2.320000e+02 | Inf
61.79/61.87 o 224
61.79/61.87 c *60.7s| 14562 | 6276 |196177 | 13.4 | 42M| 119 | - |3771 |5616 |3771 |1003 | 21k|6599 |1145 | 0.000000e+00 | 2.240000e+02 | Inf
65.69/65.70 o 214
65.69/65.70 c *64.4s| 15684 | 6625 |208545 | 13.2 | 43M| 119 | - |3771 |5625 |3771 | 971 | 22k|7331 |1148 | 0.000000e+00 | 2.140000e+02 | Inf
70.59/70.69 o 210
70.59/70.69 c *69.3s| 17095 | 7090 |226920 | 13.2 | 46M| 119 | - |3771 |5547 |3771 |1024 | 24k|8445 |1214 | 0.000000e+00 | 2.100000e+02 | Inf
71.79/71.86 o 200
71.79/71.86 c *70.4s| 17366 | 6911 |230995 | 13.3 | 45M| 119 | - |3771 |5480 |3771 | 982 | 24k|8602 |1219 | 0.000000e+00 | 2.000000e+02 | Inf
76.19/76.20 o 197
76.19/76.20 c *74.6s| 18689 | 7355 |244328 | 13.0 | 48M| 119 | - |3771 |5575 |3771 | 991 | 26k|9600 |1220 | 0.000000e+00 | 1.970000e+02 | Inf
79.89/79.91 c 78.3s| 20000 | 7798 |253997 | 12.7 | 50M| 119 | - |3771 |5767 | 0 | 0 | 27k| 10k|1220 | 0.000000e+00 | 1.970000e+02 | Inf
87.69/87.71 o 195
87.69/87.71 c *85.9s| 22354 | 8866 |280696 | 12.5 | 56M| 119 | - |3771 |5771 |3771 | 974 | 29k| 12k|1220 | 0.000000e+00 | 1.950000e+02 | Inf
97.60/97.68 o 189
97.60/97.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.60/97.68 c *95.6s| 25418 | 10203 |304294 | 11.9 | 64M| 119 | - |3771 |6164 |3771 | 969 | 34k| 15k|1220 | 0.000000e+00 | 1.890000e+02 | Inf
97.60/97.68 o 183
97.60/97.68 c *95.6s| 25419 | 9952 |304294 | 11.9 | 63M| 119 | - |3771 |6164 |3771 | 969 | 34k| 15k|1220 | 0.000000e+00 | 1.830000e+02 | Inf
104.60/104.63 o 176
104.60/104.63 c * 102s| 27371 | 10320 |329518 | 12.0 | 67M| 119 | - |3771 |5872 |3771 |1024 | 36k| 17k|1220 | 0.000000e+00 | 1.760000e+02 | Inf
108.79/108.81 o 173
108.79/108.81 c * 107s| 28687 | 10594 |341573 | 11.9 | 69M| 119 | - |3771 |5915 |3771 |1005 | 37k| 18k|1220 | 0.000000e+00 | 1.730000e+02 | Inf
108.99/109.00 o 172
108.99/109.00 c * 107s| 28742 | 10575 |342180 | 11.9 | 69M| 119 | - |3771 |5933 |3771 | 982 | 37k| 18k|1220 | 0.000000e+00 | 1.720000e+02 | Inf
109.39/109.45 o 170
109.39/109.45 c * 107s| 28856 | 10573 |343892 | 11.9 | 69M| 119 | - |3771 |5926 |3771 |1019 | 37k| 18k|1220 | 0.000000e+00 | 1.700000e+02 | Inf
110.59/110.60 o 167
110.59/110.60 c * 108s| 29220 | 10513 |346809 | 11.8 | 69M| 119 | - |3771 |5840 |3771 |1004 | 38k| 18k|1220 | 0.000000e+00 | 1.670000e+02 | Inf
112.90/112.96 c 111s| 30000 | 10828 |352021 | 11.7 | 71M| 119 | 1 |3771 |5926 |3771 | 992 | 38k| 19k|1220 | 0.000000e+00 | 1.670000e+02 | Inf
115.59/115.66 o 165
115.59/115.66 c * 113s| 30997 | 10994 |357251 | 11.5 | 72M| 119 | - |3771 |6029 |3771 |1005 | 39k| 20k|1220 | 0.000000e+00 | 1.650000e+02 | Inf
116.40/116.46 o 156
116.40/116.46 c * 114s| 31263 | 10729 |359130 | 11.5 | 71M| 119 | - |3771 |6003 |3771 | 985 | 39k| 20k|1220 | 0.000000e+00 | 1.560000e+02 | Inf
121.29/121.32 o 149
121.29/121.32 c * 119s| 32839 | 10853 |374400 | 11.4 | 73M| 119 | - |3771 |5999 |3771 | 999 | 40k| 22k|1220 | 0.000000e+00 | 1.490000e+02 | Inf
121.70/121.80 o 148
121.70/121.80 c * 119s| 32935 | 10836 |376672 | 11.4 | 73M| 119 | - |3771 |5901 |3771 | 979 | 40k| 22k|1220 | 0.000000e+00 | 1.480000e+02 | Inf
125.09/125.12 o 147
125.09/125.12 c * 122s| 33964 | 11027 |386580 | 11.4 | 74M| 119 | - |3771 |5786 |3771 | 985 | 41k| 23k|1220 | 0.000000e+00 | 1.470000e+02 | Inf
127.50/127.55 o 129
127.50/127.55 c * 125s| 34742 | 10341 |393371 | 11.3 | 69M| 119 | - |3771 |5800 |3771 | 972 | 41k| 23k|1220 | 0.000000e+00 | 1.290000e+02 | Inf
128.60/128.66 o 123
128.60/128.66 c * 126s| 34940 | 10076 |399846 | 11.4 | 69M| 119 | - |3771 |5842 |3771 | 993 | 42k| 23k|1220 | 0.000000e+00 | 1.230000e+02 | Inf
134.29/134.31 o 112
134.29/134.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.29/134.31 c * 131s| 36317 | 9700 |424131 | 11.7 | 70M| 119 | - |3771 |6036 |3771 | 956 | 44k| 25k|1220 | 0.000000e+00 | 1.120000e+02 | Inf
135.59/135.70 o 103
135.59/135.70 c * 133s| 36727 | 9187 |427920 | 11.6 | 67M| 119 | - |3771 |6187 |3771 | 979 | 45k| 25k|1220 | 0.000000e+00 | 1.030000e+02 | Inf
136.30/136.40 o 72
136.30/136.40 c * 133s| 36890 | 6983 |430679 | 11.7 | 53M| 119 | - |3771 |6205 |3771 | 969 | 45k| 25k|1220 | 0.000000e+00 | 7.200000e+01 | Inf
136.59/136.68 o 71
136.59/136.68 c * 134s| 36950 | 6950 |431892 | 11.7 | 53M| 119 | - |3771 |5643 |3771 | 985 | 45k| 25k|1220 | 0.000000e+00 | 7.100000e+01 | Inf
136.80/136.80 o 63
136.80/136.80 c * 134s| 36986 | 6346 |432076 | 11.7 | 50M| 119 | - |3771 |5576 |3771 | 990 | 45k| 25k|1220 | 0.000000e+00 | 6.300000e+01 | Inf
136.99/137.08 o 51
136.99/137.08 c * 134s| 37047 | 5414 |432803 | 11.7 | 45M| 119 | - |3771 |5282 |3771 |1001 | 45k| 25k|1220 | 0.000000e+00 | 5.100000e+01 | Inf
136.99/137.09 o 47
136.99/137.09 c * 134s| 37048 | 5274 |432805 | 11.7 | 44M| 119 | - |3771 |5282 |3771 |1001 | 45k| 25k|1220 | 0.000000e+00 | 4.700000e+01 | Inf
137.89/137.94 o 45
137.89/137.94 c * 135s| 37326 | 3665 |435551 | 11.6 | 39M| 119 | - |3771 |4748 |3771 | 964 | 45k| 26k|1220 | 0.000000e+00 | 4.500000e+01 | Inf
144.80/144.87 c 142s| 40000 | 3652 |461526 | 11.5 | 42M| 119 | - |3771 |5163 | 0 | 0 | 46k| 29k|1220 | 0.000000e+00 | 4.500000e+01 | Inf
166.99/167.00 c 163s| 50000 | 3696 |521324 | 10.4 | 46M| 119 | - |3771 |7224 |3771 | 961 | 49k| 42k|1235 | 0.000000e+00 | 4.500000e+01 | Inf
189.50/189.57 c 185s| 60000 | 3734 |578275 | 9.6 | 50M| 119 | - |3771 |7729 | 0 | 0 | 51k| 55k|1289 | 0.000000e+00 | 4.500000e+01 | Inf
211.69/211.75 c 207s| 70000 | 4049 |626040 | 8.9 | 55M| 119 | - |3771 |7940 | 0 | 0 | 53k| 67k|1367 | 0.000000e+00 | 4.500000e+01 | Inf
234.69/234.79 c 229s| 80000 | 4574 |695187 | 8.7 | 62M| 119 | 1 |3771 |8112 |3771 | 964 | 56k| 79k|1418 | 0.000000e+00 | 4.500000e+01 | Inf
247.50/247.51 o 42
247.50/247.51 c * 242s| 85561 | 4298 |728985 | 8.5 | 61M| 119 | - |3771 |7449 |3771 | 956 | 58k| 85k|1473 | 0.000000e+00 | 4.200000e+01 | Inf
257.30/257.35 c 251s| 90000 | 4538 |750188 | 8.3 | 63M| 119 | 1 |3771 |7893 |3771 | 940 | 59k| 91k|1522 | 0.000000e+00 | 4.200000e+01 | Inf
259.60/259.66 o 34
259.60/259.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.60/259.66 c * 254s| 91066 | 4383 |756260 | 8.3 | 62M| 119 | - |3771 |7883 |3771 | 952 | 59k| 92k|1525 | 0.000000e+00 | 3.400000e+01 | Inf
280.09/280.13 c 274s|100000 | 4671 |816246 | 8.2 | 67M| 119 | 9 |3771 |8292 |3771 | 970 | 61k| 103k|1589 | 0.000000e+00 | 3.400000e+01 | Inf
301.79/301.86 c 295s|110000 | 5004 |870361 | 7.9 | 72M| 119 | - |3771 |9134 |3771 |1003 | 63k| 116k|1634 | 0.000000e+00 | 3.400000e+01 | Inf
323.70/323.75 c 316s|120000 | 5213 |922085 | 7.7 | 75M| 119 | - |3771 |8446 | 0 | 0 | 65k| 128k|1692 | 0.000000e+00 | 3.400000e+01 | Inf
346.10/346.10 c 338s|130000 | 5533 |979902 | 7.5 | 80M| 119 | - |3771 |9103 | 0 | 0 | 67k| 141k|1786 | 0.000000e+00 | 3.400000e+01 | Inf
368.30/368.35 c 360s|140000 | 5833 | 1040k| 7.4 | 84M| 119 | 17 |3771 |8104 |3771 | 940 | 69k| 154k|1835 | 0.000000e+00 | 3.400000e+01 | Inf
390.29/390.39 c 381s|150000 | 5968 | 1098k| 7.3 | 88M| 119 | 1 |3771 |7908 |3771 | 979 | 72k| 167k|1922 | 0.000000e+00 | 3.400000e+01 | Inf
411.70/411.77 c 402s|160000 | 6166 | 1148k| 7.2 | 91M| 119 | 1 |3771 |8704 |3771 | 960 | 74k| 179k|1983 | 0.000000e+00 | 3.400000e+01 | Inf
434.41/434.47 c 424s|170000 | 6397 | 1204k| 7.1 | 97M| 119 | 1 |3771 | 10k|3771 | 973 | 76k| 192k|2042 | 0.000000e+00 | 3.400000e+01 | Inf
457.00/457.08 c 446s|180000 | 6586 | 1261k| 7.0 | 101M| 119 | - |3771 |8748 | 0 | 0 | 78k| 205k|2096 | 0.000000e+00 | 3.400000e+01 | Inf
479.10/479.14 c 468s|190000 | 6802 | 1311k| 6.9 | 104M| 119 | 13 |3771 |9852 |3771 | 968 | 80k| 218k|2159 | 0.000000e+00 | 3.400000e+01 | Inf
501.60/501.66 c 489s|200000 | 6954 | 1361k| 6.8 | 108M| 119 | 1 |3771 |9662 |3771 | 964 | 82k| 232k|2215 | 0.000000e+00 | 3.400000e+01 | Inf
502.90/502.97 o 31
502.90/502.97 c * 491s|200546 | 6642 | 1365k| 6.8 | 102M| 119 | - |3771 |9479 |3771 | 974 | 82k| 233k|2215 | 0.000000e+00 | 3.100000e+01 | Inf
525.20/525.23 c 512s|210000 | 6944 | 1425k| 6.8 | 108M| 119 | 1 |3771 | 10k|3771 | 940 | 84k| 245k|2275 | 0.000000e+00 | 3.100000e+01 | Inf
537.40/537.44 o 28
537.40/537.44 c * 524s|215441 | 6921 | 1461k| 6.8 | 107M| 119 | - |3771 |9918 |3771 | 988 | 85k| 251k|2334 | 0.000000e+00 | 2.800000e+01 | Inf
547.20/547.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.20/547.26 c 534s|220000 | 6961 | 1490k| 6.8 | 108M| 119 | - |3771 |8268 | 0 | 0 | 86k| 258k|2365 | 0.000000e+00 | 2.800000e+01 | Inf
556.60/556.66 o 18
556.60/556.66 c * 542s|224637 | 6577 | 1518k| 6.8 | 103M| 119 | - |3771 |9513 |3771 | 986 | 87k| 264k|2399 | 0.000000e+00 | 1.800000e+01 | Inf
568.49/568.50 c 554s|230000 | 6604 | 1565k| 6.8 | 104M| 119 | 1 |3771 |8204 |3771 | 974 | 89k| 271k|2472 | 0.000000e+00 | 1.800000e+01 | Inf
589.10/589.12 c 574s|240000 | 6723 | 1641k| 6.8 | 107M| 119 | 28 |3771 |7484 |3771 | 975 | 90k| 285k|2543 | 0.000000e+00 | 1.800000e+01 | Inf
610.29/610.33 c 594s|250000 | 6948 | 1726k| 6.9 | 112M| 119 | 11 |3771 |9827 |3771 | 955 | 92k| 298k|2629 | 0.000000e+00 | 1.800000e+01 | Inf
630.70/630.75 c 613s|260000 | 7101 | 1794k| 6.9 | 115M| 119 | - |3771 |7862 | 0 | 0 | 95k| 312k|2709 | 0.000000e+00 | 1.800000e+01 | Inf
651.50/651.56 c 633s|270000 | 7304 | 1874k| 6.9 | 119M| 119 | 13 |3771 |9086 |3771 | 980 | 97k| 325k|2800 | 0.000000e+00 | 1.800000e+01 | Inf
671.78/671.85 c 652s|280000 | 7312 | 1948k| 7.0 | 121M| 119 | - |3771 |8144 | 0 | 0 | 99k| 339k|2889 | 0.000000e+00 | 1.800000e+01 | Inf
691.28/691.35 c 671s|290000 | 7390 | 2014k| 6.9 | 124M| 119 | 15 |3771 | 10k|3771 | 963 | 101k| 352k|2962 | 0.000000e+00 | 1.800000e+01 | Inf
711.97/712.05 c 691s|300000 | 7179 | 2088k| 7.0 | 123M| 119 | - |3771 |7677 | 0 | 0 | 104k| 366k|3060 | 0.000000e+00 | 1.800000e+01 | Inf
732.16/732.22 c 710s|310000 | 7267 | 2159k| 7.0 | 125M| 119 | 23 |3771 |8921 |3771 | 949 | 106k| 379k|3118 | 0.000000e+00 | 1.800000e+01 | Inf
752.16/752.28 c 729s|320000 | 7215 | 2232k| 7.0 | 126M| 119 | 1 |3771 |8232 |3771 | 973 | 109k| 392k|3207 | 0.000000e+00 | 1.800000e+01 | Inf
771.46/771.58 c 747s|330000 | 7323 | 2291k| 6.9 | 129M| 119 | 1 |3771 | 10k|3771 | 966 | 111k| 405k|3278 | 0.000000e+00 | 1.800000e+01 | Inf
791.16/791.26 c 766s|340000 | 7253 | 2353k| 6.9 | 129M| 119 | 1 |3771 |8628 |3771 | 968 | 113k| 418k|3344 | 0.000000e+00 | 1.800000e+01 | Inf
811.25/811.30 c 785s|350000 | 7246 | 2420k| 6.9 | 130M| 119 | 1 |3771 |6949 |3771 | 963 | 115k| 431k|3416 | 0.000000e+00 | 1.800000e+01 | Inf
833.14/833.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.14/833.25 c 806s|360000 | 7312 | 2511k| 7.0 | 132M| 119 | - |3771 |7367 | 0 | 0 | 117k| 444k|3536 | 0.000000e+00 | 1.800000e+01 | Inf
852.15/852.23 c 824s|370000 | 7275 | 2576k| 7.0 | 134M| 119 | 20 |3771 |8752 |3771 | 940 | 120k| 457k|3591 | 0.000000e+00 | 1.800000e+01 | Inf
871.14/871.22 c 842s|380000 | 7396 | 2634k| 6.9 | 137M| 119 | 1 |3771 | 12k|3771 | 962 | 123k| 470k|3640 | 0.000000e+00 | 1.800000e+01 | Inf
892.24/892.39 c 862s|390000 | 7580 | 2698k| 6.9 | 140M| 119 | 1 |3771 | 14k|3771 | 950 | 125k| 483k|3701 | 0.000000e+00 | 1.800000e+01 | Inf
905.73/905.84 o 15
905.73/905.84 c g 875s|396349 | 6410 | 2738k| 6.9 | 110M| 119 | - |3771 | 12k|3771 | 966 | 126k| 492k|3758 | 0.000000e+00 | 1.500000e+01 | Inf
912.84/912.98 c 882s|400000 | 6458 | 2757k| 6.9 | 111M| 119 | 18 |3771 | 13k|3771 | 964 | 127k| 496k|3764 | 0.000000e+00 | 1.500000e+01 | Inf
933.84/933.91 c 902s|410000 | 6597 | 2816k| 6.9 | 113M| 119 | 17 |3771 | 13k|3771 | 960 | 129k| 511k|3810 | 0.000000e+00 | 1.500000e+01 | Inf
953.64/953.75 c 921s|420000 | 6642 | 2877k| 6.8 | 114M| 119 | 1 |3771 | 11k|3771 | 940 | 131k| 525k|3876 | 0.000000e+00 | 1.500000e+01 | Inf
973.13/973.29 c 939s|430000 | 6133 | 2930k| 6.8 | 109M| 119 | 1 |3771 |7432 |3771 | 963 | 133k| 540k|3938 | 0.000000e+00 | 1.500000e+01 | Inf
991.83/991.99 c 958s|440000 | 6182 | 2988k| 6.8 | 111M| 119 | - |3771 | 10k| 0 | 0 | 135k| 554k|3980 | 0.000000e+00 | 1.500000e+01 | Inf
1011.53/1011.68 c 977s|450000 | 6179 | 3059k| 6.8 | 111M| 119 | 1 |3771 |8949 |3771 | 977 | 137k| 567k|4081 | 0.000000e+00 | 1.500000e+01 | Inf
1030.12/1030.29 c 995s|460000 | 5949 | 3117k| 6.8 | 110M| 119 | - |3771 |8698 | 0 | 0 | 139k| 581k|4132 | 0.000000e+00 | 1.500000e+01 | Inf
1039.52/1039.64 o 14
1039.52/1039.64 c *1004s|464962 | 5974 | 3144k| 6.8 | 111M| 119 | - |3771 |9490 |3771 | 954 | 140k| 587k|4156 | 0.000000e+00 | 1.400000e+01 | Inf
1049.82/1049.90 c 1014s|470000 | 5774 | 3180k| 6.8 | 108M| 119 | 12 |3771 |5404 |3771 | 953 | 141k| 594k|4211 | 0.000000e+00 | 1.400000e+01 | Inf
1067.22/1067.33 c 1031s|480000 | 5917 | 3234k| 6.7 | 111M| 119 | - |3771 |8199 | 0 | 0 | 143k| 607k|4269 | 0.000000e+00 | 1.400000e+01 | Inf
1082.72/1082.88 o 8
1082.72/1082.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.72/1082.88 c *1046s|488095 | 5575 | 3285k| 6.7 | 104M| 119 | - |3771 | 11k|3771 | 985 | 144k| 617k|4295 | 0.000000e+00 | 8.000000e+00 | Inf
1086.82/1086.98 c 1050s|490000 | 5652 | 3300k| 6.7 | 104M| 119 | 8 |3771 | 12k|3771 | 974 | 145k| 620k|4328 | 0.000000e+00 | 8.000000e+00 | Inf
1108.12/1108.20 c 1071s|500000 | 5771 | 3371k| 6.7 | 107M| 119 | 18 |3771 | 15k|3771 | 998 | 146k| 633k|4369 | 0.000000e+00 | 8.000000e+00 | Inf
1129.53/1129.70 c 1092s|510000 | 5797 | 3444k| 6.8 | 108M| 119 | 1 |3771 | 13k|3771 | 977 | 148k| 647k|4422 | 0.000000e+00 | 8.000000e+00 | Inf
1153.02/1153.13 c 1114s|520000 | 6030 | 3529k| 6.8 | 111M| 119 | 18 |3771 | 16k|3771 | 972 | 151k| 660k|4496 | 0.000000e+00 | 8.000000e+00 | Inf
1176.12/1176.25 c 1137s|530000 | 6090 | 3600k| 6.8 | 113M| 119 | - |3771 | 18k| 0 | 0 | 153k| 674k|4541 | 0.000000e+00 | 8.000000e+00 | Inf
1198.72/1198.89 c 1159s|540000 | 6158 | 3672k| 6.8 | 114M| 119 | - |3771 | 16k| 0 | 0 | 155k| 689k|4627 | 0.000000e+00 | 8.000000e+00 | Inf
1221.22/1221.36 c 1181s|550000 | 6276 | 3735k| 6.8 | 116M| 119 | 17 |3771 | 16k|3771 | 972 | 157k| 702k|4684 | 0.000000e+00 | 8.000000e+00 | Inf
1243.22/1243.35 c 1202s|560000 | 6413 | 3799k| 6.8 | 118M| 119 | - |3771 | 17k| 0 | 0 | 159k| 716k|4728 | 0.000000e+00 | 8.000000e+00 | Inf
1264.12/1264.24 c 1223s|570000 | 6512 | 3858k| 6.8 | 119M| 119 | - |3771 | 14k| 0 | 0 | 161k| 730k|4749 | 0.000000e+00 | 8.000000e+00 | Inf
1284.82/1284.92 c 1243s|580000 | 6613 | 3921k| 6.8 | 120M| 119 | 15 |3771 | 14k|3771 | 971 | 163k| 743k|4849 | 0.000000e+00 | 8.000000e+00 | Inf
1306.31/1306.41 c 1264s|590000 | 6756 | 3989k| 6.8 | 123M| 119 | 20 |3771 | 16k|3771 | 977 | 165k| 757k|4893 | 0.000000e+00 | 8.000000e+00 | Inf
1328.22/1328.35 c 1285s|600000 | 6820 | 4060k| 6.8 | 125M| 119 | 1 |3771 | 17k|3771 | 987 | 167k| 772k|4919 | 0.000000e+00 | 8.000000e+00 | Inf
1350.91/1351.02 c 1308s|610000 | 6941 | 4135k| 6.8 | 126M| 119 | - |3771 | 16k| 0 | 0 | 168k| 786k|4997 | 0.000000e+00 | 8.000000e+00 | Inf
1371.71/1371.89 c 1328s|620000 | 7131 | 4200k| 6.8 | 129M| 119 | - |3771 | 15k| 0 | 0 | 170k| 801k|5063 | 0.000000e+00 | 8.000000e+00 | Inf
1392.52/1392.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.52/1392.65 c 1348s|630000 | 7287 | 4263k| 6.8 | 131M| 119 | - |3771 | 15k|3771 | 979 | 172k| 815k|5089 | 0.000000e+00 | 8.000000e+00 | Inf
1395.12/1395.22 o 7
1395.12/1395.22 c *1351s|631127 | 7224 | 4273k| 6.8 | 130M| 119 | - |3771 | 14k|3771 | 976 | 172k| 816k|5107 | 0.000000e+00 | 7.000000e+00 | Inf
1412.92/1413.09 c 1368s|640000 | 7343 | 4329k| 6.8 | 130M| 119 | 1 |3771 | 12k|3771 | 982 | 174k| 829k|5145 | 0.000000e+00 | 7.000000e+00 | Inf
1434.32/1434.43 c 1389s|650000 | 7680 | 4411k| 6.8 | 134M| 119 | 1 |3771 | 14k|3771 | 996 | 176k| 843k|5207 | 0.000000e+00 | 7.000000e+00 | Inf
1454.51/1454.67 c 1409s|660000 | 7854 | 4481k| 6.8 | 136M| 119 | 19 |3771 | 13k|3771 |1006 | 178k| 857k|5254 | 0.000000e+00 | 7.000000e+00 | Inf
1474.61/1474.70 c 1428s|670000 | 8094 | 4553k| 6.8 | 137M| 119 | - |3771 | 11k| 0 | 0 | 180k| 872k|5295 | 0.000000e+00 | 7.000000e+00 | Inf
1494.61/1494.77 c 1448s|680000 | 8276 | 4625k| 6.8 | 140M| 119 | - |3771 | 12k| 0 | 0 | 182k| 886k|5316 | 0.000000e+00 | 7.000000e+00 | Inf
1515.42/1515.51 c 1468s|690000 | 8471 | 4706k| 6.8 | 142M| 119 | - |3771 | 13k| 0 | 0 | 184k| 901k|5369 | 0.000000e+00 | 7.000000e+00 | Inf
1534.81/1534.92 c 1487s|700000 | 8425 | 4773k| 6.8 | 142M| 119 | - |3771 | 12k| 0 | 0 | 185k| 918k|5422 | 0.000000e+00 | 7.000000e+00 | Inf
1556.81/1556.93 c 1508s|710000 | 8572 | 4863k| 6.8 | 145M| 119 | 20 |3771 | 14k|3771 |1007 | 187k| 933k|5480 | 0.000000e+00 | 7.000000e+00 | Inf
1577.32/1577.46 c 1528s|720000 | 8647 | 4941k| 6.9 | 145M| 119 | 1 |3771 | 13k|3771 | 994 | 189k| 947k|5529 | 0.000000e+00 | 7.000000e+00 | Inf
1597.51/1597.68 c 1548s|730000 | 8895 | 5020k| 6.9 | 147M| 119 | 39 |3771 | 12k|3771 | 972 | 190k| 962k|5564 | 0.000000e+00 | 7.000000e+00 | Inf
1618.21/1618.38 c 1568s|740000 | 9040 | 5099k| 6.9 | 149M| 119 | - |3771 | 12k| 0 | 0 | 192k| 976k|5613 | 0.000000e+00 | 7.000000e+00 | Inf
1638.91/1639.01 c 1588s|750000 | 9100 | 5175k| 6.9 | 150M| 119 | 24 |3771 | 12k|3771 | 972 | 194k| 990k|5669 | 0.000000e+00 | 7.000000e+00 | Inf
1658.31/1658.42 c 1607s|760000 | 9116 | 5246k| 6.9 | 152M| 119 | - |3771 | 13k| 0 | 0 | 195k|1005k|5708 | 0.000000e+00 | 7.000000e+00 | Inf
1677.51/1677.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.51/1677.60 c 1625s|770000 | 9170 | 5309k| 6.9 | 153M| 119 | 1 |3771 | 13k|3771 | 972 | 197k|1019k|5736 | 0.000000e+00 | 7.000000e+00 | Inf
1698.11/1698.20 c 1646s|780000 | 9266 | 5377k| 6.9 | 155M| 119 | - |3771 | 14k|3771 |1008 | 199k|1035k|5794 | 0.000000e+00 | 7.000000e+00 | Inf
1718.41/1718.56 c 1665s|790000 | 9309 | 5446k| 6.9 | 155M| 119 | 23 |3771 | 12k|3771 | 981 | 201k|1049k|5819 | 0.000000e+00 | 7.000000e+00 | Inf
1738.50/1738.68 c 1685s|800000 | 9484 | 5515k| 6.9 | 158M| 119 | - |3771 | 15k| 0 | 0 | 202k|1064k|5852 | 0.000000e+00 | 7.000000e+00 | Inf
1758.51/1758.60 c 1704s|810000 | 9491 | 5578k| 6.9 | 158M| 119 | 20 |3771 | 12k|3771 |1005 | 204k|1079k|5926 | 0.000000e+00 | 7.000000e+00 | Inf
1779.30/1779.49 c 1725s|820000 | 9525 | 5658k| 6.9 | 160M| 119 | - |3771 | 14k| 0 | 0 | 206k|1093k|5958 | 0.000000e+00 | 7.000000e+00 | Inf
1799.11/1799.22 c 1744s|830000 | 9617 | 5711k| 6.9 | 162M| 119 | - |3771 | 18k| 0 | 0 | 208k|1108k|5993 | 0.000000e+00 | 7.000000e+00 | Inf
1800.01/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.10 c
1800.01/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.10 c Solving Time (sec) : 1744.82
1800.01/1800.10 c Solving Nodes : 830397
1800.01/1800.10 c Primal Bound : +7.00000000000000e+00 (265 solutions)
1800.01/1800.10 c Dual Bound : +0.00000000000000e+00
1800.01/1800.10 c Gap : infinite
1800.01/1800.15 s SATISFIABLE
1800.01/1800.15 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.01/1800.15 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.01/1800.15 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.01/1800.15 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.01/1800.15 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 x128 -x127 -x126
1800.01/1800.15 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.01/1800.15 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.01/1800.15 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.01/1800.15 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.01/1800.15 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
1800.01/1800.15 v x2 -x1
1800.01/1800.15 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.15 c Solving Time : 1744.82
1800.01/1800.15 c Original Problem :
1800.01/1800.15 c Problem name : HOME/instance-2693388-1277900680.wbo
1800.01/1800.15 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.01/1800.15 c Constraints : 4547 initial, 4547 maximal
1800.01/1800.15 c Presolved Problem :
1800.01/1800.15 c Problem name : t_HOME/instance-2693388-1277900680.wbo
1800.01/1800.15 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.01/1800.15 c Constraints : 4373 initial, 19314 maximal
1800.01/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.15 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.01/1800.15 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.01/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.15 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.15 c probing : 0.05 0 0 0 0 0 0 0 0
1800.01/1800.15 c indicator : 0.02 0 0 0 0 0 69 0 0
1800.01/1800.15 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.15 c linear : 0.05 0 0 0 1861 0 105 91 0
1800.01/1800.15 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.15 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.15 c root node : - 1671 - - 3342 - - - -
1800.01/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.15 c integral : 0 0 0 486250 0 59 628 0 0 882684
1800.01/1800.15 c indicator : 1770 0 4725604 44315 0 904 7086814 0 0 0
1800.01/1800.15 c setppc : 9 6 4725194 43745 0 27974 1166992 0 0 0
1800.01/1800.15 c linear : 1770 6 4701312 44305 0 188864 19528243 208999 0 0
1800.01/1800.15 c logicor : 824+ 6 1532073 15850 0 164900 3726902 0 0 0
1800.01/1800.15 c bounddisjunction : 0+ 0 30017 0 0 5 158 0 0 0
1800.01/1800.15 c countsols : 0 0 0 15850 0 0 0 0 0 0
1800.01/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.15 c integral : 26.47 0.00 0.00 26.47 0.00
1800.01/1800.15 c indicator : 34.36 0.00 29.90 4.46 0.00
1800.01/1800.15 c setppc : 9.65 0.00 9.64 0.01 0.00
1800.01/1800.15 c linear : 150.01 0.00 147.44 2.57 0.00
1800.01/1800.15 c logicor : 178.67 0.00 178.52 0.15 0.00
1800.01/1800.15 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.01/1800.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.15 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.15 c vbounds : 0.90 2 0 0
1800.01/1800.15 c rootredcost : 0.71 66 0 1671
1800.01/1800.15 c pseudoobj : 179.04 4743603 13266 5199107
1800.01/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.15 c propagation : 21.20 395009 394925 2414593 29.4 16839 21.2 -
1800.01/1800.15 c infeasible LP : 7.75 27021 27021 227359 44.1 360 16.2 0
1800.01/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.15 c pseudo solution : 0.07 355 355 1552 12.7 203 5.9 -
1800.01/1800.15 c applied globally : - - - 1109036 23.7 - - -
1800.01/1800.15 c applied locally : - - - 0 0.0 - - -
1800.01/1800.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.15 c cut pool : 0.00 5 - - 16 - (maximal pool size: 389)
1800.01/1800.15 c redcost : 29.64 493146 0 1794263 0 0
1800.01/1800.15 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.15 c intobj : 0.00 0 0 0 0 0
1800.01/1800.15 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.15 c gomory : 0.09 6 0 0 1439 0
1800.01/1800.15 c strongcg : 0.06 6 0 0 67 0
1800.01/1800.15 c cmir : 0.02 6 0 0 1 0
1800.01/1800.15 c flowcover : 0.07 6 0 0 1 0
1800.01/1800.15 c clique : 0.00 6 0 0 0 0
1800.01/1800.15 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.15 c mcf : 0.01 1 0 0 0 0
1800.01/1800.15 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.15 c Pricers : Time Calls Vars
1800.01/1800.15 c problem variables: 0.00 0 0
1800.01/1800.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.15 c relpscost : 26.22 441888 59 628 0 0 882684
1800.01/1800.15 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.15 c inference : 2.73 15786 0 0 0 0 31572
1800.01/1800.15 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.15 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.15 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.15 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.15 c random : 0.00 0 0 0 0 0 0
1800.01/1800.15 c Primal Heuristics : Time Calls Found
1800.01/1800.15 c LP solutions : 0.09 - 64
1800.01/1800.15 c pseudo solutions : 0.00 - 0
1800.01/1800.15 c feaspump : 0.03 1 0
1800.01/1800.15 c oneopt : 0.59 60 0
1800.01/1800.15 c intshifting : 0.01 18 0
1800.01/1800.15 c crossover : 2.44 94 0
1800.01/1800.15 c pscostdiving : 1.00 707 0
1800.01/1800.15 c fracdiving : 1.04 707 0
1800.01/1800.15 c coefdiving : 0.91 707 0
1800.01/1800.15 c linesearchdiving : 1.11 707 0
1800.01/1800.15 c guideddiving : 1.11 707 1
1800.01/1800.15 c veclendiving : 1.01 707 0
1800.01/1800.15 c rootsoldiving : 0.92 593 0
1800.01/1800.15 c objpscostdiving : 0.72 593 0
1800.01/1800.15 c trivial : 0.01 2 0
1800.01/1800.15 c simplerounding : 0.81 444346 0
1800.01/1800.15 c zirounding : 0.39 1000 0
1800.01/1800.15 c rounding : 2.73 9406 0
1800.01/1800.15 c shifting : 1.78 2971 0
1800.01/1800.15 c twoopt : 0.00 0 0
1800.01/1800.15 c fixandinfer : 0.00 0 0
1800.01/1800.15 c intdiving : 0.00 0 0
1800.01/1800.15 c actconsdiving : 0.00 0 0
1800.01/1800.15 c octane : 0.00 0 0
1800.01/1800.15 c rens : 0.03 1 0
1800.01/1800.15 c rins : 0.00 0 0
1800.01/1800.15 c localbranching : 0.00 0 0
1800.01/1800.15 c mutation : 0.00 0 0
1800.01/1800.15 c dins : 0.00 0 0
1800.01/1800.15 c undercover : 0.00 0 0
1800.01/1800.15 c nlp : 0.13 0 0
1800.01/1800.15 c trysol : 2.97 7560 200
1800.01/1800.15 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.15 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.15 c dual LP : 692.97 503972 5702467 11.32 8229.02
1800.01/1800.15 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.15 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.15 c diving/probing LP: 1.83 1180 12196 10.34 6664.48
1800.01/1800.15 c strong branching : 22.87 5993 233491 38.96 10209.49
1800.01/1800.15 c (at root node) : - 33 19034 576.79 -
1800.01/1800.15 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.15 c B&B Tree :
1800.01/1800.15 c number of runs : 1
1800.01/1800.15 c nodes : 830397
1800.01/1800.15 c nodes (total) : 830397
1800.01/1800.15 c nodes left : 9609
1800.01/1800.15 c max depth : 119
1800.01/1800.15 c max depth (total): 119
1800.01/1800.15 c backtracks : 69659 (8.4%)
1800.01/1800.15 c delayed cutoffs : 55360
1800.01/1800.15 c repropagations : 2523662 (5745163 domain reductions, 49399 cutoffs)
1800.01/1800.15 c avg switch length: 7.58
1800.01/1800.15 c switching time : 214.55
1800.01/1800.15 c Solution :
1800.01/1800.15 c Solutions found : 265 (66 improvements)
1800.01/1800.15 c First Solution : +8.80640000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.01/1800.15 c Primal Bound : +7.00000000000000e+00 (in run 1, after 631127 nodes, 1350.78 seconds, depth 40, found by <relaxation>)
1800.01/1800.15 c Dual Bound : +0.00000000000000e+00
1800.01/1800.15 c Gap : infinite
1800.01/1800.15 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.15 c Root Iterations : 900
1800.20/1800.35 c Time complete: 1800.27.