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-2705010-1278574752.wbo>
0.00/0.03 c original problem has 3839 variables (2035 bin, 0 int, 1804 impl, 0 cont) and 4512 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 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, 134 impls, 6 clqs
0.00/0.08 c (round 2) 0 del vars, 64 del conss, 1804 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 134 impls, 6 clqs
0.00/0.09 c (round 3) 41 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 134 impls, 6 clqs
0.09/0.10 c (round 4) 92 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 134 impls, 6 clqs
0.09/0.10 c (round 5) 92 del vars, 134 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 134 impls, 6 clqs
0.09/0.15 c (0.1s) probing: 101/1989 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 92 deleted vars, 134 deleted constraints, 1809 tightened bounds, 0 added holes, 53 changed sides, 0 changed coefficients
0.09/0.15 c 3633 implications, 6 cliques
0.09/0.15 c presolved problem has 3747 variables (1989 bin, 0 int, 1758 impl, 0 cont) and 4378 constraints
0.09/0.15 c 54 constraints of type <setppc>
0.09/0.15 c 1758 constraints of type <linear>
0.09/0.15 c 1758 constraints of type <indicator>
0.09/0.15 c 808 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 0 | 11 | - | 14M| 0 | 0 |3747 |4378 |3747 | 862 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 66 | - | 14M| 0 | 34 |3747 |4379 |3747 | 880 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 95 | - | 14M| 0 | 34 |3747 |4379 |3747 | 903 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.3s| 1 | 0 | 131 | - | 14M| 0 | 44 |3747 |4379 |3747 | 918 | 56 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 146 | - | 14M| 0 | 46 |3747 |4379 |3747 | 930 | 68 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.51 c 0.5s| 1 | 0 | 158 | - | 15M| 0 | 48 |3747 |4379 |3747 | 936 | 74 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.59 c 0.6s| 1 | 0 | 167 | - | 15M| 0 | 47 |3747 |4379 |3747 | 939 | 77 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.75 c 0.7s| 1 | 2 | 167 | - | 15M| 0 | 47 |3747 |4379 |3747 | 939 | 77 | 0 | 16 | 0.000000e+00 | -- | Inf
1.79/1.82 o 88500
1.79/1.82 c y 1.8s| 35 | 34 | 847 | 20.0 | 15M| 19 | - |3747 |4379 | 0 | 0 | 110 | 0 | 357 | 0.000000e+00 | 8.850000e+04 | Inf
18.88/18.93 c 18.9s| 10000 | 9995 | 13862 | 1.4 | 38M| 231 | 0 |3747 |4383 |3747 | 981 |2849 | 4 |1374 | 0.000000e+00 | 8.850000e+04 | Inf
32.69/32.71 c 32.7s| 20000 | 19993 | 17851 | 0.9 | 55M| 367 | 0 |3747 |4386 |3747 | 970 |3916 | 7 |1427 | 0.000000e+00 | 8.850000e+04 | Inf
46.68/46.79 c 46.8s| 30000 | 29991 | 22633 | 0.7 | 72M| 367 | 0 |3747 |4388 |3747 | 986 |5047 | 9 |1471 | 0.000000e+00 | 8.850000e+04 | Inf
60.58/60.60 c 60.6s| 40000 | 39989 | 26314 | 0.7 | 89M| 367 | 0 |3747 |4390 |3747 | 971 |5962 | 12 |1490 | 0.000000e+00 | 8.850000e+04 | Inf
74.38/74.46 c 74.4s| 50000 | 49987 | 30263 | 0.6 | 105M| 367 | 0 |3747 |4391 |3747 | 977 |7039 | 14 |1503 | 0.000000e+00 | 8.850000e+04 | Inf
87.89/87.98 c 88.0s| 60000 | 59981 | 33482 | 0.6 | 122M| 367 | 0 |3747 |4404 |3747 | 975 |7745 | 27 |1518 | 0.000000e+00 | 8.850000e+04 | Inf
92.29/92.38 o 777
92.29/92.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.29/92.38 c *92.4s| 63835 | 60792 | 34096 | 0.5 | 124M|1259 | - |3747 |4404 |3747 | 973 |7919 | 27 |1528 | 0.000000e+00 | 7.770000e+02 | Inf
100.18/100.21 c 100s| 70000 | 66950 | 35206 | 0.5 | 134M|1259 | 0 |3747 |4427 |3747 | 978 |8143 | 50 |1535 | 0.000000e+00 | 7.770000e+02 | Inf
104.09/104.15 o 681
104.09/104.15 c * 104s| 72955 | 67152 | 35713 | 0.5 | 135M|1259 | - |3747 |4449 |3747 | 983 |8265 | 72 |1540 | 0.000000e+00 | 6.810000e+02 | Inf
107.88/107.94 o 669
107.88/107.94 c * 108s| 75439 | 68991 | 37200 | 0.5 | 139M|1259 | - |3747 |4789 |3747 | 963 |8599 | 413 |1562 | 0.000000e+00 | 6.690000e+02 | Inf
108.39/108.49 o 531
108.39/108.49 c * 108s| 75777 | 61319 | 37387 | 0.5 | 127M|1259 | - |3747 |4797 |3747 | 970 |8660 | 421 |1563 | 0.000000e+00 | 5.310000e+02 | Inf
108.79/108.84 o 490
108.79/108.84 c * 109s| 75996 | 57758 | 37473 | 0.5 | 121M|1259 | - |3747 |4802 |3747 | 967 |8691 | 426 |1563 | 0.000000e+00 | 4.900000e+02 | Inf
108.79/108.86 o 468
108.79/108.86 c * 109s| 75997 | 55674 | 37478 | 0.5 | 118M|1259 | - |3747 |4802 |3747 | 967 |8691 | 426 |1563 | 0.000000e+00 | 4.680000e+02 | Inf
109.79/109.80 o 467
109.79/109.80 c * 110s| 76473 | 55958 | 38730 | 0.5 | 119M|1259 | - |3747 |4949 |3747 |1003 |8971 | 577 |1564 | 0.000000e+00 | 4.670000e+02 | Inf
110.89/110.98 o 449
110.89/110.98 c * 111s| 77033 | 54582 | 40133 | 0.5 | 117M|1259 | - |3747 |5207 |3747 | 990 |9248 | 846 |1572 | 0.000000e+00 | 4.490000e+02 | Inf
111.69/111.74 o 409
111.69/111.74 c * 112s| 77395 | 50249 | 41084 | 0.5 | 110M|1259 | - |3747 |5368 |3747 | 960 |9443 |1015 |1582 | 0.000000e+00 | 4.090000e+02 | Inf
111.69/111.75 o 359
111.69/111.75 c * 112s| 77396 | 43650 | 41092 | 0.5 | 99M|1259 | - |3747 |5368 |3747 | 960 |9443 |1015 |1582 | 0.000000e+00 | 3.590000e+02 | Inf
112.48/112.52 o 313
112.48/112.52 c * 112s| 77733 | 37414 | 41738 | 0.5 | 89M|1259 | - |3747 |5542 |3747 | 964 |9636 |1207 |1591 | 0.000000e+00 | 3.130000e+02 | Inf
112.58/112.69 o 265
112.58/112.69 c * 113s| 77811 | 30957 | 41845 | 0.5 | 78M|1259 | - |3747 |5581 |3747 | 968 |9664 |1248 |1591 | 0.000000e+00 | 2.650000e+02 | Inf
112.88/112.96 o 252
112.88/112.96 c * 113s| 77911 | 29203 | 42353 | 0.5 | 76M|1259 | - |3747 |5616 |3747 | 965 |9764 |1292 |1594 | 0.000000e+00 | 2.520000e+02 | Inf
113.19/113.25 o 250
113.19/113.25 c * 113s| 77991 | 28916 | 43230 | 0.6 | 75M|1259 | - |3747 |5655 |3747 | 970 |9876 |1344 |1610 | 0.000000e+00 | 2.500000e+02 | Inf
114.59/114.69 o 239
114.59/114.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.59/114.69 c * 115s| 78659 | 27914 | 44957 | 0.6 | 75M|1259 | - |3747 |5919 |3747 | 973 | 10k|1638 |1620 | 0.000000e+00 | 2.390000e+02 | Inf
114.99/115.06 o 229
114.99/115.06 c * 115s| 78813 | 26491 | 45416 | 0.6 | 73M|1259 | - |3747 |6002 |3747 | 981 | 10k|1729 |1621 | 0.000000e+00 | 2.290000e+02 | Inf
115.09/115.14 o 213
115.09/115.14 c * 115s| 78852 | 24182 | 45417 | 0.6 | 69M|1259 | - |3747 |6002 |3747 | 981 | 10k|1729 |1621 | 0.000000e+00 | 2.130000e+02 | Inf
115.09/115.16 o 209
115.09/115.16 c * 115s| 78855 | 23520 | 45417 | 0.6 | 68M|1259 | - |3747 |6002 |3747 | 981 | 10k|1729 |1621 | 0.000000e+00 | 2.090000e+02 | Inf
115.09/115.16 o 208
115.09/115.16 c * 115s| 78856 | 23358 | 45417 | 0.6 | 68M|1259 | - |3747 |6002 |3747 | 981 | 10k|1729 |1621 | 0.000000e+00 | 2.080000e+02 | Inf
115.19/115.28 o 205
115.19/115.28 c * 115s| 78925 | 22934 | 45433 | 0.6 | 67M|1259 | - |3747 |6006 |3747 | 981 | 10k|1733 |1621 | 0.000000e+00 | 2.050000e+02 | Inf
115.19/115.29 o 188
115.19/115.29 c * 115s| 78926 | 20081 | 45433 | 0.6 | 62M|1259 | - |3747 |6006 |3747 | 981 | 10k|1733 |1621 | 0.000000e+00 | 1.880000e+02 | Inf
115.39/115.44 o 179
115.39/115.44 c * 115s| 78978 | 18639 | 45544 | 0.6 | 60M|1259 | - |3747 |6038 |3747 | 987 | 10k|1769 |1623 | 0.000000e+00 | 1.790000e+02 | Inf
115.39/115.44 o 178
115.39/115.44 c * 115s| 78979 | 18468 | 45544 | 0.6 | 59M|1259 | - |3747 |6038 |3747 | 987 | 10k|1769 |1623 | 0.000000e+00 | 1.780000e+02 | Inf
118.38/118.45 c 118s| 80000 | 19022 | 52303 | 0.7 | 64M|1259 | 13 |3747 |6627 |3747 | 972 | 11k|2569 |1661 | 0.000000e+00 | 1.780000e+02 | Inf
118.49/118.52 o 153
118.49/118.52 c * 118s| 80018 | 15206 | 52511 | 0.7 | 57M|1259 | - |3747 |6631 |3747 | 977 | 11k|2579 |1666 | 0.000000e+00 | 1.530000e+02 | Inf
119.19/119.27 o 138
119.19/119.27 c * 119s| 80280 | 13504 | 54265 | 0.7 | 54M|1259 | - |3747 |6744 |3747 | 970 | 11k|2744 |1675 | 0.000000e+00 | 1.380000e+02 | Inf
119.99/120.01 o 137
119.99/120.01 c * 120s| 80494 | 13495 | 56979 | 0.7 | 56M|1259 | - |3747 |6897 |3747 | 946 | 12k|2965 |1686 | 0.000000e+00 | 1.370000e+02 | Inf
119.99/120.01 o 128
119.99/120.01 c * 120s| 80495 | 12307 | 56992 | 0.7 | 53M|1259 | - |3747 |6897 |3747 | 946 | 12k|2965 |1686 | 0.000000e+00 | 1.280000e+02 | Inf
120.39/120.46 o 116
120.39/120.46 c * 120s| 80663 | 10718 | 57570 | 0.7 | 50M|1259 | - |3747 |6985 |3747 | 982 | 12k|3096 |1687 | 0.000000e+00 | 1.160000e+02 | Inf
120.59/120.65 o 115
120.59/120.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.59/120.65 c * 121s| 80713 | 10532 | 58529 | 0.7 | 50M|1259 | - |3747 |6986 |3747 | 994 | 12k|3118 |1688 | 0.000000e+00 | 1.150000e+02 | Inf
121.09/121.15 o 109
121.09/121.15 c * 121s| 80839 | 9570 | 59589 | 0.7 | 47M|1259 | - |3747 |7117 |3747 | 997 | 12k|3273 |1691 | 0.000000e+00 | 1.090000e+02 | Inf
121.39/121.42 o 98
121.39/121.42 c * 121s| 80918 | 8452 | 60136 | 0.7 | 45M|1259 | - |3747 |7153 |3747 | 997 | 12k|3344 |1691 | 0.000000e+00 | 9.800000e+01 | Inf
121.88/121.92 o 81
121.88/121.92 c * 122s| 81091 | 6375 | 61033 | 0.8 | 40M|1259 | - |3747 |7209 |3747 | 992 | 12k|3502 |1693 | 0.000000e+00 | 8.100000e+01 | Inf
121.88/121.99 o 70
121.88/121.99 c * 122s| 81104 | 5508 | 61156 | 0.8 | 37M|1259 | - |3747 |6810 |3747 |1001 | 12k|3517 |1693 | 0.000000e+00 | 7.000000e+01 | Inf
121.88/121.99 o 64
121.88/121.99 c * 122s| 81105 | 4958 | 61156 | 0.8 | 36M|1259 | - |3747 |6810 |3747 |1001 | 12k|3517 |1693 | 0.000000e+00 | 6.400000e+01 | Inf
121.99/122.04 o 63
121.99/122.04 c * 122s| 81110 | 4783 | 61277 | 0.8 | 36M|1259 | - |3747 |6457 |3747 |1007 | 12k|3523 |1694 | 0.000000e+00 | 6.300000e+01 | Inf
122.09/122.11 o 61
122.09/122.11 c * 122s| 81125 | 4692 | 61383 | 0.8 | 36M|1259 | - |3747 |6419 |3747 |1014 | 12k|3534 |1694 | 0.000000e+00 | 6.100000e+01 | Inf
122.09/122.12 o 52
122.09/122.12 c * 122s| 81126 | 4121 | 61402 | 0.8 | 34M|1259 | - |3747 |6419 |3747 |1014 | 12k|3534 |1694 | 0.000000e+00 | 5.200000e+01 | Inf
122.09/122.19 o 43
122.09/122.19 c * 122s| 81198 | 3516 | 61470 | 0.8 | 33M|1259 | - |3747 |6226 |3747 |1009 | 12k|3534 |1694 | 0.000000e+00 | 4.300000e+01 | Inf
122.18/122.24 o 37
122.18/122.24 c * 122s| 81223 | 3072 | 61579 | 0.8 | 32M|1259 | - |3747 |6010 |3747 | 956 | 12k|3534 |1694 | 0.000000e+00 | 3.700000e+01 | Inf
122.18/122.28 o 36
122.18/122.28 c * 122s| 81239 | 3034 | 61676 | 0.8 | 32M|1259 | - |3747 |5922 |3747 | 958 | 12k|3567 |1695 | 0.000000e+00 | 3.600000e+01 | Inf
122.38/122.40 o 31
122.38/122.40 c * 122s| 81284 | 2754 | 62059 | 0.8 | 31M|1259 | - |3747 |5935 |3747 | 960 | 12k|3629 |1695 | 0.000000e+00 | 3.100000e+01 | Inf
122.38/122.40 o 28
122.38/122.40 c * 122s| 81285 | 2536 | 62059 | 0.8 | 31M|1259 | - |3747 |5935 |3747 | 960 | 12k|3629 |1695 | 0.000000e+00 | 2.800000e+01 | Inf
122.38/122.43 o 27
122.38/122.43 c * 122s| 81294 | 2487 | 62154 | 0.8 | 31M|1259 | - |3747 |5686 |3747 | 959 | 12k|3638 |1695 | 0.000000e+00 | 2.700000e+01 | Inf
122.38/122.46 o 24
122.38/122.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.38/122.46 c * 122s| 81301 | 2353 | 62278 | 0.8 | 30M|1259 | - |3747 |5665 |3747 | 962 | 12k|3638 |1695 | 0.000000e+00 | 2.400000e+01 | Inf
122.48/122.53 o 23
122.48/122.53 c * 122s| 81318 | 1607 | 62545 | 0.8 | 28M|1259 | - |3747 |5628 |3747 | 968 | 12k|3663 |1695 | 0.000000e+00 | 2.300000e+01 | Inf
134.79/134.84 o 7
134.79/134.84 c * 135s| 88536 | 1349 | 98856 | 1.1 | 30M|1259 | - |3747 |8957 |3747 | 979 | 15k| 12k|1707 | 0.000000e+00 | 7.000000e+00 | Inf
137.09/137.12 c 137s| 90000 | 1367 |106072 | 1.2 | 30M|1259 | 9 |3747 |8038 |3747 | 961 | 15k| 14k|1707 | 0.000000e+00 | 7.000000e+00 | Inf
143.28/143.36 o 3
143.28/143.36 c * 143s| 93740 | 1285 |131285 | 1.4 | 30M|1259 | - |3747 |8122 |3747 | 988 | 16k| 19k|1707 | 0.000000e+00 | 3.000000e+00 | Inf
153.39/153.43 c 153s|100000 | 1296 |169725 | 1.7 | 31M|1259 | - |3747 |9345 | 0 | 0 | 18k| 28k|1851 | 0.000000e+00 | 3.000000e+00 | Inf
170.79/170.89 c 171s|110000 | 1373 |232631 | 2.1 | 33M|1259 | - |3747 | 12k| 0 | 0 | 23k| 41k|2126 | 0.000000e+00 | 3.000000e+00 | Inf
188.99/189.03 c 189s|120000 | 1341 |298702 | 2.5 | 33M|1259 | - |3747 | 11k| 0 | 0 | 26k| 55k|2444 | 0.000000e+00 | 3.000000e+00 | Inf
206.59/206.66 c 207s|130000 | 1274 |361145 | 2.8 | 33M|1259 | - |3747 | 12k| 0 | 0 | 29k| 68k|2717 | 0.000000e+00 | 3.000000e+00 | Inf
224.29/224.33 c 224s|140000 | 1300 |411986 | 2.9 | 35M|1259 | 1 |3747 | 18k|3747 | 947 | 32k| 80k|2864 | 0.000000e+00 | 3.000000e+00 | Inf
244.59/244.69 c 245s|150000 | 1359 |479199 | 3.2 | 37M|1259 | - |3747 | 20k| 0 | 0 | 37k| 94k|3128 | 0.000000e+00 | 3.000000e+00 | Inf
264.89/264.98 c 265s|160000 | 1421 |542531 | 3.4 | 39M|1259 | 1 |3747 | 24k|3747 | 986 | 40k| 107k|3282 | 0.000000e+00 | 3.000000e+00 | Inf
286.00/286.03 c 286s|170000 | 1368 |607461 | 3.6 | 39M|1259 | - |3747 | 24k| 0 | 0 | 43k| 121k|3444 | 0.000000e+00 | 3.000000e+00 | Inf
307.90/307.95 c 308s|180000 | 1349 |669311 | 3.7 | 40M|1259 | 12 |3747 | 27k|3747 | 946 | 47k| 135k|3743 | 0.000000e+00 | 3.000000e+00 | Inf
330.50/330.59 c 331s|190000 | 1387 |724838 | 3.8 | 42M|1259 | - |3747 | 29k| 0 | 0 | 50k| 148k|3875 | 0.000000e+00 | 3.000000e+00 | Inf
353.39/353.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.39/353.46 c 353s|200000 | 1297 |786080 | 3.9 | 39M|1259 | 17 |3747 | 23k|3747 | 947 | 52k| 161k|4033 | 0.000000e+00 | 3.000000e+00 | Inf
373.29/373.34 c 373s|210000 | 1248 |848774 | 4.0 | 37M|1259 | - |3747 | 19k| 0 | 0 | 56k| 174k|4192 | 0.000000e+00 | 3.000000e+00 | Inf
393.19/393.20 c 393s|220000 | 1239 |908176 | 4.1 | 38M|1259 | - |3747 | 20k| 0 | 0 | 59k| 187k|4287 | 0.000000e+00 | 3.000000e+00 | Inf
414.79/414.86 c 415s|230000 | 1256 |974995 | 4.2 | 40M|1259 | - |3747 | 25k| 0 | 0 | 62k| 201k|4426 | 0.000000e+00 | 3.000000e+00 | Inf
437.09/437.10 c 437s|240000 | 1234 | 1043k| 4.3 | 39M|1259 | - |3747 | 23k|3747 | 979 | 66k| 214k|4572 | 0.000000e+00 | 3.000000e+00 | Inf
458.30/458.37 c 458s|250000 | 1240 | 1103k| 4.4 | 40M|1259 | 22 |3747 | 26k|3747 | 973 | 69k| 228k|4723 | 0.000000e+00 | 3.000000e+00 | Inf
480.60/480.69 c 481s|260000 | 1242 | 1159k| 4.5 | 41M|1259 | - |3747 | 28k| 0 | 0 | 72k| 241k|4834 | 0.000000e+00 | 3.000000e+00 | Inf
503.81/503.83 c 504s|270000 | 1335 | 1216k| 4.5 | 44M|1259 | 17 |3747 | 33k|3747 | 964 | 75k| 254k|4920 | 0.000000e+00 | 3.000000e+00 | Inf
528.80/528.87 c 529s|280000 | 1261 | 1278k| 4.6 | 43M|1259 | - |3747 | 32k| 0 | 0 | 79k| 268k|5037 | 0.000000e+00 | 3.000000e+00 | Inf
553.10/553.10 c 553s|290000 | 1203 | 1337k| 4.6 | 42M|1259 | 22 |3747 | 28k|3747 | 947 | 82k| 281k|5322 | 0.000000e+00 | 3.000000e+00 | Inf
576.80/576.86 c 577s|300000 | 1175 | 1396k| 4.7 | 43M|1259 | - |3747 | 31k|3747 | 977 | 86k| 294k|5436 | 0.000000e+00 | 3.000000e+00 | Inf
600.51/600.58 c 601s|310000 | 1161 | 1458k| 4.7 | 44M|1259 | 13 |3747 | 33k|3747 | 989 | 89k| 308k|5492 | 0.000000e+00 | 3.000000e+00 | Inf
626.50/626.58 c 627s|320000 | 1176 | 1528k| 4.8 | 44M|1259 | - |3747 | 32k| 0 | 0 | 91k| 321k|5616 | 0.000000e+00 | 3.000000e+00 | Inf
652.31/652.37 c 652s|330000 | 1221 | 1589k| 4.8 | 46M|1259 | 1 |3747 | 37k|3747 | 960 | 94k| 335k|5677 | 0.000000e+00 | 3.000000e+00 | Inf
678.71/678.73 c 679s|340000 | 1180 | 1648k| 4.8 | 45M|1259 | - |3747 | 34k|3747 | 976 | 97k| 348k|5817 | 0.000000e+00 | 3.000000e+00 | Inf
706.61/706.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.61/706.60 c 707s|350000 | 1207 | 1710k| 4.9 | 46M|1259 | 5 |3747 | 37k|3747 | 936 | 100k| 361k|5939 | 0.000000e+00 | 3.000000e+00 | Inf
733.62/733.70 c 734s|360000 | 1206 | 1775k| 4.9 | 47M|1259 | 19 |3747 | 38k|3747 | 955 | 104k| 374k|6018 | 0.000000e+00 | 3.000000e+00 | Inf
760.91/760.98 c 761s|370000 | 1353 | 1832k| 5.0 | 49M|1259 | 21 |3747 | 40k|3747 | 958 | 108k| 388k|6117 | 0.000000e+00 | 3.000000e+00 | Inf
788.62/788.66 c 789s|380000 | 1468 | 1891k| 5.0 | 50M|1259 | - |3747 | 40k| 0 | 0 | 111k| 402k|6214 | 0.000000e+00 | 3.000000e+00 | Inf
815.81/815.85 c 816s|390000 | 1561 | 1953k| 5.0 | 51M|1259 | - |3747 | 40k| 0 | 0 | 115k| 417k|6275 | 0.000000e+00 | 3.000000e+00 | Inf
842.31/842.37 c 842s|400000 | 1606 | 2013k| 5.0 | 51M|1259 | 21 |3747 | 38k|3747 | 962 | 119k| 431k|6366 | 0.000000e+00 | 3.000000e+00 | Inf
868.61/868.65 c 869s|410000 | 1622 | 2076k| 5.1 | 51M|1259 | - |3747 | 35k| 0 | 0 | 123k| 445k|6436 | 0.000000e+00 | 3.000000e+00 | Inf
896.21/896.25 c 896s|420000 | 1674 | 2142k| 5.1 | 52M|1259 | 13 |3747 | 36k|3747 | 962 | 128k| 459k|6553 | 0.000000e+00 | 3.000000e+00 | Inf
920.72/920.76 o 1
920.72/920.76 c * 921s|429501 | 1585 | 2199k| 5.1 | 50M|1259 | - |3747 | 35k|3747 | 951 | 132k| 472k|6635 | 0.000000e+00 | 1.000000e+00 | Inf
922.01/922.03 c 922s|430000 | 1576 | 2202k| 5.1 | 49M|1259 | 18 |3747 | 33k|3747 | 944 | 132k| 473k|6640 | 0.000000e+00 | 1.000000e+00 | Inf
946.92/946.91 c 947s|440000 | 1644 | 2265k| 5.1 | 51M|1259 | - |3747 | 34k| 0 | 0 | 135k| 488k|6702 | 0.000000e+00 | 1.000000e+00 | Inf
971.72/971.70 c 972s|450000 | 1713 | 2328k| 5.2 | 53M|1259 | 13 |3747 | 36k|3747 | 953 | 138k| 503k|6758 | 0.000000e+00 | 1.000000e+00 | Inf
997.62/997.68 c 998s|460000 | 1742 | 2389k| 5.2 | 53M|1259 | 13 |3747 | 36k|3747 | 965 | 140k| 516k|6830 | 0.000000e+00 | 1.000000e+00 | Inf
1022.81/1022.90 c 1023s|470000 | 1707 | 2448k| 5.2 | 53M|1259 | 19 |3747 | 35k|3747 | 971 | 143k| 530k|6903 | 0.000000e+00 | 1.000000e+00 | Inf
1048.52/1048.52 c 1048s|480000 | 1829 | 2508k| 5.2 | 56M|1259 | 1 |3747 | 39k|3747 | 949 | 146k| 544k|6969 | 0.000000e+00 | 1.000000e+00 | Inf
1074.22/1074.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.22/1074.24 c 1074s|490000 | 1822 | 2568k| 5.2 | 57M|1259 | 14 |3747 | 40k|3747 | 948 | 148k| 560k|7031 | 0.000000e+00 | 1.000000e+00 | Inf
1098.72/1098.74 c 1099s|500000 | 1763 | 2632k| 5.3 | 50M|1259 | 6 |3747 | 23k|3747 | 962 | 151k| 573k|7135 | 0.000000e+00 | 1.000000e+00 | Inf
1119.42/1119.43 c 1119s|510000 | 1742 | 2697k| 5.3 | 51M|1259 | - |3747 | 23k| 0 | 0 | 155k| 586k|7209 | 0.000000e+00 | 1.000000e+00 | Inf
1142.72/1142.71 c 1143s|520000 | 1791 | 2765k| 5.3 | 52M|1259 | 17 |3747 | 27k|3747 | 955 | 158k| 600k|7293 | 0.000000e+00 | 1.000000e+00 | Inf
1166.12/1166.19 c 1166s|530000 | 1766 | 2823k| 5.3 | 53M|1259 | - |3747 | 29k| 0 | 0 | 161k| 613k|7369 | 0.000000e+00 | 1.000000e+00 | Inf
1190.32/1190.31 c 1190s|540000 | 1835 | 2873k| 5.3 | 55M|1259 | - |3747 | 34k|3747 | 973 | 164k| 626k|7416 | 0.000000e+00 | 1.000000e+00 | Inf
1214.32/1214.40 c 1214s|550000 | 1783 | 2927k| 5.3 | 54M|1259 | - |3747 | 32k| 0 | 0 | 167k| 641k|7476 | 0.000000e+00 | 1.000000e+00 | Inf
1238.83/1238.80 c 1239s|560000 | 1822 | 2979k| 5.3 | 55M|1259 | 13 |3747 | 34k|3747 | 952 | 170k| 654k|7525 | 0.000000e+00 | 1.000000e+00 | Inf
1263.62/1263.62 c 1264s|570000 | 1826 | 3030k| 5.3 | 56M|1259 | 1 |3747 | 36k|3747 | 952 | 172k| 668k|7571 | 0.000000e+00 | 1.000000e+00 | Inf
1290.13/1290.17 c 1290s|580000 | 1822 | 3084k| 5.3 | 57M|1259 | 1 |3747 | 40k|3747 | 959 | 175k| 682k|7629 | 0.000000e+00 | 1.000000e+00 | Inf
1319.53/1319.59 c 1320s|590000 | 1885 | 3143k| 5.3 | 58M|1259 | 12 |3747 | 41k|3747 | 968 | 177k| 696k|7682 | 0.000000e+00 | 1.000000e+00 | Inf
1348.72/1348.76 c 1349s|600000 | 1906 | 3205k| 5.3 | 59M|1259 | - |3747 | 43k| 0 | 0 | 180k| 710k|7738 | 0.000000e+00 | 1.000000e+00 | Inf
1378.23/1378.29 c 1378s|610000 | 1891 | 3270k| 5.4 | 59M|1259 | - |3747 | 42k| 0 | 0 | 182k| 725k|7823 | 0.000000e+00 | 1.000000e+00 | Inf
1408.04/1408.01 c 1408s|620000 | 1981 | 3325k| 5.4 | 61M|1259 | - |3747 | 45k| 0 | 0 | 185k| 739k|7879 | 0.000000e+00 | 1.000000e+00 | Inf
1437.43/1437.49 c 1437s|630000 | 1990 | 3381k| 5.4 | 61M|1259 | 1 |3747 | 47k|3747 | 966 | 187k| 753k|7930 | 0.000000e+00 | 1.000000e+00 | Inf
1468.63/1468.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.63/1468.60 c 1469s|640000 | 1927 | 3437k| 5.4 | 60M|1259 | 19 |3747 | 44k|3747 | 966 | 189k| 768k|7991 | 0.000000e+00 | 1.000000e+00 | Inf
1499.63/1499.63 c 1500s|650000 | 1928 | 3498k| 5.4 | 61M|1259 | - |3747 | 46k| 0 | 0 | 192k| 782k|8044 | 0.000000e+00 | 1.000000e+00 | Inf
1530.23/1530.27 c 1530s|660000 | 1909 | 3556k| 5.4 | 61M|1259 | 10 |3747 | 45k|3747 | 960 | 194k| 796k|8118 | 0.000000e+00 | 1.000000e+00 | Inf
1561.94/1561.97 c 1562s|670000 | 1902 | 3616k| 5.4 | 60M|1259 | 1 |3747 | 45k|3747 | 964 | 197k| 811k|8178 | 0.000000e+00 | 1.000000e+00 | Inf
1591.53/1591.53 c 1592s|680000 | 1885 | 3679k| 5.4 | 60M|1259 | - |3747 | 43k| 0 | 0 | 199k| 825k|8236 | 0.000000e+00 | 1.000000e+00 | Inf
1620.14/1620.20 c 1620s|690000 | 1850 | 3735k| 5.4 | 59M|1259 | 1 |3747 | 43k|3747 | 961 | 201k| 839k|8288 | 0.000000e+00 | 1.000000e+00 | Inf
1649.24/1649.24 c 1649s|700000 | 1880 | 3792k| 5.4 | 61M|1259 | - |3747 | 46k| 0 | 0 | 204k| 854k|8332 | 0.000000e+00 | 1.000000e+00 | Inf
1678.94/1678.92 c 1679s|710000 | 1907 | 3847k| 5.4 | 62M|1259 | - |3747 | 48k| 0 | 0 | 206k| 869k|8365 | 0.000000e+00 | 1.000000e+00 | Inf
1710.45/1710.45 c 1710s|720000 | 1948 | 3908k| 5.4 | 63M|1259 | 19 |3747 | 49k|3747 | 971 | 208k| 883k|8414 | 0.000000e+00 | 1.000000e+00 | Inf
1741.64/1741.69 c 1742s|730000 | 1954 | 3971k| 5.4 | 63M|1259 | 24 |3747 | 50k|3747 | 983 | 211k| 898k|8463 | 0.000000e+00 | 1.000000e+00 | Inf
1772.54/1772.58 c 1773s|740000 | 1875 | 4031k| 5.4 | 59M|1259 | - |3747 | 42k| 0 | 0 | 213k| 912k|8508 | 0.000000e+00 | 1.000000e+00 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 745755
1790.04/1790.01 c Primal Bound : +1.00000000000000e+00 (153 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.04 s SATISFIABLE
1790.04/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.04/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.04/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.04/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.04/1790.04 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1790.04/1790.04 v -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1790.04/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.04/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.04/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.04/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.04/1790.04 v -x1
1790.04/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.04 c Solving Time : 1789.98
1790.04/1790.04 c Original Problem :
1790.04/1790.04 c Problem name : HOME/instance-2705010-1278574752.wbo
1790.04/1790.04 c Variables : 3839 (2035 binary, 0 integer, 1804 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4512 initial, 4512 maximal
1790.04/1790.04 c Presolved Problem :
1790.04/1790.04 c Problem name : t_HOME/instance-2705010-1278574752.wbo
1790.04/1790.04 c Variables : 3747 (1989 binary, 0 integer, 1758 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4378 initial, 50949 maximal
1790.04/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.04 c trivial : 0.00 46 0 0 0 0 0 0 0
1790.04/1790.04 c dualfix : 0.00 46 0 0 0 0 0 0 0
1790.04/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.04 c setppc : 0.00 0 0 0 0 0 12 0 0
1790.04/1790.04 c linear : 0.05 0 0 0 1809 0 76 53 0
1790.04/1790.04 c indicator : 0.00 0 0 0 0 0 46 0 0
1790.04/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c root node : - 3516 - - 3516 - - - -
1790.04/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c integral : 0 0 0 472686 0 52 1007 0 0 729290
1790.04/1790.04 c setppc : 54 6 3364838 100445 0 26240 949433 0 0 0
1790.04/1790.04 c linear : 1758+ 7 3356126 106772 0 184613 15607875 215170 0 0
1790.04/1790.04 c indicator : 1758 0 1719025 96258 0 50 532371 0 0 0
1790.04/1790.04 c logicor : 808+ 6 1319481 77207 0 114934 3355308 0 0 0
1790.04/1790.04 c bounddisjunction : 0+ 0 382032 0 0 117 1103 0 0 0
1790.04/1790.04 c countsols : 0 0 0 77207 0 0 0 0 0 0
1790.04/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.04 c integral : 17.40 0.00 0.00 17.40 0.00
1790.04/1790.04 c setppc : 11.99 0.00 11.93 0.05 0.00
1790.04/1790.04 c linear : 151.10 0.00 146.77 4.33 0.00
1790.04/1790.04 c indicator : 20.53 0.01 9.17 11.35 0.00
1790.04/1790.04 c logicor : 405.15 0.00 404.09 1.06 0.00
1790.04/1790.04 c bounddisjunction : 4.45 0.00 4.45 0.00 0.00
1790.04/1790.04 c countsols : 0.02 0.00 0.00 0.02 0.00
1790.04/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.04 c vbounds : 0.58 9891 0 3899
1790.04/1790.04 c rootredcost : 0.53 49 0 1758
1790.04/1790.04 c pseudoobj : 85.49 3383980 1102 431953
1790.04/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.04 c propagation : 17.39 327006 326691 2006663 28.8 9297 27.2 -
1790.04/1790.04 c infeasible LP : 10.55 33449 33449 269739 44.3 295 17.2 0
1790.04/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.04 c applied globally : - - - 920712 24.3 - - -
1790.04/1790.04 c applied locally : - - - 0 0.0 - - -
1790.04/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.04 c cut pool : 0.00 4 - - 20 - (maximal pool size: 325)
1790.04/1790.04 c redcost : 30.54 473315 0 35241 0 0
1790.04/1790.04 c impliedbounds : 0.00 5 0 0 0 0
1790.04/1790.04 c intobj : 0.00 0 0 0 0 0
1790.04/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.04 c gomory : 0.11 5 0 0 827 0
1790.04/1790.04 c strongcg : 0.10 5 0 0 1243 0
1790.04/1790.04 c cmir : 0.03 5 0 0 0 0
1790.04/1790.04 c flowcover : 0.05 5 0 0 0 0
1790.04/1790.04 c clique : 0.00 5 0 0 0 0
1790.04/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.04 c mcf : 0.00 1 0 0 0 0
1790.04/1790.04 c rapidlearning : 0.12 1 0 0 0 1
1790.04/1790.04 c Pricers : Time Calls Vars
1790.04/1790.04 c problem variables: 0.00 0 0
1790.04/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c relpscost : 17.01 365492 52 1007 0 0 729290
1790.04/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.04 c inference : 23.73 77159 0 0 0 0 154522
1790.04/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c random : 0.00 0 0 0 0 0 0
1790.04/1790.04 c Primal Heuristics : Time Calls Found
1790.04/1790.04 c LP solutions : 0.13 - 48
1790.04/1790.04 c pseudo solutions : 0.00 - 0
1790.04/1790.04 c intshifting : 0.01 0 0
1790.04/1790.04 c feaspump : 0.02 1 0
1790.04/1790.04 c oneopt : 0.41 40 0
1790.04/1790.04 c crossover : 1.29 36 0
1790.04/1790.04 c pscostdiving : 0.60 497 0
1790.04/1790.04 c fracdiving : 0.74 497 0
1790.04/1790.04 c veclendiving : 0.64 497 0
1790.04/1790.04 c linesearchdiving : 0.65 497 0
1790.04/1790.04 c guideddiving : 0.63 497 0
1790.04/1790.04 c coefdiving : 0.60 497 0
1790.04/1790.04 c objpscostdiving : 0.63 486 0
1790.04/1790.04 c rootsoldiving : 0.66 487 0
1790.04/1790.04 c trivial : 0.00 2 0
1790.04/1790.04 c simplerounding : 0.64 365551 0
1790.04/1790.04 c zirounding : 0.22 1000 0
1790.04/1790.04 c rounding : 0.96 8506 0
1790.04/1790.04 c shifting : 0.73 2612 0
1790.04/1790.04 c twoopt : 0.00 0 0
1790.04/1790.04 c fixandinfer : 0.00 0 0
1790.04/1790.04 c intdiving : 0.00 0 0
1790.04/1790.04 c actconsdiving : 0.00 0 0
1790.04/1790.04 c octane : 0.00 0 0
1790.04/1790.04 c rens : 0.03 1 0
1790.04/1790.04 c rins : 0.00 0 0
1790.04/1790.04 c localbranching : 0.00 0 0
1790.04/1790.04 c mutation : 0.00 0 0
1790.04/1790.04 c dins : 0.00 0 0
1790.04/1790.04 c undercover : 0.00 0 0
1790.04/1790.04 c nlp : 0.14 0 0
1790.04/1790.04 c trysol : 0.30 537 105
1790.04/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.04 c dual LP : 469.74 429483 4062363 9.46 8648.07
1790.04/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.04 c diving/probing LP: 0.21 133 1522 11.44 7242.96
1790.04/1790.04 c strong branching : 13.63 8537 140085 16.41 10274.02
1790.04/1790.04 c (at root node) : - 16 1631 101.94 -
1790.04/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.04 c B&B Tree :
1790.04/1790.04 c number of runs : 1
1790.04/1790.04 c nodes : 745755
1790.04/1790.04 c nodes (total) : 745755
1790.04/1790.04 c nodes left : 1880
1790.04/1790.04 c max depth : 1259
1790.04/1790.04 c max depth (total): 1259
1790.04/1790.04 c backtracks : 76329 (10.2%)
1790.04/1790.04 c delayed cutoffs : 57842
1790.04/1790.04 c repropagations : 1490231 (3740003 domain reductions, 56499 cutoffs)
1790.04/1790.04 c avg switch length: 5.39
1790.04/1790.04 c switching time : 306.13
1790.04/1790.04 c Solution :
1790.04/1790.04 c Solutions found : 153 (49 improvements)
1790.04/1790.04 c First Solution : +8.85000000000000e+04 (in run 1, after 34 nodes, 1.79 seconds, depth 20, found by <trysol>)
1790.04/1790.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 429501 nodes, 920.74 seconds, depth 31, found by <relaxation>)
1790.04/1790.04 c Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Gap : infinite
1790.04/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Root Iterations : 167
1790.14/1790.14 c Time complete: 1790.18.