Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -8 | 1782.92 | 1783.4 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb |
MD5SUM | f7a936a02ddf18c17dc27b7b53733ab1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126163 |
Number of constraints which are clauses | 126163 |
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 | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 1.42 c starting to Solve 1.42 c #variables read: 1534 - #constraints read: 126164 1.42 o 0 1.42 o 1 1.43 o 2 2.25 o 3 4.39 o 4 14.33 o 5 43.75 o 6 147.30 o 7 729.45 o 8 1783.25 c total time : 1783.05 s 1783.25 s SATISFIABLE 1783.25 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1783.25 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1783.25 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1783.25 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1783.25 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1783.25 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1783.25 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1783.25 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1783.25 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1783.25 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1783.25 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1783.25 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1783.25 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1783.25 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1783.25 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1783.25 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1783.25 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1783.25 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1783.25 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1783.25 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1783.25 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1783.25 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1783.25 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1783.25 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1783.25 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1783.25 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1783.25 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 1783.25 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1783.25 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 1783.25 v -x1041 -x1040 x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 1783.25 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 1783.25 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 1783.25 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 1783.25 v -x967 x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 1783.25 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 1783.25 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 1783.25 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 1783.25 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1783.25 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 1783.25 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 1783.25 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 1783.25 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 1783.25 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 1783.25 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1783.25 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 1783.25 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 1783.25 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 1783.25 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 1783.25 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 1783.25 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 1783.25 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 1783.25 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 1783.25 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 1783.25 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 1783.25 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 1783.25 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 1783.25 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 1783.25 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 1783.25 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 1783.25 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 1783.25 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 1783.25 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 1783.25 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 1783.25 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 1783.25 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 1783.25 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 1783.25 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 1783.25 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 1783.25 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 1783.25 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 1783.25 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 1783.25 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 1783.25 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 1783.25 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 1783.25 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 1783.25 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 1783.25 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 1783.25 v x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 1783.25 v -x2 -x1
OK -8
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/node79/watcher-37066-1149300147 -o ROOT/results/node79/solver-37066-1149300147 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node79/37066-1149300147/instance-37066-1149300147.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.03 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1346736/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=2336 CPUtime=0 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 83 0 0 0 0 0 0 0 18 0 1 0 195653338 2392064 68 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2567169 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 584 86 72 16 0 11 0 [startup+10.0028 s] /proc/loadavg: 1.03 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1327360/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=21808 CPUtime=9.98 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 5138 0 0 0 996 2 0 0 25 0 1 0 195653338 22331392 5069 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 5452 5069 206 16 0 4892 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 21808 [startup+20.0089 s] /proc/loadavg: 1.02 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1319040/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=30188 CPUtime=19.99 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 7231 0 0 0 1995 4 0 0 25 0 1 0 195653338 30912512 7162 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523652 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 7547 7162 206 16 0 6987 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 30188 [startup+30.015 s] /proc/loadavg: 1.02 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1308672/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=40736 CPUtime=29.99 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 9855 0 0 0 2993 6 0 0 25 0 1 0 195653338 41713664 9786 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 10184 9786 206 16 0 9624 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 40736 [startup+40.0211 s] /proc/loadavg: 1.02 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1301824/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=47712 CPUtime=40 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 11597 0 0 0 3993 7 0 0 25 0 1 0 195653338 48857088 11528 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 11928 11528 206 16 0 11368 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 47712 [startup+50.0272 s] /proc/loadavg: 1.01 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1292032/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=57392 CPUtime=50 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 14027 0 0 0 4992 8 0 0 25 0 1 0 195653338 58769408 13958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522748 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 14348 13958 206 16 0 13788 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 57392 [startup+60.0332 s] /proc/loadavg: 1.01 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1277504/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=71984 CPUtime=60 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 17665 0 0 0 5991 9 0 0 25 0 1 0 195653338 73711616 17596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 17996 17596 206 16 0 17436 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 71984 [startup+70.0393 s] /proc/loadavg: 1.01 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1255168/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=94348 CPUtime=70.01 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 23233 0 0 0 6990 11 0 0 25 0 1 0 195653338 96612352 23164 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 23587 23164 206 16 0 23027 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 94348 [startup+80.0454 s] /proc/loadavg: 1.01 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1247936/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=101684 CPUtime=80.01 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 25043 0 0 0 7990 11 0 0 25 0 1 0 195653338 104124416 24974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033077 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 25421 24974 206 16 0 24861 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 101684 [startup+90.0505 s] /proc/loadavg: 1.01 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1241024/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=108460 CPUtime=90.01 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 26755 0 0 0 8989 12 0 0 25 0 1 0 195653338 111063040 26686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 27115 26686 206 16 0 26555 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 108460 [startup+100.056 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1234176/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=115312 CPUtime=100.01 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 28468 0 0 0 9988 13 0 0 25 0 1 0 195653338 118079488 28399 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556363 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 28828 28399 206 16 0 28268 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 115312 [startup+110.062 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1226624/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=122960 CPUtime=110.02 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 30354 0 0 0 10988 14 0 0 25 0 1 0 195653338 125911040 30285 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 30740 30285 206 16 0 30180 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 122960 [startup+120.068 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1219328/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=130208 CPUtime=120.02 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 32169 0 0 0 11987 15 0 0 25 0 1 0 195653338 133332992 32100 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2714737 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 32552 32100 206 16 0 31992 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 130208 [startup+130.074 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1204736/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=144972 CPUtime=130.02 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 35803 0 0 0 12986 16 0 0 25 0 1 0 195653338 148451328 35734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 36243 35734 206 16 0 35683 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 144972 [startup+140.08 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1190720/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=159328 CPUtime=140.03 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 39311 0 0 0 13985 18 0 0 25 0 1 0 195653338 163151872 39242 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 39832 39242 206 16 0 39272 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 159328 [startup+150.086 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1175488/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=174772 CPUtime=150.03 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 43103 0 0 0 14984 19 0 0 25 0 1 0 195653338 178966528 43034 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519068 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 43693 43034 206 16 0 43133 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 174772 [startup+160.091 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1165248/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=184996 CPUtime=160.03 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 45667 0 0 0 15983 20 0 0 25 0 1 0 195653338 189435904 45598 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 46249 45598 206 16 0 45689 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 184996 [startup+170.097 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1154816/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=195448 CPUtime=170.04 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 48272 0 0 0 16982 22 0 0 25 0 1 0 195653338 200138752 48203 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 48862 48203 206 16 0 48302 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 195448 [startup+180.103 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1145152/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=205040 CPUtime=180.04 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 50682 0 0 0 17981 23 0 0 25 0 1 0 195653338 209960960 50613 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 51260 50613 206 16 0 50700 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 205040 [startup+190.109 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1133632/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=216528 CPUtime=190.04 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 53554 0 0 0 18980 24 0 0 25 0 1 0 195653338 221724672 53485 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 54132 53485 206 16 0 53572 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 216528 [startup+200.115 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1125504/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=224692 CPUtime=200.05 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 55583 0 0 0 19980 25 0 0 25 0 1 0 195653338 230084608 55514 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523674 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 56173 55514 206 16 0 55613 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 224692 [startup+210.121 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=1117440/2055892 swapFree=4085424/4096564 ################ # More data... # ################ /proc/32592/statm: 218847 217357 206 16 0 218287 0 Current children cumulated CPU time (s) 1590.51 Current children cumulated vsize (Kb) 875388 [startup+1600.94 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=473216/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=879096 CPUtime=1600.51 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 218414 0 0 0 159948 103 0 0 25 0 1 0 195653338 900194304 218281 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 219774 218281 206 16 0 219214 0 Current children cumulated CPU time (s) 1600.51 Current children cumulated vsize (Kb) 879096 [startup+1610.94 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=468992/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=883208 CPUtime=1610.51 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 219462 0 0 0 160948 103 0 0 25 0 1 0 195653338 904404992 219329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 220802 219329 206 16 0 220242 0 Current children cumulated CPU time (s) 1610.51 Current children cumulated vsize (Kb) 883208 [startup+1620.95 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=465856/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=886472 CPUtime=1620.51 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 220248 0 0 0 161947 104 0 0 25 0 1 0 195653338 907747328 220115 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524544 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 221618 220115 206 16 0 221058 0 Current children cumulated CPU time (s) 1620.51 Current children cumulated vsize (Kb) 886472 [startup+1630.95 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=462784/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=889404 CPUtime=1630.51 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 221002 0 0 0 162947 104 0 0 25 0 1 0 195653338 910749696 220869 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 222351 220869 206 16 0 221791 0 Current children cumulated CPU time (s) 1630.51 Current children cumulated vsize (Kb) 889404 [startup+1640.96 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=457920/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=894264 CPUtime=1640.52 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 222217 0 0 0 163947 105 0 0 25 0 1 0 195653338 915726336 222084 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3031823 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 223566 222084 206 16 0 223006 0 Current children cumulated CPU time (s) 1640.52 Current children cumulated vsize (Kb) 894264 [startup+1650.96 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=454208/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=897960 CPUtime=1650.52 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 223151 0 0 0 164947 105 0 0 25 0 1 0 195653338 919511040 223018 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3031823 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 224490 223018 206 16 0 223930 0 Current children cumulated CPU time (s) 1650.52 Current children cumulated vsize (Kb) 897960 [startup+1660.97 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=450496/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=901616 CPUtime=1660.52 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 224066 0 0 0 165946 106 0 0 25 0 1 0 195653338 923254784 223933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3031823 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 225404 223933 206 16 0 224844 0 Current children cumulated CPU time (s) 1660.52 Current children cumulated vsize (Kb) 901616 [startup+1670.98 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=445824/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=906404 CPUtime=1670.53 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 225233 0 0 0 166946 107 0 0 25 0 1 0 195653338 928157696 225100 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 226601 225100 206 16 0 226041 0 Current children cumulated CPU time (s) 1670.53 Current children cumulated vsize (Kb) 906404 [startup+1680.98 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=442560/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=909720 CPUtime=1680.53 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 226060 0 0 0 167946 107 0 0 25 0 1 0 195653338 931553280 225927 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 227430 225927 206 16 0 226870 0 Current children cumulated CPU time (s) 1680.53 Current children cumulated vsize (Kb) 909720 [startup+1690.99 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=438272/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=913932 CPUtime=1690.53 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 227130 0 0 0 168945 108 0 0 25 0 1 0 195653338 935866368 226997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 228483 226997 206 16 0 227923 0 Current children cumulated CPU time (s) 1690.53 Current children cumulated vsize (Kb) 913932 [startup+1700.99 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=435840/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=916576 CPUtime=1700.54 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 227734 0 0 0 169946 108 0 0 25 0 1 0 195653338 938573824 227601 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 229144 227601 206 16 0 228584 0 Current children cumulated CPU time (s) 1700.54 Current children cumulated vsize (Kb) 916576 [startup+1711 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=432576/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=919868 CPUtime=1710.54 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 228546 0 0 0 170946 108 0 0 25 0 1 0 195653338 941944832 228413 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532856 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 229967 228413 206 16 0 229407 0 Current children cumulated CPU time (s) 1710.54 Current children cumulated vsize (Kb) 919868 [startup+1721.01 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=428224/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=924220 CPUtime=1720.54 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 229622 0 0 0 171945 109 0 0 25 0 1 0 195653338 946401280 229489 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 231055 229489 206 16 0 230495 0 Current children cumulated CPU time (s) 1720.54 Current children cumulated vsize (Kb) 924220 [startup+1731.01 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=425408/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=927036 CPUtime=1730.55 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 230337 0 0 0 172946 109 0 0 25 0 1 0 195653338 949284864 230204 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 231759 230204 206 16 0 231199 0 Current children cumulated CPU time (s) 1730.55 Current children cumulated vsize (Kb) 927036 [startup+1741.02 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=420480/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=931848 CPUtime=1740.55 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 231562 0 0 0 173945 110 0 0 25 0 1 0 195653338 954212352 231429 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 232962 231429 206 16 0 232402 0 Current children cumulated CPU time (s) 1740.55 Current children cumulated vsize (Kb) 931848 [startup+1751.02 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=417856/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=934536 CPUtime=1750.55 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 232210 0 0 0 174945 110 0 0 25 0 1 0 195653338 956964864 232077 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 233634 232077 206 16 0 233074 0 Current children cumulated CPU time (s) 1750.55 Current children cumulated vsize (Kb) 934536 [startup+1761.03 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=415232/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=937036 CPUtime=1760.55 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 232872 0 0 0 175945 110 0 0 25 0 1 0 195653338 959524864 232739 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 234259 232739 206 16 0 233699 0 Current children cumulated CPU time (s) 1760.55 Current children cumulated vsize (Kb) 937036 [startup+1771.03 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=411584/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=940716 CPUtime=1770.56 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 233776 0 0 0 176945 111 0 0 25 0 1 0 195653338 963293184 233643 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 235179 233643 206 16 0 234619 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 940716 [startup+1781.04 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=409600/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=942636 CPUtime=1780.57 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 234273 0 0 0 177946 111 0 0 25 0 1 0 195653338 965259264 234140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 235659 234140 206 16 0 235099 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 942636 [startup+1782.05 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=408768/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=943500 CPUtime=1781.57 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 234473 0 0 0 178046 111 0 0 25 0 1 0 195653338 966144000 234340 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527883 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 235875 234340 206 16 0 235315 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 943500 [startup+1783.05 s] /proc/loadavg: 1.00 0.99 0.91 2/67 32592 /proc/meminfo: memFree=407936/2055892 swapFree=4085424/4096564 [pid=32592] ppid=32590 vsize=944232 CPUtime=1782.57 /proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 234681 0 0 0 178146 111 0 0 25 0 1 0 195653338 966893568 234548 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/32592/statm: 236058 234548 206 16 0 235498 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 944232 Child status: 10 Real time (s): 1783.4 CPU time (s): 1782.92 CPU user time (s): 1781.67 CPU system time (s): 1.24981 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (Kb): 944232
Begin job on node79 on Sat Jun 3 02:02:27 UTC 2006 FILE ID= 37066-1149300147 PBS_JOBID= 307316 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node79/37066-1149300147/instance-37066-1149300147.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node79/watcher-37066-1149300147 -o ROOT/results/node79/solver-37066-1149300147 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node79/37066-1149300147/instance-37066-1149300147.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1 RANDOM SEED= 455379592 /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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.18 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1346944 kB Buffers: 37636 kB Cached: 599156 kB SwapCached: 2612 kB Active: 108392 kB Inactive: 537372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1346944 kB SwapTotal: 4096564 kB SwapFree: 4085424 kB Dirty: 4232 kB Writeback: 0 kB Mapped: 16684 kB Slab: 49784 kB Committed_AS: 287716 kB PageTables: 1304 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node79 on Sat Jun 3 02:32:11 UTC 2006