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-2693850-1277895614.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.89/0.93 c 0.8s| 10000 | 7132 | 0 | 0.0 |6177k| 116 | - | 223 |2802 | 0 | 0 | 0 |4402 | 0 | 0.000000e+00 | -- | Inf
1.79/1.85 o 98
1.79/1.85 c * 1.7s| 15248 | 9366 | 0 | 0.0 |9108k| 116 | - | 223 |4290 | 0 | 0 | 0 |8907 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
1.89/1.95 o 87
1.89/1.95 c * 1.8s| 16341 | 10266 | 0 | 0.0 |9431k| 116 | - | 223 |3706 | 0 | 0 | 0 |9112 | 0 | 0.000000e+00 | 8.700000e+01 | Inf
2.39/2.48 c 2.3s| 20000 | 12596 | 0 | 0.0 | 10M| 116 | - | 223 |3490 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
3.99/4.05 c 3.8s| 30000 | 18433 | 0 | 0.0 | 15M| 116 | - | 223 |5019 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
6.19/6.27 c 5.9s| 40000 | 22740 | 0 | 0.0 | 20M| 116 | - | 223 |6897 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
8.99/9.06 c 8.5s| 50000 | 25824 | 0 | 0.0 | 24M| 116 | - | 223 |8759 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
12.49/12.55 c 11.9s| 60000 | 27670 | 0 | 0.0 | 29M| 116 | - | 223 | 12k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
13.20/13.23 o 81
13.20/13.23 c *12.6s| 63462 | 29998 | 0 | 0.0 | 28M| 116 | - | 223 |6472 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
14.09/14.18 c 13.4s| 70000 | 34141 | 0 | 0.0 | 30M| 116 | - | 223 |2030 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
16.29/16.32 c 15.4s| 80000 | 37008 | 0 | 0.0 | 33M| 116 | - | 223 |3290 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
18.79/18.85 c 17.9s| 90000 | 39308 | 0 | 0.0 | 37M| 116 | - | 223 |4860 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
21.99/22.00 c 20.9s|100000 | 40381 | 0 | 0.0 | 41M| 116 | - | 223 |6568 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
25.49/25.57 c 24.3s|110000 | 40879 | 0 | 0.0 | 44M| 116 | - | 223 |7951 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
29.49/29.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.49/29.51 c 28.1s|120000 | 41043 | 0 | 0.0 | 46M| 116 | - | 223 |8817 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.70/33.72 c 32.2s|130000 | 40981 | 0 | 0.0 | 49M| 116 | - | 223 | 10k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
38.39/38.42 c 36.8s|140000 | 40468 | 0 | 0.0 | 51M| 116 | - | 223 | 13k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
41.19/41.26 c 39.5s|150000 | 44899 | 0 | 0.0 | 50M| 116 | - | 223 |2622 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
42.80/42.87 c 41.0s|160000 | 50748 | 0 | 0.0 | 55M| 116 | - | 223 |4223 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
44.79/44.88 c 42.9s|170000 | 55755 | 0 | 0.0 | 59M| 116 | - | 223 |5883 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
47.69/47.71 c 45.5s|180000 | 58923 | 0 | 0.0 | 63M| 116 | - | 223 |8079 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
52.29/52.32 c 50.0s|190000 | 58574 | 0 | 0.0 | 66M| 116 | - | 223 | 11k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
59.69/59.77 c 57.4s|200000 | 55519 | 0 | 0.0 | 68M| 116 | - | 223 | 16k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
70.40/70.44 c 67.9s|210000 | 51162 | 0 | 0.0 | 67M| 116 | - | 223 | 23k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
84.09/84.10 c 81.4s|220000 | 46353 | 0 | 0.0 | 64M| 116 | - | 223 | 26k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
98.90/99.00 c 96.1s|230000 | 40340 | 0 | 0.0 | 58M| 116 | - | 223 | 31k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
105.69/105.70 c 103s|240000 | 44849 | 0 | 0.0 | 56M| 116 | - | 223 | 13k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
110.09/110.13 c 107s|250000 | 48331 | 0 | 0.0 | 59M| 116 | - | 223 | 11k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
114.80/114.88 c 112s|260000 | 50962 | 0 | 0.0 | 62M| 116 | - | 223 | 12k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
120.19/120.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.19/120.29 c 117s|270000 | 52731 | 0 | 0.0 | 65M| 116 | - | 223 | 14k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
126.50/126.55 c 123s|280000 | 53956 | 0 | 0.0 | 68M| 116 | - | 223 | 16k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
134.10/134.15 c 131s|290000 | 54116 | 0 | 0.0 | 71M| 116 | - | 223 | 18k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
142.39/142.40 c 139s|300000 | 53818 | 0 | 0.0 | 72M| 116 | - | 223 | 20k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
150.70/150.70 c 147s|310000 | 53331 | 0 | 0.0 | 73M| 116 | - | 223 | 21k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
164.80/164.82 c 161s|320000 | 45430 | 0 | 0.0 | 59M| 116 | - | 223 | 23k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
174.69/174.76 c 171s|330000 | 45549 | 0 | 0.0 | 56M| 116 | - | 223 | 18k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
185.09/185.15 c 181s|340000 | 44502 | 0 | 0.0 | 56M| 116 | - | 223 | 19k| 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
196.80/196.88 c 192s|350000 | 42694 | 0 | 0.0 | 57M| 116 | - | 223 | 21k| 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
210.10/210.11 c 205s|360000 | 40453 | 0 | 0.0 | 59M| 116 | - | 223 | 24k| 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
224.20/224.29 c 220s|370000 | 38177 | 0 | 0.0 | 60M| 116 | - | 223 | 29k| 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
240.39/240.46 c 236s|380000 | 35105 | 0 | 0.0 | 61M| 116 | - | 223 | 34k| 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
257.40/257.45 c 252s|390000 | 31763 | 0 | 0.0 | 60M| 116 | - | 223 | 38k| 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
279.79/279.83 c 275s|400000 | 26798 | 0 | 0.0 | 55M| 116 | - | 223 | 35k| 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
309.30/309.39 c 304s|410000 | 17952 | 0 | 0.0 | 47M| 116 | - | 223 | 35k| 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
332.90/332.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.90/332.95 c 327s|420000 | 11179 | 0 | 0.0 | 31M| 116 | - | 223 | 26k| 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
339.80/339.88 c 334s|430000 | 14540 | 0 | 0.0 | 21M| 116 | - | 223 |5361 | 0 | 0 | 0 | 481k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
342.11/342.14 c 336s|440000 | 20095 | 0 | 0.0 | 25M| 116 | - | 223 |6929 | 0 | 0 | 0 | 488k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
344.90/344.94 c 339s|450000 | 24307 | 0 | 0.0 | 27M| 116 | - | 223 |4327 | 0 | 0 | 0 | 495k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
346.40/346.50 c 340s|460000 | 31423 | 0 | 0.0 | 31M| 116 | - | 223 |3911 | 0 | 0 | 0 | 500k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
348.20/348.20 c 342s|470000 | 38132 | 0 | 0.0 | 35M| 116 | - | 223 |5162 | 0 | 0 | 0 | 505k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
350.19/350.25 c 344s|480000 | 44336 | 0 | 0.0 | 39M| 116 | - | 223 |6564 | 0 | 0 | 0 | 511k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
352.80/352.88 c 346s|490000 | 49681 | 0 | 0.0 | 44M| 116 | - | 223 |8743 | 0 | 0 | 0 | 517k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
356.10/356.10 c 350s|500000 | 54364 | 0 | 0.0 | 48M| 116 | - | 223 | 10k| 0 | 0 | 0 | 524k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
359.61/359.61 c 353s|510000 | 58663 | 0 | 0.0 | 51M| 116 | - | 223 |9648 | 0 | 0 | 0 | 532k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
363.70/363.78 c 357s|520000 | 61298 | 0 | 0.0 | 55M| 116 | - | 223 |9620 | 0 | 0 | 0 | 542k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
369.40/369.46 c 362s|530000 | 61173 | 0 | 0.0 | 56M| 116 | - | 223 |9436 | 0 | 0 | 0 | 555k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
372.60/372.64 c 366s|540000 | 65987 | 0 | 0.0 | 59M| 116 | - | 223 |6906 | 0 | 0 | 0 | 562k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
375.90/375.91 c 369s|550000 | 70486 | 0 | 0.0 | 63M| 116 | - | 223 |8599 | 0 | 0 | 0 | 570k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
379.90/379.97 c 373s|560000 | 74067 | 0 | 0.0 | 67M| 116 | - | 223 | 10k| 0 | 0 | 0 | 578k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
384.50/384.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.50/384.58 c 377s|570000 | 77032 | 0 | 0.0 | 71M| 116 | - | 223 | 11k| 0 | 0 | 0 | 588k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
389.50/389.58 c 382s|580000 | 79687 | 0 | 0.0 | 75M| 116 | - | 223 | 12k| 0 | 0 | 0 | 597k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
394.70/394.75 c 387s|590000 | 82634 | 0 | 0.0 | 79M| 116 | - | 223 | 14k| 0 | 0 | 0 | 607k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
400.00/400.09 c 392s|600000 | 85455 | 0 | 0.0 | 82M| 116 | - | 223 | 14k| 0 | 0 | 0 | 618k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
405.70/405.76 c 398s|610000 | 87998 | 0 | 0.0 | 86M| 116 | - | 223 | 15k| 0 | 0 | 0 | 629k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
411.99/412.02 c 404s|620000 | 89879 | 0 | 0.0 | 89M| 116 | - | 223 | 15k| 0 | 0 | 0 | 640k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
419.60/419.63 c 411s|630000 | 90356 | 0 | 0.0 | 92M| 116 | - | 223 | 17k| 0 | 0 | 0 | 652k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
428.40/428.48 c 420s|640000 | 90299 | 0 | 0.0 | 96M| 116 | - | 223 | 20k| 0 | 0 | 0 | 665k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
439.20/439.20 c 431s|650000 | 89399 | 0 | 0.0 | 98M| 116 | - | 223 | 22k| 0 | 0 | 0 | 678k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
450.50/450.58 c 442s|660000 | 88432 | 0 | 0.0 | 101M| 116 | - | 223 | 23k| 0 | 0 | 0 | 691k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
462.40/462.43 c 454s|670000 | 87327 | 0 | 0.0 | 102M| 116 | - | 223 | 22k| 0 | 0 | 0 | 704k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
473.30/473.35 c 464s|680000 | 85973 | 0 | 0.0 | 102M| 116 | - | 223 | 19k| 0 | 0 | 0 | 717k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
483.81/483.89 c 475s|690000 | 83566 | 0 | 0.0 | 101M| 116 | - | 223 | 19k| 0 | 0 | 0 | 731k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
492.10/492.11 c 483s|700000 | 84199 | 0 | 0.0 | 101M| 116 | - | 223 | 12k| 0 | 0 | 0 | 743k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
500.11/500.18 c 491s|710000 | 84058 | 0 | 0.0 | 103M| 116 | - | 223 | 13k| 0 | 0 | 0 | 756k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
510.80/510.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.80/510.85 c 501s|720000 | 81950 | 0 | 0.0 | 105M| 116 | - | 223 | 16k| 0 | 0 | 0 | 771k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
523.31/523.39 c 514s|730000 | 79452 | 0 | 0.0 | 106M| 116 | - | 223 | 20k| 0 | 0 | 0 | 785k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
538.60/538.63 c 529s|740000 | 76042 | 0 | 0.0 | 107M| 116 | - | 223 | 24k| 0 | 0 | 0 | 801k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
555.70/555.76 c 546s|750000 | 72522 | 0 | 0.0 | 107M| 116 | - | 223 | 27k| 0 | 0 | 0 | 817k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
574.11/574.12 c 564s|760000 | 68866 | 0 | 0.0 | 107M| 116 | - | 223 | 29k| 0 | 0 | 0 | 832k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
593.31/593.39 c 583s|770000 | 64914 | 0 | 0.0 | 106M| 116 | - | 223 | 31k| 0 | 0 | 0 | 848k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
614.21/614.23 c 604s|780000 | 60440 | 0 | 0.0 | 104M| 116 | - | 223 | 32k| 0 | 0 | 0 | 864k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
636.51/636.57 c 626s|790000 | 55264 | 0 | 0.0 | 100M| 116 | - | 223 | 35k| 0 | 0 | 0 | 881k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
662.30/662.38 c 652s|800000 | 48666 | 0 | 0.0 | 93M| 116 | - | 223 | 37k| 0 | 0 | 0 | 898k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
690.21/690.27 c 679s|810000 | 40809 | 0 | 0.0 | 80M| 116 | - | 223 | 23k| 0 | 0 | 0 | 916k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
717.21/717.27 c 706s|820000 | 29947 | 0 | 0.0 | 67M| 116 | - | 223 | 27k| 0 | 0 | 0 | 937k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
754.60/754.61 c 743s|830000 | 17870 | 0 | 0.0 | 48M| 116 | - | 223 | 35k| 0 | 0 | 0 | 958k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
778.00/778.09 c 766s|840000 | 14481 | 0 | 0.0 | 34M| 116 | - | 223 | 19k| 0 | 0 | 0 | 973k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
782.60/782.66 c 770s|850000 | 19338 | 0 | 0.0 | 32M| 116 | - | 223 |6879 | 0 | 0 | 0 | 979k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
784.91/784.96 c 772s|860000 | 25646 | 0 | 0.0 | 35M| 116 | - | 223 |5914 | 0 | 0 | 0 | 984k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
786.80/786.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.80/786.89 c 774s|870000 | 32397 | 0 | 0.0 | 40M| 116 | - | 223 |6698 | 0 | 0 | 0 | 988k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
789.41/789.49 c 776s|880000 | 37806 | 0 | 0.0 | 45M| 116 | - | 223 |8765 | 0 | 0 | 0 | 994k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
793.30/793.39 c 780s|890000 | 41345 | 0 | 0.0 | 50M| 116 | - | 223 | 11k| 0 | 0 | 0 |1002k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
798.40/798.42 c 784s|900000 | 44086 | 0 | 0.0 | 53M| 116 | - | 223 | 10k| 0 | 0 | 0 |1010k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
802.10/802.10 c 788s|910000 | 49342 | 0 | 0.0 | 57M| 116 | - | 223 |9692 | 0 | 0 | 0 |1015k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
806.00/806.08 c 791s|920000 | 53768 | 0 | 0.0 | 61M| 116 | - | 223 | 10k| 0 | 0 | 0 |1020k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
810.90/810.99 c 796s|930000 | 57175 | 0 | 0.0 | 66M| 116 | - | 223 | 12k| 0 | 0 | 0 |1027k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
816.90/816.97 c 802s|940000 | 59788 | 0 | 0.0 | 71M| 116 | - | 223 | 14k| 0 | 0 | 0 |1035k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
824.20/824.21 c 809s|950000 | 61558 | 0 | 0.0 | 75M| 116 | - | 223 | 17k| 0 | 0 | 0 |1044k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
832.80/832.83 c 817s|960000 | 62463 | 0 | 0.0 | 79M| 116 | - | 223 | 19k| 0 | 0 | 0 |1053k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
843.10/843.18 c 827s|970000 | 62080 | 0 | 0.0 | 81M| 116 | - | 223 | 22k| 0 | 0 | 0 |1064k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
855.21/855.22 c 838s|980000 | 62356 | 0 | 0.0 | 81M| 116 | - | 223 | 17k| 0 | 0 | 0 |1073k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
865.71/865.71 c 849s|990000 | 62844 | 0 | 0.0 | 84M| 116 | - | 223 | 17k| 0 | 0 | 0 |1081k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
879.00/879.04 c 862s| 1000k| 61578 | 0 | 0.0 | 87M| 116 | - | 223 | 20k| 0 | 0 | 0 |1092k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
894.81/894.82 c 877s| 1010k| 59297 | 0 | 0.0 | 89M| 116 | - | 223 | 23k| 0 | 0 | 0 |1103k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
911.41/911.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.41/911.47 c 893s| 1020k| 56962 | 0 | 0.0 | 90M| 116 | - | 223 | 27k| 0 | 0 | 0 |1113k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
931.50/931.53 c 913s| 1030k| 53383 | 0 | 0.0 | 89M| 116 | - | 223 | 31k| 0 | 0 | 0 |1125k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
955.31/955.38 c 936s| 1040k| 49220 | 0 | 0.0 | 84M| 116 | - | 223 | 24k| 0 | 0 | 0 |1137k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
983.61/983.65 c 964s| 1050k| 40526 | 0 | 0.0 | 75M| 116 | - | 223 | 31k| 0 | 0 | 0 |1151k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
995.81/995.82 c 976s| 1060k| 43096 | 0 | 0.0 | 70M| 116 | - | 223 | 16k| 0 | 0 | 0 |1159k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1006.51/1006.55 c 986s| 1070k| 39409 | 0 | 0.0 | 62M| 116 | - | 223 | 13k| 0 | 0 | 0 |1171k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1009.71/1009.78 c 989s| 1080k| 45810 | 0 | 0.0 | 64M| 116 | - | 223 |9227 | 0 | 0 | 0 |1175k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1012.81/1012.80 c 992s| 1090k| 51363 | 0 | 0.0 | 69M| 116 | - | 223 | 10k| 0 | 0 | 0 |1181k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1018.51/1018.50 c 997s| 1100k| 53559 | 0 | 0.0 | 73M| 116 | - | 223 | 14k| 0 | 0 | 0 |1192k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1026.31/1026.33 c 1005s| 1110k| 53989 | 0 | 0.0 | 72M| 116 | - | 223 |9819 | 0 | 0 | 0 |1202k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1030.81/1030.88 c 1009s| 1120k| 57396 | 0 | 0.0 | 75M| 116 | - | 223 | 10k| 0 | 0 | 0 |1211k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1036.60/1036.68 c 1015s| 1130k| 59784 | 0 | 0.0 | 79M| 116 | - | 223 | 14k| 0 | 0 | 0 |1220k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1044.71/1044.77 c 1022s| 1140k| 61231 | 0 | 0.0 | 83M| 116 | - | 223 | 18k| 0 | 0 | 0 |1230k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1055.01/1055.01 c 1032s| 1150k| 62004 | 0 | 0.0 | 87M| 116 | - | 223 | 20k| 0 | 0 | 0 |1242k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1066.81/1066.87 c 1044s| 1160k| 61972 | 0 | 0.0 | 90M| 116 | - | 223 | 23k| 0 | 0 | 0 |1253k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1081.31/1081.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.31/1081.31 c 1058s| 1170k| 60408 | 0 | 0.0 | 92M| 116 | - | 223 | 26k| 0 | 0 | 0 |1267k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1095.81/1095.89 c 1072s| 1180k| 60194 | 0 | 0.0 | 89M| 116 | - | 223 | 14k| 0 | 0 | 0 |1278k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1105.01/1105.01 c 1081s| 1190k| 60137 | 0 | 0.0 | 91M| 116 | - | 223 | 15k| 0 | 0 | 0 |1290k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1118.91/1118.91 c 1094s| 1200k| 57562 | 0 | 0.0 | 93M| 116 | - | 223 | 21k| 0 | 0 | 0 |1304k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1139.21/1139.26 c 1114s| 1210k| 53913 | 0 | 0.0 | 94M| 116 | - | 223 | 28k| 0 | 0 | 0 |1320k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1164.92/1164.90 c 1139s| 1220k| 49338 | 0 | 0.0 | 92M| 116 | - | 223 | 34k| 0 | 0 | 0 |1335k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1192.82/1192.85 c 1167s| 1230k| 44875 | 0 | 0.0 | 84M| 116 | - | 223 | 22k| 0 | 0 | 0 |1350k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1203.12/1203.10 c 1177s| 1240k| 44797 | 0 | 0.0 | 80M| 116 | - | 223 | 16k| 0 | 0 | 0 |1362k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1224.52/1224.52 c 1198s| 1250k| 37235 | 0 | 0.0 | 65M| 116 | - | 223 | 19k| 0 | 0 | 0 |1380k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1229.92/1229.95 c 1203s| 1260k| 42703 | 0 | 0.0 | 67M| 116 | - | 223 | 14k| 0 | 0 | 0 |1386k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1237.81/1237.82 c 1211s| 1270k| 44599 | 0 | 0.0 | 70M| 116 | - | 223 | 18k| 0 | 0 | 0 |1397k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1246.71/1246.74 c 1219s| 1280k| 47540 | 0 | 0.0 | 72M| 116 | - | 223 | 17k| 0 | 0 | 0 |1408k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1257.51/1257.56 c 1230s| 1290k| 49121 | 0 | 0.0 | 77M| 116 | - | 223 | 21k| 0 | 0 | 0 |1420k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1273.12/1273.16 c 1245s| 1300k| 48182 | 0 | 0.0 | 81M| 116 | - | 223 | 27k| 0 | 0 | 0 |1434k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1294.72/1294.77 c 1266s| 1310k| 46312 | 0 | 0.0 | 79M| 116 | - | 223 | 25k| 0 | 0 | 0 |1448k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1309.62/1309.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.62/1309.64 c 1281s| 1320k| 45231 | 0 | 0.0 | 75M| 116 | - | 223 | 17k| 0 | 0 | 0 |1461k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1325.31/1325.37 c 1296s| 1330k| 42477 | 0 | 0.0 | 76M| 116 | - | 223 | 22k| 0 | 0 | 0 |1478k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1346.81/1346.87 c 1317s| 1340k| 37334 | 0 | 0.0 | 74M| 116 | - | 223 | 31k| 0 | 0 | 0 |1496k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1368.81/1368.85 c 1339s| 1350k| 35941 | 0 | 0.0 | 70M| 116 | - | 223 | 25k| 0 | 0 | 0 |1509k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1386.91/1386.95 c 1356s| 1360k| 30831 | 0 | 0.0 | 58M| 116 | - | 223 | 20k| 0 | 0 | 0 |1526k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1395.72/1395.70 c 1365s| 1370k| 33729 | 0 | 0.0 | 56M| 116 | - | 223 | 11k| 0 | 0 | 0 |1533k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1400.23/1400.30 c 1369s| 1380k| 37953 | 0 | 0.0 | 57M| 116 | - | 223 | 10k| 0 | 0 | 0 |1540k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1403.72/1403.74 c 1372s| 1390k| 43976 | 0 | 0.0 | 62M| 116 | - | 223 | 11k| 0 | 0 | 0 |1546k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1408.52/1408.54 c 1377s| 1400k| 48397 | 0 | 0.0 | 67M| 116 | - | 223 | 14k| 0 | 0 | 0 |1554k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1415.42/1415.47 c 1383s| 1410k| 50058 | 0 | 0.0 | 71M| 116 | - | 223 | 18k| 0 | 0 | 0 |1564k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1421.92/1421.98 c 1389s| 1420k| 54250 | 0 | 0.0 | 75M| 116 | - | 223 | 18k| 0 | 0 | 0 |1572k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1428.82/1428.90 c 1396s| 1430k| 58873 | 0 | 0.0 | 79M| 116 | - | 223 | 19k| 0 | 0 | 0 |1580k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1436.72/1436.77 c 1404s| 1440k| 62771 | 0 | 0.0 | 82M| 116 | - | 223 | 19k| 0 | 0 | 0 |1589k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1446.52/1446.50 c 1413s| 1450k| 65309 | 0 | 0.0 | 86M| 116 | - | 223 | 21k| 0 | 0 | 0 |1598k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1458.63/1458.65 c 1425s| 1460k| 66445 | 0 | 0.0 | 90M| 116 | - | 223 | 23k| 0 | 0 | 0 |1609k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1473.52/1473.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.52/1473.56 c 1439s| 1470k| 65826 | 0 | 0.0 | 93M| 116 | - | 223 | 26k| 0 | 0 | 0 |1621k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1489.82/1489.85 c 1455s| 1480k| 64436 | 0 | 0.0 | 95M| 116 | - | 223 | 30k| 0 | 0 | 0 |1633k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1508.72/1508.76 c 1474s| 1490k| 65494 | 0 | 0.0 | 97M| 116 | - | 223 | 29k| 0 | 0 | 0 |1644k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1530.21/1530.22 c 1495s| 1500k| 65246 | 0 | 0.0 | 100M| 116 | - | 223 | 30k| 0 | 0 | 0 |1656k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1554.33/1554.39 c 1518s| 1510k| 64048 | 0 | 0.0 | 103M| 116 | - | 223 | 32k| 0 | 0 | 0 |1670k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1580.62/1580.67 c 1544s| 1520k| 62024 | 0 | 0.0 | 104M| 116 | - | 223 | 33k| 0 | 0 | 0 |1683k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1611.43/1611.42 c 1575s| 1530k| 58163 | 0 | 0.0 | 103M| 116 | - | 223 | 35k| 0 | 0 | 0 |1698k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1650.72/1650.73 c 1614s| 1540k| 51217 | 0 | 0.0 | 97M| 116 | - | 223 | 38k| 0 | 0 | 0 |1716k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1699.43/1699.43 c 1662s| 1550k| 42911 | 0 | 0.0 | 89M| 116 | - | 223 | 41k| 0 | 0 | 0 |1735k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1748.62/1748.69 c 1711s| 1560k| 33582 | 0 | 0.0 | 68M| 116 | - | 223 | 32k| 0 | 0 | 0 |1753k| 0 | 2.900000e+01 | 8.100000e+01 | 179.31%
1762.82/1762.88 c 1724s| 1570k| 36259 | 0 | 0.0 | 65M| 116 | - | 223 | 18k| 0 | 0 | 0 |1761k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1773.23/1773.30 c 1734s| 1580k| 38803 | 0 | 0.0 | 67M| 116 | - | 223 | 17k| 0 | 0 | 0 |1769k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1783.73/1783.75 c 1745s| 1590k| 41129 | 0 | 0.0 | 69M| 116 | - | 223 | 16k| 0 | 0 | 0 |1778k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1792.12/1792.13 c 1753s| 1600k| 43902 | 0 | 0.0 | 71M| 116 | - | 223 | 18k| 0 | 0 | 0 |1786k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
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) : 1760.23
1800.03/1800.00 c Solving Nodes : 1606602
1800.03/1800.00 c Primal Bound : +8.10000000000000e+01 (3 solutions)
1800.03/1800.00 c Dual Bound : +3.00000000000000e+01
1800.03/1800.00 c Gap : 170.00 %
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 -x56
1800.03/1800.00 v -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 : 1760.23
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693850-1277895614.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-2693850-1277895614.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, 43446 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 4460785 0 897418 344 166730 0 0 0
1800.03/1800.00 c setppc : 49 0 5055980 0 1012010 146584 10940371 0 0 0
1800.03/1800.00 c linear : 27 0 4909401 0 1012013 382690 17249682 0 0 0
1800.03/1800.00 c logicor : 9+ 0 2779632 0 1011991 339895 1705635 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 250083 0 0 0 1420 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1012015 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 : 1.52 0.00 0.88 0.00 0.64
1800.03/1800.00 c setppc : 32.31 0.00 27.13 0.00 5.18
1800.03/1800.00 c linear : 77.69 0.00 77.25 0.00 0.44
1800.03/1800.00 c logicor : 869.00 0.00 868.16 0.00 0.84
1800.03/1800.00 c bounddisjunction : 0.31 0.00 0.31 0.00 0.00
1800.03/1800.00 c countsols : 0.08 0.00 0.00 0.00 0.08
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.68 2 0 0
1800.03/1800.00 c rootredcost : 0.61 0 0 0
1800.03/1800.00 c pseudoobj : 4.74 5056266 131 119337
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 36.95 869300 869212 4474507 21.4 222247 14.6 -
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 11 11 39 11.4 0 0.0 -
1800.03/1800.00 c applied globally : - - - 1781087 16.4 - - -
1800.03/1800.00 c applied locally : - - - 11873 35.1 - - -
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.27 1012012 0 0 0 0 2024024
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.00 - 3
1800.03/1800.00 c oneopt : 0.35 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.20 0 0
1800.03/1800.00 c trysol : 0.27 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 : 1606602
1800.03/1800.00 c nodes (total) : 1606602
1800.03/1800.00 c nodes left : 45189
1800.03/1800.00 c max depth : 116
1800.03/1800.00 c max depth (total): 116
1800.03/1800.00 c backtracks : 621881 (38.7%)
1800.03/1800.00 c delayed cutoffs : 371691
1800.03/1800.00 c repropagations : 1870785 (8326625 domain reductions, 275068 cutoffs)
1800.03/1800.00 c avg switch length: 18.87
1800.03/1800.00 c switching time : 573.91
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 3 (3 improvements)
1800.03/1800.00 c First Solution : +9.80000000000000e+01 (in run 1, after 15248 nodes, 1.66 seconds, depth 71, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 63462 nodes, 12.56 seconds, depth 49, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +3.00000000000000e+01
1800.03/1800.00 c Gap : 170.00 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.13/1800.16 c Time complete: 1800.19.