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-2694167-1277908871.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 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.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.04/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.04/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17 c 1931 implications, 11 cliques
0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17 c 1704 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1704 constraints of type <linear>
0.09/0.17 c 879 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 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 | - |3639 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.75 c 2.5s| 10000 | 9554 | 0 | 0.0 | 17M|1862 | - |3639 |4811 | 0 | 0 | 0 | 911 | 0 | 0.000000e+00 | -- | Inf
3.39/3.46 o 821
3.39/3.46 c * 3.1s| 13146 | 5737 | 0 | 0.0 | 16M|1862 | - |3639 |4785 | 0 | 0 | 0 | 911 | 0 | 0.000000e+00 | 8.210000e+02 | Inf
3.49/3.52 o 812
3.49/3.52 c * 3.2s| 13330 | 5909 | 0 | 0.0 | 16M|1862 | - |3639 |4789 | 0 | 0 | 0 | 921 | 0 | 0.000000e+00 | 8.120000e+02 | Inf
3.59/3.61 o 336
3.59/3.61 c * 3.2s| 13730 | 6227 | 0 | 0.0 | 16M|1862 | - |3639 |4765 | 0 | 0 | 0 | 927 | 0 | 0.000000e+00 | 3.360000e+02 | Inf
3.59/3.63 o 201
3.59/3.63 c * 3.3s| 13863 | 5872 | 0 | 0.0 | 16M|1862 | - |3639 |4775 | 0 | 0 | 0 | 937 | 0 | 0.000000e+00 | 2.010000e+02 | Inf
5.29/5.35 c 4.8s| 20000 | 11036 | 0 | 0.0 | 22M|1862 | - |3639 |5717 | 0 | 0 | 0 |4315 | 0 | 0.000000e+00 | 2.010000e+02 | Inf
8.99/9.01 c 8.1s| 30000 | 18328 | 0 | 0.0 | 32M|1862 | - |3639 |6853 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
12.29/12.32 o 169
12.29/12.32 c *11.2s| 36160 | 20907 | 0 | 0.0 | 39M|1862 | - |3639 |8132 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
12.29/12.32 o 134
12.29/12.32 c *11.2s| 36161 | 20758 | 0 | 0.0 | 39M|1862 | - |3639 |8132 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
12.29/12.37 o 101
12.29/12.37 c *11.3s| 36259 | 20832 | 0 | 0.0 | 39M|1862 | - |3639 |8020 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
12.39/12.41 o 100
12.39/12.41 c *11.3s| 36358 | 20904 | 0 | 0.0 | 39M|1862 | - |3639 |7911 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
14.49/14.53 c 13.3s| 40000 | 24243 | 0 | 0.0 | 47M|1862 | - |3639 |6206 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
15.09/15.15 o 89
15.09/15.15 c *13.8s| 41221 | 24759 | 0 | 0.0 | 49M|1862 | - |3639 |5994 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
15.19/15.28 o 84
15.19/15.28 c *14.0s| 41474 | 24467 | 0 | 0.0 | 46M|1862 | - |3639 |5917 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
15.19/15.28 o 71
15.19/15.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.19/15.28 c *14.0s| 41475 | 24020 | 0 | 0.0 | 45M|1862 | - |3639 |5917 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
15.79/15.82 o 61
15.79/15.82 c *14.5s| 42379 | 24384 | 0 | 0.0 | 45M|1862 | - |3639 |5142 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
19.39/19.43 o 48
19.39/19.43 c *17.8s| 49748 | 30171 | 0 | 0.0 | 55M|1862 | - |3639 |5431 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
19.49/19.55 c 17.9s| 50000 | 30383 | 0 | 0.0 | 55M|1862 | - |3639 |5436 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
23.59/23.64 c 21.6s| 60000 | 38827 | 0 | 0.0 | 71M|1862 | - |3639 |6436 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
23.89/23.98 o 46
23.89/23.98 c *21.9s| 60939 | 39484 | 0 | 0.0 | 72M|1862 | - |3639 |6679 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
23.89/23.98 o 39
23.89/23.98 c *21.9s| 60940 | 38412 | 0 | 0.0 | 65M|1862 | - |3639 |6679 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
24.49/24.50 o 25
24.49/24.50 c *22.4s| 62483 | 36936 | 0 | 0.0 | 56M|1862 | - |3639 |6613 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
24.49/24.50 o 12
24.49/24.50 c *22.4s| 62487 | 35759 | 0 | 0.0 | 55M|1862 | - |3639 |6623 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
26.89/26.95 c 24.6s| 70000 | 41950 | 0 | 0.0 | 62M|1862 | - |3639 |5938 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
30.30/30.32 c 27.7s| 80000 | 49947 | 0 | 0.0 | 70M|1862 | - |3639 |6445 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
33.99/34.06 c 31.2s| 90000 | 57553 | 0 | 0.0 | 78M|1862 | - |3639 |6854 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
37.79/37.81 c 34.6s|100000 | 65077 | 0 | 0.0 | 86M|1862 | - |3639 |7235 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
41.99/42.06 c 38.5s|110000 | 72074 | 0 | 0.0 | 95M|1862 | - |3639 |7783 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
46.69/46.79 c 42.9s|120000 | 78608 | 0 | 0.0 | 103M|1862 | - |3639 |8215 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
51.80/51.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.80/51.86 c 47.7s|130000 | 84700 | 0 | 0.0 | 113M|1862 | - |3639 |8785 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
56.79/56.87 c 52.3s|140000 | 90892 | 0 | 0.0 | 122M|1862 | - |3639 |8940 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
62.20/62.24 c 57.4s|150000 | 96687 | 0 | 0.0 | 131M|1862 | - |3639 |9539 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
67.99/68.03 c 62.8s|160000 |102045 | 0 | 0.0 | 140M|1862 | - |3639 |9977 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
74.39/74.46 c 68.9s|170000 |106709 | 0 | 0.0 | 150M|1862 | - |3639 | 11k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
81.69/81.79 c 75.9s|180000 |110382 | 0 | 0.0 | 159M|1862 | - |3639 | 11k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
87.20/87.24 c 81.0s|190000 |115197 | 0 | 0.0 | 162M|1862 | - |3639 |5885 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
92.09/92.18 c 85.5s|200000 |122369 | 0 | 0.0 | 173M|1862 | - |3639 |7795 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
97.69/97.73 c 90.7s|210000 |128830 | 0 | 0.0 | 181M|1862 | - |3639 |6640 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
102.70/102.77 c 95.4s|220000 |136027 | 0 | 0.0 | 191M|1862 | - |3639 |7374 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
109.79/109.82 c 102s|230000 |141122 | 0 | 0.0 | 201M|1862 | - |3639 | 10k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
114.59/114.61 c 106s|240000 |148775 | 0 | 0.0 | 213M|1862 | - |3639 |8056 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
120.59/120.60 c 112s|250000 |155503 | 0 | 0.0 | 226M|1862 | - |3639 |8203 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
125.59/125.65 c 117s|260000 |162532 | 0 | 0.0 | 238M|1862 | - |3639 |9696 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
131.10/131.18 c 122s|270000 |169557 | 0 | 0.0 | 263M|1862 | - |3639 |9122 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
136.49/136.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.49/136.58 c 127s|280000 |176576 | 0 | 0.0 | 279M|1862 | - |3639 | 10k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
142.39/142.48 c 133s|290000 |183875 | 0 | 0.0 | 310M|1862 | - |3639 | 10k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
143.69/143.74 o 10
143.69/143.74 c * 134s|292135 |184672 | 0 | 0.0 | 311M|1862 | - |3639 | 10k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
149.50/149.54 o 7
149.50/149.54 c * 139s|299820 |188777 | 0 | 0.0 | 333M|1862 | - |3639 | 12k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
149.60/149.69 c 139s|300000 |188880 | 0 | 0.0 | 334M|1862 | - |3639 | 12k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
156.20/156.22 c 145s|310000 |195587 | 0 | 0.0 | 362M|1862 | - |3639 | 11k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
162.20/162.25 c 151s|320000 |201917 | 0 | 0.0 | 376M|1862 | - |3639 | 12k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.89/166.93 c 155s|330000 |209494 | 0 | 0.0 | 392M|1862 | - |3639 | 10k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
171.50/171.57 c 160s|340000 |216241 | 0 | 0.0 | 401M|1862 | - |3639 |9925 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
176.49/176.50 c 164s|350000 |222542 | 0 | 0.0 | 409M|1862 | - |3639 |9751 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
181.40/181.44 c 169s|360000 |228808 | 0 | 0.0 | 418M|1862 | - |3639 | 11k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
185.70/185.80 c 173s|370000 |235789 | 0 | 0.0 | 426M|1862 | - |3639 | 11k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.20/190.22 c 177s|380000 |242765 | 0 | 0.0 | 434M|1862 | - |3639 | 11k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
194.49/194.54 c 181s|390000 |249898 | 0 | 0.0 | 442M|1862 | - |3639 | 10k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
198.89/198.90 c 185s|400000 |256823 | 0 | 0.0 | 450M|1862 | - |3639 | 11k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
203.00/203.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.00/203.04 c 189s|410000 |263925 | 0 | 0.0 | 457M|1862 | - |3639 | 11k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
206.80/206.89 c 192s|420000 |271442 | 0 | 0.0 | 463M|1862 | - |3639 |4738 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
210.11/210.15 c 195s|430000 |279520 | 0 | 0.0 | 471M|1862 | - |3639 |4828 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
213.49/213.58 c 198s|440000 |287183 | 0 | 0.0 | 479M|1862 | - |3639 |5337 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
217.89/217.98 c 202s|450000 |293712 | 0 | 0.0 | 487M|1862 | - |3639 |5892 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
222.49/222.55 c 207s|460000 |300018 | 0 | 0.0 | 496M|1862 | - |3639 |6359 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
227.00/227.02 c 211s|470000 |306442 | 0 | 0.0 | 505M|1862 | - |3639 |6793 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
231.80/231.83 c 215s|480000 |312549 | 0 | 0.0 | 513M|1862 | - |3639 |6915 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
237.00/237.02 c 220s|490000 |318190 | 0 | 0.0 | 522M|1862 | - |3639 |7368 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.29/242.36 c 225s|500000 |323710 | 0 | 0.0 | 531M|1862 | - |3639 |7655 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.69/247.71 c 230s|510000 |329235 | 0 | 0.0 | 539M|1862 | - |3639 |7861 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
252.50/252.52 c 235s|520000 |335378 | 0 | 0.0 | 547M|1862 | - |3639 |7751 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
257.50/257.52 c 239s|530000 |341174 | 0 | 0.0 | 556M|1862 | - |3639 |8812 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
263.30/263.35 c 245s|540000 |346208 | 0 | 0.0 | 564M|1862 | - |3639 |9202 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
269.40/269.45 c 250s|550000 |350945 | 0 | 0.0 | 573M|1862 | - |3639 |8931 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
275.60/275.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.60/275.61 c 256s|560000 |355631 | 0 | 0.0 | 581M|1862 | - |3639 |8721 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
281.60/281.63 c 262s|570000 |360506 | 0 | 0.0 | 589M|1862 | - |3639 |9044 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
287.80/287.87 c 268s|580000 |365088 | 0 | 0.0 | 597M|1862 | - |3639 | 10k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
294.50/294.59 c 274s|590000 |369160 | 0 | 0.0 | 605M|1862 | - |3639 |9975 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
301.40/301.47 c 281s|600000 |373017 | 0 | 0.0 | 612M|1862 | - |3639 | 10k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
308.40/308.46 c 287s|610000 |376928 | 0 | 0.0 | 620M|1862 | - |3639 |9990 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
315.30/315.35 c 294s|620000 |380843 | 0 | 0.0 | 628M|1862 | - |3639 | 11k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
322.89/322.91 c 301s|630000 |384221 | 0 | 0.0 | 636M|1862 | - |3639 | 11k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
330.90/330.98 c 309s|640000 |386978 | 0 | 0.0 | 643M|1862 | - |3639 | 11k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
339.70/339.77 c 317s|650000 |388957 | 0 | 0.0 | 650M|1862 | - |3639 | 12k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
349.71/349.72 c 327s|660000 |389460 | 0 | 0.0 | 657M|1862 | - |3639 | 12k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
360.80/360.87 c 337s|670000 |388474 | 0 | 0.0 | 663M|1862 | - |3639 | 13k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
373.20/373.27 c 349s|680000 |385537 | 0 | 0.0 | 668M|1862 | - |3639 | 15k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
386.70/386.78 c 362s|690000 |380012 | 0 | 0.0 | 668M|1862 | - |3639 | 16k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
401.10/401.15 c 376s|700000 |369711 | 0 | 0.0 | 649M|1862 | - |3639 | 12k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
404.90/404.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.90/404.91 c 379s|710000 |377724 | 0 | 0.0 | 654M|1862 | - |3639 |4917 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
408.50/408.59 c 383s|720000 |385514 | 0 | 0.0 | 662M|1862 | - |3639 |5179 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
412.30/412.32 c 386s|730000 |393173 | 0 | 0.0 | 670M|1862 | - |3639 |5592 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
416.20/416.26 c 390s|740000 |400630 | 0 | 0.0 | 678M|1862 | - |3639 |5902 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
420.40/420.40 c 394s|750000 |407831 | 0 | 0.0 | 686M|1862 | - |3639 |6309 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.70/424.76 c 398s|760000 |414796 | 0 | 0.0 | 695M|1862 | - |3639 |6834 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
430.30/430.33 c 403s|770000 |420611 | 0 | 0.0 | 705M|1862 | - |3639 |7811 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
436.10/436.15 c 408s|780000 |426127 | 0 | 0.0 | 715M|1862 | - |3639 |8519 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
442.61/442.61 c 414s|790000 |431079 | 0 | 0.0 | 726M|1862 | - |3639 |9553 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
450.61/450.62 c 422s|800000 |434516 | 0 | 0.0 | 735M|1862 | - |3639 | 11k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
457.40/457.41 c 428s|810000 |439544 | 0 | 0.0 | 741M|1862 | - |3639 |6535 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
461.11/461.14 c 431s|820000 |447184 | 0 | 0.0 | 749M|1862 | - |3639 |5663 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
465.31/465.35 c 435s|830000 |454239 | 0 | 0.0 | 757M|1862 | - |3639 |6524 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
469.90/469.94 c 439s|840000 |460893 | 0 | 0.0 | 765M|1862 | - |3639 |7307 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
475.00/475.04 c 444s|850000 |467021 | 0 | 0.0 | 773M|1862 | - |3639 |7602 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.71/480.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.71/480.74 c 449s|860000 |472497 | 0 | 0.0 | 783M|1862 | - |3639 |7463 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
486.41/486.43 c 455s|870000 |477938 | 0 | 0.0 | 791M|1862 | - |3639 |7233 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
492.10/492.12 c 460s|880000 |483393 | 0 | 0.0 | 800M|1862 | - |3639 |7230 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
497.50/497.54 c 465s|890000 |489063 | 0 | 0.0 | 808M|1862 | - |3639 |7518 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
503.01/503.08 c 470s|900000 |494565 | 0 | 0.0 | 817M|1862 | - |3639 |7654 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
508.90/508.92 c 476s|910000 |499822 | 0 | 0.0 | 825M|1862 | - |3639 |7863 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
509.70/509.72 o 4
509.70/509.72 c * 476s|911359 |493076 | 0 | 0.0 | 806M|1862 | - |3639 |8091 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
515.81/515.88 c 482s|920000 |497193 | 0 | 0.0 | 816M|1862 | - |3639 |8577 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
523.21/523.20 c 489s|930000 |501350 | 0 | 0.0 | 825M|1862 | - |3639 |9715 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
531.70/531.71 c 497s|940000 |504475 | 0 | 0.0 | 834M|1862 | - |3639 | 11k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
540.11/540.12 c 505s|950000 |507856 | 0 | 0.0 | 838M|1862 | - |3639 |6844 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
544.21/544.27 c 509s|960000 |515026 | 0 | 0.0 | 846M|1862 | - |3639 |6072 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
548.71/548.72 c 513s|970000 |521701 | 0 | 0.0 | 855M|1862 | - |3639 |6940 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
553.70/553.70 c 517s|980000 |527831 | 0 | 0.0 | 865M|1862 | - |3639 |7882 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
559.30/559.30 c 523s|990000 |533347 | 0 | 0.0 | 873M|1862 | - |3639 |8895 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
566.01/566.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.01/566.00 c 529s| 1000k|537885 | 0 | 0.0 | 882M|1862 | - |3639 | 10k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
573.20/573.21 c 536s| 1010k|541960 | 0 | 0.0 | 890M|1862 | - |3639 | 11k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
581.30/581.35 c 543s| 1020k|545293 | 0 | 0.0 | 897M|1862 | - |3639 | 10k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
587.21/587.29 c 549s| 1030k|550601 | 0 | 0.0 | 902M|1862 | - |3639 |7336 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
591.71/591.77 c 553s| 1040k|557381 | 0 | 0.0 | 909M|1862 | - |3639 |6878 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
596.21/596.24 c 557s| 1050k|564132 | 0 | 0.0 | 917M|1862 | - |3639 |7487 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
601.20/601.28 c 562s| 1060k|570328 | 0 | 0.0 | 925M|1862 | - |3639 |8074 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
606.80/606.88 c 567s| 1070k|575877 | 0 | 0.0 | 933M|1862 | - |3639 |9051 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
613.11/613.11 c 573s| 1080k|580817 | 0 | 0.0 | 942M|1862 | - |3639 | 10k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
620.70/620.73 c 580s| 1090k|584374 | 0 | 0.0 | 950M|1862 | - |3639 | 12k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
631.01/631.00 c 590s| 1100k|585892 | 0 | 0.0 | 957M|1862 | - |3639 | 14k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
635.11/635.11 c 594s| 1110k|593502 | 0 | 0.0 | 962M|1862 | - |3639 |7368 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
638.80/638.87 c 597s| 1120k|601091 | 0 | 0.0 | 969M|1862 | - |3639 |7280 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
642.91/642.91 c 601s| 1130k|608270 | 0 | 0.0 | 977M|1862 | - |3639 |7941 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
647.81/647.86 c 605s| 1140k|614469 | 0 | 0.0 | 985M|1862 | - |3639 |8689 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
653.70/653.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.70/653.71 c 611s| 1150k|619682 | 0 | 0.0 | 994M|1862 | - |3639 |9678 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
660.31/660.36 c 617s| 1160k|624107 | 0 | 0.0 |1003M|1862 | - |3639 |9987 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
667.41/667.43 c 624s| 1170k|628114 | 0 | 0.0 |1011M|1862 | - |3639 |9841 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
673.81/673.88 c 630s| 1180k|632761 | 0 | 0.0 |1018M|1862 | - |3639 |8567 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
679.71/679.74 c 635s| 1190k|637981 | 0 | 0.0 |1025M|1862 | - |3639 |8203 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
684.71/684.76 c 640s| 1200k|644143 | 0 | 0.0 |1032M|1862 | - |3639 |7704 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
689.51/689.53 c 644s| 1210k|650613 | 0 | 0.0 |1040M|1862 | - |3639 |7727 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
694.41/694.47 c 649s| 1220k|656828 | 0 | 0.0 |1049M|1862 | - |3639 |7803 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.71/699.76 c 654s| 1230k|662607 | 0 | 0.0 |1057M|1862 | - |3639 |8161 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
705.50/705.56 c 659s| 1240k|667928 | 0 | 0.0 |1066M|1862 | - |3639 |8304 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
711.80/711.80 c 665s| 1250k|672788 | 0 | 0.0 |1075M|1862 | - |3639 |8921 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
718.11/718.18 c 671s| 1260k|677630 | 0 | 0.0 |1083M|1862 | - |3639 |9357 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
724.91/724.93 c 677s| 1270k|682097 | 0 | 0.0 |1092M|1862 | - |3639 | 10k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
732.11/732.10 c 684s| 1280k|686273 | 0 | 0.0 |1100M|1862 | - |3639 | 10k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
740.51/740.55 c 692s| 1290k|689406 | 0 | 0.0 |1108M|1862 | - |3639 | 12k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
750.51/750.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.51/750.50 c 701s| 1300k|691412 | 0 | 0.0 |1112M|1862 | - |3639 | 15k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
755.31/755.30 c 706s| 1310k|698606 | 0 | 0.0 |1116M|1862 | - |3639 |6727 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
756.31/756.38 o 3
756.31/756.38 c * 707s| 1312k|694186 | 0 | 0.0 |1103M|1862 | - |3639 |6702 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
759.51/759.57 c 710s| 1320k|699315 | 0 | 0.0 |1109M|1862 | - |3639 |7136 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
764.21/764.28 c 714s| 1330k|705850 | 0 | 0.0 |1118M|1862 | - |3639 |7948 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
769.31/769.38 c 719s| 1340k|711712 | 0 | 0.0 |1127M|1862 | - |3639 |8276 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
775.11/775.15 c 724s| 1350k|716790 | 0 | 0.0 |1135M|1862 | - |3639 |8648 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
781.81/781.80 c 730s| 1360k|720889 | 0 | 0.0 |1144M|1862 | - |3639 |9228 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
788.62/788.67 c 737s| 1370k|724686 | 0 | 0.0 |1152M|1862 | - |3639 |9838 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
796.91/796.96 c 744s| 1380k|727142 | 0 | 0.0 |1157M|1862 | - |3639 |8855 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
800.61/800.69 c 748s| 1390k|734897 | 0 | 0.0 |1165M|1862 | - |3639 |7175 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
804.61/804.61 c 751s| 1400k|742228 | 0 | 0.0 |1173M|1862 | - |3639 |7619 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
809.21/809.27 c 756s| 1410k|748722 | 0 | 0.0 |1182M|1862 | - |3639 |8254 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
814.31/814.30 c 760s| 1420k|754761 | 0 | 0.0 |1191M|1862 | - |3639 |9009 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
820.01/820.05 c 766s| 1430k|760097 | 0 | 0.0 |1199M|1862 | - |3639 |9697 | 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
826.41/826.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.41/826.41 c 772s| 1440k|764780 | 0 | 0.0 |1208M|1862 | - |3639 | 10k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
833.82/833.89 c 779s| 1450k|768358 | 0 | 0.0 |1216M|1862 | - |3639 | 11k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
842.71/842.75 c 787s| 1460k|770942 | 0 | 0.0 |1221M|1862 | - |3639 | 10k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
846.61/846.65 c 791s| 1470k|778484 | 0 | 0.0 |1229M|1862 | - |3639 |8006 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
850.91/850.90 c 795s| 1480k|785466 | 0 | 0.0 |1237M|1862 | - |3639 |8676 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
855.41/855.45 c 799s| 1490k|792032 | 0 | 0.0 |1245M|1862 | - |3639 |9413 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
860.42/860.48 c 803s| 1500k|798179 | 0 | 0.0 |1253M|1862 | - |3639 | 10k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
867.01/867.05 c 810s| 1510k|802788 | 0 | 0.0 |1262M|1862 | - |3639 | 11k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
874.91/874.92 c 817s| 1520k|806319 | 0 | 0.0 |1270M|1862 | - |3639 | 13k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
881.92/881.91 c 824s| 1530k|810988 | 0 | 0.0 |1274M|1862 | - |3639 |8471 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
885.81/885.81 c 827s| 1540k|818460 | 0 | 0.0 |1282M|1862 | - |3639 |7819 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.92/889.99 c 831s| 1550k|825446 | 0 | 0.0 |1290M|1862 | - |3639 |8546 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
894.71/894.78 c 835s| 1560k|831823 | 0 | 0.0 |1298M|1862 | - |3639 |9267 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
900.32/900.31 c 841s| 1570k|837401 | 0 | 0.0 |1307M|1862 | - |3639 |9904 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
906.81/906.87 c 847s| 1580k|841867 | 0 | 0.0 |1315M|1862 | - |3639 | 11k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
916.71/916.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.71/916.71 c 856s| 1590k|843165 | 0 | 0.0 |1321M|1862 | - |3639 | 13k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
921.32/921.37 c 860s| 1600k|850115 | 0 | 0.0 |1327M|1862 | - |3639 |8247 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
925.62/925.67 c 864s| 1610k|857191 | 0 | 0.0 |1336M|1862 | - |3639 |8771 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
930.82/930.84 c 869s| 1620k|863316 | 0 | 0.0 |1345M|1862 | - |3639 |9898 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
936.61/936.61 c 875s| 1630k|868849 | 0 | 0.0 |1354M|1862 | - |3639 | 10k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
943.42/943.45 c 881s| 1640k|873311 | 0 | 0.0 |1362M|1862 | - |3639 | 12k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
953.22/953.27 c 890s| 1650k|875122 | 0 | 0.0 |1369M|1862 | - |3639 | 15k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
957.81/957.83 c 894s| 1660k|882403 | 0 | 0.0 |1374M|1862 | - |3639 |9109 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
961.91/961.93 c 898s| 1670k|889675 | 0 | 0.0 |1382M|1862 | - |3639 |9395 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
966.52/966.54 c 902s| 1680k|896372 | 0 | 0.0 |1390M|1862 | - |3639 | 10k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
971.61/971.68 c 907s| 1690k|902504 | 0 | 0.0 |1398M|1862 | - |3639 | 11k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
978.62/978.68 c 914s| 1700k|906926 | 0 | 0.0 |1407M|1862 | - |3639 | 14k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
986.12/986.16 c 921s| 1710k|911543 | 0 | 0.0 |1412M|1862 | - |3639 | 10k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
990.21/990.25 c 925s| 1720k|918960 | 0 | 0.0 |1420M|1862 | - |3639 |9706 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
994.81/994.85 c 929s| 1730k|925676 | 0 | 0.0 |1428M|1862 | - |3639 | 10k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
999.93/999.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.93/999.97 c 934s| 1740k|931910 | 0 | 0.0 |1436M|1862 | - |3639 | 12k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1006.82/1006.88 c 940s| 1750k|936468 | 0 | 0.0 |1445M|1862 | - |3639 | 14k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.81/1014.80 c 948s| 1760k|940677 | 0 | 0.0 |1451M|1862 | - |3639 | 11k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1018.92/1018.92 c 951s| 1770k|948258 | 0 | 0.0 |1458M|1862 | - |3639 |9268 | 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1023.22/1023.22 c 955s| 1780k|955389 | 0 | 0.0 |1466M|1862 | - |3639 |9739 | 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1028.81/1028.82 c 961s| 1790k|961162 | 0 | 0.0 |1475M|1862 | - |3639 | 10k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1035.32/1035.31 c 967s| 1800k|966039 | 0 | 0.0 |1484M|1862 | - |3639 | 12k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1043.22/1043.21 c 974s| 1810k|969673 | 0 | 0.0 |1493M|1862 | - |3639 | 13k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1051.82/1051.89 c 982s| 1820k|972965 | 0 | 0.0 |1498M|1862 | - |3639 | 11k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1055.92/1055.92 c 986s| 1830k|980515 | 0 | 0.0 |1505M|1862 | - |3639 |8888 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1060.22/1060.20 c 990s| 1840k|987613 | 0 | 0.0 |1512M|1862 | - |3639 |9429 | 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1065.52/1065.53 c 995s| 1850k|993658 | 0 | 0.0 |1521M|1862 | - |3639 | 10k| 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1072.22/1072.23 c 1001s| 1860k|998449 | 0 | 0.0 |1529M|1862 | - |3639 | 12k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1080.62/1080.62 c 1009s| 1870k| 1001k| 0 | 0.0 |1537M|1862 | - |3639 | 14k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1086.61/1086.67 c 1015s| 1880k| 1007k| 0 | 0.0 |1542M|1862 | - |3639 |7491 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1091.52/1091.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.52/1091.54 c 1020s| 1890k| 1013k| 0 | 0.0 |1549M|1862 | - |3639 |5578 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1095.82/1095.81 c 1023s| 1900k| 1020k| 0 | 0.0 |1557M|1862 | - |3639 |5686 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1100.02/1100.05 c 1027s| 1910k| 1027k| 0 | 0.0 |1565M|1862 | - |3639 |5770 | 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1103.62/1103.61 c 1031s| 1920k| 1035k| 0 | 0.0 |1573M|1862 | - |3639 |5190 | 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1107.63/1107.61 c 1034s| 1930k| 1042k| 0 | 0.0 |1581M|1862 | - |3639 |5613 | 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1113.02/1113.00 c 1039s| 1940k| 1047k| 0 | 0.0 |1590M|1862 | - |3639 |6158 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1116.62/1116.60 c 1042s| 1950k| 1055k| 0 | 0.0 |1598M|1862 | - |3639 |5275 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1121.71/1121.78 c 1047s| 1960k| 1061k| 0 | 0.0 |1607M|1862 | - |3639 |7083 | 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1125.11/1125.15 c 1050s| 1970k| 1069k| 0 | 0.0 |1614M|1862 | - |3639 |4754 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1128.72/1128.73 c 1054s| 1980k| 1076k| 0 | 0.0 |1622M|1862 | - |3639 |5120 | 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1132.92/1132.94 c 1058s| 1990k| 1083k| 0 | 0.0 |1630M|1862 | - |3639 |5806 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1138.43/1138.41 c 1063s| 2000k| 1089k| 0 | 0.0 |1639M|1862 | - |3639 |7945 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1142.62/1142.62 c 1067s| 2010k| 1096k| 0 | 0.0 |1646M|1862 | - |3639 |5862 | 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1146.42/1146.42 c 1070s| 2020k| 1103k| 0 | 0.0 |1654M|1862 | - |3639 |4882 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1150.12/1150.18 c 1073s| 2030k| 1110k| 0 | 0.0 |1662M|1862 | - |3639 |5773 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1154.12/1154.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.12/1154.13 c 1077s| 2040k| 1118k| 0 | 0.0 |1669M|1862 | - |3639 |5528 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1157.92/1157.98 c 1080s| 2050k| 1125k| 0 | 0.0 |1677M|1862 | - |3639 |4978 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1161.53/1161.52 c 1084s| 2060k| 1133k| 0 | 0.0 |1685M|1862 | - |3639 |5964 | 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1165.52/1165.51 c 1087s| 2070k| 1140k| 0 | 0.0 |1692M|1862 | - |3639 |5305 | 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1169.42/1169.45 c 1091s| 2080k| 1147k| 0 | 0.0 |1700M|1862 | - |3639 |5022 | 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1173.32/1173.33 c 1095s| 2090k| 1154k| 0 | 0.0 |1707M|1862 | - |3639 |5329 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1177.32/1177.39 c 1098s| 2100k| 1161k| 0 | 0.0 |1715M|1862 | - |3639 |5801 | 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1181.92/1181.93 c 1102s| 2110k| 1167k| 0 | 0.0 |1722M|1862 | - |3639 |6239 | 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1189.92/1189.99 c 1110s| 2120k| 1170k| 0 | 0.0 |1730M|1862 | - |3639 |8242 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1198.82/1198.87 c 1119s| 2130k| 1173k| 0 | 0.0 |1738M|1862 | - |3639 | 10k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1208.52/1208.55 c 1128s| 2140k| 1175k| 0 | 0.0 |1746M|1862 | - |3639 | 11k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1219.02/1219.05 c 1138s| 2150k| 1176k| 0 | 0.0 |1752M|1862 | - |3639 | 11k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1230.03/1230.09 c 1149s| 2160k| 1178k| 0 | 0.0 |1758M|1862 | - |3639 | 11k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1241.22/1241.27 c 1159s| 2170k| 1179k| 0 | 0.0 |1764M|1862 | - |3639 | 11k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1252.53/1252.57 c 1170s| 2180k| 1180k| 0 | 0.0 |1772M|1862 | - |3639 | 13k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1265.72/1265.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.72/1265.77 c 1183s| 2190k| 1181k| 0 | 0.0 |1777M|1862 | - |3639 | 13k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1278.62/1278.70 c 1195s| 2200k| 1181k| 0 | 0.0 |1783M|1862 | - |3639 | 11k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1291.33/1291.37 c 1208s| 2210k| 1181k| 0 | 0.0 |1789M|1862 | - |3639 | 14k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1304.43/1304.49 c 1220s| 2220k| 1181k| 0 | 0.0 |1793M|1862 | - |3639 | 13k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1318.13/1318.12 c 1234s| 2230k| 1182k| 0 | 0.0 |1800M|1862 | - |3639 | 14k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1332.62/1332.63 c 1248s| 2240k| 1181k| 0 | 0.0 |1804M|1862 | - |3639 | 14k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1346.44/1346.42 c 1261s| 2250k| 1181k| 0 | 0.0 |1810M|1862 | - |3639 | 15k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1361.33/1361.31 c 1275s| 2260k| 1181k| 0 | 0.0 |1813M|1862 | - |3639 | 15k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1376.63/1376.69 c 1290s| 2270k| 1180k| 0 | 0.0 |1820M|1862 | - |3639 | 15k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1392.32/1392.37 c 1306s| 2280k| 1179k| 0 | 0.0 |1822M|1862 | - |3639 | 15k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1408.22/1408.23 c 1321s| 2290k| 1179k| 0 | 0.0 |1828M|1862 | - |3639 | 14k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1424.32/1424.30 c 1337s| 2300k| 1178k| 0 | 0.0 |1830M|1862 | - |3639 | 16k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1440.53/1440.59 c 1352s| 2310k| 1177k| 0 | 0.0 |1835M|1862 | - |3639 | 15k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1458.22/1458.23 c 1370s| 2320k| 1175k| 0 | 0.0 |1838M|1862 | - |3639 | 17k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1475.04/1475.05 c 1386s| 2330k| 1174k| 0 | 0.0 |1839M|1862 | - |3639 | 16k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1493.13/1493.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.13/1493.17 c 1404s| 2340k| 1172k| 0 | 0.0 |1843M|1862 | - |3639 | 17k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1511.73/1511.75 c 1422s| 2350k| 1170k| 0 | 0.0 |1843M|1862 | - |3639 | 17k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1530.14/1530.19 c 1440s| 2360k| 1168k| 0 | 0.0 |1846M|1862 | - |3639 | 17k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1549.53/1549.54 c 1459s| 2370k| 1166k| 0 | 0.0 |1847M|1862 | - |3639 | 18k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1570.03/1570.08 c 1479s| 2380k| 1163k| 0 | 0.0 |1845M|1862 | - |3639 | 19k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1590.54/1590.53 c 1499s| 2390k| 1160k| 0 | 0.0 |1844M|1862 | - |3639 | 20k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1612.03/1612.04 c 1520s| 2400k| 1157k| 0 | 0.0 |1842M|1862 | - |3639 | 21k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1633.73/1633.73 c 1541s| 2410k| 1154k| 0 | 0.0 |1840M|1862 | - |3639 | 22k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1656.64/1656.64 c 1563s| 2420k| 1150k| 0 | 0.0 |1836M|1862 | - |3639 | 23k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1680.23/1680.20 c 1586s| 2430k| 1146k| 0 | 0.0 |1828M|1862 | - |3639 | 25k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1704.63/1704.68 c 1610s| 2440k| 1140k| 0 | 0.0 |1815M|1862 | - |3639 | 28k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1719.53/1719.58 c 1624s| 2450k| 1141k| 0 | 0.0 |1800M|1862 | - |3639 |8031 | 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1724.74/1724.76 c 1629s| 2460k| 1147k| 0 | 0.0 |1809M|1862 | - |3639 |6734 | 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1730.24/1730.29 c 1634s| 2470k| 1154k| 0 | 0.0 |1818M|1862 | - |3639 |6834 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1736.03/1736.00 c 1640s| 2480k| 1160k| 0 | 0.0 |1826M|1862 | - |3639 |7463 | 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1742.24/1742.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.24/1742.26 c 1646s| 2490k| 1165k| 0 | 0.0 |1835M|1862 | - |3639 |7472 | 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1748.64/1748.65 c 1652s| 2500k| 1171k| 0 | 0.0 |1844M|1862 | - |3639 |8115 | 0 | 0 | 0 |1957k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1755.14/1755.19 c 1658s| 2510k| 1176k| 0 | 0.0 |1852M|1862 | - |3639 |8341 | 0 | 0 | 0 |1963k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1761.73/1761.75 c 1664s| 2520k| 1181k| 0 | 0.0 |1861M|1862 | - |3639 |8638 | 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1768.54/1768.57 c 1670s| 2530k| 1186k| 0 | 0.0 |1870M|1862 | - |3639 |8989 | 0 | 0 | 0 |1978k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1775.54/1775.54 c 1677s| 2540k| 1191k| 0 | 0.0 |1878M|1862 | - |3639 |8714 | 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1782.33/1782.30 c 1683s| 2550k| 1196k| 0 | 0.0 |1887M|1862 | - |3639 |8734 | 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1789.33/1789.38 c 1690s| 2560k| 1201k| 0 | 0.0 |1895M|1862 | - |3639 |9086 | 0 | 0 | 0 |2000k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1796.84/1796.84 c 1697s| 2570k| 1205k| 0 | 0.0 |1903M|1862 | - |3639 |9737 | 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1699.81
1800.04/1800.00 c Solving Nodes : 2574633
1800.04/1800.00 c Primal Bound : +3.00000000000000e+00 (21 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/1800.03 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.03 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.03 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.04/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.04/1800.03 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.04/1800.03 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.04/1800.03 v -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.04/1800.03 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 -x54
1800.04/1800.03 v -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.04/1800.03 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 x2
1800.04/1800.03 v -x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1699.81
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2694167-1277908871.wbo
1800.04/1800.03 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.04/1800.03 c Constraints : 4491 initial, 4491 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2694167-1277908871.wbo
1800.04/1800.03 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.04/1800.03 c Constraints : 4298 initial, 30666 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.06 0 0 0 1807 0 114 97 0
1800.04/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1644 - - 3288 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 1704 0 5200743 0 1519719 82 2026223 0 0 0
1800.04/1800.03 c setppc : 11 0 8287658 0 2083430 23436 6195250 0 0 0
1800.04/1800.03 c linear : 1704 0 8272701 0 2090796 503765 41934220 0 0 0
1800.04/1800.03 c logicor : 879+ 0 5265420 0 2090810 244051 9325341 0 0 0
1800.04/1800.03 c bounddisjunction : 0+ 0 53303 0 0 0 10 0 0 0
1800.04/1800.03 c countsols : 0 0 0 0 2090807 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c indicator : 8.25 0.00 3.24 0.00 5.01
1800.04/1800.03 c setppc : 25.11 0.00 22.88 0.00 2.23
1800.04/1800.03 c linear : 323.11 0.00 322.52 0.00 0.59
1800.04/1800.03 c logicor : 409.42 0.00 346.95 0.00 62.47
1800.04/1800.03 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 0.00 2 0 0
1800.04/1800.03 c rootredcost : 0.00 0 0 0
1800.04/1800.03 c pseudoobj : 267.56 8297467 1247 1999836
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 32.39 772499 772493 3555457 18.1 82533 10.5 -
1800.04/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.01 54 54 239 19.5 96 11.2 -
1800.04/1800.03 c applied globally : - - - 2012481 16.4 - - -
1800.04/1800.03 c applied locally : - - - 5 243.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.03 c redcost : 0.00 0 0 0 0 0
1800.04/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.00 0 0 0 0 0
1800.04/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.03 c cmir : 0.00 0 0 0 0 0
1800.04/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.03 c clique : 0.00 0 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 0 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 31.91 2090786 0 0 0 0 4181572
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.00 - 0
1800.04/1800.03 c pseudo solutions : 0.09 - 21
1800.04/1800.03 c oneopt : 0.02 0 0
1800.04/1800.03 c trivial : 0.00 2 0
1800.04/1800.03 c simplerounding : 0.00 0 0
1800.04/1800.03 c zirounding : 0.00 0 0
1800.04/1800.03 c rounding : 0.00 0 0
1800.04/1800.03 c shifting : 0.00 0 0
1800.04/1800.03 c intshifting : 0.00 0 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c feaspump : 0.00 0 0
1800.04/1800.03 c coefdiving : 0.00 0 0
1800.04/1800.03 c pscostdiving : 0.00 0 0
1800.04/1800.03 c fracdiving : 0.00 0 0
1800.04/1800.03 c veclendiving : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c objpscostdiving : 0.00 0 0
1800.04/1800.03 c rootsoldiving : 0.00 0 0
1800.04/1800.03 c linesearchdiving : 0.00 0 0
1800.04/1800.03 c guideddiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.00 0 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c crossover : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.00 0 0
1800.04/1800.03 c trysol : 0.00 1 0
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.03 c (at root node) : - 0 0 0.00 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 2574633
1800.04/1800.03 c nodes (total) : 2574633
1800.04/1800.03 c nodes left : 1207820
1800.04/1800.03 c max depth : 1862
1800.04/1800.03 c max depth (total): 1862
1800.04/1800.03 c backtracks : 453409 (17.6%)
1800.04/1800.03 c delayed cutoffs : 367988
1800.04/1800.03 c repropagations : 1696614 (17913650 domain reductions, 288809 cutoffs)
1800.04/1800.03 c avg switch length: 28.03
1800.04/1800.03 c switching time : 519.77
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 21 (21 improvements)
1800.04/1800.03 c First Solution : +8.21000000000000e+02 (in run 1, after 13146 nodes, 3.12 seconds, depth 1518, found by <relaxation>)
1800.04/1800.03 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1312741 nodes, 706.55 seconds, depth 760, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 0