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