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-2693955-1277898422.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.01 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
1.00/1.03 c 0.8s| 10000 | 6915 | 0 | 0.0 |6414k| 113 | - | 223 |3501 | 0 | 0 | 0 |5864 | 0 | 0.000000e+00 | -- | Inf
1.49/1.58 o 170
1.49/1.58 c * 1.2s| 13094 | 8225 | 0 | 0.0 |8430k| 113 | - | 223 |5573 | 0 | 0 | 0 |8991 | 0 | 0.000000e+00 | 1.700000e+02 | Inf
1.59/1.67 o 111
1.59/1.67 c * 1.3s| 13995 | 9016 | 0 | 0.0 |8608k| 113 | - | 223 |4643 | 0 | 0 | 0 |9124 | 0 | 0.000000e+00 | 1.110000e+02 | Inf
1.59/1.67 o 98
1.59/1.67 c * 1.3s| 13997 | 9008 | 0 | 0.0 |8606k| 113 | - | 223 |4643 | 0 | 0 | 0 |9124 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
1.59/1.69 o 81
1.59/1.69 c * 1.3s| 14148 | 8981 | 0 | 0.0 |8638k| 113 | - | 223 |4678 | 0 | 0 | 0 |9230 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.58/2.70 c 2.2s| 20000 | 12313 | 0 | 0.0 | 11M| 113 | - | 223 |5077 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.99/5.08 c 4.3s| 30000 | 16573 | 0 | 0.0 | 15M| 113 | - | 223 |7361 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.08/8.18 c 7.1s| 40000 | 19389 | 0 | 0.0 | 20M| 113 | - | 223 | 10k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.79/11.85 c 10.4s| 50000 | 21763 | 0 | 0.0 | 23M| 113 | - | 223 | 10k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
13.39/13.41 c 11.7s| 60000 | 27778 | 0 | 0.0 | 25M| 113 | - | 223 |2807 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
16.28/16.34 c 14.3s| 70000 | 29417 | 0 | 0.0 | 29M| 113 | - | 223 |6801 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
20.09/20.19 c 17.9s| 80000 | 29941 | 0 | 0.0 | 33M| 113 | - | 223 |9106 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
24.38/24.48 c 21.8s| 90000 | 29908 | 0 | 0.0 | 35M| 113 | - | 223 |9540 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.89/28.98 c 26.0s|100000 | 29236 | 0 | 0.0 | 37M| 113 | - | 223 | 11k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.69/33.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.69/33.78 c 30.4s|110000 | 29548 | 0 | 0.0 | 36M| 113 | - | 223 |6687 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
35.58/35.65 c 32.0s|120000 | 35630 | 0 | 0.0 | 40M| 113 | - | 223 |5084 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
37.68/37.73 c 33.8s|130000 | 40929 | 0 | 0.0 | 44M| 113 | - | 223 |6620 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
40.70/40.74 c 36.5s|140000 | 44303 | 0 | 0.0 | 48M| 113 | - | 223 |9072 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
45.59/45.62 c 41.0s|150000 | 44070 | 0 | 0.0 | 51M| 113 | - | 223 | 12k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
52.70/52.72 c 47.7s|160000 | 41497 | 0 | 0.0 | 51M| 113 | - | 223 | 18k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
63.70/63.72 c 58.3s|170000 | 35996 | 0 | 0.0 | 47M| 113 | - | 223 | 24k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
73.09/73.13 c 67.3s|180000 | 35168 | 0 | 0.0 | 42M| 113 | - | 223 | 11k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
77.89/77.99 c 71.8s|190000 | 37058 | 0 | 0.0 | 44M| 113 | - | 223 | 11k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
83.19/83.23 c 76.7s|200000 | 38362 | 0 | 0.0 | 47M| 113 | - | 223 | 13k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
89.19/89.28 c 82.4s|210000 | 39202 | 0 | 0.0 | 50M| 113 | - | 223 | 16k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
96.59/96.64 c 89.4s|220000 | 39438 | 0 | 0.0 | 53M| 113 | - | 223 | 19k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
105.30/105.31 c 97.7s|230000 | 39055 | 0 | 0.0 | 55M| 113 | - | 223 | 23k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
116.69/116.72 c 109s|240000 | 36481 | 0 | 0.0 | 54M| 113 | - | 223 | 26k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
131.69/131.75 c 123s|250000 | 32004 | 0 | 0.0 | 45M| 113 | - | 223 | 21k| 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
143.19/143.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.19/143.28 c 135s|260000 | 29918 | 0 | 0.0 | 46M| 113 | - | 223 | 22k| 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
156.69/156.72 c 148s|270000 | 26864 | 0 | 0.0 | 47M| 113 | - | 223 | 28k| 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
172.69/172.75 c 163s|280000 | 23338 | 0 | 0.0 | 47M| 113 | - | 223 | 34k| 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
192.29/192.35 c 182s|290000 | 19206 | 0 | 0.0 | 46M| 113 | - | 223 | 40k| 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
220.99/221.03 c 211s|300000 | 12242 | 0 | 0.0 | 39M| 113 | - | 223 | 40k| 0 | 0 | 0 | 343k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
242.78/242.84 c 232s|310000 | 8480 | 0 | 0.0 | 21M| 113 | - | 223 | 22k| 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
245.09/245.17 c 234s|320000 | 16212 | 0 | 0.0 | 21M| 113 | - | 223 |8860 | 0 | 0 | 0 | 359k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
247.89/247.90 c 236s|330000 | 20955 | 0 | 0.0 | 25M| 113 | - | 223 | 10k| 0 | 0 | 0 | 367k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
251.59/251.60 c 240s|340000 | 24962 | 0 | 0.0 | 27M| 113 | - | 223 |7616 | 0 | 0 | 0 | 374k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
253.69/253.77 c 242s|350000 | 31409 | 0 | 0.0 | 30M| 113 | - | 223 |6974 | 0 | 0 | 0 | 380k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
256.19/256.25 c 244s|360000 | 37133 | 0 | 0.0 | 35M| 113 | - | 223 |8807 | 0 | 0 | 0 | 386k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
259.19/259.28 c 247s|370000 | 42103 | 0 | 0.0 | 40M| 113 | - | 223 | 10k| 0 | 0 | 0 | 393k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
262.79/262.88 c 250s|380000 | 46558 | 0 | 0.0 | 44M| 113 | - | 223 | 12k| 0 | 0 | 0 | 401k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
267.29/267.38 c 254s|390000 | 49960 | 0 | 0.0 | 49M| 113 | - | 223 | 14k| 0 | 0 | 0 | 410k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
272.59/272.63 c 259s|400000 | 52410 | 0 | 0.0 | 53M| 113 | - | 223 | 15k| 0 | 0 | 0 | 420k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
278.48/278.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.48/278.51 c 265s|410000 | 53652 | 0 | 0.0 | 56M| 113 | - | 223 | 15k| 0 | 0 | 0 | 431k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
286.09/286.12 c 272s|420000 | 52734 | 0 | 0.0 | 57M| 113 | - | 223 | 16k| 0 | 0 | 0 | 443k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
289.99/290.06 c 275s|430000 | 58380 | 0 | 0.0 | 61M| 113 | - | 223 | 14k| 0 | 0 | 0 | 448k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
294.49/294.55 c 280s|440000 | 62771 | 0 | 0.0 | 64M| 113 | - | 223 | 15k| 0 | 0 | 0 | 456k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
299.69/299.71 c 284s|450000 | 66508 | 0 | 0.0 | 68M| 113 | - | 223 | 16k| 0 | 0 | 0 | 464k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
305.49/305.55 c 290s|460000 | 69721 | 0 | 0.0 | 72M| 113 | - | 223 | 17k| 0 | 0 | 0 | 472k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
312.19/312.23 c 296s|470000 | 72221 | 0 | 0.0 | 76M| 113 | - | 223 | 18k| 0 | 0 | 0 | 482k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
319.89/319.99 c 304s|480000 | 73945 | 0 | 0.0 | 80M| 113 | - | 223 | 20k| 0 | 0 | 0 | 492k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
328.69/328.77 c 312s|490000 | 75058 | 0 | 0.0 | 84M| 113 | - | 223 | 22k| 0 | 0 | 0 | 503k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
339.19/339.27 c 322s|500000 | 75193 | 0 | 0.0 | 87M| 113 | - | 223 | 24k| 0 | 0 | 0 | 516k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
350.39/350.43 c 333s|510000 | 75012 | 0 | 0.0 | 90M| 113 | - | 223 | 26k| 0 | 0 | 0 | 528k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
362.69/362.77 c 345s|520000 | 74230 | 0 | 0.0 | 92M| 113 | - | 223 | 28k| 0 | 0 | 0 | 541k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
375.89/375.96 c 358s|530000 | 72935 | 0 | 0.0 | 94M| 113 | - | 223 | 30k| 0 | 0 | 0 | 554k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
391.29/391.35 c 373s|540000 | 70484 | 0 | 0.0 | 95M| 113 | - | 223 | 31k| 0 | 0 | 0 | 567k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
407.80/407.84 c 389s|550000 | 66808 | 0 | 0.0 | 93M| 113 | - | 223 | 30k| 0 | 0 | 0 | 581k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
421.09/421.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.09/421.18 c 402s|560000 | 66272 | 0 | 0.0 | 91M| 113 | - | 223 | 28k| 0 | 0 | 0 | 593k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
431.79/431.82 c 412s|570000 | 68478 | 0 | 0.0 | 94M| 113 | - | 223 | 25k| 0 | 0 | 0 | 603k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
444.40/444.46 c 424s|580000 | 69014 | 0 | 0.0 | 96M| 113 | - | 223 | 25k| 0 | 0 | 0 | 614k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
458.50/458.58 c 438s|590000 | 68567 | 0 | 0.0 | 99M| 113 | - | 223 | 26k| 0 | 0 | 0 | 627k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
474.80/474.84 c 454s|600000 | 66863 | 0 | 0.0 | 101M| 113 | - | 223 | 27k| 0 | 0 | 0 | 641k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
492.59/492.60 c 471s|610000 | 64400 | 0 | 0.0 | 102M| 113 | - | 223 | 28k| 0 | 0 | 0 | 655k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
512.89/512.94 c 491s|620000 | 60414 | 0 | 0.0 | 101M| 113 | - | 223 | 30k| 0 | 0 | 0 | 671k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
535.60/535.61 c 514s|630000 | 55553 | 0 | 0.0 | 98M| 113 | - | 223 | 33k| 0 | 0 | 0 | 688k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
560.80/560.80 c 538s|640000 | 49437 | 0 | 0.0 | 94M| 113 | - | 223 | 37k| 0 | 0 | 0 | 705k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
589.09/589.13 c 566s|650000 | 41565 | 0 | 0.0 | 85M| 113 | - | 223 | 41k| 0 | 0 | 0 | 723k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
619.70/619.72 c 596s|660000 | 35075 | 0 | 0.0 | 76M| 113 | - | 223 | 34k| 0 | 0 | 0 | 740k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
652.60/652.64 c 629s|670000 | 26507 | 0 | 0.0 | 67M| 113 | - | 223 | 33k| 0 | 0 | 0 | 759k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
690.00/690.09 c 666s|680000 | 13322 | 0 | 0.0 | 43M| 113 | - | 223 | 39k| 0 | 0 | 0 | 781k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
713.10/713.13 c 688s|690000 | 9985 | 0 | 0.0 | 31M| 113 | - | 223 | 29k| 0 | 0 | 0 | 795k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
719.40/719.48 c 694s|700000 | 14297 | 0 | 0.0 | 26M| 113 | - | 223 |9273 | 0 | 0 | 0 | 801k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
721.70/721.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.70/721.71 c 696s|710000 | 21001 | 0 | 0.0 | 29M| 113 | - | 223 |6936 | 0 | 0 | 0 | 804k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
723.50/723.51 c 698s|720000 | 27980 | 0 | 0.0 | 34M| 113 | - | 223 |7449 | 0 | 0 | 0 | 807k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
725.81/725.83 c 700s|730000 | 33716 | 0 | 0.0 | 38M| 113 | - | 223 |8419 | 0 | 0 | 0 | 811k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
729.50/729.55 c 703s|740000 | 36545 | 0 | 0.0 | 43M| 113 | - | 223 | 11k| 0 | 0 | 0 | 819k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
733.10/733.12 c 707s|750000 | 40945 | 0 | 0.0 | 46M| 113 | - | 223 |9934 | 0 | 0 | 0 | 825k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
736.10/736.11 c 709s|760000 | 46260 | 0 | 0.0 | 51M| 113 | - | 223 |9914 | 0 | 0 | 0 | 831k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
739.40/739.40 c 712s|770000 | 50923 | 0 | 0.0 | 55M| 113 | - | 223 | 10k| 0 | 0 | 0 | 836k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
743.30/743.38 c 716s|780000 | 54517 | 0 | 0.0 | 60M| 113 | - | 223 | 12k| 0 | 0 | 0 | 843k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
748.00/748.07 c 720s|790000 | 57309 | 0 | 0.0 | 65M| 113 | - | 223 | 13k| 0 | 0 | 0 | 850k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
753.31/753.37 c 725s|800000 | 59447 | 0 | 0.0 | 69M| 113 | - | 223 | 14k| 0 | 0 | 0 | 858k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
759.20/759.25 c 731s|810000 | 60967 | 0 | 0.0 | 72M| 113 | - | 223 | 15k| 0 | 0 | 0 | 867k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
766.50/766.50 c 738s|820000 | 60255 | 0 | 0.0 | 74M| 113 | - | 223 | 17k| 0 | 0 | 0 | 877k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
773.00/773.06 c 744s|830000 | 62415 | 0 | 0.0 | 76M| 113 | - | 223 | 13k| 0 | 0 | 0 | 884k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
779.00/779.09 c 749s|840000 | 64530 | 0 | 0.0 | 80M| 113 | - | 223 | 14k| 0 | 0 | 0 | 891k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
785.81/785.86 c 756s|850000 | 66125 | 0 | 0.0 | 83M| 113 | - | 223 | 16k| 0 | 0 | 0 | 899k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
793.71/793.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.71/793.77 c 763s|860000 | 67020 | 0 | 0.0 | 87M| 113 | - | 223 | 18k| 0 | 0 | 0 | 908k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
802.60/802.65 c 772s|870000 | 67397 | 0 | 0.0 | 90M| 113 | - | 223 | 20k| 0 | 0 | 0 | 917k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
812.40/812.46 c 781s|880000 | 67393 | 0 | 0.0 | 92M| 113 | - | 223 | 22k| 0 | 0 | 0 | 926k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
823.81/823.88 c 792s|890000 | 66056 | 0 | 0.0 | 94M| 113 | - | 223 | 24k| 0 | 0 | 0 | 936k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
836.41/836.45 c 805s|900000 | 63934 | 0 | 0.0 | 94M| 113 | - | 223 | 25k| 0 | 0 | 0 | 947k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
849.60/849.68 c 817s|910000 | 61084 | 0 | 0.0 | 91M| 113 | - | 223 | 24k| 0 | 0 | 0 | 959k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
863.10/863.13 c 830s|920000 | 58578 | 0 | 0.0 | 91M| 113 | - | 223 | 21k| 0 | 0 | 0 | 969k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
878.21/878.23 c 845s|930000 | 54566 | 0 | 0.0 | 89M| 113 | - | 223 | 25k| 0 | 0 | 0 | 980k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
896.31/896.31 c 863s|940000 | 49565 | 0 | 0.0 | 87M| 113 | - | 223 | 28k| 0 | 0 | 0 | 992k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
918.41/918.46 c 884s|950000 | 41739 | 0 | 0.0 | 79M| 113 | - | 223 | 32k| 0 | 0 | 0 |1006k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
924.60/924.68 c 890s|960000 | 47418 | 0 | 0.0 | 76M| 113 | - | 223 | 15k| 0 | 0 | 0 |1010k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
933.50/933.50 c 899s|970000 | 45210 | 0 | 0.0 | 73M| 113 | - | 223 | 15k| 0 | 0 | 0 |1022k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
945.01/945.02 c 910s|980000 | 40823 | 0 | 0.0 | 62M| 113 | - | 223 | 15k| 0 | 0 | 0 |1032k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
948.12/948.12 c 913s|990000 | 47287 | 0 | 0.0 | 64M| 113 | - | 223 | 11k| 0 | 0 | 0 |1036k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
951.00/951.08 c 915s| 1000k| 53310 | 0 | 0.0 | 68M| 113 | - | 223 | 11k| 0 | 0 | 0 |1041k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
954.71/954.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.71/954.71 c 919s| 1010k| 58324 | 0 | 0.0 | 72M| 113 | - | 223 | 13k| 0 | 0 | 0 |1047k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
958.91/958.91 c 923s| 1020k| 62380 | 0 | 0.0 | 76M| 113 | - | 223 | 15k| 0 | 0 | 0 |1054k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
964.71/964.77 c 928s| 1030k| 63820 | 0 | 0.0 | 80M| 113 | - | 223 | 17k| 0 | 0 | 0 |1064k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
970.41/970.47 c 933s| 1040k| 66349 | 0 | 0.0 | 79M| 113 | - | 223 | 12k| 0 | 0 | 0 |1072k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
974.40/974.46 c 937s| 1050k| 71422 | 0 | 0.0 | 83M| 113 | - | 223 | 13k| 0 | 0 | 0 |1078k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
978.81/978.84 c 941s| 1060k| 76161 | 0 | 0.0 | 87M| 113 | - | 223 | 15k| 0 | 0 | 0 |1084k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
984.52/984.54 c 947s| 1070k| 79734 | 0 | 0.0 | 91M| 113 | - | 223 | 17k| 0 | 0 | 0 |1092k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
991.81/991.80 c 954s| 1080k| 82129 | 0 | 0.0 | 95M| 113 | - | 223 | 19k| 0 | 0 | 0 |1102k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
999.61/999.63 c 961s| 1090k| 84343 | 0 | 0.0 | 99M| 113 | - | 223 | 21k| 0 | 0 | 0 |1111k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1007.91/1007.91 c 969s| 1100k| 86466 | 0 | 0.0 | 103M| 113 | - | 223 | 23k| 0 | 0 | 0 |1121k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1017.01/1017.06 c 978s| 1110k| 88167 | 0 | 0.0 | 107M| 113 | - | 223 | 25k| 0 | 0 | 0 |1131k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1027.01/1027.06 c 987s| 1120k| 89206 | 0 | 0.0 | 111M| 113 | - | 223 | 27k| 0 | 0 | 0 |1141k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1037.81/1037.89 c 998s| 1130k| 89664 | 0 | 0.0 | 114M| 113 | - | 223 | 29k| 0 | 0 | 0 |1152k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1050.01/1050.05 c 1010s| 1140k| 88950 | 0 | 0.0 | 117M| 113 | - | 223 | 31k| 0 | 0 | 0 |1163k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1064.41/1064.47 c 1024s| 1150k| 86236 | 0 | 0.0 | 117M| 113 | - | 223 | 33k| 0 | 0 | 0 |1176k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1074.61/1074.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.61/1074.69 c 1034s| 1160k| 88101 | 0 | 0.0 | 114M| 113 | - | 223 | 17k| 0 | 0 | 0 |1185k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1083.81/1083.83 c 1042s| 1170k| 89437 | 0 | 0.0 | 118M| 113 | - | 223 | 19k| 0 | 0 | 0 |1196k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1095.11/1095.14 c 1053s| 1180k| 89808 | 0 | 0.0 | 122M| 113 | - | 223 | 23k| 0 | 0 | 0 |1208k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1108.62/1108.64 c 1066s| 1190k| 89555 | 0 | 0.0 | 125M| 113 | - | 223 | 26k| 0 | 0 | 0 |1220k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1124.52/1124.57 c 1082s| 1200k| 88482 | 0 | 0.0 | 128M| 113 | - | 223 | 30k| 0 | 0 | 0 |1233k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1142.81/1142.86 c 1100s| 1210k| 86560 | 0 | 0.0 | 130M| 113 | - | 223 | 33k| 0 | 0 | 0 |1246k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1162.62/1162.67 c 1119s| 1220k| 84141 | 0 | 0.0 | 132M| 113 | - | 223 | 37k| 0 | 0 | 0 |1259k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1185.62/1185.65 c 1142s| 1230k| 80653 | 0 | 0.0 | 132M| 113 | - | 223 | 40k| 0 | 0 | 0 |1273k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1209.82/1209.88 c 1166s| 1240k| 76708 | 0 | 0.0 | 131M| 113 | - | 223 | 42k| 0 | 0 | 0 |1287k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1237.42/1237.48 c 1193s| 1250k| 70552 | 0 | 0.0 | 126M| 113 | - | 223 | 45k| 0 | 0 | 0 |1302k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1262.92/1262.93 c 1218s| 1260k| 66695 | 0 | 0.0 | 114M| 113 | - | 223 | 24k| 0 | 0 | 0 |1315k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1270.42/1270.50 c 1225s| 1270k| 69038 | 0 | 0.0 | 114M| 113 | - | 223 | 19k| 0 | 0 | 0 |1324k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1291.52/1291.54 c 1246s| 1280k| 61207 | 0 | 0.0 | 107M| 113 | - | 223 | 26k| 0 | 0 | 0 |1342k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1318.32/1318.33 c 1272s| 1290k| 50193 | 0 | 0.0 | 94M| 113 | - | 223 | 36k| 0 | 0 | 0 |1360k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1330.62/1330.60 c 1284s| 1300k| 52840 | 0 | 0.0 | 85M| 113 | - | 223 | 16k| 0 | 0 | 0 |1368k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1335.12/1335.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.12/1335.13 c 1288s| 1310k| 57768 | 0 | 0.0 | 88M| 113 | - | 223 | 15k| 0 | 0 | 0 |1375k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1340.72/1340.74 c 1293s| 1320k| 60717 | 0 | 0.0 | 91M| 113 | - | 223 | 18k| 0 | 0 | 0 |1384k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1349.52/1349.57 c 1302s| 1330k| 60672 | 0 | 0.0 | 89M| 113 | - | 223 | 21k| 0 | 0 | 0 |1394k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1356.62/1356.62 c 1309s| 1340k| 65307 | 0 | 0.0 | 92M| 113 | - | 223 | 19k| 0 | 0 | 0 |1403k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1363.62/1363.65 c 1315s| 1350k| 69071 | 0 | 0.0 | 96M| 113 | - | 223 | 20k| 0 | 0 | 0 |1412k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1371.82/1371.85 c 1323s| 1360k| 71722 | 0 | 0.0 | 100M| 113 | - | 223 | 21k| 0 | 0 | 0 |1422k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1382.22/1382.26 c 1333s| 1370k| 72610 | 0 | 0.0 | 104M| 113 | - | 223 | 24k| 0 | 0 | 0 |1434k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1394.02/1394.08 c 1345s| 1380k| 72149 | 0 | 0.0 | 107M| 113 | - | 223 | 28k| 0 | 0 | 0 |1447k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1408.12/1408.17 c 1358s| 1390k| 70056 | 0 | 0.0 | 108M| 113 | - | 223 | 31k| 0 | 0 | 0 |1459k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1426.22/1426.27 c 1376s| 1400k| 67896 | 0 | 0.0 | 105M| 113 | - | 223 | 24k| 0 | 0 | 0 |1473k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1439.93/1439.99 c 1390s| 1410k| 65475 | 0 | 0.0 | 99M| 113 | - | 223 | 16k| 0 | 0 | 0 |1485k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1449.53/1449.58 c 1399s| 1420k| 63123 | 0 | 0.0 | 96M| 113 | - | 223 | 18k| 0 | 0 | 0 |1498k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1460.42/1460.47 c 1409s| 1430k| 63274 | 0 | 0.0 | 99M| 113 | - | 223 | 22k| 0 | 0 | 0 |1513k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1475.32/1475.34 c 1424s| 1440k| 61748 | 0 | 0.0 | 102M| 113 | - | 223 | 26k| 0 | 0 | 0 |1529k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1493.63/1493.67 c 1442s| 1450k| 59096 | 0 | 0.0 | 103M| 113 | - | 223 | 30k| 0 | 0 | 0 |1545k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1515.22/1515.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.22/1515.24 c 1463s| 1460k| 54905 | 0 | 0.0 | 102M| 113 | - | 223 | 34k| 0 | 0 | 0 |1562k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1540.83/1540.85 c 1488s| 1470k| 47736 | 0 | 0.0 | 95M| 113 | - | 223 | 40k| 0 | 0 | 0 |1579k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1562.72/1562.72 c 1509s| 1480k| 45732 | 0 | 0.0 | 88M| 113 | - | 223 | 25k| 0 | 0 | 0 |1591k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1577.03/1577.06 c 1523s| 1490k| 42217 | 0 | 0.0 | 83M| 113 | - | 223 | 19k| 0 | 0 | 0 |1607k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1601.54/1601.60 c 1547s| 1500k| 31367 | 0 | 0.0 | 66M| 113 | - | 223 | 29k| 0 | 0 | 0 |1629k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1615.42/1615.42 c 1561s| 1510k| 30733 | 0 | 0.0 | 58M| 113 | - | 223 | 14k| 0 | 0 | 0 |1640k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1620.43/1620.44 c 1566s| 1520k| 32725 | 0 | 0.0 | 55M| 113 | - | 223 | 10k| 0 | 0 | 0 |1648k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1623.03/1623.07 c 1568s| 1530k| 39216 | 0 | 0.0 | 58M| 113 | - | 223 |9960 | 0 | 0 | 0 |1653k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1626.43/1626.41 c 1571s| 1540k| 44268 | 0 | 0.0 | 63M| 113 | - | 223 | 12k| 0 | 0 | 0 |1659k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1630.73/1630.74 c 1575s| 1550k| 47840 | 0 | 0.0 | 67M| 113 | - | 223 | 14k| 0 | 0 | 0 |1667k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1635.13/1635.11 c 1579s| 1560k| 52046 | 0 | 0.0 | 70M| 113 | - | 223 | 14k| 0 | 0 | 0 |1674k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1639.43/1639.40 c 1583s| 1570k| 56985 | 0 | 0.0 | 74M| 113 | - | 223 | 14k| 0 | 0 | 0 |1681k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1644.83/1644.83 c 1588s| 1580k| 60477 | 0 | 0.0 | 78M| 113 | - | 223 | 16k| 0 | 0 | 0 |1691k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1652.03/1652.06 c 1595s| 1590k| 62656 | 0 | 0.0 | 83M| 113 | - | 223 | 20k| 0 | 0 | 0 |1701k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1660.94/1660.92 c 1604s| 1600k| 64109 | 0 | 0.0 | 87M| 113 | - | 223 | 23k| 0 | 0 | 0 |1712k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1670.63/1670.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.63/1670.69 c 1613s| 1610k| 65231 | 0 | 0.0 | 91M| 113 | - | 223 | 26k| 0 | 0 | 0 |1723k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1680.74/1680.80 c 1623s| 1620k| 65875 | 0 | 0.0 | 94M| 113 | - | 223 | 28k| 0 | 0 | 0 |1733k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1691.63/1691.63 c 1633s| 1630k| 66188 | 0 | 0.0 | 96M| 113 | - | 223 | 30k| 0 | 0 | 0 |1744k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1702.94/1702.91 c 1644s| 1640k| 68702 | 0 | 0.0 | 98M| 113 | - | 223 | 26k| 0 | 0 | 0 |1754k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1715.03/1715.07 c 1656s| 1650k| 69505 | 0 | 0.0 | 101M| 113 | - | 223 | 26k| 0 | 0 | 0 |1767k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1728.63/1728.64 c 1669s| 1660k| 69185 | 0 | 0.0 | 103M| 113 | - | 223 | 28k| 0 | 0 | 0 |1780k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1745.03/1745.06 c 1685s| 1670k| 67845 | 0 | 0.0 | 106M| 113 | - | 223 | 32k| 0 | 0 | 0 |1794k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1764.73/1764.70 c 1704s| 1680k| 65449 | 0 | 0.0 | 107M| 113 | - | 223 | 36k| 0 | 0 | 0 |1809k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1786.03/1786.02 c 1725s| 1690k| 62627 | 0 | 0.0 | 107M| 113 | - | 223 | 41k| 0 | 0 | 0 |1823k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1738.95
1800.04/1800.00 c Solving Nodes : 1696556
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (4 solutions)
1800.04/1800.00 c Dual Bound : +2.40000000000000e+01
1800.04/1800.00 c Gap : 237.50 %
1800.04/1800.00 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.00 v -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1738.95
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693955-1277898422.wbo
1800.04/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.04/1800.00 c Constraints : 130 initial, 130 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693955-1277898422.wbo
1800.04/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.04/1800.00 c Constraints : 112 initial, 48434 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 5 - - 10 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 27 0 4869083 0 999804 256 166228 0 0 0
1800.04/1800.00 c setppc : 49 0 5285465 0 1080053 147370 11114578 0 0 0
1800.04/1800.00 c linear : 27 0 5138094 0 1080051 341237 18458013 0 0 0
1800.04/1800.00 c logicor : 9+ 0 2909817 0 1079822 416341 1797340 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 290087 0 0 1 62 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1080055 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 0.63 0.00 0.22 0.00 0.41
1800.04/1800.00 c setppc : 31.01 0.00 25.95 0.00 5.06
1800.04/1800.00 c linear : 75.50 0.00 75.39 0.00 0.11
1800.04/1800.00 c logicor : 849.50 0.00 848.97 0.00 0.53
1800.04/1800.00 c bounddisjunction : 0.41 0.00 0.41 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.01 0 0 0
1800.04/1800.00 c pseudoobj : 3.66 5285641 116 109748
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 37.55 905065 904989 4607846 22.0 167821 14.9 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 11 11 31 9.6 3 25.3 -
1800.04/1800.00 c applied globally : - - - 1818584 16.8 - - -
1800.04/1800.00 c applied locally : - - - 13686 34.3 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 7.15 1080051 0 0 0 0 2160102
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 4
1800.04/1800.00 c oneopt : 0.03 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 1696556
1800.04/1800.00 c nodes (total) : 1696556
1800.04/1800.00 c nodes left : 60664
1800.04/1800.00 c max depth : 113
1800.04/1800.00 c max depth (total): 113
1800.04/1800.00 c backtracks : 645279 (38.0%)
1800.04/1800.00 c delayed cutoffs : 402752
1800.04/1800.00 c repropagations : 1962767 (8757559 domain reductions, 288831 cutoffs)
1800.04/1800.00 c avg switch length: 18.88
1800.04/1800.00 c switching time : 573.23
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 4 (4 improvements)
1800.04/1800.00 c First Solution : +1.70000000000000e+02 (in run 1, after 13094 nodes, 1.24 seconds, depth 73, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 14148 nodes, 1.32 seconds, depth 60, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +2.40000000000000e+01
1800.04/1800.00 c Gap : 237.50 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.24/1800.20 c Time complete: 1800.24.