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