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-2693453-1277904980.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.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, 2001 impls, 5 clqs
0.08/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.09/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.12 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.13 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.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 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.1s| 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 | 181 | - | 14M| 0 | 0 |3825 |4418 |3825 | 869 | 45 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 302 | - | 14M| 0 | 43 |3825 |4418 |3825 | 884 | 60 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.32 c 0.2s| 1 | 0 | 369 | - | 14M| 0 | 38 |3825 |4418 |3825 | 903 | 79 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.39 c 0.3s| 1 | 0 | 547 | - | 15M| 0 | 67 |3825 |4418 |3825 | 919 | 95 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 751 | - | 15M| 0 | 30 |3825 |4418 |3825 | 938 | 114 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 753 | - | 15M| 0 | 30 |3825 |4418 |3825 | 940 | 116 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
1.49/1.58 c 1.5s| 1 | 2 | 753 | - | 15M| 0 | 30 |3825 |4418 |3825 | 940 | 116 | 0 | 30 | 0.000000e+00 | 9.081100e+04 | Inf
21.49/21.57 c 20.8s| 10000 | 9995 | 22826 | 2.2 | 37M| 901 | 0 |3825 |4430 |3825 | 998 |2174 | 12 |1146 | 0.000000e+00 | 9.081100e+04 | Inf
31.59/31.60 o 379
31.59/31.60 c *30.6s| 17888 | 5115 | 36505 | 2.0 | 31M| 901 | - |3825 |4441 |3825 | 993 |3330 | 23 |1218 | 0.000000e+00 | 3.790000e+02 | Inf
31.90/31.94 o 353
31.90/31.94 c *30.9s| 18095 | 4632 | 37106 | 2.0 | 30M| 901 | - |3825 |4451 |3825 | 993 |3401 | 33 |1218 | 0.000000e+00 | 3.530000e+02 | Inf
31.99/32.00 o 346
31.99/32.00 c *30.9s| 18109 | 4426 | 37213 | 2.0 | 30M| 901 | - |3825 |4511 |3825 | 992 |3410 | 93 |1218 | 0.000000e+00 | 3.460000e+02 | Inf
31.99/32.00 o 343
31.99/32.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.99/32.00 c *30.9s| 18110 | 4347 | 37213 | 2.0 | 30M| 901 | - |3825 |4511 |3825 | 992 |3410 | 93 |1218 | 0.000000e+00 | 3.430000e+02 | Inf
32.19/32.20 o 309
32.19/32.20 c *31.1s| 18174 | 3767 | 38083 | 2.1 | 28M| 901 | - |3825 |4570 |3825 | 991 |3486 | 152 |1218 | 0.000000e+00 | 3.090000e+02 | Inf
32.19/32.20 o 286
32.19/32.20 c *31.1s| 18175 | 3358 | 38083 | 2.1 | 28M| 901 | - |3825 |4570 |3825 | 991 |3486 | 152 |1218 | 0.000000e+00 | 2.860000e+02 | Inf
32.79/32.81 o 280
32.79/32.81 c *31.7s| 18384 | 3345 | 40936 | 2.2 | 28M| 901 | - |3825 |4741 |3825 | 957 |3733 | 323 |1238 | 0.000000e+00 | 2.800000e+02 | Inf
33.19/33.21 o 262
33.19/33.21 c *32.1s| 18488 | 3046 | 43010 | 2.3 | 28M| 901 | - |3825 |4795 |3825 |1003 |3926 | 377 |1250 | 0.000000e+00 | 2.620000e+02 | Inf
33.19/33.21 o 239
33.19/33.21 c *32.1s| 18489 | 2834 | 43015 | 2.3 | 27M| 901 | - |3825 |4795 |3825 |1003 |3926 | 377 |1250 | 0.000000e+00 | 2.390000e+02 | Inf
33.49/33.56 o 237
33.49/33.56 c *32.4s| 18553 | 2840 | 45056 | 2.4 | 27M| 901 | - |3825 |4858 |3825 | 994 |4079 | 440 |1259 | 0.000000e+00 | 2.370000e+02 | Inf
33.79/33.84 o 236
33.79/33.84 c *32.7s| 18716 | 2955 | 45295 | 2.4 | 28M| 901 | - |3825 |5022 |3825 | 995 |4115 | 606 |1259 | 0.000000e+00 | 2.360000e+02 | Inf
33.90/33.97 o 226
33.90/33.97 c *32.8s| 18815 | 2949 | 45313 | 2.4 | 28M| 901 | - |3825 |5031 |3825 | 991 |4120 | 616 |1259 | 0.000000e+00 | 2.260000e+02 | Inf
33.90/33.99 o 205
33.90/33.99 c *32.9s| 18820 | 2676 | 45371 | 2.4 | 27M| 901 | - |3825 |5031 |3825 | 994 |4123 | 616 |1259 | 0.000000e+00 | 2.050000e+02 | Inf
34.00/34.00 o 169
34.00/34.00 c *32.9s| 18821 | 2354 | 45371 | 2.4 | 26M| 901 | - |3825 |5031 |3825 | 994 |4123 | 616 |1259 | 0.000000e+00 | 1.690000e+02 | Inf
34.00/34.02 o 168
34.00/34.02 c *32.9s| 18824 | 2345 | 45429 | 2.4 | 26M| 901 | - |3825 |5030 |3825 | 998 |4130 | 616 |1259 | 0.000000e+00 | 1.680000e+02 | Inf
34.29/34.38 o 167
34.29/34.38 c *33.2s| 18916 | 2390 | 47039 | 2.4 | 27M| 901 | - |3825 |5123 |3825 | 986 |4264 | 712 |1268 | 0.000000e+00 | 1.670000e+02 | Inf
34.29/34.40 o 160
34.29/34.40 c *33.2s| 18926 | 2355 | 47060 | 2.4 | 27M| 901 | - |3825 |5123 |3825 | 986 |4264 | 712 |1268 | 0.000000e+00 | 1.600000e+02 | Inf
35.49/35.50 o 157
35.49/35.50 c *34.3s| 19343 | 2585 | 50469 | 2.6 | 28M| 901 | - |3825 |5508 |3825 | 977 |4602 |1125 |1280 | 0.000000e+00 | 1.570000e+02 | Inf
35.49/35.55 o 142
35.49/35.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.49/35.55 c *34.4s| 19401 | 2352 | 50485 | 2.6 | 27M| 901 | - |3825 |5508 |3825 | 977 |4602 |1125 |1280 | 0.000000e+00 | 1.420000e+02 | Inf
35.79/35.85 o 138
35.79/35.85 c *34.6s| 19453 | 2323 | 52416 | 2.7 | 27M| 901 | - |3825 |5546 |3825 | 967 |4692 |1170 |1285 | 0.000000e+00 | 1.380000e+02 | Inf
35.79/35.86 o 123
35.79/35.86 c *34.6s| 19454 | 2066 | 52418 | 2.7 | 27M| 901 | - |3825 |5546 |3825 | 968 |4693 |1170 |1285 | 0.000000e+00 | 1.230000e+02 | Inf
35.89/35.90 o 83
35.89/35.90 c *34.7s| 19471 | 1426 | 52469 | 2.7 | 25M| 901 | - |3825 |5575 |3825 | 993 |4695 |1200 |1285 | 0.000000e+00 | 8.300000e+01 | Inf
35.99/36.06 o 82
35.99/36.06 c *34.8s| 19513 | 1420 | 52812 | 2.7 | 25M| 901 | - |3825 |5331 |3825 | 981 |4724 |1315 |1287 | 0.000000e+00 | 8.200000e+01 | Inf
35.99/36.07 o 80
35.99/36.07 c *34.9s| 19514 | 1391 | 52821 | 2.7 | 25M| 901 | - |3825 |5331 |3825 | 986 |4729 |1315 |1287 | 0.000000e+00 | 8.000000e+01 | Inf
36.59/36.60 o 73
36.59/36.60 c *35.4s| 19642 | 1298 | 55806 | 2.8 | 25M| 901 | - |3825 |5315 |3825 | 990 |4931 |1443 |1295 | 0.000000e+00 | 7.300000e+01 | Inf
37.19/37.21 o 68
37.19/37.21 c *36.0s| 19858 | 1213 | 58253 | 2.9 | 25M| 901 | - |3825 |5214 |3825 | 994 |5080 |1767 |1297 | 0.000000e+00 | 6.800000e+01 | Inf
37.40/37.47 o 63
37.40/37.47 c *36.2s| 19936 | 1121 | 59342 | 2.9 | 25M| 901 | - |3825 |5126 |3825 | 987 |5123 |1877 |1297 | 0.000000e+00 | 6.300000e+01 | Inf
37.40/37.47 o 59
37.40/37.47 c *36.2s| 19937 | 1016 | 59345 | 2.9 | 25M| 901 | - |3825 |5126 |3825 | 987 |5123 |1877 |1297 | 0.000000e+00 | 5.900000e+01 | Inf
37.59/37.64 c 36.4s| 20000 | 1059 | 60276 | 3.0 | 25M| 901 | 0 |3825 |4959 |3825 | 967 |5159 |1908 |1299 | 0.000000e+00 | 5.900000e+01 | Inf
37.59/37.65 o 48
37.59/37.65 c *36.4s| 20017 | 693 | 60276 | 3.0 | 24M| 901 | - |3825 |4959 |3825 | 967 |5159 |1908 |1299 | 0.000000e+00 | 4.800000e+01 | Inf
39.89/39.97 o 33
39.89/39.97 c *38.6s| 21016 | 538 | 68961 | 3.2 | 24M| 901 | - |3825 |5352 |3825 | 993 |5608 |3146 |1303 | 0.000000e+00 | 3.300000e+01 | Inf
39.89/39.98 o 30
39.89/39.98 c *38.6s| 21017 | 506 | 68962 | 3.2 | 24M| 901 | - |3825 |5352 |3825 | 993 |5608 |3146 |1303 | 0.000000e+00 | 3.000000e+01 | Inf
53.29/53.30 o 23
53.29/53.30 c *51.2s| 27412 | 826 |121774 | 4.4 | 28M| 901 | - |3825 |6098 |3825 | 954 |7343 | 11k|1430 | 0.000000e+00 | 2.300000e+01 | Inf
58.09/58.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.09/58.12 c 55.8s| 30000 | 964 |138733 | 4.6 | 30M| 901 | 1 |3825 |5799 |3825 | 933 |8057 | 14k|1434 | 0.000000e+00 | 2.300000e+01 | Inf
64.50/64.54 o 17
64.50/64.54 c *61.9s| 33729 | 984 |156675 | 4.6 | 31M| 901 | - |3825 |6322 |3825 | 966 |8822 | 19k|1496 | 0.000000e+00 | 1.700000e+01 | Inf
65.19/65.28 o 16
65.19/65.28 c *62.6s| 34121 | 988 |158648 | 4.6 | 31M| 901 | - |3825 |5643 |3825 | 969 |8911 | 19k|1506 | 0.000000e+00 | 1.600000e+01 | Inf
75.30/75.37 c 72.2s| 40000 | 1063 |195651 | 4.9 | 32M| 901 | 1 |3825 |6103 |3825 | 949 | 10k| 27k|1508 | 0.000000e+00 | 1.600000e+01 | Inf
82.59/82.60 o 15
82.59/82.60 c *79.0s| 44427 | 1194 |221844 | 5.0 | 34M| 901 | - |3825 |7396 |3825 | 933 | 11k| 33k|1508 | 0.000000e+00 | 1.500000e+01 | Inf
91.99/92.06 c 87.9s| 50000 | 1346 |254683 | 5.1 | 35M| 901 | 1 |3825 |7121 |3825 | 950 | 12k| 40k|1508 | 0.000000e+00 | 1.500000e+01 | Inf
100.39/100.48 o 14
100.39/100.48 c *95.8s| 54851 | 1420 |287525 | 5.2 | 37M| 901 | - |3825 |7239 |3825 | 968 | 13k| 47k|1508 | 0.000000e+00 | 1.400000e+01 | Inf
109.30/109.35 c 104s| 60000 | 1501 |319900 | 5.3 | 38M| 901 | 15 |3825 |5821 |3825 | 931 | 14k| 54k|1508 | 0.000000e+00 | 1.400000e+01 | Inf
125.90/125.96 c 120s| 70000 | 1654 |374925 | 5.3 | 42M| 901 | 1 |3825 |8786 |3825 | 964 | 16k| 67k|1508 | 0.000000e+00 | 1.400000e+01 | Inf
143.30/143.30 c 136s| 80000 | 1857 |437407 | 5.5 | 45M| 901 | - |3825 |8444 | 0 | 0 | 18k| 80k|1591 | 0.000000e+00 | 1.400000e+01 | Inf
161.71/161.74 c 154s| 90000 | 2130 |506336 | 5.6 | 48M| 901 | 12 |3825 |9801 |3825 | 963 | 19k| 93k|1676 | 0.000000e+00 | 1.400000e+01 | Inf
179.50/179.55 c 171s|100000 | 2197 |565580 | 5.6 | 50M| 901 | 9 |3825 |8161 |3825 | 958 | 22k| 106k|1824 | 0.000000e+00 | 1.400000e+01 | Inf
184.30/184.37 o 7
184.30/184.37 c * 175s|102673 | 2088 |585608 | 5.7 | 48M| 901 | - |3825 |7970 |3825 | 951 | 22k| 110k|1851 | 0.000000e+00 | 7.000000e+00 | Inf
184.30/184.38 o 5
184.30/184.38 c * 175s|102674 | 1873 |585622 | 5.7 | 45M| 901 | - |3825 |7970 |3825 | 951 | 22k| 110k|1851 | 0.000000e+00 | 5.000000e+00 | Inf
196.59/196.63 c 187s|110000 | 2012 |632154 | 5.7 | 47M| 901 | - |3825 |8257 | 0 | 0 | 24k| 120k|1938 | 0.000000e+00 | 5.000000e+00 | Inf
213.20/213.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.20/213.28 c 202s|120000 | 2084 |698224 | 5.8 | 48M| 901 | 1 |3825 |6914 |3825 | 958 | 26k| 134k|2049 | 0.000000e+00 | 5.000000e+00 | Inf
230.91/230.95 c 219s|130000 | 2150 |768249 | 5.9 | 49M| 901 | 17 |3825 |7712 |3825 | 947 | 28k| 147k|2220 | 0.000000e+00 | 5.000000e+00 | Inf
247.80/247.86 c 235s|140000 | 2160 |834392 | 6.0 | 51M| 901 | 27 |3825 |9211 |3825 | 931 | 31k| 160k|2300 | 0.000000e+00 | 5.000000e+00 | Inf
265.50/265.57 c 252s|150000 | 2290 |902206 | 6.0 | 53M| 901 | 1 |3825 | 10k|3825 | 953 | 33k| 173k|2418 | 0.000000e+00 | 5.000000e+00 | Inf
283.81/283.86 c 269s|160000 | 2267 |973443 | 6.1 | 53M| 901 | - |3825 | 10k| 0 | 0 | 35k| 186k|2486 | 0.000000e+00 | 5.000000e+00 | Inf
301.80/301.81 c 286s|170000 | 2276 | 1045k| 6.1 | 53M| 901 | 17 |3825 |7656 |3825 | 944 | 38k| 200k|2671 | 0.000000e+00 | 5.000000e+00 | Inf
318.50/318.55 c 302s|180000 | 2234 | 1109k| 6.2 | 53M| 901 | 1 |3825 |7374 |3825 | 952 | 40k| 213k|2766 | 0.000000e+00 | 5.000000e+00 | Inf
336.10/336.16 c 319s|190000 | 2325 | 1176k| 6.2 | 56M| 901 | 15 |3825 | 12k|3825 | 970 | 43k| 226k|2823 | 0.000000e+00 | 5.000000e+00 | Inf
354.90/354.94 c 337s|200000 | 2484 | 1243k| 6.2 | 59M| 901 | - |3825 | 16k| 0 | 0 | 45k| 239k|2928 | 0.000000e+00 | 5.000000e+00 | Inf
374.20/374.20 c 355s|210000 | 2461 | 1311k| 6.2 | 59M| 901 | - |3825 | 15k| 0 | 0 | 47k| 253k|2997 | 0.000000e+00 | 5.000000e+00 | Inf
394.20/394.21 c 374s|220000 | 2339 | 1381k| 6.3 | 57M| 901 | 23 |3825 | 12k|3825 | 954 | 50k| 266k|3090 | 0.000000e+00 | 5.000000e+00 | Inf
414.21/414.28 c 393s|230000 | 2326 | 1459k| 6.3 | 58M| 901 | 12 |3825 | 11k|3825 | 965 | 52k| 280k|3254 | 0.000000e+00 | 5.000000e+00 | Inf
433.81/433.84 c 412s|240000 | 2281 | 1540k| 6.4 | 57M| 901 | 17 |3825 | 10k|3825 | 950 | 54k| 294k|3379 | 0.000000e+00 | 5.000000e+00 | Inf
451.40/451.44 c 428s|250000 | 2412 | 1604k| 6.4 | 59M| 901 | 1 |3825 | 12k|3825 | 951 | 56k| 307k|3485 | 0.000000e+00 | 5.000000e+00 | Inf
469.00/469.06 c 445s|260000 | 2507 | 1660k| 6.4 | 60M| 901 | 1 |3825 | 13k|3825 | 958 | 59k| 320k|3561 | 0.000000e+00 | 5.000000e+00 | Inf
487.50/487.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.50/487.57 c 463s|270000 | 2637 | 1724k| 6.4 | 62M| 901 | - |3825 | 13k| 0 | 0 | 61k| 333k|3643 | 0.000000e+00 | 5.000000e+00 | Inf
506.51/506.55 c 481s|280000 | 2692 | 1794k| 6.4 | 64M| 901 | - |3825 | 17k|3825 | 982 | 64k| 346k|3718 | 0.000000e+00 | 5.000000e+00 | Inf
525.60/525.65 c 499s|290000 | 2676 | 1856k| 6.4 | 63M| 901 | 1 |3825 | 14k|3825 | 941 | 66k| 359k|3803 | 0.000000e+00 | 5.000000e+00 | Inf
544.30/544.36 c 517s|300000 | 2726 | 1919k| 6.4 | 64M| 901 | 15 |3825 | 14k|3825 | 957 | 69k| 373k|3867 | 0.000000e+00 | 5.000000e+00 | Inf
562.71/562.73 c 534s|310000 | 2621 | 1980k| 6.4 | 63M| 901 | - |3825 | 12k| 0 | 0 | 71k| 386k|3928 | 0.000000e+00 | 5.000000e+00 | Inf
581.61/581.66 c 552s|320000 | 2670 | 2044k| 6.4 | 65M| 901 | 1 |3825 | 18k|3825 | 962 | 74k| 400k|3991 | 0.000000e+00 | 5.000000e+00 | Inf
601.81/601.88 c 571s|330000 | 2712 | 2107k| 6.4 | 67M| 901 | 1 |3825 | 22k|3825 | 952 | 76k| 414k|4048 | 0.000000e+00 | 5.000000e+00 | Inf
624.20/624.27 c 593s|340000 | 2718 | 2181k| 6.4 | 68M| 901 | - |3825 | 22k| 0 | 0 | 79k| 428k|4105 | 0.000000e+00 | 5.000000e+00 | Inf
646.21/646.26 c 614s|350000 | 2811 | 2249k| 6.4 | 70M| 901 | - |3825 | 25k|3825 | 970 | 81k| 441k|4190 | 0.000000e+00 | 5.000000e+00 | Inf
669.41/669.47 c 636s|360000 | 2954 | 2321k| 6.4 | 72M| 901 | - |3825 | 26k| 0 | 0 | 83k| 455k|4262 | 0.000000e+00 | 5.000000e+00 | Inf
693.62/693.64 c 659s|370000 | 3087 | 2391k| 6.5 | 74M| 901 | 10 |3825 | 27k|3825 | 962 | 85k| 468k|4369 | 0.000000e+00 | 5.000000e+00 | Inf
718.51/718.50 c 683s|380000 | 3093 | 2462k| 6.5 | 74M| 901 | - |3825 | 25k| 0 | 0 | 87k| 481k|4441 | 0.000000e+00 | 5.000000e+00 | Inf
745.51/745.53 c 709s|390000 | 3325 | 2550k| 6.5 | 77M| 901 | 7 |3825 | 28k|3825 | 959 | 89k| 494k|4520 | 0.000000e+00 | 5.000000e+00 | Inf
772.01/772.06 c 735s|400000 | 3404 | 2630k| 6.6 | 78M| 901 | 23 |3825 | 28k|3825 | 952 | 91k| 508k|4612 | 0.000000e+00 | 5.000000e+00 | Inf
797.32/797.37 c 759s|410000 | 3445 | 2695k| 6.6 | 80M| 901 | - |3825 | 32k| 0 | 0 | 93k| 522k|4660 | 0.000000e+00 | 5.000000e+00 | Inf
823.71/823.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.71/823.74 c 784s|420000 | 3636 | 2774k| 6.6 | 82M| 901 | - |3825 | 31k| 0 | 0 | 95k| 536k|4740 | 0.000000e+00 | 5.000000e+00 | Inf
849.02/849.05 c 809s|430000 | 3778 | 2844k| 6.6 | 84M| 901 | - |3825 | 32k| 0 | 0 | 97k| 551k|4801 | 0.000000e+00 | 5.000000e+00 | Inf
874.82/874.88 c 834s|440000 | 3883 | 2915k| 6.6 | 85M| 901 | 17 |3825 | 31k|3825 | 959 | 100k| 565k|4861 | 0.000000e+00 | 5.000000e+00 | Inf
901.41/901.47 c 859s|450000 | 4021 | 2991k| 6.6 | 87M| 901 | 11 |3825 | 34k|3825 | 976 | 102k| 579k|4937 | 0.000000e+00 | 5.000000e+00 | Inf
926.91/926.99 c 884s|460000 | 4133 | 3063k| 6.7 | 87M| 901 | - |3825 | 30k| 0 | 0 | 104k| 594k|5023 | 0.000000e+00 | 5.000000e+00 | Inf
951.22/951.20 c 907s|470000 | 4304 | 3135k| 6.7 | 89M| 901 | - |3825 | 29k| 0 | 0 | 106k| 608k|5093 | 0.000000e+00 | 5.000000e+00 | Inf
975.32/975.36 c 930s|480000 | 4375 | 3208k| 6.7 | 90M| 901 | - |3825 | 28k| 0 | 0 | 108k| 622k|5170 | 0.000000e+00 | 5.000000e+00 | Inf
999.22/999.26 c 953s|490000 | 4476 | 3274k| 6.7 | 92M| 901 | 8 |3825 | 31k|3825 | 959 | 111k| 637k|5220 | 0.000000e+00 | 5.000000e+00 | Inf
1025.42/1025.47 c 978s|500000 | 4495 | 3349k| 6.7 | 91M| 901 | - |3825 | 26k| 0 | 0 | 113k| 651k|5286 | 0.000000e+00 | 5.000000e+00 | Inf
1051.22/1051.21 c 1003s|510000 | 4667 | 3431k| 6.7 | 94M| 901 | 12 |3825 | 29k|3825 | 952 | 116k| 665k|5345 | 0.000000e+00 | 5.000000e+00 | Inf
1075.02/1075.09 c 1026s|520000 | 4808 | 3495k| 6.7 | 96M| 901 | 23 |3825 | 30k|3825 | 969 | 118k| 680k|5405 | 0.000000e+00 | 5.000000e+00 | Inf
1101.43/1101.46 c 1051s|530000 | 4811 | 3581k| 6.8 | 96M| 901 | - |3825 | 28k| 0 | 0 | 120k| 694k|5464 | 0.000000e+00 | 5.000000e+00 | Inf
1126.02/1126.02 c 1075s|540000 | 4772 | 3658k| 6.8 | 96M| 901 | 9 |3825 | 26k|3825 | 972 | 122k| 708k|5536 | 0.000000e+00 | 5.000000e+00 | Inf
1150.03/1150.08 c 1098s|550000 | 4843 | 3731k| 6.8 | 98M| 901 | - |3825 | 29k|3825 | 982 | 124k| 722k|5599 | 0.000000e+00 | 5.000000e+00 | Inf
1175.32/1175.34 c 1122s|560000 | 4865 | 3809k| 6.8 | 99M| 901 | - |3825 | 30k|3825 |1005 | 127k| 737k|5665 | 0.000000e+00 | 5.000000e+00 | Inf
1199.23/1199.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.23/1199.21 c 1145s|570000 | 4835 | 3879k| 6.8 | 97M| 901 | - |3825 | 26k| 0 | 0 | 129k| 751k|5721 | 0.000000e+00 | 5.000000e+00 | Inf
1222.53/1222.59 c 1168s|580000 | 4807 | 3953k| 6.8 | 97M| 901 | 1 |3825 | 24k|3825 | 976 | 131k| 766k|5756 | 0.000000e+00 | 5.000000e+00 | Inf
1245.24/1245.24 c 1189s|590000 | 4970 | 4038k| 6.8 | 100M| 901 | - |3825 | 27k| 0 | 0 | 133k| 780k|5818 | 0.000000e+00 | 5.000000e+00 | Inf
1269.44/1269.41 c 1213s|600000 | 5189 | 4120k| 6.9 | 102M| 901 | - |3825 | 28k| 0 | 0 | 135k| 794k|5876 | 0.000000e+00 | 5.000000e+00 | Inf
1293.43/1293.48 c 1236s|610000 | 5273 | 4199k| 6.9 | 102M| 901 | - |3825 | 26k| 0 | 0 | 137k| 809k|5927 | 0.000000e+00 | 5.000000e+00 | Inf
1316.83/1316.88 c 1258s|620000 | 5125 | 4278k| 6.9 | 102M| 901 | 7 |3825 | 26k|3825 | 976 | 139k| 825k|5988 | 0.000000e+00 | 5.000000e+00 | Inf
1340.04/1340.06 c 1280s|630000 | 5165 | 4350k| 6.9 | 103M| 901 | 1 |3825 | 27k|3825 | 983 | 141k| 839k|6049 | 0.000000e+00 | 5.000000e+00 | Inf
1363.43/1363.46 c 1303s|640000 | 5169 | 4419k| 6.9 | 104M| 901 | 7 |3825 | 27k|3825 | 959 | 143k| 855k|6097 | 0.000000e+00 | 5.000000e+00 | Inf
1387.53/1387.51 c 1326s|650000 | 5153 | 4488k| 6.9 | 103M| 901 | - |3825 | 24k| 0 | 0 | 145k| 869k|6190 | 0.000000e+00 | 5.000000e+00 | Inf
1412.73/1412.76 c 1350s|660000 | 5054 | 4564k| 6.9 | 102M| 901 | - |3825 | 25k| 0 | 0 | 147k| 882k|6223 | 0.000000e+00 | 5.000000e+00 | Inf
1437.34/1437.36 c 1374s|670000 | 4202 | 4634k| 6.9 | 91M| 901 | 1 |3825 | 22k|3825 | 971 | 150k| 897k|6272 | 0.000000e+00 | 5.000000e+00 | Inf
1445.34/1445.36 o 3
1445.34/1445.36 c *1381s|673643 | 3752 | 4657k| 6.9 | 85M| 901 | - |3825 | 22k|3825 | 978 | 151k| 903k|6289 | 0.000000e+00 | 3.000000e+00 | Inf
1457.74/1457.74 c 1393s|680000 | 3619 | 4699k| 6.9 | 80M| 901 | 1 |3825 | 13k|3825 | 968 | 152k| 912k|6331 | 0.000000e+00 | 3.000000e+00 | Inf
1479.03/1479.05 c 1413s|690000 | 3915 | 4798k| 7.0 | 82M| 901 | - |3825 | 13k| 0 | 0 | 154k| 924k|6419 | 0.000000e+00 | 3.000000e+00 | Inf
1499.34/1499.37 c 1433s|700000 | 3983 | 4883k| 7.0 | 83M| 901 | 21 |3825 | 12k|3825 | 967 | 156k| 938k|6474 | 0.000000e+00 | 3.000000e+00 | Inf
1519.04/1519.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.04/1519.06 c 1451s|710000 | 3812 | 4957k| 7.0 | 82M| 901 | - |3825 | 12k|3825 | 982 | 158k| 951k|6502 | 0.000000e+00 | 3.000000e+00 | Inf
1538.03/1538.02 c 1469s|720000 | 3839 | 5033k| 7.0 | 82M| 901 | - |3825 | 11k| 0 | 0 | 161k| 965k|6678 | 0.000000e+00 | 3.000000e+00 | Inf
1557.54/1557.52 c 1488s|730000 | 3896 | 5107k| 7.0 | 84M| 901 | - |3825 | 14k| 0 | 0 | 164k| 979k|6693 | 0.000000e+00 | 3.000000e+00 | Inf
1577.03/1577.09 c 1507s|740000 | 3675 | 5183k| 7.0 | 79M| 901 | - |3825 |9614 | 0 | 0 | 166k| 994k|6815 | 0.000000e+00 | 3.000000e+00 | Inf
1594.73/1594.75 c 1523s|750000 | 3585 | 5254k| 7.0 | 79M| 901 | - |3825 |9920 | 0 | 0 | 169k|1008k|6874 | 0.000000e+00 | 3.000000e+00 | Inf
1612.74/1612.78 c 1541s|760000 | 3533 | 5323k| 7.0 | 78M| 901 | 17 |3825 |9401 |3825 | 942 | 171k|1021k|7057 | 0.000000e+00 | 3.000000e+00 | Inf
1630.33/1630.33 c 1557s|770000 | 3567 | 5382k| 7.0 | 80M| 901 | 14 |3825 | 11k|3825 | 961 | 173k|1034k|7104 | 0.000000e+00 | 3.000000e+00 | Inf
1649.24/1649.26 c 1575s|780000 | 3640 | 5447k| 7.0 | 82M| 901 | - |3825 | 15k|3825 | 961 | 175k|1048k|7111 | 0.000000e+00 | 3.000000e+00 | Inf
1668.44/1668.47 c 1593s|790000 | 3604 | 5507k| 7.0 | 80M| 901 | 17 |3825 | 11k|3825 | 938 | 177k|1062k|7151 | 0.000000e+00 | 3.000000e+00 | Inf
1686.64/1686.66 c 1611s|800000 | 3340 | 5569k| 7.0 | 77M| 901 | 13 |3825 | 10k|3825 | 958 | 179k|1076k|7236 | 0.000000e+00 | 3.000000e+00 | Inf
1705.44/1705.40 c 1629s|810000 | 3459 | 5642k| 7.0 | 79M| 901 | 1 |3825 | 11k|3825 | 935 | 182k|1089k|7272 | 0.000000e+00 | 3.000000e+00 | Inf
1726.14/1726.16 c 1648s|820000 | 3465 | 5731k| 7.0 | 79M| 901 | 13 |3825 | 11k|3825 | 957 | 184k|1103k|7317 | 0.000000e+00 | 3.000000e+00 | Inf
1745.84/1745.80 c 1667s|830000 | 3450 | 5810k| 7.0 | 80M| 901 | - |3825 | 13k| 0 | 0 | 186k|1117k|7367 | 0.000000e+00 | 3.000000e+00 | Inf
1766.14/1766.15 c 1687s|840000 | 3522 | 5883k| 7.0 | 83M| 901 | - |3825 | 16k| 0 | 0 | 188k|1132k|7421 | 0.000000e+00 | 3.000000e+00 | Inf
1787.54/1787.51 c 1707s|850000 | 3381 | 5964k| 7.0 | 80M| 901 | - |3825 | 11k| 0 | 0 | 190k|1147k|7449 | 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) : 1718.83
1800.05/1800.00 c Solving Nodes : 856475
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (170 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
1800.05/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.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 : 1718.83
1800.05/1800.04 c Original Problem :
1800.05/1800.04 c Problem name : HOME/instance-2693453-1277904980.wbo
1800.05/1800.04 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.05/1800.04 c Constraints : 4571 initial, 4571 maximal
1800.05/1800.04 c Presolved Problem :
1800.05/1800.04 c Problem name : t_HOME/instance-2693453-1277904980.wbo
1800.05/1800.04 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.05/1800.04 c Constraints : 4418 initial, 34395 maximal
1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.04 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.05/1800.04 c dualfix : 0.00 66 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.04 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 66 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 1878 0 87 72 0
1800.05/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c root node : - 1774 - - 3548 - - - -
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 497978 0 61 787 0 0 907662
1800.05/1800.04 c indicator : 1797 0 4410005 42847 0 146 822193 0 0 0
1800.05/1800.04 c setppc : 5 8 4477407 32715 0 2437 572482 0 0 0
1800.05/1800.04 c linear : 1797 8 4534379 43082 0 243615 19002949 192019 0 0
1800.05/1800.04 c logicor : 819+ 8 1579140 18657 0 166456 3908440 0 0 0
1800.05/1800.04 c countsols : 0 0 0 18657 0 0 0 0 0 0
1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.04 c integral : 24.16 0.00 0.00 24.16 0.00
1800.05/1800.04 c indicator : 6.23 0.00 4.11 2.12 0.00
1800.05/1800.04 c setppc : 3.35 0.00 3.35 0.00 0.00
1800.05/1800.04 c linear : 149.70 0.00 148.04 1.66 0.00
1800.05/1800.04 c logicor : 262.33 0.00 262.19 0.14 0.00
1800.05/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.04 c vbounds : 0.00 2 0 0
1800.05/1800.04 c rootredcost : 0.00 40 0 1774
1800.05/1800.04 c pseudoobj : 149.52 4539381 2048 544733
1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.04 c propagation : 20.35 414556 414397 2509594 29.7 14111 25.0 -
1800.05/1800.04 c infeasible LP : 8.28 30235 30235 242155 45.8 399 17.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.00 41 41 232 16.8 44 5.1 -
1800.05/1800.04 c applied globally : - - - 1157217 24.3 - - -
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 6 - - 43 - (maximal pool size: 225)
1800.05/1800.04 c redcost : 24.40 501828 0 229910 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.11 6 0 0 785 0
1800.05/1800.04 c strongcg : 0.05 6 0 0 0 0
1800.05/1800.04 c cmir : 0.02 6 0 0 0 0
1800.05/1800.04 c flowcover : 0.08 6 0 0 0 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 : 24.12 454485 61 787 0 0 907662
1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c inference : 2.26 18618 0 0 0 0 37236
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.04 - 39
1800.05/1800.04 c pseudo solutions : 0.00 - 0
1800.05/1800.04 c feaspump : 0.00 0 0
1800.05/1800.04 c oneopt : 0.14 31 0
1800.05/1800.04 c intshifting : 0.00 8 0
1800.05/1800.04 c linesearchdiving : 0.07 57 0
1800.05/1800.04 c pscostdiving : 0.10 57 0
1800.05/1800.04 c fracdiving : 0.05 57 0
1800.05/1800.04 c veclendiving : 0.06 57 0
1800.05/1800.04 c guideddiving : 0.08 57 0
1800.05/1800.04 c coefdiving : 0.10 58 0
1800.05/1800.04 c crossover : 0.73 32 0
1800.05/1800.04 c rootsoldiving : 0.14 48 0
1800.05/1800.04 c objpscostdiving : 0.03 49 0
1800.05/1800.04 c trivial : 0.00 2 0
1800.05/1800.04 c simplerounding : 0.44 455287 0
1800.05/1800.04 c zirounding : 0.09 1000 0
1800.05/1800.04 c rounding : 1.40 9436 0
1800.05/1800.04 c shifting : 0.89 3015 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.02 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.00 0 0
1800.05/1800.04 c trysol : 1.57 6874 131
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 : 644.04 509897 6010650 11.79 9332.73
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.21 118 2135 18.09 10166.67
1800.05/1800.04 c strong branching : 21.08 7526 231253 30.73 10970.26
1800.05/1800.04 c (at root node) : - 30 9962 332.07 -
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 : 856475
1800.05/1800.04 c nodes (total) : 856475
1800.05/1800.04 c nodes left : 3240
1800.05/1800.04 c max depth : 901
1800.05/1800.04 c max depth (total): 901
1800.05/1800.04 c backtracks : 80244 (9.4%)
1800.05/1800.04 c delayed cutoffs : 65672
1800.05/1800.04 c repropagations : 2319324 (4128427 domain reductions, 60894 cutoffs)
1800.05/1800.04 c avg switch length: 6.90
1800.05/1800.04 c switching time : 243.41
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 170 (40 improvements)
1800.05/1800.04 c First Solution : +9.08110000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.05/1800.04 c Primal Bound : +3.00000000000000e+00 (in run 1, after 673643 nodes, 1381.42 seconds, depth 62, 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 : 753
1800.15/1800.14 c Time complete: 1800.18.