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-2694024-1277900302.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.00/0.07 c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.00/0.09 c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.10 c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.14 c (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.14 c 1118 implications, 12 cliques
0.09/0.14 c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.14 c 851 constraints of type <indicator>
0.09/0.14 c 12 constraints of type <setppc>
0.09/0.14 c 851 constraints of type <linear>
0.09/0.14 c 1730 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 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.14 c 0.1s| 1 | 2 | 0 | - |7504k| 0 | - |1933 |3444 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.08/1.15 o 460
1.08/1.15 c * 1.1s| 4571 | 3654 | 0 | 0.0 | 10M|1044 | - |1933 |3876 | 0 | 0 | 0 | 580 | 0 | 0.000000e+00 | 4.600000e+02 | Inf
1.08/1.19 o 232
1.08/1.19 c * 1.1s| 4692 | 3525 | 0 | 0.0 |9916k|1044 | - |1933 |3881 | 0 | 0 | 0 | 587 | 0 | 0.000000e+00 | 2.320000e+02 | Inf
1.08/1.19 o 160
1.08/1.19 c * 1.1s| 4693 | 3522 | 0 | 0.0 |9964k|1044 | - |1933 |3881 | 0 | 0 | 0 | 587 | 0 | 0.000000e+00 | 1.600000e+02 | Inf
1.19/1.22 o 159
1.19/1.22 c * 1.1s| 4800 | 3623 | 0 | 0.0 | 10M|1044 | - |1933 |3886 | 0 | 0 | 0 | 594 | 0 | 0.000000e+00 | 1.590000e+02 | Inf
1.19/1.28 o 143
1.19/1.28 c * 1.2s| 4995 | 3794 | 0 | 0.0 | 10M|1044 | - |1933 |3894 | 0 | 0 | 0 | 606 | 0 | 0.000000e+00 | 1.430000e+02 | Inf
1.19/1.28 o 135
1.19/1.28 c * 1.2s| 4996 | 3773 | 0 | 0.0 | 10M|1044 | - |1933 |3894 | 0 | 0 | 0 | 606 | 0 | 0.000000e+00 | 1.350000e+02 | Inf
2.38/2.45 c 2.3s| 10000 | 8065 | 0 | 0.0 | 13M|1044 | - |1933 |4695 | 0 | 0 | 0 |2773 | 0 | 0.000000e+00 | 1.350000e+02 | Inf
5.26/5.37 c 5.2s| 20000 | 14137 | 0 | 0.0 | 21M|1044 | - |1933 |6289 | 0 | 0 | 0 |9133 | 0 | 0.000000e+00 | 1.350000e+02 | Inf
5.57/5.64 o 116
5.57/5.64 c * 5.4s| 21048 | 14918 | 0 | 0.0 | 21M|1044 | - |1933 |6228 | 0 | 0 | 0 |9308 | 0 | 0.000000e+00 | 1.160000e+02 | Inf
5.57/5.67 o 78
5.57/5.67 c * 5.4s| 21144 | 14612 | 0 | 0.0 | 21M|1044 | - |1933 |6200 | 0 | 0 | 0 |9313 | 0 | 0.000000e+00 | 7.800000e+01 | Inf
5.57/5.67 o 48
5.57/5.67 c * 5.4s| 21145 | 14134 | 0 | 0.0 | 21M|1044 | - |1933 |6200 | 0 | 0 | 0 |9313 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
5.57/5.69 o 40
5.57/5.69 c * 5.5s| 21229 | 14105 | 0 | 0.0 | 21M|1044 | - |1933 |6164 | 0 | 0 | 0 |9313 | 0 | 0.000000e+00 | 4.000000e+01 | Inf
5.97/6.09 o 7
5.97/6.09 c * 5.8s| 22493 | 14517 | 0 | 0.0 | 23M|1044 | - |1933 |5267 | 0 | 0 | 0 |9616 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
8.36/8.40 c 8.1s| 30000 | 20673 | 0 | 0.0 | 38M|1044 | - |1933 |5608 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
11.17/11.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.17/11.20 c 10.8s| 40000 | 28457 | 0 | 0.0 | 46M|1044 | - |1933 |6340 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
14.17/14.29 c 13.8s| 50000 | 35916 | 0 | 0.0 | 54M|1044 | - |1933 |7415 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
17.67/17.71 c 17.1s| 60000 | 42995 | 0 | 0.0 | 62M|1044 | - |1933 |8379 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
21.45/21.51 c 20.8s| 70000 | 49591 | 0 | 0.0 | 69M|1044 | - |1933 |9454 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
25.65/25.77 c 24.9s| 80000 | 55699 | 0 | 0.0 | 76M|1044 | - |1933 | 10k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
30.44/30.52 c 29.6s| 90000 | 61173 | 0 | 0.0 | 84M|1044 | - |1933 | 11k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
35.84/35.97 c 34.9s|100000 | 65921 | 0 | 0.0 | 91M|1044 | - |1933 | 12k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
42.44/42.50 c 41.3s|110000 | 69404 | 0 | 0.0 | 99M|1044 | - |1933 | 14k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
48.24/48.36 c 47.1s|120000 | 74192 | 0 | 0.0 | 109M|1044 | - |1933 |6198 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
51.94/52.02 c 50.6s|130000 | 81848 | 0 | 0.0 | 127M|1044 | - |1933 |8124 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
56.33/56.42 c 54.9s|140000 | 88589 | 0 | 0.0 | 134M|1044 | - |1933 |8326 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
60.34/60.43 c 58.8s|150000 | 96163 | 0 | 0.0 | 142M|1044 | - |1933 | 10k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
65.33/65.40 c 63.7s|160000 |102982 | 0 | 0.0 | 149M|1044 | - |1933 | 10k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
69.13/69.26 c 67.5s|170000 |110679 | 0 | 0.0 | 156M|1044 | - |1933 | 12k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
74.74/74.84 c 72.9s|180000 |116916 | 0 | 0.0 | 163M|1044 | - |1933 | 13k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
79.03/79.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.03/79.12 c 77.1s|190000 |123812 | 0 | 0.0 | 171M|1044 | - |1933 | 16k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
82.83/82.96 c 80.8s|200000 |131116 | 0 | 0.0 | 177M|1044 | - |1933 | 13k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
86.43/86.51 c 84.3s|210000 |138640 | 0 | 0.0 | 183M|1044 | - |1933 | 12k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
89.84/89.91 c 87.6s|220000 |146225 | 0 | 0.0 | 187M|1044 | - |1933 |4436 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
92.93/93.08 c 90.7s|230000 |153433 | 0 | 0.0 | 193M|1044 | - |1933 |5067 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
96.63/96.75 c 94.2s|240000 |159922 | 0 | 0.0 | 200M|1044 | - |1933 |5724 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
100.43/100.57 c 98.0s|250000 |166217 | 0 | 0.0 | 206M|1044 | - |1933 |6216 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
104.54/104.66 c 102s|260000 |172222 | 0 | 0.0 | 213M|1044 | - |1933 |5921 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
108.63/108.75 c 106s|270000 |178013 | 0 | 0.0 | 220M|1044 | - |1933 |7003 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
113.03/113.11 c 110s|280000 |183567 | 0 | 0.0 | 226M|1044 | - |1933 |7517 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
117.73/117.85 c 115s|290000 |188653 | 0 | 0.0 | 233M|1044 | - |1933 |8064 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
122.73/122.89 c 120s|300000 |193498 | 0 | 0.0 | 239M|1044 | - |1933 |7576 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
127.93/128.09 c 125s|310000 |198004 | 0 | 0.0 | 245M|1044 | - |1933 |7880 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
133.43/133.56 c 130s|320000 |202213 | 0 | 0.0 | 252M|1044 | - |1933 |8970 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
139.03/139.17 c 136s|330000 |206359 | 0 | 0.0 | 258M|1044 | - |1933 |9439 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
144.93/145.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.93/145.01 c 141s|340000 |210339 | 0 | 0.0 | 264M|1044 | - |1933 | 10k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
151.34/151.45 c 148s|350000 |213747 | 0 | 0.0 | 271M|1044 | - |1933 | 10k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
157.84/157.99 c 154s|360000 |217066 | 0 | 0.0 | 277M|1044 | - |1933 | 10k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
164.94/165.08 c 161s|370000 |219753 | 0 | 0.0 | 282M|1044 | - |1933 | 11k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
172.33/172.45 c 168s|380000 |222395 | 0 | 0.0 | 288M|1044 | - |1933 | 12k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
180.13/180.22 c 176s|390000 |224619 | 0 | 0.0 | 294M|1044 | - |1933 | 12k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
187.84/188.00 c 184s|400000 |227094 | 0 | 0.0 | 300M|1044 | - |1933 | 13k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
196.34/196.43 c 192s|410000 |228904 | 0 | 0.0 | 305M|1044 | - |1933 | 14k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
205.23/205.33 c 201s|420000 |230264 | 0 | 0.0 | 310M|1044 | - |1933 | 15k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
216.24/216.30 c 211s|430000 |229888 | 0 | 0.0 | 314M|1044 | - |1933 | 16k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
227.64/227.72 c 223s|440000 |228890 | 0 | 0.0 | 317M|1044 | - |1933 | 17k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
234.84/234.98 c 230s|450000 |232527 | 0 | 0.0 | 315M|1044 | - |1933 |4510 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
237.64/237.78 c 233s|460000 |240629 | 0 | 0.0 | 322M|1044 | - |1933 |4938 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
240.54/240.68 c 235s|470000 |248565 | 0 | 0.0 | 328M|1044 | - |1933 |5490 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
243.64/243.76 c 238s|480000 |256222 | 0 | 0.0 | 335M|1044 | - |1933 |6157 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.04/247.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.04/247.13 c 242s|490000 |263536 | 0 | 0.0 | 342M|1044 | - |1933 |6959 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
250.74/250.88 c 245s|500000 |270374 | 0 | 0.0 | 349M|1044 | - |1933 |8101 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
254.93/255.02 c 249s|510000 |276841 | 0 | 0.0 | 356M|1044 | - |1933 |9334 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
259.54/259.65 c 254s|520000 |282728 | 0 | 0.0 | 363M|1044 | - |1933 | 10k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
264.74/264.81 c 259s|530000 |288156 | 0 | 0.0 | 370M|1044 | - |1933 | 12k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
270.73/270.83 c 265s|540000 |292863 | 0 | 0.0 | 377M|1044 | - |1933 | 14k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
279.04/279.20 c 273s|550000 |295323 | 0 | 0.0 | 384M|1044 | - |1933 | 17k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
285.03/285.18 c 279s|560000 |300758 | 0 | 0.0 | 385M|1044 | - |1933 |7087 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
288.54/288.62 c 282s|570000 |308299 | 0 | 0.0 | 391M|1044 | - |1933 |6501 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
292.33/292.44 c 286s|580000 |315304 | 0 | 0.0 | 398M|1044 | - |1933 |7170 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
293.34/293.43 o 5
293.34/293.43 c * 287s|582469 |313474 | 0 | 0.0 | 395M|1044 | - |1933 |7246 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
296.64/296.79 c 290s|590000 |318333 | 0 | 0.0 | 401M|1044 | - |1933 |8092 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
301.35/301.47 c 295s|600000 |324486 | 0 | 0.0 | 407M|1044 | - |1933 |8969 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
306.34/306.47 c 299s|610000 |330309 | 0 | 0.0 | 414M|1044 | - |1933 | 10k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
311.64/311.79 c 305s|620000 |335897 | 0 | 0.0 | 420M|1044 | - |1933 | 11k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
317.54/317.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.54/317.64 c 310s|630000 |341055 | 0 | 0.0 | 427M|1044 | - |1933 | 13k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
324.44/324.58 c 317s|640000 |345543 | 0 | 0.0 | 433M|1044 | - |1933 | 16k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
332.84/332.94 c 325s|650000 |349267 | 0 | 0.0 | 440M|1044 | - |1933 | 20k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
341.94/342.10 c 334s|660000 |352969 | 0 | 0.0 | 442M|1044 | - |1933 | 12k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
345.64/345.78 c 338s|670000 |360658 | 0 | 0.0 | 447M|1044 | - |1933 | 10k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
349.74/349.83 c 342s|680000 |367740 | 0 | 0.0 | 454M|1044 | - |1933 | 10k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
354.24/354.31 c 346s|690000 |374332 | 0 | 0.0 | 461M|1044 | - |1933 | 10k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
358.83/358.97 c 351s|700000 |380721 | 0 | 0.0 | 468M|1044 | - |1933 | 12k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
364.14/364.26 c 356s|710000 |386496 | 0 | 0.0 | 476M|1044 | - |1933 | 13k| 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
370.34/370.40 c 362s|720000 |391550 | 0 | 0.0 | 483M|1044 | - |1933 | 16k| 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
377.63/377.75 c 369s|730000 |395675 | 0 | 0.0 | 490M|1044 | - |1933 | 19k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
386.74/386.88 c 378s|740000 |398547 | 0 | 0.0 | 496M|1044 | - |1933 | 23k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
387.53/387.63 o 4
387.53/387.63 c * 379s|740723 |388787 | 0 | 0.0 | 485M|1044 | - |1933 | 23k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
396.13/396.22 c 387s|750000 |392042 | 0 | 0.0 | 485M|1044 | - |1933 | 12k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
401.04/401.12 c 392s|760000 |398521 | 0 | 0.0 | 492M|1044 | - |1933 | 12k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
406.34/406.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.34/406.45 c 397s|770000 |404335 | 0 | 0.0 | 499M|1044 | - |1933 | 14k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
413.14/413.20 c 404s|780000 |408836 | 0 | 0.0 | 506M|1044 | - |1933 | 16k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
422.84/422.91 c 414s|790000 |410490 | 0 | 0.0 | 512M|1044 | - |1933 | 21k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
427.84/427.91 c 419s|800000 |417639 | 0 | 0.0 | 516M|1044 | - |1933 | 14k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
432.74/432.82 c 423s|810000 |424029 | 0 | 0.0 | 523M|1044 | - |1933 | 15k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
438.64/438.75 c 429s|820000 |429454 | 0 | 0.0 | 531M|1044 | - |1933 | 17k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
446.34/446.41 c 437s|830000 |433254 | 0 | 0.0 | 539M|1044 | - |1933 | 21k| 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
455.24/455.40 c 446s|840000 |437068 | 0 | 0.0 | 544M|1044 | - |1933 | 20k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
460.85/460.90 c 451s|850000 |443721 | 0 | 0.0 | 550M|1044 | - |1933 | 16k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
466.74/466.88 c 457s|860000 |449410 | 0 | 0.0 | 557M|1044 | - |1933 | 18k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
474.05/474.20 c 464s|870000 |453906 | 0 | 0.0 | 565M|1044 | - |1933 | 21k| 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
484.74/484.86 c 475s|880000 |455605 | 0 | 0.0 | 571M|1044 | - |1933 | 26k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
489.55/489.69 c 479s|890000 |462418 | 0 | 0.0 | 574M|1044 | - |1933 |9176 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
493.24/493.38 c 483s|900000 |469793 | 0 | 0.0 | 581M|1044 | - |1933 |7103 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
497.14/497.28 c 487s|910000 |476674 | 0 | 0.0 | 589M|1044 | - |1933 |6447 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
500.94/501.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.94/501.06 c 490s|920000 |483669 | 0 | 0.0 | 596M|1044 | - |1933 |7082 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
504.95/505.08 c 494s|930000 |490300 | 0 | 0.0 | 604M|1044 | - |1933 |9268 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
508.94/509.05 c 498s|940000 |497080 | 0 | 0.0 | 611M|1044 | - |1933 | 10k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
512.84/512.99 c 502s|950000 |504234 | 0 | 0.0 | 618M|1044 | - |1933 |8850 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
517.04/517.12 c 506s|960000 |510750 | 0 | 0.0 | 623M|1044 | - |1933 |5449 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
520.74/520.86 c 510s|970000 |516925 | 0 | 0.0 | 629M|1044 | - |1933 |7803 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
527.54/527.62 c 516s|980000 |520009 | 0 | 0.0 | 636M|1044 | - |1933 | 11k| 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
535.65/535.71 c 524s|990000 |522609 | 0 | 0.0 | 642M|1044 | - |1933 | 13k| 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
545.05/545.12 c 533s| 1000k|524802 | 0 | 0.0 | 648M|1044 | - |1933 | 15k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
556.04/556.19 c 544s| 1010k|526460 | 0 | 0.0 | 654M|1044 | - |1933 | 17k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
568.94/569.07 c 557s| 1020k|527370 | 0 | 0.0 | 659M|1044 | - |1933 | 19k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
583.85/583.99 c 572s| 1030k|527432 | 0 | 0.0 | 664M|1044 | - |1933 | 20k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
600.14/600.26 c 588s| 1040k|527066 | 0 | 0.0 | 669M|1044 | - |1933 | 21k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
617.84/617.90 c 605s| 1050k|526216 | 0 | 0.0 | 673M|1044 | - |1933 | 22k| 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
635.75/635.85 c 623s| 1060k|525142 | 0 | 0.0 | 676M|1044 | - |1933 | 23k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
653.85/653.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.85/653.91 c 641s| 1070k|524164 | 0 | 0.0 | 679M|1044 | - |1933 | 24k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
673.05/673.17 c 660s| 1080k|522849 | 0 | 0.0 | 681M|1044 | - |1933 | 24k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
692.95/693.07 c 680s| 1090k|521420 | 0 | 0.0 | 684M|1044 | - |1933 | 26k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
713.75/713.89 c 701s| 1100k|519853 | 0 | 0.0 | 686M|1044 | - |1933 | 27k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
734.65/734.74 c 721s| 1110k|518439 | 0 | 0.0 | 688M|1044 | - |1933 | 28k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
756.55/756.62 c 743s| 1120k|516689 | 0 | 0.0 | 689M|1044 | - |1933 | 29k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
778.75/778.90 c 765s| 1130k|514893 | 0 | 0.0 | 691M|1044 | - |1933 | 30k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
802.25/802.37 c 789s| 1140k|512749 | 0 | 0.0 | 692M|1044 | - |1933 | 31k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
826.75/826.88 c 813s| 1150k|510522 | 0 | 0.0 | 693M|1044 | - |1933 | 30k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
851.64/851.72 c 838s| 1160k|507584 | 0 | 0.0 | 692M|1044 | - |1933 | 32k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
877.25/877.32 c 863s| 1170k|504879 | 0 | 0.0 | 692M|1044 | - |1933 | 32k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
906.21/906.52 c 892s| 1180k|501052 | 0 | 0.0 | 691M|1044 | - |1933 | 34k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
937.70/938.04 c 923s| 1190k|497198 | 0 | 0.0 | 688M|1044 | - |1933 | 35k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
971.31/971.63 c 957s| 1200k|492530 | 0 | 0.0 | 684M|1044 | - |1933 | 37k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1006.79/1007.10 c 992s| 1210k|486246 | 0 | 0.0 | 675M|1044 | - |1933 | 38k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1020.70/1021.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.70/1021.09 c 1006s| 1220k|490998 | 0 | 0.0 | 671M|1044 | - |1933 | 14k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1027.20/1027.55 c 1012s| 1230k|497426 | 0 | 0.0 | 679M|1044 | - |1933 | 12k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1033.39/1033.75 c 1018s| 1240k|503924 | 0 | 0.0 | 688M|1044 | - |1933 | 12k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1039.70/1040.03 c 1024s| 1250k|510350 | 0 | 0.0 | 697M|1044 | - |1933 | 13k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1046.49/1046.87 c 1031s| 1260k|516526 | 0 | 0.0 | 706M|1044 | - |1933 | 14k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1053.50/1053.84 c 1038s| 1270k|522618 | 0 | 0.0 | 715M|1044 | - |1933 | 14k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1060.59/1060.97 c 1045s| 1280k|528662 | 0 | 0.0 | 724M|1044 | - |1933 | 15k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1067.99/1068.33 c 1052s| 1290k|534593 | 0 | 0.0 | 733M|1044 | - |1933 | 16k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1075.29/1075.61 c 1059s| 1300k|540082 | 0 | 0.0 | 742M|1044 | - |1933 | 16k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1082.69/1083.09 c 1066s| 1310k|545549 | 0 | 0.0 | 751M|1044 | - |1933 | 17k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1090.48/1090.84 c 1074s| 1320k|550849 | 0 | 0.0 | 760M|1044 | - |1933 | 17k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1098.08/1098.42 c 1081s| 1330k|556399 | 0 | 0.0 | 770M|1044 | - |1933 | 18k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1106.57/1106.93 c 1090s| 1340k|561332 | 0 | 0.0 | 778M|1044 | - |1933 | 19k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1116.28/1116.63 c 1099s| 1350k|566216 | 0 | 0.0 | 787M|1044 | - |1933 | 19k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1126.18/1126.55 c 1109s| 1360k|571022 | 0 | 0.0 | 796M|1044 | - |1933 | 20k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1136.98/1137.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.98/1137.32 c 1120s| 1370k|575263 | 0 | 0.0 | 805M|1044 | - |1933 | 21k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1142.48/1142.90 o 2
1142.48/1142.90 c *1125s| 1374k|495183 | 0 | 0.0 | 726M|1044 | - |1933 | 21k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.18/1147.55 c 1130s| 1380k|497404 | 0 | 0.0 | 727M|1044 | - |1933 | 10k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1155.67/1156.01 c 1138s| 1390k|500992 | 0 | 0.0 | 734M|1044 | - |1933 | 14k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1166.58/1166.96 c 1148s| 1400k|504315 | 0 | 0.0 | 740M|1044 | - |1933 | 17k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.08/1179.49 c 1160s| 1410k|507399 | 0 | 0.0 | 746M|1044 | - |1933 | 20k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.48/1193.83 c 1174s| 1420k|510187 | 0 | 0.0 | 751M|1044 | - |1933 | 22k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.28/1209.64 c 1190s| 1430k|512703 | 0 | 0.0 | 757M|1044 | - |1933 | 23k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.68/1227.00 c 1207s| 1440k|514662 | 0 | 0.0 | 762M|1044 | - |1933 | 25k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.18/1246.51 c 1226s| 1450k|516150 | 0 | 0.0 | 768M|1044 | - |1933 | 28k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1268.88/1269.28 c 1248s| 1460k|516782 | 0 | 0.0 | 771M|1044 | - |1933 | 30k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1294.88/1295.21 c 1273s| 1470k|516616 | 0 | 0.0 | 775M|1044 | - |1933 | 32k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1323.89/1324.27 c 1302s| 1480k|515494 | 0 | 0.0 | 778M|1044 | - |1933 | 35k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1355.88/1356.23 c 1333s| 1490k|513864 | 0 | 0.0 | 780M|1044 | - |1933 | 37k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.98/1393.34 c 1370s| 1500k|510495 | 0 | 0.0 | 780M|1044 | - |1933 | 40k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1427.78/1428.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.78/1428.15 c 1404s| 1510k|508815 | 0 | 0.0 | 779M|1044 | - |1933 | 38k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1443.18/1443.52 c 1419s| 1520k|514287 | 0 | 0.0 | 783M|1044 | - |1933 | 27k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1455.38/1455.72 c 1431s| 1530k|519469 | 0 | 0.0 | 789M|1044 | - |1933 | 24k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.68/1468.07 c 1443s| 1540k|524062 | 0 | 0.0 | 795M|1044 | - |1933 | 24k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1481.19/1481.59 c 1456s| 1550k|527819 | 0 | 0.0 | 801M|1044 | - |1933 | 24k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1495.98/1496.38 c 1470s| 1560k|531094 | 0 | 0.0 | 807M|1044 | - |1933 | 25k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.49/1512.84 c 1486s| 1570k|533919 | 0 | 0.0 | 813M|1044 | - |1933 | 27k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1531.09/1531.49 c 1505s| 1580k|536218 | 0 | 0.0 | 819M|1044 | - |1933 | 28k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1550.68/1551.07 c 1524s| 1590k|538327 | 0 | 0.0 | 825M|1044 | - |1933 | 29k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1572.09/1572.41 c 1545s| 1600k|539964 | 0 | 0.0 | 831M|1044 | - |1933 | 31k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.19/1593.53 c 1565s| 1610k|542013 | 0 | 0.0 | 836M|1044 | - |1933 | 30k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1615.19/1615.56 c 1587s| 1620k|543521 | 0 | 0.0 | 841M|1044 | - |1933 | 32k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1637.89/1638.22 c 1609s| 1630k|545202 | 0 | 0.0 | 845M|1044 | - |1933 | 33k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1660.18/1660.52 c 1631s| 1640k|547181 | 0 | 0.0 | 851M|1044 | - |1933 | 34k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.09/1685.43 c 1655s| 1650k|548501 | 0 | 0.0 | 856M|1044 | - |1933 | 36k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1710.99/1711.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.99/1711.34 c 1681s| 1660k|549691 | 0 | 0.0 | 861M|1044 | - |1933 | 38k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.59/1740.96 c 1710s| 1670k|550083 | 0 | 0.0 | 867M|1044 | - |1933 | 41k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1774.10/1774.42 c 1743s| 1680k|549825 | 0 | 0.0 | 872M|1044 | - |1933 | 45k| 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.09/1800.40 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.40 c
1800.09/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.40 c Solving Time (sec) : 1768.21
1800.09/1800.40 c Solving Nodes : 1687067
1800.09/1800.40 c Primal Bound : +2.00000000000000e+00 (14 solutions)
1800.09/1800.40 c Dual Bound : +0.00000000000000e+00
1800.09/1800.40 c Gap : infinite
1800.09/1800.41 s SATISFIABLE
1800.09/1800.41 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.09/1800.41 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.09/1800.41 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.09/1800.41 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.41 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.09/1800.41 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.09/1800.41 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
1800.09/1800.41 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
1800.09/1800.41 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
1800.09/1800.41 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
1800.09/1800.41 v -x1
1800.09/1800.41 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.41 c Solving Time : 1768.21
1800.09/1800.41 c Original Problem :
1800.09/1800.41 c Problem name : HOME/instance-2694024-1277900302.wbo
1800.09/1800.41 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.09/1800.41 c Constraints : 3614 initial, 3614 maximal
1800.09/1800.41 c Presolved Problem :
1800.09/1800.41 c Problem name : t_HOME/instance-2694024-1277900302.wbo
1800.09/1800.41 c Variables : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.09/1800.41 c Constraints : 3444 initial, 48454 maximal
1800.09/1800.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.41 c trivial : 0.00 55 0 0 0 0 0 0 0
1800.09/1800.41 c dualfix : 0.00 55 0 0 0 0 0 0 0
1800.09/1800.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c probing : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.41 c indicator : 0.01 0 0 0 0 0 55 0 0
1800.09/1800.41 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c linear : 0.05 0 0 0 906 0 115 55 0
1800.09/1800.41 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.41 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c root node : - 790 - - 1580 - - - -
1800.09/1800.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.41 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.41 c indicator : 851 0 3612652 0 893607 10 1192000 0 0 0
1800.09/1800.41 c setppc : 12 0 5977691 0 1313238 101164 2719770 0 0 0
1800.09/1800.41 c linear : 851 0 5878481 0 1314665 160878 26518633 0 0 0
1800.09/1800.41 c logicor : 1730+ 0 4354240 0 1314669 316696 10665301 0 0 0
1800.09/1800.41 c bounddisjunction : 0+ 0 35193 0 0 0 4 0 0 0
1800.09/1800.41 c countsols : 0 0 0 0 1314669 0 0 0 0 0
1800.09/1800.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.41 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.41 c indicator : 4.00 0.00 2.53 0.00 1.47
1800.09/1800.41 c setppc : 21.06 0.00 19.02 0.00 2.04
1800.09/1800.41 c linear : 138.39 0.00 136.54 0.00 1.85
1800.09/1800.41 c logicor : 741.66 0.00 677.68 0.00 63.98
1800.09/1800.41 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.09/1800.41 c countsols : 0.17 0.00 0.00 0.00 0.17
1800.09/1800.41 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.41 c vbounds : 1.11 2 0 0
1800.09/1800.41 c rootredcost : 1.08 0 0 0
1800.09/1800.41 c pseudoobj : 102.06 5979754 287 1185537
1800.09/1800.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.41 c propagation : 31.39 579025 578656 3197238 22.6 56282 8.6 -
1800.09/1800.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.41 c pseudo solution : 0.00 3 3 8 14.6 1 7.0 -
1800.09/1800.41 c applied globally : - - - 1781449 19.4 - - -
1800.09/1800.41 c applied locally : - - - 0 0.0 - - -
1800.09/1800.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.41 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.41 c redcost : 0.00 0 0 0 0 0
1800.09/1800.41 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.41 c intobj : 0.00 0 0 0 0 0
1800.09/1800.41 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.41 c gomory : 0.00 0 0 0 0 0
1800.09/1800.41 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.41 c cmir : 0.00 0 0 0 0 0
1800.09/1800.41 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.41 c clique : 0.00 0 0 0 0 0
1800.09/1800.41 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.41 c mcf : 0.00 0 0 0 0 0
1800.09/1800.41 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.41 c Pricers : Time Calls Vars
1800.09/1800.41 c problem variables: 0.00 0 0
1800.09/1800.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.41 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.41 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.41 c inference : 17.78 1314655 0 0 0 0 2629310
1800.09/1800.41 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.41 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.41 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.41 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.41 c random : 0.00 0 0 0 0 0 0
1800.09/1800.41 c Primal Heuristics : Time Calls Found
1800.09/1800.41 c LP solutions : 0.00 - 0
1800.09/1800.41 c pseudo solutions : 0.22 - 14
1800.09/1800.41 c oneopt : 0.54 0 0
1800.09/1800.41 c trivial : 0.00 2 0
1800.09/1800.41 c simplerounding : 0.00 0 0
1800.09/1800.41 c zirounding : 0.00 0 0
1800.09/1800.41 c rounding : 0.00 0 0
1800.09/1800.41 c shifting : 0.00 0 0
1800.09/1800.41 c intshifting : 0.00 0 0
1800.09/1800.41 c twoopt : 0.00 0 0
1800.09/1800.41 c fixandinfer : 0.00 0 0
1800.09/1800.41 c feaspump : 0.00 0 0
1800.09/1800.41 c coefdiving : 0.00 0 0
1800.09/1800.41 c pscostdiving : 0.00 0 0
1800.09/1800.41 c fracdiving : 0.00 0 0
1800.09/1800.41 c veclendiving : 0.00 0 0
1800.09/1800.41 c intdiving : 0.00 0 0
1800.09/1800.41 c actconsdiving : 0.00 0 0
1800.09/1800.41 c objpscostdiving : 0.00 0 0
1800.09/1800.41 c rootsoldiving : 0.00 0 0
1800.09/1800.41 c linesearchdiving : 0.00 0 0
1800.09/1800.41 c guideddiving : 0.00 0 0
1800.09/1800.41 c octane : 0.00 0 0
1800.09/1800.41 c rens : 0.00 0 0
1800.09/1800.41 c rins : 0.00 0 0
1800.09/1800.41 c localbranching : 0.00 0 0
1800.09/1800.41 c mutation : 0.00 0 0
1800.09/1800.41 c crossover : 0.00 0 0
1800.09/1800.41 c dins : 0.00 0 0
1800.09/1800.41 c undercover : 0.00 0 0
1800.09/1800.41 c nlp : 0.24 0 0
1800.09/1800.41 c trysol : 0.26 1 0
1800.09/1800.41 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.41 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.41 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.41 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.41 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.41 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.41 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.41 c (at root node) : - 0 0 0.00 -
1800.09/1800.41 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.41 c B&B Tree :
1800.09/1800.41 c number of runs : 1
1800.09/1800.41 c nodes : 1687067
1800.09/1800.41 c nodes (total) : 1687067
1800.09/1800.41 c nodes left : 549141
1800.09/1800.41 c max depth : 1044
1800.09/1800.41 c max depth (total): 1044
1800.09/1800.41 c backtracks : 405171 (24.0%)
1800.09/1800.41 c delayed cutoffs : 294752
1800.09/1800.41 c repropagations : 1393164 (12263495 domain reductions, 206640 cutoffs)
1800.09/1800.41 c avg switch length: 29.38
1800.09/1800.41 c switching time : 557.61
1800.09/1800.41 c Solution :
1800.09/1800.41 c Solutions found : 14 (14 improvements)
1800.09/1800.41 c First Solution : +4.60000000000000e+02 (in run 1, after 4571 nodes, 1.07 seconds, depth 574, found by <relaxation>)
1800.09/1800.41 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1374825 nodes, 1125.12 seconds, depth 97, found by <relaxation>)
1800.09/1800.41 c Dual Bound : +0.00000000000000e+00
1800.09/1800.41 c Gap : infinite
1800.09/1800.41 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.41 c Root Iterations : 0
1801.89/1802.26 c Time complete: 1801.95.