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-2705531-1278572955.wbo>
0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 1802 impl, 0 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, 148 impls, 9 clqs
0.00/0.08 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.08/0.09 c (round 3) 53 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.09/0.10 c (round 4) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 148 impls, 9 clqs
0.09/0.10 c (round 5) 122 del vars, 168 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 148 impls, 9 clqs
0.09/0.15 c (0.1s) probing: 101/1972 (5.1%) - 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 122 deleted vars, 168 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.15 c 3616 implications, 9 cliques
0.09/0.15 c presolved problem has 3713 variables (1972 bin, 0 int, 1741 impl, 0 cont) and 4342 constraints
0.09/0.15 c 55 constraints of type <setppc>
0.09/0.15 c 1741 constraints of type <linear>
0.09/0.15 c 1741 constraints of type <indicator>
0.09/0.15 c 805 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.15 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 | 15 | - | 14M| 0 | 7 |3713 |4342 |3713 | 860 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 73 | - | 14M| 0 | 31 |3713 |4342 |3713 | 875 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 120 | - | 14M| 0 | 16 |3713 |4342 |3713 | 892 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 166 | - | 14M| 0 | 21 |3713 |4342 |3713 | 903 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 252 | - | 14M| 0 | 43 |3713 |4342 |3713 | 908 | 48 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.4s| 1 | 0 | 326 | - | 14M| 0 | 45 |3713 |4342 |3713 | 918 | 58 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 397 | - | 14M| 0 | 48 |3713 |4342 |3713 | 929 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 517 | - | 15M| 0 | 44 |3713 |4342 |3713 | 938 | 78 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.85 c 0.8s| 1 | 2 | 517 | - | 15M| 0 | 44 |3713 |4342 |3713 | 938 | 78 | 0 | 16 | 0.000000e+00 | -- | Inf
1.69/1.76 o 87754
1.69/1.76 c y 1.7s| 16 | 15 | 1238 | 48.1 | 15M| 14 | - |3713 |4342 | 0 | 0 | 128 | 0 | 188 | 0.000000e+00 | 8.775400e+04 | Inf
18.89/18.97 c 18.9s| 10000 | 9983 | 15495 | 1.5 | 37M| 667 | 0 |3713 |4360 |3713 | 997 |2237 | 18 |1355 | 0.000000e+00 | 8.775400e+04 | Inf
30.79/30.90 c 30.9s| 20000 | 19977 | 19450 | 0.9 | 54M| 667 | 0 |3713 |4368 |3713 | 977 |2883 | 26 |1399 | 0.000000e+00 | 8.775400e+04 | Inf
34.29/34.31 o 865
34.29/34.31 c *34.3s| 22750 | 22071 | 21032 | 0.9 | 57M| 667 | - |3713 |4368 |3713 | 965 |3180 | 26 |1421 | 0.000000e+00 | 8.650000e+02 | Inf
44.10/44.13 c 44.1s| 30000 | 29288 | 26376 | 0.9 | 70M| 667 | 0 |3713 |4456 |3713 | 976 |4217 | 115 |1454 | 0.000000e+00 | 8.650000e+02 | Inf
57.79/57.89 c 57.9s| 40000 | 39290 | 32448 | 0.8 | 87M| 667 | 0 |3713 |4498 |3713 | 969 |5452 | 184 |1515 | 0.000000e+00 | 8.650000e+02 | Inf
58.60/58.63 o 824
58.60/58.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.60/58.63 c *58.6s| 40566 | 39402 | 32710 | 0.8 | 88M| 667 | - |3713 |4498 |3713 | 972 |5495 | 184 |1521 | 0.000000e+00 | 8.240000e+02 | Inf
61.99/62.07 o 740
61.99/62.07 c *62.0s| 43034 | 40632 | 33540 | 0.8 | 90M| 667 | - |3713 |4506 |3713 | 989 |5676 | 193 |1526 | 0.000000e+00 | 7.400000e+02 | Inf
67.29/67.34 o 720
67.29/67.34 c *67.3s| 46699 | 43808 | 35579 | 0.8 | 95M| 667 | - |3713 |4516 |3713 | 989 |6220 | 204 |1537 | 0.000000e+00 | 7.200000e+02 | Inf
67.69/67.75 o 712
67.69/67.75 c *67.7s| 46948 | 43841 | 35967 | 0.8 | 95M| 667 | - |3713 |4530 |3713 | 988 |6272 | 218 |1538 | 0.000000e+00 | 7.120000e+02 | Inf
68.10/68.16 o 325
68.10/68.16 c *68.1s| 47167 | 23993 | 36524 | 0.8 | 64M| 667 | - |3713 |4563 |3713 | 985 |6374 | 251 |1542 | 0.000000e+00 | 3.250000e+02 | Inf
68.10/68.17 o 299
68.10/68.17 c *68.1s| 47168 | 21944 | 36525 | 0.8 | 60M| 667 | - |3713 |4563 |3713 | 985 |6374 | 251 |1542 | 0.000000e+00 | 2.990000e+02 | Inf
68.19/68.24 o 297
68.19/68.24 c *68.2s| 47200 | 21823 | 36574 | 0.8 | 60M| 667 | - |3713 |4569 |3713 |1000 |6398 | 257 |1542 | 0.000000e+00 | 2.970000e+02 | Inf
68.29/68.31 o 296
68.29/68.31 c R68.3s| 47245 | 21753 | 36706 | 0.8 | 60M| 667 | - |3713 |4605 |3713 | 974 |6398 | 293 |1543 | 0.000000e+00 | 2.960000e+02 | Inf
70.49/70.52 o 293
70.49/70.52 c *70.5s| 48312 | 21926 | 41175 | 0.8 | 62M| 667 | - |3713 |5635 |3713 | 983 |6834 |1340 |1579 | 0.000000e+00 | 2.930000e+02 | Inf
71.79/71.81 o 292
71.79/71.81 c *71.8s| 48927 | 22225 | 43570 | 0.9 | 63M| 667 | - |3713 |5932 |3713 | 979 |7142 |1679 |1596 | 0.000000e+00 | 2.920000e+02 | Inf
71.79/71.89 o 286
71.79/71.89 c *71.9s| 48962 | 21709 | 43625 | 0.9 | 62M| 667 | - |3713 |6043 |3713 | 979 |7142 |1790 |1597 | 0.000000e+00 | 2.860000e+02 | Inf
73.89/73.99 c 74.0s| 50000 | 22315 | 47615 | 0.9 | 65M| 667 | - |3713 |6753 | 0 | 0 |7658 |2576 |1612 | 0.000000e+00 | 2.860000e+02 | Inf
75.29/75.35 o 282
75.29/75.35 c R75.3s| 50600 | 22238 | 50485 | 1.0 | 66M| 667 | - |3713 |7194 |3713 | 979 |8117 |3080 |1638 | 0.000000e+00 | 2.820000e+02 | Inf
75.29/75.37 o 251
75.29/75.37 c R75.3s| 50602 | 18621 | 50522 | 1.0 | 61M| 667 | - |3713 |7202 |3713 | 979 |8117 |3088 |1638 | 0.000000e+00 | 2.510000e+02 | Inf
75.29/75.38 o 249
75.29/75.38 c *75.4s| 50609 | 18413 | 50541 | 1.0 | 60M| 667 | - |3713 |7209 |3713 | 979 |8117 |3095 |1638 | 0.000000e+00 | 2.490000e+02 | Inf
75.29/75.39 o 239
75.29/75.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.29/75.39 c *75.4s| 50610 | 17139 | 50541 | 1.0 | 58M| 667 | - |3713 |7209 |3713 | 979 |8117 |3095 |1638 | 0.000000e+00 | 2.390000e+02 | Inf
76.49/76.56 o 231
76.49/76.56 c *76.5s| 51164 | 16459 | 53128 | 1.0 | 58M| 667 | - |3713 |7597 |3713 |1012 |8488 |3571 |1651 | 0.000000e+00 | 2.310000e+02 | Inf
77.59/77.61 o 208
77.59/77.61 c *77.6s| 51612 | 14077 | 55039 | 1.1 | 54M| 667 | - |3713 |7838 |3713 | 990 |8671 |3904 |1655 | 0.000000e+00 | 2.080000e+02 | Inf
78.89/78.97 o 200
78.89/78.97 c *78.9s| 52125 | 13585 | 58745 | 1.1 | 54M| 667 | - |3713 |8087 |3713 | 957 |9204 |4317 |1674 | 0.000000e+00 | 2.000000e+02 | Inf
81.19/81.24 o 186
81.19/81.24 c R81.2s| 52887 | 12406 | 66887 | 1.3 | 53M| 667 | - |3713 |8321 |3713 | 978 | 10k|4936 |1687 | 0.000000e+00 | 1.860000e+02 | Inf
82.19/82.20 o 180
82.19/82.20 c R82.2s| 53210 | 11925 | 70031 | 1.3 | 52M| 667 | - |3713 |8457 |3713 | 957 | 10k|5232 |1689 | 0.000000e+00 | 1.800000e+02 | Inf
82.19/82.21 o 162
82.19/82.21 c *82.2s| 53211 | 10293 | 70063 | 1.3 | 48M| 667 | - |3713 |8461 |3713 | 960 | 10k|5236 |1689 | 0.000000e+00 | 1.620000e+02 | Inf
82.80/82.84 o 147
82.80/82.84 c *82.8s| 53418 | 8910 | 72027 | 1.3 | 46M| 667 | - |3713 |8655 |3713 | 989 | 10k|5540 |1700 | 0.000000e+00 | 1.470000e+02 | Inf
83.19/83.22 o 132
83.19/83.22 c *83.2s| 53541 | 7816 | 73347 | 1.4 | 44M| 667 | - |3713 |8734 |3713 | 967 | 11k|5682 |1708 | 0.000000e+00 | 1.320000e+02 | Inf
83.60/83.65 o 126
83.60/83.65 c *83.6s| 53679 | 7282 | 74997 | 1.4 | 43M| 667 | - |3713 |8754 |3713 | 964 | 11k|5838 |1716 | 0.000000e+00 | 1.260000e+02 | Inf
83.60/83.69 o 125
83.60/83.69 c *83.7s| 53687 | 7191 | 75124 | 1.4 | 43M| 667 | - |3713 |8771 |3713 | 984 | 11k|5856 |1721 | 0.000000e+00 | 1.250000e+02 | Inf
83.69/83.75 o 120
83.69/83.75 c *83.7s| 53704 | 6804 | 75520 | 1.4 | 41M| 667 | - |3713 |8770 |3713 | 960 | 11k|5868 |1721 | 0.000000e+00 | 1.200000e+02 | Inf
84.10/84.18 o 119
84.10/84.18 c *84.1s| 53822 | 6747 | 77316 | 1.4 | 42M| 667 | - |3713 |8749 |3713 | 951 | 11k|5962 |1722 | 0.000000e+00 | 1.190000e+02 | Inf
85.80/85.83 o 116
85.80/85.83 c *85.8s| 54393 | 6657 | 82078 | 1.5 | 43M| 667 | - |3713 |8970 |3713 | 952 | 11k|6685 |1726 | 0.000000e+00 | 1.160000e+02 | Inf
85.80/85.83 o 107
85.80/85.83 c *85.8s| 54394 | 6116 | 82097 | 1.5 | 42M| 667 | - |3713 |8970 |3713 | 952 | 11k|6685 |1726 | 0.000000e+00 | 1.070000e+02 | Inf
86.09/86.19 o 89
86.09/86.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.09/86.19 c *86.2s| 54541 | 4471 | 83098 | 1.5 | 38M| 667 | - |3713 |9115 |3713 | 966 | 11k|6868 |1728 | 0.000000e+00 | 8.900000e+01 | Inf
86.50/86.57 o 70
86.50/86.57 c R86.5s| 54685 | 3622 | 84481 | 1.5 | 36M| 667 | - |3713 |8824 |3713 | 961 | 12k|7080 |1729 | 0.000000e+00 | 7.000000e+01 | Inf
86.60/86.62 o 68
86.60/86.62 c *86.6s| 54690 | 3462 | 84680 | 1.5 | 36M| 667 | - |3713 |8393 |3713 | 954 | 12k|7092 |1729 | 0.000000e+00 | 6.800000e+01 | Inf
86.60/86.66 o 65
86.60/86.66 c *86.6s| 54710 | 3321 | 84715 | 1.5 | 35M| 667 | - |3713 |8364 |3713 | 960 | 12k|7113 |1729 | 0.000000e+00 | 6.500000e+01 | Inf
86.60/86.69 o 52
86.60/86.69 c *86.7s| 54712 | 2766 | 84725 | 1.5 | 33M| 667 | - |3713 |8294 |3713 | 960 | 12k|7113 |1729 | 0.000000e+00 | 5.200000e+01 | Inf
86.69/86.72 o 51
86.69/86.72 c *86.7s| 54718 | 2731 | 84843 | 1.5 | 33M| 667 | - |3713 |7990 |3713 | 952 | 12k|7124 |1729 | 0.000000e+00 | 5.100000e+01 | Inf
87.29/87.38 o 50
87.29/87.38 c *87.3s| 54921 | 2156 | 87345 | 1.6 | 30M| 667 | - |3713 |7954 |3713 | 961 | 12k|7466 |1732 | 0.000000e+00 | 5.000000e+01 | Inf
97.19/97.25 c 97.2s| 60000 | 2298 |108182 | 1.8 | 33M| 667 | 1 |3713 |7035 |3713 | 946 | 14k| 13k|1736 | 0.000000e+00 | 5.000000e+01 | Inf
100.39/100.41 o 44
100.39/100.41 c * 100s| 61609 | 2286 |116253 | 1.9 | 34M| 667 | - |3713 |7243 |3713 | 965 | 14k| 15k|1736 | 0.000000e+00 | 4.400000e+01 | Inf
105.70/105.77 o 41
105.70/105.77 c * 106s| 64547 | 2312 |128969 | 2.0 | 35M| 667 | - |3713 |6325 |3713 | 974 | 15k| 19k|1736 | 0.000000e+00 | 4.100000e+01 | Inf
107.60/107.60 o 40
107.60/107.60 c * 108s| 65614 | 2023 |132416 | 2.0 | 34M| 667 | - |3713 |6762 |3713 | 937 | 15k| 20k|1736 | 0.000000e+00 | 4.000000e+01 | Inf
111.29/111.38 o 28
111.29/111.38 c * 111s| 67722 | 1842 |143302 | 2.1 | 35M| 667 | - |3713 |6547 |3713 | 958 | 16k| 23k|1736 | 0.000000e+00 | 2.800000e+01 | Inf
115.09/115.16 c 115s| 70000 | 1876 |154865 | 2.2 | 36M| 667 | - |3713 |5791 | 0 | 0 | 16k| 26k|1736 | 0.000000e+00 | 2.800000e+01 | Inf
131.40/131.40 c 131s| 80000 | 2026 |198389 | 2.5 | 40M| 667 | 15 |3713 |7694 |3713 | 935 | 18k| 39k|1736 | 0.000000e+00 | 2.800000e+01 | Inf
134.49/134.52 o 16
134.49/134.52 c * 134s| 81974 | 1837 |205585 | 2.5 | 39M| 667 | - |3713 |8433 |3713 | 964 | 19k| 41k|1736 | 0.000000e+00 | 1.600000e+01 | Inf
146.20/146.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.20/146.30 c 146s| 90000 | 1832 |237927 | 2.6 | 40M| 667 | - |3713 |7676 | 0 | 0 | 20k| 52k|1736 | 0.000000e+00 | 1.600000e+01 | Inf
161.49/161.56 c 162s|100000 | 2033 |284708 | 2.8 | 44M| 667 | 21 |3713 |9683 |3713 | 944 | 23k| 64k|1754 | 0.000000e+00 | 1.600000e+01 | Inf
177.40/177.41 c 177s|110000 | 2169 |330960 | 3.0 | 46M| 667 | - |3713 |9627 | 0 | 0 | 25k| 77k|1818 | 0.000000e+00 | 1.600000e+01 | Inf
193.39/193.41 c 193s|120000 | 2197 |376920 | 3.1 | 48M| 667 | 1 |3713 |9196 |3713 | 958 | 27k| 91k|1924 | 0.000000e+00 | 1.600000e+01 | Inf
203.40/203.44 o 13
203.40/203.44 c * 203s|126249 | 2187 |406708 | 3.2 | 49M| 667 | - |3713 | 12k|3713 | 960 | 29k| 99k|1966 | 0.000000e+00 | 1.300000e+01 | Inf
209.29/209.35 c 209s|130000 | 2226 |424071 | 3.3 | 49M| 667 | - |3713 | 10k|3713 | 948 | 30k| 104k|2030 | 0.000000e+00 | 1.300000e+01 | Inf
225.40/225.42 c 225s|140000 | 2261 |474638 | 3.4 | 50M| 667 | - |3713 |9716 | 0 | 0 | 32k| 117k|2154 | 0.000000e+00 | 1.300000e+01 | Inf
241.69/241.76 c 242s|150000 | 2447 |523002 | 3.5 | 54M| 667 | 13 |3713 | 13k|3713 | 946 | 34k| 130k|2265 | 0.000000e+00 | 1.300000e+01 | Inf
258.40/258.45 c 258s|160000 | 2565 |571910 | 3.6 | 55M| 667 | 11 |3713 |8753 |3713 | 948 | 37k| 144k|2451 | 0.000000e+00 | 1.300000e+01 | Inf
273.40/273.49 c 273s|170000 | 2746 |619228 | 3.6 | 58M| 667 | 10 |3713 | 11k|3713 | 935 | 39k| 157k|2602 | 0.000000e+00 | 1.300000e+01 | Inf
289.90/289.91 c 290s|180000 | 2832 |678782 | 3.8 | 59M| 667 | 1 |3713 | 10k|3713 | 935 | 41k| 170k|2744 | 0.000000e+00 | 1.300000e+01 | Inf
306.60/306.66 c 307s|190000 | 2896 |739553 | 3.9 | 61M| 667 | 1 |3713 |9458 |3713 | 979 | 44k| 185k|2846 | 0.000000e+00 | 1.300000e+01 | Inf
322.90/322.90 c 323s|200000 | 2907 |792334 | 4.0 | 63M| 667 | 17 |3713 | 13k|3713 | 965 | 46k| 200k|2971 | 0.000000e+00 | 1.300000e+01 | Inf
339.10/339.17 c 339s|210000 | 2954 |840664 | 4.0 | 64M| 667 | - |3713 | 12k| 0 | 0 | 48k| 214k|3089 | 0.000000e+00 | 1.300000e+01 | Inf
355.50/355.56 c 356s|220000 | 2981 |886126 | 4.0 | 65M| 667 | 1 |3713 | 12k|3713 | 958 | 51k| 228k|3171 | 0.000000e+00 | 1.300000e+01 | Inf
372.70/372.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.70/372.77 c 373s|230000 | 3006 |940037 | 4.1 | 66M| 667 | 10 |3713 | 13k|3713 | 940 | 53k| 242k|3307 | 0.000000e+00 | 1.300000e+01 | Inf
388.60/388.64 c 389s|240000 | 3018 |983572 | 4.1 | 68M| 667 | - |3713 | 14k| 0 | 0 | 54k| 257k|3386 | 0.000000e+00 | 1.300000e+01 | Inf
405.20/405.27 c 405s|250000 | 3030 | 1030k| 4.1 | 69M| 667 | - |3713 | 14k| 0 | 0 | 56k| 270k|3475 | 0.000000e+00 | 1.300000e+01 | Inf
421.90/421.95 c 422s|260000 | 3064 | 1075k| 4.1 | 71M| 667 | - |3713 | 16k| 0 | 0 | 58k| 284k|3541 | 0.000000e+00 | 1.300000e+01 | Inf
439.80/439.86 c 440s|270000 | 3077 | 1126k| 4.2 | 72M| 667 | - |3713 | 16k| 0 | 0 | 61k| 297k|3624 | 0.000000e+00 | 1.300000e+01 | Inf
456.90/456.96 c 457s|280000 | 3179 | 1171k| 4.2 | 73M| 667 | 1 |3713 | 14k|3713 | 935 | 62k| 310k|3718 | 0.000000e+00 | 1.300000e+01 | Inf
474.40/474.48 c 474s|290000 | 3276 | 1226k| 4.2 | 74M| 667 | - |3713 | 14k| 0 | 0 | 65k| 323k|3845 | 0.000000e+00 | 1.300000e+01 | Inf
492.50/492.52 c 492s|300000 | 3365 | 1282k| 4.3 | 76M| 667 | 1 |3713 | 14k|3713 | 953 | 67k| 336k|3928 | 0.000000e+00 | 1.300000e+01 | Inf
509.90/509.92 c 510s|310000 | 3399 | 1334k| 4.3 | 78M| 667 | - |3713 | 13k| 0 | 0 | 70k| 349k|3995 | 0.000000e+00 | 1.300000e+01 | Inf
527.60/527.68 c 528s|320000 | 3423 | 1391k| 4.3 | 79M| 667 | - |3713 | 14k| 0 | 0 | 72k| 362k|4095 | 0.000000e+00 | 1.300000e+01 | Inf
545.90/545.96 c 546s|330000 | 3507 | 1451k| 4.4 | 81M| 667 | - |3713 | 17k| 0 | 0 | 74k| 375k|4201 | 0.000000e+00 | 1.300000e+01 | Inf
563.81/563.83 c 564s|340000 | 3568 | 1505k| 4.4 | 82M| 667 | 13 |3713 | 15k|3713 | 943 | 77k| 389k|4297 | 0.000000e+00 | 1.300000e+01 | Inf
581.41/581.48 c 581s|350000 | 3563 | 1561k| 4.5 | 82M| 667 | 16 |3713 | 15k|3713 | 977 | 79k| 402k|4384 | 0.000000e+00 | 1.300000e+01 | Inf
599.30/599.31 c 599s|360000 | 3579 | 1617k| 4.5 | 84M| 667 | - |3713 | 16k| 0 | 0 | 82k| 416k|4484 | 0.000000e+00 | 1.300000e+01 | Inf
616.91/616.98 c 617s|370000 | 3619 | 1668k| 4.5 | 85M| 667 | 13 |3713 | 17k|3713 | 935 | 84k| 429k|4572 | 0.000000e+00 | 1.300000e+01 | Inf
636.00/636.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.00/636.00 c 636s|380000 | 3683 | 1717k| 4.5 | 87M| 667 | 11 |3713 | 22k|3713 | 957 | 87k| 444k|4638 | 0.000000e+00 | 1.300000e+01 | Inf
655.20/655.24 c 655s|390000 | 3692 | 1762k| 4.5 | 88M| 667 | 9 |3713 | 22k|3713 | 944 | 89k| 457k|4698 | 0.000000e+00 | 1.300000e+01 | Inf
674.31/674.34 c 674s|400000 | 3752 | 1804k| 4.5 | 90M| 667 | 1 |3713 | 23k|3713 | 953 | 91k| 471k|4741 | 0.000000e+00 | 1.300000e+01 | Inf
694.01/694.03 c 694s|410000 | 3703 | 1859k| 4.5 | 89M| 667 | - |3713 | 18k| 0 | 0 | 93k| 485k|4819 | 0.000000e+00 | 1.300000e+01 | Inf
703.91/703.91 o 12
703.91/703.91 c * 704s|415521 | 3656 | 1884k| 4.5 | 90M| 667 | - |3713 | 21k|3713 | 972 | 94k| 492k|4857 | 0.000000e+00 | 1.200000e+01 | Inf
711.91/711.93 c 712s|420000 | 3684 | 1906k| 4.5 | 88M| 667 | 1 |3713 | 16k|3713 | 945 | 95k| 499k|4873 | 0.000000e+00 | 1.200000e+01 | Inf
729.01/729.03 c 729s|430000 | 3735 | 1953k| 4.5 | 89M| 667 | 1 |3713 | 15k|3713 | 948 | 98k| 512k|4935 | 0.000000e+00 | 1.200000e+01 | Inf
745.90/745.99 c 746s|440000 | 3749 | 1998k| 4.5 | 90M| 667 | 11 |3713 | 17k|3713 | 946 | 100k| 526k|5029 | 0.000000e+00 | 1.200000e+01 | Inf
763.21/763.27 c 763s|450000 | 3832 | 2048k| 4.6 | 90M| 667 | 24 |3713 | 12k|3713 | 935 | 103k| 539k|5138 | 0.000000e+00 | 1.200000e+01 | Inf
780.01/780.06 c 780s|460000 | 3865 | 2096k| 4.6 | 91M| 667 | - |3713 | 13k| 0 | 0 | 105k| 554k|5186 | 0.000000e+00 | 1.200000e+01 | Inf
796.61/796.62 c 797s|470000 | 3870 | 2144k| 4.6 | 92M| 667 | 1 |3713 | 11k|3713 | 955 | 108k| 567k|5230 | 0.000000e+00 | 1.200000e+01 | Inf
812.50/812.53 c 813s|480000 | 3957 | 2190k| 4.6 | 93M| 667 | - |3713 | 12k| 0 | 0 | 110k| 581k|5303 | 0.000000e+00 | 1.200000e+01 | Inf
828.01/828.06 c 828s|490000 | 3978 | 2234k| 4.6 | 94M| 667 | 1 |3713 | 11k|3713 | 962 | 112k| 595k|5362 | 0.000000e+00 | 1.200000e+01 | Inf
844.41/844.42 c 844s|500000 | 4056 | 2279k| 4.6 | 96M| 667 | - |3713 | 14k| 0 | 0 | 115k| 609k|5420 | 0.000000e+00 | 1.200000e+01 | Inf
860.51/860.54 c 861s|510000 | 4029 | 2321k| 4.6 | 96M| 667 | - |3713 | 12k| 0 | 0 | 117k| 623k|5464 | 0.000000e+00 | 1.200000e+01 | Inf
877.51/877.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.51/877.54 c 878s|520000 | 4035 | 2375k| 4.6 | 96M| 667 | 19 |3713 | 12k|3713 | 966 | 119k| 637k|5527 | 0.000000e+00 | 1.200000e+01 | Inf
894.41/894.46 c 894s|530000 | 4069 | 2429k| 4.6 | 98M| 667 | 1 |3713 | 13k|3713 | 948 | 122k| 651k|5603 | 0.000000e+00 | 1.200000e+01 | Inf
911.11/911.18 c 911s|540000 | 4082 | 2476k| 4.6 | 99M| 667 | 1 |3713 | 14k|3713 | 935 | 124k| 665k|5672 | 0.000000e+00 | 1.200000e+01 | Inf
928.41/928.49 c 928s|550000 | 4088 | 2520k| 4.6 | 101M| 667 | 15 |3713 | 19k|3713 | 964 | 127k| 679k|5717 | 0.000000e+00 | 1.200000e+01 | Inf
946.81/946.84 c 947s|560000 | 4142 | 2573k| 4.6 | 102M| 667 | - |3713 | 19k| 0 | 0 | 129k| 693k|5785 | 0.000000e+00 | 1.200000e+01 | Inf
966.21/966.26 c 966s|570000 | 4179 | 2624k| 4.6 | 103M| 667 | 21 |3713 | 21k|3713 | 955 | 132k| 708k|5837 | 0.000000e+00 | 1.200000e+01 | Inf
986.21/986.28 c 986s|580000 | 4255 | 2673k| 4.6 | 106M| 667 | 1 |3713 | 24k|3713 | 968 | 134k| 723k|5886 | 0.000000e+00 | 1.200000e+01 | Inf
1005.62/1005.68 c 1006s|590000 | 4241 | 2726k| 4.6 | 103M| 667 | 1 |3713 | 15k|3713 | 935 | 137k| 737k|5943 | 0.000000e+00 | 1.200000e+01 | Inf
1024.31/1024.38 c 1024s|600000 | 4266 | 2777k| 4.6 | 105M| 667 | 1 |3713 | 19k|3713 | 962 | 139k| 750k|5974 | 0.000000e+00 | 1.200000e+01 | Inf
1043.32/1043.34 c 1043s|610000 | 4273 | 2825k| 4.6 | 105M| 667 | - |3713 | 19k|3713 | 975 | 141k| 764k|6034 | 0.000000e+00 | 1.200000e+01 | Inf
1061.92/1061.91 c 1062s|620000 | 4332 | 2875k| 4.6 | 106M| 667 | 15 |3713 | 18k|3713 | 935 | 144k| 777k|6101 | 0.000000e+00 | 1.200000e+01 | Inf
1081.12/1081.14 c 1081s|630000 | 4457 | 2926k| 4.6 | 108M| 667 | 17 |3713 | 20k|3713 | 950 | 146k| 790k|6152 | 0.000000e+00 | 1.200000e+01 | Inf
1101.02/1101.06 c 1101s|640000 | 4478 | 2974k| 4.6 | 109M| 667 | 11 |3713 | 19k|3713 | 964 | 148k| 804k|6195 | 0.000000e+00 | 1.200000e+01 | Inf
1121.52/1121.59 c 1122s|650000 | 4621 | 3028k| 4.7 | 112M| 667 | 16 |3713 | 21k|3713 | 950 | 150k| 818k|6240 | 0.000000e+00 | 1.200000e+01 | Inf
1142.41/1142.41 c 1142s|660000 | 4726 | 3082k| 4.7 | 115M| 667 | 1 |3713 | 23k|3713 | 960 | 153k| 832k|6282 | 0.000000e+00 | 1.200000e+01 | Inf
1164.31/1164.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.31/1164.30 c 1164s|670000 | 4831 | 3135k| 4.7 | 117M| 667 | 16 |3713 | 24k|3713 | 957 | 155k| 845k|6332 | 0.000000e+00 | 1.200000e+01 | Inf
1187.52/1187.51 c 1187s|680000 | 5013 | 3193k| 4.7 | 121M| 667 | - |3713 | 26k| 0 | 0 | 157k| 860k|6388 | 0.000000e+00 | 1.200000e+01 | Inf
1208.72/1208.71 c 1209s|690000 | 5020 | 3246k| 4.7 | 120M| 667 | 25 |3713 | 23k|3713 | 960 | 160k| 874k|6507 | 0.000000e+00 | 1.200000e+01 | Inf
1229.91/1229.93 c 1230s|700000 | 5066 | 3301k| 4.7 | 122M| 667 | 1 |3713 | 26k|3713 | 956 | 163k| 888k|6549 | 0.000000e+00 | 1.200000e+01 | Inf
1251.41/1251.48 c 1251s|710000 | 5082 | 3352k| 4.7 | 122M| 667 | 1 |3713 | 26k|3713 | 956 | 165k| 902k|6606 | 0.000000e+00 | 1.200000e+01 | Inf
1273.42/1273.44 c 1273s|720000 | 5076 | 3410k| 4.7 | 119M| 667 | - |3713 | 16k| 0 | 0 | 168k| 916k|6694 | 0.000000e+00 | 1.200000e+01 | Inf
1292.62/1292.66 c 1293s|730000 | 5177 | 3471k| 4.8 | 121M| 667 | 31 |3713 | 16k|3713 | 935 | 170k| 930k|6752 | 0.000000e+00 | 1.200000e+01 | Inf
1311.52/1311.56 c 1312s|740000 | 5212 | 3529k| 4.8 | 122M| 667 | - |3713 | 16k| 0 | 0 | 172k| 944k|6789 | 0.000000e+00 | 1.200000e+01 | Inf
1331.22/1331.26 c 1331s|750000 | 5214 | 3589k| 4.8 | 123M| 667 | - |3713 | 18k| 0 | 0 | 174k| 957k|6830 | 0.000000e+00 | 1.200000e+01 | Inf
1339.82/1339.89 o 11
1339.82/1339.89 c *1340s|754490 | 5113 | 3612k| 4.8 | 121M| 667 | - |3713 | 18k|3713 | 948 | 175k| 964k|6876 | 0.000000e+00 | 1.100000e+01 | Inf
1350.32/1350.35 c 1350s|760000 | 5154 | 3643k| 4.8 | 122M| 667 | 1 |3713 | 19k|3713 | 948 | 176k| 972k|6880 | 0.000000e+00 | 1.100000e+01 | Inf
1370.42/1370.49 c 1370s|770000 | 5150 | 3702k| 4.8 | 121M| 667 | - |3713 | 14k| 0 | 0 | 178k| 987k|6987 | 0.000000e+00 | 1.100000e+01 | Inf
1387.52/1387.57 c 1388s|780000 | 5180 | 3751k| 4.8 | 122M| 667 | - |3713 | 14k| 0 | 0 | 180k|1000k|7043 | 0.000000e+00 | 1.100000e+01 | Inf
1405.12/1405.13 c 1405s|790000 | 5176 | 3810k| 4.8 | 121M| 667 | 12 |3713 | 11k|3713 | 935 | 183k|1013k|7104 | 0.000000e+00 | 1.100000e+01 | Inf
1422.62/1422.64 c 1423s|800000 | 5199 | 3866k| 4.8 | 123M| 667 | - |3713 | 14k| 0 | 0 | 185k|1026k|7154 | 0.000000e+00 | 1.100000e+01 | Inf
1440.93/1440.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.93/1440.96 c 1441s|810000 | 5209 | 3917k| 4.8 | 124M| 667 | 8 |3713 | 16k|3713 | 963 | 187k|1039k|7189 | 0.000000e+00 | 1.100000e+01 | Inf
1459.53/1459.57 c 1460s|820000 | 5208 | 3967k| 4.8 | 124M| 667 | 14 |3713 | 14k|3713 | 951 | 189k|1053k|7242 | 0.000000e+00 | 1.100000e+01 | Inf
1476.73/1476.76 c 1477s|830000 | 5224 | 4014k| 4.8 | 125M| 667 | 9 |3713 | 16k|3713 | 947 | 191k|1068k|7295 | 0.000000e+00 | 1.100000e+01 | Inf
1494.93/1494.99 c 1495s|840000 | 5198 | 4065k| 4.8 | 123M| 667 | - |3713 | 11k| 0 | 0 | 194k|1083k|7334 | 0.000000e+00 | 1.100000e+01 | Inf
1512.82/1512.88 c 1513s|850000 | 5211 | 4125k| 4.9 | 125M| 667 | 1 |3713 | 13k|3713 | 949 | 196k|1097k|7414 | 0.000000e+00 | 1.100000e+01 | Inf
1530.73/1530.71 c 1531s|860000 | 5282 | 4177k| 4.9 | 127M| 667 | - |3713 | 15k| 0 | 0 | 198k|1110k|7466 | 0.000000e+00 | 1.100000e+01 | Inf
1547.93/1547.97 c 1548s|870000 | 5335 | 4229k| 4.9 | 128M| 667 | - |3713 | 16k| 0 | 0 | 201k|1124k|7494 | 0.000000e+00 | 1.100000e+01 | Inf
1565.33/1565.37 c 1565s|880000 | 5341 | 4272k| 4.9 | 128M| 667 | - |3713 | 16k| 0 | 0 | 203k|1138k|7565 | 0.000000e+00 | 1.100000e+01 | Inf
1583.63/1583.68 c 1584s|890000 | 5402 | 4327k| 4.9 | 130M| 667 | - |3713 | 18k| 0 | 0 | 206k|1152k|7602 | 0.000000e+00 | 1.100000e+01 | Inf
1602.42/1602.42 c 1602s|900000 | 5564 | 4377k| 4.9 | 132M| 667 | 1 |3713 | 19k|3713 | 971 | 209k|1165k|7617 | 0.000000e+00 | 1.100000e+01 | Inf
1621.23/1621.28 c 1621s|910000 | 5568 | 4428k| 4.9 | 133M| 667 | - |3713 | 19k| 0 | 0 | 211k|1179k|7662 | 0.000000e+00 | 1.100000e+01 | Inf
1640.23/1640.25 c 1640s|920000 | 5556 | 4480k| 4.9 | 133M| 667 | 9 |3713 | 19k|3713 | 950 | 213k|1193k|7744 | 0.000000e+00 | 1.100000e+01 | Inf
1659.12/1659.17 c 1659s|930000 | 5612 | 4532k| 4.9 | 134M| 667 | - |3713 | 18k| 0 | 0 | 215k|1206k|7767 | 0.000000e+00 | 1.100000e+01 | Inf
1677.32/1677.33 c 1677s|940000 | 5589 | 4582k| 4.9 | 135M| 667 | 1 |3713 | 20k|3713 | 950 | 217k|1220k|7821 | 0.000000e+00 | 1.100000e+01 | Inf
1696.43/1696.43 c 1696s|950000 | 5591 | 4636k| 4.9 | 136M| 667 | - |3713 | 22k| 0 | 0 | 219k|1235k|7862 | 0.000000e+00 | 1.100000e+01 | Inf
1716.03/1716.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.03/1716.02 c 1716s|960000 | 5601 | 4687k| 4.9 | 137M| 667 | 17 |3713 | 22k|3713 | 950 | 221k|1250k|7884 | 0.000000e+00 | 1.100000e+01 | Inf
1735.23/1735.25 c 1735s|970000 | 5647 | 4736k| 4.9 | 137M| 667 | - |3713 | 20k| 0 | 0 | 224k|1263k|7945 | 0.000000e+00 | 1.100000e+01 | Inf
1755.33/1755.32 c 1755s|980000 | 5695 | 4794k| 4.9 | 137M| 667 | 18 |3713 | 19k|3713 | 959 | 226k|1277k|7994 | 0.000000e+00 | 1.100000e+01 | Inf
1775.13/1775.11 c 1775s|990000 | 5797 | 4847k| 4.9 | 139M| 667 | 1 |3713 | 22k|3713 | 945 | 229k|1292k|8036 | 0.000000e+00 | 1.100000e+01 | Inf
1790.03/1790.01 c
1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.01 c Solving Time (sec) : 1789.98
1790.03/1790.01 c Solving Nodes : 997526
1790.03/1790.01 c Primal Bound : +1.10000000000000e+01 (181 solutions)
1790.03/1790.01 c Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Gap : infinite
1790.03/1790.04 s SATISFIABLE
1790.03/1790.04 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.03/1790.04 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.03/1790.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1790.03/1790.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.03/1790.04 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 x128 -x127 -x126
1790.03/1790.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1790.03/1790.04 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
1790.03/1790.04 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55
1790.03/1790.04 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
1790.03/1790.04 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1790.03/1790.04 v -x1
1790.03/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.04 c Solving Time : 1789.98
1790.03/1790.04 c Original Problem :
1790.03/1790.04 c Problem name : HOME/instance-2705531-1278572955.wbo
1790.03/1790.04 c Variables : 3835 (2033 binary, 0 integer, 1802 implicit integer, 0 continuous)
1790.03/1790.04 c Constraints : 4510 initial, 4510 maximal
1790.03/1790.04 c Presolved Problem :
1790.03/1790.04 c Problem name : t_HOME/instance-2705531-1278572955.wbo
1790.03/1790.04 c Variables : 3713 (1972 binary, 0 integer, 1741 implicit integer, 0 continuous)
1790.03/1790.04 c Constraints : 4342 initial, 27803 maximal
1790.03/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.04 c trivial : 0.00 61 0 0 0 0 0 0 0
1790.03/1790.04 c dualfix : 0.00 61 0 0 0 0 0 0 0
1790.03/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.03/1790.04 c setppc : 0.00 0 0 0 0 0 22 0 0
1790.03/1790.04 c linear : 0.05 0 0 0 1810 0 85 67 0
1790.03/1790.04 c indicator : 0.00 0 0 0 0 0 61 0 0
1790.03/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.03/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.04 c root node : - 3154 - - 3154 - - - -
1790.03/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.04 c integral : 0 0 0 592876 0 40 688 0 0 1025130
1790.03/1790.04 c setppc : 55 7 5618110 76091 1 21939 1149758 0 0 0
1790.03/1790.04 c linear : 1741 7 5605774 79515 1 234811 21495222 232122 0 0
1790.03/1790.04 c indicator : 1741 0 5355307 79609 1 1101 3421317 0 0 0
1790.03/1790.04 c logicor : 805+ 7 1766953 48856 1 202988 4225501 0 0 0
1790.03/1790.04 c bounddisjunction : 0+ 0 473799 0 0 154 3905 0 0 0
1790.03/1790.04 c countsols : 0 0 0 48856 1 0 0 0 0 0
1790.03/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.04 c integral : 20.08 0.00 0.00 20.08 0.00
1790.03/1790.04 c setppc : 9.60 0.00 9.56 0.05 0.00
1790.03/1790.04 c linear : 143.07 0.00 140.47 2.59 0.00
1790.03/1790.04 c indicator : 48.60 0.02 41.64 6.95 0.00
1790.03/1790.04 c logicor : 246.17 0.00 245.81 0.36 0.00
1790.03/1790.04 c bounddisjunction : 2.10 0.00 2.10 0.00 0.00
1790.03/1790.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.03/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.04 c vbounds : 0.97 70829 2 2963
1790.03/1790.04 c rootredcost : 0.82 46 0 1577
1790.03/1790.04 c pseudoobj : 151.96 5639764 11788 3411756
1790.03/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.04 c propagation : 23.60 471680 471607 3279221 28.7 13583 25.5 -
1790.03/1790.04 c infeasible LP : 7.66 29041 29041 275919 42.6 294 19.7 0
1790.03/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.04 c pseudo solution : 0.00 6 6 61 33.6 1 23.0 -
1790.03/1790.04 c applied globally : - - - 1303732 22.7 - - -
1790.03/1790.04 c applied locally : - - - 0 0.0 - - -
1790.03/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.04 c cut pool : 0.00 6 - - 19 - (maximal pool size: 253)
1790.03/1790.04 c redcost : 40.71 596634 0 121823 0 0
1790.03/1790.04 c impliedbounds : 0.00 7 0 0 0 0
1790.03/1790.04 c intobj : 0.00 0 0 0 0 0
1790.03/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.04 c gomory : 0.12 7 0 0 1195 0
1790.03/1790.04 c strongcg : 0.10 7 0 0 1163 0
1790.03/1790.04 c cmir : 0.03 7 0 0 1 0
1790.03/1790.04 c flowcover : 0.08 7 0 0 2 0
1790.03/1790.04 c clique : 0.00 7 0 0 0 0
1790.03/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.04 c mcf : 0.00 1 0 0 0 0
1790.03/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.03/1790.04 c Pricers : Time Calls Vars
1790.03/1790.04 c problem variables: 0.00 0 0
1790.03/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.04 c relpscost : 19.61 513136 40 688 0 0 1025130
1790.03/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.04 c inference : 12.39 48818 0 0 0 0 97970
1790.03/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.04 c random : 0.00 0 0 0 0 0 0
1790.03/1790.04 c Primal Heuristics : Time Calls Found
1790.03/1790.04 c LP solutions : 0.07 - 39
1790.03/1790.04 c pseudo solutions : 0.00 - 0
1790.03/1790.04 c intshifting : 0.01 0 0
1790.03/1790.04 c feaspump : 0.02 1 0
1790.03/1790.04 c oneopt : 0.42 42 0
1790.03/1790.04 c crossover : 1.87 57 0
1790.03/1790.04 c linesearchdiving : 0.48 392 0
1790.03/1790.04 c guideddiving : 0.51 392 0
1790.03/1790.04 c coefdiving : 0.46 392 0
1790.03/1790.04 c pscostdiving : 0.46 392 0
1790.03/1790.04 c fracdiving : 0.47 392 0
1790.03/1790.04 c veclendiving : 0.53 392 0
1790.03/1790.04 c objpscostdiving : 0.49 384 0
1790.03/1790.04 c rootsoldiving : 0.52 384 0
1790.03/1790.04 c trivial : 0.00 2 0
1790.03/1790.04 c simplerounding : 0.79 513578 0
1790.03/1790.04 c zirounding : 0.27 1000 0
1790.03/1790.04 c rounding : 5.62 79556 6
1790.03/1790.04 c shifting : 0.57 3140 0
1790.03/1790.04 c twoopt : 0.00 0 0
1790.03/1790.04 c fixandinfer : 0.00 0 0
1790.03/1790.04 c intdiving : 0.00 0 0
1790.03/1790.04 c actconsdiving : 0.00 0 0
1790.03/1790.04 c octane : 0.00 0 0
1790.03/1790.04 c rens : 0.03 1 0
1790.03/1790.04 c rins : 0.00 0 0
1790.03/1790.04 c localbranching : 0.00 0 0
1790.03/1790.04 c mutation : 0.00 0 0
1790.03/1790.04 c dins : 0.00 0 0
1790.03/1790.04 c undercover : 0.00 0 0
1790.03/1790.04 c nlp : 0.19 0 0
1790.03/1790.04 c trysol : 0.37 836 136
1790.03/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.04 c dual LP : 602.44 573857 4884939 8.51 8108.61
1790.03/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.04 c diving/probing LP: 0.25 158 2224 14.08 8973.06
1790.03/1790.04 c strong branching : 15.58 8077 170965 21.17 10976.71
1790.03/1790.04 c (at root node) : - 16 2451 153.19 -
1790.03/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.04 c B&B Tree :
1790.03/1790.04 c number of runs : 1
1790.03/1790.04 c nodes : 997526
1790.03/1790.04 c nodes (total) : 997526
1790.03/1790.04 c nodes left : 5825
1790.03/1790.04 c max depth : 667
1790.03/1790.04 c max depth (total): 667
1790.03/1790.04 c backtracks : 82672 (8.3%)
1790.03/1790.04 c delayed cutoffs : 69940
1790.03/1790.04 c repropagations : 2825686 (6337544 domain reductions, 65613 cutoffs)
1790.03/1790.04 c avg switch length: 7.06
1790.03/1790.04 c switching time : 252.61
1790.03/1790.04 c Solution :
1790.03/1790.04 c Solutions found : 181 (46 improvements)
1790.03/1790.04 c First Solution : +8.77540000000000e+04 (in run 1, after 15 nodes, 1.72 seconds, depth 15, found by <trysol>)
1790.03/1790.04 c Primal Bound : +1.10000000000000e+01 (in run 1, after 754490 nodes, 1339.86 seconds, depth 38, found by <relaxation>)
1790.03/1790.04 c Dual Bound : +0.00000000000000e+00
1790.03/1790.04 c Gap : infinite
1790.03/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.04 c Root Iterations : 517
1790.13/1790.19 c Time complete: 1790.22.