Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 141 | 1782.73 | 1783.22 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-rot.b.opb |
MD5SUM | 82ceb454755e01aa6cecb68eb859eaa6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 116 |
Best CPU time to get the best result obtained on this benchmark | 1800.57 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 116 |
Optimality of the best value was proved | NO |
Number of variables | 1451 |
Total number of constraints | 2932 |
Number of constraints which are clauses | 2932 |
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 | 1 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 1451 |
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 | 1451 |
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 | 1451 |
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 0.17 c starting to Solve 0.17 c #variables read: 1451 - #constraints read: 2724 0.17 o 156 0.17 o 155 0.24 o 153 0.31 o 152 0.88 o 148 1.08 o 147 2.46 o 146 938.80 o 145 940.12 o 144 943.98 o 143 960.99 o 142 985.15 o 141 1783.21 c total time : 1783 s 1783.21 s SATISFIABLE 1783.21 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 1783.21 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 1783.21 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1783.21 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1783.21 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 1783.21 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1783.21 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 1783.21 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 1783.21 v -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 1783.21 v x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 x232 -x233 1783.21 v -x234 -x235 x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1783.21 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 1783.21 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1783.21 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 1783.21 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1783.21 v -x339 -x340 -x341 -x342 -x343 x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 1783.21 v -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 1783.21 v -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 1783.21 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1783.21 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1783.21 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1783.21 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 1783.21 v -x486 x487 -x488 x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 1783.21 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 x527 -x528 1783.21 v -x529 -x530 -x531 -x532 -x533 x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1783.21 v -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1783.21 v x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 1783.21 v -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1783.21 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1783.21 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 1783.21 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 1783.21 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1783.21 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1783.21 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 x733 -x734 -x735 x736 x737 -x738 x739 1783.21 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 1783.21 v x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 1783.21 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1783.21 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 1783.21 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1783.21 v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 1783.21 v -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 1783.21 v -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 1783.21 v -x908 x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1783.21 v -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 1783.21 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 1783.21 v -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 1783.21 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 1783.21 v -x1011 -x1012 -x1013 -x1014 -x1015 x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 x1026 -x1027 x1028 1783.21 v -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 1783.21 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 x1061 x1062 -x1063 -x1064 1783.21 v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 x1079 -x1080 x1081 x1082 1783.21 v -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 x1098 -x1099 -x1100 1783.21 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 1783.21 v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 1783.21 v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 1783.21 v x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 1783.21 v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 1783.21 v x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 1783.21 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 1783.21 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1783.21 v -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 x1253 -x1254 1783.21 v -x1255 -x1256 x1257 x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 1783.21 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 x1286 -x1287 -x1288 x1289 x1290 1783.21 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1783.21 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 1783.21 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1783.21 v x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 x1358 -x1359 1783.21 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1783.21 v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 1783.21 v x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 x1407 x1408 x1409 -x1410 -x1411 1783.21 v -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1783.21 v -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1783.21 v -x1447 -x1448 -x1449 x1450 -x1451
OK 141
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/node25/watcher-36853-1149408181 -o ROOT/results/node25/solver-36853-1149408181 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node25/36853-1149408181/instance-36853-1149408181.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.90 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1611840/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=172 CPUtime=0 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 206481507 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3765028 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 43 23 18 16 0 2 0 [startup+10.0027 s] /proc/loadavg: 0.92 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1607728/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=6600 CPUtime=9.99 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 1274 0 0 0 986 13 0 0 25 0 1 0 206481507 6758400 1245 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 1650 1245 205 16 0 1091 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6600 [startup+20.0097 s] /proc/loadavg: 0.93 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1606960/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=7368 CPUtime=19.99 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 1465 0 0 0 1973 26 0 0 25 0 1 0 206481507 7544832 1431 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 1842 1431 205 16 0 1283 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7368 [startup+30.0156 s] /proc/loadavg: 0.94 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1606384/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=7876 CPUtime=30 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 1612 0 0 0 2964 36 0 0 25 0 1 0 206481507 8065024 1578 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 1969 1578 205 16 0 1410 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 7876 [startup+40.0215 s] /proc/loadavg: 0.95 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1606064/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=8144 CPUtime=40 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 1687 0 0 0 3960 40 0 0 25 0 1 0 206481507 8339456 1653 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2036 1653 205 16 0 1477 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 8144 [startup+50.0274 s] /proc/loadavg: 0.96 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1605104/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=9136 CPUtime=50 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 1924 0 0 0 4953 47 0 0 25 0 1 0 206481507 9355264 1886 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2284 1886 205 16 0 1725 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 9136 [startup+60.0333 s] /proc/loadavg: 0.96 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1604784/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=9468 CPUtime=60.01 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2018 0 0 0 5947 54 0 0 25 0 1 0 206481507 9695232 1980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2367 1980 205 16 0 1808 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 9468 [startup+70.0392 s] /proc/loadavg: 0.97 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1604784/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=9468 CPUtime=70.06 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2018 0 0 0 6942 64 0 0 25 0 1 0 206481507 9695232 1980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2367 1980 205 16 0 1808 0 Current children cumulated CPU time (s) 70.06 Current children cumulated vsize (Kb) 9468 [startup+80.0942 s] /proc/loadavg: 0.97 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1604528/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=9724 CPUtime=80.06 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2070 0 0 0 7936 70 0 0 25 0 1 0 206481507 9957376 2032 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2431 2032 205 16 0 1872 0 Current children cumulated CPU time (s) 80.06 Current children cumulated vsize (Kb) 9724 [startup+90.1001 s] /proc/loadavg: 0.98 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1603696/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=10564 CPUtime=90.07 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2290 0 0 0 8930 77 0 0 25 0 1 0 206481507 10817536 2252 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2641 2252 205 16 0 2082 0 Current children cumulated CPU time (s) 90.07 Current children cumulated vsize (Kb) 10564 [startup+100.106 s] /proc/loadavg: 0.98 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602800/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11176 CPUtime=100.06 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2932 0 0 0 9927 79 0 0 25 0 1 0 206481507 11444224 2414 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2794 2414 205 16 0 2235 0 Current children cumulated CPU time (s) 100.06 Current children cumulated vsize (Kb) 11176 [startup+110.112 s] /proc/loadavg: 0.98 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602800/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11176 CPUtime=110.07 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2932 0 0 0 10924 83 0 0 25 0 1 0 206481507 11444224 2414 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2794 2414 205 16 0 2235 0 Current children cumulated CPU time (s) 110.07 Current children cumulated vsize (Kb) 11176 [startup+120.118 s] /proc/loadavg: 0.98 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602800/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11176 CPUtime=120.07 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2932 0 0 0 11918 89 0 0 25 0 1 0 206481507 11444224 2414 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2794 2414 205 16 0 2235 0 Current children cumulated CPU time (s) 120.07 Current children cumulated vsize (Kb) 11176 [startup+130.124 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602800/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11296 CPUtime=130.08 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2943 0 0 0 12912 96 0 0 25 0 1 0 206481507 11567104 2425 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2824 2425 205 16 0 2265 0 Current children cumulated CPU time (s) 130.08 Current children cumulated vsize (Kb) 11296 [startup+140.131 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602800/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11296 CPUtime=140.08 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2953 0 0 0 13904 104 0 0 25 0 1 0 206481507 11567104 2435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528788 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2824 2435 205 16 0 2265 0 Current children cumulated CPU time (s) 140.08 Current children cumulated vsize (Kb) 11296 [startup+150.137 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602800/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11296 CPUtime=150.09 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2953 0 0 0 14895 114 0 0 25 0 1 0 206481507 11567104 2435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2824 2435 205 16 0 2265 0 Current children cumulated CPU time (s) 150.09 Current children cumulated vsize (Kb) 11296 [startup+160.143 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602800/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11416 CPUtime=160.09 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 2968 0 0 0 15886 123 0 0 25 0 1 0 206481507 11689984 2450 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2854 2450 205 16 0 2295 0 Current children cumulated CPU time (s) 160.09 Current children cumulated vsize (Kb) 11416 [startup+170.148 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602672/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11540 CPUtime=170.09 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 3007 0 0 0 16882 127 0 0 25 0 1 0 206481507 11816960 2489 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2885 2489 205 16 0 2326 0 Current children cumulated CPU time (s) 170.09 Current children cumulated vsize (Kb) 11540 [startup+180.154 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602736/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=11540 CPUtime=180.09 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 3007 0 0 0 17875 134 0 0 25 0 1 0 206481507 11816960 2489 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 2885 2489 205 16 0 2326 0 Current children cumulated CPU time (s) 180.09 Current children cumulated vsize (Kb) 11540 [startup+190.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1602224/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=12032 CPUtime=190.1 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 3129 0 0 0 18870 140 0 0 25 0 1 0 206481507 12320768 2611 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 3008 2611 205 16 0 2449 0 Current children cumulated CPU time (s) 190.1 Current children cumulated vsize (Kb) 12032 [startup+200.166 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1601968/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=12288 CPUtime=200.1 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 3186 0 0 0 19865 145 0 0 25 0 1 0 206481507 12582912 2668 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529061 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 3072 2668 205 16 0 2513 0 Current children cumulated CPU time (s) 200.1 Current children cumulated vsize (Kb) 12288 [startup+210.172 s] /proc/loadavg: 0.99 0.97 0.97 2/64 30501 /proc/meminfo: memFree=1601904/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/30501/statm: 5479 5030 205 16 0 4920 0 Current children cumulated CPU time (s) 1590.54 Current children cumulated vsize (Kb) 21916 [startup+1600.99 s] /proc/loadavg: 1.05 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592496/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21524 CPUtime=1600.55 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5897 0 0 0 158988 1067 0 0 25 0 1 0 206481507 22040576 4954 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5381 4954 205 16 0 4822 0 Current children cumulated CPU time (s) 1600.55 Current children cumulated vsize (Kb) 21524 [startup+1610.99 s] /proc/loadavg: 1.04 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592496/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21516 CPUtime=1610.55 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5897 0 0 0 159986 1069 0 0 25 0 1 0 206481507 22032384 4952 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5379 4952 205 16 0 4820 0 Current children cumulated CPU time (s) 1610.55 Current children cumulated vsize (Kb) 21516 [startup+1621 s] /proc/loadavg: 1.03 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592496/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21516 CPUtime=1620.55 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5897 0 0 0 160984 1071 0 0 25 0 1 0 206481507 22032384 4952 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5379 4952 205 16 0 4820 0 Current children cumulated CPU time (s) 1620.55 Current children cumulated vsize (Kb) 21516 [startup+1631 s] /proc/loadavg: 1.03 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592496/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21644 CPUtime=1630.56 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5912 0 0 0 161984 1072 0 0 25 0 1 0 206481507 22163456 4967 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557547 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5411 4967 205 16 0 4852 0 Current children cumulated CPU time (s) 1630.56 Current children cumulated vsize (Kb) 21644 [startup+1641.01 s] /proc/loadavg: 1.02 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592496/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21644 CPUtime=1640.56 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5913 0 0 0 162982 1074 0 0 25 0 1 0 206481507 22163456 4968 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5411 4968 205 16 0 4852 0 Current children cumulated CPU time (s) 1640.56 Current children cumulated vsize (Kb) 21644 [startup+1651.02 s] /proc/loadavg: 1.02 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592496/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21644 CPUtime=1650.56 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5920 0 0 0 163980 1076 0 0 25 0 1 0 206481507 22163456 4975 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5411 4975 205 16 0 4852 0 Current children cumulated CPU time (s) 1650.56 Current children cumulated vsize (Kb) 21644 [startup+1661.02 s] /proc/loadavg: 1.02 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592432/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21804 CPUtime=1660.57 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5935 0 0 0 164978 1079 0 0 25 0 1 0 206481507 22327296 4990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5451 4990 205 16 0 4892 0 Current children cumulated CPU time (s) 1660.57 Current children cumulated vsize (Kb) 21804 [startup+1671.03 s] /proc/loadavg: 1.01 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592432/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21804 CPUtime=1670.57 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5946 0 0 0 165976 1081 0 0 25 0 1 0 206481507 22327296 5001 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5451 5001 205 16 0 4892 0 Current children cumulated CPU time (s) 1670.57 Current children cumulated vsize (Kb) 21804 [startup+1681.03 s] /proc/loadavg: 1.01 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592432/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21804 CPUtime=1680.57 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5946 0 0 0 166973 1084 0 0 25 0 1 0 206481507 22327296 5001 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5451 5001 205 16 0 4892 0 Current children cumulated CPU time (s) 1680.57 Current children cumulated vsize (Kb) 21804 [startup+1691.04 s] /proc/loadavg: 1.01 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592432/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21804 CPUtime=1690.57 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5946 0 0 0 167971 1086 0 0 25 0 1 0 206481507 22327296 5001 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5451 5001 205 16 0 4892 0 Current children cumulated CPU time (s) 1690.57 Current children cumulated vsize (Kb) 21804 [startup+1701.05 s] /proc/loadavg: 1.01 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592432/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21804 CPUtime=1700.57 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5946 0 0 0 168969 1088 0 0 25 0 1 0 206481507 22327296 5001 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5451 5001 205 16 0 4892 0 Current children cumulated CPU time (s) 1700.57 Current children cumulated vsize (Kb) 21804 [startup+1711.05 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592432/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21804 CPUtime=1710.58 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5946 0 0 0 169967 1091 0 0 25 0 1 0 206481507 22327296 5001 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5451 5001 205 16 0 4892 0 Current children cumulated CPU time (s) 1710.58 Current children cumulated vsize (Kb) 21804 [startup+1721.06 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592432/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21804 CPUtime=1720.59 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5948 0 0 0 170965 1094 0 0 25 0 1 0 206481507 22327296 5003 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5451 5003 205 16 0 4892 0 Current children cumulated CPU time (s) 1720.59 Current children cumulated vsize (Kb) 21804 [startup+1731.06 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592368/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21804 CPUtime=1730.58 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5960 0 0 0 171962 1096 0 0 25 0 1 0 206481507 22327296 5015 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5451 5015 205 16 0 4892 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 21804 [startup+1741.07 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592304/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21964 CPUtime=1740.59 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5972 0 0 0 172961 1098 0 0 25 0 1 0 206481507 22491136 5027 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5491 5027 205 16 0 4932 0 Current children cumulated CPU time (s) 1740.59 Current children cumulated vsize (Kb) 21964 [startup+1751.07 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592240/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=21964 CPUtime=1750.6 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 5987 0 0 0 173959 1101 0 0 25 0 1 0 206481507 22491136 5042 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556392 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5491 5042 205 16 0 4932 0 Current children cumulated CPU time (s) 1750.6 Current children cumulated vsize (Kb) 21964 [startup+1761.08 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592176/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=22092 CPUtime=1760.6 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 6005 0 0 0 174957 1103 0 0 25 0 1 0 206481507 22622208 5060 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5523 5060 205 16 0 4964 0 Current children cumulated CPU time (s) 1760.6 Current children cumulated vsize (Kb) 22092 [startup+1771.09 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592112/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=22092 CPUtime=1770.6 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 6005 0 0 0 175953 1107 0 0 25 0 1 0 206481507 22622208 5060 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5523 5060 205 16 0 4964 0 Current children cumulated CPU time (s) 1770.6 Current children cumulated vsize (Kb) 22092 [startup+1781.09 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592176/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=22092 CPUtime=1780.6 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 6007 0 0 0 176950 1110 0 0 25 0 1 0 206481507 22622208 5062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5523 5062 205 16 0 4964 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 22092 [startup+1782.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592176/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=22092 CPUtime=1781.61 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 6007 0 0 0 177050 1111 0 0 25 0 1 0 206481507 22622208 5062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5523 5062 205 16 0 4964 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 22092 [startup+1783.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 30501 /proc/meminfo: memFree=1592176/2055920 swapFree=4181452/4192956 [pid=30501] ppid=30499 vsize=22092 CPUtime=1782.61 /proc/30501/stat : 30501 (Pueblo) R 30499 30501 30455 0 -1 4194304 6007 0 0 0 177150 1111 0 0 25 0 1 0 206481507 22622208 5062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30501/statm: 5523 5062 205 16 0 4964 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 22092 Child status: 10 Real time (s): 1783.22 CPU time (s): 1782.73 CPU user time (s): 1771.61 CPU system time (s): 11.1243 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (Kb): 22092
Begin job on node25 on Sun Jun 4 08:03:01 UTC 2006 FILE ID= 36853-1149408181 PBS_JOBID= 314542 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node25/36853-1149408181/instance-36853-1149408181.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-36853-1149408181 -o ROOT/results/node25/solver-36853-1149408181 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node25/36853-1149408181/instance-36853-1149408181.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6 RANDOM SEED= 712934435 /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.236 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.236 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: 1612048 kB Buffers: 28380 kB Cached: 354304 kB SwapCached: 3080 kB Active: 109752 kB Inactive: 281496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1612048 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14716 kB Slab: 38648 kB Committed_AS: 391772 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Sun Jun 4 08:32:45 UTC 2006