0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2693748-1277915770.wbo>
0.00/0.01 c original problem has 1169 variables (832 bin, 0 int, 0 impl, 337 cont) and 1278 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 26 del vars, 8 del conss, 1 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.00/0.02 c (round 2) 26 del vars, 53 del conss, 1 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.00/0.03 c (round 3) 27 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.00/0.04 c (round 4) 28 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 553 upgd conss, 2393 impls, 0 clqs
0.00/0.09 c (0.1s) probing: 495/805 (61.5%) - 4 fixings, 11 aggregations, 55 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09 c (round 5) 43 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 553 upgd conss, 2533 impls, 0 clqs
0.00/0.09 c (round 6) 43 del vars, 73 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 553 upgd conss, 2533 impls, 0 clqs
0.09/0.10 c (round 7) 50 del vars, 80 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 554 upgd conss, 2533 impls, 0 clqs
0.09/0.10 c (round 8) 57 del vars, 80 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 554 upgd conss, 2533 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 505/805 (62.7%) - 4 fixings, 11 aggregations, 55 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (9 rounds):
0.09/0.10 c 57 deleted vars, 80 deleted constraints, 337 tightened bounds, 0 added holes, 71 changed sides, 141 changed coefficients
0.09/0.10 c 2533 implications, 0 cliques
0.09/0.10 c presolved problem has 1112 variables (783 bin, 0 int, 0 impl, 329 cont) and 1198 constraints
0.09/0.10 c 329 constraints of type <indicator>
0.09/0.10 c 2 constraints of type <varbound>
0.09/0.10 c 89 constraints of type <knapsack>
0.09/0.10 c 327 constraints of type <linear>
0.09/0.10 c 451 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.08
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.99
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 3420
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = -1
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 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.10 c 0.1s| 1 | 2 | 0 | - |4146k| 0 | - |1112 |1198 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.98 c 1.8s| 10000 | 9993 | 0 | 0.0 |8452k| 43 | - |1112 |1201 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
3.79/3.81 c 3.5s| 20000 | 19993 | 0 | 0.0 | 12M| 49 | - |1112 |1201 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
5.50/5.59 c 5.2s| 30000 | 29993 | 0 | 0.0 | 16M| 49 | - |1112 |1201 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
7.19/7.27 c 6.8s| 40000 | 39993 | 0 | 0.0 | 21M| 97 | - |1112 |1201 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
8.59/8.66 c 8.1s| 50000 | 49993 | 0 | 0.0 | 25M| 301 | - |1112 |1201 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
9.99/10.09 c 9.4s| 60000 | 59991 | 0 | 0.0 | 29M| 301 | - |1112 |1205 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
11.49/11.50 c 10.7s| 70000 | 69991 | 0 | 0.0 | 33M| 301 | - |1112 |1203 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
12.79/12.88 c 12.0s| 80000 | 79991 | 0 | 0.0 | 37M| 301 | - |1112 |1203 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
14.19/14.28 c 13.3s| 90000 | 89991 | 0 | 0.0 | 41M| 301 | - |1112 |1203 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
15.59/15.66 c 14.6s|100000 | 99991 | 0 | 0.0 | 45M| 301 | - |1112 |1203 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
16.99/17.06 c 16.0s|110000 |109991 | 0 | 0.0 | 49M| 301 | - |1112 |1202 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
18.39/18.46 c 17.3s|120000 |119991 | 0 | 0.0 | 53M| 301 | - |1112 |1202 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
19.80/19.83 c 18.6s|130000 |129991 | 0 | 0.0 | 57M| 301 | - |1112 |1202 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
21.19/21.22 c 19.9s|140000 |139991 | 0 | 0.0 | 61M| 301 | - |1112 |1202 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
22.59/22.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.59/22.63 c 21.2s|150000 |149991 | 0 | 0.0 | 65M| 301 | - |1112 |1202 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
23.99/24.01 c 22.5s|160000 |159989 | 0 | 0.0 | 69M| 301 | - |1112 |1203 | 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf
25.30/25.33 c 23.7s|170000 |169986 | 0 | 0.0 | 73M| 414 | - |1112 |1207 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
26.59/26.60 c 24.9s|180000 |179986 | 0 | 0.0 | 77M| 414 | - |1112 |1207 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
27.79/27.88 c 26.1s|190000 |189986 | 0 | 0.0 | 81M| 414 | - |1112 |1207 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
29.09/29.14 c 27.2s|200000 |199986 | 0 | 0.0 | 85M| 414 | - |1112 |1207 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
30.39/30.41 c 28.4s|210000 |209983 | 0 | 0.0 | 89M| 414 | - |1112 |1209 | 0 | 0 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
31.59/31.67 c 29.6s|220000 |219983 | 0 | 0.0 | 93M| 414 | - |1112 |1208 | 0 | 0 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
32.89/32.93 c 30.8s|230000 |229983 | 0 | 0.0 | 97M| 414 | - |1112 |1208 | 0 | 0 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
34.10/34.18 c 31.9s|240000 |239983 | 0 | 0.0 | 101M| 414 | - |1112 |1208 | 0 | 0 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
35.30/35.39 o 298
35.30/35.39 c *33.1s|249453 |230668 | 0 | 0.0 | 101M| 425 | - |1112 |1222 | 0 | 0 | 0 | 28 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
35.39/35.46 c 33.1s|250000 |231214 | 0 | 0.0 | 101M| 425 | - |1112 |1222 | 0 | 0 | 0 | 28 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
36.79/36.84 c 34.4s|260000 |241213 | 0 | 0.0 | 105M| 425 | - |1112 |1219 | 0 | 0 | 0 | 28 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
38.19/38.23 c 35.7s|270000 |251213 | 0 | 0.0 | 109M| 425 | - |1112 |1216 | 0 | 0 | 0 | 28 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
39.59/39.66 c 37.0s|280000 |261213 | 0 | 0.0 | 113M| 425 | - |1112 |1216 | 0 | 0 | 0 | 28 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
41.09/41.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.09/41.11 c 38.4s|290000 |271203 | 0 | 0.0 | 117M| 425 | - |1112 |1228 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
42.79/42.84 c 40.0s|300000 |281119 | 0 | 0.0 | 123M| 425 | - |1112 |1365 | 0 | 0 | 0 | 250 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
44.49/44.50 c 41.6s|310000 |291057 | 0 | 0.0 | 128M| 425 | - |1112 |1324 | 0 | 0 | 0 | 397 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
45.99/46.09 c 43.1s|320000 |300992 | 0 | 0.0 | 134M| 425 | - |1112 |1358 | 0 | 0 | 0 | 541 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
47.69/47.76 c 44.7s|330000 |310889 | 0 | 0.0 | 140M| 425 | - |1112 |1376 | 0 | 0 | 0 | 725 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
49.39/49.43 c 46.2s|340000 |320827 | 0 | 0.0 | 146M| 425 | - |1112 |1368 | 0 | 0 | 0 | 879 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
50.99/51.07 c 47.8s|350000 |330807 | 0 | 0.0 | 150M| 425 | - |1112 |1286 | 0 | 0 | 0 | 880 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
52.69/52.72 c 49.3s|360000 |340789 | 0 | 0.0 | 154M| 425 | - |1112 |1260 | 0 | 0 | 0 | 880 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
54.29/54.39 c 50.9s|370000 |350749 | 0 | 0.0 | 159M| 425 | - |1112 |1270 | 0 | 0 | 0 | 908 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
55.99/56.08 c 52.5s|380000 |360699 | 0 | 0.0 | 164M| 425 | - |1112 |1299 | 0 | 0 | 0 | 980 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
57.69/57.79 c 54.1s|390000 |370626 | 0 | 0.0 | 169M| 425 | - |1112 |1366 | 0 | 0 | 0 |1121 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
59.40/59.47 c 55.7s|400000 |380565 | 0 | 0.0 | 174M| 425 | - |1112 |1359 | 0 | 0 | 0 |1225 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
61.09/61.16 c 57.3s|410000 |390487 | 0 | 0.0 | 179M| 425 | - |1112 |1406 | 0 | 0 | 0 |1336 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
62.80/62.82 c 58.9s|420000 |400443 | 0 | 0.0 | 185M| 425 | - |1112 |1389 | 0 | 0 | 0 |1452 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
64.50/64.51 c 60.5s|430000 |410332 | 0 | 0.0 | 191M| 425 | - |1112 |1497 | 0 | 0 | 0 |1662 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
66.10/66.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.10/66.15 c 62.0s|440000 |420147 | 0 | 0.0 | 199M| 425 | - |1112 |1658 | 0 | 0 | 0 |2087 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
67.59/67.69 c 63.4s|450000 |430025 | 0 | 0.0 | 206M| 425 | - |1112 |1619 | 0 | 0 | 0 |2254 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
69.19/69.28 c 64.9s|460000 |439930 | 0 | 0.0 | 212M| 425 | - |1112 |1484 | 0 | 0 | 0 |2384 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
70.89/70.91 c 66.5s|470000 |449841 | 0 | 0.0 | 218M| 425 | - |1112 |1425 | 0 | 0 | 0 |2504 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
72.39/72.43 o 52
72.39/72.43 c *67.9s|477103 | 54264 | 0 | 0.0 | 49M| 445 | - |1112 |1695 | 0 | 0 | 0 |2922 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
72.79/72.89 c 68.4s|480000 | 56942 | 0 | 0.0 | 53M| 445 | - |1112 |1678 | 0 | 0 | 0 |3101 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
74.19/74.30 c 69.7s|490000 | 66508 | 0 | 0.0 | 62M| 445 | - |1112 |1935 | 0 | 0 | 0 |3648 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
75.79/75.80 c 71.1s|500000 | 75807 | 0 | 0.0 | 71M| 445 | - |1112 |2259 | 0 | 0 | 0 |4609 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
77.29/77.31 c 72.5s|510000 | 85393 | 0 | 0.0 | 81M| 445 | - |1112 |2228 | 0 | 0 | 0 |5246 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
78.79/78.83 c 73.9s|520000 | 95265 | 0 | 0.0 | 92M| 445 | - |1112 |1757 | 0 | 0 | 0 |5451 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
80.29/80.34 c 75.3s|530000 |105033 | 0 | 0.0 | 102M| 445 | - |1112 |1799 | 0 | 0 | 0 |5763 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
81.80/81.89 c 76.7s|540000 |114645 | 0 | 0.0 | 113M| 445 | - |1112 |1725 | 0 | 0 | 0 |5929 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
83.39/83.46 c 78.2s|550000 |124173 | 0 | 0.0 | 124M| 445 | - |1112 |1840 | 0 | 0 | 0 |6241 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
84.90/84.97 c 79.6s|560000 |133769 | 0 | 0.0 | 134M| 445 | - |1112 |1819 | 0 | 0 | 0 |6447 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
86.49/86.58 c 81.1s|570000 |143182 | 0 | 0.0 | 145M| 445 | - |1112 |1886 | 0 | 0 | 0 |6941 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
88.10/88.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.10/88.12 c 82.5s|580000 |152737 | 0 | 0.0 | 154M| 445 | - |1112 |1898 | 0 | 0 | 0 |7335 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
89.60/89.62 c 83.9s|590000 |162260 | 0 | 0.0 | 164M| 445 | - |1112 |2027 | 0 | 0 | 0 |7825 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
91.00/91.09 c 85.3s|600000 |171740 | 0 | 0.0 | 172M| 445 | - |1112 |2165 | 0 | 0 | 0 |8390 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
92.50/92.57 c 86.7s|610000 |181342 | 0 | 0.0 | 181M| 445 | - |1112 |2197 | 0 | 0 | 0 |8913 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
93.99/94.06 c 88.0s|620000 |190881 | 0 | 0.0 | 190M| 445 | - |1112 |2281 | 0 | 0 | 0 |9537 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
95.60/95.63 c 89.5s|630000 |200349 | 0 | 0.0 | 199M| 445 | - |1112 |2633 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
97.20/97.20 c 90.9s|640000 |209782 | 0 | 0.0 | 208M| 445 | - |1112 |2699 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
98.79/98.82 c 92.5s|650000 |219140 | 0 | 0.0 | 217M| 445 | - |1112 |2990 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
100.30/100.37 c 93.9s|660000 |228682 | 0 | 0.0 | 226M| 445 | - |1112 |2943 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
100.39/100.40 o 51
100.39/100.40 c *93.9s|660055 |207832 | 0 | 0.0 | 213M| 445 | - |1112 |2941 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
101.90/101.92 c 95.3s|670000 |217293 | 0 | 0.0 | 222M| 445 | - |1112 |3067 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
102.40/102.48 o 50
102.40/102.48 c *95.9s|673376 |207777 | 0 | 0.0 | 217M| 445 | - |1112 |3152 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
102.49/102.51 o 49
102.49/102.51 c *95.9s|673473 |199128 | 0 | 0.0 | 213M| 445 | - |1112 |3141 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
102.69/102.72 o 48
102.69/102.72 c *96.1s|674799 |191179 | 0 | 0.0 | 209M| 445 | - |1112 |3203 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
103.50/103.59 o 43
103.50/103.59 c *96.9s|679927 |143249 | 0 | 0.0 | 178M| 445 | - |1112 |3418 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
103.59/103.62 o 42
103.59/103.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.59/103.62 c *96.9s|679984 |129115 | 0 | 0.0 | 166M| 445 | - |1112 |3422 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
103.59/103.62 c 96.9s|680000 |129127 | 0 | 0.0 | 166M| 445 | - |1112 |3422 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
103.99/104.07 o 41
103.99/104.07 c *97.3s|682846 |124893 | 0 | 0.0 | 164M| 445 | - |1112 |3599 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
104.39/104.49 o 40
104.39/104.49 c *97.7s|685379 |122110 | 0 | 0.0 | 160M| 445 | - |1112 |3773 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
104.99/105.07 o 39
104.99/105.07 c *98.3s|689028 |120612 | 0 | 0.0 | 160M| 445 | - |1112 |3994 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
105.19/105.27 c 98.5s|690000 |121396 | 0 | 0.0 | 161M| 445 | - |1112 |4121 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
106.80/106.80 c 99.9s|700000 |130875 | 0 | 0.0 | 169M| 445 | - |1112 |3077 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
107.09/107.18 o 37
107.09/107.18 c * 100s|702183 |118379 | 0 | 0.0 | 161M| 445 | - |1112 |2735 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
107.19/107.21 o 36
107.19/107.21 c * 100s|702298 |111728 | 0 | 0.0 | 155M| 445 | - |1112 |2740 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
108.29/108.33 c 101s|710000 |119067 | 0 | 0.0 | 162M| 445 | - |1112 |2564 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
109.69/109.70 c 103s|720000 |128768 | 0 | 0.0 | 171M| 445 | - |1112 |2620 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
111.09/111.13 c 104s|730000 |138177 | 0 | 0.0 | 179M| 445 | - |1112 |2556 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
112.49/112.50 c 105s|740000 |147927 | 0 | 0.0 | 187M| 445 | - |1112 |2416 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
113.90/113.91 c 107s|750000 |157248 | 0 | 0.0 | 195M| 445 | - |1112 |2555 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
115.20/115.29 c 108s|760000 |166445 | 0 | 0.0 | 203M| 445 | - |1112 |3044 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
116.60/116.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.60/116.63 c 109s|770000 |176117 | 0 | 0.0 | 210M| 445 | - |1112 |3062 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
117.89/117.99 c 110s|780000 |185450 | 0 | 0.0 | 217M| 445 | - |1112 |3173 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
119.50/119.56 c 112s|790000 |194998 | 0 | 0.0 | 225M| 445 | - |1112 |1939 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
121.00/121.03 c 113s|800000 |204798 | 0 | 0.0 | 234M| 445 | - |1112 |1970 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
122.50/122.50 c 115s|810000 |214591 | 0 | 0.0 | 243M| 445 | - |1112 |1981 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
123.89/123.94 c 116s|820000 |224422 | 0 | 0.0 | 251M| 445 | - |1112 |1962 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
125.29/125.38 c 117s|830000 |234236 | 0 | 0.0 | 260M| 445 | - |1112 |1984 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
126.79/126.82 c 119s|840000 |244076 | 0 | 0.0 | 269M| 445 | - |1112 |1820 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
128.19/128.25 c 120s|850000 |253882 | 0 | 0.0 | 278M| 445 | - |1112 |1825 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
129.60/129.69 c 121s|860000 |263689 | 0 | 0.0 | 286M| 445 | - |1112 |1835 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
130.20/130.22 o 32
130.20/130.22 c * 122s|862097 | 85322 | 0 | 0.0 | 136M| 445 | - |1112 |1881 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
131.39/131.40 c 123s|870000 | 92932 | 0 | 0.0 | 141M| 445 | - |1112 |1462 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
132.49/132.56 o 31
132.49/132.56 c * 124s|878125 | 92584 | 0 | 0.0 | 141M| 445 | - |1112 |1410 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
132.70/132.76 o 30
132.70/132.76 c * 124s|879576 | 88978 | 0 | 0.0 | 137M| 445 | - |1112 |1396 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
132.79/132.82 c 124s|880000 | 89401 | 0 | 0.0 | 138M| 445 | - |1112 |1394 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
134.09/134.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.09/134.18 c 125s|890000 | 99125 | 0 | 0.0 | 144M| 445 | - |1112 |1424 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
135.40/135.49 c 127s|900000 |108890 | 0 | 0.0 | 151M| 445 | - |1112 |1437 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
136.80/136.81 c 128s|910000 |118698 | 0 | 0.0 | 158M| 445 | - |1112 |1444 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
138.10/138.12 c 129s|920000 |128451 | 0 | 0.0 | 165M| 445 | - |1112 |1480 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
139.40/139.44 c 130s|930000 |138159 | 0 | 0.0 | 172M| 445 | - |1112 |1449 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
140.69/140.73 c 131s|940000 |148049 | 0 | 0.0 | 179M| 445 | - |1112 |1413 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
142.00/142.01 c 133s|950000 |157718 | 0 | 0.0 | 186M| 445 | - |1112 |1461 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
143.20/143.29 c 134s|960000 |167623 | 0 | 0.0 | 192M| 445 | - |1112 |1402 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
144.50/144.57 c 135s|970000 |177392 | 0 | 0.0 | 199M| 445 | - |1112 |1394 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
145.80/145.89 o 27
145.80/145.89 c * 136s|979424 |127469 | 0 | 0.0 | 165M| 445 | - |1112 |1412 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
145.90/145.96 c 136s|980000 |127960 | 0 | 0.0 | 165M| 445 | - |1112 |1420 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
147.19/147.23 c 137s|990000 |137804 | 0 | 0.0 | 172M| 445 | - |1112 |1441 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
148.50/148.53 c 139s| 1000k|147521 | 0 | 0.0 | 179M| 445 | - |1112 |1483 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
149.50/149.58 o 26
149.50/149.58 c * 140s| 1008k|134978 | 0 | 0.0 | 173M| 445 | - |1112 |1515 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
149.80/149.80 c 140s| 1010k|136648 | 0 | 0.0 | 174M| 445 | - |1112 |1524 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
150.99/151.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.99/151.05 c 141s| 1020k|146396 | 0 | 0.0 | 180M| 445 | - |1112 |1559 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
152.09/152.11 o 25
152.09/152.11 c * 142s| 1028k|137690 | 0 | 0.0 | 174M| 445 | - |1112 |1593 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
152.30/152.33 o 23
152.30/152.33 c * 142s| 1029k| 96365 | 0 | 0.0 | 143M| 445 | - |1112 |1605 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
152.39/152.42 o 22
152.39/152.42 c * 142s| 1029k| 78445 | 0 | 0.0 | 126M| 445 | - |1112 |1616 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
152.39/152.44 c 142s| 1030k| 78584 | 0 | 0.0 | 127M| 445 | - |1112 |1614 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
153.70/153.77 c 143s| 1040k| 88240 | 0 | 0.0 | 133M| 445 | - |1112 |1765 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
154.11/154.11 o 21
154.11/154.11 c * 144s| 1042k| 79279 | 0 | 0.0 | 125M| 445 | - |1112 |1748 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
154.39/154.47 o 19
154.39/154.47 c * 144s| 1045k| 63482 | 0 | 0.0 | 107M| 445 | - |1112 |1732 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
154.49/154.51 o 18
154.49/154.51 c * 144s| 1045k| 62648 | 0 | 0.0 | 106M| 445 | - |1112 |1733 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
155.00/155.10 c 145s| 1050k| 67046 | 0 | 0.0 | 109M| 445 | - |1112 |1721 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
156.30/156.31 c 146s| 1060k| 76780 | 0 | 0.0 | 115M| 445 | - |1112 |1685 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
157.50/157.54 c 147s| 1070k| 86542 | 0 | 0.0 | 121M| 445 | - |1112 |1652 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
158.80/158.80 c 148s| 1080k| 96243 | 0 | 0.0 | 127M| 445 | - |1112 |1743 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
160.00/160.06 c 149s| 1090k|105863 | 0 | 0.0 | 132M| 445 | - |1112 |1749 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
161.29/161.32 c 150s| 1100k|115397 | 0 | 0.0 | 138M| 445 | - |1112 |1739 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
161.40/161.43 o 17
161.40/161.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.40/161.43 c * 150s| 1100k|102763 | 0 | 0.0 | 132M| 445 | - |1112 |1735 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
161.70/161.77 o 16
161.70/161.77 c * 151s| 1103k| 95401 | 0 | 0.0 | 129M| 445 | - |1112 |1720 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
161.80/161.84 o 13
161.80/161.84 c * 151s| 1103k| 70736 | 0 | 0.0 | 113M| 445 | - |1112 |1720 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
161.90/161.91 o 12
161.90/161.91 c * 151s| 1103k| 60496 | 0 | 0.0 | 105M| 445 | - |1112 |1739 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
162.00/162.04 o 11
162.00/162.04 c * 151s| 1104k| 45868 | 0 | 0.0 | 91M| 445 | - |1112 |1749 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
162.80/162.80 o 1
162.80/162.80 c * 152s| 1109k| 21507 | 0 | 0.0 | 48M| 445 | - |1112 |1764 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
162.99/163.03 c
162.99/163.03 c SCIP Status : problem is solved [optimal solution found]
162.99/163.03 c Solving Time (sec) : 151.96
162.99/163.03 c Solving Nodes : 1109451
162.99/163.03 c Primal Bound : +1.00000000000000e+00 (30 solutions)
162.99/163.03 c Dual Bound : +1.00000000000000e+00
162.99/163.03 c Gap : 0.00 %
162.99/163.03 s OPTIMUM FOUND
162.99/163.03 v -x495 x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474
162.99/163.03 v -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 x453 -x452
162.99/163.03 v -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431
162.99/163.03 v -x430 x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410
162.99/163.03 v x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
162.99/163.03 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367
162.99/163.03 v x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 x355 x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 x346 x345
162.99/163.03 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 x323
162.99/163.03 v -x322 x321 x320 x319 x318 x317 x316 x315 -x314 -x313 x312 x311 x310 x309 -x308 x307 x306 x305 -x304 x303 x302 x301 x300 x299
162.99/163.03 v x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 -x288 x287 -x286 x285 x284 -x283 x282 -x281 x280 x279 x278 -x277 x276 -x275
162.99/163.03 v x274 x273 -x272 x271 -x270 -x269 x268 -x267 x266 -x265 -x264 -x263 x262 -x261 x260 -x259 -x258 x257 -x256 x255 -x254 -x253
162.99/163.03 v x252 -x251 x250 -x249 -x248 x247 -x246 x245 -x244 -x243 x242 -x241 -x240 -x239 x238 -x237 x236 -x235 -x234 x233 x232 x231
162.99/163.03 v -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210 -x209
162.99/163.03 v -x208 -x207 -x206 x205 x204 x203 x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 x188 -x187
162.99/163.03 v -x186 x185 -x184 x183 -x182 -x181 x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 x172 x171 x170 -x169 x168 x167 -x166 x165 -x164
162.99/163.03 v x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 x148 x147 -x146 x145 x144 -x143
162.99/163.03 v x142 x141 x140 -x139 x138 x137 x136 x135 x134 -x133 x132 x131 -x130 x129 x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
162.99/163.03 v -x119 -x118 -x117 x116 x115 x114 x113 x112 x111 -x110 x109 x108 x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96
162.99/163.03 v -x95 -x94 x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 x84 x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 -x74 -x73 x72 -x71 -x70
162.99/163.03 v x69 -x68 -x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 -x57 -x56 x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 x42
162.99/163.03 v -x41 -x40 x39 x38 x37 -x36 x35 -x34 x33 -x32 -x31 x30 -x29 x28 -x27 -x26 x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 x17 x16 x15 -x14
162.99/163.03 v -x13 x12 x11 x10 -x9 -x8 x7 x6 x5 x4 -x3 x2 -x1
162.99/163.03 c SCIP Status : problem is solved [optimal solution found]
162.99/163.03 c Solving Time : 151.96
162.99/163.03 c Original Problem :
162.99/163.03 c Problem name : HOME/instance-2693748-1277915770.wbo
162.99/163.03 c Variables : 1169 (832 binary, 0 integer, 0 implicit integer, 337 continuous)
162.99/163.03 c Constraints : 1278 initial, 1278 maximal
162.99/163.03 c Presolved Problem :
162.99/163.03 c Problem name : t_HOME/instance-2693748-1277915770.wbo
162.99/163.03 c Variables : 1112 (783 binary, 0 integer, 0 implicit integer, 329 continuous)
162.99/163.03 c Constraints : 1198 initial, 4124 maximal
162.99/163.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
162.99/163.03 c trivial : 0.00 0 0 0 0 0 0 0 0
162.99/163.03 c dualfix : 0.00 16 0 0 0 0 0 0 0
162.99/163.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
162.99/163.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
162.99/163.03 c implics : 0.00 0 22 0 0 0 0 0 0
162.99/163.03 c probing : 0.04 4 11 0 0 0 0 0 0
162.99/163.03 c indicator : 0.00 0 0 0 0 0 8 0 0
162.99/163.03 c varbound : 0.00 0 0 0 0 0 0 0 0
162.99/163.03 c knapsack : 0.01 0 0 0 0 0 0 0 0
162.99/163.03 c linear : 0.03 1 3 0 337 0 60 71 141
162.99/163.03 c logicor : 0.00 0 0 0 0 0 12 0 0
162.99/163.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
162.99/163.03 c root node : - 457 - - 786 - - - -
162.99/163.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
162.99/163.03 c integral : 0 0 0 0 0 0 0 0 0 0
162.99/163.03 c indicator : 329 0 2261632 0 1031015 69 2621108 0 0 0
162.99/163.03 c varbound : 2 0 832349 0 442189 0 8177 0 0 0
162.99/163.03 c knapsack : 89 0 2417941 0 1103290 2070 623092 0 0 0
162.99/163.03 c linear : 327 0 2415853 0 1103272 2279 1362648 0 0 0
162.99/163.03 c logicor : 451+ 0 1168582 0 1103290 3124 1391405 0 0 0
162.99/163.03 c bounddisjunction : 0+ 0 24502 0 0 5 736 0 0 0
162.99/163.03 c countsols : 0 0 0 0 1103290 0 0 0 0 0
162.99/163.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
162.99/163.03 c integral : 0.00 0.00 0.00 0.00 0.00
162.99/163.03 c indicator : 13.46 0.00 5.52 0.00 7.94
162.99/163.03 c varbound : 0.40 0.00 0.25 0.00 0.15
162.99/163.03 c knapsack : 9.79 0.00 7.81 0.00 1.98
162.99/163.03 c linear : 10.94 0.00 10.27 0.00 0.67
162.99/163.03 c logicor : 20.10 0.00 5.06 0.00 15.04
162.99/163.03 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
162.99/163.03 c countsols : 0.23 0.00 0.00 0.00 0.23
162.99/163.03 c Propagators : Time Calls Cutoffs DomReds
162.99/163.03 c vbounds : 0.49 35701 0 7527
162.99/163.03 c rootredcost : 0.51 0 0 0
162.99/163.03 c pseudoobj : 22.56 2417721 771 2158036
162.99/163.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
162.99/163.03 c propagation : 0.31 8247 8121 30368 16.0 12306 3.3 -
162.99/163.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
162.99/163.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
162.99/163.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
162.99/163.03 c pseudo solution : 0.01 36 36 69 6.3 76 3.4 -
162.99/163.03 c applied globally : - - - 28677 9.1 - - -
162.99/163.03 c applied locally : - - - 0 0.0 - - -
162.99/163.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
162.99/163.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
162.99/163.03 c redcost : 0.00 0 0 0 0 0
162.99/163.03 c impliedbounds : 0.00 0 0 0 0 0
162.99/163.03 c intobj : 0.00 0 0 0 0 0
162.99/163.03 c cgmip : 0.00 0 0 0 0 0
162.99/163.03 c gomory : 0.00 0 0 0 0 0
162.99/163.03 c strongcg : 0.00 0 0 0 0 0
162.99/163.03 c cmir : 0.00 0 0 0 0 0
162.99/163.03 c flowcover : 0.00 0 0 0 0 0
162.99/163.03 c clique : 0.00 0 0 0 0 0
162.99/163.03 c zerohalf : 0.00 0 0 0 0 0
162.99/163.03 c mcf : 0.00 0 0 0 0 0
162.99/163.03 c rapidlearning : 0.00 0 0 0 0 0
162.99/163.03 c Pricers : Time Calls Vars
162.99/163.03 c problem variables: 0.00 0 0
162.99/163.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
162.99/163.03 c relpscost : 0.00 0 0 0 0 0 0
162.99/163.03 c pscost : 0.00 0 0 0 0 0 0
162.99/163.03 c inference : 34.72 1103260 0 0 0 0 2206520
162.99/163.03 c mostinf : 0.00 0 0 0 0 0 0
162.99/163.03 c leastinf : 0.00 0 0 0 0 0 0
162.99/163.03 c fullstrong : 0.00 0 0 0 0 0 0
162.99/163.03 c allfullstrong : 0.00 0 0 0 0 0 0
162.99/163.03 c random : 0.00 0 0 0 0 0 0
162.99/163.03 c Primal Heuristics : Time Calls Found
162.99/163.03 c LP solutions : 0.00 - 0
162.99/163.03 c pseudo solutions : 1.25 - 30
162.99/163.03 c oneopt : 0.47 0 0
162.99/163.03 c trivial : 0.00 2 0
162.99/163.03 c simplerounding : 0.00 0 0
162.99/163.03 c zirounding : 0.00 0 0
162.99/163.03 c rounding : 0.00 0 0
162.99/163.03 c shifting : 0.00 0 0
162.99/163.03 c intshifting : 0.00 0 0
162.99/163.03 c twoopt : 0.00 0 0
162.99/163.03 c fixandinfer : 0.00 0 0
162.99/163.03 c feaspump : 0.00 0 0
162.99/163.03 c coefdiving : 0.00 0 0
162.99/163.03 c pscostdiving : 0.00 0 0
162.99/163.03 c fracdiving : 0.00 0 0
162.99/163.03 c veclendiving : 0.00 0 0
162.99/163.03 c intdiving : 0.00 0 0
162.99/163.03 c actconsdiving : 0.00 0 0
162.99/163.03 c objpscostdiving : 0.00 0 0
162.99/163.03 c rootsoldiving : 0.00 0 0
162.99/163.03 c linesearchdiving : 0.00 0 0
162.99/163.03 c guideddiving : 0.00 0 0
162.99/163.03 c octane : 0.00 0 0
162.99/163.03 c rens : 0.00 0 0
162.99/163.03 c rins : 0.00 0 0
162.99/163.03 c localbranching : 0.00 0 0
162.99/163.03 c mutation : 0.00 0 0
162.99/163.03 c crossover : 0.00 0 0
162.99/163.03 c dins : 0.00 0 0
162.99/163.03 c undercover : 0.00 0 0
162.99/163.03 c nlp : 0.37 0 0
162.99/163.03 c trysol : 0.26 1 0
162.99/163.03 c LP : Time Calls Iterations Iter/call Iter/sec
162.99/163.03 c primal LP : 0.00 0 0 0.00 -
162.99/163.03 c dual LP : 0.00 0 0 0.00 -
162.99/163.03 c lex dual LP : 0.00 0 0 0.00 -
162.99/163.03 c barrier LP : 0.00 0 0 0.00 -
162.99/163.03 c diving/probing LP: 0.00 0 0 0.00 -
162.99/163.03 c strong branching : 0.00 0 0 0.00 -
162.99/163.03 c (at root node) : - 0 0 0.00 -
162.99/163.03 c conflict analysis: 0.00 0 0 0.00 -
162.99/163.03 c B&B Tree :
162.99/163.03 c number of runs : 1
162.99/163.03 c nodes : 1109451
162.99/163.03 c nodes (total) : 1109451
162.99/163.03 c nodes left : 0
162.99/163.03 c max depth : 445
162.99/163.03 c max depth (total): 445
162.99/163.03 c backtracks : 24597 (2.2%)
162.99/163.03 c delayed cutoffs : 35336
162.99/163.03 c repropagations : 49315 (559078 domain reductions, 2191 cutoffs)
162.99/163.03 c avg switch length: 3.08
162.99/163.03 c switching time : 16.77
162.99/163.03 c Solution :
162.99/163.03 c Solutions found : 30 (30 improvements)
162.99/163.03 c First Solution : +2.98000000000000e+02 (in run 1, after 249453 nodes, 33.07 seconds, depth 425, found by <relaxation>)
162.99/163.03 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1109284 nodes, 151.68 seconds, depth 130, found by <relaxation>)
162.99/163.03 c Dual Bound : +1.00000000000000e+00
162.99/163.03 c Gap : 0.00 %
162.99/163.03 c Root Dual Bound : +0.00000000000000e+00
162.99/163.03 c Root Iterations : 0
162.99/163.06 c Time complete: 163.06.