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-2705673-1278574750.wbo>
0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 930 impl, 0 cont) and 3638 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.00/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.00/0.08 c (round 3) 57 del vars, 169 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.00/0.08 c (round 4) 116 del vars, 245 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.08/0.09 c (round 5) 148 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.09/0.10 c (round 6) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 212 impls, 14 clqs
0.09/0.11 c (round 7) 162 del vars, 282 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 212 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (8 rounds):
0.09/0.14 c 162 deleted vars, 282 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.14 c 1902 implications, 14 cliques
0.09/0.14 c presolved problem has 1929 variables (1080 bin, 0 int, 849 impl, 0 cont) and 3356 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 53 constraints of type <setppc>
0.09/0.14 c 849 constraints of type <linear>
0.09/0.14 c 849 constraints of type <indicator>
0.09/0.14 c 1604 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.11
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.3
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1789.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14 c # [type: int, range: [1,2], default: 1]
0.09/0.14 c timing/clocktype = 2
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/indicator/addCouplingCons = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.15 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.15 c 0.1s| 1 | 0 | 25 | - |8964k| 0 | 15 |1929 |3356 |1929 |1658 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 52 | - |9016k| 0 | 22 |1929 |3358 |1929 |1677 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 63 | - |9214k| 0 | 11 |1929 |3358 |1929 |1684 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 71 | - |9303k| 0 | 20 |1929 |3358 |1929 |1693 | 35 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 0 | 81 | - |9408k| 0 | 19 |1929 |3358 |1929 |1698 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 129 | - |9527k| 0 | 39 |1929 |3358 |1929 |1703 | 45 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.4s| 1 | 0 | 163 | - |9531k| 0 | 38 |1929 |3358 |1929 |1709 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.55 c 0.5s| 1 | 0 | 314 | - |9540k| 0 | 47 |1929 |3358 |1929 |1711 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.02 c 1.0s| 1 | 2 | 314 | - |9541k| 0 | 47 |1929 |3358 |1929 |1711 | 53 | 0 | 14 | 0.000000e+00 | -- | Inf
2.09/2.17 o 42682
2.09/2.17 c y 2.1s| 19 | 18 | 1035 | 40.1 |9682k| 17 | - |1929 |3358 | 0 | 0 | 56 | 0 | 152 | 0.000000e+00 | 4.268200e+04 | Inf
3.29/3.34 o 651
3.29/3.34 c * 3.3s| 168 | 109 | 2068 | 10.5 | 10M| 61 | - |1929 |3414 |1929 |1704 | 88 | 56 | 482 | 0.000000e+00 | 6.510000e+02 | Inf
6.49/6.53 o 644
6.49/6.53 c * 6.5s| 2377 | 2234 | 4622 | 1.8 | 15M| 279 | - |1929 |3509 |1929 |1711 | 320 | 152 | 885 | 0.000000e+00 | 6.440000e+02 | Inf
6.99/7.05 o 597
6.99/7.05 c * 7.0s| 2888 | 2660 | 4882 | 1.6 | 16M| 279 | - |1929 |3509 |1929 |1715 | 360 | 152 | 894 | 0.000000e+00 | 5.970000e+02 | Inf
7.29/7.33 o 591
7.29/7.33 c * 7.3s| 3136 | 2880 | 5027 | 1.5 | 17M| 279 | - |1929 |3511 |1929 |1714 | 376 | 155 | 896 | 0.000000e+00 | 5.910000e+02 | Inf
7.39/7.43 o 300
7.39/7.43 c * 7.4s| 3188 | 1632 | 5285 | 1.6 | 15M| 279 | - |1929 |3517 |1929 |1709 | 393 | 162 | 913 | 0.000000e+00 | 3.000000e+02 | Inf
7.99/8.05 o 263
7.99/8.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.99/8.05 c * 8.0s| 3467 | 1575 | 6302 | 1.7 | 15M| 279 | - |1929 |3717 |1929 |1713 | 451 | 382 |1041 | 0.000000e+00 | 2.630000e+02 | Inf
8.19/8.29 o 242
8.19/8.29 c * 8.3s| 3614 | 1544 | 6738 | 1.8 | 15M| 279 | - |1929 |3832 |1929 |1710 | 519 | 506 |1049 | 0.000000e+00 | 2.420000e+02 | Inf
8.89/8.97 o 213
8.89/8.97 c * 9.0s| 3949 | 1562 | 7824 | 1.9 | 16M| 279 | - |1929 |4043 |1929 |1718 | 610 | 743 |1177 | 0.000000e+00 | 2.130000e+02 | Inf
9.59/9.68 o 197
9.59/9.68 c * 9.7s| 4249 | 1561 | 9028 | 2.1 | 16M| 279 | - |1929 |4168 |1929 |1704 | 702 | 989 |1330 | 0.000000e+00 | 1.970000e+02 | Inf
9.79/9.82 o 193
9.79/9.82 c * 9.8s| 4318 | 1566 | 9253 | 2.1 | 16M| 279 | - |1929 |4197 |1929 |1702 | 707 |1037 |1362 | 0.000000e+00 | 1.930000e+02 | Inf
13.89/13.99 o 166
13.89/13.99 c *14.0s| 6495 | 1998 | 20091 | 3.0 | 18M| 279 | - |1929 |4738 |1929 |1701 |1351 |3004 |1820 | 0.000000e+00 | 1.660000e+02 | Inf
13.99/14.03 o 138
13.99/14.03 c *14.0s| 6526 | 1835 | 20161 | 3.0 | 18M| 279 | - |1929 |4769 |1929 |1702 |1352 |3039 |1821 | 0.000000e+00 | 1.380000e+02 | Inf
13.99/14.03 o 106
13.99/14.03 c *14.0s| 6527 | 1520 | 20161 | 3.0 | 17M| 279 | - |1929 |4769 |1929 |1702 |1352 |3039 |1821 | 0.000000e+00 | 1.060000e+02 | Inf
16.30/16.31 o 100
16.30/16.31 c *16.3s| 7784 | 1648 | 28618 | 3.6 | 19M| 279 | - |1929 |4815 |1929 |1700 |1560 |4211 |1899 | 0.000000e+00 | 1.000000e+02 | Inf
19.99/20.05 c 20.0s| 10000 | 1852 | 42350 | 4.2 | 22M| 279 | - |1929 |5708 | 0 | 0 |1966 |6612 |1922 | 0.000000e+00 | 1.000000e+02 | Inf
20.39/20.48 o 59
20.39/20.48 c *20.5s| 10261 | 1256 | 43939 | 4.3 | 20M| 279 | - |1929 |5770 |1929 |1703 |1989 |6899 |1922 | 0.000000e+00 | 5.900000e+01 | Inf
21.59/21.61 o 55
21.59/21.61 c *21.6s| 10792 | 1232 | 50632 | 4.7 | 20M| 279 | - |1929 |5190 |1929 |1697 |2037 |7659 |1929 | 0.000000e+00 | 5.500000e+01 | Inf
21.59/21.64 o 53
21.59/21.64 c *21.6s| 10817 | 1224 | 50707 | 4.7 | 20M| 279 | - |1929 |5110 |1929 |1697 |2037 |7684 |1929 | 0.000000e+00 | 5.300000e+01 | Inf
21.59/21.65 o 52
21.59/21.65 c *21.6s| 10818 | 1217 | 50713 | 4.7 | 20M| 279 | - |1929 |5110 |1929 |1697 |2037 |7684 |1929 | 0.000000e+00 | 5.200000e+01 | Inf
22.59/22.61 o 39
22.59/22.61 c *22.6s| 11333 | 1061 | 56359 | 4.9 | 19M| 279 | - |1929 |4741 |1929 |1699 |2083 |8317 |1933 | 0.000000e+00 | 3.900000e+01 | Inf
24.89/24.96 o 25
24.89/24.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.89/24.96 c *24.9s| 12613 | 952 | 69578 | 5.5 | 19M| 279 | - |1929 |4639 |1929 |1699 |2255 |9870 |1942 | 0.000000e+00 | 2.500000e+01 | Inf
34.19/34.25 o 11
34.19/34.25 c *34.2s| 18551 | 717 |124610 | 6.7 | 20M| 279 | - |1929 |8674 |1929 |1697 |2639 | 17k|1942 | 0.000000e+00 | 1.100000e+01 | Inf
36.59/36.68 c 36.7s| 20000 | 693 |139281 | 6.9 | 20M| 279 | - |1929 |7523 | 0 | 0 |2776 | 19k|1942 | 0.000000e+00 | 1.100000e+01 | Inf
52.49/52.51 c 52.5s| 30000 | 742 |234253 | 7.8 | 22M| 279 | - |1929 | 11k| 0 | 0 |3715 | 32k|1992 | 0.000000e+00 | 1.100000e+01 | Inf
70.09/70.15 c 70.1s| 40000 | 733 |330071 | 8.2 | 24M| 279 | - |1929 | 14k|1929 |1705 |5123 | 46k|2423 | 0.000000e+00 | 1.100000e+01 | Inf
89.19/89.28 c 89.3s| 50000 | 803 |433828 | 8.7 | 26M| 279 | 21 |1929 | 18k|1929 |1712 |6445 | 59k|2753 | 0.000000e+00 | 1.100000e+01 | Inf
108.59/108.65 c 109s| 60000 | 742 |539112 | 9.0 | 25M| 279 | 22 |1929 | 15k|1929 |1708 |7825 | 72k|3155 | 0.000000e+00 | 1.100000e+01 | Inf
126.19/126.24 c 126s| 70000 | 640 |632114 | 9.0 | 25M| 279 | 19 |1929 | 16k|1929 |1697 |9335 | 86k|3462 | 0.000000e+00 | 1.100000e+01 | Inf
144.79/144.85 c 145s| 80000 | 702 |732538 | 9.2 | 26M| 279 | - |1929 | 18k| 0 | 0 | 10k| 99k|3713 | 0.000000e+00 | 1.100000e+01 | Inf
163.69/163.73 c 164s| 90000 | 672 |833659 | 9.3 | 26M| 279 | 26 |1929 | 16k|1929 |1697 | 11k| 112k|3955 | 0.000000e+00 | 1.100000e+01 | Inf
182.10/182.18 c 182s|100000 | 796 |929105 | 9.3 | 28M| 279 | - |1929 | 20k| 0 | 0 | 13k| 125k|4180 | 0.000000e+00 | 1.100000e+01 | Inf
200.79/200.81 c 201s|110000 | 770 | 1023k| 9.3 | 28M| 279 | - |1929 | 17k| 0 | 0 | 14k| 138k|4417 | 0.000000e+00 | 1.100000e+01 | Inf
220.69/220.79 c 221s|120000 | 878 | 1129k| 9.4 | 30M| 279 | 20 |1929 | 21k|1929 |1697 | 15k| 152k|4606 | 0.000000e+00 | 1.100000e+01 | Inf
239.80/239.88 c 240s|130000 | 919 | 1224k| 9.4 | 29M| 279 | 4 |1929 | 16k|1929 |1697 | 16k| 165k|4782 | 0.000000e+00 | 1.100000e+01 | Inf
256.99/257.00 c 257s|140000 | 1001 | 1315k| 9.4 | 30M| 279 | 13 |1929 | 15k|1929 |1697 | 17k| 179k|4949 | 0.000000e+00 | 1.100000e+01 | Inf
274.79/274.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.79/274.88 c 275s|150000 | 903 | 1406k| 9.4 | 29M| 279 | - |1929 | 13k| 0 | 0 | 19k| 192k|5158 | 0.000000e+00 | 1.100000e+01 | Inf
292.80/292.80 c 293s|160000 | 944 | 1504k| 9.4 | 31M| 279 | 20 |1929 | 16k|1929 |1697 | 21k| 205k|5305 | 0.000000e+00 | 1.100000e+01 | Inf
310.89/310.92 c 311s|170000 | 1031 | 1596k| 9.4 | 32M| 279 | - |1929 | 18k| 0 | 0 | 22k| 219k|5441 | 0.000000e+00 | 1.100000e+01 | Inf
329.09/329.14 c 329s|180000 | 1112 | 1681k| 9.3 | 33M| 279 | 17 |1929 | 20k|1929 |1697 | 24k| 233k|5596 | 0.000000e+00 | 1.100000e+01 | Inf
347.10/347.10 c 347s|190000 | 1143 | 1763k| 9.3 | 34M| 279 | - |1929 | 22k| 0 | 0 | 25k| 247k|5695 | 0.000000e+00 | 1.100000e+01 | Inf
365.80/365.89 c 366s|200000 | 1345 | 1854k| 9.3 | 34M| 279 | - |1929 | 20k| 0 | 0 | 27k| 261k|5789 | 0.000000e+00 | 1.100000e+01 | Inf
384.29/384.37 c 384s|210000 | 1505 | 1943k| 9.3 | 36M| 279 | - |1929 | 21k| 0 | 0 | 29k| 274k|5938 | 0.000000e+00 | 1.100000e+01 | Inf
402.70/402.76 c 403s|220000 | 1534 | 2031k| 9.2 | 37M| 279 | - |1929 | 21k|1929 |1697 | 30k| 288k|6063 | 0.000000e+00 | 1.100000e+01 | Inf
421.30/421.36 c 421s|230000 | 1598 | 2122k| 9.2 | 38M| 279 | - |1929 | 22k| 0 | 0 | 32k| 303k|6144 | 0.000000e+00 | 1.100000e+01 | Inf
439.80/439.86 c 440s|240000 | 1663 | 2209k| 9.2 | 39M| 279 | - |1929 | 23k| 0 | 0 | 33k| 317k|6253 | 0.000000e+00 | 1.100000e+01 | Inf
458.50/458.56 c 459s|250000 | 1586 | 2293k| 9.2 | 39M| 279 | - |1929 | 22k|1929 |1707 | 35k| 331k|6368 | 0.000000e+00 | 1.100000e+01 | Inf
477.90/477.97 c 478s|260000 | 1627 | 2386k| 9.2 | 39M| 279 | - |1929 | 22k| 0 | 0 | 36k| 344k|6500 | 0.000000e+00 | 1.100000e+01 | Inf
497.50/497.54 c 498s|270000 | 1638 | 2478k| 9.2 | 40M| 279 | - |1929 | 23k| 0 | 0 | 38k| 359k|6610 | 0.000000e+00 | 1.100000e+01 | Inf
517.01/517.08 c 517s|280000 | 1644 | 2572k| 9.2 | 41M| 279 | 19 |1929 | 25k|1929 |1697 | 39k| 372k|6721 | 0.000000e+00 | 1.100000e+01 | Inf
536.10/536.15 c 536s|290000 | 1656 | 2661k| 9.2 | 41M| 279 | 15 |1929 | 24k|1929 |1697 | 40k| 386k|6829 | 0.000000e+00 | 1.100000e+01 | Inf
555.60/555.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.60/555.69 c 556s|300000 | 1799 | 2759k| 9.2 | 43M| 279 | 23 |1929 | 24k|1929 |1697 | 42k| 400k|6917 | 0.000000e+00 | 1.100000e+01 | Inf
574.60/574.66 c 575s|310000 | 1803 | 2849k| 9.2 | 43M| 279 | - |1929 | 25k| 0 | 0 | 43k| 414k|7010 | 0.000000e+00 | 1.100000e+01 | Inf
593.50/593.53 c 594s|320000 | 1901 | 2935k| 9.2 | 44M| 279 | - |1929 | 24k| 0 | 0 | 44k| 429k|7215 | 0.000000e+00 | 1.100000e+01 | Inf
612.00/612.00 c 612s|330000 | 1801 | 3022k| 9.2 | 43M| 279 | - |1929 | 22k| 0 | 0 | 45k| 443k|7320 | 0.000000e+00 | 1.100000e+01 | Inf
631.31/631.37 c 631s|340000 | 1808 | 3114k| 9.2 | 43M| 279 | 15 |1929 | 22k|1929 |1697 | 46k| 456k|7415 | 0.000000e+00 | 1.100000e+01 | Inf
651.51/651.55 c 652s|350000 | 1712 | 3213k| 9.2 | 43M| 279 | - |1929 | 21k|1929 |1705 | 47k| 470k|7545 | 0.000000e+00 | 1.100000e+01 | Inf
670.20/670.23 c 670s|360000 | 1569 | 3301k| 9.2 | 42M| 279 | - |1929 | 21k| 0 | 0 | 48k| 484k|7672 | 0.000000e+00 | 1.100000e+01 | Inf
688.90/688.93 c 689s|370000 | 1613 | 3385k| 9.1 | 41M| 279 | 19 |1929 | 17k|1929 |1697 | 50k| 498k|7764 | 0.000000e+00 | 1.100000e+01 | Inf
707.51/707.53 c 708s|380000 | 1700 | 3471k| 9.1 | 41M| 279 | 27 |1929 | 16k|1929 |1697 | 50k| 511k|7835 | 0.000000e+00 | 1.100000e+01 | Inf
726.40/726.44 c 726s|390000 | 1697 | 3572k| 9.2 | 43M| 279 | - |1929 | 17k| 0 | 0 | 52k| 524k|7928 | 0.000000e+00 | 1.100000e+01 | Inf
745.60/745.62 c 746s|400000 | 1725 | 3673k| 9.2 | 43M| 279 | 25 |1929 | 18k|1929 |1697 | 53k| 537k|8034 | 0.000000e+00 | 1.100000e+01 | Inf
763.90/763.93 c 764s|410000 | 1704 | 3758k| 9.2 | 44M| 279 | - |1929 | 18k|1929 |1697 | 55k| 550k|8103 | 0.000000e+00 | 1.100000e+01 | Inf
781.91/781.90 c 782s|420000 | 1875 | 3847k| 9.2 | 45M| 279 | 8 |1929 | 19k|1929 |1697 | 56k| 563k|8207 | 0.000000e+00 | 1.100000e+01 | Inf
800.60/800.68 c 801s|430000 | 2018 | 3934k| 9.2 | 46M| 279 | 5 |1929 | 20k|1929 |1704 | 57k| 577k|8306 | 0.000000e+00 | 1.100000e+01 | Inf
818.41/818.43 c 818s|440000 | 2161 | 4017k| 9.1 | 48M| 279 | 22 |1929 | 21k|1929 |1697 | 58k| 590k|8383 | 0.000000e+00 | 1.100000e+01 | Inf
837.51/837.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.51/837.59 c 838s|450000 | 2207 | 4112k| 9.1 | 48M| 279 | - |1929 | 20k|1929 |1697 | 59k| 604k|8488 | 0.000000e+00 | 1.100000e+01 | Inf
856.41/856.41 c 856s|460000 | 2169 | 4204k| 9.1 | 48M| 279 | 10 |1929 | 20k|1929 |1697 | 61k| 617k|8560 | 0.000000e+00 | 1.100000e+01 | Inf
874.91/874.95 c 875s|470000 | 2140 | 4294k| 9.1 | 48M| 279 | - |1929 | 21k|1929 |1701 | 62k| 631k|8630 | 0.000000e+00 | 1.100000e+01 | Inf
892.90/892.93 c 893s|480000 | 2136 | 4379k| 9.1 | 49M| 279 | - |1929 | 22k| 0 | 0 | 63k| 645k|8691 | 0.000000e+00 | 1.100000e+01 | Inf
911.50/911.59 c 912s|490000 | 2229 | 4469k| 9.1 | 50M| 279 | 1 |1929 | 22k|1929 |1701 | 65k| 659k|8754 | 0.000000e+00 | 1.100000e+01 | Inf
929.91/929.97 c 930s|500000 | 2124 | 4554k| 9.1 | 49M| 279 | - |1929 | 22k| 0 | 0 | 67k| 673k|8864 | 0.000000e+00 | 1.100000e+01 | Inf
948.71/948.77 c 949s|510000 | 2173 | 4638k| 9.1 | 51M| 279 | 10 |1929 | 24k|1929 |1697 | 68k| 686k|8948 | 0.000000e+00 | 1.100000e+01 | Inf
967.91/967.96 c 968s|520000 | 2093 | 4724k| 9.1 | 50M| 279 | 20 |1929 | 22k|1929 |1697 | 69k| 699k|9022 | 0.000000e+00 | 1.100000e+01 | Inf
986.91/986.91 c 987s|530000 | 1969 | 4811k| 9.1 | 49M| 279 | 18 |1929 | 21k|1929 |1697 | 71k| 713k|9092 | 0.000000e+00 | 1.100000e+01 | Inf
1007.01/1007.06 c 1007s|540000 | 1994 | 4913k| 9.1 | 50M| 279 | 1 |1929 | 22k|1929 |1697 | 73k| 726k|9152 | 0.000000e+00 | 1.100000e+01 | Inf
1027.50/1027.52 c 1027s|550000 | 1978 | 5002k| 9.1 | 50M| 279 | - |1929 | 21k| 0 | 0 | 74k| 740k|9205 | 0.000000e+00 | 1.100000e+01 | Inf
1046.91/1046.99 c 1047s|560000 | 1921 | 5097k| 9.1 | 49M| 279 | - |1929 | 20k| 0 | 0 | 76k| 753k|9350 | 0.000000e+00 | 1.100000e+01 | Inf
1065.11/1065.12 c 1065s|570000 | 1928 | 5183k| 9.1 | 49M| 279 | 24 |1929 | 19k|1929 |1697 | 78k| 767k|9383 | 0.000000e+00 | 1.100000e+01 | Inf
1084.01/1084.08 c 1084s|580000 | 1955 | 5276k| 9.1 | 50M| 279 | 10 |1929 | 22k|1929 |1697 | 79k| 780k|9506 | 0.000000e+00 | 1.100000e+01 | Inf
1104.01/1104.07 c 1104s|590000 | 2053 | 5371k| 9.1 | 52M| 279 | 11 |1929 | 23k|1929 |1706 | 80k| 794k|9578 | 0.000000e+00 | 1.100000e+01 | Inf
1123.81/1123.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.81/1123.85 c 1124s|600000 | 2090 | 5460k| 9.1 | 53M| 279 | 17 |1929 | 24k|1929 |1697 | 82k| 808k|9622 | 0.000000e+00 | 1.100000e+01 | Inf
1144.11/1144.19 c 1144s|610000 | 2084 | 5559k| 9.1 | 53M| 279 | 24 |1929 | 23k|1929 |1705 | 83k| 821k|9695 | 0.000000e+00 | 1.100000e+01 | Inf
1164.61/1164.67 c 1165s|620000 | 2244 | 5654k| 9.1 | 54M| 279 | 16 |1929 | 24k|1929 |1697 | 84k| 835k|9812 | 0.000000e+00 | 1.100000e+01 | Inf
1185.41/1185.47 c 1185s|630000 | 2250 | 5749k| 9.1 | 55M| 279 | 19 |1929 | 25k|1929 |1697 | 85k| 849k|9866 | 0.000000e+00 | 1.100000e+01 | Inf
1206.11/1206.15 c 1206s|640000 | 2319 | 5841k| 9.1 | 57M| 279 | 6 |1929 | 28k|1929 |1697 | 86k| 863k|9919 | 0.000000e+00 | 1.100000e+01 | Inf
1227.52/1227.53 c 1228s|650000 | 2226 | 5929k| 9.1 | 56M| 279 | 20 |1929 | 26k|1929 |1697 | 87k| 877k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
1248.81/1248.83 c 1249s|660000 | 2375 | 6022k| 9.1 | 57M| 279 | - |1929 | 26k| 0 | 0 | 88k| 891k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
1270.02/1270.05 c 1270s|670000 | 2453 | 6124k| 9.1 | 59M| 279 | 17 |1929 | 27k|1929 |1697 | 89k| 905k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
1291.52/1291.55 o 10
1291.52/1291.55 c *1292s|679912 | 2481 | 6221k| 9.2 | 58M| 279 | - |1929 | 29k|1929 |1697 | 91k| 920k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
1291.71/1291.77 c 1292s|680000 | 2476 | 6222k| 9.2 | 57M| 279 | 20 |1929 | 27k|1929 |1697 | 91k| 920k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
1312.81/1312.82 c 1313s|690000 | 2460 | 6315k| 9.2 | 57M| 279 | 1 |1929 | 27k|1929 |1697 | 91k| 935k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
1335.12/1335.15 c 1335s|700000 | 2427 | 6415k| 9.2 | 57M| 279 | - |1929 | 26k| 0 | 0 | 92k| 949k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
1356.22/1356.20 c 1356s|710000 | 2384 | 6505k| 9.2 | 57M| 279 | 19 |1929 | 27k|1929 |1697 | 93k| 964k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
1378.51/1378.55 c 1379s|720000 | 2350 | 6603k| 9.2 | 58M| 279 | 15 |1929 | 29k|1929 |1697 | 94k| 978k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
1400.22/1400.27 o 9
1400.22/1400.27 c *1400s|729789 | 2251 | 6705k| 9.2 | 57M| 279 | - |1929 | 27k|1929 |1713 | 95k| 992k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
1400.81/1400.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.81/1400.81 c 1401s|730000 | 2255 | 6707k| 9.2 | 56M| 279 | 8 |1929 | 26k|1929 |1697 | 95k| 992k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
1421.72/1421.79 c 1422s|740000 | 2165 | 6811k| 9.2 | 54M| 279 | 26 |1929 | 21k|1929 |1703 | 96k|1006k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
1441.21/1441.21 c 1441s|750000 | 2220 | 6903k| 9.2 | 54M| 279 | 17 |1929 | 21k|1929 |1697 | 98k|1019k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
1461.41/1461.41 c 1461s|760000 | 2192 | 6997k| 9.2 | 55M| 279 | 20 |1929 | 22k|1929 |1706 | 99k|1032k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
1482.12/1482.19 c 1482s|770000 | 2181 | 7099k| 9.2 | 55M| 279 | 16 |1929 | 22k|1929 |1697 | 100k|1046k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
1502.11/1502.17 c 1502s|780000 | 2146 | 7193k| 9.2 | 54M| 279 | 16 |1929 | 19k|1929 |1697 | 101k|1059k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
1521.42/1521.49 c 1521s|790000 | 2146 | 7285k| 9.2 | 55M| 279 | - |1929 | 23k| 0 | 0 | 102k|1073k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1542.02/1542.02 c 1542s|800000 | 2145 | 7382k| 9.2 | 56M| 279 | - |1929 | 25k| 0 | 0 | 104k|1086k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1562.91/1562.90 c 1563s|810000 | 2130 | 7472k| 9.2 | 57M| 279 | - |1929 | 27k| 0 | 0 | 105k|1100k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1583.62/1583.60 c 1584s|820000 | 2040 | 7561k| 9.2 | 55M| 279 | - |1929 | 23k|1929 |1697 | 106k|1114k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1603.32/1603.32 c 1603s|830000 | 1977 | 7651k| 9.2 | 52M| 279 | - |1929 | 16k| 0 | 0 | 107k|1128k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1622.82/1622.89 c 1623s|840000 | 1982 | 7750k| 9.2 | 53M| 279 | - |1929 | 19k| 0 | 0 | 108k|1140k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1641.92/1641.94 c 1642s|850000 | 1952 | 7837k| 9.2 | 54M| 279 | - |1929 | 20k| 0 | 0 | 109k|1154k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1661.02/1661.04 c 1661s|860000 | 1908 | 7930k| 9.2 | 53M| 279 | - |1929 | 19k| 0 | 0 | 109k|1167k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1679.92/1679.92 c 1680s|870000 | 1958 | 8029k| 9.2 | 53M| 279 | 29 |1929 | 17k|1929 |1697 | 110k|1181k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1698.32/1698.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.32/1698.39 c 1698s|880000 | 1962 | 8122k| 9.2 | 54M| 279 | 1 |1929 | 21k|1929 |1697 | 111k|1194k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1717.03/1717.05 c 1717s|890000 | 1980 | 8211k| 9.2 | 56M| 279 | - |1929 | 25k|1929 |1703 | 113k|1208k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1735.42/1735.48 c 1735s|900000 | 1991 | 8297k| 9.2 | 53M| 279 | - |1929 | 17k| 0 | 0 | 114k|1221k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1753.72/1753.76 c 1754s|910000 | 2037 | 8389k| 9.2 | 55M| 279 | - |1929 | 20k| 0 | 0 | 114k|1235k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1771.62/1771.63 c 1772s|920000 | 2008 | 8480k| 9.2 | 53M| 279 | - |1929 | 15k| 0 | 0 | 115k|1249k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1789.42/1789.42 c 1789s|930000 | 2083 | 8572k| 9.2 | 54M| 279 | - |1929 | 17k| 0 | 0 | 116k|1263k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
1790.02/1790.00 c
1790.02/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.00 c Solving Time (sec) : 1789.98
1790.02/1790.00 c Solving Nodes : 930357
1790.02/1790.00 c Primal Bound : +9.00000000000000e+00 (116 solutions)
1790.02/1790.00 c Dual Bound : +0.00000000000000e+00
1790.02/1790.00 c Gap : infinite
1790.02/1790.01 s SATISFIABLE
1790.02/1790.01 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.02/1790.01 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1790.02/1790.01 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.02/1790.01 v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147
1790.02/1790.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1790.02/1790.01 v -x125 x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1790.02/1790.01 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
1790.02/1790.01 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
1790.02/1790.01 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
1790.02/1790.01 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
1790.02/1790.01 v -x1
1790.02/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.01 c Solving Time : 1789.98
1790.02/1790.01 c Original Problem :
1790.02/1790.01 c Problem name : HOME/instance-2705673-1278574750.wbo
1790.02/1790.01 c Variables : 2091 (1161 binary, 0 integer, 930 implicit integer, 0 continuous)
1790.02/1790.01 c Constraints : 3638 initial, 3638 maximal
1790.02/1790.01 c Presolved Problem :
1790.02/1790.01 c Problem name : t_HOME/instance-2705673-1278574750.wbo
1790.02/1790.01 c Variables : 1929 (1080 binary, 0 integer, 849 implicit integer, 0 continuous)
1790.02/1790.01 c Constraints : 3356 initial, 30636 maximal
1790.02/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.02/1790.01 c trivial : 0.00 81 0 0 0 0 0 0 0
1790.02/1790.01 c dualfix : 0.00 81 0 0 0 0 0 0 0
1790.02/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0
1790.02/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c setppc : 0.00 0 0 0 0 0 9 0 0
1790.02/1790.01 c linear : 0.06 0 0 0 954 0 192 139 0
1790.02/1790.01 c indicator : 0.00 0 0 0 0 0 81 0 0
1790.02/1790.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.02/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c root node : - 1570 - - 1570 - - - -
1790.02/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.02/1790.01 c integral : 0 0 0 521934 0 289 3441 0 0 989216
1790.02/1790.01 c knapsack : 1 7 4339299 23265 1 52967 12794652 0 0 0
1790.02/1790.01 c setppc : 53 7 4295072 23388 1 70727 2453207 0 0 0
1790.02/1790.01 c linear : 849+ 8 4225444 24024 1 78099 4810923 116895 0 0
1790.02/1790.01 c indicator : 849 0 4128072 24327 1 585 1513865 0 0 0
1790.02/1790.01 c logicor : 1604+ 7 2038389 4482 1 162615 7069683 0 0 0
1790.02/1790.01 c bounddisjunction : 0+ 0 247922 0 0 665 3200 0 0 0
1790.02/1790.01 c countsols : 0 0 0 4482 1 0 0 0 0 0
1790.02/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.02/1790.01 c integral : 32.41 0.00 0.00 32.41 0.00
1790.02/1790.01 c knapsack : 41.18 0.00 41.17 0.01 0.00
1790.02/1790.01 c setppc : 15.82 0.00 15.80 0.02 0.00
1790.02/1790.01 c linear : 50.46 0.00 49.88 0.57 0.00
1790.02/1790.01 c indicator : 13.80 0.02 13.29 0.49 0.00
1790.02/1790.01 c logicor : 245.72 0.00 245.67 0.05 0.00
1790.02/1790.01 c bounddisjunction : 0.36 0.00 0.36 0.00 0.00
1790.02/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.02/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.02/1790.01 c vbounds : 0.66 5268 0 403
1790.02/1790.01 c rootredcost : 0.64 24 0 785
1790.02/1790.01 c pseudoobj : 59.52 4354313 4786 1592187
1790.02/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.02/1790.01 c propagation : 13.72 369859 369506 2140867 27.6 13115 24.4 -
1790.02/1790.01 c infeasible LP : 20.66 120090 120089 923027 44.6 1199 16.6 0
1790.02/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.01 c pseudo solution : 0.00 1 1 6 19.7 0 0.0 -
1790.02/1790.01 c applied globally : - - - 1263930 26.7 - - -
1790.02/1790.01 c applied locally : - - - 0 0.0 - - -
1790.02/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.02/1790.01 c cut pool : 0.00 6 - - 16 - (maximal pool size: 250)
1790.02/1790.01 c redcost : 18.40 523761 0 30409 0 0
1790.02/1790.01 c impliedbounds : 0.00 7 0 0 0 0
1790.02/1790.01 c intobj : 0.00 0 0 0 0 0
1790.02/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.02/1790.01 c gomory : 0.11 7 0 0 1941 0
1790.02/1790.01 c strongcg : 0.09 7 0 0 1768 0
1790.02/1790.01 c cmir : 0.02 7 0 0 6 0
1790.02/1790.01 c flowcover : 0.05 7 0 0 13 0
1790.02/1790.01 c clique : 0.00 7 0 0 0 0
1790.02/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.02/1790.01 c mcf : 0.00 1 0 0 0 0
1790.02/1790.01 c rapidlearning : 0.07 1 0 0 0 2
1790.02/1790.01 c Pricers : Time Calls Vars
1790.02/1790.01 c problem variables: 0.00 0 0
1790.02/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.02/1790.01 c relpscost : 31.99 497527 289 3441 0 0 989216
1790.02/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.02/1790.01 c inference : 0.54 4460 0 0 0 0 8920
1790.02/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.02/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.02/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.01 c random : 0.00 0 0 0 0 0 0
1790.02/1790.01 c Primal Heuristics : Time Calls Found
1790.02/1790.01 c LP solutions : 0.01 - 23
1790.02/1790.01 c pseudo solutions : 0.00 - 0
1790.02/1790.01 c intshifting : 0.02 0 0
1790.02/1790.01 c feaspump : 0.03 1 0
1790.02/1790.01 c oneopt : 0.31 22 0
1790.02/1790.01 c crossover : 0.58 13 0
1790.02/1790.01 c pscostdiving : 0.23 133 0
1790.02/1790.01 c fracdiving : 0.25 133 0
1790.02/1790.01 c veclendiving : 0.20 133 0
1790.02/1790.01 c linesearchdiving : 0.19 134 0
1790.02/1790.01 c guideddiving : 0.30 134 0
1790.02/1790.01 c coefdiving : 0.28 134 0
1790.02/1790.01 c objpscostdiving : 0.16 90 0
1790.02/1790.01 c rootsoldiving : 0.23 90 0
1790.02/1790.01 c trivial : 0.00 2 0
1790.02/1790.01 c simplerounding : 0.70 497795 0
1790.02/1790.01 c zirounding : 0.27 1000 0
1790.02/1790.01 c rounding : 0.84 9949 0
1790.02/1790.01 c shifting : 0.87 3117 0
1790.02/1790.01 c twoopt : 0.00 0 0
1790.02/1790.01 c fixandinfer : 0.00 0 0
1790.02/1790.01 c intdiving : 0.00 0 0
1790.02/1790.01 c actconsdiving : 0.00 0 0
1790.02/1790.01 c octane : 0.00 0 0
1790.02/1790.01 c rens : 0.02 1 0
1790.02/1790.01 c rins : 0.00 0 0
1790.02/1790.01 c localbranching : 0.00 0 0
1790.02/1790.01 c mutation : 0.00 0 0
1790.02/1790.01 c dins : 0.00 0 0
1790.02/1790.01 c undercover : 0.00 0 0
1790.02/1790.01 c nlp : 0.15 0 0
1790.02/1790.01 c trysol : 0.26 133 93
1790.02/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.02/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.02/1790.01 c dual LP : 870.72 635713 8571055 13.48 9843.60
1790.02/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.02/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.02/1790.01 c diving/probing LP: 0.91 760 4473 5.89 4925.96
1790.02/1790.01 c strong branching : 27.55 11882 292742 24.64 10627.22
1790.02/1790.01 c (at root node) : - 14 4082 291.57 -
1790.02/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.02/1790.01 c B&B Tree :
1790.02/1790.01 c number of runs : 1
1790.02/1790.01 c nodes : 930357
1790.02/1790.01 c nodes (total) : 930357
1790.02/1790.01 c nodes left : 2095
1790.02/1790.01 c max depth : 279
1790.02/1790.01 c max depth (total): 279
1790.02/1790.01 c backtracks : 114824 (12.3%)
1790.02/1790.01 c delayed cutoffs : 61702
1790.02/1790.01 c repropagations : 1726397 (5506154 domain reductions, 58774 cutoffs)
1790.02/1790.01 c avg switch length: 5.35
1790.02/1790.01 c switching time : 226.92
1790.02/1790.01 c Solution :
1790.02/1790.01 c Solutions found : 116 (24 improvements)
1790.02/1790.01 c First Solution : +4.26820000000000e+04 (in run 1, after 18 nodes, 2.14 seconds, depth 18, found by <trysol>)
1790.02/1790.01 c Primal Bound : +9.00000000000000e+00 (in run 1, after 729789 nodes, 1400.25 seconds, depth 51, found by <relaxation>)
1790.02/1790.01 c Dual Bound : +0.00000000000000e+00
1790.02/1790.01 c Gap : infinite
1790.02/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.02/1790.01 c Root Iterations : 314
1790.02/1790.08 c Time complete: 1790.1.