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-2694135-1277907208.wbo>
0.00/0.03 c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 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, 1937 impls, 11 clqs
0.07/0.09 c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.07/0.09 c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.09/0.11 c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.12 c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1940 (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 152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.09/0.17 c 1937 implications, 11 cliques
0.09/0.17 c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.09/0.17 c 1709 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1709 constraints of type <linear>
0.09/0.17 c 869 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 | - |3649 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.27 o 606
1.19/1.27 c * 1.1s| 4507 | 4118 | 0 | 0.0 | 15M|1899 | - |3649 |4717 | 0 | 0 | 0 | 671 | 0 | 0.000000e+00 | 6.060000e+02 | Inf
2.09/2.12 o 426
2.09/2.12 c * 2.0s| 7729 | 7027 | 0 | 0.0 | 16M|1899 | - |3649 |4651 | 0 | 0 | 0 | 718 | 0 | 0.000000e+00 | 4.260000e+02 | Inf
2.59/2.66 c 2.5s| 10000 | 9045 | 0 | 0.0 | 18M|1899 | - |3649 |5144 | 0 | 0 | 0 |1648 | 0 | 0.000000e+00 | 4.260000e+02 | Inf
5.19/5.21 o 397
5.19/5.21 c * 5.0s| 17475 | 13671 | 0 | 0.0 | 26M|1899 | - |3649 |7469 | 0 | 0 | 0 |7571 | 0 | 0.000000e+00 | 3.970000e+02 | Inf
5.50/5.59 o 388
5.50/5.59 c * 5.3s| 18428 | 14562 | 0 | 0.0 | 26M|1899 | - |3649 |7361 | 0 | 0 | 0 |7695 | 0 | 0.000000e+00 | 3.880000e+02 | Inf
5.59/5.69 o 384
5.59/5.69 c * 5.4s| 18642 | 14763 | 0 | 0.0 | 27M|1899 | - |3649 |7312 | 0 | 0 | 0 |7715 | 0 | 0.000000e+00 | 3.840000e+02 | Inf
5.79/5.82 o 378
5.79/5.82 c * 5.6s| 18946 | 15035 | 0 | 0.0 | 27M|1899 | - |3649 |7213 | 0 | 0 | 0 |7768 | 0 | 0.000000e+00 | 3.780000e+02 | Inf
5.79/5.83 o 352
5.79/5.83 c * 5.6s| 18947 | 14875 | 0 | 0.0 | 27M|1899 | - |3649 |7213 | 0 | 0 | 0 |7768 | 0 | 0.000000e+00 | 3.520000e+02 | Inf
5.79/5.88 o 344
5.79/5.88 c * 5.6s| 19074 | 14907 | 0 | 0.0 | 27M|1899 | - |3649 |7175 | 0 | 0 | 0 |7768 | 0 | 0.000000e+00 | 3.440000e+02 | Inf
5.79/5.89 o 318
5.79/5.89 c * 5.6s| 19075 | 14727 | 0 | 0.0 | 26M|1899 | - |3649 |7175 | 0 | 0 | 0 |7768 | 0 | 0.000000e+00 | 3.180000e+02 | Inf
5.99/6.06 o 307
5.99/6.06 c * 5.8s| 19458 | 14989 | 0 | 0.0 | 27M|1899 | - |3649 |7018 | 0 | 0 | 0 |7833 | 0 | 0.000000e+00 | 3.070000e+02 | Inf
5.99/6.07 o 306
5.99/6.07 c * 5.8s| 19459 | 14987 | 0 | 0.0 | 27M|1899 | - |3649 |7018 | 0 | 0 | 0 |7833 | 0 | 0.000000e+00 | 3.060000e+02 | Inf
6.09/6.12 o 301
6.09/6.12 c * 5.8s| 19572 | 15062 | 0 | 0.0 | 27M|1899 | - |3649 |6972 | 0 | 0 | 0 |7839 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
6.09/6.12 o 273
6.09/6.12 c * 5.8s| 19573 | 14741 | 0 | 0.0 | 27M|1899 | - |3649 |6972 | 0 | 0 | 0 |7839 | 0 | 0.000000e+00 | 2.730000e+02 | Inf
6.09/6.16 o 265
6.09/6.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.16 c * 5.9s| 19658 | 14671 | 0 | 0.0 | 27M|1899 | - |3649 |6948 | 0 | 0 | 0 |7849 | 0 | 0.000000e+00 | 2.650000e+02 | Inf
6.19/6.23 o 252
6.19/6.23 c * 6.0s| 19790 | 14598 | 0 | 0.0 | 27M|1899 | - |3649 |6880 | 0 | 0 | 0 |7881 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
6.19/6.28 o 244
6.19/6.28 c * 6.0s| 19911 | 14677 | 0 | 0.0 | 27M|1899 | - |3649 |6864 | 0 | 0 | 0 |7891 | 0 | 0.000000e+00 | 2.440000e+02 | Inf
6.19/6.29 o 207
6.19/6.29 c * 6.0s| 19912 | 14362 | 0 | 0.0 | 27M|1899 | - |3649 |6864 | 0 | 0 | 0 |7891 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
6.30/6.33 c 6.0s| 20000 | 14447 | 0 | 0.0 | 27M|1899 | - |3649 |6815 | 0 | 0 | 0 |7908 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
6.39/6.43 o 190
6.39/6.43 c * 6.2s| 20206 | 14446 | 0 | 0.0 | 27M|1899 | - |3649 |6812 | 0 | 0 | 0 |7936 | 0 | 0.000000e+00 | 1.900000e+02 | Inf
6.39/6.44 o 136
6.39/6.44 c * 6.2s| 20218 | 13309 | 0 | 0.0 | 26M|1899 | - |3649 |6812 | 0 | 0 | 0 |7936 | 0 | 0.000000e+00 | 1.360000e+02 | Inf
6.60/6.65 o 119
6.60/6.65 c * 6.4s| 20671 | 13602 | 0 | 0.0 | 27M|1899 | - |3649 |6756 | 0 | 0 | 0 |8056 | 0 | 0.000000e+00 | 1.190000e+02 | Inf
7.29/7.37 o 111
7.29/7.37 c * 7.0s| 22241 | 14951 | 0 | 0.0 | 29M|1899 | - |3649 |6206 | 0 | 0 | 0 |8542 | 0 | 0.000000e+00 | 1.110000e+02 | Inf
7.50/7.52 o 108
7.50/7.52 c * 7.2s| 22565 | 15213 | 0 | 0.0 | 29M|1899 | - |3649 |6159 | 0 | 0 | 0 |8648 | 0 | 0.000000e+00 | 1.080000e+02 | Inf
7.50/7.59 o 94
7.50/7.59 c * 7.3s| 22712 | 15064 | 0 | 0.0 | 29M|1899 | - |3649 |6198 | 0 | 0 | 0 |8715 | 0 | 0.000000e+00 | 9.400000e+01 | Inf
7.99/8.07 o 58
7.99/8.07 c * 7.7s| 23834 | 14590 | 0 | 0.0 | 29M|1899 | - |3649 |5994 | 0 | 0 | 0 |8985 | 0 | 0.000000e+00 | 5.800000e+01 | Inf
8.09/8.17 o 55
8.09/8.17 c * 7.8s| 24058 | 14731 | 0 | 0.0 | 29M|1899 | - |3649 |5956 | 0 | 0 | 0 |9054 | 0 | 0.000000e+00 | 5.500000e+01 | Inf
8.19/8.26 o 35
8.19/8.26 c * 7.9s| 24270 | 13169 | 0 | 0.0 | 28M|1899 | - |3649 |5954 | 0 | 0 | 0 |9133 | 0 | 0.000000e+00 | 3.500000e+01 | Inf
8.39/8.46 o 30
8.39/8.46 c * 8.1s| 24768 | 13512 | 0 | 0.0 | 29M|1899 | - |3649 |5910 | 0 | 0 | 0 |9351 | 0 | 0.000000e+00 | 3.000000e+01 | Inf
8.39/8.46 o 10
8.39/8.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.46 c * 8.1s| 24769 | 12752 | 0 | 0.0 | 29M|1899 | - |3649 |5910 | 0 | 0 | 0 |9351 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
10.39/10.48 c 10.1s| 30000 | 17266 | 0 | 0.0 | 43M|1899 | - |3649 |6169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
11.69/11.74 o 8
11.69/11.74 c *11.3s| 33450 | 20145 | 0 | 0.0 | 50M|1899 | - |3649 |6569 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
11.69/11.74 o 5
11.69/11.74 c *11.3s| 33451 | 20062 | 0 | 0.0 | 50M|1899 | - |3649 |6569 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
13.99/14.02 c 13.5s| 40000 | 25449 | 0 | 0.0 | 62M|1899 | - |3649 |7736 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
17.40/17.41 c 16.8s| 50000 | 33373 | 0 | 0.0 | 73M|1899 | - |3649 |7785 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
20.99/21.09 c 20.3s| 60000 | 40830 | 0 | 0.0 | 82M|1899 | - |3649 |9251 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
24.90/24.98 c 24.1s| 70000 | 48061 | 0 | 0.0 | 91M|1899 | - |3649 | 10k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
29.49/29.51 c 28.5s| 80000 | 54714 | 0 | 0.0 | 100M|1899 | - |3649 | 11k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
34.49/34.58 c 33.5s| 90000 | 60970 | 0 | 0.0 | 110M|1899 | - |3649 | 13k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
41.09/41.15 c 39.9s|100000 | 66052 | 0 | 0.0 | 120M|1899 | - |3649 | 15k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
49.80/49.87 c 48.5s|110000 | 70356 | 0 | 0.0 | 144M|1899 | - |3649 |8385 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
56.79/56.81 c 55.3s|120000 | 76799 | 0 | 0.0 | 178M|1899 | - |3649 | 10k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
61.60/61.61 c 59.9s|130000 | 84359 | 0 | 0.0 | 193M|1899 | - |3649 | 11k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
67.59/67.63 c 65.7s|140000 | 91939 | 0 | 0.0 | 234M|1899 | - |3649 | 10k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
73.60/73.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.60/73.60 c 71.6s|150000 | 99332 | 0 | 0.0 | 251M|1899 | - |3649 | 10k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
79.69/79.76 c 77.6s|160000 |106797 | 0 | 0.0 | 266M|1899 | - |3649 | 12k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
87.39/87.41 c 85.0s|170000 |113405 | 0 | 0.0 | 280M|1899 | - |3649 | 12k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
92.20/92.26 c 89.8s|180000 |121669 | 0 | 0.0 | 294M|1899 | - |3649 | 13k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
95.49/95.59 o 3
95.49/95.59 c *93.0s|186147 |126202 | 0 | 0.0 | 300M|1899 | - |3649 | 14k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
97.70/97.80 c 95.2s|190000 |129241 | 0 | 0.0 | 304M|1899 | - |3649 | 14k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
104.19/104.20 c 101s|200000 |136721 | 0 | 0.0 | 317M|1899 | - |3649 | 16k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
111.20/111.25 c 108s|210000 |143900 | 0 | 0.0 | 330M|1899 | - |3649 | 18k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
119.90/119.94 c 117s|220000 |150335 | 0 | 0.0 | 343M|1899 | - |3649 | 20k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
126.99/127.04 c 124s|230000 |157411 | 0 | 0.0 | 355M|1899 | - |3649 | 17k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
133.19/133.23 c 130s|240000 |164600 | 0 | 0.0 | 367M|1899 | - |3649 | 18k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.70/139.72 c 136s|250000 |171798 | 0 | 0.0 | 379M|1899 | - |3649 | 19k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
146.00/146.06 c 142s|260000 |178793 | 0 | 0.0 | 389M|1899 | - |3649 | 21k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
152.39/152.46 c 149s|270000 |186153 | 0 | 0.0 | 400M|1899 | - |3649 | 20k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
159.30/159.37 c 155s|280000 |193230 | 0 | 0.0 | 410M|1899 | - |3649 | 20k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
166.29/166.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.29/166.33 c 162s|290000 |200334 | 0 | 0.0 | 423M|1899 | - |3649 | 20k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
172.20/172.28 c 168s|300000 |208031 | 0 | 0.0 | 434M|1899 | - |3649 | 22k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
180.89/180.95 c 177s|310000 |214331 | 0 | 0.0 | 443M|1899 | - |3649 | 21k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.39/186.42 c 182s|320000 |222352 | 0 | 0.0 | 454M|1899 | - |3649 | 22k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
195.20/195.24 c 191s|330000 |228272 | 0 | 0.0 | 463M|1899 | - |3649 | 25k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
201.39/201.46 c 197s|340000 |235852 | 0 | 0.0 | 474M|1899 | - |3649 | 24k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
208.10/208.19 c 203s|350000 |243005 | 0 | 0.0 | 483M|1899 | - |3649 | 23k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
215.30/215.36 c 210s|360000 |249756 | 0 | 0.0 | 492M|1899 | - |3649 | 22k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
221.69/221.77 c 217s|370000 |256710 | 0 | 0.0 | 497M|1899 | - |3649 | 11k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
225.69/225.78 c 221s|380000 |264755 | 0 | 0.0 | 507M|1899 | - |3649 |8900 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
231.00/231.08 c 226s|390000 |271070 | 0 | 0.0 | 517M|1899 | - |3649 | 12k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
237.10/237.13 c 232s|400000 |277183 | 0 | 0.0 | 526M|1899 | - |3649 | 13k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
243.29/243.40 c 238s|410000 |283245 | 0 | 0.0 | 535M|1899 | - |3649 | 14k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
249.70/249.73 c 244s|420000 |289360 | 0 | 0.0 | 544M|1899 | - |3649 | 15k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
256.59/256.69 c 251s|430000 |295077 | 0 | 0.0 | 553M|1899 | - |3649 | 16k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
263.70/263.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.70/263.79 c 258s|440000 |300750 | 0 | 0.0 | 561M|1899 | - |3649 | 16k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
271.00/271.04 c 265s|450000 |306363 | 0 | 0.0 | 570M|1899 | - |3649 | 17k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
278.90/278.96 c 273s|460000 |311645 | 0 | 0.0 | 579M|1899 | - |3649 | 17k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
287.69/287.75 c 281s|470000 |316362 | 0 | 0.0 | 588M|1899 | - |3649 | 19k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
296.80/296.90 c 290s|480000 |320997 | 0 | 0.0 | 597M|1899 | - |3649 | 19k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
306.80/306.83 c 300s|490000 |325247 | 0 | 0.0 | 606M|1899 | - |3649 | 20k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
317.00/317.01 c 310s|500000 |329511 | 0 | 0.0 | 615M|1899 | - |3649 | 22k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
327.80/327.89 c 321s|510000 |333554 | 0 | 0.0 | 625M|1899 | - |3649 | 23k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
339.39/339.43 c 332s|520000 |337314 | 0 | 0.0 | 634M|1899 | - |3649 | 24k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
352.20/352.25 c 345s|530000 |340403 | 0 | 0.0 | 642M|1899 | - |3649 | 25k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
365.30/365.37 c 358s|540000 |343626 | 0 | 0.0 | 651M|1899 | - |3649 | 26k| 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
379.00/379.05 c 371s|550000 |346559 | 0 | 0.0 | 660M|1899 | - |3649 | 27k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
393.20/393.29 c 386s|560000 |349343 | 0 | 0.0 | 669M|1899 | - |3649 | 30k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
409.10/409.11 c 401s|570000 |351562 | 0 | 0.0 | 678M|1899 | - |3649 | 31k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
427.09/427.18 c 419s|580000 |352892 | 0 | 0.0 | 685M|1899 | - |3649 | 34k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
449.49/449.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.49/449.51 c 441s|590000 |352519 | 0 | 0.0 | 688M|1899 | - |3649 | 34k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
456.80/456.89 c 448s|600000 |360111 | 0 | 0.0 | 689M|1899 | - |3649 | 13k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
463.89/463.93 c 455s|610000 |367034 | 0 | 0.0 | 699M|1899 | - |3649 | 13k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
472.10/472.19 c 463s|620000 |373261 | 0 | 0.0 | 711M|1899 | - |3649 | 15k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
481.90/481.96 c 473s|630000 |378771 | 0 | 0.0 | 723M|1899 | - |3649 | 18k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
493.40/493.49 c 484s|640000 |383607 | 0 | 0.0 | 735M|1899 | - |3649 | 21k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
502.30/502.40 o 2
502.30/502.40 c * 493s|646318 |373161 | 0 | 0.0 | 723M|1899 | - |3649 | 21k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
507.90/507.95 c 499s|650000 |374261 | 0 | 0.0 | 728M|1899 | - |3649 | 22k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
523.30/523.34 c 514s|660000 |377756 | 0 | 0.0 | 736M|1899 | - |3649 | 20k| 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
529.70/529.71 c 520s|670000 |385536 | 0 | 0.0 | 745M|1899 | - |3649 | 16k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
535.90/535.94 c 526s|680000 |393055 | 0 | 0.0 | 755M|1899 | - |3649 | 17k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
543.30/543.36 c 533s|690000 |399881 | 0 | 0.0 | 767M|1899 | - |3649 | 19k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
552.50/552.54 c 542s|700000 |405712 | 0 | 0.0 | 780M|1899 | - |3649 | 21k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
563.60/563.65 c 553s|710000 |410838 | 0 | 0.0 | 793M|1899 | - |3649 | 24k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
578.90/578.99 c 568s|720000 |414129 | 0 | 0.0 | 806M|1899 | - |3649 | 27k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
594.90/594.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.90/594.94 c 584s|730000 |417837 | 0 | 0.0 | 815M|1899 | - |3649 | 24k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
603.20/603.24 c 592s|740000 |424948 | 0 | 0.0 | 824M|1899 | - |3649 | 19k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
610.80/610.89 c 600s|750000 |431901 | 0 | 0.0 | 835M|1899 | - |3649 | 20k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
619.61/619.62 c 608s|760000 |438179 | 0 | 0.0 | 847M|1899 | - |3649 | 21k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
629.60/629.61 c 618s|770000 |443805 | 0 | 0.0 | 856M|1899 | - |3649 | 12k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
636.60/636.67 c 625s|780000 |448810 | 0 | 0.0 | 864M|1899 | - |3649 | 13k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
644.51/644.56 c 633s|790000 |453164 | 0 | 0.0 | 873M|1899 | - |3649 | 13k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
652.31/652.35 c 640s|800000 |457550 | 0 | 0.0 | 880M|1899 | - |3649 | 13k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
659.20/659.27 c 647s|810000 |462664 | 0 | 0.0 | 887M|1899 | - |3649 | 12k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
665.10/665.18 c 653s|820000 |468678 | 0 | 0.0 | 894M|1899 | - |3649 | 12k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
670.30/670.30 c 658s|830000 |475460 | 0 | 0.0 | 902M|1899 | - |3649 | 12k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
675.41/675.44 c 663s|840000 |482340 | 0 | 0.0 | 909M|1899 | - |3649 | 11k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
680.71/680.71 c 668s|850000 |489003 | 0 | 0.0 | 918M|1899 | - |3649 | 12k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
686.00/686.07 c 673s|860000 |495541 | 0 | 0.0 | 925M|1899 | - |3649 | 12k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
691.61/691.64 c 679s|870000 |501875 | 0 | 0.0 | 933M|1899 | - |3649 | 13k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
697.60/697.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.60/697.62 c 685s|880000 |507944 | 0 | 0.0 | 941M|1899 | - |3649 | 13k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
704.00/704.05 c 691s|890000 |513576 | 0 | 0.0 | 950M|1899 | - |3649 | 13k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
710.91/710.96 c 698s|900000 |518780 | 0 | 0.0 | 958M|1899 | - |3649 | 14k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.10/718.18 c 705s|910000 |523756 | 0 | 0.0 | 966M|1899 | - |3649 | 14k| 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.91/726.00 c 712s|920000 |528277 | 0 | 0.0 | 974M|1899 | - |3649 | 15k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
734.50/734.55 c 721s|930000 |532337 | 0 | 0.0 | 981M|1899 | - |3649 | 16k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
744.51/744.57 c 731s|940000 |535320 | 0 | 0.0 | 988M|1899 | - |3649 | 18k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
752.80/752.80 c 739s|950000 |540043 | 0 | 0.0 | 992M|1899 | - |3649 | 11k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
757.00/757.02 c 743s|960000 |547933 | 0 | 0.0 |1000M|1899 | - |3649 | 10k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
761.11/761.16 c 747s|970000 |555735 | 0 | 0.0 |1008M|1899 | - |3649 | 11k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.40/765.48 c 751s|980000 |563377 | 0 | 0.0 |1015M|1899 | - |3649 | 11k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.91/769.95 c 755s|990000 |570785 | 0 | 0.0 |1023M|1899 | - |3649 | 11k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
775.10/775.19 c 761s| 1000k|577571 | 0 | 0.0 |1032M|1899 | - |3649 | 12k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
780.70/780.71 c 766s| 1010k|584061 | 0 | 0.0 |1040M|1899 | - |3649 | 12k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.30/786.33 c 771s| 1020k|590615 | 0 | 0.0 |1048M|1899 | - |3649 | 12k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
792.10/792.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.10/792.18 c 777s| 1030k|596788 | 0 | 0.0 |1056M|1899 | - |3649 | 12k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
797.91/797.98 c 783s| 1040k|603098 | 0 | 0.0 |1064M|1899 | - |3649 | 12k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.90/803.94 c 789s| 1050k|609299 | 0 | 0.0 |1072M|1899 | - |3649 | 12k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.30/810.37 c 795s| 1060k|614958 | 0 | 0.0 |1080M|1899 | - |3649 | 13k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
816.61/816.62 c 801s| 1070k|620870 | 0 | 0.0 |1088M|1899 | - |3649 | 13k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.71/822.76 c 807s| 1080k|626877 | 0 | 0.0 |1095M|1899 | - |3649 | 13k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.11/829.12 c 813s| 1090k|632681 | 0 | 0.0 |1103M|1899 | - |3649 | 13k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.50/835.56 c 819s| 1100k|638448 | 0 | 0.0 |1111M|1899 | - |3649 | 13k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.20/842.29 c 826s| 1110k|644016 | 0 | 0.0 |1118M|1899 | - |3649 | 13k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
849.00/849.01 c 833s| 1120k|649559 | 0 | 0.0 |1126M|1899 | - |3649 | 13k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
856.40/856.46 c 840s| 1130k|654532 | 0 | 0.0 |1133M|1899 | - |3649 | 13k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
863.51/863.51 c 847s| 1140k|659853 | 0 | 0.0 |1140M|1899 | - |3649 | 13k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.41/870.49 c 854s| 1150k|665240 | 0 | 0.0 |1148M|1899 | - |3649 | 14k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.51/877.55 c 861s| 1160k|670598 | 0 | 0.0 |1155M|1899 | - |3649 | 14k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
884.61/884.66 c 868s| 1170k|675943 | 0 | 0.0 |1162M|1899 | - |3649 | 14k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
892.20/892.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.20/892.29 c 875s| 1180k|680909 | 0 | 0.0 |1170M|1899 | - |3649 | 15k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.40/899.48 c 882s| 1190k|686249 | 0 | 0.0 |1177M|1899 | - |3649 | 15k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.61/906.67 c 889s| 1200k|691605 | 0 | 0.0 |1184M|1899 | - |3649 | 15k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
914.70/914.73 c 897s| 1210k|696430 | 0 | 0.0 |1191M|1899 | - |3649 | 15k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.21/922.27 c 904s| 1220k|701564 | 0 | 0.0 |1199M|1899 | - |3649 | 16k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.81/930.82 c 913s| 1230k|706100 | 0 | 0.0 |1206M|1899 | - |3649 | 16k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
939.70/939.71 c 921s| 1240k|710364 | 0 | 0.0 |1214M|1899 | - |3649 | 17k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
949.01/949.02 c 931s| 1250k|714385 | 0 | 0.0 |1222M|1899 | - |3649 | 18k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
959.21/959.24 c 941s| 1260k|717767 | 0 | 0.0 |1229M|1899 | - |3649 | 18k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.60/970.66 c 952s| 1270k|720166 | 0 | 0.0 |1236M|1899 | - |3649 | 20k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
979.91/979.95 c 961s| 1280k|724386 | 0 | 0.0 |1240M|1899 | - |3649 | 12k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
984.60/984.64 c 966s| 1290k|731803 | 0 | 0.0 |1247M|1899 | - |3649 | 11k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
989.80/989.88 c 971s| 1300k|738588 | 0 | 0.0 |1256M|1899 | - |3649 | 12k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.71/995.73 c 976s| 1310k|744821 | 0 | 0.0 |1265M|1899 | - |3649 | 14k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1002.50/1002.53 c 983s| 1320k|750297 | 0 | 0.0 |1274M|1899 | - |3649 | 15k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1010.51/1010.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1010.51/1010.50 c 991s| 1330k|754710 | 0 | 0.0 |1283M|1899 | - |3649 | 17k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1021.31/1021.38 c 1002s| 1340k|756863 | 0 | 0.0 |1290M|1899 | - |3649 | 20k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1026.70/1026.75 c 1007s| 1350k|764034 | 0 | 0.0 |1296M|1899 | - |3649 | 11k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1031.51/1031.59 c 1011s| 1360k|771277 | 0 | 0.0 |1305M|1899 | - |3649 | 12k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1037.01/1037.02 c 1017s| 1370k|777968 | 0 | 0.0 |1313M|1899 | - |3649 | 13k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1043.21/1043.21 c 1023s| 1380k|784012 | 0 | 0.0 |1322M|1899 | - |3649 | 15k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1050.61/1050.69 c 1030s| 1390k|789046 | 0 | 0.0 |1330M|1899 | - |3649 | 17k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.10/1060.16 c 1039s| 1400k|792545 | 0 | 0.0 |1338M|1899 | - |3649 | 18k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1069.41/1069.42 c 1048s| 1410k|796497 | 0 | 0.0 |1343M|1899 | - |3649 | 12k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.61/1073.63 c 1053s| 1420k|804344 | 0 | 0.0 |1351M|1899 | - |3649 | 12k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1078.01/1078.08 c 1057s| 1430k|811875 | 0 | 0.0 |1359M|1899 | - |3649 | 12k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.61/1082.69 c 1061s| 1440k|819254 | 0 | 0.0 |1367M|1899 | - |3649 | 13k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.30/1087.35 c 1066s| 1450k|826438 | 0 | 0.0 |1374M|1899 | - |3649 | 14k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1093.42/1093.40 c 1072s| 1460k|832452 | 0 | 0.0 |1383M|1899 | - |3649 | 15k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1101.41/1101.42 c 1080s| 1470k|836747 | 0 | 0.0 |1391M|1899 | - |3649 | 17k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1111.31/1111.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.31/1111.36 c 1089s| 1480k|839632 | 0 | 0.0 |1399M|1899 | - |3649 | 18k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.91/1118.99 c 1097s| 1490k|844584 | 0 | 0.0 |1404M|1899 | - |3649 | 12k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1124.22/1124.28 c 1102s| 1500k|851362 | 0 | 0.0 |1412M|1899 | - |3649 | 12k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.51/1129.58 c 1107s| 1510k|858093 | 0 | 0.0 |1420M|1899 | - |3649 | 13k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.51/1135.56 c 1113s| 1520k|864217 | 0 | 0.0 |1429M|1899 | - |3649 | 14k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1142.11/1142.15 c 1119s| 1530k|869756 | 0 | 0.0 |1438M|1899 | - |3649 | 15k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1149.71/1149.75 c 1127s| 1540k|874451 | 0 | 0.0 |1446M|1899 | - |3649 | 14k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1157.31/1157.32 c 1134s| 1550k|878981 | 0 | 0.0 |1455M|1899 | - |3649 | 14k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.61/1164.67 c 1142s| 1560k|883712 | 0 | 0.0 |1462M|1899 | - |3649 | 13k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1171.21/1171.21 c 1148s| 1570k|889219 | 0 | 0.0 |1469M|1899 | - |3649 | 13k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1176.92/1176.91 c 1153s| 1580k|895438 | 0 | 0.0 |1476M|1899 | - |3649 | 13k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1182.71/1182.78 c 1159s| 1590k|901489 | 0 | 0.0 |1484M|1899 | - |3649 | 13k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.21/1189.25 c 1166s| 1600k|907101 | 0 | 0.0 |1493M|1899 | - |3649 | 14k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1196.51/1196.53 c 1173s| 1610k|912066 | 0 | 0.0 |1502M|1899 | - |3649 | 15k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1205.21/1205.27 c 1181s| 1620k|915950 | 0 | 0.0 |1510M|1899 | - |3649 | 16k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1215.21/1215.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.21/1215.29 c 1191s| 1630k|919117 | 0 | 0.0 |1515M|1899 | - |3649 | 13k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1219.51/1219.57 c 1195s| 1640k|927020 | 0 | 0.0 |1523M|1899 | - |3649 | 12k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1223.72/1223.74 c 1199s| 1650k|934922 | 0 | 0.0 |1530M|1899 | - |3649 | 12k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.91/1227.93 c 1203s| 1660k|942737 | 0 | 0.0 |1538M|1899 | - |3649 | 12k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.12/1232.19 c 1207s| 1670k|950434 | 0 | 0.0 |1545M|1899 | - |3649 | 12k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1236.72/1236.77 c 1212s| 1680k|957897 | 0 | 0.0 |1552M|1899 | - |3649 | 13k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1241.41/1241.40 c 1216s| 1690k|965300 | 0 | 0.0 |1560M|1899 | - |3649 | 13k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.41/1246.44 c 1221s| 1700k|972277 | 0 | 0.0 |1568M|1899 | - |3649 | 14k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1251.51/1251.54 c 1226s| 1710k|979285 | 0 | 0.0 |1575M|1899 | - |3649 | 14k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.91/1257.98 c 1233s| 1720k|985086 | 0 | 0.0 |1583M|1899 | - |3649 | 15k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1265.21/1265.25 c 1240s| 1730k|990225 | 0 | 0.0 |1592M|1899 | - |3649 | 16k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1273.01/1273.07 c 1247s| 1740k|995006 | 0 | 0.0 |1600M|1899 | - |3649 | 16k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1281.42/1281.41 c 1256s| 1750k|999418 | 0 | 0.0 |1607M|1899 | - |3649 | 17k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.62/1290.67 c 1265s| 1760k| 1003k| 0 | 0.0 |1615M|1899 | - |3649 | 18k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.71/1301.73 c 1275s| 1770k| 1005k| 0 | 0.0 |1621M|1899 | - |3649 | 19k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1310.41/1310.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.41/1310.44 c 1284s| 1780k| 1010k| 0 | 0.0 |1626M|1899 | - |3649 | 12k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.71/1314.77 c 1288s| 1790k| 1017k| 0 | 0.0 |1634M|1899 | - |3649 | 12k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1319.41/1319.43 c 1293s| 1800k| 1025k| 0 | 0.0 |1642M|1899 | - |3649 | 13k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1324.02/1324.04 c 1297s| 1810k| 1033k| 0 | 0.0 |1649M|1899 | - |3649 | 13k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1328.72/1328.76 c 1302s| 1820k| 1040k| 0 | 0.0 |1657M|1899 | - |3649 | 13k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.51/1333.54 c 1307s| 1830k| 1047k| 0 | 0.0 |1664M|1899 | - |3649 | 14k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1338.72/1338.71 c 1312s| 1840k| 1054k| 0 | 0.0 |1672M|1899 | - |3649 | 14k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1343.91/1343.91 c 1317s| 1850k| 1062k| 0 | 0.0 |1679M|1899 | - |3649 | 15k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.52/1350.55 c 1323s| 1860k| 1068k| 0 | 0.0 |1688M|1899 | - |3649 | 15k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.62/1357.64 c 1330s| 1870k| 1073k| 0 | 0.0 |1695M|1899 | - |3649 | 16k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1365.02/1365.09 c 1337s| 1880k| 1078k| 0 | 0.0 |1703M|1899 | - |3649 | 17k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1373.31/1373.30 c 1345s| 1890k| 1083k| 0 | 0.0 |1711M|1899 | - |3649 | 17k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.31/1382.37 c 1354s| 1900k| 1087k| 0 | 0.0 |1719M|1899 | - |3649 | 18k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.71/1392.71 c 1364s| 1910k| 1091k| 0 | 0.0 |1727M|1899 | - |3649 | 20k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1405.11/1405.19 c 1377s| 1920k| 1093k| 0 | 0.0 |1733M|1899 | - |3649 | 20k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1410.12/1410.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.12/1410.14 c 1382s| 1930k| 1100k| 0 | 0.0 |1738M|1899 | - |3649 | 12k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.92/1414.97 c 1386s| 1940k| 1108k| 0 | 0.0 |1745M|1899 | - |3649 | 13k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1419.91/1419.92 c 1391s| 1950k| 1115k| 0 | 0.0 |1753M|1899 | - |3649 | 14k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1425.01/1425.04 c 1396s| 1960k| 1122k| 0 | 0.0 |1761M|1899 | - |3649 | 14k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.41/1430.40 c 1401s| 1970k| 1129k| 0 | 0.0 |1769M|1899 | - |3649 | 15k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1436.31/1436.30 c 1407s| 1980k| 1136k| 0 | 0.0 |1776M|1899 | - |3649 | 16k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.32/1444.36 c 1415s| 1990k| 1140k| 0 | 0.0 |1785M|1899 | - |3649 | 17k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.92/1453.98 c 1424s| 2000k| 1144k| 0 | 0.0 |1793M|1899 | - |3649 | 19k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1463.32/1463.37 c 1434s| 2010k| 1148k| 0 | 0.0 |1797M|1899 | - |3649 | 13k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.81/1467.83 c 1438s| 2020k| 1155k| 0 | 0.0 |1805M|1899 | - |3649 | 13k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.42/1472.42 c 1442s| 2030k| 1163k| 0 | 0.0 |1812M|1899 | - |3649 | 13k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.22/1477.25 c 1447s| 2040k| 1170k| 0 | 0.0 |1820M|1899 | - |3649 | 14k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1482.83/1482.85 c 1453s| 2050k| 1177k| 0 | 0.0 |1828M|1899 | - |3649 | 15k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.92/1489.93 c 1460s| 2060k| 1182k| 0 | 0.0 |1837M|1899 | - |3649 | 16k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.32/1498.37 c 1468s| 2070k| 1186k| 0 | 0.0 |1845M|1899 | - |3649 | 18k| 0 | 0 | 0 |1848k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1508.72/1508.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.72/1508.72 c 1478s| 2080k| 1189k| 0 | 0.0 |1853M|1899 | - |3649 | 19k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1516.52/1516.51 c 1486s| 2090k| 1195k| 0 | 0.0 |1858M|1899 | - |3649 | 12k| 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.42/1521.41 c 1490s| 2100k| 1202k| 0 | 0.0 |1867M|1899 | - |3649 | 13k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.92/1526.97 c 1496s| 2110k| 1208k| 0 | 0.0 |1875M|1899 | - |3649 | 14k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.02/1533.09 c 1502s| 2120k| 1214k| 0 | 0.0 |1884M|1899 | - |3649 | 14k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1539.82/1539.86 c 1508s| 2130k| 1220k| 0 | 0.0 |1892M|1899 | - |3649 | 15k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1547.41/1547.42 c 1516s| 2140k| 1225k| 0 | 0.0 |1901M|1899 | - |3649 | 17k| 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1556.22/1556.25 c 1524s| 2150k| 1229k| 0 | 0.0 |1909M|1899 | - |3649 | 18k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1568.02/1568.07 c 1536s| 2160k| 1230k| 0 | 0.0 |1914M|1899 | - |3649 | 17k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.82/1579.85 c 1548s| 2170k| 1233k| 0 | 0.0 |1921M|1899 | - |3649 | 16k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.42/1592.43 c 1560s| 2180k| 1236k| 0 | 0.0 |1928M|1899 | - |3649 | 17k| 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.22/1605.25 c 1573s| 2190k| 1238k| 0 | 0.0 |1936M|1899 | - |3649 | 18k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1618.62/1618.67 c 1586s| 2200k| 1240k| 0 | 0.0 |1944M|1899 | - |3649 | 18k| 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1631.92/1631.91 c 1599s| 2210k| 1243k| 0 | 0.0 |1951M|1899 | - |3649 | 20k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1646.41/1646.48 c 1613s| 2220k| 1244k| 0 | 0.0 |1957M|1899 | - |3649 | 19k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1659.92/1659.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.92/1659.99 c 1627s| 2230k| 1247k| 0 | 0.0 |1965M|1899 | - |3649 | 21k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.62/1674.60 c 1641s| 2240k| 1249k| 0 | 0.0 |1971M|1899 | - |3649 | 21k| 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.53/1688.55 c 1655s| 2250k| 1251k| 0 | 0.0 |1978M|1899 | - |3649 | 22k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1703.93/1703.99 c 1670s| 2260k| 1253k| 0 | 0.0 |1984M|1899 | - |3649 | 21k| 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1718.42/1718.43 c 1685s| 2270k| 1255k| 0 | 0.0 |1991M|1899 | - |3649 | 21k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1734.32/1734.36 c 1700s| 2280k| 1257k| 0 | 0.0 |1996M|1899 | - |3649 | 22k| 0 | 0 | 0 |2055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.92/1749.91 c 1716s| 2290k| 1259k| 0 | 0.0 |2003M|1899 | - |3649 | 21k| 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1767.02/1767.01 c 1733s| 2300k| 1259k| 0 | 0.0 |2008M|1899 | - |3649 | 24k| 0 | 0 | 0 |2080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1784.42/1784.48 c 1750s| 2310k| 1260k| 0 | 0.0 |2012M|1899 | - |3649 | 23k| 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1765.13
1800.02/1800.00 c Solving Nodes : 2318908
1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (32 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.03 s SATISFIABLE
1800.02/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.02/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.02/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.02/1800.03 v -x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.03 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.02/1800.03 v -x125 x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.02/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.02/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.02/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.02/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.02/1800.03 v -x1
1800.02/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.03 c Solving Time : 1765.13
1800.02/1800.03 c Original Problem :
1800.02/1800.03 c Problem name : HOME/instance-2694135-1277907208.wbo
1800.02/1800.03 c Variables : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.02/1800.03 c Constraints : 4493 initial, 4493 maximal
1800.02/1800.03 c Presolved Problem :
1800.02/1800.03 c Problem name : t_HOME/instance-2694135-1277907208.wbo
1800.02/1800.03 c Variables : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.02/1800.03 c Constraints : 4298 initial, 41571 maximal
1800.02/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.03 c trivial : 0.00 76 0 0 0 0 0 0 0
1800.02/1800.03 c dualfix : 0.00 76 0 0 0 0 0 0 0
1800.02/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.03 c indicator : 0.01 0 0 0 0 0 76 0 0
1800.02/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c linear : 0.06 0 0 0 1809 0 119 96 0
1800.02/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c root node : - 1687 - - 3374 - - - -
1800.02/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c indicator : 1709 0 5426827 0 1538825 13 2564056 0 0 0
1800.02/1800.03 c setppc : 11 0 7239419 0 1930219 33264 3466147 0 0 0
1800.02/1800.03 c linear : 1709 0 7218594 0 1932016 374384 36050025 0 0 0
1800.02/1800.03 c logicor : 869+ 0 4633538 0 1932026 222662 7828802 0 0 0
1800.02/1800.03 c bounddisjunction : 0+ 0 45731 0 0 0 5 0 0 0
1800.02/1800.03 c countsols : 0 0 0 0 1932026 0 0 0 0 0
1800.02/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.03 c indicator : 6.65 0.00 4.61 0.00 2.04
1800.02/1800.03 c setppc : 23.33 0.00 20.62 0.00 2.71
1800.02/1800.03 c linear : 298.28 0.00 296.77 0.00 1.51
1800.02/1800.03 c logicor : 491.63 0.00 438.21 0.00 53.42
1800.02/1800.03 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.02/1800.03 c countsols : 0.41 0.00 0.00 0.00 0.41
1800.02/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.03 c vbounds : 2.14 2 0 0
1800.02/1800.03 c rootredcost : 1.64 0 0 0
1800.02/1800.03 c pseudoobj : 225.48 7251968 243 2558724
1800.02/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.03 c propagation : 43.90 630553 630517 3125435 20.4 285246 10.5 -
1800.02/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c pseudo solution : 0.00 9 9 21 24.2 18 8.0 -
1800.02/1800.03 c applied globally : - - - 2106929 18.5 - - -
1800.02/1800.03 c applied locally : - - - 0 0.0 - - -
1800.02/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.03 c redcost : 0.00 0 0 0 0 0
1800.02/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.03 c intobj : 0.00 0 0 0 0 0
1800.02/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.03 c gomory : 0.00 0 0 0 0 0
1800.02/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.03 c cmir : 0.00 0 0 0 0 0
1800.02/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.03 c clique : 0.00 0 0 0 0 0
1800.02/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.03 c mcf : 0.00 0 0 0 0 0
1800.02/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.03 c Pricers : Time Calls Vars
1800.02/1800.03 c problem variables: 0.00 0 0
1800.02/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c inference : 26.43 1931994 0 0 0 0 3863988
1800.02/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c random : 0.00 0 0 0 0 0 0
1800.02/1800.03 c Primal Heuristics : Time Calls Found
1800.02/1800.03 c LP solutions : 0.00 - 0
1800.02/1800.03 c pseudo solutions : 0.03 - 32
1800.02/1800.03 c oneopt : 0.90 0 0
1800.02/1800.03 c trivial : 0.02 2 0
1800.02/1800.03 c simplerounding : 0.00 0 0
1800.02/1800.03 c zirounding : 0.00 0 0
1800.02/1800.03 c rounding : 0.00 0 0
1800.02/1800.03 c shifting : 0.00 0 0
1800.02/1800.03 c intshifting : 0.00 0 0
1800.02/1800.03 c twoopt : 0.00 0 0
1800.02/1800.03 c fixandinfer : 0.00 0 0
1800.02/1800.03 c feaspump : 0.00 0 0
1800.02/1800.03 c coefdiving : 0.00 0 0
1800.02/1800.03 c pscostdiving : 0.00 0 0
1800.02/1800.03 c fracdiving : 0.00 0 0
1800.02/1800.03 c veclendiving : 0.00 0 0
1800.02/1800.03 c intdiving : 0.00 0 0
1800.02/1800.03 c actconsdiving : 0.00 0 0
1800.02/1800.03 c objpscostdiving : 0.00 0 0
1800.02/1800.03 c rootsoldiving : 0.00 0 0
1800.02/1800.03 c linesearchdiving : 0.00 0 0
1800.02/1800.03 c guideddiving : 0.00 0 0
1800.02/1800.03 c octane : 0.00 0 0
1800.02/1800.03 c rens : 0.00 0 0
1800.02/1800.03 c rins : 0.00 0 0
1800.02/1800.03 c localbranching : 0.00 0 0
1800.02/1800.03 c mutation : 0.00 0 0
1800.02/1800.03 c crossover : 0.00 0 0
1800.02/1800.03 c dins : 0.00 0 0
1800.02/1800.03 c undercover : 0.00 0 0
1800.02/1800.03 c nlp : 0.77 0 0
1800.02/1800.03 c trysol : 0.65 1 0
1800.02/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.03 c (at root node) : - 0 0 0.00 -
1800.02/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.03 c B&B Tree :
1800.02/1800.03 c number of runs : 1
1800.02/1800.03 c nodes : 2318908
1800.02/1800.03 c nodes (total) : 2318908
1800.02/1800.03 c nodes left : 1261603
1800.02/1800.03 c max depth : 1899
1800.02/1800.03 c max depth (total): 1899
1800.02/1800.03 c backtracks : 335545 (14.5%)
1800.02/1800.03 c delayed cutoffs : 262142
1800.02/1800.03 c repropagations : 1213930 (14716862 domain reductions, 243693 cutoffs)
1800.02/1800.03 c avg switch length: 24.39
1800.02/1800.03 c switching time : 531.28
1800.02/1800.03 c Solution :
1800.02/1800.03 c Solutions found : 32 (32 improvements)
1800.02/1800.03 c First Solution : +6.06000000000000e+02 (in run 1, after 4507 nodes, 1.15 seconds, depth 509, found by <relaxation>)
1800.02/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 646318 nodes, 493.10 seconds, depth 91, found by <relaxation>)
1800.02/1800.03 c Dual Bound : +0.00000000000000e+00
1800.02/1800.03 c Gap : infinite
1800.02/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.03 c Root Iterations : 0