0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2693485-1277906641.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 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.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.04/0.09 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.12 c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.13 c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.17 c (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.17 c 1958 implications, 6 cliques
0.09/0.17 c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.09/0.17 c 1743 constraints of type <indicator>
0.09/0.17 c 6 constraints of type <setppc>
0.09/0.17 c 1743 constraints of type <linear>
0.09/0.17 c 854 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.10
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 0 | 22 | - | 13M| 0 | 13 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 88690
0.09/0.19 c y 0.1s| 1 | 0 | 22 | - | 13M| 0 | 13 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.19/0.22 c 0.1s| 1 | 0 | 66 | - | 13M| 0 | 33 |3717 |4346 |3717 | 883 | 23 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 127 | - | 14M| 0 | 43 |3717 |4346 |3717 | 904 | 44 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.29/0.32 c 0.2s| 1 | 0 | 175 | - | 14M| 0 | 52 |3717 |4346 |3717 | 924 | 64 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 312 | - | 14M| 0 | 56 |3717 |4346 |3717 | 937 | 77 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 368 | - | 14M| 0 | 63 |3717 |4346 |3717 | 945 | 85 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.49/0.56 c 0.5s| 1 | 0 | 386 | - | 14M| 0 | 60 |3717 |4346 |3717 | 948 | 88 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
2.49/2.59 c 2.5s| 1 | 2 | 386 | - | 15M| 0 | 60 |3717 |4346 |3717 | 948 | 88 | 0 | 33 | 0.000000e+00 | 8.869000e+04 | Inf
16.19/16.26 o 582
16.19/16.26 c *15.8s| 2549 | 2025 | 33280 | 12.9 | 24M| 167 | - |3717 |4390 |3717 |1020 |4658 | 44 |1094 | 0.000000e+00 | 5.820000e+02 | Inf
16.50/16.56 o 571
16.50/16.56 c *16.1s| 2691 | 2128 | 34259 | 12.6 | 25M| 167 | - |3717 |4425 |3717 |1016 |4753 | 79 |1096 | 0.000000e+00 | 5.710000e+02 | Inf
17.39/17.40 o 398
17.39/17.40 c *16.9s| 2961 | 1822 | 37811 | 12.6 | 25M| 167 | - |3717 |4672 |3717 |1037 |5156 | 329 |1107 | 0.000000e+00 | 3.980000e+02 | Inf
17.79/17.84 o 391
17.79/17.84 c *17.3s| 3087 | 1852 | 39589 | 12.7 | 25M| 167 | - |3717 |4774 |3717 |1022 |5357 | 455 |1116 | 0.000000e+00 | 3.910000e+02 | Inf
18.28/18.32 o 381
18.28/18.32 c *17.8s| 3234 | 1861 | 41234 | 12.6 | 26M| 167 | - |3717 |4896 |3717 |1015 |5502 | 616 |1125 | 0.000000e+00 | 3.810000e+02 | Inf
20.48/20.56 o 373
20.48/20.56 c *19.9s| 4005 | 2104 | 49197 | 12.2 | 28M| 167 | - |3717 |5483 |3717 |1029 |6448 |1514 |1140 | 0.000000e+00 | 3.730000e+02 | Inf
20.99/21.08 o 349
20.99/21.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.99/21.08 c *20.4s| 4216 | 2050 | 50505 | 11.9 | 28M| 167 | - |3717 |5635 |3717 |1025 |6572 |1737 |1140 | 0.000000e+00 | 3.490000e+02 | Inf
22.59/22.60 o 348
22.59/22.60 c *21.9s| 4720 | 2289 | 56113 | 11.8 | 29M| 167 | - |3717 |5636 |3717 |1005 |7417 |2164 |1146 | 0.000000e+00 | 3.480000e+02 | Inf
26.89/26.95 o 282
26.89/26.95 c *26.0s| 6024 | 2418 | 74631 | 12.3 | 30M| 167 | - |3717 |5573 |3717 |1002 |9810 |3242 |1191 | 0.000000e+00 | 2.820000e+02 | Inf
28.59/28.65 o 277
28.59/28.65 c *27.7s| 6500 | 2566 | 81807 | 12.5 | 31M| 167 | - |3717 |5488 |3717 |1062 | 10k|3675 |1221 | 0.000000e+00 | 2.770000e+02 | Inf
29.19/29.24 o 261
29.19/29.24 c *28.2s| 6642 | 2474 | 84086 | 12.6 | 31M| 167 | - |3717 |5359 |3717 | 998 | 11k|3773 |1225 | 0.000000e+00 | 2.610000e+02 | Inf
29.19/29.24 o 253
29.19/29.24 c *28.2s| 6643 | 2363 | 84094 | 12.6 | 30M| 167 | - |3717 |5359 |3717 | 998 | 11k|3773 |1225 | 0.000000e+00 | 2.530000e+02 | Inf
30.59/30.70 o 248
30.59/30.70 c *29.6s| 7091 | 2512 | 90534 | 12.7 | 31M| 167 | - |3717 |5451 |3717 |1023 | 11k|4141 |1230 | 0.000000e+00 | 2.480000e+02 | Inf
32.69/32.77 o 239
32.69/32.77 c *31.6s| 7646 | 2723 |100272 | 13.1 | 32M| 167 | - |3717 |5416 |3717 |1008 | 12k|4480 |1235 | 0.000000e+00 | 2.390000e+02 | Inf
32.69/32.78 o 235
32.69/32.78 c *31.6s| 7647 | 2645 |100275 | 13.1 | 32M| 167 | - |3717 |5416 |3717 |1008 | 12k|4480 |1235 | 0.000000e+00 | 2.350000e+02 | Inf
32.79/32.81 o 234
32.79/32.81 c *31.6s| 7652 | 2640 |100403 | 13.1 | 32M| 167 | - |3717 |5408 |3717 |1008 | 13k|4480 |1235 | 0.000000e+00 | 2.340000e+02 | Inf
32.79/32.81 o 230
32.79/32.81 c *31.6s| 7653 | 2587 |100404 | 13.1 | 32M| 167 | - |3717 |5408 |3717 |1008 | 13k|4480 |1235 | 0.000000e+00 | 2.300000e+02 | Inf
32.79/32.87 o 215
32.79/32.87 c *31.7s| 7660 | 2417 |100650 | 13.1 | 30M| 167 | - |3717 |5403 |3717 |1025 | 13k|4485 |1235 | 0.000000e+00 | 2.150000e+02 | Inf
34.38/34.48 o 214
34.38/34.48 c *33.2s| 7993 | 2574 |110732 | 13.8 | 32M| 167 | - |3717 |5149 |3717 | 986 | 13k|4697 |1281 | 0.000000e+00 | 2.140000e+02 | Inf
34.49/34.51 o 207
34.49/34.51 c *33.3s| 7997 | 2501 |110870 | 13.8 | 32M| 167 | - |3717 |5143 |3717 |1030 | 13k|4699 |1281 | 0.000000e+00 | 2.070000e+02 | Inf
34.49/34.53 o 200
34.49/34.53 c *33.3s| 8000 | 2410 |110902 | 13.8 | 31M| 167 | - |3717 |5142 |3717 |1030 | 13k|4699 |1281 | 0.000000e+00 | 2.000000e+02 | Inf
35.29/35.33 o 189
35.29/35.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.29/35.33 c *34.1s| 8192 | 2415 |114178 | 13.9 | 31M| 167 | - |3717 |5094 |3717 |1023 | 14k|4804 |1315 | 0.000000e+00 | 1.890000e+02 | Inf
35.29/35.37 o 178
35.29/35.37 c *34.1s| 8199 | 2278 |114297 | 13.9 | 30M| 167 | - |3717 |5091 |3717 |1029 | 14k|4804 |1316 | 0.000000e+00 | 1.780000e+02 | Inf
36.49/36.54 o 156
36.49/36.54 c *35.2s| 8484 | 1979 |120183 | 14.1 | 29M| 167 | - |3717 |5126 |3717 |1007 | 14k|5032 |1342 | 0.000000e+00 | 1.560000e+02 | Inf
36.49/36.57 o 139
36.49/36.57 c *35.3s| 8492 | 1678 |120266 | 14.1 | 28M| 167 | - |3717 |5120 |3717 |1012 | 14k|5032 |1342 | 0.000000e+00 | 1.390000e+02 | Inf
36.49/36.58 o 136
36.49/36.58 c *35.3s| 8493 | 1608 |120266 | 14.1 | 27M| 167 | - |3717 |5120 |3717 |1012 | 14k|5032 |1342 | 0.000000e+00 | 1.360000e+02 | Inf
36.79/36.86 o 130
36.79/36.86 c *35.5s| 8548 | 1486 |122194 | 14.3 | 27M| 167 | - |3717 |5064 |3717 |1011 | 14k|5055 |1344 | 0.000000e+00 | 1.300000e+02 | Inf
36.79/36.86 o 125
36.79/36.86 c *35.5s| 8549 | 1459 |122194 | 14.2 | 27M| 167 | - |3717 |5064 |3717 |1011 | 14k|5055 |1344 | 0.000000e+00 | 1.250000e+02 | Inf
36.99/37.02 o 121
36.99/37.02 c *35.7s| 8579 | 1453 |123259 | 14.3 | 27M| 167 | - |3717 |5069 |3717 |1029 | 15k|5072 |1344 | 0.000000e+00 | 1.210000e+02 | Inf
36.99/37.08 o 112
36.99/37.08 c *35.8s| 8591 | 1341 |123581 | 14.3 | 26M| 167 | - |3717 |5066 |3717 |1021 | 15k|5075 |1344 | 0.000000e+00 | 1.120000e+02 | Inf
37.19/37.25 o 91
37.19/37.25 c *35.9s| 8649 | 1163 |124027 | 14.3 | 26M| 167 | - |3717 |5070 |3717 |1012 | 15k|5097 |1344 | 0.000000e+00 | 9.100000e+01 | Inf
37.30/37.38 o 88
37.30/37.38 c *36.0s| 8673 | 1103 |124633 | 14.3 | 26M| 167 | - |3717 |4897 |3717 |1027 | 15k|5129 |1344 | 0.000000e+00 | 8.800000e+01 | Inf
37.69/37.73 o 76
37.69/37.73 c *36.4s| 8763 | 925 |126167 | 14.4 | 25M| 167 | - |3717 |4839 |3717 |1007 | 15k|5214 |1344 | 0.000000e+00 | 7.600000e+01 | Inf
37.69/37.73 o 71
37.69/37.73 c *36.4s| 8764 | 463 |126167 | 14.4 | 24M| 167 | - |3717 |4839 |3717 |1007 | 15k|5214 |1344 | 0.000000e+00 | 7.100000e+01 | Inf
41.29/41.37 c 39.9s| 10000 | 513 |139434 | 13.9 | 25M| 167 | 1 |3717 |5388 |3717 | 999 | 17k|6778 |1370 | 0.000000e+00 | 7.100000e+01 | Inf
63.69/63.71 c 61.1s| 20000 | 1092 |192222 | 9.6 | 35M| 167 | - |3717 |6324 | 0 | 0 | 20k| 17k|1445 | 0.000000e+00 | 7.100000e+01 | Inf
84.70/84.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.70/84.74 c 81.1s| 30000 | 1414 |238429 | 7.9 | 41M| 167 | 1 |3717 |7102 |3717 | 969 | 24k| 29k|1451 | 0.000000e+00 | 7.100000e+01 | Inf
106.70/106.72 c 102s| 40000 | 1759 |291111 | 7.3 | 49M| 167 | 1 |3717 |6805 |3717 | 941 | 28k| 40k|1452 | 0.000000e+00 | 7.100000e+01 | Inf
129.99/130.06 c 124s| 50000 | 2311 |368513 | 7.4 | 58M| 167 | - |3717 |7121 | 0 | 0 | 35k| 52k|1452 | 0.000000e+00 | 7.100000e+01 | Inf
154.69/154.72 c 148s| 60000 | 2746 |443555 | 7.4 | 67M| 167 | 19 |3717 |7396 |3717 | 969 | 40k| 64k|1471 | 0.000000e+00 | 7.100000e+01 | Inf
177.89/177.98 c 170s| 70000 | 2981 |509841 | 7.3 | 73M| 167 | 18 |3717 |7184 |3717 | 959 | 44k| 76k|1541 | 0.000000e+00 | 7.100000e+01 | Inf
201.59/201.68 c 193s| 80000 | 3286 |579359 | 7.2 | 81M| 167 | 21 |3717 |7988 |3717 | 941 | 50k| 88k|1624 | 0.000000e+00 | 7.100000e+01 | Inf
226.00/226.01 c 216s| 90000 | 3656 |642570 | 7.1 | 90M| 167 | 8 |3717 |7982 |3717 | 971 | 53k| 101k|1680 | 0.000000e+00 | 7.100000e+01 | Inf
249.09/249.19 c 238s|100000 | 3985 |701645 | 7.0 | 99M| 167 | 1 |3717 |7786 |3717 |1003 | 58k| 114k|1782 | 0.000000e+00 | 7.100000e+01 | Inf
273.10/273.14 c 261s|110000 | 4325 |770432 | 7.0 | 106M| 167 | 1 |3717 |7935 |3717 | 956 | 62k| 126k|1874 | 0.000000e+00 | 7.100000e+01 | Inf
295.19/295.22 c 283s|120000 | 4584 |819066 | 6.8 | 114M| 167 | 18 |3717 |9483 |3717 | 941 | 65k| 138k|1933 | 0.000000e+00 | 7.100000e+01 | Inf
304.00/304.04 o 67
304.00/304.04 c * 291s|123815 | 4603 |844275 | 6.8 | 116M| 167 | - |3717 |8785 |3717 |1008 | 67k| 143k|1950 | 0.000000e+00 | 6.700000e+01 | Inf
317.10/317.19 o 47
317.10/317.19 c * 304s|129606 | 4393 |873413 | 6.7 | 107M| 167 | - |3717 |7867 |3717 | 975 | 69k| 150k|1996 | 0.000000e+00 | 4.700000e+01 | Inf
318.09/318.16 c 305s|130000 | 4367 |875697 | 6.7 | 107M| 167 | - |3717 |6417 | 0 | 0 | 69k| 151k|1999 | 0.000000e+00 | 4.700000e+01 | Inf
331.79/331.80 o 40
331.79/331.80 c * 318s|136669 | 4337 |914363 | 6.7 | 105M| 167 | - |3717 |6211 |3717 | 960 | 71k| 159k|2066 | 0.000000e+00 | 4.000000e+01 | Inf
338.49/338.50 c 324s|140000 | 4438 |933027 | 6.7 | 107M| 167 | 1 |3717 |6542 |3717 | 965 | 72k| 163k|2085 | 0.000000e+00 | 4.000000e+01 | Inf
346.40/346.47 o 38
346.40/346.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.40/346.47 c * 332s|144088 | 4540 |954368 | 6.6 | 108M| 167 | - |3717 |7564 |3717 | 988 | 73k| 168k|2116 | 0.000000e+00 | 3.800000e+01 | Inf
357.20/357.27 c 342s|150000 | 4667 |977572 | 6.5 | 110M| 167 | - |3717 |6709 | 0 | 0 | 75k| 176k|2153 | 0.000000e+00 | 3.800000e+01 | Inf
376.00/376.07 c 360s|160000 | 4767 | 1023k| 6.4 | 115M| 167 | 14 |3717 |8555 |3717 | 968 | 77k| 189k|2213 | 0.000000e+00 | 3.800000e+01 | Inf
395.50/395.54 c 378s|170000 | 4980 | 1074k| 6.3 | 119M| 167 | - |3717 |7947 | 0 | 0 | 79k| 201k|2302 | 0.000000e+00 | 3.800000e+01 | Inf
407.79/407.83 o 33
407.79/407.83 c * 390s|176172 | 4876 | 1107k| 6.3 | 114M| 167 | - |3717 |7127 |3717 | 983 | 80k| 209k|2315 | 0.000000e+00 | 3.300000e+01 | Inf
414.99/415.00 c 397s|180000 | 4891 | 1125k| 6.2 | 114M| 167 | 25 |3717 |6357 |3717 | 976 | 81k| 214k|2371 | 0.000000e+00 | 3.300000e+01 | Inf
434.40/434.48 c 415s|190000 | 4777 | 1181k| 6.2 | 115M| 167 | 1 |3717 |6552 |3717 | 964 | 83k| 227k|2455 | 0.000000e+00 | 3.300000e+01 | Inf
454.00/454.06 c 434s|200000 | 4962 | 1236k| 6.2 | 119M| 167 | - |3717 |9647 | 0 | 0 | 86k| 239k|2511 | 0.000000e+00 | 3.300000e+01 | Inf
473.10/473.14 c 452s|210000 | 5041 | 1282k| 6.1 | 121M| 167 | - |3717 |9238 | 0 | 0 | 88k| 253k|2585 | 0.000000e+00 | 3.300000e+01 | Inf
491.80/491.85 c 470s|220000 | 5177 | 1327k| 6.0 | 124M| 167 | - |3717 |9851 | 0 | 0 | 90k| 267k|2632 | 0.000000e+00 | 3.300000e+01 | Inf
511.20/511.20 c 489s|230000 | 5336 | 1374k| 6.0 | 128M| 167 | - |3717 | 11k| 0 | 0 | 91k| 279k|2684 | 0.000000e+00 | 3.300000e+01 | Inf
531.40/531.45 c 508s|240000 | 5444 | 1426k| 5.9 | 130M| 167 | 12 |3717 |9362 |3717 | 989 | 93k| 292k|2765 | 0.000000e+00 | 3.300000e+01 | Inf
550.60/550.63 c 526s|250000 | 5446 | 1475k| 5.9 | 132M| 167 | 1 |3717 |9305 |3717 | 965 | 95k| 306k|2831 | 0.000000e+00 | 3.300000e+01 | Inf
554.20/554.27 o 18
554.20/554.27 c * 530s|251963 | 4755 | 1485k| 5.9 | 105M| 167 | - |3717 | 10k|3717 | 972 | 95k| 308k|2832 | 0.000000e+00 | 1.800000e+01 | Inf
569.10/569.10 c 544s|260000 | 4653 | 1532k| 5.9 | 104M| 167 | 4 |3717 |6191 |3717 | 941 | 98k| 319k|2928 | 0.000000e+00 | 1.800000e+01 | Inf
587.10/587.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.10/587.17 c 561s|270000 | 4696 | 1592k| 5.9 | 105M| 167 | 7 |3717 |7588 |3717 | 954 | 100k| 331k|3028 | 0.000000e+00 | 1.800000e+01 | Inf
605.80/605.82 c 578s|280000 | 4719 | 1656k| 5.9 | 106M| 167 | 41 |3717 |6383 |3717 | 941 | 102k| 344k|3132 | 0.000000e+00 | 1.800000e+01 | Inf
623.90/623.93 c 596s|290000 | 4879 | 1713k| 5.9 | 109M| 167 | 25 |3717 |8416 |3717 | 979 | 103k| 357k|3189 | 0.000000e+00 | 1.800000e+01 | Inf
643.20/643.24 c 614s|300000 | 4972 | 1779k| 5.9 | 111M| 167 | - |3717 |8543 | 0 | 0 | 105k| 370k|3266 | 0.000000e+00 | 1.800000e+01 | Inf
662.80/662.87 c 633s|310000 | 5013 | 1847k| 6.0 | 113M| 167 | - |3717 |9698 | 0 | 0 | 107k| 383k|3338 | 0.000000e+00 | 1.800000e+01 | Inf
682.50/682.57 c 651s|320000 | 5142 | 1915k| 6.0 | 116M| 167 | 26 |3717 | 10k|3717 | 980 | 109k| 396k|3403 | 0.000000e+00 | 1.800000e+01 | Inf
702.91/702.95 c 671s|330000 | 5284 | 1989k| 6.0 | 118M| 167 | 17 |3717 |9695 |3717 | 941 | 111k| 410k|3479 | 0.000000e+00 | 1.800000e+01 | Inf
707.10/707.18 o 15
707.10/707.18 c * 675s|332340 | 5033 | 2000k| 6.0 | 111M| 167 | - |3717 | 10k|3717 | 956 | 111k| 413k|3479 | 0.000000e+00 | 1.500000e+01 | Inf
722.40/722.48 c 689s|340000 | 5152 | 2051k| 6.0 | 113M| 167 | 1 |3717 | 10k|3717 | 959 | 112k| 424k|3560 | 0.000000e+00 | 1.500000e+01 | Inf
742.40/742.45 c 708s|350000 | 5319 | 2129k| 6.1 | 115M| 167 | - |3717 | 11k| 0 | 0 | 114k| 438k|3634 | 0.000000e+00 | 1.500000e+01 | Inf
762.00/762.09 c 727s|360000 | 5307 | 2198k| 6.1 | 116M| 167 | 5 |3717 |8843 |3717 | 982 | 115k| 452k|3712 | 0.000000e+00 | 1.500000e+01 | Inf
780.40/780.40 c 744s|370000 | 5336 | 2260k| 6.1 | 117M| 167 | - |3717 |9800 | 0 | 0 | 117k| 466k|3778 | 0.000000e+00 | 1.500000e+01 | Inf
800.10/800.16 c 763s|380000 | 5327 | 2329k| 6.1 | 118M| 167 | 22 |3717 | 11k|3717 | 955 | 119k| 479k|3857 | 0.000000e+00 | 1.500000e+01 | Inf
820.51/820.60 c 783s|390000 | 5283 | 2404k| 6.2 | 118M| 167 | - |3717 |9742 | 0 | 0 | 121k| 494k|3933 | 0.000000e+00 | 1.500000e+01 | Inf
840.50/840.50 c 802s|400000 | 5317 | 2473k| 6.2 | 120M| 167 | 1 |3717 | 10k|3717 | 941 | 122k| 508k|4008 | 0.000000e+00 | 1.500000e+01 | Inf
860.40/860.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.40/860.43 c 821s|410000 | 5381 | 2542k| 6.2 | 122M| 167 | 9 |3717 | 13k|3717 | 974 | 124k| 521k|4076 | 0.000000e+00 | 1.500000e+01 | Inf
881.21/881.24 c 840s|420000 | 5309 | 2610k| 6.2 | 122M| 167 | 12 |3717 | 10k|3717 | 958 | 125k| 535k|4164 | 0.000000e+00 | 1.500000e+01 | Inf
901.11/901.11 c 859s|430000 | 5215 | 2673k| 6.2 | 121M| 167 | 6 |3717 |8929 |3717 | 981 | 127k| 548k|4247 | 0.000000e+00 | 1.500000e+01 | Inf
919.91/919.96 c 877s|440000 | 5213 | 2738k| 6.2 | 121M| 167 | - |3717 |9011 | 0 | 0 | 129k| 560k|4325 | 0.000000e+00 | 1.500000e+01 | Inf
939.11/939.17 c 896s|450000 | 5206 | 2806k| 6.2 | 123M| 167 | - |3717 | 11k| 0 | 0 | 131k| 574k|4377 | 0.000000e+00 | 1.500000e+01 | Inf
959.01/959.03 c 914s|460000 | 5235 | 2878k| 6.3 | 123M| 167 | - |3717 | 10k| 0 | 0 | 134k| 587k|4433 | 0.000000e+00 | 1.500000e+01 | Inf
979.10/979.13 c 934s|470000 | 5295 | 2949k| 6.3 | 125M| 167 | - |3717 | 10k| 0 | 0 | 135k| 599k|4504 | 0.000000e+00 | 1.500000e+01 | Inf
999.30/999.39 c 953s|480000 | 5249 | 3015k| 6.3 | 125M| 167 | - |3717 | 11k| 0 | 0 | 137k| 613k|4563 | 0.000000e+00 | 1.500000e+01 | Inf
1000.31/1000.39 o 14
1000.31/1000.39 c * 954s|480453 | 5100 | 3019k| 6.3 | 122M| 167 | - |3717 | 10k|3717 | 968 | 137k| 614k|4564 | 0.000000e+00 | 1.400000e+01 | Inf
1017.81/1017.85 c 970s|490000 | 5282 | 3078k| 6.3 | 123M| 167 | 13 |3717 |9441 |3717 | 966 | 139k| 625k|4654 | 0.000000e+00 | 1.400000e+01 | Inf
1035.81/1035.84 c 988s|500000 | 5425 | 3132k| 6.3 | 125M| 167 | 1 |3717 | 10k|3717 | 941 | 141k| 638k|4699 | 0.000000e+00 | 1.400000e+01 | Inf
1054.11/1054.13 c 1005s|510000 | 5554 | 3188k| 6.3 | 126M| 167 | - |3717 | 11k| 0 | 0 | 143k| 652k|4721 | 0.000000e+00 | 1.400000e+01 | Inf
1072.81/1072.84 c 1023s|520000 | 5625 | 3247k| 6.2 | 127M| 167 | - |3717 |9785 | 0 | 0 | 145k| 665k|4774 | 0.000000e+00 | 1.400000e+01 | Inf
1090.51/1090.53 c 1040s|530000 | 5820 | 3298k| 6.2 | 129M| 167 | 21 |3717 | 12k|3717 | 958 | 147k| 679k|4823 | 0.000000e+00 | 1.400000e+01 | Inf
1108.61/1108.68 c 1057s|540000 | 5890 | 3354k| 6.2 | 129M| 167 | 1 |3717 |9224 |3717 | 956 | 149k| 692k|4868 | 0.000000e+00 | 1.400000e+01 | Inf
1126.21/1126.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.21/1126.23 c 1074s|550000 | 5922 | 3413k| 6.2 | 129M| 167 | 15 |3717 |8967 |3717 | 941 | 150k| 706k|4888 | 0.000000e+00 | 1.400000e+01 | Inf
1144.52/1144.54 c 1091s|560000 | 5981 | 3470k| 6.2 | 131M| 167 | - |3717 | 10k| 0 | 0 | 153k| 719k|4945 | 0.000000e+00 | 1.400000e+01 | Inf
1162.91/1162.98 c 1108s|570000 | 6054 | 3529k| 6.2 | 133M| 167 | 19 |3717 | 10k|3717 | 941 | 155k| 732k|4996 | 0.000000e+00 | 1.400000e+01 | Inf
1181.51/1181.51 c 1126s|580000 | 6137 | 3591k| 6.2 | 134M| 167 | - |3717 | 11k| 0 | 0 | 157k| 745k|5037 | 0.000000e+00 | 1.400000e+01 | Inf
1201.01/1201.03 c 1145s|590000 | 6291 | 3658k| 6.2 | 136M| 167 | 21 |3717 | 11k|3717 | 978 | 158k| 759k|5066 | 0.000000e+00 | 1.400000e+01 | Inf
1219.92/1219.93 c 1163s|600000 | 6297 | 3720k| 6.2 | 137M| 167 | 1 |3717 | 12k|3717 | 967 | 160k| 772k|5108 | 0.000000e+00 | 1.400000e+01 | Inf
1238.62/1238.65 c 1181s|610000 | 6323 | 3778k| 6.2 | 137M| 167 | 35 |3717 | 11k|3717 | 975 | 162k| 786k|5158 | 0.000000e+00 | 1.400000e+01 | Inf
1257.71/1257.78 c 1199s|620000 | 6307 | 3841k| 6.2 | 138M| 167 | - |3717 | 10k| 0 | 0 | 163k| 799k|5214 | 0.000000e+00 | 1.400000e+01 | Inf
1275.71/1275.71 c 1216s|630000 | 6264 | 3894k| 6.2 | 139M| 167 | - |3717 | 11k| 0 | 0 | 165k| 814k|5230 | 0.000000e+00 | 1.400000e+01 | Inf
1293.92/1293.95 c 1233s|640000 | 6243 | 3951k| 6.2 | 139M| 167 | 1 |3717 | 11k|3717 | 941 | 166k| 828k|5273 | 0.000000e+00 | 1.400000e+01 | Inf
1312.91/1312.99 c 1251s|650000 | 6180 | 4010k| 6.2 | 139M| 167 | - |3717 | 11k| 0 | 0 | 168k| 842k|5324 | 0.000000e+00 | 1.400000e+01 | Inf
1332.32/1332.35 c 1270s|660000 | 6420 | 4070k| 6.2 | 141M| 167 | - |3717 | 12k| 0 | 0 | 171k| 855k|5369 | 0.000000e+00 | 1.400000e+01 | Inf
1351.02/1351.01 c 1287s|670000 | 6467 | 4129k| 6.2 | 141M| 167 | 8 |3717 | 12k|3717 | 960 | 173k| 869k|5381 | 0.000000e+00 | 1.400000e+01 | Inf
1369.11/1369.18 c 1305s|680000 | 6458 | 4185k| 6.2 | 142M| 167 | - |3717 | 11k|3717 | 980 | 175k| 883k|5430 | 0.000000e+00 | 1.400000e+01 | Inf
1387.82/1387.81 c 1322s|690000 | 6429 | 4244k| 6.2 | 142M| 167 | 18 |3717 | 11k|3717 | 960 | 177k| 898k|5476 | 0.000000e+00 | 1.400000e+01 | Inf
1406.21/1406.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.21/1406.21 c 1340s|700000 | 6306 | 4298k| 6.1 | 141M| 167 | - |3717 | 10k| 0 | 0 | 178k| 912k|5502 | 0.000000e+00 | 1.400000e+01 | Inf
1425.52/1425.51 c 1358s|710000 | 6357 | 4365k| 6.1 | 142M| 167 | 21 |3717 | 12k|3717 | 977 | 180k| 925k|5531 | 0.000000e+00 | 1.400000e+01 | Inf
1446.02/1446.03 c 1378s|720000 | 6368 | 4438k| 6.2 | 143M| 167 | - |3717 | 14k| 0 | 0 | 182k| 938k|5590 | 0.000000e+00 | 1.400000e+01 | Inf
1465.82/1465.89 c 1397s|730000 | 6335 | 4505k| 6.2 | 144M| 167 | 18 |3717 | 12k|3717 | 971 | 183k| 952k|5636 | 0.000000e+00 | 1.400000e+01 | Inf
1486.12/1486.18 c 1416s|740000 | 6445 | 4576k| 6.2 | 146M| 167 | - |3717 | 14k| 0 | 0 | 185k| 966k|5694 | 0.000000e+00 | 1.400000e+01 | Inf
1506.52/1506.50 c 1436s|750000 | 6573 | 4642k| 6.2 | 148M| 167 | - |3717 | 15k| 0 | 0 | 186k| 980k|5723 | 0.000000e+00 | 1.400000e+01 | Inf
1526.32/1526.30 c 1454s|760000 | 6711 | 4701k| 6.2 | 149M| 167 | - |3717 | 15k| 0 | 0 | 188k| 994k|5746 | 0.000000e+00 | 1.400000e+01 | Inf
1546.02/1546.02 c 1473s|770000 | 6792 | 4763k| 6.2 | 150M| 167 | 1 |3717 | 14k|3717 | 993 | 190k|1008k|5805 | 0.000000e+00 | 1.400000e+01 | Inf
1564.92/1564.96 c 1491s|780000 | 6780 | 4819k| 6.2 | 151M| 167 | - |3717 | 15k| 0 | 0 | 191k|1023k|5848 | 0.000000e+00 | 1.400000e+01 | Inf
1584.22/1584.22 c 1510s|790000 | 6903 | 4880k| 6.2 | 152M| 167 | - |3717 | 15k| 0 | 0 | 193k|1037k|5855 | 0.000000e+00 | 1.400000e+01 | Inf
1603.42/1603.42 c 1528s|800000 | 7062 | 4939k| 6.2 | 153M| 167 | 7 |3717 | 14k|3717 | 971 | 195k|1052k|5913 | 0.000000e+00 | 1.400000e+01 | Inf
1622.42/1622.43 c 1546s|810000 | 7083 | 5001k| 6.2 | 153M| 167 | - |3717 | 12k|3717 | 986 | 196k|1068k|5966 | 0.000000e+00 | 1.400000e+01 | Inf
1641.02/1641.04 c 1563s|820000 | 7161 | 5059k| 6.2 | 155M| 167 | - |3717 | 13k|3717 | 984 | 198k|1083k|5985 | 0.000000e+00 | 1.400000e+01 | Inf
1660.02/1660.06 c 1582s|830000 | 7160 | 5120k| 6.2 | 155M| 167 | - |3717 | 13k| 0 | 0 | 200k|1097k|6039 | 0.000000e+00 | 1.400000e+01 | Inf
1679.42/1679.41 c 1600s|840000 | 7177 | 5180k| 6.2 | 156M| 167 | - |3717 | 14k| 0 | 0 | 202k|1112k|6075 | 0.000000e+00 | 1.400000e+01 | Inf
1699.22/1699.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.22/1699.22 c 1619s|850000 | 7108 | 5241k| 6.2 | 154M| 167 | 15 |3717 | 10k|3717 | 980 | 203k|1127k|6243 | 0.000000e+00 | 1.400000e+01 | Inf
1718.42/1718.46 c 1637s|860000 | 7005 | 5308k| 6.2 | 154M| 167 | 14 |3717 | 10k|3717 | 941 | 205k|1142k|6260 | 0.000000e+00 | 1.400000e+01 | Inf
1736.83/1736.87 c 1654s|870000 | 6885 | 5365k| 6.2 | 154M| 167 | 15 |3717 | 14k|3717 | 964 | 207k|1156k|6287 | 0.000000e+00 | 1.400000e+01 | Inf
1756.02/1756.03 c 1673s|880000 | 6909 | 5416k| 6.2 | 155M| 167 | - |3717 | 14k| 0 | 0 | 209k|1169k|6325 | 0.000000e+00 | 1.400000e+01 | Inf
1775.92/1775.95 c 1692s|890000 | 6980 | 5471k| 6.1 | 156M| 167 | - |3717 | 16k| 0 | 0 | 210k|1184k|6363 | 0.000000e+00 | 1.400000e+01 | Inf
1796.23/1796.24 c 1711s|900000 | 7006 | 5524k| 6.1 | 157M| 167 | - |3717 | 18k| 0 | 0 | 212k|1197k|6379 | 0.000000e+00 | 1.400000e+01 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1714.58
1800.04/1800.00 c Solving Nodes : 901715
1800.04/1800.00 c Primal Bound : +1.40000000000000e+01 (257 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.04 v -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1714.58
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2693485-1277906641.wbo
1800.04/1800.04 c Variables : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.04/1800.04 c Constraints : 4524 initial, 4524 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2693485-1277906641.wbo
1800.04/1800.04 c Variables : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.04/1800.04 c Constraints : 4346 initial, 18986 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 73 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 73 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 73 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.05 0 0 0 1836 0 105 87 0
1800.04/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1540 - - 3080 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 511305 0 36 393 0 0 962366
1800.04/1800.05 c indicator : 1743 0 5577318 29701 0 1994 11491289 0 0 0
1800.04/1800.05 c setppc : 6 6 5538875 28724 0 29290 827650 0 0 0
1800.04/1800.05 c linear : 1743 6 5558003 29724 0 175932 22054994 212655 0 0
1800.04/1800.05 c logicor : 854+ 6 1779252 6297 0 218927 4771853 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 57053 0 0 59 1780 0 0 0
1800.04/1800.05 c countsols : 0 0 0 6297 0 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 23.05 0.00 0.00 23.05 0.00
1800.04/1800.05 c indicator : 39.16 0.01 37.23 1.92 0.00
1800.04/1800.05 c setppc : 5.73 0.00 5.72 0.01 0.00
1800.04/1800.05 c linear : 153.05 0.00 151.34 1.71 0.00
1800.04/1800.05 c logicor : 163.13 0.00 163.05 0.08 0.00
1800.04/1800.05 c bounddisjunction : 0.07 0.00 0.07 0.00 0.00
1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.00 2 0 0
1800.04/1800.05 c rootredcost : 0.01 43 0 1540
1800.04/1800.05 c pseudoobj : 209.27 5617875 28581 9301175
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 24.16 452789 452721 2757456 28.1 22232 19.9 -
1800.04/1800.05 c infeasible LP : 3.43 13819 13819 117220 43.5 268 10.5 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.06 304 304 1422 14.5 74 6.5 -
1800.04/1800.05 c applied globally : - - - 1199933 22.5 - - -
1800.04/1800.05 c applied locally : - - - 0 0.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 5 - - 5 - (maximal pool size: 232)
1800.04/1800.05 c redcost : 30.86 525196 0 2029142 0 0
1800.04/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.09 6 0 0 1008 0
1800.04/1800.05 c strongcg : 0.07 6 0 0 232 0
1800.04/1800.05 c cmir : 0.06 6 0 0 0 0
1800.04/1800.05 c flowcover : 0.06 6 0 0 0 0
1800.04/1800.05 c clique : 0.00 6 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.01 1 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 23.00 481550 36 393 0 0 962366
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 0.84 6255 0 0 0 0 12510
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.06 - 42
1800.04/1800.05 c pseudo solutions : 0.00 - 0
1800.04/1800.05 c feaspump : 0.01 1 0
1800.04/1800.05 c oneopt : 0.17 37 0
1800.04/1800.05 c crossover : 0.87 35 0
1800.04/1800.05 c guideddiving : 0.26 189 0
1800.04/1800.05 c coefdiving : 0.32 189 0
1800.04/1800.05 c pscostdiving : 0.36 189 0
1800.04/1800.05 c fracdiving : 0.33 189 0
1800.04/1800.05 c veclendiving : 0.33 189 0
1800.04/1800.05 c linesearchdiving : 0.30 190 0
1800.04/1800.05 c rootsoldiving : 0.44 158 0
1800.04/1800.05 c objpscostdiving : 0.28 159 0
1800.04/1800.05 c trivial : 0.00 2 0
1800.04/1800.05 c simplerounding : 0.52 486227 0
1800.04/1800.05 c zirounding : 0.08 1000 0
1800.04/1800.05 c rounding : 2.78 9770 0
1800.04/1800.05 c shifting : 1.86 3037 0
1800.04/1800.05 c intshifting : 0.01 14 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.03 1 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.00 0 0
1800.04/1800.05 c trysol : 2.15 6832 215
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.05 c dual LP : 675.62 525593 5527187 10.52 8180.91
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.89 711 6799 9.56 7639.33
1800.04/1800.05 c strong branching : 19.61 6379 215219 33.74 10974.96
1800.04/1800.05 c (at root node) : - 33 22830 691.82 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 901715
1800.04/1800.05 c nodes (total) : 901715
1800.04/1800.05 c nodes left : 7017
1800.04/1800.05 c max depth : 167
1800.04/1800.05 c max depth (total): 167
1800.04/1800.05 c backtracks : 66977 (7.4%)
1800.04/1800.05 c delayed cutoffs : 59369
1800.04/1800.05 c repropagations : 3073165 (7785894 domain reductions, 54058 cutoffs)
1800.04/1800.05 c avg switch length: 8.31
1800.04/1800.05 c switching time : 209.78
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 257 (43 improvements)
1800.04/1800.05 c First Solution : +8.86900000000000e+04 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.04/1800.05 c Primal Bound : +1.40000000000000e+01 (in run 1, after 480453 nodes, 953.89 seconds, depth 56, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 386
1800.23/1800.22 c Time complete: 1800.25.