Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 0 | 1800.49 | 1786.64 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc205.opb |
MD5SUM | cfa0de6a5c077caf94404f012a430180 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 22.6626 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 6090 |
Total number of constraints | 204 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 204 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
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 | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 8589934592 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 22548578283 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.18 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.19 c no version file found!!! 0.19 c sun.arch.data.model 32 0.19 c java.version 1.5.0_06 0.19 c os.name Linux 0.19 c os.version 2.6.9-22.EL.rootsmp 0.19 c os.arch i386 0.19 c Free memory 1548419056 0.19 c Max memory 1551040512 0.19 c Total memory 1551040512 0.19 c Number of processors 2 0.25 c Cutting planes based inference 0.25 c --- Begin Solver configuration --- 0.25 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.25 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.25 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.25 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.25 c VSIDS like heuristics from MiniSAT using a heap 0.25 c No reason simplification 0.25 c --- End Solver configuration --- 0.25 c solving ROOT/tmp/node38/44708-1149312730/instance-44708-1149312730.opb 0.25 c reading problem ... 0.88 c ... done. Time 0.631 ms. 0.88 c #vars 6090 0.88 c #constraints 294 1.10 c SATISFIABLE 1.10 c OPTIMIZING... 1.10 c Got one! Ellapsed CPU time (in seconds):0.847 1.11 o 0 1786.45 c starts : 14 1786.46 c conflicts : 30127 1786.46 c decisions : 32757 1786.46 c propagations : 450943 1786.46 c inspects : 355022642 1786.46 c learnt literals : 0 1786.46 c learnt binary clauses : 0 1786.46 c learnt ternary clauses : 0 1786.46 c learnt clauses : 30126 1786.46 c root simplifications : 0 1786.46 c removed literals (reason simplification) : 0 1786.46 c reason swapping (by a shorter reason) : 0 1786.46 c Calls to reduceDB : 0 1786.46 c speed (decisions/second) : 18.347899292398534 1786.46 c non guided choices 300 1786.46 s SATISFIABLE 1786.54 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1786.54 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1786.54 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1786.54 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1786.54 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1786.54 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1786.54 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1786.54 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1786.54 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1786.54 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1786.54 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1786.54 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1786.54 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1786.54 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1786.54 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1786.54 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1786.54 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1786.54 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1786.54 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1786.54 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1786.54 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1786.54 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1786.54 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1786.54 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1786.54 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1786.54 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1786.54 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1786.54 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1786.54 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1786.54 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1786.54 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1786.54 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1786.54 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1786.54 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1786.54 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1786.54 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1786.54 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1786.54 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1786.54 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1786.54 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1786.54 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1786.54 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1786.54 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1786.54 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1786.54 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1786.54 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1786.54 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1786.54 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1786.54 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1786.54 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1786.54 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1786.54 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1786.54 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1786.54 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1786.54 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1786.54 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1786.54 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1786.54 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1786.54 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1786.54 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1786.54 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1786.54 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1786.54 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1786.54 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1786.54 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1786.54 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1786.54 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1786.54 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1786.54 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1786.54 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1786.54 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1786.54 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1786.54 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1786.54 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1786.54 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1786.54 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1786.54 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1786.54 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1786.54 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1786.54 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1786.54 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1786.54 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1786.54 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1786.54 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1786.54 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1786.54 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1786.54 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1786.54 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1786.54 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1786.54 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1786.54 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1786.54 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1786.54 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1786.54 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1786.54 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1786.54 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1786.54 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1786.54 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1786.54 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1786.54 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1786.54 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1786.54 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1786.54 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1786.54 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1786.54 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1786.54 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1786.54 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1786.54 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1786.54 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1786.54 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1786.54 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1786.54 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1786.54 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1786.54 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1786.54 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1786.54 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1786.54 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1786.54 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1786.54 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1786.54 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1786.54 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1786.54 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1786.54 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1786.54 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1786.54 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1786.54 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1786.54 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1786.54 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1786.54 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1786.54 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1786.54 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1786.54 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1786.54 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1786.54 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1786.54 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1786.54 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1786.54 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1786.54 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1786.54 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1786.54 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1786.54 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1786.54 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1786.54 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1786.54 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1786.54 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1786.54 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1786.54 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1786.54 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1786.54 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1786.54 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1786.54 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1786.54 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1786.54 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1786.54 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1786.54 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1786.54 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1786.54 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1786.54 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1786.54 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1786.54 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1786.54 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1786.54 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1786.54 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1786.54 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1786.54 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1786.54 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1786.54 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1786.54 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1786.54 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1786.54 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1786.54 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1786.54 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1786.54 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 1786.54 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1786.54 v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 1786.54 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 1786.54 v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1786.54 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 1786.54 v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1786.54 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1786.54 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 1786.54 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1786.54 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1786.54 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 1786.54 v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 1786.54 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 1786.54 v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 1786.54 v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 1786.54 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1786.54 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1786.54 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1786.54 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1786.54 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1786.54 v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 1786.54 v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 1786.54 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 1786.54 v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1786.54 v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 1786.54 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1786.54 v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 1786.54 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1786.54 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1786.54 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1786.54 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1786.54 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 1786.54 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1786.54 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 1786.54 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1786.54 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 1786.54 v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 1786.54 v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1786.54 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1786.54 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1786.54 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1786.54 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1786.54 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1786.54 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1786.54 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1786.54 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1786.54 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1786.54 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1786.54 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1786.54 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1786.54 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1786.54 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 1786.54 v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 1786.54 v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1786.54 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 1786.54 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1786.54 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1786.54 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1786.54 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 1786.54 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1786.54 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1786.54 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1786.54 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1786.54 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 1786.54 v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 1786.54 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 1786.54 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1786.54 v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 1786.54 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1786.54 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 1786.54 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1786.54 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1786.54 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1786.54 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 1786.54 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 1786.54 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1786.54 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 1786.54 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 1786.54 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 1786.54 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 1786.54 v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 1786.54 v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 1786.54 v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1786.54 v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 1786.54 v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 1786.54 v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 1786.54 v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 1786.54 v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 1786.54 v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 1786.54 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 1786.54 v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 1786.54 v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 1786.54 v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 1786.54 v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 1786.54 v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 1786.54 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 1786.54 v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 1786.54 v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 1786.54 v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1786.54 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1786.54 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 1786.54 v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 1786.54 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 1786.54 v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 1786.54 v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 1786.54 v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1786.54 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1786.54 v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 1786.54 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1786.54 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 1786.54 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 1786.54 v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 1786.54 v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 1786.54 v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 1786.54 v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 1786.54 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 1786.54 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1786.54 v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 1786.54 v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1786.54 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 1786.54 v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 1786.54 v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 1786.54 v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1786.54 v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 1786.54 v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 1786.54 v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 1786.54 v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 1786.54 v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 1786.54 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 1786.54 v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1786.54 v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 1786.54 v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 1786.54 v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 1786.54 v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 1786.54 v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 1786.54 v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 1786.54 v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1786.54 v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 1786.54 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 1786.54 v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 1786.54 v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1786.54 v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 1786.54 v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 1786.54 v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 1786.54 v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 1786.54 v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 1786.54 v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 1786.54 v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 1786.54 v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 1786.54 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 1786.54 v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 1786.54 v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 1786.54 v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 1786.54 v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 1786.54 v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 1786.54 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 1786.54 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1786.54 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 1786.54 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1786.54 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 1786.54 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 1786.54 v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 1786.54 v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 1786.54 v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 1786.54 v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 1786.54 v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 1786.54 v -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 1786.54 v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 1786.54 v -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 1786.54 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 1786.54 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 1786.54 v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 1786.54 v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 1786.54 v -x6089 -x6090 1786.54 c objective function=0 1786.54 c Total wall clock time (ms): 1786.293
OK 0
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/node38/watcher-44708-1149312730 -o ROOT/results/node38/solver-44708-1149312730 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node38/44708-1149312730/instance-44708-1149312730.opb 501126776 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.99 2/64 10960 /proc/meminfo: memFree=1591400/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=168 CPUtime=0 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 196939257 172032 23 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 8606500 0 0 4096 0 0 0 0 17 1 0 0 /proc/10960/statm: 42 23 18 14 0 2 0 [startup+10.0017 s] /proc/loadavg: 0.87 0.97 0.99 2/76 10973 /proc/meminfo: memFree=1437968/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=11.24 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 42615 0 1 0 1104 20 0 0 25 0 13 0 196939257 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071544346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 40175 1907 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=0.06 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 1499 0 0 0 6 0 0 0 16 0 13 0 196939261 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=0.06 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 1283 0 0 0 6 0 0 0 16 0 13 0 196939261 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 196939263 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196939270 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.71 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1003 0 0 0 71 0 0 0 16 0 13 0 196939270 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.95 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2277 0 0 0 94 1 0 0 16 0 13 0 196939270 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196939370 1753034752 40175 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.24 Current children cumulated vsize (Kb) 1711948 [startup+20.0086 s] /proc/loadavg: 0.89 0.97 0.99 2/76 10973 /proc/meminfo: memFree=1410768/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=21.37 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 51107 0 1 0 2113 24 0 0 25 0 13 0 196939257 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071490191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 46989 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=0.17 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 4762 0 0 0 15 2 0 0 16 0 13 0 196939261 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=0.18 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 4126 0 0 0 16 2 0 0 16 0 13 0 196939261 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 196939263 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.73 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1007 0 0 0 73 0 0 0 16 0 13 0 196939270 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.96 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2279 0 0 0 95 1 0 0 17 0 13 0 196939270 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196939370 1753034752 46989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.37 Current children cumulated vsize (Kb) 1711948 [startup+30.0156 s] /proc/loadavg: 0.91 0.97 0.99 2/76 10973 /proc/meminfo: memFree=1404944/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=31.39 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 52696 0 1 0 3114 25 0 0 25 0 13 0 196939257 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071553313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 48439 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=0.2 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 5572 0 0 0 18 2 0 0 16 0 13 0 196939261 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=0.2 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 4901 0 0 0 18 2 0 0 16 0 13 0 196939261 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196939263 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.73 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1007 0 0 0 73 0 0 0 17 0 13 0 196939270 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.96 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2279 0 0 0 95 1 0 0 17 0 13 0 196939270 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196939370 1753034752 48439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.39 Current children cumulated vsize (Kb) 1711948 [startup+40.0225 s] /proc/loadavg: 0.92 0.97 0.99 2/76 10973 /proc/meminfo: memFree=1402320/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=41.42 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 53769 0 1 0 4116 26 0 0 25 0 13 0 196939257 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071426974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 49049 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=0.23 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 6138 0 0 0 20 3 0 0 16 0 13 0 196939261 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=0.22 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 5402 0 0 0 20 2 0 0 17 0 13 0 196939261 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196939263 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.73 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1007 0 0 0 73 0 0 0 17 0 13 0 196939270 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.96 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2279 0 0 0 95 1 0 0 17 0 13 0 196939270 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196939370 1753034752 49049 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.42 Current children cumulated vsize (Kb) 1711948 [startup+50.0295 s] /proc/loadavg: 0.93 0.97 0.99 2/76 10973 /proc/meminfo: memFree=1403920/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=51.45 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 54574 0 1 0 5119 26 0 0 25 0 13 0 196939257 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071490191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 48650 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=0.26 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 6543 0 0 0 23 3 0 0 16 0 13 0 196939261 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=0.25 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 5796 0 0 0 23 2 0 0 16 0 13 0 196939261 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196939263 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.73 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1007 0 0 0 73 0 0 0 17 0 13 0 196939270 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.96 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2279 0 0 0 95 1 0 0 17 0 13 0 196939270 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196939370 1753034752 48650 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.45 Current children cumulated vsize (Kb) 1711948 [startup+60.0364 s] /proc/loadavg: 1.02 0.99 0.99 2/76 10973 /proc/meminfo: memFree=1405520/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=61.48 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 55270 0 1 0 6121 27 0 0 20 0 13 0 196939257 1753034752 48253 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071426762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 48253 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=0.28 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 6891 0 0 0 25 3 0 0 16 0 13 0 196939261 1753034752 48253 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=0.28 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 6140 0 0 0 25 3 0 0 17 0 13 0 196939261 1753034752 48253 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 196939263 1753034752 48253 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 48253 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 48253 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 48253 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.81 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1421 0 0 0 81 0 0 0 17 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.97 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2280 0 0 0 96 1 0 0 16 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196939370 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (Kb) 1711948 [startup+1783.41 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11170 /proc/meminfo: memFree=1260696/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=1797.12 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 155885 0 1 0 179615 97 0 0 25 0 13 0 196939257 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071490169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 84163 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=13.55 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 38242 0 0 0 1334 21 0 0 17 0 13 0 196939261 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=13.47 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 36811 0 0 0 1326 21 0 0 16 0 13 0 196939261 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0.29 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 143 0 0 0 14 15 0 0 16 0 13 0 196939263 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.81 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1421 0 0 0 81 0 0 0 17 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.97 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2280 0 0 0 96 1 0 0 16 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196939370 1753034752 84163 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (Kb) 1711948 [startup+1784.41 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11170 /proc/meminfo: memFree=1261016/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=1798.15 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 155929 0 1 0 179718 97 0 0 18 0 13 0 196939257 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071483181 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 84046 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=13.57 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 38278 0 0 0 1336 21 0 0 17 0 13 0 196939261 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=13.49 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 36818 0 0 0 1328 21 0 0 16 0 13 0 196939261 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0.29 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 143 0 0 0 14 15 0 0 15 0 13 0 196939263 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.81 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1421 0 0 0 81 0 0 0 17 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.97 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2280 0 0 0 96 1 0 0 16 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196939370 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.15 Current children cumulated vsize (Kb) 1711948 [startup+1785.42 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11170 /proc/meminfo: memFree=1260952/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=1799.15 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 155929 0 1 0 179818 97 0 0 25 0 13 0 196939257 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071492818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 84046 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=13.57 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 38278 0 0 0 1336 21 0 0 17 0 13 0 196939261 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=13.49 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 36818 0 0 0 1328 21 0 0 16 0 13 0 196939261 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0.29 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 143 0 0 0 14 15 0 0 16 0 13 0 196939263 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.81 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1421 0 0 0 81 0 0 0 17 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.97 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2280 0 0 0 96 1 0 0 16 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196939370 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.15 Current children cumulated vsize (Kb) 1711948 [startup+1786.43 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11170 /proc/meminfo: memFree=1260952/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=1800.16 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 155929 0 1 0 179919 97 0 0 25 0 13 0 196939257 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071493533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 84046 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=13.57 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 38278 0 0 0 1336 21 0 0 17 0 13 0 196939261 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=13.49 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 36818 0 0 0 1328 21 0 0 16 0 13 0 196939261 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0.29 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 143 0 0 0 14 15 0 0 16 0 13 0 196939263 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.81 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1421 0 0 0 81 0 0 0 17 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.97 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2280 0 0 0 96 1 0 0 16 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196939370 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (Kb) 1711948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.43 s] /proc/loadavg: 1.00 1.00 1.00 2/76 11170 /proc/meminfo: memFree=1260952/2055920 swapFree=4181196/4192956 [pid=10960] ppid=10958 vsize=1711948 CPUtime=1800.16 /proc/10960/stat : 10960 (java) R 10958 10960 10914 0 -1 0 155929 0 1 0 179919 97 0 0 25 0 13 0 196939257 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071544687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10960/statm: 427987 84046 1910 14 0 414734 0 [pid=10960/tid=10961] ppid=10958 vsize=1711948 CPUtime=13.57 /proc/10960/task/10961/stat : 10961 (java) S 10958 10960 10914 0 -1 64 38278 0 0 0 1336 21 0 0 17 0 13 0 196939261 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10962] ppid=10958 vsize=1711948 CPUtime=13.49 /proc/10960/task/10962/stat : 10962 (java) S 10958 10960 10914 0 -1 64 36818 0 0 0 1328 21 0 0 16 0 13 0 196939261 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10963] ppid=10958 vsize=1711948 CPUtime=0.29 /proc/10960/task/10963/stat : 10963 (java) S 10958 10960 10914 0 -1 64 143 0 0 0 14 15 0 0 16 0 13 0 196939263 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10964] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10964/stat : 10964 (java) S 10958 10960 10914 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10965] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10965/stat : 10965 (java) S 10958 10960 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196939264 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10966] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10966/stat : 10966 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10967] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10967/stat : 10967 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10968] ppid=10958 vsize=1711948 CPUtime=0.81 /proc/10960/task/10968/stat : 10968 (java) S 10958 10960 10914 0 -1 64 1421 0 0 0 81 0 0 0 17 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10960/tid=10969] ppid=10958 vsize=1711948 CPUtime=0.97 /proc/10960/task/10969/stat : 10969 (java) S 10958 10960 10914 0 -1 64 2280 0 0 0 96 1 0 0 16 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10970] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10970/stat : 10970 (java) S 10958 10960 10914 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196939270 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10971] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10971/stat : 10971 (java) S 10958 10960 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196939271 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10960/tid=10973] ppid=10958 vsize=1711948 CPUtime=0 /proc/10960/task/10973/stat : 10973 (java) S 10958 10960 10914 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196939370 1753034752 84046 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (Kb) 1711948 Sending SIGTERM to -10960 Sleeping 2 seconds Child status: 143 Real time (s): 1786.64 CPU time (s): 1800.49 CPU user time (s): 1799.46 CPU system time (s): 1.02584 CPU usage (%): 100.775 Max. virtual memory (cumulated for all children) (Kb): 1711948
Begin job on node38 on Sat Jun 3 05:32:10 UTC 2006 FILE ID= 44708-1149312730 PBS_JOBID= 308107 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node38/44708-1149312730/instance-44708-1149312730.opb 501126776 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-44708-1149312730 -o ROOT/results/node38/solver-44708-1149312730 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node38/44708-1149312730/instance-44708-1149312730.opb 501126776 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= cfa0de6a5c077caf94404f012a430180 RANDOM SEED= 501126776 /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.267 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.267 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: 1591608 kB Buffers: 29304 kB Cached: 364712 kB SwapCached: 3512 kB Active: 57384 kB Inactive: 345384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1591608 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 216 kB Writeback: 0 kB Mapped: 14904 kB Slab: 47540 kB Committed_AS: 301628 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Sat Jun 3 06:01:56 UTC 2006