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-2693413-1277902852.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.03/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.03/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.11 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2028 (5.0%) - 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 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17 c 2001 implications, 5 cliques
0.09/0.17 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17 c 1797 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1797 constraints of type <linear>
0.09/0.17 c 819 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.12
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.98
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 | 6 | - | 14M| 0 | 0 |3825 |4418 |3825 | 824 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 54 | - | 14M| 0 | 29 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90811
0.09/0.19 c y 0.1s| 1 | 0 | 54 | - | 14M| 0 | 29 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 83 | - | 14M| 0 | 17 |3825 |4418 |3825 | 860 | 36 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 165 | - | 14M| 0 | 46 |3825 |4418 |3825 | 869 | 45 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 181 | - | 14M| 0 | 47 |3825 |4418 |3825 | 884 | 60 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.41 c 0.4s| 1 | 0 | 321 | - | 14M| 0 | 55 |3825 |4418 |3825 | 886 | 62 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.49/0.52 c 0.5s| 1 | 0 | 481 | - | 14M| 0 | 40 |3825 |4418 |3825 | 893 | 69 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.59/0.60 c 0.6s| 1 | 0 | 628 | - | 15M| 0 | 14 |3825 |4418 |3825 | 904 | 80 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.89/0.91 c 0.8s| 1 | 2 | 628 | - | 15M| 0 | 14 |3825 |4418 |3825 | 904 | 80 | 0 | 14 | 0.000000e+00 | 9.081100e+04 | Inf
31.59/31.66 c 31.1s| 10000 | 9823 | 74756 | 7.4 | 39M| 121 | 0 |3825 |4556 |3825 | 978 |9836 | 231 | 851 | 0.000000e+00 | 9.081100e+04 | Inf
48.10/48.14 c 47.3s| 20000 | 19819 |112057 | 5.6 | 58M| 121 | 0 |3825 |4448 |3825 | 980 | 15k| 233 | 928 | 0.000000e+00 | 9.081100e+04 | Inf
64.59/64.67 c 63.5s| 30000 | 29813 |149382 | 5.0 | 76M| 137 | 0 |3825 |4441 |3825 | 989 | 23k| 236 | 988 | 0.000000e+00 | 9.081100e+04 | Inf
81.19/81.24 c 79.8s| 40000 | 39803 |184756 | 4.6 | 94M| 137 | 10 |3825 |4443 |3825 | 955 | 29k| 244 |1114 | 0.000000e+00 | 9.081100e+04 | Inf
95.49/95.54 o 777
95.49/95.54 c *93.8s| 49367 | 39194 |208604 | 4.2 | 94M| 137 | - |3825 |4441 |3825 | 931 | 32k| 249 |1236 | 0.000000e+00 | 7.770000e+02 | Inf
96.29/96.32 o 754
96.29/96.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.29/96.32 c *94.6s| 49650 | 38674 |211427 | 4.2 | 93M| 137 | - |3825 |4465 |3825 | 925 | 32k| 275 |1240 | 0.000000e+00 | 7.540000e+02 | Inf
96.39/96.40 o 738
96.39/96.40 c *94.7s| 49687 | 38153 |211580 | 4.2 | 93M| 137 | - |3825 |4465 |3825 | 922 | 32k| 275 |1240 | 0.000000e+00 | 7.380000e+02 | Inf
97.09/97.17 c 95.4s| 50000 | 38456 |213755 | 4.3 | 93M| 137 | 0 |3825 |4490 |3825 | 952 | 33k| 301 |1243 | 0.000000e+00 | 7.380000e+02 | Inf
101.29/101.33 o 697
101.29/101.33 c *99.5s| 51486 | 38106 |229571 | 4.4 | 93M| 137 | - |3825 |4552 |3825 | 975 | 35k| 377 |1244 | 0.000000e+00 | 6.970000e+02 | Inf
106.10/106.10 o 671
106.10/106.10 c * 104s| 53080 | 38548 |248657 | 4.7 | 94M| 137 | - |3825 |4652 |3825 | 961 | 39k| 539 |1330 | 0.000000e+00 | 6.710000e+02 | Inf
113.80/113.84 o 661
113.80/113.84 c * 112s| 55852 | 40693 |279504 | 5.0 | 99M| 137 | - |3825 |4738 |3825 |1012 | 44k| 817 |1347 | 0.000000e+00 | 6.610000e+02 | Inf
124.90/124.92 o 652
124.90/124.92 c * 123s| 59534 | 43714 |329934 | 5.5 | 106M| 137 | - |3825 |4826 |3825 | 972 | 52k|1257 |1347 | 0.000000e+00 | 6.520000e+02 | Inf
124.90/124.93 o 641
124.90/124.93 c * 123s| 59535 | 43147 |329934 | 5.5 | 105M| 137 | - |3825 |4826 |3825 | 972 | 52k|1257 |1347 | 0.000000e+00 | 6.410000e+02 | Inf
125.99/126.08 c 124s| 60000 | 43596 |333529 | 5.5 | 105M| 137 | 0 |3825 |4783 |3825 | 973 | 52k|1268 |1347 | 0.000000e+00 | 6.410000e+02 | Inf
126.30/126.30 o 630
126.30/126.30 c * 124s| 60125 | 43115 |333858 | 5.5 | 105M| 137 | - |3825 |4779 |3825 |1003 | 52k|1280 |1347 | 0.000000e+00 | 6.300000e+02 | Inf
127.59/127.65 o 595
127.59/127.65 c * 125s| 60552 | 41836 |339982 | 5.6 | 102M| 137 | - |3825 |4791 |3825 | 990 | 53k|1368 |1347 | 0.000000e+00 | 5.950000e+02 | Inf
128.39/128.45 o 551
128.39/128.45 c * 126s| 60778 | 39473 |344010 | 5.6 | 98M| 137 | - |3825 |4815 |3825 | 981 | 54k|1430 |1347 | 0.000000e+00 | 5.510000e+02 | Inf
130.50/130.52 o 550
130.50/130.52 c * 128s| 61676 | 40229 |349195 | 5.7 | 100M| 137 | - |3825 |4867 |3825 |1006 | 54k|1584 |1347 | 0.000000e+00 | 5.500000e+02 | Inf
130.90/130.95 o 517
130.90/130.95 c * 128s| 61843 | 38268 |350467 | 5.7 | 96M| 137 | - |3825 |4864 |3825 | 981 | 55k|1595 |1347 | 0.000000e+00 | 5.170000e+02 | Inf
131.50/131.55 o 483
131.50/131.55 c * 129s| 62041 | 36167 |352463 | 5.7 | 93M| 137 | - |3825 |4892 |3825 | 975 | 55k|1644 |1347 | 0.000000e+00 | 4.830000e+02 | Inf
131.59/131.62 o 466
131.59/131.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.59/131.62 c * 129s| 62065 | 34921 |352615 | 5.7 | 90M| 137 | - |3825 |4898 |3825 | 980 | 55k|1650 |1347 | 0.000000e+00 | 4.660000e+02 | Inf
131.79/131.87 o 465
131.79/131.87 c * 129s| 62144 | 34921 |353653 | 5.7 | 91M| 137 | - |3825 |4905 |3825 | 990 | 55k|1678 |1347 | 0.000000e+00 | 4.650000e+02 | Inf
134.90/134.93 o 456
134.90/134.93 c * 132s| 63158 | 35144 |365230 | 5.8 | 91M| 137 | - |3825 |5041 |3825 | 977 | 57k|2012 |1347 | 0.000000e+00 | 4.560000e+02 | Inf
134.90/134.97 o 455
134.90/134.97 c * 132s| 63165 | 35087 |365284 | 5.8 | 91M| 137 | - |3825 |5053 |3825 | 984 | 57k|2028 |1347 | 0.000000e+00 | 4.550000e+02 | Inf
140.09/140.18 o 452
140.09/140.18 c * 137s| 65184 | 36476 |380134 | 5.8 | 95M| 137 | - |3825 |5253 |3825 | 980 | 60k|2718 |1347 | 0.000000e+00 | 4.520000e+02 | Inf
142.50/142.53 o 450
142.50/142.53 c * 140s| 65833 | 36855 |391641 | 5.9 | 96M| 137 | - |3825 |5164 |3825 | 999 | 62k|2974 |1347 | 0.000000e+00 | 4.500000e+02 | Inf
143.30/143.37 o 448
143.30/143.37 c * 141s| 66087 | 36872 |395022 | 6.0 | 96M| 137 | - |3825 |5174 |3825 |1016 | 62k|3102 |1347 | 0.000000e+00 | 4.480000e+02 | Inf
143.30/143.38 o 439
143.30/143.38 c * 141s| 66088 | 36175 |395022 | 6.0 | 95M| 137 | - |3825 |5174 |3825 |1016 | 62k|3102 |1347 | 0.000000e+00 | 4.390000e+02 | Inf
145.09/145.14 o 438
145.09/145.14 c * 142s| 66625 | 36501 |402213 | 6.0 | 96M| 137 | - |3825 |5174 |3825 | 981 | 64k|3348 |1347 | 0.000000e+00 | 4.380000e+02 | Inf
148.29/148.39 o 436
148.29/148.39 c * 145s| 67621 | 37131 |415835 | 6.1 | 98M| 137 | - |3825 |5221 |3825 | 992 | 66k|3710 |1347 | 0.000000e+00 | 4.360000e+02 | Inf
150.40/150.49 o 434
150.40/150.49 c * 147s| 68140 | 37404 |426406 | 6.2 | 98M| 137 | - |3825 |5148 |3825 | 961 | 67k|3862 |1347 | 0.000000e+00 | 4.340000e+02 | Inf
151.20/151.26 o 424
151.20/151.26 c * 148s| 68412 | 36956 |428706 | 6.3 | 98M| 137 | - |3825 |5296 |3825 | 964 | 67k|4074 |1347 | 0.000000e+00 | 4.240000e+02 | Inf
153.49/153.58 o 419
153.49/153.58 c * 150s| 69278 | 37273 |436514 | 6.3 | 99M| 137 | - |3825 |5509 |3825 |1007 | 69k|4469 |1347 | 0.000000e+00 | 4.190000e+02 | Inf
154.49/154.50 o 413
154.49/154.50 c * 151s| 69583 | 37057 |440180 | 6.3 | 99M| 137 | - |3825 |5510 |3825 | 926 | 69k|4619 |1347 | 0.000000e+00 | 4.130000e+02 | Inf
156.20/156.25 c 153s| 70000 | 37370 |450213 | 6.4 | 99M| 137 | - |3825 |5512 | 0 | 0 | 71k|4836 |1347 | 0.000000e+00 | 4.130000e+02 | Inf
157.10/157.13 o 385
157.10/157.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.10/157.13 c * 154s| 70397 | 35649 |452709 | 6.4 | 96M| 137 | - |3825 |5513 |3825 | 953 | 71k|4981 |1347 | 0.000000e+00 | 3.850000e+02 | Inf
157.80/157.81 o 351
157.80/157.81 c * 155s| 70686 | 33046 |453820 | 6.4 | 90M| 137 | - |3825 |5743 |3825 | 950 | 71k|5257 |1347 | 0.000000e+00 | 3.510000e+02 | Inf
158.99/159.09 o 346
158.99/159.09 c * 156s| 71195 | 32971 |456558 | 6.4 | 90M| 137 | - |3825 |5860 |3825 | 945 | 72k|5704 |1347 | 0.000000e+00 | 3.460000e+02 | Inf
162.59/162.67 o 308
162.59/162.67 c * 159s| 72501 | 30428 |467828 | 6.4 | 86M| 137 | - |3825 |5572 |3825 | 972 | 74k|6453 |1347 | 0.000000e+00 | 3.080000e+02 | Inf
163.90/163.91 o 298
163.90/163.91 c * 161s| 72905 | 29703 |471642 | 6.5 | 84M| 137 | - |3825 |5602 |3825 |1018 | 74k|6777 |1347 | 0.000000e+00 | 2.980000e+02 | Inf
165.49/165.59 o 257
165.49/165.59 c * 162s| 73533 | 26894 |477214 | 6.5 | 79M| 137 | - |3825 |5747 |3825 | 966 | 76k|7116 |1347 | 0.000000e+00 | 2.570000e+02 | Inf
165.90/165.91 o 247
165.90/165.91 c * 163s| 73613 | 25996 |478396 | 6.5 | 77M| 137 | - |3825 |5736 |3825 |1024 | 76k|7161 |1347 | 0.000000e+00 | 2.470000e+02 | Inf
167.10/167.13 o 238
167.10/167.13 c * 164s| 74097 | 25410 |480327 | 6.5 | 76M| 137 | - |3825 |5689 |3825 | 949 | 76k|7490 |1347 | 0.000000e+00 | 2.380000e+02 | Inf
168.00/168.06 o 236
168.00/168.06 c * 165s| 74337 | 25354 |483375 | 6.5 | 77M| 137 | - |3825 |5559 |3825 |1020 | 77k|7597 |1347 | 0.000000e+00 | 2.360000e+02 | Inf
168.40/168.48 o 235
168.40/168.48 c * 165s| 74488 | 25271 |484322 | 6.5 | 77M| 137 | - |3825 |5550 |3825 |1010 | 77k|7670 |1347 | 0.000000e+00 | 2.350000e+02 | Inf
175.19/175.28 o 231
175.19/175.28 c * 172s| 77002 | 26279 |505046 | 6.6 | 81M| 137 | - |3825 |5482 |3825 | 994 | 80k|9069 |1367 | 0.000000e+00 | 2.310000e+02 | Inf
175.29/175.30 o 229
175.29/175.30 c * 172s| 77004 | 25975 |505064 | 6.6 | 81M| 137 | - |3825 |5482 |3825 | 994 | 80k|9069 |1367 | 0.000000e+00 | 2.290000e+02 | Inf
177.89/177.91 o 221
177.89/177.91 c * 174s| 78169 | 25543 |509359 | 6.5 | 81M| 137 | - |3825 |5906 |3825 | 975 | 80k|9912 |1368 | 0.000000e+00 | 2.210000e+02 | Inf
178.99/179.02 o 215
178.99/179.02 c * 175s| 78491 | 25091 |514294 | 6.5 | 80M| 137 | - |3825 |5916 |3825 |1000 | 81k| 10k|1368 | 0.000000e+00 | 2.150000e+02 | Inf
180.09/180.16 o 212
180.09/180.16 c * 176s| 78762 | 24930 |520339 | 6.6 | 80M| 137 | - |3825 |5750 |3825 | 971 | 82k| 10k|1368 | 0.000000e+00 | 2.120000e+02 | Inf
180.50/180.50 o 211
180.50/180.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.50/180.50 c * 177s| 78829 | 24843 |521845 | 6.6 | 80M| 137 | - |3825 |5788 |3825 | 936 | 83k| 10k|1368 | 0.000000e+00 | 2.110000e+02 | Inf
183.30/183.34 c 180s| 80000 | 25183 |529616 | 6.6 | 82M| 137 | - |3825 |5694 | 0 | 0 | 84k| 11k|1382 | 0.000000e+00 | 2.110000e+02 | Inf
184.89/184.91 o 200
184.89/184.91 c * 181s| 80420 | 24122 |536656 | 6.7 | 80M| 137 | - |3825 |5684 |3825 | 966 | 85k| 11k|1390 | 0.000000e+00 | 2.000000e+02 | Inf
185.10/185.17 o 195
185.10/185.17 c * 181s| 80464 | 23543 |538301 | 6.7 | 79M| 137 | - |3825 |5683 |3825 | 905 | 85k| 11k|1390 | 0.000000e+00 | 1.950000e+02 | Inf
185.10/185.19 o 180
185.10/185.19 c * 181s| 80467 | 21947 |538343 | 6.7 | 75M| 137 | - |3825 |5687 |3825 | 918 | 85k| 11k|1390 | 0.000000e+00 | 1.800000e+02 | Inf
185.49/185.51 o 147
185.49/185.51 c * 182s| 80525 | 18293 |540400 | 6.7 | 66M| 137 | - |3825 |5679 |3825 | 925 | 85k| 11k|1390 | 0.000000e+00 | 1.470000e+02 | Inf
185.49/185.59 o 140
185.49/185.59 c * 182s| 80535 | 17149 |541070 | 6.7 | 63M| 137 | - |3825 |5675 |3825 | 949 | 85k| 11k|1390 | 0.000000e+00 | 1.400000e+02 | Inf
185.60/185.69 o 134
185.60/185.69 c * 182s| 80548 | 15999 |541699 | 6.7 | 60M| 137 | - |3825 |5674 |3825 | 919 | 85k| 11k|1390 | 0.000000e+00 | 1.340000e+02 | Inf
186.00/186.04 o 128
186.00/186.04 c * 182s| 80610 | 15235 |543660 | 6.7 | 59M| 137 | - |3825 |5667 |3825 | 906 | 85k| 11k|1390 | 0.000000e+00 | 1.280000e+02 | Inf
186.00/186.06 o 125
186.00/186.06 c * 182s| 80613 | 14713 |543751 | 6.7 | 57M| 137 | - |3825 |5670 |3825 | 905 | 85k| 11k|1390 | 0.000000e+00 | 1.250000e+02 | Inf
186.10/186.15 o 121
186.10/186.15 c * 182s| 80635 | 14337 |544293 | 6.7 | 56M| 137 | - |3825 |5666 |3825 | 907 | 85k| 11k|1390 | 0.000000e+00 | 1.210000e+02 | Inf
186.10/186.16 o 115
186.10/186.16 c * 182s| 80636 | 13753 |544293 | 6.7 | 55M| 137 | - |3825 |5666 |3825 | 907 | 85k| 11k|1390 | 0.000000e+00 | 1.150000e+02 | Inf
186.30/186.34 o 109
186.30/186.34 c * 182s| 80674 | 13238 |545210 | 6.8 | 54M| 137 | - |3825 |5660 |3825 | 948 | 85k| 11k|1390 | 0.000000e+00 | 1.090000e+02 | Inf
186.40/186.41 o 103
186.40/186.41 c * 183s| 80688 | 12333 |545580 | 6.8 | 52M| 137 | - |3825 |5651 |3825 | 966 | 86k| 11k|1390 | 0.000000e+00 | 1.030000e+02 | Inf
186.40/186.49 o 74
186.40/186.49 c * 183s| 80697 | 9143 |545778 | 6.8 | 44M| 137 | - |3825 |5653 |3825 | 965 | 86k| 11k|1390 | 0.000000e+00 | 7.400000e+01 | Inf
186.50/186.52 o 66
186.50/186.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.50/186.52 c * 183s| 80699 | 8522 |545822 | 6.8 | 43M| 137 | - |3825 |5075 |3825 | 965 | 86k| 11k|1390 | 0.000000e+00 | 6.600000e+01 | Inf
186.50/186.58 o 51
186.50/186.58 c * 183s| 80706 | 6999 |546021 | 6.8 | 39M| 137 | - |3825 |4896 |3825 | 942 | 86k| 11k|1390 | 0.000000e+00 | 5.100000e+01 | Inf
186.70/186.70 o 48
186.70/186.70 c * 183s| 80729 | 3877 |546377 | 6.8 | 33M| 137 | - |3825 |4528 |3825 | 969 | 86k| 11k|1390 | 0.000000e+00 | 4.800000e+01 | Inf
199.60/199.65 o 38
199.60/199.65 c * 195s| 86877 | 3460 |582968 | 6.7 | 36M| 137 | - |3825 |6642 |3825 | 898 | 88k| 19k|1420 | 0.000000e+00 | 3.800000e+01 | Inf
199.99/200.04 o 36
199.99/200.04 c * 196s| 87074 | 3412 |584191 | 6.7 | 36M| 137 | - |3825 |6497 |3825 | 912 | 88k| 19k|1420 | 0.000000e+00 | 3.600000e+01 | Inf
205.71/205.77 c 201s| 90000 | 3441 |598322 | 6.6 | 37M| 137 | 18 |3825 |6852 |3825 | 923 | 89k| 23k|1421 | 0.000000e+00 | 3.600000e+01 | Inf
209.49/209.50 o 33
209.49/209.50 c * 205s| 91822 | 3255 |610736 | 6.6 | 38M| 137 | - |3825 |7309 |3825 | 927 | 90k| 25k|1441 | 0.000000e+00 | 3.300000e+01 | Inf
225.10/225.19 c 220s|100000 | 3309 |653460 | 6.5 | 39M| 137 | 8 |3825 |7151 |3825 | 941 | 92k| 36k|1482 | 0.000000e+00 | 3.300000e+01 | Inf
226.50/226.58 o 22
226.50/226.58 c * 222s|100733 | 3162 |656956 | 6.5 | 39M| 137 | - |3825 |7490 |3825 | 926 | 93k| 37k|1484 | 0.000000e+00 | 2.200000e+01 | Inf
243.79/243.88 c 238s|110000 | 2999 |712601 | 6.5 | 39M| 137 | 15 |3825 |7396 |3825 | 913 | 96k| 48k|1530 | 0.000000e+00 | 2.200000e+01 | Inf
261.60/261.68 o 15
261.60/261.68 c * 256s|119307 | 2746 |767901 | 6.4 | 39M| 137 | - |3825 | 10k|3825 | 944 | 98k| 60k|1596 | 0.000000e+00 | 1.500000e+01 | Inf
262.90/262.91 c 257s|120000 | 2760 |771134 | 6.4 | 39M| 137 | 16 |3825 |9774 |3825 | 934 | 98k| 61k|1608 | 0.000000e+00 | 1.500000e+01 | Inf
282.70/282.75 c 276s|130000 | 2890 |840484 | 6.5 | 42M| 137 | - |3825 | 12k| 0 | 0 | 104k| 74k|1655 | 0.000000e+00 | 1.500000e+01 | Inf
304.70/304.78 c 298s|140000 | 2911 |918936 | 6.6 | 43M| 137 | - |3825 | 13k| 0 | 0 | 110k| 87k|1742 | 0.000000e+00 | 1.500000e+01 | Inf
325.70/325.78 c 318s|150000 | 2926 |986100 | 6.6 | 44M| 137 | 1 |3825 | 11k|3825 | 928 | 115k| 100k|1844 | 0.000000e+00 | 1.500000e+01 | Inf
345.20/345.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.20/345.29 c 337s|160000 | 3041 | 1046k| 6.5 | 46M| 137 | - |3825 | 15k| 0 | 0 | 119k| 113k|1906 | 0.000000e+00 | 1.500000e+01 | Inf
365.30/365.33 c 356s|170000 | 3113 | 1101k| 6.5 | 48M| 137 | 25 |3825 | 16k|3825 | 930 | 123k| 126k|1945 | 0.000000e+00 | 1.500000e+01 | Inf
387.50/387.59 c 378s|180000 | 3289 | 1165k| 6.5 | 53M| 137 | - |3825 | 21k| 0 | 0 | 126k| 140k|2034 | 0.000000e+00 | 1.500000e+01 | Inf
410.50/410.56 c 401s|190000 | 3391 | 1227k| 6.5 | 54M| 137 | 21 |3825 | 17k|3825 | 962 | 130k| 153k|2176 | 0.000000e+00 | 1.500000e+01 | Inf
433.00/433.05 c 422s|200000 | 3547 | 1298k| 6.5 | 56M| 137 | - |3825 | 19k|3825 | 944 | 134k| 166k|2262 | 0.000000e+00 | 1.500000e+01 | Inf
455.41/455.42 c 444s|210000 | 3691 | 1364k| 6.5 | 58M| 137 | - |3825 | 19k| 0 | 0 | 137k| 180k|2321 | 0.000000e+00 | 1.500000e+01 | Inf
477.70/477.73 c 466s|220000 | 3876 | 1428k| 6.5 | 60M| 137 | - |3825 | 19k| 0 | 0 | 142k| 194k|2400 | 0.000000e+00 | 1.500000e+01 | Inf
481.81/481.84 o 14
481.81/481.84 c * 470s|221812 | 3807 | 1439k| 6.5 | 59M| 137 | - |3825 | 20k|3825 | 941 | 143k| 197k|2427 | 0.000000e+00 | 1.400000e+01 | Inf
498.21/498.24 o 12
498.21/498.24 c * 486s|229168 | 3783 | 1489k| 6.5 | 58M| 137 | - |3825 | 16k|3825 | 953 | 147k| 207k|2496 | 0.000000e+00 | 1.200000e+01 | Inf
500.20/500.20 c 488s|230000 | 3789 | 1496k| 6.5 | 58M| 137 | 1 |3825 | 15k|3825 | 933 | 147k| 208k|2535 | 0.000000e+00 | 1.200000e+01 | Inf
521.90/521.90 c 509s|240000 | 3872 | 1572k| 6.5 | 58M| 137 | - |3825 | 14k| 0 | 0 | 154k| 221k|2657 | 0.000000e+00 | 1.200000e+01 | Inf
542.31/542.33 c 529s|250000 | 3983 | 1637k| 6.5 | 61M| 137 | 5 |3825 | 15k|3825 | 938 | 158k| 234k|2748 | 0.000000e+00 | 1.200000e+01 | Inf
564.01/564.09 c 550s|260000 | 4106 | 1715k| 6.6 | 62M| 137 | - |3825 | 13k| 0 | 0 | 164k| 247k|2844 | 0.000000e+00 | 1.200000e+01 | Inf
585.21/585.23 c 570s|270000 | 4119 | 1790k| 6.6 | 62M| 137 | - |3825 | 12k| 0 | 0 | 169k| 260k|2936 | 0.000000e+00 | 1.200000e+01 | Inf
606.40/606.49 c 591s|280000 | 4284 | 1870k| 6.7 | 64M| 137 | 16 |3825 | 15k|3825 | 921 | 175k| 274k|3063 | 0.000000e+00 | 1.200000e+01 | Inf
627.41/627.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.41/627.40 c 611s|290000 | 4358 | 1943k| 6.7 | 66M| 137 | 1 |3825 | 15k|3825 | 936 | 180k| 288k|3121 | 0.000000e+00 | 1.200000e+01 | Inf
650.30/650.35 c 634s|300000 | 4424 | 2029k| 6.8 | 67M| 137 | 26 |3825 | 17k|3825 | 954 | 187k| 302k|3208 | 0.000000e+00 | 1.200000e+01 | Inf
662.21/662.24 o 11
662.21/662.24 c * 645s|304944 | 4473 | 2074k| 6.8 | 69M| 137 | - |3825 | 19k|3825 | 966 | 191k| 309k|3253 | 0.000000e+00 | 1.100000e+01 | Inf
673.90/673.93 c 657s|310000 | 4553 | 2117k| 6.8 | 69M| 137 | 18 |3825 | 18k|3825 | 942 | 194k| 316k|3313 | 0.000000e+00 | 1.100000e+01 | Inf
697.11/697.15 c 679s|320000 | 4562 | 2201k| 6.9 | 70M| 137 | - |3825 | 18k| 0 | 0 | 200k| 330k|3372 | 0.000000e+00 | 1.100000e+01 | Inf
719.11/719.11 c 701s|330000 | 4679 | 2272k| 6.9 | 72M| 137 | 17 |3825 | 20k|3825 | 937 | 204k| 343k|3440 | 0.000000e+00 | 1.100000e+01 | Inf
742.41/742.48 c 723s|340000 | 4698 | 2349k| 6.9 | 73M| 137 | - |3825 | 21k|3825 | 921 | 208k| 357k|3551 | 0.000000e+00 | 1.100000e+01 | Inf
765.61/765.64 c 746s|350000 | 4819 | 2424k| 6.9 | 76M| 137 | - |3825 | 24k| 0 | 0 | 213k| 371k|3612 | 0.000000e+00 | 1.100000e+01 | Inf
790.91/790.94 c 771s|360000 | 5078 | 2508k| 7.0 | 78M| 137 | - |3825 | 25k|3825 | 957 | 217k| 384k|3677 | 0.000000e+00 | 1.100000e+01 | Inf
816.01/816.03 c 795s|370000 | 5078 | 2589k| 7.0 | 79M| 137 | 15 |3825 | 24k|3825 | 945 | 222k| 397k|3742 | 0.000000e+00 | 1.100000e+01 | Inf
841.42/841.41 c 820s|380000 | 5121 | 2674k| 7.0 | 80M| 137 | - |3825 | 23k| 0 | 0 | 228k| 411k|3847 | 0.000000e+00 | 1.100000e+01 | Inf
866.81/866.84 c 845s|390000 | 5103 | 2760k| 7.1 | 80M| 137 | - |3825 | 23k| 0 | 0 | 233k| 426k|3940 | 0.000000e+00 | 1.100000e+01 | Inf
889.11/889.19 c 866s|400000 | 5110 | 2835k| 7.1 | 79M| 137 | 7 |3825 | 19k|3825 | 927 | 238k| 439k|4070 | 0.000000e+00 | 1.100000e+01 | Inf
912.92/912.91 c 890s|410000 | 5137 | 2910k| 7.1 | 79M| 137 | 18 |3825 | 16k|3825 | 912 | 242k| 452k|4231 | 0.000000e+00 | 1.100000e+01 | Inf
935.51/935.58 c 912s|420000 | 5125 | 2992k| 7.1 | 79M| 137 | 6 |3825 | 16k|3825 | 917 | 249k| 465k|4308 | 0.000000e+00 | 1.100000e+01 | Inf
958.32/958.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.32/958.33 c 934s|430000 | 5320 | 3072k| 7.1 | 82M| 137 | 12 |3825 | 18k|3825 | 927 | 254k| 478k|4386 | 0.000000e+00 | 1.100000e+01 | Inf
980.32/980.31 c 955s|440000 | 5249 | 3142k| 7.1 | 82M| 137 | 1 |3825 | 17k|3825 | 925 | 259k| 491k|4464 | 0.000000e+00 | 1.100000e+01 | Inf
1002.02/1002.04 c 976s|450000 | 5241 | 3217k| 7.1 | 83M| 137 | - |3825 | 18k| 0 | 0 | 264k| 504k|4531 | 0.000000e+00 | 1.100000e+01 | Inf
1024.42/1024.42 c 998s|460000 | 5314 | 3284k| 7.1 | 85M| 137 | 8 |3825 | 22k|3825 | 918 | 269k| 518k|4583 | 0.000000e+00 | 1.100000e+01 | Inf
1046.41/1046.47 c 1020s|470000 | 5267 | 3362k| 7.2 | 83M| 137 | - |3825 | 16k| 0 | 0 | 274k| 532k|4672 | 0.000000e+00 | 1.100000e+01 | Inf
1067.91/1067.96 c 1041s|480000 | 5294 | 3438k| 7.2 | 83M| 137 | 13 |3825 | 12k|3825 | 898 | 278k| 546k|4751 | 0.000000e+00 | 1.100000e+01 | Inf
1088.71/1088.71 c 1061s|490000 | 5039 | 3512k| 7.2 | 80M| 137 | 1 |3825 | 12k|3825 | 898 | 285k| 559k|4810 | 0.000000e+00 | 1.100000e+01 | Inf
1108.52/1108.54 c 1080s|500000 | 5146 | 3572k| 7.1 | 83M| 137 | 16 |3825 | 15k|3825 | 912 | 290k| 572k|4830 | 0.000000e+00 | 1.100000e+01 | Inf
1129.72/1129.75 c 1101s|510000 | 5066 | 3636k| 7.1 | 82M| 137 | - |3825 | 14k|3825 | 935 | 294k| 586k|4885 | 0.000000e+00 | 1.100000e+01 | Inf
1151.12/1151.19 c 1122s|520000 | 4886 | 3711k| 7.1 | 81M| 137 | 14 |3825 | 15k|3825 | 933 | 301k| 599k|4960 | 0.000000e+00 | 1.100000e+01 | Inf
1173.42/1173.49 c 1143s|530000 | 4584 | 3792k| 7.2 | 78M| 137 | 29 |3825 | 15k|3825 | 925 | 306k| 613k|5026 | 0.000000e+00 | 1.100000e+01 | Inf
1195.72/1195.74 c 1165s|540000 | 4068 | 3877k| 7.2 | 70M| 137 | - |3825 |9683 | 0 | 0 | 312k| 626k|5099 | 0.000000e+00 | 1.100000e+01 | Inf
1215.82/1215.82 c 1185s|550000 | 4074 | 3951k| 7.2 | 70M| 137 | 15 |3825 |9772 |3825 | 915 | 316k| 639k|5189 | 0.000000e+00 | 1.100000e+01 | Inf
1235.62/1235.65 c 1204s|560000 | 4214 | 4018k| 7.2 | 73M| 137 | 1 |3825 | 12k|3825 | 900 | 322k| 651k|5250 | 0.000000e+00 | 1.100000e+01 | Inf
1256.52/1256.54 c 1224s|570000 | 4028 | 4089k| 7.2 | 71M| 137 | - |3825 | 10k| 0 | 0 | 327k| 664k|5318 | 0.000000e+00 | 1.100000e+01 | Inf
1278.62/1278.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.62/1278.65 c 1246s|580000 | 4231 | 4170k| 7.2 | 74M| 137 | 20 |3825 | 14k|3825 | 924 | 335k| 678k|5378 | 0.000000e+00 | 1.100000e+01 | Inf
1301.92/1301.94 c 1268s|590000 | 4262 | 4256k| 7.2 | 75M| 137 | 6 |3825 | 16k|3825 | 923 | 342k| 692k|5451 | 0.000000e+00 | 1.100000e+01 | Inf
1324.02/1324.06 c 1290s|600000 | 3855 | 4335k| 7.2 | 68M| 137 | 1 |3825 |8858 |3825 | 902 | 347k| 705k|5529 | 0.000000e+00 | 1.100000e+01 | Inf
1344.72/1344.76 c 1310s|610000 | 3777 | 4419k| 7.2 | 68M| 137 | - |3825 | 10k| 0 | 0 | 353k| 718k|5583 | 0.000000e+00 | 1.100000e+01 | Inf
1365.83/1365.83 c 1330s|620000 | 3905 | 4502k| 7.3 | 71M| 137 | 17 |3825 | 12k|3825 | 918 | 359k| 731k|5635 | 0.000000e+00 | 1.100000e+01 | Inf
1387.52/1387.57 c 1352s|630000 | 4092 | 4584k| 7.3 | 74M| 137 | 27 |3825 | 14k|3825 | 918 | 365k| 743k|5698 | 0.000000e+00 | 1.100000e+01 | Inf
1408.63/1408.62 c 1372s|640000 | 3936 | 4664k| 7.3 | 73M| 137 | 1 |3825 | 12k|3825 | 920 | 372k| 757k|5746 | 0.000000e+00 | 1.100000e+01 | Inf
1429.12/1429.12 c 1392s|650000 | 4081 | 4740k| 7.3 | 75M| 137 | - |3825 | 13k| 0 | 0 | 377k| 769k|5809 | 0.000000e+00 | 1.100000e+01 | Inf
1449.93/1449.99 c 1412s|660000 | 4188 | 4818k| 7.3 | 78M| 137 | 20 |3825 | 14k|3825 | 928 | 382k| 782k|5858 | 0.000000e+00 | 1.100000e+01 | Inf
1471.83/1471.87 c 1433s|670000 | 4354 | 4896k| 7.3 | 80M| 137 | - |3825 | 15k| 0 | 0 | 389k| 795k|5915 | 0.000000e+00 | 1.100000e+01 | Inf
1493.62/1493.68 c 1455s|680000 | 4602 | 4973k| 7.3 | 83M| 137 | - |3825 | 16k| 0 | 0 | 394k| 807k|5982 | 0.000000e+00 | 1.100000e+01 | Inf
1515.12/1515.16 c 1476s|690000 | 4672 | 5043k| 7.3 | 85M| 137 | 17 |3825 | 18k|3825 | 920 | 399k| 820k|6024 | 0.000000e+00 | 1.100000e+01 | Inf
1536.93/1536.92 c 1497s|700000 | 4942 | 5118k| 7.3 | 88M| 137 | 1 |3825 | 18k|3825 | 923 | 405k| 833k|6052 | 0.000000e+00 | 1.100000e+01 | Inf
1558.43/1558.41 c 1518s|710000 | 4974 | 5188k| 7.3 | 89M| 137 | 17 |3825 | 20k|3825 | 925 | 409k| 847k|6109 | 0.000000e+00 | 1.100000e+01 | Inf
1581.03/1581.05 c 1540s|720000 | 5127 | 5264k| 7.3 | 91M| 137 | 12 |3825 | 19k|3825 | 898 | 413k| 859k|6173 | 0.000000e+00 | 1.100000e+01 | Inf
1603.93/1603.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.93/1603.97 c 1562s|730000 | 5182 | 5338k| 7.3 | 93M| 137 | 21 |3825 | 21k|3825 | 910 | 418k| 873k|6231 | 0.000000e+00 | 1.100000e+01 | Inf
1627.23/1627.26 c 1585s|740000 | 5453 | 5414k| 7.3 | 97M| 137 | 1 |3825 | 21k|3825 | 932 | 422k| 886k|6257 | 0.000000e+00 | 1.100000e+01 | Inf
1650.63/1650.68 c 1608s|750000 | 5646 | 5498k| 7.3 | 99M| 137 | - |3825 | 19k| 0 | 0 | 427k| 899k|6306 | 0.000000e+00 | 1.100000e+01 | Inf
1673.43/1673.42 c 1630s|760000 | 5737 | 5572k| 7.3 | 101M| 137 | - |3825 | 20k| 0 | 0 | 432k| 913k|6365 | 0.000000e+00 | 1.100000e+01 | Inf
1697.34/1697.36 c 1653s|770000 | 5346 | 5652k| 7.3 | 96M| 137 | 18 |3825 | 16k|3825 | 938 | 439k| 928k|6428 | 0.000000e+00 | 1.100000e+01 | Inf
1718.93/1718.99 c 1674s|780000 | 5201 | 5728k| 7.3 | 95M| 137 | 12 |3825 | 16k|3825 | 925 | 443k| 942k|6483 | 0.000000e+00 | 1.100000e+01 | Inf
1740.93/1740.97 c 1696s|790000 | 5009 | 5809k| 7.4 | 94M| 137 | 1 |3825 | 15k|3825 | 914 | 447k| 957k|6524 | 0.000000e+00 | 1.100000e+01 | Inf
1762.04/1762.10 c 1717s|800000 | 4849 | 5882k| 7.4 | 93M| 137 | 1 |3825 | 15k|3825 | 928 | 452k| 971k|6559 | 0.000000e+00 | 1.100000e+01 | Inf
1784.83/1784.86 c 1739s|810000 | 4974 | 5952k| 7.3 | 97M| 137 | 15 |3825 | 20k|3825 | 947 | 457k| 984k|6610 | 0.000000e+00 | 1.100000e+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) : 1753.63
1800.04/1800.00 c Solving Nodes : 816376
1800.04/1800.00 c Primal Bound : +1.10000000000000e+01 (199 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 : 1753.63
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2693413-1277902852.wbo
1800.04/1800.04 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.04/1800.04 c Constraints : 4571 initial, 4571 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2693413-1277902852.wbo
1800.04/1800.04 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.04/1800.04 c Constraints : 4418 initial, 26363 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 66 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.06 0 0 0 1878 0 87 72 0
1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1639 - - 3278 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 532587 0 42 929 0 0 813702
1800.04/1800.04 c indicator : 1797 0 4221410 124718 0 468 3844065 0 0 0
1800.04/1800.04 c setppc : 5 7 4172697 91976 0 2941 614130 0 0 0
1800.04/1800.04 c linear : 1797 7 4231063 122892 0 207974 19496474 460109 0 0
1800.04/1800.04 c logicor : 819+ 7 1511446 64197 0 116428 3361101 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 62759 0 0 282 1674 0 0 0
1800.04/1800.04 c countsols : 0 0 0 64197 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 25.61 0.00 0.00 25.61 0.00
1800.04/1800.04 c indicator : 29.58 0.01 18.41 11.16 0.00
1800.04/1800.04 c setppc : 4.78 0.00 4.76 0.02 0.00
1800.04/1800.04 c linear : 144.53 0.00 139.56 4.97 0.00
1800.04/1800.04 c logicor : 191.65 0.00 191.14 0.51 0.00
1800.04/1800.04 c bounddisjunction : 0.14 0.00 0.14 0.00 0.00
1800.04/1800.04 c countsols : 0.04 0.00 0.00 0.04 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 1.15 2 0 0
1800.04/1800.04 c rootredcost : 0.75 69 0 1639
1800.04/1800.04 c pseudoobj : 149.22 4245874 9078 2937710
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 16.89 336703 336525 1962849 26.7 13158 20.7 -
1800.04/1800.04 c infeasible LP : 14.07 53497 53497 415444 42.0 745 16.1 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.03 203 203 956 14.8 86 6.3 -
1800.04/1800.04 c applied globally : - - - 993815 23.7 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 28 - (maximal pool size: 208)
1800.04/1800.04 c redcost : 29.27 536836 0 797816 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.14 6 0 0 976 0
1800.04/1800.04 c strongcg : 0.08 6 0 0 0 0
1800.04/1800.04 c cmir : 0.02 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.08 6 0 0 0 0
1800.04/1800.04 c clique : 0.01 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 25.15 407660 42 929 0 0 813702
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 9.61 64129 0 0 0 0 128258
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.18 - 68
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.01 0 0
1800.04/1800.04 c oneopt : 0.60 66 0
1800.04/1800.04 c intshifting : 0.01 18 0
1800.04/1800.04 c crossover : 1.98 81 0
1800.04/1800.04 c guideddiving : 2.00 1812 0
1800.04/1800.04 c coefdiving : 1.95 1813 0
1800.04/1800.04 c pscostdiving : 2.07 1813 0
1800.04/1800.04 c fracdiving : 2.04 1813 0
1800.04/1800.04 c veclendiving : 1.95 1813 0
1800.04/1800.04 c linesearchdiving : 1.79 1813 0
1800.04/1800.04 c objpscostdiving : 1.72 1483 0
1800.04/1800.04 c rootsoldiving : 1.76 1564 0
1800.04/1800.04 c trivial : 0.02 2 0
1800.04/1800.04 c simplerounding : 0.87 409052 0
1800.04/1800.04 c zirounding : 0.37 1000 0
1800.04/1800.04 c rounding : 1.78 9027 0
1800.04/1800.04 c shifting : 1.60 2787 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.02 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.20 0 0
1800.04/1800.04 c trysol : 1.90 7560 131
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 705.85 527302 5997921 11.37 8497.44
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 1.52 894 12129 13.57 7979.61
1800.04/1800.04 c strong branching : 21.86 6660 225763 33.90 10327.68
1800.04/1800.04 c (at root node) : - 14 3238 231.29 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 816376
1800.04/1800.04 c nodes (total) : 816376
1800.04/1800.04 c nodes left : 4877
1800.04/1800.04 c max depth : 137
1800.04/1800.04 c max depth (total): 137
1800.04/1800.04 c backtracks : 80575 (9.9%)
1800.04/1800.04 c delayed cutoffs : 50796
1800.04/1800.04 c repropagations : 1888954 (5425926 domain reductions, 45106 cutoffs)
1800.04/1800.04 c avg switch length: 6.34
1800.04/1800.04 c switching time : 216.27
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 199 (69 improvements)
1800.04/1800.04 c First Solution : +9.08110000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +1.10000000000000e+01 (in run 1, after 304944 nodes, 645.31 seconds, depth 38, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 628
1800.14/1800.15 c Time complete: 1800.18.