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-2694133-1277907069.wbo>
0.00/0.02 c original problem has 2087 variables (1159 bin, 0 int, 0 impl, 928 cont) and 3636 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.00/0.07 c (round 2) 0 del vars, 112 del conss, 928 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.07/0.09 c (round 3) 51 del vars, 262 del conss, 955 chg bounds, 150 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.07/0.09 c (round 4) 129 del vars, 295 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.09/0.11 c (round 5) 159 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.12 c (round 6) 162 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.16 c (0.1s) probing: 101/1078 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (7 rounds):
0.09/0.16 c 162 deleted vars, 298 deleted constraints, 958 tightened bounds, 0 added holes, 156 changed sides, 0 changed coefficients
0.09/0.16 c 1134 implications, 14 cliques
0.09/0.16 c presolved problem has 1925 variables (1078 bin, 0 int, 0 impl, 847 cont) and 3338 constraints
0.09/0.16 c 847 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 14 constraints of type <setppc>
0.09/0.16 c 847 constraints of type <linear>
0.09/0.16 c 1629 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.09
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 2 | 0 | - |7588k| 0 | - |1925 |3338 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.05 o 586
1.00/1.05 c * 0.9s| 3809 | 3297 | 0 | 0.0 | 10M|1024 | - |1925 |3990 | 0 | 0 | 0 | 924 | 0 | 0.000000e+00 | 5.860000e+02 | Inf
1.00/1.05 o 488
1.00/1.05 c * 0.9s| 3810 | 3296 | 0 | 0.0 | 10M|1024 | - |1925 |3990 | 0 | 0 | 0 | 924 | 0 | 0.000000e+00 | 4.880000e+02 | Inf
1.10/1.19 o 449
1.10/1.19 c * 1.0s| 4376 | 3826 | 0 | 0.0 | 10M|1024 | - |1925 |4024 | 0 | 0 | 0 |1000 | 0 | 0.000000e+00 | 4.490000e+02 | Inf
2.49/2.53 c 2.2s| 10000 | 8625 | 0 | 0.0 | 14M|1024 | - |1925 |4566 | 0 | 0 | 0 |3083 | 0 | 0.000000e+00 | 4.490000e+02 | Inf
5.19/5.24 c 4.6s| 20000 | 16402 | 0 | 0.0 | 21M|1024 | - |1925 |5348 | 0 | 0 | 0 |8294 | 0 | 0.000000e+00 | 4.490000e+02 | Inf
8.89/8.94 o 262
8.89/8.94 c * 7.9s| 29617 | 22102 | 0 | 0.0 | 28M|1024 | - |1925 |6728 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
8.99/9.05 c 8.0s| 30000 | 22459 | 0 | 0.0 | 28M|1024 | - |1925 |6454 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
9.09/9.16 o 252
9.09/9.16 c * 8.1s| 30338 | 22762 | 0 | 0.0 | 28M|1024 | - |1925 |6275 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.520000e+02 | Inf
9.09/9.16 o 198
9.09/9.16 c * 8.1s| 30339 | 22693 | 0 | 0.0 | 28M|1024 | - |1925 |6275 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
9.49/9.53 o 184
9.49/9.53 c * 8.5s| 31581 | 23826 | 0 | 0.0 | 29M|1024 | - |1925 |5917 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
9.49/9.53 o 181
9.49/9.53 c * 8.5s| 31582 | 23785 | 0 | 0.0 | 29M|1024 | - |1925 |5917 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
9.99/10.01 o 176
9.99/10.01 c * 8.9s| 33136 | 25175 | 0 | 0.0 | 30M|1024 | - |1925 |5665 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
10.29/10.33 o 124
10.29/10.33 c * 9.2s| 34134 | 25834 | 0 | 0.0 | 30M|1024 | - |1925 |5284 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
10.39/10.47 o 120
10.39/10.47 c * 9.3s| 34569 | 26187 | 0 | 0.0 | 31M|1024 | - |1925 |5326 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
10.49/10.52 o 115
10.49/10.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.52 c * 9.4s| 34742 | 26324 | 0 | 0.0 | 31M|1024 | - |1925 |5274 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
11.00/11.06 o 96
11.00/11.06 c * 9.8s| 36571 | 27832 | 0 | 0.0 | 32M|1024 | - |1925 |5029 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
11.00/11.06 o 91
11.00/11.06 c * 9.8s| 36572 | 27732 | 0 | 0.0 | 32M|1024 | - |1925 |5029 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
11.29/11.35 o 28
11.29/11.35 c *10.1s| 37551 | 25905 | 0 | 0.0 | 30M|1024 | - |1925 |5026 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
12.00/12.01 c 10.7s| 40000 | 28005 | 0 | 0.0 | 33M|1024 | - |1925 |4978 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
14.69/14.73 c 13.1s| 50000 | 35960 | 0 | 0.0 | 40M|1024 | - |1925 |6149 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
17.69/17.72 c 15.7s| 60000 | 43521 | 0 | 0.0 | 47M|1024 | - |1925 |6551 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
20.79/20.86 c 18.5s| 70000 | 50835 | 0 | 0.0 | 54M|1024 | - |1925 |6874 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
24.20/24.24 c 21.6s| 80000 | 57777 | 0 | 0.0 | 61M|1024 | - |1925 |7265 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
27.90/27.97 c 25.0s| 90000 | 64246 | 0 | 0.0 | 68M|1024 | - |1925 |7907 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
31.80/31.85 c 28.5s|100000 | 70516 | 0 | 0.0 | 75M|1024 | - |1925 |8526 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
35.89/35.90 c 32.3s|110000 | 76569 | 0 | 0.0 | 83M|1024 | - |1925 |8723 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
40.09/40.19 c 36.2s|120000 | 82322 | 0 | 0.0 | 90M|1024 | - |1925 |9133 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
44.79/44.83 c 40.4s|130000 | 87639 | 0 | 0.0 | 97M|1024 | - |1925 |8857 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
49.59/49.69 c 44.9s|140000 | 92627 | 0 | 0.0 | 105M|1024 | - |1925 | 10k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
54.79/54.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.79/54.83 c 49.6s|150000 | 97476 | 0 | 0.0 | 113M|1024 | - |1925 | 11k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
60.49/60.53 c 55.0s|160000 |101726 | 0 | 0.0 | 121M|1024 | - |1925 | 12k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
67.49/67.53 c 61.5s|170000 |104831 | 0 | 0.0 | 128M|1024 | - |1925 | 14k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
74.89/74.91 c 68.5s|180000 |108357 | 0 | 0.0 | 136M|1024 | - |1925 |8622 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
78.29/78.32 c 71.5s|190000 |116733 | 0 | 0.0 | 149M|1024 | - |1925 |5770 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
81.89/81.91 c 74.7s|200000 |124616 | 0 | 0.0 | 156M|1024 | - |1925 |6637 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
83.10/83.12 o 27
83.10/83.12 c *75.8s|203249 |127025 | 0 | 0.0 | 158M|1024 | - |1925 |7252 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
83.10/83.12 o 25
83.10/83.12 c *75.8s|203250 |126982 | 0 | 0.0 | 158M|1024 | - |1925 |7252 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
86.69/86.74 c 79.1s|210000 |130986 | 0 | 0.0 | 166M|1024 | - |1925 |9691 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
87.19/87.24 o 21
87.19/87.24 c *79.6s|210737 |131145 | 0 | 0.0 | 166M|1024 | - |1925 |9978 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
87.79/87.87 o 20
87.79/87.87 c *80.2s|211607 |131393 | 0 | 0.0 | 167M|1024 | - |1925 | 10k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
87.79/87.87 o 16
87.79/87.87 c *80.2s|211608 |131089 | 0 | 0.0 | 166M|1024 | - |1925 | 10k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
91.20/91.23 c 83.1s|220000 |137839 | 0 | 0.0 | 190M|1024 | - |1925 |7281 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
95.19/95.28 c 86.8s|230000 |144774 | 0 | 0.0 | 204M|1024 | - |1925 |8834 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
99.39/99.42 c 90.5s|240000 |151712 | 0 | 0.0 | 221M|1024 | - |1925 | 11k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
102.79/102.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.79/102.87 c 93.6s|250000 |159727 | 0 | 0.0 | 233M|1024 | - |1925 | 10k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
106.99/107.06 c 97.4s|260000 |166438 | 0 | 0.0 | 240M|1024 | - |1925 | 10k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
110.89/110.90 c 101s|270000 |173586 | 0 | 0.0 | 249M|1024 | - |1925 | 14k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
114.49/114.56 c 104s|280000 |181362 | 0 | 0.0 | 254M|1024 | - |1925 | 11k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
117.90/117.98 c 107s|290000 |189156 | 0 | 0.0 | 261M|1024 | - |1925 | 12k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
122.00/122.05 c 111s|300000 |196091 | 0 | 0.0 | 269M|1024 | - |1925 | 14k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
126.60/126.68 c 115s|310000 |202614 | 0 | 0.0 | 275M|1024 | - |1925 |9985 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
129.80/129.85 c 118s|320000 |210365 | 0 | 0.0 | 282M|1024 | - |1925 |8068 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
133.40/133.46 c 121s|330000 |217330 | 0 | 0.0 | 289M|1024 | - |1925 |9785 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
137.50/137.58 c 125s|340000 |223883 | 0 | 0.0 | 296M|1024 | - |1925 | 10k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
141.90/141.99 c 129s|350000 |230184 | 0 | 0.0 | 303M|1024 | - |1925 | 10k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
146.59/146.67 c 133s|360000 |236076 | 0 | 0.0 | 309M|1024 | - |1925 | 10k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
151.39/151.43 c 138s|370000 |241858 | 0 | 0.0 | 316M|1024 | - |1925 | 10k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
156.40/156.45 c 142s|380000 |247249 | 0 | 0.0 | 323M|1024 | - |1925 | 10k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
161.49/161.53 c 147s|390000 |252569 | 0 | 0.0 | 330M|1024 | - |1925 | 11k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
166.49/166.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.49/166.57 c 152s|400000 |258110 | 0 | 0.0 | 337M|1024 | - |1925 | 11k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
171.79/171.81 c 157s|410000 |263440 | 0 | 0.0 | 344M|1024 | - |1925 | 11k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
177.10/177.12 c 161s|420000 |268793 | 0 | 0.0 | 351M|1024 | - |1925 | 12k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
182.80/182.87 c 167s|430000 |273712 | 0 | 0.0 | 358M|1024 | - |1925 | 12k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
188.69/188.72 c 172s|440000 |278679 | 0 | 0.0 | 365M|1024 | - |1925 | 12k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
194.80/194.86 c 178s|450000 |283330 | 0 | 0.0 | 372M|1024 | - |1925 | 13k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
200.59/200.66 c 183s|460000 |288347 | 0 | 0.0 | 380M|1024 | - |1925 | 14k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
207.19/207.20 c 190s|470000 |292684 | 0 | 0.0 | 386M|1024 | - |1925 | 14k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
213.49/213.59 c 196s|480000 |297423 | 0 | 0.0 | 393M|1024 | - |1925 | 14k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
220.00/220.03 c 202s|490000 |302018 | 0 | 0.0 | 401M|1024 | - |1925 | 14k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
226.70/226.76 c 208s|500000 |306299 | 0 | 0.0 | 408M|1024 | - |1925 | 15k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
233.11/233.14 c 214s|510000 |311089 | 0 | 0.0 | 415M|1024 | - |1925 | 15k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
240.10/240.19 c 221s|520000 |315173 | 0 | 0.0 | 421M|1024 | - |1925 | 15k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
246.99/247.07 c 227s|530000 |319521 | 0 | 0.0 | 428M|1024 | - |1925 | 16k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
253.69/253.79 c 234s|540000 |324096 | 0 | 0.0 | 434M|1024 | - |1925 | 15k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
261.39/261.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.39/261.45 c 241s|550000 |327661 | 0 | 0.0 | 441M|1024 | - |1925 | 16k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
269.20/269.27 c 248s|560000 |331283 | 0 | 0.0 | 447M|1024 | - |1925 | 16k| 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
276.89/276.91 c 255s|570000 |335193 | 0 | 0.0 | 454M|1024 | - |1925 | 16k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
285.09/285.15 c 263s|580000 |338449 | 0 | 0.0 | 461M|1024 | - |1925 | 17k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
293.49/293.50 c 271s|590000 |341569 | 0 | 0.0 | 467M|1024 | - |1925 | 17k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
301.90/301.93 c 279s|600000 |344751 | 0 | 0.0 | 474M|1024 | - |1925 | 18k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
310.70/310.74 c 288s|610000 |347705 | 0 | 0.0 | 480M|1024 | - |1925 | 18k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
319.29/319.33 c 296s|620000 |350922 | 0 | 0.0 | 486M|1024 | - |1925 | 18k| 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
328.49/328.54 c 305s|630000 |353483 | 0 | 0.0 | 492M|1024 | - |1925 | 18k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
338.00/338.01 c 314s|640000 |355684 | 0 | 0.0 | 497M|1024 | - |1925 | 18k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
347.50/347.51 c 323s|650000 |356170 | 0 | 0.0 | 501M|1024 | - |1925 | 15k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
358.90/358.92 c 334s|660000 |351439 | 0 | 0.0 | 502M|1024 | - |1925 | 18k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
372.50/372.56 c 347s|670000 |341492 | 0 | 0.0 | 491M|1024 | - |1925 | 20k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
376.70/376.70 c 350s|680000 |349680 | 0 | 0.0 | 497M|1024 | - |1925 |8548 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
380.50/380.51 c 354s|690000 |357648 | 0 | 0.0 | 508M|1024 | - |1925 |7982 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
381.30/381.36 o 7
381.30/381.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.30/381.36 c * 355s|692287 |357160 | 0 | 0.0 | 505M|1024 | - |1925 |8175 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
384.30/384.37 c 357s|700000 |363179 | 0 | 0.0 | 516M|1024 | - |1925 |8066 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
388.50/388.52 c 361s|710000 |370747 | 0 | 0.0 | 532M|1024 | - |1925 |8247 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
392.61/392.70 c 365s|720000 |378216 | 0 | 0.0 | 547M|1024 | - |1925 |8367 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
396.80/396.89 c 369s|730000 |385638 | 0 | 0.0 | 563M|1024 | - |1925 |8739 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
401.20/401.20 c 373s|740000 |393047 | 0 | 0.0 | 578M|1024 | - |1925 |8702 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
405.60/405.65 c 377s|750000 |400266 | 0 | 0.0 | 593M|1024 | - |1925 |9247 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
407.20/407.27 o 6
407.20/407.27 c * 378s|753641 |402674 | 0 | 0.0 | 598M|1024 | - |1925 |9062 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
410.21/410.21 c 381s|760000 |407245 | 0 | 0.0 | 608M|1024 | - |1925 |9507 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
414.90/414.92 c 385s|770000 |414475 | 0 | 0.0 | 624M|1024 | - |1925 |9886 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
419.60/419.65 c 389s|780000 |421632 | 0 | 0.0 | 640M|1024 | - |1925 |9854 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
424.40/424.46 c 394s|790000 |428389 | 0 | 0.0 | 650M|1024 | - |1925 | 10k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
429.30/429.39 c 398s|800000 |435125 | 0 | 0.0 | 660M|1024 | - |1925 | 11k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
434.80/434.80 c 403s|810000 |441641 | 0 | 0.0 | 672M|1024 | - |1925 | 11k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
440.70/440.79 c 409s|820000 |447772 | 0 | 0.0 | 684M|1024 | - |1925 | 12k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
447.60/447.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.60/447.66 c 415s|830000 |453273 | 0 | 0.0 | 698M|1024 | - |1925 | 13k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
454.60/454.67 c 422s|840000 |458758 | 0 | 0.0 | 712M|1024 | - |1925 | 14k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
457.70/457.77 o 2
457.70/457.77 c * 425s|844178 |446227 | 0 | 0.0 | 698M|1024 | - |1925 | 15k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
462.50/462.52 c 429s|850000 |449133 | 0 | 0.0 | 708M|1024 | - |1925 | 15k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
471.40/471.44 c 438s|860000 |453663 | 0 | 0.0 | 725M|1024 | - |1925 | 15k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
481.50/481.54 c 447s|870000 |457505 | 0 | 0.0 | 743M|1024 | - |1925 | 18k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
492.81/492.88 c 458s|880000 |460715 | 0 | 0.0 | 761M|1024 | - |1925 | 20k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
507.31/507.35 c 472s|890000 |461941 | 0 | 0.0 | 777M|1024 | - |1925 | 24k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
515.40/515.48 c 480s|900000 |467978 | 0 | 0.0 | 785M|1024 | - |1925 | 18k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
521.00/521.03 c 485s|910000 |475097 | 0 | 0.0 | 797M|1024 | - |1925 | 16k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
526.51/526.56 c 490s|920000 |481893 | 0 | 0.0 | 810M|1024 | - |1925 | 16k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
531.70/531.74 c 495s|930000 |488758 | 0 | 0.0 | 819M|1024 | - |1925 |9608 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.41/536.41 c 499s|940000 |494534 | 0 | 0.0 | 826M|1024 | - |1925 | 10k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
541.71/541.70 c 504s|950000 |499651 | 0 | 0.0 | 834M|1024 | - |1925 | 11k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
547.90/547.93 c 509s|960000 |503703 | 0 | 0.0 | 841M|1024 | - |1925 | 13k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
556.20/556.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.20/556.27 c 517s|970000 |505609 | 0 | 0.0 | 847M|1024 | - |1925 | 16k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
560.50/560.58 c 521s|980000 |512576 | 0 | 0.0 | 851M|1024 | - |1925 | 10k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
563.80/563.88 c 524s|990000 |520371 | 0 | 0.0 | 857M|1024 | - |1925 | 11k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
567.40/567.50 c 527s| 1000k|527781 | 0 | 0.0 | 864M|1024 | - |1925 | 11k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
571.30/571.35 c 531s| 1010k|534939 | 0 | 0.0 | 870M|1024 | - |1925 | 11k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
575.40/575.48 c 535s| 1020k|541761 | 0 | 0.0 | 876M|1024 | - |1925 | 12k| 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
580.70/580.75 c 539s| 1030k|547112 | 0 | 0.0 | 884M|1024 | - |1925 | 13k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
586.60/586.60 c 545s| 1040k|551792 | 0 | 0.0 | 891M|1024 | - |1925 | 15k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
594.20/594.22 c 552s| 1050k|554761 | 0 | 0.0 | 898M|1024 | - |1925 | 17k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.80/600.82 c 558s| 1060k|559533 | 0 | 0.0 | 901M|1024 | - |1925 | 11k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
604.20/604.28 c 561s| 1070k|567294 | 0 | 0.0 | 907M|1024 | - |1925 | 10k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
607.81/607.82 c 564s| 1080k|574835 | 0 | 0.0 | 914M|1024 | - |1925 | 11k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.70/611.75 c 568s| 1090k|581894 | 0 | 0.0 | 920M|1024 | - |1925 | 11k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
616.01/616.03 c 572s| 1100k|588553 | 0 | 0.0 | 927M|1024 | - |1925 | 12k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
620.90/620.94 c 576s| 1110k|594497 | 0 | 0.0 | 934M|1024 | - |1925 | 14k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
626.91/626.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.91/626.94 c 582s| 1120k|599300 | 0 | 0.0 | 941M|1024 | - |1925 | 15k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
634.40/634.40 c 589s| 1130k|602587 | 0 | 0.0 | 947M|1024 | - |1925 | 17k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
640.61/640.64 o 1
640.61/640.64 c * 595s| 1135k|229852 | 0 | 0.0 | 342M|1024 | - |1925 | 19k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
644.31/644.32 c 598s| 1140k|231863 | 0 | 0.0 | 343M|1024 | - |1925 | 14k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
652.21/652.27 c 606s| 1150k|235314 | 0 | 0.0 | 349M|1024 | - |1925 | 14k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
660.31/660.39 c 614s| 1160k|238409 | 0 | 0.0 | 356M|1024 | - |1925 | 15k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
668.50/668.55 c 621s| 1170k|241765 | 0 | 0.0 | 363M|1024 | - |1925 | 16k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
677.21/677.26 c 629s| 1180k|244750 | 0 | 0.0 | 369M|1024 | - |1925 | 17k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
686.21/686.20 c 638s| 1190k|247589 | 0 | 0.0 | 375M|1024 | - |1925 | 16k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
695.81/695.88 c 647s| 1200k|249604 | 0 | 0.0 | 381M|1024 | - |1925 | 17k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
705.01/705.08 c 656s| 1210k|252349 | 0 | 0.0 | 387M|1024 | - |1925 | 15k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
714.81/714.83 c 665s| 1220k|254423 | 0 | 0.0 | 394M|1024 | - |1925 | 16k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
724.92/724.98 c 675s| 1230k|255801 | 0 | 0.0 | 400M|1024 | - |1925 | 16k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
735.00/735.02 c 685s| 1240k|257320 | 0 | 0.0 | 404M|1024 | - |1925 | 15k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
744.61/744.62 c 694s| 1250k|259409 | 0 | 0.0 | 411M|1024 | - |1925 | 16k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
754.61/754.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.61/754.65 c 703s| 1260k|260630 | 0 | 0.0 | 416M|1024 | - |1925 | 16k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
764.71/764.74 c 713s| 1270k|262435 | 0 | 0.0 | 422M|1024 | - |1925 | 15k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
774.80/774.89 c 723s| 1280k|263455 | 0 | 0.0 | 426M|1024 | - |1925 | 16k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
785.11/785.10 c 732s| 1290k|265170 | 0 | 0.0 | 430M|1024 | - |1925 | 13k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
795.51/795.53 c 742s| 1300k|265494 | 0 | 0.0 | 435M|1024 | - |1925 | 16k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
805.41/805.42 c 752s| 1310k|267017 | 0 | 0.0 | 439M|1024 | - |1925 | 14k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
815.81/815.81 c 762s| 1320k|267544 | 0 | 0.0 | 443M|1024 | - |1925 | 17k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
825.91/825.92 c 771s| 1330k|268842 | 0 | 0.0 | 447M|1024 | - |1925 | 15k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
836.61/836.66 c 782s| 1340k|269039 | 0 | 0.0 | 451M|1024 | - |1925 | 18k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
847.31/847.39 c 792s| 1350k|269889 | 0 | 0.0 | 454M|1024 | - |1925 | 16k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
858.61/858.68 c 803s| 1360k|270013 | 0 | 0.0 | 458M|1024 | - |1925 | 19k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
869.81/869.89 c 813s| 1370k|270403 | 0 | 0.0 | 460M|1024 | - |1925 | 17k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
881.02/881.03 c 824s| 1380k|270867 | 0 | 0.0 | 465M|1024 | - |1925 | 20k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
893.12/893.11 c 836s| 1390k|270141 | 0 | 0.0 | 466M|1024 | - |1925 | 18k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
905.11/905.18 c 847s| 1400k|270204 | 0 | 0.0 | 471M|1024 | - |1925 | 21k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
917.91/917.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.91/917.96 c 860s| 1410k|268907 | 0 | 0.0 | 472M|1024 | - |1925 | 20k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
930.81/930.81 c 872s| 1420k|268787 | 0 | 0.0 | 476M|1024 | - |1925 | 17k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
943.51/943.56 c 884s| 1430k|267189 | 0 | 0.0 | 477M|1024 | - |1925 | 22k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
956.71/956.79 c 897s| 1440k|266292 | 0 | 0.0 | 479M|1024 | - |1925 | 19k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
969.92/969.94 c 910s| 1450k|264875 | 0 | 0.0 | 482M|1024 | - |1925 | 21k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
984.11/984.10 c 923s| 1460k|262679 | 0 | 0.0 | 481M|1024 | - |1925 | 22k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
997.92/997.97 c 937s| 1470k|261541 | 0 | 0.0 | 484M|1024 | - |1925 | 20k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1012.81/1012.83 c 951s| 1480k|258815 | 0 | 0.0 | 483M|1024 | - |1925 | 24k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1028.01/1028.00 c 966s| 1490k|255749 | 0 | 0.0 | 481M|1024 | - |1925 | 23k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1043.62/1043.61 c 981s| 1500k|252338 | 0 | 0.0 | 479M|1024 | - |1925 | 23k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1059.62/1059.66 c 996s| 1510k|248475 | 0 | 0.0 | 477M|1024 | - |1925 | 23k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1075.92/1075.96 c 1012s| 1520k|244150 | 0 | 0.0 | 474M|1024 | - |1925 | 24k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1093.22/1093.27 c 1029s| 1530k|238965 | 0 | 0.0 | 470M|1024 | - |1925 | 25k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1110.61/1110.68 c 1046s| 1540k|233279 | 0 | 0.0 | 464M|1024 | - |1925 | 24k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1128.52/1128.51 c 1063s| 1550k|227976 | 0 | 0.0 | 457M|1024 | - |1925 | 24k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1148.21/1148.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.21/1148.28 c 1082s| 1560k|221971 | 0 | 0.0 | 449M|1024 | - |1925 | 26k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1169.32/1169.34 c 1102s| 1570k|214130 | 0 | 0.0 | 434M|1024 | - |1925 | 30k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1192.72/1192.75 c 1125s| 1580k|211775 | 0 | 0.0 | 436M|1024 | - |1925 | 29k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1218.02/1218.02 c 1150s| 1590k|208848 | 0 | 0.0 | 436M|1024 | - |1925 | 31k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1243.82/1243.87 c 1175s| 1600k|206169 | 0 | 0.0 | 439M|1024 | - |1925 | 32k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1272.82/1272.89 c 1204s| 1610k|201792 | 0 | 0.0 | 436M|1024 | - |1925 | 34k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1302.43/1302.45 c 1233s| 1620k|197605 | 0 | 0.0 | 435M|1024 | - |1925 | 35k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1332.32/1332.37 c 1262s| 1630k|193529 | 0 | 0.0 | 434M|1024 | - |1925 | 36k| 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1363.83/1363.86 c 1293s| 1640k|189059 | 0 | 0.0 | 431M|1024 | - |1925 | 37k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1395.83/1395.81 c 1325s| 1650k|184286 | 0 | 0.0 | 427M|1024 | - |1925 | 37k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1426.92/1426.91 c 1355s| 1660k|179613 | 0 | 0.0 | 423M|1024 | - |1925 | 38k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1458.33/1458.36 c 1386s| 1670k|174747 | 0 | 0.0 | 418M|1024 | - |1925 | 39k| 0 | 0 | 0 |2016k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1490.53/1490.54 c 1418s| 1680k|170200 | 0 | 0.0 | 414M|1024 | - |1925 | 41k| 0 | 0 | 0 |2039k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1523.32/1523.39 c 1450s| 1690k|165851 | 0 | 0.0 | 411M|1024 | - |1925 | 43k| 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1556.92/1556.94 c 1483s| 1700k|161381 | 0 | 0.0 | 408M|1024 | - |1925 | 44k| 0 | 0 | 0 |2084k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1590.42/1590.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.42/1590.45 c 1516s| 1710k|157202 | 0 | 0.0 | 404M|1024 | - |1925 | 46k| 0 | 0 | 0 |2106k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1627.73/1627.77 c 1553s| 1720k|151849 | 0 | 0.0 | 399M|1024 | - |1925 | 48k| 0 | 0 | 0 |2130k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1666.43/1666.41 c 1591s| 1730k|146056 | 0 | 0.0 | 393M|1024 | - |1925 | 50k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1707.14/1707.15 c 1631s| 1740k|139493 | 0 | 0.0 | 385M|1024 | - |1925 | 51k| 0 | 0 | 0 |2179k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1747.94/1747.99 c 1671s| 1750k|132679 | 0 | 0.0 | 375M|1024 | - |1925 | 51k| 0 | 0 | 0 |2203k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1790.04/1790.09 c 1713s| 1760k|125280 | 0 | 0.0 | 364M|1024 | - |1925 | 53k| 0 | 0 | 0 |2229k| 0 | 0.000000e+00 | 1.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) : 1722.48
1800.04/1800.00 c Solving Nodes : 1762427
1800.04/1800.00 c Primal Bound : +1.00000000000000e+00 (24 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 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.02 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.02 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.02 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.02 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.02 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.04/1800.02 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.02 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.02 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.02 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.02 v -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1722.48
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2694133-1277907069.wbo
1800.04/1800.02 c Variables : 2087 (1159 binary, 0 integer, 0 implicit integer, 928 continuous)
1800.04/1800.02 c Constraints : 3636 initial, 3636 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2694133-1277907069.wbo
1800.04/1800.02 c Variables : 1925 (1078 binary, 0 integer, 0 implicit integer, 847 continuous)
1800.04/1800.02 c Constraints : 3338 initial, 53706 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 81 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.04/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.04 0 0 0 958 0 217 156 0
1800.04/1800.02 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 838 - - 1676 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 847 0 1730892 0 525159 29 2601974 0 0 0
1800.04/1800.02 c knapsack : 1 0 6138198 0 1324724 129036 17637966 0 0 0
1800.04/1800.02 c setppc : 14 0 6022780 0 1324616 59791 5308347 0 0 0
1800.04/1800.02 c linear : 847 0 5963302 0 1324733 74286 6964927 0 0 0
1800.04/1800.02 c logicor : 1629+ 0 4566634 0 1324751 403197 11867395 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 16242 0 0 0 4 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 1324750 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c indicator : 3.48 0.00 2.15 0.00 1.33
1800.04/1800.02 c knapsack : 74.68 0.00 72.54 0.00 2.14
1800.04/1800.02 c setppc : 21.55 0.00 19.86 0.00 1.69
1800.04/1800.02 c linear : 93.80 0.00 90.53 0.00 3.27
1800.04/1800.02 c logicor : 701.59 0.00 642.03 0.00 59.56
1800.04/1800.02 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.04/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 0.00 2 0 0
1800.04/1800.02 c rootredcost : 0.00 0 0 0
1800.04/1800.02 c pseudoobj : 97.02 6152313 262 2597238
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 27.51 666572 666451 3466882 23.6 177658 9.7 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.00 12 12 50 23.2 13 14.1 -
1800.04/1800.02 c applied globally : - - - 2235574 21.0 - - -
1800.04/1800.02 c applied locally : - - - 35 118.7 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.02 c redcost : 0.00 0 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.02 c cmir : 0.00 0 0 0 0 0
1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.02 c clique : 0.00 0 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 16.82 1324726 0 0 0 0 2649452
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.82 - 24
1800.04/1800.02 c oneopt : 0.04 0 0
1800.04/1800.02 c trivial : 0.00 2 0
1800.04/1800.02 c simplerounding : 0.00 0 0
1800.04/1800.02 c zirounding : 0.00 0 0
1800.04/1800.02 c rounding : 0.00 0 0
1800.04/1800.02 c shifting : 0.00 0 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c coefdiving : 0.00 0 0
1800.04/1800.02 c pscostdiving : 0.00 0 0
1800.04/1800.02 c fracdiving : 0.00 0 0
1800.04/1800.02 c veclendiving : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 0.00 0 0
1800.04/1800.02 c rootsoldiving : 0.00 0 0
1800.04/1800.02 c linesearchdiving : 0.00 0 0
1800.04/1800.02 c guideddiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.00 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.00 0 0
1800.04/1800.02 c trysol : 0.00 1 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.02 c (at root node) : - 0 0 0.00 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 1762427
1800.04/1800.02 c nodes (total) : 1762427
1800.04/1800.02 c nodes left : 123546
1800.04/1800.02 c max depth : 1024
1800.04/1800.02 c max depth (total): 1024
1800.04/1800.02 c backtracks : 451712 (25.6%)
1800.04/1800.02 c delayed cutoffs : 369265
1800.04/1800.02 c repropagations : 1490429 (12569252 domain reductions, 228936 cutoffs)
1800.04/1800.02 c avg switch length: 20.14
1800.04/1800.02 c switching time : 542.63
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 24 (24 improvements)
1800.04/1800.02 c First Solution : +5.86000000000000e+02 (in run 1, after 3809 nodes, 0.87 seconds, depth 240, found by <relaxation>)
1800.04/1800.02 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1135249 nodes, 594.09 seconds, depth 469, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 0
1800.64/1800.68 c Time complete: 1800.72.