Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -7 | 1783.02 | 1783.46 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb |
MD5SUM | 2295cbab79cf702b6a93f1d0b8bae876 |
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.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -58 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 125982 |
Number of constraints which are clauses | 125982 |
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.53 c starting to Solve 1.53 c #variables read: 1534 - #constraints read: 125983 1.53 o 0 1.53 o 1 1.54 o 2 1.57 o 3 2.64 o 4 8.39 o 5 59.48 o 6 347.14 o 7 1783.19 c total time : 1783.03 s 1783.19 s SATISFIABLE 1783.19 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1783.19 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1783.19 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1783.19 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1783.19 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1783.19 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1783.19 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1783.19 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1783.19 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1783.19 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1783.19 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1783.19 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1783.19 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1783.19 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1783.19 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1783.19 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1783.19 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1783.19 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1783.19 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1783.19 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1783.19 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1783.19 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1783.19 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1783.19 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1783.19 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1783.19 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1783.19 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 1783.19 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1783.19 v -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 1783.19 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 1783.19 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 1783.19 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 1783.19 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 1783.19 v -x967 -x966 -x965 -x964 x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 1783.19 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 1783.19 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 1783.19 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 1783.19 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1783.19 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 1783.19 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 1783.19 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 1783.19 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 1783.19 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 1783.19 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1783.19 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 1783.19 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 1783.19 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 1783.19 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 1783.19 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 1783.19 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 1783.19 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 1783.19 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 1783.19 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 1783.19 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 1783.19 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 1783.19 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 1783.19 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 1783.19 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 1783.19 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 1783.19 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 1783.19 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 1783.19 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 1783.19 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 1783.19 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 1783.19 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 1783.19 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 1783.19 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 1783.19 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 1783.19 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 1783.19 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 1783.19 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 1783.19 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 1783.19 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 1783.19 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 1783.19 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.19 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.19 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.19 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.19 v -x2 -x1
OK -7
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/node49/watcher-38217-1149300238 -o ROOT/results/node49/solver-38217-1149300238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/38217-1149300238/instance-38217-1149300238.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.88 0.98 0.92 3/64 9418 /proc/meminfo: memFree=1722712/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=2328 CPUtime=0 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 140 0 0 0 0 0 0 0 18 0 1 0 195690947 2383872 123 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2519128 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 582 123 108 16 0 11 0 [startup+10.0026 s] /proc/loadavg: 0.90 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1646744/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=78272 CPUtime=9.99 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 19211 0 0 0 988 11 0 0 25 0 1 0 195690947 80150528 19150 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 19568 19150 205 16 0 19009 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 78272 [startup+20.0095 s] /proc/loadavg: 0.91 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1587288/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=138060 CPUtime=19.99 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 34090 0 0 0 1981 18 0 0 25 0 1 0 195690947 141373440 34029 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 34515 34029 205 16 0 33956 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 138060 [startup+30.0153 s] /proc/loadavg: 0.93 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1530840/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=194684 CPUtime=29.99 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 48196 0 0 0 2974 25 0 0 25 0 1 0 195690947 199356416 48135 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 48671 48135 205 16 0 48112 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 194684 [startup+40.0211 s] /proc/loadavg: 0.94 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1480664/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=245512 CPUtime=40 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 60725 0 0 0 3968 32 0 0 25 0 1 0 195690947 251404288 60664 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 61378 60664 205 16 0 60819 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 245512 [startup+50.027 s] /proc/loadavg: 0.95 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1449176/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=277452 CPUtime=50.01 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 68593 0 0 0 4965 36 0 0 25 0 1 0 195690947 284110848 68532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557231 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 69363 68532 205 16 0 68804 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 277452 [startup+60.0328 s] /proc/loadavg: 0.95 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1407320/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=319412 CPUtime=60 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 79029 0 0 0 5958 42 0 0 25 0 1 0 195690947 327077888 78968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2954189 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 79853 78968 205 16 0 79294 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 319412 [startup+70.0386 s] /proc/loadavg: 0.96 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1360536/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=366032 CPUtime=70.01 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 90696 0 0 0 6953 48 0 0 25 0 1 0 195690947 374816768 90635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 91508 90635 205 16 0 90949 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 366032 [startup+80.0445 s] /proc/loadavg: 0.97 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1330648/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=395808 CPUtime=80.01 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 98149 0 0 0 7949 52 0 0 25 0 1 0 195690947 405307392 98088 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 98952 98088 205 16 0 98393 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 395808 [startup+90.0493 s] /proc/loadavg: 0.97 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1280472/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=446152 CPUtime=90.02 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 110680 0 0 0 8944 58 0 0 25 0 1 0 195690947 456859648 110619 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2954189 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 111538 110619 206 16 0 110979 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 446152 [startup+100.055 s] /proc/loadavg: 0.97 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1238680/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=488120 CPUtime=100.02 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 121103 0 0 0 9939 63 0 0 25 0 1 0 195690947 499834880 121042 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559516 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 122030 121042 206 16 0 121471 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 488120 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1187480/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=539652 CPUtime=110.02 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 133877 0 0 0 10932 70 0 0 25 0 1 0 195690947 552603648 133816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 134913 133816 206 16 0 134354 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 539652 [startup+120.067 s] /proc/loadavg: 0.98 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1154200/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=572856 CPUtime=120.02 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 142183 0 0 0 11927 75 0 0 25 0 1 0 195690947 586604544 142122 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 143214 142122 206 16 0 142655 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 572856 [startup+130.073 s] /proc/loadavg: 0.98 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1138328/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=588648 CPUtime=130.03 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 146146 0 0 0 12925 78 0 0 25 0 1 0 195690947 602775552 146085 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 147162 146085 206 16 0 146603 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 588648 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1112792/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=614172 CPUtime=140.04 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 152515 0 0 0 13923 81 0 0 25 0 1 0 195690947 628912128 152454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 153543 152454 206 16 0 152984 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 614172 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1068952/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=658036 CPUtime=150.04 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 163473 0 0 0 14918 86 0 0 25 0 1 0 195690947 673828864 163380 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 164509 163380 206 16 0 163950 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 658036 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.92 2/64 9418 /proc/meminfo: memFree=1022104/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=704740 CPUtime=160.04 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 175203 0 0 0 15912 92 0 0 25 0 1 0 195690947 721653760 175078 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517612 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 176185 175078 206 16 0 175626 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 704740 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.92 2/64 9418 /proc/meminfo: memFree=974936/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=751824 CPUtime=170.04 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 186978 0 0 0 16907 97 0 0 25 0 1 0 195690947 769867776 186853 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 187956 186853 206 16 0 187397 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 751824 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.92 2/64 9418 /proc/meminfo: memFree=952216/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=774436 CPUtime=180.05 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 192644 0 0 0 17905 100 0 0 25 0 1 0 195690947 793022464 192519 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 193609 192519 206 16 0 193050 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 774436 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.92 2/64 9418 /proc/meminfo: memFree=933024/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=793516 CPUtime=190.05 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 197433 0 0 0 18902 103 0 0 25 0 1 0 195690947 812560384 197308 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 198379 197308 206 16 0 197820 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 793516 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.92 2/64 9418 /proc/meminfo: memFree=911264/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=815752 CPUtime=200.06 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 202860 0 0 0 19900 106 0 0 25 0 1 0 195690947 835330048 202735 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559537 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 203938 202735 206 16 0 203379 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 815752 [startup+210.119 s] /proc/loadavg: 0.99 0.98 0.92 2/64 9418 /proc/meminfo: memFree=890272/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1590.53 Current children cumulated vsize (Kb) 1626616 [startup+1600.92 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1600.53 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 159797 256 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516706 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1600.53 Current children cumulated vsize (Kb) 1626616 [startup+1610.93 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1610.53 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 160797 256 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1610.53 Current children cumulated vsize (Kb) 1626616 [startup+1620.93 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1620.54 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 161797 257 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1620.54 Current children cumulated vsize (Kb) 1626616 [startup+1630.94 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1630.55 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 162797 258 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1630.55 Current children cumulated vsize (Kb) 1626616 [startup+1640.94 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1640.54 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 163796 258 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1640.54 Current children cumulated vsize (Kb) 1626616 [startup+1650.95 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1650.55 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 164796 259 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1650.55 Current children cumulated vsize (Kb) 1626616 [startup+1660.96 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1660.55 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 165796 259 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1660.55 Current children cumulated vsize (Kb) 1626616 [startup+1670.96 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1670.56 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 166796 260 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1670.56 Current children cumulated vsize (Kb) 1626616 [startup+1680.97 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1680.56 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 167796 260 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1680.56 Current children cumulated vsize (Kb) 1626616 [startup+1690.97 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1690.56 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 168795 261 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1690.56 Current children cumulated vsize (Kb) 1626616 [startup+1700.98 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1700.57 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 169795 262 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1700.57 Current children cumulated vsize (Kb) 1626616 [startup+1710.99 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1710.57 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 170795 262 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1710.57 Current children cumulated vsize (Kb) 1626616 [startup+1720.99 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1720.58 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 171795 263 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1720.58 Current children cumulated vsize (Kb) 1626616 [startup+1731 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1730.58 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 172795 263 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 1626616 [startup+1741 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111392/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1740.58 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 173795 263 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1740.58 Current children cumulated vsize (Kb) 1626616 [startup+1751.01 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111392/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1750.58 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 174795 263 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1750.58 Current children cumulated vsize (Kb) 1626616 [startup+1761.02 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111392/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1760.59 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 175795 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 1626616 [startup+1771.02 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9418 /proc/meminfo: memFree=111392/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1770.59 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 176795 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 1626616 [startup+1781.03 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9420 /proc/meminfo: memFree=111200/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1780.6 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 177796 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 1626616 [startup+1782.03 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9420 /proc/meminfo: memFree=111200/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1781.6 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 177896 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 1626616 [startup+1783.04 s] /proc/loadavg: 1.00 0.99 0.93 2/64 9420 /proc/meminfo: memFree=111200/2055920 swapFree=4181416/4192956 [pid=9418] ppid=9416 vsize=1626616 CPUtime=1782.6 /proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 177996 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9418/statm: 406654 402275 206 16 0 406095 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 1626616 Child status: 10 Real time (s): 1783.46 CPU time (s): 1783.02 CPU user time (s): 1780.12 CPU system time (s): 2.89756 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (Kb): 1626616
Begin job on node49 on Sat Jun 3 02:03:58 UTC 2006 FILE ID= 38217-1149300238 PBS_JOBID= 307337 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-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/38217-1149300238/instance-38217-1149300238.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-38217-1149300238 -o ROOT/results/node49/solver-38217-1149300238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/38217-1149300238/instance-38217-1149300238.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876 RANDOM SEED= 371198075 /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.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 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: 1722920 kB Buffers: 19716 kB Cached: 251720 kB SwapCached: 3284 kB Active: 52368 kB Inactive: 227868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1722920 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14908 kB Slab: 38712 kB Committed_AS: 298592 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sat Jun 3 02:33:42 UTC 2006