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-2692831-1277905912.wbo>
0.01/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.04 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.01/0.08 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.12 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/1943 (5.2%) - 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 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17 c 1913 implications, 7 cliques
0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.17 c 1712 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1712 constraints of type <linear>
0.09/0.17 c 898 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 22 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 86784
0.09/0.18 c y 0.1s| 1 | 0 | 32 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 71 | - | 13M| 0 | 36 |3655 |4329 |3655 | 928 | 23 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 139 | - | 14M| 0 | 42 |3655 |4329 |3655 | 949 | 44 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 187 | - | 14M| 0 | 48 |3655 |4329 |3655 | 960 | 55 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 244 | - | 14M| 0 | 51 |3655 |4329 |3655 | 966 | 61 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 289 | - | 14M| 0 | 51 |3655 |4329 |3655 | 970 | 65 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.49/0.56 c 0.5s| 1 | 0 | 349 | - | 14M| 0 | 53 |3655 |4329 |3655 | 972 | 67 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
1.19/1.24 c 1.1s| 1 | 2 | 349 | - | 14M| 0 | 53 |3655 |4329 |3655 | 972 | 67 | 0 | 33 | 0.000000e+00 | 8.678400e+04 | Inf
5.59/5.63 o 697
5.59/5.63 c * 5.4s| 1654 | 978 | 1603 | 0.8 | 17M|1653 | - |3655 |4329 |3655 | 998 | 95 | 0 | 211 | 0.000000e+00 | 6.970000e+02 | Inf
10.09/10.19 o 692
10.09/10.19 c * 9.8s| 2729 | 1790 | 6966 | 2.4 | 21M|1653 | - |3655 |4989 |3655 | 992 | 763 | 660 |1075 | 0.000000e+00 | 6.920000e+02 | Inf
10.90/10.90 o 657
10.90/10.90 c *10.5s| 2978 | 1564 | 7983 | 2.6 | 22M|1653 | - |3655 |5277 |3655 | 990 | 934 | 959 |1154 | 0.000000e+00 | 6.570000e+02 | Inf
14.09/14.10 o 637
14.09/14.10 c *13.6s| 3867 | 2117 | 14785 | 3.7 | 26M|1653 | - |3655 |5432 |3655 | 989 |1335 |1367 |1507 | 0.000000e+00 | 6.370000e+02 | Inf
14.09/14.13 o 561
14.09/14.13 c *13.6s| 3878 | 1705 | 14790 | 3.7 | 24M|1653 | - |3655 |5432 |3655 | 991 |1337 |1367 |1507 | 0.000000e+00 | 5.610000e+02 | Inf
15.09/15.14 o 548
15.09/15.14 c *14.6s| 4215 | 1825 | 17003 | 4.0 | 25M|1653 | - |3655 |5464 |3655 | 990 |1565 |1588 |1585 | 0.000000e+00 | 5.480000e+02 | Inf
15.40/15.42 o 531
15.40/15.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.40/15.42 c *14.8s| 4332 | 1841 | 17671 | 4.0 | 25M|1653 | - |3655 |5531 |3655 |1004 |1614 |1708 |1596 | 0.000000e+00 | 5.310000e+02 | Inf
15.59/15.61 o 516
15.59/15.61 c *15.0s| 4389 | 1792 | 18237 | 4.1 | 25M|1653 | - |3655 |5524 |3655 | 986 |1662 |1735 |1612 | 0.000000e+00 | 5.160000e+02 | Inf
15.79/15.88 o 499
15.79/15.88 c *15.3s| 4484 | 1816 | 18859 | 4.1 | 25M|1653 | - |3655 |5550 |3655 |1001 |1757 |1793 |1626 | 0.000000e+00 | 4.990000e+02 | Inf
15.89/15.98 o 484
15.89/15.98 c *15.4s| 4534 | 1827 | 18997 | 4.1 | 25M|1653 | - |3655 |5544 |3655 |1000 |1774 |1796 |1626 | 0.000000e+00 | 4.840000e+02 | Inf
16.30/16.36 o 475
16.30/16.36 c *15.8s| 4682 | 1902 | 19846 | 4.2 | 25M|1653 | - |3655 |5616 |3655 | 998 |1927 |1884 |1641 | 0.000000e+00 | 4.750000e+02 | Inf
16.59/16.69 o 417
16.59/16.69 c *16.1s| 4884 | 1851 | 20211 | 4.1 | 25M|1653 | - |3655 |5647 |3655 |1001 |2033 |1926 |1643 | 0.000000e+00 | 4.170000e+02 | Inf
16.79/16.84 o 383
16.79/16.84 c *16.2s| 4965 | 1766 | 20391 | 4.0 | 25M|1653 | - |3655 |5648 |3655 | 984 |2083 |1941 |1648 | 0.000000e+00 | 3.830000e+02 | Inf
16.90/16.92 o 350
16.90/16.92 c *16.3s| 5014 | 1664 | 20458 | 4.0 | 24M|1653 | - |3655 |5644 |3655 | 983 |2096 |1941 |1648 | 0.000000e+00 | 3.500000e+02 | Inf
16.99/17.02 o 336
16.99/17.02 c *16.4s| 5066 | 1605 | 20612 | 4.0 | 24M|1653 | - |3655 |5658 |3655 | 979 |2135 |1958 |1648 | 0.000000e+00 | 3.360000e+02 | Inf
17.39/17.40 o 330
17.39/17.40 c *16.8s| 5185 | 1634 | 21597 | 4.1 | 25M|1653 | - |3655 |5735 |3655 | 986 |2261 |2081 |1658 | 0.000000e+00 | 3.300000e+02 | Inf
17.79/17.88 o 322
17.79/17.88 c *17.2s| 5286 | 1662 | 23151 | 4.3 | 25M|1653 | - |3655 |5737 |3655 | 988 |2353 |2148 |1698 | 0.000000e+00 | 3.220000e+02 | Inf
17.89/17.97 o 316
17.89/17.97 c *17.3s| 5322 | 1665 | 23249 | 4.3 | 25M|1653 | - |3655 |5745 |3655 | 999 |2375 |2169 |1698 | 0.000000e+00 | 3.160000e+02 | Inf
17.89/17.98 o 296
17.89/17.98 c *17.3s| 5323 | 1563 | 23249 | 4.3 | 24M|1653 | - |3655 |5745 |3655 | 999 |2375 |2169 |1698 | 0.000000e+00 | 2.960000e+02 | Inf
17.99/18.04 o 289
17.99/18.04 c *17.4s| 5349 | 1559 | 23405 | 4.3 | 25M|1653 | - |3655 |5745 |3655 | 981 |2402 |2174 |1698 | 0.000000e+00 | 2.890000e+02 | Inf
18.09/18.14 o 277
18.09/18.14 c *17.5s| 5380 | 1522 | 23602 | 4.3 | 24M|1653 | - |3655 |5753 |3655 | 993 |2453 |2189 |1699 | 0.000000e+00 | 2.770000e+02 | Inf
18.19/18.28 o 275
18.19/18.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.19/18.28 c *17.6s| 5415 | 1526 | 24134 | 4.4 | 24M|1653 | - |3655 |5710 |3655 | 991 |2474 |2203 |1706 | 0.000000e+00 | 2.750000e+02 | Inf
18.30/18.32 o 245
18.30/18.32 c *17.7s| 5447 | 1469 | 24134 | 4.4 | 24M|1653 | - |3655 |5710 |3655 | 991 |2474 |2203 |1706 | 0.000000e+00 | 2.450000e+02 | Inf
18.30/18.38 o 239
18.30/18.38 c *17.7s| 5467 | 1455 | 24245 | 4.4 | 24M|1653 | - |3655 |5699 |3655 | 998 |2502 |2203 |1706 | 0.000000e+00 | 2.390000e+02 | Inf
18.39/18.42 o 222
18.39/18.42 c *17.8s| 5486 | 1404 | 24345 | 4.4 | 24M|1653 | - |3655 |5697 |3655 | 989 |2521 |2203 |1706 | 0.000000e+00 | 2.220000e+02 | Inf
18.39/18.46 o 214
18.39/18.46 c *17.8s| 5499 | 1389 | 24416 | 4.4 | 24M|1653 | - |3655 |5693 |3655 | 982 |2533 |2203 |1706 | 0.000000e+00 | 2.140000e+02 | Inf
18.49/18.55 o 185
18.49/18.55 c *17.9s| 5542 | 1312 | 24510 | 4.4 | 24M|1653 | - |3655 |5699 |3655 | 998 |2561 |2214 |1706 | 0.000000e+00 | 1.850000e+02 | Inf
18.49/18.59 o 174
18.49/18.59 c *17.9s| 5564 | 1281 | 24621 | 4.4 | 24M|1653 | - |3655 |5697 |3655 | 993 |2584 |2216 |1706 | 0.000000e+00 | 1.740000e+02 | Inf
18.89/18.98 o 149
18.89/18.98 c *18.3s| 5691 | 1239 | 25665 | 4.4 | 24M|1653 | - |3655 |5658 |3655 | 999 |2667 |2363 |1723 | 0.000000e+00 | 1.490000e+02 | Inf
19.29/19.37 o 138
19.29/19.37 c *18.7s| 5917 | 1317 | 25999 | 4.3 | 24M|1653 | - |3655 |5653 |3655 |1006 |2760 |2399 |1726 | 0.000000e+00 | 1.380000e+02 | Inf
20.10/20.12 o 115
20.10/20.12 c *19.4s| 6143 | 1162 | 27733 | 4.5 | 24M|1653 | - |3655 |5642 |3655 | 981 |2907 |2601 |1759 | 0.000000e+00 | 1.150000e+02 | Inf
20.19/20.26 o 105
20.19/20.26 c *19.5s| 6192 | 1136 | 27975 | 4.5 | 24M|1653 | - |3655 |5588 |3655 | 970 |2928 |2631 |1759 | 0.000000e+00 | 1.050000e+02 | Inf
20.30/20.35 o 99
20.30/20.35 c *19.6s| 6217 | 1116 | 28097 | 4.5 | 24M|1653 | - |3655 |5577 |3655 | 989 |2952 |2651 |1761 | 0.000000e+00 | 9.900000e+01 | Inf
20.30/20.37 o 97
20.30/20.37 c *19.6s| 6222 | 1089 | 28097 | 4.5 | 24M|1653 | - |3655 |5513 |3655 | 989 |2952 |2651 |1761 | 0.000000e+00 | 9.700000e+01 | Inf
20.30/20.37 o 82
20.30/20.37 c *19.6s| 6223 | 884 | 28097 | 4.5 | 23M|1653 | - |3655 |5513 |3655 | 989 |2952 |2651 |1761 | 0.000000e+00 | 8.200000e+01 | Inf
27.89/27.90 c 26.9s| 10000 | 1081 | 39512 | 3.9 | 26M|1653 | - |3655 |7510 | 0 | 0 |3792 |7881 |1790 | 0.000000e+00 | 8.200000e+01 | Inf
48.19/48.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.19/48.26 c 46.5s| 20000 | 1575 | 77179 | 3.8 | 35M|1653 | - |3655 |7878 | 0 | 0 |5973 | 19k|1804 | 0.000000e+00 | 8.200000e+01 | Inf
62.19/62.26 o 66
62.19/62.26 c *60.0s| 27262 | 1623 | 99027 | 3.6 | 39M|1653 | - |3655 |8793 |3655 | 970 |7202 | 28k|1804 | 0.000000e+00 | 6.600000e+01 | Inf
62.49/62.53 o 64
62.49/62.53 c *60.2s| 27374 | 1596 | 99379 | 3.6 | 38M|1653 | - |3655 |8416 |3655 | 976 |7238 | 28k|1804 | 0.000000e+00 | 6.400000e+01 | Inf
67.79/67.84 c 65.4s| 30000 | 1606 |107897 | 3.6 | 39M|1653 | - |3655 |7216 | 0 | 0 |7641 | 32k|1804 | 0.000000e+00 | 6.400000e+01 | Inf
67.99/68.05 o 62
67.99/68.05 c *65.5s| 30091 | 1595 |108131 | 3.6 | 39M|1653 | - |3655 |7308 |3655 | 970 |7659 | 32k|1804 | 0.000000e+00 | 6.200000e+01 | Inf
67.99/68.08 o 59
67.99/68.08 c *65.6s| 30097 | 1544 |108189 | 3.6 | 38M|1653 | - |3655 |7213 |3655 | 980 |7669 | 32k|1804 | 0.000000e+00 | 5.900000e+01 | Inf
70.30/70.34 o 56
70.30/70.34 c *67.8s| 31306 | 1545 |111772 | 3.6 | 39M|1653 | - |3655 |7405 |3655 | 970 |7827 | 34k|1804 | 0.000000e+00 | 5.600000e+01 | Inf
74.09/74.16 o 52
74.09/74.16 c *71.5s| 32949 | 1522 |120064 | 3.6 | 39M|1653 | - |3655 |6676 |3655 | 975 |8090 | 36k|1804 | 0.000000e+00 | 5.200000e+01 | Inf
74.09/74.17 o 49
74.09/74.17 c *71.5s| 32950 | 1485 |120067 | 3.6 | 38M|1653 | - |3655 |6676 |3655 | 975 |8090 | 36k|1804 | 0.000000e+00 | 4.900000e+01 | Inf
74.20/74.22 o 41
74.20/74.22 c *71.5s| 32966 | 1402 |120204 | 3.6 | 38M|1653 | - |3655 |6475 |3655 | 971 |8105 | 36k|1804 | 0.000000e+00 | 4.100000e+01 | Inf
74.89/74.95 o 29
74.89/74.95 c *72.2s| 33362 | 1272 |121350 | 3.6 | 37M|1653 | - |3655 |6318 |3655 | 970 |8127 | 37k|1804 | 0.000000e+00 | 2.900000e+01 | Inf
74.89/74.95 o 25
74.89/74.95 c *72.2s| 33363 | 1213 |121353 | 3.6 | 36M|1653 | - |3655 |6318 |3655 | 970 |8127 | 37k|1804 | 0.000000e+00 | 2.500000e+01 | Inf
75.59/75.66 o 21
75.59/75.66 c *72.9s| 33722 | 1115 |122974 | 3.6 | 35M|1653 | - |3655 |5452 |3655 | 970 |8176 | 37k|1804 | 0.000000e+00 | 2.100000e+01 | Inf
76.09/76.17 o 12
76.09/76.17 c *73.4s| 33973 | 904 |124542 | 3.7 | 31M|1653 | - |3655 |5129 |3655 | 970 |8206 | 37k|1804 | 0.000000e+00 | 1.200000e+01 | Inf
85.59/85.67 c 82.5s| 40000 | 777 |150806 | 3.8 | 32M|1653 | - |3655 |8349 | 0 | 0 |8953 | 46k|1814 | 0.000000e+00 | 1.200000e+01 | Inf
88.79/88.83 o 1
88.79/88.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.79/88.83 c *85.5s| 41867 | 563 |159200 | 3.8 | 30M|1653 | - |3655 |8455 |3655 | 972 |9217 | 49k|1814 | 0.000000e+00 | 1.000000e+00 | Inf
101.39/101.48 c 97.7s| 50000 | 584 |192801 | 3.8 | 31M|1653 | 37 |3655 | 10k|3655 | 970 | 10k| 59k|1814 | 0.000000e+00 | 1.000000e+00 | Inf
118.19/118.20 c 114s| 60000 | 670 |239773 | 4.0 | 34M|1653 | 21 |3655 | 14k|3655 | 970 | 11k| 72k|1825 | 0.000000e+00 | 1.000000e+00 | Inf
135.70/135.76 c 131s| 70000 | 647 |284181 | 4.1 | 35M|1653 | 12 |3655 | 15k|3655 | 970 | 12k| 86k|1922 | 0.000000e+00 | 1.000000e+00 | Inf
152.99/153.00 c 147s| 80000 | 459 |330690 | 4.1 | 31M|1653 | 24 |3655 | 10k|3655 | 970 | 13k| 99k|2070 | 0.000000e+00 | 1.000000e+00 | Inf
170.29/170.38 c 164s| 90000 | 491 |380355 | 4.2 | 33M|1653 | - |3655 | 13k| 0 | 0 | 14k| 113k|2229 | 0.000000e+00 | 1.000000e+00 | Inf
189.30/189.35 c 182s|100000 | 638 |427447 | 4.3 | 36M|1653 | - |3655 | 18k| 0 | 0 | 15k| 126k|2393 | 0.000000e+00 | 1.000000e+00 | Inf
209.30/209.34 c 202s|110000 | 804 |478579 | 4.3 | 40M|1653 | - |3655 | 23k| 0 | 0 | 16k| 140k|2549 | 0.000000e+00 | 1.000000e+00 | Inf
229.99/230.06 c 222s|120000 | 750 |527374 | 4.4 | 39M|1653 | - |3655 | 20k| 0 | 0 | 16k| 154k|2707 | 0.000000e+00 | 1.000000e+00 | Inf
250.19/250.27 c 241s|130000 | 699 |574987 | 4.4 | 39M|1653 | - |3655 | 20k|3655 | 976 | 17k| 168k|2820 | 0.000000e+00 | 1.000000e+00 | Inf
269.90/269.95 c 260s|140000 | 490 |620677 | 4.4 | 36M|1653 | 21 |3655 | 17k|3655 | 975 | 18k| 181k|2971 | 0.000000e+00 | 1.000000e+00 | Inf
289.70/289.71 c 279s|150000 | 489 |666358 | 4.4 | 36M|1653 | 14 |3655 | 18k|3655 | 974 | 19k| 194k|3170 | 0.000000e+00 | 1.000000e+00 | Inf
308.00/308.07 c 297s|160000 | 593 |708166 | 4.4 | 37M|1653 | 19 |3655 | 20k|3655 | 970 | 20k| 207k|3251 | 0.000000e+00 | 1.000000e+00 | Inf
326.70/326.76 c 315s|170000 | 739 |748936 | 4.4 | 39M|1653 | 8 |3655 | 23k|3655 | 970 | 21k| 221k|3381 | 0.000000e+00 | 1.000000e+00 | Inf
345.00/345.05 c 333s|180000 | 690 |785746 | 4.4 | 40M|1653 | 17 |3655 | 24k|3655 | 970 | 22k| 235k|3473 | 0.000000e+00 | 1.000000e+00 | Inf
363.90/363.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.90/363.95 c 351s|190000 | 692 |825086 | 4.3 | 41M|1653 | 11 |3655 | 24k|3655 | 970 | 23k| 249k|3540 | 0.000000e+00 | 1.000000e+00 | Inf
383.50/383.56 c 370s|200000 | 614 |865719 | 4.3 | 40M|1653 | - |3655 | 23k| 0 | 0 | 24k| 263k|3638 | 0.000000e+00 | 1.000000e+00 | Inf
404.30/404.33 c 390s|210000 | 686 |906710 | 4.3 | 42M|1653 | 25 |3655 | 26k|3655 | 970 | 25k| 276k|3739 | 0.000000e+00 | 1.000000e+00 | Inf
426.10/426.14 c 411s|220000 | 789 |949695 | 4.3 | 44M|1653 | - |3655 | 28k| 0 | 0 | 26k| 289k|3876 | 0.000000e+00 | 1.000000e+00 | Inf
448.41/448.41 c 433s|230000 | 977 |989968 | 4.3 | 48M|1653 | 12 |3655 | 34k|3655 | 970 | 27k| 303k|3969 | 0.000000e+00 | 1.000000e+00 | Inf
470.20/470.23 c 454s|240000 | 1048 | 1026k| 4.3 | 49M|1653 | - |3655 | 36k| 0 | 0 | 28k| 317k|4036 | 0.000000e+00 | 1.000000e+00 | Inf
492.61/492.68 c 476s|250000 | 1165 | 1062k| 4.3 | 52M|1653 | 22 |3655 | 37k|3655 | 970 | 29k| 332k|4126 | 0.000000e+00 | 1.000000e+00 | Inf
518.50/518.56 c 501s|260000 | 1260 | 1105k| 4.3 | 54M|1653 | 19 |3655 | 40k|3655 | 970 | 30k| 346k|4198 | 0.000000e+00 | 1.000000e+00 | Inf
542.71/542.78 c 525s|270000 | 1250 | 1144k| 4.2 | 53M|1653 | 14 |3655 | 37k|3655 | 970 | 31k| 360k|4268 | 0.000000e+00 | 1.000000e+00 | Inf
566.31/566.39 c 548s|280000 | 1375 | 1183k| 4.2 | 56M|1653 | 19 |3655 | 41k|3655 | 970 | 32k| 375k|4346 | 0.000000e+00 | 1.000000e+00 | Inf
592.01/592.01 c 573s|290000 | 1439 | 1226k| 4.2 | 57M|1653 | - |3655 | 38k| 0 | 0 | 33k| 389k|4438 | 0.000000e+00 | 1.000000e+00 | Inf
615.71/615.73 c 596s|300000 | 1490 | 1264k| 4.2 | 58M|1653 | - |3655 | 39k| 0 | 0 | 34k| 403k|4519 | 0.000000e+00 | 1.000000e+00 | Inf
641.60/641.66 c 621s|310000 | 1574 | 1307k| 4.2 | 60M|1653 | - |3655 | 41k| 0 | 0 | 35k| 418k|4598 | 0.000000e+00 | 1.000000e+00 | Inf
665.10/665.15 c 644s|320000 | 1680 | 1342k| 4.2 | 63M|1653 | 1 |3655 | 44k|3655 | 970 | 36k| 433k|4662 | 0.000000e+00 | 1.000000e+00 | Inf
689.51/689.52 c 667s|330000 | 1729 | 1380k| 4.2 | 63M|1653 | - |3655 | 42k| 0 | 0 | 37k| 448k|4727 | 0.000000e+00 | 1.000000e+00 | Inf
714.40/714.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.40/714.43 c 692s|340000 | 1781 | 1420k| 4.2 | 64M|1653 | - |3655 | 44k| 0 | 0 | 38k| 464k|4800 | 0.000000e+00 | 1.000000e+00 | Inf
739.71/739.74 c 716s|350000 | 1689 | 1458k| 4.2 | 63M|1653 | - |3655 | 42k| 0 | 0 | 38k| 479k|4875 | 0.000000e+00 | 1.000000e+00 | Inf
765.31/765.32 c 741s|360000 | 1751 | 1495k| 4.2 | 66M|1653 | 12 |3655 | 46k|3655 | 970 | 39k| 493k|4936 | 0.000000e+00 | 1.000000e+00 | Inf
794.91/794.99 c 770s|370000 | 1729 | 1535k| 4.1 | 65M|1653 | 1 |3655 | 45k|3655 | 970 | 41k| 508k|5002 | 0.000000e+00 | 1.000000e+00 | Inf
827.91/827.97 c 803s|380000 | 1721 | 1576k| 4.1 | 65M|1653 | - |3655 | 43k| 0 | 0 | 42k| 523k|5082 | 0.000000e+00 | 1.000000e+00 | Inf
860.41/860.45 c 835s|390000 | 1666 | 1613k| 4.1 | 64M|1653 | 1 |3655 | 41k|3655 | 981 | 42k| 537k|5158 | 0.000000e+00 | 1.000000e+00 | Inf
892.81/892.88 c 868s|400000 | 1702 | 1654k| 4.1 | 65M|1653 | 12 |3655 | 42k|3655 | 970 | 43k| 551k|5224 | 0.000000e+00 | 1.000000e+00 | Inf
923.92/923.94 c 898s|410000 | 1728 | 1693k| 4.1 | 66M|1653 | 6 |3655 | 44k|3655 | 970 | 44k| 565k|5294 | 0.000000e+00 | 1.000000e+00 | Inf
953.72/953.79 c 928s|420000 | 1728 | 1731k| 4.1 | 66M|1653 | 1 |3655 | 43k|3655 | 970 | 45k| 580k|5351 | 0.000000e+00 | 1.000000e+00 | Inf
986.01/986.04 c 960s|430000 | 1809 | 1771k| 4.1 | 68M|1653 | - |3655 | 46k| 0 | 0 | 46k| 594k|5407 | 0.000000e+00 | 1.000000e+00 | Inf
1019.62/1019.61 c 993s|440000 | 1917 | 1811k| 4.1 | 70M|1653 | - |3655 | 48k| 0 | 0 | 47k| 608k|5463 | 0.000000e+00 | 1.000000e+00 | Inf
1053.11/1053.11 c 1026s|450000 | 1731 | 1850k| 4.1 | 66M|1653 | - |3655 | 40k| 0 | 0 | 48k| 623k|5540 | 0.000000e+00 | 1.000000e+00 | Inf
1082.82/1082.89 c 1056s|460000 | 1697 | 1888k| 4.1 | 66M|1653 | 15 |3655 | 42k|3655 | 970 | 49k| 638k|5606 | 0.000000e+00 | 1.000000e+00 | Inf
1111.22/1111.20 c 1084s|470000 | 1520 | 1929k| 4.1 | 63M|1653 | - |3655 | 38k| 0 | 0 | 50k| 652k|5678 | 0.000000e+00 | 1.000000e+00 | Inf
1139.02/1139.01 c 1111s|480000 | 1507 | 1971k| 4.1 | 63M|1653 | - |3655 | 37k| 0 | 0 | 51k| 666k|5744 | 0.000000e+00 | 1.000000e+00 | Inf
1168.13/1168.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.13/1168.15 c 1140s|490000 | 1569 | 2011k| 4.1 | 64M|1653 | - |3655 | 38k| 0 | 0 | 52k| 680k|5798 | 0.000000e+00 | 1.000000e+00 | Inf
1198.72/1198.70 c 1171s|500000 | 1684 | 2051k| 4.1 | 66M|1653 | 19 |3655 | 41k|3655 | 970 | 54k| 694k|5849 | 0.000000e+00 | 1.000000e+00 | Inf
1228.92/1228.96 c 1201s|510000 | 1642 | 2091k| 4.1 | 66M|1653 | 1 |3655 | 41k|3655 | 970 | 55k| 707k|5905 | 0.000000e+00 | 1.000000e+00 | Inf
1260.12/1260.12 c 1231s|520000 | 1411 | 2132k| 4.1 | 62M|1653 | - |3655 | 36k| 0 | 0 | 56k| 722k|5958 | 0.000000e+00 | 1.000000e+00 | Inf
1289.02/1289.04 c 1260s|530000 | 1421 | 2174k| 4.1 | 63M|1653 | 1 |3655 | 39k|3655 | 970 | 57k| 736k|6027 | 0.000000e+00 | 1.000000e+00 | Inf
1318.83/1318.90 c 1290s|540000 | 1415 | 2221k| 4.1 | 63M|1653 | 34 |3655 | 40k|3655 | 970 | 58k| 750k|6103 | 0.000000e+00 | 1.000000e+00 | Inf
1348.22/1348.22 c 1319s|550000 | 1508 | 2264k| 4.1 | 65M|1653 | 12 |3655 | 44k|3655 | 970 | 59k| 764k|6157 | 0.000000e+00 | 1.000000e+00 | Inf
1378.92/1378.99 c 1349s|560000 | 1165 | 2304k| 4.1 | 57M|1653 | 36 |3655 | 35k|3655 | 970 | 60k| 779k|6242 | 0.000000e+00 | 1.000000e+00 | Inf
1406.12/1406.10 c 1376s|570000 | 828 | 2345k| 4.1 | 51M|1653 | 16 |3655 | 34k|3655 | 970 | 61k| 794k|6298 | 0.000000e+00 | 1.000000e+00 | Inf
1432.23/1432.22 c 1402s|580000 | 892 | 2382k| 4.1 | 54M|1653 | - |3655 | 39k| 0 | 0 | 62k| 808k|6321 | 0.000000e+00 | 1.000000e+00 | Inf
1460.73/1460.77 c 1430s|590000 | 928 | 2422k| 4.1 | 55M|1653 | 17 |3655 | 41k|3655 | 970 | 63k| 822k|6374 | 0.000000e+00 | 1.000000e+00 | Inf
1491.02/1491.02 c 1460s|600000 | 927 | 2461k| 4.1 | 56M|1653 | 11 |3655 | 43k|3655 | 970 | 64k| 837k|6427 | 0.000000e+00 | 1.000000e+00 | Inf
1521.83/1521.84 c 1491s|610000 | 578 | 2503k| 4.1 | 47M|1653 | 11 |3655 | 33k|3655 | 970 | 65k| 852k|6514 | 0.000000e+00 | 1.000000e+00 | Inf
1548.63/1548.60 c 1517s|620000 | 390 | 2546k| 4.1 | 41M|1653 | - |3655 | 25k| 0 | 0 | 66k| 865k|7574 | 0.000000e+00 | 1.000000e+00 | Inf
1572.33/1572.32 c 1540s|630000 | 423 | 2585k| 4.1 | 44M|1653 | - |3655 | 31k| 0 | 0 | 67k| 879k|7578 | 0.000000e+00 | 1.000000e+00 | Inf
1599.33/1599.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.33/1599.36 c 1567s|640000 | 375 | 2624k| 4.1 | 43M|1653 | - |3655 | 30k|3655 | 977 | 68k| 893k|7582 | 0.000000e+00 | 1.000000e+00 | Inf
1623.53/1623.54 c 1591s|650000 | 299 | 2667k| 4.1 | 41M|1653 | - |3655 | 27k| 0 | 0 | 69k| 906k|7582 | 0.000000e+00 | 1.000000e+00 | Inf
1648.53/1648.59 c 1616s|660000 | 306 | 2708k| 4.1 | 42M|1653 | 15 |3655 | 29k|3655 | 970 | 70k| 920k|7595 | 0.000000e+00 | 1.000000e+00 | Inf
1677.53/1677.55 c 1645s|670000 | 377 | 2754k| 4.1 | 44M|1653 | - |3655 | 33k|3655 | 970 | 71k| 933k|7600 | 0.000000e+00 | 1.000000e+00 | Inf
1707.43/1707.43 c 1674s|680000 | 512 | 2800k| 4.1 | 47M|1653 | 12 |3655 | 38k|3655 | 970 | 73k| 947k|7604 | 0.000000e+00 | 1.000000e+00 | Inf
1737.83/1737.86 c 1704s|690000 | 281 | 2843k| 4.1 | 43M|1653 | - |3655 | 32k| 0 | 0 | 73k| 961k|7615 | 0.000000e+00 | 1.000000e+00 | Inf
1765.83/1765.83 c 1732s|700000 | 316 | 2882k| 4.1 | 45M|1653 | - |3655 | 38k| 0 | 0 | 75k| 975k|7618 | 0.000000e+00 | 1.000000e+00 | Inf
1796.94/1796.99 c 1763s|710000 | 354 | 2922k| 4.1 | 47M|1653 | - |3655 | 41k| 0 | 0 | 76k| 990k|7624 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1765.89
1800.04/1800.00 c Solving Nodes : 711006
1800.04/1800.00 c Primal Bound : +1.00000000000000e+00 (240 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/1800.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210
1800.04/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.03 v -x188 x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.04/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147 -x146
1800.04/1800.03 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.04/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.04/1800.03 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.04/1800.03 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.04/1800.03 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.04/1800.03 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.04/1800.03 v -x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1765.89
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2692831-1277905912.wbo
1800.04/1800.03 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.03 c Constraints : 4485 initial, 4485 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2692831-1277905912.wbo
1800.04/1800.03 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.04/1800.03 c Constraints : 4329 initial, 50195 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.04 0 0 0 1789 0 91 76 0
1800.04/1800.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1712 - - 3424 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 410043 0 18 579 0 0 788872
1800.04/1800.03 c indicator : 1712 0 209855 5841 0 279 1964026 0 0 0
1800.04/1800.03 c setppc : 7 6 3389732 12605 0 21688 1054399 0 0 0
1800.04/1800.03 c linear : 1712 6 3383866 14204 0 197523 15975224 76299 0 0
1800.04/1800.03 c logicor : 898+ 6 1520111 4513 0 149695 3946715 0 0 0
1800.04/1800.03 c bounddisjunction : 0+ 0 10030 0 0 0 49 0 0 0
1800.04/1800.03 c countsols : 0 0 0 4513 0 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 22.75 0.00 0.00 22.75 0.00
1800.04/1800.03 c indicator : 4.45 0.00 3.91 0.54 0.00
1800.04/1800.03 c setppc : 10.41 0.00 10.37 0.04 0.00
1800.04/1800.03 c linear : 140.91 0.00 140.30 0.61 0.00
1800.04/1800.03 c logicor : 434.32 0.00 434.30 0.02 0.00
1800.04/1800.03 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 0.39 2 0 0
1800.04/1800.03 c rootredcost : 0.25 49 0 1712
1800.04/1800.03 c pseudoobj : 106.35 3412457 5774 1408678
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 20.92 374680 374092 2379964 30.2 12544 25.2 -
1800.04/1800.03 c infeasible LP : 4.54 14636 14636 118964 44.3 105 19.6 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.01 101 101 660 18.7 48 6.7 -
1800.04/1800.03 c applied globally : - - - 991617 23.8 - - -
1800.04/1800.03 c applied locally : - - - 0 0.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 5 - - 63 - (maximal pool size: 99)
1800.04/1800.03 c redcost : 17.84 411462 0 530221 0 0
1800.04/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.12 6 0 0 605 0
1800.04/1800.03 c strongcg : 0.08 6 0 0 120 0
1800.04/1800.03 c cmir : 0.04 6 0 0 0 0
1800.04/1800.03 c flowcover : 0.07 6 0 0 0 0
1800.04/1800.03 c clique : 0.00 6 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 1 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 22.59 394935 18 579 0 0 788872
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 0.40 4465 0 0 0 0 8930
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.01 - 48
1800.04/1800.03 c pseudo solutions : 0.00 - 0
1800.04/1800.03 c feaspump : 0.03 1 0
1800.04/1800.03 c intshifting : 0.01 4 0
1800.04/1800.03 c oneopt : 0.27 45 0
1800.04/1800.03 c coefdiving : 0.00 10 0
1800.04/1800.03 c pscostdiving : 0.01 10 0
1800.04/1800.03 c fracdiving : 0.00 10 0
1800.04/1800.03 c veclendiving : 0.01 10 0
1800.04/1800.03 c linesearchdiving : 0.00 10 0
1800.04/1800.03 c guideddiving : 0.01 10 0
1800.04/1800.03 c objpscostdiving : 0.01 7 0
1800.04/1800.03 c rootsoldiving : 0.04 7 0
1800.04/1800.03 c crossover : 0.54 18 0
1800.04/1800.03 c trivial : 0.00 2 0
1800.04/1800.03 c simplerounding : 0.66 395522 0
1800.04/1800.03 c zirounding : 0.25 1000 0
1800.04/1800.03 c rounding : 1.48 8879 0
1800.04/1800.03 c shifting : 1.20 2823 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.03 1 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.12 0 0
1800.04/1800.03 c trysol : 0.77 1632 192
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.03 c dual LP : 436.49 420280 2924994 6.96 6701.17
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.10 59 1174 19.90 11740.00
1800.04/1800.03 c strong branching : 19.06 7624 133439 17.50 7001.00
1800.04/1800.03 c (at root node) : - 33 5473 165.85 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 711006
1800.04/1800.03 c nodes (total) : 711006
1800.04/1800.03 c nodes left : 342
1800.04/1800.03 c max depth : 1653
1800.04/1800.03 c max depth (total): 1653
1800.04/1800.03 c backtracks : 88135 (12.4%)
1800.04/1800.03 c delayed cutoffs : 81426
1800.04/1800.03 c repropagations : 1439423 (5177919 domain reductions, 77591 cutoffs)
1800.04/1800.03 c avg switch length: 5.42
1800.04/1800.03 c switching time : 331.30
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 240 (49 improvements)
1800.04/1800.03 c First Solution : +8.67840000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.03 c Primal Bound : +1.00000000000000e+00 (in run 1, after 41867 nodes, 85.51 seconds, depth 29, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 349
1800.14/1800.12 c Time complete: 1800.15.