0.00/0.09	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.09	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.09	c 
0.00/0.09	c user parameter file <scip.set> not found - using default parameters
0.00/0.09	c reading problem <HOME/instance-4485192-1751313715.opb>
0.00/0.12	c original problem has 8600 variables (8600 bin, 0 int, 0 impl, 0 cont) and 2806 constraints
0.00/0.12	c problem read in 0.03
0.00/0.14	c presolving:
0.00/0.16	c (round 1, fast)       885 del vars, 0 del conss, 46 add conss, 675 chg bounds, 100 chg sides, 20470 chg coeffs, 0 upgd conss, 0 impls, 4710 clqs
0.00/0.17	c (round 2, fast)       2695 del vars, 40 del conss, 66 add conss, 675 chg bounds, 100 chg sides, 20670 chg coeffs, 0 upgd conss, 0 impls, 5700 clqs
0.00/0.18	c    (0.1s) running MILP presolver
0.08/0.24	c    (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.08/0.25	c (round 3, exhaustive) 2695 del vars, 100 del conss, 66 add conss, 675 chg bounds, 100 chg sides, 20670 chg coeffs, 0 upgd conss, 0 impls, 5700 clqs
0.08/0.26	c (round 4, exhaustive) 2695 del vars, 100 del conss, 66 add conss, 675 chg bounds, 100 chg sides, 20670 chg coeffs, 2526 upgd conss, 0 impls, 5700 clqs
0.08/0.27	c (round 5, fast)       3835 del vars, 100 del conss, 66 add conss, 675 chg bounds, 100 chg sides, 23470 chg coeffs, 2526 upgd conss, 0 impls, 5700 clqs
0.08/0.27	c (round 6, fast)       3835 del vars, 100 del conss, 66 add conss, 675 chg bounds, 100 chg sides, 24610 chg coeffs, 2526 upgd conss, 0 impls, 5700 clqs
0.08/0.28	c    (0.2s) running MILP presolver
0.08/0.29	c    (0.2s) MILP presolver found nothing
0.16/0.31	c (round 7, medium)     3837 del vars, 590 del conss, 5236 add conss, 675 chg bounds, 2470 chg sides, 41200 chg coeffs, 2526 upgd conss, 0 impls, 6696 clqs
0.16/0.31	c (round 8, fast)       3839 del vars, 626 del conss, 5272 add conss, 675 chg bounds, 2478 chg sides, 41332 chg coeffs, 2526 upgd conss, 0 impls, 6694 clqs
0.16/0.32	c (round 9, exhaustive) 3839 del vars, 628 del conss, 5274 add conss, 675 chg bounds, 2478 chg sides, 41332 chg coeffs, 2528 upgd conss, 0 impls, 6694 clqs
0.16/0.34	c (round 10, exhaustive) 6119 del vars, 628 del conss, 5274 add conss, 675 chg bounds, 2478 chg sides, 41332 chg coeffs, 2528 upgd conss, 0 impls, 6694 clqs
0.16/0.34	c (round 11, fast)       6119 del vars, 628 del conss, 5274 add conss, 675 chg bounds, 2478 chg sides, 45892 chg coeffs, 2528 upgd conss, 0 impls, 6694 clqs
0.16/0.36	c    (0.3s) running MILP presolver
0.16/0.40	c    (0.3s) MILP presolver (7 rounds): 0 aggregations, 28 fixings, 0 bound changes
0.16/0.40	c (round 12, medium)     6147 del vars, 628 del conss, 5278 add conss, 675 chg bounds, 2482 chg sides, 45900 chg coeffs, 2528 upgd conss, 0 impls, 6695 clqs
0.25/0.45	c (round 13, exhaustive) 6196 del vars, 629 del conss, 5279 add conss, 675 chg bounds, 2482 chg sides, 45904 chg coeffs, 2528 upgd conss, 0 impls, 6585 clqs
0.25/0.45	c (round 14, fast)       6196 del vars, 828 del conss, 5311 add conss, 675 chg bounds, 2496 chg sides, 45959 chg coeffs, 2528 upgd conss, 0 impls, 6585 clqs
0.25/0.45	c (round 15, medium)     6196 del vars, 828 del conss, 5323 add conss, 675 chg bounds, 2508 chg sides, 45983 chg coeffs, 2528 upgd conss, 0 impls, 6597 clqs
0.25/0.46	c (round 16, exhaustive) 6196 del vars, 855 del conss, 5323 add conss, 675 chg bounds, 2508 chg sides, 45983 chg coeffs, 2528 upgd conss, 0 impls, 6597 clqs
0.25/0.47	c (round 17, exhaustive) 6196 del vars, 858 del conss, 5323 add conss, 675 chg bounds, 2508 chg sides, 45983 chg coeffs, 2531 upgd conss, 0 impls, 6597 clqs
0.25/0.48	c (round 18, exhaustive) 6196 del vars, 1618 del conss, 5323 add conss, 675 chg bounds, 2508 chg sides, 45983 chg coeffs, 2531 upgd conss, 0 impls, 6597 clqs
0.25/0.49	c (round 19, exhaustive) 6196 del vars, 1652 del conss, 5323 add conss, 675 chg bounds, 2508 chg sides, 45983 chg coeffs, 2531 upgd conss, 0 impls, 6597 clqs
0.36/0.51	c (round 20, exhaustive) 6245 del vars, 1654 del conss, 5323 add conss, 675 chg bounds, 2508 chg sides, 45983 chg coeffs, 2531 upgd conss, 0 impls, 6486 clqs
0.36/0.51	c (round 21, fast)       6245 del vars, 1809 del conss, 5352 add conss, 675 chg bounds, 2518 chg sides, 46033 chg coeffs, 2531 upgd conss, 0 impls, 6486 clqs
0.36/0.51	c (round 22, medium)     6245 del vars, 1809 del conss, 5356 add conss, 675 chg bounds, 2522 chg sides, 46041 chg coeffs, 2531 upgd conss, 0 impls, 6490 clqs
0.36/0.52	c (round 23, exhaustive) 6245 del vars, 1829 del conss, 5356 add conss, 675 chg bounds, 2522 chg sides, 46041 chg coeffs, 2531 upgd conss, 0 impls, 6490 clqs
0.36/0.53	c (round 24, exhaustive) 6245 del vars, 1833 del conss, 5356 add conss, 675 chg bounds, 2522 chg sides, 46041 chg coeffs, 2534 upgd conss, 0 impls, 6490 clqs
0.36/0.54	c (round 25, exhaustive) 6291 del vars, 1836 del conss, 5356 add conss, 675 chg bounds, 2522 chg sides, 46041 chg coeffs, 2534 upgd conss, 0 impls, 6372 clqs
0.36/0.55	c (round 26, fast)       6311 del vars, 1995 del conss, 5388 add conss, 675 chg bounds, 2530 chg sides, 46091 chg coeffs, 2534 upgd conss, 0 impls, 6374 clqs
0.36/0.56	c    (0.5s) running MILP presolver
0.36/0.57	c    (0.5s) MILP presolver found nothing
0.36/0.57	c (round 27, exhaustive) 6311 del vars, 2013 del conss, 5389 add conss, 675 chg bounds, 2530 chg sides, 46091 chg coeffs, 2534 upgd conss, 0 impls, 6374 clqs
0.36/0.58	c (round 28, exhaustive) 6311 del vars, 2013 del conss, 5389 add conss, 675 chg bounds, 2530 chg sides, 46091 chg coeffs, 2541 upgd conss, 0 impls, 6374 clqs
0.36/0.58	c (round 29, fast)       6311 del vars, 2018 del conss, 5389 add conss, 675 chg bounds, 2530 chg sides, 46091 chg coeffs, 2541 upgd conss, 0 impls, 6374 clqs
0.45/0.61	c (round 30, exhaustive) 6336 del vars, 2021 del conss, 5389 add conss, 675 chg bounds, 2530 chg sides, 46091 chg coeffs, 2541 upgd conss, 0 impls, 6302 clqs
0.45/0.62	c (round 31, fast)       6346 del vars, 2102 del conss, 5409 add conss, 675 chg bounds, 2534 chg sides, 46116 chg coeffs, 2541 upgd conss, 0 impls, 6303 clqs
0.45/0.62	c (round 32, exhaustive) 6346 del vars, 2116 del conss, 5411 add conss, 675 chg bounds, 2534 chg sides, 46116 chg coeffs, 2541 upgd conss, 0 impls, 6307 clqs
0.45/0.63	c (round 33, exhaustive) 6346 del vars, 2119 del conss, 5411 add conss, 675 chg bounds, 2534 chg sides, 46116 chg coeffs, 2545 upgd conss, 0 impls, 6307 clqs
0.45/0.64	c (round 34, exhaustive) 6396 del vars, 2122 del conss, 5411 add conss, 675 chg bounds, 2534 chg sides, 46116 chg coeffs, 2545 upgd conss, 0 impls, 6161 clqs
0.45/0.64	c (round 35, fast)       6415 del vars, 2283 del conss, 5440 add conss, 675 chg bounds, 2590 chg sides, 46568 chg coeffs, 2545 upgd conss, 0 impls, 6163 clqs
0.45/0.65	c (round 36, fast)       6415 del vars, 2283 del conss, 5441 add conss, 675 chg bounds, 2666 chg sides, 47146 chg coeffs, 2545 upgd conss, 0 impls, 6163 clqs
0.45/0.65	c (round 37, exhaustive) 6415 del vars, 2301 del conss, 5441 add conss, 675 chg bounds, 2666 chg sides, 47146 chg coeffs, 2545 upgd conss, 0 impls, 6175 clqs
0.45/0.66	c (round 38, exhaustive) 6415 del vars, 2302 del conss, 5441 add conss, 675 chg bounds, 2666 chg sides, 47146 chg coeffs, 2549 upgd conss, 0 impls, 6175 clqs
0.45/0.67	c (round 39, exhaustive) 6440 del vars, 2305 del conss, 5441 add conss, 675 chg bounds, 2666 chg sides, 47146 chg coeffs, 2549 upgd conss, 0 impls, 6096 clqs
0.45/0.67	c (round 40, fast)       6440 del vars, 2385 del conss, 5461 add conss, 675 chg bounds, 2946 chg sides, 49162 chg coeffs, 2549 upgd conss, 0 impls, 6096 clqs
0.45/0.68	c (round 41, exhaustive) 6440 del vars, 2399 del conss, 5461 add conss, 675 chg bounds, 2946 chg sides, 49162 chg coeffs, 2549 upgd conss, 0 impls, 6100 clqs
0.55/0.77	c    (0.7s) probing: 161/2453 (6.6%) - 224 fixings, 20 aggregations, 2169 implications, 0 bound changes
0.55/0.77	c    (0.7s) probing aborted: 50/50 successive totally useless probings
0.55/0.79	c    (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.65/0.80	c    (0.7s) symmetry computation finished: 140 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.65/0.82	c dynamic symmetry handling statistics:
0.65/0.82	c    orbitopal reduction:       no components
0.65/0.82	c    orbital reduction:         10 components of sizes 14, 14, 14, 14, 14, 14, 14, 14, 14, 14
0.65/0.82	c    lexicographic reduction:  140 permutations with support sizes 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2
0.65/0.82	c handled 10 out of 10 symmetry components
0.65/0.82	c presolving (42 rounds: 42 fast, 28 medium, 24 exhaustive):
0.65/0.82	c  6440 deleted vars, 2401 deleted constraints, 5461 added constraints, 675 tightened bounds, 0 added holes, 2946 changed sides, 49162 changed coefficients
0.65/0.82	c  0 implications, 7700 cliques
0.65/0.82	c presolved problem has 2160 variables (2160 bin, 0 int, 0 impl, 0 cont) and 5862 constraints
0.65/0.82	c     220 constraints of type <knapsack>
0.65/0.82	c    4310 constraints of type <setppc>
0.65/0.82	c     236 constraints of type <linear>
0.65/0.82	c    1096 constraints of type <logicor>
0.65/0.82	c transformed objective value is always integral (scale: 1024)
0.65/0.82	c Presolving Time: 0.69
0.65/0.82	c - non default parameters ----------------------------------------------------------------------
0.65/0.82	c # SCIP version 10.0.0
0.65/0.82	c 
0.65/0.82	c # maximal time in seconds to run
0.65/0.82	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.65/0.82	c limits/time = 3596.997012
0.65/0.82	c 
0.65/0.82	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.65/0.82	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.65/0.82	c limits/memory = 27900
0.65/0.82	c 
0.65/0.82	c # belongs reading time to solving time?
0.65/0.82	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.65/0.82	c timing/reading = TRUE
0.65/0.82	c 
0.65/0.82	c -----------------------------------------------------------------------------------------------
0.65/0.82	c start solving
0.65/0.83	c 
0.95/1.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.95/1.17	c   1.1s|     1 |     0 |  2117 |     - |    88M |   0 |2160 |5913 |5862 |   0 |  0 |  56 |   0 | 6.144000e+03 |      --      |    Inf | unknown
2.44/2.60	c   2.5s|     1 |     0 | 10022 |     - |    99M |   0 |2160 |5954 |5895 |  33 |  1 |  56 |   0 | 6.144000e+03 |      --      |    Inf | unknown
3.04/3.27	c   3.2s|     1 |     0 | 10825 |     - |   109M |   0 |2160 |5954 |5918 |  56 |  2 |  56 |   0 | 6.144000e+03 |      --      |    Inf | unknown
3.64/3.82	c   3.7s|     1 |     0 | 11126 |     - |   122M |   0 |2160 |5954 |5944 |  82 |  3 |  56 |   0 | 6.144000e+03 |      --      |    Inf | unknown
4.34/4.57	c   4.5s|     1 |     0 | 11721 |     - |   124M |   0 |2160 |5954 |5965 | 103 |  4 |  56 |   0 | 6.144000e+03 |      --      |    Inf | unknown
5.03/5.26	c   5.2s|     1 |     0 | 12006 |     - |   133M |   0 |2160 |5954 |5985 | 123 |  5 |  56 |   0 | 6.144000e+03 |      --      |    Inf | unknown
5.73/5.95	c   5.9s|     1 |     0 | 12717 |     - |   133M |   0 |2160 |5955 |6007 | 145 |  6 |  57 |   0 | 6.144000e+03 |      --      |    Inf | unknown
6.33/6.57	c   6.5s|     1 |     0 | 12964 |     - |   134M |   0 |2160 |5955 |6029 | 167 |  7 |  57 |   0 | 6.144000e+03 |      --      |    Inf | unknown
7.13/7.30	c   7.2s|     1 |     0 | 13360 |     - |   135M |   0 |2160 |5955 |6048 | 186 |  8 |  57 |   0 | 6.144000e+03 |      --      |    Inf | unknown
7.73/7.94	c   7.9s|     1 |     0 | 13972 |     - |   144M |   0 |2160 |5955 |6068 | 206 |  9 |  57 |   0 | 6.144000e+03 |      --      |    Inf | unknown
8.33/8.56	c   8.5s|     1 |     0 | 14051 |     - |   145M |   0 |2160 |5955 |6085 | 223 | 10 |  57 |   0 | 6.144000e+03 |      --      |    Inf | unknown
8.43/8.64	c   8.6s|     1 |     0 | 14156 |     - |   146M |   0 |2160 |5955 |6100 | 238 | 11 |  57 |   0 | 6.144000e+03 |      --      |    Inf | unknown
11.51/11.76	c  11.7s|     1 |     2 | 19416 |     - |   146M |   0 |2160 |5964 |6100 | 238 | 11 |  66 |  11 | 6.144000e+03 |      --      |    Inf | unknown
20.99/21.22	o 9216
20.99/21.22	c *21.1s|     9 |     6 | 31749 |2201.2 |strongbr|   7 |2160 |5975 |5952 | 238 |  1 |  83 | 107 | 6.144000e+03 | 9.216000e+03 |  50.00%|   3.12%
95.28/95.73	c  95.6s|   100 |    73 |433146 |4232.4 |   171M |  13 |2160 |6109 |5960 | 367 |  2 | 310 | 309 | 6.371556e+03 | 9.216000e+03 |  44.64%|  21.55%
155.60/156.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
155.60/156.24	c   156s|   200 |    89 |766767 |3782.1 |   208M |  13 |2160 |6173 |5952 | 787 |  2 | 504 | 524 | 6.432821e+03 | 9.216000e+03 |  43.27%|  32.03%
226.60/227.45	c   227s|   300 |    67 |  1149k|3795.5 |   236M |  13 |2160 |6168 |5953 |1202 |  2 | 614 | 815 | 6.756936e+03 | 9.216000e+03 |  36.39%|  46.71%
275.26/276.21	c   276s|   400 |    25 |  1377k|3417.2 |   249M |  14 |2160 |6223 |5955 |1929 |  2 | 796 |1079 | 7.534000e+03 | 9.216000e+03 |  22.33%|  72.16%
278.25/279.28	c 
278.25/279.28	c SCIP Status        : problem is solved [optimal solution found]
278.25/279.28	c Solving Time (sec) : 279.19
278.25/279.28	c Solving Nodes      : 433
278.25/279.28	c Primal Bound       : +9.21600000000000e+03 (1 solutions)
278.25/279.28	c Dual Bound         : +9.21600000000000e+03
278.25/279.28	c Gap                : 0.00 %
278.25/279.28	s OPTIMUM FOUND
278.25/279.28	v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 
278.25/279.28	v -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 
278.25/279.28	v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 x2251 -x2250 -x2249 -x2248 -x2247 
278.25/279.28	v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 
278.25/279.28	v -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 
278.25/279.28	v -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 
278.25/279.28	v -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 
278.25/279.28	v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 
278.25/279.28	v -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 
278.25/279.28	v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 
278.25/279.28	v -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 
278.25/279.28	v -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 
278.25/279.28	v -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 
278.25/279.28	v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 
278.25/279.28	v -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 
278.25/279.28	v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 
278.25/279.28	v -x2013 -x2012 x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 
278.25/279.28	v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 -x1980 -x1979 -x1978 
278.25/279.28	v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 
278.25/279.28	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 
278.25/279.28	v -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 
278.25/279.28	v -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 
278.25/279.28	v -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 
278.25/279.28	v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 
278.25/279.28	v -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 
278.25/279.28	v -x1852 -x1851 -x8600 -x8595 -x8569 -x8560 -x8538 -x8525 -x8507 -x8490 x8476 -x8455 -x8450 -x8445 -x8414 -x8409 -x8383 -x8374 
278.25/279.28	v -x8352 -x8339 x8321 -x8304 -x8299 x8290 -x8264 -x8259 -x8228 -x8223 -x8197 -x8188 -x8166 -x8153 -x8148 -x8135 -x8113 -x8104 
278.25/279.28	v -x8078 -x8073 -x8042 -x8037 -x8011 -x8002 -x7997 -x7980 -x7962 -x7949 -x7927 x7918 -x7892 x7887 -x7856 -x7851 -x7846 -x7825 
278.25/279.28	v -x7811 -x7794 -x7776 -x7763 -x7741 -x7732 -x7706 -x7701 -x8599 -x8594 -x8590 -x8589 -x8598 -x8593 -x8588 -x8585 -x8584 -x8583 
278.25/279.28	v -x8597 -x8592 -x8587 -x8582 -x8580 -x8579 -x8578 -x8577 x8596 -x8591 -x8586 -x8581 -x8576 -x8575 x8574 -x8573 -x8572 -x8571 
278.25/279.28	v -x8570 -x8565 -x8564 -x8559 -x8568 -x8563 -x8558 -x8555 -x8554 -x8553 -x8567 -x8562 -x8557 -x8552 -x8550 -x8549 -x8548 -x8547 
278.25/279.28	v -x8566 -x8561 -x8556 -x8551 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8535 -x8533 -x8524 -x8539 -x8534 -x8530 -x8529 
278.25/279.28	v -x8528 -x8523 -x8537 -x8532 -x8527 -x8522 -x8520 -x8519 -x8518 -x8517 -x8536 -x8531 -x8526 -x8521 -x8516 -x8515 -x8514 -x8513 
278.25/279.28	v -x8512 -x8511 -x8510 -x8505 -x8502 -x8489 -x8509 -x8504 -x8500 -x8499 -x8497 -x8488 -x8508 -x8503 -x8498 -x8495 -x8494 -x8493 
278.25/279.28	v -x8492 -x8487 -x8506 -x8501 -x8496 -x8491 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8475 x8471 x8454 -x8479 -x8474 
278.25/279.28	v -x8470 -x8469 -x8466 -x8453 -x8478 -x8473 -x8468 -x8465 -x8464 -x8463 -x8461 -x8452 -x8477 -x8472 -x8467 -x8462 -x8460 -x8459 
278.25/279.28	v -x8458 -x8457 -x8456 -x8451 -x8449 -x8444 -x8440 -x8439 -x8448 -x8443 -x8438 -x8435 -x8434 -x8433 -x8447 -x8442 -x8437 
278.25/279.28	v -x8432 -x8430 -x8429 -x8428 -x8427 -x8446 -x8441 -x8436 -x8431 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8415 
278.25/279.28	v -x8410 -x8418 -x8413 -x8408 -x8405 -x8404 -x8403 -x8417 -x8412 -x8407 -x8402 -x8400 -x8399 -x8398 -x8397 -x8416 -x8411 -x8406 
278.25/279.28	v -x8401 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8388 -x8385 -x8375 -x8389 -x8384 -x8380 -x8379 -x8378 -x8373 -x8387 
278.25/279.28	v -x8382 -x8377 -x8372 -x8370 -x8369 -x8368 -x8367 -x8386 -x8381 -x8376 -x8371 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 
278.25/279.28	v -x8357 -x8355 -x8340 -x8359 -x8354 -x8350 -x8349 -x8347 -x8338 -x8358 -x8353 -x8348 -x8345 -x8344 -x8343 -x8342 -x8337 -x8356 
278.25/279.28	v -x8351 -x8346 -x8341 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8326 -x8325 -x8305 -x8329 -x8324 -x8320 -x8319 -x8316 
278.25/279.28	v -x8303 -x8328 -x8323 -x8318 -x8315 -x8314 -x8313 -x8311 -x8302 -x8327 -x8322 -x8317 -x8312 -x8310 -x8309 -x8308 -x8307 
278.25/279.28	v -x8306 -x8301 -x8300 -x8295 -x8294 -x8289 -x8298 -x8293 -x8288 -x8285 -x8284 -x8283 -x8297 -x8292 -x8287 -x8282 -x8280 -x8279 
278.25/279.28	v -x8278 -x8277 -x8296 -x8291 -x8286 -x8281 -x8276 -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8265 x8260 -x8268 -x8263 
278.25/279.28	v -x8258 -x8255 -x8254 -x8253 -x8267 -x8262 -x8257 -x8252 -x8250 -x8249 -x8248 -x8247 x8266 -x8261 -x8256 -x8251 -x8246 -x8245 
278.25/279.28	v x8244 -x8243 -x8242 -x8241 -x8239 -x8238 -x8230 -x8225 -x8240 -x8235 -x8234 -x8233 -x8229 -x8224 -x8237 -x8232 -x8227 -x8222 
278.25/279.28	v -x8220 -x8219 -x8218 -x8217 -x8236 -x8231 -x8226 -x8221 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8209 -x8207 -x8200 -x8190 
278.25/279.28	v -x8210 -x8205 -x8204 -x8202 -x8199 -x8189 -x8208 -x8203 -x8198 -x8195 -x8194 -x8193 -x8192 -x8187 -x8206 -x8201 -x8196 -x8191 
278.25/279.28	v -x8186 -x8185 -x8184 -x8183 -x8182 -x8181 -x8179 x8176 x8170 -x8155 -x8180 -x8175 -x8174 x8171 -x8169 x8154 -x8178 -x8173 
278.25/279.28	v -x8168 -x8165 -x8164 -x8163 -x8161 -x8152 -x8177 -x8172 -x8167 -x8162 -x8160 -x8159 -x8158 -x8157 -x8156 -x8151 -x8150 -x8145 
278.25/279.28	v -x8143 -x8134 -x8149 -x8144 x8140 -x8139 -x8138 -x8133 -x8147 -x8142 -x8137 x8132 -x8130 -x8129 x8128 -x8127 -x8146 -x8141 -x8136 
278.25/279.28	v -x8131 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 -x8118 -x8115 -x8105 -x8119 -x8114 x8110 -x8109 -x8108 -x8103 -x8117 
278.25/279.28	v -x8112 -x8107 x8102 -x8100 -x8099 x8098 -x8097 x8116 -x8111 -x8106 -x8101 -x8096 -x8095 x8094 -x8093 -x8092 -x8091 -x8089 
278.25/279.28	v -x8088 -x8080 -x8075 -x8090 -x8085 -x8084 -x8083 -x8079 -x8074 -x8087 -x8082 -x8077 x8072 -x8070 -x8069 x8068 -x8067 -x8086 
278.25/279.28	v -x8081 -x8076 -x8071 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8058 -x8057 -x8045 -x8040 -x8060 -x8055 -x8053 -x8052 -x8044 
278.25/279.28	v -x8039 -x8059 -x8054 -x8050 -x8049 -x8048 -x8047 -x8043 -x8038 -x8056 -x8051 -x8046 -x8041 -x8036 -x8035 -x8034 -x8033 -x8032 
278.25/279.28	v -x8031 -x8028 x8026 -x8015 -x8005 -x8030 -x8025 -x8023 x8021 -x8014 x8004 -x8029 -x8024 x8020 -x8019 -x8018 -x8016 -x8013 
278.25/279.28	v -x8003 -x8027 -x8022 -x8017 x8012 -x8010 -x8009 x8008 -x8007 -x8006 -x8001 -x8000 -x7995 -x7992 -x7979 -x7999 -x7994 x7990 -x7989 
278.25/279.28	v -x7987 x7978 -x7998 -x7993 -x7988 -x7985 -x7984 -x7983 x7982 x7977 -x7996 -x7991 -x7986 -x7981 -x7976 -x7975 -x7974 -x7973 
278.25/279.28	v -x7972 -x7971 -x7970 -x7967 -x7965 -x7950 -x7969 -x7964 x7960 -x7959 -x7957 x7948 -x7968 -x7963 -x7958 -x7955 -x7954 -x7953 
278.25/279.28	v x7952 x7947 x7966 -x7961 -x7956 -x7951 -x7946 -x7945 x7944 -x7943 -x7942 -x7941 -x7939 -x7937 -x7930 -x7920 -x7940 -x7935 
278.25/279.28	v -x7934 -x7932 -x7929 -x7919 -x7938 -x7933 -x7928 -x7925 -x7924 -x7923 x7922 x7917 -x7936 -x7931 -x7926 -x7921 -x7916 -x7915 -x7914 
278.25/279.28	v -x7913 -x7912 -x7911 -x7908 -x7907 -x7895 -x7890 -x7910 -x7905 -x7903 -x7902 -x7894 -x7889 -x7909 -x7904 -x7900 -x7899 
278.25/279.28	v -x7898 -x7897 -x7893 -x7888 -x7906 -x7901 -x7896 -x7891 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7877 x7876 -x7860 -x7855 
278.25/279.28	v -x7880 -x7875 -x7872 x7871 -x7859 x7854 -x7879 -x7874 x7870 -x7869 -x7867 -x7866 x7858 -x7853 -x7878 -x7873 -x7868 -x7865 -x7864 
278.25/279.28	v -x7863 x7862 -x7861 x7857 -x7852 -x7850 -x7845 -x7841 -x7824 -x7849 -x7844 -x7840 -x7839 -x7836 -x7823 -x7848 -x7843 -x7838 
278.25/279.28	v -x7835 -x7834 -x7833 -x7831 -x7822 -x7847 -x7842 -x7837 -x7832 -x7830 -x7829 -x7828 -x7827 -x7826 -x7821 -x7820 -x7816 -x7815 
278.25/279.28	v -x7795 -x7819 -x7814 -x7810 -x7809 -x7806 -x7793 -x7818 -x7813 -x7808 -x7805 -x7804 -x7803 -x7801 -x7792 -x7817 -x7812 -x7807 
278.25/279.28	v -x7802 -x7800 -x7799 -x7798 -x7797 -x7796 -x7791 -x7789 -x7786 -x7780 -x7765 -x7790 -x7785 -x7784 -x7781 -x7779 -x7764 -x7788 
278.25/279.28	v -x7783 -x7778 -x7775 -x7774 -x7773 -x7771 -x7762 -x7787 -x7782 -x7777 -x7772 -x7770 -x7769 -x7768 -x7767 -x7766 -x7761 
278.25/279.28	v -x7758 -x7756 -x7745 -x7735 -x7760 -x7755 -x7753 -x7751 -x7744 -x7734 -x7759 -x7754 -x7750 -x7749 -x7748 -x7746 -x7743 -x7733 
278.25/279.28	v -x7757 -x7752 -x7747 -x7742 -x7740 -x7739 -x7738 -x7737 -x7736 -x7731 -x7727 -x7726 -x7710 -x7705 -x7730 -x7725 -x7722 -x7721 
278.25/279.28	v -x7709 -x7704 -x7729 -x7724 -x7720 -x7719 -x7717 -x7716 -x7708 -x7703 -x7728 -x7723 -x7718 -x7715 -x7714 -x7713 -x7712 -x7711 
278.25/279.28	v -x7707 -x7702 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 
278.25/279.28	v -x1834 -x1833 -x1832 x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 
278.25/279.28	v -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 
278.25/279.28	v -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 
278.25/279.28	v -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 
278.25/279.28	v -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 
278.25/279.28	v -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 
278.25/279.28	v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 x1712 -x1711 -x1710 
278.25/279.28	v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 
278.25/279.28	v -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 
278.25/279.28	v -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 
278.25/279.28	v -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 
278.25/279.28	v -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 
278.25/279.28	v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 
278.25/279.28	v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 
278.25/279.28	v -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 
278.25/279.28	v -x1566 -x1565 -x1564 -x1563 -x1562 x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 
278.25/279.28	v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 x1531 
278.25/279.28	v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 
278.25/279.28	v -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 
278.25/279.28	v -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 
278.25/279.28	v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 
278.25/279.28	v -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 
278.25/279.28	v -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 
278.25/279.28	v -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 x1412 x1411 -x1410 -x1409 -x1408 -x1407 -x1406 
278.25/279.28	v -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 
278.25/279.28	v -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 
278.25/279.28	v -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 
278.25/279.28	v x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 
278.25/279.28	v -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 -x1319 -x1318 -x1317 -x1316 
278.25/279.28	v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 
278.25/279.28	v -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 
278.25/279.28	v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 x1263 -x1262 
278.25/279.28	v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 
278.25/279.28	v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 
278.25/279.28	v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 
278.25/279.28	v -x1207 -x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 
278.25/279.28	v -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 
278.25/279.28	v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 
278.25/279.28	v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 
278.25/279.28	v -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 
278.25/279.28	v -x1117 -x1116 -x1115 -x1114 x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 
278.25/279.28	v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 
278.25/279.28	v -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 
278.25/279.28	v -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 
278.25/279.28	v -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 
278.25/279.28	v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 
278.25/279.28	v -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 
278.25/279.28	v -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 
278.25/279.28	v -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 
278.25/279.28	v -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 
278.25/279.28	v -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 
278.25/279.28	v -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 
278.25/279.28	v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 
278.25/279.28	v -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 
278.25/279.28	v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 
278.25/279.28	v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 
278.25/279.28	v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 
278.25/279.28	v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 
278.25/279.28	v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 
278.25/279.28	v -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 
278.25/279.28	v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 
278.25/279.28	v -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 
278.25/279.28	v -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 
278.25/279.28	v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 
278.25/279.28	v -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 
278.25/279.28	v -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 
278.25/279.28	v x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 
278.25/279.28	v -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 
278.25/279.28	v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 
278.25/279.28	v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 
278.25/279.28	v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 
278.25/279.28	v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 
278.25/279.28	v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 
278.25/279.28	v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 
278.25/279.28	v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 
278.25/279.28	v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 
278.25/279.28	v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 
278.25/279.28	v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 
278.25/279.28	v -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 
278.25/279.28	v -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 
278.25/279.28	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 
278.25/279.28	v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 
278.25/279.28	v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 
278.25/279.28	v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 
278.25/279.28	v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 
278.25/279.28	v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 
278.25/279.28	v x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 
278.25/279.28	v -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
278.25/279.28	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
278.25/279.28	v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 
278.25/279.28	v -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 
278.25/279.28	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 
278.25/279.28	v -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 
278.25/279.28	v -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 
278.25/279.28	v -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 
278.25/279.28	v -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 
278.25/279.28	v -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 
278.25/279.28	v -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 
278.25/279.28	v -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 
278.25/279.28	v -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 
278.25/279.28	v -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 
278.25/279.28	v -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 
278.25/279.28	v -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 
278.25/279.28	v -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 
278.25/279.28	v -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 
278.25/279.28	v -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 
278.25/279.28	v -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 
278.25/279.28	v -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 
278.25/279.28	v -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 
278.25/279.28	v -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 
278.25/279.28	v -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 
278.25/279.28	v -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 
278.25/279.28	v -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 
278.25/279.28	v -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 
278.25/279.28	v -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 
278.25/279.28	v -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 
278.25/279.28	v -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 
278.25/279.28	v -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 
278.25/279.28	v -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 
278.25/279.28	v -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 
278.25/279.28	v -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 
278.25/279.28	v -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 
278.25/279.28	v -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 
278.25/279.28	v -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 
278.25/279.28	v -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 
278.25/279.28	v -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 
278.25/279.28	v -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 
278.25/279.28	v -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 
278.25/279.28	v -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 
278.25/279.28	v -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 
278.25/279.28	v -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 
278.25/279.28	v -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 
278.25/279.28	v -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 
278.25/279.28	v -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 
278.25/279.28	v -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 
278.25/279.28	v -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 
278.25/279.28	v -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 
278.25/279.28	v -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 
278.25/279.28	v -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 
278.25/279.28	v -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 
278.25/279.28	v -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 
278.25/279.28	v -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 
278.25/279.28	v -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 
278.25/279.28	v -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 
278.25/279.28	v -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 
278.25/279.28	v -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 
278.25/279.28	v -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 
278.25/279.28	v -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 
278.25/279.28	v -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 
278.25/279.28	v -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 
278.25/279.28	v -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 
278.25/279.28	v -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 x6661 -x6660 -x6659 -x6658 -x6657 -x6656 
278.25/279.28	v -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 
278.25/279.28	v -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 
278.25/279.28	v -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 
278.25/279.28	v -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 
278.25/279.28	v -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 
278.25/279.28	v -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 
278.25/279.28	v -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 
278.25/279.28	v -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 
278.25/279.28	v -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 
278.25/279.28	v -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 x6481 -x6480 -x6479 -x6478 -x6477 
278.25/279.28	v -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 
278.25/279.28	v -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 
278.25/279.28	v -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 
278.25/279.28	v -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 
278.25/279.28	v -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 
278.25/279.28	v -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 
278.25/279.28	v -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 
278.25/279.28	v -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 
278.25/279.28	v -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 
278.25/279.28	v -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 
278.25/279.28	v -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 
278.25/279.28	v -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 
278.25/279.28	v -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 
278.25/279.28	v -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 
278.25/279.28	v -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 
278.25/279.28	v -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 
278.25/279.28	v -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 
278.25/279.28	v -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 
278.25/279.28	v -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 
278.25/279.28	v -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 
278.25/279.28	v -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 
278.25/279.28	v -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 
278.25/279.28	v -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 
278.25/279.28	v -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 
278.25/279.28	v -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 
278.25/279.28	v -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 
278.25/279.28	v -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 
278.25/279.28	v -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 
278.25/279.28	v -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 
278.25/279.28	v -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 
278.25/279.28	v -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 
278.25/279.28	v -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 
278.25/279.28	v -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 
278.25/279.28	v -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 
278.25/279.28	v -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 
278.25/279.28	v -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 
278.25/279.28	v -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 
278.25/279.28	v -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 
278.25/279.28	v -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 
278.25/279.28	v -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 
278.25/279.28	v -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 
278.25/279.28	v -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 
278.25/279.28	v -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 
278.25/279.28	v -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 
278.25/279.28	v -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 
278.25/279.28	v -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 
278.25/279.28	v -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 
278.25/279.28	v -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 
278.25/279.28	v -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 
278.25/279.28	v -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 
278.25/279.28	v -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 
278.25/279.28	v -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 
278.25/279.28	v -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 
278.25/279.28	v -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 
278.25/279.28	v -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 
278.25/279.28	v -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 
278.25/279.28	v -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 
278.25/279.28	v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 
278.25/279.28	v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 
278.25/279.28	v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 
278.25/279.28	v -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 
278.25/279.28	v -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 
278.25/279.28	v -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 
278.25/279.28	v -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 
278.25/279.28	v -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 
278.25/279.28	v -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 
278.25/279.28	v -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 
278.25/279.28	v -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 
278.25/279.28	v -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 
278.25/279.28	v -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 
278.25/279.28	v -x5226 -x5225 -x5224 -x5223 -x5222 x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 
278.25/279.28	v -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 
278.25/279.28	v -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 
278.25/279.28	v -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 
278.25/279.28	v -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 
278.25/279.28	v -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 
278.25/279.28	v -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 
278.25/279.28	v -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 
278.25/279.28	v -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 
278.25/279.28	v -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 
278.25/279.28	v -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 
278.25/279.28	v -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 
278.25/279.28	v -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 
278.25/279.28	v -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 
278.25/279.28	v -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 
278.25/279.28	v -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 
278.25/279.28	v -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 
278.25/279.28	v -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 
278.25/279.28	v -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 
278.25/279.28	v -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 
278.25/279.28	v -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 
278.25/279.28	v -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 
278.25/279.28	v -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 
278.25/279.28	v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 
278.25/279.28	v -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 
278.25/279.28	v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 
278.25/279.28	v -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 
278.25/279.28	v -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 
278.25/279.28	v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 
278.25/279.28	v -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 
278.25/279.28	v -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 
278.25/279.28	v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 
278.25/279.28	v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 
278.25/279.28	v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 
278.25/279.28	v -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 
278.25/279.28	v -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 
278.25/279.28	v -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 
278.25/279.28	v -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 
278.25/279.28	v -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 
278.25/279.28	v -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 
278.25/279.28	v -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 
278.25/279.28	v -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 
278.25/279.28	v -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 
278.25/279.28	v -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 
278.25/279.28	v -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 
278.25/279.28	v -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 
278.25/279.28	v -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 
278.25/279.28	v -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 
278.25/279.28	v -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 
278.25/279.28	v -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 
278.25/279.28	v -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 
278.25/279.28	v -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 
278.25/279.28	v -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 
278.25/279.28	v -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 
278.25/279.28	v -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 
278.25/279.28	v -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 
278.25/279.28	v -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 
278.25/279.28	v -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 
278.25/279.28	v -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 
278.25/279.28	v -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 
278.25/279.28	v -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 
278.25/279.28	v -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 
278.25/279.28	v -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 
278.25/279.28	v -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 
278.25/279.28	v -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 
278.25/279.28	v -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 
278.25/279.28	v -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 
278.25/279.28	v -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 
278.25/279.28	v -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 
278.25/279.28	v -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 
278.25/279.28	v -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 
278.25/279.28	v -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 
278.25/279.28	v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 
278.25/279.28	v -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 
278.25/279.28	v -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 
278.25/279.28	v -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 
278.25/279.28	v -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 
278.25/279.28	v -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 
278.25/279.28	v -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 
278.25/279.28	v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 
278.25/279.28	v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 
278.25/279.28	v -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 
278.25/279.28	v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 
278.25/279.28	v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 
278.25/279.28	v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 
278.25/279.28	v -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 
278.25/279.28	v -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 
278.25/279.28	v -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 
278.25/279.28	v -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 
278.25/279.28	v -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 
278.25/279.28	v -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 
278.25/279.28	v -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 
278.25/279.28	v -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 
278.25/279.28	v -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 
278.25/279.28	v -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 
278.25/279.28	v -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 
278.25/279.28	v -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 
278.25/279.28	v -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 
278.25/279.28	v -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 
278.25/279.28	v -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 
278.25/279.28	v -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 
278.25/279.28	v -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 
278.25/279.28	v -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 
278.25/279.28	v -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 
278.25/279.28	v -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 
278.25/279.28	v -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 
278.25/279.28	v -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 
278.25/279.28	v -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 
278.25/279.28	v -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 
278.25/279.28	v -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 
278.25/279.28	v -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 
278.25/279.28	v -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 
278.25/279.28	v -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 
278.25/279.28	v -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 
278.25/279.28	v -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 
278.25/279.28	v -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 
278.25/279.28	v -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 
278.25/279.28	v -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 
278.25/279.28	v -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 
278.25/279.28	v -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 
278.25/279.28	v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 
278.25/279.28	v -x3065 -x3064 -x3063 -x3062 x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 
278.25/279.28	v -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 
278.25/279.28	v -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 
278.25/279.28	v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 
278.25/279.28	v -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 
278.25/279.28	v -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 
278.25/279.28	v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 
278.25/279.28	v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 
278.25/279.28	v -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 
278.25/279.28	v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 
278.25/279.28	v -x2886 -x2885 -x2884 -x2883 -x2882 x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 
278.25/279.28	v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 
278.25/279.28	v -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 
278.25/279.28	v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 
278.25/279.28	v -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 
278.25/279.28	v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
278.25/279.28	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 
278.25/279.28	v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 
278.25/279.28	v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 
278.25/279.28	v -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 
278.25/279.28	v -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 
278.25/279.28	v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 
278.25/279.28	v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 
278.25/279.28	v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 
278.25/279.28	v -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 
278.25/279.28	v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 
278.25/279.28	v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 
278.25/279.28	v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 
278.25/279.28	v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
278.25/279.28	v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 
278.25/279.28	v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 
278.25/279.28	v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 
278.25/279.28	v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 
278.25/279.28	v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 
278.25/279.28	v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 
278.25/279.28	v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 
278.25/279.28	v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 
278.25/279.28	v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 
278.25/279.28	v -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 
278.25/279.28	v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 
278.25/279.28	v -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 
278.25/279.28	v -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 
278.25/279.28	v -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
278.25/279.28	c SCIP Status        : problem is solved [optimal solution found]
278.25/279.28	c Total Time         :     279.19
278.25/279.28	c   solving          :     279.19
278.25/279.28	c   presolving       :       0.69 (included in solving)
278.25/279.28	c   reading          :       0.03 (included in solving)
278.25/279.28	c   copying          :       0.07 (6 #copies) (minimal 0.01, maximal 0.01, average 0.01)
278.25/279.28	c Original Problem   :
278.25/279.28	c   Problem name     : HOME/instance-4485192-1751313715.opb
278.25/279.28	c   Variables        : 8600 (8600 binary, 0 integer, 0 implicit integer, 0 continuous)
278.25/279.28	c   Constraints      : 2806 initial, 2806 maximal
278.25/279.28	c   Objective        : minimize, 5400 non-zeros (abs.min = 1, abs.max = 5.36871e+08)
278.25/279.28	c Presolved Problem  :
278.25/279.28	c   Problem name     : t_HOME/instance-4485192-1751313715.opb
278.25/279.28	c   Variables        : 2160 (2160 binary, 0 integer, 0 implicit integer, 0 continuous)
278.25/279.28	c   Constraints      : 5862 initial, 6232 maximal
278.25/279.28	c   Objective        : minimize, 180 non-zeros (abs.min = 1, abs.max = 1)
278.25/279.28	c   Nonzeros         : 32140 constraint, 25505 clique table
278.25/279.28	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
278.25/279.28	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   domcol           :       0.04       0.00      8       2280          0          0          0          0          0          0          0          0
278.25/279.28	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   dualsparsify     :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
278.25/279.28	c   gateextraction   :       0.04       0.00     22          0          0          0          0          0          0          0          0          0
278.25/279.28	c   implics          :       0.00       0.00     28          0          0          0          0          0          0          0          0          0
278.25/279.28	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   milp             :       0.17       0.00      4         28          0          0          0          0          0          0          0          0
278.25/279.28	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   sparsify         :       0.05       0.00      2          0          0          0          0          0          0          0          0          0
278.25/279.28	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   trivial          :       0.00       0.00     42          0          0          0          0          0          0          0          0          0
278.25/279.28	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   dualfix          :       0.00       0.00     42       1800          0          0          0          0          0          0          0          0
278.25/279.28	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   probing          :       0.09       0.00      7        224         20          0          0          0          0          0          0          0
278.25/279.28	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   symmetry         :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
278.25/279.28	c   vbounds          :       0.00       0.00      2          2          0          0          0          0          0          0          0          0
278.25/279.28	c   knapsack         :       0.03       0.00     86          0          0          0          0          0        560       5260       2841      22777
278.25/279.28	c   setppc           :       0.12       0.00     86          0          0          0          0          0       1590          0          0          0
278.25/279.28	c   linear           :       0.05       0.01     64        874         72          0        675          0        216        201        105      20670
278.25/279.28	c   logicor          :       0.03       0.00     74       1140          0          0          0          0         35          0          0       5715
278.25/279.28	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
278.25/279.28	c   root node        :          -          -      -       1221          -          -       1221          -          -          -          -          -
278.25/279.28	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
278.25/279.28	c   benderslp        :          0          0          0          0        326          0          0         10          0          0          0          0          0          0          0
278.25/279.28	c   integral         :          0          0          0          0        326          0          0         10          0          1        456          0          0        180        436
278.25/279.28	c   knapsack         :        220        220         11      12712          0          0          0          4       1774         43       2898        699         62          0          0
278.25/279.28	c   setppc           :       4310+      4320         11      12669          0          0          0          2      35129         33      18907          2          0          0          0
278.25/279.28	c   linear           :        236+       287         12      12636          0          0          0          5       7090        331      12994          0          0          0          0
278.25/279.28	c   logicor          :       1096+      1440         11       7558          0          0          0          1       1051         48       2572          6          4          0          0
278.25/279.28	c   benders          :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
278.25/279.28	c   fixedvar         :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
278.25/279.28	c   countsols        :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
278.25/279.28	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
278.25/279.28	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   integral         :      85.96       0.00       0.00       0.00      85.96       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   knapsack         :       0.11       0.00       0.03       0.04       0.00       0.00       0.00       0.00       0.00       0.03
278.25/279.28	c   setppc           :       0.24       0.00       0.00       0.11       0.00       0.00       0.00       0.00       0.00       0.12
278.25/279.28	c   linear           :       0.19       0.01       0.00       0.10       0.00       0.00       0.00       0.00       0.01       0.08
278.25/279.28	c   logicor          :       0.11       0.00       0.00       0.08       0.00       0.00       0.00       0.00       0.00       0.03
278.25/279.28	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
278.25/279.28	c   dualfix          :          1          0          0          0
278.25/279.28	c   genvbounds       :          0          0          0          0
278.25/279.28	c   nlobbt           :          0          0          0          0
278.25/279.28	c   obbt             :          0          0          0          0
278.25/279.28	c   probing          :          0          0          0          0
278.25/279.28	c   pseudoobj        :       2571          0          0          0
278.25/279.28	c   redcost          :       1368          0          0      17525
278.25/279.28	c   rootredcost      :          2          0          0          0
278.25/279.28	c   symmetry         :       1858          0          0          0
278.25/279.28	c   vbounds          :       6775          0          0          0
278.25/279.28	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
278.25/279.28	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   probing          :       0.09       0.00       0.09       0.00       0.00       0.00
278.25/279.28	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   redcost          :       0.07       0.00       0.00       0.07       0.00       0.00
278.25/279.28	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
278.25/279.28	c   symmetry         :       0.10       0.00       0.03       0.07       0.00       0.01
278.25/279.28	c   vbounds          :       0.01       0.00       0.00       0.01       0.00       0.00
278.25/279.28	c Symmetry           :
278.25/279.28	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
278.25/279.28	c   orbital reduction:          0 reductions applied,          0 cutoffs
278.25/279.28	c   lexicographic red:          0 reductions applied,          0 cutoffs
278.25/279.28	c   shadow tree time :       0.00 s
278.25/279.28	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
278.25/279.28	c   propagation      :       0.01        214        211          -        539       27.9         83       35.8          -          -          -
278.25/279.28	c   infeasible LP    :       0.08         77         65          -        588      224.3          2       40.5          4       44.2          0
278.25/279.28	c   bound exceed. LP :       0.35        197          2          -         13       60.3          0        0.0          0        0.0       1800
278.25/279.28	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
278.25/279.28	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
278.25/279.28	c   applied globally :       0.03          -          -          0        811       59.0          -          -          4          -          -
278.25/279.28	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
278.25/279.28	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
278.25/279.28	c   cut pool         :       0.96          -        333         21          -          -       7303      18776          -          -          -          -          -    (maximal pool size:       4230)
278.25/279.28	c   aggregation      :       1.03       0.00        174         11          0          0        847       4947          3        704        703          1          0
278.25/279.28	c   > cmir           :          -          -          -          -          -          -          -       3134          0        367        367          0          -
278.25/279.28	c   > flowcover      :          -          -          -          -          -          -          -       1105          0        229        229          0          -
278.25/279.28	c   > knapsackcover  :          -          -          -          -          -          -          -        708          3        108        107          1          -
278.25/279.28	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   clique           :       0.04       0.00         11         11          0          0         54        335          0         62         62          0          0
278.25/279.28	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   gomory           :      23.46       0.00        123         10          0          0       5995      11817          2        400        400          0          0
278.25/279.28	c   > gomorymi       :          -          -          -          -          -          -          -       6639          2        227        227          0          -
278.25/279.28	c   > strongcg       :          -          -          -          -          -          -          -       5178          0        173        173          0          -
278.25/279.28	c   impliedbounds    :       0.04       0.00        174         11          0          0        196        740          0        479        479          0          0
278.25/279.28	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
278.25/279.28	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   multilinear      :       0.00       0.00         34         11          0          0          0          0          0          0          0          0          0
278.25/279.28	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
278.25/279.28	c   rapidlearning    :       0.43       0.00          3          1          0        695          0          0          0          0          0          0         61
278.25/279.28	c   rlt              :       0.00       0.00         43         10          0          0          0          0          0          0          0          0          0
278.25/279.28	c   zerohalf         :       0.62       0.00        124         11          0          0        233        937         17        317        309          8          0
278.25/279.28	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
278.25/279.28	c   hybrid           :       0.09       0.00        176         11       2028          0      17477        238          0       2702
278.25/279.28	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c Pricers            :   ExecTime  SetupTime      Calls       Vars
278.25/279.28	c   problem variables:       0.00          -          0          0
278.25/279.28	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
278.25/279.28	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c   relpscost        :      85.96       0.00        326          0          0          1        456          0        236        436
278.25/279.28	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
278.25/279.28	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
278.25/279.28	c   LP solutions     :       0.00          -          -          0          0
278.25/279.28	c   relax solutions  :       0.00          -          -          0          0
278.25/279.28	c   pseudo solutions :       0.00          -          -          0          0
278.25/279.28	c   strong branching :       0.02          -          -          1          1
278.25/279.28	c   actconsdiving    :       0.00       0.00          0          0          0
278.25/279.28	c   adaptivediving   :       2.48       0.00          7          0          0
278.25/279.28	c   alns             :       0.00       0.00          0          0          0
278.25/279.28	c   bound            :       0.00       0.00          0          0          0
278.25/279.28	c   clique           :       0.02       0.00          1          0          0
278.25/279.28	c   coefdiving       :       0.00       0.00          0          0          0
278.25/279.28	c   completesol      :       0.00       0.00          0          0          0
278.25/279.28	c   conflictdiving   :       2.31       0.00          9          0          0
278.25/279.28	c   crossover        :       0.00       0.00          0          0          0
278.25/279.28	c   dins             :       0.00       0.00          0          0          0
278.25/279.28	c   distributiondivin:       2.59       0.00          9          0          0
278.25/279.28	c   dps              :       0.00       0.00          0          0          0
278.25/279.28	c   dualval          :       0.00       0.00          0          0          0
278.25/279.28	c   farkasdiving     :       0.00       0.00          0          0          0
278.25/279.28	c   feasjump         :       0.02       0.00          1          0          0
278.25/279.28	c   feaspump         :       0.85       0.00          1          0          0
278.25/279.28	c   fixandinfer      :       0.00       0.00          0          0          0
278.25/279.28	c   fracdiving       :       1.39       0.00          9          0          0
278.25/279.28	c   gins             :       0.03       0.00          1          0          0
278.25/279.28	c   guideddiving     :       1.64       0.00         10          0          0
278.25/279.28	c   indcoefdiving    :       0.00       0.00          0          0          0
278.25/279.28	c   indicator        :       0.00       0.00          0          0          0
278.25/279.28	c   indicatordiving  :       0.00       0.00          0          0          0
278.25/279.28	c   indoneopt        :       0.00       0.00          0          0          0
278.25/279.28	c   indrounding      :       0.00       0.00          0          0          0
278.25/279.28	c   indtwoopt        :       0.00       0.00          0          0          0
278.25/279.28	c   intdiving        :       0.00       0.00          0          0          0
278.25/279.28	c   intshifting      :       0.00       0.00          0          0          0
278.25/279.28	c   linesearchdiving :       0.59       0.00          9          0          0
278.25/279.28	c   localbranching   :       0.00       0.00          0          0          0
278.25/279.28	c   locks            :       0.01       0.00          1          0          0
278.25/279.28	c   lpface           :       0.00       0.00          0          0          0
278.25/279.28	c   mpec             :       0.00       0.00          0          0          0
278.25/279.28	c   multistart       :       0.00       0.00          0          0          0
278.25/279.28	c   mutation         :       0.00       0.00          0          0          0
278.25/279.28	c   nlpdiving        :       0.00       0.00          0          0          0
278.25/279.28	c   objpscostdiving  :       5.17       0.00          1          0          0
278.25/279.28	c   octane           :       0.00       0.00          0          0          0
278.25/279.28	c   ofins            :       0.00       0.00          0          0          0
278.25/279.28	c   oneopt           :       0.00       0.00          1          0          0
278.25/279.28	c   padm             :       0.00       0.00          0          0          0
278.25/279.28	c   proximity        :       0.00       0.00          0          0          0
278.25/279.28	c   pscostdiving     :       3.98       0.00          9          0          0
278.25/279.28	c   randrounding     :       0.02       0.00         12          0          0
278.25/279.28	c   rens             :       0.03       0.00          1          0          0
278.25/279.28	c   reoptsols        :       0.00       0.00          0          0          0
278.25/279.28	c   repair           :       0.00       0.00          0          0          0
278.25/279.28	c   rins             :       0.04       0.00          1          0          0
278.25/279.28	c   rootsoldiving    :       3.80       0.00          5          0          0
278.25/279.28	c   rounding         :       0.06       0.00        283          0          0
278.25/279.28	c   scheduler        :       0.00       0.00          0          0          0
278.25/279.28	c   shiftandpropagate:       0.01       0.00          1          0          0
278.25/279.28	c   shifting         :       0.17       0.00        142          0          0
278.25/279.28	c   simplerounding   :       0.01       0.00        992          0          0
278.25/279.28	c   smallcard        :       0.00       0.00          0          0          0
278.25/279.28	c   subnlp           :       0.00       0.00          0          0          0
278.25/279.28	c   trivial          :       0.00       0.00          2          0          0
278.25/279.28	c   trivialnegation  :       0.00       0.00          0          0          0
278.25/279.28	c   trustregion      :       0.00       0.00          0          0          0
278.25/279.28	c   trysol           :       0.00       0.00          0          0          0
278.25/279.28	c   twoopt           :       0.00       0.00          0          0          0
278.25/279.28	c   undercover       :       0.00       0.00          0          0          0
278.25/279.28	c   vbounds          :       0.02       0.00          1          0          0
278.25/279.28	c   veclendiving     :       1.79       0.00          8          0          0
278.25/279.28	c   zeroobj          :       0.00       0.00          0          0          0
278.25/279.28	c   zirounding       :       0.03       0.00        218          0          0
278.25/279.28	c   other solutions  :          -          -          -          0          -
278.25/279.28	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
278.25/279.28	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
278.25/279.28	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
278.25/279.28	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
278.25/279.28	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
278.25/279.28	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
278.25/279.28	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
278.25/279.28	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
278.25/279.28	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
278.25/279.28	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
278.25/279.28	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
278.25/279.28	c   primal LP        :       0.04         60         15       3.75     335.61       0.04         56
278.25/279.28	c   dual LP          :     137.19       1209    1156712    1552.63    8431.59       0.38        464
278.25/279.28	c   lex dual LP      :       0.00          0          0       0.00          -
278.25/279.28	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
278.25/279.28	c   resolve instable :       0.23          3       2813     937.67   12227.94
278.25/279.28	c   diving/probing LP:      27.35        429     233925     545.28    8551.58
278.25/279.28	c   strong branching :      82.90       1098     691906     630.15    8346.10          -          -       1309
278.25/279.28	c     (at root node) :          -         11       9845     895.00          -
278.25/279.28	c   conflict analysis:       0.27        180       1800      10.00    6743.57
278.25/279.28	c B&B Tree           :
278.25/279.28	c   number of runs   :          1
278.25/279.28	c   nodes            :        433 (218 internal, 215 leaves)
278.25/279.28	c   feasible leaves  :          0
278.25/279.28	c   infeas. leaves   :         43
278.25/279.28	c   objective leaves :        172
278.25/279.28	c   nodes (total)    :        433 (218 internal, 215 leaves)
278.25/279.28	c   nodes left       :          0
278.25/279.28	c   max depth        :         14
278.25/279.28	c   max depth (total):         14
278.25/279.28	c   backtracks       :        294 (67.9%)
278.25/279.28	c   early backtracks :          0 (0.0%)
278.25/279.28	c   nodes exc. ref.  :          0 (0.0%)
278.25/279.28	c   delayed cutoffs  :          4
278.25/279.28	c   repropagations   :        169 (1762 domain reductions, 1 cutoffs)
278.25/279.28	c   avg switch length:       9.62
278.25/279.28	c   switching time   :       0.42
278.25/279.28	c Root Node          :
278.25/279.28	c   First LP value   : +6.14400000000000e+03
278.25/279.28	c   First LP Iters   :       2100 (8006.37 Iter/sec)
278.25/279.28	c   First LP Time    :       0.26
278.25/279.28	c   Final Dual Bound : +6.14400000000000e+03
278.25/279.28	c   Final Root Iters :      14139
278.25/279.28	c   Root LP Estimate : +1.44926825268585e+04
278.25/279.28	c Solution           :
278.25/279.28	c   Solutions found  :          1 (1 improvements)
278.25/279.28	c   First Solution   : +9.21600000000000e+03   (in run 1, after 9 nodes, 21.13 seconds, depth 9, found by <relaxation>)
278.25/279.28	c   Gap First Sol.   :      50.00 %
278.25/279.28	c   Gap Last Sol.    :      50.00 %
278.25/279.28	c   Primal Bound     : +9.21600000000000e+03   (in run 1, after 9 nodes, 21.13 seconds, depth 9, found by <relaxation>)
278.25/279.28	c   Dual Bound       : +9.21600000000000e+03
278.25/279.28	c   Gap              :       0.00 %
278.25/279.28	c Integrals          :      Total       Avg%
278.25/279.28	c   primal-dual      :    9634.21      34.51
278.25/279.28	c   primal-ref       :          -          - (not evaluated)
278.25/279.28	c   dual-ref         :          -          - (not evaluated)
278.55/279.57	c Time complete: 278.636.

OK	9216

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: 63708 MiB (63055 MiB free)
  memory of node 1: 64465 MiB (63985 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485192-1751313715/watcher-4485192-1751313715 -o /tmp/evaluation-result-4485192-1751313715/solver-4485192-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43195 --watchdog 3760 pbscip -f HOME/instance-4485192-1751313715.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
Starting watchdog thread
solver pid=43242, runsolver pid=43236
Current StackSize limit: 8192 KiB


[startup+0.100018 s]*
/proc/loadavg: 0.68 0.99 1.52 5/265 43255
/proc/meminfo: memFree=130062636/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=51336 memory=23808 CPUtime=0 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 3030 0 0 0 0 0 0 0 20 0 1 0 47049380 52568064 5952 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 12834 5952 3232 3530 0 4285 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 51336 KiB
Current children cumulated memory: 23808 KiB

[startup+0.2057 s]*
/proc/loadavg: 0.68 0.99 1.52 4/265 43255
/proc/meminfo: memFree=129874656/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=82852 memory=55636 CPUtime=0.08 cores=0,2
/proc/43242/stat : 43242 (pbscip) D 43236 43242 43185 0 -1 4194304 11295 0 0 0 7 1 0 0 20 0 1 0 47049380 84840448 13909 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 1 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 20713 13909 3648 3530 0 12164 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 82852 KiB
Current children cumulated memory: 55636 KiB

[startup+0.305592 s]*
/proc/loadavg: 0.68 0.99 1.52 5/265 43255
/proc/meminfo: memFree=129817452/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=88504 memory=61632 CPUtime=0.16 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 13822 0 0 0 14 2 0 0 20 0 1 0 47049380 90628096 15408 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 22126 15408 3776 3530 0 13577 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 88504 KiB
Current children cumulated memory: 61632 KiB

[startup+0.700178 s]
/proc/loadavg: 0.95 1.04 1.53 5/265 43255
/proc/meminfo: memFree=129653116/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=100924 memory=73580 CPUtime=0.55 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 18107 0 0 0 52 3 0 0 20 0 1 0 47049380 103346176 18395 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 25231 18395 3776 3530 0 16682 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 100924 KiB
Current children cumulated memory: 73580 KiB

[startup+1.50017 s]
/proc/loadavg: 0.95 1.04 1.53 5/265 43255
/proc/meminfo: memFree=129487668/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=136852 memory=103404 CPUtime=1.35 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 25442 0 0 0 131 4 0 0 20 0 1 0 47049380 140136448 25851 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 34213 25851 3936 3530 0 25664 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 136852 KiB
Current children cumulated memory: 103404 KiB

[startup+3.10536 s]
/proc/loadavg: 0.95 1.04 1.53 5/265 43255
/proc/meminfo: memFree=129234960/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=171900 memory=137012 CPUtime=2.95 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 34663 0 0 0 290 5 0 0 20 0 1 0 47049380 176025600 34253 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 42975 34253 3968 3530 0 34426 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 171900 KiB
Current children cumulated memory: 137012 KiB

[startup+6.30011 s]
/proc/loadavg: 1.19 1.09 1.54 5/265 43255
/proc/meminfo: memFree=129172084/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=183368 memory=146996 CPUtime=6.13 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 37169 0 0 0 608 5 0 0 20 0 1 0 47049380 187768832 36749 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 45842 36749 3968 3530 0 37293 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 183368 KiB
Current children cumulated memory: 146996 KiB

[startup+12.7002 s]
/proc/loadavg: 1.50 1.15 1.56 5/265 43255
/proc/meminfo: memFree=129088932/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=208188 memory=168772 CPUtime=12.51 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 43241 0 0 0 1245 6 0 0 20 0 1 0 47049380 213184512 42193 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 52047 42193 3968 3530 0 43498 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 208188 KiB
Current children cumulated memory: 168772 KiB

[startup+25.5001 s]
/proc/loadavg: 1.88 1.25 1.59 5/265 43255
/proc/meminfo: memFree=128993512/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=219264 memory=179908 CPUtime=25.28 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 46049 0 0 0 2521 7 0 0 20 0 1 0 47049380 224526336 44977 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 54816 44977 3968 3530 0 46267 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 219264 KiB
Current children cumulated memory: 179908 KiB

[startup+51.1055 s]
/proc/loadavg: 2.78 1.53 1.67 5/266 43257
/proc/meminfo: memFree=128932908/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=219264 memory=179908 CPUtime=50.81 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 46049 0 0 0 5074 7 0 0 20 0 1 0 47049380 224526336 44977 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 54816 44977 3968 3530 0 46267 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 219264 KiB
Current children cumulated memory: 179908 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.92 1.80 5/264 43259
/proc/meminfo: memFree=128843208/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=241832 memory=199496 CPUtime=101.86 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 51680 0 0 0 10178 8 0 0 20 0 1 0 47049380 247635968 49874 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 60458 49874 4128 3530 0 51909 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 241832 KiB
Current children cumulated memory: 199496 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.34 1.95 5/264 43261
/proc/meminfo: memFree=128581768/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=267184 memory=220616 CPUtime=161.69 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 56980 0 0 0 16160 9 0 0 20 0 1 0 47049380 273596416 55154 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 66796 55154 4128 3530 0 58247 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 267184 KiB
Current children cumulated memory: 220616 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.66 2.09 5/265 43264
/proc/meminfo: memFree=128464872/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=283884 memory=237256 CPUtime=221.52 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 61157 0 0 0 22142 10 0 0 20 0 1 0 47049380 290697216 59314 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 70971 59314 4128 3530 0 62422 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 283884 KiB
Current children cumulated memory: 237256 KiB

[startup+279.587 s]
# the end of solver process 43242 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=278.52 s, system=0.128424 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+230.4 s]
/proc/loadavg: 4.04 2.68 2.10 5/265 43264
/proc/meminfo: memFree=128460956/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=283884 memory=237256 CPUtime=229.59 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 61157 0 0 0 22949 10 0 0 20 0 1 0 47049380 290697216 59314 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 70971 59314 4128 3530 0 62422 0
Current children cumulated CPU time: 229.59 s
Current children cumulated vsize: 283884 KiB
Current children cumulated memory: 237256 KiB

[startup+256 s]*
/proc/loadavg: 4.10 2.82 2.17 5/265 43265
/proc/meminfo: memFree=128450064/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=287608 memory=238536 CPUtime=255.13 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 61479 0 0 0 25502 11 0 0 20 0 1 0 47049380 294510592 59634 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 71902 59634 4128 3530 0 63353 0
Current children cumulated CPU time: 255.13 s
Current children cumulated vsize: 287608 KiB
Current children cumulated memory: 238536 KiB

[startup+268.8 s]
/proc/loadavg: 4.08 2.86 2.19 5/265 43265
/proc/meminfo: memFree=128449792/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=291552 memory=239432 CPUtime=267.88 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 61713 0 0 0 26777 11 0 0 20 0 1 0 47049380 298549248 59858 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 72888 59858 4128 3530 0 64339 0
Current children cumulated CPU time: 267.88 s
Current children cumulated vsize: 291552 KiB
Current children cumulated memory: 239432 KiB

[startup+275.2 s]
/proc/loadavg: 4.08 2.88 2.20 5/265 43265
/proc/meminfo: memFree=128409276/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=297684 memory=242632 CPUtime=274.26 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 62491 0 0 0 27415 11 0 0 20 0 1 0 47049380 304828416 60658 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 74421 60658 4128 3530 0 65872 0
Current children cumulated CPU time: 274.26 s
Current children cumulated vsize: 297684 KiB
Current children cumulated memory: 242632 KiB

[startup+276.8 s]
/proc/loadavg: 4.07 2.90 2.21 5/265 43265
/proc/meminfo: memFree=128409528/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=298252 memory=242632 CPUtime=275.86 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 62497 0 0 0 27575 11 0 0 20 0 1 0 47049380 305410048 60658 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 74563 60658 4128 3530 0 66014 0
Current children cumulated CPU time: 275.86 s
Current children cumulated vsize: 298252 KiB
Current children cumulated memory: 242632 KiB

[startup+278.4 s]
/proc/loadavg: 4.07 2.90 2.21 5/265 43265
/proc/meminfo: memFree=128409552/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=298812 memory=242632 CPUtime=277.45 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 62505 0 0 0 27734 11 0 0 20 0 1 0 47049380 305983488 60658 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 74703 60658 4128 3530 0 66154 0
Current children cumulated CPU time: 277.45 s
Current children cumulated vsize: 298812 KiB
Current children cumulated memory: 242632 KiB

[startup+279.2 s]
/proc/loadavg: 4.07 2.90 2.21 5/265 43265
/proc/meminfo: memFree=128409568/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=299940 memory=242632 CPUtime=278.25 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 62507 0 0 0 27814 11 0 0 20 0 1 0 47049380 307138560 60658 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 74985 60658 4128 3530 0 66436 0
Current children cumulated CPU time: 278.25 s
Current children cumulated vsize: 299940 KiB
Current children cumulated memory: 242632 KiB

[startup+279.4 s]
/proc/loadavg: 4.07 2.90 2.21 5/265 43265
/proc/meminfo: memFree=128409568/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=299940 memory=242632 CPUtime=278.45 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 62507 0 0 0 27834 11 0 0 20 0 1 0 47049380 307138560 60658 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 74985 60658 4128 3530 0 66436 0
Current children cumulated CPU time: 278.45 s
Current children cumulated vsize: 299940 KiB
Current children cumulated memory: 242632 KiB

[startup+279.5 s]
/proc/loadavg: 4.07 2.90 2.21 5/265 43265
/proc/meminfo: memFree=128409568/131249996 swapFree=33005272/33010684
[pid=43242] ppid=43236 vsize=299940 memory=242632 CPUtime=278.55 cores=0,2
/proc/43242/stat : 43242 (pbscip) R 43236 43242 43185 0 -1 4194304 62507 0 0 0 27844 11 0 0 20 0 1 0 47049380 307138560 60658 18446744073709551615 4235264 18693293 140723990337152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34873344 140723990342025 140723990342124 140723990342124 140723990347726 0
/proc/43242/statm: 74985 60658 4128 3530 0 66436 0
Current children cumulated CPU time: 278.55 s
Current children cumulated vsize: 299940 KiB
Current children cumulated memory: 242632 KiB

Child status: 0

Real time (s): 279.587
CPU time (s): 278.649
CPU user time (s): 278.52
CPU system time (s): 0.128424
CPU usage (%): 99.6644
Max. virtual memory (cumulated for all children) (KiB): 299940
Max. memory (cumulated for all children) (KiB): 242632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.52
system time used= 0.128424
maximum resident set size= 242632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62513
page faults= 0
swaps= 0
block input operations= 80
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157
involuntary context switches= 631


# summary of solver processes directly reported to runsolver:
#   pid: 43242
#   total CPU time (s): 278.649
#   total CPU user time (s): 278.52
#   total CPU system time (s): 0.128424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.522553 second user time and 1.19826 second system time

The end

Begin job on nodeC023 at 2025-06-30 22:01:55
IDJOB=4485192
IDBENCH=146711
IDSOLVER=3365
FILE ID=nodeC023/4485192-1751313715
RUNJOBID= nodeC023-1751313715-43195
SLURM_JOB_ID= 9594317
Free space on /tmp= 433064 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485192-1751313715/watcher-4485192-1751313715 -o /tmp/evaluation-result-4485192-1751313715/solver-4485192-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43195 --watchdog 3760  pbscip -f HOME/instance-4485192-1751313715.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d56dac1e1561d870cabdc9c053ba8250
RANDOM SEED=40033737

nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.046
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.883
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.858
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.726
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.892
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.630
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.819
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.892
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130074716 kB
MemAvailable:   129727872 kB
Buffers:            1328 kB
Cached:           450648 kB
SwapCached:          540 kB
Active:           183680 kB
Inactive:         348496 kB
Active(anon):      33476 kB
Inactive(anon):    59948 kB
Active(file):     150204 kB
Inactive(file):   288548 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             82944 kB
Writeback:             0 kB
AnonPages:         83080 kB
Mapped:            98428 kB
Shmem:             13224 kB
KReclaimable:     102920 kB
Slab:             190916 kB
SReclaimable:     102920 kB
SUnreclaim:        87996 kB
KernelStack:        4024 kB
PageTables:         2704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432984 MiB
End job on nodeC023 at 2025-06-30 22:06:35