0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692845-1277906597.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 cont) and 4524 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, 1958 impls, 6 clqs
0.03/0.09 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.12 c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.13 c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.17 c (0.1s) probing: 101/1974 (5.1%) - 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 (7 rounds):
0.09/0.17 c 146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.17 c 1958 implications, 6 cliques
0.09/0.17 c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.09/0.17 c 1743 constraints of type <indicator>
0.09/0.17 c 6 constraints of type <setppc>
0.09/0.17 c 1743 constraints of type <linear>
0.09/0.17 c 854 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 | 27 | - | 13M| 0 | 16 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 88690
0.09/0.19 c y 0.1s| 1 | 0 | 38 | - | 13M| 0 | 16 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 71 | - | 13M| 0 | 21 |3717 |4346 |3717 | 878 | 18 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 129 | - | 14M| 0 | 33 |3717 |4346 |3717 | 904 | 44 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 149 | - | 14M| 0 | 47 |3717 |4346 |3717 | 914 | 54 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 161 | - | 14M| 0 | 40 |3717 |4346 |3717 | 917 | 57 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 163 | - | 14M| 0 | 40 |3717 |4346 |3717 | 918 | 58 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.79/0.83 c 0.7s| 1 | 2 | 163 | - | 14M| 0 | 40 |3717 |4346 |3717 | 918 | 58 | 0 | 33 | 0.000000e+00 | 8.869000e+04 | Inf
25.49/25.58 c 24.6s| 10000 | 9959 | 46889 | 4.7 | 39M| 145 | 0 |3717 |4400 |3717 | 944 |6502 | 69 |1805 | 0.000000e+00 | 8.869000e+04 | Inf
40.79/40.84 c 39.4s| 20000 | 19947 | 66691 | 3.3 | 56M| 147 | 0 |3717 |4374 |3717 | 948 |9806 | 80 |1808 | 0.000000e+00 | 8.869000e+04 | Inf
56.19/56.20 c 54.2s| 30000 | 29941 | 87364 | 2.9 | 74M| 151 | 0 |3717 |4372 |3717 | 959 | 12k| 89 |1808 | 0.000000e+00 | 8.869000e+04 | Inf
71.89/71.91 c 69.5s| 40000 | 39926 |111249 | 2.8 | 91M| 157 | 0 |3717 |4366 |3717 | 953 | 16k| 105 |1808 | 0.000000e+00 | 8.869000e+04 | Inf
86.19/86.20 c 83.4s| 50000 | 49920 |122165 | 2.4 | 108M| 157 | 0 |3717 |4364 |3717 | 950 | 18k| 108 |1812 | 0.000000e+00 | 8.869000e+04 | Inf
99.59/99.61 o 725
99.59/99.61 c *96.4s| 59207 | 43363 |134011 | 2.3 | 99M| 157 | - |3717 |4360 |3717 | 929 | 21k| 111 |1812 | 0.000000e+00 | 7.250000e+02 | Inf
100.89/100.96 o 717
100.89/100.96 c *97.7s| 59833 | 43518 |136380 | 2.3 | 99M| 157 | - |3717 |4402 |3717 | 973 | 22k| 156 |1812 | 0.000000e+00 | 7.170000e+02 | Inf
101.29/101.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.29/101.33 c 98.0s| 60000 | 43679 |137153 | 2.3 | 99M| 157 | 5 |3717 |4416 |3717 | 942 | 22k| 170 |1812 | 0.000000e+00 | 7.170000e+02 | Inf
104.59/104.61 o 716
104.59/104.61 c * 101s| 61509 | 45017 |143940 | 2.3 | 102M| 157 | - |3717 |4619 |3717 | 944 | 24k| 411 |1812 | 0.000000e+00 | 7.160000e+02 | Inf
112.40/112.48 o 689
112.40/112.48 c * 109s| 64833 | 46371 |162887 | 2.5 | 107M| 157 | - |3717 |4830 |3717 | 949 | 28k|1232 |1812 | 0.000000e+00 | 6.890000e+02 | Inf
112.59/112.64 o 658
112.59/112.64 c * 109s| 64896 | 44429 |163133 | 2.5 | 104M| 157 | - |3717 |4867 |3717 | 952 | 28k|1299 |1812 | 0.000000e+00 | 6.580000e+02 | Inf
122.40/122.43 o 657
122.40/122.43 c * 118s| 68942 | 47964 |191571 | 2.8 | 112M| 157 | - |3717 |4825 |3717 | 929 | 34k|2165 |1822 | 0.000000e+00 | 6.570000e+02 | Inf
124.90/124.98 c 121s| 70000 | 48930 |197416 | 2.8 | 114M| 157 | 0 |3717 |4880 |3717 | 956 | 35k|2372 |1846 | 0.000000e+00 | 6.570000e+02 | Inf
136.99/137.00 o 656
136.99/137.00 c * 132s| 75215 | 53708 |224577 | 3.0 | 124M| 157 | - |3717 |4803 |3717 | 937 | 43k|3129 |1938 | 0.000000e+00 | 6.560000e+02 | Inf
141.20/141.27 o 264
141.20/141.27 c * 137s| 76998 | 23015 |233634 | 3.0 | 68M| 157 | - |3717 |4820 |3717 | 939 | 45k|3320 |1995 | 0.000000e+00 | 2.640000e+02 | Inf
145.60/145.67 o 261
145.60/145.67 c * 141s| 78543 | 23747 |246005 | 3.1 | 72M| 157 | - |3717 |5226 |3717 | 930 | 47k|4143 |2025 | 0.000000e+00 | 2.610000e+02 | Inf
145.99/146.08 o 257
145.99/146.08 c * 141s| 78702 | 23529 |246974 | 3.1 | 71M| 157 | - |3717 |5279 |3717 | 935 | 48k|4237 |2032 | 0.000000e+00 | 2.570000e+02 | Inf
148.20/148.24 o 255
148.20/148.24 c * 143s| 79572 | 23731 |252514 | 3.2 | 73M| 157 | - |3717 |5622 |3717 | 964 | 48k|4973 |2062 | 0.000000e+00 | 2.550000e+02 | Inf
148.50/148.56 o 246
148.50/148.56 c * 144s| 79693 | 23068 |253229 | 3.2 | 72M| 157 | - |3717 |5603 |3717 | 940 | 48k|4992 |2065 | 0.000000e+00 | 2.460000e+02 | Inf
148.50/148.57 o 243
148.50/148.57 c * 144s| 79694 | 22851 |253229 | 3.2 | 72M| 157 | - |3717 |5603 |3717 | 940 | 48k|4992 |2065 | 0.000000e+00 | 2.430000e+02 | Inf
149.29/149.32 c 144s| 80000 | 23136 |254246 | 3.2 | 72M| 157 | 0 |3717 |5540 |3717 | 927 | 49k|5014 |2066 | 0.000000e+00 | 2.430000e+02 | Inf
149.50/149.51 o 236
149.50/149.51 c * 144s| 80088 | 22560 |254413 | 3.2 | 71M| 157 | - |3717 |5524 |3717 | 916 | 49k|5022 |2066 | 0.000000e+00 | 2.360000e+02 | Inf
149.50/149.51 o 233
149.50/149.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.50/149.51 c * 144s| 80089 | 22221 |254413 | 3.2 | 71M| 157 | - |3717 |5524 |3717 | 916 | 49k|5022 |2066 | 0.000000e+00 | 2.330000e+02 | Inf
149.50/149.55 o 230
149.50/149.55 c * 144s| 80101 | 21943 |254473 | 3.2 | 70M| 157 | - |3717 |5521 |3717 | 934 | 49k|5022 |2066 | 0.000000e+00 | 2.300000e+02 | Inf
149.99/150.07 o 223
149.99/150.07 c * 145s| 80296 | 21571 |255190 | 3.2 | 69M| 157 | - |3717 |5502 |3717 | 947 | 49k|5091 |2067 | 0.000000e+00 | 2.230000e+02 | Inf
149.99/150.07 o 220
149.99/150.07 c * 145s| 80297 | 21332 |255190 | 3.2 | 69M| 157 | - |3717 |5502 |3717 | 947 | 49k|5091 |2067 | 0.000000e+00 | 2.200000e+02 | Inf
150.09/150.18 o 211
150.09/150.18 c * 145s| 80327 | 20584 |255369 | 3.2 | 67M| 157 | - |3717 |5504 |3717 | 929 | 49k|5096 |2067 | 0.000000e+00 | 2.110000e+02 | Inf
150.09/150.18 o 208
150.09/150.18 c * 145s| 80328 | 20410 |255369 | 3.2 | 67M| 157 | - |3717 |5504 |3717 | 929 | 49k|5096 |2067 | 0.000000e+00 | 2.080000e+02 | Inf
150.40/150.43 o 203
150.40/150.43 c * 145s| 80415 | 20124 |255825 | 3.2 | 67M| 157 | - |3717 |5495 |3717 | 929 | 49k|5118 |2068 | 0.000000e+00 | 2.030000e+02 | Inf
150.60/150.61 o 199
150.60/150.61 c * 145s| 80480 | 19883 |256086 | 3.2 | 66M| 157 | - |3717 |5520 |3717 | 926 | 49k|5157 |2068 | 0.000000e+00 | 1.990000e+02 | Inf
150.60/150.62 o 196
150.60/150.62 c * 145s| 80481 | 19685 |256086 | 3.2 | 66M| 157 | - |3717 |5520 |3717 | 926 | 49k|5157 |2068 | 0.000000e+00 | 1.960000e+02 | Inf
150.60/150.66 o 181
150.60/150.66 c * 146s| 80493 | 18302 |256108 | 3.2 | 62M| 157 | - |3717 |5520 |3717 | 919 | 49k|5157 |2068 | 0.000000e+00 | 1.810000e+02 | Inf
150.70/150.71 o 173
150.70/150.71 c * 146s| 80511 | 17671 |256174 | 3.2 | 60M| 157 | - |3717 |5528 |3717 | 924 | 49k|5168 |2068 | 0.000000e+00 | 1.730000e+02 | Inf
150.70/150.72 o 170
150.70/150.72 c * 146s| 80512 | 17312 |256174 | 3.2 | 60M| 157 | - |3717 |5528 |3717 | 924 | 49k|5168 |2068 | 0.000000e+00 | 1.700000e+02 | Inf
150.70/150.75 o 167
150.70/150.75 c * 146s| 80518 | 17109 |256219 | 3.2 | 60M| 157 | - |3717 |5525 |3717 | 930 | 49k|5168 |2068 | 0.000000e+00 | 1.670000e+02 | Inf
150.70/150.75 o 164
150.70/150.75 c * 146s| 80519 | 16756 |256219 | 3.2 | 58M| 157 | - |3717 |5525 |3717 | 930 | 49k|5168 |2068 | 0.000000e+00 | 1.640000e+02 | Inf
150.99/151.07 o 159
150.99/151.07 c * 146s| 80610 | 16129 |256799 | 3.2 | 58M| 157 | - |3717 |5546 |3717 | 924 | 49k|5208 |2068 | 0.000000e+00 | 1.590000e+02 | Inf
150.99/151.07 o 157
150.99/151.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.99/151.07 c * 146s| 80611 | 16009 |256799 | 3.2 | 57M| 157 | - |3717 |5546 |3717 | 924 | 49k|5208 |2068 | 0.000000e+00 | 1.570000e+02 | Inf
151.09/151.17 o 154
151.09/151.17 c * 146s| 80640 | 15497 |256934 | 3.2 | 57M| 157 | - |3717 |5542 |3717 | 929 | 49k|5214 |2068 | 0.000000e+00 | 1.540000e+02 | Inf
151.09/151.17 o 150
151.09/151.17 c * 146s| 80641 | 15058 |256934 | 3.2 | 56M| 157 | - |3717 |5542 |3717 | 929 | 49k|5214 |2068 | 0.000000e+00 | 1.500000e+02 | Inf
151.19/151.21 o 148
151.19/151.21 c * 146s| 80655 | 14559 |256986 | 3.2 | 55M| 157 | - |3717 |5543 |3717 | 933 | 49k|5215 |2068 | 0.000000e+00 | 1.480000e+02 | Inf
151.49/151.51 o 142
151.49/151.51 c * 146s| 80749 | 13964 |257412 | 3.2 | 54M| 157 | - |3717 |5582 |3717 | 916 | 50k|5263 |2068 | 0.000000e+00 | 1.420000e+02 | Inf
151.49/151.51 o 138
151.49/151.51 c * 146s| 80750 | 13433 |257412 | 3.2 | 53M| 157 | - |3717 |5582 |3717 | 916 | 50k|5263 |2068 | 0.000000e+00 | 1.380000e+02 | Inf
151.49/151.59 o 124
151.49/151.59 c * 146s| 80780 | 11908 |257545 | 3.2 | 49M| 157 | - |3717 |5601 |3717 | 916 | 50k|5295 |2068 | 0.000000e+00 | 1.240000e+02 | Inf
151.49/151.59 o 120
151.49/151.59 c * 146s| 80781 | 11521 |257545 | 3.2 | 48M| 157 | - |3717 |5601 |3717 | 916 | 50k|5295 |2068 | 0.000000e+00 | 1.200000e+02 | Inf
151.60/151.63 o 110
151.60/151.63 c * 146s| 80793 | 10632 |257578 | 3.2 | 46M| 157 | - |3717 |5590 |3717 | 916 | 50k|5298 |2068 | 0.000000e+00 | 1.100000e+02 | Inf
151.60/151.63 o 106
151.60/151.63 c * 146s| 80794 | 10179 |257578 | 3.2 | 45M| 157 | - |3717 |5590 |3717 | 916 | 50k|5298 |2068 | 0.000000e+00 | 1.060000e+02 | Inf
151.70/151.71 o 78
151.70/151.71 c * 147s| 80815 | 8165 |257703 | 3.2 | 40M| 157 | - |3717 |5595 |3717 | 936 | 50k|5308 |2068 | 0.000000e+00 | 7.800000e+01 | Inf
151.70/151.72 o 74
151.70/151.72 c * 147s| 80816 | 7593 |257703 | 3.2 | 39M| 157 | - |3717 |5595 |3717 | 936 | 50k|5308 |2068 | 0.000000e+00 | 7.400000e+01 | Inf
151.70/151.74 o 71
151.70/151.74 c * 147s| 80817 | 4005 |257722 | 3.2 | 32M| 157 | - |3717 |5106 |3717 | 916 | 50k|5308 |2068 | 0.000000e+00 | 7.100000e+01 | Inf
172.60/172.68 c 167s| 90000 | 3920 |296531 | 3.3 | 44M| 157 | 1 |3717 |7188 |3717 | 915 | 52k| 15k|2174 | 0.000000e+00 | 7.100000e+01 | Inf
188.00/188.00 o 69
188.00/188.00 c * 181s| 96561 | 4019 |324208 | 3.4 | 48M| 157 | - |3717 |7305 |3717 | 930 | 53k| 22k|2262 | 0.000000e+00 | 6.900000e+01 | Inf
195.40/195.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.40/195.49 c 188s|100000 | 4056 |337048 | 3.4 | 49M| 157 | - |3717 |7654 | 0 | 0 | 53k| 26k|2278 | 0.000000e+00 | 6.900000e+01 | Inf
202.10/202.10 o 68
202.10/202.10 c * 195s|102824 | 4027 |349735 | 3.4 | 51M| 157 | - |3717 |7856 |3717 | 916 | 54k| 30k|2313 | 0.000000e+00 | 6.800000e+01 | Inf
202.10/202.11 o 67
202.10/202.11 c * 195s|102825 | 4025 |349736 | 3.4 | 51M| 157 | - |3717 |7856 |3717 | 916 | 54k| 30k|2313 | 0.000000e+00 | 6.700000e+01 | Inf
212.99/213.09 o 61
212.99/213.09 c * 205s|107960 | 3968 |366048 | 3.4 | 52M| 157 | - |3717 |7383 |3717 | 922 | 55k| 36k|2363 | 0.000000e+00 | 6.100000e+01 | Inf
218.00/218.06 c 210s|110000 | 4175 |378936 | 3.4 | 53M| 157 | - |3717 |6206 | 0 | 0 | 55k| 38k|2391 | 0.000000e+00 | 6.100000e+01 | Inf
218.59/218.63 o 59
218.59/218.63 c * 211s|110251 | 4169 |380084 | 3.4 | 54M| 157 | - |3717 |6436 |3717 | 915 | 55k| 38k|2395 | 0.000000e+00 | 5.900000e+01 | Inf
238.80/238.85 c 230s|120000 | 4325 |414581 | 3.5 | 59M| 157 | 1 |3717 |7069 |3717 | 925 | 57k| 51k|2436 | 0.000000e+00 | 5.900000e+01 | Inf
243.70/243.76 o 48
243.70/243.76 c * 235s|122542 | 4119 |422266 | 3.4 | 59M| 157 | - |3717 |8066 |3717 | 915 | 58k| 56k|2458 | 0.000000e+00 | 4.800000e+01 | Inf
258.10/258.19 c 249s|130000 | 4109 |444824 | 3.4 | 59M| 157 | 13 |3717 |6608 |3717 | 923 | 59k| 67k|2517 | 0.000000e+00 | 4.800000e+01 | Inf
278.09/278.19 c 268s|140000 | 4075 |478358 | 3.4 | 61M| 157 | 1 |3717 |7009 |3717 | 924 | 60k| 81k|2613 | 0.000000e+00 | 4.800000e+01 | Inf
285.10/285.12 o 46
285.10/285.12 c * 274s|143634 | 3933 |488475 | 3.4 | 61M| 157 | - |3717 |7682 |3717 | 917 | 61k| 86k|2646 | 0.000000e+00 | 4.600000e+01 | Inf
297.70/297.76 c 286s|150000 | 3919 |509020 | 3.4 | 62M| 157 | 13 |3717 |8444 |3717 | 924 | 62k| 93k|2708 | 0.000000e+00 | 4.600000e+01 | Inf
298.10/298.11 o 29
298.10/298.11 c * 287s|150168 | 3444 |509472 | 3.4 | 55M| 157 | - |3717 |8476 |3717 | 924 | 62k| 94k|2708 | 0.000000e+00 | 2.900000e+01 | Inf
316.10/316.14 c 304s|160000 | 3335 |543855 | 3.4 | 55M| 157 | 1 |3717 |7648 |3717 | 915 | 63k| 107k|2772 | 0.000000e+00 | 2.900000e+01 | Inf
321.30/321.37 o 19
321.30/321.37 c * 309s|162790 | 2848 |555800 | 3.4 | 49M| 157 | - |3717 |8344 |3717 | 915 | 63k| 110k|2827 | 0.000000e+00 | 1.900000e+01 | Inf
333.70/333.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.70/333.72 c 321s|170000 | 2823 |584516 | 3.4 | 50M| 157 | 13 |3717 |8638 |3717 | 929 | 64k| 120k|2903 | 0.000000e+00 | 1.900000e+01 | Inf
350.81/350.90 c 337s|180000 | 2882 |623258 | 3.5 | 53M| 157 | 10 |3717 | 13k|3717 | 915 | 66k| 133k|2986 | 0.000000e+00 | 1.900000e+01 | Inf
368.90/368.96 c 354s|190000 | 2887 |663634 | 3.5 | 53M| 157 | 13 |3717 | 11k|3717 | 915 | 67k| 147k|3116 | 0.000000e+00 | 1.900000e+01 | Inf
386.30/386.36 c 371s|200000 | 2758 |700049 | 3.5 | 52M| 157 | 9 |3717 | 12k|3717 | 915 | 69k| 160k|3198 | 0.000000e+00 | 1.900000e+01 | Inf
387.00/387.07 o 18
387.00/387.07 c * 372s|200371 | 2752 |701383 | 3.5 | 52M| 157 | - |3717 | 12k|3717 | 931 | 69k| 160k|3199 | 0.000000e+00 | 1.800000e+01 | Inf
404.40/404.47 c 388s|210000 | 2840 |735514 | 3.5 | 54M| 157 | 1 |3717 | 16k|3717 | 915 | 69k| 173k|3288 | 0.000000e+00 | 1.800000e+01 | Inf
423.10/423.10 c 406s|220000 | 2858 |771669 | 3.5 | 55M| 157 | 22 |3717 | 17k|3717 | 915 | 71k| 186k|3374 | 0.000000e+00 | 1.800000e+01 | Inf
442.40/442.46 c 425s|230000 | 2814 |808180 | 3.5 | 55M| 157 | - |3717 | 14k| 0 | 0 | 72k| 200k|3451 | 0.000000e+00 | 1.800000e+01 | Inf
461.60/461.68 c 443s|240000 | 2833 |848313 | 3.5 | 58M| 157 | - |3717 | 19k| 0 | 0 | 73k| 213k|3533 | 0.000000e+00 | 1.800000e+01 | Inf
482.60/482.63 c 463s|250000 | 2848 |887066 | 3.5 | 60M| 157 | 1 |3717 | 23k|3717 | 928 | 74k| 227k|3601 | 0.000000e+00 | 1.800000e+01 | Inf
505.20/505.25 c 485s|260000 | 2865 |927243 | 3.6 | 61M| 157 | - |3717 | 26k| 0 | 0 | 76k| 240k|3668 | 0.000000e+00 | 1.800000e+01 | Inf
528.80/528.84 c 508s|270000 | 2901 |965706 | 3.6 | 61M| 157 | 19 |3717 | 22k|3717 | 915 | 76k| 254k|3755 | 0.000000e+00 | 1.800000e+01 | Inf
551.59/551.61 c 531s|280000 | 2938 | 1001k| 3.6 | 63M| 157 | - |3717 | 25k| 0 | 0 | 78k| 268k|3811 | 0.000000e+00 | 1.800000e+01 | Inf
578.29/578.32 c 557s|290000 | 2882 | 1039k| 3.6 | 62M| 157 | 7 |3717 | 17k|3717 | 915 | 79k| 281k|4078 | 0.000000e+00 | 1.800000e+01 | Inf
601.78/601.83 c 580s|300000 | 2923 | 1076k| 3.6 | 64M| 157 | - |3717 | 20k| 0 | 0 | 80k| 294k|4134 | 0.000000e+00 | 1.800000e+01 | Inf
618.20/618.21 o 16
618.20/618.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.20/618.21 c * 596s|306451 | 2971 | 1101k| 3.6 | 66M| 157 | - |3717 | 21k|3717 | 915 | 81k| 303k|4197 | 0.000000e+00 | 1.600000e+01 | Inf
626.78/626.82 c 605s|310000 | 2998 | 1115k| 3.6 | 66M| 157 | 17 |3717 | 20k|3717 | 915 | 81k| 308k|4199 | 0.000000e+00 | 1.600000e+01 | Inf
650.09/650.12 c 628s|320000 | 3033 | 1148k| 3.6 | 67M| 157 | 19 |3717 | 21k|3717 | 915 | 82k| 320k|4294 | 0.000000e+00 | 1.600000e+01 | Inf
674.19/674.24 c 652s|330000 | 3090 | 1183k| 3.6 | 68M| 157 | 10 |3717 | 19k|3717 | 915 | 83k| 333k|4357 | 0.000000e+00 | 1.600000e+01 | Inf
696.89/696.95 c 674s|340000 | 3168 | 1218k| 3.6 | 70M| 157 | 1 |3717 | 18k|3717 | 915 | 84k| 347k|4450 | 0.000000e+00 | 1.600000e+01 | Inf
719.80/719.82 c 697s|350000 | 3215 | 1253k| 3.6 | 72M| 157 | 14 |3717 | 21k|3717 | 915 | 84k| 361k|4509 | 0.000000e+00 | 1.600000e+01 | Inf
741.19/741.20 c 718s|360000 | 3166 | 1288k| 3.6 | 70M| 157 | - |3717 | 14k| 0 | 0 | 85k| 374k|4591 | 0.000000e+00 | 1.600000e+01 | Inf
761.29/761.30 c 738s|370000 | 3223 | 1325k| 3.6 | 73M| 157 | - |3717 | 17k| 0 | 0 | 87k| 388k|4669 | 0.000000e+00 | 1.600000e+01 | Inf
783.49/783.51 c 760s|380000 | 3270 | 1360k| 3.6 | 74M| 157 | 14 |3717 | 19k|3717 | 915 | 88k| 401k|4741 | 0.000000e+00 | 1.600000e+01 | Inf
807.69/807.73 c 784s|390000 | 3305 | 1396k| 3.6 | 77M| 157 | 28 |3717 | 23k|3717 | 915 | 89k| 414k|4816 | 0.000000e+00 | 1.600000e+01 | Inf
832.89/832.94 c 809s|400000 | 3363 | 1432k| 3.6 | 78M| 157 | 4 |3717 | 24k|3717 | 915 | 90k| 428k|4874 | 0.000000e+00 | 1.600000e+01 | Inf
857.19/857.24 c 833s|410000 | 3385 | 1471k| 3.6 | 81M| 157 | - |3717 | 29k| 0 | 0 | 91k| 442k|4944 | 0.000000e+00 | 1.600000e+01 | Inf
883.69/883.79 c 859s|420000 | 3453 | 1506k| 3.6 | 82M| 157 | 14 |3717 | 31k|3717 | 915 | 92k| 456k|4996 | 0.000000e+00 | 1.600000e+01 | Inf
909.70/909.76 c 885s|430000 | 3410 | 1540k| 3.6 | 81M| 157 | - |3717 | 28k| 0 | 0 | 93k| 470k|5042 | 0.000000e+00 | 1.600000e+01 | Inf
936.50/936.55 c 912s|440000 | 3430 | 1574k| 3.6 | 83M| 157 | - |3717 | 29k| 0 | 0 | 94k| 483k|5105 | 0.000000e+00 | 1.600000e+01 | Inf
965.50/965.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.50/965.51 c 940s|450000 | 3503 | 1610k| 3.6 | 85M| 157 | - |3717 | 30k| 0 | 0 | 96k| 497k|5166 | 0.000000e+00 | 1.600000e+01 | Inf
995.20/995.20 c 970s|460000 | 3551 | 1646k| 3.6 | 86M| 157 | 13 |3717 | 31k|3717 | 915 | 96k| 510k|5237 | 0.000000e+00 | 1.600000e+01 | Inf
1026.21/1026.25 c 1001s|470000 | 3581 | 1686k| 3.6 | 87M| 157 | 1 |3717 | 31k|3717 | 915 | 98k| 524k|5317 | 0.000000e+00 | 1.600000e+01 | Inf
1056.00/1056.06 c 1030s|480000 | 3592 | 1725k| 3.6 | 88M| 157 | - |3717 | 32k| 0 | 0 | 99k| 538k|5385 | 0.000000e+00 | 1.600000e+01 | Inf
1086.49/1086.50 c 1060s|490000 | 3646 | 1766k| 3.6 | 90M| 157 | 1 |3717 | 32k|3717 | 915 | 100k| 551k|5444 | 0.000000e+00 | 1.600000e+01 | Inf
1113.00/1113.10 c 1087s|500000 | 3700 | 1801k| 3.6 | 89M| 157 | 9 |3717 | 27k|3717 | 915 | 101k| 565k|5845 | 0.000000e+00 | 1.600000e+01 | Inf
1138.20/1138.20 c 1111s|510000 | 3735 | 1839k| 3.6 | 90M| 157 | 9 |3717 | 24k|3717 | 915 | 102k| 579k|5847 | 0.000000e+00 | 1.600000e+01 | Inf
1162.40/1162.47 c 1135s|520000 | 3712 | 1882k| 3.6 | 90M| 157 | - |3717 | 21k| 0 | 0 | 104k| 593k|5854 | 0.000000e+00 | 1.600000e+01 | Inf
1185.81/1185.85 c 1159s|530000 | 3765 | 1919k| 3.6 | 92M| 157 | - |3717 | 23k| 0 | 0 | 105k| 607k|5912 | 0.000000e+00 | 1.600000e+01 | Inf
1209.00/1209.03 c 1181s|540000 | 3785 | 1951k| 3.6 | 93M| 157 | 10 |3717 | 23k|3717 | 915 | 105k| 622k|5975 | 0.000000e+00 | 1.600000e+01 | Inf
1234.81/1234.86 c 1207s|550000 | 3823 | 1991k| 3.6 | 95M| 157 | 1 |3717 | 26k|3717 | 915 | 107k| 635k|6024 | 0.000000e+00 | 1.600000e+01 | Inf
1260.70/1260.72 c 1233s|560000 | 3823 | 2028k| 3.6 | 93M| 157 | 10 |3717 | 19k|3717 | 927 | 108k| 649k|6075 | 0.000000e+00 | 1.600000e+01 | Inf
1283.00/1283.04 c 1255s|570000 | 3885 | 2062k| 3.6 | 94M| 157 | - |3717 | 18k| 0 | 0 | 109k| 662k|6145 | 0.000000e+00 | 1.600000e+01 | Inf
1305.10/1305.15 c 1277s|580000 | 3914 | 2101k| 3.6 | 95M| 157 | - |3717 | 20k| 0 | 0 | 110k| 675k|6203 | 0.000000e+00 | 1.600000e+01 | Inf
1327.51/1327.51 c 1299s|590000 | 3946 | 2139k| 3.6 | 96M| 157 | - |3717 | 19k| 0 | 0 | 111k| 688k|6266 | 0.000000e+00 | 1.600000e+01 | Inf
1349.40/1349.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.40/1349.43 c 1320s|600000 | 4002 | 2174k| 3.6 | 96M| 157 | - |3717 | 15k| 0 | 0 | 112k| 702k|6388 | 0.000000e+00 | 1.600000e+01 | Inf
1371.90/1371.96 c 1343s|610000 | 4017 | 2209k| 3.6 | 98M| 157 | 11 |3717 | 19k|3717 | 915 | 114k| 715k|6417 | 0.000000e+00 | 1.600000e+01 | Inf
1395.71/1395.80 c 1366s|620000 | 4045 | 2242k| 3.6 | 99M| 157 | - |3717 | 20k| 0 | 0 | 115k| 728k|6471 | 0.000000e+00 | 1.600000e+01 | Inf
1396.31/1396.36 o 7
1396.31/1396.36 c *1367s|620250 | 2455 | 2242k| 3.6 | 66M| 157 | - |3717 | 20k|3717 | 919 | 115k| 728k|6471 | 0.000000e+00 | 7.000000e+00 | Inf
1419.31/1419.35 c 1389s|630000 | 2479 | 2285k| 3.6 | 66M| 157 | 17 |3717 | 19k|3717 | 915 | 116k| 742k|6537 | 0.000000e+00 | 7.000000e+00 | Inf
1442.70/1442.72 c 1413s|640000 | 2460 | 2330k| 3.6 | 65M| 157 | 18 |3717 | 17k|3717 | 915 | 117k| 755k|6615 | 0.000000e+00 | 7.000000e+00 | Inf
1465.41/1465.49 c 1435s|650000 | 2477 | 2367k| 3.6 | 67M| 157 | - |3717 | 22k| 0 | 0 | 118k| 769k|6667 | 0.000000e+00 | 7.000000e+00 | Inf
1491.62/1491.65 c 1461s|660000 | 2464 | 2414k| 3.7 | 68M| 157 | 9 |3717 | 24k|3717 | 915 | 119k| 782k|6721 | 0.000000e+00 | 7.000000e+00 | Inf
1517.80/1517.80 c 1487s|670000 | 2473 | 2454k| 3.7 | 68M| 157 | 24 |3717 | 23k|3717 | 915 | 120k| 795k|6766 | 0.000000e+00 | 7.000000e+00 | Inf
1544.32/1544.39 c 1513s|680000 | 2512 | 2490k| 3.7 | 69M| 157 | 10 |3717 | 25k|3717 | 915 | 121k| 809k|6836 | 0.000000e+00 | 7.000000e+00 | Inf
1571.01/1571.05 c 1540s|690000 | 2511 | 2528k| 3.7 | 70M| 157 | - |3717 | 26k| 0 | 0 | 122k| 822k|6903 | 0.000000e+00 | 7.000000e+00 | Inf
1596.92/1596.96 c 1565s|700000 | 2479 | 2565k| 3.7 | 70M| 157 | - |3717 | 25k| 0 | 0 | 124k| 836k|6934 | 0.000000e+00 | 7.000000e+00 | Inf
1623.31/1623.36 c 1592s|710000 | 2495 | 2602k| 3.7 | 72M| 157 | 1 |3717 | 30k|3717 | 915 | 125k| 850k|6983 | 0.000000e+00 | 7.000000e+00 | Inf
1651.82/1651.81 c 1620s|720000 | 2467 | 2641k| 3.7 | 70M| 157 | - |3717 | 25k| 0 | 0 | 126k| 864k|7060 | 0.000000e+00 | 7.000000e+00 | Inf
1678.41/1678.46 c 1646s|730000 | 2504 | 2686k| 3.7 | 70M| 157 | 13 |3717 | 22k|3717 | 915 | 127k| 877k|7120 | 0.000000e+00 | 7.000000e+00 | Inf
1701.73/1701.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.73/1701.71 c 1669s|740000 | 2508 | 2722k| 3.7 | 71M| 157 | - |3717 | 26k| 0 | 0 | 128k| 891k|7140 | 0.000000e+00 | 7.000000e+00 | Inf
1727.22/1727.26 c 1694s|750000 | 2530 | 2756k| 3.7 | 73M| 157 | 8 |3717 | 29k|3717 | 915 | 128k| 904k|7215 | 0.000000e+00 | 7.000000e+00 | Inf
1755.01/1755.09 c 1722s|760000 | 2540 | 2789k| 3.7 | 75M| 157 | 20 |3717 | 34k|3717 | 915 | 129k| 917k|7253 | 0.000000e+00 | 7.000000e+00 | Inf
1785.22/1785.30 c 1752s|770000 | 2552 | 2829k| 3.7 | 75M| 157 | 13 |3717 | 33k|3717 | 915 | 130k| 931k|7284 | 0.000000e+00 | 7.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.01 c Solving Time (sec) : 1766.59
1800.02/1800.01 c Solving Nodes : 774832
1800.02/1800.01 c Primal Bound : +7.00000000000000e+00 (264 solutions)
1800.02/1800.01 c Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Gap : infinite
1800.02/1800.05 s SATISFIABLE
1800.02/1800.05 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.05 v x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126
1800.02/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105
1800.02/1800.05 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.02/1800.05 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.02/1800.05 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.02/1800.05 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 x3 -x2
1800.02/1800.05 v -x1
1800.02/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.05 c Solving Time : 1766.59
1800.02/1800.05 c Original Problem :
1800.02/1800.05 c Problem name : HOME/instance-2692845-1277906597.wbo
1800.02/1800.05 c Variables : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.02/1800.05 c Constraints : 4524 initial, 4524 maximal
1800.02/1800.05 c Presolved Problem :
1800.02/1800.05 c Problem name : t_HOME/instance-2692845-1277906597.wbo
1800.02/1800.05 c Variables : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.02/1800.05 c Constraints : 4346 initial, 34727 maximal
1800.02/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.05 c trivial : 0.00 73 0 0 0 0 0 0 0
1800.02/1800.05 c dualfix : 0.00 73 0 0 0 0 0 0 0
1800.02/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.05 c indicator : 0.00 0 0 0 0 0 73 0 0
1800.02/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c linear : 0.06 0 0 0 1836 0 105 87 0
1800.02/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c root node : - 1643 - - 3286 - - - -
1800.02/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.05 c integral : 0 0 0 477021 0 20 559 0 0 779476
1800.02/1800.05 c indicator : 1743 0 3832336 86774 0 776 5590859 0 0 0
1800.02/1800.05 c setppc : 6 6 3786999 55707 0 23375 967259 0 0 0
1800.02/1800.05 c linear : 1743 6 3809674 84127 0 152390 18235715 131200 0 0
1800.02/1800.05 c logicor : 854+ 6 1478320 69812 0 169047 3761001 0 0 0
1800.02/1800.05 c bounddisjunction : 0+ 0 26447 0 0 0 56 0 0 0
1800.02/1800.05 c countsols : 0 0 0 69812 0 0 0 0 0 0
1800.02/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.05 c integral : 21.57 0.00 0.00 21.57 0.00
1800.02/1800.05 c indicator : 33.24 0.01 22.36 10.87 0.00
1800.02/1800.05 c setppc : 8.66 0.00 8.65 0.01 0.00
1800.02/1800.05 c linear : 145.12 0.00 142.24 2.88 0.00
1800.02/1800.05 c logicor : 319.46 0.00 319.02 0.44 0.00
1800.02/1800.05 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.02/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.05 c vbounds : 0.55 2 0 0
1800.02/1800.05 c rootredcost : 0.52 55 0 1642
1800.02/1800.05 c pseudoobj : 140.01 3850581 13855 4250343
1800.02/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.05 c propagation : 18.54 358667 358438 2356671 27.8 17154 21.4 -
1800.02/1800.05 c infeasible LP : 5.08 16292 16292 141654 40.0 244 16.0 0
1800.02/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.05 c pseudo solution : 0.02 207 207 1226 18.5 82 5.5 -
1800.02/1800.05 c applied globally : - - - 937674 21.4 - - -
1800.02/1800.05 c applied locally : - - - 0 0.0 - - -
1800.02/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.05 c cut pool : 0.00 5 - - 29 - (maximal pool size: 88)
1800.02/1800.05 c redcost : 27.97 485397 0 1172119 0 0
1800.02/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.05 c intobj : 0.00 0 0 0 0 0
1800.02/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.05 c gomory : 0.14 6 0 0 475 0
1800.02/1800.05 c strongcg : 0.08 6 0 0 225 0
1800.02/1800.05 c cmir : 0.03 6 0 0 0 0
1800.02/1800.05 c flowcover : 0.06 6 0 0 0 0
1800.02/1800.05 c clique : 0.00 6 0 0 0 0
1800.02/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.05 c mcf : 0.00 1 0 0 0 0
1800.02/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.05 c Pricers : Time Calls Vars
1800.02/1800.05 c problem variables: 0.00 0 0
1800.02/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.05 c relpscost : 21.25 390228 20 559 0 0 779476
1800.02/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.05 c inference : 10.07 69758 0 0 0 0 139516
1800.02/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.05 c random : 0.00 0 0 0 0 0 0
1800.02/1800.05 c Primal Heuristics : Time Calls Found
1800.02/1800.05 c LP solutions : 0.15 - 54
1800.02/1800.05 c pseudo solutions : 0.00 - 0
1800.02/1800.05 c feaspump : 0.01 1 0
1800.02/1800.05 c oneopt : 0.37 40 0
1800.02/1800.05 c intshifting : 0.00 11 0
1800.02/1800.05 c crossover : 1.73 69 0
1800.02/1800.05 c linesearchdiving : 1.72 1690 0
1800.02/1800.05 c guideddiving : 1.76 1690 0
1800.02/1800.05 c coefdiving : 1.70 1691 0
1800.02/1800.05 c pscostdiving : 1.73 1691 0
1800.02/1800.05 c fracdiving : 1.51 1691 0
1800.02/1800.05 c veclendiving : 1.63 1691 0
1800.02/1800.05 c rootsoldiving : 2.30 1570 0
1800.02/1800.05 c objpscostdiving : 1.50 1571 0
1800.02/1800.05 c trivial : 0.00 2 0
1800.02/1800.05 c simplerounding : 0.65 392526 0
1800.02/1800.05 c zirounding : 0.28 1000 0
1800.02/1800.05 c rounding : 2.49 8892 0
1800.02/1800.05 c shifting : 1.79 2734 0
1800.02/1800.05 c twoopt : 0.00 0 0
1800.02/1800.05 c fixandinfer : 0.00 0 0
1800.02/1800.05 c intdiving : 0.00 0 0
1800.02/1800.05 c actconsdiving : 0.00 0 0
1800.02/1800.05 c octane : 0.00 0 0
1800.02/1800.05 c rens : 0.02 1 0
1800.02/1800.05 c rins : 0.00 0 0
1800.02/1800.05 c localbranching : 0.00 0 0
1800.02/1800.05 c mutation : 0.00 0 0
1800.02/1800.05 c dins : 0.00 0 0
1800.02/1800.05 c undercover : 0.00 0 0
1800.02/1800.05 c nlp : 0.13 0 0
1800.02/1800.05 c trysol : 2.46 7627 210
1800.02/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.05 c dual LP : 492.29 428719 2845693 6.64 5780.52
1800.02/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.05 c diving/probing LP: 0.53 360 2034 5.65 3837.74
1800.02/1800.05 c strong branching : 17.83 7329 115747 15.79 6491.70
1800.02/1800.05 c (at root node) : - 33 2191 66.39 -
1800.02/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.05 c B&B Tree :
1800.02/1800.05 c number of runs : 1
1800.02/1800.05 c nodes : 774832
1800.02/1800.05 c nodes (total) : 774832
1800.02/1800.05 c nodes left : 2547
1800.02/1800.05 c max depth : 157
1800.02/1800.05 c max depth (total): 157
1800.02/1800.05 c backtracks : 72755 (9.4%)
1800.02/1800.05 c delayed cutoffs : 64703
1800.02/1800.05 c repropagations : 1683297 (6833409 domain reductions, 60450 cutoffs)
1800.02/1800.05 c avg switch length: 5.79
1800.02/1800.05 c switching time : 283.62
1800.02/1800.05 c Solution :
1800.02/1800.05 c Solutions found : 264 (55 improvements)
1800.02/1800.05 c First Solution : +8.86900000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.02/1800.05 c Primal Bound : +7.00000000000000e+00 (in run 1, after 620250 nodes, 1366.74 seconds, depth 49, found by <relaxation>)
1800.02/1800.05 c Dual Bound : +0.00000000000000e+00
1800.02/1800.05 c Gap : infinite
1800.02/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.05 c Root Iterations : 163
1800.12/1800.18 c Time complete: 1800.19.