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