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-2705639-1278572962.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 1783 impl, 0 cont) and 4491 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, 148 impls, 11 clqs
0.06/0.08 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 11 clqs
0.06/0.09 c (round 3) 55 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 11 clqs
0.09/0.10 c (round 4) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 148 impls, 11 clqs
0.09/0.10 c (round 5) 158 del vars, 229 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 148 impls, 11 clqs
0.09/0.16 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 158 deleted vars, 229 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.16 c 3544 implications, 11 cliques
0.09/0.16 c presolved problem has 3639 variables (1935 bin, 0 int, 1704 impl, 0 cont) and 4262 constraints
0.09/0.16 c 31 constraints of type <setppc>
0.09/0.16 c 1704 constraints of type <linear>
0.09/0.16 c 1704 constraints of type <indicator>
0.09/0.16 c 823 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.12
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.3
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1789.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16 c # [type: int, range: [1,2], default: 1]
0.09/0.16 c timing/clocktype = 2
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/indicator/addCouplingCons = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 0 | 10 | - | 13M| 0 | 7 |3639 |4262 |3639 | 854 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 59 | - | 13M| 0 | 30 |3639 |4262 |3639 | 873 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 88 | - | 14M| 0 | 37 |3639 |4262 |3639 | 896 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.35 c 0.3s| 1 | 0 | 127 | - | 14M| 0 | 30 |3639 |4262 |3639 | 904 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.40 c 0.4s| 1 | 0 | 177 | - | 14M| 0 | 44 |3639 |4262 |3639 | 915 | 61 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.4s| 1 | 0 | 294 | - | 14M| 0 | 31 |3639 |4262 |3639 | 926 | 72 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.53 c 0.5s| 1 | 0 | 316 | - | 14M| 0 | 27 |3639 |4262 |3639 | 935 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.73 c 0.7s| 1 | 2 | 316 | - | 14M| 0 | 27 |3639 |4262 |3639 | 935 | 81 | 0 | 17 | 0.000000e+00 | -- | Inf
1.10/1.15 o 86790
1.10/1.15 c y 1.1s| 33 | 32 | 721 | 12.7 | 14M| 18 | - |3639 |4262 | 0 | 0 | 130 | 0 | 220 | 0.000000e+00 | 8.679000e+04 | Inf
13.39/13.48 c 13.4s| 10000 | 10001 | 2860 | 0.3 | 33M| 955 | 0 |3639 |4262 |3639 | 947 | 510 | 0 | 609 | 0.000000e+00 | 8.679000e+04 | Inf
15.40/15.48 o 327
15.40/15.48 c *15.5s| 12067 | 10020 | 3137 | 0.2 | 34M|1393 | - |3639 |4267 |3639 | 962 | 548 | 5 | 624 | 0.000000e+00 | 3.270000e+02 | Inf
16.09/16.13 o 129
16.09/16.13 c *16.1s| 12727 | 5465 | 3364 | 0.2 | 27M|1393 | - |3639 |4267 |3639 | 957 | 567 | 5 | 635 | 0.000000e+00 | 1.290000e+02 | Inf
18.79/18.81 o 127
18.79/18.81 c *18.8s| 15248 | 7823 | 4102 | 0.2 | 32M|1561 | - |3639 |4297 |3639 | 943 | 639 | 35 | 703 | 0.000000e+00 | 1.270000e+02 | Inf
18.79/18.85 o 111
18.79/18.85 c *18.8s| 15259 | 6815 | 4165 | 0.3 | 31M|1561 | - |3639 |4305 |3639 | 943 | 642 | 43 | 708 | 0.000000e+00 | 1.110000e+02 | Inf
18.79/18.89 o 106
18.79/18.89 c *18.9s| 15268 | 6545 | 4223 | 0.3 | 30M|1561 | - |3639 |4314 |3639 | 948 | 650 | 52 | 713 | 0.000000e+00 | 1.060000e+02 | Inf
18.79/18.89 o 102
18.79/18.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.79/18.89 c *18.9s| 15269 | 6311 | 4223 | 0.3 | 30M|1561 | - |3639 |4314 |3639 | 948 | 650 | 52 | 713 | 0.000000e+00 | 1.020000e+02 | Inf
18.89/18.92 o 84
18.89/18.92 c *18.9s| 15278 | 4708 | 4294 | 0.3 | 27M|1561 | - |3639 |4329 |3639 | 947 | 665 | 67 | 713 | 0.000000e+00 | 8.400000e+01 | Inf
18.89/18.93 o 80
18.89/18.93 c *18.9s| 15279 | 4358 | 4294 | 0.3 | 27M|1561 | - |3639 |4329 |3639 | 947 | 665 | 67 | 713 | 0.000000e+00 | 8.000000e+01 | Inf
18.89/18.99 o 70
18.89/18.99 c *19.0s| 15289 | 3527 | 4315 | 0.3 | 26M|1561 | - |3639 |3977 |3639 | 940 | 665 | 72 | 713 | 0.000000e+00 | 7.000000e+01 | Inf
18.99/19.06 o 60
18.99/19.06 c *19.0s| 15299 | 2669 | 4458 | 0.3 | 24M|1561 | - |3639 |3784 |3639 | 951 | 689 | 74 | 736 | 0.000000e+00 | 6.000000e+01 | Inf
19.80/19.85 o 58
19.80/19.85 c *19.8s| 15477 | 2627 | 5967 | 0.4 | 24M|1561 | - |3639 |3781 |3639 | 937 | 864 | 260 | 912 | 0.000000e+00 | 5.800000e+01 | Inf
23.79/23.89 o 54
23.79/23.89 c *23.9s| 16920 | 2502 | 14270 | 0.8 | 26M|1561 | - |3639 |4773 |3639 | 973 |1722 |1891 |1426 | 0.000000e+00 | 5.400000e+01 | Inf
25.49/25.50 o 53
25.49/25.50 c *25.5s| 17721 | 2519 | 18335 | 1.0 | 27M|1561 | - |3639 |5019 |3639 | 942 |1928 |2803 |1517 | 0.000000e+00 | 5.300000e+01 | Inf
25.59/25.64 o 47
25.59/25.64 c *25.6s| 17791 | 2271 | 18671 | 1.0 | 27M|1561 | - |3639 |4974 |3639 | 957 |1951 |2888 |1521 | 0.000000e+00 | 4.700000e+01 | Inf
26.69/26.76 o 35
26.69/26.76 c *26.7s| 18341 | 1698 | 21028 | 1.1 | 26M|1561 | - |3639 |5036 |3639 | 936 |2149 |3504 |1577 | 0.000000e+00 | 3.500000e+01 | Inf
26.69/26.76 o 22
26.69/26.76 c *26.7s| 18342 | 1073 | 21028 | 1.1 | 25M|1561 | - |3639 |5036 |3639 | 936 |2149 |3504 |1577 | 0.000000e+00 | 2.200000e+01 | Inf
27.39/27.50 o 21
27.39/27.50 c *27.5s| 18762 | 1075 | 23699 | 1.2 | 25M|1561 | - |3639 |4779 |3639 | 938 |2329 |4012 |1618 | 0.000000e+00 | 2.100000e+01 | Inf
27.69/27.79 o 20
27.69/27.79 c *27.8s| 18937 | 1045 | 24551 | 1.3 | 25M|1561 | - |3639 |4818 |3639 | 950 |2401 |4214 |1640 | 0.000000e+00 | 2.000000e+01 | Inf
29.49/29.57 c 29.5s| 20000 | 1095 | 31528 | 1.6 | 26M|1561 | - |3639 |4858 | 0 | 0 |2979 |5538 |1711 | 0.000000e+00 | 2.000000e+01 | Inf
32.29/32.38 o 19
32.29/32.38 c *32.4s| 21575 | 1150 | 43519 | 2.0 | 26M|1561 | - |3639 |5175 |3639 | 954 |4080 |7370 |1829 | 0.000000e+00 | 1.900000e+01 | Inf
43.29/43.37 o 18
43.29/43.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.29/43.37 c *43.3s| 28797 | 1423 | 84309 | 2.9 | 29M|1561 | - |3639 |6050 |3639 | 943 |6594 | 15k|1856 | 0.000000e+00 | 1.800000e+01 | Inf
43.29/43.38 o 9
43.29/43.38 c *43.4s| 28803 | 991 | 84339 | 2.9 | 27M|1561 | - |3639 |6004 |3639 | 947 |6598 | 15k|1856 | 0.000000e+00 | 9.000000e+00 | Inf
45.10/45.15 c 45.1s| 30000 | 1016 | 91845 | 3.1 | 27M|1561 | 8 |3639 |5412 |3639 | 947 |7074 | 17k|1858 | 0.000000e+00 | 9.000000e+00 | Inf
59.99/60.02 c 60.0s| 40000 | 1247 |152320 | 3.8 | 30M|1561 | 1 |3639 |8077 |3639 | 952 | 10k| 30k|2175 | 0.000000e+00 | 9.000000e+00 | Inf
76.30/76.39 c 76.4s| 50000 | 1378 |223195 | 4.5 | 31M|1561 | 16 |3639 |8344 |3639 | 945 | 15k| 43k|2581 | 0.000000e+00 | 9.000000e+00 | Inf
92.40/92.46 c 92.4s| 60000 | 1431 |289145 | 4.8 | 33M|1561 | - |3639 |9578 | 0 | 0 | 19k| 56k|2887 | 0.000000e+00 | 9.000000e+00 | Inf
109.29/109.38 c 109s| 70000 | 1553 |360937 | 5.2 | 34M|1561 | - |3639 |9802 | 0 | 0 | 25k| 69k|3216 | 0.000000e+00 | 9.000000e+00 | Inf
122.59/122.61 o 7
122.59/122.61 c * 123s| 78280 | 1491 |414300 | 5.3 | 35M|1561 | - |3639 | 11k|3639 | 979 | 28k| 80k|3413 | 0.000000e+00 | 7.000000e+00 | Inf
125.59/125.62 c 126s| 80000 | 1499 |426518 | 5.3 | 35M|1561 | 16 |3639 |9881 |3639 | 944 | 29k| 82k|3462 | 0.000000e+00 | 7.000000e+00 | Inf
141.50/141.56 c 142s| 90000 | 1482 |491616 | 5.5 | 35M|1561 | 10 |3639 |8906 |3639 | 954 | 33k| 95k|3693 | 0.000000e+00 | 7.000000e+00 | Inf
157.50/157.58 c 158s|100000 | 1467 |560289 | 5.6 | 35M|1561 | 15 |3639 |9919 |3639 | 949 | 38k| 109k|3919 | 0.000000e+00 | 7.000000e+00 | Inf
173.49/173.56 c 174s|110000 | 1455 |624998 | 5.7 | 35M|1561 | 11 |3639 |9144 |3639 | 961 | 42k| 122k|4105 | 0.000000e+00 | 7.000000e+00 | Inf
189.00/189.02 c 189s|120000 | 1428 |687556 | 5.7 | 36M|1561 | 17 |3639 | 10k|3639 | 939 | 45k| 136k|4269 | 0.000000e+00 | 7.000000e+00 | Inf
205.10/205.15 c 205s|130000 | 1597 |750472 | 5.8 | 38M|1561 | 13 |3639 | 12k|3639 | 941 | 49k| 149k|4415 | 0.000000e+00 | 7.000000e+00 | Inf
221.10/221.16 c 221s|140000 | 1592 |811275 | 5.8 | 38M|1561 | 21 |3639 | 11k|3639 | 959 | 51k| 162k|4596 | 0.000000e+00 | 7.000000e+00 | Inf
237.60/237.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.60/237.69 c 238s|150000 | 1503 |879116 | 5.9 | 38M|1561 | 16 |3639 | 10k|3639 | 976 | 55k| 175k|4747 | 0.000000e+00 | 7.000000e+00 | Inf
254.20/254.20 c 254s|160000 | 1619 |949349 | 5.9 | 40M|1561 | - |3639 | 12k|3639 | 945 | 59k| 189k|4900 | 0.000000e+00 | 7.000000e+00 | Inf
270.70/270.74 c 271s|170000 | 1525 | 1015k| 6.0 | 39M|1561 | - |3639 | 10k| 0 | 0 | 63k| 202k|5061 | 0.000000e+00 | 7.000000e+00 | Inf
287.60/287.67 c 288s|180000 | 1470 | 1088k| 6.0 | 39M|1561 | 19 |3639 | 10k|3639 | 935 | 68k| 216k|5206 | 0.000000e+00 | 7.000000e+00 | Inf
303.70/303.72 c 304s|190000 | 1489 | 1150k| 6.1 | 39M|1561 | - |3639 | 12k| 0 | 0 | 71k| 229k|5365 | 0.000000e+00 | 7.000000e+00 | Inf
321.00/321.07 c 321s|200000 | 1607 | 1228k| 6.1 | 41M|1561 | - |3639 | 13k| 0 | 0 | 76k| 242k|5491 | 0.000000e+00 | 7.000000e+00 | Inf
338.40/338.45 c 338s|210000 | 1591 | 1304k| 6.2 | 41M|1561 | 11 |3639 | 12k|3639 | 949 | 80k| 255k|5651 | 0.000000e+00 | 7.000000e+00 | Inf
355.70/355.73 c 356s|220000 | 1550 | 1380k| 6.3 | 41M|1561 | - |3639 | 14k| 0 | 0 | 84k| 269k|5761 | 0.000000e+00 | 7.000000e+00 | Inf
374.01/374.02 c 374s|230000 | 1562 | 1460k| 6.3 | 43M|1561 | 1 |3639 | 16k|3639 | 935 | 89k| 282k|5909 | 0.000000e+00 | 7.000000e+00 | Inf
392.71/392.75 c 393s|240000 | 1600 | 1536k| 6.4 | 44M|1561 | 13 |3639 | 16k|3639 | 944 | 96k| 296k|6057 | 0.000000e+00 | 7.000000e+00 | Inf
410.80/410.85 c 411s|250000 | 1819 | 1608k| 6.4 | 45M|1561 | - |3639 | 17k| 0 | 0 | 101k| 309k|6190 | 0.000000e+00 | 7.000000e+00 | Inf
427.90/427.93 c 428s|260000 | 1973 | 1669k| 6.4 | 46M|1561 | - |3639 | 17k| 0 | 0 | 105k| 322k|6294 | 0.000000e+00 | 7.000000e+00 | Inf
445.00/445.09 c 445s|270000 | 2008 | 1736k| 6.4 | 46M|1561 | 1 |3639 | 14k|3639 | 949 | 110k| 336k|6388 | 0.000000e+00 | 7.000000e+00 | Inf
462.20/462.20 c 462s|280000 | 2016 | 1801k| 6.4 | 47M|1561 | 27 |3639 | 15k|3639 | 960 | 113k| 350k|6502 | 0.000000e+00 | 7.000000e+00 | Inf
480.00/480.09 c 480s|290000 | 2014 | 1872k| 6.5 | 47M|1561 | 20 |3639 | 14k|3639 | 954 | 118k| 364k|6625 | 0.000000e+00 | 7.000000e+00 | Inf
495.80/495.90 o 5
495.80/495.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.80/495.90 c * 496s|299396 | 1900 | 1935k| 6.5 | 46M|1561 | - |3639 | 16k|3639 | 971 | 123k| 377k|6716 | 0.000000e+00 | 5.000000e+00 | Inf
496.80/496.88 c 497s|300000 | 1899 | 1937k| 6.5 | 46M|1561 | 1 |3639 | 15k|3639 | 944 | 123k| 378k|6716 | 0.000000e+00 | 5.000000e+00 | Inf
513.71/513.73 c 514s|310000 | 1883 | 2007k| 6.5 | 45M|1561 | 12 |3639 | 12k|3639 | 947 | 128k| 392k|6812 | 0.000000e+00 | 5.000000e+00 | Inf
530.60/530.63 c 531s|320000 | 1969 | 2077k| 6.5 | 47M|1561 | 18 |3639 | 14k|3639 | 946 | 134k| 405k|6899 | 0.000000e+00 | 5.000000e+00 | Inf
542.50/542.55 o 3
542.50/542.55 c * 543s|327113 | 1718 | 2121k| 6.5 | 45M|1561 | - |3639 | 16k|3639 | 956 | 137k| 415k|6982 | 0.000000e+00 | 3.000000e+00 | Inf
547.50/547.58 c 548s|330000 | 1705 | 2140k| 6.5 | 44M|1561 | - |3639 | 13k| 0 | 0 | 138k| 419k|7001 | 0.000000e+00 | 3.000000e+00 | Inf
565.11/565.17 c 565s|340000 | 1657 | 2217k| 6.5 | 44M|1561 | 9 |3639 | 11k|3639 | 956 | 144k| 433k|7110 | 0.000000e+00 | 3.000000e+00 | Inf
581.50/581.51 c 581s|350000 | 1370 | 2286k| 6.5 | 40M|1561 | - |3639 |8880 | 0 | 0 | 148k| 447k|7204 | 0.000000e+00 | 3.000000e+00 | Inf
598.31/598.31 c 598s|360000 | 1349 | 2367k| 6.6 | 41M|1561 | 12 |3639 | 10k|3639 | 945 | 152k| 460k|7302 | 0.000000e+00 | 3.000000e+00 | Inf
614.51/614.54 c 615s|370000 | 1373 | 2438k| 6.6 | 42M|1561 | - |3639 | 14k| 0 | 0 | 157k| 473k|7399 | 0.000000e+00 | 3.000000e+00 | Inf
631.80/631.80 c 632s|380000 | 1318 | 2514k| 6.6 | 41M|1561 | - |3639 | 10k| 0 | 0 | 162k| 487k|7506 | 0.000000e+00 | 3.000000e+00 | Inf
648.80/648.87 c 649s|390000 | 1370 | 2583k| 6.6 | 42M|1561 | 18 |3639 | 13k|3639 | 942 | 168k| 499k|7601 | 0.000000e+00 | 3.000000e+00 | Inf
666.70/666.77 c 667s|400000 | 1360 | 2651k| 6.6 | 43M|1561 | - |3639 | 16k| 0 | 0 | 173k| 513k|7665 | 0.000000e+00 | 3.000000e+00 | Inf
685.40/685.46 c 685s|410000 | 1335 | 2724k| 6.6 | 43M|1561 | 1 |3639 | 16k|3639 | 938 | 178k| 527k|7733 | 0.000000e+00 | 3.000000e+00 | Inf
698.52/698.53 o 2
698.52/698.53 c * 699s|417391 | 1082 | 2775k| 6.6 | 41M|1561 | - |3639 | 16k|3639 | 968 | 180k| 537k|7794 | 0.000000e+00 | 2.000000e+00 | Inf
703.21/703.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.21/703.25 c 703s|420000 | 1097 | 2793k| 6.6 | 40M|1561 | - |3639 | 14k| 0 | 0 | 181k| 540k|7867 | 0.000000e+00 | 2.000000e+00 | Inf
720.71/720.75 c 721s|430000 | 1140 | 2873k| 6.7 | 41M|1561 | 13 |3639 | 16k|3639 | 953 | 187k| 554k|7954 | 0.000000e+00 | 2.000000e+00 | Inf
739.01/739.06 c 739s|440000 | 1145 | 2962k| 6.7 | 42M|1561 | 12 |3639 | 18k|3639 | 958 | 193k| 567k|8018 | 0.000000e+00 | 2.000000e+00 | Inf
757.31/757.33 c 757s|450000 | 1175 | 3041k| 6.8 | 42M|1561 | - |3639 | 17k|3639 | 944 | 199k| 580k|8128 | 0.000000e+00 | 2.000000e+00 | Inf
776.52/776.56 c 777s|460000 | 1452 | 3120k| 6.8 | 44M|1561 | 18 |3639 | 18k|3639 | 939 | 207k| 593k|8234 | 0.000000e+00 | 2.000000e+00 | Inf
796.21/796.28 c 796s|470000 | 1617 | 3200k| 6.8 | 46M|1561 | - |3639 | 20k|3639 | 954 | 216k| 607k|8298 | 0.000000e+00 | 2.000000e+00 | Inf
815.02/815.01 c 815s|480000 | 1622 | 3273k| 6.8 | 46M|1561 | 9 |3639 | 19k|3639 | 937 | 222k| 620k|8359 | 0.000000e+00 | 2.000000e+00 | Inf
833.51/833.55 c 834s|490000 | 1721 | 3350k| 6.8 | 47M|1561 | - |3639 | 21k| 0 | 0 | 228k| 633k|8446 | 0.000000e+00 | 2.000000e+00 | Inf
853.62/853.64 c 854s|500000 | 1683 | 3435k| 6.9 | 47M|1561 | - |3639 | 20k| 0 | 0 | 236k| 647k|8520 | 0.000000e+00 | 2.000000e+00 | Inf
873.12/873.10 c 873s|510000 | 1755 | 3512k| 6.9 | 47M|1561 | - |3639 | 20k| 0 | 0 | 242k| 661k|8584 | 0.000000e+00 | 2.000000e+00 | Inf
891.41/891.40 c 891s|520000 | 1761 | 3580k| 6.9 | 48M|1561 | 24 |3639 | 22k|3639 | 937 | 247k| 675k|8642 | 0.000000e+00 | 2.000000e+00 | Inf
909.61/909.70 c 910s|530000 | 1723 | 3651k| 6.9 | 47M|1561 | - |3639 | 20k| 0 | 0 | 252k| 688k|8696 | 0.000000e+00 | 2.000000e+00 | Inf
928.21/928.21 c 928s|540000 | 1674 | 3721k| 6.9 | 47M|1561 | 1 |3639 | 19k|3639 | 965 | 257k| 702k|8771 | 0.000000e+00 | 2.000000e+00 | Inf
946.62/946.60 c 947s|550000 | 1673 | 3792k| 6.9 | 48M|1561 | - |3639 | 21k| 0 | 0 | 261k| 716k|8842 | 0.000000e+00 | 2.000000e+00 | Inf
965.72/965.76 c 966s|560000 | 1612 | 3867k| 6.9 | 49M|1561 | 21 |3639 | 23k|3639 | 942 | 266k| 729k|8910 | 0.000000e+00 | 2.000000e+00 | Inf
985.41/985.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.41/985.46 c 985s|570000 | 1561 | 3940k| 6.9 | 48M|1561 | 7 |3639 | 23k|3639 | 950 | 271k| 743k|8983 | 0.000000e+00 | 2.000000e+00 | Inf
1005.62/1005.61 c 1006s|580000 | 1562 | 4016k| 6.9 | 48M|1561 | - |3639 | 23k| 0 | 0 | 279k| 757k|9061 | 0.000000e+00 | 2.000000e+00 | Inf
1026.32/1026.36 c 1026s|590000 | 1502 | 4096k| 6.9 | 48M|1561 | - |3639 | 23k| 0 | 0 | 285k| 770k|9125 | 0.000000e+00 | 2.000000e+00 | Inf
1048.12/1048.15 c 1048s|600000 | 1553 | 4182k| 7.0 | 50M|1561 | 11 |3639 | 28k|3639 | 943 | 294k| 784k|9167 | 0.000000e+00 | 2.000000e+00 | Inf
1069.61/1069.60 c 1070s|610000 | 1452 | 4259k| 7.0 | 49M|1561 | 13 |3639 | 27k|3639 | 967 | 300k| 799k|9231 | 0.000000e+00 | 2.000000e+00 | Inf
1089.61/1089.68 c 1090s|620000 | 1513 | 4327k| 7.0 | 50M|1561 | 19 |3639 | 27k|3639 | 950 | 306k| 812k|9289 | 0.000000e+00 | 2.000000e+00 | Inf
1109.92/1109.91 c 1110s|630000 | 1454 | 4396k| 7.0 | 49M|1561 | 13 |3639 | 26k|3639 | 956 | 310k| 825k|9345 | 0.000000e+00 | 2.000000e+00 | Inf
1131.02/1131.01 c 1131s|640000 | 1417 | 4474k| 7.0 | 49M|1561 | 1 |3639 | 28k|3639 | 946 | 316k| 839k|9419 | 0.000000e+00 | 2.000000e+00 | Inf
1149.42/1149.48 o 1
1149.42/1149.48 c *1149s|648574 | 1072 | 4544k| 7.0 | 45M|1561 | - |3639 | 26k|3639 | 937 | 322k| 851k|9477 | 0.000000e+00 | 1.000000e+00 | Inf
1152.22/1152.25 c 1152s|650000 | 1102 | 4555k| 7.0 | 46M|1561 | - |3639 | 26k| 0 | 0 | 323k| 853k|9486 | 0.000000e+00 | 1.000000e+00 | Inf
1171.32/1171.32 c 1171s|660000 | 1064 | 4620k| 7.0 | 45M|1561 | - |3639 | 26k| 0 | 0 | 326k| 867k|9533 | 0.000000e+00 | 1.000000e+00 | Inf
1190.72/1190.72 c 1191s|670000 | 1017 | 4695k| 7.0 | 44M|1561 | 17 |3639 | 23k|3639 | 938 | 331k| 881k|9603 | 0.000000e+00 | 1.000000e+00 | Inf
1209.12/1209.15 c 1209s|680000 | 999 | 4761k| 7.0 | 43M|1561 | 21 |3639 | 20k|3639 | 958 | 334k| 896k|9679 | 0.000000e+00 | 1.000000e+00 | Inf
1226.92/1226.92 c 1227s|690000 | 930 | 4829k| 7.0 | 42M|1561 | 22 |3639 | 18k|3639 | 949 | 337k| 911k|9758 | 0.000000e+00 | 1.000000e+00 | Inf
1245.52/1245.53 c 1246s|700000 | 852 | 4912k| 7.0 | 40M|1561 | 27 |3639 | 16k|3639 | 936 | 343k| 925k|9813 | 0.000000e+00 | 1.000000e+00 | Inf
1262.52/1262.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.52/1262.55 c 1263s|710000 | 768 | 4987k| 7.0 | 39M|1561 | 21 |3639 | 15k|3639 | 936 | 347k| 939k|9883 | 0.000000e+00 | 1.000000e+00 | Inf
1281.02/1281.01 c 1281s|720000 | 726 | 5066k| 7.0 | 39M|1561 | - |3639 | 16k| 0 | 0 | 352k| 952k|9977 | 0.000000e+00 | 1.000000e+00 | Inf
1298.12/1298.14 c 1298s|730000 | 820 | 5127k| 7.0 | 39M|1561 | - |3639 | 16k| 0 | 0 | 354k| 965k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1316.12/1316.12 c 1316s|740000 | 769 | 5195k| 7.0 | 40M|1561 | 7 |3639 | 18k|3639 | 973 | 357k| 979k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1334.82/1334.80 c 1335s|750000 | 732 | 5263k| 7.0 | 40M|1561 | - |3639 | 18k| 0 | 0 | 359k| 993k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1352.62/1352.67 c 1353s|760000 | 734 | 5337k| 7.0 | 40M|1561 | - |3639 | 20k| 0 | 0 | 362k|1007k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1371.23/1371.28 c 1371s|770000 | 910 | 5404k| 7.0 | 42M|1561 | - |3639 | 22k| 0 | 0 | 365k|1021k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1390.83/1390.84 c 1391s|780000 | 975 | 5475k| 7.0 | 44M|1561 | 7 |3639 | 25k|3639 | 961 | 369k|1036k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1409.53/1409.56 c 1410s|790000 | 968 | 5542k| 7.0 | 44M|1561 | - |3639 | 24k|3639 | 956 | 371k|1050k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1428.42/1428.47 c 1428s|800000 | 967 | 5610k| 7.0 | 44M|1561 | 20 |3639 | 24k|3639 | 956 | 374k|1064k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1447.33/1447.32 c 1447s|810000 | 956 | 5675k| 7.0 | 43M|1561 | - |3639 | 22k| 0 | 0 | 376k|1078k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1467.03/1467.01 c 1467s|820000 | 923 | 5745k| 7.0 | 44M|1561 | - |3639 | 24k| 0 | 0 | 378k|1092k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1486.73/1486.78 c 1487s|830000 | 894 | 5816k| 7.0 | 44M|1561 | - |3639 | 25k| 0 | 0 | 380k|1106k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1507.42/1507.46 c 1507s|840000 | 841 | 5893k| 7.0 | 44M|1561 | 10 |3639 | 26k|3639 | 948 | 383k|1120k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1529.52/1529.51 c 1529s|850000 | 876 | 5966k| 7.0 | 46M|1561 | 11 |3639 | 29k|3639 | 962 | 386k|1135k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1551.63/1551.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.63/1551.70 c 1552s|860000 | 971 | 6038k| 7.0 | 47M|1561 | - |3639 | 32k| 0 | 0 | 388k|1150k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1573.13/1573.16 c 1573s|870000 | 904 | 6109k| 7.0 | 47M|1561 | 23 |3639 | 32k|3639 | 993 | 390k|1166k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1595.12/1595.16 c 1595s|880000 | 812 | 6181k| 7.0 | 45M|1561 | 1 |3639 | 28k|3639 | 951 | 392k|1180k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1616.53/1616.58 c 1617s|890000 | 778 | 6255k| 7.0 | 44M|1561 | - |3639 | 27k| 0 | 0 | 395k|1194k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1637.03/1637.05 c 1637s|900000 | 759 | 6335k| 7.0 | 43M|1561 | - |3639 | 25k| 0 | 0 | 400k|1208k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1656.53/1656.54 c 1657s|910000 | 759 | 6405k| 7.0 | 44M|1561 | - |3639 | 28k| 0 | 0 | 404k|1221k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1677.33/1677.35 c 1677s|920000 | 720 | 6484k| 7.0 | 41M|1561 | 6 |3639 | 19k|3639 | 953 | 407k|1235k| 10k| 0.000000e+00 | 1.000000e+00 | Inf
1697.63/1697.65 c 1698s|930000 | 677 | 6572k| 7.1 | 40M|1561 | 7 |3639 | 19k|3639 | 959 | 411k|1248k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1714.93/1714.99 c 1715s|940000 | 583 | 6641k| 7.1 | 38M|1561 | - |3639 | 14k| 0 | 0 | 415k|1261k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1731.23/1731.26 c 1731s|950000 | 571 | 6704k| 7.1 | 39M|1561 | - |3639 | 17k| 0 | 0 | 418k|1274k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1748.73/1748.76 c 1749s|960000 | 399 | 6775k| 7.1 | 35M|1561 | - |3639 | 13k| 0 | 0 | 421k|1288k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1766.03/1766.03 c 1766s|970000 | 350 | 6849k| 7.1 | 34M|1561 | - |3639 | 12k| 0 | 0 | 424k|1300k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1782.14/1782.17 c 1782s|980000 | 304 | 6919k| 7.1 | 33M|1561 | - |3639 | 12k| 0 | 0 | 427k|1313k| 11k| 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 : 985056
1790.03/1790.01 c Primal Bound : +1.00000000000000e+00 (94 solutions)
1790.03/1790.01 c Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Gap : infinite
1790.03/1790.04 s SATISFIABLE
1790.03/1790.04 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.04 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.04 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.04 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.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1790.03/1790.04 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1790.03/1790.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
1790.03/1790.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
1790.03/1790.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
1790.03/1790.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
1790.03/1790.04 v -x1
1790.03/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.04 c Solving Time : 1789.98
1790.03/1790.04 c Original Problem :
1790.03/1790.04 c Problem name : HOME/instance-2705639-1278572962.wbo
1790.03/1790.04 c Variables : 3797 (2014 binary, 0 integer, 1783 implicit integer, 0 continuous)
1790.03/1790.04 c Constraints : 4491 initial, 4491 maximal
1790.03/1790.04 c Presolved Problem :
1790.03/1790.04 c Problem name : t_HOME/instance-2705639-1278572962.wbo
1790.03/1790.04 c Variables : 3639 (1935 binary, 0 integer, 1704 implicit integer, 0 continuous)
1790.03/1790.04 c Constraints : 4262 initial, 33157 maximal
1790.03/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.04 c trivial : 0.00 79 0 0 0 0 0 0 0
1790.03/1790.04 c dualfix : 0.00 79 0 0 0 0 0 0 0
1790.03/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.03/1790.04 c setppc : 0.00 0 0 0 0 0 36 0 0
1790.03/1790.04 c linear : 0.05 0 0 0 1807 0 114 97 0
1790.03/1790.04 c indicator : 0.00 0 0 0 0 0 79 0 0
1790.03/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.03/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.04 c root node : - 3408 - - 3408 - - - -
1790.03/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.04 c integral : 0 0 0 603895 0 112 1822 0 0 1048576
1790.03/1790.04 c setppc : 31 6 4730462 76758 2 21685 1842167 0 0 0
1790.03/1790.04 c linear : 1704 6 4711207 78014 2 265301 21487316 428271 0 0
1790.03/1790.04 c indicator : 1704 0 2895611 62113 0 65 410780 0 0 0
1790.03/1790.04 c logicor : 823+ 6 1933870 15393 2 169226 4619422 0 0 0
1790.03/1790.04 c bounddisjunction : 0+ 0 185177 0 0 78 2457 0 0 0
1790.03/1790.04 c countsols : 0 0 0 15393 1 0 0 0 0 0
1790.03/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.04 c integral : 22.61 0.00 0.00 22.61 0.00
1790.03/1790.04 c setppc : 12.76 0.00 12.72 0.05 0.00
1790.03/1790.04 c linear : 149.54 0.00 145.72 3.81 0.00
1790.03/1790.04 c indicator : 10.45 0.01 8.72 1.72 0.00
1790.03/1790.04 c logicor : 243.42 0.00 243.24 0.18 0.00
1790.03/1790.04 c bounddisjunction : 0.29 0.00 0.29 0.00 0.00
1790.03/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.03/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.04 c vbounds : 0.73 3875 0 238
1790.03/1790.04 c rootredcost : 0.68 27 0 1704
1790.03/1790.04 c pseudoobj : 113.47 4733986 1052 385410
1790.03/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.04 c propagation : 20.98 457342 456635 2927456 28.7 11640 25.1 -
1790.03/1790.04 c infeasible LP : 15.46 64585 64584 532088 44.3 611 15.9 0
1790.03/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.03/1790.04 c applied globally : - - - 1320898 24.7 - - -
1790.03/1790.04 c applied locally : - - - 0 0.0 - - -
1790.03/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.04 c cut pool : 0.00 5 - - 8 - (maximal pool size: 234)
1790.03/1790.04 c redcost : 36.45 605008 0 23770 0 0
1790.03/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1790.03/1790.04 c intobj : 0.00 0 0 0 0 0
1790.03/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.04 c gomory : 0.09 6 0 0 1012 0
1790.03/1790.04 c strongcg : 0.08 6 0 0 1057 0
1790.03/1790.04 c cmir : 0.02 6 0 0 1 0
1790.03/1790.04 c flowcover : 0.05 6 0 0 0 0
1790.03/1790.04 c clique : 0.00 6 0 0 0 0
1790.03/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.04 c mcf : 0.00 1 0 0 0 0
1790.03/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.03/1790.04 c Pricers : Time Calls Vars
1790.03/1790.04 c problem variables: 0.00 0 0
1790.03/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.04 c relpscost : 22.19 525862 112 1822 0 0 1048576
1790.03/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.04 c inference : 2.90 15368 0 0 0 0 30744
1790.03/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.04 c random : 0.00 0 0 0 0 0 0
1790.03/1790.04 c Primal Heuristics : Time Calls Found
1790.03/1790.04 c LP solutions : 0.03 - 26
1790.03/1790.04 c pseudo solutions : 0.00 - 0
1790.03/1790.04 c intshifting : 0.01 0 0
1790.03/1790.04 c feaspump : 0.02 1 0
1790.03/1790.04 c oneopt : 0.35 24 0
1790.03/1790.04 c crossover : 1.15 26 0
1790.03/1790.04 c coefdiving : 0.12 84 0
1790.03/1790.04 c pscostdiving : 0.12 84 0
1790.03/1790.04 c fracdiving : 0.13 84 0
1790.03/1790.04 c veclendiving : 0.11 84 0
1790.03/1790.04 c linesearchdiving : 0.12 84 0
1790.03/1790.04 c guideddiving : 0.13 84 0
1790.03/1790.04 c rootsoldiving : 0.20 60 0
1790.03/1790.04 c objpscostdiving : 0.16 61 0
1790.03/1790.04 c trivial : 0.00 2 0
1790.03/1790.04 c simplerounding : 0.73 525868 0
1790.03/1790.04 c zirounding : 0.25 1000 0
1790.03/1790.04 c rounding : 0.88 10216 0
1790.03/1790.04 c shifting : 0.73 3210 0
1790.03/1790.04 c twoopt : 0.00 0 0
1790.03/1790.04 c fixandinfer : 0.00 0 0
1790.03/1790.04 c intdiving : 0.00 0 0
1790.03/1790.04 c actconsdiving : 0.00 0 0
1790.03/1790.04 c octane : 0.00 0 0
1790.03/1790.04 c rens : 0.03 1 0
1790.03/1790.04 c rins : 0.00 0 0
1790.03/1790.04 c localbranching : 0.00 0 0
1790.03/1790.04 c mutation : 0.00 0 0
1790.03/1790.04 c dins : 0.00 0 0
1790.03/1790.04 c undercover : 0.00 0 0
1790.03/1790.04 c nlp : 0.16 0 0
1790.03/1790.04 c trysol : 0.29 90 68
1790.03/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.04 c dual LP : 694.71 650851 6946512 10.67 9999.13
1790.03/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.04 c diving/probing LP: 0.36 194 2430 12.53 6762.12
1790.03/1790.04 c strong branching : 17.63 11251 183950 16.35 10431.37
1790.03/1790.04 c (at root node) : - 17 2126 125.06 -
1790.03/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.04 c B&B Tree :
1790.03/1790.04 c number of runs : 1
1790.03/1790.04 c nodes : 985056
1790.03/1790.04 c nodes (total) : 985056
1790.03/1790.04 c nodes left : 310
1790.03/1790.04 c max depth : 1561
1790.03/1790.04 c max depth (total): 1561
1790.03/1790.04 c backtracks : 113071 (11.5%)
1790.03/1790.04 c delayed cutoffs : 77975
1790.03/1790.04 c repropagations : 2066036 (5238429 domain reductions, 76251 cutoffs)
1790.03/1790.04 c avg switch length: 5.72
1790.03/1790.04 c switching time : 250.10
1790.03/1790.04 c Solution :
1790.03/1790.04 c Solutions found : 94 (27 improvements)
1790.03/1790.04 c First Solution : +8.67900000000000e+04 (in run 1, after 32 nodes, 1.11 seconds, depth 19, found by <trysol>)
1790.03/1790.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 648574 nodes, 1149.45 seconds, depth 45, found by <relaxation>)
1790.03/1790.04 c Dual Bound : +0.00000000000000e+00
1790.03/1790.04 c Gap : infinite
1790.03/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.04 c Root Iterations : 316
1790.03/1790.08 c Time complete: 1790.12.