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