0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2705633-1278572960.wbo>
0.00/0.03 c original problem has 3905 variables (2068 bin, 0 int, 1837 impl, 0 cont) and 4545 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, 130 impls, 5 clqs
0.05/0.08 c (round 2) 0 del vars, 61 del conss, 1837 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 130 impls, 5 clqs
0.05/0.08 c (round 3) 45 del vars, 145 del conss, 1851 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 130 impls, 5 clqs
0.05/0.09 c (round 4) 118 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 0 upgd conss, 130 impls, 5 clqs
0.09/0.10 c (round 5) 120 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 130 impls, 5 clqs
0.09/0.10 c (round 6) 120 del vars, 162 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 130 impls, 5 clqs
0.09/0.15 c (0.1s) probing: 101/2008 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (7 rounds):
0.09/0.15 c 120 deleted vars, 162 deleted constraints, 1852 tightened bounds, 0 added holes, 71 changed sides, 0 changed coefficients
0.09/0.15 c 3666 implications, 5 cliques
0.09/0.15 c presolved problem has 3785 variables (2008 bin, 0 int, 1777 impl, 0 cont) and 4383 constraints
0.09/0.15 c 44 constraints of type <setppc>
0.09/0.15 c 1777 constraints of type <linear>
0.09/0.15 c 1777 constraints of type <indicator>
0.09/0.15 c 785 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 0 | 9 | - | 14M| 0 | 3 |3785 |4383 |3785 | 829 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 50 | - | 14M| 0 | 34 |3785 |4383 |3785 | 852 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 86 | - | 14M| 0 | 43 |3785 |4383 |3785 | 884 | 55 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.3s| 1 | 0 | 118 | - | 15M| 0 | 41 |3785 |4383 |3785 | 898 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 152 | - | 15M| 0 | 35 |3785 |4383 |3785 | 906 | 77 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 170 | - | 15M| 0 | 38 |3785 |4383 |3785 | 913 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 178 | - | 15M| 0 | 40 |3785 |4383 |3785 | 919 | 90 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.78 c 0.8s| 1 | 2 | 178 | - | 15M| 0 | 40 |3785 |4383 |3785 | 919 | 90 | 0 | 17 | 0.000000e+00 | -- | Inf
2.39/2.46 o 90383
2.39/2.46 c y 2.4s| 37 | 36 | 1425 | 34.6 | 15M| 21 | - |3785 |4383 | 0 | 0 | 177 | 0 | 406 | 0.000000e+00 | 9.038300e+04 | Inf
15.79/15.89 c 15.9s| 10000 | 9967 | 8666 | 0.8 | 35M|1641 | 0 |3785 |4407 |3785 | 962 |1338 | 24 |1187 | 0.000000e+00 | 9.038300e+04 | Inf
27.50/27.58 c 27.6s| 20000 | 19967 | 10694 | 0.5 | 53M|1641 | 0 |3785 |4407 |3785 | 938 |1726 | 24 |1244 | 0.000000e+00 | 9.038300e+04 | Inf
39.29/39.36 c 39.3s| 30000 | 29965 | 12265 | 0.4 | 70M|1641 | 0 |3785 |4410 |3785 | 944 |2038 | 27 |1272 | 0.000000e+00 | 9.038300e+04 | Inf
51.19/51.23 c 51.2s| 40000 | 39965 | 14260 | 0.4 | 87M|1641 | 0 |3785 |4410 |3785 | 977 |2413 | 27 |1312 | 0.000000e+00 | 9.038300e+04 | Inf
55.30/55.30 o 448
55.30/55.30 c *55.3s| 43652 | 32363 | 14698 | 0.3 | 76M|1641 | - |3785 |4410 |3785 | 953 |2521 | 27 |1318 | 0.000000e+00 | 4.480000e+02 | Inf
56.80/56.84 o 444
56.80/56.84 c *56.8s| 44538 | 32883 | 16541 | 0.4 | 78M|1641 | - |3785 |4563 |3785 | 938 |2857 | 180 |1345 | 0.000000e+00 | 4.440000e+02 | Inf
57.50/57.58 o 366
57.50/57.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.50/57.58 c *57.6s| 44955 | 28550 | 17246 | 0.4 | 70M|1641 | - |3785 |4643 |3785 | 939 |3000 | 265 |1358 | 0.000000e+00 | 3.660000e+02 | Inf
57.99/58.03 o 361
57.99/58.03 c *58.0s| 45229 | 28351 | 17486 | 0.4 | 70M|1641 | - |3785 |4686 |3785 | 946 |3056 | 308 |1360 | 0.000000e+00 | 3.610000e+02 | Inf
60.09/60.19 o 320
60.09/60.19 c *60.2s| 46469 | 24882 | 20090 | 0.4 | 67M|1641 | - |3785 |5026 |3785 | 943 |3489 | 690 |1400 | 0.000000e+00 | 3.200000e+02 | Inf
60.09/60.20 o 294
60.09/60.20 c *60.2s| 46470 | 21515 | 20090 | 0.4 | 61M|1641 | - |3785 |5026 |3785 | 943 |3489 | 690 |1400 | 0.000000e+00 | 2.940000e+02 | Inf
62.99/63.08 o 264
62.99/63.08 c *63.1s| 47599 | 17622 | 25411 | 0.5 | 56M|1641 | - |3785 |5692 |3785 | 946 |4299 |1451 |1480 | 0.000000e+00 | 2.640000e+02 | Inf
63.89/63.96 o 256
63.89/63.96 c *63.9s| 47899 | 16643 | 27513 | 0.6 | 55M|1641 | - |3785 |5979 |3785 | 952 |4602 |1764 |1517 | 0.000000e+00 | 2.560000e+02 | Inf
64.99/65.01 o 230
64.99/65.01 c *65.0s| 48328 | 13036 | 29502 | 0.6 | 49M|1641 | - |3785 |6166 |3785 | 952 |4930 |2045 |1538 | 0.000000e+00 | 2.300000e+02 | Inf
64.99/65.03 o 207
64.99/65.03 c *65.0s| 48329 | 10044 | 29509 | 0.6 | 44M|1641 | - |3785 |6166 |3785 | 952 |4930 |2045 |1538 | 0.000000e+00 | 2.070000e+02 | Inf
66.29/66.36 o 205
66.29/66.36 c *66.3s| 48809 | 10097 | 32320 | 0.7 | 45M|1641 | - |3785 |6379 |3785 | 951 |5208 |2361 |1571 | 0.000000e+00 | 2.050000e+02 | Inf
67.10/67.16 o 190
67.10/67.16 c *67.1s| 49119 | 8672 | 33753 | 0.7 | 43M|1641 | - |3785 |6509 |3785 | 940 |5478 |2548 |1575 | 0.000000e+00 | 1.900000e+02 | Inf
68.89/68.90 o 186
68.89/68.90 c *68.9s| 49826 | 8470 | 36701 | 0.7 | 43M|1641 | - |3785 |6733 |3785 | 940 |6007 |3041 |1584 | 0.000000e+00 | 1.860000e+02 | Inf
68.89/68.92 o 181
68.89/68.92 c *68.9s| 49839 | 7955 | 36711 | 0.7 | 42M|1641 | - |3785 |6738 |3785 | 940 |6007 |3046 |1584 | 0.000000e+00 | 1.810000e+02 | Inf
68.89/68.99 o 178
68.89/68.99 c *69.0s| 49863 | 7671 | 36836 | 0.7 | 42M|1641 | - |3785 |6737 |3785 | 956 |6026 |3058 |1584 | 0.000000e+00 | 1.780000e+02 | Inf
68.89/68.99 o 175
68.89/68.99 c *69.0s| 49864 | 7351 | 36836 | 0.7 | 41M|1641 | - |3785 |6737 |3785 | 956 |6026 |3058 |1584 | 0.000000e+00 | 1.750000e+02 | Inf
69.19/69.26 o 160
69.19/69.26 c *69.2s| 49970 | 6258 | 37176 | 0.7 | 39M|1641 | - |3785 |6740 |3785 | 955 |6076 |3103 |1584 | 0.000000e+00 | 1.600000e+02 | Inf
69.19/69.26 o 157
69.19/69.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.19/69.26 c *69.2s| 49971 | 6026 | 37176 | 0.7 | 38M|1641 | - |3785 |6740 |3785 | 955 |6076 |3103 |1584 | 0.000000e+00 | 1.570000e+02 | Inf
69.30/69.31 o 144
69.30/69.31 c *69.3s| 49985 | 5266 | 37231 | 0.7 | 36M|1641 | - |3785 |6741 |3785 | 953 |6081 |3109 |1584 | 0.000000e+00 | 1.440000e+02 | Inf
69.30/69.35 c 69.3s| 50000 | 5277 | 37350 | 0.7 | 36M|1641 | 1 |3785 |6733 |3785 | 947 |6101 |3111 |1584 | 0.000000e+00 | 1.440000e+02 | Inf
69.50/69.51 o 142
69.50/69.51 c *69.5s| 50062 | 5205 | 37648 | 0.7 | 36M|1641 | - |3785 |6732 |3785 | 953 |6167 |3132 |1585 | 0.000000e+00 | 1.420000e+02 | Inf
69.50/69.51 o 129
69.50/69.51 c *69.5s| 50063 | 4570 | 37650 | 0.7 | 34M|1641 | - |3785 |6732 |3785 | 953 |6167 |3132 |1585 | 0.000000e+00 | 1.290000e+02 | Inf
69.60/69.68 o 120
69.60/69.68 c *69.7s| 50125 | 4241 | 37916 | 0.8 | 33M|1641 | - |3785 |6715 |3785 | 955 |6198 |3157 |1585 | 0.000000e+00 | 1.200000e+02 | Inf
69.99/70.03 o 114
69.99/70.03 c *70.0s| 50256 | 4049 | 38710 | 0.8 | 34M|1641 | - |3785 |6711 |3785 | 928 |6269 |3230 |1594 | 0.000000e+00 | 1.140000e+02 | Inf
69.99/70.04 o 111
69.99/70.04 c *70.0s| 50257 | 3958 | 38710 | 0.8 | 33M|1641 | - |3785 |6711 |3785 | 928 |6269 |3230 |1594 | 0.000000e+00 | 1.110000e+02 | Inf
69.99/70.09 o 103
69.99/70.09 c *70.1s| 50280 | 3673 | 38805 | 0.8 | 33M|1641 | - |3785 |6708 |3785 | 929 |6270 |3236 |1594 | 0.000000e+00 | 1.030000e+02 | Inf
70.09/70.10 o 100
70.09/70.10 c *70.1s| 50281 | 3521 | 38805 | 0.8 | 33M|1641 | - |3785 |6708 |3785 | 929 |6270 |3236 |1594 | 0.000000e+00 | 1.000000e+02 | Inf
70.59/70.66 o 51
70.59/70.66 c *70.6s| 50480 | 1901 | 39930 | 0.8 | 28M|1641 | - |3785 |6703 |3785 | 933 |6462 |3349 |1596 | 0.000000e+00 | 5.100000e+01 | Inf
70.69/70.74 o 42
70.69/70.74 c *70.7s| 50498 | 1619 | 39974 | 0.8 | 27M|1641 | - |3785 |5552 |3785 | 940 |6468 |3367 |1596 | 0.000000e+00 | 4.200000e+01 | Inf
70.69/70.76 o 16
70.69/70.76 c *70.7s| 50501 | 1224 | 39984 | 0.8 | 26M|1641 | - |3785 |5151 |3785 | 940 |6468 |3367 |1596 | 0.000000e+00 | 1.600000e+01 | Inf
70.69/70.80 o 8
70.69/70.80 c *70.8s| 50509 | 724 | 40112 | 0.8 | 25M|1641 | - |3785 |4623 |3785 | 928 |6480 |3370 |1600 | 0.000000e+00 | 8.000000e+00 | Inf
85.80/85.84 c 85.8s| 60000 | 1146 |111060 | 1.8 | 30M|1641 | 1 |3785 |7767 |3785 | 916 |9443 | 15k|1726 | 0.000000e+00 | 8.000000e+00 | Inf
101.20/101.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.20/101.21 c 101s| 70000 | 1438 |177936 | 2.5 | 33M|1641 | - |3785 |8312 | 0 | 0 | 12k| 28k|1726 | 0.000000e+00 | 8.000000e+00 | Inf
106.79/106.80 o 6
106.79/106.80 c * 107s| 73465 | 1456 |202417 | 2.8 | 33M|1641 | - |3785 |9538 |3785 | 930 | 14k| 33k|1782 | 0.000000e+00 | 6.000000e+00 | Inf
107.19/107.27 o 2
107.19/107.27 c * 107s| 73724 | 1355 |204201 | 2.8 | 32M|1641 | - |3785 |9173 |3785 | 937 | 14k| 33k|1789 | 0.000000e+00 | 2.000000e+00 | Inf
116.80/116.81 c 117s| 80000 | 1472 |243913 | 3.0 | 33M|1641 | - |3785 |8376 | 0 | 0 | 16k| 41k|1914 | 0.000000e+00 | 2.000000e+00 | Inf
131.90/131.98 c 132s| 90000 | 1518 |306124 | 3.4 | 35M|1641 | - |3785 |8719 | 0 | 0 | 19k| 55k|2139 | 0.000000e+00 | 2.000000e+00 | Inf
147.49/147.55 c 148s|100000 | 1568 |372949 | 3.7 | 37M|1641 | 11 |3785 | 11k|3785 | 936 | 23k| 68k|2350 | 0.000000e+00 | 2.000000e+00 | Inf
164.49/164.56 c 165s|110000 | 1772 |446317 | 4.1 | 40M|1641 | 1 |3785 | 16k|3785 | 943 | 27k| 81k|2602 | 0.000000e+00 | 2.000000e+00 | Inf
182.80/182.80 c 183s|120000 | 1944 |521193 | 4.3 | 42M|1641 | - |3785 | 18k| 0 | 0 | 31k| 94k|2824 | 0.000000e+00 | 2.000000e+00 | Inf
200.50/200.58 c 201s|130000 | 2169 |585151 | 4.5 | 45M|1641 | 15 |3785 | 18k|3785 | 941 | 35k| 107k|3000 | 0.000000e+00 | 2.000000e+00 | Inf
219.49/219.56 c 220s|140000 | 2359 |657769 | 4.7 | 47M|1641 | - |3785 | 19k|3785 | 950 | 39k| 121k|3140 | 0.000000e+00 | 2.000000e+00 | Inf
238.10/238.13 c 238s|150000 | 2406 |724026 | 4.8 | 48M|1641 | - |3785 | 21k| 0 | 0 | 43k| 134k|3275 | 0.000000e+00 | 2.000000e+00 | Inf
257.10/257.13 c 257s|160000 | 2444 |793992 | 5.0 | 49M|1641 | 1 |3785 | 21k|3785 | 932 | 47k| 148k|3447 | 0.000000e+00 | 2.000000e+00 | Inf
276.10/276.11 c 276s|170000 | 2501 |862301 | 5.1 | 50M|1641 | - |3785 | 22k|3785 | 958 | 51k| 161k|3599 | 0.000000e+00 | 2.000000e+00 | Inf
295.60/295.70 c 296s|180000 | 2487 |935644 | 5.2 | 50M|1641 | 1 |3785 | 21k|3785 | 954 | 55k| 175k|3753 | 0.000000e+00 | 2.000000e+00 | Inf
314.70/314.75 c 315s|190000 | 2475 | 1008k| 5.3 | 51M|1641 | - |3785 | 22k| 0 | 0 | 60k| 189k|3878 | 0.000000e+00 | 2.000000e+00 | Inf
334.80/334.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.80/334.80 c 335s|200000 | 2430 | 1080k| 5.4 | 51M|1641 | - |3785 | 22k| 0 | 0 | 64k| 202k|4029 | 0.000000e+00 | 2.000000e+00 | Inf
353.99/354.04 c 354s|210000 | 2308 | 1152k| 5.5 | 50M|1641 | 15 |3785 | 20k|3785 | 948 | 68k| 216k|4197 | 0.000000e+00 | 2.000000e+00 | Inf
373.20/373.28 c 373s|220000 | 2338 | 1221k| 5.6 | 51M|1641 | 1 |3785 | 21k|3785 | 932 | 72k| 230k|4340 | 0.000000e+00 | 2.000000e+00 | Inf
392.61/392.63 c 393s|230000 | 2495 | 1288k| 5.6 | 53M|1641 | - |3785 | 24k| 0 | 0 | 77k| 243k|4435 | 0.000000e+00 | 2.000000e+00 | Inf
412.50/412.53 c 413s|240000 | 2401 | 1360k| 5.7 | 52M|1641 | - |3785 | 20k|3785 | 960 | 82k| 257k|4565 | 0.000000e+00 | 2.000000e+00 | Inf
431.50/431.51 c 431s|250000 | 2534 | 1435k| 5.7 | 53M|1641 | - |3785 | 19k| 0 | 0 | 86k| 270k|4714 | 0.000000e+00 | 2.000000e+00 | Inf
450.30/450.33 c 450s|260000 | 2697 | 1504k| 5.8 | 55M|1641 | 16 |3785 | 21k|3785 | 940 | 90k| 284k|4830 | 0.000000e+00 | 2.000000e+00 | Inf
469.30/469.33 c 469s|270000 | 2882 | 1576k| 5.8 | 58M|1641 | - |3785 | 24k| 0 | 0 | 94k| 298k|4919 | 0.000000e+00 | 2.000000e+00 | Inf
489.20/489.21 c 489s|280000 | 3055 | 1650k| 5.9 | 59M|1641 | 15 |3785 | 23k|3785 | 949 | 99k| 311k|5037 | 0.000000e+00 | 2.000000e+00 | Inf
506.61/506.60 o 1
506.61/506.60 c * 507s|288781 | 2724 | 1718k| 6.0 | 55M|1641 | - |3785 | 22k|3785 | 960 | 103k| 323k|5133 | 0.000000e+00 | 1.000000e+00 | Inf
508.80/508.88 c 509s|290000 | 2708 | 1727k| 6.0 | 54M|1641 | - |3785 | 19k| 0 | 0 | 104k| 325k|5148 | 0.000000e+00 | 1.000000e+00 | Inf
527.20/527.26 c 527s|300000 | 2771 | 1798k| 6.0 | 56M|1641 | - |3785 | 22k| 0 | 0 | 107k| 339k|5236 | 0.000000e+00 | 1.000000e+00 | Inf
546.20/546.21 c 546s|310000 | 2759 | 1869k| 6.0 | 56M|1641 | 19 |3785 | 22k|3785 | 954 | 110k| 353k|5317 | 0.000000e+00 | 1.000000e+00 | Inf
564.90/564.91 c 565s|320000 | 2754 | 1943k| 6.1 | 56M|1641 | - |3785 | 21k| 0 | 0 | 113k| 367k|5396 | 0.000000e+00 | 1.000000e+00 | Inf
584.30/584.33 c 584s|330000 | 2791 | 2016k| 6.1 | 57M|1641 | - |3785 | 22k| 0 | 0 | 117k| 381k|5478 | 0.000000e+00 | 1.000000e+00 | Inf
605.61/605.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.61/605.62 c 606s|340000 | 2760 | 2084k| 6.1 | 58M|1641 | 1 |3785 | 23k|3785 | 969 | 119k| 395k|5543 | 0.000000e+00 | 1.000000e+00 | Inf
626.91/626.93 c 627s|350000 | 2611 | 2159k| 6.2 | 56M|1641 | - |3785 | 21k| 0 | 0 | 123k| 409k|5706 | 0.000000e+00 | 1.000000e+00 | Inf
647.70/647.78 c 648s|360000 | 2568 | 2227k| 6.2 | 57M|1641 | - |3785 | 23k| 0 | 0 | 126k| 423k|5805 | 0.000000e+00 | 1.000000e+00 | Inf
668.10/668.15 c 668s|370000 | 2484 | 2294k| 6.2 | 57M|1641 | 12 |3785 | 22k|3785 | 963 | 129k| 438k|5868 | 0.000000e+00 | 1.000000e+00 | Inf
689.30/689.35 c 689s|380000 | 2383 | 2366k| 6.2 | 55M|1641 | 7 |3785 | 21k|3785 | 925 | 132k| 452k|5970 | 0.000000e+00 | 1.000000e+00 | Inf
710.62/710.67 c 711s|390000 | 2376 | 2440k| 6.3 | 54M|1641 | - |3785 | 19k| 0 | 0 | 136k| 466k|6066 | 0.000000e+00 | 1.000000e+00 | Inf
731.91/731.99 c 732s|400000 | 2462 | 2511k| 6.3 | 56M|1641 | 1 |3785 | 22k|3785 | 931 | 139k| 479k|6115 | 0.000000e+00 | 1.000000e+00 | Inf
752.61/752.60 c 753s|410000 | 2581 | 2574k| 6.3 | 58M|1641 | 21 |3785 | 25k|3785 | 932 | 142k| 493k|6186 | 0.000000e+00 | 1.000000e+00 | Inf
774.01/774.01 c 774s|420000 | 2702 | 2647k| 6.3 | 60M|1641 | 18 |3785 | 27k|3785 | 916 | 146k| 506k|6226 | 0.000000e+00 | 1.000000e+00 | Inf
796.31/796.35 c 796s|430000 | 2765 | 2721k| 6.3 | 61M|1641 | 15 |3785 | 28k|3785 | 930 | 149k| 520k|6308 | 0.000000e+00 | 1.000000e+00 | Inf
817.81/817.84 c 818s|440000 | 2716 | 2794k| 6.4 | 60M|1641 | - |3785 | 25k| 0 | 0 | 153k| 535k|6349 | 0.000000e+00 | 1.000000e+00 | Inf
838.31/838.31 c 838s|450000 | 2731 | 2859k| 6.4 | 60M|1641 | - |3785 | 26k| 0 | 0 | 155k| 548k|6395 | 0.000000e+00 | 1.000000e+00 | Inf
859.61/859.60 c 860s|460000 | 2692 | 2932k| 6.4 | 61M|1641 | 12 |3785 | 27k|3785 | 930 | 159k| 563k|6482 | 0.000000e+00 | 1.000000e+00 | Inf
879.50/879.55 c 880s|470000 | 2627 | 2999k| 6.4 | 60M|1641 | - |3785 | 26k| 0 | 0 | 162k| 577k|6525 | 0.000000e+00 | 1.000000e+00 | Inf
900.11/900.15 c 900s|480000 | 2618 | 3074k| 6.4 | 60M|1641 | - |3785 | 26k| 0 | 0 | 165k| 591k|6576 | 0.000000e+00 | 1.000000e+00 | Inf
920.81/920.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.81/920.80 c 921s|490000 | 2690 | 3143k| 6.4 | 62M|1641 | - |3785 | 29k| 0 | 0 | 168k| 605k|6631 | 0.000000e+00 | 1.000000e+00 | Inf
942.11/942.16 c 942s|500000 | 2650 | 3213k| 6.4 | 62M|1641 | 21 |3785 | 28k|3785 | 928 | 171k| 621k|6672 | 0.000000e+00 | 1.000000e+00 | Inf
963.81/963.89 c 964s|510000 | 2628 | 3281k| 6.4 | 62M|1641 | 1 |3785 | 30k|3785 | 944 | 173k| 636k|6721 | 0.000000e+00 | 1.000000e+00 | Inf
985.21/985.29 c 985s|520000 | 2591 | 3349k| 6.4 | 62M|1641 | 15 |3785 | 29k|3785 | 924 | 176k| 650k|6790 | 0.000000e+00 | 1.000000e+00 | Inf
1005.91/1005.93 c 1006s|530000 | 2561 | 3414k| 6.4 | 60M|1641 | 8 |3785 | 27k|3785 | 942 | 179k| 665k|6837 | 0.000000e+00 | 1.000000e+00 | Inf
1026.22/1026.27 c 1026s|540000 | 2560 | 3485k| 6.5 | 62M|1641 | - |3785 | 31k| 0 | 0 | 183k| 680k|6877 | 0.000000e+00 | 1.000000e+00 | Inf
1048.91/1048.95 c 1049s|550000 | 2549 | 3557k| 6.5 | 61M|1641 | - |3785 | 28k|3785 | 952 | 186k| 694k|6932 | 0.000000e+00 | 1.000000e+00 | Inf
1070.22/1070.20 c 1070s|560000 | 2481 | 3628k| 6.5 | 60M|1641 | - |3785 | 28k| 0 | 0 | 190k| 708k|6994 | 0.000000e+00 | 1.000000e+00 | Inf
1091.42/1091.42 c 1091s|570000 | 2380 | 3704k| 6.5 | 58M|1641 | 11 |3785 | 26k|3785 | 927 | 193k| 722k|7054 | 0.000000e+00 | 1.000000e+00 | Inf
1111.81/1111.80 c 1112s|580000 | 2406 | 3766k| 6.5 | 59M|1641 | 1 |3785 | 29k|3785 | 930 | 195k| 736k|7085 | 0.000000e+00 | 1.000000e+00 | Inf
1133.82/1133.82 c 1134s|590000 | 2435 | 3833k| 6.5 | 61M|1641 | 12 |3785 | 32k|3785 | 957 | 199k| 750k|7115 | 0.000000e+00 | 1.000000e+00 | Inf
1157.32/1157.37 c 1157s|600000 | 2429 | 3909k| 6.5 | 62M|1641 | 24 |3785 | 35k|3785 | 968 | 202k| 764k|7181 | 0.000000e+00 | 1.000000e+00 | Inf
1180.61/1180.64 c 1181s|610000 | 2407 | 3977k| 6.5 | 61M|1641 | 7 |3785 | 33k|3785 | 948 | 206k| 778k|7247 | 0.000000e+00 | 1.000000e+00 | Inf
1205.02/1205.09 c 1205s|620000 | 2396 | 4048k| 6.5 | 62M|1641 | - |3785 | 35k| 0 | 0 | 209k| 791k|7305 | 0.000000e+00 | 1.000000e+00 | Inf
1231.11/1231.12 c 1231s|630000 | 2366 | 4127k| 6.6 | 61M|1641 | 12 |3785 | 34k|3785 | 938 | 212k| 805k|7383 | 0.000000e+00 | 1.000000e+00 | Inf
1256.22/1256.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.22/1256.25 c 1256s|640000 | 2339 | 4205k| 6.6 | 61M|1641 | - |3785 | 33k| 0 | 0 | 215k| 819k|7436 | 0.000000e+00 | 1.000000e+00 | Inf
1280.72/1280.78 c 1281s|650000 | 2372 | 4275k| 6.6 | 61M|1641 | - |3785 | 33k| 0 | 0 | 217k| 833k|7850 | 0.000000e+00 | 1.000000e+00 | Inf
1304.72/1304.78 c 1305s|660000 | 2349 | 4344k| 6.6 | 62M|1641 | - |3785 | 35k| 0 | 0 | 220k| 846k|7851 | 0.000000e+00 | 1.000000e+00 | Inf
1328.72/1328.74 c 1329s|670000 | 2371 | 4414k| 6.6 | 62M|1641 | - |3785 | 34k| 0 | 0 | 222k| 861k|7852 | 0.000000e+00 | 1.000000e+00 | Inf
1354.22/1354.25 c 1354s|680000 | 2482 | 4481k| 6.6 | 63M|1641 | 16 |3785 | 36k|3785 | 916 | 224k| 875k|7855 | 0.000000e+00 | 1.000000e+00 | Inf
1381.22/1381.20 c 1381s|690000 | 2481 | 4551k| 6.6 | 64M|1641 | - |3785 | 36k| 0 | 0 | 227k| 889k|7883 | 0.000000e+00 | 1.000000e+00 | Inf
1407.52/1407.56 c 1408s|700000 | 2503 | 4617k| 6.6 | 65M|1641 | - |3785 | 39k| 0 | 0 | 229k| 903k|7931 | 0.000000e+00 | 1.000000e+00 | Inf
1434.32/1434.36 c 1434s|710000 | 2514 | 4685k| 6.6 | 66M|1641 | 9 |3785 | 41k|3785 | 942 | 232k| 917k|7965 | 0.000000e+00 | 1.000000e+00 | Inf
1461.52/1461.53 c 1462s|720000 | 2525 | 4754k| 6.6 | 66M|1641 | 1 |3785 | 41k|3785 | 943 | 234k| 931k|8000 | 0.000000e+00 | 1.000000e+00 | Inf
1488.92/1488.91 c 1489s|730000 | 2512 | 4820k| 6.6 | 67M|1641 | - |3785 | 44k| 0 | 0 | 236k| 945k|8032 | 0.000000e+00 | 1.000000e+00 | Inf
1516.32/1516.36 c 1516s|740000 | 2538 | 4889k| 6.6 | 67M|1641 | - |3785 | 43k| 0 | 0 | 239k| 959k|8067 | 0.000000e+00 | 1.000000e+00 | Inf
1541.92/1541.95 c 1542s|750000 | 2572 | 4946k| 6.6 | 67M|1641 | - |3785 | 43k| 0 | 0 | 242k| 974k|8100 | 0.000000e+00 | 1.000000e+00 | Inf
1569.12/1569.16 c 1569s|760000 | 2484 | 5009k| 6.6 | 67M|1641 | - |3785 | 43k| 0 | 0 | 245k| 989k|8134 | 0.000000e+00 | 1.000000e+00 | Inf
1596.42/1596.48 c 1596s|770000 | 2548 | 5071k| 6.6 | 67M|1641 | 1 |3785 | 43k|3785 | 926 | 248k|1002k|8168 | 0.000000e+00 | 1.000000e+00 | Inf
1623.42/1623.42 c 1623s|780000 | 2589 | 5131k| 6.6 | 69M|1641 | - |3785 | 48k| 0 | 0 | 251k|1016k|8201 | 0.000000e+00 | 1.000000e+00 | Inf
1651.63/1651.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.63/1651.65 c 1652s|790000 | 2513 | 5195k| 6.6 | 68M|1641 | - |3785 | 43k| 0 | 0 | 254k|1029k|8250 | 0.000000e+00 | 1.000000e+00 | Inf
1677.33/1677.38 c 1677s|800000 | 2499 | 5259k| 6.6 | 68M|1641 | 19 |3785 | 44k|3785 | 952 | 256k|1044k|8300 | 0.000000e+00 | 1.000000e+00 | Inf
1703.93/1703.93 c 1704s|810000 | 2462 | 5324k| 6.6 | 67M|1641 | - |3785 | 42k| 0 | 0 | 259k|1058k|8333 | 0.000000e+00 | 1.000000e+00 | Inf
1730.83/1730.84 c 1731s|820000 | 2525 | 5393k| 6.6 | 67M|1641 | 19 |3785 | 41k|3785 | 930 | 261k|1072k|8364 | 0.000000e+00 | 1.000000e+00 | Inf
1755.93/1755.95 c 1756s|830000 | 2666 | 5456k| 6.6 | 70M|1641 | 4 |3785 | 46k|3785 | 930 | 264k|1087k|8397 | 0.000000e+00 | 1.000000e+00 | Inf
1782.53/1782.51 c 1782s|840000 | 2752 | 5522k| 6.6 | 71M|1641 | - |3785 | 48k| 0 | 0 | 266k|1102k|8429 | 0.000000e+00 | 1.000000e+00 | Inf
1790.03/1790.01 c
1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.01 c Solving Time (sec) : 1789.98
1790.03/1790.01 c Solving Nodes : 842758
1790.03/1790.01 c Primal Bound : +1.00000000000000e+00 (135 solutions)
1790.03/1790.01 c Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Gap : infinite
1790.03/1790.03 s SATISFIABLE
1790.03/1790.03 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 -x210
1790.03/1790.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189
1790.03/1790.03 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1790.03/1790.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.03/1790.03 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1790.03/1790.03 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1790.03/1790.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
1790.03/1790.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
1790.03/1790.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
1790.03/1790.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
1790.03/1790.03 v -x1
1790.03/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.03 c Solving Time : 1789.98
1790.03/1790.03 c Original Problem :
1790.03/1790.03 c Problem name : HOME/instance-2705633-1278572960.wbo
1790.03/1790.03 c Variables : 3905 (2068 binary, 0 integer, 1837 implicit integer, 0 continuous)
1790.03/1790.03 c Constraints : 4545 initial, 4545 maximal
1790.03/1790.03 c Presolved Problem :
1790.03/1790.03 c Problem name : t_HOME/instance-2705633-1278572960.wbo
1790.03/1790.03 c Variables : 3785 (2008 binary, 0 integer, 1777 implicit integer, 0 continuous)
1790.03/1790.03 c Constraints : 4383 initial, 49310 maximal
1790.03/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.03 c trivial : 0.00 60 0 0 0 0 0 0 0
1790.03/1790.03 c dualfix : 0.00 60 0 0 0 0 0 0 0
1790.03/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c probing : 0.04 0 0 0 0 0 0 0 0
1790.03/1790.03 c setppc : 0.00 0 0 0 0 0 15 0 0
1790.03/1790.03 c linear : 0.05 0 0 0 1852 0 87 71 0
1790.03/1790.03 c indicator : 0.00 0 0 0 0 0 60 0 0
1790.03/1790.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.03 c root node : - 3554 - - 3554 - - - -
1790.03/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.03 c integral : 0 0 0 521382 0 61 959 0 0 872442
1790.03/1790.03 c setppc : 44 6 3888138 79634 1 28971 919649 0 0 0
1790.03/1790.03 c linear : 1777 6 3869722 84159 1 213192 16681062 267588 0 0
1790.03/1790.03 c indicator : 1777 0 1087241 61792 0 70 498482 0 0 0
1790.03/1790.03 c logicor : 785+ 6 1636293 47269 1 144764 4063713 0 0 0
1790.03/1790.03 c bounddisjunction : 0+ 0 429985 0 0 397 2580 0 0 0
1790.03/1790.03 c countsols : 0 0 0 47269 1 0 0 0 0 0
1790.03/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.03 c integral : 19.16 0.00 0.00 19.16 0.00
1790.03/1790.03 c setppc : 9.60 0.00 9.55 0.04 0.00
1790.03/1790.03 c linear : 139.86 0.00 136.51 3.35 0.00
1790.03/1790.03 c indicator : 9.87 0.01 4.69 5.17 0.00
1790.03/1790.03 c logicor : 347.23 0.00 346.67 0.56 0.00
1790.03/1790.03 c bounddisjunction : 1.52 0.00 1.52 0.00 0.00
1790.03/1790.03 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.03/1790.03 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.03 c vbounds : 0.63 6987 0 1112
1790.03/1790.03 c rootredcost : 0.59 34 0 1777
1790.03/1790.03 c pseudoobj : 95.13 3899773 994 401660
1790.03/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.03 c propagation : 19.44 388318 387879 2386532 29.3 10034 25.4 -
1790.03/1790.03 c infeasible LP : 11.19 42617 42617 326186 45.9 417 17.5 0
1790.03/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.03/1790.03 c applied globally : - - - 1106566 24.7 - - -
1790.03/1790.03 c applied locally : - - - 0 0.0 - - -
1790.03/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.03 c cut pool : 0.00 5 - - 7 - (maximal pool size: 329)
1790.03/1790.03 c redcost : 33.03 522673 0 56619 0 0
1790.03/1790.03 c impliedbounds : 0.00 6 0 0 0 0
1790.03/1790.03 c intobj : 0.00 0 0 0 0 0
1790.03/1790.03 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.03 c gomory : 0.12 6 0 0 1224 0
1790.03/1790.03 c strongcg : 0.11 6 0 0 1278 0
1790.03/1790.03 c cmir : 0.02 6 0 0 2 0
1790.03/1790.03 c flowcover : 0.06 6 0 0 1 0
1790.03/1790.03 c clique : 0.00 6 0 0 0 0
1790.03/1790.03 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.03 c mcf : 0.00 1 0 0 0 0
1790.03/1790.03 c rapidlearning : 0.07 1 0 0 0 0
1790.03/1790.03 c Pricers : Time Calls Vars
1790.03/1790.03 c problem variables: 0.00 0 0
1790.03/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.03 c relpscost : 18.71 437070 61 959 0 0 872442
1790.03/1790.03 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.03 c inference : 10.32 47237 0 0 0 0 94688
1790.03/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.03 c random : 0.00 0 0 0 0 0 0
1790.03/1790.03 c Primal Heuristics : Time Calls Found
1790.03/1790.03 c LP solutions : 0.07 - 33
1790.03/1790.03 c pseudo solutions : 0.00 - 0
1790.03/1790.03 c intshifting : 0.01 0 0
1790.03/1790.03 c feaspump : 0.02 1 0
1790.03/1790.03 c oneopt : 0.32 27 0
1790.03/1790.03 c crossover : 0.94 26 0
1790.03/1790.03 c pscostdiving : 0.16 110 0
1790.03/1790.03 c veclendiving : 0.15 110 0
1790.03/1790.03 c guideddiving : 0.23 110 0
1790.03/1790.03 c coefdiving : 0.18 111 0
1790.03/1790.03 c fracdiving : 0.16 111 0
1790.03/1790.03 c linesearchdiving : 0.15 111 0
1790.03/1790.03 c objpscostdiving : 0.14 100 0
1790.03/1790.03 c rootsoldiving : 0.17 100 0
1790.03/1790.03 c trivial : 0.00 2 0
1790.03/1790.03 c simplerounding : 0.66 437141 0
1790.03/1790.03 c zirounding : 0.27 1000 0
1790.03/1790.03 c rounding : 0.93 9264 0
1790.03/1790.03 c shifting : 0.70 2880 0
1790.03/1790.03 c twoopt : 0.00 0 0
1790.03/1790.03 c fixandinfer : 0.00 0 0
1790.03/1790.03 c intdiving : 0.00 0 0
1790.03/1790.03 c actconsdiving : 0.00 0 0
1790.03/1790.03 c octane : 0.00 0 0
1790.03/1790.03 c rens : 0.03 1 0
1790.03/1790.03 c rins : 0.00 0 0
1790.03/1790.03 c localbranching : 0.00 0 0
1790.03/1790.03 c mutation : 0.00 0 0
1790.03/1790.03 c dins : 0.00 0 0
1790.03/1790.03 c undercover : 0.00 0 0
1790.03/1790.03 c nlp : 0.14 0 0
1790.03/1790.03 c trysol : 0.32 216 102
1790.03/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.03 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.03 c dual LP : 589.14 516131 5538243 10.73 9400.55
1790.03/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.03 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.03 c diving/probing LP: 0.27 223 1615 7.24 6063.36
1790.03/1790.03 c strong branching : 15.03 8429 160254 19.01 10662.99
1790.03/1790.03 c (at root node) : - 17 2303 135.47 -
1790.03/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.03 c B&B Tree :
1790.03/1790.03 c number of runs : 1
1790.03/1790.03 c nodes : 842758
1790.03/1790.03 c nodes (total) : 842758
1790.03/1790.03 c nodes left : 2775
1790.03/1790.03 c max depth : 1641
1790.03/1790.03 c max depth (total): 1641
1790.03/1790.03 c backtracks : 95669 (11.4%)
1790.03/1790.03 c delayed cutoffs : 73509
1790.03/1790.03 c repropagations : 1646777 (4408778 domain reductions, 71610 cutoffs)
1790.03/1790.03 c avg switch length: 5.38
1790.03/1790.03 c switching time : 284.03
1790.03/1790.03 c Solution :
1790.03/1790.03 c Solutions found : 135 (34 improvements)
1790.03/1790.03 c First Solution : +9.03830000000000e+04 (in run 1, after 36 nodes, 2.42 seconds, depth 22, found by <trysol>)
1790.03/1790.03 c Primal Bound : +1.00000000000000e+00 (in run 1, after 288781 nodes, 506.57 seconds, depth 70, found by <relaxation>)
1790.03/1790.03 c Dual Bound : +0.00000000000000e+00
1790.03/1790.03 c Gap : infinite
1790.03/1790.03 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.03 c Root Iterations : 178
1790.13/1790.16 c Time complete: 1790.2.