Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | SAT (TO) | 37 | 1800.98 | 1799.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb |
MD5SUM | acd1698068c8e97cbd0c7cd62fe047fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 2847 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 4902 |
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 | 860 |
Number of terms in the objective function | 2847 |
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 | 2847 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2847 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.28 130.14 o 39 130.16 o 38 515.62 o 37 1799.25 sh: line 1: 3856 Done pbsmodels.trans ROOT/tmp/node44/49583-1154094447/instance-49583-1154094447.opb ROOT/tmp/node44/49583-1154094447 1799.25 3857 Terminated | smodels -seed 999839304 1799.25 3858 Terminated | pbout.pl ROOT/tmp/node44/49583-1154094447/instance-49583-1154094447.opb ROOT/tmp/node44/49583-1154094447 1799.25 s SATISFIABLE 1799.25 v x27 x36 x37 x45 x47 x114 x196 x341 x384 x501 x651 x690 x870 x887 x892 x902 x933 x1225 x1292 x1358 x1493 x1702 x1743 x1863 x1933 1799.25 v x2027 x2213 x2229 x2246 x2271 x2474 x2546 x2617 x2658 x2704 x2745 x2748 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 1799.25 v -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x38 -x39 -x40 -x41 -x42 1799.25 v -x43 -x44 -x46 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 1799.25 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 1799.25 v -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x115 -x116 -x117 -x118 1799.25 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1799.25 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1799.25 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1799.25 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x197 -x198 -x199 -x200 -x201 -x202 -x203 1799.25 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 1799.25 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 1799.25 v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 1799.25 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 1799.25 v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 1799.25 v -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 1799.25 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 1799.25 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 1799.25 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 1799.25 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 1799.25 v -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 1799.25 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1799.25 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1799.25 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 1799.25 v -x500 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 1799.25 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 1799.25 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 1799.25 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 1799.25 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 1799.25 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 1799.25 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 1799.25 v -x648 -x649 -x650 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 1799.25 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x691 1799.25 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1799.25 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1799.25 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 1799.25 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1799.25 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1799.25 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 1799.25 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1799.25 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1799.25 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1799.25 v -x882 -x883 -x884 -x885 -x886 -x888 -x889 -x890 -x891 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 1799.25 v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1799.25 v -x927 -x928 -x929 -x930 -x931 -x932 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1799.25 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 1799.25 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1799.25 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1799.25 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1799.25 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1799.25 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1799.25 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1799.25 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1799.25 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1799.25 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1799.25 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1799.25 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1799.25 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1799.25 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1799.25 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1799.25 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1799.25 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1799.25 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1799.25 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1799.25 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1799.25 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1799.25 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1799.25 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1799.25 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1799.25 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1799.25 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1799.25 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1799.25 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1799.25 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1799.25 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1799.25 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1799.25 v -x1489 -x1490 -x1491 -x1492 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1799.25 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1799.25 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1799.25 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1799.25 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1799.25 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1799.25 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1799.25 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1799.25 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1799.25 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1799.25 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1799.25 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1799.25 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 1799.25 v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 1799.25 v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1744 -x1745 -x1746 1799.25 v -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 1799.25 v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 1799.25 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 1799.25 v -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 1799.25 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 1799.25 v -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 1799.25 v -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1864 -x1865 -x1866 1799.25 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1799.25 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1799.25 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1799.25 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 1799.25 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1799.25 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1799.25 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1799.25 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 1799.25 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1799.25 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1799.25 v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1799.25 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1799.25 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1799.25 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1799.25 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1799.25 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1799.25 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1799.25 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1799.25 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1799.25 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1799.25 v -x2209 -x2210 -x2211 -x2212 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1799.25 v -x2227 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1799.25 v -x2245 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 1799.25 v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1799.25 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1799.25 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1799.25 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1799.25 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1799.25 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1799.25 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1799.25 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1799.25 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1799.25 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1799.25 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1799.25 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1799.25 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1799.25 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1799.25 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1799.25 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 1799.25 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1799.25 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1799.25 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1799.25 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1799.25 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1799.25 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1799.25 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1799.25 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1799.25 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1799.25 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1799.25 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1799.25 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1799.25 v -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1799.25 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1799.25 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1799.25 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1799.25 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1799.25 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1799.26 c Somebody sent me a SIGTERM 1799.26 smodels: no process killed 1799.26 pbsmodels.trans: no process killed
OK 37
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node44/watcher-49583-1154094447 -o ROOT/results/node44/solver-49583-1154094447 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node44/49583-1154094447/instance-49583-1154094447.opb 999839304 ROOT/tmp/node44/49583-1154094447 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 3853 /proc/meminfo: memFree=1514832/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5356 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) R 3851 3853 3804 0 -1 4194304 192 0 0 0 0 0 0 0 19 0 1 0 156315569 5484544 158 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 4542874 0 0 4096 0 0 0 0 17 1 0 0 /proc/3853/statm: 1339 162 133 169 0 50 0 [startup+10.0014 s] /proc/loadavg: 1.01 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503464/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=8.52 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2700 0 0 0 850 2 0 0 25 0 1 0 156315571 12390400 2664 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2664 210 20 0 2462 0 [pid=3858] ppid=3855 vsize=12268 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156315571 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 12.3 Current children cumulated vsize (Kb) 47352 [startup+20.0084 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503720/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=18.52 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2700 0 0 0 1850 2 0 0 25 0 1 0 156315571 12390400 2664 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531431 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2664 210 20 0 2462 0 [pid=3858] ppid=3855 vsize=12268 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156315571 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 22.3 Current children cumulated vsize (Kb) 47352 [startup+30.0144 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503720/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=28.53 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2700 0 0 0 2851 2 0 0 25 0 1 0 156315571 12390400 2664 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551122 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2664 210 20 0 2462 0 [pid=3858] ppid=3855 vsize=12268 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156315571 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 32.31 Current children cumulated vsize (Kb) 47352 [startup+40.0214 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503784/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=38.53 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2700 0 0 0 3851 2 0 0 25 0 1 0 156315571 12390400 2664 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2664 210 20 0 2462 0 [pid=3858] ppid=3855 vsize=12268 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156315571 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 42.31 Current children cumulated vsize (Kb) 47352 [startup+50.0285 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503784/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=48.53 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2700 0 0 0 4851 2 0 0 25 0 1 0 156315571 12390400 2664 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2664 210 20 0 2462 0 [pid=3858] ppid=3855 vsize=12268 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156315571 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 52.31 Current children cumulated vsize (Kb) 47352 [startup+60.0355 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503848/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=58.54 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2700 0 0 0 5852 2 0 0 25 0 1 0 156315571 12390400 2664 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549873 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2664 210 20 0 2462 0 [pid=3858] ppid=3855 vsize=12268 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156315571 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 62.32 Current children cumulated vsize (Kb) 47352 [startup+70.0416 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503848/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=68.54 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2700 0 0 0 6852 2 0 0 25 0 1 0 156315571 12390400 2664 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531431 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2664 210 20 0 2462 0 [pid=3858] ppid=3855 vsize=12268 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156315571 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 72.32 Current children cumulated vsize (Kb) 47352 [startup+80.0476 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503848/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=78.55 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2700 0 0 0 7853 2 0 0 25 0 1 0 156315571 12390400 2664 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550238 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2664 210 20 0 2462 0 [pid=3858] ppid=3855 vsize=12268 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156315571 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 82.33 Current children cumulated vsize (Kb) 47352 [startup+90.0536 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3858 /proc/meminfo: memFree=1503848/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=88.55 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2701 0 0 0 8853 2 0 0 25 0 1 0 156315571 12390400 2665 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179009 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1793.94 Current children cumulated vsize (Kb) 47496 [startup+1793.21 s] /proc/loadavg: 1.02 1.02 1.00 2/68 4056 /proc/meminfo: memFree=1503272/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=1791.17 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179110 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1794.95 Current children cumulated vsize (Kb) 47496 [startup+1794.21 s] /proc/loadavg: 1.02 1.02 1.00 2/68 4056 /proc/meminfo: memFree=1503272/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=1792.17 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179210 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551008 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (Kb) 47496 [startup+1795.22 s] /proc/loadavg: 1.02 1.02 1.00 2/68 4056 /proc/meminfo: memFree=1503272/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=1793.18 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179311 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (Kb) 47496 [startup+1796.22 s] /proc/loadavg: 1.02 1.02 1.00 2/68 4056 /proc/meminfo: memFree=1503272/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=1794.18 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179411 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (Kb) 47496 [startup+1797.23 s] /proc/loadavg: 1.02 1.02 1.00 2/68 4056 /proc/meminfo: memFree=1503272/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=1795.19 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179512 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1798.97 Current children cumulated vsize (Kb) 47496 [startup+1798.24 s] /proc/loadavg: 1.02 1.02 1.00 2/68 4056 /proc/meminfo: memFree=1503272/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=1796.19 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179612 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (Kb) 47496 [startup+1799.24 s] /proc/loadavg: 1.02 1.02 1.00 2/68 4056 /proc/meminfo: memFree=1503272/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=1797.19 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179712 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548950 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (Kb) 47496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.24 s] /proc/loadavg: 1.02 1.02 1.00 2/68 4056 /proc/meminfo: memFree=1503272/2055920 swapFree=4183124/4192956 [pid=3853] ppid=3851 vsize=5360 CPUtime=0 /proc/3853/stat : 3853 (runpbsmodels) S 3851 3853 3804 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156315569 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3853/statm: 1340 234 195 169 0 51 0 [pid=3854] ppid=3853 vsize=12268 CPUtime=0 /proc/3854/stat : 3854 (pbsmodels-v1.28) S 3853 3853 3804 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156315570 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/3854/statm: 3067 383 293 3 0 167 0 [pid=3855] ppid=3854 vsize=5356 CPUtime=3.78 /proc/3855/stat : 3855 (sh) S 3854 3853 3804 0 -1 4194304 311 723 0 0 0 0 378 0 16 0 1 0 156315570 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3855/statm: 1339 227 188 169 0 50 0 [pid=3857] ppid=3855 vsize=12100 CPUtime=1797.2 /proc/3857/stat : 3857 (smodels) R 3855 3853 3804 0 -1 4194304 2705 0 0 0 179713 7 0 0 25 0 1 0 156315571 12390400 2669 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0 /proc/3857/statm: 3025 2669 212 20 0 2462 0 [pid=3858] ppid=3855 vsize=12412 CPUtime=0 /proc/3858/stat : 3858 (pbout.pl) S 3855 3853 3804 0 -1 4194304 485 0 0 0 0 0 0 0 16 0 1 0 156315571 12709888 444 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/3858/statm: 3103 444 333 3 0 203 0 Current children cumulated CPU time (s) 1800.98 Current children cumulated vsize (Kb) 47496 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 3853 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=2999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0 CPU time returned by wait4() is 0.002999 while last known CPU time is 1800.98 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1799.27 CPU time (s): 1800.98 CPU user time (s): 1800.91 CPU system time (s): 0.07 CPU usage (%): 100.095 Max. virtual memory (cumulated for all children) (Kb): 47496 The end
Begin job on node44 on Fri Jul 28 13:47:27 UTC 2006 FILE ID= 49583-1154094447 PBS_JOBID= 885856 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node44/49583-1154094447/instance-49583-1154094447.opb 999839304 ROOT/tmp/node44/49583-1154094447 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-49583-1154094447 -o ROOT/results/node44/solver-49583-1154094447 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node44/49583-1154094447/instance-49583-1154094447.opb 999839304 ROOT/tmp/node44/49583-1154094447 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc RANDOM SEED= 999839304 TIMEOUT= 1800 seconds /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.238 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.238 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: 1515040 kB Buffers: 31300 kB Cached: 431052 kB SwapCached: 3516 kB Active: 59536 kB Inactive: 411228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1515040 kB SwapTotal: 4192956 kB SwapFree: 4183124 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14480 kB Slab: 56060 kB Committed_AS: 680196 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Fri Jul 28 14:17:26 UTC 2006