Trace number 4118489

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
Open-WBO PB16SAT (TO)-162 1800.02 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament46.lin.opb
MD5SUM2512f6fa73aa9bc4f3cf5964117edffe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-381
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3059
Total number of constraints4048
Number of constraints which are clauses2024
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2024
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 2664
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 2860
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2860
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	-162

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4118489-1467222919/watcher-4118489-1467222919 -o /tmp/evaluation-result-4118489-1467222919/solver-4118489-1467222919 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467209011-6354 --watchdog 1960 open-wbo HOME/instance-4118489-1467222919.opb 

pid=8440
running on 4 cores: 0,2,4,6

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.29 2.24 2.21 3/176 8443
/proc/meminfo: memFree=28612824/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=2888 CPUtime=0 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 1 0 3246705 2957312 323 33554432000 4194304 6059633 140736451475472 140735125464392 4693728 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 722 323 172 456 0 220 0

[startup+0.100204 s]
/proc/loadavg: 2.29 2.24 2.21 3/176 8443
/proc/meminfo: memFree=28612824/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=13720 CPUtime=0.09 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 2051 0 0 0 9 0 0 0 20 0 1 0 3246705 14049280 2367 33554432000 4194304 6059633 140736451475472 140735125464392 5268791 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 3430 2367 173 456 0 2966 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13720

[startup+0.200306 s]
/proc/loadavg: 2.29 2.24 2.21 3/176 8443
/proc/meminfo: memFree=28612824/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=14116 CPUtime=0.19 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 2220 0 0 0 19 0 0 0 20 0 1 0 3246705 14454784 2536 33554432000 4194304 6059633 140736451475472 140735125464392 4283394 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 3529 2536 173 456 0 3065 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14116

[startup+0.300294 s]
/proc/loadavg: 2.29 2.24 2.21 3/176 8443
/proc/meminfo: memFree=28612824/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=15420 CPUtime=0.29 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 2607 0 0 0 29 0 0 0 20 0 1 0 3246705 15790080 2923 33554432000 4194304 6059633 140736451475472 140735125464392 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 3855 2923 190 456 0 3391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15420

[startup+0.700297 s]
/proc/loadavg: 2.29 2.24 2.21 3/176 8443
/proc/meminfo: memFree=28612824/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=14604 CPUtime=0.69 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 3130 0 0 0 69 0 0 0 20 0 1 0 3246705 14954496 2817 33554432000 4194304 6059633 140736451475472 140736451473928 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 3651 2817 192 456 0 3187 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14604

[startup+1.50026 s]
/proc/loadavg: 2.29 2.24 2.21 3/177 8444
/proc/meminfo: memFree=28601648/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=17856 CPUtime=1.49 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 4241 0 0 0 149 0 0 0 20 0 1 0 3246705 18284544 3490 33554432000 4194304 6059633 140736451475472 140736451473928 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 4464 3490 192 456 0 4000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17856

[startup+3.10028 s]
/proc/loadavg: 2.29 2.24 2.21 4/177 8444
/proc/meminfo: memFree=28632496/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=19504 CPUtime=3.09 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 4873 0 0 0 309 0 0 0 20 0 1 0 3246705 19972096 4066 33554432000 4194304 6059633 140736451475472 140736451474232 4246291 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 4876 4066 192 456 0 4412 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19504

[startup+6.30028 s]
/proc/loadavg: 2.35 2.26 2.21 3/177 8444
/proc/meminfo: memFree=28631440/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=22208 CPUtime=6.29 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 5565 0 0 0 629 0 0 0 20 0 1 0 3246705 22740992 4700 33554432000 4194304 6059633 140736451475472 140736451474232 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 5552 4700 192 456 0 5088 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22208

[startup+12.7003 s]
/proc/loadavg: 2.40 2.27 2.22 4/177 8444
/proc/meminfo: memFree=28628132/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=29552 CPUtime=12.69 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 6264 0 0 0 1269 0 0 0 20 0 1 0 3246705 30261248 6412 33554432000 4194304 6059633 140736451475472 140736451473672 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 7388 6412 192 456 0 6924 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29552

[startup+25.5003 s]
/proc/loadavg: 2.31 2.26 2.21 3/177 8444
/proc/meminfo: memFree=28620632/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=31680 CPUtime=25.48 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 6755 0 0 0 2548 0 0 0 20 0 1 0 3246705 32440320 6882 33554432000 4194304 6059633 140736451475472 140736451474232 4246362 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 7920 6882 192 456 0 7456 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31680

[startup+51.1004 s]
/proc/loadavg: 2.20 2.23 2.20 3/177 8444
/proc/meminfo: memFree=28614432/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=36100 CPUtime=51.08 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 7700 0 0 0 5108 0 0 0 20 0 1 0 3246705 36966400 8297 33554432000 4194304 6059633 140736451475472 140736451473656 4264672 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 9025 8297 192 456 0 8561 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36100

[startup+102.3 s]
/proc/loadavg: 2.29 2.26 2.21 4/177 8445
/proc/meminfo: memFree=28603376/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=57760 CPUtime=102.28 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9146 0 0 0 10227 1 0 0 20 0 1 0 3246705 59146240 11090 33554432000 4194304 6059633 140736451475472 140736451473624 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 14440 11090 193 456 0 13976 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 57760

[startup+162.3 s]
/proc/loadavg: 2.20 2.24 2.20 3/177 8447
/proc/meminfo: memFree=28592740/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=57760 CPUtime=162.26 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9157 0 0 0 16225 1 0 0 20 0 1 0 3246705 59146240 13654 33554432000 4194304 6059633 140736451475472 140736451473624 4278363 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 14440 13654 193 456 0 13976 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 57760

[startup+222.307 s]
/proc/loadavg: 2.15 2.22 2.20 3/177 8448
/proc/meminfo: memFree=28552340/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=222.25 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9792 0 0 0 22224 1 0 0 20 0 1 0 3246705 90222592 15126 33554432000 4194304 6059633 140736451475472 140736451473624 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 15126 193 456 0 21563 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 88108

[startup+282.3 s]
/proc/loadavg: 2.25 2.24 2.20 4/177 8449
/proc/meminfo: memFree=28564504/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=282.24 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9870 0 0 0 28222 2 0 0 20 0 1 0 3246705 90222592 20821 33554432000 4194304 6059633 140736451475472 140736451473624 4277586 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 20821 193 456 0 21563 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 88108

[startup+342.3 s]
/proc/loadavg: 2.36 2.25 2.20 3/178 8453
/proc/meminfo: memFree=28526760/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=342.23 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9870 0 0 0 34221 2 0 0 20 0 1 0 3246705 90222592 20821 33554432000 4194304 6059633 140736451475472 140736451473624 4278389 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 20821 193 456 0 21563 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 88108

[startup+402.3 s]
/proc/loadavg: 2.30 2.25 2.20 3/178 8477
/proc/meminfo: memFree=28563436/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=402.22 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9881 0 0 0 40220 2 0 0 20 0 1 0 3246705 90222592 20832 33554432000 4194304 6059633 140736451475472 140736451474232 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 20832 193 456 0 21563 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 88108

[startup+462.3 s]
/proc/loadavg: 2.33 2.27 2.21 4/177 8479
/proc/meminfo: memFree=28531412/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=462.22 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9881 0 0 0 46220 2 0 0 20 0 1 0 3246705 90222592 20832 33554432000 4194304 6059633 140736451475472 140736451474232 4261130 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 20832 193 456 0 21563 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 88108

[startup+522.3 s]
/proc/loadavg: 2.45 2.31 2.22 3/177 8480
/proc/meminfo: memFree=28523092/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=522.21 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9881 0 0 0 52219 2 0 0 20 0 1 0 3246705 90222592 20832 33554432000 4194304 6059633 140736451475472 140736451474232 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 20832 193 456 0 21563 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 88108

[startup+582.3 s]
/proc/loadavg: 2.26 2.28 2.22 3/177 8481
/proc/meminfo: memFree=28561508/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=582.2 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 9882 0 0 0 58218 2 0 0 20 0 1 0 3246705 90222592 21344 33554432000 4194304 6059633 140736451475472 140736451474232 4277545 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 21344 193 456 0 21563 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 88108


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.28 2.22 3/178 8629
/proc/meminfo: memFree=28568152/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=137428 CPUtime=942.14 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 12058 0 0 0 94209 5 0 0 20 0 1 0 3246705 140726272 29319 33554432000 4194304 6059633 140736451475472 140736451473672 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 34357 29319 193 456 0 33893 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 137428

[startup+1002.3 s]
/proc/loadavg: 2.20 2.26 2.22 4/177 8630
/proc/meminfo: memFree=28580596/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=1002.13 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 12373 0 0 0 100207 6 0 0 20 0 1 0 3246705 90222592 21344 33554432000 4194304 6059633 140736451475472 140736451473960 4277616 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 21344 193 456 0 21563 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 88108

[startup+1062.3 s]
/proc/loadavg: 2.23 2.26 2.21 3/177 8632
/proc/meminfo: memFree=28568988/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=1062.12 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 12687 0 0 0 106206 6 0 0 20 0 1 0 3246705 90222592 21344 33554432000 4194304 6059633 140736451475472 140736451473960 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 21344 193 456 0 21563 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 88108

[startup+1122.3 s]
/proc/loadavg: 2.24 2.25 2.21 3/177 8633
/proc/meminfo: memFree=28524792/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=137428 CPUtime=1122.12 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 13315 0 0 0 112204 8 0 0 20 0 1 0 3246705 140726272 30343 33554432000 4194304 6059633 140736451475472 140736451473672 4278363 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 34357 30343 193 456 0 33893 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 137428

[startup+1182.3 s]
/proc/loadavg: 2.21 2.23 2.21 4/177 8634
/proc/meminfo: memFree=28559880/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=1182.1 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 13633 0 0 0 118202 8 0 0 20 0 1 0 3246705 90222592 21344 33554432000 4194304 6059633 140736451475472 140736451473960 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 21344 193 456 0 21563 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 88108

[startup+1242.3 s]
/proc/loadavg: 2.24 2.24 2.20 3/177 8635
/proc/meminfo: memFree=28559116/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=1242.09 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 13954 0 0 0 124200 9 0 0 20 0 1 0 3246705 90222592 21350 33554432000 4194304 6059633 140736451475472 140736451474232 4277864 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 21350 193 456 0 21563 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 88108

[startup+1302.3 s]
/proc/loadavg: 2.14 2.20 2.19 4/177 8636
/proc/meminfo: memFree=28558872/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=1302.09 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 14266 0 0 0 130199 10 0 0 20 0 1 0 3246705 90222592 21350 33554432000 4194304 6059633 140736451475472 140736451473960 4277793 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 21350 193 456 0 21563 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 88108

[startup+1362.3 s]
/proc/loadavg: 2.26 2.22 2.20 3/177 8638
/proc/meminfo: memFree=28559116/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=88108 CPUtime=1362.07 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 14577 0 0 0 136197 10 0 0 20 0 1 0 3246705 90222592 21350 33554432000 4194304 6059633 140736451475472 140736451473960 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 22027 21350 193 456 0 21563 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 88108

[startup+1422.3 s]
/proc/loadavg: 2.31 2.24 2.20 3/177 8639
/proc/meminfo: memFree=28550800/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1422.07 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 14893 0 0 0 142196 11 0 0 20 0 1 0 3246705 105050112 23399 33554432000 4194304 6059633 140736451475472 140736451473624 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 23399 193 456 0 25183 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 102588

[startup+1482.3 s]
/proc/loadavg: 2.21 2.23 2.19 3/177 8640
/proc/meminfo: memFree=28554392/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1482.05 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 15224 0 0 0 148194 11 0 0 20 0 1 0 3246705 105050112 24952 33554432000 4194304 6059633 140736451475472 140736451473960 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 24952 193 456 0 25183 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 102588

[startup+1542.31 s]
/proc/loadavg: 2.19 2.21 2.19 3/178 8644
/proc/meminfo: memFree=28533428/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1542.06 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 15537 0 0 0 154194 12 0 0 20 0 1 0 3246705 105050112 24952 33554432000 4194304 6059633 140736451475472 140736451473960 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 24952 193 456 0 25183 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 102588

[startup+1602.3 s]
/proc/loadavg: 2.25 2.22 2.19 3/177 8645
/proc/meminfo: memFree=28533056/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1602.04 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 15850 0 0 0 160191 13 0 0 20 0 1 0 3246705 105050112 24952 33554432000 4194304 6059633 140736451475472 140736451473960 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 24952 193 456 0 25183 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 102588

[startup+1662.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/176 8646
/proc/meminfo: memFree=28531500/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1662.03 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 16164 0 0 0 166190 13 0 0 20 0 1 0 3246705 105050112 24952 33554432000 4194304 6059633 140736451475472 140736451473960 4278482 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 24952 193 456 0 25183 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 102588

[startup+1722.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 8648
/proc/meminfo: memFree=28522680/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1722.02 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 16478 0 0 0 172188 14 0 0 20 0 1 0 3246705 105050112 24952 33554432000 4194304 6059633 140736451475472 140736451473960 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 24952 193 456 0 25183 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 102588

[startup+1782.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/177 8649
/proc/meminfo: memFree=28520256/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1782.01 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 16793 0 0 0 178187 14 0 0 20 0 1 0 3246705 105050112 24952 33554432000 4194304 6059633 140736451475472 140736451473960 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 24952 193 456 0 25183 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 102588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 8649
/proc/meminfo: memFree=28514796/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1800.01 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 16793 0 0 0 179987 14 0 0 20 0 1 0 3246705 105050112 24952 33554432000 4194304 6059633 140736451475472 140736451473960 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 24952 193 456 0 25183 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 102588

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8443 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 8649
/proc/meminfo: memFree=28514796/32872528 swapFree=1370068/1517236
[pid=8443] ppid=8440 vsize=102588 CPUtime=1800.01 cores=0,2,4,6
/proc/8443/stat : 8443 (open-wbo) R 8440 8443 6338 0 -1 4202496 16793 0 0 0 179987 14 0 0 20 0 1 0 3246705 105050112 24952 33554432000 4194304 6059633 140736451475472 140736451473960 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8443/statm: 25647 24952 193 456 0 25183 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 102588

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.87
CPU system time (s): 0.150977
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 151908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.150977
maximum resident set size= 141948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16796
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= 11
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96109 second user time and 6.88795 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-29 19:55:19
IDJOB=4118489
IDBENCH=111499
IDSOLVER=2547
FILE ID=node129/4118489-1467222919
RUNJOBID= node129-1467209011-6354
PBS_JOBID= 19997579
Free space on /tmp= 71596 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament46.lin.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118489-1467222919/watcher-4118489-1467222919 -o /tmp/evaluation-result-4118489-1467222919/solver-4118489-1467222919 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467209011-6354 --watchdog 1960  open-wbo HOME/instance-4118489-1467222919.opb

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

MD5SUM BENCH= 2512f6fa73aa9bc4f3cf5964117edffe
RANDOM SEED=1945249055

node129.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		: 2666.683
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	: 5333.36
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		: 2666.683
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	: 5332.56
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		: 2666.683
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	: 5332.55
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		: 2666.683
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	: 5332.55
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		: 2666.683
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	: 5332.55
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		: 2666.683
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	: 5332.56
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		: 2666.683
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	: 5332.55
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		: 2666.683
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28613468 kB
Buffers:           80100 kB
Cached:          1770668 kB
SwapCached:            0 kB
Active:           424236 kB
Inactive:        1561004 kB
Active(anon):     136516 kB
Inactive(anon):        0 kB
Active(file):     287720 kB
Inactive(file):  1561004 kB
Unevictable:     1517236 kB
Mlocked:         1370068 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4700 kB
Writeback:             0 kB
AnonPages:       1659460 kB
Mapped:            14692 kB
Shmem:               204 kB
Slab:             617060 kB
SReclaimable:      61488 kB
SUnreclaim:       555572 kB
KernelStack:        1456 kB
PageTables:         7368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1779600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71592 MiB
End job on node129 at 2016-06-29 20:25:19