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-2693527-1277908864.wbo>
0.01/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.01/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.10 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.12 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.13 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.18 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (6 rounds):
0.09/0.18 c 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.18 c 1931 implications, 11 cliques
0.09/0.18 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.18 c 1704 constraints of type <indicator>
0.09/0.18 c 11 constraints of type <setppc>
0.09/0.18 c 1704 constraints of type <linear>
0.09/0.18 c 879 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/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.09/0.19 c 0.1s| 1 | 0 | 10 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 86790
0.19/0.20 c y 0.2s| 1 | 0 | 10 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 50 | - | 13M| 0 | 12 |3639 |4298 |3639 | 909 | 19 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 116 | - | 13M| 0 | 30 |3639 |4298 |3639 | 931 | 41 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 134 | - | 13M| 0 | 38 |3639 |4298 |3639 | 939 | 49 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.28/0.33 c 0.3s| 1 | 0 | 210 | - | 14M| 0 | 43 |3639 |4298 |3639 | 946 | 56 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 596 | - | 14M| 0 | 63 |3639 |4298 |3639 | 957 | 67 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.49/0.50 c 0.5s| 1 | 0 | 632 | - | 14M| 0 | 70 |3639 |4298 |3639 | 971 | 81 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
1.29/1.38 c 1.3s| 1 | 2 | 632 | - | 14M| 0 | 70 |3639 |4298 |3639 | 971 | 81 | 0 | 33 | 0.000000e+00 | 8.679000e+04 | Inf
16.49/16.51 o 843
16.49/16.51 c *16.2s| 8265 | 6075 | 14005 | 1.6 | 30M| 741 | - |3639 |4312 |3639 |1013 |1443 | 14 |1336 | 0.000000e+00 | 8.430000e+02 | Inf
18.29/18.30 o 812
18.29/18.30 c *17.9s| 9699 | 7134 | 15645 | 1.5 | 32M| 741 | - |3639 |4355 |3639 |1005 |1674 | 57 |1339 | 0.000000e+00 | 8.120000e+02 | Inf
18.69/18.72 c 18.3s| 10000 | 7427 | 15893 | 1.5 | 33M| 741 | 0 |3639 |4379 |3639 |1002 |1738 | 81 |1339 | 0.000000e+00 | 8.120000e+02 | Inf
18.69/18.73 o 781
18.69/18.73 c *18.3s| 10004 | 6941 | 15894 | 1.5 | 32M| 741 | - |3639 |4379 |3639 |1002 |1738 | 81 |1339 | 0.000000e+00 | 7.810000e+02 | Inf
18.89/18.97 o 779
18.89/18.97 c *18.6s| 10192 | 7090 | 15977 | 1.5 | 32M| 741 | - |3639 |4383 |3639 | 990 |1763 | 85 |1339 | 0.000000e+00 | 7.790000e+02 | Inf
18.99/19.03 o 644
18.99/19.03 c *18.6s| 10228 | 4959 | 16240 | 1.5 | 29M| 741 | - |3639 |4383 |3639 | 996 |1792 | 85 |1340 | 0.000000e+00 | 6.440000e+02 | Inf
18.99/19.05 o 587
18.99/19.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.99/19.05 c *18.7s| 10232 | 4502 | 16242 | 1.5 | 28M| 741 | - |3639 |4383 |3639 | 996 |1792 | 85 |1340 | 0.000000e+00 | 5.870000e+02 | Inf
20.59/20.62 o 506
20.59/20.62 c *20.2s| 11672 | 5393 | 16441 | 1.4 | 29M| 741 | - |3639 |4384 |3639 | 997 |1801 | 86 |1340 | 0.000000e+00 | 5.060000e+02 | Inf
20.59/20.64 o 464
20.59/20.64 c *20.2s| 11675 | 5004 | 16449 | 1.4 | 29M| 741 | - |3639 |4384 |3639 | 998 |1802 | 86 |1340 | 0.000000e+00 | 4.640000e+02 | Inf
21.08/21.12 o 463
21.08/21.12 c *20.7s| 12064 | 5378 | 16773 | 1.3 | 30M| 741 | - |3639 |4403 |3639 |1005 |1831 | 105 |1342 | 0.000000e+00 | 4.630000e+02 | Inf
21.08/21.14 o 446
21.08/21.14 c *20.7s| 12070 | 5242 | 16775 | 1.3 | 29M| 741 | - |3639 |4403 |3639 |1005 |1831 | 105 |1342 | 0.000000e+00 | 4.460000e+02 | Inf
21.08/21.18 o 426
21.08/21.18 c *20.8s| 12079 | 5114 | 17055 | 1.4 | 29M| 741 | - |3639 |4403 |3639 | 990 |1854 | 105 |1343 | 0.000000e+00 | 4.260000e+02 | Inf
21.29/21.30 o 339
21.29/21.30 c *20.9s| 12171 | 4397 | 17139 | 1.4 | 28M| 741 | - |3639 |4417 |3639 |1008 |1860 | 119 |1347 | 0.000000e+00 | 3.390000e+02 | Inf
21.29/21.33 o 288
21.29/21.33 c *20.9s| 12184 | 3897 | 17182 | 1.4 | 27M| 741 | - |3639 |4417 |3639 |1006 |1865 | 119 |1347 | 0.000000e+00 | 2.880000e+02 | Inf
21.29/21.37 o 248
21.29/21.37 c *20.9s| 12194 | 3531 | 17280 | 1.4 | 26M| 741 | - |3639 |4424 |3639 |1006 |1870 | 126 |1349 | 0.000000e+00 | 2.480000e+02 | Inf
21.29/21.39 o 222
21.29/21.39 c *20.9s| 12198 | 3211 | 17288 | 1.4 | 26M| 741 | - |3639 |4432 |3639 |1006 |1870 | 134 |1349 | 0.000000e+00 | 2.220000e+02 | Inf
21.49/21.51 o 219
21.49/21.51 c *21.1s| 12254 | 3210 | 17643 | 1.4 | 26M| 741 | - |3639 |4444 |3639 |1003 |1900 | 146 |1349 | 0.000000e+00 | 2.190000e+02 | Inf
21.49/21.51 o 185
21.49/21.51 c *21.1s| 12255 | 2856 | 17643 | 1.4 | 25M| 741 | - |3639 |4444 |3639 |1003 |1900 | 146 |1349 | 0.000000e+00 | 1.850000e+02 | Inf
21.49/21.57 o 180
21.49/21.57 c *21.1s| 12279 | 2801 | 17710 | 1.4 | 25M| 741 | - |3639 |4469 |3639 | 998 |1906 | 171 |1349 | 0.000000e+00 | 1.800000e+02 | Inf
21.49/21.58 o 177
21.49/21.58 c *21.1s| 12280 | 2787 | 17712 | 1.4 | 25M| 741 | - |3639 |4469 |3639 | 998 |1906 | 171 |1349 | 0.000000e+00 | 1.770000e+02 | Inf
21.58/21.64 o 169
21.58/21.64 c *21.2s| 12298 | 2743 | 17922 | 1.4 | 25M| 741 | - |3639 |4478 |3639 |1008 |1921 | 180 |1350 | 0.000000e+00 | 1.690000e+02 | Inf
21.58/21.66 o 151
21.58/21.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.58/21.66 c *21.2s| 12309 | 2332 | 17923 | 1.4 | 25M| 741 | - |3639 |4478 |3639 |1008 |1921 | 180 |1350 | 0.000000e+00 | 1.510000e+02 | Inf
21.58/21.67 o 107
21.58/21.67 c *21.2s| 12310 | 1359 | 17923 | 1.4 | 23M| 741 | - |3639 |4478 |3639 |1008 |1921 | 180 |1350 | 0.000000e+00 | 1.070000e+02 | Inf
21.69/21.72 o 90
21.69/21.72 c *21.3s| 12323 | 1058 | 18112 | 1.4 | 23M| 741 | - |3639 |4487 |3639 | 998 |1935 | 189 |1350 | 0.000000e+00 | 9.000000e+01 | Inf
22.09/22.13 o 60
22.09/22.13 c *21.7s| 12476 | 428 | 19039 | 1.5 | 21M| 741 | - |3639 |4428 |3639 | 998 |2020 | 315 |1362 | 0.000000e+00 | 6.000000e+01 | Inf
29.99/30.02 o 48
29.99/30.02 c *29.4s| 16135 | 525 | 37305 | 2.3 | 25M| 741 | - |3639 |5180 |3639 | 996 |3058 |4775 |1452 | 0.000000e+00 | 4.800000e+01 | Inf
31.39/31.43 o 41
31.39/31.43 c *30.7s| 16831 | 485 | 41125 | 2.4 | 24M| 741 | - |3639 |4752 |3639 | 981 |3331 |5512 |1465 | 0.000000e+00 | 4.100000e+01 | Inf
37.69/37.77 c 36.9s| 20000 | 724 | 59238 | 2.9 | 27M| 741 | 1 |3639 |5652 |3639 | 967 |4051 |9261 |1576 | 0.000000e+00 | 4.100000e+01 | Inf
43.89/43.90 o 32
43.89/43.90 c *42.9s| 23231 | 809 | 76485 | 3.3 | 28M| 741 | - |3639 |5801 |3639 | 983 |4639 | 13k|1600 | 0.000000e+00 | 3.200000e+01 | Inf
44.78/44.85 o 28
44.78/44.85 c *43.8s| 23702 | 818 | 80192 | 3.4 | 28M| 741 | - |3639 |5387 |3639 | 968 |4762 | 13k|1604 | 0.000000e+00 | 2.800000e+01 | Inf
44.78/44.90 o 21
44.78/44.90 c *43.8s| 23732 | 774 | 80234 | 3.4 | 27M| 741 | - |3639 |5331 |3639 | 967 |4762 | 13k|1604 | 0.000000e+00 | 2.100000e+01 | Inf
46.79/46.85 o 15
46.79/46.85 c *45.7s| 24889 | 785 | 86483 | 3.4 | 27M| 741 | - |3639 |5528 |3639 | 967 |5010 | 15k|1631 | 0.000000e+00 | 1.500000e+01 | Inf
55.09/55.10 c 53.7s| 30000 | 869 |115013 | 3.8 | 29M| 741 | - |3639 |6112 |3639 | 979 |6169 | 21k|1649 | 0.000000e+00 | 1.500000e+01 | Inf
71.19/71.21 c 69.3s| 40000 | 885 |169791 | 4.2 | 30M| 741 | 25 |3639 |6277 |3639 | 987 |8618 | 34k|1651 | 0.000000e+00 | 1.500000e+01 | Inf
87.19/87.25 c 84.9s| 50000 | 989 |221854 | 4.4 | 32M| 741 | 20 |3639 |9025 |3639 | 973 | 10k| 47k|1652 | 0.000000e+00 | 1.500000e+01 | Inf
104.59/104.69 c 102s| 60000 | 1263 |286121 | 4.8 | 36M| 741 | - |3639 | 10k| 0 | 0 | 12k| 60k|1666 | 0.000000e+00 | 1.500000e+01 | Inf
122.00/122.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.00/122.06 c 119s| 70000 | 1341 |344020 | 4.9 | 37M| 741 | 1 |3639 | 10k|3639 | 978 | 13k| 73k|1679 | 0.000000e+00 | 1.500000e+01 | Inf
132.19/132.27 o 13
132.19/132.27 c * 129s| 76093 | 1333 |372278 | 4.9 | 38M| 741 | - |3639 | 12k|3639 | 990 | 15k| 82k|1709 | 0.000000e+00 | 1.300000e+01 | Inf
138.99/139.06 c 135s| 80000 | 1349 |393398 | 4.9 | 38M| 741 | - |3639 | 11k| 0 | 0 | 15k| 87k|1739 | 0.000000e+00 | 1.300000e+01 | Inf
156.69/156.75 c 152s| 90000 | 1326 |449906 | 5.0 | 37M| 741 | 24 |3639 |8307 |3639 | 984 | 18k| 100k|1858 | 0.000000e+00 | 1.300000e+01 | Inf
157.49/157.53 o 8
157.49/157.53 c * 153s| 90436 | 1239 |452812 | 5.0 | 36M| 741 | - |3639 |8126 |3639 | 973 | 18k| 101k|1873 | 0.000000e+00 | 8.000000e+00 | Inf
173.50/173.52 c 169s|100000 | 1302 |510966 | 5.1 | 38M| 741 | - |3639 | 10k| 0 | 0 | 20k| 113k|1962 | 0.000000e+00 | 8.000000e+00 | Inf
190.49/190.53 c 185s|110000 | 1302 |571075 | 5.2 | 39M| 741 | - |3639 | 11k| 0 | 0 | 22k| 127k|2070 | 0.000000e+00 | 8.000000e+00 | Inf
208.99/209.04 c 203s|120000 | 1306 |642561 | 5.3 | 39M| 741 | - |3639 | 12k| 0 | 0 | 24k| 140k|2174 | 0.000000e+00 | 8.000000e+00 | Inf
227.20/227.26 c 221s|130000 | 1314 |708243 | 5.4 | 40M| 741 | - |3639 | 12k| 0 | 0 | 26k| 153k|2295 | 0.000000e+00 | 8.000000e+00 | Inf
246.49/246.56 c 240s|140000 | 1350 |782179 | 5.6 | 40M| 741 | 13 |3639 |9783 |3639 | 967 | 28k| 166k|2423 | 0.000000e+00 | 8.000000e+00 | Inf
263.69/263.71 c 256s|150000 | 1269 |843061 | 5.6 | 40M| 741 | 13 |3639 | 10k|3639 | 967 | 30k| 179k|2635 | 0.000000e+00 | 8.000000e+00 | Inf
269.80/269.86 o 6
269.80/269.86 c * 262s|153482 | 1154 |864831 | 5.6 | 38M| 741 | - |3639 | 10k|3639 | 978 | 31k| 184k|2682 | 0.000000e+00 | 6.000000e+00 | Inf
281.50/281.54 c 274s|160000 | 1215 |905138 | 5.7 | 39M| 741 | - |3639 | 12k| 0 | 0 | 33k| 193k|2748 | 0.000000e+00 | 6.000000e+00 | Inf
299.60/299.69 c 291s|170000 | 1225 |962841 | 5.7 | 40M| 741 | - |3639 | 14k|3639 | 986 | 34k| 206k|2824 | 0.000000e+00 | 6.000000e+00 | Inf
318.39/318.44 c 309s|180000 | 1184 | 1020k| 5.7 | 39M| 741 | - |3639 | 11k| 0 | 0 | 36k| 219k|2916 | 0.000000e+00 | 6.000000e+00 | Inf
336.30/336.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.30/336.36 c 327s|190000 | 1171 | 1083k| 5.7 | 39M| 741 | 20 |3639 |9209 |3639 | 991 | 38k| 232k|3071 | 0.000000e+00 | 6.000000e+00 | Inf
353.59/353.65 c 344s|200000 | 1272 | 1142k| 5.7 | 40M| 741 | - |3639 |8962 | 0 | 0 | 40k| 245k|3242 | 0.000000e+00 | 6.000000e+00 | Inf
370.60/370.64 c 360s|210000 | 1351 | 1199k| 5.7 | 42M| 741 | 1 |3639 | 12k|3639 | 978 | 42k| 258k|3323 | 0.000000e+00 | 6.000000e+00 | Inf
388.80/388.85 c 378s|220000 | 1361 | 1257k| 5.7 | 42M| 741 | - |3639 | 12k| 0 | 0 | 44k| 271k|3440 | 0.000000e+00 | 6.000000e+00 | Inf
406.20/406.22 c 395s|230000 | 1382 | 1310k| 5.7 | 43M| 741 | - |3639 | 13k| 0 | 0 | 46k| 285k|3525 | 0.000000e+00 | 6.000000e+00 | Inf
424.20/424.27 c 412s|240000 | 1386 | 1364k| 5.7 | 44M| 741 | - |3639 | 15k| 0 | 0 | 47k| 298k|3620 | 0.000000e+00 | 6.000000e+00 | Inf
442.50/442.55 c 430s|250000 | 1517 | 1421k| 5.7 | 44M| 741 | - |3639 | 13k| 0 | 0 | 49k| 312k|3713 | 0.000000e+00 | 6.000000e+00 | Inf
459.90/459.99 c 447s|260000 | 1592 | 1482k| 5.7 | 44M| 741 | - |3639 | 11k| 0 | 0 | 51k| 325k|3806 | 0.000000e+00 | 6.000000e+00 | Inf
478.30/478.33 c 465s|270000 | 1620 | 1549k| 5.7 | 45M| 741 | 16 |3639 | 12k|3639 | 978 | 53k| 338k|3905 | 0.000000e+00 | 6.000000e+00 | Inf
495.80/495.82 c 482s|280000 | 1619 | 1606k| 5.7 | 46M| 741 | 21 |3639 | 14k|3639 | 989 | 55k| 351k|3964 | 0.000000e+00 | 6.000000e+00 | Inf
513.50/513.50 c 499s|290000 | 1661 | 1662k| 5.7 | 47M| 741 | - |3639 | 16k| 0 | 0 | 56k| 365k|4038 | 0.000000e+00 | 6.000000e+00 | Inf
532.70/532.72 c 518s|300000 | 1878 | 1726k| 5.8 | 49M| 741 | - |3639 | 17k| 0 | 0 | 58k| 378k|4101 | 0.000000e+00 | 6.000000e+00 | Inf
551.50/551.59 c 536s|310000 | 1868 | 1783k| 5.7 | 49M| 741 | 9 |3639 | 17k|3639 | 998 | 59k| 393k|4163 | 0.000000e+00 | 6.000000e+00 | Inf
570.20/570.25 c 554s|320000 | 1856 | 1837k| 5.7 | 50M| 741 | - |3639 | 18k| 0 | 0 | 61k| 407k|4231 | 0.000000e+00 | 6.000000e+00 | Inf
588.20/588.21 c 572s|330000 | 1876 | 1889k| 5.7 | 51M| 741 | 1 |3639 | 18k|3639 | 989 | 62k| 421k|4299 | 0.000000e+00 | 6.000000e+00 | Inf
600.30/600.39 o 5
600.30/600.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.30/600.39 c * 584s|336195 | 1819 | 1923k| 5.7 | 50M| 741 | - |3639 | 19k|3639 |1009 | 63k| 430k|4350 | 0.000000e+00 | 5.000000e+00 | Inf
607.90/607.95 c 591s|340000 | 1869 | 1945k| 5.7 | 50M| 741 | - |3639 | 18k| 0 | 0 | 63k| 435k|4355 | 0.000000e+00 | 5.000000e+00 | Inf
627.41/627.44 c 610s|350000 | 1843 | 2003k| 5.7 | 50M| 741 | - |3639 | 17k| 0 | 0 | 65k| 449k|4411 | 0.000000e+00 | 5.000000e+00 | Inf
646.11/646.18 c 628s|360000 | 1842 | 2057k| 5.7 | 50M| 741 | 11 |3639 | 17k|3639 | 997 | 67k| 464k|4480 | 0.000000e+00 | 5.000000e+00 | Inf
664.81/664.82 c 647s|370000 | 1809 | 2113k| 5.7 | 49M| 741 | 17 |3639 | 14k|3639 | 983 | 68k| 478k|4548 | 0.000000e+00 | 5.000000e+00 | Inf
682.60/682.67 c 664s|380000 | 1861 | 2171k| 5.7 | 50M| 741 | 19 |3639 | 15k|3639 |1008 | 70k| 493k|4603 | 0.000000e+00 | 5.000000e+00 | Inf
700.51/700.55 c 681s|390000 | 1888 | 2231k| 5.7 | 50M| 741 | - |3639 | 12k| 0 | 0 | 71k| 507k|4696 | 0.000000e+00 | 5.000000e+00 | Inf
719.31/719.40 c 700s|400000 | 1891 | 2295k| 5.7 | 50M| 741 | 16 |3639 | 12k|3639 |1003 | 72k| 521k|4911 | 0.000000e+00 | 5.000000e+00 | Inf
737.02/737.04 c 717s|410000 | 1906 | 2354k| 5.7 | 51M| 741 | 28 |3639 | 13k|3639 | 996 | 74k| 534k|4925 | 0.000000e+00 | 5.000000e+00 | Inf
755.21/755.21 c 734s|420000 | 1922 | 2415k| 5.7 | 51M| 741 | 23 |3639 | 13k|3639 | 995 | 75k| 547k|5002 | 0.000000e+00 | 5.000000e+00 | Inf
773.51/773.54 c 752s|430000 | 2028 | 2479k| 5.8 | 53M| 741 | - |3639 | 14k| 0 | 0 | 77k| 560k|5065 | 0.000000e+00 | 5.000000e+00 | Inf
791.91/791.97 c 770s|440000 | 2049 | 2544k| 5.8 | 53M| 741 | 19 |3639 | 12k|3639 | 995 | 78k| 574k|5132 | 0.000000e+00 | 5.000000e+00 | Inf
810.21/810.25 c 788s|450000 | 2047 | 2609k| 5.8 | 54M| 741 | 12 |3639 | 15k|3639 | 997 | 80k| 587k|5195 | 0.000000e+00 | 5.000000e+00 | Inf
829.21/829.28 c 806s|460000 | 2006 | 2672k| 5.8 | 54M| 741 | - |3639 | 16k|3639 | 998 | 82k| 601k|5287 | 0.000000e+00 | 5.000000e+00 | Inf
848.51/848.52 c 825s|470000 | 2081 | 2739k| 5.8 | 55M| 741 | 14 |3639 | 15k|3639 | 991 | 84k| 614k|5341 | 0.000000e+00 | 5.000000e+00 | Inf
867.51/867.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.51/867.52 c 844s|480000 | 2057 | 2802k| 5.8 | 56M| 741 | - |3639 | 16k| 0 | 0 | 86k| 627k|5396 | 0.000000e+00 | 5.000000e+00 | Inf
885.71/885.77 c 861s|490000 | 2124 | 2865k| 5.8 | 56M| 741 | - |3639 | 15k|3639 | 992 | 88k| 641k|5468 | 0.000000e+00 | 5.000000e+00 | Inf
905.32/905.37 c 880s|500000 | 2167 | 2936k| 5.9 | 57M| 741 | - |3639 | 16k| 0 | 0 | 90k| 654k|5528 | 0.000000e+00 | 5.000000e+00 | Inf
924.92/924.97 c 900s|510000 | 2119 | 3000k| 5.9 | 57M| 741 | - |3639 | 18k| 0 | 0 | 92k| 667k|5606 | 0.000000e+00 | 5.000000e+00 | Inf
944.82/944.89 c 919s|520000 | 2072 | 3062k| 5.9 | 56M| 741 | 14 |3639 | 16k|3639 | 985 | 94k| 681k|5700 | 0.000000e+00 | 5.000000e+00 | Inf
964.31/964.39 c 938s|530000 | 2040 | 3127k| 5.9 | 56M| 741 | - |3639 | 15k| 0 | 0 | 95k| 694k|5753 | 0.000000e+00 | 5.000000e+00 | Inf
983.01/983.09 c 956s|540000 | 2088 | 3185k| 5.9 | 57M| 741 | 13 |3639 | 16k|3639 | 978 | 97k| 708k|5809 | 0.000000e+00 | 5.000000e+00 | Inf
1002.12/1002.18 c 975s|550000 | 2161 | 3244k| 5.9 | 58M| 741 | - |3639 | 16k| 0 | 0 | 98k| 722k|5871 | 0.000000e+00 | 5.000000e+00 | Inf
1021.01/1021.01 c 993s|560000 | 2210 | 3299k| 5.9 | 59M| 741 | 10 |3639 | 17k|3639 | 982 | 100k| 737k|5941 | 0.000000e+00 | 5.000000e+00 | Inf
1040.52/1040.59 c 1012s|570000 | 2190 | 3361k| 5.9 | 59M| 741 | 13 |3639 | 17k|3639 | 997 | 102k| 751k|5979 | 0.000000e+00 | 5.000000e+00 | Inf
1060.61/1060.63 c 1032s|580000 | 2173 | 3429k| 5.9 | 59M| 741 | - |3639 | 17k| 0 | 0 | 104k| 765k|6040 | 0.000000e+00 | 5.000000e+00 | Inf
1080.02/1080.06 c 1050s|590000 | 2149 | 3487k| 5.9 | 59M| 741 | - |3639 | 18k| 0 | 0 | 106k| 779k|6130 | 0.000000e+00 | 5.000000e+00 | Inf
1098.72/1098.73 c 1069s|600000 | 2156 | 3549k| 5.9 | 59M| 741 | 23 |3639 | 17k|3639 | 996 | 108k| 793k|6171 | 0.000000e+00 | 5.000000e+00 | Inf
1116.71/1116.78 c 1086s|610000 | 2155 | 3604k| 5.9 | 60M| 741 | 16 |3639 | 18k|3639 |1003 | 109k| 808k|6200 | 0.000000e+00 | 5.000000e+00 | Inf
1137.32/1137.34 c 1106s|620000 | 2152 | 3670k| 5.9 | 61M| 741 | 13 |3639 | 21k|3639 |1004 | 111k| 821k|6249 | 0.000000e+00 | 5.000000e+00 | Inf
1158.12/1158.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.12/1158.13 c 1126s|630000 | 2200 | 3735k| 5.9 | 63M| 741 | - |3639 | 24k| 0 | 0 | 113k| 834k|6301 | 0.000000e+00 | 5.000000e+00 | Inf
1179.02/1179.06 c 1147s|640000 | 2113 | 3796k| 5.9 | 59M| 741 | - |3639 | 16k| 0 | 0 | 116k| 848k|6382 | 0.000000e+00 | 5.000000e+00 | Inf
1198.22/1198.22 c 1166s|650000 | 2101 | 3861k| 5.9 | 59M| 741 | - |3639 | 15k|3639 | 987 | 117k| 861k|6464 | 0.000000e+00 | 5.000000e+00 | Inf
1217.22/1217.21 c 1184s|660000 | 2166 | 3928k| 6.0 | 59M| 741 | 19 |3639 | 13k|3639 |1003 | 119k| 874k|6534 | 0.000000e+00 | 5.000000e+00 | Inf
1235.62/1235.69 c 1202s|670000 | 2249 | 3993k| 6.0 | 61M| 741 | - |3639 | 15k| 0 | 0 | 121k| 888k|6571 | 0.000000e+00 | 5.000000e+00 | Inf
1254.42/1254.44 c 1220s|680000 | 2188 | 4058k| 6.0 | 60M| 741 | 11 |3639 | 12k|3639 | 973 | 123k| 902k|6626 | 0.000000e+00 | 5.000000e+00 | Inf
1273.52/1273.56 c 1239s|690000 | 2303 | 4123k| 6.0 | 62M| 741 | 29 |3639 | 13k|3639 | 987 | 125k| 915k|6681 | 0.000000e+00 | 5.000000e+00 | Inf
1293.52/1293.60 c 1258s|700000 | 2293 | 4191k| 6.0 | 63M| 741 | - |3639 | 16k| 0 | 0 | 126k| 928k|6745 | 0.000000e+00 | 5.000000e+00 | Inf
1314.82/1314.88 c 1279s|710000 | 2341 | 4265k| 6.0 | 64M| 741 | - |3639 | 17k| 0 | 0 | 128k| 941k|6797 | 0.000000e+00 | 5.000000e+00 | Inf
1334.82/1334.83 c 1298s|720000 | 2361 | 4333k| 6.0 | 65M| 741 | 20 |3639 | 18k|3639 | 997 | 130k| 956k|6852 | 0.000000e+00 | 5.000000e+00 | Inf
1343.12/1343.15 o 1
1343.12/1343.15 c *1307s|724535 | 1187 | 4358k| 6.0 | 46M| 741 | - |3639 | 19k|3639 |1002 | 130k| 963k|6888 | 0.000000e+00 | 1.000000e-00 | Inf
1353.12/1353.14 c 1316s|730000 | 1073 | 4389k| 6.0 | 43M| 741 | - |3639 | 13k| 0 | 0 | 131k| 971k|6928 | 0.000000e+00 | 1.000000e-00 | Inf
1370.92/1370.99 c 1334s|740000 | 1172 | 4454k| 6.0 | 44M| 741 | 19 |3639 | 15k|3639 | 991 | 133k| 983k|6971 | 0.000000e+00 | 1.000000e-00 | Inf
1389.62/1389.60 c 1352s|750000 | 1251 | 4512k| 6.0 | 46M| 741 | 13 |3639 | 20k|3639 | 991 | 135k| 996k|6985 | 0.000000e+00 | 1.000000e-00 | Inf
1409.83/1409.86 c 1371s|760000 | 1309 | 4572k| 6.0 | 46M| 741 | - |3639 | 16k| 0 | 0 | 137k|1009k|7053 | 0.000000e+00 | 1.000000e-00 | Inf
1428.42/1428.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.42/1428.41 c 1390s|770000 | 1335 | 4629k| 6.0 | 47M| 741 | - |3639 | 17k| 0 | 0 | 139k|1023k|7117 | 0.000000e+00 | 1.000000e-00 | Inf
1448.63/1448.63 c 1409s|780000 | 1335 | 4701k| 6.0 | 47M| 741 | - |3639 | 17k| 0 | 0 | 141k|1036k|7149 | 0.000000e+00 | 1.000000e-00 | Inf
1467.52/1467.54 c 1428s|790000 | 1309 | 4764k| 6.0 | 47M| 741 | - |3639 | 18k| 0 | 0 | 142k|1049k|7196 | 0.000000e+00 | 1.000000e-00 | Inf
1487.23/1487.23 c 1447s|800000 | 1376 | 4829k| 6.0 | 48M| 741 | - |3639 | 18k| 0 | 0 | 144k|1062k|7258 | 0.000000e+00 | 1.000000e-00 | Inf
1508.32/1508.36 c 1468s|810000 | 1449 | 4902k| 6.1 | 50M| 741 | - |3639 | 21k| 0 | 0 | 145k|1075k|7298 | 0.000000e+00 | 1.000000e-00 | Inf
1528.12/1528.18 c 1487s|820000 | 1469 | 4958k| 6.0 | 51M| 741 | - |3639 | 21k| 0 | 0 | 147k|1088k|7322 | 0.000000e+00 | 1.000000e-00 | Inf
1549.83/1549.83 c 1508s|830000 | 1485 | 5023k| 6.1 | 52M| 741 | - |3639 | 22k| 0 | 0 | 148k|1101k|7380 | 0.000000e+00 | 1.000000e-00 | Inf
1572.43/1572.40 c 1530s|840000 | 1497 | 5097k| 6.1 | 52M| 741 | 29 |3639 | 22k|3639 | 984 | 149k|1115k|7450 | 0.000000e+00 | 1.000000e-00 | Inf
1594.33/1594.37 c 1552s|850000 | 1552 | 5165k| 6.1 | 54M| 741 | 23 |3639 | 25k|3639 | 984 | 151k|1129k|7472 | 0.000000e+00 | 1.000000e-00 | Inf
1617.03/1617.08 c 1574s|860000 | 1615 | 5232k| 6.1 | 55M| 741 | - |3639 | 27k|3639 | 998 | 152k|1143k|7519 | 0.000000e+00 | 1.000000e-00 | Inf
1641.14/1641.16 c 1597s|870000 | 1645 | 5299k| 6.1 | 56M| 741 | 22 |3639 | 26k|3639 | 994 | 154k|1157k|7585 | 0.000000e+00 | 1.000000e-00 | Inf
1664.73/1664.79 c 1620s|880000 | 1701 | 5364k| 6.1 | 58M| 741 | 23 |3639 | 29k|3639 | 993 | 155k|1170k|7612 | 0.000000e+00 | 1.000000e-00 | Inf
1688.33/1688.40 c 1644s|890000 | 1726 | 5429k| 6.1 | 58M| 741 | 26 |3639 | 29k|3639 |1003 | 156k|1184k|7655 | 0.000000e+00 | 1.000000e-00 | Inf
1712.93/1712.99 c 1668s|900000 | 1789 | 5505k| 6.1 | 60M| 741 | 35 |3639 | 30k|3639 |1012 | 157k|1198k|7709 | 0.000000e+00 | 1.000000e-00 | Inf
1737.73/1737.73 c 1692s|910000 | 1809 | 5584k| 6.1 | 62M| 741 | - |3639 | 33k| 0 | 0 | 158k|1213k|7765 | 0.000000e+00 | 1.000000e-00 | Inf
1762.93/1762.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.93/1762.91 c 1716s|920000 | 1749 | 5663k| 6.2 | 59M| 741 | - |3639 | 28k| 0 | 0 | 159k|1227k|7816 | 0.000000e+00 | 1.000000e-00 | Inf
1785.93/1785.99 c 1739s|930000 | 1664 | 5726k| 6.2 | 56M| 741 | - |3639 | 22k| 0 | 0 | 161k|1242k|7862 | 0.000000e+00 | 1.000000e-00 | 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) : 1752.69
1800.04/1800.00 c Solving Nodes : 936390
1800.04/1800.00 c Primal Bound : +1.00000000000000e-00 (200 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/1800.03 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.03 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.03 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.03 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.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.04/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.03 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.04/1800.03 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.03 v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29
1800.04/1800.03 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.03 v -x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1752.69
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2693527-1277908864.wbo
1800.04/1800.03 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.04/1800.03 c Constraints : 4491 initial, 4491 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2693527-1277908864.wbo
1800.04/1800.03 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.04/1800.03 c Constraints : 4298 initial, 33611 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.05 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.05 0 0 0 1807 0 114 97 0
1800.04/1800.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1704 - - 3408 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 533993 0 60 744 0 0 996480
1800.04/1800.03 c indicator : 1704 0 3857724 30713 0 129 901965 0 0 0
1800.04/1800.03 c setppc : 11 6 5027020 32747 0 32398 1562286 0 0 0
1800.04/1800.03 c linear : 1704 6 4998865 35126 0 251821 20398437 162356 0 0
1800.04/1800.03 c logicor : 879+ 6 1698760 12150 0 173948 4193278 0 0 0
1800.04/1800.03 c countsols : 0 0 0 12150 0 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 23.12 0.00 0.00 23.12 0.00
1800.04/1800.03 c indicator : 9.04 0.00 7.70 1.34 0.00
1800.04/1800.03 c setppc : 12.40 0.00 12.38 0.02 0.00
1800.04/1800.03 c linear : 151.36 0.00 149.92 1.44 0.00
1800.04/1800.03 c logicor : 243.34 0.00 243.27 0.07 0.00
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 1.08 2 0 0
1800.04/1800.03 c rootredcost : 1.11 36 0 1704
1800.04/1800.03 c pseudoobj : 159.51 5032939 1583 620524
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 23.45 459750 459273 2762556 29.3 13077 26.9 -
1800.04/1800.03 c infeasible LP : 8.95 32523 32523 250789 44.8 306 17.4 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.01 19 19 127 19.8 10 6.9 -
1800.04/1800.03 c applied globally : - - - 1250524 24.2 - - -
1800.04/1800.03 c applied locally : - - - 0 0.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 5 - - 36 - (maximal pool size: 198)
1800.04/1800.03 c redcost : 25.04 536857 0 238337 0 0
1800.04/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.09 6 0 0 1117 0
1800.04/1800.03 c strongcg : 0.05 6 0 0 116 0
1800.04/1800.03 c cmir : 0.03 6 0 0 0 0
1800.04/1800.03 c flowcover : 0.05 6 0 0 0 0
1800.04/1800.03 c clique : 0.00 6 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 1 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 22.61 498853 60 744 0 0 996480
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 1.47 12115 0 0 0 0 24230
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.02 - 35
1800.04/1800.03 c pseudo solutions : 0.00 - 0
1800.04/1800.03 c feaspump : 0.01 1 0
1800.04/1800.03 c oneopt : 0.28 33 0
1800.04/1800.03 c intshifting : 0.03 9 0
1800.04/1800.03 c coefdiving : 0.10 71 0
1800.04/1800.03 c pscostdiving : 0.06 71 0
1800.04/1800.03 c fracdiving : 0.05 71 0
1800.04/1800.03 c veclendiving : 0.08 71 0
1800.04/1800.03 c linesearchdiving : 0.12 72 0
1800.04/1800.03 c guideddiving : 0.11 72 0
1800.04/1800.03 c crossover : 1.03 31 0
1800.04/1800.03 c rootsoldiving : 0.16 57 0
1800.04/1800.03 c objpscostdiving : 0.06 58 0
1800.04/1800.03 c trivial : 0.00 2 0
1800.04/1800.03 c simplerounding : 0.83 499526 0
1800.04/1800.03 c zirounding : 0.66 1000 0
1800.04/1800.03 c rounding : 1.68 9965 0
1800.04/1800.03 c shifting : 1.18 3141 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.01 1 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.19 0 0
1800.04/1800.03 c trysol : 2.17 5560 165
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.03 c dual LP : 654.15 554369 5774731 10.42 8827.84
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.20 112 1079 9.63 5395.00
1800.04/1800.03 c strong branching : 19.03 7907 210541 26.63 11063.64
1800.04/1800.03 c (at root node) : - 33 9347 283.24 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 936390
1800.04/1800.03 c nodes (total) : 936390
1800.04/1800.03 c nodes left : 1641
1800.04/1800.03 c max depth : 741
1800.04/1800.03 c max depth (total): 741
1800.04/1800.03 c backtracks : 85071 (9.1%)
1800.04/1800.03 c delayed cutoffs : 68989
1800.04/1800.03 c repropagations : 2615642 (4555038 domain reductions, 66280 cutoffs)
1800.04/1800.03 c avg switch length: 6.95
1800.04/1800.03 c switching time : 239.48
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 200 (36 improvements)
1800.04/1800.03 c First Solution : +8.67900000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.04/1800.03 c Primal Bound : +1.00000000000000e-00 (in run 1, after 724535 nodes, 1306.52 seconds, depth 60, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 632
1800.13/1800.11 c Time complete: 1800.14.