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-2693392-1277901157.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.03/0.05 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.03/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 | 29 | - | 14M| 0 | 16 |3767 |4361 |3767 | 825 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 91089
0.19/0.20 c y 0.1s| 1 | 0 | 29 | - | 14M| 0 | 16 |3767 |4361 |3767 | 825 | 0 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 81 | - | 14M| 0 | 18 |3767 |4361 |3767 | 855 | 30 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 118 | - | 14M| 0 | 24 |3767 |4361 |3767 | 867 | 42 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 134 | - | 14M| 0 | 26 |3767 |4361 |3767 | 881 | 56 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 158 | - | 14M| 0 | 33 |3767 |4361 |3767 | 895 | 70 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.39/0.41 c 0.3s| 1 | 0 | 213 | - | 14M| 0 | 39 |3767 |4361 |3767 | 902 | 77 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 291 | - | 15M| 0 | 35 |3767 |4361 |3767 | 905 | 80 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
1.10/1.17 c 1.1s| 1 | 2 | 291 | - | 15M| 0 | 35 |3767 |4361 |3767 | 905 | 80 | 0 | 33 | 0.000000e+00 | 9.108900e+04 | Inf
13.39/13.49 c 12.9s| 10000 | 10001 | 3430 | 0.3 | 34M|1321 | 0 |3767 |4361 |3767 | 932 | 573 | 0 | 676 | 0.000000e+00 | 9.108900e+04 | Inf
17.60/17.67 o 460
17.60/17.67 c *16.9s| 13813 | 5682 | 4057 | 0.3 | 28M|1321 | - |3767 |4361 |3767 | 937 | 692 | 0 | 752 | 0.000000e+00 | 4.600000e+02 | Inf
19.59/19.62 o 458
19.59/19.62 c *18.8s| 14488 | 6236 | 7320 | 0.5 | 31M|1321 | - |3767 |4639 |3767 | 941 |1247 | 278 |1018 | 0.000000e+00 | 4.580000e+02 | Inf
19.80/19.86 o 451
19.80/19.86 c *19.0s| 14594 | 6129 | 7709 | 0.5 | 31M|1321 | - |3767 |4675 |3767 | 950 |1323 | 314 |1041 | 0.000000e+00 | 4.510000e+02 | Inf
21.39/21.42 o 444
21.39/21.42 c *20.5s| 15174 | 6258 | 9785 | 0.6 | 33M|1321 | - |3767 |5015 |3767 | 938 |1662 | 722 |1147 | 0.000000e+00 | 4.440000e+02 | Inf
21.39/21.42 o 433
21.39/21.42 c *20.5s| 15175 | 5983 | 9786 | 0.6 | 32M|1321 | - |3767 |5015 |3767 | 938 |1662 | 722 |1147 | 0.000000e+00 | 4.330000e+02 | Inf
21.79/21.86 o 425
21.79/21.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.79/21.86 c *20.9s| 15318 | 5901 | 10545 | 0.7 | 32M|1321 | - |3767 |5208 |3767 | 941 |1792 | 940 |1165 | 0.000000e+00 | 4.250000e+02 | Inf
21.79/21.87 o 407
21.79/21.87 c *20.9s| 15320 | 5641 | 10546 | 0.7 | 32M|1321 | - |3767 |5208 |3767 | 941 |1792 | 940 |1165 | 0.000000e+00 | 4.070000e+02 | Inf
21.90/21.92 o 386
21.90/21.92 c *21.0s| 15343 | 5314 | 10650 | 0.7 | 31M|1321 | - |3767 |5208 |3767 | 925 |1807 | 940 |1166 | 0.000000e+00 | 3.860000e+02 | Inf
21.90/21.97 o 367
21.90/21.97 c *21.0s| 15368 | 4981 | 10734 | 0.7 | 31M|1321 | - |3767 |5207 |3767 | 924 |1811 | 940 |1172 | 0.000000e+00 | 3.670000e+02 | Inf
21.90/21.98 o 359
21.90/21.98 c *21.0s| 15369 | 4854 | 10734 | 0.7 | 30M|1321 | - |3767 |5207 |3767 | 924 |1811 | 940 |1172 | 0.000000e+00 | 3.590000e+02 | Inf
21.99/22.01 o 325
21.99/22.01 c *21.1s| 15383 | 4367 | 10778 | 0.7 | 29M|1321 | - |3767 |5208 |3767 | 924 |1815 | 943 |1172 | 0.000000e+00 | 3.250000e+02 | Inf
22.19/22.23 o 291
22.19/22.23 c *21.3s| 15526 | 3854 | 11004 | 0.7 | 28M|1321 | - |3767 |5228 |3767 | 927 |1852 | 978 |1179 | 0.000000e+00 | 2.910000e+02 | Inf
22.48/22.51 o 254
22.48/22.51 c *21.6s| 15634 | 3474 | 11350 | 0.7 | 28M|1321 | - |3767 |5294 |3767 | 924 |1886 |1074 |1196 | 0.000000e+00 | 2.540000e+02 | Inf
22.69/22.74 o 238
22.69/22.74 c *21.8s| 15703 | 3326 | 11516 | 0.7 | 28M|1321 | - |3767 |5354 |3767 | 924 |1893 |1173 |1203 | 0.000000e+00 | 2.380000e+02 | Inf
22.69/22.74 o 230
22.69/22.74 c *21.8s| 15704 | 3203 | 11516 | 0.7 | 27M|1321 | - |3767 |5354 |3767 | 924 |1893 |1173 |1203 | 0.000000e+00 | 2.300000e+02 | Inf
25.89/25.93 o 213
25.89/25.93 c *24.8s| 16872 | 3302 | 15740 | 0.9 | 29M|1321 | - |3767 |6034 |3767 | 914 |2545 |2712 |1336 | 0.000000e+00 | 2.130000e+02 | Inf
25.89/25.98 o 194
25.89/25.98 c *24.8s| 16908 | 2996 | 15797 | 0.9 | 28M|1321 | - |3767 |6041 |3767 | 920 |2554 |2722 |1336 | 0.000000e+00 | 1.940000e+02 | Inf
25.99/26.06 o 193
25.99/26.06 c *24.9s| 16969 | 3016 | 15888 | 0.9 | 28M|1321 | - |3767 |6033 |3767 | 927 |2570 |2722 |1336 | 0.000000e+00 | 1.930000e+02 | Inf
26.09/26.10 o 157
26.09/26.10 c *25.0s| 17010 | 2132 | 15892 | 0.9 | 27M|1321 | - |3767 |6033 |3767 | 927 |2570 |2722 |1336 | 0.000000e+00 | 1.570000e+02 | Inf
26.48/26.53 o 154
26.48/26.53 c *25.4s| 17111 | 2113 | 16811 | 1.0 | 27M|1321 | - |3767 |6110 |3767 | 940 |2702 |2943 |1394 | 0.000000e+00 | 1.540000e+02 | Inf
26.48/26.54 o 149
26.48/26.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.48/26.54 c *25.4s| 17112 | 1987 | 16812 | 1.0 | 27M|1321 | - |3767 |6110 |3767 | 940 |2702 |2943 |1394 | 0.000000e+00 | 1.490000e+02 | Inf
27.59/27.63 o 131
27.59/27.63 c *26.4s| 17515 | 1739 | 18345 | 1.0 | 26M|1321 | - |3767 |5764 |3767 | 937 |2949 |3245 |1457 | 0.000000e+00 | 1.310000e+02 | Inf
27.68/27.71 o 127
27.68/27.71 c *26.5s| 17535 | 1683 | 18541 | 1.0 | 26M|1321 | - |3767 |5739 |3767 | 939 |2990 |3252 |1461 | 0.000000e+00 | 1.270000e+02 | Inf
27.68/27.77 o 107
27.68/27.77 c *26.6s| 17593 | 1428 | 18543 | 1.0 | 26M|1321 | - |3767 |5738 |3767 | 939 |2990 |3252 |1461 | 0.000000e+00 | 1.070000e+02 | Inf
29.89/29.96 o 104
29.89/29.96 c *28.6s| 18343 | 1536 | 22669 | 1.2 | 27M|1321 | - |3767 |5395 |3767 | 935 |3613 |4049 |1532 | 0.000000e+00 | 1.040000e+02 | Inf
32.19/32.20 o 97
32.19/32.20 c *30.8s| 19191 | 1524 | 26598 | 1.4 | 28M|1321 | - |3767 |5610 |3767 | 924 |4131 |4830 |1582 | 0.000000e+00 | 9.700000e+01 | Inf
32.19/32.28 o 94
32.19/32.28 c *30.8s| 19210 | 1411 | 26709 | 1.4 | 28M|1321 | - |3767 |5520 |3767 | 931 |4147 |4844 |1582 | 0.000000e+00 | 9.400000e+01 | Inf
34.39/34.46 c 32.9s| 20000 | 1471 | 31065 | 1.5 | 29M|1321 | 1 |3767 |5322 |3767 | 895 |4480 |5550 |1625 | 0.000000e+00 | 9.400000e+01 | Inf
46.79/46.85 o 75
46.79/46.85 c *44.8s| 24776 | 2044 | 53556 | 2.1 | 38M|1321 | - |3767 |5693 |3767 | 929 |6696 | 10k|1737 | 0.000000e+00 | 7.500000e+01 | Inf
47.19/47.26 o 68
47.19/47.26 c *45.1s| 24905 | 1987 | 54139 | 2.2 | 38M|1321 | - |3767 |5334 |3767 | 917 |6787 | 10k|1739 | 0.000000e+00 | 6.800000e+01 | Inf
47.19/47.26 o 59
47.19/47.26 c *45.1s| 24906 | 1854 | 54139 | 2.2 | 36M|1321 | - |3767 |5334 |3767 | 917 |6787 | 10k|1739 | 0.000000e+00 | 5.900000e+01 | Inf
49.79/49.86 o 58
49.79/49.86 c *47.6s| 25914 | 1904 | 62181 | 2.4 | 37M|1321 | - |3767 |5029 |3767 | 928 |7160 | 11k|1757 | 0.000000e+00 | 5.800000e+01 | Inf
49.79/49.86 o 48
49.79/49.86 c *47.6s| 25915 | 1768 | 62181 | 2.4 | 37M|1321 | - |3767 |5029 |3767 | 928 |7160 | 11k|1757 | 0.000000e+00 | 4.800000e+01 | Inf
50.29/50.32 o 31
50.29/50.32 c *48.0s| 26137 | 1447 | 63494 | 2.4 | 33M|1321 | - |3767 |4918 |3767 | 901 |7185 | 11k|1757 | 0.000000e+00 | 3.100000e+01 | Inf
57.99/58.07 c 55.3s| 30000 | 1517 | 83133 | 2.8 | 35M|1321 | 3 |3767 |5507 |3767 | 906 |8157 | 16k|1772 | 0.000000e+00 | 3.100000e+01 | Inf
58.39/58.42 o 26
58.39/58.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.39/58.42 c *55.7s| 30194 | 1455 | 83923 | 2.8 | 35M|1321 | - |3767 |5629 |3767 | 916 |8211 | 16k|1772 | 0.000000e+00 | 2.600000e+01 | Inf
65.49/65.58 o 19
65.49/65.58 c *62.4s| 34176 | 1513 |101012 | 2.9 | 36M|1321 | - |3767 |6528 |3767 | 916 |9291 | 21k|1772 | 0.000000e+00 | 1.900000e+01 | Inf
76.09/76.18 c 72.4s| 40000 | 1637 |127578 | 3.2 | 38M|1321 | - |3767 |6608 | 0 | 0 | 10k| 29k|1772 | 0.000000e+00 | 1.900000e+01 | Inf
94.79/94.86 c 90.1s| 50000 | 1779 |176097 | 3.5 | 41M|1321 | 13 |3767 |7831 |3767 | 922 | 13k| 42k|1797 | 0.000000e+00 | 1.900000e+01 | Inf
114.19/114.24 c 108s| 60000 | 1901 |222736 | 3.7 | 45M|1321 | - |3767 |8373 | 0 | 0 | 15k| 55k|1958 | 0.000000e+00 | 1.900000e+01 | Inf
133.39/133.46 c 127s| 70000 | 2144 |268964 | 3.8 | 48M|1321 | - |3767 |9485 | 0 | 0 | 18k| 68k|2131 | 0.000000e+00 | 1.900000e+01 | Inf
152.49/152.58 c 145s| 80000 | 2450 |311394 | 3.9 | 52M|1321 | 1 |3767 | 11k|3767 | 911 | 20k| 80k|2266 | 0.000000e+00 | 1.900000e+01 | Inf
172.38/172.48 c 164s| 90000 | 2643 |355885 | 4.0 | 55M|1321 | 11 |3767 | 12k|3767 | 895 | 22k| 93k|2411 | 0.000000e+00 | 1.900000e+01 | Inf
189.99/190.06 c 180s|100000 | 2780 |397521 | 4.0 | 56M|1321 | - |3767 | 11k|3767 | 915 | 25k| 106k|2550 | 0.000000e+00 | 1.900000e+01 | Inf
208.19/208.22 c 198s|110000 | 2823 |445634 | 4.0 | 58M|1321 | 11 |3767 | 12k|3767 | 907 | 27k| 119k|2690 | 0.000000e+00 | 1.900000e+01 | Inf
226.79/226.83 c 215s|120000 | 3070 |495983 | 4.1 | 61M|1321 | 12 |3767 | 13k|3767 | 895 | 29k| 131k|2841 | 0.000000e+00 | 1.900000e+01 | Inf
245.48/245.55 c 233s|130000 | 3209 |543233 | 4.2 | 63M|1321 | - |3767 | 13k| 0 | 0 | 31k| 144k|2968 | 0.000000e+00 | 1.900000e+01 | Inf
263.59/263.67 c 250s|140000 | 3387 |588882 | 4.2 | 66M|1321 | 1 |3767 | 13k|3767 | 895 | 34k| 157k|3087 | 0.000000e+00 | 1.900000e+01 | Inf
282.19/282.21 c 268s|150000 | 3474 |637490 | 4.2 | 67M|1321 | - |3767 | 13k| 0 | 0 | 36k| 170k|3212 | 0.000000e+00 | 1.900000e+01 | Inf
300.89/300.99 c 286s|160000 | 3528 |685628 | 4.3 | 69M|1321 | - |3767 | 14k| 0 | 0 | 38k| 183k|3345 | 0.000000e+00 | 1.900000e+01 | Inf
320.19/320.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.19/320.24 c 304s|170000 | 3730 |736624 | 4.3 | 72M|1321 | 1 |3767 | 15k|3767 | 925 | 41k| 195k|3451 | 0.000000e+00 | 1.900000e+01 | Inf
338.89/338.98 c 322s|180000 | 3897 |779830 | 4.3 | 74M|1321 | - |3767 | 16k| 0 | 0 | 44k| 208k|3542 | 0.000000e+00 | 1.900000e+01 | Inf
358.19/358.28 c 340s|190000 | 4056 |826553 | 4.3 | 77M|1321 | - |3767 | 14k| 0 | 0 | 46k| 221k|3627 | 0.000000e+00 | 1.900000e+01 | Inf
376.70/376.75 c 358s|200000 | 4096 |870431 | 4.4 | 78M|1321 | - |3767 | 13k| 0 | 0 | 48k| 234k|3757 | 0.000000e+00 | 1.900000e+01 | Inf
395.49/395.58 c 376s|210000 | 4181 |917598 | 4.4 | 80M|1321 | - |3767 | 13k| 0 | 0 | 51k| 248k|3863 | 0.000000e+00 | 1.900000e+01 | Inf
414.00/414.04 c 393s|220000 | 4370 |965425 | 4.4 | 82M|1321 | 14 |3767 | 13k|3767 | 916 | 53k| 261k|3951 | 0.000000e+00 | 1.900000e+01 | Inf
432.39/432.40 c 410s|230000 | 4546 | 1013k| 4.4 | 84M|1321 | 1 |3767 | 14k|3767 | 895 | 56k| 274k|4079 | 0.000000e+00 | 1.900000e+01 | Inf
450.60/450.62 c 428s|240000 | 4643 | 1059k| 4.4 | 86M|1321 | - |3767 | 14k| 0 | 0 | 58k| 288k|4159 | 0.000000e+00 | 1.900000e+01 | Inf
469.10/469.15 c 445s|250000 | 4734 | 1108k| 4.4 | 88M|1321 | 22 |3767 | 15k|3767 | 918 | 61k| 302k|4237 | 0.000000e+00 | 1.900000e+01 | Inf
488.10/488.13 c 463s|260000 | 4880 | 1154k| 4.4 | 90M|1321 | - |3767 | 17k| 0 | 0 | 64k| 315k|4347 | 0.000000e+00 | 1.900000e+01 | Inf
493.60/493.61 o 12
493.60/493.61 c * 468s|262797 | 4552 | 1167k| 4.4 | 83M|1321 | - |3767 | 16k|3767 | 920 | 64k| 319k|4366 | 0.000000e+00 | 1.200000e+01 | Inf
499.50/499.53 o 11
499.50/499.53 c * 474s|265952 | 4579 | 1183k| 4.5 | 83M|1321 | - |3767 | 16k|3767 | 925 | 65k| 323k|4373 | 0.000000e+00 | 1.100000e+01 | Inf
507.20/507.22 c 481s|270000 | 4608 | 1207k| 4.5 | 84M|1321 | 15 |3767 | 17k|3767 | 933 | 66k| 329k|4418 | 0.000000e+00 | 1.100000e+01 | Inf
526.20/526.29 c 499s|280000 | 4609 | 1261k| 4.5 | 84M|1321 | - |3767 | 16k| 0 | 0 | 68k| 343k|4507 | 0.000000e+00 | 1.100000e+01 | Inf
545.70/545.72 c 518s|290000 | 4640 | 1315k| 4.5 | 85M|1321 | - |3767 | 16k| 0 | 0 | 71k| 357k|4622 | 0.000000e+00 | 1.100000e+01 | Inf
564.31/564.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
564.31/564.39 c 536s|300000 | 4638 | 1368k| 4.6 | 85M|1321 | 1 |3767 | 15k|3767 | 903 | 74k| 370k|4690 | 0.000000e+00 | 1.100000e+01 | Inf
583.01/583.08 c 553s|310000 | 4688 | 1426k| 4.6 | 85M|1321 | 15 |3767 | 12k|3767 | 905 | 76k| 383k|4832 | 0.000000e+00 | 1.100000e+01 | Inf
601.00/601.07 c 570s|320000 | 4565 | 1481k| 4.6 | 85M|1321 | 2 |3767 | 13k|3767 | 925 | 79k| 397k|4908 | 0.000000e+00 | 1.100000e+01 | Inf
619.31/619.39 c 588s|330000 | 4487 | 1536k| 4.7 | 85M|1321 | 6 |3767 | 12k|3767 | 915 | 81k| 411k|4996 | 0.000000e+00 | 1.100000e+01 | Inf
638.51/638.56 c 606s|340000 | 4477 | 1600k| 4.7 | 85M|1321 | - |3767 | 14k| 0 | 0 | 84k| 424k|5099 | 0.000000e+00 | 1.100000e+01 | Inf
658.50/658.50 c 625s|350000 | 4477 | 1670k| 4.8 | 87M|1321 | 16 |3767 | 16k|3767 | 903 | 86k| 438k|5181 | 0.000000e+00 | 1.100000e+01 | Inf
677.30/677.34 c 643s|360000 | 4348 | 1727k| 4.8 | 85M|1321 | - |3767 | 15k| 0 | 0 | 89k| 451k|5283 | 0.000000e+00 | 1.100000e+01 | Inf
697.11/697.17 c 662s|370000 | 4231 | 1788k| 4.8 | 84M|1321 | - |3767 | 14k| 0 | 0 | 91k| 465k|5395 | 0.000000e+00 | 1.100000e+01 | Inf
716.61/716.67 c 680s|380000 | 4167 | 1843k| 4.9 | 84M|1321 | 8 |3767 | 15k|3767 | 895 | 94k| 478k|5478 | 0.000000e+00 | 1.100000e+01 | Inf
734.32/734.37 c 697s|390000 | 4250 | 1891k| 4.8 | 86M|1321 | - |3767 | 17k| 0 | 0 | 97k| 492k|5535 | 0.000000e+00 | 1.100000e+01 | Inf
753.01/753.05 c 715s|400000 | 4252 | 1938k| 4.8 | 87M|1321 | 1 |3767 | 19k|3767 | 907 | 99k| 505k|5590 | 0.000000e+00 | 1.100000e+01 | Inf
773.11/773.11 c 734s|410000 | 4264 | 1988k| 4.8 | 88M|1321 | - |3767 | 20k| 0 | 0 | 101k| 519k|5652 | 0.000000e+00 | 1.100000e+01 | Inf
793.31/793.32 c 753s|420000 | 4252 | 2037k| 4.9 | 88M|1321 | - |3767 | 21k| 0 | 0 | 104k| 532k|5750 | 0.000000e+00 | 1.100000e+01 | Inf
813.92/813.92 c 773s|430000 | 4096 | 2095k| 4.9 | 86M|1321 | 10 |3767 | 17k|3767 | 917 | 106k| 545k|5840 | 0.000000e+00 | 1.100000e+01 | Inf
833.82/833.88 c 792s|440000 | 4134 | 2150k| 4.9 | 87M|1321 | - |3767 | 20k| 0 | 0 | 109k| 559k|5914 | 0.000000e+00 | 1.100000e+01 | Inf
854.12/854.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.12/854.11 c 811s|450000 | 4165 | 2201k| 4.9 | 89M|1321 | 19 |3767 | 23k|3767 | 948 | 112k| 573k|5964 | 0.000000e+00 | 1.100000e+01 | Inf
875.12/875.12 c 831s|460000 | 4170 | 2253k| 4.9 | 89M|1321 | - |3767 | 23k| 0 | 0 | 114k| 588k|6035 | 0.000000e+00 | 1.100000e+01 | Inf
896.53/896.53 c 852s|470000 | 4292 | 2311k| 4.9 | 90M|1321 | - |3767 | 20k| 0 | 0 | 117k| 601k|6115 | 0.000000e+00 | 1.100000e+01 | Inf
916.82/916.86 c 871s|480000 | 4355 | 2365k| 4.9 | 91M|1321 | - |3767 | 21k| 0 | 0 | 119k| 614k|6179 | 0.000000e+00 | 1.100000e+01 | Inf
937.81/937.81 c 891s|490000 | 4416 | 2421k| 4.9 | 93M|1321 | - |3767 | 23k| 0 | 0 | 122k| 628k|6240 | 0.000000e+00 | 1.100000e+01 | Inf
959.42/959.42 c 912s|500000 | 4467 | 2480k| 5.0 | 94M|1321 | - |3767 | 23k| 0 | 0 | 124k| 642k|6308 | 0.000000e+00 | 1.100000e+01 | Inf
980.62/980.66 c 932s|510000 | 4497 | 2534k| 5.0 | 94M|1321 | - |3767 | 24k| 0 | 0 | 127k| 655k|6369 | 0.000000e+00 | 1.100000e+01 | Inf
1002.32/1002.37 c 953s|520000 | 4576 | 2587k| 5.0 | 96M|1321 | - |3767 | 26k| 0 | 0 | 129k| 669k|6432 | 0.000000e+00 | 1.100000e+01 | Inf
1023.92/1023.96 c 973s|530000 | 4597 | 2643k| 5.0 | 97M|1321 | 14 |3767 | 28k|3767 | 928 | 131k| 683k|6489 | 0.000000e+00 | 1.100000e+01 | Inf
1046.53/1046.57 c 995s|540000 | 4592 | 2703k| 5.0 | 97M|1321 | - |3767 | 27k| 0 | 0 | 134k| 698k|6550 | 0.000000e+00 | 1.100000e+01 | Inf
1069.23/1069.25 c 1017s|550000 | 4613 | 2759k| 5.0 | 97M|1321 | - |3767 | 27k| 0 | 0 | 136k| 712k|6613 | 0.000000e+00 | 1.100000e+01 | Inf
1093.22/1093.29 c 1040s|560000 | 4647 | 2826k| 5.0 | 98M|1321 | 24 |3767 | 26k|3767 | 918 | 139k| 726k|6674 | 0.000000e+00 | 1.100000e+01 | Inf
1115.23/1115.27 c 1061s|570000 | 4665 | 2881k| 5.1 | 99M|1321 | 1 |3767 | 27k|3767 | 948 | 142k| 740k|6741 | 0.000000e+00 | 1.100000e+01 | Inf
1137.53/1137.52 c 1082s|580000 | 4677 | 2940k| 5.1 | 100M|1321 | 11 |3767 | 27k|3767 | 934 | 144k| 754k|6797 | 0.000000e+00 | 1.100000e+01 | Inf
1160.24/1160.24 c 1104s|590000 | 4687 | 2996k| 5.1 | 100M|1321 | - |3767 | 29k| 0 | 0 | 146k| 768k|6852 | 0.000000e+00 | 1.100000e+01 | Inf
1184.24/1184.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.24/1184.25 c 1127s|600000 | 4732 | 3052k| 5.1 | 101M|1321 | - |3767 | 30k| 0 | 0 | 148k| 782k|6908 | 0.000000e+00 | 1.100000e+01 | Inf
1208.53/1208.56 c 1150s|610000 | 4754 | 3111k| 5.1 | 102M|1321 | 1 |3767 | 29k|3767 | 923 | 150k| 796k|6965 | 0.000000e+00 | 1.100000e+01 | Inf
1233.63/1233.66 c 1175s|620000 | 4770 | 3177k| 5.1 | 102M|1321 | - |3767 | 28k| 0 | 0 | 153k| 810k|7026 | 0.000000e+00 | 1.100000e+01 | Inf
1258.34/1258.33 c 1198s|630000 | 4754 | 3244k| 5.1 | 102M|1321 | - |3767 | 28k| 0 | 0 | 155k| 824k|7083 | 0.000000e+00 | 1.100000e+01 | Inf
1282.43/1282.45 c 1221s|640000 | 4696 | 3304k| 5.2 | 102M|1321 | 1 |3767 | 29k|3767 | 936 | 158k| 839k|7141 | 0.000000e+00 | 1.100000e+01 | Inf
1307.84/1307.85 c 1246s|650000 | 4559 | 3373k| 5.2 | 99M|1321 | 11 |3767 | 26k|3767 | 924 | 160k| 853k|7219 | 0.000000e+00 | 1.100000e+01 | Inf
1330.63/1330.60 c 1268s|660000 | 4088 | 3432k| 5.2 | 92M|1321 | - |3767 | 17k| 0 | 0 | 163k| 867k|7307 | 0.000000e+00 | 1.100000e+01 | Inf
1350.64/1350.62 c 1287s|670000 | 4119 | 3493k| 5.2 | 92M|1321 | - |3767 | 17k| 0 | 0 | 165k| 880k|7393 | 0.000000e+00 | 1.100000e+01 | Inf
1371.44/1371.48 c 1306s|680000 | 4193 | 3559k| 5.2 | 93M|1321 | - |3767 | 18k| 0 | 0 | 168k| 893k|7458 | 0.000000e+00 | 1.100000e+01 | Inf
1393.44/1393.41 c 1327s|690000 | 4259 | 3635k| 5.3 | 95M|1321 | - |3767 | 18k| 0 | 0 | 172k| 906k|7536 | 0.000000e+00 | 1.100000e+01 | Inf
1414.74/1414.79 c 1348s|700000 | 4353 | 3701k| 5.3 | 97M|1321 | 11 |3767 | 20k|3767 | 930 | 174k| 920k|7597 | 0.000000e+00 | 1.100000e+01 | Inf
1436.84/1436.82 c 1369s|710000 | 4551 | 3763k| 5.3 | 101M|1321 | - |3767 | 23k| 0 | 0 | 177k| 934k|7649 | 0.000000e+00 | 1.100000e+01 | Inf
1460.24/1460.28 c 1391s|720000 | 4498 | 3835k| 5.3 | 100M|1321 | - |3767 | 19k| 0 | 0 | 180k| 948k|7712 | 0.000000e+00 | 1.100000e+01 | Inf
1482.65/1482.61 c 1412s|730000 | 4202 | 3896k| 5.3 | 95M|1321 | 1 |3767 | 14k|3767 | 921 | 183k| 962k|8685 | 0.000000e+00 | 1.100000e+01 | Inf
1501.24/1501.28 c 1430s|740000 | 4363 | 3952k| 5.3 | 95M|1321 | - |3767 | 12k|3767 | 937 | 186k| 975k|9071 | 0.000000e+00 | 1.100000e+01 | Inf
1519.05/1519.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.05/1519.01 c 1447s|750000 | 4424 | 4003k| 5.3 | 97M|1321 | - |3767 | 12k| 0 | 0 | 189k| 988k|9074 | 0.000000e+00 | 1.100000e+01 | Inf
1537.85/1537.88 c 1465s|760000 | 4483 | 4060k| 5.3 | 99M|1321 | - |3767 | 15k| 0 | 0 | 192k|1001k|9077 | 0.000000e+00 | 1.100000e+01 | Inf
1557.25/1557.27 c 1483s|770000 | 4433 | 4113k| 5.3 | 99M|1321 | 1 |3767 | 16k|3767 | 919 | 195k|1014k|9079 | 0.000000e+00 | 1.100000e+01 | Inf
1576.26/1576.23 c 1501s|780000 | 4430 | 4163k| 5.3 | 100M|1321 | - |3767 | 18k| 0 | 0 | 197k|1028k|9086 | 0.000000e+00 | 1.100000e+01 | Inf
1596.75/1596.75 c 1521s|790000 | 4091 | 4222k| 5.3 | 95M|1321 | - |3767 | 14k|3767 | 926 | 200k|1041k|9193 | 0.000000e+00 | 1.100000e+01 | Inf
1615.35/1615.39 c 1538s|800000 | 4024 | 4278k| 5.3 | 95M|1321 | - |3767 | 14k| 0 | 0 | 203k|1054k|9193 | 0.000000e+00 | 1.100000e+01 | Inf
1635.15/1635.13 c 1557s|810000 | 4054 | 4339k| 5.4 | 95M|1321 | 16 |3767 | 13k|3767 | 906 | 205k|1067k|9267 | 0.000000e+00 | 1.100000e+01 | Inf
1653.85/1653.88 c 1575s|820000 | 4131 | 4386k| 5.3 | 97M|1321 | 8 |3767 | 15k|3767 | 918 | 207k|1079k|9277 | 0.000000e+00 | 1.100000e+01 | Inf
1673.75/1673.75 c 1594s|830000 | 4038 | 4435k| 5.3 | 95M|1321 | - |3767 | 13k|3767 | 939 | 209k|1092k|9288 | 0.000000e+00 | 1.100000e+01 | Inf
1692.45/1692.45 c 1611s|840000 | 4112 | 4489k| 5.3 | 97M|1321 | 11 |3767 | 16k|3767 | 919 | 212k|1105k|9293 | 0.000000e+00 | 1.100000e+01 | Inf
1712.15/1712.13 c 1630s|850000 | 3974 | 4546k| 5.3 | 95M|1321 | 26 |3767 | 14k|3767 | 923 | 215k|1118k|9313 | 0.000000e+00 | 1.100000e+01 | Inf
1732.06/1732.00 c 1649s|860000 | 3915 | 4612k| 5.4 | 95M|1321 | 13 |3767 | 12k|3767 | 917 | 217k|1130k|9334 | 0.000000e+00 | 1.100000e+01 | Inf
1752.46/1752.42 c 1668s|870000 | 3957 | 4680k| 5.4 | 97M|1321 | 14 |3767 | 14k|3767 | 906 | 219k|1143k|9354 | 0.000000e+00 | 1.100000e+01 | Inf
1772.26/1772.29 c 1687s|880000 | 3768 | 4745k| 5.4 | 94M|1321 | - |3767 | 11k| 0 | 0 | 222k|1156k|9392 | 0.000000e+00 | 1.100000e+01 | Inf
1791.46/1791.47 c 1705s|890000 | 3505 | 4808k| 5.4 | 91M|1321 | 4 |3767 | 10k|3767 | 901 | 225k|1170k|9438 | 0.000000e+00 | 1.100000e+01 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1713.49
1800.06/1800.00 c Solving Nodes : 894689
1800.06/1800.00 c Primal Bound : +1.10000000000000e+01 (261 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.05 s SATISFIABLE
1800.06/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.06/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.06/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.06/1800.05 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1800.06/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105
1800.06/1800.05 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.06/1800.05 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.06/1800.05 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.06/1800.05 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
1800.06/1800.05 v -x2 -x1
1800.06/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.05 c Solving Time : 1713.49
1800.06/1800.05 c Original Problem :
1800.06/1800.05 c Problem name : HOME/instance-2693392-1277901157.wbo
1800.06/1800.05 c Variables : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.06/1800.05 c Constraints : 4556 initial, 4556 maximal
1800.06/1800.05 c Presolved Problem :
1800.06/1800.05 c Problem name : t_HOME/instance-2693392-1277901157.wbo
1800.06/1800.05 c Variables : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.06/1800.05 c Constraints : 4361 initial, 32025 maximal
1800.06/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.05 c trivial : 0.00 80 0 0 0 0 0 0 0
1800.06/1800.05 c dualfix : 0.00 80 0 0 0 0 0 0 0
1800.06/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.05 c indicator : 0.00 0 0 0 0 0 80 0 0
1800.06/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c linear : 0.05 0 0 0 1882 0 115 101 0
1800.06/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c root node : - 1601 - - 3202 - - - -
1800.06/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.05 c integral : 0 0 0 519343 0 55 942 0 0 939928
1800.06/1800.05 c indicator : 1768 0 4984439 48502 0 753 3982548 0 0 0
1800.06/1800.05 c setppc : 8 6 4990933 43232 0 40630 917447 0 0 0
1800.06/1800.05 c linear : 1768 6 4957137 46439 0 185477 20691245 226375 0 0
1800.06/1800.05 c logicor : 817+ 6 1669506 18006 0 189355 3787987 0 0 0
1800.06/1800.05 c bounddisjunction : 0+ 0 93044 0 0 22 4722 0 0 0
1800.06/1800.05 c countsols : 0 0 0 18006 0 0 0 0 0 0
1800.06/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.05 c integral : 20.51 0.00 0.00 20.51 0.00
1800.06/1800.05 c indicator : 20.30 0.00 17.49 2.81 0.00
1800.06/1800.05 c setppc : 7.57 0.00 7.56 0.01 0.00
1800.06/1800.05 c linear : 139.11 0.00 136.97 2.14 0.00
1800.06/1800.05 c logicor : 242.75 0.00 242.57 0.18 0.00
1800.06/1800.05 c bounddisjunction : 0.08 0.00 0.08 0.00 0.00
1800.06/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.05 c vbounds : 0.00 2 0 0
1800.06/1800.05 c rootredcost : 0.01 38 0 1601
1800.06/1800.05 c pseudoobj : 172.28 5012552 11940 3224711
1800.06/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.05 c propagation : 20.44 427424 427155 2611921 26.3 16079 20.0 -
1800.06/1800.05 c infeasible LP : 9.96 35759 35759 287641 42.7 720 15.2 0
1800.06/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.05 c pseudo solution : 0.00 84 84 442 17.9 48 6.2 -
1800.06/1800.05 c applied globally : - - - 1177134 21.8 - - -
1800.06/1800.05 c applied locally : - - - 0 0.0 - - -
1800.06/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.05 c cut pool : 0.00 5 - - 38 - (maximal pool size: 309)
1800.06/1800.05 c redcost : 27.76 524145 0 646960 0 0
1800.06/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.05 c intobj : 0.00 0 0 0 0 0
1800.06/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.05 c gomory : 0.09 6 0 0 1445 0
1800.06/1800.05 c strongcg : 0.04 6 0 0 514 0
1800.06/1800.05 c cmir : 0.03 6 0 0 1 0
1800.06/1800.05 c flowcover : 0.06 6 0 0 0 0
1800.06/1800.05 c clique : 0.00 6 0 0 0 0
1800.06/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.05 c mcf : 0.00 1 0 0 0 0
1800.06/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.05 c Pricers : Time Calls Vars
1800.06/1800.05 c problem variables: 0.00 0 0
1800.06/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.05 c relpscost : 20.49 470727 55 942 0 0 939928
1800.06/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.05 c inference : 2.25 17969 0 0 0 0 35938
1800.06/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.05 c random : 0.00 0 0 0 0 0 0
1800.06/1800.05 c Primal Heuristics : Time Calls Found
1800.06/1800.05 c LP solutions : 0.03 - 37
1800.06/1800.05 c pseudo solutions : 0.00 - 0
1800.06/1800.05 c feaspump : 0.01 1 0
1800.06/1800.05 c oneopt : 0.11 32 0
1800.06/1800.05 c intshifting : 0.00 7 0
1800.06/1800.05 c veclendiving : 0.02 41 0
1800.06/1800.05 c linesearchdiving : 0.05 41 0
1800.06/1800.05 c guideddiving : 0.06 41 0
1800.06/1800.05 c pscostdiving : 0.10 41 0
1800.06/1800.05 c fracdiving : 0.03 41 0
1800.06/1800.05 c coefdiving : 0.09 42 0
1800.06/1800.05 c rootsoldiving : 0.11 28 0
1800.06/1800.05 c objpscostdiving : 0.07 29 0
1800.06/1800.05 c crossover : 0.75 35 0
1800.06/1800.05 c trivial : 0.01 2 0
1800.06/1800.05 c simplerounding : 0.39 472576 0
1800.06/1800.05 c zirounding : 0.52 1000 0
1800.06/1800.05 c rounding : 1.99 9752 0
1800.06/1800.05 c shifting : 1.40 3044 0
1800.06/1800.05 c twoopt : 0.00 0 0
1800.06/1800.05 c fixandinfer : 0.00 0 0
1800.06/1800.05 c intdiving : 0.00 0 0
1800.06/1800.05 c actconsdiving : 0.00 0 0
1800.06/1800.05 c octane : 0.00 0 0
1800.06/1800.05 c rens : 0.03 1 0
1800.06/1800.05 c rins : 0.00 0 0
1800.06/1800.05 c localbranching : 0.00 0 0
1800.06/1800.05 c mutation : 0.00 0 0
1800.06/1800.05 c dins : 0.00 0 0
1800.06/1800.05 c undercover : 0.00 0 0
1800.06/1800.05 c nlp : 0.00 0 0
1800.06/1800.05 c trysol : 2.62 7371 224
1800.06/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.05 c primal LP : 0.01 0 0 0.00 0.00
1800.06/1800.05 c dual LP : 614.19 539018 4830642 8.96 7865.06
1800.06/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.05 c diving/probing LP: 0.28 143 1742 12.18 6221.43
1800.06/1800.05 c strong branching : 17.26 9461 168556 17.82 9765.70
1800.06/1800.05 c (at root node) : - 33 8296 251.39 -
1800.06/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.05 c B&B Tree :
1800.06/1800.05 c number of runs : 1
1800.06/1800.05 c nodes : 894689
1800.06/1800.05 c nodes (total) : 894689
1800.06/1800.05 c nodes left : 3238
1800.06/1800.05 c max depth : 1321
1800.06/1800.05 c max depth (total): 1321
1800.06/1800.05 c backtracks : 78860 (8.8%)
1800.06/1800.05 c delayed cutoffs : 61724
1800.06/1800.05 c repropagations : 2450687 (5856423 domain reductions, 57087 cutoffs)
1800.06/1800.05 c avg switch length: 7.04
1800.06/1800.05 c switching time : 244.96
1800.06/1800.05 c Solution :
1800.06/1800.05 c Solutions found : 261 (38 improvements)
1800.06/1800.05 c First Solution : +9.10890000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.06/1800.05 c Primal Bound : +1.10000000000000e+01 (in run 1, after 265952 nodes, 474.04 seconds, depth 33, found by <relaxation>)
1800.06/1800.05 c Dual Bound : +0.00000000000000e+00
1800.06/1800.05 c Gap : infinite
1800.06/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.05 c Root Iterations : 291
1800.16/1800.14 c Time complete: 1800.2.