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-2705601-1278572958.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 1857 impl, 0 cont) and 4565 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.05/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.05/0.08 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.05/0.09 c (round 3) 50 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.09/0.10 c (round 4) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 126 impls, 5 clqs
0.09/0.10 c (round 5) 114 del vars, 143 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 126 impls, 5 clqs
0.09/0.15 c (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 114 deleted vars, 143 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.15 c 3708 implications, 5 cliques
0.09/0.15 c presolved problem has 3831 variables (2031 bin, 0 int, 1800 impl, 0 cont) and 4422 constraints
0.09/0.15 c 51 constraints of type <setppc>
0.09/0.15 c 1800 constraints of type <linear>
0.09/0.15 c 1800 constraints of type <indicator>
0.09/0.15 c 771 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 | 12 | - | 14M| 0 | 3 |3831 |4422 |3831 | 822 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 63 | - | 14M| 0 | 18 |3831 |4422 |3831 | 844 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 102 | - | 14M| 0 | 36 |3831 |4422 |3831 | 874 | 52 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 132 | - | 14M| 0 | 47 |3831 |4422 |3831 | 895 | 73 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 172 | - | 15M| 0 | 52 |3831 |4422 |3831 | 906 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.4s| 1 | 0 | 256 | - | 15M| 0 | 47 |3831 |4422 |3831 | 922 | 100 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.55 c 0.5s| 1 | 0 | 389 | - | 15M| 0 | 55 |3831 |4422 |3831 | 927 | 105 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.95 c 0.9s| 1 | 2 | 389 | - | 15M| 0 | 55 |3831 |4422 |3831 | 927 | 105 | 0 | 16 | 0.000000e+00 | -- | Inf
6.89/6.90 o 90731
6.89/6.90 c y 6.9s| 59 | 58 | 4101 | 64.0 | 16M| 21 | - |3831 |4422 | 0 | 0 | 207 | 0 | 701 | 0.000000e+00 | 9.073100e+04 | Inf
29.60/29.65 c 29.6s| 10000 | 9995 | 78039 | 7.8 | 40M| 141 | 0 |3831 |4428 |3831 | 954 | 10k| 6 |1188 | 0.000000e+00 | 9.073100e+04 | Inf
44.69/44.78 c 44.8s| 20000 | 19977 |100410 | 5.0 | 58M| 253 | 0 |3831 |4439 |3831 | 964 | 13k| 19 |1260 | 0.000000e+00 | 9.073100e+04 | Inf
58.30/58.39 c 58.4s| 30000 | 29951 |108894 | 3.6 | 75M| 323 | 0 |3831 |4471 |3831 | 975 | 14k| 51 |1274 | 0.000000e+00 | 9.073100e+04 | Inf
71.49/71.53 c 71.5s| 40000 | 39947 |116516 | 2.9 | 92M| 561 | 0 |3831 |4474 |3831 | 968 | 15k| 54 |1275 | 0.000000e+00 | 9.073100e+04 | Inf
84.09/84.14 c 84.1s| 50000 | 49947 |120410 | 2.4 | 109M| 561 | 0 |3831 |4473 |3831 | 987 | 16k| 54 |1275 | 0.000000e+00 | 9.073100e+04 | Inf
96.90/96.95 c 96.9s| 60000 | 59881 |125091 | 2.1 | 125M| 561 | 0 |3831 |4510 |3831 | 980 | 17k| 91 |1336 | 0.000000e+00 | 9.073100e+04 | Inf
109.29/109.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.29/109.35 c 109s| 70000 | 69841 |126541 | 1.8 | 142M| 561 | 0 |3831 |4551 |3831 | 955 | 17k| 132 |1345 | 0.000000e+00 | 9.073100e+04 | Inf
112.20/112.27 o 1203
112.20/112.27 c * 112s| 72308 | 69357 |127887 | 1.8 | 141M| 561 | - |3831 |4552 |3831 | 970 | 18k| 133 |1348 | 0.000000e+00 | 1.203000e+03 | Inf
116.10/116.18 o 894
116.10/116.18 c * 116s| 75081 | 62411 |131357 | 1.7 | 130M| 591 | - |3831 |4569 |3831 | 976 | 18k| 150 |1362 | 0.000000e+00 | 8.940000e+02 | Inf
117.49/117.53 o 873
117.49/117.53 c * 118s| 75892 | 62237 |132736 | 1.7 | 131M| 591 | - |3831 |4694 |3831 | 977 | 18k| 278 |1362 | 0.000000e+00 | 8.730000e+02 | Inf
118.49/118.54 o 870
118.49/118.54 c * 119s| 76418 | 62577 |134774 | 1.8 | 132M| 591 | - |3831 |4793 |3831 | 964 | 19k| 378 |1362 | 0.000000e+00 | 8.700000e+02 | Inf
119.49/119.51 o 701
119.49/119.51 c * 119s| 76965 | 51742 |136381 | 1.8 | 115M| 591 | - |3831 |4954 |3831 | 980 | 19k| 539 |1362 | 0.000000e+00 | 7.010000e+02 | Inf
125.69/125.73 c 126s| 80000 | 54371 |151586 | 1.9 | 122M| 591 | 15 |3831 |5846 |3831 | 934 | 21k|1716 |1387 | 0.000000e+00 | 7.010000e+02 | Inf
126.59/126.64 o 690
126.59/126.64 c * 127s| 80314 | 53796 |156445 | 1.9 | 121M| 591 | - |3831 |5883 |3831 | 963 | 22k|1812 |1388 | 0.000000e+00 | 6.900000e+02 | Inf
127.50/127.53 o 677
127.50/127.53 c * 128s| 80804 | 53263 |157616 | 1.9 | 120M| 591 | - |3831 |5965 |3831 | 980 | 22k|1938 |1388 | 0.000000e+00 | 6.770000e+02 | Inf
127.50/127.55 o 673
127.50/127.55 c * 128s| 80806 | 52991 |157641 | 1.9 | 120M| 591 | - |3831 |5964 |3831 | 980 | 22k|1938 |1388 | 0.000000e+00 | 6.730000e+02 | Inf
127.89/127.94 o 671
127.89/127.94 c * 128s| 81013 | 52945 |158129 | 1.9 | 120M| 591 | - |3831 |6046 |3831 | 960 | 22k|2032 |1388 | 0.000000e+00 | 6.710000e+02 | Inf
127.89/127.95 o 647
127.89/127.95 c * 128s| 81014 | 51015 |158129 | 1.9 | 117M| 591 | - |3831 |6046 |3831 | 960 | 22k|2032 |1388 | 0.000000e+00 | 6.470000e+02 | Inf
128.19/128.27 o 646
128.19/128.27 c * 128s| 81203 | 51096 |158459 | 1.9 | 117M| 591 | - |3831 |6050 |3831 | 976 | 22k|2046 |1388 | 0.000000e+00 | 6.460000e+02 | Inf
128.29/128.30 o 620
128.29/128.30 c * 128s| 81210 | 49016 |158485 | 1.9 | 113M| 591 | - |3831 |6050 |3831 | 978 | 22k|2046 |1388 | 0.000000e+00 | 6.200000e+02 | Inf
128.39/128.49 o 615
128.39/128.49 c * 128s| 81276 | 48611 |159224 | 2.0 | 112M| 591 | - |3831 |6105 |3831 | 967 | 22k|2121 |1397 | 0.000000e+00 | 6.150000e+02 | Inf
128.49/128.52 o 609
128.49/128.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.49/128.52 c * 128s| 81291 | 47994 |159225 | 2.0 | 111M| 591 | - |3831 |6105 |3831 | 967 | 22k|2121 |1397 | 0.000000e+00 | 6.090000e+02 | Inf
128.49/128.52 o 597
128.49/128.52 c * 128s| 81292 | 46732 |159225 | 2.0 | 109M| 591 | - |3831 |6105 |3831 | 967 | 22k|2121 |1397 | 0.000000e+00 | 5.970000e+02 | Inf
129.99/130.09 o 560
129.99/130.09 c * 130s| 81831 | 42740 |165754 | 2.0 | 103M| 591 | - |3831 |6334 |3831 | 968 | 23k|2463 |1436 | 0.000000e+00 | 5.600000e+02 | Inf
130.10/130.10 o 548
130.10/130.10 c * 130s| 81832 | 41345 |165754 | 2.0 | 101M| 591 | - |3831 |6334 |3831 | 968 | 23k|2463 |1436 | 0.000000e+00 | 5.480000e+02 | Inf
130.19/130.23 o 503
130.19/130.23 c * 130s| 81869 | 36283 |166266 | 2.0 | 92M| 591 | - |3831 |6350 |3831 | 948 | 23k|2486 |1436 | 0.000000e+00 | 5.030000e+02 | Inf
132.09/132.18 o 474
132.09/132.18 c * 132s| 82487 | 33852 |176500 | 2.1 | 88M| 591 | - |3831 |6671 |3831 | 994 | 24k|2959 |1443 | 0.000000e+00 | 4.740000e+02 | Inf
136.79/136.87 o 464
136.79/136.87 c * 137s| 84397 | 34163 |195439 | 2.3 | 91M| 591 | - |3831 |7259 |3831 | 997 | 27k|4117 |1444 | 0.000000e+00 | 4.640000e+02 | Inf
137.89/137.91 o 459
137.89/137.91 c * 138s| 84789 | 33894 |199503 | 2.3 | 91M| 591 | - |3831 |7400 |3831 |1003 | 27k|4419 |1444 | 0.000000e+00 | 4.590000e+02 | Inf
141.80/141.87 o 453
141.80/141.87 c * 142s| 86048 | 34142 |221672 | 2.6 | 93M| 591 | - |3831 |7866 |3831 | 971 | 30k|5342 |1446 | 0.000000e+00 | 4.530000e+02 | Inf
148.30/148.36 o 434
148.30/148.36 c * 148s| 88991 | 34104 |238262 | 2.7 | 96M| 591 | - |3831 |8612 |3831 | 982 | 32k|7220 |1446 | 0.000000e+00 | 4.340000e+02 | Inf
150.60/150.62 c 151s| 90000 | 34729 |244030 | 2.7 | 98M| 591 | 0 |3831 |8659 |3831 | 956 | 32k|7767 |1446 | 0.000000e+00 | 4.340000e+02 | Inf
150.79/150.81 o 397
150.79/150.81 c * 151s| 90081 | 31223 |244487 | 2.7 | 91M| 591 | - |3831 |8691 |3831 | 951 | 32k|7808 |1446 | 0.000000e+00 | 3.970000e+02 | Inf
154.09/154.15 o 330
154.09/154.15 c * 154s| 91258 | 24046 |259660 | 2.8 | 77M| 591 | - |3831 |8858 |3831 | 982 | 34k|8424 |1446 | 0.000000e+00 | 3.300000e+02 | Inf
155.99/156.09 o 304
155.99/156.09 c * 156s| 92023 | 21260 |265634 | 2.9 | 72M| 591 | - |3831 |8927 |3831 | 954 | 35k|8891 |1446 | 0.000000e+00 | 3.040000e+02 | Inf
155.99/156.10 o 292
155.99/156.10 c * 156s| 92024 | 19920 |265634 | 2.9 | 69M| 591 | - |3831 |8927 |3831 | 954 | 35k|8891 |1446 | 0.000000e+00 | 2.920000e+02 | Inf
156.29/156.34 o 274
156.29/156.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.29/156.34 c * 156s| 92137 | 18187 |266119 | 2.9 | 65M| 591 | - |3831 |8928 |3831 | 982 | 35k|8994 |1446 | 0.000000e+00 | 2.740000e+02 | Inf
158.60/158.69 o 265
158.60/158.69 c * 159s| 92880 | 17592 |277635 | 3.0 | 65M| 591 | - |3831 |8999 |3831 | 986 | 36k|9678 |1446 | 0.000000e+00 | 2.650000e+02 | Inf
160.50/160.59 o 207
160.50/160.59 c * 161s| 93552 | 13344 |283344 | 3.0 | 57M| 591 | - |3831 |9040 |3831 | 964 | 37k| 10k|1446 | 0.000000e+00 | 2.070000e+02 | Inf
165.29/165.34 o 206
165.29/165.34 c * 165s| 95269 | 13871 |300495 | 3.2 | 60M| 591 | - |3831 |8381 |3831 |1014 | 39k| 11k|1446 | 0.000000e+00 | 2.060000e+02 | Inf
168.59/168.69 o 202
168.59/168.69 c * 169s| 96423 | 14002 |314019 | 3.3 | 61M| 591 | - |3831 |8637 |3831 | 999 | 40k| 12k|1446 | 0.000000e+00 | 2.020000e+02 | Inf
168.89/168.93 o 192
168.89/168.93 c * 169s| 96504 | 13263 |315124 | 3.3 | 59M| 591 | - |3831 |8662 |3831 | 971 | 40k| 12k|1446 | 0.000000e+00 | 1.920000e+02 | Inf
168.89/168.95 o 190
168.89/168.95 c * 169s| 96517 | 13132 |315151 | 3.3 | 59M| 591 | - |3831 |8666 |3831 | 971 | 40k| 12k|1446 | 0.000000e+00 | 1.900000e+02 | Inf
168.89/168.99 o 188
168.89/168.99 c * 169s| 96524 | 12930 |315216 | 3.3 | 59M| 591 | - |3831 |8669 |3831 | 974 | 40k| 12k|1446 | 0.000000e+00 | 1.880000e+02 | Inf
171.40/171.49 o 186
171.40/171.49 c * 171s| 97392 | 13112 |324276 | 3.3 | 60M| 591 | - |3831 |8290 |3831 | 983 | 41k| 13k|1446 | 0.000000e+00 | 1.860000e+02 | Inf
171.50/171.50 o 182
171.50/171.50 c * 171s| 97396 | 12834 |324305 | 3.3 | 59M| 591 | - |3831 |8294 |3831 | 983 | 41k| 13k|1446 | 0.000000e+00 | 1.820000e+02 | Inf
171.50/171.52 o 154
171.50/171.52 c * 171s| 97401 | 10505 |324333 | 3.3 | 53M| 591 | - |3831 |8303 |3831 | 983 | 41k| 13k|1446 | 0.000000e+00 | 1.540000e+02 | Inf
173.70/173.73 o 148
173.70/173.73 c * 174s| 98133 | 10210 |332732 | 3.4 | 53M| 591 | - |3831 |7703 |3831 | 978 | 42k| 14k|1446 | 0.000000e+00 | 1.480000e+02 | Inf
173.70/173.74 o 143
173.70/173.74 c * 174s| 98134 | 9894 |332732 | 3.4 | 53M| 591 | - |3831 |7703 |3831 | 978 | 42k| 14k|1446 | 0.000000e+00 | 1.430000e+02 | Inf
174.09/174.17 o 140
174.09/174.17 c * 174s| 98245 | 9741 |335195 | 3.4 | 52M| 591 | - |3831 |7633 |3831 | 982 | 42k| 14k|1446 | 0.000000e+00 | 1.400000e+02 | Inf
175.10/175.14 o 135
175.10/175.14 c * 175s| 98459 | 9442 |340185 | 3.5 | 52M| 591 | - |3831 |7416 |3831 | 949 | 43k| 14k|1446 | 0.000000e+00 | 1.350000e+02 | Inf
175.39/175.44 o 131
175.39/175.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.39/175.44 c * 175s| 98588 | 9102 |341189 | 3.5 | 52M| 591 | - |3831 |7420 |3831 | 938 | 43k| 14k|1446 | 0.000000e+00 | 1.310000e+02 | Inf
177.39/177.43 o 119
177.39/177.43 c * 177s| 99283 | 8411 |348446 | 3.5 | 50M| 591 | - |3831 |7266 |3831 | 966 | 44k| 15k|1446 | 0.000000e+00 | 1.190000e+02 | Inf
177.39/177.43 o 114
177.39/177.43 c * 177s| 99284 | 7987 |348446 | 3.5 | 49M| 591 | - |3831 |7266 |3831 | 966 | 44k| 15k|1446 | 0.000000e+00 | 1.140000e+02 | Inf
177.39/177.49 o 99
177.39/177.49 c * 177s| 99298 | 6898 |348535 | 3.5 | 46M| 591 | - |3831 |7257 |3831 | 967 | 44k| 15k|1446 | 0.000000e+00 | 9.900000e+01 | Inf
177.49/177.53 o 94
177.49/177.53 c * 178s| 99305 | 6474 |348538 | 3.5 | 44M| 591 | - |3831 |7165 |3831 | 967 | 44k| 15k|1446 | 0.000000e+00 | 9.400000e+01 | Inf
177.49/177.56 o 80
177.49/177.56 c * 178s| 99309 | 5544 |348541 | 3.5 | 41M| 591 | - |3831 |7036 |3831 | 967 | 44k| 15k|1446 | 0.000000e+00 | 8.000000e+01 | Inf
177.49/177.56 o 75
177.49/177.56 c * 178s| 99310 | 5224 |348541 | 3.5 | 40M| 591 | - |3831 |7036 |3831 | 967 | 44k| 15k|1446 | 0.000000e+00 | 7.500000e+01 | Inf
177.59/177.61 o 59
177.59/177.61 c * 178s| 99318 | 4248 |348569 | 3.5 | 37M| 591 | - |3831 |6603 |3831 | 967 | 44k| 15k|1446 | 0.000000e+00 | 5.900000e+01 | Inf
177.59/177.64 o 54
177.59/177.64 c * 178s| 99325 | 4008 |348571 | 3.5 | 36M| 591 | - |3831 |6217 |3831 | 967 | 44k| 15k|1446 | 0.000000e+00 | 5.400000e+01 | Inf
177.59/177.66 o 40
177.59/177.66 c * 178s| 99329 | 3220 |348573 | 3.5 | 34M| 591 | - |3831 |6096 |3831 | 967 | 44k| 15k|1446 | 0.000000e+00 | 4.000000e+01 | Inf
177.59/177.67 o 35
177.59/177.67 c * 178s| 99330 | 2417 |348573 | 3.5 | 32M| 591 | - |3831 |6096 |3831 | 967 | 44k| 15k|1446 | 0.000000e+00 | 3.500000e+01 | Inf
179.19/179.29 c 179s|100000 | 2321 |354847 | 3.5 | 32M| 591 | - |3831 |5479 | 0 | 0 | 44k| 16k|1448 | 0.000000e+00 | 3.500000e+01 | Inf
189.59/189.61 o 22
189.59/189.61 c * 190s|105471 | 1960 |394567 | 3.7 | 33M| 591 | - |3831 |6466 |3831 | 924 | 46k| 22k|1448 | 0.000000e+00 | 2.200000e+01 | Inf
191.59/191.63 o 20
191.59/191.63 c * 192s|106671 | 1926 |402109 | 3.8 | 33M| 591 | - |3831 |6177 |3831 | 933 | 46k| 24k|1448 | 0.000000e+00 | 2.000000e+01 | Inf
197.29/197.30 c 197s|110000 | 2008 |425407 | 3.9 | 34M| 591 | 13 |3831 |6932 |3831 | 948 | 47k| 28k|1465 | 0.000000e+00 | 2.000000e+01 | Inf
200.29/200.30 o 12
200.29/200.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.29/200.30 c * 200s|111876 | 1757 |435705 | 3.9 | 34M| 591 | - |3831 |6967 |3831 | 935 | 47k| 31k|1466 | 0.000000e+00 | 1.200000e+01 | Inf
214.19/214.22 c 214s|120000 | 1753 |497063 | 4.1 | 35M| 591 | - |3831 |8238 | 0 | 0 | 50k| 41k|1535 | 0.000000e+00 | 1.200000e+01 | Inf
232.50/232.56 c 233s|130000 | 1765 |586539 | 4.5 | 37M| 591 | - |3831 |8010 | 0 | 0 | 53k| 53k|1666 | 0.000000e+00 | 1.200000e+01 | Inf
250.09/250.10 c 250s|140000 | 1768 |663807 | 4.7 | 38M| 591 | 24 |3831 |8463 |3831 | 924 | 56k| 66k|1793 | 0.000000e+00 | 1.200000e+01 | Inf
268.30/268.36 c 268s|150000 | 1822 |744038 | 5.0 | 40M| 591 | - |3831 | 11k| 0 | 0 | 59k| 79k|1870 | 0.000000e+00 | 1.200000e+01 | Inf
287.99/288.01 c 288s|160000 | 1843 |826624 | 5.2 | 42M| 591 | 1 |3831 | 14k|3831 | 934 | 62k| 92k|1964 | 0.000000e+00 | 1.200000e+01 | Inf
308.20/308.28 c 308s|170000 | 1840 |902311 | 5.3 | 44M| 591 | - |3831 | 17k| 0 | 0 | 64k| 105k|2079 | 0.000000e+00 | 1.200000e+01 | Inf
311.99/312.08 o 6
311.99/312.08 c * 312s|171865 | 1435 |914209 | 5.3 | 40M| 591 | - |3831 | 17k|3831 | 924 | 65k| 108k|2082 | 0.000000e+00 | 6.000000e+00 | Inf
327.60/327.66 c 328s|180000 | 1444 |964892 | 5.4 | 40M| 591 | 22 |3831 | 18k|3831 | 960 | 67k| 119k|2148 | 0.000000e+00 | 6.000000e+00 | Inf
348.79/348.87 c 349s|190000 | 1458 | 1040k| 5.5 | 41M| 591 | - |3831 | 17k| 0 | 0 | 69k| 132k|2255 | 0.000000e+00 | 6.000000e+00 | Inf
369.20/369.20 c 369s|200000 | 1479 | 1114k| 5.6 | 41M| 591 | 1 |3831 | 17k|3831 | 948 | 71k| 145k|2363 | 0.000000e+00 | 6.000000e+00 | Inf
390.00/390.02 c 390s|210000 | 1564 | 1188k| 5.7 | 44M| 591 | 20 |3831 | 22k|3831 | 956 | 73k| 158k|2468 | 0.000000e+00 | 6.000000e+00 | Inf
412.51/412.56 c 413s|220000 | 1537 | 1266k| 5.8 | 44M| 591 | 19 |3831 | 22k|3831 | 948 | 75k| 172k|2554 | 0.000000e+00 | 6.000000e+00 | Inf
432.90/432.90 c 433s|230000 | 1510 | 1336k| 5.8 | 43M| 591 | 1 |3831 | 18k|3831 | 941 | 77k| 185k|2656 | 0.000000e+00 | 6.000000e+00 | Inf
453.20/453.29 c 453s|240000 | 1541 | 1404k| 5.8 | 45M| 591 | 1 |3831 | 21k|3831 | 969 | 79k| 198k|2718 | 0.000000e+00 | 6.000000e+00 | Inf
473.50/473.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.50/473.50 c 473s|250000 | 1543 | 1462k| 5.8 | 45M| 591 | - |3831 | 20k| 0 | 0 | 81k| 211k|2791 | 0.000000e+00 | 6.000000e+00 | Inf
494.91/494.98 c 495s|260000 | 1570 | 1538k| 5.9 | 45M| 591 | - |3831 | 20k| 0 | 0 | 84k| 225k|2915 | 0.000000e+00 | 6.000000e+00 | Inf
518.71/518.75 c 519s|270000 | 1597 | 1627k| 6.0 | 47M| 591 | 1 |3831 | 23k|3831 | 943 | 86k| 238k|3004 | 0.000000e+00 | 6.000000e+00 | Inf
541.61/541.66 c 542s|280000 | 1661 | 1704k| 6.1 | 49M| 591 | 36 |3831 | 25k|3831 | 973 | 88k| 251k|3086 | 0.000000e+00 | 6.000000e+00 | Inf
565.81/565.88 c 566s|290000 | 1607 | 1777k| 6.1 | 48M| 591 | - |3831 | 24k| 0 | 0 | 90k| 265k|3175 | 0.000000e+00 | 6.000000e+00 | Inf
591.91/591.97 c 592s|300000 | 1631 | 1856k| 6.2 | 49M| 591 | - |3831 | 27k| 0 | 0 | 92k| 278k|3277 | 0.000000e+00 | 6.000000e+00 | Inf
619.61/619.60 c 620s|310000 | 1609 | 1935k| 6.2 | 49M| 591 | 1 |3831 | 26k|3831 | 983 | 94k| 292k|3367 | 0.000000e+00 | 6.000000e+00 | Inf
645.50/645.59 c 646s|320000 | 1682 | 2003k| 6.3 | 51M| 591 | - |3831 | 29k| 0 | 0 | 97k| 306k|3433 | 0.000000e+00 | 6.000000e+00 | Inf
673.31/673.39 c 673s|330000 | 1666 | 2082k| 6.3 | 51M| 591 | - |3831 | 29k| 0 | 0 | 99k| 320k|3508 | 0.000000e+00 | 6.000000e+00 | Inf
701.01/701.08 c 701s|340000 | 1665 | 2154k| 6.3 | 52M| 591 | 1 |3831 | 30k|3831 | 949 | 101k| 334k|3565 | 0.000000e+00 | 6.000000e+00 | Inf
728.31/728.34 c 728s|350000 | 1689 | 2224k| 6.4 | 53M| 591 | - |3831 | 32k| 0 | 0 | 104k| 348k|3620 | 0.000000e+00 | 6.000000e+00 | Inf
757.51/757.54 c 758s|360000 | 1693 | 2303k| 6.4 | 53M| 591 | 22 |3831 | 30k|3831 | 977 | 106k| 362k|3711 | 0.000000e+00 | 6.000000e+00 | Inf
788.91/788.97 c 789s|370000 | 1760 | 2396k| 6.5 | 54M| 591 | - |3831 | 32k| 0 | 0 | 108k| 376k|3789 | 0.000000e+00 | 6.000000e+00 | Inf
818.71/818.75 c 819s|380000 | 1896 | 2478k| 6.5 | 55M| 591 | 14 |3831 | 31k|3831 | 962 | 110k| 391k|3871 | 0.000000e+00 | 6.000000e+00 | Inf
846.62/846.61 c 847s|390000 | 1900 | 2556k| 6.6 | 55M| 591 | 1 |3831 | 28k|3831 | 962 | 112k| 405k|3950 | 0.000000e+00 | 6.000000e+00 | Inf
876.51/876.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.51/876.57 c 877s|400000 | 2184 | 2657k| 6.6 | 57M| 591 | 23 |3831 | 29k|3831 | 976 | 114k| 420k|4030 | 0.000000e+00 | 6.000000e+00 | Inf
905.32/905.39 c 905s|410000 | 2109 | 2742k| 6.7 | 57M| 591 | - |3831 | 28k| 0 | 0 | 116k| 435k|4095 | 0.000000e+00 | 6.000000e+00 | Inf
934.81/934.82 c 935s|420000 | 2050 | 2840k| 6.8 | 57M| 591 | - |3831 | 28k| 0 | 0 | 118k| 450k|4159 | 0.000000e+00 | 6.000000e+00 | Inf
962.53/962.58 c 963s|430000 | 1957 | 2927k| 6.8 | 56M| 591 | - |3831 | 28k| 0 | 0 | 120k| 465k|4222 | 0.000000e+00 | 6.000000e+00 | Inf
990.12/990.11 c 990s|440000 | 1896 | 3015k| 6.9 | 55M| 591 | 19 |3831 | 25k|3831 |1001 | 122k| 481k|4302 | 0.000000e+00 | 6.000000e+00 | Inf
1016.02/1016.04 c 1016s|450000 | 1891 | 3104k| 6.9 | 54M| 591 | - |3831 | 20k| 0 | 0 | 124k| 496k|4397 | 0.000000e+00 | 6.000000e+00 | Inf
1039.12/1039.12 c 1039s|460000 | 1862 | 3181k| 6.9 | 53M| 591 | 11 |3831 | 18k|3831 | 924 | 127k| 509k|4511 | 0.000000e+00 | 6.000000e+00 | Inf
1063.52/1063.57 c 1064s|470000 | 1898 | 3268k| 7.0 | 55M| 591 | - |3831 | 21k| 0 | 0 | 129k| 523k|4569 | 0.000000e+00 | 6.000000e+00 | Inf
1089.22/1089.26 c 1089s|480000 | 1811 | 3358k| 7.0 | 54M| 591 | - |3831 | 21k| 0 | 0 | 130k| 537k|4635 | 0.000000e+00 | 6.000000e+00 | Inf
1113.13/1113.19 c 1113s|490000 | 1777 | 3442k| 7.0 | 53M| 591 | 1 |3831 | 20k|3831 | 962 | 133k| 551k|4707 | 0.000000e+00 | 6.000000e+00 | Inf
1136.92/1136.93 c 1137s|500000 | 1874 | 3530k| 7.1 | 53M| 591 | - |3831 | 17k|3831 | 949 | 136k| 565k|4777 | 0.000000e+00 | 6.000000e+00 | Inf
1159.13/1159.16 c 1159s|510000 | 1888 | 3608k| 7.1 | 55M| 591 | 1 |3831 | 20k|3831 | 934 | 138k| 578k|4833 | 0.000000e+00 | 6.000000e+00 | Inf
1182.43/1182.48 c 1182s|520000 | 1864 | 3678k| 7.1 | 55M| 591 | 24 |3831 | 21k|3831 | 946 | 141k| 592k|4887 | 0.000000e+00 | 6.000000e+00 | Inf
1205.73/1205.74 c 1206s|530000 | 1855 | 3758k| 7.1 | 54M| 591 | 25 |3831 | 18k|3831 | 949 | 143k| 605k|4932 | 0.000000e+00 | 6.000000e+00 | Inf
1229.93/1229.98 c 1230s|540000 | 1925 | 3842k| 7.1 | 57M| 591 | - |3831 | 23k| 0 | 0 | 146k| 618k|4981 | 0.000000e+00 | 6.000000e+00 | Inf
1254.52/1254.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.52/1254.57 c 1255s|550000 | 1930 | 3922k| 7.1 | 56M| 591 | - |3831 | 19k| 0 | 0 | 148k| 632k|5048 | 0.000000e+00 | 6.000000e+00 | Inf
1278.14/1278.15 c 1278s|560000 | 1961 | 3994k| 7.1 | 57M| 591 | 1 |3831 | 22k|3831 | 952 | 150k| 645k|5091 | 0.000000e+00 | 6.000000e+00 | Inf
1301.33/1301.31 c 1301s|570000 | 1895 | 4061k| 7.1 | 57M| 591 | 21 |3831 | 20k|3831 | 957 | 152k| 659k|5178 | 0.000000e+00 | 6.000000e+00 | Inf
1325.14/1325.15 c 1325s|580000 | 1910 | 4144k| 7.1 | 57M| 591 | - |3831 | 22k| 0 | 0 | 154k| 673k|5224 | 0.000000e+00 | 6.000000e+00 | Inf
1348.33/1348.39 c 1348s|590000 | 1926 | 4217k| 7.1 | 57M| 591 | 26 |3831 | 19k|3831 | 942 | 156k| 688k|5269 | 0.000000e+00 | 6.000000e+00 | Inf
1370.93/1370.90 c 1371s|600000 | 1916 | 4297k| 7.2 | 57M| 591 | - |3831 | 19k| 0 | 0 | 159k| 701k|5332 | 0.000000e+00 | 6.000000e+00 | Inf
1392.63/1392.68 c 1393s|610000 | 1959 | 4363k| 7.2 | 58M| 591 | 16 |3831 | 21k|3831 | 945 | 161k| 715k|5390 | 0.000000e+00 | 6.000000e+00 | Inf
1415.53/1415.57 c 1416s|620000 | 1985 | 4436k| 7.2 | 59M| 591 | 1 |3831 | 21k|3831 | 943 | 164k| 728k|5425 | 0.000000e+00 | 6.000000e+00 | Inf
1439.84/1439.83 c 1440s|630000 | 2079 | 4515k| 7.2 | 60M| 591 | - |3831 | 22k| 0 | 0 | 166k| 740k|5463 | 0.000000e+00 | 6.000000e+00 | Inf
1463.44/1463.46 c 1463s|640000 | 2056 | 4583k| 7.2 | 61M| 591 | - |3831 | 23k| 0 | 0 | 168k| 754k|5518 | 0.000000e+00 | 6.000000e+00 | Inf
1486.54/1486.54 c 1487s|650000 | 2075 | 4655k| 7.2 | 61M| 591 | 10 |3831 | 25k|3831 | 953 | 171k| 767k|5573 | 0.000000e+00 | 6.000000e+00 | Inf
1510.14/1510.20 c 1510s|660000 | 2045 | 4725k| 7.2 | 61M| 591 | - |3831 | 25k| 0 | 0 | 173k| 781k|5615 | 0.000000e+00 | 6.000000e+00 | Inf
1533.64/1533.63 c 1534s|670000 | 2060 | 4791k| 7.2 | 62M| 591 | 1 |3831 | 27k|3831 | 949 | 175k| 794k|5637 | 0.000000e+00 | 6.000000e+00 | Inf
1557.24/1557.24 c 1557s|680000 | 2069 | 4853k| 7.1 | 63M| 591 | 9 |3831 | 30k|3831 | 943 | 178k| 808k|5683 | 0.000000e+00 | 6.000000e+00 | Inf
1582.85/1582.81 c 1583s|690000 | 2042 | 4921k| 7.1 | 63M| 591 | 24 |3831 | 28k|3831 | 956 | 180k| 821k|5745 | 0.000000e+00 | 6.000000e+00 | Inf
1608.25/1608.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1608.25/1608.23 c 1608s|700000 | 2095 | 4988k| 7.1 | 64M| 591 | 20 |3831 | 28k|3831 | 955 | 182k| 835k|5761 | 0.000000e+00 | 6.000000e+00 | Inf
1635.34/1635.32 c 1635s|710000 | 2109 | 5060k| 7.1 | 64M| 591 | 21 |3831 | 28k|3831 | 955 | 184k| 849k|5803 | 0.000000e+00 | 6.000000e+00 | Inf
1662.15/1662.17 c 1662s|720000 | 1980 | 5137k| 7.1 | 61M| 591 | - |3831 | 23k| 0 | 0 | 186k| 862k|5894 | 0.000000e+00 | 6.000000e+00 | Inf
1687.74/1687.73 c 1688s|730000 | 2012 | 5218k| 7.1 | 62M| 591 | - |3831 | 24k| 0 | 0 | 188k| 875k|5923 | 0.000000e+00 | 6.000000e+00 | Inf
1715.45/1715.43 c 1715s|740000 | 1998 | 5316k| 7.2 | 62M| 591 | 19 |3831 | 25k|3831 | 947 | 191k| 888k|5988 | 0.000000e+00 | 6.000000e+00 | Inf
1739.65/1739.69 c 1740s|750000 | 1988 | 5388k| 7.2 | 62M| 591 | - |3831 | 26k| 0 | 0 | 193k| 901k|6044 | 0.000000e+00 | 6.000000e+00 | Inf
1743.34/1743.38 o 4
1743.34/1743.38 c *1743s|751573 | 1704 | 5398k| 7.2 | 56M| 591 | - |3831 | 26k|3831 | 945 | 193k| 903k|6045 | 0.000000e+00 | 4.000000e+00 | Inf
1764.25/1764.27 c 1764s|760000 | 1732 | 5454k| 7.2 | 57M| 591 | 1 |3831 | 27k|3831 | 924 | 195k| 914k|6068 | 0.000000e+00 | 4.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 : 769936
1790.04/1790.01 c Primal Bound : +4.00000000000000e+00 (160 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.05 s SATISFIABLE
1790.04/1790.05 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.05 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.05 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.05 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.05 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.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1790.04/1790.05 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 -x80
1790.04/1790.05 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
1790.04/1790.05 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 -x29
1790.04/1790.05 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.05 v -x1
1790.04/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.05 c Solving Time : 1789.98
1790.04/1790.05 c Original Problem :
1790.04/1790.05 c Problem name : HOME/instance-2705601-1278572958.wbo
1790.04/1790.05 c Variables : 3945 (2088 binary, 0 integer, 1857 implicit integer, 0 continuous)
1790.04/1790.05 c Constraints : 4565 initial, 4565 maximal
1790.04/1790.05 c Presolved Problem :
1790.04/1790.05 c Problem name : t_HOME/instance-2705601-1278572958.wbo
1790.04/1790.05 c Variables : 3831 (2031 binary, 0 integer, 1800 implicit integer, 0 continuous)
1790.04/1790.05 c Constraints : 4422 initial, 33795 maximal
1790.04/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1790.04/1790.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1790.04/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.05 c setppc : 0.00 0 0 0 0 0 12 0 0
1790.04/1790.05 c linear : 0.05 0 0 0 1864 0 74 62 0
1790.04/1790.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1790.04/1790.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c root node : - 3488 - - 3488 - - - -
1790.04/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.05 c integral : 0 0 0 478668 0 40 524 0 0 736704
1790.04/1790.05 c setppc : 51 6 3965328 97389 1 17605 724611 0 0 0
1790.04/1790.05 c linear : 1800 6 3965703 109376 1 141687 16151213 198047 0 0
1790.04/1790.05 c indicator : 1800 0 3811777 109800 1 281 1620801 0 0 0
1790.04/1790.05 c logicor : 771+ 6 1260888 84922 1 174258 3016281 0 0 0
1790.04/1790.05 c bounddisjunction : 0+ 0 255070 0 0 127 2933 0 0 0
1790.04/1790.05 c countsols : 0 0 0 84922 1 0 0 0 0 0
1790.04/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.05 c integral : 22.61 0.00 0.00 22.61 0.00
1790.04/1790.05 c setppc : 7.54 0.00 7.49 0.04 0.00
1790.04/1790.05 c linear : 136.79 0.00 133.70 3.09 0.00
1790.04/1790.05 c indicator : 39.63 0.02 26.55 13.06 0.00
1790.04/1790.05 c logicor : 300.25 0.00 299.58 0.67 0.00
1790.04/1790.05 c bounddisjunction : 1.63 0.00 1.63 0.00 0.00
1790.04/1790.05 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.04/1790.05 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.05 c vbounds : 0.71 26574 0 4268
1790.04/1790.05 c rootredcost : 0.61 59 0 1744
1790.04/1790.05 c pseudoobj : 113.47 3988752 4469 1521288
1790.04/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.05 c propagation : 19.16 338146 337848 2067336 29.2 10288 26.5 -
1790.04/1790.05 c infeasible LP : 6.52 22403 22403 185961 44.5 202 16.1 0
1790.04/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.05 c applied globally : - - - 928371 23.7 - - -
1790.04/1790.05 c applied locally : - - - 0 0.0 - - -
1790.04/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.05 c cut pool : 0.00 5 - - 29 - (maximal pool size: 474)
1790.04/1790.05 c redcost : 35.15 479947 0 60563 0 0
1790.04/1790.05 c impliedbounds : 0.00 6 0 0 0 0
1790.04/1790.05 c intobj : 0.00 0 0 0 0 0
1790.04/1790.05 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.05 c gomory : 0.10 6 0 0 1239 0
1790.04/1790.05 c strongcg : 0.09 6 0 0 1498 0
1790.04/1790.05 c cmir : 0.02 6 0 0 0 0
1790.04/1790.05 c flowcover : 0.06 6 0 0 0 0
1790.04/1790.05 c clique : 0.00 6 0 0 0 0
1790.04/1790.05 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.05 c mcf : 0.00 1 0 0 0 0
1790.04/1790.05 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.05 c Pricers : Time Calls Vars
1790.04/1790.05 c problem variables: 0.00 0 0
1790.04/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.05 c relpscost : 22.29 368791 40 524 0 0 736704
1790.04/1790.05 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.05 c inference : 24.70 84865 0 0 0 0 169985
1790.04/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.05 c random : 0.00 0 0 0 0 0 0
1790.04/1790.05 c Primal Heuristics : Time Calls Found
1790.04/1790.05 c LP solutions : 0.16 - 58
1790.04/1790.05 c pseudo solutions : 0.00 - 0
1790.04/1790.05 c intshifting : 0.01 0 0
1790.04/1790.05 c feaspump : 0.02 1 0
1790.04/1790.05 c oneopt : 0.44 51 0
1790.04/1790.05 c crossover : 1.73 53 0
1790.04/1790.05 c guideddiving : 0.77 589 0
1790.04/1790.05 c veclendiving : 0.74 589 0
1790.04/1790.05 c coefdiving : 0.76 590 0
1790.04/1790.05 c pscostdiving : 0.79 590 0
1790.04/1790.05 c fracdiving : 0.84 590 0
1790.04/1790.05 c linesearchdiving : 0.81 590 0
1790.04/1790.05 c rootsoldiving : 0.80 579 0
1790.04/1790.05 c objpscostdiving : 0.77 580 0
1790.04/1790.05 c trivial : 0.00 2 0
1790.04/1790.05 c simplerounding : 0.62 368917 0
1790.04/1790.05 c zirounding : 0.20 1000 0
1790.04/1790.05 c rounding : 0.87 8561 0
1790.04/1790.05 c shifting : 0.59 2635 0
1790.04/1790.05 c twoopt : 0.00 0 0
1790.04/1790.05 c fixandinfer : 0.00 0 0
1790.04/1790.05 c intdiving : 0.00 0 0
1790.04/1790.05 c actconsdiving : 0.00 0 0
1790.04/1790.05 c octane : 0.00 0 0
1790.04/1790.05 c rens : 0.03 1 0
1790.04/1790.05 c rins : 0.00 0 0
1790.04/1790.05 c localbranching : 0.00 0 0
1790.04/1790.05 c mutation : 0.00 0 0
1790.04/1790.05 c dins : 0.00 0 0
1790.04/1790.05 c undercover : 0.00 0 0
1790.04/1790.05 c nlp : 0.13 0 0
1790.04/1790.05 c trysol : 0.33 642 102
1790.04/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.05 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.05 c dual LP : 614.78 417826 5524061 13.22 8985.48
1790.04/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.05 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.05 c diving/probing LP: 0.34 183 3331 18.20 9767.47
1790.04/1790.05 c strong branching : 19.29 6110 228322 37.37 11834.71
1790.04/1790.05 c (at root node) : - 16 4682 292.62 -
1790.04/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.05 c B&B Tree :
1790.04/1790.05 c number of runs : 1
1790.04/1790.05 c nodes : 769936
1790.04/1790.05 c nodes (total) : 769936
1790.04/1790.05 c nodes left : 1791
1790.04/1790.05 c max depth : 591
1790.04/1790.05 c max depth (total): 591
1790.04/1790.05 c backtracks : 58077 (7.5%)
1790.04/1790.05 c delayed cutoffs : 45866
1790.04/1790.05 c repropagations : 2139673 (3454032 domain reductions, 44071 cutoffs)
1790.04/1790.05 c avg switch length: 6.95
1790.04/1790.05 c switching time : 255.12
1790.04/1790.05 c Solution :
1790.04/1790.05 c Solutions found : 160 (59 improvements)
1790.04/1790.05 c First Solution : +9.07310000000000e+04 (in run 1, after 58 nodes, 6.86 seconds, depth 22, found by <trysol>)
1790.04/1790.05 c Primal Bound : +4.00000000000000e+00 (in run 1, after 751573 nodes, 1743.35 seconds, depth 31, found by <relaxation>)
1790.04/1790.05 c Dual Bound : +0.00000000000000e+00
1790.04/1790.05 c Gap : infinite
1790.04/1790.05 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.05 c Root Iterations : 389
1790.14/1790.14 c Time complete: 1790.19.