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-2705579-1278572956.wbo>
0.00/0.03 c original problem has 3839 variables (2035 bin, 0 int, 1804 impl, 0 cont) and 4512 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 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, 134 impls, 6 clqs
0.05/0.08 c (round 2) 0 del vars, 64 del conss, 1804 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 134 impls, 6 clqs
0.05/0.09 c (round 3) 41 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 134 impls, 6 clqs
0.05/0.10 c (round 4) 92 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 134 impls, 6 clqs
0.09/0.10 c (round 5) 92 del vars, 134 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 134 impls, 6 clqs
0.09/0.15 c (0.1s) probing: 101/1989 (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 92 deleted vars, 134 deleted constraints, 1809 tightened bounds, 0 added holes, 53 changed sides, 0 changed coefficients
0.09/0.15 c 3633 implications, 6 cliques
0.09/0.15 c presolved problem has 3747 variables (1989 bin, 0 int, 1758 impl, 0 cont) and 4378 constraints
0.09/0.15 c 54 constraints of type <setppc>
0.09/0.15 c 1758 constraints of type <linear>
0.09/0.15 c 1758 constraints of type <indicator>
0.09/0.15 c 808 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.15 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.15 c 0.1s| 1 | 0 | 11 | - | 14M| 0 | 0 |3747 |4378 |3747 | 862 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 66 | - | 14M| 0 | 34 |3747 |4379 |3747 | 880 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 95 | - | 14M| 0 | 34 |3747 |4379 |3747 | 903 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.3s| 1 | 0 | 131 | - | 14M| 0 | 44 |3747 |4379 |3747 | 918 | 56 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 146 | - | 14M| 0 | 46 |3747 |4379 |3747 | 930 | 68 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.51 c 0.5s| 1 | 0 | 158 | - | 15M| 0 | 48 |3747 |4379 |3747 | 936 | 74 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.58 c 0.6s| 1 | 0 | 167 | - | 15M| 0 | 47 |3747 |4379 |3747 | 939 | 77 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.75 c 0.7s| 1 | 2 | 167 | - | 15M| 0 | 47 |3747 |4379 |3747 | 939 | 77 | 0 | 16 | 0.000000e+00 | -- | Inf
2.19/2.28 o 88500
2.19/2.28 c y 2.3s| 43 | 42 | 1010 | 20.1 | 15M| 22 | - |3747 |4379 | 0 | 0 | 105 | 0 | 499 | 0.000000e+00 | 8.850000e+04 | Inf
9.44/9.80 o 671
9.44/9.80 c * 9.7s| 4416 | 3807 | 5824 | 1.3 | 24M| 967 | - |3747 |4416 |3747 | 985 |1113 | 37 |1015 | 0.000000e+00 | 6.710000e+02 | Inf
11.24/11.63 o 483
11.24/11.63 c *11.6s| 5793 | 4467 | 6299 | 1.1 | 26M| 967 | - |3747 |4436 |3747 | 969 |1199 | 57 |1036 | 0.000000e+00 | 4.830000e+02 | Inf
13.04/13.41 o 449
13.04/13.41 c *13.4s| 6621 | 4942 | 8048 | 1.2 | 29M| 967 | - |3747 |4755 |3747 | 988 |1582 | 376 |1120 | 0.000000e+00 | 4.490000e+02 | Inf
13.74/14.13 o 361
13.74/14.13 c *14.1s| 7079 | 4524 | 8420 | 1.2 | 28M| 967 | - |3747 |4785 |3747 | 972 |1669 | 406 |1138 | 0.000000e+00 | 3.610000e+02 | Inf
14.44/14.84 o 355
14.44/14.84 c *14.8s| 7352 | 4599 | 9346 | 1.2 | 29M| 967 | - |3747 |4978 |3747 | 978 |1845 | 611 |1182 | 0.000000e+00 | 3.550000e+02 | Inf
14.54/14.94 o 329
14.54/14.94 c *14.9s| 7404 | 4267 | 9400 | 1.2 | 28M| 967 | - |3747 |4979 |3747 | 975 |1845 | 616 |1188 | 0.000000e+00 | 3.290000e+02 | Inf
14.65/15.09 o 318
14.65/15.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.65/15.09 c *15.1s| 7498 | 4159 | 9423 | 1.2 | 28M| 967 | - |3747 |4979 |3747 | 975 |1847 | 618 |1188 | 0.000000e+00 | 3.180000e+02 | Inf
15.14/15.51 o 293
15.14/15.51 c *15.5s| 7665 | 3877 | 9916 | 1.3 | 28M| 967 | - |3747 |5076 |3747 | 964 |1918 | 742 |1215 | 0.000000e+00 | 2.930000e+02 | Inf
17.24/17.69 o 286
17.24/17.69 c *17.7s| 8587 | 4321 | 12302 | 1.4 | 31M| 967 | - |3747 |5438 |3747 | 979 |2417 |1236 |1287 | 0.000000e+00 | 2.860000e+02 | Inf
17.24/17.69 o 277
17.24/17.69 c *17.7s| 8588 | 4138 | 12302 | 1.4 | 30M| 967 | - |3747 |5438 |3747 | 979 |2417 |1236 |1287 | 0.000000e+00 | 2.770000e+02 | Inf
17.54/17.94 o 245
17.54/17.94 c *17.9s| 8706 | 3749 | 12500 | 1.4 | 30M| 967 | - |3747 |5471 |3747 | 969 |2474 |1275 |1287 | 0.000000e+00 | 2.450000e+02 | Inf
20.74/21.16 c 21.1s| 10000 | 4370 | 16294 | 1.6 | 33M| 967 | - |3747 |6124 | 0 | 0 |3311 |2112 |1378 | 0.000000e+00 | 2.450000e+02 | Inf
25.14/25.51 o 220
25.14/25.51 c *25.5s| 11865 | 5193 | 21995 | 1.8 | 37M| 967 | - |3747 |6870 |3747 | 980 |4657 |3072 |1442 | 0.000000e+00 | 2.200000e+02 | Inf
25.14/25.52 o 192
25.14/25.52 c *25.5s| 11866 | 4724 | 21995 | 1.8 | 35M| 967 | - |3747 |6870 |3747 | 980 |4657 |3072 |1442 | 0.000000e+00 | 1.920000e+02 | Inf
25.94/26.30 o 180
25.94/26.30 c *26.3s| 12241 | 4722 | 22754 | 1.8 | 36M| 967 | - |3747 |6966 |3747 | 978 |4822 |3242 |1445 | 0.000000e+00 | 1.800000e+02 | Inf
26.65/27.09 o 166
26.65/27.09 c *27.1s| 12576 | 4590 | 23534 | 1.9 | 35M| 967 | - |3747 |7035 |3747 | 978 |4952 |3393 |1469 | 0.000000e+00 | 1.660000e+02 | Inf
26.94/27.38 o 145
26.94/27.38 c *27.4s| 12709 | 4229 | 23814 | 1.9 | 33M| 967 | - |3747 |7072 |3747 | 984 |4989 |3447 |1470 | 0.000000e+00 | 1.450000e+02 | Inf
26.94/27.39 o 127
26.94/27.39 c *27.4s| 12710 | 3713 | 23814 | 1.9 | 32M| 967 | - |3747 |7072 |3747 | 984 |4989 |3447 |1470 | 0.000000e+00 | 1.270000e+02 | Inf
28.24/28.65 o 125
28.24/28.65 c *28.6s| 13171 | 3922 | 25641 | 1.9 | 33M| 967 | - |3747 |7225 |3747 | 968 |5317 |3726 |1484 | 0.000000e+00 | 1.250000e+02 | Inf
29.15/29.53 o 124
29.15/29.53 c *29.5s| 13480 | 4046 | 27378 | 2.0 | 34M| 967 | - |3747 |7347 |3747 | 977 |5582 |3983 |1501 | 0.000000e+00 | 1.240000e+02 | Inf
29.54/29.98 o 115
29.54/29.98 c *30.0s| 13652 | 3977 | 27951 | 2.0 | 34M| 967 | - |3747 |7394 |3747 | 994 |5697 |4097 |1506 | 0.000000e+00 | 1.150000e+02 | Inf
30.24/30.60 o 112
30.24/30.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.24/30.60 c *30.6s| 13823 | 3954 | 29161 | 2.1 | 35M| 967 | - |3747 |7463 |3747 |1013 |5955 |4243 |1548 | 0.000000e+00 | 1.120000e+02 | Inf
30.64/31.02 o 105
30.64/31.02 c *31.0s| 14030 | 3860 | 29603 | 2.1 | 35M| 967 | - |3747 |7562 |3747 |1016 |6025 |4367 |1550 | 0.000000e+00 | 1.050000e+02 | Inf
31.54/31.95 o 93
31.54/31.95 c *31.9s| 14348 | 3524 | 31550 | 2.2 | 35M| 967 | - |3747 |7718 |3747 | 985 |6299 |4672 |1564 | 0.000000e+00 | 9.300000e+01 | Inf
32.25/32.62 o 84
32.25/32.62 c *32.6s| 14529 | 3318 | 33170 | 2.3 | 35M| 967 | - |3747 |7662 |3747 | 993 |6604 |4882 |1572 | 0.000000e+00 | 8.400000e+01 | Inf
32.45/32.83 o 83
32.45/32.83 c *32.8s| 14585 | 3316 | 33965 | 2.3 | 35M| 967 | - |3747 |7427 |3747 | 978 |6698 |4930 |1580 | 0.000000e+00 | 8.300000e+01 | Inf
32.45/32.86 o 81
32.45/32.86 c *32.8s| 14593 | 3176 | 33998 | 2.3 | 34M| 967 | - |3747 |7348 |3747 | 985 |6706 |4938 |1581 | 0.000000e+00 | 8.100000e+01 | Inf
33.04/33.42 o 70
33.04/33.42 c *33.4s| 14751 | 2859 | 35481 | 2.4 | 34M| 967 | - |3747 |7247 |3747 | 960 |6873 |5099 |1613 | 0.000000e+00 | 7.000000e+01 | Inf
33.14/33.55 o 64
33.14/33.55 c *33.5s| 14781 | 2702 | 35960 | 2.4 | 33M| 967 | - |3747 |6935 |3747 | 973 |6936 |5145 |1616 | 0.000000e+00 | 6.400000e+01 | Inf
33.45/33.81 o 63
33.45/33.81 c *33.8s| 14838 | 2703 | 37182 | 2.5 | 33M| 967 | - |3747 |6761 |3747 | 972 |7046 |5191 |1627 | 0.000000e+00 | 6.300000e+01 | Inf
33.45/33.81 o 49
33.45/33.81 c *33.8s| 14839 | 2411 | 37182 | 2.5 | 32M| 967 | - |3747 |6761 |3747 | 972 |7046 |5191 |1627 | 0.000000e+00 | 4.900000e+01 | Inf
33.64/34.05 o 45
33.64/34.05 c *34.0s| 14965 | 2383 | 37889 | 2.5 | 31M| 967 | - |3747 |6270 |3747 | 960 |7125 |5228 |1633 | 0.000000e+00 | 4.500000e+01 | Inf
33.84/34.26 o 41
33.84/34.26 c *34.2s| 15014 | 2303 | 38896 | 2.6 | 31M| 967 | - |3747 |6159 |3747 | 965 |7226 |5277 |1658 | 0.000000e+00 | 4.100000e+01 | Inf
33.94/34.34 o 30
33.94/34.34 c *34.3s| 15035 | 2035 | 39140 | 2.6 | 30M| 967 | - |3747 |6050 |3747 | 995 |7257 |5300 |1662 | 0.000000e+00 | 3.000000e+01 | Inf
34.04/34.40 o 24
34.04/34.40 c *34.4s| 15060 | 1938 | 39235 | 2.6 | 30M| 967 | - |3747 |5806 |3747 | 963 |7273 |5329 |1663 | 0.000000e+00 | 2.400000e+01 | Inf
34.04/34.41 o 23
34.04/34.41 c *34.4s| 15061 | 1181 | 39249 | 2.6 | 27M| 967 | - |3747 |5806 |3747 | 963 |7273 |5329 |1663 | 0.000000e+00 | 2.300000e+01 | Inf
42.85/43.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.85/43.25 c 43.2s| 20000 | 1533 | 73551 | 3.7 | 30M| 967 | 9 |3747 |7149 |3747 | 959 |9816 | 11k|1717 | 0.000000e+00 | 2.300000e+01 | Inf
60.34/60.71 c 60.7s| 30000 | 2021 |137650 | 4.6 | 35M| 967 | 12 |3747 |9167 |3747 | 952 | 13k| 22k|1717 | 0.000000e+00 | 2.300000e+01 | Inf
67.34/67.77 o 20
67.34/67.77 c *67.7s| 33970 | 2231 |161535 | 4.8 | 38M| 967 | - |3747 | 10k|3747 | 969 | 15k| 27k|1749 | 0.000000e+00 | 2.000000e+01 | Inf
67.45/67.84 o 18
67.45/67.84 c *67.8s| 33989 | 2208 |161762 | 4.8 | 37M| 967 | - |3747 | 10k|3747 | 972 | 15k| 27k|1749 | 0.000000e+00 | 1.800000e+01 | Inf
67.74/68.11 o 4
67.74/68.11 c *68.1s| 34151 | 1858 |162527 | 4.8 | 34M| 967 | - |3747 | 10k|3747 | 972 | 16k| 27k|1749 | 0.000000e+00 | 4.000000e+00 | Inf
77.24/77.68 c 77.7s| 40000 | 1946 |199760 | 5.0 | 35M| 967 | 5 |3747 |8043 |3747 | 957 | 18k| 35k|1915 | 0.000000e+00 | 4.000000e+00 | Inf
93.94/94.31 c 94.3s| 50000 | 2165 |267583 | 5.3 | 37M| 967 | 3 |3747 |8839 |3747 | 945 | 22k| 49k|2193 | 0.000000e+00 | 4.000000e+00 | Inf
109.64/110.02 c 110s| 60000 | 2294 |327111 | 5.4 | 39M| 967 | - |3747 |9687 | 0 | 0 | 25k| 62k|2431 | 0.000000e+00 | 4.000000e+00 | Inf
126.35/126.72 c 127s| 70000 | 2341 |390628 | 5.6 | 40M| 967 | 12 |3747 |9778 |3747 | 950 | 28k| 76k|2650 | 0.000000e+00 | 4.000000e+00 | Inf
142.64/143.08 c 143s| 80000 | 2454 |453385 | 5.7 | 43M| 967 | - |3747 | 12k| 0 | 0 | 30k| 89k|2850 | 0.000000e+00 | 4.000000e+00 | Inf
159.95/160.31 c 160s| 90000 | 2677 |517935 | 5.8 | 46M| 967 | 6 |3747 | 16k|3747 | 971 | 34k| 102k|3086 | 0.000000e+00 | 4.000000e+00 | Inf
178.64/179.05 c 179s|100000 | 2859 |585357 | 5.9 | 48M| 967 | - |3747 | 16k| 0 | 0 | 38k| 117k|3274 | 0.000000e+00 | 4.000000e+00 | Inf
197.04/197.40 c 197s|110000 | 2987 |650499 | 5.9 | 50M| 967 | - |3747 | 16k| 0 | 0 | 42k| 131k|3465 | 0.000000e+00 | 4.000000e+00 | Inf
214.55/214.90 c 215s|120000 | 3058 |710140 | 5.9 | 51M| 967 | 16 |3747 | 17k|3747 | 982 | 45k| 145k|3595 | 0.000000e+00 | 4.000000e+00 | Inf
233.14/233.59 c 234s|130000 | 3054 |774961 | 6.0 | 51M| 967 | - |3747 | 16k| 0 | 0 | 47k| 160k|3745 | 0.000000e+00 | 4.000000e+00 | Inf
252.35/252.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.35/252.74 c 253s|140000 | 3150 |839803 | 6.0 | 54M| 967 | 13 |3747 | 19k|3747 | 967 | 50k| 174k|3906 | 0.000000e+00 | 4.000000e+00 | Inf
272.34/272.79 c 273s|150000 | 3240 |907288 | 6.0 | 56M| 967 | - |3747 | 23k| 0 | 0 | 54k| 188k|4045 | 0.000000e+00 | 4.000000e+00 | Inf
292.85/293.25 c 293s|160000 | 3242 |975623 | 6.1 | 55M| 967 | 18 |3747 | 19k|3747 | 966 | 56k| 202k|4182 | 0.000000e+00 | 4.000000e+00 | Inf
312.95/313.31 c 313s|170000 | 3252 | 1040k| 6.1 | 56M| 967 | - |3747 | 19k| 0 | 0 | 59k| 216k|4282 | 0.000000e+00 | 4.000000e+00 | Inf
332.15/332.52 c 332s|180000 | 3271 | 1099k| 6.1 | 55M| 967 | 13 |3747 | 15k|3747 | 964 | 61k| 230k|4409 | 0.000000e+00 | 4.000000e+00 | Inf
350.15/350.60 c 351s|190000 | 3209 | 1161k| 6.1 | 55M| 967 | - |3747 | 15k| 0 | 0 | 64k| 244k|4488 | 0.000000e+00 | 4.000000e+00 | Inf
368.54/368.96 c 369s|200000 | 3363 | 1228k| 6.1 | 57M| 967 | - |3747 | 17k| 0 | 0 | 67k| 258k|4604 | 0.000000e+00 | 4.000000e+00 | Inf
387.45/387.82 c 388s|210000 | 3413 | 1293k| 6.2 | 58M| 967 | - |3747 | 18k|3747 | 972 | 71k| 274k|4709 | 0.000000e+00 | 4.000000e+00 | Inf
397.15/397.50 o 3
397.15/397.50 c * 397s|215274 | 3284 | 1327k| 6.2 | 57M| 967 | - |3747 | 15k|3747 | 974 | 72k| 282k|4744 | 0.000000e+00 | 3.000000e+00 | Inf
405.84/406.24 c 406s|220000 | 3242 | 1361k| 6.2 | 56M| 967 | - |3747 | 14k| 0 | 0 | 74k| 289k|4818 | 0.000000e+00 | 3.000000e+00 | Inf
422.55/422.94 c 423s|230000 | 3262 | 1422k| 6.2 | 55M| 967 | - |3747 |9898 |3747 | 978 | 77k| 304k|4911 | 0.000000e+00 | 3.000000e+00 | Inf
439.55/439.95 c 440s|240000 | 3255 | 1490k| 6.2 | 54M| 967 | - |3747 |8688 | 0 | 0 | 81k| 318k|5044 | 0.000000e+00 | 3.000000e+00 | Inf
456.75/457.16 c 457s|250000 | 3247 | 1562k| 6.2 | 55M| 967 | 7 |3747 | 10k|3747 | 985 | 85k| 332k|5115 | 0.000000e+00 | 3.000000e+00 | Inf
473.65/474.05 c 474s|260000 | 3278 | 1626k| 6.3 | 56M| 967 | 21 |3747 | 12k|3747 | 946 | 89k| 346k|5236 | 0.000000e+00 | 3.000000e+00 | Inf
490.65/491.08 c 491s|270000 | 3192 | 1690k| 6.3 | 55M| 967 | - |3747 |9266 |3747 | 972 | 92k| 361k|5353 | 0.000000e+00 | 3.000000e+00 | Inf
507.25/507.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.25/507.68 c 508s|280000 | 3452 | 1752k| 6.3 | 58M| 967 | - |3747 | 12k| 0 | 0 | 96k| 374k|5423 | 0.000000e+00 | 3.000000e+00 | Inf
525.05/525.44 c 525s|290000 | 3636 | 1817k| 6.3 | 60M| 967 | 17 |3747 | 14k|3747 | 981 | 99k| 388k|5492 | 0.000000e+00 | 3.000000e+00 | Inf
542.55/542.96 c 543s|300000 | 3669 | 1881k| 6.3 | 61M| 967 | - |3747 | 12k| 0 | 0 | 103k| 403k|5602 | 0.000000e+00 | 3.000000e+00 | Inf
559.65/560.07 c 560s|310000 | 3654 | 1943k| 6.3 | 61M| 967 | 15 |3747 | 13k|3747 | 965 | 106k| 417k|5688 | 0.000000e+00 | 3.000000e+00 | Inf
577.15/577.56 c 578s|320000 | 3694 | 2006k| 6.3 | 62M| 967 | - |3747 | 14k| 0 | 0 | 110k| 431k|5759 | 0.000000e+00 | 3.000000e+00 | Inf
595.25/595.67 c 596s|330000 | 3699 | 2070k| 6.3 | 62M| 967 | 21 |3747 | 12k|3747 | 976 | 114k| 446k|5842 | 0.000000e+00 | 3.000000e+00 | Inf
612.86/613.21 c 613s|340000 | 3669 | 2136k| 6.3 | 61M| 967 | - |3747 | 11k| 0 | 0 | 117k| 460k|5931 | 0.000000e+00 | 3.000000e+00 | Inf
630.66/631.06 c 631s|350000 | 3709 | 2210k| 6.3 | 63M| 967 | 17 |3747 | 14k|3747 | 963 | 121k| 475k|6024 | 0.000000e+00 | 3.000000e+00 | Inf
649.55/649.95 c 650s|360000 | 3826 | 2282k| 6.3 | 65M| 967 | 9 |3747 | 16k|3747 | 962 | 125k| 490k|6106 | 0.000000e+00 | 3.000000e+00 | Inf
669.16/669.54 c 670s|370000 | 3860 | 2351k| 6.4 | 66M| 967 | 1 |3747 | 18k|3747 | 965 | 130k| 505k|6171 | 0.000000e+00 | 3.000000e+00 | Inf
687.36/687.72 c 688s|380000 | 3859 | 2416k| 6.4 | 65M| 967 | - |3747 | 15k| 0 | 0 | 133k| 519k|6301 | 0.000000e+00 | 3.000000e+00 | Inf
704.76/705.19 c 705s|390000 | 3794 | 2480k| 6.4 | 65M| 967 | 11 |3747 | 15k|3747 | 945 | 136k| 532k|6372 | 0.000000e+00 | 3.000000e+00 | Inf
722.56/722.94 c 723s|400000 | 3784 | 2538k| 6.3 | 65M| 967 | - |3747 | 17k| 0 | 0 | 138k| 546k|6425 | 0.000000e+00 | 3.000000e+00 | Inf
741.25/741.64 c 742s|410000 | 3744 | 2599k| 6.3 | 66M| 967 | 15 |3747 | 19k|3747 | 980 | 141k| 559k|6486 | 0.000000e+00 | 3.000000e+00 | Inf
762.35/762.74 c 763s|420000 | 3770 | 2669k| 6.4 | 68M| 967 | 30 |3747 | 22k|3747 | 993 | 145k| 573k|6541 | 0.000000e+00 | 3.000000e+00 | Inf
784.36/784.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.36/784.76 c 785s|430000 | 3873 | 2738k| 6.4 | 69M| 967 | - |3747 | 24k| 0 | 0 | 150k| 587k|6637 | 0.000000e+00 | 3.000000e+00 | Inf
807.06/807.47 c 807s|440000 | 3884 | 2816k| 6.4 | 70M| 967 | 25 |3747 | 26k|3747 | 981 | 155k| 601k|6705 | 0.000000e+00 | 3.000000e+00 | Inf
829.66/830.04 c 830s|450000 | 3819 | 2890k| 6.4 | 69M| 967 | - |3747 | 24k| 0 | 0 | 159k| 616k|6769 | 0.000000e+00 | 3.000000e+00 | Inf
850.55/850.99 c 851s|460000 | 3780 | 2955k| 6.4 | 67M| 967 | - |3747 | 18k| 0 | 0 | 163k| 630k|6849 | 0.000000e+00 | 3.000000e+00 | Inf
872.36/872.78 c 873s|470000 | 3777 | 3020k| 6.4 | 67M| 967 | 26 |3747 | 19k|3747 | 985 | 165k| 643k|6913 | 0.000000e+00 | 3.000000e+00 | Inf
892.66/893.06 c 893s|480000 | 3844 | 3087k| 6.4 | 68M| 967 | - |3747 | 20k| 0 | 0 | 169k| 657k|6985 | 0.000000e+00 | 3.000000e+00 | Inf
914.26/914.62 c 915s|490000 | 3943 | 3159k| 6.4 | 70M| 967 | 10 |3747 | 22k|3747 | 949 | 173k| 670k|7060 | 0.000000e+00 | 3.000000e+00 | Inf
934.56/934.99 c 935s|500000 | 4038 | 3217k| 6.4 | 72M| 967 | 31 |3747 | 26k|3747 | 967 | 176k| 684k|7108 | 0.000000e+00 | 3.000000e+00 | Inf
955.66/956.09 c 956s|510000 | 4188 | 3272k| 6.4 | 73M| 967 | 24 |3747 | 26k|3747 | 979 | 179k| 697k|7147 | 0.000000e+00 | 3.000000e+00 | Inf
977.17/977.57 c 978s|520000 | 4333 | 3327k| 6.4 | 75M| 967 | - |3747 | 27k| 0 | 0 | 181k| 710k|7187 | 0.000000e+00 | 3.000000e+00 | Inf
998.65/999.07 c 999s|530000 | 4386 | 3384k| 6.4 | 76M| 967 | 15 |3747 | 30k|3747 | 957 | 184k| 724k|7225 | 0.000000e+00 | 3.000000e+00 | Inf
1021.36/1021.77 c 1022s|540000 | 4445 | 3443k| 6.4 | 77M| 967 | - |3747 | 29k| 0 | 0 | 187k| 738k|7272 | 0.000000e+00 | 3.000000e+00 | Inf
1043.56/1043.95 c 1044s|550000 | 4487 | 3504k| 6.4 | 78M| 967 | 24 |3747 | 29k|3747 | 963 | 190k| 752k|7330 | 0.000000e+00 | 3.000000e+00 | Inf
1065.46/1065.87 c 1066s|560000 | 4424 | 3562k| 6.4 | 77M| 967 | - |3747 | 28k| 0 | 0 | 193k| 766k|7373 | 0.000000e+00 | 3.000000e+00 | Inf
1087.66/1088.01 c 1088s|570000 | 4446 | 3625k| 6.4 | 78M| 967 | - |3747 | 29k| 0 | 0 | 195k| 780k|7424 | 0.000000e+00 | 3.000000e+00 | Inf
1110.37/1110.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.37/1110.72 c 1111s|580000 | 4503 | 3691k| 6.4 | 79M| 967 | - |3747 | 30k| 0 | 0 | 198k| 793k|7482 | 0.000000e+00 | 3.000000e+00 | Inf
1132.97/1133.34 c 1133s|590000 | 4476 | 3758k| 6.4 | 79M| 967 | 10 |3747 | 30k|3747 | 957 | 200k| 807k|7533 | 0.000000e+00 | 3.000000e+00 | Inf
1156.17/1156.55 c 1157s|600000 | 4231 | 3825k| 6.4 | 74M| 967 | - |3747 | 22k| 0 | 0 | 204k| 821k|7655 | 0.000000e+00 | 3.000000e+00 | Inf
1175.16/1175.57 c 1176s|610000 | 4043 | 3888k| 6.4 | 70M| 967 | 13 |3747 | 16k|3747 | 963 | 207k| 835k|7705 | 0.000000e+00 | 3.000000e+00 | Inf
1194.16/1194.52 c 1194s|620000 | 4011 | 3954k| 6.4 | 71M| 967 | - |3747 | 19k| 0 | 0 | 211k| 849k|7742 | 0.000000e+00 | 3.000000e+00 | Inf
1213.67/1214.08 c 1214s|630000 | 4009 | 4014k| 6.4 | 72M| 967 | 14 |3747 | 23k|3747 | 963 | 214k| 862k|7780 | 0.000000e+00 | 3.000000e+00 | Inf
1235.47/1235.80 c 1236s|640000 | 3990 | 4078k| 6.4 | 71M| 967 | 21 |3747 | 19k|3747 | 981 | 216k| 876k|7844 | 0.000000e+00 | 3.000000e+00 | Inf
1255.26/1255.69 c 1256s|650000 | 3960 | 4143k| 6.4 | 72M| 967 | 8 |3747 | 21k|3747 | 984 | 221k| 890k|7887 | 0.000000e+00 | 3.000000e+00 | Inf
1274.86/1275.21 c 1275s|660000 | 3784 | 4207k| 6.4 | 69M| 967 | - |3747 | 16k| 0 | 0 | 224k| 905k|7942 | 0.000000e+00 | 3.000000e+00 | Inf
1293.67/1294.06 c 1294s|670000 | 3663 | 4272k| 6.4 | 67M| 967 | 12 |3747 | 15k|3747 | 968 | 227k| 919k|7980 | 0.000000e+00 | 3.000000e+00 | Inf
1312.56/1312.92 c 1313s|680000 | 3594 | 4340k| 6.4 | 67M| 967 | - |3747 | 15k| 0 | 0 | 230k| 933k|8027 | 0.000000e+00 | 3.000000e+00 | Inf
1333.07/1333.40 c 1333s|690000 | 3709 | 4420k| 6.4 | 69M| 967 | - |3747 | 17k| 0 | 0 | 236k| 948k|8092 | 0.000000e+00 | 3.000000e+00 | Inf
1353.86/1354.26 c 1354s|700000 | 3684 | 4499k| 6.4 | 69M| 967 | 1 |3747 | 17k|3747 | 949 | 242k| 962k|8148 | 0.000000e+00 | 3.000000e+00 | Inf
1372.86/1373.22 c 1373s|710000 | 3557 | 4564k| 6.4 | 67M| 967 | - |3747 | 16k| 0 | 0 | 245k| 977k|8205 | 0.000000e+00 | 3.000000e+00 | Inf
1392.87/1393.30 c 1393s|720000 | 3524 | 4631k| 6.4 | 67M| 967 | - |3747 | 15k| 0 | 0 | 248k| 990k|8251 | 0.000000e+00 | 3.000000e+00 | Inf
1411.77/1412.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.77/1412.14 c 1412s|730000 | 3530 | 4697k| 6.4 | 69M| 967 | - |3747 | 20k| 0 | 0 | 253k|1004k|8286 | 0.000000e+00 | 3.000000e+00 | Inf
1431.96/1432.36 c 1432s|740000 | 3428 | 4764k| 6.4 | 67M| 967 | 9 |3747 | 16k|3747 | 952 | 257k|1018k|8328 | 0.000000e+00 | 3.000000e+00 | Inf
1451.97/1452.35 c 1452s|750000 | 3449 | 4834k| 6.4 | 68M| 967 | 9 |3747 | 18k|3747 | 963 | 262k|1031k|8376 | 0.000000e+00 | 3.000000e+00 | Inf
1472.36/1472.77 c 1473s|760000 | 3402 | 4909k| 6.5 | 68M| 967 | 1 |3747 | 18k|3747 | 977 | 266k|1045k|8426 | 0.000000e+00 | 3.000000e+00 | Inf
1491.36/1491.70 c 1492s|770000 | 3384 | 4972k| 6.5 | 68M| 967 | - |3747 | 19k| 0 | 0 | 271k|1057k|8468 | 0.000000e+00 | 3.000000e+00 | Inf
1511.78/1512.12 c 1512s|780000 | 3427 | 5032k| 6.5 | 69M| 967 | - |3747 | 23k| 0 | 0 | 273k|1070k|8507 | 0.000000e+00 | 3.000000e+00 | Inf
1532.67/1533.09 c 1533s|790000 | 3516 | 5092k| 6.4 | 71M| 967 | - |3747 | 26k| 0 | 0 | 276k|1083k|8552 | 0.000000e+00 | 3.000000e+00 | Inf
1554.26/1554.69 c 1555s|800000 | 3506 | 5159k| 6.4 | 71M| 967 | - |3747 | 24k| 0 | 0 | 280k|1096k|8606 | 0.000000e+00 | 3.000000e+00 | Inf
1576.16/1576.58 c 1577s|810000 | 3512 | 5219k| 6.4 | 71M| 967 | 1 |3747 | 24k|3747 | 974 | 283k|1109k|8659 | 0.000000e+00 | 3.000000e+00 | Inf
1596.37/1596.76 c 1597s|820000 | 3490 | 5278k| 6.4 | 71M| 967 | - |3747 | 23k| 0 | 0 | 285k|1122k|8691 | 0.000000e+00 | 3.000000e+00 | Inf
1617.66/1618.08 c 1618s|830000 | 3475 | 5344k| 6.4 | 72M| 967 | - |3747 | 25k| 0 | 0 | 288k|1135k|8734 | 0.000000e+00 | 3.000000e+00 | Inf
1640.26/1640.68 c 1641s|840000 | 3526 | 5409k| 6.4 | 73M| 967 | - |3747 | 29k| 0 | 0 | 292k|1148k|8774 | 0.000000e+00 | 3.000000e+00 | Inf
1663.37/1663.79 c 1664s|850000 | 3661 | 5465k| 6.4 | 75M| 967 | 23 |3747 | 31k|3747 | 963 | 296k|1161k|8801 | 0.000000e+00 | 3.000000e+00 | Inf
1686.68/1687.09 c 1687s|860000 | 3657 | 5518k| 6.4 | 76M| 967 | 22 |3747 | 32k|3747 | 953 | 299k|1174k|8838 | 0.000000e+00 | 3.000000e+00 | Inf
1711.67/1712.02 c 1712s|870000 | 3679 | 5576k| 6.4 | 77M| 967 | - |3747 | 34k| 0 | 0 | 303k|1188k|8885 | 0.000000e+00 | 3.000000e+00 | Inf
1736.37/1736.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.37/1736.77 c 1737s|880000 | 3635 | 5638k| 6.4 | 77M| 967 | - |3747 | 33k| 0 | 0 | 306k|1202k|8926 | 0.000000e+00 | 3.000000e+00 | Inf
1761.97/1762.39 c 1762s|890000 | 3620 | 5701k| 6.4 | 77M| 967 | 19 |3747 | 35k|3747 | 974 | 310k|1215k|8957 | 0.000000e+00 | 3.000000e+00 | Inf
1786.47/1786.84 c 1787s|900000 | 3604 | 5760k| 6.4 | 77M| 967 | - |3747 | 36k|3747 | 985 | 313k|1229k|8994 | 0.000000e+00 | 3.000000e+00 | Inf
1789.67/1790.01 c
1789.67/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.67/1790.01 c Solving Time (sec) : 1789.98
1789.67/1790.01 c Solving Nodes : 901195
1789.67/1790.01 c Primal Bound : +3.00000000000000e+00 (133 solutions)
1789.67/1790.01 c Dual Bound : +0.00000000000000e+00
1789.67/1790.01 c Gap : infinite
1789.67/1790.04 s SATISFIABLE
1789.67/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
1789.67/1790.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1789.67/1790.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1789.67/1790.04 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1789.67/1790.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1789.67/1790.04 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1789.67/1790.04 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
1789.67/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
1789.67/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
1789.67/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
1789.67/1790.04 v -x1
1789.67/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.67/1790.04 c Solving Time : 1789.98
1789.67/1790.04 c Original Problem :
1789.67/1790.04 c Problem name : HOME/instance-2705579-1278572956.wbo
1789.67/1790.04 c Variables : 3839 (2035 binary, 0 integer, 1804 implicit integer, 0 continuous)
1789.67/1790.04 c Constraints : 4512 initial, 4512 maximal
1789.67/1790.04 c Presolved Problem :
1789.67/1790.04 c Problem name : t_HOME/instance-2705579-1278572956.wbo
1789.67/1790.04 c Variables : 3747 (1989 binary, 0 integer, 1758 implicit integer, 0 continuous)
1789.67/1790.04 c Constraints : 4378 initial, 36786 maximal
1789.67/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.67/1790.04 c trivial : 0.00 46 0 0 0 0 0 0 0
1789.67/1790.04 c dualfix : 0.00 46 0 0 0 0 0 0 0
1789.67/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1789.67/1790.04 c setppc : 0.00 0 0 0 0 0 12 0 0
1789.67/1790.04 c linear : 0.05 0 0 0 1809 0 76 53 0
1789.67/1790.04 c indicator : 0.00 0 0 0 0 0 46 0 0
1789.67/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1789.67/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.04 c root node : - 3432 - - 3432 - - - -
1789.67/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.67/1790.04 c integral : 0 0 0 538262 0 68 1197 0 0 973532
1789.67/1790.04 c setppc : 54 6 4269439 48335 1 44718 1167566 0 0 0
1789.67/1790.04 c linear : 1758+ 7 4229612 50075 1 224985 23040707 314138 0 0
1789.67/1790.04 c indicator : 1758 0 3982789 50226 1 147 811424 0 0 0
1789.67/1790.04 c logicor : 808+ 6 1777770 10852 1 164580 4385134 0 0 0
1789.67/1790.04 c bounddisjunction : 0+ 0 465370 0 0 52 1639 0 0 0
1789.67/1790.04 c countsols : 0 0 0 10852 1 0 0 0 0 0
1789.67/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.67/1790.04 c integral : 19.82 0.00 0.00 19.82 0.00
1789.67/1790.04 c setppc : 10.87 0.00 10.84 0.03 0.00
1789.67/1790.04 c linear : 162.42 0.00 159.27 3.15 0.00
1789.67/1790.04 c indicator : 13.41 0.02 11.33 2.07 0.00
1789.67/1790.04 c logicor : 296.45 0.00 296.33 0.12 0.00
1789.67/1790.04 c bounddisjunction : 2.68 0.00 2.68 0.00 0.00
1789.67/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.67/1790.04 c Propagators : Time Calls Cutoffs DomReds
1789.67/1790.04 c vbounds : 0.68 8394 0 1241
1789.67/1790.04 c rootredcost : 0.64 40 0 1716
1789.67/1790.04 c pseudoobj : 107.97 4277434 2657 738926
1789.67/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.67/1790.04 c propagation : 19.89 436992 436525 2418013 28.8 14232 27.6 -
1789.67/1790.04 c infeasible LP : 10.93 43810 43810 321459 46.2 566 16.6 0
1789.67/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.67/1790.04 c applied globally : - - - 1230991 24.7 - - -
1789.67/1790.04 c applied locally : - - - 0 0.0 - - -
1789.67/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.67/1790.04 c cut pool : 0.00 4 - - 20 - (maximal pool size: 325)
1789.67/1790.04 c redcost : 33.77 540066 0 78318 0 0
1789.67/1790.04 c impliedbounds : 0.00 5 0 0 0 0
1789.67/1790.04 c intobj : 0.00 0 0 0 0 0
1789.67/1790.04 c cgmip : 0.00 0 0 0 0 0
1789.67/1790.04 c gomory : 0.11 5 0 0 827 0
1789.67/1790.04 c strongcg : 0.10 5 0 0 1243 0
1789.67/1790.04 c cmir : 0.03 5 0 0 0 0
1789.67/1790.04 c flowcover : 0.05 5 0 0 0 0
1789.67/1790.04 c clique : 0.00 5 0 0 0 0
1789.67/1790.04 c zerohalf : 0.00 0 0 0 0 0
1789.67/1790.04 c mcf : 0.00 1 0 0 0 0
1789.67/1790.04 c rapidlearning : 0.11 1 0 0 0 1
1789.67/1790.04 c Pricers : Time Calls Vars
1789.67/1790.04 c problem variables: 0.00 0 0
1789.67/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.67/1790.04 c relpscost : 19.37 487829 68 1197 0 0 973532
1789.67/1790.04 c pscost : 0.00 0 0 0 0 0 0
1789.67/1790.04 c inference : 3.42 10814 0 0 0 0 21850
1789.67/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1789.67/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1789.67/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1789.67/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1789.67/1790.04 c random : 0.00 0 0 0 0 0 0
1789.67/1790.04 c Primal Heuristics : Time Calls Found
1789.67/1790.04 c LP solutions : 0.03 - 39
1789.67/1790.04 c pseudo solutions : 0.00 - 0
1789.67/1790.04 c intshifting : 0.01 0 0
1789.67/1790.04 c feaspump : 0.02 1 0
1789.67/1790.04 c oneopt : 0.39 35 0
1789.67/1790.04 c guideddiving : 0.12 68 0
1789.67/1790.04 c coefdiving : 0.10 69 0
1789.67/1790.04 c pscostdiving : 0.11 69 0
1789.67/1790.04 c fracdiving : 0.09 69 0
1789.67/1790.04 c veclendiving : 0.11 69 0
1789.67/1790.04 c linesearchdiving : 0.10 69 0
1789.67/1790.04 c crossover : 1.51 24 0
1789.67/1790.04 c rootsoldiving : 0.12 58 0
1789.67/1790.04 c objpscostdiving : 0.10 59 0
1789.67/1790.04 c trivial : 0.00 2 0
1789.67/1790.04 c simplerounding : 0.71 488033 0
1789.67/1790.04 c zirounding : 0.33 1000 0
1789.67/1790.04 c rounding : 0.95 9859 0
1789.67/1790.04 c shifting : 0.79 3096 0
1789.67/1790.04 c twoopt : 0.00 0 0
1789.67/1790.04 c fixandinfer : 0.00 0 0
1789.67/1790.04 c intdiving : 0.00 0 0
1789.67/1790.04 c actconsdiving : 0.00 0 0
1789.67/1790.04 c octane : 0.00 0 0
1789.67/1790.04 c rens : 0.03 1 0
1789.67/1790.04 c rins : 0.00 0 0
1789.67/1790.04 c localbranching : 0.00 0 0
1789.67/1790.04 c mutation : 0.00 0 0
1789.67/1790.04 c dins : 0.00 0 0
1789.67/1790.04 c undercover : 0.00 0 0
1789.67/1790.04 c nlp : 0.16 0 0
1789.67/1790.04 c trysol : 0.31 209 94
1789.67/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1789.67/1790.04 c primal LP : 0.00 0 0 0.00 -
1789.67/1790.04 c dual LP : 611.54 570756 5767011 10.10 9430.39
1789.67/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1789.67/1790.04 c barrier LP : 0.00 0 0 0.00 -
1789.67/1790.04 c diving/probing LP: 0.23 131 1755 13.40 7601.22
1789.67/1790.04 c strong branching : 15.17 9014 164071 18.20 10814.44
1789.67/1790.04 c (at root node) : - 16 1631 101.94 -
1789.67/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1789.67/1790.04 c B&B Tree :
1789.67/1790.04 c number of runs : 1
1789.67/1790.04 c nodes : 901195
1789.67/1790.04 c nodes (total) : 901195
1789.67/1790.04 c nodes left : 3618
1789.67/1790.04 c max depth : 967
1789.67/1790.04 c max depth (total): 967
1789.67/1790.04 c backtracks : 103064 (11.4%)
1789.67/1790.04 c delayed cutoffs : 79914
1789.67/1790.04 c repropagations : 1843808 (5547262 domain reductions, 77257 cutoffs)
1789.67/1790.04 c avg switch length: 5.58
1789.67/1790.04 c switching time : 282.31
1789.67/1790.04 c Solution :
1789.67/1790.04 c Solutions found : 133 (40 improvements)
1789.67/1790.04 c First Solution : +8.85000000000000e+04 (in run 1, after 42 nodes, 2.24 seconds, depth 23, found by <trysol>)
1789.67/1790.04 c Primal Bound : +3.00000000000000e+00 (in run 1, after 215274 nodes, 397.47 seconds, depth 51, found by <relaxation>)
1789.67/1790.04 c Dual Bound : +0.00000000000000e+00
1789.67/1790.04 c Gap : infinite
1789.67/1790.04 c Root Dual Bound : +0.00000000000000e+00
1789.67/1790.04 c Root Iterations : 167
1789.77/1790.15 c Time complete: 1789.83.