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-2693582-1277911878.wbo>
0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 0 impl, 1848 cont) and 4556 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.08/0.09 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.10 c (round 3) 46 del vars, 159 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.11 c (round 4) 124 del vars, 193 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.12 c (round 5) 158 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.13 c (round 6) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.18 c (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 160 deleted vars, 195 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.18 c 1972 implications, 8 cliques
0.09/0.18 c presolved problem has 3767 variables (1999 bin, 0 int, 0 impl, 1768 cont) and 4361 constraints
0.09/0.18 c 1768 constraints of type <indicator>
0.09/0.18 c 8 constraints of type <setppc>
0.09/0.18 c 1768 constraints of type <linear>
0.09/0.18 c 817 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3767 |4361 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.56 o 618
1.49/1.56 c * 1.5s| 5143 | 4679 | 0 | 0.0 | 16M|1909 | - |3767 |5009 | 0 | 0 | 0 | 917 | 0 | 0.000000e+00 | 6.180000e+02 | Inf
2.79/2.83 c 2.7s| 10000 | 9177 | 0 | 0.0 | 19M|1909 | - |3767 |5296 | 0 | 0 | 0 |1923 | 0 | 0.000000e+00 | 6.180000e+02 | Inf
6.09/6.19 c 6.0s| 20000 | 16885 | 0 | 0.0 | 29M|1909 | - |3767 |6540 | 0 | 0 | 0 |7862 | 0 | 0.000000e+00 | 6.180000e+02 | Inf
10.69/10.76 c 10.4s| 30000 | 23857 | 0 | 0.0 | 37M|1909 | - |3767 |7287 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.180000e+02 | Inf
14.08/14.14 c 13.7s| 40000 | 33853 | 0 | 0.0 | 41M|1909 | - |3767 |5749 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.180000e+02 | Inf
16.99/17.04 o 298
16.99/17.04 c *16.6s| 48937 | 36476 | 0 | 0.0 | 43M|1909 | - |3767 |5250 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.980000e+02 | Inf
17.29/17.30 o 279
17.29/17.30 c *16.8s| 49592 | 35380 | 0 | 0.0 | 43M|1909 | - |3767 |5280 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.790000e+02 | Inf
17.29/17.30 o 276
17.29/17.30 c *16.8s| 49593 | 35104 | 0 | 0.0 | 43M|1909 | - |3767 |5279 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.760000e+02 | Inf
17.39/17.43 o 228
17.39/17.43 c *17.0s| 49942 | 31462 | 0 | 0.0 | 41M|1909 | - |3767 |5282 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
17.39/17.45 c 17.0s| 50000 | 31520 | 0 | 0.0 | 41M|1909 | - |3767 |5250 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
18.09/18.12 o 198
18.09/18.12 c *17.6s| 52125 | 31735 | 0 | 0.0 | 42M|1909 | - |3767 |5347 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
18.09/18.12 o 188
18.09/18.12 c *17.6s| 52126 | 31376 | 0 | 0.0 | 41M|1909 | - |3767 |5347 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
19.39/19.41 o 99
19.39/19.41 c *18.9s| 56075 | 32612 | 0 | 0.0 | 42M|1909 | - |3767 |5724 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
19.49/19.50 o 98
19.49/19.50 c *19.0s| 56347 | 32836 | 0 | 0.0 | 43M|1909 | - |3767 |5739 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
19.49/19.50 o 89
19.49/19.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.49/19.50 c *19.0s| 56348 | 32592 | 0 | 0.0 | 43M|1909 | - |3767 |5739 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
20.59/20.69 o 85
20.59/20.69 c *20.1s| 59925 | 35291 | 0 | 0.0 | 46M|1909 | - |3767 |5964 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
20.59/20.69 o 74
20.59/20.69 c *20.1s| 59934 | 34864 | 0 | 0.0 | 46M|1909 | - |3767 |5964 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
20.69/20.72 c 20.2s| 60000 | 34928 | 0 | 0.0 | 46M|1909 | - |3767 |5948 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
20.69/20.77 o 65
20.69/20.77 c *20.2s| 60127 | 34458 | 0 | 0.0 | 46M|1909 | - |3767 |5910 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
20.80/20.84 o 52
20.80/20.84 c *20.3s| 60315 | 32533 | 0 | 0.0 | 45M|1909 | - |3767 |5825 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
20.80/20.86 o 42
20.80/20.86 c *20.3s| 60372 | 32121 | 0 | 0.0 | 45M|1909 | - |3767 |5796 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
20.80/20.86 o 31
20.80/20.86 c *20.3s| 60373 | 31720 | 0 | 0.0 | 44M|1909 | - |3767 |5796 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
23.79/23.80 c 23.1s| 70000 | 39545 | 0 | 0.0 | 53M|1909 | - |3767 |7238 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
26.98/27.00 c 26.3s| 80000 | 47508 | 0 | 0.0 | 61M|1909 | - |3767 |8027 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
30.49/30.55 c 29.7s| 90000 | 55133 | 0 | 0.0 | 70M|1909 | - |3767 |8906 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
34.69/34.75 c 33.8s|100000 | 62069 | 0 | 0.0 | 79M|1909 | - |3767 |9555 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
39.29/39.38 c 38.4s|110000 | 68545 | 0 | 0.0 | 88M|1909 | - |3767 | 10k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
44.59/44.61 c 43.5s|120000 | 74501 | 0 | 0.0 | 98M|1909 | - |3767 | 11k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
50.59/50.67 c 49.5s|130000 | 79743 | 0 | 0.0 | 108M|1909 | - |3767 | 12k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
57.10/57.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.10/57.16 c 55.9s|140000 | 84653 | 0 | 0.0 | 118M|1909 | - |3767 | 11k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
64.29/64.32 c 62.9s|150000 | 88923 | 0 | 0.0 | 129M|1909 | - |3767 | 12k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
72.89/72.97 c 71.4s|160000 | 91772 | 0 | 0.0 | 140M|1909 | - |3767 | 15k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
83.20/83.23 c 81.5s|170000 | 94251 | 0 | 0.0 | 149M|1909 | - |3767 |8554 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
84.09/84.10 o 30
84.09/84.10 c *82.4s|172091 | 96056 | 0 | 0.0 | 150M|1909 | - |3767 |6545 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
86.59/86.69 o 27
86.59/86.69 c *84.9s|177799 |100642 | 0 | 0.0 | 157M|1909 | - |3767 |7183 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
87.80/87.83 c 86.0s|180000 |102376 | 0 | 0.0 | 160M|1909 | - |3767 |7310 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
95.29/95.35 c 93.4s|190000 |108154 | 0 | 0.0 | 175M|1909 | - |3767 | 10k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
100.19/100.23 c 98.2s|200000 |115842 | 0 | 0.0 | 188M|1909 | - |3767 |7948 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
103.40/103.45 o 26
103.40/103.45 c * 101s|206083 |120192 | 0 | 0.0 | 194M|1909 | - |3767 |9300 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
106.29/106.37 c 104s|210000 |122461 | 0 | 0.0 | 200M|1909 | - |3767 |9869 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
112.99/113.01 c 111s|220000 |129320 | 0 | 0.0 | 215M|1909 | - |3767 |8512 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
117.99/118.03 c 116s|230000 |137243 | 0 | 0.0 | 228M|1909 | - |3767 |7884 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
123.59/123.69 c 121s|240000 |144708 | 0 | 0.0 | 239M|1909 | - |3767 |9630 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
130.38/130.43 o 24
130.38/130.43 c * 128s|248275 |149343 | 0 | 0.0 | 250M|1909 | - |3767 | 11k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
132.89/132.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.89/132.92 c 130s|250000 |149687 | 0 | 0.0 | 253M|1909 | - |3767 | 12k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
138.48/138.57 c 136s|260000 |156809 | 0 | 0.0 | 270M|1909 | - |3767 |7465 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
142.78/142.87 c 140s|270000 |164263 | 0 | 0.0 | 279M|1909 | - |3767 |6952 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
146.38/146.46 c 143s|280000 |172482 | 0 | 0.0 | 287M|1909 | - |3767 |7413 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
150.48/150.52 c 147s|290000 |180070 | 0 | 0.0 | 295M|1909 | - |3767 |8466 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
154.88/154.99 c 152s|300000 |187218 | 0 | 0.0 | 303M|1909 | - |3767 |7345 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
159.38/159.46 c 156s|310000 |194383 | 0 | 0.0 | 312M|1909 | - |3767 |7562 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
162.98/163.04 c 160s|320000 |202547 | 0 | 0.0 | 320M|1909 | - |3767 |7696 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
167.28/167.36 c 164s|330000 |209714 | 0 | 0.0 | 329M|1909 | - |3767 |8835 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
171.08/171.16 c 167s|340000 |217608 | 0 | 0.0 | 336M|1909 | - |3767 |8163 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
175.18/175.26 c 171s|350000 |225414 | 0 | 0.0 | 344M|1909 | - |3767 |5686 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
178.57/178.62 c 175s|360000 |233931 | 0 | 0.0 | 352M|1909 | - |3767 |6136 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
182.28/182.30 c 178s|370000 |241878 | 0 | 0.0 | 360M|1909 | - |3767 |6369 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
187.18/187.20 c 183s|380000 |248456 | 0 | 0.0 | 370M|1909 | - |3767 |7316 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
192.18/192.21 c 188s|390000 |254934 | 0 | 0.0 | 379M|1909 | - |3767 |7976 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
197.17/197.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.17/197.29 c 193s|400000 |261263 | 0 | 0.0 | 388M|1909 | - |3767 |8521 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
202.68/202.74 c 198s|410000 |267366 | 0 | 0.0 | 398M|1909 | - |3767 |8433 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
208.18/208.28 c 204s|420000 |273280 | 0 | 0.0 | 407M|1909 | - |3767 |8732 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
213.98/214.05 c 209s|430000 |278981 | 0 | 0.0 | 416M|1909 | - |3767 |8731 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
219.88/219.97 c 215s|440000 |284549 | 0 | 0.0 | 425M|1909 | - |3767 |9188 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
226.08/226.17 c 221s|450000 |289845 | 0 | 0.0 | 434M|1909 | - |3767 |9916 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
232.48/232.55 c 228s|460000 |294951 | 0 | 0.0 | 443M|1909 | - |3767 |9965 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
239.28/239.37 c 234s|470000 |299648 | 0 | 0.0 | 451M|1909 | - |3767 |9842 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
246.39/246.46 c 241s|480000 |304129 | 0 | 0.0 | 460M|1909 | - |3767 |9773 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
253.18/253.21 c 248s|490000 |308832 | 0 | 0.0 | 469M|1909 | - |3767 | 10k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
260.38/260.48 c 255s|500000 |313076 | 0 | 0.0 | 478M|1909 | - |3767 | 10k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
268.07/268.15 c 263s|510000 |317001 | 0 | 0.0 | 486M|1909 | - |3767 |9953 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
275.57/275.62 c 270s|520000 |321092 | 0 | 0.0 | 496M|1909 | - |3767 | 11k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
283.58/283.67 c 278s|530000 |324632 | 0 | 0.0 | 504M|1909 | - |3767 | 11k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
291.98/292.02 c 286s|540000 |328109 | 0 | 0.0 | 512M|1909 | - |3767 | 10k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
300.38/300.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.38/300.47 c 294s|550000 |331376 | 0 | 0.0 | 521M|1909 | - |3767 | 12k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
309.09/309.14 c 303s|560000 |334425 | 0 | 0.0 | 529M|1909 | - |3767 | 11k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
318.08/318.16 c 312s|570000 |337291 | 0 | 0.0 | 536M|1909 | - |3767 | 11k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
326.88/326.98 c 320s|580000 |340443 | 0 | 0.0 | 545M|1909 | - |3767 | 11k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
336.07/336.19 c 330s|590000 |342926 | 0 | 0.0 | 553M|1909 | - |3767 | 13k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
345.88/345.92 c 339s|600000 |345139 | 0 | 0.0 | 560M|1909 | - |3767 | 13k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
355.28/355.37 c 348s|610000 |347575 | 0 | 0.0 | 567M|1909 | - |3767 | 12k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
365.08/365.11 c 358s|620000 |349794 | 0 | 0.0 | 575M|1909 | - |3767 | 13k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
374.98/375.01 c 368s|630000 |351941 | 0 | 0.0 | 582M|1909 | - |3767 | 13k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
386.67/386.77 c 379s|640000 |351420 | 0 | 0.0 | 587M|1909 | - |3767 | 13k| 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
399.98/400.01 c 393s|650000 |348529 | 0 | 0.0 | 589M|1909 | - |3767 | 16k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
414.98/415.00 c 407s|660000 |343242 | 0 | 0.0 | 574M|1909 | - |3767 |7042 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
419.08/419.12 c 411s|670000 |351419 | 0 | 0.0 | 583M|1909 | - |3767 |4968 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
423.07/423.19 c 415s|680000 |359528 | 0 | 0.0 | 591M|1909 | - |3767 |5221 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
427.48/427.50 c 420s|690000 |367352 | 0 | 0.0 | 601M|1909 | - |3767 |5912 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
431.98/432.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.98/432.03 c 424s|700000 |375027 | 0 | 0.0 | 611M|1909 | - |3767 |6601 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
436.58/436.69 c 429s|710000 |382501 | 0 | 0.0 | 621M|1909 | - |3767 |7127 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
441.58/441.65 c 433s|720000 |389778 | 0 | 0.0 | 631M|1909 | - |3767 |7740 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
446.67/446.70 c 438s|730000 |396985 | 0 | 0.0 | 641M|1909 | - |3767 |8255 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
452.08/452.10 c 444s|740000 |403897 | 0 | 0.0 | 652M|1909 | - |3767 |8706 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
453.88/453.91 o 20
453.88/453.91 c * 445s|742926 |404062 | 0 | 0.0 | 641M|1909 | - |3767 |8888 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
453.88/453.92 o 19
453.88/453.92 c * 445s|742927 |403922 | 0 | 0.0 | 640M|1909 | - |3767 |8888 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
459.48/459.56 c 451s|750000 |407723 | 0 | 0.0 | 653M|1909 | - |3767 |9727 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
467.87/467.99 c 459s|760000 |412293 | 0 | 0.0 | 667M|1909 | - |3767 | 11k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
477.57/477.65 c 469s|770000 |416108 | 0 | 0.0 | 680M|1909 | - |3767 | 12k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
488.28/488.36 c 479s|780000 |419166 | 0 | 0.0 | 692M|1909 | - |3767 | 13k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
499.67/499.71 c 490s|790000 |421950 | 0 | 0.0 | 706M|1909 | - |3767 | 14k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
506.27/506.37 c 497s|800000 |428382 | 0 | 0.0 | 715M|1909 | - |3767 |7283 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
510.37/510.48 c 501s|810000 |436322 | 0 | 0.0 | 724M|1909 | - |3767 |8099 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
514.78/514.89 c 505s|820000 |443973 | 0 | 0.0 | 733M|1909 | - |3767 |8812 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
519.67/519.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.67/519.73 c 510s|830000 |451290 | 0 | 0.0 | 742M|1909 | - |3767 |9371 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
524.97/525.05 c 515s|840000 |458180 | 0 | 0.0 | 752M|1909 | - |3767 | 10k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
530.67/530.72 c 521s|850000 |464765 | 0 | 0.0 | 762M|1909 | - |3767 | 10k| 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
536.78/536.81 c 527s|860000 |471025 | 0 | 0.0 | 773M|1909 | - |3767 | 11k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
543.07/543.16 c 533s|870000 |477072 | 0 | 0.0 | 784M|1909 | - |3767 | 12k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
550.17/550.22 c 540s|880000 |482622 | 0 | 0.0 | 795M|1909 | - |3767 | 13k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
558.17/558.26 c 548s|890000 |487406 | 0 | 0.0 | 806M|1909 | - |3767 | 14k| 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
567.27/567.37 c 557s|900000 |491527 | 0 | 0.0 | 818M|1909 | - |3767 | 15k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
578.17/578.24 c 567s|910000 |494424 | 0 | 0.0 | 830M|1909 | - |3767 | 16k| 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
589.17/589.25 c 578s|920000 |497710 | 0 | 0.0 | 840M|1909 | - |3767 | 12k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
593.57/593.67 c 583s|930000 |505608 | 0 | 0.0 | 847M|1909 | - |3767 |8742 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
597.97/598.08 c 587s|940000 |513380 | 0 | 0.0 | 856M|1909 | - |3767 |9545 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
602.46/602.59 c 591s|950000 |521048 | 0 | 0.0 | 865M|1909 | - |3767 |9687 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
607.17/607.26 c 596s|960000 |528524 | 0 | 0.0 | 873M|1909 | - |3767 |9866 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
611.86/611.97 c 600s|970000 |535993 | 0 | 0.0 | 882M|1909 | - |3767 |9738 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
616.66/616.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.66/616.76 c 605s|980000 |543366 | 0 | 0.0 | 891M|1909 | - |3767 |9804 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
621.37/621.45 o 17
621.37/621.45 c * 610s|989646 |548101 | 0 | 0.0 | 882M|1909 | - |3767 |9838 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
621.57/621.63 c 610s|990000 |548365 | 0 | 0.0 | 882M|1909 | - |3767 |9855 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
627.07/627.16 c 615s| 1000k|555449 | 0 | 0.0 | 893M|1909 | - |3767 | 10k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
632.17/632.27 c 620s| 1010k|562639 | 0 | 0.0 | 903M|1909 | - |3767 |9918 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
637.66/637.76 c 626s| 1020k|569327 | 0 | 0.0 | 912M|1909 | - |3767 | 10k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
643.67/643.79 c 631s| 1030k|575605 | 0 | 0.0 | 922M|1909 | - |3767 | 10k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
650.27/650.35 c 638s| 1040k|581563 | 0 | 0.0 | 933M|1909 | - |3767 | 11k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
656.47/656.52 c 644s| 1050k|587911 | 0 | 0.0 | 943M|1909 | - |3767 | 11k| 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
663.07/663.17 c 650s| 1060k|593784 | 0 | 0.0 | 954M|1909 | - |3767 | 11k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
669.97/670.03 c 657s| 1070k|599520 | 0 | 0.0 | 965M|1909 | - |3767 | 11k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
677.07/677.14 c 664s| 1080k|604999 | 0 | 0.0 | 975M|1909 | - |3767 | 12k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
684.26/684.37 c 671s| 1090k|610457 | 0 | 0.0 | 986M|1909 | - |3767 | 12k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
692.47/692.54 c 679s| 1100k|615252 | 0 | 0.0 | 997M|1909 | - |3767 | 13k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
701.26/701.31 c 688s| 1110k|619608 | 0 | 0.0 |1009M|1909 | - |3767 | 14k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
710.96/711.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.96/711.01 c 698s| 1120k|623414 | 0 | 0.0 |1019M|1909 | - |3767 | 15k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
721.16/721.23 c 708s| 1130k|627066 | 0 | 0.0 |1031M|1909 | - |3767 | 16k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
733.07/733.12 c 719s| 1140k|629612 | 0 | 0.0 |1042M|1909 | - |3767 | 17k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
739.76/739.82 c 726s| 1150k|636182 | 0 | 0.0 |1050M|1909 | - |3767 | 10k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
744.36/744.44 c 730s| 1160k|643794 | 0 | 0.0 |1060M|1909 | - |3767 | 11k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
749.17/749.26 c 735s| 1170k|651139 | 0 | 0.0 |1070M|1909 | - |3767 | 12k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
754.17/754.29 c 740s| 1180k|658291 | 0 | 0.0 |1080M|1909 | - |3767 | 12k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
759.37/759.48 c 745s| 1190k|665345 | 0 | 0.0 |1091M|1909 | - |3767 | 13k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
765.06/765.13 c 751s| 1200k|671985 | 0 | 0.0 |1101M|1909 | - |3767 | 14k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
771.56/771.63 c 757s| 1210k|678057 | 0 | 0.0 |1113M|1909 | - |3767 | 15k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
780.06/780.11 c 765s| 1220k|682819 | 0 | 0.0 |1123M|1909 | - |3767 | 11k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
788.76/788.87 c 774s| 1230k|686285 | 0 | 0.0 |1134M|1909 | - |3767 | 14k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
798.06/798.16 c 783s| 1240k|689631 | 0 | 0.0 |1141M|1909 | - |3767 | 11k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
802.46/802.54 c 787s| 1250k|697269 | 0 | 0.0 |1149M|1909 | - |3767 | 10k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
806.66/806.74 c 791s| 1260k|704991 | 0 | 0.0 |1158M|1909 | - |3767 | 10k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
811.16/811.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.16/811.24 c 796s| 1270k|712442 | 0 | 0.0 |1166M|1909 | - |3767 | 10k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
815.96/816.02 c 800s| 1280k|719630 | 0 | 0.0 |1175M|1909 | - |3767 | 11k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
820.86/820.95 c 805s| 1290k|726685 | 0 | 0.0 |1184M|1909 | - |3767 | 11k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
826.07/826.17 c 810s| 1300k|733456 | 0 | 0.0 |1193M|1909 | - |3767 | 11k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
831.36/831.42 c 815s| 1310k|740205 | 0 | 0.0 |1202M|1909 | - |3767 | 12k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
836.86/836.96 c 821s| 1320k|746664 | 0 | 0.0 |1211M|1909 | - |3767 | 12k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
842.76/842.89 c 827s| 1330k|752792 | 0 | 0.0 |1219M|1909 | - |3767 | 12k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
848.86/848.95 c 833s| 1340k|758841 | 0 | 0.0 |1229M|1909 | - |3767 | 12k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
855.26/855.31 c 839s| 1350k|764690 | 0 | 0.0 |1238M|1909 | - |3767 | 13k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
862.16/862.22 c 846s| 1360k|770020 | 0 | 0.0 |1247M|1909 | - |3767 | 14k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
869.46/869.52 c 853s| 1370k|775056 | 0 | 0.0 |1256M|1909 | - |3767 | 14k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
869.86/869.96 o 15
869.86/869.96 c * 853s| 1370k|770156 | 0 | 0.0 |1229M|1909 | - |3767 | 14k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
878.16/878.25 c 861s| 1380k|774410 | 0 | 0.0 |1239M|1909 | - |3767 | 14k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
886.57/886.66 c 870s| 1390k|778669 | 0 | 0.0 |1247M|1909 | - |3767 | 15k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
896.06/896.18 c 879s| 1400k|781949 | 0 | 0.0 |1256M|1909 | - |3767 | 16k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
906.86/906.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.86/906.93 c 890s| 1410k|784427 | 0 | 0.0 |1265M|1909 | - |3767 | 18k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
914.66/914.74 c 897s| 1420k|789630 | 0 | 0.0 |1269M|1909 | - |3767 | 11k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
919.16/919.27 c 902s| 1430k|797082 | 0 | 0.0 |1278M|1909 | - |3767 | 11k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
924.16/924.25 c 907s| 1440k|804102 | 0 | 0.0 |1287M|1909 | - |3767 | 12k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
929.66/929.71 c 912s| 1450k|810702 | 0 | 0.0 |1296M|1909 | - |3767 | 12k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
935.96/936.02 c 918s| 1460k|816590 | 0 | 0.0 |1305M|1909 | - |3767 | 13k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
943.26/943.30 c 925s| 1470k|821721 | 0 | 0.0 |1314M|1909 | - |3767 | 14k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
952.36/952.43 c 934s| 1480k|825412 | 0 | 0.0 |1323M|1909 | - |3767 | 15k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
962.55/962.69 c 944s| 1490k|828508 | 0 | 0.0 |1329M|1909 | - |3767 | 12k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
966.86/966.97 c 948s| 1500k|836261 | 0 | 0.0 |1337M|1909 | - |3767 | 11k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
971.46/971.51 c 953s| 1510k|843708 | 0 | 0.0 |1345M|1909 | - |3767 | 11k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
976.26/976.31 c 958s| 1520k|850841 | 0 | 0.0 |1353M|1909 | - |3767 | 11k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
981.35/981.46 c 963s| 1530k|857649 | 0 | 0.0 |1362M|1909 | - |3767 | 12k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
986.86/986.95 c 968s| 1540k|864501 | 0 | 0.0 |1370M|1909 | - |3767 | 11k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
992.07/992.18 c 973s| 1550k|871155 | 0 | 0.0 |1378M|1909 | - |3767 | 11k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
997.86/997.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.86/997.99 c 979s| 1560k|877327 | 0 | 0.0 |1386M|1909 | - |3767 | 11k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1003.65/1003.78 c 984s| 1570k|883442 | 0 | 0.0 |1395M|1909 | - |3767 | 11k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1009.56/1009.69 c 990s| 1580k|889430 | 0 | 0.0 |1403M|1909 | - |3767 | 12k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1015.86/1015.93 c 996s| 1590k|895228 | 0 | 0.0 |1411M|1909 | - |3767 | 12k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1021.96/1022.07 c 1002s| 1600k|901145 | 0 | 0.0 |1419M|1909 | - |3767 | 12k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1028.46/1028.53 c 1009s| 1610k|906704 | 0 | 0.0 |1427M|1909 | - |3767 | 12k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1034.86/1034.91 c 1015s| 1620k|912433 | 0 | 0.0 |1435M|1909 | - |3767 | 12k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1041.06/1041.15 c 1021s| 1630k|918167 | 0 | 0.0 |1443M|1909 | - |3767 | 12k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1047.66/1047.74 c 1028s| 1640k|923595 | 0 | 0.0 |1451M|1909 | - |3767 | 13k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1056.46/1056.52 c 1036s| 1650k|927208 | 0 | 0.0 |1458M|1909 | - |3767 | 15k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1062.26/1062.30 c 1042s| 1660k|933817 | 0 | 0.0 |1465M|1909 | - |3767 | 11k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1066.56/1066.65 c 1046s| 1670k|941450 | 0 | 0.0 |1473M|1909 | - |3767 | 11k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1071.36/1071.45 c 1051s| 1680k|948643 | 0 | 0.0 |1481M|1909 | - |3767 | 11k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1076.46/1076.56 c 1056s| 1690k|955517 | 0 | 0.0 |1490M|1909 | - |3767 | 12k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1081.76/1081.89 c 1061s| 1700k|962145 | 0 | 0.0 |1499M|1909 | - |3767 | 12k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1088.06/1088.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.06/1088.12 c 1067s| 1710k|968008 | 0 | 0.0 |1507M|1909 | - |3767 | 13k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1094.86/1094.97 c 1074s| 1720k|973304 | 0 | 0.0 |1516M|1909 | - |3767 | 13k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1102.76/1102.83 c 1082s| 1730k|977717 | 0 | 0.0 |1525M|1909 | - |3767 | 14k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1112.86/1112.96 c 1092s| 1740k|980547 | 0 | 0.0 |1531M|1909 | - |3767 | 12k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1116.96/1117.03 c 1095s| 1750k|988386 | 0 | 0.0 |1537M|1909 | - |3767 |6749 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1121.77/1121.87 c 1100s| 1760k|995265 | 0 | 0.0 |1545M|1909 | - |3767 |6072 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1126.37/1126.43 c 1105s| 1770k| 1002k| 0 | 0.0 |1554M|1909 | - |3767 |7526 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1130.16/1130.24 c 1108s| 1780k| 1010k| 0 | 0.0 |1562M|1909 | - |3767 |7008 | 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1134.36/1134.49 c 1112s| 1790k| 1017k| 0 | 0.0 |1570M|1909 | - |3767 |6535 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1138.66/1138.76 c 1117s| 1800k| 1024k| 0 | 0.0 |1579M|1909 | - |3767 |7059 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1142.87/1142.94 c 1121s| 1810k| 1031k| 0 | 0.0 |1587M|1909 | - |3767 |7771 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1146.96/1147.01 c 1125s| 1820k| 1039k| 0 | 0.0 |1594M|1909 | - |3767 |7021 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1151.36/1151.49 c 1129s| 1830k| 1046k| 0 | 0.0 |1602M|1909 | - |3767 |7052 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1152.06/1152.15 o 14
1152.06/1152.15 c *1130s| 1831k| 1046k| 0 | 0.0 |1598M|1909 | - |3767 |7010 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1155.97/1156.01 c 1133s| 1840k| 1052k| 0 | 0.0 |1605M|1909 | - |3767 |8804 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1160.06/1160.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.06/1160.16 c 1138s| 1850k| 1059k| 0 | 0.0 |1612M|1909 | - |3767 |6962 | 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1163.97/1164.08 c 1141s| 1860k| 1067k| 0 | 0.0 |1620M|1909 | - |3767 |7650 | 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1168.97/1169.07 c 1146s| 1870k| 1074k| 0 | 0.0 |1629M|1909 | - |3767 |8493 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1173.57/1173.69 c 1151s| 1880k| 1081k| 0 | 0.0 |1636M|1909 | - |3767 |8007 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1178.46/1178.59 c 1155s| 1890k| 1087k| 0 | 0.0 |1644M|1909 | - |3767 |8515 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1182.26/1182.39 c 1159s| 1900k| 1095k| 0 | 0.0 |1652M|1909 | - |3767 |8174 | 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1186.97/1187.03 c 1164s| 1910k| 1102k| 0 | 0.0 |1659M|1909 | - |3767 |7413 | 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1190.67/1190.70 c 1167s| 1920k| 1110k| 0 | 0.0 |1667M|1909 | - |3767 |7889 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1195.36/1195.45 c 1172s| 1930k| 1117k| 0 | 0.0 |1676M|1909 | - |3767 |9537 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1200.07/1200.16 c 1176s| 1940k| 1124k| 0 | 0.0 |1683M|1909 | - |3767 |7876 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1203.76/1203.83 c 1180s| 1950k| 1132k| 0 | 0.0 |1690M|1909 | - |3767 |9264 | 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1208.06/1208.13 c 1184s| 1960k| 1139k| 0 | 0.0 |1697M|1909 | - |3767 |8465 | 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1212.87/1212.96 c 1189s| 1970k| 1146k| 0 | 0.0 |1706M|1909 | - |3767 |8418 | 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1217.46/1217.52 c 1193s| 1980k| 1153k| 0 | 0.0 |1714M|1909 | - |3767 |8846 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1222.36/1222.44 c 1198s| 1990k| 1159k| 0 | 0.0 |1723M|1909 | - |3767 | 10k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1226.57/1226.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.57/1226.60 c 1202s| 2000k| 1167k| 0 | 0.0 |1729M|1909 | - |3767 |4298 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1229.96/1230.03 c 1206s| 2010k| 1175k| 0 | 0.0 |1737M|1909 | - |3767 |4468 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1233.26/1233.39 c 1209s| 2020k| 1183k| 0 | 0.0 |1745M|1909 | - |3767 |4630 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1240.07/1240.15 c 1216s| 2030k| 1187k| 0 | 0.0 |1754M|1909 | - |3767 |7411 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1247.16/1247.23 c 1223s| 2040k| 1191k| 0 | 0.0 |1763M|1909 | - |3767 |8693 | 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1254.47/1254.55 c 1230s| 2050k| 1194k| 0 | 0.0 |1771M|1909 | - |3767 |9381 | 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1263.16/1263.24 c 1238s| 2060k| 1197k| 0 | 0.0 |1780M|1909 | - |3767 | 10k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1273.16/1273.22 c 1248s| 2070k| 1200k| 0 | 0.0 |1787M|1909 | - |3767 | 11k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1283.46/1283.54 c 1258s| 2080k| 1202k| 0 | 0.0 |1794M|1909 | - |3767 | 11k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1294.77/1294.81 c 1269s| 2090k| 1203k| 0 | 0.0 |1801M|1909 | - |3767 | 10k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1306.16/1306.27 c 1281s| 2100k| 1205k| 0 | 0.0 |1808M|1909 | - |3767 | 11k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1318.07/1318.14 c 1292s| 2110k| 1206k| 0 | 0.0 |1814M|1909 | - |3767 | 12k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1329.87/1329.93 c 1304s| 2120k| 1207k| 0 | 0.0 |1819M|1909 | - |3767 | 10k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1341.87/1341.95 c 1316s| 2130k| 1208k| 0 | 0.0 |1826M|1909 | - |3767 | 12k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1354.37/1354.41 c 1328s| 2140k| 1208k| 0 | 0.0 |1831M|1909 | - |3767 | 11k| 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1366.77/1366.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.77/1366.89 c 1341s| 2150k| 1209k| 0 | 0.0 |1838M|1909 | - |3767 | 11k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1379.87/1379.96 c 1354s| 2160k| 1208k| 0 | 0.0 |1842M|1909 | - |3767 | 12k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1392.87/1392.98 c 1366s| 2170k| 1209k| 0 | 0.0 |1849M|1909 | - |3767 | 11k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1406.56/1406.61 c 1380s| 2180k| 1209k| 0 | 0.0 |1852M|1909 | - |3767 | 12k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1420.27/1420.30 c 1393s| 2190k| 1209k| 0 | 0.0 |1859M|1909 | - |3767 | 12k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1434.07/1434.15 c 1407s| 2200k| 1208k| 0 | 0.0 |1861M|1909 | - |3767 | 13k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1447.68/1447.74 c 1421s| 2210k| 1208k| 0 | 0.0 |1867M|1909 | - |3767 | 12k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1461.67/1461.79 c 1434s| 2220k| 1207k| 0 | 0.0 |1869M|1909 | - |3767 | 13k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1475.67/1475.73 c 1448s| 2230k| 1207k| 0 | 0.0 |1875M|1909 | - |3767 | 12k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1490.77/1490.85 c 1463s| 2240k| 1205k| 0 | 0.0 |1875M|1909 | - |3767 | 13k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1505.08/1505.13 c 1477s| 2250k| 1205k| 0 | 0.0 |1882M|1909 | - |3767 | 12k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1521.37/1521.49 c 1494s| 2260k| 1203k| 0 | 0.0 |1882M|1909 | - |3767 | 14k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1536.37/1536.46 c 1508s| 2270k| 1202k| 0 | 0.0 |1883M|1909 | - |3767 | 13k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1552.47/1552.57 c 1524s| 2280k| 1200k| 0 | 0.0 |1887M|1909 | - |3767 | 15k| 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1569.58/1569.64 c 1541s| 2290k| 1198k| 0 | 0.0 |1885M|1909 | - |3767 | 15k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1586.47/1586.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.47/1586.51 c 1558s| 2300k| 1195k| 0 | 0.0 |1884M|1909 | - |3767 | 15k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1603.47/1603.51 c 1575s| 2310k| 1194k| 0 | 0.0 |1886M|1909 | - |3767 | 15k| 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1621.28/1621.32 c 1593s| 2320k| 1191k| 0 | 0.0 |1885M|1909 | - |3767 | 15k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1639.28/1639.33 c 1610s| 2330k| 1188k| 0 | 0.0 |1883M|1909 | - |3767 | 16k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1658.07/1658.14 c 1629s| 2340k| 1184k| 0 | 0.0 |1880M|1909 | - |3767 | 18k| 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1678.68/1678.71 c 1649s| 2350k| 1180k| 0 | 0.0 |1874M|1909 | - |3767 | 19k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1700.88/1700.94 c 1671s| 2360k| 1175k| 0 | 0.0 |1866M|1909 | - |3767 | 22k| 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1727.58/1727.61 c 1698s| 2370k| 1169k| 0 | 0.0 |1855M|1909 | - |3767 | 28k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1739.18/1739.22 c 1709s| 2380k| 1173k| 0 | 0.0 |1847M|1909 | - |3767 |6665 | 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1744.38/1744.46 c 1715s| 2390k| 1180k| 0 | 0.0 |1857M|1909 | - |3767 |6252 | 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1749.48/1749.55 c 1720s| 2400k| 1187k| 0 | 0.0 |1866M|1909 | - |3767 |6612 | 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1754.48/1754.52 c 1724s| 2410k| 1194k| 0 | 0.0 |1875M|1909 | - |3767 |6921 | 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1759.58/1759.66 c 1729s| 2420k| 1201k| 0 | 0.0 |1884M|1909 | - |3767 |7343 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1764.67/1764.79 c 1734s| 2430k| 1208k| 0 | 0.0 |1892M|1909 | - |3767 |7722 | 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1770.08/1770.11 c 1740s| 2440k| 1215k| 0 | 0.0 |1901M|1909 | - |3767 |8098 | 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1775.28/1775.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.28/1775.38 c 1745s| 2450k| 1222k| 0 | 0.0 |1910M|1909 | - |3767 |8896 | 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1780.98/1781.01 c 1750s| 2460k| 1229k| 0 | 0.0 |1918M|1909 | - |3767 |9198 | 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1786.78/1786.83 c 1756s| 2470k| 1236k| 0 | 0.0 |1927M|1909 | - |3767 |9296 | 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1791.98/1792.09 c 1761s| 2480k| 1243k| 0 | 0.0 |1935M|1909 | - |3767 |9748 | 0 | 0 | 0 |2025k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1798.08/1798.14 c 1767s| 2490k| 1249k| 0 | 0.0 |1944M|1909 | - |3767 | 10k| 0 | 0 | 0 |2031k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1769.02
1800.09/1800.10 c Solving Nodes : 2493620
1800.09/1800.10 c Primal Bound : +1.40000000000000e+01 (25 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.15 s SATISFIABLE
1800.09/1800.15 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.09/1800.15 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.09/1800.15 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.09/1800.15 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.15 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.09/1800.15 v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.09/1800.15 v -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.09/1800.15 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.09/1800.15 v -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 x31 -x30 -x29
1800.09/1800.15 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.09/1800.15 v x2 -x1
1800.09/1800.15 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.15 c Solving Time : 1769.02
1800.09/1800.15 c Original Problem :
1800.09/1800.15 c Problem name : HOME/instance-2693582-1277911878.wbo
1800.09/1800.15 c Variables : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.09/1800.15 c Constraints : 4556 initial, 4556 maximal
1800.09/1800.15 c Presolved Problem :
1800.09/1800.15 c Problem name : t_HOME/instance-2693582-1277911878.wbo
1800.09/1800.15 c Variables : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.09/1800.15 c Constraints : 4361 initial, 31136 maximal
1800.09/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.15 c trivial : 0.00 80 0 0 0 0 0 0 0
1800.09/1800.15 c dualfix : 0.00 80 0 0 0 0 0 0 0
1800.09/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c probing : 0.04 0 0 0 0 0 0 0 0
1800.09/1800.15 c indicator : 0.00 0 0 0 0 0 80 0 0
1800.09/1800.15 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c linear : 0.08 0 0 0 1882 0 115 101 0
1800.09/1800.15 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c root node : - 1527 - - 3054 - - - -
1800.09/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.15 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.15 c indicator : 1768 0 4832107 0 1464969 1366 4106765 0 0 0
1800.09/1800.15 c setppc : 8 0 7993240 0 2048108 11859 5025772 0 0 0
1800.09/1800.15 c linear : 1768 0 7989923 0 2048915 422084 39045850 0 0 0
1800.09/1800.15 c logicor : 817+ 0 5195655 0 2048935 248963 8269144 0 0 0
1800.09/1800.15 c bounddisjunction : 0+ 0 302025 0 0 9 2113 0 0 0
1800.09/1800.15 c countsols : 0 0 0 0 2048935 0 0 0 0 0
1800.09/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.15 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.15 c indicator : 33.57 0.00 15.87 0.00 17.70
1800.09/1800.15 c setppc : 24.11 0.00 20.93 0.00 3.18
1800.09/1800.15 c linear : 314.85 0.00 312.98 0.00 1.87
1800.09/1800.15 c logicor : 398.17 0.00 340.84 0.00 57.33
1800.09/1800.15 c bounddisjunction : 0.49 0.00 0.49 0.00 0.00
1800.09/1800.15 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.09/1800.15 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.15 c vbounds : 1.81 2 0 0
1800.09/1800.15 c rootredcost : 1.87 0 0 0
1800.09/1800.15 c pseudoobj : 290.88 8027594 24211 3978529
1800.09/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.15 c propagation : 34.16 707126 707113 3224320 20.6 104052 8.5 -
1800.09/1800.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.15 c pseudo solution : 0.02 210 210 866 16.2 243 7.5 -
1800.09/1800.15 c applied globally : - - - 2033445 18.5 - - -
1800.09/1800.15 c applied locally : - - - 9 213.6 - - -
1800.09/1800.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.15 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.15 c redcost : 0.00 0 0 0 0 0
1800.09/1800.15 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.15 c intobj : 0.00 0 0 0 0 0
1800.09/1800.15 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.15 c gomory : 0.00 0 0 0 0 0
1800.09/1800.15 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.15 c cmir : 0.00 0 0 0 0 0
1800.09/1800.15 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.15 c clique : 0.00 0 0 0 0 0
1800.09/1800.15 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.15 c mcf : 0.00 0 0 0 0 0
1800.09/1800.15 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.15 c Pricers : Time Calls Vars
1800.09/1800.15 c problem variables: 0.00 0 0
1800.09/1800.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.15 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.15 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.15 c inference : 52.60 2048910 0 0 0 0 4097820
1800.09/1800.15 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.15 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.15 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.15 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.15 c random : 0.00 0 0 0 0 0 0
1800.09/1800.15 c Primal Heuristics : Time Calls Found
1800.09/1800.15 c LP solutions : 0.00 - 0
1800.09/1800.15 c pseudo solutions : 0.13 - 25
1800.09/1800.15 c oneopt : 1.02 0 0
1800.09/1800.15 c trivial : 0.01 2 0
1800.09/1800.15 c simplerounding : 0.00 0 0
1800.09/1800.15 c zirounding : 0.00 0 0
1800.09/1800.15 c rounding : 0.00 0 0
1800.09/1800.15 c shifting : 0.00 0 0
1800.09/1800.15 c intshifting : 0.00 0 0
1800.09/1800.15 c twoopt : 0.00 0 0
1800.09/1800.15 c fixandinfer : 0.00 0 0
1800.09/1800.15 c feaspump : 0.00 0 0
1800.09/1800.15 c coefdiving : 0.00 0 0
1800.09/1800.15 c pscostdiving : 0.00 0 0
1800.09/1800.15 c fracdiving : 0.00 0 0
1800.09/1800.15 c veclendiving : 0.00 0 0
1800.09/1800.15 c intdiving : 0.00 0 0
1800.09/1800.15 c actconsdiving : 0.00 0 0
1800.09/1800.15 c objpscostdiving : 0.00 0 0
1800.09/1800.15 c rootsoldiving : 0.00 0 0
1800.09/1800.15 c linesearchdiving : 0.00 0 0
1800.09/1800.15 c guideddiving : 0.00 0 0
1800.09/1800.15 c octane : 0.00 0 0
1800.09/1800.15 c rens : 0.00 0 0
1800.09/1800.15 c rins : 0.00 0 0
1800.09/1800.15 c localbranching : 0.00 0 0
1800.09/1800.15 c mutation : 0.00 0 0
1800.09/1800.15 c crossover : 0.00 0 0
1800.09/1800.15 c dins : 0.00 0 0
1800.09/1800.15 c undercover : 0.00 0 0
1800.09/1800.15 c nlp : 0.48 0 0
1800.09/1800.15 c trysol : 0.49 1 0
1800.09/1800.15 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.15 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.15 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.15 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.15 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.15 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.15 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.15 c (at root node) : - 0 0 0.00 -
1800.09/1800.15 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.15 c B&B Tree :
1800.09/1800.15 c number of runs : 1
1800.09/1800.15 c nodes : 2493620
1800.09/1800.15 c nodes (total) : 2493620
1800.09/1800.15 c nodes left : 1251877
1800.09/1800.15 c max depth : 1909
1800.09/1800.15 c max depth (total): 1909
1800.09/1800.15 c backtracks : 411267 (16.5%)
1800.09/1800.15 c delayed cutoffs : 319714
1800.09/1800.15 c repropagations : 1503761 (18063378 domain reductions, 264017 cutoffs)
1800.09/1800.15 c avg switch length: 25.42
1800.09/1800.15 c switching time : 507.11
1800.09/1800.15 c Solution :
1800.09/1800.15 c Solutions found : 25 (25 improvements)
1800.09/1800.15 c First Solution : +6.18000000000000e+02 (in run 1, after 5143 nodes, 1.47 seconds, depth 1015, found by <relaxation>)
1800.09/1800.15 c Primal Bound : +1.40000000000000e+01 (in run 1, after 1831691 nodes, 1129.69 seconds, depth 763, found by <relaxation>)
1800.09/1800.15 c Dual Bound : +0.00000000000000e+00
1800.09/1800.15 c Gap : infinite
1800.09/1800.15 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.15 c Root Iterations : 0