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-2705509-1278572954.wbo>
0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 1777 impl, 0 cont) and 4485 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, 136 impls, 7 clqs
0.06/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 136 impls, 7 clqs
0.09/0.10 c (round 3) 53 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 136 impls, 7 clqs
0.09/0.11 c (round 4) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 136 impls, 7 clqs
0.09/0.12 c (round 5) 130 del vars, 177 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 136 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 130 deleted vars, 177 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17 c 3544 implications, 7 cliques
0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 1712 impl, 0 cont) and 4308 constraints
0.09/0.17 c 43 constraints of type <setppc>
0.09/0.17 c 1712 constraints of type <linear>
0.09/0.17 c 1712 constraints of type <indicator>
0.09/0.17 c 841 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.3
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 = 1789.97
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17 c # [type: int, range: [1,2], default: 1]
0.09/0.17 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/indicator/addCouplingCons = 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.17 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.17 c 0.1s| 1 | 0 | 18 | - | 13M| 0 | 8 |3655 |4308 |3655 | 884 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.2s| 1 | 0 | 62 | - | 13M| 0 | 29 |3655 |4308 |3655 | 905 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 86 | - | 14M| 0 | 30 |3655 |4308 |3655 | 923 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 111 | - | 14M| 0 | 43 |3655 |4308 |3655 | 937 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.4s| 1 | 0 | 142 | - | 15M| 0 | 53 |3655 |4308 |3655 | 943 | 59 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.56 c 0.5s| 1 | 0 | 180 | - | 15M| 0 | 61 |3655 |4308 |3655 | 953 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 243 | - | 15M| 0 | 52 |3655 |4308 |3655 | 966 | 82 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.84 c 0.8s| 1 | 2 | 243 | - | 15M| 0 | 52 |3655 |4308 |3655 | 966 | 82 | 0 | 16 | 0.000000e+00 | -- | Inf
1.59/1.60 o 86784
1.59/1.60 c y 1.6s| 16 | 15 | 1138 | 59.7 | 15M| 14 | - |3655 |4308 | 0 | 0 | 133 | 0 | 218 | 0.000000e+00 | 8.678400e+04 | Inf
17.29/17.38 c 17.4s| 10000 | 9997 | 8021 | 0.8 | 36M|1085 | 0 |3655 |4312 |3655 |1012 |1322 | 4 |1226 | 0.000000e+00 | 8.678400e+04 | Inf
29.29/29.37 c 29.3s| 20000 | 19995 | 11554 | 0.6 | 53M|1085 | 0 |3655 |4313 |3655 | 998 |2005 | 5 |1397 | 0.000000e+00 | 8.678400e+04 | Inf
40.89/40.96 c 40.9s| 30000 | 29993 | 13925 | 0.5 | 70M|1085 | 0 |3655 |4317 |3655 |1011 |2542 | 9 |1411 | 0.000000e+00 | 8.678400e+04 | Inf
52.59/52.63 c 52.6s| 40000 | 39989 | 16484 | 0.4 | 87M|1085 | 0 |3655 |4323 |3655 |1017 |3042 | 15 |1494 | 0.000000e+00 | 8.678400e+04 | Inf
57.49/57.57 o 451
57.49/57.57 c *57.5s| 44427 | 28758 | 16889 | 0.4 | 69M|1195 | - |3655 |4323 |3655 | 991 |3123 | 15 |1496 | 0.000000e+00 | 4.510000e+02 | Inf
59.79/59.88 o 447
59.79/59.88 c *59.9s| 46228 | 30347 | 17434 | 0.4 | 72M|1195 | - |3655 |4406 |3655 | 980 |3247 | 98 |1501 | 0.000000e+00 | 4.470000e+02 | Inf
59.79/59.89 o 428
59.79/59.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.79/59.89 c *59.9s| 46229 | 29353 | 17436 | 0.4 | 71M|1195 | - |3655 |4406 |3655 | 980 |3247 | 98 |1501 | 0.000000e+00 | 4.280000e+02 | Inf
60.09/60.12 o 427
60.09/60.12 c *60.1s| 46392 | 29440 | 17455 | 0.4 | 71M|1195 | - |3655 |4421 |3655 | 983 |3250 | 113 |1502 | 0.000000e+00 | 4.270000e+02 | Inf
60.69/60.74 o 370
60.69/60.74 c *60.7s| 46810 | 26516 | 17629 | 0.4 | 67M|1195 | - |3655 |4455 |3655 | 989 |3289 | 147 |1502 | 0.000000e+00 | 3.700000e+02 | Inf
61.19/61.20 o 322
61.19/61.20 c *61.2s| 47016 | 23186 | 18147 | 0.4 | 62M|1195 | - |3655 |4579 |3655 | 999 |3349 | 271 |1515 | 0.000000e+00 | 3.220000e+02 | Inf
61.80/61.80 o 283
61.80/61.80 c *61.8s| 47311 | 19895 | 18812 | 0.4 | 57M|1195 | - |3655 |4738 |3655 | 990 |3437 | 435 |1520 | 0.000000e+00 | 2.830000e+02 | Inf
62.59/62.69 o 264
62.59/62.69 c *62.7s| 47704 | 18194 | 19743 | 0.4 | 55M|1195 | - |3655 |4920 |3655 | 976 |3587 | 626 |1535 | 0.000000e+00 | 2.640000e+02 | Inf
65.09/65.13 o 263
65.09/65.13 c *65.1s| 48729 | 18695 | 23311 | 0.5 | 57M|1195 | - |3655 |5524 |3655 | 994 |4236 |1297 |1604 | 0.000000e+00 | 2.630000e+02 | Inf
65.69/65.72 o 261
65.69/65.72 c *65.7s| 48942 | 18615 | 24395 | 0.5 | 57M|1195 | - |3655 |5636 |3655 | 989 |4437 |1428 |1614 | 0.000000e+00 | 2.610000e+02 | Inf
65.69/65.73 o 255
65.69/65.73 c *65.7s| 48943 | 18015 | 24395 | 0.5 | 57M|1195 | - |3655 |5636 |3655 | 989 |4437 |1428 |1614 | 0.000000e+00 | 2.550000e+02 | Inf
66.89/66.91 o 253
66.89/66.91 c *66.9s| 49527 | 18110 | 26005 | 0.5 | 58M|1195 | - |3655 |5890 |3655 | 992 |4644 |1754 |1632 | 0.000000e+00 | 2.530000e+02 | Inf
67.29/67.37 o 240
67.29/67.37 c *67.3s| 49738 | 16482 | 27018 | 0.5 | 55M|1195 | - |3655 |5989 |3655 |1019 |4807 |1867 |1641 | 0.000000e+00 | 2.400000e+02 | Inf
67.79/67.89 o 238
67.79/67.89 c *67.9s| 49942 | 16298 | 28190 | 0.6 | 55M|1195 | - |3655 |6123 |3655 | 984 |4979 |2042 |1645 | 0.000000e+00 | 2.380000e+02 | Inf
67.89/67.90 o 233
67.89/67.90 c *67.9s| 49943 | 15673 | 28190 | 0.6 | 54M|1195 | - |3655 |6122 |3655 | 984 |4979 |2042 |1645 | 0.000000e+00 | 2.330000e+02 | Inf
68.00/68.04 c 68.0s| 50000 | 15715 | 28511 | 0.6 | 54M|1195 | 0 |3655 |6142 |3655 | 970 |5031 |2071 |1645 | 0.000000e+00 | 2.330000e+02 | Inf
69.39/69.41 o 226
69.39/69.41 c *69.4s| 50618 | 15394 | 30125 | 0.6 | 55M|1195 | - |3655 |6416 |3655 | 977 |5347 |2394 |1650 | 0.000000e+00 | 2.260000e+02 | Inf
70.50/70.57 o 224
70.50/70.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.50/70.57 c *70.5s| 51119 | 15423 | 31659 | 0.6 | 57M|1195 | - |3655 |6747 |3655 | 989 |5601 |2811 |1657 | 0.000000e+00 | 2.240000e+02 | Inf
71.19/71.26 o 204
71.19/71.26 c *71.2s| 51434 | 13364 | 32312 | 0.6 | 53M|1195 | - |3655 |6881 |3655 | 978 |5703 |2980 |1658 | 0.000000e+00 | 2.040000e+02 | Inf
77.29/77.39 o 201
77.29/77.39 c *77.4s| 53911 | 14397 | 42890 | 0.8 | 59M|1195 | - |3655 |7594 |3655 |1005 |7562 |4470 |1670 | 0.000000e+00 | 2.010000e+02 | Inf
79.39/79.40 o 200
79.39/79.40 c *79.4s| 54768 | 14794 | 45563 | 0.8 | 61M|1195 | - |3655 |7688 |3655 | 970 |7982 |4955 |1672 | 0.000000e+00 | 2.000000e+02 | Inf
80.09/80.11 o 188
80.09/80.11 c *80.1s| 55087 | 13832 | 46399 | 0.8 | 60M|1195 | - |3655 |7709 |3655 |1000 |8113 |5081 |1682 | 0.000000e+00 | 1.880000e+02 | Inf
83.69/83.74 o 176
83.69/83.74 c *83.7s| 56525 | 13086 | 53724 | 0.9 | 59M|1195 | - |3655 |7569 |3655 | 996 |9069 |5913 |1685 | 0.000000e+00 | 1.760000e+02 | Inf
83.79/83.84 o 175
83.79/83.84 c *83.8s| 56560 | 13008 | 54008 | 1.0 | 59M|1195 | - |3655 |7551 |3655 | 980 |9099 |5921 |1685 | 0.000000e+00 | 1.750000e+02 | Inf
84.29/84.36 o 152
84.29/84.36 c *84.3s| 56825 | 10574 | 54661 | 1.0 | 52M|1195 | - |3655 |7540 |3655 | 973 |9151 |6009 |1688 | 0.000000e+00 | 1.520000e+02 | Inf
85.39/85.45 o 140
85.39/85.45 c *85.4s| 57160 | 9809 | 56878 | 1.0 | 52M|1195 | - |3655 |7520 |3655 | 979 |9469 |6309 |1694 | 0.000000e+00 | 1.400000e+02 | Inf
85.39/85.45 o 132
85.39/85.45 c *85.4s| 57161 | 9135 | 56878 | 1.0 | 50M|1195 | - |3655 |7520 |3655 | 979 |9469 |6309 |1694 | 0.000000e+00 | 1.320000e+02 | Inf
85.49/85.50 o 121
85.49/85.50 c *85.5s| 57176 | 8270 | 56929 | 1.0 | 47M|1195 | - |3655 |7517 |3655 | 978 |9487 |6316 |1694 | 0.000000e+00 | 1.210000e+02 | Inf
85.49/85.51 o 113
85.49/85.51 c *85.5s| 57177 | 7685 | 56929 | 1.0 | 45M|1195 | - |3655 |7517 |3655 | 978 |9487 |6316 |1694 | 0.000000e+00 | 1.130000e+02 | Inf
86.69/86.71 o 112
86.69/86.71 c *86.7s| 57598 | 7774 | 58842 | 1.0 | 46M|1195 | - |3655 |7447 |3655 | 979 |9727 |6634 |1694 | 0.000000e+00 | 1.120000e+02 | Inf
86.69/86.72 o 104
86.69/86.72 c *86.7s| 57599 | 7187 | 58847 | 1.0 | 44M|1195 | - |3655 |7447 |3655 | 979 |9727 |6634 |1694 | 0.000000e+00 | 1.040000e+02 | Inf
86.79/86.88 o 94
86.79/86.88 c *86.9s| 57663 | 6199 | 59060 | 1.0 | 42M|1195 | - |3655 |7415 |3655 | 988 |9753 |6654 |1694 | 0.000000e+00 | 9.400000e+01 | Inf
87.29/87.39 o 82
87.29/87.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.29/87.39 c *87.4s| 57790 | 4165 | 61142 | 1.1 | 35M|1195 | - |3655 |7144 |3655 | 968 | 10k|6727 |1694 | 0.000000e+00 | 8.200000e+01 | Inf
89.69/89.79 o 74
89.69/89.79 c *89.8s| 58733 | 3858 | 67784 | 1.1 | 36M|1195 | - |3655 |6762 |3655 | 982 | 10k|7641 |1696 | 0.000000e+00 | 7.400000e+01 | Inf
91.09/91.15 o 57
91.09/91.15 c *91.1s| 59234 | 3062 | 71480 | 1.2 | 34M|1195 | - |3655 |6305 |3655 |1012 | 10k|8158 |1696 | 0.000000e+00 | 5.700000e+01 | Inf
92.79/92.86 c 92.8s| 60000 | 3117 | 77864 | 1.3 | 34M|1195 | 14 |3655 |6065 |3655 | 988 | 11k|9032 |1697 | 0.000000e+00 | 5.700000e+01 | Inf
98.79/98.82 o 54
98.79/98.82 c *98.8s| 62818 | 3106 | 93109 | 1.5 | 37M|1195 | - |3655 |6145 |3655 | 981 | 12k| 12k|1717 | 0.000000e+00 | 5.400000e+01 | Inf
105.20/105.23 o 53
105.20/105.23 c * 105s| 66005 | 3143 |109687 | 1.7 | 38M|1195 | - |3655 |5710 |3655 | 989 | 13k| 16k|1718 | 0.000000e+00 | 5.300000e+01 | Inf
106.50/106.53 o 45
106.50/106.53 c * 107s| 66602 | 2920 |113638 | 1.7 | 37M|1195 | - |3655 |5662 |3655 | 992 | 13k| 16k|1724 | 0.000000e+00 | 4.500000e+01 | Inf
113.09/113.14 c 113s| 70000 | 2942 |132305 | 1.9 | 38M|1195 | - |3655 |5953 | 0 | 0 | 14k| 20k|1727 | 0.000000e+00 | 4.500000e+01 | Inf
123.10/123.16 o 39
123.10/123.16 c * 123s| 75437 | 2933 |157355 | 2.1 | 40M|1195 | - |3655 |8338 |3655 |1000 | 16k| 26k|1727 | 0.000000e+00 | 3.900000e+01 | Inf
124.20/124.27 o 36
124.20/124.27 c * 124s| 75990 | 2863 |159797 | 2.1 | 40M|1195 | - |3655 |8249 |3655 |1015 | 16k| 27k|1727 | 0.000000e+00 | 3.600000e+01 | Inf
124.20/124.27 o 34
124.20/124.27 c * 124s| 75991 | 2802 |159797 | 2.1 | 40M|1195 | - |3655 |8249 |3655 |1015 | 16k| 27k|1727 | 0.000000e+00 | 3.400000e+01 | Inf
131.80/131.86 c 132s| 80000 | 2802 |185598 | 2.3 | 41M|1195 | 11 |3655 |6259 |3655 | 970 | 17k| 32k|1727 | 0.000000e+00 | 3.400000e+01 | Inf
145.10/145.12 o 27
145.10/145.12 c * 145s| 86947 | 2698 |236925 | 2.7 | 42M|1195 | - |3655 |7589 |3655 | 992 | 20k| 41k|1871 | 0.000000e+00 | 2.700000e+01 | Inf
150.79/150.87 c 151s| 90000 | 2733 |259167 | 2.9 | 43M|1195 | 1 |3655 |6807 |3655 | 988 | 21k| 45k|1933 | 0.000000e+00 | 2.700000e+01 | Inf
169.80/169.81 c 170s|100000 | 2800 |334248 | 3.3 | 46M|1195 | 1 |3655 |9135 |3655 | 963 | 24k| 58k|2164 | 0.000000e+00 | 2.700000e+01 | Inf
170.70/170.72 o 22
170.70/170.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.70/170.72 c * 171s|100509 | 2619 |337561 | 3.4 | 44M|1195 | - |3655 |9453 |3655 | 996 | 24k| 58k|2166 | 0.000000e+00 | 2.200000e+01 | Inf
170.90/170.91 o 8
170.90/170.91 c * 171s|100624 | 2015 |338203 | 3.4 | 39M|1195 | - |3655 |9306 |3655 | 978 | 24k| 58k|2166 | 0.000000e+00 | 8.000000e+00 | Inf
185.70/185.78 c 186s|110000 | 1939 |397153 | 3.6 | 39M|1195 | 12 |3655 |8670 |3655 | 991 | 27k| 71k|2369 | 0.000000e+00 | 8.000000e+00 | Inf
202.20/202.21 c 202s|120000 | 2032 |464037 | 3.9 | 41M|1195 | - |3655 | 11k| 0 | 0 | 30k| 84k|2577 | 0.000000e+00 | 8.000000e+00 | Inf
219.30/219.35 c 219s|130000 | 2151 |536769 | 4.1 | 44M|1195 | 1 |3655 | 12k|3655 | 986 | 33k| 97k|2745 | 0.000000e+00 | 8.000000e+00 | Inf
236.10/236.10 c 236s|140000 | 2280 |604259 | 4.3 | 46M|1195 | - |3655 | 15k| 0 | 0 | 36k| 110k|2900 | 0.000000e+00 | 8.000000e+00 | Inf
253.69/253.77 c 254s|150000 | 2297 |669839 | 4.5 | 48M|1195 | 7 |3655 | 17k|3655 | 974 | 38k| 125k|3072 | 0.000000e+00 | 8.000000e+00 | Inf
272.30/272.36 c 272s|160000 | 2315 |737099 | 4.6 | 47M|1195 | - |3655 | 12k| 0 | 0 | 41k| 138k|3238 | 0.000000e+00 | 8.000000e+00 | Inf
289.21/289.24 c 289s|170000 | 2527 |799654 | 4.7 | 50M|1195 | - |3655 | 16k| 0 | 0 | 44k| 152k|3349 | 0.000000e+00 | 8.000000e+00 | Inf
290.70/290.72 o 7
290.70/290.72 c * 291s|170789 | 2486 |805354 | 4.7 | 50M|1195 | - |3655 | 15k|3655 | 995 | 44k| 153k|3350 | 0.000000e+00 | 7.000000e+00 | Inf
298.59/298.65 o 6
298.59/298.65 c * 299s|175319 | 2431 |835376 | 4.8 | 50M|1195 | - |3655 | 15k|3655 | 997 | 45k| 159k|3406 | 0.000000e+00 | 6.000000e+00 | Inf
300.00/300.07 o 2
300.00/300.07 c * 300s|176117 | 2300 |841118 | 4.8 | 48M|1195 | - |3655 | 14k|3655 | 980 | 45k| 160k|3407 | 0.000000e+00 | 2.000000e+00 | Inf
306.49/306.50 c 306s|180000 | 2238 |866283 | 4.8 | 47M|1195 | 5 |3655 | 12k|3655 | 991 | 47k| 165k|3476 | 0.000000e+00 | 2.000000e+00 | Inf
323.30/323.37 c 323s|190000 | 2209 |938538 | 4.9 | 48M|1195 | - |3655 | 13k| 0 | 0 | 51k| 179k|3608 | 0.000000e+00 | 2.000000e+00 | Inf
342.70/342.70 c 343s|200000 | 2210 | 1019k| 5.1 | 49M|1195 | 11 |3655 | 16k|3655 | 973 | 56k| 192k|3787 | 0.000000e+00 | 2.000000e+00 | Inf
361.30/361.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.30/361.35 c 361s|210000 | 2258 | 1097k| 5.2 | 50M|1195 | - |3655 | 15k| 0 | 0 | 60k| 205k|3951 | 0.000000e+00 | 2.000000e+00 | Inf
379.41/379.44 c 379s|220000 | 2430 | 1172k| 5.3 | 52M|1195 | - |3655 | 17k| 0 | 0 | 63k| 219k|4064 | 0.000000e+00 | 2.000000e+00 | Inf
398.21/398.24 c 398s|230000 | 2534 | 1243k| 5.4 | 54M|1195 | 17 |3655 | 19k|3655 | 967 | 67k| 233k|4222 | 0.000000e+00 | 2.000000e+00 | Inf
416.90/416.93 c 417s|240000 | 2626 | 1313k| 5.5 | 56M|1195 | - |3655 | 21k| 0 | 0 | 70k| 247k|4318 | 0.000000e+00 | 2.000000e+00 | Inf
436.10/436.19 c 436s|250000 | 2742 | 1385k| 5.5 | 58M|1195 | - |3655 | 22k| 0 | 0 | 72k| 262k|4465 | 0.000000e+00 | 2.000000e+00 | Inf
455.20/455.30 c 455s|260000 | 2719 | 1454k| 5.6 | 58M|1195 | 1 |3655 | 21k|3655 | 982 | 76k| 276k|4554 | 0.000000e+00 | 2.000000e+00 | Inf
475.90/475.99 c 476s|270000 | 2752 | 1531k| 5.7 | 58M|1195 | 16 |3655 | 20k|3655 | 967 | 80k| 289k|4675 | 0.000000e+00 | 2.000000e+00 | Inf
495.41/495.44 c 495s|280000 | 2795 | 1603k| 5.7 | 60M|1195 | 6 |3655 | 21k|3655 | 975 | 82k| 304k|4789 | 0.000000e+00 | 2.000000e+00 | Inf
514.10/514.13 c 514s|290000 | 2726 | 1670k| 5.8 | 60M|1195 | - |3655 | 21k| 0 | 0 | 85k| 318k|4884 | 0.000000e+00 | 2.000000e+00 | Inf
533.30/533.34 c 533s|300000 | 2656 | 1744k| 5.8 | 60M|1195 | - |3655 | 22k| 0 | 0 | 88k| 333k|4962 | 0.000000e+00 | 2.000000e+00 | Inf
553.41/553.46 c 553s|310000 | 2663 | 1821k| 5.9 | 61M|1195 | - |3655 | 23k| 0 | 0 | 90k| 346k|5080 | 0.000000e+00 | 2.000000e+00 | Inf
574.41/574.47 c 574s|320000 | 2561 | 1900k| 5.9 | 60M|1195 | - |3655 | 22k| 0 | 0 | 93k| 361k|5167 | 0.000000e+00 | 2.000000e+00 | Inf
594.61/594.61 c 595s|330000 | 2538 | 1965k| 6.0 | 58M|1195 | 12 |3655 | 18k|3655 | 967 | 95k| 375k|5268 | 0.000000e+00 | 2.000000e+00 | Inf
613.40/613.47 c 613s|340000 | 2627 | 2037k| 6.0 | 60M|1195 | 20 |3655 | 22k|3655 | 990 | 99k| 389k|5333 | 0.000000e+00 | 2.000000e+00 | Inf
633.70/633.76 c 634s|350000 | 2628 | 2108k| 6.0 | 61M|1195 | 1 |3655 | 23k|3655 | 984 | 101k| 403k|5439 | 0.000000e+00 | 2.000000e+00 | Inf
653.51/653.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.51/653.55 c 654s|360000 | 2604 | 2176k| 6.0 | 60M|1195 | 20 |3655 | 20k|3655 | 983 | 104k| 416k|5541 | 0.000000e+00 | 2.000000e+00 | Inf
673.12/673.15 c 673s|370000 | 2659 | 2241k| 6.1 | 62M|1195 | 22 |3655 | 24k|3655 | 990 | 107k| 430k|5629 | 0.000000e+00 | 2.000000e+00 | Inf
693.81/693.81 c 694s|380000 | 2623 | 2304k| 6.1 | 62M|1195 | 11 |3655 | 24k|3655 | 980 | 109k| 443k|5714 | 0.000000e+00 | 2.000000e+00 | Inf
713.81/713.83 c 714s|390000 | 2585 | 2367k| 6.1 | 61M|1195 | - |3655 | 20k| 0 | 0 | 112k| 456k|5789 | 0.000000e+00 | 2.000000e+00 | Inf
733.80/733.89 c 734s|400000 | 2648 | 2436k| 6.1 | 63M|1195 | 26 |3655 | 24k|3655 | 986 | 116k| 469k|5871 | 0.000000e+00 | 2.000000e+00 | Inf
756.21/756.23 c 756s|410000 | 2586 | 2510k| 6.1 | 60M|1195 | - |3655 | 18k| 0 | 0 | 119k| 483k|6276 | 0.000000e+00 | 2.000000e+00 | Inf
775.11/775.16 c 775s|420000 | 2502 | 2579k| 6.1 | 58M|1195 | 1 |3655 | 12k|3655 | 977 | 123k| 496k|6724 | 0.000000e+00 | 2.000000e+00 | Inf
792.41/792.48 c 792s|430000 | 2547 | 2641k| 6.1 | 59M|1195 | 1 |3655 | 15k|3655 | 981 | 126k| 509k|6819 | 0.000000e+00 | 2.000000e+00 | Inf
811.41/811.42 c 811s|440000 | 2631 | 2707k| 6.2 | 62M|1195 | - |3655 | 18k| 0 | 0 | 129k| 523k|6821 | 0.000000e+00 | 2.000000e+00 | Inf
831.01/831.04 c 831s|450000 | 2537 | 2766k| 6.1 | 61M|1195 | 16 |3655 | 17k|3655 | 980 | 132k| 536k|6857 | 0.000000e+00 | 2.000000e+00 | Inf
850.81/850.88 c 851s|460000 | 2546 | 2828k| 6.1 | 62M|1195 | - |3655 | 20k| 0 | 0 | 136k| 550k|6880 | 0.000000e+00 | 2.000000e+00 | Inf
872.92/872.96 c 873s|470000 | 2577 | 2896k| 6.2 | 64M|1195 | 7 |3655 | 24k|3655 | 978 | 140k| 564k|6916 | 0.000000e+00 | 2.000000e+00 | Inf
894.31/894.35 c 894s|480000 | 2615 | 2953k| 6.2 | 65M|1195 | 7 |3655 | 25k|3655 | 968 | 143k| 578k|6981 | 0.000000e+00 | 2.000000e+00 | Inf
918.42/918.47 c 918s|490000 | 2577 | 3017k| 6.2 | 66M|1195 | 18 |3655 | 27k|3655 | 968 | 146k| 593k|7035 | 0.000000e+00 | 2.000000e+00 | Inf
942.91/942.99 c 943s|500000 | 2597 | 3083k| 6.2 | 68M|1195 | - |3655 | 32k| 0 | 0 | 150k| 606k|7087 | 0.000000e+00 | 2.000000e+00 | Inf
969.72/969.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.72/969.77 c 970s|510000 | 2665 | 3149k| 6.2 | 70M|1195 | - |3655 | 35k| 0 | 0 | 153k| 620k|7152 | 0.000000e+00 | 2.000000e+00 | Inf
996.52/996.58 c 997s|520000 | 2679 | 3203k| 6.2 | 71M|1195 | 1 |3655 | 38k|3655 | 988 | 156k| 634k|7180 | 0.000000e+00 | 2.000000e+00 | Inf
1023.41/1023.46 c 1023s|530000 | 2895 | 3259k| 6.1 | 73M|1195 | 18 |3655 | 37k|3655 | 977 | 158k| 648k|7239 | 0.000000e+00 | 2.000000e+00 | Inf
1050.82/1050.80 c 1051s|540000 | 2989 | 3312k| 6.1 | 75M|1195 | 7 |3655 | 41k|3655 | 968 | 161k| 663k|7298 | 0.000000e+00 | 2.000000e+00 | Inf
1080.01/1080.02 c 1080s|550000 | 3020 | 3372k| 6.1 | 75M|1195 | 1 |3655 | 40k|3655 | 968 | 164k| 677k|7362 | 0.000000e+00 | 2.000000e+00 | Inf
1109.42/1109.45 c 1109s|560000 | 3077 | 3436k| 6.1 | 76M|1195 | - |3655 | 41k| 0 | 0 | 167k| 692k|7418 | 0.000000e+00 | 2.000000e+00 | Inf
1139.42/1139.40 c 1139s|570000 | 3168 | 3496k| 6.1 | 78M|1195 | - |3655 | 41k| 0 | 0 | 171k| 708k|7465 | 0.000000e+00 | 2.000000e+00 | Inf
1167.42/1167.48 c 1167s|580000 | 3071 | 3555k| 6.1 | 77M|1195 | - |3655 | 41k| 0 | 0 | 174k| 723k|7502 | 0.000000e+00 | 2.000000e+00 | Inf
1196.32/1196.32 c 1196s|590000 | 3060 | 3614k| 6.1 | 77M|1195 | 14 |3655 | 41k|3655 | 986 | 177k| 738k|7541 | 0.000000e+00 | 2.000000e+00 | Inf
1225.02/1225.07 c 1225s|600000 | 3054 | 3673k| 6.1 | 79M|1195 | - |3655 | 43k| 0 | 0 | 180k| 753k|7592 | 0.000000e+00 | 2.000000e+00 | Inf
1254.92/1254.98 c 1255s|610000 | 3028 | 3736k| 6.1 | 78M|1195 | 14 |3655 | 42k|3655 | 968 | 183k| 767k|7657 | 0.000000e+00 | 2.000000e+00 | Inf
1284.12/1284.14 c 1284s|620000 | 3027 | 3795k| 6.1 | 79M|1195 | - |3655 | 44k| 0 | 0 | 186k| 781k|7703 | 0.000000e+00 | 2.000000e+00 | Inf
1314.73/1314.71 c 1315s|630000 | 2989 | 3860k| 6.1 | 78M|1195 | 5 |3655 | 42k|3655 | 978 | 191k| 796k|7759 | 0.000000e+00 | 2.000000e+00 | Inf
1344.33/1344.34 c 1344s|640000 | 2973 | 3920k| 6.1 | 78M|1195 | - |3655 | 42k| 0 | 0 | 193k| 811k|7793 | 0.000000e+00 | 2.000000e+00 | Inf
1375.72/1375.76 c 1376s|650000 | 2959 | 3981k| 6.1 | 79M|1195 | - |3655 | 43k| 0 | 0 | 197k| 825k|7838 | 0.000000e+00 | 2.000000e+00 | Inf
1405.73/1405.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.73/1405.74 c 1406s|660000 | 2986 | 4035k| 6.1 | 80M|1195 | 10 |3655 | 44k|3655 | 968 | 199k| 839k|7890 | 0.000000e+00 | 2.000000e+00 | Inf
1437.53/1437.59 c 1438s|670000 | 2981 | 4093k| 6.1 | 81M|1195 | - |3655 | 47k| 0 | 0 | 202k| 853k|7937 | 0.000000e+00 | 2.000000e+00 | Inf
1468.03/1468.08 c 1468s|680000 | 2949 | 4148k| 6.1 | 82M|1195 | - |3655 | 49k| 0 | 0 | 205k| 868k|7970 | 0.000000e+00 | 2.000000e+00 | Inf
1501.13/1501.12 c 1501s|690000 | 2939 | 4212k| 6.1 | 81M|1195 | - |3655 | 48k|3655 | 968 | 210k| 882k|8008 | 0.000000e+00 | 2.000000e+00 | Inf
1533.23/1533.25 c 1533s|700000 | 2937 | 4272k| 6.1 | 80M|1195 | 1 |3655 | 44k|3655 | 978 | 213k| 897k|8043 | 0.000000e+00 | 2.000000e+00 | Inf
1561.63/1561.67 c 1562s|710000 | 2917 | 4330k| 6.1 | 79M|1195 | - |3655 | 42k| 0 | 0 | 216k| 912k|8101 | 0.000000e+00 | 2.000000e+00 | Inf
1591.53/1591.53 c 1591s|720000 | 2838 | 4386k| 6.1 | 77M|1195 | - |3655 | 38k| 0 | 0 | 218k| 926k|8153 | 0.000000e+00 | 2.000000e+00 | Inf
1619.13/1619.12 c 1619s|730000 | 2833 | 4449k| 6.1 | 75M|1195 | 10 |3655 | 33k|3655 | 974 | 222k| 941k|8198 | 0.000000e+00 | 2.000000e+00 | Inf
1645.03/1645.08 c 1645s|740000 | 2821 | 4513k| 6.1 | 76M|1195 | - |3655 | 35k| 0 | 0 | 226k| 955k|8228 | 0.000000e+00 | 2.000000e+00 | Inf
1672.13/1672.14 c 1672s|750000 | 2803 | 4580k| 6.1 | 76M|1195 | 20 |3655 | 36k|3655 | 977 | 232k| 970k|8270 | 0.000000e+00 | 2.000000e+00 | Inf
1698.63/1698.64 c 1699s|760000 | 2575 | 4649k| 6.1 | 67M|1195 | 6 |3655 | 19k|3655 | 958 | 237k| 984k|8445 | 0.000000e+00 | 2.000000e+00 | Inf
1718.33/1718.39 c 1718s|770000 | 2512 | 4709k| 6.1 | 66M|1195 | - |3655 | 19k| 0 | 0 | 240k| 996k|8470 | 0.000000e+00 | 2.000000e+00 | Inf
1741.24/1741.25 c 1741s|780000 | 2573 | 4790k| 6.1 | 68M|1195 | 1 |3655 | 25k|3655 | 977 | 246k|1010k|8499 | 0.000000e+00 | 2.000000e+00 | Inf
1765.93/1765.97 c 1766s|790000 | 2506 | 4876k| 6.2 | 68M|1195 | - |3655 | 26k|3655 | 963 | 252k|1023k|8542 | 0.000000e+00 | 2.000000e+00 | Inf
1787.63/1787.68 c 1788s|800000 | 2439 | 4957k| 6.2 | 65M|1195 | - |3655 | 21k| 0 | 0 | 256k|1037k|8624 | 0.000000e+00 | 2.000000e+00 | Inf
1790.03/1790.00 c
1790.03/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.00 c Solving Time (sec) : 1789.97
1790.03/1790.00 c Solving Nodes : 801225
1790.03/1790.00 c Primal Bound : +2.00000000000000e+00 (162 solutions)
1790.03/1790.00 c Dual Bound : +0.00000000000000e+00
1790.03/1790.00 c Gap : infinite
1790.03/1790.03 s SATISFIABLE
1790.03/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.03/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.03/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.03/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.03/1790.03 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.03 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.03 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.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.03/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.03/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.03/1790.03 v -x1
1790.03/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.03 c Solving Time : 1789.97
1790.03/1790.03 c Original Problem :
1790.03/1790.03 c Problem name : HOME/instance-2705509-1278572954.wbo
1790.03/1790.03 c Variables : 3785 (2008 binary, 0 integer, 1777 implicit integer, 0 continuous)
1790.03/1790.03 c Constraints : 4485 initial, 4485 maximal
1790.03/1790.03 c Presolved Problem :
1790.03/1790.03 c Problem name : t_HOME/instance-2705509-1278572954.wbo
1790.03/1790.03 c Variables : 3655 (1943 binary, 0 integer, 1712 implicit integer, 0 continuous)
1790.03/1790.03 c Constraints : 4308 initial, 51103 maximal
1790.03/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.03 c trivial : 0.00 65 0 0 0 0 0 0 0
1790.03/1790.03 c dualfix : 0.00 65 0 0 0 0 0 0 0
1790.03/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c probing : 0.04 0 0 0 0 0 0 0 0
1790.03/1790.03 c setppc : 0.00 0 0 0 0 0 21 0 0
1790.03/1790.03 c linear : 0.06 0 0 0 1789 0 91 76 0
1790.03/1790.03 c indicator : 0.00 0 0 0 0 0 65 0 0
1790.03/1790.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.03/1790.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c root node : - 3380 - - 3380 - - - -
1790.03/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.03 c integral : 0 0 0 496197 0 111 1078 0 0 812914
1790.03/1790.03 c setppc : 43 6 3767386 82358 1 17648 1011014 0 0 0
1790.03/1790.03 c linear : 1712 6 3760309 88077 1 184815 16954065 256897 0 0
1790.03/1790.03 c indicator : 1712 0 3557435 88572 1 453 1879747 0 0 0
1790.03/1790.03 c logicor : 841+ 6 1502380 52772 1 156751 3765831 0 0 0
1790.03/1790.03 c bounddisjunction : 0+ 0 249105 0 0 413 4147 0 0 0
1790.03/1790.03 c countsols : 0 0 0 52772 1 0 0 0 0 0
1790.03/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.03 c integral : 20.75 0.00 0.00 20.75 0.00
1790.03/1790.03 c setppc : 10.38 0.00 10.33 0.05 0.00
1790.03/1790.03 c linear : 147.25 0.00 143.60 3.65 0.00
1790.03/1790.03 c indicator : 21.61 0.02 15.02 6.57 0.00
1790.03/1790.03 c logicor : 365.17 0.00 364.58 0.59 0.00
1790.03/1790.03 c bounddisjunction : 1.17 0.00 1.17 0.00 0.00
1790.03/1790.03 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.03/1790.03 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.03 c vbounds : 0.64 19571 0 2897
1790.03/1790.03 c rootredcost : 0.57 47 0 1690
1790.03/1790.03 c pseudoobj : 97.52 3784541 5591 1753503
1790.03/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.03 c propagation : 19.14 365218 364730 2223460 29.5 11327 25.8 -
1790.03/1790.03 c infeasible LP : 10.56 37150 37150 300642 44.1 418 15.6 0
1790.03/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.03/1790.03 c applied globally : - - - 1039325 24.6 - - -
1790.03/1790.03 c applied locally : - - - 0 0.0 - - -
1790.03/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.03 c cut pool : 0.00 5 - - 37 - (maximal pool size: 443)
1790.03/1790.03 c redcost : 31.52 497710 0 152272 0 0
1790.03/1790.03 c impliedbounds : 0.00 6 0 0 0 0
1790.03/1790.03 c intobj : 0.00 0 0 0 0 0
1790.03/1790.03 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.03 c gomory : 0.14 6 0 0 1450 0
1790.03/1790.03 c strongcg : 0.13 6 0 0 1700 0
1790.03/1790.03 c cmir : 0.02 6 0 0 0 0
1790.03/1790.03 c flowcover : 0.06 6 0 0 0 0
1790.03/1790.03 c clique : 0.00 6 0 0 0 0
1790.03/1790.03 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.03 c mcf : 0.00 1 0 0 0 0
1790.03/1790.03 c rapidlearning : 0.07 1 0 0 0 0
1790.03/1790.03 c Pricers : Time Calls Vars
1790.03/1790.03 c problem variables: 0.00 0 0
1790.03/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.03 c relpscost : 20.33 407429 111 1078 0 0 812914
1790.03/1790.03 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.03 c inference : 12.83 52727 0 0 0 0 105786
1790.03/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.03 c random : 0.00 0 0 0 0 0 0
1790.03/1790.03 c Primal Heuristics : Time Calls Found
1790.03/1790.03 c LP solutions : 0.09 - 46
1790.03/1790.03 c pseudo solutions : 0.00 - 0
1790.03/1790.03 c intshifting : 0.01 0 0
1790.03/1790.03 c feaspump : 0.02 1 0
1790.03/1790.03 c oneopt : 0.38 40 0
1790.03/1790.03 c crossover : 1.71 46 0
1790.03/1790.03 c guideddiving : 0.24 175 0
1790.03/1790.03 c coefdiving : 0.24 175 0
1790.03/1790.03 c pscostdiving : 0.23 175 0
1790.03/1790.03 c fracdiving : 0.23 175 0
1790.03/1790.03 c veclendiving : 0.24 176 0
1790.03/1790.03 c linesearchdiving : 0.25 176 0
1790.03/1790.03 c rootsoldiving : 0.34 152 0
1790.03/1790.03 c objpscostdiving : 0.26 153 0
1790.03/1790.03 c trivial : 0.01 2 0
1790.03/1790.03 c simplerounding : 0.67 407554 0
1790.03/1790.03 c zirounding : 0.32 1000 0
1790.03/1790.03 c rounding : 1.00 9019 0
1790.03/1790.03 c shifting : 0.76 2819 0
1790.03/1790.03 c twoopt : 0.00 0 0
1790.03/1790.03 c fixandinfer : 0.00 0 0
1790.03/1790.03 c intdiving : 0.00 0 0
1790.03/1790.03 c actconsdiving : 0.00 0 0
1790.03/1790.03 c octane : 0.00 0 0
1790.03/1790.03 c rens : 0.03 1 0
1790.03/1790.03 c rins : 0.00 0 0
1790.03/1790.03 c localbranching : 0.00 0 0
1790.03/1790.03 c mutation : 0.00 0 0
1790.03/1790.03 c dins : 0.00 0 0
1790.03/1790.03 c undercover : 0.00 0 0
1790.03/1790.03 c nlp : 0.16 0 0
1790.03/1790.03 c trysol : 0.32 305 116
1790.03/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.03 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.03 c dual LP : 537.47 480992 4963283 10.32 9234.54
1790.03/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.03 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.03 c diving/probing LP: 0.40 222 2890 13.02 7138.62
1790.03/1790.03 c strong branching : 16.43 8624 183519 21.28 11167.84
1790.03/1790.03 c (at root node) : - 16 1699 106.19 -
1790.03/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.03 c B&B Tree :
1790.03/1790.03 c number of runs : 1
1790.03/1790.03 c nodes : 801225
1790.03/1790.03 c nodes (total) : 801225
1790.03/1790.03 c nodes left : 2432
1790.03/1790.03 c max depth : 1195
1790.03/1790.03 c max depth (total): 1195
1790.03/1790.03 c backtracks : 81960 (10.2%)
1790.03/1790.03 c delayed cutoffs : 63066
1790.03/1790.03 c repropagations : 1701570 (4552512 domain reductions, 60451 cutoffs)
1790.03/1790.03 c avg switch length: 5.62
1790.03/1790.03 c switching time : 288.79
1790.03/1790.03 c Solution :
1790.03/1790.03 c Solutions found : 162 (47 improvements)
1790.03/1790.03 c First Solution : +8.67840000000000e+04 (in run 1, after 15 nodes, 1.57 seconds, depth 15, found by <trysol>)
1790.03/1790.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 176117 nodes, 300.04 seconds, depth 41, found by <relaxation>)
1790.03/1790.03 c Dual Bound : +0.00000000000000e+00
1790.03/1790.03 c Gap : infinite
1790.03/1790.03 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.03 c Root Iterations : 243
1790.13/1790.12 c Time complete: 1790.16.