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-2693395-1277901469.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.00/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.08/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.13
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.2s| 1 | 0 | 29 | - | 14M| 0 | 16 |3767 |4361 |3767 | 825 | 0 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.19/0.23 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.30 c 0.3s| 1 | 0 | 134 | - | 14M| 0 | 26 |3767 |4361 |3767 | 881 | 56 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 146 | - | 14M| 0 | 28 |3767 |4361 |3767 | 895 | 70 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.29/0.39 c 0.3s| 1 | 0 | 158 | - | 14M| 0 | 35 |3767 |4361 |3767 | 899 | 74 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.39/0.45 c 0.4s| 1 | 0 | 262 | - | 15M| 0 | 39 |3767 |4361 |3767 | 905 | 80 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
1.19/1.28 c 1.2s| 1 | 2 | 262 | - | 15M| 0 | 39 |3767 |4361 |3767 | 905 | 80 | 0 | 33 | 0.000000e+00 | 9.108900e+04 | Inf
3.20/3.23 o 848
3.20/3.23 c * 3.1s| 1183 | 1180 | 867 | 0.5 | 17M|1181 | - |3767 |4371 |3767 | 955 | 141 | 10 | 176 | 0.000000e+00 | 8.480000e+02 | Inf
16.59/16.65 c 16.0s| 10000 | 9983 | 9951 | 1.0 | 37M|1181 | 0 |3767 |4424 |3767 | 926 |1461 | 63 |1321 | 0.000000e+00 | 8.480000e+02 | Inf
16.69/16.71 o 794
16.69/16.71 c *16.1s| 10059 | 9786 | 9951 | 1.0 | 37M|1181 | - |3767 |4424 |3767 | 926 |1461 | 63 |1321 | 0.000000e+00 | 7.940000e+02 | Inf
18.99/19.07 o 602
18.99/19.07 c *18.3s| 12051 | 11067 | 10558 | 0.9 | 39M|1181 | - |3767 |4454 |3767 | 916 |1581 | 93 |1339 | 0.000000e+00 | 6.020000e+02 | Inf
19.59/19.63 o 590
19.59/19.63 c *18.9s| 12420 | 11281 | 11190 | 0.9 | 40M|1181 | - |3767 |4501 |3767 | 941 |1685 | 140 |1357 | 0.000000e+00 | 5.900000e+02 | Inf
19.59/19.64 o 583
19.59/19.64 c *18.9s| 12421 | 11222 | 11190 | 0.9 | 40M|1181 | - |3767 |4501 |3767 | 941 |1685 | 140 |1357 | 0.000000e+00 | 5.830000e+02 | Inf
20.40/20.48 o 519
20.40/20.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.40/20.48 c *19.7s| 12830 | 10994 | 12399 | 0.9 | 40M|1181 | - |3767 |4686 |3767 | 947 |1890 | 325 |1380 | 0.000000e+00 | 5.190000e+02 | Inf
20.99/21.04 o 508
20.99/21.04 c *20.2s| 13116 | 11079 | 13139 | 1.0 | 40M|1181 | - |3767 |4788 |3767 | 960 |2031 | 427 |1397 | 0.000000e+00 | 5.080000e+02 | Inf
21.30/21.30 o 502
21.30/21.30 c *20.5s| 13227 | 11111 | 13711 | 1.0 | 40M|1181 | - |3767 |4841 |3767 | 952 |2139 | 480 |1414 | 0.000000e+00 | 5.020000e+02 | Inf
21.30/21.36 o 473
21.30/21.36 c *20.5s| 13269 | 10823 | 13713 | 1.0 | 40M|1181 | - |3767 |4843 |3767 | 952 |2139 | 482 |1414 | 0.000000e+00 | 4.730000e+02 | Inf
21.49/21.56 o 453
21.49/21.56 c *20.7s| 13368 | 10637 | 14099 | 1.0 | 40M|1181 | - |3767 |4875 |3767 | 916 |2190 | 516 |1427 | 0.000000e+00 | 4.530000e+02 | Inf
21.49/21.56 o 451
21.49/21.56 c *20.7s| 13369 | 10603 | 14102 | 1.0 | 40M|1181 | - |3767 |4875 |3767 | 916 |2190 | 516 |1427 | 0.000000e+00 | 4.510000e+02 | Inf
21.59/21.66 o 433
21.59/21.66 c *20.8s| 13399 | 10352 | 14239 | 1.0 | 39M|1181 | - |3767 |4892 |3767 | 923 |2208 | 533 |1429 | 0.000000e+00 | 4.330000e+02 | Inf
21.59/21.67 o 397
21.59/21.67 c *20.8s| 13400 | 9835 | 14239 | 1.0 | 38M|1181 | - |3767 |4892 |3767 | 923 |2208 | 533 |1429 | 0.000000e+00 | 3.970000e+02 | Inf
22.39/22.45 o 379
22.39/22.45 c *21.6s| 13826 | 9911 | 15010 | 1.1 | 39M|1181 | - |3767 |5085 |3767 | 911 |2311 | 749 |1451 | 0.000000e+00 | 3.790000e+02 | Inf
22.49/22.53 o 372
22.49/22.53 c *21.6s| 13850 | 9834 | 15167 | 1.1 | 39M|1181 | - |3767 |5103 |3767 | 921 |2329 | 772 |1455 | 0.000000e+00 | 3.720000e+02 | Inf
22.89/22.92 o 357
22.89/22.92 c *22.0s| 14006 | 9734 | 15955 | 1.1 | 39M|1181 | - |3767 |5147 |3767 | 937 |2475 | 838 |1486 | 0.000000e+00 | 3.570000e+02 | Inf
23.90/23.96 o 349
23.90/23.96 c *23.0s| 14540 | 9904 | 17677 | 1.2 | 40M|1181 | - |3767 |5326 |3767 | 937 |2745 |1060 |1540 | 0.000000e+00 | 3.490000e+02 | Inf
24.19/24.27 o 302
24.19/24.27 c *23.3s| 14709 | 9274 | 18097 | 1.2 | 38M|1181 | - |3767 |5378 |3767 | 920 |2801 |1129 |1547 | 0.000000e+00 | 3.020000e+02 | Inf
24.19/24.28 o 239
24.19/24.28 c *23.3s| 14710 | 6530 | 18097 | 1.2 | 34M|1181 | - |3767 |5378 |3767 | 920 |2801 |1129 |1547 | 0.000000e+00 | 2.390000e+02 | Inf
24.29/24.37 o 230
24.29/24.37 c *23.4s| 14732 | 6015 | 18352 | 1.2 | 33M|1181 | - |3767 |5369 |3767 | 947 |2845 |1129 |1556 | 0.000000e+00 | 2.300000e+02 | Inf
24.99/25.04 o 224
24.99/25.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.99/25.04 c *24.0s| 14990 | 5770 | 19390 | 1.3 | 33M|1181 | - |3767 |5473 |3767 | 924 |2968 |1312 |1588 | 0.000000e+00 | 2.240000e+02 | Inf
24.99/25.04 o 218
24.99/25.04 c *24.0s| 14991 | 5359 | 19390 | 1.3 | 33M|1181 | - |3767 |5473 |3767 | 924 |2968 |1312 |1588 | 0.000000e+00 | 2.180000e+02 | Inf
25.50/25.52 o 206
25.50/25.52 c *24.5s| 15175 | 4613 | 20099 | 1.3 | 32M|1181 | - |3767 |5548 |3767 | 948 |3099 |1463 |1608 | 0.000000e+00 | 2.060000e+02 | Inf
25.50/25.58 o 190
25.50/25.58 c *24.6s| 15187 | 3760 | 20272 | 1.3 | 30M|1181 | - |3767 |5552 |3767 | 926 |3113 |1473 |1613 | 0.000000e+00 | 1.900000e+02 | Inf
25.69/25.71 o 166
25.69/25.71 c *24.7s| 15253 | 2920 | 20464 | 1.3 | 28M|1181 | - |3767 |5564 |3767 | 939 |3140 |1498 |1615 | 0.000000e+00 | 1.660000e+02 | Inf
26.89/26.93 o 145
26.89/26.93 c *25.9s| 15635 | 2649 | 23753 | 1.5 | 28M|1181 | - |3767 |5473 |3767 | 943 |3605 |1779 |1652 | 0.000000e+00 | 1.450000e+02 | Inf
27.29/27.30 o 134
27.29/27.30 c *26.2s| 15780 | 2525 | 24551 | 1.5 | 28M|1181 | - |3767 |5467 |3767 | 930 |3716 |1888 |1655 | 0.000000e+00 | 1.340000e+02 | Inf
27.40/27.43 o 121
27.40/27.43 c *26.4s| 15907 | 2367 | 24623 | 1.5 | 28M|1181 | - |3767 |5464 |3767 | 906 |3717 |1888 |1655 | 0.000000e+00 | 1.210000e+02 | Inf
28.09/28.16 o 114
28.09/28.16 c *27.1s| 16270 | 2397 | 25843 | 1.6 | 28M|1181 | - |3767 |5416 |3767 | 946 |3940 |2045 |1671 | 0.000000e+00 | 1.140000e+02 | Inf
28.69/28.73 o 113
28.69/28.73 c *27.6s| 16459 | 2447 | 27522 | 1.7 | 29M|1181 | - |3767 |5404 |3767 | 948 |4100 |2173 |1690 | 0.000000e+00 | 1.130000e+02 | Inf
29.69/29.71 o 104
29.69/29.71 c *28.5s| 16857 | 2446 | 29041 | 1.7 | 29M|1181 | - |3767 |5411 |3767 | 921 |4317 |2423 |1699 | 0.000000e+00 | 1.040000e+02 | Inf
30.39/30.43 o 75
30.39/30.43 c *29.2s| 17214 | 1773 | 29950 | 1.7 | 27M|1181 | - |3767 |5616 |3767 | 930 |4436 |2682 |1703 | 0.000000e+00 | 7.500000e+01 | Inf
37.30/37.39 c 35.9s| 20000 | 2175 | 49278 | 2.5 | 34M|1181 | 12 |3767 |5319 |3767 | 917 |6257 |5552 |1748 | 0.000000e+00 | 7.500000e+01 | Inf
52.89/52.94 o 59
52.89/52.94 c *50.8s| 26825 | 2691 | 85079 | 3.2 | 42M|1181 | - |3767 |6392 |3767 | 914 |9952 | 12k|1793 | 0.000000e+00 | 5.900000e+01 | Inf
56.00/56.09 o 55
56.00/56.09 c *53.8s| 28218 | 2738 | 93666 | 3.3 | 43M|1181 | - |3767 |5514 |3767 | 894 | 10k| 14k|1794 | 0.000000e+00 | 5.500000e+01 | Inf
56.19/56.29 o 46
56.19/56.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.19/56.29 c *54.0s| 28317 | 2522 | 93956 | 3.3 | 41M|1181 | - |3767 |5470 |3767 | 904 | 10k| 14k|1797 | 0.000000e+00 | 4.600000e+01 | Inf
58.09/58.14 o 38
58.09/58.14 c *55.7s| 29210 | 2411 | 99085 | 3.4 | 41M|1181 | - |3767 |5098 |3767 | 919 | 10k| 15k|1801 | 0.000000e+00 | 3.800000e+01 | Inf
58.20/58.26 o 36
58.20/58.26 c *55.8s| 29259 | 2380 | 99368 | 3.4 | 40M|1181 | - |3767 |4961 |3767 | 930 | 11k| 15k|1801 | 0.000000e+00 | 3.600000e+01 | Inf
59.59/59.67 c 57.1s| 30000 | 2410 |103651 | 3.4 | 41M|1181 | - |3767 |5071 | 0 | 0 | 11k| 16k|1806 | 0.000000e+00 | 3.600000e+01 | Inf
66.30/66.33 o 31
66.30/66.33 c *63.5s| 33629 | 2353 |119682 | 3.6 | 41M|1181 | - |3767 |5235 |3767 | 908 | 12k| 21k|1808 | 0.000000e+00 | 3.100000e+01 | Inf
69.49/69.53 o 29
69.49/69.53 c *66.5s| 35461 | 2413 |127826 | 3.6 | 42M|1181 | - |3767 |6060 |3767 | 907 | 13k| 23k|1812 | 0.000000e+00 | 2.900000e+01 | Inf
77.20/77.27 o 28
77.20/77.27 c *73.8s| 39878 | 2504 |147861 | 3.7 | 44M|1181 | - |3767 |5998 |3767 | 913 | 14k| 29k|1812 | 0.000000e+00 | 2.800000e+01 | Inf
77.39/77.48 c 74.0s| 40000 | 2515 |148448 | 3.7 | 44M|1181 | 17 |3767 |5913 |3767 | 894 | 14k| 29k|1812 | 0.000000e+00 | 2.800000e+01 | Inf
80.30/80.37 o 26
80.30/80.37 c *76.8s| 41681 | 2506 |155311 | 3.7 | 45M|1181 | - |3767 |5812 |3767 | 918 | 14k| 31k|1812 | 0.000000e+00 | 2.600000e+01 | Inf
94.70/94.70 c 90.3s| 50000 | 2647 |193715 | 3.9 | 48M|1181 | 16 |3767 |7265 |3767 | 906 | 17k| 42k|1812 | 0.000000e+00 | 2.600000e+01 | Inf
111.80/111.81 c 107s| 60000 | 2889 |238674 | 4.0 | 51M|1181 | - |3767 |7774 | 0 | 0 | 19k| 55k|1866 | 0.000000e+00 | 2.600000e+01 | Inf
129.20/129.20 c 123s| 70000 | 3157 |284211 | 4.1 | 55M|1181 | 12 |3767 |8691 |3767 | 918 | 22k| 69k|1974 | 0.000000e+00 | 2.600000e+01 | Inf
147.20/147.26 c 140s| 80000 | 3306 |332362 | 4.2 | 58M|1181 | - |3767 |8274 | 0 | 0 | 24k| 82k|2107 | 0.000000e+00 | 2.600000e+01 | Inf
165.20/165.26 c 157s| 90000 | 3499 |376374 | 4.2 | 61M|1181 | 1 |3767 |8956 |3767 | 924 | 27k| 96k|2234 | 0.000000e+00 | 2.600000e+01 | Inf
172.90/172.92 o 12
172.90/172.92 c * 164s| 94090 | 3224 |397232 | 4.2 | 55M|1181 | - |3767 |9276 |3767 | 931 | 28k| 101k|2295 | 0.000000e+00 | 1.200000e+01 | Inf
183.60/183.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.60/183.69 c 175s|100000 | 3155 |433204 | 4.3 | 54M|1181 | 25 |3767 |5590 |3767 | 930 | 29k| 110k|2418 | 0.000000e+00 | 1.200000e+01 | Inf
201.40/201.49 c 191s|110000 | 3148 |497663 | 4.5 | 56M|1181 | 1 |3767 |6775 |3767 | 918 | 33k| 123k|2619 | 0.000000e+00 | 1.200000e+01 | Inf
219.20/219.20 c 208s|120000 | 3167 |556861 | 4.6 | 58M|1181 | 1 |3767 | 10k|3767 | 918 | 35k| 137k|2771 | 0.000000e+00 | 1.200000e+01 | Inf
237.50/237.56 c 226s|130000 | 3193 |618650 | 4.8 | 59M|1181 | - |3767 | 10k| 0 | 0 | 38k| 150k|2953 | 0.000000e+00 | 1.200000e+01 | Inf
256.31/256.38 c 243s|140000 | 3255 |681161 | 4.9 | 60M|1181 | 24 |3767 |9921 |3767 | 932 | 42k| 163k|3092 | 0.000000e+00 | 1.200000e+01 | Inf
275.20/275.22 c 261s|150000 | 3242 |745874 | 5.0 | 62M|1181 | 21 |3767 | 11k|3767 | 915 | 45k| 176k|3230 | 0.000000e+00 | 1.200000e+01 | Inf
295.20/295.21 c 280s|160000 | 3217 |813507 | 5.1 | 63M|1181 | - |3767 | 11k| 0 | 0 | 48k| 189k|3391 | 0.000000e+00 | 1.200000e+01 | Inf
314.10/314.17 c 298s|170000 | 3242 |873823 | 5.1 | 64M|1181 | - |3767 | 13k| 0 | 0 | 51k| 202k|3548 | 0.000000e+00 | 1.200000e+01 | Inf
333.21/333.26 c 317s|180000 | 3277 |933665 | 5.2 | 66M|1181 | - |3767 | 15k| 0 | 0 | 55k| 216k|3646 | 0.000000e+00 | 1.200000e+01 | Inf
354.80/354.86 c 337s|190000 | 3339 |999244 | 5.3 | 67M|1181 | 1 |3767 | 15k|3767 | 918 | 57k| 229k|3793 | 0.000000e+00 | 1.200000e+01 | Inf
374.60/374.61 c 356s|200000 | 3450 | 1058k| 5.3 | 69M|1181 | - |3767 | 16k| 0 | 0 | 60k| 243k|3897 | 0.000000e+00 | 1.200000e+01 | Inf
394.41/394.42 c 375s|210000 | 3507 | 1125k| 5.4 | 70M|1181 | - |3767 | 15k| 0 | 0 | 63k| 258k|4027 | 0.000000e+00 | 1.200000e+01 | Inf
414.31/414.35 c 394s|220000 | 3542 | 1194k| 5.4 | 71M|1181 | - |3767 | 15k| 0 | 0 | 67k| 272k|4140 | 0.000000e+00 | 1.200000e+01 | Inf
434.41/434.41 c 413s|230000 | 3402 | 1254k| 5.5 | 68M|1181 | 17 |3767 |7818 |3767 | 894 | 70k| 286k|4278 | 0.000000e+00 | 1.200000e+01 | Inf
452.31/452.36 c 430s|240000 | 3450 | 1315k| 5.5 | 71M|1181 | - |3767 | 11k| 0 | 0 | 72k| 300k|4356 | 0.000000e+00 | 1.200000e+01 | Inf
471.21/471.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.21/471.30 c 448s|250000 | 3390 | 1380k| 5.5 | 71M|1181 | 15 |3767 | 10k|3767 | 948 | 75k| 314k|4491 | 0.000000e+00 | 1.200000e+01 | Inf
491.01/491.01 c 467s|260000 | 3396 | 1447k| 5.6 | 71M|1181 | - |3767 | 11k| 0 | 0 | 78k| 327k|4591 | 0.000000e+00 | 1.200000e+01 | Inf
510.01/510.00 c 485s|270000 | 3323 | 1508k| 5.6 | 72M|1181 | - |3767 | 13k| 0 | 0 | 81k| 340k|4713 | 0.000000e+00 | 1.200000e+01 | Inf
528.91/528.99 c 503s|280000 | 3271 | 1566k| 5.6 | 72M|1181 | 1 |3767 | 13k|3767 | 908 | 84k| 353k|4806 | 0.000000e+00 | 1.200000e+01 | Inf
548.01/548.09 c 521s|290000 | 3411 | 1622k| 5.6 | 74M|1181 | 1 |3767 | 14k|3767 | 937 | 87k| 367k|4885 | 0.000000e+00 | 1.200000e+01 | Inf
568.21/568.22 c 540s|300000 | 3583 | 1681k| 5.6 | 76M|1181 | - |3767 | 17k| 0 | 0 | 91k| 382k|4950 | 0.000000e+00 | 1.200000e+01 | Inf
588.01/588.01 c 559s|310000 | 3617 | 1741k| 5.6 | 77M|1181 | 27 |3767 | 15k|3767 | 894 | 94k| 395k|5056 | 0.000000e+00 | 1.200000e+01 | Inf
606.01/606.01 o 11
606.01/606.01 c * 576s|319141 | 3598 | 1796k| 5.6 | 77M|1181 | - |3767 | 15k|3767 | 930 | 97k| 408k|5130 | 0.000000e+00 | 1.100000e+01 | Inf
607.61/607.60 c 578s|320000 | 3596 | 1801k| 5.6 | 77M|1181 | - |3767 | 15k| 0 | 0 | 97k| 409k|5130 | 0.000000e+00 | 1.100000e+01 | Inf
627.41/627.40 c 596s|330000 | 3645 | 1862k| 5.6 | 78M|1181 | 15 |3767 | 15k|3767 | 916 | 101k| 423k|5212 | 0.000000e+00 | 1.100000e+01 | Inf
646.61/646.66 c 615s|340000 | 3706 | 1921k| 5.7 | 78M|1181 | - |3767 | 12k| 0 | 0 | 104k| 437k|5309 | 0.000000e+00 | 1.100000e+01 | Inf
665.52/665.57 c 633s|350000 | 3737 | 1984k| 5.7 | 79M|1181 | 13 |3767 | 13k|3767 | 916 | 108k| 451k|5400 | 0.000000e+00 | 1.100000e+01 | Inf
683.71/683.77 c 650s|360000 | 3865 | 2040k| 5.7 | 81M|1181 | - |3767 | 13k| 0 | 0 | 110k| 465k|5476 | 0.000000e+00 | 1.100000e+01 | Inf
703.01/703.02 c 668s|370000 | 4152 | 2101k| 5.7 | 84M|1181 | - |3767 | 15k| 0 | 0 | 113k| 478k|5555 | 0.000000e+00 | 1.100000e+01 | Inf
722.21/722.24 c 687s|380000 | 4152 | 2161k| 5.7 | 85M|1181 | - |3767 | 14k| 0 | 0 | 115k| 493k|5629 | 0.000000e+00 | 1.100000e+01 | Inf
740.71/740.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.71/740.73 c 704s|390000 | 4072 | 2217k| 5.7 | 85M|1181 | 1 |3767 | 13k|3767 | 927 | 118k| 507k|5701 | 0.000000e+00 | 1.100000e+01 | Inf
760.32/760.39 c 723s|400000 | 4155 | 2281k| 5.7 | 86M|1181 | - |3767 | 15k| 0 | 0 | 121k| 520k|5795 | 0.000000e+00 | 1.100000e+01 | Inf
780.02/780.02 c 742s|410000 | 4397 | 2344k| 5.7 | 88M|1181 | 10 |3767 | 16k|3767 | 921 | 124k| 533k|5881 | 0.000000e+00 | 1.100000e+01 | Inf
800.32/800.31 c 761s|420000 | 4518 | 2412k| 5.7 | 90M|1181 | - |3767 | 16k| 0 | 0 | 128k| 547k|5931 | 0.000000e+00 | 1.100000e+01 | Inf
821.22/821.26 c 781s|430000 | 4486 | 2484k| 5.8 | 91M|1181 | - |3767 | 17k| 0 | 0 | 132k| 560k|6022 | 0.000000e+00 | 1.100000e+01 | Inf
841.92/841.90 c 801s|440000 | 4592 | 2548k| 5.8 | 93M|1181 | - |3767 | 18k| 0 | 0 | 135k| 574k|6099 | 0.000000e+00 | 1.100000e+01 | Inf
862.32/862.40 o 10
862.32/862.40 c * 820s|449655 | 4440 | 2608k| 5.8 | 92M|1181 | - |3767 | 22k|3767 | 941 | 139k| 587k|6155 | 0.000000e+00 | 1.000000e+01 | Inf
863.12/863.17 c 821s|450000 | 4450 | 2610k| 5.8 | 92M|1181 | 4 |3767 | 21k|3767 | 934 | 139k| 588k|6155 | 0.000000e+00 | 1.000000e+01 | Inf
884.01/884.06 c 841s|460000 | 4434 | 2673k| 5.8 | 90M|1181 | 9 |3767 | 16k|3767 | 926 | 142k| 602k|6231 | 0.000000e+00 | 1.000000e+01 | Inf
903.52/903.54 c 860s|470000 | 4462 | 2733k| 5.8 | 92M|1181 | - |3767 | 19k| 0 | 0 | 145k| 615k|6305 | 0.000000e+00 | 1.000000e+01 | Inf
925.42/925.45 c 881s|480000 | 4582 | 2801k| 5.8 | 95M|1181 | - |3767 | 22k| 0 | 0 | 148k| 629k|6355 | 0.000000e+00 | 1.000000e+01 | Inf
948.42/948.40 c 903s|490000 | 4624 | 2874k| 5.9 | 95M|1181 | - |3767 | 21k| 0 | 0 | 152k| 643k|6421 | 0.000000e+00 | 1.000000e+01 | Inf
970.52/970.56 c 924s|500000 | 4636 | 2938k| 5.9 | 97M|1181 | 5 |3767 | 24k|3767 | 943 | 155k| 657k|6487 | 0.000000e+00 | 1.000000e+01 | Inf
994.52/994.58 c 947s|510000 | 4685 | 3004k| 5.9 | 96M|1181 | 15 |3767 | 22k|3767 | 928 | 158k| 670k|6555 | 0.000000e+00 | 1.000000e+01 | Inf
1015.82/1015.84 c 968s|520000 | 4804 | 3064k| 5.9 | 97M|1181 | 1 |3767 | 21k|3767 | 923 | 161k| 684k|6616 | 0.000000e+00 | 1.000000e+01 | Inf
1037.12/1037.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.12/1037.19 c 988s|530000 | 4819 | 3123k| 5.9 | 98M|1181 | 20 |3767 | 21k|3767 | 922 | 164k| 697k|6677 | 0.000000e+00 | 1.000000e+01 | Inf
1057.83/1057.84 c 1008s|540000 | 4828 | 3181k| 5.9 | 98M|1181 | - |3767 | 19k|3767 | 932 | 168k| 711k|6736 | 0.000000e+00 | 1.000000e+01 | Inf
1079.43/1079.44 c 1029s|550000 | 4926 | 3251k| 5.9 | 99M|1181 | 17 |3767 | 19k|3767 | 950 | 172k| 725k|6797 | 0.000000e+00 | 1.000000e+01 | Inf
1101.32/1101.31 c 1050s|560000 | 5043 | 3320k| 5.9 | 100M|1181 | - |3767 | 19k| 0 | 0 | 176k| 738k|6853 | 0.000000e+00 | 1.000000e+01 | Inf
1122.72/1122.78 c 1070s|570000 | 5084 | 3384k| 5.9 | 102M|1181 | 10 |3767 | 22k|3767 | 914 | 180k| 752k|6907 | 0.000000e+00 | 1.000000e+01 | Inf
1146.03/1146.03 c 1092s|580000 | 5188 | 3457k| 6.0 | 103M|1181 | - |3767 | 23k| 0 | 0 | 183k| 766k|6964 | 0.000000e+00 | 1.000000e+01 | Inf
1169.52/1169.56 c 1115s|590000 | 5231 | 3539k| 6.0 | 103M|1181 | - |3767 | 20k| 0 | 0 | 187k| 780k|7028 | 0.000000e+00 | 1.000000e+01 | Inf
1191.13/1191.16 c 1136s|600000 | 5370 | 3609k| 6.0 | 105M|1181 | 24 |3767 | 20k|3767 | 974 | 191k| 795k|7085 | 0.000000e+00 | 1.000000e+01 | Inf
1211.72/1211.73 c 1155s|610000 | 5387 | 3672k| 6.0 | 105M|1181 | - |3767 | 19k| 0 | 0 | 194k| 809k|7129 | 0.000000e+00 | 1.000000e+01 | Inf
1233.42/1233.46 c 1176s|620000 | 5524 | 3740k| 6.0 | 106M|1181 | 1 |3767 | 19k|3767 | 914 | 198k| 823k|7188 | 0.000000e+00 | 1.000000e+01 | Inf
1254.23/1254.27 c 1196s|630000 | 5583 | 3803k| 6.0 | 107M|1181 | - |3767 | 18k| 0 | 0 | 202k| 837k|7251 | 0.000000e+00 | 1.000000e+01 | Inf
1275.73/1275.74 c 1216s|640000 | 5602 | 3877k| 6.1 | 108M|1181 | - |3767 | 20k| 0 | 0 | 206k| 850k|7319 | 0.000000e+00 | 1.000000e+01 | Inf
1297.53/1297.50 c 1237s|650000 | 5753 | 3946k| 6.1 | 111M|1181 | 17 |3767 | 23k|3767 | 914 | 210k| 864k|7378 | 0.000000e+00 | 1.000000e+01 | Inf
1319.13/1319.19 c 1258s|660000 | 5744 | 4010k| 6.1 | 110M|1181 | 18 |3767 | 20k|3767 | 954 | 213k| 878k|7443 | 0.000000e+00 | 1.000000e+01 | Inf
1341.13/1341.10 c 1279s|670000 | 5983 | 4081k| 6.1 | 112M|1181 | 1 |3767 | 20k|3767 | 943 | 217k| 891k|7508 | 0.000000e+00 | 1.000000e+01 | Inf
1362.43/1362.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.43/1362.47 c 1299s|680000 | 6083 | 4150k| 6.1 | 114M|1181 | - |3767 | 22k| 0 | 0 | 221k| 905k|7561 | 0.000000e+00 | 1.000000e+01 | Inf
1384.73/1384.79 c 1321s|690000 | 6261 | 4218k| 6.1 | 116M|1181 | 12 |3767 | 22k|3767 | 939 | 225k| 919k|7613 | 0.000000e+00 | 1.000000e+01 | Inf
1406.84/1406.85 c 1342s|700000 | 6369 | 4291k| 6.1 | 117M|1181 | - |3767 | 21k| 0 | 0 | 229k| 934k|7662 | 0.000000e+00 | 1.000000e+01 | Inf
1428.34/1428.34 c 1362s|710000 | 6427 | 4360k| 6.1 | 119M|1181 | 10 |3767 | 22k|3767 | 935 | 232k| 948k|7710 | 0.000000e+00 | 1.000000e+01 | Inf
1449.63/1449.63 c 1383s|720000 | 6405 | 4425k| 6.1 | 118M|1181 | - |3767 | 20k| 0 | 0 | 235k| 963k|7750 | 0.000000e+00 | 1.000000e+01 | Inf
1471.84/1471.88 c 1404s|730000 | 6428 | 4504k| 6.2 | 119M|1181 | 1 |3767 | 20k|3767 | 938 | 239k| 977k|7815 | 0.000000e+00 | 1.000000e+01 | Inf
1494.74/1494.76 c 1426s|740000 | 6458 | 4579k| 6.2 | 120M|1181 | 1 |3767 | 19k|3767 | 938 | 243k| 990k|7870 | 0.000000e+00 | 1.000000e+01 | Inf
1506.23/1506.24 o 8
1506.23/1506.24 c *1437s|745505 | 6228 | 4613k| 6.2 | 116M|1181 | - |3767 | 21k|3767 | 955 | 244k| 998k|7912 | 0.000000e+00 | 8.000000e+00 | Inf
1507.14/1507.14 o 6
1507.14/1507.14 c *1438s|745930 | 5711 | 4616k| 6.2 | 107M|1181 | - |3767 | 20k|3767 | 962 | 244k| 999k|7912 | 0.000000e+00 | 6.000000e+00 | Inf
1515.64/1515.67 c 1446s|750000 | 5642 | 4644k| 6.2 | 106M|1181 | 1 |3767 | 17k|3767 | 923 | 246k|1004k|7920 | 0.000000e+00 | 6.000000e+00 | Inf
1537.34/1537.34 c 1466s|760000 | 5719 | 4724k| 6.2 | 109M|1181 | - |3767 | 22k| 0 | 0 | 249k|1018k|7971 | 0.000000e+00 | 6.000000e+00 | Inf
1560.24/1560.27 c 1488s|770000 | 5758 | 4800k| 6.2 | 110M|1181 | - |3767 | 22k| 0 | 0 | 252k|1033k|8019 | 0.000000e+00 | 6.000000e+00 | Inf
1583.44/1583.45 c 1510s|780000 | 5776 | 4875k| 6.3 | 110M|1181 | - |3767 | 21k| 0 | 0 | 255k|1048k|8065 | 0.000000e+00 | 6.000000e+00 | Inf
1604.04/1604.01 c 1530s|790000 | 5571 | 4939k| 6.3 | 107M|1181 | - |3767 | 18k| 0 | 0 | 258k|1062k|8124 | 0.000000e+00 | 6.000000e+00 | Inf
1625.34/1625.35 c 1550s|800000 | 5628 | 5002k| 6.3 | 109M|1181 | 13 |3767 | 22k|3767 | 931 | 261k|1075k|8165 | 0.000000e+00 | 6.000000e+00 | Inf
1649.34/1649.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.34/1649.32 c 1573s|810000 | 5673 | 5074k| 6.3 | 110M|1181 | 17 |3767 | 24k|3767 | 925 | 265k|1090k|8221 | 0.000000e+00 | 6.000000e+00 | Inf
1671.84/1671.81 c 1595s|820000 | 5684 | 5136k| 6.3 | 110M|1181 | - |3767 | 23k|3767 | 927 | 268k|1104k|8266 | 0.000000e+00 | 6.000000e+00 | Inf
1694.15/1694.16 c 1616s|830000 | 5288 | 5206k| 6.3 | 104M|1181 | - |3767 | 14k| 0 | 0 | 272k|1119k|8411 | 0.000000e+00 | 6.000000e+00 | Inf
1713.95/1713.97 c 1635s|840000 | 4985 | 5272k| 6.3 | 101M|1181 | 1 |3767 | 11k|3767 | 910 | 275k|1133k|8677 | 0.000000e+00 | 6.000000e+00 | Inf
1733.14/1733.17 c 1653s|850000 | 5021 | 5336k| 6.3 | 102M|1181 | - |3767 | 14k|3767 | 910 | 278k|1147k|8677 | 0.000000e+00 | 6.000000e+00 | Inf
1753.94/1753.96 c 1673s|860000 | 5069 | 5403k| 6.3 | 104M|1181 | 1 |3767 | 16k|3767 | 963 | 281k|1161k|8677 | 0.000000e+00 | 6.000000e+00 | Inf
1774.94/1774.97 c 1693s|870000 | 5078 | 5469k| 6.3 | 105M|1181 | 1 |3767 | 19k|3767 | 916 | 284k|1175k|8715 | 0.000000e+00 | 6.000000e+00 | Inf
1797.54/1797.54 c 1715s|880000 | 5094 | 5534k| 6.3 | 107M|1181 | - |3767 | 22k| 0 | 0 | 287k|1190k|8758 | 0.000000e+00 | 6.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) : 1717.22
1800.05/1800.00 c Solving Nodes : 881039
1800.05/1800.00 c Primal Bound : +6.00000000000000e+00 (247 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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 x2
1800.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1717.22
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2693395-1277901469.wbo
1800.05/1800.05 c Variables : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.05/1800.05 c Constraints : 4556 initial, 4556 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2693395-1277901469.wbo
1800.05/1800.05 c Variables : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.05/1800.05 c Constraints : 4361 initial, 26977 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.01 80 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 80 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.01 0 0 0 0 0 80 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.04 0 0 0 1882 0 115 101 0
1800.05/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1690 - - 3380 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 521120 0 71 930 0 0 934062
1800.05/1800.05 c indicator : 1768 0 4581072 53140 0 633 3499234 0 0 0
1800.05/1800.05 c setppc : 8 6 4576825 50957 0 28540 763030 0 0 0
1800.05/1800.05 c linear : 1768 6 4570351 53111 0 184481 19598772 287817 0 0
1800.05/1800.05 c logicor : 817+ 6 1730641 16370 0 190639 4092842 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 3345 0 0 0 32 0 0 0
1800.05/1800.05 c countsols : 0 0 0 16370 0 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 20.63 0.00 0.00 20.63 0.00
1800.05/1800.05 c indicator : 16.03 0.00 13.49 2.54 0.00
1800.05/1800.05 c setppc : 6.16 0.00 6.16 0.00 0.00
1800.05/1800.05 c linear : 143.82 0.02 140.39 3.41 0.00
1800.05/1800.05 c logicor : 226.78 0.00 226.63 0.15 0.00
1800.05/1800.05 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 0.01 2 0 0
1800.05/1800.05 c rootredcost : 0.03 47 0 1690
1800.05/1800.05 c pseudoobj : 158.04 4606907 7147 2573019
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 19.69 410807 410521 2509363 26.7 14669 21.1 -
1800.05/1800.05 c infeasible LP : 13.07 46347 46347 365693 43.8 817 15.1 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.00 119 119 612 17.3 53 7.0 -
1800.05/1800.05 c applied globally : - - - 1191598 23.1 - - -
1800.05/1800.05 c applied locally : - - - 0 0.0 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 5 - - 94 - (maximal pool size: 277)
1800.05/1800.05 c redcost : 28.55 530136 0 825450 0 0
1800.05/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.06 6 0 0 1393 0
1800.05/1800.05 c strongcg : 0.05 6 0 0 484 0
1800.05/1800.05 c cmir : 0.02 6 0 0 0 0
1800.05/1800.05 c flowcover : 0.06 6 0 0 0 0
1800.05/1800.05 c clique : 0.00 6 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 1 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 20.59 467835 71 930 0 0 934062
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 2.03 16324 0 0 0 0 32648
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.06 - 46
1800.05/1800.05 c pseudo solutions : 0.00 - 0
1800.05/1800.05 c feaspump : 0.01 1 0
1800.05/1800.05 c oneopt : 0.20 42 0
1800.05/1800.05 c veclendiving : 0.08 69 0
1800.05/1800.05 c fracdiving : 0.06 70 0
1800.05/1800.05 c linesearchdiving : 0.10 70 0
1800.05/1800.05 c guideddiving : 0.13 70 0
1800.05/1800.05 c coefdiving : 0.07 70 0
1800.05/1800.05 c pscostdiving : 0.10 70 0
1800.05/1800.05 c objpscostdiving : 0.08 57 0
1800.05/1800.05 c rootsoldiving : 0.14 57 0
1800.05/1800.05 c crossover : 1.07 53 0
1800.05/1800.05 c trivial : 0.00 2 0
1800.05/1800.05 c simplerounding : 0.43 470946 0
1800.05/1800.05 c zirounding : 0.25 1000 0
1800.05/1800.05 c rounding : 1.85 9685 0
1800.05/1800.05 c shifting : 0.98 3025 0
1800.05/1800.05 c intshifting : 0.00 11 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.02 1 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.01 0 0
1800.05/1800.05 c trysol : 2.30 6567 201
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 664.13 554173 5539627 10.00 8341.18
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.30 160 1973 12.33 6576.67
1800.05/1800.05 c strong branching : 17.22 8763 181033 20.66 10512.95
1800.05/1800.05 c (at root node) : - 33 10275 311.36 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 881039
1800.05/1800.05 c nodes (total) : 881039
1800.05/1800.05 c nodes left : 5097
1800.05/1800.05 c max depth : 1181
1800.05/1800.05 c max depth (total): 1181
1800.05/1800.05 c backtracks : 87218 (9.9%)
1800.05/1800.05 c delayed cutoffs : 64388
1800.05/1800.05 c repropagations : 2118105 (5423929 domain reductions, 60074 cutoffs)
1800.05/1800.05 c avg switch length: 6.34
1800.05/1800.05 c switching time : 232.09
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 247 (47 improvements)
1800.05/1800.05 c First Solution : +9.10890000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.05/1800.05 c Primal Bound : +6.00000000000000e+00 (in run 1, after 745930 nodes, 1437.50 seconds, depth 56, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 262
1800.15/1800.18 c Time complete: 1800.22.