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-2693457-1277905160.wbo>
0.00/0.03 c original problem has 3807 variables (2019 bin, 0 int, 0 impl, 1788 cont) and 4496 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, 1928 impls, 11 clqs
0.00/0.09 c (round 2) 0 del vars, 71 del conss, 1788 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.09/0.10 c (round 3) 54 del vars, 152 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.09/0.11 c (round 4) 126 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.09/0.12 c (round 5) 144 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.09/0.18 c (0.1s) probing: 101/1947 (5.2%) - 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 144 deleted vars, 170 deleted constraints, 1806 tightened bounds, 0 added holes, 81 changed sides, 0 changed coefficients
0.09/0.18 c 1928 implications, 11 cliques
0.09/0.18 c presolved problem has 3663 variables (1947 bin, 0 int, 0 impl, 1716 cont) and 4326 constraints
0.09/0.18 c 1716 constraints of type <indicator>
0.09/0.18 c 11 constraints of type <setppc>
0.09/0.18 c 1716 constraints of type <linear>
0.09/0.18 c 883 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.98
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.19 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.19 c 0.1s| 1 | 0 | 24 | - | 13M| 0 | 14 |3663 |4326 |3663 | 894 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 85182
0.19/0.20 c y 0.2s| 1 | 0 | 24 | - | 13M| 0 | 14 |3663 |4326 |3663 | 894 | 0 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 63 | - | 13M| 0 | 29 |3663 |4326 |3663 | 912 | 18 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 122 | - | 14M| 0 | 31 |3663 |4326 |3663 | 930 | 36 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.29/0.31 c 0.3s| 1 | 0 | 156 | - | 14M| 0 | 39 |3663 |4326 |3663 | 940 | 46 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 749 | - | 14M| 0 | 24 |3663 |4326 |3663 | 967 | 73 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 1428 | - | 14M| 0 | 36 |3663 |4326 |3663 | 997 | 103 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.59/0.64 c 0.6s| 1 | 0 | 1951 | - | 15M| 0 | 102 |3663 |4326 |3663 |1026 | 132 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
3.59/3.63 c 3.5s| 1 | 2 | 1951 | - | 15M| 0 | 102 |3663 |4326 |3663 |1026 | 132 | 0 | 33 | 0.000000e+00 | 8.518200e+04 | Inf
22.40/22.45 c 21.9s| 10000 | 9987 | 22484 | 2.1 | 39M| 171 | 0 |3663 |4350 |3663 |1068 |5019 | 31 |1425 | 0.000000e+00 | 8.518200e+04 | Inf
34.99/35.04 c 34.2s| 20000 | 19974 | 34340 | 1.6 | 57M| 171 | 0 |3663 |4365 |3663 |1056 |7331 | 62 |1483 | 0.000000e+00 | 8.518200e+04 | Inf
47.59/47.62 c 46.6s| 30000 | 29966 | 44458 | 1.4 | 74M| 171 | 0 |3663 |4363 |3663 |1062 |9728 | 80 |1516 | 0.000000e+00 | 8.518200e+04 | Inf
60.19/60.24 c 59.0s| 40000 | 39964 | 55939 | 1.3 | 91M| 171 | 0 |3663 |4359 |3663 |1080 | 12k| 82 |1617 | 0.000000e+00 | 8.518200e+04 | Inf
72.49/72.59 c 71.2s| 50000 | 49946 | 65897 | 1.3 | 109M| 171 | 0 |3663 |4372 |3663 |1074 | 13k| 105 |1635 | 0.000000e+00 | 8.518200e+04 | Inf
84.89/84.94 c 83.4s| 60000 | 59918 | 74732 | 1.2 | 126M| 171 | 0 |3663 |4381 |3663 |1079 | 15k| 134 |1685 | 0.000000e+00 | 8.518200e+04 | Inf
96.80/96.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.80/96.84 c 95.1s| 70000 | 69916 | 80389 | 1.1 | 143M| 171 | 0 |3663 |4373 |3663 |1091 | 16k| 142 |1692 | 0.000000e+00 | 8.518200e+04 | Inf
109.20/109.23 c 107s| 80000 | 79914 | 88220 | 1.1 | 160M| 171 | 0 |3663 |4357 |3663 |1102 | 18k| 143 |1701 | 0.000000e+00 | 8.518200e+04 | Inf
121.30/121.35 c 119s| 90000 | 89898 | 94760 | 1.0 | 177M| 171 | 0 |3663 |4358 |3663 |1088 | 20k| 158 |1704 | 0.000000e+00 | 8.518200e+04 | Inf
133.10/133.11 c 131s|100000 | 99880 | 98535 | 1.0 | 194M| 171 | 0 |3663 |4370 |3663 |1092 | 21k| 180 |1706 | 0.000000e+00 | 8.518200e+04 | Inf
144.90/144.98 c 143s|110000 |109878 |102041 | 0.9 | 211M| 171 | 0 |3663 |4360 |3663 |1086 | 22k| 181 |1709 | 0.000000e+00 | 8.518200e+04 | Inf
156.70/156.70 c 154s|120000 |119878 |105880 | 0.9 | 227M| 171 | 0 |3663 |4359 |3663 |1073 | 22k| 181 |1711 | 0.000000e+00 | 8.518200e+04 | Inf
168.90/168.93 c 166s|130000 |129876 |112509 | 0.9 | 244M| 171 | 0 |3663 |4346 |3663 |1046 | 24k| 182 |1712 | 0.000000e+00 | 8.518200e+04 | Inf
181.29/181.40 c 179s|140000 |139870 |121356 | 0.9 | 262M| 171 | 0 |3663 |4350 |3663 |1070 | 26k| 193 |1714 | 0.000000e+00 | 8.518200e+04 | Inf
193.29/193.31 c 190s|150000 |149868 |127829 | 0.8 | 279M| 171 | 0 |3663 |4347 |3663 |1121 | 27k| 194 |1714 | 0.000000e+00 | 8.518200e+04 | Inf
205.10/205.18 c 202s|160000 |159866 |133950 | 0.8 | 296M| 171 | 0 |3663 |4345 |3663 |1123 | 28k| 196 |1717 | 0.000000e+00 | 8.518200e+04 | Inf
217.49/217.53 c 214s|170000 |169866 |141644 | 0.8 | 313M| 171 | 0 |3663 |4342 |3663 |1104 | 30k| 196 |1722 | 0.000000e+00 | 8.518200e+04 | Inf
229.69/229.79 c 226s|180000 |179860 |147684 | 0.8 | 330M| 171 | 0 |3663 |4341 |3663 |1092 | 32k| 199 |1724 | 0.000000e+00 | 8.518200e+04 | Inf
241.90/241.92 c 238s|190000 |189860 |153575 | 0.8 | 347M| 171 | 0 |3663 |4340 |3663 |1108 | 33k| 199 |1727 | 0.000000e+00 | 8.518200e+04 | Inf
254.29/254.39 c 250s|200000 |199856 |160660 | 0.8 | 364M| 171 | 0 |3663 |4344 |3663 |1089 | 35k| 205 |1734 | 0.000000e+00 | 8.518200e+04 | Inf
266.50/266.52 c 262s|210000 |209852 |166329 | 0.8 | 381M| 171 | 0 |3663 |4345 |3663 |1106 | 37k| 211 |1736 | 0.000000e+00 | 8.518200e+04 | Inf
278.50/278.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.50/278.51 c 274s|220000 |219846 |170889 | 0.8 | 398M| 171 | 0 |3663 |4349 |3663 |1085 | 38k| 219 |1737 | 0.000000e+00 | 8.518200e+04 | Inf
290.50/290.59 c 286s|230000 |229844 |176334 | 0.8 | 415M| 171 | 0 |3663 |4342 |3663 |1074 | 39k| 220 |1738 | 0.000000e+00 | 8.518200e+04 | Inf
302.70/302.79 c 298s|240000 |239844 |181595 | 0.7 | 432M| 171 | 0 |3663 |4339 |3663 |1136 | 41k| 220 |1742 | 0.000000e+00 | 8.518200e+04 | Inf
314.79/314.88 c 310s|250000 |249840 |185376 | 0.7 | 449M| 171 | 0 |3663 |4344 |3663 |1121 | 42k| 226 |1742 | 0.000000e+00 | 8.518200e+04 | Inf
326.40/326.43 c 322s|260000 |259838 |189324 | 0.7 | 465M| 171 | 0 |3663 |4347 |3663 |1102 | 43k| 229 |1742 | 0.000000e+00 | 8.518200e+04 | Inf
338.40/338.45 c 333s|270000 |269838 |195689 | 0.7 | 482M| 171 | 0 |3663 |4341 |3663 |1069 | 44k| 229 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
350.40/350.49 c 345s|280000 |279838 |199313 | 0.7 | 499M| 171 | 0 |3663 |4338 |3663 |1101 | 45k| 229 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
362.50/362.50 c 357s|290000 |289838 |204295 | 0.7 | 516M| 171 | 0 |3663 |4338 |3663 |1053 | 46k| 229 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
374.10/374.19 c 369s|300000 |299838 |207021 | 0.7 | 533M| 171 | 5 |3663 |4338 |3663 |1075 | 47k| 229 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
386.11/386.16 c 381s|310000 |309832 |210948 | 0.7 | 550M| 171 | 0 |3663 |4344 |3663 |1114 | 48k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
397.20/397.22 c 391s|320000 |319832 |212837 | 0.7 | 566M| 369 | 0 |3663 |4344 |3663 |1107 | 48k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
407.90/407.94 c 402s|330000 |329832 |213751 | 0.6 | 583M| 369 | 0 |3663 |4344 |3663 |1102 | 48k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
418.60/418.65 c 413s|340000 |339832 |214830 | 0.6 | 599M| 369 | 0 |3663 |4344 |3663 |1080 | 48k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
429.40/429.41 c 423s|350000 |349832 |215768 | 0.6 | 615M| 369 | 0 |3663 |4344 |3663 |1083 | 49k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
440.20/440.21 c 434s|360000 |359832 |216991 | 0.6 | 632M| 369 | 0 |3663 |4343 |3663 |1088 | 49k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
450.90/450.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.90/450.99 c 445s|370000 |369832 |218028 | 0.6 | 648M| 369 | 0 |3663 |4343 |3663 |1078 | 49k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
461.80/461.82 c 455s|380000 |379832 |219209 | 0.6 | 665M| 369 | 0 |3663 |4343 |3663 |1084 | 49k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
472.70/472.71 c 466s|390000 |389832 |220964 | 0.6 | 681M| 369 | 0 |3663 |4343 |3663 |1098 | 50k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
483.60/483.65 c 477s|400000 |399832 |222277 | 0.6 | 698M| 369 | 0 |3663 |4343 |3663 |1099 | 50k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
494.60/494.69 c 488s|410000 |409832 |224676 | 0.5 | 714M| 369 | 0 |3663 |4343 |3663 |1123 | 51k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
505.61/505.62 c 499s|420000 |419832 |226054 | 0.5 | 731M| 369 | 0 |3663 |4340 |3663 |1102 | 51k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
516.50/516.55 c 509s|430000 |429832 |227744 | 0.5 | 747M| 369 | 0 |3663 |4340 |3663 |1102 | 51k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
527.40/527.43 c 520s|440000 |439832 |229126 | 0.5 | 764M| 369 | 0 |3663 |4340 |3663 |1081 | 52k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
538.20/538.29 c 531s|450000 |449832 |230753 | 0.5 | 780M| 369 | 0 |3663 |4340 |3663 |1095 | 52k| 237 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
549.11/549.13 c 542s|460000 |459830 |232316 | 0.5 | 797M| 369 | 0 |3663 |4343 |3663 |1078 | 52k| 240 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
559.91/559.93 c 552s|470000 |469830 |233370 | 0.5 | 813M| 369 | 0 |3663 |4343 |3663 |1083 | 53k| 240 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
570.71/570.71 c 563s|480000 |479830 |234688 | 0.5 | 830M| 369 | 0 |3663 |4343 |3663 |1096 | 53k| 240 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
581.50/581.59 c 574s|490000 |489830 |236459 | 0.5 | 846M| 369 | 0 |3663 |4343 |3663 |1086 | 53k| 240 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
592.30/592.32 c 584s|500000 |499830 |237844 | 0.5 | 862M| 369 | 0 |3663 |4343 |3663 |1088 | 53k| 240 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
603.11/603.18 c 595s|510000 |509830 |239664 | 0.5 | 879M| 369 | 0 |3663 |4343 |3663 |1110 | 53k| 240 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
614.01/614.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.01/614.08 c 606s|520000 |519830 |240851 | 0.5 | 895M| 369 | 0 |3663 |4343 |3663 |1091 | 54k| 240 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
624.91/624.94 c 616s|530000 |529822 |242424 | 0.5 | 912M| 369 | 0 |3663 |4353 |3663 |1094 | 54k| 252 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
635.81/635.80 c 627s|540000 |539822 |244188 | 0.4 | 928M| 369 | 0 |3663 |4353 |3663 |1081 | 54k| 252 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
646.91/646.92 c 638s|550000 |549822 |247052 | 0.4 | 945M| 369 | 0 |3663 |4347 |3663 |1076 | 55k| 252 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
657.90/657.92 c 649s|560000 |559822 |248563 | 0.4 | 961M| 369 | 0 |3663 |4346 |3663 |1082 | 55k| 252 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
668.90/668.94 c 660s|570000 |569822 |250944 | 0.4 | 978M| 369 | 0 |3663 |4342 |3663 |1117 | 56k| 252 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
679.82/679.87 c 671s|580000 |579822 |253292 | 0.4 | 994M| 369 | 0 |3663 |4339 |3663 |1061 | 57k| 252 |1748 | 0.000000e+00 | 8.518200e+04 | Inf
690.82/690.88 c 681s|590000 |589822 |256374 | 0.4 |1011M| 369 | 0 |3663 |4339 |3663 |1075 | 58k| 252 |1750 | 0.000000e+00 | 8.518200e+04 | Inf
701.60/701.65 c 692s|600000 |599822 |257686 | 0.4 |1027M| 369 | 0 |3663 |4339 |3663 |1073 | 58k| 252 |1754 | 0.000000e+00 | 8.518200e+04 | Inf
712.51/712.58 c 703s|610000 |609822 |259403 | 0.4 |1044M| 369 | 0 |3663 |4338 |3663 |1083 | 58k| 252 |1754 | 0.000000e+00 | 8.518200e+04 | Inf
723.31/723.37 c 714s|620000 |619822 |260589 | 0.4 |1060M| 369 | 0 |3663 |4338 |3663 |1088 | 58k| 252 |1754 | 0.000000e+00 | 8.518200e+04 | Inf
734.11/734.18 c 724s|630000 |629822 |262077 | 0.4 |1077M| 369 | 0 |3663 |4338 |3663 |1076 | 58k| 252 |1754 | 0.000000e+00 | 8.518200e+04 | Inf
744.91/744.95 c 735s|640000 |639822 |263275 | 0.4 |1093M| 369 | 0 |3663 |4338 |3663 |1066 | 59k| 252 |1754 | 0.000000e+00 | 8.518200e+04 | Inf
755.71/755.75 c 746s|650000 |649822 |264424 | 0.4 |1110M| 369 | 0 |3663 |4338 |3663 |1088 | 59k| 252 |1755 | 0.000000e+00 | 8.518200e+04 | Inf
766.62/766.69 c 756s|660000 |659822 |266524 | 0.4 |1126M| 369 | 0 |3663 |4338 |3663 |1077 | 59k| 252 |1755 | 0.000000e+00 | 8.518200e+04 | Inf
777.51/777.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.51/777.55 c 767s|670000 |669822 |268176 | 0.4 |1143M| 369 | 0 |3663 |4338 |3663 |1086 | 60k| 252 |1755 | 0.000000e+00 | 8.518200e+04 | Inf
788.41/788.48 c 778s|680000 |679822 |270356 | 0.4 |1159M| 369 | 0 |3663 |4338 |3663 |1074 | 60k| 252 |1755 | 0.000000e+00 | 8.518200e+04 | Inf
799.31/799.33 c 789s|690000 |689822 |271756 | 0.4 |1176M| 369 | 0 |3663 |4338 |3663 |1081 | 60k| 252 |1755 | 0.000000e+00 | 8.518200e+04 | Inf
810.21/810.25 c 799s|700000 |699820 |273547 | 0.4 |1192M| 369 | 0 |3663 |4338 |3663 |1080 | 61k| 253 |1755 | 0.000000e+00 | 8.518200e+04 | Inf
821.01/821.07 c 810s|710000 |709820 |275133 | 0.4 |1209M| 369 | 0 |3663 |4338 |3663 |1122 | 61k| 253 |1757 | 0.000000e+00 | 8.518200e+04 | Inf
832.01/832.03 c 821s|720000 |719820 |276880 | 0.4 |1225M| 369 | 0 |3663 |4338 |3663 |1069 | 61k| 253 |1757 | 0.000000e+00 | 8.518200e+04 | Inf
843.01/843.02 c 832s|730000 |729820 |278372 | 0.4 |1242M| 369 | 0 |3663 |4338 |3663 |1044 | 62k| 253 |1757 | 0.000000e+00 | 8.518200e+04 | Inf
853.91/853.97 c 843s|740000 |739820 |279825 | 0.4 |1258M| 369 | 0 |3663 |4338 |3663 |1061 | 62k| 253 |1757 | 0.000000e+00 | 8.518200e+04 | Inf
864.81/864.86 c 853s|750000 |749820 |281531 | 0.4 |1275M| 369 | 0 |3663 |4338 |3663 |1095 | 62k| 253 |1757 | 0.000000e+00 | 8.518200e+04 | Inf
875.81/875.85 c 864s|760000 |759820 |283462 | 0.4 |1291M| 369 | 0 |3663 |4338 |3663 |1055 | 63k| 253 |1757 | 0.000000e+00 | 8.518200e+04 | Inf
886.71/886.73 c 875s|770000 |769818 |284812 | 0.4 |1308M| 369 | 0 |3663 |4341 |3663 |1074 | 63k| 256 |1757 | 0.000000e+00 | 8.518200e+04 | Inf
897.61/897.61 c 886s|780000 |779818 |286004 | 0.4 |1324M| 369 | 0 |3663 |4341 |3663 |1085 | 63k| 256 |1757 | 0.000000e+00 | 8.518200e+04 | Inf
908.52/908.51 c 896s|790000 |789818 |287190 | 0.4 |1341M| 369 | 0 |3663 |4341 |3663 |1113 | 64k| 256 |1758 | 0.000000e+00 | 8.518200e+04 | Inf
919.42/919.40 c 907s|800000 |799818 |288035 | 0.4 |1357M| 369 | 0 |3663 |4340 |3663 |1117 | 64k| 256 |1758 | 0.000000e+00 | 8.518200e+04 | Inf
930.31/930.35 c 918s|810000 |809818 |289124 | 0.4 |1374M| 369 | 0 |3663 |4340 |3663 |1076 | 64k| 256 |1758 | 0.000000e+00 | 8.518200e+04 | Inf
941.31/941.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.31/941.39 c 929s|820000 |819816 |291282 | 0.4 |1390M| 369 | 0 |3663 |4340 |3663 |1074 | 65k| 257 |1758 | 0.000000e+00 | 8.518200e+04 | Inf
952.22/952.26 c 940s|830000 |829816 |292634 | 0.4 |1407M| 369 | 0 |3663 |4339 |3663 |1104 | 65k| 257 |1758 | 0.000000e+00 | 8.518200e+04 | Inf
963.11/963.11 c 950s|840000 |839816 |293526 | 0.3 |1423M| 369 | 0 |3663 |4339 |3663 |1074 | 65k| 257 |1758 | 0.000000e+00 | 8.518200e+04 | Inf
973.91/973.95 c 961s|850000 |849816 |294860 | 0.3 |1440M| 369 | 0 |3663 |4339 |3663 |1094 | 65k| 257 |1758 | 0.000000e+00 | 8.518200e+04 | Inf
984.91/984.93 c 972s|860000 |859816 |296880 | 0.3 |1456M| 369 | 0 |3663 |4339 |3663 |1102 | 66k| 257 |1777 | 0.000000e+00 | 8.518200e+04 | Inf
995.71/995.76 c 983s|870000 |869816 |298127 | 0.3 |1473M| 369 | 0 |3663 |4338 |3663 |1107 | 66k| 257 |1782 | 0.000000e+00 | 8.518200e+04 | Inf
1003.31/1003.34 o 21
1003.31/1003.34 c * 990s|876188 | 19475 |298535 | 0.3 | 60M|1761 | - |3663 |4337 |3663 |1076 | 66k| 257 |1784 | 0.000000e+00 | 2.100000e+01 | Inf
1003.31/1003.39 o 18
1003.31/1003.39 c * 990s|876192 | 18511 |298711 | 0.3 | 57M|1761 | - |3663 |2977 |3663 |1013 | 66k| 264 |1788 | 0.000000e+00 | 1.800000e+01 | Inf
1003.41/1003.45 o 12
1003.41/1003.45 c * 990s|876202 | 17548 |299085 | 0.3 | 55M|1761 | - |3663 |2939 |3663 |1065 | 66k| 273 |1794 | 0.000000e+00 | 1.200000e+01 | Inf
1003.41/1003.49 o 11
1003.41/1003.49 c * 990s|876203 | 10887 |299115 | 0.3 | 43M|1761 | - |3663 |2848 |3663 |1072 | 66k| 276 |1794 | 0.000000e+00 | 1.100000e+01 | Inf
1010.51/1010.59 o 4
1010.51/1010.59 c * 997s|879959 | 5632 |329437 | 0.4 | 36M|1761 | - |3663 |6235 |3663 |1024 | 68k|5282 |1978 | 0.000000e+00 | 4.000000e+00 | Inf
1010.62/1010.67 c 997s|880000 | 5628 |329662 | 0.4 | 36M|1761 | - |3663 |6128 | 0 | 0 | 68k|5351 |1982 | 0.000000e+00 | 4.000000e+00 | Inf
1028.72/1028.78 c 1015s|890000 | 5446 |403065 | 0.5 | 39M|1761 | 25 |3663 | 12k|3663 |1011 | 74k| 18k|2186 | 0.000000e+00 | 4.000000e+00 | Inf
1048.32/1048.33 c 1034s|900000 | 4773 |480226 | 0.5 | 38M|1761 | 9 |3663 | 12k|3663 |1042 | 79k| 31k|2460 | 0.000000e+00 | 4.000000e+00 | Inf
1068.81/1068.87 c 1054s|910000 | 4295 |558968 | 0.6 | 39M|1761 | 11 |3663 | 15k|3663 |1013 | 85k| 44k|2677 | 0.000000e+00 | 4.000000e+00 | Inf
1089.62/1089.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.62/1089.65 c 1074s|920000 | 2939 |638459 | 0.7 | 39M|1761 | 8 |3663 | 18k|3663 |1037 | 90k| 57k|2880 | 0.000000e+00 | 4.000000e+00 | Inf
1107.62/1107.65 o 1
1107.62/1107.65 c *1091s|928397 | 2152 |703811 | 0.8 | 37M|1761 | - |3663 | 20k|3663 |1041 | 96k| 69k|3083 | 0.000000e+00 | 1.000000e-00 | Inf
1110.61/1110.69 c 1094s|930000 | 2166 |714708 | 0.8 | 37M|1761 | 10 |3663 | 21k|3663 |1045 | 97k| 71k|3085 | 0.000000e+00 | 1.000000e-00 | Inf
1130.51/1130.51 c 1114s|940000 | 1970 |779647 | 0.8 | 37M|1761 | 12 |3663 | 21k|3663 |1034 | 101k| 85k|3233 | 0.000000e+00 | 1.000000e-00 | Inf
1151.73/1151.73 c 1134s|950000 | 2014 |851276 | 0.9 | 39M|1761 | - |3663 | 26k| 0 | 0 | 104k| 98k|3370 | 0.000000e+00 | 1.000000e-00 | Inf
1175.02/1175.01 c 1157s|960000 | 2035 |931687 | 1.0 | 41M|1761 | - |3663 | 31k| 0 | 0 | 108k| 112k|3489 | 0.000000e+00 | 1.000000e-00 | Inf
1197.62/1197.65 c 1179s|970000 | 2041 |996896 | 1.0 | 41M|1761 | 6 |3663 | 31k|3663 |1010 | 112k| 125k|3620 | 0.000000e+00 | 1.000000e-00 | Inf
1221.22/1221.21 c 1202s|980000 | 2167 | 1058k| 1.1 | 44M|1761 | - |3663 | 35k| 0 | 0 | 116k| 139k|3709 | 0.000000e+00 | 1.000000e-00 | Inf
1246.12/1246.17 c 1227s|990000 | 2215 | 1125k| 1.1 | 46M|1761 | - |3663 | 37k| 0 | 0 | 120k| 153k|3776 | 0.000000e+00 | 1.000000e-00 | Inf
1270.82/1270.82 c 1251s| 1000k| 2242 | 1188k| 1.2 | 46M|1761 | 8 |3663 | 36k|3663 |1020 | 123k| 166k|3878 | 0.000000e+00 | 1.000000e-00 | Inf
1296.02/1296.06 c 1275s| 1010k| 1902 | 1255k| 1.2 | 41M|1761 | 1 |3663 | 30k|3663 |1002 | 127k| 180k|4036 | 0.000000e+00 | 1.000000e-00 | Inf
1319.21/1319.24 c 1298s| 1020k| 2019 | 1313k| 1.3 | 44M|1761 | 1 |3663 | 36k|3663 |1017 | 132k| 194k|4120 | 0.000000e+00 | 1.000000e-00 | Inf
1344.61/1344.65 c 1323s| 1030k| 2151 | 1375k| 1.3 | 47M|1761 | 6 |3663 | 41k|3663 |1022 | 136k| 208k|4185 | 0.000000e+00 | 1.000000e-00 | Inf
1372.01/1372.04 c 1350s| 1040k| 2178 | 1441k| 1.4 | 47M|1761 | 21 |3663 | 40k|3663 |1009 | 139k| 223k|4267 | 0.000000e+00 | 1.000000e-00 | Inf
1398.12/1398.11 c 1375s| 1050k| 2191 | 1508k| 1.4 | 48M|1761 | - |3663 | 40k|3663 |1044 | 144k| 237k|4355 | 0.000000e+00 | 1.000000e-00 | Inf
1423.92/1423.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1423.92/1423.92 c 1400s| 1060k| 2113 | 1574k| 1.5 | 47M|1761 | 13 |3663 | 38k|3663 |1010 | 147k| 251k|4447 | 0.000000e+00 | 1.000000e-00 | Inf
1449.73/1449.72 c 1426s| 1070k| 2164 | 1637k| 1.5 | 49M|1761 | - |3663 | 43k| 0 | 0 | 152k| 265k|4511 | 0.000000e+00 | 1.000000e-00 | Inf
1477.92/1477.94 c 1453s| 1080k| 2277 | 1698k| 1.6 | 52M|1761 | 1 |3663 | 48k|3663 |1014 | 156k| 280k|4565 | 0.000000e+00 | 1.000000e-00 | Inf
1507.72/1507.78 c 1483s| 1090k| 2298 | 1761k| 1.6 | 53M|1761 | 14 |3663 | 50k|3663 |1022 | 160k| 294k|4638 | 0.000000e+00 | 1.000000e-00 | Inf
1537.52/1537.50 c 1512s| 1100k| 2250 | 1828k| 1.7 | 51M|1761 | 10 |3663 | 44k|3663 |1036 | 164k| 309k|4760 | 0.000000e+00 | 1.000000e-00 | Inf
1565.33/1565.36 c 1539s| 1110k| 2286 | 1891k| 1.7 | 53M|1761 | 17 |3663 | 48k|3663 |1022 | 168k| 323k|4810 | 0.000000e+00 | 1.000000e-00 | Inf
1595.82/1595.83 c 1569s| 1120k| 2366 | 1954k| 1.7 | 56M|1761 | 12 |3663 | 51k|3663 |1027 | 172k| 338k|4871 | 0.000000e+00 | 1.000000e-00 | Inf
1626.32/1626.30 c 1599s| 1130k| 2396 | 2020k| 1.8 | 56M|1761 | - |3663 | 50k| 0 | 0 | 176k| 353k|4933 | 0.000000e+00 | 1.000000e-00 | Inf
1657.03/1657.00 c 1629s| 1140k| 2392 | 2082k| 1.8 | 55M|1761 | - |3663 | 47k| 0 | 0 | 179k| 367k|5105 | 0.000000e+00 | 1.000000e-00 | Inf
1685.62/1685.63 c 1657s| 1150k| 2438 | 2146k| 1.9 | 57M|1761 | 1 |3663 | 50k|3663 |1020 | 182k| 381k|5161 | 0.000000e+00 | 1.000000e-00 | Inf
1716.12/1716.10 c 1687s| 1160k| 2468 | 2222k| 1.9 | 58M|1761 | 16 |3663 | 51k|3663 |1033 | 185k| 396k|5255 | 0.000000e+00 | 1.000000e-00 | Inf
1745.23/1745.20 c 1716s| 1170k| 2387 | 2286k| 2.0 | 55M|1761 | - |3663 | 43k| 0 | 0 | 188k| 410k|5336 | 0.000000e+00 | 1.000000e-00 | Inf
1773.13/1773.18 c 1743s| 1180k| 2446 | 2350k| 2.0 | 57M|1761 | 1 |3663 | 47k|3663 |1013 | 191k| 425k|5401 | 0.000000e+00 | 1.000000e-00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1769.30
1800.03/1800.00 c Solving Nodes : 1189061
1800.03/1800.00 c Primal Bound : +1.00000000000000e-00 (107 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.04 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.04 v -x1
1800.03/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.04 c Solving Time : 1769.30
1800.03/1800.04 c Original Problem :
1800.03/1800.04 c Problem name : HOME/instance-2693457-1277905160.wbo
1800.03/1800.04 c Variables : 3807 (2019 binary, 0 integer, 0 implicit integer, 1788 continuous)
1800.03/1800.04 c Constraints : 4496 initial, 4496 maximal
1800.03/1800.04 c Presolved Problem :
1800.03/1800.04 c Problem name : t_HOME/instance-2693457-1277905160.wbo
1800.03/1800.04 c Variables : 3663 (1947 binary, 0 integer, 0 implicit integer, 1716 continuous)
1800.03/1800.04 c Constraints : 4326 initial, 53844 maximal
1800.03/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.04 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.03/1800.04 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.03/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c probing : 0.05 0 0 0 0 0 0 0 0
1800.03/1800.04 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.03/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c linear : 0.05 0 0 0 1806 0 98 81 0
1800.03/1800.04 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.04 c root node : - 1716 - - 3432 - - - -
1800.03/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c integral : 0 0 0 1082893 0 45 826 0 0 363668
1800.03/1800.04 c indicator : 1716 0 1402913 885340 0 0 797173 0 0 0
1800.03/1800.04 c setppc : 11 6 1809929 271150 0 14884 879853 0 0 0
1800.03/1800.04 c linear : 1716 6 2561962 890942 0 91083 6653257 194440 0 0
1800.03/1800.04 c logicor : 883+ 6 855956 866588 0 41089 1801224 0 0 0
1800.03/1800.04 c countsols : 0 0 0 866588 0 0 0 0 0 0
1800.03/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.04 c integral : 16.10 0.00 0.00 16.10 0.00
1800.03/1800.04 c indicator : 133.56 0.00 22.37 111.19 0.00
1800.03/1800.04 c setppc : 8.06 0.00 7.92 0.14 0.00
1800.03/1800.04 c linear : 72.86 0.00 60.52 12.34 0.00
1800.03/1800.04 c logicor : 187.28 0.00 181.74 5.54 0.00
1800.03/1800.04 c countsols : 0.14 0.00 0.00 0.14 0.00
1800.03/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.04 c vbounds : 0.69 2 0 0
1800.03/1800.04 c rootredcost : 0.63 7 0 1716
1800.03/1800.04 c pseudoobj : 81.23 2586597 13 19664
1800.03/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.04 c propagation : 7.93 147069 146997 998156 27.4 4614 21.9 -
1800.03/1800.04 c infeasible LP : 6.70 23555 23555 206521 41.4 143 18.1 0
1800.03/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.04 c applied globally : - - - 439213 24.0 - - -
1800.03/1800.04 c applied locally : - - - 0 0.0 - - -
1800.03/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.04 c cut pool : 0.00 5 - - 7 - (maximal pool size: 472)
1800.03/1800.04 c redcost : 72.64 1083040 0 5692 0 0
1800.03/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.04 c intobj : 0.00 0 0 0 0 0
1800.03/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.04 c gomory : 0.09 6 0 0 1728 0
1800.03/1800.04 c strongcg : 0.02 6 0 0 388 0
1800.03/1800.04 c cmir : 0.04 6 0 0 0 0
1800.03/1800.04 c flowcover : 0.06 6 0 0 0 0
1800.03/1800.04 c clique : 0.00 6 0 0 0 0
1800.03/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.04 c mcf : 0.00 1 0 0 0 0
1800.03/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.04 c Pricers : Time Calls Vars
1800.03/1800.04 c problem variables: 0.00 0 0
1800.03/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c relpscost : 15.59 182610 45 826 0 0 363668
1800.03/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.04 c inference : 118.19 866582 0 0 0 0 1733164
1800.03/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c random : 0.00 0 0 0 0 0 0
1800.03/1800.04 c Primal Heuristics : Time Calls Found
1800.03/1800.04 c LP solutions : 1.25 - 6
1800.03/1800.04 c pseudo solutions : 0.00 - 0
1800.03/1800.04 c oneopt : 0.85 6 0
1800.03/1800.04 c feaspump : 0.02 1 0
1800.03/1800.04 c crossover : 0.74 13 0
1800.03/1800.04 c fracdiving : 5.59 6510 0
1800.03/1800.04 c coefdiving : 5.97 6511 0
1800.03/1800.04 c linesearchdiving : 5.68 6511 0
1800.03/1800.04 c guideddiving : 6.30 6511 0
1800.03/1800.04 c veclendiving : 6.04 6511 0
1800.03/1800.04 c pscostdiving : 5.58 6511 0
1800.03/1800.04 c objpscostdiving : 6.23 6502 0
1800.03/1800.04 c rootsoldiving : 6.09 6503 0
1800.03/1800.04 c trivial : 0.01 2 0
1800.03/1800.04 c simplerounding : 0.57 182629 0
1800.03/1800.04 c zirounding : 0.43 1000 0
1800.03/1800.04 c rounding : 0.92 5987 0
1800.03/1800.04 c shifting : 0.63 1837 0
1800.03/1800.04 c intshifting : 0.00 6 0
1800.03/1800.04 c twoopt : 0.00 0 0
1800.03/1800.04 c fixandinfer : 0.00 0 0
1800.03/1800.04 c intdiving : 0.00 0 0
1800.03/1800.04 c actconsdiving : 0.00 0 0
1800.03/1800.04 c octane : 0.00 0 0
1800.03/1800.04 c rens : 0.03 1 0
1800.03/1800.04 c rins : 0.00 0 0
1800.03/1800.04 c localbranching : 0.00 0 0
1800.03/1800.04 c mutation : 0.00 0 0
1800.03/1800.04 c dins : 0.00 0 0
1800.03/1800.04 c undercover : 0.00 0 0
1800.03/1800.04 c nlp : 0.33 0 0
1800.03/1800.04 c trysol : 0.76 7772 101
1800.03/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.04 c dual LP : 585.75 256152 2410048 9.41 4114.47
1800.03/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.04 c diving/probing LP: 0.09 76 547 7.20 6077.78
1800.03/1800.04 c strong branching : 13.99 5452 130547 23.94 9331.45
1800.03/1800.04 c (at root node) : - 33 26162 792.79 -
1800.03/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.04 c B&B Tree :
1800.03/1800.04 c number of runs : 1
1800.03/1800.04 c nodes : 1189061
1800.03/1800.04 c nodes (total) : 1189061
1800.03/1800.04 c nodes left : 2402
1800.03/1800.04 c max depth : 1761
1800.03/1800.04 c max depth (total): 1761
1800.03/1800.04 c backtracks : 50273 (4.2%)
1800.03/1800.04 c delayed cutoffs : 36999
1800.03/1800.04 c repropagations : 548130 (1857004 domain reductions, 29895 cutoffs)
1800.03/1800.04 c avg switch length: 2.90
1800.03/1800.04 c switching time : 156.91
1800.03/1800.04 c Solution :
1800.03/1800.04 c Solutions found : 107 (7 improvements)
1800.03/1800.04 c First Solution : +8.51820000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.03/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 928397 nodes, 1091.25 seconds, depth 25, found by <relaxation>)
1800.03/1800.04 c Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Gap : infinite
1800.03/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Root Iterations : 1951
1800.13/1800.16 c Time complete: 1800.19.