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-2693397-1277901694.wbo>
0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.03/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.12 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/1943 (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 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17 c 1913 implications, 7 cliques
0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.17 c 1712 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1712 constraints of type <linear>
0.09/0.17 c 898 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 18 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 86784
0.09/0.19 c y 0.1s| 1 | 0 | 18 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 55 | - | 13M| 0 | 25 |3655 |4329 |3655 | 926 | 21 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 107 | - | 13M| 0 | 31 |3655 |4329 |3655 | 947 | 42 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 155 | - | 14M| 0 | 39 |3655 |4329 |3655 | 956 | 51 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 185 | - | 14M| 0 | 47 |3655 |4329 |3655 | 965 | 60 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 212 | - | 14M| 0 | 46 |3655 |4329 |3655 | 970 | 65 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 217 | - | 14M| 0 | 46 |3655 |4329 |3655 | 974 | 69 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.99/1.06 c 1.0s| 1 | 2 | 217 | - | 14M| 0 | 46 |3655 |4329 |3655 | 974 | 69 | 0 | 33 | 0.000000e+00 | 8.678400e+04 | Inf
3.09/3.15 o 693
3.09/3.15 c * 3.0s| 1393 | 1387 | 753 | 0.4 | 17M|1391 | - |3655 |4335 |3655 | 990 | 89 | 6 | 145 | 0.000000e+00 | 6.930000e+02 | Inf
4.19/4.21 o 671
4.19/4.21 c * 4.0s| 1556 | 1522 | 1594 | 0.9 | 18M|1391 | - |3655 |4375 |3655 |1009 | 163 | 46 | 415 | 0.000000e+00 | 6.710000e+02 | Inf
4.19/4.22 o 667
4.19/4.22 c * 4.0s| 1557 | 1520 | 1597 | 0.9 | 18M|1391 | - |3655 |4375 |3655 |1009 | 163 | 46 | 415 | 0.000000e+00 | 6.670000e+02 | Inf
5.50/5.57 o 521
5.50/5.57 c * 5.3s| 2075 | 1239 | 2961 | 1.3 | 18M|1391 | - |3655 |4432 |3655 |1000 | 385 | 103 | 731 | 0.000000e+00 | 5.210000e+02 | Inf
5.69/5.79 o 500
5.69/5.79 c * 5.5s| 2150 | 1215 | 3314 | 1.4 | 19M|1391 | - |3655 |4490 |3655 | 991 | 443 | 161 | 787 | 0.000000e+00 | 5.000000e+02 | Inf
5.69/5.79 o 476
5.69/5.79 c * 5.5s| 2151 | 1141 | 3316 | 1.4 | 19M|1391 | - |3655 |4490 |3655 | 991 | 443 | 161 | 787 | 0.000000e+00 | 4.760000e+02 | Inf
6.60/6.61 o 452
6.60/6.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.60/6.61 c * 6.3s| 2351 | 1193 | 4936 | 2.0 | 19M|1391 | - |3655 |4687 |3655 | 989 | 670 | 358 | 990 | 0.000000e+00 | 4.520000e+02 | Inf
6.70/6.71 o 440
6.70/6.71 c * 6.4s| 2373 | 1167 | 5258 | 2.1 | 20M|1391 | - |3655 |4695 |3655 |1005 | 702 | 366 |1002 | 0.000000e+00 | 4.400000e+02 | Inf
7.70/7.75 o 394
7.70/7.75 c * 7.4s| 2707 | 1300 | 6680 | 2.4 | 21M|1391 | - |3655 |4982 |3655 |1019 | 916 | 663 |1123 | 0.000000e+00 | 3.940000e+02 | Inf
8.09/8.12 o 386
8.09/8.12 c * 7.7s| 2849 | 1394 | 7286 | 2.5 | 22M|1391 | - |3655 |5046 |3655 |1031 |1051 | 742 |1159 | 0.000000e+00 | 3.860000e+02 | Inf
8.39/8.42 o 375
8.39/8.42 c * 8.0s| 2982 | 1445 | 7709 | 2.5 | 22M|1391 | - |3655 |5146 |3655 |1011 |1160 | 872 |1173 | 0.000000e+00 | 3.750000e+02 | Inf
8.39/8.42 o 354
8.39/8.42 c * 8.0s| 2983 | 1391 | 7710 | 2.5 | 22M|1391 | - |3655 |5146 |3655 |1011 |1160 | 872 |1173 | 0.000000e+00 | 3.540000e+02 | Inf
8.49/8.57 o 341
8.49/8.57 c * 8.2s| 3039 | 1408 | 7981 | 2.6 | 22M|1391 | - |3655 |5162 |3655 |1011 |1209 | 900 |1178 | 0.000000e+00 | 3.410000e+02 | Inf
8.99/9.01 o 285
8.99/9.01 c * 8.6s| 3224 | 1317 | 8859 | 2.7 | 23M|1391 | - |3655 |5240 |3655 |1003 |1367 |1074 |1219 | 0.000000e+00 | 2.850000e+02 | Inf
8.99/9.06 o 271
8.99/9.06 c * 8.6s| 3247 | 1288 | 8907 | 2.7 | 23M|1391 | - |3655 |5236 |3655 |1013 |1383 |1076 |1220 | 0.000000e+00 | 2.710000e+02 | Inf
8.99/9.07 o 266
8.99/9.07 c * 8.7s| 3248 | 1265 | 8908 | 2.7 | 23M|1391 | - |3655 |5236 |3655 |1013 |1383 |1076 |1220 | 0.000000e+00 | 2.660000e+02 | Inf
10.79/10.90 o 254
10.79/10.90 c *10.4s| 3837 | 1542 | 12694 | 3.3 | 25M|1391 | - |3655 |5541 |3655 |1000 |1971 |1582 |1407 | 0.000000e+00 | 2.540000e+02 | Inf
10.79/10.90 o 252
10.79/10.90 c *10.4s| 3838 | 1536 | 12694 | 3.3 | 25M|1391 | - |3655 |5541 |3655 |1000 |1971 |1582 |1407 | 0.000000e+00 | 2.520000e+02 | Inf
11.19/11.25 o 223
11.19/11.25 c *10.7s| 3984 | 1516 | 13273 | 3.3 | 25M|1391 | - |3655 |5555 |3655 |1024 |2090 |1677 |1416 | 0.000000e+00 | 2.230000e+02 | Inf
12.50/12.59 o 222
12.50/12.59 c *12.0s| 4394 | 1666 | 16349 | 3.7 | 26M|1391 | - |3655 |5520 |3655 |1016 |2400 |2050 |1522 | 0.000000e+00 | 2.220000e+02 | Inf
12.80/12.85 o 200
12.80/12.85 c *12.3s| 4522 | 1621 | 16816 | 3.7 | 25M|1391 | - |3655 |5562 |3655 |1001 |2454 |2132 |1523 | 0.000000e+00 | 2.000000e+02 | Inf
12.80/12.86 o 176
12.80/12.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.80/12.86 c *12.3s| 4523 | 1551 | 16816 | 3.7 | 25M|1391 | - |3655 |5562 |3655 |1001 |2454 |2132 |1523 | 0.000000e+00 | 1.760000e+02 | Inf
12.89/12.94 o 152
12.89/12.94 c *12.4s| 4552 | 1486 | 16947 | 3.7 | 24M|1391 | - |3655 |5552 |3655 | 991 |2472 |2133 |1528 | 0.000000e+00 | 1.520000e+02 | Inf
12.89/12.94 o 130
12.89/12.94 c *12.4s| 4553 | 1379 | 16947 | 3.7 | 24M|1391 | - |3655 |5552 |3655 | 991 |2472 |2133 |1528 | 0.000000e+00 | 1.300000e+02 | Inf
13.39/13.44 o 118
13.39/13.44 c *12.8s| 4704 | 1383 | 17805 | 3.7 | 24M|1391 | - |3655 |5544 |3655 | 991 |2622 |2282 |1560 | 0.000000e+00 | 1.180000e+02 | Inf
13.39/13.48 o 117
13.39/13.48 c *12.9s| 4714 | 1376 | 17921 | 3.8 | 24M|1391 | - |3655 |5544 |3655 | 988 |2637 |2284 |1560 | 0.000000e+00 | 1.170000e+02 | Inf
13.39/13.49 o 100
13.39/13.49 c *12.9s| 4721 | 1305 | 17922 | 3.8 | 24M|1391 | - |3655 |5543 |3655 | 988 |2637 |2284 |1560 | 0.000000e+00 | 1.000000e+02 | Inf
13.39/13.50 o 98
13.39/13.50 c *12.9s| 4722 | 1277 | 17922 | 3.8 | 24M|1391 | - |3655 |5543 |3655 | 988 |2637 |2284 |1560 | 0.000000e+00 | 9.800000e+01 | Inf
13.59/13.65 o 82
13.59/13.65 c *13.0s| 4743 | 970 | 18572 | 3.9 | 23M|1391 | - |3655 |5437 |3655 |1005 |2682 |2296 |1571 | 0.000000e+00 | 8.200000e+01 | Inf
18.99/19.04 o 81
18.99/19.04 c *18.1s| 7251 | 1175 | 26991 | 3.7 | 26M|1391 | - |3655 |5693 |3655 | 989 |3134 |4825 |1737 | 0.000000e+00 | 8.100000e+01 | Inf
26.00/26.06 c 24.8s| 10000 | 1401 | 50488 | 5.0 | 29M|1391 | - |3655 |5842 | 0 | 0 |4438 |7829 |1815 | 0.000000e+00 | 8.100000e+01 | Inf
38.99/39.09 o 58
38.99/39.09 c *37.3s| 15925 | 1484 | 88883 | 5.6 | 34M|1391 | - |3655 |6614 |3655 |1001 |6482 | 14k|1822 | 0.000000e+00 | 5.800000e+01 | Inf
38.99/39.09 o 55
38.99/39.09 c *37.3s| 15926 | 1397 | 88886 | 5.6 | 34M|1391 | - |3655 |6614 |3655 |1001 |6482 | 14k|1822 | 0.000000e+00 | 5.500000e+01 | Inf
47.99/48.04 c 45.8s| 20000 | 1497 |118194 | 5.9 | 35M|1391 | 1 |3655 |6270 |3655 | 973 |7474 | 19k|1822 | 0.000000e+00 | 5.500000e+01 | Inf
68.60/68.64 c 65.4s| 30000 | 1697 |175133 | 5.8 | 40M|1391 | 1 |3655 |7471 |3655 | 990 |9538 | 31k|1822 | 0.000000e+00 | 5.500000e+01 | Inf
89.40/89.49 o 50
89.40/89.49 c *85.4s| 39730 | 2047 |238558 | 6.0 | 45M|1391 | - |3655 |7642 |3655 | 991 | 12k| 43k|1964 | 0.000000e+00 | 5.000000e+01 | Inf
89.99/90.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.99/90.05 c 85.9s| 40000 | 2055 |239982 | 6.0 | 45M|1391 | 1 |3655 |7647 |3655 | 986 | 12k| 44k|1968 | 0.000000e+00 | 5.000000e+01 | Inf
97.09/97.14 o 47
97.09/97.14 c *92.7s| 43685 | 2071 |255351 | 5.8 | 46M|1391 | - |3655 |8223 |3655 |1007 | 13k| 48k|1996 | 0.000000e+00 | 4.700000e+01 | Inf
97.09/97.15 o 34
97.09/97.15 c *92.7s| 43686 | 1895 |255359 | 5.8 | 43M|1391 | - |3655 |8223 |3655 |1008 | 13k| 48k|1996 | 0.000000e+00 | 3.400000e+01 | Inf
110.69/110.75 c 106s| 50000 | 1987 |305189 | 6.1 | 45M|1391 | 14 |3655 |7767 |3655 | 987 | 14k| 56k|2172 | 0.000000e+00 | 3.400000e+01 | Inf
124.40/124.49 o 32
124.40/124.49 c * 119s| 56557 | 1940 |353758 | 6.3 | 46M|1391 | - |3655 |7221 |3655 | 987 | 16k| 64k|2317 | 0.000000e+00 | 3.200000e+01 | Inf
130.99/131.07 c 125s| 60000 | 1976 |372371 | 6.2 | 47M|1391 | 1 |3655 |7773 |3655 | 981 | 17k| 69k|2403 | 0.000000e+00 | 3.200000e+01 | Inf
133.19/133.23 o 31
133.19/133.23 c * 127s| 61221 | 1967 |378300 | 6.2 | 48M|1391 | - |3655 |8238 |3655 | 990 | 17k| 70k|2416 | 0.000000e+00 | 3.100000e+01 | Inf
133.19/133.26 o 30
133.19/133.26 c * 127s| 61230 | 1963 |378344 | 6.2 | 48M|1391 | - |3655 |8121 |3655 | 994 | 17k| 70k|2416 | 0.000000e+00 | 3.000000e+01 | Inf
135.89/135.99 o 27
135.89/135.99 c * 130s| 62627 | 1901 |388114 | 6.2 | 47M|1391 | - |3655 |7874 |3655 | 994 | 17k| 72k|2428 | 0.000000e+00 | 2.700000e+01 | Inf
150.09/150.12 c 143s| 70000 | 1883 |435255 | 6.2 | 47M|1391 | 10 |3655 |7484 |3655 | 996 | 19k| 82k|2616 | 0.000000e+00 | 2.700000e+01 | Inf
150.19/150.20 o 26
150.19/150.20 c * 143s| 70042 | 1867 |435471 | 6.2 | 47M|1391 | - |3655 |7547 |3655 |1004 | 19k| 82k|2616 | 0.000000e+00 | 2.600000e+01 | Inf
152.09/152.15 o 20
152.09/152.15 c * 145s| 71141 | 1763 |440637 | 6.2 | 45M|1391 | - |3655 |8131 |3655 |1002 | 19k| 84k|2620 | 0.000000e+00 | 2.000000e+01 | Inf
153.69/153.74 o 19
153.69/153.74 c * 147s| 71982 | 1741 |445804 | 6.2 | 45M|1391 | - |3655 |7627 |3655 | 994 | 20k| 85k|2623 | 0.000000e+00 | 1.900000e+01 | Inf
169.30/169.30 c 161s| 80000 | 1690 |503175 | 6.3 | 45M|1391 | - |3655 |6758 | 0 | 0 | 22k| 95k|2836 | 0.000000e+00 | 1.900000e+01 | Inf
187.30/187.34 c 178s| 90000 | 1760 |565430 | 6.3 | 47M|1391 | 15 |3655 |9117 |3655 | 973 | 24k| 108k|2988 | 0.000000e+00 | 1.900000e+01 | Inf
207.40/207.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.40/207.45 c 198s|100000 | 1824 |635452 | 6.4 | 49M|1391 | 23 |3655 | 11k|3655 | 986 | 29k| 121k|3181 | 0.000000e+00 | 1.900000e+01 | Inf
210.40/210.42 o 16
210.40/210.42 c * 200s|101455 | 1793 |645955 | 6.4 | 49M|1391 | - |3655 | 12k|3655 |1001 | 29k| 123k|3229 | 0.000000e+00 | 1.600000e+01 | Inf
227.10/227.17 c 216s|110000 | 1801 |693795 | 6.3 | 50M|1391 | 1 |3655 | 13k|3655 |1008 | 30k| 134k|3366 | 0.000000e+00 | 1.600000e+01 | Inf
237.29/237.37 o 13
237.29/237.37 c * 226s|114979 | 1656 |728512 | 6.3 | 47M|1391 | - |3655 | 13k|3655 |1002 | 32k| 141k|3441 | 0.000000e+00 | 1.300000e+01 | Inf
247.40/247.41 c 236s|120000 | 1638 |764730 | 6.4 | 47M|1391 | - |3655 | 11k|3655 | 985 | 33k| 147k|3508 | 0.000000e+00 | 1.300000e+01 | Inf
267.10/267.15 c 255s|130000 | 1644 |832950 | 6.4 | 48M|1391 | 8 |3655 | 14k|3655 | 993 | 35k| 160k|3686 | 0.000000e+00 | 1.300000e+01 | Inf
288.60/288.70 c 275s|140000 | 1721 |907994 | 6.5 | 51M|1391 | - |3655 | 17k| 0 | 0 | 37k| 172k|3822 | 0.000000e+00 | 1.300000e+01 | Inf
310.50/310.50 c 296s|150000 | 1716 |976235 | 6.5 | 51M|1391 | - |3655 | 18k| 0 | 0 | 39k| 185k|3985 | 0.000000e+00 | 1.300000e+01 | Inf
332.00/332.07 c 317s|160000 | 1702 | 1035k| 6.5 | 52M|1391 | 18 |3655 | 18k|3655 | 973 | 41k| 199k|4100 | 0.000000e+00 | 1.300000e+01 | Inf
354.30/354.31 c 338s|170000 | 1740 | 1105k| 6.5 | 54M|1391 | - |3655 | 22k| 0 | 0 | 43k| 212k|4212 | 0.000000e+00 | 1.300000e+01 | Inf
376.50/376.52 c 359s|180000 | 1598 | 1178k| 6.5 | 50M|1391 | 24 |3655 | 14k|3655 | 980 | 46k| 225k|4388 | 0.000000e+00 | 1.300000e+01 | Inf
397.10/397.13 c 379s|190000 | 1551 | 1242k| 6.5 | 51M|1391 | 12 |3655 | 16k|3655 |1004 | 49k| 238k|4503 | 0.000000e+00 | 1.300000e+01 | Inf
417.81/417.80 c 399s|200000 | 1483 | 1309k| 6.5 | 49M|1391 | - |3655 | 13k| 0 | 0 | 52k| 251k|4640 | 0.000000e+00 | 1.300000e+01 | Inf
437.60/437.70 c 418s|210000 | 1469 | 1381k| 6.6 | 50M|1391 | - |3655 | 14k| 0 | 0 | 54k| 263k|4719 | 0.000000e+00 | 1.300000e+01 | Inf
458.80/458.87 c 438s|220000 | 1533 | 1450k| 6.6 | 52M|1391 | - |3655 | 17k| 0 | 0 | 56k| 277k|4843 | 0.000000e+00 | 1.300000e+01 | Inf
470.00/470.06 o 8
470.00/470.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.00/470.06 c * 449s|225337 | 1134 | 1485k| 6.6 | 44M|1391 | - |3655 | 14k|3655 |1010 | 57k| 284k|4913 | 0.000000e+00 | 8.000000e+00 | Inf
478.80/478.86 c 457s|230000 | 1064 | 1512k| 6.6 | 42M|1391 | 11 |3655 | 10k|3655 | 973 | 59k| 290k|4949 | 0.000000e+00 | 8.000000e+00 | Inf
499.41/499.46 c 476s|240000 | 1115 | 1597k| 6.7 | 44M|1391 | - |3655 | 13k| 0 | 0 | 61k| 303k|5094 | 0.000000e+00 | 8.000000e+00 | Inf
520.70/520.80 c 497s|250000 | 1095 | 1685k| 6.7 | 44M|1391 | - |3655 | 13k| 0 | 0 | 63k| 316k|5176 | 0.000000e+00 | 8.000000e+00 | Inf
539.20/539.21 c 514s|260000 | 1054 | 1747k| 6.7 | 43M|1391 | - |3655 | 13k| 0 | 0 | 65k| 329k|5296 | 0.000000e+00 | 8.000000e+00 | Inf
558.41/558.48 c 533s|270000 | 1119 | 1806k| 6.7 | 45M|1391 | 18 |3655 | 16k|3655 |1010 | 68k| 343k|5375 | 0.000000e+00 | 8.000000e+00 | Inf
577.60/577.69 c 551s|280000 | 1103 | 1861k| 6.6 | 46M|1391 | 16 |3655 | 17k|3655 |1006 | 70k| 356k|5449 | 0.000000e+00 | 8.000000e+00 | Inf
598.50/598.55 c 571s|290000 | 1198 | 1933k| 6.7 | 46M|1391 | 1 |3655 | 16k|3655 | 991 | 73k| 370k|5546 | 0.000000e+00 | 8.000000e+00 | Inf
619.80/619.83 c 591s|300000 | 1346 | 2002k| 6.7 | 47M|1391 | - |3655 | 17k| 0 | 0 | 76k| 383k|5632 | 0.000000e+00 | 8.000000e+00 | Inf
640.71/640.78 c 611s|310000 | 1383 | 2071k| 6.7 | 48M|1391 | - |3655 | 19k| 0 | 0 | 79k| 397k|5721 | 0.000000e+00 | 8.000000e+00 | Inf
648.11/648.14 o 7
648.11/648.14 c * 618s|313545 | 1305 | 2093k| 6.7 | 47M|1391 | - |3655 | 19k|3655 |1002 | 80k| 402k|5761 | 0.000000e+00 | 7.000000e+00 | Inf
648.11/648.18 o 5
648.11/648.18 c * 618s|313559 | 1172 | 2094k| 6.7 | 44M|1391 | - |3655 | 18k|3655 |1008 | 80k| 402k|5761 | 0.000000e+00 | 5.000000e+00 | Inf
660.81/660.90 c 630s|320000 | 1159 | 2133k| 6.7 | 44M|1391 | - |3655 | 17k| 0 | 0 | 81k| 410k|5784 | 0.000000e+00 | 5.000000e+00 | Inf
681.61/681.69 c 650s|330000 | 1160 | 2203k| 6.7 | 45M|1391 | 1 |3655 | 19k|3655 | 989 | 84k| 424k|5876 | 0.000000e+00 | 5.000000e+00 | Inf
701.71/701.76 c 670s|340000 | 1156 | 2267k| 6.7 | 46M|1391 | - |3655 | 20k| 0 | 0 | 87k| 439k|5956 | 0.000000e+00 | 5.000000e+00 | Inf
722.71/722.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.71/722.76 c 690s|350000 | 1270 | 2334k| 6.7 | 46M|1391 | - |3655 | 20k| 0 | 0 | 90k| 452k|6039 | 0.000000e+00 | 5.000000e+00 | Inf
743.91/743.94 c 710s|360000 | 1343 | 2402k| 6.7 | 48M|1391 | - |3655 | 22k| 0 | 0 | 95k| 465k|6108 | 0.000000e+00 | 5.000000e+00 | Inf
749.90/749.99 o 4
749.90/749.99 c * 716s|362852 | 1253 | 2420k| 6.7 | 47M|1391 | - |3655 | 23k|3655 | 992 | 96k| 469k|6112 | 0.000000e+00 | 4.000000e+00 | Inf
765.11/765.19 c 730s|370000 | 1251 | 2466k| 6.7 | 47M|1391 | - |3655 | 22k| 0 | 0 | 99k| 479k|6189 | 0.000000e+00 | 4.000000e+00 | Inf
786.41/786.42 c 750s|380000 | 1182 | 2533k| 6.7 | 46M|1391 | 10 |3655 | 21k|3655 | 970 | 102k| 493k|6250 | 0.000000e+00 | 4.000000e+00 | Inf
807.22/807.22 c 770s|390000 | 1122 | 2594k| 6.7 | 47M|1391 | 1 |3655 | 25k|3655 | 997 | 106k| 506k|6324 | 0.000000e+00 | 4.000000e+00 | Inf
814.31/814.30 o 3
814.31/814.30 c * 777s|393245 | 1041 | 2613k| 6.6 | 46M|1391 | - |3655 | 24k|3655 | 983 | 107k| 511k|6338 | 0.000000e+00 | 3.000000e+00 | Inf
828.51/828.57 c 791s|400000 | 990 | 2655k| 6.6 | 44M|1391 | 21 |3655 | 19k|3655 | 982 | 108k| 520k|6396 | 0.000000e+00 | 3.000000e+00 | Inf
849.22/849.22 c 810s|410000 | 936 | 2721k| 6.6 | 42M|1391 | 20 |3655 | 15k|3655 | 994 | 111k| 533k|6474 | 0.000000e+00 | 3.000000e+00 | Inf
870.41/870.46 c 831s|420000 | 1097 | 2796k| 6.7 | 44M|1391 | 7 |3655 | 18k|3655 | 997 | 117k| 546k|6561 | 0.000000e+00 | 3.000000e+00 | Inf
893.12/893.13 c 852s|430000 | 1315 | 2875k| 6.7 | 46M|1391 | - |3655 | 19k| 0 | 0 | 123k| 559k|6621 | 0.000000e+00 | 3.000000e+00 | Inf
915.81/915.87 c 874s|440000 | 1467 | 2956k| 6.7 | 48M|1391 | - |3655 | 23k| 0 | 0 | 129k| 573k|6687 | 0.000000e+00 | 3.000000e+00 | Inf
938.01/938.06 c 895s|450000 | 1485 | 3025k| 6.7 | 48M|1391 | 19 |3655 | 21k|3655 | 997 | 133k| 586k|6747 | 0.000000e+00 | 3.000000e+00 | Inf
959.82/959.85 c 916s|460000 | 1502 | 3094k| 6.7 | 49M|1391 | - |3655 | 23k| 0 | 0 | 137k| 600k|6815 | 0.000000e+00 | 3.000000e+00 | Inf
981.91/981.96 c 938s|470000 | 1462 | 3165k| 6.7 | 48M|1391 | - |3655 | 20k| 0 | 0 | 141k| 614k|6886 | 0.000000e+00 | 3.000000e+00 | Inf
1004.52/1004.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.52/1004.58 c 959s|480000 | 1460 | 3241k| 6.8 | 49M|1391 | - |3655 | 22k| 0 | 0 | 146k| 627k|6957 | 0.000000e+00 | 3.000000e+00 | Inf
1025.82/1025.88 c 979s|490000 | 1391 | 3308k| 6.8 | 49M|1391 | - |3655 | 21k|3655 | 983 | 149k| 641k|7025 | 0.000000e+00 | 3.000000e+00 | Inf
1049.33/1049.38 c 1002s|500000 | 1411 | 3396k| 6.8 | 49M|1391 | - |3655 | 21k| 0 | 0 | 155k| 655k|7087 | 0.000000e+00 | 3.000000e+00 | Inf
1072.31/1072.34 c 1024s|510000 | 1430 | 3473k| 6.8 | 50M|1391 | - |3655 | 23k| 0 | 0 | 160k| 668k|7165 | 0.000000e+00 | 3.000000e+00 | Inf
1095.92/1095.97 c 1047s|520000 | 1360 | 3551k| 6.8 | 49M|1391 | 1 |3655 | 22k|3655 | 993 | 166k| 682k|7237 | 0.000000e+00 | 3.000000e+00 | Inf
1118.73/1118.78 c 1068s|530000 | 1381 | 3622k| 6.8 | 50M|1391 | - |3655 | 24k| 0 | 0 | 170k| 695k|7295 | 0.000000e+00 | 3.000000e+00 | Inf
1141.72/1141.71 c 1090s|540000 | 1331 | 3695k| 6.8 | 51M|1391 | 14 |3655 | 25k|3655 |1016 | 174k| 709k|7366 | 0.000000e+00 | 3.000000e+00 | Inf
1164.32/1164.32 c 1112s|550000 | 1294 | 3768k| 6.9 | 49M|1391 | - |3655 | 20k| 0 | 0 | 179k| 723k|7434 | 0.000000e+00 | 3.000000e+00 | Inf
1186.52/1186.51 c 1133s|560000 | 1226 | 3842k| 6.9 | 49M|1391 | 23 |3655 | 22k|3655 | 995 | 183k| 736k|7500 | 0.000000e+00 | 3.000000e+00 | Inf
1208.32/1208.32 c 1154s|570000 | 1262 | 3909k| 6.9 | 50M|1391 | - |3655 | 24k| 0 | 0 | 185k| 750k|7560 | 0.000000e+00 | 3.000000e+00 | Inf
1229.82/1229.89 c 1175s|580000 | 1212 | 3972k| 6.8 | 49M|1391 | 26 |3655 | 23k|3655 |1004 | 188k| 763k|7633 | 0.000000e+00 | 3.000000e+00 | Inf
1251.63/1251.60 c 1195s|590000 | 1135 | 4040k| 6.8 | 48M|1391 | 20 |3655 | 23k|3655 | 987 | 191k| 777k|7692 | 0.000000e+00 | 3.000000e+00 | Inf
1273.72/1273.75 c 1217s|600000 | 1062 | 4108k| 6.8 | 48M|1391 | - |3655 | 23k| 0 | 0 | 194k| 791k|7736 | 0.000000e+00 | 3.000000e+00 | Inf
1296.23/1296.24 c 1238s|610000 | 1129 | 4180k| 6.9 | 47M|1391 | - |3655 | 20k| 0 | 0 | 201k| 805k|7792 | 0.000000e+00 | 3.000000e+00 | Inf
1317.02/1317.09 c 1258s|620000 | 1079 | 4239k| 6.8 | 47M|1391 | - |3655 | 22k| 0 | 0 | 205k| 819k|7848 | 0.000000e+00 | 3.000000e+00 | Inf
1339.03/1339.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1339.03/1339.05 c 1279s|630000 | 1070 | 4313k| 6.8 | 47M|1391 | - |3655 | 21k| 0 | 0 | 209k| 832k|7922 | 0.000000e+00 | 3.000000e+00 | Inf
1361.32/1361.32 c 1300s|640000 | 987 | 4385k| 6.9 | 47M|1391 | 10 |3655 | 22k|3655 |1007 | 211k| 846k|7994 | 0.000000e+00 | 3.000000e+00 | Inf
1380.12/1380.16 o 1
1380.12/1380.16 c *1318s|648901 | 787 | 4443k| 6.8 | 44M|1391 | - |3655 | 22k|3655 |1008 | 214k| 858k|8021 | 0.000000e+00 | 1.000000e-00 | Inf
1382.63/1382.62 c 1321s|650000 | 755 | 4450k| 6.8 | 41M|1391 | 10 |3655 | 14k|3655 |1010 | 215k| 860k|8047 | 0.000000e+00 | 1.000000e-00 | Inf
1402.03/1402.08 c 1339s|660000 | 730 | 4523k| 6.9 | 40M|1391 | 20 |3655 | 14k|3655 | 999 | 218k| 873k|8091 | 0.000000e+00 | 1.000000e-00 | Inf
1422.03/1422.02 c 1358s|670000 | 725 | 4590k| 6.9 | 41M|1391 | - |3655 | 16k| 0 | 0 | 220k| 887k|8138 | 0.000000e+00 | 1.000000e-00 | Inf
1441.73/1441.71 c 1377s|680000 | 673 | 4654k| 6.8 | 41M|1391 | - |3655 | 16k| 0 | 0 | 223k| 900k|8196 | 0.000000e+00 | 1.000000e-00 | Inf
1460.42/1460.49 c 1395s|690000 | 621 | 4713k| 6.8 | 41M|1391 | 13 |3655 | 18k|3655 | 993 | 225k| 914k|8254 | 0.000000e+00 | 1.000000e-00 | Inf
1481.23/1481.26 c 1415s|700000 | 607 | 4768k| 6.8 | 40M|1391 | 1 |3655 | 18k|3655 | 987 | 227k| 927k|8848 | 0.000000e+00 | 1.000000e-00 | Inf
1503.64/1503.62 c 1436s|710000 | 601 | 4833k| 6.8 | 41M|1391 | - |3655 | 20k| 0 | 0 | 228k| 940k|8882 | 0.000000e+00 | 1.000000e-00 | Inf
1524.32/1524.32 c 1456s|720000 | 518 | 4889k| 6.8 | 39M|1391 | - |3655 | 15k| 0 | 0 | 230k| 953k|8905 | 0.000000e+00 | 1.000000e-00 | Inf
1544.93/1544.94 c 1476s|730000 | 541 | 4954k| 6.8 | 41M|1391 | 1 |3655 | 22k|3655 |1018 | 232k| 966k|8905 | 0.000000e+00 | 1.000000e-00 | Inf
1566.73/1566.72 c 1496s|740000 | 500 | 5020k| 6.8 | 40M|1391 | 27 |3655 | 18k|3655 | 994 | 234k| 979k|8937 | 0.000000e+00 | 1.000000e-00 | Inf
1587.24/1587.24 c 1516s|750000 | 543 | 5077k| 6.8 | 42M|1391 | 20 |3655 | 23k|3655 | 997 | 236k| 992k|8944 | 0.000000e+00 | 1.000000e-00 | Inf
1610.63/1610.66 c 1539s|760000 | 571 | 5143k| 6.8 | 43M|1391 | - |3655 | 26k| 0 | 0 | 237k|1005k|8967 | 0.000000e+00 | 1.000000e-00 | Inf
1633.93/1633.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.93/1633.99 c 1561s|770000 | 584 | 5206k| 6.8 | 44M|1391 | - |3655 | 27k| 0 | 0 | 239k|1018k|9001 | 0.000000e+00 | 1.000000e-00 | Inf
1659.23/1659.20 c 1585s|780000 | 664 | 5280k| 6.8 | 44M|1391 | - |3655 | 27k| 0 | 0 | 240k|1032k|9048 | 0.000000e+00 | 1.000000e-00 | Inf
1683.23/1683.25 c 1609s|790000 | 561 | 5342k| 6.8 | 43M|1391 | - |3655 | 26k| 0 | 0 | 241k|1045k|9100 | 0.000000e+00 | 1.000000e-00 | Inf
1707.24/1707.21 c 1632s|800000 | 599 | 5414k| 6.8 | 43M|1391 | 14 |3655 | 25k|3655 | 994 | 243k|1058k|9144 | 0.000000e+00 | 1.000000e-00 | Inf
1734.53/1734.60 c 1658s|810000 | 611 | 5501k| 6.8 | 44M|1391 | - |3655 | 26k| 0 | 0 | 244k|1072k|9216 | 0.000000e+00 | 1.000000e-00 | Inf
1763.04/1763.02 c 1686s|820000 | 687 | 5604k| 6.8 | 46M|1391 | - |3655 | 29k|3655 |1009 | 246k|1086k|9294 | 0.000000e+00 | 1.000000e-00 | Inf
1790.74/1790.76 c 1712s|830000 | 666 | 5703k| 6.9 | 45M|1391 | 27 |3655 | 27k|3655 |1018 | 247k|1100k|9354 | 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.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1721.24
1800.04/1800.00 c Solving Nodes : 833535
1800.04/1800.00 c Primal Bound : +1.00000000000000e-00 (356 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 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 : 1721.24
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2693397-1277901694.wbo
1800.04/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.04 c Constraints : 4485 initial, 4485 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2693397-1277901694.wbo
1800.04/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.04/1800.04 c Constraints : 4329 initial, 30828 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 65 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.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 65 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.04 0 0 0 1789 0 91 76 0
1800.04/1800.04 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1712 - - 3424 - - - -
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 484541 0 68 1113 0 0 889446
1800.04/1800.04 c indicator : 1712 0 3412635 34392 0 375 2456182 0 0 0
1800.04/1800.04 c setppc : 7 6 4426516 38342 0 28610 1166688 0 0 0
1800.04/1800.04 c linear : 1712 6 4406898 38920 0 185966 18563342 247962 0 0
1800.04/1800.04 c logicor : 898+ 6 1584795 4138 0 181850 4026563 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 7460 0 0 3 187 0 0 0
1800.04/1800.04 c countsols : 0 0 0 4138 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 24.34 0.00 0.00 24.34 0.00
1800.04/1800.04 c indicator : 9.69 0.00 8.81 0.88 0.00
1800.04/1800.04 c setppc : 8.26 0.00 8.26 0.00 0.00
1800.04/1800.04 c linear : 133.18 0.00 131.12 2.06 0.00
1800.04/1800.04 c logicor : 256.74 0.00 256.68 0.06 0.00
1800.04/1800.04 c bounddisjunction : 0.02 0.00 0.02 0.00 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 : 0.00 2 0 0
1800.04/1800.04 c rootredcost : 0.00 51 0 1712
1800.04/1800.04 c pseudoobj : 144.73 4442763 6807 1877758
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 18.80 403236 402878 2430333 27.0 12076 22.7 -
1800.04/1800.04 c infeasible LP : 10.60 37718 37718 295139 43.5 438 14.4 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 96 96 548 20.0 30 4.9 -
1800.04/1800.04 c applied globally : - - - 1105292 22.6 - - -
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 - - 17 - (maximal pool size: 124)
1800.04/1800.04 c redcost : 23.35 487392 0 541567 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.09 6 0 0 844 0
1800.04/1800.04 c strongcg : 0.06 6 0 0 142 0
1800.04/1800.04 c cmir : 0.02 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.07 6 0 0 0 0
1800.04/1800.04 c clique : 0.00 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 : 24.07 445594 68 1113 0 0 889446
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 0.48 4088 0 0 0 0 8176
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.04 - 50
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.15 41 0
1800.04/1800.04 c intshifting : 0.00 9 0
1800.04/1800.04 c linesearchdiving : 0.03 15 0
1800.04/1800.04 c guideddiving : 0.06 15 0
1800.04/1800.04 c coefdiving : 0.02 15 0
1800.04/1800.04 c pscostdiving : 0.06 15 0
1800.04/1800.04 c fracdiving : 0.02 15 0
1800.04/1800.04 c veclendiving : 0.03 15 0
1800.04/1800.04 c objpscostdiving : 0.03 8 0
1800.04/1800.04 c rootsoldiving : 0.08 8 0
1800.04/1800.04 c crossover : 1.48 68 0
1800.04/1800.04 c trivial : 0.02 2 0
1800.04/1800.04 c simplerounding : 0.62 446495 0
1800.04/1800.04 c zirounding : 0.22 1000 0
1800.04/1800.04 c rounding : 2.10 9425 0
1800.04/1800.04 c shifting : 1.21 2915 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.01 0 0
1800.04/1800.04 c trysol : 2.00 4947 306
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 : 661.69 518594 5732314 11.05 8663.14
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.23 145 1790 12.34 7782.61
1800.04/1800.04 c strong branching : 19.66 9364 205981 22.00 10477.16
1800.04/1800.04 c (at root node) : - 33 7035 213.18 -
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 : 833535
1800.04/1800.04 c nodes (total) : 833535
1800.04/1800.04 c nodes left : 723
1800.04/1800.04 c max depth : 1391
1800.04/1800.04 c max depth (total): 1391
1800.04/1800.04 c backtracks : 79073 (9.5%)
1800.04/1800.04 c delayed cutoffs : 59045
1800.04/1800.04 c repropagations : 2257386 (4615426 domain reductions, 56639 cutoffs)
1800.04/1800.04 c avg switch length: 6.88
1800.04/1800.04 c switching time : 241.95
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 356 (51 improvements)
1800.04/1800.04 c First Solution : +8.67840000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 648901 nodes, 1318.23 seconds, depth 35, 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 : 217
1800.14/1800.10 c Time complete: 1800.14.