Trace number 37817

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, and are wall clock time (not CPU 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
Pueblo 1.3SAT-401 1782.86 1783.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM6fc83a536fe9a582c06bbccccc09c709
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-12220
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12220
Optimality of the best value was proved NO
Number of variables10713
Total number of constraints9151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9151
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
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 (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.43	c starting to Solve
0.43	c #variables read: 10713 - #constraints read: 9152
0.65	o 0
0.87	o 8
1.09	o 10
1.31	o 11
1.81	o 12
2.02	o 13
2.23	o 14
2.45	o 15
2.66	o 16
2.90	o 18
3.11	o 19
3.33	o 20
3.55	o 21
3.76	o 22
3.97	o 23
4.18	o 24
4.44	o 25
4.66	o 26
5.01	o 27
5.23	o 28
5.84	o 29
6.22	o 30
6.56	o 31
6.86	o 32
7.37	o 33
7.70	o 34
9.17	o 35
9.33	o 36
9.55	o 37
9.83	o 38
10.15	o 39
10.43	o 40
10.77	o 41
11.11	o 42
11.47	o 43
11.87	o 44
12.18	o 45
12.47	o 46
12.82	o 47
13.14	o 48
13.46	o 49
13.79	o 50
14.12	o 51
14.46	o 52
14.81	o 53
15.17	o 54
15.55	o 55
15.94	o 56
16.33	o 57
16.73	o 58
17.13	o 59
17.55	o 60
17.97	o 61
18.41	o 62
18.85	o 63
19.30	o 64
19.76	o 65
20.22	o 66
20.71	o 67
21.20	o 68
21.70	o 69
22.20	o 70
22.73	o 71
23.25	o 72
23.79	o 73
24.34	o 74
24.90	o 75
25.47	o 76
26.06	o 77
26.64	o 78
27.25	o 79
27.86	o 80
28.49	o 81
29.12	o 82
29.79	o 83
30.45	o 84
31.12	o 85
31.80	o 86
32.50	o 87
33.21	o 88
33.94	o 89
34.67	o 90
35.41	o 91
36.17	o 92
36.95	o 93
37.74	o 94
38.56	o 95
39.39	o 96
40.23	o 97
41.09	o 98
41.96	o 99
42.86	o 100
43.76	o 101
44.69	o 102
45.63	o 103
46.59	o 104
47.56	o 105
48.54	o 106
49.54	o 107
50.55	o 108
51.59	o 109
52.64	o 110
53.71	o 111
54.79	o 112
55.89	o 113
57.02	o 114
58.16	o 115
59.32	o 116
60.51	o 117
61.72	o 118
62.94	o 119
64.19	o 120
65.46	o 121
66.74	o 122
68.05	o 123
69.36	o 124
70.69	o 125
72.03	o 126
73.41	o 127
74.80	o 128
76.21	o 129
77.65	o 130
79.12	o 131
80.61	o 132
82.12	o 133
83.66	o 134
85.21	o 135
86.79	o 136
88.39	o 137
89.99	o 138
91.61	o 139
93.25	o 140
94.92	o 141
96.61	o 142
98.34	o 143
100.10	o 144
101.88	o 145
103.68	o 146
105.52	o 147
107.37	o 148
109.22	o 149
111.10	o 150
113.00	o 151
114.89	o 152
116.79	o 153
118.73	o 154
120.71	o 155
122.71	o 156
124.75	o 157
126.80	o 158
128.83	o 159
130.91	o 160
132.98	o 161
135.16	o 162
137.33	o 163
139.52	o 164
141.72	o 165
144.02	o 166
146.33	o 167
148.65	o 168
150.96	o 169
153.31	o 170
155.68	o 171
158.05	o 172
160.47	o 173
162.96	o 174
165.44	o 175
167.95	o 176
170.48	o 177
173.01	o 178
175.60	o 179
178.25	o 180
180.92	o 181
183.64	o 182
186.36	o 183
189.10	o 184
191.85	o 185
194.66	o 186
197.47	o 187
200.36	o 188
203.27	o 189
206.25	o 190
209.25	o 191
212.22	o 192
215.22	o 193
218.25	o 194
221.58	o 195
224.70	o 196
227.89	o 197
231.03	o 198
234.22	o 199
237.42	o 200
240.71	o 201
244.02	o 202
247.36	o 203
250.72	o 204
254.12	o 205
257.54	o 206
261.06	o 207
264.58	o 208
268.17	o 209
271.73	o 210
275.29	o 211
278.92	o 212
282.61	o 213
286.37	o 214
290.09	o 215
293.84	o 216
297.62	o 217
301.50	o 218
305.37	o 219
309.33	o 220
313.32	o 221
317.33	o 222
321.36	o 223
325.45	o 224
329.56	o 225
333.68	o 226
337.80	o 227
342.05	o 228
346.32	o 229
350.60	o 230
354.88	o 231
359.20	o 232
363.67	o 233
368.12	o 234
372.59	o 235
377.06	o 236
381.63	o 237
386.22	o 238
390.84	o 239
395.47	o 240
400.27	o 241
405.02	o 242
409.88	o 243
414.68	o 244
419.57	o 245
424.43	o 246
429.46	o 247
434.44	o 248
439.42	o 249
444.53	o 250
449.63	o 251
454.76	o 252
459.96	o 253
465.20	o 254
470.41	o 255
475.78	o 256
481.14	o 257
486.54	o 258
491.96	o 259
497.41	o 260
502.97	o 261
508.53	o 262
514.15	o 263
519.83	o 264
525.56	o 265
531.31	o 266
537.06	o 267
542.91	o 268
548.81	o 269
554.68	o 270
560.64	o 271
566.66	o 272
572.68	o 273
578.76	o 274
584.90	o 275
591.03	o 276
597.21	o 277
603.56	o 278
609.94	o 279
616.26	o 280
622.64	o 281
629.12	o 282
635.62	o 283
642.15	o 284
648.79	o 285
655.41	o 286
662.16	o 287
668.89	o 288
675.63	o 289
682.44	o 290
689.36	o 291
696.28	o 292
703.33	o 293
710.37	o 294
717.42	o 295
724.55	o 296
731.78	o 297
738.96	o 298
746.27	o 299
753.52	o 300
760.87	o 301
768.33	o 302
776.03	o 303
783.51	o 304
791.06	o 305
798.65	o 306
806.32	o 307
813.96	o 308
821.72	o 309
829.55	o 310
837.38	o 311
845.30	o 312
853.20	o 313
861.20	o 314
869.28	o 315
877.31	o 316
885.48	o 317
893.70	o 318
901.97	o 319
910.25	o 320
918.52	o 321
927.07	o 322
935.48	o 323
944.04	o 324
952.65	o 325
961.30	o 326
970.01	o 327
978.81	o 328
987.63	o 329
996.37	o 330
1005.28	o 331
1014.22	o 332
1023.27	o 333
1032.32	o 334
1041.42	o 335
1050.85	o 336
1060.06	o 337
1069.37	o 338
1078.72	o 339
1088.22	o 340
1097.56	o 341
1107.17	o 342
1116.71	o 343
1126.46	o 344
1136.14	o 345
1145.90	o 346
1155.59	o 347
1165.49	o 348
1175.33	o 349
1185.29	o 350
1195.24	o 351
1205.34	o 352
1215.45	o 353
1225.78	o 354
1236.03	o 355
1246.42	o 356
1256.71	o 357
1267.20	o 358
1277.65	o 359
1288.24	o 360
1298.75	o 361
1309.42	o 362
1320.08	o 363
1330.91	o 364
1341.76	o 365
1352.67	o 366
1363.69	o 367
1374.82	o 368
1385.84	o 369
1396.94	o 370
1408.09	o 371
1419.34	o 372
1430.71	o 373
1442.03	o 374
1453.48	o 375
1464.99	o 376
1476.56	o 377
1488.23	o 378
1499.92	o 379
1511.77	o 380
1523.60	o 381
1535.49	o 382
1547.41	o 383
1559.45	o 384
1571.55	o 385
1583.78	o 386
1595.86	o 387
1608.17	o 388
1620.43	o 389
1632.85	o 390
1645.31	o 391
1657.82	o 392
1670.44	o 393
1683.13	o 394
1695.87	o 395
1708.72	o 396
1721.53	o 397
1734.39	o 398
1747.38	o 399
1760.40	o 400
1773.56	o 401
1783.39	c total time              : 1783.03 s
1783.39	s SATISFIABLE
1783.39	v -x1 -x2 -x3 -x4 -x3625 -x3626 -x3627 -x3628 -x7170 -x7171 -x7172 -x7173 -x8549 -x8550 -x8551 -x8908 -x8909 -x8910 -x9261
1783.39	v -x9262 -x9263 -x9636 -x9637 -x9638 -x9994 -x9995 -x9996 -x9997 -x10361 -x10362 -x10363 -x10364 -x5 -x6 -x7 -x8 -x371 -x372
1783.39	v -x373 -x374 -x727 -x728 -x729 -x730 -x1084 -x1085 -x1086 -x1460 -x1461 -x1462 -x1833 -x1834 -x1835 -x1836 -x2194 -x2195
1783.39	v -x2196 -x2197 -x2546 -x2547 -x2548 -x2549 -x2895 -x2896 -x2897 -x2898 -x3261 -x3262 -x3263 -x3264 -x3629 -x3630 -x3631
1783.39	v -x3632 -x3977 -x3978 -x3979 -x4317 -x4318 -x4319 -x4320 -x4675 -x4676 -x4677 -x4678 -x5049 -x5050 -x5051 -x5052 -x5401
1783.39	v -x5402 -x5403 -x5756 -x5757 -x5758 -x5759 -x6106 -x6107 -x6108 -x6109 -x6461 -x6462 -x6463 -x6808 -x6809 -x6810 -x6811
1783.39	v -x7174 -x7175 -x7176 -x7177 -x7533 -x7534 -x7535 -x7536 -x7882 -x7883 -x7884 -x7885 -x8241 -x8242 -x8243 -x8338 -x8339
1783.39	v -x8340 -x8341 -x8377 -x8378 -x8379 -x8413 -x8414 -x8415 -x8447 -x8448 -x8449 -x8450 -x8482 -x8483 -x8484 -x8485 -x8516
1783.39	v -x8517 -x8518 -x8519 -x8552 -x8553 -x8554 -x8555 -x8585 -x8586 -x8587 -x8588 -x8620 -x8621 -x8622 -x8651 -x8652 -x8653
1783.39	v -x8654 -x8691 -x8692 -x8693 -x8726 -x8727 -x8728 -x8766 -x8767 -x8768 -x8769 -x8804 -x8805 -x8806 -x8807 -x8836 -x8837
1783.39	v -x8838 -x8839 -x8871 -x8872 -x8873 -x8911 -x8912 -x8913 -x8914 -x8947 -x8948 -x8949 -x8985 -x8986 -x8987 -x8988 -x9020
1783.39	v -x9021 -x9022 -x9023 -x9053 -x9054 -x9055 -x9089 -x9090 -x9091 -x9123 -x9124 -x9125 -x9158 -x9159 -x9160 -x9161 -x9195
1783.39	v -x9196 -x9197 -x9198 -x9227 -x9228 -x9229 -x9230 -x9264 -x9265 -x9266 -x9303 -x9304 -x9305 -x9341 -x9342 -x9343 -x9381
1783.39	v -x9382 -x9383 -x9414 -x9415 -x9416 -x9454 -x9455 -x9456 -x9457 -x9490 -x9491 -x9492 -x9528 -x9529 -x9530 -x9531 -x9566
1783.39	v -x9567 -x9568 -x9569 -x9600 -x9601 -x9602 -x9603 -x9639 -x9640 -x9641 -x9676 -x9677 -x9678 -x9679 -x9713 -x9714 -x9715
1783.39	v -x9716 -x9747 -x9748 -x9749 -x9782 -x9783 -x9784 -x9819 -x9820 -x9821 -x9822 -x9855 -x9856 -x9857 -x9858 -x9890 -x9891
1783.39	v -x9892 -x9893 -x9926 -x9927 -x9928 -x9929 -x9961 -x9962 -x9963 -x9998 -x9999 -x10000 -x10001 -x10033 -x10034 -x10035
1783.39	v -x10069 -x10070 -x10071 -x10103 -x10104 -x10105 -x10137 -x10138 -x10139 -x10171 -x10172 -x10173 -x10211 -x10212 -x10213
1783.39	v -x10251 -x10252 -x10253 -x10285 -x10286 -x10287 -x10322 -x10323 -x10324 -x10365 -x10366 -x10367 -x10397 -x10398 -x10399
1783.39	v -x10436 -x10437 -x10438 -x10470 -x10471 -x10472 -x10473 -x10508 -x10509 -x10510 -x10511 -x10544 -x10545 -x10546 -x10580
1783.39	v -x10581 -x10582 -x10614 -x10615 -x10616 -x10646 -x10647 -x10648 -x10680 -x10681 -x10682 -x9 -x10 -x11 -x44 -x45 -x46 -x78
1783.39	v -x79 -x80 -x117 -x118 -x119 -x120 -x154 -x155 -x156 -x157 -x190 -x191 -x192 -x193 -x229 -x230 -x231 -x262 -x263 -x264 -x297
1783.39	v -x298 -x299 -x331 -x332 -x333 -x375 -x376 -x377 -x414 -x415 -x416 -x450 -x451 -x452 -x486 -x487 -x520 -x521 -x522 -x552 -x553
1783.39	v -x554 -x586 -x587 -x588 -x621 -x622 -x623 -x656 -x657 -x658 -x691 -x692 -x693 -x731 -x732 -x766 -x767 -x768 -x769 -x804 -x805
1783.39	v -x806 -x807 -x842 -x843 -x844 -x845 -x879 -x880 -x881 -x915 -x916 -x917 -x947 -x948 -x949 -x982 -x983 -x984 -x985 -x1015
1783.39	v -x1016 -x1017 -x1018 -x1049 -x1050 -x1051 -x1087 -x1088 -x1089 -x1090 -x1123 -x1124 -x1125 -x1126 -x1159 -x1160 -x1161
1783.39	v -x1162 -x1196 -x1197 -x1198 -x1233 -x1234 -x1235 -x1271 -x1272 -x1273 -x1310 -x1311 -x1312 -x1347 -x1348 -x1349 -x1384
1783.39	v -x1385 -x1386 -x1387 -x1424 -x1425 -x1426 -x1463 -x1464 -x1465 -x1499 -x1500 -x1501 -x1532 -x1533 -x1534 -x1535 -x1571
1783.39	v -x1572 -x1573 -x1574 -x1607 -x1608 -x1609 -x1610 -x1646 -x1647 -x1648 -x1683 -x1684 -x1685 -x1720 -x1721 -x1722 -x1723
1783.39	v -x1761 -x1762 -x1763 -x1795 -x1796 -x1797 -x1837 -x1838 -x1839 -x1873 -x1874 -x1909 -x1910 -x1911 -x1946 -x1947 -x1981
1783.39	v -x1982 -x2013 -x2014 -x2045 -x2046 -x2081 -x2082 -x2083 -x2116 -x2117 -x2118 -x2157 -x2158 -x2159 -x2160 -x2198 -x2199
1783.39	v -x2200 -x2201 -x2234 -x2235 -x2236 -x2237 -x2273 -x2274 -x2275 -x2276 -x2308 -x2309 -x2310 -x2344 -x2345 -x2374 -x2375
1783.39	v -x2376 -x2409 -x2410 -x2411 -x2412 -x2445 -x2446 -x2447 -x2481 -x2482 -x2483 -x2484 -x2514 -x2515 -x2516 -x2550 -x2551
1783.39	v -x2552 -x2585 -x2586 -x2617 -x2618 -x2619 -x2620 -x2655 -x2656 -x2657 -x2685 -x2686 -x2687 -x2688 -x2721 -x2753 -x2754
1783.39	v -x2755 -x2791 -x2792 -x2823 -x2824 -x2825 -x2826 -x2859 -x2860 -x2861 -x2862 -x2899 -x2900 -x2901 -x2937 -x2938 -x2939
1783.39	v -x2969 -x2970 -x2971 -x3005 -x3006 -x3007 -x3042 -x3043 -x3044 -x3078 -x3079 -x3080 -x3081 -x3115 -x3116 -x3117 -x3151
1783.39	v -x3152 -x3153 -x3188 -x3189 -x3190 -x3225 -x3226 -x3227 -x3265 -x3266 -x3267 -x3268 -x3299 -x3300 -x3301 -x3302 -x3336
1783.39	v -x3337 -x3338 -x3370 -x3371 -x3372 -x3411 -x3412 -x3413 -x3443 -x3444 -x3445 -x3446 -x3479 -x3480 -x3481 -x3514 -x3515
1783.39	v -x3516 -x3549 -x3550 -x3551 -x3552 -x3587 -x3588 -x3589 -x3633 -x3634 -x3635 -x3665 -x3666 -x3667 -x3704 -x3705 -x3706
1783.39	v -x3707 -x3740 -x3741 -x3742 -x3743 -x3773 -x3774 -x3775 -x3776 -x3807 -x3808 -x3809 -x3845 -x3846 -x3847 -x3877 -x3878
1783.39	v -x3879 -x3880 -x3913 -x3914 -x3915 -x3916 -x3943 -x3944 -x3945 -x3980 -x3981 -x3982 -x4012 -x4013 -x4014 -x4045 -x4046
1783.39	v -x4047 -x4077 -x4078 -x4079 -x4111 -x4112 -x4113 -x4149 -x4150 -x4151 -x4182 -x4183 -x4184 -x4217 -x4218 -x4219 -x4250
1783.39	v -x4251 -x4252 -x4284 -x4285 -x4286 -x4321 -x4322 -x4323 -x4360 -x4361 -x4362 -x4396 -x4397 -x4398 -x4432 -x4433 -x4434
1783.39	v -x4465 -x4466 -x4467 -x4468 -x4500 -x4501 -x4532 -x4533 -x4565 -x4566 -x4567 -x4601 -x4602 -x4603 -x4640 -x4641 -x4642
1783.39	v -x4679 -x4680 -x4681 -x4711 -x4712 -x4713 -x4714 -x4749 -x4750 -x4751 -x4752 -x4788 -x4789 -x4790 -x4791 -x4827 -x4828
1783.39	v -x4829 -x4830 -x4864 -x4865 -x4866 -x4901 -x4902 -x4903 -x4904 -x4940 -x4941 -x4942 -x4977 -x4978 -x4979 -x4980 -x5013
1783.39	v -x5014 -x5015 -x5016 -x5053 -x5054 -x5055 -x5056 -x5089 -x5090 -x5091 -x5122 -x5123 -x5124 -x5153 -x5154 -x5155 -x5188
1783.39	v -x5189 -x5190 -x5225 -x5226 -x5227 -x5259 -x5260 -x5261 -x5262 -x5295 -x5296 -x5297 -x5332 -x5333 -x5334 -x5365 -x5366
1783.39	v -x5367 -x5404 -x5405 -x5406 -x5439 -x5440 -x5441 -x5475 -x5476 -x5477 -x5478 -x5510 -x5511 -x5512 -x5513 -x5549 -x5550
1783.39	v -x5551 -x5552 -x5584 -x5585 -x5586 -x5621 -x5622 -x5623 -x5654 -x5655 -x5656 -x5687 -x5688 -x5689 -x5722 -x5723 -x5760
1783.39	v -x5761 -x5762 -x5763 -x5792 -x5793 -x5794 -x5831 -x5832 -x5833 -x5867 -x5868 -x5869 -x5901 -x5902 -x5903 -x5937 -x5938
1783.39	v -x5939 -x5940 -x5973 -x5974 -x5975 -x5976 -x6005 -x6006 -x6007 -x6008 -x6042 -x6043 -x6044 -x6045 -x6073 -x6074 -x6075
1783.39	v -x6076 -x6110 -x6111 -x6112 -x6113 -x6146 -x6147 -x6148 -x6149 -x6179 -x6180 -x6181 -x6215 -x6216 -x6217 -x6218 -x6246
1783.39	v -x6247 -x6248 -x6249 -x6281 -x6282 -x6283 -x6284 -x6319 -x6320 -x6321 -x6322 -x6357 -x6358 -x6359 -x6394 -x6395 -x6396
1783.39	v -x6428 -x6429 -x6430 -x6464 -x6465 -x6466 -x6497 -x6498 -x6499 -x6532 -x6533 -x6534 -x6566 -x6567 -x6568 -x6569 -x6604
1783.39	v -x6605 -x6606 -x6607 -x6640 -x6641 -x6642 -x6672 -x6673 -x6674 -x6706 -x6707 -x6708 -x6740 -x6741 -x6742 -x6773 -x6774
1783.39	v -x6775 -x6812 -x6813 -x6814 -x6845 -x6846 -x6847 -x6878 -x6879 -x6880 -x6917 -x6918 -x6919 -x6954 -x6955 -x6956 -x6984
1783.39	v -x6985 -x6986 -x7022 -x7023 -x7024 -x7064 -x7065 -x7066 -x7100 -x7101 -x7102 -x7132 -x7133 -x7134 -x7178 -x7179 -x7180
1783.39	v -x7218 -x7219 -x7220 -x7253 -x7254 -x7287 -x7288 -x7289 -x7322 -x7323 -x7356 -x7357 -x7394 -x7395 -x7427 -x7428 -x7429
1783.39	v -x7464 -x7465 -x7466 -x7502 -x7503 -x7504 -x7537 -x7538 -x7539 -x7572 -x7573 -x7574 -x7604 -x7605 -x7606 -x7639 -x7640
1783.39	v -x7641 -x7672 -x7673 -x7674 -x7706 -x7707 -x7708 -x7739 -x7740 -x7741 -x7774 -x7775 -x7776 -x7809 -x7810 -x7811 -x7846
1783.39	v -x7847 -x7848 -x7849 -x7886 -x7887 -x7888 -x7889 -x7922 -x7923 -x7924 -x7957 -x7958 -x7959 -x7989 -x7990 -x7991 -x8022
1783.39	v -x8023 -x8024 -x8060 -x8061 -x8062 -x8063 -x8099 -x8100 -x8101 -x8102 -x8133 -x8134 -x8135 -x8170 -x8171 -x8205 -x8206
1783.39	v -x8207 -x8244 -x8245 -x8246 -x8278 -x8279 -x8312 -x8313 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329
1783.39	v -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350
1783.39	v -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367
1783.39	v -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387
1783.39	v -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404
1783.39	v -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424
1783.39	v -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441
1783.39	v -x8442 -x8443 -x8444 -x8445 -x8446 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462
1783.39	v -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479
1783.39	v -x8480 -x8481 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500
1783.39	v -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8520 -x8521
1783.39	v -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538
1783.39	v -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562
1783.39	v -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579
1783.39	v -x8580 -x8581 -x8582 -x8583 -x8584 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600
1783.39	v -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617
1783.39	v -x8618 -x8619 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637
1783.39	v -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8655 -x8656 -x8657 -x8658
1783.39	v -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675
1783.39	v -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8694 -x8695
1783.39	v -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712
1783.39	v -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8729 -x8730 -x8731 -x8732
1783.39	v -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749
1783.39	v -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8770
1783.39	v -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787
1783.39	v -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8808
1783.39	v -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825
1783.39	v -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846
1783.39	v -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863
1783.39	v -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883
1783.39	v -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900
1783.39	v -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924
1783.39	v -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941
1783.39	v -x8942 -x8943 -x8944 -x8945 -x8946 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961
1783.39	v -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978
1783.39	v -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999
1783.39	v -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016
1783.39	v -x9017 -x9018 -x9019 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037
1783.39	v -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9056 -x9057
1783.39	v -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074
1783.39	v -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9092 -x9093 -x9094
1783.39	v -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111
1783.39	v -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131
1783.39	v -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148
1783.39	v -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169
1783.39	v -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186
1783.39	v -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207
1783.39	v -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224
1783.39	v -x9225 -x9226 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245
1783.39	v -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9267 -x9268
1783.39	v -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285
1783.39	v -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302
1783.39	v -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322
1783.39	v -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339
1783.39	v -x9340 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359
1783.39	v -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376
1783.39	v -x9377 -x9378 -x9379 -x9380 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396
1783.39	v -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413
1783.39	v -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433
1783.39	v -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450
1783.39	v -x9451 -x9452 -x9453 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471
1783.39	v -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488
1783.39	v -x9489 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508
1783.39	v -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525
1783.39	v -x9526 -x9527 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546
1783.39	v -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563
1783.39	v -x9564 -x9565 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584
1783.39	v -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9604 -x9605
1783.39	v -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622
1783.39	v -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9642 -x9643 -x9644 -x9645
1783.39	v -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662
1783.39	v -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9680 -x9681 -x9682 -x9683
1783.39	v -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700
1783.39	v -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9717 -x9718 -x9719 -x9720 -x9721
1783.39	v -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738
1783.39	v -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758
1783.39	v -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775
1783.39	v -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795
1783.39	v -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812
1783.39	v -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833
1783.39	v -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850
1783.39	v -x9851 -x9852 -x9853 -x9854 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871
1783.39	v -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888
1783.39	v -x9889 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909
1783.39	v -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9930
1783.39	v -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947
1783.39	v -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9964 -x9965 -x9966 -x9967
1783.39	v -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984
1783.39	v -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008
1783.39	v -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023
1783.39	v -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041
1783.39	v -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056
1783.39	v -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10072 -x10073 -x10074
1783.39	v -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089
1783.39	v -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10106 -x10107
1783.39	v -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122
1783.39	v -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10140
1783.39	v -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155
1783.39	v -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170
1783.39	v -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188
1783.39	v -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203
1783.39	v -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221
1783.39	v -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236
1783.39	v -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10254
1783.39	v -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269
1783.39	v -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284
1783.39	v -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302
1783.39	v -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317
1783.39	v -x10318 -x10319 -x10320 -x10321 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335
1783.39	v -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350
1783.39	v -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10368 -x10369 -x10370 -x10371 -x10372
1783.39	v -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387
1783.39	v -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405
1783.39	v -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420
1783.39	v -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435
1783.39	v -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453
1783.39	v -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468
1783.39	v -x10469 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487
1783.39	v -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502
1783.39	v -x10503 -x10504 -x10505 -x10506 -x10507 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521
1783.39	v -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536
1783.39	v -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554
1783.39	v -x10555 -x10556 -x10557 -x10558 x10559 -x10560 -x10561 x10562 -x10563 x10564 -x10565 -x10566 x10567 -x10568 -x10569
1783.39	v x10570 -x10571 -x10572 x10573 -x10574 -x10575 -x10576 x10577 -x10578 -x10579 x10583 -x10584 -x10585 -x10586 x10587 -x10588
1783.39	v -x10589 x10590 -x10591 -x10592 -x10593 -x10594 -x10595 x10596 -x10597 -x10598 x10599 -x10600 -x10601 x10602 -x10603
1783.39	v -x10604 x10605 -x10606 -x10607 x10608 -x10609 -x10610 x10611 -x10612 -x10613 x10617 -x10618 -x10619 x10620 -x10621 x10622
1783.39	v -x10623 -x10624 x10625 -x10626 -x10627 x10628 -x10629 -x10630 x10631 -x10632 -x10633 x10634 -x10635 -x10636 x10637 -x10638
1783.39	v -x10639 -x10640 -x10641 -x10642 x10643 -x10644 -x10645 x10649 -x10650 -x10651 x10652 -x10653 -x10654 x10655 -x10656
1783.39	v -x10657 x10658 -x10659 -x10660 x10661 -x10662 -x10663 x10664 -x10665 -x10666 -x10667 x10668 -x10669 -x10670 x10671 -x10672
1783.39	v -x10673 x10674 -x10675 -x10676 x10677 -x10678 -x10679 x10683 -x10684 -x10685 x10686 -x10687 -x10688 x10689 -x10690 -x10691
1783.39	v x10692 -x10693 -x10694 x10695 -x10696 -x10697 -x10698 x10699 -x10700 -x10701 x10702 -x10703 -x10704 -x10705 x10706 -x10707
1783.39	v -x10708 x10709 -x10710 x10711 -x10712 -x10713 x12 -x13 -x14 x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 -x25 -x26 -x27 x28
1783.39	v -x29 -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 x42 -x43 x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59
1783.39	v -x60 -x61 x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89
1783.39	v -x90 -x91 x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 x103 -x104 -x105 x106 -x107 -x108 -x109 x110 -x111 -x112 -x113
1783.39	v x114 -x115 -x116 x121 -x122 -x123 x124 -x125 -x126 x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 x136 -x137 x138 -x139
1783.39	v -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x158 -x159 -x160 -x161 x162 -x163 x164 -x165
1783.39	v -x166 x167 -x168 -x169 x170 -x171 -x172 x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 x187
1783.39	v -x188 -x189 x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 x209 -x210 -x211 x212 -x213
1783.39	v -x214 -x215 x216 -x217 -x218 -x219 x220 -x221 -x222 x223 -x224 -x225 x226 -x227 -x228 x232 -x233 -x234 x235 -x236 -x237 -x238
1783.39	v -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 x256 -x257 -x258 x259 -x260
1783.39	v -x261 -x265 -x266 -x267 x268 -x269 -x270 x271 -x272 -x273 -x274 x275 x276 -x277 -x278 -x279 x280 -x281 -x282 x283 -x284 -x285
1783.39	v x286 -x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310
1783.39	v x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x334
1783.39	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
1783.39	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x378 -x379 -x380 -x381 -x382 -x383
1783.39	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404
1783.39	v -x405 x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428
1783.39	v -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449
1783.39	v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473
1783.39	v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496
1783.39	v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517
1783.39	v -x518 -x519 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541
1783.39	v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565
1783.39	v -x566 x567 -x568 -x569 x570 -x571 -x572 x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 x585 x589 -x590
1783.39	v -x591 x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 x606 -x607 -x608 x609 -x610 -x611 x612
1783.39	v -x613 -x614 x615 -x616 -x617 x618 -x619 -x620 x624 -x625 -x626 x627 -x628 -x629 x630 -x631 -x632 -x633 x634 -x635 -x636 -x637
1783.39	v x638 -x639 -x640 x641 -x642 -x643 x644 -x645 -x646 x647 -x648 -x649 -x650 x651 -x652 -x653 x654 -x655 x659 -x660 -x661 x662
1783.39	v -x663 -x664 x665 -x666 -x667 -x668 x669 -x670 -x671 x672 -x673 -x674 x675 -x676 -x677 x678 -x679 -x680 x681 -x682 -x683 x684
1783.39	v -x685 -x686 -x687 x688 -x689 -x690 x694 -x695 -x696 x697 -x698 -x699 x700 -x701 -x702 x703 -x704 -x705 x706 -x707 x708 -x709
1783.39	v -x710 -x711 x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x733 -x734 -x735 x736 -x737
1783.39	v -x738 -x739 x740 -x741 -x742 -x743 x744 -x745 -x746 x747 -x748 -x749 x750 -x751 -x752 x753 -x754 -x755 x756 -x757 -x758 -x759
1783.39	v x760 -x761 -x762 -x763 x764 -x765 x770 -x771 -x772 x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 x781 -x782 -x783 x784 -x785
1783.39	v -x786 x787 -x788 -x789 x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x808 -x809 -x810
1783.39	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831
1783.39	v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856
1783.39	v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1783.39	v -x878 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901
1783.39	v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
1783.39	v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1783.39	v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
1783.39	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
1783.39	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013
1783.39	v -x1014 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034
1783.39	v -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1052 -x1053 -x1054
1783.39	v -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071
1783.39	v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1091 -x1092 -x1093 -x1094 -x1095
1783.39	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112
1783.39	v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133
1783.39	v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
1783.39	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171
1783.39	v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188
1783.39	v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208
1783.39	v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
1783.39	v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1783.39	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
1783.39	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
1783.39	v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1783.39	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1783.39	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1783.39	v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356
1783.39	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373
1783.39	v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394
1783.39	v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411
1783.39	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1427 -x1428 -x1429 -x1430 -x1431
1783.39	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
1783.39	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471
1783.39	v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
1783.39	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508
1783.39	v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525
1783.39	v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546
1783.39	v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563
1783.39	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1783.39	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601
1783.39	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
1783.39	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1783.39	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659
1783.39	v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
1783.39	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696
1783.39	v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713
1783.39	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734
1783.39	v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751
1783.39	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771
1783.39	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1783.39	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
1783.39	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1783.39	v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849
1783.39	v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
1783.39	v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885
1783.39	v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902
1783.39	v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922
1783.39	v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939
1783.39	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958
1783.39	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1783.39	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1783.39	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011
1783.39	v -x2012 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
1783.39	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2047 -x2048 -x2049
1783.39	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066
1783.39	v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2084 -x2085 -x2086
1783.39	v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103
1783.39	v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2119 -x2120 -x2121 -x2122 -x2123
1783.39	v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1783.39	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2161
1783.39	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178
1783.39	v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2202 -x2203
1783.39	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1783.39	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2238 -x2239 -x2240 -x2241
1783.39	v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
1783.39	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2277 -x2278 -x2279
1783.39	v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296
1783.39	v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1783.39	v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333
1783.39	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352
1783.39	v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369
1783.39	v -x2370 -x2371 -x2372 -x2373 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
1783.39	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
1783.39	v -x2407 -x2408 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
1783.39	v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444
1783.39	v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464
1783.39	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2485
1783.39	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
1783.39	v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522
1783.39	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539
1783.39	v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563
1783.39	v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
1783.39	v -x2581 -x2582 -x2583 -x2584 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599
1783.39	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616
1783.39	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637
1783.39	v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1783.39	v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674
1783.39	v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695
1783.39	v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712
1783.39	v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1783.39	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747
1783.39	v -x2748 -x2749 -x2750 -x2751 -x2752 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767
1783.39	v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784
1783.39	v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803
1783.39	v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
1783.39	v -x2821 -x2822 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
1783.39	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
1783.39	v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879
1783.39	v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2902 -x2903
1783.39	v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
1783.39	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2940
1783.39	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957
1783.39	v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
1783.39	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
1783.39	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014
1783.39	v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031
1783.39	v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051
1783.39	v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068
1783.39	v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089
1783.39	v -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106
1783.39	v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126
1783.39	v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143
1783.39	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163
1783.39	v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
1783.39	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
1783.39	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217
1783.39	v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237
1783.39	v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254
1783.39	v -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279
1783.39	v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296
1783.39	v -x3297 -x3298 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1783.39	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334
1783.39	v -x3335 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1783.39	v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3373 -x3374
1783.39	v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391
1783.39	v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408
1783.39	v -x3409 -x3410 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428
1783.39	v -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3447 -x3448 -x3449
1783.39	v -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466
1783.39	v -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3482 -x3483 -x3484 -x3485 -x3486
1783.39	v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503
1783.39	v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523
1783.39	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
1783.39	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561
1783.39	v -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578
1783.39	v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598
1783.39	v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615
1783.39	v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643
1783.39	v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
1783.39	v -x3661 -x3662 -x3663 -x3664 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
1783.39	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697
1783.39	v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718
1783.39	v -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735
1783.39	v -x3736 -x3737 -x3738 -x3739 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756
1783.39	v -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3777
1783.39	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794
1783.39	v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3810 -x3811 -x3812 -x3813 -x3814
1783.39	v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831
1783.39	v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3848 -x3849 -x3850 -x3851
1783.39	v -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868
1783.39	v -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889
1783.39	v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906
1783.39	v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927
1783.39	v -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3946 -x3947
1783.39	v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964
1783.39	v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3983 -x3984 -x3985 -x3986 -x3987
1783.39	v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004
1783.39	v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024
1783.39	v -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041
1783.39	v -x4042 -x4043 -x4044 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061
1783.39	v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4080 -x4081
1783.39	v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098
1783.39	v -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4114 -x4115 -x4116 -x4117 -x4118
1783.39	v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135
1783.39	v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4152 -x4153 -x4154 -x4155
1783.39	v -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172
1783.39	v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192
1783.39	v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209
1783.39	v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229
1783.39	v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246
1783.39	v -x4247 -x4248 -x4249 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266
1783.39	v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283
1783.39	v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303
1783.39	v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4324 -x4325 -x4326 -x4327
1783.39	v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344
1783.39	v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4363 -x4364
1783.39	v -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381
1783.39	v -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4399 -x4400 -x4401
1783.39	v x4402 -x4403 -x4404 x4405 -x4406 -x4407 x4408 -x4409 -x4410 x4411 -x4412 -x4413 -x4414 x4415 -x4416 -x4417 -x4418 x4419
1783.39	v -x4420 -x4421 -x4422 x4423 -x4424 -x4425 x4426 -x4427 -x4428 x4429 -x4430 -x4431 x4435 -x4436 x4437 -x4438 -x4439 x4440
1783.39	v -x4441 -x4442 x4443 -x4444 -x4445 x4446 -x4447 -x4448 x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458
1783.39	v x4459 -x4460 -x4461 x4462 -x4463 -x4464 x4469 -x4470 -x4471 x4472 -x4473 -x4474 x4475 -x4476 -x4477 x4478 -x4479 -x4480
1783.39	v x4481 -x4482 -x4483 x4484 -x4485 -x4486 -x4487 x4488 -x4489 -x4490 -x4491 x4492 -x4493 -x4494 -x4495 x4496 x4497 -x4498
1783.39	v -x4499 x4502 -x4503 -x4504 x4505 -x4506 -x4507 x4508 -x4509 -x4510 x4511 -x4512 -x4513 x4514 -x4515 -x4516 x4517 -x4518
1783.39	v -x4519 x4520 -x4521 -x4522 x4523 -x4524 -x4525 x4526 -x4527 -x4528 x4529 -x4530 -x4531 x4534 -x4535 -x4536 x4537 -x4538
1783.39	v -x4539 x4540 -x4541 -x4542 x4543 -x4544 -x4545 x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 x4553 -x4554 -x4555 x4556
1783.39	v -x4557 -x4558 x4559 -x4560 -x4561 x4562 -x4563 -x4564 x4568 -x4569 -x4570 -x4571 x4572 -x4573 -x4574 -x4575 x4576 -x4577
1783.39	v -x4578 x4579 -x4580 -x4581 x4582 -x4583 -x4584 x4585 -x4586 -x4587 -x4588 x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595
1783.39	v x4596 -x4597 -x4598 x4599 -x4600 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616
1783.39	v -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633
1783.39	v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653
1783.39	v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670
1783.39	v -x4671 -x4672 -x4673 -x4674 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694
1783.39	v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4715
1783.39	v -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732
1783.39	v -x4733 -x4734 -x4735 -x4736 -x4737 x4738 -x4739 -x4740 -x4741 x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4753 -x4754
1783.39	v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771
1783.39	v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4792
1783.39	v -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809
1783.39	v -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 x4817 -x4818 -x4819 -x4820 x4821 -x4822 -x4823 x4824 -x4825 -x4826 x4831
1783.39	v -x4832 -x4833 x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 x4841 -x4842 -x4843 x4844 -x4845 -x4846 -x4847 x4848 -x4849
1783.39	v -x4850 -x4851 x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 x4859 -x4860 -x4861 x4862 -x4863 x4867 -x4868 -x4869 x4870
1783.39	v -x4871 -x4872 x4873 -x4874 -x4875 x4876 -x4877 -x4878 x4879 -x4880 -x4881 x4882 -x4883 -x4884 x4885 -x4886 -x4887 -x4888
1783.39	v x4889 -x4890 -x4891 -x4892 x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 x4905 -x4906 -x4907 x4908 -x4909 -x4910
1783.39	v -x4911 x4912 -x4913 -x4914 -x4915 x4916 -x4917 -x4918 -x4919 x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 x4927 -x4928
1783.39	v -x4929 x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 x4937 -x4938 -x4939 x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949
1783.39	v x4950 -x4951 -x4952 x4953 -x4954 -x4955 x4956 -x4957 -x4958 -x4959 x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967
1783.39	v x4968 -x4969 -x4970 x4971 -x4972 -x4973 x4974 -x4975 -x4976 x4981 -x4982 -x4983 x4984 -x4985 -x4986 x4987 -x4988 -x4989
1783.39	v x4990 -x4991 -x4992 -x4993 x4994 -x4995 -x4996 -x4997 x4998 -x4999 -x5000 x5001 -x5002 -x5003 x5004 -x5005 -x5006 x5007
1783.39	v -x5008 -x5009 x5010 -x5011 -x5012 x5017 -x5018 -x5019 x5020 -x5021 -x5022 x5023 -x5024 -x5025 x5026 -x5027 -x5028 x5029
1783.39	v -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 x5039 -x5040 -x5041 -x5042 x5043 -x5044 -x5045 x5046 -x5047
1783.39	v -x5048 x5057 -x5058 -x5059 x5060 -x5061 -x5062 x5063 -x5064 x5065 -x5066 -x5067 x5068 -x5069 -x5070 -x5071 x5072 -x5073
1783.39	v -x5074 -x5075 x5076 -x5077 -x5078 -x5079 x5080 -x5081 -x5082 x5083 -x5084 -x5085 x5086 -x5087 -x5088 x5092 -x5093 -x5094
1783.39	v x5095 -x5096 -x5097 x5098 -x5099 -x5100 x5101 -x5102 -x5103 x5104 -x5105 x5106 -x5107 -x5108 x5109 -x5110 -x5111 x5112
1783.39	v -x5113 -x5114 x5115 -x5116 -x5117 x5118 -x5119 -x5120 -x5121 x5125 -x5126 -x5127 x5128 -x5129 -x5130 x5131 -x5132 -x5133
1783.39	v x5134 -x5135 x5136 -x5137 x5138 -x5139 -x5140 x5141 -x5142 -x5143 x5144 -x5145 -x5146 x5147 -x5148 -x5149 x5150 -x5151
1783.39	v -x5152 x5156 -x5157 -x5158 x5159 -x5160 -x5161 x5162 -x5163 -x5164 x5165 -x5166 -x5167 x5168 -x5169 -x5170 x5171 -x5172
1783.39	v -x5173 x5174 -x5175 x5176 -x5177 -x5178 -x5179 x5180 -x5181 -x5182 -x5183 x5184 -x5185 -x5186 -x5187 x5191 -x5192 x5193
1783.39	v -x5194 -x5195 -x5196 x5197 -x5198 -x5199 -x5200 x5201 -x5202 -x5203 -x5204 x5205 -x5206 -x5207 -x5208 x5209 -x5210 -x5211
1783.39	v -x5212 x5213 -x5214 -x5215 x5216 -x5217 -x5218 x5219 -x5220 -x5221 x5222 -x5223 -x5224 x5228 -x5229 -x5230 -x5231 x5232
1783.39	v -x5233 -x5234 x5235 -x5236 -x5237 x5238 -x5239 -x5240 x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250
1783.39	v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271
1783.39	v -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288
1783.39	v -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308
1783.39	v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325
1783.39	v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345
1783.39	v -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362
1783.39	v -x5363 -x5364 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382
1783.39	v -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399
1783.39	v -x5400 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422
1783.39	v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5442
1783.39	v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459
1783.39	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5479 -x5480
1783.39	v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497
1783.39	v -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5514 -x5515 -x5516 -x5517 -x5518
1783.39	v -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535
1783.39	v -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5553 -x5554 -x5555 -x5556
1783.39	v -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573
1783.39	v -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593
1783.39	v -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610
1783.39	v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630
1783.39	v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647
1783.39	v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667
1783.39	v -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684
1783.39	v -x5685 -x5686 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704
1783.39	v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721
1783.39	v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740
1783.39	v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5764 -x5765
1783.39	v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782
1783.39	v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802
1783.39	v -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819
1783.39	v -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839
1783.39	v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856
1783.39	v -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876
1783.39	v -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893
1783.39	v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913
1783.39	v -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930
1783.39	v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951
1783.39	v -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968
1783.39	v -x5969 -x5970 -x5971 -x5972 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989
1783.39	v -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6009 -x6010
1783.39	v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027
1783.39	v -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6046 -x6047 -x6048
1783.39	v -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065
1783.39	v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086
1783.39	v -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103
1783.39	v -x6104 -x6105 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128
1783.39	v -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145
1783.39	v -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166
1783.39	v -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6182 -x6183 -x6184 -x6185 -x6186
1783.39	v -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203
1783.39	v -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224
1783.39	v -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241
1783.39	v -x6242 -x6243 -x6244 -x6245 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262
1783.39	v -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279
1783.39	v -x6280 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300
1783.39	v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317
1783.39	v -x6318 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338
1783.39	v -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355
1783.39	v -x6356 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375
1783.39	v -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392
1783.39	v -x6393 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412
1783.39	v -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6431 -x6432
1783.39	v -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449
1783.39	v -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472
1783.39	v -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489
1783.39	v -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509
1783.39	v -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526
1783.39	v -x6527 -x6528 -x6529 -x6530 -x6531 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546
1783.39	v -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563
1783.39	v -x6564 -x6565 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584
1783.39	v -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601
1783.39	v -x6602 -x6603 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622
1783.39	v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639
1783.39	v -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659
1783.39	v -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6675 -x6676 -x6677 -x6678 -x6679
1783.39	v -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696
1783.39	v -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716
1783.39	v -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733
1783.39	v -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753
1783.39	v -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770
1783.39	v -x6771 -x6772 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790
1783.39	v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807
1783.39	v -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831
1783.39	v -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6848 -x6849 -x6850 -x6851
1783.39	v -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868
1783.39	v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888
1783.39	v -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905
1783.39	v -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925
1783.39	v -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942
1783.39	v -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962
1783.39	v -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979
1783.39	v -x6980 -x6981 -x6982 -x6983 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999
1783.39	v -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016
1783.39	v -x7017 -x7018 -x7019 -x7020 -x7021 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036
1783.39	v -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053
1783.39	v -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073
1783.39	v -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090
1783.39	v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110
1783.39	v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127
1783.39	v -x7128 -x7129 -x7130 -x7131 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147
1783.39	v -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164
1783.39	v -x7165 -x7166 -x7167 -x7168 -x7169 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192
1783.39	v -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209
1783.39	v -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229
1783.39	v -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246
1783.39	v -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265
1783.39	v -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282
1783.39	v -x7283 -x7284 -x7285 -x7286 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302
1783.39	v -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319
1783.39	v -x7320 -x7321 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338
1783.39	v -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355
1783.39	v -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374
1783.39	v -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391
1783.39	v -x7392 -x7393 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410
1783.39	v -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7430
1783.39	v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447
1783.39	v -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7467
1783.39	v -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484
1783.39	v -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501
1783.39	v -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521
1783.39	v -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545
1783.39	v -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562
1783.39	v -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582
1783.39	v -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599
1783.39	v -x7600 -x7601 -x7602 -x7603 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619
1783.39	v -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636
1783.39	v -x7637 -x7638 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656
1783.39	v -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7675 -x7676
1783.39	v -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693
1783.39	v -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7709 -x7710 -x7711 -x7712 -x7713
1783.39	v -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730
1783.39	v -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750
1783.39	v -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767
1783.39	v -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787
1783.39	v -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804
1783.39	v -x7805 -x7806 -x7807 -x7808 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824
1783.39	v -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841
1783.39	v -x7842 -x7843 -x7844 -x7845 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862
1783.39	v -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879
1783.39	v -x7880 -x7881 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904
1783.39	v -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921
1783.39	v -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941
1783.39	v -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7960 -x7961
1783.39	v -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978
1783.39	v -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998
1783.39	v -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015
1783.39	v -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035
1783.39	v -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052
1783.39	v -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073
1783.39	v -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090
1783.39	v -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111
1783.39	v -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128
1783.39	v -x8129 -x8130 -x8131 -x8132 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148
1783.39	v -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165
1783.39	v -x8166 -x8167 -x8168 -x8169 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184
1783.39	v -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201
1783.39	v -x8202 -x8203 -x8204 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221
1783.39	v -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238
1783.39	v -x8239 -x8240 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261
1783.39	v -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8280
1783.39	v -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297
1783.39	v -x8298 -x8299 -x8300 -x8301 x8302 -x8303 -x8304 x8305 -x8306 x8307 x8308 -x8309 x8310 -x8311 x8314 -x8315 x8316 -x8317
1783.39	v x8318 x8319 -x8320

Verifier Data (download as text)

OK	-401

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node68/watcher-37817-1149369622 -o ROOT/results/node68/solver-37817-1149369622 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37817-1149369622/instance-37817-1149369622.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.96 2/64 24841
/proc/meminfo: memFree=1598568/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=2328 CPUtime=0
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 151 0 0 0 0 0 0 0 18 0 1 0 202631789 2383872 123 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10517201 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 570 134 113 16 0 11 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.95 0.96 2/64 24841
/proc/meminfo: memFree=1522296/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=79012 CPUtime=9.99
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 19556 0 0 0 990 9 0 0 25 0 1 0 202631789 80908288 19269 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 19753 19269 206 16 0 19194 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 79012

[startup+20.0093 s]
/proc/loadavg: 0.94 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1430392/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=170748 CPUtime=19.99
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 42754 0 0 0 1981 18 0 0 25 0 1 0 202631789 174845952 42203 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517803 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 42687 42203 206 16 0 42128 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 170748

[startup+30.016 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1357688/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=243388 CPUtime=30
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 61089 0 0 0 2975 25 0 0 25 0 1 0 202631789 249229312 60363 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557342 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 60847 60363 206 16 0 60288 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 243388

[startup+40.0217 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1294008/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=306900 CPUtime=40
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 77092 0 0 0 3969 31 0 0 25 0 1 0 202631789 314265600 76241 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 76725 76241 206 16 0 76166 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 306900

[startup+50.0284 s]
/proc/loadavg: 0.96 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1237432/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=363424 CPUtime=50
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 91312 0 0 0 4964 36 0 0 25 0 1 0 202631789 372146176 90356 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 90856 90356 206 16 0 90297 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 363424

[startup+60.0342 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1186040/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=414688 CPUtime=60
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 104214 0 0 0 5957 43 0 0 25 0 1 0 202631789 424640512 103173 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 103672 103173 206 16 0 103113 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 414688

[startup+70.0399 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1138552/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=462136 CPUtime=70.01
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 116155 0 0 0 6952 49 0 0 25 0 1 0 202631789 473227264 115036 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 115534 115036 206 16 0 114975 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 462136

[startup+80.0466 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1093944/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=506608 CPUtime=80.01
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 127349 0 0 0 7947 54 0 0 25 0 1 0 202631789 518766592 126165 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 126652 126165 206 16 0 126093 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 506608

[startup+90.0523 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1053368/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=547116 CPUtime=90.01
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 137535 0 0 0 8943 58 0 0 25 0 1 0 202631789 560246784 136283 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 136779 136283 206 16 0 136220 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 547116

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 24841
/proc/meminfo: memFree=1012408/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=588016 CPUtime=100.02
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 147802 0 0 0 9939 63 0 0 25 0 1 0 202631789 602128384 146502 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530532 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 147004 146502 206 16 0 146445 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 588016

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 24841
/proc/meminfo: memFree=972216/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=628108 CPUtime=110.01
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 157889 0 0 0 10934 67 0 0 25 0 1 0 202631789 643182592 156533 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 157027 156533 206 16 0 156468 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 628108

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962808/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=120.02
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 11933 69 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 637412

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962808/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=130.02
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 12933 69 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 637412

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962872/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=140.02
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 13933 69 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527939 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 637412

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962872/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=150.02
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 14933 69 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 637412

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962872/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=160.02
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 15933 69 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 637412

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962808/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=170.02
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 16933 69 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 637412

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962808/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=180.03
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 17933 70 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 637412

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962808/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=190.03
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 18933 70 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 637412

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=962808/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=637412 CPUtime=200.04
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160249 0 0 0 19934 70 0 0 25 0 1 0 202631789 652709888 158874 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528213 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 159353 158874 206 16 0 158794 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 637412

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24841
/proc/meminfo: memFree=967352/2055920 swapFree=4182304/4192956

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

/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1590.35
Current children cumulated vsize (Kb) 632656

[startup+1600.93 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1600.35
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 159959 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1600.35
Current children cumulated vsize (Kb) 632656

[startup+1610.93 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1610.35
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 160959 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528057 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1610.35
Current children cumulated vsize (Kb) 632656

[startup+1620.94 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1620.35
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 161959 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1620.35
Current children cumulated vsize (Kb) 632656

[startup+1630.94 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1630.36
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 162960 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1630.36
Current children cumulated vsize (Kb) 632656

[startup+1640.95 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1640.36
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 163960 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1640.36
Current children cumulated vsize (Kb) 632656

[startup+1650.96 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1650.36
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 164960 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1650.36
Current children cumulated vsize (Kb) 632656

[startup+1660.96 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1660.36
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 165960 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1660.36
Current children cumulated vsize (Kb) 632656

[startup+1670.97 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1670.37
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 166961 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557267 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1670.37
Current children cumulated vsize (Kb) 632656

[startup+1680.98 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1680.37
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 167961 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1680.37
Current children cumulated vsize (Kb) 632656

[startup+1690.98 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1690.37
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 168961 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1690.37
Current children cumulated vsize (Kb) 632656

[startup+1700.99 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1700.37
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 169961 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1700.37
Current children cumulated vsize (Kb) 632656

[startup+1710.99 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1710.38
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 170962 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1710.38
Current children cumulated vsize (Kb) 632656

[startup+1721 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1720.38
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 171962 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1720.38
Current children cumulated vsize (Kb) 632656

[startup+1731.01 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1730.38
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 172962 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1730.38
Current children cumulated vsize (Kb) 632656

[startup+1741.01 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1740.38
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 173962 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517807 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1740.38
Current children cumulated vsize (Kb) 632656

[startup+1751.02 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1750.38
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 174962 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528227 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1750.38
Current children cumulated vsize (Kb) 632656

[startup+1761.02 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967224/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1760.39
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 175963 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1760.39
Current children cumulated vsize (Kb) 632656

[startup+1771.03 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1770.39
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 176963 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528048 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1770.39
Current children cumulated vsize (Kb) 632656

[startup+1781.03 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1780.39
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 177963 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1780.39
Current children cumulated vsize (Kb) 632656

[startup+1782.04 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1781.39
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 178063 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528220 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 632656

[startup+1783.04 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 24843
/proc/meminfo: memFree=967288/2055920 swapFree=4182304/4192956
[pid=24841] ppid=24839 vsize=632656 CPUtime=1782.4
/proc/24841/stat : 24841 (Pueblo13) R 24839 24841 24795 0 -1 4194304 160813 0 0 0 178164 76 0 0 25 0 1 0 202631789 647839744 157685 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 158164 157685 206 16 0 157605 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 632656

Child status: 10
Real time (s): 1783.5
CPU time (s): 1782.86
CPU user time (s): 1782
CPU system time (s): 0.867868
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (Kb): 637412

Launcher Data (download as text)

Begin job on node68 on Sat Jun  3 21:20:22 UTC 2006


FILE ID= 37817-1149369622

PBS_JOBID= 312126

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37817-1149369622/instance-37817-1149369622.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-37817-1149369622 -o ROOT/results/node68/solver-37817-1149369622 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37817-1149369622/instance-37817-1149369622.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  6fc83a536fe9a582c06bbccccc09c709

RANDOM SEED= 26141138


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1598840 kB
Buffers:         14872 kB
Cached:         380224 kB
SwapCached:       2160 kB
Active:          36256 kB
Inactive:       367364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1598840 kB
SwapTotal:     4192956 kB
SwapFree:      4182304 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          15504 kB
Slab:            39472 kB
Committed_AS:   373036 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node68 on Sat Jun  3 21:50:06 UTC 2006