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-2693433-1277903887.wbo>
0.00/0.03 c original problem has 3891 variables (2061 bin, 0 int, 0 impl, 1830 cont) and 4538 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.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.00/0.10 c (round 2) 0 del vars, 63 del conss, 1830 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.11 c (round 3) 48 del vars, 129 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.12 c (round 4) 107 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.13 c (round 5) 118 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.18 c (0.1s) probing: 101/2002 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (6 rounds):
0.09/0.18 c 118 deleted vars, 140 deleted constraints, 1841 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients
0.09/0.18 c 1960 implications, 7 cliques
0.09/0.18 c presolved problem has 3773 variables (2002 bin, 0 int, 0 impl, 1771 cont) and 4398 constraints
0.09/0.18 c 1771 constraints of type <indicator>
0.09/0.18 c 7 constraints of type <setppc>
0.09/0.18 c 1771 constraints of type <linear>
0.09/0.18 c 849 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.20 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.20 c 0.1s| 1 | 0 | 8 | - | 13M| 0 | 5 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 o 89215
0.19/0.21 c y 0.2s| 1 | 0 | 8 | - | 14M| 0 | 5 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 49 | - | 14M| 0 | 14 |3773 |4398 |3773 | 877 | 21 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 103 | - | 14M| 0 | 37 |3773 |4398 |3773 | 891 | 35 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.28/0.32 c 0.3s| 1 | 0 | 128 | - | 14M| 0 | 26 |3773 |4398 |3773 | 902 | 46 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.28/0.38 c 0.3s| 1 | 0 | 187 | - | 14M| 0 | 27 |3773 |4398 |3773 | 913 | 57 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.38/0.42 c 0.4s| 1 | 0 | 203 | - | 14M| 0 | 25 |3773 |4398 |3773 | 925 | 69 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.38/0.48 c 0.4s| 1 | 0 | 210 | - | 14M| 0 | 25 |3773 |4398 |3773 | 931 | 75 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.89/0.94 c 0.9s| 1 | 2 | 210 | - | 15M| 0 | 25 |3773 |4398 |3773 | 931 | 75 | 0 | 25 | 0.000000e+00 | 8.921500e+04 | Inf
15.99/16.00 c 15.7s| 10000 | 9977 | 7693 | 0.7 | 35M|1091 | 0 |3773 |4471 |3773 | 945 |1036 | 73 |1211 | 0.000000e+00 | 8.921500e+04 | Inf
27.40/27.43 c 27.0s| 20000 | 19975 | 10144 | 0.5 | 53M|1093 | 0 |3773 |4476 |3773 | 943 |1442 | 78 |1315 | 0.000000e+00 | 8.921500e+04 | Inf
38.59/38.64 c 38.0s| 30000 | 29973 | 12157 | 0.4 | 70M|1093 | 0 |3773 |4482 |3773 | 952 |1780 | 84 |1380 | 0.000000e+00 | 8.921500e+04 | Inf
41.99/42.03 o 528
41.99/42.03 c *41.4s| 33063 | 19014 | 12849 | 0.4 | 53M|1093 | - |3773 |4482 |3773 | 935 |1896 | 84 |1382 | 0.000000e+00 | 5.280000e+02 | Inf
42.99/43.09 o 517
42.99/43.09 c *42.4s| 33576 | 19098 | 14389 | 0.4 | 53M|1093 | - |3773 |4608 |3773 | 953 |2169 | 211 |1412 | 0.000000e+00 | 5.170000e+02 | Inf
43.09/43.10 o 512
43.09/43.10 c *42.4s| 33577 | 18897 | 14397 | 0.4 | 53M|1093 | - |3773 |4608 |3773 | 953 |2169 | 211 |1412 | 0.000000e+00 | 5.120000e+02 | Inf
43.69/43.79 o 473
43.69/43.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.69/43.79 c *43.1s| 34053 | 17593 | 14622 | 0.4 | 51M|1093 | - |3773 |4668 |3773 | 966 |2208 | 273 |1416 | 0.000000e+00 | 4.730000e+02 | Inf
43.79/43.80 o 470
43.79/43.80 c *43.1s| 34054 | 17473 | 14622 | 0.4 | 51M|1093 | - |3773 |4668 |3773 | 966 |2208 | 273 |1416 | 0.000000e+00 | 4.700000e+02 | Inf
44.69/44.73 o 430
44.69/44.73 c *44.0s| 34496 | 15911 | 15892 | 0.5 | 49M|1093 | - |3773 |4813 |3773 | 963 |2448 | 419 |1460 | 0.000000e+00 | 4.300000e+02 | Inf
44.89/44.99 o 371
44.89/44.99 c *44.3s| 34675 | 12478 | 15952 | 0.5 | 43M|1093 | - |3773 |4860 |3773 | 966 |2459 | 466 |1460 | 0.000000e+00 | 3.710000e+02 | Inf
45.79/45.85 o 364
45.79/45.85 c *45.1s| 35013 | 12226 | 17096 | 0.5 | 43M|1093 | - |3773 |5118 |3773 | 944 |2693 | 749 |1478 | 0.000000e+00 | 3.640000e+02 | Inf
46.19/46.26 o 363
46.19/46.26 c *45.5s| 35177 | 12292 | 17650 | 0.5 | 44M|1093 | - |3773 |5189 |3773 | 969 |2808 | 842 |1500 | 0.000000e+00 | 3.630000e+02 | Inf
46.79/46.81 o 344
46.79/46.81 c *46.0s| 35402 | 11269 | 18466 | 0.5 | 42M|1093 | - |3773 |5261 |3773 | 950 |2989 | 949 |1500 | 0.000000e+00 | 3.440000e+02 | Inf
48.09/48.12 o 325
48.09/48.12 c *47.3s| 36096 | 10643 | 20244 | 0.6 | 42M|1093 | - |3773 |5447 |3773 | 949 |3286 |1286 |1525 | 0.000000e+00 | 3.250000e+02 | Inf
48.09/48.17 o 286
48.09/48.17 c *47.4s| 36132 | 8615 | 20244 | 0.6 | 38M|1093 | - |3773 |5447 |3773 | 949 |3286 |1286 |1525 | 0.000000e+00 | 2.860000e+02 | Inf
51.39/51.49 o 252
51.39/51.49 c *50.6s| 37521 | 7564 | 24989 | 0.7 | 38M|1093 | - |3773 |5969 |3773 | 953 |4084 |2453 |1618 | 0.000000e+00 | 2.520000e+02 | Inf
51.39/51.49 o 241
51.39/51.49 c *50.6s| 37522 | 6987 | 24989 | 0.7 | 37M|1093 | - |3773 |5969 |3773 | 953 |4084 |2453 |1618 | 0.000000e+00 | 2.410000e+02 | Inf
51.49/51.57 o 229
51.49/51.57 c *50.7s| 37552 | 6366 | 25120 | 0.7 | 36M|1093 | - |3773 |5965 |3773 | 960 |4113 |2459 |1620 | 0.000000e+00 | 2.290000e+02 | Inf
51.49/51.58 o 219
51.49/51.58 c *50.7s| 37553 | 5873 | 25120 | 0.7 | 35M|1093 | - |3773 |5965 |3773 | 960 |4113 |2459 |1620 | 0.000000e+00 | 2.190000e+02 | Inf
51.79/51.80 o 216
51.79/51.80 c *50.9s| 37676 | 5863 | 25423 | 0.7 | 35M|1093 | - |3773 |5944 |3773 | 956 |4167 |2463 |1625 | 0.000000e+00 | 2.160000e+02 | Inf
51.79/51.80 o 206
51.79/51.80 c *50.9s| 37677 | 5525 | 25423 | 0.7 | 34M|1093 | - |3773 |5944 |3773 | 956 |4167 |2463 |1625 | 0.000000e+00 | 2.060000e+02 | Inf
51.79/51.84 o 203
51.79/51.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.79/51.84 c *50.9s| 37689 | 5453 | 25542 | 0.7 | 34M|1093 | - |3773 |5938 |3773 | 943 |4179 |2463 |1625 | 0.000000e+00 | 2.030000e+02 | Inf
51.79/51.88 o 188
51.79/51.88 c *51.0s| 37723 | 5047 | 25542 | 0.7 | 33M|1093 | - |3773 |5938 |3773 | 943 |4179 |2463 |1625 | 0.000000e+00 | 1.880000e+02 | Inf
51.89/51.95 o 187
51.89/51.95 c *51.0s| 37752 | 5053 | 25653 | 0.7 | 33M|1093 | - |3773 |5935 |3773 | 950 |4198 |2471 |1625 | 0.000000e+00 | 1.870000e+02 | Inf
51.89/51.98 o 174
51.89/51.98 c *51.1s| 37772 | 4773 | 25653 | 0.7 | 32M|1093 | - |3773 |5935 |3773 | 950 |4198 |2471 |1625 | 0.000000e+00 | 1.740000e+02 | Inf
51.99/52.09 o 172
51.99/52.09 c *51.2s| 37812 | 4764 | 25863 | 0.7 | 32M|1093 | - |3773 |5933 |3773 | 945 |4238 |2487 |1631 | 0.000000e+00 | 1.720000e+02 | Inf
52.09/52.18 o 161
52.09/52.18 c *51.2s| 37850 | 4427 | 26007 | 0.7 | 31M|1093 | - |3773 |5930 |3773 | 954 |4261 |2487 |1633 | 0.000000e+00 | 1.610000e+02 | Inf
52.09/52.18 o 158
52.09/52.18 c *51.2s| 37851 | 4325 | 26007 | 0.7 | 31M|1093 | - |3773 |5930 |3773 | 954 |4261 |2487 |1633 | 0.000000e+00 | 1.580000e+02 | Inf
52.19/52.26 o 150
52.19/52.26 c *51.3s| 37870 | 4018 | 26134 | 0.7 | 30M|1093 | - |3773 |5918 |3773 | 950 |4288 |2492 |1634 | 0.000000e+00 | 1.500000e+02 | Inf
52.19/52.26 o 147
52.19/52.26 c *51.3s| 37871 | 3887 | 26134 | 0.7 | 30M|1093 | - |3773 |5918 |3773 | 950 |4288 |2492 |1634 | 0.000000e+00 | 1.470000e+02 | Inf
52.29/52.33 o 144
52.29/52.33 c *51.4s| 37892 | 3784 | 26203 | 0.7 | 30M|1093 | - |3773 |5930 |3773 | 950 |4303 |2509 |1636 | 0.000000e+00 | 1.440000e+02 | Inf
55.19/55.20 o 128
55.19/55.20 c *54.2s| 39005 | 3812 | 30265 | 0.8 | 31M|1093 | - |3773 |6041 |3773 | 976 |5171 |3453 |1701 | 0.000000e+00 | 1.280000e+02 | Inf
55.19/55.28 o 119
55.19/55.28 c *54.3s| 39051 | 3557 | 30423 | 0.8 | 31M|1093 | - |3773 |6040 |3773 | 978 |5198 |3462 |1704 | 0.000000e+00 | 1.190000e+02 | Inf
55.30/55.34 o 117
55.30/55.34 c *54.3s| 39065 | 3505 | 30534 | 0.8 | 31M|1093 | - |3773 |6029 |3773 | 966 |5213 |3464 |1705 | 0.000000e+00 | 1.170000e+02 | Inf
55.30/55.37 o 108
55.30/55.37 c *54.4s| 39090 | 3217 | 30536 | 0.8 | 30M|1093 | - |3773 |6029 |3773 | 966 |5213 |3464 |1705 | 0.000000e+00 | 1.080000e+02 | Inf
56.69/56.79 o 102
56.69/56.79 c *55.7s| 39563 | 3203 | 32593 | 0.8 | 31M|1093 | - |3773 |5833 |3773 | 970 |5589 |3892 |1724 | 0.000000e+00 | 1.020000e+02 | Inf
56.79/56.83 o 97
56.79/56.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.79/56.83 c *55.8s| 39589 | 2985 | 32605 | 0.8 | 31M|1093 | - |3773 |5833 |3773 | 975 |5594 |3892 |1724 | 0.000000e+00 | 9.700000e+01 | Inf
56.79/56.83 o 88
56.79/56.83 c *55.8s| 39590 | 2610 | 32605 | 0.8 | 30M|1093 | - |3773 |5833 |3773 | 975 |5594 |3892 |1724 | 0.000000e+00 | 8.800000e+01 | Inf
56.89/56.97 o 85
56.89/56.97 c *55.9s| 39625 | 2466 | 32955 | 0.8 | 30M|1093 | - |3773 |5554 |3773 | 951 |5648 |3919 |1727 | 0.000000e+00 | 8.500000e+01 | Inf
56.99/57.10 o 80
56.99/57.10 c *56.0s| 39655 | 2278 | 33223 | 0.8 | 29M|1093 | - |3773 |5480 |3773 | 955 |5715 |3938 |1729 | 0.000000e+00 | 8.000000e+01 | Inf
57.20/57.27 o 77
57.20/57.27 c *56.2s| 39692 | 2091 | 33573 | 0.8 | 28M|1093 | - |3773 |5356 |3773 | 945 |5779 |3977 |1736 | 0.000000e+00 | 7.700000e+01 | Inf
57.29/57.32 o 71
57.29/57.32 c *56.3s| 39703 | 1715 | 33703 | 0.8 | 27M|1093 | - |3773 |5262 |3773 | 970 |5821 |3984 |1736 | 0.000000e+00 | 7.100000e+01 | Inf
58.20/58.23 c 57.2s| 40000 | 1714 | 35712 | 0.9 | 28M|1093 | 1 |3773 |5033 |3773 | 963 |5889 |4381 |1740 | 0.000000e+00 | 7.100000e+01 | Inf
72.99/73.04 o 69
72.99/73.04 c *71.6s| 45739 | 2013 | 70562 | 1.5 | 34M|1093 | - |3773 |6468 |3773 | 950 |8847 | 11k|1820 | 0.000000e+00 | 6.900000e+01 | Inf
72.99/73.04 o 63
72.99/73.04 c *71.6s| 45740 | 1871 | 70563 | 1.5 | 33M|1093 | - |3773 |6468 |3773 | 950 |8847 | 11k|1820 | 0.000000e+00 | 6.300000e+01 | Inf
73.29/73.38 o 53
73.29/73.38 c *72.0s| 45903 | 1737 | 71264 | 1.5 | 33M|1093 | - |3773 |6067 |3773 | 968 |8909 | 11k|1820 | 0.000000e+00 | 5.300000e+01 | Inf
82.79/82.84 c 81.2s| 50000 | 1889 | 96377 | 1.9 | 36M|1093 | - |3773 |6431 | 0 | 0 | 10k| 16k|1820 | 0.000000e+00 | 5.300000e+01 | Inf
90.49/90.51 o 51
90.49/90.51 c *88.7s| 53446 | 1957 |114559 | 2.1 | 38M|1093 | - |3773 |6785 |3773 | 937 | 11k| 21k|1820 | 0.000000e+00 | 5.100000e+01 | Inf
105.39/105.49 c 103s| 60000 | 2383 |150039 | 2.5 | 43M|1093 | 14 |3773 |7962 |3773 | 959 | 14k| 29k|1820 | 0.000000e+00 | 5.100000e+01 | Inf
106.09/106.17 o 49
106.09/106.17 c * 104s| 60328 | 2363 |151183 | 2.5 | 43M|1093 | - |3773 |8186 |3773 | 991 | 14k| 30k|1820 | 0.000000e+00 | 4.900000e+01 | Inf
119.90/119.95 o 47
119.90/119.95 c * 117s| 66781 | 2571 |177242 | 2.7 | 47M|1093 | - |3773 |8544 |3773 | 972 | 16k| 38k|1820 | 0.000000e+00 | 4.700000e+01 | Inf
126.90/126.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.90/126.90 c 124s| 70000 | 2671 |189871 | 2.7 | 49M|1093 | 1 |3773 |9136 |3773 | 977 | 17k| 42k|1840 | 0.000000e+00 | 4.700000e+01 | Inf
127.80/127.80 o 18
127.80/127.80 c * 125s| 70418 | 2011 |191089 | 2.7 | 41M|1093 | - |3773 |9085 |3773 | 990 | 17k| 42k|1841 | 0.000000e+00 | 1.800000e+01 | Inf
128.60/128.65 o 17
128.60/128.65 c * 126s| 70784 | 1961 |193139 | 2.7 | 40M|1093 | - |3773 |6874 |3773 | 953 | 17k| 43k|1854 | 0.000000e+00 | 1.700000e+01 | Inf
145.89/145.93 c 143s| 80000 | 2123 |240993 | 3.0 | 43M|1093 | 14 |3773 |8317 |3773 | 974 | 20k| 54k|1977 | 0.000000e+00 | 1.700000e+01 | Inf
149.79/149.80 o 8
149.79/149.80 c * 146s| 81965 | 1809 |250195 | 3.0 | 40M|1093 | - |3773 |6718 |3773 | 943 | 21k| 57k|2057 | 0.000000e+00 | 8.000000e+00 | Inf
164.59/164.63 c 161s| 90000 | 1710 |301957 | 3.4 | 40M|1093 | 14 |3773 |7166 |3773 | 928 | 23k| 67k|2220 | 0.000000e+00 | 8.000000e+00 | Inf
182.50/182.59 c 178s|100000 | 1764 |358916 | 3.6 | 42M|1093 | - |3773 | 10k| 0 | 0 | 25k| 81k|2401 | 0.000000e+00 | 8.000000e+00 | Inf
201.09/201.14 c 196s|110000 | 1831 |414276 | 3.8 | 44M|1093 | - |3773 | 10k| 0 | 0 | 27k| 94k|2584 | 0.000000e+00 | 8.000000e+00 | Inf
217.70/217.78 o 5
217.70/217.78 c * 212s|118981 | 1581 |462963 | 3.9 | 42M|1093 | - |3773 | 13k|3773 | 971 | 30k| 105k|2743 | 0.000000e+00 | 5.000000e+00 | Inf
219.69/219.75 c 214s|120000 | 1591 |469155 | 3.9 | 41M|1093 | - |3773 | 12k| 0 | 0 | 31k| 106k|2748 | 0.000000e+00 | 5.000000e+00 | Inf
238.50/238.56 c 233s|130000 | 1729 |524034 | 4.0 | 44M|1093 | 26 |3773 | 15k|3773 | 964 | 33k| 119k|2872 | 0.000000e+00 | 5.000000e+00 | Inf
242.01/242.09 o 1
242.01/242.09 c * 236s|131850 | 1503 |534453 | 4.1 | 42M|1093 | - |3773 | 16k|3773 | 975 | 34k| 122k|2888 | 0.000000e+00 | 1.000000e-00 | Inf
257.20/257.25 c 251s|140000 | 1548 |577786 | 4.1 | 43M|1093 | - |3773 | 16k| 0 | 0 | 36k| 133k|2989 | 0.000000e+00 | 1.000000e-00 | Inf
277.30/277.33 c 271s|150000 | 1600 |636371 | 4.2 | 44M|1093 | 10 |3773 | 17k|3773 | 940 | 39k| 147k|3111 | 0.000000e+00 | 1.000000e-00 | Inf
297.79/297.84 c 291s|160000 | 1618 |693597 | 4.3 | 46M|1093 | - |3773 | 19k| 0 | 0 | 42k| 161k|3263 | 0.000000e+00 | 1.000000e-00 | Inf
318.91/318.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.91/318.99 c 312s|170000 | 1700 |747523 | 4.4 | 48M|1093 | - |3773 | 23k| 0 | 0 | 44k| 173k|3392 | 0.000000e+00 | 1.000000e-00 | Inf
342.40/342.46 c 335s|180000 | 1777 |801786 | 4.5 | 50M|1093 | 17 |3773 | 26k|3773 | 943 | 46k| 187k|3482 | 0.000000e+00 | 1.000000e-00 | Inf
366.69/366.74 c 358s|190000 | 1842 |856658 | 4.5 | 52M|1093 | 1 |3773 | 30k|3773 | 960 | 49k| 201k|3632 | 0.000000e+00 | 1.000000e-00 | Inf
393.40/393.47 c 385s|200000 | 1851 |912951 | 4.6 | 53M|1093 | - |3773 | 29k| 0 | 0 | 51k| 215k|3715 | 0.000000e+00 | 1.000000e-00 | Inf
417.60/417.67 c 408s|210000 | 1871 |968338 | 4.6 | 54M|1093 | - |3773 | 29k| 0 | 0 | 54k| 228k|3860 | 0.000000e+00 | 1.000000e-00 | Inf
441.11/441.19 c 431s|220000 | 1895 | 1020k| 4.6 | 55M|1093 | - |3773 | 33k| 0 | 0 | 56k| 242k|3948 | 0.000000e+00 | 1.000000e-00 | Inf
467.71/467.72 c 458s|230000 | 1963 | 1079k| 4.7 | 56M|1093 | 26 |3773 | 33k|3773 | 970 | 58k| 256k|4061 | 0.000000e+00 | 1.000000e-00 | Inf
494.91/494.91 c 484s|240000 | 2019 | 1136k| 4.7 | 58M|1093 | 9 |3773 | 34k|3773 | 950 | 61k| 270k|4155 | 0.000000e+00 | 1.000000e-00 | Inf
523.00/523.05 c 512s|250000 | 2119 | 1194k| 4.8 | 60M|1093 | 19 |3773 | 39k|3773 | 970 | 63k| 284k|4254 | 0.000000e+00 | 1.000000e-00 | Inf
554.10/554.18 c 542s|260000 | 2148 | 1253k| 4.8 | 61M|1093 | 15 |3773 | 39k|3773 | 957 | 66k| 299k|4313 | 0.000000e+00 | 1.000000e-00 | Inf
587.60/587.68 c 575s|270000 | 2225 | 1309k| 4.8 | 62M|1093 | - |3773 | 39k| 0 | 0 | 68k| 312k|4427 | 0.000000e+00 | 1.000000e-00 | Inf
623.51/623.55 c 610s|280000 | 2296 | 1359k| 4.9 | 65M|1093 | - |3773 | 44k| 0 | 0 | 70k| 326k|4522 | 0.000000e+00 | 1.000000e-00 | Inf
660.31/660.36 c 646s|290000 | 2389 | 1413k| 4.9 | 67M|1093 | 10 |3773 | 46k|3773 | 953 | 72k| 340k|4609 | 0.000000e+00 | 1.000000e-00 | Inf
697.42/697.46 c 682s|300000 | 2444 | 1464k| 4.9 | 69M|1093 | 22 |3773 | 49k|3773 | 986 | 74k| 356k|4659 | 0.000000e+00 | 1.000000e-00 | Inf
736.01/736.03 c 720s|310000 | 2405 | 1519k| 4.9 | 68M|1093 | 19 |3773 | 46k|3773 | 938 | 76k| 372k|4731 | 0.000000e+00 | 1.000000e-00 | Inf
775.91/775.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.91/775.91 c 759s|320000 | 2437 | 1578k| 4.9 | 70M|1093 | 14 |3773 | 49k|3773 | 946 | 78k| 386k|4837 | 0.000000e+00 | 1.000000e-00 | Inf
802.41/802.40 c 784s|330000 | 2197 | 1644k| 5.0 | 56M|1093 | 15 |3773 | 15k|3773 | 943 | 82k| 399k|5139 | 0.000000e+00 | 1.000000e-00 | Inf
823.61/823.63 c 805s|340000 | 2329 | 1694k| 5.0 | 58M|1093 | - |3773 | 18k| 0 | 0 | 84k| 413k|5139 | 0.000000e+00 | 1.000000e-00 | Inf
845.01/845.01 c 825s|350000 | 2304 | 1747k| 5.0 | 58M|1093 | 26 |3773 | 16k|3773 | 950 | 87k| 427k|5168 | 0.000000e+00 | 1.000000e-00 | Inf
866.51/866.52 c 846s|360000 | 2314 | 1808k| 5.0 | 58M|1093 | - |3773 | 15k| 0 | 0 | 88k| 441k|5315 | 0.000000e+00 | 1.000000e-00 | Inf
887.12/887.14 c 866s|370000 | 2401 | 1872k| 5.1 | 59M|1093 | 13 |3773 | 14k|3773 | 947 | 91k| 454k|5401 | 0.000000e+00 | 1.000000e-00 | Inf
909.42/909.40 c 887s|380000 | 2456 | 1937k| 5.1 | 60M|1093 | 1 |3773 | 15k|3773 | 947 | 93k| 469k|5474 | 0.000000e+00 | 1.000000e-00 | Inf
931.51/931.57 c 908s|390000 | 2393 | 2006k| 5.1 | 60M|1093 | - |3773 | 13k| 0 | 0 | 96k| 483k|5609 | 0.000000e+00 | 1.000000e-00 | Inf
951.82/951.80 c 927s|400000 | 2317 | 2065k| 5.2 | 58M|1093 | - |3773 | 10k| 0 | 0 | 98k| 496k|5680 | 0.000000e+00 | 1.000000e-00 | Inf
970.82/970.88 c 946s|410000 | 2350 | 2125k| 5.2 | 60M|1093 | - |3773 | 14k| 0 | 0 | 100k| 510k|5765 | 0.000000e+00 | 1.000000e-00 | Inf
991.92/991.99 c 966s|420000 | 2455 | 2177k| 5.2 | 63M|1093 | 1 |3773 | 19k|3773 | 973 | 102k| 523k|5821 | 0.000000e+00 | 1.000000e-00 | Inf
1013.22/1013.20 c 986s|430000 | 2227 | 2233k| 5.2 | 59M|1093 | 20 |3773 | 13k|3773 | 958 | 104k| 536k|5901 | 0.000000e+00 | 1.000000e-00 | Inf
1034.92/1034.91 c 1007s|440000 | 2350 | 2295k| 5.2 | 62M|1093 | 14 |3773 | 19k|3773 | 971 | 107k| 550k|5971 | 0.000000e+00 | 1.000000e-00 | Inf
1058.42/1058.48 c 1030s|450000 | 2275 | 2358k| 5.2 | 61M|1093 | 1 |3773 | 15k|3773 | 929 | 110k| 563k|6052 | 0.000000e+00 | 1.000000e-00 | Inf
1080.02/1080.05 c 1050s|460000 | 2263 | 2415k| 5.3 | 62M|1093 | 17 |3773 | 18k|3773 | 936 | 113k| 576k|6113 | 0.000000e+00 | 1.000000e-00 | Inf
1104.12/1104.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.12/1104.19 c 1073s|470000 | 2308 | 2479k| 5.3 | 63M|1093 | - |3773 | 20k| 0 | 0 | 116k| 590k|6184 | 0.000000e+00 | 1.000000e-00 | Inf
1129.92/1129.91 c 1098s|480000 | 2376 | 2538k| 5.3 | 64M|1093 | - |3773 | 22k| 0 | 0 | 118k| 603k|6245 | 0.000000e+00 | 1.000000e-00 | Inf
1154.82/1154.87 c 1122s|490000 | 2454 | 2587k| 5.3 | 67M|1093 | 1 |3773 | 26k|3773 | 938 | 120k| 617k|6313 | 0.000000e+00 | 1.000000e-00 | Inf
1184.62/1184.68 c 1151s|500000 | 2503 | 2647k| 5.3 | 69M|1093 | 17 |3773 | 30k|3773 | 957 | 122k| 632k|6369 | 0.000000e+00 | 1.000000e-00 | Inf
1213.92/1213.92 c 1179s|510000 | 2530 | 2702k| 5.3 | 69M|1093 | 13 |3773 | 30k|3773 | 929 | 124k| 646k|6433 | 0.000000e+00 | 1.000000e-00 | Inf
1244.82/1244.86 c 1209s|520000 | 2603 | 2759k| 5.3 | 71M|1093 | 1 |3773 | 32k|3773 | 935 | 126k| 660k|6499 | 0.000000e+00 | 1.000000e-00 | Inf
1276.63/1276.65 c 1240s|530000 | 2649 | 2824k| 5.3 | 73M|1093 | - |3773 | 35k| 0 | 0 | 130k| 675k|6554 | 0.000000e+00 | 1.000000e-00 | Inf
1309.63/1309.60 c 1272s|540000 | 2757 | 2878k| 5.3 | 74M|1093 | 14 |3773 | 37k|3773 | 954 | 132k| 689k|6612 | 0.000000e+00 | 1.000000e-00 | Inf
1342.72/1342.75 c 1305s|550000 | 2725 | 2939k| 5.3 | 75M|1093 | 15 |3773 | 38k|3773 | 960 | 135k| 703k|6675 | 0.000000e+00 | 1.000000e-00 | Inf
1378.83/1378.81 c 1340s|560000 | 2734 | 3012k| 5.4 | 76M|1093 | 13 |3773 | 38k|3773 | 950 | 138k| 717k|6751 | 0.000000e+00 | 1.000000e-00 | Inf
1410.82/1410.81 c 1371s|570000 | 2744 | 3070k| 5.4 | 77M|1093 | 8 |3773 | 40k|3773 | 966 | 140k| 731k|6810 | 0.000000e+00 | 1.000000e-00 | Inf
1444.13/1444.12 c 1403s|580000 | 2789 | 3137k| 5.4 | 77M|1093 | - |3773 | 38k| 0 | 0 | 143k| 746k|6893 | 0.000000e+00 | 1.000000e-00 | Inf
1476.23/1476.29 c 1434s|590000 | 2787 | 3201k| 5.4 | 75M|1093 | - |3773 | 32k| 0 | 0 | 146k| 761k|6962 | 0.000000e+00 | 1.000000e-00 | Inf
1508.03/1508.07 c 1465s|600000 | 2920 | 3263k| 5.4 | 76M|1093 | 15 |3773 | 33k|3773 | 941 | 148k| 775k|7024 | 0.000000e+00 | 1.000000e-00 | Inf
1538.94/1538.98 c 1495s|610000 | 3030 | 3321k| 5.4 | 78M|1093 | 11 |3773 | 34k|3773 | 941 | 150k| 789k|7084 | 0.000000e+00 | 1.000000e-00 | Inf
1571.33/1571.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.33/1571.37 c 1526s|620000 | 3054 | 3382k| 5.5 | 79M|1093 | - |3773 | 35k| 0 | 0 | 153k| 804k|7144 | 0.000000e+00 | 1.000000e-00 | Inf
1602.64/1602.62 c 1557s|630000 | 3048 | 3444k| 5.5 | 80M|1093 | - |3773 | 37k| 0 | 0 | 155k| 819k|7193 | 0.000000e+00 | 1.000000e-00 | Inf
1631.93/1631.90 c 1585s|640000 | 3093 | 3501k| 5.5 | 81M|1093 | - |3773 | 38k|3773 | 963 | 157k| 834k|7241 | 0.000000e+00 | 1.000000e-00 | Inf
1663.14/1663.17 c 1616s|650000 | 3091 | 3564k| 5.5 | 81M|1093 | - |3773 | 37k| 0 | 0 | 159k| 850k|7296 | 0.000000e+00 | 1.000000e-00 | Inf
1695.53/1695.58 c 1647s|660000 | 3043 | 3634k| 5.5 | 81M|1093 | 9 |3773 | 37k|3773 | 950 | 162k| 864k|7351 | 0.000000e+00 | 1.000000e-00 | Inf
1728.13/1728.12 c 1679s|670000 | 3042 | 3695k| 5.5 | 80M|1093 | - |3773 | 33k| 0 | 0 | 164k| 879k|7398 | 0.000000e+00 | 1.000000e-00 | Inf
1761.64/1761.61 c 1711s|680000 | 3115 | 3755k| 5.5 | 81M|1093 | - |3773 | 34k| 0 | 0 | 167k| 893k|7457 | 0.000000e+00 | 1.000000e-00 | Inf
1795.34/1795.35 c 1744s|690000 | 3174 | 3816k| 5.5 | 83M|1093 | - |3773 | 35k| 0 | 0 | 169k| 907k|7515 | 0.000000e+00 | 1.000000e-00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1748.71
1800.04/1800.01 c Solving Nodes : 691512
1800.04/1800.01 c Primal Bound : +1.00000000000000e-00 (291 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.04/1800.04 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.04/1800.04 v -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.04/1800.04 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54
1800.04/1800.04 v x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.04 v -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1748.71
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2693433-1277903887.wbo
1800.04/1800.04 c Variables : 3891 (2061 binary, 0 integer, 0 implicit integer, 1830 continuous)
1800.04/1800.04 c Constraints : 4538 initial, 4538 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2693433-1277903887.wbo
1800.04/1800.04 c Variables : 3773 (2002 binary, 0 integer, 0 implicit integer, 1771 continuous)
1800.04/1800.04 c Constraints : 4398 initial, 51935 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 59 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.01 59 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.05 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 59 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.05 0 0 0 1841 0 81 66 0
1800.04/1800.04 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1771 - - 3542 - - - -
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 418725 0 42 627 0 0 714554
1800.04/1800.04 c indicator : 1771 0 572568 43053 0 286 1840942 0 0 0
1800.04/1800.04 c setppc : 7 6 3391053 40469 0 9185 723703 0 0 0
1800.04/1800.04 c linear : 1771 6 3409792 59738 0 201582 15026866 169703 0 0
1800.04/1800.04 c logicor : 849+ 6 1285068 38005 0 116286 3154791 0 0 0
1800.04/1800.04 c countsols : 0 0 0 38005 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 17.58 0.00 0.00 17.58 0.00
1800.04/1800.04 c indicator : 10.34 0.00 5.90 4.44 0.00
1800.04/1800.04 c setppc : 7.26 0.00 7.24 0.02 0.00
1800.04/1800.04 c linear : 154.63 0.01 151.98 2.64 0.00
1800.04/1800.04 c logicor : 411.00 0.00 410.64 0.36 0.00
1800.04/1800.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.31 2 0 0
1800.04/1800.04 c rootredcost : 0.27 51 0 1771
1800.04/1800.04 c pseudoobj : 114.83 3425054 4630 1292787
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 19.45 331683 331455 2048812 28.7 12347 21.9 -
1800.04/1800.04 c infeasible LP : 6.27 19390 19390 157610 45.4 240 14.7 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.01 94 94 451 16.0 70 6.3 -
1800.04/1800.04 c applied globally : - - - 909498 23.1 - - -
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 - - 0 - (maximal pool size: 178)
1800.04/1800.04 c redcost : 21.79 420661 0 494348 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.05 6 0 0 919 0
1800.04/1800.04 c strongcg : 0.07 6 0 0 72 0
1800.04/1800.04 c cmir : 0.01 6 0 0 1 0
1800.04/1800.04 c flowcover : 0.09 6 0 0 2 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 : 17.36 357818 42 627 0 0 714554
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 4.84 37955 0 0 0 0 75910
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.09 - 50
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.02 1 0
1800.04/1800.04 c intshifting : 0.00 3 0
1800.04/1800.04 c oneopt : 0.41 42 0
1800.04/1800.04 c fracdiving : 0.11 81 0
1800.04/1800.04 c veclendiving : 0.08 82 0
1800.04/1800.04 c linesearchdiving : 0.11 82 0
1800.04/1800.04 c guideddiving : 0.12 82 0
1800.04/1800.04 c coefdiving : 0.12 82 0
1800.04/1800.04 c pscostdiving : 0.15 82 0
1800.04/1800.04 c crossover : 1.16 42 0
1800.04/1800.04 c objpscostdiving : 0.05 75 0
1800.04/1800.04 c rootsoldiving : 0.12 75 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.57 358568 0
1800.04/1800.04 c zirounding : 0.24 1000 0
1800.04/1800.04 c rounding : 1.59 8459 0
1800.04/1800.04 c shifting : 1.26 2624 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.06 0 0
1800.04/1800.04 c trysol : 1.37 2448 241
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 : 469.18 401369 3823397 9.53 8149.10
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.18 84 990 11.79 5500.00
1800.04/1800.04 c strong branching : 13.96 7515 142710 18.99 10222.78
1800.04/1800.04 c (at root node) : - 25 4835 193.40 -
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 : 691512
1800.04/1800.04 c nodes (total) : 691512
1800.04/1800.04 c nodes left : 3165
1800.04/1800.04 c max depth : 1093
1800.04/1800.04 c max depth (total): 1093
1800.04/1800.04 c backtracks : 68075 (9.8%)
1800.04/1800.04 c delayed cutoffs : 57976
1800.04/1800.04 c repropagations : 1635547 (3901833 domain reductions, 55121 cutoffs)
1800.04/1800.04 c avg switch length: 6.18
1800.04/1800.04 c switching time : 308.32
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 291 (51 improvements)
1800.04/1800.04 c First Solution : +8.92150000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 131850 nodes, 236.17 seconds, depth 53, 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 : 210
1800.14/1800.19 c Time complete: 1800.23.