0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692797-1277904093.wbo>
0.01/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.01/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.01/0.09 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.17 c 1950 implications, 9 cliques
0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints
0.09/0.17 c 1741 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1741 constraints of type <linear>
0.09/0.17 c 873 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 0 | 15 | - | 13M| 0 | 0 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 64 | - | 13M| 0 | 28 |3713 |4364 |3713 | 901 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 87754
0.09/0.19 c y 0.1s| 1 | 0 | 64 | - | 13M| 0 | 28 |3713 |4364 |3713 | 901 | 19 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 88 | - | 14M| 0 | 34 |3713 |4364 |3713 | 920 | 38 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 140 | - | 14M| 0 | 42 |3713 |4364 |3713 | 932 | 50 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 152 | - | 14M| 0 | 44 |3713 |4364 |3713 | 935 | 53 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 168 | - | 14M| 0 | 45 |3713 |4364 |3713 | 942 | 60 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 174 | - | 14M| 0 | 44 |3713 |4364 |3713 | 943 | 61 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.69/0.79 c 0.7s| 1 | 2 | 174 | - | 14M| 0 | 44 |3713 |4364 |3713 | 943 | 61 | 0 | 33 | 0.000000e+00 | 8.775400e+04 | Inf
2.89/2.94 o 416
2.89/2.94 c * 2.8s| 1100 | 1057 | 660 | 0.4 | 17M|1097 | - |3713 |4377 |3713 | 955 | 75 | 13 | 200 | 0.000000e+00 | 4.160000e+02 | Inf
4.89/4.97 o 406
4.89/4.97 c * 4.7s| 1325 | 1197 | 1926 | 1.3 | 18M|1097 | - |3713 |4441 |3713 | 976 | 156 | 77 | 653 | 0.000000e+00 | 4.060000e+02 | Inf
4.89/4.98 o 367
4.89/4.98 c * 4.7s| 1326 | 1116 | 1926 | 1.3 | 18M|1097 | - |3713 |4441 |3713 | 976 | 156 | 77 | 653 | 0.000000e+00 | 3.670000e+02 | Inf
6.69/6.76 o 343
6.69/6.76 c * 6.4s| 2308 | 1766 | 3418 | 1.4 | 21M|1097 | - |3713 |4517 |3713 | 979 | 294 | 153 | 797 | 0.000000e+00 | 3.430000e+02 | Inf
6.69/6.76 o 334
6.69/6.76 c * 6.4s| 2309 | 1660 | 3418 | 1.4 | 20M|1097 | - |3713 |4517 |3713 | 979 | 294 | 153 | 797 | 0.000000e+00 | 3.340000e+02 | Inf
6.89/6.92 o 316
6.89/6.92 c * 6.6s| 2388 | 1622 | 3557 | 1.4 | 21M|1097 | - |3713 |4543 |3713 | 959 | 320 | 179 | 809 | 0.000000e+00 | 3.160000e+02 | Inf
6.89/6.93 o 297
6.89/6.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.93 c * 6.6s| 2390 | 1504 | 3567 | 1.4 | 20M|1097 | - |3713 |4543 |3713 | 959 | 320 | 179 | 809 | 0.000000e+00 | 2.970000e+02 | Inf
7.70/7.74 o 287
7.70/7.74 c * 7.4s| 2560 | 1582 | 4398 | 1.7 | 21M|1097 | - |3713 |4599 |3713 | 961 | 392 | 235 | 987 | 0.000000e+00 | 2.870000e+02 | Inf
7.70/7.74 o 278
7.70/7.74 c * 7.4s| 2561 | 1518 | 4398 | 1.6 | 21M|1097 | - |3713 |4599 |3713 | 961 | 392 | 235 | 987 | 0.000000e+00 | 2.780000e+02 | Inf
8.19/8.27 o 263
8.19/8.27 c * 7.9s| 2723 | 1435 | 5163 | 1.8 | 22M|1097 | - |3713 |4723 |3713 | 958 | 443 | 359 |1089 | 0.000000e+00 | 2.630000e+02 | Inf
8.39/8.48 o 256
8.39/8.48 c * 8.1s| 2839 | 1392 | 5373 | 1.8 | 22M|1097 | - |3713 |4763 |3713 | 958 | 455 | 399 |1100 | 0.000000e+00 | 2.560000e+02 | Inf
8.49/8.54 o 255
8.49/8.54 c * 8.1s| 2867 | 1405 | 5425 | 1.8 | 22M|1097 | - |3713 |4780 |3713 | 960 | 465 | 416 |1100 | 0.000000e+00 | 2.550000e+02 | Inf
8.79/8.84 o 233
8.79/8.84 c * 8.4s| 3030 | 1349 | 5602 | 1.8 | 22M|1097 | - |3713 |4818 |3713 | 966 | 518 | 454 |1117 | 0.000000e+00 | 2.330000e+02 | Inf
8.89/8.96 o 198
8.89/8.96 c * 8.5s| 3141 | 1192 | 5653 | 1.7 | 22M|1097 | - |3713 |4818 |3713 | 953 | 518 | 454 |1117 | 0.000000e+00 | 1.980000e+02 | Inf
8.99/9.08 o 186
8.99/9.08 c * 8.7s| 3245 | 1169 | 5716 | 1.7 | 22M|1097 | - |3713 |4824 |3713 | 956 | 524 | 460 |1121 | 0.000000e+00 | 1.860000e+02 | Inf
9.09/9.17 o 182
9.09/9.17 c * 8.7s| 3263 | 1174 | 5837 | 1.7 | 22M|1097 | - |3713 |4832 |3713 | 950 | 528 | 468 |1133 | 0.000000e+00 | 1.820000e+02 | Inf
9.09/9.17 o 158
9.09/9.17 c * 8.8s| 3264 | 1141 | 5839 | 1.7 | 22M|1097 | - |3713 |4832 |3713 | 950 | 528 | 468 |1133 | 0.000000e+00 | 1.580000e+02 | Inf
9.19/9.25 o 142
9.19/9.25 c * 8.8s| 3299 | 1104 | 5996 | 1.8 | 22M|1097 | - |3713 |4863 |3713 | 959 | 545 | 499 |1133 | 0.000000e+00 | 1.420000e+02 | Inf
9.99/10.06 o 123
9.99/10.06 c * 9.6s| 3581 | 1135 | 6931 | 1.9 | 23M|1097 | - |3713 |5138 |3713 | 952 | 603 | 775 |1229 | 0.000000e+00 | 1.230000e+02 | Inf
9.99/10.07 o 120
9.99/10.07 c * 9.6s| 3582 | 1122 | 6951 | 1.9 | 23M|1097 | - |3713 |5138 |3713 | 952 | 603 | 775 |1229 | 0.000000e+00 | 1.200000e+02 | Inf
10.19/10.23 o 83
10.19/10.23 c * 9.8s| 3637 | 891 | 7103 | 1.9 | 22M|1097 | - |3713 |5225 |3713 | 959 | 609 | 869 |1243 | 0.000000e+00 | 8.300000e+01 | Inf
10.19/10.24 o 59
10.19/10.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.19/10.24 c * 9.8s| 3638 | 623 | 7105 | 1.9 | 22M|1097 | - |3713 |5225 |3713 | 959 | 609 | 869 |1243 | 0.000000e+00 | 5.900000e+01 | Inf
10.49/10.58 o 53
10.49/10.58 c *10.1s| 3691 | 582 | 7675 | 2.0 | 22M|1097 | - |3713 |4463 |3713 | 957 | 681 | 912 |1282 | 0.000000e+00 | 5.300000e+01 | Inf
11.00/11.08 o 50
11.00/11.08 c *10.6s| 3739 | 545 | 8939 | 2.3 | 21M|1097 | - |3713 |4380 |3713 | 948 | 745 | 969 |1366 | 0.000000e+00 | 5.000000e+01 | Inf
14.39/14.45 o 43
14.39/14.45 c *13.8s| 4626 | 584 | 14850 | 3.2 | 22M|1097 | - |3713 |5020 |3713 | 953 |1004 |2074 |1646 | 0.000000e+00 | 4.300000e+01 | Inf
15.40/15.43 o 32
15.40/15.43 c *14.8s| 4991 | 467 | 16806 | 3.3 | 22M|1097 | - |3713 |4953 |3713 | 949 |1119 |2570 |1677 | 0.000000e+00 | 3.200000e+01 | Inf
18.30/18.32 o 28
18.30/18.32 c *17.5s| 6416 | 477 | 22420 | 3.5 | 23M|1097 | - |3713 |5155 |3713 | 945 |1332 |4554 |1731 | 0.000000e+00 | 2.800000e+01 | Inf
18.80/18.82 o 26
18.80/18.82 c *18.0s| 6670 | 458 | 23612 | 3.5 | 23M|1097 | - |3713 |4995 |3713 | 959 |1392 |4930 |1735 | 0.000000e+00 | 2.600000e+01 | Inf
21.79/21.86 o 23
21.79/21.86 c *20.9s| 8402 | 502 | 29633 | 3.5 | 24M|1097 | - |3713 |5154 |3713 | 950 |1671 |7362 |1782 | 0.000000e+00 | 2.300000e+01 | Inf
21.89/21.95 o 21
21.89/21.95 c *20.9s| 8448 | 482 | 29899 | 3.5 | 24M|1097 | - |3713 |5025 |3713 | 951 |1682 |7401 |1782 | 0.000000e+00 | 2.100000e+01 | Inf
21.99/22.03 o 15
21.99/22.03 c *21.0s| 8493 | 413 | 30071 | 3.5 | 24M|1097 | - |3713 |4943 |3713 | 958 |1692 |7462 |1784 | 0.000000e+00 | 1.500000e+01 | Inf
24.49/24.59 c 23.4s| 10000 | 487 | 37973 | 3.8 | 25M|1097 | 8 |3713 |5226 |3713 | 946 |2078 |9409 |1798 | 0.000000e+00 | 1.500000e+01 | Inf
37.49/37.52 o 12
37.49/37.52 c *35.7s| 17982 | 722 | 73218 | 4.1 | 27M|1097 | - |3713 |6994 |3713 | 946 |3150 | 19k|1806 | 0.000000e+00 | 1.200000e+01 | Inf
40.70/40.73 c 38.7s| 20000 | 767 | 82169 | 4.1 | 28M|1097 | 12 |3713 |7156 |3713 | 946 |3481 | 22k|1806 | 0.000000e+00 | 1.200000e+01 | Inf
55.89/55.98 c 53.2s| 30000 | 926 |119783 | 4.0 | 30M|1097 | - |3713 |7695 |3713 | 941 |4778 | 35k|1815 | 0.000000e+00 | 1.200000e+01 | Inf
71.39/71.50 c 67.9s| 40000 | 1083 |155820 | 3.9 | 32M|1097 | - |3713 |9329 | 0 | 0 |6073 | 48k|1815 | 0.000000e+00 | 1.200000e+01 | Inf
77.19/77.20 o 10
77.19/77.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.19/77.20 c *73.3s| 43702 | 1092 |167775 | 3.8 | 33M|1097 | - |3713 | 11k|3713 | 955 |6477 | 53k|1842 | 0.000000e+00 | 1.000000e+01 | Inf
78.00/78.00 o 8
78.00/78.00 c *74.1s| 44220 | 1007 |169390 | 3.8 | 32M|1097 | - |3713 | 11k|3713 | 963 |6562 | 54k|1849 | 0.000000e+00 | 8.000000e+00 | Inf
87.60/87.61 c 83.2s| 50000 | 1075 |193026 | 3.9 | 33M|1097 | - |3713 |9421 | 0 | 0 |7128 | 61k|1895 | 0.000000e+00 | 8.000000e+00 | Inf
100.10/100.18 o 2
100.10/100.18 c *95.1s| 58009 | 853 |220494 | 3.8 | 31M|1097 | - |3713 |9017 |3713 | 946 |8127 | 72k|2057 | 0.000000e+00 | 2.000000e+00 | Inf
103.09/103.15 c 97.9s| 60000 | 830 |227408 | 3.8 | 30M|1097 | 18 |3713 |7380 |3713 | 941 |8311 | 75k|2070 | 0.000000e+00 | 2.000000e+00 | Inf
118.20/118.28 c 112s| 70000 | 823 |264456 | 3.8 | 31M|1097 | 1 |3713 |9986 |3713 | 946 |9615 | 88k|2226 | 0.000000e+00 | 2.000000e+00 | Inf
133.89/133.95 c 127s| 80000 | 836 |301589 | 3.8 | 33M|1097 | 14 |3713 | 13k|3713 | 946 | 10k| 101k|2380 | 0.000000e+00 | 2.000000e+00 | Inf
150.30/150.39 c 143s| 90000 | 878 |339429 | 3.8 | 33M|1097 | 1 |3713 | 13k|3713 | 946 | 11k| 115k|2537 | 0.000000e+00 | 2.000000e+00 | Inf
166.90/166.91 c 159s|100000 | 883 |376616 | 3.8 | 34M|1097 | - |3713 | 14k| 0 | 0 | 11k| 129k|2705 | 0.000000e+00 | 2.000000e+00 | Inf
183.70/183.71 c 175s|110000 | 917 |411566 | 3.7 | 35M|1097 | - |3713 | 16k| 0 | 0 | 12k| 143k|2844 | 0.000000e+00 | 2.000000e+00 | Inf
201.10/201.17 c 191s|120000 | 968 |451500 | 3.8 | 36M|1097 | 1 |3713 | 17k|3713 | 946 | 13k| 158k|2979 | 0.000000e+00 | 2.000000e+00 | Inf
218.90/218.98 c 208s|130000 | 951 |487722 | 3.8 | 37M|1097 | - |3713 | 19k| 0 | 0 | 14k| 172k|3097 | 0.000000e+00 | 2.000000e+00 | Inf
237.30/237.34 c 226s|140000 | 1041 |524243 | 3.7 | 39M|1097 | - |3713 | 21k| 0 | 0 | 15k| 187k|3233 | 0.000000e+00 | 2.000000e+00 | Inf
255.70/255.71 c 243s|150000 | 1030 |560152 | 3.7 | 39M|1097 | 9 |3713 | 21k|3713 | 957 | 16k| 202k|3323 | 0.000000e+00 | 2.000000e+00 | Inf
273.70/273.74 c 261s|160000 | 931 |594697 | 3.7 | 38M|1097 | - |3713 | 19k| 0 | 0 | 17k| 216k|3437 | 0.000000e+00 | 2.000000e+00 | Inf
291.51/291.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.51/291.54 c 278s|170000 | 896 |634213 | 3.7 | 36M|1097 | 8 |3713 | 15k|3713 | 946 | 18k| 231k|3616 | 0.000000e+00 | 2.000000e+00 | Inf
309.30/309.38 c 295s|180000 | 845 |674006 | 3.7 | 35M|1097 | - |3713 | 14k| 0 | 0 | 19k| 245k|3799 | 0.000000e+00 | 2.000000e+00 | Inf
327.40/327.50 c 312s|190000 | 830 |716601 | 3.8 | 35M|1097 | - |3713 | 13k| 0 | 0 | 22k| 258k|4030 | 0.000000e+00 | 2.000000e+00 | Inf
345.90/345.94 c 330s|200000 | 814 |762279 | 3.8 | 36M|1097 | - |3713 | 16k| 0 | 0 | 25k| 271k|4129 | 0.000000e+00 | 2.000000e+00 | Inf
367.70/367.74 c 351s|210000 | 897 |823192 | 3.9 | 39M|1097 | 31 |3713 | 21k|3713 | 941 | 32k| 286k|4241 | 0.000000e+00 | 2.000000e+00 | Inf
390.90/390.99 c 373s|220000 | 904 |885599 | 4.0 | 39M|1097 | 18 |3713 | 21k|3713 | 949 | 39k| 300k|4433 | 0.000000e+00 | 2.000000e+00 | Inf
414.50/414.55 c 396s|230000 | 1007 |950598 | 4.1 | 41M|1097 | 5 |3713 | 22k|3713 | 951 | 46k| 315k|4589 | 0.000000e+00 | 2.000000e+00 | Inf
436.80/436.82 c 417s|240000 | 966 | 1013k| 4.2 | 40M|1097 | 19 |3713 | 20k|3713 | 941 | 54k| 329k|4741 | 0.000000e+00 | 2.000000e+00 | Inf
458.81/458.88 c 438s|250000 | 922 | 1072k| 4.3 | 39M|1097 | - |3713 | 17k| 0 | 0 | 60k| 343k|4923 | 0.000000e+00 | 2.000000e+00 | Inf
479.71/479.71 c 458s|260000 | 1040 | 1127k| 4.3 | 41M|1097 | 21 |3713 | 21k|3713 | 956 | 66k| 357k|4995 | 0.000000e+00 | 2.000000e+00 | Inf
500.80/500.80 c 478s|270000 | 1121 | 1182k| 4.4 | 42M|1097 | - |3713 | 20k| 0 | 0 | 73k| 371k|5146 | 0.000000e+00 | 2.000000e+00 | Inf
522.51/522.53 c 499s|280000 | 1095 | 1241k| 4.4 | 42M|1097 | 10 |3713 | 21k|3713 | 941 | 79k| 386k|5273 | 0.000000e+00 | 2.000000e+00 | Inf
543.90/543.91 c 520s|290000 | 1112 | 1301k| 4.5 | 43M|1097 | 7 |3713 | 20k|3713 | 954 | 86k| 400k|5352 | 0.000000e+00 | 2.000000e+00 | Inf
566.10/566.19 c 541s|300000 | 1192 | 1365k| 4.6 | 44M|1097 | 29 |3713 | 23k|3713 | 954 | 94k| 415k|5480 | 0.000000e+00 | 2.000000e+00 | Inf
588.71/588.75 c 563s|310000 | 1263 | 1426k| 4.6 | 45M|1097 | - |3713 | 24k| 0 | 0 | 103k| 430k|5615 | 0.000000e+00 | 2.000000e+00 | Inf
611.91/611.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.91/611.91 c 585s|320000 | 1236 | 1487k| 4.6 | 46M|1097 | 17 |3713 | 25k|3713 | 948 | 112k| 446k|5726 | 0.000000e+00 | 2.000000e+00 | Inf
635.61/635.63 c 608s|330000 | 1154 | 1549k| 4.7 | 46M|1097 | 27 |3713 | 25k|3713 | 951 | 122k| 462k|5822 | 0.000000e+00 | 2.000000e+00 | Inf
659.11/659.17 c 630s|340000 | 1101 | 1611k| 4.7 | 46M|1097 | 9 |3713 | 27k|3713 | 941 | 132k| 478k|5953 | 0.000000e+00 | 2.000000e+00 | Inf
681.91/681.91 c 652s|350000 | 1001 | 1669k| 4.8 | 43M|1097 | 16 |3713 | 20k|3713 | 941 | 142k| 493k|6106 | 0.000000e+00 | 2.000000e+00 | Inf
702.11/702.14 c 672s|360000 | 940 | 1714k| 4.8 | 42M|1097 | 10 |3713 | 21k|3713 | 946 | 147k| 507k|6207 | 0.000000e+00 | 2.000000e+00 | Inf
719.91/720.00 c 689s|370000 | 872 | 1753k| 4.7 | 40M|1097 | - |3713 | 15k| 0 | 0 | 148k| 520k|6335 | 0.000000e+00 | 2.000000e+00 | Inf
737.21/737.28 c 705s|380000 | 821 | 1791k| 4.7 | 39M|1097 | - |3713 | 14k| 0 | 0 | 149k| 534k|6398 | 0.000000e+00 | 2.000000e+00 | Inf
754.52/754.60 c 722s|390000 | 799 | 1827k| 4.7 | 40M|1097 | 19 |3713 | 15k|3713 | 946 | 150k| 547k|6446 | 0.000000e+00 | 2.000000e+00 | Inf
774.61/774.63 c 741s|400000 | 855 | 1881k| 4.7 | 41M|1097 | 13 |3713 | 18k|3713 | 950 | 155k| 561k|6539 | 0.000000e+00 | 2.000000e+00 | Inf
795.52/795.50 c 761s|410000 | 803 | 1933k| 4.7 | 41M|1097 | 18 |3713 | 19k|3713 | 946 | 160k| 574k|6610 | 0.000000e+00 | 2.000000e+00 | Inf
815.52/815.55 c 780s|420000 | 798 | 1975k| 4.7 | 42M|1097 | - |3713 | 22k| 0 | 0 | 162k| 586k|6690 | 0.000000e+00 | 2.000000e+00 | Inf
837.41/837.47 c 801s|430000 | 802 | 2027k| 4.7 | 43M|1097 | 30 |3713 | 23k|3713 | 950 | 165k| 600k|6748 | 0.000000e+00 | 2.000000e+00 | Inf
860.32/860.39 c 823s|440000 | 786 | 2082k| 4.7 | 44M|1097 | - |3713 | 26k| 0 | 0 | 170k| 614k|6816 | 0.000000e+00 | 2.000000e+00 | Inf
881.12/881.13 c 843s|450000 | 749 | 2125k| 4.7 | 42M|1097 | - |3713 | 23k| 0 | 0 | 172k| 627k|6930 | 0.000000e+00 | 2.000000e+00 | Inf
901.31/901.38 c 863s|460000 | 753 | 2166k| 4.7 | 43M|1097 | 20 |3713 | 25k|3713 | 946 | 172k| 640k|6993 | 0.000000e+00 | 2.000000e+00 | Inf
921.91/921.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.91/921.92 c 883s|470000 | 756 | 2203k| 4.7 | 45M|1097 | - |3713 | 30k| 0 | 0 | 174k| 653k|7054 | 0.000000e+00 | 2.000000e+00 | Inf
943.82/943.89 c 904s|480000 | 776 | 2247k| 4.7 | 44M|1097 | 8 |3713 | 28k|3713 | 941 | 175k| 666k|7128 | 0.000000e+00 | 2.000000e+00 | Inf
968.61/968.67 c 928s|490000 | 956 | 2303k| 4.7 | 47M|1097 | - |3713 | 31k| 0 | 0 | 183k| 679k|7191 | 0.000000e+00 | 2.000000e+00 | Inf
992.81/992.85 c 951s|500000 | 874 | 2357k| 4.7 | 45M|1097 | - |3713 | 28k| 0 | 0 | 189k| 693k|7250 | 0.000000e+00 | 2.000000e+00 | Inf
1014.82/1014.89 c 972s|510000 | 905 | 2408k| 4.7 | 47M|1097 | - |3713 | 31k| 0 | 0 | 193k| 706k|7338 | 0.000000e+00 | 2.000000e+00 | Inf
1038.01/1038.02 c 995s|520000 | 916 | 2457k| 4.7 | 48M|1097 | - |3713 | 32k| 0 | 0 | 196k| 720k|7405 | 0.000000e+00 | 2.000000e+00 | Inf
1064.52/1064.57 c 1020s|530000 | 910 | 2515k| 4.7 | 49M|1097 | - |3713 | 35k| 0 | 0 | 205k| 733k|7483 | 0.000000e+00 | 2.000000e+00 | Inf
1090.92/1090.96 c 1046s|540000 | 1124 | 2576k| 4.8 | 51M|1097 | - |3713 | 37k|3713 | 963 | 215k| 747k|7536 | 0.000000e+00 | 2.000000e+00 | Inf
1118.12/1118.15 c 1072s|550000 | 946 | 2638k| 4.8 | 50M|1097 | - |3713 | 37k|3713 | 956 | 224k| 763k|7652 | 0.000000e+00 | 2.000000e+00 | Inf
1144.72/1144.73 c 1098s|560000 | 907 | 2693k| 4.8 | 50M|1097 | 19 |3713 | 37k|3713 | 941 | 234k| 777k|7707 | 0.000000e+00 | 2.000000e+00 | Inf
1170.92/1171.00 c 1123s|570000 | 879 | 2749k| 4.8 | 49M|1097 | - |3713 | 32k| 0 | 0 | 240k| 791k|7784 | 0.000000e+00 | 2.000000e+00 | Inf
1193.43/1193.43 c 1145s|580000 | 831 | 2790k| 4.8 | 49M|1097 | 9 |3713 | 34k|3713 | 946 | 242k| 806k|7846 | 0.000000e+00 | 2.000000e+00 | Inf
1216.02/1216.04 c 1167s|590000 | 827 | 2828k| 4.8 | 48M|1097 | - |3713 | 33k| 0 | 0 | 244k| 819k|7900 | 0.000000e+00 | 2.000000e+00 | Inf
1241.22/1241.24 c 1191s|600000 | 841 | 2885k| 4.8 | 49M|1097 | 18 |3713 | 36k|3713 | 948 | 251k| 833k|7957 | 0.000000e+00 | 2.000000e+00 | Inf
1266.62/1266.66 c 1216s|610000 | 746 | 2941k| 4.8 | 47M|1097 | 13 |3713 | 31k|3713 | 946 | 258k| 847k|8029 | 0.000000e+00 | 2.000000e+00 | Inf
1290.92/1290.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.92/1290.91 c 1239s|620000 | 731 | 2992k| 4.8 | 46M|1097 | - |3713 | 29k| 0 | 0 | 262k| 860k|8092 | 0.000000e+00 | 2.000000e+00 | Inf
1315.72/1315.75 c 1263s|630000 | 800 | 3052k| 4.8 | 46M|1097 | 7 |3713 | 28k|3713 | 941 | 270k| 874k|8196 | 0.000000e+00 | 2.000000e+00 | Inf
1336.92/1336.95 c 1283s|640000 | 643 | 3096k| 4.8 | 43M|1097 | 18 |3713 | 22k|3713 | 954 | 273k| 888k|8234 | 0.000000e+00 | 2.000000e+00 | Inf
1357.72/1357.72 c 1303s|650000 | 603 | 3142k| 4.8 | 42M|1097 | - |3713 | 23k| 0 | 0 | 274k| 902k|8281 | 0.000000e+00 | 2.000000e+00 | Inf
1377.73/1377.76 c 1322s|660000 | 580 | 3179k| 4.8 | 41M|1097 | 1 |3713 | 21k|3713 | 945 | 277k| 915k|8324 | 0.000000e+00 | 2.000000e+00 | Inf
1397.23/1397.26 c 1341s|670000 | 601 | 3217k| 4.8 | 43M|1097 | - |3713 | 25k| 0 | 0 | 278k| 928k|8376 | 0.000000e+00 | 2.000000e+00 | Inf
1418.13/1418.18 c 1361s|680000 | 576 | 3258k| 4.8 | 43M|1097 | - |3713 | 25k| 0 | 0 | 279k| 941k|8435 | 0.000000e+00 | 2.000000e+00 | Inf
1424.63/1424.61 o 1
1424.63/1424.61 c *1367s|683103 | 216 | 3272k| 4.8 | 38M|1097 | - |3713 | 27k|3713 | 946 | 280k| 945k|8458 | 0.000000e+00 | 1.000000e+00 | Inf
1439.53/1439.58 c 1382s|690000 | 195 | 3303k| 4.8 | 36M|1097 | - |3713 | 22k| 0 | 0 | 280k| 954k|8475 | 0.000000e+00 | 1.000000e+00 | Inf
1459.23/1459.21 c 1401s|700000 | 165 | 3346k| 4.8 | 35M|1097 | - |3713 | 21k| 0 | 0 | 281k| 967k|8516 | 0.000000e+00 | 1.000000e+00 | Inf
1479.63/1479.61 c 1420s|710000 | 187 | 3388k| 4.8 | 37M|1097 | - |3713 | 27k| 0 | 0 | 282k| 981k|8573 | 0.000000e+00 | 1.000000e+00 | Inf
1502.93/1502.94 c 1443s|720000 | 196 | 3434k| 4.8 | 37M|1097 | - |3713 | 27k| 0 | 0 | 284k| 995k|8629 | 0.000000e+00 | 1.000000e+00 | Inf
1526.43/1526.44 c 1466s|730000 | 216 | 3478k| 4.8 | 39M|1097 | 1 |3713 | 31k|3713 | 953 | 284k|1009k|8681 | 0.000000e+00 | 1.000000e+00 | Inf
1549.23/1549.21 c 1488s|740000 | 194 | 3522k| 4.8 | 38M|1097 | 20 |3713 | 30k|3713 | 954 | 285k|1022k|8722 | 0.000000e+00 | 1.000000e+00 | Inf
1572.83/1572.84 c 1510s|750000 | 220 | 3565k| 4.8 | 40M|1097 | 25 |3713 | 34k|3713 | 951 | 286k|1036k|8761 | 0.000000e+00 | 1.000000e+00 | Inf
1596.93/1596.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.93/1596.96 c 1534s|760000 | 244 | 3610k| 4.8 | 41M|1097 | 17 |3713 | 37k|3713 | 951 | 288k|1049k|8800 | 0.000000e+00 | 1.000000e+00 | Inf
1621.73/1621.76 c 1558s|770000 | 212 | 3654k| 4.7 | 41M|1097 | 15 |3713 | 37k|3713 | 951 | 289k|1062k|8847 | 0.000000e+00 | 1.000000e+00 | Inf
1647.13/1647.10 c 1582s|780000 | 198 | 3696k| 4.7 | 42M|1097 | 10 |3713 | 40k|3713 | 951 | 290k|1076k|8887 | 0.000000e+00 | 1.000000e+00 | Inf
1676.03/1676.00 c 1611s|790000 | 204 | 3744k| 4.7 | 42M|1097 | - |3713 | 42k| 0 | 0 | 292k|1090k|8948 | 0.000000e+00 | 1.000000e+00 | Inf
1704.53/1704.53 c 1638s|800000 | 247 | 3786k| 4.7 | 44M|1097 | - |3713 | 45k| 0 | 0 | 293k|1103k|8983 | 0.000000e+00 | 1.000000e+00 | Inf
1734.23/1734.28 c 1667s|810000 | 274 | 3831k| 4.7 | 46M|1097 | 16 |3713 | 50k|3713 | 951 | 294k|1117k|9016 | 0.000000e+00 | 1.000000e+00 | Inf
1764.93/1764.96 c 1697s|820000 | 298 | 3874k| 4.7 | 48M|1097 | - |3713 | 54k| 0 | 0 | 295k|1132k|9071 | 0.000000e+00 | 1.000000e+00 | Inf
1796.14/1796.12 c 1728s|830000 | 286 | 3915k| 4.7 | 50M|1097 | 17 |3713 | 58k|3713 | 951 | 296k|1147k|9126 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1731.42
1800.04/1800.01 c Solving Nodes : 831106
1800.04/1800.01 c Primal Bound : +1.00000000000000e+00 (142 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/1800.03 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.04/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.03 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.04/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.04/1800.03 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.04/1800.03 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.04/1800.03 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54
1800.04/1800.03 v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.03 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.04/1800.03 v -x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1731.42
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2692797-1277904093.wbo
1800.04/1800.03 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous)
1800.04/1800.03 c Constraints : 4510 initial, 4510 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2692797-1277904093.wbo
1800.04/1800.03 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous)
1800.04/1800.03 c Constraints : 4364 initial, 59004 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 61 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.01 61 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 61 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.05 0 0 0 1810 0 85 67 0
1800.04/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1741 - - 3482 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 503935 0 8 469 0 0 925322
1800.04/1800.03 c indicator : 1741 0 3205353 37904 0 71 381063 0 0 0
1800.04/1800.03 c setppc : 9 6 3950912 39047 0 7982 1381435 0 0 0
1800.04/1800.03 c linear : 1741 6 3946579 40158 0 252540 21025152 296719 0 0
1800.04/1800.03 c logicor : 873+ 6 1696368 3117 0 182978 4006000 0 0 0
1800.04/1800.03 c bounddisjunction : 0+ 0 53261 0 0 0 1 0 0 0
1800.04/1800.03 c countsols : 0 0 0 3117 0 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 22.88 0.00 0.00 22.88 0.00
1800.04/1800.03 c indicator : 1.83 0.00 1.38 0.45 0.00
1800.04/1800.03 c setppc : 8.16 0.00 8.15 0.01 0.00
1800.04/1800.03 c linear : 151.96 0.00 150.44 1.52 0.00
1800.04/1800.03 c logicor : 321.81 0.00 321.78 0.03 0.00
1800.04/1800.03 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 0.00 2 0 0
1800.04/1800.03 c rootredcost : 0.01 37 0 1741
1800.04/1800.03 c pseudoobj : 125.10 3956185 832 239289
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 20.56 444332 443803 2777424 27.7 13907 24.0 -
1800.04/1800.03 c infeasible LP : 3.50 14338 14338 119304 44.6 111 19.7 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.00 27 27 167 19.0 17 5.4 -
1800.04/1800.03 c applied globally : - - - 1148910 22.0 - - -
1800.04/1800.03 c applied locally : - - - 0 0.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 4 - - 47 - (maximal pool size: 140)
1800.04/1800.03 c redcost : 22.20 506015 0 125715 0 0
1800.04/1800.03 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.12 5 0 0 768 0
1800.04/1800.03 c strongcg : 0.05 5 0 0 31 0
1800.04/1800.03 c cmir : 0.02 5 0 0 0 0
1800.04/1800.03 c flowcover : 0.07 5 0 0 0 0
1800.04/1800.03 c clique : 0.00 5 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 1 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 22.83 463057 8 469 0 0 925322
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 0.15 3081 0 0 0 0 6162
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.03 - 36
1800.04/1800.03 c pseudo solutions : 0.00 - 0
1800.04/1800.03 c feaspump : 0.00 0 0
1800.04/1800.03 c intshifting : 0.00 2 0
1800.04/1800.03 c oneopt : 0.15 31 0
1800.04/1800.03 c linesearchdiving : 0.00 11 0
1800.04/1800.03 c guideddiving : 0.01 11 0
1800.04/1800.03 c coefdiving : 0.02 11 0
1800.04/1800.03 c pscostdiving : 0.00 12 0
1800.04/1800.03 c fracdiving : 0.03 12 0
1800.04/1800.03 c veclendiving : 0.00 12 0
1800.04/1800.03 c objpscostdiving : 0.04 11 0
1800.04/1800.03 c rootsoldiving : 0.01 11 0
1800.04/1800.03 c crossover : 0.49 17 0
1800.04/1800.03 c trivial : 0.02 2 0
1800.04/1800.03 c simplerounding : 0.34 463314 0
1800.04/1800.03 c zirounding : 0.23 1000 0
1800.04/1800.03 c rounding : 1.14 9579 0
1800.04/1800.03 c shifting : 0.99 2969 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.03 1 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.00 0 0
1800.04/1800.03 c trysol : 1.19 5163 106
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.03 c dual LP : 523.78 515051 3919304 7.61 7482.73
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.11 35 918 26.23 8345.45
1800.04/1800.03 c strong branching : 19.39 9126 123220 13.50 6354.82
1800.04/1800.03 c (at root node) : - 33 2641 80.03 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 831106
1800.04/1800.03 c nodes (total) : 831106
1800.04/1800.03 c nodes left : 290
1800.04/1800.03 c max depth : 1097
1800.04/1800.03 c max depth (total): 1097
1800.04/1800.03 c backtracks : 102930 (12.4%)
1800.04/1800.03 c delayed cutoffs : 96259
1800.04/1800.03 c repropagations : 1689778 (5809357 domain reductions, 93442 cutoffs)
1800.04/1800.03 c avg switch length: 5.52
1800.04/1800.03 c switching time : 291.14
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 142 (37 improvements)
1800.04/1800.03 c First Solution : +8.77540000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.04/1800.03 c Primal Bound : +1.00000000000000e+00 (in run 1, after 683103 nodes, 1367.34 seconds, depth 47, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 174
1800.14/1800.11 c Time complete: 1800.15.