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-2705661-1278574745.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 1783 impl, 0 cont) and 4491 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.04 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, 148 impls, 11 clqs
0.03/0.08 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 11 clqs
0.03/0.09 c (round 3) 55 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 11 clqs
0.09/0.10 c (round 4) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 148 impls, 11 clqs
0.09/0.10 c (round 5) 158 del vars, 229 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 148 impls, 11 clqs
0.09/0.16 c (0.1s) probing: 101/1935 (5.2%) - 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 (6 rounds):
0.09/0.16 c 158 deleted vars, 229 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.16 c 3544 implications, 11 cliques
0.09/0.16 c presolved problem has 3639 variables (1935 bin, 0 int, 1704 impl, 0 cont) and 4262 constraints
0.09/0.16 c 31 constraints of type <setppc>
0.09/0.16 c 1704 constraints of type <linear>
0.09/0.16 c 1704 constraints of type <indicator>
0.09/0.16 c 823 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 | 10 | - | 13M| 0 | 7 |3639 |4262 |3639 | 854 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 59 | - | 13M| 0 | 30 |3639 |4262 |3639 | 873 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 88 | - | 14M| 0 | 37 |3639 |4262 |3639 | 896 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.35 c 0.3s| 1 | 0 | 127 | - | 14M| 0 | 30 |3639 |4262 |3639 | 904 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 177 | - | 14M| 0 | 44 |3639 |4262 |3639 | 915 | 61 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.4s| 1 | 0 | 294 | - | 14M| 0 | 31 |3639 |4262 |3639 | 926 | 72 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.53 c 0.5s| 1 | 0 | 316 | - | 14M| 0 | 27 |3639 |4262 |3639 | 935 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.73 c 0.7s| 1 | 2 | 316 | - | 14M| 0 | 27 |3639 |4262 |3639 | 935 | 81 | 0 | 17 | 0.000000e+00 | -- | Inf
2.10/2.12 o 86790
2.10/2.12 c y 2.1s| 1341 | 1340 | 548 | 0.2 | 17M|1339 | - |3639 |4262 | 0 | 0 | 113 | 0 | 117 | 0.000000e+00 | 8.679000e+04 | Inf
10.59/10.67 o 581
10.59/10.67 c *10.6s| 8823 | 6335 | 1819 | 0.2 | 26M|1452 | - |3639 |4262 |3639 | 968 | 306 | 0 | 376 | 0.000000e+00 | 5.810000e+02 | Inf
12.29/12.32 c 12.3s| 10000 | 7510 | 2210 | 0.2 | 28M|1452 | 0 |3639 |4264 |3639 | 954 | 381 | 2 | 445 | 0.000000e+00 | 5.810000e+02 | Inf
21.30/21.37 o 562
21.30/21.37 c *21.3s| 17450 | 14611 | 3402 | 0.2 | 41M|1452 | - |3639 |4307 |3639 | 954 | 603 | 45 | 630 | 0.000000e+00 | 5.620000e+02 | Inf
23.79/23.90 o 528
23.79/23.90 c *23.9s| 19247 | 15851 | 4028 | 0.2 | 44M|1452 | - |3639 |4465 |3639 | 950 | 683 | 203 | 702 | 0.000000e+00 | 5.280000e+02 | Inf
23.89/23.92 o 509
23.89/23.92 c *23.9s| 19255 | 15669 | 4044 | 0.2 | 44M|1452 | - |3639 |4470 |3639 | 947 | 683 | 208 | 702 | 0.000000e+00 | 5.090000e+02 | Inf
24.70/24.75 o 491
24.70/24.75 c *24.7s| 19843 | 16008 | 4253 | 0.2 | 45M|1452 | - |3639 |4526 |3639 | 951 | 722 | 264 | 712 | 0.000000e+00 | 4.910000e+02 | Inf
25.00/25.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.00/25.04 c 25.0s| 20000 | 16126 | 4424 | 0.2 | 45M|1452 | 0 |3639 |4580 |3639 | 947 | 755 | 318 | 718 | 0.000000e+00 | 4.910000e+02 | Inf
26.70/26.78 o 483
26.70/26.78 c *26.8s| 21287 | 17226 | 4836 | 0.2 | 48M|1452 | - |3639 |4690 |3639 | 943 | 826 | 428 | 735 | 0.000000e+00 | 4.830000e+02 | Inf
26.70/26.78 o 475
26.70/26.78 c *26.8s| 21288 | 17114 | 4845 | 0.2 | 47M|1452 | - |3639 |4690 |3639 | 943 | 826 | 428 | 735 | 0.000000e+00 | 4.750000e+02 | Inf
26.99/27.02 o 429
26.99/27.02 c *27.0s| 21469 | 16425 | 4910 | 0.2 | 46M|1452 | - |3639 |4694 |3639 | 953 | 832 | 432 | 735 | 0.000000e+00 | 4.290000e+02 | Inf
27.89/27.94 o 402
27.89/27.94 c *27.9s| 22271 | 16783 | 4963 | 0.2 | 47M|1452 | - |3639 |4700 |3639 | 947 | 841 | 438 | 735 | 0.000000e+00 | 4.020000e+02 | Inf
28.39/28.42 o 398
28.39/28.42 c *28.4s| 22628 | 17052 | 5039 | 0.2 | 48M|1452 | - |3639 |4712 |3639 | 943 | 849 | 450 | 743 | 0.000000e+00 | 3.980000e+02 | Inf
28.39/28.45 o 383
28.39/28.45 c *28.4s| 22649 | 16688 | 5044 | 0.2 | 47M|1452 | - |3639 |4712 |3639 | 946 | 852 | 450 | 743 | 0.000000e+00 | 3.830000e+02 | Inf
28.39/28.45 o 380
28.39/28.45 c *28.4s| 22650 | 16577 | 5044 | 0.2 | 47M|1452 | - |3639 |4712 |3639 | 946 | 852 | 450 | 743 | 0.000000e+00 | 3.800000e+02 | Inf
28.49/28.55 o 378
28.49/28.55 c *28.5s| 22699 | 16574 | 5117 | 0.2 | 47M|1452 | - |3639 |4724 |3639 | 955 | 868 | 462 | 743 | 0.000000e+00 | 3.780000e+02 | Inf
28.49/28.55 o 358
28.49/28.55 c *28.5s| 22700 | 16105 | 5117 | 0.2 | 46M|1452 | - |3639 |4724 |3639 | 955 | 868 | 462 | 743 | 0.000000e+00 | 3.580000e+02 | Inf
29.70/29.71 o 356
29.70/29.71 c *29.7s| 23601 | 16901 | 5381 | 0.2 | 49M|1452 | - |3639 |4780 |3639 | 948 | 916 | 521 | 765 | 0.000000e+00 | 3.560000e+02 | Inf
30.29/30.30 o 331
30.29/30.30 c *30.3s| 24121 | 16219 | 5433 | 0.2 | 48M|1452 | - |3639 |4804 |3639 | 953 | 921 | 545 | 768 | 0.000000e+00 | 3.310000e+02 | Inf
30.39/30.42 o 323
30.39/30.42 c *30.4s| 24188 | 15899 | 5473 | 0.2 | 48M|1452 | - |3639 |4836 |3639 | 956 | 930 | 577 | 768 | 0.000000e+00 | 3.230000e+02 | Inf
30.70/30.73 o 301
30.70/30.73 c *30.7s| 24315 | 15066 | 5799 | 0.2 | 46M|1452 | - |3639 |4905 |3639 | 942 | 982 | 648 | 789 | 0.000000e+00 | 3.010000e+02 | Inf
30.80/30.89 o 259
30.80/30.89 c *30.9s| 24371 | 13806 | 5894 | 0.2 | 44M|1452 | - |3639 |4930 |3639 | 942 | 999 | 675 | 796 | 0.000000e+00 | 2.590000e+02 | Inf
32.09/32.11 o 232
32.09/32.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.09/32.11 c *32.1s| 24961 | 13058 | 6735 | 0.3 | 44M|1452 | - |3639 |5168 |3639 | 948 |1167 | 932 | 859 | 0.000000e+00 | 2.320000e+02 | Inf
32.19/32.22 o 231
32.19/32.22 c *32.2s| 25020 | 13021 | 6804 | 0.3 | 44M|1452 | - |3639 |5207 |3639 | 949 |1183 | 974 | 860 | 0.000000e+00 | 2.310000e+02 | Inf
32.59/32.61 o 225
32.59/32.61 c *32.6s| 25313 | 12923 | 6908 | 0.3 | 44M|1452 | - |3639 |5280 |3639 | 948 |1184 |1049 | 863 | 0.000000e+00 | 2.250000e+02 | Inf
32.59/32.68 o 180
32.59/32.68 c *32.7s| 25366 | 10156 | 6909 | 0.3 | 40M|1452 | - |3639 |5280 |3639 | 948 |1184 |1049 | 863 | 0.000000e+00 | 1.800000e+02 | Inf
32.69/32.77 o 159
32.69/32.77 c *32.7s| 25421 | 8528 | 6911 | 0.3 | 37M|1452 | - |3639 |5287 |3639 | 948 |1184 |1056 | 863 | 0.000000e+00 | 1.590000e+02 | Inf
32.69/32.77 o 150
32.69/32.77 c *32.7s| 25422 | 7702 | 6911 | 0.3 | 35M|1452 | - |3639 |5287 |3639 | 948 |1184 |1056 | 863 | 0.000000e+00 | 1.500000e+02 | Inf
33.19/33.24 o 141
33.19/33.24 c *33.2s| 25602 | 7048 | 7361 | 0.3 | 35M|1452 | - |3639 |5393 |3639 | 944 |1253 |1171 | 895 | 0.000000e+00 | 1.410000e+02 | Inf
33.29/33.34 o 129
33.29/33.34 c *33.3s| 25658 | 6265 | 7406 | 0.3 | 33M|1452 | - |3639 |5408 |3639 | 946 |1257 |1187 | 895 | 0.000000e+00 | 1.290000e+02 | Inf
33.49/33.56 o 127
33.49/33.56 c *33.5s| 25727 | 6184 | 7640 | 0.3 | 34M|1452 | - |3639 |5458 |3639 | 946 |1284 |1244 | 929 | 0.000000e+00 | 1.270000e+02 | Inf
33.49/33.56 o 114
33.49/33.56 c *33.5s| 25728 | 5445 | 7645 | 0.3 | 32M|1452 | - |3639 |5458 |3639 | 946 |1284 |1244 | 929 | 0.000000e+00 | 1.140000e+02 | Inf
34.40/34.43 o 99
34.40/34.43 c *34.4s| 26143 | 4854 | 8324 | 0.3 | 32M|1452 | - |3639 |5584 |3639 | 951 |1438 |1402 | 968 | 0.000000e+00 | 9.900000e+01 | Inf
34.79/34.89 o 89
34.79/34.89 c *34.9s| 26315 | 4288 | 8828 | 0.3 | 31M|1452 | - |3639 |5605 |3639 | 950 |1500 |1506 |1008 | 0.000000e+00 | 8.900000e+01 | Inf
34.89/34.90 o 79
34.89/34.90 c *34.9s| 26316 | 3558 | 8828 | 0.3 | 29M|1452 | - |3639 |5605 |3639 | 950 |1500 |1506 |1008 | 0.000000e+00 | 7.900000e+01 | Inf
35.39/35.43 o 78
35.39/35.43 c *35.4s| 26428 | 3519 | 10323 | 0.4 | 30M|1452 | - |3639 |5224 |3639 | 962 |1707 |1666 |1120 | 0.000000e+00 | 7.800000e+01 | Inf
35.49/35.59 o 60
35.49/35.59 c *35.6s| 26454 | 2513 | 10701 | 0.4 | 27M|1452 | - |3639 |5161 |3639 | 950 |1745 |1703 |1137 | 0.000000e+00 | 6.000000e+01 | Inf
38.29/38.35 o 49
38.29/38.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.29/38.35 c *38.3s| 27357 | 2181 | 16989 | 0.6 | 28M|1452 | - |3639 |5412 |3639 | 934 |2299 |2629 |1598 | 0.000000e+00 | 4.900000e+01 | Inf
39.50/39.56 o 48
39.50/39.56 c *39.5s| 27914 | 2172 | 19640 | 0.7 | 29M|1452 | - |3639 |5538 |3639 | 967 |2552 |3313 |1692 | 0.000000e+00 | 4.800000e+01 | Inf
42.29/42.35 o 37
42.29/42.35 c *42.3s| 29271 | 1900 | 26973 | 0.9 | 30M|1452 | - |3639 |6039 |3639 | 943 |3231 |4847 |1784 | 0.000000e+00 | 3.700000e+01 | Inf
43.79/43.87 c 43.8s| 30000 | 1923 | 31413 | 1.0 | 30M|1452 | - |3639 |5569 | 0 | 0 |3724 |5774 |1810 | 0.000000e+00 | 3.700000e+01 | Inf
44.40/44.43 o 30
44.40/44.43 c *44.4s| 30311 | 1663 | 33026 | 1.1 | 29M|1452 | - |3639 |5697 |3639 | 970 |3822 |6148 |1813 | 0.000000e+00 | 3.000000e+01 | Inf
45.59/45.66 o 15
45.59/45.66 c *45.6s| 30975 | 1221 | 36748 | 1.2 | 27M|1452 | - |3639 |5665 |3639 | 947 |4162 |7025 |1817 | 0.000000e+00 | 1.500000e+01 | Inf
54.09/54.18 o 11
54.09/54.18 c *54.2s| 35885 | 1311 | 75694 | 2.1 | 30M|1452 | - |3639 |7337 |3639 | 946 |7653 | 13k|1829 | 0.000000e+00 | 1.100000e+01 | Inf
54.69/54.75 o 9
54.69/54.75 c *54.7s| 36275 | 1272 | 77760 | 2.1 | 30M|1452 | - |3639 |7500 |3639 | 946 |7739 | 13k|1829 | 0.000000e+00 | 9.000000e+00 | Inf
60.50/60.50 c 60.5s| 40000 | 1425 |103090 | 2.6 | 32M|1452 | - |3639 |8711 | 0 | 0 |8716 | 18k|1832 | 0.000000e+00 | 9.000000e+00 | Inf
65.59/65.66 o 8
65.59/65.66 c *65.6s| 42991 | 1414 |124961 | 2.9 | 33M|1452 | - |3639 |8854 |3639 | 967 |9797 | 22k|1960 | 0.000000e+00 | 8.000000e+00 | Inf
78.00/78.09 c 78.1s| 50000 | 1559 |183634 | 3.7 | 34M|1452 | 1 |3639 |9419 |3639 | 956 | 12k| 31k|2291 | 0.000000e+00 | 8.000000e+00 | Inf
95.39/95.42 c 95.4s| 60000 | 1629 |261434 | 4.4 | 37M|1452 | 18 |3639 | 11k|3639 | 954 | 15k| 44k|2612 | 0.000000e+00 | 8.000000e+00 | Inf
98.59/98.69 o 4
98.59/98.69 c *98.7s| 61766 | 1298 |275097 | 4.4 | 33M|1452 | - |3639 | 11k|3639 | 948 | 16k| 47k|2754 | 0.000000e+00 | 4.000000e+00 | Inf
98.69/98.76 o 3
98.69/98.76 c *98.7s| 61794 | 1272 |275289 | 4.4 | 33M|1452 | - |3639 | 11k|3639 | 943 | 16k| 47k|2759 | 0.000000e+00 | 3.000000e+00 | Inf
113.89/113.90 c 114s| 70000 | 1203 |347850 | 5.0 | 33M|1452 | - |3639 |8856 | 0 | 0 | 21k| 58k|3016 | 0.000000e+00 | 3.000000e+00 | Inf
132.39/132.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.39/132.40 c 132s| 80000 | 1319 |432443 | 5.4 | 35M|1452 | 7 |3639 | 12k|3639 | 933 | 31k| 72k|3337 | 0.000000e+00 | 3.000000e+00 | Inf
152.59/152.64 c 153s| 90000 | 1394 |519266 | 5.8 | 38M|1452 | - |3639 | 17k| 0 | 0 | 42k| 86k|3602 | 0.000000e+00 | 3.000000e+00 | Inf
174.29/174.33 c 174s|100000 | 1323 |608956 | 6.1 | 38M|1452 | 6 |3639 | 18k|3639 | 938 | 51k| 101k|3908 | 0.000000e+00 | 3.000000e+00 | Inf
194.89/194.96 c 195s|110000 | 1211 |694870 | 6.3 | 35M|1452 | - |3639 | 13k| 0 | 0 | 59k| 115k|4403 | 0.000000e+00 | 3.000000e+00 | Inf
214.80/214.82 c 215s|120000 | 1175 |787748 | 6.6 | 36M|1452 | 7 |3639 | 15k|3639 | 935 | 67k| 128k|4631 | 0.000000e+00 | 3.000000e+00 | Inf
235.40/235.42 c 235s|130000 | 1185 |875426 | 6.7 | 36M|1452 | 11 |3639 | 14k|3639 | 927 | 74k| 141k|4853 | 0.000000e+00 | 3.000000e+00 | Inf
254.99/255.06 c 255s|140000 | 1284 |959995 | 6.9 | 39M|1452 | 10 |3639 | 20k|3639 | 945 | 82k| 154k|5031 | 0.000000e+00 | 3.000000e+00 | Inf
275.89/275.95 c 276s|150000 | 1318 | 1050k| 7.0 | 40M|1452 | 14 |3639 | 22k|3639 | 946 | 89k| 168k|5183 | 0.000000e+00 | 3.000000e+00 | Inf
297.20/297.23 c 297s|160000 | 1295 | 1140k| 7.1 | 42M|1452 | - |3639 | 25k| 0 | 0 | 95k| 182k|5399 | 0.000000e+00 | 3.000000e+00 | Inf
318.90/318.98 c 319s|170000 | 1614 | 1225k| 7.2 | 43M|1452 | - |3639 | 24k| 0 | 0 | 101k| 196k|5552 | 0.000000e+00 | 3.000000e+00 | Inf
342.10/342.19 c 342s|180000 | 1673 | 1323k| 7.4 | 44M|1452 | 9 |3639 | 25k|3639 | 947 | 109k| 210k|5704 | 0.000000e+00 | 3.000000e+00 | Inf
364.70/364.77 c 365s|190000 | 1765 | 1416k| 7.5 | 46M|1452 | 17 |3639 | 25k|3639 | 950 | 116k| 223k|5870 | 0.000000e+00 | 3.000000e+00 | Inf
387.21/387.27 c 387s|200000 | 1756 | 1510k| 7.5 | 47M|1452 | 1 |3639 | 27k|3639 | 949 | 122k| 237k|6014 | 0.000000e+00 | 3.000000e+00 | Inf
410.30/410.37 c 410s|210000 | 1779 | 1605k| 7.6 | 47M|1452 | 16 |3639 | 27k|3639 | 963 | 128k| 252k|6155 | 0.000000e+00 | 3.000000e+00 | Inf
433.31/433.36 c 433s|220000 | 1806 | 1696k| 7.7 | 49M|1452 | - |3639 | 30k|3639 | 963 | 134k| 267k|6282 | 0.000000e+00 | 3.000000e+00 | Inf
457.70/457.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.70/457.74 c 458s|230000 | 1882 | 1797k| 7.8 | 50M|1452 | 1 |3639 | 30k|3639 | 968 | 142k| 281k|6446 | 0.000000e+00 | 3.000000e+00 | Inf
482.20/482.29 c 482s|240000 | 1901 | 1896k| 7.9 | 52M|1452 | 1 |3639 | 33k|3639 | 967 | 151k| 297k|6571 | 0.000000e+00 | 3.000000e+00 | Inf
506.60/506.62 c 507s|250000 | 1783 | 1991k| 8.0 | 48M|1452 | - |3639 | 25k|3639 | 967 | 158k| 312k|6715 | 0.000000e+00 | 3.000000e+00 | Inf
529.80/529.88 c 530s|260000 | 1806 | 2089k| 8.0 | 48M|1452 | 8 |3639 | 25k|3639 | 949 | 164k| 327k|6867 | 0.000000e+00 | 3.000000e+00 | Inf
553.10/553.13 c 553s|270000 | 1817 | 2182k| 8.1 | 49M|1452 | 12 |3639 | 27k|3639 | 969 | 171k| 340k|6977 | 0.000000e+00 | 3.000000e+00 | Inf
559.70/559.73 o 1
559.70/559.73 c * 560s|272978 | 1600 | 2206k| 8.1 | 46M|1452 | - |3639 | 25k|3639 | 954 | 173k| 344k|6990 | 0.000000e+00 | 1.000000e+00 | Inf
574.50/574.59 c 575s|280000 | 1575 | 2265k| 8.1 | 47M|1452 | - |3639 | 25k| 0 | 0 | 175k| 355k|7049 | 0.000000e+00 | 1.000000e+00 | Inf
593.01/593.09 c 593s|290000 | 1564 | 2335k| 8.1 | 45M|1452 | 1 |3639 | 20k|3639 | 956 | 178k| 368k|7128 | 0.000000e+00 | 1.000000e+00 | Inf
613.31/613.34 c 613s|300000 | 1603 | 2409k| 8.0 | 46M|1452 | 14 |3639 | 24k|3639 | 956 | 180k| 382k|7222 | 0.000000e+00 | 1.000000e+00 | Inf
633.21/633.26 c 633s|310000 | 1587 | 2488k| 8.0 | 46M|1452 | 22 |3639 | 23k|3639 | 946 | 184k| 396k|7355 | 0.000000e+00 | 1.000000e+00 | Inf
655.00/655.02 c 655s|320000 | 1548 | 2574k| 8.0 | 45M|1452 | - |3639 | 20k| 0 | 0 | 187k| 411k|7413 | 0.000000e+00 | 1.000000e+00 | Inf
675.31/675.40 c 675s|330000 | 1628 | 2650k| 8.0 | 47M|1452 | - |3639 | 25k|3639 | 956 | 190k| 424k|7499 | 0.000000e+00 | 1.000000e+00 | Inf
698.30/698.31 c 698s|340000 | 1529 | 2733k| 8.0 | 46M|1452 | - |3639 | 22k| 0 | 0 | 192k| 438k|7549 | 0.000000e+00 | 1.000000e+00 | Inf
716.91/716.99 c 717s|350000 | 1242 | 2804k| 8.0 | 41M|1452 | 16 |3639 | 15k|3639 | 938 | 195k| 453k|7621 | 0.000000e+00 | 1.000000e+00 | Inf
735.71/735.73 c 736s|360000 | 1102 | 2882k| 8.0 | 38M|1452 | 1 |3639 | 12k|3639 | 946 | 199k| 466k|8106 | 0.000000e+00 | 1.000000e+00 | Inf
753.61/753.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.61/753.68 c 754s|370000 | 1113 | 2954k| 8.0 | 39M|1452 | 1 |3639 | 16k|3639 | 953 | 203k| 479k|8110 | 0.000000e+00 | 1.000000e+00 | Inf
772.41/772.42 c 772s|380000 | 1368 | 3033k| 8.0 | 42M|1452 | 10 |3639 | 20k|3639 | 935 | 206k| 492k|8124 | 0.000000e+00 | 1.000000e+00 | Inf
791.92/791.98 c 792s|390000 | 1607 | 3109k| 8.0 | 45M|1452 | 15 |3639 | 22k|3639 | 944 | 209k| 505k|8166 | 0.000000e+00 | 1.000000e+00 | Inf
811.82/811.82 c 812s|400000 | 1772 | 3187k| 8.0 | 46M|1452 | - |3639 | 22k| 0 | 0 | 212k| 519k|8228 | 0.000000e+00 | 1.000000e+00 | Inf
832.31/832.35 c 832s|410000 | 1901 | 3267k| 8.0 | 48M|1452 | 1 |3639 | 23k|3639 | 967 | 214k| 532k|8279 | 0.000000e+00 | 1.000000e+00 | Inf
853.52/853.54 c 854s|420000 | 2027 | 3351k| 8.0 | 50M|1452 | 11 |3639 | 25k|3639 | 957 | 217k| 547k|8331 | 0.000000e+00 | 1.000000e+00 | Inf
874.11/874.16 c 874s|430000 | 2125 | 3427k| 8.0 | 50M|1452 | - |3639 | 24k| 0 | 0 | 220k| 561k|8401 | 0.000000e+00 | 1.000000e+00 | Inf
894.81/894.82 c 895s|440000 | 2125 | 3510k| 8.0 | 51M|1452 | - |3639 | 24k| 0 | 0 | 223k| 575k|8438 | 0.000000e+00 | 1.000000e+00 | Inf
915.12/915.19 c 915s|450000 | 2130 | 3588k| 8.0 | 52M|1452 | - |3639 | 24k| 0 | 0 | 226k| 589k|8491 | 0.000000e+00 | 1.000000e+00 | Inf
936.62/936.68 c 937s|460000 | 2161 | 3679k| 8.0 | 52M|1452 | 1 |3639 | 23k|3639 | 947 | 230k| 602k|8562 | 0.000000e+00 | 1.000000e+00 | Inf
957.91/957.90 c 958s|470000 | 2270 | 3762k| 8.0 | 54M|1452 | 1 |3639 | 26k|3639 | 945 | 233k| 615k|8595 | 0.000000e+00 | 1.000000e+00 | Inf
978.81/978.82 c 979s|480000 | 2324 | 3843k| 8.0 | 54M|1452 | 16 |3639 | 25k|3639 | 944 | 236k| 628k|8664 | 0.000000e+00 | 1.000000e+00 | Inf
1000.12/1000.15 c 1000s|490000 | 2404 | 3926k| 8.0 | 56M|1452 | - |3639 | 27k| 0 | 0 | 240k| 642k|8697 | 0.000000e+00 | 1.000000e+00 | Inf
1022.72/1022.74 c 1023s|500000 | 2474 | 4010k| 8.0 | 57M|1452 | - |3639 | 27k| 0 | 0 | 243k| 655k|8762 | 0.000000e+00 | 1.000000e+00 | Inf
1042.52/1042.57 c 1043s|510000 | 2377 | 4077k| 8.0 | 57M|1452 | 14 |3639 | 27k|3639 | 944 | 246k| 670k|8792 | 0.000000e+00 | 1.000000e+00 | Inf
1063.51/1063.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.51/1063.52 c 1063s|520000 | 2053 | 4152k| 8.0 | 53M|1452 | 26 |3639 | 24k|3639 | 944 | 249k| 684k|8828 | 0.000000e+00 | 1.000000e+00 | Inf
1083.92/1083.99 c 1084s|530000 | 2272 | 4234k| 8.0 | 56M|1452 | - |3639 | 28k| 0 | 0 | 252k| 699k|8872 | 0.000000e+00 | 1.000000e+00 | Inf
1105.12/1105.16 c 1105s|540000 | 2332 | 4318k| 8.0 | 57M|1452 | 23 |3639 | 28k|3639 | 943 | 254k| 714k|8931 | 0.000000e+00 | 1.000000e+00 | Inf
1127.32/1127.31 c 1127s|550000 | 1944 | 4402k| 8.0 | 53M|1452 | - |3639 | 23k| 0 | 0 | 258k| 729k|8973 | 0.000000e+00 | 1.000000e+00 | Inf
1149.62/1149.62 c 1150s|560000 | 1954 | 4492k| 8.0 | 52M|1452 | - |3639 | 21k| 0 | 0 | 261k| 742k|9099 | 0.000000e+00 | 1.000000e+00 | Inf
1174.22/1174.21 c 1174s|570000 | 2067 | 4589k| 8.1 | 55M|1452 | - |3639 | 25k| 0 | 0 | 264k| 757k|9150 | 0.000000e+00 | 1.000000e+00 | Inf
1197.72/1197.79 c 1198s|580000 | 2097 | 4683k| 8.1 | 55M|1452 | 15 |3639 | 23k|3639 | 940 | 266k| 771k|9187 | 0.000000e+00 | 1.000000e+00 | Inf
1221.42/1221.40 c 1221s|590000 | 2062 | 4773k| 8.1 | 55M|1452 | 20 |3639 | 23k|3639 | 940 | 269k| 785k|9242 | 0.000000e+00 | 1.000000e+00 | Inf
1243.32/1243.37 c 1243s|600000 | 2030 | 4848k| 8.1 | 55M|1452 | 1 |3639 | 24k|3639 | 940 | 272k| 799k|9292 | 0.000000e+00 | 1.000000e+00 | Inf
1265.92/1265.98 c 1266s|610000 | 1963 | 4936k| 8.1 | 54M|1452 | 8 |3639 | 25k|3639 | 971 | 275k| 814k|9328 | 0.000000e+00 | 1.000000e+00 | Inf
1288.62/1288.66 c 1289s|620000 | 2087 | 5016k| 8.1 | 57M|1452 | 1 |3639 | 30k|3639 | 960 | 277k| 829k|9366 | 0.000000e+00 | 1.000000e+00 | Inf
1312.12/1312.15 c 1312s|630000 | 2062 | 5098k| 8.1 | 57M|1452 | - |3639 | 28k| 0 | 0 | 280k| 843k|9405 | 0.000000e+00 | 1.000000e+00 | Inf
1337.92/1337.93 c 1338s|640000 | 2082 | 5192k| 8.1 | 58M|1452 | - |3639 | 30k| 0 | 0 | 283k| 858k|9469 | 0.000000e+00 | 1.000000e+00 | Inf
1361.83/1361.85 c 1362s|650000 | 2158 | 5280k| 8.1 | 58M|1452 | - |3639 | 30k| 0 | 0 | 285k| 874k|9523 | 0.000000e+00 | 1.000000e+00 | Inf
1385.82/1385.81 c 1386s|660000 | 2177 | 5365k| 8.1 | 59M|1452 | 13 |3639 | 30k|3639 | 983 | 288k| 890k|9564 | 0.000000e+00 | 1.000000e+00 | Inf
1409.53/1409.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.53/1409.55 c 1410s|670000 | 2019 | 5446k| 8.1 | 57M|1452 | - |3639 | 28k| 0 | 0 | 290k| 906k|9608 | 0.000000e+00 | 1.000000e+00 | Inf
1433.03/1433.02 c 1433s|680000 | 1970 | 5528k| 8.1 | 57M|1452 | - |3639 | 30k| 0 | 0 | 293k| 921k|9643 | 0.000000e+00 | 1.000000e+00 | Inf
1457.02/1457.07 c 1457s|690000 | 1957 | 5607k| 8.1 | 57M|1452 | 9 |3639 | 31k|3639 | 986 | 296k| 936k|9698 | 0.000000e+00 | 1.000000e+00 | Inf
1480.83/1480.88 c 1481s|700000 | 1863 | 5688k| 8.1 | 53M|1452 | - |3639 | 24k| 0 | 0 | 298k| 950k|9746 | 0.000000e+00 | 1.000000e+00 | Inf
1502.32/1502.38 c 1502s|710000 | 1809 | 5763k| 8.1 | 52M|1452 | 14 |3639 | 23k|3639 | 947 | 301k| 964k|9794 | 0.000000e+00 | 1.000000e+00 | Inf
1525.63/1525.65 c 1526s|720000 | 1810 | 5848k| 8.1 | 54M|1452 | 14 |3639 | 28k|3639 | 938 | 303k| 977k|9846 | 0.000000e+00 | 1.000000e+00 | Inf
1547.42/1547.40 c 1547s|730000 | 2016 | 5920k| 8.1 | 57M|1452 | - |3639 | 32k| 0 | 0 | 307k| 991k|9881 | 0.000000e+00 | 1.000000e+00 | Inf
1570.53/1570.56 c 1571s|740000 | 2198 | 5988k| 8.1 | 59M|1452 | 25 |3639 | 33k|3639 | 951 | 310k|1005k|9914 | 0.000000e+00 | 1.000000e+00 | Inf
1593.43/1593.49 c 1593s|750000 | 2289 | 6055k| 8.1 | 61M|1452 | 14 |3639 | 38k|3639 | 949 | 313k|1019k|9942 | 0.000000e+00 | 1.000000e+00 | Inf
1618.14/1618.14 c 1618s|760000 | 2343 | 6124k| 8.1 | 61M|1452 | 1 |3639 | 36k|3639 | 956 | 316k|1033k|9972 | 0.000000e+00 | 1.000000e+00 | Inf
1641.63/1641.66 c 1642s|770000 | 2339 | 6200k| 8.1 | 61M|1452 | - |3639 | 34k| 0 | 0 | 319k|1047k|9997 | 0.000000e+00 | 1.000000e+00 | Inf
1664.14/1664.12 c 1664s|780000 | 2489 | 6269k| 8.0 | 63M|1452 | 20 |3639 | 37k|3639 | 951 | 323k|1061k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1688.43/1688.42 c 1688s|790000 | 2595 | 6342k| 8.0 | 64M|1452 | 12 |3639 | 36k|3639 | 935 | 326k|1076k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1713.33/1713.34 c 1713s|800000 | 2755 | 6416k| 8.0 | 66M|1452 | 18 |3639 | 38k|3639 | 961 | 329k|1090k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1736.74/1736.74 c 1737s|810000 | 2657 | 6483k| 8.0 | 65M|1452 | 19 |3639 | 35k|3639 | 963 | 332k|1104k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1759.53/1759.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.53/1759.55 c 1760s|820000 | 2709 | 6555k| 8.0 | 66M|1452 | 11 |3639 | 36k|3639 | 965 | 335k|1118k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1783.54/1783.52 c 1783s|830000 | 2737 | 6632k| 8.0 | 66M|1452 | 21 |3639 | 36k|3639 | 956 | 338k|1132k| 10k| 0.000000e+00 | 1.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 : 832696
1790.04/1790.01 c Primal Bound : +1.00000000000000e+00 (136 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-2705661-1278574745.wbo
1790.04/1790.04 c Variables : 3797 (2014 binary, 0 integer, 1783 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4491 initial, 4491 maximal
1790.04/1790.04 c Presolved Problem :
1790.04/1790.04 c Problem name : t_HOME/instance-2705661-1278574745.wbo
1790.04/1790.04 c Variables : 3639 (1935 binary, 0 integer, 1704 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4262 initial, 41039 maximal
1790.04/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.04 c trivial : 0.00 79 0 0 0 0 0 0 0
1790.04/1790.04 c dualfix : 0.00 79 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 36 0 0
1790.04/1790.04 c linear : 0.06 0 0 0 1807 0 114 97 0
1790.04/1790.04 c indicator : 0.00 0 0 0 0 0 79 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 : - 3408 - - 3408 - - - -
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 523504 0 102 1550 0 0 887840
1790.04/1790.04 c setppc : 31 6 3791370 72550 1 21001 1735377 0 0 0
1790.04/1790.04 c linear : 1704 6 3778364 77948 1 229169 17320221 340151 0 0
1790.04/1790.04 c indicator : 1704 0 1079198 53676 0 89 478243 0 0 0
1790.04/1790.04 c logicor : 823+ 6 1672210 25653 1 132882 4069073 0 0 0
1790.04/1790.04 c bounddisjunction : 0+ 0 235944 0 0 172 4024 0 0 0
1790.04/1790.04 c countsols : 0 0 0 25653 1 0 0 0 0 0
1790.04/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.04 c integral : 21.38 0.00 0.00 21.38 0.00
1790.04/1790.04 c setppc : 14.56 0.00 14.52 0.04 0.00
1790.04/1790.04 c linear : 141.73 0.00 138.39 3.34 0.00
1790.04/1790.04 c indicator : 7.65 0.01 4.60 3.04 0.00
1790.04/1790.04 c logicor : 302.53 0.00 302.33 0.20 0.00
1790.04/1790.04 c bounddisjunction : 0.86 0.00 0.86 0.00 0.00
1790.04/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.04 c vbounds : 0.62 5198 0 685
1790.04/1790.04 c rootredcost : 0.56 46 0 1704
1790.04/1790.04 c pseudoobj : 89.32 3800822 1100 432430
1790.04/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.04 c propagation : 18.95 384324 383712 2433192 28.0 11389 25.1 -
1790.04/1790.04 c infeasible LP : 13.85 53875 53875 429277 44.4 469 19.3 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 : - - - 1136451 24.4 - - -
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 - - 8 - (maximal pool size: 234)
1790.04/1790.04 c redcost : 31.31 524168 0 35435 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.09 6 0 0 1012 0
1790.04/1790.04 c strongcg : 0.08 6 0 0 1057 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 0 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 : 20.93 445269 102 1550 0 0 887840
1790.04/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.04 c inference : 5.87 25609 0 0 0 0 51241
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.05 - 45
1790.04/1790.04 c pseudo solutions : 0.00 - 0
1790.04/1790.04 c intshifting : 0.01 0 0
1790.04/1790.04 c feaspump : 0.02 1 0
1790.04/1790.04 c oneopt : 0.36 40 0
1790.04/1790.04 c veclendiving : 0.13 85 0
1790.04/1790.04 c linesearchdiving : 0.13 85 0
1790.04/1790.04 c coefdiving : 0.15 86 0
1790.04/1790.04 c pscostdiving : 0.13 86 0
1790.04/1790.04 c guideddiving : 0.14 86 0
1790.04/1790.04 c fracdiving : 0.13 86 0
1790.04/1790.04 c crossover : 1.22 32 0
1790.04/1790.04 c objpscostdiving : 0.12 68 0
1790.04/1790.04 c rootsoldiving : 0.17 68 0
1790.04/1790.04 c trivial : 0.00 2 0
1790.04/1790.04 c simplerounding : 0.77 445269 0
1790.04/1790.04 c zirounding : 0.32 1000 0
1790.04/1790.04 c rounding : 0.90 9415 0
1790.04/1790.04 c shifting : 0.70 2931 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.15 0 0
1790.04/1790.04 c trysol : 0.29 172 91
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 : 656.26 550506 6653575 12.09 10138.56
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.31 193 1668 8.64 5325.11
1790.04/1790.04 c strong branching : 16.55 10172 173795 17.09 10504.21
1790.04/1790.04 c (at root node) : - 17 2126 125.06 -
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 : 832696
1790.04/1790.04 c nodes (total) : 832696
1790.04/1790.04 c nodes left : 2742
1790.04/1790.04 c max depth : 1452
1790.04/1790.04 c max depth (total): 1452
1790.04/1790.04 c backtracks : 107503 (12.9%)
1790.04/1790.04 c delayed cutoffs : 78521
1790.04/1790.04 c repropagations : 1538680 (4955076 domain reductions, 74933 cutoffs)
1790.04/1790.04 c avg switch length: 5.21
1790.04/1790.04 c switching time : 271.74
1790.04/1790.04 c Solution :
1790.04/1790.04 c Solutions found : 136 (46 improvements)
1790.04/1790.04 c First Solution : +8.67900000000000e+04 (in run 1, after 1340 nodes, 2.08 seconds, depth 1340, found by <trysol>)
1790.04/1790.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 272978 nodes, 559.70 seconds, depth 34, 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 : 316
1790.13/1790.13 c Time complete: 1790.17.