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-2692944-1277911944.wbo>
0.00/0.03 c original problem has 3839 variables (2035 bin, 0 int, 0 impl, 1804 cont) and 4512 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, 1938 impls, 6 clqs
0.07/0.09 c (round 2) 0 del vars, 64 del conss, 1804 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.07/0.10 c (round 3) 41 del vars, 117 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.09/0.11 c (round 4) 87 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.09/0.12 c (round 5) 92 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.09/0.16 c (0.1s) probing: 101/1989 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 92 deleted vars, 122 deleted constraints, 1809 tightened bounds, 0 added holes, 53 changed sides, 0 changed coefficients
0.09/0.16 c 1938 implications, 6 cliques
0.09/0.16 c presolved problem has 3747 variables (1989 bin, 0 int, 0 impl, 1758 cont) and 4390 constraints
0.09/0.16 c 1758 constraints of type <indicator>
0.09/0.16 c 6 constraints of type <setppc>
0.09/0.16 c 1758 constraints of type <linear>
0.09/0.16 c 868 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 0 | 11 | - | 13M| 0 | 0 |3747 |4390 |3747 | 874 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 63 | - | 13M| 0 | 27 |3747 |4390 |3747 | 892 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 88500
0.09/0.18 c y 0.1s| 1 | 0 | 63 | - | 13M| 0 | 27 |3747 |4390 |3747 | 892 | 18 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 89 | - | 14M| 0 | 34 |3747 |4390 |3747 | 911 | 37 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 145 | - | 14M| 0 | 42 |3747 |4390 |3747 | 917 | 43 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 299 | - | 14M| 0 | 46 |3747 |4390 |3747 | 921 | 47 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 303 | - | 14M| 0 | 47 |3747 |4390 |3747 | 925 | 51 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.89/0.98 c 0.9s| 1 | 2 | 303 | - | 14M| 0 | 47 |3747 |4390 |3747 | 925 | 51 | 0 | 33 | 0.000000e+00 | 8.850000e+04 | Inf
8.39/8.48 o 1379
8.39/8.48 c * 8.1s| 1417 | 1411 | 10635 | 7.3 | 22M| 61 | - |3747 |4390 |3747 | 977 |1670 | 0 |1233 | 0.000000e+00 | 1.379000e+03 | Inf
11.29/11.35 o 872
11.29/11.35 c f10.8s| 2480 | 2355 | 17068 | 6.8 | 25M| 61 | - |3747 |4425 |3747 | 974 |2973 | 35 |1410 | 0.000000e+00 | 8.720000e+02 | Inf
11.79/11.86 o 629
11.79/11.86 c *11.3s| 2687 | 2234 | 18327 | 6.7 | 25M| 61 | - |3747 |4438 |3747 | 975 |3153 | 48 |1426 | 0.000000e+00 | 6.290000e+02 | Inf
12.30/12.30 o 623
12.30/12.30 c *11.7s| 2881 | 2386 | 18939 | 6.5 | 26M| 61 | - |3747 |4485 |3747 | 984 |3295 | 96 |1427 | 0.000000e+00 | 6.230000e+02 | Inf
16.09/16.17 o 614
16.09/16.17 c *15.4s| 5206 | 4608 | 22254 | 4.2 | 30M| 121 | - |3747 |4672 |3747 | 990 |3966 | 302 |1469 | 0.000000e+00 | 6.140000e+02 | Inf
16.09/16.19 o 613
16.09/16.19 c *15.4s| 5210 | 4608 | 22267 | 4.2 | 30M| 121 | - |3747 |4672 |3747 | 990 |3966 | 302 |1469 | 0.000000e+00 | 6.130000e+02 | Inf
16.20/16.23 o 600
16.20/16.23 c *15.5s| 5227 | 4589 | 22348 | 4.2 | 31M| 121 | - |3747 |4698 |3747 | 986 |3987 | 328 |1469 | 0.000000e+00 | 6.000000e+02 | Inf
17.99/18.08 o 538
17.99/18.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.99/18.08 c *17.3s| 6497 | 5624 | 24168 | 3.7 | 32M| 153 | - |3747 |4815 |3747 | 987 |4285 | 454 |1489 | 0.000000e+00 | 5.380000e+02 | Inf
18.99/19.07 o 536
18.99/19.07 c *18.2s| 6905 | 5919 | 26662 | 3.8 | 33M| 153 | - |3747 |4989 |3747 | 972 |4576 | 675 |1517 | 0.000000e+00 | 5.360000e+02 | Inf
19.29/19.38 o 520
19.29/19.38 c *18.5s| 7048 | 5917 | 27198 | 3.8 | 33M| 153 | - |3747 |5090 |3747 | 962 |4623 | 788 |1521 | 0.000000e+00 | 5.200000e+02 | Inf
19.70/19.70 o 499
19.70/19.70 c *18.8s| 7227 | 5998 | 27703 | 3.8 | 33M| 153 | - |3747 |5105 |3747 | 954 |4703 | 822 |1521 | 0.000000e+00 | 4.990000e+02 | Inf
19.70/19.71 o 465
19.70/19.71 c *18.8s| 7228 | 5840 | 27703 | 3.8 | 33M| 153 | - |3747 |5105 |3747 | 954 |4703 | 822 |1521 | 0.000000e+00 | 4.650000e+02 | Inf
19.80/19.80 o 412
19.80/19.80 c *18.9s| 7277 | 5611 | 27810 | 3.8 | 32M| 153 | - |3747 |5100 |3747 | 957 |4719 | 822 |1521 | 0.000000e+00 | 4.120000e+02 | Inf
20.99/21.05 o 403
20.99/21.05 c *20.1s| 7980 | 6188 | 29006 | 3.6 | 34M| 153 | - |3747 |5245 |3747 | 962 |4974 |1007 |1530 | 0.000000e+00 | 4.030000e+02 | Inf
22.00/22.06 o 400
22.00/22.06 c *21.1s| 8392 | 6464 | 30929 | 3.6 | 35M| 153 | - |3747 |5360 |3747 | 963 |5308 |1204 |1555 | 0.000000e+00 | 4.000000e+02 | Inf
24.29/24.32 o 377
24.29/24.32 c *23.3s| 9439 | 7052 | 34752 | 3.7 | 37M| 153 | - |3747 |5770 |3747 | 954 |5991 |1929 |1575 | 0.000000e+00 | 3.770000e+02 | Inf
24.39/24.43 o 343
24.39/24.43 c *23.4s| 9489 | 6810 | 34842 | 3.6 | 36M| 153 | - |3747 |5801 |3747 | 957 |6008 |1963 |1576 | 0.000000e+00 | 3.430000e+02 | Inf
24.39/24.47 o 341
24.39/24.47 c *23.4s| 9501 | 6804 | 34868 | 3.6 | 36M| 153 | - |3747 |5808 |3747 | 951 |6008 |1971 |1576 | 0.000000e+00 | 3.410000e+02 | Inf
24.60/24.62 o 331
24.60/24.62 c *23.6s| 9592 | 6741 | 34990 | 3.6 | 36M| 153 | - |3747 |5890 |3747 | 968 |6028 |2063 |1576 | 0.000000e+00 | 3.310000e+02 | Inf
25.39/25.43 c 24.3s| 10000 | 7027 | 35854 | 3.6 | 37M| 153 | 0 |3747 |6015 |3747 | 953 |6181 |2327 |1576 | 0.000000e+00 | 3.310000e+02 | Inf
25.39/25.45 o 316
25.39/25.45 c *24.3s| 10010 | 6867 | 35860 | 3.6 | 36M| 153 | - |3747 |6021 |3747 | 953 |6181 |2334 |1576 | 0.000000e+00 | 3.160000e+02 | Inf
27.80/27.87 o 315
27.80/27.87 c *26.7s| 11138 | 7487 | 39301 | 3.5 | 39M| 153 | - |3747 |6557 |3747 | 966 |6745 |3621 |1606 | 0.000000e+00 | 3.150000e+02 | Inf
29.09/29.13 o 313
29.09/29.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.09/29.13 c *27.9s| 11743 | 7820 | 41481 | 3.5 | 40M| 153 | - |3747 |6589 |3747 | 956 |6972 |4114 |1609 | 0.000000e+00 | 3.130000e+02 | Inf
30.29/30.30 o 310
30.29/30.30 c *29.0s| 12277 | 8201 | 43171 | 3.5 | 41M| 153 | - |3747 |6602 |3747 | 952 |7296 |4474 |1611 | 0.000000e+00 | 3.100000e+02 | Inf
30.29/30.36 o 290
30.29/30.36 c *29.0s| 12296 | 7982 | 43217 | 3.5 | 40M| 153 | - |3747 |6591 |3747 | 952 |7299 |4474 |1611 | 0.000000e+00 | 2.900000e+02 | Inf
30.29/30.36 o 287
30.29/30.36 c *29.0s| 12297 | 7933 | 43217 | 3.5 | 40M| 153 | - |3747 |6591 |3747 | 952 |7299 |4474 |1611 | 0.000000e+00 | 2.870000e+02 | Inf
30.89/30.91 o 284
30.89/30.91 c *29.6s| 12521 | 8002 | 44124 | 3.5 | 40M| 153 | - |3747 |6594 |3747 | 952 |7508 |4710 |1612 | 0.000000e+00 | 2.840000e+02 | Inf
31.39/31.43 o 265
31.39/31.43 c *30.1s| 12732 | 7837 | 44730 | 3.5 | 40M| 153 | - |3747 |6582 |3747 | 952 |7598 |4846 |1612 | 0.000000e+00 | 2.650000e+02 | Inf
31.39/31.43 o 262
31.39/31.43 c *30.1s| 12733 | 7783 | 44730 | 3.5 | 40M| 153 | - |3747 |6582 |3747 | 952 |7598 |4846 |1612 | 0.000000e+00 | 2.620000e+02 | Inf
33.69/33.79 o 261
33.69/33.79 c *32.3s| 13601 | 8263 | 50603 | 3.7 | 42M| 153 | - |3747 |5853 |3747 | 967 |8574 |5491 |1653 | 0.000000e+00 | 2.610000e+02 | Inf
33.79/33.82 o 255
33.79/33.82 c *32.4s| 13607 | 8186 | 50613 | 3.7 | 41M| 153 | - |3747 |5858 |3747 | 967 |8574 |5500 |1653 | 0.000000e+00 | 2.550000e+02 | Inf
33.79/33.87 o 247
33.79/33.87 c *32.4s| 13624 | 8076 | 50643 | 3.7 | 41M| 153 | - |3747 |5867 |3747 | 957 |8576 |5517 |1653 | 0.000000e+00 | 2.470000e+02 | Inf
34.19/34.29 o 243
34.19/34.29 c *32.8s| 13766 | 8042 | 51991 | 3.8 | 41M| 153 | - |3747 |5710 |3747 | 988 |8688 |5615 |1661 | 0.000000e+00 | 2.430000e+02 | Inf
34.49/34.51 o 221
34.49/34.51 c *33.0s| 13829 | 7533 | 52749 | 3.8 | 39M| 153 | - |3747 |5650 |3747 | 978 |8827 |5665 |1663 | 0.000000e+00 | 2.210000e+02 | Inf
34.59/34.68 o 220
34.59/34.68 c *33.2s| 13875 | 7535 | 53321 | 3.8 | 40M| 153 | - |3747 |5528 |3747 | 968 |8904 |5685 |1669 | 0.000000e+00 | 2.200000e+02 | Inf
38.59/38.62 o 177
38.59/38.62 c *37.0s| 15273 | 7076 | 66260 | 4.3 | 40M| 153 | - |3747 |5338 |3747 | 966 | 10k|6611 |1709 | 0.000000e+00 | 1.770000e+02 | Inf
38.69/38.72 o 165
38.69/38.72 c *37.0s| 15300 | 6679 | 66624 | 4.3 | 38M| 153 | - |3747 |5339 |3747 | 970 | 10k|6623 |1710 | 0.000000e+00 | 1.650000e+02 | Inf
39.40/39.46 o 160
39.40/39.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.40/39.46 c *37.8s| 15572 | 6651 | 68095 | 4.4 | 39M| 153 | - |3747 |5223 |3747 | 964 | 10k|6748 |1714 | 0.000000e+00 | 1.600000e+02 | Inf
41.49/41.52 o 124
41.49/41.52 c *39.7s| 16240 | 5557 | 74560 | 4.6 | 37M| 153 | - |3747 |5112 |3747 | 946 | 11k|7135 |1736 | 0.000000e+00 | 1.240000e+02 | Inf
43.80/43.89 o 115
43.80/43.89 c *42.0s| 17032 | 5293 | 81905 | 4.8 | 38M| 153 | - |3747 |5078 |3747 | 959 | 12k|7565 |1751 | 0.000000e+00 | 1.150000e+02 | Inf
44.19/44.22 o 114
44.19/44.22 c *42.3s| 17151 | 5328 | 82395 | 4.8 | 38M| 153 | - |3747 |5095 |3747 | 942 | 12k|7609 |1751 | 0.000000e+00 | 1.140000e+02 | Inf
44.19/44.27 o 104
44.19/44.27 c *42.4s| 17162 | 5023 | 82539 | 4.8 | 37M| 153 | - |3747 |5097 |3747 | 948 | 12k|7614 |1752 | 0.000000e+00 | 1.040000e+02 | Inf
44.30/44.33 o 92
44.30/44.33 c *42.4s| 17177 | 4343 | 82700 | 4.8 | 34M| 153 | - |3747 |5095 |3747 | 964 | 12k|7616 |1752 | 0.000000e+00 | 9.200000e+01 | Inf
44.30/44.38 o 90
44.30/44.38 c *42.5s| 17189 | 4176 | 82810 | 4.8 | 34M| 153 | - |3747 |4917 |3747 | 945 | 12k|7622 |1752 | 0.000000e+00 | 9.000000e+01 | Inf
44.49/44.53 o 87
44.49/44.53 c *42.6s| 17245 | 3934 | 83119 | 4.8 | 33M| 153 | - |3747 |4884 |3747 | 965 | 12k|7666 |1752 | 0.000000e+00 | 8.700000e+01 | Inf
44.49/44.53 o 77
44.49/44.53 c *42.6s| 17246 | 3651 | 83119 | 4.8 | 32M| 153 | - |3747 |4884 |3747 | 965 | 12k|7666 |1752 | 0.000000e+00 | 7.700000e+01 | Inf
45.20/45.26 o 58
45.20/45.26 c *43.3s| 17544 | 2975 | 85205 | 4.8 | 30M| 153 | - |3747 |4794 |3747 | 972 | 12k|7914 |1758 | 0.000000e+00 | 5.800000e+01 | Inf
45.20/45.27 o 54
45.20/45.27 c *43.3s| 17545 | 2767 | 85205 | 4.8 | 30M| 153 | - |3747 |4794 |3747 | 972 | 12k|7914 |1758 | 0.000000e+00 | 5.400000e+01 | Inf
45.29/45.30 o 31
45.29/45.30 c *43.4s| 17554 | 2222 | 85270 | 4.8 | 28M| 153 | - |3747 |4372 |3747 | 967 | 12k|7914 |1758 | 0.000000e+00 | 3.100000e+01 | Inf
45.29/45.30 o 27
45.29/45.30 c *43.4s| 17555 | 2054 | 85270 | 4.8 | 27M| 153 | - |3747 |4372 |3747 | 967 | 12k|7914 |1758 | 0.000000e+00 | 2.700000e+01 | Inf
45.29/45.34 o 23
45.29/45.34 c *43.4s| 17561 | 1249 | 85378 | 4.8 | 25M| 153 | - |3747 |3904 |3747 | 962 | 12k|7916 |1758 | 0.000000e+00 | 2.300000e+01 | Inf
49.69/49.73 c 47.5s| 20000 | 1074 |100973 | 5.0 | 26M| 153 | 1 |3747 |4839 |3747 | 933 | 13k| 10k|1779 | 0.000000e+00 | 2.300000e+01 | Inf
63.29/63.39 o 20
63.29/63.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.29/63.39 c *60.4s| 28323 | 1278 |136284 | 4.8 | 30M| 153 | - |3747 |7650 |3747 | 937 | 15k| 21k|1779 | 0.000000e+00 | 2.000000e+01 | Inf
66.30/66.31 c 63.2s| 30000 | 1294 |144972 | 4.8 | 30M| 153 | 21 |3747 |7372 |3747 | 974 | 15k| 23k|1779 | 0.000000e+00 | 2.000000e+01 | Inf
83.29/83.40 c 79.3s| 40000 | 1401 |194669 | 4.9 | 33M| 153 | 1 |3747 |7604 |3747 | 943 | 18k| 37k|1779 | 0.000000e+00 | 2.000000e+01 | Inf
100.40/100.45 c 95.4s| 50000 | 1479 |241341 | 4.8 | 36M| 153 | 1 |3747 |8062 |3747 | 937 | 20k| 50k|1779 | 0.000000e+00 | 2.000000e+01 | Inf
118.00/118.00 c 112s| 60000 | 1613 |294274 | 4.9 | 39M| 153 | - |3747 |8833 | 0 | 0 | 24k| 62k|1882 | 0.000000e+00 | 2.000000e+01 | Inf
136.59/136.63 c 130s| 70000 | 1922 |352799 | 5.0 | 42M| 153 | 1 |3747 |8405 |3747 | 932 | 27k| 75k|1993 | 0.000000e+00 | 2.000000e+01 | Inf
155.29/155.37 c 147s| 80000 | 2016 |412338 | 5.2 | 45M| 153 | 1 |3747 |8999 |3747 | 952 | 30k| 88k|2171 | 0.000000e+00 | 2.000000e+01 | Inf
173.80/173.89 c 165s| 90000 | 2119 |468506 | 5.2 | 47M| 153 | 16 |3747 |9272 |3747 | 954 | 33k| 101k|2316 | 0.000000e+00 | 2.000000e+01 | Inf
193.00/193.00 c 183s|100000 | 2131 |528181 | 5.3 | 49M| 153 | 11 |3747 |8740 |3747 | 940 | 35k| 114k|2500 | 0.000000e+00 | 2.000000e+01 | Inf
207.70/207.79 o 7
207.70/207.79 c * 197s|108468 | 1805 |565879 | 5.2 | 42M| 153 | - |3747 | 10k|3747 | 961 | 37k| 125k|2605 | 0.000000e+00 | 7.000000e+00 | Inf
210.29/210.30 c 199s|110000 | 1805 |572871 | 5.2 | 42M| 153 | - |3747 | 10k| 0 | 0 | 38k| 127k|2613 | 0.000000e+00 | 7.000000e+00 | Inf
228.20/228.22 c 216s|120000 | 1623 |632092 | 5.3 | 40M| 153 | 14 |3747 |8849 |3747 | 957 | 41k| 140k|2748 | 0.000000e+00 | 7.000000e+00 | Inf
246.20/246.26 c 233s|130000 | 1450 |699539 | 5.4 | 39M| 153 | - |3747 |7797 | 0 | 0 | 43k| 153k|2904 | 0.000000e+00 | 7.000000e+00 | Inf
264.10/264.15 c 250s|140000 | 1480 |759317 | 5.4 | 40M| 153 | 1 |3747 | 10k|3747 | 946 | 46k| 167k|3036 | 0.000000e+00 | 7.000000e+00 | Inf
282.50/282.54 c 267s|150000 | 1535 |817369 | 5.4 | 42M| 153 | 17 |3747 | 13k|3747 | 947 | 49k| 180k|3114 | 0.000000e+00 | 7.000000e+00 | Inf
303.70/303.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.70/303.77 c 288s|160000 | 1581 |888304 | 5.6 | 43M| 153 | - |3747 | 13k| 0 | 0 | 51k| 194k|3215 | 0.000000e+00 | 7.000000e+00 | Inf
323.30/323.38 c 306s|170000 | 1596 |947883 | 5.6 | 44M| 153 | 7 |3747 | 16k|3747 | 961 | 53k| 208k|3333 | 0.000000e+00 | 7.000000e+00 | Inf
342.30/342.35 c 324s|180000 | 1596 | 1005k| 5.6 | 44M| 153 | - |3747 | 14k| 0 | 0 | 56k| 221k|3451 | 0.000000e+00 | 7.000000e+00 | Inf
361.40/361.48 c 342s|190000 | 1615 | 1055k| 5.6 | 46M| 153 | - |3747 | 17k| 0 | 0 | 58k| 235k|3555 | 0.000000e+00 | 7.000000e+00 | Inf
381.40/381.46 c 361s|200000 | 1772 | 1102k| 5.5 | 48M| 153 | - |3747 | 19k| 0 | 0 | 61k| 248k|3646 | 0.000000e+00 | 7.000000e+00 | Inf
398.91/398.90 o 6
398.91/398.90 c * 378s|208731 | 1748 | 1143k| 5.5 | 48M| 153 | - |3747 | 18k|3747 | 953 | 63k| 260k|3708 | 0.000000e+00 | 6.000000e+00 | Inf
401.51/401.55 c 380s|210000 | 1751 | 1149k| 5.5 | 48M| 153 | - |3747 | 16k| 0 | 0 | 63k| 261k|3711 | 0.000000e+00 | 6.000000e+00 | Inf
421.71/421.71 c 399s|220000 | 1919 | 1207k| 5.5 | 50M| 153 | 14 |3747 | 19k|3747 | 979 | 65k| 275k|3797 | 0.000000e+00 | 6.000000e+00 | Inf
442.31/442.37 c 419s|230000 | 2046 | 1264k| 5.5 | 51M| 153 | 13 |3747 | 18k|3747 | 989 | 67k| 289k|3867 | 0.000000e+00 | 6.000000e+00 | Inf
462.01/462.06 c 438s|240000 | 2028 | 1316k| 5.5 | 52M| 153 | - |3747 | 19k| 0 | 0 | 69k| 304k|3922 | 0.000000e+00 | 6.000000e+00 | Inf
482.41/482.42 c 457s|250000 | 2111 | 1370k| 5.5 | 52M| 153 | - |3747 | 19k| 0 | 0 | 71k| 318k|4007 | 0.000000e+00 | 6.000000e+00 | Inf
503.11/503.10 c 477s|260000 | 2050 | 1426k| 5.5 | 52M| 153 | - |3747 | 17k| 0 | 0 | 72k| 332k|4078 | 0.000000e+00 | 6.000000e+00 | Inf
522.81/522.87 c 496s|270000 | 2050 | 1482k| 5.5 | 52M| 153 | 14 |3747 | 16k|3747 | 964 | 74k| 347k|4131 | 0.000000e+00 | 6.000000e+00 | Inf
541.81/541.84 c 514s|280000 | 2040 | 1538k| 5.5 | 52M| 153 | - |3747 | 16k| 0 | 0 | 76k| 360k|4198 | 0.000000e+00 | 6.000000e+00 | Inf
561.71/561.77 c 533s|290000 | 2052 | 1596k| 5.5 | 54M| 153 | - |3747 | 18k| 0 | 0 | 77k| 375k|4286 | 0.000000e+00 | 6.000000e+00 | Inf
581.51/581.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.51/581.56 c 551s|300000 | 2054 | 1652k| 5.5 | 53M| 153 | 9 |3747 | 17k|3747 | 969 | 79k| 389k|4349 | 0.000000e+00 | 6.000000e+00 | Inf
602.32/602.36 c 571s|310000 | 2076 | 1712k| 5.5 | 54M| 153 | 1 |3747 | 17k|3747 | 943 | 81k| 404k|4405 | 0.000000e+00 | 6.000000e+00 | Inf
622.71/622.76 c 590s|320000 | 2072 | 1769k| 5.5 | 54M| 153 | - |3747 | 18k| 0 | 0 | 83k| 417k|4471 | 0.000000e+00 | 6.000000e+00 | Inf
643.91/643.94 c 611s|330000 | 2048 | 1831k| 5.6 | 55M| 153 | 26 |3747 | 19k|3747 | 967 | 84k| 431k|4575 | 0.000000e+00 | 6.000000e+00 | Inf
663.82/663.81 c 629s|340000 | 2045 | 1884k| 5.5 | 55M| 153 | 3 |3747 | 18k|3747 | 949 | 87k| 445k|4637 | 0.000000e+00 | 6.000000e+00 | Inf
684.52/684.55 c 649s|350000 | 2053 | 1940k| 5.5 | 57M| 153 | - |3747 | 22k| 0 | 0 | 89k| 459k|4714 | 0.000000e+00 | 6.000000e+00 | Inf
704.61/704.64 c 668s|360000 | 2046 | 1986k| 5.5 | 56M| 153 | 19 |3747 | 18k|3747 | 965 | 91k| 472k|4783 | 0.000000e+00 | 6.000000e+00 | Inf
725.52/725.54 c 688s|370000 | 2071 | 2044k| 5.5 | 57M| 153 | 18 |3747 | 19k|3747 | 965 | 93k| 486k|4845 | 0.000000e+00 | 6.000000e+00 | Inf
740.52/740.51 o 5
740.52/740.51 c * 703s|376952 | 2044 | 2085k| 5.5 | 57M| 153 | - |3747 | 21k|3747 | 983 | 94k| 495k|4895 | 0.000000e+00 | 5.000000e+00 | Inf
746.82/746.85 c 709s|380000 | 2040 | 2102k| 5.5 | 56M| 153 | 1 |3747 | 17k|3747 | 943 | 95k| 499k|4913 | 0.000000e+00 | 5.000000e+00 | Inf
766.82/766.88 c 728s|390000 | 2051 | 2154k| 5.5 | 57M| 153 | 1 |3747 | 19k|3747 | 965 | 98k| 514k|4966 | 0.000000e+00 | 5.000000e+00 | Inf
787.42/787.42 c 747s|400000 | 2121 | 2208k| 5.5 | 58M| 153 | 1 |3747 | 21k|3747 | 978 | 100k| 528k|5022 | 0.000000e+00 | 5.000000e+00 | Inf
808.42/808.46 c 767s|410000 | 2135 | 2263k| 5.5 | 59M| 153 | - |3747 | 21k| 0 | 0 | 102k| 542k|5087 | 0.000000e+00 | 5.000000e+00 | Inf
829.52/829.52 c 788s|420000 | 2076 | 2317k| 5.5 | 57M| 153 | - |3747 | 16k| 0 | 0 | 104k| 555k|5158 | 0.000000e+00 | 5.000000e+00 | Inf
849.13/849.14 c 806s|430000 | 2103 | 2366k| 5.5 | 58M| 153 | 1 |3747 | 18k|3747 | 950 | 106k| 569k|5201 | 0.000000e+00 | 5.000000e+00 | Inf
869.52/869.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.52/869.51 c 826s|440000 | 2075 | 2419k| 5.5 | 58M| 153 | - |3747 | 16k| 0 | 0 | 109k| 582k|5261 | 0.000000e+00 | 5.000000e+00 | Inf
889.62/889.68 c 845s|450000 | 2131 | 2475k| 5.5 | 59M| 153 | - |3747 | 17k| 0 | 0 | 112k| 595k|5310 | 0.000000e+00 | 5.000000e+00 | Inf
910.62/910.61 c 865s|460000 | 2142 | 2530k| 5.5 | 60M| 153 | - |3747 | 20k| 0 | 0 | 115k| 609k|5361 | 0.000000e+00 | 5.000000e+00 | Inf
933.12/933.18 c 887s|470000 | 2155 | 2596k| 5.5 | 61M| 153 | - |3747 | 20k| 0 | 0 | 117k| 623k|5448 | 0.000000e+00 | 5.000000e+00 | Inf
955.93/955.93 c 909s|480000 | 2134 | 2657k| 5.5 | 61M| 153 | 1 |3747 | 20k|3747 | 979 | 118k| 636k|5517 | 0.000000e+00 | 5.000000e+00 | Inf
977.83/977.84 c 929s|490000 | 2053 | 2713k| 5.5 | 59M| 153 | 1 |3747 | 16k|3747 | 954 | 120k| 650k|5611 | 0.000000e+00 | 5.000000e+00 | Inf
997.74/997.72 c 948s|500000 | 2035 | 2771k| 5.5 | 58M| 153 | 19 |3747 | 14k|3747 | 954 | 122k| 664k|5669 | 0.000000e+00 | 5.000000e+00 | Inf
1017.13/1017.12 c 967s|510000 | 2009 | 2831k| 5.6 | 59M| 153 | - |3747 | 15k| 0 | 0 | 124k| 678k|5748 | 0.000000e+00 | 5.000000e+00 | Inf
1018.53/1018.53 o 2
1018.53/1018.53 c * 968s|510673 | 1110 | 2835k| 5.6 | 41M| 153 | - |3747 | 14k|3747 | 977 | 124k| 679k|5752 | 0.000000e+00 | 2.000000e+00 | Inf
1035.23/1035.21 c 984s|520000 | 959 | 2888k| 5.6 | 38M| 153 | - |3747 | 11k| 0 | 0 | 127k| 692k|5842 | 0.000000e+00 | 2.000000e+00 | Inf
1053.84/1053.82 c 1002s|530000 | 964 | 2944k| 5.6 | 40M| 153 | - |3747 | 17k| 0 | 0 | 129k| 705k|5900 | 0.000000e+00 | 2.000000e+00 | Inf
1073.32/1073.36 c 1021s|540000 | 875 | 3006k| 5.6 | 37M| 153 | - |3747 | 13k| 0 | 0 | 132k| 718k|6054 | 0.000000e+00 | 2.000000e+00 | Inf
1092.83/1092.82 c 1039s|550000 | 888 | 3065k| 5.6 | 38M| 153 | - |3747 | 16k| 0 | 0 | 135k| 731k|6130 | 0.000000e+00 | 2.000000e+00 | Inf
1113.83/1113.86 c 1059s|560000 | 883 | 3131k| 5.6 | 38M| 153 | 24 |3747 | 15k|3747 | 962 | 138k| 745k|6191 | 0.000000e+00 | 2.000000e+00 | Inf
1134.23/1134.26 c 1079s|570000 | 880 | 3193k| 5.6 | 39M| 153 | 13 |3747 | 18k|3747 | 945 | 141k| 757k|6252 | 0.000000e+00 | 2.000000e+00 | Inf
1154.83/1154.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.83/1154.89 c 1098s|580000 | 898 | 3252k| 5.6 | 40M| 153 | - |3747 | 22k| 0 | 0 | 144k| 771k|6295 | 0.000000e+00 | 2.000000e+00 | Inf
1176.33/1176.39 c 1119s|590000 | 907 | 3315k| 5.6 | 39M| 153 | 13 |3747 | 19k|3747 | 957 | 147k| 783k|6361 | 0.000000e+00 | 2.000000e+00 | Inf
1198.13/1198.18 c 1140s|600000 | 908 | 3381k| 5.6 | 40M| 153 | 9 |3747 | 21k|3747 | 935 | 149k| 796k|6417 | 0.000000e+00 | 2.000000e+00 | Inf
1219.74/1219.78 c 1160s|610000 | 910 | 3440k| 5.6 | 42M| 153 | - |3747 | 26k| 0 | 0 | 151k| 810k|6472 | 0.000000e+00 | 2.000000e+00 | Inf
1243.63/1243.68 c 1183s|620000 | 906 | 3499k| 5.6 | 43M| 153 | - |3747 | 28k| 0 | 0 | 153k| 824k|6511 | 0.000000e+00 | 2.000000e+00 | Inf
1268.14/1268.19 c 1207s|630000 | 955 | 3563k| 5.7 | 43M| 153 | 5 |3747 | 28k|3747 | 986 | 156k| 837k|6562 | 0.000000e+00 | 2.000000e+00 | Inf
1293.24/1293.24 c 1231s|640000 | 1017 | 3622k| 5.7 | 44M| 153 | 13 |3747 | 30k|3747 | 957 | 158k| 850k|6602 | 0.000000e+00 | 2.000000e+00 | Inf
1319.84/1319.90 c 1257s|650000 | 1031 | 3684k| 5.7 | 44M| 153 | 9 |3747 | 28k|3747 | 947 | 160k| 864k|6644 | 0.000000e+00 | 2.000000e+00 | Inf
1344.25/1344.24 c 1280s|660000 | 1202 | 3742k| 5.7 | 46M| 153 | - |3747 | 30k| 0 | 0 | 163k| 877k|6697 | 0.000000e+00 | 2.000000e+00 | Inf
1368.94/1368.99 c 1304s|670000 | 1217 | 3801k| 5.7 | 46M| 153 | - |3747 | 29k| 0 | 0 | 165k| 892k|6744 | 0.000000e+00 | 2.000000e+00 | Inf
1394.34/1394.35 c 1328s|680000 | 1321 | 3864k| 5.7 | 48M| 153 | 13 |3747 | 33k|3747 | 956 | 168k| 906k|6789 | 0.000000e+00 | 2.000000e+00 | Inf
1420.14/1420.17 c 1353s|690000 | 1226 | 3926k| 5.7 | 47M| 153 | 22 |3747 | 30k|3747 | 959 | 171k| 920k|6838 | 0.000000e+00 | 2.000000e+00 | Inf
1445.84/1445.82 c 1378s|700000 | 1150 | 3988k| 5.7 | 47M| 153 | 21 |3747 | 31k|3747 | 968 | 173k| 935k|6892 | 0.000000e+00 | 2.000000e+00 | Inf
1471.94/1471.90 c 1403s|710000 | 1054 | 4053k| 5.7 | 45M| 153 | 1 |3747 | 28k|3747 | 947 | 175k| 949k|6946 | 0.000000e+00 | 2.000000e+00 | Inf
1494.95/1494.95 c 1425s|720000 | 1045 | 4109k| 5.7 | 45M| 153 | - |3747 | 28k| 0 | 0 | 178k| 962k|6980 | 0.000000e+00 | 2.000000e+00 | Inf
1518.94/1518.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.94/1518.94 c 1448s|730000 | 999 | 4167k| 5.7 | 43M| 153 | - |3747 | 25k|3747 | 957 | 180k| 976k|7006 | 0.000000e+00 | 2.000000e+00 | Inf
1542.05/1542.03 c 1471s|740000 | 978 | 4222k| 5.7 | 45M| 153 | 18 |3747 | 29k|3747 | 959 | 182k| 990k|7053 | 0.000000e+00 | 2.000000e+00 | Inf
1564.34/1564.34 c 1492s|750000 | 944 | 4281k| 5.7 | 42M| 153 | - |3747 | 24k| 0 | 0 | 185k|1004k|7120 | 0.000000e+00 | 2.000000e+00 | Inf
1586.85/1586.88 c 1514s|760000 | 938 | 4344k| 5.7 | 43M| 153 | - |3747 | 24k| 0 | 0 | 189k|1017k|7175 | 0.000000e+00 | 2.000000e+00 | Inf
1608.45/1608.43 c 1534s|770000 | 910 | 4403k| 5.7 | 42M| 153 | - |3747 | 23k| 0 | 0 | 191k|1031k|7282 | 0.000000e+00 | 2.000000e+00 | Inf
1631.15/1631.19 c 1556s|780000 | 888 | 4465k| 5.7 | 40M| 153 | - |3747 | 17k| 0 | 0 | 193k|1044k|7346 | 0.000000e+00 | 2.000000e+00 | Inf
1653.15/1653.16 c 1577s|790000 | 953 | 4541k| 5.7 | 41M| 153 | - |3747 | 21k| 0 | 0 | 197k|1057k|7394 | 0.000000e+00 | 2.000000e+00 | Inf
1675.05/1675.02 c 1598s|800000 | 846 | 4607k| 5.8 | 40M| 153 | 16 |3747 | 22k|3747 | 935 | 200k|1071k|7447 | 0.000000e+00 | 2.000000e+00 | Inf
1694.76/1694.79 c 1617s|810000 | 743 | 4661k| 5.8 | 39M| 153 | 1 |3747 | 20k|3747 | 936 | 203k|1083k|7548 | 0.000000e+00 | 2.000000e+00 | Inf
1715.15/1715.17 c 1637s|820000 | 731 | 4710k| 5.7 | 40M| 153 | - |3747 | 24k| 0 | 0 | 205k|1095k|7572 | 0.000000e+00 | 2.000000e+00 | Inf
1737.45/1737.42 c 1658s|830000 | 781 | 4759k| 5.7 | 41M| 153 | - |3747 | 25k| 0 | 0 | 207k|1108k|7598 | 0.000000e+00 | 2.000000e+00 | Inf
1760.75/1760.74 c 1681s|840000 | 756 | 4820k| 5.7 | 42M| 153 | - |3747 | 26k| 0 | 0 | 210k|1121k|7645 | 0.000000e+00 | 2.000000e+00 | Inf
1782.25/1782.27 c 1701s|850000 | 657 | 4877k| 5.7 | 39M| 153 | 19 |3747 | 20k|3747 | 969 | 212k|1134k|7706 | 0.000000e+00 | 2.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1718.22
1800.06/1800.00 c Solving Nodes : 858408
1800.06/1800.00 c Primal Bound : +2.00000000000000e+00 (167 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.03 s SATISFIABLE
1800.06/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.06/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.06/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.06/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.06/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.06/1800.03 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.06/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.06/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.06/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.06/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.06/1800.03 v -x1
1800.06/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.03 c Solving Time : 1718.22
1800.06/1800.03 c Original Problem :
1800.06/1800.03 c Problem name : HOME/instance-2692944-1277911944.wbo
1800.06/1800.03 c Variables : 3839 (2035 binary, 0 integer, 0 implicit integer, 1804 continuous)
1800.06/1800.03 c Constraints : 4512 initial, 4512 maximal
1800.06/1800.03 c Presolved Problem :
1800.06/1800.03 c Problem name : t_HOME/instance-2692944-1277911944.wbo
1800.06/1800.03 c Variables : 3747 (1989 binary, 0 integer, 0 implicit integer, 1758 continuous)
1800.06/1800.03 c Constraints : 4390 initial, 33262 maximal
1800.06/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.03 c trivial : 0.00 46 0 0 0 0 0 0 0
1800.06/1800.03 c dualfix : 0.00 46 0 0 0 0 0 0 0
1800.06/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.03 c indicator : 0.00 0 0 0 0 0 46 0 0
1800.06/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c linear : 0.04 0 0 0 1809 0 76 53 0
1800.06/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c root node : - 1741 - - 3482 - - - -
1800.06/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.03 c integral : 0 0 0 495520 0 31 524 0 0 911624
1800.06/1800.03 c indicator : 1758 0 4647574 38365 0 136 1762951 0 0 0
1800.06/1800.03 c setppc : 6 6 4770463 37650 0 39693 809754 0 0 0
1800.06/1800.03 c linear : 1758 6 4743907 39140 0 211811 19596734 214425 0 0
1800.06/1800.03 c logicor : 868+ 6 1558661 11951 0 173082 3766740 0 0 0
1800.06/1800.03 c bounddisjunction : 0+ 0 26724 0 0 0 3 0 0 0
1800.06/1800.03 c countsols : 0 0 0 11951 0 0 0 0 0 0
1800.06/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.03 c integral : 19.83 0.00 0.00 19.83 0.00
1800.06/1800.03 c indicator : 9.79 0.00 7.47 2.32 0.00
1800.06/1800.03 c setppc : 7.37 0.00 7.37 0.00 0.00
1800.06/1800.03 c linear : 148.96 0.01 146.95 2.00 0.00
1800.06/1800.03 c logicor : 287.42 0.00 287.34 0.08 0.00
1800.06/1800.03 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.03 c vbounds : 0.00 2 0 0
1800.06/1800.03 c rootredcost : 0.00 56 0 1741
1800.06/1800.03 c pseudoobj : 154.95 4786161 2296 1270843
1800.06/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.03 c propagation : 22.32 426882 426729 2563334 26.8 15279 22.2 -
1800.06/1800.03 c infeasible LP : 7.07 23691 23691 189560 43.8 282 15.4 0
1800.06/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.03 c pseudo solution : 0.01 100 100 610 18.8 123 4.7 -
1800.06/1800.03 c applied globally : - - - 1144961 22.0 - - -
1800.06/1800.03 c applied locally : - - - 0 0.0 - - -
1800.06/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.03 c cut pool : 0.00 4 - - 8 - (maximal pool size: 142)
1800.06/1800.03 c redcost : 24.12 498442 0 447800 0 0
1800.06/1800.03 c impliedbounds : 0.00 5 0 0 0 0
1800.06/1800.03 c intobj : 0.00 0 0 0 0 0
1800.06/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.03 c gomory : 0.10 5 0 0 725 0
1800.06/1800.03 c strongcg : 0.05 5 0 0 0 0
1800.06/1800.03 c cmir : 0.02 5 0 0 0 0
1800.06/1800.03 c flowcover : 0.06 5 0 0 0 0
1800.06/1800.03 c clique : 0.00 5 0 0 0 0
1800.06/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.03 c mcf : 0.00 1 0 0 0 0
1800.06/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.03 c Pricers : Time Calls Vars
1800.06/1800.03 c problem variables: 0.00 0 0
1800.06/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.03 c relpscost : 19.65 456271 31 524 0 0 911624
1800.06/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.03 c inference : 1.91 11897 0 0 0 0 23794
1800.06/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.03 c random : 0.00 0 0 0 0 0 0
1800.06/1800.03 c Primal Heuristics : Time Calls Found
1800.06/1800.03 c LP solutions : 0.09 - 54
1800.06/1800.03 c pseudo solutions : 0.00 - 0
1800.06/1800.03 c feaspump : 0.00 0 0
1800.06/1800.03 c oneopt : 0.18 50 0
1800.06/1800.03 c intshifting : 0.01 11 0
1800.06/1800.03 c crossover : 1.06 46 0
1800.06/1800.03 c fracdiving : 0.36 407 1
1800.06/1800.03 c veclendiving : 0.41 407 0
1800.06/1800.03 c coefdiving : 0.41 407 0
1800.06/1800.03 c linesearchdiving : 0.48 407 0
1800.06/1800.03 c guideddiving : 0.37 407 0
1800.06/1800.03 c pscostdiving : 0.43 408 0
1800.06/1800.03 c objpscostdiving : 0.41 371 0
1800.06/1800.03 c rootsoldiving : 0.48 372 0
1800.06/1800.03 c trivial : 0.02 2 0
1800.06/1800.03 c simplerounding : 0.68 457149 0
1800.06/1800.03 c zirounding : 0.27 1000 0
1800.06/1800.03 c rounding : 1.94 9581 0
1800.06/1800.03 c shifting : 1.10 2972 0
1800.06/1800.03 c twoopt : 0.00 0 0
1800.06/1800.03 c fixandinfer : 0.00 0 0
1800.06/1800.03 c intdiving : 0.00 0 0
1800.06/1800.03 c actconsdiving : 0.00 0 0
1800.06/1800.03 c octane : 0.00 0 0
1800.06/1800.03 c rens : 0.03 1 0
1800.06/1800.03 c rins : 0.00 0 0
1800.06/1800.03 c localbranching : 0.00 0 0
1800.06/1800.03 c mutation : 0.00 0 0
1800.06/1800.03 c dins : 0.00 0 0
1800.06/1800.03 c undercover : 0.00 0 0
1800.06/1800.03 c nlp : 0.00 0 0
1800.06/1800.03 c trysol : 1.76 7290 112
1800.06/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.03 c dual LP : 578.01 509042 4923382 9.67 8517.81
1800.06/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.03 c diving/probing LP: 0.28 216 2275 10.53 8125.00
1800.06/1800.03 c strong branching : 15.58 7710 167303 21.70 10738.32
1800.06/1800.03 c (at root node) : - 33 6517 197.48 -
1800.06/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.03 c B&B Tree :
1800.06/1800.03 c number of runs : 1
1800.06/1800.03 c nodes : 858408
1800.06/1800.03 c nodes (total) : 858408
1800.06/1800.03 c nodes left : 656
1800.06/1800.03 c max depth : 153
1800.06/1800.03 c max depth (total): 153
1800.06/1800.03 c backtracks : 75154 (8.8%)
1800.06/1800.03 c delayed cutoffs : 63052
1800.06/1800.03 c repropagations : 2525897 (4325970 domain reductions, 59906 cutoffs)
1800.06/1800.03 c avg switch length: 7.23
1800.06/1800.03 c switching time : 260.71
1800.06/1800.03 c Solution :
1800.06/1800.03 c Solutions found : 167 (56 improvements)
1800.06/1800.03 c First Solution : +8.85000000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.06/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 510673 nodes, 968.34 seconds, depth 59, found by <relaxation>)
1800.06/1800.03 c Dual Bound : +0.00000000000000e+00
1800.06/1800.03 c Gap : infinite
1800.06/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.03 c Root Iterations : 303
1800.06/1800.09 c Time complete: 1800.14.