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-2693555-1277910323.wbo>
0.00/0.03 c original problem has 3807 variables (2019 bin, 0 int, 0 impl, 1788 cont) and 4496 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, 1928 impls, 11 clqs
0.00/0.09 c (round 2) 0 del vars, 71 del conss, 1788 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.00/0.10 c (round 3) 54 del vars, 152 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.10/0.11 c (round 4) 126 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.10/0.12 c (round 5) 144 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.10/0.18 c (0.1s) probing: 101/1947 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.18 c presolving (6 rounds):
0.10/0.18 c 144 deleted vars, 170 deleted constraints, 1806 tightened bounds, 0 added holes, 81 changed sides, 0 changed coefficients
0.10/0.18 c 1928 implications, 11 cliques
0.10/0.18 c presolved problem has 3663 variables (1947 bin, 0 int, 0 impl, 1716 cont) and 4326 constraints
0.10/0.18 c 1716 constraints of type <indicator>
0.10/0.18 c 11 constraints of type <setppc>
0.10/0.18 c 1716 constraints of type <linear>
0.10/0.18 c 883 constraints of type <logicor>
0.10/0.18 c transformed objective value is always integral (scale: 1)
0.10/0.18 c Presolving Time: 0.13
0.10/0.18 c - non default parameters ----------------------------------------------------------------------
0.10/0.18 c # SCIP version 1.2.1.2
0.10/0.18 c
0.10/0.18 c # frequency for displaying node information lines
0.10/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.18 c display/freq = 10000
0.10/0.18 c
0.10/0.18 c # maximal time in seconds to run
0.10/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.18 c limits/time = 1799.98
0.10/0.18 c
0.10/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.18 c limits/memory = 3420
0.10/0.18 c
0.10/0.18 c # should presolving try to simplify inequalities
0.10/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.18 c constraints/linear/simplifyinequalities = TRUE
0.10/0.18 c
0.10/0.18 c # should presolving try to simplify knapsacks
0.10/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.18 c
0.10/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.18 c separating/rapidlearning/freq = 0
0.10/0.18 c
0.10/0.18 c -----------------------------------------------------------------------------------------------
0.10/0.18 c start solving
0.10/0.18 c
0.10/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.19 c 0.1s| 1 | 0 | 24 | - | 13M| 0 | 14 |3663 |4326 |3663 | 894 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 85182
0.19/0.20 c y 0.2s| 1 | 0 | 24 | - | 13M| 0 | 14 |3663 |4326 |3663 | 894 | 0 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 63 | - | 13M| 0 | 29 |3663 |4326 |3663 | 912 | 18 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 122 | - | 14M| 0 | 31 |3663 |4326 |3663 | 930 | 36 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.30/0.31 c 0.3s| 1 | 0 | 149 | - | 14M| 0 | 39 |3663 |4326 |3663 | 940 | 46 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.30/0.39 c 0.3s| 1 | 0 | 312 | - | 14M| 0 | 50 |3663 |4326 |3663 | 954 | 60 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 370 | - | 14M| 0 | 61 |3663 |4326 |3663 | 975 | 81 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.49/0.57 c 0.5s| 1 | 0 | 549 | - | 15M| 0 | 34 |3663 |4326 |3663 | 986 | 92 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
1.49/1.56 c 1.5s| 1 | 2 | 549 | - | 15M| 0 | 34 |3663 |4326 |3663 | 986 | 92 | 0 | 33 | 0.000000e+00 | 8.518200e+04 | Inf
6.60/6.66 o 714
6.60/6.66 c * 6.5s| 3889 | 2967 | 2612 | 0.5 | 21M|1665 | - |3663 |4326 |3663 |1011 | 243 | 0 | 415 | 0.000000e+00 | 7.140000e+02 | Inf
6.99/7.05 o 704
6.99/7.05 c * 6.9s| 4073 | 3038 | 3018 | 0.6 | 22M|1665 | - |3663 |4327 |3663 |1014 | 326 | 1 | 494 | 0.000000e+00 | 7.040000e+02 | Inf
8.30/8.31 o 678
8.30/8.31 c * 8.1s| 4694 | 3416 | 4418 | 0.8 | 23M|1665 | - |3663 |4422 |3663 |1010 | 539 | 96 | 714 | 0.000000e+00 | 6.780000e+02 | Inf
8.59/8.63 o 551
8.59/8.63 c * 8.4s| 4915 | 2128 | 4767 | 0.9 | 21M|1665 | - |3663 |4465 |3663 | 999 | 594 | 139 | 736 | 0.000000e+00 | 5.510000e+02 | Inf
8.80/8.80 o 544
8.80/8.80 c * 8.6s| 5000 | 2143 | 5229 | 0.9 | 22M|1665 | - |3663 |4479 |3663 |1007 | 625 | 153 | 760 | 0.000000e+00 | 5.440000e+02 | Inf
9.39/9.43 o 468
9.39/9.43 c * 9.2s| 5067 | 1662 | 6272 | 1.1 | 21M|1665 | - |3663 |4489 |3663 | 999 | 702 | 163 | 898 | 0.000000e+00 | 4.680000e+02 | Inf
9.79/9.86 o 467
9.79/9.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.79/9.86 c * 9.6s| 5158 | 1713 | 7311 | 1.3 | 22M|1665 | - |3663 |4589 |3663 |1002 | 853 | 263 | 973 | 0.000000e+00 | 4.670000e+02 | Inf
9.79/9.86 o 459
9.79/9.86 c * 9.6s| 5159 | 1682 | 7311 | 1.3 | 22M|1665 | - |3663 |4589 |3663 |1002 | 853 | 263 | 973 | 0.000000e+00 | 4.590000e+02 | Inf
10.39/10.45 o 427
10.39/10.45 c *10.1s| 5323 | 1721 | 8554 | 1.5 | 23M|1665 | - |3663 |4751 |3663 | 991 | 973 | 425 |1056 | 0.000000e+00 | 4.270000e+02 | Inf
10.69/10.72 o 422
10.69/10.72 c *10.4s| 5421 | 1810 | 9019 | 1.6 | 23M|1665 | - |3663 |4751 |3663 | 991 | 992 | 425 |1104 | 0.000000e+00 | 4.220000e+02 | Inf
10.69/10.72 o 415
10.69/10.72 c *10.4s| 5422 | 1790 | 9022 | 1.6 | 23M|1665 | - |3663 |4751 |3663 | 991 | 992 | 425 |1104 | 0.000000e+00 | 4.150000e+02 | Inf
11.10/11.13 o 407
11.10/11.13 c *10.8s| 5516 | 1841 | 10033 | 1.7 | 24M|1665 | - |3663 |4801 |3663 |1017 |1094 | 475 |1170 | 0.000000e+00 | 4.070000e+02 | Inf
11.39/11.43 o 379
11.39/11.43 c *11.1s| 5611 | 1872 | 10713 | 1.8 | 24M|1665 | - |3663 |4851 |3663 | 987 |1150 | 525 |1210 | 0.000000e+00 | 3.790000e+02 | Inf
11.99/12.02 o 372
11.99/12.02 c *11.7s| 5941 | 2147 | 11436 | 1.8 | 25M|1665 | - |3663 |4957 |3663 |1001 |1248 | 631 |1252 | 0.000000e+00 | 3.720000e+02 | Inf
11.99/12.07 o 355
11.99/12.07 c *11.7s| 5960 | 2076 | 11476 | 1.8 | 25M|1665 | - |3663 |4971 |3663 |1009 |1258 | 645 |1252 | 0.000000e+00 | 3.550000e+02 | Inf
12.30/12.31 o 271
12.30/12.31 c *11.9s| 6066 | 1644 | 11897 | 1.9 | 24M|1665 | - |3663 |5050 |3663 |1003 |1317 | 725 |1266 | 0.000000e+00 | 2.710000e+02 | Inf
12.30/12.38 o 247
12.30/12.38 c *12.0s| 6119 | 1518 | 11951 | 1.9 | 24M|1665 | - |3663 |5072 |3663 |1007 |1323 | 747 |1266 | 0.000000e+00 | 2.470000e+02 | Inf
12.39/12.44 o 246
12.39/12.44 c *12.1s| 6136 | 1525 | 12031 | 1.9 | 24M|1665 | - |3663 |5080 |3663 |1000 |1343 | 755 |1267 | 0.000000e+00 | 2.460000e+02 | Inf
12.49/12.55 o 234
12.49/12.55 c *12.2s| 6277 | 1466 | 12039 | 1.8 | 24M|1665 | - |3663 |5080 |3663 |1000 |1343 | 755 |1267 | 0.000000e+00 | 2.340000e+02 | Inf
12.99/13.05 o 233
12.99/13.05 c *12.7s| 6471 | 1586 | 12965 | 1.9 | 25M|1665 | - |3663 |5182 |3663 |1001 |1440 | 867 |1301 | 0.000000e+00 | 2.330000e+02 | Inf
13.19/13.29 o 192
13.19/13.29 c *12.9s| 6643 | 1479 | 13102 | 1.9 | 24M|1665 | - |3663 |5201 |3663 | 993 |1454 | 895 |1308 | 0.000000e+00 | 1.920000e+02 | Inf
15.09/15.16 o 179
15.09/15.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.09/15.16 c *14.7s| 7250 | 1606 | 16719 | 2.2 | 26M|1665 | - |3663 |5577 |3663 |1012 |2026 |1537 |1414 | 0.000000e+00 | 1.790000e+02 | Inf
15.40/15.48 o 169
15.40/15.48 c *15.0s| 7362 | 1552 | 17372 | 2.3 | 26M|1665 | - |3663 |5605 |3663 |1008 |2107 |1622 |1441 | 0.000000e+00 | 1.690000e+02 | Inf
15.49/15.57 o 163
15.49/15.57 c *15.1s| 7413 | 1527 | 17544 | 2.3 | 26M|1665 | - |3663 |5614 |3663 |1037 |2143 |1636 |1444 | 0.000000e+00 | 1.630000e+02 | Inf
15.59/15.63 o 148
15.59/15.63 c *15.2s| 7437 | 1472 | 17625 | 2.3 | 26M|1665 | - |3663 |5609 |3663 |1008 |2150 |1639 |1444 | 0.000000e+00 | 1.480000e+02 | Inf
15.79/15.88 o 143
15.79/15.88 c *15.4s| 7513 | 1479 | 18424 | 2.4 | 26M|1665 | - |3663 |5646 |3663 |1027 |2231 |1753 |1455 | 0.000000e+00 | 1.430000e+02 | Inf
15.89/15.92 o 136
15.89/15.92 c *15.4s| 7543 | 1418 | 18453 | 2.4 | 26M|1665 | - |3663 |5651 |3663 |1030 |2234 |1761 |1458 | 0.000000e+00 | 1.360000e+02 | Inf
16.00/16.09 o 130
16.00/16.09 c *15.6s| 7578 | 1411 | 19018 | 2.4 | 26M|1665 | - |3663 |5652 |3663 |1014 |2289 |1789 |1473 | 0.000000e+00 | 1.300000e+02 | Inf
16.39/16.48 o 129
16.39/16.48 c *16.0s| 7671 | 1439 | 20327 | 2.6 | 27M|1665 | - |3663 |5622 |3663 |1015 |2421 |1883 |1493 | 0.000000e+00 | 1.290000e+02 | Inf
16.79/16.84 o 114
16.79/16.84 c *16.3s| 7821 | 1410 | 21172 | 2.6 | 27M|1665 | - |3663 |5674 |3663 |1008 |2525 |2038 |1496 | 0.000000e+00 | 1.140000e+02 | Inf
16.79/16.84 o 95
16.79/16.84 c *16.3s| 7822 | 1256 | 21173 | 2.6 | 26M|1665 | - |3663 |5674 |3663 |1008 |2525 |2038 |1496 | 0.000000e+00 | 9.500000e+01 | Inf
17.29/17.30 o 77
17.29/17.30 c *16.8s| 8006 | 1080 | 22072 | 2.7 | 25M|1665 | - |3663 |5487 |3663 | 987 |2684 |2166 |1510 | 0.000000e+00 | 7.700000e+01 | Inf
17.29/17.31 o 64
17.29/17.31 c *16.8s| 8007 | 940 | 22072 | 2.7 | 25M|1665 | - |3663 |5487 |3663 | 987 |2684 |2166 |1510 | 0.000000e+00 | 6.400000e+01 | Inf
17.69/17.74 o 57
17.69/17.74 c *17.2s| 8136 | 873 | 23193 | 2.8 | 25M|1665 | - |3663 |4954 |3663 |1012 |2808 |2287 |1534 | 0.000000e+00 | 5.700000e+01 | Inf
17.69/17.74 o 29
17.69/17.74 c *17.2s| 8137 | 499 | 23193 | 2.8 | 23M|1665 | - |3663 |4954 |3663 |1012 |2808 |2287 |1534 | 0.000000e+00 | 2.900000e+01 | Inf
17.79/17.81 o 27
17.79/17.81 c *17.3s| 8144 | 484 | 23424 | 2.8 | 23M|1665 | - |3663 |4271 |3663 |1002 |2834 |2287 |1548 | 0.000000e+00 | 2.700000e+01 | Inf
17.79/17.84 o 18
17.79/17.84 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.84 c *17.3s| 8147 | 390 | 23457 | 2.8 | 23M|1665 | - |3663 |4206 |3663 |1005 |2837 |2287 |1556 | 0.000000e+00 | 1.800000e+01 | Inf
17.79/17.86 o 11
17.79/17.86 c *17.3s| 8150 | 296 | 23470 | 2.8 | 23M|1665 | - |3663 |3993 |3663 |1006 |2838 |2287 |1556 | 0.000000e+00 | 1.100000e+01 | Inf
21.79/21.82 c 21.1s| 10000 | 378 | 40177 | 4.0 | 24M|1665 | - |3663 |4999 | 0 | 0 |3595 |4508 |1840 | 0.000000e+00 | 1.100000e+01 | Inf
28.89/28.99 o 4
28.89/28.99 c *28.1s| 14344 | 419 | 67122 | 4.6 | 25M|1665 | - |3663 |7078 |3663 |1015 |5487 |9877 |1895 | 0.000000e+00 | 4.000000e+00 | Inf
37.90/37.95 c 36.7s| 20000 | 520 |102205 | 5.1 | 27M|1665 | 1 |3663 |8729 |3663 | 980 |7384 | 16k|1901 | 0.000000e+00 | 4.000000e+00 | Inf
54.89/54.99 c 53.2s| 30000 | 549 |170819 | 5.7 | 29M|1665 | 17 |3663 | 10k|3663 | 979 | 10k| 30k|1901 | 0.000000e+00 | 4.000000e+00 | Inf
72.00/72.02 c 69.8s| 40000 | 615 |235807 | 5.9 | 30M|1665 | 18 |3663 | 11k|3663 | 984 | 14k| 42k|1901 | 0.000000e+00 | 4.000000e+00 | Inf
89.10/89.19 c 86.4s| 50000 | 715 |297214 | 5.9 | 32M|1665 | - |3663 | 14k|3663 | 985 | 17k| 56k|2017 | 0.000000e+00 | 4.000000e+00 | Inf
107.40/107.46 c 104s| 60000 | 836 |367730 | 6.1 | 33M|1665 | - |3663 | 12k| 0 | 0 | 20k| 69k|2243 | 0.000000e+00 | 4.000000e+00 | Inf
125.40/125.45 c 122s| 70000 | 916 |433873 | 6.2 | 35M|1665 | - |3663 | 16k| 0 | 0 | 23k| 82k|2410 | 0.000000e+00 | 4.000000e+00 | Inf
145.00/145.00 c 141s| 80000 | 992 |506902 | 6.3 | 35M|1665 | 1 |3663 | 13k|3663 | 990 | 26k| 96k|2651 | 0.000000e+00 | 4.000000e+00 | Inf
163.60/163.66 c 159s| 90000 | 989 |572468 | 6.4 | 37M|1665 | - |3663 | 16k|3663 | 988 | 30k| 109k|2844 | 0.000000e+00 | 4.000000e+00 | Inf
182.80/182.88 c 177s|100000 | 995 |638818 | 6.4 | 38M|1665 | 1 |3663 | 17k|3663 | 994 | 33k| 123k|3019 | 0.000000e+00 | 4.000000e+00 | Inf
200.60/200.69 c 195s|110000 | 1093 |700020 | 6.4 | 38M|1665 | 7 |3663 | 15k|3663 | 994 | 36k| 137k|3164 | 0.000000e+00 | 4.000000e+00 | Inf
212.90/212.99 o 3
212.90/212.99 c * 207s|116980 | 1074 |742966 | 6.3 | 39M|1665 | - |3663 | 16k|3663 | 995 | 38k| 147k|3241 | 0.000000e+00 | 3.000000e+00 | Inf
218.50/218.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.50/218.51 c 212s|120000 | 997 |762132 | 6.3 | 37M|1665 | 9 |3663 | 13k|3663 | 994 | 39k| 151k|3258 | 0.000000e+00 | 3.000000e+00 | Inf
236.80/236.89 c 230s|130000 | 1075 |828435 | 6.4 | 39M|1665 | 12 |3663 | 16k|3663 | 993 | 41k| 165k|3416 | 0.000000e+00 | 3.000000e+00 | Inf
256.09/256.16 c 248s|140000 | 1057 |896606 | 6.4 | 37M|1665 | 16 |3663 | 12k|3663 | 982 | 44k| 178k|3552 | 0.000000e+00 | 3.000000e+00 | Inf
274.70/274.70 c 266s|150000 | 1141 |965038 | 6.4 | 39M|1665 | - |3663 | 15k|3663 | 989 | 47k| 192k|3696 | 0.000000e+00 | 3.000000e+00 | Inf
293.50/293.57 c 285s|160000 | 1328 | 1028k| 6.4 | 41M|1665 | - |3663 | 17k| 0 | 0 | 50k| 205k|3780 | 0.000000e+00 | 3.000000e+00 | Inf
313.00/313.05 c 304s|170000 | 1373 | 1094k| 6.4 | 42M|1665 | - |3663 | 18k| 0 | 0 | 53k| 218k|3899 | 0.000000e+00 | 3.000000e+00 | Inf
332.70/332.78 c 323s|180000 | 1423 | 1161k| 6.4 | 43M|1665 | 15 |3663 | 18k|3663 | 980 | 56k| 233k|4036 | 0.000000e+00 | 3.000000e+00 | Inf
352.91/352.90 c 343s|190000 | 1498 | 1234k| 6.5 | 44M|1665 | 1 |3663 | 19k|3663 | 991 | 58k| 246k|4152 | 0.000000e+00 | 3.000000e+00 | Inf
372.70/372.73 c 362s|200000 | 1480 | 1302k| 6.5 | 44M|1665 | - |3663 | 20k| 0 | 0 | 61k| 261k|4233 | 0.000000e+00 | 3.000000e+00 | Inf
392.71/392.80 c 381s|210000 | 1465 | 1370k| 6.5 | 44M|1665 | 1 |3663 | 20k|3663 | 993 | 65k| 275k|4361 | 0.000000e+00 | 3.000000e+00 | Inf
413.21/413.28 c 401s|220000 | 1525 | 1437k| 6.5 | 44M|1665 | - |3663 | 19k| 0 | 0 | 67k| 288k|4435 | 0.000000e+00 | 3.000000e+00 | Inf
433.41/433.46 c 421s|230000 | 1544 | 1509k| 6.6 | 45M|1665 | 1 |3663 | 21k|3663 | 981 | 70k| 302k|4554 | 0.000000e+00 | 3.000000e+00 | Inf
453.61/453.60 c 441s|240000 | 1397 | 1575k| 6.6 | 42M|1665 | - |3663 | 15k| 0 | 0 | 73k| 316k|4625 | 0.000000e+00 | 3.000000e+00 | Inf
472.10/472.13 c 459s|250000 | 1353 | 1641k| 6.6 | 41M|1665 | - |3663 | 12k| 0 | 0 | 76k| 330k|5006 | 0.000000e+00 | 3.000000e+00 | Inf
490.21/490.25 c 476s|260000 | 1351 | 1709k| 6.6 | 41M|1665 | - |3663 | 13k| 0 | 0 | 79k| 343k|5128 | 0.000000e+00 | 3.000000e+00 | Inf
508.71/508.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.71/508.70 c 494s|270000 | 1313 | 1771k| 6.6 | 42M|1665 | 1 |3663 | 16k|3663 | 983 | 84k| 357k|5199 | 0.000000e+00 | 3.000000e+00 | Inf
528.01/528.09 c 513s|280000 | 1287 | 1835k| 6.6 | 43M|1665 | - |3663 | 17k| 0 | 0 | 88k| 371k|5290 | 0.000000e+00 | 3.000000e+00 | Inf
547.01/547.08 c 531s|290000 | 1375 | 1892k| 6.5 | 44M|1665 | 12 |3663 | 20k|3663 | 972 | 92k| 384k|5362 | 0.000000e+00 | 3.000000e+00 | Inf
567.01/567.02 c 551s|300000 | 1355 | 1949k| 6.5 | 44M|1665 | - |3663 | 20k| 0 | 0 | 96k| 397k|5403 | 0.000000e+00 | 3.000000e+00 | Inf
586.11/586.12 c 569s|310000 | 1567 | 2006k| 6.5 | 46M|1665 | - |3663 | 21k| 0 | 0 | 98k| 410k|5469 | 0.000000e+00 | 3.000000e+00 | Inf
605.71/605.71 c 589s|320000 | 1820 | 2063k| 6.4 | 48M|1665 | 1 |3663 | 23k|3663 | 985 | 101k| 423k|5525 | 0.000000e+00 | 3.000000e+00 | Inf
626.21/626.23 c 609s|330000 | 1907 | 2121k| 6.4 | 49M|1665 | 1 |3663 | 22k|3663 |1004 | 104k| 436k|5597 | 0.000000e+00 | 3.000000e+00 | Inf
646.21/646.27 c 628s|340000 | 1956 | 2181k| 6.4 | 50M|1665 | 16 |3663 | 24k|3663 | 995 | 107k| 450k|5650 | 0.000000e+00 | 3.000000e+00 | Inf
666.81/666.85 c 648s|350000 | 1963 | 2237k| 6.4 | 51M|1665 | - |3663 | 24k| 0 | 0 | 109k| 463k|5716 | 0.000000e+00 | 3.000000e+00 | Inf
687.62/687.68 c 669s|360000 | 2016 | 2291k| 6.4 | 51M|1665 | 17 |3663 | 24k|3663 | 995 | 112k| 476k|5776 | 0.000000e+00 | 3.000000e+00 | Inf
708.71/708.79 c 689s|370000 | 2010 | 2355k| 6.4 | 51M|1665 | - |3663 | 24k| 0 | 0 | 115k| 490k|5830 | 0.000000e+00 | 3.000000e+00 | Inf
729.91/729.97 c 710s|380000 | 2080 | 2418k| 6.4 | 53M|1665 | 24 |3663 | 26k|3663 | 997 | 118k| 504k|5923 | 0.000000e+00 | 3.000000e+00 | Inf
751.31/751.34 c 731s|390000 | 2175 | 2478k| 6.4 | 54M|1665 | 31 |3663 | 28k|3663 |1001 | 121k| 517k|5993 | 0.000000e+00 | 3.000000e+00 | Inf
772.81/772.84 c 752s|400000 | 2201 | 2539k| 6.3 | 54M|1665 | - |3663 | 26k| 0 | 0 | 124k| 531k|6036 | 0.000000e+00 | 3.000000e+00 | Inf
794.42/794.44 c 773s|410000 | 2196 | 2603k| 6.3 | 53M|1665 | 18 |3663 | 22k|3663 |1012 | 127k| 545k|6094 | 0.000000e+00 | 3.000000e+00 | Inf
815.61/815.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
815.61/815.68 c 793s|420000 | 2201 | 2668k| 6.4 | 53M|1665 | 12 |3663 | 22k|3663 | 998 | 131k| 559k|6142 | 0.000000e+00 | 3.000000e+00 | Inf
835.82/835.86 c 813s|430000 | 2384 | 2727k| 6.3 | 55M|1665 | - |3663 | 25k|3663 | 998 | 134k| 573k|6198 | 0.000000e+00 | 3.000000e+00 | Inf
857.22/857.27 c 834s|440000 | 2435 | 2794k| 6.3 | 56M|1665 | 1 |3663 | 25k|3663 | 982 | 137k| 586k|6270 | 0.000000e+00 | 3.000000e+00 | Inf
879.62/879.63 c 856s|450000 | 2614 | 2861k| 6.4 | 58M|1665 | - |3663 | 29k|3663 | 993 | 139k| 600k|6343 | 0.000000e+00 | 3.000000e+00 | Inf
901.92/901.99 c 877s|460000 | 2639 | 2926k| 6.4 | 59M|1665 | - |3663 | 27k| 0 | 0 | 142k| 614k|6384 | 0.000000e+00 | 3.000000e+00 | Inf
923.12/923.14 c 898s|470000 | 2658 | 2988k| 6.4 | 58M|1665 | 17 |3663 | 25k|3663 |1016 | 145k| 628k|6428 | 0.000000e+00 | 3.000000e+00 | Inf
943.93/943.98 c 918s|480000 | 2590 | 3055k| 6.4 | 57M|1665 | - |3663 | 24k| 0 | 0 | 147k| 642k|6479 | 0.000000e+00 | 3.000000e+00 | Inf
964.72/964.71 c 939s|490000 | 2622 | 3115k| 6.4 | 58M|1665 | - |3663 | 25k| 0 | 0 | 151k| 656k|6534 | 0.000000e+00 | 3.000000e+00 | Inf
985.63/985.61 c 959s|500000 | 2760 | 3176k| 6.4 | 60M|1665 | - |3663 | 27k| 0 | 0 | 153k| 669k|6601 | 0.000000e+00 | 3.000000e+00 | Inf
1007.32/1007.33 c 980s|510000 | 2833 | 3240k| 6.4 | 61M|1665 | 9 |3663 | 27k|3663 |1000 | 156k| 682k|6661 | 0.000000e+00 | 3.000000e+00 | Inf
1028.92/1028.97 c 1001s|520000 | 2787 | 3303k| 6.4 | 59M|1665 | 1 |3663 | 24k|3663 | 980 | 159k| 696k|6723 | 0.000000e+00 | 3.000000e+00 | Inf
1050.63/1050.69 c 1022s|530000 | 2715 | 3371k| 6.4 | 59M|1665 | 22 |3663 | 24k|3663 |1000 | 162k| 710k|6788 | 0.000000e+00 | 3.000000e+00 | Inf
1072.23/1072.23 c 1043s|540000 | 2598 | 3434k| 6.4 | 58M|1665 | 1 |3663 | 22k|3663 | 984 | 165k| 724k|6842 | 0.000000e+00 | 3.000000e+00 | Inf
1092.33/1092.35 c 1063s|550000 | 2340 | 3496k| 6.4 | 56M|1665 | 1 |3663 | 21k|3663 | 985 | 168k| 738k|6884 | 0.000000e+00 | 3.000000e+00 | Inf
1112.42/1112.43 c 1082s|560000 | 1866 | 3563k| 6.4 | 51M|1665 | - |3663 | 18k|3663 | 997 | 172k| 752k|6927 | 0.000000e+00 | 3.000000e+00 | Inf
1132.03/1132.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.03/1132.03 c 1102s|570000 | 1653 | 3625k| 6.4 | 49M|1665 | 26 |3663 | 16k|3663 | 998 | 175k| 766k|7034 | 0.000000e+00 | 3.000000e+00 | Inf
1152.22/1152.23 c 1121s|580000 | 1739 | 3690k| 6.4 | 50M|1665 | 1 |3663 | 18k|3663 | 986 | 177k| 779k|7220 | 0.000000e+00 | 3.000000e+00 | Inf
1171.93/1171.97 c 1140s|590000 | 1558 | 3753k| 6.4 | 48M|1665 | - |3663 | 15k| 0 | 0 | 181k| 793k|7238 | 0.000000e+00 | 3.000000e+00 | Inf
1190.72/1190.74 c 1159s|600000 | 1634 | 3814k| 6.4 | 49M|1665 | 1 |3663 | 16k|3663 | 983 | 184k| 806k|7279 | 0.000000e+00 | 3.000000e+00 | Inf
1210.82/1210.86 c 1178s|610000 | 1571 | 3877k| 6.4 | 49M|1665 | 10 |3663 | 17k|3663 | 981 | 186k| 820k|7327 | 0.000000e+00 | 3.000000e+00 | Inf
1230.73/1230.78 c 1198s|620000 | 1550 | 3938k| 6.4 | 50M|1665 | 1 |3663 | 18k|3663 | 985 | 190k| 833k|7371 | 0.000000e+00 | 3.000000e+00 | Inf
1250.92/1250.99 c 1217s|630000 | 1699 | 3994k| 6.3 | 52M|1665 | 22 |3663 | 22k|3663 | 985 | 193k| 846k|7405 | 0.000000e+00 | 3.000000e+00 | Inf
1271.74/1271.79 c 1238s|640000 | 1629 | 4047k| 6.3 | 51M|1665 | 25 |3663 | 21k|3663 |1010 | 196k| 859k|7433 | 0.000000e+00 | 3.000000e+00 | Inf
1292.23/1292.20 c 1258s|650000 | 1593 | 4104k| 6.3 | 52M|1665 | - |3663 | 22k| 0 | 0 | 199k| 872k|7467 | 0.000000e+00 | 3.000000e+00 | Inf
1313.54/1313.51 c 1278s|660000 | 1622 | 4174k| 6.3 | 52M|1665 | - |3663 | 22k| 0 | 0 | 202k| 886k|7528 | 0.000000e+00 | 3.000000e+00 | Inf
1334.33/1334.39 c 1299s|670000 | 1043 | 4240k| 6.3 | 43M|1665 | - |3663 | 13k| 0 | 0 | 205k| 901k|7580 | 0.000000e+00 | 3.000000e+00 | Inf
1353.33/1353.35 c 1317s|680000 | 864 | 4312k| 6.3 | 42M|1665 | - |3663 | 14k| 0 | 0 | 208k| 915k|7643 | 0.000000e+00 | 3.000000e+00 | Inf
1373.23/1373.25 c 1336s|690000 | 619 | 4392k| 6.4 | 39M|1665 | 12 |3663 | 12k|3663 | 990 | 212k| 929k|7699 | 0.000000e+00 | 3.000000e+00 | Inf
1391.03/1391.02 c 1354s|700000 | 657 | 4452k| 6.4 | 41M|1665 | - |3663 | 17k| 0 | 0 | 215k| 942k|7729 | 0.000000e+00 | 3.000000e+00 | Inf
1411.13/1411.14 c 1373s|710000 | 615 | 4522k| 6.4 | 41M|1665 | 24 |3663 | 19k|3663 | 985 | 218k| 956k|7767 | 0.000000e+00 | 3.000000e+00 | Inf
1430.93/1430.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.93/1430.93 c 1393s|720000 | 606 | 4585k| 6.4 | 41M|1665 | 24 |3663 | 20k|3663 | 989 | 221k| 969k|7805 | 0.000000e+00 | 3.000000e+00 | Inf
1450.74/1450.73 c 1412s|730000 | 647 | 4655k| 6.4 | 42M|1665 | 23 |3663 | 20k|3663 | 991 | 223k| 983k|7866 | 0.000000e+00 | 3.000000e+00 | Inf
1471.04/1471.00 c 1432s|740000 | 688 | 4723k| 6.4 | 42M|1665 | 11 |3663 | 19k|3663 | 994 | 226k| 997k|7904 | 0.000000e+00 | 3.000000e+00 | Inf
1491.84/1491.87 c 1452s|750000 | 743 | 4796k| 6.4 | 42M|1665 | 13 |3663 | 18k|3663 | 982 | 229k|1011k|7960 | 0.000000e+00 | 3.000000e+00 | Inf
1512.14/1512.16 c 1472s|760000 | 757 | 4864k| 6.4 | 43M|1665 | 23 |3663 | 18k|3663 | 991 | 231k|1025k|8004 | 0.000000e+00 | 3.000000e+00 | Inf
1532.34/1532.32 c 1491s|770000 | 846 | 4938k| 6.4 | 43M|1665 | - |3663 | 19k| 0 | 0 | 235k|1039k|8052 | 0.000000e+00 | 3.000000e+00 | Inf
1552.94/1552.96 c 1511s|780000 | 945 | 5007k| 6.4 | 45M|1665 | 14 |3663 | 20k|3663 | 990 | 238k|1052k|8096 | 0.000000e+00 | 3.000000e+00 | Inf
1572.93/1572.97 c 1531s|790000 | 1109 | 5074k| 6.4 | 47M|1665 | 13 |3663 | 22k|3663 | 982 | 240k|1067k|8136 | 0.000000e+00 | 3.000000e+00 | Inf
1593.34/1593.31 c 1551s|800000 | 1265 | 5144k| 6.4 | 49M|1665 | 17 |3663 | 25k|3663 | 988 | 243k|1081k|8167 | 0.000000e+00 | 3.000000e+00 | Inf
1613.85/1613.84 c 1571s|810000 | 1319 | 5210k| 6.4 | 49M|1665 | 12 |3663 | 23k|3663 | 982 | 246k|1096k|8215 | 0.000000e+00 | 3.000000e+00 | Inf
1634.74/1634.71 c 1591s|820000 | 1459 | 5285k| 6.4 | 50M|1665 | 23 |3663 | 23k|3663 | 982 | 249k|1110k|8245 | 0.000000e+00 | 3.000000e+00 | Inf
1655.04/1655.07 c 1611s|830000 | 1354 | 5356k| 6.5 | 50M|1665 | - |3663 | 23k|3663 | 990 | 253k|1125k|8287 | 0.000000e+00 | 3.000000e+00 | Inf
1676.24/1676.20 c 1631s|840000 | 1351 | 5427k| 6.5 | 51M|1665 | - |3663 | 25k| 0 | 0 | 256k|1138k|8336 | 0.000000e+00 | 3.000000e+00 | Inf
1697.64/1697.68 c 1652s|850000 | 1317 | 5489k| 6.5 | 51M|1665 | - |3663 | 25k|3663 |1019 | 259k|1153k|8372 | 0.000000e+00 | 3.000000e+00 | Inf
1719.74/1719.74 c 1674s|860000 | 1274 | 5565k| 6.5 | 50M|1665 | 14 |3663 | 24k|3663 |1001 | 262k|1167k|8422 | 0.000000e+00 | 3.000000e+00 | Inf
1741.84/1741.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.84/1741.80 c 1695s|870000 | 1221 | 5641k| 6.5 | 50M|1665 | 6 |3663 | 24k|3663 | 982 | 265k|1181k|8471 | 0.000000e+00 | 3.000000e+00 | Inf
1762.95/1762.91 c 1716s|880000 | 974 | 5708k| 6.5 | 48M|1665 | 1 |3663 | 22k|3663 | 972 | 268k|1195k|8512 | 0.000000e+00 | 3.000000e+00 | Inf
1783.04/1783.03 c 1736s|890000 | 683 | 5777k| 6.5 | 44M|1665 | 20 |3663 | 19k|3663 | 997 | 271k|1210k|8555 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1752.08
1800.05/1800.00 c Solving Nodes : 898350
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (137 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.04 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.05/1800.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
1800.05/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.05/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.05/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.05/1800.04 v -x1
1800.05/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.04 c Solving Time : 1752.08
1800.05/1800.04 c Original Problem :
1800.05/1800.04 c Problem name : HOME/instance-2693555-1277910323.wbo
1800.05/1800.04 c Variables : 3807 (2019 binary, 0 integer, 0 implicit integer, 1788 continuous)
1800.05/1800.04 c Constraints : 4496 initial, 4496 maximal
1800.05/1800.04 c Presolved Problem :
1800.05/1800.04 c Problem name : t_HOME/instance-2693555-1277910323.wbo
1800.05/1800.04 c Variables : 3663 (1947 binary, 0 integer, 0 implicit integer, 1716 continuous)
1800.05/1800.04 c Constraints : 4326 initial, 30555 maximal
1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.04 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.05/1800.04 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.05/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c probing : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.05/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c linear : 0.06 0 0 0 1806 0 98 81 0
1800.05/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c root node : - 1676 - - 3352 - - - -
1800.05/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c integral : 0 0 0 527579 0 75 1342 0 0 962660
1800.05/1800.04 c indicator : 1716 0 4209555 44489 0 34 372798 0 0 0
1800.05/1800.04 c setppc : 11 6 4258658 43385 0 54554 1736822 0 0 0
1800.05/1800.04 c linear : 1716 6 4206152 44294 0 209952 19979096 274505 0 0
1800.05/1800.04 c logicor : 883+ 6 1710029 6756 0 154486 4305854 0 0 0
1800.05/1800.04 c bounddisjunction : 0+ 0 58524 0 0 0 0 0 0 0
1800.05/1800.04 c countsols : 0 0 0 6756 0 0 0 0 0 0
1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.04 c integral : 21.10 0.00 0.00 21.10 0.00
1800.05/1800.04 c indicator : 5.33 0.03 4.36 0.94 0.00
1800.05/1800.04 c setppc : 14.89 0.00 14.88 0.01 0.00
1800.05/1800.04 c linear : 144.20 0.01 141.88 2.31 0.00
1800.05/1800.04 c logicor : 264.23 0.00 264.19 0.04 0.00
1800.05/1800.04 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.05/1800.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.04 c vbounds : 0.76 2 0 0
1800.05/1800.04 c rootredcost : 0.66 41 0 1676
1800.05/1800.04 c pseudoobj : 133.79 4261793 430 202768
1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.04 c propagation : 18.37 419422 418991 2480578 26.4 12134 25.0 -
1800.05/1800.04 c infeasible LP : 14.67 59128 59128 452611 44.2 588 18.4 0
1800.05/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c pseudo solution : 0.01 50 50 355 22.0 55 5.1 -
1800.05/1800.04 c applied globally : - - - 1222910 23.4 - - -
1800.05/1800.04 c applied locally : - - - 0 0.0 - - -
1800.05/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.04 c cut pool : 0.00 5 - - 8 - (maximal pool size: 311)
1800.05/1800.04 c redcost : 24.02 529863 0 147694 0 0
1800.05/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.04 c intobj : 0.00 0 0 0 0 0
1800.05/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.04 c gomory : 0.12 6 0 0 1315 0
1800.05/1800.04 c strongcg : 0.08 6 0 0 330 0
1800.05/1800.04 c cmir : 0.03 6 0 0 1 0
1800.05/1800.04 c flowcover : 0.05 6 0 0 1 0
1800.05/1800.04 c clique : 0.00 6 0 0 0 0
1800.05/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.04 c mcf : 0.00 1 0 0 0 0
1800.05/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.04 c Pricers : Time Calls Vars
1800.05/1800.04 c problem variables: 0.00 0 0
1800.05/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c relpscost : 20.72 482530 75 1342 0 0 962660
1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c inference : 0.56 6716 0 0 0 0 13432
1800.05/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c random : 0.00 0 0 0 0 0 0
1800.05/1800.04 c Primal Heuristics : Time Calls Found
1800.05/1800.04 c LP solutions : 0.02 - 40
1800.05/1800.04 c pseudo solutions : 0.00 - 0
1800.05/1800.04 c feaspump : 0.04 1 0
1800.05/1800.04 c oneopt : 0.70 36 0
1800.05/1800.04 c intshifting : 0.02 7 0
1800.05/1800.04 c pscostdiving : 0.06 26 0
1800.05/1800.04 c coefdiving : 0.03 26 0
1800.05/1800.04 c fracdiving : 0.07 27 0
1800.05/1800.04 c veclendiving : 0.03 27 0
1800.05/1800.04 c linesearchdiving : 0.08 27 0
1800.05/1800.04 c guideddiving : 0.09 27 0
1800.05/1800.04 c rootsoldiving : 0.06 14 0
1800.05/1800.04 c objpscostdiving : 0.05 15 0
1800.05/1800.04 c crossover : 0.57 13 0
1800.05/1800.04 c trivial : 0.01 2 0
1800.05/1800.04 c simplerounding : 0.94 482698 0
1800.05/1800.04 c zirounding : 0.36 1000 0
1800.05/1800.04 c rounding : 1.55 9817 0
1800.05/1800.04 c shifting : 0.85 3017 0
1800.05/1800.04 c twoopt : 0.00 0 0
1800.05/1800.04 c fixandinfer : 0.00 0 0
1800.05/1800.04 c intdiving : 0.00 0 0
1800.05/1800.04 c actconsdiving : 0.00 0 0
1800.05/1800.04 c octane : 0.00 0 0
1800.05/1800.04 c rens : 0.03 1 0
1800.05/1800.04 c rins : 0.00 0 0
1800.05/1800.04 c localbranching : 0.00 0 0
1800.05/1800.04 c mutation : 0.00 0 0
1800.05/1800.04 c dins : 0.00 0 0
1800.05/1800.04 c undercover : 0.00 0 0
1800.05/1800.04 c nlp : 0.29 0 0
1800.05/1800.04 c trysol : 1.46 5916 97
1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.04 c dual LP : 647.54 578090 5833962 10.09 9009.42
1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.04 c diving/probing LP: 0.24 149 2026 13.60 8441.67
1800.05/1800.04 c strong branching : 16.89 8610 169149 19.65 10014.74
1800.05/1800.04 c (at root node) : - 33 10799 327.24 -
1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.04 c B&B Tree :
1800.05/1800.04 c number of runs : 1
1800.05/1800.04 c nodes : 898350
1800.05/1800.04 c nodes (total) : 898350
1800.05/1800.04 c nodes left : 448
1800.05/1800.04 c max depth : 1665
1800.05/1800.04 c max depth (total): 1665
1800.05/1800.04 c backtracks : 104553 (11.6%)
1800.05/1800.04 c delayed cutoffs : 70591
1800.05/1800.04 c repropagations : 1909548 (4708849 domain reductions, 68211 cutoffs)
1800.05/1800.04 c avg switch length: 5.86
1800.05/1800.04 c switching time : 254.34
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 137 (41 improvements)
1800.05/1800.04 c First Solution : +8.51820000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.05/1800.04 c Primal Bound : +3.00000000000000e+00 (in run 1, after 116980 nodes, 206.55 seconds, depth 51, found by <relaxation>)
1800.05/1800.04 c Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Gap : infinite
1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Root Iterations : 549
1800.05/1800.10 c Time complete: 1800.14.