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-2704999-1278574750.wbo>
0.01/0.03 c original problem has 3909 variables (2070 bin, 0 int, 1839 impl, 0 cont) and 4547 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.01/0.08 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.01/0.09 c (round 3) 47 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.09/0.10 c (round 4) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 126 impls, 9 clqs
0.09/0.11 c (round 5) 138 del vars, 191 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 126 impls, 9 clqs
0.09/0.15 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 138 deleted vars, 191 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.15 c 3652 implications, 9 cliques
0.09/0.15 c presolved problem has 3771 variables (2001 bin, 0 int, 1770 impl, 0 cont) and 4356 constraints
0.09/0.15 c 33 constraints of type <setppc>
0.09/0.15 c 1770 constraints of type <linear>
0.09/0.15 c 1770 constraints of type <indicator>
0.09/0.15 c 783 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.12
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.16 c
0.09/0.16 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.16 c 0.1s| 1 | 0 | 10 | - | 14M| 0 | 6 |3771 |4356 |3771 | 816 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 58 | - | 14M| 0 | 28 |3771 |4356 |3771 | 832 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 86 | - | 14M| 0 | 37 |3771 |4356 |3771 | 854 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 114 | - | 14M| 0 | 43 |3771 |4356 |3771 | 862 | 46 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 148 | - | 15M| 0 | 42 |3771 |4356 |3771 | 874 | 58 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.4s| 1 | 0 | 258 | - | 15M| 0 | 37 |3771 |4356 |3771 | 878 | 62 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 318 | - | 15M| 0 | 32 |3771 |4356 |3771 | 890 | 74 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.86 c 0.8s| 1 | 2 | 318 | - | 15M| 0 | 32 |3771 |4356 |3771 | 890 | 74 | 0 | 17 | 0.000000e+00 | -- | Inf
5.19/5.28 o 88064
5.19/5.28 c y 5.3s| 57 | 56 | 3589 | 58.4 | 15M| 18 | - |3771 |4356 | 0 | 0 | 212 | 0 | 700 | 0.000000e+00 | 8.806400e+04 | Inf
26.24/26.42 c 26.4s| 10000 | 9981 | 41300 | 4.1 | 39M| 295 | 0 |3771 |4366 |3771 | 937 |6303 | 10 |1351 | 0.000000e+00 | 8.806400e+04 | Inf
26.94/27.17 o 629
26.94/27.17 c *27.1s| 10617 | 8630 | 41378 | 3.9 | 37M| 541 | - |3771 |4366 |3771 | 939 |6314 | 10 |1355 | 0.000000e+00 | 6.290000e+02 | Inf
28.34/28.53 o 452
28.34/28.53 c *28.5s| 11563 | 7278 | 42145 | 3.6 | 35M| 611 | - |3771 |4366 |3771 | 945 |6468 | 10 |1358 | 0.000000e+00 | 4.520000e+02 | Inf
28.34/28.55 o 451
28.34/28.55 c *28.5s| 11569 | 7268 | 42167 | 3.6 | 35M| 611 | - |3771 |4376 |3771 | 944 |6468 | 20 |1358 | 0.000000e+00 | 4.510000e+02 | Inf
28.34/28.56 o 317
28.34/28.56 c *28.5s| 11571 | 5105 | 42190 | 3.6 | 32M| 611 | - |3771 |4376 |3771 | 944 |6468 | 20 |1359 | 0.000000e+00 | 3.170000e+02 | Inf
32.54/32.71 o 309
32.54/32.71 c *32.7s| 13190 | 5693 | 51962 | 3.9 | 36M| 611 | - |3771 |5848 |3771 | 906 |7840 |1583 |1392 | 0.000000e+00 | 3.090000e+02 | Inf
32.54/32.76 o 304
32.54/32.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.54/32.76 c *32.7s| 13210 | 5576 | 51999 | 3.9 | 36M| 611 | - |3771 |5912 |3771 | 910 |7844 |1647 |1393 | 0.000000e+00 | 3.040000e+02 | Inf
33.04/33.25 o 303
33.04/33.25 c *33.2s| 13394 | 5620 | 53031 | 3.9 | 37M| 611 | - |3771 |6124 |3771 | 929 |7949 |1882 |1394 | 0.000000e+00 | 3.030000e+02 | Inf
42.53/42.78 o 302
42.53/42.78 c *42.8s| 16720 | 7243 | 80014 | 4.8 | 47M| 611 | - |3771 |8551 |3771 | 917 | 11k|5055 |1467 | 0.000000e+00 | 3.020000e+02 | Inf
43.64/43.87 o 285
43.64/43.87 c *43.8s| 17205 | 7121 | 81251 | 4.7 | 47M| 611 | - |3771 |8729 |3771 | 953 | 11k|5371 |1468 | 0.000000e+00 | 2.850000e+02 | Inf
49.04/49.28 o 281
49.04/49.28 c *49.2s| 19171 | 7966 | 93014 | 4.8 | 51M| 611 | - |3771 |8985 |3771 | 911 | 13k|7160 |1476 | 0.000000e+00 | 2.810000e+02 | Inf
51.54/51.78 c 51.8s| 20000 | 8388 |100509 | 5.0 | 53M| 611 | 14 |3771 |8948 |3771 | 926 | 14k|7895 |1527 | 0.000000e+00 | 2.810000e+02 | Inf
52.94/53.18 o 278
52.94/53.18 c *53.2s| 20605 | 8706 |103134 | 5.0 | 54M| 611 | - |3771 |8790 |3771 | 954 | 14k|8219 |1532 | 0.000000e+00 | 2.780000e+02 | Inf
55.63/55.85 o 276
55.63/55.85 c *55.8s| 21607 | 9165 |109342 | 5.0 | 55M| 611 | - |3771 |8180 |3771 | 908 | 15k|9012 |1535 | 0.000000e+00 | 2.760000e+02 | Inf
55.84/56.06 o 251
55.84/56.06 c R56.0s| 21660 | 8522 |110260 | 5.1 | 53M| 611 | - |3771 |8162 |3771 | 941 | 15k|9059 |1535 | 0.000000e+00 | 2.510000e+02 | Inf
55.94/56.12 o 242
55.94/56.12 c *56.1s| 21683 | 8309 |110465 | 5.1 | 52M| 611 | - |3771 |8168 |3771 | 911 | 15k|9072 |1535 | 0.000000e+00 | 2.420000e+02 | Inf
60.34/60.53 o 237
60.34/60.53 c *60.5s| 23139 | 8956 |125175 | 5.4 | 56M| 611 | - |3771 |7468 |3771 | 968 | 17k| 10k|1538 | 0.000000e+00 | 2.370000e+02 | Inf
61.33/61.59 o 233
61.33/61.59 c *61.6s| 23516 | 8996 |127960 | 5.4 | 56M| 611 | - |3771 |7456 |3771 | 939 | 17k| 10k|1538 | 0.000000e+00 | 2.330000e+02 | Inf
66.03/66.23 o 231
66.03/66.23 c *66.2s| 25068 | 9635 |142456 | 5.7 | 60M| 611 | - |3771 |6863 |3771 | 949 | 19k| 12k|1538 | 0.000000e+00 | 2.310000e+02 | Inf
75.42/75.62 o 226
75.42/75.62 c *75.6s| 28358 | 10888 |173830 | 6.1 | 66M| 611 | - |3771 |6624 |3771 | 936 | 23k| 14k|1538 | 0.000000e+00 | 2.260000e+02 | Inf
75.83/76.04 o 204
75.83/76.04 c *76.0s| 28487 | 9848 |174418 | 6.1 | 60M| 611 | - |3771 |6631 |3771 | 934 | 23k| 14k|1538 | 0.000000e+00 | 2.040000e+02 | Inf
75.83/76.09 o 199
75.83/76.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.83/76.09 c *76.1s| 28502 | 9630 |174515 | 6.1 | 58M| 611 | - |3771 |6633 |3771 | 934 | 23k| 14k|1538 | 0.000000e+00 | 1.990000e+02 | Inf
76.03/76.25 o 197
76.03/76.25 c R76.2s| 28560 | 9564 |174941 | 6.1 | 58M| 611 | - |3771 |6668 |3771 | 957 | 23k| 14k|1538 | 0.000000e+00 | 1.970000e+02 | Inf
76.13/76.32 o 177
76.13/76.32 c *76.3s| 28583 | 8699 |175250 | 6.1 | 52M| 611 | - |3771 |6681 |3771 | 934 | 23k| 14k|1538 | 0.000000e+00 | 1.770000e+02 | Inf
76.23/76.41 o 174
76.23/76.41 c *76.4s| 28600 | 8612 |175811 | 6.1 | 52M| 611 | - |3771 |6648 |3771 | 924 | 23k| 14k|1538 | 0.000000e+00 | 1.740000e+02 | Inf
78.03/78.27 o 172
78.03/78.27 c *78.2s| 29147 | 8610 |182738 | 6.3 | 53M| 611 | - |3771 |6405 |3771 | 953 | 24k| 15k|1538 | 0.000000e+00 | 1.720000e+02 | Inf
78.03/78.28 o 164
78.03/78.28 c *78.3s| 29148 | 8350 |182756 | 6.3 | 51M| 611 | - |3771 |6405 |3771 | 953 | 24k| 15k|1538 | 0.000000e+00 | 1.640000e+02 | Inf
78.93/79.18 o 136
78.93/79.18 c *79.2s| 29489 | 6939 |185045 | 6.3 | 45M| 611 | - |3771 |6500 |3771 | 928 | 24k| 15k|1538 | 0.000000e+00 | 1.360000e+02 | Inf
79.13/79.33 o 129
79.13/79.33 c *79.3s| 29512 | 6476 |186060 | 6.3 | 44M| 611 | - |3771 |6471 |3771 | 918 | 24k| 15k|1538 | 0.000000e+00 | 1.290000e+02 | Inf
79.23/79.48 o 127
79.23/79.48 c R79.5s| 29548 | 6390 |186684 | 6.3 | 43M| 611 | - |3771 |6432 |3771 | 959 | 24k| 15k|1538 | 0.000000e+00 | 1.270000e+02 | Inf
80.73/80.93 c 80.9s| 30000 | 6512 |190434 | 6.3 | 45M| 611 | 1 |3771 |6348 |3771 | 932 | 24k| 16k|1538 | 0.000000e+00 | 1.270000e+02 | Inf
81.43/81.61 o 122
81.43/81.61 c *81.6s| 30229 | 6310 |191551 | 6.3 | 44M| 611 | - |3771 |6383 |3771 | 918 | 25k| 16k|1538 | 0.000000e+00 | 1.220000e+02 | Inf
81.72/81.95 o 108
81.72/81.95 c *81.9s| 30274 | 5584 |193711 | 6.4 | 41M| 611 | - |3771 |6349 |3771 | 915 | 25k| 16k|1538 | 0.000000e+00 | 1.080000e+02 | Inf
82.03/82.25 o 105
82.03/82.25 c *82.2s| 30356 | 5156 |194585 | 6.4 | 40M| 611 | - |3771 |6339 |3771 | 895 | 25k| 16k|1538 | 0.000000e+00 | 1.050000e+02 | Inf
82.43/82.66 o 88
82.43/82.66 c *82.6s| 30511 | 4643 |195517 | 6.4 | 39M| 611 | - |3771 |6364 |3771 | 940 | 25k| 17k|1538 | 0.000000e+00 | 8.800000e+01 | Inf
83.34/83.58 o 84
83.34/83.58 c *83.5s| 30840 | 4598 |197469 | 6.4 | 39M| 611 | - |3771 |6029 |3771 | 933 | 25k| 17k|1538 | 0.000000e+00 | 8.400000e+01 | Inf
84.43/84.68 o 80
84.43/84.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.43/84.68 c *84.7s| 31240 | 4477 |200735 | 6.4 | 39M| 611 | - |3771 |5639 |3771 | 956 | 25k| 17k|1538 | 0.000000e+00 | 8.000000e+01 | Inf
84.53/84.78 o 70
84.53/84.78 c *84.8s| 31271 | 4137 |200955 | 6.4 | 38M| 611 | - |3771 |5533 |3771 | 921 | 25k| 17k|1538 | 0.000000e+00 | 7.000000e+01 | Inf
84.93/85.14 o 69
84.93/85.14 c *85.1s| 31407 | 4117 |201616 | 6.4 | 38M| 611 | - |3771 |5366 |3771 | 932 | 25k| 18k|1538 | 0.000000e+00 | 6.900000e+01 | Inf
84.93/85.18 o 68
84.93/85.18 c *85.2s| 31415 | 3909 |201819 | 6.4 | 38M| 611 | - |3771 |5326 |3771 | 919 | 25k| 18k|1538 | 0.000000e+00 | 6.800000e+01 | Inf
85.03/85.22 o 61
85.03/85.22 c *85.2s| 31418 | 3687 |201995 | 6.4 | 37M| 611 | - |3771 |5292 |3771 | 938 | 25k| 18k|1538 | 0.000000e+00 | 6.100000e+01 | Inf
85.23/85.43 o 57
85.23/85.43 c *85.4s| 31498 | 3260 |202886 | 6.4 | 35M| 611 | - |3771 |5105 |3771 | 926 | 26k| 18k|1538 | 0.000000e+00 | 5.700000e+01 | Inf
85.33/85.58 o 55
85.33/85.58 c *85.6s| 31541 | 3229 |203419 | 6.4 | 35M| 611 | - |3771 |4924 |3771 | 926 | 26k| 18k|1538 | 0.000000e+00 | 5.500000e+01 | Inf
85.43/85.61 o 48
85.43/85.61 c *85.6s| 31549 | 3042 |203440 | 6.4 | 34M| 611 | - |3771 |4861 |3771 | 924 | 26k| 18k|1538 | 0.000000e+00 | 4.800000e+01 | Inf
85.43/85.61 o 47
85.43/85.61 c *85.6s| 31550 | 3028 |203440 | 6.4 | 34M| 611 | - |3771 |4861 |3771 | 924 | 26k| 18k|1538 | 0.000000e+00 | 4.700000e+01 | Inf
85.43/85.65 o 45
85.43/85.65 c *85.6s| 31558 | 1951 |203617 | 6.4 | 29M| 611 | - |3771 |4707 |3771 | 949 | 26k| 18k|1538 | 0.000000e+00 | 4.500000e+01 | Inf
101.73/101.90 c 102s| 40000 | 2181 |250713 | 6.3 | 36M| 611 | 7 |3771 |7113 |3771 | 911 | 28k| 28k|1538 | 0.000000e+00 | 4.500000e+01 | Inf
120.23/120.43 c 120s| 50000 | 2474 |292448 | 5.8 | 43M| 611 | - |3771 |8198 | 0 | 0 | 30k| 40k|1538 | 0.000000e+00 | 4.500000e+01 | Inf
138.83/139.08 c 139s| 60000 | 2690 |332082 | 5.5 | 47M| 611 | - |3771 |8342 | 0 | 0 | 33k| 53k|1539 | 0.000000e+00 | 4.500000e+01 | Inf
140.73/140.96 o 42
140.73/140.96 c * 141s| 60965 | 2647 |336318 | 5.5 | 47M| 611 | - |3771 |8686 |3771 | 900 | 33k| 54k|1541 | 0.000000e+00 | 4.200000e+01 | Inf
151.23/151.41 o 36
151.23/151.41 c * 151s| 66565 | 2668 |359260 | 5.4 | 49M| 611 | - |3771 |8048 |3771 | 899 | 35k| 61k|1569 | 0.000000e+00 | 3.600000e+01 | Inf
151.33/151.52 o 25
151.33/151.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.33/151.52 c * 151s| 66622 | 2492 |359404 | 5.4 | 46M| 611 | - |3771 |7823 |3771 | 914 | 35k| 62k|1569 | 0.000000e+00 | 2.500000e+01 | Inf
156.83/157.06 c 157s| 70000 | 2497 |373898 | 5.3 | 46M| 611 | - |3771 |6535 | 0 | 0 | 36k| 66k|1574 | 0.000000e+00 | 2.500000e+01 | Inf
174.14/174.39 c 174s| 80000 | 2748 |423038 | 5.3 | 50M| 611 | - |3771 |8943 | 0 | 0 | 38k| 79k|1632 | 0.000000e+00 | 2.500000e+01 | Inf
191.03/191.30 c 191s| 90000 | 2906 |465294 | 5.2 | 53M| 611 | 1 |3771 | 11k|3771 | 897 | 41k| 92k|1693 | 0.000000e+00 | 2.500000e+01 | Inf
208.93/209.15 c 209s|100000 | 2905 |506219 | 5.1 | 54M| 611 | - |3771 |8333 | 0 | 0 | 43k| 104k|1766 | 0.000000e+00 | 2.500000e+01 | Inf
226.03/226.24 c 226s|110000 | 3062 |547662 | 5.0 | 58M| 611 | - |3771 | 10k| 0 | 0 | 45k| 117k|1816 | 0.000000e+00 | 2.500000e+01 | Inf
243.83/244.08 c 244s|120000 | 3240 |587180 | 4.9 | 61M| 611 | - |3771 | 11k| 0 | 0 | 47k| 129k|1899 | 0.000000e+00 | 2.500000e+01 | Inf
261.83/262.03 o 22
261.83/262.03 c * 262s|129916 | 3458 |629629 | 4.8 | 62M| 611 | - |3771 | 12k|3771 | 929 | 50k| 142k|1958 | 0.000000e+00 | 2.200000e+01 | Inf
261.93/262.19 c 262s|130000 | 3462 |629988 | 4.8 | 62M| 611 | 9 |3771 | 12k|3771 | 910 | 50k| 142k|1958 | 0.000000e+00 | 2.200000e+01 | Inf
279.73/279.90 c 280s|140000 | 3604 |671694 | 4.8 | 64M| 611 | 21 |3771 | 10k|3771 | 891 | 52k| 155k|2025 | 0.000000e+00 | 2.200000e+01 | Inf
297.23/297.42 c 297s|150000 | 3750 |711290 | 4.7 | 67M| 611 | 12 |3771 | 12k|3771 | 902 | 54k| 168k|2087 | 0.000000e+00 | 2.200000e+01 | Inf
307.14/307.33 o 12
307.14/307.33 c * 307s|155468 | 3438 |734146 | 4.7 | 61M| 611 | - |3771 | 11k|3771 | 917 | 56k| 176k|2121 | 0.000000e+00 | 1.200000e+01 | Inf
314.94/315.19 c 315s|160000 | 3480 |757987 | 4.7 | 61M| 611 | 17 |3771 | 11k|3771 | 913 | 57k| 182k|2169 | 0.000000e+00 | 1.200000e+01 | Inf
318.13/318.34 o 8
318.13/318.34 c * 318s|161908 | 3392 |766331 | 4.7 | 60M| 611 | - |3771 | 12k|3771 | 933 | 58k| 184k|2169 | 0.000000e+00 | 8.000000e+00 | Inf
331.84/332.07 c 332s|170000 | 3390 |810949 | 4.8 | 60M| 611 | 1 |3771 |9222 |3771 | 909 | 59k| 195k|2270 | 0.000000e+00 | 8.000000e+00 | Inf
348.44/348.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.44/348.68 c 349s|180000 | 3450 |870322 | 4.8 | 61M| 611 | 10 |3771 |9438 |3771 | 910 | 62k| 209k|2356 | 0.000000e+00 | 8.000000e+00 | Inf
355.33/355.52 o 4
355.33/355.52 c * 355s|184032 | 3282 |894948 | 4.9 | 59M| 611 | - |3771 |9170 |3771 | 925 | 63k| 215k|2404 | 0.000000e+00 | 4.000000e+00 | Inf
364.83/365.01 c 365s|190000 | 3295 |926906 | 4.9 | 60M| 611 | - |3771 | 10k| 0 | 0 | 64k| 222k|2457 | 0.000000e+00 | 4.000000e+00 | Inf
380.34/380.60 c 381s|200000 | 3194 |977429 | 4.9 | 60M| 611 | 11 |3771 |8010 |3771 | 907 | 66k| 235k|2581 | 0.000000e+00 | 4.000000e+00 | Inf
396.54/396.77 c 397s|210000 | 3299 | 1035k| 4.9 | 61M| 611 | - |3771 | 10k| 0 | 0 | 68k| 249k|2629 | 0.000000e+00 | 4.000000e+00 | Inf
412.13/412.40 c 412s|220000 | 3298 | 1084k| 4.9 | 62M| 611 | - |3771 | 10k| 0 | 0 | 70k| 264k|2713 | 0.000000e+00 | 4.000000e+00 | Inf
428.43/428.61 c 429s|230000 | 3185 | 1143k| 5.0 | 61M| 611 | - |3771 |8715 | 0 | 0 | 72k| 277k|2862 | 0.000000e+00 | 4.000000e+00 | Inf
444.43/444.60 c 445s|240000 | 3275 | 1199k| 5.0 | 64M| 611 | 1 |3771 | 11k|3771 | 881 | 74k| 291k|2929 | 0.000000e+00 | 4.000000e+00 | Inf
461.44/461.66 c 462s|250000 | 3378 | 1254k| 5.0 | 66M| 611 | - |3771 | 14k| 0 | 0 | 76k| 304k|2972 | 0.000000e+00 | 4.000000e+00 | Inf
479.83/480.01 c 480s|260000 | 3590 | 1314k| 5.1 | 68M| 611 | - |3771 | 14k| 0 | 0 | 79k| 317k|3094 | 0.000000e+00 | 4.000000e+00 | Inf
497.13/497.34 c 497s|270000 | 3667 | 1366k| 5.1 | 69M| 611 | 8 |3771 | 16k|3771 | 903 | 81k| 331k|3146 | 0.000000e+00 | 4.000000e+00 | Inf
517.04/517.23 c 517s|280000 | 3739 | 1431k| 5.1 | 70M| 611 | 24 |3771 | 15k|3771 | 896 | 83k| 344k|3221 | 0.000000e+00 | 4.000000e+00 | Inf
536.23/536.42 c 536s|290000 | 3735 | 1494k| 5.2 | 70M| 611 | - |3771 | 14k| 0 | 0 | 86k| 358k|3342 | 0.000000e+00 | 4.000000e+00 | Inf
555.43/555.65 c 556s|300000 | 3874 | 1567k| 5.2 | 72M| 611 | 1 |3771 | 16k|3771 | 904 | 88k| 372k|3427 | 0.000000e+00 | 4.000000e+00 | Inf
574.83/575.00 c 575s|310000 | 3879 | 1631k| 5.3 | 73M| 611 | - |3771 | 17k| 0 | 0 | 91k| 387k|3476 | 0.000000e+00 | 4.000000e+00 | Inf
593.64/593.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.64/593.89 c 594s|320000 | 3981 | 1694k| 5.3 | 74M| 611 | 19 |3771 | 17k|3771 | 909 | 92k| 401k|3597 | 0.000000e+00 | 4.000000e+00 | Inf
613.13/613.33 c 613s|330000 | 4115 | 1759k| 5.3 | 76M| 611 | 19 |3771 | 17k|3771 | 909 | 95k| 415k|3687 | 0.000000e+00 | 4.000000e+00 | Inf
631.83/632.02 c 632s|340000 | 4148 | 1820k| 5.4 | 77M| 611 | 26 |3771 | 19k|3771 | 909 | 97k| 430k|3763 | 0.000000e+00 | 4.000000e+00 | Inf
651.23/651.40 c 651s|350000 | 4245 | 1887k| 5.4 | 78M| 611 | 15 |3771 | 19k|3771 | 918 | 100k| 445k|3827 | 0.000000e+00 | 4.000000e+00 | Inf
670.93/671.15 c 671s|360000 | 4201 | 1952k| 5.4 | 78M| 611 | 27 |3771 | 18k|3771 | 909 | 102k| 459k|3882 | 0.000000e+00 | 4.000000e+00 | Inf
689.93/690.19 c 690s|370000 | 4174 | 2015k| 5.4 | 79M| 611 | - |3771 | 18k| 0 | 0 | 104k| 474k|3965 | 0.000000e+00 | 4.000000e+00 | Inf
709.84/710.07 c 710s|380000 | 3996 | 2085k| 5.5 | 77M| 611 | - |3771 | 17k| 0 | 0 | 106k| 490k|4057 | 0.000000e+00 | 4.000000e+00 | Inf
728.93/729.14 c 729s|390000 | 4007 | 2150k| 5.5 | 78M| 611 | - |3771 | 19k| 0 | 0 | 108k| 504k|4129 | 0.000000e+00 | 4.000000e+00 | Inf
747.84/748.05 c 748s|400000 | 4038 | 2209k| 5.5 | 77M| 611 | 13 |3771 | 17k|3771 | 901 | 110k| 517k|4208 | 0.000000e+00 | 4.000000e+00 | Inf
767.13/767.32 c 767s|410000 | 4105 | 2267k| 5.5 | 79M| 611 | 1 |3771 | 19k|3771 | 881 | 114k| 531k|4273 | 0.000000e+00 | 4.000000e+00 | Inf
786.73/786.91 c 787s|420000 | 4098 | 2322k| 5.5 | 79M| 611 | 10 |3771 | 19k|3771 | 907 | 116k| 545k|4327 | 0.000000e+00 | 4.000000e+00 | Inf
806.74/806.96 c 807s|430000 | 4041 | 2381k| 5.5 | 80M| 611 | - |3771 | 19k| 0 | 0 | 119k| 559k|4394 | 0.000000e+00 | 4.000000e+00 | Inf
826.63/826.88 c 827s|440000 | 4026 | 2442k| 5.6 | 79M| 611 | - |3771 | 16k| 0 | 0 | 121k| 572k|4459 | 0.000000e+00 | 4.000000e+00 | Inf
847.14/847.34 c 847s|450000 | 4051 | 2517k| 5.6 | 81M| 611 | - |3771 | 21k| 0 | 0 | 123k| 586k|4543 | 0.000000e+00 | 4.000000e+00 | Inf
867.83/868.09 c 868s|460000 | 3995 | 2580k| 5.6 | 81M| 611 | - |3771 | 23k|3771 | 920 | 125k| 600k|4594 | 0.000000e+00 | 4.000000e+00 | Inf
889.34/889.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.34/889.56 c 890s|470000 | 4077 | 2649k| 5.6 | 83M| 611 | - |3771 | 25k| 0 | 0 | 127k| 614k|4661 | 0.000000e+00 | 4.000000e+00 | Inf
911.23/911.45 c 911s|480000 | 3986 | 2713k| 5.7 | 80M| 611 | 11 |3771 | 18k|3771 | 881 | 130k| 628k|4726 | 0.000000e+00 | 4.000000e+00 | Inf
932.43/932.66 c 933s|490000 | 4015 | 2780k| 5.7 | 82M| 611 | 15 |3771 | 22k|3771 | 904 | 132k| 642k|4768 | 0.000000e+00 | 4.000000e+00 | Inf
953.73/953.96 c 954s|500000 | 3981 | 2842k| 5.7 | 81M| 611 | 18 |3771 | 21k|3771 | 895 | 134k| 657k|4846 | 0.000000e+00 | 4.000000e+00 | Inf
974.04/974.27 c 974s|510000 | 4042 | 2904k| 5.7 | 82M| 611 | 1 |3771 | 19k|3771 | 881 | 136k| 670k|4906 | 0.000000e+00 | 4.000000e+00 | Inf
995.13/995.39 c 995s|520000 | 4118 | 2970k| 5.7 | 83M| 611 | 21 |3771 | 21k|3771 | 896 | 138k| 684k|4959 | 0.000000e+00 | 4.000000e+00 | Inf
1017.24/1017.40 c 1017s|530000 | 4065 | 3039k| 5.7 | 82M| 611 | 20 |3771 | 18k|3771 | 890 | 139k| 699k|5016 | 0.000000e+00 | 4.000000e+00 | Inf
1037.04/1037.28 c 1037s|540000 | 4071 | 3102k| 5.7 | 83M| 611 | - |3771 | 21k| 0 | 0 | 142k| 713k|5082 | 0.000000e+00 | 4.000000e+00 | Inf
1058.13/1058.36 c 1058s|550000 | 4117 | 3173k| 5.8 | 84M| 611 | 17 |3771 | 20k|3771 | 920 | 143k| 727k|5138 | 0.000000e+00 | 4.000000e+00 | Inf
1078.73/1078.93 c 1079s|560000 | 4051 | 3239k| 5.8 | 82M| 611 | - |3771 | 17k| 0 | 0 | 145k| 741k|5208 | 0.000000e+00 | 4.000000e+00 | Inf
1098.33/1098.50 c 1098s|570000 | 4078 | 3300k| 5.8 | 83M| 611 | 13 |3771 | 19k|3771 | 902 | 147k| 754k|5256 | 0.000000e+00 | 4.000000e+00 | Inf
1119.14/1119.33 c 1119s|580000 | 4026 | 3367k| 5.8 | 82M| 611 | - |3771 | 16k| 0 | 0 | 149k| 768k|5317 | 0.000000e+00 | 4.000000e+00 | Inf
1139.45/1139.64 c 1140s|590000 | 3995 | 3440k| 5.8 | 83M| 611 | 20 |3771 | 18k|3771 | 909 | 151k| 783k|5383 | 0.000000e+00 | 4.000000e+00 | Inf
1159.64/1159.89 c 1160s|600000 | 4007 | 3508k| 5.8 | 83M| 611 | - |3771 | 19k| 0 | 0 | 154k| 796k|5446 | 0.000000e+00 | 4.000000e+00 | Inf
1180.94/1181.16 c 1181s|610000 | 4025 | 3573k| 5.9 | 85M| 611 | - |3771 | 22k| 0 | 0 | 156k| 810k|5495 | 0.000000e+00 | 4.000000e+00 | Inf
1201.84/1202.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.84/1202.08 c 1202s|620000 | 3939 | 3629k| 5.9 | 82M| 611 | 6 |3771 | 16k|3771 | 908 | 158k| 825k|5882 | 0.000000e+00 | 4.000000e+00 | Inf
1219.94/1220.10 c 1220s|630000 | 3940 | 3684k| 5.8 | 81M| 611 | - |3771 | 13k| 0 | 0 | 160k| 838k|5947 | 0.000000e+00 | 4.000000e+00 | Inf
1239.15/1239.33 c 1239s|640000 | 3985 | 3749k| 5.9 | 83M| 611 | 28 |3771 | 17k|3771 | 883 | 162k| 851k|5951 | 0.000000e+00 | 4.000000e+00 | Inf
1259.24/1259.43 c 1259s|650000 | 3974 | 3806k| 5.9 | 85M| 611 | - |3771 | 20k| 0 | 0 | 164k| 865k|5964 | 0.000000e+00 | 4.000000e+00 | Inf
1281.54/1281.73 c 1282s|660000 | 3984 | 3867k| 5.9 | 84M| 611 | 11 |3771 | 19k|3771 | 902 | 165k| 878k|6016 | 0.000000e+00 | 4.000000e+00 | Inf
1300.44/1300.66 c 1301s|670000 | 4072 | 3922k| 5.9 | 86M| 611 | - |3771 | 21k| 0 | 0 | 167k| 892k|6059 | 0.000000e+00 | 4.000000e+00 | Inf
1320.44/1320.64 c 1321s|680000 | 4187 | 3975k| 5.8 | 87M| 611 | 20 |3771 | 23k|3771 | 907 | 169k| 907k|6082 | 0.000000e+00 | 4.000000e+00 | Inf
1341.04/1341.28 c 1341s|690000 | 4238 | 4029k| 5.8 | 88M| 611 | - |3771 | 24k| 0 | 0 | 172k| 921k|6127 | 0.000000e+00 | 4.000000e+00 | Inf
1362.65/1362.90 c 1363s|700000 | 4224 | 4086k| 5.8 | 89M| 611 | - |3771 | 25k| 0 | 0 | 174k| 935k|6177 | 0.000000e+00 | 4.000000e+00 | Inf
1383.04/1383.28 c 1383s|710000 | 4014 | 4143k| 5.8 | 85M| 611 | - |3771 | 16k| 0 | 0 | 176k| 949k|6289 | 0.000000e+00 | 4.000000e+00 | Inf
1402.64/1402.84 c 1403s|720000 | 4124 | 4198k| 5.8 | 87M| 611 | - |3771 | 19k| 0 | 0 | 177k| 963k|6335 | 0.000000e+00 | 4.000000e+00 | Inf
1421.64/1421.85 c 1422s|730000 | 4044 | 4250k| 5.8 | 86M| 611 | - |3771 | 17k| 0 | 0 | 179k| 977k|6415 | 0.000000e+00 | 4.000000e+00 | Inf
1440.04/1440.25 c 1440s|740000 | 3924 | 4312k| 5.8 | 84M| 611 | 13 |3771 | 11k|3771 | 890 | 180k| 990k|6457 | 0.000000e+00 | 4.000000e+00 | Inf
1458.64/1458.88 c 1459s|750000 | 3986 | 4375k| 5.8 | 86M| 611 | 1 |3771 | 15k|3771 | 909 | 183k|1003k|6483 | 0.000000e+00 | 4.000000e+00 | Inf
1478.35/1478.59 c 1479s|760000 | 3889 | 4436k| 5.8 | 85M| 611 | - |3771 | 14k| 0 | 0 | 185k|1017k|6556 | 0.000000e+00 | 4.000000e+00 | Inf
1497.44/1497.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.44/1497.62 c 1498s|770000 | 4001 | 4490k| 5.8 | 87M| 611 | - |3771 | 18k| 0 | 0 | 187k|1031k|6603 | 0.000000e+00 | 4.000000e+00 | Inf
1517.55/1517.73 c 1518s|780000 | 4052 | 4543k| 5.8 | 89M| 611 | - |3771 | 19k| 0 | 0 | 190k|1044k|6625 | 0.000000e+00 | 4.000000e+00 | Inf
1537.55/1537.79 c 1538s|790000 | 4062 | 4596k| 5.8 | 89M| 611 | 7 |3771 | 17k|3771 | 915 | 192k|1058k|6662 | 0.000000e+00 | 4.000000e+00 | Inf
1556.15/1556.33 c 1556s|800000 | 4003 | 4649k| 5.8 | 88M| 611 | 10 |3771 | 13k|3771 | 915 | 194k|1072k|6738 | 0.000000e+00 | 4.000000e+00 | Inf
1574.45/1574.67 c 1575s|810000 | 3941 | 4707k| 5.8 | 87M| 611 | 5 |3771 | 12k|3771 | 884 | 195k|1085k|6752 | 0.000000e+00 | 4.000000e+00 | Inf
1592.24/1592.40 c 1592s|820000 | 4016 | 4763k| 5.8 | 88M| 611 | 1 |3771 | 13k|3771 | 883 | 197k|1099k|6825 | 0.000000e+00 | 4.000000e+00 | Inf
1611.35/1611.52 c 1611s|830000 | 4222 | 4832k| 5.8 | 91M| 611 | - |3771 | 15k| 0 | 0 | 200k|1113k|6880 | 0.000000e+00 | 4.000000e+00 | Inf
1630.65/1630.85 c 1631s|840000 | 4307 | 4889k| 5.8 | 92M| 611 | 1 |3771 | 16k|3771 | 893 | 202k|1126k|6897 | 0.000000e+00 | 4.000000e+00 | Inf
1650.05/1650.21 c 1650s|850000 | 4362 | 4947k| 5.8 | 93M| 611 | 24 |3771 | 16k|3771 | 897 | 204k|1139k|6947 | 0.000000e+00 | 4.000000e+00 | Inf
1670.14/1670.33 c 1670s|860000 | 4446 | 5008k| 5.8 | 94M| 611 | 1 |3771 | 18k|3771 | 908 | 207k|1154k|7005 | 0.000000e+00 | 4.000000e+00 | Inf
1691.25/1691.46 c 1691s|870000 | 4582 | 5069k| 5.8 | 97M| 611 | - |3771 | 21k| 0 | 0 | 209k|1169k|7033 | 0.000000e+00 | 4.000000e+00 | Inf
1712.84/1713.07 c 1713s|880000 | 4630 | 5125k| 5.8 | 98M| 611 | 25 |3771 | 21k|3771 | 904 | 211k|1183k|7075 | 0.000000e+00 | 4.000000e+00 | Inf
1734.04/1734.29 c 1734s|890000 | 4624 | 5183k| 5.8 | 98M| 611 | - |3771 | 20k| 0 | 0 | 213k|1199k|7129 | 0.000000e+00 | 4.000000e+00 | Inf
1755.24/1755.42 c 1755s|900000 | 4643 | 5245k| 5.8 | 99M| 611 | - |3771 | 21k| 0 | 0 | 216k|1214k|7144 | 0.000000e+00 | 4.000000e+00 | Inf
1776.95/1777.13 c 1777s|910000 | 4666 | 5307k| 5.8 | 99M| 611 | 1 |3771 | 21k|3771 | 900 | 218k|1228k|7194 | 0.000000e+00 | 4.000000e+00 | Inf
1789.85/1790.01 c
1789.85/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.85/1790.01 c Solving Time (sec) : 1789.98
1789.85/1790.01 c Solving Nodes : 915758
1789.85/1790.01 c Primal Bound : +4.00000000000000e+00 (182 solutions)
1789.85/1790.01 c Dual Bound : +0.00000000000000e+00
1789.85/1790.01 c Gap : infinite
1789.85/1790.04 s SATISFIABLE
1789.85/1790.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1789.85/1790.04 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1789.85/1790.04 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1789.85/1790.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1789.85/1790.04 v x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1789.85/1790.04 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1789.85/1790.04 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
1789.85/1790.04 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
1789.85/1790.04 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
1789.85/1790.04 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
1789.85/1790.04 v x1
1789.85/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.85/1790.04 c Solving Time : 1789.98
1789.85/1790.04 c Original Problem :
1789.85/1790.04 c Problem name : HOME/instance-2704999-1278574750.wbo
1789.85/1790.04 c Variables : 3909 (2070 binary, 0 integer, 1839 implicit integer, 0 continuous)
1789.85/1790.04 c Constraints : 4547 initial, 4547 maximal
1789.85/1790.04 c Presolved Problem :
1789.85/1790.04 c Problem name : t_HOME/instance-2704999-1278574750.wbo
1789.85/1790.04 c Variables : 3771 (2001 binary, 0 integer, 1770 implicit integer, 0 continuous)
1789.85/1790.04 c Constraints : 4356 initial, 26819 maximal
1789.85/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.85/1790.04 c trivial : 0.00 69 0 0 0 0 0 0 0
1789.85/1790.04 c dualfix : 0.00 69 0 0 0 0 0 0 0
1789.85/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.85/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.85/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1789.85/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1789.85/1790.04 c setppc : 0.00 0 0 0 0 0 17 0 0
1789.85/1790.04 c linear : 0.06 0 0 0 1861 0 105 91 0
1789.85/1790.04 c indicator : 0.00 0 0 0 0 0 69 0 0
1789.85/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1789.85/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1789.85/1790.04 c root node : - 3444 - - 3444 - - - -
1789.85/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.85/1790.04 c integral : 0 0 0 533751 0 59 705 0 0 977934
1789.85/1790.04 c setppc : 33 6 4968093 43916 0 17642 1209802 0 0 0
1789.85/1790.04 c linear : 1770 6 4956294 44103 0 269083 21782510 219251 0 0
1789.85/1790.04 c indicator : 1770 0 4662963 44076 0 904 3247475 0 0 0
1789.85/1790.04 c logicor : 783+ 6 1657952 16680 0 155141 3813158 0 0 0
1789.85/1790.04 c bounddisjunction : 0+ 0 156260 0 0 102 4618 0 0 0
1789.85/1790.04 c countsols : 0 0 0 16680 0 0 0 0 0 0
1789.85/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.85/1790.04 c integral : 21.03 0.00 0.00 21.03 0.00
1789.85/1790.04 c setppc : 11.40 0.00 11.37 0.03 0.00
1789.85/1790.04 c linear : 177.46 0.00 174.40 3.05 0.00
1789.85/1790.04 c indicator : 31.99 0.02 28.33 3.65 0.00
1789.85/1790.04 c logicor : 262.83 0.00 262.53 0.30 0.00
1789.85/1790.04 c bounddisjunction : 1.68 0.00 1.68 0.00 0.00
1789.85/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.85/1790.04 c Propagators : Time Calls Cutoffs DomReds
1789.85/1790.04 c vbounds : 0.81 28593 0 2675
1789.85/1790.04 c rootredcost : 0.70 51 0 1722
1789.85/1790.04 c pseudoobj : 134.18 4984356 10291 3286837
1789.85/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.85/1790.04 c propagation : 23.50 452259 452030 2763040 27.8 13598 26.7 -
1789.85/1790.04 c infeasible LP : 7.30 24203 24203 194428 44.2 272 17.7 0
1789.85/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.85/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.85/1790.04 c pseudo solution : 0.00 3 3 24 32.9 0 0.0 -
1789.85/1790.04 c applied globally : - - - 1237790 22.7 - - -
1789.85/1790.04 c applied locally : - - - 0 0.0 - - -
1789.85/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.85/1790.04 c cut pool : 0.00 5 - - 24 - (maximal pool size: 333)
1789.85/1790.04 c redcost : 35.51 537151 0 123450 0 0
1789.85/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1789.85/1790.04 c intobj : 0.00 0 0 0 0 0
1789.85/1790.04 c cgmip : 0.00 0 0 0 0 0
1789.85/1790.04 c gomory : 0.08 6 0 0 1493 0
1789.85/1790.04 c strongcg : 0.07 6 0 0 1526 0
1789.85/1790.04 c cmir : 0.02 6 0 0 1 0
1789.85/1790.04 c flowcover : 0.05 6 0 0 2 0
1789.85/1790.04 c clique : 0.00 6 0 0 0 0
1789.85/1790.04 c zerohalf : 0.00 0 0 0 0 0
1789.85/1790.04 c mcf : 0.00 1 0 0 0 0
1789.85/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1789.85/1790.04 c Pricers : Time Calls Vars
1789.85/1790.04 c problem variables: 0.00 0 0
1789.85/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.85/1790.04 c relpscost : 20.55 489564 59 705 0 0 977934
1789.85/1790.04 c pscost : 0.00 0 0 0 0 0 0
1789.85/1790.04 c inference : 6.04 16633 0 0 0 0 33887
1789.85/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1789.85/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1789.85/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1789.85/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1789.85/1790.04 c random : 0.00 0 0 0 0 0 0
1789.85/1790.04 c Primal Heuristics : Time Calls Found
1789.85/1790.04 c LP solutions : 0.06 - 47
1789.85/1790.04 c pseudo solutions : 0.00 - 0
1789.85/1790.04 c intshifting : 0.01 0 0
1789.85/1790.04 c feaspump : 0.02 1 0
1789.85/1790.04 c oneopt : 0.45 49 0
1789.85/1790.04 c crossover : 1.78 54 0
1789.85/1790.04 c fracdiving : 0.26 187 0
1789.85/1790.04 c veclendiving : 0.27 187 0
1789.85/1790.04 c linesearchdiving : 0.25 187 0
1789.85/1790.04 c coefdiving : 0.30 187 0
1789.85/1790.04 c guideddiving : 0.54 188 0
1789.85/1790.04 c pscostdiving : 0.24 188 0
1789.85/1790.04 c rootsoldiving : 0.29 174 0
1789.85/1790.04 c objpscostdiving : 0.25 175 0
1789.85/1790.04 c trivial : 0.00 2 0
1789.85/1790.04 c simplerounding : 0.69 489913 0
1789.85/1790.04 c zirounding : 0.22 1000 0
1789.85/1790.04 c rounding : 5.11 55464 3
1789.85/1790.04 c shifting : 0.77 3054 0
1789.85/1790.04 c twoopt : 0.00 0 0
1789.85/1790.04 c fixandinfer : 0.00 0 0
1789.85/1790.04 c intdiving : 0.00 0 0
1789.85/1790.04 c actconsdiving : 0.00 0 0
1789.85/1790.04 c octane : 0.00 0 0
1789.85/1790.04 c rens : 0.03 1 0
1789.85/1790.04 c rins : 0.00 0 0
1789.85/1790.04 c localbranching : 0.00 0 0
1789.85/1790.04 c mutation : 0.00 0 0
1789.85/1790.04 c dins : 0.00 0 0
1789.85/1790.04 c undercover : 0.00 0 0
1789.85/1790.04 c nlp : 0.16 0 0
1789.85/1790.04 c trysol : 0.37 503 132
1789.85/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1789.85/1790.04 c primal LP : 0.00 0 0 0.00 -
1789.85/1790.04 c dual LP : 582.94 542797 5341917 9.84 9163.75
1789.85/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1789.85/1790.04 c barrier LP : 0.00 0 0 0.00 -
1789.85/1790.04 c diving/probing LP: 0.39 275 3192 11.61 8090.41
1789.85/1790.04 c strong branching : 16.49 7217 190785 26.44 11568.80
1789.85/1790.04 c (at root node) : - 17 3858 226.94 -
1789.85/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1789.85/1790.04 c B&B Tree :
1789.85/1790.04 c number of runs : 1
1789.85/1790.04 c nodes : 915758
1789.85/1790.04 c nodes (total) : 915758
1789.85/1790.04 c nodes left : 4640
1789.85/1790.04 c max depth : 611
1789.85/1790.04 c max depth (total): 611
1789.85/1790.04 c backtracks : 81499 (8.9%)
1789.85/1790.04 c delayed cutoffs : 71853
1789.85/1790.04 c repropagations : 2575099 (5721052 domain reductions, 67077 cutoffs)
1789.85/1790.04 c avg switch length: 6.98
1789.85/1790.04 c switching time : 271.91
1789.85/1790.04 c Solution :
1789.85/1790.04 c Solutions found : 182 (51 improvements)
1789.85/1790.04 c First Solution : +8.80640000000000e+04 (in run 1, after 56 nodes, 5.24 seconds, depth 17, found by <trysol>)
1789.85/1790.04 c Primal Bound : +4.00000000000000e+00 (in run 1, after 184032 nodes, 355.49 seconds, depth 27, found by <relaxation>)
1789.85/1790.04 c Dual Bound : +0.00000000000000e+00
1789.85/1790.04 c Gap : infinite
1789.85/1790.04 c Root Dual Bound : +0.00000000000000e+00
1789.85/1790.04 c Root Iterations : 318
1789.95/1790.17 c Time complete: 1790.02.