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-2705518-1278572954.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 1816 impl, 0 cont) and 4524 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, 142 impls, 6 clqs
0.00/0.08 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.08/0.09 c (round 3) 53 del vars, 176 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.08/0.10 c (round 4) 144 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.09/0.10 c (round 5) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 142 impls, 6 clqs
0.09/0.11 c (round 6) 146 del vars, 200 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 142 impls, 6 clqs
0.09/0.15 c (0.1s) probing: 101/1974 (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 (7 rounds):
0.09/0.15 c 146 deleted vars, 200 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.15 c 3611 implications, 6 cliques
0.09/0.15 c presolved problem has 3717 variables (1974 bin, 0 int, 1743 impl, 0 cont) and 4324 constraints
0.09/0.15 c 41 constraints of type <setppc>
0.09/0.15 c 1743 constraints of type <linear>
0.09/0.15 c 1743 constraints of type <indicator>
0.09/0.15 c 797 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 | 22 | - | 14M| 0 | 13 |3717 |4324 |3717 | 838 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 66 | - | 14M| 0 | 33 |3717 |4324 |3717 | 861 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 91 | - | 14M| 0 | 32 |3717 |4324 |3717 | 881 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.3s| 1 | 0 | 130 | - | 14M| 0 | 28 |3717 |4324 |3717 | 889 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 195 | - | 14M| 0 | 54 |3717 |4324 |3717 | 901 | 63 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 246 | - | 15M| 0 | 58 |3717 |4324 |3717 | 909 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 302 | - | 15M| 0 | 49 |3717 |4324 |3717 | 912 | 74 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.75 c 0.7s| 1 | 2 | 302 | - | 15M| 0 | 49 |3717 |4324 |3717 | 912 | 74 | 0 | 16 | 0.000000e+00 | -- | Inf
1.29/1.33 o 88690
1.29/1.33 c y 1.3s| 18 | 17 | 1136 | 49.1 | 15M| 16 | - |3717 |4324 | 0 | 0 | 122 | 0 | 137 | 0.000000e+00 | 8.869000e+04 | Inf
10.39/10.45 o 245
10.39/10.45 c *10.4s| 5318 | 2906 | 7744 | 1.4 | 22M|1631 | - |3717 |4339 |3717 | 934 |1138 | 15 |1064 | 0.000000e+00 | 2.450000e+02 | Inf
11.09/11.10 o 244
11.09/11.10 c *11.1s| 5576 | 3125 | 9006 | 1.6 | 23M|1631 | - |3717 |4390 |3717 | 963 |1396 | 66 |1133 | 0.000000e+00 | 2.440000e+02 | Inf
11.30/11.34 o 240
11.30/11.34 c *11.3s| 5744 | 3194 | 9283 | 1.6 | 24M|1631 | - |3717 |4390 |3717 | 967 |1458 | 66 |1135 | 0.000000e+00 | 2.400000e+02 | Inf
11.40/11.41 o 230
11.40/11.41 c *11.4s| 5853 | 2973 | 9284 | 1.5 | 23M|1631 | - |3717 |4390 |3717 | 967 |1458 | 66 |1135 | 0.000000e+00 | 2.300000e+02 | Inf
13.69/13.73 o 214
13.69/13.73 c *13.7s| 6530 | 2976 | 15447 | 2.3 | 26M|1631 | - |3717 |4916 |3717 | 962 |2362 | 596 |1410 | 0.000000e+00 | 2.140000e+02 | Inf
13.69/13.73 o 212
13.69/13.73 c *13.7s| 6531 | 2932 | 15447 | 2.3 | 26M|1631 | - |3717 |4916 |3717 | 962 |2362 | 596 |1410 | 0.000000e+00 | 2.120000e+02 | Inf
17.79/17.85 o 172
17.79/17.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.79/17.85 c *17.8s| 8189 | 3129 | 23376 | 2.8 | 30M|1631 | - |3717 |5767 |3717 | 924 |3502 |1620 |1553 | 0.000000e+00 | 1.720000e+02 | Inf
18.09/18.15 o 158
18.09/18.15 c *18.1s| 8275 | 2910 | 24558 | 2.9 | 30M|1631 | - |3717 |5800 |3717 | 958 |3663 |1666 |1563 | 0.000000e+00 | 1.580000e+02 | Inf
18.09/18.15 o 155
18.09/18.15 c *18.1s| 8276 | 2866 | 24558 | 2.9 | 30M|1631 | - |3717 |5800 |3717 | 958 |3663 |1666 |1563 | 0.000000e+00 | 1.550000e+02 | Inf
20.99/21.02 o 152
20.99/21.02 c *21.0s| 9261 | 3314 | 32012 | 3.4 | 34M|1631 | - |3717 |6381 |3717 | 939 |4811 |2456 |1636 | 0.000000e+00 | 1.520000e+02 | Inf
20.99/21.02 o 149
20.99/21.02 c *21.0s| 9262 | 3280 | 32013 | 3.4 | 34M|1631 | - |3717 |6381 |3717 | 939 |4811 |2456 |1636 | 0.000000e+00 | 1.490000e+02 | Inf
22.49/22.54 o 144
22.49/22.54 c *22.5s| 9809 | 3444 | 35582 | 3.6 | 36M|1631 | - |3717 |6704 |3717 | 940 |5215 |2955 |1660 | 0.000000e+00 | 1.440000e+02 | Inf
22.99/23.04 o 143
22.99/23.04 c *23.0s| 9987 | 3461 | 36674 | 3.6 | 37M|1631 | - |3717 |6871 |3717 | 931 |5358 |3171 |1665 | 0.000000e+00 | 1.430000e+02 | Inf
23.09/23.10 c 23.1s| 10000 | 3465 | 36852 | 3.7 | 37M|1631 | 19 |3717 |6874 |3717 | 962 |5390 |3178 |1667 | 0.000000e+00 | 1.430000e+02 | Inf
23.09/23.13 o 136
23.09/23.13 c *23.1s| 10012 | 3343 | 36908 | 3.7 | 36M|1631 | - |3717 |6886 |3717 | 964 |5392 |3190 |1669 | 0.000000e+00 | 1.360000e+02 | Inf
23.09/23.14 o 119
23.09/23.14 c *23.1s| 10017 | 2958 | 36946 | 3.7 | 34M|1631 | - |3717 |6887 |3717 | 964 |5392 |3191 |1669 | 0.000000e+00 | 1.190000e+02 | Inf
23.09/23.14 o 113
23.09/23.14 c *23.1s| 10018 | 2797 | 36953 | 3.7 | 33M|1631 | - |3717 |6887 |3717 | 964 |5392 |3191 |1669 | 0.000000e+00 | 1.130000e+02 | Inf
23.29/23.38 o 95
23.29/23.38 c *23.3s| 10097 | 2459 | 37550 | 3.7 | 32M|1631 | - |3717 |6959 |3717 | 951 |5494 |3277 |1669 | 0.000000e+00 | 9.500000e+01 | Inf
23.39/23.42 o 76
23.39/23.42 c *23.4s| 10106 | 2134 | 37687 | 3.7 | 31M|1631 | - |3717 |6845 |3717 | 944 |5501 |3278 |1669 | 0.000000e+00 | 7.600000e+01 | Inf
23.49/23.54 o 73
23.49/23.54 c *23.5s| 10128 | 2022 | 38141 | 3.7 | 31M|1631 | - |3717 |6522 |3717 | 962 |5596 |3288 |1675 | 0.000000e+00 | 7.300000e+01 | Inf
23.69/23.70 o 71
23.69/23.70 c *23.7s| 10154 | 1201 | 38571 | 3.8 | 26M|1631 | - |3717 |6420 |3717 | 945 |5662 |3308 |1690 | 0.000000e+00 | 7.100000e+01 | Inf
27.59/27.66 o 63
27.59/27.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.59/27.66 c *27.6s| 11628 | 1087 | 52505 | 4.5 | 28M|1631 | - |3717 |7037 |3717 | 942 |7106 |4876 |1736 | 0.000000e+00 | 6.300000e+01 | Inf
34.49/34.51 o 59
34.49/34.51 c *34.5s| 14702 | 1287 | 71806 | 4.9 | 32M|1631 | - |3717 |7459 |3717 | 943 |9128 |8375 |1751 | 0.000000e+00 | 5.900000e+01 | Inf
46.49/46.50 c 46.5s| 20000 | 1698 |109778 | 5.5 | 38M|1631 | - |3717 |6929 | 0 | 0 | 12k| 14k|1754 | 0.000000e+00 | 5.900000e+01 | Inf
61.29/61.32 o 54
61.29/61.32 c *61.3s| 27207 | 2131 |147169 | 5.4 | 46M|1631 | - |3717 |7213 |3717 | 920 | 16k| 22k|1754 | 0.000000e+00 | 5.400000e+01 | Inf
61.69/61.73 o 52
61.69/61.73 c *61.7s| 27381 | 2112 |148461 | 5.4 | 45M|1631 | - |3717 |6488 |3717 | 938 | 16k| 23k|1754 | 0.000000e+00 | 5.200000e+01 | Inf
65.59/65.63 o 51
65.59/65.63 c *65.6s| 29376 | 2232 |158681 | 5.4 | 47M|1631 | - |3717 |6595 |3717 | 928 | 17k| 25k|1754 | 0.000000e+00 | 5.100000e+01 | Inf
65.59/65.66 o 39
65.59/65.66 c *65.6s| 29386 | 2034 |158690 | 5.4 | 44M|1631 | - |3717 |6517 |3717 | 928 | 17k| 25k|1754 | 0.000000e+00 | 3.900000e+01 | Inf
65.59/65.66 o 36
65.59/65.66 c *65.6s| 29387 | 1988 |158690 | 5.4 | 44M|1631 | - |3717 |6517 |3717 | 928 | 17k| 25k|1754 | 0.000000e+00 | 3.600000e+01 | Inf
66.70/66.79 c 66.8s| 30000 | 2013 |162016 | 5.4 | 44M|1631 | - |3717 |5718 | 0 | 0 | 17k| 26k|1754 | 0.000000e+00 | 3.600000e+01 | Inf
71.10/71.15 o 35
71.10/71.15 c *71.1s| 32451 | 2039 |174607 | 5.4 | 45M|1631 | - |3717 |5514 |3717 | 932 | 18k| 29k|1754 | 0.000000e+00 | 3.500000e+01 | Inf
74.19/74.27 o 13
74.19/74.27 c *74.2s| 34101 | 1628 |185066 | 5.4 | 38M|1631 | - |3717 |5370 |3717 | 930 | 19k| 31k|1754 | 0.000000e+00 | 1.300000e+01 | Inf
78.30/78.36 o 9
78.30/78.36 c *78.3s| 36863 | 1426 |200091 | 5.4 | 38M|1631 | - |3717 |5262 |3717 | 935 | 20k| 35k|1754 | 0.000000e+00 | 9.000000e+00 | Inf
82.69/82.78 c 82.7s| 40000 | 1476 |218213 | 5.4 | 38M|1631 | - |3717 |5325 |3717 | 930 | 21k| 39k|1754 | 0.000000e+00 | 9.000000e+00 | Inf
96.90/96.97 c 96.9s| 50000 | 1583 |270937 | 5.4 | 41M|1631 | 9 |3717 |6640 |3717 | 924 | 23k| 51k|1815 | 0.000000e+00 | 9.000000e+00 | Inf
105.60/105.65 o 6
105.60/105.65 c * 106s| 56038 | 1655 |304424 | 5.4 | 42M|1631 | - |3717 |9992 |3717 | 937 | 25k| 59k|1915 | 0.000000e+00 | 6.000000e+00 | Inf
111.49/111.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.49/111.56 c 112s| 60000 | 1657 |324461 | 5.4 | 42M|1631 | - |3717 |9111 | 0 | 0 | 26k| 65k|1985 | 0.000000e+00 | 6.000000e+00 | Inf
125.89/125.98 c 126s| 70000 | 1648 |377323 | 5.4 | 43M|1631 | 11 |3717 |7944 |3717 | 931 | 29k| 78k|2137 | 0.000000e+00 | 6.000000e+00 | Inf
141.49/141.50 c 141s| 80000 | 1655 |437610 | 5.5 | 44M|1631 | - |3717 |8014 | 0 | 0 | 32k| 91k|2367 | 0.000000e+00 | 6.000000e+00 | Inf
146.49/146.57 o 3
146.49/146.57 c * 147s| 83399 | 1538 |457035 | 5.5 | 42M|1631 | - |3717 |7838 |3717 | 931 | 33k| 95k|2380 | 0.000000e+00 | 3.000000e+00 | Inf
156.10/156.11 c 156s| 90000 | 1636 |491504 | 5.5 | 44M|1631 | - |3717 | 10k|3717 | 938 | 35k| 104k|2513 | 0.000000e+00 | 3.000000e+00 | Inf
172.19/172.25 c 172s|100000 | 1842 |551380 | 5.5 | 47M|1631 | - |3717 | 14k|3717 | 923 | 38k| 119k|2631 | 0.000000e+00 | 3.000000e+00 | Inf
187.70/187.72 c 188s|110000 | 1750 |605795 | 5.5 | 46M|1631 | - |3717 |9761 | 0 | 0 | 40k| 132k|2738 | 0.000000e+00 | 3.000000e+00 | Inf
202.59/202.63 c 203s|120000 | 1815 |655993 | 5.5 | 48M|1631 | - |3717 | 11k| 0 | 0 | 43k| 145k|2907 | 0.000000e+00 | 3.000000e+00 | Inf
218.40/218.45 c 218s|130000 | 1916 |708547 | 5.4 | 50M|1631 | 22 |3717 | 14k|3717 | 946 | 46k| 159k|3005 | 0.000000e+00 | 3.000000e+00 | Inf
234.70/234.77 c 235s|140000 | 2039 |761897 | 5.4 | 51M|1631 | 1 |3717 | 13k|3717 | 924 | 49k| 172k|3142 | 0.000000e+00 | 3.000000e+00 | Inf
250.39/250.41 c 250s|150000 | 2054 |817357 | 5.4 | 51M|1631 | 13 |3717 | 10k|3717 | 933 | 53k| 186k|3334 | 0.000000e+00 | 3.000000e+00 | Inf
258.40/258.41 o 1
258.40/258.41 c * 258s|155380 | 1882 |846663 | 5.4 | 49M|1631 | - |3717 | 10k|3717 | 945 | 54k| 193k|3397 | 0.000000e+00 | 1.000000e+00 | Inf
265.30/265.37 c 265s|160000 | 1836 |872632 | 5.5 | 48M|1631 | - |3717 | 10k| 0 | 0 | 55k| 199k|3433 | 0.000000e+00 | 1.000000e+00 | Inf
280.60/280.66 c 281s|170000 | 1920 |927462 | 5.5 | 50M|1631 | - |3717 | 11k| 0 | 0 | 57k| 213k|3568 | 0.000000e+00 | 1.000000e+00 | Inf
295.70/295.79 c 296s|180000 | 1828 |982243 | 5.5 | 49M|1631 | - |3717 | 11k| 0 | 0 | 59k| 226k|3684 | 0.000000e+00 | 1.000000e+00 | Inf
311.80/311.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.80/311.81 c 312s|190000 | 1924 | 1045k| 5.5 | 51M|1631 | - |3717 | 12k| 0 | 0 | 61k| 239k|3804 | 0.000000e+00 | 1.000000e+00 | Inf
329.60/329.68 c 330s|200000 | 2028 | 1121k| 5.6 | 53M|1631 | - |3717 | 14k| 0 | 0 | 62k| 253k|3953 | 0.000000e+00 | 1.000000e+00 | Inf
346.51/346.52 c 346s|210000 | 2171 | 1183k| 5.6 | 55M|1631 | 1 |3717 | 17k|3717 | 943 | 64k| 266k|4048 | 0.000000e+00 | 1.000000e+00 | Inf
363.60/363.67 c 364s|220000 | 2246 | 1241k| 5.6 | 57M|1631 | 1 |3717 | 19k|3717 | 931 | 66k| 279k|4130 | 0.000000e+00 | 1.000000e+00 | Inf
381.80/381.86 c 382s|230000 | 2361 | 1300k| 5.7 | 59M|1631 | - |3717 | 22k|3717 | 949 | 68k| 293k|4226 | 0.000000e+00 | 1.000000e+00 | Inf
401.10/401.13 c 401s|240000 | 2382 | 1360k| 5.7 | 60M|1631 | - |3717 | 22k|3717 | 946 | 70k| 307k|4341 | 0.000000e+00 | 1.000000e+00 | Inf
420.51/420.50 c 420s|250000 | 2394 | 1422k| 5.7 | 60M|1631 | 6 |3717 | 22k|3717 | 928 | 72k| 321k|4438 | 0.000000e+00 | 1.000000e+00 | Inf
441.30/441.31 c 441s|260000 | 2445 | 1486k| 5.7 | 63M|1631 | 13 |3717 | 26k|3717 | 943 | 74k| 335k|4514 | 0.000000e+00 | 1.000000e+00 | Inf
461.71/461.76 c 462s|270000 | 2449 | 1544k| 5.7 | 64M|1631 | - |3717 | 28k| 0 | 0 | 76k| 349k|4601 | 0.000000e+00 | 1.000000e+00 | Inf
483.70/483.76 c 484s|280000 | 2525 | 1604k| 5.7 | 65M|1631 | - |3717 | 28k| 0 | 0 | 78k| 364k|4694 | 0.000000e+00 | 1.000000e+00 | Inf
505.30/505.35 c 505s|290000 | 2496 | 1663k| 5.7 | 64M|1631 | 35 |3717 | 25k|3717 | 922 | 80k| 378k|4782 | 0.000000e+00 | 1.000000e+00 | Inf
527.11/527.11 c 527s|300000 | 2603 | 1729k| 5.8 | 66M|1631 | - |3717 | 27k| 0 | 0 | 82k| 393k|4886 | 0.000000e+00 | 1.000000e+00 | Inf
547.61/547.64 c 548s|310000 | 2524 | 1789k| 5.8 | 65M|1631 | - |3717 | 23k| 0 | 0 | 84k| 408k|4983 | 0.000000e+00 | 1.000000e+00 | Inf
568.90/568.90 c 569s|320000 | 2678 | 1856k| 5.8 | 67M|1631 | 14 |3717 | 26k|3717 | 931 | 85k| 422k|5067 | 0.000000e+00 | 1.000000e+00 | Inf
590.21/590.22 c 590s|330000 | 2771 | 1915k| 5.8 | 68M|1631 | 18 |3717 | 26k|3717 | 971 | 87k| 437k|5139 | 0.000000e+00 | 1.000000e+00 | Inf
611.62/611.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.62/611.61 c 612s|340000 | 2835 | 1980k| 5.8 | 70M|1631 | - |3717 | 27k| 0 | 0 | 89k| 452k|5221 | 0.000000e+00 | 1.000000e+00 | Inf
634.01/634.05 c 634s|350000 | 2936 | 2049k| 5.9 | 72M|1631 | - |3717 | 29k| 0 | 0 | 90k| 466k|5296 | 0.000000e+00 | 1.000000e+00 | Inf
657.21/657.24 c 657s|360000 | 2992 | 2121k| 5.9 | 73M|1631 | 34 |3717 | 30k|3717 | 973 | 92k| 481k|5380 | 0.000000e+00 | 1.000000e+00 | Inf
680.01/680.09 c 680s|370000 | 3155 | 2188k| 5.9 | 76M|1631 | - |3717 | 32k| 0 | 0 | 94k| 497k|5463 | 0.000000e+00 | 1.000000e+00 | Inf
704.31/704.32 c 704s|380000 | 3481 | 2261k| 6.0 | 79M|1631 | - |3717 | 34k| 0 | 0 | 96k| 512k|5562 | 0.000000e+00 | 1.000000e+00 | Inf
728.41/728.49 c 728s|390000 | 3480 | 2332k| 6.0 | 80M|1631 | 1 |3717 | 32k|3717 | 940 | 98k| 528k|5631 | 0.000000e+00 | 1.000000e+00 | Inf
752.81/752.87 c 753s|400000 | 3423 | 2404k| 6.0 | 80M|1631 | - |3717 | 32k| 0 | 0 | 100k| 544k|5702 | 0.000000e+00 | 1.000000e+00 | Inf
777.61/777.65 c 778s|410000 | 3405 | 2477k| 6.0 | 79M|1631 | - |3717 | 29k| 0 | 0 | 101k| 559k|5758 | 0.000000e+00 | 1.000000e+00 | Inf
800.41/800.41 c 800s|420000 | 3346 | 2545k| 6.1 | 79M|1631 | 1 |3717 | 29k|3717 | 952 | 103k| 575k|5829 | 0.000000e+00 | 1.000000e+00 | Inf
823.32/823.34 c 823s|430000 | 3243 | 2616k| 6.1 | 78M|1631 | 28 |3717 | 28k|3717 | 963 | 105k| 591k|5894 | 0.000000e+00 | 1.000000e+00 | Inf
847.82/847.85 c 848s|440000 | 3289 | 2693k| 6.1 | 80M|1631 | - |3717 | 30k| 0 | 0 | 106k| 605k|5983 | 0.000000e+00 | 1.000000e+00 | Inf
870.82/870.90 c 871s|450000 | 3244 | 2763k| 6.1 | 79M|1631 | 1 |3717 | 27k|3717 | 974 | 109k| 621k|6040 | 0.000000e+00 | 1.000000e+00 | Inf
894.33/894.32 c 894s|460000 | 3271 | 2836k| 6.2 | 80M|1631 | - |3717 | 28k| 0 | 0 | 111k| 636k|6090 | 0.000000e+00 | 1.000000e+00 | Inf
917.43/917.41 c 917s|470000 | 3200 | 2902k| 6.2 | 79M|1631 | 16 |3717 | 27k|3717 | 931 | 113k| 651k|6156 | 0.000000e+00 | 1.000000e+00 | Inf
940.02/940.05 c 940s|480000 | 3148 | 2972k| 6.2 | 79M|1631 | 23 |3717 | 27k|3717 | 947 | 115k| 666k|6220 | 0.000000e+00 | 1.000000e+00 | Inf
962.32/962.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.32/962.35 c 962s|490000 | 3083 | 3037k| 6.2 | 78M|1631 | - |3717 | 27k| 0 | 0 | 117k| 681k|6283 | 0.000000e+00 | 1.000000e+00 | Inf
985.02/985.05 c 985s|500000 | 3088 | 3103k| 6.2 | 79M|1631 | 30 |3717 | 27k|3717 | 948 | 119k| 697k|6348 | 0.000000e+00 | 1.000000e+00 | Inf
1010.12/1010.14 c 1010s|510000 | 3197 | 3188k| 6.3 | 81M|1631 | 30 |3717 | 29k|3717 | 931 | 121k| 712k|6408 | 0.000000e+00 | 1.000000e+00 | Inf
1034.72/1034.75 c 1035s|520000 | 3103 | 3271k| 6.3 | 79M|1631 | 29 |3717 | 27k|3717 | 940 | 123k| 729k|6485 | 0.000000e+00 | 1.000000e+00 | Inf
1056.82/1056.85 c 1057s|530000 | 3052 | 3342k| 6.3 | 78M|1631 | - |3717 | 23k| 0 | 0 | 125k| 743k|6544 | 0.000000e+00 | 1.000000e+00 | Inf
1077.52/1077.57 c 1078s|540000 | 3077 | 3411k| 6.3 | 78M|1631 | 22 |3717 | 25k|3717 | 967 | 127k| 757k|6596 | 0.000000e+00 | 1.000000e+00 | Inf
1099.02/1099.06 c 1099s|550000 | 3104 | 3474k| 6.3 | 79M|1631 | - |3717 | 26k| 0 | 0 | 129k| 771k|6636 | 0.000000e+00 | 1.000000e+00 | Inf
1121.03/1121.07 c 1121s|560000 | 3058 | 3539k| 6.3 | 79M|1631 | - |3717 | 25k| 0 | 0 | 130k| 786k|6677 | 0.000000e+00 | 1.000000e+00 | Inf
1142.72/1142.79 c 1143s|570000 | 2991 | 3609k| 6.3 | 78M|1631 | - |3717 | 24k| 0 | 0 | 132k| 800k|6742 | 0.000000e+00 | 1.000000e+00 | Inf
1164.43/1164.48 c 1164s|580000 | 2981 | 3675k| 6.3 | 78M|1631 | 1 |3717 | 24k|3717 | 941 | 134k| 815k|6797 | 0.000000e+00 | 1.000000e+00 | Inf
1184.83/1184.87 c 1185s|590000 | 2901 | 3739k| 6.3 | 76M|1631 | 5 |3717 | 20k|3717 | 944 | 136k| 830k|6851 | 0.000000e+00 | 1.000000e+00 | Inf
1204.62/1204.67 c 1205s|600000 | 3004 | 3803k| 6.3 | 78M|1631 | - |3717 | 25k| 0 | 0 | 138k| 844k|6905 | 0.000000e+00 | 1.000000e+00 | Inf
1225.62/1225.61 c 1226s|610000 | 3014 | 3868k| 6.3 | 80M|1631 | 1 |3717 | 27k|3717 | 955 | 140k| 859k|6946 | 0.000000e+00 | 1.000000e+00 | Inf
1246.82/1246.81 c 1247s|620000 | 2922 | 3933k| 6.3 | 77M|1631 | - |3717 | 21k| 0 | 0 | 143k| 873k|7011 | 0.000000e+00 | 1.000000e+00 | Inf
1266.93/1266.99 c 1267s|630000 | 3019 | 3987k| 6.3 | 79M|1631 | - |3717 | 25k| 0 | 0 | 145k| 887k|7067 | 0.000000e+00 | 1.000000e+00 | Inf
1288.53/1288.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.53/1288.53 c 1289s|640000 | 3131 | 4043k| 6.3 | 80M|1631 | - |3717 | 26k| 0 | 0 | 147k| 901k|7105 | 0.000000e+00 | 1.000000e+00 | Inf
1310.33/1310.31 c 1310s|650000 | 3215 | 4099k| 6.3 | 81M|1631 | 15 |3717 | 26k|3717 | 933 | 148k| 915k|7127 | 0.000000e+00 | 1.000000e+00 | Inf
1331.43/1331.46 c 1331s|660000 | 3200 | 4152k| 6.3 | 81M|1631 | - |3717 | 25k| 0 | 0 | 151k| 929k|7165 | 0.000000e+00 | 1.000000e+00 | Inf
1352.73/1352.72 c 1353s|670000 | 3432 | 4212k| 6.3 | 84M|1631 | 27 |3717 | 28k|3717 | 947 | 152k| 944k|7204 | 0.000000e+00 | 1.000000e+00 | Inf
1373.73/1373.74 c 1374s|680000 | 3483 | 4267k| 6.3 | 85M|1631 | - |3717 | 27k| 0 | 0 | 154k| 960k|7242 | 0.000000e+00 | 1.000000e+00 | Inf
1395.23/1395.21 c 1395s|690000 | 3722 | 4328k| 6.3 | 87M|1631 | - |3717 | 29k| 0 | 0 | 156k| 975k|7278 | 0.000000e+00 | 1.000000e+00 | Inf
1417.13/1417.17 c 1417s|700000 | 3935 | 4390k| 6.3 | 89M|1631 | 33 |3717 | 30k|3717 | 946 | 158k| 991k|7310 | 0.000000e+00 | 1.000000e+00 | Inf
1439.63/1439.65 c 1440s|710000 | 3979 | 4449k| 6.3 | 90M|1631 | - |3717 | 30k| 0 | 0 | 160k|1007k|7350 | 0.000000e+00 | 1.000000e+00 | Inf
1461.13/1461.16 c 1461s|720000 | 3919 | 4505k| 6.3 | 90M|1631 | - |3717 | 30k| 0 | 0 | 162k|1023k|7384 | 0.000000e+00 | 1.000000e+00 | Inf
1482.93/1482.97 c 1483s|730000 | 3889 | 4564k| 6.3 | 89M|1631 | 15 |3717 | 28k|3717 | 940 | 164k|1038k|7408 | 0.000000e+00 | 1.000000e+00 | Inf
1504.24/1504.23 c 1504s|740000 | 3906 | 4621k| 6.2 | 90M|1631 | 20 |3717 | 29k|3717 | 954 | 166k|1053k|7442 | 0.000000e+00 | 1.000000e+00 | Inf
1525.14/1525.10 c 1525s|750000 | 3823 | 4677k| 6.2 | 89M|1631 | 14 |3717 | 26k|3717 | 950 | 168k|1068k|7461 | 0.000000e+00 | 1.000000e+00 | Inf
1545.84/1545.83 c 1546s|760000 | 3727 | 4732k| 6.2 | 89M|1631 | - |3717 | 27k|3717 | 955 | 170k|1084k|7482 | 0.000000e+00 | 1.000000e+00 | Inf
1566.44/1566.40 c 1566s|770000 | 3791 | 4789k| 6.2 | 89M|1631 | - |3717 | 27k| 0 | 0 | 172k|1099k|7517 | 0.000000e+00 | 1.000000e+00 | Inf
1586.33/1586.39 c 1586s|780000 | 3746 | 4846k| 6.2 | 89M|1631 | - |3717 | 27k| 0 | 0 | 174k|1114k|7543 | 0.000000e+00 | 1.000000e+00 | Inf
1607.04/1607.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.04/1607.04 c 1607s|790000 | 3806 | 4903k| 6.2 | 91M|1631 | - |3717 | 29k| 0 | 0 | 176k|1130k|7574 | 0.000000e+00 | 1.000000e+00 | Inf
1627.64/1627.63 c 1628s|800000 | 3781 | 4960k| 6.2 | 90M|1631 | - |3717 | 27k| 0 | 0 | 177k|1145k|7602 | 0.000000e+00 | 1.000000e+00 | Inf
1648.23/1648.23 c 1648s|810000 | 3689 | 5018k| 6.2 | 89M|1631 | - |3717 | 25k| 0 | 0 | 179k|1160k|7629 | 0.000000e+00 | 1.000000e+00 | Inf
1669.64/1669.64 c 1670s|820000 | 3674 | 5076k| 6.2 | 90M|1631 | 24 |3717 | 27k|3717 | 944 | 181k|1175k|7656 | 0.000000e+00 | 1.000000e+00 | Inf
1691.74/1691.76 c 1692s|830000 | 3638 | 5140k| 6.2 | 90M|1631 | 10 |3717 | 29k|3717 | 947 | 183k|1191k|7686 | 0.000000e+00 | 1.000000e+00 | Inf
1713.54/1713.52 c 1713s|840000 | 3771 | 5197k| 6.2 | 92M|1631 | - |3717 | 30k| 0 | 0 | 185k|1205k|7711 | 0.000000e+00 | 1.000000e+00 | Inf
1736.14/1736.18 c 1736s|850000 | 3657 | 5257k| 6.2 | 91M|1631 | 1 |3717 | 28k|3717 | 932 | 186k|1221k|7744 | 0.000000e+00 | 1.000000e+00 | Inf
1759.54/1759.58 c 1760s|860000 | 3649 | 5317k| 6.2 | 92M|1631 | - |3717 | 30k|3717 | 958 | 189k|1236k|7775 | 0.000000e+00 | 1.000000e+00 | Inf
1781.74/1781.72 c 1782s|870000 | 3606 | 5379k| 6.2 | 91M|1631 | - |3717 | 28k| 0 | 0 | 191k|1251k|7804 | 0.000000e+00 | 1.000000e+00 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 873913
1790.04/1790.01 c Primal Bound : +1.00000000000000e+00 (138 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.04 s SATISFIABLE
1790.04/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.04/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.04/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.04/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.04/1790.04 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1790.04/1790.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1790.04/1790.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
1790.04/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 -x54
1790.04/1790.04 v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29
1790.04/1790.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.04/1790.04 v -x1
1790.04/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.04 c Solving Time : 1789.98
1790.04/1790.04 c Original Problem :
1790.04/1790.04 c Problem name : HOME/instance-2705518-1278572954.wbo
1790.04/1790.04 c Variables : 3863 (2047 binary, 0 integer, 1816 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4524 initial, 4524 maximal
1790.04/1790.04 c Presolved Problem :
1790.04/1790.04 c Problem name : t_HOME/instance-2705518-1278572954.wbo
1790.04/1790.04 c Variables : 3717 (1974 binary, 0 integer, 1743 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4324 initial, 35686 maximal
1790.04/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.04 c trivial : 0.00 73 0 0 0 0 0 0 0
1790.04/1790.04 c dualfix : 0.00 73 0 0 0 0 0 0 0
1790.04/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.04 c setppc : 0.00 0 0 0 0 0 22 0 0
1790.04/1790.04 c linear : 0.06 0 0 0 1836 0 105 87 0
1790.04/1790.04 c indicator : 0.00 0 0 0 0 0 73 0 0
1790.04/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c root node : - 3486 - - 3486 - - - -
1790.04/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c integral : 0 0 0 506620 0 38 588 0 0 946190
1790.04/1790.04 c setppc : 41 6 4483312 31494 2 24972 990552 0 0 0
1790.04/1790.04 c linear : 1743 6 4463432 32897 2 203199 19425559 192160 0 0
1790.04/1790.04 c indicator : 1743 0 780292 14874 0 434 1624898 0 0 0
1790.04/1790.04 c logicor : 797+ 6 1730553 8047 2 213431 4244134 0 0 0
1790.04/1790.04 c bounddisjunction : 0+ 0 269825 0 0 290 3616 0 0 0
1790.04/1790.04 c countsols : 0 0 0 8047 1 0 0 0 0 0
1790.04/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.04 c integral : 19.72 0.00 0.00 19.72 0.00
1790.04/1790.04 c setppc : 9.53 0.00 9.50 0.03 0.00
1790.04/1790.04 c linear : 159.55 0.00 157.48 2.07 0.00
1790.04/1790.04 c indicator : 8.62 0.00 7.59 1.03 0.00
1790.04/1790.04 c logicor : 346.84 0.00 346.76 0.08 0.00
1790.04/1790.04 c bounddisjunction : 0.90 0.00 0.90 0.00 0.00
1790.04/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.04 c vbounds : 0.73 20978 0 1041
1790.04/1790.04 c rootredcost : 0.64 34 0 1743
1790.04/1790.04 c pseudoobj : 109.02 4493610 5019 1586606
1790.04/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.04 c propagation : 25.19 446911 446682 2800039 32.9 15234 27.3 -
1790.04/1790.04 c infeasible LP : 5.19 19112 19112 161253 47.8 175 18.2 0
1790.04/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.04 c applied globally : - - - 1258054 25.8 - - -
1790.04/1790.04 c applied locally : - - - 0 0.0 - - -
1790.04/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.04 c cut pool : 0.00 5 - - 9 - (maximal pool size: 238)
1790.04/1790.04 c redcost : 31.04 508238 0 75428 0 0
1790.04/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1790.04/1790.04 c intobj : 0.00 0 0 0 0 0
1790.04/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.04 c gomory : 0.11 6 0 0 1074 0
1790.04/1790.04 c strongcg : 0.10 6 0 0 995 0
1790.04/1790.04 c cmir : 0.02 6 0 0 0 0
1790.04/1790.04 c flowcover : 0.06 6 0 0 0 0
1790.04/1790.04 c clique : 0.00 6 0 0 0 0
1790.04/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.04 c mcf : 0.00 1 0 0 0 0
1790.04/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.04 c Pricers : Time Calls Vars
1790.04/1790.04 c problem variables: 0.00 0 0
1790.04/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c relpscost : 19.24 473575 38 588 0 0 946190
1790.04/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.04 c inference : 1.56 8015 0 0 0 0 16257
1790.04/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c random : 0.00 0 0 0 0 0 0
1790.04/1790.04 c Primal Heuristics : Time Calls Found
1790.04/1790.04 c LP solutions : 0.03 - 33
1790.04/1790.04 c pseudo solutions : 0.00 - 0
1790.04/1790.04 c feaspump : 0.01 1 0
1790.04/1790.04 c oneopt : 0.38 29 0
1790.04/1790.04 c pscostdiving : 0.05 42 0
1790.04/1790.04 c fracdiving : 0.05 42 0
1790.04/1790.04 c veclendiving : 0.06 42 0
1790.04/1790.04 c linesearchdiving : 0.05 42 0
1790.04/1790.04 c guideddiving : 0.06 42 0
1790.04/1790.04 c coefdiving : 0.06 43 0
1790.04/1790.04 c rootsoldiving : 0.07 32 0
1790.04/1790.04 c objpscostdiving : 0.06 32 0
1790.04/1790.04 c crossover : 1.12 25 0
1790.04/1790.04 c trivial : 0.00 2 0
1790.04/1790.04 c simplerounding : 0.77 473806 0
1790.04/1790.04 c zirounding : 0.38 1000 0
1790.04/1790.04 c rounding : 0.97 9713 0
1790.04/1790.04 c shifting : 0.75 3027 0
1790.04/1790.04 c intshifting : 0.01 0 0
1790.04/1790.04 c twoopt : 0.00 0 0
1790.04/1790.04 c fixandinfer : 0.00 0 0
1790.04/1790.04 c intdiving : 0.00 0 0
1790.04/1790.04 c actconsdiving : 0.00 0 0
1790.04/1790.04 c octane : 0.00 0 0
1790.04/1790.04 c rens : 0.03 1 0
1790.04/1790.04 c rins : 0.00 0 0
1790.04/1790.04 c localbranching : 0.00 0 0
1790.04/1790.04 c mutation : 0.00 0 0
1790.04/1790.04 c dins : 0.00 0 0
1790.04/1790.04 c undercover : 0.00 0 0
1790.04/1790.04 c nlp : 0.17 0 0
1790.04/1790.04 c trysol : 0.33 226 105
1790.04/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.04 c dual LP : 564.99 517741 5401762 10.43 9560.74
1790.04/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.04 c diving/probing LP: 0.14 71 1111 15.65 8182.84
1790.04/1790.04 c strong branching : 14.98 7809 172767 22.12 11532.40
1790.04/1790.04 c (at root node) : - 16 1864 116.50 -
1790.04/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.04 c B&B Tree :
1790.04/1790.04 c number of runs : 1
1790.04/1790.04 c nodes : 873913
1790.04/1790.04 c nodes (total) : 873913
1790.04/1790.04 c nodes left : 3562
1790.04/1790.04 c max depth : 1631
1790.04/1790.04 c max depth (total): 1631
1790.04/1790.04 c backtracks : 86285 (9.9%)
1790.04/1790.04 c delayed cutoffs : 76560
1790.04/1790.04 c repropagations : 2212751 (4813507 domain reductions, 73615 cutoffs)
1790.04/1790.04 c avg switch length: 6.48
1790.04/1790.04 c switching time : 293.26
1790.04/1790.04 c Solution :
1790.04/1790.04 c Solutions found : 138 (34 improvements)
1790.04/1790.04 c First Solution : +8.86900000000000e+04 (in run 1, after 17 nodes, 1.30 seconds, depth 17, found by <trysol>)
1790.04/1790.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 155380 nodes, 258.38 seconds, depth 50, found by <relaxation>)
1790.04/1790.04 c Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Gap : infinite
1790.04/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Root Iterations : 302
1790.14/1790.15 c Time complete: 1790.2.