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-2693566-1277910928.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.00/0.05 c presolving:
0.00/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.09/0.10 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.11 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.12 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.13 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.18 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (6 rounds):
0.09/0.18 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.18 c 2006 implications, 5 cliques
0.09/0.18 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.18 c 1811 constraints of type <indicator>
0.09/0.18 c 5 constraints of type <setppc>
0.09/0.18 c 1811 constraints of type <linear>
0.09/0.18 c 807 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.19 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.21 o 92548
0.18/0.21 c y 0.2s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.18/0.23 c 0.2s| 1 | 0 | 53 | - | 14M| 0 | 23 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.18/0.27 c 0.2s| 1 | 0 | 114 | - | 14M| 0 | 30 |3853 |4434 |3853 | 851 | 39 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.3s| 1 | 0 | 135 | - | 14M| 0 | 27 |3853 |4434 |3853 | 868 | 56 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 154 | - | 14M| 0 | 29 |3853 |4434 |3853 | 876 | 64 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 180 | - | 14M| 0 | 26 |3853 |4434 |3853 | 886 | 74 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 253 | - | 15M| 0 | 28 |3853 |4434 |3853 | 893 | 81 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.79/0.83 c 0.8s| 1 | 2 | 253 | - | 15M| 0 | 28 |3853 |4434 |3853 | 893 | 81 | 0 | 28 | 0.000000e+00 | 9.254800e+04 | Inf
15.19/15.24 o 479
15.19/15.24 c *14.9s| 8038 | 5140 | 13355 | 1.6 | 31M| 269 | - |3853 |4491 |3853 | 932 |2191 | 57 |1257 | 0.000000e+00 | 4.790000e+02 | Inf
15.19/15.26 o 472
15.19/15.26 c *14.9s| 8046 | 5070 | 13374 | 1.6 | 31M| 269 | - |3853 |4521 |3853 | 931 |2191 | 87 |1257 | 0.000000e+00 | 4.720000e+02 | Inf
15.99/16.06 o 463
15.99/16.06 c *15.7s| 8494 | 5356 | 13932 | 1.6 | 31M| 269 | - |3853 |4666 |3853 | 938 |2300 | 232 |1279 | 0.000000e+00 | 4.630000e+02 | Inf
18.49/18.57 c 18.1s| 10000 | 6769 | 15612 | 1.5 | 35M| 269 | 0 |3853 |4960 |3853 | 909 |2673 | 531 |1296 | 0.000000e+00 | 4.630000e+02 | Inf
21.69/21.70 o 458
21.69/21.70 c *21.2s| 11797 | 8336 | 17941 | 1.5 | 39M| 269 | - |3853 |5276 |3853 | 944 |3283 | 971 |1305 | 0.000000e+00 | 4.580000e+02 | Inf
21.99/22.01 o 438
21.99/22.01 c *21.5s| 11959 | 8123 | 18331 | 1.5 | 38M| 269 | - |3853 |5336 |3853 | 944 |3366 |1066 |1310 | 0.000000e+00 | 4.380000e+02 | Inf
25.39/25.42 o 434
25.39/25.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.39/25.42 c *24.8s| 13993 | 9971 | 20169 | 1.4 | 42M| 269 | - |3853 |5487 |3853 | 919 |3852 |1436 |1334 | 0.000000e+00 | 4.340000e+02 | Inf
25.98/26.06 o 395
25.98/26.06 c *25.4s| 14332 | 9575 | 20745 | 1.4 | 42M| 269 | - |3853 |5571 |3853 | 918 |3956 |1585 |1343 | 0.000000e+00 | 3.950000e+02 | Inf
26.08/26.10 o 371
26.08/26.10 c *25.5s| 14355 | 9181 | 20747 | 1.4 | 40M| 269 | - |3853 |5579 |3853 | 919 |3957 |1595 |1343 | 0.000000e+00 | 3.710000e+02 | Inf
29.59/29.68 o 370
29.59/29.68 c *29.0s| 15960 | 10303 | 24460 | 1.5 | 45M| 269 | - |3853 |6377 |3853 | 917 |4712 |2966 |1382 | 0.000000e+00 | 3.700000e+02 | Inf
29.69/29.73 o 351
29.69/29.73 c *29.0s| 15982 | 9933 | 24507 | 1.5 | 44M| 269 | - |3853 |6372 |3853 | 925 |4724 |2971 |1382 | 0.000000e+00 | 3.510000e+02 | Inf
30.59/30.62 o 336
30.59/30.62 c *29.9s| 16434 | 9963 | 25247 | 1.5 | 44M| 269 | - |3853 |6449 |3853 | 939 |4848 |3177 |1395 | 0.000000e+00 | 3.360000e+02 | Inf
30.59/30.68 o 319
30.59/30.68 c *29.9s| 16463 | 9536 | 25290 | 1.5 | 43M| 269 | - |3853 |6450 |3853 | 938 |4851 |3187 |1395 | 0.000000e+00 | 3.190000e+02 | Inf
30.68/30.78 o 306
30.68/30.78 c *30.1s| 16508 | 9259 | 25355 | 1.5 | 43M| 269 | - |3853 |6444 |3853 | 945 |4860 |3195 |1395 | 0.000000e+00 | 3.060000e+02 | Inf
32.58/32.69 o 297
32.58/32.69 c *31.9s| 17402 | 9742 | 27449 | 1.6 | 44M| 269 | - |3853 |6442 |3853 | 940 |5231 |3593 |1433 | 0.000000e+00 | 2.970000e+02 | Inf
38.09/38.10 c 37.2s| 20000 | 11567 | 34085 | 1.7 | 49M| 269 | 0 |3853 |6088 |3853 | 922 |6616 |5230 |1485 | 0.000000e+00 | 2.970000e+02 | Inf
41.98/42.06 o 289
41.98/42.06 c *41.0s| 21973 | 12844 | 39319 | 1.8 | 53M| 269 | - |3853 |5784 |3853 | 913 |7784 |6095 |1516 | 0.000000e+00 | 2.890000e+02 | Inf
42.19/42.25 o 256
42.19/42.25 c *41.2s| 22087 | 11978 | 39424 | 1.8 | 50M| 269 | - |3853 |5828 |3853 | 912 |7792 |6152 |1517 | 0.000000e+00 | 2.560000e+02 | Inf
44.88/44.95 o 253
44.88/44.95 c *43.9s| 23343 | 12736 | 43354 | 1.8 | 53M| 269 | - |3853 |5987 |3853 | 940 |8582 |6997 |1550 | 0.000000e+00 | 2.530000e+02 | Inf
46.29/46.39 o 247
46.29/46.39 c *45.3s| 23963 | 12987 | 45842 | 1.9 | 54M| 269 | - |3853 |5880 |3853 | 897 |8999 |7299 |1576 | 0.000000e+00 | 2.470000e+02 | Inf
50.18/50.25 o 237
50.18/50.25 c *49.0s| 26148 | 14585 | 49829 | 1.9 | 57M| 269 | - |3853 |5572 |3853 | 906 |9628 |7645 |1614 | 0.000000e+00 | 2.370000e+02 | Inf
50.78/50.81 o 229
50.78/50.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.78/50.81 c *49.6s| 26367 | 14441 | 50506 | 1.9 | 57M| 269 | - |3853 |5716 |3853 | 911 |9745 |7828 |1621 | 0.000000e+00 | 2.290000e+02 | Inf
52.98/53.01 o 222
52.98/53.01 c *51.7s| 27464 | 14988 | 52391 | 1.9 | 59M| 269 | - |3853 |6153 |3853 | 912 | 10k|8463 |1624 | 0.000000e+00 | 2.220000e+02 | Inf
54.49/54.55 o 219
54.49/54.55 c *53.2s| 28182 | 15363 | 53598 | 1.9 | 61M| 269 | - |3853 |6265 |3853 | 913 | 10k|8941 |1630 | 0.000000e+00 | 2.190000e+02 | Inf
57.58/57.69 o 217
57.58/57.69 c *56.3s| 29827 | 16642 | 56334 | 1.9 | 64M| 269 | - |3853 |6080 |3853 | 925 | 10k|9453 |1638 | 0.000000e+00 | 2.170000e+02 | Inf
57.68/57.70 o 191
57.68/57.70 c *56.3s| 29828 | 15354 | 56334 | 1.9 | 60M| 269 | - |3853 |6080 |3853 | 925 | 10k|9453 |1638 | 0.000000e+00 | 1.910000e+02 | Inf
57.98/58.03 c 56.6s| 30000 | 15511 | 56518 | 1.9 | 60M| 269 | - |3853 |6005 | 0 | 0 | 10k|9480 |1638 | 0.000000e+00 | 1.910000e+02 | Inf
62.19/62.20 o 190
62.19/62.20 c *60.7s| 32066 | 16983 | 60249 | 1.9 | 66M| 269 | - |3853 |6572 |3853 | 925 | 11k| 10k|1662 | 0.000000e+00 | 1.900000e+02 | Inf
62.69/62.80 o 179
62.69/62.80 c *61.3s| 32353 | 16505 | 60801 | 1.9 | 64M| 269 | - |3853 |6640 |3853 | 943 | 11k| 10k|1666 | 0.000000e+00 | 1.790000e+02 | Inf
62.80/62.86 o 171
62.80/62.86 c *61.4s| 32372 | 16169 | 60857 | 1.9 | 63M| 269 | - |3853 |6632 |3853 | 941 | 11k| 10k|1666 | 0.000000e+00 | 1.710000e+02 | Inf
62.80/62.86 o 155
62.80/62.86 c *61.4s| 32373 | 15191 | 60857 | 1.9 | 59M| 269 | - |3853 |6632 |3853 | 941 | 11k| 10k|1666 | 0.000000e+00 | 1.550000e+02 | Inf
65.29/65.35 o 150
65.29/65.35 c *63.8s| 33370 | 15240 | 64787 | 1.9 | 61M| 269 | - |3853 |6403 |3853 |1005 | 12k| 11k|1679 | 0.000000e+00 | 1.500000e+02 | Inf
67.98/68.02 o 148
67.98/68.02 c *66.4s| 34455 | 15655 | 70111 | 2.0 | 64M| 269 | - |3853 |5908 |3853 | 943 | 13k| 12k|1706 | 0.000000e+00 | 1.480000e+02 | Inf
71.49/71.54 o 137
71.49/71.54 c *69.8s| 36066 | 15732 | 75663 | 2.1 | 65M| 269 | - |3853 |6031 |3853 | 912 | 14k| 13k|1711 | 0.000000e+00 | 1.370000e+02 | Inf
71.69/71.79 o 135
71.69/71.79 c *70.1s| 36182 | 15648 | 75912 | 2.1 | 66M| 269 | - |3853 |6195 |3853 | 921 | 14k| 13k|1711 | 0.000000e+00 | 1.350000e+02 | Inf
71.79/71.84 o 134
71.79/71.84 c *70.1s| 36207 | 15594 | 75975 | 2.1 | 66M| 269 | - |3853 |6230 |3853 | 921 | 14k| 13k|1711 | 0.000000e+00 | 1.340000e+02 | Inf
74.68/74.70 o 133
74.68/74.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.68/74.70 c *72.9s| 37453 | 16192 | 80591 | 2.1 | 68M| 269 | - |3853 |6263 |3853 | 963 | 14k| 14k|1713 | 0.000000e+00 | 1.330000e+02 | Inf
75.38/75.41 o 121
75.38/75.41 c *73.6s| 37725 | 15510 | 82144 | 2.2 | 66M| 269 | - |3853 |6201 |3853 | 910 | 14k| 14k|1714 | 0.000000e+00 | 1.210000e+02 | Inf
79.29/79.33 o 103
79.29/79.33 c *77.4s| 39469 | 15071 | 87848 | 2.2 | 67M| 269 | - |3853 |6145 |3853 | 935 | 15k| 16k|1723 | 0.000000e+00 | 1.030000e+02 | Inf
79.29/79.39 o 94
79.29/79.39 c *77.5s| 39498 | 14120 | 87950 | 2.2 | 64M| 269 | - |3853 |6151 |3853 | 915 | 15k| 16k|1723 | 0.000000e+00 | 9.400000e+01 | Inf
79.98/80.07 o 89
79.98/80.07 c *78.1s| 39731 | 13663 | 89253 | 2.2 | 62M| 269 | - |3853 |6047 |3853 | 913 | 16k| 16k|1724 | 0.000000e+00 | 8.900000e+01 | Inf
79.98/80.08 o 88
79.98/80.08 c *78.2s| 39732 | 13574 | 89261 | 2.2 | 62M| 269 | - |3853 |6047 |3853 | 913 | 16k| 16k|1724 | 0.000000e+00 | 8.800000e+01 | Inf
80.29/80.37 o 85
80.29/80.37 c *78.4s| 39807 | 13314 | 90284 | 2.3 | 61M| 269 | - |3853 |5913 |3853 | 910 | 16k| 16k|1725 | 0.000000e+00 | 8.500000e+01 | Inf
80.89/80.98 c 79.0s| 40000 | 13343 | 92225 | 2.3 | 61M| 269 | - |3853 |5779 | 0 | 0 | 16k| 16k|1728 | 0.000000e+00 | 8.500000e+01 | Inf
82.49/82.51 o 83
82.49/82.51 c *80.5s| 40569 | 13266 | 94573 | 2.3 | 62M| 269 | - |3853 |5458 |3853 | 925 | 16k| 17k|1729 | 0.000000e+00 | 8.300000e+01 | Inf
82.49/82.54 o 81
82.49/82.54 c *80.5s| 40574 | 13078 | 94583 | 2.3 | 61M| 269 | - |3853 |5390 |3853 | 930 | 16k| 17k|1729 | 0.000000e+00 | 8.100000e+01 | Inf
82.49/82.55 o 75
82.49/82.55 c *80.5s| 40575 | 12270 | 94586 | 2.3 | 58M| 269 | - |3853 |5389 |3853 | 930 | 16k| 17k|1729 | 0.000000e+00 | 7.500000e+01 | Inf
82.59/82.63 o 72
82.59/82.63 c *80.6s| 40601 | 11813 | 94733 | 2.3 | 57M| 269 | - |3853 |5186 |3853 | 951 | 16k| 17k|1729 | 0.000000e+00 | 7.200000e+01 | Inf
83.18/83.27 o 71
83.18/83.27 c *81.2s| 40829 | 11821 | 96059 | 2.3 | 57M| 269 | - |3853 |4918 |3853 | 905 | 16k| 17k|1729 | 0.000000e+00 | 7.100000e+01 | Inf
83.39/83.42 o 69
83.39/83.42 c *81.4s| 40876 | 11365 | 96393 | 2.4 | 56M| 269 | - |3853 |4860 |3853 | 932 | 16k| 17k|1729 | 0.000000e+00 | 6.900000e+01 | Inf
83.39/83.47 o 67
83.39/83.47 c *81.4s| 40884 | 11187 | 96451 | 2.4 | 55M| 269 | - |3853 |4807 |3853 | 937 | 17k| 17k|1731 | 0.000000e+00 | 6.700000e+01 | Inf
83.39/83.47 o 60
83.39/83.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.39/83.47 c *81.5s| 40885 | 10115 | 96456 | 2.4 | 52M| 269 | - |3853 |4807 |3853 | 937 | 17k| 17k|1731 | 0.000000e+00 | 6.000000e+01 | Inf
83.49/83.52 o 58
83.49/83.52 c *81.5s| 40898 | 10000 | 96598 | 2.4 | 52M| 269 | - |3853 |4579 |3853 | 916 | 17k| 17k|1731 | 0.000000e+00 | 5.800000e+01 | Inf
83.49/83.55 o 56
83.49/83.55 c *81.5s| 40905 | 9831 | 96722 | 2.4 | 51M| 269 | - |3853 |4545 |3853 | 917 | 17k| 17k|1731 | 0.000000e+00 | 5.600000e+01 | Inf
83.59/83.66 o 45
83.59/83.66 c *81.6s| 40937 | 8318 | 96953 | 2.4 | 45M| 269 | - |3853 |4480 |3853 | 931 | 17k| 17k|1731 | 0.000000e+00 | 4.500000e+01 | Inf
83.59/83.66 o 28
83.59/83.66 c *81.6s| 40938 | 7282 | 96953 | 2.4 | 42M| 269 | - |3853 |4480 |3853 | 931 | 17k| 17k|1731 | 0.000000e+00 | 2.800000e+01 | Inf
83.88/83.91 o 23
83.88/83.91 c *81.9s| 41022 | 6902 | 97527 | 2.4 | 41M| 269 | - |3853 |3921 |3853 | 904 | 17k| 17k|1731 | 0.000000e+00 | 2.300000e+01 | Inf
83.88/83.91 o 21
83.88/83.91 c *81.9s| 41023 | 6735 | 97529 | 2.4 | 41M| 269 | - |3853 |3921 |3853 | 904 | 17k| 17k|1731 | 0.000000e+00 | 2.100000e+01 | Inf
84.09/84.14 o 12
84.09/84.14 c *82.1s| 41074 | 5899 | 98567 | 2.4 | 39M| 269 | - |3853 |3710 |3853 | 909 | 17k| 17k|1731 | 0.000000e+00 | 1.200000e+01 | Inf
84.19/84.20 o 9
84.19/84.20 c *82.2s| 41088 | 3768 | 98823 | 2.4 | 34M| 269 | - |3853 |3556 |3853 | 954 | 17k| 17k|1731 | 0.000000e+00 | 9.000000e+00 | Inf
98.99/99.02 c 96.5s| 50000 | 3552 |153834 | 3.1 | 37M| 269 | - |3853 |6797 | 0 | 0 | 19k| 29k|1748 | 0.000000e+00 | 9.000000e+00 | Inf
115.68/115.75 c 113s| 60000 | 3821 |208583 | 3.5 | 41M| 269 | 11 |3853 |9565 |3853 | 928 | 23k| 42k|1769 | 0.000000e+00 | 9.000000e+00 | Inf
133.29/133.31 c 130s| 70000 | 3819 |263049 | 3.8 | 42M| 269 | 1 |3853 |8388 |3853 | 927 | 25k| 55k|1915 | 0.000000e+00 | 9.000000e+00 | Inf
151.08/151.14 c 147s| 80000 | 3920 |317274 | 4.0 | 44M| 269 | 23 |3853 |9180 |3853 | 904 | 28k| 69k|2092 | 0.000000e+00 | 9.000000e+00 | Inf
168.59/168.61 c 164s| 90000 | 4073 |367255 | 4.1 | 46M| 269 | 15 |3853 | 11k|3853 | 917 | 30k| 82k|2210 | 0.000000e+00 | 9.000000e+00 | Inf
186.28/186.36 c 181s|100000 | 4184 |416488 | 4.2 | 48M| 269 | - |3853 | 12k| 0 | 0 | 32k| 95k|2358 | 0.000000e+00 | 9.000000e+00 | Inf
203.49/203.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.49/203.60 c 198s|110000 | 4333 |459155 | 4.2 | 50M| 269 | - |3853 | 13k| 0 | 0 | 34k| 108k|2471 | 0.000000e+00 | 9.000000e+00 | Inf
220.79/220.83 c 214s|120000 | 4408 |500939 | 4.2 | 52M| 269 | 13 |3853 | 14k|3853 | 909 | 37k| 123k|2571 | 0.000000e+00 | 9.000000e+00 | Inf
238.29/238.33 c 231s|130000 | 4429 |542303 | 4.2 | 53M| 269 | 12 |3853 | 14k|3853 | 914 | 39k| 137k|2696 | 0.000000e+00 | 9.000000e+00 | Inf
257.19/257.22 c 250s|140000 | 4520 |591860 | 4.2 | 55M| 269 | - |3853 | 16k| 0 | 0 | 41k| 151k|2785 | 0.000000e+00 | 9.000000e+00 | Inf
275.59/275.67 c 268s|150000 | 4662 |640372 | 4.3 | 56M| 269 | 20 |3853 | 16k|3853 | 917 | 44k| 165k|2871 | 0.000000e+00 | 9.000000e+00 | Inf
293.99/294.05 c 285s|160000 | 4683 |689695 | 4.3 | 57M| 269 | 1 |3853 | 16k|3853 | 923 | 46k| 179k|2983 | 0.000000e+00 | 9.000000e+00 | Inf
313.88/313.92 c 305s|170000 | 4752 |740366 | 4.4 | 59M| 269 | 9 |3853 | 16k|3853 | 917 | 49k| 193k|3159 | 0.000000e+00 | 9.000000e+00 | Inf
333.48/333.50 c 324s|180000 | 4796 |787867 | 4.4 | 61M| 269 | 14 |3853 | 18k|3853 | 921 | 51k| 207k|3275 | 0.000000e+00 | 9.000000e+00 | Inf
354.38/354.42 c 344s|190000 | 4820 |846181 | 4.5 | 62M| 269 | - |3853 | 17k| 0 | 0 | 53k| 221k|3385 | 0.000000e+00 | 9.000000e+00 | Inf
374.09/374.14 c 363s|200000 | 4848 |894271 | 4.5 | 63M| 269 | - |3853 | 18k| 0 | 0 | 55k| 234k|3453 | 0.000000e+00 | 9.000000e+00 | Inf
393.90/393.94 c 382s|210000 | 4826 |946187 | 4.5 | 63M| 269 | - |3853 | 16k| 0 | 0 | 57k| 248k|3582 | 0.000000e+00 | 9.000000e+00 | Inf
413.29/413.31 c 401s|220000 | 4818 |999949 | 4.5 | 63M| 269 | 15 |3853 | 15k|3853 | 905 | 60k| 262k|3764 | 0.000000e+00 | 9.000000e+00 | Inf
431.79/431.89 c 419s|230000 | 4961 | 1045k| 4.5 | 66M| 269 | 1 |3853 | 18k|3853 | 912 | 62k| 276k|3823 | 0.000000e+00 | 9.000000e+00 | Inf
451.29/451.34 c 438s|240000 | 5043 | 1088k| 4.5 | 67M| 269 | - |3853 | 18k| 0 | 0 | 64k| 291k|3876 | 0.000000e+00 | 9.000000e+00 | Inf
470.39/470.40 c 457s|250000 | 5059 | 1134k| 4.5 | 68M| 269 | - |3853 | 16k| 0 | 0 | 67k| 305k|3989 | 0.000000e+00 | 9.000000e+00 | Inf
488.99/489.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.99/489.05 c 475s|260000 | 5200 | 1181k| 4.5 | 69M| 269 | - |3853 | 15k| 0 | 0 | 69k| 319k|4091 | 0.000000e+00 | 9.000000e+00 | Inf
507.49/507.59 c 493s|270000 | 5232 | 1226k| 4.5 | 71M| 269 | 7 |3853 | 15k|3853 | 929 | 71k| 333k|4343 | 0.000000e+00 | 9.000000e+00 | Inf
527.00/527.04 c 512s|280000 | 5320 | 1283k| 4.6 | 72M| 269 | 13 |3853 | 14k|3853 | 936 | 73k| 347k|4511 | 0.000000e+00 | 9.000000e+00 | Inf
546.29/546.37 c 530s|290000 | 5410 | 1330k| 4.6 | 75M| 269 | - |3853 | 19k| 0 | 0 | 76k| 360k|4572 | 0.000000e+00 | 9.000000e+00 | Inf
566.60/566.64 c 550s|300000 | 5409 | 1380k| 4.6 | 75M| 269 | - |3853 | 15k| 0 | 0 | 78k| 373k|4705 | 0.000000e+00 | 9.000000e+00 | Inf
585.90/585.99 c 569s|310000 | 5493 | 1427k| 4.6 | 77M| 269 | - |3853 | 18k| 0 | 0 | 81k| 387k|4767 | 0.000000e+00 | 9.000000e+00 | Inf
606.29/606.30 c 589s|320000 | 5590 | 1481k| 4.6 | 79M| 269 | - |3853 | 19k| 0 | 0 | 84k| 401k|4843 | 0.000000e+00 | 9.000000e+00 | Inf
626.69/626.78 c 608s|330000 | 5775 | 1531k| 4.6 | 82M| 269 | 23 |3853 | 21k|3853 | 918 | 87k| 414k|4927 | 0.000000e+00 | 9.000000e+00 | Inf
648.09/648.12 c 629s|340000 | 5825 | 1585k| 4.7 | 82M| 269 | 21 |3853 | 19k|3853 | 920 | 91k| 428k|5021 | 0.000000e+00 | 9.000000e+00 | Inf
668.99/669.09 c 650s|350000 | 5810 | 1641k| 4.7 | 83M| 269 | 1 |3853 | 17k|3853 | 916 | 94k| 442k|5133 | 0.000000e+00 | 9.000000e+00 | Inf
675.40/675.46 o 8
675.40/675.46 c * 656s|353268 | 5786 | 1656k| 4.7 | 83M| 269 | - |3853 | 17k|3853 | 929 | 95k| 447k|5149 | 0.000000e+00 | 8.000000e+00 | Inf
689.39/689.43 c 669s|360000 | 5933 | 1693k| 4.7 | 84M| 269 | - |3853 | 17k|3853 | 931 | 98k| 456k|5192 | 0.000000e+00 | 8.000000e+00 | Inf
708.29/708.34 c 688s|370000 | 6021 | 1745k| 4.7 | 84M| 269 | - |3853 | 13k| 0 | 0 | 100k| 470k|5316 | 0.000000e+00 | 8.000000e+00 | Inf
726.99/727.04 c 706s|380000 | 6049 | 1794k| 4.7 | 85M| 269 | - |3853 | 13k| 0 | 0 | 102k| 485k|5403 | 0.000000e+00 | 8.000000e+00 | Inf
745.49/745.52 c 724s|390000 | 5941 | 1847k| 4.7 | 85M| 269 | 23 |3853 | 11k|3853 | 937 | 105k| 500k|5474 | 0.000000e+00 | 8.000000e+00 | Inf
763.30/763.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.30/763.37 c 741s|400000 | 5881 | 1897k| 4.7 | 85M| 269 | 23 |3853 | 12k|3853 | 919 | 108k| 515k|5546 | 0.000000e+00 | 8.000000e+00 | Inf
781.49/781.51 c 759s|410000 | 5895 | 1949k| 4.8 | 87M| 269 | - |3853 | 12k| 0 | 0 | 110k| 529k|5621 | 0.000000e+00 | 8.000000e+00 | Inf
799.89/799.95 c 776s|420000 | 5970 | 2000k| 4.8 | 88M| 269 | - |3853 | 11k| 0 | 0 | 112k| 543k|5701 | 0.000000e+00 | 8.000000e+00 | Inf
819.00/819.01 c 795s|430000 | 5942 | 2061k| 4.8 | 88M| 269 | - |3853 | 10k| 0 | 0 | 115k| 556k|5803 | 0.000000e+00 | 8.000000e+00 | Inf
837.20/837.24 c 812s|440000 | 5927 | 2116k| 4.8 | 89M| 269 | - |3853 | 10k| 0 | 0 | 117k| 571k|5885 | 0.000000e+00 | 8.000000e+00 | Inf
855.90/855.93 c 831s|450000 | 5947 | 2172k| 4.8 | 90M| 269 | 1 |3853 | 11k|3853 | 926 | 119k| 584k|5949 | 0.000000e+00 | 8.000000e+00 | Inf
874.00/874.08 c 848s|460000 | 5915 | 2224k| 4.8 | 90M| 269 | - |3853 | 11k| 0 | 0 | 121k| 597k|6005 | 0.000000e+00 | 8.000000e+00 | Inf
892.60/892.65 c 866s|470000 | 6172 | 2276k| 4.8 | 94M| 269 | - |3853 | 15k| 0 | 0 | 124k| 610k|6074 | 0.000000e+00 | 8.000000e+00 | Inf
911.70/911.70 c 885s|480000 | 6387 | 2331k| 4.9 | 96M| 269 | - |3853 | 15k| 0 | 0 | 127k| 624k|6136 | 0.000000e+00 | 8.000000e+00 | Inf
930.99/931.06 c 903s|490000 | 6401 | 2385k| 4.9 | 97M| 269 | 5 |3853 | 13k|3853 | 904 | 130k| 638k|6204 | 0.000000e+00 | 8.000000e+00 | Inf
950.51/950.57 c 922s|500000 | 6539 | 2441k| 4.9 | 99M| 269 | - |3853 | 16k| 0 | 0 | 132k| 651k|6264 | 0.000000e+00 | 8.000000e+00 | Inf
970.79/970.81 c 942s|510000 | 6613 | 2502k| 4.9 | 101M| 269 | 13 |3853 | 15k|3853 | 928 | 134k| 665k|6337 | 0.000000e+00 | 8.000000e+00 | Inf
990.49/990.52 c 961s|520000 | 6720 | 2557k| 4.9 | 102M| 269 | - |3853 | 14k|3853 | 917 | 137k| 679k|6408 | 0.000000e+00 | 8.000000e+00 | Inf
1011.09/1011.19 c 981s|530000 | 6768 | 2614k| 4.9 | 104M| 269 | - |3853 | 16k| 0 | 0 | 140k| 692k|6473 | 0.000000e+00 | 8.000000e+00 | Inf
1032.10/1032.15 c 1002s|540000 | 6825 | 2675k| 5.0 | 105M| 269 | 29 |3853 | 17k|3853 | 934 | 143k| 706k|6539 | 0.000000e+00 | 8.000000e+00 | Inf
1052.00/1052.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.00/1052.02 c 1021s|550000 | 6881 | 2730k| 5.0 | 105M| 269 | - |3853 | 14k|3853 | 918 | 145k| 720k|6594 | 0.000000e+00 | 8.000000e+00 | Inf
1071.80/1071.84 c 1040s|560000 | 6882 | 2790k| 5.0 | 106M| 269 | - |3853 | 14k| 0 | 0 | 148k| 734k|6668 | 0.000000e+00 | 8.000000e+00 | Inf
1091.31/1091.31 c 1059s|570000 | 6879 | 2850k| 5.0 | 108M| 269 | - |3853 | 15k|3853 | 924 | 151k| 748k|6734 | 0.000000e+00 | 8.000000e+00 | Inf
1111.10/1111.18 c 1078s|580000 | 6884 | 2908k| 5.0 | 108M| 269 | 1 |3853 | 15k|3853 | 907 | 153k| 762k|6811 | 0.000000e+00 | 8.000000e+00 | Inf
1130.81/1130.82 c 1097s|590000 | 6935 | 2959k| 5.0 | 111M| 269 | 1 |3853 | 18k|3853 | 916 | 156k| 776k|6894 | 0.000000e+00 | 8.000000e+00 | Inf
1153.60/1153.65 c 1120s|600000 | 6966 | 3023k| 5.0 | 112M| 269 | - |3853 | 20k| 0 | 0 | 159k| 789k|6976 | 0.000000e+00 | 8.000000e+00 | Inf
1177.50/1177.56 c 1143s|610000 | 7014 | 3088k| 5.1 | 114M| 269 | 5 |3853 | 22k|3853 | 934 | 161k| 803k|7032 | 0.000000e+00 | 8.000000e+00 | Inf
1199.20/1199.23 c 1164s|620000 | 7049 | 3140k| 5.1 | 113M| 269 | 1 |3853 | 18k|3853 | 923 | 163k| 817k|7089 | 0.000000e+00 | 8.000000e+00 | Inf
1219.41/1219.42 c 1184s|630000 | 7081 | 3195k| 5.1 | 112M| 269 | - |3853 | 13k| 0 | 0 | 166k| 831k|7152 | 0.000000e+00 | 8.000000e+00 | Inf
1238.81/1238.87 c 1203s|640000 | 7136 | 3252k| 5.1 | 114M| 269 | 1 |3853 | 13k|3853 | 911 | 168k| 844k|7212 | 0.000000e+00 | 8.000000e+00 | Inf
1257.80/1257.86 c 1221s|650000 | 7085 | 3309k| 5.1 | 114M| 269 | - |3853 | 14k| 0 | 0 | 171k| 858k|7264 | 0.000000e+00 | 8.000000e+00 | Inf
1277.21/1277.21 c 1240s|660000 | 6999 | 3364k| 5.1 | 115M| 269 | - |3853 | 15k| 0 | 0 | 173k| 872k|7332 | 0.000000e+00 | 8.000000e+00 | Inf
1297.90/1297.91 c 1260s|670000 | 6997 | 3431k| 5.1 | 116M| 269 | - |3853 | 16k| 0 | 0 | 176k| 886k|7402 | 0.000000e+00 | 8.000000e+00 | Inf
1318.51/1318.58 c 1280s|680000 | 7026 | 3488k| 5.1 | 117M| 269 | 1 |3853 | 17k|3853 | 902 | 178k| 900k|7467 | 0.000000e+00 | 8.000000e+00 | Inf
1340.51/1340.56 c 1301s|690000 | 7105 | 3546k| 5.1 | 120M| 269 | 3 |3853 | 21k|3853 | 919 | 180k| 915k|7512 | 0.000000e+00 | 8.000000e+00 | Inf
1363.50/1363.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.50/1363.54 c 1324s|700000 | 7203 | 3604k| 5.1 | 120M| 269 | 1 |3853 | 16k|3853 | 935 | 182k| 930k|7554 | 0.000000e+00 | 8.000000e+00 | Inf
1385.20/1385.28 c 1345s|710000 | 7206 | 3670k| 5.2 | 121M| 269 | 1 |3853 | 15k|3853 | 911 | 185k| 943k|7610 | 0.000000e+00 | 8.000000e+00 | Inf
1405.60/1405.68 c 1365s|720000 | 7266 | 3731k| 5.2 | 122M| 269 | 1 |3853 | 16k|3853 | 907 | 188k| 958k|7674 | 0.000000e+00 | 8.000000e+00 | Inf
1426.51/1426.50 c 1385s|730000 | 7298 | 3796k| 5.2 | 124M| 269 | 9 |3853 | 18k|3853 | 931 | 190k| 972k|7731 | 0.000000e+00 | 8.000000e+00 | Inf
1449.00/1449.07 c 1407s|740000 | 7389 | 3869k| 5.2 | 126M| 269 | - |3853 | 20k| 0 | 0 | 194k| 986k|7806 | 0.000000e+00 | 8.000000e+00 | Inf
1472.21/1472.28 c 1429s|750000 | 7397 | 3936k| 5.2 | 127M| 269 | 14 |3853 | 21k|3853 | 904 | 196k|1001k|7883 | 0.000000e+00 | 8.000000e+00 | Inf
1492.21/1492.27 c 1449s|760000 | 7454 | 3995k| 5.3 | 126M| 269 | - |3853 | 14k| 0 | 0 | 198k|1015k|7940 | 0.000000e+00 | 8.000000e+00 | Inf
1511.00/1511.08 c 1467s|770000 | 7508 | 4050k| 5.3 | 127M| 269 | - |3853 | 13k|3853 | 928 | 201k|1029k|7989 | 0.000000e+00 | 8.000000e+00 | Inf
1531.31/1531.36 c 1487s|780000 | 7528 | 4117k| 5.3 | 129M| 269 | - |3853 | 16k| 0 | 0 | 203k|1043k|8040 | 0.000000e+00 | 8.000000e+00 | Inf
1551.01/1551.07 c 1506s|790000 | 7564 | 4174k| 5.3 | 128M| 269 | 13 |3853 | 10k|3853 | 912 | 206k|1056k|8088 | 0.000000e+00 | 8.000000e+00 | Inf
1570.82/1570.88 c 1525s|800000 | 7568 | 4240k| 5.3 | 130M| 269 | - |3853 | 13k| 0 | 0 | 209k|1069k|8149 | 0.000000e+00 | 8.000000e+00 | Inf
1590.30/1590.32 c 1544s|810000 | 7614 | 4299k| 5.3 | 131M| 269 | - |3853 | 15k|3853 | 937 | 213k|1083k|8208 | 0.000000e+00 | 8.000000e+00 | Inf
1598.42/1598.46 o 7
1598.42/1598.46 c *1552s|814425 | 7235 | 4321k| 5.3 | 124M| 269 | - |3853 | 14k|3853 | 927 | 214k|1088k|8213 | 0.000000e+00 | 7.000000e+00 | Inf
1608.80/1608.88 c 1562s|820000 | 7265 | 4349k| 5.3 | 124M| 269 | 15 |3853 | 12k|3853 | 907 | 215k|1096k|8264 | 0.000000e+00 | 7.000000e+00 | Inf
1627.51/1627.50 c 1580s|830000 | 7282 | 4405k| 5.3 | 125M| 269 | - |3853 | 10k|3853 | 925 | 217k|1110k|8287 | 0.000000e+00 | 7.000000e+00 | Inf
1645.80/1645.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.80/1645.87 c 1598s|840000 | 7336 | 4461k| 5.3 | 127M| 269 | 8 |3853 | 12k|3853 | 919 | 220k|1124k|8339 | 0.000000e+00 | 7.000000e+00 | Inf
1665.41/1665.48 c 1617s|850000 | 7473 | 4514k| 5.3 | 129M| 269 | - |3853 | 15k| 0 | 0 | 222k|1138k|8390 | 0.000000e+00 | 7.000000e+00 | Inf
1686.01/1686.08 c 1637s|860000 | 7662 | 4564k| 5.3 | 132M| 269 | 14 |3853 | 19k|3853 | 919 | 225k|1152k|8433 | 0.000000e+00 | 7.000000e+00 | Inf
1707.31/1707.32 c 1658s|870000 | 7711 | 4614k| 5.3 | 134M| 269 | - |3853 | 19k| 0 | 0 | 227k|1166k|8452 | 0.000000e+00 | 7.000000e+00 | Inf
1728.51/1728.53 c 1678s|880000 | 7766 | 4664k| 5.3 | 135M| 269 | 13 |3853 | 19k|3853 | 909 | 230k|1181k|8497 | 0.000000e+00 | 7.000000e+00 | Inf
1750.01/1750.02 c 1699s|890000 | 7816 | 4717k| 5.3 | 136M| 269 | - |3853 | 19k| 0 | 0 | 233k|1195k|8546 | 0.000000e+00 | 7.000000e+00 | Inf
1770.91/1770.96 c 1720s|900000 | 7893 | 4771k| 5.3 | 136M| 269 | - |3853 | 17k| 0 | 0 | 235k|1209k|8599 | 0.000000e+00 | 7.000000e+00 | Inf
1791.41/1791.41 c 1740s|910000 | 8042 | 4830k| 5.3 | 137M| 269 | - |3853 | 16k| 0 | 0 | 237k|1222k|8690 | 0.000000e+00 | 7.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1747.94
1800.02/1800.00 c Solving Nodes : 914315
1800.02/1800.00 c Primal Bound : +7.00000000000000e+00 (190 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.05 s SATISFIABLE
1800.02/1800.05 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.05 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.05 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.05 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.05 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.02/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105
1800.02/1800.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
1800.02/1800.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
1800.02/1800.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
1800.02/1800.05 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 -x2
1800.02/1800.05 v -x1
1800.02/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.05 c Solving Time : 1747.94
1800.02/1800.05 c Original Problem :
1800.02/1800.05 c Problem name : HOME/instance-2693566-1277910928.wbo
1800.02/1800.05 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.02/1800.05 c Constraints : 4576 initial, 4576 maximal
1800.02/1800.05 c Presolved Problem :
1800.02/1800.05 c Problem name : t_HOME/instance-2693566-1277910928.wbo
1800.02/1800.05 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.02/1800.05 c Constraints : 4434 initial, 24430 maximal
1800.02/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.02/1800.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.02/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.02/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c linear : 0.08 0 0 0 1876 0 85 67 0
1800.02/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.05 c root node : - 1696 - - 3392 - - - -
1800.02/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.05 c integral : 0 0 0 543113 0 54 787 0 0 952854
1800.02/1800.05 c indicator : 1811 0 4906492 65715 0 497 4261715 0 0 0
1800.02/1800.05 c setppc : 5 6 4904044 59752 0 8759 709344 0 0 0
1800.02/1800.05 c linear : 1811 6 4934331 65916 0 234317 20358991 238433 0 0
1800.02/1800.05 c logicor : 807+ 6 1739954 31591 0 182270 3839560 0 0 0
1800.02/1800.05 c bounddisjunction : 0+ 0 60212 0 0 2 2724 0 0 0
1800.02/1800.05 c countsols : 0 0 0 31591 0 0 0 0 0 0
1800.02/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.05 c integral : 20.68 0.00 0.00 20.68 0.00
1800.02/1800.05 c indicator : 21.52 0.01 16.05 5.46 0.00
1800.02/1800.05 c setppc : 5.75 0.00 5.73 0.02 0.00
1800.02/1800.05 c linear : 154.10 0.00 150.33 3.77 0.00
1800.02/1800.05 c logicor : 230.98 0.00 230.70 0.28 0.00
1800.02/1800.05 c bounddisjunction : 0.08 0.00 0.08 0.00 0.00
1800.02/1800.05 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.02/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.05 c vbounds : 1.24 2 0 0
1800.02/1800.05 c rootredcost : 1.10 59 0 1696
1800.02/1800.05 c pseudoobj : 174.44 4951716 8069 3136808
1800.02/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.05 c propagation : 20.59 433417 433280 2712164 26.9 20839 17.1 -
1800.02/1800.05 c infeasible LP : 9.87 33398 33398 278150 43.4 674 12.8 0
1800.02/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.05 c pseudo solution : 0.04 171 171 833 16.0 190 6.1 -
1800.02/1800.05 c applied globally : - - - 1228095 22.2 - - -
1800.02/1800.05 c applied locally : - - - 0 0.0 - - -
1800.02/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.05 c cut pool : 0.00 5 - - 19 - (maximal pool size: 265)
1800.02/1800.05 c redcost : 29.52 555523 0 1013348 0 0
1800.02/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.05 c intobj : 0.00 0 0 0 0 0
1800.02/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.05 c gomory : 0.05 6 0 0 1530 0
1800.02/1800.05 c strongcg : 0.04 6 0 0 79 0
1800.02/1800.05 c cmir : 0.01 6 0 0 1 0
1800.02/1800.05 c flowcover : 0.07 6 0 0 3 0
1800.02/1800.05 c clique : 0.00 6 0 0 0 0
1800.02/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.05 c mcf : 0.00 1 0 0 0 0
1800.02/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.05 c Pricers : Time Calls Vars
1800.02/1800.05 c problem variables: 0.00 0 0
1800.02/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.05 c relpscost : 20.34 477114 54 787 0 0 952854
1800.02/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.05 c inference : 4.99 31533 0 0 0 0 63066
1800.02/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.05 c random : 0.00 0 0 0 0 0 0
1800.02/1800.05 c Primal Heuristics : Time Calls Found
1800.02/1800.05 c LP solutions : 0.10 - 58
1800.02/1800.05 c pseudo solutions : 0.00 - 0
1800.02/1800.05 c feaspump : 0.05 1 0
1800.02/1800.05 c oneopt : 0.55 52 0
1800.02/1800.05 c intshifting : 0.01 9 0
1800.02/1800.05 c crossover : 1.53 55 0
1800.02/1800.05 c fracdiving : 0.40 445 0
1800.02/1800.05 c veclendiving : 0.54 445 0
1800.02/1800.05 c linesearchdiving : 0.40 445 0
1800.02/1800.05 c guideddiving : 0.41 445 0
1800.02/1800.05 c coefdiving : 0.41 446 0
1800.02/1800.05 c pscostdiving : 0.50 446 0
1800.02/1800.05 c rootsoldiving : 0.54 431 0
1800.02/1800.05 c objpscostdiving : 0.43 432 0
1800.02/1800.05 c trivial : 0.02 2 0
1800.02/1800.05 c simplerounding : 0.95 480814 0
1800.02/1800.05 c zirounding : 0.62 1000 0
1800.02/1800.05 c rounding : 1.61 9822 0
1800.02/1800.05 c shifting : 1.16 3061 0
1800.02/1800.05 c twoopt : 0.00 0 0
1800.02/1800.05 c fixandinfer : 0.00 0 0
1800.02/1800.05 c intdiving : 0.00 0 0
1800.02/1800.05 c actconsdiving : 0.00 0 0
1800.02/1800.05 c octane : 0.00 0 0
1800.02/1800.05 c rens : 0.03 1 0
1800.02/1800.05 c rins : 0.00 0 0
1800.02/1800.05 c localbranching : 0.00 0 0
1800.02/1800.05 c mutation : 0.00 0 0
1800.02/1800.05 c dins : 0.00 0 0
1800.02/1800.05 c undercover : 0.00 0 0
1800.02/1800.05 c nlp : 0.29 0 0
1800.02/1800.05 c trysol : 2.35 7145 132
1800.02/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.05 c dual LP : 619.56 551267 4851379 8.80 7830.36
1800.02/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.05 c diving/probing LP: 0.43 208 2443 11.75 5681.40
1800.02/1800.05 c strong branching : 16.68 8690 159189 18.32 9543.71
1800.02/1800.05 c (at root node) : - 28 4281 152.89 -
1800.02/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.05 c B&B Tree :
1800.02/1800.05 c number of runs : 1
1800.02/1800.05 c nodes : 914315
1800.02/1800.05 c nodes (total) : 914315
1800.02/1800.05 c nodes left : 8072
1800.02/1800.05 c max depth : 269
1800.02/1800.05 c max depth (total): 269
1800.02/1800.05 c backtracks : 80485 (8.8%)
1800.02/1800.05 c delayed cutoffs : 65031
1800.02/1800.05 c repropagations : 2274239 (5913682 domain reductions, 60972 cutoffs)
1800.02/1800.05 c avg switch length: 6.52
1800.02/1800.05 c switching time : 237.61
1800.02/1800.05 c Solution :
1800.02/1800.05 c Solutions found : 190 (59 improvements)
1800.02/1800.05 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.02/1800.05 c Primal Bound : +7.00000000000000e+00 (in run 1, after 814425 nodes, 1551.82 seconds, depth 41, found by <relaxation>)
1800.02/1800.05 c Dual Bound : +0.00000000000000e+00
1800.02/1800.05 c Gap : infinite
1800.02/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.05 c Root Iterations : 253
1800.21/1800.20 c Time complete: 1800.22.