0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692819-1277905246.wbo>
0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 0 impl, 1848 cont) and 4556 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.04/0.09 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.10 c (round 3) 46 del vars, 159 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.11 c (round 4) 124 del vars, 193 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.12 c (round 5) 158 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.13 c (round 6) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.18 c (0.1s) probing: 101/1999 (5.1%) - 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 (7 rounds):
0.09/0.18 c 160 deleted vars, 195 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.18 c 1972 implications, 8 cliques
0.09/0.18 c presolved problem has 3767 variables (1999 bin, 0 int, 0 impl, 1768 cont) and 4361 constraints
0.09/0.18 c 1768 constraints of type <indicator>
0.09/0.18 c 8 constraints of type <setppc>
0.09/0.18 c 1768 constraints of type <linear>
0.09/0.18 c 817 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.11
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 | 35 | - | 14M| 0 | 32 |3767 |4361 |3767 | 825 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 91089
0.19/0.20 c y 0.2s| 1 | 0 | 174 | - | 14M| 0 | 32 |3767 |4361 |3767 | 825 | 0 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 241 | - | 14M| 0 | 41 |3767 |4361 |3767 | 865 | 40 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 300 | - | 14M| 0 | 49 |3767 |4361 |3767 | 874 | 49 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 320 | - | 14M| 0 | 49 |3767 |4361 |3767 | 882 | 57 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 332 | - | 14M| 0 | 53 |3767 |4361 |3767 | 886 | 61 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.49/0.50 c 0.4s| 1 | 0 | 342 | - | 14M| 0 | 57 |3767 |4361 |3767 | 890 | 65 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.49/0.57 c 0.5s| 1 | 0 | 362 | - | 14M| 0 | 58 |3767 |4361 |3767 | 893 | 68 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.89/0.94 c 0.8s| 1 | 2 | 362 | - | 15M| 0 | 58 |3767 |4361 |3767 | 893 | 68 | 0 | 33 | 0.000000e+00 | 9.108900e+04 | Inf
19.89/19.99 c 19.2s| 10000 | 9997 | 20612 | 2.0 | 38M| 123 | 0 |3767 |4366 |3767 | 904 |3814 | 11 |1326 | 0.000000e+00 | 9.108900e+04 | Inf
35.10/35.11 c 33.8s| 20000 | 19995 | 34708 | 1.7 | 55M| 133 | 0 |3767 |4366 |3767 | 916 |7313 | 12 |1463 | 0.000000e+00 | 9.108900e+04 | Inf
49.59/49.61 c 47.8s| 30000 | 29993 | 46368 | 1.5 | 72M| 149 | 0 |3767 |4370 |3767 | 918 | 10k| 17 |1512 | 0.000000e+00 | 9.108900e+04 | Inf
64.09/64.13 c 61.9s| 40000 | 39993 | 56528 | 1.4 | 89M| 149 | 0 |3767 |4370 |3767 | 940 | 12k| 17 |1625 | 0.000000e+00 | 9.108900e+04 | Inf
76.19/76.21 o 471
76.19/76.21 c *73.5s| 48182 | 31308 | 66711 | 1.4 | 77M| 149 | - |3767 |4368 |3767 | 929 | 15k| 19 |1699 | 0.000000e+00 | 4.710000e+02 | Inf
79.09/79.11 o 457
79.09/79.11 c *76.3s| 49446 | 31334 | 72616 | 1.5 | 79M| 149 | - |3767 |4479 |3767 | 917 | 16k| 132 |1702 | 0.000000e+00 | 4.570000e+02 | Inf
79.19/79.27 o 443
79.19/79.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.19/79.27 c *76.5s| 49498 | 30226 | 73017 | 1.5 | 77M| 149 | - |3767 |4494 |3767 | 928 | 16k| 147 |1702 | 0.000000e+00 | 4.430000e+02 | Inf
79.19/79.27 o 424
79.19/79.27 c *76.5s| 49499 | 28529 | 73017 | 1.5 | 73M| 149 | - |3767 |4494 |3767 | 928 | 16k| 147 |1702 | 0.000000e+00 | 4.240000e+02 | Inf
80.49/80.56 c 77.7s| 50000 | 28997 | 76212 | 1.5 | 75M| 149 | 0 |3767 |4556 |3767 | 910 | 17k| 223 |1713 | 0.000000e+00 | 4.240000e+02 | Inf
83.09/83.18 o 391
83.09/83.18 c *80.2s| 51056 | 26643 | 81050 | 1.6 | 72M| 149 | - |3767 |4707 |3767 | 911 | 18k| 422 |1713 | 0.000000e+00 | 3.910000e+02 | Inf
86.29/86.34 o 387
86.29/86.34 c *83.3s| 52217 | 27140 | 89661 | 1.7 | 75M| 149 | - |3767 |5159 |3767 | 920 | 19k|1012 |1730 | 0.000000e+00 | 3.870000e+02 | Inf
88.29/88.33 o 382
88.29/88.33 c *85.2s| 53026 | 27197 | 93557 | 1.8 | 75M| 149 | - |3767 |5445 |3767 | 932 | 20k|1467 |1732 | 0.000000e+00 | 3.820000e+02 | Inf
89.19/89.22 o 381
89.19/89.22 c *86.0s| 53360 | 27288 | 95234 | 1.8 | 76M| 149 | - |3767 |5584 |3767 | 925 | 21k|1697 |1732 | 0.000000e+00 | 3.810000e+02 | Inf
93.39/93.47 o 352
93.39/93.47 c *90.1s| 54980 | 25374 |104653 | 1.9 | 74M| 149 | - |3767 |5951 |3767 | 907 | 23k|2720 |1732 | 0.000000e+00 | 3.520000e+02 | Inf
93.59/93.65 o 347
93.59/93.65 c *90.3s| 55048 | 24873 |105146 | 1.9 | 73M| 149 | - |3767 |5968 |3767 | 941 | 23k|2755 |1732 | 0.000000e+00 | 3.470000e+02 | Inf
93.79/93.85 o 326
93.79/93.85 c *90.5s| 55123 | 22671 |105641 | 1.9 | 68M| 149 | - |3767 |5976 |3767 | 939 | 24k|2774 |1734 | 0.000000e+00 | 3.260000e+02 | Inf
93.79/93.86 o 309
93.79/93.86 c *90.5s| 55124 | 20892 |105643 | 1.9 | 64M| 149 | - |3767 |5976 |3767 | 939 | 24k|2774 |1734 | 0.000000e+00 | 3.090000e+02 | Inf
95.09/95.10 o 287
95.09/95.10 c *91.7s| 55571 | 19062 |108625 | 1.9 | 62M| 149 | - |3767 |6109 |3767 | 913 | 24k|3010 |1734 | 0.000000e+00 | 2.870000e+02 | Inf
95.39/95.41 o 286
95.39/95.41 c *92.0s| 55681 | 19051 |109408 | 2.0 | 62M| 149 | - |3767 |6133 |3767 | 910 | 24k|3063 |1734 | 0.000000e+00 | 2.860000e+02 | Inf
95.39/95.46 o 279
95.39/95.46 c *92.0s| 55696 | 18354 |109500 | 2.0 | 61M| 149 | - |3767 |6132 |3767 | 908 | 24k|3063 |1734 | 0.000000e+00 | 2.790000e+02 | Inf
95.69/95.74 o 264
95.69/95.74 c *92.3s| 55786 | 16759 |110195 | 2.0 | 58M| 149 | - |3767 |6155 |3767 | 916 | 24k|3112 |1734 | 0.000000e+00 | 2.640000e+02 | Inf
95.79/95.86 o 230
95.79/95.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.79/95.86 c *92.4s| 55827 | 12960 |110423 | 2.0 | 50M| 149 | - |3767 |6161 |3767 | 914 | 25k|3126 |1734 | 0.000000e+00 | 2.300000e+02 | Inf
96.19/96.23 o 228
96.19/96.23 c *92.8s| 55956 | 12867 |111445 | 2.0 | 50M| 149 | - |3767 |6185 |3767 | 920 | 25k|3188 |1734 | 0.000000e+00 | 2.280000e+02 | Inf
96.19/96.27 o 227
96.19/96.27 c *92.8s| 55964 | 12763 |111558 | 2.0 | 50M| 149 | - |3767 |6186 |3767 | 916 | 25k|3193 |1734 | 0.000000e+00 | 2.270000e+02 | Inf
96.29/96.32 o 189
96.29/96.32 c *92.8s| 55974 | 9410 |111656 | 2.0 | 43M| 149 | - |3767 |6185 |3767 | 916 | 25k|3193 |1734 | 0.000000e+00 | 1.890000e+02 | Inf
96.49/96.51 o 173
96.49/96.51 c *93.0s| 56033 | 7519 |112109 | 2.0 | 39M| 149 | - |3767 |6212 |3767 | 893 | 25k|3240 |1734 | 0.000000e+00 | 1.730000e+02 | Inf
96.49/96.53 o 169
96.49/96.53 c *93.0s| 56036 | 7119 |112124 | 2.0 | 38M| 149 | - |3767 |6212 |3767 | 894 | 25k|3240 |1734 | 0.000000e+00 | 1.690000e+02 | Inf
96.49/96.53 o 168
96.49/96.53 c *93.0s| 56037 | 7078 |112124 | 2.0 | 38M| 149 | - |3767 |6212 |3767 | 894 | 25k|3240 |1734 | 0.000000e+00 | 1.680000e+02 | Inf
96.49/96.59 o 162
96.49/96.59 c *93.1s| 56049 | 6498 |112308 | 2.0 | 37M| 149 | - |3767 |6216 |3767 | 902 | 25k|3256 |1734 | 0.000000e+00 | 1.620000e+02 | Inf
96.59/96.66 o 151
96.59/96.66 c *93.2s| 56068 | 5714 |112494 | 2.0 | 36M| 149 | - |3767 |6221 |3767 | 910 | 25k|3263 |1734 | 0.000000e+00 | 1.510000e+02 | Inf
96.59/96.68 o 148
96.59/96.68 c *93.2s| 56072 | 5600 |112514 | 2.0 | 35M| 149 | - |3767 |6221 |3767 | 910 | 25k|3264 |1734 | 0.000000e+00 | 1.480000e+02 | Inf
96.70/96.75 o 143
96.70/96.75 c *93.3s| 56091 | 5457 |112603 | 2.0 | 35M| 149 | - |3767 |6221 |3767 | 899 | 25k|3270 |1734 | 0.000000e+00 | 1.430000e+02 | Inf
96.70/96.76 o 126
96.70/96.76 c *93.3s| 56092 | 4361 |112604 | 2.0 | 33M| 149 | - |3767 |6221 |3767 | 900 | 25k|3270 |1734 | 0.000000e+00 | 1.260000e+02 | Inf
96.70/96.78 o 120
96.70/96.78 c *93.3s| 56095 | 4015 |112651 | 2.0 | 33M| 149 | - |3767 |6216 |3767 | 893 | 25k|3270 |1734 | 0.000000e+00 | 1.200000e+02 | Inf
96.70/96.79 o 117
96.70/96.79 c *93.3s| 56098 | 3892 |112659 | 2.0 | 32M| 149 | - |3767 |6219 |3767 | 893 | 25k|3273 |1734 | 0.000000e+00 | 1.170000e+02 | Inf
96.80/96.81 o 103
96.80/96.81 c *93.3s| 56103 | 3230 |112714 | 2.0 | 31M| 149 | - |3767 |6214 |3767 | 893 | 25k|3273 |1734 | 0.000000e+00 | 1.030000e+02 | Inf
96.89/96.92 o 94
96.89/96.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.89/96.92 c *93.4s| 56140 | 1983 |112826 | 2.0 | 27M| 149 | - |3767 |6224 |3767 | 900 | 25k|3304 |1734 | 0.000000e+00 | 9.400000e+01 | Inf
99.09/99.15 o 83
99.09/99.15 c *95.6s| 56951 | 1798 |117575 | 2.1 | 29M| 149 | - |3767 |5655 |3767 | 895 | 25k|4178 |1757 | 0.000000e+00 | 8.300000e+01 | Inf
100.99/101.01 o 80
100.99/101.01 c *97.3s| 57680 | 1613 |120373 | 2.1 | 29M| 149 | - |3767 |5444 |3767 | 902 | 25k|5105 |1784 | 0.000000e+00 | 8.000000e+01 | Inf
101.49/101.51 o 76
101.49/101.51 c *97.8s| 57886 | 1493 |121192 | 2.1 | 29M| 149 | - |3767 |5297 |3767 | 914 | 25k|5335 |1788 | 0.000000e+00 | 7.600000e+01 | Inf
101.49/101.56 o 43
101.49/101.56 c *97.9s| 57902 | 997 |121231 | 2.1 | 28M| 149 | - |3767 |5220 |3767 | 921 | 25k|5359 |1788 | 0.000000e+00 | 4.300000e+01 | Inf
101.59/101.60 o 39
101.59/101.60 c *97.9s| 57908 | 885 |121267 | 2.1 | 27M| 149 | - |3767 |4571 |3767 | 916 | 25k|5362 |1788 | 0.000000e+00 | 3.900000e+01 | Inf
102.30/102.39 o 26
102.30/102.39 c *98.7s| 58283 | 778 |122967 | 2.1 | 27M| 149 | - |3767 |4541 |3767 | 894 | 25k|5874 |1794 | 0.000000e+00 | 2.600000e+01 | Inf
102.99/103.06 o 25
102.99/103.06 c *99.3s| 58571 | 751 |125376 | 2.1 | 27M| 149 | - |3767 |4321 |3767 | 899 | 26k|6283 |1796 | 0.000000e+00 | 2.500000e+01 | Inf
105.60/105.62 c 102s| 60000 | 731 |130933 | 2.2 | 28M| 149 | 7 |3767 |5113 |3767 | 893 | 26k|8077 |1848 | 0.000000e+00 | 2.500000e+01 | Inf
105.79/105.87 o 24
105.79/105.87 c * 102s| 60138 | 721 |131559 | 2.2 | 28M| 149 | - |3767 |5195 |3767 | 893 | 26k|8265 |1851 | 0.000000e+00 | 2.400000e+01 | Inf
106.69/106.70 o 19
106.69/106.70 c * 103s| 60630 | 719 |133177 | 2.2 | 28M| 149 | - |3767 |5398 |3767 | 901 | 26k|8825 |1855 | 0.000000e+00 | 1.900000e+01 | Inf
110.89/110.99 o 15
110.89/110.99 c * 107s| 63310 | 758 |141868 | 2.2 | 29M| 149 | - |3767 |6821 |3767 | 893 | 26k| 12k|1892 | 0.000000e+00 | 1.500000e+01 | Inf
113.80/113.89 o 14
113.80/113.89 c * 110s| 65166 | 748 |147082 | 2.3 | 29M| 149 | - |3767 |7184 |3767 | 893 | 27k| 14k|1909 | 0.000000e+00 | 1.400000e+01 | Inf
113.89/113.94 o 8
113.89/113.94 c * 110s| 65196 | 669 |147170 | 2.3 | 28M| 149 | - |3767 |7109 |3767 | 893 | 27k| 14k|1909 | 0.000000e+00 | 8.000000e+00 | Inf
114.49/114.50 o 5
114.49/114.50 c * 110s| 65567 | 674 |148510 | 2.3 | 28M| 149 | - |3767 |7168 |3767 | 893 | 27k| 14k|1909 | 0.000000e+00 | 5.000000e+00 | Inf
114.49/114.52 o 4
114.49/114.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.49/114.52 c * 110s| 65577 | 672 |148559 | 2.3 | 28M| 149 | - |3767 |7062 |3767 | 893 | 27k| 15k|1909 | 0.000000e+00 | 4.000000e+00 | Inf
120.89/120.95 c 116s| 70000 | 711 |162748 | 2.3 | 29M| 149 | 20 |3767 |7879 |3767 | 893 | 27k| 20k|1982 | 0.000000e+00 | 4.000000e+00 | Inf
136.69/136.73 c 131s| 80000 | 763 |201099 | 2.5 | 32M| 149 | - |3767 | 11k| 0 | 0 | 29k| 33k|2218 | 0.000000e+00 | 4.000000e+00 | Inf
153.09/153.15 c 147s| 90000 | 868 |237463 | 2.6 | 34M| 149 | 23 |3767 | 14k|3767 | 893 | 30k| 46k|2394 | 0.000000e+00 | 4.000000e+00 | Inf
170.19/170.29 c 163s|100000 | 1089 |273411 | 2.7 | 38M| 149 | - |3767 | 18k| 0 | 0 | 31k| 59k|2561 | 0.000000e+00 | 4.000000e+00 | Inf
188.10/188.12 c 180s|110000 | 1188 |308551 | 2.8 | 39M| 149 | 23 |3767 | 18k|3767 | 893 | 33k| 73k|2714 | 0.000000e+00 | 4.000000e+00 | Inf
205.99/206.01 c 197s|120000 | 1218 |343261 | 2.9 | 40M| 149 | - |3767 | 17k| 0 | 0 | 34k| 88k|2935 | 0.000000e+00 | 4.000000e+00 | Inf
223.09/223.10 c 214s|130000 | 1092 |375836 | 2.9 | 38M| 149 | - |3767 | 12k| 0 | 0 | 35k| 102k|3069 | 0.000000e+00 | 4.000000e+00 | Inf
238.79/238.83 c 229s|140000 | 1155 |408419 | 2.9 | 40M| 149 | 1 |3767 | 15k|3767 | 893 | 37k| 114k|3190 | 0.000000e+00 | 4.000000e+00 | Inf
239.80/239.89 o 3
239.80/239.89 c * 230s|140649 | 1110 |410495 | 2.9 | 40M| 149 | - |3767 | 16k|3767 | 904 | 37k| 115k|3193 | 0.000000e+00 | 3.000000e+00 | Inf
254.79/254.85 c 244s|150000 | 1006 |437480 | 2.9 | 39M| 149 | 14 |3767 | 17k|3767 | 893 | 39k| 127k|3303 | 0.000000e+00 | 3.000000e+00 | Inf
271.70/271.70 c 260s|160000 | 1042 |467859 | 2.9 | 40M| 149 | - |3767 | 17k| 0 | 0 | 40k| 140k|3424 | 0.000000e+00 | 3.000000e+00 | Inf
289.39/289.42 c 277s|170000 | 1145 |499104 | 2.9 | 43M| 149 | - |3767 | 22k| 0 | 0 | 41k| 153k|3547 | 0.000000e+00 | 3.000000e+00 | Inf
308.59/308.68 c 296s|180000 | 1263 |531738 | 3.0 | 46M| 149 | 12 |3767 | 27k|3767 | 893 | 43k| 166k|3650 | 0.000000e+00 | 3.000000e+00 | Inf
329.49/329.56 c 316s|190000 | 1246 |563989 | 3.0 | 47M| 149 | 1 |3767 | 28k|3767 | 893 | 44k| 179k|3764 | 0.000000e+00 | 3.000000e+00 | Inf
350.09/350.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.09/350.12 c 335s|200000 | 1001 |597688 | 3.0 | 42M| 149 | - |3767 | 20k| 0 | 0 | 46k| 192k|3858 | 0.000000e+00 | 3.000000e+00 | Inf
353.79/353.87 o 2
353.79/353.87 c * 339s|202048 | 990 |604852 | 3.0 | 42M| 149 | - |3767 | 20k|3767 | 893 | 46k| 195k|3901 | 0.000000e+00 | 2.000000e+00 | Inf
368.59/368.63 c 353s|210000 | 1023 |629795 | 3.0 | 43M| 149 | 6 |3767 | 22k|3767 | 893 | 47k| 205k|3977 | 0.000000e+00 | 2.000000e+00 | Inf
389.29/389.32 c 373s|220000 | 1052 |663961 | 3.0 | 45M| 149 | - |3767 | 27k| 0 | 0 | 48k| 218k|4114 | 0.000000e+00 | 2.000000e+00 | Inf
410.20/410.26 c 393s|230000 | 1039 |698776 | 3.0 | 46M| 149 | - |3767 | 29k| 0 | 0 | 50k| 231k|4213 | 0.000000e+00 | 2.000000e+00 | Inf
432.00/432.07 c 414s|240000 | 1131 |732184 | 3.0 | 49M| 149 | - |3767 | 36k| 0 | 0 | 51k| 245k|4294 | 0.000000e+00 | 2.000000e+00 | Inf
454.60/454.69 c 436s|250000 | 1095 |764757 | 3.1 | 48M| 149 | 20 |3767 | 32k|3767 | 893 | 52k| 258k|4414 | 0.000000e+00 | 2.000000e+00 | Inf
477.09/477.14 c 458s|260000 | 1114 |798428 | 3.1 | 50M| 149 | - |3767 | 36k| 0 | 0 | 53k| 271k|4533 | 0.000000e+00 | 2.000000e+00 | Inf
500.90/500.91 c 481s|270000 | 1176 |830926 | 3.1 | 51M| 149 | 14 |3767 | 40k|3767 | 893 | 55k| 284k|4624 | 0.000000e+00 | 2.000000e+00 | Inf
525.60/525.63 c 505s|280000 | 1163 |864754 | 3.1 | 52M| 149 | - |3767 | 41k| 0 | 0 | 56k| 297k|4707 | 0.000000e+00 | 2.000000e+00 | Inf
551.19/551.22 c 530s|290000 | 1310 |900296 | 3.1 | 54M| 149 | - |3767 | 43k| 0 | 0 | 58k| 310k|4793 | 0.000000e+00 | 2.000000e+00 | Inf
577.70/577.73 c 556s|300000 | 1336 |932746 | 3.1 | 56M| 149 | 14 |3767 | 46k|3767 | 893 | 59k| 324k|4896 | 0.000000e+00 | 2.000000e+00 | Inf
606.00/606.06 c 583s|310000 | 1373 |963398 | 3.1 | 57M| 149 | 27 |3767 | 47k|3767 | 893 | 60k| 337k|4974 | 0.000000e+00 | 2.000000e+00 | Inf
633.80/633.87 c 610s|320000 | 1471 |997459 | 3.1 | 60M| 149 | - |3767 | 50k| 0 | 0 | 61k| 351k|5071 | 0.000000e+00 | 2.000000e+00 | Inf
662.70/662.76 c 639s|330000 | 1565 | 1030k| 3.1 | 61M| 149 | 14 |3767 | 51k|3767 | 893 | 62k| 365k|5163 | 0.000000e+00 | 2.000000e+00 | Inf
690.60/690.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.60/690.68 c 666s|340000 | 1536 | 1061k| 3.1 | 61M| 149 | 1 |3767 | 51k|3767 | 893 | 63k| 378k|5246 | 0.000000e+00 | 2.000000e+00 | Inf
721.19/721.25 c 695s|350000 | 1644 | 1095k| 3.1 | 64M| 149 | - |3767 | 54k| 0 | 0 | 65k| 392k|5337 | 0.000000e+00 | 2.000000e+00 | Inf
749.59/749.63 c 723s|360000 | 1844 | 1129k| 3.1 | 66M| 149 | - |3767 | 58k| 0 | 0 | 66k| 406k|5415 | 0.000000e+00 | 2.000000e+00 | Inf
777.70/777.73 c 750s|370000 | 1880 | 1162k| 3.1 | 67M| 149 | 13 |3767 | 57k|3767 | 893 | 67k| 421k|5495 | 0.000000e+00 | 2.000000e+00 | Inf
804.59/804.69 c 777s|380000 | 1935 | 1197k| 3.2 | 68M| 149 | 1 |3767 | 57k|3767 | 893 | 68k| 436k|5572 | 0.000000e+00 | 2.000000e+00 | Inf
832.29/832.30 c 803s|390000 | 1865 | 1230k| 3.2 | 66M| 149 | 1 |3767 | 52k|3767 | 893 | 70k| 450k|5643 | 0.000000e+00 | 2.000000e+00 | Inf
858.39/858.47 c 829s|400000 | 1814 | 1263k| 3.2 | 67M| 149 | - |3767 | 54k| 0 | 0 | 71k| 465k|5716 | 0.000000e+00 | 2.000000e+00 | Inf
885.39/885.40 c 855s|410000 | 1779 | 1299k| 3.2 | 66M| 149 | 17 |3767 | 52k|3767 | 893 | 73k| 480k|5789 | 0.000000e+00 | 2.000000e+00 | Inf
914.49/914.51 c 883s|420000 | 1789 | 1331k| 3.2 | 65M| 149 | - |3767 | 50k| 0 | 0 | 74k| 493k|5852 | 0.000000e+00 | 2.000000e+00 | Inf
943.29/943.36 c 911s|430000 | 1879 | 1363k| 3.2 | 69M| 149 | - |3767 | 57k| 0 | 0 | 75k| 507k|5917 | 0.000000e+00 | 2.000000e+00 | Inf
973.29/973.31 c 940s|440000 | 1913 | 1393k| 3.2 | 70M| 149 | 13 |3767 | 57k|3767 | 893 | 76k| 521k|6000 | 0.000000e+00 | 2.000000e+00 | Inf
1004.89/1004.90 c 971s|450000 | 1928 | 1426k| 3.2 | 70M| 149 | 1 |3767 | 56k|3767 | 893 | 78k| 535k|6073 | 0.000000e+00 | 2.000000e+00 | Inf
1033.79/1033.90 c 999s|460000 | 1488 | 1459k| 3.2 | 61M| 149 | 4 |3767 | 45k|3767 | 893 | 79k| 550k|6147 | 0.000000e+00 | 2.000000e+00 | Inf
1059.69/1059.77 c 1024s|470000 | 1507 | 1490k| 3.2 | 63M| 149 | - |3767 | 51k| 0 | 0 | 80k| 565k|6215 | 0.000000e+00 | 2.000000e+00 | Inf
1086.88/1086.96 c 1051s|480000 | 992 | 1522k| 3.2 | 49M| 149 | 1 |3767 | 31k|3767 | 893 | 81k| 578k|6370 | 0.000000e+00 | 2.000000e+00 | Inf
1109.09/1109.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.09/1109.15 c 1072s|490000 | 1020 | 1554k| 3.2 | 51M| 149 | 15 |3767 | 34k|3767 | 893 | 83k| 591k|6456 | 0.000000e+00 | 2.000000e+00 | Inf
1131.09/1131.17 c 1093s|500000 | 1085 | 1587k| 3.2 | 52M| 149 | 11 |3767 | 37k|3767 | 893 | 85k| 605k|6546 | 0.000000e+00 | 2.000000e+00 | Inf
1154.79/1154.89 c 1116s|510000 | 1064 | 1622k| 3.2 | 52M| 149 | 1 |3767 | 37k|3767 | 893 | 87k| 619k|6606 | 0.000000e+00 | 2.000000e+00 | Inf
1178.59/1178.64 c 1139s|520000 | 962 | 1652k| 3.2 | 49M| 149 | 13 |3767 | 30k|3767 | 893 | 88k| 632k|6892 | 0.000000e+00 | 2.000000e+00 | Inf
1201.09/1201.19 c 1161s|530000 | 1018 | 1682k| 3.2 | 52M| 149 | 7 |3767 | 37k|3767 | 893 | 90k| 646k|6896 | 0.000000e+00 | 2.000000e+00 | Inf
1224.48/1224.52 c 1183s|540000 | 994 | 1717k| 3.2 | 49M| 149 | - |3767 | 27k| 0 | 0 | 91k| 659k|7003 | 0.000000e+00 | 2.000000e+00 | Inf
1245.29/1245.31 c 1203s|550000 | 1016 | 1752k| 3.2 | 50M| 149 | - |3767 | 29k| 0 | 0 | 92k| 672k|7068 | 0.000000e+00 | 2.000000e+00 | Inf
1266.68/1266.71 c 1224s|560000 | 1041 | 1793k| 3.2 | 51M| 149 | 11 |3767 | 31k|3767 | 893 | 94k| 685k|7151 | 0.000000e+00 | 2.000000e+00 | Inf
1275.99/1276.02 o 1
1275.99/1276.02 c *1233s|564454 | 976 | 1811k| 3.2 | 50M| 149 | - |3767 | 31k|3767 | 893 | 95k| 692k|7209 | 0.000000e+00 | 1.000000e+00 | Inf
1287.89/1287.90 c 1244s|570000 | 990 | 1833k| 3.2 | 48M| 149 | - |3767 | 26k| 0 | 0 | 96k| 699k|7222 | 0.000000e+00 | 1.000000e+00 | Inf
1308.79/1308.80 c 1264s|580000 | 970 | 1871k| 3.2 | 50M| 149 | 25 |3767 | 30k|3767 | 893 | 98k| 712k|7287 | 0.000000e+00 | 1.000000e+00 | Inf
1331.58/1331.67 c 1287s|590000 | 1069 | 1906k| 3.2 | 52M| 149 | 15 |3767 | 33k|3767 | 893 | 99k| 725k|7342 | 0.000000e+00 | 1.000000e+00 | Inf
1353.69/1353.77 c 1308s|600000 | 1134 | 1940k| 3.2 | 53M| 149 | 14 |3767 | 36k|3767 | 893 | 101k| 739k|7402 | 0.000000e+00 | 1.000000e+00 | Inf
1375.79/1375.83 c 1329s|610000 | 1027 | 1973k| 3.2 | 51M| 149 | - |3767 | 32k| 0 | 0 | 102k| 753k|7468 | 0.000000e+00 | 1.000000e+00 | Inf
1398.39/1398.46 c 1351s|620000 | 1033 | 2012k| 3.2 | 51M| 149 | 12 |3767 | 32k|3767 | 893 | 104k| 767k|7527 | 0.000000e+00 | 1.000000e+00 | Inf
1422.39/1422.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.39/1422.40 c 1374s|630000 | 1043 | 2050k| 3.3 | 52M| 149 | - |3767 | 32k| 0 | 0 | 105k| 780k|7590 | 0.000000e+00 | 1.000000e+00 | Inf
1448.39/1448.46 c 1400s|640000 | 1039 | 2086k| 3.3 | 53M| 149 | - |3767 | 36k| 0 | 0 | 106k| 793k|7654 | 0.000000e+00 | 1.000000e+00 | Inf
1474.29/1474.32 c 1425s|650000 | 1051 | 2124k| 3.3 | 55M| 149 | 10 |3767 | 40k|3767 | 893 | 108k| 807k|7713 | 0.000000e+00 | 1.000000e+00 | Inf
1500.19/1500.24 c 1450s|660000 | 1115 | 2164k| 3.3 | 56M| 149 | - |3767 | 43k| 0 | 0 | 109k| 822k|7766 | 0.000000e+00 | 1.000000e+00 | Inf
1525.70/1525.72 c 1475s|670000 | 1186 | 2198k| 3.3 | 58M| 149 | 1 |3767 | 47k|3767 | 893 | 110k| 835k|7806 | 0.000000e+00 | 1.000000e+00 | Inf
1553.59/1553.66 c 1502s|680000 | 1305 | 2230k| 3.3 | 60M| 149 | 9 |3767 | 49k|3767 | 893 | 112k| 849k|7851 | 0.000000e+00 | 1.000000e+00 | Inf
1581.80/1581.81 c 1529s|690000 | 1457 | 2262k| 3.3 | 62M| 149 | 4 |3767 | 52k|3767 | 893 | 113k| 863k|7912 | 0.000000e+00 | 1.000000e+00 | Inf
1611.89/1611.97 c 1559s|700000 | 1529 | 2295k| 3.3 | 63M| 149 | - |3767 | 51k| 0 | 0 | 114k| 877k|7965 | 0.000000e+00 | 1.000000e+00 | Inf
1640.58/1640.61 c 1587s|710000 | 1510 | 2328k| 3.3 | 62M| 149 | - |3767 | 49k| 0 | 0 | 115k| 891k|8005 | 0.000000e+00 | 1.000000e+00 | Inf
1667.89/1667.90 c 1613s|720000 | 1546 | 2363k| 3.3 | 64M| 149 | 11 |3767 | 53k|3767 | 893 | 117k| 906k|8041 | 0.000000e+00 | 1.000000e+00 | Inf
1696.49/1696.59 c 1641s|730000 | 1560 | 2396k| 3.3 | 64M| 149 | 11 |3767 | 50k|3767 | 893 | 118k| 920k|8090 | 0.000000e+00 | 1.000000e+00 | Inf
1722.59/1722.66 c 1667s|740000 | 1509 | 2430k| 3.3 | 63M| 149 | - |3767 | 49k| 0 | 0 | 119k| 935k|8152 | 0.000000e+00 | 1.000000e+00 | Inf
1748.19/1748.24 c 1691s|750000 | 1350 | 2463k| 3.3 | 61M| 149 | - |3767 | 48k| 0 | 0 | 121k| 949k|8204 | 0.000000e+00 | 1.000000e+00 | Inf
1776.39/1776.41 c 1719s|760000 | 1147 | 2498k| 3.3 | 58M| 149 | 1 |3767 | 45k|3767 | 893 | 122k| 964k|8246 | 0.000000e+00 | 1.000000e+00 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1741.80
1800.09/1800.10 c Solving Nodes : 769202
1800.09/1800.10 c Primal Bound : +1.00000000000000e+00 (202 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.15 s SATISFIABLE
1800.09/1800.15 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.09/1800.15 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.09/1800.15 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.09/1800.15 v -x167 -x166 -x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.15 v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.09/1800.15 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.09/1800.15 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.09/1800.15 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.09/1800.15 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.09/1800.15 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.09/1800.15 v -x1
1800.09/1800.15 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.15 c Solving Time : 1741.80
1800.09/1800.15 c Original Problem :
1800.09/1800.15 c Problem name : HOME/instance-2692819-1277905246.wbo
1800.09/1800.15 c Variables : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.09/1800.15 c Constraints : 4556 initial, 4556 maximal
1800.09/1800.15 c Presolved Problem :
1800.09/1800.15 c Problem name : t_HOME/instance-2692819-1277905246.wbo
1800.09/1800.15 c Variables : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.09/1800.15 c Constraints : 4361 initial, 61489 maximal
1800.09/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.15 c trivial : 0.00 80 0 0 0 0 0 0 0
1800.09/1800.15 c dualfix : 0.00 80 0 0 0 0 0 0 0
1800.09/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c probing : 0.04 0 0 0 0 0 0 0 0
1800.09/1800.15 c indicator : 0.00 0 0 0 0 0 80 0 0
1800.09/1800.15 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c linear : 0.05 0 0 0 1882 0 115 101 0
1800.09/1800.15 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.15 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c root node : - 1768 - - 3536 - - - -
1800.09/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.15 c integral : 0 0 0 467753 0 24 365 0 0 799460
1800.09/1800.15 c indicator : 1768 0 2615486 64253 0 65 836846 0 0 0
1800.09/1800.15 c setppc : 8 6 3619195 53253 0 28093 1141863 0 0 0
1800.09/1800.15 c linear : 1768 6 3616031 67677 0 182269 16357511 124136 0 0
1800.09/1800.15 c logicor : 817+ 6 1495822 50472 0 171551 3780122 0 0 0
1800.09/1800.15 c bounddisjunction : 0+ 0 35257 0 0 0 0 0 0 0
1800.09/1800.15 c countsols : 0 0 0 50472 0 0 0 0 0 0
1800.09/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.15 c integral : 19.03 0.00 0.00 19.03 0.00
1800.09/1800.15 c indicator : 9.00 0.00 2.93 6.07 0.00
1800.09/1800.15 c setppc : 10.33 0.00 10.32 0.01 0.00
1800.09/1800.15 c linear : 132.09 0.00 130.48 1.61 0.00
1800.09/1800.15 c logicor : 430.04 0.00 429.66 0.38 0.00
1800.09/1800.15 c bounddisjunction : 0.06 0.00 0.06 0.00 0.00
1800.09/1800.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.15 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.15 c vbounds : 0.00 2 0 0
1800.09/1800.15 c rootredcost : 0.00 50 0 1768
1800.09/1800.15 c pseudoobj : 114.88 3645334 1186 449862
1800.09/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.15 c propagation : 20.06 383099 382493 2380817 30.0 11296 26.5 -
1800.09/1800.15 c infeasible LP : 2.48 9100 9099 71429 43.8 77 20.9 0
1800.09/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.15 c pseudo solution : 0.03 93 93 448 12.4 46 4.8 -
1800.09/1800.15 c applied globally : - - - 977036 23.5 - - -
1800.09/1800.15 c applied locally : - - - 0 0.0 - - -
1800.09/1800.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.15 c cut pool : 0.00 5 - - 77 - (maximal pool size: 216)
1800.09/1800.15 c redcost : 22.48 469052 0 325363 0 0
1800.09/1800.15 c impliedbounds : 0.00 6 0 0 0 0
1800.09/1800.15 c intobj : 0.00 0 0 0 0 0
1800.09/1800.15 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.15 c gomory : 0.14 6 0 0 670 0
1800.09/1800.15 c strongcg : 0.07 6 0 0 255 0
1800.09/1800.15 c cmir : 0.03 6 0 0 0 0
1800.09/1800.15 c flowcover : 0.07 6 0 0 0 0
1800.09/1800.15 c clique : 0.00 6 0 0 0 0
1800.09/1800.15 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.15 c mcf : 0.00 1 0 0 0 0
1800.09/1800.15 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.15 c Pricers : Time Calls Vars
1800.09/1800.15 c problem variables: 0.00 0 0
1800.09/1800.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.15 c relpscost : 18.96 400056 24 365 0 0 799460
1800.09/1800.15 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.15 c inference : 7.28 50423 0 0 0 0 100846
1800.09/1800.15 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.15 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.15 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.15 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.15 c random : 0.00 0 0 0 0 0 0
1800.09/1800.15 c Primal Heuristics : Time Calls Found
1800.09/1800.15 c LP solutions : 0.09 - 49
1800.09/1800.15 c pseudo solutions : 0.00 - 0
1800.09/1800.15 c feaspump : 0.02 1 0
1800.09/1800.15 c oneopt : 0.10 46 0
1800.09/1800.15 c intshifting : 0.01 5 0
1800.09/1800.15 c crossover : 0.98 45 0
1800.09/1800.15 c coefdiving : 1.02 1001 0
1800.09/1800.15 c pscostdiving : 1.09 1001 0
1800.09/1800.15 c fracdiving : 0.88 1001 0
1800.09/1800.15 c veclendiving : 0.96 1001 0
1800.09/1800.15 c linesearchdiving : 0.97 1002 0
1800.09/1800.15 c guideddiving : 0.97 1002 0
1800.09/1800.15 c objpscostdiving : 1.02 962 0
1800.09/1800.15 c rootsoldiving : 0.84 963 0
1800.09/1800.15 c trivial : 0.01 2 0
1800.09/1800.15 c simplerounding : 0.42 400272 0
1800.09/1800.15 c zirounding : 0.17 1000 0
1800.09/1800.15 c rounding : 1.41 8870 0
1800.09/1800.15 c shifting : 0.95 2785 0
1800.09/1800.15 c twoopt : 0.00 0 0
1800.09/1800.15 c fixandinfer : 0.00 0 0
1800.09/1800.15 c intdiving : 0.00 0 0
1800.09/1800.15 c actconsdiving : 0.00 0 0
1800.09/1800.15 c octane : 0.00 0 0
1800.09/1800.15 c rens : 0.03 1 0
1800.09/1800.15 c rins : 0.00 0 0
1800.09/1800.15 c localbranching : 0.00 0 0
1800.09/1800.15 c mutation : 0.00 0 0
1800.09/1800.15 c dins : 0.00 0 0
1800.09/1800.15 c undercover : 0.00 0 0
1800.09/1800.15 c nlp : 0.01 0 0
1800.09/1800.15 c trysol : 1.28 6781 153
1800.09/1800.15 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.15 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.15 c dual LP : 396.16 429055 2530233 5.90 6386.90
1800.09/1800.15 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.15 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.15 c diving/probing LP: 0.15 133 1238 9.31 8253.33
1800.09/1800.15 c strong branching : 15.52 8275 96348 11.64 6207.99
1800.09/1800.15 c (at root node) : - 33 3004 91.03 -
1800.09/1800.15 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.15 c B&B Tree :
1800.09/1800.15 c number of runs : 1
1800.09/1800.15 c nodes : 769202
1800.09/1800.15 c nodes (total) : 769202
1800.09/1800.15 c nodes left : 1082
1800.09/1800.15 c max depth : 149
1800.09/1800.15 c max depth (total): 149
1800.09/1800.15 c backtracks : 80907 (10.5%)
1800.09/1800.15 c delayed cutoffs : 75897
1800.09/1800.15 c repropagations : 1634505 (4413967 domain reductions, 73261 cutoffs)
1800.09/1800.15 c avg switch length: 5.65
1800.09/1800.15 c switching time : 322.15
1800.09/1800.15 c Solution :
1800.09/1800.15 c Solutions found : 202 (50 improvements)
1800.09/1800.15 c First Solution : +9.10890000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.09/1800.15 c Primal Bound : +1.00000000000000e+00 (in run 1, after 564454 nodes, 1232.90 seconds, depth 49, found by <relaxation>)
1800.09/1800.15 c Dual Bound : +0.00000000000000e+00
1800.09/1800.15 c Gap : infinite
1800.09/1800.15 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.15 c Root Iterations : 362
1800.20/1800.23 c Time complete: 1800.22.