Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -7 | 1783.03 | 1783.78 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | a2418d45f4247bab260506429e96e746 |
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.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126555 |
Number of constraints which are clauses | 126555 |
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: 126556 1.55 o 0 1.55 o 1 1.56 o 2 2.44 o 3 4.72 o 4 160.04 o 5 683.54 o 6 1301.28 o 7 1783.63 c total time : 1783.15 s 1783.63 s SATISFIABLE 1783.63 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1783.63 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1783.63 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1783.63 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1783.63 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1783.63 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1783.63 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1783.63 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1783.63 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1783.63 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1783.63 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1783.63 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1783.63 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1783.63 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1783.63 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1783.63 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1783.63 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1783.63 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1783.63 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1783.63 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1783.63 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1783.63 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1783.63 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1783.63 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1783.63 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1783.63 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1783.63 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 1783.63 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1783.63 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 x1043 -x1042 1783.63 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 1783.63 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 1783.63 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 1783.63 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 1783.63 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 1783.63 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 1783.63 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 1783.63 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 1783.63 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1783.63 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 1783.63 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 1783.63 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 1783.63 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 1783.63 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 1783.63 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1783.63 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 1783.63 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 1783.63 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 1783.63 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 1783.63 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 1783.63 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 1783.63 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 1783.63 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 1783.63 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 1783.63 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 1783.63 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 1783.63 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 1783.63 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 1783.63 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 1783.63 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 1783.63 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 1783.63 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 1783.63 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 1783.63 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 1783.63 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 1783.63 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 1783.63 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 1783.63 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 1783.63 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 1783.63 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 1783.63 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 1783.63 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 1783.63 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 1783.63 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 1783.63 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 1783.63 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.63 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.63 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.63 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.63 v -x3 -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/node6/watcher-37063-1149299632 -o ROOT/results/node6/solver-37063-1149299632 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node6/37063-1149299632/instance-37063-1149299632.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1522192/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=2572 CPUtime=0 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 195625317 2633728 222 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 643 227 193 16 0 84 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1502488/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=22032 CPUtime=9.99 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 5204 0 0 0 997 2 0 0 25 0 1 0 195625317 22560768 5127 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556831 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 5508 5127 206 16 0 4949 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 22032 [startup+20.0094 s] /proc/loadavg: 0.94 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1499544/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=25232 CPUtime=19.99 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 6252 0 0 0 1997 2 0 0 25 0 1 0 195625317 25837568 5909 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524026 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 6308 5909 206 16 0 5749 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25232 [startup+30.0164 s] /proc/loadavg: 0.95 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1493464/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=31396 CPUtime=29.99 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 7783 0 0 0 2996 3 0 0 25 0 1 0 195625317 32149504 7440 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523633 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 7849 7440 206 16 0 7290 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 31396 [startup+40.0224 s] /proc/loadavg: 0.96 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1487640/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=37172 CPUtime=40 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 9248 0 0 0 3996 4 0 0 25 0 1 0 195625317 38064128 8905 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 9293 8905 206 16 0 8734 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 37172 [startup+50.0293 s] /proc/loadavg: 0.96 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1481880/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=42964 CPUtime=50 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 10684 0 0 0 4995 5 0 0 25 0 1 0 195625317 43995136 10341 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 10741 10341 206 16 0 10182 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 42964 [startup+60.0353 s] /proc/loadavg: 0.97 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1476504/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=48396 CPUtime=60.01 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 12041 0 0 0 5995 6 0 0 25 0 1 0 195625317 49557504 11698 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 12099 11698 206 16 0 11540 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 48396 [startup+70.0423 s] /proc/loadavg: 0.97 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1470744/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=54080 CPUtime=70.01 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 13476 0 0 0 6994 7 0 0 25 0 1 0 195625317 55377920 13133 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 13520 13133 206 16 0 12961 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 54080 [startup+80.0483 s] /proc/loadavg: 0.98 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1464920/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=60008 CPUtime=80.01 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 14936 0 0 0 7994 7 0 0 25 0 1 0 195625317 61448192 14593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 15002 14593 206 16 0 14443 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 60008 [startup+90.0543 s] /proc/loadavg: 0.98 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1458840/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=65924 CPUtime=90.01 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 16437 0 0 0 8993 8 0 0 25 0 1 0 195625317 67506176 16094 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 16481 16094 206 16 0 15922 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 65924 [startup+100.06 s] /proc/loadavg: 0.98 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1453848/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=71004 CPUtime=100.01 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 17684 0 0 0 9993 8 0 0 25 0 1 0 195625317 72708096 17341 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 17751 17341 206 16 0 17192 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 71004 [startup+110.066 s] /proc/loadavg: 0.98 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1448856/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=75992 CPUtime=110.01 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 18932 0 0 0 10992 9 0 0 25 0 1 0 195625317 77815808 18589 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 18998 18589 206 16 0 18439 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 75992 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1443608/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=81224 CPUtime=120.02 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 20251 0 0 0 11992 10 0 0 25 0 1 0 195625317 83173376 19908 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559594 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 20306 19908 206 16 0 19747 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 81224 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1438552/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=86240 CPUtime=130.02 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 21514 0 0 0 12992 10 0 0 25 0 1 0 195625317 88309760 21171 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523636 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 21560 21171 206 16 0 21001 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 86240 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1433496/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=91392 CPUtime=140.02 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 22771 0 0 0 13991 11 0 0 25 0 1 0 195625317 93585408 22428 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 22848 22428 206 16 0 22289 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 91392 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1428568/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=96344 CPUtime=150.02 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 24010 0 0 0 14991 11 0 0 25 0 1 0 195625317 98656256 23667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 24086 23667 206 16 0 23527 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 96344 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1423704/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=101144 CPUtime=160.03 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 25211 0 0 0 15991 12 0 0 25 0 1 0 195625317 103571456 24868 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 25286 24868 206 16 0 24727 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 101144 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1418200/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=106652 CPUtime=170.03 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 26582 0 0 0 16990 13 0 0 25 0 1 0 195625317 109211648 26239 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557359 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 26663 26239 206 16 0 26104 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 106652 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1413144/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=111736 CPUtime=180.03 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 27855 0 0 0 17990 13 0 0 25 0 1 0 195625317 114417664 27512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 27934 27512 206 16 0 27375 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 111736 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1408216/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=116512 CPUtime=190.03 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 29072 0 0 0 18990 13 0 0 25 0 1 0 195625317 119308288 28729 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 29128 28729 206 16 0 28569 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 116512 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1402584/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=122252 CPUtime=200.04 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 30472 0 0 0 19990 14 0 0 25 0 1 0 195625317 125186048 30129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 30563 30129 206 16 0 30004 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 122252 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.96 2/64 11985 /proc/meminfo: memFree=1397336/2055924 swapFree=4181416/4192956 ################ # More data... # ################ /proc/11985/statm: 212769 211594 206 16 0 212210 0 Current children cumulated CPU time (s) 1590.37 Current children cumulated vsize (Kb) 851076 [startup+1601.06 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=668248/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=856304 CPUtime=1600.37 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 213237 0 0 0 159914 123 0 0 25 0 1 0 195625317 876855296 212894 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 214076 212894 206 16 0 213517 0 Current children cumulated CPU time (s) 1600.37 Current children cumulated vsize (Kb) 856304 [startup+1611.06 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=664088/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=860352 CPUtime=1610.37 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 214269 0 0 0 160914 123 0 0 25 0 1 0 195625317 881000448 213926 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 215088 213926 206 16 0 214529 0 Current children cumulated CPU time (s) 1610.37 Current children cumulated vsize (Kb) 860352 [startup+1621.07 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=660184/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=864272 CPUtime=1620.37 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 215245 0 0 0 161914 123 0 0 25 0 1 0 195625317 885014528 214902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 216068 214902 206 16 0 215509 0 Current children cumulated CPU time (s) 1620.37 Current children cumulated vsize (Kb) 864272 [startup+1631.08 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=655832/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=869140 CPUtime=1630.38 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 216327 0 0 0 162914 124 0 0 25 0 1 0 195625317 889999360 215984 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 217285 215984 206 16 0 216726 0 Current children cumulated CPU time (s) 1630.38 Current children cumulated vsize (Kb) 869140 [startup+1641.08 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=650456/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=874504 CPUtime=1640.38 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 217681 0 0 0 163914 124 0 0 25 0 1 0 195625317 895492096 217338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 218626 217338 206 16 0 218067 0 Current children cumulated CPU time (s) 1640.38 Current children cumulated vsize (Kb) 874504 [startup+1651.09 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=646040/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=878892 CPUtime=1650.39 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 218776 0 0 0 164914 125 0 0 25 0 1 0 195625317 899985408 218433 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 219723 218433 206 16 0 219164 0 Current children cumulated CPU time (s) 1650.39 Current children cumulated vsize (Kb) 878892 [startup+1661.1 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=642136/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=882812 CPUtime=1660.39 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 219747 0 0 0 165914 125 0 0 25 0 1 0 195625317 903999488 219404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 220703 219404 206 16 0 220144 0 Current children cumulated CPU time (s) 1660.39 Current children cumulated vsize (Kb) 882812 [startup+1671.1 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=637720/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=887240 CPUtime=1670.39 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 220846 0 0 0 166913 126 0 0 25 0 1 0 195625317 908533760 220503 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2621791 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 221810 220503 206 16 0 221251 0 Current children cumulated CPU time (s) 1670.39 Current children cumulated vsize (Kb) 887240 [startup+1681.11 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=632344/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=892504 CPUtime=1680.39 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 222187 0 0 0 167913 126 0 0 25 0 1 0 195625317 913924096 221844 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523657 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 223126 221844 206 16 0 222567 0 Current children cumulated CPU time (s) 1680.39 Current children cumulated vsize (Kb) 892504 [startup+1691.12 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=627800/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=897120 CPUtime=1690.39 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 223319 0 0 0 168912 127 0 0 25 0 1 0 195625317 918650880 222976 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2621791 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 224280 222976 206 16 0 223721 0 Current children cumulated CPU time (s) 1690.39 Current children cumulated vsize (Kb) 897120 [startup+1701.12 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=623768/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=901096 CPUtime=1700.4 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 224333 0 0 0 169912 128 0 0 25 0 1 0 195625317 922722304 223990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 225274 223990 206 16 0 224715 0 Current children cumulated CPU time (s) 1700.4 Current children cumulated vsize (Kb) 901096 [startup+1711.13 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=618904/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=905916 CPUtime=1710.4 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 225538 0 0 0 170912 128 0 0 25 0 1 0 195625317 927657984 225195 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 226479 225195 206 16 0 225920 0 Current children cumulated CPU time (s) 1710.4 Current children cumulated vsize (Kb) 905916 [startup+1721.13 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=614296/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=910520 CPUtime=1720.4 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 226684 0 0 0 171912 128 0 0 25 0 1 0 195625317 932372480 226341 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 227630 226341 206 16 0 227071 0 Current children cumulated CPU time (s) 1720.4 Current children cumulated vsize (Kb) 910520 [startup+1731.14 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=609304/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=915512 CPUtime=1730.4 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 227931 0 0 0 172911 129 0 0 25 0 1 0 195625317 937484288 227588 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2623132 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 228878 227588 206 16 0 228319 0 Current children cumulated CPU time (s) 1730.4 Current children cumulated vsize (Kb) 915512 [startup+1741.15 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=604568/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=920228 CPUtime=1740.41 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 229115 0 0 0 173911 130 0 0 25 0 1 0 195625317 942313472 228772 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 230057 228772 206 16 0 229498 0 Current children cumulated CPU time (s) 1740.41 Current children cumulated vsize (Kb) 920228 [startup+1751.15 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=600408/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=924372 CPUtime=1750.4 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 230150 0 0 0 174910 130 0 0 25 0 1 0 195625317 946556928 229807 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 231093 229807 206 16 0 230534 0 Current children cumulated CPU time (s) 1750.4 Current children cumulated vsize (Kb) 924372 [startup+1761.16 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=595672/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=929184 CPUtime=1760.41 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 231338 0 0 0 175910 131 0 0 25 0 1 0 195625317 951484416 230995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 232296 230995 206 16 0 231737 0 Current children cumulated CPU time (s) 1760.41 Current children cumulated vsize (Kb) 929184 [startup+1771.16 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=590872/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=933956 CPUtime=1770.41 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 232532 0 0 0 176909 132 0 0 25 0 1 0 195625317 956370944 232189 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 233489 232189 206 16 0 232930 0 Current children cumulated CPU time (s) 1770.41 Current children cumulated vsize (Kb) 933956 [startup+1781.17 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=585624/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=939136 CPUtime=1780.42 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 233846 0 0 0 177909 133 0 0 25 0 1 0 195625317 961675264 233503 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2623132 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 234784 233503 206 16 0 234225 0 Current children cumulated CPU time (s) 1780.42 Current children cumulated vsize (Kb) 939136 [startup+1782.18 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=584600/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=940148 CPUtime=1781.42 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 234103 0 0 0 178009 133 0 0 25 0 1 0 195625317 962711552 233760 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2623132 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 235037 233760 206 16 0 234478 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 940148 [startup+1783.18 s] /proc/loadavg: 1.00 0.99 0.97 2/64 12656 /proc/meminfo: memFree=584600/2055924 swapFree=4181416/4192956 [pid=11985] ppid=11983 vsize=940148 CPUtime=1782.43 /proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 234104 0 0 0 178110 133 0 0 25 0 1 0 195625317 962711552 233761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/11985/statm: 235037 233761 206 16 0 234478 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 940148 Child status: 10 Real time (s): 1783.78 CPU time (s): 1783.03 CPU user time (s): 1781.55 CPU system time (s): 1.47678 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (Kb): 940148
Begin job on node6 on Sat Jun 3 01:53:52 UTC 2006 FILE ID= 37063-1149299632 PBS_JOBID= 307283 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-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node6/37063-1149299632/instance-37063-1149299632.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-37063-1149299632 -o ROOT/results/node6/solver-37063-1149299632 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node6/37063-1149299632/instance-37063-1149299632.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= a2418d45f4247bab260506429e96e746 RANDOM SEED= 598701210 /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.268 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.268 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: 2055924 kB MemFree: 1522400 kB Buffers: 24440 kB Cached: 437208 kB SwapCached: 3472 kB Active: 34524 kB Inactive: 436092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1522400 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14924 kB Slab: 48952 kB Committed_AS: 254108 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 node6 on Sat Jun 3 02:23:36 UTC 2006