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-2705502-1278572954.wbo>
0.00/0.02 c original problem has 2153 variables (1192 bin, 0 int, 961 impl, 0 cont) and 3669 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 15 clqs
0.04/0.06 c (round 2) 0 del vars, 107 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 15 clqs
0.04/0.07 c (round 3) 50 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 200 impls, 15 clqs
0.04/0.08 c (round 4) 100 del vars, 233 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 200 impls, 15 clqs
0.09/0.12 c (0.1s) probing: 101/1142 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (5 rounds):
0.09/0.12 c 100 deleted vars, 233 deleted constraints, 961 tightened bounds, 0 added holes, 50 changed sides, 0 changed coefficients
0.09/0.12 c 2015 implications, 15 cliques
0.09/0.12 c presolved problem has 2053 variables (1142 bin, 0 int, 911 impl, 0 cont) and 3436 constraints
0.09/0.12 c 1 constraints of type <knapsack>
0.09/0.12 c 39 constraints of type <setppc>
0.09/0.12 c 911 constraints of type <linear>
0.09/0.12 c 911 constraints of type <indicator>
0.09/0.12 c 1574 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.09
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.3
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1789.98
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 3420
0.09/0.12 c
0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12 c # [type: int, range: [1,2], default: 1]
0.09/0.12 c timing/clocktype = 2
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/indicator/addCouplingCons = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.13 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.13 c 0.1s| 1 | 0 | 37 | - |9183k| 0 | 20 |2053 |3436 |2053 |1614 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 66 | - |9306k| 0 | 23 |2053 |3437 |2053 |1635 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 84 | - |9601k| 0 | 23 |2053 |3437 |2053 |1638 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 0 | 127 | - |9891k| 0 | 37 |2053 |3437 |2053 |1642 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 o 43928
0.29/0.36 c y 0.3s| 1 | 0 | 127 | - |9921k| 0 | 37 |2053 |3437 |2053 |1642 | 28 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 246 | - | 10M| 0 | 52 |2053 |3437 |2053 |1646 | 32 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 335 | - | 10M| 0 | 56 |2053 |3437 |2053 |1649 | 35 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.59/0.64 c 0.6s| 1 | 0 | 357 | - | 10M| 0 | 60 |2053 |3437 |2053 |1652 | 38 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
1.19/1.25 c 1.2s| 1 | 2 | 357 | - | 10M| 0 | 60 |2053 |3437 |2053 |1652 | 38 | 0 | 14 | 0.000000e+00 | 4.392800e+04 | Inf
4.09/4.15 o 502
4.09/4.15 c * 4.1s| 29 | 26 | 1887 | 54.6 | 10M| 16 | - |2053 |3444 |2053 |1655 | 62 | 7 | 266 | 0.000000e+00 | 5.020000e+02 | Inf
4.89/4.98 o 468
4.89/4.98 c * 5.0s| 63 | 43 | 2362 | 32.3 | 11M| 20 | - |2053 |3463 |2053 |1643 | 86 | 26 | 433 | 0.000000e+00 | 4.680000e+02 | Inf
5.59/5.62 o 355
5.59/5.62 c * 5.6s| 163 | 100 | 3229 | 17.7 | 11M| 28 | - |2053 |3530 |2053 |1662 | 164 | 93 | 583 | 0.000000e+00 | 3.550000e+02 | Inf
6.60/6.64 o 345
6.60/6.64 c * 6.6s| 378 | 245 | 4849 | 11.9 | 12M| 48 | - |2053 |3636 |2053 |1659 | 275 | 199 | 798 | 0.000000e+00 | 3.450000e+02 | Inf
6.60/6.66 o 334
6.60/6.66 c * 6.6s| 393 | 248 | 4887 | 11.6 | 12M| 48 | - |2053 |3644 |2053 |1656 | 278 | 207 | 798 | 0.000000e+00 | 3.340000e+02 | Inf
7.39/7.45 o 321
7.39/7.45 c * 7.4s| 583 | 375 | 6086 | 9.8 | 12M| 48 | - |2053 |3719 |2053 |1653 | 333 | 286 | 964 | 0.000000e+00 | 3.210000e+02 | Inf
7.79/7.85 o 285
7.79/7.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.79/7.85 c * 7.8s| 794 | 500 | 6702 | 8.0 | 13M| 56 | - |2053 |3783 |2053 |1661 | 441 | 362 |1026 | 0.000000e+00 | 2.850000e+02 | Inf
7.99/8.05 o 233
7.99/8.05 c * 8.0s| 945 | 627 | 6879 | 6.9 | 13M| 73 | - |2053 |3804 |2053 |1663 | 456 | 384 |1037 | 0.000000e+00 | 2.330000e+02 | Inf
8.69/8.70 o 231
8.69/8.70 c * 8.7s| 1272 | 799 | 7920 | 6.0 | 14M| 73 | - |2053 |4025 |2053 |1666 | 504 | 636 |1133 | 0.000000e+00 | 2.310000e+02 | Inf
8.79/8.82 o 230
8.79/8.82 c * 8.8s| 1313 | 825 | 8180 | 6.0 | 14M| 73 | - |2053 |4034 |2053 |1673 | 522 | 651 |1150 | 0.000000e+00 | 2.300000e+02 | Inf
8.79/8.82 o 225
8.79/8.82 c * 8.8s| 1314 | 819 | 8180 | 6.0 | 14M| 73 | - |2053 |4034 |2053 |1673 | 522 | 651 |1150 | 0.000000e+00 | 2.250000e+02 | Inf
10.00/10.06 o 212
10.00/10.06 c *10.0s| 1997 | 1053 | 10823 | 5.2 | 15M| 73 | - |2053 |4337 |2053 |1656 | 698 |1230 |1257 | 0.000000e+00 | 2.120000e+02 | Inf
10.49/10.52 o 183
10.49/10.52 c *10.5s| 2223 | 1041 | 11940 | 5.2 | 15M| 73 | - |2053 |4389 |2053 |1650 | 778 |1463 |1283 | 0.000000e+00 | 1.830000e+02 | Inf
10.90/10.90 o 130
10.90/10.90 c *10.9s| 2413 | 1030 | 12710 | 5.1 | 15M| 73 | - |2053 |4337 |2053 |1659 | 853 |1567 |1316 | 0.000000e+00 | 1.300000e+02 | Inf
12.89/12.97 o 114
12.89/12.97 c *12.9s| 3374 | 1144 | 19040 | 5.5 | 17M| 73 | - |2053 |4563 |2053 |1647 |1114 |2456 |1515 | 0.000000e+00 | 1.140000e+02 | Inf
12.89/12.97 o 111
12.89/12.97 c *12.9s| 3375 | 1130 | 19040 | 5.5 | 17M| 73 | - |2053 |4563 |2053 |1647 |1114 |2456 |1515 | 0.000000e+00 | 1.110000e+02 | Inf
13.20/13.22 o 93
13.20/13.22 c *13.2s| 3536 | 1039 | 19717 | 5.5 | 16M| 73 | - |2053 |4703 |2053 |1646 |1117 |2635 |1526 | 0.000000e+00 | 9.300000e+01 | Inf
23.39/23.46 c 23.4s| 10000 | 1674 | 50261 | 5.0 | 22M| 73 | - |2053 |5282 | 0 | 0 |2097 |9754 |1684 | 0.000000e+00 | 9.300000e+01 | Inf
30.19/30.20 o 91
30.19/30.20 c *30.2s| 13966 | 2062 | 72502 | 5.2 | 27M| 73 | - |2053 |6550 |2053 |1650 |2815 | 13k|1782 | 0.000000e+00 | 9.100000e+01 | Inf
39.89/39.91 c 39.9s| 20000 | 2433 |102987 | 5.1 | 32M| 73 | - |2053 |7109 | 0 | 0 |3713 | 21k|1790 | 0.000000e+00 | 9.100000e+01 | Inf
40.19/40.21 o 87
40.19/40.21 c *40.2s| 20215 | 2422 |103418 | 5.1 | 32M| 73 | - |2053 |7322 |2053 |1653 |3742 | 21k|1790 | 0.000000e+00 | 8.700000e+01 | Inf
46.79/46.85 o 67
46.79/46.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.79/46.85 c *46.8s| 24047 | 2716 |124435 | 5.2 | 35M| 73 | - |2053 |6638 |2053 |1648 |4586 | 25k|1793 | 0.000000e+00 | 6.700000e+01 | Inf
57.89/57.97 o 65
57.89/57.97 c *57.9s| 29837 | 3019 |175801 | 5.9 | 38M| 73 | - |2053 |6244 |2053 |1645 |5583 | 32k|1811 | 0.000000e+00 | 6.500000e+01 | Inf
58.19/58.22 c 58.2s| 30000 | 3029 |176591 | 5.9 | 38M| 73 | 1 |2053 |6273 |2053 |1643 |5583 | 32k|1811 | 0.000000e+00 | 6.500000e+01 | Inf
75.69/75.70 o 59
75.69/75.70 c *75.7s| 39481 | 3406 |253629 | 6.4 | 43M| 73 | - |2053 |6921 |2053 |1654 |7541 | 43k|1815 | 0.000000e+00 | 5.900000e+01 | Inf
76.60/76.69 c 76.7s| 40000 | 3414 |257849 | 6.4 | 43M| 73 | - |2053 |6316 |2053 |1646 |7635 | 44k|1815 | 0.000000e+00 | 5.900000e+01 | Inf
95.09/95.15 o 56
95.09/95.15 c *95.1s| 49809 | 3808 |340504 | 6.8 | 47M| 73 | - |2053 |6800 |2053 |1650 |9352 | 55k|1900 | 0.000000e+00 | 5.600000e+01 | Inf
95.49/95.50 c 95.5s| 50000 | 3821 |341949 | 6.8 | 47M| 73 | 20 |2053 |6594 |2053 |1659 |9379 | 56k|1900 | 0.000000e+00 | 5.600000e+01 | Inf
113.30/113.38 c 113s| 60000 | 4120 |413106 | 6.9 | 52M| 73 | - |2053 |7964 | 0 | 0 | 11k| 68k|2081 | 0.000000e+00 | 5.600000e+01 | Inf
131.99/132.05 c 132s| 70000 | 4321 |489911 | 7.0 | 55M| 73 | - |2053 |8698 | 0 | 0 | 12k| 80k|2281 | 0.000000e+00 | 5.600000e+01 | Inf
133.59/133.62 o 49
133.59/133.62 c * 134s| 70819 | 4319 |496458 | 7.0 | 55M| 73 | - |2053 |8991 |2053 |1668 | 12k| 81k|2281 | 0.000000e+00 | 4.900000e+01 | Inf
151.89/151.99 c 152s| 80000 | 4478 |585714 | 7.3 | 58M| 73 | - |2053 |9332 | 0 | 0 | 13k| 93k|2457 | 0.000000e+00 | 4.900000e+01 | Inf
169.89/169.93 c 170s| 90000 | 4798 |659669 | 7.3 | 61M| 73 | - |2053 | 10k| 0 | 0 | 15k| 105k|2590 | 0.000000e+00 | 4.900000e+01 | Inf
190.00/190.07 c 190s|100000 | 5186 |755217 | 7.5 | 67M| 78 | - |2053 | 11k| 0 | 0 | 16k| 118k|2801 | 0.000000e+00 | 4.900000e+01 | Inf
209.39/209.48 c 209s|110000 | 5566 |845698 | 7.7 | 70M| 86 | - |2053 | 11k| 0 | 0 | 17k| 131k|2961 | 0.000000e+00 | 4.900000e+01 | Inf
218.10/218.11 o 36
218.10/218.11 c * 218s|114377 | 5364 |886688 | 7.7 | 66M| 86 | - |2053 | 10k|2053 |1650 | 17k| 137k|3013 | 0.000000e+00 | 3.600000e+01 | Inf
229.30/229.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.30/229.38 c 229s|120000 | 5357 |942897 | 7.9 | 67M| 87 | - |2053 | 10k|2053 |1654 | 18k| 145k|3124 | 0.000000e+00 | 3.600000e+01 | Inf
249.89/249.91 c 250s|130000 | 5395 | 1050k| 8.1 | 68M| 87 | - |2053 |7947 |2053 |1658 | 19k| 158k|3348 | 0.000000e+00 | 3.600000e+01 | Inf
268.20/268.29 c 268s|140000 | 5526 | 1134k| 8.1 | 70M| 87 | - |2053 |8851 | 0 | 0 | 22k| 171k|3497 | 0.000000e+00 | 3.600000e+01 | Inf
288.30/288.32 c 288s|150000 | 5690 | 1237k| 8.2 | 73M| 87 | - |2053 |8931 | 0 | 0 | 23k| 184k|3630 | 0.000000e+00 | 3.600000e+01 | Inf
307.80/307.84 c 308s|160000 | 5733 | 1336k| 8.4 | 75M| 87 | 18 |2053 |9790 |2053 |1643 | 24k| 197k|3835 | 0.000000e+00 | 3.600000e+01 | Inf
327.71/327.79 c 328s|170000 | 5793 | 1439k| 8.5 | 77M| 87 | 7 |2053 |8767 |2053 |1643 | 25k| 211k|3948 | 0.000000e+00 | 3.600000e+01 | Inf
346.79/346.88 c 347s|180000 | 5950 | 1531k| 8.5 | 80M| 87 | 6 |2053 | 11k|2053 |1643 | 27k| 224k|4126 | 0.000000e+00 | 3.600000e+01 | Inf
353.20/353.29 o 34
353.20/353.29 c * 353s|183826 | 5995 | 1556k| 8.5 | 81M| 87 | - |2053 | 11k|2053 |1646 | 28k| 229k|4140 | 0.000000e+00 | 3.400000e+01 | Inf
364.40/364.41 c 364s|190000 | 6104 | 1603k| 8.4 | 82M| 87 | 11 |2053 | 10k|2053 |1643 | 28k| 237k|4235 | 0.000000e+00 | 3.400000e+01 | Inf
384.10/384.11 c 384s|200000 | 6272 | 1703k| 8.5 | 85M| 87 | - |2053 | 10k| 0 | 0 | 30k| 250k|4336 | 0.000000e+00 | 3.400000e+01 | Inf
403.89/403.91 c 404s|210000 | 6358 | 1801k| 8.6 | 87M| 87 | - |2053 | 11k| 0 | 0 | 31k| 263k|4472 | 0.000000e+00 | 3.400000e+01 | Inf
422.60/422.61 c 423s|220000 | 6439 | 1885k| 8.6 | 89M| 87 | - |2053 | 10k| 0 | 0 | 33k| 277k|4598 | 0.000000e+00 | 3.400000e+01 | Inf
441.70/441.72 c 442s|230000 | 6571 | 1978k| 8.6 | 91M| 87 | - |2053 | 11k| 0 | 0 | 34k| 290k|4711 | 0.000000e+00 | 3.400000e+01 | Inf
460.81/460.84 c 461s|240000 | 6623 | 2069k| 8.6 | 92M| 87 | - |2053 | 10k| 0 | 0 | 35k| 303k|4837 | 0.000000e+00 | 3.400000e+01 | Inf
479.61/479.63 c 480s|250000 | 6810 | 2157k| 8.6 | 94M| 87 | 29 |2053 |9363 |2053 |1655 | 37k| 316k|4931 | 0.000000e+00 | 3.400000e+01 | Inf
497.59/497.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.59/497.66 c 498s|260000 | 6883 | 2239k| 8.6 | 97M| 87 | 24 |2053 | 10k|2053 |1643 | 38k| 329k|5007 | 0.000000e+00 | 3.400000e+01 | Inf
516.10/516.17 c 516s|270000 | 6981 | 2321k| 8.6 | 99M| 87 | 1 |2053 | 11k|2053 |1643 | 40k| 343k|5093 | 0.000000e+00 | 3.400000e+01 | Inf
536.90/536.93 c 537s|280000 | 7153 | 2426k| 8.7 | 101M| 87 | 14 |2053 | 11k|2053 |1643 | 41k| 355k|5185 | 0.000000e+00 | 3.400000e+01 | Inf
556.60/556.62 c 557s|290000 | 7255 | 2517k| 8.7 | 103M| 87 | 1 |2053 | 12k|2053 |1643 | 42k| 369k|5278 | 0.000000e+00 | 3.400000e+01 | Inf
576.90/576.90 c 577s|300000 | 7407 | 2616k| 8.7 | 105M| 87 | - |2053 | 11k| 0 | 0 | 44k| 381k|5399 | 0.000000e+00 | 3.400000e+01 | Inf
594.90/594.96 c 595s|310000 | 7557 | 2697k| 8.7 | 107M| 87 | - |2053 | 10k| 0 | 0 | 45k| 394k|5482 | 0.000000e+00 | 3.400000e+01 | Inf
612.40/612.44 c 612s|320000 | 7801 | 2767k| 8.6 | 110M| 87 | - |2053 | 10k| 0 | 0 | 46k| 407k|5537 | 0.000000e+00 | 3.400000e+01 | Inf
629.71/629.74 c 630s|330000 | 8009 | 2845k| 8.6 | 112M| 87 | - |2053 | 10k| 0 | 0 | 48k| 420k|5605 | 0.000000e+00 | 3.400000e+01 | Inf
646.90/646.90 c 647s|340000 | 8082 | 2922k| 8.6 | 114M| 87 | 26 |2053 | 11k|2053 |1649 | 49k| 433k|5673 | 0.000000e+00 | 3.400000e+01 | Inf
664.90/664.90 c 665s|350000 | 8175 | 3004k| 8.6 | 116M| 87 | 1 |2053 | 11k|2053 |1657 | 50k| 446k|5747 | 0.000000e+00 | 3.400000e+01 | Inf
682.80/682.84 c 683s|360000 | 8296 | 3087k| 8.6 | 117M| 87 | - |2053 | 10k| 0 | 0 | 51k| 459k|5809 | 0.000000e+00 | 3.400000e+01 | Inf
699.61/699.69 c 700s|370000 | 8451 | 3155k| 8.5 | 121M| 87 | - |2053 | 12k|2053 |1667 | 52k| 473k|5873 | 0.000000e+00 | 3.400000e+01 | Inf
703.40/703.49 o 30
703.40/703.49 c * 703s|372253 | 8361 | 3170k| 8.5 | 118M| 87 | - |2053 | 12k|2053 |1647 | 52k| 476k|5873 | 0.000000e+00 | 3.000000e+01 | Inf
717.40/717.41 c 717s|380000 | 8422 | 3230k| 8.5 | 119M| 87 | - |2053 | 10k| 0 | 0 | 53k| 486k|5957 | 0.000000e+00 | 3.000000e+01 | Inf
735.10/735.10 c 735s|390000 | 8546 | 3313k| 8.5 | 121M| 87 | 9 |2053 | 10k|2053 |1643 | 54k| 500k|6024 | 0.000000e+00 | 3.000000e+01 | Inf
752.01/752.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.01/752.08 c 752s|400000 | 8712 | 3388k| 8.5 | 123M| 87 | - |2053 | 11k| 0 | 0 | 55k| 513k|6094 | 0.000000e+00 | 3.000000e+01 | Inf
770.10/770.15 c 770s|410000 | 8845 | 3471k| 8.5 | 125M| 87 | - |2053 | 11k| 0 | 0 | 57k| 526k|6157 | 0.000000e+00 | 3.000000e+01 | Inf
787.71/787.77 c 788s|420000 | 8943 | 3552k| 8.5 | 127M| 87 | - |2053 | 12k| 0 | 0 | 58k| 540k|6218 | 0.000000e+00 | 3.000000e+01 | Inf
805.41/805.43 c 805s|430000 | 9206 | 3630k| 8.4 | 129M| 87 | 14 |2053 | 10k|2053 |1643 | 59k| 553k|6267 | 0.000000e+00 | 3.000000e+01 | Inf
822.71/822.75 c 823s|440000 | 9330 | 3710k| 8.4 | 131M| 87 | - |2053 | 12k|2053 |1643 | 60k| 566k|6314 | 0.000000e+00 | 3.000000e+01 | Inf
840.10/840.18 c 840s|450000 | 9479 | 3782k| 8.4 | 133M| 87 | 8 |2053 | 13k|2053 |1643 | 62k| 579k|6384 | 0.000000e+00 | 3.000000e+01 | Inf
857.50/857.53 c 858s|460000 | 9626 | 3853k| 8.4 | 136M| 87 | - |2053 | 12k| 0 | 0 | 63k| 593k|6446 | 0.000000e+00 | 3.000000e+01 | Inf
875.52/875.58 c 876s|470000 | 9711 | 3930k| 8.4 | 137M| 87 | 10 |2053 | 11k|2053 |1643 | 64k| 607k|6504 | 0.000000e+00 | 3.000000e+01 | Inf
892.90/892.91 c 893s|480000 | 9799 | 4005k| 8.3 | 139M| 87 | - |2053 | 11k| 0 | 0 | 66k| 620k|6539 | 0.000000e+00 | 3.000000e+01 | Inf
910.11/910.10 c 910s|490000 | 9909 | 4077k| 8.3 | 140M| 87 | 15 |2053 | 12k|2053 |1648 | 67k| 634k|6599 | 0.000000e+00 | 3.000000e+01 | Inf
927.91/927.91 c 928s|500000 | 10048 | 4151k| 8.3 | 143M| 87 | - |2053 | 13k|2053 |1657 | 69k| 647k|6678 | 0.000000e+00 | 3.000000e+01 | Inf
946.50/946.58 c 947s|510000 | 10198 | 4235k| 8.3 | 145M| 87 | 22 |2053 | 11k|2053 |1649 | 70k| 660k|6749 | 0.000000e+00 | 3.000000e+01 | Inf
964.01/964.06 c 964s|520000 | 10189 | 4307k| 8.3 | 146M| 87 | - |2053 | 13k| 0 | 0 | 72k| 674k|6794 | 0.000000e+00 | 3.000000e+01 | Inf
981.51/981.52 c 981s|530000 | 10296 | 4383k| 8.3 | 147M| 87 | - |2053 | 11k| 0 | 0 | 73k| 687k|6872 | 0.000000e+00 | 3.000000e+01 | Inf
999.31/999.35 c 999s|540000 | 10389 | 4462k| 8.3 | 149M| 87 | 12 |2053 | 10k|2053 |1649 | 75k| 700k|6948 | 0.000000e+00 | 3.000000e+01 | Inf
1016.31/1016.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.31/1016.38 c 1016s|550000 | 10510 | 4531k| 8.2 | 151M| 87 | - |2053 | 10k| 0 | 0 | 76k| 714k|6979 | 0.000000e+00 | 3.000000e+01 | Inf
1034.41/1034.47 c 1034s|560000 | 10693 | 4612k| 8.2 | 153M| 87 | - |2053 | 11k| 0 | 0 | 77k| 727k|7018 | 0.000000e+00 | 3.000000e+01 | Inf
1051.91/1051.94 c 1052s|570000 | 10731 | 4688k| 8.2 | 155M| 87 | 8 |2053 | 11k|2053 |1643 | 79k| 741k|7090 | 0.000000e+00 | 3.000000e+01 | Inf
1069.31/1069.38 c 1069s|580000 | 10746 | 4760k| 8.2 | 156M| 87 | - |2053 | 12k|2053 |1643 | 80k| 755k|7145 | 0.000000e+00 | 3.000000e+01 | Inf
1087.71/1087.79 c 1088s|590000 | 10859 | 4846k| 8.2 | 156M| 87 | - |2053 | 10k| 0 | 0 | 81k| 768k|7187 | 0.000000e+00 | 3.000000e+01 | Inf
1105.81/1105.85 c 1106s|600000 | 10942 | 4931k| 8.2 | 158M| 87 | 19 |2053 | 11k|2053 |1643 | 82k| 782k|7223 | 0.000000e+00 | 3.000000e+01 | Inf
1124.71/1124.79 c 1125s|610000 | 11087 | 5020k| 8.2 | 161M| 87 | 16 |2053 | 10k|2053 |1655 | 83k| 795k|7304 | 0.000000e+00 | 3.000000e+01 | Inf
1142.21/1142.27 c 1142s|620000 | 11227 | 5097k| 8.2 | 163M| 87 | - |2053 | 12k| 0 | 0 | 84k| 809k|7384 | 0.000000e+00 | 3.000000e+01 | Inf
1160.11/1160.11 c 1160s|630000 | 11233 | 5177k| 8.2 | 164M| 87 | - |2053 | 11k| 0 | 0 | 86k| 822k|7411 | 0.000000e+00 | 3.000000e+01 | Inf
1178.81/1178.82 c 1179s|640000 | 11383 | 5267k| 8.2 | 166M| 87 | 26 |2053 | 10k|2053 |1652 | 87k| 836k|7470 | 0.000000e+00 | 3.000000e+01 | Inf
1196.91/1196.92 c 1197s|650000 | 11397 | 5350k| 8.2 | 167M| 87 | 23 |2053 | 11k|2053 |1652 | 88k| 849k|7548 | 0.000000e+00 | 3.000000e+01 | Inf
1215.11/1215.12 c 1215s|660000 | 11396 | 5433k| 8.2 | 168M| 87 | - |2053 | 10k|2053 |1643 | 89k| 863k|7614 | 0.000000e+00 | 3.000000e+01 | Inf
1233.81/1233.80 c 1234s|670000 | 11522 | 5523k| 8.2 | 170M| 87 | - |2053 | 10k| 0 | 0 | 90k| 877k|7679 | 0.000000e+00 | 3.000000e+01 | Inf
1251.72/1251.71 c 1252s|680000 | 11560 | 5605k| 8.2 | 172M| 87 | 4 |2053 | 12k|2053 |1655 | 91k| 890k|7756 | 0.000000e+00 | 3.000000e+01 | Inf
1270.21/1270.23 c 1270s|690000 | 11640 | 5691k| 8.2 | 173M| 87 | 1 |2053 | 12k|2053 |1643 | 92k| 904k|7797 | 0.000000e+00 | 3.000000e+01 | Inf
1289.72/1289.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.72/1289.79 c 1290s|700000 | 11662 | 5790k| 8.3 | 174M| 87 | - |2053 | 11k|2053 |1649 | 94k| 917k|7874 | 0.000000e+00 | 3.000000e+01 | Inf
1308.31/1308.37 c 1308s|710000 | 11758 | 5880k| 8.3 | 176M| 87 | 10 |2053 | 11k|2053 |1654 | 95k| 931k|7962 | 0.000000e+00 | 3.000000e+01 | Inf
1327.91/1327.93 c 1328s|720000 | 11842 | 5979k| 8.3 | 177M| 87 | 10 |2053 | 11k|2053 |1643 | 96k| 944k|8006 | 0.000000e+00 | 3.000000e+01 | Inf
1347.01/1347.04 c 1347s|730000 | 12037 | 6073k| 8.3 | 180M| 87 | - |2053 | 12k| 0 | 0 | 98k| 957k|8054 | 0.000000e+00 | 3.000000e+01 | Inf
1365.41/1365.42 c 1365s|740000 | 12088 | 6148k| 8.3 | 182M| 87 | - |2053 | 13k| 0 | 0 | 99k| 971k|8141 | 0.000000e+00 | 3.000000e+01 | Inf
1384.02/1384.01 c 1384s|750000 | 12120 | 6226k| 8.3 | 183M| 87 | - |2053 | 13k| 0 | 0 | 100k| 985k|8169 | 0.000000e+00 | 3.000000e+01 | Inf
1402.12/1402.18 c 1402s|760000 | 12154 | 6305k| 8.3 | 184M| 87 | - |2053 | 13k| 0 | 0 | 101k| 999k|8236 | 0.000000e+00 | 3.000000e+01 | Inf
1420.81/1420.85 c 1421s|770000 | 12369 | 6385k| 8.3 | 186M| 87 | 11 |2053 | 12k|2053 |1654 | 103k|1012k|8286 | 0.000000e+00 | 3.000000e+01 | Inf
1438.42/1438.43 c 1438s|780000 | 12572 | 6453k| 8.3 | 190M| 87 | 15 |2053 | 13k|2053 |1650 | 104k|1025k|8296 | 0.000000e+00 | 3.000000e+01 | Inf
1455.92/1455.96 c 1456s|790000 | 12717 | 6518k| 8.3 | 192M| 87 | - |2053 | 15k| 0 | 0 | 105k|1038k|8356 | 0.000000e+00 | 3.000000e+01 | Inf
1474.11/1474.19 c 1474s|800000 | 12898 | 6589k| 8.2 | 194M| 87 | - |2053 | 14k|2053 |1660 | 106k|1050k|8391 | 0.000000e+00 | 3.000000e+01 | Inf
1492.12/1492.16 c 1492s|810000 | 13040 | 6664k| 8.2 | 196M| 87 | - |2053 | 12k| 0 | 0 | 107k|1063k|8448 | 0.000000e+00 | 3.000000e+01 | Inf
1510.02/1510.08 c 1510s|820000 | 13230 | 6739k| 8.2 | 199M| 87 | 1 |2053 | 12k|2053 |1652 | 109k|1077k|8480 | 0.000000e+00 | 3.000000e+01 | Inf
1528.52/1528.59 c 1529s|830000 | 13364 | 6822k| 8.2 | 201M| 87 | - |2053 | 10k|2053 |1643 | 110k|1089k|8547 | 0.000000e+00 | 3.000000e+01 | Inf
1546.52/1546.60 c 1547s|840000 | 13545 | 6902k| 8.2 | 203M| 87 | - |2053 | 10k|2053 |1643 | 111k|1102k|8602 | 0.000000e+00 | 3.000000e+01 | Inf
1565.23/1565.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.23/1565.21 c 1565s|850000 | 13620 | 6988k| 8.2 | 205M| 87 | - |2053 | 11k| 0 | 0 | 112k|1115k|8623 | 0.000000e+00 | 3.000000e+01 | Inf
1583.62/1583.66 c 1584s|860000 | 13692 | 7071k| 8.2 | 207M| 87 | 0 |2053 | 11k|2053 |1656 | 114k|1128k|8704 | 0.000000e+00 | 3.000000e+01 | Inf
1602.62/1602.66 c 1603s|870000 | 13723 | 7156k| 8.2 | 208M| 87 | 19 |2053 | 11k|2053 |1649 | 115k|1141k|8740 | 0.000000e+00 | 3.000000e+01 | Inf
1622.02/1622.01 c 1622s|880000 | 13918 | 7247k| 8.2 | 210M| 87 | 16 |2053 | 11k|2053 |1643 | 116k|1155k|8805 | 0.000000e+00 | 3.000000e+01 | Inf
1641.12/1641.10 c 1641s|890000 | 14185 | 7334k| 8.2 | 213M| 87 | 23 |2053 |9790 |2053 |1643 | 117k|1168k|8870 | 0.000000e+00 | 3.000000e+01 | Inf
1660.02/1660.04 c 1660s|900000 | 14350 | 7423k| 8.2 | 216M| 87 | 1 |2053 | 10k|2053 |1650 | 118k|1181k|8890 | 0.000000e+00 | 3.000000e+01 | Inf
1678.32/1678.32 c 1678s|910000 | 14417 | 7508k| 8.3 | 218M| 87 | 30 |2053 | 11k|2053 |1643 | 119k|1194k|8954 | 0.000000e+00 | 3.000000e+01 | Inf
1699.12/1699.18 c 1699s|920000 | 14543 | 7613k| 8.3 | 219M| 87 | - |2053 | 10k| 0 | 0 | 120k|1207k|9024 | 0.000000e+00 | 3.000000e+01 | Inf
1720.82/1720.81 c 1721s|930000 | 14656 | 7729k| 8.3 | 222M| 87 | - |2053 | 11k| 0 | 0 | 121k|1220k|9076 | 0.000000e+00 | 3.000000e+01 | Inf
1740.52/1740.57 c 1741s|940000 | 14807 | 7826k| 8.3 | 225M| 87 | - |2053 | 11k| 0 | 0 | 123k|1233k|9107 | 0.000000e+00 | 3.000000e+01 | Inf
1759.82/1759.81 c 1760s|950000 | 14931 | 7913k| 8.3 | 227M| 87 | - |2053 | 12k| 0 | 0 | 124k|1247k|9187 | 0.000000e+00 | 3.000000e+01 | Inf
1778.92/1778.91 c 1779s|960000 | 15095 | 7999k| 8.3 | 229M| 87 | 4 |2053 | 10k|2053 |1643 | 125k|1260k|9216 | 0.000000e+00 | 3.000000e+01 | Inf
1790.02/1790.00 c
1790.02/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.00 c Solving Time (sec) : 1789.98
1790.02/1790.00 c Solving Nodes : 966244
1790.02/1790.00 c Primal Bound : +3.00000000000000e+01 (171 solutions)
1790.02/1790.00 c Dual Bound : +0.00000000000000e+00
1790.02/1790.00 c Gap : infinite
1790.02/1790.02 s SATISFIABLE
1790.02/1790.02 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1790.02/1790.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.02/1790.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 x169 -x168
1790.02/1790.02 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1790.02/1790.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126
1790.02/1790.02 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105
1790.02/1790.02 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 x81 -x80
1790.02/1790.02 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
1790.02/1790.02 v -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 x32 -x31 -x30 -x29
1790.02/1790.02 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.02/1790.02 v -x1
1790.02/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.02 c Solving Time : 1789.98
1790.02/1790.02 c Original Problem :
1790.02/1790.02 c Problem name : HOME/instance-2705502-1278572954.wbo
1790.02/1790.02 c Variables : 2153 (1192 binary, 0 integer, 961 implicit integer, 0 continuous)
1790.02/1790.02 c Constraints : 3669 initial, 3669 maximal
1790.02/1790.02 c Presolved Problem :
1790.02/1790.02 c Problem name : t_HOME/instance-2705502-1278572954.wbo
1790.02/1790.02 c Variables : 2053 (1142 binary, 0 integer, 911 implicit integer, 0 continuous)
1790.02/1790.02 c Constraints : 3436 initial, 15879 maximal
1790.02/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.02/1790.02 c trivial : 0.00 50 0 0 0 0 0 0 0
1790.02/1790.02 c dualfix : 0.00 50 0 0 0 0 0 0 0
1790.02/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.02 c probing : 0.03 0 0 0 0 0 0 0 0
1790.02/1790.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.02 c setppc : 0.00 0 0 0 0 0 76 0 0
1790.02/1790.02 c linear : 0.04 0 0 0 961 0 107 50 0
1790.02/1790.02 c indicator : 0.00 0 0 0 0 0 50 0 0
1790.02/1790.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.02/1790.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.02 c root node : - 1218 - - 1218 - - - -
1790.02/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.02/1790.02 c integral : 0 0 0 544571 0 186 1700 0 0 1033412
1790.02/1790.02 c knapsack : 1 6 5211462 26209 1 53697 14869233 0 0 0
1790.02/1790.02 c setppc : 39 6 5175244 26221 1 96025 2367106 0 0 0
1790.02/1790.02 c linear : 911+ 7 5081219 26345 1 85306 3885710 126374 0 0
1790.02/1790.02 c indicator : 911 0 4994119 26369 1 5211 10870730 0 0 0
1790.02/1790.02 c logicor : 1574+ 6 2163167 5805 1 143673 7625019 0 0 0
1790.02/1790.02 c bounddisjunction : 0+ 0 533562 0 0 259 4656 0 0 0
1790.02/1790.02 c countsols : 0 0 0 5805 1 0 0 0 0 0
1790.02/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.02/1790.02 c integral : 29.67 0.00 0.00 29.67 0.00
1790.02/1790.02 c knapsack : 46.00 0.00 45.99 0.01 0.00
1790.02/1790.02 c setppc : 14.92 0.00 14.90 0.02 0.00
1790.02/1790.02 c linear : 50.09 0.00 49.34 0.74 0.00
1790.02/1790.02 c indicator : 61.63 0.02 60.53 1.08 0.00
1790.02/1790.02 c logicor : 156.32 0.00 156.26 0.06 0.00
1790.02/1790.02 c bounddisjunction : 1.12 0.00 1.12 0.00 0.00
1790.02/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.02/1790.02 c Propagators : Time Calls Cutoffs DomReds
1790.02/1790.02 c vbounds : 1.15 255622 4 4183
1790.02/1790.02 c rootredcost : 0.77 28 0 609
1790.02/1790.02 c pseudoobj : 100.12 5272016 41045 12354000
1790.02/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.02/1790.02 c propagation : 15.74 420005 419659 2617176 26.8 14204 24.9 -
1790.02/1790.02 c infeasible LP : 13.88 78135 78133 646963 39.6 804 17.5 0
1790.02/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.02/1790.02 c applied globally : - - - 1268773 23.6 - - -
1790.02/1790.02 c applied locally : - - - 0 0.0 - - -
1790.02/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.02/1790.02 c cut pool : 0.00 5 - - 33 - (maximal pool size: 462)
1790.02/1790.02 c redcost : 25.87 560548 0 195354 0 0
1790.02/1790.02 c impliedbounds : 0.00 6 0 0 0 0
1790.02/1790.02 c intobj : 0.00 0 0 0 0 0
1790.02/1790.02 c cgmip : 0.00 0 0 0 0 0
1790.02/1790.02 c gomory : 0.16 6 0 0 1651 0
1790.02/1790.02 c strongcg : 0.15 6 0 0 2321 0
1790.02/1790.02 c cmir : 0.02 6 0 0 0 0
1790.02/1790.02 c flowcover : 0.04 6 0 0 0 0
1790.02/1790.02 c clique : 0.00 6 0 0 0 0
1790.02/1790.02 c zerohalf : 0.00 0 0 0 0 0
1790.02/1790.02 c mcf : 0.00 1 0 0 0 0
1790.02/1790.02 c rapidlearning : 0.07 1 0 0 0 1
1790.02/1790.02 c Pricers : Time Calls Vars
1790.02/1790.02 c problem variables: 0.00 0 0
1790.02/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.02/1790.02 c relpscost : 29.31 518192 186 1700 0 0 1033412
1790.02/1790.02 c pscost : 0.00 0 0 0 0 0 0
1790.02/1790.02 c inference : 0.75 5779 0 0 0 0 11559
1790.02/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1790.02/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1790.02/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.02 c random : 0.00 0 0 0 0 0 0
1790.02/1790.02 c Primal Heuristics : Time Calls Found
1790.02/1790.02 c LP solutions : 0.01 - 27
1790.02/1790.02 c pseudo solutions : 0.00 - 0
1790.02/1790.02 c intshifting : 0.01 0 0
1790.02/1790.02 c feaspump : 0.02 1 0
1790.02/1790.02 c oneopt : 0.32 26 0
1790.02/1790.02 c crossover : 0.92 29 0
1790.02/1790.02 c coefdiving : 0.47 163 0
1790.02/1790.02 c pscostdiving : 0.44 163 0
1790.02/1790.02 c fracdiving : 0.50 163 0
1790.02/1790.02 c veclendiving : 0.39 163 0
1790.02/1790.02 c guideddiving : 0.49 163 0
1790.02/1790.02 c rootsoldiving : 1.51 82 0
1790.02/1790.02 c linesearchdiving : 0.45 164 0
1790.02/1790.02 c objpscostdiving : 0.62 83 0
1790.02/1790.02 c trivial : 0.00 2 0
1790.02/1790.02 c simplerounding : 0.58 519305 0
1790.02/1790.02 c zirounding : 0.27 1000 0
1790.02/1790.02 c rounding : 0.93 10152 0
1790.02/1790.02 c shifting : 0.75 3191 0
1790.02/1790.02 c twoopt : 0.00 0 0
1790.02/1790.02 c fixandinfer : 0.00 0 0
1790.02/1790.02 c intdiving : 0.00 0 0
1790.02/1790.02 c actconsdiving : 0.00 0 0
1790.02/1790.02 c octane : 0.00 0 0
1790.02/1790.02 c rens : 0.04 1 0
1790.02/1790.02 c rins : 0.00 0 0
1790.02/1790.02 c localbranching : 0.00 0 0
1790.02/1790.02 c mutation : 0.00 0 0
1790.02/1790.02 c dins : 0.00 0 0
1790.02/1790.02 c undercover : 0.00 0 0
1790.02/1790.02 c nlp : 0.16 0 0
1790.02/1790.02 c trysol : 0.30 222 144
1790.02/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1790.02/1790.02 c primal LP : 0.00 0 0 0.00 -
1790.02/1790.02 c dual LP : 908.35 617643 8026855 13.00 8836.78
1790.02/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1790.02/1790.02 c barrier LP : 0.00 0 0 0.00 -
1790.02/1790.02 c diving/probing LP: 3.15 1959 20634 10.53 6547.29
1790.02/1790.02 c strong branching : 25.64 9256 274988 29.71 10726.03
1790.02/1790.02 c (at root node) : - 14 5118 365.57 -
1790.02/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1790.02/1790.02 c B&B Tree :
1790.02/1790.02 c number of runs : 1
1790.02/1790.02 c nodes : 966244
1790.02/1790.02 c nodes (total) : 966244
1790.02/1790.02 c nodes left : 15228
1790.02/1790.02 c max depth : 87
1790.02/1790.02 c max depth (total): 87
1790.02/1790.02 c backtracks : 97378 (10.1%)
1790.02/1790.02 c delayed cutoffs : 62302
1790.02/1790.02 c repropagations : 2244810 (8952925 domain reductions, 57755 cutoffs)
1790.02/1790.02 c avg switch length: 6.41
1790.02/1790.02 c switching time : 190.79
1790.02/1790.02 c Solution :
1790.02/1790.02 c Solutions found : 171 (28 improvements)
1790.02/1790.02 c First Solution : +4.39280000000000e+04 (in run 1, after 1 nodes, 0.33 seconds, depth 0, found by <trysol>)
1790.02/1790.02 c Primal Bound : +3.00000000000000e+01 (in run 1, after 372253 nodes, 703.47 seconds, depth 61, found by <relaxation>)
1790.02/1790.02 c Dual Bound : +0.00000000000000e+00
1790.02/1790.02 c Gap : infinite
1790.02/1790.02 c Root Dual Bound : +0.00000000000000e+00
1790.02/1790.02 c Root Iterations : 357
1790.22/1790.21 c Time complete: 1790.23.