Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -8 | 1782.96 | 1783.59 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb |
MD5SUM | 937ec96fd1742e5ed6250d14e65c707b |
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.03 |
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 | 127011 |
Number of constraints which are clauses | 127011 |
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/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 1.49/1.56 c starting to Solve 1.49/1.56 c #variables read: 1534 - #constraints read: 127012 1.49/1.56 o 0 1.49/1.56 o 1 1.49/1.57 o 2 2.39/2.43 o 3 11.49/11.51 o 4 41.17/41.29 o 5 354.46/354.61 o 6 925.46/925.82 o 7 1397.00/1397.55 o 8 1782.77/1783.46 c total time : 1783.1 s 1782.77/1783.46 s SATISFIABLE 1782.77/1783.46 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1782.77/1783.46 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1782.77/1783.46 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1782.77/1783.46 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1782.77/1783.46 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1782.77/1783.46 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1782.77/1783.46 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1782.77/1783.46 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1782.77/1783.46 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1782.77/1783.46 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1782.77/1783.46 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1782.77/1783.46 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1782.77/1783.46 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1782.77/1783.46 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1782.77/1783.46 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1782.77/1783.46 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1782.77/1783.46 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1782.77/1783.46 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1782.77/1783.46 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1782.77/1783.46 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1782.77/1783.46 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1782.77/1783.46 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1782.77/1783.46 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1782.77/1783.46 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1782.77/1783.46 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1782.77/1783.46 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1782.77/1783.46 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 1782.77/1783.46 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1782.77/1783.46 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 x1043 -x1042 1782.77/1783.46 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 1782.77/1783.46 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 1782.77/1783.46 v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 1782.77/1783.46 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 1782.77/1783.46 v -x966 -x965 -x964 -x963 -x962 x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 1782.77/1783.46 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1782.77/1783.46 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1782.77/1783.46 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1782.77/1783.46 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1782.77/1783.46 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1782.77/1783.46 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1782.77/1783.46 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1782.77/1783.46 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1782.77/1783.46 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1782.77/1783.46 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1782.77/1783.46 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1782.77/1783.46 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1782.77/1783.46 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1782.77/1783.46 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1782.77/1783.46 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1782.77/1783.46 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1782.77/1783.46 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1782.77/1783.46 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1782.77/1783.46 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1782.77/1783.46 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1782.77/1783.46 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1782.77/1783.46 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1782.77/1783.46 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1782.77/1783.46 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1782.77/1783.46 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1782.77/1783.46 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1782.77/1783.46 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1782.77/1783.46 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1782.77/1783.46 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1782.77/1783.46 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1782.77/1783.46 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1782.77/1783.46 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1782.77/1783.46 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1782.77/1783.46 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1782.77/1783.46 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1782.77/1783.46 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1782.77/1783.46 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1782.77/1783.46 v x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1782.77/1783.46 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1782.77/1783.46 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1782.77/1783.46 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1782.77/1783.46 v -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 -x56 1782.77/1783.46 v -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 -x30 1782.77/1783.46 v -x29 -x28 x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1782.77/1783.46 v -x1
OK -8
/tmp/evaluation/353750-1176674727/instance-353750-1176674727.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-353750-1176674727 -o ROOT/results/node59/solver-353750-1176674727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353750-1176674727/instance-353750-1176674727.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/64 14816 /proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=2552 CPUtime=0 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 115382298 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 638 230 193 16 0 77 0 [startup+0.0179689 s] /proc/loadavg: 1.00 1.01 1.00 3/64 14816 /proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=2816 CPUtime=0.01 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 334 0 0 0 1 0 0 0 18 0 1 0 115382298 2883584 304 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 704 304 199 16 0 143 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2816 [startup+0.101985 s] /proc/loadavg: 1.00 1.01 1.00 3/64 14816 /proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=4016 CPUtime=0.09 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 626 0 0 0 9 0 0 0 18 0 1 0 115382298 4112384 596 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 1004 596 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.302022 s] /proc/loadavg: 1.00 1.01 1.00 3/64 14816 /proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=6680 CPUtime=0.29 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 1310 0 0 0 29 0 0 0 19 0 1 0 115382298 6840320 1280 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 1670 1280 199 16 0 1109 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6680 [startup+0.701098 s] /proc/loadavg: 1.00 1.01 1.00 3/64 14816 /proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=12008 CPUtime=0.69 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 2648 0 0 0 69 0 0 0 22 0 1 0 115382298 12296192 2618 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 3002 2618 199 16 0 2441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12008 [startup+1.50125 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14817 /proc/meminfo: memFree=1638256/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=19108 CPUtime=1.49 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 4420 0 0 0 148 1 0 0 25 0 1 0 115382298 19566592 4358 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 4777 4358 203 16 0 4216 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19108 [startup+3.10155 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14817 /proc/meminfo: memFree=1633648/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=21580 CPUtime=3.09 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 5066 0 0 0 308 1 0 0 25 0 1 0 115382298 22097920 5004 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 5395 5004 205 16 0 4834 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21580 [startup+6.30216 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14817 /proc/meminfo: memFree=1632368/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=21908 CPUtime=6.29 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 5251 0 0 0 627 2 0 0 25 0 1 0 115382298 22433792 5094 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 5477 5094 205 16 0 4916 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21908 [startup+12.7014 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14817 /proc/meminfo: memFree=1632048/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=22268 CPUtime=12.68 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 5352 0 0 0 1266 2 0 0 25 0 1 0 115382298 22802432 5169 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 5567 5169 205 16 0 5006 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22268 [startup+25.5018 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14817 /proc/meminfo: memFree=1621488/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=32724 CPUtime=25.48 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 7958 0 0 0 2544 4 0 0 25 0 1 0 115382298 33509376 7775 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 8181 7775 205 16 0 7620 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32724 [startup+51.1017 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14817 /proc/meminfo: memFree=1596976/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=57260 CPUtime=51.06 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 14093 0 0 0 5099 7 0 0 25 0 1 0 115382298 58634240 13910 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 14315 13910 205 16 0 13754 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 57260 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1559280/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=95012 CPUtime=102.25 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 23497 0 0 0 10213 12 0 0 25 0 1 0 115382298 97292288 23314 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 23753 23314 205 16 0 23192 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 95012 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1521264/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=132928 CPUtime=162.22 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 32969 0 0 0 16207 15 0 0 25 0 1 0 115382298 136118272 32786 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 33232 32786 205 16 0 32671 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 132928 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1491440/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=162860 CPUtime=222.2 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 40436 0 0 0 22201 19 0 0 25 0 1 0 115382298 166768640 40253 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 40715 40253 205 16 0 40154 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 162860 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1463536/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=191096 CPUtime=282.18 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 47502 0 0 0 28195 23 0 0 25 0 1 0 115382298 195682304 47319 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 47774 47319 205 16 0 47213 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 191096 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1424944/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=229396 CPUtime=342.16 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 57025 0 0 0 34189 27 0 0 25 0 1 0 115382298 234901504 56842 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 57349 56842 205 16 0 56788 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 229396 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1387632/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=267024 CPUtime=402.13 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 66391 0 0 0 40182 31 0 0 25 0 1 0 115382298 273432576 66208 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134529122 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 66756 66208 205 16 0 66195 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 267024 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1357168/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=297236 CPUtime=462.12 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 73935 0 0 0 46177 35 0 0 25 0 1 0 115382298 304369664 73752 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 74309 73752 205 16 0 73748 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 297236 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1322992/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=331324 CPUtime=522.1 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 82466 0 0 0 52168 42 0 0 25 0 1 0 115382298 339275776 82283 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 82831 82283 205 16 0 82270 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 331324 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1297840/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=357272 CPUtime=582.08 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 88895 0 0 0 58162 46 0 0 25 0 1 0 115382298 365846528 88712 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 89318 88712 205 16 0 88757 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 357272 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1269744/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=385044 CPUtime=642.06 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 95778 0 0 0 64155 51 0 0 25 0 1 0 115382298 394285056 95595 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 96261 95595 205 16 0 95700 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 385044 ################ # More data... # ################ /proc/meminfo: memFree=1183920/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=471940 CPUtime=821.99 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 117260 0 0 0 82133 66 0 0 25 0 1 0 115382298 483266560 117077 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 117985 117077 206 16 0 117424 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 471940 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1163952/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=491880 CPUtime=881.97 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 122206 0 0 0 88129 68 0 0 25 0 1 0 115382298 503685120 122023 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 122970 122023 206 16 0 122409 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 491880 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1142512/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=513140 CPUtime=941.95 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 127514 0 0 0 94124 71 0 0 25 0 1 0 115382298 525455360 127331 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 128285 127331 206 16 0 127724 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 513140 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1119280/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=536252 CPUtime=1001.94 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 133302 0 0 0 100120 74 0 0 25 0 1 0 115382298 549122048 133119 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 134063 133119 206 16 0 133502 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 536252 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1095856/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=560528 CPUtime=1061.91 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 139334 0 0 0 106114 77 0 0 25 0 1 0 115382298 573980672 139151 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 140132 139151 206 16 0 139571 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 560528 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1071536/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=584132 CPUtime=1121.89 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 145222 0 0 0 112108 81 0 0 25 0 1 0 115382298 598151168 145039 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 146033 145039 206 16 0 145472 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 584132 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1049520/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=606020 CPUtime=1181.87 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 150703 0 0 0 118101 86 0 0 25 0 1 0 115382298 620564480 150520 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 151505 150520 206 16 0 150944 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 606020 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=1023408/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=632256 CPUtime=1241.85 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 157229 0 0 0 124095 90 0 0 25 0 1 0 115382298 647430144 157046 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 158064 157046 206 16 0 157503 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 632256 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=997744/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=657728 CPUtime=1301.84 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 163616 0 0 0 130089 95 0 0 25 0 1 0 115382298 673513472 163433 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 164432 163433 206 16 0 163871 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 657728 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=975920/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=679976 CPUtime=1361.81 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 169174 0 0 0 136083 98 0 0 25 0 1 0 115382298 696295424 168991 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9724877 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 169994 168991 206 16 0 169433 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 679976 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=948656/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=707108 CPUtime=1421.8 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 175875 0 0 0 142078 102 0 0 25 0 1 0 115382298 724078592 175692 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 176777 175692 206 16 0 176216 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 707108 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=923376/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=732772 CPUtime=1481.77 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 182286 0 0 0 148071 106 0 0 25 0 1 0 115382298 750358528 182103 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 183193 182103 206 16 0 182632 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 732772 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=903536/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=752184 CPUtime=1541.75 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 187120 0 0 0 154065 110 0 0 25 0 1 0 115382298 770236416 186937 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 188046 186937 206 16 0 187485 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 752184 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=890608/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=766556 CPUtime=1601.73 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 190486 0 0 0 160061 112 0 0 25 0 1 0 115382298 784953344 190271 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 191639 190271 206 16 0 191078 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 766556 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=878512/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=779172 CPUtime=1661.71 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 193494 0 0 0 166057 114 0 0 25 0 1 0 115382298 797872128 193215 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 194793 193215 206 16 0 194232 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 779172 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=865904/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=793108 CPUtime=1721.68 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 196857 0 0 0 172053 115 0 0 25 0 1 0 115382298 812142592 196578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9724877 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 198277 196578 206 16 0 197716 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 793108 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=846704/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=811464 CPUtime=1781.67 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 201461 0 0 0 178050 117 0 0 25 0 1 0 115382298 830939136 201182 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 202866 201182 206 16 0 202305 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 811464 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=846000/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=811972 CPUtime=1782.47 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 201596 0 0 0 178130 117 0 0 25 0 1 0 115382298 831459328 201317 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 202993 201317 206 16 0 202432 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (KiB) 811972 [startup+1783.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14817 /proc/meminfo: memFree=846000/2055920 swapFree=4184740/4192956 [pid=14816] ppid=14814 vsize=0 CPUtime=1782.87 /proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194308 201603 0 0 0 178166 121 0 0 17 0 1 0 115382298 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/14816/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.87 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1783.59 CPU time (s): 1782.96 CPU user time (s): 1781.66 CPU system time (s): 1.3038 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 811972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.66 system time used= 1.3038 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201603 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 1429 runsolver used 1.17482 second user time and 3.70444 second system time The end
Begin job on node59 on Sun Apr 15 22:05:27 UTC 2007 IDJOB= 353750 IDBENCH= 2266 IDSOLVER= 165 FILE ID= node59/353750-1176674727 PBS_JOBID= 4559945 Free space on /tmp= 66558 MiB SOLVER NAME= Pueblo 1.4 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-4.opb COMMAND LINE= Pueblo /tmp/evaluation/353750-1176674727/instance-353750-1176674727.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-353750-1176674727 -o ROOT/results/node59/conversion-353750-1176674727 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353750-1176674727/instance-353750-1176674727.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-353750-1176674727 -o ROOT/results/node59/solver-353750-1176674727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353750-1176674727/instance-353750-1176674727.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b RANDOM SEED= 66144666 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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: 2055920 kB MemFree: 1652432 kB Buffers: 62480 kB Cached: 236456 kB SwapCached: 2712 kB Active: 110232 kB Inactive: 203388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1652432 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 5332 kB Writeback: 0 kB Mapped: 20260 kB Slab: 75840 kB Committed_AS: 1530528 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node59 on Sun Apr 15 22:35:11 UTC 2007