Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT | 269.464 | 258.569 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb |
MD5SUM | 79ed7fb7a57e7e2ac59cfc8508d281c9 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 13.5289 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4500 |
Total number of constraints | 2559501 |
Number of constraints which are clauses | 2554450 |
Number of constraints which are cardinality constraints (but not clauses) | 101 |
Number of constraints which are nor clauses,nor cardinality constraints | 4950 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 420 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2049 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb 0.21 c reading problem ... 249.39 c ... done. Time 249.191 ms. 249.40 c #vars 4500 249.40 c #constraints 2559602 258.41 c starts : 3 258.41 c conflicts : 353 258.41 c decisions : 18813 258.41 c propagations : 32893 258.41 c inspects : 712650 258.41 c learnt literals : 0 258.41 c learnt binary clauses : 0 258.41 c learnt ternary clauses : 0 258.41 c learnt clauses : 353 258.41 c root simplifications : 0 258.41 c removed literals (reason simplification) : 0 258.41 c reason swapping (by a shorter reason) : 0 258.41 c Calls to reduceDB : 0 258.41 c speed (decisions/second) : 2090.3333333333335 258.41 c non guided choices 7927 258.41 s SATISFIABLE 258.44 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 258.44 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 258.44 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 258.44 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 258.44 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 258.44 v -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 258.44 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 258.44 v -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 258.44 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 258.44 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 258.44 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 258.44 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 258.44 v -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 258.44 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 258.44 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 258.44 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 258.44 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 258.44 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 258.44 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 258.44 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 258.44 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 258.44 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 258.44 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 258.44 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 258.44 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 258.44 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 258.44 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 258.44 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 258.44 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 258.44 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 258.44 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 258.44 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 258.44 v -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 258.44 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 258.44 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 258.44 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 258.44 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 258.44 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 258.44 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 258.44 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 258.44 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 258.44 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 258.44 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 258.44 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 258.44 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 258.44 v x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 258.44 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 258.44 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 258.44 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 258.44 v -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 258.44 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 258.44 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 258.44 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 258.44 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 258.44 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 258.44 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 258.44 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 258.44 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 258.44 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 258.44 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 258.44 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 258.44 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 258.44 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 258.44 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 258.44 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 258.44 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 258.44 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 258.44 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 258.44 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 258.44 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 258.44 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 258.44 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 258.44 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 258.44 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 258.44 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 258.44 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 258.44 v -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 258.44 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 258.44 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 258.44 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 258.44 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 258.44 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 258.44 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 258.44 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 258.44 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 258.44 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 258.44 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 258.44 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 258.44 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 258.44 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 258.44 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 258.44 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 258.44 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 258.44 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 258.44 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 258.44 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 258.44 v x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 258.44 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 258.44 v -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 258.44 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 258.44 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 258.44 v -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 258.44 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 258.44 v -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 258.44 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 258.44 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 258.44 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 258.44 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 258.44 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 258.44 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 258.44 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 258.44 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 258.44 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 258.44 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 258.44 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 258.44 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 258.44 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 258.44 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 258.44 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 258.44 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 258.44 v -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 258.44 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 258.44 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 258.44 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 258.44 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 258.44 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 258.44 v -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 258.44 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 258.44 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 258.44 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 258.44 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 258.44 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 258.44 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 258.44 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 258.44 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 258.44 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 258.44 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 258.44 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 258.44 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 258.44 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 258.44 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 258.44 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 258.44 v -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 258.44 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 258.44 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 258.44 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 258.44 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 258.44 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 258.44 v -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 258.44 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 258.44 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 258.44 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 258.44 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 258.44 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 258.44 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 258.44 v -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 258.44 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 258.44 v -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 258.44 v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 258.44 v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 x2927 -x2928 258.44 v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 258.44 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 258.44 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 258.44 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 258.44 v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 258.44 v -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 258.44 v -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 258.44 v -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 258.44 v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 258.44 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 258.44 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 258.44 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 258.44 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 258.44 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 258.44 v -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 258.44 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 258.44 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 258.44 v -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 258.44 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 258.44 v -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 258.44 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 x3285 -x3286 258.44 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 258.44 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 258.44 v -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 258.44 v -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 258.44 v -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 258.44 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 258.44 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 258.44 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 258.44 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 258.44 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 258.44 v -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 258.44 v -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 258.44 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 258.44 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 258.44 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 258.44 v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 258.44 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 -x3574 -x3575 -x3576 -x3577 258.44 v -x3578 x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 258.44 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 258.44 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 258.44 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 258.44 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 258.44 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 258.44 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 258.44 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 258.44 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 258.44 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 258.44 v -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 258.44 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 258.44 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 258.44 v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 258.44 v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 258.44 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 258.44 v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 258.44 v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 258.44 v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 258.44 v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 258.44 v -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 258.44 v -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 258.44 v -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 258.44 v -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 258.44 v -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 258.44 v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 258.44 v -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 x4034 -x4035 -x4036 258.44 v -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 258.44 v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 258.44 v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 258.44 v x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 258.44 v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 258.44 v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 258.44 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 258.44 v -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 258.44 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 258.44 v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 258.44 v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 258.44 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 258.44 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 258.44 v -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 258.44 v -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 258.44 v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 258.44 v -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 258.44 v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 258.44 v -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 258.44 v -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 258.44 v -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 258.44 v -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 x4405 -x4406 -x4407 x4408 x4409 -x4410 x4411 258.44 v -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 258.44 v -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 258.44 v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 258.44 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 258.44 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 258.44 v -x4497 -x4498 -x4499 -x4500 258.44 c Total wall clock time (ms): 258.24
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-43640-1149226901 -o ROOT/results/node39/solver-43640-1149226901 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb 387171460 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.51 0.77 0.84 2/64 642 /proc/meminfo: memFree=1071464/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1784 CPUtime=0 /proc/642/stat : 642 (java) D 640 642 597 0 -1 0 166 0 0 0 0 0 0 0 19 0 1 0 188358671 1826816 137 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/642/statm: 446 137 102 14 0 91 0 [startup+10.0017 s] /proc/loadavg: 0.59 0.78 0.84 2/75 653 /proc/meminfo: memFree=882448/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709664 CPUtime=10.6 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 49907 0 1 0 1035 25 0 0 23 0 12 0 188358671 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427416 49006 1876 14 0 414163 0 [pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.15 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 2457 0 0 0 14 1 0 0 16 0 12 0 188358675 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.13 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 2199 0 0 0 13 0 0 0 15 0 12 0 188358675 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 16 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.6 Current children cumulated vsize (Kb) 1709664 [startup+20.0097 s] /proc/loadavg: 0.65 0.78 0.84 2/75 653 /proc/meminfo: memFree=870800/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709664 CPUtime=20.74 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 52925 0 1 0 2046 28 0 0 20 0 12 0 188358671 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071345567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427416 51926 1876 14 0 414163 0 [pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.29 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 3974 0 0 0 27 2 0 0 15 0 12 0 188358675 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.28 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 3674 0 0 0 27 1 0 0 16 0 12 0 188358675 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 16 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.74 Current children cumulated vsize (Kb) 1709664 [startup+30.0176 s] /proc/loadavg: 0.70 0.79 0.84 2/75 653 /proc/meminfo: memFree=862416/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709664 CPUtime=30.87 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 55139 0 1 0 3057 30 0 0 25 0 12 0 188358671 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071343590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427416 54033 1876 14 0 414163 0 [pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.42 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 4961 0 0 0 40 2 0 0 16 0 12 0 188358675 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.43 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 4878 0 0 0 41 2 0 0 16 0 12 0 188358675 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 16 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.87 Current children cumulated vsize (Kb) 1709664 [startup+40.0245 s] /proc/loadavg: 0.75 0.80 0.84 2/75 653 /proc/meminfo: memFree=849040/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709664 CPUtime=41.04 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 58629 0 1 0 4071 33 0 0 25 0 12 0 188358671 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071343600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427416 57372 1876 14 0 414163 0 [pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.59 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 6397 0 0 0 56 3 0 0 16 0 12 0 188358675 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.61 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 6908 0 0 0 58 3 0 0 16 0 12 0 188358675 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0.01 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 1 0 0 0 15 0 12 0 188358678 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 16 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.04 Current children cumulated vsize (Kb) 1709664 [startup+50.0315 s] /proc/loadavg: 0.79 0.80 0.84 2/75 653 /proc/meminfo: memFree=840848/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709664 CPUtime=51.24 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 60804 0 1 0 5087 37 0 0 25 0 12 0 188358671 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071341978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427416 59429 1876 14 0 414163 0 [pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.8 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 7468 0 0 0 76 4 0 0 15 0 12 0 188358675 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.82 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 7988 0 0 0 78 4 0 0 16 0 12 0 188358675 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0.02 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 1 1 0 0 16 0 12 0 188358678 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 17 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.24 Current children cumulated vsize (Kb) 1709664 [startup+60.0384 s] /proc/loadavg: 0.82 0.81 0.84 2/75 653 /proc/meminfo: memFree=833744/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709536 CPUtime=61.45 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 62665 0 1 0 6104 41 0 0 25 0 12 0 188358671 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071333145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427384 61180 1876 14 0 414131 0 [pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=1.02 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 8420 0 0 0 95 7 0 0 15 0 12 0 188358675 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=1.03 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 8874 0 0 0 99 4 0 0 16 0 12 0 188358675 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.03 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 2 1 0 0 16 0 12 0 188358678 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.29 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 17 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 93730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 196.21 Current children cumulated vsize (Kb) 1709536 [startup+200.134 s] /proc/loadavg: 1.04 0.91 0.87 2/75 653 /proc/meminfo: memFree=695248/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709536 CPUtime=206.72 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 98306 0 1 0 20531 141 0 0 25 0 12 0 188358671 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071376599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427384 95730 1876 14 0 414131 0 [pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=6.36 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 30449 0 0 0 555 81 0 0 16 0 12 0 188358675 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=6.3 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 22168 0 0 0 617 13 0 0 17 0 12 0 188358675 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.08 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 5 3 0 0 16 0 12 0 188358678 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 206.72 Current children cumulated vsize (Kb) 1709536 [startup+210.141 s] /proc/loadavg: 1.03 0.91 0.87 2/75 653 /proc/meminfo: memFree=688464/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709536 CPUtime=217.24 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 100061 0 1 0 21570 154 0 0 25 0 12 0 188358671 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071350703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427384 97440 1876 14 0 414131 0 [pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=6.88 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 31506 0 0 0 596 92 0 0 16 0 12 0 188358675 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=6.83 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 22844 0 0 0 669 14 0 0 16 0 12 0 188358675 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.09 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 6 3 0 0 15 0 12 0 188358678 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 217.24 Current children cumulated vsize (Kb) 1709536 [startup+220.148 s] /proc/loadavg: 1.02 0.92 0.87 2/75 653 /proc/meminfo: memFree=681616/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709536 CPUtime=227.76 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 101811 0 1 0 22610 166 0 0 25 0 12 0 188358671 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071343520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427384 99145 1876 14 0 414131 0 [pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=7.4 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 32690 0 0 0 637 103 0 0 16 0 12 0 188358675 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=7.36 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 23388 0 0 0 722 14 0 0 15 0 12 0 188358675 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.09 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 6 3 0 0 16 0 12 0 188358678 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 227.76 Current children cumulated vsize (Kb) 1709536 [startup+230.154 s] /proc/loadavg: 1.02 0.92 0.88 2/75 653 /proc/meminfo: memFree=674704/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709536 CPUtime=238.29 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 103604 0 1 0 23650 179 0 0 25 0 12 0 188358671 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427384 100872 1876 14 0 414131 0 [pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=7.92 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 34127 0 0 0 678 114 0 0 16 0 12 0 188358675 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=7.89 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 23722 0 0 0 775 14 0 0 16 0 12 0 188358675 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.09 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 6 3 0 0 16 0 12 0 188358678 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 238.29 Current children cumulated vsize (Kb) 1709536 [startup+240.161 s] /proc/loadavg: 1.02 0.92 0.88 2/75 653 /proc/meminfo: memFree=667792/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1709536 CPUtime=248.83 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 105359 0 1 0 24690 193 0 0 19 0 12 0 188358671 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071350906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 427384 102580 1876 14 0 414131 0 [pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=8.45 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 35435 0 0 0 720 125 0 0 16 0 12 0 188358675 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=8.44 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 24147 0 0 0 828 16 0 0 16 0 12 0 188358675 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.11 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 7 4 0 0 15 0 12 0 188358678 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 248.83 Current children cumulated vsize (Kb) 1709536 [startup+250.168 s] /proc/loadavg: 1.09 0.94 0.88 2/76 654 /proc/meminfo: memFree=647752/2055920 swapFree=4180888/4192956 [pid=642] ppid=640 vsize=1714120 CPUtime=260.36 /proc/642/stat : 642 (java) R 640 642 597 0 -1 0 114428 0 1 0 25828 208 0 0 19 0 13 0 188358671 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071523508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/642/statm: 428530 107554 1906 14 0 415277 0 [pid=642/tid=643] ppid=640 vsize=1714120 CPUtime=8.96 /proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 37299 0 0 0 769 127 0 0 16 0 13 0 188358675 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=644] ppid=640 vsize=1714120 CPUtime=8.94 /proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 26420 0 0 0 867 27 0 0 16 0 13 0 188358675 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=645] ppid=640 vsize=1714120 CPUtime=0.11 /proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 7 4 0 0 16 0 13 0 188358678 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=646] ppid=640 vsize=1714120 CPUtime=0 /proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188358678 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=647] ppid=640 vsize=1714120 CPUtime=0 /proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188358678 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=648] ppid=640 vsize=1714120 CPUtime=0 /proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=649] ppid=640 vsize=1714120 CPUtime=0 /proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=650] ppid=640 vsize=1714120 CPUtime=1.21 /proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 4932 0 0 0 120 1 0 0 16 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=651] ppid=640 vsize=1714120 CPUtime=0.75 /proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 581 0 0 0 75 0 0 0 16 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=642/tid=652] ppid=640 vsize=1714120 CPUtime=0 /proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=653] ppid=640 vsize=1714120 CPUtime=0 /proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=642/tid=654] ppid=640 vsize=1714120 CPUtime=0 /proc/642/task/654/stat : 654 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 188383613 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 260.36 Current children cumulated vsize (Kb) 1714120 Child status: 10 Real time (s): 258.569 CPU time (s): 269.464 CPU user time (s): 267.282 CPU system time (s): 2.18167 CPU usage (%): 104.214 Max. virtual memory (cumulated for all children) (Kb): 1714120
Begin job on node39 on Fri Jun 2 05:41:52 UTC 2006 FILE ID= 43640-1149226901 PBS_JOBID= 295945 BENCH NAME= ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb 387171460 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-43640-1149226901 -o ROOT/results/node39/solver-43640-1149226901 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb 387171460 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 79ed7fb7a57e7e2ac59cfc8508d281c9 RANDOM SEED= 387171460 /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.213 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 : 5931.00 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.213 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: 1071352 kB Buffers: 44288 kB Cached: 864696 kB SwapCached: 4052 kB Active: 307356 kB Inactive: 610672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1071352 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 244 kB Writeback: 0 kB Mapped: 14820 kB Slab: 52548 kB Committed_AS: 216216 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Fri Jun 2 05:46:29 UTC 2006