Trace number 3720598

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: Pueblo 1.4SAT24 1783 1783.29

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
MD5SUMb155444c97f18a8f3025da7494a3d01e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark49.9814
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	24

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720598-1338512545/watcher-3720598-1338512545 -o /tmp/evaluation-result-3720598-1338512545/solver-3720598-1338512545 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720598-1338512545.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30575
/proc/meminfo: memFree=29369104/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 317383018 3178496 269 33554432000 134512640 134579096 4288643088 4288510436 2450191 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 776 269 221 17 0 82 0

[startup+0.0860641 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30575
/proc/meminfo: memFree=29369104/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=5548 CPUtime=0.07 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 918 0 0 0 7 0 0 0 20 0 1 0 317383018 5681152 855 33554432000 134512640 134579096 4288643088 4288641736 1701159 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 1387 855 228 17 0 693 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5548

[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30575
/proc/meminfo: memFree=29369104/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=5812 CPUtime=0.09 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 993 0 0 0 9 0 0 0 20 0 1 0 317383018 5951488 930 33554432000 134512640 134579096 4288643088 4288642048 134532448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 1453 931 228 17 0 759 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5812

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30575
/proc/meminfo: memFree=29369104/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=5948 CPUtime=0.29 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 1018 0 0 0 29 0 0 0 20 0 1 0 317383018 6090752 955 33554432000 134512640 134579096 4288643088 4288642000 134559243 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 1487 955 229 17 0 793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5948

[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30575
/proc/meminfo: memFree=29369104/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=6208 CPUtime=0.68 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 1090 0 0 0 68 0 0 0 20 0 1 0 317383018 6356992 1027 33554432000 134512640 134579096 4288643088 4288642060 11752496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 1552 1027 229 17 0 858 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6208

[startup+1.50012 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29365028/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=6996 CPUtime=1.49 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 1277 0 0 0 148 1 0 0 20 0 1 0 317383018 7163904 1214 33554432000 134512640 134579096 4288643088 4288641968 134558596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 1749 1214 229 17 0 1055 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6996

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29364408/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=7644 CPUtime=3.09 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 1445 0 0 0 308 1 0 0 20 0 1 0 317383018 7827456 1382 33554432000 134512640 134579096 4288643088 4288641876 1696108 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 1911 1382 229 17 0 1217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7644

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29362796/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=8684 CPUtime=6.29 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 1719 0 0 0 627 2 0 0 20 0 1 0 317383018 8892416 1656 33554432000 134512640 134579096 4288643088 4288641592 1699632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2171 1656 229 17 0 1477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8684

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29362196/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=8684 CPUtime=12.68 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 1721 0 0 0 1266 2 0 0 20 0 1 0 317383018 8892416 1674 33554432000 134512640 134579096 4288643088 4288641936 134527731 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2171 1674 229 17 0 1477 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8684

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29362708/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=8684 CPUtime=25.48 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 1721 0 0 0 2544 4 0 0 20 0 1 0 317383018 8892416 1674 33554432000 134512640 134579096 4288643088 4288641936 134527769 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2171 1674 229 17 0 1477 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8684

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29361592/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=9808 CPUtime=51.08 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2007 0 0 0 5101 7 0 0 20 0 1 0 317383018 10043392 1948 33554432000 134512640 134579096 4288643088 4288641936 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2452 1948 229 17 0 1758 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9808

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29361280/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=9872 CPUtime=102.27 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2030 0 0 0 10216 11 0 0 20 0 1 0 317383018 10108928 1970 33554432000 134512640 134579096 4288643088 4288641996 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2468 1970 229 17 0 1774 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9872

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29360164/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=10652 CPUtime=162.26 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2220 0 0 0 16211 15 0 0 20 0 1 0 317383018 10907648 2160 33554432000 134512640 134579096 4288643088 4288641936 134527824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2663 2160 229 17 0 1969 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 10652

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29359916/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=10776 CPUtime=222.24 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2257 0 0 0 22204 20 0 0 20 0 1 0 317383018 11034624 2197 33554432000 134512640 134579096 4288643088 4288641936 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2694 2197 229 17 0 2000 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 10776

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29359916/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=10888 CPUtime=282.24 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2295 0 0 0 28199 25 0 0 20 0 1 0 317383018 11149312 2235 33554432000 134512640 134579096 4288643088 4288641936 134527815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2722 2235 229 17 0 2028 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 10888

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30577
/proc/meminfo: memFree=29359296/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=11440 CPUtime=342.23 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2418 0 0 0 34193 30 0 0 20 0 1 0 317383018 11714560 2358 33554432000 134512640 134579096 4288643088 4288641936 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2860 2358 229 17 0 2166 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 11440

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30577
/proc/meminfo: memFree=29359048/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=11652 CPUtime=402.22 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2496 0 0 0 40189 33 0 0 20 0 1 0 317383018 11931648 2426 33554432000 134512640 134579096 4288643088 4288642060 11752496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2913 2426 229 17 0 2219 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 11652

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30580
/proc/meminfo: memFree=29360924/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=11744 CPUtime=462.21 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2498 0 0 0 46184 37 0 0 20 0 1 0 317383018 12025856 2428 33554432000 134512640 134579096 4288643088 4288641936 134527962 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2936 2428 229 17 0 2242 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 11744

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30628
/proc/meminfo: memFree=29339208/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=11716 CPUtime=522.21 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2512 0 0 0 52179 42 0 0 20 0 1 0 317383018 11997184 2442 33554432000 134512640 134579096 4288643088 4288641744 134523429 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 2929 2442 229 17 0 2235 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 11716

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30628
/proc/meminfo: memFree=29271276/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=13420 CPUtime=582.19 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2925 0 0 0 58174 45 0 0 20 0 1 0 317383018 13742080 2855 33554432000 134512640 134579096 4288643088 4288641936 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3355 2855 229 17 0 2661 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 13420

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=29184940/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=13552 CPUtime=882.15 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 2965 0 0 0 88145 70 0 0 20 0 1 0 317383018 13877248 2894 33554432000 134512640 134579096 4288643088 4288641968 134558596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3388 2894 229 17 0 2694 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 13552

[startup+942.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 30630
/proc/meminfo: memFree=29160264/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=14052 CPUtime=942.14 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3086 0 0 0 94141 73 0 0 20 0 1 0 317383018 14389248 3015 33554432000 134512640 134579096 4288643088 4288641936 134527726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3513 3015 229 17 0 2819 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 14052

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 30630
/proc/meminfo: memFree=29160160/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=14024 CPUtime=1002.13 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3095 0 0 0 100136 77 0 0 20 0 1 0 317383018 14360576 3018 33554432000 134512640 134579096 4288643088 4288641936 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3506 3018 229 17 0 2812 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 14024

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 30633
/proc/meminfo: memFree=29159748/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=14156 CPUtime=1062.12 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3124 0 0 0 106132 80 0 0 20 0 1 0 317383018 14495744 3047 33554432000 134512640 134579096 4288643088 4288641936 134527724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3539 3047 229 17 0 2845 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 14156

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30633
/proc/meminfo: memFree=29159352/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=14292 CPUtime=1122.11 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3152 0 0 0 112126 85 0 0 20 0 1 0 317383018 14635008 3075 33554432000 134512640 134579096 4288643088 4288641664 1698990 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3573 3075 229 17 0 2879 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 14292

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30633
/proc/meminfo: memFree=29159476/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=14292 CPUtime=1182.1 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3152 0 0 0 118119 91 0 0 20 0 1 0 317383018 14635008 3075 33554432000 134512640 134579096 4288643088 4288642060 11752496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3573 3075 229 17 0 2879 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 14292

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30634
/proc/meminfo: memFree=29159352/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=14292 CPUtime=1242.09 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3152 0 0 0 124114 95 0 0 20 0 1 0 317383018 14635008 3075 33554432000 134512640 134579096 4288643088 4288641936 134527812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3573 3075 229 17 0 2879 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 14292

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30634
/proc/meminfo: memFree=29158360/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=15148 CPUtime=1302.09 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3363 0 0 0 130111 98 0 0 20 0 1 0 317383018 15511552 3286 33554432000 134512640 134579096 4288643088 4288641936 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3787 3286 229 17 0 3093 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15148

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30634
/proc/meminfo: memFree=29158608/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=15144 CPUtime=1362.07 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3363 0 0 0 136105 102 0 0 20 0 1 0 317383018 15507456 3286 33554432000 134512640 134579096 4288643088 4288641920 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3786 3286 229 17 0 3092 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 15144

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30634
/proc/meminfo: memFree=29151788/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=15144 CPUtime=1422.07 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3363 0 0 0 142098 109 0 0 20 0 1 0 317383018 15507456 3286 33554432000 134512640 134579096 4288643088 4288641936 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3786 3286 229 17 0 3092 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15144

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30634
/proc/meminfo: memFree=29103948/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=15268 CPUtime=1482.05 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3392 0 0 0 148091 114 0 0 20 0 1 0 317383018 15634432 3315 33554432000 134512640 134579096 4288643088 4288641936 134528349 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3817 3315 229 17 0 3123 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 15268

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30635
/proc/meminfo: memFree=29054100/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=15468 CPUtime=1542.05 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3444 0 0 0 154086 119 0 0 20 0 1 0 317383018 15839232 3367 33554432000 134512640 134579096 4288643088 4288641888 134528560 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3867 3367 229 17 0 3173 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 15468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 30837
/proc/meminfo: memFree=29012284/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=15440 CPUtime=1602.04 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3444 0 0 0 160080 124 0 0 20 0 1 0 317383018 15810560 3366 33554432000 134512640 134579096 4288643088 4288642060 11752496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 3860 3366 229 17 0 3166 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 15440

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 30839
/proc/meminfo: memFree=29012112/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=16052 CPUtime=1662.03 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3593 0 0 0 166074 129 0 0 20 0 1 0 317383018 16437248 3505 33554432000 134512640 134579096 4288643088 4288642060 11752496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 4013 3505 229 17 0 3319 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 16052

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30839
/proc/meminfo: memFree=29011656/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=16288 CPUtime=1722.02 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3662 0 0 0 172069 133 0 0 20 0 1 0 317383018 16678912 3582 33554432000 134512640 134579096 4288643088 4288641936 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 4072 3582 229 17 0 3378 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 16288

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30839
/proc/meminfo: memFree=29011160/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=16548 CPUtime=1782.01 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3720 0 0 0 178063 138 0 0 20 0 1 0 317383018 16945152 3640 33554432000 134512640 134579096 4288643088 4288641936 134527658 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 4137 3640 229 17 0 3443 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 16548

Solver just ended. Dumping a history of the last processes samples

[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30839
/proc/meminfo: memFree=29011160/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=16548 CPUtime=1782.41 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3720 0 0 0 178103 138 0 0 20 0 1 0 317383018 16945152 3640 33554432000 134512640 134579096 4288643088 4288641936 134528015 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 4137 3640 229 17 0 3443 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 16548

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30839
/proc/meminfo: memFree=29011160/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=16548 CPUtime=1782.82 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3720 0 0 0 178144 138 0 0 20 0 1 0 317383018 16945152 3640 33554432000 134512640 134579096 4288643088 4288641936 134528015 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 4137 3640 229 17 0 3443 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 16548

[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30839
/proc/meminfo: memFree=29011160/32873844 swapFree=6872/6872
[pid=30575] ppid=30573 vsize=16548 CPUtime=1782.91 cores=1,3,5,7
/proc/30575/stat : 30575 (Pueblo) R 30573 30575 28759 0 -1 4202496 3720 0 0 0 178153 138 0 0 20 0 1 0 317383018 16945152 3640 33554432000 134512640 134579096 4288643088 4288641936 134527729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30575/statm: 4137 3640 229 17 0 3443 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 16548

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783
CPU user time (s): 1781.62
CPU system time (s): 1.38279
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 16548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.62
system time used= 1.38279
maximum resident set size= 14580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 1861

runsolver used 2.77858 second user time and 7.68683 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-01 03:02:25
IDJOB=3720598
IDBENCH=72485
IDSOLVER=2305
FILE ID=node106/3720598-1338512545
RUNJOBID= node106-1338506011-28776
PBS_JOBID= 14635785
Free space on /tmp= 70864 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720598-1338512545/watcher-3720598-1338512545 -o /tmp/evaluation-result-3720598-1338512545/solver-3720598-1338512545 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720598-1338512545.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e
RANDOM SEED=788032882

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29369540 kB
Buffers:          178780 kB
Cached:          2476444 kB
SwapCached:         1940 kB
Active:           874856 kB
Inactive:        1817548 kB
Active(anon):      34360 kB
Inactive(anon):     4868 kB
Active(file):     840496 kB
Inactive(file):  1812680 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100516 kB
Dirty:              2004 kB
Writeback:             0 kB
AnonPages:         41192 kB
Mapped:             9772 kB
Shmem:                 0 kB
Slab:             673616 kB
SReclaimable:     115720 kB
SUnreclaim:       557896 kB
KernelStack:        1496 kB
PageTables:         4224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     157360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720598-1338512545.opb

Free space on /tmp at the end= 70860 MiB
End job on node106 at 2012-06-01 03:32:09