0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4445955-1721328766.opb>
0.00/0.01 c original problem has 1737 variables (1737 bin, 0 int, 0 impl, 0 cont) and 1041 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver found nothing
0.00/0.03 c (round 1, exhaustive) 0 del vars, 42 del conss, 0 add conss, 0 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 810 clqs
0.00/0.04 c (round 2, exhaustive) 0 del vars, 42 del conss, 0 add conss, 0 chg bounds, 42 chg sides, 0 chg coeffs, 912 upgd conss, 0 impls, 810 clqs
0.00/0.04 c (round 3, medium) 18 del vars, 42 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 18 chg coeffs, 912 upgd conss, 0 impls, 810 clqs
0.00/0.05 c (round 4, exhaustive) 42 del vars, 45 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 18 chg coeffs, 912 upgd conss, 0 impls, 807 clqs
0.00/0.05 c (round 5, medium) 45 del vars, 45 del conss, 0 add conss, 0 chg bounds, 63 chg sides, 21 chg coeffs, 912 upgd conss, 0 impls, 807 clqs
0.00/0.07 c (0.1s) probing: 51/1692 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.08 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.09 c (0.1s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.00/0.09 c dynamic symmetry handling statistics:
0.00/0.09 c orbitopal reduction: no components
0.00/0.09 c orbital reduction: 1 components of sizes 7
0.00/0.09 c lexicographic reduction: 7 permutations with support sizes 648, 648, 682, 682, 682, 682, 682
0.00/0.09 c handled 1 out of 1 symmetry components
0.00/0.10 c presolving (6 rounds: 6 fast, 6 medium, 4 exhaustive):
0.00/0.10 c 45 deleted vars, 45 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 63 changed sides, 21 changed coefficients
0.00/0.10 c 0 implications, 807 cliques
0.00/0.10 c presolved problem has 1692 variables (1692 bin, 0 int, 0 impl, 0 cont) and 996 constraints
0.00/0.10 c 144 constraints of type <knapsack>
0.00/0.10 c 765 constraints of type <setppc>
0.00/0.10 c 87 constraints of type <linear>
0.00/0.10 c transformed objective value is always integral (scale: 1)
0.00/0.10 c Presolving Time: 0.08
0.00/0.10 c - non default parameters ----------------------------------------------------------------------
0.00/0.10 c # SCIP version 10.0.0
0.00/0.10 c
0.00/0.10 c # maximal time in seconds to run
0.00/0.10 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.10 c limits/time = 3596.997014
0.00/0.10 c
0.00/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.10 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.10 c limits/memory = 27900
0.00/0.10 c
0.00/0.10 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.10 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.10 c limits/solutions = 1
0.00/0.10 c
0.00/0.10 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.10 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.10 c misc/usesymmetry = 3
0.00/0.10 c
0.00/0.10 c # belongs reading time to solving time?
0.00/0.10 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c timing/reading = TRUE
0.00/0.10 c
0.00/0.10 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.10 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.10 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.10 c
0.00/0.10 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.10 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.10 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.10 c
0.00/0.10 c # Type of symmetries that shall be computed?
0.00/0.10 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.10 c propagating/symmetry/symtype = 1
0.00/0.10 c
0.00/0.10 c # Should components consisting of a single full reflection be handled?
0.00/0.10 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.10 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.10 c
0.00/0.10 c -----------------------------------------------------------------------------------------------
0.00/0.10 c start solving
0.00/0.10 c
1.29/1.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.29/1.30 c 1.3s| 1 | 0 | 11736 | - | 28M | 0 |1692 |1101 | 996 | 0 | 0 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
2.68/2.77 c 2.8s| 1 | 0 | 26417 | - | 30M | 0 |1692 |1253 |1007 | 11 | 1 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
2.88/2.95 c 2.9s| 1 | 0 | 26642 | - | 30M | 0 |1692 |1260 |1018 | 22 | 2 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
2.88/2.95 c 3.0s| 1 | 0 | 26811 | - | 31M | 0 |1692 |1261 |1028 | 32 | 3 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
2.98/3.04 c 3.0s| 1 | 0 | 26954 | - | 31M | 0 |1692 |1267 |1039 | 43 | 4 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
3.08/3.15 c 3.1s| 1 | 0 | 27170 | - | 31M | 0 |1692 |1268 |1048 | 52 | 5 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
3.18/3.23 c 3.2s| 1 | 0 | 27260 | - | 31M | 0 |1692 |1269 |1055 | 59 | 6 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
3.28/3.33 c 3.3s| 1 | 0 | 27380 | - | 31M | 0 |1692 |1272 |1063 | 67 | 7 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
3.38/3.44 c 3.4s| 1 | 0 | 27540 | - | 32M | 0 |1692 |1279 |1071 | 75 | 8 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
3.48/3.54 c 3.5s| 1 | 0 | 27681 | - | 32M | 0 |1692 |1281 |1081 | 85 | 9 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
3.58/3.64 c 3.6s| 1 | 0 | 27773 | - | 32M | 0 |1692 |1282 |1088 | 92 | 10 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
3.58/3.69 c 3.7s| 1 | 0 | 27885 | - | 32M | 0 |1692 |1283 |1092 | 100 | 11 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown
8.46/8.60 c 8.6s| 1 | 2 | 50594 | - | 32M | 0 |1692 |1287 |1092 | 100 | 11 | 140 | 16 | 0.000000e+00 | -- | Inf | unknown
89.71/90.09 c 90.1s| 100 | 99 |746408 |7257.8 | 35M | 13 |1692 |1628 |1058 | 162 | 2 | 483 | 16 | 0.000000e+00 | -- | Inf | unknown
155.28/155.83 c 156s| 200 | 199 | 1311k|6450.3 | 37M | 16 |1692 |1982 |1057 | 381 | 1 | 847 | 16 | 0.000000e+00 | -- | Inf | unknown
161.06/161.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
161.06/161.67 c 162s| 300 | 227 | 1363k|4467.4 | 39M | 40 |1692 |2111 |1061 | 406 | 1 | 976 | 16 | 0.000000e+00 | -- | Inf | unknown
163.05/163.60 c 164s| 400 | 233 | 1383k|3397.4 | 40M | 40 |1692 |2318 |1061 | 441 | 1 |1184 | 16 | 0.000000e+00 | -- | Inf | unknown
166.14/166.72 c 167s| 500 | 248 | 1415k|2780.2 | 43M | 43 |1692 |2385 |1056 | 470 | 0 |1252 | 16 | 0.000000e+00 | -- | Inf | unknown
167.24/167.87 c 168s| 600 | 242 | 1425k|2333.6 | 45M | 43 |1692 |2534 |1058 | 509 | 0 |1404 | 16 | 0.000000e+00 | -- | Inf | unknown
168.34/168.95 c 169s| 700 | 243 | 1436k|2014.7 | 45M | 43 |1692 |2625 |1058 | 524 | 0 |1496 | 16 | 0.000000e+00 | -- | Inf | unknown
169.54/170.13 c 170s| 800 | 247 | 1447k|1776.5 | 46M | 43 |1692 |2675 |1056 | 542 | 0 |1548 | 16 | 0.000000e+00 | -- | Inf | unknown
171.03/171.65 c 172s| 900 | 243 | 1461k|1595.0 | 48M | 43 |1692 |2728 |1060 | 583 | 0 |1602 | 16 | 0.000000e+00 | -- | Inf | unknown
172.32/172.95 c 173s| 1000 | 242 | 1474k|1447.9 | 48M | 43 |1692 |2857 |1060 | 602 | 1 |1735 | 16 | 0.000000e+00 | -- | Inf | unknown
173.72/174.31 c 174s| 1100 | 240 | 1488k|1328.9 | 49M | 43 |1692 |2914 |1059 | 625 | 1 |1796 | 16 | 0.000000e+00 | -- | Inf | unknown
174.92/175.59 c 176s| 1200 | 238 | 1500k|1228.6 | 49M | 43 |1692 |2978 |1065 | 650 | 0 |1860 | 16 | 0.000000e+00 | -- | Inf | unknown
176.21/176.89 c 177s| 1300 | 245 | 1513k|1143.8 | 49M | 43 |1692 |3042 |1058 | 676 | 0 |1932 | 16 | 0.000000e+00 | -- | Inf | unknown
177.61/178.24 c 178s| 1400 | 241 | 1527k|1071.7 | 49M | 43 |1692 |3046 |1061 | 702 | 0 |1941 | 16 | 0.000000e+00 | -- | Inf | unknown
178.81/179.44 c 179s| 1500 | 241 | 1538k|1007.7 | 49M | 43 |1692 |3119 |1061 | 722 | 1 |2021 | 16 | 0.000000e+00 | -- | Inf | unknown
180.41/181.01 c 181s| 1600 | 247 | 1554k| 954.9 | 49M | 43 |1692 |3149 |1058 | 735 | 1 |2059 | 16 | 0.000000e+00 | -- | Inf | unknown
181.70/182.34 c 182s| 1700 | 243 | 1568k| 906.8 | 50M | 43 |1692 |3192 |1061 | 741 | 1 |2105 | 16 | 0.000000e+00 | -- | Inf | unknown
183.09/183.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
183.09/183.73 c 184s| 1800 | 239 | 1582k| 864.4 | 50M | 43 |1692 |3206 |1060 | 746 | 0 |2122 | 16 | 0.000000e+00 | -- | Inf | unknown
184.49/185.12 c 185s| 1900 | 247 | 1596k| 825.8 | 50M | 43 |1692 |3268 |1067 | 774 | 0 |2190 | 16 | 0.000000e+00 | -- | Inf | unknown
185.68/186.36 c 186s| 2000 | 244 | 1607k| 790.3 | 51M | 43 |1692 |3302 |1059 | 797 | 1 |2229 | 16 | 0.000000e+00 | -- | Inf | unknown
186.88/187.56 c 188s| 2100 | 243 | 1618k| 757.8 | 52M | 43 |1692 |3408 |1061 | 844 | 1 |2338 | 16 | 0.000000e+00 | -- | Inf | unknown
188.28/188.90 c 189s| 2200 | 241 | 1631k| 729.4 | 53M | 43 |1692 |3431 |1065 | 859 | 0 |2370 | 16 | 0.000000e+00 | -- | Inf | unknown
189.77/190.45 c 190s| 2300 | 239 | 1647k| 704.4 | 53M | 43 |1692 |3441 |1060 | 892 | 1 |2390 | 16 | 0.000000e+00 | -- | Inf | unknown
191.47/192.16 c 192s| 2400 | 244 | 1665k| 682.7 | 53M | 43 |1692 |3447 |1059 | 914 | 0 |2404 | 16 | 0.000000e+00 | -- | Inf | unknown
193.06/193.75 c 194s| 2500 | 250 | 1681k| 661.9 | 53M | 43 |1692 |3457 |1063 | 934 | 1 |2442 | 16 | 0.000000e+00 | -- | Inf | unknown
194.76/195.41 c 195s| 2600 | 248 | 1696k| 642.0 | 54M | 51 |1692 |3531 |1066 | 977 | 0 |2528 | 16 | 0.000000e+00 | -- | Inf | unknown
196.05/196.76 c 197s| 2700 | 254 | 1708k| 622.7 | 54M | 57 |1692 |3586 |1068 |1012 | 0 |2599 | 16 | 0.000000e+00 | -- | Inf | unknown
198.15/198.85 c 199s| 2800 | 248 | 1730k| 608.2 | 55M | 57 |1692 |3594 |1061 |1029 | 1 |2621 | 16 | 0.000000e+00 | -- | Inf | unknown
199.84/200.52 c 201s| 2900 | 248 | 1746k| 592.9 | 55M | 57 |1692 |3667 | 0 |1064 | 0 |2712 | 16 | 0.000000e+00 | -- | Inf | unknown
201.64/202.33 c 202s| 3000 | 250 | 1763k| 578.7 | 56M | 57 |1692 |3714 |1069 |1119 | 1 |2772 | 16 | 0.000000e+00 | -- | Inf | unknown
203.34/204.05 c 204s| 3100 | 252 | 1779k| 565.1 | 57M | 57 |1692 |3724 |1070 |1156 | 1 |2795 | 16 | 0.000000e+00 | -- | Inf | unknown
204.93/205.65 c 206s| 3200 | 248 | 1794k| 552.2 | 57M | 57 |1692 |3718 |1065 |1186 | 1 |2805 | 16 | 0.000000e+00 | -- | Inf | unknown
206.82/207.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
206.82/207.53 c 208s| 3300 | 246 | 1812k| 540.8 | 57M | 57 |1692 |3726 |1063 |1227 | 1 |2838 | 16 | 0.000000e+00 | -- | Inf | unknown
208.42/209.19 c 209s| 3400 | 252 | 1826k| 529.1 | 58M | 57 |1692 |3742 |1065 |1295 | 0 |2862 | 16 | 0.000000e+00 | -- | Inf | unknown
210.31/211.08 c 211s| 3500 | 246 | 1842k| 518.5 | 59M | 57 |1692 |3761 |1068 |1405 | 0 |2897 | 16 | 0.000000e+00 | -- | Inf | unknown
212.11/212.84 c 213s| 3600 | 238 | 1859k| 508.8 | 59M | 57 |1692 |3744 |1061 |1448 | 0 |2917 | 16 | 0.000000e+00 | -- | Inf | unknown
214.50/215.24 c 215s| 3700 | 242 | 1883k| 501.8 | 59M | 57 |1692 |3735 |1064 |1501 | 1 |2936 | 16 | 0.000000e+00 | -- | Inf | unknown
216.00/216.77 c 217s| 3800 | 240 | 1899k| 492.6 | 59M | 57 |1692 |3754 |1069 |1528 | 0 |2984 | 16 | 0.000000e+00 | -- | Inf | unknown
217.40/218.13 c 218s| 3900 | 238 | 1911k| 483.0 | 60M | 57 |1692 |3843 |1064 |1572 | 1 |3094 | 16 | 0.000000e+00 | -- | Inf | unknown
218.79/219.58 c 220s| 4000 | 240 | 1925k| 474.6 | 60M | 57 |1692 |3830 |1065 |1613 | 0 |3103 | 16 | 0.000000e+00 | -- | Inf | unknown
220.29/221.08 c 221s| 4100 | 238 | 1940k| 466.7 | 61M | 57 |1692 |3837 |1065 |1630 | 0 |3126 | 16 | 0.000000e+00 | -- | Inf | unknown
222.18/222.90 c 223s| 4200 | 238 | 1959k| 460.0 | 61M | 57 |1692 |3826 | 0 |1677 | 0 |3140 | 16 | 0.000000e+00 | -- | Inf | unknown
223.77/224.55 c 225s| 4300 | 238 | 1976k| 453.3 | 61M | 57 |1692 |3824 |1063 |1677 | 0 |3168 | 16 | 0.000000e+00 | -- | Inf | unknown
225.67/226.49 c 226s| 4400 | 244 | 1995k| 447.4 | 61M | 57 |1692 |3772 |1066 |1686 | 1 |3183 | 16 | 0.000000e+00 | -- | Inf | unknown
227.37/228.11 c 228s| 4500 | 247 | 2009k| 440.5 | 61M | 57 |1692 |3839 |1067 |1792 | 1 |3267 | 16 | 0.000000e+00 | -- | Inf | unknown
229.46/230.21 c 230s| 4600 | 241 | 2029k| 435.2 | 62M | 57 |1692 |3891 |1065 |1898 | 1 |3330 | 16 | 0.000000e+00 | -- | Inf | unknown
231.36/232.14 c 232s| 4700 | 239 | 2046k| 429.6 | 63M | 57 |1692 |3916 |1079 |2028 | 1 |3385 | 16 | 0.000000e+00 | -- | Inf | unknown
233.54/234.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
233.54/234.35 c 234s| 4800 | 241 | 2066k| 424.8 | 64M | 57 |1692 |3928 |1070 |2154 | 1 |3438 | 16 | 0.000000e+00 | -- | Inf | unknown
235.34/236.19 c 236s| 4900 | 237 | 2084k| 419.8 | 64M | 57 |1692 |3989 |1072 |2202 | 1 |3540 | 16 | 0.000000e+00 | -- | Inf | unknown
236.83/237.64 c 238s| 5000 | 238 | 2098k| 414.1 | 64M | 57 |1692 |4032 |1069 |2247 | 0 |3623 | 16 | 0.000000e+00 | -- | Inf | unknown
238.43/239.24 c 239s| 5100 | 240 | 2113k| 408.9 | 65M | 57 |1692 |4084 |1070 |2315 | 0 |3703 | 16 | 0.000000e+00 | -- | Inf | unknown
240.23/241.08 c 241s| 5200 | 238 | 2129k| 404.3 | 66M | 57 |1692 |4172 |1072 |2377 | 0 |3810 | 16 | 0.000000e+00 | -- | Inf | unknown
242.22/243.04 c 243s| 5300 | 238 | 2148k| 400.1 | 66M | 57 |1692 |4198 |1070 |2453 | 1 |3877 | 16 | 0.000000e+00 | -- | Inf | unknown
243.51/244.31 c 244s| 5400 | 233 | 2160k| 395.1 | 66M | 57 |1692 |4261 |1075 |2472 | 0 |3972 | 16 | 0.000000e+00 | -- | Inf | unknown
244.90/245.72 c 246s| 5500 | 239 | 2175k| 390.5 | 66M | 57 |1692 |4265 |1075 |2506 | 0 |4074 | 16 | 0.000000e+00 | -- | Inf | unknown
246.30/247.16 c 247s| 5600 | 240 | 2189k| 386.1 | 66M | 57 |1692 |4296 |1070 |2539 | 1 |4193 | 16 | 0.000000e+00 | -- | Inf | unknown
247.99/248.82 c 249s| 5700 | 238 | 2206k| 382.3 | 66M | 57 |1692 |4374 |1071 |2581 | 0 |4317 | 16 | 0.000000e+00 | -- | Inf | unknown
249.39/250.29 c 250s| 5800 | 239 | 2222k| 378.4 | 66M | 57 |1692 |4455 |1067 |2595 | 1 |4436 | 16 | 0.000000e+00 | -- | Inf | unknown
250.68/251.57 c 252s| 5900 | 238 | 2234k| 374.1 | 67M | 57 |1692 |4520 |1073 |2647 | 0 |4564 | 16 | 0.000000e+00 | -- | Inf | unknown
252.28/253.12 c 253s| 6000 | 239 | 2250k| 370.5 | 67M | 57 |1692 |4533 |1071 |2692 | 0 |4629 | 16 | 0.000000e+00 | -- | Inf | unknown
253.67/254.59 c 255s| 6100 | 241 | 2265k| 366.9 | 67M | 57 |1692 |4672 |1071 |2743 | 0 |4813 | 16 | 0.000000e+00 | -- | Inf | unknown
255.36/256.21 c 256s| 6200 | 240 | 2281k| 363.6 | 67M | 57 |1692 |4793 |1070 |2820 | 1 |4980 | 16 | 0.000000e+00 | -- | Inf | unknown
256.96/257.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
256.96/257.81 c 258s| 6300 | 239 | 2298k| 360.5 | 67M | 57 |1692 |4806 |1070 |2836 | 0 |5042 | 16 | 0.000000e+00 | -- | Inf | unknown
258.55/259.47 c 259s| 6400 | 241 | 2315k| 357.5 | 67M | 57 |1692 |4933 |1073 |2895 | 1 |5189 | 16 | 0.000000e+00 | -- | Inf | unknown
260.15/261.06 c 261s| 6500 | 233 | 2331k| 354.4 | 67M | 57 |1692 |4945 |1070 |2968 | 0 |5256 | 16 | 0.000000e+00 | -- | Inf | unknown
261.44/262.38 c 262s| 6600 | 237 | 2344k| 351.0 | 67M | 57 |1692 |5007 |1069 |3032 | 1 |5353 | 16 | 0.000000e+00 | -- | Inf | unknown
262.83/263.77 c 264s| 6700 | 236 | 2358k| 347.8 | 67M | 57 |1692 |5074 |1069 |3060 | 1 |5442 | 16 | 0.000000e+00 | -- | Inf | unknown
264.33/265.23 c 265s| 6800 | 240 | 2372k| 344.9 | 67M | 57 |1692 |5109 |1069 |3112 | 1 |5490 | 16 | 0.000000e+00 | -- | Inf | unknown
265.62/266.51 c 267s| 6900 | 240 | 2385k| 341.7 | 68M | 57 |1692 |5183 |1076 |3121 | 1 |5570 | 16 | 0.000000e+00 | -- | Inf | unknown
267.22/268.11 c 268s| 7000 | 241 | 2401k| 339.2 | 68M | 57 |1692 |5170 |1069 |3165 | 1 |5675 | 16 | 0.000000e+00 | -- | Inf | unknown
268.51/269.45 c 269s| 7100 | 236 | 2414k| 336.2 | 68M | 57 |1692 |5151 |1068 |3234 | 1 |5757 | 16 | 0.000000e+00 | -- | Inf | unknown
270.51/271.40 c 271s| 7200 | 236 | 2435k| 334.4 | 68M | 57 |1692 |5056 |1071 |3393 | 0 |5906 | 16 | 0.000000e+00 | -- | Inf | unknown
272.20/273.14 c 273s| 7300 | 241 | 2453k| 332.3 | 68M | 57 |1692 |4906 |1059 |3438 | 1 |6003 | 16 | 0.000000e+00 | -- | Inf | unknown
273.29/274.27 c 274s| 7400 | 239 | 2463k| 329.2 | 68M | 57 |1692 |4875 |1067 |3487 | 1 |6075 | 16 | 0.000000e+00 | -- | Inf | unknown
274.49/275.46 c 275s| 7500 | 235 | 2474k| 326.3 | 68M | 57 |1692 |4973 |1066 |3525 | 1 |6200 | 16 | 0.000000e+00 | -- | Inf | unknown
275.98/276.98 c 277s| 7600 | 242 | 2489k| 324.0 | 68M | 57 |1692 |4607 |1061 |3600 | 1 |6300 | 16 | 0.000000e+00 | -- | Inf | unknown
276.78/277.75 c 278s| 7700 | 235 | 2496k| 320.6 | 68M | 57 |1692 |4650 |1061 |3632 | 0 |6415 | 16 | 0.000000e+00 | -- | Inf | unknown
277.98/278.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
277.98/278.93 c 279s| 7800 | 236 | 2507k| 318.0 | 68M | 57 |1692 |4584 |1065 |3649 | 0 |6483 | 16 | 0.000000e+00 | -- | Inf | unknown
279.08/280.03 c 280s| 7900 | 236 | 2517k| 315.2 | 69M | 57 |1692 |4387 |1068 |3693 | 1 |6620 | 16 | 0.000000e+00 | -- | Inf | unknown
281.07/282.08 c 282s| 8000 | 236 | 2539k| 314.0 | 69M | 57 |1692 |4294 |1073 |3768 | 0 |6692 | 16 | 0.000000e+00 | -- | Inf | unknown
282.86/283.81 c 284s| 8100 | 238 | 2556k| 312.3 | 69M | 57 |1692 |4334 |1074 |3850 | 1 |6796 | 16 | 0.000000e+00 | -- | Inf | unknown
285.85/286.80 c 287s| 8200 | 248 | 2586k| 312.1 | 69M | 57 |1692 |4250 |1069 |3882 | 1 |6865 | 16 | 0.000000e+00 | -- | Inf | unknown
287.94/288.96 c 289s| 8300 | 244 | 2608k| 310.9 | 69M | 57 |1692 |4259 |1062 |3938 | 0 |7034 | 16 | 0.000000e+00 | -- | Inf | unknown
289.54/290.53 c 291s| 8400 | 257 | 2623k| 309.1 | 69M | 57 |1692 |4177 |1070 |3973 | 1 |7114 | 16 | 0.000000e+00 | -- | Inf | unknown
291.43/292.47 c 292s| 8500 | 255 | 2644k| 307.8 | 69M | 57 |1692 |4146 |1061 |3980 | 1 |7171 | 16 | 0.000000e+00 | -- | Inf | unknown
293.03/294.09 c 294s| 8600 | 252 | 2660k| 306.1 | 69M | 57 |1692 |4021 | 0 |3995 | 0 |7245 | 16 | 0.000000e+00 | -- | Inf | unknown
294.62/295.66 c 296s| 8700 | 251 | 2674k| 304.3 | 69M | 57 |1692 |4045 |1061 |4030 | 1 |7304 | 16 | 0.000000e+00 | -- | Inf | unknown
296.12/297.19 c 297s| 8800 | 249 | 2689k| 302.5 | 69M | 57 |1692 |4101 |1066 |4071 | 0 |7368 | 16 | 0.000000e+00 | -- | Inf | unknown
297.51/298.57 c 299s| 8900 | 248 | 2703k| 300.6 | 69M | 57 |1692 |4162 |1069 |4082 | 1 |7467 | 16 | 0.000000e+00 | -- | Inf | unknown
299.11/300.12 c 300s| 9000 | 249 | 2718k| 299.0 | 69M | 57 |1692 |4238 |1069 |4099 | 1 |7576 | 16 | 0.000000e+00 | -- | Inf | unknown
300.40/301.40 c 301s| 9100 | 250 | 2731k| 297.1 | 69M | 57 |1692 |4305 |1064 |4120 | 1 |7691 | 16 | 0.000000e+00 | -- | Inf | unknown
301.59/302.67 c 303s| 9200 | 255 | 2743k| 295.2 | 69M | 57 |1692 |4368 |1062 |4143 | 1 |7774 | 16 | 0.000000e+00 | -- | Inf | unknown
303.19/304.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
303.19/304.26 c 304s| 9300 | 249 | 2757k| 293.6 | 69M | 57 |1692 |4444 |1072 |4184 | 0 |7866 | 16 | 0.000000e+00 | -- | Inf | unknown
305.38/306.44 c 306s| 9400 | 249 | 2779k| 292.7 | 69M | 57 |1692 |4464 |1062 |4207 | 0 |7898 | 16 | 0.000000e+00 | -- | Inf | unknown
306.98/308.02 c 308s| 9500 | 249 | 2793k| 291.2 | 70M | 57 |1692 |4504 |1066 |4253 | 1 |7964 | 16 | 0.000000e+00 | -- | Inf | unknown
308.47/309.53 c 310s| 9600 | 253 | 2807k| 289.6 | 70M | 57 |1692 |4553 |1065 |4300 | 1 |8036 | 16 | 0.000000e+00 | -- | Inf | unknown
309.86/310.96 c 311s| 9700 | 251 | 2821k| 288.1 | 70M | 57 |1692 |4587 |1065 |4313 | 1 |8085 | 16 | 0.000000e+00 | -- | Inf | unknown
311.65/312.77 c 313s| 9800 | 249 | 2839k| 287.0 | 70M | 57 |1692 |4609 |1066 |4326 | 0 |8129 | 16 | 0.000000e+00 | -- | Inf | unknown
313.35/314.46 c 314s| 9900 | 249 | 2855k| 285.7 | 70M | 57 |1692 |4661 |1065 |4367 | 1 |8197 | 16 | 0.000000e+00 | -- | Inf | unknown
315.24/316.40 c 316s| 10000 | 249 | 2873k| 284.6 | 70M | 57 |1692 |4697 |1071 |4424 | 0 |8249 | 16 | 0.000000e+00 | -- | Inf | unknown
317.53/318.69 c 319s| 10100 | 247 | 2892k| 283.7 | 70M | 57 |1692 |4739 |1076 |4526 | 0 |8301 | 16 | 0.000000e+00 | -- | Inf | unknown
318.93/320.02 c 320s| 10200 | 249 | 2903k| 282.0 | 70M | 57 |1692 |4796 |1066 |4577 | 1 |8392 | 16 | 0.000000e+00 | -- | Inf | unknown
320.12/321.26 c 321s| 10300 | 251 | 2914k| 280.3 | 70M | 57 |1692 |4835 |1070 |4603 | 0 |8463 | 16 | 0.000000e+00 | -- | Inf | unknown
322.51/323.61 c 324s| 10400 | 249 | 2934k| 279.5 | 71M | 57 |1692 |4857 |1078 |4711 | 1 |8501 | 16 | 0.000000e+00 | -- | Inf | unknown
324.31/325.42 c 325s| 10500 | 249 | 2951k| 278.4 | 71M | 57 |1692 |4857 |1078 |4765 | 1 |8523 | 16 | 0.000000e+00 | -- | Inf | unknown
326.50/327.66 c 328s| 10600 | 249 | 2970k| 277.7 | 71M | 57 |1692 |4843 |1065 |4876 | 1 |8534 | 16 | 0.000000e+00 | -- | Inf | unknown
328.29/329.43 c 329s| 10700 | 247 | 2986k| 276.5 | 71M | 57 |1692 |4872 |1079 |4954 | 1 |8591 | 16 | 0.000000e+00 | -- | Inf | unknown
329.69/330.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
329.69/330.82 c 331s| 10800 | 250 | 2997k| 275.0 | 71M | 57 |1692 |4911 |1068 |5027 | 0 |8661 | 16 | 0.000000e+00 | -- | Inf | unknown
331.48/332.67 c 333s| 10900 | 249 | 3012k| 273.8 | 72M | 57 |1692 |4960 |1069 |5162 | 1 |8731 | 16 | 0.000000e+00 | -- | Inf | unknown
332.88/334.04 c 334s| 11000 | 255 | 3023k| 272.4 | 73M | 57 |1692 |5023 |1065 |5232 | 1 |8812 | 16 | 0.000000e+00 | -- | Inf | unknown
334.67/335.86 c 336s| 11100 | 251 | 3036k| 271.0 | 74M | 57 |1692 |5115 |1068 |5361 | 0 |8909 | 16 | 0.000000e+00 | -- | Inf | unknown
335.97/337.14 c 337s| 11200 | 252 | 3046k| 269.5 | 74M | 57 |1692 |5203 |1063 |5426 | 0 |9016 | 16 | 0.000000e+00 | -- | Inf | unknown
337.56/338.76 c 339s| 11300 | 252 | 3060k| 268.4 | 74M | 57 |1692 |5252 |1065 |5492 | 1 |9088 | 16 | 0.000000e+00 | -- | Inf | unknown
339.15/340.37 c 340s| 11400 | 250 | 3074k| 267.2 | 75M | 57 |1692 |5334 | 0 |5573 | 0 |9193 | 16 | 0.000000e+00 | -- | Inf | unknown
340.55/341.74 c 342s| 11500 | 252 | 3085k| 265.9 | 75M | 57 |1692 |5358 |1068 |5644 | 1 |9247 | 16 | 0.000000e+00 | -- | Inf | unknown
342.04/343.28 c 343s| 11600 | 250 | 3098k| 264.8 | 75M | 57 |1692 |5412 |1069 |5711 | 0 |9327 | 16 | 0.000000e+00 | -- | Inf | unknown
343.44/344.68 c 345s| 11700 | 250 | 3110k| 263.5 | 75M | 57 |1692 |5470 |1071 |5793 | 1 |9408 | 16 | 0.000000e+00 | -- | Inf | unknown
344.94/346.16 c 346s| 11800 | 248 | 3124k| 262.5 | 75M | 57 |1692 |5484 |1069 |5863 | 0 |9455 | 16 | 0.000000e+00 | -- | Inf | unknown
348.12/349.34 c 349s| 11900 | 256 | 3156k| 262.9 | 75M | 57 |1692 |5282 |1064 |5909 | 1 |9508 | 16 | 0.000000e+00 | -- | Inf | unknown
349.61/350.87 c 351s| 12000 | 262 | 3171k| 262.0 | 75M | 57 |1692 |5207 |1067 |5918 | 1 |9549 | 16 | 0.000000e+00 | -- | Inf | unknown
351.40/352.68 c 353s| 12100 | 258 | 3190k| 261.4 | 75M | 57 |1692 |5200 |1067 |5940 | 1 |9611 | 16 | 0.000000e+00 | -- | Inf | unknown
353.10/354.38 c 354s| 12200 | 262 | 3207k| 260.6 | 75M | 57 |1692 |5108 |1064 |5967 | 1 |9701 | 16 | 0.000000e+00 | -- | Inf | unknown
354.49/355.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
354.49/355.76 c 356s| 12300 | 272 | 3220k| 259.6 | 75M | 57 |1692 |5115 |1067 |5987 | 1 |9764 | 16 | 0.000000e+00 | -- | Inf | unknown
355.69/356.97 c 357s| 12400 | 267 | 3232k| 258.4 | 75M | 57 |1692 |5178 |1067 |6014 | 0 |9867 | 16 | 0.000000e+00 | -- | Inf | unknown
356.89/358.17 c 358s| 12500 | 266 | 3244k| 257.3 | 75M | 57 |1692 |5252 |1068 |6022 | 1 |9987 | 16 | 0.000000e+00 | -- | Inf | unknown
358.08/359.35 c 359s| 12600 | 271 | 3254k| 256.1 | 75M | 57 |1692 |5401 |1066 |6050 | 0 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
359.47/360.71 c 361s| 12700 | 273 | 3267k| 255.1 | 75M | 57 |1692 |5480 |1066 |6073 | 0 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
361.47/362.77 c 363s| 12800 | 273 | 3284k| 254.5 | 75M | 57 |1692 |5539 |1066 |6171 | 1 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
363.46/364.72 c 365s| 12900 | 271 | 3303k| 253.9 | 75M | 57 |1692 |5597 |1072 |6259 | 1 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
365.25/366.58 c 367s| 13000 | 269 | 3321k| 253.3 | 75M | 57 |1692 |5666 |1075 |6305 | 1 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
366.85/368.16 c 368s| 13100 | 267 | 3337k| 252.6 | 75M | 57 |1692 |5741 |1077 |6348 | 2 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
368.85/370.18 c 370s| 13200 | 264 | 3357k| 252.3 | 75M | 57 |1692 |5772 |1071 |6377 | 0 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
370.93/372.21 c 372s| 13300 | 272 | 3374k| 251.6 | 75M | 57 |1692 |5743 |1069 |6466 | 0 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
372.73/374.02 c 374s| 13400 | 270 | 3392k| 251.1 | 75M | 57 |1692 |5836 |1070 |6514 | 0 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
374.52/375.85 c 376s| 13500 | 268 | 3410k| 250.6 | 75M | 57 |1692 |5855 |1064 |6528 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
376.91/378.24 c 378s| 13600 | 276 | 3435k| 250.6 | 75M | 57 |1692 |5884 |1068 |6621 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
378.60/379.98 c 380s| 13700 | 271 | 3451k| 249.9 | 75M | 57 |1692 |5971 |1070 |6672 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
380.60/381.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
380.60/381.90 c 382s| 13800 | 271 | 3471k| 249.6 | 75M | 57 |1692 |5970 |1068 |6690 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
382.19/383.58 c 384s| 13900 | 273 | 3489k| 249.0 | 75M | 57 |1692 |5994 |1071 |6762 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
383.98/385.34 c 385s| 14000 | 270 | 3506k| 248.5 | 75M | 57 |1692 |6037 |1072 |6807 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
385.58/386.91 c 387s| 14100 | 269 | 3522k| 247.8 | 75M | 57 |1692 |6076 |1069 |6826 | 0 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
387.47/388.89 c 389s| 14200 | 269 | 3542k| 247.5 | 75M | 57 |1692 |6068 |1069 |6848 | 0 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
389.86/391.24 c 391s| 14300 | 270 | 3565k| 247.4 | 76M | 57 |1692 |6155 |1070 |6920 | 0 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
392.55/393.91 c 394s| 14400 | 273 | 3592k| 247.5 | 76M | 57 |1692 |6088 |1075 |7026 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
395.14/396.58 c 397s| 14500 | 273 | 3620k| 247.8 | 76M | 57 |1692 |6058 |1070 |7081 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
397.44/398.86 c 399s| 14600 | 270 | 3644k| 247.7 | 76M | 57 |1692 |6082 | 0 |7182 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
399.23/400.66 c 401s| 14700 | 270 | 3663k| 247.3 | 76M | 57 |1692 |6107 |1071 |7214 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
400.92/402.35 c 402s| 14800 | 269 | 3679k| 246.8 | 76M | 57 |1692 |6203 |1069 |7241 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
402.33/403.77 c 404s| 14900 | 271 | 3693k| 246.1 | 76M | 57 |1692 |6281 |1071 |7277 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
403.73/405.11 c 405s| 15000 | 271 | 3707k| 245.3 | 76M | 57 |1692 |6321 |1071 |7293 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
405.32/406.71 c 407s| 15100 | 273 | 3722k| 244.7 | 76M | 57 |1692 |6367 |1070 |7322 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
407.21/408.68 c 409s| 15200 | 271 | 3742k| 244.4 | 76M | 57 |1692 |6406 |1071 |7354 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
408.71/410.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
408.71/410.12 c 410s| 15300 | 270 | 3757k| 243.8 | 76M | 57 |1692 |6448 |1069 |7373 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
410.20/411.66 c 412s| 15400 | 268 | 3773k| 243.2 | 76M | 57 |1692 |6505 |1071 |7395 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
411.79/413.25 c 413s| 15500 | 274 | 3789k| 242.7 | 76M | 57 |1692 |6561 |1073 |7448 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
413.69/415.16 c 415s| 15600 | 272 | 3808k| 242.4 | 76M | 57 |1692 |6658 |1070 |7518 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
415.68/417.12 c 417s| 15700 | 273 | 3828k| 242.1 | 76M | 57 |1692 |6774 |1071 |7569 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
417.27/418.70 c 419s| 15800 | 271 | 3843k| 241.5 | 76M | 57 |1692 |6849 |1074 |7670 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
419.06/420.58 c 421s| 15900 | 269 | 3863k| 241.3 | 76M | 57 |1692 |6881 |1072 |7742 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
421.16/422.69 c 423s| 16000 | 265 | 3884k| 241.1 | 76M | 57 |1692 |6890 |1072 |7800 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
423.15/424.67 c 425s| 16100 | 265 | 3904k| 240.8 | 76M | 57 |1692 |6910 |1072 |7892 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
425.65/427.12 c 427s| 16200 | 263 | 3930k| 240.9 | 76M | 57 |1692 |6724 |1067 |7995 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
427.43/428.95 c 429s| 16300 | 267 | 3949k| 240.6 | 76M | 57 |1692 |6704 |1075 |8051 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
429.92/431.43 c 431s| 16400 | 261 | 3975k| 240.7 | 76M | 57 |1692 |6709 |1072 |8117 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
431.72/433.24 c 433s| 16500 | 267 | 3994k| 240.4 | 76M | 57 |1692 |6650 |1071 |8172 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
434.01/435.57 c 436s| 16600 | 269 | 4019k| 240.5 | 76M | 57 |1692 |6638 |1073 |8298 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
435.80/437.36 c 437s| 16700 | 266 | 4037k| 240.1 | 76M | 57 |1692 |6594 |1071 |8387 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
437.40/438.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
437.40/438.97 c 439s| 16800 | 268 | 4054k| 239.7 | 76M | 57 |1692 |6660 |1071 |8453 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
439.19/440.79 c 441s| 16900 | 268 | 4073k| 239.4 | 76M | 57 |1692 |6699 |1071 |8475 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
440.98/442.57 c 443s| 17000 | 264 | 4091k| 239.0 | 76M | 57 |1692 |6739 |1071 |8505 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
443.28/444.86 c 445s| 17100 | 268 | 4115k| 239.0 | 76M | 57 |1692 |6759 |1072 |8558 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
445.37/446.95 c 447s| 17200 | 270 | 4137k| 238.9 | 76M | 57 |1692 |6775 |1067 |8601 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
447.26/448.89 c 449s| 17300 | 269 | 4157k| 238.7 | 76M | 57 |1692 |6808 |1079 |8692 | 2 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
449.35/450.94 c 451s| 17400 | 267 | 4178k| 238.6 | 76M | 57 |1692 |6884 |1070 |8732 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
451.15/452.79 c 453s| 17500 | 267 | 4198k| 238.3 | 76M | 57 |1692 |6908 |1070 |8754 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
453.24/454.88 c 455s| 17600 | 269 | 4218k| 238.1 | 76M | 57 |1692 |6929 |1074 |8846 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
455.63/457.21 c 457s| 17700 | 267 | 4241k| 238.1 | 76M | 57 |1692 |6961 |1075 |8918 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
457.92/459.58 c 460s| 17800 | 267 | 4264k| 238.1 | 76M | 57 |1692 |6963 |1070 |8997 | 2 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
459.82/461.41 c 461s| 17900 | 267 | 4283k| 237.8 | 76M | 57 |1692 |6863 |1071 |9025 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
461.61/463.25 c 463s| 18000 | 265 | 4302k| 237.5 | 76M | 57 |1692 |6815 |1075 |9089 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
463.90/465.54 c 466s| 18100 | 265 | 4325k| 237.4 | 76M | 57 |1692 |6756 |1070 |9181 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
466.09/467.78 c 468s| 18200 | 267 | 4348k| 237.4 | 76M | 57 |1692 |6789 | 0 |9246 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
468.29/469.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
468.29/469.93 c 470s| 18300 | 268 | 4370k| 237.3 | 76M | 57 |1692 |6898 |1075 |9283 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
470.28/471.96 c 472s| 18400 | 264 | 4390k| 237.1 | 76M | 57 |1692 |6941 |1064 |9321 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
472.07/473.74 c 474s| 18500 | 262 | 4409k| 236.9 | 76M | 57 |1692 |7020 |1067 |9377 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
474.06/475.75 c 476s| 18600 | 266 | 4430k| 236.7 | 76M | 57 |1692 |7015 |1071 |9410 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
475.86/477.54 c 478s| 18700 | 270 | 4448k| 236.4 | 76M | 57 |1692 |7078 |1072 |9455 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
477.65/479.37 c 479s| 18800 | 267 | 4467k| 236.2 | 76M | 57 |1692 |7153 |1072 |9488 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
479.35/481.10 c 481s| 18900 | 263 | 4485k| 235.9 | 77M | 57 |1692 |7225 |1075 |9506 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
481.04/482.77 c 483s| 19000 | 268 | 4501k| 235.5 | 77M | 57 |1692 |7338 |1071 |9550 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
483.03/484.74 c 485s| 19100 | 266 | 4522k| 235.3 | 77M | 57 |1692 |7311 |1071 |9558 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
485.12/486.80 c 487s| 19200 | 262 | 4543k| 235.2 | 77M | 57 |1692 |7328 |1071 |9592 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
487.52/489.27 c 489s| 19300 | 262 | 4570k| 235.4 | 77M | 57 |1692 |7313 |1072 |9653 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
490.01/491.78 c 492s| 19400 | 263 | 4595k| 235.4 | 77M | 57 |1692 |7272 |1070 |9715 | 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
492.60/494.32 c 494s| 19500 | 262 | 4620k| 235.5 | 77M | 57 |1692 |7130 |1077 |9800 | 2 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
494.49/496.27 c 496s| 19600 | 266 | 4639k| 235.3 | 77M | 57 |1692 |7137 |1072 |9847 | 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
496.88/498.65 c 499s| 19700 | 266 | 4663k| 235.3 | 77M | 57 |1692 |7071 |1072 |9949 | 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
498.88/500.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.88/500.67 c 501s| 19800 | 260 | 4685k| 235.2 | 77M | 57 |1692 |6930 |1071 |9997 | 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
500.77/502.52 c 503s| 19900 | 266 | 4703k| 235.0 | 77M | 57 |1692 |6779 |1068 | 10k| 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
502.06/503.86 c 504s| 20000 | 266 | 4717k| 234.5 | 77M | 57 |1692 |6829 |1068 | 10k| 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
503.76/505.51 c 506s| 20100 | 265 | 4733k| 234.1 | 77M | 57 |1692 |6808 |1067 | 10k| 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
505.15/506.93 c 507s| 20200 | 263 | 4746k| 233.6 | 77M | 57 |1692 |6827 |1071 | 10k| 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
507.05/508.80 c 509s| 20300 | 261 | 4766k| 233.4 | 77M | 57 |1692 |6879 |1070 | 10k| 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
509.04/510.83 c 511s| 20400 | 267 | 4787k| 233.3 | 77M | 57 |1692 |6780 |1072 | 10k| 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
511.43/513.29 c 513s| 20500 | 267 | 4811k| 233.4 | 77M | 57 |1692 |6813 |1071 | 10k| 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
513.92/515.71 c 516s| 20600 | 263 | 4836k| 233.4 | 77M | 57 |1692 |6849 |1073 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
515.61/517.40 c 517s| 20700 | 263 | 4853k| 233.2 | 77M | 57 |1692 |6882 |1075 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
517.81/519.63 c 520s| 20800 | 263 | 4875k| 233.1 | 77M | 57 |1692 |6911 |1075 | 10k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
519.80/521.66 c 522s| 20900 | 271 | 4896k| 233.0 | 77M | 57 |1692 |6885 |1073 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
522.30/524.11 c 524s| 21000 | 261 | 4921k| 233.1 | 77M | 57 |1692 |6909 |1072 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
524.29/526.16 c 526s| 21100 | 259 | 4942k| 232.9 | 78M | 57 |1692 |6918 |1076 | 10k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
525.88/527.79 c 528s| 21200 | 259 | 4958k| 232.6 | 78M | 57 |1692 |6972 |1069 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
527.77/529.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
527.77/529.62 c 530s| 21300 | 257 | 4977k| 232.4 | 78M | 57 |1692 |7006 |1076 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
529.86/531.70 c 532s| 21400 | 257 | 4998k| 232.3 | 78M | 57 |1692 |7004 |1081 | 11k| 2 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
531.66/533.55 c 534s| 21500 | 259 | 5018k| 232.1 | 78M | 57 |1692 |7046 |1071 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
533.85/535.78 c 536s| 21600 | 259 | 5041k| 232.1 | 78M | 57 |1692 |7095 |1069 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
535.94/537.83 c 538s| 21700 | 256 | 5063k| 232.1 | 78M | 57 |1692 |7156 |1073 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
537.83/539.78 c 540s| 21800 | 256 | 5083k| 231.9 | 78M | 57 |1692 |7181 |1074 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
539.83/541.79 c 542s| 21900 | 265 | 5102k| 231.7 | 78M | 57 |1692 |7146 |1070 | 11k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
541.02/542.96 c 543s| 22000 | 265 | 5113k| 231.2 | 78M | 57 |1692 |7243 |1066 | 11k| 0 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
543.22/545.15 c 545s| 22100 | 264 | 5134k| 231.1 | 78M | 57 |1692 |7160 |1069 | 11k| 0 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
544.71/546.61 c 547s| 22200 | 260 | 5148k| 230.7 | 78M | 57 |1692 |7277 |1071 | 11k| 0 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
546.11/548.05 c 548s| 22300 | 262 | 5161k| 230.2 | 78M | 57 |1692 |7361 |1077 | 11k| 1 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
547.70/549.69 c 550s| 22400 | 262 | 5174k| 229.8 | 78M | 57 |1692 |7524 |1069 | 11k| 1 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
549.39/551.36 c 551s| 22500 | 257 | 5186k| 229.3 | 78M | 57 |1692 |7651 |1070 | 11k| 0 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
550.78/552.71 c 553s| 22600 | 265 | 5198k| 228.8 | 78M | 57 |1692 |7699 |1081 | 11k| 1 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
551.98/553.90 c 554s| 22700 | 260 | 5209k| 228.3 | 78M | 57 |1692 |7808 |1069 | 11k| 1 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
553.37/555.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
553.37/555.32 c 555s| 22800 | 266 | 5220k| 227.8 | 79M | 57 |1692 |7905 |1076 | 11k| 1 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
554.67/556.61 c 557s| 22900 | 264 | 5231k| 227.3 | 79M | 57 |1692 |7991 | 0 | 12k| 0 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
555.77/557.77 c 558s| 23000 | 259 | 5242k| 226.7 | 79M | 57 |1692 |8127 |1069 | 12k| 0 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
557.17/559.11 c 559s| 23100 | 263 | 5255k| 226.3 | 79M | 57 |1692 |8312 |1072 | 12k| 1 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
558.16/560.11 c 560s| 23200 | 267 | 5264k| 225.7 | 79M | 57 |1692 |8362 |1072 | 12k| 1 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
558.95/560.94 c 561s| 23300 | 267 | 5271k| 225.1 | 79M | 57 |1692 |8471 |1072 | 12k| 0 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
559.75/561.79 c 562s| 23400 | 265 | 5278k| 224.4 | 80M | 57 |1692 |8630 |1072 | 12k| 0 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
560.94/562.99 c 563s| 23500 | 265 | 5289k| 223.9 | 80M | 57 |1692 |8688 |1074 | 12k| 1 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
562.24/564.29 c 564s| 23600 | 269 | 5301k| 223.5 | 80M | 57 |1692 |8732 |1076 | 12k| 1 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
563.24/565.29 c 565s| 23700 | 264 | 5309k| 222.9 | 80M | 57 |1692 |8675 |1074 | 12k| 1 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
564.43/566.45 c 566s| 23800 | 259 | 5321k| 222.4 | 80M | 57 |1692 |8753 |1080 | 12k| 0 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
565.83/567.85 c 568s| 23900 | 270 | 5334k| 222.0 | 81M | 57 |1692 |8767 |1074 | 12k| 1 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
566.92/568.93 c 569s| 24000 | 269 | 5343k| 221.5 | 81M | 57 |1692 |8867 |1072 | 12k| 1 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
567.92/569.94 c 570s| 24100 | 270 | 5352k| 220.9 | 81M | 57 |1692 |8968 |1070 | 12k| 1 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
569.12/571.14 c 571s| 24200 | 264 | 5363k| 220.5 | 81M | 57 |1692 |9110 |1073 | 12k| 0 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
570.51/572.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
570.51/572.56 c 573s| 24300 | 274 | 5377k| 220.2 | 81M | 57 |1692 |9210 |1073 | 12k| 0 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
571.80/573.84 c 574s| 24400 | 275 | 5388k| 219.7 | 81M | 57 |1692 |9266 |1083 | 12k| 1 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
573.20/575.24 c 575s| 24500 | 273 | 5401k| 219.3 | 81M | 57 |1692 |9330 |1076 | 12k| 0 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
574.59/576.64 c 577s| 24600 | 270 | 5413k| 218.9 | 81M | 57 |1692 |9375 |1072 | 12k| 0 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
575.79/577.81 c 578s| 24700 | 270 | 5424k| 218.5 | 81M | 57 |1692 |9466 |1080 | 12k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
577.18/579.29 c 579s| 24800 | 273 | 5438k| 218.2 | 81M | 57 |1692 |9498 |1074 | 12k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
578.98/581.05 c 581s| 24900 | 270 | 5455k| 218.0 | 82M | 57 |1692 |9428 |1074 | 13k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
580.47/582.56 c 583s| 25000 | 272 | 5469k| 217.7 | 82M | 57 |1692 |9415 |1075 | 13k| 0 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
581.86/583.99 c 584s| 25100 | 270 | 5481k| 217.3 | 82M | 57 |1692 |9446 |1073 | 13k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
583.46/585.56 c 586s| 25200 | 272 | 5494k| 216.9 | 82M | 57 |1692 |9533 |1073 | 13k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
585.06/587.13 c 587s| 25300 | 267 | 5508k| 216.7 | 82M | 57 |1692 |9511 | 0 | 13k| 0 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
586.35/588.44 c 588s| 25400 | 269 | 5521k| 216.3 | 82M | 57 |1692 |9541 |1086 | 13k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
587.64/589.71 c 590s| 25500 | 265 | 5532k| 215.9 | 82M | 57 |1692 |9663 |1073 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
589.04/591.12 c 591s| 25600 | 265 | 5544k| 215.5 | 82M | 57 |1692 |9732 |1077 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
590.43/592.59 c 593s| 25700 | 263 | 5558k| 215.2 | 82M | 57 |1692 |9753 |1089 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
592.03/594.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
592.03/594.17 c 594s| 25800 | 263 | 5572k| 214.9 | 82M | 57 |1692 |9738 |1083 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
593.62/595.73 c 596s| 25900 | 263 | 5586k| 214.6 | 82M | 57 |1692 |9749 |1072 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
594.81/596.99 c 597s| 26000 | 261 | 5598k| 214.2 | 82M | 57 |1692 |9764 |1074 | 14k| 0 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
595.92/598.09 c 598s| 26100 | 261 | 5608k| 213.8 | 82M | 57 |1692 |9882 |1072 | 14k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
597.40/599.51 c 600s| 26200 | 258 | 5621k| 213.5 | 82M | 57 |1692 |9930 |1074 | 14k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
598.90/601.03 c 601s| 26300 | 259 | 5636k| 213.3 | 82M | 57 |1692 |9302 |1063 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
600.59/602.71 c 603s| 26400 | 260 | 5650k| 213.0 | 83M | 57 |1692 |9035 |1067 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
602.29/604.40 c 604s| 26500 | 264 | 5667k| 212.8 | 83M | 57 |1692 |8910 |1067 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
604.38/606.53 c 607s| 26600 | 262 | 5686k| 212.7 | 83M | 57 |1692 |8850 |1069 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
606.17/608.38 c 608s| 26700 | 262 | 5702k| 212.5 | 83M | 57 |1692 |8840 |1071 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
608.46/610.64 c 611s| 26800 | 264 | 5721k| 212.4 | 83M | 57 |1692 |8820 |1074 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
610.96/613.19 c 613s| 26900 | 261 | 5744k| 212.5 | 83M | 57 |1692 |8820 |1077 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
613.24/615.46 c 615s| 27000 | 260 | 5765k| 212.5 | 83M | 57 |1692 |8815 |1067 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
618.43/620.63 c 621s| 27100 | 269 | 5812k| 213.5 | 83M | 57 |1692 |8523 |1063 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
619.93/622.16 c 622s| 27200 | 265 | 5828k| 213.3 | 83M | 57 |1692 |8416 |1067 | 14k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
621.12/623.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
621.12/623.30 c 623s| 27300 | 267 | 5838k| 212.9 | 83M | 57 |1692 |8393 |1064 | 14k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
622.61/624.87 c 625s| 27400 | 271 | 5853k| 212.6 | 83M | 57 |1692 |8346 |1067 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
623.81/626.10 c 626s| 27500 | 275 | 5864k| 212.3 | 83M | 57 |1692 |8304 |1069 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
625.20/627.44 c 627s| 27600 | 273 | 5876k| 211.9 | 83M | 57 |1692 |8273 |1073 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
626.69/628.96 c 629s| 27700 | 269 | 5890k| 211.6 | 83M | 57 |1692 |8186 | 0 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
628.19/630.45 c 630s| 27800 | 269 | 5904k| 211.4 | 83M | 57 |1692 |8142 |1068 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
629.89/632.14 c 632s| 27900 | 273 | 5917k| 211.1 | 83M | 57 |1692 |8147 |1086 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
631.48/633.76 c 634s| 28000 | 269 | 5931k| 210.9 | 84M | 57 |1692 |8154 |1068 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
633.27/635.52 c 636s| 28100 | 271 | 5948k| 210.7 | 84M | 57 |1692 |8147 |1069 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
634.46/636.72 c 637s| 28200 | 272 | 5959k| 210.4 | 84M | 57 |1692 |8180 |1065 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
635.76/638.02 c 638s| 28300 | 272 | 5972k| 210.1 | 84M | 57 |1692 |8176 |1076 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
637.25/639.52 c 640s| 28400 | 270 | 5986k| 209.8 | 84M | 57 |1692 |8211 |1069 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
638.65/640.95 c 641s| 28500 | 272 | 5999k| 209.6 | 84M | 57 |1692 |8222 |1068 | 15k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
640.34/642.66 c 643s| 28600 | 272 | 6015k| 209.4 | 85M | 57 |1692 |8254 |1072 | 15k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
642.63/644.97 c 645s| 28700 | 268 | 6033k| 209.3 | 86M | 57 |1692 |8286 |1068 | 15k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
644.33/646.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
644.33/646.67 c 647s| 28800 | 270 | 6050k| 209.1 | 86M | 57 |1692 |8352 |1070 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
646.02/648.38 c 648s| 28900 | 278 | 6066k| 208.9 | 86M | 57 |1692 |8376 |1081 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
647.72/650.06 c 650s| 29000 | 274 | 6080k| 208.7 | 86M | 57 |1692 |8416 |1069 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
649.41/651.77 c 652s| 29100 | 274 | 6094k| 208.5 | 86M | 57 |1692 |8437 |1069 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
651.00/653.36 c 653s| 29200 | 277 | 6107k| 208.2 | 86M | 57 |1692 |8483 |1077 | 16k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
652.40/654.77 c 655s| 29300 | 273 | 6118k| 207.9 | 86M | 57 |1692 |8541 |1080 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
653.89/656.23 c 656s| 29400 | 268 | 6131k| 207.6 | 86M | 57 |1692 |8580 |1069 | 16k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
655.88/658.28 c 658s| 29500 | 266 | 6150k| 207.6 | 86M | 57 |1692 |8592 |1069 | 16k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
656.98/659.39 c 659s| 29600 | 269 | 6161k| 207.2 | 86M | 57 |1692 |8612 |1074 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
658.37/660.72 c 661s| 29700 | 268 | 6173k| 206.9 | 86M | 57 |1692 |8624 |1075 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
660.16/662.58 c 663s| 29800 | 268 | 6191k| 206.8 | 86M | 57 |1692 |8606 |1069 | 16k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
661.96/664.34 c 664s| 29900 | 270 | 6205k| 206.6 | 87M | 57 |1692 |8590 |1087 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
663.76/666.14 c 666s| 30000 | 267 | 6219k| 206.4 | 87M | 57 |1692 |8614 |1071 | 17k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
665.25/667.61 c 668s| 30100 | 269 | 6234k| 206.2 | 87M | 57 |1692 |8574 |1073 | 17k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
682.08/684.53 c 685s| 30200 | 307 | 6384k| 210.5 | 87M | 57 |1692 |7709 |1073 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
683.88/686.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
683.88/686.30 c 686s| 30300 | 309 | 6401k| 210.4 | 87M | 57 |1692 |7692 |1073 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
685.77/688.28 c 688s| 30400 | 305 | 6418k| 210.2 | 87M | 57 |1692 |7716 |1089 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
687.67/690.14 c 690s| 30500 | 303 | 6436k| 210.1 | 87M | 57 |1692 |7654 |1073 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
689.56/692.00 c 692s| 30600 | 301 | 6453k| 210.0 | 87M | 57 |1692 |7626 |1084 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
692.14/694.64 c 695s| 30700 | 311 | 6475k| 210.0 | 88M | 57 |1692 |7426 |1073 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
693.94/696.46 c 696s| 30800 | 321 | 6491k| 209.9 | 88M | 57 |1692 |7152 |1070 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
695.13/697.65 c 698s| 30900 | 319 | 6503k| 209.6 | 88M | 57 |1692 |7169 |1069 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
696.73/699.26 c 699s| 31000 | 318 | 6519k| 209.4 | 88M | 57 |1692 |6977 |1068 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
698.02/700.54 c 701s| 31100 | 319 | 6531k| 209.1 | 88M | 57 |1692 |7044 |1069 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
700.01/702.55 c 703s| 31200 | 318 | 6552k| 209.1 | 88M | 57 |1692 |7044 |1070 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
701.61/704.16 c 704s| 31300 | 320 | 6568k| 209.0 | 88M | 57 |1692 |6996 |1069 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
702.90/705.49 c 705s| 31400 | 324 | 6581k| 208.7 | 88M | 57 |1692 |7062 |1071 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
704.30/706.81 c 707s| 31500 | 322 | 6594k| 208.5 | 88M | 57 |1692 |7142 |1068 | 17k| 0 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
705.69/708.25 c 708s| 31600 | 328 | 6608k| 208.2 | 88M | 57 |1692 |7164 |1071 | 17k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
707.09/709.60 c 710s| 31700 | 321 | 6621k| 208.0 | 88M | 57 |1692 |7270 |1071 | 17k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
708.68/711.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
708.68/711.22 c 711s| 31800 | 317 | 6636k| 207.8 | 88M | 57 |1692 |7300 |1069 | 17k| 0 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
710.08/712.64 c 713s| 31900 | 319 | 6650k| 207.6 | 88M | 57 |1692 |7342 |1070 | 17k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
711.17/713.78 c 714s| 32000 | 319 | 6661k| 207.3 | 88M | 57 |1692 |7373 |1068 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
712.47/715.08 c 715s| 32100 | 319 | 6673k| 207.0 | 88M | 57 |1692 |7495 |1068 | 18k| 0 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
713.86/716.46 c 716s| 32200 | 325 | 6686k| 206.8 | 88M | 57 |1692 |7480 |1069 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
715.46/718.01 c 718s| 32300 | 324 | 6702k| 206.6 | 88M | 57 |1692 |7531 |1067 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
716.65/719.25 c 719s| 32400 | 317 | 6714k| 206.4 | 88M | 57 |1692 |7575 |1068 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
718.25/720.85 c 721s| 32500 | 319 | 6729k| 206.2 | 88M | 57 |1692 |7613 |1073 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
720.24/722.84 c 723s| 32600 | 317 | 6747k| 206.1 | 88M | 57 |1692 |7621 |1070 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
721.54/724.16 c 724s| 32700 | 327 | 6760k| 205.9 | 88M | 57 |1692 |7648 |1069 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
722.93/725.52 c 726s| 32800 | 323 | 6771k| 205.6 | 88M | 57 |1692 |7787 |1077 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
724.03/726.69 c 727s| 32900 | 323 | 6781k| 205.3 | 88M | 57 |1692 |7884 |1072 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
725.53/728.18 c 728s| 33000 | 321 | 6793k| 205.0 | 88M | 57 |1692 |7944 |1070 | 18k| 1 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
727.21/729.81 c 730s| 33100 | 317 | 6808k| 204.8 | 88M | 57 |1692 |7973 |1070 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
728.61/731.27 c 731s| 33200 | 321 | 6821k| 204.6 | 88M | 57 |1692 |8017 |1071 | 18k| 1 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
730.41/733.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
730.41/733.10 c 733s| 33300 | 323 | 6838k| 204.5 | 88M | 57 |1692 |8065 |1069 | 18k| 1 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
732.00/734.66 c 735s| 33400 | 327 | 6852k| 204.3 | 88M | 57 |1692 |8115 |1079 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
733.30/735.96 c 736s| 33500 | 322 | 6864k| 204.1 | 88M | 57 |1692 |8212 |1070 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
734.89/737.54 c 738s| 33600 | 322 | 6878k| 203.9 | 88M | 57 |1692 |8287 |1076 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
736.49/739.12 c 739s| 33700 | 324 | 6893k| 203.7 | 88M | 57 |1692 |8375 |1074 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
738.18/740.88 c 741s| 33800 | 326 | 6909k| 203.6 | 88M | 57 |1692 |8437 |1081 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
740.17/742.82 c 743s| 33900 | 328 | 6926k| 203.5 | 88M | 57 |1692 |8497 |1084 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
741.87/744.50 c 745s| 34000 | 324 | 6941k| 203.4 | 88M | 57 |1692 |8579 |1074 | 18k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
744.06/746.71 c 747s| 34100 | 322 | 6961k| 203.3 | 88M | 57 |1692 |8633 |1081 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
745.36/748.09 c 748s| 34200 | 326 | 6974k| 203.1 | 88M | 57 |1692 |8640 |1074 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
746.95/749.65 c 750s| 34300 | 324 | 6989k| 203.0 | 88M | 57 |1692 |8698 |1081 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
748.84/751.58 c 752s| 34400 | 324 | 7006k| 202.9 | 88M | 57 |1692 |8727 |1087 | 18k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
750.54/753.29 c 753s| 34500 | 327 | 7020k| 202.7 | 88M | 57 |1692 |8749 |1085 | 19k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
752.23/754.93 c 755s| 34600 | 323 | 7037k| 202.6 | 88M | 57 |1692 |8763 | 0 | 19k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
754.12/756.82 c 757s| 34700 | 321 | 7052k| 202.4 | 88M | 57 |1692 |8797 |1084 | 19k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
756.12/758.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
756.12/758.86 c 759s| 34800 | 325 | 7069k| 202.3 | 88M | 57 |1692 |8774 |1081 | 19k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
757.61/760.31 c 760s| 34900 | 325 | 7081k| 202.1 | 88M | 57 |1692 |8792 |1085 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
759.31/762.02 c 762s| 35000 | 323 | 7097k| 202.0 | 88M | 57 |1692 |8858 |1088 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
761.20/763.98 c 764s| 35100 | 323 | 7113k| 201.9 | 88M | 57 |1692 |8838 |1079 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
762.69/765.47 c 765s| 35200 | 327 | 7127k| 201.7 | 88M | 57 |1692 |8883 |1079 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
765.18/767.92 c 768s| 35300 | 319 | 7147k| 201.7 | 88M | 57 |1692 |8906 |1081 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
767.28/770.00 c 770s| 35400 | 325 | 7164k| 201.6 | 89M | 57 |1692 |8922 |1078 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
769.07/771.82 c 772s| 35500 | 327 | 7178k| 201.4 | 89M | 57 |1692 |8955 |1081 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
770.86/773.61 c 774s| 35600 | 327 | 7193k| 201.3 | 89M | 57 |1692 |8964 |1087 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
772.66/775.40 c 775s| 35700 | 323 | 7209k| 201.2 | 89M | 57 |1692 |8982 |1078 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
774.65/777.45 c 777s| 35800 | 323 | 7224k| 201.0 | 89M | 57 |1692 |9010 |1087 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
776.54/779.33 c 779s| 35900 | 323 | 7239k| 200.9 | 89M | 57 |1692 |9070 |1086 | 20k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
778.34/781.19 c 781s| 36000 | 324 | 7255k| 200.8 | 89M | 57 |1692 |9115 |1088 | 20k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
780.23/783.06 c 783s| 36100 | 322 | 7271k| 200.7 | 89M | 57 |1692 |9171 |1088 | 20k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
781.92/784.76 c 785s| 36200 | 320 | 7287k| 200.5 | 89M | 57 |1692 |9225 |1075 | 20k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
783.42/786.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
783.42/786.20 c 786s| 36300 | 326 | 7299k| 200.3 | 89M | 57 |1692 |9185 |1075 | 20k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
785.32/788.16 c 788s| 36400 | 321 | 7316k| 200.2 | 89M | 57 |1692 |9160 |1097 | 20k| 2 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
787.00/789.85 c 790s| 36500 | 319 | 7330k| 200.1 | 89M | 57 |1692 |9081 |1087 | 20k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
788.60/791.46 c 791s| 36600 | 319 | 7346k| 200.0 | 89M | 57 |1692 |9011 |1066 | 20k| 1 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
790.09/792.91 c 793s| 36700 | 319 | 7359k| 199.8 | 89M | 57 |1692 |9064 |1083 | 20k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
791.69/794.54 c 795s| 36800 | 319 | 7374k| 199.6 | 89M | 57 |1692 |9065 |1078 | 20k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
793.68/796.52 c 797s| 36900 | 321 | 7392k| 199.6 | 89M | 57 |1692 |9053 |1086 | 20k| 1 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
795.67/798.55 c 799s| 37000 | 317 | 7410k| 199.5 | 89M | 57 |1692 |9067 |1074 | 20k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
797.17/800.04 c 800s| 37100 | 319 | 7424k| 199.4 | 89M | 57 |1692 |9098 |1073 | 21k| 1 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
798.96/801.89 c 802s| 37200 | 319 | 7439k| 199.3 | 89M | 57 |1692 |9114 |1084 | 21k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
800.76/803.66 c 804s| 37300 | 322 | 7457k| 199.2 | 89M | 57 |1692 |9140 |1079 | 21k| 1 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
802.26/805.14 c 805s| 37400 | 322 | 7470k| 199.0 | 89M | 57 |1692 |9167 |1079 | 21k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
803.84/806.78 c 807s| 37500 | 320 | 7484k| 198.9 | 89M | 57 |1692 |9181 |1081 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
805.94/808.87 c 809s| 37600 | 319 | 7501k| 198.8 | 89M | 57 |1692 |9232 |1089 | 21k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
808.14/811.06 c 811s| 37700 | 321 | 7520k| 198.8 | 89M | 57 |1692 |9251 |1080 | 21k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
810.62/813.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
810.62/813.56 c 814s| 37800 | 319 | 7541k| 198.8 | 89M | 57 |1692 |9229 |1077 | 21k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
812.51/815.48 c 815s| 37900 | 323 | 7557k| 198.7 | 89M | 57 |1692 |9220 |1077 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
814.11/817.03 c 817s| 38000 | 321 | 7571k| 198.5 | 89M | 57 |1692 |9226 |1081 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
815.90/818.83 c 819s| 38100 | 321 | 7588k| 198.4 | 89M | 57 |1692 |9193 |1081 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
818.10/821.05 c 821s| 38200 | 323 | 7607k| 198.4 | 89M | 57 |1692 |9164 |1077 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
819.89/822.84 c 823s| 38300 | 321 | 7621k| 198.3 | 89M | 57 |1692 |9250 |1085 | 22k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
821.48/824.47 c 824s| 38400 | 323 | 7635k| 198.1 | 89M | 57 |1692 |9292 |1092 | 22k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
823.57/826.59 c 827s| 38500 | 319 | 7654k| 198.1 | 89M | 57 |1692 |9341 |1092 | 22k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
825.96/828.90 c 829s| 38600 | 323 | 7674k| 198.1 | 89M | 57 |1692 |9369 |1079 | 22k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
828.46/831.49 c 831s| 38700 | 325 | 7696k| 198.2 | 90M | 57 |1692 |9389 |1094 | 22k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
830.65/833.65 c 834s| 38800 | 323 | 7715k| 198.1 | 90M | 57 |1692 |9454 |1079 | 22k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
833.44/836.50 c 836s| 38900 | 321 | 7740k| 198.3 | 90M | 57 |1692 |9479 |1091 | 22k| 1 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
835.33/838.38 c 838s| 39000 | 323 | 7755k| 198.2 | 90M | 57 |1692 |9536 |1090 | 22k| 0 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
837.32/840.38 c 840s| 39100 | 319 | 7773k| 198.1 | 90M | 57 |1692 |9507 |1081 | 22k| 0 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
838.92/841.92 c 842s| 39200 | 319 | 7788k| 198.0 | 90M | 57 |1692 |9481 |1081 | 23k| 1 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
843.90/847.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
843.90/847.00 c 847s| 39300 | 320 | 7834k| 198.7 | 90M | 57 |1692 |8667 |1086 | 23k| 0 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
856.76/859.89 c 860s| 39400 | 345 | 7900k| 199.8 | 91M | 57 |1692 |7818 |1084 | 23k| 2 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
857.85/861.00 c 861s| 39500 | 345 | 7911k| 199.6 | 91M | 57 |1692 |7740 |1062 | 23k| 1 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
859.15/862.26 c 862s| 39600 | 345 | 7924k| 199.4 | 91M | 57 |1692 |7799 |1062 | 23k| 0 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
860.14/863.29 c 863s| 39700 | 347 | 7934k| 199.2 | 91M | 57 |1692 |7831 |1063 | 23k| 1 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
861.24/864.33 c 864s| 39800 | 348 | 7943k| 198.9 | 91M | 57 |1692 |7931 |1062 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
863.13/866.27 c 866s| 39900 | 351 | 7962k| 198.9 | 91M | 57 |1692 |7862 |1076 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
865.62/868.78 c 869s| 40000 | 344 | 7987k| 199.0 | 91M | 57 |1692 |7850 |1079 | 23k| 2 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
867.12/870.23 c 870s| 40100 | 348 | 8001k| 198.8 | 91M | 57 |1692 |7655 |1075 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
868.41/871.59 c 872s| 40200 | 358 | 8013k| 198.7 | 91M | 57 |1692 |7632 |1076 | 23k| 1 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
870.01/873.15 c 873s| 40300 | 352 | 8029k| 198.5 | 91M | 57 |1692 |7696 |1074 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
871.50/874.60 c 875s| 40400 | 357 | 8042k| 198.4 | 91M | 57 |1692 |7713 |1074 | 23k| 1 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
873.20/876.34 c 876s| 40500 | 355 | 8056k| 198.2 | 91M | 57 |1692 |7755 |1081 | 23k| 1 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
875.00/878.10 c 878s| 40600 | 353 | 8071k| 198.1 | 91M | 57 |1692 |7834 |1082 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
876.48/879.69 c 880s| 40700 | 354 | 8085k| 198.0 | 91M | 57 |1692 |7861 |1089 | 24k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
878.18/881.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
878.18/881.35 c 881s| 40800 | 353 | 8100k| 197.9 | 91M | 57 |1692 |7902 |1080 | 24k| 1 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
879.77/882.99 c 883s| 40900 | 352 | 8116k| 197.8 | 91M | 57 |1692 |7945 |1078 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
881.47/884.67 c 885s| 41000 | 354 | 8131k| 197.7 | 91M | 57 |1692 |7971 |1083 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
883.06/886.27 c 886s| 41100 | 353 | 8145k| 197.5 | 91M | 57 |1692 |8014 |1078 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
884.55/887.76 c 888s| 41200 | 349 | 8158k| 197.3 | 91M | 57 |1692 |8049 |1071 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
885.96/889.16 c 889s| 41300 | 351 | 8171k| 197.2 | 91M | 57 |1692 |8072 |1082 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
887.95/891.11 c 891s| 41400 | 351 | 8190k| 197.2 | 91M | 57 |1692 |8007 |1082 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
890.04/893.20 c 893s| 41500 | 351 | 8209k| 197.1 | 91M | 57 |1692 |7996 |1086 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
891.93/895.11 c 895s| 41600 | 347 | 8227k| 197.1 | 91M | 57 |1692 |7988 |1077 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
893.42/896.68 c 897s| 41700 | 347 | 8241k| 197.0 | 91M | 57 |1692 |8017 |1080 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
895.22/898.42 c 898s| 41800 | 347 | 8258k| 196.9 | 91M | 57 |1692 |7974 |1082 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
897.11/900.39 c 900s| 41900 | 355 | 8275k| 196.8 | 91M | 57 |1692 |7967 |1089 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
898.50/901.71 c 902s| 42000 | 353 | 8286k| 196.6 | 91M | 57 |1692 |8053 |1076 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
900.00/903.26 c 903s| 42100 | 355 | 8299k| 196.5 | 92M | 57 |1692 |8110 |1079 | 25k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
901.99/905.25 c 905s| 42200 | 353 | 8316k| 196.4 | 92M | 57 |1692 |8121 |1077 | 25k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
903.79/907.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
903.79/907.09 c 907s| 42300 | 350 | 8333k| 196.4 | 92M | 57 |1692 |8223 |1083 | 25k| 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
905.38/908.65 c 909s| 42400 | 350 | 8348k| 196.3 | 92M | 57 |1692 |8176 |1081 | 25k| 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
907.27/910.56 c 911s| 42500 | 350 | 8364k| 196.2 | 92M | 57 |1692 |8260 |1083 | 25k| 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
909.57/912.87 c 913s| 42600 | 343 | 8386k| 196.2 | 92M | 57 |1692 |8271 |1080 | 25k| 0 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
911.46/914.70 c 915s| 42700 | 347 | 8404k| 196.2 | 92M | 57 |1692 |8267 |1077 | 25k| 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
913.15/916.43 c 916s| 42800 | 343 | 8421k| 196.1 | 92M | 57 |1692 |8247 |1078 | 25k| 0 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
914.85/918.13 c 918s| 42900 | 346 | 8436k| 196.0 | 92M | 57 |1692 |8077 |1059 | 25k| 2 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
923.12/926.45 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
923.22/926.50 c (run 1, node 42987) performing user restart
923.22/926.50 c
923.22/926.50 c (restart) converted 60 cuts from the global cut pool into linear constraints
923.22/926.50 c
923.22/926.53 c presolving:
923.22/926.55 c (round 1, fast) 0 del vars, 752 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
923.22/926.59 c (round 2, exhaustive) 0 del vars, 758 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
923.32/926.60 c (round 3, exhaustive) 0 del vars, 769 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
923.32/926.61 c (round 4, exhaustive) 0 del vars, 769 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 0 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
923.42/926.72 c (round 5, exhaustive) 0 del vars, 1735 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 386 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
923.52/926.87 c (round 6, exhaustive) 0 del vars, 1737 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 3497 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
923.62/926.96 c (round 7, exhaustive) 0 del vars, 1746 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 3501 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
923.82/927.16 c presolving (8 rounds: 8 fast, 7 medium, 7 exhaustive):
923.82/927.16 c 0 deleted vars, 1746 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 11 changed sides, 3501 changed coefficients
923.82/927.16 c 0 implications, 1053 cliques
923.82/927.16 c presolved problem has 1692 variables (1692 bin, 0 int, 0 impl, 0 cont) and 5450 constraints
923.82/927.16 c 167 constraints of type <knapsack>
923.82/927.16 c 1005 constraints of type <setppc>
923.82/927.16 c 89 constraints of type <linear>
923.82/927.16 c 4189 constraints of type <logicor>
923.82/927.16 c transformed objective value is always integral (scale: 1)
923.82/927.16 c Presolving Time: 0.73
923.82/927.17 c
925.21/928.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
925.21/928.54 c 929s| 1 | 0 | 8521k| - | 108M | 0 |1692 |5520 |1050 | 0 | 0 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
925.60/928.95 c 929s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5527 |1062 | 12 | 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
925.71/929.06 c 929s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5527 |1072 | 22 | 2 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
925.81/929.15 c 929s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5524 |1080 | 30 | 3 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
925.90/929.24 c 929s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5523 |1088 | 38 | 4 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
926.00/929.33 c 929s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5518 |1096 | 46 | 5 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
926.10/929.43 c 929s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5515 |1101 | 51 | 6 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
926.20/929.53 c 930s| 1 | 0 | 8523k| - | 108M | 0 |1692 |5507 |1112 | 62 | 7 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
926.30/929.64 c 930s| 1 | 0 | 8523k| - | 108M | 0 |1692 |5497 |1118 | 68 | 8 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
926.40/929.73 c 930s| 1 | 0 | 8523k| - | 109M | 0 |1692 |5496 |1127 | 77 | 9 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
926.50/929.84 c 930s| 1 | 0 | 8523k| - | 109M | 0 |1692 |5487 |1133 | 83 | 10 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
926.50/929.89 c 930s| 1 | 0 | 8523k| - | 109M | 0 |1692 |5468 |1143 | 93 | 11 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
933.28/936.65 c 937s| 1 | 2 | 8558k| - | 109M | 0 |1692 |5374 |1143 | 93 | 11 | 36k| 35 | 0.000000e+00 | -- | Inf | unknown
947.44/950.83 c 951s| 100 | 50 | 8680k| 200.5 | 110M | 40 |1692 |5310 |1051 | 114 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
956.11/959.57 c 960s| 200 | 59 | 8758k| 201.8 | 110M | 40 |1692 |5329 |1055 | 181 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
957.90/961.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
957.90/961.39 c 961s| 300 | 59 | 8775k| 201.8 | 110M | 40 |1692 |5370 |1057 | 240 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
959.89/963.35 c 963s| 400 | 65 | 8794k| 201.8 | 110M | 40 |1692 |5391 |1055 | 280 | 0 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
961.19/964.69 c 965s| 500 | 69 | 8807k| 201.6 | 110M | 40 |1692 |5421 |1055 | 301 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
962.49/965.99 c 966s| 600 | 69 | 8819k| 201.4 | 110M | 40 |1692 |5478 |1057 | 334 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
964.08/967.59 c 968s| 700 | 65 | 8835k| 201.3 | 110M | 40 |1692 |5479 |1058 | 356 | 0 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
965.68/969.15 c 969s| 800 | 75 | 8850k| 201.2 | 110M | 40 |1692 |5539 |1059 | 388 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
968.16/971.69 c 972s| 900 | 84 | 8876k| 201.3 | 110M | 40 |1692 |5602 |1059 | 429 | 0 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
969.46/972.95 c 973s| 1000 | 84 | 8887k| 201.1 | 110M | 43 |1692 |5629 |1053 | 462 | 0 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
971.05/974.57 c 975s| 1100 | 84 | 8902k| 201.0 | 110M | 43 |1692 |5757 |1059 | 499 | 0 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
972.45/975.99 c 976s| 1200 | 83 | 8916k| 200.8 | 110M | 43 |1692 |5843 |1059 | 549 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
974.14/977.60 c 978s| 1300 | 82 | 8931k| 200.7 | 110M | 43 |1692 |5891 |1066 | 603 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
975.64/979.11 c 979s| 1400 | 81 | 8946k| 200.6 | 110M | 43 |1692 |5993 |1054 | 610 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
977.23/980.77 c 981s| 1500 | 79 | 8962k| 200.5 | 110M | 43 |1692 |6035 |1064 | 650 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
978.53/982.09 c 982s| 1600 | 82 | 8973k| 200.3 | 110M | 43 |1692 |6124 |1058 | 715 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
980.22/983.70 c 984s| 1700 | 85 | 8987k| 200.2 | 110M | 43 |1692 |6149 |1060 | 814 | 0 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
981.52/985.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
981.52/985.01 c 985s| 1800 | 86 | 8999k| 200.0 | 110M | 43 |1692 |6207 |1066 | 869 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
983.41/986.94 c 987s| 1900 | 83 | 9019k| 200.0 | 110M | 43 |1692 |6255 |1061 | 918 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
985.20/988.70 c 989s| 2000 | 78 | 9037k| 200.0 | 110M | 43 |1692 |6234 |1061 | 955 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
986.70/990.27 c 990s| 2100 | 79 | 9051k| 199.8 | 110M | 43 |1692 |6262 |1060 | 973 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
988.69/992.27 c 992s| 2200 | 81 | 9072k| 199.9 | 110M | 43 |1692 |6254 |1061 |1046 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
990.18/993.77 c 994s| 2300 | 83 | 9087k| 199.7 | 110M | 43 |1692 |6394 |1059 |1097 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
991.08/994.60 c 995s| 2400 | 77 | 9094k| 199.5 | 110M | 43 |1692 |6401 |1059 |1127 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
992.08/995.63 c 996s| 2500 | 77 | 9104k| 199.3 | 110M | 43 |1692 |6395 |1059 |1137 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
992.87/996.49 c 996s| 2600 | 79 | 9113k| 199.0 | 110M | 43 |1692 |6376 |1059 |1158 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
994.47/998.00 c 998s| 2700 | 75 | 9129k| 198.9 | 110M | 43 |1692 |6370 |1059 |1195 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
995.57/999.11 c 999s| 2800 | 83 | 9140k| 198.7 | 110M | 43 |1692 |6388 |1065 |1260 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
996.06/999.60 c *1000s| 2876 | 0 | 9142k| 198.4 | LP | 46 |1692 |6447 |1066 |1307 | 3 | 39k| 35 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
996.06/999.60 c
996.06/999.60 c SCIP Status : problem is solved [optimal solution found]
996.06/999.60 c Solving Time (sec) : 999.60
996.06/999.60 c Solving Nodes : 2876 (total of 45863 nodes in 2 runs)
996.06/999.60 c Primal Bound : +0.00000000000000e+00 (1 solutions)
996.06/999.60 c Dual Bound : +0.00000000000000e+00
996.06/999.60 c Gap : 0.00 %
996.06/999.61 s SATISFIABLE
996.06/999.61 v -x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 x1724 x1723 x1722 -x1721 -x1720 x1719
996.06/999.61 v -x1718 -x1717 x1716 -x1715 x1714 -x1713 -x1712 -x1711 x1710 -x1709 -x1708 x1707 -x1706 -x1705 x1704 -x1703 -x1702 -x1701 -x1700
996.06/999.61 v x1699 -x1698 x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682
996.06/999.61 v x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663
996.06/999.61 v x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645 -x1644
996.06/999.61 v -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 x1626
996.06/999.61 v x1625 x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 x1613 -x1612 -x1611 x1610 -x1609 -x1608
996.06/999.61 v -x1607 x1606 -x1605 -x1604 -x1603 -x1602 x1601 -x1600 -x1599 x1598 x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 x1589
996.06/999.61 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 x1579 -x1578 -x1577 x1576 x1575 -x1574 -x1573 -x1572 x1571 -x1570
996.06/999.61 v -x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 x1558 x1557 -x1556 -x1555 -x1554 -x1553 -x1552
996.06/999.61 v -x1551 x1550 -x1549 x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533
996.06/999.61 v -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
996.06/999.61 v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498
996.06/999.61 v -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
996.06/999.61 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
996.06/999.61 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
996.06/999.61 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 -x1426
996.06/999.61 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
996.06/999.61 v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 x1393 -x1392 -x1391 -x1390
996.06/999.61 v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372
996.06/999.61 v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354
996.06/999.61 v -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336
996.06/999.61 v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318
996.06/999.61 v x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300
996.06/999.61 v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
996.06/999.61 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264
996.06/999.61 v -x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
996.06/999.61 v -x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228
996.06/999.61 v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
996.06/999.61 v -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
996.06/999.61 v -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
996.06/999.61 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156
996.06/999.61 v -x1155 -x1154 x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138
996.06/999.61 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
996.06/999.61 v -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102
996.06/999.61 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084
996.06/999.61 v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
996.06/999.61 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048
996.06/999.61 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030
996.06/999.61 v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012
996.06/999.61 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993
996.06/999.61 v -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972
996.06/999.61 v -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951
996.06/999.61 v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
996.06/999.61 v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909
996.06/999.61 v -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888
996.06/999.61 v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867
996.06/999.61 v -x866 -x865 x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846
996.06/999.61 v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825
996.06/999.61 v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
996.06/999.61 v -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
996.06/999.61 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
996.06/999.61 v -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741
996.06/999.61 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720
996.06/999.61 v x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 -x700 -x699
996.06/999.61 v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678
996.06/999.61 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657
996.06/999.61 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
996.06/999.61 v -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
996.06/999.61 v -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594
996.06/999.61 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
996.06/999.61 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
996.06/999.61 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
996.06/999.61 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
996.06/999.61 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
996.06/999.61 v -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
996.06/999.61 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447
996.06/999.61 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426
996.06/999.61 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
996.06/999.61 v -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
996.06/999.61 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363
996.06/999.61 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
996.06/999.61 v x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
996.06/999.61 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
996.06/999.61 v -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
996.06/999.61 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
996.06/999.61 v -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
996.06/999.61 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
996.06/999.61 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
996.06/999.61 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174
996.06/999.61 v -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
996.06/999.61 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
996.06/999.61 v -x132 x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
996.06/999.61 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
996.06/999.61 v -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63
996.06/999.61 v -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
996.06/999.61 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13
996.06/999.61 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
996.06/999.61 c SCIP Status : problem is solved [optimal solution found]
996.06/999.61 c Total Time : 999.60
996.06/999.61 c solving : 999.60
996.06/999.61 c presolving : 0.73 (included in solving)
996.06/999.61 c reading : 0.01 (included in solving)
996.06/999.61 c copying : 0.74 (43 #copies) (minimal 0.01, maximal 0.05, average 0.02)
996.06/999.61 c Original Problem :
996.06/999.61 c Problem name : HOME/instance-4445955-1721328766.opb
996.06/999.61 c Variables : 1737 (1737 binary, 0 integer, 0 implicit integer, 0 continuous)
996.06/999.61 c Constraints : 1041 initial, 1041 maximal
996.06/999.61 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
996.06/999.61 c Presolved Problem :
996.06/999.61 c Problem name : t_HOME/instance-4445955-1721328766.opb
996.06/999.61 c Variables : 1692 (1692 binary, 0 integer, 0 implicit integer, 0 continuous)
996.06/999.61 c Constraints : 5450 initial, 6447 maximal
996.06/999.61 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
996.06/999.61 c Nonzeros : 173383 constraint, 13832 clique table
996.06/999.61 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
996.06/999.61 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
996.06/999.61 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
996.06/999.61 c gateextraction : 0.03 0.00 7 0 0 0 0 0 0 0 0 0
996.06/999.61 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
996.06/999.61 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
996.06/999.61 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
996.06/999.61 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
996.06/999.61 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
996.06/999.61 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
996.06/999.61 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
996.06/999.61 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
996.06/999.61 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
996.06/999.61 c knapsack : 0.02 0.00 32 0 0 0 0 0 0 0 0 0
996.06/999.61 c setppc : 0.01 0.00 32 24 21 0 0 0 148 0 21 21
996.06/999.61 c linear : 0.02 0.00 23 0 0 0 0 0 53 0 53 0
996.06/999.61 c logicor : 0.47 0.11 19 0 0 0 0 0 1590 0 0 3501
996.06/999.61 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
996.06/999.61 c root node : - - - 0 - - 0 - - - - -
996.06/999.61 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
996.06/999.61 c benderslp : 0 0 0 0 23343 0 0 2491 0 0 0 0 0 0 0
996.06/999.61 c integral : 0 0 0 0 23343 0 0 2491 0 0 0 0 0 0 46684
996.06/999.61 c knapsack : 167+ 188 22 175327 1 0 0 2484 431423 125 142533 0 0 0 0
996.06/999.61 c setppc : 1005+ 1055 22 175202 1 0 0 27 2762276 808 1000175 0 0 0 0
996.06/999.61 c linear : 89 89 23 174391 1 0 0 3 311526 355 137585 1 1 0 0
996.06/999.61 c logicor : 4189+ 5124 22 76076 0 0 0 0 49789 310 39980 4 3 0 0
996.06/999.61 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
996.06/999.61 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
996.06/999.61 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
996.06/999.61 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
996.06/999.61 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c integral : 5.63 0.00 0.00 0.00 5.63 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c knapsack : 1.47 0.00 0.03 1.10 0.00 0.00 0.00 0.04 0.30 0.00
996.06/999.61 c setppc : 3.18 0.00 0.00 2.68 0.00 0.00 0.00 0.00 0.49 0.00
996.06/999.61 c linear : 1.25 0.00 0.00 0.93 0.00 0.00 0.00 0.00 0.32 0.00
996.06/999.61 c logicor : 2.01 0.11 0.02 1.75 0.00 0.00 0.00 0.00 0.13 0.00
996.06/999.61 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c Propagators : #Propagate #ResProp Cutoffs DomReds
996.06/999.61 c dualfix : 2 0 0 0
996.06/999.61 c genvbounds : 0 0 0 0
996.06/999.61 c nlobbt : 0 0 0 0
996.06/999.61 c obbt : 0 0 0 0
996.06/999.61 c probing : 0 0 0 0
996.06/999.61 c pseudoobj : 0 0 0 0
996.06/999.61 c redcost : 0 0 0 0
996.06/999.61 c rootredcost : 0 0 0 0
996.06/999.61 c symmetry : 156910 0 0 290
996.06/999.61 c vbounds : 111983 0 0 0
996.06/999.61 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
996.06/999.61 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
996.06/999.61 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
996.06/999.61 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
996.06/999.61 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
996.06/999.61 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
996.06/999.61 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
996.06/999.61 c symmetry : 11.17 0.00 0.02 11.16 0.00 0.00
996.06/999.61 c vbounds : 0.52 0.00 0.00 0.52 0.00 0.00
996.06/999.61 c Symmetry :
996.06/999.61 c orbitopal red. : 0 reductions applied, 0 cutoffs
996.06/999.61 c orbital reduction: 290 reductions applied, 0 cutoffs
996.06/999.61 c lexicographic red: 0 reductions applied, 0 cutoffs
996.06/999.61 c shadow tree time : 0.09 s
996.06/999.61 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
996.06/999.61 c propagation : 0.41 1498 1494 - 21209 126.2 418 35.8 - - -
996.06/999.61 c infeasible LP : 20.03 21452 6934 - 160088 291.2 561 37.0 365 193.7 0
996.06/999.61 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
996.06/999.61 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
996.06/999.61 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
996.06/999.61 c applied globally : 3.04 - - 0 39358 49.5 - - 361 - -
996.06/999.61 c applied locally : - - - 0 51 338.8 - - 4 - -
996.06/999.61 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
996.06/999.61 c cut pool : 1.51 - 4921 42 - - 11661 94014 - - - - - (maximal pool size: 818)
996.06/999.61 c aggregation : 1.44 0.00 2214 22 0 0 0 0 0 0 0 0 0
996.06/999.61 c > cmir : - - - - - - - 0 0 0 0 0 -
996.06/999.61 c > flowcover : - - - - - - - 0 0 0 0 0 -
996.06/999.61 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
996.06/999.61 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c clique : 0.05 0.00 22 22 0 0 175 438 0 271 271 0 0
996.06/999.61 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c gomory : 31.03 0.00 2212 20 0 0 13380 91127 1972 18657 18455 202 0
996.06/999.61 c > gomorymi : - - - - - - - 5010 986 497 394 103 -
996.06/999.61 c > strongcg : - - - - - - - 86117 986 18160 18061 99 -
996.06/999.61 c impliedbounds : 0.09 0.00 2214 22 0 0 0 0 0 0 0 0 0
996.06/999.61 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
996.06/999.61 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c multilinear : 0.00 0.00 53 22 0 0 0 0 0 0 0 0 0
996.06/999.61 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
996.06/999.61 c rapidlearning : 3.04 0.00 37 2 0 142 0 0 0 0 0 0 151
996.06/999.61 c rlt : 0.01 0.00 1688 20 0 0 0 0 0 0 0 0 0
996.06/999.61 c zerohalf : 20.44 0.00 2214 22 0 0 7037 2449 6959 8092 1717 6375 0
996.06/999.61 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
996.06/999.61 c hybrid : 0.24 0.00 3739 22 27023 2 75927 193 0 122
996.06/999.61 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c Pricers : ExecTime SetupTime Calls Vars
996.06/999.61 c problem variables: 0.00 - 0 0
996.06/999.61 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
996.06/999.61 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c random : 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c relpscost : 5.60 0.00 23342 0 0 0 0 0 0 46684
996.06/999.61 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
996.06/999.61 c Primal Heuristics : ExecTime SetupTime Calls Found Best
996.06/999.61 c LP solutions : 0.00 - - 1 1
996.06/999.61 c relax solutions : 0.00 - - 0 0
996.06/999.61 c pseudo solutions : 0.00 - - 0 0
996.06/999.61 c strong branching : 0.00 - - 0 0
996.06/999.61 c actconsdiving : 0.00 0.00 0 0 0
996.06/999.61 c adaptivediving : 4.73 0.00 19 0 0
996.06/999.61 c alns : 6.32 0.00 9 0 0
996.06/999.61 c bound : 0.00 0.00 0 0 0
996.06/999.61 c clique : 0.01 0.00 1 0 0
996.06/999.61 c coefdiving : 0.00 0.00 0 0 0
996.06/999.61 c completesol : 0.00 0.00 0 0 0
996.06/999.61 c conflictdiving : 23.39 0.00 18 0 0
996.06/999.61 c crossover : 0.01 0.00 0 0 0
996.06/999.61 c dins : 0.00 0.00 0 0 0
996.06/999.61 c distributiondivin: 16.51 0.00 18 0 0
996.06/999.61 c dps : 0.00 0.00 0 0 0
996.06/999.61 c dualval : 0.00 0.00 0 0 0
996.06/999.61 c farkasdiving : 0.00 0.00 0 0 0
996.06/999.61 c feasjump : 0.03 0.00 2 0 0
996.06/999.61 c feaspump : 2.72 0.00 9 0 0
996.06/999.61 c fixandinfer : 0.00 0.00 0 0 0
996.06/999.61 c fracdiving : 13.52 0.00 18 0 0
996.06/999.61 c gins : 0.01 0.00 0 0 0
996.06/999.61 c guideddiving : 0.00 0.00 0 0 0
996.06/999.61 c indcoefdiving : 0.00 0.00 0 0 0
996.06/999.61 c indicator : 0.02 0.00 0 0 0
996.06/999.61 c indicatordiving : 0.00 0.00 0 0 0
996.06/999.61 c indoneopt : 0.02 0.00 0 0 0
996.06/999.61 c indrounding : 0.00 0.00 0 0 0
996.06/999.61 c indtwoopt : 0.00 0.00 0 0 0
996.06/999.61 c intdiving : 0.00 0.00 0 0 0
996.06/999.61 c intshifting : 0.00 0.00 0 0 0
996.06/999.61 c linesearchdiving : 10.70 0.00 18 0 0
996.06/999.61 c localbranching : 0.00 0.00 0 0 0
996.06/999.61 c locks : 0.01 0.00 1 0 0
996.06/999.61 c lpface : 0.04 0.00 0 0 0
996.06/999.61 c mpec : 0.00 0.00 0 0 0
996.06/999.61 c multistart : 0.00 0.00 0 0 0
996.06/999.61 c mutation : 0.00 0.00 0 0 0
996.06/999.61 c nlpdiving : 0.00 0.00 0 0 0
996.06/999.61 c objpscostdiving : 13.26 0.00 9 0 0
996.06/999.61 c octane : 0.00 0.00 0 0 0
996.06/999.61 c ofins : 0.01 0.00 0 0 0
996.06/999.61 c oneopt : 0.02 0.00 0 0 0
996.06/999.61 c padm : 0.00 0.00 0 0 0
996.06/999.61 c proximity : 0.00 0.00 0 0 0
996.06/999.61 c pscostdiving : 3.18 0.00 18 0 0
996.06/999.61 c randrounding : 0.33 0.00 2499 0 0
996.06/999.61 c rens : 0.97 0.00 2 0 0
996.06/999.61 c reoptsols : 0.00 0.00 0 0 0
996.06/999.61 c repair : 0.00 0.00 0 0 0
996.06/999.61 c rins : 0.01 0.00 0 0 0
996.06/999.61 c rootsoldiving : 5.58 0.00 9 0 0
996.06/999.61 c rounding : 0.36 0.00 2274 0 0
996.06/999.61 c scheduler : 0.00 0.00 0 0 0
996.06/999.61 c shiftandpropagate: 0.02 0.00 2 0 0
996.06/999.61 c shifting : 0.37 0.00 922 0 0
996.06/999.61 c simplerounding : 0.02 0.00 0 0 0
996.06/999.61 c smallcard : 0.00 0.00 0 0 0
996.06/999.61 c subnlp : 0.04 0.00 0 0 0
996.06/999.61 c trivial : 0.00 0.00 4 0 0
996.06/999.61 c trivialnegation : 0.00 0.00 0 0 0
996.06/999.61 c trustregion : 0.00 0.00 0 0 0
996.06/999.61 c trysol : 0.02 0.00 0 0 0
996.06/999.61 c twoopt : 0.00 0.00 0 0 0
996.06/999.61 c undercover : 0.00 0.00 0 0 0
996.06/999.61 c vbounds : 0.01 0.00 2 0 0
996.06/999.61 c veclendiving : 10.80 0.00 18 0 0
996.06/999.61 c zeroobj : 0.00 0.00 0 0 0
996.06/999.61 c zirounding : 0.05 0.00 1000 0 0
996.06/999.61 c other solutions : - - - 0 -
996.06/999.61 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
996.06/999.61 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
996.06/999.61 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
996.06/999.61 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
996.06/999.61 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
996.06/999.61 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
996.06/999.61 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
996.06/999.61 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
996.06/999.61 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
996.06/999.61 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
996.06/999.61 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
996.06/999.61 c primal LP : 2.67 2377 0 0.00 0.00 2.67 2377
996.06/999.61 c dual LP : 754.65 48407 8191307 169.82 10854.49 0.09 173
996.06/999.61 c lex dual LP : 0.00 0 0 0.00 -
996.06/999.61 c barrier LP : 0.00 0 0 0.00 - 0.00 0
996.06/999.61 c resolve instable : 0.00 0 0 0.00 -
996.06/999.61 c diving/probing LP: 100.24 3030 951446 314.01 9491.75
996.06/999.61 c strong branching : 3.53 35 20051 572.89 5681.38 - - 34
996.06/999.61 c (at root node) : - 35 20051 572.89 -
996.06/999.61 c conflict analysis: 0.00 0 0 0.00 -
996.06/999.61 c B&B Tree :
996.06/999.61 c number of runs : 2
996.06/999.61 c nodes : 2876 (1511 internal, 1365 leaves)
996.06/999.61 c feasible leaves : 1
996.06/999.61 c infeas. leaves : 1364
996.06/999.61 c objective leaves : 0
996.06/999.61 c nodes (total) : 45863 (23342 internal, 22521 leaves)
996.06/999.61 c nodes left : 0
996.06/999.61 c max depth : 46
996.06/999.61 c max depth (total): 57
996.06/999.61 c backtracks : 632 (22.0%)
996.06/999.61 c early backtracks : 0 (0.0%)
996.06/999.61 c nodes exc. ref. : 0 (0.0%)
996.06/999.61 c delayed cutoffs : 66
996.06/999.61 c repropagations : 1264 (9892 domain reductions, 43 cutoffs)
996.06/999.61 c avg switch length: 3.49
996.06/999.61 c switching time : 8.55
996.06/999.61 c Root Node :
996.06/999.61 c First LP value : +0.00000000000000e+00
996.06/999.61 c First LP Iters : 11736 (10133.27 Iter/sec)
996.06/999.61 c First LP Time : 1.16
996.06/999.61 c Final Dual Bound : +0.00000000000000e+00
996.06/999.61 c Final Root Iters : 41641
996.06/999.61 c Root LP Estimate : +4.36710359773675e-02
996.06/999.61 c Solution :
996.06/999.61 c Solutions found : 1 (1 improvements)
996.06/999.61 c First Solution : +0.00000000000000e+00 (in run 2, after 2876 nodes, 999.60 seconds, depth 40, found by <relaxation>)
996.06/999.61 c Gap First Sol. : 0.00 %
996.06/999.61 c Gap Last Sol. : 0.00 %
996.06/999.61 c Primal Bound : +0.00000000000000e+00 (in run 2, after 2876 nodes, 999.60 seconds, depth 40, found by <relaxation>)
996.06/999.61 c Dual Bound : +0.00000000000000e+00
996.06/999.61 c Gap : 0.00 %
996.06/999.61 c Integrals : Total Avg%
996.06/999.61 c primal-dual : 99960.01 100.00
996.06/999.61 c primal-ref : - - (not evaluated)
996.06/999.61 c dual-ref : - - (not evaluated)
996.06/999.64 c Time complete: 996.11.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62020 MiB free)
memory of node 1: 64510 MiB (63125 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445955-1721328766/watcher-4445955-1721328766 -o /tmp/evaluation-result-4445955-1721328766/solver-4445955-1721328766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973107 --watchdog 3760 pbscip -f HOME/instance-4445955-1721328766.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=973261, runsolver pid=973258
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128116880/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=82028 memory=40792 CPUtime=0.1 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 6932 0 0 0 9 1 0 0 20 0 1 0 185036850 83996672 10198 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 20507 10198 3853 3540 0 8764 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82028 KiB
Current children cumulated memory: 40792 KiB
[startup+0.205634 s]*
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128105876/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=86128 memory=45140 CPUtime=0.2 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 7894 0 0 0 19 1 0 0 20 0 1 0 185036850 88195072 11285 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 21532 11285 3965 3540 0 9789 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86128 KiB
Current children cumulated memory: 45140 KiB
[startup+0.305844 s]*
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128096420/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=86128 memory=45140 CPUtime=0.3 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 7910 0 0 0 29 1 0 0 20 0 1 0 185036850 88195072 11285 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 21532 11285 3965 3540 0 9789 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86128 KiB
Current children cumulated memory: 45140 KiB
[startup+0.700228 s]
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128078136/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=86128 memory=45140 CPUtime=0.69 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 7923 0 0 0 68 1 0 0 20 0 1 0 185036850 88195072 11285 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 21532 11285 3965 3540 0 9789 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86128 KiB
Current children cumulated memory: 45140 KiB
[startup+1.50026 s]
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128054924/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=87384 memory=45992 CPUtime=1.49 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 8138 0 0 0 148 1 0 0 20 0 1 0 185036850 89481216 11498 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 21846 11498 3981 3540 0 10103 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 87384 KiB
Current children cumulated memory: 45992 KiB
[startup+3.10541 s]
/proc/loadavg: 2.78 3.55 3.91 5/259 973308
/proc/meminfo: memFree=128094444/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=103372 memory=60992 CPUtime=3.08 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 12826 0 0 0 307 1 0 0 20 0 1 0 185036850 105852928 15248 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 25843 15248 4028 3540 0 14100 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103372 KiB
Current children cumulated memory: 60992 KiB
[startup+6.30015 s]
/proc/loadavg: 2.78 3.55 3.91 5/259 973310
/proc/meminfo: memFree=128083332/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=103372 memory=61252 CPUtime=6.27 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 12884 0 0 0 626 1 0 0 20 0 1 0 185036850 105852928 15313 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 25843 15313 4028 3540 0 14100 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103372 KiB
Current children cumulated memory: 61252 KiB
[startup+12.7002 s]
/proc/loadavg: 2.97 3.57 3.91 5/259 973310
/proc/meminfo: memFree=128032036/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=104352 memory=63356 CPUtime=12.65 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 13427 0 0 0 1264 1 0 0 20 0 1 0 185036850 106856448 15839 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 26088 15839 4028 3540 0 14345 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 104352 KiB
Current children cumulated memory: 63356 KiB
[startup+25.5003 s]
/proc/loadavg: 3.13 3.58 3.91 5/259 973359
/proc/meminfo: memFree=126060524/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=105604 memory=64988 CPUtime=25.43 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 15382 0 0 0 2541 2 0 0 20 0 1 0 185036850 108138496 16247 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 26401 16247 4028 3540 0 14658 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 105604 KiB
Current children cumulated memory: 64988 KiB
[startup+51.1058 s]
/proc/loadavg: 3.43 3.62 3.91 5/259 973362
/proc/meminfo: memFree=124020144/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=105604 memory=64988 CPUtime=50.95 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 15382 0 0 0 5093 2 0 0 20 0 1 0 185036850 108138496 16247 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 26401 16247 4028 3540 0 14658 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 105604 KiB
Current children cumulated memory: 64988 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 3.70 3.92 5/259 973374
/proc/meminfo: memFree=122795688/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=110060 memory=69452 CPUtime=101.96 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 25028 0 0 0 10193 3 0 0 20 0 1 0 185036850 112701440 17363 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 27515 17363 4028 3540 0 15772 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 110060 KiB
Current children cumulated memory: 69452 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.79 3.94 5/258 973770
/proc/meminfo: memFree=122856184/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=113564 memory=75084 CPUtime=161.76 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 28390 0 0 0 16172 4 0 0 20 0 1 0 185036850 116289536 18771 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 28391 18771 4028 3540 0 16648 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 113564 KiB
Current children cumulated memory: 75084 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.84 3.95 5/258 973781
/proc/meminfo: memFree=122839256/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=120344 memory=81376 CPUtime=221.58 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 30033 0 0 0 22153 5 0 0 20 0 1 0 185036850 123232256 20344 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 30086 20344 4028 3540 0 18343 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 120344 KiB
Current children cumulated memory: 81376 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.91 3.97 5/258 973791
/proc/meminfo: memFree=122814488/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=128436 memory=89316 CPUtime=281.37 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 32102 0 0 0 28132 5 0 0 20 0 1 0 185036850 131518464 22329 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 32109 22329 4028 3540 0 20366 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 128436 KiB
Current children cumulated memory: 89316 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.94 3.98 5/258 973971
/proc/meminfo: memFree=122782024/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=147440 memory=107168 CPUtime=341.15 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 36564 0 0 0 34109 6 0 0 20 0 1 0 185036850 150978560 26792 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 36860 26792 4028 3540 0 25117 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 147440 KiB
Current children cumulated memory: 107168 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.97 3.99 5/258 973982
/proc/meminfo: memFree=122769496/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=156044 memory=116672 CPUtime=400.92 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 38957 0 0 0 40086 6 0 0 20 0 1 0 185036850 159789056 29168 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 39011 29168 4028 3540 0 27268 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 156044 KiB
Current children cumulated memory: 116672 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.02 4.01 5/257 973994
/proc/meminfo: memFree=122762840/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=156044 memory=116672 CPUtime=460.71 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 38982 0 0 0 46064 7 0 0 20 0 1 0 185036850 159789056 29168 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 39011 29168 4028 3540 0 27268 0
################
# More data... #
################
/proc/loadavg: 4.11 4.05 4.02 5/257 974027
/proc/meminfo: memFree=122592808/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=161176 memory=121020 CPUtime=580.27 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 40121 0 0 0 58020 7 0 0 20 0 1 0 185036850 165044224 30255 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 40294 30255 4028 3540 0 28551 0
Current children cumulated CPU time: 580.27 s
Current children cumulated vsize: 161176 KiB
Current children cumulated memory: 121020 KiB
[startup+642.3 s]
/proc/loadavg: 4.14 4.07 4.02 5/254 974037
/proc/meminfo: memFree=122585228/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=159560 memory=120792 CPUtime=640.04 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 41235 0 0 0 63997 7 0 0 20 0 1 0 185036850 163389440 30198 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 39890 30198 4028 3540 0 28147 0
Current children cumulated CPU time: 640.04 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 120792 KiB
[startup+702.3 s]
/proc/loadavg: 4.11 4.07 4.02 5/254 974050
/proc/meminfo: memFree=122562024/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=175404 memory=136528 CPUtime=699.81 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 45212 0 0 0 69974 7 0 0 20 0 1 0 185036850 179613696 34132 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 43851 34132 4028 3540 0 32108 0
Current children cumulated CPU time: 699.81 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 136528 KiB
[startup+762.3 s]
/proc/loadavg: 4.15 4.09 4.03 5/255 974061
/proc/meminfo: memFree=122545352/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=175404 memory=136528 CPUtime=759.6 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 45237 0 0 0 75952 8 0 0 20 0 1 0 185036850 179613696 34132 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 43851 34132 4028 3540 0 32108 0
Current children cumulated CPU time: 759.6 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 136528 KiB
[startup+822.3 s]
/proc/loadavg: 4.11 4.08 4.03 5/255 974071
/proc/meminfo: memFree=122533696/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=175404 memory=136604 CPUtime=819.39 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 45262 0 0 0 81931 8 0 0 20 0 1 0 185036850 179613696 34151 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 43851 34151 4028 3540 0 32108 0
Current children cumulated CPU time: 819.39 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 136604 KiB
[startup+882.3 s]
/proc/loadavg: 4.33 4.16 4.06 5/255 974083
/proc/meminfo: memFree=122522800/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=179400 memory=140376 CPUtime=879.17 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 46785 0 0 0 87909 8 0 0 20 0 1 0 185036850 183705600 35094 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 44850 35094 4028 3540 0 33107 0
Current children cumulated CPU time: 879.17 s
Current children cumulated vsize: 179400 KiB
Current children cumulated memory: 140376 KiB
[startup+942.3 s]
/proc/loadavg: 4.24 4.16 4.06 5/255 974093
/proc/meminfo: memFree=122487740/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=168092 CPUtime=938.96 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55427 0 0 0 93887 9 0 0 20 0 1 0 185036850 213135360 42023 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42023 4028 3540 0 40292 0
Current children cumulated CPU time: 938.96 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 168092 KiB
[startup+999.651 s]
# the end of solver process 973261 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=996.01 s, system=0.108524 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+972.8 s]
/proc/loadavg: 4.23 4.16 4.06 5/255 974097
/proc/meminfo: memFree=122483364/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=969.36 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 96926 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 969.36 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB
[startup+985.6 s]
/proc/loadavg: 4.19 4.15 4.06 5/255 974101
/proc/meminfo: memFree=122483052/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=982.11 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 98201 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 982.11 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB
[startup+992 s]*
/proc/loadavg: 4.16 4.15 4.06 5/255 974101
/proc/meminfo: memFree=122481492/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=988.5 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 98840 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 988.5 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB
[startup+995.2 s]
/proc/loadavg: 4.16 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481520/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=991.68 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99158 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 991.68 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB
[startup+996.8 s]
/proc/loadavg: 4.16 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481520/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=993.27 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99317 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 993.27 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB
[startup+998.4 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481404/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=994.87 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99477 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 994.87 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB
[startup+999.2 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481404/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=995.66 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99556 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 995.66 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB
[startup+999.6 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481404/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=996.06 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99596 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 996.06 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB
Child status: 0
Real time (s): 999.651
CPU time (s): 996.119
CPU user time (s): 996.01
CPU system time (s): 0.108524
CPU usage (%): 99.6467
Max. virtual memory (cumulated for all children) (KiB): 217156
Max. memory (cumulated for all children) (KiB): 174596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 996.01
system time used= 0.108524
maximum resident set size= 174596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 496
# summary of solver processes directly reported to runsolver:
# pid: 973261
# total CPU time (s): 996.119
# total CPU user time (s): 996.01
# total CPU system time (s): 0.108524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.95474 second user time and 4.76888 second system time
The end