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-2705017-1278574752.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 1863 impl, 0 cont) and 4571 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.04/0.08 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.04/0.09 c (round 3) 51 del vars, 149 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.09/0.10 c (round 4) 128 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.09/0.10 c (round 5) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 138 impls, 5 clqs
0.09/0.11 c (round 6) 132 del vars, 166 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 138 impls, 5 clqs
0.09/0.15 c (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (7 rounds):
0.09/0.15 c 132 deleted vars, 166 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.15 c 3714 implications, 5 cliques
0.09/0.15 c presolved problem has 3825 variables (2028 bin, 0 int, 1797 impl, 0 cont) and 4405 constraints
0.09/0.15 c 55 constraints of type <setppc>
0.09/0.15 c 1797 constraints of type <linear>
0.09/0.15 c 1797 constraints of type <indicator>
0.09/0.15 c 756 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 | 6 | - | 14M| 0 | 0 |3825 |4405 |3825 | 811 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 47 | - | 14M| 0 | 36 |3825 |4405 |3825 | 829 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.2s| 1 | 0 | 79 | - | 14M| 0 | 45 |3825 |4405 |3825 | 865 | 54 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 175 | - | 14M| 0 | 32 |3825 |4405 |3825 | 880 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 333 | - | 15M| 0 | 58 |3825 |4405 |3825 | 904 | 93 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.51 c 0.5s| 1 | 0 | 529 | - | 15M| 0 | 58 |3825 |4405 |3825 | 920 | 109 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.60 c 0.6s| 1 | 0 | 583 | - | 15M| 0 | 68 |3825 |4405 |3825 | 931 | 120 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.05 c 1.0s| 1 | 2 | 583 | - | 15M| 0 | 68 |3825 |4405 |3825 | 931 | 120 | 0 | 17 | 0.000000e+00 | -- | Inf
6.09/6.18 o 90811
6.09/6.18 c y 6.2s| 61 | 60 | 3472 | 48.1 | 15M| 22 | - |3825 |4405 | 0 | 0 | 251 | 0 | 668 | 0.000000e+00 | 9.081100e+04 | Inf
22.49/22.56 c 22.5s| 10000 | 9997 | 23803 | 2.3 | 39M|1541 | 0 |3825 |4410 |3825 | 959 |3275 | 5 |1128 | 0.000000e+00 | 9.081100e+04 | Inf
23.69/23.72 o 404
23.69/23.72 c *23.7s| 11235 | 9796 | 23899 | 2.1 | 38M|1541 | - |3825 |4410 |3825 | 959 |3280 | 5 |1129 | 0.000000e+00 | 4.040000e+02 | Inf
28.99/29.07 o 378
28.99/29.07 c *29.0s| 13704 | 11118 | 35520 | 2.5 | 44M|1541 | - |3825 |5373 |3825 | 969 |4563 |1015 |1208 | 0.000000e+00 | 3.780000e+02 | Inf
29.09/29.19 o 329
29.09/29.19 c *29.2s| 13766 | 9587 | 35637 | 2.5 | 41M|1541 | - |3825 |5384 |3825 | 967 |4585 |1029 |1208 | 0.000000e+00 | 3.290000e+02 | Inf
31.10/31.14 o 321
31.10/31.14 c *31.1s| 14661 | 9944 | 38886 | 2.6 | 43M|1541 | - |3825 |5734 |3825 | 978 |5046 |1445 |1220 | 0.000000e+00 | 3.210000e+02 | Inf
31.10/31.14 o 309
31.10/31.14 c *31.1s| 14662 | 9524 | 38886 | 2.6 | 42M|1541 | - |3825 |5734 |3825 | 978 |5046 |1445 |1220 | 0.000000e+00 | 3.090000e+02 | Inf
33.19/33.27 o 299
33.19/33.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.19/33.27 c *33.2s| 15572 | 9756 | 42583 | 2.7 | 44M|1541 | - |3825 |6075 |3825 | 960 |5518 |1949 |1226 | 0.000000e+00 | 2.990000e+02 | Inf
35.60/35.61 o 290
35.60/35.61 c *35.6s| 16580 | 10091 | 47851 | 2.9 | 45M|1541 | - |3825 |6481 |3825 | 969 |6265 |2489 |1231 | 0.000000e+00 | 2.900000e+02 | Inf
37.19/37.20 o 286
37.19/37.20 c *37.2s| 17235 | 10332 | 51664 | 3.0 | 47M|1541 | - |3825 |6801 |3825 | 965 |6877 |2919 |1236 | 0.000000e+00 | 2.860000e+02 | Inf
38.50/38.57 o 268
38.50/38.57 c *38.5s| 17899 | 10045 | 53705 | 3.0 | 47M|1541 | - |3825 |7051 |3825 | 971 |7124 |3276 |1238 | 0.000000e+00 | 2.680000e+02 | Inf
38.59/38.67 o 208
38.59/38.67 c *38.6s| 17964 | 8179 | 53754 | 3.0 | 41M|1541 | - |3825 |7059 |3825 | 972 |7133 |3285 |1238 | 0.000000e+00 | 2.080000e+02 | Inf
40.39/40.41 o 182
40.39/40.41 c *40.4s| 18624 | 7539 | 57281 | 3.0 | 40M|1541 | - |3825 |7323 |3825 | 961 |7609 |3712 |1243 | 0.000000e+00 | 1.820000e+02 | Inf
43.89/43.91 c 43.9s| 20000 | 8152 | 64780 | 3.2 | 43M|1541 | 9 |3825 |7713 |3825 | 976 |8371 |4648 |1292 | 0.000000e+00 | 1.820000e+02 | Inf
43.89/43.96 o 180
43.89/43.96 c *43.9s| 20013 | 8089 | 64907 | 3.2 | 43M|1541 | - |3825 |7714 |3825 | 989 |8384 |4650 |1292 | 0.000000e+00 | 1.800000e+02 | Inf
44.39/44.44 o 150
44.39/44.44 c *44.4s| 20173 | 6975 | 66219 | 3.3 | 41M|1541 | - |3825 |7757 |3825 | 986 |8519 |4774 |1293 | 0.000000e+00 | 1.500000e+02 | Inf
44.39/44.44 o 144
44.39/44.44 c *44.4s| 20174 | 6680 | 66219 | 3.3 | 41M|1541 | - |3825 |7757 |3825 | 986 |8519 |4774 |1293 | 0.000000e+00 | 1.440000e+02 | Inf
44.49/44.51 o 130
44.49/44.51 c *44.5s| 20192 | 5882 | 66309 | 3.3 | 39M|1541 | - |3825 |7753 |3825 | 960 |8528 |4779 |1293 | 0.000000e+00 | 1.300000e+02 | Inf
44.59/44.65 o 121
44.59/44.65 c *44.6s| 20296 | 5423 | 66571 | 3.3 | 38M|1541 | - |3825 |7763 |3825 | 965 |8556 |4806 |1295 | 0.000000e+00 | 1.210000e+02 | Inf
45.39/45.45 o 117
45.39/45.45 c *45.4s| 20524 | 5337 | 69166 | 3.3 | 38M|1541 | - |3825 |7700 |3825 | 969 |8766 |4979 |1297 | 0.000000e+00 | 1.170000e+02 | Inf
46.89/46.90 o 83
46.89/46.90 c *46.9s| 21259 | 3873 | 71987 | 3.4 | 36M|1541 | - |3825 |7686 |3825 | 979 |9214 |5298 |1298 | 0.000000e+00 | 8.300000e+01 | Inf
46.99/47.04 o 73
46.99/47.04 c *47.0s| 21298 | 3374 | 72359 | 3.4 | 34M|1541 | - |3825 |7268 |3825 | 959 |9250 |5314 |1298 | 0.000000e+00 | 7.300000e+01 | Inf
47.09/47.15 o 67
47.09/47.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.09/47.15 c *47.1s| 21316 | 3090 | 72638 | 3.4 | 34M|1541 | - |3825 |6968 |3825 | 968 |9288 |5329 |1299 | 0.000000e+00 | 6.700000e+01 | Inf
47.09/47.15 o 63
47.09/47.15 c *47.1s| 21317 | 2853 | 72639 | 3.4 | 33M|1541 | - |3825 |6968 |3825 | 968 |9288 |5329 |1299 | 0.000000e+00 | 6.300000e+01 | Inf
47.09/47.18 o 52
47.09/47.18 c *47.2s| 21323 | 2302 | 72692 | 3.4 | 31M|1541 | - |3825 |6687 |3825 | 970 |9296 |5329 |1299 | 0.000000e+00 | 5.200000e+01 | Inf
47.19/47.23 o 48
47.19/47.23 c *47.2s| 21328 | 1633 | 73038 | 3.4 | 28M|1541 | - |3825 |6376 |3825 | 933 |9304 |5329 |1299 | 0.000000e+00 | 4.800000e+01 | Inf
48.69/48.71 o 45
48.69/48.71 c *48.7s| 21825 | 1514 | 81216 | 3.7 | 28M|1541 | - |3825 |6296 |3825 | 939 |9508 |5905 |1300 | 0.000000e+00 | 4.500000e+01 | Inf
48.99/49.09 o 34
48.99/49.09 c *49.1s| 22011 | 1337 | 82560 | 3.7 | 28M|1541 | - |3825 |5791 |3825 | 929 |9521 |6098 |1300 | 0.000000e+00 | 3.400000e+01 | Inf
51.39/51.41 o 28
51.39/51.41 c *51.4s| 23086 | 1300 | 92228 | 4.0 | 28M|1541 | - |3825 |5648 |3825 | 927 |9788 |7443 |1352 | 0.000000e+00 | 2.800000e+01 | Inf
58.30/58.30 o 21
58.30/58.30 c *58.3s| 27106 | 1250 |113917 | 4.2 | 30M|1541 | - |3825 |6713 |3825 | 973 | 10k| 12k|1360 | 0.000000e+00 | 2.100000e+01 | Inf
62.39/62.48 o 15
62.39/62.48 c *62.5s| 29750 | 1084 |125048 | 4.2 | 29M|1541 | - |3825 |6759 |3825 | 938 | 11k| 16k|1418 | 0.000000e+00 | 1.500000e+01 | Inf
62.79/62.83 c 62.8s| 30000 | 1080 |125770 | 4.2 | 29M|1541 | 15 |3825 |6546 |3825 | 929 | 11k| 16k|1418 | 0.000000e+00 | 1.500000e+01 | Inf
78.70/78.78 c 78.8s| 40000 | 1258 |188434 | 4.7 | 32M|1541 | - |3825 |7055 | 0 | 0 | 13k| 29k|1430 | 0.000000e+00 | 1.500000e+01 | Inf
91.59/91.65 o 14
91.59/91.65 c *91.6s| 48114 | 1312 |229052 | 4.7 | 34M|1541 | - |3825 | 11k|3825 | 980 | 15k| 39k|1430 | 0.000000e+00 | 1.400000e+01 | Inf
94.80/94.85 c 94.8s| 50000 | 1358 |239868 | 4.8 | 33M|1541 | - |3825 |8173 | 0 | 0 | 15k| 42k|1431 | 0.000000e+00 | 1.400000e+01 | Inf
102.50/102.56 o 12
102.50/102.56 c * 103s| 55022 | 1433 |263861 | 4.8 | 35M|1541 | - |3825 | 10k|3825 | 967 | 17k| 49k|1431 | 0.000000e+00 | 1.200000e+01 | Inf
102.90/102.99 o 10
102.90/102.99 c * 103s| 55263 | 1398 |264883 | 4.8 | 35M|1541 | - |3825 | 10k|3825 | 955 | 17k| 50k|1431 | 0.000000e+00 | 1.000000e+01 | Inf
106.39/106.49 o 9
106.39/106.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.39/106.49 c * 106s| 57459 | 1376 |276999 | 4.8 | 35M|1541 | - |3825 | 10k|3825 | 956 | 17k| 53k|1431 | 0.000000e+00 | 9.000000e+00 | Inf
110.49/110.55 c 111s| 60000 | 1351 |291651 | 4.9 | 34M|1541 | 28 |3825 |8794 |3825 | 944 | 18k| 57k|1431 | 0.000000e+00 | 9.000000e+00 | Inf
125.99/126.01 c 126s| 70000 | 1360 |351013 | 5.0 | 35M|1541 | 14 |3825 |7846 |3825 | 942 | 20k| 70k|1431 | 0.000000e+00 | 9.000000e+00 | Inf
141.59/141.62 c 142s| 80000 | 1359 |408807 | 5.1 | 36M|1541 | 25 |3825 |9848 |3825 | 925 | 23k| 84k|1507 | 0.000000e+00 | 9.000000e+00 | Inf
158.00/158.09 c 158s| 90000 | 1490 |464730 | 5.2 | 38M|1541 | - |3825 | 10k| 0 | 0 | 25k| 97k|1598 | 0.000000e+00 | 9.000000e+00 | Inf
174.49/174.50 c 174s|100000 | 1637 |522711 | 5.2 | 40M|1541 | 18 |3825 | 10k|3825 | 947 | 27k| 111k|1743 | 0.000000e+00 | 9.000000e+00 | Inf
181.40/181.43 o 6
181.40/181.43 c * 181s|104288 | 1542 |547682 | 5.2 | 39M|1541 | - |3825 | 10k|3825 | 970 | 28k| 117k|1803 | 0.000000e+00 | 6.000000e+00 | Inf
190.80/190.80 c 191s|110000 | 1653 |584100 | 5.3 | 40M|1541 | 21 |3825 | 10k|3825 | 962 | 29k| 124k|1878 | 0.000000e+00 | 6.000000e+00 | Inf
206.70/206.76 c 207s|120000 | 1603 |641585 | 5.3 | 40M|1541 | 21 |3825 |8203 |3825 | 954 | 31k| 138k|2012 | 0.000000e+00 | 6.000000e+00 | Inf
222.50/222.59 c 223s|130000 | 1610 |701713 | 5.4 | 41M|1541 | - |3825 | 11k| 0 | 0 | 33k| 152k|2139 | 0.000000e+00 | 6.000000e+00 | Inf
239.20/239.22 c 239s|140000 | 1700 |756131 | 5.4 | 43M|1541 | 1 |3825 | 12k|3825 | 947 | 35k| 166k|2219 | 0.000000e+00 | 6.000000e+00 | Inf
255.89/255.99 c 256s|150000 | 1746 |809675 | 5.4 | 45M|1541 | 17 |3825 | 17k|3825 | 963 | 37k| 181k|2320 | 0.000000e+00 | 6.000000e+00 | Inf
274.70/274.72 c 275s|160000 | 1731 |864823 | 5.4 | 45M|1541 | - |3825 | 14k| 0 | 0 | 39k| 196k|2450 | 0.000000e+00 | 6.000000e+00 | Inf
292.20/292.25 c 292s|170000 | 1741 |926428 | 5.4 | 45M|1541 | - |3825 | 13k| 0 | 0 | 41k| 211k|2581 | 0.000000e+00 | 6.000000e+00 | Inf
310.00/310.03 c 310s|180000 | 1815 |984243 | 5.5 | 48M|1541 | 9 |3825 | 19k|3825 | 954 | 44k| 226k|2641 | 0.000000e+00 | 6.000000e+00 | Inf
328.61/328.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.61/328.60 c 329s|190000 | 1811 | 1040k| 5.5 | 47M|1541 | 17 |3825 | 18k|3825 | 966 | 45k| 240k|2757 | 0.000000e+00 | 6.000000e+00 | Inf
347.80/347.85 c 348s|200000 | 1950 | 1101k| 5.5 | 50M|1541 | - |3825 | 19k|3825 | 955 | 47k| 255k|2853 | 0.000000e+00 | 6.000000e+00 | Inf
367.00/367.05 c 367s|210000 | 2004 | 1161k| 5.5 | 51M|1541 | - |3825 | 20k|3825 | 967 | 49k| 269k|2926 | 0.000000e+00 | 6.000000e+00 | Inf
385.50/385.56 c 386s|220000 | 1739 | 1224k| 5.6 | 44M|1541 | 28 |3825 |9446 |3825 | 955 | 51k| 284k|3163 | 0.000000e+00 | 6.000000e+00 | Inf
389.00/389.07 o 4
389.00/389.07 c * 389s|222222 | 1581 | 1237k| 5.6 | 42M|1541 | - |3825 |9274 |3825 | 937 | 52k| 287k|3163 | 0.000000e+00 | 4.000000e+00 | Inf
401.20/401.27 c 401s|230000 | 1588 | 1277k| 5.5 | 43M|1541 | 21 |3825 | 11k|3825 | 949 | 53k| 297k|3257 | 0.000000e+00 | 4.000000e+00 | Inf
417.60/417.60 c 418s|240000 | 1408 | 1335k| 5.6 | 41M|1541 | 6 |3825 |9307 |3825 | 944 | 55k| 311k|3470 | 0.000000e+00 | 4.000000e+00 | Inf
434.41/434.43 c 434s|250000 | 1507 | 1396k| 5.6 | 43M|1541 | 1 |3825 | 11k|3825 | 950 | 57k| 323k|3595 | 0.000000e+00 | 4.000000e+00 | Inf
452.11/452.12 c 452s|260000 | 1650 | 1459k| 5.6 | 45M|1541 | 20 |3825 | 12k|3825 | 945 | 59k| 336k|3708 | 0.000000e+00 | 4.000000e+00 | Inf
470.00/470.00 c 470s|270000 | 1637 | 1522k| 5.6 | 46M|1541 | 1 |3825 | 13k|3825 | 935 | 61k| 349k|3795 | 0.000000e+00 | 4.000000e+00 | Inf
487.32/487.38 c 487s|280000 | 1385 | 1586k| 5.7 | 42M|1541 | 1 |3825 |9676 |3825 | 928 | 63k| 363k|3893 | 0.000000e+00 | 4.000000e+00 | Inf
503.30/503.31 c 503s|290000 | 1453 | 1636k| 5.6 | 44M|1541 | - |3825 | 15k| 0 | 0 | 65k| 376k|3957 | 0.000000e+00 | 4.000000e+00 | Inf
520.51/520.53 c 521s|300000 | 1372 | 1692k| 5.6 | 42M|1541 | - |3825 | 10k| 0 | 0 | 67k| 389k|4077 | 0.000000e+00 | 4.000000e+00 | Inf
537.51/537.55 c 538s|310000 | 1484 | 1750k| 5.6 | 44M|1541 | 23 |3825 | 13k|3825 | 952 | 69k| 401k|4151 | 0.000000e+00 | 4.000000e+00 | Inf
555.20/555.27 c 555s|320000 | 1528 | 1805k| 5.6 | 47M|1541 | - |3825 | 15k| 0 | 0 | 71k| 414k|4212 | 0.000000e+00 | 4.000000e+00 | Inf
571.71/571.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.71/571.72 c 572s|330000 | 1353 | 1853k| 5.6 | 44M|1541 | 10 |3825 | 15k|3825 | 948 | 73k| 428k|4278 | 0.000000e+00 | 4.000000e+00 | Inf
588.51/588.57 c 589s|340000 | 1299 | 1904k| 5.6 | 44M|1541 | - |3825 | 16k| 0 | 0 | 75k| 442k|4348 | 0.000000e+00 | 4.000000e+00 | Inf
606.12/606.15 c 606s|350000 | 1281 | 1961k| 5.6 | 44M|1541 | - |3825 | 15k| 0 | 0 | 77k| 456k|4434 | 0.000000e+00 | 4.000000e+00 | Inf
623.91/623.96 c 624s|360000 | 1238 | 2013k| 5.6 | 43M|1541 | 24 |3825 | 15k|3825 | 962 | 79k| 470k|4516 | 0.000000e+00 | 4.000000e+00 | Inf
640.71/640.78 c 641s|370000 | 1152 | 2068k| 5.6 | 41M|1541 | - |3825 | 11k| 0 | 0 | 81k| 483k|4622 | 0.000000e+00 | 4.000000e+00 | Inf
657.21/657.22 c 657s|380000 | 1008 | 2122k| 5.6 | 40M|1541 | 9 |3825 | 10k|3825 | 930 | 83k| 496k|4671 | 0.000000e+00 | 4.000000e+00 | Inf
674.51/674.54 c 675s|390000 | 1018 | 2185k| 5.6 | 42M|1541 | 12 |3825 | 16k|3825 | 971 | 86k| 509k|4746 | 0.000000e+00 | 4.000000e+00 | Inf
694.02/694.08 c 694s|400000 | 1062 | 2252k| 5.6 | 43M|1541 | 17 |3825 | 18k|3825 | 962 | 87k| 524k|4824 | 0.000000e+00 | 4.000000e+00 | Inf
712.21/712.21 c 712s|410000 | 983 | 2307k| 5.6 | 40M|1541 | - |3825 | 11k| 0 | 0 | 89k| 537k|4938 | 0.000000e+00 | 4.000000e+00 | Inf
728.51/728.56 c 729s|420000 | 1159 | 2359k| 5.6 | 42M|1541 | - |3825 | 14k| 0 | 0 | 92k| 550k|5007 | 0.000000e+00 | 4.000000e+00 | Inf
746.22/746.27 c 746s|430000 | 1254 | 2415k| 5.6 | 43M|1541 | - |3825 | 14k| 0 | 0 | 94k| 564k|5079 | 0.000000e+00 | 4.000000e+00 | Inf
763.32/763.36 c 763s|440000 | 1405 | 2470k| 5.6 | 46M|1541 | - |3825 | 18k| 0 | 0 | 97k| 577k|5148 | 0.000000e+00 | 4.000000e+00 | Inf
781.51/781.55 c 782s|450000 | 1463 | 2528k| 5.6 | 46M|1541 | - |3825 | 18k| 0 | 0 | 99k| 592k|5203 | 0.000000e+00 | 4.000000e+00 | Inf
800.32/800.34 c 800s|460000 | 1532 | 2583k| 5.6 | 49M|1541 | 1 |3825 | 22k|3825 | 956 | 101k| 607k|5236 | 0.000000e+00 | 4.000000e+00 | Inf
819.52/819.55 c 820s|470000 | 1575 | 2639k| 5.6 | 48M|1541 | 1 |3825 | 19k|3825 | 975 | 103k| 621k|5292 | 0.000000e+00 | 4.000000e+00 | Inf
837.32/837.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.32/837.33 c 837s|480000 | 1621 | 2695k| 5.6 | 49M|1541 | - |3825 | 20k| 0 | 0 | 105k| 635k|5355 | 0.000000e+00 | 4.000000e+00 | Inf
855.72/855.72 c 856s|490000 | 1721 | 2752k| 5.6 | 49M|1541 | - |3825 | 16k| 0 | 0 | 108k| 649k|5426 | 0.000000e+00 | 4.000000e+00 | Inf
873.51/873.51 c 873s|500000 | 1741 | 2808k| 5.6 | 50M|1541 | 14 |3825 | 16k|3825 | 967 | 110k| 663k|5496 | 0.000000e+00 | 4.000000e+00 | Inf
882.02/882.02 o 2
882.02/882.02 c * 882s|505003 | 1661 | 2836k| 5.6 | 49M|1541 | - |3825 | 18k|3825 | 981 | 111k| 670k|5496 | 0.000000e+00 | 2.000000e+00 | Inf
891.22/891.20 c 891s|510000 | 1673 | 2868k| 5.6 | 50M|1541 | - |3825 | 20k| 0 | 0 | 112k| 678k|5546 | 0.000000e+00 | 2.000000e+00 | Inf
909.42/909.48 c 909s|520000 | 1725 | 2928k| 5.6 | 48M|1541 | 16 |3825 | 13k|3825 | 925 | 114k| 691k|5597 | 0.000000e+00 | 2.000000e+00 | Inf
927.23/927.22 c 927s|530000 | 1829 | 2989k| 5.6 | 51M|1541 | - |3825 | 18k| 0 | 0 | 117k| 704k|5643 | 0.000000e+00 | 2.000000e+00 | Inf
945.32/945.31 c 945s|540000 | 1829 | 3045k| 5.6 | 52M|1541 | - |3825 | 19k| 0 | 0 | 120k| 718k|5702 | 0.000000e+00 | 2.000000e+00 | Inf
965.42/965.47 c 965s|550000 | 1929 | 3102k| 5.6 | 54M|1541 | 12 |3825 | 21k|3825 | 981 | 122k| 732k|5762 | 0.000000e+00 | 2.000000e+00 | Inf
986.03/986.03 c 986s|560000 | 2250 | 3160k| 5.6 | 58M|1541 | - |3825 | 27k| 0 | 0 | 125k| 747k|5829 | 0.000000e+00 | 2.000000e+00 | Inf
1006.93/1006.94 c 1007s|570000 | 2342 | 3219k| 5.6 | 58M|1541 | - |3825 | 25k| 0 | 0 | 128k| 761k|5889 | 0.000000e+00 | 2.000000e+00 | Inf
1028.22/1028.25 c 1028s|580000 | 2452 | 3282k| 5.7 | 60M|1541 | 12 |3825 | 26k|3825 | 969 | 130k| 776k|5944 | 0.000000e+00 | 2.000000e+00 | Inf
1050.23/1050.25 c 1050s|590000 | 2561 | 3344k| 5.7 | 62M|1541 | 5 |3825 | 29k|3825 | 965 | 133k| 791k|5987 | 0.000000e+00 | 2.000000e+00 | Inf
1071.62/1071.66 c 1072s|600000 | 2041 | 3408k| 5.7 | 53M|1541 | - |3825 | 14k| 0 | 0 | 136k| 806k|6031 | 0.000000e+00 | 2.000000e+00 | Inf
1089.42/1089.48 c 1089s|610000 | 1295 | 3464k| 5.7 | 45M|1541 | - |3825 | 11k| 0 | 0 | 139k| 821k|6247 | 0.000000e+00 | 2.000000e+00 | Inf
1106.53/1106.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.53/1106.53 c 1107s|620000 | 1284 | 3527k| 5.7 | 45M|1541 | - |3825 | 12k|3825 | 983 | 141k| 835k|6320 | 0.000000e+00 | 2.000000e+00 | Inf
1122.63/1122.63 c 1123s|630000 | 1241 | 3583k| 5.7 | 45M|1541 | - |3825 | 13k| 0 | 0 | 143k| 849k|6360 | 0.000000e+00 | 2.000000e+00 | Inf
1140.03/1140.08 c 1140s|640000 | 1166 | 3642k| 5.7 | 44M|1541 | - |3825 | 14k| 0 | 0 | 146k| 861k|6408 | 0.000000e+00 | 2.000000e+00 | Inf
1158.62/1158.67 c 1159s|650000 | 1216 | 3706k| 5.7 | 45M|1541 | - |3825 | 14k| 0 | 0 | 148k| 874k|6490 | 0.000000e+00 | 2.000000e+00 | Inf
1177.53/1177.51 c 1177s|660000 | 1299 | 3768k| 5.7 | 47M|1541 | - |3825 | 17k| 0 | 0 | 151k| 887k|6551 | 0.000000e+00 | 2.000000e+00 | Inf
1198.53/1198.59 c 1199s|670000 | 1361 | 3829k| 5.7 | 48M|1541 | - |3825 | 20k| 0 | 0 | 153k| 901k|6588 | 0.000000e+00 | 2.000000e+00 | Inf
1218.63/1218.70 c 1219s|680000 | 1461 | 3893k| 5.7 | 49M|1541 | - |3825 | 19k| 0 | 0 | 156k| 914k|6617 | 0.000000e+00 | 2.000000e+00 | Inf
1239.03/1239.05 c 1239s|690000 | 1556 | 3946k| 5.7 | 52M|1541 | 12 |3825 | 23k|3825 | 962 | 159k| 928k|6671 | 0.000000e+00 | 2.000000e+00 | Inf
1253.73/1253.75 o 1
1253.73/1253.75 c *1254s|696890 | 1649 | 3987k| 5.7 | 52M|1541 | - |3825 | 22k|3825 | 936 | 161k| 937k|6726 | 0.000000e+00 | 1.000000e+00 | Inf
1260.14/1260.12 c 1260s|700000 | 1665 | 4004k| 5.7 | 52M|1541 | 1 |3825 | 20k|3825 | 934 | 161k| 941k|6739 | 0.000000e+00 | 1.000000e+00 | Inf
1281.44/1281.43 c 1281s|710000 | 1841 | 4064k| 5.7 | 55M|1541 | - |3825 | 24k| 0 | 0 | 163k| 954k|6785 | 0.000000e+00 | 1.000000e+00 | Inf
1301.93/1301.91 c 1302s|720000 | 1731 | 4121k| 5.7 | 53M|1541 | - |3825 | 17k| 0 | 0 | 165k| 968k|6818 | 0.000000e+00 | 1.000000e+00 | Inf
1321.23/1321.28 c 1321s|730000 | 2047 | 4176k| 5.7 | 56M|1541 | 16 |3825 | 20k|3825 | 957 | 167k| 981k|6878 | 0.000000e+00 | 1.000000e+00 | Inf
1341.13/1341.13 c 1341s|740000 | 2113 | 4232k| 5.7 | 57M|1541 | 1 |3825 | 21k|3825 | 971 | 169k| 995k|6939 | 0.000000e+00 | 1.000000e+00 | Inf
1361.54/1361.52 c 1361s|750000 | 2185 | 4291k| 5.7 | 59M|1541 | - |3825 | 21k| 0 | 0 | 171k|1009k|6964 | 0.000000e+00 | 1.000000e+00 | Inf
1382.23/1382.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.23/1382.21 c 1382s|760000 | 2251 | 4348k| 5.7 | 60M|1541 | - |3825 | 24k| 0 | 0 | 173k|1023k|6999 | 0.000000e+00 | 1.000000e+00 | Inf
1404.54/1404.50 c 1404s|770000 | 2322 | 4405k| 5.7 | 62M|1541 | 13 |3825 | 25k|3825 | 964 | 175k|1036k|7054 | 0.000000e+00 | 1.000000e+00 | Inf
1426.84/1426.83 c 1427s|780000 | 2413 | 4469k| 5.7 | 63M|1541 | 20 |3825 | 25k|3825 | 962 | 177k|1050k|7103 | 0.000000e+00 | 1.000000e+00 | Inf
1449.53/1449.55 c 1450s|790000 | 2510 | 4531k| 5.7 | 64M|1541 | - |3825 | 25k| 0 | 0 | 178k|1063k|7126 | 0.000000e+00 | 1.000000e+00 | Inf
1472.54/1472.58 c 1473s|800000 | 2624 | 4598k| 5.7 | 66M|1541 | 1 |3825 | 27k|3825 | 978 | 180k|1077k|7170 | 0.000000e+00 | 1.000000e+00 | Inf
1496.05/1496.01 c 1496s|810000 | 2768 | 4663k| 5.8 | 68M|1541 | - |3825 | 29k| 0 | 0 | 182k|1091k|7221 | 0.000000e+00 | 1.000000e+00 | Inf
1519.34/1519.32 c 1519s|820000 | 2716 | 4729k| 5.8 | 67M|1541 | 1 |3825 | 25k|3825 | 942 | 184k|1105k|7289 | 0.000000e+00 | 1.000000e+00 | Inf
1541.34/1541.32 c 1541s|830000 | 2779 | 4786k| 5.8 | 68M|1541 | - |3825 | 23k| 0 | 0 | 186k|1118k|7311 | 0.000000e+00 | 1.000000e+00 | Inf
1561.44/1561.44 c 1561s|840000 | 2197 | 4844k| 5.8 | 61M|1541 | - |3825 | 18k|3825 | 952 | 188k|1132k|7355 | 0.000000e+00 | 1.000000e+00 | Inf
1580.75/1580.74 c 1581s|850000 | 2130 | 4900k| 5.8 | 61M|1541 | 1 |3825 | 21k|3825 | 950 | 190k|1146k|7400 | 0.000000e+00 | 1.000000e+00 | Inf
1600.14/1600.14 c 1600s|860000 | 2004 | 4959k| 5.8 | 60M|1541 | - |3825 | 20k| 0 | 0 | 192k|1159k|7443 | 0.000000e+00 | 1.000000e+00 | Inf
1619.74/1619.74 c 1620s|870000 | 2099 | 5016k| 5.8 | 61M|1541 | 15 |3825 | 22k|3825 | 948 | 195k|1173k|7465 | 0.000000e+00 | 1.000000e+00 | Inf
1639.94/1639.92 c 1640s|880000 | 2191 | 5071k| 5.8 | 64M|1541 | 18 |3825 | 27k|3825 | 951 | 197k|1186k|7525 | 0.000000e+00 | 1.000000e+00 | Inf
1661.64/1661.64 c 1662s|890000 | 2198 | 5128k| 5.8 | 64M|1541 | 10 |3825 | 24k|3825 | 947 | 199k|1199k|7572 | 0.000000e+00 | 1.000000e+00 | Inf
1682.75/1682.71 c 1683s|900000 | 2192 | 5187k| 5.8 | 63M|1541 | 15 |3825 | 22k|3825 | 925 | 202k|1213k|7660 | 0.000000e+00 | 1.000000e+00 | Inf
1704.34/1704.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.34/1704.39 c 1704s|910000 | 2294 | 5241k| 5.8 | 66M|1541 | 23 |3825 | 28k|3825 | 963 | 204k|1226k|7687 | 0.000000e+00 | 1.000000e+00 | Inf
1726.64/1726.65 c 1727s|920000 | 2512 | 5298k| 5.8 | 67M|1541 | - |3825 | 26k| 0 | 0 | 207k|1240k|7750 | 0.000000e+00 | 1.000000e+00 | Inf
1747.85/1747.84 c 1748s|930000 | 2609 | 5351k| 5.8 | 69M|1541 | 23 |3825 | 29k|3825 | 944 | 209k|1254k|7797 | 0.000000e+00 | 1.000000e+00 | Inf
1770.95/1770.91 c 1771s|940000 | 2662 | 5406k| 5.8 | 71M|1541 | 1 |3825 | 32k|3825 | 956 | 211k|1269k|7797 | 0.000000e+00 | 1.000000e+00 | Inf
1790.05/1790.01 c
1790.05/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.01 c Solving Time (sec) : 1789.98
1790.05/1790.01 c Solving Nodes : 947722
1790.05/1790.01 c Primal Bound : +1.00000000000000e+00 (143 solutions)
1790.05/1790.01 c Dual Bound : +0.00000000000000e+00
1790.05/1790.01 c Gap : infinite
1790.05/1790.05 s SATISFIABLE
1790.05/1790.05 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.05/1790.05 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.05/1790.05 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.05/1790.05 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1790.05/1790.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1790.05/1790.05 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1790.05/1790.05 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.05/1790.05 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.05/1790.05 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.05/1790.05 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.05/1790.05 v -x1
1790.05/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.05 c Solving Time : 1789.98
1790.05/1790.05 c Original Problem :
1790.05/1790.05 c Problem name : HOME/instance-2705017-1278574752.wbo
1790.05/1790.05 c Variables : 3957 (2094 binary, 0 integer, 1863 implicit integer, 0 continuous)
1790.05/1790.05 c Constraints : 4571 initial, 4571 maximal
1790.05/1790.05 c Presolved Problem :
1790.05/1790.05 c Problem name : t_HOME/instance-2705017-1278574752.wbo
1790.05/1790.05 c Variables : 3825 (2028 binary, 0 integer, 1797 implicit integer, 0 continuous)
1790.05/1790.05 c Constraints : 4405 initial, 34778 maximal
1790.05/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.05/1790.05 c trivial : 0.00 66 0 0 0 0 0 0 0
1790.05/1790.05 c dualfix : 0.00 66 0 0 0 0 0 0 0
1790.05/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c implics : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c probing : 0.04 0 0 0 0 0 0 0 0
1790.05/1790.05 c setppc : 0.00 0 0 0 0 0 13 0 0
1790.05/1790.05 c linear : 0.06 0 0 0 1878 0 87 72 0
1790.05/1790.05 c indicator : 0.00 0 0 0 0 0 66 0 0
1790.05/1790.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.05 c root node : - 3594 - - 3594 - - - -
1790.05/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.05/1790.05 c integral : 0 0 0 549894 0 30 690 0 0 1011688
1790.05/1790.05 c setppc : 55 6 4928552 41657 1 4719 952769 0 0 0
1790.05/1790.05 c linear : 1797 6 4933907 43389 1 291550 22344937 213808 0 0
1790.05/1790.05 c indicator : 1797 0 3416096 36811 0 185 943330 0 0 0
1790.05/1790.05 c logicor : 756+ 6 1721829 16705 1 168291 3966584 0 0 0
1790.05/1790.05 c bounddisjunction : 0+ 0 166149 0 0 578 4373 0 0 0
1790.05/1790.05 c countsols : 0 0 0 16705 1 0 0 0 0 0
1790.05/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.05/1790.05 c integral : 23.18 0.00 0.00 23.18 0.00
1790.05/1790.05 c setppc : 7.71 0.00 7.67 0.04 0.00
1790.05/1790.05 c linear : 170.88 0.00 168.37 2.51 0.00
1790.05/1790.05 c indicator : 12.36 0.01 9.96 2.38 0.00
1790.05/1790.05 c logicor : 280.25 0.00 280.05 0.19 0.00
1790.05/1790.05 c bounddisjunction : 0.75 0.00 0.75 0.00 0.00
1790.05/1790.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.05/1790.05 c Propagators : Time Calls Cutoffs DomReds
1790.05/1790.05 c vbounds : 0.76 9542 0 1927
1790.05/1790.05 c rootredcost : 0.69 37 0 1797
1790.05/1790.05 c pseudoobj : 125.72 4941450 2670 872329
1790.05/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.05/1790.05 c propagation : 22.14 467808 467520 2742096 27.2 16050 24.5 -
1790.05/1790.05 c infeasible LP : 7.72 29328 29328 230187 44.0 378 17.7 0
1790.05/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.05/1790.05 c applied globally : - - - 1279870 22.4 - - -
1790.05/1790.05 c applied locally : - - - 0 0.0 - - -
1790.05/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.05/1790.05 c cut pool : 0.00 4 - - 29 - (maximal pool size: 303)
1790.05/1790.05 c redcost : 35.69 551304 0 87152 0 0
1790.05/1790.05 c impliedbounds : 0.00 5 0 0 0 0
1790.05/1790.05 c intobj : 0.00 0 0 0 0 0
1790.05/1790.05 c cgmip : 0.00 0 0 0 0 0
1790.05/1790.05 c gomory : 0.11 5 0 0 1136 0
1790.05/1790.05 c strongcg : 0.11 5 0 0 1448 0
1790.05/1790.05 c cmir : 0.04 5 0 0 5 0
1790.05/1790.05 c flowcover : 0.05 5 0 0 6 0
1790.05/1790.05 c clique : 0.00 5 0 0 0 0
1790.05/1790.05 c zerohalf : 0.00 0 0 0 0 0
1790.05/1790.05 c mcf : 0.00 1 0 0 0 0
1790.05/1790.05 c rapidlearning : 0.07 1 0 0 0 0
1790.05/1790.05 c Pricers : Time Calls Vars
1790.05/1790.05 c problem variables: 0.00 0 0
1790.05/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.05/1790.05 c relpscost : 22.66 506405 30 690 0 0 1011688
1790.05/1790.05 c pscost : 0.00 0 0 0 0 0 0
1790.05/1790.05 c inference : 4.42 16670 0 0 0 0 33503
1790.05/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1790.05/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1790.05/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.05 c random : 0.00 0 0 0 0 0 0
1790.05/1790.05 c Primal Heuristics : Time Calls Found
1790.05/1790.05 c LP solutions : 0.04 - 36
1790.05/1790.05 c pseudo solutions : 0.00 - 0
1790.05/1790.05 c intshifting : 0.01 0 0
1790.05/1790.05 c feaspump : 0.02 1 0
1790.05/1790.05 c oneopt : 0.40 34 0
1790.05/1790.05 c linesearchdiving : 0.14 105 0
1790.05/1790.05 c coefdiving : 0.13 106 0
1790.05/1790.05 c pscostdiving : 0.16 106 0
1790.05/1790.05 c fracdiving : 0.13 106 0
1790.05/1790.05 c veclendiving : 0.14 106 0
1790.05/1790.05 c guideddiving : 0.15 106 0
1790.05/1790.05 c crossover : 1.51 42 0
1790.05/1790.05 c objpscostdiving : 0.15 88 0
1790.05/1790.05 c rootsoldiving : 0.18 88 0
1790.05/1790.05 c trivial : 0.00 2 0
1790.05/1790.05 c simplerounding : 0.82 506504 0
1790.05/1790.05 c zirounding : 0.28 1000 0
1790.05/1790.05 c rounding : 1.00 9999 0
1790.05/1790.05 c shifting : 0.77 3164 0
1790.05/1790.05 c twoopt : 0.00 0 0
1790.05/1790.05 c fixandinfer : 0.00 0 0
1790.05/1790.05 c intdiving : 0.00 0 0
1790.05/1790.05 c actconsdiving : 0.00 0 0
1790.05/1790.05 c octane : 0.00 0 0
1790.05/1790.05 c rens : 0.03 1 0
1790.05/1790.05 c rins : 0.00 0 0
1790.05/1790.05 c localbranching : 0.00 0 0
1790.05/1790.05 c mutation : 0.00 0 0
1790.05/1790.05 c dins : 0.00 0 0
1790.05/1790.05 c undercover : 0.00 0 0
1790.05/1790.05 c nlp : 0.21 0 0
1790.05/1790.05 c trysol : 0.33 146 107
1790.05/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1790.05/1790.05 c primal LP : 0.00 0 0 0.00 -
1790.05/1790.05 c dual LP : 603.56 562692 5450484 9.69 9030.50
1790.05/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1790.05/1790.05 c barrier LP : 0.00 0 0 0.00 -
1790.05/1790.05 c diving/probing LP: 0.22 89 2195 24.66 9949.96
1790.05/1790.05 c strong branching : 18.25 7853 206620 26.31 11321.11
1790.05/1790.05 c (at root node) : - 17 4546 267.41 -
1790.05/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1790.05/1790.05 c B&B Tree :
1790.05/1790.05 c number of runs : 1
1790.05/1790.05 c nodes : 947722
1790.05/1790.05 c nodes (total) : 947722
1790.05/1790.05 c nodes left : 2739
1790.05/1790.05 c max depth : 1541
1790.05/1790.05 c max depth (total): 1541
1790.05/1790.05 c backtracks : 91778 (9.7%)
1790.05/1790.05 c delayed cutoffs : 77365
1790.05/1790.05 c repropagations : 2504062 (4926900 domain reductions, 72057 cutoffs)
1790.05/1790.05 c avg switch length: 6.67
1790.05/1790.05 c switching time : 278.23
1790.05/1790.05 c Solution :
1790.05/1790.05 c Solutions found : 143 (37 improvements)
1790.05/1790.05 c First Solution : +9.08110000000000e+04 (in run 1, after 60 nodes, 6.14 seconds, depth 23, found by <trysol>)
1790.05/1790.05 c Primal Bound : +1.00000000000000e+00 (in run 1, after 696890 nodes, 1253.73 seconds, depth 33, found by <relaxation>)
1790.05/1790.05 c Dual Bound : +0.00000000000000e+00
1790.05/1790.05 c Gap : infinite
1790.05/1790.05 c Root Dual Bound : +0.00000000000000e+00
1790.05/1790.05 c Root Iterations : 583
1790.15/1790.14 c Time complete: 1790.2.