Trace number 4487732

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OR-Tools CP-SAT 9.14SAT (TO)2118 3600.06 1812.51

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
MD5SUM908a9c4c32d975b4e5850834449958a7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2076
Best CPU time to get the best result obtained on this benchmark3600.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints10000
Number of constraints which are clauses10000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 10000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10000
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10000
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.40/0.42	o 3100
1.17/0.82	o 2852
2.16/1.34	o 2733
2.95/1.78	o 2732
3.95/2.21	o 2598
4.95/2.70	o 2561
5.34/2.99	o 2548
5.55/3.00	o 2535
5.55/3.02	o 2534
5.55/3.03	o 2530
5.55/3.05	o 2528
5.55/3.05	o 2526
6.13/3.31	o 2522
6.13/3.31	o 2521
6.33/3.42	o 2520
7.33/3.94	o 2516
9.31/4.97	o 2515
9.71/5.16	o 2512
9.71/5.16	o 2510
9.71/5.18	o 2508
10.10/5.32	o 2501
10.10/5.34	o 2500
10.50/5.53	o 2494
10.50/5.53	o 2490
10.90/5.73	o 2489
11.10/5.84	o 2488
11.50/6.08	o 2484
11.50/6.08	o 2483
11.71/6.10	o 2482
11.89/6.21	o 2479
11.89/6.23	o 2478
11.89/6.29	o 2477
11.89/6.29	o 2474
12.49/6.59	o 2473
12.69/6.61	o 2472
13.49/7.02	o 2471
13.69/7.13	o 2469
14.67/7.64	o 2465
15.86/8.25	o 2464
15.86/8.29	o 2463
16.86/8.73	o 2461
17.06/8.82	o 2460
19.04/9.86	o 2458
19.44/10.05	o 2457
20.23/10.43	o 2456
20.23/10.43	o 2455
20.23/10.45	o 2453
21.43/11.08	o 2452
22.22/11.42	o 2451
22.22/11.44	o 2450
23.01/11.83	o 2449
24.20/12.45	o 2447
24.40/12.51	o 2446
25.80/13.23	o 2445
25.80/13.23	o 2444
25.80/13.25	o 2443
27.00/13.80	o 2442
28.98/14.88	o 2441
29.97/15.32	o 2440
31.36/16.07	o 2439
32.36/16.51	o 2437
33.15/16.96	o 2435
33.95/17.38	o 2434
35.14/17.99	o 2433
36.33/18.55	o 2432
36.53/18.60	o 2431
38.91/19.89	o 2430
39.11/19.91	o 2429
39.71/20.28	o 2428
40.50/20.65	o 2427
40.70/20.79	o 2426
42.29/21.58	o 2425
42.69/21.73	o 2424
42.69/21.76	o 2423
44.67/22.74	o 2422
45.67/23.28	o 2420
45.86/23.30	o 2419
46.26/23.57	o 2418
46.46/23.60	o 2417
47.06/23.97	o 2416
47.65/24.27	o 2411
47.85/24.36	o 2410
48.85/24.80	o 2409
49.05/24.91	o 2408
49.25/25.09	o 2407
51.03/25.90	o 2406
51.62/26.21	o 2405
52.02/26.46	o 2404
52.22/26.56	o 2403
54.01/27.46	o 2402
55.99/28.42	o 2401
56.39/28.68	o 2400
57.39/29.13	o 2399
59.38/30.13	o 2398
59.76/30.31	o 2397
59.76/30.32	o 2396
61.16/31.06	o 2394
61.36/31.14	o 2393
64.53/32.79	o 2391
65.34/33.14	o 2390
66.32/33.63	o 2389
67.91/34.40	o 2388
68.31/34.68	o 2387
69.31/35.12	o 2386
69.70/35.30	o 2385
70.10/35.50	o 2384
70.69/35.89	o 2383
71.30/36.10	o 2382
75.07/38.08	o 2381
78.24/39.63	o 2380
78.44/39.70	o 2379
78.84/39.92	o 2378
79.04/40.09	o 2377
79.43/40.28	o 2376
79.63/40.33	o 2375
80.03/40.51	o 2374
84.40/42.76	o 2373
86.78/43.92	o 2372
88.17/44.64	o 2371
88.77/44.93	o 2370
89.56/45.36	o 2369
90.16/45.64	o 2368
92.94/47.04	o 2367
94.73/47.93	o 2366
94.73/47.95	o 2365
95.13/48.12	o 2364
95.32/48.29	o 2363
95.72/48.44	o 2362
95.92/48.55	o 2361
97.50/49.33	o 2357
97.50/49.34	o 2356
98.50/49.88	o 2355
99.29/50.24	o 2354
100.09/50.60	o 2353
100.29/50.77	o 2352
100.69/50.93	o 2351
101.69/51.47	o 2350
102.68/51.97	o 2349
104.87/53.08	o 2348
105.26/53.28	o 2347
108.24/54.78	o 2346
108.84/55.02	o 2345
111.62/56.44	o 2344
114.00/57.62	o 2343
116.39/58.80	o 2342
118.17/59.73	o 2341
121.55/61.44	o 2340
122.55/61.99	o 2339
122.75/62.08	o 2338
123.34/62.31	o 2337
124.13/62.72	o 2335
124.53/62.93	o 2334
125.92/63.64	o 2333
128.91/65.10	o 2332
129.49/65.44	o 2331
133.07/67.21	o 2330
135.85/68.61	o 2329
136.85/69.19	o 2328
137.04/69.29	o 2327
147.57/74.58	o 2326
147.97/74.73	o 2325
151.94/76.70	o 2324
153.93/77.76	o 2323
155.32/78.41	o 2322
158.10/79.80	o 2321
167.24/84.46	o 2320
168.24/84.94	o 2319
172.01/86.83	o 2318
174.99/88.38	o 2317
177.77/89.72	o 2316
182.54/92.12	o 2315
182.73/92.20	o 2314
183.13/92.46	o 2313
184.12/92.94	o 2312
185.31/93.50	o 2311
188.10/94.94	o 2310
189.48/95.60	o 2309
190.29/96.08	o 2308
192.86/97.36	o 2307
194.46/98.15	o 2306
194.65/98.24	o 2305
206.77/104.39	o 2304
208.55/105.28	o 2303
208.75/105.38	o 2302
208.95/105.47	o 2301
209.35/105.67	o 2300
209.55/105.73	o 2299
209.95/105.94	o 2296
211.34/106.65	o 2295
213.72/107.80	o 2293
214.32/108.19	o 2292
215.11/108.51	o 2291
215.70/108.86	o 2290
216.11/109.06	o 2289
218.88/110.40	o 2288
219.28/110.63	o 2287
220.28/111.13	o 2286
220.28/111.17	o 2285
220.86/111.48	o 2284
223.64/112.82	o 2283
224.05/113.04	o 2282
225.43/113.70	o 2280
226.42/114.27	o 2279
227.42/114.71	o 2278
228.41/115.27	o 2277
229.20/115.66	o 2276
230.40/116.29	o 2274
231.20/116.67	o 2273
232.59/117.30	o 2272
232.99/117.52	o 2271
233.18/117.68	o 2270
234.57/118.34	o 2269
237.15/119.64	o 2268
237.35/119.78	o 2267
237.95/120.02	o 2266
238.15/120.15	o 2265
239.33/120.71	o 2264
239.73/120.97	o 2263
241.32/121.78	o 2261
241.92/122.06	o 2260
242.91/122.58	o 2259
244.69/123.41	o 2258
245.09/123.63	o 2257
245.09/123.68	o 2256
245.69/123.99	o 2255
246.88/124.57	o 2254
247.27/124.73	o 2253
247.47/124.80	o 2251
247.47/124.82	o 2250
248.86/125.51	o 2249
248.86/125.56	o 2248
250.65/126.47	o 2247
250.85/126.54	o 2246
250.85/126.59	o 2245
251.85/127.01	o 2244
253.63/127.96	o 2243
257.40/129.85	o 2242
258.39/130.31	o 2241
261.17/131.79	o 2240
262.96/132.65	o 2239
263.36/132.82	o 2238
265.14/133.76	o 2237
265.34/133.81	o 2236
265.54/133.98	o 2235
265.54/133.98	o 2234
266.33/134.33	o 2233
266.33/134.38	o 2232
268.52/135.43	o 2231
270.90/136.67	o 2230
272.29/137.37	o 2229
272.69/137.52	o 2228
272.89/137.65	o 2227
273.29/137.83	o 2226
273.29/137.87	o 2225
276.66/139.58	o 2224
282.23/142.39	o 2223
283.22/142.88	o 2222
285.01/143.75	o 2221
285.01/143.78	o 2220
285.21/143.85	o 2219
285.61/144.08	o 2218
289.97/146.24	o 2217
297.53/150.01	o 2216
302.48/152.51	o 2215
302.48/152.59	o 2214
302.88/152.71	o 2213
304.47/153.51	o 2212
304.67/153.66	o 2211
306.26/154.40	o 2210
308.64/155.60	o 2209
309.44/156.08	o 2208
309.83/156.24	o 2207
310.03/156.38	o 2206
311.62/157.13	o 2205
314.40/158.56	o 2204
317.18/159.90	o 2203
319.75/161.25	o 2202
323.13/162.91	o 2201
325.71/164.30	o 2200
327.90/165.33	o 2199
338.62/170.78	o 2198
346.96/174.97	o 2197
363.44/183.29	o 2195
410.34/206.87	o 2194
444.10/223.87	o 2193
454.83/229.29	o 2192
456.22/229.92	o 2190
463.57/233.69	o 2189
475.09/239.44	o 2188
482.64/243.21	o 2187
506.88/255.40	o 2186
567.07/285.78	o 2185
598.64/301.66	o 2184
602.01/303.31	o 2183
603.21/303.99	o 2182
607.77/306.26	o 2181
608.77/306.78	o 2180
610.16/307.41	o 2179
611.56/308.12	o 2178
612.54/308.69	o 2177
613.14/308.91	o 2176
624.26/314.59	o 2175
628.63/316.78	o 2174
628.83/316.84	o 2173
630.82/317.84	o 2172
632.61/318.75	o 2171
635.39/320.11	o 2170
637.77/321.35	o 2169
639.56/322.28	o 2168
653.66/329.30	o 2167
669.36/337.23	o 2166
672.14/338.67	o 2164
674.53/339.83	o 2163
677.30/341.23	o 2162
685.25/345.27	o 2161
687.23/346.23	o 2160
692.20/348.79	o 2159
693.19/349.25	o 2158
715.24/360.30	o 2157
741.66/373.68	o 2156
753.18/379.43	o 2155
809.80/407.91	o 2154
815.56/410.80	o 2153
818.34/412.29	o 2152
820.72/413.47	o 2151
821.32/413.76	o 2149
825.09/415.61	o 2148
825.09/415.69	o 2147
826.48/416.31	o 2146
893.02/449.84	o 2145
897.98/452.35	o 2144
904.14/455.47	o 2143
905.54/456.17	o 2142
905.73/456.23	o 2141
908.71/457.70	o 2140
908.71/457.74	o 2139
930.96/468.92	o 2138
931.16/469.07	o 2137
931.36/469.12	o 2136
932.54/469.79	o 2135
937.32/472.18	o 2134
940.29/473.61	o 2133
942.87/475.00	o 2132
1032.46/520.00	o 2131
1148.66/578.53	o 2130
1162.17/585.33	o 2129
1275.62/642.43	o 2128
1637.00/824.36	o 2127
1680.32/846.12	o 2126
1839.45/926.20	o 2125
1840.24/926.69	o 2124
2789.72/1404.62	o 2123
2952.41/1486.58	o 2122
3057.51/1539.40	o 2121
3110.94/1566.38	o 2120
3163.19/1592.69	o 2119
3540.64/1782.62	o 2118
3600.04/1812.50	s SATISFIABLE
3600.04/1812.50	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 
3600.04/1812.50	v -x19 x20 x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 
3600.04/1812.50	v -x35 x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 -x50 
3600.04/1812.50	v -x51 x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 x66 
3600.04/1812.50	v -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 -x81 x82 
3600.04/1812.50	v -x83 -x84 x85 -x86 -x87 x88 -x89 -x90 -x91 x92 -x93 -x94 x95 -x96 -x97 x98 
3600.04/1812.50	v -x99 -x100 x101 x102 x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 
3600.04/1812.50	v x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 x124 -x125 -x126 
3600.04/1812.50	v -x127 x128 x129 -x130 -x131 -x132 x133 x134 -x135 -x136 -x137 x138 x139 -x140 
3600.04/1812.50	v -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 x153 
3600.04/1812.50	v -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 -x165 -x166 
3600.04/1812.50	v -x167 x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 
3600.04/1812.50	v x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 
3600.04/1812.50	v -x193 -x194 x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 
3600.04/1812.50	v x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 
3600.04/1812.50	v -x219 -x220 x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 x231 
3600.04/1812.50	v -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 
3600.04/1812.50	v -x245 x246 x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 x256 x257 -x258 
3600.04/1812.50	v -x259 -x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 x271 
3600.04/1812.50	v -x272 -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 
3600.04/1812.50	v -x285 x286 x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 
3600.04/1812.50	v -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 
3600.04/1812.50	v -x312 -x313 x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 
3600.04/1812.50	v -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 
3600.04/1812.50	v -x338 x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 
3600.04/1812.50	v -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 x362 -x363 
3600.04/1812.50	v x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 
3600.04/1812.50	v -x377 -x378 x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 x389 
3600.04/1812.50	v -x390 x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 x399 -x400 x401 x402 -x403 
3600.04/1812.50	v -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 
3600.04/1812.50	v x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 
3600.04/1812.50	v -x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 x442 
3600.04/1812.50	v -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 
3600.04/1812.50	v -x456 x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 x467 -x468 
3600.04/1812.50	v -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 
3600.04/1812.50	v x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 
3600.04/1812.50	v -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 
3600.04/1812.50	v -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 
3600.04/1812.50	v -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 
3600.04/1812.50	v -x534 x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 x545 -x546 
3600.04/1812.50	v -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 
3600.04/1812.50	v x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 
3600.04/1812.50	v -x573 -x574 x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 x585 
3600.04/1812.50	v -x586 -x587 -x588 -x589 x590 -x591 x592 -x593 -x594 -x595 -x596 x597 -x598 
3600.04/1812.50	v -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 
3600.04/1812.50	v -x612 x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 x623 -x624 
3600.04/1812.50	v -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 
3600.04/1812.50	v x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 
3600.04/1812.50	v -x651 -x652 x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 x663 
3600.04/1812.50	v -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 
3600.04/1812.50	v -x677 x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 x688 -x689 
3600.04/1812.50	v -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 x700 x701 -x702 
3600.04/1812.50	v -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 
3600.04/1812.50	v x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 
3600.04/1812.50	v -x729 -x730 x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 
3600.04/1812.50	v -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 
3600.04/1812.50	v -x755 x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 x766 -x767 
3600.04/1812.50	v -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 
3600.04/1812.50	v x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 x791 -x792 x793 -x794 
3600.04/1812.50	v -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 
3600.04/1812.50	v -x808 x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 x819 -x820 
3600.04/1812.50	v -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 
3600.04/1812.50	v x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 
3600.04/1812.50	v -x847 -x848 x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 x859 
3600.04/1812.50	v -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 
3600.04/1812.50	v -x873 x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 x884 -x885 
3600.04/1812.50	v -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 
3600.04/1812.50	v -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 
3600.04/1812.50	v x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 
3600.04/1812.50	v -x925 -x926 x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 x937 
3600.04/1812.50	v -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 
3600.04/1812.50	v -x951 x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 x962 -x963 
3600.04/1812.50	v -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 
3600.04/1812.50	v x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 
3600.04/1812.50	v -x990 -x991 x992 -x993 x994 -x995 -x996 -x997 -x998 x999 x1000 -x1001 -x1002 
3600.04/1812.50	v -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 
3600.04/1812.50	v -x1014 x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 
3600.04/1812.50	v x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 
3600.04/1812.50	v -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 
3600.04/1812.50	v -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 
3600.04/1812.50	v -x1059 x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 
3600.04/1812.50	v x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 
3600.04/1812.50	v -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 
3600.04/1812.50	v -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 x1101 -x1102 x1103 -x1104 
3600.04/1812.50	v -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 
3600.04/1812.50	v -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 
3600.04/1812.50	v -x1127 x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 
3600.04/1812.50	v x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 
3600.04/1812.50	v -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 
3600.04/1812.50	v -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 
3600.04/1812.50	v -x1172 x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 
3600.04/1812.50	v x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 
3600.04/1812.50	v x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 
3600.04/1812.50	v x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 
3600.04/1812.50	v -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 
3600.04/1812.50	v -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 
3600.04/1812.50	v -x1240 x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 
3600.04/1812.50	v x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 
3600.04/1812.50	v -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 
3600.04/1812.50	v -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 
3600.04/1812.50	v -x1285 x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 
3600.04/1812.50	v x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 x1303 x1304 -x1305 -x1306 -x1307 
3600.04/1812.50	v -x1308 x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 
3600.04/1812.50	v x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 
3600.04/1812.50	v -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 
3600.04/1812.50	v -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 
3600.04/1812.50	v -x1353 x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 
3600.04/1812.50	v x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 
3600.04/1812.50	v -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 
3600.04/1812.50	v -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 
3600.04/1812.50	v x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 
3600.04/1812.50	v -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 
3600.04/1812.50	v -x1421 x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 
3600.04/1812.50	v x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 
3600.04/1812.50	v -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 
3600.04/1812.50	v -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 
3600.04/1812.50	v -x1466 x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 
3600.04/1812.50	v x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 
3600.04/1812.50	v -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 
3600.04/1812.50	v -x1500 x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 
3600.04/1812.50	v -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 
3600.04/1812.50	v -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 
3600.04/1812.50	v -x1534 x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 
3600.04/1812.50	v x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 
3600.04/1812.50	v -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 
3600.04/1812.50	v -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 
3600.04/1812.50	v -x1579 x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 
3600.04/1812.50	v x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 
3600.04/1812.50	v -x1602 x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 -x1612 
3600.04/1812.50	v x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 
3600.04/1812.50	v -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 
3600.04/1812.50	v -x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 
3600.04/1812.50	v -x1647 x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 
3600.04/1812.50	v x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 
3600.04/1812.50	v -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 
3600.04/1812.50	v -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 
3600.04/1812.50	v x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 
3600.04/1812.50	v -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 
3600.04/1812.50	v -x1715 x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 
3600.04/1812.50	v x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 
3600.04/1812.50	v -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 
3600.04/1812.50	v -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 
3600.04/1812.50	v -x1760 x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 
3600.04/1812.50	v x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 
3600.04/1812.50	v -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 
3600.04/1812.50	v -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 x1804 -x1805 
3600.04/1812.50	v -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 
3600.04/1812.50	v -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 
3600.04/1812.50	v -x1828 x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 
3600.04/1812.50	v x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 
3600.04/1812.50	v -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 
3600.04/1812.50	v -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 
3600.04/1812.50	v -x1873 x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 
3600.04/1812.50	v x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 
3600.04/1812.50	v -x1896 -x1897 x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 
3600.04/1812.50	v x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 
3600.04/1812.50	v -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 
3600.04/1812.50	v -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 
3600.04/1812.50	v -x1941 x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 
3600.04/1812.50	v x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 
3600.04/1812.50	v -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 
3600.04/1812.50	v -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 
3600.04/1812.50	v x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 
3600.04/1812.50	v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 
3600.04/1812.50	v -x2009 x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 
3600.04/1812.50	v x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 
3600.04/1812.50	v -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 
3600.04/1812.50	v -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 
3600.04/1812.50	v -x2054 x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 
3600.04/1812.50	v x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 
3600.04/1812.50	v -x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 
3600.04/1812.50	v -x2088 x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 
3600.04/1812.50	v x2099 x2100 x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 
3600.04/1812.50	v -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 
3600.04/1812.50	v -x2122 x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 
3600.04/1812.50	v x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 
3600.04/1812.50	v -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 
3600.04/1812.50	v -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 
3600.04/1812.50	v -x2167 x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 
3600.04/1812.50	v x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 
3600.04/1812.50	v -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 
3600.04/1812.50	v -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 x2211 
3600.04/1812.50	v -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 
3600.04/1812.50	v -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 
3600.04/1812.50	v -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 
3600.04/1812.50	v -x2245 x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 
3600.04/1812.50	v x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 
3600.04/1812.50	v -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 
3600.04/1812.50	v -x2279 x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 
3600.04/1812.50	v x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 
3600.04/1812.50	v x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 
3600.04/1812.50	v x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 
3600.04/1812.50	v -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 x2334 -x2335 -x2336 
3600.04/1812.50	v -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 
3600.04/1812.50	v -x2348 x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 
3600.04/1812.50	v x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 
3600.04/1812.50	v -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 
3600.04/1812.50	v -x2382 x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 
3600.04/1812.50	v x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 
3600.04/1812.50	v -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 -x2414 
3600.04/1812.50	v -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 
3600.04/1812.50	v -x2426 x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 
3600.04/1812.50	v x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 
3600.04/1812.50	v -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 
3600.04/1812.50	v -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 
3600.04/1812.50	v -x2471 x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 
3600.04/1812.50	v -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 
3600.04/1812.50	v -x2494 -x2495 x2496 x2497 -x2498 -x2499 -x2500 x2501 -x2502 x2503 -x2504 x2505 
3600.04/1812.50	v -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 
3600.04/1812.50	v -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 
3600.04/1812.50	v -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 
3600.04/1812.50	v -x2539 x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 -x2549 
3600.04/1812.50	v x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 
3600.04/1812.50	v -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 
3600.04/1812.50	v -x2573 x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 
3600.04/1812.50	v x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 
3600.04/1812.50	v -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 
3600.04/1812.50	v -x2607 x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 
3600.04/1812.50	v x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 
3600.04/1812.50	v -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 
3600.04/1812.50	v -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 
3600.04/1812.50	v -x2652 x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 
3600.04/1812.50	v x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 
3600.04/1812.50	v -x2675 -x2676 x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 
3600.04/1812.50	v -x2686 x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 
3600.04/1812.50	v x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 
3600.04/1812.50	v -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 
3600.04/1812.50	v -x2720 x2721 -x2722 -x2723 -x2724 -x2725 x2726 -x2727 -x2728 -x2729 -x2730 
3600.04/1812.50	v x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 
3600.04/1812.50	v -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 
3600.04/1812.50	v -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 
3600.04/1812.50	v -x2765 x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 
3600.04/1812.50	v -x2777 -x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 
3600.04/1812.50	v -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 
3600.04/1812.50	v -x2799 x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 
3600.04/1812.50	v -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821 
3600.04/1812.50	v -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 
3600.04/1812.50	v -x2833 x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 -x2843 
3600.04/1812.50	v x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 
3600.04/1812.50	v -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 
3600.04/1812.50	v -x2867 x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 
3600.04/1812.50	v x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 
3600.04/1812.50	v -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 
3600.04/1812.50	v x2901 x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910 -x2911 x2912 
3600.04/1812.50	v -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 
3600.04/1812.50	v -x2924 -x2925 -x2926 x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 
3600.04/1812.50	v -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 
3600.04/1812.50	v -x2946 x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956 
3600.04/1812.50	v x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 
3600.04/1812.50	v -x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 
3600.04/1812.50	v -x2980 x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 
3600.04/1812.50	v x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 
3600.04/1812.50	v -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 
3600.04/1812.50	v -x3014 x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 
3600.04/1812.50	v x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 
3600.04/1812.50	v -x3037 -x3038 -x3039 x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 
3600.04/1812.50	v -x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 -x3058 
3600.04/1812.50	v -x3059 x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 
3600.04/1812.50	v -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 
3600.04/1812.50	v -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 
3600.04/1812.50	v -x3093 x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 x3103 -x3104 
3600.04/1812.50	v -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 -x3112 x3113 -x3114 -x3115 
3600.04/1812.50	v -x3116 -x3117 x3118 -x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 
3600.04/1812.50	v -x3127 x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 
3600.04/1812.50	v x3138 -x3139 -x3140 -x3141 -x3142 x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 
3600.04/1812.50	v -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 
3600.04/1812.50	v -x3161 x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 
3600.04/1812.50	v x3172 -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 
3600.04/1812.50	v -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 
3600.04/1812.50	v -x3195 -x3196 x3197 -x3198 x3199 -x3200 x3201 -x3202 -x3203 -x3204 -x3205 x3206 
3600.04/1812.50	v -x3207 -x3208 -x3209 -x3210 x3211 -x3212 -x3213 -x3214 -x3215 x3216 -x3217 
3600.04/1812.50	v -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 
3600.04/1812.50	v -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 
3600.04/1812.50	v -x3240 x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 
3600.04/1812.50	v x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 
3600.04/1812.50	v -x3263 -x3264 x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 
3600.04/1812.50	v -x3274 x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 
3600.04/1812.50	v x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 
3600.04/1812.50	v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 
3600.04/1812.50	v -x3308 x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 
3600.04/1812.50	v x3319 -x3320 -x3321 -x3322 -x3323 x3324 -x3325 -x3326 -x3327 -x3328 x3329 -x3330 
3600.04/1812.50	v -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x3340 -x3341 
3600.04/1812.50	v -x3342 -x3343 x3344 -x3345 -x3346 -x3347 -x3348 x3349 -x3350 -x3351 -x3352 
3600.04/1812.50	v -x3353 x3354 -x3355 -x3356 -x3357 -x3358 x3359 -x3360 -x3361 -x3362 x3363 -x3364 
3600.04/1812.50	v -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 x3373 -x3374 -x3375 
3600.04/1812.50	v -x3376 -x3377 x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 
3600.04/1812.50	v -x3387 x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 
3600.04/1812.50	v x3398 -x3399 x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 -x3409 
3600.04/1812.50	v -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420 
3600.04/1812.50	v -x3421 x3422 -x3423 -x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x3430 -x3431 
3600.04/1812.50	v x3432 -x3433 -x3434 -x3435 -x3436 x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 
3600.04/1812.50	v -x3444 -x3445 -x3446 x3447 -x3448 -x3449 -x3450 -x3451 x3452 -x3453 -x3454 
3600.04/1812.50	v -x3455 -x3456 x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 
3600.04/1812.50	v x3466 -x3467 -x3468 -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 
3600.04/1812.50	v -x3478 -x3479 -x3480 x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 
3600.04/1812.50	v -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 
3600.04/1812.50	v -x3500 -x3501 x3502 -x3503 -x3504 x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 
3600.04/1812.50	v -x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 
3600.04/1812.50	v -x3523 -x3524 x3525 -x3526 -x3527 -x3528 -x3529 x3530 -x3531 -x3532 -x3533 
3600.04/1812.50	v -x3534 x3535 -x3536 -x3537 -x3538 -x3539 x3540 -x3541 -x3542 -x3543 -x3544 
3600.04/1812.50	v x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 
3600.04/1812.50	v -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 x3564 -x3565 -x3566 -x3567 
3600.04/1812.50	v -x3568 x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 
3600.04/1812.50	v x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590 
3600.04/1812.50	v -x3591 -x3592 -x3593 x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 
3600.04/1812.50	v -x3602 x3603 -x3604 -x3605 -x3606 -x3607 x3608 -x3609 -x3610 -x3611 -x3612 
3600.04/1812.50	v x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 x3623 -x3624 
3600.04/1812.50	v -x3625 -x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 x3633 -x3634 -x3635 
3600.04/1812.50	v -x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 
3600.04/1812.50	v -x3647 x3648 -x3649 -x3650 -x3651 -x3652 x3653 -x3654 -x3655 -x3656 x3657 -x3658 
3600.04/1812.50	v -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 
3600.04/1812.50	v -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 
3600.04/1812.50	v -x3681 x3682 -x3683 -x3684 -x3685 -x3686 x3687 -x3688 -x3689 -x3690 -x3691 
3600.04/1812.50	v x3692 -x3693 -x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 x3701 -x3702 -x3703 
3600.04/1812.50	v -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 -x3714 
3600.04/1812.50	v -x3715 x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 
3600.04/1812.50	v x3726 -x3727 -x3728 -x3729 -x3730 x3731 -x3732 -x3733 -x3734 -x3735 x3736 -x3737 
3600.04/1812.50	v -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 x3746 -x3747 -x3748 
3600.04/1812.50	v -x3749 -x3750 x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 
3600.04/1812.50	v x3760 -x3761 -x3762 -x3763 -x3764 x3765 -x3766 -x3767 -x3768 -x3769 x3770 -x3771 
3600.04/1812.50	v -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 -x3782 
3600.04/1812.50	v -x3783 -x3784 x3785 -x3786 -x3787 -x3788 -x3789 x3790 -x3791 -x3792 -x3793 
3600.04/1812.50	v -x3794 x3795 -x3796 -x3797 -x3798 -x3799 x3800 -x3801 -x3802 -x3803 x3804 -x3805 
3600.04/1812.50	v -x3806 -x3807 -x3808 x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 
3600.04/1812.50	v -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 x3824 -x3825 -x3826 -x3827 
3600.04/1812.50	v -x3828 x3829 -x3830 -x3831 -x3832 -x3833 x3834 -x3835 -x3836 -x3837 -x3838 
3600.04/1812.50	v x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 
3600.04/1812.50	v -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 
3600.04/1812.50	v -x3862 x3863 -x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 
3600.04/1812.50	v x3873 -x3874 -x3875 -x3876 -x3877 x3878 -x3879 -x3880 -x3881 -x3882 x3883 -x3884 
3600.04/1812.50	v -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 
3600.04/1812.50	v -x3896 -x3897 x3898 -x3899 -x3900 -x3901 x3902 -x3903 -x3904 -x3905 -x3906 
3600.04/1812.50	v x3907 -x3908 -x3909 -x3910 -x3911 x3912 -x3913 -x3914 -x3915 -x3916 x3917 -x3918 
3600.04/1812.50	v -x3919 -x3920 -x3921 x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 
3600.04/1812.50	v -x3930 -x3931 x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 
3600.04/1812.50	v -x3941 x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x3950 x3951 -x3952 
3600.04/1812.50	v -x3953 -x3954 -x3955 x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 
3600.04/1812.50	v -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970 x3971 -x3972 -x3973 -x3974 
3600.04/1812.50	v -x3975 x3976 -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984 -x3985 
3600.04/1812.50	v x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 
3600.04/1812.50	v -x3998 -x3999 x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 
3600.04/1812.50	v -x4009 x4010 -x4011 -x4012 -x4013 -x4014 x4015 -x4016 -x4017 -x4018 -x4019 
3600.04/1812.50	v x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 x4030 -x4031 
3600.04/1812.50	v -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 x4040 -x4041 -x4042 
3600.04/1812.50	v -x4043 -x4044 x4045 -x4046 -x4047 x4048 -x4049 -x4050 -x4051 -x4052 -x4053 
3600.04/1812.50	v x4054 -x4055 -x4056 -x4057 -x4058 x4059 -x4060 -x4061 -x4062 -x4063 x4064 -x4065 
3600.04/1812.50	v -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 -x4076 
3600.04/1812.50	v -x4077 -x4078 x4079 -x4080 -x4081 -x4082 -x4083 x4084 -x4085 -x4086 -x4087 
3600.04/1812.50	v -x4088 x4089 -x4090 -x4091 -x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 
3600.04/1812.50	v x4099 -x4100 x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 x4108 -x4109 -x4110 
3600.04/1812.50	v -x4111 -x4112 x4113 -x4114 -x4115 -x4116 -x4117 x4118 -x4119 -x4120 -x4121 
3600.04/1812.50	v -x4122 x4123 -x4124 -x4125 -x4126 -x4127 x4128 -x4129 -x4130 -x4131 -x4132 
3600.04/1812.50	v x4133 -x4134 -x4135 -x4136 -x4137 x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 
3600.04/1812.50	v -x4145 -x4146 -x4147 -x4148 -x4149 x4150 -x4151 x4152 -x4153 -x4154 -x4155 
3600.04/1812.50	v -x4156 x4157 -x4158 -x4159 -x4160 -x4161 x4162 -x4163 -x4164 -x4165 -x4166 
3600.04/1812.50	v x4167 -x4168 -x4169 -x4170 -x4171 x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 
3600.04/1812.50	v -x4179 -x4180 -x4181 x4182 -x4183 -x4184 -x4185 -x4186 x4187 -x4188 -x4189 
3600.04/1812.50	v -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x4200 
3600.04/1812.50	v -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 -x4208 -x4209 -x4210 x4211 
3600.04/1812.50	v -x4212 -x4213 -x4214 -x4215 x4216 -x4217 -x4218 -x4219 -x4220 x4221 -x4222 
3600.04/1812.50	v -x4223 -x4224 -x4225 x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 
3600.04/1812.50	v -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 
3600.04/1812.50	v -x4245 x4246 x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 -x4254 x4255 -x4256 
3600.04/1812.50	v -x4257 -x4258 -x4259 x4260 -x4261 -x4262 -x4263 -x4264 x4265 -x4266 -x4267 
3600.04/1812.50	v -x4268 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 
3600.04/1812.50	v -x4279 x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 
3600.04/1812.50	v x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 x4300 -x4301 
3600.04/1812.50	v x4302 -x4303 x4304 -x4305 -x4306 -x4307 -x4308 x4309 -x4310 -x4311 -x4312 -x4313 
3600.04/1812.50	v x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 
3600.04/1812.50	v -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 
3600.04/1812.50	v -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 
3600.04/1812.50	v -x4348 x4349 -x4350 -x4351 -x4352 -x4353 x4354 -x4355 -x4356 -x4357 x4358 -x4359 
3600.04/1812.50	v -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 
3600.04/1812.50	v -x4371 -x4372 x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 -x4381 
3600.04/1812.50	v -x4382 x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 -x4390 -x4391 -x4392 
3600.04/1812.50	v x4393 -x4394 -x4395 -x4396 -x4397 x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 
3600.04/1812.50	v -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 
3600.04/1812.50	v -x4416 x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 -x4425 -x4426 
3600.04/1812.50	v x4427 -x4428 -x4429 -x4430 -x4431 x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 
3600.04/1812.50	v -x4439 -x4440 -x4441 x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 
3600.04/1812.50	v -x4450 x4451 -x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460 
3600.04/1812.50	v x4461 -x4462 -x4463 -x4464 -x4465 x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 
3600.04/1812.50	v -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 
3600.04/1812.50	v -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 
3600.04/1812.50	v -x4495 x4496 -x4497 -x4498 -x4499 x4500 -x4501 x4502 -x4503 -x4504 x4505 -x4506 
3600.04/1812.50	v -x4507 -x4508 -x4509 x4510 -x4511 -x4512 -x4513 -x4514 x4515 -x4516 -x4517 
3600.04/1812.50	v -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 
3600.04/1812.50	v -x4529 x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 
3600.04/1812.50	v x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 x4548 -x4549 -x4550 -x4551 
3600.04/1812.50	v -x4552 x4553 -x4554 -x4555 -x4556 -x4557 x4558 x4559 -x4560 -x4561 -x4562 -x4563 
3600.04/1812.50	v x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 x4574 -x4575 
3600.04/1812.50	v -x4576 -x4577 -x4578 x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 
3600.04/1812.50	v -x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 
3600.04/1812.50	v -x4598 x4599 -x4600 -x4601 -x4602 x4603 -x4604 -x4605 -x4606 -x4607 x4608 -x4609 
3600.04/1812.50	v -x4610 -x4611 -x4612 x4613 -x4614 -x4615 -x4616 -x4617 x4618 -x4619 -x4620 
3600.04/1812.50	v -x4621 -x4622 x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 
3600.04/1812.50	v -x4632 x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 
3600.04/1812.50	v -x4643 -x4644 x4645 -x4646 -x4647 -x4648 -x4649 x4650 -x4651 -x4652 -x4653 
3600.04/1812.50	v -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 -x4664 
3600.04/1812.50	v -x4665 -x4666 x4667 -x4668 -x4669 -x4670 -x4671 x4672 -x4673 -x4674 -x4675 
3600.04/1812.50	v -x4676 x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 -x4685 -x4686 
3600.04/1812.50	v x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 
3600.04/1812.50	v -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 x4706 -x4707 -x4708 -x4709 
3600.04/1812.50	v -x4710 x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 
3600.04/1812.50	v x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 x4731 -x4732 
3600.04/1812.50	v -x4733 -x4734 -x4735 x4736 -x4737 -x4738 -x4739 -x4740 x4741 x4742 -x4743 -x4744 
3600.04/1812.50	v -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 
3600.04/1812.50	v -x4756 x4757 -x4758 -x4759 x4760 -x4761 -x4762 -x4763 -x4764 x4765 -x4766 -x4767 
3600.04/1812.50	v -x4768 -x4769 x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 -x4777 -x4778 
3600.04/1812.50	v -x4779 x4780 -x4781 -x4782 -x4783 -x4784 x4785 -x4786 -x4787 -x4788 -x4789 
3600.04/1812.50	v x4790 -x4791 -x4792 -x4793 -x4794 x4795 -x4796 -x4797 -x4798 -x4799 x4800 -x4801 
3600.04/1812.50	v -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 x4809 -x4810 -x4811 -x4812 
3600.04/1812.50	v -x4813 x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 
3600.04/1812.50	v x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 
3600.04/1812.50	v -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 x4844 -x4845 -x4846 
3600.04/1812.50	v -x4847 -x4848 x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 
3600.04/1812.50	v -x4858 x4859 -x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 x4868 -x4869 
3600.04/1812.50	v -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 x4878 -x4879 -x4880 
3600.04/1812.50	v -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 
3600.04/1812.50	v -x4892 x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 x4902 -x4903 
3600.04/1812.50	v -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 
3600.04/1812.50	v -x4915 -x4916 x4917 -x4918 -x4919 -x4920 -x4921 x4922 -x4923 -x4924 -x4925 
3600.04/1812.50	v -x4926 x4927 -x4928 -x4929 -x4930 -x4931 x4932 -x4933 -x4934 -x4935 -x4936 
3600.04/1812.50	v x4937 -x4938 -x4939 -x4940 x4941 -x4942 -x4943 -x4944 -x4945 x4946 -x4947 -x4948 
3600.04/1812.50	v -x4949 -x4950 x4951 -x4952 -x4953 -x4954 -x4955 x4956 -x4957 -x4958 -x4959 
3600.04/1812.50	v -x4960 x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 
3600.04/1812.50	v x4971 -x4972 -x4973 -x4974 -x4975 x4976 -x4977 -x4978 -x4979 -x4980 x4981 -x4982 
3600.04/1812.50	v -x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 
3600.04/1812.50	v -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 
3600.04/1812.50	v x5005 -x5006 -x5007 -x5008 -x5009 x5010 -x5011 -x5012 -x5013 -x5014 x5015 -x5016 
3600.04/1812.50	v -x5017 -x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 
3600.04/1812.50	v -x5028 -x5029 x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 x5038 -x5039 
3600.04/1812.50	v -x5040 -x5041 -x5042 x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x5050 
3600.04/1812.50	v -x5051 -x5052 x5053 -x5054 -x5055 -x5056 -x5057 x5058 -x5059 -x5060 -x5061 
3600.04/1812.50	v -x5062 -x5063 x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 
3600.04/1812.50	v -x5073 x5074 -x5075 -x5076 -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 
3600.04/1812.50	v x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 -x5093 x5094 -x5095 
3600.04/1812.50	v -x5096 -x5097 -x5098 x5099 x5100 x5101 -x5102 x5103 -x5104 -x5105 -x5106 -x5107 
3600.04/1812.50	v x5108 -x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 x5118 -x5119 
3600.04/1812.50	v -x5120 -x5121 -x5122 x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x5130 
3600.04/1812.50	v -x5131 -x5132 x5133 -x5134 x5135 -x5136 -x5137 -x5138 -x5139 x5140 -x5141 -x5142 
3600.04/1812.50	v -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 x5150 -x5151 -x5152 -x5153 
3600.04/1812.50	v -x5154 x5155 -x5156 -x5157 -x5158 -x5159 x5160 -x5161 x5162 -x5163 -x5164 -x5165 
3600.04/1812.50	v -x5166 x5167 -x5168 -x5169 -x5170 -x5171 x5172 -x5173 -x5174 -x5175 -x5176 
3600.04/1812.50	v x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 x5187 -x5188 
3600.04/1812.50	v -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 x5197 -x5198 -x5199 
3600.04/1812.50	v -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 
3600.04/1812.50	v x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 
3600.04/1812.50	v -x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 x5231 -x5232 -x5233 
3600.04/1812.50	v -x5234 -x5235 -x5236 x5237 -x5238 -x5239 -x5240 -x5241 x5242 -x5243 -x5244 
3600.04/1812.50	v -x5245 -x5246 x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 
3600.04/1812.50	v -x5256 x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 x5265 -x5266 -x5267 
3600.04/1812.50	v -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 
3600.04/1812.50	v -x5279 x5280 -x5281 -x5282 -x5283 -x5284 x5285 -x5286 -x5287 -x5288 -x5289 
3600.04/1812.50	v x5290 -x5291 -x5292 -x5293 -x5294 x5295 -x5296 x5297 -x5298 -x5299 -x5300 -x5301 
3600.04/1812.50	v x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 x5309 -x5310 -x5311 -x5312 -x5313 
3600.04/1812.50	v x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 -x5321 -x5322 -x5323 x5324 -x5325 
3600.04/1812.50	v -x5326 -x5327 -x5328 x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 
3600.04/1812.50	v -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 -x5346 -x5347 
3600.04/1812.50	v -x5348 x5349 -x5350 -x5351 -x5352 -x5353 x5354 -x5355 -x5356 -x5357 -x5358 
3600.04/1812.50	v x5359 -x5360 -x5361 -x5362 -x5363 x5364 -x5365 -x5366 -x5367 x5368 -x5369 -x5370 
3600.04/1812.50	v -x5371 -x5372 x5373 -x5374 -x5375 -x5376 -x5377 x5378 -x5379 -x5380 -x5381 
3600.04/1812.50	v -x5382 x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 -x5392 
3600.04/1812.50	v x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 x5400 -x5401 -x5402 -x5403 -x5404 
3600.04/1812.50	v -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 x5412 -x5413 -x5414 -x5415 
3600.04/1812.50	v -x5416 x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 
3600.04/1812.50	v x5427 -x5428 -x5429 -x5430 -x5431 x5432 -x5433 -x5434 -x5435 x5436 -x5437 -x5438 
3600.04/1812.50	v -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 x5446 -x5447 -x5448 -x5449 
3600.04/1812.50	v -x5450 x5451 -x5452 -x5453 -x5454 -x5455 x5456 -x5457 -x5458 -x5459 -x5460 
3600.04/1812.50	v x5461 -x5462 -x5463 -x5464 -x5465 x5466 -x5467 -x5468 -x5469 -x5470 x5471 -x5472 
3600.04/1812.50	v -x5473 -x5474 -x5475 x5476 -x5477 -x5478 -x5479 -x5480 x5481 -x5482 -x5483 
3600.04/1812.50	v -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 -x5494 
3600.04/1812.50	v -x5495 x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502 x5503 -x5504 x5505 -x5506 
3600.04/1812.50	v -x5507 -x5508 -x5509 x5510 -x5511 -x5512 -x5513 -x5514 x5515 -x5516 -x5517 
3600.04/1812.50	v -x5518 -x5519 x5520 -x5521 -x5522 -x5523 -x5524 x5525 -x5526 -x5527 -x5528 
3600.04/1812.50	v -x5529 x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 x5538 -x5539 -x5540 
3600.04/1812.50	v -x5541 -x5542 x5543 -x5544 -x5545 -x5546 -x5547 x5548 -x5549 -x5550 -x5551 
3600.04/1812.50	v -x5552 x5553 -x5554 -x5555 -x5556 -x5557 x5558 -x5559 -x5560 -x5561 -x5562 
3600.04/1812.50	v x5563 -x5564 -x5565 -x5566 -x5567 -x5568 x5569 -x5570 -x5571 -x5572 -x5573 
3600.04/1812.50	v x5574 -x5575 -x5576 -x5577 -x5578 x5579 -x5580 -x5581 -x5582 -x5583 x5584 -x5585 
3600.04/1812.50	v -x5586 -x5587 -x5588 x5589 -x5590 -x5591 -x5592 -x5593 x5594 -x5595 -x5596 
3600.04/1812.50	v -x5597 x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 
3600.04/1812.50	v x5608 -x5609 -x5610 -x5611 -x5612 x5613 -x5614 -x5615 -x5616 -x5617 x5618 -x5619 
3600.04/1812.50	v -x5620 -x5621 -x5622 x5623 -x5624 -x5625 -x5626 -x5627 x5628 -x5629 x5630 -x5631 
3600.04/1812.50	v -x5632 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 x5640 -x5641 -x5642 
3600.04/1812.50	v -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 x5650 -x5651 -x5652 -x5653 
3600.04/1812.50	v -x5654 x5655 -x5656 -x5657 -x5658 -x5659 x5660 -x5661 -x5662 -x5663 -x5664 
3600.04/1812.50	v x5665 -x5666 x5667 -x5668 -x5669 -x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 
3600.04/1812.50	v x5677 -x5678 -x5679 -x5680 -x5681 x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 
3600.04/1812.50	v -x5689 -x5690 -x5691 x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 
3600.04/1812.50	v x5700 -x5701 x5702 -x5703 x5704 -x5705 x5706 -x5707 -x5708 -x5709 -x5710 x5711 
3600.04/1812.50	v -x5712 -x5713 -x5714 -x5715 x5716 -x5717 -x5718 -x5719 -x5720 x5721 -x5722 
3600.04/1812.50	v -x5723 -x5724 -x5725 x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 
3600.04/1812.50	v -x5734 -x5735 -x5736 x5737 -x5738 -x5739 -x5740 -x5741 x5742 -x5743 -x5744 
3600.04/1812.50	v -x5745 -x5746 x5747 -x5748 -x5749 -x5750 -x5751 x5752 -x5753 -x5754 -x5755 
3600.04/1812.50	v -x5756 x5757 -x5758 -x5759 -x5760 -x5761 x5762 -x5763 -x5764 -x5765 -x5766 
3600.04/1812.50	v -x5767 -x5768 -x5769 x5770 -x5771 -x5772 -x5773 -x5774 x5775 -x5776 -x5777 
3600.04/1812.50	v -x5778 -x5779 x5780 -x5781 -x5782 -x5783 -x5784 x5785 -x5786 -x5787 -x5788 
3600.04/1812.50	v -x5789 x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 x5797 -x5798 -x5799 -x5800 
3600.04/1812.50	v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5810 -x5811 
3600.04/1812.50	v -x5812 -x5813 x5814 -x5815 -x5816 -x5817 -x5818 x5819 -x5820 -x5821 -x5822 
3600.04/1812.50	v -x5823 x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 -x5831 -x5832 -x5833 
3600.04/1812.50	v x5834 -x5835 -x5836 -x5837 -x5838 x5839 -x5840 -x5841 -x5842 -x5843 x5844 -x5845 
3600.04/1812.50	v -x5846 -x5847 -x5848 x5849 -x5850 -x5851 -x5852 -x5853 x5854 -x5855 -x5856 
3600.04/1812.50	v -x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 x5864 -x5865 x5866 -x5867 x5868 
3600.04/1812.50	v -x5869 -x5870 -x5871 -x5872 x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 
3600.04/1812.50	v -x5880 -x5881 -x5882 x5883 -x5884 -x5885 -x5886 -x5887 x5888 -x5889 -x5890 
3600.04/1812.50	v -x5891 -x5892 -x5893 x5894 -x5895 -x5896 -x5897 -x5898 x5899 -x5900 x5901 -x5902 
3600.04/1812.50	v x5903 -x5904 x5905 -x5906 x5907 -x5908 -x5909 -x5910 -x5911 x5912 -x5913 -x5914 
3600.04/1812.50	v -x5915 -x5916 x5917 -x5918 -x5919 -x5920 -x5921 x5922 -x5923 -x5924 -x5925 
3600.04/1812.50	v -x5926 x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 x5936 -x5937 
3600.04/1812.50	v -x5938 -x5939 -x5940 x5941 -x5942 -x5943 -x5944 -x5945 x5946 -x5947 -x5948 
3600.04/1812.50	v -x5949 -x5950 x5951 -x5952 -x5953 -x5954 -x5955 x5956 -x5957 -x5958 -x5959 
3600.04/1812.50	v -x5960 x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 
3600.04/1812.50	v x5971 -x5972 -x5973 -x5974 -x5975 x5976 -x5977 -x5978 -x5979 -x5980 x5981 -x5982 
3600.04/1812.50	v -x5983 -x5984 -x5985 x5986 -x5987 -x5988 -x5989 -x5990 x5991 -x5992 -x5993 
3600.04/1812.50	v -x5994 -x5995 x5996 -x5997 -x5998 x5999 -x6000 -x6001 -x6002 -x6003 -x6004 
3600.04/1812.50	v -x6005 -x6006 -x6007 -x6008 -x6009 x6010 -x6011 -x6012 -x6013 -x6014 x6015 
3600.04/1812.50	v -x6016 -x6017 -x6018 -x6019 x6020 -x6021 -x6022 -x6023 -x6024 x6025 -x6026 
3600.04/1812.50	v -x6027 -x6028 x6029 -x6030 -x6031 -x6032 x6033 -x6034 -x6035 -x6036 -x6037 
3600.04/1812.50	v x6038 -x6039 -x6040 -x6041 -x6042 x6043 -x6044 -x6045 -x6046 -x6047 x6048 -x6049 
3600.04/1812.50	v -x6050 -x6051 -x6052 x6053 -x6054 -x6055 -x6056 -x6057 x6058 -x6059 -x6060 
3600.04/1812.50	v -x6061 -x6062 x6063 -x6064 -x6065 -x6066 x6067 -x6068 x6069 -x6070 -x6071 -x6072 
3600.04/1812.50	v -x6073 x6074 -x6075 -x6076 -x6077 -x6078 x6079 -x6080 -x6081 -x6082 -x6083 
3600.04/1812.50	v x6084 -x6085 -x6086 -x6087 -x6088 x6089 -x6090 -x6091 -x6092 x6093 -x6094 -x6095 
3600.04/1812.50	v -x6096 -x6097 x6098 -x6099 -x6100 -x6101 x6102 -x6103 x6104 -x6105 x6106 -x6107 
3600.04/1812.50	v x6108 -x6109 -x6110 -x6111 -x6112 x6113 -x6114 -x6115 -x6116 -x6117 x6118 -x6119 
3600.04/1812.50	v -x6120 -x6121 -x6122 x6123 -x6124 -x6125 x6126 -x6127 -x6128 -x6129 -x6130 
3600.04/1812.50	v x6131 -x6132 -x6133 -x6134 x6135 -x6136 -x6137 -x6138 -x6139 x6140 -x6141 -x6142 
3600.04/1812.50	v -x6143 -x6144 x6145 -x6146 -x6147 -x6148 -x6149 x6150 -x6151 -x6152 -x6153 
3600.04/1812.50	v -x6154 x6155 -x6156 -x6157 -x6158 -x6159 x6160 -x6161 -x6162 -x6163 -x6164 
3600.04/1812.50	v x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 x6172 -x6173 -x6174 -x6175 
3600.04/1812.50	v -x6176 x6177 -x6178 -x6179 -x6180 -x6181 x6182 -x6183 -x6184 -x6185 -x6186 
3600.04/1812.50	v x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 x6195 -x6196 -x6197 -x6198 
3600.04/1812.50	v -x6199 x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 
3600.04/1812.50	v x6210 x6211 -x6212 -x6213 -x6214 -x6215 x6216 -x6217 -x6218 -x6219 -x6220 x6221 
3600.04/1812.50	v -x6222 x6223 -x6224 -x6225 -x6226 -x6227 x6228 -x6229 -x6230 -x6231 -x6232 
3600.04/1812.50	v x6233 -x6234 -x6235 -x6236 x6237 -x6238 -x6239 -x6240 -x6241 x6242 -x6243 -x6244 
3600.04/1812.50	v -x6245 -x6246 x6247 -x6248 -x6249 -x6250 -x6251 x6252 -x6253 -x6254 -x6255 
3600.04/1812.50	v -x6256 x6257 -x6258 -x6259 -x6260 -x6261 x6262 -x6263 -x6264 -x6265 x6266 -x6267 
3600.04/1812.50	v x6268 -x6269 x6270 -x6271 -x6272 -x6273 -x6274 x6275 -x6276 -x6277 -x6278 -x6279 
3600.04/1812.50	v x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 x6288 -x6289 -x6290 -x6291 
3600.04/1812.50	v -x6292 x6293 -x6294 -x6295 -x6296 x6297 -x6298 -x6299 -x6300 x6301 -x6302 x6303 
3600.04/1812.50	v -x6304 x6305 -x6306 x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 x6314 -x6315 
3600.04/1812.50	v -x6316 -x6317 -x6318 x6319 -x6320 -x6321 -x6322 -x6323 -x6324 x6325 -x6326 
3600.04/1812.50	v -x6327 -x6328 -x6329 x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 -x6337 
3600.04/1812.50	v -x6338 x6339 -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 
3600.04/1812.50	v x6349 -x6350 -x6351 -x6352 -x6353 x6354 -x6355 -x6356 -x6357 -x6358 x6359 -x6360 
3600.04/1812.50	v -x6361 -x6362 -x6363 x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 -x6371 
3600.04/1812.50	v -x6372 x6373 -x6374 -x6375 -x6376 -x6377 x6378 -x6379 -x6380 -x6381 -x6382 
3600.04/1812.50	v x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 x6390 -x6391 -x6392 -x6393 
3600.04/1812.50	v -x6394 x6395 -x6396 -x6397 -x6398 x6399 -x6400 -x6401 -x6402 -x6403 -x6404 
3600.04/1812.50	v -x6405 -x6406 -x6407 -x6408 x6409 -x6410 -x6411 x6412 -x6413 -x6414 -x6415 
3600.04/1812.50	v -x6416 x6417 -x6418 -x6419 -x6420 -x6421 x6422 -x6423 -x6424 -x6425 -x6426 
3600.04/1812.50	v x6427 -x6428 -x6429 -x6430 -x6431 x6432 -x6433 -x6434 -x6435 -x6436 x6437 -x6438 
3600.04/1812.50	v -x6439 -x6440 x6441 -x6442 -x6443 -x6444 -x6445 x6446 -x6447 -x6448 -x6449 
3600.04/1812.50	v -x6450 x6451 -x6452 -x6453 -x6454 -x6455 x6456 -x6457 -x6458 -x6459 -x6460 
3600.04/1812.50	v x6461 -x6462 -x6463 x6464 -x6465 -x6466 x6467 -x6468 -x6469 -x6470 -x6471 x6472 
3600.04/1812.50	v -x6473 -x6474 -x6475 x6476 -x6477 -x6478 -x6479 -x6480 x6481 -x6482 -x6483 
3600.04/1812.50	v -x6484 -x6485 x6486 x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 -x6494 -x6495 
3600.04/1812.50	v -x6496 x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 x6504 -x6505 x6506 -x6507 
3600.04/1812.50	v -x6508 -x6509 -x6510 x6511 -x6512 -x6513 -x6514 x6515 -x6516 -x6517 -x6518 
3600.04/1812.50	v -x6519 x6520 -x6521 -x6522 -x6523 x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 
3600.04/1812.50	v -x6531 -x6532 -x6533 x6534 -x6535 -x6536 -x6537 -x6538 x6539 -x6540 -x6541 
3600.04/1812.50	v -x6542 x6543 -x6544 -x6545 -x6546 -x6547 x6548 -x6549 -x6550 -x6551 -x6552 
3600.04/1812.50	v x6553 -x6554 -x6555 -x6556 -x6557 x6558 -x6559 -x6560 -x6561 -x6562 x6563 -x6564 
3600.04/1812.50	v -x6565 -x6566 -x6567 -x6568 x6569 -x6570 -x6571 -x6572 -x6573 x6574 -x6575 
3600.04/1812.50	v x6576 -x6577 -x6578 x6579 -x6580 -x6581 -x6582 -x6583 x6584 -x6585 -x6586 -x6587 
3600.04/1812.50	v -x6588 x6589 -x6590 -x6591 -x6592 -x6593 x6594 -x6595 -x6596 -x6597 -x6598 
3600.04/1812.50	v -x6599 x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 x6608 -x6609 
3600.04/1812.50	v -x6610 -x6611 -x6612 x6613 -x6614 -x6615 -x6616 -x6617 x6618 -x6619 -x6620 
3600.04/1812.50	v x6621 -x6622 -x6623 -x6624 -x6625 x6626 -x6627 -x6628 -x6629 -x6630 x6631 -x6632 
3600.04/1812.50	v -x6633 -x6634 -x6635 x6636 -x6637 -x6638 -x6639 -x6640 x6641 -x6642 -x6643 
3600.04/1812.50	v -x6644 x6645 -x6646 -x6647 -x6648 -x6649 x6650 -x6651 -x6652 -x6653 -x6654 
3600.04/1812.50	v x6655 -x6656 -x6657 -x6658 -x6659 x6660 -x6661 -x6662 -x6663 -x6664 x6665 x6666 
3600.04/1812.50	v -x6667 -x6668 -x6669 -x6670 x6671 -x6672 -x6673 -x6674 -x6675 x6676 -x6677 
3600.04/1812.50	v -x6678 -x6679 -x6680 -x6681 x6682 -x6683 -x6684 -x6685 x6686 -x6687 -x6688 
3600.04/1812.50	v -x6689 -x6690 x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 x6698 -x6699 -x6700 
3600.04/1812.50	v x6701 -x6702 x6703 -x6704 x6705 -x6706 -x6707 -x6708 -x6709 x6710 -x6711 -x6712 
3600.04/1812.50	v -x6713 -x6714 -x6715 x6716 -x6717 x6718 -x6719 -x6720 -x6721 -x6722 x6723 -x6724 
3600.04/1812.50	v -x6725 -x6726 -x6727 x6728 -x6729 -x6730 -x6731 -x6732 x6733 -x6734 -x6735 
3600.04/1812.50	v -x6736 -x6737 x6738 -x6739 -x6740 -x6741 -x6742 x6743 -x6744 -x6745 -x6746 
3600.04/1812.50	v x6747 -x6748 -x6749 -x6750 -x6751 x6752 -x6753 -x6754 -x6755 -x6756 x6757 -x6758 
3600.04/1812.50	v -x6759 -x6760 -x6761 x6762 -x6763 -x6764 -x6765 -x6766 -x6767 x6768 -x6769 
3600.04/1812.50	v -x6770 -x6771 -x6772 x6773 -x6774 -x6775 -x6776 -x6777 x6778 -x6779 x6780 -x6781 
3600.04/1812.50	v -x6782 x6783 -x6784 -x6785 -x6786 -x6787 x6788 -x6789 -x6790 -x6791 -x6792 
3600.04/1812.50	v x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 x6800 -x6801 -x6802 -x6803 
3600.04/1812.50	v -x6804 -x6805 -x6806 x6807 -x6808 -x6809 -x6810 -x6811 x6812 -x6813 x6814 -x6815 
3600.04/1812.50	v -x6816 -x6817 -x6818 -x6819 x6820 -x6821 -x6822 -x6823 -x6824 x6825 -x6826 
3600.04/1812.50	v -x6827 -x6828 -x6829 x6830 -x6831 -x6832 -x6833 -x6834 x6835 -x6836 -x6837 
3600.04/1812.50	v -x6838 -x6839 x6840 -x6841 -x6842 -x6843 -x6844 x6845 -x6846 -x6847 -x6848 
3600.04/1812.50	v x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 x6859 -x6860 
3600.04/1812.50	v -x6861 -x6862 -x6863 x6864 -x6865 -x6866 -x6867 -x6868 -x6869 x6870 -x6871 
3600.04/1812.50	v -x6872 -x6873 -x6874 x6875 -x6876 -x6877 -x6878 -x6879 x6880 -x6881 -x6882 
3600.04/1812.50	v -x6883 -x6884 x6885 -x6886 -x6887 -x6888 -x6889 x6890 -x6891 -x6892 -x6893 
3600.04/1812.50	v -x6894 x6895 -x6896 x6897 -x6898 -x6899 -x6900 -x6901 x6902 -x6903 x6904 -x6905 
3600.04/1812.50	v -x6906 -x6907 -x6908 x6909 -x6910 -x6911 -x6912 -x6913 x6914 -x6915 -x6916 
3600.04/1812.50	v x6917 -x6918 -x6919 -x6920 -x6921 x6922 -x6923 -x6924 -x6925 -x6926 x6927 -x6928 
3600.04/1812.50	v -x6929 -x6930 -x6931 x6932 -x6933 -x6934 -x6935 -x6936 x6937 -x6938 -x6939 
3600.04/1812.50	v -x6940 -x6941 x6942 -x6943 -x6944 -x6945 -x6946 x6947 -x6948 -x6949 -x6950 
3600.04/1812.50	v x6951 -x6952 -x6953 -x6954 -x6955 x6956 -x6957 -x6958 -x6959 -x6960 x6961 -x6962 
3600.04/1812.50	v -x6963 -x6964 -x6965 x6966 x6967 -x6968 -x6969 -x6970 -x6971 x6972 -x6973 -x6974 
3600.04/1812.50	v -x6975 -x6976 x6977 -x6978 -x6979 -x6980 -x6981 x6982 -x6983 -x6984 -x6985 
3600.04/1812.50	v -x6986 x6987 -x6988 -x6989 -x6990 -x6991 x6992 -x6993 -x6994 -x6995 -x6996 
3600.04/1812.50	v -x6997 -x6998 x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 x7006 -x7007 
3600.04/1812.50	v -x7008 -x7009 -x7010 x7011 -x7012 -x7013 -x7014 -x7015 x7016 -x7017 -x7018 
3600.04/1812.50	v x7019 -x7020 -x7021 -x7022 -x7023 x7024 -x7025 -x7026 -x7027 -x7028 x7029 -x7030 
3600.04/1812.50	v -x7031 -x7032 -x7033 x7034 -x7035 -x7036 -x7037 -x7038 x7039 -x7040 -x7041 
3600.04/1812.50	v -x7042 -x7043 x7044 -x7045 -x7046 -x7047 -x7048 x7049 -x7050 -x7051 -x7052 
3600.04/1812.50	v x7053 -x7054 -x7055 -x7056 -x7057 x7058 -x7059 -x7060 -x7061 -x7062 x7063 -x7064 
3600.04/1812.50	v -x7065 -x7066 -x7067 -x7068 x7069 -x7070 -x7071 -x7072 -x7073 x7074 -x7075 
3600.04/1812.50	v -x7076 -x7077 -x7078 x7079 -x7080 -x7081 -x7082 -x7083 x7084 -x7085 -x7086 
3600.04/1812.50	v -x7087 -x7088 x7089 -x7090 -x7091 -x7092 -x7093 x7094 -x7095 x7096 -x7097 -x7098 
3600.04/1812.50	v -x7099 -x7100 x7101 -x7102 x7103 -x7104 -x7105 -x7106 -x7107 x7108 -x7109 -x7110 
3600.04/1812.50	v -x7111 -x7112 x7113 -x7114 -x7115 -x7116 x7117 -x7118 -x7119 -x7120 x7121 -x7122 
3600.04/1812.50	v -x7123 -x7124 -x7125 x7126 -x7127 -x7128 -x7129 -x7130 x7131 -x7132 -x7133 
3600.04/1812.50	v -x7134 -x7135 x7136 -x7137 -x7138 -x7139 -x7140 x7141 -x7142 -x7143 -x7144 
3600.04/1812.50	v -x7145 x7146 -x7147 -x7148 -x7149 -x7150 x7151 -x7152 -x7153 -x7154 x7155 -x7156 
3600.04/1812.50	v -x7157 -x7158 -x7159 x7160 -x7161 -x7162 -x7163 -x7164 x7165 -x7166 -x7167 
3600.04/1812.50	v -x7168 -x7169 -x7170 x7171 -x7172 -x7173 -x7174 -x7175 x7176 -x7177 -x7178 
3600.04/1812.50	v -x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 x7186 -x7187 -x7188 -x7189 
3600.04/1812.50	v -x7190 x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 x7198 -x7199 x7200 -x7201 
3600.04/1812.50	v -x7202 -x7203 -x7204 x7205 -x7206 -x7207 -x7208 -x7209 x7210 -x7211 -x7212 
3600.04/1812.50	v -x7213 -x7214 x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 x7223 
3600.04/1812.50	v -x7224 -x7225 -x7226 -x7227 x7228 -x7229 -x7230 -x7231 -x7232 x7233 -x7234 
3600.04/1812.50	v -x7235 -x7236 -x7237 x7238 -x7239 -x7240 -x7241 -x7242 x7243 -x7244 -x7245 
3600.04/1812.50	v -x7246 -x7247 x7248 -x7249 -x7250 -x7251 -x7252 x7253 -x7254 -x7255 -x7256 
3600.04/1812.50	v x7257 -x7258 -x7259 -x7260 -x7261 x7262 -x7263 -x7264 -x7265 -x7266 x7267 x7268 
3600.04/1812.50	v -x7269 -x7270 -x7271 -x7272 x7273 -x7274 -x7275 -x7276 -x7277 x7278 -x7279 
3600.04/1812.50	v -x7280 -x7281 -x7282 x7283 -x7284 -x7285 -x7286 -x7287 x7288 -x7289 -x7290 
3600.04/1812.50	v -x7291 -x7292 x7293 -x7294 x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 
3600.04/1812.50	v x7302 -x7303 -x7304 -x7305 -x7306 x7307 -x7308 -x7309 -x7310 -x7311 x7312 -x7313 
3600.04/1812.50	v -x7314 -x7315 -x7316 x7317 x7318 x7319 x7320 -x7321 -x7322 -x7323 -x7324 x7325 
3600.04/1812.50	v -x7326 -x7327 -x7328 -x7329 x7330 -x7331 -x7332 -x7333 -x7334 x7335 -x7336 
3600.04/1812.50	v -x7337 -x7338 -x7339 x7340 -x7341 -x7342 -x7343 -x7344 x7345 -x7346 -x7347 
3600.04/1812.50	v -x7348 -x7349 x7350 -x7351 -x7352 -x7353 -x7354 x7355 -x7356 -x7357 -x7358 
3600.04/1812.50	v x7359 -x7360 -x7361 -x7362 -x7363 x7364 -x7365 -x7366 -x7367 -x7368 -x7369 
3600.04/1812.50	v x7370 -x7371 -x7372 -x7373 -x7374 x7375 -x7376 -x7377 -x7378 -x7379 x7380 -x7381 
3600.04/1812.50	v -x7382 -x7383 -x7384 x7385 -x7386 -x7387 -x7388 -x7389 x7390 -x7391 -x7392 
3600.04/1812.50	v -x7393 -x7394 -x7395 -x7396 x7397 -x7398 x7399 -x7400 -x7401 -x7402 -x7403 
3600.04/1812.50	v x7404 -x7405 -x7406 -x7407 -x7408 x7409 -x7410 -x7411 -x7412 -x7413 x7414 -x7415 
3600.04/1812.50	v -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 x7422 -x7423 -x7424 -x7425 -x7426 
3600.04/1812.50	v x7427 -x7428 -x7429 -x7430 -x7431 x7432 -x7433 -x7434 -x7435 -x7436 x7437 -x7438 
3600.04/1812.50	v -x7439 -x7440 -x7441 x7442 -x7443 -x7444 -x7445 -x7446 x7447 -x7448 -x7449 
3600.04/1812.50	v -x7450 -x7451 x7452 -x7453 -x7454 -x7455 -x7456 x7457 -x7458 -x7459 -x7460 
3600.04/1812.50	v x7461 -x7462 -x7463 -x7464 -x7465 x7466 -x7467 -x7468 -x7469 -x7470 -x7471 
3600.04/1812.50	v x7472 -x7473 -x7474 -x7475 -x7476 x7477 -x7478 -x7479 -x7480 -x7481 x7482 -x7483 
3600.04/1812.50	v -x7484 -x7485 -x7486 x7487 -x7488 -x7489 -x7490 -x7491 x7492 -x7493 x7494 -x7495 
3600.04/1812.50	v -x7496 -x7497 x7498 -x7499 -x7500 x7501 -x7502 -x7503 -x7504 -x7505 x7506 -x7507 
3600.04/1812.50	v -x7508 -x7509 -x7510 x7511 -x7512 -x7513 -x7514 -x7515 x7516 -x7517 -x7518 
3600.04/1812.50	v -x7519 x7520 -x7521 -x7522 -x7523 x7524 -x7525 -x7526 -x7527 -x7528 x7529 -x7530 
3600.04/1812.50	v -x7531 -x7532 -x7533 x7534 -x7535 -x7536 -x7537 -x7538 x7539 -x7540 -x7541 
3600.04/1812.50	v -x7542 -x7543 x7544 -x7545 -x7546 -x7547 -x7548 x7549 -x7550 -x7551 -x7552 
3600.04/1812.50	v -x7553 x7554 -x7555 -x7556 -x7557 -x7558 x7559 -x7560 -x7561 -x7562 x7563 -x7564 
3600.04/1812.50	v -x7565 -x7566 -x7567 x7568 x7569 -x7570 -x7571 -x7572 -x7573 x7574 -x7575 -x7576 
3600.04/1812.50	v -x7577 -x7578 x7579 -x7580 -x7581 -x7582 -x7583 x7584 -x7585 -x7586 -x7587 
3600.04/1812.50	v -x7588 x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 -x7597 -x7598 
3600.04/1812.50	v -x7599 x7600 -x7601 -x7602 x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 
3600.04/1812.50	v -x7611 -x7612 x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 -x7621 
3600.04/1812.50	v x7622 -x7623 -x7624 -x7625 x7626 -x7627 -x7628 -x7629 -x7630 x7631 -x7632 -x7633 
3600.04/1812.50	v -x7634 -x7635 x7636 -x7637 -x7638 -x7639 -x7640 x7641 -x7642 -x7643 -x7644 
3600.04/1812.50	v -x7645 x7646 -x7647 -x7648 -x7649 -x7650 x7651 -x7652 -x7653 -x7654 -x7655 
3600.04/1812.50	v x7656 -x7657 -x7658 -x7659 -x7660 x7661 -x7662 -x7663 -x7664 x7665 x7666 -x7667 
3600.04/1812.50	v -x7668 -x7669 -x7670 x7671 -x7672 -x7673 -x7674 -x7675 x7676 -x7677 -x7678 
3600.04/1812.50	v -x7679 -x7680 x7681 -x7682 -x7683 -x7684 -x7685 x7686 -x7687 -x7688 -x7689 
3600.04/1812.50	v -x7690 x7691 -x7692 x7693 -x7694 -x7695 -x7696 -x7697 x7698 -x7699 -x7700 -x7701 
3600.04/1812.50	v -x7702 -x7703 -x7704 x7705 -x7706 -x7707 -x7708 -x7709 x7710 -x7711 -x7712 
3600.04/1812.50	v -x7713 -x7714 x7715 -x7716 -x7717 -x7718 -x7719 x7720 -x7721 -x7722 x7723 -x7724 
3600.04/1812.50	v -x7725 -x7726 -x7727 x7728 -x7729 -x7730 -x7731 -x7732 x7733 -x7734 -x7735 
3600.04/1812.50	v -x7736 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 x7743 -x7744 -x7745 -x7746 
3600.04/1812.50	v -x7747 x7748 -x7749 -x7750 -x7751 -x7752 x7753 -x7754 -x7755 -x7756 -x7757 
3600.04/1812.50	v x7758 -x7759 -x7760 -x7761 -x7762 x7763 -x7764 -x7765 -x7766 -x7767 x7768 -x7769 
3600.04/1812.50	v -x7770 -x7771 -x7772 x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7780 
3600.04/1812.50	v -x7781 -x7782 x7783 -x7784 -x7785 -x7786 -x7787 x7788 -x7789 -x7790 -x7791 
3600.04/1812.50	v -x7792 -x7793 -x7794 x7795 -x7796 -x7797 -x7798 -x7799 x7800 x7801 x7802 -x7803 
3600.04/1812.50	v -x7804 -x7805 -x7806 x7807 -x7808 -x7809 -x7810 -x7811 x7812 -x7813 -x7814 
3600.04/1812.50	v -x7815 -x7816 x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 x7825 
3600.04/1812.50	v -x7826 -x7827 -x7828 -x7829 x7830 -x7831 -x7832 -x7833 -x7834 x7835 -x7836 
3600.04/1812.50	v -x7837 -x7838 -x7839 x7840 -x7841 -x7842 -x7843 -x7844 x7845 -x7846 -x7847 
3600.04/1812.50	v -x7848 -x7849 x7850 -x7851 -x7852 -x7853 -x7854 x7855 -x7856 -x7857 -x7858 
3600.04/1812.50	v -x7859 x7860 -x7861 -x7862 -x7863 -x7864 x7865 -x7866 -x7867 -x7868 -x7869 
3600.04/1812.50	v x7870 -x7871 -x7872 -x7873 -x7874 x7875 -x7876 -x7877 -x7878 -x7879 x7880 -x7881 
3600.04/1812.50	v -x7882 -x7883 -x7884 x7885 -x7886 -x7887 -x7888 -x7889 x7890 -x7891 x7892 -x7893 
3600.04/1812.50	v -x7894 -x7895 -x7896 x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 x7904 
3600.04/1812.50	v -x7905 -x7906 -x7907 -x7908 x7909 -x7910 -x7911 -x7912 -x7913 x7914 -x7915 
3600.04/1812.50	v -x7916 -x7917 -x7918 x7919 -x7920 x7921 x7922 -x7923 -x7924 -x7925 -x7926 x7927 
3600.04/1812.50	v -x7928 -x7929 -x7930 -x7931 x7932 -x7933 -x7934 -x7935 -x7936 x7937 -x7938 
3600.04/1812.50	v -x7939 -x7940 -x7941 x7942 -x7943 -x7944 -x7945 -x7946 x7947 -x7948 -x7949 
3600.04/1812.50	v -x7950 -x7951 x7952 -x7953 -x7954 -x7955 -x7956 x7957 -x7958 -x7959 -x7960 
3600.04/1812.50	v -x7961 x7962 -x7963 -x7964 -x7965 -x7966 x7967 -x7968 -x7969 -x7970 -x7971 
3600.04/1812.50	v x7972 -x7973 -x7974 -x7975 -x7976 x7977 -x7978 -x7979 -x7980 -x7981 x7982 -x7983 
3600.04/1812.50	v -x7984 -x7985 -x7986 x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 
3600.04/1812.50	v -x7995 -x7996 -x7997 -x7998 x7999 -x8000 -x8001 -x8002 x8003 -x8004 -x8005 
3600.04/1812.50	v x8006 -x8007 -x8008 -x8009 -x8010 x8011 -x8012 -x8013 -x8014 -x8015 x8016 -x8017 
3600.04/1812.50	v -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 x8024 -x8025 -x8026 -x8027 -x8028 
3600.04/1812.50	v x8029 -x8030 -x8031 -x8032 -x8033 x8034 -x8035 -x8036 -x8037 -x8038 x8039 -x8040 
3600.04/1812.50	v -x8041 -x8042 -x8043 x8044 -x8045 -x8046 -x8047 -x8048 x8049 -x8050 -x8051 
3600.04/1812.50	v -x8052 -x8053 x8054 -x8055 -x8056 -x8057 -x8058 x8059 -x8060 -x8061 -x8062 
3600.04/1812.50	v -x8063 x8064 -x8065 -x8066 -x8067 -x8068 x8069 -x8070 -x8071 -x8072 -x8073 
3600.04/1812.50	v x8074 -x8075 -x8076 -x8077 -x8078 x8079 -x8080 -x8081 -x8082 -x8083 x8084 -x8085 
3600.04/1812.50	v -x8086 -x8087 -x8088 x8089 -x8090 x8091 -x8092 -x8093 -x8094 -x8095 x8096 x8097 
3600.04/1812.50	v -x8098 -x8099 -x8100 x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 x8108 
3600.04/1812.50	v -x8109 -x8110 -x8111 -x8112 x8113 -x8114 -x8115 -x8116 -x8117 x8118 -x8119 
3600.04/1812.50	v x8120 -x8121 -x8122 -x8123 -x8124 -x8125 x8126 -x8127 -x8128 -x8129 -x8130 
3600.04/1812.50	v x8131 -x8132 -x8133 -x8134 -x8135 x8136 -x8137 -x8138 -x8139 -x8140 x8141 -x8142 
3600.04/1812.50	v -x8143 -x8144 -x8145 x8146 -x8147 -x8148 -x8149 -x8150 x8151 -x8152 -x8153 
3600.04/1812.50	v -x8154 -x8155 x8156 -x8157 -x8158 -x8159 -x8160 x8161 -x8162 -x8163 -x8164 
3600.04/1812.50	v -x8165 x8166 -x8167 -x8168 -x8169 -x8170 x8171 -x8172 -x8173 -x8174 -x8175 
3600.04/1812.50	v x8176 -x8177 -x8178 -x8179 -x8180 x8181 -x8182 -x8183 -x8184 -x8185 x8186 -x8187 
3600.04/1812.50	v -x8188 -x8189 -x8190 -x8191 -x8192 x8193 -x8194 -x8195 -x8196 -x8197 -x8198 
3600.04/1812.50	v -x8199 x8200 -x8201 -x8202 -x8203 x8204 x8205 -x8206 -x8207 -x8208 -x8209 x8210 
3600.04/1812.50	v -x8211 -x8212 -x8213 -x8214 x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 
3600.04/1812.50	v x8222 x8223 -x8224 -x8225 -x8226 -x8227 x8228 -x8229 -x8230 -x8231 -x8232 x8233 
3600.04/1812.50	v -x8234 -x8235 -x8236 -x8237 x8238 -x8239 -x8240 -x8241 -x8242 x8243 -x8244 
3600.04/1812.50	v -x8245 -x8246 -x8247 x8248 -x8249 -x8250 -x8251 -x8252 x8253 -x8254 -x8255 
3600.04/1812.50	v -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 x8263 -x8264 -x8265 -x8266 
3600.04/1812.50	v -x8267 x8268 -x8269 -x8270 -x8271 -x8272 x8273 -x8274 -x8275 -x8276 -x8277 
3600.04/1812.50	v x8278 -x8279 -x8280 -x8281 -x8282 x8283 -x8284 -x8285 -x8286 -x8287 x8288 -x8289 
3600.04/1812.50	v x8290 -x8291 -x8292 -x8293 -x8294 x8295 -x8296 -x8297 x8298 -x8299 -x8300 -x8301 
3600.04/1812.50	v x8302 -x8303 -x8304 -x8305 -x8306 x8307 -x8308 -x8309 -x8310 -x8311 x8312 -x8313 
3600.04/1812.50	v -x8314 -x8315 -x8316 x8317 -x8318 x8319 -x8320 -x8321 -x8322 -x8323 -x8324 
3600.04/1812.50	v x8325 -x8326 -x8327 -x8328 -x8329 x8330 -x8331 -x8332 -x8333 -x8334 x8335 -x8336 
3600.04/1812.50	v -x8337 -x8338 -x8339 x8340 -x8341 -x8342 -x8343 -x8344 x8345 -x8346 -x8347 
3600.04/1812.50	v -x8348 -x8349 x8350 -x8351 -x8352 -x8353 -x8354 x8355 -x8356 -x8357 -x8358 
3600.04/1812.50	v -x8359 x8360 -x8361 -x8362 -x8363 -x8364 x8365 -x8366 -x8367 -x8368 -x8369 
3600.04/1812.50	v x8370 -x8371 -x8372 -x8373 -x8374 x8375 -x8376 -x8377 -x8378 -x8379 x8380 -x8381 
3600.04/1812.50	v -x8382 -x8383 -x8384 x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 x8392 
3600.04/1812.50	v -x8393 -x8394 -x8395 -x8396 x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 
3600.04/1812.50	v x8404 -x8405 -x8406 -x8407 -x8408 x8409 -x8410 -x8411 -x8412 -x8413 x8414 -x8415 
3600.04/1812.50	v -x8416 -x8417 -x8418 -x8419 -x8420 x8421 -x8422 -x8423 -x8424 -x8425 -x8426 
3600.04/1812.50	v x8427 -x8428 -x8429 -x8430 -x8431 x8432 -x8433 -x8434 -x8435 -x8436 x8437 -x8438 
3600.04/1812.50	v -x8439 -x8440 -x8441 x8442 -x8443 -x8444 -x8445 -x8446 x8447 -x8448 -x8449 
3600.04/1812.50	v -x8450 -x8451 x8452 -x8453 -x8454 -x8455 -x8456 x8457 -x8458 -x8459 -x8460 
3600.04/1812.50	v -x8461 x8462 -x8463 -x8464 -x8465 -x8466 x8467 -x8468 -x8469 -x8470 -x8471 
3600.04/1812.50	v x8472 -x8473 -x8474 -x8475 -x8476 x8477 -x8478 -x8479 -x8480 -x8481 x8482 -x8483 
3600.04/1812.50	v -x8484 -x8485 -x8486 x8487 -x8488 x8489 -x8490 -x8491 -x8492 -x8493 x8494 -x8495 
3600.04/1812.50	v -x8496 -x8497 -x8498 x8499 x8500 x8501 -x8502 -x8503 -x8504 -x8505 x8506 -x8507 
3600.04/1812.50	v -x8508 -x8509 -x8510 x8511 -x8512 -x8513 -x8514 -x8515 x8516 -x8517 x8518 -x8519 
3600.04/1812.50	v -x8520 -x8521 -x8522 x8523 x8524 -x8525 -x8526 -x8527 -x8528 x8529 -x8530 -x8531 
3600.04/1812.50	v -x8532 -x8533 x8534 -x8535 -x8536 -x8537 -x8538 x8539 -x8540 -x8541 -x8542 
3600.04/1812.50	v -x8543 x8544 -x8545 -x8546 -x8547 -x8548 x8549 -x8550 -x8551 -x8552 -x8553 
3600.04/1812.50	v x8554 -x8555 -x8556 -x8557 -x8558 x8559 -x8560 -x8561 -x8562 -x8563 x8564 -x8565 
3600.04/1812.50	v -x8566 -x8567 -x8568 x8569 -x8570 -x8571 -x8572 -x8573 x8574 -x8575 -x8576 
3600.04/1812.50	v -x8577 -x8578 x8579 -x8580 -x8581 -x8582 -x8583 x8584 -x8585 -x8586 -x8587 
3600.04/1812.50	v -x8588 -x8589 -x8590 x8591 -x8592 -x8593 -x8594 -x8595 x8596 -x8597 -x8598 
3600.04/1812.50	v -x8599 -x8600 -x8601 -x8602 x8603 -x8604 -x8605 -x8606 -x8607 x8608 -x8609 
3600.04/1812.50	v -x8610 -x8611 -x8612 x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 x8620 
3600.04/1812.50	v -x8621 -x8622 -x8623 -x8624 -x8625 x8626 -x8627 -x8628 -x8629 -x8630 x8631 
3600.04/1812.50	v -x8632 -x8633 -x8634 -x8635 x8636 -x8637 -x8638 -x8639 -x8640 x8641 -x8642 
3600.04/1812.50	v -x8643 -x8644 -x8645 x8646 -x8647 -x8648 -x8649 -x8650 x8651 -x8652 -x8653 
3600.04/1812.50	v -x8654 -x8655 x8656 -x8657 -x8658 -x8659 -x8660 x8661 -x8662 -x8663 -x8664 
3600.04/1812.50	v -x8665 x8666 -x8667 -x8668 -x8669 -x8670 x8671 -x8672 -x8673 -x8674 -x8675 
3600.04/1812.50	v x8676 -x8677 -x8678 -x8679 -x8680 x8681 -x8682 -x8683 -x8684 -x8685 x8686 -x8687 
3600.04/1812.50	v x8688 -x8689 -x8690 -x8691 -x8692 x8693 -x8694 -x8695 -x8696 -x8697 x8698 -x8699 
3600.04/1812.50	v -x8700 -x8701 -x8702 -x8703 -x8704 x8705 -x8706 -x8707 -x8708 -x8709 x8710 
3600.04/1812.50	v -x8711 -x8712 -x8713 -x8714 x8715 -x8716 x8717 -x8718 -x8719 -x8720 -x8721 
3600.04/1812.50	v x8722 -x8723 -x8724 -x8725 -x8726 -x8727 x8728 -x8729 -x8730 -x8731 -x8732 
3600.04/1812.50	v x8733 -x8734 -x8735 -x8736 -x8737 x8738 -x8739 -x8740 -x8741 -x8742 x8743 -x8744 
3600.04/1812.50	v -x8745 -x8746 -x8747 x8748 -x8749 -x8750 -x8751 -x8752 x8753 -x8754 -x8755 
3600.04/1812.50	v -x8756 -x8757 x8758 -x8759 -x8760 -x8761 -x8762 x8763 -x8764 -x8765 -x8766 
3600.04/1812.50	v -x8767 x8768 -x8769 -x8770 -x8771 -x8772 x8773 -x8774 -x8775 -x8776 -x8777 
3600.04/1812.50	v x8778 -x8779 -x8780 -x8781 -x8782 x8783 -x8784 -x8785 -x8786 -x8787 -x8788 
3600.04/1812.50	v -x8789 x8790 -x8791 -x8792 -x8793 -x8794 x8795 -x8796 -x8797 -x8798 -x8799 
3600.04/1812.50	v x8800 x8801 x8802 -x8803 -x8804 -x8805 -x8806 x8807 -x8808 -x8809 -x8810 -x8811 
3600.04/1812.50	v x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 x8819 -x8820 -x8821 -x8822 
3600.04/1812.50	v -x8823 x8824 x8825 -x8826 -x8827 -x8828 -x8829 x8830 -x8831 -x8832 -x8833 -x8834 
3600.04/1812.50	v x8835 -x8836 -x8837 -x8838 -x8839 x8840 -x8841 -x8842 -x8843 -x8844 x8845 -x8846 
3600.04/1812.50	v -x8847 -x8848 -x8849 x8850 -x8851 -x8852 -x8853 -x8854 x8855 -x8856 -x8857 
3600.04/1812.50	v -x8858 -x8859 x8860 -x8861 -x8862 -x8863 -x8864 x8865 -x8866 -x8867 -x8868 
3600.04/1812.50	v -x8869 x8870 -x8871 -x8872 -x8873 -x8874 x8875 -x8876 -x8877 -x8878 -x8879 
3600.04/1812.50	v x8880 -x8881 -x8882 -x8883 -x8884 x8885 -x8886 x8887 -x8888 -x8889 -x8890 -x8891 
3600.04/1812.50	v x8892 -x8893 -x8894 -x8895 -x8896 x8897 -x8898 -x8899 -x8900 -x8901 -x8902 
3600.04/1812.50	v -x8903 x8904 -x8905 -x8906 -x8907 -x8908 x8909 -x8910 -x8911 -x8912 -x8913 
3600.04/1812.50	v x8914 -x8915 x8916 -x8917 -x8918 -x8919 -x8920 x8921 -x8922 -x8923 -x8924 -x8925 
3600.04/1812.50	v -x8926 x8927 -x8928 -x8929 -x8930 -x8931 x8932 -x8933 -x8934 -x8935 -x8936 
3600.04/1812.50	v x8937 -x8938 -x8939 -x8940 -x8941 x8942 -x8943 -x8944 -x8945 -x8946 x8947 -x8948 
3600.04/1812.50	v -x8949 -x8950 -x8951 x8952 -x8953 -x8954 -x8955 -x8956 x8957 -x8958 -x8959 
3600.04/1812.50	v -x8960 -x8961 x8962 -x8963 -x8964 -x8965 -x8966 x8967 -x8968 -x8969 -x8970 
3600.04/1812.50	v -x8971 x8972 -x8973 -x8974 -x8975 -x8976 x8977 -x8978 -x8979 -x8980 -x8981 
3600.04/1812.50	v x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 x8989 -x8990 -x8991 -x8992 
3600.04/1812.50	v -x8993 x8994 -x8995 -x8996 -x8997 -x8998 x8999 -x9000 -x9001 x9002 -x9003 -x9004 
3600.04/1812.50	v -x9005 x9006 -x9007 -x9008 -x9009 -x9010 x9011 -x9012 -x9013 -x9014 -x9015 
3600.04/1812.50	v -x9016 -x9017 x9018 -x9019 -x9020 -x9021 -x9022 x9023 -x9024 -x9025 -x9026 
3600.04/1812.50	v -x9027 -x9028 x9029 -x9030 -x9031 -x9032 -x9033 x9034 -x9035 -x9036 -x9037 
3600.04/1812.50	v -x9038 x9039 -x9040 -x9041 -x9042 -x9043 x9044 -x9045 -x9046 -x9047 -x9048 
3600.04/1812.50	v x9049 -x9050 -x9051 -x9052 -x9053 x9054 -x9055 -x9056 -x9057 -x9058 x9059 -x9060 
3600.04/1812.50	v -x9061 -x9062 -x9063 x9064 -x9065 -x9066 -x9067 -x9068 x9069 -x9070 -x9071 
3600.04/1812.50	v -x9072 -x9073 x9074 -x9075 -x9076 -x9077 -x9078 x9079 -x9080 -x9081 -x9082 
3600.04/1812.50	v -x9083 x9084 -x9085 x9086 -x9087 -x9088 -x9089 -x9090 x9091 -x9092 -x9093 -x9094 
3600.04/1812.50	v -x9095 x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 x9103 -x9104 -x9105 
3600.04/1812.50	v -x9106 -x9107 x9108 -x9109 -x9110 -x9111 -x9112 x9113 -x9114 x9115 -x9116 -x9117 
3600.04/1812.50	v -x9118 -x9119 x9120 -x9121 -x9122 -x9123 -x9124 x9125 x9126 -x9127 -x9128 -x9129 
3600.04/1812.50	v -x9130 x9131 -x9132 -x9133 -x9134 -x9135 x9136 -x9137 -x9138 -x9139 -x9140 
3600.04/1812.50	v x9141 -x9142 -x9143 -x9144 -x9145 x9146 -x9147 -x9148 -x9149 -x9150 x9151 -x9152 
3600.04/1812.50	v -x9153 -x9154 -x9155 x9156 -x9157 -x9158 -x9159 -x9160 x9161 -x9162 -x9163 
3600.04/1812.50	v -x9164 -x9165 x9166 -x9167 -x9168 -x9169 -x9170 x9171 -x9172 -x9173 -x9174 
3600.04/1812.50	v -x9175 x9176 -x9177 -x9178 -x9179 -x9180 x9181 -x9182 -x9183 -x9184 -x9185 
3600.04/1812.50	v -x9186 -x9187 x9188 -x9189 -x9190 -x9191 -x9192 x9193 -x9194 -x9195 -x9196 
3600.04/1812.50	v -x9197 x9198 -x9199 x9200 x9201 -x9202 -x9203 -x9204 x9205 -x9206 -x9207 -x9208 
3600.04/1812.50	v -x9209 x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 x9217 -x9218 -x9219 
3600.04/1812.50	v -x9220 -x9221 x9222 -x9223 -x9224 -x9225 -x9226 -x9227 x9228 -x9229 -x9230 
3600.04/1812.50	v -x9231 -x9232 x9233 -x9234 -x9235 -x9236 -x9237 x9238 -x9239 -x9240 -x9241 
3600.04/1812.50	v -x9242 x9243 -x9244 -x9245 -x9246 -x9247 x9248 -x9249 -x9250 -x9251 -x9252 
3600.04/1812.50	v x9253 -x9254 -x9255 -x9256 -x9257 x9258 -x9259 -x9260 -x9261 -x9262 x9263 -x9264 
3600.04/1812.50	v -x9265 -x9266 -x9267 x9268 -x9269 -x9270 -x9271 -x9272 x9273 -x9274 -x9275 
3600.04/1812.50	v -x9276 -x9277 x9278 -x9279 -x9280 -x9281 -x9282 x9283 -x9284 x9285 -x9286 -x9287 
3600.04/1812.50	v -x9288 -x9289 x9290 -x9291 -x9292 -x9293 -x9294 x9295 -x9296 -x9297 -x9298 
3600.04/1812.50	v -x9299 -x9300 -x9301 x9302 -x9303 -x9304 -x9305 -x9306 x9307 -x9308 -x9309 
3600.04/1812.50	v -x9310 -x9311 x9312 -x9313 x9314 -x9315 -x9316 -x9317 -x9318 x9319 -x9320 -x9321 
3600.04/1812.50	v -x9322 -x9323 x9324 -x9325 -x9326 x9327 -x9328 -x9329 x9330 -x9331 -x9332 -x9333 
3600.04/1812.50	v -x9334 x9335 -x9336 -x9337 -x9338 -x9339 x9340 -x9341 -x9342 -x9343 -x9344 
3600.04/1812.50	v x9345 -x9346 -x9347 -x9348 -x9349 x9350 -x9351 -x9352 -x9353 -x9354 x9355 -x9356 
3600.04/1812.50	v -x9357 -x9358 -x9359 x9360 -x9361 -x9362 -x9363 -x9364 x9365 -x9366 -x9367 
3600.04/1812.50	v -x9368 -x9369 x9370 -x9371 -x9372 -x9373 -x9374 x9375 -x9376 -x9377 -x9378 
3600.04/1812.50	v -x9379 x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 x9387 -x9388 -x9389 
3600.04/1812.50	v -x9390 -x9391 x9392 -x9393 -x9394 -x9395 -x9396 x9397 -x9398 x9399 -x9400 -x9401 
3600.04/1812.50	v -x9402 -x9403 x9404 -x9405 -x9406 -x9407 -x9408 x9409 -x9410 -x9411 -x9412 
3600.04/1812.50	v -x9413 -x9414 -x9415 x9416 -x9417 -x9418 -x9419 -x9420 x9421 -x9422 -x9423 
3600.04/1812.50	v -x9424 x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 x9432 -x9433 -x9434 
3600.04/1812.50	v -x9435 -x9436 x9437 -x9438 -x9439 -x9440 -x9441 x9442 -x9443 -x9444 -x9445 
3600.04/1812.50	v -x9446 x9447 -x9448 -x9449 -x9450 -x9451 x9452 -x9453 -x9454 -x9455 -x9456 
3600.04/1812.50	v x9457 -x9458 -x9459 -x9460 -x9461 x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 
3600.04/1812.50	v -x9469 -x9470 -x9471 x9472 -x9473 -x9474 -x9475 -x9476 x9477 -x9478 -x9479 
3600.04/1812.50	v -x9480 -x9481 x9482 -x9483 x9484 -x9485 -x9486 -x9487 -x9488 x9489 -x9490 -x9491 
3600.04/1812.50	v -x9492 -x9493 x9494 -x9495 -x9496 -x9497 x9498 -x9499 -x9500 x9501 -x9502 -x9503 
3600.04/1812.50	v -x9504 -x9505 x9506 -x9507 -x9508 -x9509 -x9510 x9511 -x9512 x9513 -x9514 -x9515 
3600.04/1812.50	v -x9516 -x9517 x9518 -x9519 -x9520 -x9521 -x9522 x9523 -x9524 -x9525 -x9526 
3600.04/1812.50	v -x9527 x9528 x9529 -x9530 -x9531 -x9532 -x9533 x9534 -x9535 -x9536 -x9537 -x9538 
3600.04/1812.50	v x9539 -x9540 -x9541 -x9542 -x9543 x9544 -x9545 -x9546 -x9547 -x9548 x9549 -x9550 
3600.04/1812.50	v -x9551 x9552 -x9553 x9554 -x9555 -x9556 -x9557 -x9558 x9559 -x9560 -x9561 -x9562 
3600.04/1812.50	v -x9563 x9564 -x9565 -x9566 -x9567 -x9568 x9569 -x9570 -x9571 x9572 -x9573 x9574 
3600.04/1812.50	v -x9575 -x9576 -x9577 -x9578 x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 
3600.04/1812.50	v x9586 -x9587 -x9588 -x9589 -x9590 x9591 -x9592 -x9593 -x9594 -x9595 x9596 -x9597 
3600.04/1812.50	v -x9598 -x9599 x9600 -x9601 -x9602 x9603 -x9604 -x9605 -x9606 -x9607 x9608 -x9609 
3600.04/1812.50	v -x9610 -x9611 -x9612 -x9613 -x9614 x9615 -x9616 -x9617 -x9618 -x9619 x9620 
3600.04/1812.50	v -x9621 -x9622 -x9623 -x9624 -x9625 x9626 -x9627 -x9628 -x9629 -x9630 x9631 
3600.04/1812.50	v -x9632 -x9633 -x9634 -x9635 x9636 -x9637 -x9638 -x9639 -x9640 x9641 -x9642 
3600.04/1812.50	v -x9643 -x9644 -x9645 x9646 -x9647 -x9648 -x9649 x9650 -x9651 -x9652 -x9653 
3600.04/1812.50	v -x9654 -x9655 x9656 -x9657 -x9658 -x9659 -x9660 x9661 -x9662 -x9663 -x9664 
3600.04/1812.50	v -x9665 x9666 -x9667 -x9668 -x9669 x9670 -x9671 -x9672 -x9673 -x9674 -x9675 
3600.04/1812.50	v x9676 -x9677 -x9678 -x9679 -x9680 x9681 -x9682 x9683 -x9684 -x9685 -x9686 -x9687 
3600.04/1812.50	v x9688 -x9689 -x9690 -x9691 -x9692 x9693 -x9694 x9695 -x9696 -x9697 -x9698 x9699 
3600.04/1812.50	v -x9700 -x9701 -x9702 -x9703 -x9704 x9705 -x9706 -x9707 -x9708 -x9709 x9710 
3600.04/1812.50	v -x9711 x9712 -x9713 -x9714 -x9715 -x9716 x9717 -x9718 -x9719 -x9720 -x9721 
3600.04/1812.50	v x9722 -x9723 x9724 -x9725 -x9726 -x9727 -x9728 x9729 -x9730 -x9731 -x9732 x9733 
3600.04/1812.50	v -x9734 -x9735 -x9736 -x9737 x9738 -x9739 -x9740 -x9741 -x9742 x9743 -x9744 
3600.04/1812.50	v -x9745 -x9746 -x9747 x9748 -x9749 -x9750 -x9751 -x9752 x9753 -x9754 -x9755 
3600.04/1812.50	v -x9756 -x9757 x9758 -x9759 -x9760 -x9761 -x9762 x9763 -x9764 -x9765 -x9766 
3600.04/1812.50	v -x9767 x9768 -x9769 -x9770 -x9771 -x9772 x9773 -x9774 -x9775 -x9776 -x9777 
3600.04/1812.50	v x9778 x9779 -x9780 -x9781 -x9782 -x9783 -x9784 x9785 -x9786 -x9787 -x9788 -x9789 
3600.04/1812.50	v x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 
3600.04/1812.50	v x9801 x9802 x9803 -x9804 -x9805 -x9806 x9807 -x9808 -x9809 -x9810 -x9811 -x9812 
3600.04/1812.50	v -x9813 x9814 -x9815 -x9816 -x9817 -x9818 x9819 -x9820 -x9821 -x9822 -x9823 
3600.04/1812.50	v -x9824 -x9825 -x9826 x9827 -x9828 -x9829 -x9830 x9831 -x9832 -x9833 -x9834 
3600.04/1812.50	v x9835 -x9836 -x9837 -x9838 -x9839 x9840 -x9841 -x9842 -x9843 -x9844 x9845 -x9846 
3600.04/1812.50	v x9847 -x9848 -x9849 -x9850 x9851 -x9852 -x9853 -x9854 x9855 -x9856 -x9857 -x9858 
3600.04/1812.50	v -x9859 x9860 -x9861 x9862 -x9863 -x9864 x9865 -x9866 -x9867 -x9868 -x9869 -x9870 
3600.04/1812.50	v x9871 -x9872 -x9873 -x9874 x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 
3600.04/1812.50	v x9882 x9883 -x9884 -x9885 -x9886 x9887 -x9888 -x9889 -x9890 -x9891 x9892 -x9893 
3600.04/1812.50	v x9894 -x9895 -x9896 -x9897 -x9898 -x9899 x9900 -x9901 -x9902 -x9903 -x9904 
3600.04/1812.50	v x9905 -x9906 -x9907 -x9908 x9909 -x9910 x9911 x9912 -x9913 -x9914 -x9915 x9916 
3600.04/1812.50	v -x9917 x9918 -x9919 -x9920 x9921 -x9922 x9923 -x9924 x9925 -x9926 -x9927 -x9928 
3600.04/1812.50	v x9929 -x9930 -x9931 -x9932 x9933 -x9934 -x9935 -x9936 x9937 x9938 -x9939 -x9940 
3600.04/1812.50	v -x9941 x9942 -x9943 -x9944 x9945 -x9946 -x9947 -x9948 x9949 -x9950 -x9951 -x9952 
3600.04/1812.50	v x9953 -x9954 -x9955 -x9956 x9957 -x9958 -x9959 x9960 -x9961 -x9962 x9963 -x9964 
3600.04/1812.50	v -x9965 -x9966 x9967 -x9968 x9969 -x9970 -x9971 -x9972 x9973 -x9974 -x9975 -x9976 
3600.04/1812.50	v x9977 -x9978 -x9979 x9980 -x9981 -x9982 -x9983 -x9984 x9985 -x9986 -x9987 -x9988 
3600.04/1812.50	v x9989 -x9990 -x9991 x9992 -x9993 -x9994 -x9995 x9996 -x9997 x9998 -x9999 -x10000 

Verifier Data

OK	2118

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62764 MiB free)
  memory of node 1: 64507 MiB (63296 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487732-1751316293/watcher-4487732-1751316293 -o /tmp/evaluation-result-4487732-1751316293/solver-4487732-1751316293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751313715-47854 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2142312485 --competition_mode --input HOME/instance-4487732-1751316293.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49310, runsolver pid=49307

[startup+0.100061 s]*
/proc/loadavg: 7.79 8.04 7.88 8/271 49311
/proc/meminfo: memFree=129080720/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=29124 memory=24520 CPUtime=0.09 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) R 49307 49310 47844 0 -1 4194304 5605 0 0 0 9 0 0 0 20 0 1 0 47307220 29822976 6130 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 7281 6130 1664 2102 0 4821 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29124 KiB
Current children cumulated memory: 24520 KiB

[startup+0.205568 s]*
/proc/loadavg: 7.79 8.04 7.88 8/271 49311
/proc/meminfo: memFree=129076940/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=29980 memory=26920 CPUtime=0.2 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) R 49307 49310 47844 0 -1 4194304 7925 0 0 0 19 1 0 0 20 0 1 0 47307220 30699520 6730 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 7495 6730 1888 2102 0 5035 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29980 KiB
Current children cumulated memory: 26920 KiB

[startup+0.305465 s]*
/proc/loadavg: 7.79 8.04 7.88 8/271 49311
/proc/meminfo: memFree=129074420/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=33576 memory=30284 CPUtime=0.3 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) R 49307 49310 47844 0 -1 4194304 11216 0 0 0 29 1 0 0 20 0 1 0 47307220 34381824 7571 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 8394 7571 1888 2102 0 5934 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33576 KiB
Current children cumulated memory: 30284 KiB

[startup+0.700221 s]
/proc/loadavg: 7.79 8.04 7.88 9/273 49313
/proc/meminfo: memFree=129032272/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=194896 memory=79656 CPUtime=0.97 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 21759 0 0 0 94 3 0 0 20 0 3 0 47307220 199573504 19914 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 48724 19914 2176 2102 0 24466 0
[pid=49310/tid=49312] ppid=49307 vsize=194896 memory=10752 CPUtime=0.3 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 6524 0 0 0 29 1 0 0 20 0 3 0 47307258 199573504 19914 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=194896 memory=60169173 CPUtime=0.28 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 3592 0 0 0 28 0 0 0 20 0 3 0 47307258 199573504 19914 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 194896 KiB
Current children cumulated memory: 79656 KiB

[startup+1.50022 s]
/proc/loadavg: 7.79 8.04 7.88 9/273 49313
/proc/meminfo: memFree=129024468/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=182464 memory=91104 CPUtime=2.56 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 29753 0 0 0 252 4 0 0 20 0 3 0 47307220 186843136 22776 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 45616 22776 2176 2102 0 26774 0
[pid=49310/tid=49312] ppid=49307 vsize=182464 memory=60169173 CPUtime=1.1 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 8770 0 0 0 109 1 0 0 20 0 3 0 47307258 186843136 22776 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=182464 memory=0 CPUtime=1.07 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 9312 0 0 0 106 1 0 0 20 0 3 0 47307258 186843136 22776 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 182464 KiB
Current children cumulated memory: 91104 KiB

[startup+3.10545 s]
/proc/loadavg: 7.81 8.04 7.88 9/273 49313
/proc/meminfo: memFree=129000528/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=182464 memory=97632 CPUtime=5.75 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 34459 0 0 0 570 5 0 0 20 0 3 0 47307220 186843136 24408 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 45616 24408 2176 2102 0 28240 0
[pid=49310/tid=49312] ppid=49307 vsize=182464 memory=0 CPUtime=2.7 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 9137 0 0 0 269 1 0 0 20 0 3 0 47307258 186843136 24408 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=182464 memory=14848 CPUtime=2.66 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 13646 0 0 0 264 2 0 0 20 0 3 0 47307258 186843136 24408 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 182464 KiB
Current children cumulated memory: 97632 KiB

[startup+6.30019 s]
/proc/loadavg: 7.81 8.04 7.88 9/273 49313
/proc/meminfo: memFree=129000780/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=182464 memory=101100 CPUtime=12.09 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 52074 0 0 0 1203 6 0 0 20 0 3 0 47307220 186843136 25275 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 45616 25275 2176 2102 0 28290 0
[pid=49310/tid=49312] ppid=49307 vsize=182464 memory=0 CPUtime=5.88 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 14276 0 0 0 587 1 0 0 20 0 3 0 47307258 186843136 25275 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=182464 memory=17920 CPUtime=5.82 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 26071 0 0 0 579 3 0 0 20 0 3 0 47307258 186843136 25275 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 12.09 s
Current children cumulated vsize: 182464 KiB
Current children cumulated memory: 101100 KiB

[startup+12.7002 s]
/proc/loadavg: 7.83 8.04 7.88 9/273 49313
/proc/meminfo: memFree=129001536/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=182464 memory=103404 CPUtime=24.81 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 56904 0 0 0 2474 7 0 0 20 0 3 0 47307220 186843136 25851 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 45616 25851 2176 2102 0 29107 0
[pid=49310/tid=49312] ppid=49307 vsize=182464 memory=103148 CPUtime=12.26 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 17977 0 0 0 1225 1 0 0 20 0 3 0 47307258 186843136 25851 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=182464 memory=102508 CPUtime=12.15 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 27198 0 0 0 1212 3 0 0 20 0 3 0 47307258 186843136 25851 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 182464 KiB
Current children cumulated memory: 103404 KiB

[startup+25.5002 s]
/proc/loadavg: 7.87 8.03 7.89 9/273 49313
/proc/meminfo: memFree=128998700/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=182464 memory=107756 CPUtime=50.23 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 70192 0 0 0 5015 8 0 0 20 0 3 0 47307220 186843136 26939 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 45616 26939 2176 2102 0 30515 0
[pid=49310/tid=49312] ppid=49307 vsize=182464 memory=-8183426999067122630 CPUtime=25.03 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 24681 0 0 0 2501 2 0 0 20 0 3 0 47307258 186843136 26939 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=182464 memory=97632 CPUtime=24.8 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 33748 0 0 0 2477 3 0 0 20 0 3 0 47307258 186843136 26939 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 50.23 s
Current children cumulated vsize: 182464 KiB
Current children cumulated memory: 107756 KiB

[startup+51.1054 s]
/proc/loadavg: 7.91 8.03 7.89 9/273 49314
/proc/meminfo: memFree=128997440/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=182464 memory=110956 CPUtime=101.1 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 95984 0 0 0 10099 11 0 0 20 0 3 0 47307220 186843136 27739 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 45616 27739 2176 2102 0 31442 0
[pid=49310/tid=49312] ppid=49307 vsize=182464 memory=14848 CPUtime=50.55 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 37695 0 0 0 5052 3 0 0 20 0 3 0 47307258 186843136 27739 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=182464 memory=17920 CPUtime=50.12 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 46433 0 0 0 5007 5 0 0 20 0 3 0 47307258 186843136 27739 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 101.1 s
Current children cumulated vsize: 182464 KiB
Current children cumulated memory: 110956 KiB

[startup+102.3 s]
/proc/loadavg: 8.01 8.04 7.91 9/273 49316
/proc/meminfo: memFree=128936904/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=150904 CPUtime=202.8 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 115962 0 0 0 20266 14 0 0 20 0 3 0 47307220 270733312 37726 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 37726 2176 2102 0 43113 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=150008 CPUtime=101.56 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 51094 0 0 0 10152 4 0 0 20 0 3 0 47307258 270733312 37726 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=14848 CPUtime=100.78 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 52937 0 0 0 10072 6 0 0 20 0 3 0 47307258 270733312 37726 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 202.8 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 150904 KiB

[startup+162.3 s]
/proc/loadavg: 8.11 8.06 7.92 9/273 49319
/proc/meminfo: memFree=128893432/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=154488 CPUtime=321.94 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 126228 0 0 0 32178 16 0 0 20 0 3 0 47307220 270733312 38622 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 38622 2176 2102 0 43113 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=14848 CPUtime=161.16 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 60502 0 0 0 16111 5 0 0 20 0 3 0 47307258 270733312 38622 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=153080 CPUtime=160.29 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 53757 0 0 0 16022 7 0 0 20 0 3 0 47307258 270733312 38622 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 321.94 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 154488 KiB

[startup+222.3 s]
/proc/loadavg: 8.10 8.06 7.94 9/272 49321
/proc/meminfo: memFree=128895492/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=155896 CPUtime=441.12 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 128592 0 0 0 44095 17 0 0 20 0 3 0 47307220 270733312 38974 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 38974 2176 2102 0 43113 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=152696 CPUtime=220.6 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 62852 0 0 0 22055 5 0 0 20 0 3 0 47307258 270733312 38974 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=155896 CPUtime=219.98 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 53768 0 0 0 21991 7 0 0 20 0 3 0 47307258 270733312 38974 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0

################
# More data... #
################

Current children cumulated memory: 178884 KiB

[startup+1362.3 s]
/proc/loadavg: 8.37 8.18 8.06 9/274 49534
/proc/meminfo: memFree=129071988/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=178884 CPUtime=2705.68 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 140726 0 0 0 270519 49 0 0 20 0 3 0 47307220 270733312 44721 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 44721 2176 2102 0 50711 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=178884 CPUtime=1348.84 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 71832 0 0 0 134873 11 0 0 20 0 3 0 47307258 270733312 44721 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=178884 CPUtime=1355.65 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 56807 0 0 0 135545 20 0 0 20 0 3 0 47307258 270733312 44721 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 2705.68 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 178884 KiB

[startup+1422.3 s]
/proc/loadavg: 8.25 8.17 8.06 9/273 49537
/proc/meminfo: memFree=129070584/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=178884 CPUtime=2824.87 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 140787 0 0 0 282437 50 0 0 20 0 3 0 47307220 270733312 44721 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 44721 2176 2102 0 50711 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=178884 CPUtime=1408.2 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 71874 0 0 0 140809 11 0 0 20 0 3 0 47307258 270733312 44721 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=178884 CPUtime=1415.43 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 56824 0 0 0 141523 20 0 0 20 0 3 0 47307258 270733312 44721 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 2824.87 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 178884 KiB

[startup+1482.3 s]
/proc/loadavg: 8.13 8.16 8.06 9/271 49539
/proc/meminfo: memFree=129054824/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=188364 CPUtime=2944.07 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 143314 0 0 0 294355 52 0 0 20 0 3 0 47307220 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 47091 2176 2102 0 51858 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=178884 CPUtime=1467.56 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 72636 0 0 0 146745 11 0 0 20 0 3 0 47307258 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=178884 CPUtime=1475.24 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 58588 0 0 0 147503 21 0 0 20 0 3 0 47307258 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 2944.07 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 188364 KiB

[startup+1542.3 s]
/proc/loadavg: 8.16 8.16 8.07 9/271 49541
/proc/meminfo: memFree=129056836/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=188364 CPUtime=3063.27 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 143321 0 0 0 306274 53 0 0 20 0 3 0 47307220 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 47091 2176 2102 0 51858 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=188364 CPUtime=1526.93 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 72636 0 0 0 152682 11 0 0 20 0 3 0 47307258 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=188364 CPUtime=1535.04 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 58595 0 0 0 153482 22 0 0 20 0 3 0 47307258 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 3063.27 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 188364 KiB

[startup+1602.3 s]
/proc/loadavg: 8.10 8.14 8.07 9/271 49544
/proc/meminfo: memFree=129057708/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=188364 CPUtime=3182.47 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 144511 0 0 0 318192 55 0 0 20 0 3 0 47307220 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 47091 2176 2102 0 51858 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=188364 CPUtime=1586.3 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 72643 0 0 0 158619 11 0 0 20 0 3 0 47307258 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=188364 CPUtime=1594.84 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 59777 0 0 0 159461 23 0 0 20 0 3 0 47307258 270733312 47091 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 3182.47 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 188364 KiB

[startup+1662.3 s]
/proc/loadavg: 8.15 8.14 8.08 9/271 49546
/proc/meminfo: memFree=129060004/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=188748 CPUtime=3301.65 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 145176 0 0 0 330109 56 0 0 20 0 3 0 47307220 270733312 47187 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 47187 2176 2102 0 51965 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=188364 CPUtime=1645.67 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 72677 0 0 0 164556 11 0 0 20 0 3 0 47307258 270733312 47187 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=188748 CPUtime=1654.63 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 60406 0 0 0 165440 23 0 0 20 0 3 0 47307258 270733312 47187 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 3301.65 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 188748 KiB

[startup+1722.3 s]
/proc/loadavg: 8.12 8.13 8.08 9/271 49548
/proc/meminfo: memFree=129050920/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=190668 CPUtime=3420.85 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 145288 0 0 0 342028 57 0 0 20 0 3 0 47307220 270733312 47667 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 47667 2176 2102 0 52077 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=188364 CPUtime=1705.03 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 72789 0 0 0 170492 11 0 0 20 0 3 0 47307258 270733312 47667 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=189132 CPUtime=1714.44 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 60406 0 0 0 171420 24 0 0 20 0 3 0 47307258 270733312 47667 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 3420.85 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 190668 KiB

[startup+1782.3 s]
/proc/loadavg: 8.09 8.12 8.08 9/272 49558
/proc/meminfo: memFree=129056524/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=191692 CPUtime=3540.04 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 145655 0 0 0 353945 59 0 0 20 0 3 0 47307220 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 47923 2176 2102 0 52310 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=191692 CPUtime=1764.4 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 73101 0 0 0 176428 12 0 0 20 0 3 0 47307258 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=14848 CPUtime=1774.23 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 60459 0 0 0 177399 24 0 0 20 0 3 0 47307258 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 3540.04 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 191692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.5 s]
/proc/loadavg: 8.11 8.12 8.08 9/272 49558
/proc/meminfo: memFree=129054484/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=191692 CPUtime=3600.04 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 145662 0 0 0 359945 59 0 0 20 0 3 0 47307220 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 47923 2176 2102 0 52310 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=191692 CPUtime=1794.29 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 73106 0 0 0 179417 12 0 0 20 0 3 0 47307258 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=191692 CPUtime=1804.33 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 60461 0 0 0 180409 24 0 0 20 0 3 0 47307258 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 191692 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.47 s, system=0.5994 s

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

[startup+1812.5 s]
/proc/loadavg: 8.11 8.12 8.08 9/272 49558
/proc/meminfo: memFree=129054484/131249996 swapFree=33010684/33010684
[pid=49310] ppid=49307 vsize=264388 memory=191692 CPUtime=3600.04 cores=0,2
/proc/49310/stat : 49310 (cp-sat-runner) S 49307 49310 47844 0 -1 4194304 145662 0 0 0 359945 59 0 0 20 0 3 0 47307220 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
/proc/49310/statm: 66097 47923 2176 2102 0 52310 0
[pid=49310/tid=49312] ppid=49307 vsize=264388 memory=191692 CPUtime=1794.29 cores=0,2
/proc/49310/task/49312/stat : 49312 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 73106 0 0 0 179417 12 0 0 20 0 3 0 47307258 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
[pid=49310/tid=49313] ppid=49307 vsize=264388 memory=191692 CPUtime=1804.33 cores=0,2
/proc/49310/task/49313/stat : 49313 (cp-sat-runner) R 49307 49310 47844 0 -1 4194368 60461 0 0 0 180409 24 0 0 20 0 3 0 47307258 270733312 47923 18446744073709551615 4198400 12805993 140735254660736 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33030144 140735254669592 140735254669797 140735254669797 140735254675399 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 264388 KiB
Current children cumulated memory: 191692 KiB

Child status: 0

Real time (s): 1812.51
CPU time (s): 3600.06
CPU user time (s): 3599.47
CPU system time (s): 0.5994
CPU usage (%): 198.623
Max. virtual memory (cumulated for all children) (KiB): 264388
Max. memory (cumulated for all children) (KiB): 191692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.47
system time used= 0.5994
maximum resident set size= 191820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28515
involuntary context switches= 125133


# summary of solver processes directly reported to runsolver:
#   pid: 49310
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.47
#   total CPU system time (s): 0.5994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68318 second user time and 8.14757 second system time

The end

Launcher Data

Begin job on nodeC024 at 2025-06-30 22:44:53
IDJOB=4487732
IDBENCH=147222
IDSOLVER=3320
FILE ID=nodeC024/4487732-1751316293
RUNJOBID= nodeC024-1751313715-47854
SLURM_JOB_ID= 9594318
Free space on /tmp= 433020 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487732-1751316293/watcher-4487732-1751316293 -o /tmp/evaluation-result-4487732-1751316293/solver-4487732-1751316293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751313715-47854 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2142312485 --competition_mode --input HOME/instance-4487732-1751316293.opb

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=2142312485

nodeC024 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		: 3597.681
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.36
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.668
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.36
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.654
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.36
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		: 3599.670
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.36
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.685
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.36
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.681
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.36
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		: 3599.650
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.36
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.673
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129086264 kB
MemAvailable:   129440644 kB
Buffers:            3280 kB
Cached:          1160132 kB
SwapCached:            0 kB
Active:           600076 kB
Inactive:         904628 kB
Active(anon):     359356 kB
Inactive(anon):        0 kB
Active(file):     240720 kB
Inactive(file):   904628 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13192 kB
Writeback:             4 kB
AnonPages:        344368 kB
Mapped:           129244 kB
Shmem:             18064 kB
KReclaimable:      96140 kB
Slab:             183732 kB
SReclaimable:      96140 kB
SUnreclaim:        87592 kB
KernelStack:        4368 kB
PageTables:         3660 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     728572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC024 at 2025-06-30 23:15:06