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