PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb
MD5SUM	ebc55cfc194a279163f52418008eccf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65
Optimality of the best value was proved	NO
Number of terms in the objective function	2460
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	2460
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2460
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.11783
Number of variables	2459
Total number of constraints	873
Number of constraints which are clauses	873
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	146
Trace number 41950

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-15 20:38:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25165 boxname=wulflinc2 idbench=67 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ebc55cfc194a279163f52418008eccf2  /oldhome/oroussel/tmp/wulflinc2/normalized-ex5.pi.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ex5.pi.opb
IDLAUNCH: 25165
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        863432 kB
Buffers:         33516 kB
Cached:         112452 kB
SwapCached:       4448 kB
Active:          60948 kB
Inactive:        90136 kB
HighTotal:      131008 kB
HighFree:        30464 kB
LowTotal:       903652 kB
LowFree:        832968 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14572 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:58:53 (client local time) WITH STATUS 0 IN 1202.41 SECONDS
stats: 25165 0 1202.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 2460
c big objective detected
c trying from 0 to 511
c got solution with objective value: 511
c starting final optimization
c CONFLICT during preprocess 
c [startup+95.2707 s]  setting bit 11 to 0
c CONFLICT during preprocess 
c [startup+99.9776 s]  setting bit 10 to 0
c CONFLICT during preprocess 
c [startup+104.684 s]  setting bit 9 to 0
c got solution with objective value: 255
c [startup+135.013 s]  setting bit 8 to 1
c got solution with objective value: 127
c [startup+233.037 s]  setting bit 7 to 1

c Decision: 1057756/1131690	Time: 166.449/86400
c Decision: 1060786/1131690	Time: 239.826/86400
c Decision: 1060786/1131690	Time: 313.181/86400
c Decision: 1060786/1131690	Time: 384.628/86400
c Decision: 1060786/1131690	Time: 463.507/86400
c Decision: 1060786/1131690	Time: 547.748/86400
c Decision: 1060786/1131690	Time: 623.602/86400
c Decision: 1060786/1131690	Time: 711.021/86400
c Decision: 1060786/1131690	Time: 789.112/86400
c Decision: 1060786/1131690	Time: 870.998/86400
c Decision: 1060786/1131690	Time: 956.322/86400s SATISFIABLE
v -x1 -x10 -x100 -x1000 -x1001 -x1002 x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 x1024 x1025 x1026 -x1027 -x1028 -x1029 -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 x1338 -x1339 -x134 -x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 x140 x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 x1467 x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x157 -x1570 -x1571 -x1572 -x1573 x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 x1626 -x1627 -x1628 -x1629 x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x168 x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x176 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 x1911 x1912 -x1913 -x1914 -x1915 x1916 x1917 -x1918 x1919 -x192 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x202 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 x2107 -x2108 -x2109 -x211 x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 x2148 -x2149 -x215 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x237 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x39 -x390 -x391 x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x68 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 x708 -x709 x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x76 -x760 -x761 -x762 -x763 -x764 x765 -x766 x767 -x768 x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 x929 -x93 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 x985 x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 29502
Raw data (stat): 29502 (runsolver) R 29501 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965070270 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 26312 0 0 0 938 61 0 0 25 0 1 0 965070270 85180416 15445 4294967295 134512640 135730672 3221224592 3220979216 135284078 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20796 15445 301 301 0 20495 0
vsize: 83184
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 53648 0 0 0 1880 119 0 0 25 0 1 0 965070270 169549824 31837 4294967295 134512640 135730672 3221224592 3220364800 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41394 31837 301 301 0 41093 0
vsize: 165576
[startup+30.002 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 94633 0 0 0 2801 198 0 0 25 0 1 0 965070270 298921984 51158 4294967295 134512640 135730672 3221224592 3221197760 135284078 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72979 51158 301 301 0 72678 0
vsize: 291916
[startup+40.0031 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 107514 0 0 0 3771 229 0 0 25 0 1 0 965070270 336936960 63828 4294967295 134512640 135730672 3221224592 3220257728 134550038 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82260 63828 301 301 0 81959 0
vsize: 329040
[startup+50.0034 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 126020 0 0 0 4735 265 0 0 25 0 1 0 965070270 363429888 82119 4294967295 134512640 135730672 3221224592 3220790716 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88728 82119 301 301 0 88427 0
vsize: 354912
[startup+60.004 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 188873 0 0 0 5612 388 0 0 25 0 1 0 965070270 595140608 101869 4294967295 134512640 135730672 3221224592 3221057640 135284334 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145298 101869 301 301 0 144997 0
vsize: 581192
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 196941 0 0 0 6593 406 0 0 25 0 1 0 965070270 604196864 107661 4294967295 134512640 135730672 3221224592 3221222648 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107661 301 301 0 147208 0
vsize: 590036
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 196942 0 0 0 7593 407 0 0 25 0 1 0 965070270 604196864 107662 4294967295 134512640 135730672 3221224592 3221222928 134744785 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107662 301 301 0 147208 0
vsize: 590036
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 196944 0 0 0 8592 407 0 0 25 0 1 0 965070270 604196864 107664 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107664 301 301 0 147208 0
vsize: 590036
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 201383 0 0 0 9582 418 0 0 25 0 1 0 965070270 604196864 107681 4294967295 134512640 135730672 3221224592 3221222864 134742366 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107681 301 301 0 147208 0
vsize: 590036
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 205805 0 0 0 10571 429 0 0 25 0 1 0 965070270 604196864 107681 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107681 301 301 0 147208 0
vsize: 590036
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 205807 0 0 0 11570 430 0 0 25 0 1 0 965070270 604196864 107683 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107683 301 301 0 147208 0
vsize: 590036
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 205808 0 0 0 12570 431 0 0 25 0 1 0 965070270 604196864 107684 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107684 301 301 0 147208 0
vsize: 590036
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 208020 0 0 0 13564 437 0 0 25 0 1 0 965070270 604196864 107685 4294967295 134512640 135730672 3221224592 3221222496 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107685 301 301 0 147208 0
vsize: 590036
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 208021 0 0 0 14563 438 0 0 25 0 1 0 965070270 604196864 107686 4294967295 134512640 135730672 3221224592 3221222688 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147509 107686 301 301 0 147208 0
vsize: 590036
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 208446 0 0 0 15562 439 0 0 25 0 1 0 965070270 605790208 107947 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147898 107947 301 301 0 147597 0
vsize: 591592
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 208931 0 0 0 16561 440 0 0 25 0 1 0 965070270 607457280 108300 4294967295 134512640 135730672 3221224592 3221222688 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148305 108300 301 301 0 148004 0
vsize: 593220
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 209139 0 0 0 17560 441 0 0 25 0 1 0 965070270 608247808 108475 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148498 108475 301 301 0 148197 0
vsize: 593992
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 209501 0 0 0 18560 442 0 0 25 0 1 0 965070270 609837056 108789 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148886 108789 301 301 0 148585 0
vsize: 595544
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 209813 0 0 0 19559 443 0 0 25 0 1 0 965070270 611065856 109019 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149186 109019 301 301 0 148885 0
vsize: 596744
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 210120 0 0 0 20558 444 0 0 25 0 1 0 965070270 612392960 109260 4294967295 134512640 135730672 3221224592 3221222688 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149510 109260 301 301 0 149209 0
vsize: 598040
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 210537 0 0 0 21556 446 0 0 25 0 1 0 965070270 614182912 109595 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149947 109595 301 301 0 149646 0
vsize: 599788
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 210882 0 0 0 22555 447 0 0 25 0 1 0 965070270 616177664 109924 4294967295 134512640 135730672 3221224592 3221222880 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150434 109924 301 301 0 150133 0
vsize: 601736
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214122 0 0 0 23547 456 0 0 25 0 1 0 965070270 624570368 110953 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 110953 301 301 0 152182 0
vsize: 609932
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214132 0 0 0 24547 456 0 0 25 0 1 0 965070270 624570368 110963 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 110963 301 301 0 152182 0
vsize: 609932
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214136 0 0 0 25547 456 0 0 25 0 1 0 965070270 624570368 110967 4294967295 134512640 135730672 3221224592 3221222848 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 110967 301 301 0 152182 0
vsize: 609932
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214144 0 0 0 26546 457 0 0 25 0 1 0 965070270 624570368 110975 4294967295 134512640 135730672 3221224592 3221222688 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 110975 301 301 0 152182 0
vsize: 609932
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214147 0 0 0 27547 457 0 0 25 0 1 0 965070270 624570368 110978 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 110978 301 301 0 152182 0
vsize: 609932
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214155 0 0 0 28546 457 0 0 25 0 1 0 965070270 624570368 110986 4294967295 134512640 135730672 3221224592 3221222848 134734774 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 110986 301 301 0 152182 0
vsize: 609932
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214159 0 0 0 29546 458 0 0 25 0 1 0 965070270 624570368 110990 4294967295 134512640 135730672 3221224592 3221222688 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 110990 301 301 0 152182 0
vsize: 609932
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214165 0 0 0 30546 458 0 0 25 0 1 0 965070270 624570368 110996 4294967295 134512640 135730672 3221224592 3221222688 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 110996 301 301 0 152182 0
vsize: 609932
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214171 0 0 0 31545 459 0 0 25 0 1 0 965070270 624570368 111002 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 111002 301 301 0 152182 0
vsize: 609932
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214180 0 0 0 32545 459 0 0 25 0 1 0 965070270 624570368 111011 4294967295 134512640 135730672 3221224592 3221222512 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 111011 301 301 0 152182 0
vsize: 609932
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214184 0 0 0 33544 459 0 0 25 0 1 0 965070270 624570368 111015 4294967295 134512640 135730672 3221224592 3221222688 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 111015 301 301 0 152182 0
vsize: 609932
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214192 0 0 0 34544 460 0 0 25 0 1 0 965070270 624570368 111023 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 111023 301 301 0 152182 0
vsize: 609932
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214198 0 0 0 35543 461 0 0 25 0 1 0 965070270 624570368 111029 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111029 301 301 0 152182 0
vsize: 609932
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214208 0 0 0 36543 461 0 0 25 0 1 0 965070270 624570368 111039 4294967295 134512640 135730672 3221224592 3221222688 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111039 301 301 0 152182 0
vsize: 609932
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214216 0 0 0 37543 461 0 0 25 0 1 0 965070270 624570368 111047 4294967295 134512640 135730672 3221224592 3221222880 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111047 301 301 0 152182 0
vsize: 609932
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 214222 0 0 0 38543 461 0 0 25 0 1 0 965070270 624570368 111053 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111053 301 301 0 152182 0
vsize: 609932
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 216434 0 0 0 39537 467 0 0 25 0 1 0 965070270 624570368 111054 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152483 111054 301 301 0 152182 0
vsize: 609932
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 216438 0 0 0 40536 468 0 0 25 0 1 0 965070270 624570368 111058 4294967295 134512640 135730672 3221224592 3221222848 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111058 301 301 0 152182 0
vsize: 609932
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 216438 0 0 0 41536 468 0 0 25 0 1 0 965070270 624570368 111058 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111058 301 301 0 152182 0
vsize: 609932
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 216439 0 0 0 42536 468 0 0 25 0 1 0 965070270 624570368 111059 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111059 301 301 0 152182 0
vsize: 609932
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 216439 0 0 0 43536 468 0 0 25 0 1 0 965070270 624570368 111059 4294967295 134512640 135730672 3221224592 3221222848 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111059 301 301 0 152182 0
vsize: 609932
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 216440 0 0 0 44536 469 0 0 25 0 1 0 965070270 624570368 111060 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111060 301 301 0 152182 0
vsize: 609932
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 216443 0 0 0 45536 469 0 0 25 0 1 0 965070270 624570368 111063 4294967295 134512640 135730672 3221224592 3221222880 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111063 301 301 0 152182 0
vsize: 609932
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 216447 0 0 0 46536 469 0 0 25 0 1 0 965070270 624570368 111067 4294967295 134512640 135730672 3221224592 3221222704 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111067 301 301 0 152182 0
vsize: 609932
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 218661 0 0 0 47530 475 0 0 25 0 1 0 965070270 624570368 111070 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111070 301 301 0 152182 0
vsize: 609932
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 218664 0 0 0 48531 475 0 0 25 0 1 0 965070270 624570368 111073 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111073 301 301 0 152182 0
vsize: 609932
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 218669 0 0 0 49531 475 0 0 25 0 1 0 965070270 624570368 111078 4294967295 134512640 135730672 3221224592 3221222672 134732829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111078 301 301 0 152182 0
vsize: 609932
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 218673 0 0 0 50531 475 0 0 25 0 1 0 965070270 624570368 111082 4294967295 134512640 135730672 3221224592 3221222848 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111082 301 301 0 152182 0
vsize: 609932
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 218679 0 0 0 51531 475 0 0 25 0 1 0 965070270 624570368 111088 4294967295 134512640 135730672 3221224592 3221222688 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111088 301 301 0 152182 0
vsize: 609932
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 218685 0 0 0 52531 475 0 0 25 0 1 0 965070270 624570368 111094 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111094 301 301 0 152182 0
vsize: 609932
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 218691 0 0 0 53531 475 0 0 25 0 1 0 965070270 624570368 111100 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111100 301 301 0 152182 0
vsize: 609932
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 220905 0 0 0 54525 481 0 0 25 0 1 0 965070270 624570368 111103 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111103 301 301 0 152182 0
vsize: 609932
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 220909 0 0 0 55525 481 0 0 25 0 1 0 965070270 624570368 111107 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111107 301 301 0 152182 0
vsize: 609932
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 220914 0 0 0 56525 482 0 0 25 0 1 0 965070270 624570368 111112 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111112 301 301 0 152182 0
vsize: 609932
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 220918 0 0 0 57525 482 0 0 25 0 1 0 965070270 624570368 111116 4294967295 134512640 135730672 3221224592 3221222688 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111116 301 301 0 152182 0
vsize: 609932
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 220929 0 0 0 58525 482 0 0 25 0 1 0 965070270 624570368 111127 4294967295 134512640 135730672 3221224592 3221222688 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111127 301 301 0 152182 0
vsize: 609932
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 220934 0 0 0 59525 482 0 0 25 0 1 0 965070270 624570368 111132 4294967295 134512640 135730672 3221224592 3221222688 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111132 301 301 0 152182 0
vsize: 609932
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 220942 0 0 0 60525 482 0 0 25 0 1 0 965070270 624570368 111140 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111140 301 301 0 152182 0
vsize: 609932
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 223156 0 0 0 61520 488 0 0 25 0 1 0 965070270 624570368 111143 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111143 301 301 0 152182 0
vsize: 609932
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 223160 0 0 0 62520 488 0 0 25 0 1 0 965070270 624570368 111147 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111147 301 301 0 152182 0
vsize: 609932
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 223165 0 0 0 63520 488 0 0 25 0 1 0 965070270 624570368 111152 4294967295 134512640 135730672 3221224592 3221222812 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152483 111152 301 301 0 152182 0
vsize: 609932
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 223187 0 0 0 64520 488 0 0 25 0 1 0 965070270 624705536 111174 4294967295 134512640 135730672 3221224592 3221222848 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152516 111174 301 301 0 152215 0
vsize: 610064
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 223191 0 0 0 65519 489 0 0 25 0 1 0 965070270 624705536 111178 4294967295 134512640 135730672 3221224592 3221222688 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152516 111178 301 301 0 152215 0
vsize: 610064
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 223219 0 0 0 66519 489 0 0 25 0 1 0 965070270 624840704 111206 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152549 111206 301 301 0 152248 0
vsize: 610196
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 223224 0 0 0 67519 489 0 0 25 0 1 0 965070270 624840704 111211 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152549 111211 301 301 0 152248 0
vsize: 610196
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 223233 0 0 0 68519 489 0 0 25 0 1 0 965070270 624840704 111220 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152549 111220 301 301 0 152248 0
vsize: 610196
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 225447 0 0 0 69514 495 0 0 25 0 1 0 965070270 624840704 111223 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152549 111223 301 301 0 152248 0
vsize: 610196
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 225451 0 0 0 70514 495 0 0 25 0 1 0 965070270 624840704 111227 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152549 111227 301 301 0 152248 0
vsize: 610196
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 225456 0 0 0 71514 495 0 0 25 0 1 0 965070270 624840704 111232 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152549 111232 301 301 0 152248 0
vsize: 610196
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 225460 0 0 0 72514 495 0 0 25 0 1 0 965070270 624840704 111236 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152549 111236 301 301 0 152248 0
vsize: 610196
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 225482 0 0 0 73514 495 0 0 25 0 1 0 965070270 624975872 111258 4294967295 134512640 135730672 3221224592 3221222816 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152582 111258 301 301 0 152281 0
vsize: 610328
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 225503 0 0 0 74514 496 0 0 25 0 1 0 965070270 625111040 111279 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111279 301 301 0 152314 0
vsize: 610460
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 225508 0 0 0 75514 496 0 0 25 0 1 0 965070270 625111040 111284 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111284 301 301 0 152314 0
vsize: 610460
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 225513 0 0 0 76514 496 0 0 25 0 1 0 965070270 625111040 111289 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111289 301 301 0 152314 0
vsize: 610460
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 227725 0 0 0 77509 501 0 0 25 0 1 0 965070270 625111040 111290 4294967295 134512640 135730672 3221224592 3221222816 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111290 301 301 0 152314 0
vsize: 610460
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 227725 0 0 0 78509 501 0 0 25 0 1 0 965070270 625111040 111290 4294967295 134512640 135730672 3221224592 3221222688 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111290 301 301 0 152314 0
vsize: 610460
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 227726 0 0 0 79509 502 0 0 25 0 1 0 965070270 625111040 111291 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111291 301 301 0 152314 0
vsize: 610460
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 227726 0 0 0 80509 502 0 0 25 0 1 0 965070270 625111040 111291 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111291 301 301 0 152314 0
vsize: 610460
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 227727 0 0 0 81509 502 0 0 25 0 1 0 965070270 625111040 111292 4294967295 134512640 135730672 3221224592 3221222688 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111292 301 301 0 152314 0
vsize: 610460
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 227728 0 0 0 82509 502 0 0 25 0 1 0 965070270 625111040 111293 4294967295 134512640 135730672 3221224592 3221222512 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152615 111293 301 301 0 152314 0
vsize: 610460
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 227749 0 0 0 83509 502 0 0 25 0 1 0 965070270 625246208 111314 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152648 111314 301 301 0 152347 0
vsize: 610592
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 227753 0 0 0 84510 502 0 0 25 0 1 0 965070270 625246208 111318 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152648 111318 301 301 0 152347 0
vsize: 610592
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229982 0 0 0 85504 508 0 0 25 0 1 0 965070270 625381376 111336 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152681 111336 301 301 0 152380 0
vsize: 610724
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229983 0 0 0 86504 508 0 0 25 0 1 0 965070270 625381376 111337 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152681 111337 301 301 0 152380 0
vsize: 610724
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229983 0 0 0 87505 508 0 0 25 0 1 0 965070270 625381376 111337 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152681 111337 301 301 0 152380 0
vsize: 610724
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229984 0 0 0 88505 508 0 0 25 0 1 0 965070270 625381376 111338 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152681 111338 301 301 0 152380 0
vsize: 610724
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229984 0 0 0 89505 508 0 0 25 0 1 0 965070270 625381376 111338 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152681 111338 301 301 0 152380 0
vsize: 610724
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229995 0 0 0 90505 508 0 0 25 0 1 0 965070270 625577984 111349 4294967295 134512640 135730672 3221224592 3221222688 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111349 301 301 0 152428 0
vsize: 610916
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229995 0 0 0 91505 508 0 0 25 0 1 0 965070270 625577984 111349 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111349 301 301 0 152428 0
vsize: 610916
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229995 0 0 0 92505 508 0 0 25 0 1 0 965070270 625577984 111349 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111349 301 301 0 152428 0
vsize: 610916
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 229996 0 0 0 93505 509 0 0 25 0 1 0 965070270 625577984 111350 4294967295 134512640 135730672 3221224592 3221222704 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111350 301 301 0 152428 0
vsize: 610916
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 232207 0 0 0 94499 514 0 0 25 0 1 0 965070270 625577984 111350 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152729 111350 301 301 0 152428 0
vsize: 610916
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 232208 0 0 0 95499 514 0 0 25 0 1 0 965070270 625577984 111351 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152729 111351 301 301 0 152428 0
vsize: 610916
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 232208 0 0 0 96498 515 0 0 25 0 1 0 965070270 625577984 111351 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111351 301 301 0 152428 0
vsize: 610916
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 232209 0 0 0 97498 515 0 0 25 0 1 0 965070270 625577984 111352 4294967295 134512640 135730672 3221224592 3221222688 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111352 301 301 0 152428 0
vsize: 610916
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 232209 0 0 0 98498 515 0 0 25 0 1 0 965070270 625577984 111352 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111352 301 301 0 152428 0
vsize: 610916
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 232210 0 0 0 99498 515 0 0 25 0 1 0 965070270 625577984 111353 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111353 301 301 0 152428 0
vsize: 610916
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 232230 0 0 0 100498 516 0 0 25 0 1 0 965070270 625577984 111373 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111373 301 301 0 152428 0
vsize: 610916
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234441 0 0 0 101493 521 0 0 25 0 1 0 965070270 634634240 113584 4294967295 134512640 135730672 3221224592 3221222368 134768838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154940 113584 301 301 0 154639 0
vsize: 619760
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234441 0 0 0 102493 521 0 0 25 0 1 0 965070270 625577984 111373 4294967295 134512640 135730672 3221224592 3221222688 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111373 301 301 0 152428 0
vsize: 610916
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234443 0 0 0 103493 522 0 0 25 0 1 0 965070270 625577984 111375 4294967295 134512640 135730672 3221224592 3221222688 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111375 301 301 0 152428 0
vsize: 610916
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234446 0 0 0 104493 522 0 0 25 0 1 0 965070270 625577984 111378 4294967295 134512640 135730672 3221224592 3221222688 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152729 111378 301 301 0 152428 0
vsize: 610916
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234470 0 0 0 105493 522 0 0 25 0 1 0 965070270 625713152 111402 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152762 111402 301 301 0 152461 0
vsize: 611048
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234475 0 0 0 106493 522 0 0 25 0 1 0 965070270 625713152 111407 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152762 111407 301 301 0 152461 0
vsize: 611048
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234479 0 0 0 107493 522 0 0 25 0 1 0 965070270 625713152 111411 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152762 111411 301 301 0 152461 0
vsize: 611048
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234484 0 0 0 108493 522 0 0 25 0 1 0 965070270 625713152 111416 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152762 111416 301 301 0 152461 0
vsize: 611048
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 234488 0 0 0 109493 522 0 0 25 0 1 0 965070270 625713152 111420 4294967295 134512640 135730672 3221224592 3221222704 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152762 111420 301 301 0 152461 0
vsize: 611048
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 236701 0 0 0 110488 527 0 0 25 0 1 0 965070270 625713152 111422 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152762 111422 301 301 0 152461 0
vsize: 611048
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 236706 0 0 0 111488 527 0 0 25 0 1 0 965070270 625713152 111427 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152762 111427 301 301 0 152461 0
vsize: 611048
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 236709 0 0 0 112488 528 0 0 25 0 1 0 965070270 625713152 111430 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152762 111430 301 301 0 152461 0
vsize: 611048
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 236714 0 0 0 113488 528 0 0 25 0 1 0 965070270 625848320 111435 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152795 111435 301 301 0 152494 0
vsize: 611180
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 236720 0 0 0 114488 528 0 0 25 0 1 0 965070270 625848320 111441 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152795 111441 301 301 0 152494 0
vsize: 611180
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 236746 0 0 0 115488 528 0 0 25 0 1 0 965070270 625983488 111467 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152828 111467 301 301 0 152527 0
vsize: 611312
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 236769 0 0 0 116488 528 0 0 25 0 1 0 965070270 626118656 111490 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152861 111490 301 301 0 152560 0
vsize: 611444
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 236774 0 0 0 117488 528 0 0 25 0 1 0 965070270 626118656 111495 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152861 111495 301 301 0 152560 0
vsize: 611444
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 238985 0 0 0 118483 534 0 0 25 0 1 0 965070270 626118656 111495 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152861 111495 301 301 0 152560 0
vsize: 611444
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 238986 0 0 0 119483 534 0 0 25 0 1 0 965070270 626118656 111496 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152861 111496 301 301 0 152560 0
vsize: 611444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.24 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29502
Raw data (stat): 29502 (pb2sat-v2) R 29501 31399 31398 0 -1 0 238986 0 0 0 119483 534 0 0 25 0 1 0 965070270 626118656 111496 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152861 111496 301 301 0 152560 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.24
CPU time (s): 1202.41
CPU user time (s): 1196.84
CPU system time (s): 5.57215
CPU usage (%): 100.014
Max. virtual memory (Kb): 619760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	127
#### END VERIFIER DATA ####