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-2693927-1277897663.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
1.10/1.13 c 1.0s| 10000 | 6946 | 0 | 0.0 |6224k| 116 | - | 223 |2829 | 0 | 0 | 0 |5870 | 0 | 0.000000e+00 | -- | Inf
1.89/1.93 o 87
1.89/1.93 c * 1.8s| 14394 | 8768 | 0 | 0.0 |8847k| 116 | - | 223 |4903 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
1.99/2.03 o 81
1.99/2.03 c * 1.9s| 15695 | 9914 | 0 | 0.0 |9101k| 116 | - | 223 |3854 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.59/2.69 c 2.5s| 20000 | 12696 | 0 | 0.0 | 10M| 116 | - | 223 |2942 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.49/4.56 c 4.3s| 30000 | 18050 | 0 | 0.0 | 15M| 116 | - | 223 |4531 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
7.29/7.37 c 7.0s| 40000 | 21494 | 0 | 0.0 | 20M| 116 | - | 223 |7106 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
10.69/10.75 c 10.3s| 50000 | 23830 | 0 | 0.0 | 24M| 116 | - | 223 | 10k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
13.39/13.43 c 12.9s| 60000 | 28716 | 0 | 0.0 | 25M| 116 | - | 223 |1452 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
14.69/14.79 c 14.2s| 70000 | 34707 | 0 | 0.0 | 30M| 116 | - | 223 |3509 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
17.79/17.84 c 17.1s| 80000 | 37812 | 0 | 0.0 | 33M| 116 | - | 223 |4268 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
21.09/21.10 c 20.2s| 90000 | 39399 | 0 | 0.0 | 37M| 116 | - | 223 |5041 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
24.89/24.96 c 24.0s|100000 | 39949 | 0 | 0.0 | 40M| 116 | - | 223 |6258 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
29.09/29.18 c 28.1s|110000 | 40044 | 0 | 0.0 | 42M| 116 | - | 223 |8599 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.99/34.03 c 32.8s|120000 | 39664 | 0 | 0.0 | 44M| 116 | - | 223 | 10k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
39.60/39.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.60/39.61 c 38.3s|130000 | 38278 | 0 | 0.0 | 45M| 116 | - | 223 | 13k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
41.30/41.33 c 39.9s|140000 | 44993 | 0 | 0.0 | 46M| 116 | - | 223 |3765 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
43.09/43.13 c 41.6s|150000 | 50934 | 0 | 0.0 | 51M| 116 | - | 223 |6550 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
45.69/45.78 c 44.2s|160000 | 56047 | 0 | 0.0 | 56M| 116 | - | 223 |9232 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
49.89/49.96 c 48.3s|170000 | 60134 | 0 | 0.0 | 60M| 116 | - | 223 | 11k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
55.49/55.52 c 53.7s|180000 | 62105 | 0 | 0.0 | 63M| 116 | - | 223 | 12k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
62.40/62.45 c 60.5s|190000 | 62325 | 0 | 0.0 | 66M| 116 | - | 223 | 12k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
72.19/72.20 c 70.2s|200000 | 59817 | 0 | 0.0 | 66M| 116 | - | 223 | 15k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
83.30/83.30 c 81.2s|210000 | 55606 | 0 | 0.0 | 62M| 116 | - | 223 | 15k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
94.00/94.05 c 91.8s|220000 | 51119 | 0 | 0.0 | 59M| 116 | - | 223 | 20k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
102.89/102.94 c 101s|230000 | 51558 | 0 | 0.0 | 55M| 116 | - | 223 | 10k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
106.60/106.70 c 104s|240000 | 55900 | 0 | 0.0 | 58M| 116 | - | 223 |7949 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
110.79/110.87 c 108s|250000 | 59163 | 0 | 0.0 | 61M| 116 | - | 223 |8742 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
115.29/115.38 c 113s|260000 | 61815 | 0 | 0.0 | 65M| 116 | - | 223 |9569 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
119.79/119.88 c 117s|270000 | 64357 | 0 | 0.0 | 68M| 116 | - | 223 |9995 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
124.79/124.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.79/124.82 c 122s|280000 | 66116 | 0 | 0.0 | 71M| 116 | - | 223 | 11k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
130.59/130.61 c 128s|290000 | 66671 | 0 | 0.0 | 73M| 116 | - | 223 | 12k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
136.69/136.73 c 134s|300000 | 66910 | 0 | 0.0 | 75M| 116 | - | 223 | 13k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
143.49/143.53 c 140s|310000 | 66417 | 0 | 0.0 | 77M| 116 | - | 223 | 14k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
150.99/151.06 c 148s|320000 | 65071 | 0 | 0.0 | 77M| 116 | - | 223 | 16k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
161.39/161.42 c 158s|330000 | 57930 | 0 | 0.0 | 64M| 116 | - | 223 | 13k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
167.99/168.01 c 164s|340000 | 58740 | 0 | 0.0 | 63M| 116 | - | 223 | 10k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
174.60/174.60 c 171s|350000 | 58622 | 0 | 0.0 | 64M| 116 | - | 223 | 11k| 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
182.90/182.91 c 179s|360000 | 57169 | 0 | 0.0 | 66M| 116 | - | 223 | 14k| 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
191.89/191.95 c 188s|370000 | 55791 | 0 | 0.0 | 68M| 116 | - | 223 | 17k| 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
201.90/201.97 c 198s|380000 | 54280 | 0 | 0.0 | 70M| 116 | - | 223 | 19k| 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
212.99/213.07 c 209s|390000 | 52329 | 0 | 0.0 | 71M| 116 | - | 223 | 21k| 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
226.00/226.01 c 222s|400000 | 49562 | 0 | 0.0 | 71M| 116 | - | 223 | 24k| 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
240.90/240.98 c 236s|410000 | 45947 | 0 | 0.0 | 70M| 116 | - | 223 | 28k| 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
258.30/258.38 c 254s|420000 | 40907 | 0 | 0.0 | 67M| 116 | - | 223 | 32k| 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
279.80/279.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.80/279.86 c 275s|430000 | 35327 | 0 | 0.0 | 61M| 122 | - | 223 | 22k| 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
300.10/300.11 c 295s|440000 | 27828 | 0 | 0.0 | 55M| 122 | - | 223 | 27k| 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
321.00/321.05 c 316s|450000 | 21315 | 0 | 0.0 | 42M| 122 | - | 223 | 20k| 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
327.50/327.50 c 322s|460000 | 23305 | 0 | 0.0 | 32M| 122 | - | 223 |4724 | 0 | 0 | 0 | 513k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
329.60/329.65 c 324s|470000 | 29125 | 0 | 0.0 | 37M| 122 | - | 223 |6059 | 0 | 0 | 0 | 518k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
332.90/332.98 c 327s|480000 | 32302 | 0 | 0.0 | 39M| 122 | - | 223 |4864 | 0 | 0 | 0 | 527k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
337.20/337.20 c 332s|490000 | 32860 | 0 | 0.0 | 39M| 122 | - | 223 |7230 | 0 | 0 | 0 | 537k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
339.20/339.24 c 333s|500000 | 39804 | 0 | 0.0 | 43M| 122 | - | 223 |5225 | 0 | 0 | 0 | 541k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
341.40/341.48 c 336s|510000 | 46032 | 0 | 0.0 | 47M| 122 | - | 223 |6638 | 0 | 0 | 0 | 545k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
343.80/343.88 c 338s|520000 | 51939 | 0 | 0.0 | 51M| 122 | - | 223 |8077 | 0 | 0 | 0 | 550k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
347.70/347.74 c 342s|530000 | 55676 | 0 | 0.0 | 56M| 122 | - | 223 | 10k| 0 | 0 | 0 | 559k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
352.80/352.82 c 347s|540000 | 58084 | 0 | 0.0 | 60M| 122 | - | 223 | 13k| 0 | 0 | 0 | 569k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
358.71/358.79 c 352s|550000 | 59641 | 0 | 0.0 | 64M| 122 | - | 223 | 15k| 0 | 0 | 0 | 579k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
365.00/365.08 c 359s|560000 | 61070 | 0 | 0.0 | 64M| 122 | - | 223 |7998 | 0 | 0 | 0 | 590k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
369.80/369.89 c 363s|570000 | 61866 | 0 | 0.0 | 66M| 122 | - | 223 |8812 | 0 | 0 | 0 | 599k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
373.20/373.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.20/373.21 c 367s|580000 | 66609 | 0 | 0.0 | 69M| 122 | - | 223 |7949 | 0 | 0 | 0 | 606k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
376.40/376.43 c 370s|590000 | 71423 | 0 | 0.0 | 73M| 122 | - | 223 |8814 | 0 | 0 | 0 | 613k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
380.20/380.24 c 373s|600000 | 75768 | 0 | 0.0 | 77M| 122 | - | 223 |9968 | 0 | 0 | 0 | 621k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
384.50/384.53 c 378s|610000 | 79727 | 0 | 0.0 | 80M| 122 | - | 223 | 10k| 0 | 0 | 0 | 630k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
389.20/389.22 c 382s|620000 | 83080 | 0 | 0.0 | 84M| 122 | - | 223 | 11k| 0 | 0 | 0 | 639k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
394.50/394.53 c 387s|630000 | 86016 | 0 | 0.0 | 88M| 122 | - | 223 | 13k| 0 | 0 | 0 | 648k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
400.60/400.61 c 393s|640000 | 88356 | 0 | 0.0 | 91M| 122 | - | 223 | 14k| 0 | 0 | 0 | 658k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
407.01/407.03 c 400s|650000 | 90987 | 0 | 0.0 | 94M| 122 | - | 223 | 15k| 0 | 0 | 0 | 668k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
414.11/414.13 c 407s|660000 | 92826 | 0 | 0.0 | 98M| 122 | - | 223 | 17k| 0 | 0 | 0 | 678k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
422.41/422.45 c 415s|670000 | 93701 | 0 | 0.0 | 101M| 122 | - | 223 | 19k| 0 | 0 | 0 | 688k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
432.30/432.35 c 425s|680000 | 93900 | 0 | 0.0 | 104M| 122 | - | 223 | 22k| 0 | 0 | 0 | 700k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
443.50/443.52 c 436s|690000 | 93261 | 0 | 0.0 | 107M| 122 | - | 223 | 25k| 0 | 0 | 0 | 712k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
454.61/454.60 c 447s|700000 | 93188 | 0 | 0.0 | 109M| 122 | - | 223 | 29k| 0 | 0 | 0 | 724k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
468.51/468.50 c 460s|710000 | 91814 | 0 | 0.0 | 107M| 122 | - | 223 | 22k| 0 | 0 | 0 | 737k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
479.61/479.62 c 471s|720000 | 90125 | 0 | 0.0 | 105M| 122 | - | 223 | 16k| 0 | 0 | 0 | 749k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
487.00/487.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.00/487.07 c 478s|730000 | 92294 | 0 | 0.0 | 108M| 122 | - | 223 | 15k| 0 | 0 | 0 | 759k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
496.59/496.68 c 488s|740000 | 92844 | 0 | 0.0 | 111M| 122 | - | 223 | 16k| 0 | 0 | 0 | 770k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
508.30/508.31 c 499s|750000 | 92553 | 0 | 0.0 | 114M| 122 | - | 223 | 17k| 0 | 0 | 0 | 783k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
520.79/520.88 c 511s|760000 | 91961 | 0 | 0.0 | 116M| 122 | - | 223 | 18k| 0 | 0 | 0 | 795k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
535.29/535.34 c 525s|770000 | 90317 | 0 | 0.0 | 118M| 122 | - | 223 | 18k| 0 | 0 | 0 | 809k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
549.79/549.89 c 540s|780000 | 88649 | 0 | 0.0 | 119M| 122 | - | 223 | 19k| 0 | 0 | 0 | 822k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
566.09/566.11 c 555s|790000 | 86384 | 0 | 0.0 | 120M| 122 | - | 223 | 21k| 0 | 0 | 0 | 836k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
583.89/583.91 c 573s|800000 | 83487 | 0 | 0.0 | 120M| 122 | - | 223 | 24k| 0 | 0 | 0 | 850k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
603.39/603.47 c 592s|810000 | 80308 | 0 | 0.0 | 119M| 122 | - | 223 | 26k| 0 | 0 | 0 | 864k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
624.79/624.86 c 613s|820000 | 76209 | 0 | 0.0 | 117M| 122 | - | 223 | 28k| 0 | 0 | 0 | 879k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
647.39/647.40 c 635s|830000 | 72026 | 0 | 0.0 | 114M| 122 | - | 223 | 32k| 0 | 0 | 0 | 894k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
670.60/670.63 c 658s|840000 | 67288 | 0 | 0.0 | 110M| 122 | - | 223 | 37k| 0 | 0 | 0 | 909k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
703.30/703.37 c 690s|850000 | 60772 | 0 | 0.0 | 102M| 122 | - | 223 | 29k| 0 | 0 | 0 | 926k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
738.40/738.47 c 725s|860000 | 52089 | 0 | 0.0 | 93M| 122 | - | 223 | 30k| 0 | 0 | 0 | 944k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
776.10/776.17 c 762s|870000 | 41625 | 0 | 0.0 | 80M| 122 | - | 223 | 33k| 0 | 0 | 0 | 963k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
819.30/819.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.30/819.31 c 805s|880000 | 30701 | 0 | 0.0 | 57M| 122 | - | 223 | 30k| 0 | 0 | 0 | 982k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
843.09/843.17 c 828s|890000 | 26685 | 0 | 0.0 | 53M| 122 | - | 223 | 24k| 0 | 0 | 0 | 997k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
864.40/864.48 c 849s|900000 | 21013 | 0 | 0.0 | 47M| 122 | - | 223 | 23k| 0 | 0 | 0 |1012k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
870.69/870.72 c 855s|910000 | 25133 | 0 | 0.0 | 40M| 122 | - | 223 |4103 | 0 | 0 | 0 |1017k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
872.60/872.68 c 857s|920000 | 31102 | 0 | 0.0 | 44M| 122 | - | 223 |4400 | 0 | 0 | 0 |1022k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
873.90/873.96 c 858s|930000 | 38810 | 0 | 0.0 | 48M| 122 | - | 223 |2874 | 0 | 0 | 0 |1025k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
875.49/875.54 c 860s|940000 | 45585 | 0 | 0.0 | 53M| 122 | - | 223 |4545 | 0 | 0 | 0 |1028k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
877.39/877.46 c 861s|950000 | 51775 | 0 | 0.0 | 57M| 122 | - | 223 |5488 | 0 | 0 | 0 |1031k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
879.60/879.65 c 863s|960000 | 57499 | 0 | 0.0 | 62M| 122 | - | 223 |6596 | 0 | 0 | 0 |1036k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
882.50/882.55 c 866s|970000 | 61980 | 0 | 0.0 | 67M| 122 | - | 223 |7731 | 0 | 0 | 0 |1042k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
886.40/886.47 c 870s|980000 | 64507 | 0 | 0.0 | 71M| 122 | - | 223 |9027 | 0 | 0 | 0 |1051k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
889.20/889.23 c 872s|990000 | 70082 | 0 | 0.0 | 74M| 122 | - | 223 |5565 | 0 | 0 | 0 |1055k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
891.40/891.44 c 874s| 1000k| 75876 | 0 | 0.0 | 78M| 122 | - | 223 |5456 | 0 | 0 | 0 |1059k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
894.00/894.03 c 876s| 1010k| 80682 | 0 | 0.0 | 82M| 122 | - | 223 |6330 | 0 | 0 | 0 |1063k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
896.90/896.95 c 879s| 1020k| 85133 | 0 | 0.0 | 86M| 122 | - | 223 |7716 | 0 | 0 | 0 |1068k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
900.40/900.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.40/900.40 c 882s| 1030k| 89006 | 0 | 0.0 | 91M| 122 | - | 223 |9004 | 0 | 0 | 0 |1074k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
904.30/904.35 c 886s| 1040k| 92491 | 0 | 0.0 | 95M| 122 | - | 223 | 10k| 0 | 0 | 0 |1080k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
909.00/909.04 c 890s| 1050k| 95159 | 0 | 0.0 | 99M| 122 | - | 223 | 11k| 0 | 0 | 0 |1086k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
914.11/914.12 c 895s| 1060k| 97469 | 0 | 0.0 | 103M| 122 | - | 223 | 11k| 0 | 0 | 0 |1094k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
919.60/919.65 c 901s| 1070k| 99379 | 0 | 0.0 | 107M| 122 | - | 223 | 12k| 0 | 0 | 0 |1101k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
926.10/926.10 c 907s| 1080k| 99987 | 0 | 0.0 | 110M| 122 | - | 223 | 14k| 0 | 0 | 0 |1111k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
934.40/934.48 c 915s| 1090k| 98528 | 0 | 0.0 | 112M| 122 | - | 223 | 16k| 0 | 0 | 0 |1121k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
941.00/941.04 c 921s| 1100k|100330 | 0 | 0.0 | 113M| 122 | - | 223 |9777 | 0 | 0 | 0 |1128k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
946.50/946.55 c 926s| 1110k|101845 | 0 | 0.0 | 116M| 122 | - | 223 |9593 | 0 | 0 | 0 |1135k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
952.10/952.19 c 932s| 1120k|103068 | 0 | 0.0 | 119M| 122 | - | 223 | 10k| 0 | 0 | 0 |1142k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
958.30/958.32 c 938s| 1130k|103757 | 0 | 0.0 | 122M| 122 | - | 223 | 12k| 0 | 0 | 0 |1149k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
965.70/965.79 c 945s| 1140k|103596 | 0 | 0.0 | 125M| 122 | - | 223 | 13k| 0 | 0 | 0 |1158k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
974.10/974.16 c 953s| 1150k|102963 | 0 | 0.0 | 127M| 122 | - | 223 | 14k| 0 | 0 | 0 |1166k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
983.80/983.87 c 962s| 1160k|101673 | 0 | 0.0 | 129M| 122 | - | 223 | 16k| 0 | 0 | 0 |1176k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
995.21/995.25 c 973s| 1170k| 99459 | 0 | 0.0 | 129M| 122 | - | 223 | 17k| 0 | 0 | 0 |1186k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1007.60/1007.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.60/1007.66 c 985s| 1180k| 96673 | 0 | 0.0 | 130M| 122 | - | 223 | 19k| 0 | 0 | 0 |1198k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1021.60/1021.64 c 999s| 1190k| 92705 | 0 | 0.0 | 128M| 122 | - | 223 | 21k| 0 | 0 | 0 |1210k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1035.11/1035.15 c 1012s| 1200k| 89975 | 0 | 0.0 | 123M| 122 | - | 223 | 14k| 0 | 0 | 0 |1220k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1047.51/1047.56 c 1024s| 1210k| 85687 | 0 | 0.0 | 122M| 122 | - | 223 | 14k| 0 | 0 | 0 |1230k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1061.90/1061.99 c 1038s| 1220k| 80030 | 0 | 0.0 | 118M| 122 | - | 223 | 18k| 0 | 0 | 0 |1242k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1082.10/1082.14 c 1058s| 1230k| 71167 | 0 | 0.0 | 110M| 122 | - | 223 | 23k| 0 | 0 | 0 |1256k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1094.80/1094.82 c 1071s| 1240k| 71101 | 0 | 0.0 | 102M| 122 | - | 223 | 13k| 0 | 0 | 0 |1264k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1101.50/1101.57 c 1077s| 1250k| 71772 | 0 | 0.0 | 101M| 122 | - | 223 | 11k| 0 | 0 | 0 |1274k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1110.10/1110.12 c 1085s| 1260k| 67979 | 0 | 0.0 | 90M| 122 | - | 223 |8538 | 0 | 0 | 0 |1284k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1112.21/1112.27 c 1087s| 1270k| 74735 | 0 | 0.0 | 94M| 122 | - | 223 |7656 | 0 | 0 | 0 |1288k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1114.80/1114.82 c 1090s| 1280k| 80781 | 0 | 0.0 | 99M| 122 | - | 223 |9807 | 0 | 0 | 0 |1293k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1118.41/1118.47 c 1093s| 1290k| 85517 | 0 | 0.0 | 103M| 122 | - | 223 | 12k| 0 | 0 | 0 |1300k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1123.40/1123.41 c 1098s| 1300k| 88914 | 0 | 0.0 | 108M| 122 | - | 223 | 15k| 0 | 0 | 0 |1308k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1131.01/1131.06 c 1105s| 1310k| 89743 | 0 | 0.0 | 108M| 122 | - | 223 | 12k| 0 | 0 | 0 |1318k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1133.61/1133.66 c 1108s| 1320k| 95844 | 0 | 0.0 | 109M| 122 | - | 223 |4504 | 0 | 0 | 0 |1322k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1137.11/1137.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.11/1137.19 c 1111s| 1330k| 98884 | 0 | 0.0 | 113M| 122 | - | 223 |6153 | 0 | 0 | 0 |1330k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1141.91/1141.96 c 1115s| 1340k|100057 | 0 | 0.0 | 115M| 122 | - | 223 |8965 | 0 | 0 | 0 |1339k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1145.40/1145.45 c 1119s| 1350k|104864 | 0 | 0.0 | 119M| 122 | - | 223 | 11k| 0 | 0 | 0 |1346k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1150.51/1150.50 c 1123s| 1360k|108672 | 0 | 0.0 | 123M| 122 | - | 223 | 14k| 0 | 0 | 0 |1354k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1157.10/1157.10 c 1130s| 1370k|111731 | 0 | 0.0 | 128M| 122 | - | 223 | 17k| 0 | 0 | 0 |1363k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1165.91/1165.94 c 1138s| 1380k|113673 | 0 | 0.0 | 132M| 122 | - | 223 | 20k| 0 | 0 | 0 |1372k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1176.30/1176.39 c 1149s| 1390k|114806 | 0 | 0.0 | 136M| 122 | - | 223 | 22k| 0 | 0 | 0 |1383k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1188.01/1188.09 c 1160s| 1400k|115315 | 0 | 0.0 | 139M| 122 | - | 223 | 25k| 0 | 0 | 0 |1395k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1201.11/1201.19 c 1173s| 1410k|114708 | 0 | 0.0 | 141M| 122 | - | 223 | 30k| 0 | 0 | 0 |1407k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1215.31/1215.30 c 1187s| 1420k|115100 | 0 | 0.0 | 137M| 122 | - | 223 | 12k| 0 | 0 | 0 |1417k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1221.21/1221.23 c 1192s| 1430k|117062 | 0 | 0.0 | 139M| 122 | - | 223 |8088 | 0 | 0 | 0 |1425k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1228.21/1228.29 c 1199s| 1440k|116480 | 0 | 0.0 | 141M| 122 | - | 223 | 10k| 0 | 0 | 0 |1436k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1235.91/1235.98 c 1206s| 1450k|115917 | 0 | 0.0 | 142M| 122 | - | 223 | 12k| 0 | 0 | 0 |1447k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1243.41/1243.43 c 1214s| 1460k|117570 | 0 | 0.0 | 146M| 122 | - | 223 | 16k| 0 | 0 | 0 |1458k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1255.81/1255.84 c 1226s| 1470k|116865 | 0 | 0.0 | 149M| 122 | - | 223 | 20k| 0 | 0 | 0 |1472k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1272.31/1272.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.31/1272.39 c 1242s| 1480k|115040 | 0 | 0.0 | 151M| 122 | - | 223 | 25k| 0 | 0 | 0 |1485k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1292.41/1292.42 c 1262s| 1490k|112392 | 0 | 0.0 | 153M| 122 | - | 223 | 29k| 0 | 0 | 0 |1500k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1316.51/1316.53 c 1285s| 1500k|108207 | 0 | 0.0 | 152M| 122 | - | 223 | 35k| 0 | 0 | 0 |1515k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1342.61/1342.67 c 1311s| 1510k|103111 | 0 | 0.0 | 149M| 122 | - | 223 | 42k| 0 | 0 | 0 |1531k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1364.61/1364.60 c 1333s| 1520k|100913 | 0 | 0.0 | 141M| 122 | - | 223 | 15k| 0 | 0 | 0 |1542k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1378.12/1378.15 c 1346s| 1530k| 98322 | 0 | 0.0 | 138M| 122 | - | 223 | 15k| 0 | 0 | 0 |1554k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1383.71/1383.75 c 1351s| 1540k|100972 | 0 | 0.0 | 139M| 122 | - | 223 |9897 | 0 | 0 | 0 |1563k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1398.72/1398.77 c 1366s| 1550k| 93768 | 0 | 0.0 | 135M| 122 | - | 223 | 19k| 0 | 0 | 0 |1582k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1423.11/1423.12 c 1390s| 1560k| 84717 | 0 | 0.0 | 122M| 122 | - | 223 | 20k| 0 | 0 | 0 |1600k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1431.01/1431.06 c 1398s| 1570k| 88896 | 0 | 0.0 | 122M| 122 | - | 223 | 15k| 0 | 0 | 0 |1607k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1437.11/1437.15 c 1404s| 1580k| 93125 | 0 | 0.0 | 125M| 122 | - | 223 | 17k| 0 | 0 | 0 |1616k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1446.41/1446.43 c 1413s| 1590k| 94000 | 0 | 0.0 | 127M| 122 | - | 223 | 15k| 0 | 0 | 0 |1627k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1454.52/1454.54 c 1421s| 1600k| 93834 | 0 | 0.0 | 123M| 122 | - | 223 | 14k| 0 | 0 | 0 |1639k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1462.61/1462.63 c 1429s| 1610k| 96218 | 0 | 0.0 | 128M| 122 | - | 223 | 17k| 0 | 0 | 0 |1650k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1474.02/1474.06 c 1440s| 1620k| 96861 | 0 | 0.0 | 132M| 122 | - | 223 | 22k| 0 | 0 | 0 |1664k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1487.82/1487.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.82/1487.87 c 1453s| 1630k| 96697 | 0 | 0.0 | 135M| 122 | - | 223 | 26k| 0 | 0 | 0 |1677k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1504.32/1504.38 c 1469s| 1640k| 94439 | 0 | 0.0 | 136M| 122 | - | 223 | 31k| 0 | 0 | 0 |1692k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1519.12/1519.18 c 1484s| 1650k| 94484 | 0 | 0.0 | 133M| 122 | - | 223 | 14k| 0 | 0 | 0 |1705k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1529.32/1529.39 c 1494s| 1660k| 94726 | 0 | 0.0 | 134M| 122 | - | 223 | 14k| 0 | 0 | 0 |1717k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1540.52/1540.53 c 1505s| 1670k| 94096 | 0 | 0.0 | 134M| 122 | - | 223 | 16k| 0 | 0 | 0 |1729k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1552.92/1552.96 c 1517s| 1680k| 92660 | 0 | 0.0 | 133M| 122 | - | 223 | 18k| 0 | 0 | 0 |1742k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1565.52/1565.53 c 1529s| 1690k| 91027 | 0 | 0.0 | 132M| 122 | - | 223 | 21k| 0 | 0 | 0 |1755k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1583.52/1583.55 c 1547s| 1700k| 89086 | 0 | 0.0 | 134M| 122 | - | 223 | 24k| 0 | 0 | 0 |1771k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1607.32/1607.36 c 1570s| 1710k| 85032 | 0 | 0.0 | 134M| 122 | - | 223 | 32k| 0 | 0 | 0 |1789k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1638.22/1638.26 c 1601s| 1720k| 78398 | 0 | 0.0 | 125M| 122 | - | 223 | 31k| 0 | 0 | 0 |1807k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1661.92/1661.98 c 1624s| 1730k| 74904 | 0 | 0.0 | 120M| 122 | - | 223 | 21k| 0 | 0 | 0 |1823k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1681.62/1681.66 c 1644s| 1740k| 71114 | 0 | 0.0 | 117M| 122 | - | 223 | 23k| 0 | 0 | 0 |1839k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1700.62/1700.61 c 1662s| 1750k| 66861 | 0 | 0.0 | 113M| 122 | - | 223 | 26k| 0 | 0 | 0 |1854k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1718.02/1718.04 c 1680s| 1760k| 61061 | 0 | 0.0 | 98M| 122 | - | 223 | 20k| 0 | 0 | 0 |1871k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1734.73/1734.73 c 1696s| 1770k| 56164 | 0 | 0.0 | 90M| 122 | - | 223 | 16k| 0 | 0 | 0 |1886k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1738.22/1738.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.22/1738.24 c 1699s| 1780k| 61939 | 0 | 0.0 | 91M| 122 | - | 223 |9565 | 0 | 0 | 0 |1892k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1743.12/1743.17 c 1704s| 1790k| 63650 | 0 | 0.0 | 89M| 122 | - | 223 |7190 | 0 | 0 | 0 |1901k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1745.22/1745.27 c 1706s| 1800k| 70473 | 0 | 0.0 | 93M| 122 | - | 223 |8103 | 0 | 0 | 0 |1906k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1747.72/1747.77 c 1708s| 1810k| 76573 | 0 | 0.0 | 98M| 122 | - | 223 |9851 | 0 | 0 | 0 |1913k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1751.02/1751.07 c 1711s| 1820k| 81541 | 0 | 0.0 | 102M| 122 | - | 223 | 11k| 0 | 0 | 0 |1920k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1755.52/1755.60 c 1715s| 1830k| 85239 | 0 | 0.0 | 107M| 122 | - | 223 | 13k| 0 | 0 | 0 |1928k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1762.92/1762.91 c 1722s| 1840k| 85281 | 0 | 0.0 | 109M| 122 | - | 223 | 13k| 0 | 0 | 0 |1939k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1766.92/1766.93 c 1726s| 1850k| 90731 | 0 | 0.0 | 112M| 122 | - | 223 | 11k| 0 | 0 | 0 |1945k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1770.93/1770.96 c 1729s| 1860k| 95887 | 0 | 0.0 | 116M| 122 | - | 223 | 13k| 0 | 0 | 0 |1951k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1776.53/1776.52 c 1735s| 1870k| 99726 | 0 | 0.0 | 120M| 122 | - | 223 | 15k| 0 | 0 | 0 |1959k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1783.23/1783.22 c 1741s| 1880k|102866 | 0 | 0.0 | 125M| 122 | - | 223 | 17k| 0 | 0 | 0 |1968k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1791.33/1791.37 c 1749s| 1890k|104982 | 0 | 0.0 | 129M| 122 | - | 223 | 19k| 0 | 0 | 0 |1978k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
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) : 1757.10
1800.03/1800.00 c Solving Nodes : 1899425
1800.03/1800.00 c Primal Bound : +8.10000000000000e+01 (2 solutions)
1800.03/1800.00 c Dual Bound : +2.40000000000000e+01
1800.03/1800.00 c Gap : 237.50 %
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 : 1757.10
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693927-1277897663.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-2693927-1277897663.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, 43281 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 5328429 0 1112490 644 272448 0 0 0
1800.03/1800.00 c setppc : 49 0 5852651 0 1212228 179437 12219573 0 0 0
1800.03/1800.00 c linear : 27 0 5673214 0 1212227 423969 20612751 0 0 0
1800.03/1800.00 c logicor : 9+ 0 3175454 0 1212166 376234 1936283 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 585296 0 0 43 7354 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1212229 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.80 0.00 1.10 0.00 0.70
1800.03/1800.00 c setppc : 37.01 0.00 30.61 0.00 6.40
1800.03/1800.00 c linear : 90.26 0.00 89.75 0.00 0.51
1800.03/1800.00 c logicor : 826.57 0.00 825.58 0.00 0.99
1800.03/1800.00 c bounddisjunction : 11.00 0.00 11.00 0.00 0.00
1800.03/1800.00 c countsols : 0.11 0.00 0.00 0.00 0.11
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.59 2 0 0
1800.03/1800.00 c rootredcost : 0.47 0 0 0
1800.03/1800.00 c pseudoobj : 6.21 5853334 238 178652
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 43.71 979921 979834 5057226 21.6 227785 14.7 -
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 17 17 46 8.0 4 15.2 -
1800.03/1800.00 c applied globally : - - - 1972814 16.5 - - -
1800.03/1800.00 c applied locally : - - - 16121 35.3 - - -
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 : 8.76 1212227 0 0 0 0 2424454
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 - 2
1800.03/1800.00 c oneopt : 0.36 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.18 0 0
1800.03/1800.00 c trysol : 0.22 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 : 1899425
1800.03/1800.00 c nodes (total) : 1899425
1800.03/1800.00 c nodes left : 106269
1800.03/1800.00 c max depth : 122
1800.03/1800.00 c max depth (total): 122
1800.03/1800.00 c backtracks : 705998 (37.2%)
1800.03/1800.00 c delayed cutoffs : 418660
1800.03/1800.00 c repropagations : 2154912 (9162337 domain reductions, 293386 cutoffs)
1800.03/1800.00 c avg switch length: 19.03
1800.03/1800.00 c switching time : 582.26
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 2 (2 improvements)
1800.03/1800.00 c First Solution : +8.70000000000000e+01 (in run 1, after 14394 nodes, 1.79 seconds, depth 88, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 15695 nodes, 1.89 seconds, depth 67, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +2.40000000000000e+01
1800.03/1800.00 c Gap : 237.50 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.32/1800.30 c Time complete: 1800.32.