Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 20 | 1782.74 | 1783.21 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-mod013.opb |
MD5SUM | 4cf38d6355be5633005fa8af147e26d0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 452.735 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | YES |
Number of variables | 1488 |
Total number of constraints | 62 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 62 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 1488 |
Biggest coefficient in the objective function | 15208 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525399 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525399 |
Number of bits of the biggest sum of numbers | 20 |
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.03 c starting to Solve 0.03 c #variables read: 1488 - #constraints read: 77 0.07 o 22 858.09 o 21 1657.92 o 20 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 1783.21 v -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1783.21 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1783.21 v -x671 x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -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 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1783.21 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1783.21 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -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 1783.21 v -x1359 -x1360 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1783.21 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1411 -x1412 1783.21 v -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 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1783.21 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1783.21 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 1783.21 v -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 1783.21 v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 1783.21 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1783.21 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1783.21 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1783.21 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1783.21 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1783.21 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 1783.21 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1783.21 v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1783.21 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1783.21 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 1783.21 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1783.21 v -x329 -x330 -x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1783.21 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1783.21 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1783.21 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1783.21 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1783.21 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1783.21 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1783.21 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1783.21 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1783.21 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1783.21 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1783.21 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1783.21 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1783.21 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1783.21 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 1783.21 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 1783.21 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1783.21 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 1783.21 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1783.21 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1783.21 v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 1783.21 v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1783.21 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1783.21 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 1783.21 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 1783.21 v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 1783.21 v -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 1783.21 v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1783.21 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1783.21 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1783.21 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1783.21 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1783.21 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1783.21 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1783.21 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1783.21 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1783.21 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1783.21 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1783.21 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1783.21 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1783.21 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1783.21 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1783.21 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 1783.21 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1783.21 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1321 -x1322 x1323 -x1324 x1325 -x1326 -x1327 -x1328 x1329 1783.21 v x1330 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 1783.21 v -x1408 -x1409 -x1410 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1481 -x1482 -x1483 -x1484 -x1485 1783.21 v -x1486 -x1487 x1488
OK 20
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/node42/watcher-36536-1149347522 -o ROOT/results/node42/solver-36536-1149347522 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node42/36536-1149347522/instance-36536-1149347522.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 0.97 3/64 18795 /proc/meminfo: memFree=1619152/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=172 CPUtime=0 /proc/18795/stat : 18795 (Pueblo) D 18793 18795 18749 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 200419312 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12407588 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/18795/statm: 43 23 18 16 0 2 0 [startup+10.0021 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1616336/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=5308 CPUtime=9.99 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 970 0 0 0 975 24 0 0 25 0 1 0 200419312 5435392 941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 1327 941 205 16 0 768 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 5308 [startup+20.0092 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1615888/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=5820 CPUtime=19.99 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1083 0 0 0 1944 55 0 0 25 0 1 0 200419312 5959680 1054 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 1455 1054 205 16 0 896 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 5820 [startup+30.0163 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1614992/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=6564 CPUtime=29.99 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1298 0 0 0 2927 72 0 0 25 0 1 0 200419312 6721536 1266 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 1641 1266 205 16 0 1082 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 6564 [startup+40.0214 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1615056/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=6564 CPUtime=40 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1298 0 0 0 3911 89 0 0 25 0 1 0 200419312 6721536 1266 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 1641 1266 205 16 0 1082 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6564 [startup+50.0275 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1615056/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=6564 CPUtime=50 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1298 0 0 0 4894 106 0 0 25 0 1 0 200419312 6721536 1266 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 1641 1266 205 16 0 1082 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6564 [startup+60.0337 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1615056/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=6564 CPUtime=60.01 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1298 0 0 0 5884 117 0 0 25 0 1 0 200419312 6721536 1266 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 1641 1266 205 16 0 1082 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 6564 [startup+70.0398 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1615056/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=6564 CPUtime=70.01 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1298 0 0 0 6867 134 0 0 25 0 1 0 200419312 6721536 1266 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 1641 1266 205 16 0 1082 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 6564 [startup+80.0459 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613968/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=7496 CPUtime=80.02 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1644 0 0 0 7857 145 0 0 25 0 1 0 200419312 7675904 1499 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 1874 1499 205 16 0 1315 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 7496 [startup+90.052 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=90.02 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 8850 152 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 8348 [startup+100.058 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=100.02 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 9837 165 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 8348 [startup+110.064 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=110.02 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 10823 179 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 8348 [startup+120.07 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=120.03 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 11811 192 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 8348 [startup+130.077 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=130.03 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 12802 201 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 8348 [startup+140.084 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=140.03 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 13791 212 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 8348 [startup+150.09 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=150.04 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 14780 224 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 8348 [startup+160.095 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=160.05 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 15771 234 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 8348 [startup+170.101 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=170.05 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 16759 246 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 8348 [startup+180.107 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=180.05 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 17747 258 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 8348 [startup+190.113 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=190.05 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 18730 275 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 8348 [startup+200.119 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613392/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=8348 CPUtime=200.05 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 1877 0 0 0 19721 284 0 0 25 0 1 0 200419312 8548352 1686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2087 1686 205 16 0 1528 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 8348 [startup+210.125 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18795 /proc/meminfo: memFree=1613200/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/18795/statm: 2504 2129 205 16 0 1945 0 Current children cumulated CPU time (s) 1590.53 Current children cumulated vsize (Kb) 10016 [startup+1600.97 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610896/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10016 CPUtime=1600.53 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 5741 0 0 0 158039 2014 0 0 25 0 1 0 200419312 10256384 2129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2504 2129 205 16 0 1945 0 Current children cumulated CPU time (s) 1600.53 Current children cumulated vsize (Kb) 10016 [startup+1610.98 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610384/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10776 CPUtime=1610.54 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 5917 0 0 0 159033 2021 0 0 25 0 1 0 200419312 11034624 2305 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2694 2305 205 16 0 2135 0 Current children cumulated CPU time (s) 1610.54 Current children cumulated vsize (Kb) 10776 [startup+1620.98 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610384/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10776 CPUtime=1620.54 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 5917 0 0 0 160022 2032 0 0 25 0 1 0 200419312 11034624 2305 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2694 2305 205 16 0 2135 0 Current children cumulated CPU time (s) 1620.54 Current children cumulated vsize (Kb) 10776 [startup+1630.99 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610320/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10776 CPUtime=1630.55 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 5917 0 0 0 161012 2043 0 0 25 0 1 0 200419312 11034624 2305 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2694 2305 205 16 0 2135 0 Current children cumulated CPU time (s) 1630.55 Current children cumulated vsize (Kb) 10776 [startup+1640.99 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610320/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10776 CPUtime=1640.55 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 5917 0 0 0 162002 2053 0 0 25 0 1 0 200419312 11034624 2305 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2694 2305 205 16 0 2135 0 Current children cumulated CPU time (s) 1640.55 Current children cumulated vsize (Kb) 10776 [startup+1651 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1650.55 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 162988 2067 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1650.55 Current children cumulated vsize (Kb) 10848 [startup+1661.01 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1660.56 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 163979 2077 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1660.56 Current children cumulated vsize (Kb) 10848 [startup+1671.01 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1670.56 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 164970 2086 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1670.56 Current children cumulated vsize (Kb) 10848 [startup+1681.02 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1680.57 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 165962 2095 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1680.57 Current children cumulated vsize (Kb) 10848 [startup+1691.02 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1690.56 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 166954 2102 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528015 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1690.56 Current children cumulated vsize (Kb) 10848 [startup+1701.03 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1700.57 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 167946 2111 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1700.57 Current children cumulated vsize (Kb) 10848 [startup+1711.04 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1710.57 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 168933 2124 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1710.57 Current children cumulated vsize (Kb) 10848 [startup+1721.04 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1720.57 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 169924 2133 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1720.57 Current children cumulated vsize (Kb) 10848 [startup+1731.05 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1730.58 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 170918 2140 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 10848 [startup+1741.06 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1740.58 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 171908 2150 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1740.58 Current children cumulated vsize (Kb) 10848 [startup+1751.06 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1750.59 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 172896 2163 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556501 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1750.59 Current children cumulated vsize (Kb) 10848 [startup+1761.07 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1760.59 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 173885 2174 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 10848 [startup+1771.07 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1770.59 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 174875 2184 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 10848 [startup+1781.08 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1780.6 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 175866 2194 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 10848 [startup+1782.09 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1781.6 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 175965 2195 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 10848 [startup+1783.09 s] /proc/loadavg: 0.99 1.00 0.97 2/64 18797 /proc/meminfo: memFree=1610000/2055920 swapFree=4181444/4192956 [pid=18795] ppid=18793 vsize=10848 CPUtime=1782.6 /proc/18795/stat : 18795 (Pueblo) R 18793 18795 18749 0 -1 4194304 6256 0 0 0 176064 2196 0 0 25 0 1 0 200419312 11108352 2337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18795/statm: 2712 2337 205 16 0 2153 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 10848 Child status: 10 Real time (s): 1783.21 CPU time (s): 1782.74 CPU user time (s): 1760.76 CPU system time (s): 21.9747 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (Kb): 11296
Begin job on node42 on Sat Jun 3 15:12:02 UTC 2006 FILE ID= 36536-1149347522 PBS_JOBID= 310767 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-mod013.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node42/36536-1149347522/instance-36536-1149347522.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-36536-1149347522 -o ROOT/results/node42/solver-36536-1149347522 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node42/36536-1149347522/instance-36536-1149347522.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 4cf38d6355be5633005fa8af147e26d0 RANDOM SEED= 413522342 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1619488 kB Buffers: 9616 kB Cached: 359472 kB SwapCached: 3212 kB Active: 42704 kB Inactive: 335172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1619488 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14932 kB Slab: 44540 kB Committed_AS: 337280 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 node42 on Sat Jun 3 15:41:46 UTC 2006