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/ttp/normalized-circ10_3.opb
MD5SUM	fc17fbe37098e8642918641dd9a84b04
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	350
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	2500
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	32
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	2500
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	1189.1
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 42157

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 00:55:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25354 boxname=wulflinc4 idbench=256 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fc17fbe37098e8642918641dd9a84b04  /oldhome/oroussel/tmp/wulflinc4/normalized-circ10_3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-circ10_3.opb
IDLAUNCH: 25354
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        775200 kB
Buffers:         33776 kB
Cached:         203212 kB
SwapCached:        944 kB
Active:          32156 kB
Inactive:       206968 kB
HighTotal:      131008 kB
HighFree:        12964 kB
LowTotal:       903652 kB
LowFree:        762236 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14520 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:15:21 (client local time) WITH STATUS 10 IN 1201.98 SECONDS
stats: 25354 0 1201.98 10
#### 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: 398
c small objective detected
c CONFLICT during preprocess 
c [startup+51.1134 s]  setting bit 11 to 0
c CONFLICT during preprocess 
c [startup+53.2553 s]  setting bit 10 to 0
c CONFLICT during preprocess 
c [startup+55.3797 s]  setting bit 9 to 0

c Decision: 194056/558299	Time: 411.875/86400
c Decision: 194056/558299	Time: 454.894/86400
c Decision: 194056/558299	Time: 494.806/86400
c Decision: 194056/558299	Time: 537.174/86400
c Decision: 194056/558299	Time: 576.363/86400
c Decision: 194056/558299	Time: 621.882/86400
c Decision: 194056/558299	Time: 666.192/86400
c Decision: 194056/558299	Time: 713.04/86400
c Decision: 194056/558299	Time: 757.647/86400
c Decision: 194056/558299	Time: 797.166/86400
c Decision: 194056/558299	Time: 838.157/86400
c Decision: 194056/558299	Time: 881.158/86400
c Decision: 194056/558299	Time: 928.414/86400
c Decision: 194056/558299	Time: 972.648/86400
c Decision: 194056/558299	Time: 1014.12/86400
c Decision: 194056/558299	Time: 1061.16/86400
c Decision: 194056/558299	Time: 1101.39/86400s SATISFIABLE
v -v1 -v10 -v100 v1000 -v1001 -v1002 -v1003 -v1004 -v1005 v1006 -v1007 -v1008 -v1009 v101 -v1010 -v1011 v1012 -v1013 -v1014 -v1015 -v1016 -v1017 -v1018 -v1019 -v102 -v1020 -v1021 -v1022 -v1023 -v1024 -v1025 -v1026 -v1027 -v1028 v1029 -v103 -v1030 -v1031 -v1032 -v1033 v1034 -v1035 -v1036 -v1037 -v1038 -v1039 -v104 -v1040 -v1041 -v1042 -v1043 v1044 -v1045 -v1046 -v1047 -v1048 -v1049 -v105 -v1050 -v1051 -v1052 -v1053 -v1054 -v1055 v1056 -v1057 -v1058 -v1059 -v106 -v1060 -v1061 v1062 -v1063 -v1064 -v1065 -v1066 -v1067 -v1068 -v1069 -v107 -v1070 -v1071 -v1072 -v1073 -v1074 -v1075 -v1076 -v1077 v1078 -v1079 -v108 -v1080 -v1081 -v1082 -v1083 -v1084 -v1085 -v1086 -v1087 -v1088 v1089 -v109 -v1090 -v1091 -v1092 -v1093 -v1094 -v1095 -v1096 -v1097 v1098 -v1099 -v11 -v110 -v1100 -v1101 -v1102 -v1103 -v1104 -v1105 -v1106 -v1107 -v1108 v1109 -v111 -v1110 -v1111 -v1112 -v1113 -v1114 -v1115 -v1116 -v1117 -v1118 -v1119 v112 v1120 -v1121 -v1122 -v1123 -v1124 v1125 -v1126 -v1127 -v1128 -v1129 -v113 -v1130 -v1131 -v1132 -v1133 -v1134 -v1135 -v1136 -v1137 v1138 -v1139 -v114 -v1140 -v1141 -v1142 -v1143 -v1144 v1145 -v1146 -v1147 -v1148 -v1149 -v115 -v1150 -v1151 -v1152 -v1153 -v1154 -v1155 -v1156 v1157 -v1158 -v1159 -v116 -v1160 -v1161 -v1162 -v1163 -v1164 -v1165 -v1166 v1167 -v1168 -v1169 -v117 -v1170 -v1171 -v1172 -v1173 -v1174 -v1175 -v1176 -v1177 v1178 -v1179 -v118 -v1180 -v1181 -v1182 -v1183 -v1184 -v1185 -v1186 -v1187 -v1188 v1189 -v119 -v1190 -v1191 -v1192 -v1193 -v1194 -v1195 -v1196 -v1197 -v1198 -v1199 -v12 -v120 v1200 v1201 -v1202 -v1203 -v1204 -v1205 -v1206 -v1207 -v1208 -v1209 v121 -v1210 -v1211 v1212 -v1213 -v1214 -v1215 -v1216 -v1217 -v1218 -v1219 -v122 -v1220 -v1221 -v1222 v1223 -v1224 -v1225 -v1226 -v1227 -v1228 -v1229 -v123 -v1230 -v1231 -v1232 -v1233 v1234 -v1235 -v1236 -v1237 -v1238 -v1239 -v124 -v1240 -v1241 -v1242 -v1243 -v1244 v1245 -v1246 -v1247 -v1248 -v1249 -v125 -v1250 -v1251 -v1252 -v1253 v1254 -v1255 -v1256 -v1257 -v1258 -v1259 -v126 -v1260 -v1261 -v1262 v1263 -v1264 -v1265 -v1266 -v1267 -v1268 -v1269 -v127 -v1270 v1271 -v1272 -v1273 -v1274 -v1275 -v1276 -v1277 -v1278 -v1279 -v128 -v1280 -v1281 v1282 -v1283 -v1284 -v1285 -v1286 -v1287 -v1288 -v1289 -v129 -v1290 -v1291 -v1292 -v1293 -v1294 v1295 -v1296 -v1297 -v1298 -v1299 -v13 -v130 -v1300 v1301 -v1302 -v1303 -v1304 -v1305 -v1306 -v1307 -v1308 -v1309 -v131 -v1310 -v1311 -v1312 v1313 -v1314 -v1315 -v1316 -v1317 -v1318 -v1319 -v132 -v1320 -v1321 -v1322 v1323 -v1324 -v1325 -v1326 -v1327 -v1328 -v1329 -v133 -v1330 -v1331 -v1332 -v1333 -v1334 -v1335 -v1336 -v1337 -v1338 -v1339 v134 v1340 -v1341 -v1342 -v1343 -v1344 v1345 -v1346 -v1347 -v1348 -v1349 -v135 -v1350 -v1351 -v1352 -v1353 -v1354 v1355 -v1356 -v1357 -v1358 -v1359 -v136 -v1360 -v1361 -v1362 -v1363 -v1364 -v1365 -v1366 v1367 -v1368 -v1369 -v137 -v1370 -v1371 -v1372 -v1373 -v1374 -v1375 -v1376 v1377 -v1378 -v1379 -v138 -v1380 v1381 -v1382 -v1383 -v1384 -v1385 -v1386 -v1387 -v1388 -v1389 -v139 -v1390 -v1391 -v1392 -v1393 -v1394 -v1395 -v1396 -v1397 -v1398 -v1399 v14 -v140 v1400 -v1401 -v1402 -v1403 v1404 -v1405 -v1406 -v1407 -v1408 -v1409 -v141 -v1410 -v1411 -v1412 -v1413 -v1414 -v1415 -v1416 v1417 -v1418 -v1419 -v142 -v1420 -v1421 -v1422 -v1423 -v1424 -v1425 v1426 -v1427 -v1428 -v1429 -v143 -v1430 -v1431 -v1432 -v1433 v1434 -v1435 -v1436 -v1437 -v1438 -v1439 -v144 -v1440 -v1441 -v1442 -v1443 -v1444 -v1445 -v1446 -v1447 -v1448 -v1449 -v145 v1450 -v1451 -v1452 -v1453 -v1454 -v1455 v1456 -v1457 -v1458 -v1459 -v146 -v1460 -v1461 -v1462 -v1463 -v1464 -v1465 -v1466 v1467 -v1468 -v1469 -v147 -v1470 -v1471 -v1472 -v1473 -v1474 -v1475 -v1476 -v1477 v1478 -v1479 v148 -v1480 -v1481 -v1482 -v1483 -v1484 -v1485 -v1486 -v1487 v1488 -v1489 -v149 -v1490 -v1491 -v1492 -v1493 -v1494 -v1495 -v1496 -v1497 -v1498 -v1499 -v15 -v150 v1500 -v1501 -v1502 -v1503 -v1504 -v1505 -v1506 -v1507 v1508 -v1509 -v151 -v1510 -v1511 v1512 -v1513 -v1514 -v1515 -v1516 -v1517 -v1518 -v1519 v152 -v1520 -v1521 -v1522 v1523 -v1524 -v1525 -v1526 -v1527 -v1528 -v1529 -v153 -v1530 -v1531 -v1532 v1533 -v1534 -v1535 -v1536 -v1537 -v1538 -v1539 -v154 -v1540 -v1541 -v1542 -v1543 -v1544 v1545 -v1546 -v1547 -v1548 -v1549 -v155 -v1550 -v1551 -v1552 -v1553 -v1554 -v1555 -v1556 -v1557 -v1558 v1559 -v156 -v1560 -v1561 -v1562 -v1563 -v1564 v1565 -v1566 -v1567 -v1568 -v1569 -v157 -v1570 -v1571 -v1572 -v1573 -v1574 -v1575 -v1576 -v1577 v1578 -v1579 -v158 -v1580 -v1581 -v1582 -v1583 -v1584 -v1585 -v1586 -v1587 -v1588 v1589 -v159 -v1590 -v1591 v1592 -v1593 -v1594 -v1595 -v1596 -v1597 -v1598 -v1599 -v16 -v160 -v1600 v1601 -v1602 -v1603 -v1604 -v1605 -v1606 -v1607 -v1608 -v1609 -v161 -v1610 -v1611 -v1612 -v1613 -v1614 v1615 -v1616 -v1617 -v1618 -v1619 -v162 -v1620 -v1621 -v1622 v1623 -v1624 -v1625 -v1626 -v1627 -v1628 -v1629 -v163 -v1630 v1631 -v1632 -v1633 -v1634 -v1635 -v1636 -v1637 -v1638 -v1639 -v164 -v1640 -v1641 -v1642 -v1643 -v1644 v1645 -v1646 -v1647 -v1648 -v1649 -v165 -v1650 -v1651 -v1652 -v1653 -v1654 -v1655 v1656 -v1657 -v1658 -v1659 -v166 -v1660 -v1661 -v1662 -v1663 -v1664 -v1665 -v1666 -v1667 v1668 -v1669 v167 -v1670 -v1671 -v1672 -v1673 -v1674 -v1675 -v1676 -v1677 v1678 -v1679 -v168 -v1680 -v1681 -v1682 v1683 -v1684 -v1685 -v1686 -v1687 -v1688 -v1689 -v169 -v1690 -v1691 -v1692 -v1693 -v1694 -v1695 v1696 -v1697 -v1698 -v1699 -v17 -v170 -v1700 v1701 -v1702 -v1703 -v1704 -v1705 -v1706 -v1707 -v1708 -v1709 -v171 -v1710 -v1711 -v1712 -v1713 -v1714 -v1715 v1716 -v1717 -v1718 -v1719 -v172 -v1720 -v1721 -v1722 v1723 -v1724 -v1725 -v1726 -v1727 -v1728 -v1729 -v173 -v1730 -v1731 -v1732 -v1733 -v1734 -v1735 -v1736 -v1737 -v1738 v1739 -v174 -v1740 -v1741 -v1742 v1743 -v1744 -v1745 -v1746 -v1747 -v1748 -v1749 -v175 -v1750 -v1751 -v1752 -v1753 -v1754 -v1755 v1756 -v1757 -v1758 -v1759 -v176 -v1760 v1761 -v1762 -v1763 -v1764 -v1765 -v1766 -v1767 -v1768 -v1769 -v177 -v1770 -v1771 -v1772 -v1773 -v1774 -v1775 -v1776 -v1777 -v1778 -v1779 v178 v1780 -v1781 -v1782 -v1783 -v1784 -v1785 -v1786 -v1787 -v1788 v1789 -v179 -v1790 -v1791 -v1792 -v1793 -v1794 -v1795 -v1796 -v1797 -v1798 -v1799 -v18 -v180 v1800 -v1801 -v1802 v1803 v1804 -v1805 v1806 -v1807 -v1808 v1809 -v181 v1810 -v1811 -v1812 -v1813 -v1814 -v1815 -v1816 -v1817 -v1818 -v1819 -v182 v1820 -v1821 -v1822 -v1823 -v1824 -v1825 -v1826 -v1827 -v1828 -v1829 -v183 -v1830 -v1831 -v1832 -v1833 v1834 -v1835 -v1836 -v1837 -v1838 v1839 -v184 -v1840 -v1841 -v1842 -v1843 -v1844 -v1845 -v1846 -v1847 -v1848 -v1849 -v185 -v1850 -v1851 -v1852 v1853 -v1854 v1855 -v1856 -v1857 -v1858 -v1859 -v186 -v1860 -v1861 -v1862 -v1863 v1864 -v1865 -v1866 -v1867 -v1868 -v1869 v187 -v1870 -v1871 -v1872 v1873 -v1874 -v1875 -v1876 -v1877 -v1878 -v1879 -v188 -v1880 -v1881 -v1882 -v1883 -v1884 -v1885 -v1886 v1887 -v1888 -v1889 -v189 -v1890 v1891 -v1892 -v1893 -v1894 -v1895 -v1896 -v1897 -v1898 -v1899 -v19 -v190 v1900 v1901 v1902 v1903 -v1904 -v1905 v1906 v1907 v1908 -v1909 -v191 -v1910 -v1911 -v1912 -v1913 v1914 -v1915 -v1916 -v1917 -v1918 v1919 -v192 -v1920 -v1921 -v1922 -v1923 -v1924 -v1925 -v1926 -v1927 -v1928 -v1929 -v193 -v1930 v1931 -v1932 -v1933 -v1934 -v1935 -v1936 v1937 -v1938 -v1939 v194 -v1940 -v1941 -v1942 -v1943 -v1944 -v1945 v1946 -v1947 -v1948 -v1949 -v195 -v1950 -v1951 -v1952 -v1953 -v1954 v1955 -v1956 -v1957 -v1958 -v1959 -v196 -v1960 -v1961 -v1962 -v1963 v1964 -v1965 -v1966 -v1967 -v1968 -v1969 -v197 -v1970 -v1971 -v1972 v1973 -v1974 -v1975 -v1976 -v1977 -v1978 -v1979 -v198 -v1980 -v1981 -v1982 -v1983 -v1984 -v1985 -v1986 v1987 -v1988 -v1989 -v199 -v1990 v1991 -v1992 -v1993 -v1994 -v1995 -v1996 -v1997 -v1998 v1999 -v2 -v20 -v200 -v2000 v2001 -v2002 v2003 v2004 -v2005 v2006 -v2007 -v2008 -v2009 v201 -v2010 -v2011 -v2012 -v2013 -v2014 -v2015 v2016 -v2017 -v2018 v2019 -v202 -v2020 -v2021 -v2022 -v2023 -v2024 -v2025 -v2026 -v2027 v2028 -v2029 -v203 -v2030 -v2031 -v2032 -v2033 -v2034 -v2035 -v2036 v2037 -v2038 -v2039 -v204 -v2040 -v2041 -v2042 -v2043 -v2044 v2045 -v2046 -v2047 -v2048 -v2049 -v205 -v2050 -v2051 -v2052 -v2053 -v2054 -v2055 -v2056 v2057 -v2058 -v2059 -v206 -v2060 -v2061 -v2062 -v2063 v2064 -v2065 -v2066 -v2067 -v2068 -v2069 -v207 -v2070 -v2071 -v2072 -v2073 -v2074 -v2075 -v2076 -v2077 v2078 -v2079 -v208 -v2080 -v2081 -v2082 v2083 -v2084 -v2085 -v2086 -v2087 -v2088 v2089 -v209 -v2090 -v2091 -v2092 -v2093 -v2094 -v2095 -v2096 -v2097 -v2098 -v2099 -v21 -v210 v2100 -v2101 v2102 v2103 v2104 -v2105 v2106 -v2107 -v2108 -v2109 -v211 v2110 -v2111 -v2112 -v2113 -v2114 -v2115 -v2116 -v2117 -v2118 v2119 -v212 -v2120 -v2121 -v2122 -v2123 -v2124 -v2125 v2126 -v2127 -v2128 -v2129 -v213 -v2130 -v2131 -v2132 -v2133 -v2134 -v2135 -v2136 v2137 -v2138 -v2139 -v214 -v2140 -v2141 -v2142 -v2143 -v2144 -v2145 v2146 -v2147 -v2148 -v2149 -v215 -v2150 -v2151 -v2152 -v2153 -v2154 v2155 -v2156 -v2157 -v2158 -v2159 -v216 -v2160 -v2161 -v2162 -v2163 -v2164 -v2165 -v2166 -v2167 v2168 -v2169 -v217 -v2170 -v2171 v2172 -v2173 -v2174 -v2175 -v2176 -v2177 -v2178 -v2179 -v218 -v2180 -v2181 v2182 -v2183 -v2184 -v2185 -v2186 -v2187 -v2188 -v2189 v219 -v2190 v2191 -v2192 -v2193 -v2194 -v2195 -v2196 v2197 v2198 v2199 -v22 -v220 -v2200 v2201 -v2202 -v2203 -v2204 v2205 -v2206 -v2207 -v2208 -v2209 -v221 -v2210 -v2211 v2212 -v2213 -v2214 -v2215 -v2216 -v2217 -v2218 v2219 -v222 -v2220 -v2221 -v2222 -v2223 -v2224 -v2225 -v2226 -v2227 -v2228 -v2229 -v223 v2230 -v2231 -v2232 -v2233 -v2234 -v2235 -v2236 v2237 -v2238 -v2239 -v224 -v2240 -v2241 -v2242 -v2243 -v2244 -v2245 v2246 -v2247 -v2248 -v2249 -v225 -v2250 -v2251 -v2252 -v2253 -v2254 v2255 -v2256 -v2257 -v2258 -v2259 -v226 -v2260 -v2261 -v2262 -v2263 v2264 -v2265 -v2266 -v2267 -v2268 -v2269 -v227 -v2270 -v2271 -v2272 v2273 -v2274 -v2275 -v2276 -v2277 -v2278 -v2279 v228 -v2280 v2281 -v2282 -v2283 -v2284 -v2285 -v2286 -v2287 -v2288 -v2289 -v229 -v2290 v2291 -v2292 -v2293 -v2294 -v2295 v2296 v2297 v2298 -v2299 v23 -v230 -v2300 v2301 v2302 v2303 -v2304 -v2305 -v2306 -v2307 v2308 -v2309 -v231 -v2310 -v2311 -v2312 -v2313 -v2314 -v2315 -v2316 -v2317 -v2318 -v2319 -v232 -v2320 -v2321 v2322 -v2323 -v2324 -v2325 -v2326 -v2327 v2328 -v2329 -v233 -v2330 -v2331 -v2332 -v2333 -v2334 -v2335 -v2336 v2337 -v2338 -v2339 -v234 -v2340 -v2341 -v2342 -v2343 -v2344 -v2345 v2346 -v2347 -v2348 -v2349 -v235 -v2350 -v2351 -v2352 -v2353 -v2354 v2355 -v2356 -v2357 -v2358 -v2359 v236 -v2360 -v2361 -v2362 -v2363 v2364 -v2365 -v2366 -v2367 -v2368 -v2369 -v237 -v2370 -v2371 v2372 -v2373 -v2374 -v2375 -v2376 -v2377 -v2378 -v2379 -v238 -v2380 -v2381 -v2382 v2383 -v2384 -v2385 -v2386 -v2387 -v2388 -v2389 -v239 -v2390 v2391 -v2392 -v2393 -v2394 -v2395 -v2396 v2397 -v2398 v2399 -v24 -v240 -v2400 -v2401 v2402 v2403 v2404 -v2405 -v2406 -v2407 -v2408 -v2409 -v241 -v2410 -v2411 -v2412 -v2413 v2414 -v2415 -v2416 -v2417 -v2418 -v2419 -v242 -v2420 -v2421 -v2422 -v2423 -v2424 v2425 -v2426 -v2427 -v2428 -v2429 -v243 -v2430 -v2431 -v2432 -v2433 -v2434 -v2435 v2436 -v2437 -v2438 -v2439 -v244 -v2440 -v2441 -v2442 v2443 -v2444 -v2445 -v2446 -v2447 -v2448 -v2449 -v245 -v2450 -v2451 -v2452 v2453 -v2454 -v2455 -v2456 -v2457 -v2458 -v2459 -v246 -v2460 -v2461 -v2462 -v2463 v2464 -v2465 -v2466 -v2467 -v2468 -v2469 v247 -v2470 -v2471 -v2472 v2473 -v2474 -v2475 -v2476 -v2477 -v2478 v2479 -v248 -v2480 -v2481 -v2482 -v2483 -v2484 -v2485 -v2486 -v2487 -v2488 -v2489 -v249 -v2490 v2491 -v2492 -v2493 v2494 v2495 v2496 -v2497 -v2498 -v2499 -v25 -v250 -v2500 v2501 v2502 -v2503 -v2504 -v2505 -v2506 -v2507 -v2508 -v2509 -v251 v2510 -v2511 -v2512 -v2513 -v2514 -v2515 -v2516 -v2517 -v2518 v2519 -v252 -v2520 -v2521 -v2522 -v2523 -v2524 -v2525 -v2526 v2527 -v2528 -v2529 -v253 v2530 -v2531 -v2532 -v2533 -v2534 -v2535 -v2536 -v2537 -v2538 -v2539 -v254 -v2540 -v2541 -v2542 -v2543 -v2544 -v2545 v2546 -v2547 -v2548 -v2549 -v255 -v2550 v2551 -v2552 -v2553 -v2554 -v2555 -v2556 -v2557 -v2558 -v2559 v256 -v2560 -v2561 -v2562 -v2563 v2564 -v2565 -v2566 -v2567 -v2568 -v2569 -v257 -v2570 -v2571 -v2572 v2573 -v2574 -v2575 -v2576 -v2577 -v2578 -v2579 -v258 -v2580 -v2581 v2582 -v2583 -v2584 -v2585 -v2586 -v2587 -v2588 -v2589 -v259 -v2590 v2591 -v2592 -v2593 v2594 v2595 v2596 -v2597 v2598 v2599 -v26 -v260 -v2600 v2601 -v2602 -v2603 -v2604 -v2605 -v2606 -v2607 -v2608 -v2609 -v261 v2610 -v2611 -v2612 -v2613 -v2614 -v2615 -v2616 -v2617 -v2618 v2619 -v262 -v2620 -v2621 -v2622 -v2623 v2624 -v2625 -v2626 -v2627 -v2628 -v2629 -v263 -v2630 v2631 -v2632 -v2633 -v2634 -v2635 -v2636 -v2637 v2638 -v2639 -v264 -v2640 -v2641 -v2642 -v2643 -v2644 -v2645 -v2646 -v2647 -v2648 -v2649 -v265 -v2650 -v2651 -v2652 -v2653 -v2654 v2655 -v2656 -v2657 -v2658 -v2659 -v266 -v2660 -v2661 -v2662 -v2663 v2664 -v2665 -v2666 -v2667 -v2668 -v2669 v267 -v2670 -v2671 -v2672 v2673 -v2674 -v2675 -v2676 -v2677 -v2678 -v2679 -v268 -v2680 -v2681 v2682 -v2683 -v2684 -v2685 -v2686 -v2687 -v2688 -v2689 -v269 -v2690 v2691 -v2692 v2693 v2694 -v2695 v2696 -v2697 v2698 v2699 -v27 -v270 v2700 -v271 -v272 -v273 -v274 -v275 -v276 -v277 v278 -v279 -v28 -v280 -v281 -v282 -v283 -v284 -v285 -v286 -v287 -v288 v289 -v29 -v290 v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v3 -v30 -v300 -v301 -v302 -v303 -v304 v305 -v306 -v307 -v308 -v309 -v31 -v310 -v311 v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 -v32 -v320 -v321 v322 -v323 -v324 -v325 -v326 -v327 -v328 -v329 -v33 -v330 -v331 -v332 -v333 v334 -v335 -v336 -v337 -v338 -v339 v34 -v340 -v341 -v342 -v343 -v344 v345 -v346 -v347 -v348 -v349 -v35 -v350 -v351 -v352 -v353 -v354 -v355 -v356 -v357 v358 -v359 -v36 -v360 -v361 -v362 -v363 -v364 -v365 -v366 -v367 -v368 -v369 -v37 v370 -v371 -v372 -v373 -v374 -v375 -v376 -v377 v378 -v379 -v38 -v380 -v381 -v382 -v383 v384 -v385 -v386 -v387 -v388 -v389 -v39 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 -v4 -v40 v400 -v401 -v402 v403 -v404 -v405 -v406 -v407 -v408 -v409 -v41 -v410 -v411 v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v42 -v420 -v421 -v422 v423 -v424 -v425 -v426 -v427 -v428 -v429 -v43 -v430 -v431 -v432 -v433 v434 -v435 -v436 -v437 -v438 -v439 -v44 -v440 -v441 -v442 -v443 -v444 v445 -v446 -v447 -v448 -v449 -v45 -v450 -v451 -v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 v46 v460 -v461 -v462 -v463 v464 -v465 -v466 -v467 -v468 -v469 -v47 -v470 -v471 v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v48 -v480 -v481 -v482 -v483 -v484 v485 -v486 -v487 -v488 -v489 -v49 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 v500 -v501 v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v51 -v510 -v511 v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 v524 -v525 -v526 -v527 -v528 -v529 -v53 -v530 -v531 -v532 -v533 v534 -v535 -v536 -v537 -v538 -v539 -v54 -v540 -v541 -v542 -v543 -v544 v545 -v546 -v547 -v548 -v549 -v55 -v550 -v551 -v552 -v553 -v554 -v555 v556 -v557 -v558 -v559 v56 -v560 -v561 -v562 -v563 -v564 -v565 v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 v575 -v576 -v577 -v578 -v579 -v58 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 v589 -v59 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 v599 -v6 -v60 -v600 v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v61 -v610 -v611 -v612 -v613 -v614 -v615 -v616 -v617 v618 -v619 -v62 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v63 v630 -v631 -v632 -v633 -v634 -v635 -v636 v637 -v638 -v639 -v64 -v640 v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v65 -v650 -v651 -v652 -v653 -v654 -v655 v656 -v657 -v658 -v659 -v66 -v660 -v661 -v662 -v663 -v664 -v665 -v666 v667 -v668 -v669 v67 -v670 -v671 -v672 -v673 -v674 -v675 -v676 -v677 v678 -v679 -v68 -v680 -v681 -v682 -v683 -v684 -v685 v686 -v687 -v688 -v689 -v69 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 v7 -v70 v700 v701 -v702 -v703 -v704 -v705 -v706 -v707 -v708 -v709 -v71 -v710 -v711 v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v72 -v720 -v721 -v722 v723 -v724 -v725 -v726 -v727 -v728 -v729 -v73 -v730 -v731 v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 -v74 -v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747 -v748 v749 -v75 -v750 v751 -v752 -v753 -v754 -v755 -v756 -v757 -v758 -v759 -v76 -v760 -v761 -v762 -v763 -v764 -v765 -v766 v767 -v768 -v769 -v77 -v770 -v771 -v772 v773 -v774 -v775 -v776 -v777 -v778 -v779 -v78 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787 -v788 v789 v79 -v790 -v791 -v792 -v793 -v794 -v795 -v796 v797 -v798 -v799 -v8 -v80 -v800 v801 -v802 -v803 -v804 -v805 -v806 -v807 -v808 -v809 -v81 -v810 v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v82 -v820 -v821 -v822 -v823 -v824 -v825 -v826 v827 -v828 -v829 -v83 -v830 -v831 -v832 -v833 -v834 v835 -v836 -v837 -v838 -v839 -v84 -v840 -v841 -v842 -v843 -v844 v845 -v846 -v847 -v848 -v849 -v85 -v850 -v851 -v852 -v853 -v854 -v855 v856 -v857 -v858 -v859 -v86 -v860 -v861 -v862 -v863 -v864 -v865 -v866 v867 -v868 -v869 -v87 -v870 -v871 -v872 -v873 -v874 -v875 v876 -v877 -v878 -v879 -v88 -v880 -v881 -v882 -v883 -v884 -v885 -v886 -v887 -v888 -v889 v89 v890 -v891 -v892 -v893 -v894 -v895 -v896 -v897 -v898 -v899 -v9 -v90 v900 -v901 -v902 -v903 -v904 -v905 -v906 -v907 -v908 -v909 -v91 v910 -v911 v912 -v913 -v914 -v915 -v916 -v917 -v918 -v919 -v92 -v920 -v921 -v922 v923 -v924 -v925 -v926 -v927 -v928 -v929 v93 -v930 -v931 -v932 -v933 v934 -v935 -v936 -v937 -v938 -v939 -v94 -v940 -v941 v942 -v943 -v944 -v945 -v946 -v947 -v948 -v949 -v95 -v950 -v951 -v952 v953 -v954 -v955 -v956 -v957 -v958 -v959 -v96 -v960 -v961 -v962 -v963 -v964 -v965 -v966 -v967 -v968 v969 -v97 -v970 -v971 -v972 -v973 v974 -v975 -v976 -v977 -v978 -v979 -v98 -v980 -v981 -v982 -v983 -v984 -v985 -v986 -v987 -v988 v989 -v99 -v990 -v991 -v992 -v993 -v994 -v995 -v996 -v997 -v998 -v999 
#### 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.92 0.95 0.90 2/54 19214
Raw data (stat): 19214 (runsolver) R 19213 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966595056 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.0017 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 17727 0 0 0 955 43 0 0 25 0 1 0 966595056 53714944 9935 4294967295 134512640 135730672 3221224592 3221217120 134786977 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13114 9935 301 301 0 12813 0
vsize: 52456
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 35498 0 0 0 1914 84 0 0 25 0 1 0 966595056 107536384 19363 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26254 19363 301 301 0 25953 0
vsize: 105016
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 36908 0 0 0 2910 88 0 0 25 0 1 0 966595056 114524160 20773 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27960 20773 301 301 0 27659 0
vsize: 111840
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 52546 0 0 0 3875 123 0 0 25 0 1 0 966595056 169259008 30150 4294967295 134512640 135730672 3221224592 3221035352 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41323 30151 301 301 0 41022 0
vsize: 165292
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 82480 0 0 0 4814 184 0 0 25 0 1 0 966595056 250322944 50171 4294967295 134512640 135730672 3221224592 3221222680 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61114 50171 301 301 0 60813 0
vsize: 244456
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85771 0 0 0 5806 192 0 0 25 0 1 0 966595056 245854208 49098 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60023 49098 301 301 0 59722 0
vsize: 240092
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85782 0 0 0 6806 192 0 0 25 0 1 0 966595056 245854208 49109 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60023 49109 301 301 0 59722 0
vsize: 240092
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85793 0 0 0 7806 192 0 0 25 0 1 0 966595056 245854208 49120 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60023 49120 301 301 0 59722 0
vsize: 240092
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85805 0 0 0 8806 193 0 0 25 0 1 0 966595056 245854208 49132 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60023 49132 301 301 0 59722 0
vsize: 240092
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85817 0 0 0 9806 193 0 0 25 0 1 0 966595056 245854208 49144 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60023 49144 301 301 0 59722 0
vsize: 240092
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85831 0 0 0 10806 193 0 0 25 0 1 0 966595056 245854208 49158 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60023 49158 301 301 0 59722 0
vsize: 240092
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85839 0 0 0 11806 193 0 0 25 0 1 0 966595056 245854208 49166 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60023 49166 301 301 0 59722 0
vsize: 240092
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85849 0 0 0 12806 194 0 0 25 0 1 0 966595056 245854208 49176 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60023 49176 301 301 0 59722 0
vsize: 240092
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 85998 0 0 0 13806 194 0 0 25 0 1 0 966595056 246800384 49325 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60254 49325 301 301 0 59953 0
vsize: 241016
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 86203 0 0 0 14805 195 0 0 25 0 1 0 966595056 247881728 49530 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60518 49530 301 301 0 60217 0
vsize: 242072
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 86320 0 0 0 15805 195 0 0 25 0 1 0 966595056 248557568 49647 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60683 49647 301 301 0 60382 0
vsize: 242732
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 86338 0 0 0 16805 195 0 0 25 0 1 0 966595056 248557568 49665 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60683 49665 301 301 0 60382 0
vsize: 242732
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 86618 0 0 0 17804 196 0 0 25 0 1 0 966595056 249896960 49912 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61010 49912 301 301 0 60709 0
vsize: 244040
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 86654 0 0 0 18804 196 0 0 25 0 1 0 966595056 250032128 49948 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61043 49948 301 301 0 60742 0
vsize: 244172
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 86762 0 0 0 19804 197 0 0 25 0 1 0 966595056 250572800 50056 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61175 50056 301 301 0 60874 0
vsize: 244700
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 86852 0 0 0 20804 197 0 0 25 0 1 0 966595056 251109376 50146 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61306 50146 301 301 0 61005 0
vsize: 245224
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87367 0 0 0 21803 198 0 0 25 0 1 0 966595056 253095936 50397 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61791 50397 301 301 0 61490 0
vsize: 247164
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87377 0 0 0 22803 198 0 0 25 0 1 0 966595056 253095936 50407 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61791 50407 301 301 0 61490 0
vsize: 247164
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87492 0 0 0 23803 199 0 0 25 0 1 0 966595056 253628416 50522 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61921 50522 301 301 0 61620 0
vsize: 247684
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87804 0 0 0 24802 200 0 0 25 0 1 0 966595056 254820352 50735 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62212 50735 301 301 0 61911 0
vsize: 248848
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87819 0 0 0 25802 200 0 0 25 0 1 0 966595056 254820352 50750 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62212 50750 301 301 0 61911 0
vsize: 248848
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87835 0 0 0 26802 200 0 0 25 0 1 0 966595056 254820352 50766 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62212 50766 301 301 0 61911 0
vsize: 248848
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19214
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87846 0 0 0 27801 201 0 0 25 0 1 0 966595056 254820352 50777 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62212 50777 301 301 0 61911 0
vsize: 248848
[startup+290.012 s]
Raw data (loadavg): 1.15 1.00 0.92 2/56 19262
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87855 0 0 0 28802 201 0 0 25 0 1 0 966595056 254820352 50786 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62212 50786 301 301 0 61911 0
vsize: 248848
[startup+300.013 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 19267
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87865 0 0 0 29802 201 0 0 25 0 1 0 966595056 254820352 50796 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62212 50796 301 301 0 61911 0
vsize: 248848
[startup+310.013 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 19267
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87943 0 0 0 30802 201 0 0 25 0 1 0 966595056 255352832 50874 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62342 50874 301 301 0 62041 0
vsize: 249368
[startup+320.013 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19267
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 87953 0 0 0 31801 202 0 0 25 0 1 0 966595056 255352832 50884 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62342 50884 301 301 0 62041 0
vsize: 249368
[startup+330.013 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 19267
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88109 0 0 0 32801 202 0 0 25 0 1 0 966595056 256020480 51007 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62505 51007 301 301 0 62204 0
vsize: 250020
[startup+340.013 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19267
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88267 0 0 0 33800 203 0 0 25 0 1 0 966595056 256552960 51099 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62635 51099 301 301 0 62334 0
vsize: 250540
[startup+350.012 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19267
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88300 0 0 0 34800 203 0 0 25 0 1 0 966595056 256688128 51132 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62668 51132 301 301 0 62367 0
vsize: 250672
[startup+360.014 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19267
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88372 0 0 0 35800 204 0 0 25 0 1 0 966595056 257089536 51204 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62766 51204 301 301 0 62465 0
vsize: 251064
[startup+370.014 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88416 0 0 0 36800 204 0 0 25 0 1 0 966595056 257355776 51248 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62831 51248 301 301 0 62530 0
vsize: 251324
[startup+380.014 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88474 0 0 0 37799 205 0 0 25 0 1 0 966595056 257486848 51273 4294967295 134512640 135730672 3221224592 3221222880 134747471 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62863 51273 301 301 0 62562 0
vsize: 251452
[startup+390.014 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88623 0 0 0 38799 205 0 0 25 0 1 0 966595056 258015232 51356 4294967295 134512640 135730672 3221224592 3221223040 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62992 51356 301 301 0 62691 0
vsize: 251968
[startup+400.015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88713 0 0 0 39798 206 0 0 25 0 1 0 966595056 258412544 51413 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63089 51413 301 301 0 62788 0
vsize: 252356
[startup+410.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88808 0 0 0 40798 206 0 0 25 0 1 0 966595056 258945024 51508 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63219 51508 301 301 0 62918 0
vsize: 252876
[startup+420.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88817 0 0 0 41798 207 0 0 25 0 1 0 966595056 258945024 51517 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63219 51517 301 301 0 62918 0
vsize: 252876
[startup+430.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88936 0 0 0 42798 207 0 0 25 0 1 0 966595056 259207168 51570 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63283 51570 301 301 0 62982 0
vsize: 253132
[startup+440.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 88944 0 0 0 43798 207 0 0 25 0 1 0 966595056 259207168 51578 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63283 51578 301 301 0 62982 0
vsize: 253132
[startup+450.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 89065 0 0 0 44797 208 0 0 25 0 1 0 966595056 259739648 51699 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63413 51699 301 301 0 63112 0
vsize: 253652
[startup+460.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 89264 0 0 0 45797 208 0 0 25 0 1 0 966595056 260534272 51832 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63607 51832 301 301 0 63306 0
vsize: 254428
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 90359 0 0 0 46795 211 0 0 25 0 1 0 966595056 260534272 51836 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63607 51836 301 301 0 63306 0
vsize: 254428
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 90360 0 0 0 47794 211 0 0 25 0 1 0 966595056 260534272 51837 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63607 51837 301 301 0 63306 0
vsize: 254428
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 90361 0 0 0 48794 212 0 0 25 0 1 0 966595056 260534272 51838 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63607 51838 301 301 0 63306 0
vsize: 254428
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 90362 0 0 0 49794 212 0 0 25 0 1 0 966595056 260534272 51839 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63607 51839 301 301 0 63306 0
vsize: 254428
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 91489 0 0 0 50792 214 0 0 25 0 1 0 966595056 265269248 52966 4294967295 134512640 135730672 3221224592 3221222656 134774613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64763 52966 301 301 0 64462 0
vsize: 259052
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 91490 0 0 0 51791 215 0 0 25 0 1 0 966595056 260800512 51876 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63672 51876 301 301 0 63371 0
vsize: 254688
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 91491 0 0 0 52791 215 0 0 25 0 1 0 966595056 260800512 51877 4294967295 134512640 135730672 3221224592 3221222880 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63672 51877 301 301 0 63371 0
vsize: 254688
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 91492 0 0 0 53791 215 0 0 25 0 1 0 966595056 260800512 51878 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63672 51878 301 301 0 63371 0
vsize: 254688
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 92584 0 0 0 54789 218 0 0 25 0 1 0 966595056 260800512 51879 4294967295 134512640 135730672 3221224592 3221222800 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63672 51879 301 301 0 63371 0
vsize: 254688
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 92585 0 0 0 55789 218 0 0 25 0 1 0 966595056 260800512 51880 4294967295 134512640 135730672 3221224592 3221222712 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63672 51880 301 301 0 63371 0
vsize: 254688
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 92589 0 0 0 56789 218 0 0 25 0 1 0 966595056 260800512 51884 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63672 51884 301 301 0 63371 0
vsize: 254688
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 92592 0 0 0 57788 219 0 0 25 0 1 0 966595056 260800512 51887 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63672 51887 301 301 0 63371 0
vsize: 254688
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 92672 0 0 0 58788 219 0 0 25 0 1 0 966595056 261066752 51934 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63737 51934 301 301 0 63436 0
vsize: 254948
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 93764 0 0 0 59785 222 0 0 25 0 1 0 966595056 261066752 51935 4294967295 134512640 135730672 3221224592 3221222880 134747590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63737 51935 301 301 0 63436 0
vsize: 254948
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 93771 0 0 0 60785 222 0 0 25 0 1 0 966595056 261066752 51942 4294967295 134512640 135730672 3221224592 3221222880 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63737 51942 301 301 0 63436 0
vsize: 254948
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19269
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 93794 0 0 0 61784 223 0 0 25 0 1 0 966595056 261201920 51965 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63770 51965 301 301 0 63469 0
vsize: 255080
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 93841 0 0 0 62783 224 0 0 25 0 1 0 966595056 261468160 52012 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63835 52012 301 301 0 63534 0
vsize: 255340
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 94939 0 0 0 63780 227 0 0 25 0 1 0 966595056 261468160 52019 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63835 52019 301 301 0 63534 0
vsize: 255340
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 94947 0 0 0 64780 227 0 0 25 0 1 0 966595056 261468160 52027 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63835 52027 301 301 0 63534 0
vsize: 255340
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 94956 0 0 0 65780 227 0 0 25 0 1 0 966595056 261468160 52036 4294967295 134512640 135730672 3221224592 3221223008 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63835 52036 301 301 0 63534 0
vsize: 255340
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 95033 0 0 0 66780 228 0 0 25 0 1 0 966595056 261734400 52080 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63900 52080 301 301 0 63599 0
vsize: 255600
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 96182 0 0 0 67777 230 0 0 25 0 1 0 966595056 261865472 52105 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63932 52105 301 301 0 63631 0
vsize: 255728
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 96242 0 0 0 68777 231 0 0 25 0 1 0 966595056 262131712 52165 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63997 52165 301 301 0 63696 0
vsize: 255988
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 96243 0 0 0 69776 232 0 0 25 0 1 0 966595056 262131712 52166 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63997 52166 301 301 0 63696 0
vsize: 255988
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 96243 0 0 0 70776 232 0 0 25 0 1 0 966595056 262131712 52166 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63997 52166 301 301 0 63696 0
vsize: 255988
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 96353 0 0 0 71776 233 0 0 25 0 1 0 966595056 262664192 52243 4294967295 134512640 135730672 3221224592 3221222896 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64127 52243 301 301 0 63826 0
vsize: 256508
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 97445 0 0 0 72774 235 0 0 25 0 1 0 966595056 262664192 52244 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64127 52244 301 301 0 63826 0
vsize: 256508
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 97446 0 0 0 73773 236 0 0 25 0 1 0 966595056 262664192 52245 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64127 52245 301 301 0 63826 0
vsize: 256508
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 97494 0 0 0 74773 236 0 0 25 0 1 0 966595056 262930432 52293 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64192 52293 301 301 0 63891 0
vsize: 256768
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 97535 0 0 0 75773 237 0 0 25 0 1 0 966595056 263061504 52301 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64224 52301 301 301 0 63923 0
vsize: 256896
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 98632 0 0 0 76770 240 0 0 25 0 1 0 966595056 263061504 52307 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64224 52307 301 301 0 63923 0
vsize: 256896
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 98678 0 0 0 77770 240 0 0 25 0 1 0 966595056 263327744 52353 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64289 52353 301 301 0 63988 0
vsize: 257156
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 98714 0 0 0 78770 240 0 0 25 0 1 0 966595056 263593984 52389 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64354 52389 301 301 0 64053 0
vsize: 257416
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 98719 0 0 0 79770 240 0 0 25 0 1 0 966595056 263593984 52394 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64354 52394 301 301 0 64053 0
vsize: 257416
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 98721 0 0 0 80770 241 0 0 25 0 1 0 966595056 263593984 52396 4294967295 134512640 135730672 3221224592 3221223024 134748065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64354 52396 301 301 0 64053 0
vsize: 257416
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 99812 0 0 0 81767 244 0 0 25 0 1 0 966595056 263593984 52396 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64354 52396 301 301 0 64053 0
vsize: 257416
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 99814 0 0 0 82767 244 0 0 25 0 1 0 966595056 263593984 52398 4294967295 134512640 135730672 3221224592 3221222880 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64354 52398 301 301 0 64053 0
vsize: 257416
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 99818 0 0 0 83767 244 0 0 25 0 1 0 966595056 263593984 52402 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64354 52402 301 301 0 64053 0
vsize: 257416
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 99873 0 0 0 84767 244 0 0 25 0 1 0 966595056 263725056 52424 4294967295 134512640 135730672 3221224592 3221222712 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64386 52424 301 301 0 64085 0
vsize: 257544
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 100965 0 0 0 85764 248 0 0 25 0 1 0 966595056 263725056 52425 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64386 52425 301 301 0 64085 0
vsize: 257544
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 101002 0 0 0 86763 248 0 0 25 0 1 0 966595056 263991296 52462 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64451 52462 301 301 0 64150 0
vsize: 257804
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 101004 0 0 0 87763 248 0 0 25 0 1 0 966595056 263991296 52464 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64451 52464 301 301 0 64150 0
vsize: 257804
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 101007 0 0 0 88763 249 0 0 25 0 1 0 966595056 263991296 52467 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64451 52467 301 301 0 64150 0
vsize: 257804
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 102121 0 0 0 89761 251 0 0 25 0 1 0 966595056 263991296 52490 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64451 52490 301 301 0 64150 0
vsize: 257804
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 102165 0 0 0 90761 251 0 0 25 0 1 0 966595056 264257536 52534 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64516 52534 301 301 0 64215 0
vsize: 258064
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 102166 0 0 0 91761 251 0 0 25 0 1 0 966595056 264257536 52535 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64516 52535 301 301 0 64215 0
vsize: 258064
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 102167 0 0 0 92761 251 0 0 25 0 1 0 966595056 264257536 52536 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64516 52536 301 301 0 64215 0
vsize: 258064
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 103265 0 0 0 93759 254 0 0 25 0 1 0 966595056 264257536 52543 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64516 52543 301 301 0 64215 0
vsize: 258064
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 103266 0 0 0 94758 255 0 0 25 0 1 0 966595056 264257536 52544 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64516 52544 301 301 0 64215 0
vsize: 258064
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 103344 0 0 0 95758 255 0 0 25 0 1 0 966595056 264654848 52589 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64613 52589 301 301 0 64312 0
vsize: 258452
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 103345 0 0 0 96758 256 0 0 25 0 1 0 966595056 264654848 52590 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64613 52590 301 301 0 64312 0
vsize: 258452
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 103346 0 0 0 97758 256 0 0 25 0 1 0 966595056 264654848 52591 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64613 52591 301 301 0 64312 0
vsize: 258452
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 104438 0 0 0 98755 259 0 0 25 0 1 0 966595056 264654848 52592 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64613 52592 301 301 0 64312 0
vsize: 258452
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 104472 0 0 0 99755 259 0 0 25 0 1 0 966595056 264921088 52626 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52626 301 301 0 64377 0
vsize: 258712
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 104473 0 0 0 100755 259 0 0 25 0 1 0 966595056 264921088 52627 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52627 301 301 0 64377 0
vsize: 258712
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 104474 0 0 0 101755 259 0 0 25 0 1 0 966595056 264921088 52628 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52628 301 301 0 64377 0
vsize: 258712
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 105565 0 0 0 102752 263 0 0 25 0 1 0 966595056 264921088 52628 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52628 301 301 0 64377 0
vsize: 258712
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 105566 0 0 0 103752 263 0 0 25 0 1 0 966595056 264921088 52629 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52629 301 301 0 64377 0
vsize: 258712
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 105567 0 0 0 104752 263 0 0 25 0 1 0 966595056 264921088 52630 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52630 301 301 0 64377 0
vsize: 258712
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 105568 0 0 0 105752 263 0 0 25 0 1 0 966595056 264921088 52631 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52631 301 301 0 64377 0
vsize: 258712
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 106660 0 0 0 106750 266 0 0 25 0 1 0 966595056 264921088 52632 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52632 301 301 0 64377 0
vsize: 258712
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 106661 0 0 0 107749 266 0 0 25 0 1 0 966595056 264921088 52633 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52633 301 301 0 64377 0
vsize: 258712
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 106662 0 0 0 108749 267 0 0 25 0 1 0 966595056 264921088 52634 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64678 52634 301 301 0 64377 0
vsize: 258712
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 106705 0 0 0 109749 267 0 0 25 0 1 0 966595056 265052160 52644 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64710 52644 301 301 0 64409 0
vsize: 258840
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 106706 0 0 0 110749 267 0 0 25 0 1 0 966595056 265052160 52645 4294967295 134512640 135730672 3221224592 3221223036 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64710 52645 301 301 0 64409 0
vsize: 258840
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 107798 0 0 0 111747 270 0 0 25 0 1 0 966595056 265052160 52646 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64710 52646 301 301 0 64409 0
vsize: 258840
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 107837 0 0 0 112747 270 0 0 25 0 1 0 966595056 265183232 52652 4294967295 134512640 135730672 3221224592 3221222976 134763602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64742 52652 301 301 0 64441 0
vsize: 258968
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 107838 0 0 0 113747 270 0 0 25 0 1 0 966595056 265183232 52653 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64742 52653 301 301 0 64441 0
vsize: 258968
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 107839 0 0 0 114746 270 0 0 25 0 1 0 966595056 265183232 52654 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64742 52654 301 301 0 64441 0
vsize: 258968
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 108931 0 0 0 115744 273 0 0 25 0 1 0 966595056 265183232 52655 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64742 52655 301 301 0 64441 0
vsize: 258968
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 108932 0 0 0 116744 274 0 0 25 0 1 0 966595056 265183232 52656 4294967295 134512640 135730672 3221224592 3221223008 134748214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64742 52656 301 301 0 64441 0
vsize: 258968
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 108933 0 0 0 117744 274 0 0 25 0 1 0 966595056 265183232 52657 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64742 52657 301 301 0 64441 0
vsize: 258968
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 108973 0 0 0 118743 274 0 0 25 0 1 0 966595056 265449472 52697 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64807 52697 301 301 0 64506 0
vsize: 259228
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19271
Raw data (stat): 19214 (pb2sat-v2) R 19213 21152 21151 0 -1 0 108983 0 0 0 119743 275 0 0 25 0 1 0 966595056 265449472 52707 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64807 52707 301 301 0 64506 0
vsize: 259228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.84 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 19271
Raw data (stat): 19214 (pb2sat-v2) Z 19213 21152 21151 0 -1 12 108985 0 0 0 119912 285 0 0 25 0 1 0 966595056 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.84
CPU time (s): 1201.98
CPU user time (s): 1199.13
CPU system time (s): 2.85656
CPU usage (%): 100.012
Max. virtual memory (Kb): 259228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	398
#### END VERIFIER DATA ####