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-2705561-1278572956.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 1816 impl, 0 cont) and 4524 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, 142 impls, 6 clqs
0.07/0.08 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.07/0.09 c (round 3) 53 del vars, 176 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.07/0.09 c (round 4) 144 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.09/0.10 c (round 5) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 142 impls, 6 clqs
0.09/0.11 c (round 6) 146 del vars, 200 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 142 impls, 6 clqs
0.09/0.15 c (0.1s) probing: 101/1974 (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 (7 rounds):
0.09/0.15 c 146 deleted vars, 200 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.15 c 3611 implications, 6 cliques
0.09/0.15 c presolved problem has 3717 variables (1974 bin, 0 int, 1743 impl, 0 cont) and 4324 constraints
0.09/0.15 c 41 constraints of type <setppc>
0.09/0.15 c 1743 constraints of type <linear>
0.09/0.15 c 1743 constraints of type <indicator>
0.09/0.15 c 797 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.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 0 | 22 | - | 14M| 0 | 13 |3717 |4324 |3717 | 838 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 66 | - | 14M| 0 | 33 |3717 |4324 |3717 | 861 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 91 | - | 14M| 0 | 32 |3717 |4324 |3717 | 881 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.3s| 1 | 0 | 130 | - | 14M| 0 | 28 |3717 |4324 |3717 | 889 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 195 | - | 14M| 0 | 54 |3717 |4324 |3717 | 901 | 63 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 324 | - | 15M| 0 | 42 |3717 |4324 |3717 | 909 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.56 c 0.5s| 1 | 0 | 387 | - | 15M| 0 | 47 |3717 |4324 |3717 | 917 | 79 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.80 c 0.8s| 1 | 2 | 387 | - | 15M| 0 | 47 |3717 |4324 |3717 | 917 | 79 | 0 | 16 | 0.000000e+00 | -- | Inf
1.49/1.56 o 88690
1.49/1.56 c y 1.5s| 16 | 15 | 1063 | 45.1 | 15M| 14 | - |3717 |4324 | 0 | 0 | 135 | 0 | 198 | 0.000000e+00 | 8.869000e+04 | Inf
13.69/13.74 o 794
13.69/13.74 c *13.7s| 7403 | 7392 | 7699 | 1.0 | 29M| 934 | - |3717 |4333 |3717 | 959 | 889 | 9 |1007 | 0.000000e+00 | 7.940000e+02 | Inf
15.69/15.75 o 445
15.69/15.75 c *15.7s| 9159 | 8408 | 8238 | 0.9 | 31M|1281 | - |3717 |4340 |3717 | 962 | 960 | 16 |1020 | 0.000000e+00 | 4.450000e+02 | Inf
16.59/16.66 c 16.6s| 10000 | 9242 | 8982 | 0.9 | 33M|1304 | 0 |3717 |4355 |3717 | 954 |1023 | 31 |1049 | 0.000000e+00 | 4.450000e+02 | Inf
16.69/16.75 o 410
16.69/16.75 c *16.7s| 10056 | 9184 | 9118 | 0.9 | 33M|1304 | - |3717 |4363 |3717 | 956 |1032 | 39 |1050 | 0.000000e+00 | 4.100000e+02 | Inf
18.99/19.08 o 409
18.99/19.08 c *19.1s| 11727 | 10827 | 10062 | 0.8 | 36M|1304 | - |3717 |4413 |3717 | 949 |1117 | 89 |1125 | 0.000000e+00 | 4.090000e+02 | Inf
19.09/19.10 o 407
19.09/19.10 c *19.1s| 11731 | 10814 | 10072 | 0.8 | 36M|1304 | - |3717 |4415 |3717 | 949 |1117 | 91 |1125 | 0.000000e+00 | 4.070000e+02 | Inf
19.09/19.16 o 387
19.09/19.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.09/19.16 c *19.1s| 11761 | 10727 | 10111 | 0.8 | 36M|1304 | - |3717 |4441 |3717 | 949 |1117 | 117 |1125 | 0.000000e+00 | 3.870000e+02 | Inf
19.80/19.87 o 356
19.80/19.87 c *19.8s| 12047 | 10720 | 11192 | 0.9 | 38M|1304 | - |3717 |4648 |3717 | 951 |1262 | 324 |1157 | 0.000000e+00 | 3.560000e+02 | Inf
19.89/19.92 o 332
19.89/19.92 c *19.9s| 12078 | 10435 | 11228 | 0.9 | 37M|1304 | - |3717 |4654 |3717 | 954 |1265 | 330 |1157 | 0.000000e+00 | 3.320000e+02 | Inf
20.49/20.57 o 328
20.49/20.57 c *20.5s| 12513 | 10750 | 11537 | 0.9 | 38M|1304 | - |3717 |4739 |3717 | 952 |1283 | 415 |1161 | 0.000000e+00 | 3.280000e+02 | Inf
20.49/20.59 o 294
20.49/20.59 c *20.6s| 12515 | 10225 | 11546 | 0.9 | 37M|1304 | - |3717 |4746 |3717 | 952 |1283 | 422 |1161 | 0.000000e+00 | 2.940000e+02 | Inf
22.29/22.39 o 293
22.29/22.39 c *22.4s| 13245 | 10656 | 13985 | 1.0 | 40M|1304 | - |3717 |5209 |3717 | 947 |1609 | 917 |1252 | 0.000000e+00 | 2.930000e+02 | Inf
22.59/22.65 o 273
22.59/22.65 c *22.6s| 13339 | 10211 | 14526 | 1.1 | 39M|1304 | - |3717 |5367 |3717 | 950 |1698 |1089 |1260 | 0.000000e+00 | 2.730000e+02 | Inf
23.29/23.32 o 256
23.29/23.32 c *23.3s| 13599 | 9904 | 15391 | 1.1 | 39M|1304 | - |3717 |5490 |3717 | 955 |1793 |1241 |1278 | 0.000000e+00 | 2.560000e+02 | Inf
23.79/23.81 o 216
23.79/23.81 c *23.8s| 13819 | 8993 | 15899 | 1.1 | 38M|1304 | - |3717 |5635 |3717 | 945 |1832 |1391 |1299 | 0.000000e+00 | 2.160000e+02 | Inf
23.79/23.82 o 215
23.79/23.82 c *23.8s| 13820 | 8964 | 15899 | 1.1 | 38M|1304 | - |3717 |5635 |3717 | 945 |1832 |1391 |1299 | 0.000000e+00 | 2.150000e+02 | Inf
23.89/23.96 o 211
23.89/23.96 c *23.9s| 13887 | 8887 | 16071 | 1.1 | 38M|1304 | - |3717 |5649 |3717 | 944 |1867 |1413 |1300 | 0.000000e+00 | 2.110000e+02 | Inf
23.99/24.01 o 192
23.99/24.01 c *24.0s| 13917 | 8300 | 16108 | 1.1 | 37M|1304 | - |3717 |5650 |3717 | 945 |1868 |1414 |1300 | 0.000000e+00 | 1.920000e+02 | Inf
24.39/24.41 o 186
24.39/24.41 c *24.4s| 14056 | 8188 | 16883 | 1.2 | 37M|1304 | - |3717 |5754 |3717 | 952 |1974 |1533 |1335 | 0.000000e+00 | 1.860000e+02 | Inf
25.79/25.81 o 183
25.79/25.81 c *25.8s| 14599 | 8347 | 19356 | 1.3 | 40M|1304 | - |3717 |6110 |3717 | 947 |2218 |1950 |1400 | 0.000000e+00 | 1.830000e+02 | Inf
28.49/28.54 o 153
28.49/28.54 c *28.5s| 15757 | 7592 | 23618 | 1.5 | 40M|1304 | - |3717 |7032 |3717 | 954 |2606 |2991 |1459 | 0.000000e+00 | 1.530000e+02 | Inf
28.49/28.55 o 144
28.49/28.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.49/28.55 c *28.5s| 15758 | 7237 | 23618 | 1.5 | 39M|1304 | - |3717 |7032 |3717 | 954 |2606 |2991 |1459 | 0.000000e+00 | 1.440000e+02 | Inf
28.69/28.71 o 130
28.69/28.71 c *28.7s| 15812 | 6728 | 23852 | 1.5 | 38M|1304 | - |3717 |7106 |3717 | 958 |2623 |3080 |1471 | 0.000000e+00 | 1.300000e+02 | Inf
28.79/28.86 o 119
28.79/28.86 c *28.8s| 15845 | 6364 | 24252 | 1.5 | 38M|1304 | - |3717 |7125 |3717 | 943 |2642 |3111 |1484 | 0.000000e+00 | 1.190000e+02 | Inf
28.99/29.01 o 111
28.99/29.01 c *29.0s| 15915 | 6063 | 24468 | 1.5 | 37M|1304 | - |3717 |7203 |3717 | 944 |2662 |3199 |1488 | 0.000000e+00 | 1.110000e+02 | Inf
29.69/29.70 o 108
29.69/29.70 c *29.7s| 16192 | 6010 | 26280 | 1.6 | 38M|1304 | - |3717 |7486 |3717 | 945 |2757 |3554 |1519 | 0.000000e+00 | 1.080000e+02 | Inf
29.69/29.71 o 100
29.69/29.71 c *29.7s| 16193 | 5670 | 26280 | 1.6 | 37M|1304 | - |3717 |7486 |3717 | 945 |2757 |3554 |1519 | 0.000000e+00 | 1.000000e+02 | Inf
30.19/30.26 o 98
30.19/30.26 c *30.2s| 16364 | 5583 | 27552 | 1.7 | 37M|1304 | - |3717 |7520 |3717 | 943 |2850 |3694 |1544 | 0.000000e+00 | 9.800000e+01 | Inf
32.00/32.02 o 96
32.00/32.02 c *32.0s| 16815 | 5566 | 33205 | 2.0 | 40M|1304 | - |3717 |7612 |3717 | 950 |3360 |4182 |1624 | 0.000000e+00 | 9.600000e+01 | Inf
39.69/39.75 o 95
39.69/39.75 c *39.7s| 19691 | 5986 | 51002 | 2.6 | 47M|1304 | - |3717 |7530 |3717 | 948 |4977 |7398 |1689 | 0.000000e+00 | 9.500000e+01 | Inf
39.69/39.76 o 87
39.69/39.76 c *39.7s| 19692 | 5391 | 51007 | 2.6 | 46M|1304 | - |3717 |7530 |3717 | 949 |4978 |7398 |1689 | 0.000000e+00 | 8.700000e+01 | Inf
40.49/40.58 c 40.6s| 20000 | 5410 | 52556 | 2.6 | 46M|1304 | - |3717 |7105 | 0 | 0 |5085 |7819 |1690 | 0.000000e+00 | 8.700000e+01 | Inf
40.60/40.61 o 85
40.60/40.61 c *40.6s| 20017 | 5268 | 52656 | 2.6 | 46M|1304 | - |3717 |7121 |3717 | 954 |5087 |7841 |1690 | 0.000000e+00 | 8.500000e+01 | Inf
40.60/40.69 o 75
40.60/40.69 c *40.7s| 20025 | 4599 | 52718 | 2.6 | 43M|1304 | - |3717 |7066 |3717 | 958 |5091 |7857 |1690 | 0.000000e+00 | 7.500000e+01 | Inf
41.29/41.39 o 71
41.29/41.39 c *41.4s| 20236 | 4014 | 55171 | 2.7 | 39M|1304 | - |3717 |6668 |3717 | 958 |5322 |8083 |1693 | 0.000000e+00 | 7.100000e+01 | Inf
50.39/50.50 o 48
50.39/50.50 c *50.5s| 24351 | 3054 | 72142 | 2.9 | 39M|1304 | - |3717 |7368 |3717 | 932 |7087 | 13k|1706 | 0.000000e+00 | 4.800000e+01 | Inf
61.39/61.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.39/61.47 c 61.4s| 30000 | 3245 | 96376 | 3.2 | 44M|1304 | - |3717 |6840 | 0 | 0 |8645 | 20k|1739 | 0.000000e+00 | 4.800000e+01 | Inf
62.09/62.14 o 40
62.09/62.14 c *62.1s| 30366 | 2855 | 97442 | 3.2 | 42M|1304 | - |3717 |7112 |3717 | 937 |8755 | 20k|1739 | 0.000000e+00 | 4.000000e+01 | Inf
69.09/69.12 o 39
69.09/69.12 c *69.1s| 34172 | 2856 |112741 | 3.3 | 44M|1304 | - |3717 |7624 |3717 | 918 |9790 | 25k|1741 | 0.000000e+00 | 3.900000e+01 | Inf
69.79/69.80 o 36
69.79/69.80 c *69.8s| 34514 | 2740 |114210 | 3.3 | 44M|1304 | - |3717 |6719 |3717 | 949 |9906 | 26k|1741 | 0.000000e+00 | 3.600000e+01 | Inf
69.79/69.85 o 26
69.79/69.85 c *69.8s| 34539 | 2261 |114247 | 3.3 | 42M|1304 | - |3717 |6599 |3717 | 950 |9907 | 26k|1741 | 0.000000e+00 | 2.600000e+01 | Inf
72.49/72.56 o 11
72.49/72.56 c *72.5s| 36138 | 1567 |122678 | 3.4 | 37M|1304 | - |3717 |5444 |3717 | 957 | 10k| 28k|1741 | 0.000000e+00 | 1.100000e+01 | Inf
74.70/74.73 o 9
74.70/74.73 c *74.7s| 37694 | 1538 |130459 | 3.5 | 37M|1304 | - |3717 |5849 |3717 | 938 | 10k| 30k|1741 | 0.000000e+00 | 9.000000e+00 | Inf
74.70/74.74 o 8
74.70/74.74 c *74.7s| 37695 | 1493 |130459 | 3.5 | 37M|1304 | - |3717 |5849 |3717 | 938 | 10k| 30k|1741 | 0.000000e+00 | 8.000000e+00 | Inf
78.10/78.18 c 78.2s| 40000 | 1597 |144840 | 3.6 | 38M|1304 | 1 |3717 |6301 |3717 | 931 | 11k| 33k|1741 | 0.000000e+00 | 8.000000e+00 | Inf
79.99/80.07 o 7
79.99/80.07 c *80.0s| 41319 | 1632 |151784 | 3.7 | 38M|1304 | - |3717 |6864 |3717 | 933 | 11k| 34k|1741 | 0.000000e+00 | 7.000000e+00 | Inf
84.90/84.91 o 1
84.90/84.91 c *84.9s| 44681 | 1307 |169404 | 3.8 | 36M|1304 | - |3717 |7441 |3717 | 931 | 12k| 39k|1741 | 0.000000e+00 | 1.000000e+00 | Inf
92.39/92.44 c 92.4s| 50000 | 1392 |200911 | 4.0 | 37M|1304 | - |3717 |7601 | 0 | 0 | 13k| 46k|1741 | 0.000000e+00 | 1.000000e+00 | Inf
106.89/106.99 c 107s| 60000 | 1501 |260530 | 4.3 | 40M|1304 | 19 |3717 |9463 |3717 | 925 | 16k| 60k|1772 | 0.000000e+00 | 1.000000e+00 | Inf
121.59/121.64 c 122s| 70000 | 1691 |315328 | 4.5 | 43M|1304 | 12 |3717 | 12k|3717 | 934 | 18k| 73k|1853 | 0.000000e+00 | 1.000000e+00 | Inf
136.99/137.06 c 137s| 80000 | 1783 |370344 | 4.6 | 45M|1304 | - |3717 | 13k|3717 | 938 | 20k| 87k|1985 | 0.000000e+00 | 1.000000e+00 | Inf
154.30/154.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.30/154.30 c 154s| 90000 | 1902 |433201 | 4.8 | 47M|1304 | - |3717 | 14k| 0 | 0 | 22k| 100k|2120 | 0.000000e+00 | 1.000000e+00 | Inf
171.39/171.40 c 171s|100000 | 1926 |491486 | 4.9 | 48M|1304 | - |3717 | 15k|3717 | 927 | 25k| 113k|2245 | 0.000000e+00 | 1.000000e+00 | Inf
189.09/189.16 c 189s|110000 | 1839 |552984 | 5.0 | 48M|1304 | 1 |3717 | 14k|3717 | 920 | 27k| 127k|2404 | 0.000000e+00 | 1.000000e+00 | Inf
206.49/206.51 c 206s|120000 | 1920 |613923 | 5.1 | 49M|1304 | - |3717 | 16k|3717 | 971 | 29k| 140k|2542 | 0.000000e+00 | 1.000000e+00 | Inf
224.99/225.08 c 225s|130000 | 1895 |679764 | 5.2 | 49M|1304 | 1 |3717 | 12k|3717 | 943 | 30k| 154k|2838 | 0.000000e+00 | 1.000000e+00 | Inf
240.00/240.09 c 240s|140000 | 1852 |731751 | 5.2 | 49M|1304 | 19 |3717 | 13k|3717 | 938 | 32k| 167k|2908 | 0.000000e+00 | 1.000000e+00 | Inf
256.50/256.50 c 256s|150000 | 1772 |786833 | 5.2 | 49M|1304 | - |3717 | 13k| 0 | 0 | 34k| 181k|3022 | 0.000000e+00 | 1.000000e+00 | Inf
274.10/274.19 c 274s|160000 | 1709 |849237 | 5.3 | 48M|1304 | - |3717 | 13k| 0 | 0 | 36k| 196k|3138 | 0.000000e+00 | 1.000000e+00 | Inf
290.50/290.51 c 290s|170000 | 1669 |908817 | 5.3 | 48M|1304 | 1 |3717 | 13k|3717 | 941 | 38k| 209k|3311 | 0.000000e+00 | 1.000000e+00 | Inf
306.79/306.83 c 307s|180000 | 1545 |960983 | 5.3 | 46M|1304 | - |3717 | 11k| 0 | 0 | 41k| 223k|3456 | 0.000000e+00 | 1.000000e+00 | Inf
323.70/323.74 c 324s|190000 | 1560 | 1027k| 5.4 | 49M|1304 | 1 |3717 | 16k|3717 | 958 | 42k| 236k|3534 | 0.000000e+00 | 1.000000e+00 | Inf
341.40/341.44 c 341s|200000 | 1557 | 1087k| 5.4 | 49M|1304 | - |3717 | 18k| 0 | 0 | 44k| 250k|3643 | 0.000000e+00 | 1.000000e+00 | Inf
359.70/359.74 c 360s|210000 | 1510 | 1142k| 5.4 | 49M|1304 | 26 |3717 | 18k|3717 | 927 | 46k| 264k|3739 | 0.000000e+00 | 1.000000e+00 | Inf
376.29/376.32 c 376s|220000 | 1418 | 1196k| 5.4 | 47M|1304 | - |3717 | 14k| 0 | 0 | 48k| 277k|3828 | 0.000000e+00 | 1.000000e+00 | Inf
392.50/392.55 c 393s|230000 | 1342 | 1254k| 5.5 | 46M|1304 | 12 |3717 | 12k|3717 | 939 | 50k| 291k|3943 | 0.000000e+00 | 1.000000e+00 | Inf
409.70/409.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.70/409.75 c 410s|240000 | 1435 | 1318k| 5.5 | 48M|1304 | 19 |3717 | 14k|3717 | 953 | 52k| 305k|4003 | 0.000000e+00 | 1.000000e+00 | Inf
427.20/427.27 c 427s|250000 | 1305 | 1382k| 5.5 | 46M|1304 | 1 |3717 | 11k|3717 | 953 | 54k| 319k|4117 | 0.000000e+00 | 1.000000e+00 | Inf
444.50/444.55 c 445s|260000 | 1351 | 1450k| 5.6 | 46M|1304 | - |3717 | 10k| 0 | 0 | 56k| 333k|4293 | 0.000000e+00 | 1.000000e+00 | Inf
459.40/459.42 c 459s|270000 | 1424 | 1499k| 5.6 | 48M|1304 | - |3717 | 14k| 0 | 0 | 58k| 346k|4339 | 0.000000e+00 | 1.000000e+00 | Inf
475.20/475.22 c 475s|280000 | 1478 | 1552k| 5.5 | 49M|1304 | 10 |3717 | 15k|3717 | 921 | 60k| 360k|4412 | 0.000000e+00 | 1.000000e+00 | Inf
491.50/491.55 c 492s|290000 | 1471 | 1603k| 5.5 | 50M|1304 | - |3717 | 15k| 0 | 0 | 63k| 373k|4471 | 0.000000e+00 | 1.000000e+00 | Inf
508.89/508.93 c 509s|300000 | 1516 | 1657k| 5.5 | 51M|1304 | - |3717 | 18k| 0 | 0 | 66k| 387k|4511 | 0.000000e+00 | 1.000000e+00 | Inf
527.60/527.63 c 528s|310000 | 1502 | 1711k| 5.5 | 52M|1304 | 23 |3717 | 19k|3717 | 928 | 68k| 402k|4604 | 0.000000e+00 | 1.000000e+00 | Inf
545.60/545.60 c 546s|320000 | 1490 | 1765k| 5.5 | 51M|1304 | 1 |3717 | 18k|3717 | 929 | 70k| 415k|4669 | 0.000000e+00 | 1.000000e+00 | Inf
565.50/565.56 c 566s|330000 | 1675 | 1822k| 5.5 | 55M|1304 | - |3717 | 23k| 0 | 0 | 72k| 428k|4711 | 0.000000e+00 | 1.000000e+00 | Inf
586.30/586.36 c 586s|340000 | 1791 | 1880k| 5.5 | 57M|1304 | 1 |3717 | 26k|3717 | 958 | 74k| 442k|4753 | 0.000000e+00 | 1.000000e+00 | Inf
607.70/607.71 c 608s|350000 | 1589 | 1937k| 5.5 | 54M|1304 | - |3717 | 21k| 0 | 0 | 76k| 456k|4845 | 0.000000e+00 | 1.000000e+00 | Inf
628.50/628.50 c 628s|360000 | 1588 | 2003k| 5.6 | 55M|1304 | 7 |3717 | 22k|3717 | 940 | 78k| 469k|4909 | 0.000000e+00 | 1.000000e+00 | Inf
649.89/649.99 c 650s|370000 | 1684 | 2066k| 5.6 | 57M|1304 | 25 |3717 | 26k|3717 | 953 | 80k| 482k|4946 | 0.000000e+00 | 1.000000e+00 | Inf
672.00/672.08 c 672s|380000 | 1698 | 2129k| 5.6 | 55M|1304 | - |3717 | 18k| 0 | 0 | 82k| 496k|5129 | 0.000000e+00 | 1.000000e+00 | Inf
691.80/691.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.80/691.88 c 692s|390000 | 1800 | 2192k| 5.6 | 56M|1304 | 13 |3717 | 20k|3717 | 955 | 85k| 509k|5174 | 0.000000e+00 | 1.000000e+00 | Inf
712.00/712.09 c 712s|400000 | 1834 | 2257k| 5.6 | 57M|1304 | 1 |3717 | 20k|3717 | 946 | 87k| 523k|5224 | 0.000000e+00 | 1.000000e+00 | Inf
731.41/731.44 c 731s|410000 | 1864 | 2312k| 5.6 | 58M|1304 | - |3717 | 20k| 0 | 0 | 89k| 537k|5270 | 0.000000e+00 | 1.000000e+00 | Inf
753.51/753.56 c 754s|420000 | 1963 | 2381k| 5.7 | 61M|1304 | - |3717 | 25k| 0 | 0 | 91k| 550k|5343 | 0.000000e+00 | 1.000000e+00 | Inf
774.20/774.21 c 774s|430000 | 1941 | 2445k| 5.7 | 61M|1304 | - |3717 | 22k| 0 | 0 | 93k| 564k|5397 | 0.000000e+00 | 1.000000e+00 | Inf
795.10/795.11 c 795s|440000 | 1960 | 2502k| 5.7 | 62M|1304 | 1 |3717 | 23k|3717 | 911 | 95k| 578k|5439 | 0.000000e+00 | 1.000000e+00 | Inf
818.00/818.04 c 818s|450000 | 2029 | 2570k| 5.7 | 65M|1304 | - |3717 | 26k| 0 | 0 | 97k| 592k|5485 | 0.000000e+00 | 1.000000e+00 | Inf
842.11/842.13 c 842s|460000 | 2084 | 2641k| 5.7 | 66M|1304 | 7 |3717 | 28k|3717 | 942 | 99k| 606k|5565 | 0.000000e+00 | 1.000000e+00 | Inf
867.20/867.23 c 867s|470000 | 2136 | 2723k| 5.8 | 67M|1304 | - |3717 | 28k| 0 | 0 | 101k| 619k|5614 | 0.000000e+00 | 1.000000e+00 | Inf
893.00/893.07 c 893s|480000 | 2172 | 2799k| 5.8 | 69M|1304 | 9 |3717 | 31k|3717 | 958 | 103k| 633k|5675 | 0.000000e+00 | 1.000000e+00 | Inf
919.61/919.69 c 920s|490000 | 2264 | 2883k| 5.9 | 71M|1304 | - |3717 | 33k| 0 | 0 | 105k| 648k|5753 | 0.000000e+00 | 1.000000e+00 | Inf
946.10/946.19 c 946s|500000 | 2365 | 2955k| 5.9 | 73M|1304 | 24 |3717 | 35k|3717 | 947 | 106k| 662k|5808 | 0.000000e+00 | 1.000000e+00 | Inf
973.10/973.12 c 973s|510000 | 2395 | 3022k| 5.9 | 75M|1304 | 18 |3717 | 36k|3717 | 947 | 107k| 677k|5859 | 0.000000e+00 | 1.000000e+00 | Inf
999.71/999.76 c 1000s|520000 | 2422 | 3090k| 5.9 | 75M|1304 | - |3717 | 35k| 0 | 0 | 109k| 692k|5909 | 0.000000e+00 | 1.000000e+00 | Inf
1027.50/1027.50 c 1027s|530000 | 2416 | 3163k| 6.0 | 76M|1304 | - |3717 | 34k| 0 | 0 | 110k| 707k|5967 | 0.000000e+00 | 1.000000e+00 | Inf
1054.20/1054.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.20/1054.20 c 1054s|540000 | 2454 | 3233k| 6.0 | 77M|1304 | - |3717 | 36k| 0 | 0 | 112k| 723k|6030 | 0.000000e+00 | 1.000000e+00 | Inf
1080.70/1080.75 c 1081s|550000 | 2448 | 3299k| 6.0 | 76M|1304 | - |3717 | 31k| 0 | 0 | 113k| 739k|6079 | 0.000000e+00 | 1.000000e+00 | Inf
1107.40/1107.42 c 1107s|560000 | 2444 | 3366k| 6.0 | 76M|1304 | 13 |3717 | 31k|3717 | 944 | 115k| 753k|6131 | 0.000000e+00 | 1.000000e+00 | Inf
1132.92/1132.97 c 1133s|570000 | 2409 | 3431k| 6.0 | 75M|1304 | 23 |3717 | 28k|3717 | 954 | 117k| 767k|6188 | 0.000000e+00 | 1.000000e+00 | Inf
1157.40/1157.46 c 1157s|580000 | 2463 | 3495k| 6.0 | 76M|1304 | 1 |3717 | 29k|3717 | 942 | 119k| 781k|6239 | 0.000000e+00 | 1.000000e+00 | Inf
1180.60/1180.64 c 1181s|590000 | 2415 | 3551k| 6.0 | 76M|1304 | 1 |3717 | 29k|3717 | 926 | 121k| 795k|6275 | 0.000000e+00 | 1.000000e+00 | Inf
1204.31/1204.37 c 1204s|600000 | 2524 | 3606k| 6.0 | 77M|1304 | - |3717 | 30k| 0 | 0 | 123k| 810k|6309 | 0.000000e+00 | 1.000000e+00 | Inf
1227.91/1227.99 c 1228s|610000 | 2387 | 3663k| 6.0 | 75M|1304 | - |3717 | 25k| 0 | 0 | 125k| 824k|6344 | 0.000000e+00 | 1.000000e+00 | Inf
1249.81/1249.83 c 1250s|620000 | 2491 | 3721k| 6.0 | 77M|1304 | - |3717 | 28k| 0 | 0 | 127k| 838k|6381 | 0.000000e+00 | 1.000000e+00 | Inf
1272.01/1272.08 c 1272s|630000 | 2544 | 3774k| 6.0 | 78M|1304 | 31 |3717 | 29k|3717 | 968 | 129k| 852k|6414 | 0.000000e+00 | 1.000000e+00 | Inf
1295.72/1295.73 c 1296s|640000 | 2648 | 3835k| 6.0 | 79M|1304 | 14 |3717 | 30k|3717 | 958 | 131k| 866k|6448 | 0.000000e+00 | 1.000000e+00 | Inf
1321.21/1321.20 c 1321s|650000 | 2742 | 3899k| 6.0 | 82M|1304 | 14 |3717 | 32k|3717 | 951 | 134k| 880k|6494 | 0.000000e+00 | 1.000000e+00 | Inf
1347.01/1347.05 c 1347s|660000 | 2895 | 3962k| 6.0 | 84M|1304 | 8 |3717 | 35k|3717 | 979 | 136k| 895k|6537 | 0.000000e+00 | 1.000000e+00 | Inf
1372.41/1372.40 c 1372s|670000 | 3057 | 4022k| 6.0 | 86M|1304 | - |3717 | 37k| 0 | 0 | 138k| 910k|6570 | 0.000000e+00 | 1.000000e+00 | Inf
1398.71/1398.71 c 1399s|680000 | 3161 | 4086k| 6.0 | 88M|1304 | - |3717 | 37k| 0 | 0 | 140k| 924k|6607 | 0.000000e+00 | 1.000000e+00 | Inf
1426.61/1426.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1426.61/1426.70 c 1427s|690000 | 3401 | 4155k| 6.0 | 90M|1304 | - |3717 | 38k|3717 | 975 | 143k| 939k|6635 | 0.000000e+00 | 1.000000e+00 | Inf
1453.71/1453.73 c 1454s|700000 | 3404 | 4218k| 6.0 | 90M|1304 | 1 |3717 | 37k|3717 | 982 | 145k| 954k|6662 | 0.000000e+00 | 1.000000e+00 | Inf
1480.82/1480.80 c 1481s|710000 | 3374 | 4281k| 6.0 | 91M|1304 | 17 |3717 | 37k|3717 | 977 | 147k| 969k|6689 | 0.000000e+00 | 1.000000e+00 | Inf
1507.51/1507.50 c 1507s|720000 | 3359 | 4343k| 6.0 | 92M|1304 | - |3717 | 38k| 0 | 0 | 149k| 985k|6719 | 0.000000e+00 | 1.000000e+00 | Inf
1533.71/1533.76 c 1534s|730000 | 3387 | 4406k| 6.0 | 93M|1304 | - |3717 | 40k| 0 | 0 | 151k|1000k|6740 | 0.000000e+00 | 1.000000e+00 | Inf
1560.12/1560.19 c 1560s|740000 | 3466 | 4461k| 6.0 | 94M|1304 | 22 |3717 | 39k|3717 | 958 | 153k|1015k|6759 | 0.000000e+00 | 1.000000e+00 | Inf
1585.82/1585.81 c 1586s|750000 | 3407 | 4520k| 6.0 | 92M|1304 | - |3717 | 34k| 0 | 0 | 155k|1030k|6829 | 0.000000e+00 | 1.000000e+00 | Inf
1610.91/1610.96 c 1611s|760000 | 3453 | 4585k| 6.0 | 92M|1304 | - |3717 | 34k| 0 | 0 | 157k|1045k|6859 | 0.000000e+00 | 1.000000e+00 | Inf
1635.72/1635.71 c 1636s|770000 | 3603 | 4650k| 6.0 | 94M|1304 | 18 |3717 | 35k|3717 | 980 | 160k|1061k|6890 | 0.000000e+00 | 1.000000e+00 | Inf
1660.52/1660.51 c 1660s|780000 | 3619 | 4716k| 6.0 | 95M|1304 | - |3717 | 36k| 0 | 0 | 162k|1077k|6919 | 0.000000e+00 | 1.000000e+00 | Inf
1686.72/1686.70 c 1687s|790000 | 3633 | 4786k| 6.1 | 96M|1304 | - |3717 | 36k| 0 | 0 | 164k|1093k|6959 | 0.000000e+00 | 1.000000e+00 | Inf
1710.81/1710.86 c 1711s|800000 | 3613 | 4847k| 6.1 | 95M|1304 | 17 |3717 | 35k|3717 | 981 | 167k|1108k|7001 | 0.000000e+00 | 1.000000e+00 | Inf
1736.22/1736.26 c 1736s|810000 | 3541 | 4911k| 6.1 | 94M|1304 | - |3717 | 33k| 0 | 0 | 169k|1123k|7048 | 0.000000e+00 | 1.000000e+00 | Inf
1760.02/1760.08 c 1760s|820000 | 3536 | 4969k| 6.1 | 94M|1304 | - |3717 | 30k| 0 | 0 | 172k|1137k|7087 | 0.000000e+00 | 1.000000e+00 | Inf
1783.13/1783.19 c 1783s|830000 | 3610 | 5030k| 6.1 | 97M|1304 | - |3717 | 35k| 0 | 0 | 174k|1151k|7115 | 0.000000e+00 | 1.000000e+00 | Inf
1790.02/1790.01 c
1790.02/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.01 c Solving Time (sec) : 1789.98
1790.02/1790.01 c Solving Nodes : 833005
1790.02/1790.01 c Primal Bound : +1.00000000000000e+00 (152 solutions)
1790.02/1790.01 c Dual Bound : +0.00000000000000e+00
1790.02/1790.01 c Gap : infinite
1790.02/1790.04 s SATISFIABLE
1790.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/1790.04 v -x1
1790.02/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.04 c Solving Time : 1789.98
1790.02/1790.04 c Original Problem :
1790.02/1790.04 c Problem name : HOME/instance-2705561-1278572956.wbo
1790.02/1790.04 c Variables : 3863 (2047 binary, 0 integer, 1816 implicit integer, 0 continuous)
1790.02/1790.04 c Constraints : 4524 initial, 4524 maximal
1790.02/1790.04 c Presolved Problem :
1790.02/1790.04 c Problem name : t_HOME/instance-2705561-1278572956.wbo
1790.02/1790.04 c Variables : 3717 (1974 binary, 0 integer, 1743 implicit integer, 0 continuous)
1790.02/1790.04 c Constraints : 4324 initial, 41936 maximal
1790.02/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.02/1790.04 c trivial : 0.00 73 0 0 0 0 0 0 0
1790.02/1790.04 c dualfix : 0.00 73 0 0 0 0 0 0 0
1790.02/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.02/1790.04 c setppc : 0.00 0 0 0 0 0 22 0 0
1790.02/1790.04 c linear : 0.06 0 0 0 1836 0 105 87 0
1790.02/1790.04 c indicator : 0.00 0 0 0 0 0 73 0 0
1790.02/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.02/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.04 c root node : - 3486 - - 3486 - - - -
1790.02/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.02/1790.04 c integral : 0 0 0 488393 0 46 597 0 0 897462
1790.02/1790.04 c setppc : 41 6 4254659 36774 1 27486 1128472 0 0 0
1790.02/1790.04 c linear : 1743 6 4237817 39072 1 196141 18091969 175745 0 0
1790.02/1790.04 c indicator : 1743 0 214585 16887 0 294 1306696 0 0 0
1790.02/1790.04 c logicor : 797+ 6 1651452 14646 1 194498 4287381 0 0 0
1790.02/1790.04 c bounddisjunction : 0+ 0 350275 0 0 140 3202 0 0 0
1790.02/1790.04 c countsols : 0 0 0 14646 1 0 0 0 0 0
1790.02/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.02/1790.04 c integral : 18.39 0.00 0.00 18.39 0.00
1790.02/1790.04 c setppc : 11.03 0.00 11.00 0.03 0.00
1790.02/1790.04 c linear : 158.48 0.00 156.16 2.32 0.00
1790.02/1790.04 c indicator : 8.24 0.00 6.46 1.78 0.00
1790.02/1790.04 c logicor : 352.93 0.00 352.76 0.17 0.00
1790.02/1790.04 c bounddisjunction : 1.30 0.00 1.30 0.00 0.00
1790.02/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.02/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.02/1790.04 c vbounds : 0.71 15632 0 1223
1790.02/1790.04 c rootredcost : 0.63 44 0 1743
1790.02/1790.04 c pseudoobj : 106.75 4269071 3648 1265606
1790.02/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.02/1790.04 c propagation : 24.45 421913 421584 2654120 31.4 14585 25.3 -
1790.02/1790.04 c infeasible LP : 5.49 19322 19322 160882 46.4 159 18.4 0
1790.02/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.02/1790.04 c applied globally : - - - 1156108 24.7 - - -
1790.02/1790.04 c applied locally : - - - 0 0.0 - - -
1790.02/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.02/1790.04 c cut pool : 0.00 5 - - 12 - (maximal pool size: 260)
1790.02/1790.04 c redcost : 31.11 489318 0 64808 0 0
1790.02/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1790.02/1790.04 c intobj : 0.00 0 0 0 0 0
1790.02/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.02/1790.04 c gomory : 0.10 6 0 0 1089 0
1790.02/1790.04 c strongcg : 0.09 6 0 0 1129 0
1790.02/1790.04 c cmir : 0.02 6 0 0 0 0
1790.02/1790.04 c flowcover : 0.06 6 0 0 0 0
1790.02/1790.04 c clique : 0.00 6 0 0 0 0
1790.02/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.02/1790.04 c mcf : 0.00 1 0 0 0 0
1790.02/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.02/1790.04 c Pricers : Time Calls Vars
1790.02/1790.04 c problem variables: 0.00 0 0
1790.02/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.02/1790.04 c relpscost : 17.99 449277 46 597 0 0 897462
1790.02/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.02/1790.04 c inference : 3.41 14604 0 0 0 0 29329
1790.02/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.02/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.02/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.04 c random : 0.00 0 0 0 0 0 0
1790.02/1790.04 c Primal Heuristics : Time Calls Found
1790.02/1790.04 c LP solutions : 0.04 - 43
1790.02/1790.04 c pseudo solutions : 0.00 - 0
1790.02/1790.04 c feaspump : 0.01 1 0
1790.02/1790.04 c oneopt : 0.40 38 0
1790.02/1790.04 c pscostdiving : 0.07 55 0
1790.02/1790.04 c fracdiving : 0.07 55 0
1790.02/1790.04 c veclendiving : 0.07 55 0
1790.02/1790.04 c linesearchdiving : 0.08 55 0
1790.02/1790.04 c guideddiving : 0.10 55 0
1790.02/1790.04 c coefdiving : 0.08 56 0
1790.02/1790.04 c objpscostdiving : 0.08 45 0
1790.02/1790.04 c rootsoldiving : 0.12 45 0
1790.02/1790.04 c crossover : 1.28 34 0
1790.02/1790.04 c trivial : 0.00 2 0
1790.02/1790.04 c simplerounding : 0.69 449445 0
1790.02/1790.04 c zirounding : 0.43 1000 0
1790.02/1790.04 c rounding : 1.02 9422 0
1790.02/1790.04 c shifting : 0.75 2951 0
1790.02/1790.04 c intshifting : 0.00 0 0
1790.02/1790.04 c twoopt : 0.00 0 0
1790.02/1790.04 c fixandinfer : 0.00 0 0
1790.02/1790.04 c intdiving : 0.00 0 0
1790.02/1790.04 c actconsdiving : 0.00 0 0
1790.02/1790.04 c octane : 0.00 0 0
1790.02/1790.04 c rens : 0.03 1 0
1790.02/1790.04 c rins : 0.00 0 0
1790.02/1790.04 c localbranching : 0.00 0 0
1790.02/1790.04 c mutation : 0.00 0 0
1790.02/1790.04 c dins : 0.00 0 0
1790.02/1790.04 c undercover : 0.00 0 0
1790.02/1790.04 c nlp : 0.14 0 0
1790.02/1790.04 c trysol : 0.33 280 109
1790.02/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.02/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.02/1790.04 c dual LP : 555.13 493089 5047127 10.24 9091.75
1790.02/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.02/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.02/1790.04 c diving/probing LP: 0.20 112 1697 15.15 8434.18
1790.02/1790.04 c strong branching : 14.06 7115 157921 22.20 11228.35
1790.02/1790.04 c (at root node) : - 16 2620 163.75 -
1790.02/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.02/1790.04 c B&B Tree :
1790.02/1790.04 c number of runs : 1
1790.02/1790.04 c nodes : 833005
1790.02/1790.04 c nodes (total) : 833005
1790.02/1790.04 c nodes left : 3584
1790.02/1790.04 c max depth : 1304
1790.02/1790.04 c max depth (total): 1304
1790.02/1790.04 c backtracks : 84714 (10.2%)
1790.02/1790.04 c delayed cutoffs : 75901
1790.02/1790.04 c repropagations : 2081427 (4610815 domain reductions, 71784 cutoffs)
1790.02/1790.04 c avg switch length: 6.37
1790.02/1790.04 c switching time : 298.66
1790.02/1790.04 c Solution :
1790.02/1790.04 c Solutions found : 152 (44 improvements)
1790.02/1790.04 c First Solution : +8.86900000000000e+04 (in run 1, after 15 nodes, 1.52 seconds, depth 15, found by <trysol>)
1790.02/1790.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 44681 nodes, 84.88 seconds, depth 40, found by <relaxation>)
1790.02/1790.04 c Dual Bound : +0.00000000000000e+00
1790.02/1790.04 c Gap : infinite
1790.02/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.02/1790.04 c Root Iterations : 387
1790.12/1790.17 c Time complete: 1790.2.