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-2693998-1277899477.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.00 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.03 c 0.8s| 10000 | 6748 | 0 | 0.0 |6270k| 116 | - | 223 |3027 | 0 | 0 | 0 |4627 | 0 | 0.000000e+00 | -- | Inf
1.59/1.64 o 164
1.59/1.64 c * 1.3s| 13287 | 7988 | 0 | 0.0 |8260k| 116 | - | 223 |4554 | 0 | 0 | 0 |7505 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1.59/1.66 o 145
1.59/1.66 c * 1.3s| 13526 | 8204 | 0 | 0.0 |8339k| 116 | - | 223 |4471 | 0 | 0 | 0 |7527 | 0 | 0.000000e+00 | 1.450000e+02 | Inf
1.69/1.73 o 87
1.69/1.73 c * 1.3s| 14309 | 8849 | 0 | 0.0 |8498k| 116 | - | 223 |3809 | 0 | 0 | 0 |7636 | 0 | 0.000000e+00 | 8.700000e+01 | Inf
1.69/1.74 o 81
1.69/1.74 c * 1.3s| 14324 | 8693 | 0 | 0.0 |8426k| 116 | - | 223 |3804 | 0 | 0 | 0 |7640 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.59/2.66 c 2.1s| 20000 | 11915 | 0 | 0.0 | 10M| 116 | - | 223 |3442 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.59/4.69 c 3.8s| 30000 | 16305 | 0 | 0.0 | 15M| 116 | - | 223 |6214 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
7.70/7.77 c 6.6s| 40000 | 18465 | 0 | 0.0 | 20M| 116 | - | 223 |9123 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
10.69/10.77 c 9.3s| 50000 | 21703 | 0 | 0.0 | 21M| 116 | - | 223 |2162 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
12.59/12.69 c 10.9s| 60000 | 25490 | 0 | 0.0 | 25M| 116 | - | 223 |3015 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.50/15.57 c 13.5s| 70000 | 26510 | 0 | 0.0 | 28M| 116 | - | 223 |4576 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.10/19.14 c 16.7s| 80000 | 26455 | 0 | 0.0 | 31M| 116 | - | 223 |6963 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
23.19/23.27 c 20.5s| 90000 | 25616 | 0 | 0.0 | 33M| 116 | - | 223 |9005 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
27.50/27.57 c 24.4s|100000 | 24832 | 0 | 0.0 | 33M| 116 | - | 223 |9783 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
29.50/29.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.50/29.54 c 26.1s|110000 | 30674 | 0 | 0.0 | 36M| 116 | - | 223 |4516 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
32.09/32.14 c 28.4s|120000 | 34083 | 0 | 0.0 | 40M| 116 | - | 223 |6554 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
36.39/36.40 c 32.3s|130000 | 33474 | 0 | 0.0 | 42M| 116 | - | 223 |9462 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
44.09/44.20 c 39.7s|140000 | 28078 | 0 | 0.0 | 40M| 116 | - | 223 | 14k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
51.60/51.63 c 46.8s|150000 | 23106 | 0 | 0.0 | 33M| 116 | - | 223 | 17k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
56.00/56.05 c 50.8s|160000 | 26531 | 0 | 0.0 | 34M| 116 | - | 223 | 10k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
60.40/60.46 c 54.9s|170000 | 28537 | 0 | 0.0 | 37M| 116 | - | 223 | 10k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
65.59/65.62 c 59.8s|180000 | 29285 | 0 | 0.0 | 39M| 116 | - | 223 | 13k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
71.79/71.86 c 65.7s|190000 | 28844 | 0 | 0.0 | 41M| 116 | - | 223 | 16k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
81.19/81.26 c 74.7s|200000 | 24168 | 0 | 0.0 | 32M| 116 | - | 223 | 17k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
89.78/89.87 c 82.9s|210000 | 22871 | 0 | 0.0 | 34M| 116 | - | 223 | 18k| 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
99.39/99.42 c 92.1s|220000 | 21598 | 0 | 0.0 | 36M| 116 | - | 223 | 23k| 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
111.79/111.83 c 104s|230000 | 18664 | 0 | 0.0 | 37M| 116 | - | 223 | 28k| 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
129.29/129.38 c 121s|240000 | 13595 | 0 | 0.0 | 33M| 116 | - | 223 | 29k| 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
148.78/148.88 c 140s|250000 | 7406 | 0 | 0.0 | 24M| 116 | - | 223 | 29k| 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
153.89/153.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.89/153.91 c 145s|260000 | 12024 | 0 | 0.0 | 17M| 116 | - | 223 |7835 | 0 | 0 | 0 | 286k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
157.88/157.98 c 149s|270000 | 13712 | 0 | 0.0 | 19M| 116 | - | 223 |8821 | 0 | 0 | 0 | 295k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
160.38/160.44 c 151s|280000 | 19648 | 0 | 0.0 | 22M| 116 | - | 223 |7170 | 0 | 0 | 0 | 300k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
162.99/163.09 c 153s|290000 | 24819 | 0 | 0.0 | 26M| 116 | - | 223 |8813 | 0 | 0 | 0 | 306k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
166.99/167.03 c 157s|300000 | 28073 | 0 | 0.0 | 31M| 116 | - | 223 | 11k| 0 | 0 | 0 | 314k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
172.89/172.95 c 162s|310000 | 28795 | 0 | 0.0 | 35M| 116 | - | 223 | 15k| 0 | 0 | 0 | 324k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
178.79/178.88 c 168s|320000 | 30245 | 0 | 0.0 | 36M| 116 | - | 223 | 15k| 0 | 0 | 0 | 334k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
183.49/183.53 c 172s|330000 | 34509 | 0 | 0.0 | 40M| 116 | - | 223 | 16k| 0 | 0 | 0 | 342k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
189.88/189.92 c 179s|340000 | 36734 | 0 | 0.0 | 44M| 116 | - | 223 | 17k| 0 | 0 | 0 | 351k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
198.28/198.30 c 187s|350000 | 37181 | 0 | 0.0 | 48M| 116 | - | 223 | 19k| 0 | 0 | 0 | 362k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
208.29/208.33 c 196s|360000 | 36373 | 0 | 0.0 | 50M| 116 | - | 223 | 21k| 0 | 0 | 0 | 374k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
219.49/219.59 c 207s|370000 | 34780 | 0 | 0.0 | 52M| 116 | - | 223 | 22k| 0 | 0 | 0 | 387k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
232.19/232.29 c 219s|380000 | 32107 | 0 | 0.0 | 51M| 116 | - | 223 | 26k| 0 | 0 | 0 | 400k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
243.48/243.54 c 230s|390000 | 32513 | 0 | 0.0 | 53M| 116 | - | 223 | 26k| 0 | 0 | 0 | 412k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
257.78/257.81 c 244s|400000 | 31444 | 0 | 0.0 | 55M| 116 | - | 223 | 26k| 0 | 0 | 0 | 425k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
275.68/275.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.68/275.74 c 262s|410000 | 27868 | 0 | 0.0 | 54M| 116 | - | 223 | 27k| 0 | 0 | 0 | 441k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
298.29/298.38 c 284s|420000 | 21026 | 0 | 0.0 | 48M| 116 | - | 223 | 30k| 0 | 0 | 0 | 459k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
323.49/323.51 c 309s|430000 | 13343 | 0 | 0.0 | 40M| 116 | - | 223 | 32k| 0 | 0 | 0 | 478k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
349.49/349.50 c 334s|440000 | 5161 | 0 | 0.0 | 23M| 116 | - | 223 | 30k| 0 | 0 | 0 | 496k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
353.49/353.53 c 338s|450000 | 11387 | 0 | 0.0 | 20M| 116 | - | 223 |9948 | 0 | 0 | 0 | 501k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
355.58/355.67 c 340s|460000 | 18390 | 0 | 0.0 | 22M| 116 | - | 223 |6738 | 0 | 0 | 0 | 505k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
357.59/357.60 c 341s|470000 | 25103 | 0 | 0.0 | 27M| 116 | - | 223 |8012 | 0 | 0 | 0 | 509k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
360.19/360.26 c 344s|480000 | 30430 | 0 | 0.0 | 32M| 116 | - | 223 | 10k| 0 | 0 | 0 | 514k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
363.89/363.94 c 347s|490000 | 33940 | 0 | 0.0 | 37M| 116 | - | 223 | 11k| 0 | 0 | 0 | 521k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
367.40/367.43 c 350s|500000 | 38479 | 0 | 0.0 | 40M| 116 | - | 223 | 10k| 0 | 0 | 0 | 526k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
369.69/369.70 c 352s|510000 | 45371 | 0 | 0.0 | 44M| 116 | - | 223 |9962 | 0 | 0 | 0 | 529k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
372.29/372.32 c 355s|520000 | 51434 | 0 | 0.0 | 49M| 116 | - | 223 | 10k| 0 | 0 | 0 | 533k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
375.29/375.38 c 357s|530000 | 56663 | 0 | 0.0 | 53M| 116 | - | 223 | 11k| 0 | 0 | 0 | 537k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
378.89/378.99 c 361s|540000 | 61199 | 0 | 0.0 | 58M| 116 | - | 223 | 12k| 0 | 0 | 0 | 542k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
383.49/383.57 c 365s|550000 | 64500 | 0 | 0.0 | 63M| 116 | - | 223 | 14k| 0 | 0 | 0 | 548k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
389.19/389.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.19/389.29 c 370s|560000 | 66773 | 0 | 0.0 | 67M| 116 | - | 223 | 17k| 0 | 0 | 0 | 556k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
396.59/396.65 c 377s|570000 | 67336 | 0 | 0.0 | 71M| 116 | - | 223 | 19k| 0 | 0 | 0 | 565k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
405.29/405.37 c 386s|580000 | 66699 | 0 | 0.0 | 73M| 116 | - | 223 | 21k| 0 | 0 | 0 | 575k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
412.19/412.27 c 392s|590000 | 69464 | 0 | 0.0 | 74M| 116 | - | 223 | 17k| 0 | 0 | 0 | 581k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
417.29/417.38 c 397s|600000 | 74225 | 0 | 0.0 | 78M| 116 | - | 223 | 15k| 0 | 0 | 0 | 586k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
422.69/422.70 c 402s|610000 | 78272 | 0 | 0.0 | 82M| 116 | - | 223 | 15k| 0 | 0 | 0 | 591k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
428.89/428.91 c 408s|620000 | 81122 | 0 | 0.0 | 87M| 116 | - | 223 | 15k| 0 | 0 | 0 | 597k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
435.69/435.74 c 414s|630000 | 83500 | 0 | 0.0 | 91M| 116 | - | 223 | 16k| 0 | 0 | 0 | 604k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
443.89/443.99 c 422s|640000 | 84568 | 0 | 0.0 | 95M| 116 | - | 223 | 18k| 0 | 0 | 0 | 611k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
453.20/453.23 c 431s|650000 | 84873 | 0 | 0.0 | 98M| 116 | - | 223 | 20k| 0 | 0 | 0 | 619k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
463.59/463.63 c 441s|660000 | 84732 | 0 | 0.0 | 101M| 116 | - | 223 | 22k| 0 | 0 | 0 | 627k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
476.60/476.62 c 454s|670000 | 83197 | 0 | 0.0 | 103M| 116 | - | 223 | 25k| 0 | 0 | 0 | 637k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
492.00/492.06 c 469s|680000 | 80494 | 0 | 0.0 | 103M| 116 | - | 223 | 28k| 0 | 0 | 0 | 648k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
508.10/508.11 c 484s|690000 | 77697 | 0 | 0.0 | 99M| 116 | - | 223 | 23k| 0 | 0 | 0 | 658k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
520.79/520.80 c 497s|700000 | 77778 | 0 | 0.0 | 101M| 116 | - | 223 | 20k| 0 | 0 | 0 | 666k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
535.70/535.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.70/535.72 c 511s|710000 | 75117 | 0 | 0.0 | 103M| 116 | - | 223 | 22k| 0 | 0 | 0 | 675k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
553.90/553.98 c 529s|720000 | 69625 | 0 | 0.0 | 101M| 116 | - | 223 | 25k| 0 | 0 | 0 | 686k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
575.30/575.34 c 550s|730000 | 62091 | 0 | 0.0 | 96M| 116 | - | 223 | 29k| 0 | 0 | 0 | 698k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
593.60/593.67 c 568s|740000 | 58922 | 0 | 0.0 | 87M| 116 | - | 223 | 22k| 0 | 0 | 0 | 708k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
602.81/602.87 c 577s|750000 | 58796 | 0 | 0.0 | 86M| 116 | - | 223 | 15k| 0 | 0 | 0 | 717k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
613.80/613.85 c 587s|760000 | 55036 | 0 | 0.0 | 78M| 116 | - | 223 | 16k| 0 | 0 | 0 | 727k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
618.49/618.52 c 591s|770000 | 60186 | 0 | 0.0 | 82M| 116 | - | 223 | 16k| 0 | 0 | 0 | 733k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
624.70/624.72 c 597s|780000 | 63010 | 0 | 0.0 | 85M| 116 | - | 223 | 17k| 0 | 0 | 0 | 741k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
631.79/631.84 c 604s|790000 | 64575 | 0 | 0.0 | 85M| 116 | - | 223 | 12k| 0 | 0 | 0 | 750k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
636.00/636.07 c 608s|800000 | 68227 | 0 | 0.0 | 86M| 116 | - | 223 | 11k| 0 | 0 | 0 | 757k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
640.00/640.05 c 612s|810000 | 72840 | 0 | 0.0 | 91M| 116 | - | 223 | 15k| 0 | 0 | 0 | 765k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
645.89/645.99 c 617s|820000 | 76140 | 0 | 0.0 | 96M| 116 | - | 223 | 18k| 0 | 0 | 0 | 774k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
655.69/655.72 c 627s|830000 | 76837 | 0 | 0.0 | 100M| 116 | - | 223 | 24k| 0 | 0 | 0 | 787k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
668.19/668.29 c 639s|840000 | 76167 | 0 | 0.0 | 103M| 116 | - | 223 | 27k| 0 | 0 | 0 | 799k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
682.50/682.55 c 653s|850000 | 74302 | 0 | 0.0 | 104M| 116 | - | 223 | 28k| 0 | 0 | 0 | 812k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
692.90/692.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.90/692.93 c 663s|860000 | 75620 | 0 | 0.0 | 102M| 116 | - | 223 | 16k| 0 | 0 | 0 | 821k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
699.69/699.71 c 669s|870000 | 77609 | 0 | 0.0 | 104M| 116 | - | 223 | 15k| 0 | 0 | 0 | 831k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
707.89/707.97 c 677s|880000 | 78892 | 0 | 0.0 | 108M| 116 | - | 223 | 19k| 0 | 0 | 0 | 844k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
721.30/721.30 c 690s|890000 | 77753 | 0 | 0.0 | 112M| 116 | - | 223 | 25k| 0 | 0 | 0 | 859k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
738.70/738.76 c 707s|900000 | 75243 | 0 | 0.0 | 113M| 116 | - | 223 | 29k| 0 | 0 | 0 | 875k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
760.30/760.33 c 728s|910000 | 70962 | 0 | 0.0 | 112M| 116 | - | 223 | 35k| 0 | 0 | 0 | 892k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
782.60/782.69 c 750s|920000 | 66746 | 0 | 0.0 | 104M| 116 | - | 223 | 23k| 0 | 0 | 0 | 906k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
789.40/789.44 c 757s|930000 | 70239 | 0 | 0.0 | 103M| 116 | - | 223 | 13k| 0 | 0 | 0 | 914k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
805.70/805.70 c 773s|940000 | 64281 | 0 | 0.0 | 102M| 116 | - | 223 | 22k| 0 | 0 | 0 | 934k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
831.10/831.16 c 798s|950000 | 56106 | 0 | 0.0 | 90M| 116 | - | 223 | 26k| 0 | 0 | 0 | 954k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
838.50/838.51 c 805s|960000 | 60345 | 0 | 0.0 | 89M| 116 | - | 223 | 15k| 0 | 0 | 0 | 962k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
844.60/844.67 c 810s|970000 | 63649 | 0 | 0.0 | 93M| 116 | - | 223 | 18k| 0 | 0 | 0 | 971k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
854.80/854.87 c 820s|980000 | 62828 | 0 | 0.0 | 90M| 116 | - | 223 | 19k| 0 | 0 | 0 | 983k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
861.80/861.87 c 827s|990000 | 66768 | 0 | 0.0 | 94M| 116 | - | 223 | 19k| 0 | 0 | 0 | 993k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
871.21/871.23 c 836s| 1000k| 68625 | 0 | 0.0 | 98M| 116 | - | 223 | 23k| 0 | 0 | 0 |1004k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
884.20/884.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.20/884.25 c 849s| 1010k| 68019 | 0 | 0.0 | 102M| 116 | - | 223 | 29k| 0 | 0 | 0 |1019k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
900.90/900.97 c 865s| 1020k| 65207 | 0 | 0.0 | 103M| 116 | - | 223 | 34k| 0 | 0 | 0 |1033k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
916.50/916.59 c 880s| 1030k| 64503 | 0 | 0.0 | 98M| 116 | - | 223 | 18k| 0 | 0 | 0 |1047k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
928.31/928.30 c 892s| 1040k| 64207 | 0 | 0.0 | 101M| 116 | - | 223 | 23k| 0 | 0 | 0 |1062k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
945.51/945.53 c 908s| 1050k| 61136 | 0 | 0.0 | 102M| 116 | - | 223 | 28k| 0 | 0 | 0 |1079k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
968.91/968.91 c 931s| 1060k| 54664 | 0 | 0.0 | 97M| 116 | - | 223 | 35k| 0 | 0 | 0 |1098k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
986.61/986.67 c 949s| 1070k| 51681 | 0 | 0.0 | 89M| 116 | - | 223 | 19k| 0 | 0 | 0 |1114k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1001.21/1001.21 c 963s| 1080k| 48484 | 0 | 0.0 | 76M| 116 | - | 223 | 14k| 0 | 0 | 0 |1129k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1005.41/1005.44 c 967s| 1090k| 53202 | 0 | 0.0 | 76M| 116 | - | 223 | 11k| 0 | 0 | 0 |1136k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1008.10/1008.11 c 969s| 1100k| 59765 | 0 | 0.0 | 80M| 116 | - | 223 | 12k| 0 | 0 | 0 |1141k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1012.21/1012.22 c 973s| 1110k| 64369 | 0 | 0.0 | 85M| 116 | - | 223 | 15k| 0 | 0 | 0 |1148k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1019.11/1019.10 c 980s| 1120k| 65733 | 0 | 0.0 | 90M| 116 | - | 223 | 19k| 0 | 0 | 0 |1159k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1024.51/1024.56 c 985s| 1130k| 70941 | 0 | 0.0 | 93M| 116 | - | 223 | 18k| 0 | 0 | 0 |1166k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1029.91/1029.91 c 990s| 1140k| 76026 | 0 | 0.0 | 97M| 116 | - | 223 | 19k| 0 | 0 | 0 |1174k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1036.90/1036.91 c 996s| 1150k| 79765 | 0 | 0.0 | 102M| 116 | - | 223 | 21k| 0 | 0 | 0 |1183k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1045.81/1045.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.81/1045.80 c 1005s| 1160k| 82329 | 0 | 0.0 | 106M| 116 | - | 223 | 23k| 0 | 0 | 0 |1193k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1056.81/1056.80 c 1016s| 1170k| 83446 | 0 | 0.0 | 110M| 116 | - | 223 | 25k| 0 | 0 | 0 |1204k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1069.41/1069.43 c 1028s| 1180k| 83076 | 0 | 0.0 | 113M| 116 | - | 223 | 28k| 0 | 0 | 0 |1216k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1085.11/1085.19 c 1043s| 1190k| 80572 | 0 | 0.0 | 114M| 116 | - | 223 | 33k| 0 | 0 | 0 |1230k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1100.70/1100.79 c 1058s| 1200k| 82703 | 0 | 0.0 | 117M| 116 | - | 223 | 30k| 0 | 0 | 0 |1241k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1119.90/1119.96 c 1077s| 1210k| 82294 | 0 | 0.0 | 120M| 116 | - | 223 | 31k| 0 | 0 | 0 |1255k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1131.61/1131.64 o 64
1131.61/1131.64 c *1089s| 1215k| 74163 | 0 | 0.0 | 109M| 116 | - | 223 | 32k| 0 | 0 | 0 |1263k| 0 | 2.400000e+01 | 6.400000e+01 | 166.67%
1141.60/1141.64 c 1099s| 1220k| 73138 | 0 | 0.0 | 110M| 116 | - | 223 | 33k| 0 | 0 | 0 |1269k| 0 | 2.400000e+01 | 6.400000e+01 | 166.67%
1168.31/1168.34 c 1125s| 1230k| 68930 | 0 | 0.0 | 110M| 116 | - | 223 | 36k| 0 | 0 | 0 |1286k| 0 | 2.400000e+01 | 6.400000e+01 | 166.67%
1198.81/1198.87 c 1155s| 1240k| 61039 | 0 | 0.0 | 103M| 116 | - | 223 | 41k| 0 | 0 | 0 |1304k| 0 | 2.400000e+01 | 6.400000e+01 | 166.67%
1235.31/1235.31 c 1191s| 1250k| 52874 | 0 | 0.0 | 93M| 116 | - | 223 | 37k| 0 | 0 | 0 |1323k| 0 | 2.400000e+01 | 6.400000e+01 | 166.67%
1260.92/1260.99 c 1216s| 1260k| 48854 | 0 | 0.0 | 80M| 116 | - | 223 | 26k| 0 | 0 | 0 |1336k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1275.01/1275.00 c 1230s| 1270k| 49099 | 0 | 0.0 | 79M| 116 | - | 223 | 23k| 0 | 0 | 0 |1345k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1285.92/1285.98 c 1240s| 1280k| 51189 | 0 | 0.0 | 80M| 116 | - | 223 | 20k| 0 | 0 | 0 |1354k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1293.92/1293.93 c 1248s| 1290k| 53711 | 0 | 0.0 | 82M| 116 | - | 223 | 21k| 0 | 0 | 0 |1363k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1304.42/1304.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.42/1304.42 c 1258s| 1300k| 55458 | 0 | 0.0 | 84M| 116 | - | 223 | 21k| 0 | 0 | 0 |1373k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1311.22/1311.23 c 1265s| 1310k| 59666 | 0 | 0.0 | 88M| 116 | - | 223 | 23k| 0 | 0 | 0 |1381k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1318.41/1318.42 c 1271s| 1320k| 63239 | 0 | 0.0 | 93M| 116 | - | 223 | 28k| 0 | 0 | 0 |1389k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1330.51/1330.57 c 1283s| 1330k| 63153 | 0 | 0.0 | 93M| 116 | - | 223 | 23k| 0 | 0 | 0 |1401k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1337.81/1337.87 c 1290s| 1340k| 67889 | 0 | 0.0 | 97M| 116 | - | 223 | 26k| 0 | 0 | 0 |1410k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1346.11/1346.12 c 1298s| 1350k| 72150 | 0 | 0.0 | 102M| 116 | - | 223 | 30k| 0 | 0 | 0 |1420k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1355.91/1355.99 c 1308s| 1360k| 75649 | 0 | 0.0 | 106M| 116 | - | 223 | 33k| 0 | 0 | 0 |1431k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1372.61/1372.62 c 1324s| 1370k| 75317 | 0 | 0.0 | 110M| 116 | - | 223 | 39k| 0 | 0 | 0 |1444k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1392.71/1392.78 c 1344s| 1380k| 73577 | 0 | 0.0 | 113M| 116 | - | 223 | 44k| 0 | 0 | 0 |1459k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1408.32/1408.37 c 1359s| 1390k| 75223 | 0 | 0.0 | 108M| 116 | - | 223 | 23k| 0 | 0 | 0 |1468k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1420.03/1420.09 c 1370s| 1400k| 75976 | 0 | 0.0 | 111M| 116 | - | 223 | 28k| 0 | 0 | 0 |1482k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1436.52/1436.56 c 1386s| 1410k| 75395 | 0 | 0.0 | 116M| 116 | - | 223 | 34k| 0 | 0 | 0 |1496k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1459.32/1459.33 c 1409s| 1420k| 72926 | 0 | 0.0 | 119M| 116 | - | 223 | 41k| 0 | 0 | 0 |1512k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1489.01/1489.03 c 1438s| 1430k| 68357 | 0 | 0.0 | 118M| 116 | - | 223 | 48k| 0 | 0 | 0 |1529k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1519.82/1519.82 c 1468s| 1440k| 63765 | 0 | 0.0 | 109M| 116 | - | 223 | 40k| 0 | 0 | 0 |1545k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1528.12/1528.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.12/1528.11 c 1476s| 1450k| 68662 | 0 | 0.0 | 107M| 116 | - | 223 | 19k| 0 | 0 | 0 |1551k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1535.71/1535.75 c 1484s| 1460k| 70328 | 0 | 0.0 | 110M| 116 | - | 223 | 23k| 0 | 0 | 0 |1563k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1553.23/1553.21 c 1501s| 1470k| 64594 | 0 | 0.0 | 99M| 116 | - | 223 | 25k| 0 | 0 | 0 |1580k| 0 | 3.000000e+01 | 6.400000e+01 | 113.33%
1562.32/1562.38 c 1510s| 1480k| 66838 | 0 | 0.0 | 99M| 116 | - | 223 | 20k| 0 | 0 | 0 |1590k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1571.42/1571.43 c 1518s| 1490k| 67749 | 0 | 0.0 | 102M| 116 | - | 223 | 22k| 0 | 0 | 0 |1602k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1581.22/1581.27 c 1528s| 1500k| 67997 | 0 | 0.0 | 105M| 116 | - | 223 | 26k| 0 | 0 | 0 |1614k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1595.52/1595.55 c 1542s| 1510k| 66827 | 0 | 0.0 | 107M| 116 | - | 223 | 28k| 0 | 0 | 0 |1628k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1611.93/1611.94 c 1558s| 1520k| 64390 | 0 | 0.0 | 108M| 116 | - | 223 | 32k| 0 | 0 | 0 |1643k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1630.52/1630.54 c 1576s| 1530k| 61694 | 0 | 0.0 | 108M| 116 | - | 223 | 37k| 0 | 0 | 0 |1659k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1648.52/1648.58 c 1593s| 1540k| 60024 | 0 | 0.0 | 102M| 116 | - | 223 | 26k| 0 | 0 | 0 |1673k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1665.63/1665.63 c 1610s| 1550k| 56785 | 0 | 0.0 | 95M| 116 | - | 223 | 24k| 0 | 0 | 0 |1687k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1672.42/1672.40 c 1617s| 1560k| 60364 | 0 | 0.0 | 96M| 116 | - | 223 | 19k| 0 | 0 | 0 |1696k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1686.33/1686.35 c 1630s| 1570k| 58604 | 0 | 0.0 | 94M| 116 | - | 223 | 16k| 0 | 0 | 0 |1707k| 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
1695.42/1695.41 c 1639s| 1580k| 59543 | 0 | 0.0 | 90M| 116 | - | 223 | 16k| 0 | 0 | 0 |1716k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1698.62/1698.69 c 1642s| 1590k| 66028 | 0 | 0.0 | 93M| 116 | - | 223 | 14k| 0 | 0 | 0 |1721k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1702.73/1702.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.73/1702.76 c 1646s| 1600k| 71211 | 0 | 0.0 | 98M| 116 | - | 223 | 16k| 0 | 0 | 0 |1728k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1707.42/1707.47 c 1650s| 1610k| 75698 | 0 | 0.0 | 102M| 116 | - | 223 | 20k| 0 | 0 | 0 |1737k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1714.72/1714.74 c 1657s| 1620k| 77201 | 0 | 0.0 | 107M| 116 | - | 223 | 23k| 0 | 0 | 0 |1748k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1728.32/1728.34 c 1670s| 1630k| 74493 | 0 | 0.0 | 103M| 116 | - | 223 | 20k| 0 | 0 | 0 |1760k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1734.42/1734.47 c 1676s| 1640k| 78902 | 0 | 0.0 | 105M| 116 | - | 223 | 18k| 0 | 0 | 0 |1768k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1739.13/1739.19 c 1680s| 1650k| 84247 | 0 | 0.0 | 109M| 116 | - | 223 | 18k| 0 | 0 | 0 |1775k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1744.63/1744.63 c 1686s| 1660k| 88918 | 0 | 0.0 | 113M| 116 | - | 223 | 19k| 0 | 0 | 0 |1782k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1751.63/1751.66 c 1692s| 1670k| 92179 | 0 | 0.0 | 118M| 116 | - | 223 | 21k| 0 | 0 | 0 |1792k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1759.32/1759.39 c 1700s| 1680k| 94848 | 0 | 0.0 | 122M| 116 | - | 223 | 23k| 0 | 0 | 0 |1801k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1768.42/1768.43 c 1708s| 1690k| 96508 | 0 | 0.0 | 126M| 116 | - | 223 | 26k| 0 | 0 | 0 |1812k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1779.93/1779.96 c 1720s| 1700k| 96484 | 0 | 0.0 | 130M| 116 | - | 223 | 30k| 0 | 0 | 0 |1824k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1793.72/1793.76 c 1733s| 1710k| 95101 | 0 | 0.0 | 133M| 116 | - | 223 | 35k| 0 | 0 | 0 |1838k| 0 | 3.600000e+01 | 6.400000e+01 | 77.78%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1738.97
1800.03/1800.00 c Solving Nodes : 1713718
1800.03/1800.00 c Primal Bound : +6.40000000000000e+01 (5 solutions)
1800.03/1800.00 c Dual Bound : +3.60000000000000e+01
1800.03/1800.00 c Gap : 77.78 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
1800.03/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127
1800.03/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106
1800.03/1800.00 v -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.03/1800.00 v x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.03/1800.00 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.03/1800.00 v -x30 -x29 x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5
1800.03/1800.00 v -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1738.97
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693998-1277899477.wbo
1800.03/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.03/1800.00 c Constraints : 130 initial, 130 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693998-1277899477.wbo
1800.03/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.03/1800.00 c Constraints : 112 initial, 54256 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 5 - - 10 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 27 0 5000194 0 1038987 366 309843 0 0 0
1800.03/1800.00 c setppc : 49 0 5387752 0 1111099 141219 11932946 0 0 0
1800.03/1800.00 c linear : 27 0 5246532 0 1111099 388790 18759069 0 0 0
1800.03/1800.00 c logicor : 9+ 0 2922553 0 1110868 362875 1741629 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 245187 0 0 1 1556 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1111104 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 0.74 0.00 0.41 0.00 0.33
1800.03/1800.00 c setppc : 31.08 0.00 25.90 0.00 5.18
1800.03/1800.00 c linear : 77.09 0.00 76.95 0.00 0.14
1800.03/1800.00 c logicor : 844.14 0.00 843.42 0.00 0.72
1800.03/1800.00 c bounddisjunction : 0.23 0.00 0.23 0.00 0.00
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.00 2 0 0
1800.03/1800.00 c rootredcost : 0.00 0 0 0
1800.03/1800.00 c pseudoobj : 4.01 5388085 158 241460
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 37.16 893043 892874 4673314 21.1 159389 14.8 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 14 14 36 7.2 3 18.7 -
1800.03/1800.00 c applied globally : - - - 1835021 16.4 - - -
1800.03/1800.00 c applied locally : - - - 8524 34.7 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 6.85 1111099 0 0 0 0 2222198
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.01 - 5
1800.03/1800.00 c oneopt : 0.07 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.00 0 0
1800.03/1800.00 c trysol : 0.00 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 1713718
1800.03/1800.00 c nodes (total) : 1713718
1800.03/1800.00 c nodes left : 93895
1800.03/1800.00 c max depth : 116
1800.03/1800.00 c max depth (total): 116
1800.03/1800.00 c backtracks : 632928 (36.9%)
1800.03/1800.00 c delayed cutoffs : 407084
1800.03/1800.00 c repropagations : 1985152 (9391169 domain reductions, 290809 cutoffs)
1800.03/1800.00 c avg switch length: 17.05
1800.03/1800.00 c switching time : 575.90
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 5 (5 improvements)
1800.03/1800.00 c First Solution : +1.64000000000000e+02 (in run 1, after 13287 nodes, 1.27 seconds, depth 70, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +6.40000000000000e+01 (in run 1, after 1215651 nodes, 1088.72 seconds, depth 31, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +3.60000000000000e+01
1800.03/1800.00 c Gap : 77.78 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.22/1800.25 c Time complete: 1800.27.