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-2694049-1277902608.wbo>
0.00/0.02 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 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.03/0.04 c presolving:
0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.03/0.07 c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.03/0.09 c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.15 c (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients
0.09/0.15 c 1117 implications, 11 cliques
0.09/0.15 c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints
0.09/0.15 c 841 constraints of type <indicator>
0.09/0.15 c 11 constraints of type <setppc>
0.09/0.15 c 841 constraints of type <linear>
0.09/0.15 c 1660 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.09
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
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 = 1799.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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
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 # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |7503k| 0 | - |1913 |3353 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.01 o 605
0.99/1.01 c * 0.9s| 3754 | 3296 | 0 | 0.0 |9953k|1000 | - |1913 |4006 | 0 | 0 | 0 |1017 | 0 | 0.000000e+00 | 6.050000e+02 | Inf
0.99/1.01 o 538
0.99/1.01 c * 0.9s| 3759 | 3234 | 0 | 0.0 |9998k|1000 | - |1913 |4006 | 0 | 0 | 0 |1017 | 0 | 0.000000e+00 | 5.380000e+02 | Inf
0.99/1.05 o 479
0.99/1.05 c * 0.9s| 3891 | 3252 | 0 | 0.0 | 10M|1000 | - |1913 |4005 | 0 | 0 | 0 |1024 | 0 | 0.000000e+00 | 4.790000e+02 | Inf
1.10/1.12 o 279
1.10/1.12 c * 1.0s| 4139 | 3326 | 0 | 0.0 | 10M|1000 | - |1913 |4012 | 0 | 0 | 0 |1036 | 0 | 0.000000e+00 | 2.790000e+02 | Inf
2.59/2.67 c 2.4s| 10000 | 8091 | 0 | 0.0 | 14M|1000 | - |1913 |4624 | 0 | 0 | 0 |4009 | 0 | 0.000000e+00 | 2.790000e+02 | Inf
5.80/5.80 c 5.2s| 20000 | 15155 | 0 | 0.0 | 22M|1000 | - |1913 |5873 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.790000e+02 | Inf
8.10/8.11 o 216
8.10/8.11 c * 7.3s| 25673 | 18391 | 0 | 0.0 | 26M|1000 | - |1913 |6699 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
8.10/8.11 o 189
8.10/8.11 c * 7.3s| 25674 | 18337 | 0 | 0.0 | 26M|1000 | - |1913 |6699 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.890000e+02 | Inf
8.10/8.14 o 160
8.10/8.14 c * 7.4s| 25763 | 18330 | 0 | 0.0 | 26M|1000 | - |1913 |6659 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
8.10/8.14 o 125
8.10/8.14 c * 7.4s| 25764 | 18248 | 0 | 0.0 | 26M|1000 | - |1913 |6659 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
9.49/9.57 c 8.7s| 30000 | 22089 | 0 | 0.0 | 30M|1000 | - |1913 |5650 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
9.99/10.03 o 117
9.99/10.03 c * 9.1s| 31366 | 23246 | 0 | 0.0 | 31M|1000 | - |1913 |5624 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
9.99/10.03 o 65
9.99/10.03 c * 9.1s| 31367 | 22438 | 0 | 0.0 | 30M|1000 | - |1913 |5624 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
10.30/10.35 o 9
10.30/10.35 c * 9.3s| 32419 | 21229 | 0 | 0.0 | 29M|1000 | - |1913 |5310 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
12.39/12.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.47 c 11.2s| 40000 | 27496 | 0 | 0.0 | 39M|1000 | - |1913 |5604 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
15.59/15.66 c 14.1s| 50000 | 34831 | 0 | 0.0 | 47M|1000 | - |1913 |7117 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
18.99/19.08 c 17.2s| 60000 | 41890 | 0 | 0.0 | 54M|1000 | - |1913 |7871 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
23.10/23.12 c 20.9s| 70000 | 48099 | 0 | 0.0 | 62M|1000 | - |1913 |8681 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
27.39/27.43 c 24.9s| 80000 | 53944 | 0 | 0.0 | 70M|1000 | - |1913 |9243 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
31.90/31.92 c 29.1s| 90000 | 59566 | 0 | 0.0 | 77M|1000 | - |1913 |9937 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
36.79/36.80 c 33.6s|100000 | 64623 | 0 | 0.0 | 85M|1000 | - |1913 | 10k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
42.19/42.24 c 38.7s|110000 | 69085 | 0 | 0.0 | 93M|1000 | - |1913 | 11k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
47.99/48.05 c 44.2s|120000 | 73208 | 0 | 0.0 | 101M|1000 | - |1913 | 13k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
54.79/54.85 c 50.6s|130000 | 76510 | 0 | 0.0 | 110M|1000 | - |1913 | 16k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
60.89/60.98 c 56.3s|140000 | 81976 | 0 | 0.0 | 123M|1000 | - |1913 |6253 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
64.49/64.53 c 59.5s|150000 | 89307 | 0 | 0.0 | 131M|1000 | - |1913 |8243 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
68.59/68.62 c 63.3s|160000 | 96036 | 0 | 0.0 | 139M|1000 | - |1913 |8403 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
73.30/73.38 c 67.7s|170000 |102581 | 0 | 0.0 | 158M|1000 | - |1913 |8327 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
77.80/77.86 c 71.8s|180000 |109023 | 0 | 0.0 | 167M|1000 | - |1913 |9446 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
82.09/82.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.09/82.17 c 75.7s|190000 |115779 | 0 | 0.0 | 174M|1000 | - |1913 | 11k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
85.99/86.03 c 79.3s|200000 |123166 | 0 | 0.0 | 182M|1000 | - |1913 | 13k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
89.70/89.76 c 82.7s|210000 |130789 | 0 | 0.0 | 189M|1000 | - |1913 | 13k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
93.80/93.89 c 86.5s|220000 |137926 | 0 | 0.0 | 196M|1000 | - |1913 | 13k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
98.10/98.10 c 90.3s|230000 |144914 | 0 | 0.0 | 204M|1000 | - |1913 | 14k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
102.20/102.30 c 94.2s|240000 |151880 | 0 | 0.0 | 210M|1000 | - |1913 | 14k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
106.50/106.55 c 98.1s|250000 |158977 | 0 | 0.0 | 215M|1000 | - |1913 |8298 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
109.80/109.85 c 101s|260000 |166562 | 0 | 0.0 | 222M|1000 | - |1913 |9073 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
115.19/115.24 c 106s|270000 |171678 | 0 | 0.0 | 231M|1000 | - |1913 | 12k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
121.29/121.38 c 112s|280000 |176366 | 0 | 0.0 | 238M|1000 | - |1913 | 13k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
127.60/127.66 c 118s|290000 |181012 | 0 | 0.0 | 246M|1000 | - |1913 | 14k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
134.60/134.62 c 124s|300000 |185031 | 0 | 0.0 | 253M|1000 | - |1913 | 14k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
141.60/141.60 c 131s|310000 |189163 | 0 | 0.0 | 260M|1000 | - |1913 | 15k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
148.70/148.73 c 138s|320000 |193282 | 0 | 0.0 | 267M|1000 | - |1913 | 16k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
156.10/156.14 c 145s|330000 |197267 | 0 | 0.0 | 274M|1000 | - |1913 | 17k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
163.91/163.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.91/163.92 c 152s|340000 |201161 | 0 | 0.0 | 282M|1000 | - |1913 | 18k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
172.40/172.46 c 160s|350000 |204497 | 0 | 0.0 | 288M|1000 | - |1913 | 18k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
180.90/180.99 c 168s|360000 |207831 | 0 | 0.0 | 294M|1000 | - |1913 | 19k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
189.30/189.39 c 177s|370000 |211423 | 0 | 0.0 | 301M|1000 | - |1913 | 20k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
198.20/198.23 c 185s|380000 |214783 | 0 | 0.0 | 308M|1000 | - |1913 | 20k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
208.20/208.23 c 195s|390000 |217095 | 0 | 0.0 | 314M|1000 | - |1913 | 20k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
217.80/217.83 c 204s|400000 |219986 | 0 | 0.0 | 321M|1000 | - |1913 | 21k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
228.40/228.47 c 214s|410000 |222058 | 0 | 0.0 | 327M|1000 | - |1913 | 22k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
238.90/238.90 c 224s|420000 |224436 | 0 | 0.0 | 333M|1000 | - |1913 | 22k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
250.20/250.25 c 235s|430000 |226172 | 0 | 0.0 | 339M|1000 | - |1913 | 24k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
262.10/262.18 c 246s|440000 |227839 | 0 | 0.0 | 345M|1000 | - |1913 | 24k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
274.60/274.66 c 259s|450000 |229036 | 0 | 0.0 | 350M|1000 | - |1913 | 25k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
289.10/289.14 c 273s|460000 |229230 | 0 | 0.0 | 355M|1000 | - |1913 | 28k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
306.00/306.01 c 289s|470000 |228536 | 0 | 0.0 | 361M|1000 | - |1913 | 33k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
325.90/325.95 c 308s|480000 |228297 | 0 | 0.0 | 359M|1000 | - |1913 | 26k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
330.80/330.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.80/330.83 c 313s|490000 |236237 | 0 | 0.0 | 358M|1000 | - |1913 | 10k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
334.71/334.74 c 317s|500000 |243877 | 0 | 0.0 | 364M|1000 | - |1913 |9440 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
338.81/338.84 c 320s|510000 |251326 | 0 | 0.0 | 371M|1000 | - |1913 | 10k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
343.31/343.38 c 324s|520000 |258402 | 0 | 0.0 | 378M|1000 | - |1913 | 11k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
348.70/348.77 c 330s|530000 |264780 | 0 | 0.0 | 386M|1000 | - |1913 | 13k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
354.80/354.84 c 335s|540000 |270679 | 0 | 0.0 | 395M|1000 | - |1913 | 15k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
361.60/361.60 c 342s|550000 |276178 | 0 | 0.0 | 403M|1000 | - |1913 | 16k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
368.80/368.85 c 348s|560000 |281434 | 0 | 0.0 | 412M|1000 | - |1913 | 18k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
377.00/377.05 c 356s|570000 |286056 | 0 | 0.0 | 420M|1000 | - |1913 | 20k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
386.91/386.92 c 366s|580000 |289775 | 0 | 0.0 | 428M|1000 | - |1913 | 23k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
396.91/396.97 c 375s|590000 |294202 | 0 | 0.0 | 432M|1000 | - |1913 | 17k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
401.41/401.42 c 379s|600000 |301887 | 0 | 0.0 | 438M|1000 | - |1913 | 16k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
406.31/406.34 c 384s|610000 |309108 | 0 | 0.0 | 445M|1000 | - |1913 | 18k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
412.10/412.14 c 389s|620000 |315773 | 0 | 0.0 | 453M|1000 | - |1913 | 20k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
418.51/418.50 c 395s|630000 |322069 | 0 | 0.0 | 460M|1000 | - |1913 | 23k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
427.71/427.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.71/427.74 c 404s|640000 |326515 | 0 | 0.0 | 469M|1000 | - |1913 | 26k| 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
440.61/440.67 c 417s|650000 |329010 | 0 | 0.0 | 476M|1000 | - |1913 | 32k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
447.61/447.69 c 423s|660000 |336508 | 0 | 0.0 | 481M|1000 | - |1913 | 27k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
453.81/453.85 c 429s|670000 |343784 | 0 | 0.0 | 486M|1000 | - |1913 | 25k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
460.41/460.44 c 435s|680000 |350454 | 0 | 0.0 | 494M|1000 | - |1913 | 27k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
468.62/468.61 c 443s|690000 |356088 | 0 | 0.0 | 502M|1000 | - |1913 | 30k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
479.11/479.18 c 453s|700000 |360451 | 0 | 0.0 | 511M|1000 | - |1913 | 35k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
494.71/494.77 c 468s|710000 |362572 | 0 | 0.0 | 519M|1000 | - |1913 | 42k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
502.81/502.80 c 476s|720000 |370251 | 0 | 0.0 | 522M|1000 | - |1913 | 34k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
509.01/509.06 c 482s|730000 |377837 | 0 | 0.0 | 527M|1000 | - |1913 | 30k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
515.41/515.42 c 488s|740000 |384926 | 0 | 0.0 | 534M|1000 | - |1913 | 31k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
518.12/518.15 o 7
518.12/518.15 c * 491s|743627 |386258 | 0 | 0.0 | 534M|1000 | - |1913 | 32k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
524.01/524.01 c 496s|750000 |389778 | 0 | 0.0 | 540M|1000 | - |1913 | 34k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
529.41/529.45 o 5
529.41/529.45 c * 501s|755798 |381685 | 0 | 0.0 | 524M|1000 | - |1913 | 36k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
534.52/534.52 c 506s|760000 |383447 | 0 | 0.0 | 529M|1000 | - |1913 | 37k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
548.91/548.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.91/548.92 c 520s|770000 |386670 | 0 | 0.0 | 539M|1000 | - |1913 | 41k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
565.32/565.34 c 536s|780000 |389917 | 0 | 0.0 | 545M|1000 | - |1913 | 41k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
573.91/573.97 c 544s|790000 |397074 | 0 | 0.0 | 551M|1000 | - |1913 | 35k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
582.21/582.29 c 552s|800000 |403633 | 0 | 0.0 | 559M|1000 | - |1913 | 36k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
591.51/591.51 c 561s|810000 |409549 | 0 | 0.0 | 568M|1000 | - |1913 | 38k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
602.91/602.99 c 572s|820000 |414216 | 0 | 0.0 | 578M|1000 | - |1913 | 41k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
617.02/617.08 c 586s|830000 |417405 | 0 | 0.0 | 587M|1000 | - |1913 | 44k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
635.12/635.18 c 603s|840000 |418820 | 0 | 0.0 | 593M|1000 | - |1913 | 46k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
644.12/644.18 c 612s|850000 |426102 | 0 | 0.0 | 598M|1000 | - |1913 | 40k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
653.22/653.27 c 621s|860000 |432595 | 0 | 0.0 | 606M|1000 | - |1913 | 41k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
663.91/663.94 c 631s|870000 |438169 | 0 | 0.0 | 614M|1000 | - |1913 | 44k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
676.31/676.38 c 643s|880000 |442838 | 0 | 0.0 | 623M|1000 | - |1913 | 46k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
691.21/691.26 c 657s|890000 |446310 | 0 | 0.0 | 632M|1000 | - |1913 | 50k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
707.22/707.25 c 673s|900000 |449740 | 0 | 0.0 | 638M|1000 | - |1913 | 52k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
716.72/716.77 c 682s|910000 |456915 | 0 | 0.0 | 643M|1000 | - |1913 | 47k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
726.32/726.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.32/726.33 c 691s|920000 |463301 | 0 | 0.0 | 651M|1000 | - |1913 | 47k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
737.22/737.24 c 702s|930000 |468699 | 0 | 0.0 | 659M|1000 | - |1913 | 49k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
749.92/749.91 c 714s|940000 |473201 | 0 | 0.0 | 667M|1000 | - |1913 | 51k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
764.72/764.72 c 729s|950000 |476585 | 0 | 0.0 | 674M|1000 | - |1913 | 54k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
778.73/778.78 c 742s|960000 |481204 | 0 | 0.0 | 680M|1000 | - |1913 | 53k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
788.73/788.71 c 752s|970000 |488115 | 0 | 0.0 | 686M|1000 | - |1913 | 49k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
799.12/799.10 c 762s|980000 |494134 | 0 | 0.0 | 693M|1000 | - |1913 | 50k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
810.52/810.54 c 773s|990000 |499431 | 0 | 0.0 | 700M|1000 | - |1913 | 51k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
824.31/824.39 c 786s| 1000k|503400 | 0 | 0.0 | 708M|1000 | - |1913 | 54k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
842.12/842.19 c 804s| 1010k|505791 | 0 | 0.0 | 714M|1000 | - |1913 | 59k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
852.02/852.10 c 813s| 1020k|513166 | 0 | 0.0 | 718M|1000 | - |1913 | 52k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
861.23/861.21 c 822s| 1030k|519934 | 0 | 0.0 | 724M|1000 | - |1913 | 51k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
871.62/871.65 c 832s| 1040k|525659 | 0 | 0.0 | 731M|1000 | - |1913 | 53k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
885.92/885.92 c 846s| 1050k|529531 | 0 | 0.0 | 739M|1000 | - |1913 | 56k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
904.62/904.67 c 864s| 1060k|531362 | 0 | 0.0 | 746M|1000 | - |1913 | 62k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
915.12/915.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.12/915.12 c 874s| 1070k|538494 | 0 | 0.0 | 742M|1000 | - |1913 | 21k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
921.92/921.91 c 881s| 1080k|545412 | 0 | 0.0 | 748M|1000 | - |1913 | 16k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
927.53/927.57 c 886s| 1090k|552652 | 0 | 0.0 | 756M|1000 | - |1913 | 15k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
933.52/933.59 c 892s| 1100k|559836 | 0 | 0.0 | 765M|1000 | - |1913 | 16k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
940.72/940.70 c 898s| 1110k|566478 | 0 | 0.0 | 774M|1000 | - |1913 | 17k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
947.93/947.98 c 905s| 1120k|572744 | 0 | 0.0 | 783M|1000 | - |1913 | 19k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
954.13/954.15 c 911s| 1130k|579575 | 0 | 0.0 | 791M|1000 | - |1913 | 20k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
959.43/959.44 c 916s| 1140k|587256 | 0 | 0.0 | 798M|1000 | - |1913 | 20k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
965.32/965.32 c 922s| 1150k|594519 | 0 | 0.0 | 804M|1000 | - |1913 | 20k| 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
971.13/971.18 c 927s| 1160k|601686 | 0 | 0.0 | 811M|1000 | - |1913 | 20k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
977.03/977.09 c 933s| 1170k|608754 | 0 | 0.0 | 818M|1000 | - |1913 | 21k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
983.02/983.03 c 938s| 1180k|615664 | 0 | 0.0 | 823M|1000 | - |1913 | 19k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
988.03/988.05 c 943s| 1190k|623434 | 0 | 0.0 | 830M|1000 | - |1913 | 17k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
999.63/999.61 c 954s| 1200k|625190 | 0 | 0.0 | 838M|1000 | - |1913 | 24k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1016.33/1016.32 c 970s| 1210k|625873 | 0 | 0.0 | 845M|1000 | - |1913 | 29k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1035.53/1035.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.53/1035.50 c 989s| 1220k|626277 | 0 | 0.0 | 851M|1000 | - |1913 | 32k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1056.92/1056.99 c 1010s| 1230k|625937 | 0 | 0.0 | 856M|1000 | - |1913 | 34k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1078.93/1079.00 c 1032s| 1240k|625890 | 0 | 0.0 | 861M|1000 | - |1913 | 36k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1103.62/1103.63 c 1056s| 1250k|624884 | 0 | 0.0 | 864M|1000 | - |1913 | 38k| 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1127.62/1127.68 c 1079s| 1260k|624259 | 0 | 0.0 | 868M|1000 | - |1913 | 38k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1151.13/1151.15 c 1102s| 1270k|623823 | 0 | 0.0 | 872M|1000 | - |1913 | 38k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1174.62/1174.67 c 1126s| 1280k|623487 | 0 | 0.0 | 876M|1000 | - |1913 | 40k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1198.93/1198.91 c 1149s| 1290k|623030 | 0 | 0.0 | 879M|1000 | - |1913 | 40k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1223.43/1223.45 c 1173s| 1300k|622410 | 0 | 0.0 | 883M|1000 | - |1913 | 42k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1248.23/1248.22 c 1198s| 1310k|621576 | 0 | 0.0 | 887M|1000 | - |1913 | 43k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1274.63/1274.69 c 1224s| 1320k|620004 | 0 | 0.0 | 888M|1000 | - |1913 | 43k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1301.34/1301.35 c 1250s| 1330k|618522 | 0 | 0.0 | 890M|1000 | - |1913 | 45k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1329.23/1329.20 c 1277s| 1340k|617098 | 0 | 0.0 | 893M|1000 | - |1913 | 48k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1358.44/1358.47 c 1306s| 1350k|615507 | 0 | 0.0 | 897M|1000 | - |1913 | 50k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1390.23/1390.30 c 1337s| 1360k|612986 | 0 | 0.0 | 897M|1000 | - |1913 | 52k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1421.64/1421.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.64/1421.66 c 1368s| 1370k|611241 | 0 | 0.0 | 899M|1000 | - |1913 | 53k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1454.25/1454.21 c 1400s| 1380k|608874 | 0 | 0.0 | 898M|1000 | - |1913 | 54k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1489.45/1489.49 c 1435s| 1390k|606121 | 0 | 0.0 | 898M|1000 | - |1913 | 57k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1522.54/1522.59 c 1468s| 1400k|597470 | 0 | 0.0 | 880M|1000 | - |1913 | 44k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1541.05/1541.05 c 1486s| 1410k|596740 | 0 | 0.0 | 863M|1000 | - |1913 | 21k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1549.64/1549.67 c 1494s| 1420k|602915 | 0 | 0.0 | 869M|1000 | - |1913 | 14k| 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1557.04/1557.02 c 1501s| 1430k|608977 | 0 | 0.0 | 876M|1000 | - |1913 | 12k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1563.74/1563.79 c 1507s| 1440k|615082 | 0 | 0.0 | 885M|1000 | - |1913 | 12k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1570.34/1570.38 c 1513s| 1450k|621230 | 0 | 0.0 | 894M|1000 | - |1913 | 12k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1578.84/1578.83 c 1521s| 1460k|626183 | 0 | 0.0 | 903M|1000 | - |1913 | 14k| 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1588.25/1588.23 c 1530s| 1470k|630920 | 0 | 0.0 | 913M|1000 | - |1913 | 16k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1597.84/1597.86 c 1539s| 1480k|635533 | 0 | 0.0 | 923M|1000 | - |1913 | 17k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1608.05/1608.08 c 1549s| 1490k|639755 | 0 | 0.0 | 932M|1000 | - |1913 | 18k| 0 | 0 | 0 |1992k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1619.25/1619.26 c 1560s| 1500k|643618 | 0 | 0.0 | 941M|1000 | - |1913 | 19k| 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1630.54/1630.50 c 1571s| 1510k|647477 | 0 | 0.0 | 950M|1000 | - |1913 | 21k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1642.35/1642.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.35/1642.38 c 1582s| 1520k|651277 | 0 | 0.0 | 960M|1000 | - |1913 | 22k| 0 | 0 | 0 |2031k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1655.94/1655.98 c 1595s| 1530k|654353 | 0 | 0.0 | 968M|1000 | - |1913 | 23k| 0 | 0 | 0 |2045k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1670.75/1670.78 c 1610s| 1540k|657032 | 0 | 0.0 | 977M|1000 | - |1913 | 25k| 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1687.35/1687.32 c 1626s| 1550k|659098 | 0 | 0.0 | 986M|1000 | - |1913 | 26k| 0 | 0 | 0 |2077k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1704.04/1704.05 c 1642s| 1560k|661065 | 0 | 0.0 | 994M|1000 | - |1913 | 27k| 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1721.65/1721.68 c 1659s| 1570k|662834 | 0 | 0.0 |1002M|1000 | - |1913 | 28k| 0 | 0 | 0 |2111k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1740.45/1740.43 c 1677s| 1580k|664180 | 0 | 0.0 |1010M|1000 | - |1913 | 29k| 0 | 0 | 0 |2130k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1760.35/1760.31 c 1697s| 1590k|665232 | 0 | 0.0 |1018M|1000 | - |1913 | 30k| 0 | 0 | 0 |2149k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1782.45/1782.41 c 1718s| 1600k|665200 | 0 | 0.0 |1026M|1000 | - |1913 | 33k| 0 | 0 | 0 |2170k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1791.75/1791.78 o 4
1791.75/1791.78 c *1727s| 1604k|662600 | 0 | 0.0 |1024M|1000 | - |1913 | 34k| 0 | 0 | 0 |2179k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1735.39
1800.05/1800.00 c Solving Nodes : 1607130
1800.05/1800.00 c Primal Bound : +4.00000000000000e+00 (14 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.05/1800.01 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.05/1800.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.05/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147 -x146
1800.05/1800.01 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.05/1800.01 v -x125 -x124 x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.05/1800.01 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.05/1800.01 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.05/1800.01 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.05/1800.01 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.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1735.39
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694049-1277902608.wbo
1800.05/1800.01 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.05/1800.01 c Constraints : 3619 initial, 3619 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694049-1277902608.wbo
1800.05/1800.01 c Variables : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous)
1800.05/1800.01 c Constraints : 3353 initial, 62783 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 70 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 70 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 70 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.06 0 0 0 931 0 196 142 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 841 0 3098673 0 867436 53 1717129 0 0 0
1800.05/1800.01 c setppc : 11 0 5328750 0 1263174 27418 4471837 0 0 0
1800.05/1800.01 c linear : 841 0 5301700 0 1263250 215954 22535934 0 0 0
1800.05/1800.01 c logicor : 1660+ 0 3857348 0 1263254 289831 11107007 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 112286 0 0 15 3912 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1263254 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 3.78 0.00 1.92 0.00 1.86
1800.05/1800.01 c setppc : 20.74 0.00 19.46 0.00 1.28
1800.05/1800.01 c linear : 141.72 0.00 141.17 0.00 0.55
1800.05/1800.01 c logicor : 741.80 0.00 681.34 0.00 60.46
1800.05/1800.01 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.00 2 0 0
1800.05/1800.01 c rootredcost : 0.00 0 0 0
1800.05/1800.01 c pseudoobj : 83.82 5329776 777 1705726
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 39.72 533995 533898 2683243 27.8 356817 10.0 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 9 9 53 19.8 17 11.0 -
1800.05/1800.01 c applied globally : - - - 2186035 23.1 - - -
1800.05/1800.01 c applied locally : - - - 57 120.3 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 17.93 1263240 0 0 0 0 2526480
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.07 - 14
1800.05/1800.01 c oneopt : 0.11 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.00 0 0
1800.05/1800.01 c trysol : 0.00 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 1607130
1800.05/1800.01 c nodes (total) : 1607130
1800.05/1800.01 c nodes left : 662255
1800.05/1800.01 c max depth : 1000
1800.05/1800.01 c max depth (total): 1000
1800.05/1800.01 c backtracks : 326088 (20.3%)
1800.05/1800.01 c delayed cutoffs : 238812
1800.05/1800.01 c repropagations : 1044114 (11743185 domain reductions, 190181 cutoffs)
1800.05/1800.01 c avg switch length: 22.23
1800.05/1800.01 c switching time : 549.03
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 14 (14 improvements)
1800.05/1800.01 c First Solution : +6.05000000000000e+02 (in run 1, after 3754 nodes, 0.87 seconds, depth 210, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +4.00000000000000e+00 (in run 1, after 1604118 nodes, 1727.37 seconds, depth 48, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 0