Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -47 | 1800.08 | 1800.75 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458999-1178647362/instance-458999-1178647362.opb ...... 0.79/0.86 c done parsing opb. 0.79/0.86 o 1534 0.79/0.87 o 1533 0.79/0.89 o 1532 0.89/0.90 o 1531 0.89/0.92 o 1530 0.89/0.98 o 1529 0.89/0.99 o 1528 13.68/13.77 o 1492 13.88/13.91 o 1491 19.98/20.00 o 1490 31.28/31.33 o 1489 48.97/49.02 o 1488 197.32/197.40 o 1487 1800.04/1800.70 s SATISFIABLE 1800.04/1800.70 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.04/1800.70 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.04/1800.70 v -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.04/1800.70 v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.04/1800.70 v -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 1800.04/1800.70 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.04/1800.70 v -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 1800.04/1800.70 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.04/1800.70 v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 1800.04/1800.70 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.04/1800.70 v -x1159 -x116 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 x1172 -x1173 -x1174 1800.04/1800.70 v -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 1800.04/1800.70 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.04/1800.70 v -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 1800.04/1800.70 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1800.04/1800.70 v -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.04/1800.70 v x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 1800.04/1800.70 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.04/1800.70 v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 1800.04/1800.70 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.04/1800.70 v -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.04/1800.70 v -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 1800.04/1800.70 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.04/1800.70 v -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 x1382 -x1383 1800.04/1800.70 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.04/1800.70 v -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 1800.04/1800.70 v -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 1800.04/1800.70 v -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.04/1800.70 v -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 1800.04/1800.70 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1800.04/1800.70 v x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 1800.04/1800.70 v -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 1800.04/1800.70 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 1800.04/1800.70 v -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 1800.04/1800.70 v -x163 -x164 -x165 -x166 -x167 x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 1800.04/1800.70 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 1800.04/1800.70 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 1800.04/1800.70 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1800.04/1800.70 v -x24 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1800.04/1800.70 v -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.04/1800.70 v -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.04/1800.70 v -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 1800.04/1800.70 v -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 1800.04/1800.70 v x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 1800.04/1800.70 v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 1800.04/1800.70 v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 1800.04/1800.70 v -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 1800.04/1800.70 v -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 1800.04/1800.70 v -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.04/1800.70 v -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.04/1800.70 v -x467 -x468 -x469 -x47 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 1800.04/1800.70 v -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 1800.04/1800.70 v -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 x522 -x523 1800.04/1800.70 v -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 1800.04/1800.70 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 1800.04/1800.70 v -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 1800.04/1800.70 v -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 1800.04/1800.70 v -x60 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 1800.04/1800.70 v -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 1800.04/1800.70 v -x638 -x639 x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.04/1800.70 v -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 x673 -x674 -x675 1800.04/1800.70 v -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 1800.04/1800.70 v -x695 -x696 x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 1800.04/1800.70 v -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 1800.04/1800.70 v -x733 x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 1800.04/1800.70 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 1800.04/1800.70 v -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 1800.04/1800.70 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 1800.04/1800.70 v -x81 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1800.04/1800.70 v -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1800.04/1800.70 v -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.04/1800.70 v x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 1800.04/1800.70 v -x886 -x887 -x888 -x889 -x89 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 1800.04/1800.70 v -x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 1800.04/1800.70 v -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 1800.04/1800.70 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 1800.04/1800.70 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 1800.04/1800.70 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK -47
/tmp/evaluation/458999-1178647362/instance-458999-1178647362.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-458999-1178647362 -o ROOT/results/node38/solver-458999-1178647362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458999-1178647362/instance-458999-1178647362.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.91 0.95 0.97 3/77 32122 /proc/meminfo: memFree=1530264/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=1600 CPUtime=0 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 296902908 1638400 166 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 400 166 84 219 0 177 0 [startup+0.048765 s] /proc/loadavg: 0.91 0.95 0.97 3/77 32122 /proc/meminfo: memFree=1530264/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=1928 CPUtime=0.04 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 309 0 0 0 4 0 0 0 18 0 1 0 296902908 1974272 286 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 482 286 86 219 0 259 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1928 [startup+0.101774 s] /proc/loadavg: 0.91 0.95 0.97 3/77 32122 /proc/meminfo: memFree=1530264/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=2376 CPUtime=0.09 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 458 0 0 0 9 0 0 0 18 0 1 0 296902908 2433024 386 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 594 386 86 219 0 371 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2376 [startup+0.301812 s] /proc/loadavg: 0.91 0.95 0.97 3/77 32122 /proc/meminfo: memFree=1530264/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=4436 CPUtime=0.29 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 1200 0 0 0 29 0 0 0 19 0 1 0 296902908 4542464 838 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 1109 838 86 219 0 886 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4436 [startup+0.701889 s] /proc/loadavg: 0.91 0.95 0.97 3/77 32122 /proc/meminfo: memFree=1530264/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=9968 CPUtime=0.69 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 2524 0 0 0 68 1 0 0 23 0 1 0 296902908 10207232 1777 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 2492 1779 86 219 0 2269 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9968 [startup+1.50104 s] /proc/loadavg: 0.91 0.95 0.97 2/78 32123 /proc/meminfo: memFree=1521488/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=14452 CPUtime=1.49 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 4142 0 0 0 147 2 0 0 25 0 1 0 296902908 14798848 3395 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 3613 3395 102 219 0 3390 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14452 [startup+3.10135 s] /proc/loadavg: 0.92 0.95 0.97 2/78 32123 /proc/meminfo: memFree=1512144/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=39160 CPUtime=3.09 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 7105 0 0 0 306 3 0 0 25 0 1 0 296902908 40099840 6358 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 9790 6358 102 219 0 9567 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39160 [startup+6.30197 s] /proc/loadavg: 0.92 0.95 0.97 2/78 32123 /proc/meminfo: memFree=1488848/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=72208 CPUtime=6.29 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 12760 0 0 0 623 6 0 0 25 0 1 0 296902908 73940992 12013 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 18052 12013 102 219 0 17829 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 72208 [startup+12.7012 s] /proc/loadavg: 0.93 0.96 0.97 2/78 32123 /proc/meminfo: memFree=1447056/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=140960 CPUtime=12.68 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 23324 0 0 0 1257 11 0 0 25 0 1 0 296902908 144343040 21808 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 35240 21808 102 219 0 35017 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 140960 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.97 2/78 32123 /proc/meminfo: memFree=1399632/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=144228 CPUtime=25.48 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 34157 0 0 0 2532 16 0 0 25 0 1 0 296902908 147689472 32641 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546880 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 36057 32641 102 219 0 35834 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 144228 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.97 2/78 32123 /proc/meminfo: memFree=1366096/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=281100 CPUtime=51.07 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 42493 0 0 0 5084 23 0 0 25 0 1 0 296902908 287846400 40977 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 70275 40977 102 219 0 70052 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 281100 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/78 32123 /proc/meminfo: memFree=1348176/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=286024 CPUtime=102.26 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 46926 0 0 0 10197 29 0 0 25 0 1 0 296902908 292888576 45410 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 71506 45410 102 219 0 71283 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 286024 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1341136/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=290024 CPUtime=162.23 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 48692 0 0 0 16189 34 0 0 25 0 1 0 296902908 296984576 47176 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 72506 47176 102 219 0 72283 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 290024 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1337808/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=292836 CPUtime=222.21 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 49524 0 0 0 22182 39 0 0 25 0 1 0 296902908 299864064 48008 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134583782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 73209 48008 102 219 0 72986 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 292836 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1335568/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=294900 CPUtime=282.18 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 50094 0 0 0 28176 42 0 0 25 0 1 0 296902908 301977600 48578 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134558744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 73725 48578 102 219 0 73502 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 294900 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1333520/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=296756 CPUtime=342.17 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 50599 0 0 0 34171 46 0 0 25 0 1 0 296902908 303878144 49083 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 74189 49083 102 219 0 73966 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 296756 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1331728/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=304192 CPUtime=402.14 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 52584 0 0 0 40164 50 0 0 25 0 1 0 296902908 311492608 49531 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 76048 49531 102 219 0 75825 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 304192 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1330320/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=305088 CPUtime=462.12 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 52941 0 0 0 46157 55 0 0 25 0 1 0 296902908 312410112 49888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 76272 49888 102 219 0 76049 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 305088 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1329040/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=306056 CPUtime=522.09 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 53263 0 0 0 52151 58 0 0 25 0 1 0 296902908 313401344 50210 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 76514 50210 102 219 0 76291 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 306056 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1327696/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=307120 CPUtime=582.08 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 53602 0 0 0 58144 64 0 0 25 0 1 0 296902908 314490880 50549 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 76780 50549 102 219 0 76557 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 307120 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1326096/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=308200 CPUtime=642.06 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 53997 0 0 0 64138 68 0 0 25 0 1 0 296902908 315596800 50944 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 77050 50944 102 219 0 76827 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 308200 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1321360/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=311640 CPUtime=881.96 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 55201 0 0 0 88114 82 0 0 25 0 1 0 296902908 319119360 52148 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557204 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 77910 52148 102 219 0 77687 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 311640 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1320336/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=312232 CPUtime=941.94 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 55445 0 0 0 94108 86 0 0 25 0 1 0 296902908 319725568 52392 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 78058 52392 102 219 0 77835 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 312232 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1319312/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=312852 CPUtime=1001.92 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 55710 0 0 0 100101 91 0 0 25 0 1 0 296902908 320360448 52657 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134558758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 78213 52657 102 219 0 77990 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 312852 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1318288/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=313660 CPUtime=1061.9 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 55958 0 0 0 106096 94 0 0 25 0 1 0 296902908 321187840 52905 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 78415 52905 102 219 0 78192 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 313660 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1317200/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=313820 CPUtime=1121.88 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 56218 0 0 0 112090 98 0 0 25 0 1 0 296902908 321351680 53165 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 78455 53165 102 219 0 78232 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 313820 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1316432/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=314356 CPUtime=1181.85 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 56436 0 0 0 118084 101 0 0 25 0 1 0 296902908 321900544 53383 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 78589 53383 102 219 0 78366 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 314356 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1315408/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=315088 CPUtime=1241.83 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 56680 0 0 0 124078 105 0 0 25 0 1 0 296902908 322650112 53627 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 78772 53627 102 219 0 78549 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 315088 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1314192/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=328444 CPUtime=1301.82 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 60043 0 0 0 130071 111 0 0 25 0 1 0 296902908 336326656 53917 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 82111 53917 102 219 0 81888 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 328444 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1313168/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=328588 CPUtime=1361.79 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 60281 0 0 0 136064 115 0 0 25 0 1 0 296902908 336474112 54155 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 82147 54155 102 219 0 81924 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 328588 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32123 /proc/meminfo: memFree=1312208/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=329376 CPUtime=1421.77 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 60520 0 0 0 142060 117 0 0 25 0 1 0 296902908 337281024 54394 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 82344 54394 102 219 0 82121 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 329376 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32125 /proc/meminfo: memFree=1311248/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=329552 CPUtime=1481.74 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 60741 0 0 0 148053 121 0 0 25 0 1 0 296902908 337461248 54615 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 82388 54615 102 219 0 82165 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 329552 [startup+1542.3 s] /proc/loadavg: 1.04 0.99 0.98 2/78 32125 /proc/meminfo: memFree=1310352/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=330380 CPUtime=1541.72 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 60984 0 0 0 154047 125 0 0 25 0 1 0 296902908 338309120 54858 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 82595 54858 102 219 0 82372 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 330380 [startup+1602.3 s] /proc/loadavg: 1.01 0.99 0.98 2/78 32125 /proc/meminfo: memFree=1309456/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=331252 CPUtime=1601.7 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 61210 0 0 0 160041 129 0 0 25 0 1 0 296902908 339202048 55084 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 82813 55084 102 219 0 82590 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 331252 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 32125 /proc/meminfo: memFree=1308624/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=331252 CPUtime=1661.67 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 61421 0 0 0 166034 133 0 0 25 0 1 0 296902908 339202048 55295 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134548665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 82813 55295 102 219 0 82590 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 331252 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 32125 /proc/meminfo: memFree=1307792/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=332184 CPUtime=1721.65 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 61622 0 0 0 172028 137 0 0 25 0 1 0 296902908 340156416 55496 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546907 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 83046 55496 102 219 0 82823 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 332184 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 32125 /proc/meminfo: memFree=1307024/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=332184 CPUtime=1781.63 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 61812 0 0 0 178023 140 0 0 25 0 1 0 296902908 340156416 55686 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 83046 55686 102 219 0 82823 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 332184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.98 2/78 32125 /proc/meminfo: memFree=1306768/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=332184 CPUtime=1800.04 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 61877 0 0 0 179862 142 0 0 25 0 1 0 296902908 340156416 55751 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 83046 55751 102 219 0 82823 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 332184 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.00 0.99 0.98 2/78 32125 /proc/meminfo: memFree=1306768/2055920 swapFree=4154688/4192956 [pid=32122] ppid=32120 vsize=332184 CPUtime=1800.04 /proc/32122/stat : 32122 (PBS4_SAT07v2) R 32120 32122 31148 0 -1 4194304 61877 0 0 0 179862 142 0 0 25 0 1 0 296902908 340156416 55751 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32122/statm: 83046 55751 102 219 0 82823 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 332184 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.08 CPU user time (s): 1798.62 CPU system time (s): 1.45878 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 332184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.62 system time used= 1.45878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61880 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= 36642 runsolver used 1.42778 second user time and 4.02339 second system time The end
Begin job on node38 on Tue May 8 18:02:42 UTC 2007 IDJOB= 458999 IDBENCH= 2266 IDSOLVER= 200 FILE ID= node38/458999-1178647362 PBS_JOBID= 5218354 Free space on /tmp= 66559 MiB SOLVER NAME= PBS4_v2 2007-03-23 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= PBS4_SAT07v2 /tmp/evaluation/458999-1178647362/instance-458999-1178647362.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-458999-1178647362 -o ROOT/results/node38/conversion-458999-1178647362 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458999-1178647362/instance-458999-1178647362.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-458999-1178647362 -o ROOT/results/node38/solver-458999-1178647362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458999-1178647362/instance-458999-1178647362.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b RANDOM SEED= 15847009 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1530736 kB Buffers: 41036 kB Cached: 359948 kB SwapCached: 6880 kB Active: 203176 kB Inactive: 221096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1530736 kB SwapTotal: 4192956 kB SwapFree: 4154688 kB Dirty: 5344 kB Writeback: 0 kB Mapped: 30416 kB Slab: 86132 kB Committed_AS: 4749908 kB PageTables: 2060 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= 66559 MiB End job on node38 on Tue May 8 18:32:45 UTC 2007