0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692948-1277912132.wbo>
0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 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, 1950 impls, 9 clqs
0.06/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.06/0.09 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 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 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.17 c 1950 implications, 9 cliques
0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints
0.09/0.17 c 1741 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1741 constraints of type <linear>
0.09/0.17 c 873 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.12
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 | 15 | - | 13M| 0 | 7 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 87754
0.09/0.19 c y 0.2s| 1 | 0 | 15 | - | 13M| 0 | 7 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 72 | - | 13M| 0 | 27 |3713 |4364 |3713 | 897 | 15 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 120 | - | 14M| 0 | 36 |3713 |4364 |3713 | 914 | 32 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.29/0.30 c 0.3s| 1 | 0 | 150 | - | 14M| 0 | 27 |3713 |4364 |3713 | 922 | 40 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 232 | - | 14M| 0 | 43 |3713 |4364 |3713 | 932 | 50 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 344 | - | 15M| 0 | 44 |3713 |4364 |3713 | 942 | 60 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.39/0.50 c 0.5s| 1 | 0 | 490 | - | 15M| 0 | 49 |3713 |4364 |3713 | 954 | 72 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
1.20/1.23 c 1.2s| 1 | 2 | 490 | - | 15M| 0 | 49 |3713 |4364 |3713 | 954 | 72 | 0 | 33 | 0.000000e+00 | 8.775400e+04 | Inf
13.79/13.80 o 622
13.79/13.80 c *13.6s| 6704 | 4839 | 12903 | 1.9 | 29M| 679 | - |3713 |4365 |3713 | 998 |2165 | 1 |1540 | 0.000000e+00 | 6.220000e+02 | Inf
17.29/17.35 o 620
17.29/17.35 c *17.0s| 9402 | 7465 | 15734 | 1.6 | 34M| 679 | - |3713 |4497 |3713 | 986 |2733 | 134 |1584 | 0.000000e+00 | 6.200000e+02 | Inf
17.29/17.38 o 553
17.29/17.38 c *17.1s| 9416 | 6884 | 15758 | 1.6 | 33M| 679 | - |3713 |4497 |3713 | 988 |2735 | 134 |1584 | 0.000000e+00 | 5.530000e+02 | Inf
17.99/18.04 o 539
17.99/18.04 c *17.7s| 9944 | 7311 | 16094 | 1.6 | 34M| 679 | - |3713 |4543 |3713 | 998 |2807 | 182 |1585 | 0.000000e+00 | 5.390000e+02 | Inf
17.99/18.04 o 536
17.99/18.04 c *17.7s| 9945 | 7281 | 16094 | 1.6 | 34M| 679 | - |3713 |4543 |3713 | 998 |2807 | 182 |1585 | 0.000000e+00 | 5.360000e+02 | Inf
18.09/18.19 c 17.8s| 10000 | 7317 | 16461 | 1.6 | 34M| 679 | 0 |3713 |4571 |3713 |1007 |2886 | 210 |1587 | 0.000000e+00 | 5.360000e+02 | Inf
18.29/18.38 o 487
18.29/18.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.29/18.38 c *18.0s| 10100 | 7084 | 16732 | 1.6 | 34M| 679 | - |3713 |4612 |3713 |1002 |2944 | 253 |1587 | 0.000000e+00 | 4.870000e+02 | Inf
18.39/18.48 o 459
18.39/18.48 c *18.1s| 10149 | 6833 | 16895 | 1.6 | 33M| 679 | - |3713 |4642 |3713 |1016 |2982 | 284 |1587 | 0.000000e+00 | 4.590000e+02 | Inf
18.49/18.54 o 457
18.49/18.54 c *18.2s| 10166 | 6818 | 17059 | 1.6 | 34M| 679 | - |3713 |4657 |3713 | 995 |3013 | 299 |1587 | 0.000000e+00 | 4.570000e+02 | Inf
18.89/18.99 o 450
18.89/18.99 c *18.6s| 10398 | 6925 | 17825 | 1.7 | 34M| 679 | - |3713 |4701 |3713 | 983 |3139 | 348 |1608 | 0.000000e+00 | 4.500000e+02 | Inf
19.09/19.14 o 443
19.09/19.14 c *18.8s| 10497 | 6901 | 18085 | 1.7 | 34M| 679 | - |3713 |4702 |3713 | 982 |3194 | 351 |1608 | 0.000000e+00 | 4.430000e+02 | Inf
19.09/19.16 o 436
19.09/19.16 c *18.8s| 10502 | 6841 | 18124 | 1.7 | 34M| 679 | - |3713 |4702 |3713 | 983 |3195 | 351 |1608 | 0.000000e+00 | 4.360000e+02 | Inf
19.90/19.99 o 434
19.90/19.99 c *19.6s| 10963 | 7224 | 19384 | 1.7 | 35M| 679 | - |3713 |4764 |3713 |1001 |3473 | 427 |1622 | 0.000000e+00 | 4.340000e+02 | Inf
20.09/20.14 o 418
20.09/20.14 c *19.7s| 11059 | 7059 | 19563 | 1.7 | 35M| 679 | - |3713 |4783 |3713 | 990 |3513 | 453 |1623 | 0.000000e+00 | 4.180000e+02 | Inf
20.49/20.58 o 413
20.49/20.58 c *20.1s| 11342 | 7250 | 20002 | 1.7 | 35M| 679 | - |3713 |4787 |3713 | 997 |3584 | 465 |1633 | 0.000000e+00 | 4.130000e+02 | Inf
21.19/21.24 o 404
21.19/21.24 c *20.8s| 11803 | 7542 | 20472 | 1.7 | 36M| 679 | - |3713 |4785 |3713 | 994 |3670 | 493 |1639 | 0.000000e+00 | 4.040000e+02 | Inf
22.09/22.14 o 399
22.09/22.14 c *21.7s| 12411 | 7997 | 21461 | 1.7 | 37M| 679 | - |3713 |4827 |3713 |1003 |3841 | 562 |1644 | 0.000000e+00 | 3.990000e+02 | Inf
22.19/22.20 o 391
22.19/22.20 c *21.7s| 12446 | 7852 | 21490 | 1.7 | 36M| 679 | - |3713 |4836 |3713 |1005 |3844 | 571 |1644 | 0.000000e+00 | 3.910000e+02 | Inf
22.39/22.43 o 388
22.39/22.43 c *21.9s| 12562 | 7877 | 21794 | 1.7 | 37M| 679 | - |3713 |4864 |3713 | 984 |3875 | 602 |1662 | 0.000000e+00 | 3.880000e+02 | Inf
22.59/22.63 o 387
22.59/22.63 c *22.1s| 12692 | 7965 | 21974 | 1.7 | 37M| 679 | - |3713 |4866 |3713 |1000 |3918 | 612 |1663 | 0.000000e+00 | 3.870000e+02 | Inf
22.79/22.88 o 382
22.79/22.88 c *22.4s| 12842 | 7923 | 22364 | 1.7 | 37M| 679 | - |3713 |4896 |3713 | 976 |4007 | 654 |1676 | 0.000000e+00 | 3.820000e+02 | Inf
23.09/23.18 o 359
23.09/23.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.09/23.18 c *22.7s| 13004 | 7585 | 22881 | 1.7 | 36M| 679 | - |3713 |4936 |3713 | 974 |4130 | 712 |1676 | 0.000000e+00 | 3.590000e+02 | Inf
23.19/23.23 o 345
23.19/23.23 c *22.8s| 13035 | 7297 | 22939 | 1.7 | 36M| 679 | - |3713 |4932 |3713 | 973 |4143 | 715 |1676 | 0.000000e+00 | 3.450000e+02 | Inf
23.39/23.44 o 338
23.39/23.44 c *22.9s| 13108 | 7154 | 23380 | 1.7 | 36M| 679 | - |3713 |4968 |3713 | 984 |4240 | 772 |1689 | 0.000000e+00 | 3.380000e+02 | Inf
23.79/23.83 o 336
23.79/23.83 c *23.3s| 13297 | 7203 | 24343 | 1.8 | 36M| 679 | - |3713 |5002 |3713 |1001 |4416 | 853 |1691 | 0.000000e+00 | 3.360000e+02 | Inf
24.10/24.10 o 309
24.10/24.10 c *23.6s| 13409 | 6662 | 24982 | 1.8 | 35M| 679 | - |3713 |5031 |3713 | 976 |4522 | 907 |1693 | 0.000000e+00 | 3.090000e+02 | Inf
24.29/24.37 o 306
24.29/24.37 c *23.9s| 13506 | 6628 | 25834 | 1.9 | 35M| 679 | - |3713 |5059 |3713 | 984 |4647 | 965 |1702 | 0.000000e+00 | 3.060000e+02 | Inf
24.49/24.57 o 299
24.49/24.57 c *24.1s| 13628 | 6504 | 26099 | 1.9 | 35M| 679 | - |3713 |5087 |3713 |1000 |4686 |1011 |1703 | 0.000000e+00 | 2.990000e+02 | Inf
25.69/25.76 o 298
25.69/25.76 c *25.2s| 14281 | 6794 | 27606 | 1.9 | 36M| 679 | - |3713 |5453 |3713 |1014 |4887 |1469 |1723 | 0.000000e+00 | 2.980000e+02 | Inf
25.69/25.77 o 281
25.69/25.77 c *25.2s| 14282 | 6323 | 27606 | 1.9 | 35M| 679 | - |3713 |5453 |3713 |1014 |4887 |1469 |1723 | 0.000000e+00 | 2.810000e+02 | Inf
25.79/25.86 o 280
25.79/25.86 c *25.3s| 14310 | 6313 | 27813 | 1.9 | 35M| 679 | - |3713 |5463 |3713 |1008 |4926 |1484 |1723 | 0.000000e+00 | 2.800000e+02 | Inf
26.09/26.16 o 266
26.09/26.16 c *25.6s| 14478 | 5999 | 28280 | 1.9 | 34M| 679 | - |3713 |5477 |3713 |1016 |4984 |1529 |1724 | 0.000000e+00 | 2.660000e+02 | Inf
26.40/26.43 o 237
26.40/26.43 c *25.9s| 14558 | 5033 | 29050 | 2.0 | 32M| 679 | - |3713 |5506 |3713 |1016 |5133 |1584 |1739 | 0.000000e+00 | 2.370000e+02 | Inf
27.09/27.19 o 236
27.09/27.19 c *26.6s| 14898 | 5131 | 30761 | 2.0 | 33M| 679 | - |3713 |5660 |3713 | 998 |5339 |1878 |1757 | 0.000000e+00 | 2.360000e+02 | Inf
27.29/27.39 o 201
27.29/27.39 c *26.8s| 14996 | 3900 | 31169 | 2.0 | 31M| 679 | - |3713 |5659 |3713 | 988 |5421 |1907 |1763 | 0.000000e+00 | 2.010000e+02 | Inf
27.40/27.48 o 198
27.40/27.48 c *26.9s| 15037 | 3842 | 31223 | 2.0 | 31M| 679 | - |3713 |5653 |3713 | 993 |5435 |1917 |1763 | 0.000000e+00 | 1.980000e+02 | Inf
27.59/27.64 o 196
27.59/27.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.59/27.64 c *27.0s| 15078 | 3787 | 31544 | 2.1 | 31M| 679 | - |3713 |5664 |3713 |1017 |5490 |1955 |1768 | 0.000000e+00 | 1.960000e+02 | Inf
27.89/27.98 o 160
27.89/27.98 c *27.4s| 15217 | 2414 | 32282 | 2.1 | 28M| 679 | - |3713 |5715 |3713 |1020 |5575 |2070 |1769 | 0.000000e+00 | 1.600000e+02 | Inf
27.99/28.05 o 150
27.99/28.05 c *27.4s| 15259 | 2137 | 32441 | 2.1 | 27M| 679 | - |3713 |5709 |3713 | 985 |5595 |2073 |1769 | 0.000000e+00 | 1.500000e+02 | Inf
28.19/28.20 o 146
28.19/28.20 c *27.6s| 15330 | 2046 | 32828 | 2.1 | 27M| 679 | - |3713 |5714 |3713 | 995 |5668 |2100 |1769 | 0.000000e+00 | 1.460000e+02 | Inf
28.29/28.31 o 142
28.29/28.31 c *27.7s| 15374 | 1884 | 33150 | 2.1 | 27M| 679 | - |3713 |5704 |3713 | 989 |5698 |2122 |1769 | 0.000000e+00 | 1.420000e+02 | Inf
28.39/28.44 o 123
28.39/28.44 c *27.8s| 15451 | 1591 | 33347 | 2.1 | 26M| 679 | - |3713 |5691 |3713 |1000 |5732 |2122 |1769 | 0.000000e+00 | 1.230000e+02 | Inf
28.39/28.44 o 108
28.39/28.44 c *27.8s| 15452 | 1419 | 33347 | 2.1 | 26M| 679 | - |3713 |5691 |3713 |1000 |5732 |2122 |1769 | 0.000000e+00 | 1.080000e+02 | Inf
28.49/28.52 o 106
28.49/28.52 c *27.9s| 15495 | 1314 | 33418 | 2.1 | 25M| 679 | - |3713 |5682 |3713 | 990 |5744 |2126 |1769 | 0.000000e+00 | 1.060000e+02 | Inf
28.49/28.52 o 91
28.49/28.52 c *27.9s| 15496 | 997 | 33418 | 2.1 | 25M| 679 | - |3713 |5682 |3713 | 990 |5744 |2126 |1769 | 0.000000e+00 | 9.100000e+01 | Inf
28.79/28.80 o 71
28.79/28.80 c *28.2s| 15616 | 780 | 33888 | 2.1 | 24M| 679 | - |3713 |5411 |3713 | 978 |5834 |2170 |1769 | 0.000000e+00 | 7.100000e+01 | Inf
28.99/29.01 o 70
28.99/29.01 c *28.4s| 15667 | 788 | 34592 | 2.2 | 24M| 679 | - |3713 |4946 |3713 | 987 |5896 |2211 |1781 | 0.000000e+00 | 7.000000e+01 | Inf
29.09/29.10 o 63
29.09/29.10 c *28.5s| 15687 | 762 | 34979 | 2.2 | 24M| 679 | - |3713 |4898 |3713 |1017 |5951 |2228 |1785 | 0.000000e+00 | 6.300000e+01 | Inf
29.09/29.17 o 50
29.09/29.17 c *28.5s| 15707 | 346 | 35163 | 2.2 | 23M| 679 | - |3713 |4707 |3713 |1020 |5978 |2247 |1786 | 0.000000e+00 | 5.000000e+01 | Inf
37.60/37.69 c 36.8s| 20000 | 567 | 53676 | 2.7 | 27M| 679 | 18 |3713 |6594 |3713 | 966 |7224 |7309 |1827 | 0.000000e+00 | 5.000000e+01 | Inf
40.40/40.48 o 44
40.40/40.48 c *39.5s| 21442 | 599 | 57822 | 2.7 | 28M| 679 | - |3713 |6999 |3713 | 965 |7654 |9084 |1827 | 0.000000e+00 | 4.400000e+01 | Inf
40.60/40.61 o 40
40.60/40.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.60/40.61 c *39.7s| 21505 | 559 | 57949 | 2.7 | 28M| 679 | - |3713 |6861 |3713 | 965 |7660 |9160 |1827 | 0.000000e+00 | 4.000000e+01 | Inf
56.39/56.49 c 55.1s| 30000 | 665 | 90956 | 3.0 | 31M| 679 | 6 |3713 |7692 |3713 | 943 |9567 | 19k|1831 | 0.000000e+00 | 4.000000e+01 | Inf
74.89/74.97 c 73.2s| 40000 | 750 |128114 | 3.2 | 35M| 679 | - |3713 |9664 | 0 | 0 | 11k| 32k|1831 | 0.000000e+00 | 4.000000e+01 | Inf
80.40/80.46 o 37
80.40/80.46 c *78.5s| 42958 | 786 |137100 | 3.2 | 36M| 679 | - |3713 |9744 |3713 | 965 | 12k| 36k|1831 | 0.000000e+00 | 3.700000e+01 | Inf
80.60/80.62 o 35
80.60/80.62 c *78.7s| 43053 | 782 |137432 | 3.2 | 36M| 679 | - |3713 |9571 |3713 | 947 | 12k| 36k|1831 | 0.000000e+00 | 3.500000e+01 | Inf
80.69/80.72 o 33
80.69/80.72 c *78.8s| 43092 | 767 |137625 | 3.2 | 36M| 679 | - |3713 |9292 |3713 | 949 | 12k| 36k|1831 | 0.000000e+00 | 3.300000e+01 | Inf
81.59/81.68 o 30
81.59/81.68 c *79.7s| 43641 | 762 |139414 | 3.2 | 36M| 679 | - |3713 |9529 |3713 | 968 | 12k| 37k|1831 | 0.000000e+00 | 3.000000e+01 | Inf
81.80/81.86 o 29
81.80/81.86 c *79.8s| 43741 | 756 |139704 | 3.2 | 36M| 679 | - |3713 |9378 |3713 | 952 | 12k| 37k|1831 | 0.000000e+00 | 2.900000e+01 | Inf
82.79/82.85 o 28
82.79/82.85 c *80.8s| 44287 | 766 |141884 | 3.2 | 36M| 679 | - |3713 |9490 |3713 | 979 | 12k| 37k|1831 | 0.000000e+00 | 2.800000e+01 | Inf
84.19/84.25 o 23
84.19/84.25 c *82.2s| 45049 | 760 |145199 | 3.2 | 35M| 679 | - |3713 |9839 |3713 | 963 | 13k| 38k|1831 | 0.000000e+00 | 2.300000e+01 | Inf
87.39/87.44 o 17
87.39/87.44 c *85.2s| 46917 | 702 |152156 | 3.2 | 34M| 679 | - |3713 | 10k|3713 | 976 | 13k| 41k|1831 | 0.000000e+00 | 1.700000e+01 | Inf
92.59/92.67 c 90.3s| 50000 | 755 |166122 | 3.3 | 34M| 679 | - |3713 | 10k| 0 | 0 | 14k| 45k|1831 | 0.000000e+00 | 1.700000e+01 | Inf
109.90/109.94 c 107s| 60000 | 785 |212765 | 3.5 | 36M| 679 | - |3713 | 10k| 0 | 0 | 16k| 58k|1831 | 0.000000e+00 | 1.700000e+01 | Inf
127.10/127.13 c 124s| 70000 | 747 |259940 | 3.7 | 36M| 679 | 7 |3713 | 10k|3713 | 960 | 19k| 71k|1878 | 0.000000e+00 | 1.700000e+01 | Inf
145.40/145.48 c 142s| 80000 | 717 |314116 | 3.9 | 36M| 679 | 1 |3713 |9157 |3713 | 950 | 21k| 84k|1992 | 0.000000e+00 | 1.700000e+01 | Inf
163.69/163.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.69/163.70 c 159s| 90000 | 813 |366521 | 4.1 | 39M| 679 | 11 |3713 | 11k|3713 | 971 | 25k| 98k|2150 | 0.000000e+00 | 1.700000e+01 | Inf
181.30/181.33 c 176s|100000 | 796 |412467 | 4.1 | 39M| 679 | - |3713 | 11k| 0 | 0 | 27k| 111k|2260 | 0.000000e+00 | 1.700000e+01 | Inf
199.40/199.45 c 194s|110000 | 867 |460430 | 4.2 | 41M| 679 | 11 |3713 | 12k|3713 | 965 | 29k| 125k|2380 | 0.000000e+00 | 1.700000e+01 | Inf
213.20/213.21 o 12
213.20/213.21 c * 207s|117396 | 748 |497759 | 4.2 | 38M| 679 | - |3713 | 13k|3713 | 965 | 31k| 135k|2464 | 0.000000e+00 | 1.200000e+01 | Inf
217.89/217.98 c 212s|120000 | 695 |512515 | 4.3 | 37M| 679 | 1 |3713 | 10k|3713 | 956 | 32k| 139k|2509 | 0.000000e+00 | 1.200000e+01 | Inf
235.69/235.77 c 229s|130000 | 460 |567793 | 4.4 | 33M| 679 | 11 |3713 |9262 |3713 | 960 | 35k| 152k|2657 | 0.000000e+00 | 1.200000e+01 | Inf
253.70/253.78 c 247s|140000 | 514 |628022 | 4.5 | 35M| 679 | - |3713 | 11k| 0 | 0 | 38k| 165k|2801 | 0.000000e+00 | 1.200000e+01 | Inf
272.70/272.73 c 265s|150000 | 606 |693100 | 4.6 | 37M| 679 | - |3713 | 13k| 0 | 0 | 41k| 177k|2957 | 0.000000e+00 | 1.200000e+01 | Inf
292.00/292.04 c 284s|160000 | 627 |759002 | 4.7 | 38M| 679 | - |3713 | 15k| 0 | 0 | 44k| 190k|3099 | 0.000000e+00 | 1.200000e+01 | Inf
312.00/312.04 c 303s|170000 | 638 |829214 | 4.9 | 39M| 679 | - |3713 | 16k| 0 | 0 | 47k| 204k|3231 | 0.000000e+00 | 1.200000e+01 | Inf
331.69/331.76 c 322s|180000 | 653 |893957 | 5.0 | 40M| 679 | 19 |3713 | 17k|3713 | 976 | 49k| 217k|3354 | 0.000000e+00 | 1.200000e+01 | Inf
351.10/351.18 c 341s|190000 | 639 |953221 | 5.0 | 38M| 679 | 2 |3713 | 12k|3713 | 943 | 52k| 229k|3584 | 0.000000e+00 | 1.200000e+01 | Inf
370.90/370.94 c 361s|200000 | 630 | 1012k| 5.1 | 39M| 679 | 25 |3713 | 14k|3713 | 960 | 54k| 241k|3703 | 0.000000e+00 | 1.200000e+01 | Inf
390.00/390.03 c 379s|210000 | 751 | 1067k| 5.1 | 40M| 679 | - |3713 | 14k| 0 | 0 | 56k| 255k|3810 | 0.000000e+00 | 1.200000e+01 | Inf
409.50/409.56 c 398s|220000 | 807 | 1126k| 5.1 | 42M| 679 | 21 |3713 | 15k|3713 | 969 | 59k| 269k|3880 | 0.000000e+00 | 1.200000e+01 | Inf
429.40/429.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.40/429.41 c 417s|230000 | 803 | 1188k| 5.2 | 42M| 679 | - |3713 | 14k| 0 | 0 | 61k| 282k|4030 | 0.000000e+00 | 1.200000e+01 | Inf
449.71/449.72 c 437s|240000 | 771 | 1249k| 5.2 | 43M| 679 | 14 |3713 | 17k|3713 | 943 | 64k| 295k|4116 | 0.000000e+00 | 1.200000e+01 | Inf
470.60/470.65 c 458s|250000 | 728 | 1312k| 5.2 | 43M| 679 | 9 |3713 | 18k|3713 | 976 | 67k| 307k|4211 | 0.000000e+00 | 1.200000e+01 | Inf
492.20/492.22 c 479s|260000 | 881 | 1373k| 5.3 | 46M| 679 | 16 |3713 | 21k|3713 | 955 | 70k| 321k|4325 | 0.000000e+00 | 1.200000e+01 | Inf
514.60/514.65 c 500s|270000 | 935 | 1429k| 5.3 | 47M| 679 | 30 |3713 | 21k|3713 | 980 | 73k| 333k|4425 | 0.000000e+00 | 1.200000e+01 | Inf
537.40/537.41 c 523s|280000 | 1055 | 1489k| 5.3 | 49M| 679 | 1 |3713 | 22k|3713 | 956 | 77k| 345k|4490 | 0.000000e+00 | 1.200000e+01 | Inf
560.20/560.24 c 545s|290000 | 1167 | 1549k| 5.3 | 50M| 679 | 11 |3713 | 23k|3713 | 943 | 80k| 358k|4598 | 0.000000e+00 | 1.200000e+01 | Inf
582.60/582.68 c 567s|300000 | 1313 | 1603k| 5.3 | 52M| 679 | - |3713 | 24k| 0 | 0 | 83k| 371k|4660 | 0.000000e+00 | 1.200000e+01 | Inf
605.51/605.56 c 589s|310000 | 1450 | 1659k| 5.4 | 54M| 679 | - |3713 | 25k| 0 | 0 | 86k| 384k|4720 | 0.000000e+00 | 1.200000e+01 | Inf
628.80/628.86 c 612s|320000 | 1513 | 1722k| 5.4 | 56M| 679 | - |3713 | 26k|3713 | 969 | 89k| 397k|4807 | 0.000000e+00 | 1.200000e+01 | Inf
653.01/653.09 c 636s|330000 | 1591 | 1789k| 5.4 | 57M| 679 | 1 |3713 | 27k|3713 | 985 | 92k| 411k|4897 | 0.000000e+00 | 1.200000e+01 | Inf
676.51/676.59 c 659s|340000 | 1626 | 1847k| 5.4 | 57M| 679 | - |3713 | 23k|3713 | 956 | 95k| 424k|5091 | 0.000000e+00 | 1.200000e+01 | Inf
698.71/698.76 c 680s|350000 | 1675 | 1899k| 5.4 | 59M| 679 | 1 |3713 | 26k|3713 | 972 | 98k| 437k|5116 | 0.000000e+00 | 1.200000e+01 | Inf
723.31/723.32 c 704s|360000 | 1787 | 1968k| 5.5 | 61M| 679 | 14 |3713 | 29k|3713 | 986 | 101k| 451k|5210 | 0.000000e+00 | 1.200000e+01 | Inf
749.11/749.12 c 729s|370000 | 1843 | 2034k| 5.5 | 62M| 679 | - |3713 | 26k| 0 | 0 | 103k| 465k|5311 | 0.000000e+00 | 1.200000e+01 | Inf
773.51/773.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.51/773.50 c 753s|380000 | 1781 | 2095k| 5.5 | 60M| 679 | 12 |3713 | 21k|3713 | 959 | 106k| 478k|5395 | 0.000000e+00 | 1.200000e+01 | Inf
797.00/797.09 c 776s|390000 | 1901 | 2157k| 5.5 | 63M| 679 | 1 |3713 | 23k|3713 | 992 | 108k| 491k|5480 | 0.000000e+00 | 1.200000e+01 | Inf
820.81/820.82 c 799s|400000 | 2037 | 2219k| 5.5 | 64M| 679 | 1 |3713 | 21k|3713 | 982 | 110k| 505k|5560 | 0.000000e+00 | 1.200000e+01 | Inf
843.72/843.73 c 822s|410000 | 2176 | 2279k| 5.6 | 66M| 679 | 13 |3713 | 20k|3713 | 976 | 113k| 518k|5644 | 0.000000e+00 | 1.200000e+01 | Inf
866.41/866.41 c 844s|420000 | 2270 | 2343k| 5.6 | 68M| 679 | - |3713 | 21k| 0 | 0 | 115k| 532k|5724 | 0.000000e+00 | 1.200000e+01 | Inf
887.81/887.80 c 865s|430000 | 1979 | 2398k| 5.6 | 65M| 679 | 1 |3713 | 20k|3713 | 951 | 118k| 547k|5795 | 0.000000e+00 | 1.200000e+01 | Inf
909.01/909.02 c 885s|440000 | 2000 | 2456k| 5.6 | 66M| 679 | 1 |3713 | 22k|3713 | 955 | 122k| 560k|5863 | 0.000000e+00 | 1.200000e+01 | Inf
924.02/924.04 o 11
924.02/924.04 c * 900s|446814 | 1990 | 2492k| 5.6 | 67M| 679 | - |3713 | 25k|3713 |1002 | 124k| 569k|5927 | 0.000000e+00 | 1.100000e+01 | Inf
931.11/931.13 c 907s|450000 | 2012 | 2510k| 5.6 | 67M| 679 | 8 |3713 | 24k|3713 | 955 | 125k| 573k|5933 | 0.000000e+00 | 1.100000e+01 | Inf
954.11/954.15 c 930s|460000 | 2028 | 2567k| 5.6 | 68M| 679 | 1 |3713 | 27k|3713 | 963 | 129k| 586k|5993 | 0.000000e+00 | 1.100000e+01 | Inf
977.41/977.45 c 952s|470000 | 2029 | 2625k| 5.6 | 68M| 679 | 12 |3713 | 26k|3713 | 968 | 132k| 600k|6059 | 0.000000e+00 | 1.100000e+01 | Inf
1000.22/1000.29 c 975s|480000 | 2094 | 2681k| 5.6 | 69M| 679 | 9 |3713 | 27k|3713 | 981 | 134k| 613k|6115 | 0.000000e+00 | 1.100000e+01 | Inf
1023.82/1023.86 c 998s|490000 | 2087 | 2739k| 5.6 | 70M| 679 | 24 |3713 | 28k|3713 | 986 | 137k| 627k|6165 | 0.000000e+00 | 1.100000e+01 | Inf
1048.32/1048.35 c 1022s|500000 | 2191 | 2798k| 5.6 | 71M| 679 | - |3713 | 27k|3713 | 967 | 139k| 640k|6256 | 0.000000e+00 | 1.100000e+01 | Inf
1073.31/1073.32 c 1046s|510000 | 2290 | 2859k| 5.6 | 73M| 679 | - |3713 | 31k| 0 | 0 | 143k| 653k|6316 | 0.000000e+00 | 1.100000e+01 | Inf
1097.92/1097.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.92/1097.98 c 1070s|520000 | 2357 | 2915k| 5.6 | 75M| 679 | - |3713 | 33k| 0 | 0 | 147k| 666k|6363 | 0.000000e+00 | 1.100000e+01 | Inf
1122.91/1122.95 c 1095s|530000 | 2424 | 2968k| 5.6 | 77M| 679 | - |3713 | 36k| 0 | 0 | 150k| 680k|6408 | 0.000000e+00 | 1.100000e+01 | Inf
1149.32/1149.35 c 1120s|540000 | 2431 | 3031k| 5.6 | 77M| 679 | 13 |3713 | 34k|3713 | 974 | 154k| 694k|6464 | 0.000000e+00 | 1.100000e+01 | Inf
1175.82/1175.89 c 1146s|550000 | 2424 | 3091k| 5.6 | 78M| 679 | 14 |3713 | 34k|3713 | 955 | 157k| 708k|6529 | 0.000000e+00 | 1.100000e+01 | Inf
1203.21/1203.20 c 1173s|560000 | 2478 | 3147k| 5.6 | 80M| 679 | - |3713 | 37k| 0 | 0 | 161k| 721k|6588 | 0.000000e+00 | 1.100000e+01 | Inf
1231.12/1231.12 c 1201s|570000 | 2521 | 3205k| 5.6 | 82M| 679 | - |3713 | 40k| 0 | 0 | 164k| 734k|6646 | 0.000000e+00 | 1.100000e+01 | Inf
1260.02/1260.03 c 1229s|580000 | 2550 | 3262k| 5.6 | 83M| 679 | 1 |3713 | 43k|3713 | 968 | 167k| 748k|6702 | 0.000000e+00 | 1.100000e+01 | Inf
1290.33/1290.31 c 1259s|590000 | 2602 | 3325k| 5.6 | 84M| 679 | 15 |3713 | 43k|3713 | 995 | 170k| 761k|6752 | 0.000000e+00 | 1.100000e+01 | Inf
1320.52/1320.52 c 1288s|600000 | 2599 | 3388k| 5.6 | 82M| 679 | 1 |3713 | 34k|3713 | 969 | 173k| 774k|6901 | 0.000000e+00 | 1.100000e+01 | Inf
1343.13/1343.13 o 6
1343.13/1343.13 c *1310s|608290 | 2187 | 3437k| 5.7 | 74M| 679 | - |3713 | 36k|3713 | 993 | 176k| 786k|6924 | 0.000000e+00 | 6.000000e+00 | Inf
1348.12/1348.19 c 1315s|610000 | 2194 | 3450k| 5.7 | 73M| 679 | 1 |3713 | 35k|3713 | 996 | 177k| 789k|6924 | 0.000000e+00 | 6.000000e+00 | Inf
1353.52/1353.58 o 4
1353.52/1353.58 c *1321s|611892 | 1598 | 3464k| 5.7 | 64M| 679 | - |3713 | 34k|3713 |1002 | 178k| 791k|6942 | 0.000000e+00 | 4.000000e+00 | Inf
1375.02/1375.01 c 1342s|620000 | 1587 | 3521k| 5.7 | 63M| 679 | 7 |3713 | 31k|3713 | 969 | 181k| 803k|6989 | 0.000000e+00 | 4.000000e+00 | Inf
1400.12/1400.12 c 1366s|630000 | 1587 | 3602k| 5.7 | 61M| 679 | 1 |3713 | 25k|3713 | 970 | 185k| 816k|7083 | 0.000000e+00 | 4.000000e+00 | Inf
1426.32/1426.34 c 1392s|640000 | 1673 | 3692k| 5.8 | 62M| 679 | 1 |3713 | 25k|3713 | 955 | 189k| 829k|7158 | 0.000000e+00 | 4.000000e+00 | Inf
1450.52/1450.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.52/1450.58 c 1416s|650000 | 1733 | 3770k| 5.8 | 63M| 679 | - |3713 | 28k| 0 | 0 | 193k| 842k|7230 | 0.000000e+00 | 4.000000e+00 | Inf
1476.03/1476.06 c 1441s|660000 | 1795 | 3856k| 5.8 | 64M| 679 | - |3713 | 27k| 0 | 0 | 197k| 855k|7310 | 0.000000e+00 | 4.000000e+00 | Inf
1501.03/1501.03 c 1465s|670000 | 1792 | 3933k| 5.9 | 65M| 679 | - |3713 | 29k| 0 | 0 | 200k| 868k|7359 | 0.000000e+00 | 4.000000e+00 | Inf
1527.03/1527.07 c 1490s|680000 | 1794 | 4019k| 5.9 | 65M| 679 | 9 |3713 | 30k|3713 | 997 | 204k| 882k|7406 | 0.000000e+00 | 4.000000e+00 | Inf
1554.73/1554.70 c 1518s|690000 | 1813 | 4105k| 5.9 | 66M| 679 | 13 |3713 | 32k|3713 | 984 | 208k| 896k|7460 | 0.000000e+00 | 4.000000e+00 | Inf
1582.42/1582.47 c 1545s|700000 | 1952 | 4192k| 6.0 | 67M| 679 | - |3713 | 32k| 0 | 0 | 212k| 909k|7517 | 0.000000e+00 | 4.000000e+00 | Inf
1609.53/1609.58 c 1571s|710000 | 2005 | 4281k| 6.0 | 68M| 679 | - |3713 | 32k| 0 | 0 | 216k| 922k|7600 | 0.000000e+00 | 4.000000e+00 | Inf
1637.42/1637.40 c 1599s|720000 | 2051 | 4373k| 6.1 | 69M| 679 | - |3713 | 32k| 0 | 0 | 219k| 936k|7658 | 0.000000e+00 | 4.000000e+00 | Inf
1665.03/1665.09 c 1626s|730000 | 2193 | 4466k| 6.1 | 71M| 679 | 8 |3713 | 34k|3713 | 984 | 223k| 950k|7699 | 0.000000e+00 | 4.000000e+00 | Inf
1692.32/1692.38 c 1652s|740000 | 2134 | 4552k| 6.2 | 71M| 679 | - |3713 | 32k| 0 | 0 | 227k| 964k|7757 | 0.000000e+00 | 4.000000e+00 | Inf
1719.33/1719.30 c 1679s|750000 | 2189 | 4642k| 6.2 | 72M| 679 | 12 |3713 | 34k|3713 | 987 | 230k| 978k|7815 | 0.000000e+00 | 4.000000e+00 | Inf
1746.33/1746.38 c 1705s|760000 | 2159 | 4724k| 6.2 | 73M| 679 | - |3713 | 34k| 0 | 0 | 234k| 992k|7878 | 0.000000e+00 | 4.000000e+00 | Inf
1775.34/1775.31 c 1734s|770000 | 2207 | 4814k| 6.3 | 74M| 679 | 1 |3713 | 36k|3713 | 984 | 237k|1005k|7942 | 0.000000e+00 | 4.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1757.73
1800.03/1800.01 c Solving Nodes : 778631
1800.03/1800.01 c Primal Bound : +4.00000000000000e+00 (239 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.03/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.03/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.05 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.05 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.05 v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.05 v -x104 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.03/1800.05 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
1800.03/1800.05 v -x54 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.03/1800.05 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
1800.03/1800.05 v x2 -x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1757.73
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2692948-1277912132.wbo
1800.03/1800.05 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous)
1800.03/1800.05 c Constraints : 4510 initial, 4510 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2692948-1277912132.wbo
1800.03/1800.05 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous)
1800.03/1800.05 c Constraints : 4364 initial, 44498 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 61 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 61 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.00 0 0 0 0 0 61 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.06 0 0 0 1810 0 85 67 0
1800.03/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1686 - - 3372 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 459238 0 28 618 0 0 828704
1800.03/1800.05 c indicator : 1741 0 4009107 44100 0 346 2536225 0 0 0
1800.03/1800.05 c setppc : 9 6 4031786 39983 0 12611 1168349 0 0 0
1800.03/1800.05 c linear : 1741 6 4027917 44365 0 219968 18621725 241621 0 0
1800.03/1800.05 c logicor : 873+ 6 1489154 13946 0 130823 3651648 0 0 0
1800.03/1800.05 c bounddisjunction : 0+ 0 21813 0 0 0 20 0 0 0
1800.03/1800.05 c countsols : 0 0 0 13946 0 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 19.80 0.00 0.00 19.80 0.00
1800.03/1800.05 c indicator : 15.16 0.01 12.77 2.38 0.00
1800.03/1800.05 c setppc : 10.39 0.00 10.35 0.04 0.00
1800.03/1800.05 c linear : 138.26 0.01 136.32 1.93 0.00
1800.03/1800.05 c logicor : 314.28 0.00 314.11 0.17 0.00
1800.03/1800.05 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.88 2 0 0
1800.03/1800.05 c rootredcost : 0.85 63 0 1686
1800.03/1800.05 c pseudoobj : 137.77 4046876 5934 1924941
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 16.64 369336 369037 2226068 24.8 12297 20.9 -
1800.03/1800.05 c infeasible LP : 10.87 37217 37217 301238 41.6 434 15.3 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.02 53 53 329 19.4 28 4.8 -
1800.03/1800.05 c applied globally : - - - 1017639 21.3 - - -
1800.03/1800.05 c applied locally : - - - 0 0.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 5 - - 30 - (maximal pool size: 314)
1800.03/1800.05 c redcost : 24.44 466687 0 548144 0 0
1800.03/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.10 6 0 0 1450 0
1800.03/1800.05 c strongcg : 0.05 6 0 0 130 0
1800.03/1800.05 c cmir : 0.02 6 0 0 0 0
1800.03/1800.05 c flowcover : 0.06 6 0 0 0 0
1800.03/1800.05 c clique : 0.00 6 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 1 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 19.40 414847 28 618 0 0 828704
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 1.81 13884 0 0 0 0 27768
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.05 - 62
1800.03/1800.05 c pseudo solutions : 0.00 - 0
1800.03/1800.05 c feaspump : 0.05 1 0
1800.03/1800.05 c intshifting : 0.00 4 0
1800.03/1800.05 c oneopt : 0.51 59 0
1800.03/1800.05 c veclendiving : 0.11 112 0
1800.03/1800.05 c linesearchdiving : 0.10 112 0
1800.03/1800.05 c pscostdiving : 0.14 113 0
1800.03/1800.05 c guideddiving : 0.10 113 0
1800.03/1800.05 c coefdiving : 0.15 113 0
1800.03/1800.05 c fracdiving : 0.12 113 0
1800.03/1800.05 c crossover : 1.44 52 0
1800.03/1800.05 c rootsoldiving : 0.12 94 0
1800.03/1800.05 c objpscostdiving : 0.13 94 0
1800.03/1800.05 c trivial : 0.01 2 0
1800.03/1800.05 c simplerounding : 0.67 416725 0
1800.03/1800.05 c zirounding : 0.30 1000 0
1800.03/1800.05 c rounding : 1.57 9143 0
1800.03/1800.05 c shifting : 1.27 2838 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.03 1 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.22 0 0
1800.03/1800.05 c trysol : 2.32 5962 177
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 579.61 484313 4887679 10.09 8432.70
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.26 143 2145 15.00 8250.00
1800.03/1800.05 c strong branching : 16.27 7992 166098 20.78 10208.85
1800.03/1800.05 c (at root node) : - 33 9259 280.58 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 778631
1800.03/1800.05 c nodes (total) : 778631
1800.03/1800.05 c nodes left : 2298
1800.03/1800.05 c max depth : 679
1800.03/1800.05 c max depth (total): 679
1800.03/1800.05 c backtracks : 78614 (10.1%)
1800.03/1800.05 c delayed cutoffs : 60211
1800.03/1800.05 c repropagations : 1798822 (5263272 domain reductions, 56559 cutoffs)
1800.03/1800.05 c avg switch length: 6.10
1800.03/1800.05 c switching time : 276.40
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 239 (63 improvements)
1800.03/1800.05 c First Solution : +8.77540000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.03/1800.05 c Primal Bound : +4.00000000000000e+00 (in run 1, after 611892 nodes, 1320.73 seconds, depth 50, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 490
1800.13/1800.15 c Time complete: 1800.19.