Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 659 | 1801 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b4.opb |
MD5SUM | bad507f566306ee26a0781c0a8fac473 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 654 |
Best CPU time to get the best result obtained on this benchmark | 1800.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 654 |
Optimality of the best value was proved | NO |
Number of variables | 2136 |
Total number of constraints | 9282 |
Number of constraints which are clauses | 9282 |
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 | 8 |
Number of terms in the objective function | 2136 |
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 | 2136 |
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 | 2136 |
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 8.68 o 701 57.04 o 659 1801.21 sh: line 1: 20423 Done pb2smodels ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb ROOT/tmp/node31/45860-1154048463 1801.21 20424 Terminated | smodels-2.31 0 -seed 215715658 1801.21 20425 Terminated | pbout.new.pl ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb ROOT/tmp/node31/45860-1154048463 1801.22 s SATISFIABLE 1801.22 v x1 x3 x5 x7 x9 x11 x13 x15 x17 x19 x21 x23 x25 x27 x30 x31 x33 x35 x38 x39 x41 x43 x45 x47 x49 x51 x53 x55 x57 x59 x61 x63 x65 x67 x70 x71 1801.22 v x73 x75 x77 x79 x81 x83 x85 x87 x89 x91 x93 x95 x97 x99 x102 x103 x105 x107 x109 x111 x113 x115 x117 x119 x121 x123 x125 x127 x129 1801.22 v x132 x133 x135 x138 x139 x141 x143 x145 x147 x150 x151 x153 x156 x157 x159 x161 x163 x166 x167 x169 x171 x173 x175 x177 x179 x181 1801.22 v x183 x185 x187 x189 x191 x193 x196 x198 x200 x202 x204 x206 x207 x214 x217 x226 x229 x238 x242 x250 x251 x259 x262 x266 x267 x274 1801.22 v x286 x287 x290 x298 x299 x301 x310 x317 x322 x325 x328 x330 x332 x334 x336 x337 x346 x353 x358 x363 x370 x373 x376 x378 x380 x382 1801.22 v x384 x391 x398 x399 x406 x409 x418 x427 x430 x433 x436 x438 x440 x442 x444 x445 x454 x458 x461 x469 x482 x490 x491 x495 x502 x506 1801.22 v x507 x514 x518 x519 x526 x538 x539 x541 x544 x546 x548 x550 x552 x554 x557 x562 x566 x571 x574 x577 x580 x582 x584 x586 x588 x590 1801.22 v x595 x598 x602 x605 x610 x613 x616 x618 x620 x622 x624 x626 x629 x634 x638 x641 x646 x649 x652 x654 x656 x658 x660 x665 x670 x674 1801.22 v x675 x682 x685 x688 x690 x692 x694 x696 x697 x700 x702 x704 x706 x708 x709 x712 x714 x716 x718 x720 x721 x724 x726 x728 x730 x732 1801.22 v x734 x737 x742 x746 x748 x750 x752 x753 x756 x758 x766 x767 x770 x771 x785 x790 x793 x796 x798 x800 x802 x804 x805 x808 x810 x812 1801.22 v x814 x816 x820 x822 x824 x825 x828 x829 x832 x834 x836 x838 x840 x841 x844 x846 x848 x850 x852 x854 x862 x863 x866 x867 x878 x883 1801.22 v x886 x893 x898 x901 x904 x906 x908 x910 x912 x919 x922 x929 x934 x946 x947 x951 x958 x961 x964 x966 x968 x970 x972 x973 x976 x978 1801.22 v x980 x982 x984 x991 x994 x997 x1000 x1002 x1004 x1006 x1008 x1010 x1018 x1019 x1022 x1025 x1030 x1034 x1042 x1043 x1046 x1047 1801.22 v x1054 x1058 x1059 x1069 x1072 x1074 x1076 x1078 x1080 x1081 x1084 x1086 x1088 x1090 x1092 x1099 x1102 x1106 x1109 x1114 x1120 1801.22 v x1122 x1124 x1125 x1128 x1130 x1133 x1138 x1141 x1144 x1146 x1148 x1150 x1152 x1154 x1157 x1162 x1167 x1174 x1179 x1186 x1189 1801.22 v x1192 x1194 x1196 x1198 x1200 x1202 x1207 x1210 x1213 x1216 x1218 x1220 x1222 x1224 x1225 x1228 x1230 x1232 x1234 x1236 x1239 1801.22 v x1246 x1258 x1259 x1261 x1270 x1282 x1283 x1286 x1291 x1294 x1297 x1300 x1302 x1304 x1306 x1308 x1310 x1318 x1319 x1322 x1330 1801.22 v x1331 x1339 x1342 x1346 x1351 x1354 x1358 x1363 x1366 x1369 x1372 x1374 x1376 x1378 x1380 x1382 x1387 x1390 x1397 x1402 x1405 1801.22 v x1408 x1410 x1412 x1414 x1416 x1426 x1427 x1435 x1438 x1443 x1450 x1462 x1463 x1465 x1474 x1478 x1481 x1486 x1489 x1492 x1494 1801.22 v x1496 x1498 x1500 x1505 x1510 x1522 x1523 x1526 x1534 x1535 x1537 x1540 x1542 x1544 x1546 x1548 x1549 x1552 x1554 x1556 x1558 1801.22 v x1560 x1562 x1567 x1570 x1582 x1583 x1587 x1594 x1597 x1606 x1609 x1612 x1614 x1616 x1620 x1621 x1630 x1634 x1642 x1643 x1645 1801.22 v x1648 x1650 x1652 x1654 x1656 x1657 x1660 x1662 x1664 x1666 x1668 x1669 x1672 x1674 x1676 x1678 x1680 x1681 x1690 x1694 x1697 1801.22 v x1702 x1706 x1711 x1718 x1723 x1726 x1729 x1732 x1734 x1736 x1738 x1740 x1745 x1750 x1753 x1762 x1766 x1771 x1774 x1778 x1783 1801.22 v x1786 x1789 x1792 x1794 x1796 x1798 x1800 x1801 x1804 x1806 x1808 x1810 x1812 x1817 x1822 x1827 x1837 x1846 x1858 x1859 x1865 1801.22 v x1870 x1873 x1876 x1878 x1880 x1882 x1884 x1886 x1891 x1894 x1898 x1899 x1906 x1909 x1912 x1914 x1916 x1918 x1920 x1930 x1931 1801.22 v x1933 x1936 x1938 x1940 x1942 x1944 x1946 x1949 x1954 x1959 x1970 x1975 x1978 x1985 x1990 x1993 x1996 x1998 x2000 x2002 x2004 1801.22 v x2006 x2009 x2014 x2023 x2026 x2029 x2032 x2034 x2036 x2038 x2040 x2041 x2044 x2046 x2048 x2050 x2052 x2054 x2055 x2062 x2065 1801.22 v x2068 x2070 x2072 x2074 x2076 x2083 x2086 x2090 x2095 x2101 x2104 x2106 x2108 x2110 x2112 x2119 x2122 x2131 -x2 -x4 -x6 -x8 1801.22 v -x10 -x12 -x14 -x16 -x18 -x20 -x22 -x24 -x26 -x28 -x29 -x32 -x34 -x36 -x37 -x40 -x42 -x44 -x46 -x48 -x50 -x52 -x54 -x56 -x58 -x60 1801.22 v -x62 -x64 -x66 -x68 -x69 -x72 -x74 -x76 -x78 -x80 -x82 -x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 -x101 -x104 -x106 -x108 1801.22 v -x110 -x112 -x114 -x116 -x118 -x120 -x122 -x124 -x126 -x128 -x130 -x131 -x134 -x136 -x137 -x140 -x142 -x144 -x146 -x148 -x149 1801.22 v -x152 -x154 -x155 -x158 -x160 -x162 -x164 -x165 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 1801.22 v -x194 -x195 -x197 -x199 -x201 -x203 -x205 -x208 -x209 -x210 -x211 -x212 -x213 -x215 -x216 -x218 -x219 -x220 -x221 -x222 -x223 1801.22 v -x224 -x225 -x227 -x228 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x239 -x240 -x241 -x243 -x244 -x245 -x246 -x247 -x248 1801.22 v -x249 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x260 -x261 -x263 -x264 -x265 -x268 -x269 -x270 -x271 -x272 -x273 -x275 -x276 1801.22 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x300 -x302 -x303 1801.22 v -x304 -x305 -x306 -x307 -x308 -x309 -x311 -x312 -x313 -x314 -x315 -x316 -x318 -x319 -x320 -x321 -x323 -x324 -x326 -x327 -x329 1801.22 v -x331 -x333 -x335 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x347 -x348 -x349 -x350 -x351 -x352 -x354 -x355 -x356 -x357 1801.22 v -x359 -x360 -x361 -x362 -x364 -x365 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x379 -x381 -x383 -x385 -x386 -x387 1801.22 v -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x400 -x401 -x402 -x403 -x404 -x405 -x407 -x408 -x410 -x411 -x412 -x413 1801.22 v -x414 -x415 -x416 -x417 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x428 -x429 -x431 -x432 -x434 -x435 -x437 -x439 -x441 1801.22 v -x443 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x455 -x456 -x457 -x459 -x460 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1801.22 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x493 1801.22 v -x494 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x508 -x509 -x510 -x511 -x512 -x513 -x515 -x516 -x517 -x520 -x521 1801.22 v -x522 -x523 -x524 -x525 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x540 -x542 -x543 -x545 -x547 -x549 1801.22 v -x551 -x553 -x555 -x556 -x558 -x559 -x560 -x561 -x563 -x564 -x565 -x567 -x568 -x569 -x570 -x572 -x573 -x575 -x576 -x578 -x579 1801.22 v -x581 -x583 -x585 -x587 -x589 -x591 -x592 -x593 -x594 -x596 -x597 -x599 -x600 -x601 -x603 -x604 -x606 -x607 -x608 -x609 -x611 1801.22 v -x612 -x614 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x628 -x630 -x631 -x632 -x633 -x635 -x636 -x637 -x639 -x640 -x642 -x643 1801.22 v -x644 -x645 -x647 -x648 -x650 -x651 -x653 -x655 -x657 -x659 -x661 -x662 -x663 -x664 -x666 -x667 -x668 -x669 -x671 -x672 -x673 1801.22 v -x676 -x677 -x678 -x679 -x680 -x681 -x683 -x684 -x686 -x687 -x689 -x691 -x693 -x695 -x698 -x699 -x701 -x703 -x705 -x707 -x710 1801.22 v -x711 -x713 -x715 -x717 -x719 -x722 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x736 -x738 -x739 -x740 -x741 -x743 -x744 -x745 1801.22 v -x747 -x749 -x751 -x754 -x755 -x757 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x768 -x769 -x772 -x773 -x774 -x775 -x776 -x777 1801.22 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x786 -x787 -x788 -x789 -x791 -x792 -x794 -x795 -x797 -x799 -x801 -x803 -x806 -x807 1801.22 v -x809 -x811 -x813 -x815 -x817 -x818 -x819 -x821 -x823 -x826 -x827 -x830 -x831 -x833 -x835 -x837 -x839 -x842 -x843 -x845 -x847 1801.22 v -x849 -x851 -x853 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x864 -x865 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1801.22 v -x877 -x879 -x880 -x881 -x882 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x897 -x899 -x900 -x902 -x903 1801.22 v -x905 -x907 -x909 -x911 -x913 -x914 -x915 -x916 -x917 -x918 -x920 -x921 -x923 -x924 -x925 -x926 -x927 -x928 -x930 -x931 -x932 1801.22 v -x933 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x948 -x949 -x950 -x952 -x953 -x954 -x955 -x956 -x957 1801.22 v -x959 -x960 -x962 -x963 -x965 -x967 -x969 -x971 -x974 -x975 -x977 -x979 -x981 -x983 -x985 -x986 -x987 -x988 -x989 -x990 -x992 1801.22 v -x993 -x995 -x996 -x998 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1020 1801.22 v -x1021 -x1023 -x1024 -x1026 -x1027 -x1028 -x1029 -x1031 -x1032 -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1801.22 v -x1044 -x1045 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1801.22 v -x1066 -x1067 -x1068 -x1070 -x1071 -x1073 -x1075 -x1077 -x1079 -x1082 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1094 1801.22 v -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1103 -x1104 -x1105 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1115 -x1116 1801.22 v -x1117 -x1118 -x1119 -x1121 -x1123 -x1126 -x1127 -x1129 -x1131 -x1132 -x1134 -x1135 -x1136 -x1137 -x1139 -x1140 -x1142 1801.22 v -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156 -x1158 -x1159 -x1160 -x1161 -x1163 -x1164 -x1165 -x1166 -x1168 1801.22 v -x1169 -x1170 -x1171 -x1172 -x1173 -x1175 -x1176 -x1177 -x1178 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1187 -x1188 1801.22 v -x1190 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1211 -x1212 -x1214 -x1215 1801.22 v -x1217 -x1219 -x1221 -x1223 -x1226 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1238 -x1240 -x1241 -x1242 -x1243 -x1244 1801.22 v -x1245 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 -x1263 -x1264 -x1265 1801.22 v -x1266 -x1267 -x1268 -x1269 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1284 -x1285 1801.22 v -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1295 -x1296 -x1298 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1312 1801.22 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1320 -x1321 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1332 -x1333 -x1334 1801.22 v -x1335 -x1336 -x1337 -x1338 -x1340 -x1341 -x1343 -x1344 -x1345 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1355 -x1356 1801.22 v -x1357 -x1359 -x1360 -x1361 -x1362 -x1364 -x1365 -x1367 -x1368 -x1370 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 1801.22 v -x1384 -x1385 -x1386 -x1388 -x1389 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 1801.22 v -x1406 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1428 -x1429 1801.22 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1439 -x1440 -x1441 -x1442 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1801.22 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1464 -x1466 -x1467 -x1468 -x1469 -x1470 1801.22 v -x1471 -x1472 -x1473 -x1475 -x1476 -x1477 -x1479 -x1480 -x1482 -x1483 -x1484 -x1485 -x1487 -x1488 -x1490 -x1491 -x1493 1801.22 v -x1495 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 -x1507 -x1508 -x1509 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1801.22 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1524 -x1525 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1536 -x1538 -x1539 1801.22 v -x1541 -x1543 -x1545 -x1547 -x1550 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1564 -x1565 -x1566 -x1568 -x1569 1801.22 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1584 -x1585 -x1586 -x1588 -x1589 -x1590 1801.22 v -x1591 -x1592 -x1593 -x1595 -x1596 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1607 -x1608 -x1610 -x1611 1801.22 v -x1613 -x1615 -x1617 -x1618 -x1619 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 -x1633 -x1635 1801.22 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1644 -x1646 -x1647 -x1649 -x1651 -x1653 -x1655 -x1658 -x1659 -x1661 -x1663 1801.22 v -x1665 -x1667 -x1670 -x1671 -x1673 -x1675 -x1677 -x1679 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691 1801.22 v -x1692 -x1693 -x1695 -x1696 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1707 -x1708 -x1709 -x1710 -x1712 -x1713 1801.22 v -x1714 -x1715 -x1716 -x1717 -x1719 -x1720 -x1721 -x1722 -x1724 -x1725 -x1727 -x1728 -x1730 -x1731 -x1733 -x1735 -x1737 1801.22 v -x1739 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 -x1748 -x1749 -x1751 -x1752 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 1801.22 v -x1760 -x1761 -x1763 -x1764 -x1765 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1775 -x1776 -x1777 -x1779 -x1780 -x1781 1801.22 v -x1782 -x1784 -x1785 -x1787 -x1788 -x1790 -x1791 -x1793 -x1795 -x1797 -x1799 -x1802 -x1803 -x1805 -x1807 -x1809 -x1811 1801.22 v -x1813 -x1814 -x1815 -x1816 -x1818 -x1819 -x1820 -x1821 -x1823 -x1824 -x1825 -x1826 -x1828 -x1829 -x1830 -x1831 -x1832 1801.22 v -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 1801.22 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1860 -x1861 -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1871 -x1872 1801.22 v -x1874 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1888 -x1889 -x1890 -x1892 -x1893 -x1895 -x1896 -x1897 -x1900 1801.22 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1907 -x1908 -x1910 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1922 -x1923 -x1924 1801.22 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1932 -x1934 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1948 -x1950 -x1951 1801.22 v -x1952 -x1953 -x1955 -x1956 -x1957 -x1958 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1971 1801.22 v -x1972 -x1973 -x1974 -x1976 -x1977 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 1801.22 v -x1994 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2008 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 1801.22 v -x2019 -x2020 -x2021 -x2022 -x2024 -x2025 -x2027 -x2028 -x2030 -x2031 -x2033 -x2035 -x2037 -x2039 -x2042 -x2043 -x2045 1801.22 v -x2047 -x2049 -x2051 -x2053 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2063 -x2064 -x2066 -x2067 -x2069 -x2071 -x2073 1801.22 v -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2084 -x2085 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 1801.22 v -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2120 1801.22 v -x2121 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136
OK 659
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/node31/watcher-45860-1154048463 -o ROOT/results/node31/solver-45860-1154048463 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb 215715658 ROOT/tmp/node31/45860-1154048463 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.98 3/70 20420 /proc/meminfo: memFree=664608/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=11860 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) R 20420 20420 20371 0 -1 4194304 157 0 0 0 0 0 0 0 19 0 1 0 151705969 12144640 123 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225612042503 0 0 4224 0 0 0 0 17 1 0 0 /proc/20421/statm: 2999 136 103 3 0 99 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.97 0.98 2/74 20507 /proc/meminfo: memFree=661240/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=4092 CPUtime=9.58 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 710 0 0 0 953 5 0 0 25 0 1 0 151705970 4190208 674 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1023 674 213 21 0 459 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 10.2 Current children cumulated vsize (Kb) 39480 [startup+20.009 s] /proc/loadavg: 0.94 0.97 0.98 2/74 20557 /proc/meminfo: memFree=661304/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=4224 CPUtime=19.56 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 723 0 0 0 1951 5 0 0 25 0 1 0 151705970 4325376 687 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533172 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1056 687 213 21 0 492 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 20.18 Current children cumulated vsize (Kb) 39612 [startup+30.0158 s] /proc/loadavg: 0.95 0.97 0.98 2/68 20597 /proc/meminfo: memFree=662312/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=4224 CPUtime=29.55 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 739 0 0 0 2950 5 0 0 25 0 1 0 151705970 4325376 703 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558192 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1056 703 213 21 0 492 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 30.17 Current children cumulated vsize (Kb) 39612 [startup+40.0217 s] /proc/loadavg: 0.96 0.97 0.98 2/68 20597 /proc/meminfo: memFree=662320/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=4356 CPUtime=39.55 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 754 0 0 0 3950 5 0 0 25 0 1 0 151705970 4460544 718 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1089 718 213 21 0 525 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 40.17 Current children cumulated vsize (Kb) 39744 [startup+50.0285 s] /proc/loadavg: 0.96 0.97 0.98 2/68 20597 /proc/meminfo: memFree=662256/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=4488 CPUtime=49.56 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 784 0 0 0 4951 5 0 0 25 0 1 0 151705970 4595712 748 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533159 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1122 748 213 21 0 558 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 438 333 3 0 201 0 Current children cumulated CPU time (s) 50.18 Current children cumulated vsize (Kb) 39876 [startup+60.0353 s] /proc/loadavg: 0.97 0.97 0.98 2/68 20597 /proc/meminfo: memFree=662192/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=4488 CPUtime=59.56 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 800 0 0 0 5951 5 0 0 25 0 1 0 151705970 4595712 764 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532718 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1122 764 213 21 0 558 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 60.18 Current children cumulated vsize (Kb) 39876 [startup+70.0412 s] /proc/loadavg: 0.97 0.97 0.98 2/68 20597 /proc/meminfo: memFree=662128/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=4488 CPUtime=69.56 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 807 0 0 0 6951 5 0 0 25 0 1 0 151705970 4595712 771 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539729 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1122 771 213 21 0 558 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 70.18 Current children cumulated vsize (Kb) 39876 [startup+80.047 s] /proc/loadavg: 0.98 0.97 0.98 2/68 20597 /proc/meminfo: memFree=662128/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=4620 CPUtime=79.57 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 817 0 0 0 7952 5 0 0 25 0 1 0 151705970 4730880 781 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1155 781 213 21 0 591 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 80.19 Current children cumulated vsize (Kb) 40008 [startup+90.0528 s] /proc/loadavg: 0.98 0.97 0.98 2/68 20597 /proc/meminfo: memFree=662128/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1793.29 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179323 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521046 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1793.91 Current children cumulated vsize (Kb) 41988 [startup+1795.17 s] /proc/loadavg: 1.08 1.00 0.99 2/68 20597 /proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1794.3 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179424 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533216 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1794.92 Current children cumulated vsize (Kb) 41988 [startup+1796.18 s] /proc/loadavg: 1.08 1.00 0.99 2/68 20597 /proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1795.3 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179524 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539729 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1795.92 Current children cumulated vsize (Kb) 41988 [startup+1797.19 s] /proc/loadavg: 1.08 1.00 0.99 2/68 20597 /proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1796.31 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179625 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539747 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (Kb) 41988 [startup+1798.19 s] /proc/loadavg: 1.08 1.00 0.99 2/68 20597 /proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1797.31 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179725 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539712 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (Kb) 41988 [startup+1799.2 s] /proc/loadavg: 1.07 1.00 0.99 2/68 20597 /proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1798.32 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179826 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521662 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1798.94 Current children cumulated vsize (Kb) 41988 [startup+1800.2 s] /proc/loadavg: 1.07 1.00 0.99 2/68 20597 /proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1799.32 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179926 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134529341 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (Kb) 41988 [startup+1801.21 s] /proc/loadavg: 1.07 1.00 0.99 2/68 20597 /proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1800.33 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 180027 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521836 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 41988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 1.07 1.00 0.99 2/68 20597 /proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956 [pid=20420] ppid=20418 vsize=5360 CPUtime=0 /proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20420/statm: 1340 234 195 169 0 51 0 [pid=20421] ppid=20420 vsize=12268 CPUtime=0 /proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/20421/statm: 3067 383 293 3 0 167 0 [pid=20422] ppid=20421 vsize=5356 CPUtime=0.62 /proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20422/statm: 1339 227 188 169 0 50 0 [pid=20424] ppid=20422 vsize=6600 CPUtime=1800.33 /proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 180027 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538386 0 0 4096 0 0 0 0 17 1 0 0 /proc/20424/statm: 1650 1279 213 21 0 1086 0 [pid=20425] ppid=20422 vsize=12404 CPUtime=0 /proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/20425/statm: 3101 441 333 3 0 201 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 41988 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.23 CPU time (s): 1801 CPU user time (s): 1800.91 CPU system time (s): 0.087986 CPU usage (%): 99.987 Max. virtual memory (cumulated for all children) (Kb): 41988 The end
Begin job on node31 on Fri Jul 28 01:01:03 UTC 2006 FILE ID= 45860-1154048463 PBS_JOBID= 881759 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb 215715658 ROOT/tmp/node31/45860-1154048463 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-45860-1154048463 -o ROOT/results/node31/solver-45860-1154048463 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb 215715658 ROOT/tmp/node31/45860-1154048463 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= bad507f566306ee26a0781c0a8fac473 RANDOM SEED= 215715658 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.233 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.233 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: 664880 kB Buffers: 31164 kB Cached: 1282972 kB SwapCached: 3704 kB Active: 105384 kB Inactive: 1218136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 664880 kB SwapTotal: 4192956 kB SwapFree: 4183108 kB Dirty: 264 kB Writeback: 0 kB Mapped: 15996 kB Slab: 53036 kB Committed_AS: 577588 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Fri Jul 28 01:31:04 UTC 2006