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-2693578-1277911642.wbo>
0.00/0.02 c original problem has 2015 variables (1123 bin, 0 int, 0 impl, 892 cont) and 3600 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.02/0.04 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.02/0.07 c (round 2) 0 del vars, 107 del conss, 892 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.02/0.09 c (round 3) 48 del vars, 233 del conss, 913 chg bounds, 126 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.02/0.09 c (round 4) 117 del vars, 255 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.09/0.11 c (round 5) 139 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.12 c (round 6) 140 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.16 c (0.1s) probing: 101/1053 (9.6%) - 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 140 deleted vars, 256 deleted constraints, 914 tightened bounds, 0 added holes, 127 changed sides, 0 changed coefficients
0.09/0.16 c 1100 implications, 13 cliques
0.09/0.16 c presolved problem has 1875 variables (1053 bin, 0 int, 0 impl, 822 cont) and 3344 constraints
0.09/0.16 c 822 constraints of type <indicator>
0.09/0.16 c 13 constraints of type <setppc>
0.09/0.16 c 822 constraints of type <linear>
0.09/0.16 c 1687 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.11
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 | - |7400k| 0 | - |1875 |3344 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.80 o 495
0.79/0.80 c * 0.7s| 3064 | 2730 | 0 | 0.0 |9358k|1008 | - |1875 |3756 | 0 | 0 | 0 | 506 | 0 | 0.000000e+00 | 4.950000e+02 | Inf
0.79/0.88 o 462
0.79/0.88 c * 0.8s| 3398 | 3055 | 0 | 0.0 |9533k|1008 | - |1875 |3770 | 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | 4.620000e+02 | Inf
0.89/0.90 o 304
0.89/0.90 c * 0.8s| 3479 | 3097 | 0 | 0.0 |9576k|1008 | - |1875 |3764 | 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | 3.040000e+02 | Inf
0.89/0.90 o 229
0.89/0.90 c * 0.8s| 3480 | 3038 | 0 | 0.0 |9581k|1008 | - |1875 |3764 | 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
2.39/2.40 c 2.1s| 10000 | 8622 | 0 | 0.0 | 14M|1008 | - |1875 |4531 | 0 | 0 | 0 |3277 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
4.99/5.03 c 4.5s| 20000 | 15856 | 0 | 0.0 | 21M|1008 | - |1875 |5908 | 0 | 0 | 0 |9579 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
5.50/5.56 o 184
5.50/5.56 c * 4.9s| 21310 | 16588 | 0 | 0.0 | 22M|1008 | - |1875 |6140 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
6.00/6.09 o 147
6.00/6.09 c * 5.4s| 23022 | 18116 | 0 | 0.0 | 23M|1008 | - |1875 |5446 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
6.50/6.51 o 127
6.50/6.51 c * 5.8s| 24325 | 19269 | 0 | 0.0 | 23M|1008 | - |1875 |4957 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
7.19/7.25 o 97
7.19/7.25 c * 6.5s| 26966 | 21323 | 0 | 0.0 | 25M|1008 | - |1875 |4862 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
7.19/7.25 o 80
7.19/7.25 c * 6.5s| 26967 | 21004 | 0 | 0.0 | 24M|1008 | - |1875 |4862 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
7.99/8.08 c 7.2s| 30000 | 23671 | 0 | 0.0 | 27M|1008 | - |1875 |5162 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
10.69/10.74 c 9.6s| 40000 | 31853 | 0 | 0.0 | 34M|1008 | - |1875 |5793 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
13.49/13.53 c 12.1s| 50000 | 39761 | 0 | 0.0 | 41M|1008 | - |1875 |5897 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
16.19/16.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.19/16.29 c 14.6s| 60000 | 47676 | 0 | 0.0 | 48M|1008 | - |1875 |6254 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
18.99/19.05 c 17.0s| 70000 | 55414 | 0 | 0.0 | 55M|1008 | - |1875 |6482 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
21.90/21.91 c 19.6s| 80000 | 62950 | 0 | 0.0 | 61M|1008 | - |1875 |6971 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
24.79/24.89 c 22.3s| 90000 | 70333 | 0 | 0.0 | 68M|1008 | - |1875 |6759 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
27.99/28.09 c 25.2s|100000 | 77359 | 0 | 0.0 | 75M|1008 | - |1875 |7464 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
31.29/31.38 c 28.2s|110000 | 84318 | 0 | 0.0 | 82M|1008 | - |1875 |7434 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
34.89/34.90 c 31.4s|120000 | 90894 | 0 | 0.0 | 89M|1008 | - |1875 |7777 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
38.60/38.64 c 34.8s|130000 | 97224 | 0 | 0.0 | 96M|1008 | - |1875 |8204 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
42.59/42.69 c 38.5s|140000 |103082 | 0 | 0.0 | 103M|1008 | - |1875 |8544 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
47.49/47.54 c 43.0s|150000 |107853 | 0 | 0.0 | 111M|1008 | - |1875 |9415 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
53.79/53.89 c 48.9s|160000 |110512 | 0 | 0.0 | 119M|1008 | - |1875 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
53.99/54.08 o 50
53.99/54.08 c *49.1s|160346 |109575 | 0 | 0.0 | 119M|1008 | - |1875 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
57.19/57.22 c 52.0s|170000 |117908 | 0 | 0.0 | 126M|1008 | - |1875 |5119 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
60.69/60.73 c 55.1s|180000 |125717 | 0 | 0.0 | 137M|1008 | - |1875 |7594 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
61.89/61.96 o 44
61.89/61.96 c *56.2s|182885 |127540 | 0 | 0.0 | 140M|1008 | - |1875 |7717 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
64.59/64.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.59/64.64 c 58.7s|190000 |133341 | 0 | 0.0 | 147M|1008 | - |1875 |7194 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
68.39/68.44 c 62.1s|200000 |141249 | 0 | 0.0 | 158M|1008 | - |1875 |8525 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
71.99/72.08 c 65.4s|210000 |149252 | 0 | 0.0 | 173M|1008 | - |1875 |7874 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
75.90/75.90 c 68.9s|220000 |156483 | 0 | 0.0 | 188M|1008 | - |1875 | 10k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
78.89/78.93 c 71.6s|230000 |165116 | 0 | 0.0 | 193M|1008 | - |1875 |6528 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
81.39/81.41 o 40
81.39/81.41 c *73.8s|238150 |171470 | 0 | 0.0 | 198M|1008 | - |1875 |7427 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
81.99/82.05 c 74.4s|240000 |172888 | 0 | 0.0 | 199M|1008 | - |1875 |7610 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
83.89/83.91 o 32
83.89/83.91 c *76.1s|244955 |174083 | 0 | 0.0 | 197M|1008 | - |1875 |8856 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
86.19/86.21 c 78.1s|250000 |177183 | 0 | 0.0 | 200M|1008 | - |1875 |8164 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
89.29/89.32 c 81.0s|260000 |185116 | 0 | 0.0 | 207M|1008 | - |1875 |8991 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
92.49/92.57 c 83.9s|270000 |192798 | 0 | 0.0 | 213M|1008 | - |1875 |8413 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
96.09/96.12 c 87.1s|280000 |200191 | 0 | 0.0 | 219M|1008 | - |1875 |5521 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
99.39/99.47 c 90.1s|290000 |207721 | 0 | 0.0 | 226M|1008 | - |1875 |6012 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
103.40/103.46 c 93.7s|300000 |214200 | 0 | 0.0 | 233M|1008 | - |1875 |6229 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
107.29/107.38 c 97.3s|310000 |220706 | 0 | 0.0 | 240M|1008 | - |1875 |6571 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
111.29/111.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.29/111.32 c 101s|320000 |227145 | 0 | 0.0 | 248M|1008 | - |1875 |6397 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
115.39/115.46 c 105s|330000 |233283 | 0 | 0.0 | 255M|1008 | - |1875 |6770 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
119.49/119.51 c 108s|340000 |239545 | 0 | 0.0 | 263M|1008 | - |1875 |6896 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
123.49/123.59 c 112s|350000 |245703 | 0 | 0.0 | 270M|1008 | - |1875 |7036 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
127.60/127.64 c 116s|360000 |251949 | 0 | 0.0 | 277M|1008 | - |1875 |6666 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
131.59/131.69 c 120s|370000 |258161 | 0 | 0.0 | 285M|1008 | - |1875 |7020 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
135.69/135.74 c 123s|380000 |264389 | 0 | 0.0 | 292M|1008 | - |1875 |7257 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
139.70/139.77 c 127s|390000 |270535 | 0 | 0.0 | 299M|1008 | - |1875 |7498 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
143.69/143.70 c 131s|400000 |276971 | 0 | 0.0 | 306M|1008 | - |1875 |7518 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
147.69/147.78 c 134s|410000 |283133 | 0 | 0.0 | 313M|1008 | - |1875 |7918 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
151.79/151.86 c 138s|420000 |289376 | 0 | 0.0 | 319M|1008 | - |1875 |7094 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
155.89/155.97 c 142s|430000 |295491 | 0 | 0.0 | 327M|1008 | - |1875 |7994 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
160.50/160.50 c 146s|440000 |301089 | 0 | 0.0 | 334M|1008 | - |1875 |7854 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
164.80/164.87 c 150s|450000 |306910 | 0 | 0.0 | 340M|1008 | - |1875 |7616 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
169.09/169.17 c 154s|460000 |312749 | 0 | 0.0 | 347M|1008 | - |1875 |8288 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
173.59/173.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.59/173.63 c 158s|470000 |318392 | 0 | 0.0 | 354M|1008 | - |1875 |7854 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
178.19/178.23 c 162s|480000 |323806 | 0 | 0.0 | 361M|1008 | - |1875 |8534 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
182.89/182.97 c 167s|490000 |329137 | 0 | 0.0 | 367M|1008 | - |1875 |7530 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
187.59/187.65 c 171s|500000 |334503 | 0 | 0.0 | 374M|1008 | - |1875 |8572 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
192.29/192.34 c 176s|510000 |339806 | 0 | 0.0 | 381M|1008 | - |1875 |8471 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
197.09/197.16 c 180s|520000 |345050 | 0 | 0.0 | 388M|1008 | - |1875 |8632 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
201.99/202.09 c 185s|530000 |350022 | 0 | 0.0 | 395M|1008 | - |1875 |9335 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
207.09/207.12 c 189s|540000 |355016 | 0 | 0.0 | 401M|1008 | - |1875 |9000 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
212.29/212.30 c 194s|550000 |359855 | 0 | 0.0 | 408M|1008 | - |1875 |9570 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
217.80/217.84 c 199s|560000 |364336 | 0 | 0.0 | 414M|1008 | - |1875 |8295 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
223.39/223.43 c 205s|570000 |368621 | 0 | 0.0 | 421M|1008 | - |1875 |9168 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
229.09/229.16 c 210s|580000 |372725 | 0 | 0.0 | 428M|1008 | - |1875 | 10k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
234.99/235.02 c 215s|590000 |376817 | 0 | 0.0 | 434M|1008 | - |1875 |9199 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
241.19/241.28 c 221s|600000 |380428 | 0 | 0.0 | 440M|1008 | - |1875 |9426 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
247.59/247.65 c 227s|610000 |383813 | 0 | 0.0 | 447M|1008 | - |1875 | 10k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
254.09/254.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.09/254.12 c 233s|620000 |386992 | 0 | 0.0 | 453M|1008 | - |1875 | 10k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
260.48/260.57 c 239s|630000 |390395 | 0 | 0.0 | 459M|1008 | - |1875 | 10k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
267.39/267.40 c 246s|640000 |393508 | 0 | 0.0 | 465M|1008 | - |1875 |9072 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
274.19/274.27 c 252s|650000 |396467 | 0 | 0.0 | 471M|1008 | - |1875 | 10k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
281.29/281.39 c 259s|660000 |399168 | 0 | 0.0 | 477M|1008 | - |1875 | 10k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
288.69/288.76 c 266s|670000 |401635 | 0 | 0.0 | 483M|1008 | - |1875 | 10k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
296.19/296.24 c 273s|680000 |403961 | 0 | 0.0 | 489M|1008 | - |1875 | 10k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
304.39/304.40 c 281s|690000 |405546 | 0 | 0.0 | 495M|1008 | - |1875 | 13k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
312.69/312.73 c 289s|700000 |407427 | 0 | 0.0 | 500M|1008 | - |1875 | 12k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
321.89/321.92 c 298s|710000 |408339 | 0 | 0.0 | 505M|1008 | - |1875 | 14k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
331.69/331.78 c 307s|720000 |408826 | 0 | 0.0 | 510M|1008 | - |1875 | 14k| 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
342.69/342.77 c 317s|730000 |408622 | 0 | 0.0 | 514M|1008 | - |1875 | 15k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
354.99/355.07 c 329s|740000 |407359 | 0 | 0.0 | 512M|1008 | - |1875 | 11k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
358.19/358.28 c 332s|750000 |415921 | 0 | 0.0 | 518M|1008 | - |1875 |4540 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
361.40/361.47 c 335s|760000 |424190 | 0 | 0.0 | 526M|1008 | - |1875 |4954 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
364.59/364.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.59/364.67 c 338s|770000 |432402 | 0 | 0.0 | 534M|1008 | - |1875 |5170 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
367.89/367.92 c 341s|780000 |440496 | 0 | 0.0 | 543M|1008 | - |1875 |5651 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
371.29/371.34 c 344s|790000 |448391 | 0 | 0.0 | 552M|1008 | - |1875 |6000 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
374.69/374.80 c 347s|800000 |456163 | 0 | 0.0 | 561M|1008 | - |1875 |6520 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
378.40/378.41 c 350s|810000 |463740 | 0 | 0.0 | 569M|1008 | - |1875 |7100 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
382.09/382.15 c 354s|820000 |471104 | 0 | 0.0 | 578M|1008 | - |1875 |7517 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
385.89/385.99 c 357s|830000 |478407 | 0 | 0.0 | 587M|1008 | - |1875 |8019 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
389.99/390.03 c 361s|840000 |485410 | 0 | 0.0 | 596M|1008 | - |1875 |8592 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
394.29/394.39 c 365s|850000 |492091 | 0 | 0.0 | 605M|1008 | - |1875 |9271 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
396.29/396.31 o 17
396.29/396.31 c * 367s|853943 |478801 | 0 | 0.0 | 569M|1008 | - |1875 |9403 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
399.49/399.58 c 370s|860000 |482050 | 0 | 0.0 | 575M|1008 | - |1875 | 10k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
404.90/404.97 o 7
404.90/404.97 c * 375s|868854 |478487 | 0 | 0.0 | 565M|1008 | - |1875 | 12k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
405.80/405.82 c 375s|870000 |478960 | 0 | 0.0 | 566M|1008 | - |1875 | 10k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
412.90/412.99 c 382s|880000 |482129 | 0 | 0.0 | 573M|1008 | - |1875 | 12k| 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
419.59/419.65 c 388s|890000 |486093 | 0 | 0.0 | 577M|1008 | - |1875 |7269 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
423.50/423.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.50/423.51 c 392s|900000 |492991 | 0 | 0.0 | 582M|1008 | - |1875 |6635 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
426.99/427.02 c 395s|910000 |500289 | 0 | 0.0 | 588M|1008 | - |1875 |7395 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
430.49/430.57 c 398s|920000 |507476 | 0 | 0.0 | 595M|1008 | - |1875 |8563 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.39/434.44 c 402s|930000 |514330 | 0 | 0.0 | 601M|1008 | - |1875 |9719 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
438.49/438.55 c 406s|940000 |520962 | 0 | 0.0 | 608M|1008 | - |1875 | 11k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
443.10/443.18 c 410s|950000 |527065 | 0 | 0.0 | 615M|1008 | - |1875 | 12k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
445.29/445.32 o 2
445.29/445.32 c * 412s|954282 |518735 | 0 | 0.0 | 609M|1008 | - |1875 | 13k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
448.80/448.80 c 415s|960000 |521585 | 0 | 0.0 | 615M|1008 | - |1875 | 14k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
456.40/456.41 c 422s|970000 |525325 | 0 | 0.0 | 622M|1008 | - |1875 | 17k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
467.09/467.11 c 432s|980000 |527043 | 0 | 0.0 | 625M|1008 | - |1875 | 12k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
470.50/470.56 c 436s|990000 |534957 | 0 | 0.0 | 631M|1008 | - |1875 |9365 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
473.90/473.98 c 439s| 1000k|542649 | 0 | 0.0 | 638M|1008 | - |1875 |9957 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
477.59/477.61 c 442s| 1010k|550026 | 0 | 0.0 | 645M|1008 | - |1875 | 10k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
481.39/481.48 c 445s| 1020k|557149 | 0 | 0.0 | 652M|1008 | - |1875 | 11k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
485.70/485.76 c 449s| 1030k|563898 | 0 | 0.0 | 659M|1008 | - |1875 | 12k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
490.40/490.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.40/490.47 c 454s| 1040k|570222 | 0 | 0.0 | 666M|1008 | - |1875 | 13k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
496.00/496.01 c 459s| 1050k|575841 | 0 | 0.0 | 674M|1008 | - |1875 | 15k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
502.99/503.09 c 466s| 1060k|580158 | 0 | 0.0 | 681M|1008 | - |1875 | 18k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
513.30/513.32 c 475s| 1070k|582411 | 0 | 0.0 | 689M|1008 | - |1875 | 22k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
520.29/520.36 c 482s| 1080k|587790 | 0 | 0.0 | 691M|1008 | - |1875 | 11k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
523.60/523.69 c 485s| 1090k|595665 | 0 | 0.0 | 698M|1008 | - |1875 | 12k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
527.09/527.10 c 488s| 1100k|603487 | 0 | 0.0 | 704M|1008 | - |1875 | 12k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
530.69/530.70 c 491s| 1110k|611082 | 0 | 0.0 | 711M|1008 | - |1875 | 13k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
534.39/534.47 c 495s| 1120k|618586 | 0 | 0.0 | 718M|1008 | - |1875 | 14k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
538.30/538.35 c 498s| 1130k|626059 | 0 | 0.0 | 724M|1008 | - |1875 | 14k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
542.69/542.71 c 502s| 1140k|633103 | 0 | 0.0 | 731M|1008 | - |1875 | 16k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
547.19/547.26 c 507s| 1150k|640044 | 0 | 0.0 | 738M|1008 | - |1875 | 16k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
552.39/552.49 c 511s| 1160k|646518 | 0 | 0.0 | 745M|1008 | - |1875 | 17k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
557.80/557.90 c 517s| 1170k|652811 | 0 | 0.0 | 752M|1008 | - |1875 | 18k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
563.69/563.77 c 522s| 1180k|658851 | 0 | 0.0 | 759M|1008 | - |1875 | 18k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
570.20/570.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.20/570.23 c 528s| 1190k|664407 | 0 | 0.0 | 766M|1008 | - |1875 | 19k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
577.50/577.53 c 535s| 1200k|669516 | 0 | 0.0 | 773M|1008 | - |1875 | 21k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
585.99/586.09 c 543s| 1210k|673832 | 0 | 0.0 | 780M|1008 | - |1875 | 22k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
596.99/597.07 c 554s| 1220k|676790 | 0 | 0.0 | 787M|1008 | - |1875 | 24k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.60/611.62 c 568s| 1230k|677329 | 0 | 0.0 | 789M|1008 | - |1875 | 21k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
615.79/615.87 c 572s| 1240k|685128 | 0 | 0.0 | 796M|1008 | - |1875 | 16k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
619.70/619.74 c 575s| 1250k|692666 | 0 | 0.0 | 801M|1008 | - |1875 | 13k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
623.60/623.65 c 579s| 1260k|699844 | 0 | 0.0 | 808M|1008 | - |1875 | 14k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
627.89/627.98 c 583s| 1270k|706580 | 0 | 0.0 | 815M|1008 | - |1875 | 14k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.60/632.67 c 587s| 1280k|712792 | 0 | 0.0 | 822M|1008 | - |1875 | 15k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
638.39/638.49 c 593s| 1290k|717848 | 0 | 0.0 | 829M|1008 | - |1875 | 16k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
645.59/645.62 c 599s| 1300k|721504 | 0 | 0.0 | 835M|1008 | - |1875 | 18k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
651.70/651.76 c 605s| 1310k|726793 | 0 | 0.0 | 838M|1008 | - |1875 | 12k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
655.29/655.30 c 608s| 1320k|734477 | 0 | 0.0 | 845M|1008 | - |1875 | 13k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
658.99/659.02 c 612s| 1330k|741936 | 0 | 0.0 | 851M|1008 | - |1875 | 14k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
663.09/663.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.09/663.13 c 615s| 1340k|748885 | 0 | 0.0 | 858M|1008 | - |1875 | 14k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
667.89/667.93 c 620s| 1350k|755027 | 0 | 0.0 | 865M|1008 | - |1875 | 15k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
673.59/673.65 c 625s| 1360k|760254 | 0 | 0.0 | 871M|1008 | - |1875 | 17k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
680.69/680.71 c 632s| 1370k|764230 | 0 | 0.0 | 877M|1008 | - |1875 | 18k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.80/690.88 c 641s| 1380k|765494 | 0 | 0.0 | 881M|1008 | - |1875 | 14k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
698.70/698.71 c 649s| 1390k|768920 | 0 | 0.0 | 887M|1008 | - |1875 | 14k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
706.10/706.17 c 656s| 1400k|772606 | 0 | 0.0 | 894M|1008 | - |1875 | 14k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.59/713.64 c 663s| 1410k|776441 | 0 | 0.0 | 901M|1008 | - |1875 | 15k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
721.20/721.30 c 670s| 1420k|780160 | 0 | 0.0 | 908M|1008 | - |1875 | 15k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
729.39/729.45 c 678s| 1430k|783413 | 0 | 0.0 | 914M|1008 | - |1875 | 15k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.40/737.49 c 686s| 1440k|786705 | 0 | 0.0 | 920M|1008 | - |1875 | 15k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
745.59/745.67 c 693s| 1450k|790054 | 0 | 0.0 | 927M|1008 | - |1875 | 14k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
753.79/753.82 c 701s| 1460k|793177 | 0 | 0.0 | 934M|1008 | - |1875 | 15k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
762.20/762.28 c 709s| 1470k|796502 | 0 | 0.0 | 940M|1008 | - |1875 | 13k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
770.49/770.59 c 717s| 1480k|799292 | 0 | 0.0 | 946M|1008 | - |1875 | 16k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
778.89/778.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.89/778.90 c 725s| 1490k|802827 | 0 | 0.0 | 952M|1008 | - |1875 | 13k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
787.60/787.65 c 733s| 1500k|805249 | 0 | 0.0 | 958M|1008 | - |1875 | 16k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
796.09/796.16 c 742s| 1510k|808634 | 0 | 0.0 | 964M|1008 | - |1875 | 14k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
805.50/805.56 c 751s| 1520k|810589 | 0 | 0.0 | 970M|1008 | - |1875 | 16k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
814.19/814.27 c 759s| 1530k|813581 | 0 | 0.0 | 976M|1008 | - |1875 | 16k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
823.90/823.94 c 768s| 1540k|815539 | 0 | 0.0 | 981M|1008 | - |1875 | 16k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
832.39/832.49 c 776s| 1550k|818478 | 0 | 0.0 | 987M|1008 | - |1875 | 16k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.29/842.39 c 786s| 1560k|820311 | 0 | 0.0 | 991M|1008 | - |1875 | 15k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
851.50/851.52 c 795s| 1570k|822788 | 0 | 0.0 | 997M|1008 | - |1875 | 16k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
861.30/861.38 c 804s| 1580k|825055 | 0 | 0.0 |1003M|1008 | - |1875 | 15k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
871.49/871.54 c 814s| 1590k|826349 | 0 | 0.0 |1007M|1008 | - |1875 | 16k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.59/880.66 c 823s| 1600k|828968 | 0 | 0.0 |1013M|1008 | - |1875 | 17k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
890.90/890.93 c 832s| 1610k|830660 | 0 | 0.0 |1017M|1008 | - |1875 | 16k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
900.09/900.18 c 841s| 1620k|832926 | 0 | 0.0 |1023M|1008 | - |1875 | 17k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
910.00/910.05 c 851s| 1630k|835147 | 0 | 0.0 |1028M|1008 | - |1875 | 17k| 0 | 0 | 0 |1621k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
920.60/920.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.60/920.67 c 861s| 1640k|836366 | 0 | 0.0 |1032M|1008 | - |1875 | 17k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.30/930.38 c 870s| 1650k|838585 | 0 | 0.0 |1037M|1008 | - |1875 | 18k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
940.60/940.60 c 880s| 1660k|840801 | 0 | 0.0 |1042M|1008 | - |1875 | 15k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
950.90/950.98 c 890s| 1670k|841952 | 0 | 0.0 |1046M|1008 | - |1875 | 18k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.30/961.31 c 900s| 1680k|843980 | 0 | 0.0 |1051M|1008 | - |1875 | 18k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
971.89/971.94 c 910s| 1690k|845856 | 0 | 0.0 |1056M|1008 | - |1875 | 15k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.31/983.30 c 921s| 1700k|846385 | 0 | 0.0 |1060M|1008 | - |1875 | 19k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
994.09/994.16 c 932s| 1710k|848144 | 0 | 0.0 |1065M|1008 | - |1875 | 19k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1005.40/1005.47 c 943s| 1720k|849190 | 0 | 0.0 |1068M|1008 | - |1875 | 17k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1017.00/1017.04 c 954s| 1730k|850047 | 0 | 0.0 |1072M|1008 | - |1875 | 18k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1028.30/1028.39 c 965s| 1740k|851319 | 0 | 0.0 |1077M|1008 | - |1875 | 18k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1040.30/1040.35 c 976s| 1750k|851622 | 0 | 0.0 |1080M|1008 | - |1875 | 19k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.79/1051.84 c 987s| 1760k|852838 | 0 | 0.0 |1085M|1008 | - |1875 | 20k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1063.20/1063.27 c 998s| 1770k|854316 | 0 | 0.0 |1090M|1008 | - |1875 | 18k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1075.71/1075.76 c 1010s| 1780k|854112 | 0 | 0.0 |1092M|1008 | - |1875 | 20k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.10/1088.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.10/1088.18 c 1022s| 1790k|854857 | 0 | 0.0 |1097M|1008 | - |1875 | 19k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1099.80/1099.89 c 1034s| 1800k|855969 | 0 | 0.0 |1101M|1008 | - |1875 | 16k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.00/1113.10 c 1046s| 1810k|855098 | 0 | 0.0 |1104M|1008 | - |1875 | 21k| 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.40/1125.46 c 1058s| 1820k|856022 | 0 | 0.0 |1109M|1008 | - |1875 | 21k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1138.60/1138.66 c 1071s| 1830k|855453 | 0 | 0.0 |1110M|1008 | - |1875 | 20k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.90/1151.96 c 1084s| 1840k|855499 | 0 | 0.0 |1114M|1008 | - |1875 | 21k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.20/1164.22 c 1096s| 1850k|856676 | 0 | 0.0 |1118M|1008 | - |1875 | 16k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.30/1178.35 c 1109s| 1860k|855341 | 0 | 0.0 |1120M|1008 | - |1875 | 21k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1192.30/1192.35 c 1123s| 1870k|855957 | 0 | 0.0 |1124M|1008 | - |1875 | 21k| 0 | 0 | 0 |1996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.29/1209.33 c 1140s| 1880k|855160 | 0 | 0.0 |1125M|1008 | - |1875 | 21k| 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.29/1226.39 c 1157s| 1890k|854868 | 0 | 0.0 |1129M|1008 | - |1875 | 23k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1242.90/1242.95 c 1173s| 1900k|855004 | 0 | 0.0 |1132M|1008 | - |1875 | 20k| 0 | 0 | 0 |2051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1261.79/1261.83 c 1192s| 1910k|853427 | 0 | 0.0 |1133M|1008 | - |1875 | 24k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1278.79/1278.82 c 1209s| 1920k|854173 | 0 | 0.0 |1137M|1008 | - |1875 | 19k| 0 | 0 | 0 |2089k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1297.29/1297.35 c 1227s| 1930k|852163 | 0 | 0.0 |1137M|1008 | - |1875 | 24k| 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1315.20/1315.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.20/1315.26 c 1245s| 1940k|852515 | 0 | 0.0 |1141M|1008 | - |1875 | 22k| 0 | 0 | 0 |2129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1334.79/1334.81 c 1264s| 1950k|850628 | 0 | 0.0 |1141M|1008 | - |1875 | 25k| 0 | 0 | 0 |2150k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1352.69/1352.73 c 1282s| 1960k|851189 | 0 | 0.0 |1144M|1008 | - |1875 | 22k| 0 | 0 | 0 |2168k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.19/1372.23 c 1301s| 1970k|849130 | 0 | 0.0 |1144M|1008 | - |1875 | 24k| 0 | 0 | 0 |2190k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1390.59/1390.68 c 1319s| 1980k|849075 | 0 | 0.0 |1146M|1008 | - |1875 | 21k| 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1410.90/1410.96 c 1340s| 1990k|847317 | 0 | 0.0 |1147M|1008 | - |1875 | 25k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.60/1430.69 c 1359s| 2000k|846244 | 0 | 0.0 |1148M|1008 | - |1875 | 24k| 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1451.39/1451.43 c 1380s| 2010k|845639 | 0 | 0.0 |1150M|1008 | - |1875 | 23k| 0 | 0 | 0 |2273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1473.09/1473.16 c 1401s| 2020k|843401 | 0 | 0.0 |1150M|1008 | - |1875 | 26k| 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1495.19/1495.29 c 1423s| 2030k|841382 | 0 | 0.0 |1150M|1008 | - |1875 | 26k| 0 | 0 | 0 |2320k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.59/1517.67 c 1445s| 2040k|839205 | 0 | 0.0 |1149M|1008 | - |1875 | 25k| 0 | 0 | 0 |2343k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1540.00/1540.07 c 1468s| 2050k|836957 | 0 | 0.0 |1149M|1008 | - |1875 | 26k| 0 | 0 | 0 |2367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1563.09/1563.14 c 1490s| 2060k|834365 | 0 | 0.0 |1146M|1008 | - |1875 | 23k| 0 | 0 | 0 |2391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.09/1588.14 c 1515s| 2070k|830595 | 0 | 0.0 |1143M|1008 | - |1875 | 25k| 0 | 0 | 0 |2417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1615.09/1615.16 c 1542s| 2080k|825756 | 0 | 0.0 |1137M|1008 | - |1875 | 26k| 0 | 0 | 0 |2444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1635.99/1636.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.99/1636.03 c 1563s| 2090k|824143 | 0 | 0.0 |1126M|1008 | - |1875 | 12k| 0 | 0 | 0 |2464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.59/1640.64 c 1567s| 2100k|831224 | 0 | 0.0 |1132M|1008 | - |1875 | 10k| 0 | 0 | 0 |2468k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1645.00/1645.02 c 1572s| 2110k|838301 | 0 | 0.0 |1138M|1008 | - |1875 | 11k| 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1649.49/1649.59 c 1576s| 2120k|845101 | 0 | 0.0 |1145M|1008 | - |1875 | 11k| 0 | 0 | 0 |2478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1654.19/1654.23 c 1580s| 2130k|851890 | 0 | 0.0 |1152M|1008 | - |1875 | 11k| 0 | 0 | 0 |2483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.99/1659.05 c 1585s| 2140k|858544 | 0 | 0.0 |1158M|1008 | - |1875 | 12k| 0 | 0 | 0 |2488k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.09/1664.19 c 1590s| 2150k|864947 | 0 | 0.0 |1164M|1008 | - |1875 | 12k| 0 | 0 | 0 |2494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.30/1669.31 c 1595s| 2160k|871241 | 0 | 0.0 |1171M|1008 | - |1875 | 12k| 0 | 0 | 0 |2499k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.50/1674.52 c 1600s| 2170k|877468 | 0 | 0.0 |1177M|1008 | - |1875 | 12k| 0 | 0 | 0 |2505k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1679.70/1679.76 c 1605s| 2180k|883686 | 0 | 0.0 |1184M|1008 | - |1875 | 13k| 0 | 0 | 0 |2511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.40/1685.48 c 1611s| 2190k|889501 | 0 | 0.0 |1191M|1008 | - |1875 | 14k| 0 | 0 | 0 |2517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1691.60/1691.63 c 1617s| 2200k|895043 | 0 | 0.0 |1197M|1008 | - |1875 | 14k| 0 | 0 | 0 |2524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1697.80/1697.80 c 1623s| 2210k|900555 | 0 | 0.0 |1204M|1008 | - |1875 | 15k| 0 | 0 | 0 |2530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1703.59/1703.61 c 1629s| 2220k|906354 | 0 | 0.0 |1210M|1008 | - |1875 | 15k| 0 | 0 | 0 |2537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1710.30/1710.31 c 1635s| 2230k|911598 | 0 | 0.0 |1217M|1008 | - |1875 | 16k| 0 | 0 | 0 |2544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1717.10/1717.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.10/1717.19 c 1642s| 2240k|916599 | 0 | 0.0 |1223M|1008 | - |1875 | 16k| 0 | 0 | 0 |2552k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1723.50/1723.54 c 1648s| 2250k|922090 | 0 | 0.0 |1230M|1008 | - |1875 | 17k| 0 | 0 | 0 |2559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.70/1730.72 c 1655s| 2260k|926984 | 0 | 0.0 |1236M|1008 | - |1875 | 17k| 0 | 0 | 0 |2566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1738.30/1738.30 c 1663s| 2270k|931686 | 0 | 0.0 |1242M|1008 | - |1875 | 17k| 0 | 0 | 0 |2574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.40/1745.47 c 1670s| 2280k|936649 | 0 | 0.0 |1249M|1008 | - |1875 | 18k| 0 | 0 | 0 |2582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1753.69/1753.79 c 1678s| 2290k|940777 | 0 | 0.0 |1255M|1008 | - |1875 | 18k| 0 | 0 | 0 |2591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1761.90/1761.94 c 1686s| 2300k|945227 | 0 | 0.0 |1261M|1008 | - |1875 | 18k| 0 | 0 | 0 |2599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1770.09/1770.13 c 1694s| 2310k|949574 | 0 | 0.0 |1267M|1008 | - |1875 | 19k| 0 | 0 | 0 |2608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1779.39/1779.43 c 1703s| 2320k|953239 | 0 | 0.0 |1274M|1008 | - |1875 | 20k| 0 | 0 | 0 |2617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1787.70/1787.77 c 1711s| 2330k|957623 | 0 | 0.0 |1280M|1008 | - |1875 | 20k| 0 | 0 | 0 |2626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1797.70/1797.80 c 1721s| 2340k|961024 | 0 | 0.0 |1286M|1008 | - |1875 | 20k| 0 | 0 | 0 |2635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.00/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.00 c Solving Time (sec) : 1723.13
1800.00/1800.00 c Solving Nodes : 2342486
1800.00/1800.00 c Primal Bound : +2.00000000000000e+00 (16 solutions)
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.01 s SATISFIABLE
1800.00/1800.01 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.00/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.00/1800.01 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.00/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.00/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.00/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.00/1800.01 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.00/1800.01 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.00/1800.01 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.00/1800.01 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.00/1800.01 v x1
1800.00/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.01 c Solving Time : 1723.13
1800.00/1800.01 c Original Problem :
1800.00/1800.01 c Problem name : HOME/instance-2693578-1277911642.wbo
1800.00/1800.01 c Variables : 2015 (1123 binary, 0 integer, 0 implicit integer, 892 continuous)
1800.00/1800.01 c Constraints : 3600 initial, 3600 maximal
1800.00/1800.01 c Presolved Problem :
1800.00/1800.01 c Problem name : t_HOME/instance-2693578-1277911642.wbo
1800.00/1800.01 c Variables : 1875 (1053 binary, 0 integer, 0 implicit integer, 822 continuous)
1800.00/1800.01 c Constraints : 3344 initial, 27721 maximal
1800.00/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.01 c trivial : 0.00 70 0 0 0 0 0 0 0
1800.00/1800.01 c dualfix : 0.00 70 0 0 0 0 0 0 0
1800.00/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.01 c indicator : 0.00 0 0 0 0 0 70 0 0
1800.00/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c linear : 0.07 0 0 0 914 0 186 127 0
1800.00/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.01 c root node : - 815 - - 1630 - - - -
1800.00/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c indicator : 822 0 2771066 0 873572 152 1121433 0 0 0
1800.00/1800.01 c setppc : 13 0 7517710 0 1861326 117032 5311915 0 0 0
1800.00/1800.01 c linear : 822 0 7403851 0 1861442 324034 29469505 0 0 0
1800.00/1800.01 c logicor : 1687+ 0 5670791 0 1861455 308473 15041124 0 0 0
1800.00/1800.01 c bounddisjunction : 0+ 0 350966 0 0 5 798 0 0 0
1800.00/1800.01 c countsols : 0 0 0 0 1861451 0 0 0 0 0
1800.00/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.01 c indicator : 5.49 0.00 2.29 0.00 3.20
1800.00/1800.01 c setppc : 27.81 0.00 25.41 0.00 2.40
1800.00/1800.01 c linear : 165.74 0.00 164.92 0.00 0.82
1800.00/1800.01 c logicor : 650.00 0.00 565.31 0.00 84.69
1800.00/1800.01 c bounddisjunction : 2.85 0.00 2.85 0.00 0.00
1800.00/1800.01 c countsols : 0.05 0.00 0.00 0.00 0.05
1800.00/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.01 c vbounds : 0.44 2 0 0
1800.00/1800.01 c rootredcost : 0.39 0 0 0
1800.00/1800.01 c pseudoobj : 128.82 7522128 1231 1109918
1800.00/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.01 c propagation : 34.90 750775 750675 3984639 24.5 181005 10.4 -
1800.00/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c pseudo solution : 0.01 32 32 157 21.8 41 11.4 -
1800.00/1800.01 c applied globally : - - - 2638018 21.3 - - -
1800.00/1800.01 c applied locally : - - - 24 112.1 - - -
1800.00/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.01 c redcost : 0.00 0 0 0 0 0
1800.00/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.01 c intobj : 0.00 0 0 0 0 0
1800.00/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.01 c gomory : 0.00 0 0 0 0 0
1800.00/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.01 c cmir : 0.00 0 0 0 0 0
1800.00/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.01 c clique : 0.00 0 0 0 0 0
1800.00/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.01 c mcf : 0.00 0 0 0 0 0
1800.00/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.01 c Pricers : Time Calls Vars
1800.00/1800.01 c problem variables: 0.00 0 0
1800.00/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.01 c inference : 25.07 1861435 0 0 0 0 3722870
1800.00/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.01 c random : 0.00 0 0 0 0 0 0
1800.00/1800.01 c Primal Heuristics : Time Calls Found
1800.00/1800.01 c LP solutions : 0.00 - 0
1800.00/1800.01 c pseudo solutions : 0.09 - 16
1800.00/1800.01 c oneopt : 0.22 0 0
1800.00/1800.01 c trivial : 0.00 2 0
1800.00/1800.01 c simplerounding : 0.00 0 0
1800.00/1800.01 c zirounding : 0.00 0 0
1800.00/1800.01 c rounding : 0.00 0 0
1800.00/1800.01 c shifting : 0.00 0 0
1800.00/1800.01 c intshifting : 0.00 0 0
1800.00/1800.01 c twoopt : 0.00 0 0
1800.00/1800.01 c fixandinfer : 0.00 0 0
1800.00/1800.01 c feaspump : 0.00 0 0
1800.00/1800.01 c coefdiving : 0.00 0 0
1800.00/1800.01 c pscostdiving : 0.00 0 0
1800.00/1800.01 c fracdiving : 0.00 0 0
1800.00/1800.01 c veclendiving : 0.00 0 0
1800.00/1800.01 c intdiving : 0.00 0 0
1800.00/1800.01 c actconsdiving : 0.00 0 0
1800.00/1800.01 c objpscostdiving : 0.00 0 0
1800.00/1800.01 c rootsoldiving : 0.00 0 0
1800.00/1800.01 c linesearchdiving : 0.00 0 0
1800.00/1800.01 c guideddiving : 0.00 0 0
1800.00/1800.01 c octane : 0.00 0 0
1800.00/1800.01 c rens : 0.00 0 0
1800.00/1800.01 c rins : 0.00 0 0
1800.00/1800.01 c localbranching : 0.00 0 0
1800.00/1800.01 c mutation : 0.00 0 0
1800.00/1800.01 c crossover : 0.00 0 0
1800.00/1800.01 c dins : 0.00 0 0
1800.00/1800.01 c undercover : 0.00 0 0
1800.00/1800.01 c nlp : 0.16 0 0
1800.00/1800.01 c trysol : 0.11 1 0
1800.00/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.01 c (at root node) : - 0 0 0.00 -
1800.00/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.01 c B&B Tree :
1800.00/1800.01 c number of runs : 1
1800.00/1800.01 c nodes : 2342486
1800.00/1800.01 c nodes (total) : 2342486
1800.00/1800.01 c nodes left : 962027
1800.00/1800.01 c max depth : 1008
1800.00/1800.01 c max depth (total): 1008
1800.00/1800.01 c backtracks : 500980 (21.4%)
1800.00/1800.01 c delayed cutoffs : 378793
1800.00/1800.01 c repropagations : 1721272 (14808143 domain reductions, 269924 cutoffs)
1800.00/1800.01 c avg switch length: 19.92
1800.00/1800.01 c switching time : 557.57
1800.00/1800.01 c Solution :
1800.00/1800.01 c Solutions found : 16 (16 improvements)
1800.00/1800.01 c First Solution : +4.95000000000000e+02 (in run 1, after 3064 nodes, 0.68 seconds, depth 197, found by <relaxation>)
1800.00/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 954282 nodes, 411.70 seconds, depth 108, found by <relaxation>)
1800.00/1800.01 c Dual Bound : +0.00000000000000e+00
1800.00/1800.01 c Gap : infinite
1800.00/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.01 c Root Iterations : 0