Trace number 373088

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.4SAT25 1782.81 1783.51

General information on the benchmark

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

Verifier Data (download as text)

OK	25

Conversion Script Data (download as text)

/tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node59/watcher-373088-1177163004 -o ROOT/results/node59/solver-373088-1177163004 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.96 0.97 3/64 12567
/proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=2552 CPUtime=0
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 164210038 2613248 228 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 638 228 193 16 0 77 0

[startup+0.0187151 s]
/proc/loadavg: 0.91 0.96 0.97 3/64 12567
/proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=2816 CPUtime=0.01
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 340 0 0 0 1 0 0 0 18 0 1 0 164210038 2883584 310 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 704 310 199 16 0 143 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2816

[startup+0.101731 s]
/proc/loadavg: 0.91 0.96 0.97 3/64 12567
/proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=4016 CPUtime=0.09
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 632 0 0 0 9 0 0 0 18 0 1 0 164210038 4112384 602 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 1004 602 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301769 s]
/proc/loadavg: 0.91 0.96 0.97 3/64 12567
/proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=6680 CPUtime=0.29
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 1316 0 0 0 29 0 0 0 19 0 1 0 164210038 6840320 1286 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 1670 1286 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.701844 s]
/proc/loadavg: 0.91 0.96 0.97 3/64 12567
/proc/meminfo: memFree=1730088/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=9500 CPUtime=0.69
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 1905 0 0 0 68 1 0 0 22 0 1 0 164210038 9728000 1875 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 2375 1875 205 16 0 1814 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9500

[startup+1.502 s]
/proc/loadavg: 0.91 0.96 0.97 2/65 12568
/proc/meminfo: memFree=1722336/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=10560 CPUtime=1.49
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 2166 0 0 0 148 1 0 0 25 0 1 0 164210038 10813440 2136 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 2640 2136 206 16 0 2079 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10560

[startup+3.1013 s]
/proc/loadavg: 0.91 0.96 0.97 2/65 12568
/proc/meminfo: memFree=1722208/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=10560 CPUtime=3.09
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 2166 0 0 0 308 1 0 0 25 0 1 0 164210038 10813440 2136 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 2640 2136 206 16 0 2079 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10560

[startup+6.30191 s]
/proc/loadavg: 0.92 0.96 0.97 2/65 12568
/proc/meminfo: memFree=1721256/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=11396 CPUtime=6.29
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 2407 0 0 0 627 2 0 0 25 0 1 0 164210038 11669504 2365 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519910 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 2849 2365 206 16 0 2288 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11396

[startup+12.7011 s]
/proc/loadavg: 0.93 0.96 0.97 2/65 12568
/proc/meminfo: memFree=1719144/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=13656 CPUtime=12.69
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 2948 0 0 0 1267 2 0 0 25 0 1 0 164210038 13983744 2905 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522701 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 3414 2905 206 16 0 2853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13656

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 12568
/proc/meminfo: memFree=1713256/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=19412 CPUtime=25.48
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 4397 0 0 0 2543 5 0 0 25 0 1 0 164210038 19877888 4354 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 4853 4354 206 16 0 4292 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19412

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 12568
/proc/meminfo: memFree=1702120/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=30516 CPUtime=51.07
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 7229 0 0 0 5098 9 0 0 25 0 1 0 164210038 31248384 7126 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522763 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 7629 7126 206 16 0 7068 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30516

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1682408/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=50000 CPUtime=102.26
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 12258 0 0 0 10212 14 0 0 25 0 1 0 164210038 51200000 12022 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 12500 12022 206 16 0 11939 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50000

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1652776/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=80488 CPUtime=162.23
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 20078 0 0 0 16202 21 0 0 25 0 1 0 164210038 82419712 19610 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 20122 19610 206 16 0 19561 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 80488

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1621608/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=110720 CPUtime=222.22
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 27688 0 0 0 22197 25 0 0 25 0 1 0 164210038 113377280 27198 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 27680 27198 206 16 0 27119 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 110720

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1588584/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=144496 CPUtime=282.19
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 36128 0 0 0 28191 28 0 0 25 0 1 0 164210038 147963904 35634 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 36124 35634 206 16 0 35563 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 144496

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1558312/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=173940 CPUtime=342.17
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 43466 0 0 0 34185 32 0 0 25 0 1 0 164210038 178114560 42972 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 43485 42972 206 16 0 42924 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 173940

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1551208/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=181048 CPUtime=402.15
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 45254 0 0 0 40180 35 0 0 25 0 1 0 164210038 185393152 44748 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 45262 44748 206 16 0 44701 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 181048

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1551144/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=181048 CPUtime=462.13
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 45254 0 0 0 46177 36 0 0 25 0 1 0 164210038 185393152 44748 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 45262 44748 206 16 0 44701 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 181048

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1551208/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=181048 CPUtime=522.11
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 45254 0 0 0 52174 37 0 0 25 0 1 0 164210038 185393152 44748 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 45262 44748 206 16 0 44701 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 181048

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1537256/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=195464 CPUtime=582.08
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 48844 0 0 0 58169 39 0 0 25 0 1 0 164210038 200155136 48338 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 48866 48338 206 16 0 48305 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 195464

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1512168/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=220160 CPUtime=642.07
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 55012 0 0 0 64165 42 0 0 25 0 1 0 164210038 225443840 54500 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 55040 54500 206 16 0 54479 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 220160


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

/proc/meminfo: memFree=1438632/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=293400 CPUtime=822.01
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 73337 0 0 0 82149 52 0 0 25 0 1 0 164210038 300441600 72825 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 73350 72825 206 16 0 72789 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 293400

[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1413416/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=318620 CPUtime=881.99
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 79629 0 0 0 88143 56 0 0 25 0 1 0 164210038 326266880 79117 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 79655 79117 206 16 0 79094 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 318620

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1390248/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=341808 CPUtime=941.97
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 85433 0 0 0 94139 58 0 0 25 0 1 0 164210038 350011392 84903 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556269 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 85452 84903 206 16 0 84891 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 341808

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12568
/proc/meminfo: memFree=1367336/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=364500 CPUtime=1001.94
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 91151 0 0 0 100134 60 0 0 25 0 1 0 164210038 373248000 90613 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134533487 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 91125 90613 206 16 0 90564 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 364500

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/71 12634
/proc/meminfo: memFree=1340592/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=390248 CPUtime=1061.91
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 97557 0 0 0 106124 67 0 0 25 0 1 0 164210038 399613952 97018 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 97562 97018 206 16 0 97001 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 390248

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1326888/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404560 CPUtime=1121.82
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101166 0 0 0 112112 70 0 0 25 0 1 0 164210038 414269440 100622 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101140 100622 206 16 0 100579 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 404560

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1181.8
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101167 0 0 0 118109 71 0 0 25 0 1 0 164210038 414154752 100606 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100606 206 16 0 100551 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 404448

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1241.77
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101169 0 0 0 124106 71 0 0 25 0 1 0 164210038 414154752 100608 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100608 206 16 0 100551 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 404448

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1327016/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1301.75
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101171 0 0 0 130103 72 0 0 25 0 1 0 164210038 414154752 100610 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522724 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100610 206 16 0 100551 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 404448

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1327016/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1361.74
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101172 0 0 0 136100 74 0 0 25 0 1 0 164210038 414154752 100611 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134533511 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100611 206 16 0 100551 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 404448

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1421.72
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101172 0 0 0 142097 75 0 0 25 0 1 0 164210038 414154752 100611 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519077 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100611 206 16 0 100551 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 404448

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1327016/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1481.69
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101173 0 0 0 148094 75 0 0 25 0 1 0 164210038 414154752 100612 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100612 206 16 0 100551 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 404448

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1541.67
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101173 0 0 0 154091 76 0 0 25 0 1 0 164210038 414154752 100612 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100612 206 16 0 100551 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 404448

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1326952/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1601.66
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101173 0 0 0 160089 77 0 0 25 0 1 0 164210038 414154752 100612 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100612 206 16 0 100551 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 404448

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1327080/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=404448 CPUtime=1661.63
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 101173 0 0 0 166086 77 0 0 25 0 1 0 164210038 414154752 100612 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 101112 100612 206 16 0 100551 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 404448

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1316264/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=416168 CPUtime=1721.61
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 104083 0 0 0 172082 79 0 0 25 0 1 0 164210038 426156032 103522 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 104042 103522 206 16 0 103481 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 416168

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1288168/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=443656 CPUtime=1781.59
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 110952 0 0 0 178077 82 0 0 25 0 1 0 164210038 454303744 110391 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 110914 110391 206 16 0 110353 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 443656

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1287016/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=444584 CPUtime=1782.39
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194304 111187 0 0 0 178157 82 0 0 25 0 1 0 164210038 455254016 110626 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 111146 110626 206 16 0 110585 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 444584

[startup+1783.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 12766
/proc/meminfo: memFree=1287016/2055920 swapFree=4184568/4192956
[pid=12567] ppid=12565 vsize=0 CPUtime=1782.79
/proc/12567/stat : 12567 (Pueblo) R 12565 12567 11817 0 -1 4194308 111278 0 0 0 178191 88 0 0 17 0 1 0 164210038 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/12567/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.79
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.51
CPU time (s): 1782.81
CPU user time (s): 1781.91
CPU system time (s): 0.897863
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 444888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.91
system time used= 0.897863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 3041

runsolver used 1.13083 second user time and 3.79242 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Sat Apr 21 13:43:24 UTC 2007

IDJOB= 373088
IDBENCH= 25018
IDSOLVER= 165
FILE ID= node59/373088-1177163004

PBS_JOBID= 4648923

Free space on /tmp= 66329 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= Pueblo /tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-373088-1177163004 -o ROOT/results/node59/conversion-373088-1177163004 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-373088-1177163004 -o ROOT/results/node59/solver-373088-1177163004 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/373088-1177163004/instance-373088-1177163004.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  af0ded53094abde95c37378ccd6c7afa

RANDOM SEED= 190006604

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.268
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.268
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:       1730560 kB
Buffers:         28268 kB
Cached:         236120 kB
SwapCached:       2104 kB
Active:          52424 kB
Inactive:       221464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1730560 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            3184 kB
Writeback:           0 kB
Mapped:          16320 kB
Slab:            37496 kB
Committed_AS:  2975288 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66329 MiB

End job on node59 on Sat Apr 21 14:13:08 UTC 2007