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-2693402-1277902133.wbo>
0.00/0.03 c original problem has 3891 variables (2061 bin, 0 int, 0 impl, 1830 cont) and 4538 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.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.07/0.09 c (round 2) 0 del vars, 63 del conss, 1830 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.07/0.10 c (round 3) 48 del vars, 129 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.11 c (round 4) 107 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.12 c (round 5) 118 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/2002 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 118 deleted vars, 140 deleted constraints, 1841 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients
0.09/0.17 c 1960 implications, 7 cliques
0.09/0.17 c presolved problem has 3773 variables (2002 bin, 0 int, 0 impl, 1771 cont) and 4398 constraints
0.09/0.17 c 1771 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1771 constraints of type <linear>
0.09/0.17 c 849 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.10
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 | 8 | - | 13M| 0 | 5 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 89215
0.09/0.19 c y 0.1s| 1 | 0 | 8 | - | 14M| 0 | 5 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 49 | - | 14M| 0 | 14 |3773 |4398 |3773 | 877 | 21 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 103 | - | 14M| 0 | 37 |3773 |4398 |3773 | 891 | 35 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 128 | - | 14M| 0 | 26 |3773 |4398 |3773 | 902 | 46 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 144 | - | 14M| 0 | 1 |3773 |4398 |3773 | 913 | 57 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 287 | - | 14M| 0 | 29 |3773 |4398 |3773 | 917 | 61 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.38/0.43 c 0.4s| 1 | 0 | 309 | - | 14M| 0 | 28 |3773 |4398 |3773 | 925 | 69 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.38/0.49 c 0.4s| 1 | 0 | 481 | - | 15M| 0 | 30 |3773 |4398 |3773 | 928 | 72 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 499 | - | 15M| 0 | 29 |3773 |4398 |3773 | 930 | 74 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.59/0.60 c 0.5s| 1 | 0 | 584 | - | 15M| 0 | 23 |3773 |4398 |3773 | 932 | 76 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
1.09/1.19 c 1.1s| 1 | 2 | 584 | - | 15M| 0 | 23 |3773 |4398 |3773 | 932 | 76 | 0 | 23 | 0.000000e+00 | 8.921500e+04 | Inf
9.69/9.79 o 882
9.69/9.79 c * 9.3s| 2667 | 2311 | 12760 | 4.6 | 25M| 133 | - |3773 |4422 |3773 | 963 |1765 | 24 |1377 | 0.000000e+00 | 8.820000e+02 | Inf
9.79/9.80 o 780
9.79/9.80 c * 9.3s| 2673 | 2183 | 12768 | 4.6 | 25M| 133 | - |3773 |4422 |3773 | 963 |1765 | 24 |1377 | 0.000000e+00 | 7.800000e+02 | Inf
11.09/11.16 o 554
11.09/11.16 c *10.6s| 3467 | 2504 | 14357 | 4.0 | 26M| 165 | - |3773 |4644 |3773 | 964 |1942 | 246 |1423 | 0.000000e+00 | 5.540000e+02 | Inf
11.49/11.52 o 429
11.49/11.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.52 c *11.0s| 3722 | 2346 | 14590 | 3.8 | 26M| 165 | - |3773 |4724 |3773 | 967 |1965 | 326 |1427 | 0.000000e+00 | 4.290000e+02 | Inf
13.10/13.19 o 424
13.10/13.19 c *12.6s| 4534 | 2888 | 16886 | 3.6 | 28M| 165 | - |3773 |5333 |3773 | 945 |2278 | 995 |1465 | 0.000000e+00 | 4.240000e+02 | Inf
13.20/13.22 o 400
13.20/13.22 c *12.6s| 4542 | 2764 | 16905 | 3.6 | 28M| 165 | - |3773 |5343 |3773 | 948 |2281 |1005 |1465 | 0.000000e+00 | 4.000000e+02 | Inf
17.39/17.46 o 386
17.39/17.46 c *16.6s| 6262 | 3804 | 27801 | 4.3 | 32M| 165 | - |3773 |5921 |3773 | 963 |3634 |2633 |1603 | 0.000000e+00 | 3.860000e+02 | Inf
18.28/18.33 o 383
18.28/18.33 c *17.5s| 6604 | 4050 | 30097 | 4.5 | 33M| 165 | - |3773 |5850 |3773 | 959 |3991 |2822 |1612 | 0.000000e+00 | 3.830000e+02 | Inf
25.99/26.01 c 24.9s| 10000 | 6397 | 48549 | 4.8 | 40M| 165 | 6 |3773 |6186 |3773 | 962 |6716 |5597 |1661 | 0.000000e+00 | 3.830000e+02 | Inf
31.98/32.04 o 356
31.98/32.04 c *30.7s| 12931 | 8648 | 59687 | 4.6 | 46M| 165 | - |3773 |5932 |3773 | 953 |8693 |6746 |1680 | 0.000000e+00 | 3.560000e+02 | Inf
37.79/37.82 o 322
37.79/37.82 c *36.3s| 15538 | 10096 | 73476 | 4.7 | 49M| 165 | - |3773 |6022 |3773 | 966 | 10k|8282 |1702 | 0.000000e+00 | 3.220000e+02 | Inf
43.79/43.84 o 319
43.79/43.84 c *42.1s| 17963 | 11728 | 92055 | 5.1 | 54M| 165 | - |3773 |5865 |3773 | 985 | 13k|9830 |1741 | 0.000000e+00 | 3.190000e+02 | Inf
48.08/48.16 c 46.2s| 20000 | 13204 |101054 | 5.0 | 58M| 165 | 0 |3773 |6153 |3773 | 969 | 14k| 11k|1745 | 0.000000e+00 | 3.190000e+02 | Inf
48.99/49.03 o 313
48.99/49.03 c *47.0s| 20433 | 13429 |102524 | 5.0 | 59M| 165 | - |3773 |6301 |3773 | 969 | 15k| 11k|1745 | 0.000000e+00 | 3.130000e+02 | Inf
48.99/49.06 o 311
48.99/49.06 c *47.1s| 20439 | 13378 |102560 | 5.0 | 59M| 165 | - |3773 |6305 |3773 | 971 | 15k| 11k|1745 | 0.000000e+00 | 3.110000e+02 | Inf
49.29/49.32 o 306
49.29/49.32 c v47.3s| 20579 | 13385 |102828 | 5.0 | 59M| 165 | - |3773 |6369 |3773 | 963 | 15k| 11k|1745 | 0.000000e+00 | 3.060000e+02 | Inf
51.19/51.24 o 302
51.19/51.24 c *49.1s| 21352 | 13702 |108195 | 5.0 | 60M| 165 | - |3773 |6497 |3773 | 961 | 15k| 12k|1745 | 0.000000e+00 | 3.020000e+02 | Inf
53.49/53.56 o 300
53.49/53.56 c *51.4s| 22340 | 14249 |113478 | 5.1 | 62M| 165 | - |3773 |6616 |3773 | 989 | 16k| 13k|1746 | 0.000000e+00 | 3.000000e+02 | Inf
70.79/70.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.79/70.87 c 68.0s| 30000 | 19005 |146665 | 4.9 | 78M| 165 | - |3773 |7479 | 0 | 0 | 22k| 19k|1752 | 0.000000e+00 | 3.000000e+02 | Inf
87.19/87.22 o 294
87.19/87.22 c f83.8s| 37722 | 23624 |173057 | 4.6 | 91M| 165 | - |3773 |7585 |3773 | 992 | 27k| 26k|1752 | 0.000000e+00 | 2.940000e+02 | Inf
90.59/90.62 o 269
90.59/90.62 c *87.0s| 39367 | 23645 |178373 | 4.5 | 90M| 165 | - |3773 |7207 |3773 | 981 | 28k| 27k|1752 | 0.000000e+00 | 2.690000e+02 | Inf
90.59/90.63 o 257
90.59/90.63 c *87.0s| 39368 | 23020 |178374 | 4.5 | 88M| 165 | - |3773 |7207 |3773 | 981 | 28k| 27k|1752 | 0.000000e+00 | 2.570000e+02 | Inf
90.79/90.81 o 255
90.79/90.81 c *87.2s| 39455 | 23010 |178562 | 4.5 | 88M| 165 | - |3773 |7175 |3773 | 970 | 28k| 27k|1752 | 0.000000e+00 | 2.550000e+02 | Inf
90.79/90.85 o 149
90.79/90.85 c *87.2s| 39466 | 15209 |178586 | 4.5 | 61M| 165 | - |3773 |7180 |3773 | 972 | 28k| 27k|1752 | 0.000000e+00 | 1.490000e+02 | Inf
91.99/92.02 c 88.4s| 40000 | 15402 |180384 | 4.5 | 62M| 165 | 7 |3773 |6999 |3773 | 982 | 28k| 27k|1752 | 0.000000e+00 | 1.490000e+02 | Inf
93.09/93.10 o 146
93.09/93.10 c *89.4s| 40454 | 15369 |182511 | 4.5 | 62M| 165 | - |3773 |6853 |3773 | 956 | 29k| 28k|1754 | 0.000000e+00 | 1.460000e+02 | Inf
100.59/100.66 o 143
100.59/100.66 c *96.6s| 43833 | 16550 |194050 | 4.4 | 69M| 165 | - |3773 |7051 |3773 | 984 | 30k| 31k|1756 | 0.000000e+00 | 1.430000e+02 | Inf
103.59/103.61 o 140
103.59/103.61 c *99.4s| 44952 | 16493 |200958 | 4.5 | 71M| 165 | - |3773 |6648 |3773 | 990 | 31k| 32k|1757 | 0.000000e+00 | 1.400000e+02 | Inf
106.49/106.54 o 138
106.49/106.54 c * 102s| 46335 | 16746 |205762 | 4.4 | 73M| 165 | - |3773 |6838 |3773 | 980 | 32k| 34k|1761 | 0.000000e+00 | 1.380000e+02 | Inf
106.59/106.66 o 137
106.59/106.66 c * 102s| 46384 | 16662 |205943 | 4.4 | 73M| 165 | - |3773 |6841 |3773 | 996 | 32k| 34k|1761 | 0.000000e+00 | 1.370000e+02 | Inf
108.29/108.33 o 136
108.29/108.33 c * 104s| 47183 | 16788 |208794 | 4.4 | 73M| 165 | - |3773 |6998 |3773 |1013 | 32k| 35k|1761 | 0.000000e+00 | 1.360000e+02 | Inf
109.79/109.86 o 135
109.79/109.86 c * 105s| 47894 | 16997 |211106 | 4.4 | 75M| 165 | - |3773 |7306 |3773 | 979 | 33k| 35k|1761 | 0.000000e+00 | 1.350000e+02 | Inf
109.79/109.87 o 132
109.79/109.87 c * 105s| 47895 | 16741 |211106 | 4.4 | 74M| 165 | - |3773 |7306 |3773 | 979 | 33k| 35k|1761 | 0.000000e+00 | 1.320000e+02 | Inf
114.30/114.34 o 129
114.30/114.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.30/114.34 c * 110s| 49813 | 16982 |219218 | 4.4 | 77M| 165 | - |3773 |7062 |3773 | 975 | 34k| 37k|1761 | 0.000000e+00 | 1.290000e+02 | Inf
114.69/114.79 c 110s| 50000 | 17098 |220021 | 4.4 | 78M| 165 | - |3773 |7041 | 0 | 0 | 34k| 38k|1761 | 0.000000e+00 | 1.290000e+02 | Inf
126.69/126.76 o 120
126.69/126.76 c * 122s| 54831 | 17409 |245461 | 4.5 | 85M| 165 | - |3773 |7206 |3773 | 958 | 37k| 43k|1806 | 0.000000e+00 | 1.200000e+02 | Inf
126.79/126.80 o 119
126.79/126.80 c * 122s| 54841 | 17312 |245506 | 4.5 | 85M| 165 | - |3773 |7201 |3773 | 972 | 37k| 43k|1806 | 0.000000e+00 | 1.190000e+02 | Inf
126.79/126.85 o 96
126.79/126.85 c * 122s| 54854 | 15258 |245585 | 4.5 | 78M| 165 | - |3773 |7190 |3773 | 984 | 37k| 43k|1806 | 0.000000e+00 | 9.600000e+01 | Inf
134.20/134.28 o 91
134.20/134.28 c * 129s| 57861 | 15335 |259044 | 4.5 | 82M| 165 | - |3773 |6725 |3773 | 966 | 38k| 47k|1814 | 0.000000e+00 | 9.100000e+01 | Inf
134.29/134.31 o 83
134.29/134.31 c * 129s| 57863 | 14379 |259085 | 4.5 | 80M| 165 | - |3773 |6565 |3773 | 968 | 38k| 47k|1814 | 0.000000e+00 | 8.300000e+01 | Inf
135.59/135.61 o 71
135.59/135.61 c * 130s| 58357 | 11665 |261487 | 4.5 | 70M| 165 | - |3773 |6199 |3773 | 953 | 38k| 48k|1837 | 0.000000e+00 | 7.100000e+01 | Inf
139.19/139.27 c 134s| 60000 | 11744 |268996 | 4.5 | 72M| 165 | 0 |3773 |5863 |3773 | 994 | 39k| 50k|1847 | 0.000000e+00 | 7.100000e+01 | Inf
144.49/144.54 o 70
144.49/144.54 c * 139s| 62269 | 11612 |281082 | 4.5 | 75M| 165 | - |3773 |6420 |3773 | 969 | 40k| 53k|1872 | 0.000000e+00 | 7.000000e+01 | Inf
152.39/152.43 o 66
152.39/152.43 c * 146s| 65776 | 10992 |296602 | 4.5 | 76M| 165 | - |3773 |6042 |3773 | 962 | 41k| 58k|1891 | 0.000000e+00 | 6.600000e+01 | Inf
152.39/152.44 o 60
152.39/152.44 c * 146s| 65777 | 10558 |296611 | 4.5 | 74M| 165 | - |3773 |6042 |3773 | 963 | 41k| 58k|1891 | 0.000000e+00 | 6.000000e+01 | Inf
156.79/156.82 o 56
156.79/156.82 c * 150s| 67718 | 10365 |307375 | 4.5 | 75M| 165 | - |3773 |5820 |3773 | 972 | 41k| 61k|1940 | 0.000000e+00 | 5.600000e+01 | Inf
162.09/162.15 c 155s| 70000 | 10379 |322294 | 4.6 | 78M| 165 | 19 |3773 |5244 |3773 | 944 | 42k| 64k|1975 | 0.000000e+00 | 5.600000e+01 | Inf
183.39/183.44 c 175s| 80000 | 10586 |374886 | 4.7 | 86M| 165 | 11 |3773 |8415 |3773 | 968 | 45k| 77k|2089 | 0.000000e+00 | 5.600000e+01 | Inf
203.89/203.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.89/203.94 c 195s| 90000 | 10850 |414645 | 4.6 | 91M| 165 | - |3773 |7420 | 0 | 0 | 48k| 90k|2203 | 0.000000e+00 | 5.600000e+01 | Inf
222.49/222.54 o 50
222.49/222.54 c * 213s| 99418 | 10485 |452940 | 4.6 | 92M| 165 | - |3773 |8307 |3773 | 949 | 50k| 101k|2283 | 0.000000e+00 | 5.000000e+01 | Inf
223.79/223.86 c 214s|100000 | 10515 |456424 | 4.6 | 92M| 165 | 1 |3773 |7342 |3773 | 967 | 51k| 102k|2290 | 0.000000e+00 | 5.000000e+01 | Inf
244.10/244.18 c 233s|110000 | 10838 |498408 | 4.5 | 98M| 165 | 1 |3773 |8130 |3773 | 971 | 53k| 115k|2358 | 0.000000e+00 | 5.000000e+01 | Inf
264.80/264.89 c 253s|120000 | 10969 |537787 | 4.5 | 101M| 165 | 1 |3773 |7797 |3773 | 984 | 56k| 128k|2477 | 0.000000e+00 | 5.000000e+01 | Inf
285.29/285.30 c 272s|130000 | 11094 |587661 | 4.5 | 106M| 165 | 1 |3773 |7656 |3773 | 977 | 58k| 141k|2589 | 0.000000e+00 | 5.000000e+01 | Inf
289.79/289.88 o 49
289.79/289.88 c * 277s|132315 | 11051 |596732 | 4.5 | 107M| 165 | - |3773 |8490 |3773 | 983 | 59k| 144k|2600 | 0.000000e+00 | 4.900000e+01 | Inf
296.19/296.24 o 38
296.19/296.24 c * 283s|135545 | 10046 |608630 | 4.5 | 97M| 165 | - |3773 |8197 |3773 | 979 | 60k| 148k|2612 | 0.000000e+00 | 3.800000e+01 | Inf
297.49/297.50 o 35
297.49/297.50 c * 284s|136229 | 9726 |610826 | 4.5 | 93M| 165 | - |3773 |7176 |3773 | 985 | 60k| 149k|2629 | 0.000000e+00 | 3.500000e+01 | Inf
304.60/304.64 c 291s|140000 | 9702 |629132 | 4.5 | 94M| 165 | 19 |3773 |6638 |3773 | 960 | 61k| 155k|2696 | 0.000000e+00 | 3.500000e+01 | Inf
323.60/323.68 c 309s|150000 | 9718 |676675 | 4.5 | 97M| 165 | 19 |3773 |7741 |3773 | 964 | 64k| 169k|2807 | 0.000000e+00 | 3.500000e+01 | Inf
343.10/343.18 c 327s|160000 | 9792 |725403 | 4.5 | 101M| 165 | 1 |3773 |9437 |3773 | 964 | 66k| 183k|2887 | 0.000000e+00 | 3.500000e+01 | Inf
350.19/350.27 o 9
350.19/350.27 c * 334s|163719 | 6387 |740002 | 4.5 | 71M| 165 | - |3773 | 11k|3773 | 970 | 67k| 188k|2930 | 0.000000e+00 | 9.000000e+00 | Inf
360.70/360.71 c 344s|170000 | 6424 |770534 | 4.5 | 72M| 165 | - |3773 | 11k| 0 | 0 | 69k| 196k|2999 | 0.000000e+00 | 9.000000e+00 | Inf
377.59/377.66 c 360s|180000 | 6445 |823613 | 4.6 | 73M| 165 | - |3773 |9672 | 0 | 0 | 71k| 210k|3100 | 0.000000e+00 | 9.000000e+00 | Inf
394.00/394.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.00/394.05 c 375s|190000 | 6455 |876190 | 4.6 | 74M| 165 | - |3773 | 10k| 0 | 0 | 74k| 225k|3206 | 0.000000e+00 | 9.000000e+00 | Inf
411.09/411.17 c 392s|200000 | 6438 |927345 | 4.6 | 74M| 165 | 8 |3773 | 11k|3773 | 927 | 76k| 238k|3304 | 0.000000e+00 | 9.000000e+00 | Inf
429.50/429.55 c 409s|210000 | 6564 |984949 | 4.7 | 76M| 165 | - |3773 | 13k| 0 | 0 | 79k| 251k|3410 | 0.000000e+00 | 9.000000e+00 | Inf
432.20/432.29 o 7
432.20/432.29 c * 412s|211563 | 6251 |993607 | 4.7 | 74M| 165 | - |3773 | 12k|3773 | 967 | 80k| 253k|3410 | 0.000000e+00 | 7.000000e+00 | Inf
446.70/446.72 c 425s|220000 | 6288 | 1033k| 4.7 | 74M| 165 | - |3773 | 12k| 0 | 0 | 82k| 264k|3470 | 0.000000e+00 | 7.000000e+00 | Inf
465.39/465.40 c 443s|230000 | 6446 | 1092k| 4.7 | 76M| 165 | 24 |3773 | 13k|3773 | 969 | 84k| 277k|3568 | 0.000000e+00 | 7.000000e+00 | Inf
482.80/482.89 c 460s|240000 | 6471 | 1145k| 4.8 | 76M| 165 | 5 |3773 | 12k|3773 | 965 | 87k| 291k|3651 | 0.000000e+00 | 7.000000e+00 | Inf
500.50/500.52 c 476s|250000 | 6519 | 1198k| 4.8 | 77M| 165 | 1 |3773 | 12k|3773 | 969 | 89k| 305k|3723 | 0.000000e+00 | 7.000000e+00 | Inf
518.40/518.44 c 493s|260000 | 6588 | 1253k| 4.8 | 79M| 165 | 16 |3773 | 13k|3773 | 969 | 91k| 319k|3786 | 0.000000e+00 | 7.000000e+00 | Inf
536.10/536.19 c 510s|270000 | 6560 | 1307k| 4.8 | 79M| 165 | 1 |3773 | 13k|3773 | 969 | 93k| 333k|3857 | 0.000000e+00 | 7.000000e+00 | Inf
553.70/553.74 c 527s|280000 | 6535 | 1359k| 4.9 | 79M| 165 | - |3773 | 13k| 0 | 0 | 95k| 347k|3926 | 0.000000e+00 | 7.000000e+00 | Inf
571.29/571.38 c 544s|290000 | 6458 | 1413k| 4.9 | 79M| 165 | 10 |3773 | 12k|3773 | 976 | 98k| 361k|4016 | 0.000000e+00 | 7.000000e+00 | Inf
589.20/589.25 c 561s|300000 | 6390 | 1474k| 4.9 | 78M| 165 | 16 |3773 | 11k|3773 | 984 | 100k| 376k|4135 | 0.000000e+00 | 7.000000e+00 | Inf
607.40/607.47 c 578s|310000 | 6305 | 1533k| 4.9 | 77M| 165 | 1 |3773 | 10k|3773 | 951 | 102k| 389k|4220 | 0.000000e+00 | 7.000000e+00 | Inf
608.00/608.03 o 2
608.00/608.03 c * 578s|310334 | 5451 | 1534k| 4.9 | 70M| 165 | - |3773 | 10k|3773 | 978 | 102k| 390k|4220 | 0.000000e+00 | 2.000000e+00 | Inf
624.90/624.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.90/624.97 c 594s|320000 | 5540 | 1585k| 5.0 | 72M| 165 | - |3773 | 13k| 0 | 0 | 104k| 402k|4303 | 0.000000e+00 | 2.000000e+00 | Inf
643.40/643.43 c 612s|330000 | 5554 | 1639k| 5.0 | 73M| 165 | - |3773 | 16k| 0 | 0 | 107k| 415k|4348 | 0.000000e+00 | 2.000000e+00 | Inf
663.70/663.78 c 631s|340000 | 5641 | 1698k| 5.0 | 76M| 165 | 16 |3773 | 20k|3773 | 984 | 110k| 429k|4439 | 0.000000e+00 | 2.000000e+00 | Inf
685.00/685.05 c 652s|350000 | 5660 | 1758k| 5.0 | 77M| 165 | - |3773 | 23k|3773 | 976 | 113k| 442k|4482 | 0.000000e+00 | 2.000000e+00 | Inf
707.80/707.84 c 674s|360000 | 5684 | 1824k| 5.1 | 78M| 165 | 26 |3773 | 23k|3773 | 981 | 116k| 456k|4564 | 0.000000e+00 | 2.000000e+00 | Inf
729.70/729.73 c 695s|370000 | 5669 | 1888k| 5.1 | 78M| 165 | 20 |3773 | 23k|3773 | 981 | 118k| 469k|4627 | 0.000000e+00 | 2.000000e+00 | Inf
749.60/749.60 c 713s|380000 | 5664 | 1940k| 5.1 | 77M| 165 | 17 |3773 | 19k|3773 | 947 | 122k| 482k|4744 | 0.000000e+00 | 2.000000e+00 | Inf
769.90/769.95 c 733s|390000 | 5689 | 1993k| 5.1 | 78M| 165 | 8 |3773 | 22k|3773 | 961 | 124k| 496k|4812 | 0.000000e+00 | 2.000000e+00 | Inf
792.40/792.43 c 754s|400000 | 5739 | 2052k| 5.1 | 81M| 165 | 7 |3773 | 27k|3773 | 927 | 128k| 509k|4884 | 0.000000e+00 | 2.000000e+00 | Inf
817.40/817.43 c 778s|410000 | 5824 | 2111k| 5.1 | 83M| 165 | - |3773 | 31k| 0 | 0 | 130k| 522k|4928 | 0.000000e+00 | 2.000000e+00 | Inf
844.30/844.35 c 804s|420000 | 5863 | 2169k| 5.2 | 85M| 165 | - |3773 | 34k| 0 | 0 | 133k| 536k|4989 | 0.000000e+00 | 2.000000e+00 | Inf
873.81/873.87 c 833s|430000 | 5815 | 2229k| 5.2 | 81M| 165 | 21 |3773 | 20k|3773 | 946 | 135k| 550k|5236 | 0.000000e+00 | 2.000000e+00 | Inf
894.10/894.15 c 852s|440000 | 5779 | 2296k| 5.2 | 81M| 165 | - |3773 | 18k| 0 | 0 | 138k| 563k|5410 | 0.000000e+00 | 2.000000e+00 | Inf
913.90/913.94 c 871s|450000 | 5848 | 2357k| 5.2 | 83M| 165 | 22 |3773 | 22k|3773 | 940 | 140k| 577k|5419 | 0.000000e+00 | 2.000000e+00 | Inf
935.01/935.08 c 891s|460000 | 5953 | 2416k| 5.3 | 85M| 165 | 21 |3773 | 25k|3773 | 949 | 143k| 590k|5483 | 0.000000e+00 | 2.000000e+00 | Inf
957.60/957.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.60/957.64 c 913s|470000 | 5964 | 2476k| 5.3 | 86M| 165 | 1 |3773 | 28k|3773 | 953 | 146k| 604k|5542 | 0.000000e+00 | 2.000000e+00 | Inf
980.70/980.75 c 935s|480000 | 5866 | 2539k| 5.3 | 85M| 165 | 15 |3773 | 26k|3773 | 960 | 148k| 618k|5599 | 0.000000e+00 | 2.000000e+00 | Inf
1001.90/1001.93 c 955s|490000 | 5524 | 2607k| 5.3 | 78M| 165 | 1 |3773 |9372 |3773 | 949 | 151k| 632k|5750 | 0.000000e+00 | 2.000000e+00 | Inf
1018.90/1018.98 c 972s|500000 | 5427 | 2660k| 5.3 | 79M| 165 | 1 |3773 | 12k|3773 | 947 | 154k| 646k|5813 | 0.000000e+00 | 2.000000e+00 | Inf
1037.10/1037.11 c 989s|510000 | 5264 | 2720k| 5.3 | 78M| 165 | - |3773 | 13k| 0 | 0 | 156k| 660k|5883 | 0.000000e+00 | 2.000000e+00 | Inf
1056.20/1056.27 c 1007s|520000 | 5204 | 2776k| 5.3 | 79M| 165 | 17 |3773 | 15k|3773 | 986 | 158k| 673k|5956 | 0.000000e+00 | 2.000000e+00 | Inf
1075.11/1075.18 c 1025s|530000 | 5018 | 2838k| 5.4 | 78M| 165 | 8 |3773 | 15k|3773 | 947 | 160k| 686k|6033 | 0.000000e+00 | 2.000000e+00 | Inf
1093.91/1093.91 c 1043s|540000 | 4995 | 2890k| 5.4 | 79M| 165 | - |3773 | 18k| 0 | 0 | 162k| 698k|6081 | 0.000000e+00 | 2.000000e+00 | Inf
1115.70/1115.79 c 1064s|550000 | 5122 | 2944k| 5.4 | 81M| 165 | 1 |3773 | 21k|3773 | 942 | 164k| 711k|6125 | 0.000000e+00 | 2.000000e+00 | Inf
1138.61/1138.68 c 1086s|560000 | 5168 | 2996k| 5.4 | 82M| 165 | - |3773 | 23k| 0 | 0 | 166k| 725k|6165 | 0.000000e+00 | 2.000000e+00 | Inf
1162.50/1162.53 c 1108s|570000 | 5182 | 3050k| 5.4 | 84M| 165 | - |3773 | 27k| 0 | 0 | 169k| 738k|6224 | 0.000000e+00 | 2.000000e+00 | Inf
1189.12/1189.13 c 1134s|580000 | 5362 | 3107k| 5.4 | 87M| 165 | 18 |3773 | 30k|3773 | 965 | 171k| 752k|6280 | 0.000000e+00 | 2.000000e+00 | Inf
1214.61/1214.64 c 1159s|590000 | 5441 | 3158k| 5.4 | 89M| 165 | 23 |3773 | 31k|3773 | 942 | 173k| 766k|6336 | 0.000000e+00 | 2.000000e+00 | Inf
1241.61/1241.64 c 1185s|600000 | 5395 | 3215k| 5.4 | 89M| 165 | 16 |3773 | 31k|3773 | 942 | 176k| 781k|6387 | 0.000000e+00 | 2.000000e+00 | Inf
1266.81/1266.83 c 1209s|610000 | 5196 | 3274k| 5.4 | 84M| 165 | - |3773 | 21k| 0 | 0 | 178k| 794k|6453 | 0.000000e+00 | 2.000000e+00 | Inf
1287.51/1287.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1287.51/1287.52 c 1229s|620000 | 5014 | 3331k| 5.4 | 80M| 165 | 25 |3773 | 16k|3773 | 948 | 180k| 807k|6530 | 0.000000e+00 | 2.000000e+00 | Inf
1307.61/1307.63 c 1248s|630000 | 5052 | 3383k| 5.4 | 82M| 165 | - |3773 | 20k| 0 | 0 | 182k| 820k|6589 | 0.000000e+00 | 2.000000e+00 | Inf
1328.51/1328.57 c 1268s|640000 | 5098 | 3436k| 5.4 | 84M| 165 | 16 |3773 | 24k|3773 | 958 | 184k| 833k|6646 | 0.000000e+00 | 2.000000e+00 | Inf
1351.51/1351.59 c 1290s|650000 | 5230 | 3489k| 5.4 | 87M| 165 | 18 |3773 | 30k|3773 | 954 | 187k| 847k|6690 | 0.000000e+00 | 2.000000e+00 | Inf
1375.71/1375.78 c 1313s|660000 | 5181 | 3543k| 5.4 | 87M| 165 | - |3773 | 30k| 0 | 0 | 189k| 861k|6736 | 0.000000e+00 | 2.000000e+00 | Inf
1398.21/1398.26 c 1335s|670000 | 5141 | 3598k| 5.4 | 86M| 165 | 8 |3773 | 25k|3773 | 944 | 192k| 875k|6782 | 0.000000e+00 | 2.000000e+00 | Inf
1418.71/1418.74 c 1354s|680000 | 5125 | 3653k| 5.4 | 83M| 165 | 1 |3773 | 19k|3773 | 940 | 195k| 888k|6815 | 0.000000e+00 | 2.000000e+00 | Inf
1439.31/1439.32 c 1374s|690000 | 5171 | 3711k| 5.4 | 85M| 165 | 14 |3773 | 22k|3773 | 951 | 198k| 901k|6867 | 0.000000e+00 | 2.000000e+00 | Inf
1461.31/1461.34 c 1395s|700000 | 5261 | 3773k| 5.4 | 87M| 165 | 15 |3773 | 25k|3773 | 942 | 201k| 915k|6914 | 0.000000e+00 | 2.000000e+00 | Inf
1483.91/1483.91 c 1417s|710000 | 5340 | 3828k| 5.4 | 88M| 165 | 10 |3773 | 26k|3773 | 942 | 203k| 928k|6955 | 0.000000e+00 | 2.000000e+00 | Inf
1507.11/1507.17 c 1439s|720000 | 5338 | 3890k| 5.4 | 90M| 165 | - |3773 | 29k|3773 | 989 | 206k| 942k|7002 | 0.000000e+00 | 2.000000e+00 | Inf
1529.81/1529.80 c 1461s|730000 | 5441 | 3950k| 5.4 | 90M| 165 | - |3773 | 26k| 0 | 0 | 210k| 955k|7100 | 0.000000e+00 | 2.000000e+00 | Inf
1552.71/1552.74 c 1483s|740000 | 5553 | 4005k| 5.4 | 91M| 165 | - |3773 | 29k| 0 | 0 | 213k| 969k|7137 | 0.000000e+00 | 2.000000e+00 | Inf
1576.32/1576.31 c 1505s|750000 | 5616 | 4061k| 5.4 | 93M| 165 | - |3773 | 30k| 0 | 0 | 216k| 983k|7168 | 0.000000e+00 | 2.000000e+00 | Inf
1600.52/1600.52 c 1529s|760000 | 5762 | 4115k| 5.4 | 95M| 165 | - |3773 | 32k| 0 | 0 | 218k| 997k|7195 | 0.000000e+00 | 2.000000e+00 | Inf
1624.41/1624.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.41/1624.42 c 1551s|770000 | 5782 | 4170k| 5.4 | 95M| 165 | - |3773 | 30k| 0 | 0 | 220k|1011k|7259 | 0.000000e+00 | 2.000000e+00 | Inf
1648.32/1648.37 c 1574s|780000 | 5806 | 4221k| 5.4 | 97M| 165 | 15 |3773 | 34k|3773 | 993 | 223k|1026k|7308 | 0.000000e+00 | 2.000000e+00 | Inf
1672.41/1672.43 c 1598s|790000 | 5911 | 4276k| 5.4 | 97M| 165 | 1 |3773 | 34k|3773 | 950 | 225k|1040k|7356 | 0.000000e+00 | 2.000000e+00 | Inf
1697.32/1697.32 c 1622s|800000 | 5952 | 4335k| 5.4 | 99M| 165 | 1 |3773 | 37k|3773 | 960 | 228k|1055k|7396 | 0.000000e+00 | 2.000000e+00 | Inf
1722.22/1722.21 c 1645s|810000 | 5891 | 4394k| 5.4 | 97M| 165 | 22 |3773 | 30k|3773 | 980 | 231k|1070k|7427 | 0.000000e+00 | 2.000000e+00 | Inf
1745.51/1745.51 c 1668s|820000 | 5992 | 4449k| 5.4 | 100M| 165 | - |3773 | 34k| 0 | 0 | 233k|1083k|7462 | 0.000000e+00 | 2.000000e+00 | Inf
1770.52/1770.56 c 1692s|830000 | 5974 | 4507k| 5.4 | 100M| 165 | - |3773 | 34k| 0 | 0 | 236k|1098k|7509 | 0.000000e+00 | 2.000000e+00 | Inf
1794.61/1794.62 c 1715s|840000 | 5970 | 4561k| 5.4 | 100M| 165 | - |3773 | 33k| 0 | 0 | 239k|1111k|7552 | 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1720.30
1800.02/1800.00 c Solving Nodes : 842042
1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (382 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.04 s SATISFIABLE
1800.02/1800.04 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.04 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.04 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.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.02/1800.04 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.02/1800.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.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
1800.02/1800.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
1800.02/1800.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
1800.02/1800.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
1800.02/1800.04 v -x1
1800.02/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.04 c Solving Time : 1720.30
1800.02/1800.04 c Original Problem :
1800.02/1800.04 c Problem name : HOME/instance-2693402-1277902133.wbo
1800.02/1800.04 c Variables : 3891 (2061 binary, 0 integer, 0 implicit integer, 1830 continuous)
1800.02/1800.04 c Constraints : 4538 initial, 4538 maximal
1800.02/1800.04 c Presolved Problem :
1800.02/1800.04 c Problem name : t_HOME/instance-2693402-1277902133.wbo
1800.02/1800.04 c Variables : 3773 (2002 binary, 0 integer, 0 implicit integer, 1771 continuous)
1800.02/1800.04 c Constraints : 4398 initial, 38622 maximal
1800.02/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.04 c trivial : 0.00 59 0 0 0 0 0 0 0
1800.02/1800.04 c dualfix : 0.00 59 0 0 0 0 0 0 0
1800.02/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.04 c indicator : 0.00 0 0 0 0 0 59 0 0
1800.02/1800.04 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.04 c linear : 0.05 0 0 0 1841 0 81 66 0
1800.02/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c root node : - 1754 - - 3508 - - - -
1800.02/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c integral : 0 0 0 509373 0 43 637 0 0 881642
1800.02/1800.04 c indicator : 1771 0 4285239 67909 0 828 7456368 0 0 0
1800.02/1800.04 c setppc : 7 9 4280309 65835 0 12594 855513 0 0 0
1800.02/1800.04 c linear : 1771 9 4290255 67992 0 237005 17797407 239721 0 0
1800.02/1800.04 c logicor : 849+ 9 1685749 32568 0 136028 4104056 0 0 0
1800.02/1800.04 c bounddisjunction : 0+ 0 16162 0 0 0 212 0 0 0
1800.02/1800.04 c countsols : 0 0 0 32568 0 0 0 0 0 0
1800.02/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.04 c integral : 19.05 0.00 0.00 19.05 0.00
1800.02/1800.04 c indicator : 24.26 0.00 18.50 5.76 0.00
1800.02/1800.04 c setppc : 5.62 0.00 5.62 0.00 0.00
1800.02/1800.04 c linear : 139.14 0.00 136.24 2.90 0.00
1800.02/1800.04 c logicor : 279.69 0.00 279.47 0.22 0.00
1800.02/1800.04 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.02/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.04 c vbounds : 0.00 2 0 0
1800.02/1800.04 c rootredcost : 0.00 48 0 1754
1800.02/1800.04 c pseudoobj : 147.85 4322036 18237 5155039
1800.02/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.04 c propagation : 20.77 403864 403391 2596510 27.4 19368 14.3 -
1800.02/1800.04 c infeasible LP : 7.99 28834 28834 234632 44.0 374 14.0 0
1800.02/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c pseudo solution : 0.07 407 407 2000 14.7 324 6.5 -
1800.02/1800.04 c applied globally : - - - 1114281 22.6 - - -
1800.02/1800.04 c applied locally : - - - 0 0.0 - - -
1800.02/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.04 c cut pool : 0.00 8 - - 38 - (maximal pool size: 265)
1800.02/1800.04 c redcost : 27.39 516417 0 2231273 0 0
1800.02/1800.04 c impliedbounds : 0.00 9 0 0 0 0
1800.02/1800.04 c intobj : 0.00 0 0 0 0 0
1800.02/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.04 c gomory : 0.13 9 0 0 1170 0
1800.02/1800.04 c strongcg : 0.06 9 0 0 72 0
1800.02/1800.04 c cmir : 0.02 9 0 0 1 0
1800.02/1800.04 c flowcover : 0.10 9 0 0 2 0
1800.02/1800.04 c clique : 0.00 9 0 0 0 0
1800.02/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.04 c mcf : 0.00 1 0 0 0 0
1800.02/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.04 c Pricers : Time Calls Vars
1800.02/1800.04 c problem variables: 0.00 0 0
1800.02/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c relpscost : 18.96 441339 43 637 0 0 881642
1800.02/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.04 c inference : 5.19 32523 0 0 0 0 65046
1800.02/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c random : 0.00 0 0 0 0 0 0
1800.02/1800.04 c Primal Heuristics : Time Calls Found
1800.02/1800.04 c LP solutions : 0.11 - 45
1800.02/1800.04 c pseudo solutions : 0.00 - 0
1800.02/1800.04 c feaspump : 0.01 1 0
1800.02/1800.04 c oneopt : 0.20 45 0
1800.02/1800.04 c intshifting : 0.02 11 0
1800.02/1800.04 c crossover : 1.66 68 0
1800.02/1800.04 c pscostdiving : 0.84 778 0
1800.02/1800.04 c fracdiving : 0.76 778 1
1800.02/1800.04 c veclendiving : 0.85 778 1
1800.02/1800.04 c coefdiving : 0.73 778 0
1800.02/1800.04 c linesearchdiving : 0.74 778 0
1800.02/1800.04 c guideddiving : 0.65 778 0
1800.02/1800.04 c rootsoldiving : 0.82 727 0
1800.02/1800.04 c objpscostdiving : 0.74 728 0
1800.02/1800.04 c trivial : 0.02 2 0
1800.02/1800.04 c simplerounding : 0.58 443824 0
1800.02/1800.04 c zirounding : 0.22 1000 0
1800.02/1800.04 c rounding : 2.15 9427 0
1800.02/1800.04 c shifting : 1.39 2956 0
1800.02/1800.04 c twoopt : 0.00 0 0
1800.02/1800.04 c fixandinfer : 0.00 0 0
1800.02/1800.04 c intdiving : 0.00 0 0
1800.02/1800.04 c actconsdiving : 0.00 0 0
1800.02/1800.04 c octane : 0.00 0 0
1800.02/1800.04 c rens : 0.02 1 0
1800.02/1800.04 c rins : 0.00 0 0
1800.02/1800.04 c localbranching : 0.00 0 0
1800.02/1800.04 c mutation : 0.00 0 0
1800.02/1800.04 c dins : 0.00 0 0
1800.02/1800.04 c undercover : 0.00 0 0
1800.02/1800.04 c nlp : 0.00 0 0
1800.02/1800.04 c trysol : 1.96 7147 335
1800.02/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.04 c dual LP : 585.88 513699 4570977 8.90 7801.90
1800.02/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.04 c diving/probing LP: 0.47 466 2550 5.47 5425.53
1800.02/1800.04 c strong branching : 15.21 7552 152790 20.23 10045.36
1800.02/1800.04 c (at root node) : - 23 6523 283.61 -
1800.02/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.04 c B&B Tree :
1800.02/1800.04 c number of runs : 1
1800.02/1800.04 c nodes : 842042
1800.02/1800.04 c nodes (total) : 842042
1800.02/1800.04 c nodes left : 6003
1800.02/1800.04 c max depth : 165
1800.02/1800.04 c max depth (total): 165
1800.02/1800.04 c backtracks : 85031 (10.1%)
1800.02/1800.04 c delayed cutoffs : 68729
1800.02/1800.04 c repropagations : 1955352 (6228174 domain reductions, 64927 cutoffs)
1800.02/1800.04 c avg switch length: 6.13
1800.02/1800.04 c switching time : 257.85
1800.02/1800.04 c Solution :
1800.02/1800.04 c Solutions found : 382 (48 improvements)
1800.02/1800.04 c First Solution : +8.92150000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.02/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 310334 nodes, 578.31 seconds, depth 40, found by <relaxation>)
1800.02/1800.04 c Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Gap : infinite
1800.02/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Root Iterations : 584
1800.12/1800.17 c Time complete: 1800.19.