0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705507-1278572954.wbo>
0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 1848 impl, 0 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, 124 impls, 8 clqs
0.00/0.08 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.00/0.09 c (round 3) 46 del vars, 191 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.00/0.10 c (round 4) 156 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.09/0.11 c (round 5) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs
0.09/0.11 c (round 6) 160 del vars, 216 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs
0.09/0.16 c (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (7 rounds):
0.09/0.16 c 160 deleted vars, 216 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.16 c 3645 implications, 8 cliques
0.09/0.16 c presolved problem has 3767 variables (1999 bin, 0 int, 1768 impl, 0 cont) and 4340 constraints
0.09/0.16 c 28 constraints of type <setppc>
0.09/0.16 c 1768 constraints of type <linear>
0.09/0.16 c 1768 constraints of type <indicator>
0.09/0.16 c 776 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.12
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.3
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1789.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16 c # [type: int, range: [1,2], default: 1]
0.09/0.16 c timing/clocktype = 2
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/indicator/addCouplingCons = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 0 | 31 | - | 14M| 0 | 25 |3767 |4340 |3767 | 804 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 63 | - | 14M| 0 | 22 |3767 |4340 |3767 | 838 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 99 | - | 14M| 0 | 27 |3767 |4340 |3767 | 854 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 0 | 111 | - | 15M| 0 | 23 |3767 |4340 |3767 | 866 | 62 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 146 | - | 15M| 0 | 24 |3767 |4340 |3767 | 868 | 64 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.45 c 0.4s| 1 | 0 | 182 | - | 15M| 0 | 33 |3767 |4340 |3767 | 875 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 226 | - | 15M| 0 | 39 |3767 |4340 |3767 | 879 | 75 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.6s| 1 | 2 | 226 | - | 15M| 0 | 39 |3767 |4340 |3767 | 879 | 75 | 0 | 17 | 0.000000e+00 | -- | Inf
0.99/1.03 o 91089
0.99/1.03 c y 1.0s| 21 | 20 | 457 | 11.6 | 15M| 19 | - |3767 |4340 | 0 | 0 | 95 | 0 | 125 | 0.000000e+00 | 9.108900e+04 | Inf
11.29/11.36 o 641
11.29/11.36 c *11.3s| 8911 | 8822 | 1927 | 0.2 | 31M|1497 | - |3767 |4359 |3767 | 933 | 298 | 19 | 449 | 0.000000e+00 | 6.410000e+02 | Inf
12.69/12.73 c 12.7s| 10000 | 9911 | 2046 | 0.2 | 33M|1497 | 0 |3767 |4359 |3767 | 901 | 323 | 19 | 463 | 0.000000e+00 | 6.410000e+02 | Inf
25.79/25.86 c 25.8s| 20000 | 19911 | 2903 | 0.1 | 51M|1497 | 0 |3767 |4359 |3767 | 899 | 517 | 19 | 576 | 0.000000e+00 | 6.410000e+02 | Inf
39.40/39.44 c 39.4s| 30000 | 29909 | 4308 | 0.1 | 70M|1497 | 0 |3767 |4361 |3767 | 896 | 800 | 21 | 738 | 0.000000e+00 | 6.410000e+02 | Inf
52.49/52.58 c 52.6s| 40000 | 39909 | 5419 | 0.1 | 86M|1497 | 0 |3767 |4361 |3767 | 892 |1072 | 21 | 913 | 0.000000e+00 | 6.410000e+02 | Inf
65.29/65.37 c 65.3s| 50000 | 49909 | 7045 | 0.1 | 102M|1497 | 0 |3767 |4361 |3767 | 896 |1446 | 21 |1000 | 0.000000e+00 | 6.410000e+02 | Inf
77.99/78.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.99/78.08 c 78.1s| 60000 | 59902 | 9115 | 0.1 | 119M|1497 | 0 |3767 |4381 |3767 | 911 |1873 | 42 |1144 | 0.000000e+00 | 6.410000e+02 | Inf
89.20/89.22 o 608
89.20/89.22 c *89.2s| 69292 | 68840 | 11129 | 0.2 | 134M|1538 | - |3767 |4763 |3767 | 897 |2230 | 425 |1191 | 0.000000e+00 | 6.080000e+02 | Inf
89.30/89.31 o 536
89.30/89.31 c *89.3s| 69342 | 68016 | 11136 | 0.2 | 133M|1538 | - |3767 |4763 |3767 | 898 |2231 | 425 |1191 | 0.000000e+00 | 5.360000e+02 | Inf
90.30/90.31 c 90.3s| 70000 | 68611 | 11864 | 0.2 | 134M|1538 | 1 |3767 |4880 |3767 | 900 |2340 | 548 |1217 | 0.000000e+00 | 5.360000e+02 | Inf
91.00/91.05 o 530
91.00/91.05 c *91.0s| 70367 | 68798 | 12841 | 0.2 | 135M|1538 | - |3767 |5012 |3767 | 906 |2514 | 707 |1264 | 0.000000e+00 | 5.300000e+02 | Inf
91.49/91.58 o 513
91.49/91.58 c *91.6s| 70699 | 68691 | 13033 | 0.2 | 135M|1538 | - |3767 |5068 |3767 | 898 |2581 | 770 |1265 | 0.000000e+00 | 5.130000e+02 | Inf
91.59/91.64 o 508
91.59/91.64 c *91.6s| 70720 | 68577 | 13206 | 0.2 | 135M|1538 | - |3767 |5074 |3767 | 899 |2589 | 780 |1267 | 0.000000e+00 | 5.080000e+02 | Inf
91.59/91.65 o 505
91.59/91.65 c *91.6s| 70721 | 68497 | 13211 | 0.2 | 135M|1538 | - |3767 |5074 |3767 | 899 |2589 | 780 |1267 | 0.000000e+00 | 5.050000e+02 | Inf
91.69/91.75 o 497
91.69/91.75 c *91.7s| 70770 | 68385 | 13417 | 0.2 | 135M|1538 | - |3767 |5084 |3767 | 899 |2613 | 794 |1267 | 0.000000e+00 | 4.970000e+02 | Inf
92.19/92.28 o 445
92.19/92.28 c *92.3s| 71063 | 66618 | 13894 | 0.2 | 132M|1538 | - |3767 |5190 |3767 | 911 |2666 | 908 |1278 | 0.000000e+00 | 4.450000e+02 | Inf
92.29/92.30 o 422
92.29/92.30 c *92.3s| 71066 | 64868 | 13898 | 0.2 | 130M|1538 | - |3767 |5190 |3767 | 911 |2666 | 908 |1278 | 0.000000e+00 | 4.220000e+02 | Inf
92.59/92.68 o 320
92.59/92.68 c *92.7s| 71281 | 56220 | 14116 | 0.2 | 116M|1538 | - |3767 |5240 |3767 | 902 |2689 | 969 |1281 | 0.000000e+00 | 3.200000e+02 | Inf
92.70/92.73 o 309
92.70/92.73 c *92.7s| 71305 | 55270 | 14126 | 0.2 | 114M|1538 | - |3767 |5240 |3767 | 905 |2692 | 969 |1281 | 0.000000e+00 | 3.090000e+02 | Inf
92.70/92.73 o 306
92.70/92.73 c *92.7s| 71307 | 54843 | 14126 | 0.2 | 114M|1538 | - |3767 |5245 |3767 | 905 |2692 | 974 |1281 | 0.000000e+00 | 3.060000e+02 | Inf
92.70/92.79 o 264
92.70/92.79 c *92.8s| 71324 | 49065 | 14134 | 0.2 | 104M|1538 | - |3767 |5259 |3767 | 905 |2692 | 988 |1281 | 0.000000e+00 | 2.640000e+02 | Inf
98.40/98.47 o 240
98.40/98.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.40/98.47 c *98.4s| 73377 | 47027 | 28002 | 0.4 | 106M|1538 | - |3767 |6379 |3767 | 910 |4609 |2402 |1604 | 0.000000e+00 | 2.400000e+02 | Inf
98.40/98.47 o 231
98.40/98.47 c *98.4s| 73378 | 45615 | 28002 | 0.4 | 104M|1538 | - |3767 |6379 |3767 | 910 |4609 |2402 |1604 | 0.000000e+00 | 2.310000e+02 | Inf
99.00/99.08 o 219
99.00/99.08 c *99.1s| 73588 | 43453 | 29062 | 0.4 | 101M|1538 | - |3767 |6494 |3767 | 899 |4770 |2549 |1618 | 0.000000e+00 | 2.190000e+02 | Inf
99.00/99.08 o 217
99.00/99.08 c *99.1s| 73589 | 43034 | 29062 | 0.4 | 101M|1538 | - |3767 |6494 |3767 | 899 |4770 |2549 |1618 | 0.000000e+00 | 2.170000e+02 | Inf
99.20/99.27 o 214
99.20/99.27 c *99.2s| 73671 | 42406 | 29451 | 0.4 | 100M|1538 | - |3767 |6523 |3767 | 937 |4827 |2586 |1618 | 0.000000e+00 | 2.140000e+02 | Inf
99.30/99.30 o 211
99.30/99.30 c *99.3s| 73677 | 41708 | 29499 | 0.4 | 99M|1538 | - |3767 |6522 |3767 | 939 |4829 |2586 |1618 | 0.000000e+00 | 2.110000e+02 | Inf
99.30/99.33 o 201
99.30/99.33 c *99.3s| 73686 | 39804 | 29524 | 0.4 | 95M|1538 | - |3767 |6522 |3767 | 939 |4829 |2586 |1618 | 0.000000e+00 | 2.010000e+02 | Inf
99.30/99.35 o 187
99.30/99.35 c *99.3s| 73688 | 36465 | 29544 | 0.4 | 89M|1538 | - |3767 |6522 |3767 | 939 |4829 |2586 |1618 | 0.000000e+00 | 1.870000e+02 | Inf
99.80/99.86 o 174
99.80/99.86 c *99.8s| 73921 | 32420 | 30254 | 0.4 | 83M|1538 | - |3767 |6618 |3767 | 908 |4910 |2738 |1624 | 0.000000e+00 | 1.740000e+02 | Inf
99.80/99.87 o 168
99.80/99.87 c *99.8s| 73922 | 30539 | 30257 | 0.4 | 80M|1538 | - |3767 |6617 |3767 | 904 |4910 |2738 |1624 | 0.000000e+00 | 1.680000e+02 | Inf
100.29/100.30 o 166
100.29/100.30 c * 100s| 74084 | 30108 | 31376 | 0.4 | 79M|1538 | - |3767 |6668 |3767 | 942 |5066 |2809 |1633 | 0.000000e+00 | 1.660000e+02 | Inf
100.59/100.65 o 160
100.59/100.65 c * 101s| 74198 | 28276 | 32386 | 0.4 | 77M|1538 | - |3767 |6709 |3767 | 933 |5149 |2900 |1644 | 0.000000e+00 | 1.600000e+02 | Inf
100.89/100.91 o 154
100.89/100.91 c * 101s| 74283 | 26371 | 32946 | 0.4 | 74M|1538 | - |3767 |6743 |3767 | 920 |5248 |2954 |1647 | 0.000000e+00 | 1.540000e+02 | Inf
101.20/101.24 o 145
101.20/101.24 c * 101s| 74489 | 23780 | 33661 | 0.4 | 70M|1538 | - |3767 |6749 |3767 | 942 |5336 |2974 |1655 | 0.000000e+00 | 1.450000e+02 | Inf
101.20/101.29 o 142
101.20/101.29 c * 101s| 74495 | 22931 | 33833 | 0.5 | 69M|1538 | - |3767 |6753 |3767 | 936 |5364 |2984 |1659 | 0.000000e+00 | 1.420000e+02 | Inf
101.39/101.41 o 139
101.39/101.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.39/101.41 c * 101s| 74529 | 22076 | 34173 | 0.5 | 68M|1538 | - |3767 |6770 |3767 | 904 |5395 |3016 |1660 | 0.000000e+00 | 1.390000e+02 | Inf
101.89/101.98 o 128
101.89/101.98 c * 102s| 74741 | 19194 | 35039 | 0.5 | 64M|1538 | - |3767 |6897 |3767 | 914 |5468 |3216 |1665 | 0.000000e+00 | 1.280000e+02 | Inf
102.10/102.11 o 126
102.10/102.11 c * 102s| 74789 | 18717 | 35329 | 0.5 | 62M|1538 | - |3767 |6912 |3767 | 920 |5516 |3256 |1668 | 0.000000e+00 | 1.260000e+02 | Inf
102.40/102.45 o 94
102.40/102.45 c * 102s| 74894 | 10981 | 36214 | 0.5 | 46M|1538 | - |3767 |6998 |3767 | 930 |5616 |3369 |1671 | 0.000000e+00 | 9.400000e+01 | Inf
103.90/103.93 o 87
103.90/103.93 c * 104s| 75407 | 9772 | 39109 | 0.5 | 45M|1538 | - |3767 |7215 |3767 | 906 |6112 |3858 |1687 | 0.000000e+00 | 8.700000e+01 | Inf
110.59/110.62 o 77
110.59/110.62 c * 111s| 78099 | 8491 | 52182 | 0.7 | 46M|1538 | - |3767 |7433 |3767 | 906 |7594 |5999 |1724 | 0.000000e+00 | 7.700000e+01 | Inf
110.59/110.67 o 62
110.59/110.67 c * 111s| 78115 | 6569 | 52213 | 0.7 | 43M|1538 | - |3767 |6914 |3767 | 892 |7602 |6008 |1724 | 0.000000e+00 | 6.200000e+01 | Inf
114.29/114.33 c 114s| 80000 | 6641 | 59043 | 0.7 | 45M|1538 | 10 |3767 |7071 |3767 | 917 |8188 |8356 |1729 | 0.000000e+00 | 6.200000e+01 | Inf
121.89/121.99 o 48
121.89/121.99 c * 122s| 83873 | 5267 | 76392 | 0.9 | 45M|1538 | - |3767 |8120 |3767 | 897 |9485 | 12k|1734 | 0.000000e+00 | 4.800000e+01 | Inf
123.99/124.03 o 46
123.99/124.03 c * 124s| 84988 | 5105 | 80786 | 0.9 | 45M|1538 | - |3767 |7602 |3767 | 911 |9869 | 14k|1736 | 0.000000e+00 | 4.600000e+01 | Inf
123.99/124.03 o 43
123.99/124.03 c * 124s| 84989 | 4815 | 80786 | 0.9 | 44M|1538 | - |3767 |7602 |3767 | 911 |9869 | 14k|1736 | 0.000000e+00 | 4.300000e+01 | Inf
125.29/125.32 o 37
125.29/125.32 c * 125s| 85677 | 4238 | 84159 | 1.0 | 42M|1538 | - |3767 |6956 |3767 | 899 | 10k| 14k|1736 | 0.000000e+00 | 3.700000e+01 | Inf
125.40/125.47 o 34
125.40/125.47 c * 125s| 85766 | 4018 | 84408 | 1.0 | 42M|1538 | - |3767 |6724 |3767 | 911 | 10k| 14k|1736 | 0.000000e+00 | 3.400000e+01 | Inf
128.49/128.54 o 33
128.49/128.54 c * 129s| 87494 | 3903 | 94282 | 1.1 | 42M|1538 | - |3767 |6296 |3767 | 901 | 10k| 17k|1737 | 0.000000e+00 | 3.300000e+01 | Inf
131.00/131.05 o 32
131.00/131.05 c * 131s| 89086 | 3853 |100132 | 1.1 | 42M|1538 | - |3767 |6678 |3767 | 907 | 11k| 18k|1737 | 0.000000e+00 | 3.200000e+01 | Inf
132.59/132.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.59/132.64 c 133s| 90000 | 3916 |105462 | 1.2 | 42M|1538 | 1 |3767 |6547 |3767 | 903 | 11k| 19k|1737 | 0.000000e+00 | 3.200000e+01 | Inf
134.20/134.26 o 31
134.20/134.26 c * 134s| 91039 | 3874 |109176 | 1.2 | 42M|1538 | - |3767 |6886 |3767 | 895 | 11k| 21k|1737 | 0.000000e+00 | 3.100000e+01 | Inf
134.30/134.33 o 30
134.30/134.33 c * 134s| 91076 | 3783 |109291 | 1.2 | 42M|1538 | - |3767 |6807 |3767 | 903 | 11k| 21k|1737 | 0.000000e+00 | 3.000000e+01 | Inf
140.00/140.02 o 22
140.00/140.02 c * 140s| 94496 | 3059 |125352 | 1.3 | 42M|1538 | - |3767 |7182 |3767 | 903 | 12k| 25k|1760 | 0.000000e+00 | 2.200000e+01 | Inf
148.79/148.81 c 149s|100000 | 3174 |152445 | 1.5 | 43M|1538 | - |3767 |6912 | 0 | 0 | 14k| 32k|1865 | 0.000000e+00 | 2.200000e+01 | Inf
164.50/164.59 c 165s|110000 | 3259 |194806 | 1.8 | 46M|1538 | 18 |3767 |8987 |3767 | 921 | 16k| 44k|2102 | 0.000000e+00 | 2.200000e+01 | Inf
173.99/174.03 o 16
173.99/174.03 c * 174s|115510 | 2803 |222414 | 1.9 | 46M|1538 | - |3767 | 10k|3767 | 922 | 18k| 51k|2267 | 0.000000e+00 | 1.600000e+01 | Inf
181.40/181.49 c 181s|120000 | 2837 |243888 | 2.0 | 47M|1538 | 1 |3767 | 10k|3767 | 929 | 19k| 57k|2345 | 0.000000e+00 | 1.600000e+01 | Inf
198.49/198.51 c 198s|130000 | 3124 |290192 | 2.2 | 50M|1538 | 1 |3767 | 12k|3767 | 899 | 22k| 70k|2531 | 0.000000e+00 | 1.600000e+01 | Inf
204.49/204.51 o 15
204.49/204.51 c * 204s|133397 | 3115 |306289 | 2.3 | 50M|1538 | - |3767 | 12k|3767 | 932 | 23k| 74k|2596 | 0.000000e+00 | 1.500000e+01 | Inf
215.60/215.67 c 216s|140000 | 3195 |336126 | 2.4 | 51M|1538 | - |3767 | 11k|3767 | 937 | 24k| 83k|2686 | 0.000000e+00 | 1.500000e+01 | Inf
229.20/229.25 o 10
229.20/229.25 c * 229s|148077 | 2664 |371897 | 2.5 | 50M|1538 | - |3767 | 12k|3767 | 926 | 26k| 94k|2836 | 0.000000e+00 | 1.000000e+01 | Inf
229.30/229.31 o 9
229.30/229.31 c * 229s|148104 | 2561 |372064 | 2.5 | 50M|1538 | - |3767 | 12k|3767 | 936 | 26k| 94k|2836 | 0.000000e+00 | 9.000000e+00 | Inf
232.39/232.42 c 232s|150000 | 2574 |381715 | 2.5 | 50M|1538 | 1 |3767 | 12k|3767 | 925 | 27k| 97k|2867 | 0.000000e+00 | 9.000000e+00 | Inf
242.19/242.24 o 8
242.19/242.24 c * 242s|155936 | 2371 |413307 | 2.6 | 49M|1538 | - |3767 | 10k|3767 | 915 | 28k| 105k|3002 | 0.000000e+00 | 8.000000e+00 | Inf
248.80/248.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.80/248.82 c 249s|160000 | 2320 |436719 | 2.7 | 48M|1538 | 22 |3767 |9304 |3767 | 933 | 30k| 110k|3095 | 0.000000e+00 | 8.000000e+00 | Inf
265.50/265.54 c 266s|170000 | 2347 |498396 | 2.9 | 50M|1538 | 1 |3767 | 11k|3767 | 927 | 32k| 123k|3291 | 0.000000e+00 | 8.000000e+00 | Inf
282.10/282.11 c 282s|180000 | 2226 |554858 | 3.1 | 49M|1538 | - |3767 |8494 | 0 | 0 | 36k| 136k|3526 | 0.000000e+00 | 8.000000e+00 | Inf
295.39/295.40 o 3
295.39/295.40 c * 295s|188320 | 1343 |607106 | 3.2 | 43M|1538 | - |3767 | 10k|3767 | 929 | 37k| 147k|3684 | 0.000000e+00 | 3.000000e+00 | Inf
297.99/298.08 c 298s|190000 | 1297 |616718 | 3.2 | 42M|1538 | 17 |3767 |8348 |3767 | 924 | 38k| 149k|3726 | 0.000000e+00 | 3.000000e+00 | Inf
313.09/313.15 c 313s|200000 | 1282 |670926 | 3.4 | 43M|1538 | 11 |3767 | 11k|3767 | 913 | 41k| 162k|3849 | 0.000000e+00 | 3.000000e+00 | Inf
329.40/329.43 c 329s|210000 | 1230 |727993 | 3.5 | 43M|1538 | 8 |3767 | 12k|3767 | 910 | 44k| 175k|4010 | 0.000000e+00 | 3.000000e+00 | Inf
345.80/345.81 c 346s|220000 | 1262 |776905 | 3.5 | 45M|1538 | 21 |3767 | 16k|3767 | 914 | 46k| 188k|4120 | 0.000000e+00 | 3.000000e+00 | Inf
363.50/363.50 c 363s|230000 | 1266 |826149 | 3.6 | 46M|1538 | 23 |3767 | 19k|3767 | 925 | 48k| 201k|4236 | 0.000000e+00 | 3.000000e+00 | Inf
382.00/382.06 c 382s|240000 | 1300 |874551 | 3.6 | 48M|1538 | 17 |3767 | 23k|3767 | 941 | 50k| 214k|4322 | 0.000000e+00 | 3.000000e+00 | Inf
401.40/401.43 c 401s|250000 | 1268 |925666 | 3.7 | 48M|1538 | 13 |3767 | 23k|3767 | 898 | 53k| 228k|4468 | 0.000000e+00 | 3.000000e+00 | Inf
420.70/420.75 c 421s|260000 | 1288 |970327 | 3.7 | 49M|1538 | 9 |3767 | 26k|3767 | 909 | 55k| 241k|4533 | 0.000000e+00 | 3.000000e+00 | Inf
441.40/441.43 c 441s|270000 | 1339 | 1017k| 3.8 | 51M|1538 | - |3767 | 28k| 0 | 0 | 58k| 254k|4619 | 0.000000e+00 | 3.000000e+00 | Inf
461.61/461.67 c 462s|280000 | 1363 | 1063k| 3.8 | 51M|1538 | 18 |3767 | 28k|3767 | 925 | 60k| 268k|4723 | 0.000000e+00 | 3.000000e+00 | Inf
483.30/483.31 c 483s|290000 | 1346 | 1116k| 3.8 | 51M|1538 | 1 |3767 | 27k|3767 | 898 | 62k| 281k|4849 | 0.000000e+00 | 3.000000e+00 | Inf
504.50/504.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.50/504.59 c 505s|300000 | 1386 | 1164k| 3.9 | 53M|1538 | - |3767 | 30k|3767 | 924 | 65k| 294k|4917 | 0.000000e+00 | 3.000000e+00 | Inf
527.60/527.61 c 528s|310000 | 1430 | 1214k| 3.9 | 55M|1538 | 12 |3767 | 34k|3767 | 915 | 67k| 308k|4994 | 0.000000e+00 | 3.000000e+00 | Inf
551.91/551.98 c 552s|320000 | 1454 | 1266k| 4.0 | 56M|1538 | 9 |3767 | 36k|3767 | 898 | 69k| 322k|5100 | 0.000000e+00 | 3.000000e+00 | Inf
579.41/579.41 c 579s|330000 | 1462 | 1321k| 4.0 | 57M|1538 | 22 |3767 | 36k|3767 | 898 | 71k| 336k|5203 | 0.000000e+00 | 3.000000e+00 | Inf
604.81/604.84 c 605s|340000 | 1484 | 1371k| 4.0 | 58M|1538 | 21 |3767 | 37k|3767 | 913 | 74k| 350k|5269 | 0.000000e+00 | 3.000000e+00 | Inf
630.91/630.97 c 631s|350000 | 1481 | 1427k| 4.1 | 57M|1538 | - |3767 | 36k| 0 | 0 | 76k| 364k|5352 | 0.000000e+00 | 3.000000e+00 | Inf
656.91/656.95 c 657s|360000 | 1568 | 1479k| 4.1 | 58M|1538 | - |3767 | 37k| 0 | 0 | 79k| 378k|5457 | 0.000000e+00 | 3.000000e+00 | Inf
684.11/684.18 c 684s|370000 | 1698 | 1531k| 4.1 | 60M|1538 | 1 |3767 | 40k|3767 | 905 | 82k| 392k|5551 | 0.000000e+00 | 3.000000e+00 | Inf
711.41/711.47 c 711s|380000 | 1732 | 1587k| 4.2 | 61M|1538 | 1 |3767 | 41k|3767 | 917 | 84k| 406k|5627 | 0.000000e+00 | 3.000000e+00 | Inf
738.71/738.72 c 739s|390000 | 1727 | 1637k| 4.2 | 62M|1538 | - |3767 | 41k| 0 | 0 | 87k| 420k|5697 | 0.000000e+00 | 3.000000e+00 | Inf
765.72/765.79 c 766s|400000 | 1731 | 1690k| 4.2 | 62M|1538 | 1 |3767 | 42k|3767 | 922 | 90k| 435k|5767 | 0.000000e+00 | 3.000000e+00 | Inf
793.11/793.17 c 793s|410000 | 1605 | 1743k| 4.3 | 61M|1538 | - |3767 | 39k| 0 | 0 | 92k| 449k|5827 | 0.000000e+00 | 3.000000e+00 | Inf
819.41/819.42 c 819s|420000 | 1526 | 1791k| 4.3 | 59M|1538 | - |3767 | 36k| 0 | 0 | 94k| 463k|5924 | 0.000000e+00 | 3.000000e+00 | Inf
842.91/842.95 c 843s|430000 | 1443 | 1838k| 4.3 | 56M|1538 | 13 |3767 | 30k|3767 | 911 | 97k| 477k|6057 | 0.000000e+00 | 3.000000e+00 | Inf
867.12/867.11 c 867s|440000 | 1403 | 1889k| 4.3 | 56M|1538 | - |3767 | 32k|3767 | 936 | 99k| 490k|6116 | 0.000000e+00 | 3.000000e+00 | Inf
892.22/892.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.22/892.20 c 892s|450000 | 1314 | 1943k| 4.3 | 53M|1538 | 1 |3767 | 25k|3767 | 907 | 102k| 502k|6554 | 0.000000e+00 | 3.000000e+00 | Inf
916.11/916.15 c 916s|460000 | 1349 | 2000k| 4.3 | 55M|1538 | - |3767 | 29k| 0 | 0 | 104k| 515k|6605 | 0.000000e+00 | 3.000000e+00 | Inf
941.22/941.24 c 941s|470000 | 1321 | 2059k| 4.4 | 54M|1538 | - |3767 | 26k| 0 | 0 | 107k| 527k|6848 | 0.000000e+00 | 3.000000e+00 | Inf
967.42/967.40 c 967s|480000 | 1440 | 2123k| 4.4 | 57M|1538 | - |3767 | 32k| 0 | 0 | 111k| 540k|6878 | 0.000000e+00 | 3.000000e+00 | Inf
995.42/995.42 c 995s|490000 | 1457 | 2184k| 4.5 | 59M|1538 | - |3767 | 35k| 0 | 0 | 114k| 553k|6922 | 0.000000e+00 | 3.000000e+00 | Inf
1025.52/1025.55 c 1026s|500000 | 1412 | 2249k| 4.5 | 60M|1538 | 1 |3767 | 37k|3767 | 892 | 118k| 566k|6977 | 0.000000e+00 | 3.000000e+00 | Inf
1053.62/1053.67 c 1054s|510000 | 1208 | 2309k| 4.5 | 55M|1538 | 1 |3767 | 32k|3767 | 913 | 121k| 579k|7130 | 0.000000e+00 | 3.000000e+00 | Inf
1080.02/1080.07 c 1080s|520000 | 1302 | 2367k| 4.6 | 57M|1538 | 20 |3767 | 36k|3767 | 928 | 123k| 592k|7184 | 0.000000e+00 | 3.000000e+00 | Inf
1109.32/1109.30 c 1109s|530000 | 1382 | 2428k| 4.6 | 59M|1538 | - |3767 | 38k| 0 | 0 | 126k| 605k|7251 | 0.000000e+00 | 3.000000e+00 | Inf
1137.12/1137.12 c 1137s|540000 | 1424 | 2483k| 4.6 | 61M|1538 | - |3767 | 41k| 0 | 0 | 128k| 618k|7291 | 0.000000e+00 | 3.000000e+00 | Inf
1165.33/1165.33 c 1165s|550000 | 1313 | 2538k| 4.6 | 59M|1538 | 11 |3767 | 37k|3767 | 913 | 130k| 632k|7346 | 0.000000e+00 | 3.000000e+00 | Inf
1191.52/1191.53 c 1192s|560000 | 1070 | 2594k| 4.6 | 54M|1538 | - |3767 | 32k|3767 | 894 | 133k| 645k|7485 | 0.000000e+00 | 3.000000e+00 | Inf
1218.52/1218.55 c 1219s|570000 | 1091 | 2646k| 4.6 | 56M|1538 | 20 |3767 | 36k|3767 | 897 | 136k| 657k|7576 | 0.000000e+00 | 3.000000e+00 | Inf
1246.02/1246.02 c 1246s|580000 | 1190 | 2700k| 4.7 | 58M|1538 | 23 |3767 | 41k|3767 | 893 | 139k| 669k|7633 | 0.000000e+00 | 3.000000e+00 | Inf
1274.52/1274.53 c 1275s|590000 | 1197 | 2756k| 4.7 | 59M|1538 | - |3767 | 42k| 0 | 0 | 142k| 683k|7686 | 0.000000e+00 | 3.000000e+00 | Inf
1302.92/1302.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.92/1302.99 c 1303s|600000 | 1224 | 2810k| 4.7 | 59M|1538 | - |3767 | 41k| 0 | 0 | 145k| 696k|7737 | 0.000000e+00 | 3.000000e+00 | Inf
1333.13/1333.10 c 1333s|610000 | 1314 | 2865k| 4.7 | 61M|1538 | - |3767 | 44k|3767 | 907 | 149k| 709k|7810 | 0.000000e+00 | 3.000000e+00 | Inf
1365.42/1365.40 c 1365s|620000 | 1375 | 2926k| 4.7 | 62M|1538 | 10 |3767 | 45k|3767 | 897 | 152k| 721k|7878 | 0.000000e+00 | 3.000000e+00 | Inf
1395.03/1395.07 c 1395s|630000 | 1404 | 2983k| 4.7 | 64M|1538 | - |3767 | 48k| 0 | 0 | 156k| 734k|7943 | 0.000000e+00 | 3.000000e+00 | Inf
1425.63/1425.62 c 1426s|640000 | 1443 | 3039k| 4.7 | 66M|1538 | - |3767 | 52k| 0 | 0 | 158k| 747k|7986 | 0.000000e+00 | 3.000000e+00 | Inf
1459.93/1459.99 c 1460s|650000 | 1451 | 3095k| 4.8 | 66M|1538 | 8 |3767 | 51k|3767 | 904 | 161k| 760k|8047 | 0.000000e+00 | 3.000000e+00 | Inf
1495.33/1495.38 c 1495s|660000 | 1649 | 3153k| 4.8 | 68M|1538 | 18 |3767 | 55k|3767 | 895 | 166k| 773k|8111 | 0.000000e+00 | 3.000000e+00 | Inf
1530.63/1530.66 c 1531s|670000 | 1765 | 3216k| 4.8 | 70M|1538 | - |3767 | 57k| 0 | 0 | 170k| 786k|8161 | 0.000000e+00 | 3.000000e+00 | Inf
1566.93/1566.93 c 1567s|680000 | 1841 | 3277k| 4.8 | 71M|1538 | - |3767 | 56k|3767 | 899 | 176k| 800k|8230 | 0.000000e+00 | 3.000000e+00 | Inf
1603.53/1603.55 c 1604s|690000 | 1840 | 3336k| 4.8 | 71M|1538 | - |3767 | 56k| 0 | 0 | 179k| 813k|8281 | 0.000000e+00 | 3.000000e+00 | Inf
1640.63/1640.63 c 1641s|700000 | 1939 | 3397k| 4.9 | 73M|1538 | - |3767 | 58k| 0 | 0 | 184k| 826k|8334 | 0.000000e+00 | 3.000000e+00 | Inf
1677.54/1677.59 c 1678s|710000 | 2056 | 3460k| 4.9 | 75M|1538 | - |3767 | 60k| 0 | 0 | 189k| 840k|8417 | 0.000000e+00 | 3.000000e+00 | Inf
1715.04/1715.08 c 1715s|720000 | 2162 | 3524k| 4.9 | 76M|1538 | - |3767 | 60k| 0 | 0 | 195k| 854k|8473 | 0.000000e+00 | 3.000000e+00 | Inf
1752.34/1752.37 c 1752s|730000 | 2228 | 3591k| 4.9 | 77M|1538 | - |3767 | 61k|3767 | 894 | 200k| 869k|8536 | 0.000000e+00 | 3.000000e+00 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 739385
1790.04/1790.01 c Primal Bound : +3.00000000000000e+00 (183 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.04 s SATISFIABLE
1790.04/1790.04 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.04/1790.04 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.04/1790.04 v -x188 -x187 -x186 -x185 -x184 x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.04/1790.04 v -x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.04/1790.04 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1790.04/1790.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1790.04/1790.04 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
1790.04/1790.04 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1790.04/1790.04 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
1790.04/1790.04 v -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1790.04/1790.04 v -x1
1790.04/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.04 c Solving Time : 1789.98
1790.04/1790.04 c Original Problem :
1790.04/1790.04 c Problem name : HOME/instance-2705507-1278572954.wbo
1790.04/1790.04 c Variables : 3927 (2079 binary, 0 integer, 1848 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4556 initial, 4556 maximal
1790.04/1790.04 c Presolved Problem :
1790.04/1790.04 c Problem name : t_HOME/instance-2705507-1278572954.wbo
1790.04/1790.04 c Variables : 3767 (1999 binary, 0 integer, 1768 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4340 initial, 63199 maximal
1790.04/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.04 c trivial : 0.00 80 0 0 0 0 0 0 0
1790.04/1790.04 c dualfix : 0.00 80 0 0 0 0 0 0 0
1790.04/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.04 c setppc : 0.00 0 0 0 0 0 21 0 0
1790.04/1790.04 c linear : 0.06 0 0 0 1882 0 115 101 0
1790.04/1790.04 c indicator : 0.00 0 0 0 0 0 80 0 0
1790.04/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c root node : - 3480 - - 3480 - - - -
1790.04/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c integral : 0 0 0 463306 0 74 963 0 0 717622
1790.04/1790.04 c setppc : 28 6 3620324 101452 1 24969 884274 0 0 0
1790.04/1790.04 c linear : 1768 6 3599214 103630 1 157851 15018734 204111 0 0
1790.04/1790.04 c indicator : 1768 0 3428982 103525 1 384 1427401 0 0 0
1790.04/1790.04 c logicor : 776+ 6 1280444 73594 1 139486 2994307 0 0 0
1790.04/1790.04 c bounddisjunction : 0+ 0 285767 0 0 183 2716 0 0 0
1790.04/1790.04 c countsols : 0 0 0 73594 1 0 0 0 0 0
1790.04/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.04 c integral : 16.97 0.00 0.00 16.97 0.00
1790.04/1790.04 c setppc : 9.77 0.00 9.70 0.06 0.00
1790.04/1790.04 c linear : 127.41 0.00 120.42 6.99 0.00
1790.04/1790.04 c indicator : 24.44 0.02 15.66 8.77 0.00
1790.04/1790.04 c logicor : 447.31 0.00 446.36 0.96 0.00
1790.04/1790.04 c bounddisjunction : 1.25 0.00 1.25 0.00 0.00
1790.04/1790.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.04/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.04 c vbounds : 0.64 20639 0 1749
1790.04/1790.04 c rootredcost : 0.59 53 0 1740
1790.04/1790.04 c pseudoobj : 95.54 3629109 4739 1344622
1790.04/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.04 c propagation : 17.09 327228 327022 2042819 27.9 9149 25.3 -
1790.04/1790.04 c infeasible LP : 7.65 27422 27421 220673 44.0 352 16.0 0
1790.04/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.04 c applied globally : - - - 882587 23.2 - - -
1790.04/1790.04 c applied locally : - - - 0 0.0 - - -
1790.04/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.04 c cut pool : 0.00 5 - - 78 - (maximal pool size: 438)
1790.04/1790.04 c redcost : 30.81 464599 0 58438 0 0
1790.04/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1790.04/1790.04 c intobj : 0.00 0 0 0 0 0
1790.04/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.04 c gomory : 0.08 6 0 0 1087 0
1790.04/1790.04 c strongcg : 0.07 6 0 0 1132 0
1790.04/1790.04 c cmir : 0.02 6 0 0 1 0
1790.04/1790.04 c flowcover : 0.05 6 0 0 3 0
1790.04/1790.04 c clique : 0.00 6 0 0 0 0
1790.04/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.04 c mcf : 0.00 1 0 0 0 0
1790.04/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.04 c Pricers : Time Calls Vars
1790.04/1790.04 c problem variables: 0.00 0 0
1790.04/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c relpscost : 16.53 359646 74 963 0 0 717622
1790.04/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.04 c inference : 18.47 73543 0 0 0 0 147221
1790.04/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c random : 0.00 0 0 0 0 0 0
1790.04/1790.04 c Primal Heuristics : Time Calls Found
1790.04/1790.04 c LP solutions : 0.13 - 52
1790.04/1790.04 c pseudo solutions : 0.00 - 0
1790.04/1790.04 c feaspump : 0.02 1 0
1790.04/1790.04 c oneopt : 0.40 47 0
1790.04/1790.04 c crossover : 1.72 51 1
1790.04/1790.04 c veclendiving : 0.29 236 0
1790.04/1790.04 c linesearchdiving : 0.30 236 0
1790.04/1790.04 c guideddiving : 0.30 236 0
1790.04/1790.04 c coefdiving : 0.31 236 0
1790.04/1790.04 c pscostdiving : 0.30 236 0
1790.04/1790.04 c fracdiving : 0.30 237 0
1790.04/1790.04 c rootsoldiving : 0.35 221 0
1790.04/1790.04 c objpscostdiving : 0.31 222 0
1790.04/1790.04 c trivial : 0.00 2 0
1790.04/1790.04 c simplerounding : 0.73 359767 0
1790.04/1790.04 c zirounding : 0.26 1000 0
1790.04/1790.04 c rounding : 0.94 8446 0
1790.04/1790.04 c shifting : 0.63 2642 0
1790.04/1790.04 c intshifting : 0.01 0 0
1790.04/1790.04 c twoopt : 0.00 0 0
1790.04/1790.04 c fixandinfer : 0.00 0 0
1790.04/1790.04 c intdiving : 0.00 0 0
1790.04/1790.04 c actconsdiving : 0.00 0 0
1790.04/1790.04 c octane : 0.00 0 0
1790.04/1790.04 c rens : 0.03 1 0
1790.04/1790.04 c rins : 0.00 0 0
1790.04/1790.04 c localbranching : 0.00 0 0
1790.04/1790.04 c mutation : 0.00 0 0
1790.04/1790.04 c dins : 0.00 0 0
1790.04/1790.04 c undercover : 0.00 0 0
1790.04/1790.04 c nlp : 0.12 0 0
1790.04/1790.04 c trysol : 0.33 336 130
1790.04/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.04 c dual LP : 447.75 417734 3656255 8.75 8165.82
1790.04/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.04 c diving/probing LP: 0.28 161 1831 11.37 6557.08
1790.04/1790.04 c strong branching : 13.15 8596 139317 16.21 10597.42
1790.04/1790.04 c (at root node) : - 17 1890 111.18 -
1790.04/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.04 c B&B Tree :
1790.04/1790.04 c number of runs : 1
1790.04/1790.04 c nodes : 739385
1790.04/1790.04 c nodes (total) : 739385
1790.04/1790.04 c nodes left : 2259
1790.04/1790.04 c max depth : 1538
1790.04/1790.04 c max depth (total): 1538
1790.04/1790.04 c backtracks : 63899 (8.6%)
1790.04/1790.04 c delayed cutoffs : 50303
1790.04/1790.04 c repropagations : 1763347 (3598744 domain reductions, 47838 cutoffs)
1790.04/1790.04 c avg switch length: 6.14
1790.04/1790.04 c switching time : 308.68
1790.04/1790.04 c Solution :
1790.04/1790.04 c Solutions found : 183 (53 improvements)
1790.04/1790.04 c First Solution : +9.10890000000000e+04 (in run 1, after 20 nodes, 0.99 seconds, depth 20, found by <trysol>)
1790.04/1790.04 c Primal Bound : +3.00000000000000e+00 (in run 1, after 188320 nodes, 295.37 seconds, depth 44, found by <relaxation>)
1790.04/1790.04 c Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Gap : infinite
1790.04/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Root Iterations : 226
1790.14/1790.16 c Time complete: 1790.2.