Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -6 | 1782.85 | 1783.34 |
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.55 c starting to Solve 1.55 c #variables read: 1534 - #constraints read: 125983 1.55 o 0 1.55 o 1 1.56 o 2 2.57 o 3 11.50 o 4 15.30 o 5 470.09 o 6 1783.22 c total time : 1783 s 1783.22 s SATISFIABLE 1783.22 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1783.22 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1783.22 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1783.22 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1783.22 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1783.22 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1783.22 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1783.22 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1783.22 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1783.22 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1783.22 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1783.22 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1783.22 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1783.22 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1783.22 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1783.22 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1783.22 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1783.22 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1783.22 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1783.22 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1783.22 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1783.22 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1783.22 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1783.22 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1783.22 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1783.22 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1783.22 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 1783.22 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1783.22 v -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 1783.22 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 1783.22 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 1783.22 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 1783.22 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 1783.22 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 1783.22 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 1783.22 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 1783.22 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 1783.22 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1783.22 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 1783.22 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 1783.22 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 1783.22 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 1783.22 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 1783.22 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1783.22 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 1783.22 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 1783.22 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 1783.22 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 1783.22 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 1783.22 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 1783.22 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 1783.22 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 1783.22 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 1783.22 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 1783.22 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 1783.22 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 1783.22 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 1783.22 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 1783.22 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 1783.22 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 1783.22 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 1783.22 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 1783.22 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 1783.22 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 1783.22 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 1783.22 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 1783.22 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 1783.22 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 1783.22 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 1783.22 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 1783.22 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 1783.22 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 1783.22 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 1783.22 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 1783.22 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.22 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.22 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.22 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 1783.22 v -x3 -x2 -x1
OK -6
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/node62/watcher-37067-1149300238 -o ROOT/results/node62/solver-37067-1149300238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node62/37067-1149300238/instance-37067-1149300238.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.86 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1570336/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=2328 CPUtime=0 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 39227336 2383872 130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8076152 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 582 130 111 16 0 11 0 [startup+10.0023 s] /proc/loadavg: 0.88 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1551080/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=21680 CPUtime=9.99 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 5111 0 0 0 996 3 0 0 25 0 1 0 39227336 22200320 5037 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 5420 5037 205 16 0 4861 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 21680 [startup+20.0085 s] /proc/loadavg: 0.90 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1544616/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=28436 CPUtime=19.99 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 6794 0 0 0 1996 3 0 0 25 0 1 0 39227336 29118464 6707 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 7109 6707 205 16 0 6550 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 28436 [startup+30.0147 s] /proc/loadavg: 0.91 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1536616/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=36504 CPUtime=30 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 8808 0 0 0 2995 5 0 0 25 0 1 0 39227336 37380096 8721 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 9126 8721 205 16 0 8567 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 36504 [startup+40.0208 s] /proc/loadavg: 0.93 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1529064/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=43980 CPUtime=40 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 10700 0 0 0 3995 5 0 0 25 0 1 0 39227336 45035520 10613 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 10995 10613 205 16 0 10436 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 43980 [startup+50.027 s] /proc/loadavg: 0.94 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1521384/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=51760 CPUtime=50.01 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 12626 0 0 0 4995 6 0 0 25 0 1 0 39227336 53002240 12539 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 12940 12539 205 16 0 12381 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 51760 [startup+60.0332 s] /proc/loadavg: 0.95 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1514472/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=58776 CPUtime=60.01 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 14368 0 0 0 5994 7 0 0 25 0 1 0 39227336 60186624 14281 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 14694 14281 205 16 0 14135 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 58776 [startup+70.0394 s] /proc/loadavg: 0.95 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1507496/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=65632 CPUtime=70.11 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 16095 0 0 0 7003 8 0 0 25 0 1 0 39227336 67207168 16008 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 16408 16008 205 16 0 15849 0 Current children cumulated CPU time (s) 70.11 Current children cumulated vsize (Kb) 65632 [startup+80.1456 s] /proc/loadavg: 0.96 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1501032/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=72168 CPUtime=80.11 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 17710 0 0 0 8003 8 0 0 25 0 1 0 39227336 73900032 17623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 18042 17623 205 16 0 17483 0 Current children cumulated CPU time (s) 80.11 Current children cumulated vsize (Kb) 72168 [startup+90.1508 s] /proc/loadavg: 0.97 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1494568/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=78640 CPUtime=90.12 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 19325 0 0 0 9003 9 0 0 25 0 1 0 39227336 80527360 19238 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556250 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 19660 19238 205 16 0 19101 0 Current children cumulated CPU time (s) 90.12 Current children cumulated vsize (Kb) 78640 [startup+100.156 s] /proc/loadavg: 0.97 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1489064/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=84060 CPUtime=100.12 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 20704 0 0 0 10002 10 0 0 25 0 1 0 39227336 86077440 20617 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 21015 20617 205 16 0 20456 0 Current children cumulated CPU time (s) 100.12 Current children cumulated vsize (Kb) 84060 [startup+110.162 s] /proc/loadavg: 0.97 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1483368/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=89804 CPUtime=110.12 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 22115 0 0 0 11002 10 0 0 25 0 1 0 39227336 91959296 22028 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 22451 22028 205 16 0 21892 0 Current children cumulated CPU time (s) 110.12 Current children cumulated vsize (Kb) 89804 [startup+120.168 s] /proc/loadavg: 0.98 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1477416/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=95696 CPUtime=120.13 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 23608 0 0 0 12001 12 0 0 25 0 1 0 39227336 97992704 23521 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 23924 23521 205 16 0 23365 0 Current children cumulated CPU time (s) 120.13 Current children cumulated vsize (Kb) 95696 [startup+130.175 s] /proc/loadavg: 0.98 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1473320/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=99868 CPUtime=130.13 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 24630 0 0 0 13001 12 0 0 25 0 1 0 39227336 102264832 24543 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 24967 24543 205 16 0 24408 0 Current children cumulated CPU time (s) 130.13 Current children cumulated vsize (Kb) 99868 [startup+140.181 s] /proc/loadavg: 0.98 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1469032/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=104096 CPUtime=140.13 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 25687 0 0 0 14001 12 0 0 25 0 1 0 39227336 106594304 25600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 26024 25600 205 16 0 25465 0 Current children cumulated CPU time (s) 140.13 Current children cumulated vsize (Kb) 104096 [startup+150.186 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1464040/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=109020 CPUtime=150.14 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 26933 0 0 0 15001 13 0 0 25 0 1 0 39227336 111636480 26846 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 27255 26846 205 16 0 26696 0 Current children cumulated CPU time (s) 150.14 Current children cumulated vsize (Kb) 109020 [startup+160.192 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1459304/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=113740 CPUtime=160.21 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 28112 0 0 0 16008 13 0 0 25 0 1 0 39227336 116469760 28025 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8541852 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 28435 28025 205 16 0 27876 0 Current children cumulated CPU time (s) 160.21 Current children cumulated vsize (Kb) 113740 [startup+170.272 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1454376/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=118788 CPUtime=170.22 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 29343 0 0 0 17008 14 0 0 25 0 1 0 39227336 121638912 29256 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 29697 29256 205 16 0 29138 0 Current children cumulated CPU time (s) 170.22 Current children cumulated vsize (Kb) 118788 [startup+180.279 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1448552/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=124676 CPUtime=180.22 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 30798 0 0 0 18007 15 0 0 25 0 1 0 39227336 127668224 30711 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8540511 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 31169 30711 205 16 0 30610 0 Current children cumulated CPU time (s) 180.22 Current children cumulated vsize (Kb) 124676 [startup+190.285 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1442728/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=130512 CPUtime=190.22 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 32255 0 0 0 19007 15 0 0 25 0 1 0 39227336 133644288 32168 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 32628 32168 205 16 0 32069 0 Current children cumulated CPU time (s) 190.22 Current children cumulated vsize (Kb) 130512 [startup+200.291 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1437544/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=135684 CPUtime=200.23 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 33538 0 0 0 20007 16 0 0 25 0 1 0 39227336 138940416 33451 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 33921 33451 205 16 0 33362 0 Current children cumulated CPU time (s) 200.23 Current children cumulated vsize (Kb) 135684 [startup+210.296 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9402 /proc/meminfo: memFree=1432296/2055920 swapFree=4191908/4192956 ################ # More data... # ################ /proc/9402/statm: 163467 162303 206 16 0 162908 0 Current children cumulated CPU time (s) 1590.7 Current children cumulated vsize (Kb) 653868 [startup+1601.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=920104/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=654668 CPUtime=1600.71 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 162605 0 0 0 159985 86 0 0 25 0 1 0 39227336 670380032 162518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 163667 162518 206 16 0 163108 0 Current children cumulated CPU time (s) 1600.71 Current children cumulated vsize (Kb) 654668 [startup+1611.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=918184/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=656692 CPUtime=1610.71 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 163094 0 0 0 160985 86 0 0 25 0 1 0 39227336 672452608 163007 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 164173 163007 206 16 0 163614 0 Current children cumulated CPU time (s) 1610.71 Current children cumulated vsize (Kb) 656692 [startup+1621.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=914664/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=660216 CPUtime=1620.71 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 163987 0 0 0 161985 86 0 0 25 0 1 0 39227336 676061184 163900 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134533596 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 165054 163900 206 16 0 164495 0 Current children cumulated CPU time (s) 1620.71 Current children cumulated vsize (Kb) 660216 [startup+1631.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=910120/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=664720 CPUtime=1630.72 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 165114 0 0 0 162985 87 0 0 25 0 1 0 39227336 680673280 165027 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 166180 165027 206 16 0 165621 0 Current children cumulated CPU time (s) 1630.72 Current children cumulated vsize (Kb) 664720 [startup+1641.17 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=907560/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=667332 CPUtime=1640.72 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 165754 0 0 0 163985 87 0 0 25 0 1 0 39227336 683347968 165667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 166833 165667 206 16 0 166274 0 Current children cumulated CPU time (s) 1640.72 Current children cumulated vsize (Kb) 667332 [startup+1651.18 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=905256/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=669572 CPUtime=1650.72 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 166323 0 0 0 164985 87 0 0 25 0 1 0 39227336 685641728 166236 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 167393 166236 206 16 0 166834 0 Current children cumulated CPU time (s) 1650.72 Current children cumulated vsize (Kb) 669572 [startup+1661.18 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=901480/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=673572 CPUtime=1660.72 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 167273 0 0 0 165984 88 0 0 25 0 1 0 39227336 689737728 167186 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 168393 167186 206 16 0 167834 0 Current children cumulated CPU time (s) 1660.72 Current children cumulated vsize (Kb) 673572 [startup+1671.19 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=897384/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=677600 CPUtime=1670.72 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 168281 0 0 0 166984 88 0 0 25 0 1 0 39227336 693862400 168194 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 169400 168194 206 16 0 168841 0 Current children cumulated CPU time (s) 1670.72 Current children cumulated vsize (Kb) 677600 [startup+1681.2 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=894376/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=680604 CPUtime=1680.73 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 169037 0 0 0 167984 89 0 0 25 0 1 0 39227336 696938496 168950 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 170151 168950 206 16 0 169592 0 Current children cumulated CPU time (s) 1680.73 Current children cumulated vsize (Kb) 680604 [startup+1691.2 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=891368/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=683664 CPUtime=1690.74 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 169788 0 0 0 168985 89 0 0 25 0 1 0 39227336 700071936 169701 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 170916 169701 206 16 0 170357 0 Current children cumulated CPU time (s) 1690.74 Current children cumulated vsize (Kb) 683664 [startup+1701.21 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=888488/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=686428 CPUtime=1700.73 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 170506 0 0 0 169984 89 0 0 25 0 1 0 39227336 702902272 170419 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 171607 170419 206 16 0 171048 0 Current children cumulated CPU time (s) 1700.73 Current children cumulated vsize (Kb) 686428 [startup+1711.21 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=885480/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=689440 CPUtime=1710.74 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 171253 0 0 0 170984 90 0 0 25 0 1 0 39227336 705986560 171166 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 172360 171166 206 16 0 171801 0 Current children cumulated CPU time (s) 1710.74 Current children cumulated vsize (Kb) 689440 [startup+1721.22 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=882408/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=692520 CPUtime=1720.74 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 172016 0 0 0 171984 90 0 0 25 0 1 0 39227336 709140480 171929 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 173130 171929 206 16 0 172571 0 Current children cumulated CPU time (s) 1720.74 Current children cumulated vsize (Kb) 692520 [startup+1731.23 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=879720/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=695288 CPUtime=1730.75 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 172696 0 0 0 172984 91 0 0 25 0 1 0 39227336 711974912 172609 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 173822 172609 206 16 0 173263 0 Current children cumulated CPU time (s) 1730.75 Current children cumulated vsize (Kb) 695288 [startup+1741.23 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=876520/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=699040 CPUtime=1740.76 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 173493 0 0 0 173984 92 0 0 25 0 1 0 39227336 715816960 173406 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8540443 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 174760 173406 206 16 0 174201 0 Current children cumulated CPU time (s) 1740.76 Current children cumulated vsize (Kb) 699040 [startup+1751.24 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=873384/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=702124 CPUtime=1750.75 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 174270 0 0 0 174983 92 0 0 25 0 1 0 39227336 718974976 174183 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8540511 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 175531 174183 206 16 0 174972 0 Current children cumulated CPU time (s) 1750.75 Current children cumulated vsize (Kb) 702124 [startup+1761.24 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=869928/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=705416 CPUtime=1760.76 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 175125 0 0 0 175983 93 0 0 25 0 1 0 39227336 722345984 175038 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 176354 175038 206 16 0 175795 0 Current children cumulated CPU time (s) 1760.76 Current children cumulated vsize (Kb) 705416 [startup+1771.25 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=866920/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=708544 CPUtime=1770.76 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 175881 0 0 0 176983 93 0 0 25 0 1 0 39227336 725549056 175794 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522504 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 177136 175794 206 16 0 176577 0 Current children cumulated CPU time (s) 1770.76 Current children cumulated vsize (Kb) 708544 [startup+1781.26 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=862888/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=712484 CPUtime=1780.77 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 176892 0 0 0 177983 94 0 0 25 0 1 0 39227336 729583616 176805 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519082 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 178121 176805 206 16 0 177562 0 Current children cumulated CPU time (s) 1780.77 Current children cumulated vsize (Kb) 712484 [startup+1782.26 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=862888/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=712484 CPUtime=1781.77 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 176893 0 0 0 178083 94 0 0 25 0 1 0 39227336 729583616 176806 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8540511 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 178121 176806 206 16 0 177562 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (Kb) 712484 [startup+1783.27 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9404 /proc/meminfo: memFree=1103208/2055920 swapFree=4191908/4192956 [pid=9402] ppid=9400 vsize=0 CPUtime=1782.77 /proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194308 176941 0 0 0 178179 98 0 0 17 0 1 0 39227336 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/9402/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.77 Current children cumulated vsize (Kb) 0 Child status: 10 Real time (s): 1783.34 CPU time (s): 1782.85 CPU user time (s): 1781.8 CPU system time (s): 1.05584 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (Kb): 712484
Begin job on node62 on Sat Jun 3 02:03:58 UTC 2006 FILE ID= 37067-1149300238 PBS_JOBID= 307336 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/Pueblo ROOT/tmp/node62/37067-1149300238/instance-37067-1149300238.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-37067-1149300238 -o ROOT/results/node62/solver-37067-1149300238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node62/37067-1149300238/instance-37067-1149300238.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876 RANDOM SEED= 977764234 /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.225 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.225 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: 1570672 kB Buffers: 32044 kB Cached: 374772 kB SwapCached: 572 kB Active: 44140 kB Inactive: 376892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1570672 kB SwapTotal: 4192956 kB SwapFree: 4191908 kB Dirty: 240 kB Writeback: 0 kB Mapped: 23728 kB Slab: 50224 kB Committed_AS: 244968 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 node62 on Sat Jun 3 02:33:42 UTC 2006