Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -7 | 1800.13 | 1800.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 124.223 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2952 |
Sum of products size (including duplicates) | 5904 |
Number of different products | 1476 |
Sum of products size | 2952 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459770-1178659865/instance-459770-1178659865.opb ...... 0.10/0.13 c done parsing opb. 0.10/0.13 o 47 0.10/0.14 o 46 0.10/0.16 o 45 0.89/0.91 o 44 22.28/22.39 o 43 1800.09/1800.71 s SATISFIABLE 1800.09/1800.71 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 1800.09/1800.71 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.09/1800.71 v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.09/1800.71 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 1800.09/1800.71 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.09/1800.71 v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 1800.09/1800.71 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.09/1800.71 v -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.09/1800.71 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 1800.09/1800.71 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.09/1800.71 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.09/1800.71 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 1800.09/1800.71 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 1800.09/1800.71 v -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 1800.09/1800.71 v -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 1800.09/1800.71 v -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 1800.09/1800.71 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.09/1800.71 v -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.09/1800.71 v -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 1800.09/1800.71 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.09/1800.71 v -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 1800.09/1800.71 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.09/1800.71 v -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 1800.09/1800.71 v -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 1800.09/1800.71 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.09/1800.71 v -x1397 -x1398 -x1399 x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 1800.09/1800.71 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1800.09/1800.71 v -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 1800.09/1800.71 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 1800.09/1800.71 v -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1800.09/1800.71 v -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 1800.09/1800.71 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.09/1800.71 v -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 1800.09/1800.71 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 1800.09/1800.71 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.09/1800.71 v -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 1800.09/1800.71 v -x1573 -x1574 -x1575 -x1576 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 1800.09/1800.71 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 1800.09/1800.71 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.09/1800.71 v -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 1800.09/1800.71 v -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 1800.09/1800.71 v -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 1800.09/1800.71 v -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 1800.09/1800.71 v -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x3 -x30 -x300 -x301 -x302 -x303 -x304 1800.09/1800.71 v -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 1800.09/1800.71 v -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 1800.09/1800.71 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x36 -x360 -x361 1800.09/1800.71 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x38 -x380 1800.09/1800.71 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 1800.09/1800.71 v -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1800.09/1800.71 v -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1800.09/1800.71 v -x438 -x439 x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 1800.09/1800.71 v -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 1800.09/1800.71 v -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 1800.09/1800.71 v -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 1800.09/1800.71 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 1800.09/1800.71 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 1800.09/1800.71 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 1800.09/1800.71 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.09/1800.71 v -x59 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.09/1800.71 v -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1800.09/1800.71 v -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 1800.09/1800.71 v -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 1800.09/1800.71 v -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 1800.09/1800.71 v -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 1800.09/1800.71 v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 1800.09/1800.71 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 1800.09/1800.71 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 1800.09/1800.71 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1800.09/1800.71 v -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.09/1800.71 v -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 1800.09/1800.71 v -x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 1800.09/1800.71 v -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x85 -x850 -x851 -x852 -x853 -x854 1800.09/1800.71 v -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 -x872 -x873 1800.09/1800.71 v -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 1800.09/1800.71 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 1800.09/1800.71 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 1800.09/1800.71 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 1800.09/1800.71 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 1800.09/1800.71 v x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.09/1800.71 v -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK -7
Linearizing /tmp/evaluation/459770-1178659865/instance-459770-1178659865.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-459770-1178659865 -o ROOT/results/node25/solver-459770-1178659865 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459770-1178659865/instance-459770-1178659865.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: 0.92 0.98 0.99 3/64 15124 /proc/meminfo: memFree=1926912/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=1604 CPUtime=0 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 313903643 1642496 169 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 401 169 86 219 0 178 0 [startup+0.0127571 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15124 /proc/meminfo: memFree=1926912/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=1604 CPUtime=0.01 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 210 0 0 0 1 0 0 0 18 0 1 0 313903643 1642496 192 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 401 192 86 219 0 178 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1604 [startup+0.102772 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15124 /proc/meminfo: memFree=1926912/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=2016 CPUtime=0.1 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 316 0 0 0 10 0 0 0 18 0 1 0 313903643 2064384 298 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 504 298 90 219 0 281 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2016 [startup+0.302806 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15124 /proc/meminfo: memFree=1926912/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=2148 CPUtime=0.29 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 371 0 0 0 29 0 0 0 19 0 1 0 313903643 2199552 353 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 537 353 102 219 0 314 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2148 [startup+0.701873 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15124 /proc/meminfo: memFree=1926912/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=3048 CPUtime=0.69 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 540 0 0 0 69 0 0 0 22 0 1 0 313903643 3121152 522 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 762 522 102 219 0 539 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3048 [startup+1.50201 s] /proc/loadavg: 0.92 0.98 0.99 3/65 15125 /proc/meminfo: memFree=1924344/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=6772 CPUtime=1.49 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 1228 0 0 0 148 1 0 0 25 0 1 0 313903643 6934528 1161 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 1693 1161 102 219 0 1470 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6772 [startup+3.10128 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1921080/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=11556 CPUtime=3.09 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 1975 0 0 0 307 2 0 0 25 0 1 0 313903643 11833344 1908 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 2889 1908 102 219 0 2666 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11556 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1916344/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=12976 CPUtime=6.29 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 3102 0 0 0 625 4 0 0 25 0 1 0 313903643 13287424 2938 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 3244 2938 102 219 0 3021 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12976 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1910328/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=23400 CPUtime=12.69 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 4607 0 0 0 1263 6 0 0 25 0 1 0 313903643 23961600 4250 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 5850 4250 102 219 0 5627 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23400 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1905464/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=24620 CPUtime=25.48 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 5742 0 0 0 2538 10 0 0 25 0 1 0 313903643 25210880 5385 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 6155 5385 102 219 0 5932 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24620 [startup+51.1025 s] /proc/loadavg: 0.96 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1898104/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=46204 CPUtime=51.08 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 8056 0 0 0 5090 18 0 0 25 0 1 0 313903643 47312896 7314 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 11551 7314 102 219 0 11328 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46204 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1890296/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=49028 CPUtime=102.26 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 9914 0 0 0 10200 26 0 0 25 0 1 0 313903643 50204672 9172 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 12257 9172 102 219 0 12034 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49028 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1871416/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=90868 CPUtime=162.23 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 15964 0 0 0 16186 37 0 0 25 0 1 0 313903643 93048832 13925 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 22717 13925 102 219 0 22494 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 90868 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1861432/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=94016 CPUtime=222.22 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 18659 0 0 0 22176 46 0 0 25 0 1 0 313903643 96272384 16356 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 23504 16356 102 219 0 23281 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 94016 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1859192/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=95656 CPUtime=282.19 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 19222 0 0 0 28167 52 0 0 25 0 1 0 313903643 97951744 16919 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 23914 16919 102 219 0 23691 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 95656 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1853752/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=98996 CPUtime=342.18 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 20992 0 0 0 34158 60 0 0 25 0 1 0 313903643 101371904 18260 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 24749 18260 102 219 0 24526 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 98996 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1848312/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=106820 CPUtime=402.16 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 24028 0 0 0 40147 69 0 0 25 0 1 0 313903643 109383680 19594 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 26705 19594 102 219 0 26482 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 106820 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1843320/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=108740 CPUtime=462.14 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 25566 0 0 0 46139 75 0 0 25 0 1 0 313903643 111349760 20868 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 27185 20868 102 219 0 26962 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 108740 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1838008/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=110172 CPUtime=522.12 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 26992 0 0 0 52129 83 0 0 25 0 1 0 313903643 112816128 22195 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 27543 22195 102 219 0 27320 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 110172 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15125 /proc/meminfo: memFree=1827832/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=114404 CPUtime=582.1 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 30437 0 0 0 58118 92 0 0 25 0 1 0 313903643 117149696 24696 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 28601 24696 102 219 0 28378 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 114404 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1816696/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=182924 CPUtime=642.08 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 33831 0 0 0 64107 101 0 0 25 0 1 0 313903643 187314176 27470 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 45731 27470 102 219 0 45508 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 182924 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1801464/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=190324 CPUtime=882.01 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 38680 0 0 0 88077 124 0 0 25 0 1 0 313903643 194891776 31276 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 47581 31276 102 219 0 47358 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 190324 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1792056/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=191352 CPUtime=941.99 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 41215 0 0 0 94067 132 0 0 25 0 1 0 313903643 195944448 33616 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 47838 33616 102 219 0 47615 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 191352 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1783096/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=205592 CPUtime=1001.96 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 46927 0 0 0 100057 139 0 0 25 0 1 0 313903643 210526208 35865 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 51398 35865 102 219 0 51175 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 205592 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1777976/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=206876 CPUtime=1061.94 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 48461 0 0 0 106050 144 0 0 25 0 1 0 313903643 211841024 37139 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 51719 37139 102 219 0 51496 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 206876 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1772088/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=208088 CPUtime=1121.92 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 50106 0 0 0 112042 150 0 0 25 0 1 0 313903643 213082112 38589 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 52022 38589 102 219 0 51799 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 208088 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1768696/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=209832 CPUtime=1181.91 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 51052 0 0 0 118035 156 0 0 25 0 1 0 313903643 214867968 39405 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 52458 39405 102 219 0 52235 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 209832 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1767352/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=210600 CPUtime=1241.88 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 51569 0 0 0 124028 160 0 0 25 0 1 0 313903643 215654400 39727 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 52650 39727 102 219 0 52427 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 210600 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1761784/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=211776 CPUtime=1301.87 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 53095 0 0 0 130019 168 0 0 25 0 1 0 313903643 216858624 41123 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544708 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 52944 41123 102 219 0 52721 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 211776 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1755448/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=212428 CPUtime=1361.85 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 54737 0 0 0 136011 174 0 0 25 0 1 0 313903643 217526272 42700 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 53107 42700 102 219 0 52884 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 212428 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1747128/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=214740 CPUtime=1421.83 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 56938 0 0 0 142002 181 0 0 25 0 1 0 313903643 219893760 44771 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 53685 44771 102 219 0 53462 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 214740 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1745656/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=215416 CPUtime=1481.81 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 57305 0 0 0 147995 186 0 0 25 0 1 0 313903643 220585984 45138 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 53854 45138 102 219 0 53631 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 215416 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1744184/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=217720 CPUtime=1541.8 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 58255 0 0 0 153988 192 0 0 25 0 1 0 313903643 222945280 45505 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 54430 45505 102 219 0 54207 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 217720 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1742968/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=219216 CPUtime=1601.78 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 58700 0 0 0 159981 197 0 0 25 0 1 0 313903643 224477184 45821 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 54804 45821 102 219 0 54581 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 219216 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1741816/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=219348 CPUtime=1661.76 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 58972 0 0 0 165974 202 0 0 25 0 1 0 313903643 224612352 46093 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 54837 46093 102 219 0 54614 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 219348 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1740920/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=219348 CPUtime=1721.73 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 59198 0 0 0 171967 206 0 0 25 0 1 0 313903643 224612352 46319 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 54837 46319 102 219 0 54614 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 219348 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15127 /proc/meminfo: memFree=1737976/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=222040 CPUtime=1781.72 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 59960 0 0 0 177961 211 0 0 25 0 1 0 313903643 227368960 47016 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 55510 47016 102 219 0 55287 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 222040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.07 1.00 1.00 2/71 15193 /proc/meminfo: memFree=1736440/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=222040 CPUtime=1800.09 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 59995 0 0 0 179797 212 0 0 25 0 1 0 313903643 227368960 47051 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 55510 47051 102 219 0 55287 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 222040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.07 1.00 1.00 2/71 15193 /proc/meminfo: memFree=1736440/2055920 swapFree=4183088/4192956 [pid=15124] ppid=15122 vsize=222040 CPUtime=1800.09 /proc/15124/stat : 15124 (PBS4_SAT07v2) R 15122 15124 13855 0 -1 4194304 59995 0 0 0 179797 212 0 0 25 0 1 0 313903643 227368960 47051 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15124/statm: 55510 47051 102 219 0 55287 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 222040 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.13 CPU user time (s): 1797.97 CPU system time (s): 2.15867 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 222040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.97 system time used= 2.15867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59998 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= 8 involuntary context switches= 3017 runsolver used 1.23881 second user time and 3.69144 second system time The end
Begin job on node25 on Tue May 8 21:31:06 UTC 2007 IDJOB= 459770 IDBENCH= 48231 IDSOLVER= 200 FILE ID= node25/459770-1178659865 PBS_JOBID= 5218400 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459770-1178659865/instance-459770-1178659865.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-459770-1178659865 -o ROOT/results/node25/conversion-459770-1178659865 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459770-1178659865/instance-459770-1178659865.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-459770-1178659865 -o ROOT/results/node25/solver-459770-1178659865 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459770-1178659865/instance-459770-1178659865.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED= 285615009 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1927320 kB Buffers: 8820 kB Cached: 32664 kB SwapCached: 3804 kB Active: 34444 kB Inactive: 16836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927320 kB SwapTotal: 4192956 kB SwapFree: 4183088 kB Dirty: 2372 kB Writeback: 0 kB Mapped: 15932 kB Slab: 63388 kB Committed_AS: 8381504 kB PageTables: 1472 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= 66562 MiB End job on node25 on Tue May 8 22:01:08 UTC 2007