Trace number 3448329

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 2.0-RC2MSAT (TO) 1800.07 1800.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MD5SUMd7ec3e5f8584fe7f5e0e066c760adfab
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.679895
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10100
Total number of constraints201
Number of soft constraints65
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Top cost 3414
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3413
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	1612

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3448329-1307896353/watcher-3448329-1307896353 -o /tmp/evaluation-result-3448329-1307896353/solver-3448329-1307896353 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448329-1307896353.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.97 1.81 2/177 9042
/proc/meminfo: memFree=2918332/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=4268 CPUtime=0 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 813 0 0 0 0 0 0 0 25 0 1 0 901233022 4370432 767 33554432000 134512640 136285325 4290973776 18446744073709551615 135641870 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 1067 768 172 433 0 632 0

[startup+0.010959 s]
/proc/loadavg: 1.84 1.97 1.81 2/177 9042
/proc/meminfo: memFree=2918332/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=4796 CPUtime=0 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 1116 0 0 0 0 0 0 0 25 0 1 0 901233022 4911104 911 33554432000 134512640 136285325 4290973776 18446744073709551615 135639465 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 1199 915 205 433 0 764 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4796

[startup+0.100973 s]
/proc/loadavg: 1.84 1.97 1.81 2/177 9042
/proc/meminfo: memFree=2918332/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=6776 CPUtime=0.09 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 1644 0 0 0 9 0 0 0 25 0 1 0 901233022 6938624 1439 33554432000 134512640 136285325 4290973776 18446744073709551615 134624184 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 1694 1440 209 433 0 1259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6776

[startup+0.300936 s]
/proc/loadavg: 1.84 1.97 1.81 2/177 9042
/proc/meminfo: memFree=2918332/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=11664 CPUtime=0.29 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 2868 0 0 0 29 0 0 0 25 0 1 0 901233022 11943936 2663 33554432000 134512640 136285325 4290973776 18446744073709551615 134667154 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 2916 2663 209 433 0 2481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11664

[startup+0.700876 s]
/proc/loadavg: 1.84 1.97 1.81 2/177 9042
/proc/meminfo: memFree=2918332/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=13776 CPUtime=0.69 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 3381 0 0 0 69 0 0 0 25 0 1 0 901233022 14106624 3176 33554432000 134512640 136285325 4290973776 18446744073709551615 134647099 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 3444 3176 209 433 0 3009 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13776

[startup+1.50072 s]
/proc/loadavg: 1.84 1.97 1.81 3/178 9043
/proc/meminfo: memFree=2904956/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=18860 CPUtime=1.49 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 4630 0 0 0 149 0 0 0 25 0 1 0 901233022 19312640 4425 33554432000 134512640 136285325 4290973776 18446744073709551615 134958582 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 4715 4425 209 433 0 4280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18860

[startup+3.10043 s]
/proc/loadavg: 1.84 1.97 1.81 3/178 9043
/proc/meminfo: memFree=2899760/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=22960 CPUtime=3.09 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 5662 0 0 0 308 1 0 0 25 0 1 0 901233022 23511040 5457 33554432000 134512640 136285325 4290973776 18446744073709551615 134643975 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 5740 5457 209 433 0 5305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22960

[startup+6.30084 s]
/proc/loadavg: 1.85 1.97 1.81 3/178 9043
/proc/meminfo: memFree=2893004/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=29828 CPUtime=6.29 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 7379 0 0 0 628 1 0 0 25 0 1 0 901233022 30543872 7174 33554432000 134512640 136285325 4290973776 18446744073709551615 134647129 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 7457 7174 209 433 0 7022 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29828

[startup+12.7007 s]
/proc/loadavg: 1.86 1.97 1.81 3/178 9043
/proc/meminfo: memFree=2884864/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=34844 CPUtime=12.69 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 8626 0 0 0 1268 1 0 0 25 0 1 0 901233022 35680256 8421 33554432000 134512640 136285325 4290973776 18446744073709551615 134648078 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 8711 8421 209 433 0 8276 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34844

[startup+25.5003 s]
/proc/loadavg: 1.89 1.97 1.81 3/178 9043
/proc/meminfo: memFree=2880052/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=39728 CPUtime=25.49 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 9871 0 0 0 2547 2 0 0 25 0 1 0 901233022 40681472 9666 33554432000 134512640 136285325 4290973776 18446744073709551615 134960504 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 9932 9666 209 433 0 9497 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39728

[startup+51.1007 s]
/proc/loadavg: 1.93 1.97 1.82 3/178 9044
/proc/meminfo: memFree=2872788/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=48236 CPUtime=51.09 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 11949 0 0 0 5107 2 0 0 25 0 1 0 901233022 49393664 11744 33554432000 134512640 136285325 4290973776 18446744073709551615 134930634 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 12059 11744 209 433 0 11624 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 48236

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.82 3/178 9083
/proc/meminfo: memFree=2821960/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=55892 CPUtime=102.3 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 13988 0 0 0 10228 2 0 0 25 0 1 0 901233022 57233408 13664 33554432000 134512640 136285325 4290973776 18446744073709551615 135027244 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 13973 13664 210 433 0 13538 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 55892

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/178 9085
/proc/meminfo: memFree=2800528/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=61832 CPUtime=162.29 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 15485 0 0 0 16227 2 0 0 25 0 1 0 901233022 63315968 15161 33554432000 134512640 136285325 4290973776 18446744073709551615 134674621 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 15458 15161 210 433 0 15023 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 61832

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/178 9087
/proc/meminfo: memFree=2792540/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=66320 CPUtime=222.29 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 16608 0 0 0 22227 2 0 0 25 0 1 0 901233022 67911680 16284 33554432000 134512640 136285325 4290973776 18446744073709551615 134648040 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 16580 16284 210 433 0 16145 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 66320

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/178 9088
/proc/meminfo: memFree=2782580/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=70968 CPUtime=282.3 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 17961 0 0 0 28227 3 0 0 25 0 1 0 901233022 72671232 17459 33554432000 134512640 136285325 4290973776 18446744073709551615 134648296 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 17742 17459 210 433 0 17307 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 70968

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.85 3/178 9090
/proc/meminfo: memFree=2772256/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=77840 CPUtime=342.3 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 19659 0 0 0 34227 3 0 0 25 0 1 0 901233022 79708160 19157 33554432000 134512640 136285325 4290973776 18446744073709551615 134954578 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 19460 19157 210 433 0 19025 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 77840

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.85 3/178 9091
/proc/meminfo: memFree=2769964/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=72780 CPUtime=402.3 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 19659 0 0 0 40227 3 0 0 25 0 1 0 901233022 74526720 17920 33554432000 134512640 136285325 4290973776 18446744073709551615 134667207 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 18195 17920 210 433 0 17760 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 72780

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.86 3/178 9093
/proc/meminfo: memFree=2762484/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=78588 CPUtime=462.3 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 21095 0 0 0 46227 3 0 0 25 0 1 0 901233022 80474112 19356 33554432000 134512640 136285325 4290973776 18446744073709551615 134954379 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 19647 19356 210 433 0 19212 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 78588

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.86 3/178 9095
/proc/meminfo: memFree=2755376/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=85848 CPUtime=522.3 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 22903 0 0 0 52226 4 0 0 25 0 1 0 901233022 87908352 21164 33554432000 134512640 136285325 4290973776 18446744073709551615 134625306 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 21462 21164 210 433 0 21027 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 85848

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.87 3/178 9096
/proc/meminfo: memFree=2751124/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=85848 CPUtime=582.31 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 22903 0 0 0 58227 4 0 0 25 0 1 0 901233022 87908352 21164 33554432000 134512640 136285325 4290973776 18446744073709551615 134625317 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 21462 21164 210 433 0 21027 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 85848

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.89 3/178 9103
/proc/meminfo: memFree=2734324/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=93520 CPUtime=822.31 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 24941 0 0 0 82227 4 0 0 25 0 1 0 901233022 95764480 23098 33554432000 134512640 136285325 4290973776 18446744073709551615 134954401 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 23380 23098 210 433 0 22945 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 93520

[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.90 3/178 9104
/proc/meminfo: memFree=2734776/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=95104 CPUtime=882.32 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 25315 0 0 0 88227 5 0 0 25 0 1 0 901233022 97386496 23472 33554432000 134512640 136285325 4290973776 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 23776 23472 210 433 0 23341 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 95104

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 9106
/proc/meminfo: memFree=2732624/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=94312 CPUtime=942.32 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 25576 0 0 0 94227 5 0 0 25 0 1 0 901233022 96575488 23296 33554432000 134512640 136285325 4290973776 18446744073709551615 134957305 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 23578 23296 210 433 0 23143 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 94312

[startup+1002.3 s]
/proc/loadavg: 2.07 1.99 1.91 3/178 9107
/proc/meminfo: memFree=2728860/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=95504 CPUtime=1002.32 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 27866 0 0 0 100227 5 0 0 25 0 1 0 901233022 97796096 23594 33554432000 134512640 136285325 4290973776 18446744073709551615 134930634 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 23876 23594 210 433 0 23441 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 95504

[startup+1062.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 9109
/proc/meminfo: memFree=2728572/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=95480 CPUtime=1062.33 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 28131 0 0 0 106228 5 0 0 25 0 1 0 901233022 97771520 23556 33554432000 134512640 136285325 4290973776 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 23870 23556 210 433 0 23435 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 95480

[startup+1122.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 9111
/proc/meminfo: memFree=2712408/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=104200 CPUtime=1122.32 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 30570 0 0 0 112227 5 0 0 25 0 1 0 901233022 106700800 25766 33554432000 134512640 136285325 4290973776 18446744073709551615 134954329 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26050 25766 210 433 0 25615 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 104200

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9112
/proc/meminfo: memFree=2705304/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=104464 CPUtime=1182.32 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 30605 0 0 0 118227 5 0 0 25 0 1 0 901233022 106971136 25801 33554432000 134512640 136285325 4290973776 18446744073709551615 134957282 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26116 25801 210 433 0 25681 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 104464

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9114
/proc/meminfo: memFree=2703648/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=104464 CPUtime=1242.33 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 30605 0 0 0 124228 5 0 0 25 0 1 0 901233022 106971136 25801 33554432000 134512640 136285325 4290973776 18446744073709551615 134957271 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26116 25801 210 433 0 25681 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 104464

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9115
/proc/meminfo: memFree=2702360/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=106312 CPUtime=1302.33 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 31072 0 0 0 130228 5 0 0 25 0 1 0 901233022 108863488 26268 33554432000 134512640 136285325 4290973776 18446744073709551615 134960526 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26578 26268 210 433 0 26143 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 106312

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9117
/proc/meminfo: memFree=2703684/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=104240 CPUtime=1362.33 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 31072 0 0 0 136228 5 0 0 25 0 1 0 901233022 106741760 25780 33554432000 134512640 136285325 4290973776 18446744073709551615 134970904 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26060 25780 210 433 0 25625 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 104240

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9119
/proc/meminfo: memFree=2703396/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=104240 CPUtime=1422.34 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 31072 0 0 0 142229 5 0 0 25 0 1 0 901233022 106741760 25780 33554432000 134512640 136285325 4290973776 18446744073709551615 134954363 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26060 25780 210 433 0 25625 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 104240

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9120
/proc/meminfo: memFree=2703356/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=104240 CPUtime=1482.33 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 31072 0 0 0 148228 5 0 0 25 0 1 0 901233022 106741760 25780 33554432000 134512640 136285325 4290973776 18446744073709551615 134954360 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26060 25780 210 433 0 25625 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 104240

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9122
/proc/meminfo: memFree=2703060/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=104240 CPUtime=1542.33 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 31072 0 0 0 154228 5 0 0 25 0 1 0 901233022 106741760 25780 33554432000 134512640 136285325 4290973776 18446744073709551615 135027219 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26060 25780 210 433 0 25625 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 104240

[startup+1602.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/178 9123
/proc/meminfo: memFree=2699288/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=108464 CPUtime=1602.34 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 32105 0 0 0 160229 5 0 0 25 0 1 0 901233022 111067136 26813 33554432000 134512640 136285325 4290973776 18446744073709551615 134954446 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 27116 26813 210 433 0 26681 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 108464

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 9125
/proc/meminfo: memFree=2702348/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=104244 CPUtime=1662.34 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 32105 0 0 0 166229 5 0 0 25 0 1 0 901233022 106745856 25781 33554432000 134512640 136285325 4290973776 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 26061 25781 210 433 0 25626 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 104244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 9136
/proc/meminfo: memFree=2692316/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=109524 CPUtime=1722.34 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 33412 0 0 0 172229 5 0 0 25 0 1 0 901233022 112152576 27088 33554432000 134512640 136285325 4290973776 18446744073709551615 134930658 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 27381 27088 210 433 0 26946 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 109524

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 9137
/proc/meminfo: memFree=2685324/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=111060 CPUtime=1782.35 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 34541 0 0 0 178229 6 0 0 25 0 1 0 901233022 113725440 27458 33554432000 134512640 136285325 4290973776 18446744073709551615 134954371 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 27765 27458 210 433 0 27330 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 111060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 9138
/proc/meminfo: memFree=2686176/32951124 swapFree=67076880/67111528
[pid=9042] ppid=9040 vsize=110452 CPUtime=1800.05 cores=1,3,5,7
/proc/9042/stat : 9042 (clasp) R 9040 9042 8865 0 -1 4202496 34541 0 0 0 179999 6 0 0 25 0 1 0 901233022 113102848 27327 33554432000 134512640 136285325 4290973776 18446744073709551615 135027336 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9042/statm: 27613 27327 210 433 0 27178 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 110452

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

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800
CPU system time (s): 0.067989
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 113352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34551
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= 6
involuntary context switches= 3288

runsolver used 2.33065 second user time and 5.86611 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-12 18:32:33
IDJOB=3448329
IDBENCH=78713
IDSOLVER=1946
FILE ID=node139/3448329-1307896353
RUNJOBID= node139-1307896353-9015
PBS_JOBID= 13559516
Free space on /tmp= 2692 MiB

SOLVER NAME= clasp 2.0-RC2
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
COMMAND LINE= HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3448329-1307896353/watcher-3448329-1307896353 -o /tmp/evaluation-result-3448329-1307896353/solver-3448329-1307896353 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3448329-1307896353.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab
RANDOM SEED=1547477037

node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5321.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2918892 kB
Buffers:         49988 kB
Cached:       29028352 kB
SwapCached:       3400 kB
Active:       14372904 kB
Inactive:     14740408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2918892 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:            3940 kB
Writeback:           0 kB
AnonPages:       32856 kB
Mapped:          14892 kB
Slab:           853608 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   199576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 2688 MiB
End job on node139 at 2011-06-12 19:02:35