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