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-2705503-1278572954.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 1839 impl, 0 cont) and 4547 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, 126 impls, 9 clqs
0.05/0.08 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.05/0.09 c (round 3) 47 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.09/0.10 c (round 4) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 126 impls, 9 clqs
0.09/0.11 c (round 5) 138 del vars, 191 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 126 impls, 9 clqs
0.09/0.15 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 138 deleted vars, 191 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.15 c 3652 implications, 9 cliques
0.09/0.15 c presolved problem has 3771 variables (2001 bin, 0 int, 1770 impl, 0 cont) and 4356 constraints
0.09/0.15 c 33 constraints of type <setppc>
0.09/0.15 c 1770 constraints of type <linear>
0.09/0.15 c 1770 constraints of type <indicator>
0.09/0.15 c 783 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 0 | 10 | - | 14M| 0 | 6 |3771 |4356 |3771 | 816 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 58 | - | 14M| 0 | 28 |3771 |4356 |3771 | 832 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 86 | - | 14M| 0 | 37 |3771 |4356 |3771 | 854 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf
0.30/0.33 c 0.3s| 1 | 0 | 114 | - | 14M| 0 | 43 |3771 |4356 |3771 | 862 | 46 | 0 | 0 | 0.000000e+00 | -- | Inf
0.30/0.39 c 0.4s| 1 | 0 | 148 | - | 15M| 0 | 42 |3771 |4356 |3771 | 874 | 58 | 0 | 0 | 0.000000e+00 | -- | Inf
0.40/0.46 c 0.4s| 1 | 0 | 258 | - | 15M| 0 | 37 |3771 |4356 |3771 | 878 | 62 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 324 | - | 15M| 0 | 37 |3771 |4356 |3771 | 890 | 74 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.8s| 1 | 2 | 324 | - | 15M| 0 | 37 |3771 |4356 |3771 | 890 | 74 | 0 | 17 | 0.000000e+00 | -- | Inf
4.79/4.87 o 88064
4.79/4.87 c y 4.8s| 74 | 73 | 3838 | 48.1 | 15M| 19 | - |3771 |4356 | 0 | 0 | 239 | 0 | 853 | 0.000000e+00 | 8.806400e+04 | Inf
19.40/19.48 c 19.4s| 10000 | 9999 | 13779 | 1.3 | 36M| 887 | 0 |3771 |4357 |3771 | 949 |2062 | 1 |1341 | 0.000000e+00 | 8.806400e+04 | Inf
31.69/31.77 c 31.7s| 20000 | 19923 | 16558 | 0.8 | 54M| 887 | 0 |3771 |4395 |3771 | 942 |2562 | 39 |1383 | 0.000000e+00 | 8.806400e+04 | Inf
44.09/44.18 c 44.2s| 30000 | 29923 | 20410 | 0.7 | 70M| 887 | 0 |3771 |4395 |3771 | 962 |3309 | 39 |1428 | 0.000000e+00 | 8.806400e+04 | Inf
56.69/56.77 c 56.7s| 40000 | 39923 | 23458 | 0.6 | 87M| 887 | 0 |3771 |4395 |3771 | 948 |4039 | 39 |1448 | 0.000000e+00 | 8.806400e+04 | Inf
69.10/69.12 c 69.1s| 50000 | 49923 | 25962 | 0.5 | 103M| 887 | 0 |3771 |4395 |3771 | 932 |4545 | 39 |1471 | 0.000000e+00 | 8.806400e+04 | Inf
81.59/81.60 c 81.6s| 60000 | 59921 | 29351 | 0.5 | 120M| 887 | 0 |3771 |4396 |3771 | 977 |5071 | 40 |1499 | 0.000000e+00 | 8.806400e+04 | Inf
85.40/85.50 o 955
85.40/85.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.40/85.50 c *85.5s| 63433 | 62009 | 29717 | 0.5 | 123M|1123 | - |3771 |4396 |3771 | 926 |5154 | 40 |1502 | 0.000000e+00 | 9.550000e+02 | Inf
93.20/93.28 o 657
93.20/93.28 c *93.3s| 69752 | 63542 | 30677 | 0.4 | 126M|1123 | - |3771 |4407 |3771 | 934 |5373 | 51 |1511 | 0.000000e+00 | 6.570000e+02 | Inf
93.59/93.60 c 93.6s| 70000 | 63790 | 30718 | 0.4 | 127M|1123 | 0 |3771 |4407 |3771 | 930 |5377 | 51 |1511 | 0.000000e+00 | 6.570000e+02 | Inf
99.50/99.52 o 616
99.50/99.52 c *99.5s| 74411 | 66643 | 34203 | 0.5 | 133M|1123 | - |3771 |4681 |3771 | 931 |5960 | 325 |1546 | 0.000000e+00 | 6.160000e+02 | Inf
102.20/102.26 o 604
102.20/102.26 c * 102s| 75873 | 67202 | 38244 | 0.5 | 135M|1123 | - |3771 |5334 |3771 | 934 |6551 |1018 |1571 | 0.000000e+00 | 6.040000e+02 | Inf
102.49/102.55 o 590
102.49/102.55 c * 103s| 76046 | 66684 | 38461 | 0.5 | 134M|1123 | - |3771 |5361 |3771 | 925 |6602 |1052 |1571 | 0.000000e+00 | 5.900000e+02 | Inf
102.49/102.58 o 537
102.49/102.58 c * 103s| 76058 | 63260 | 38472 | 0.5 | 128M|1123 | - |3771 |5361 |3771 | 925 |6602 |1052 |1571 | 0.000000e+00 | 5.370000e+02 | Inf
103.59/103.62 o 534
103.59/103.62 c * 104s| 76596 | 63465 | 40313 | 0.5 | 129M|1123 | - |3771 |5498 |3771 | 968 |6893 |1217 |1602 | 0.000000e+00 | 5.340000e+02 | Inf
103.69/103.72 o 455
103.69/103.72 c * 104s| 76660 | 55613 | 40333 | 0.5 | 116M|1123 | - |3771 |5502 |3771 | 968 |6893 |1223 |1602 | 0.000000e+00 | 4.550000e+02 | Inf
105.50/105.51 o 447
105.50/105.51 c * 105s| 77616 | 55557 | 42773 | 0.5 | 118M|1123 | - |3771 |5799 |3771 | 933 |7284 |1598 |1613 | 0.000000e+00 | 4.470000e+02 | Inf
110.09/110.11 c 110s| 80000 | 57171 | 51700 | 0.6 | 122M|1123 | 0 |3771 |7243 |3771 | 935 |8780 |3212 |1648 | 0.000000e+00 | 4.470000e+02 | Inf
110.19/110.21 o 386
110.19/110.21 c * 110s| 80079 | 50740 | 51700 | 0.6 | 111M|1123 | - |3771 |7243 |3771 | 935 |8780 |3212 |1648 | 0.000000e+00 | 3.860000e+02 | Inf
110.19/110.22 o 338
110.19/110.22 c * 110s| 80080 | 45798 | 51700 | 0.6 | 103M|1123 | - |3771 |7243 |3771 | 935 |8780 |3212 |1648 | 0.000000e+00 | 3.380000e+02 | Inf
112.89/112.97 o 320
112.89/112.97 c * 113s| 81406 | 44491 | 56412 | 0.7 | 102M|1123 | - |3771 |7662 |3771 | 960 |9635 |3857 |1655 | 0.000000e+00 | 3.200000e+02 | Inf
114.99/115.09 o 317
114.99/115.09 c * 115s| 82277 | 44455 | 62302 | 0.8 | 103M|1123 | - |3771 |8106 |3771 | 952 | 10k|4577 |1676 | 0.000000e+00 | 3.170000e+02 | Inf
115.50/115.56 o 304
115.50/115.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.50/115.56 c * 116s| 82460 | 42888 | 63804 | 0.8 | 101M|1123 | - |3771 |8280 |3771 | 950 | 10k|4830 |1681 | 0.000000e+00 | 3.040000e+02 | Inf
115.90/116.00 o 301
115.90/116.00 c * 116s| 82679 | 42722 | 64585 | 0.8 | 101M|1123 | - |3771 |8271 |3771 | 956 | 10k|4874 |1681 | 0.000000e+00 | 3.010000e+02 | Inf
116.99/117.06 o 292
116.99/117.06 c * 117s| 83127 | 41767 | 67626 | 0.8 | 100M|1123 | - |3771 |8371 |3771 | 915 | 10k|5245 |1684 | 0.000000e+00 | 2.920000e+02 | Inf
117.29/117.39 o 266
117.29/117.39 c * 117s| 83300 | 38400 | 67904 | 0.8 | 94M|1123 | - |3771 |8353 |3771 | 899 | 10k|5294 |1687 | 0.000000e+00 | 2.660000e+02 | Inf
117.39/117.45 o 211
117.39/117.45 c * 117s| 83320 | 29726 | 67946 | 0.8 | 78M|1123 | - |3771 |8357 |3771 | 907 | 10k|5298 |1687 | 0.000000e+00 | 2.110000e+02 | Inf
117.90/117.91 o 194
117.90/117.91 c * 118s| 83543 | 26606 | 68521 | 0.8 | 73M|1123 | - |3771 |8391 |3771 | 896 | 10k|5391 |1687 | 0.000000e+00 | 1.940000e+02 | Inf
121.29/121.35 o 169
121.29/121.35 c * 121s| 85081 | 22516 | 74351 | 0.9 | 69M|1123 | - |3771 |8520 |3771 | 918 | 11k|6400 |1694 | 0.000000e+00 | 1.690000e+02 | Inf
121.79/121.86 o 165
121.79/121.86 c * 122s| 85278 | 21826 | 75853 | 0.9 | 68M|1123 | - |3771 |8569 |3771 | 949 | 11k|6549 |1698 | 0.000000e+00 | 1.650000e+02 | Inf
122.79/122.88 o 163
122.79/122.88 c * 123s| 85634 | 21598 | 78785 | 0.9 | 69M|1123 | - |3771 |8609 |3771 | 950 | 12k|6839 |1698 | 0.000000e+00 | 1.630000e+02 | Inf
123.60/123.68 o 160
123.60/123.68 c * 124s| 85960 | 21097 | 80874 | 0.9 | 69M|1123 | - |3771 |8870 |3771 | 924 | 12k|7256 |1700 | 0.000000e+00 | 1.600000e+02 | Inf
127.50/127.52 o 159
127.50/127.52 c * 127s| 87551 | 21438 | 87844 | 1.0 | 71M|1123 | - |3771 |8386 |3771 | 928 | 13k|8712 |1710 | 0.000000e+00 | 1.590000e+02 | Inf
130.90/130.92 o 154
130.90/130.92 c * 131s| 88806 | 20991 | 96853 | 1.1 | 73M|1123 | - |3771 |7483 |3771 | 913 | 13k|9648 |1721 | 0.000000e+00 | 1.540000e+02 | Inf
132.09/132.14 o 142
132.09/132.14 c * 132s| 89243 | 18871 |100980 | 1.1 | 70M|1123 | - |3771 |7418 |3771 | 953 | 14k| 10k|1722 | 0.000000e+00 | 1.420000e+02 | Inf
132.29/132.34 o 126
132.29/132.34 c * 132s| 89304 | 15680 |101915 | 1.1 | 64M|1123 | - |3771 |7434 |3771 | 964 | 14k| 10k|1724 | 0.000000e+00 | 1.260000e+02 | Inf
133.89/133.96 o 122
133.89/133.96 c * 134s| 89823 | 15055 |107410 | 1.2 | 64M|1123 | - |3771 |7263 |3771 | 911 | 14k| 10k|1729 | 0.000000e+00 | 1.220000e+02 | Inf
134.39/134.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.39/134.42 c 134s| 90000 | 15097 |108824 | 1.2 | 65M|1123 | 12 |3771 |7192 |3771 | 900 | 14k| 10k|1729 | 0.000000e+00 | 1.220000e+02 | Inf
136.09/136.13 o 114
136.09/136.13 c * 136s| 90604 | 13763 |113987 | 1.3 | 63M|1123 | - |3771 |6969 |3771 | 945 | 15k| 11k|1730 | 0.000000e+00 | 1.140000e+02 | Inf
136.09/136.13 o 113
136.09/136.13 c * 136s| 90605 | 13153 |113999 | 1.3 | 61M|1123 | - |3771 |6969 |3771 | 945 | 15k| 11k|1730 | 0.000000e+00 | 1.130000e+02 | Inf
136.59/136.63 o 101
136.59/136.63 c * 137s| 90773 | 11372 |116291 | 1.3 | 55M|1123 | - |3771 |6845 |3771 | 948 | 15k| 11k|1732 | 0.000000e+00 | 1.010000e+02 | Inf
136.59/136.63 o 100
136.59/136.63 c * 137s| 90774 | 11232 |116308 | 1.3 | 55M|1123 | - |3771 |6845 |3771 | 948 | 15k| 11k|1732 | 0.000000e+00 | 1.000000e+02 | Inf
136.59/136.68 o 97
136.59/136.68 c * 137s| 90785 | 10784 |116448 | 1.3 | 54M|1123 | - |3771 |6770 |3771 | 951 | 15k| 11k|1732 | 0.000000e+00 | 9.700000e+01 | Inf
137.09/137.19 o 94
137.09/137.19 c * 137s| 90964 | 10320 |117631 | 1.3 | 53M|1123 | - |3771 |6563 |3771 | 944 | 15k| 11k|1732 | 0.000000e+00 | 9.400000e+01 | Inf
137.29/137.34 o 85
137.29/137.34 c * 137s| 91001 | 9141 |118293 | 1.3 | 50M|1123 | - |3771 |6403 |3771 | 948 | 15k| 11k|1732 | 0.000000e+00 | 8.500000e+01 | Inf
137.29/137.38 o 65
137.29/137.38 c * 137s| 91005 | 6340 |118430 | 1.3 | 42M|1123 | - |3771 |6217 |3771 | 944 | 15k| 11k|1732 | 0.000000e+00 | 6.500000e+01 | Inf
137.40/137.44 o 64
137.40/137.44 c * 137s| 91016 | 6281 |118647 | 1.3 | 42M|1123 | - |3771 |5814 |3771 | 939 | 15k| 11k|1732 | 0.000000e+00 | 6.400000e+01 | Inf
137.70/137.71 o 50
137.70/137.71 c * 138s| 91172 | 4836 |119555 | 1.3 | 38M|1123 | - |3771 |5699 |3771 | 949 | 15k| 11k|1732 | 0.000000e+00 | 5.000000e+01 | Inf
137.70/137.72 o 46
137.70/137.72 c * 138s| 91173 | 4554 |119581 | 1.3 | 37M|1123 | - |3771 |5699 |3771 | 949 | 15k| 11k|1732 | 0.000000e+00 | 4.600000e+01 | Inf
137.70/137.75 o 45
137.70/137.75 c * 138s| 91177 | 3211 |119750 | 1.3 | 31M|1123 | - |3771 |5284 |3771 | 923 | 15k| 11k|1732 | 0.000000e+00 | 4.500000e+01 | Inf
152.19/152.20 o 28
152.19/152.20 c * 152s| 99124 | 2686 |155495 | 1.6 | 34M|1123 | - |3771 |6636 |3771 | 915 | 17k| 20k|1736 | 0.000000e+00 | 2.800000e+01 | Inf
153.60/153.60 c 154s|100000 | 2707 |159513 | 1.6 | 34M|1123 | - |3771 |6101 | 0 | 0 | 18k| 21k|1739 | 0.000000e+00 | 2.800000e+01 | Inf
157.49/157.54 o 22
157.49/157.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.49/157.54 c * 158s|102650 | 2427 |168972 | 1.6 | 34M|1123 | - |3771 |5836 |3771 | 895 | 18k| 24k|1743 | 0.000000e+00 | 2.200000e+01 | Inf
169.40/169.46 c 169s|110000 | 2531 |210054 | 1.9 | 37M|1123 | - |3771 |7198 | 0 | 0 | 20k| 34k|1743 | 0.000000e+00 | 2.200000e+01 | Inf
185.69/185.77 c 186s|120000 | 2644 |263462 | 2.2 | 40M|1123 | - |3771 |8409 | 0 | 0 | 22k| 46k|1743 | 0.000000e+00 | 2.200000e+01 | Inf
203.30/203.34 c 203s|130000 | 2732 |319650 | 2.5 | 42M|1123 | 1 |3771 |9588 |3771 | 912 | 25k| 59k|1795 | 0.000000e+00 | 2.200000e+01 | Inf
219.70/219.76 c 220s|140000 | 2748 |363825 | 2.6 | 43M|1123 | 14 |3771 |8110 |3771 | 892 | 27k| 72k|1897 | 0.000000e+00 | 2.200000e+01 | Inf
236.09/236.17 c 236s|150000 | 2842 |411850 | 2.7 | 45M|1123 | 20 |3771 |8402 |3771 | 903 | 29k| 84k|2006 | 0.000000e+00 | 2.200000e+01 | Inf
252.60/252.61 c 253s|160000 | 2918 |459946 | 2.9 | 48M|1123 | - |3771 | 10k| 0 | 0 | 31k| 97k|2087 | 0.000000e+00 | 2.200000e+01 | Inf
269.60/269.61 c 270s|170000 | 3044 |513837 | 3.0 | 49M|1123 | 13 |3771 |8228 |3771 | 929 | 33k| 110k|2205 | 0.000000e+00 | 2.200000e+01 | Inf
286.40/286.41 c 286s|180000 | 3111 |560958 | 3.1 | 51M|1123 | - |3771 |9079 | 0 | 0 | 35k| 123k|2341 | 0.000000e+00 | 2.200000e+01 | Inf
303.80/303.88 c 304s|190000 | 3219 |618878 | 3.3 | 53M|1123 | 5 |3771 |9953 |3771 | 887 | 37k| 136k|2470 | 0.000000e+00 | 2.200000e+01 | Inf
321.80/321.87 c 322s|200000 | 3337 |675418 | 3.4 | 55M|1123 | 19 |3771 | 11k|3771 | 949 | 39k| 150k|2559 | 0.000000e+00 | 2.200000e+01 | Inf
339.40/339.47 c 339s|210000 | 3369 |728129 | 3.5 | 56M|1123 | - |3771 |9617 | 0 | 0 | 42k| 163k|2698 | 0.000000e+00 | 2.200000e+01 | Inf
356.00/356.09 c 356s|220000 | 3525 |774130 | 3.5 | 59M|1123 | - |3771 | 11k| 0 | 0 | 44k| 176k|2786 | 0.000000e+00 | 2.200000e+01 | Inf
359.10/359.15 o 15
359.10/359.15 c * 359s|221813 | 3015 |781318 | 3.5 | 52M|1123 | - |3771 | 10k|3771 | 918 | 45k| 179k|2794 | 0.000000e+00 | 1.500000e+01 | Inf
372.30/372.32 c 372s|230000 | 3053 |822207 | 3.6 | 53M|1123 | - |3771 |9933 | 0 | 0 | 47k| 189k|2891 | 0.000000e+00 | 1.500000e+01 | Inf
389.41/389.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.41/389.41 c 389s|240000 | 3101 |876732 | 3.7 | 54M|1123 | - |3771 | 10k| 0 | 0 | 49k| 203k|3034 | 0.000000e+00 | 1.500000e+01 | Inf
405.91/405.94 c 406s|250000 | 3260 |930447 | 3.7 | 56M|1123 | 1 |3771 | 12k|3771 | 882 | 53k| 216k|3100 | 0.000000e+00 | 1.500000e+01 | Inf
423.60/423.61 c 424s|260000 | 3347 |989108 | 3.8 | 58M|1123 | 15 |3771 | 13k|3771 | 909 | 56k| 229k|3224 | 0.000000e+00 | 1.500000e+01 | Inf
441.11/441.19 c 441s|270000 | 3438 | 1042k| 3.9 | 60M|1123 | - |3771 | 14k| 0 | 0 | 59k| 242k|3319 | 0.000000e+00 | 1.500000e+01 | Inf
459.91/459.90 c 460s|280000 | 3527 | 1099k| 3.9 | 62M|1123 | - |3771 | 14k| 0 | 0 | 62k| 256k|3438 | 0.000000e+00 | 1.500000e+01 | Inf
477.51/477.59 c 478s|290000 | 3517 | 1156k| 4.0 | 61M|1123 | 19 |3771 | 11k|3771 | 920 | 65k| 270k|3584 | 0.000000e+00 | 1.500000e+01 | Inf
494.50/494.51 c 494s|300000 | 3539 | 1212k| 4.0 | 62M|1123 | - |3771 | 12k| 0 | 0 | 68k| 283k|3659 | 0.000000e+00 | 1.500000e+01 | Inf
511.61/511.68 c 512s|310000 | 3538 | 1265k| 4.1 | 63M|1123 | 15 |3771 | 11k|3771 | 908 | 71k| 296k|3761 | 0.000000e+00 | 1.500000e+01 | Inf
511.90/511.99 o 10
511.90/511.99 c * 512s|310190 | 3141 | 1266k| 4.1 | 59M|1123 | - |3771 | 11k|3771 | 899 | 71k| 296k|3761 | 0.000000e+00 | 1.000000e+01 | Inf
512.00/512.01 o 3
512.00/512.01 c * 512s|310197 | 2481 | 1266k| 4.1 | 52M|1123 | - |3771 | 11k|3771 | 898 | 71k| 296k|3761 | 0.000000e+00 | 3.000000e+00 | Inf
526.81/526.90 c 527s|320000 | 2520 | 1318k| 4.1 | 53M|1123 | 19 |3771 | 11k|3771 | 924 | 73k| 309k|3847 | 0.000000e+00 | 3.000000e+00 | Inf
542.51/542.50 c 542s|330000 | 2480 | 1373k| 4.2 | 52M|1123 | - |3771 |9409 |3771 | 898 | 75k| 322k|3938 | 0.000000e+00 | 3.000000e+00 | Inf
557.80/557.86 c 558s|340000 | 2552 | 1431k| 4.2 | 54M|1123 | - |3771 | 10k| 0 | 0 | 77k| 335k|4056 | 0.000000e+00 | 3.000000e+00 | Inf
574.50/574.52 c 574s|350000 | 2629 | 1495k| 4.3 | 55M|1123 | 13 |3771 | 10k|3771 | 904 | 80k| 348k|4139 | 0.000000e+00 | 3.000000e+00 | Inf
591.01/591.01 c 591s|360000 | 2680 | 1558k| 4.3 | 56M|1123 | 1 |3771 | 12k|3771 | 897 | 82k| 362k|4212 | 0.000000e+00 | 3.000000e+00 | Inf
607.50/607.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.50/607.58 c 608s|370000 | 2824 | 1617k| 4.4 | 58M|1123 | 11 |3771 | 15k|3771 | 904 | 85k| 375k|4312 | 0.000000e+00 | 3.000000e+00 | Inf
624.61/624.69 c 625s|380000 | 2877 | 1677k| 4.4 | 59M|1123 | - |3771 | 15k| 0 | 0 | 87k| 389k|4415 | 0.000000e+00 | 3.000000e+00 | Inf
642.31/642.32 c 642s|390000 | 3020 | 1735k| 4.4 | 61M|1123 | - |3771 | 16k| 0 | 0 | 89k| 403k|4491 | 0.000000e+00 | 3.000000e+00 | Inf
660.41/660.42 c 660s|400000 | 3059 | 1795k| 4.5 | 62M|1123 | - |3771 | 18k| 0 | 0 | 91k| 417k|4559 | 0.000000e+00 | 3.000000e+00 | Inf
678.01/678.06 c 678s|410000 | 3130 | 1852k| 4.5 | 62M|1123 | - |3771 | 16k| 0 | 0 | 94k| 430k|4633 | 0.000000e+00 | 3.000000e+00 | Inf
695.81/695.83 c 696s|420000 | 3164 | 1908k| 4.5 | 63M|1123 | - |3771 | 16k| 0 | 0 | 97k| 444k|4694 | 0.000000e+00 | 3.000000e+00 | Inf
713.21/713.27 c 713s|430000 | 3204 | 1959k| 4.6 | 64M|1123 | - |3771 | 18k| 0 | 0 | 99k| 458k|4779 | 0.000000e+00 | 3.000000e+00 | Inf
730.71/730.70 c 731s|440000 | 3188 | 2022k| 4.6 | 62M|1123 | - |3771 | 11k| 0 | 0 | 101k| 472k|4850 | 0.000000e+00 | 3.000000e+00 | Inf
746.60/746.65 c 747s|450000 | 3176 | 2082k| 4.6 | 63M|1123 | 7 |3771 | 13k|3771 | 903 | 103k| 486k|4921 | 0.000000e+00 | 3.000000e+00 | Inf
763.51/763.53 c 764s|460000 | 3192 | 2138k| 4.6 | 64M|1123 | - |3771 | 13k| 0 | 0 | 105k| 500k|4995 | 0.000000e+00 | 3.000000e+00 | Inf
781.02/781.03 c 781s|470000 | 3221 | 2195k| 4.7 | 65M|1123 | 1 |3771 | 14k|3771 | 904 | 107k| 514k|5070 | 0.000000e+00 | 3.000000e+00 | Inf
797.71/797.76 c 798s|480000 | 3311 | 2246k| 4.7 | 67M|1123 | 7 |3771 | 17k|3771 | 915 | 109k| 527k|5125 | 0.000000e+00 | 3.000000e+00 | Inf
816.01/816.07 c 816s|490000 | 3300 | 2311k| 4.7 | 66M|1123 | 14 |3771 | 15k|3771 | 902 | 112k| 541k|5206 | 0.000000e+00 | 3.000000e+00 | Inf
834.21/834.27 c 834s|500000 | 3259 | 2373k| 4.7 | 65M|1123 | - |3771 | 12k| 0 | 0 | 114k| 555k|5291 | 0.000000e+00 | 3.000000e+00 | Inf
851.51/851.53 c 852s|510000 | 3507 | 2429k| 4.8 | 68M|1123 | - |3771 | 14k| 0 | 0 | 117k| 569k|5339 | 0.000000e+00 | 3.000000e+00 | Inf
869.12/869.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.12/869.15 c 869s|520000 | 3630 | 2488k| 4.8 | 69M|1123 | - |3771 | 15k| 0 | 0 | 119k| 582k|5410 | 0.000000e+00 | 3.000000e+00 | Inf
887.21/887.21 c 887s|530000 | 3649 | 2550k| 4.8 | 70M|1123 | 1 |3771 | 15k|3771 | 919 | 121k| 596k|5479 | 0.000000e+00 | 3.000000e+00 | Inf
905.11/905.17 c 905s|540000 | 3605 | 2611k| 4.8 | 71M|1123 | - |3771 | 15k| 0 | 0 | 124k| 611k|5539 | 0.000000e+00 | 3.000000e+00 | Inf
923.62/923.62 c 924s|550000 | 3527 | 2677k| 4.9 | 69M|1123 | - |3771 | 13k| 0 | 0 | 126k| 625k|5610 | 0.000000e+00 | 3.000000e+00 | Inf
941.32/941.32 c 941s|560000 | 3634 | 2742k| 4.9 | 72M|1123 | 9 |3771 | 17k|3771 | 934 | 129k| 638k|5669 | 0.000000e+00 | 3.000000e+00 | Inf
959.22/959.21 c 959s|570000 | 3625 | 2805k| 4.9 | 72M|1123 | 1 |3771 | 18k|3771 | 922 | 132k| 652k|5722 | 0.000000e+00 | 3.000000e+00 | Inf
977.32/977.39 c 977s|580000 | 3554 | 2870k| 4.9 | 71M|1123 | 19 |3771 | 15k|3771 | 921 | 135k| 666k|5822 | 0.000000e+00 | 3.000000e+00 | Inf
995.02/995.09 c 995s|590000 | 3623 | 2928k| 5.0 | 73M|1123 | 1 |3771 | 18k|3771 | 937 | 137k| 680k|5872 | 0.000000e+00 | 3.000000e+00 | Inf
1013.91/1013.93 c 1014s|600000 | 3669 | 2990k| 5.0 | 73M|1123 | 22 |3771 | 16k|3771 | 914 | 139k| 694k|5932 | 0.000000e+00 | 3.000000e+00 | Inf
1033.22/1033.22 c 1033s|610000 | 3667 | 3051k| 5.0 | 74M|1123 | 20 |3771 | 18k|3771 | 913 | 141k| 708k|5984 | 0.000000e+00 | 3.000000e+00 | Inf
1051.42/1051.48 c 1051s|620000 | 3649 | 3112k| 5.0 | 74M|1123 | 14 |3771 | 17k|3771 | 923 | 144k| 722k|6035 | 0.000000e+00 | 3.000000e+00 | Inf
1069.92/1069.91 c 1070s|630000 | 3648 | 3172k| 5.0 | 75M|1123 | 1 |3771 | 19k|3771 | 907 | 147k| 736k|6081 | 0.000000e+00 | 3.000000e+00 | Inf
1087.62/1087.66 c 1088s|640000 | 3646 | 3229k| 5.0 | 74M|1123 | 20 |3771 | 17k|3771 | 894 | 149k| 750k|6135 | 0.000000e+00 | 3.000000e+00 | Inf
1105.42/1105.45 c 1105s|650000 | 3665 | 3288k| 5.1 | 75M|1123 | - |3771 | 18k| 0 | 0 | 152k| 763k|6193 | 0.000000e+00 | 3.000000e+00 | Inf
1123.61/1123.61 c 1124s|660000 | 3729 | 3353k| 5.1 | 74M|1123 | - |3771 | 14k| 0 | 0 | 155k| 776k|6431 | 0.000000e+00 | 3.000000e+00 | Inf
1140.73/1140.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.73/1140.72 c 1141s|670000 | 3856 | 3408k| 5.1 | 76M|1123 | 1 |3771 | 16k|3771 | 882 | 157k| 789k|6469 | 0.000000e+00 | 3.000000e+00 | Inf
1142.72/1142.72 o 2
1142.72/1142.72 c *1143s|671162 | 3826 | 3414k| 5.1 | 76M|1123 | - |3771 | 16k|3771 | 900 | 158k| 791k|6470 | 0.000000e+00 | 2.000000e+00 | Inf
1158.62/1158.65 c 1159s|680000 | 3924 | 3466k| 5.1 | 76M|1123 | - |3771 | 16k| 0 | 0 | 161k| 803k|6505 | 0.000000e+00 | 2.000000e+00 | Inf
1177.03/1177.05 c 1177s|690000 | 4042 | 3527k| 5.1 | 79M|1123 | - |3771 | 18k|3771 | 903 | 165k| 817k|6558 | 0.000000e+00 | 2.000000e+00 | Inf
1195.92/1195.95 c 1196s|700000 | 4052 | 3593k| 5.1 | 78M|1123 | 26 |3771 | 13k|3771 | 882 | 168k| 831k|6616 | 0.000000e+00 | 2.000000e+00 | Inf
1213.12/1213.13 c 1213s|710000 | 4078 | 3656k| 5.1 | 79M|1123 | 20 |3771 | 16k|3771 | 892 | 172k| 843k|6679 | 0.000000e+00 | 2.000000e+00 | Inf
1231.42/1231.49 c 1231s|720000 | 4095 | 3722k| 5.2 | 80M|1123 | - |3771 | 16k| 0 | 0 | 175k| 856k|6730 | 0.000000e+00 | 2.000000e+00 | Inf
1249.42/1249.47 c 1249s|730000 | 4168 | 3783k| 5.2 | 82M|1123 | - |3771 | 19k| 0 | 0 | 177k| 869k|6777 | 0.000000e+00 | 2.000000e+00 | Inf
1268.42/1268.46 c 1268s|740000 | 4258 | 3841k| 5.2 | 83M|1123 | - |3771 | 21k| 0 | 0 | 180k| 882k|6827 | 0.000000e+00 | 2.000000e+00 | Inf
1288.13/1288.12 c 1288s|750000 | 4340 | 3901k| 5.2 | 85M|1123 | - |3771 | 23k| 0 | 0 | 183k| 895k|6884 | 0.000000e+00 | 2.000000e+00 | Inf
1308.32/1308.31 c 1308s|760000 | 4385 | 3959k| 5.2 | 86M|1123 | 12 |3771 | 23k|3771 | 894 | 186k| 908k|6934 | 0.000000e+00 | 2.000000e+00 | Inf
1330.03/1330.06 c 1330s|770000 | 4492 | 4021k| 5.2 | 88M|1123 | 12 |3771 | 27k|3771 | 911 | 190k| 921k|6981 | 0.000000e+00 | 2.000000e+00 | Inf
1351.53/1351.57 c 1352s|780000 | 4534 | 4080k| 5.2 | 88M|1123 | 10 |3771 | 26k|3771 | 895 | 194k| 935k|7017 | 0.000000e+00 | 2.000000e+00 | Inf
1372.84/1372.81 c 1373s|790000 | 4605 | 4138k| 5.2 | 90M|1123 | 1 |3771 | 27k|3771 | 895 | 197k| 949k|7043 | 0.000000e+00 | 2.000000e+00 | Inf
1392.63/1392.67 c 1393s|800000 | 4572 | 4192k| 5.2 | 89M|1123 | - |3771 | 24k| 0 | 0 | 200k| 963k|7097 | 0.000000e+00 | 2.000000e+00 | Inf
1412.82/1412.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.82/1412.85 c 1413s|810000 | 4626 | 4253k| 5.3 | 90M|1123 | 6 |3771 | 25k|3771 | 927 | 203k| 975k|7145 | 0.000000e+00 | 2.000000e+00 | Inf
1434.03/1434.08 c 1434s|820000 | 4667 | 4320k| 5.3 | 91M|1123 | - |3771 | 25k|3771 | 901 | 206k| 989k|7196 | 0.000000e+00 | 2.000000e+00 | Inf
1455.23/1455.23 c 1455s|830000 | 4717 | 4383k| 5.3 | 90M|1123 | 25 |3771 | 21k|3771 | 893 | 209k|1002k|7265 | 0.000000e+00 | 2.000000e+00 | Inf
1474.04/1474.08 c 1474s|840000 | 4755 | 4439k| 5.3 | 92M|1123 | 7 |3771 | 23k|3771 | 892 | 212k|1015k|7301 | 0.000000e+00 | 2.000000e+00 | Inf
1494.13/1494.13 c 1494s|850000 | 4800 | 4502k| 5.3 | 92M|1123 | 20 |3771 | 23k|3771 | 906 | 215k|1029k|7329 | 0.000000e+00 | 2.000000e+00 | Inf
1514.43/1514.42 c 1514s|860000 | 4896 | 4561k| 5.3 | 93M|1123 | - |3771 | 23k| 0 | 0 | 218k|1042k|7374 | 0.000000e+00 | 2.000000e+00 | Inf
1535.43/1535.46 c 1535s|870000 | 4970 | 4625k| 5.3 | 95M|1123 | 15 |3771 | 24k|3771 | 882 | 221k|1056k|7417 | 0.000000e+00 | 2.000000e+00 | Inf
1556.93/1556.96 c 1557s|880000 | 5019 | 4694k| 5.3 | 95M|1123 | - |3771 | 24k| 0 | 0 | 224k|1070k|7465 | 0.000000e+00 | 2.000000e+00 | Inf
1578.23/1578.29 c 1578s|890000 | 5054 | 4764k| 5.4 | 96M|1123 | 11 |3771 | 24k|3771 | 892 | 227k|1083k|7525 | 0.000000e+00 | 2.000000e+00 | Inf
1598.93/1598.96 c 1599s|900000 | 5097 | 4827k| 5.4 | 97M|1123 | 17 |3771 | 24k|3771 | 882 | 229k|1098k|7571 | 0.000000e+00 | 2.000000e+00 | Inf
1620.73/1620.75 c 1621s|910000 | 5123 | 4900k| 5.4 | 97M|1123 | - |3771 | 23k| 0 | 0 | 233k|1112k|7625 | 0.000000e+00 | 2.000000e+00 | Inf
1641.93/1641.93 c 1642s|920000 | 5120 | 4964k| 5.4 | 96M|1123 | - |3771 | 19k| 0 | 0 | 236k|1126k|7660 | 0.000000e+00 | 2.000000e+00 | Inf
1660.73/1660.75 c 1661s|930000 | 5145 | 5028k| 5.4 | 97M|1123 | - |3771 | 20k| 0 | 0 | 239k|1141k|7697 | 0.000000e+00 | 2.000000e+00 | Inf
1679.04/1679.05 c 1679s|940000 | 5201 | 5089k| 5.4 | 97M|1123 | - |3771 | 17k| 0 | 0 | 241k|1154k|7932 | 0.000000e+00 | 2.000000e+00 | Inf
1697.24/1697.28 c 1697s|950000 | 5314 | 5153k| 5.4 | 99M|1123 | 1 |3771 | 19k|3771 | 902 | 245k|1167k|7950 | 0.000000e+00 | 2.000000e+00 | Inf
1715.63/1715.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.63/1715.68 c 1716s|960000 | 5273 | 5219k| 5.4 | 99M|1123 | 23 |3771 | 17k|3771 | 909 | 247k|1180k|8037 | 0.000000e+00 | 2.000000e+00 | Inf
1734.64/1734.70 c 1735s|970000 | 5362 | 5291k| 5.5 | 101M|1123 | - |3771 | 20k| 0 | 0 | 251k|1195k|8074 | 0.000000e+00 | 2.000000e+00 | Inf
1754.33/1754.37 c 1754s|980000 | 5349 | 5361k| 5.5 | 101M|1123 | 16 |3771 | 20k|3771 | 907 | 254k|1209k|8112 | 0.000000e+00 | 2.000000e+00 | Inf
1773.54/1773.51 c 1773s|990000 | 5356 | 5428k| 5.5 | 101M|1123 | - |3771 | 18k| 0 | 0 | 257k|1224k|8176 | 0.000000e+00 | 2.000000e+00 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 999037
1790.04/1790.01 c Primal Bound : +2.00000000000000e+00 (154 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.03 s SATISFIABLE
1790.04/1790.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.04/1790.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.04/1790.03 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.04/1790.03 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.04/1790.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1790.04/1790.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
1790.04/1790.03 v -x1
1790.04/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.03 c Solving Time : 1789.98
1790.04/1790.03 c Original Problem :
1790.04/1790.03 c Problem name : HOME/instance-2705503-1278572954.wbo
1790.04/1790.03 c Variables : 3909 (2070 binary, 0 integer, 1839 implicit integer, 0 continuous)
1790.04/1790.03 c Constraints : 4547 initial, 4547 maximal
1790.04/1790.03 c Presolved Problem :
1790.04/1790.03 c Problem name : t_HOME/instance-2705503-1278572954.wbo
1790.04/1790.03 c Variables : 3771 (2001 binary, 0 integer, 1770 implicit integer, 0 continuous)
1790.04/1790.03 c Constraints : 4356 initial, 28048 maximal
1790.04/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.03 c trivial : 0.00 69 0 0 0 0 0 0 0
1790.04/1790.03 c dualfix : 0.00 69 0 0 0 0 0 0 0
1790.04/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.03 c setppc : 0.00 0 0 0 0 0 17 0 0
1790.04/1790.03 c linear : 0.06 0 0 0 1861 0 105 91 0
1790.04/1790.03 c indicator : 0.00 0 0 0 0 0 69 0 0
1790.04/1790.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c root node : - 3508 - - 3508 - - - -
1790.04/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.03 c integral : 0 0 0 610848 0 61 781 0 0 992358
1790.04/1790.03 c setppc : 33 6 4971561 112346 1 26535 1287299 0 0 0
1790.04/1790.03 c linear : 1770 6 4948697 113823 1 251087 21238504 259401 0 0
1790.04/1790.03 c indicator : 1770 0 4612851 113334 1 555 2355670 0 0 0
1790.04/1790.03 c logicor : 783+ 6 1705656 81318 1 160280 4030441 0 0 0
1790.04/1790.03 c bounddisjunction : 0+ 0 305267 0 0 29 2738 0 0 0
1790.04/1790.03 c countsols : 0 0 0 81318 1 0 0 0 0 0
1790.04/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.03 c integral : 21.08 0.00 0.00 21.08 0.00
1790.04/1790.03 c setppc : 10.49 0.00 10.42 0.07 0.00
1790.04/1790.03 c linear : 146.59 0.00 142.48 4.11 0.00
1790.04/1790.03 c indicator : 36.41 0.02 26.02 10.37 0.00
1790.04/1790.03 c logicor : 245.67 0.00 244.82 0.85 0.00
1790.04/1790.03 c bounddisjunction : 1.73 0.00 1.73 0.00 0.00
1790.04/1790.03 c countsols : 0.02 0.00 0.00 0.02 0.00
1790.04/1790.03 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.03 c vbounds : 0.80 20342 0 2244
1790.04/1790.03 c rootredcost : 0.73 47 0 1754
1790.04/1790.03 c pseudoobj : 130.95 4982764 7244 2288700
1790.04/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.03 c propagation : 19.69 445175 444835 2618323 27.5 12450 27.8 -
1790.04/1790.03 c infeasible LP : 10.45 40697 40697 312141 45.9 516 18.7 0
1790.04/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.03 c applied globally : - - - 1236441 23.4 - - -
1790.04/1790.03 c applied locally : - - - 0 0.0 - - -
1790.04/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.03 c cut pool : 0.00 5 - - 24 - (maximal pool size: 333)
1790.04/1790.03 c redcost : 41.38 615140 0 119481 0 0
1790.04/1790.03 c impliedbounds : 0.00 6 0 0 0 0
1790.04/1790.03 c intobj : 0.00 0 0 0 0 0
1790.04/1790.03 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.03 c gomory : 0.08 6 0 0 1493 0
1790.04/1790.03 c strongcg : 0.07 6 0 0 1526 0
1790.04/1790.03 c cmir : 0.02 6 0 0 1 0
1790.04/1790.03 c flowcover : 0.05 6 0 0 2 0
1790.04/1790.03 c clique : 0.00 6 0 0 0 0
1790.04/1790.03 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.03 c mcf : 0.00 1 0 0 0 0
1790.04/1790.03 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.03 c Pricers : Time Calls Vars
1790.04/1790.03 c problem variables: 0.00 0 0
1790.04/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.03 c relpscost : 20.61 496858 61 781 0 0 992358
1790.04/1790.03 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.03 c inference : 21.51 81273 0 0 0 0 163015
1790.04/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.03 c random : 0.00 0 0 0 0 0 0
1790.04/1790.03 c Primal Heuristics : Time Calls Found
1790.04/1790.03 c LP solutions : 0.14 - 46
1790.04/1790.03 c pseudo solutions : 0.00 - 0
1790.04/1790.03 c intshifting : 0.01 0 0
1790.04/1790.03 c feaspump : 0.02 1 0
1790.04/1790.03 c oneopt : 0.46 43 0
1790.04/1790.03 c crossover : 1.81 53 0
1790.04/1790.03 c coefdiving : 0.34 251 0
1790.04/1790.03 c veclendiving : 0.31 251 0
1790.04/1790.03 c pscostdiving : 0.32 252 0
1790.04/1790.03 c fracdiving : 0.33 252 0
1790.04/1790.03 c linesearchdiving : 0.31 252 0
1790.04/1790.03 c guideddiving : 0.39 252 0
1790.04/1790.03 c rootsoldiving : 0.35 234 0
1790.04/1790.03 c objpscostdiving : 0.32 235 0
1790.04/1790.03 c trivial : 0.00 2 0
1790.04/1790.03 c simplerounding : 0.76 497171 0
1790.04/1790.03 c zirounding : 0.32 1000 0
1790.04/1790.03 c rounding : 1.03 9879 0
1790.04/1790.03 c shifting : 0.72 3071 0
1790.04/1790.03 c twoopt : 0.00 0 0
1790.04/1790.03 c fixandinfer : 0.00 0 0
1790.04/1790.03 c intdiving : 0.00 0 0
1790.04/1790.03 c actconsdiving : 0.00 0 0
1790.04/1790.03 c octane : 0.00 0 0
1790.04/1790.03 c rens : 0.03 1 0
1790.04/1790.03 c rins : 0.00 0 0
1790.04/1790.03 c localbranching : 0.00 0 0
1790.04/1790.03 c mutation : 0.00 0 0
1790.04/1790.03 c dins : 0.00 0 0
1790.04/1790.03 c undercover : 0.00 0 0
1790.04/1790.03 c nlp : 0.16 0 0
1790.04/1790.03 c trysol : 0.35 405 108
1790.04/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.03 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.03 c dual LP : 627.89 571103 5483139 9.60 8732.67
1790.04/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.03 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.03 c diving/probing LP: 0.30 187 2615 13.98 8617.62
1790.04/1790.03 c strong branching : 16.39 8213 181069 22.05 11047.59
1790.04/1790.03 c (at root node) : - 17 3328 195.76 -
1790.04/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.03 c B&B Tree :
1790.04/1790.03 c number of runs : 1
1790.04/1790.03 c nodes : 999037
1790.04/1790.03 c nodes (total) : 999037
1790.04/1790.03 c nodes left : 5328
1790.04/1790.03 c max depth : 1123
1790.04/1790.03 c max depth (total): 1123
1790.04/1790.03 c backtracks : 87108 (8.7%)
1790.04/1790.03 c delayed cutoffs : 67790
1790.04/1790.03 c repropagations : 2412248 (5179299 domain reductions, 64753 cutoffs)
1790.04/1790.03 c avg switch length: 6.23
1790.04/1790.03 c switching time : 249.67
1790.04/1790.03 c Solution :
1790.04/1790.03 c Solutions found : 154 (47 improvements)
1790.04/1790.03 c First Solution : +8.80640000000000e+04 (in run 1, after 73 nodes, 4.83 seconds, depth 16, found by <trysol>)
1790.04/1790.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 671162 nodes, 1142.70 seconds, depth 41, found by <relaxation>)
1790.04/1790.03 c Dual Bound : +0.00000000000000e+00
1790.04/1790.03 c Gap : infinite
1790.04/1790.03 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.03 c Root Iterations : 324
1790.14/1790.16 c Time complete: 1790.19.