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