0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4503178-1751169647.opb>
0.00/0.02 c original problem has 1737 variables (1737 bin, 0 int, 0 impl, 0 cont) and 1041 constraints
0.00/0.02 c problem read in 0.01
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.03 c presolving:
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver found nothing
0.00/0.05 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.05 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.06 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.07 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.07 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.07/0.10 c (0.1s) probing: 51/1692 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.07/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.07/0.10 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.07/0.12 c (0.1s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.07/0.12 c dynamic symmetry handling statistics:
0.07/0.12 c orbitopal reduction: no components
0.07/0.12 c orbital reduction: 1 components of sizes 7
0.07/0.12 c lexicographic reduction: 7 permutations with support sizes 648, 648, 682, 682, 682, 682, 682
0.07/0.12 c handled 1 out of 1 symmetry components
0.07/0.12 c presolving (6 rounds: 6 fast, 6 medium, 4 exhaustive):
0.07/0.12 c 45 deleted vars, 45 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 63 changed sides, 21 changed coefficients
0.07/0.12 c 0 implications, 807 cliques
0.07/0.12 c presolved problem has 1692 variables (1692 bin, 0 int, 0 impl, 0 cont) and 996 constraints
0.07/0.12 c 144 constraints of type <knapsack>
0.07/0.12 c 765 constraints of type <setppc>
0.07/0.12 c 87 constraints of type <linear>
0.07/0.12 c transformed objective value is always integral (scale: 1)
0.07/0.12 c Presolving Time: 0.10
0.07/0.12 c - non default parameters ----------------------------------------------------------------------
0.07/0.12 c # SCIP version 10.0.0
0.07/0.12 c
0.07/0.12 c # maximal time in seconds to run
0.07/0.12 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.07/0.12 c limits/time = 3596.998126
0.07/0.12 c
0.07/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.07/0.12 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.07/0.12 c limits/memory = 27900
0.07/0.12 c
0.07/0.12 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.07/0.12 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.07/0.12 c limits/solutions = 1
0.07/0.12 c
0.07/0.12 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.07/0.12 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.07/0.12 c misc/usesymmetry = 3
0.07/0.12 c
0.07/0.12 c # belongs reading time to solving time?
0.07/0.12 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.07/0.12 c timing/reading = TRUE
0.07/0.12 c
0.07/0.12 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.07/0.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.07/0.12 c propagating/symmetry/detectdoublelex = FALSE
0.07/0.12 c
0.07/0.12 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.07/0.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.07/0.12 c propagating/symmetry/detectsubgroups = FALSE
0.07/0.12 c
0.07/0.12 c # Type of symmetries that shall be computed?
0.07/0.12 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.07/0.12 c propagating/symmetry/symtype = 1
0.07/0.12 c
0.07/0.12 c # Should components consisting of a single full reflection be handled?
0.07/0.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.07/0.12 c propagating/symmetry/usesimplesgncomp = FALSE
0.07/0.12 c
0.07/0.12 c -----------------------------------------------------------------------------------------------
0.07/0.12 c start solving
0.07/0.12 c
1.27/1.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.27/1.35 c 1.3s| 1 | 0 | 11736 | - | 28M | 0 |1692 |1101 | 996 | 0 | 0 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
2.75/2.86 c 2.8s| 1 | 0 | 26417 | - | 30M | 0 |1692 |1253 |1007 | 11 | 1 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
2.85/2.96 c 2.9s| 1 | 0 | 26642 | - | 30M | 0 |1692 |1260 |1018 | 22 | 2 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
2.96/3.05 c 3.0s| 1 | 0 | 26811 | - | 31M | 0 |1692 |1261 |1028 | 32 | 3 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
3.06/3.14 c 3.1s| 1 | 0 | 26954 | - | 31M | 0 |1692 |1267 |1039 | 43 | 4 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
3.15/3.25 c 3.2s| 1 | 0 | 27170 | - | 31M | 0 |1692 |1268 |1048 | 52 | 5 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
3.25/3.34 c 3.3s| 1 | 0 | 27260 | - | 31M | 0 |1692 |1269 |1055 | 59 | 6 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
3.35/3.44 c 3.4s| 1 | 0 | 27380 | - | 31M | 0 |1692 |1272 |1063 | 67 | 7 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
3.45/3.55 c 3.5s| 1 | 0 | 27540 | - | 32M | 0 |1692 |1279 |1071 | 75 | 8 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
3.55/3.65 c 3.6s| 1 | 0 | 27681 | - | 32M | 0 |1692 |1281 |1081 | 85 | 9 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
3.65/3.75 c 3.7s| 1 | 0 | 27773 | - | 32M | 0 |1692 |1282 |1088 | 92 | 10 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
3.75/3.81 c 3.8s| 1 | 0 | 27885 | - | 32M | 0 |1692 |1283 |1092 | 100 | 11 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown
8.75/8.84 c 8.8s| 1 | 2 | 50594 | - | 32M | 0 |1692 |1287 |1092 | 100 | 11 | 140 | 16 | 0.000000e+00 | -- | Inf | unknown
90.33/90.60 c 90.6s| 100 | 99 |746408 |7257.8 | 35M | 13 |1692 |1628 |1058 | 162 | 2 | 483 | 16 | 0.000000e+00 | -- | Inf | unknown
155.37/155.87 c 156s| 200 | 199 | 1311k|6450.3 | 37M | 16 |1692 |1982 |1057 | 381 | 1 | 847 | 16 | 0.000000e+00 | -- | Inf | unknown
161.16/161.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
161.16/161.64 c 162s| 300 | 227 | 1363k|4467.4 | 39M | 40 |1692 |2111 |1061 | 406 | 1 | 976 | 16 | 0.000000e+00 | -- | Inf | unknown
163.05/163.50 c 163s| 400 | 233 | 1383k|3397.4 | 40M | 40 |1692 |2318 |1061 | 441 | 1 |1184 | 16 | 0.000000e+00 | -- | Inf | unknown
166.04/166.53 c 167s| 500 | 248 | 1415k|2780.2 | 43M | 43 |1692 |2385 |1056 | 470 | 0 |1252 | 16 | 0.000000e+00 | -- | Inf | unknown
167.14/167.61 c 168s| 600 | 242 | 1425k|2333.6 | 45M | 43 |1692 |2534 |1058 | 509 | 0 |1404 | 16 | 0.000000e+00 | -- | Inf | unknown
168.14/168.63 c 169s| 700 | 243 | 1436k|2014.7 | 45M | 43 |1692 |2625 |1058 | 524 | 0 |1496 | 16 | 0.000000e+00 | -- | Inf | unknown
169.24/169.76 c 170s| 800 | 247 | 1447k|1776.5 | 46M | 43 |1692 |2675 |1056 | 542 | 0 |1548 | 16 | 0.000000e+00 | -- | Inf | unknown
170.73/171.21 c 171s| 900 | 243 | 1461k|1595.0 | 48M | 43 |1692 |2728 |1060 | 583 | 0 |1602 | 16 | 0.000000e+00 | -- | Inf | unknown
171.93/172.44 c 172s| 1000 | 242 | 1474k|1447.9 | 48M | 43 |1692 |2857 |1060 | 602 | 1 |1735 | 16 | 0.000000e+00 | -- | Inf | unknown
173.23/173.73 c 174s| 1100 | 240 | 1488k|1328.9 | 49M | 43 |1692 |2914 |1059 | 625 | 1 |1796 | 16 | 0.000000e+00 | -- | Inf | unknown
174.42/174.95 c 175s| 1200 | 238 | 1500k|1228.6 | 49M | 43 |1692 |2978 |1065 | 650 | 0 |1860 | 16 | 0.000000e+00 | -- | Inf | unknown
175.63/176.19 c 176s| 1300 | 245 | 1513k|1143.8 | 49M | 43 |1692 |3042 |1058 | 676 | 0 |1932 | 16 | 0.000000e+00 | -- | Inf | unknown
176.92/177.47 c 177s| 1400 | 241 | 1527k|1071.7 | 49M | 43 |1692 |3046 |1061 | 702 | 0 |1941 | 16 | 0.000000e+00 | -- | Inf | unknown
178.01/178.59 c 179s| 1500 | 241 | 1538k|1007.7 | 49M | 43 |1692 |3119 |1061 | 722 | 1 |2021 | 16 | 0.000000e+00 | -- | Inf | unknown
179.51/180.09 c 180s| 1600 | 247 | 1554k| 954.9 | 49M | 43 |1692 |3149 |1058 | 735 | 1 |2059 | 16 | 0.000000e+00 | -- | Inf | unknown
180.81/181.37 c 181s| 1700 | 243 | 1568k| 906.8 | 50M | 43 |1692 |3192 |1061 | 741 | 1 |2105 | 16 | 0.000000e+00 | -- | Inf | unknown
182.10/182.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
182.10/182.69 c 183s| 1800 | 239 | 1582k| 864.4 | 50M | 43 |1692 |3206 |1060 | 746 | 0 |2122 | 16 | 0.000000e+00 | -- | Inf | unknown
183.50/184.01 c 184s| 1900 | 247 | 1596k| 825.8 | 50M | 43 |1692 |3268 |1067 | 774 | 0 |2190 | 16 | 0.000000e+00 | -- | Inf | unknown
184.60/185.19 c 185s| 2000 | 244 | 1607k| 790.3 | 51M | 43 |1692 |3302 |1059 | 797 | 1 |2229 | 16 | 0.000000e+00 | -- | Inf | unknown
185.79/186.33 c 186s| 2100 | 243 | 1618k| 757.8 | 52M | 43 |1692 |3408 |1061 | 844 | 1 |2338 | 16 | 0.000000e+00 | -- | Inf | unknown
187.09/187.60 c 188s| 2200 | 241 | 1631k| 729.4 | 53M | 43 |1692 |3431 |1065 | 859 | 0 |2370 | 16 | 0.000000e+00 | -- | Inf | unknown
188.49/189.08 c 189s| 2300 | 239 | 1647k| 704.4 | 53M | 43 |1692 |3441 |1060 | 892 | 1 |2390 | 16 | 0.000000e+00 | -- | Inf | unknown
190.18/190.73 c 191s| 2400 | 244 | 1665k| 682.7 | 53M | 43 |1692 |3447 |1059 | 914 | 0 |2404 | 16 | 0.000000e+00 | -- | Inf | unknown
191.68/192.25 c 192s| 2500 | 250 | 1681k| 661.9 | 53M | 43 |1692 |3457 |1063 | 934 | 1 |2442 | 16 | 0.000000e+00 | -- | Inf | unknown
193.27/193.88 c 194s| 2600 | 248 | 1696k| 642.0 | 54M | 51 |1692 |3531 |1066 | 977 | 0 |2528 | 16 | 0.000000e+00 | -- | Inf | unknown
194.67/195.21 c 195s| 2700 | 254 | 1708k| 622.7 | 54M | 57 |1692 |3586 |1068 |1012 | 0 |2599 | 16 | 0.000000e+00 | -- | Inf | unknown
196.66/197.29 c 197s| 2800 | 248 | 1730k| 608.2 | 55M | 57 |1692 |3594 |1061 |1029 | 1 |2621 | 16 | 0.000000e+00 | -- | Inf | unknown
198.36/198.93 c 199s| 2900 | 248 | 1746k| 592.9 | 55M | 57 |1692 |3667 | 0 |1064 | 0 |2712 | 16 | 0.000000e+00 | -- | Inf | unknown
200.15/200.71 c 201s| 3000 | 250 | 1763k| 578.7 | 56M | 57 |1692 |3714 |1069 |1119 | 1 |2772 | 16 | 0.000000e+00 | -- | Inf | unknown
201.85/202.40 c 202s| 3100 | 252 | 1779k| 565.1 | 57M | 57 |1692 |3724 |1070 |1156 | 1 |2795 | 16 | 0.000000e+00 | -- | Inf | unknown
203.34/203.97 c 204s| 3200 | 248 | 1794k| 552.2 | 57M | 57 |1692 |3718 |1065 |1186 | 1 |2805 | 16 | 0.000000e+00 | -- | Inf | unknown
205.24/205.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
205.24/205.80 c 206s| 3300 | 246 | 1812k| 540.8 | 57M | 57 |1692 |3726 |1063 |1227 | 1 |2838 | 16 | 0.000000e+00 | -- | Inf | unknown
206.83/207.42 c 207s| 3400 | 252 | 1826k| 529.1 | 58M | 57 |1692 |3742 |1065 |1295 | 0 |2862 | 16 | 0.000000e+00 | -- | Inf | unknown
208.63/209.26 c 209s| 3500 | 246 | 1842k| 518.5 | 59M | 57 |1692 |3761 |1068 |1405 | 0 |2897 | 16 | 0.000000e+00 | -- | Inf | unknown
210.32/210.98 c 211s| 3600 | 238 | 1859k| 508.8 | 59M | 57 |1692 |3744 |1061 |1448 | 0 |2917 | 16 | 0.000000e+00 | -- | Inf | unknown
212.72/213.34 c 213s| 3700 | 242 | 1883k| 501.8 | 59M | 57 |1692 |3735 |1064 |1501 | 1 |2936 | 16 | 0.000000e+00 | -- | Inf | unknown
214.21/214.83 c 215s| 3800 | 240 | 1899k| 492.6 | 59M | 57 |1692 |3754 |1069 |1528 | 0 |2984 | 16 | 0.000000e+00 | -- | Inf | unknown
215.51/216.16 c 216s| 3900 | 238 | 1911k| 483.0 | 60M | 57 |1692 |3843 |1064 |1572 | 1 |3094 | 16 | 0.000000e+00 | -- | Inf | unknown
216.90/217.57 c 218s| 4000 | 240 | 1925k| 474.6 | 60M | 57 |1692 |3830 |1065 |1613 | 0 |3103 | 16 | 0.000000e+00 | -- | Inf | unknown
218.41/219.03 c 219s| 4100 | 238 | 1940k| 466.7 | 61M | 57 |1692 |3837 |1065 |1630 | 0 |3126 | 16 | 0.000000e+00 | -- | Inf | unknown
220.20/220.82 c 221s| 4200 | 238 | 1959k| 460.0 | 61M | 57 |1692 |3826 | 0 |1677 | 0 |3140 | 16 | 0.000000e+00 | -- | Inf | unknown
221.79/222.45 c 222s| 4300 | 238 | 1976k| 453.3 | 61M | 57 |1692 |3824 |1063 |1677 | 0 |3168 | 16 | 0.000000e+00 | -- | Inf | unknown
223.69/224.34 c 224s| 4400 | 244 | 1995k| 447.4 | 61M | 57 |1692 |3772 |1066 |1686 | 1 |3183 | 16 | 0.000000e+00 | -- | Inf | unknown
225.28/225.91 c 226s| 4500 | 247 | 2009k| 440.5 | 61M | 57 |1692 |3839 |1067 |1792 | 1 |3267 | 16 | 0.000000e+00 | -- | Inf | unknown
227.28/227.97 c 228s| 4600 | 241 | 2029k| 435.2 | 62M | 57 |1692 |3891 |1065 |1898 | 1 |3330 | 16 | 0.000000e+00 | -- | Inf | unknown
229.17/229.87 c 230s| 4700 | 239 | 2046k| 429.6 | 63M | 57 |1692 |3916 |1079 |2028 | 1 |3385 | 16 | 0.000000e+00 | -- | Inf | unknown
231.37/232.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
231.37/232.04 c 232s| 4800 | 241 | 2066k| 424.8 | 64M | 57 |1692 |3928 |1070 |2154 | 1 |3438 | 16 | 0.000000e+00 | -- | Inf | unknown
233.16/233.82 c 234s| 4900 | 237 | 2084k| 419.8 | 64M | 57 |1692 |3989 |1072 |2202 | 1 |3540 | 16 | 0.000000e+00 | -- | Inf | unknown
234.55/235.23 c 235s| 5000 | 238 | 2098k| 414.1 | 64M | 57 |1692 |4032 |1069 |2247 | 0 |3623 | 16 | 0.000000e+00 | -- | Inf | unknown
236.05/236.79 c 237s| 5100 | 240 | 2113k| 408.9 | 65M | 57 |1692 |4084 |1070 |2315 | 0 |3703 | 16 | 0.000000e+00 | -- | Inf | unknown
237.95/238.60 c 239s| 5200 | 238 | 2129k| 404.3 | 66M | 57 |1692 |4172 |1072 |2377 | 0 |3810 | 16 | 0.000000e+00 | -- | Inf | unknown
239.85/240.52 c 241s| 5300 | 238 | 2148k| 400.1 | 66M | 57 |1692 |4198 |1070 |2453 | 1 |3877 | 16 | 0.000000e+00 | -- | Inf | unknown
241.04/241.75 c 242s| 5400 | 233 | 2160k| 395.1 | 66M | 57 |1692 |4261 |1075 |2472 | 0 |3972 | 16 | 0.000000e+00 | -- | Inf | unknown
242.45/243.13 c 243s| 5500 | 239 | 2175k| 390.5 | 66M | 57 |1692 |4265 |1075 |2506 | 0 |4074 | 16 | 0.000000e+00 | -- | Inf | unknown
243.84/244.52 c 245s| 5600 | 240 | 2189k| 386.1 | 66M | 57 |1692 |4296 |1070 |2539 | 1 |4193 | 16 | 0.000000e+00 | -- | Inf | unknown
245.44/246.13 c 246s| 5700 | 238 | 2206k| 382.3 | 66M | 57 |1692 |4374 |1071 |2581 | 0 |4317 | 16 | 0.000000e+00 | -- | Inf | unknown
246.83/247.55 c 248s| 5800 | 239 | 2222k| 378.4 | 66M | 57 |1692 |4455 |1067 |2595 | 1 |4436 | 16 | 0.000000e+00 | -- | Inf | unknown
248.02/248.76 c 249s| 5900 | 238 | 2234k| 374.1 | 67M | 57 |1692 |4520 |1073 |2647 | 0 |4564 | 16 | 0.000000e+00 | -- | Inf | unknown
249.52/250.26 c 250s| 6000 | 239 | 2250k| 370.5 | 67M | 57 |1692 |4533 |1071 |2692 | 0 |4629 | 16 | 0.000000e+00 | -- | Inf | unknown
250.92/251.68 c 252s| 6100 | 241 | 2265k| 366.9 | 67M | 57 |1692 |4672 |1071 |2743 | 0 |4813 | 16 | 0.000000e+00 | -- | Inf | unknown
252.51/253.24 c 253s| 6200 | 240 | 2281k| 363.6 | 67M | 57 |1692 |4793 |1070 |2820 | 1 |4980 | 16 | 0.000000e+00 | -- | Inf | unknown
254.01/254.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
254.01/254.78 c 255s| 6300 | 239 | 2298k| 360.5 | 67M | 57 |1692 |4806 |1070 |2836 | 0 |5042 | 16 | 0.000000e+00 | -- | Inf | unknown
255.60/256.39 c 256s| 6400 | 241 | 2315k| 357.5 | 67M | 57 |1692 |4933 |1073 |2895 | 1 |5189 | 16 | 0.000000e+00 | -- | Inf | unknown
257.20/257.91 c 258s| 6500 | 233 | 2331k| 354.4 | 67M | 57 |1692 |4945 |1070 |2968 | 0 |5256 | 16 | 0.000000e+00 | -- | Inf | unknown
258.40/259.18 c 259s| 6600 | 237 | 2344k| 351.0 | 67M | 57 |1692 |5007 |1069 |3032 | 1 |5353 | 16 | 0.000000e+00 | -- | Inf | unknown
259.79/260.51 c 260s| 6700 | 236 | 2358k| 347.8 | 67M | 57 |1692 |5074 |1069 |3060 | 1 |5442 | 16 | 0.000000e+00 | -- | Inf | unknown
261.19/261.92 c 262s| 6800 | 240 | 2372k| 344.9 | 67M | 57 |1692 |5109 |1069 |3112 | 1 |5490 | 16 | 0.000000e+00 | -- | Inf | unknown
262.39/263.14 c 263s| 6900 | 240 | 2385k| 341.7 | 68M | 57 |1692 |5183 |1076 |3121 | 1 |5570 | 16 | 0.000000e+00 | -- | Inf | unknown
263.88/264.67 c 265s| 7000 | 241 | 2401k| 339.2 | 68M | 57 |1692 |5170 |1069 |3165 | 1 |5675 | 16 | 0.000000e+00 | -- | Inf | unknown
265.18/265.96 c 266s| 7100 | 236 | 2414k| 336.2 | 68M | 57 |1692 |5151 |1068 |3234 | 1 |5757 | 16 | 0.000000e+00 | -- | Inf | unknown
267.07/267.86 c 268s| 7200 | 236 | 2435k| 334.4 | 68M | 57 |1692 |5056 |1071 |3393 | 0 |5906 | 16 | 0.000000e+00 | -- | Inf | unknown
268.77/269.54 c 270s| 7300 | 241 | 2453k| 332.3 | 68M | 57 |1692 |4906 |1059 |3438 | 1 |6003 | 16 | 0.000000e+00 | -- | Inf | unknown
269.87/270.61 c 271s| 7400 | 239 | 2463k| 329.2 | 68M | 57 |1692 |4875 |1067 |3487 | 1 |6075 | 16 | 0.000000e+00 | -- | Inf | unknown
270.96/271.74 c 272s| 7500 | 235 | 2474k| 326.3 | 68M | 57 |1692 |4973 |1066 |3525 | 1 |6200 | 16 | 0.000000e+00 | -- | Inf | unknown
272.46/273.21 c 273s| 7600 | 242 | 2489k| 324.0 | 68M | 57 |1692 |4607 |1061 |3600 | 1 |6300 | 16 | 0.000000e+00 | -- | Inf | unknown
273.16/273.92 c 274s| 7700 | 235 | 2496k| 320.6 | 68M | 57 |1692 |4650 |1061 |3632 | 0 |6415 | 16 | 0.000000e+00 | -- | Inf | unknown
274.26/275.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
274.26/275.04 c 275s| 7800 | 236 | 2507k| 318.0 | 68M | 57 |1692 |4584 |1065 |3649 | 0 |6483 | 16 | 0.000000e+00 | -- | Inf | unknown
275.26/276.08 c 276s| 7900 | 236 | 2517k| 315.2 | 69M | 57 |1692 |4387 |1068 |3693 | 1 |6620 | 16 | 0.000000e+00 | -- | Inf | unknown
277.25/278.08 c 278s| 8000 | 236 | 2539k| 314.0 | 69M | 57 |1692 |4294 |1073 |3768 | 0 |6692 | 16 | 0.000000e+00 | -- | Inf | unknown
278.94/279.74 c 280s| 8100 | 238 | 2556k| 312.3 | 69M | 57 |1692 |4334 |1074 |3850 | 1 |6796 | 16 | 0.000000e+00 | -- | Inf | unknown
281.93/282.72 c 283s| 8200 | 248 | 2586k| 312.1 | 69M | 57 |1692 |4250 |1069 |3882 | 1 |6865 | 16 | 0.000000e+00 | -- | Inf | unknown
284.02/284.84 c 285s| 8300 | 244 | 2608k| 310.9 | 69M | 57 |1692 |4259 |1062 |3938 | 0 |7034 | 16 | 0.000000e+00 | -- | Inf | unknown
285.52/286.38 c 286s| 8400 | 257 | 2623k| 309.1 | 69M | 57 |1692 |4177 |1070 |3973 | 1 |7114 | 16 | 0.000000e+00 | -- | Inf | unknown
287.51/288.32 c 288s| 8500 | 255 | 2644k| 307.8 | 69M | 57 |1692 |4146 |1061 |3980 | 1 |7171 | 16 | 0.000000e+00 | -- | Inf | unknown
289.11/289.93 c 290s| 8600 | 252 | 2660k| 306.1 | 69M | 57 |1692 |4021 | 0 |3995 | 0 |7245 | 16 | 0.000000e+00 | -- | Inf | unknown
290.61/291.49 c 291s| 8700 | 251 | 2674k| 304.3 | 69M | 57 |1692 |4045 |1061 |4030 | 1 |7304 | 16 | 0.000000e+00 | -- | Inf | unknown
292.10/293.00 c 293s| 8800 | 249 | 2689k| 302.5 | 69M | 57 |1692 |4101 |1066 |4071 | 0 |7368 | 16 | 0.000000e+00 | -- | Inf | unknown
293.50/294.35 c 294s| 8900 | 248 | 2703k| 300.6 | 69M | 57 |1692 |4162 |1069 |4082 | 1 |7467 | 16 | 0.000000e+00 | -- | Inf | unknown
294.99/295.87 c 296s| 9000 | 249 | 2718k| 299.0 | 69M | 57 |1692 |4238 |1069 |4099 | 1 |7576 | 16 | 0.000000e+00 | -- | Inf | unknown
296.19/297.08 c 297s| 9100 | 250 | 2731k| 297.1 | 69M | 57 |1692 |4305 |1064 |4120 | 1 |7691 | 16 | 0.000000e+00 | -- | Inf | unknown
297.39/298.28 c 298s| 9200 | 255 | 2743k| 295.2 | 69M | 57 |1692 |4368 |1062 |4143 | 1 |7774 | 16 | 0.000000e+00 | -- | Inf | unknown
298.88/299.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
298.88/299.78 c 300s| 9300 | 249 | 2757k| 293.6 | 69M | 57 |1692 |4444 |1072 |4184 | 0 |7866 | 16 | 0.000000e+00 | -- | Inf | unknown
300.98/301.89 c 302s| 9400 | 249 | 2779k| 292.7 | 69M | 57 |1692 |4464 |1062 |4207 | 0 |7898 | 16 | 0.000000e+00 | -- | Inf | unknown
302.47/303.39 c 303s| 9500 | 249 | 2793k| 291.2 | 70M | 57 |1692 |4504 |1066 |4253 | 1 |7964 | 16 | 0.000000e+00 | -- | Inf | unknown
303.97/304.87 c 305s| 9600 | 253 | 2807k| 289.6 | 70M | 57 |1692 |4553 |1065 |4300 | 1 |8036 | 16 | 0.000000e+00 | -- | Inf | unknown
305.36/306.22 c 306s| 9700 | 251 | 2821k| 288.1 | 70M | 57 |1692 |4587 |1065 |4313 | 1 |8085 | 16 | 0.000000e+00 | -- | Inf | unknown
307.06/307.99 c 308s| 9800 | 249 | 2839k| 287.0 | 70M | 57 |1692 |4609 |1066 |4326 | 0 |8129 | 16 | 0.000000e+00 | -- | Inf | unknown
308.76/309.63 c 310s| 9900 | 249 | 2855k| 285.7 | 70M | 57 |1692 |4661 |1065 |4367 | 1 |8197 | 16 | 0.000000e+00 | -- | Inf | unknown
310.65/311.53 c 312s| 10000 | 249 | 2873k| 284.6 | 70M | 57 |1692 |4697 |1071 |4424 | 0 |8249 | 16 | 0.000000e+00 | -- | Inf | unknown
312.84/313.75 c 314s| 10100 | 247 | 2892k| 283.7 | 70M | 57 |1692 |4739 |1076 |4526 | 0 |8301 | 16 | 0.000000e+00 | -- | Inf | unknown
314.15/315.06 c 315s| 10200 | 249 | 2903k| 282.0 | 70M | 57 |1692 |4796 |1066 |4577 | 1 |8392 | 16 | 0.000000e+00 | -- | Inf | unknown
315.34/316.25 c 316s| 10300 | 251 | 2914k| 280.3 | 70M | 57 |1692 |4835 |1070 |4603 | 0 |8463 | 16 | 0.000000e+00 | -- | Inf | unknown
317.63/318.55 c 319s| 10400 | 249 | 2934k| 279.5 | 71M | 57 |1692 |4857 |1078 |4711 | 1 |8501 | 16 | 0.000000e+00 | -- | Inf | unknown
319.43/320.34 c 320s| 10500 | 249 | 2951k| 278.4 | 71M | 57 |1692 |4857 |1078 |4765 | 1 |8523 | 16 | 0.000000e+00 | -- | Inf | unknown
321.62/322.53 c 323s| 10600 | 249 | 2970k| 277.7 | 71M | 57 |1692 |4843 |1065 |4876 | 1 |8534 | 16 | 0.000000e+00 | -- | Inf | unknown
323.32/324.24 c 324s| 10700 | 247 | 2986k| 276.5 | 71M | 57 |1692 |4872 |1079 |4954 | 1 |8591 | 16 | 0.000000e+00 | -- | Inf | unknown
324.71/325.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
324.71/325.61 c 326s| 10800 | 250 | 2997k| 275.0 | 71M | 57 |1692 |4911 |1068 |5027 | 0 |8661 | 16 | 0.000000e+00 | -- | Inf | unknown
326.51/327.43 c 327s| 10900 | 249 | 3012k| 273.8 | 72M | 57 |1692 |4960 |1069 |5162 | 1 |8731 | 16 | 0.000000e+00 | -- | Inf | unknown
327.80/328.77 c 329s| 11000 | 255 | 3023k| 272.4 | 73M | 57 |1692 |5023 |1065 |5232 | 1 |8812 | 16 | 0.000000e+00 | -- | Inf | unknown
329.60/330.56 c 331s| 11100 | 251 | 3036k| 271.0 | 74M | 57 |1692 |5115 |1068 |5361 | 0 |8909 | 16 | 0.000000e+00 | -- | Inf | unknown
330.89/331.82 c 332s| 11200 | 252 | 3046k| 269.5 | 74M | 57 |1692 |5203 |1063 |5426 | 0 |9016 | 16 | 0.000000e+00 | -- | Inf | unknown
332.49/333.43 c 333s| 11300 | 252 | 3060k| 268.4 | 74M | 57 |1692 |5252 |1065 |5492 | 1 |9088 | 16 | 0.000000e+00 | -- | Inf | unknown
334.09/335.02 c 335s| 11400 | 250 | 3074k| 267.2 | 75M | 57 |1692 |5334 | 0 |5573 | 0 |9193 | 16 | 0.000000e+00 | -- | Inf | unknown
335.38/336.36 c 336s| 11500 | 252 | 3085k| 265.9 | 75M | 57 |1692 |5358 |1068 |5644 | 1 |9247 | 16 | 0.000000e+00 | -- | Inf | unknown
336.98/337.90 c 338s| 11600 | 250 | 3098k| 264.8 | 75M | 57 |1692 |5412 |1069 |5711 | 0 |9327 | 16 | 0.000000e+00 | -- | Inf | unknown
338.27/339.26 c 339s| 11700 | 250 | 3110k| 263.5 | 75M | 57 |1692 |5470 |1071 |5793 | 1 |9408 | 16 | 0.000000e+00 | -- | Inf | unknown
339.77/340.73 c 341s| 11800 | 248 | 3124k| 262.5 | 75M | 57 |1692 |5484 |1069 |5863 | 0 |9455 | 16 | 0.000000e+00 | -- | Inf | unknown
342.96/343.90 c 344s| 11900 | 256 | 3156k| 262.9 | 75M | 57 |1692 |5282 |1064 |5909 | 1 |9508 | 16 | 0.000000e+00 | -- | Inf | unknown
344.46/345.43 c 345s| 12000 | 262 | 3171k| 262.0 | 75M | 57 |1692 |5207 |1067 |5918 | 1 |9549 | 16 | 0.000000e+00 | -- | Inf | unknown
346.25/347.20 c 347s| 12100 | 258 | 3190k| 261.4 | 75M | 57 |1692 |5200 |1067 |5940 | 1 |9611 | 16 | 0.000000e+00 | -- | Inf | unknown
347.85/348.89 c 349s| 12200 | 262 | 3207k| 260.6 | 75M | 57 |1692 |5108 |1064 |5967 | 1 |9701 | 16 | 0.000000e+00 | -- | Inf | unknown
349.25/350.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
349.25/350.26 c 350s| 12300 | 272 | 3220k| 259.6 | 75M | 57 |1692 |5115 |1067 |5987 | 1 |9764 | 16 | 0.000000e+00 | -- | Inf | unknown
350.44/351.45 c 351s| 12400 | 267 | 3232k| 258.4 | 75M | 57 |1692 |5178 |1067 |6014 | 0 |9867 | 16 | 0.000000e+00 | -- | Inf | unknown
351.64/352.65 c 353s| 12500 | 266 | 3244k| 257.3 | 75M | 57 |1692 |5252 |1068 |6022 | 1 |9987 | 16 | 0.000000e+00 | -- | Inf | unknown
352.84/353.81 c 354s| 12600 | 271 | 3254k| 256.1 | 75M | 57 |1692 |5401 |1066 |6050 | 0 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
354.14/355.15 c 355s| 12700 | 273 | 3267k| 255.1 | 75M | 57 |1692 |5480 |1066 |6073 | 0 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
356.23/357.22 c 357s| 12800 | 273 | 3284k| 254.5 | 75M | 57 |1692 |5539 |1066 |6171 | 1 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
358.13/359.17 c 359s| 12900 | 271 | 3303k| 253.9 | 75M | 57 |1692 |5597 |1072 |6259 | 1 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
360.02/361.02 c 361s| 13000 | 269 | 3321k| 253.3 | 75M | 57 |1692 |5666 |1075 |6305 | 1 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
361.61/362.62 c 363s| 13100 | 267 | 3337k| 252.6 | 75M | 57 |1692 |5741 |1077 |6348 | 2 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
363.60/364.65 c 365s| 13200 | 264 | 3357k| 252.3 | 75M | 57 |1692 |5772 |1071 |6377 | 0 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
365.60/366.69 c 367s| 13300 | 272 | 3374k| 251.6 | 75M | 57 |1692 |5743 |1069 |6466 | 0 | 10k| 16 | 0.000000e+00 | -- | Inf | unknown
367.49/368.53 c 369s| 13400 | 270 | 3392k| 251.1 | 75M | 57 |1692 |5836 |1070 |6514 | 0 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
369.29/370.37 c 370s| 13500 | 268 | 3410k| 250.6 | 75M | 57 |1692 |5855 |1064 |6528 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
371.68/372.76 c 373s| 13600 | 276 | 3435k| 250.6 | 75M | 57 |1692 |5884 |1068 |6621 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
373.47/374.52 c 375s| 13700 | 271 | 3451k| 249.9 | 75M | 57 |1692 |5971 |1070 |6672 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
375.37/376.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
375.37/376.44 c 376s| 13800 | 271 | 3471k| 249.6 | 75M | 57 |1692 |5970 |1068 |6690 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
377.07/378.14 c 378s| 13900 | 273 | 3489k| 249.0 | 75M | 57 |1692 |5994 |1071 |6762 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
378.86/379.91 c 380s| 14000 | 270 | 3506k| 248.5 | 75M | 57 |1692 |6037 |1072 |6807 | 1 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
380.35/381.50 c 381s| 14100 | 269 | 3522k| 247.8 | 75M | 57 |1692 |6076 |1069 |6826 | 0 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
382.45/383.50 c 383s| 14200 | 269 | 3542k| 247.5 | 75M | 57 |1692 |6068 |1069 |6848 | 0 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
384.74/385.88 c 386s| 14300 | 270 | 3565k| 247.4 | 76M | 57 |1692 |6155 |1070 |6920 | 0 | 11k| 16 | 0.000000e+00 | -- | Inf | unknown
387.43/388.58 c 389s| 14400 | 273 | 3592k| 247.5 | 76M | 57 |1692 |6088 |1075 |7026 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
390.12/391.27 c 391s| 14500 | 273 | 3620k| 247.8 | 76M | 57 |1692 |6058 |1070 |7081 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
392.42/393.55 c 394s| 14600 | 270 | 3644k| 247.7 | 76M | 57 |1692 |6082 | 0 |7182 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
394.21/395.36 c 395s| 14700 | 270 | 3663k| 247.3 | 76M | 57 |1692 |6107 |1071 |7214 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
395.91/397.06 c 397s| 14800 | 269 | 3679k| 246.8 | 76M | 57 |1692 |6203 |1069 |7241 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
397.30/398.49 c 398s| 14900 | 271 | 3693k| 246.1 | 76M | 57 |1692 |6281 |1071 |7277 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
398.70/399.84 c 400s| 15000 | 271 | 3707k| 245.3 | 76M | 57 |1692 |6321 |1071 |7293 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
400.29/401.45 c 401s| 15100 | 273 | 3722k| 244.7 | 76M | 57 |1692 |6367 |1070 |7322 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
402.28/403.44 c 403s| 15200 | 271 | 3742k| 244.4 | 76M | 57 |1692 |6406 |1071 |7354 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
403.68/404.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
403.68/404.88 c 405s| 15300 | 270 | 3757k| 243.8 | 76M | 57 |1692 |6448 |1069 |7373 | 1 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
405.28/406.44 c 406s| 15400 | 268 | 3773k| 243.2 | 76M | 57 |1692 |6505 |1071 |7395 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
406.88/408.04 c 408s| 15500 | 274 | 3789k| 242.7 | 76M | 57 |1692 |6561 |1073 |7448 | 0 | 12k| 16 | 0.000000e+00 | -- | Inf | unknown
408.76/409.96 c 410s| 15600 | 272 | 3808k| 242.4 | 76M | 57 |1692 |6658 |1070 |7518 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
410.76/411.94 c 412s| 15700 | 273 | 3828k| 242.1 | 76M | 57 |1692 |6774 |1071 |7569 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
412.35/413.53 c 414s| 15800 | 271 | 3843k| 241.5 | 76M | 57 |1692 |6849 |1074 |7670 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
414.25/415.42 c 415s| 15900 | 269 | 3863k| 241.3 | 76M | 57 |1692 |6881 |1072 |7742 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
416.34/417.54 c 418s| 16000 | 265 | 3884k| 241.1 | 76M | 57 |1692 |6890 |1072 |7800 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
418.34/419.53 c 420s| 16100 | 265 | 3904k| 240.8 | 76M | 57 |1692 |6910 |1072 |7892 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
420.73/421.97 c 422s| 16200 | 263 | 3930k| 240.9 | 76M | 57 |1692 |6724 |1067 |7995 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
422.62/423.80 c 424s| 16300 | 267 | 3949k| 240.6 | 76M | 57 |1692 |6704 |1075 |8051 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
425.12/426.31 c 426s| 16400 | 261 | 3975k| 240.7 | 76M | 57 |1692 |6709 |1072 |8117 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
426.92/428.13 c 428s| 16500 | 267 | 3994k| 240.4 | 76M | 57 |1692 |6650 |1071 |8172 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
429.20/430.49 c 430s| 16600 | 269 | 4019k| 240.5 | 76M | 57 |1692 |6638 |1073 |8298 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
431.10/432.30 c 432s| 16700 | 266 | 4037k| 240.1 | 76M | 57 |1692 |6594 |1071 |8387 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
432.69/433.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
432.69/433.92 c 434s| 16800 | 268 | 4054k| 239.7 | 76M | 57 |1692 |6660 |1071 |8453 | 0 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
434.49/435.75 c 436s| 16900 | 268 | 4073k| 239.4 | 76M | 57 |1692 |6699 |1071 |8475 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
436.28/437.55 c 438s| 17000 | 264 | 4091k| 239.0 | 76M | 57 |1692 |6739 |1071 |8505 | 1 | 13k| 16 | 0.000000e+00 | -- | Inf | unknown
438.57/439.86 c 440s| 17100 | 268 | 4115k| 239.0 | 76M | 57 |1692 |6759 |1072 |8558 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
440.67/441.97 c 442s| 17200 | 270 | 4137k| 238.9 | 76M | 57 |1692 |6775 |1067 |8601 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
442.66/443.93 c 444s| 17300 | 269 | 4157k| 238.7 | 76M | 57 |1692 |6808 |1079 |8692 | 2 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
444.76/446.00 c 446s| 17400 | 267 | 4178k| 238.6 | 76M | 57 |1692 |6884 |1070 |8732 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
446.55/447.87 c 448s| 17500 | 267 | 4198k| 238.3 | 76M | 57 |1692 |6908 |1070 |8754 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
448.64/449.97 c 450s| 17600 | 269 | 4218k| 238.1 | 76M | 57 |1692 |6929 |1074 |8846 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
451.04/452.31 c 452s| 17700 | 267 | 4241k| 238.1 | 76M | 57 |1692 |6961 |1075 |8918 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
453.43/454.71 c 455s| 17800 | 267 | 4264k| 238.1 | 76M | 57 |1692 |6963 |1070 |8997 | 2 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
455.22/456.55 c 457s| 17900 | 267 | 4283k| 237.8 | 76M | 57 |1692 |6863 |1071 |9025 | 1 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
457.12/458.40 c 458s| 18000 | 265 | 4302k| 237.5 | 76M | 57 |1692 |6815 |1075 |9089 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
459.41/460.72 c 461s| 18100 | 265 | 4325k| 237.4 | 76M | 57 |1692 |6756 |1070 |9181 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
461.60/462.97 c 463s| 18200 | 267 | 4348k| 237.4 | 76M | 57 |1692 |6789 | 0 |9246 | 0 | 14k| 16 | 0.000000e+00 | -- | Inf | unknown
463.80/465.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
463.80/465.14 c 465s| 18300 | 268 | 4370k| 237.3 | 76M | 57 |1692 |6898 |1075 |9283 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
465.80/467.19 c 467s| 18400 | 264 | 4390k| 237.1 | 76M | 57 |1692 |6941 |1064 |9321 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
467.59/468.97 c 469s| 18500 | 262 | 4409k| 236.9 | 76M | 57 |1692 |7020 |1067 |9377 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
469.68/471.01 c 471s| 18600 | 266 | 4430k| 236.7 | 76M | 57 |1692 |7015 |1071 |9410 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
471.47/472.81 c 473s| 18700 | 270 | 4448k| 236.4 | 76M | 57 |1692 |7078 |1072 |9455 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
473.27/474.66 c 475s| 18800 | 267 | 4467k| 236.2 | 76M | 57 |1692 |7153 |1072 |9488 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
475.06/476.40 c 476s| 18900 | 263 | 4485k| 235.9 | 77M | 57 |1692 |7225 |1075 |9506 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
476.66/478.08 c 478s| 19000 | 268 | 4501k| 235.5 | 77M | 57 |1692 |7338 |1071 |9550 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
478.66/480.07 c 480s| 19100 | 266 | 4522k| 235.3 | 77M | 57 |1692 |7311 |1071 |9558 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
480.75/482.15 c 482s| 19200 | 262 | 4543k| 235.2 | 77M | 57 |1692 |7328 |1071 |9592 | 0 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
483.24/484.63 c 485s| 19300 | 262 | 4570k| 235.4 | 77M | 57 |1692 |7313 |1072 |9653 | 1 | 15k| 16 | 0.000000e+00 | -- | Inf | unknown
485.74/487.19 c 487s| 19400 | 263 | 4595k| 235.4 | 77M | 57 |1692 |7272 |1070 |9715 | 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
488.32/489.77 c 490s| 19500 | 262 | 4620k| 235.5 | 77M | 57 |1692 |7130 |1077 |9800 | 2 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
490.22/491.67 c 492s| 19600 | 266 | 4639k| 235.3 | 77M | 57 |1692 |7137 |1072 |9847 | 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
492.62/494.06 c 494s| 19700 | 266 | 4663k| 235.3 | 77M | 57 |1692 |7071 |1072 |9949 | 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
494.61/496.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
494.61/496.09 c 496s| 19800 | 260 | 4685k| 235.2 | 77M | 57 |1692 |6930 |1071 |9997 | 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
496.50/497.95 c 498s| 19900 | 266 | 4703k| 235.0 | 77M | 57 |1692 |6779 |1068 | 10k| 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
497.89/499.31 c 499s| 20000 | 266 | 4717k| 234.5 | 77M | 57 |1692 |6829 |1068 | 10k| 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
499.49/500.97 c 501s| 20100 | 265 | 4733k| 234.1 | 77M | 57 |1692 |6808 |1067 | 10k| 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
500.88/502.39 c 502s| 20200 | 263 | 4746k| 233.6 | 77M | 57 |1692 |6827 |1071 | 10k| 1 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
502.78/504.28 c 504s| 20300 | 261 | 4766k| 233.4 | 77M | 57 |1692 |6879 |1070 | 10k| 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
504.87/506.33 c 506s| 20400 | 267 | 4787k| 233.3 | 77M | 57 |1692 |6780 |1072 | 10k| 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
507.36/508.80 c 509s| 20500 | 267 | 4811k| 233.4 | 77M | 57 |1692 |6813 |1071 | 10k| 0 | 16k| 16 | 0.000000e+00 | -- | Inf | unknown
509.76/511.24 c 511s| 20600 | 263 | 4836k| 233.4 | 77M | 57 |1692 |6849 |1073 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
511.45/512.94 c 513s| 20700 | 263 | 4853k| 233.2 | 77M | 57 |1692 |6882 |1075 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
513.65/515.18 c 515s| 20800 | 263 | 4875k| 233.1 | 77M | 57 |1692 |6911 |1075 | 10k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
515.65/517.18 c 517s| 20900 | 271 | 4896k| 233.0 | 77M | 57 |1692 |6885 |1073 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
518.13/519.65 c 520s| 21000 | 261 | 4921k| 233.1 | 77M | 57 |1692 |6909 |1072 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
520.22/521.71 c 522s| 21100 | 259 | 4942k| 232.9 | 78M | 57 |1692 |6918 |1076 | 10k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
521.82/523.34 c 523s| 21200 | 259 | 4958k| 232.6 | 78M | 57 |1692 |6972 |1069 | 10k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
523.62/525.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
523.62/525.19 c 525s| 21300 | 257 | 4977k| 232.4 | 78M | 57 |1692 |7006 |1076 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
525.71/527.28 c 527s| 21400 | 257 | 4998k| 232.3 | 78M | 57 |1692 |7004 |1081 | 11k| 2 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
527.61/529.14 c 529s| 21500 | 259 | 5018k| 232.1 | 78M | 57 |1692 |7046 |1071 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
529.80/531.38 c 531s| 21600 | 259 | 5041k| 232.1 | 78M | 57 |1692 |7095 |1069 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
531.89/533.45 c 533s| 21700 | 256 | 5063k| 232.1 | 78M | 57 |1692 |7156 |1073 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
533.88/535.41 c 535s| 21800 | 256 | 5083k| 231.9 | 78M | 57 |1692 |7181 |1074 | 11k| 0 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
535.88/537.43 c 537s| 21900 | 265 | 5102k| 231.7 | 78M | 57 |1692 |7146 |1070 | 11k| 1 | 17k| 16 | 0.000000e+00 | -- | Inf | unknown
537.07/538.61 c 539s| 22000 | 265 | 5113k| 231.2 | 78M | 57 |1692 |7243 |1066 | 11k| 0 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
539.27/540.81 c 541s| 22100 | 264 | 5134k| 231.1 | 78M | 57 |1692 |7160 |1069 | 11k| 0 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
540.66/542.28 c 542s| 22200 | 260 | 5148k| 230.7 | 78M | 57 |1692 |7277 |1071 | 11k| 0 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
542.16/543.72 c 544s| 22300 | 262 | 5161k| 230.2 | 78M | 57 |1692 |7361 |1077 | 11k| 1 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
543.75/545.37 c 545s| 22400 | 262 | 5174k| 229.8 | 78M | 57 |1692 |7524 |1069 | 11k| 1 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
545.45/547.04 c 547s| 22500 | 257 | 5186k| 229.3 | 78M | 57 |1692 |7651 |1070 | 11k| 0 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
546.84/548.40 c 548s| 22600 | 265 | 5198k| 228.8 | 78M | 57 |1692 |7699 |1081 | 11k| 1 | 18k| 16 | 0.000000e+00 | -- | Inf | unknown
548.04/549.60 c 550s| 22700 | 260 | 5209k| 228.3 | 78M | 57 |1692 |7808 |1069 | 11k| 1 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
549.44/551.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
549.44/551.02 c 551s| 22800 | 266 | 5220k| 227.8 | 79M | 57 |1692 |7905 |1076 | 11k| 1 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
550.73/552.31 c 552s| 22900 | 264 | 5231k| 227.3 | 79M | 57 |1692 |7991 | 0 | 12k| 0 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
551.83/553.48 c 553s| 23000 | 259 | 5242k| 226.7 | 79M | 57 |1692 |8127 |1069 | 12k| 0 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
553.22/554.83 c 555s| 23100 | 263 | 5255k| 226.3 | 79M | 57 |1692 |8312 |1072 | 12k| 1 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
554.22/555.82 c 556s| 23200 | 267 | 5264k| 225.7 | 79M | 57 |1692 |8362 |1072 | 12k| 1 | 19k| 16 | 0.000000e+00 | -- | Inf | unknown
555.02/556.66 c 557s| 23300 | 267 | 5271k| 225.1 | 79M | 57 |1692 |8471 |1072 | 12k| 0 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
555.91/557.50 c 557s| 23400 | 265 | 5278k| 224.4 | 80M | 57 |1692 |8630 |1072 | 12k| 0 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
557.11/558.70 c 559s| 23500 | 265 | 5289k| 223.9 | 80M | 57 |1692 |8688 |1074 | 12k| 1 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
558.41/560.01 c 560s| 23600 | 269 | 5301k| 223.5 | 80M | 57 |1692 |8732 |1076 | 12k| 1 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
559.41/561.01 c 561s| 23700 | 264 | 5309k| 222.9 | 80M | 57 |1692 |8675 |1074 | 12k| 1 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
560.51/562.17 c 562s| 23800 | 259 | 5321k| 222.4 | 80M | 57 |1692 |8753 |1080 | 12k| 0 | 20k| 16 | 0.000000e+00 | -- | Inf | unknown
561.90/563.58 c 564s| 23900 | 270 | 5334k| 222.0 | 81M | 57 |1692 |8767 |1074 | 12k| 1 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
562.99/564.66 c 565s| 24000 | 269 | 5343k| 221.5 | 81M | 57 |1692 |8867 |1072 | 12k| 1 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
563.99/565.68 c 566s| 24100 | 270 | 5352k| 220.9 | 81M | 57 |1692 |8968 |1070 | 12k| 1 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
565.18/566.89 c 567s| 24200 | 264 | 5363k| 220.5 | 81M | 57 |1692 |9110 |1073 | 12k| 0 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
566.68/568.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
566.68/568.32 c 568s| 24300 | 274 | 5377k| 220.2 | 81M | 57 |1692 |9210 |1073 | 12k| 0 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
567.98/569.60 c 570s| 24400 | 275 | 5388k| 219.7 | 81M | 57 |1692 |9266 |1083 | 12k| 1 | 21k| 16 | 0.000000e+00 | -- | Inf | unknown
569.38/571.02 c 571s| 24500 | 273 | 5401k| 219.3 | 81M | 57 |1692 |9330 |1076 | 12k| 0 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
570.77/572.42 c 572s| 24600 | 270 | 5413k| 218.9 | 81M | 57 |1692 |9375 |1072 | 12k| 0 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
571.86/573.59 c 574s| 24700 | 270 | 5424k| 218.5 | 81M | 57 |1692 |9466 |1080 | 12k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
573.37/575.09 c 575s| 24800 | 273 | 5438k| 218.2 | 81M | 57 |1692 |9498 |1074 | 12k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
575.15/576.85 c 577s| 24900 | 270 | 5455k| 218.0 | 82M | 57 |1692 |9428 |1074 | 13k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
576.65/578.37 c 578s| 25000 | 272 | 5469k| 217.7 | 82M | 57 |1692 |9415 |1075 | 13k| 0 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
578.14/579.81 c 580s| 25100 | 270 | 5481k| 217.3 | 82M | 57 |1692 |9446 |1073 | 13k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
579.64/581.39 c 581s| 25200 | 272 | 5494k| 216.9 | 82M | 57 |1692 |9533 |1073 | 13k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
581.24/582.97 c 583s| 25300 | 267 | 5508k| 216.7 | 82M | 57 |1692 |9511 | 0 | 13k| 0 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
582.53/584.28 c 584s| 25400 | 269 | 5521k| 216.3 | 82M | 57 |1692 |9541 |1086 | 13k| 1 | 22k| 16 | 0.000000e+00 | -- | Inf | unknown
583.83/585.56 c 586s| 25500 | 265 | 5532k| 215.9 | 82M | 57 |1692 |9663 |1073 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
585.22/586.97 c 587s| 25600 | 265 | 5544k| 215.5 | 82M | 57 |1692 |9732 |1077 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
586.72/588.45 c 588s| 25700 | 263 | 5558k| 215.2 | 82M | 57 |1692 |9753 |1089 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
588.32/590.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
588.32/590.04 c 590s| 25800 | 263 | 5572k| 214.9 | 82M | 57 |1692 |9738 |1083 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
589.91/591.61 c 592s| 25900 | 263 | 5586k| 214.6 | 82M | 57 |1692 |9749 |1072 | 13k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
591.10/592.87 c 593s| 26000 | 261 | 5598k| 214.2 | 82M | 57 |1692 |9764 |1074 | 14k| 0 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
592.20/593.94 c 594s| 26100 | 261 | 5608k| 213.8 | 82M | 57 |1692 |9882 |1072 | 14k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
593.60/595.31 c 595s| 26200 | 258 | 5621k| 213.5 | 82M | 57 |1692 |9930 |1074 | 14k| 1 | 23k| 16 | 0.000000e+00 | -- | Inf | unknown
594.99/596.78 c 597s| 26300 | 259 | 5636k| 213.3 | 82M | 57 |1692 |9302 |1063 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
596.69/598.40 c 598s| 26400 | 260 | 5650k| 213.0 | 83M | 57 |1692 |9035 |1067 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
598.29/600.05 c 600s| 26500 | 264 | 5667k| 212.8 | 83M | 57 |1692 |8910 |1067 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
600.38/602.14 c 602s| 26600 | 262 | 5686k| 212.7 | 83M | 57 |1692 |8850 |1069 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
602.17/603.97 c 604s| 26700 | 262 | 5702k| 212.5 | 83M | 57 |1692 |8840 |1071 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
604.47/606.24 c 606s| 26800 | 264 | 5721k| 212.4 | 83M | 57 |1692 |8820 |1074 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
606.96/608.76 c 609s| 26900 | 261 | 5744k| 212.5 | 83M | 57 |1692 |8820 |1077 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
609.26/611.04 c 611s| 27000 | 260 | 5765k| 212.5 | 83M | 57 |1692 |8815 |1067 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
614.44/616.25 c 616s| 27100 | 269 | 5812k| 213.5 | 83M | 57 |1692 |8523 |1063 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
615.93/617.79 c 618s| 27200 | 265 | 5828k| 213.3 | 83M | 57 |1692 |8416 |1067 | 14k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
617.13/618.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
617.13/618.92 c 619s| 27300 | 267 | 5838k| 212.9 | 83M | 57 |1692 |8393 |1064 | 14k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
618.62/620.48 c 620s| 27400 | 271 | 5853k| 212.6 | 83M | 57 |1692 |8346 |1067 | 14k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
619.82/621.70 c 622s| 27500 | 275 | 5864k| 212.3 | 83M | 57 |1692 |8304 |1069 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
621.22/623.00 c 623s| 27600 | 273 | 5876k| 211.9 | 83M | 57 |1692 |8273 |1073 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
622.71/624.52 c 625s| 27700 | 269 | 5890k| 211.6 | 83M | 57 |1692 |8186 | 0 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
624.21/626.02 c 626s| 27800 | 269 | 5904k| 211.4 | 83M | 57 |1692 |8142 |1068 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
625.80/627.66 c 628s| 27900 | 273 | 5917k| 211.1 | 83M | 57 |1692 |8147 |1086 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
627.40/629.28 c 629s| 28000 | 269 | 5931k| 210.9 | 84M | 57 |1692 |8154 |1068 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
629.20/631.02 c 631s| 28100 | 271 | 5948k| 210.7 | 84M | 57 |1692 |8147 |1069 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
630.29/632.18 c 632s| 28200 | 272 | 5959k| 210.4 | 84M | 57 |1692 |8180 |1065 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
631.58/633.44 c 633s| 28300 | 272 | 5972k| 210.1 | 84M | 57 |1692 |8176 |1076 | 15k| 1 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
633.08/634.90 c 635s| 28400 | 270 | 5986k| 209.8 | 84M | 57 |1692 |8211 |1069 | 15k| 0 | 24k| 16 | 0.000000e+00 | -- | Inf | unknown
634.38/636.28 c 636s| 28500 | 272 | 5999k| 209.6 | 84M | 57 |1692 |8222 |1068 | 15k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
636.07/637.93 c 638s| 28600 | 272 | 6015k| 209.4 | 85M | 57 |1692 |8254 |1072 | 15k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
638.37/640.20 c 640s| 28700 | 268 | 6033k| 209.3 | 86M | 57 |1692 |8286 |1068 | 15k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
639.96/641.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
639.96/641.83 c 642s| 28800 | 270 | 6050k| 209.1 | 86M | 57 |1692 |8352 |1070 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
641.56/643.46 c 643s| 28900 | 278 | 6066k| 208.9 | 86M | 57 |1692 |8376 |1081 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
643.16/645.06 c 645s| 29000 | 274 | 6080k| 208.7 | 86M | 57 |1692 |8416 |1069 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
644.75/646.69 c 647s| 29100 | 274 | 6094k| 208.5 | 86M | 57 |1692 |8437 |1069 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
646.35/648.20 c 648s| 29200 | 277 | 6107k| 208.2 | 86M | 57 |1692 |8483 |1077 | 16k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
647.64/649.54 c 650s| 29300 | 273 | 6118k| 207.9 | 86M | 57 |1692 |8541 |1080 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
649.04/650.92 c 651s| 29400 | 268 | 6131k| 207.6 | 86M | 57 |1692 |8580 |1069 | 16k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
650.93/652.89 c 653s| 29500 | 266 | 6150k| 207.6 | 86M | 57 |1692 |8592 |1069 | 16k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
652.03/653.93 c 654s| 29600 | 269 | 6161k| 207.2 | 86M | 57 |1692 |8612 |1074 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
653.23/655.18 c 655s| 29700 | 268 | 6173k| 206.9 | 86M | 57 |1692 |8624 |1075 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
655.02/656.96 c 657s| 29800 | 268 | 6191k| 206.8 | 86M | 57 |1692 |8606 |1069 | 16k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
656.72/658.63 c 659s| 29900 | 270 | 6205k| 206.6 | 87M | 57 |1692 |8590 |1087 | 16k| 1 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
658.41/660.35 c 660s| 30000 | 267 | 6219k| 206.4 | 87M | 57 |1692 |8614 |1071 | 17k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
659.81/661.75 c 662s| 30100 | 269 | 6234k| 206.2 | 87M | 57 |1692 |8574 |1073 | 17k| 0 | 25k| 16 | 0.000000e+00 | -- | Inf | unknown
676.47/678.44 c 678s| 30200 | 307 | 6384k| 210.5 | 87M | 57 |1692 |7709 |1073 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
678.18/680.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
678.18/680.13 c 680s| 30300 | 309 | 6401k| 210.4 | 87M | 57 |1692 |7692 |1073 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
680.07/682.02 c 682s| 30400 | 305 | 6418k| 210.2 | 87M | 57 |1692 |7716 |1089 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
681.86/683.80 c 684s| 30500 | 303 | 6436k| 210.1 | 87M | 57 |1692 |7654 |1073 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
683.56/685.58 c 686s| 30600 | 301 | 6453k| 210.0 | 87M | 57 |1692 |7626 |1084 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
686.15/688.11 c 688s| 30700 | 311 | 6475k| 210.0 | 88M | 57 |1692 |7426 |1073 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
687.84/689.84 c 690s| 30800 | 321 | 6491k| 209.9 | 88M | 57 |1692 |7152 |1070 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
688.94/690.96 c 691s| 30900 | 319 | 6503k| 209.6 | 88M | 57 |1692 |7169 |1069 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
690.44/692.49 c 692s| 31000 | 318 | 6519k| 209.4 | 88M | 57 |1692 |6977 |1068 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
691.63/693.69 c 694s| 31100 | 319 | 6531k| 209.1 | 88M | 57 |1692 |7044 |1069 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
693.63/695.61 c 696s| 31200 | 318 | 6552k| 209.1 | 88M | 57 |1692 |7044 |1070 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
695.13/697.15 c 697s| 31300 | 320 | 6568k| 209.0 | 88M | 57 |1692 |6996 |1069 | 17k| 0 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
696.42/698.41 c 698s| 31400 | 324 | 6581k| 208.7 | 88M | 57 |1692 |7062 |1071 | 17k| 1 | 26k| 16 | 0.000000e+00 | -- | Inf | unknown
697.62/699.65 c 700s| 31500 | 322 | 6594k| 208.5 | 88M | 57 |1692 |7142 |1068 | 17k| 0 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
699.02/701.02 c 701s| 31600 | 328 | 6608k| 208.2 | 88M | 57 |1692 |7164 |1071 | 17k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
700.21/702.29 c 702s| 31700 | 321 | 6621k| 208.0 | 88M | 57 |1692 |7270 |1071 | 17k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
701.81/703.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
701.81/703.83 c 704s| 31800 | 317 | 6636k| 207.8 | 88M | 57 |1692 |7300 |1069 | 17k| 0 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
703.11/705.18 c 705s| 31900 | 319 | 6650k| 207.6 | 88M | 57 |1692 |7342 |1070 | 17k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
704.20/706.25 c 706s| 32000 | 319 | 6661k| 207.3 | 88M | 57 |1692 |7373 |1068 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
705.40/707.49 c 707s| 32100 | 319 | 6673k| 207.0 | 88M | 57 |1692 |7495 |1068 | 18k| 0 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
706.69/708.78 c 709s| 32200 | 325 | 6686k| 206.8 | 88M | 57 |1692 |7480 |1069 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
708.19/710.26 c 710s| 32300 | 324 | 6702k| 206.6 | 88M | 57 |1692 |7531 |1067 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
709.39/711.44 c 711s| 32400 | 317 | 6714k| 206.4 | 88M | 57 |1692 |7575 |1068 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
710.88/712.97 c 713s| 32500 | 319 | 6729k| 206.2 | 88M | 57 |1692 |7613 |1073 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
712.78/714.88 c 715s| 32600 | 317 | 6747k| 206.1 | 88M | 57 |1692 |7621 |1070 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
714.08/716.14 c 716s| 32700 | 327 | 6760k| 205.9 | 88M | 57 |1692 |7648 |1069 | 18k| 1 | 27k| 16 | 0.000000e+00 | -- | Inf | unknown
715.37/717.42 c 717s| 32800 | 323 | 6771k| 205.6 | 88M | 57 |1692 |7787 |1077 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
716.47/718.52 c 719s| 32900 | 323 | 6781k| 205.3 | 88M | 57 |1692 |7884 |1072 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
717.86/719.95 c 720s| 33000 | 321 | 6793k| 205.0 | 88M | 57 |1692 |7944 |1070 | 18k| 1 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
719.36/721.49 c 721s| 33100 | 317 | 6808k| 204.8 | 88M | 57 |1692 |7973 |1070 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
720.76/722.88 c 723s| 33200 | 321 | 6821k| 204.6 | 88M | 57 |1692 |8017 |1071 | 18k| 1 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
722.55/724.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
722.55/724.63 c 725s| 33300 | 323 | 6838k| 204.5 | 88M | 57 |1692 |8065 |1069 | 18k| 1 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
724.05/726.12 c 726s| 33400 | 327 | 6852k| 204.3 | 88M | 57 |1692 |8115 |1079 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
725.25/727.35 c 727s| 33500 | 322 | 6864k| 204.1 | 88M | 57 |1692 |8212 |1070 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
726.74/728.87 c 729s| 33600 | 322 | 6878k| 203.9 | 88M | 57 |1692 |8287 |1076 | 18k| 0 | 28k| 16 | 0.000000e+00 | -- | Inf | unknown
728.24/730.38 c 730s| 33700 | 324 | 6893k| 203.7 | 88M | 57 |1692 |8375 |1074 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
729.94/732.07 c 732s| 33800 | 326 | 6909k| 203.6 | 88M | 57 |1692 |8437 |1081 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
731.83/733.93 c 734s| 33900 | 328 | 6926k| 203.5 | 88M | 57 |1692 |8497 |1084 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
733.42/735.55 c 736s| 34000 | 324 | 6941k| 203.4 | 88M | 57 |1692 |8579 |1074 | 18k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
735.52/737.69 c 738s| 34100 | 322 | 6961k| 203.3 | 88M | 57 |1692 |8633 |1081 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
736.92/739.00 c 739s| 34200 | 326 | 6974k| 203.1 | 88M | 57 |1692 |8640 |1074 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
738.31/740.50 c 740s| 34300 | 324 | 6989k| 203.0 | 88M | 57 |1692 |8698 |1081 | 18k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
740.21/742.35 c 742s| 34400 | 324 | 7006k| 202.9 | 88M | 57 |1692 |8727 |1087 | 18k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
741.80/743.99 c 744s| 34500 | 327 | 7020k| 202.7 | 88M | 57 |1692 |8749 |1085 | 19k| 1 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
743.40/745.55 c 746s| 34600 | 323 | 7037k| 202.6 | 88M | 57 |1692 |8763 | 0 | 19k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
745.19/747.38 c 747s| 34700 | 321 | 7052k| 202.4 | 88M | 57 |1692 |8797 |1084 | 19k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
747.19/749.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
747.19/749.33 c 749s| 34800 | 325 | 7069k| 202.3 | 88M | 57 |1692 |8774 |1081 | 19k| 0 | 29k| 16 | 0.000000e+00 | -- | Inf | unknown
748.59/750.72 c 751s| 34900 | 325 | 7081k| 202.1 | 88M | 57 |1692 |8792 |1085 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
750.18/752.35 c 752s| 35000 | 323 | 7097k| 202.0 | 88M | 57 |1692 |8858 |1088 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
752.08/754.24 c 754s| 35100 | 323 | 7113k| 201.9 | 88M | 57 |1692 |8838 |1079 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
753.47/755.65 c 756s| 35200 | 327 | 7127k| 201.7 | 88M | 57 |1692 |8883 |1079 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
755.87/758.03 c 758s| 35300 | 319 | 7147k| 201.7 | 88M | 57 |1692 |8906 |1081 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
757.87/760.04 c 760s| 35400 | 325 | 7164k| 201.6 | 89M | 57 |1692 |8922 |1078 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
759.56/761.79 c 762s| 35500 | 327 | 7178k| 201.4 | 89M | 57 |1692 |8955 |1081 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
761.35/763.51 c 763s| 35600 | 327 | 7193k| 201.3 | 89M | 57 |1692 |8964 |1087 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
763.05/765.23 c 765s| 35700 | 323 | 7209k| 201.2 | 89M | 57 |1692 |8982 |1078 | 19k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
765.04/767.21 c 767s| 35800 | 323 | 7224k| 201.0 | 89M | 57 |1692 |9010 |1087 | 19k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
766.84/769.01 c 769s| 35900 | 323 | 7239k| 200.9 | 89M | 57 |1692 |9070 |1086 | 20k| 0 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
768.63/770.80 c 771s| 36000 | 324 | 7255k| 200.8 | 89M | 57 |1692 |9115 |1088 | 20k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
770.43/772.61 c 773s| 36100 | 322 | 7271k| 200.7 | 89M | 57 |1692 |9171 |1088 | 20k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
772.02/774.24 c 774s| 36200 | 320 | 7287k| 200.5 | 89M | 57 |1692 |9225 |1075 | 20k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
773.42/775.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
773.42/775.61 c 776s| 36300 | 326 | 7299k| 200.3 | 89M | 57 |1692 |9185 |1075 | 20k| 1 | 30k| 16 | 0.000000e+00 | -- | Inf | unknown
775.32/777.50 c 777s| 36400 | 321 | 7316k| 200.2 | 89M | 57 |1692 |9160 |1097 | 20k| 2 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
776.92/779.12 c 779s| 36500 | 319 | 7330k| 200.1 | 89M | 57 |1692 |9081 |1087 | 20k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
778.41/780.66 c 781s| 36600 | 319 | 7346k| 200.0 | 89M | 57 |1692 |9011 |1066 | 20k| 1 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
779.81/782.05 c 782s| 36700 | 319 | 7359k| 199.8 | 89M | 57 |1692 |9064 |1083 | 20k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
781.40/783.60 c 784s| 36800 | 319 | 7374k| 199.6 | 89M | 57 |1692 |9065 |1078 | 20k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
783.30/785.51 c 785s| 36900 | 321 | 7392k| 199.6 | 89M | 57 |1692 |9053 |1086 | 20k| 1 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
785.19/787.46 c 787s| 37000 | 317 | 7410k| 199.5 | 89M | 57 |1692 |9067 |1074 | 20k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
786.59/788.88 c 789s| 37100 | 319 | 7424k| 199.4 | 89M | 57 |1692 |9098 |1073 | 21k| 1 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
788.38/790.67 c 791s| 37200 | 319 | 7439k| 199.3 | 89M | 57 |1692 |9114 |1084 | 21k| 0 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
790.08/792.37 c 792s| 37300 | 322 | 7457k| 199.2 | 89M | 57 |1692 |9140 |1079 | 21k| 1 | 31k| 16 | 0.000000e+00 | -- | Inf | unknown
791.47/793.79 c 794s| 37400 | 322 | 7470k| 199.0 | 89M | 57 |1692 |9167 |1079 | 21k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
793.07/795.36 c 795s| 37500 | 320 | 7484k| 198.9 | 89M | 57 |1692 |9181 |1081 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
795.07/797.38 c 797s| 37600 | 319 | 7501k| 198.8 | 89M | 57 |1692 |9232 |1089 | 21k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
797.16/799.49 c 799s| 37700 | 321 | 7520k| 198.8 | 89M | 57 |1692 |9251 |1080 | 21k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
799.65/801.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
799.65/801.92 c 802s| 37800 | 319 | 7541k| 198.8 | 89M | 57 |1692 |9229 |1077 | 21k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
801.45/803.77 c 804s| 37900 | 323 | 7557k| 198.7 | 89M | 57 |1692 |9220 |1077 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
802.95/805.25 c 805s| 38000 | 321 | 7571k| 198.5 | 89M | 57 |1692 |9226 |1081 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
804.64/806.99 c 807s| 38100 | 321 | 7588k| 198.4 | 89M | 57 |1692 |9193 |1081 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
806.84/809.13 c 809s| 38200 | 323 | 7607k| 198.4 | 89M | 57 |1692 |9164 |1077 | 21k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
808.53/810.84 c 811s| 38300 | 321 | 7621k| 198.3 | 89M | 57 |1692 |9250 |1085 | 22k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
810.13/812.41 c 812s| 38400 | 323 | 7635k| 198.1 | 89M | 57 |1692 |9292 |1092 | 22k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
812.12/814.45 c 814s| 38500 | 319 | 7654k| 198.1 | 89M | 57 |1692 |9341 |1092 | 22k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
814.42/816.70 c 817s| 38600 | 323 | 7674k| 198.1 | 89M | 57 |1692 |9369 |1079 | 22k| 0 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
816.91/819.23 c 819s| 38700 | 325 | 7696k| 198.2 | 90M | 57 |1692 |9389 |1094 | 22k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
819.00/821.32 c 821s| 38800 | 323 | 7715k| 198.1 | 90M | 57 |1692 |9454 |1079 | 22k| 1 | 32k| 16 | 0.000000e+00 | -- | Inf | unknown
821.70/824.09 c 824s| 38900 | 321 | 7740k| 198.3 | 90M | 57 |1692 |9479 |1091 | 22k| 1 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
823.59/825.90 c 826s| 39000 | 323 | 7755k| 198.2 | 90M | 57 |1692 |9536 |1090 | 22k| 0 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
825.49/827.82 c 828s| 39100 | 319 | 7773k| 198.1 | 90M | 57 |1692 |9507 |1081 | 22k| 0 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
826.98/829.30 c 829s| 39200 | 319 | 7788k| 198.0 | 90M | 57 |1692 |9481 |1081 | 23k| 1 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
831.97/834.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
831.97/834.31 c 834s| 39300 | 320 | 7834k| 198.7 | 90M | 57 |1692 |8667 |1086 | 23k| 0 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
844.64/847.08 c 847s| 39400 | 345 | 7900k| 199.8 | 91M | 57 |1692 |7818 |1084 | 23k| 2 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
845.74/848.14 c 848s| 39500 | 345 | 7911k| 199.6 | 91M | 57 |1692 |7740 |1062 | 23k| 1 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
846.93/849.34 c 849s| 39600 | 345 | 7924k| 199.4 | 91M | 57 |1692 |7799 |1062 | 23k| 0 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
847.93/850.32 c 850s| 39700 | 347 | 7934k| 199.2 | 91M | 57 |1692 |7831 |1063 | 23k| 1 | 33k| 16 | 0.000000e+00 | -- | Inf | unknown
848.93/851.31 c 851s| 39800 | 348 | 7943k| 198.9 | 91M | 57 |1692 |7931 |1062 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
850.82/853.20 c 853s| 39900 | 351 | 7962k| 198.9 | 91M | 57 |1692 |7862 |1076 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
853.21/855.68 c 856s| 40000 | 344 | 7987k| 199.0 | 91M | 57 |1692 |7850 |1079 | 23k| 2 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
854.62/857.07 c 857s| 40100 | 348 | 8001k| 198.8 | 91M | 57 |1692 |7655 |1075 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
855.91/858.38 c 858s| 40200 | 358 | 8013k| 198.7 | 91M | 57 |1692 |7632 |1076 | 23k| 1 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
857.50/859.90 c 860s| 40300 | 352 | 8029k| 198.5 | 91M | 57 |1692 |7696 |1074 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
858.90/861.33 c 861s| 40400 | 357 | 8042k| 198.4 | 91M | 57 |1692 |7713 |1074 | 23k| 1 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
860.60/863.04 c 863s| 40500 | 355 | 8056k| 198.2 | 91M | 57 |1692 |7755 |1081 | 23k| 1 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
862.29/864.72 c 865s| 40600 | 353 | 8071k| 198.1 | 91M | 57 |1692 |7834 |1082 | 23k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
863.79/866.24 c 866s| 40700 | 354 | 8085k| 198.0 | 91M | 57 |1692 |7861 |1089 | 24k| 0 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
865.38/867.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
865.38/867.83 c 868s| 40800 | 353 | 8100k| 197.9 | 91M | 57 |1692 |7902 |1080 | 24k| 1 | 34k| 16 | 0.000000e+00 | -- | Inf | unknown
866.98/869.40 c 869s| 40900 | 352 | 8116k| 197.8 | 91M | 57 |1692 |7945 |1078 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
868.58/871.01 c 871s| 41000 | 354 | 8131k| 197.7 | 91M | 57 |1692 |7971 |1083 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
870.07/872.53 c 873s| 41100 | 353 | 8145k| 197.5 | 91M | 57 |1692 |8014 |1078 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
871.47/873.95 c 874s| 41200 | 349 | 8158k| 197.3 | 91M | 57 |1692 |8049 |1071 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
872.86/875.30 c 875s| 41300 | 351 | 8171k| 197.2 | 91M | 57 |1692 |8072 |1082 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
874.66/877.20 c 877s| 41400 | 351 | 8190k| 197.2 | 91M | 57 |1692 |8007 |1082 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
876.75/879.24 c 879s| 41500 | 351 | 8209k| 197.1 | 91M | 57 |1692 |7996 |1086 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
878.55/881.07 c 881s| 41600 | 347 | 8227k| 197.1 | 91M | 57 |1692 |7988 |1077 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
880.04/882.57 c 883s| 41700 | 347 | 8241k| 197.0 | 91M | 57 |1692 |8017 |1080 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
881.74/884.23 c 884s| 41800 | 347 | 8258k| 196.9 | 91M | 57 |1692 |7974 |1082 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
883.64/886.16 c 886s| 41900 | 355 | 8275k| 196.8 | 91M | 57 |1692 |7967 |1089 | 24k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
884.93/887.42 c 887s| 42000 | 353 | 8286k| 196.6 | 91M | 57 |1692 |8053 |1076 | 24k| 0 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
886.33/888.89 c 889s| 42100 | 355 | 8299k| 196.5 | 92M | 57 |1692 |8110 |1079 | 25k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
888.32/890.80 c 891s| 42200 | 353 | 8316k| 196.4 | 92M | 57 |1692 |8121 |1077 | 25k| 1 | 35k| 16 | 0.000000e+00 | -- | Inf | unknown
890.02/892.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
890.02/892.58 c 893s| 42300 | 350 | 8333k| 196.4 | 92M | 57 |1692 |8223 |1083 | 25k| 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
891.52/894.10 c 894s| 42400 | 350 | 8348k| 196.3 | 92M | 57 |1692 |8176 |1081 | 25k| 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
893.41/895.96 c 896s| 42500 | 350 | 8364k| 196.2 | 92M | 57 |1692 |8260 |1083 | 25k| 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
895.61/898.19 c 898s| 42600 | 343 | 8386k| 196.2 | 92M | 57 |1692 |8271 |1080 | 25k| 0 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
897.40/899.98 c 900s| 42700 | 347 | 8404k| 196.2 | 92M | 57 |1692 |8267 |1077 | 25k| 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
899.09/901.67 c 902s| 42800 | 343 | 8421k| 196.1 | 92M | 57 |1692 |8247 |1078 | 25k| 0 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
900.79/903.33 c 903s| 42900 | 346 | 8436k| 196.0 | 92M | 57 |1692 |8077 |1059 | 25k| 2 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
909.07/911.62 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
909.07/911.66 c (run 1, node 42987) performing user restart
909.07/911.66 c
909.07/911.67 c (restart) converted 60 cuts from the global cut pool into linear constraints
909.07/911.67 c
909.07/911.69 c presolving:
909.17/911.70 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
909.17/911.74 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
909.17/911.75 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
909.17/911.76 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
909.27/911.86 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
909.47/912.01 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
909.47/912.09 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
909.67/912.28 c presolving (8 rounds: 8 fast, 7 medium, 7 exhaustive):
909.67/912.28 c 0 deleted vars, 1746 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 11 changed sides, 3501 changed coefficients
909.67/912.28 c 0 implications, 1053 cliques
909.67/912.28 c presolved problem has 1692 variables (1692 bin, 0 int, 0 impl, 0 cont) and 5450 constraints
909.67/912.28 c 167 constraints of type <knapsack>
909.67/912.28 c 1005 constraints of type <setppc>
909.67/912.28 c 89 constraints of type <linear>
909.67/912.28 c 4189 constraints of type <logicor>
909.67/912.28 c transformed objective value is always integral (scale: 1)
909.67/912.28 c Presolving Time: 0.70
909.67/912.28 c
911.06/913.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
911.06/913.66 c 914s| 1 | 0 | 8521k| - | 108M | 0 |1692 |5520 |1050 | 0 | 0 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
911.46/914.05 c 914s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5527 |1062 | 12 | 1 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
911.56/914.16 c 914s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5527 |1072 | 22 | 2 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
911.66/914.25 c 914s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5524 |1080 | 30 | 3 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
911.76/914.34 c 914s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5523 |1088 | 38 | 4 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
911.86/914.43 c 914s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5518 |1096 | 46 | 5 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
911.96/914.53 c 915s| 1 | 0 | 8522k| - | 108M | 0 |1692 |5515 |1101 | 51 | 6 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
912.06/914.63 c 915s| 1 | 0 | 8523k| - | 108M | 0 |1692 |5507 |1112 | 62 | 7 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
912.16/914.74 c 915s| 1 | 0 | 8523k| - | 108M | 0 |1692 |5497 |1118 | 68 | 8 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
912.26/914.83 c 915s| 1 | 0 | 8523k| - | 109M | 0 |1692 |5496 |1127 | 77 | 9 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
912.36/914.94 c 915s| 1 | 0 | 8523k| - | 109M | 0 |1692 |5487 |1133 | 83 | 10 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
912.36/914.99 c 915s| 1 | 0 | 8523k| - | 109M | 0 |1692 |5468 |1143 | 93 | 11 | 36k| 16 | 0.000000e+00 | -- | Inf | unknown
919.14/921.72 c 922s| 1 | 2 | 8558k| - | 109M | 0 |1692 |5374 |1143 | 93 | 11 | 36k| 35 | 0.000000e+00 | -- | Inf | unknown
933.20/935.85 c 936s| 100 | 50 | 8680k| 200.5 | 110M | 40 |1692 |5310 |1051 | 114 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
941.78/944.45 c 944s| 200 | 59 | 8758k| 201.8 | 110M | 40 |1692 |5329 |1055 | 181 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
943.58/946.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
943.58/946.20 c 946s| 300 | 59 | 8775k| 201.8 | 110M | 40 |1692 |5370 |1057 | 240 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
945.38/948.08 c 948s| 400 | 65 | 8794k| 201.8 | 110M | 40 |1692 |5391 |1055 | 280 | 0 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
946.67/949.37 c 949s| 500 | 69 | 8807k| 201.6 | 110M | 40 |1692 |5421 |1055 | 301 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
947.97/950.63 c 951s| 600 | 69 | 8819k| 201.4 | 110M | 40 |1692 |5478 |1057 | 334 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
949.47/952.15 c 952s| 700 | 65 | 8835k| 201.3 | 110M | 40 |1692 |5479 |1058 | 356 | 0 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
950.96/953.64 c 954s| 800 | 75 | 8850k| 201.2 | 110M | 40 |1692 |5539 |1059 | 388 | 1 | 37k| 35 | 0.000000e+00 | -- | Inf | unknown
953.46/956.11 c 956s| 900 | 84 | 8876k| 201.3 | 110M | 40 |1692 |5602 |1059 | 429 | 0 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
954.65/957.30 c 957s| 1000 | 84 | 8887k| 201.1 | 110M | 43 |1692 |5629 |1053 | 462 | 0 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
956.15/958.89 c 959s| 1100 | 84 | 8902k| 201.0 | 110M | 43 |1692 |5757 |1059 | 499 | 0 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
957.54/960.23 c 960s| 1200 | 83 | 8916k| 200.8 | 110M | 43 |1692 |5843 |1059 | 549 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
959.04/961.76 c 962s| 1300 | 82 | 8931k| 200.7 | 110M | 43 |1692 |5891 |1066 | 603 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
960.54/963.21 c 963s| 1400 | 81 | 8946k| 200.6 | 110M | 43 |1692 |5993 |1054 | 610 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
962.13/964.80 c 965s| 1500 | 79 | 8962k| 200.5 | 110M | 43 |1692 |6035 |1064 | 650 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
963.33/966.04 c 966s| 1600 | 82 | 8973k| 200.3 | 110M | 43 |1692 |6124 |1058 | 715 | 1 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
964.92/967.63 c 968s| 1700 | 85 | 8987k| 200.2 | 110M | 43 |1692 |6149 |1060 | 814 | 0 | 38k| 35 | 0.000000e+00 | -- | Inf | unknown
966.22/968.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
966.22/968.91 c 969s| 1800 | 86 | 8999k| 200.0 | 110M | 43 |1692 |6207 |1066 | 869 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
968.12/970.85 c 971s| 1900 | 83 | 9019k| 200.0 | 110M | 43 |1692 |6255 |1061 | 918 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
969.81/972.58 c 973s| 2000 | 78 | 9037k| 200.0 | 110M | 43 |1692 |6234 |1061 | 955 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
971.31/974.08 c 974s| 2100 | 79 | 9051k| 199.8 | 110M | 43 |1692 |6262 |1060 | 973 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
973.31/976.01 c 976s| 2200 | 81 | 9072k| 199.9 | 110M | 43 |1692 |6254 |1061 |1046 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
974.70/977.44 c 977s| 2300 | 83 | 9087k| 199.7 | 110M | 43 |1692 |6394 |1059 |1097 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
975.50/978.24 c 978s| 2400 | 77 | 9094k| 199.5 | 110M | 43 |1692 |6401 |1059 |1127 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
976.49/979.24 c 979s| 2500 | 77 | 9104k| 199.3 | 110M | 43 |1692 |6395 |1059 |1137 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
977.30/980.05 c 980s| 2600 | 79 | 9113k| 199.0 | 110M | 43 |1692 |6376 |1059 |1158 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
978.69/981.49 c 981s| 2700 | 75 | 9129k| 198.9 | 110M | 43 |1692 |6370 |1059 |1195 | 0 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
979.78/982.53 c 983s| 2800 | 83 | 9140k| 198.7 | 110M | 43 |1692 |6388 |1065 |1260 | 1 | 39k| 35 | 0.000000e+00 | -- | Inf | unknown
980.29/983.00 c * 983s| 2876 | 0 | 9142k| 198.4 | LP | 46 |1692 |6447 |1066 |1307 | 3 | 39k| 35 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
980.29/983.01 c
980.29/983.01 c SCIP Status : problem is solved [optimal solution found]
980.29/983.01 c Solving Time (sec) : 982.99
980.29/983.01 c Solving Nodes : 2876 (total of 45863 nodes in 2 runs)
980.29/983.01 c Primal Bound : +0.00000000000000e+00 (1 solutions)
980.29/983.01 c Dual Bound : +0.00000000000000e+00
980.29/983.01 c Gap : 0.00 %
980.29/983.01 s SATISFIABLE
980.29/983.01 v -x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 x1724 x1723 x1722 -x1721 -x1720 x1719
980.29/983.01 v -x1718 -x1717 x1716 -x1715 x1714 -x1713 -x1712 -x1711 x1710 -x1709 -x1708 x1707 -x1706 -x1705 x1704 -x1703 -x1702 -x1701 -x1700
980.29/983.01 v x1699 -x1698 x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682
980.29/983.01 v x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663
980.29/983.01 v x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645 -x1644
980.29/983.01 v -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 x1626
980.29/983.01 v x1625 x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 x1613 -x1612 -x1611 x1610 -x1609 -x1608
980.29/983.01 v -x1607 x1606 -x1605 -x1604 -x1603 -x1602 x1601 -x1600 -x1599 x1598 x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 x1589
980.29/983.01 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 x1579 -x1578 -x1577 x1576 x1575 -x1574 -x1573 -x1572 x1571 -x1570
980.29/983.01 v -x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 x1558 x1557 -x1556 -x1555 -x1554 -x1553 -x1552
980.29/983.01 v -x1551 x1550 -x1549 x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533
980.29/983.01 v -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
980.29/983.01 v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498
980.29/983.01 v -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
980.29/983.01 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
980.29/983.01 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
980.29/983.01 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 -x1426
980.29/983.01 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
980.29/983.01 v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 x1393 -x1392 -x1391 -x1390
980.29/983.01 v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372
980.29/983.01 v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354
980.29/983.01 v -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336
980.29/983.01 v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318
980.29/983.01 v x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300
980.29/983.01 v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
980.29/983.01 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264
980.29/983.01 v -x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
980.29/983.01 v -x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228
980.29/983.01 v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
980.29/983.01 v -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
980.29/983.01 v -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
980.29/983.01 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156
980.29/983.01 v -x1155 -x1154 x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138
980.29/983.01 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
980.29/983.01 v -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102
980.29/983.01 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084
980.29/983.01 v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
980.29/983.01 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048
980.29/983.01 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030
980.29/983.01 v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012
980.29/983.01 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993
980.29/983.01 v -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972
980.29/983.01 v -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951
980.29/983.01 v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
980.29/983.01 v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909
980.29/983.01 v -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888
980.29/983.01 v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867
980.29/983.01 v -x866 -x865 x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846
980.29/983.01 v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825
980.29/983.01 v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
980.29/983.01 v -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
980.29/983.01 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
980.29/983.01 v -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741
980.29/983.01 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720
980.29/983.01 v x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 -x700 -x699
980.29/983.01 v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678
980.29/983.01 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657
980.29/983.01 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
980.29/983.01 v -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
980.29/983.01 v -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594
980.29/983.01 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
980.29/983.01 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
980.29/983.01 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
980.29/983.01 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
980.29/983.01 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
980.29/983.01 v -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
980.29/983.01 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447
980.29/983.01 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426
980.29/983.01 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
980.29/983.01 v -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
980.29/983.01 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363
980.29/983.01 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
980.29/983.01 v x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
980.29/983.01 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
980.29/983.01 v -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
980.29/983.01 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
980.29/983.01 v -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
980.29/983.01 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
980.29/983.01 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
980.29/983.01 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174
980.29/983.01 v -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
980.29/983.01 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
980.29/983.01 v -x132 x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
980.29/983.01 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
980.29/983.01 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
980.29/983.01 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
980.29/983.01 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
980.29/983.01 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
980.29/983.01 c SCIP Status : problem is solved [optimal solution found]
980.29/983.01 c Total Time : 982.99
980.29/983.01 c solving : 982.99
980.29/983.01 c presolving : 0.70 (included in solving)
980.29/983.01 c reading : 0.01 (included in solving)
980.29/983.01 c copying : 0.68 (43 #copies) (minimal 0.01, maximal 0.05, average 0.02)
980.29/983.01 c Original Problem :
980.29/983.01 c Problem name : HOME/instance-4503178-1751169647.opb
980.29/983.01 c Variables : 1737 (1737 binary, 0 integer, 0 implicit integer, 0 continuous)
980.29/983.01 c Constraints : 1041 initial, 1041 maximal
980.29/983.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
980.29/983.01 c Presolved Problem :
980.29/983.01 c Problem name : t_HOME/instance-4503178-1751169647.opb
980.29/983.01 c Variables : 1692 (1692 binary, 0 integer, 0 implicit integer, 0 continuous)
980.29/983.01 c Constraints : 5450 initial, 6447 maximal
980.29/983.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
980.29/983.01 c Nonzeros : 173383 constraint, 13832 clique table
980.29/983.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
980.29/983.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
980.29/983.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
980.29/983.01 c gateextraction : 0.02 0.00 7 0 0 0 0 0 0 0 0 0
980.29/983.01 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
980.29/983.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
980.29/983.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
980.29/983.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
980.29/983.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
980.29/983.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
980.29/983.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
980.29/983.01 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
980.29/983.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
980.29/983.01 c knapsack : 0.02 0.00 32 0 0 0 0 0 0 0 0 0
980.29/983.01 c setppc : 0.01 0.00 32 24 21 0 0 0 148 0 21 21
980.29/983.01 c linear : 0.02 0.00 23 0 0 0 0 0 53 0 53 0
980.29/983.01 c logicor : 0.44 0.10 19 0 0 0 0 0 1590 0 0 3501
980.29/983.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
980.29/983.01 c root node : - - - 0 - - 0 - - - - -
980.29/983.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
980.29/983.01 c benderslp : 0 0 0 0 23343 0 0 2491 0 0 0 0 0 0 0
980.29/983.01 c integral : 0 0 0 0 23343 0 0 2491 0 0 0 0 0 0 46684
980.29/983.01 c knapsack : 167+ 188 22 175327 1 0 0 2484 431423 125 142533 0 0 0 0
980.29/983.01 c setppc : 1005+ 1055 22 175202 1 0 0 27 2762276 808 1000175 0 0 0 0
980.29/983.01 c linear : 89 89 23 174391 1 0 0 3 311526 355 137585 1 1 0 0
980.29/983.01 c logicor : 4189+ 5124 22 76076 0 0 0 0 49789 310 39980 4 3 0 0
980.29/983.01 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
980.29/983.01 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
980.29/983.01 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
980.29/983.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
980.29/983.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c integral : 5.26 0.00 0.00 0.00 5.26 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c knapsack : 1.17 0.00 0.03 0.84 0.00 0.00 0.00 0.04 0.26 0.00
980.29/983.01 c setppc : 2.53 0.00 0.00 2.11 0.00 0.00 0.00 0.00 0.42 0.01
980.29/983.01 c linear : 1.05 0.00 0.00 0.77 0.00 0.00 0.00 0.00 0.28 0.00
980.29/983.01 c logicor : 1.67 0.10 0.01 1.46 0.00 0.00 0.00 0.00 0.10 0.00
980.29/983.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
980.29/983.01 c dualfix : 2 0 0 0
980.29/983.01 c genvbounds : 0 0 0 0
980.29/983.01 c nlobbt : 0 0 0 0
980.29/983.01 c obbt : 0 0 0 0
980.29/983.01 c probing : 0 0 0 0
980.29/983.01 c pseudoobj : 0 0 0 0
980.29/983.01 c redcost : 0 0 0 0
980.29/983.01 c rootredcost : 0 0 0 0
980.29/983.01 c symmetry : 156910 0 0 290
980.29/983.01 c vbounds : 111983 0 0 0
980.29/983.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
980.29/983.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
980.29/983.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
980.29/983.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
980.29/983.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
980.29/983.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
980.29/983.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
980.29/983.01 c symmetry : 9.88 0.00 0.02 9.86 0.00 0.00
980.29/983.01 c vbounds : 0.46 0.00 0.00 0.46 0.00 0.00
980.29/983.01 c Symmetry :
980.29/983.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
980.29/983.01 c orbital reduction: 290 reductions applied, 0 cutoffs
980.29/983.01 c lexicographic red: 0 reductions applied, 0 cutoffs
980.29/983.01 c shadow tree time : 0.06 s
980.29/983.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
980.29/983.01 c propagation : 0.36 1498 1494 - 21209 126.2 418 35.8 - - -
980.29/983.01 c infeasible LP : 17.30 21452 6934 - 160088 291.2 561 37.0 365 193.7 0
980.29/983.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
980.29/983.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
980.29/983.01 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
980.29/983.01 c applied globally : 2.86 - - 0 39358 49.5 - - 361 - -
980.29/983.01 c applied locally : - - - 0 51 338.8 - - 4 - -
980.29/983.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
980.29/983.01 c cut pool : 1.30 - 4921 42 - - 11661 94014 - - - - - (maximal pool size: 818)
980.29/983.01 c aggregation : 1.17 0.00 2214 22 0 0 0 0 0 0 0 0 0
980.29/983.01 c > cmir : - - - - - - - 0 0 0 0 0 -
980.29/983.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
980.29/983.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
980.29/983.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c clique : 0.05 0.00 22 22 0 0 175 438 0 271 271 0 0
980.29/983.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c gomory : 32.23 0.00 2212 20 0 0 13380 91127 1972 18657 18455 202 0
980.29/983.01 c > gomorymi : - - - - - - - 5010 986 497 394 103 -
980.29/983.01 c > strongcg : - - - - - - - 86117 986 18160 18061 99 -
980.29/983.01 c impliedbounds : 0.07 0.00 2214 22 0 0 0 0 0 0 0 0 0
980.29/983.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
980.29/983.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c multilinear : 0.00 0.00 53 22 0 0 0 0 0 0 0 0 0
980.29/983.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
980.29/983.01 c rapidlearning : 2.69 0.00 37 2 0 142 0 0 0 0 0 0 151
980.29/983.01 c rlt : 0.01 0.00 1688 20 0 0 0 0 0 0 0 0 0
980.29/983.01 c zerohalf : 19.28 0.00 2214 22 0 0 7037 2449 6959 8092 1717 6375 0
980.29/983.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
980.29/983.01 c hybrid : 0.22 0.00 3739 22 27023 2 75927 193 0 122
980.29/983.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c Pricers : ExecTime SetupTime Calls Vars
980.29/983.01 c problem variables: 0.00 - 0 0
980.29/983.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
980.29/983.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c relpscost : 5.24 0.00 23342 0 0 0 0 0 0 46684
980.29/983.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
980.29/983.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
980.29/983.01 c LP solutions : 0.00 - - 1 1
980.29/983.01 c relax solutions : 0.00 - - 0 0
980.29/983.01 c pseudo solutions : 0.00 - - 0 0
980.29/983.01 c strong branching : 0.00 - - 0 0
980.29/983.01 c actconsdiving : 0.00 0.00 0 0 0
980.29/983.01 c adaptivediving : 4.76 0.00 19 0 0
980.29/983.01 c alns : 6.27 0.00 9 0 0
980.29/983.01 c bound : 0.00 0.00 0 0 0
980.29/983.01 c clique : 0.01 0.00 1 0 0
980.29/983.01 c coefdiving : 0.00 0.00 0 0 0
980.29/983.01 c completesol : 0.00 0.00 0 0 0
980.29/983.01 c conflictdiving : 23.43 0.00 18 0 0
980.29/983.01 c crossover : 0.01 0.00 0 0 0
980.29/983.01 c dins : 0.00 0.00 0 0 0
980.29/983.01 c distributiondivin: 16.16 0.00 18 0 0
980.29/983.01 c dps : 0.00 0.00 0 0 0
980.29/983.01 c dualval : 0.00 0.00 0 0 0
980.29/983.01 c farkasdiving : 0.00 0.00 0 0 0
980.29/983.01 c feasjump : 0.03 0.00 2 0 0
980.29/983.01 c feaspump : 2.72 0.00 9 0 0
980.29/983.01 c fixandinfer : 0.00 0.00 0 0 0
980.29/983.01 c fracdiving : 13.59 0.00 18 0 0
980.29/983.01 c gins : 0.01 0.00 0 0 0
980.29/983.01 c guideddiving : 0.00 0.00 0 0 0
980.29/983.01 c indcoefdiving : 0.00 0.00 0 0 0
980.29/983.01 c indicator : 0.01 0.00 0 0 0
980.29/983.01 c indicatordiving : 0.00 0.00 0 0 0
980.29/983.01 c indoneopt : 0.01 0.00 0 0 0
980.29/983.01 c indrounding : 0.00 0.00 0 0 0
980.29/983.01 c indtwoopt : 0.00 0.00 0 0 0
980.29/983.01 c intdiving : 0.00 0.00 0 0 0
980.29/983.01 c intshifting : 0.00 0.00 0 0 0
980.29/983.01 c linesearchdiving : 10.71 0.00 18 0 0
980.29/983.01 c localbranching : 0.00 0.00 0 0 0
980.29/983.01 c locks : 0.01 0.00 1 0 0
980.29/983.01 c lpface : 0.03 0.00 0 0 0
980.29/983.01 c mpec : 0.00 0.00 0 0 0
980.29/983.01 c multistart : 0.00 0.00 0 0 0
980.29/983.01 c mutation : 0.00 0.00 0 0 0
980.29/983.01 c nlpdiving : 0.00 0.00 0 0 0
980.29/983.01 c objpscostdiving : 12.78 0.00 9 0 0
980.29/983.01 c octane : 0.00 0.00 0 0 0
980.29/983.01 c ofins : 0.01 0.00 0 0 0
980.29/983.01 c oneopt : 0.01 0.00 0 0 0
980.29/983.01 c padm : 0.00 0.00 0 0 0
980.29/983.01 c proximity : 0.00 0.00 0 0 0
980.29/983.01 c pscostdiving : 3.13 0.00 18 0 0
980.29/983.01 c randrounding : 0.26 0.00 2499 0 0
980.29/983.01 c rens : 0.97 0.00 2 0 0
980.29/983.01 c reoptsols : 0.00 0.00 0 0 0
980.29/983.01 c repair : 0.00 0.00 0 0 0
980.29/983.01 c rins : 0.01 0.00 0 0 0
980.29/983.01 c rootsoldiving : 5.57 0.00 9 0 0
980.29/983.01 c rounding : 0.32 0.00 2274 0 0
980.29/983.01 c scheduler : 0.00 0.00 0 0 0
980.29/983.01 c shiftandpropagate: 0.02 0.00 2 0 0
980.29/983.01 c shifting : 0.35 0.00 922 0 0
980.29/983.01 c simplerounding : 0.01 0.00 0 0 0
980.29/983.01 c smallcard : 0.00 0.00 0 0 0
980.29/983.01 c subnlp : 0.02 0.00 0 0 0
980.29/983.01 c trivial : 0.00 0.00 4 0 0
980.29/983.01 c trivialnegation : 0.00 0.00 0 0 0
980.29/983.01 c trustregion : 0.00 0.00 0 0 0
980.29/983.01 c trysol : 0.01 0.00 0 0 0
980.29/983.01 c twoopt : 0.00 0.00 0 0 0
980.29/983.01 c undercover : 0.00 0.00 0 0 0
980.29/983.01 c vbounds : 0.01 0.00 2 0 0
980.29/983.01 c veclendiving : 10.85 0.00 18 0 0
980.29/983.01 c zeroobj : 0.00 0.00 0 0 0
980.29/983.01 c zirounding : 0.03 0.00 1000 0 0
980.29/983.01 c other solutions : - - - 0 -
980.29/983.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
980.29/983.01 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
980.29/983.01 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
980.29/983.01 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
980.29/983.01 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
980.29/983.01 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
980.29/983.01 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
980.29/983.01 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
980.29/983.01 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
980.29/983.01 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
980.29/983.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
980.29/983.01 c primal LP : 2.58 2377 0 0.00 0.00 2.58 2377
980.29/983.01 c dual LP : 753.24 48407 8191307 169.82 10874.69 0.08 173
980.29/983.01 c lex dual LP : 0.00 0 0 0.00 -
980.29/983.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
980.29/983.01 c resolve instable : 0.00 0 0 0.00 -
980.29/983.01 c diving/probing LP: 100.51 3030 951446 314.01 9466.24
980.29/983.01 c strong branching : 3.57 35 20051 572.89 5613.04 - - 34
980.29/983.01 c (at root node) : - 35 20051 572.89 -
980.29/983.01 c conflict analysis: 0.00 0 0 0.00 -
980.29/983.01 c B&B Tree :
980.29/983.01 c number of runs : 2
980.29/983.01 c nodes : 2876 (1511 internal, 1365 leaves)
980.29/983.01 c feasible leaves : 1
980.29/983.01 c infeas. leaves : 1364
980.29/983.01 c objective leaves : 0
980.29/983.01 c nodes (total) : 45863 (23342 internal, 22521 leaves)
980.29/983.01 c nodes left : 0
980.29/983.01 c max depth : 46
980.29/983.01 c max depth (total): 57
980.29/983.01 c backtracks : 632 (22.0%)
980.29/983.01 c early backtracks : 0 (0.0%)
980.29/983.01 c nodes exc. ref. : 0 (0.0%)
980.29/983.01 c delayed cutoffs : 66
980.29/983.01 c repropagations : 1264 (9892 domain reductions, 43 cutoffs)
980.29/983.01 c avg switch length: 3.49
980.29/983.01 c switching time : 7.15
980.29/983.01 c Root Node :
980.29/983.01 c First LP value : +0.00000000000000e+00
980.29/983.01 c First LP Iters : 11736 (9916.19 Iter/sec)
980.29/983.01 c First LP Time : 1.18
980.29/983.01 c Final Dual Bound : +0.00000000000000e+00
980.29/983.01 c Final Root Iters : 41641
980.29/983.01 c Root LP Estimate : +4.36710359773675e-02
980.29/983.01 c Solution :
980.29/983.01 c Solutions found : 1 (1 improvements)
980.29/983.01 c First Solution : +0.00000000000000e+00 (in run 2, after 2876 nodes, 982.99 seconds, depth 40, found by <relaxation>)
980.29/983.01 c Gap First Sol. : 0.00 %
980.29/983.01 c Gap Last Sol. : 0.00 %
980.29/983.01 c Primal Bound : +0.00000000000000e+00 (in run 2, after 2876 nodes, 982.99 seconds, depth 40, found by <relaxation>)
980.29/983.01 c Dual Bound : +0.00000000000000e+00
980.29/983.01 c Gap : 0.00 %
980.29/983.01 c Integrals : Total Avg%
980.29/983.01 c primal-dual : 98298.68 100.00
980.29/983.01 c primal-ref : - - (not evaluated)
980.29/983.01 c dual-ref : - - (not evaluated)
980.29/983.04 c Time complete: 980.336.
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: 63665 MiB (63027 MiB free)
memory of node 1: 64507 MiB (63690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503178-1751169647/watcher-4503178-1751169647 -o /tmp/evaluation-result-4503178-1751169647/solver-4503178-1751169647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751169647-24239 --watchdog 3760 pbscip -f HOME/instance-4503178-1751169647.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24283, runsolver pid=24273
[startup+0.100064 s]*
/proc/loadavg: 0.66 2.47 3.44 5/265 24299
/proc/meminfo: memFree=129692852/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=61472 memory=34648 CPUtime=0.07 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 5504 0 6 0 6 1 0 0 20 0 1 0 32642367 62947328 8662 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 15368 8662 3744 3530 0 6819 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61472 KiB
Current children cumulated memory: 34648 KiB
[startup+0.205638 s]*
/proc/loadavg: 0.66 2.47 3.44 5/265 24299
/proc/meminfo: memFree=129613484/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=73220 memory=44888 CPUtime=0.18 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 7907 0 6 0 16 2 0 0 20 0 1 0 32642367 74977280 11222 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 18305 11222 3936 3530 0 9756 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73220 KiB
Current children cumulated memory: 44888 KiB
[startup+0.305453 s]*
/proc/loadavg: 0.66 2.47 3.44 5/265 24299
/proc/meminfo: memFree=129557036/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=73364 memory=45144 CPUtime=0.28 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 7962 0 6 0 26 2 0 0 20 0 1 0 32642367 75124736 11286 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 18341 11286 3936 3530 0 9792 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 45144 KiB
[startup+0.700175 s]
/proc/loadavg: 0.66 2.47 3.44 5/265 24299
/proc/meminfo: memFree=129400040/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=73364 memory=45144 CPUtime=0.67 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 7975 0 6 0 65 2 0 0 20 0 1 0 32642367 75124736 11286 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 18341 11286 3936 3530 0 9792 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 45144 KiB
[startup+1.50018 s]
/proc/loadavg: 0.66 2.47 3.44 5/265 24299
/proc/meminfo: memFree=129049444/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=74620 memory=46168 CPUtime=1.47 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 8191 0 6 0 145 2 0 0 20 0 1 0 32642367 76410880 11542 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 18655 11542 3968 3530 0 10106 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 74620 KiB
Current children cumulated memory: 46168 KiB
[startup+3.10573 s]
/proc/loadavg: 0.93 2.50 3.45 5/265 24299
/proc/meminfo: memFree=128531088/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=90616 memory=60968 CPUtime=3.06 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 12855 0 6 0 304 2 0 0 20 0 1 0 32642367 92790784 15242 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 22654 15242 3968 3530 0 14105 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 90616 KiB
Current children cumulated memory: 60968 KiB
[startup+6.30015 s]
/proc/loadavg: 0.93 2.50 3.45 5/265 24299
/proc/meminfo: memFree=128527716/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=90616 memory=61224 CPUtime=6.25 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 12948 0 6 0 623 2 0 0 20 0 1 0 32642367 92790784 15306 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 22654 15306 3968 3530 0 14105 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 90616 KiB
Current children cumulated memory: 61224 KiB
[startup+12.7001 s]
/proc/loadavg: 1.47 2.57 3.46 5/265 24299
/proc/meminfo: memFree=128129420/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=91680 memory=63400 CPUtime=12.64 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 13470 0 6 0 1261 3 0 0 20 0 1 0 32642367 93880320 15850 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 22920 15850 3968 3530 0 14371 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 91680 KiB
Current children cumulated memory: 63400 KiB
[startup+25.5001 s]
/proc/loadavg: 1.86 2.61 3.46 5/265 24310
/proc/meminfo: memFree=127549852/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=92864 memory=64876 CPUtime=25.4 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 15656 0 6 0 2537 3 0 0 20 0 1 0 32642367 95092736 16219 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 23216 16219 3968 3530 0 14667 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 92864 KiB
Current children cumulated memory: 64876 KiB
[startup+51.105 s]
/proc/loadavg: 2.59 2.73 3.48 5/266 24312
/proc/meminfo: memFree=127488612/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=92864 memory=64876 CPUtime=50.94 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 15656 0 6 0 5091 3 0 0 20 0 1 0 32642367 95092736 16219 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 23216 16219 3968 3530 0 14667 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 92864 KiB
Current children cumulated memory: 64876 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.96 3.52 5/266 24314
/proc/meminfo: memFree=127425036/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=97308 memory=71120 CPUtime=102 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 25027 0 6 0 10196 4 0 0 20 0 1 0 32642367 99643392 17780 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 24327 17780 3968 3530 0 15778 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 71120 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 3.17 3.56 5/265 24316
/proc/meminfo: memFree=127369612/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=99856 memory=73656 CPUtime=161.86 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 28307 0 6 0 16181 5 0 0 20 0 1 0 32642367 102252544 18414 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 24964 18414 3968 3530 0 16415 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 99856 KiB
Current children cumulated memory: 73656 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.35 3.60 5/266 24319
/proc/meminfo: memFree=126861996/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=107560 memory=80952 CPUtime=221.69 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 30156 0 6 0 22164 5 0 0 20 0 1 0 32642367 110141440 20238 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 26890 20238 3968 3530 0 18341 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 107560 KiB
Current children cumulated memory: 80952 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 3.47 3.62 5/266 24324
/proc/meminfo: memFree=126866060/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=134688 memory=106680 CPUtime=281.53 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 36634 0 6 0 28147 6 0 0 20 0 1 0 32642367 137920512 26670 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 33672 26670 3968 3530 0 25123 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 134688 KiB
Current children cumulated memory: 106680 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.59 3.66 5/266 24331
/proc/meminfo: memFree=126709808/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=143272 memory=115384 CPUtime=341.37 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 38818 0 6 0 34130 7 0 0 20 0 1 0 32642367 146710528 28846 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 35818 28846 3968 3530 0 27269 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 143272 KiB
Current children cumulated memory: 115384 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.69 3.69 5/265 24333
/proc/meminfo: memFree=126711236/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=143272 memory=116024 CPUtime=401.19 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 38984 0 6 0 40112 7 0 0 20 0 1 0 32642367 146710528 29006 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 35818 29006 3968 3530 0 27269 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 143272 KiB
Current children cumulated memory: 116024 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.77 3.72 5/265 24335
/proc/meminfo: memFree=126702772/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=143272 memory=116024 CPUtime=461.01 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 38984 0 6 0 46094 7 0 0 20 0 1 0 32642367 146710528 29006 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 35818 29006 3968 3530 0 27269 0
################
# More data... #
################
/proc/loadavg: 4.09 3.88 3.77 5/264 24340
/proc/meminfo: memFree=126572040/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=148352 memory=120504 CPUtime=580.64 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 40134 0 6 0 58057 7 0 0 20 0 1 0 32642367 151912448 30126 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 37088 30126 3968 3530 0 28539 0
Current children cumulated CPU time: 580.64 s
Current children cumulated vsize: 148352 KiB
Current children cumulated memory: 120504 KiB
[startup+642.3 s]
/proc/loadavg: 4.08 3.92 3.79 5/264 24342
/proc/meminfo: memFree=126530312/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=152844 memory=124728 CPUtime=640.46 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 41214 0 6 0 64039 7 0 0 20 0 1 0 32642367 156512256 31182 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 38211 31182 3968 3530 0 29662 0
Current children cumulated CPU time: 640.46 s
Current children cumulated vsize: 152844 KiB
Current children cumulated memory: 124728 KiB
[startup+702.3 s]
/proc/loadavg: 4.06 3.95 3.81 5/264 24344
/proc/meminfo: memFree=126507768/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=162568 memory=135992 CPUtime=700.31 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 44023 0 6 0 70023 8 0 0 20 0 1 0 32642367 166469632 33998 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 40642 33998 3968 3530 0 32093 0
Current children cumulated CPU time: 700.31 s
Current children cumulated vsize: 162568 KiB
Current children cumulated memory: 135992 KiB
[startup+762.3 s]
/proc/loadavg: 4.07 3.97 3.83 5/264 24346
/proc/meminfo: memFree=126501388/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=162568 memory=135992 CPUtime=760.15 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 44023 0 6 0 76007 8 0 0 20 0 1 0 32642367 166469632 33998 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 40642 33998 3968 3530 0 32093 0
Current children cumulated CPU time: 760.15 s
Current children cumulated vsize: 162568 KiB
Current children cumulated memory: 135992 KiB
[startup+822.3 s]
/proc/loadavg: 4.20 4.03 3.86 5/264 24348
/proc/meminfo: memFree=126504292/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=162568 memory=135992 CPUtime=820 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 44023 0 6 0 81992 8 0 0 20 0 1 0 32642367 166469632 33998 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 40642 33998 3968 3530 0 32093 0
Current children cumulated CPU time: 820 s
Current children cumulated vsize: 162568 KiB
Current children cumulated memory: 135992 KiB
[startup+882.3 s]
/proc/loadavg: 4.14 4.04 3.88 5/264 24353
/proc/meminfo: memFree=126454424/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=168624 memory=142008 CPUtime=879.84 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 45547 0 6 0 87976 8 0 0 20 0 1 0 32642367 172670976 35502 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 42156 35502 3968 3530 0 33607 0
Current children cumulated CPU time: 879.84 s
Current children cumulated vsize: 168624 KiB
Current children cumulated memory: 142008 KiB
[startup+942.3 s]
/proc/loadavg: 4.05 4.03 3.89 5/265 24361
/proc/meminfo: memFree=126417580/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=939.69 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 93960 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 939.69 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
[startup+983.048 s]
# the end of solver process 24283 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=980.24 s, system=0.104287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.12 4.04 3.89 5/265 24361
/proc/meminfo: memFree=126417588/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=944.58 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 94449 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 944.58 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
[startup+960 s]*
/proc/loadavg: 4.10 4.04 3.90 5/265 24362
/proc/meminfo: memFree=126417588/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=957.35 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 95726 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 957.35 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
[startup+972.8 s]
/proc/loadavg: 4.08 4.04 3.90 5/265 24363
/proc/meminfo: memFree=126401356/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=970.11 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 97002 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 970.11 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
[startup+979.2 s]
/proc/loadavg: 4.07 4.04 3.90 5/265 24363
/proc/meminfo: memFree=126401364/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=976.49 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 97640 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 976.49 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
[startup+980.8 s]
/proc/loadavg: 4.07 4.04 3.90 5/265 24363
/proc/meminfo: memFree=126401364/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=978.09 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 97800 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 978.09 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
[startup+982.4 s]
/proc/loadavg: 4.07 4.04 3.90 5/265 24363
/proc/meminfo: memFree=126401364/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=979.68 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 97959 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 979.68 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
[startup+982.8 s]
/proc/loadavg: 4.07 4.04 3.90 5/265 24363
/proc/meminfo: memFree=126401364/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=980.08 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 97999 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 980.08 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
[startup+983 s]*
/proc/loadavg: 4.07 4.04 3.90 5/265 24363
/proc/meminfo: memFree=126401372/131249996 swapFree=33010684/33010684
[pid=24283] ppid=24273 vsize=191784 memory=165044 CPUtime=980.29 cores=0,2
/proc/24283/stat : 24283 (pbscip) R 24273 24283 24229 0 -1 4194304 54012 0 6 0 98020 9 0 0 20 0 1 0 32642367 196386816 41261 18446744073709551615 4235264 18693293 140730490807456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31973376 140730490812809 140730490812908 140730490812908 140730490818510 0
/proc/24283/statm: 47946 41261 3968 3530 0 39397 0
Current children cumulated CPU time: 980.29 s
Current children cumulated vsize: 191784 KiB
Current children cumulated memory: 165044 KiB
Child status: 0
Real time (s): 983.048
CPU time (s): 980.344
CPU user time (s): 980.24
CPU system time (s): 0.104287
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 204384
Max. memory (cumulated for all children) (KiB): 174264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 980.24
system time used= 0.104287
maximum resident set size= 174264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54017
page faults= 7
swaps= 0
block input operations= 1536
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 1255
# summary of solver processes directly reported to runsolver:
# pid: 24283
# total CPU time (s): 980.344
# total CPU user time (s): 980.24
# total CPU system time (s): 0.104287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64123 second user time and 4.41731 second system time
The end