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-2693487-1277906690.wbo>
0.00/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.04/0.05 c presolving:
0.04/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.04/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 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 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 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.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
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 = 1799.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 # 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 # 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.17 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.17 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 92548
0.09/0.19 c y 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 53 | - | 14M| 0 | 23 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 114 | - | 14M| 0 | 30 |3853 |4434 |3853 | 851 | 39 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 135 | - | 14M| 0 | 27 |3853 |4434 |3853 | 868 | 56 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 154 | - | 14M| 0 | 29 |3853 |4434 |3853 | 876 | 64 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 180 | - | 14M| 0 | 26 |3853 |4434 |3853 | 886 | 74 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.39 c 0.3s| 1 | 0 | 253 | - | 15M| 0 | 28 |3853 |4434 |3853 | 893 | 81 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.69/0.77 c 0.7s| 1 | 2 | 253 | - | 15M| 0 | 28 |3853 |4434 |3853 | 893 | 81 | 0 | 28 | 0.000000e+00 | 9.254800e+04 | Inf
14.30/14.32 c 13.8s| 10000 | 10001 | 5445 | 0.5 | 35M|1353 | 0 |3853 |4434 |3853 | 950 | 907 | 0 |1044 | 0.000000e+00 | 9.254800e+04 | Inf
25.30/25.34 c 24.5s| 20000 | 20001 | 9773 | 0.5 | 53M|1353 | 0 |3853 |4434 |3853 | 916 |1661 | 0 |1314 | 0.000000e+00 | 9.254800e+04 | Inf
26.69/26.78 o 358
26.69/26.78 c *25.9s| 21281 | 10570 | 10459 | 0.5 | 39M|1353 | - |3853 |4434 |3853 | 929 |1780 | 0 |1348 | 0.000000e+00 | 3.580000e+02 | Inf
28.19/28.23 o 355
28.19/28.23 c *27.3s| 22331 | 11516 | 11522 | 0.5 | 41M|1353 | - |3853 |4472 |3853 | 931 |2041 | 38 |1370 | 0.000000e+00 | 3.550000e+02 | Inf
29.39/29.40 o 349
29.39/29.40 c *28.4s| 23127 | 12105 | 12817 | 0.5 | 42M|1353 | - |3853 |4558 |3853 | 935 |2273 | 124 |1410 | 0.000000e+00 | 3.490000e+02 | Inf
30.29/30.34 o 337
30.29/30.34 c *29.3s| 23627 | 12162 | 14080 | 0.6 | 43M|1353 | - |3853 |4715 |3853 | 915 |2543 | 281 |1447 | 0.000000e+00 | 3.370000e+02 | Inf
33.89/33.93 o 306
33.89/33.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.89/33.93 c *32.7s| 25498 | 12432 | 18042 | 0.7 | 45M|1353 | - |3853 |5739 |3853 | 929 |3409 |1427 |1497 | 0.000000e+00 | 3.060000e+02 | Inf
34.40/34.44 o 299
34.40/34.44 c *33.2s| 25716 | 12335 | 18654 | 0.7 | 45M|1353 | - |3853 |5880 |3853 | 901 |3572 |1646 |1497 | 0.000000e+00 | 2.990000e+02 | Inf
34.40/34.48 o 288
34.40/34.48 c *33.2s| 25763 | 11918 | 18654 | 0.7 | 45M|1353 | - |3853 |5880 |3853 | 901 |3572 |1646 |1497 | 0.000000e+00 | 2.880000e+02 | Inf
34.49/34.56 o 274
34.49/34.56 c *33.3s| 25810 | 11297 | 18709 | 0.7 | 43M|1353 | - |3853 |5872 |3853 | 911 |3585 |1646 |1497 | 0.000000e+00 | 2.740000e+02 | Inf
34.69/34.72 o 268
34.69/34.72 c *33.5s| 25948 | 11047 | 18816 | 0.7 | 43M|1353 | - |3853 |5850 |3853 | 911 |3592 |1651 |1500 | 0.000000e+00 | 2.680000e+02 | Inf
34.69/34.79 o 257
34.69/34.79 c *33.5s| 25992 | 10577 | 18896 | 0.7 | 42M|1353 | - |3853 |5847 |3853 | 909 |3603 |1651 |1500 | 0.000000e+00 | 2.570000e+02 | Inf
34.79/34.80 o 237
34.79/34.80 c *33.5s| 25993 | 9697 | 18898 | 0.7 | 40M|1353 | - |3853 |5847 |3853 | 909 |3603 |1651 |1500 | 0.000000e+00 | 2.370000e+02 | Inf
34.79/34.86 o 220
34.79/34.86 c *33.6s| 26008 | 8878 | 18986 | 0.7 | 38M|1353 | - |3853 |5863 |3853 | 903 |3617 |1672 |1500 | 0.000000e+00 | 2.200000e+02 | Inf
34.89/34.91 o 211
34.89/34.91 c *33.7s| 26031 | 8389 | 19030 | 0.7 | 38M|1353 | - |3853 |5860 |3853 | 904 |3620 |1672 |1500 | 0.000000e+00 | 2.110000e+02 | Inf
34.89/34.96 o 163
34.89/34.96 c *33.7s| 26060 | 5828 | 19039 | 0.7 | 33M|1353 | - |3853 |5858 |3853 | 904 |3620 |1677 |1500 | 0.000000e+00 | 1.630000e+02 | Inf
34.89/34.97 o 152
34.89/34.97 c *33.7s| 26061 | 5182 | 19039 | 0.7 | 32M|1353 | - |3853 |5858 |3853 | 904 |3620 |1677 |1500 | 0.000000e+00 | 1.520000e+02 | Inf
34.99/35.03 o 149
34.99/35.03 c *33.8s| 26101 | 5039 | 19044 | 0.7 | 32M|1353 | - |3853 |5857 |3853 | 905 |3621 |1677 |1500 | 0.000000e+00 | 1.490000e+02 | Inf
34.99/35.10 o 125
34.99/35.10 c *33.8s| 26152 | 3703 | 19057 | 0.7 | 30M|1353 | - |3853 |5857 |3853 | 908 |3624 |1677 |1500 | 0.000000e+00 | 1.250000e+02 | Inf
35.10/35.11 o 93
35.10/35.11 c *33.9s| 26153 | 2320 | 19057 | 0.7 | 27M|1353 | - |3853 |5856 |3853 | 908 |3624 |1677 |1500 | 0.000000e+00 | 9.300000e+01 | Inf
35.10/35.17 o 92
35.10/35.17 c *33.9s| 26171 | 2299 | 19086 | 0.7 | 27M|1353 | - |3853 |5711 |3853 | 907 |3627 |1683 |1500 | 0.000000e+00 | 9.200000e+01 | Inf
35.10/35.17 o 89
35.10/35.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.10/35.17 c *33.9s| 26172 | 2188 | 19091 | 0.7 | 27M|1353 | - |3853 |5711 |3853 | 907 |3627 |1683 |1500 | 0.000000e+00 | 8.900000e+01 | Inf
35.19/35.21 o 85
35.19/35.21 c *34.0s| 26182 | 2036 | 19165 | 0.7 | 27M|1353 | - |3853 |5615 |3853 | 903 |3636 |1683 |1503 | 0.000000e+00 | 8.500000e+01 | Inf
35.19/35.21 o 84
35.19/35.21 c *34.0s| 26183 | 1987 | 19165 | 0.7 | 26M|1353 | - |3853 |5615 |3853 | 903 |3636 |1683 |1503 | 0.000000e+00 | 8.400000e+01 | Inf
35.59/35.60 o 83
35.59/35.60 c *34.3s| 26321 | 1963 | 19463 | 0.7 | 27M|1353 | - |3853 |5598 |3853 | 913 |3667 |1850 |1512 | 0.000000e+00 | 8.300000e+01 | Inf
35.59/35.60 o 82
35.59/35.60 c *34.3s| 26322 | 1930 | 19463 | 0.7 | 27M|1353 | - |3853 |5598 |3853 | 913 |3667 |1850 |1512 | 0.000000e+00 | 8.200000e+01 | Inf
35.59/35.64 o 80
35.59/35.64 c *34.4s| 26328 | 1856 | 19520 | 0.7 | 26M|1353 | - |3853 |5543 |3853 | 919 |3675 |1850 |1513 | 0.000000e+00 | 8.000000e+01 | Inf
35.59/35.65 o 71
35.59/35.65 c *34.4s| 26329 | 1554 | 19522 | 0.7 | 26M|1353 | - |3853 |5543 |3853 | 919 |3675 |1850 |1513 | 0.000000e+00 | 7.100000e+01 | Inf
35.79/35.84 o 70
35.79/35.84 c *34.5s| 26364 | 1532 | 19914 | 0.7 | 26M|1353 | - |3853 |5312 |3853 | 935 |3780 |1882 |1533 | 0.000000e+00 | 7.000000e+01 | Inf
35.89/35.92 o 51
35.89/35.92 c *34.6s| 26391 | 996 | 20093 | 0.8 | 24M|1353 | - |3853 |5272 |3853 | 939 |3812 |1891 |1535 | 0.000000e+00 | 5.100000e+01 | Inf
35.89/35.99 o 24
35.89/35.99 c *34.7s| 26406 | 581 | 20210 | 0.8 | 23M|1353 | - |3853 |4858 |3853 | 934 |3839 |1891 |1539 | 0.000000e+00 | 2.400000e+01 | Inf
35.99/36.02 o 21
35.99/36.02 c *34.7s| 26423 | 568 | 20244 | 0.8 | 23M|1353 | - |3853 |4335 |3853 | 928 |3850 |1901 |1539 | 0.000000e+00 | 2.100000e+01 | Inf
36.09/36.12 o 9
36.09/36.12 c *34.8s| 26549 | 300 | 20245 | 0.8 | 22M|1353 | - |3853 |4258 |3853 | 928 |3850 |1901 |1539 | 0.000000e+00 | 9.000000e+00 | Inf
42.29/42.35 c 40.7s| 30000 | 448 | 44302 | 1.5 | 24M|1353 | 13 |3853 |5103 |3853 | 899 |4673 |6040 |1789 | 0.000000e+00 | 9.000000e+00 | Inf
58.60/58.64 c 56.1s| 40000 | 676 |104510 | 2.6 | 28M|1353 | 1 |3853 |6849 |3853 | 899 |7195 | 18k|1816 | 0.000000e+00 | 9.000000e+00 | Inf
75.39/75.47 c 72.0s| 50000 | 758 |164191 | 3.3 | 30M|1353 | - |3853 |7463 | 0 | 0 |9851 | 31k|1816 | 0.000000e+00 | 9.000000e+00 | Inf
92.19/92.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.19/92.26 c 87.8s| 60000 | 727 |216725 | 3.6 | 31M|1353 | 15 |3853 |7363 |3853 | 908 | 11k| 44k|1939 | 0.000000e+00 | 9.000000e+00 | Inf
109.10/109.17 c 104s| 70000 | 846 |271239 | 3.9 | 34M|1353 | 11 |3853 |9998 |3853 | 928 | 14k| 57k|2099 | 0.000000e+00 | 9.000000e+00 | Inf
126.99/127.02 c 121s| 80000 | 1054 |327622 | 4.1 | 37M|1353 | 14 |3853 | 10k|3853 | 932 | 16k| 70k|2288 | 0.000000e+00 | 9.000000e+00 | Inf
141.69/141.78 o 8
141.69/141.78 c * 135s| 88148 | 1109 |373738 | 4.2 | 37M|1353 | - |3853 |8649 |3853 | 900 | 18k| 80k|2448 | 0.000000e+00 | 8.000000e+00 | Inf
145.10/145.15 c 138s| 90000 | 1139 |384692 | 4.3 | 38M|1353 | - |3853 |8657 | 0 | 0 | 19k| 83k|2461 | 0.000000e+00 | 8.000000e+00 | Inf
163.19/163.23 c 155s|100000 | 1233 |442915 | 4.4 | 40M|1353 | 15 |3853 | 10k|3853 | 925 | 22k| 96k|2657 | 0.000000e+00 | 8.000000e+00 | Inf
182.40/182.42 c 173s|110000 | 1441 |508299 | 4.6 | 42M|1353 | 9 |3853 | 10k|3853 | 918 | 24k| 109k|2831 | 0.000000e+00 | 8.000000e+00 | Inf
200.80/200.84 c 190s|120000 | 1552 |566608 | 4.7 | 44M|1353 | - |3853 | 11k| 0 | 0 | 27k| 123k|2977 | 0.000000e+00 | 8.000000e+00 | Inf
219.50/219.58 c 208s|130000 | 1629 |624824 | 4.8 | 46M|1353 | - |3853 | 12k| 0 | 0 | 30k| 136k|3126 | 0.000000e+00 | 8.000000e+00 | Inf
237.39/237.46 c 225s|140000 | 1604 |678320 | 4.8 | 45M|1353 | 1 |3853 |9194 |3853 | 936 | 33k| 150k|3243 | 0.000000e+00 | 8.000000e+00 | Inf
255.10/255.19 c 242s|150000 | 1648 |735226 | 4.9 | 46M|1353 | - |3853 |8475 | 0 | 0 | 35k| 163k|3545 | 0.000000e+00 | 8.000000e+00 | Inf
273.29/273.32 c 259s|160000 | 1705 |798243 | 5.0 | 48M|1353 | 10 |3853 |8222 |3853 | 919 | 39k| 178k|3689 | 0.000000e+00 | 8.000000e+00 | Inf
290.70/290.75 c 276s|170000 | 1905 |856143 | 5.0 | 50M|1353 | 1 |3853 |9354 |3853 | 922 | 42k| 191k|3867 | 0.000000e+00 | 8.000000e+00 | Inf
309.30/309.31 c 293s|180000 | 2271 |925699 | 5.1 | 53M|1353 | 1 |3853 |8703 |3853 | 917 | 45k| 203k|4016 | 0.000000e+00 | 8.000000e+00 | Inf
327.30/327.32 c 310s|190000 | 2503 |989215 | 5.2 | 56M|1353 | 8 |3853 |8997 |3853 | 893 | 48k| 216k|4124 | 0.000000e+00 | 8.000000e+00 | Inf
346.00/346.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.00/346.05 c 328s|200000 | 2752 | 1055k| 5.3 | 59M|1353 | - |3853 | 10k| 0 | 0 | 50k| 229k|4232 | 0.000000e+00 | 8.000000e+00 | Inf
365.60/365.66 c 347s|210000 | 3159 | 1131k| 5.4 | 62M|1353 | - |3853 | 10k| 0 | 0 | 53k| 243k|4368 | 0.000000e+00 | 8.000000e+00 | Inf
384.70/384.77 c 365s|220000 | 3472 | 1196k| 5.4 | 65M|1353 | - |3853 | 11k| 0 | 0 | 55k| 256k|4433 | 0.000000e+00 | 8.000000e+00 | Inf
403.20/403.29 c 382s|230000 | 3738 | 1259k| 5.5 | 67M|1353 | 1 |3853 | 10k|3853 | 915 | 57k| 270k|4551 | 0.000000e+00 | 8.000000e+00 | Inf
421.50/421.58 c 400s|240000 | 3929 | 1319k| 5.5 | 70M|1353 | - |3853 | 10k| 0 | 0 | 59k| 284k|4618 | 0.000000e+00 | 8.000000e+00 | Inf
439.81/439.80 c 417s|250000 | 4041 | 1376k| 5.5 | 71M|1353 | 1 |3853 | 11k|3853 | 924 | 61k| 298k|4710 | 0.000000e+00 | 8.000000e+00 | Inf
459.00/459.05 c 435s|260000 | 4249 | 1438k| 5.5 | 74M|1353 | - |3853 | 12k| 0 | 0 | 63k| 311k|4835 | 0.000000e+00 | 8.000000e+00 | Inf
478.20/478.25 c 454s|270000 | 4432 | 1499k| 5.6 | 76M|1353 | - |3853 | 12k| 0 | 0 | 65k| 326k|4899 | 0.000000e+00 | 8.000000e+00 | Inf
497.50/497.59 c 472s|280000 | 4529 | 1559k| 5.6 | 77M|1353 | - |3853 | 12k| 0 | 0 | 67k| 341k|4959 | 0.000000e+00 | 8.000000e+00 | Inf
517.21/517.27 c 491s|290000 | 4716 | 1624k| 5.6 | 79M|1353 | 15 |3853 | 13k|3853 | 931 | 69k| 356k|5070 | 0.000000e+00 | 8.000000e+00 | Inf
537.41/537.45 c 510s|300000 | 4798 | 1691k| 5.6 | 81M|1353 | - |3853 | 13k| 0 | 0 | 71k| 370k|5149 | 0.000000e+00 | 8.000000e+00 | Inf
557.10/557.16 c 529s|310000 | 5005 | 1756k| 5.7 | 83M|1353 | 1 |3853 | 13k|3853 | 915 | 74k| 385k|5210 | 0.000000e+00 | 8.000000e+00 | Inf
576.11/576.19 c 547s|320000 | 5213 | 1810k| 5.7 | 85M|1353 | - |3853 | 13k| 0 | 0 | 76k| 400k|5271 | 0.000000e+00 | 8.000000e+00 | Inf
595.41/595.41 c 565s|330000 | 5294 | 1868k| 5.7 | 85M|1353 | - |3853 | 12k| 0 | 0 | 78k| 414k|5338 | 0.000000e+00 | 8.000000e+00 | Inf
614.70/614.73 c 583s|340000 | 5391 | 1929k| 5.7 | 87M|1353 | 7 |3853 | 13k|3853 | 943 | 80k| 428k|5420 | 0.000000e+00 | 8.000000e+00 | Inf
634.71/634.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.71/634.70 c 602s|350000 | 5487 | 1998k| 5.7 | 88M|1353 | 17 |3853 | 12k|3853 | 950 | 82k| 442k|5519 | 0.000000e+00 | 8.000000e+00 | Inf
654.51/654.52 c 621s|360000 | 5601 | 2061k| 5.7 | 90M|1353 | - |3853 | 13k| 0 | 0 | 84k| 457k|5583 | 0.000000e+00 | 8.000000e+00 | Inf
673.90/673.94 c 640s|370000 | 5704 | 2124k| 5.7 | 92M|1353 | 7 |3853 | 13k|3853 | 954 | 86k| 472k|5660 | 0.000000e+00 | 8.000000e+00 | Inf
693.71/693.71 c 658s|380000 | 5799 | 2187k| 5.8 | 93M|1353 | 6 |3853 | 12k|3853 | 928 | 88k| 486k|5732 | 0.000000e+00 | 8.000000e+00 | Inf
712.61/712.68 c 676s|390000 | 5971 | 2247k| 5.8 | 95M|1353 | - |3853 | 12k| 0 | 0 | 90k| 500k|5793 | 0.000000e+00 | 8.000000e+00 | Inf
731.42/731.47 c 694s|400000 | 6054 | 2304k| 5.8 | 97M|1353 | - |3853 | 12k| 0 | 0 | 92k| 515k|5854 | 0.000000e+00 | 8.000000e+00 | Inf
750.21/750.24 c 712s|410000 | 6150 | 2361k| 5.8 | 98M|1353 | 1 |3853 | 13k|3853 | 939 | 94k| 529k|5920 | 0.000000e+00 | 8.000000e+00 | Inf
768.71/768.71 c 730s|420000 | 6262 | 2417k| 5.8 | 100M|1353 | 21 |3853 | 12k|3853 | 941 | 96k| 543k|5989 | 0.000000e+00 | 8.000000e+00 | Inf
787.52/787.54 c 748s|430000 | 6458 | 2476k| 5.8 | 102M|1353 | 11 |3853 | 12k|3853 | 934 | 98k| 557k|6066 | 0.000000e+00 | 8.000000e+00 | Inf
807.11/807.13 c 766s|440000 | 6614 | 2545k| 5.8 | 104M|1353 | - |3853 | 13k| 0 | 0 | 100k| 571k|6141 | 0.000000e+00 | 8.000000e+00 | Inf
827.01/827.08 c 785s|450000 | 6699 | 2616k| 5.8 | 105M|1353 | - |3853 | 13k| 0 | 0 | 102k| 585k|6222 | 0.000000e+00 | 8.000000e+00 | Inf
846.11/846.11 c 803s|460000 | 6821 | 2673k| 5.8 | 107M|1353 | 1 |3853 | 13k|3853 | 924 | 104k| 599k|6269 | 0.000000e+00 | 8.000000e+00 | Inf
865.21/865.24 c 821s|470000 | 7041 | 2733k| 5.8 | 109M|1353 | - |3853 | 13k| 0 | 0 | 105k| 613k|6336 | 0.000000e+00 | 8.000000e+00 | Inf
884.01/884.01 c 839s|480000 | 7242 | 2790k| 5.8 | 111M|1353 | - |3853 | 13k| 0 | 0 | 108k| 627k|6367 | 0.000000e+00 | 8.000000e+00 | Inf
903.31/903.31 c 858s|490000 | 7346 | 2848k| 5.8 | 113M|1353 | 20 |3853 | 13k|3853 | 931 | 109k| 641k|6426 | 0.000000e+00 | 8.000000e+00 | Inf
922.71/922.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.71/922.79 c 876s|500000 | 7484 | 2912k| 5.8 | 115M|1353 | - |3853 | 14k| 0 | 0 | 111k| 654k|6493 | 0.000000e+00 | 8.000000e+00 | Inf
942.01/942.09 c 894s|510000 | 7567 | 2971k| 5.8 | 117M|1353 | 16 |3853 | 13k|3853 | 922 | 113k| 669k|6553 | 0.000000e+00 | 8.000000e+00 | Inf
961.02/961.07 c 912s|520000 | 7682 | 3027k| 5.8 | 118M|1353 | 16 |3853 | 13k|3853 | 915 | 115k| 683k|6610 | 0.000000e+00 | 8.000000e+00 | Inf
980.52/980.51 c 931s|530000 | 7864 | 3091k| 5.8 | 120M|1353 | 20 |3853 | 12k|3853 | 915 | 117k| 696k|6669 | 0.000000e+00 | 8.000000e+00 | Inf
1000.52/1000.51 c 950s|540000 | 8142 | 3163k| 5.9 | 123M|1353 | 11 |3853 | 13k|3853 | 932 | 119k| 710k|6727 | 0.000000e+00 | 8.000000e+00 | Inf
1019.92/1019.97 c 968s|550000 | 8350 | 3229k| 5.9 | 125M|1353 | 21 |3853 | 13k|3853 | 930 | 121k| 725k|6786 | 0.000000e+00 | 8.000000e+00 | Inf
1039.31/1039.33 c 987s|560000 | 8567 | 3295k| 5.9 | 127M|1353 | 1 |3853 | 13k|3853 | 915 | 123k| 738k|6842 | 0.000000e+00 | 8.000000e+00 | Inf
1058.72/1058.76 c 1005s|570000 | 8623 | 3362k| 5.9 | 128M|1353 | 19 |3853 | 13k|3853 | 936 | 125k| 753k|6905 | 0.000000e+00 | 8.000000e+00 | Inf
1077.52/1077.59 c 1023s|580000 | 8730 | 3422k| 5.9 | 130M|1353 | 1 |3853 | 13k|3853 | 928 | 127k| 767k|6962 | 0.000000e+00 | 8.000000e+00 | Inf
1096.92/1096.91 c 1042s|590000 | 8796 | 3486k| 5.9 | 131M|1353 | - |3853 | 14k| 0 | 0 | 130k| 781k|7003 | 0.000000e+00 | 8.000000e+00 | Inf
1116.02/1116.08 c 1060s|600000 | 8880 | 3546k| 5.9 | 133M|1353 | 17 |3853 | 13k|3853 | 949 | 132k| 796k|7038 | 0.000000e+00 | 8.000000e+00 | Inf
1135.72/1135.74 c 1078s|610000 | 9018 | 3611k| 5.9 | 135M|1353 | - |3853 | 14k| 0 | 0 | 134k| 810k|7096 | 0.000000e+00 | 8.000000e+00 | Inf
1155.32/1155.37 c 1097s|620000 | 9125 | 3673k| 5.9 | 136M|1353 | - |3853 | 14k| 0 | 0 | 135k| 824k|7158 | 0.000000e+00 | 8.000000e+00 | Inf
1175.12/1175.12 c 1116s|630000 | 9220 | 3734k| 5.9 | 138M|1353 | - |3853 | 14k| 0 | 0 | 137k| 838k|7223 | 0.000000e+00 | 8.000000e+00 | Inf
1195.22/1195.26 c 1135s|640000 | 9301 | 3804k| 5.9 | 140M|1353 | 6 |3853 | 14k|3853 | 941 | 139k| 852k|7274 | 0.000000e+00 | 8.000000e+00 | Inf
1214.52/1214.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.52/1214.53 c 1153s|650000 | 9335 | 3866k| 5.9 | 140M|1353 | 13 |3853 | 12k|3853 | 931 | 141k| 866k|7313 | 0.000000e+00 | 8.000000e+00 | Inf
1234.02/1234.00 c 1172s|660000 | 9390 | 3928k| 6.0 | 141M|1353 | 10 |3853 | 12k|3853 | 923 | 143k| 880k|7376 | 0.000000e+00 | 8.000000e+00 | Inf
1252.52/1252.56 c 1190s|670000 | 9557 | 3986k| 5.9 | 143M|1353 | 5 |3853 | 13k|3853 | 923 | 145k| 894k|7439 | 0.000000e+00 | 8.000000e+00 | Inf
1271.82/1271.81 c 1208s|680000 | 9670 | 4049k| 6.0 | 145M|1353 | 8 |3853 | 15k|3853 | 923 | 146k| 908k|7487 | 0.000000e+00 | 8.000000e+00 | Inf
1290.72/1290.70 c 1226s|690000 | 9740 | 4104k| 5.9 | 147M|1353 | 5 |3853 | 15k|3853 | 933 | 148k| 921k|7514 | 0.000000e+00 | 8.000000e+00 | Inf
1309.32/1309.39 c 1244s|700000 | 9802 | 4158k| 5.9 | 147M|1353 | 28 |3853 | 15k|3853 | 943 | 150k| 935k|7568 | 0.000000e+00 | 8.000000e+00 | Inf
1328.42/1328.46 c 1262s|710000 | 9835 | 4219k| 5.9 | 148M|1353 | - |3853 | 14k| 0 | 0 | 152k| 949k|7631 | 0.000000e+00 | 8.000000e+00 | Inf
1347.32/1347.30 c 1280s|720000 | 9860 | 4274k| 5.9 | 148M|1353 | - |3853 | 12k| 0 | 0 | 154k| 963k|7650 | 0.000000e+00 | 8.000000e+00 | Inf
1366.82/1366.87 c 1298s|730000 | 9911 | 4334k| 5.9 | 149M|1353 | 1 |3853 | 11k|3853 | 942 | 155k| 977k|7704 | 0.000000e+00 | 8.000000e+00 | Inf
1386.03/1386.01 c 1317s|740000 | 10018 | 4397k| 5.9 | 151M|1353 | 1 |3853 | 13k|3853 | 934 | 157k| 991k|7759 | 0.000000e+00 | 8.000000e+00 | Inf
1404.82/1404.84 c 1334s|750000 | 10096 | 4456k| 5.9 | 153M|1353 | 20 |3853 | 15k|3853 | 950 | 159k|1005k|7804 | 0.000000e+00 | 8.000000e+00 | Inf
1424.92/1424.93 c 1354s|760000 | 10181 | 4521k| 5.9 | 154M|1353 | 28 |3853 | 12k|3853 | 968 | 161k|1019k|7844 | 0.000000e+00 | 8.000000e+00 | Inf
1444.23/1444.27 c 1372s|770000 | 10386 | 4581k| 5.9 | 155M|1353 | 22 |3853 | 10k|3853 | 910 | 163k|1033k|8209 | 0.000000e+00 | 8.000000e+00 | Inf
1462.83/1462.80 c 1390s|780000 | 10717 | 4640k| 5.9 | 158M|1353 | - |3853 | 11k| 0 | 0 | 166k|1046k|8311 | 0.000000e+00 | 8.000000e+00 | Inf
1481.03/1481.02 c 1407s|790000 | 10997 | 4696k| 5.9 | 161M|1353 | 10 |3853 | 11k|3853 | 915 | 167k|1058k|8322 | 0.000000e+00 | 8.000000e+00 | Inf
1499.13/1499.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.13/1499.15 c 1424s|800000 | 11191 | 4755k| 5.9 | 163M|1353 | - |3853 | 12k| 0 | 0 | 169k|1072k|8336 | 0.000000e+00 | 8.000000e+00 | Inf
1517.62/1517.61 c 1442s|810000 | 11462 | 4818k| 5.9 | 166M|1353 | - |3853 | 11k| 0 | 0 | 171k|1085k|8344 | 0.000000e+00 | 8.000000e+00 | Inf
1536.23/1536.27 c 1459s|820000 | 11680 | 4878k| 5.9 | 168M|1353 | 1 |3853 | 13k|3853 | 902 | 173k|1099k|8376 | 0.000000e+00 | 8.000000e+00 | Inf
1555.63/1555.64 c 1478s|830000 | 11865 | 4942k| 6.0 | 171M|1353 | 10 |3853 | 12k|3853 | 944 | 175k|1112k|8418 | 0.000000e+00 | 8.000000e+00 | Inf
1574.43/1574.49 c 1496s|840000 | 11966 | 4998k| 6.0 | 173M|1353 | - |3853 | 14k|3853 | 952 | 176k|1127k|8471 | 0.000000e+00 | 8.000000e+00 | Inf
1593.33/1593.30 c 1514s|850000 | 12103 | 5056k| 5.9 | 174M|1353 | 18 |3853 | 11k|3853 | 949 | 178k|1141k|8508 | 0.000000e+00 | 8.000000e+00 | Inf
1612.03/1612.01 c 1531s|860000 | 12163 | 5116k| 5.9 | 176M|1353 | - |3853 | 12k| 0 | 0 | 180k|1155k|8567 | 0.000000e+00 | 8.000000e+00 | Inf
1631.13/1631.15 c 1549s|870000 | 12261 | 5176k| 5.9 | 178M|1353 | 10 |3853 | 12k|3853 | 931 | 182k|1169k|8618 | 0.000000e+00 | 8.000000e+00 | Inf
1650.43/1650.47 c 1568s|880000 | 12383 | 5237k| 6.0 | 180M|1353 | - |3853 | 14k| 0 | 0 | 184k|1184k|8644 | 0.000000e+00 | 8.000000e+00 | Inf
1670.84/1670.83 c 1587s|890000 | 12499 | 5309k| 6.0 | 182M|1353 | 21 |3853 | 12k|3853 | 936 | 186k|1198k|8705 | 0.000000e+00 | 8.000000e+00 | Inf
1690.23/1690.22 c 1606s|900000 | 12569 | 5369k| 6.0 | 183M|1353 | 1 |3853 | 11k|3853 | 941 | 188k|1212k|8770 | 0.000000e+00 | 8.000000e+00 | Inf
1709.23/1709.22 c 1624s|910000 | 12744 | 5431k| 6.0 | 186M|1353 | - |3853 | 13k| 0 | 0 | 190k|1226k|8793 | 0.000000e+00 | 8.000000e+00 | Inf
1728.04/1728.09 c 1642s|920000 | 12862 | 5492k| 6.0 | 187M|1353 | 22 |3853 | 12k|3853 | 923 | 192k|1240k|8854 | 0.000000e+00 | 8.000000e+00 | Inf
1746.93/1746.90 c 1659s|930000 | 12937 | 5553k| 6.0 | 189M|1353 | 7 |3853 | 12k|3853 | 935 | 193k|1255k|8899 | 0.000000e+00 | 8.000000e+00 | Inf
1765.54/1765.50 c 1677s|940000 | 13022 | 5614k| 6.0 | 190M|1353 | - |3853 | 10k| 0 | 0 | 195k|1268k|8928 | 0.000000e+00 | 8.000000e+00 | Inf
1783.84/1783.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.84/1783.81 c 1694s|950000 | 13098 | 5671k| 6.0 | 191M|1353 | 9 |3853 | 10k|3853 | 914 | 196k|1282k|8993 | 0.000000e+00 | 8.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1709.85
1800.04/1800.00 c Solving Nodes : 958661
1800.04/1800.00 c Primal Bound : +8.00000000000000e+00 (142 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.04/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105
1800.04/1800.04 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.04/1800.04 v x80 -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
1800.04/1800.04 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.04/1800.04 v -x29 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
1800.04/1800.04 v -x2 -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1709.85
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2693487-1277906690.wbo
1800.04/1800.04 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.04/1800.04 c Constraints : 4576 initial, 4576 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2693487-1277906690.wbo
1800.04/1800.04 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.04/1800.04 c Constraints : 4434 initial, 16418 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.04 0 0 0 1876 0 85 67 0
1800.04/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1677 - - 3354 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 553667 0 58 911 0 0 1008670
1800.04/1800.04 c indicator : 1811 0 5158970 48236 0 326 2714673 0 0 0
1800.04/1800.04 c setppc : 5 6 5109870 40526 0 8142 628849 0 0 0
1800.04/1800.04 c linear : 1811 6 5207499 48201 0 256179 23323117 198397 0 0
1800.04/1800.04 c logicor : 807+ 6 1749949 25240 0 184656 4194502 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 48606 0 0 0 41 0 0 0
1800.04/1800.04 c countsols : 0 0 0 25240 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 22.32 0.00 0.00 22.32 0.00
1800.04/1800.04 c indicator : 14.35 0.01 11.27 3.07 0.00
1800.04/1800.04 c setppc : 3.31 0.00 3.31 0.00 0.00
1800.04/1800.04 c linear : 168.72 0.00 166.31 2.41 0.00
1800.04/1800.04 c logicor : 181.58 0.00 181.34 0.24 0.00
1800.04/1800.04 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.04/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.00 2 0 0
1800.04/1800.04 c rootredcost : 0.01 33 0 1677
1800.04/1800.04 c pseudoobj : 176.75 5220713 4541 1911764
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 20.36 453518 453440 2677409 27.1 18479 21.0 -
1800.04/1800.04 c infeasible LP : 9.47 34620 34620 282293 43.0 708 12.8 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.00 37 37 175 15.9 30 5.8 -
1800.04/1800.04 c applied globally : - - - 1294555 23.0 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 19 - (maximal pool size: 265)
1800.04/1800.04 c redcost : 29.59 571057 0 659829 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.05 6 0 0 1530 0
1800.04/1800.04 c strongcg : 0.04 6 0 0 79 0
1800.04/1800.04 c cmir : 0.00 6 0 0 1 0
1800.04/1800.04 c flowcover : 0.06 6 0 0 3 0
1800.04/1800.04 c clique : 0.00 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 22.15 505093 58 911 0 0 1008670
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 2.97 25208 0 0 0 0 50416
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.04 - 32
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.02 1 0
1800.04/1800.04 c oneopt : 0.10 26 0
1800.04/1800.04 c intshifting : 0.01 8 0
1800.04/1800.04 c linesearchdiving : 0.05 55 0
1800.04/1800.04 c guideddiving : 0.06 55 0
1800.04/1800.04 c fracdiving : 0.13 55 0
1800.04/1800.04 c coefdiving : 0.07 56 0
1800.04/1800.04 c pscostdiving : 0.08 56 0
1800.04/1800.04 c veclendiving : 0.07 56 0
1800.04/1800.04 c crossover : 0.44 19 0
1800.04/1800.04 c objpscostdiving : 0.09 46 0
1800.04/1800.04 c rootsoldiving : 0.09 46 0
1800.04/1800.04 c trivial : 0.02 2 0
1800.04/1800.04 c simplerounding : 0.55 512034 0
1800.04/1800.04 c zirounding : 0.28 1000 0
1800.04/1800.04 c rounding : 1.27 10081 0
1800.04/1800.04 c shifting : 1.11 3163 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.03 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.00 0 0
1800.04/1800.04 c trysol : 1.76 6146 110
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 678.93 569807 5725217 10.05 8432.71
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.21 161 1226 7.61 5838.10
1800.04/1800.04 c strong branching : 17.81 9009 187273 20.79 10515.05
1800.04/1800.04 c (at root node) : - 28 4281 152.89 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 958661
1800.04/1800.05 c nodes (total) : 958661
1800.04/1800.05 c nodes left : 13199
1800.04/1800.05 c max depth : 1353
1800.04/1800.05 c max depth (total): 1353
1800.04/1800.05 c backtracks : 77638 (8.1%)
1800.04/1800.05 c delayed cutoffs : 61849
1800.04/1800.05 c repropagations : 2503599 (4874926 domain reductions, 59283 cutoffs)
1800.04/1800.05 c avg switch length: 6.99
1800.04/1800.05 c switching time : 217.19
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 142 (33 improvements)
1800.04/1800.05 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.04/1800.05 c Primal Bound : +8.00000000000000e+00 (in run 1, after 88148 nodes, 134.66 seconds, depth 33, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 253
1800.24/1800.24 c Time complete: 1800.28.