Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 164 | 1800.52 | 1801.29 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-test1.r.opb |
MD5SUM | 8e6ac0bad8d074da12c63269189a8260 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 110 |
Best CPU time to get the best result obtained on this benchmark | 0.121981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 110 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 362 |
Number of constraints which are clauses | 362 |
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 | 3 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 2091 |
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 | 2091 |
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 | 2091 |
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 1.07 o 179 5.35 o 178 8.76 o 176 14.14 o 174 30.56 o 172 361.08 o 171 615.47 o 167 615.67 o 166 669.70 o 165 671.36 o 164 1801.27 sh: line 1: 17015 Done pb2smodels ROOT/tmp/node17/51079-1154094124/instance-51079-1154094124.opb ROOT/tmp/node17/51079-1154094124 1801.27 17016 Terminated | smodels-2.31 0 -seed 478278047 1801.27 17017 Terminated | pbout.new.pl ROOT/tmp/node17/51079-1154094124/instance-51079-1154094124.opb ROOT/tmp/node17/51079-1154094124 1801.27 s SATISFIABLE 1801.27 v x1 x25 x32 x48 x57 x95 x107 x110 x137 x145 x156 x158 x166 x190 x195 x198 x204 x207 x216 x221 x228 x254 x262 x286 x293 x311 x327 1801.27 v x362 x387 x397 x407 x409 x430 x435 x438 x477 x481 x486 x543 x555 x570 x574 x586 x606 x613 x634 x637 x641 x666 x671 x679 x684 x705 1801.27 v x711 x724 x736 x748 x754 x759 x769 x774 x778 x780 x795 x809 x812 x818 x845 x860 x874 x888 x896 x903 x905 x916 x930 x946 x952 x958 1801.27 v x976 x982 x996 x1012 x1028 x1046 x1049 x1056 x1063 x1076 x1088 x1094 x1096 x1100 x1139 x1144 x1162 x1178 x1200 x1207 x1213 1801.27 v x1221 x1226 x1236 x1253 x1259 x1281 x1287 x1296 x1302 x1314 x1320 x1326 x1333 x1334 x1343 x1349 x1356 x1361 x1408 x1426 x1439 1801.27 v x1445 x1446 x1448 x1453 x1471 x1473 x1475 x1480 x1506 x1517 x1523 x1540 x1574 x1600 x1611 x1613 x1644 x1660 x1673 x1686 x1708 1801.27 v x1713 x1721 x1735 x1745 x1751 x1762 x1801 x1813 x1829 x1832 x1850 x1877 x1916 x1956 x1969 x1985 x1986 x1991 x2030 x2052 x2069 1801.27 v x2071 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 1801.27 v -x29 -x30 -x31 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1801.27 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1801.27 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x108 -x109 1801.27 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1801.27 v -x132 -x133 -x134 -x135 -x136 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 1801.27 v -x155 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1801.27 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x191 -x192 -x193 -x194 -x196 -x197 -x199 -x200 -x201 -x202 1801.27 v -x203 -x205 -x206 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x217 -x218 -x219 -x220 -x222 -x223 -x224 -x225 -x226 -x227 1801.27 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 1801.27 v -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1801.27 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x287 -x288 -x289 -x290 -x291 -x292 -x294 -x295 1801.27 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x312 -x313 -x314 -x315 -x316 -x317 1801.27 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1801.27 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1801.27 v -x361 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1801.27 v -x383 -x384 -x385 -x386 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1801.27 v -x406 -x408 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 1801.27 v -x429 -x431 -x432 -x433 -x434 -x436 -x437 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 1801.27 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 1801.27 v -x474 -x475 -x476 -x478 -x479 -x480 -x482 -x483 -x484 -x485 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1801.27 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 1801.27 v -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 1801.27 v -x540 -x541 -x542 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x557 -x558 -x559 -x560 -x561 -x562 1801.27 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x571 -x572 -x573 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 1801.27 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x607 -x608 1801.27 v -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1801.27 v -x631 -x632 -x633 -x635 -x636 -x638 -x639 -x640 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1801.27 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x667 -x668 -x669 -x670 -x672 -x673 -x674 -x675 -x676 -x677 1801.27 v -x678 -x680 -x681 -x682 -x683 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1801.27 v -x701 -x702 -x703 -x704 -x706 -x707 -x708 -x709 -x710 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 1801.27 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1801.27 v -x747 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x758 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x770 -x771 1801.27 v -x772 -x773 -x775 -x776 -x777 -x779 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x796 1801.27 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x810 -x811 -x813 -x814 -x815 -x816 -x817 -x819 -x820 1801.27 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1801.27 v -x842 -x843 -x844 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x861 -x862 -x863 -x864 1801.27 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1801.27 v -x887 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x897 -x898 -x899 -x900 -x901 -x902 -x904 -x906 -x907 -x908 -x909 -x910 -x911 1801.27 v -x912 -x913 -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x931 -x932 -x933 -x934 1801.27 v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x953 -x954 -x955 -x956 -x957 1801.27 v -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x977 -x978 -x979 -x980 1801.27 v -x981 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x997 -x998 -x999 -x1000 -x1001 -x1002 1801.27 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1801.27 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 1801.27 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1057 -x1058 1801.27 v -x1059 -x1060 -x1061 -x1062 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1077 1801.27 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1095 -x1097 1801.27 v -x1098 -x1099 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1801.27 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1801.27 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 1801.27 v -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1801.27 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 1801.27 v -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1201 -x1202 -x1203 -x1204 -x1205 1801.27 v -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1222 -x1223 -x1224 -x1225 1801.27 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1801.27 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 1801.27 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1801.27 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1297 -x1298 -x1299 -x1300 1801.27 v -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1315 -x1316 -x1317 -x1318 -x1319 1801.27 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 1801.27 v -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1357 -x1358 -x1359 -x1360 1801.27 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 1801.27 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1801.27 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1409 -x1410 -x1411 -x1412 -x1413 1801.27 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1427 -x1428 -x1429 -x1430 -x1431 1801.27 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1440 -x1441 -x1442 -x1443 -x1444 -x1447 -x1449 -x1450 -x1451 -x1452 1801.27 v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1801.27 v -x1472 -x1474 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1801.27 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1507 -x1508 -x1509 1801.27 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1518 -x1519 -x1520 -x1521 -x1522 -x1524 -x1525 -x1526 -x1527 -x1528 1801.27 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 1801.27 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 1801.27 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 1801.27 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1801.27 v -x1599 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 1801.27 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1801.27 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1801.27 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1801.27 v -x1672 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1687 -x1688 -x1689 -x1690 1801.27 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1801.27 v -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1801.27 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1746 1801.27 v -x1747 -x1748 -x1749 -x1750 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1763 -x1764 -x1765 1801.27 v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1801.27 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1801.27 v -x1800 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 1801.27 v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 -x1837 1801.27 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1851 -x1852 -x1853 -x1854 -x1855 1801.27 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1801.27 v -x1873 -x1874 -x1875 -x1876 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1801.27 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1801.27 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1801.27 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1801.27 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1957 -x1958 -x1959 -x1960 1801.27 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 1801.27 v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1987 -x1988 -x1989 -x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1801.27 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1801.27 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2031 -x2032 -x2033 1801.27 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1801.27 v -x2051 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1801.27 v -x2070 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1801.27 v -x2088 -x2089 -x2090 -x2091 1801.27 c Somebody sent me a SIGTERM 1801.28 smodels-2.31: no process killed 1801.28 pb2smodels: no process killed
OK 164
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/node17/watcher-51079-1154094124 -o ROOT/results/node17/solver-51079-1154094124 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/51079-1154094124/instance-51079-1154094124.opb 478278047 ROOT/tmp/node17/51079-1154094124 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 17012 /proc/meminfo: memFree=1428712/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=124 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) R 17012 17012 16963 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 156272955 126976 23 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245480092949 0 0 4096 0 0 0 0 17 1 0 0 /proc/17013/statm: 31 23 17 3 0 3 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1424840/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=4444 CPUtime=9.89 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 792 0 0 0 989 0 0 0 25 0 1 0 156272956 4550656 756 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538372 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 1111 756 213 21 0 547 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 10.01 Current children cumulated vsize (Kb) 39832 [startup+20.0097 s] /proc/loadavg: 0.94 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1423688/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=5896 CPUtime=19.89 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 1143 0 0 0 1989 0 0 0 25 0 1 0 156272956 6037504 1107 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533214 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 1474 1107 213 21 0 910 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 478 0 0 0 0 0 0 0 17 0 1 0 156272956 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 20.01 Current children cumulated vsize (Kb) 41284 [startup+30.0165 s] /proc/loadavg: 0.95 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1422280/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=7216 CPUtime=29.9 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 1489 0 0 0 2989 1 0 0 25 0 1 0 156272956 7389184 1453 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538452 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 1804 1453 213 21 0 1240 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 478 0 0 0 0 0 0 0 17 0 1 0 156272956 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 30.02 Current children cumulated vsize (Kb) 42604 [startup+40.0234 s] /proc/loadavg: 0.95 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1420872/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=8668 CPUtime=39.9 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 1831 0 0 0 3989 1 0 0 25 0 1 0 156272956 8876032 1795 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539285 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 2167 1795 213 21 0 1603 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 478 0 0 0 0 0 0 0 17 0 1 0 156272956 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 40.02 Current children cumulated vsize (Kb) 44056 [startup+50.0302 s] /proc/loadavg: 0.96 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1419656/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=9856 CPUtime=49.9 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 2140 0 0 0 4989 1 0 0 25 0 1 0 156272956 10092544 2104 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558128 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 2464 2104 213 21 0 1900 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 478 0 0 0 0 0 0 0 17 0 1 0 156272956 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 50.02 Current children cumulated vsize (Kb) 45244 [startup+60.0371 s] /proc/loadavg: 0.97 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1418440/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=11044 CPUtime=59.9 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 2446 0 0 0 5989 1 0 0 25 0 1 0 156272956 11309056 2410 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539721 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 2761 2410 213 21 0 2197 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 478 0 0 0 0 0 0 0 17 0 1 0 156272956 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 60.02 Current children cumulated vsize (Kb) 46432 [startup+70.0439 s] /proc/loadavg: 0.97 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1417160/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=12232 CPUtime=69.91 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 2747 0 0 0 6990 1 0 0 25 0 1 0 156272956 12525568 2711 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539285 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 3058 2711 213 21 0 2494 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 478 0 0 0 0 0 0 0 17 0 1 0 156272956 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 70.03 Current children cumulated vsize (Kb) 47620 [startup+80.0508 s] /proc/loadavg: 0.98 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1416200/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=13288 CPUtime=79.91 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 2985 0 0 0 7990 1 0 0 25 0 1 0 156272956 13606912 2949 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521556 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 3322 2949 213 21 0 2758 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 478 0 0 0 0 0 0 0 17 0 1 0 156272956 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 80.03 Current children cumulated vsize (Kb) 48676 [startup+90.0577 s] /proc/loadavg: 0.98 0.97 0.99 2/68 17017 /proc/meminfo: memFree=1415304/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 179333 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521302 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 63460 [startup+1795.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17215 /proc/meminfo: memFree=1400904/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=28072 CPUtime=1794.37 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 179434 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522348 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 63460 [startup+1796.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17215 /proc/meminfo: memFree=1400904/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=28072 CPUtime=1795.37 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 179534 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521169 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 63460 [startup+1797.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17215 /proc/meminfo: memFree=1400904/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=28072 CPUtime=1796.38 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 179635 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539592 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 63460 [startup+1798.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17215 /proc/meminfo: memFree=1400904/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=28072 CPUtime=1797.38 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 179735 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533218 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 63460 [startup+1799.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17215 /proc/meminfo: memFree=1400904/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=28072 CPUtime=1798.39 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 179836 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532888 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 63460 [startup+1800.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17215 /proc/meminfo: memFree=1400904/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=28072 CPUtime=1799.39 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 179936 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134546464 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 63460 [startup+1801.26 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17215 /proc/meminfo: memFree=1400904/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=28072 CPUtime=1800.4 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 180037 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521352 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 63460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.26 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17215 /proc/meminfo: memFree=1400904/2055920 swapFree=4183520/4192956 [pid=17012] ppid=17010 vsize=5360 CPUtime=0 /proc/17012/stat : 17012 (runpbsmodels) S 17010 17012 16963 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156272955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1340 234 195 169 0 51 0 [pid=17013] ppid=17012 vsize=12268 CPUtime=0 /proc/17013/stat : 17013 (pbsmodels-v1.31) S 17012 17012 16963 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156272955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17013/statm: 3067 383 293 3 0 167 0 [pid=17014] ppid=17013 vsize=5356 CPUtime=0.12 /proc/17014/stat : 17014 (sh) S 17013 17012 16963 0 -1 4194304 309 672 0 0 0 0 12 0 16 0 1 0 156272956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17014/statm: 1339 227 188 169 0 50 0 [pid=17016] ppid=17014 vsize=28072 CPUtime=1800.4 /proc/17016/stat : 17016 (smodels-2.31) R 17014 17012 16963 0 -1 4194304 6698 0 0 0 180037 3 0 0 25 0 1 0 156272956 28745728 6662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521039 0 0 4096 0 0 0 0 17 1 0 0 /proc/17016/statm: 7018 6662 213 21 0 6454 0 [pid=17017] ppid=17014 vsize=12404 CPUtime=0 /proc/17017/stat : 17017 (pbout.new.pl) S 17014 17012 16963 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 156272956 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/17017/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 63460 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 17012 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999 CPU time returned by wait4() is 0.001998 while last known CPU time is 1800.52 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1801.29 CPU time (s): 1800.52 CPU user time (s): 1800.49 CPU system time (s): 0.03 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (Kb): 63460 The end
Begin job on node17 on Fri Jul 28 13:42:04 UTC 2006 FILE ID= 51079-1154094124 PBS_JOBID= 885831 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/51079-1154094124/instance-51079-1154094124.opb 478278047 ROOT/tmp/node17/51079-1154094124 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-51079-1154094124 -o ROOT/results/node17/solver-51079-1154094124 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/51079-1154094124/instance-51079-1154094124.opb 478278047 ROOT/tmp/node17/51079-1154094124 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 8e6ac0bad8d074da12c63269189a8260 RANDOM SEED= 478278047 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1428856 kB Buffers: 41020 kB Cached: 509012 kB SwapCached: 3080 kB Active: 138796 kB Inactive: 419720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1428856 kB SwapTotal: 4192956 kB SwapFree: 4183520 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14460 kB Slab: 54548 kB Committed_AS: 689824 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Fri Jul 28 14:12:05 UTC 2006