Trace number 372566

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
wildcat-rnp 2007-03-21SAT (TO)69 1800.06 1800.63

General information on the benchmark

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

Verifier Data (download as text)

OK	69

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-372566-1177107197 -o ROOT/results/node71/solver-372566-1177107197 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372566-1177107197/wildcat-rnp /tmp/evaluation/372566-1177107197/instance-372566-1177107197.opb 760328669 

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: 1.00 1.00 1.00 3/64 1540
/proc/meminfo: memFree=1728496/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=6104 CPUtime=0
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 186709040 6250496 140 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135015034 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 1526 141 105 226 0 1297 0

[startup+0.0204731 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1540
/proc/meminfo: memFree=1728496/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=6104 CPUtime=0.01
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 182 0 0 0 1 0 0 0 18 0 1 0 186709040 6250496 166 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 1526 166 105 226 0 1297 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6104

[startup+0.101483 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1540
/proc/meminfo: memFree=1728496/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=6632 CPUtime=0.09
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 309 0 0 0 9 0 0 0 18 0 1 0 186709040 6791168 293 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 1658 293 105 226 0 1429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6632

[startup+0.301509 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1540
/proc/meminfo: memFree=1728496/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=0.29
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 28 1 0 0 19 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134578662 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12312

[startup+0.701565 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1540
/proc/meminfo: memFree=1728496/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=0.69
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 68 1 0 0 22 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134550929 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12312

[startup+1.50167 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721896/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1.49
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 148 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599062 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12312

[startup+3.10189 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=3.09
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 308 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12312

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=6.29
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 628 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134516985 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12312

[startup+12.7022 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=12.69
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 1268 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12312

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=25.48
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 2547 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12312

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721704/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=51.07
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 5106 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598454 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 12312

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721704/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=102.26
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 10225 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12312

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=162.24
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 16223 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566263 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 12312

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=222.22
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 22221 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599037 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 12312

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721576/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=282.2
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 28219 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566252 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 12312

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=342.18
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 34217 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 12312

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721576/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=402.16
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 40215 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 12312

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=462.14
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 46213 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599063 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 12312

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=522.13
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 52212 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566249 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 12312

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=582.11
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 58210 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 12312

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=642.09
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 64208 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134516995 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 12312


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=822.03
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 82202 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 12312

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721704/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=882.01
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 88200 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 12312

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=941.99
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 94198 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566982 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 12312

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1001.97
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 100196 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599288 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 12312

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721704/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1061.96
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 106195 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 12312

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1121.94
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 112193 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134603916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 12312

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721704/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1181.92
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 118191 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598662 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 12312

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1241.9
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 124189 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566252 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 12312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721640/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1301.89
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 130188 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 12312

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721576/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1361.86
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 136185 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134567006 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 12312

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721576/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1421.85
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 142184 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566853 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 12312

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721512/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1481.82
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 148181 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566255 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 12312

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721576/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1541.81
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 154180 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 12312

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721512/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1601.79
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 160178 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566982 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 12312

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1541
/proc/meminfo: memFree=1721512/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1661.77
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 166176 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 12312

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1543
/proc/meminfo: memFree=1721512/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1721.75
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 172174 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 12312

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1543
/proc/meminfo: memFree=1721512/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1781.73
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 178172 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 12312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1543
/proc/meminfo: memFree=1721448/2055920 swapFree=4184240/4192956
[pid=1540] ppid=1538 vsize=12312 CPUtime=1800.03
/proc/1540/stat : 1540 (wildcat-rnp) R 1538 1540 539 0 -1 4194304 1765 0 0 0 180002 1 0 0 25 0 1 0 186709040 12607488 1748 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1540/statm: 3078 1748 115 226 0 2849 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 12312

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

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

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.06
CPU user time (s): 1800.04
CPU system time (s): 0.017997
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 12312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1765
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= 9
involuntary context switches= 1569

runsolver used 1.22681 second user time and 3.70244 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Fri Apr 20 22:13:17 UTC 2007

IDJOB= 372566
IDBENCH= 24981
IDSOLVER= 161
FILE ID= node71/372566-1177107197

PBS_JOBID= 4640399

Free space on /tmp= 66444 MiB

SOLVER NAME= wildcat-rnp 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb
COMMAND LINE= /tmp/evaluation/372566-1177107197/wildcat-rnp /tmp/evaluation/372566-1177107197/instance-372566-1177107197.opb 760328669
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-372566-1177107197 -o ROOT/results/node71/solver-372566-1177107197 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372566-1177107197/wildcat-rnp /tmp/evaluation/372566-1177107197/instance-372566-1177107197.opb 760328669

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  90acfb7d1c18536583ef7e2a90905f54

RANDOM SEED= 760328669

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1728968 kB
Buffers:         48896 kB
Cached:         203016 kB
SwapCached:       2612 kB
Active:          46796 kB
Inactive:       216336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1728968 kB
SwapTotal:     4192956 kB
SwapFree:      4184240 kB
Dirty:            2996 kB
Writeback:           0 kB
Mapped:          16472 kB
Slab:            49820 kB
Committed_AS:  3557932 kB
PageTables:       1452 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= 66444 MiB

End job on node71 on Fri Apr 20 22:43:20 UTC 2007