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-2692762-1277902104.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.00/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.00/0.09 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 | 7 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 89215
0.09/0.18 c y 0.1s| 1 | 0 | 13 | - | 14M| 0 | 7 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 58 | - | 14M| 0 | 11 |3773 |4398 |3773 | 877 | 21 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 119 | - | 14M| 0 | 31 |3773 |4398 |3773 | 895 | 39 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 153 | - | 14M| 0 | 41 |3773 |4398 |3773 | 912 | 56 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 165 | - | 14M| 0 | 39 |3773 |4398 |3773 | 917 | 61 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 212 | - | 14M| 0 | 42 |3773 |4398 |3773 | 920 | 64 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 274 | - | 14M| 0 | 48 |3773 |4398 |3773 | 927 | 71 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.79/0.87 c 0.8s| 1 | 2 | 274 | - | 14M| 0 | 48 |3773 |4398 |3773 | 927 | 71 | 0 | 33 | 0.000000e+00 | 8.921500e+04 | Inf
3.39/3.46 o 519
3.39/3.46 c * 3.3s| 1341 | 1296 | 801 | 0.4 | 17M|1340 | - |3773 |4398 |3773 | 944 | 92 | 0 | 158 | 0.000000e+00 | 5.190000e+02 | Inf
7.39/7.46 o 516
7.39/7.46 c * 7.1s| 2552 | 2413 | 4293 | 1.6 | 22M|1340 | - |3773 |4589 |3773 | 936 | 399 | 191 | 898 | 0.000000e+00 | 5.160000e+02 | Inf
7.89/7.91 o 502
7.89/7.91 c * 7.5s| 2845 | 2515 | 4696 | 1.6 | 23M|1340 | - |3773 |4598 |3773 | 949 | 429 | 200 | 902 | 0.000000e+00 | 5.020000e+02 | Inf
10.29/10.31 o 478
10.29/10.31 c * 9.8s| 4227 | 3310 | 7139 | 1.6 | 26M|1340 | - |3773 |4698 |3773 | 935 | 723 | 300 | 987 | 0.000000e+00 | 4.780000e+02 | Inf
10.59/10.63 o 469
10.59/10.63 c *10.2s| 4401 | 3354 | 7642 | 1.7 | 26M|1340 | - |3773 |4704 |3773 | 947 | 753 | 306 | 991 | 0.000000e+00 | 4.690000e+02 | Inf
10.69/10.72 o 453
10.69/10.72 c *10.2s| 4435 | 3212 | 7918 | 1.7 | 26M|1340 | - |3773 |4713 |3773 | 935 | 760 | 315 | 994 | 0.000000e+00 | 4.530000e+02 | Inf
10.89/10.92 o 450
10.89/10.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.89/10.92 c *10.4s| 4555 | 3285 | 8148 | 1.7 | 26M|1340 | - |3773 |4719 |3773 | 935 | 767 | 321 | 997 | 0.000000e+00 | 4.500000e+02 | Inf
11.29/11.32 o 436
11.29/11.32 c *10.8s| 4827 | 3310 | 8304 | 1.7 | 26M|1340 | - |3773 |4719 |3773 | 949 | 814 | 321 |1000 | 0.000000e+00 | 4.360000e+02 | Inf
11.29/11.39 o 421
11.29/11.39 c *10.9s| 4864 | 3197 | 8373 | 1.7 | 26M|1340 | - |3773 |4719 |3773 | 949 | 835 | 321 |1000 | 0.000000e+00 | 4.210000e+02 | Inf
12.69/12.79 o 393
12.69/12.79 c *12.2s| 5794 | 3442 | 8999 | 1.5 | 27M|1340 | - |3773 |4768 |3773 | 944 |1024 | 374 |1003 | 0.000000e+00 | 3.930000e+02 | Inf
13.29/13.38 o 388
13.29/13.38 c *12.8s| 6030 | 3535 | 9846 | 1.6 | 28M|1340 | - |3773 |4822 |3773 | 952 |1112 | 434 |1044 | 0.000000e+00 | 3.880000e+02 | Inf
13.50/13.53 o 365
13.50/13.53 c *12.9s| 6065 | 3119 | 10196 | 1.6 | 27M|1340 | - |3773 |4845 |3773 | 952 |1154 | 460 |1063 | 0.000000e+00 | 3.650000e+02 | Inf
13.59/13.66 o 336
13.59/13.66 c *13.1s| 6142 | 2700 | 10423 | 1.7 | 26M|1340 | - |3773 |4843 |3773 | 952 |1177 | 460 |1064 | 0.000000e+00 | 3.360000e+02 | Inf
13.89/13.99 o 318
13.89/13.99 c *13.4s| 6315 | 2550 | 10948 | 1.7 | 26M|1340 | - |3773 |4863 |3773 | 942 |1243 | 483 |1069 | 0.000000e+00 | 3.180000e+02 | Inf
14.09/14.10 o 302
14.09/14.10 c *13.5s| 6366 | 2331 | 11180 | 1.7 | 25M|1340 | - |3773 |4877 |3773 | 946 |1260 | 498 |1069 | 0.000000e+00 | 3.020000e+02 | Inf
14.19/14.23 o 274
14.19/14.23 c *13.6s| 6391 | 2116 | 11456 | 1.7 | 25M|1340 | - |3773 |4878 |3773 | 972 |1303 | 500 |1096 | 0.000000e+00 | 2.740000e+02 | Inf
14.30/14.34 o 242
14.30/14.34 c *13.7s| 6435 | 1931 | 11764 | 1.8 | 24M|1340 | - |3773 |4879 |3773 | 938 |1333 | 506 |1100 | 0.000000e+00 | 2.420000e+02 | Inf
14.50/14.59 o 230
14.50/14.59 c *13.9s| 6505 | 1890 | 12277 | 1.8 | 24M|1340 | - |3773 |4913 |3773 | 942 |1397 | 550 |1127 | 0.000000e+00 | 2.300000e+02 | Inf
14.59/14.61 o 229
14.59/14.61 c *14.0s| 6508 | 1888 | 12308 | 1.8 | 24M|1340 | - |3773 |4913 |3773 | 943 |1398 | 550 |1127 | 0.000000e+00 | 2.290000e+02 | Inf
14.79/14.82 o 220
14.79/14.82 c *14.2s| 6654 | 1944 | 12422 | 1.8 | 25M|1340 | - |3773 |4920 |3773 | 943 |1412 | 558 |1127 | 0.000000e+00 | 2.200000e+02 | Inf
15.19/15.28 o 208
15.19/15.28 c *14.6s| 6870 | 1873 | 13111 | 1.9 | 25M|1340 | - |3773 |5005 |3773 | 947 |1519 | 663 |1146 | 0.000000e+00 | 2.080000e+02 | Inf
15.50/15.59 o 199
15.50/15.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.50/15.59 c *14.9s| 6918 | 1841 | 13520 | 1.9 | 25M|1340 | - |3773 |4987 |3773 | 952 |1617 | 678 |1224 | 0.000000e+00 | 1.990000e+02 | Inf
15.59/15.65 o 185
15.59/15.65 c *15.0s| 6932 | 1737 | 13680 | 1.9 | 25M|1340 | - |3773 |4977 |3773 | 956 |1644 | 685 |1226 | 0.000000e+00 | 1.850000e+02 | Inf
15.59/15.66 o 183
15.59/15.66 c *15.0s| 6933 | 1725 | 13698 | 1.9 | 24M|1340 | - |3773 |4977 |3773 | 958 |1646 | 685 |1226 | 0.000000e+00 | 1.830000e+02 | Inf
15.70/15.71 o 174
15.70/15.71 c *15.0s| 6951 | 1694 | 13810 | 1.9 | 24M|1340 | - |3773 |4973 |3773 | 935 |1652 | 685 |1226 | 0.000000e+00 | 1.740000e+02 | Inf
15.70/15.72 o 138
15.70/15.72 c *15.0s| 6952 | 1450 | 13810 | 1.9 | 24M|1340 | - |3773 |4973 |3773 | 935 |1652 | 685 |1226 | 0.000000e+00 | 1.380000e+02 | Inf
15.70/15.77 o 129
15.70/15.77 c *15.1s| 6960 | 1421 | 13908 | 2.0 | 24M|1340 | - |3773 |4972 |3773 | 938 |1661 | 690 |1231 | 0.000000e+00 | 1.290000e+02 | Inf
16.09/16.17 o 126
16.09/16.17 c *15.5s| 7045 | 1439 | 15234 | 2.1 | 24M|1340 | - |3773 |5031 |3773 | 937 |1745 | 775 |1273 | 0.000000e+00 | 1.260000e+02 | Inf
16.19/16.20 o 123
16.19/16.20 c *15.5s| 7048 | 1439 | 15334 | 2.1 | 24M|1340 | - |3773 |5027 |3773 | 937 |1753 | 775 |1273 | 0.000000e+00 | 1.230000e+02 | Inf
16.39/16.45 o 117
16.39/16.45 c *15.7s| 7095 | 1436 | 16146 | 2.2 | 25M|1340 | - |3773 |5043 |3773 | 943 |1830 | 809 |1289 | 0.000000e+00 | 1.170000e+02 | Inf
16.50/16.50 o 91
16.50/16.50 c *15.8s| 7111 | 1202 | 16290 | 2.3 | 24M|1340 | - |3773 |5037 |3773 | 942 |1843 | 810 |1289 | 0.000000e+00 | 9.100000e+01 | Inf
16.50/16.51 o 89
16.50/16.51 c *15.8s| 7112 | 1171 | 16290 | 2.3 | 24M|1340 | - |3773 |5037 |3773 | 942 |1843 | 810 |1289 | 0.000000e+00 | 8.900000e+01 | Inf
16.50/16.56 o 84
16.50/16.56 c *15.8s| 7116 | 1100 | 16495 | 2.3 | 24M|1340 | - |3773 |4787 |3773 | 943 |1857 | 814 |1294 | 0.000000e+00 | 8.400000e+01 | Inf
16.69/16.76 o 71
16.69/16.76 c *16.0s| 7146 | 766 | 16988 | 2.3 | 22M|1340 | - |3773 |4700 |3773 | 933 |1895 | 855 |1321 | 0.000000e+00 | 7.100000e+01 | Inf
24.58/24.62 c 23.6s| 10000 | 911 | 30610 | 3.0 | 25M|1340 | 1 |3773 |5660 |3773 | 931 |2724 |4038 |1753 | 0.000000e+00 | 7.100000e+01 | Inf
46.20/46.26 c 44.3s| 20000 | 1349 | 71392 | 3.6 | 34M|1340 | 1 |3773 |6893 |3773 | 936 |5187 | 15k|1809 | 0.000000e+00 | 7.100000e+01 | Inf
64.79/64.85 o 69
64.79/64.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.79/64.85 c *62.1s| 28870 | 1702 |103098 | 3.6 | 41M|1340 | - |3773 |7513 |3773 | 945 |6892 | 26k|1809 | 0.000000e+00 | 6.900000e+01 | Inf
67.39/67.46 c 64.5s| 30000 | 1730 |106994 | 3.6 | 42M|1340 | 1 |3773 |6459 |3773 | 934 |7085 | 27k|1809 | 0.000000e+00 | 6.900000e+01 | Inf
71.89/71.97 o 68
71.89/71.97 c *68.9s| 32104 | 1790 |114676 | 3.6 | 43M|1340 | - |3773 |6725 |3773 | 930 |7799 | 29k|1809 | 0.000000e+00 | 6.800000e+01 | Inf
78.29/78.34 o 64
78.29/78.34 c *75.0s| 34846 | 1819 |128323 | 3.7 | 42M|1340 | - |3773 |6565 |3773 | 954 |9172 | 33k|1809 | 0.000000e+00 | 6.400000e+01 | Inf
87.00/87.06 o 60
87.00/87.06 c *83.3s| 38924 | 1897 |145306 | 3.7 | 44M|1340 | - |3773 |7343 |3773 | 930 | 10k| 38k|1809 | 0.000000e+00 | 6.000000e+01 | Inf
89.10/89.16 c 85.3s| 40000 | 1910 |148567 | 3.7 | 44M|1340 | - |3773 |6930 | 0 | 0 | 10k| 39k|1809 | 0.000000e+00 | 6.000000e+01 | Inf
106.19/106.25 o 33
106.19/106.25 c * 102s| 47974 | 1833 |181828 | 3.8 | 46M|1340 | - |3773 |7667 |3773 | 932 | 12k| 49k|1944 | 0.000000e+00 | 3.300000e+01 | Inf
106.99/107.04 o 27
106.99/107.04 c * 102s| 48370 | 1722 |183296 | 3.8 | 43M|1340 | - |3773 |6514 |3773 | 949 | 12k| 50k|1946 | 0.000000e+00 | 2.700000e+01 | Inf
108.49/108.55 o 23
108.49/108.55 c * 104s| 49219 | 1687 |186697 | 3.8 | 43M|1340 | - |3773 |6438 |3773 | 935 | 12k| 51k|1947 | 0.000000e+00 | 2.300000e+01 | Inf
108.49/108.56 o 20
108.49/108.56 c * 104s| 49220 | 1640 |186698 | 3.8 | 42M|1340 | - |3773 |6438 |3773 | 935 | 12k| 51k|1947 | 0.000000e+00 | 2.000000e+01 | Inf
109.79/109.86 c 105s| 50000 | 1647 |189756 | 3.8 | 42M|1340 | - |3773 |6134 | 0 | 0 | 13k| 52k|1947 | 0.000000e+00 | 2.000000e+01 | Inf
128.70/128.75 c 123s| 60000 | 1593 |236365 | 3.9 | 44M|1340 | 15 |3773 |6509 |3773 | 935 | 17k| 65k|2178 | 0.000000e+00 | 2.000000e+01 | Inf
136.29/136.37 o 19
136.29/136.37 c * 130s| 64381 | 1458 |252728 | 3.9 | 44M|1340 | - |3773 |7984 |3773 | 930 | 17k| 71k|2260 | 0.000000e+00 | 1.900000e+01 | Inf
142.49/142.58 o 18
142.49/142.58 c * 136s| 67451 | 1481 |270115 | 4.0 | 44M|1340 | - |3773 |7508 |3773 | 947 | 19k| 75k|2352 | 0.000000e+00 | 1.800000e+01 | Inf
147.19/147.26 c 141s| 70000 | 1454 |281764 | 4.0 | 44M|1340 | - |3773 |7280 | 0 | 0 | 20k| 79k|2418 | 0.000000e+00 | 1.800000e+01 | Inf
149.69/149.74 o 16
149.69/149.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.69/149.74 c * 143s| 71359 | 1406 |288518 | 4.0 | 43M|1340 | - |3773 |7580 |3773 | 935 | 20k| 81k|2437 | 0.000000e+00 | 1.600000e+01 | Inf
166.39/166.44 c 159s| 80000 | 1475 |335548 | 4.2 | 45M|1340 | - |3773 |9294 | 0 | 0 | 24k| 92k|2611 | 0.000000e+00 | 1.600000e+01 | Inf
184.49/184.51 c 176s| 90000 | 1588 |376127 | 4.2 | 47M|1340 | - |3773 | 10k| 0 | 0 | 26k| 105k|2806 | 0.000000e+00 | 1.600000e+01 | Inf
203.39/203.40 c 194s|100000 | 1814 |423405 | 4.2 | 49M|1340 | - |3773 |9756 | 0 | 0 | 31k| 118k|2988 | 0.000000e+00 | 1.600000e+01 | Inf
223.79/223.85 c 213s|110000 | 1957 |477592 | 4.3 | 51M|1340 | 22 |3773 |9207 |3773 | 933 | 39k| 131k|3167 | 0.000000e+00 | 1.600000e+01 | Inf
237.49/237.51 o 15
237.49/237.51 c * 226s|117384 | 1985 |512142 | 4.4 | 52M|1340 | - |3773 |9948 |3773 | 931 | 41k| 141k|3312 | 0.000000e+00 | 1.500000e+01 | Inf
242.49/242.55 c 231s|120000 | 2050 |526084 | 4.4 | 52M|1340 | 15 |3773 |8603 |3773 | 943 | 42k| 145k|3354 | 0.000000e+00 | 1.500000e+01 | Inf
260.69/260.75 c 249s|130000 | 2115 |570064 | 4.4 | 55M|1340 | 15 |3773 | 12k|3773 | 934 | 44k| 158k|3505 | 0.000000e+00 | 1.500000e+01 | Inf
281.39/281.43 c 268s|140000 | 2238 |628035 | 4.5 | 57M|1340 | - |3773 | 10k| 0 | 0 | 49k| 172k|3692 | 0.000000e+00 | 1.500000e+01 | Inf
300.98/301.00 c 287s|150000 | 2410 |683104 | 4.6 | 59M|1340 | 14 |3773 | 10k|3773 | 936 | 53k| 185k|3839 | 0.000000e+00 | 1.500000e+01 | Inf
317.19/317.28 o 14
317.19/317.28 c * 302s|157799 | 2523 |731348 | 4.6 | 61M|1340 | - |3773 | 12k|3773 | 928 | 57k| 197k|3985 | 0.000000e+00 | 1.400000e+01 | Inf
318.19/318.25 o 11
318.19/318.25 c * 303s|158249 | 2367 |734161 | 4.6 | 57M|1340 | - |3773 | 12k|3773 | 932 | 57k| 197k|3985 | 0.000000e+00 | 1.100000e+01 | Inf
321.78/321.80 c 307s|160000 | 2402 |744565 | 4.7 | 58M|1340 | - |3773 | 12k| 0 | 0 | 58k| 200k|4010 | 0.000000e+00 | 1.100000e+01 | Inf
341.00/341.03 c 325s|170000 | 2475 |797271 | 4.7 | 59M|1340 | - |3773 | 11k| 0 | 0 | 63k| 214k|4166 | 0.000000e+00 | 1.100000e+01 | Inf
360.99/361.04 c 344s|180000 | 2604 |855976 | 4.8 | 61M|1340 | 19 |3773 | 11k|3773 | 931 | 66k| 229k|4337 | 0.000000e+00 | 1.100000e+01 | Inf
381.39/381.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.39/381.43 c 364s|190000 | 2728 |919410 | 4.8 | 63M|1340 | - |3773 | 11k| 0 | 0 | 70k| 243k|4482 | 0.000000e+00 | 1.100000e+01 | Inf
383.79/383.85 o 10
383.79/383.85 c * 366s|191184 | 2693 |926238 | 4.8 | 62M|1340 | - |3773 | 10k|3773 | 931 | 71k| 245k|4516 | 0.000000e+00 | 1.000000e+01 | Inf
394.09/394.13 o 7
394.09/394.13 c * 376s|196287 | 2083 |957371 | 4.9 | 51M|1340 | - |3773 | 11k|3773 | 948 | 74k| 252k|4573 | 0.000000e+00 | 7.000000e+00 | Inf
395.39/395.46 o 6
395.39/395.46 c * 377s|197005 | 2027 |960417 | 4.9 | 50M|1340 | - |3773 | 10k|3773 | 931 | 74k| 253k|4589 | 0.000000e+00 | 6.000000e+00 | Inf
400.69/400.76 c 382s|200000 | 2022 |974593 | 4.9 | 50M|1340 | 12 |3773 |9123 |3773 | 923 | 75k| 257k|4641 | 0.000000e+00 | 6.000000e+00 | Inf
419.89/419.98 c 400s|210000 | 2038 | 1030k| 4.9 | 52M|1340 | 15 |3773 | 11k|3773 | 937 | 79k| 271k|4759 | 0.000000e+00 | 6.000000e+00 | Inf
436.80/436.88 o 5
436.80/436.88 c * 416s|219112 | 2045 | 1077k| 4.9 | 52M|1340 | - |3773 | 13k|3773 | 931 | 81k| 284k|4879 | 0.000000e+00 | 5.000000e+00 | Inf
438.38/438.44 c 418s|220000 | 2059 | 1081k| 4.9 | 53M|1340 | 11 |3773 | 13k|3773 | 931 | 81k| 286k|4901 | 0.000000e+00 | 5.000000e+00 | Inf
456.50/456.51 c 435s|230000 | 2106 | 1127k| 4.9 | 55M|1340 | - |3773 | 18k| 0 | 0 | 82k| 301k|5001 | 0.000000e+00 | 5.000000e+00 | Inf
475.39/475.44 c 453s|240000 | 2172 | 1172k| 4.9 | 57M|1340 | 12 |3773 | 20k|3773 | 932 | 84k| 316k|5080 | 0.000000e+00 | 5.000000e+00 | Inf
493.19/493.21 o 4
493.19/493.21 c * 470s|248981 | 2080 | 1213k| 4.9 | 56M|1340 | - |3773 | 21k|3773 | 939 | 85k| 330k|5158 | 0.000000e+00 | 4.000000e+00 | Inf
495.29/495.32 c 472s|250000 | 2062 | 1217k| 4.9 | 55M|1340 | 20 |3773 | 19k|3773 | 932 | 85k| 332k|5158 | 0.000000e+00 | 4.000000e+00 | Inf
514.99/515.06 c 491s|260000 | 2191 | 1264k| 4.9 | 58M|1340 | 1 |3773 | 23k|3773 | 932 | 86k| 348k|5259 | 0.000000e+00 | 4.000000e+00 | Inf
535.50/535.59 c 511s|270000 | 2099 | 1313k| 4.9 | 56M|1340 | 20 |3773 | 19k|3773 | 935 | 87k| 363k|5373 | 0.000000e+00 | 4.000000e+00 | Inf
554.79/554.85 c 529s|280000 | 2043 | 1364k| 4.9 | 53M|1340 | 20 |3773 | 11k|3773 | 932 | 91k| 378k|5517 | 0.000000e+00 | 4.000000e+00 | Inf
573.39/573.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.39/573.49 c 547s|290000 | 1982 | 1413k| 4.9 | 53M|1340 | 9 |3773 | 13k|3773 | 936 | 93k| 392k|5614 | 0.000000e+00 | 4.000000e+00 | Inf
591.09/591.15 c 564s|300000 | 2069 | 1459k| 4.9 | 56M|1340 | 10 |3773 | 18k|3773 | 933 | 95k| 406k|5708 | 0.000000e+00 | 4.000000e+00 | Inf
610.40/610.43 c 582s|310000 | 2022 | 1509k| 4.9 | 55M|1340 | - |3773 | 15k|3773 | 939 | 97k| 421k|5809 | 0.000000e+00 | 4.000000e+00 | Inf
630.69/630.76 c 602s|320000 | 2029 | 1564k| 4.9 | 55M|1340 | - |3773 | 16k| 0 | 0 | 101k| 435k|5921 | 0.000000e+00 | 4.000000e+00 | Inf
651.20/651.21 c 621s|330000 | 2099 | 1621k| 4.9 | 57M|1340 | - |3773 | 19k| 0 | 0 | 107k| 449k|6028 | 0.000000e+00 | 4.000000e+00 | Inf
673.20/673.28 c 643s|340000 | 2106 | 1678k| 4.9 | 58M|1340 | 22 |3773 | 20k|3773 | 936 | 114k| 464k|6112 | 0.000000e+00 | 4.000000e+00 | Inf
694.10/694.18 c 663s|350000 | 2047 | 1731k| 4.9 | 57M|1340 | 28 |3773 | 20k|3773 | 933 | 117k| 478k|6211 | 0.000000e+00 | 4.000000e+00 | Inf
715.40/715.40 c 683s|360000 | 1958 | 1784k| 5.0 | 56M|1340 | - |3773 | 18k| 0 | 0 | 120k| 492k|6322 | 0.000000e+00 | 4.000000e+00 | Inf
736.10/736.14 c 703s|370000 | 2031 | 1836k| 5.0 | 57M|1340 | - |3773 | 20k| 0 | 0 | 123k| 506k|6421 | 0.000000e+00 | 4.000000e+00 | Inf
758.09/758.14 c 724s|380000 | 2041 | 1892k| 5.0 | 58M|1340 | - |3773 | 21k| 0 | 0 | 129k| 521k|6520 | 0.000000e+00 | 4.000000e+00 | Inf
777.80/777.84 c 743s|390000 | 1905 | 1936k| 5.0 | 56M|1340 | - |3773 | 17k| 0 | 0 | 132k| 534k|6618 | 0.000000e+00 | 4.000000e+00 | Inf
798.50/798.50 c 763s|400000 | 1819 | 1986k| 5.0 | 54M|1340 | - |3773 | 15k| 0 | 0 | 136k| 548k|6725 | 0.000000e+00 | 4.000000e+00 | Inf
819.00/819.04 c 783s|410000 | 1790 | 2036k| 5.0 | 54M|1340 | 13 |3773 | 16k|3773 | 923 | 142k| 561k|6814 | 0.000000e+00 | 4.000000e+00 | Inf
840.10/840.13 c 803s|420000 | 1889 | 2091k| 5.0 | 55M|1340 | 16 |3773 | 15k|3773 | 938 | 149k| 574k|6904 | 0.000000e+00 | 4.000000e+00 | Inf
860.80/860.82 c 823s|430000 | 1892 | 2144k| 5.0 | 55M|1340 | - |3773 | 15k| 0 | 0 | 155k| 588k|6987 | 0.000000e+00 | 4.000000e+00 | Inf
880.40/880.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.40/880.46 c 842s|440000 | 1960 | 2194k| 5.0 | 57M|1340 | 15 |3773 | 19k|3773 | 936 | 159k| 602k|7068 | 0.000000e+00 | 4.000000e+00 | Inf
901.80/901.80 c 863s|450000 | 1835 | 2245k| 5.0 | 56M|1340 | - |3773 | 18k| 0 | 0 | 164k| 616k|7158 | 0.000000e+00 | 4.000000e+00 | Inf
924.30/924.38 c 884s|460000 | 1818 | 2307k| 5.0 | 58M|1340 | - |3773 | 22k| 0 | 0 | 169k| 629k|7247 | 0.000000e+00 | 4.000000e+00 | Inf
948.00/948.02 c 907s|470000 | 1943 | 2370k| 5.0 | 60M|1340 | 25 |3773 | 26k|3773 | 923 | 176k| 643k|7348 | 0.000000e+00 | 4.000000e+00 | Inf
971.40/971.41 c 930s|480000 | 1927 | 2424k| 5.1 | 60M|1340 | - |3773 | 26k| 0 | 0 | 182k| 658k|7437 | 0.000000e+00 | 4.000000e+00 | Inf
992.41/992.44 c 950s|490000 | 1923 | 2475k| 5.1 | 60M|1340 | 1 |3773 | 24k|3773 | 932 | 183k| 672k|7498 | 0.000000e+00 | 4.000000e+00 | Inf
1012.70/1012.78 c 970s|500000 | 1976 | 2522k| 5.0 | 63M|1340 | 1 |3773 | 31k|3773 | 932 | 185k| 688k|7571 | 0.000000e+00 | 4.000000e+00 | Inf
1021.70/1021.74 o 3
1021.70/1021.74 c * 979s|504211 | 1751 | 2542k| 5.0 | 57M|1340 | - |3773 | 24k|3773 | 932 | 185k| 694k|7614 | 0.000000e+00 | 3.000000e+00 | Inf
1033.10/1033.14 c 990s|510000 | 1749 | 2571k| 5.0 | 57M|1340 | 15 |3773 | 22k|3773 | 939 | 186k| 703k|7657 | 0.000000e+00 | 3.000000e+00 | Inf
1052.30/1052.32 c 1008s|520000 | 1782 | 2616k| 5.0 | 56M|1340 | 1 |3773 | 20k|3773 | 932 | 187k| 718k|7724 | 0.000000e+00 | 3.000000e+00 | Inf
1052.60/1052.62 o 1
1052.60/1052.62 c *1008s|520161 | 802 | 2617k| 5.0 | 43M|1340 | - |3773 | 20k|3773 | 932 | 187k| 718k|7724 | 0.000000e+00 | 1.000000e+00 | Inf
1070.11/1070.19 c 1025s|530000 | 808 | 2663k| 5.0 | 42M|1340 | 7 |3773 | 17k|3773 | 932 | 189k| 733k|7775 | 0.000000e+00 | 1.000000e+00 | Inf
1089.51/1089.53 c 1044s|540000 | 809 | 2711k| 5.0 | 43M|1340 | 1 |3773 | 20k|3773 | 932 | 190k| 748k|7840 | 0.000000e+00 | 1.000000e+00 | Inf
1110.31/1110.34 c 1064s|550000 | 795 | 2760k| 5.0 | 44M|1340 | 20 |3773 | 22k|3773 | 932 | 190k| 762k|7919 | 0.000000e+00 | 1.000000e+00 | Inf
1133.01/1133.03 c 1086s|560000 | 839 | 2811k| 5.0 | 47M|1340 | - |3773 | 27k|3773 | 932 | 192k| 776k|7994 | 0.000000e+00 | 1.000000e+00 | Inf
1157.60/1157.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.60/1157.67 c 1110s|570000 | 826 | 2864k| 5.0 | 48M|1340 | 1 |3773 | 29k|3773 | 932 | 193k| 791k|8057 | 0.000000e+00 | 1.000000e+00 | Inf
1190.61/1190.60 c 1143s|580000 | 882 | 2915k| 5.0 | 50M|1340 | - |3773 | 33k| 0 | 0 | 194k| 806k|8109 | 0.000000e+00 | 1.000000e+00 | Inf
1222.91/1222.98 c 1175s|590000 | 875 | 2961k| 5.0 | 52M|1340 | - |3773 | 36k| 0 | 0 | 196k| 821k|8155 | 0.000000e+00 | 1.000000e+00 | Inf
1257.51/1257.55 c 1209s|600000 | 873 | 3008k| 5.0 | 53M|1340 | - |3773 | 39k| 0 | 0 | 197k| 836k|8224 | 0.000000e+00 | 1.000000e+00 | Inf
1293.20/1293.25 c 1245s|610000 | 976 | 3057k| 5.0 | 55M|1340 | - |3773 | 42k| 0 | 0 | 198k| 852k|8302 | 0.000000e+00 | 1.000000e+00 | Inf
1331.41/1331.40 c 1283s|620000 | 1006 | 3104k| 5.0 | 56M|1340 | 23 |3773 | 43k|3773 | 932 | 199k| 868k|8367 | 0.000000e+00 | 1.000000e+00 | Inf
1369.31/1369.33 c 1320s|630000 | 953 | 3151k| 5.0 | 56M|1340 | 10 |3773 | 44k|3773 | 932 | 200k| 883k|8411 | 0.000000e+00 | 1.000000e+00 | Inf
1405.51/1405.53 c 1356s|640000 | 880 | 3201k| 5.0 | 52M|1340 | - |3773 | 36k| 0 | 0 | 201k| 899k|8459 | 0.000000e+00 | 1.000000e+00 | Inf
1437.11/1437.11 c 1388s|650000 | 673 | 3252k| 5.0 | 42M|1340 | 16 |3773 | 17k|3773 | 932 | 205k| 913k|8576 | 0.000000e+00 | 1.000000e+00 | Inf
1465.51/1465.56 c 1416s|660000 | 734 | 3311k| 5.0 | 44M|1340 | 13 |3773 | 20k|3773 | 945 | 213k| 927k|8657 | 0.000000e+00 | 1.000000e+00 | Inf
1495.02/1495.03 c 1445s|670000 | 692 | 3366k| 5.0 | 44M|1340 | - |3773 | 21k| 0 | 0 | 220k| 941k|8728 | 0.000000e+00 | 1.000000e+00 | Inf
1522.81/1522.89 c 1472s|680000 | 674 | 3415k| 5.0 | 45M|1340 | - |3773 | 24k| 0 | 0 | 223k| 954k|8769 | 0.000000e+00 | 1.000000e+00 | Inf
1549.82/1549.84 c 1499s|690000 | 688 | 3458k| 5.0 | 47M|1340 | - |3773 | 29k| 0 | 0 | 224k| 969k|8807 | 0.000000e+00 | 1.000000e+00 | Inf
1578.91/1578.95 c 1528s|700000 | 664 | 3507k| 5.0 | 46M|1340 | - |3773 | 26k| 0 | 0 | 225k| 983k|8889 | 0.000000e+00 | 1.000000e+00 | Inf
1605.82/1605.89 c 1554s|710000 | 737 | 3566k| 5.0 | 48M|1340 | 8 |3773 | 32k|3773 | 923 | 231k| 997k|8961 | 0.000000e+00 | 1.000000e+00 | Inf
1633.21/1633.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.21/1633.26 c 1581s|720000 | 690 | 3620k| 5.0 | 48M|1340 | - |3773 | 32k| 0 | 0 | 235k|1011k|9023 | 0.000000e+00 | 1.000000e+00 | Inf
1660.21/1660.23 c 1607s|730000 | 694 | 3668k| 5.0 | 51M|1340 | - |3773 | 39k| 0 | 0 | 236k|1025k|9053 | 0.000000e+00 | 1.000000e+00 | Inf
1690.01/1690.01 c 1636s|740000 | 675 | 3719k| 5.0 | 50M|1340 | 14 |3773 | 38k|3773 | 935 | 239k|1038k|9120 | 0.000000e+00 | 1.000000e+00 | Inf
1722.42/1722.45 c 1668s|750000 | 697 | 3776k| 5.0 | 52M|1340 | - |3773 | 42k|3773 | 955 | 247k|1052k|9186 | 0.000000e+00 | 1.000000e+00 | Inf
1755.92/1755.99 c 1701s|760000 | 756 | 3835k| 5.0 | 54M|1340 | - |3773 | 48k| 0 | 0 | 255k|1066k|9246 | 0.000000e+00 | 1.000000e+00 | Inf
1791.93/1791.97 c 1736s|770000 | 697 | 3892k| 5.1 | 52M|1340 | - |3773 | 44k|3773 | 963 | 263k|1080k|9313 | 0.000000e+00 | 1.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) : 1743.79
1800.02/1800.01 c Solving Nodes : 772231
1800.02/1800.01 c Primal Bound : +1.00000000000000e+00 (294 solutions)
1800.02/1800.01 c Dual Bound : +0.00000000000000e+00
1800.02/1800.01 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
1800.02/1800.04 v -x146 -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 : 1743.79
1800.02/1800.04 c Original Problem :
1800.02/1800.04 c Problem name : HOME/instance-2692762-1277902104.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-2692762-1277902104.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, 50459 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.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c linear : 0.06 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 : - 1771 - - 3542 - - - -
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 467727 0 26 626 0 0 848678
1800.02/1800.04 c indicator : 1771 0 2606957 31770 0 436 3395056 0 0 0
1800.02/1800.04 c setppc : 7 6 3821372 39104 0 13451 1016369 0 0 0
1800.02/1800.04 c linear : 1771 6 3827252 42794 0 240824 19253101 264230 0 0
1800.02/1800.04 c logicor : 849+ 6 1630046 6833 0 126674 3991099 0 0 0
1800.02/1800.04 c bounddisjunction : 0+ 0 7647 0 0 1 89 0 0 0
1800.02/1800.04 c countsols : 0 0 0 6833 0 0 0 0 0 0
1800.02/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.04 c integral : 24.81 0.00 0.00 24.81 0.00
1800.02/1800.04 c indicator : 10.16 0.00 9.14 1.02 0.00
1800.02/1800.04 c setppc : 7.66 0.00 7.65 0.01 0.00
1800.02/1800.04 c linear : 152.03 0.00 150.02 2.01 0.00
1800.02/1800.04 c logicor : 299.77 0.00 299.73 0.04 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.18 2 0 0
1800.02/1800.04 c rootredcost : 0.24 56 0 1771
1800.02/1800.04 c pseudoobj : 131.98 3851405 10137 2610813
1800.02/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.04 c propagation : 20.20 391087 390816 2450398 28.8 14494 20.5 -
1800.02/1800.04 c infeasible LP : 7.48 26517 26517 217037 42.8 279 15.9 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.00 77 77 424 20.7 52 4.8 -
1800.02/1800.04 c applied globally : - - - 1083048 23.2 - - -
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 5 - - 24 - (maximal pool size: 124)
1800.02/1800.04 c redcost : 23.11 474278 0 736659 0 0
1800.02/1800.04 c impliedbounds : 0.00 6 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.10 6 0 0 747 0
1800.02/1800.04 c strongcg : 0.05 6 0 0 87 0
1800.02/1800.04 c cmir : 0.02 6 0 0 0 0
1800.02/1800.04 c flowcover : 0.06 6 0 0 0 0
1800.02/1800.04 c clique : 0.00 6 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 : 24.64 424864 26 626 0 0 848678
1800.02/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.04 c inference : 0.78 6778 0 0 0 0 13556
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.06 - 55
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.25 52 0
1800.02/1800.04 c veclendiving : 0.06 33 0
1800.02/1800.04 c coefdiving : 0.05 34 0
1800.02/1800.04 c pscostdiving : 0.03 34 0
1800.02/1800.04 c fracdiving : 0.04 34 0
1800.02/1800.04 c linesearchdiving : 0.03 34 0
1800.02/1800.04 c guideddiving : 0.05 34 0
1800.02/1800.04 c objpscostdiving : 0.03 30 0
1800.02/1800.04 c rootsoldiving : 0.03 30 0
1800.02/1800.04 c crossover : 1.67 70 0
1800.02/1800.04 c trivial : 0.02 2 0
1800.02/1800.04 c simplerounding : 0.56 426631 0
1800.02/1800.04 c zirounding : 0.36 1000 0
1800.02/1800.04 c rounding : 1.83 9190 0
1800.02/1800.04 c shifting : 1.28 2827 0
1800.02/1800.04 c intshifting : 0.00 6 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.05 0 0
1800.02/1800.04 c trysol : 2.08 4723 239
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 : 548.80 488937 3903523 7.98 7112.83
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.21 92 1678 18.24 7990.48
1800.02/1800.04 c strong branching : 20.99 9360 136114 14.54 6484.71
1800.02/1800.04 c (at root node) : - 33 3644 110.42 -
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 : 772231
1800.02/1800.04 c nodes (total) : 772231
1800.02/1800.04 c nodes left : 627
1800.02/1800.04 c max depth : 1340
1800.02/1800.04 c max depth (total): 1340
1800.02/1800.04 c backtracks : 93212 (12.1%)
1800.02/1800.04 c delayed cutoffs : 80201
1800.02/1800.04 c repropagations : 1568344 (6440617 domain reductions, 77007 cutoffs)
1800.02/1800.04 c avg switch length: 5.66
1800.02/1800.04 c switching time : 276.43
1800.02/1800.04 c Solution :
1800.02/1800.04 c Solutions found : 294 (56 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 : +1.00000000000000e+00 (in run 1, after 520161 nodes, 1008.31 seconds, depth 43, 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 : 274
1800.12/1800.12 c Time complete: 1800.14.