0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693549-1277910033.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 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, 1931 impls, 11 clqs
0.06/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.06/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1935 (5.2%) - 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 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17 c 1931 implications, 11 cliques
0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17 c 1704 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1704 constraints of type <linear>
0.09/0.17 c 879 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.12
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.97
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 | 10 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.20 o 86790
0.09/0.20 c y 0.1s| 1 | 0 | 10 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 50 | - | 13M| 0 | 12 |3639 |4298 |3639 | 909 | 19 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 116 | - | 13M| 0 | 30 |3639 |4298 |3639 | 931 | 41 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 134 | - | 13M| 0 | 38 |3639 |4298 |3639 | 939 | 49 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 210 | - | 14M| 0 | 43 |3639 |4298 |3639 | 946 | 56 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.29/0.39 c 0.3s| 1 | 0 | 257 | - | 14M| 0 | 31 |3639 |4298 |3639 | 957 | 67 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 408 | - | 14M| 0 | 43 |3639 |4298 |3639 | 962 | 72 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
1.68/1.72 c 1.6s| 1 | 2 | 408 | - | 14M| 0 | 43 |3639 |4298 |3639 | 962 | 72 | 0 | 33 | 0.000000e+00 | 8.679000e+04 | Inf
5.29/5.30 o 1053
5.29/5.30 c * 5.2s| 1019 | 933 | 1397 | 1.0 | 17M|1018 | - |3639 |4298 |3639 | 978 | 97 | 0 | 223 | 0.000000e+00 | 1.053000e+03 | Inf
5.88/5.96 o 903
5.88/5.96 c * 5.8s| 1031 | 934 | 1912 | 1.5 | 17M|1018 | - |3639 |4298 |3639 | 991 | 135 | 0 | 336 | 0.000000e+00 | 9.030000e+02 | Inf
5.99/6.02 o 881
5.99/6.02 c * 5.9s| 1077 | 966 | 1918 | 1.4 | 17M|1018 | - |3639 |4308 |3639 | 991 | 135 | 10 | 339 | 0.000000e+00 | 8.810000e+02 | Inf
6.89/6.99 o 720
6.89/6.99 c * 6.8s| 1554 | 1315 | 3066 | 1.7 | 19M|1018 | - |3639 |4329 |3639 | 978 | 282 | 31 | 466 | 0.000000e+00 | 7.200000e+02 | Inf
7.39/7.41 o 697
7.39/7.41 c * 7.2s| 1765 | 1419 | 3573 | 1.8 | 19M|1018 | - |3639 |4334 |3639 | 963 | 342 | 36 | 512 | 0.000000e+00 | 6.970000e+02 | Inf
7.39/7.42 o 674
7.39/7.42 c * 7.2s| 1766 | 1223 | 3573 | 1.8 | 19M|1018 | - |3639 |4334 |3639 | 963 | 342 | 36 | 512 | 0.000000e+00 | 6.740000e+02 | Inf
7.49/7.53 o 378
7.49/7.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.49/7.53 c * 7.3s| 1804 | 977 | 3735 | 1.8 | 19M|1018 | - |3639 |4377 |3639 |1009 | 371 | 79 | 529 | 0.000000e+00 | 3.780000e+02 | Inf
7.49/7.53 o 371
7.49/7.53 c * 7.4s| 1805 | 976 | 3735 | 1.8 | 19M|1018 | - |3639 |4377 |3639 |1009 | 371 | 79 | 529 | 0.000000e+00 | 3.710000e+02 | Inf
7.49/7.57 o 356
7.49/7.57 c * 7.4s| 1824 | 975 | 3779 | 1.8 | 19M|1018 | - |3639 |4394 |3639 |1008 | 373 | 96 | 529 | 0.000000e+00 | 3.560000e+02 | Inf
7.89/7.93 o 279
7.89/7.93 c * 7.7s| 1961 | 962 | 4356 | 2.0 | 19M|1018 | - |3639 |4437 |3639 | 978 | 462 | 139 | 586 | 0.000000e+00 | 2.790000e+02 | Inf
7.89/7.94 o 232
7.89/7.94 c * 7.8s| 1962 | 939 | 4356 | 2.0 | 19M|1018 | - |3639 |4437 |3639 | 978 | 462 | 139 | 586 | 0.000000e+00 | 2.320000e+02 | Inf
8.49/8.55 o 216
8.49/8.55 c * 8.3s| 2059 | 958 | 5574 | 2.5 | 20M|1018 | - |3639 |4673 |3639 | 973 | 656 | 375 | 711 | 0.000000e+00 | 2.160000e+02 | Inf
10.18/10.21 o 189
10.18/10.21 c * 9.9s| 2411 | 1109 | 7783 | 3.1 | 22M|1018 | - |3639 |4957 |3639 | 978 | 814 | 659 | 979 | 0.000000e+00 | 1.890000e+02 | Inf
10.49/10.54 o 185
10.49/10.54 c *10.2s| 2520 | 1158 | 8102 | 3.1 | 23M|1018 | - |3639 |5061 |3639 | 988 | 865 | 764 |1011 | 0.000000e+00 | 1.850000e+02 | Inf
10.58/10.60 o 166
10.58/10.60 c *10.3s| 2579 | 1146 | 8109 | 3.0 | 23M|1018 | - |3639 |5061 |3639 | 988 | 865 | 764 |1011 | 0.000000e+00 | 1.660000e+02 | Inf
10.79/10.81 o 143
10.79/10.81 c *10.5s| 2681 | 1130 | 8531 | 3.0 | 23M|1018 | - |3639 |5147 |3639 | 997 | 935 | 853 |1031 | 0.000000e+00 | 1.430000e+02 | Inf
11.89/11.91 o 123
11.89/11.91 c *11.6s| 3088 | 1191 | 9858 | 3.1 | 24M|1018 | - |3639 |5522 |3639 | 982 |1130 |1323 |1082 | 0.000000e+00 | 1.230000e+02 | Inf
11.89/11.95 o 114
11.89/11.95 c *11.6s| 3102 | 1160 | 9860 | 3.0 | 24M|1018 | - |3639 |5527 |3639 | 982 |1130 |1330 |1082 | 0.000000e+00 | 1.140000e+02 | Inf
11.99/12.03 o 104
11.99/12.03 c *11.7s| 3137 | 1172 | 9935 | 3.0 | 24M|1018 | - |3639 |5505 |3639 |1001 |1151 |1335 |1086 | 0.000000e+00 | 1.040000e+02 | Inf
11.99/12.03 o 101
11.99/12.03 c *11.7s| 3138 | 1156 | 9935 | 3.0 | 24M|1018 | - |3639 |5505 |3639 |1001 |1151 |1335 |1086 | 0.000000e+00 | 1.010000e+02 | Inf
13.58/13.69 o 75
13.58/13.69 c *13.3s| 3648 | 912 | 12375 | 3.3 | 25M|1018 | - |3639 |5646 |3639 | 986 |1525 |2022 |1134 | 0.000000e+00 | 7.500000e+01 | Inf
13.58/13.69 o 73
13.58/13.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.58/13.69 c *13.3s| 3649 | 885 | 12375 | 3.3 | 25M|1018 | - |3639 |5646 |3639 | 986 |1525 |2022 |1134 | 0.000000e+00 | 7.300000e+01 | Inf
13.89/13.95 o 66
13.89/13.95 c *13.6s| 3696 | 817 | 12838 | 3.4 | 25M|1018 | - |3639 |5074 |3639 | 989 |1561 |2074 |1143 | 0.000000e+00 | 6.600000e+01 | Inf
14.29/14.36 o 62
14.29/14.36 c *14.0s| 3789 | 778 | 13309 | 3.4 | 24M|1018 | - |3639 |4955 |3639 | 987 |1617 |2172 |1181 | 0.000000e+00 | 6.200000e+01 | Inf
14.29/14.36 o 60
14.29/14.36 c *14.0s| 3790 | 716 | 13309 | 3.4 | 24M|1018 | - |3639 |4955 |3639 | 987 |1617 |2172 |1181 | 0.000000e+00 | 6.000000e+01 | Inf
15.79/15.85 o 55
15.79/15.85 c *15.4s| 4148 | 678 | 15969 | 3.8 | 24M|1018 | - |3639 |4704 |3639 | 978 |1744 |2640 |1342 | 0.000000e+00 | 5.500000e+01 | Inf
16.09/16.15 o 16
16.09/16.15 c *15.7s| 4201 | 286 | 16455 | 3.8 | 23M|1018 | - |3639 |4578 |3639 | 964 |1758 |2717 |1370 | 0.000000e+00 | 1.600000e+01 | Inf
20.69/20.80 o 8
20.69/20.80 c *20.2s| 6471 | 258 | 31283 | 4.8 | 24M|1018 | - |3639 |5857 |3639 | 964 |2421 |5740 |1593 | 0.000000e+00 | 8.000000e+00 | Inf
23.19/23.26 o 7
23.19/23.26 c *22.5s| 7893 | 313 | 43011 | 5.4 | 24M|1018 | - |3639 |5905 |3639 | 955 |2682 |7588 |1614 | 0.000000e+00 | 7.000000e+00 | Inf
23.19/23.26 o 5
23.19/23.26 c *22.5s| 7894 | 293 | 43011 | 5.4 | 24M|1018 | - |3639 |5905 |3639 | 955 |2682 |7588 |1614 | 0.000000e+00 | 5.000000e+00 | Inf
26.69/26.78 c 25.9s| 10000 | 336 | 57643 | 5.7 | 25M|1018 | 15 |3639 |6763 |3639 | 953 |3309 | 10k|1677 | 0.000000e+00 | 5.000000e+00 | Inf
38.50/38.57 o 3
38.50/38.57 c *37.3s| 17426 | 330 |104630 | 6.0 | 25M|1018 | - |3639 |6763 |3639 | 966 |4905 | 20k|1733 | 0.000000e+00 | 3.000000e+00 | Inf
42.49/42.55 c 41.1s| 20000 | 328 |120087 | 6.0 | 26M|1018 | 30 |3639 |6751 |3639 | 953 |5485 | 23k|1740 | 0.000000e+00 | 3.000000e+00 | Inf
58.39/58.48 c 56.7s| 30000 | 511 |192804 | 6.4 | 28M|1018 | - |3639 |9391 | 0 | 0 |8323 | 36k|1762 | 0.000000e+00 | 3.000000e+00 | Inf
74.98/75.04 c 72.8s| 40000 | 534 |261740 | 6.5 | 29M|1018 | - |3639 | 11k| 0 | 0 | 10k| 49k|1774 | 0.000000e+00 | 3.000000e+00 | Inf
92.29/92.32 c 89.5s| 50000 | 485 |328069 | 6.6 | 29M|1018 | 19 |3639 | 10k|3639 | 976 | 13k| 63k|1796 | 0.000000e+00 | 3.000000e+00 | Inf
110.69/110.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.69/110.73 c 107s| 60000 | 545 |411470 | 6.9 | 30M|1018 | 20 |3639 | 10k|3639 |1007 | 15k| 77k|1967 | 0.000000e+00 | 3.000000e+00 | Inf
129.09/129.12 c 125s| 70000 | 437 |485314 | 6.9 | 30M|1018 | - |3639 | 10k| 0 | 0 | 17k| 91k|2087 | 0.000000e+00 | 3.000000e+00 | Inf
146.59/146.68 c 142s| 80000 | 481 |559145 | 7.0 | 30M|1018 | 25 |3639 |9628 |3639 | 982 | 19k| 104k|2264 | 0.000000e+00 | 3.000000e+00 | Inf
164.19/164.27 c 159s| 90000 | 648 |635867 | 7.1 | 32M|1018 | - |3639 | 12k| 0 | 0 | 22k| 117k|2450 | 0.000000e+00 | 3.000000e+00 | Inf
181.99/182.07 c 176s|100000 | 765 |704848 | 7.0 | 34M|1018 | 13 |3639 | 13k|3639 | 976 | 24k| 130k|2566 | 0.000000e+00 | 3.000000e+00 | Inf
199.79/199.83 c 193s|110000 | 956 |773548 | 7.0 | 36M|1018 | - |3639 | 14k| 0 | 0 | 27k| 143k|2665 | 0.000000e+00 | 3.000000e+00 | Inf
217.80/217.81 c 211s|120000 | 1141 |835332 | 7.0 | 38M|1018 | 1 |3639 | 16k|3639 | 978 | 29k| 156k|2795 | 0.000000e+00 | 3.000000e+00 | Inf
233.39/233.43 o 2
233.39/233.43 c * 226s|128347 | 1181 |892552 | 7.0 | 38M|1018 | - |3639 | 17k|3639 | 990 | 31k| 168k|2888 | 0.000000e+00 | 2.000000e+00 | Inf
236.50/236.53 c 229s|130000 | 1181 |903218 | 6.9 | 38M|1018 | - |3639 | 16k|3639 | 987 | 32k| 170k|2918 | 0.000000e+00 | 2.000000e+00 | Inf
254.99/255.08 c 247s|140000 | 1194 |969864 | 6.9 | 39M|1018 | 1 |3639 | 17k|3639 | 964 | 34k| 184k|2994 | 0.000000e+00 | 2.000000e+00 | Inf
273.60/273.66 c 265s|150000 | 1232 | 1033k| 6.9 | 39M|1018 | 42 |3639 | 17k|3639 | 976 | 37k| 198k|3099 | 0.000000e+00 | 2.000000e+00 | Inf
292.79/292.87 c 283s|160000 | 1364 | 1099k| 6.9 | 42M|1018 | - |3639 | 21k| 0 | 0 | 39k| 213k|3219 | 0.000000e+00 | 2.000000e+00 | Inf
312.59/312.69 c 303s|170000 | 1358 | 1166k| 6.9 | 42M|1018 | 1 |3639 | 20k|3639 | 964 | 41k| 227k|3296 | 0.000000e+00 | 2.000000e+00 | Inf
331.70/331.77 c 321s|180000 | 1329 | 1228k| 6.8 | 41M|1018 | 11 |3639 | 18k|3639 | 976 | 43k| 242k|3432 | 0.000000e+00 | 2.000000e+00 | Inf
350.80/350.87 c 339s|190000 | 1301 | 1299k| 6.8 | 41M|1018 | - |3639 | 18k| 0 | 0 | 46k| 256k|3490 | 0.000000e+00 | 2.000000e+00 | Inf
370.50/370.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.50/370.60 c 359s|200000 | 1304 | 1367k| 6.8 | 43M|1018 | 24 |3639 | 21k|3639 | 989 | 48k| 270k|3610 | 0.000000e+00 | 2.000000e+00 | Inf
389.50/389.54 c 377s|210000 | 1428 | 1435k| 6.8 | 43M|1018 | - |3639 | 20k| 0 | 0 | 50k| 284k|3676 | 0.000000e+00 | 2.000000e+00 | Inf
408.40/408.49 c 395s|220000 | 1488 | 1501k| 6.8 | 44M|1018 | - |3639 | 20k| 0 | 0 | 53k| 298k|3800 | 0.000000e+00 | 2.000000e+00 | Inf
427.80/427.82 c 414s|230000 | 1498 | 1565k| 6.8 | 44M|1018 | 18 |3639 | 21k|3639 | 974 | 55k| 312k|3887 | 0.000000e+00 | 2.000000e+00 | Inf
447.80/447.88 c 433s|240000 | 1499 | 1634k| 6.8 | 45M|1018 | 10 |3639 | 22k|3639 | 997 | 58k| 326k|3960 | 0.000000e+00 | 2.000000e+00 | Inf
468.60/468.67 c 453s|250000 | 1469 | 1708k| 6.8 | 45M|1018 | 6 |3639 | 21k|3639 | 986 | 60k| 340k|4069 | 0.000000e+00 | 2.000000e+00 | Inf
489.40/489.46 c 474s|260000 | 1621 | 1779k| 6.8 | 47M|1018 | - |3639 | 23k| 0 | 0 | 62k| 354k|4120 | 0.000000e+00 | 2.000000e+00 | Inf
510.71/510.71 c 494s|270000 | 1681 | 1848k| 6.8 | 48M|1018 | - |3639 | 24k| 0 | 0 | 65k| 369k|4217 | 0.000000e+00 | 2.000000e+00 | Inf
531.50/531.50 c 514s|280000 | 1704 | 1917k| 6.8 | 47M|1018 | 8 |3639 | 22k|3639 | 994 | 67k| 384k|4270 | 0.000000e+00 | 2.000000e+00 | Inf
551.90/551.91 c 534s|290000 | 1774 | 1984k| 6.8 | 49M|1018 | - |3639 | 24k| 0 | 0 | 69k| 399k|4332 | 0.000000e+00 | 2.000000e+00 | Inf
572.31/572.34 c 554s|300000 | 1734 | 2051k| 6.8 | 48M|1018 | - |3639 | 23k| 0 | 0 | 72k| 414k|4437 | 0.000000e+00 | 2.000000e+00 | Inf
592.80/592.89 c 574s|310000 | 1706 | 2122k| 6.8 | 49M|1018 | - |3639 | 26k| 0 | 0 | 74k| 429k|4506 | 0.000000e+00 | 2.000000e+00 | Inf
614.40/614.48 c 595s|320000 | 1615 | 2195k| 6.9 | 49M|1018 | 1 |3639 | 26k|3639 |1011 | 77k| 445k|4559 | 0.000000e+00 | 2.000000e+00 | Inf
636.81/636.89 c 616s|330000 | 1570 | 2274k| 6.9 | 48M|1018 | 7 |3639 | 24k|3639 | 973 | 80k| 460k|4666 | 0.000000e+00 | 2.000000e+00 | Inf
659.00/659.06 c 638s|340000 | 1551 | 2350k| 6.9 | 49M|1018 | 18 |3639 | 25k|3639 |1020 | 82k| 475k|4734 | 0.000000e+00 | 2.000000e+00 | Inf
681.10/681.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
681.10/681.14 c 659s|350000 | 1658 | 2426k| 6.9 | 50M|1018 | - |3639 | 26k| 0 | 0 | 84k| 488k|4798 | 0.000000e+00 | 2.000000e+00 | Inf
702.91/702.94 c 680s|360000 | 1561 | 2499k| 6.9 | 48M|1018 | - |3639 | 22k| 0 | 0 | 87k| 502k|4878 | 0.000000e+00 | 2.000000e+00 | Inf
723.01/723.09 c 700s|370000 | 1507 | 2565k| 6.9 | 48M|1018 | 10 |3639 | 25k|3639 | 993 | 90k| 516k|4935 | 0.000000e+00 | 2.000000e+00 | Inf
744.91/744.97 c 721s|380000 | 1503 | 2640k| 6.9 | 49M|1018 | - |3639 | 26k| 0 | 0 | 92k| 530k|4986 | 0.000000e+00 | 2.000000e+00 | Inf
767.82/767.86 c 743s|390000 | 1421 | 2721k| 7.0 | 47M|1018 | - |3639 | 22k| 0 | 0 | 95k| 545k|5076 | 0.000000e+00 | 2.000000e+00 | Inf
789.11/789.15 c 764s|400000 | 1417 | 2793k| 7.0 | 48M|1018 | - |3639 | 24k| 0 | 0 | 98k| 559k|5136 | 0.000000e+00 | 2.000000e+00 | Inf
810.21/810.26 c 784s|410000 | 1477 | 2870k| 7.0 | 49M|1018 | 1 |3639 | 26k|3639 |1000 | 101k| 573k|5175 | 0.000000e+00 | 2.000000e+00 | Inf
831.11/831.16 c 805s|420000 | 1354 | 2940k| 7.0 | 47M|1018 | - |3639 | 24k| 0 | 0 | 103k| 588k|5252 | 0.000000e+00 | 2.000000e+00 | Inf
852.42/852.42 c 826s|430000 | 1360 | 3016k| 7.0 | 45M|1018 | - |3639 | 17k| 0 | 0 | 106k| 601k|5347 | 0.000000e+00 | 2.000000e+00 | Inf
874.01/874.07 c 847s|440000 | 1395 | 3101k| 7.0 | 46M|1018 | 19 |3639 | 20k|3639 | 990 | 109k| 615k|5427 | 0.000000e+00 | 2.000000e+00 | Inf
895.62/895.63 c 868s|450000 | 1365 | 3182k| 7.1 | 46M|1018 | - |3639 | 19k| 0 | 0 | 111k| 629k|5478 | 0.000000e+00 | 2.000000e+00 | Inf
916.52/916.54 c 888s|460000 | 1287 | 3257k| 7.1 | 45M|1018 | 17 |3639 | 18k|3639 | 972 | 113k| 643k|5531 | 0.000000e+00 | 2.000000e+00 | Inf
935.61/935.64 c 906s|470000 | 1235 | 3320k| 7.1 | 45M|1018 | 14 |3639 | 19k|3639 | 964 | 116k| 657k|5581 | 0.000000e+00 | 2.000000e+00 | Inf
955.82/955.83 c 926s|480000 | 1146 | 3390k| 7.1 | 44M|1018 | - |3639 | 18k| 0 | 0 | 118k| 671k|5627 | 0.000000e+00 | 2.000000e+00 | Inf
975.62/975.61 c 945s|490000 | 1112 | 3465k| 7.1 | 44M|1018 | - |3639 | 19k| 0 | 0 | 120k| 685k|5705 | 0.000000e+00 | 2.000000e+00 | Inf
997.52/997.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.52/997.55 c 967s|500000 | 1105 | 3553k| 7.1 | 44M|1018 | 23 |3639 | 19k|3639 | 977 | 123k| 699k|5771 | 0.000000e+00 | 2.000000e+00 | Inf
1017.22/1017.20 c 986s|510000 | 1008 | 3620k| 7.1 | 42M|1018 | - |3639 | 16k| 0 | 0 | 126k| 713k|5819 | 0.000000e+00 | 2.000000e+00 | Inf
1035.92/1035.93 c 1004s|520000 | 907 | 3689k| 7.1 | 41M|1018 | - |3639 | 15k|3639 | 978 | 129k| 727k|5868 | 0.000000e+00 | 2.000000e+00 | Inf
1054.92/1054.92 c 1022s|530000 | 955 | 3757k| 7.1 | 42M|1018 | - |3639 | 18k| 0 | 0 | 131k| 741k|5923 | 0.000000e+00 | 2.000000e+00 | Inf
1076.02/1076.04 c 1043s|540000 | 898 | 3841k| 7.1 | 42M|1018 | - |3639 | 17k| 0 | 0 | 134k| 756k|5989 | 0.000000e+00 | 2.000000e+00 | Inf
1095.53/1095.58 c 1062s|550000 | 836 | 3912k| 7.1 | 40M|1018 | - |3639 | 15k| 0 | 0 | 136k| 770k|6061 | 0.000000e+00 | 2.000000e+00 | Inf
1115.92/1115.96 c 1082s|560000 | 911 | 3986k| 7.1 | 42M|1018 | - |3639 | 17k| 0 | 0 | 139k| 784k|6126 | 0.000000e+00 | 2.000000e+00 | Inf
1135.42/1135.44 c 1101s|570000 | 889 | 4055k| 7.1 | 41M|1018 | 10 |3639 | 15k|3639 | 973 | 141k| 798k|6198 | 0.000000e+00 | 2.000000e+00 | Inf
1154.42/1154.47 c 1119s|580000 | 971 | 4129k| 7.1 | 42M|1018 | 9 |3639 | 16k|3639 | 962 | 144k| 812k|6233 | 0.000000e+00 | 2.000000e+00 | Inf
1173.13/1173.12 c 1137s|590000 | 951 | 4193k| 7.1 | 42M|1018 | 1 |3639 | 17k|3639 | 953 | 147k| 825k|6286 | 0.000000e+00 | 2.000000e+00 | Inf
1193.22/1193.26 c 1157s|600000 | 973 | 4265k| 7.1 | 42M|1018 | 12 |3639 | 15k|3639 | 965 | 150k| 839k|6338 | 0.000000e+00 | 2.000000e+00 | Inf
1213.53/1213.55 c 1176s|610000 | 1190 | 4351k| 7.1 | 44M|1018 | 8 |3639 | 17k|3639 | 963 | 153k| 852k|6384 | 0.000000e+00 | 2.000000e+00 | Inf
1233.72/1233.76 c 1196s|620000 | 1308 | 4427k| 7.1 | 46M|1018 | - |3639 | 18k| 0 | 0 | 155k| 867k|6441 | 0.000000e+00 | 2.000000e+00 | Inf
1254.33/1254.38 c 1216s|630000 | 1375 | 4501k| 7.1 | 48M|1018 | - |3639 | 20k| 0 | 0 | 158k| 882k|6494 | 0.000000e+00 | 2.000000e+00 | Inf
1275.22/1275.28 c 1236s|640000 | 1404 | 4572k| 7.1 | 49M|1018 | 19 |3639 | 22k|3639 | 963 | 161k| 896k|6539 | 0.000000e+00 | 2.000000e+00 | Inf
1296.23/1296.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.23/1296.25 c 1256s|650000 | 1404 | 4638k| 7.1 | 49M|1018 | - |3639 | 22k| 0 | 0 | 164k| 911k|6584 | 0.000000e+00 | 2.000000e+00 | Inf
1317.33/1317.39 c 1277s|660000 | 1561 | 4711k| 7.1 | 51M|1018 | 1 |3639 | 23k|3639 | 963 | 166k| 926k|6625 | 0.000000e+00 | 2.000000e+00 | Inf
1338.63/1338.63 c 1298s|670000 | 1535 | 4785k| 7.1 | 51M|1018 | 28 |3639 | 23k|3639 | 976 | 169k| 941k|6665 | 0.000000e+00 | 2.000000e+00 | Inf
1359.93/1359.94 c 1318s|680000 | 1461 | 4860k| 7.1 | 49M|1018 | - |3639 | 20k| 0 | 0 | 172k| 955k|6712 | 0.000000e+00 | 2.000000e+00 | Inf
1380.53/1380.53 c 1338s|690000 | 1363 | 4931k| 7.1 | 48M|1018 | - |3639 | 19k| 0 | 0 | 175k| 970k|6754 | 0.000000e+00 | 2.000000e+00 | Inf
1400.13/1400.11 c 1357s|700000 | 1389 | 5000k| 7.1 | 49M|1018 | 22 |3639 | 20k|3639 | 963 | 178k| 984k|6850 | 0.000000e+00 | 2.000000e+00 | Inf
1421.03/1421.03 c 1378s|710000 | 1292 | 5072k| 7.1 | 47M|1018 | 29 |3639 | 15k|3639 | 981 | 181k| 998k|6920 | 0.000000e+00 | 2.000000e+00 | Inf
1439.84/1439.88 c 1396s|720000 | 1249 | 5143k| 7.1 | 46M|1018 | 15 |3639 | 15k|3639 | 991 | 183k|1011k|6980 | 0.000000e+00 | 2.000000e+00 | Inf
1459.03/1459.00 c 1414s|730000 | 1191 | 5212k| 7.1 | 45M|1018 | - |3639 | 13k| 0 | 0 | 186k|1025k|7016 | 0.000000e+00 | 2.000000e+00 | Inf
1477.83/1477.89 c 1433s|740000 | 1134 | 5281k| 7.1 | 45M|1018 | - |3639 | 15k| 0 | 0 | 189k|1038k|7109 | 0.000000e+00 | 2.000000e+00 | Inf
1498.24/1498.26 c 1452s|750000 | 1102 | 5364k| 7.2 | 46M|1018 | 23 |3639 | 17k|3639 | 981 | 192k|1053k|7144 | 0.000000e+00 | 2.000000e+00 | Inf
1516.53/1516.52 c 1470s|760000 | 1198 | 5431k| 7.1 | 46M|1018 | - |3639 | 14k| 0 | 0 | 195k|1066k|7190 | 0.000000e+00 | 2.000000e+00 | Inf
1534.93/1534.92 c 1488s|770000 | 1181 | 5494k| 7.1 | 47M|1018 | - |3639 | 17k| 0 | 0 | 198k|1080k|7225 | 0.000000e+00 | 2.000000e+00 | Inf
1554.63/1554.60 c 1507s|780000 | 1164 | 5561k| 7.1 | 47M|1018 | - |3639 | 18k| 0 | 0 | 201k|1094k|7266 | 0.000000e+00 | 2.000000e+00 | Inf
1574.53/1574.52 c 1526s|790000 | 1153 | 5627k| 7.1 | 48M|1018 | 18 |3639 | 20k|3639 | 995 | 204k|1108k|7310 | 0.000000e+00 | 2.000000e+00 | Inf
1595.84/1595.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.84/1595.86 c 1547s|800000 | 1140 | 5701k| 7.1 | 48M|1018 | 1 |3639 | 19k|3639 | 974 | 207k|1123k|7354 | 0.000000e+00 | 2.000000e+00 | Inf
1616.54/1616.50 c 1567s|810000 | 1046 | 5778k| 7.1 | 46M|1018 | 12 |3639 | 17k|3639 | 987 | 210k|1137k|7435 | 0.000000e+00 | 2.000000e+00 | Inf
1636.03/1636.08 c 1586s|820000 | 1082 | 5852k| 7.1 | 46M|1018 | - |3639 | 17k|3639 | 993 | 212k|1150k|7477 | 0.000000e+00 | 2.000000e+00 | Inf
1655.83/1655.84 c 1605s|830000 | 1149 | 5919k| 7.1 | 48M|1018 | 1 |3639 | 19k|3639 | 966 | 215k|1163k|7501 | 0.000000e+00 | 2.000000e+00 | Inf
1661.84/1661.88 o 1
1661.84/1661.88 c *1611s|832878 | 252 | 5938k| 7.1 | 35M|1018 | - |3639 | 21k|3639 | 978 | 216k|1166k|7528 | 0.000000e+00 | 1.000000e-00 | Inf
1675.83/1675.80 c 1625s|840000 | 309 | 5985k| 7.1 | 35M|1018 | - |3639 | 18k| 0 | 0 | 218k|1176k|7560 | 0.000000e+00 | 1.000000e-00 | Inf
1695.43/1695.44 c 1644s|850000 | 356 | 6048k| 7.1 | 36M|1018 | 7 |3639 | 20k|3639 | 975 | 220k|1189k|7606 | 0.000000e+00 | 1.000000e-00 | Inf
1715.94/1715.94 c 1664s|860000 | 387 | 6113k| 7.1 | 37M|1018 | - |3639 | 23k| 0 | 0 | 222k|1203k|7650 | 0.000000e+00 | 1.000000e-00 | Inf
1735.64/1735.60 c 1683s|870000 | 339 | 6177k| 7.1 | 36M|1018 | 13 |3639 | 20k|3639 | 966 | 225k|1216k|7684 | 0.000000e+00 | 1.000000e-00 | Inf
1755.04/1755.08 c 1702s|880000 | 363 | 6243k| 7.1 | 36M|1018 | - |3639 | 19k| 0 | 0 | 227k|1230k|7715 | 0.000000e+00 | 1.000000e-00 | Inf
1775.84/1775.85 c 1722s|890000 | 423 | 6317k| 7.1 | 38M|1018 | - |3639 | 24k| 0 | 0 | 229k|1243k|7743 | 0.000000e+00 | 1.000000e-00 | Inf
1796.54/1796.59 c 1742s|900000 | 439 | 6390k| 7.1 | 38M|1018 | - |3639 | 23k| 0 | 0 | 231k|1257k|7777 | 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) : 1745.36
1800.04/1800.01 c Solving Nodes : 901480
1800.04/1800.01 c Primal Bound : +1.00000000000000e-00 (127 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 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.04 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.04 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.04 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.04 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.04 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.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1745.36
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2693549-1277910033.wbo
1800.04/1800.04 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.04/1800.04 c Constraints : 4491 initial, 4491 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2693549-1277910033.wbo
1800.04/1800.04 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.04/1800.04 c Constraints : 4298 initial, 27559 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.05 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.06 0 0 0 1807 0 114 97 0
1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1704 - - 3408 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 526367 0 71 932 0 0 978602
1800.04/1800.04 c indicator : 1704 0 4005820 33376 0 22 300934 0 0 0
1800.04/1800.04 c setppc : 11 6 4407380 35420 0 20092 1578178 0 0 0
1800.04/1800.04 c linear : 1704 6 4389086 36062 0 258391 19517190 231948 0 0
1800.04/1800.04 c logicor : 879+ 6 1786331 2719 0 161287 4622469 0 0 0
1800.04/1800.04 c countsols : 0 0 0 2719 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 22.31 0.00 0.00 22.31 0.00
1800.04/1800.04 c indicator : 3.00 0.01 2.65 0.34 0.00
1800.04/1800.04 c setppc : 11.38 0.00 11.36 0.02 0.00
1800.04/1800.04 c linear : 150.58 0.00 148.57 2.01 0.00
1800.04/1800.04 c logicor : 253.29 0.00 253.28 0.01 0.00
1800.04/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 1.15 2 0 0
1800.04/1800.04 c rootredcost : 1.04 34 0 1704
1800.04/1800.04 c pseudoobj : 134.07 4409633 435 169176
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 21.56 440205 439469 2863365 30.0 12457 24.1 -
1800.04/1800.04 c infeasible LP : 12.05 45669 45669 406503 46.0 355 16.7 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.00 23 23 133 27.1 26 6.7 -
1800.04/1800.04 c applied globally : - - - 1259900 24.8 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 33 - (maximal pool size: 235)
1800.04/1800.04 c redcost : 23.38 529217 0 117946 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.08 6 0 0 1224 0
1800.04/1800.04 c strongcg : 0.04 6 0 0 116 0
1800.04/1800.04 c cmir : 0.02 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.05 6 0 0 0 0
1800.04/1800.04 c clique : 0.01 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 21.99 490184 71 932 0 0 978602
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 0.25 2686 0 0 0 0 5372
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.02 - 33
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.01 1 0
1800.04/1800.04 c oneopt : 0.35 27 0
1800.04/1800.04 c fracdiving : 0.07 28 0
1800.04/1800.04 c veclendiving : 0.04 28 0
1800.04/1800.04 c linesearchdiving : 0.04 28 0
1800.04/1800.04 c guideddiving : 0.05 28 0
1800.04/1800.04 c coefdiving : 0.04 29 0
1800.04/1800.04 c pscostdiving : 0.07 29 0
1800.04/1800.04 c objpscostdiving : 0.03 15 0
1800.04/1800.04 c rootsoldiving : 0.10 15 0
1800.04/1800.04 c crossover : 0.62 13 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.69 490334 0
1800.04/1800.04 c zirounding : 0.69 1000 0
1800.04/1800.04 c rounding : 1.34 9829 0
1800.04/1800.04 c shifting : 0.97 3080 0
1800.04/1800.04 c intshifting : 0.01 6 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.02 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.18 0 0
1800.04/1800.04 c trysol : 1.85 6415 94
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 666.24 568161 6401747 11.27 9608.77
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.24 133 1339 10.07 5579.17
1800.04/1800.04 c strong branching : 17.94 7781 187912 24.15 10474.47
1800.04/1800.04 c (at root node) : - 33 14041 425.48 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 901480
1800.04/1800.04 c nodes (total) : 901480
1800.04/1800.04 c nodes left : 404
1800.04/1800.04 c max depth : 1018
1800.04/1800.04 c max depth (total): 1018
1800.04/1800.04 c backtracks : 103553 (11.5%)
1800.04/1800.04 c delayed cutoffs : 78608
1800.04/1800.04 c repropagations : 1991857 (4944862 domain reductions, 76233 cutoffs)
1800.04/1800.04 c avg switch length: 6.09
1800.04/1800.04 c switching time : 248.60
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 127 (34 improvements)
1800.04/1800.04 c First Solution : +8.67900000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 832878 nodes, 1611.14 seconds, depth 24, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 408
1800.04/1800.09 c Time complete: 1800.14.