Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -7 | 1800.09 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb |
MD5SUM | 0c3fb28b3ecb8f1eba2bffa356ef5364 |
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 | 81.8136 |
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) | 2932 |
Sum of products size (including duplicates) | 5864 |
Number of different products | 1466 |
Sum of products size | 2932 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb ...... 0.09/0.13 c done parsing opb. 0.09/0.13 o 47 0.09/0.18 o 46 0.19/0.22 o 45 0.39/0.41 o 44 52.98/53.02 o 43 1800.05/1800.60 s SATISFIABLE 1800.05/1800.60 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 1800.05/1800.60 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.05/1800.60 v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.05/1800.60 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 1800.05/1800.60 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.05/1800.60 v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 1800.05/1800.60 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.05/1800.60 v -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.05/1800.60 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 1800.05/1800.60 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.05/1800.60 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.05/1800.60 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.05/1800.60 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 1800.05/1800.60 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 1800.05/1800.60 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.05/1800.60 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 1800.05/1800.60 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.05/1800.60 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 1800.05/1800.60 v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 1800.05/1800.60 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.05/1800.60 v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 1800.05/1800.60 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.05/1800.60 v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 1800.05/1800.60 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.05/1800.60 v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.05/1800.60 v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 1800.05/1800.60 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.05/1800.60 v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 1800.05/1800.60 v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.05/1800.60 v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 1800.05/1800.60 v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 1800.05/1800.60 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.05/1800.60 v -x1507 -x1508 x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 1800.05/1800.60 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.05/1800.60 v -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.05/1800.60 v -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x157 -x158 -x159 -x16 -x160 -x161 -x162 1800.05/1800.60 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 1800.05/1800.60 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 1800.05/1800.60 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1800.05/1800.60 v -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 1800.05/1800.60 v -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.05/1800.60 v -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.05/1800.60 v -x277 -x278 -x279 x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 1800.05/1800.60 v -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 1800.05/1800.60 v -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x33 -x330 -x331 -x332 1800.05/1800.60 v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 1800.05/1800.60 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x37 -x370 1800.05/1800.60 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x39 1800.05/1800.60 v -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1800.05/1800.60 v -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1800.05/1800.60 v -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.05/1800.60 v -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 1800.05/1800.60 v -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x48 -x480 -x481 -x482 -x483 -x484 1800.05/1800.60 v -x485 -x486 -x487 -x488 -x489 x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x5 -x50 -x500 -x501 -x502 -x503 1800.05/1800.60 v -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 1800.05/1800.60 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 1800.05/1800.60 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 1800.05/1800.60 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 1800.05/1800.60 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 1800.05/1800.60 v -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.05/1800.60 v -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.05/1800.60 v -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 1800.05/1800.60 v -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 1800.05/1800.60 v -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 1800.05/1800.60 v -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 1800.05/1800.60 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 1800.05/1800.60 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x75 1800.05/1800.60 v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 1800.05/1800.60 v -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1800.05/1800.60 v -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 1800.05/1800.60 v -x808 -x809 x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.05/1800.60 v -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 1800.05/1800.60 v -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 1800.05/1800.60 v -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 1800.05/1800.60 v -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 1800.05/1800.60 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 1800.05/1800.60 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 1800.05/1800.60 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 1800.05/1800.60 v -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 1800.05/1800.60 v -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 1800.05/1800.60 v -x998 -x999
OK -7
Linearizing /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-459798-1178660467 -o ROOT/results/node15/solver-459798-1178660467 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459798-1178660467/instance-459798-1178660467.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.94 1.01 0.99 3/77 22457 /proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=1604 CPUtime=0 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 313964319 1642496 169 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 401 169 86 219 0 178 0 [startup+0.0107359 s] /proc/loadavg: 0.94 1.01 0.99 3/77 22457 /proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=1604 CPUtime=0 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 210 0 0 0 0 0 0 0 18 0 1 0 313964319 1642496 192 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134798152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 401 192 86 219 0 178 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1604 [startup+0.101744 s] /proc/loadavg: 0.94 1.01 0.99 3/77 22457 /proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=2012 CPUtime=0.09 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 316 0 0 0 9 0 0 0 18 0 1 0 313964319 2060288 298 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 503 298 90 219 0 280 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2012 [startup+0.301763 s] /proc/loadavg: 0.94 1.01 0.99 3/77 22457 /proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=2492 CPUtime=0.29 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 408 0 0 0 29 0 0 0 19 0 1 0 313964319 2551808 390 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 623 390 102 219 0 400 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2492 [startup+0.701799 s] /proc/loadavg: 0.94 1.01 0.99 3/77 22457 /proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=4356 CPUtime=0.69 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 713 0 0 0 69 0 0 0 22 0 1 0 313964319 4460544 695 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 1089 695 102 219 0 866 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4356 [startup+1.50187 s] /proc/loadavg: 0.94 1.01 0.99 2/78 22458 /proc/meminfo: memFree=1455640/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=6988 CPUtime=1.49 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 1405 0 0 0 148 1 0 0 25 0 1 0 313964319 7155712 1338 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 1747 1338 102 219 0 1524 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6988 [startup+3.10202 s] /proc/loadavg: 0.94 1.01 0.99 2/78 22458 /proc/meminfo: memFree=1452696/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=11924 CPUtime=3.09 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 2117 0 0 0 307 2 0 0 25 0 1 0 313964319 12210176 2050 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 2981 2050 102 219 0 2758 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11924 [startup+6.30131 s] /proc/loadavg: 0.95 1.01 0.99 2/78 22458 /proc/meminfo: memFree=1448216/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=21240 CPUtime=6.29 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 3180 0 0 0 624 5 0 0 25 0 1 0 313964319 21749760 3016 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 5310 3016 102 219 0 5087 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21240 [startup+12.7019 s] /proc/loadavg: 0.95 1.01 0.99 2/78 22458 /proc/meminfo: memFree=1444632/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=22960 CPUtime=12.69 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 3968 0 0 0 1262 7 0 0 25 0 1 0 313964319 23511040 3611 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 5740 3611 102 219 0 5517 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22960 [startup+25.5011 s] /proc/loadavg: 0.96 1.01 0.99 2/78 22460 /proc/meminfo: memFree=1440536/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=24236 CPUtime=25.48 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 5027 0 0 0 2537 11 0 0 25 0 1 0 313964319 24817664 4670 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 6059 4670 102 219 0 5836 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24236 [startup+51.1014 s] /proc/loadavg: 0.97 1.01 0.99 2/78 22460 /proc/meminfo: memFree=1427352/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=46248 CPUtime=51.08 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 8811 0 0 0 5089 19 0 0 25 0 1 0 313964319 47357952 8069 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 11562 8069 102 219 0 11339 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46248 [startup+102.305 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1418328/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=52996 CPUtime=102.27 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 11714 0 0 0 10198 29 0 0 25 0 1 0 313964319 54267904 10203 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 13249 10203 102 219 0 13026 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 52996 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1406104/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=89488 CPUtime=162.25 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 14959 0 0 0 16186 39 0 0 25 0 1 0 313964319 91635712 13283 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 22372 13283 102 219 0 22149 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 89488 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1389144/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=95512 CPUtime=222.24 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 19765 0 0 0 22174 50 0 0 25 0 1 0 313964319 97804288 17495 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 23878 17495 102 219 0 23655 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 95512 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1386072/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=97576 CPUtime=282.22 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 20927 0 0 0 28166 56 0 0 25 0 1 0 313964319 99917824 18294 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 24394 18294 102 219 0 24171 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 97576 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1379928/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=105976 CPUtime=342.2 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 24045 0 0 0 34157 63 0 0 25 0 1 0 313964319 108519424 19743 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 26494 19743 102 219 0 26271 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 105976 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1377752/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=107272 CPUtime=402.19 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 24785 0 0 0 40149 70 0 0 25 0 1 0 313964319 109846528 20384 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550423 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 26818 20384 102 219 0 26595 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 107272 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1368088/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=109808 CPUtime=462.17 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 27416 0 0 0 46138 79 0 0 25 0 1 0 313964319 112443392 22753 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 27452 22753 102 219 0 27229 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 109808 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1366232/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=111360 CPUtime=522.16 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 27993 0 0 0 52132 84 0 0 25 0 1 0 313964319 114032640 23199 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 27840 23199 102 219 0 27617 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 111360 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1361880/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=113564 CPUtime=582.14 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 29478 0 0 0 58123 91 0 0 25 0 1 0 313964319 116289536 24325 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 28391 24325 102 219 0 28168 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 113564 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1350680/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=182300 CPUtime=642.13 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 32980 0 0 0 64113 100 0 0 25 0 1 0 313964319 186675200 27079 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 45575 27079 102 219 0 45352 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 182300 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1343384/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=185884 CPUtime=822.09 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 35029 0 0 0 82091 118 0 0 25 0 1 0 313964319 190345216 28899 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 46471 28899 102 219 0 46248 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 185884 [startup+882.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22460 /proc/meminfo: memFree=1340312/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=188852 CPUtime=882.08 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 36188 0 0 0 88085 123 0 0 25 0 1 0 313964319 193384448 29668 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 47213 29668 102 219 0 46990 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 188852 [startup+942.301 s] /proc/loadavg: 1.06 1.02 1.00 2/78 22460 /proc/meminfo: memFree=1333784/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=189656 CPUtime=942.06 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 37905 0 0 0 94077 129 0 0 25 0 1 0 313964319 194207744 31287 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 47414 31287 102 219 0 47191 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 189656 [startup+1002.3 s] /proc/loadavg: 1.12 1.04 1.01 2/78 22460 /proc/meminfo: memFree=1332952/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=190168 CPUtime=1002.05 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 38262 0 0 0 100070 135 0 0 25 0 1 0 313964319 194732032 31514 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 47542 31514 102 219 0 47319 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 190168 [startup+1062.3 s] /proc/loadavg: 1.14 1.06 1.01 2/78 22460 /proc/meminfo: memFree=1328792/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=192152 CPUtime=1062.03 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 39618 0 0 0 106062 141 0 0 25 0 1 0 313964319 196763648 32610 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 48038 32610 102 219 0 47815 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 192152 [startup+1122.3 s] /proc/loadavg: 1.05 1.05 1.00 2/78 22460 /proc/meminfo: memFree=1319128/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=206964 CPUtime=1122.02 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 45433 0 0 0 112053 149 0 0 25 0 1 0 313964319 211931136 34962 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 51741 34962 102 219 0 51518 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 206964 [startup+1182.3 s] /proc/loadavg: 1.02 1.04 1.00 2/78 22460 /proc/meminfo: memFree=1318168/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=206956 CPUtime=1182 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 45764 0 0 0 118046 154 0 0 25 0 1 0 313964319 211922944 35162 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 51739 35162 102 219 0 51516 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 206956 [startup+1242.3 s] /proc/loadavg: 1.00 1.03 1.00 2/84 22632 /proc/meminfo: memFree=1315752/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=208228 CPUtime=1241.9 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 46215 0 0 0 124031 159 0 0 25 0 1 0 313964319 213225472 35483 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 52057 35483 102 219 0 51834 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 208228 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 22658 /proc/meminfo: memFree=1310040/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=209000 CPUtime=1301.87 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 47990 0 0 0 130022 165 0 0 25 0 1 0 313964319 214016000 37193 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134546933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 52250 37193 102 219 0 52027 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 209000 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 22658 /proc/meminfo: memFree=1303960/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=209912 CPUtime=1361.85 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 49679 0 0 0 136015 170 0 0 25 0 1 0 313964319 214949888 38719 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 52478 38719 102 219 0 52255 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 209912 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/78 22658 /proc/meminfo: memFree=1299032/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=210424 CPUtime=1421.84 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 51030 0 0 0 142008 176 0 0 25 0 1 0 313964319 215474176 39939 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 52606 39939 102 219 0 52383 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 210424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22658 /proc/meminfo: memFree=1297240/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=212012 CPUtime=1481.82 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 51727 0 0 0 147999 183 0 0 25 0 1 0 313964319 217100288 40376 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 53003 40376 102 219 0 52780 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 212012 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 22658 /proc/meminfo: memFree=1289880/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=214328 CPUtime=1541.8 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 53791 0 0 0 153992 188 0 0 25 0 1 0 313964319 219471872 42245 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 53582 42245 102 219 0 53359 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 214328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22658 /proc/meminfo: memFree=1280984/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=215952 CPUtime=1601.79 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 56256 0 0 0 159983 196 0 0 25 0 1 0 313964319 221134848 44451 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134584034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 53988 44451 102 219 0 53765 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 215952 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22658 /proc/meminfo: memFree=1274520/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=217360 CPUtime=1661.78 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 58243 0 0 0 165975 203 0 0 25 0 1 0 313964319 222576640 46081 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 54340 46081 102 219 0 54117 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 217360 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22658 /proc/meminfo: memFree=1269208/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=221072 CPUtime=1721.76 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 60339 0 0 0 171967 209 0 0 25 0 1 0 313964319 226377728 47401 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 55268 47401 102 219 0 55045 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 221072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22658 /proc/meminfo: memFree=1263384/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=221972 CPUtime=1781.75 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 62005 0 0 0 177960 215 0 0 25 0 1 0 313964319 227299328 48873 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 55493 48873 102 219 0 55270 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 221972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22658 /proc/meminfo: memFree=1261528/2055920 swapFree=4169132/4192956 [pid=22457] ppid=22455 vsize=222740 CPUtime=1800.05 /proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 62614 0 0 0 179789 216 0 0 25 0 1 0 313964319 228085760 49288 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22457/statm: 55685 49288 102 219 0 55462 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 222740 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.09 CPU user time (s): 1797.89 CPU system time (s): 2.20267 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 222740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.89 system time used= 2.20267 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62617 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= 2702 runsolver used 1.40579 second user time and 3.99039 second system time The end
Begin job on node15 on Tue May 8 21:41:07 UTC 2007 IDJOB= 459798 IDBENCH= 48259 IDSOLVER= 200 FILE ID= node15/459798-1178660467 PBS_JOBID= 5217839 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_4.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node15/convwatcher-459798-1178660467 -o ROOT/results/node15/conversion-459798-1178660467 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-459798-1178660467 -o ROOT/results/node15/solver-459798-1178660467 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED= 859032616 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1459512 kB Buffers: 64080 kB Cached: 408820 kB SwapCached: 2692 kB Active: 212936 kB Inactive: 306556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1459512 kB SwapTotal: 4192956 kB SwapFree: 4169132 kB Dirty: 2392 kB Writeback: 0 kB Mapped: 53972 kB Slab: 62300 kB Committed_AS: 10793344 kB PageTables: 1936 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 node15 on Tue May 8 22:11:10 UTC 2007